"aLUCGfB6TOCexEplN1CQnrZFbmax4jeGzHcXUvcrVoAdxLNWHXAozU9aYtrN6pSQLp2u@jI.DKHM.S2Bgjd"validate accepted "aLUCGfB6TOCexEplN1CQnrZFbmax4jeGzHcXUvcrVoAdxLNWHXAozU9aYtrN6pSQLp2u@jI.DKHM.S2Bgjd" with local-part length 68 (RFC 3696 caps at 64)


"MuVqONsndTUqp34ZWrwk8JvNrZFALUZak1GcbvQsYhgP6BFCc5DrCHsGDhWbZS3c76dQDbhdrSrCBn@bv"validate accepted "MuVqONsndTUqp34ZWrwk8JvNrZFALUZak1GcbvQsYhgP6BFCc5DrCHsGDhWbZS3c76dQDbhdrSrCBn@bv" with local-part length 78 (RFC 3696 caps at 64)


"X5Uaa6xWVzawJQejkyqh0pnhONM1BqBWmAyp9SI8zEDwrFWwnbVBFjq9GEDs6jhRmAkORYVu@wN9T"validate accepted "X5Uaa6xWVzawJQejkyqh0pnhONM1BqBWmAyp9SI8zEDwrFWwnbVBFjq9GEDs6jhRmAkORYVu@wN9T" with local-part length 72 (RFC 3696 caps at 64)


"2236G36zkRcW1MoaXXrnvXcojEjMqDUZb42KItKyvvsObYnGzrblAPGVOvlH20pJPM@xR6nH.EfZX6O"validate accepted "2236G36zkRcW1MoaXXrnvXcojEjMqDUZb42KItKyvvsObYnGzrblAPGVOvlH20pJPM@xR6nH.EfZX6O" with local-part length 66 (RFC 3696 caps at 64)


"ePDclkpOMryCR3QnkrfBRpABVwVy1EZl5Ii042snKxv2zzSgepdRhpTaDFyW06w6uTFmvvVF@f.9Hv.lsD"validate accepted "ePDclkpOMryCR3QnkrfBRpABVwVy1EZl5Ii042snKxv2zzSgepdRhpTaDFyW06w6uTFmvvVF@f.9Hv.lsD" with local-part length 72 (RFC 3696 caps at 64)


"WxIh5hVjO6U9DwKdwWAbOtqwtpa30V1SSdIS6WT0aT7BHPuRR4ikO9AdaMJZ5TNAAi8AGizYoTJJLfy@6c.n-O.f9RZM"validate accepted "WxIh5hVjO6U9DwKdwWAbOtqwtpa30V1SSdIS6WT0aT7BHPuRR4ikO9AdaMJZ5TNAAi8AGizYoTJJLfy@6c.n-O.f9RZM" with local-part length 79 (RFC 3696 caps at 64)


"chygSvont2IGD84neCAfQACExSyzb6qCLYwfww2RQcAemOCq7FKteI3wBkH2WC4Vmw7aWtwLv@r25u.cEyysC"validate accepted "chygSvont2IGD84neCAfQACExSyzb6qCLYwfww2RQcAemOCq7FKteI3wBkH2WC4Vmw7aWtwLv@r25u.cEyysC" with local-part length 73 (RFC 3696 caps at 64)


"1GEPa4g2DBc1e9ha444ZKIIC8iptheVSA5eESlzqcuSTbbR9HgwEVwx4irXD6SiyFG2u5vXJDSJpgI44@bex5W.Y9E"validate accepted "1GEPa4g2DBc1e9ha444ZKIIC8iptheVSA5eESlzqcuSTbbR9HgwEVwx4irXD6SiyFG2u5vXJDSJpgI44@bex5W.Y9E" with local-part length 80 (RFC 3696 caps at 64)


"w9DEEc6etzPryBC9qZL0b7ieankO3ZIDWyd1RRbXU2ZmJzrI2xgaEiUsL7Iy0DNxE@5F72B"validate accepted "w9DEEc6etzPryBC9qZL0b7ieankO3ZIDWyd1RRbXU2ZmJzrI2xgaEiUsL7Iy0DNxE@5F72B" with local-part length 65 (RFC 3696 caps at 64)


"h9S8JEKpqmHtnNLjAuTkCjAnds2PdK1itreOcW5hmN2FHnfOdN0akfRfBeSlgDlfQEegs5JfB3@G"validate accepted "h9S8JEKpqmHtnNLjAuTkCjAnds2PdK1itreOcW5hmN2FHnfOdN0akfRfBeSlgDlfQEegs5JfB3@G" with local-part length 74 (RFC 3696 caps at 64)


"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a": validate accepted "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@a" with local-part length 65 (RFC 3696 caps at 64)


"BXKztfWY@bmRFJjih9Nevo9TqNlMuLnt1XX1k9VbsAusAvGi1NuEOiu4hxVqkKBVlbUo2md29X.d"validate accepted "BXKztfWY@bmRFJjih9Nevo9TqNlMuLnt1XX1k9VbsAusAvGi1NuEOiu4hxVqkKBVlbUo2md29X.d" with oversize domain label "bmRFJjih9Nevo9TqNlMuLnt1XX1k9VbsAusAvGi1NuEOiu4hxVqkKBVlbUo2md29X" of length 65 (RFC 1035 caps label at 63)


"5AKvi@b8zluT6VVCn07LUlt-HlzM9FIGnPKQf0n9fxrJeQiTN-KtenTy9cLzLPyTa4Vmv8h0QKV.IhJ"validate accepted "5AKvi@b8zluT6VVCn07LUlt-HlzM9FIGnPKQf0n9fxrJeQiTN-KtenTy9cLzLPyTa4Vmv8h0QKV.IhJ" with oversize domain label "b8zluT6VVCn07LUlt-HlzM9FIGnPKQf0n9fxrJeQiTN-KtenTy9cLzLPyTa4Vmv8h0QKV" of length 69 (RFC 1035 caps label at 63)


"f@02HN8ddWPDcFHp2SnWUKLrLDa0G--wyI4pWKvdn9UGLjsWMtEmOu7dqOS1ptlVuKMig5.HAw6VH"validate accepted "f@02HN8ddWPDcFHp2SnWUKLrLDa0G--wyI4pWKvdn9UGLjsWMtEmOu7dqOS1ptlVuKMig5.HAw6VH" with oversize domain label "02HN8ddWPDcFHp2SnWUKLrLDa0G--wyI4pWKvdn9UGLjsWMtEmOu7dqOS1ptlVuKMig5" of length 68 (RFC 1035 caps label at 63)


"xXyR8eT@aloJP0A0gfPwS0x9eTtgSe-Mz3RnnEXYlHYCCS1ZNXNed6izDKmwVmPvhbIo6Y3Fv3Pxf.LTzt"validate accepted "xXyR8eT@aloJP0A0gfPwS0x9eTtgSe-Mz3RnnEXYlHYCCS1ZNXNed6izDKmwVmPvhbIo6Y3Fv3Pxf.LTzt" with oversize domain label "aloJP0A0gfPwS0x9eTtgSe-Mz3RnnEXYlHYCCS1ZNXNed6izDKmwVmPvhbIo6Y3Fv3Pxf" of length 69 (RFC 1035 caps label at 63)


"ypTtg@kvZ9t2oLfIfYpyikJrnli81apob2eucmvaMzDp-rEIG4yNApnPGX08QQMYMNmGYw6.Vcys"validate accepted "ypTtg@kvZ9t2oLfIfYpyikJrnli81apob2eucmvaMzDp-rEIG4yNApnPGX08QQMYMNmGYw6.Vcys" with oversize domain label "kvZ9t2oLfIfYpyikJrnli81apob2eucmvaMzDp-rEIG4yNApnPGX08QQMYMNmGYw6" of length 65 (RFC 1035 caps label at 63)


"H9wVS@8XAb29aoYCzTjhVHOYtLkjU1yAh4Efs6c6njYOJp1bdOebdtzoBM0ue37DPAE79l.6mnN"validate accepted "H9wVS@8XAb29aoYCzTjhVHOYtLkjU1yAh4Efs6c6njYOJp1bdOebdtzoBM0ue37DPAE79l.6mnN" with oversize domain label "8XAb29aoYCzTjhVHOYtLkjU1yAh4Efs6c6njYOJp1bdOebdtzoBM0ue37DPAE79l" of length 64 (RFC 1035 caps label at 63)


"yDPb@ziigKTdH0INtiBPulVGfqMLFEoGrKuUAGHwW6aDY7304aUIiDwHNVw6nYXbcpytFap.09V"validate accepted "yDPb@ziigKTdH0INtiBPulVGfqMLFEoGrKuUAGHwW6aDY7304aUIiDwHNVw6nYXbcpytFap.09V" with oversize domain label "ziigKTdH0INtiBPulVGfqMLFEoGrKuUAGHwW6aDY7304aUIiDwHNVw6nYXbcpytFap" of length 66 (RFC 1035 caps label at 63)


"8M@oekoy39n4mZHNRRNsyx-Ie-AxQZsZ9F15vHCqHH12pNNMl-SK4vaMQwffr98WOE-RL.h"validate accepted "8M@oekoy39n4mZHNRRNsyx-Ie-AxQZsZ9F15vHCqHH12pNNMl-SK4vaMQwffr98WOE-RL.h" with oversize domain label "oekoy39n4mZHNRRNsyx-Ie-AxQZsZ9F15vHCqHH12pNNMl-SK4vaMQwffr98WOE-RL" of length 66 (RFC 1035 caps label at 63)


"XJmhFQYf@EG4v7V1ZzryykqiMfGaXzQ5NNUl37h0izjMFmi9Mh6TlEXb9GPXfr6jBR4j6xU976j1P5.Oonobx"validate accepted "XJmhFQYf@EG4v7V1ZzryykqiMfGaXzQ5NNUl37h0izjMFmi9Mh6TlEXb9GPXfr6jBR4j6xU976j1P5.Oonobx" with oversize domain label "EG4v7V1ZzryykqiMfGaXzQ5NNUl37h0izjMFmi9Mh6TlEXb9GPXfr6jBR4j6xU976j1P5" of length 69 (RFC 1035 caps label at 63)


"rO4@X6KyBLk8gntzCWAzzwBwobTUpSK24nTVoh7I9tsjV4uFlM7PCZ4PIMtBdnxiPzIk.j"validate accepted "rO4@X6KyBLk8gntzCWAzzwBwobTUpSK24nTVoh7I9tsjV4uFlM7PCZ4PIMtBdnxiPzIk.j" with oversize domain label "X6KyBLk8gntzCWAzzwBwobTUpSK24nTVoh7I9tsjV4uFlM7PCZ4PIMtBdnxiPzIk" of length 64 (RFC 1035 caps label at 63)


"a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a": validate accepted "a@aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa.a" with oversize domain label "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" of length 64 (RFC 1035 caps label at 63)


"v4kZSaX@80GH33-.lPO4rW"validate accepted "v4kZSaX@80GH33-.lPO4rW" with domain label ending in '-' ("80GH33-") (RFC 1035 forbids trailing hyphen)


"IX0@F-exH-.9tUMB"validate accepted "IX0@F-exH-.9tUMB" with domain label ending in '-' ("F-exH-") (RFC 1035 forbids trailing hyphen)


"Jnsgdg@tlt-.2EU"validate accepted "Jnsgdg@tlt-.2EU" with domain label ending in '-' ("tlt-") (RFC 1035 forbids trailing hyphen)


"j2@ZD13uDM-.lAc"validate accepted "j2@ZD13uDM-.lAc" with domain label ending in '-' ("ZD13uDM-") (RFC 1035 forbids trailing hyphen)


"XI4Q9p@rxNpLYw-.7w6"validate accepted "XI4Q9p@rxNpLYw-.7w6" with domain label ending in '-' ("rxNpLYw-") (RFC 1035 forbids trailing hyphen)


"vEMl@sO5vCt-.8L"validate accepted "vEMl@sO5vCt-.8L" with domain label ending in '-' ("sO5vCt-") (RFC 1035 forbids trailing hyphen)


"roV8@KlX-.aVZ-b6"validate accepted "roV8@KlX-.aVZ-b6" with domain label ending in '-' ("KlX-") (RFC 1035 forbids trailing hyphen)


"jqrFS1@d5q71wp-.STSYk"validate accepted "jqrFS1@d5q71wp-.STSYk" with domain label ending in '-' ("d5q71wp-") (RFC 1035 forbids trailing hyphen)


"Gk6xhyx@EUYwG-.EIMUVX"validate accepted "Gk6xhyx@EUYwG-.EIMUVX" with domain label ending in '-' ("EUYwG-") (RFC 1035 forbids trailing hyphen)


"b7lsZ@g-.p"validate accepted "b7lsZ@g-.p" with domain label ending in '-' ("g-") (RFC 1035 forbids trailing hyphen)


"a@a-.a": validate accepted "a@a-.a" with domain label ending in '-' ("a-") (RFC 1035 forbids trailing hyphen)


CounterExample ["\"a@-.b\""] (PropertyFalse Nothing)