[libdefaults]
        default_realm = INFN.IT
        dns_lookup_kdc = true
        dns_lookup_realm = true
        allow_weak_crypto = true

[domain_realm]
        .infn.it = INFN.IT
        infn.it  = INFN.IT

[realms]
        INFN.IT = {
                kdc = k5aai.lnf.infn.it:88
                kdc = afs2.infn.it:88
                kdc = afs1.infn.it:88
                kdc = afs3.infn.it:88
                kdc = k5.infn.it:88
                admin_server = k5.infn.it:749
                default_domain = infn.it
        }