Home.

Below are some of the fully associative ternary quasigroups.

1:0identities:   aa_,   a_a,   _aa
aaa = a c'ty full — a'ty full — self-d'ty full

2:0identities:   aa_,   a_a,   _aa,   bb_,   b_b,   _bb
aaa = aaab = b aba = babb = a
baa = bbab = a bba = abbb = b
c'ty full — a'ty full — self-d'ty full

2:1identities:   ab_,   ba_,   a_b,   b_a,   _ab,   _ba
aaa = baab = a aba = aabb = b
baa = abab = b bba = bbbb = a
c'ty full — a'ty full — self-d'ty full

3:0identities:   aa_,   a_a,   _aa,   bc_,   cb_,   b_c,   c_b,   _bc,   _cb
aaa = aaab = baac = c aba = babb = cabc = a aca = cacb = aacc = b
baa = bbab = cbac = a bba = cbbb = abbc = b bca = abcb = bbcc = c
caa = ccab = acac = b cba = acbb = bcbc = c cca = bccb = cccc = a
c'ty full — a'ty full — self-d'ty none

3:2identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc
aaa = aaab = baac = c aba = cabb = aabc = b aca = bacb = cacc = a
baa = bbab = cbac = a bba = abbb = bbbc = c bca = cbcb = abcc = b
caa = ccab = acac = b cba = bcbb = ccbc = a cca = accb = bccc = c
c'ty exterior — a'ty full — self-d'ty full

3:15identities:   bb_,   b_b,   _bb,   ac_,   ca_,   a_c,   c_a,   _ac,   _ca
aaa = baab = caac = a aba = cabb = aabc = b aca = aacb = bacc = c
baa = cbab = abac = b bba = abbb = bbbc = c bca = bbcb = cbcc = a
caa = acab = bcac = c cba = bcbb = ccbc = a cca = cccb = accc = b
c'ty full — a'ty full — self-d'ty none

3:16identities:   cc_,   c_c,   _cc,   ab_,   ba_,   a_b,   b_a,   _ab,   _ba
aaa = caab = aaac = b aba = aabb = babc = c aca = bacb = cacc = a
baa = abab = bbac = c bba = bbbb = cbbc = a bca = cbcb = abcc = b
caa = bcab = ccac = a cba = ccbb = acbc = b cca = accb = bccc = c
c'ty full — a'ty full — self-d'ty none

4:0identities:   aa_,   a_a,   _aa,   bb_,   b_b,   _bb,   cc_,   c_c,   _cc,   dd_,   d_d,   _dd
aaa = aaab = baac = caad = d aba = babb = aabc = dabd = c aca = cacb = dacc = aacd = b ada = dadb = cadc = badd = a
baa = bbab = abac = dbad = c bba = abbb = bbbc = cbbd = d bca = dbcb = cbcc = bbcd = a bda = cbdb = dbdc = abdd = b
caa = ccab = dcac = acad = b cba = dcbb = ccbc = bcbd = a cca = accb = bccc = cccd = d cda = bcdb = acdc = dcdd = c
daa = ddab = cdac = bdad = a dba = cdbb = ddbc = adbd = b dca = bdcb = adcc = ddcd = c dda = addb = bddc = cddd = d
c'ty full — a'ty full — self-d'ty full

4:139identities:   aa_,   a_a,   _aa,   bb_,   b_b,   _bb,   cd_,   dc_,   c_d,   d_c,   _cd,   _dc
aaa = aaab = baac = caad = d aba = babb = aabc = dabd = c aca = cacb = dacc = bacd = a ada = dadb = cadc = aadd = b
baa = bbab = abac = dbad = c bba = abbb = bbbc = cbbd = d bca = dbcb = cbcc = abcd = b bda = cbdb = dbdc = bbdd = a
caa = ccab = dcac = bcad = a cba = dcbb = ccbc = acbd = b cca = bccb = accc = dccd = c cda = acdb = bcdc = ccdd = d
daa = ddab = cdac = adad = b dba = cdbb = ddbc = bdbd = a dca = adcb = bdcc = cdcd = d dda = bddb = addc = dddd = c
c'ty full — a'ty full — self-d'ty none

4:220identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd
aaa = aaab = baac = caad = d aba = babb = aabc = dabd = c aca = dacb = cacc = aacd = b ada = cadb = dadc = badd = a
baa = bbab = abac = dbad = c bba = abbb = bbbc = cbbd = d bca = cbcb = dbcc = bbcd = a bda = dbdb = cbdc = abdd = b
caa = ccab = dcac = bcad = a cba = dcbb = ccbc = acbd = b cca = accb = bccc = cccd = d cda = bcdb = acdc = dcdd = c
daa = ddab = cdac = adad = b dba = cdbb = ddbc = bdbd = a dca = bdcb = adcc = ddcd = c dda = addb = bddc = cddd = d
c'ty exterior — a'ty full — self-d'ty full

4:303identities:   aa_,   _aa,   bb_,   _bb,   cd_,   dc_,   _cd,   _dc
aaa = aaab = baac = caad = d aba = babb = aabc = dabd = c aca = dacb = cacc = bacd = a ada = cadb = dadc = aadd = b
baa = bbab = abac = dbad = c bba = abbb = bbbc = cbbd = d bca = cbcb = dbcc = abcd = b bda = dbdb = cbdc = bbdd = a
caa = ccab = dcac = acad = b cba = dcbb = ccbc = bcbd = a cca = bccb = accc = dccd = c cda = acdb = bcdc = ccdd = d
daa = ddab = cdac = bdad = a dba = cdbb = ddbc = adbd = b dca = adcb = bdcc = cdcd = d dda = bddb = addc = dddd = c
c'ty exterior — a'ty full — self-d'ty none

4:452identities:   aa_,   a_a,   _aa,   cc_,   c_c,   _cc,   bd_,   db_,   b_d,   d_b,   _bd,   _db
aaa = aaab = baac = caad = d aba = babb = cabc = dabd = a aca = cacb = dacc = aacd = b ada = dadb = aadc = badd = c
baa = bbab = cbac = dbad = a bba = cbbb = dbbc = abbd = b bca = dbcb = abcc = bbcd = c bda = abdb = bbdc = cbdd = d
caa = ccab = dcac = acad = b cba = dcbb = acbc = bcbd = c cca = accb = bccc = cccd = d cda = bcdb = ccdc = dcdd = a
daa = ddab = adac = bdad = c dba = adbb = bdbc = cdbd = d dca = bdcb = cdcc = ddcd = a dda = cddb = dddc = addd = b
c'ty full — a'ty full — self-d'ty none

4:626identities:   aa_,   a_a,   _aa,   dd_,   d_d,   _dd,   bc_,   cb_,   b_c,   c_b,   _bc,   _cb
aaa = aaab = baac = caad = d aba = babb = dabc = aabd = c aca = cacb = aacc = dacd = b ada = dadb = cadc = badd = a
baa = bbab = dbac = abad = c bba = dbbb = cbbc = bbbd = a bca = abcb = bbcc = cbcd = d bda = cbdb = abdc = dbdd = b
caa = ccab = acac = dcad = b cba = acbb = bcbc = ccbd = d cca = dccb = cccc = bccd = a cda = bcdb = dcdc = acdd = c
daa = ddab = cdac = bdad = a dba = cdbb = adbc = ddbd = b dca = bdcb = ddcc = adcd = c dda = addb = bddc = cddd = d
c'ty full — a'ty full — self-d'ty none

4:784identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd
aaa = aaab = baac = caad = d aba = cabb = aabc = dabd = b aca = bacb = dacc = aacd = c ada = dadb = cadc = badd = a
baa = bbab = dbac = abad = c bba = abbb = bbbc = cbbd = d bca = dbcb = cbcc = bbcd = a bda = cbdb = abdc = dbdd = b
caa = ccab = acac = dcad = b cba = dcbb = ccbc = bcbd = a cca = accb = bccc = cccd = d cda = bcdb = dcdc = acdd = c
daa = ddab = cdac = bdad = a dba = bdbb = ddbc = adbd = c dca = cdcb = adcc = ddcd = b dda = addb = bddc = cddd = d
c'ty exterior — a'ty full — self-d'ty full

4:942identities:   aa_,   _aa,   dd_,   _dd,   bc_,   cb_,   _bc,   _cb
aaa = aaab = baac = caad = d aba = cabb = dabc = aabd = b aca = bacb = aacc = dacd = c ada = dadb = cadc = badd = a
baa = bbab = abac = dbad = c bba = dbbb = cbbc = bbbd = a bca = abcb = bbcc = cbcd = d bda = cbdb = dbdc = abdd = b
caa = ccab = dcac = acad = b cba = acbb = bcbc = ccbd = d cca = dccb = cccc = bccd = a cda = bcdb = acdc = dcdd = c
daa = ddab = cdac = bdad = a dba = bdbb = adbc = ddbd = c dca = cdcb = ddcc = adcd = b dda = addb = bddc = cddd = d
c'ty exterior — a'ty full — self-d'ty none

4:1632identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd
aaa = aaab = baac = caad = d aba = dabb = aabc = babd = c aca = cacb = dacc = aacd = b ada = badb = cadc = dadd = a
baa = bbab = cbac = dbad = a bba = abbb = bbbc = cbbd = d bca = dbcb = abcc = bbcd = c bda = cbdb = dbdc = abdd = b
caa = ccab = dcac = acad = b cba = bcbb = ccbc = dcbd = a cca = accb = bccc = cccd = d cda = dcdb = acdc = bcdd = c
daa = ddab = adac = bdad = c dba = cdbb = ddbc = adbd = b dca = bdcb = cdcc = ddcd = a dda = addb = bddc = cddd = d
c'ty exterior — a'ty full — self-d'ty full

4:2187identities:   aa_,   _aa,   cc_,   _cc,   bd_,   db_,   _bd,   _db
aaa = aaab = baac = caad = d aba = dabb = cabc = babd = a aca = cacb = dacc = aacd = b ada = badb = aadc = dadd = c
baa = bbab = abac = dbad = c bba = cbbb = dbbc = abbd = b bca = dbcb = cbcc = bbcd = a bda = abdb = bbdc = cbdd = d
caa = ccab = dcac = acad = b cba = bcbb = acbc = dcbd = c cca = accb = bccc = cccd = d cda = dcdb = ccdc = bcdd = a
daa = ddab = cdac = bdad = a dba = adbb = bdbc = cdbd = d dca = bdcb = adcc = ddcd = c dda = cddb = dddc = addd = b
c'ty exterior — a'ty full — self-d'ty none

4:16140identities:   cc_,   _cc,   dd_,   _dd,   ab_,   ba_,   _ab,   _ba
aaa = baab = aaac = daad = c aba = aabb = babc = cabd = d aca = cacb = dacc = aacd = b ada = dadb = cadc = badd = a
baa = abab = bbac = cbad = d bba = bbbb = abbc = dbbd = c bca = dbcb = cbcc = bbcd = a bda = cbdb = dbdc = abdd = b
caa = dcab = ccac = bcad = a cba = ccbb = dcbc = acbd = b cca = accb = bccc = cccd = d cda = bcdb = acdc = dcdd = c
daa = cdab = ddac = adad = b dba = ddbb = cdbc = bdbd = a dca = bdcb = adcc = ddcd = c dda = addb = bddc = cddd = d
c'ty exterior — a'ty full — self-d'ty none

4:16271identities:   ab_,   ba_,   _ab,   _ba,   cd_,   dc_,   _cd,   _dc
aaa = baab = aaac = daad = c aba = aabb = babc = cabd = d aca = cacb = dacc = bacd = a ada = dadb = cadc = aadd = b
baa = abab = bbac = cbad = d bba = bbbb = abbc = dbbd = c bca = dbcb = cbcc = abcd = b bda = cbdb = dbdc = bbdd = a
caa = dcab = ccac = acad = b cba = ccbb = dcbc = bcbd = a cca = bccb = accc = dccd = c cda = acdb = bcdc = ccdd = d
daa = cdab = ddac = bdad = a dba = ddbb = cdbc = adbd = b dca = adcb = bdcc = cdcd = d dda = bddb = addc = dddd = c
c'ty exterior — a'ty full — self-d'ty full

4:16352identities:   cc_,   c_c,   _cc,   dd_,   d_d,   _dd,   ab_,   ba_,   a_b,   b_a,   _ab,   _ba
aaa = baab = aaac = daad = c aba = aabb = babc = cabd = d aca = dacb = cacc = aacd = b ada = cadb = dadc = badd = a
baa = abab = bbac = cbad = d bba = bbbb = abbc = dbbd = c bca = cbcb = dbcc = bbcd = a bda = dbdb = cbdc = abdd = b
caa = dcab = ccac = acad = b cba = ccbb = dcbc = bcbd = a cca = accb = bccc = cccd = d cda = bcdb = acdc = dcdd = c
daa = cdab = ddac = bdad = a dba = ddbb = cdbc = adbd = b dca = bdcb = adcc = ddcd = c dda = addb = bddc = cddd = d
c'ty full — a'ty full — self-d'ty none

4:16443identities:   ab_,   ba_,   a_b,   b_a,   _ab,   _ba,   cd_,   dc_,   c_d,   d_c,   _cd,   _dc
aaa = baab = aaac = daad = c aba = aabb = babc = cabd = d aca = dacb = cacc = bacd = a ada = cadb = dadc = aadd = b
baa = abab = bbac = cbad = d bba = bbbb = abbc = dbbd = c bca = cbcb = dbcc = abcd = b bda = dbdb = cbdc = bbdd = a
caa = dcab = ccac = bcad = a cba = ccbb = dcbc = acbd = b cca = bccb = accc = dccd = c cda = acdb = bcdc = ccdd = d
daa = cdab = ddac = adad = b dba = ddbb = cdbc = bdbd = a dca = adcb = bdcc = cdcd = d dda = bddb = addc = dddd = c
c'ty full — a'ty full — self-d'ty full

4:22241identities:   ad_,   da_,   a_d,   d_a,   _ad,   _da,   bc_,   cb_,   b_c,   c_b,   _bc,   _cb
aaa = baab = caac = daad = a aba = cabb = dabc = aabd = b aca = dacb = aacc = bacd = c ada = aadb = badc = cadd = d
baa = cbab = dbac = abad = b bba = dbbb = abbc = bbbd = c bca = abcb = bbcc = cbcd = d bda = bbdb = cbdc = dbdd = a
caa = dcab = acac = bcad = c cba = acbb = bcbc = ccbd = d cca = bccb = cccc = dccd = a cda = ccdb = dcdc = acdd = b
daa = adab = bdac = cdad = d dba = bdbb = cdbc = ddbd = a dca = cdcb = ddcc = adcd = b dda = dddb = addc = bddd = c
c'ty full — a'ty full — self-d'ty none

4:25256identities:   ac_,   ca_,   a_c,   c_a,   _ac,   _ca,   bd_,   db_,   b_d,   d_b,   _bd,   _db
aaa = baab = daac = aaad = c aba = dabb = cabc = babd = a aca = aacb = bacc = cacd = d ada = cadb = aadc = dadd = b
baa = dbab = cbac = bbad = a bba = cbbb = abbc = dbbd = b bca = bbcb = dbcc = abcd = c bda = abdb = bbdc = cbdd = d
caa = acab = bcac = ccad = d cba = bcbb = dcbc = acbd = c cca = cccb = accc = dccd = b cda = dcdb = ccdc = bcdd = a
daa = cdab = adac = ddad = b dba = adbb = bdbc = cdbd = d dca = ddcb = cdcc = bdcd = a dda = bddb = dddc = addd = c
c'ty full — a'ty full — self-d'ty none

4:30039identities:   ab_,   ba_,   a_b,   b_a,   _ab,   _ba,   cd_,   dc_,   c_d,   d_c,   _cd,   _dc
aaa = caab = aaac = daad = b aba = aabb = babc = cabd = d aca = dacb = cacc = bacd = a ada = badb = dadc = aadd = c
baa = abab = bbac = cbad = d bba = bbbb = dbbc = abbd = c bca = cbcb = abcc = dbcd = b bda = dbdb = cbdc = bbdd = a
caa = dcab = ccac = bcad = a cba = ccbb = acbc = dcbd = b cca = bccb = dccc = accd = c cda = acdb = bcdc = ccdd = d
daa = bdab = ddac = adad = c dba = ddbb = cdbc = bdbd = a dca = adcb = bdcc = cdcd = d dda = cddb = addc = dddd = b
c'ty full — a'ty full — self-d'ty none

4:37907identities:   bb_,   _bb,   dd_,   _dd,   ac_,   ca_,   _ac,   _ca
aaa = caab = daac = aaad = b aba = babb = aabc = dabd = c aca = aacb = bacc = cacd = d ada = dadb = cadc = badd = a
baa = dbab = cbac = bbad = a bba = abbb = bbbc = cbbd = d bca = bbcb = abcc = dbcd = c bda = cbdb = dbdc = abdd = b
caa = acab = bcac = ccad = d cba = dcbb = ccbc = bcbd = a cca = cccb = dccc = accd = b cda = bcdb = acdc = dcdd = c
daa = bdab = adac = ddad = c dba = cdbb = ddbc = adbd = b dca = ddcb = cdcc = bdcd = a dda = addb = bddc = cddd = d
c'ty exterior — a'ty full — self-d'ty none

4:38298identities:   ac_,   ca_,   _ac,   _ca,   bd_,   db_,   _bd,   _db
aaa = caab = daac = aaad = b aba = babb = cabc = dabd = a aca = aacb = bacc = cacd = d ada = dadb = aadc = badd = c
baa = dbab = abac = bbad = c bba = cbbb = dbbc = abbd = b bca = bbcb = cbcc = dbcd = a bda = abdb = bbdc = cbdd = d
caa = acab = bcac = ccad = d cba = dcbb = acbc = bcbd = c cca = cccb = dccc = accd = b cda = bcdb = ccdc = dcdd = a
daa = bdab = cdac = ddad = a dba = adbb = bdbc = cdbd = d dca = ddcb = adcc = bdcd = c dda = cddb = dddc = addd = b
c'ty exterior — a'ty full — self-d'ty full

4:38456identities:   bb_,   b_b,   _bb,   dd_,   d_d,   _dd,   ac_,   ca_,   a_c,   c_a,   _ac,   _ca
aaa = caab = daac = aaad = b aba = dabb = aabc = babd = c aca = aacb = bacc = cacd = d ada = badb = cadc = dadd = a
baa = dbab = abac = bbad = c bba = abbb = bbbc = cbbd = d bca = bbcb = cbcc = dbcd = a bda = cbdb = dbdc = abdd = b
caa = acab = bcac = ccad = d cba = bcbb = ccbc = dcbd = a cca = cccb = dccc = accd = b cda = dcdb = acdc = bcdd = c
daa = bdab = cdac = ddad = a dba = cdbb = ddbc = adbd = b dca = ddcb = adcc = bdcd = c dda = addb = bddc = cddd = d
c'ty full — a'ty full — self-d'ty none

4:38852identities:   ac_,   ca_,   a_c,   c_a,   _ac,   _ca,   bd_,   db_,   b_d,   d_b,   _bd,   _db
aaa = caab = daac = aaad = b aba = dabb = cabc = babd = a aca = aacb = bacc = cacd = d ada = badb = aadc = dadd = c
baa = dbab = cbac = bbad = a bba = cbbb = dbbc = abbd = b bca = bbcb = abcc = dbcd = c bda = abdb = bbdc = cbdd = d
caa = acab = bcac = ccad = d cba = bcbb = acbc = dcbd = c cca = cccb = dccc = accd = b cda = dcdb = ccdc = bcdd = a
daa = bdab = adac = ddad = c dba = adbb = bdbc = cdbd = d dca = ddcb = cdcc = bdcd = a dda = cddb = dddc = addd = b
c'ty full — a'ty full — self-d'ty full

4:41470identities:   ad_,   da_,   a_d,   d_a,   _ad,   _da,   bc_,   cb_,   b_c,   c_b,   _bc,   _cb
aaa = caab = daac = baad = a aba = dabb = cabc = aabd = b aca = bacb = aacc = dacd = c ada = aadb = badc = cadd = d
baa = dbab = cbac = abad = b bba = cbbb = dbbc = bbbd = a bca = abcb = bbcc = cbcd = d bda = bbdb = abdc = dbdd = c
caa = bcab = acac = dcad = c cba = acbb = bcbc = ccbd = d cca = dccb = cccc = accd = b cda = ccdb = dcdc = bcdd = a
daa = adab = bdac = cdad = d dba = bdbb = adbc = ddbd = c dca = cdcb = ddcc = bdcd = a dda = dddb = cddc = addd = b
c'ty full — a'ty full — self-d'ty none

4:41474identities:   ab_,   ba_,   a_b,   b_a,   _ab,   _ba,   cd_,   dc_,   c_d,   d_c,   _cd,   _dc
aaa = daab = aaac = baad = c aba = aabb = babc = cabd = d aca = bacb = cacc = dacd = a ada = cadb = dadc = aadd = b
baa = abab = bbac = cbad = d bba = bbbb = cbbc = dbbd = a bca = cbcb = dbcc = abcd = b bda = dbdb = abdc = bbdd = c
caa = bcab = ccac = dcad = a cba = ccbb = dcbc = acbd = b cca = dccb = accc = bccd = c cda = acdb = bcdc = ccdd = d
daa = cdab = ddac = adad = b dba = ddbb = adbc = bdbd = c dca = adcb = bdcc = cdcd = d dda = bddb = cddc = dddd = a
c'ty full — a'ty full — self-d'ty none

4:52629identities:   ac_,   ca_,   a_c,   c_a,   _ac,   _ca,   bd_,   db_,   b_d,   d_b,   _bd,   _db
aaa = daab = caac = aaad = b aba = cabb = dabc = babd = a aca = aacb = bacc = cacd = d ada = badb = aadc = dadd = c
baa = cbab = dbac = bbad = a bba = dbbb = cbbc = abbd = b bca = bbcb = abcc = dbcd = c bda = abdb = bbdc = cbdd = d
caa = acab = bcac = ccad = d cba = bcbb = acbc = dcbd = c cca = cccb = dccc = bccd = a cda = dcdb = ccdc = acdd = b
daa = bdab = adac = ddad = c dba = adbb = bdbc = cdbd = d dca = ddcb = cdcc = adcd = b dda = cddb = dddc = bddd = a
c'ty full — a'ty full — self-d'ty none

4:54353identities:   bb_,   _bb,   cc_,   _cc,   ad_,   da_,   _ad,   _da
aaa = daab = caac = baad = a aba = babb = aabc = dabd = c aca = cacb = dacc = aacd = b ada = aadb = badc = cadd = d
baa = cbab = dbac = abad = b bba = abbb = bbbc = cbbd = d bca = dbcb = cbcc = bbcd = a bda = bbdb = abdc = dbdd = c
caa = bcab = acac = dcad = c cba = dcbb = ccbc = bcbd = a cca = accb = bccc = cccd = d cda = ccdb = dcdc = acdd = b
daa = adab = bdac = cdad = d dba = cdbb = ddbc = adbd = b dca = bdcb = adcc = ddcd = c dda = dddb = cddc = bddd = a
c'ty exterior — a'ty full — self-d'ty none

4:54511identities:   ad_,   da_,   _ad,   _da,   bc_,   cb_,   _bc,   _cb
aaa = daab = caac = baad = a aba = babb = dabc = aabd = c aca = cacb = aacc = dacd = b ada = aadb = badc = cadd = d
baa = cbab = abac = dbad = b bba = dbbb = cbbc = bbbd = a bca = abcb = bbcc = cbcd = d bda = bbdb = dbdc = abdd = c
caa = bcab = dcac = acad = c cba = acbb = bcbc = ccbd = d cca = dccb = cccc = bccd = a cda = ccdb = acdc = dcdd = b
daa = adab = bdac = cdad = d dba = cdbb = adbc = ddbd = b dca = bdcb = ddcc = adcd = c dda = dddb = cddc = bddd = a
c'ty exterior — a'ty full — self-d'ty full

4:54669identities:   bb_,   b_b,   _bb,   cc_,   c_c,   _cc,   ad_,   da_,   a_d,   d_a,   _ad,   _da
aaa = daab = caac = baad = a aba = cabb = aabc = dabd = b aca = bacb = dacc = aacd = c ada = aadb = badc = cadd = d
baa = cbab = abac = dbad = b bba = abbb = bbbc = cbbd = d bca = dbcb = cbcc = bbcd = a bda = bbdb = dbdc = abdd = c
caa = bcab = dcac = acad = c cba = dcbb = ccbc = bcbd = a cca = accb = bccc = cccd = d cda = ccdb = acdc = dcdd = b
daa = adab = bdac = cdad = d dba = bdbb = ddbc = adbd = c dca = cdcb = adcc = ddcd = b dda = dddb = cddc = bddd = a
c'ty full — a'ty full — self-d'ty none

4:55295identities:   ad_,   da_,   a_d,   d_a,   _ad,   _da,   bc_,   cb_,   b_c,   c_b,   _bc,   _cb
aaa = daab = caac = baad = a aba = cabb = dabc = aabd = b aca = bacb = aacc = dacd = c ada = aadb = badc = cadd = d
baa = cbab = dbac = abad = b bba = dbbb = cbbc = bbbd = a bca = abcb = bbcc = cbcd = d bda = bbdb = abdc = dbdd = c
caa = bcab = acac = dcad = c cba = acbb = bcbc = ccbd = d cca = dccb = cccc = bccd = a cda = ccdb = dcdc = acdd = b
daa = adab = bdac = cdad = d dba = bdbb = adbc = ddbd = c dca = cdcb = ddcc = adcd = b dda = dddb = cddc = bddd = a
c'ty full — a'ty full — self-d'ty full

5:1263210identities:   aa_,   a_a,   _aa,   be_,   eb_,   b_e,   e_b,   _be,   _eb,   cd_,   dc_,   c_d,   d_c,   _cd,   _dc
aaa = aaab = baac = caad = daae = e aba = babb = cabc = dabd = eabe = a aca = cacb = dacc = eacd = aace = b ada = dadb = eadc = aadd = bade = c aea = eaeb = aaec = baed = caee = d
baa = bbab = cbac = dbad = ebae = a bba = cbbb = dbbc = ebbd = abbe = b bca = dbcb = ebcc = abcd = bbce = c bda = ebdb = abdc = bbdd = cbde = d bea = abeb = bbec = cbed = dbee = e
caa = ccab = dcac = ecad = acae = b cba = dcbb = ecbc = acbd = bcbe = c cca = eccb = accc = bccd = ccce = d cda = acdb = bcdc = ccdd = dcde = e cea = bceb = ccec = dced = ecee = a
daa = ddab = edac = adad = bdae = c dba = edbb = adbc = bdbd = cdbe = d dca = adcb = bdcc = cdcd = ddce = e dda = bddb = cddc = dddd = edde = a dea = cdeb = ddec = eded = adee = b
eaa = eeab = aeac = bead = ceae = d eba = aebb = bebc = cebd = debe = e eca = becb = cecc = decd = eece = a eda = cedb = dedc = eedd = aede = b eea = deeb = eeec = aeed = beee = c
c'ty full — a'ty full — self-d'ty none

5:1997442identities:   aa_,   a_a,   _aa,   bd_,   db_,   b_d,   d_b,   _bd,   _db,   ce_,   ec_,   c_e,   e_c,   _ce,   _ec
aaa = aaab = baac = caad = daae = e aba = babb = cabc = eabd = aabe = d aca = cacb = eacc = dacd = bace = a ada = dadb = aadc = badd = eade = c aea = eaeb = daec = aaed = caee = b
baa = bbab = cbac = ebad = abae = d bba = cbbb = ebbc = dbbd = bbbe = a bca = ebcb = dbcc = abcd = cbce = b bda = abdb = bbdc = cbdd = dbde = e bea = dbeb = abec = bbed = ebee = c
caa = ccab = ecac = dcad = bcae = a cba = ecbb = dcbc = acbd = ccbe = b cca = dccb = accc = bccd = ecce = c cda = bcdb = ccdc = ecdd = acde = d cea = aceb = bcec = cced = dcee = e
daa = ddab = adac = bdad = edae = c dba = adbb = bdbc = cdbd = ddbe = e dca = bdcb = cdcc = edcd = adce = d dda = eddb = dddc = addd = cdde = b dea = cdeb = edec = dded = bdee = a
eaa = eeab = deac = aead = ceae = b eba = debb = aebc = bebd = eebe = c eca = aecb = becc = cecd = dece = e eda = cedb = eedc = dedd = bede = a eea = beeb = ceec = eeed = aeee = d
c'ty full — a'ty full — self-d'ty none

5:2465928identities:   aa_,   a_a,   _aa,   bc_,   cb_,   b_c,   c_b,   _bc,   _cb,   de_,   ed_,   d_e,   e_d,   _de,   _ed
aaa = aaab = baac = caad = daae = e aba = babb = dabc = aabd = eabe = c aca = cacb = aacc = eacd = bace = d ada = dadb = eadc = badd = cade = a aea = eaeb = caec = daed = aaee = b
baa = bbab = dbac = abad = ebae = c bba = dbbb = ebbc = bbbd = cbbe = a bca = abcb = bbcc = cbcd = dbce = e bda = ebdb = cbdc = dbdd = abde = b bea = cbeb = abec = ebed = bbee = d
caa = ccab = acac = ecad = bcae = d cba = acbb = bcbc = ccbd = dcbe = e cca = eccb = cccc = dccd = acce = b cda = bcdb = dcdc = acdd = ecde = c cea = dceb = ecec = bced = ccee = a
daa = ddab = edac = bdad = cdae = a dba = edbb = cdbc = ddbd = adbe = b dca = bdcb = ddcc = adcd = edce = c dda = cddb = addc = eddd = bdde = d dea = adeb = bdec = cded = ddee = e
eaa = eeab = ceac = dead = aeae = b eba = cebb = aebc = eebd = bebe = d eca = decb = eecc = becd = cece = a eda = aedb = bedc = cedd = dede = e eea = beeb = deec = aeed = eeee = c
c'ty full — a'ty full — self-d'ty none

5:3632028identities:   aa_,   a_a,   _aa,   be_,   eb_,   b_e,   e_b,   _be,   _eb,   cd_,   dc_,   c_d,   d_c,   _cd,   _dc
aaa = aaab = baac = caad = daae = e aba = babb = dabc = eabd = cabe = a aca = cacb = eacc = bacd = aace = d ada = dadb = cadc = aadd = eade = b aea = eaeb = aaec = daed = baee = c
baa = bbab = dbac = ebad = cbae = a bba = dbbb = cbbc = abbd = ebbe = b bca = ebcb = abcc = dbcd = bbce = c bda = cbdb = ebdc = bbdd = abde = d bea = abeb = bbec = cbed = dbee = e
caa = ccab = ecac = bcad = acae = d cba = ecbb = acbc = dcbd = bcbe = c cca = bccb = dccc = eccd = ccce = a cda = acdb = bcdc = ccdd = dcde = e cea = dceb = ccec = aced = ecee = b
daa = ddab = cdac = adad = edae = b dba = cdbb = edbc = bdbd = adbe = d dca = adcb = bdcc = cdcd = ddce = e dda = eddb = addc = dddd = bdde = c dea = bdeb = ddec = eded = cdee = a
eaa = eeab = aeac = dead = beae = c eba = aebb = bebc = cebd = debe = e eca = decb = cecc = aecd = eece = b eda = bedb = dedc = eedd = cede = a eea = ceeb = eeec = beed = aeee = d
c'ty full — a'ty full — self-d'ty none

5:4133886identities:   aa_,   a_a,   _aa,   bc_,   cb_,   b_c,   c_b,   _bc,   _cb,   de_,   ed_,   d_e,   e_d,   _de,   _ed
aaa = aaab = baac = caad = daae = e aba = babb = eabc = aabd = cabe = d aca = cacb = aacc = dacd = eace = b ada = dadb = cadc = eadd = bade = a aea = eaeb = daec = baed = aaee = c
baa = bbab = ebac = abad = cbae = d bba = ebbb = dbbc = bbbd = abbe = c bca = abcb = bbcc = cbcd = dbce = e bda = cbdb = abdc = dbdd = ebde = b bea = dbeb = cbec = ebed = bbee = a
caa = ccab = acac = dcad = ecae = b cba = acbb = bcbc = ccbd = dcbe = e cca = dccb = cccc = eccd = bcce = a cda = ecdb = dcdc = bcdd = acde = c cea = bceb = ecec = aced = ccee = d
daa = ddab = cdac = edad = bdae = a dba = cdbb = adbc = ddbd = edbe = b dca = edcb = ddcc = bdcd = adce = c dda = bddb = eddc = addd = cdde = d dea = adeb = bdec = cded = ddee = e
eaa = eeab = deac = bead = aeae = c eba = debb = cebc = eebd = bebe = a eca = becb = eecc = aecd = cece = d eda = aedb = bedc = cedd = dede = e eea = ceeb = aeec = deed = eeee = b
c'ty full — a'ty full — self-d'ty none

5:4901088identities:   aa_,   a_a,   _aa,   bd_,   db_,   b_d,   d_b,   _bd,   _db,   ce_,   ec_,   c_e,   e_c,   _ce,   _ec
aaa = aaab = baac = caad = daae = e aba = babb = eabc = dabd = aabe = c aca = cacb = dacc = bacd = eace = a ada = dadb = aadc = eadd = cade = b aea = eaeb = caec = aaed = baee = d
baa = bbab = ebac = dbad = abae = c bba = ebbb = cbbc = abbd = bbbe = d bca = dbcb = abcc = ebcd = cbce = b bda = abdb = bbdc = cbdd = dbde = e bea = cbeb = dbec = bbed = ebee = a
caa = ccab = dcac = bcad = ecae = a cba = dcbb = acbc = ecbd = ccbe = b cca = bccb = eccc = dccd = acce = c cda = ecdb = ccdc = acdd = bcde = d cea = aceb = bcec = cced = dcee = e
daa = ddab = adac = edad = cdae = b dba = adbb = bdbc = cdbd = ddbe = e dca = edcb = cdcc = adcd = bdce = d dda = cddb = dddc = bddd = edde = a dea = bdeb = edec = dded = adee = c
eaa = eeab = ceac = aead = beae = d eba = cebb = debc = bebd = eebe = a eca = aecb = becc = cecd = dece = e eda = bedb = eedc = dedd = aede = c eea = deeb = aeec = eeed = ceee = b
c'ty full — a'ty full — self-d'ty none

5:6386440identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd,   ee_,   _ee
aaa = aaab = baac = caad = daae = e aba = cabb = aabc = dabd = eabe = b aca = bacb = eacc = aacd = cace = d ada = eadb = dadc = badd = aade = c aea = daeb = caec = eaed = baee = a
baa = bbab = ebac = abad = cbae = d bba = abbb = bbbc = cbbd = dbbe = e bca = ebcb = dbcc = bbcd = abce = c bda = dbdb = cbdc = ebdd = bbde = a bea = cbeb = abec = dbed = ebee = b
caa = ccab = acac = dcad = ecae = b cba = dcbb = ccbc = ecbd = bcbe = a cca = accb = bccc = cccd = dcce = e cda = bcdb = ecdc = acdd = ccde = d cea = eceb = dcec = bced = acee = c
daa = ddab = cdac = edad = bdae = a dba = edbb = ddbc = bdbd = adbe = c dca = cdcb = adcc = ddcd = edce = b dda = addb = bddc = cddd = ddde = e dea = bdeb = edec = aded = cdee = d
eaa = eeab = deac = bead = aeae = c eba = bebb = eebc = aebd = cebe = d eca = decb = cecc = eecd = bece = a eda = cedb = aedc = dedd = eede = b eea = aeeb = beec = ceed = deee = e
c'ty exterior — a'ty full — self-d'ty full

5:6918922identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd,   ee_,   _ee
aaa = aaab = baac = caad = daae = e aba = cabb = aabc = eabd = babe = d aca = bacb = dacc = aacd = eace = c ada = eadb = cadc = dadd = aade = b aea = daeb = eaec = baed = caee = a
baa = bbab = dbac = abad = ebae = c bba = abbb = bbbc = cbbd = dbbe = e bca = dbcb = ebcc = bbcd = cbce = a bda = cbdb = abdc = ebdd = bbde = d bea = ebeb = cbec = dbed = abee = b
caa = ccab = acac = ecad = bcae = d cba = ecbb = ccbc = dcbd = acbe = b cca = accb = bccc = cccd = dcce = e cda = dcdb = ecdc = bcdd = ccde = a cea = bceb = dcec = aced = ecee = c
daa = ddab = edac = bdad = cdae = a dba = bdbb = ddbc = adbd = edbe = c dca = edcb = cdcc = ddcd = adce = b dda = addb = bddc = cddd = ddde = e dea = cdeb = adec = eded = bdee = d
eaa = eeab = ceac = dead = aeae = b eba = debb = eebc = bebd = cebe = a eca = cecb = aecc = eecd = bece = d eda = bedb = dedc = aedd = eede = c eea = aeeb = beec = ceed = deee = e
c'ty exterior — a'ty full — self-d'ty full

5:12180956identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd,   ee_,   _ee
aaa = aaab = baac = caad = daae = e aba = dabb = aabc = babd = eabe = c aca = eacb = dacc = aacd = cace = b ada = badb = cadc = eadd = aade = d aea = caeb = eaec = daed = baee = a
baa = bbab = cbac = ebad = abae = d bba = abbb = bbbc = cbbd = dbbe = e bca = dbcb = abcc = bbcd = ebce = c bda = cbdb = ebdc = dbdd = bbde = a bea = ebeb = dbec = abed = cbee = b
caa = ccab = ecac = dcad = bcae = a cba = bcbb = ccbc = ecbd = acbe = d cca = accb = bccc = cccd = dcce = e cda = ecdb = dcdc = acdd = ccde = b cea = dceb = acec = bced = ecee = c
daa = ddab = adac = bdad = edae = c dba = edbb = ddbc = adbd = cdbe = b dca = cdcb = edcc = ddcd = bdce = a dda = addb = bddc = cddd = ddde = e dea = bdeb = cdec = eded = adee = d
eaa = eeab = deac = aead = ceae = b eba = cebb = eebc = debd = bebe = a eca = becb = cecc = eecd = aece = d eda = dedb = aedc = bedd = eede = c eea = aeeb = beec = ceed = deee = e
c'ty exterior — a'ty full — self-d'ty full

5:13050082identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd,   ee_,   _ee
aaa = aaab = baac = caad = daae = e aba = dabb = aabc = eabd = cabe = b aca = eacb = cacc = aacd = bace = d ada = badb = eadc = dadd = aade = c aea = caeb = daec = baed = eaee = a
baa = bbab = ebac = dbad = abae = c bba = abbb = bbbc = cbbd = dbbe = e bca = cbcb = dbcc = bbcd = ebce = a bda = ebdb = cbdc = abdd = bbde = d bea = dbeb = abec = ebed = cbee = b
caa = ccab = dcac = bcad = ecae = a cba = ecbb = ccbc = acbd = bcbe = d cca = accb = bccc = cccd = dcce = e cda = dcdb = acdc = ecdd = ccde = b cea = bceb = ecec = dced = acee = c
daa = ddab = adac = edad = cdae = b dba = cdbb = ddbc = bdbd = edbe = a dca = bdcb = edcc = ddcd = adce = c dda = addb = bddc = cddd = ddde = e dea = edeb = cdec = aded = bdee = d
eaa = eeab = ceac = aead = beae = d eba = bebb = eebc = debd = aebe = c eca = decb = aecc = eecd = cece = b eda = cedb = dedc = bedd = eede = a eea = aeeb = beec = ceed = deee = e
c'ty exterior — a'ty full — self-d'ty full

5:17998292identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd,   ee_,   _ee
aaa = aaab = baac = caad = daae = e aba = eabb = aabc = babd = cabe = d aca = dacb = eacc = aacd = bace = c ada = cadb = dadc = eadd = aade = b aea = baeb = caec = daed = eaee = a
baa = bbab = cbac = dbad = ebae = a bba = abbb = bbbc = cbbd = dbbe = e bca = ebcb = abcc = bbcd = cbce = d bda = dbdb = ebdc = abdd = bbde = c bea = cbeb = dbec = ebed = abee = b
caa = ccab = dcac = ecad = acae = b cba = bcbb = ccbc = dcbd = ecbe = a cca = accb = bccc = cccd = dcce = e cda = ecdb = acdc = bcdd = ccde = d cea = dceb = ecec = aced = bcee = c
daa = ddab = edac = adad = bdae = c dba = cdbb = ddbc = edbd = adbe = b dca = bdcb = cdcc = ddcd = edce = a dda = addb = bddc = cddd = ddde = e dea = edeb = adec = bded = cdee = d
eaa = eeab = aeac = bead = ceae = d eba = debb = eebc = aebd = bebe = c eca = cecb = decc = eecd = aece = b eda = bedb = cedc = dedd = eede = a eea = aeeb = beec = ceed = deee = e
c'ty exterior — a'ty full — self-d'ty full

5:18468178identities:   aa_,   _aa,   bb_,   _bb,   cc_,   _cc,   dd_,   _dd,   ee_,   _ee
aaa = aaab = baac = caad = daae = e aba = eabb = aabc = dabd = babe = c aca = dacb = cacc = aacd = eace = b ada = cadb = eadc = badd = aade = d aea = baeb = daec = eaed = caee = a
baa = bbab = dbac = ebad = cbae = a bba = abbb = bbbc = cbbd = dbbe = e bca = cbcb = ebcc = bbcd = abce = d bda = ebdb = abdc = dbdd = bbde = c bea = dbeb = cbec = abed = ebee = b
caa = ccab = ecac = bcad = acae = d cba = dcbb = ccbc = acbd = ecbe = b cca = accb = bccc = cccd = dcce = e cda = bcdb = dcdc = ecdd = ccde = a cea = eceb = acec = dced = bcee = c
daa = ddab = cdac = adad = edae = b dba = bdbb = ddbc = edbd = cdbe = a dca = edcb = adcc = ddcd = bdce = c dda = addb = bddc = cddd = ddde = e dea = cdeb = edec = bded = adee = d
eaa = eeab = aeac = dead = beae = c eba = cebb = eebc = bebd = aebe = d eca = becb = decc = eecd = cece = a eda = dedb = cedc = aedd = eede = b eea = aeeb = beec = ceed = deee = e
c'ty exterior — a'ty full — self-d'ty full