[domain_realm]
	.cygnus.com = CYGNUS.COM
	.mit.edu = ATHENA.MIT.EDU
	cygnus.com = CYGNUS.COM
	mit.edu = ATHENA.MIT.EDU

[libdefaults]
	default_realm = ATHENA.MIT.EDU
	ticket_lifetime = 600

[realms]
	ATHENA.MIT.EDU = {
		admin_server = KERBEROS.MIT.EDU
		default_domain = MIT.EDU
		kdc = KERBEROS-2.MIT.EDU:88
	}
	CYGNUS.COM = {
		admin_server = KERBEROS.MIT.EDU
		kdc = 140.174.1.1
	}