Weak Isomorphism Representatives for Three-Element Groupoids with a Unary Operation
(These results were developed with the help of Joel Berman.)
Binary Operation
Unary Operation
0
1
2
0
1
2
0
1
2
INSTRUCTIONS
Enter a 3-element GU in the table above.
(All entries must be either 0,1 or 2.)
Click on the "Ask Thoralf" button.
Thoralf will send you:
the weak isomorphism representative, and
the GUs that are isomorphic to the one submitted
You can determine the
Covers and Subcovers
of the following GUs in the lattice of weak isomorphism types.
The 2376 GU weak isomorphism representatives (06/25/97):
( 0, 0) = (000000000, 000)
( 0, 1) = (000000000, 001)
( 0, 2) = (000000000, 002)
( 0, 4) = (000000000, 011)
( 0, 7) = (000000000, 021)
( 0, 9) = (000000000, 100)
( 0, 11) = (000000000, 102)
( 0, 12) = (000000000, 110)
( 0, 13) = (000000000, 111)
( 0, 14) = (000000000, 112)
( 0, 15) = (000000000, 120)
( 0, 16) = (000000000, 121)
( 0, 17) = (000000000, 122)
( 1, 0) = (000000001, 000)
( 1, 2) = (000000001, 002)
( 1, 3) = (000000001, 010)
( 1, 4) = (000000001, 011)
( 1, 6) = (000000001, 020)
( 1, 7) = (000000001, 021)
( 1, 8) = (000000001, 022)
( 1, 9) = (000000001, 100)
( 1, 11) = (000000001, 102)
( 1, 12) = (000000001, 110)
( 1, 13) = (000000001, 111)
( 1, 14) = (000000001, 112)
( 1, 15) = (000000001, 120)
( 1, 16) = (000000001, 121)
( 1, 17) = (000000001, 122)
( 1, 21) = (000000001, 210)
( 1, 24) = (000000001, 220)
( 1, 25) = (000000001, 221)
( 1, 26) = (000000001, 222)
( 2, 0) = (000000002, 000)
( 2, 1) = (000000002, 001)
( 2, 2) = (000000002, 002)
( 2, 3) = (000000002, 010)
( 2, 4) = (000000002, 011)
( 2, 6) = (000000002, 020)
( 2, 8) = (000000002, 022)
( 2, 9) = (000000002, 100)
( 2, 10) = (000000002, 101)
( 2, 11) = (000000002, 102)
( 2, 12) = (000000002, 110)
( 2, 13) = (000000002, 111)
( 2, 14) = (000000002, 112)
( 2, 16) = (000000002, 121)
( 2, 17) = (000000002, 122)
( 2, 18) = (000000002, 200)
( 2, 20) = (000000002, 202)
( 2, 21) = (000000002, 210)
( 2, 23) = (000000002, 212)
( 2, 24) = (000000002, 220)
( 2, 25) = (000000002, 221)
( 2, 26) = (000000002, 222)
( 3, 0) = (000000010, 000)
( 3, 1) = (000000010, 001)
( 3, 2) = (000000010, 002)
( 3, 3) = (000000010, 010)
( 3, 4) = (000000010, 011)
( 3, 6) = (000000010, 020)
( 3, 8) = (000000010, 022)
( 3, 9) = (000000010, 100)
( 3, 10) = (000000010, 101)
( 3, 11) = (000000010, 102)
( 3, 12) = (000000010, 110)
( 3, 13) = (000000010, 111)
( 3, 14) = (000000010, 112)
( 3, 18) = (000000010, 200)
( 3, 20) = (000000010, 202)
( 3, 21) = (000000010, 210)
( 3, 23) = (000000010, 212)
( 3, 24) = (000000010, 220)
( 3, 25) = (000000010, 221)
( 3, 26) = (000000010, 222)
( 4, 0) = (000000011, 000)
( 4, 2) = (000000011, 002)
( 4, 3) = (000000011, 010)
( 4, 4) = (000000011, 011)
( 4, 6) = (000000011, 020)
( 4, 7) = (000000011, 021)
( 4, 12) = (000000011, 110)
( 4, 13) = (000000011, 111)
( 4, 14) = (000000011, 112)
( 4, 24) = (000000011, 220)
( 4, 25) = (000000011, 221)
( 4, 26) = (000000011, 222)
( 5, 0) = (000000012, 000)
( 5, 1) = (000000012, 001)
( 5, 2) = (000000012, 002)
( 5, 3) = (000000012, 010)
( 5, 4) = (000000012, 011)
( 5, 6) = (000000012, 020)
( 5, 7) = (000000012, 021)
( 5, 8) = (000000012, 022)
( 5, 9) = (000000012, 100)
( 5, 10) = (000000012, 101)
( 5, 11) = (000000012, 102)
( 5, 12) = (000000012, 110)
( 5, 13) = (000000012, 111)
( 5, 14) = (000000012, 112)
( 5, 15) = (000000012, 120)
( 5, 17) = (000000012, 122)
( 5, 18) = (000000012, 200)
( 5, 20) = (000000012, 202)
( 5, 21) = (000000012, 210)
( 5, 23) = (000000012, 212)
( 5, 24) = (000000012, 220)
( 5, 25) = (000000012, 221)
( 5, 26) = (000000012, 222)
( 7, 0) = (000000021, 000)
( 7, 3) = (000000021, 010)
( 7, 4) = (000000021, 011)
( 7, 6) = (000000021, 020)
( 7, 8) = (000000021, 022)
( 7, 9) = (000000021, 100)
( 7, 10) = (000000021, 101)
( 7, 11) = (000000021, 102)
( 7, 12) = (000000021, 110)
( 7, 13) = (000000021, 111)
( 7, 14) = (000000021, 112)
( 7, 18) = (000000021, 200)
( 7, 26) = (000000021, 222)
( 8, 0) = (000000022, 000)
( 8, 1) = (000000022, 001)
( 8, 2) = (000000022, 002)
( 8, 3) = (000000022, 010)
( 8, 4) = (000000022, 011)
( 8, 6) = (000000022, 020)
( 8, 10) = (000000022, 101)
( 8, 11) = (000000022, 102)
( 8, 13) = (000000022, 111)
( 8, 14) = (000000022, 112)
( 8, 16) = (000000022, 121)
( 8, 20) = (000000022, 202)
( 8, 23) = (000000022, 212)
( 8, 26) = (000000022, 222)
( 9, 0) = (000000100, 000)
( 9, 2) = (000000100, 002)
( 9, 3) = (000000100, 010)
( 9, 4) = (000000100, 011)
( 9, 6) = (000000100, 020)
( 9, 7) = (000000100, 021)
( 9, 8) = (000000100, 022)
( 9, 12) = (000000100, 110)
( 9, 13) = (000000100, 111)
( 9, 14) = (000000100, 112)
( 9, 24) = (000000100, 220)
( 9, 26) = (000000100, 222)
( 10, 0) = (000000101, 000)
( 10, 2) = (000000101, 002)
( 10, 3) = (000000101, 010)
( 10, 4) = (000000101, 011)
( 10, 12) = (000000101, 110)
( 10, 13) = (000000101, 111)
( 10, 14) = (000000101, 112)
( 11, 0) = (000000102, 000)
( 11, 2) = (000000102, 002)
( 11, 3) = (000000102, 010)
( 11, 4) = (000000102, 011)
( 11, 6) = (000000102, 020)
( 11, 7) = (000000102, 021)
( 11, 8) = (000000102, 022)
( 11, 9) = (000000102, 100)
( 11, 10) = (000000102, 101)
( 11, 12) = (000000102, 110)
( 11, 13) = (000000102, 111)
( 11, 14) = (000000102, 112)
( 11, 17) = (000000102, 122)
( 11, 24) = (000000102, 220)
( 11, 26) = (000000102, 222)
( 12, 0) = (000000110, 000)
( 12, 2) = (000000110, 002)
( 12, 3) = (000000110, 010)
( 12, 4) = (000000110, 011)
( 12, 9) = (000000110, 100)
( 12, 11) = (000000110, 102)
( 12, 12) = (000000110, 110)
( 12, 13) = (000000110, 111)
( 12, 14) = (000000110, 112)
( 12, 26) = (000000110, 222)
( 13, 2) = (000000111, 002)
( 13, 3) = (000000111, 010)
( 13, 4) = (000000111, 011)
( 13, 6) = (000000111, 020)
( 13, 7) = (000000111, 021)
( 13, 8) = (000000111, 022)
( 13, 9) = (000000111, 100)
( 13, 11) = (000000111, 102)
( 13, 12) = (000000111, 110)
( 13, 14) = (000000111, 112)
( 13, 15) = (000000111, 120)
( 13, 16) = (000000111, 121)
( 13, 17) = (000000111, 122)
( 13, 20) = (000000111, 202)
( 13, 21) = (000000111, 210)
( 13, 24) = (000000111, 220)
( 14, 0) = (000000112, 000)
( 14, 2) = (000000112, 002)
( 14, 3) = (000000112, 010)
( 14, 4) = (000000112, 011)
( 14, 8) = (000000112, 022)
( 14, 9) = (000000112, 100)
( 14, 10) = (000000112, 101)
( 14, 11) = (000000112, 102)
( 14, 12) = (000000112, 110)
( 14, 13) = (000000112, 111)
( 14, 14) = (000000112, 112)
( 14, 24) = (000000112, 220)
( 14, 26) = (000000112, 222)
( 15, 0) = (000000120, 000)
( 15, 3) = (000000120, 010)
( 15, 4) = (000000120, 011)
( 15, 8) = (000000120, 022)
( 15, 9) = (000000120, 100)
( 15, 10) = (000000120, 101)
( 15, 12) = (000000120, 110)
( 15, 13) = (000000120, 111)
( 17, 0) = (000000122, 000)
( 17, 2) = (000000122, 002)
( 17, 4) = (000000122, 011)
( 17, 11) = (000000122, 102)
( 17, 13) = (000000122, 111)
( 17, 14) = (000000122, 112)
( 18, 0) = (000000200, 000)
( 18, 1) = (000000200, 001)
( 18, 3) = (000000200, 010)
( 18, 4) = (000000200, 011)
( 18, 6) = (000000200, 020)
( 18, 8) = (000000200, 022)
( 18, 10) = (000000200, 101)
( 18, 13) = (000000200, 111)
( 18, 16) = (000000200, 121)
( 18, 23) = (000000200, 212)
( 20, 0) = (000000202, 000)
( 20, 2) = (000000202, 002)
( 20, 3) = (000000202, 010)
( 20, 6) = (000000202, 020)
( 20, 8) = (000000202, 022)
( 20, 12) = (000000202, 110)
( 20, 13) = (000000202, 111)
( 20, 17) = (000000202, 122)
( 20, 18) = (000000202, 200)
( 20, 20) = (000000202, 202)
( 20, 21) = (000000202, 210)
( 20, 23) = (000000202, 212)
( 21, 0) = (000000210, 000)
( 21, 3) = (000000210, 010)
( 21, 6) = (000000210, 020)
( 21, 8) = (000000210, 022)
( 23, 0) = (000000212, 000)
( 23, 2) = (000000212, 002)
( 23, 3) = (000000212, 010)
( 23, 6) = (000000212, 020)
( 23, 8) = (000000212, 022)
( 23, 14) = (000000212, 112)
( 23, 18) = (000000212, 200)
( 23, 20) = (000000212, 202)
( 24, 0) = (000000220, 000)
( 24, 1) = (000000220, 001)
( 24, 3) = (000000220, 010)
( 24, 4) = (000000220, 011)
( 24, 9) = (000000220, 100)
( 24, 10) = (000000220, 101)
( 24, 11) = (000000220, 102)
( 24, 12) = (000000220, 110)
( 24, 13) = (000000220, 111)
( 24, 14) = (000000220, 112)
( 25, 0) = (000000221, 000)
( 25, 3) = (000000221, 010)
( 25, 4) = (000000221, 011)
( 25, 9) = (000000221, 100)
( 25, 10) = (000000221, 101)
( 25, 11) = (000000221, 102)
( 25, 12) = (000000221, 110)
( 25, 13) = (000000221, 111)
( 25, 14) = (000000221, 112)
( 26, 2) = (000000222, 002)
( 26, 3) = (000000222, 010)
( 26, 4) = (000000222, 011)
( 26, 8) = (000000222, 022)
( 26, 9) = (000000222, 100)
( 26, 10) = (000000222, 101)
( 26, 11) = (000000222, 102)
( 26, 14) = (000000222, 112)
( 26, 16) = (000000222, 121)
( 26, 18) = (000000222, 200)
( 26, 21) = (000000222, 210)
( 26, 24) = (000000222, 220)
( 26, 25) = (000000222, 221)
( 30, 0) = (000001010, 000)
( 30, 1) = (000001010, 001)
( 30, 2) = (000001010, 002)
( 30, 3) = (000001010, 010)
( 30, 4) = (000001010, 011)
( 30, 6) = (000001010, 020)
( 30, 7) = (000001010, 021)
( 30, 8) = (000001010, 022)
( 30, 9) = (000001010, 100)
( 30, 10) = (000001010, 101)
( 30, 11) = (000001010, 102)
( 30, 12) = (000001010, 110)
( 30, 13) = (000001010, 111)
( 30, 14) = (000001010, 112)
( 30, 18) = (000001010, 200)
( 30, 20) = (000001010, 202)
( 30, 21) = (000001010, 210)
( 30, 23) = (000001010, 212)
( 30, 24) = (000001010, 220)
( 30, 25) = (000001010, 221)
( 30, 26) = (000001010, 222)
( 31, 0) = (000001011, 000)
( 31, 2) = (000001011, 002)
( 31, 3) = (000001011, 010)
( 31, 4) = (000001011, 011)
( 31, 6) = (000001011, 020)
( 31, 7) = (000001011, 021)
( 31, 8) = (000001011, 022)
( 31, 9) = (000001011, 100)
( 31, 10) = (000001011, 101)
( 31, 11) = (000001011, 102)
( 31, 12) = (000001011, 110)
( 31, 13) = (000001011, 111)
( 31, 14) = (000001011, 112)
( 31, 17) = (000001011, 122)
( 31, 24) = (000001011, 220)
( 31, 25) = (000001011, 221)
( 31, 26) = (000001011, 222)
( 32, 0) = (000001012, 000)
( 32, 1) = (000001012, 001)
( 32, 2) = (000001012, 002)
( 32, 3) = (000001012, 010)
( 32, 4) = (000001012, 011)
( 32, 6) = (000001012, 020)
( 32, 7) = (000001012, 021)
( 32, 8) = (000001012, 022)
( 32, 9) = (000001012, 100)
( 32, 10) = (000001012, 101)
( 32, 11) = (000001012, 102)
( 32, 12) = (000001012, 110)
( 32, 13) = (000001012, 111)
( 32, 14) = (000001012, 112)
( 32, 17) = (000001012, 122)
( 32, 18) = (000001012, 200)
( 32, 20) = (000001012, 202)
( 32, 21) = (000001012, 210)
( 32, 23) = (000001012, 212)
( 32, 24) = (000001012, 220)
( 32, 25) = (000001012, 221)
( 32, 26) = (000001012, 222)
( 33, 0) = (000001020, 000)
( 33, 1) = (000001020, 001)
( 33, 2) = (000001020, 002)
( 33, 4) = (000001020, 011)
( 33, 7) = (000001020, 021)
( 33, 9) = (000001020, 100)
( 33, 10) = (000001020, 101)
( 33, 11) = (000001020, 102)
( 33, 12) = (000001020, 110)
( 33, 13) = (000001020, 111)
( 33, 14) = (000001020, 112)
( 34, 0) = (000001021, 000)
( 34, 3) = (000001021, 010)
( 34, 4) = (000001021, 011)
( 34, 6) = (000001021, 020)
( 34, 7) = (000001021, 021)
( 34, 8) = (000001021, 022)
( 34, 9) = (000001021, 100)
( 34, 10) = (000001021, 101)
( 34, 12) = (000001021, 110)
( 34, 13) = (000001021, 111)
( 34, 26) = (000001021, 222)
( 35, 0) = (000001022, 000)
( 35, 1) = (000001022, 001)
( 35, 2) = (000001022, 002)
( 35, 3) = (000001022, 010)
( 35, 4) = (000001022, 011)
( 35, 6) = (000001022, 020)
( 35, 8) = (000001022, 022)
( 35, 9) = (000001022, 100)
( 35, 10) = (000001022, 101)
( 35, 11) = (000001022, 102)
( 35, 12) = (000001022, 110)
( 35, 13) = (000001022, 111)
( 35, 14) = (000001022, 112)
( 35, 20) = (000001022, 202)
( 35, 23) = (000001022, 212)
( 35, 26) = (000001022, 222)
( 36, 0) = (000001100, 000)
( 36, 2) = (000001100, 002)
( 36, 3) = (000001100, 010)
( 36, 4) = (000001100, 011)
( 36, 7) = (000001100, 021)
( 36, 9) = (000001100, 100)
( 36, 12) = (000001100, 110)
( 36, 13) = (000001100, 111)
( 36, 14) = (000001100, 112)
( 36, 24) = (000001100, 220)
( 36, 26) = (000001100, 222)
( 37, 0) = (000001101, 000)
( 37, 2) = (000001101, 002)
( 37, 3) = (000001101, 010)
( 37, 4) = (000001101, 011)
( 37, 9) = (000001101, 100)
( 37, 12) = (000001101, 110)
( 37, 13) = (000001101, 111)
( 37, 14) = (000001101, 112)
( 37, 24) = (000001101, 220)
( 37, 26) = (000001101, 222)
( 38, 0) = (000001102, 000)
( 38, 2) = (000001102, 002)
( 38, 3) = (000001102, 010)
( 38, 4) = (000001102, 011)
( 38, 9) = (000001102, 100)
( 38, 10) = (000001102, 101)
( 38, 12) = (000001102, 110)
( 38, 13) = (000001102, 111)
( 38, 14) = (000001102, 112)
( 38, 24) = (000001102, 220)
( 38, 26) = (000001102, 222)
( 39, 0) = (000001110, 000)
( 39, 2) = (000001110, 002)
( 39, 3) = (000001110, 010)
( 39, 4) = (000001110, 011)
( 39, 9) = (000001110, 100)
( 39, 10) = (000001110, 101)
( 39, 11) = (000001110, 102)
( 39, 12) = (000001110, 110)
( 39, 13) = (000001110, 111)
( 39, 14) = (000001110, 112)
( 39, 24) = (000001110, 220)
( 39, 25) = (000001110, 221)
( 39, 26) = (000001110, 222)
( 40, 0) = (000001111, 000)
( 40, 2) = (000001111, 002)
( 40, 3) = (000001111, 010)
( 40, 4) = (000001111, 011)
( 40, 6) = (000001111, 020)
( 40, 7) = (000001111, 021)
( 40, 8) = (000001111, 022)
( 40, 9) = (000001111, 100)
( 40, 10) = (000001111, 101)
( 40, 11) = (000001111, 102)
( 40, 12) = (000001111, 110)
( 40, 13) = (000001111, 111)
( 40, 14) = (000001111, 112)
( 40, 24) = (000001111, 220)
( 40, 25) = (000001111, 221)
( 40, 26) = (000001111, 222)
( 41, 0) = (000001112, 000)
( 41, 2) = (000001112, 002)
( 41, 3) = (000001112, 010)
( 41, 4) = (000001112, 011)
( 41, 8) = (000001112, 022)
( 41, 9) = (000001112, 100)
( 41, 10) = (000001112, 101)
( 41, 11) = (000001112, 102)
( 41, 12) = (000001112, 110)
( 41, 13) = (000001112, 111)
( 41, 14) = (000001112, 112)
( 41, 24) = (000001112, 220)
( 41, 26) = (000001112, 222)
( 42, 0) = (000001120, 000)
( 42, 3) = (000001120, 010)
( 42, 4) = (000001120, 011)
( 42, 9) = (000001120, 100)
( 42, 10) = (000001120, 101)
( 42, 11) = (000001120, 102)
( 42, 12) = (000001120, 110)
( 42, 13) = (000001120, 111)
( 42, 14) = (000001120, 112)
( 43, 0) = (000001121, 000)
( 43, 3) = (000001121, 010)
( 43, 4) = (000001121, 011)
( 43, 9) = (000001121, 100)
( 43, 10) = (000001121, 101)
( 43, 12) = (000001121, 110)
( 43, 13) = (000001121, 111)
( 44, 0) = (000001122, 000)
( 44, 2) = (000001122, 002)
( 44, 3) = (000001122, 010)
( 44, 4) = (000001122, 011)
( 44, 9) = (000001122, 100)
( 44, 10) = (000001122, 101)
( 44, 11) = (000001122, 102)
( 44, 12) = (000001122, 110)
( 44, 13) = (000001122, 111)
( 44, 14) = (000001122, 112)
( 45, 0) = (000001200, 000)
( 45, 1) = (000001200, 001)
( 45, 3) = (000001200, 010)
( 45, 4) = (000001200, 011)
( 45, 6) = (000001200, 020)
( 45, 7) = (000001200, 021)
( 45, 8) = (000001200, 022)
( 45, 9) = (000001200, 100)
( 45, 10) = (000001200, 101)
( 45, 12) = (000001200, 110)
( 45, 13) = (000001200, 111)
( 46, 0) = (000001201, 000)
( 46, 3) = (000001201, 010)
( 46, 4) = (000001201, 011)
( 46, 6) = (000001201, 020)
( 46, 7) = (000001201, 021)
( 46, 9) = (000001201, 100)
( 46, 10) = (000001201, 101)
( 46, 12) = (000001201, 110)
( 46, 13) = (000001201, 111)
( 47, 0) = (000001202, 000)
( 47, 1) = (000001202, 001)
( 47, 2) = (000001202, 002)
( 47, 3) = (000001202, 010)
( 47, 4) = (000001202, 011)
( 47, 6) = (000001202, 020)
( 47, 8) = (000001202, 022)
( 47, 9) = (000001202, 100)
( 47, 10) = (000001202, 101)
( 47, 12) = (000001202, 110)
( 47, 13) = (000001202, 111)
( 47, 14) = (000001202, 112)
( 47, 18) = (000001202, 200)
( 47, 20) = (000001202, 202)
( 47, 21) = (000001202, 210)
( 47, 23) = (000001202, 212)
( 48, 0) = (000001210, 000)
( 48, 1) = (000001210, 001)
( 48, 3) = (000001210, 010)
( 48, 4) = (000001210, 011)
( 48, 6) = (000001210, 020)
( 48, 8) = (000001210, 022)
( 48, 9) = (000001210, 100)
( 48, 10) = (000001210, 101)
( 48, 12) = (000001210, 110)
( 48, 13) = (000001210, 111)
( 49, 3) = (000001211, 010)
( 49, 6) = (000001211, 020)
( 50, 0) = (000001212, 000)
( 50, 2) = (000001212, 002)
( 50, 3) = (000001212, 010)
( 50, 6) = (000001212, 020)
( 50, 8) = (000001212, 022)
( 50, 14) = (000001212, 112)
( 50, 18) = (000001212, 200)
( 50, 20) = (000001212, 202)
( 51, 0) = (000001220, 000)
( 51, 1) = (000001220, 001)
( 51, 3) = (000001220, 010)
( 51, 4) = (000001220, 011)
( 51, 6) = (000001220, 020)
( 51, 9) = (000001220, 100)
( 51, 10) = (000001220, 101)
( 51, 11) = (000001220, 102)
( 51, 12) = (000001220, 110)
( 51, 13) = (000001220, 111)
( 51, 14) = (000001220, 112)
( 52, 0) = (000001221, 000)
( 52, 3) = (000001221, 010)
( 52, 4) = (000001221, 011)
( 52, 6) = (000001221, 020)
( 52, 9) = (000001221, 100)
( 52, 10) = (000001221, 101)
( 52, 12) = (000001221, 110)
( 52, 13) = (000001221, 111)
( 52, 14) = (000001221, 112)
( 53, 0) = (000001222, 000)
( 53, 1) = (000001222, 001)
( 53, 2) = (000001222, 002)
( 53, 3) = (000001222, 010)
( 53, 4) = (000001222, 011)
( 53, 6) = (000001222, 020)
( 53, 7) = (000001222, 021)
( 53, 8) = (000001222, 022)
( 53, 9) = (000001222, 100)
( 53, 10) = (000001222, 101)
( 53, 11) = (000001222, 102)
( 53, 12) = (000001222, 110)
( 53, 13) = (000001222, 111)
( 53, 14) = (000001222, 112)
( 53, 17) = (000001222, 122)
( 53, 18) = (000001222, 200)
( 53, 20) = (000001222, 202)
( 53, 21) = (000001222, 210)
( 53, 23) = (000001222, 212)
( 53, 24) = (000001222, 220)
( 53, 25) = (000001222, 221)
( 53, 26) = (000001222, 222)
( 61, 0) = (000002021, 000)
( 61, 3) = (000002021, 010)
( 61, 4) = (000002021, 011)
( 61, 6) = (000002021, 020)
( 61, 9) = (000002021, 100)
( 61, 10) = (000002021, 101)
( 61, 11) = (000002021, 102)
( 61, 12) = (000002021, 110)
( 61, 13) = (000002021, 111)
( 61, 14) = (000002021, 112)
( 61, 18) = (000002021, 200)
( 61, 26) = (000002021, 222)
( 62, 0) = (000002022, 000)
( 62, 1) = (000002022, 001)
( 62, 2) = (000002022, 002)
( 62, 3) = (000002022, 010)
( 62, 4) = (000002022, 011)
( 62, 6) = (000002022, 020)
( 62, 8) = (000002022, 022)
( 62, 9) = (000002022, 100)
( 62, 10) = (000002022, 101)
( 62, 11) = (000002022, 102)
( 62, 12) = (000002022, 110)
( 62, 13) = (000002022, 111)
( 62, 14) = (000002022, 112)
( 62, 16) = (000002022, 121)
( 62, 17) = (000002022, 122)
( 62, 20) = (000002022, 202)
( 62, 23) = (000002022, 212)
( 62, 26) = (000002022, 222)
( 63, 0) = (000002100, 000)
( 63, 3) = (000002100, 010)
( 63, 4) = (000002100, 011)
( 63, 8) = (000002100, 022)
( 63, 9) = (000002100, 100)
( 63, 10) = (000002100, 101)
( 63, 12) = (000002100, 110)
( 63, 13) = (000002100, 111)
( 65, 0) = (000002102, 000)
( 65, 2) = (000002102, 002)
( 65, 3) = (000002102, 010)
( 65, 4) = (000002102, 011)
( 65, 9) = (000002102, 100)
( 65, 10) = (000002102, 101)
( 65, 12) = (000002102, 110)
( 65, 13) = (000002102, 111)
( 67, 0) = (000002111, 000)
( 67, 3) = (000002111, 010)
( 67, 4) = (000002111, 011)
( 67, 8) = (000002111, 022)
( 67, 13) = (000002111, 111)
( 67, 26) = (000002111, 222)
( 68, 0) = (000002112, 000)
( 68, 2) = (000002112, 002)
( 68, 4) = (000002112, 011)
( 68, 13) = (000002112, 111)
( 69, 0) = (000002120, 000)
( 69, 3) = (000002120, 010)
( 69, 4) = (000002120, 011)
( 69, 9) = (000002120, 100)
( 69, 10) = (000002120, 101)
( 69, 12) = (000002120, 110)
( 69, 13) = (000002120, 111)
( 71, 0) = (000002122, 000)
( 71, 2) = (000002122, 002)
( 71, 4) = (000002122, 011)
( 71, 11) = (000002122, 102)
( 71, 13) = (000002122, 111)
( 71, 14) = (000002122, 112)
( 72, 0) = (000002200, 000)
( 72, 1) = (000002200, 001)
( 72, 3) = (000002200, 010)
( 72, 4) = (000002200, 011)
( 72, 9) = (000002200, 100)
( 72, 10) = (000002200, 101)
( 72, 12) = (000002200, 110)
( 72, 13) = (000002200, 111)
( 74, 0) = (000002202, 000)
( 74, 2) = (000002202, 002)
( 74, 3) = (000002202, 010)
( 74, 6) = (000002202, 020)
( 74, 8) = (000002202, 022)
( 74, 10) = (000002202, 101)
( 74, 13) = (000002202, 111)
( 74, 14) = (000002202, 112)
( 74, 16) = (000002202, 121)
( 74, 17) = (000002202, 122)
( 74, 18) = (000002202, 200)
( 74, 20) = (000002202, 202)
( 74, 21) = (000002202, 210)
( 74, 23) = (000002202, 212)
( 75, 0) = (000002210, 000)
( 75, 3) = (000002210, 010)
( 77, 0) = (000002212, 000)
( 77, 2) = (000002212, 002)
( 77, 3) = (000002212, 010)
( 77, 6) = (000002212, 020)
( 77, 14) = (000002212, 112)
( 77, 20) = (000002212, 202)
( 80, 0) = (000002222, 000)
( 80, 1) = (000002222, 001)
( 80, 2) = (000002222, 002)
( 80, 3) = (000002222, 010)
( 80, 4) = (000002222, 011)
( 80, 6) = (000002222, 020)
( 80, 8) = (000002222, 022)
( 80, 11) = (000002222, 102)
( 80, 13) = (000002222, 111)
( 80, 14) = (000002222, 112)
( 80, 16) = (000002222, 121)
( 80, 18) = (000002222, 200)
( 80, 21) = (000002222, 210)
( 80, 23) = (000002222, 212)
( 80, 26) = (000002222, 222)
( 82, 0) = (000010001, 000)
( 82, 1) = (000010001, 001)
( 82, 2) = (000010001, 002)
( 82, 3) = (000010001, 010)
( 82, 6) = (000010001, 020)
( 82, 12) = (000010001, 110)
( 82, 13) = (000010001, 111)
( 82, 14) = (000010001, 112)
( 82, 21) = (000010001, 210)
( 82, 22) = (000010001, 211)
( 82, 24) = (000010001, 220)
( 82, 25) = (000010001, 221)
( 82, 26) = (000010001, 222)
( 83, 0) = (000010002, 000)
( 83, 1) = (000010002, 001)
( 83, 2) = (000010002, 002)
( 83, 4) = (000010002, 011)
( 83, 5) = (000010002, 012)
( 83, 9) = (000010002, 100)
( 83, 10) = (000010002, 101)
( 83, 11) = (000010002, 102)
( 83, 12) = (000010002, 110)
( 83, 13) = (000010002, 111)
( 83, 14) = (000010002, 112)
( 83, 16) = (000010002, 121)
( 85, 0) = (000010011, 000)
( 85, 1) = (000010011, 001)
( 85, 2) = (000010011, 002)
( 85, 3) = (000010011, 010)
( 85, 6) = (000010011, 020)
( 85, 12) = (000010011, 110)
( 85, 13) = (000010011, 111)
( 85, 14) = (000010011, 112)
( 85, 24) = (000010011, 220)
( 85, 26) = (000010011, 222)
( 86, 0) = (000010012, 000)
( 86, 1) = (000010012, 001)
( 86, 2) = (000010012, 002)
( 86, 3) = (000010012, 010)
( 86, 4) = (000010012, 011)
( 86, 5) = (000010012, 012)
( 86, 6) = (000010012, 020)
( 86, 8) = (000010012, 022)
( 86, 9) = (000010012, 100)
( 86, 12) = (000010012, 110)
( 86, 13) = (000010012, 111)
( 86, 14) = (000010012, 112)
( 86, 20) = (000010012, 202)
( 86, 21) = (000010012, 210)
( 86, 23) = (000010012, 212)
( 86, 24) = (000010012, 220)
( 86, 25) = (000010012, 221)
( 86, 26) = (000010012, 222)
( 88, 0) = (000010021, 000)
( 88, 1) = (000010021, 001)
( 88, 3) = (000010021, 010)
( 88, 9) = (000010021, 100)
( 88, 12) = (000010021, 110)
( 88, 13) = (000010021, 111)
( 90, 0) = (000010100, 000)
( 90, 2) = (000010100, 002)
( 90, 3) = (000010100, 010)
( 90, 12) = (000010100, 110)
( 90, 13) = (000010100, 111)
( 90, 14) = (000010100, 112)
( 90, 26) = (000010100, 222)
( 92, 0) = (000010102, 000)
( 92, 2) = (000010102, 002)
( 92, 3) = (000010102, 010)
( 92, 5) = (000010102, 012)
( 92, 9) = (000010102, 100)
( 92, 12) = (000010102, 110)
( 92, 13) = (000010102, 111)
( 92, 14) = (000010102, 112)
( 92, 23) = (000010102, 212)
( 92, 24) = (000010102, 220)
( 92, 26) = (000010102, 222)
( 93, 0) = (000010110, 000)
( 93, 2) = (000010110, 002)
( 93, 3) = (000010110, 010)
( 93, 12) = (000010110, 110)
( 93, 13) = (000010110, 111)
( 93, 14) = (000010110, 112)
( 93, 24) = (000010110, 220)
( 93, 25) = (000010110, 221)
( 93, 26) = (000010110, 222)
( 94, 0) = (000010111, 000)
( 94, 2) = (000010111, 002)
( 94, 3) = (000010111, 010)
( 94, 13) = (000010111, 111)
( 94, 26) = (000010111, 222)
( 95, 0) = (000010112, 000)
( 95, 2) = (000010112, 002)
( 95, 3) = (000010112, 010)
( 95, 5) = (000010112, 012)
( 95, 9) = (000010112, 100)
( 95, 12) = (000010112, 110)
( 95, 13) = (000010112, 111)
( 95, 14) = (000010112, 112)
( 95, 24) = (000010112, 220)
( 95, 26) = (000010112, 222)
( 96, 0) = (000010120, 000)
( 96, 3) = (000010120, 010)
( 96, 9) = (000010120, 100)
( 96, 12) = (000010120, 110)
( 96, 13) = (000010120, 111)
( 96, 14) = (000010120, 112)
( 98, 0) = (000010122, 000)
( 98, 2) = (000010122, 002)
( 98, 5) = (000010122, 012)
( 98, 14) = (000010122, 112)
( 99, 0) = (000010200, 000)
( 99, 1) = (000010200, 001)
( 99, 3) = (000010200, 010)
( 99, 4) = (000010200, 011)
( 99, 6) = (000010200, 020)
( 99, 8) = (000010200, 022)
( 99, 10) = (000010200, 101)
( 99, 12) = (000010200, 110)
( 99, 13) = (000010200, 111)
( 99, 14) = (000010200, 112)
( 99, 18) = (000010200, 200)
( 101, 0) = (000010202, 000)
( 101, 1) = (000010202, 001)
( 101, 2) = (000010202, 002)
( 101, 3) = (000010202, 010)
( 101, 5) = (000010202, 012)
( 101, 6) = (000010202, 020)
( 101, 8) = (000010202, 022)
( 101, 12) = (000010202, 110)
( 101, 13) = (000010202, 111)
( 101, 14) = (000010202, 112)
( 101, 18) = (000010202, 200)
( 101, 20) = (000010202, 202)
( 101, 21) = (000010202, 210)
( 101, 23) = (000010202, 212)
( 102, 0) = (000010210, 000)
( 102, 1) = (000010210, 001)
( 102, 3) = (000010210, 010)
( 102, 6) = (000010210, 020)
( 104, 0) = (000010212, 000)
( 104, 1) = (000010212, 001)
( 104, 2) = (000010212, 002)
( 104, 3) = (000010212, 010)
( 104, 5) = (000010212, 012)
( 104, 6) = (000010212, 020)
( 104, 20) = (000010212, 202)
( 104, 21) = (000010212, 210)
( 104, 23) = (000010212, 212)
( 105, 0) = (000010220, 000)
( 105, 1) = (000010220, 001)
( 105, 3) = (000010220, 010)
( 105, 4) = (000010220, 011)
( 105, 6) = (000010220, 020)
( 105, 8) = (000010220, 022)
( 105, 9) = (000010220, 100)
( 105, 10) = (000010220, 101)
( 105, 11) = (000010220, 102)
( 105, 12) = (000010220, 110)
( 105, 13) = (000010220, 111)
( 105, 14) = (000010220, 112)
( 105, 18) = (000010220, 200)
( 105, 24) = (000010220, 220)
( 105, 25) = (000010220, 221)
( 106, 0) = (000010221, 000)
( 106, 3) = (000010221, 010)
( 106, 9) = (000010221, 100)
( 106, 12) = (000010221, 110)
( 106, 13) = (000010221, 111)
( 106, 14) = (000010221, 112)
( 106, 24) = (000010221, 220)
( 107, 0) = (000010222, 000)
( 107, 1) = (000010222, 001)
( 107, 2) = (000010222, 002)
( 107, 3) = (000010222, 010)
( 107, 4) = (000010222, 011)
( 107, 5) = (000010222, 012)
( 107, 6) = (000010222, 020)
( 107, 8) = (000010222, 022)
( 107, 9) = (000010222, 100)
( 107, 10) = (000010222, 101)
( 107, 11) = (000010222, 102)
( 107, 12) = (000010222, 110)
( 107, 13) = (000010222, 111)
( 107, 14) = (000010222, 112)
( 107, 16) = (000010222, 121)
( 107, 18) = (000010222, 200)
( 107, 20) = (000010222, 202)
( 107, 21) = (000010222, 210)
( 107, 23) = (000010222, 212)
( 107, 24) = (000010222, 220)
( 107, 25) = (000010222, 221)
( 107, 26) = (000010222, 222)
( 112, 0) = (000011011, 000)
( 112, 1) = (000011011, 001)
( 112, 2) = (000011011, 002)
( 112, 4) = (000011011, 011)
( 112, 7) = (000011011, 021)
( 112, 8) = (000011011, 022)
( 112, 13) = (000011011, 111)
( 112, 14) = (000011011, 112)
( 112, 16) = (000011011, 121)
( 112, 17) = (000011011, 122)
( 112, 21) = (000011011, 210)
( 112, 22) = (000011011, 211)
( 112, 23) = (000011011, 212)
( 112, 24) = (000011011, 220)
( 112, 25) = (000011011, 221)
( 112, 26) = (000011011, 222)
( 113, 0) = (000011012, 000)
( 113, 1) = (000011012, 001)
( 113, 2) = (000011012, 002)
( 113, 3) = (000011012, 010)
( 113, 4) = (000011012, 011)
( 113, 5) = (000011012, 012)
( 113, 6) = (000011012, 020)
( 113, 7) = (000011012, 021)
( 113, 8) = (000011012, 022)
( 113, 9) = (000011012, 100)
( 113, 10) = (000011012, 101)
( 113, 12) = (000011012, 110)
( 113, 13) = (000011012, 111)
( 113, 14) = (000011012, 112)
( 113, 16) = (000011012, 121)
( 113, 17) = (000011012, 122)
( 113, 18) = (000011012, 200)
( 113, 20) = (000011012, 202)
( 113, 21) = (000011012, 210)
( 113, 22) = (000011012, 211)
( 113, 23) = (000011012, 212)
( 113, 24) = (000011012, 220)
( 113, 25) = (000011012, 221)
( 113, 26) = (000011012, 222)
( 115, 0) = (000011021, 000)
( 115, 1) = (000011021, 001)
( 115, 3) = (000011021, 010)
( 115, 4) = (000011021, 011)
( 115, 6) = (000011021, 020)
( 115, 9) = (000011021, 100)
( 115, 10) = (000011021, 101)
( 115, 12) = (000011021, 110)
( 115, 13) = (000011021, 111)
( 115, 14) = (000011021, 112)
( 115, 16) = (000011021, 121)
( 115, 17) = (000011021, 122)
( 115, 18) = (000011021, 200)
( 115, 20) = (000011021, 202)
( 115, 22) = (000011021, 211)
( 115, 23) = (000011021, 212)
( 115, 26) = (000011021, 222)
( 116, 0) = (000011022, 000)
( 116, 1) = (000011022, 001)
( 116, 2) = (000011022, 002)
( 116, 4) = (000011022, 011)
( 116, 5) = (000011022, 012)
( 116, 7) = (000011022, 021)
( 116, 9) = (000011022, 100)
( 116, 13) = (000011022, 111)
( 116, 14) = (000011022, 112)
( 116, 16) = (000011022, 121)
( 116, 17) = (000011022, 122)
( 120, 0) = (000011110, 000)
( 120, 2) = (000011110, 002)
( 120, 3) = (000011110, 010)
( 120, 12) = (000011110, 110)
( 120, 13) = (000011110, 111)
( 120, 14) = (000011110, 112)
( 120, 24) = (000011110, 220)
( 120, 26) = (000011110, 222)
( 121, 0) = (000011111, 000)
( 121, 2) = (000011111, 002)
( 121, 4) = (000011111, 011)
( 121, 13) = (000011111, 111)
( 121, 14) = (000011111, 112)
( 121, 16) = (000011111, 121)
( 121, 17) = (000011111, 122)
( 121, 22) = (000011111, 211)
( 121, 23) = (000011111, 212)
( 121, 25) = (000011111, 221)
( 121, 26) = (000011111, 222)
( 122, 0) = (000011112, 000)
( 122, 2) = (000011112, 002)
( 122, 3) = (000011112, 010)
( 122, 4) = (000011112, 011)
( 122, 5) = (000011112, 012)
( 122, 7) = (000011112, 021)
( 122, 8) = (000011112, 022)
( 122, 9) = (000011112, 100)
( 122, 12) = (000011112, 110)
( 122, 13) = (000011112, 111)
( 122, 14) = (000011112, 112)
( 122, 16) = (000011112, 121)
( 122, 17) = (000011112, 122)
( 122, 21) = (000011112, 210)
( 122, 22) = (000011112, 211)
( 122, 23) = (000011112, 212)
( 122, 25) = (000011112, 221)
( 122, 26) = (000011112, 222)
( 124, 0) = (000011121, 000)
( 124, 4) = (000011121, 011)
( 124, 13) = (000011121, 111)
( 124, 14) = (000011121, 112)
( 124, 22) = (000011121, 211)
( 124, 23) = (000011121, 212)
( 125, 0) = (000011122, 000)
( 125, 2) = (000011122, 002)
( 125, 4) = (000011122, 011)
( 125, 5) = (000011122, 012)
( 125, 7) = (000011122, 021)
( 125, 8) = (000011122, 022)
( 125, 13) = (000011122, 111)
( 125, 14) = (000011122, 112)
( 125, 17) = (000011122, 122)
( 125, 22) = (000011122, 211)
( 125, 23) = (000011122, 212)
( 126, 0) = (000011200, 000)
( 126, 1) = (000011200, 001)
( 126, 3) = (000011200, 010)
( 126, 6) = (000011200, 020)
( 126, 12) = (000011200, 110)
( 126, 13) = (000011200, 111)
( 128, 0) = (000011202, 000)
( 128, 1) = (000011202, 001)
( 128, 2) = (000011202, 002)
( 128, 3) = (000011202, 010)
( 128, 5) = (000011202, 012)
( 128, 6) = (000011202, 020)
( 128, 8) = (000011202, 022)
( 128, 18) = (000011202, 200)
( 128, 20) = (000011202, 202)
( 128, 21) = (000011202, 210)
( 128, 23) = (000011202, 212)
( 129, 0) = (000011210, 000)
( 129, 1) = (000011210, 001)
( 129, 3) = (000011210, 010)
( 129, 6) = (000011210, 020)
( 129, 21) = (000011210, 210)
( 130, 0) = (000011211, 000)
( 130, 4) = (000011211, 011)
( 130, 7) = (000011211, 021)
( 130, 8) = (000011211, 022)
( 130, 13) = (000011211, 111)
( 130, 14) = (000011211, 112)
( 130, 16) = (000011211, 121)
( 130, 17) = (000011211, 122)
( 130, 22) = (000011211, 211)
( 130, 23) = (000011211, 212)
( 130, 25) = (000011211, 221)
( 130, 26) = (000011211, 222)
( 131, 0) = (000011212, 000)
( 131, 1) = (000011212, 001)
( 131, 2) = (000011212, 002)
( 131, 3) = (000011212, 010)
( 131, 4) = (000011212, 011)
( 131, 5) = (000011212, 012)
( 131, 6) = (000011212, 020)
( 131, 8) = (000011212, 022)
( 131, 13) = (000011212, 111)
( 131, 14) = (000011212, 112)
( 131, 16) = (000011212, 121)
( 131, 17) = (000011212, 122)
( 131, 21) = (000011212, 210)
( 131, 22) = (000011212, 211)
( 131, 23) = (000011212, 212)
( 131, 26) = (000011212, 222)
( 132, 0) = (000011220, 000)
( 132, 1) = (000011220, 001)
( 132, 3) = (000011220, 010)
( 132, 4) = (000011220, 011)
( 132, 6) = (000011220, 020)
( 132, 9) = (000011220, 100)
( 132, 12) = (000011220, 110)
( 132, 13) = (000011220, 111)
( 132, 24) = (000011220, 220)
( 133, 0) = (000011221, 000)
( 133, 4) = (000011221, 011)
( 133, 13) = (000011221, 111)
( 133, 14) = (000011221, 112)
( 133, 25) = (000011221, 221)
( 134, 0) = (000011222, 000)
( 134, 1) = (000011222, 001)
( 134, 2) = (000011222, 002)
( 134, 3) = (000011222, 010)
( 134, 4) = (000011222, 011)
( 134, 5) = (000011222, 012)
( 134, 6) = (000011222, 020)
( 134, 7) = (000011222, 021)
( 134, 8) = (000011222, 022)
( 134, 12) = (000011222, 110)
( 134, 13) = (000011222, 111)
( 134, 14) = (000011222, 112)
( 134, 17) = (000011222, 122)
( 134, 21) = (000011222, 210)
( 134, 22) = (000011222, 211)
( 134, 23) = (000011222, 212)
( 134, 24) = (000011222, 220)
( 134, 25) = (000011222, 221)
( 134, 26) = (000011222, 222)
( 142, 0) = (000012021, 000)
( 142, 1) = (000012021, 001)
( 142, 3) = (000012021, 010)
( 142, 4) = (000012021, 011)
( 142, 6) = (000012021, 020)
( 142, 7) = (000012021, 021)
( 142, 9) = (000012021, 100)
( 142, 10) = (000012021, 101)
( 142, 12) = (000012021, 110)
( 142, 13) = (000012021, 111)
( 142, 14) = (000012021, 112)
( 142, 16) = (000012021, 121)
( 142, 17) = (000012021, 122)
( 142, 18) = (000012021, 200)
( 142, 20) = (000012021, 202)
( 142, 22) = (000012021, 211)
( 142, 23) = (000012021, 212)
( 142, 26) = (000012021, 222)
( 144, 0) = (000012100, 000)
( 144, 3) = (000012100, 010)
( 144, 6) = (000012100, 020)
( 144, 9) = (000012100, 100)
( 144, 12) = (000012100, 110)
( 144, 13) = (000012100, 111)
( 144, 18) = (000012100, 200)
( 146, 0) = (000012102, 000)
( 146, 2) = (000012102, 002)
( 146, 3) = (000012102, 010)
( 146, 5) = (000012102, 012)
( 146, 9) = (000012102, 100)
( 146, 12) = (000012102, 110)
( 146, 13) = (000012102, 111)
( 148, 0) = (000012111, 000)
( 148, 3) = (000012111, 010)
( 148, 4) = (000012111, 011)
( 148, 6) = (000012111, 020)
( 148, 7) = (000012111, 021)
( 148, 13) = (000012111, 111)
( 148, 22) = (000012111, 211)
( 148, 26) = (000012111, 222)
( 149, 0) = (000012112, 000)
( 149, 2) = (000012112, 002)
( 149, 4) = (000012112, 011)
( 149, 5) = (000012112, 012)
( 149, 7) = (000012112, 021)
( 149, 8) = (000012112, 022)
( 149, 13) = (000012112, 111)
( 149, 17) = (000012112, 122)
( 149, 22) = (000012112, 211)
( 150, 0) = (000012120, 000)
( 150, 3) = (000012120, 010)
( 150, 9) = (000012120, 100)
( 150, 12) = (000012120, 110)
( 150, 13) = (000012120, 111)
( 150, 14) = (000012120, 112)
( 151, 0) = (000012121, 000)
( 151, 4) = (000012121, 011)
( 151, 7) = (000012121, 021)
( 151, 13) = (000012121, 111)
( 151, 14) = (000012121, 112)
( 151, 16) = (000012121, 121)
( 151, 22) = (000012121, 211)
( 152, 0) = (000012122, 000)
( 152, 2) = (000012122, 002)
( 152, 4) = (000012122, 011)
( 152, 5) = (000012122, 012)
( 152, 8) = (000012122, 022)
( 152, 13) = (000012122, 111)
( 152, 14) = (000012122, 112)
( 152, 17) = (000012122, 122)
( 152, 23) = (000012122, 212)
( 153, 0) = (000012200, 000)
( 153, 1) = (000012200, 001)
( 153, 3) = (000012200, 010)
( 153, 4) = (000012200, 011)
( 153, 6) = (000012200, 020)
( 153, 9) = (000012200, 100)
( 153, 10) = (000012200, 101)
( 153, 12) = (000012200, 110)
( 153, 13) = (000012200, 111)
( 153, 14) = (000012200, 112)
( 153, 18) = (000012200, 200)
( 155, 0) = (000012202, 000)
( 155, 1) = (000012202, 001)
( 155, 2) = (000012202, 002)
( 155, 3) = (000012202, 010)
( 155, 5) = (000012202, 012)
( 155, 6) = (000012202, 020)
( 155, 8) = (000012202, 022)
( 155, 10) = (000012202, 101)
( 155, 13) = (000012202, 111)
( 155, 14) = (000012202, 112)
( 155, 16) = (000012202, 121)
( 155, 18) = (000012202, 200)
( 155, 20) = (000012202, 202)
( 155, 21) = (000012202, 210)
( 155, 23) = (000012202, 212)
( 156, 0) = (000012210, 000)
( 156, 1) = (000012210, 001)
( 156, 3) = (000012210, 010)
( 157, 0) = (000012211, 000)
( 157, 4) = (000012211, 011)
( 157, 13) = (000012211, 111)
( 157, 14) = (000012211, 112)
( 158, 0) = (000012212, 000)
( 158, 1) = (000012212, 001)
( 158, 2) = (000012212, 002)
( 158, 3) = (000012212, 010)
( 158, 4) = (000012212, 011)
( 158, 5) = (000012212, 012)
( 158, 8) = (000012212, 022)
( 158, 13) = (000012212, 111)
( 158, 14) = (000012212, 112)
( 158, 22) = (000012212, 211)
( 158, 23) = (000012212, 212)
( 158, 26) = (000012212, 222)
( 161, 0) = (000012222, 000)
( 161, 1) = (000012222, 001)
( 161, 2) = (000012222, 002)
( 161, 3) = (000012222, 010)
( 161, 4) = (000012222, 011)
( 161, 5) = (000012222, 012)
( 161, 6) = (000012222, 020)
( 161, 13) = (000012222, 111)
( 161, 18) = (000012222, 200)
( 161, 21) = (000012222, 210)
( 163, 1) = (000020001, 001)
( 163, 4) = (000020001, 011)
( 163, 9) = (000020001, 100)
( 163, 13) = (000020001, 111)
( 180, 0) = (000020200, 000)
( 180, 3) = (000020200, 010)
( 182, 0) = (000020202, 000)
( 182, 2) = (000020202, 002)
( 182, 3) = (000020202, 010)
( 182, 6) = (000020202, 020)
( 182, 13) = (000020202, 111)
( 182, 18) = (000020202, 200)
( 182, 20) = (000020202, 202)
( 182, 21) = (000020202, 210)
( 182, 23) = (000020202, 212)
( 185, 0) = (000020212, 000)
( 186, 0) = (000020220, 000)
( 188, 0) = (000020222, 000)
( 188, 2) = (000020222, 002)
( 188, 3) = (000020222, 010)
( 188, 6) = (000020222, 020)
( 188, 10) = (000020222, 101)
( 188, 13) = (000020222, 111)
( 188, 18) = (000020222, 200)
( 188, 20) = (000020222, 202)
( 188, 21) = (000020222, 210)
( 188, 23) = (000020222, 212)
( 188, 26) = (000020222, 222)
( 193, 0) = (000021011, 000)
( 196, 0) = (000021021, 000)
( 196, 1) = (000021021, 001)
( 196, 4) = (000021021, 011)
( 196, 9) = (000021021, 100)
( 196, 13) = (000021021, 111)
( 196, 17) = (000021021, 122)
( 203, 5) = (000021112, 012)
( 205, 4) = (000021121, 011)
( 205, 13) = (000021121, 111)
( 206, 5) = (000021122, 012)
( 206, 17) = (000021122, 122)
( 207, 0) = (000021200, 000)
( 207, 3) = (000021200, 010)
( 207, 18) = (000021200, 200)
( 209, 0) = (000021202, 000)
( 209, 2) = (000021202, 002)
( 209, 3) = (000021202, 010)
( 209, 6) = (000021202, 020)
( 209, 18) = (000021202, 200)
( 209, 20) = (000021202, 202)
( 209, 23) = (000021202, 212)
( 212, 0) = (000021212, 000)
( 212, 3) = (000021212, 010)
( 212, 5) = (000021212, 012)
( 212, 20) = (000021212, 202)
( 212, 23) = (000021212, 212)
( 213, 0) = (000021220, 000)
( 215, 0) = (000021222, 000)
( 215, 2) = (000021222, 002)
( 215, 3) = (000021222, 010)
( 215, 5) = (000021222, 012)
( 215, 6) = (000021222, 020)
( 215, 17) = (000021222, 122)
( 215, 18) = (000021222, 200)
( 215, 20) = (000021222, 202)
( 215, 23) = (000021222, 212)
( 215, 26) = (000021222, 222)
( 229, 0) = (000022111, 000)
( 229, 4) = (000022111, 011)
( 229, 13) = (000022111, 111)
( 229, 17) = (000022111, 122)
( 230, 5) = (000022112, 012)
( 233, 4) = (000022122, 011)
( 233, 5) = (000022122, 012)
( 233, 13) = (000022122, 111)
( 233, 14) = (000022122, 112)
( 233, 17) = (000022122, 122)
( 233, 23) = (000022122, 212)
( 236, 0) = (000022202, 000)
( 236, 2) = (000022202, 002)
( 236, 3) = (000022202, 010)
( 236, 6) = (000022202, 020)
( 236, 10) = (000022202, 101)
( 236, 13) = (000022202, 111)
( 236, 16) = (000022202, 121)
( 236, 18) = (000022202, 200)
( 236, 20) = (000022202, 202)
( 236, 21) = (000022202, 210)
( 236, 23) = (000022202, 212)
( 238, 4) = (000022211, 011)
( 238, 13) = (000022211, 111)
( 239, 5) = (000022212, 012)
( 239, 23) = (000022212, 212)
( 252, 0) = (000100100, 000)
( 252, 7) = (000100100, 021)
( 252, 8) = (000100100, 022)
( 252, 14) = (000100100, 112)
( 252, 16) = (000100100, 121)
( 252, 17) = (000100100, 122)
( 252, 23) = (000100100, 212)
( 252, 25) = (000100100, 221)
( 252, 26) = (000100100, 222)
( 254, 0) = (000100102, 000)
( 254, 2) = (000100102, 002)
( 254, 9) = (000100102, 100)
( 258, 0) = (000100120, 000)
( 260, 2) = (000100122, 002)
( 261, 0) = (000100200, 000)
( 261, 1) = (000100200, 001)
( 261, 2) = (000100200, 002)
( 261, 4) = (000100200, 011)
( 261, 7) = (000100200, 021)
( 261, 14) = (000100200, 112)
( 261, 16) = (000100200, 121)
( 261, 17) = (000100200, 122)
( 263, 0) = (000100202, 000)
( 263, 2) = (000100202, 002)
( 263, 3) = (000100202, 010)
( 263, 6) = (000100202, 020)
( 263, 8) = (000100202, 022)
( 263, 18) = (000100202, 200)
( 263, 20) = (000100202, 202)
( 263, 23) = (000100202, 212)
( 264, 0) = (000100210, 000)
( 264, 2) = (000100210, 002)
( 264, 6) = (000100210, 020)
( 266, 0) = (000100212, 000)
( 266, 2) = (000100212, 002)
( 266, 3) = (000100212, 010)
( 266, 6) = (000100212, 020)
( 267, 0) = (000100220, 000)
( 267, 1) = (000100220, 001)
( 267, 2) = (000100220, 002)
( 267, 4) = (000100220, 011)
( 267, 9) = (000100220, 100)
( 267, 24) = (000100220, 220)
( 267, 25) = (000100220, 221)
( 268, 0) = (000100221, 000)
( 268, 2) = (000100221, 002)
( 268, 9) = (000100221, 100)
( 269, 0) = (000100222, 000)
( 269, 1) = (000100222, 001)
( 269, 2) = (000100222, 002)
( 269, 3) = (000100222, 010)
( 269, 4) = (000100222, 011)
( 269, 6) = (000100222, 020)
( 269, 8) = (000100222, 022)
( 269, 24) = (000100222, 220)
( 269, 25) = (000100222, 221)
( 269, 26) = (000100222, 222)
( 290, 0) = (000101202, 000)
( 290, 2) = (000101202, 002)
( 290, 3) = (000101202, 010)
( 290, 6) = (000101202, 020)
( 290, 8) = (000101202, 022)
( 290, 18) = (000101202, 200)
( 290, 20) = (000101202, 202)
( 290, 21) = (000101202, 210)
( 290, 23) = (000101202, 212)
( 294, 0) = (000101220, 000)
( 294, 2) = (000101220, 002)
( 294, 7) = (000101220, 021)
( 294, 10) = (000101220, 101)
( 296, 0) = (000101222, 000)
( 296, 2) = (000101222, 002)
( 296, 3) = (000101222, 010)
( 296, 6) = (000101222, 020)
( 296, 8) = (000101222, 022)
( 296, 18) = (000101222, 200)
( 296, 20) = (000101222, 202)
( 296, 21) = (000101222, 210)
( 296, 23) = (000101222, 212)
( 296, 24) = (000101222, 220)
( 296, 26) = (000101222, 222)
( 308, 2) = (000102102, 002)
( 314, 2) = (000102122, 002)
( 317, 0) = (000102202, 000)
( 317, 2) = (000102202, 002)
( 317, 3) = (000102202, 010)
( 317, 6) = (000102202, 020)
( 317, 8) = (000102202, 022)
( 317, 13) = (000102202, 111)
( 317, 16) = (000102202, 121)
( 317, 17) = (000102202, 122)
( 317, 18) = (000102202, 200)
( 317, 20) = (000102202, 202)
( 317, 23) = (000102202, 212)
( 318, 0) = (000102210, 000)
( 318, 2) = (000102210, 002)
( 318, 7) = (000102210, 021)
( 320, 0) = (000102212, 000)
( 320, 2) = (000102212, 002)
( 320, 3) = (000102212, 010)
( 333, 0) = (000110100, 000)
( 333, 1) = (000110100, 001)
( 333, 2) = (000110100, 002)
( 333, 3) = (000110100, 010)
( 333, 12) = (000110100, 110)
( 333, 14) = (000110100, 112)
( 333, 24) = (000110100, 220)
( 333, 26) = (000110100, 222)
( 334, 0) = (000110101, 000)
( 334, 1) = (000110101, 001)
( 334, 2) = (000110101, 002)
( 334, 3) = (000110101, 010)
( 334, 9) = (000110101, 100)
( 334, 12) = (000110101, 110)
( 334, 14) = (000110101, 112)
( 334, 24) = (000110101, 220)
( 334, 25) = (000110101, 221)
( 334, 26) = (000110101, 222)
( 335, 0) = (000110102, 000)
( 335, 1) = (000110102, 001)
( 335, 2) = (000110102, 002)
( 335, 3) = (000110102, 010)
( 335, 5) = (000110102, 012)
( 335, 9) = (000110102, 100)
( 335, 12) = (000110102, 110)
( 335, 14) = (000110102, 112)
( 335, 24) = (000110102, 220)
( 335, 26) = (000110102, 222)
( 336, 0) = (000110110, 000)
( 336, 1) = (000110110, 001)
( 336, 2) = (000110110, 002)
( 336, 12) = (000110110, 110)
( 336, 14) = (000110110, 112)
( 336, 26) = (000110110, 222)
( 337, 0) = (000110111, 000)
( 337, 1) = (000110111, 001)
( 337, 2) = (000110111, 002)
( 337, 3) = (000110111, 010)
( 337, 12) = (000110111, 110)
( 337, 14) = (000110111, 112)
( 337, 26) = (000110111, 222)
( 338, 0) = (000110112, 000)
( 338, 1) = (000110112, 001)
( 338, 2) = (000110112, 002)
( 338, 3) = (000110112, 010)
( 338, 5) = (000110112, 012)
( 338, 9) = (000110112, 100)
( 338, 12) = (000110112, 110)
( 338, 14) = (000110112, 112)
( 338, 26) = (000110112, 222)
( 339, 0) = (000110120, 000)
( 339, 1) = (000110120, 001)
( 339, 2) = (000110120, 002)
( 339, 3) = (000110120, 010)
( 339, 9) = (000110120, 100)
( 339, 12) = (000110120, 110)
( 341, 2) = (000110122, 002)
( 341, 5) = (000110122, 012)
( 341, 14) = (000110122, 112)
( 343, 0) = (000110201, 000)
( 343, 1) = (000110201, 001)
( 343, 2) = (000110201, 002)
( 343, 3) = (000110201, 010)
( 343, 9) = (000110201, 100)
( 343, 12) = (000110201, 110)
( 343, 14) = (000110201, 112)
( 344, 0) = (000110202, 000)
( 344, 2) = (000110202, 002)
( 344, 5) = (000110202, 012)
( 344, 12) = (000110202, 110)
( 344, 14) = (000110202, 112)
( 346, 0) = (000110211, 000)
( 346, 3) = (000110211, 010)
( 346, 12) = (000110211, 110)
( 346, 14) = (000110211, 112)
( 347, 0) = (000110212, 000)
( 347, 2) = (000110212, 002)
( 347, 3) = (000110212, 010)
( 347, 5) = (000110212, 012)
( 347, 14) = (000110212, 112)
( 347, 23) = (000110212, 212)
( 349, 0) = (000110221, 000)
( 349, 1) = (000110221, 001)
( 349, 2) = (000110221, 002)
( 349, 3) = (000110221, 010)
( 349, 9) = (000110221, 100)
( 349, 12) = (000110221, 110)
( 349, 14) = (000110221, 112)
( 350, 0) = (000110222, 000)
( 350, 1) = (000110222, 001)
( 350, 2) = (000110222, 002)
( 350, 3) = (000110222, 010)
( 350, 4) = (000110222, 011)
( 350, 5) = (000110222, 012)
( 350, 9) = (000110222, 100)
( 350, 11) = (000110222, 102)
( 350, 12) = (000110222, 110)
( 350, 14) = (000110222, 112)
( 350, 20) = (000110222, 202)
( 350, 23) = (000110222, 212)
( 350, 26) = (000110222, 222)
( 360, 0) = (000111100, 000)
( 360, 1) = (000111100, 001)
( 360, 2) = (000111100, 002)
( 360, 3) = (000111100, 010)
( 360, 26) = (000111100, 222)
( 362, 0) = (000111102, 000)
( 362, 1) = (000111102, 001)
( 362, 2) = (000111102, 002)
( 362, 3) = (000111102, 010)
( 362, 5) = (000111102, 012)
( 362, 9) = (000111102, 100)
( 362, 26) = (000111102, 222)
( 366, 0) = (000111120, 000)
( 366, 1) = (000111120, 001)
( 366, 2) = (000111120, 002)
( 366, 3) = (000111120, 010)
( 366, 9) = (000111120, 100)
( 377, 5) = (000111222, 012)
( 377, 7) = (000111222, 021)
( 377, 15) = (000111222, 120)
( 389, 2) = (000112102, 002)
( 389, 5) = (000112102, 012)
( 389, 14) = (000112102, 112)
( 391, 0) = (000112111, 000)
( 391, 1) = (000112111, 001)
( 391, 4) = (000112111, 011)
( 391, 9) = (000112111, 100)
( 391, 12) = (000112111, 110)
( 391, 13) = (000112111, 111)
( 391, 16) = (000112111, 121)
( 391, 21) = (000112111, 210)
( 391, 22) = (000112111, 211)
( 391, 23) = (000112111, 212)
( 392, 0) = (000112112, 000)
( 392, 1) = (000112112, 001)
( 392, 2) = (000112112, 002)
( 392, 4) = (000112112, 011)
( 392, 5) = (000112112, 012)
( 392, 7) = (000112112, 021)
( 392, 8) = (000112112, 022)
( 392, 9) = (000112112, 100)
( 392, 13) = (000112112, 111)
( 392, 14) = (000112112, 112)
( 392, 16) = (000112112, 121)
( 392, 17) = (000112112, 122)
( 392, 18) = (000112112, 200)
( 392, 22) = (000112112, 211)
( 392, 23) = (000112112, 212)
( 394, 0) = (000112121, 000)
( 394, 1) = (000112121, 001)
( 394, 4) = (000112121, 011)
( 394, 7) = (000112121, 021)
( 394, 9) = (000112121, 100)
( 394, 12) = (000112121, 110)
( 394, 13) = (000112121, 111)
( 394, 16) = (000112121, 121)
( 394, 18) = (000112121, 200)
( 394, 22) = (000112121, 211)
( 395, 0) = (000112122, 000)
( 395, 1) = (000112122, 001)
( 395, 2) = (000112122, 002)
( 395, 5) = (000112122, 012)
( 395, 8) = (000112122, 022)
( 395, 13) = (000112122, 111)
( 395, 14) = (000112122, 112)
( 395, 16) = (000112122, 121)
( 395, 17) = (000112122, 122)
( 395, 18) = (000112122, 200)
( 395, 22) = (000112122, 211)
( 395, 23) = (000112122, 212)
( 400, 0) = (000112211, 000)
( 400, 4) = (000112211, 011)
( 400, 9) = (000112211, 100)
( 400, 13) = (000112211, 111)
( 401, 0) = (000112212, 000)
( 401, 2) = (000112212, 002)
( 401, 4) = (000112212, 011)
( 401, 5) = (000112212, 012)
( 401, 7) = (000112212, 021)
( 401, 9) = (000112212, 100)
( 401, 13) = (000112212, 111)
( 401, 14) = (000112212, 112)
( 401, 16) = (000112212, 121)
( 401, 17) = (000112212, 122)
( 445, 0) = (000121111, 000)
( 446, 0) = (000121112, 000)
( 446, 5) = (000121112, 012)
( 448, 0) = (000121121, 000)
( 448, 4) = (000121121, 011)
( 448, 9) = (000121121, 100)
( 448, 13) = (000121121, 111)
( 449, 5) = (000121122, 012)
( 449, 13) = (000121122, 111)
( 449, 14) = (000121122, 112)
( 449, 17) = (000121122, 122)
( 457, 0) = (000121221, 000)
( 457, 4) = (000121221, 011)
( 457, 9) = (000121221, 100)
( 457, 13) = (000121221, 111)
( 472, 0) = (000122111, 000)
( 472, 4) = (000122111, 011)
( 472, 9) = (000122111, 100)
( 472, 13) = (000122111, 111)
( 472, 14) = (000122111, 112)
( 473, 5) = (000122112, 012)
( 476, 0) = (000122122, 000)
( 476, 1) = (000122122, 001)
( 476, 4) = (000122122, 011)
( 476, 5) = (000122122, 012)
( 476, 7) = (000122122, 021)
( 476, 9) = (000122122, 100)
( 476, 13) = (000122122, 111)
( 476, 14) = (000122122, 112)
( 476, 16) = (000122122, 121)
( 476, 17) = (000122122, 122)
( 476, 22) = (000122122, 211)
( 476, 23) = (000122122, 212)
( 476, 25) = (000122122, 221)
( 481, 0) = (000122211, 000)
( 481, 4) = (000122211, 011)
( 481, 5) = (000122211, 012)
( 481, 9) = (000122211, 100)
( 481, 13) = (000122211, 111)
( 481, 14) = (000122211, 112)
( 495, 4) = (000200100, 011)
( 495, 17) = (000200100, 122)
( 578, 5) = (000210102, 012)
( 581, 5) = (000210112, 012)
( 607, 0) = (000211111, 000)
( 607, 4) = (000211111, 011)
( 607, 8) = (000211111, 022)
( 607, 13) = (000211111, 111)
( 607, 14) = (000211111, 112)
( 607, 16) = (000211111, 121)
( 607, 17) = (000211111, 122)
( 607, 23) = (000211111, 212)
( 607, 25) = (000211111, 221)
( 607, 26) = (000211111, 222)
( 608, 4) = (000211112, 011)
( 608, 5) = (000211112, 012)
( 608, 8) = (000211112, 022)
( 608, 13) = (000211112, 111)
( 608, 14) = (000211112, 112)
( 608, 17) = (000211112, 122)
( 608, 26) = (000211112, 222)
( 611, 4) = (000211122, 011)
( 611, 5) = (000211122, 012)
( 611, 13) = (000211122, 111)
( 611, 14) = (000211122, 112)
( 611, 16) = (000211122, 121)
( 635, 4) = (000212112, 011)
( 635, 5) = (000212112, 012)
( 635, 13) = (000212112, 111)
( 635, 14) = (000212112, 112)
( 715, 9) = (000222111, 100)
( 715, 11) = (000222111, 102)
( 738, 0) = (001000100, 000)
( 738, 2) = (001000100, 002)
( 738, 3) = (001000100, 010)
( 738, 4) = (001000100, 011)
( 738, 12) = (001000100, 110)
( 738, 13) = (001000100, 111)
( 738, 14) = (001000100, 112)
( 738, 24) = (001000100, 220)
( 738, 25) = (001000100, 221)
( 738, 26) = (001000100, 222)
( 739, 0) = (001000101, 000)
( 739, 2) = (001000101, 002)
( 739, 3) = (001000101, 010)
( 739, 4) = (001000101, 011)
( 739, 12) = (001000101, 110)
( 739, 13) = (001000101, 111)
( 739, 14) = (001000101, 112)
( 739, 24) = (001000101, 220)
( 739, 25) = (001000101, 221)
( 739, 26) = (001000101, 222)
( 740, 0) = (001000102, 000)
( 740, 2) = (001000102, 002)
( 740, 3) = (001000102, 010)
( 740, 4) = (001000102, 011)
( 740, 9) = (001000102, 100)
( 740, 10) = (001000102, 101)
( 740, 12) = (001000102, 110)
( 740, 13) = (001000102, 111)
( 740, 14) = (001000102, 112)
( 741, 0) = (001000110, 000)
( 741, 2) = (001000110, 002)
( 741, 3) = (001000110, 010)
( 741, 4) = (001000110, 011)
( 741, 12) = (001000110, 110)
( 741, 13) = (001000110, 111)
( 741, 14) = (001000110, 112)
( 741, 24) = (001000110, 220)
( 741, 25) = (001000110, 221)
( 741, 26) = (001000110, 222)
( 742, 0) = (001000111, 000)
( 742, 2) = (001000111, 002)
( 742, 3) = (001000111, 010)
( 742, 4) = (001000111, 011)
( 742, 12) = (001000111, 110)
( 742, 13) = (001000111, 111)
( 742, 14) = (001000111, 112)
( 742, 26) = (001000111, 222)
( 743, 0) = (001000112, 000)
( 743, 2) = (001000112, 002)
( 743, 3) = (001000112, 010)
( 743, 4) = (001000112, 011)
( 743, 9) = (001000112, 100)
( 743, 10) = (001000112, 101)
( 743, 12) = (001000112, 110)
( 743, 13) = (001000112, 111)
( 743, 14) = (001000112, 112)
( 743, 26) = (001000112, 222)
( 744, 0) = (001000120, 000)
( 744, 3) = (001000120, 010)
( 744, 4) = (001000120, 011)
( 744, 9) = (001000120, 100)
( 744, 10) = (001000120, 101)
( 744, 12) = (001000120, 110)
( 744, 13) = (001000120, 111)
( 746, 2) = (001000122, 002)
( 747, 0) = (001000200, 000)
( 747, 3) = (001000200, 010)
( 747, 4) = (001000200, 011)
( 747, 9) = (001000200, 100)
( 747, 10) = (001000200, 101)
( 747, 12) = (001000200, 110)
( 747, 13) = (001000200, 111)
( 749, 2) = (001000202, 002)
( 750, 0) = (001000210, 000)
( 750, 3) = (001000210, 010)
( 750, 4) = (001000210, 011)
( 750, 9) = (001000210, 100)
( 750, 10) = (001000210, 101)
( 750, 12) = (001000210, 110)
( 750, 13) = (001000210, 111)
( 752, 2) = (001000212, 002)
( 753, 0) = (001000220, 000)
( 753, 3) = (001000220, 010)
( 753, 4) = (001000220, 011)
( 753, 9) = (001000220, 100)
( 753, 10) = (001000220, 101)
( 753, 12) = (001000220, 110)
( 753, 13) = (001000220, 111)
( 753, 14) = (001000220, 112)
( 768, 0) = (001001110, 000)
( 768, 2) = (001001110, 002)
( 768, 3) = (001001110, 010)
( 768, 4) = (001001110, 011)
( 768, 6) = (001001110, 020)
( 768, 7) = (001001110, 021)
( 768, 9) = (001001110, 100)
( 768, 11) = (001001110, 102)
( 768, 12) = (001001110, 110)
( 768, 13) = (001001110, 111)
( 768, 14) = (001001110, 112)
( 768, 15) = (001001110, 120)
( 768, 16) = (001001110, 121)
( 768, 21) = (001001110, 210)
( 768, 24) = (001001110, 220)
( 768, 26) = (001001110, 222)
( 769, 0) = (001001111, 000)
( 769, 2) = (001001111, 002)
( 769, 3) = (001001111, 010)
( 769, 4) = (001001111, 011)
( 769, 9) = (001001111, 100)
( 769, 11) = (001001111, 102)
( 769, 12) = (001001111, 110)
( 769, 13) = (001001111, 111)
( 769, 14) = (001001111, 112)
( 769, 26) = (001001111, 222)
( 770, 0) = (001001112, 000)
( 770, 2) = (001001112, 002)
( 770, 3) = (001001112, 010)
( 770, 4) = (001001112, 011)
( 770, 8) = (001001112, 022)
( 770, 9) = (001001112, 100)
( 770, 10) = (001001112, 101)
( 770, 11) = (001001112, 102)
( 770, 12) = (001001112, 110)
( 770, 13) = (001001112, 111)
( 770, 14) = (001001112, 112)
( 770, 26) = (001001112, 222)
( 773, 0) = (001001122, 000)
( 773, 2) = (001001122, 002)
( 773, 4) = (001001122, 011)
( 773, 13) = (001001122, 111)
( 780, 0) = (001001220, 000)
( 780, 3) = (001001220, 010)
( 780, 4) = (001001220, 011)
( 780, 9) = (001001220, 100)
( 780, 10) = (001001220, 101)
( 780, 11) = (001001220, 102)
( 780, 12) = (001001220, 110)
( 780, 13) = (001001220, 111)
( 780, 14) = (001001220, 112)
( 798, 0) = (001002120, 000)
( 798, 3) = (001002120, 010)
( 798, 4) = (001002120, 011)
( 798, 9) = (001002120, 100)
( 798, 10) = (001002120, 101)
( 798, 12) = (001002120, 110)
( 798, 13) = (001002120, 111)
( 800, 0) = (001002122, 000)
( 800, 2) = (001002122, 002)
( 800, 4) = (001002122, 011)
( 800, 13) = (001002122, 111)
( 803, 2) = (001002202, 002)
( 819, 0) = (001010100, 000)
( 819, 2) = (001010100, 002)
( 819, 3) = (001010100, 010)
( 819, 12) = (001010100, 110)
( 819, 13) = (001010100, 111)
( 820, 0) = (001010101, 000)
( 820, 2) = (001010101, 002)
( 820, 3) = (001010101, 010)
( 820, 12) = (001010101, 110)
( 820, 13) = (001010101, 111)
( 821, 0) = (001010102, 000)
( 821, 2) = (001010102, 002)
( 821, 3) = (001010102, 010)
( 821, 5) = (001010102, 012)
( 821, 9) = (001010102, 100)
( 821, 12) = (001010102, 110)
( 821, 13) = (001010102, 111)
( 822, 0) = (001010110, 000)
( 822, 2) = (001010110, 002)
( 822, 3) = (001010110, 010)
( 822, 12) = (001010110, 110)
( 822, 13) = (001010110, 111)
( 823, 0) = (001010111, 000)
( 823, 2) = (001010111, 002)
( 823, 3) = (001010111, 010)
( 823, 12) = (001010111, 110)
( 823, 13) = (001010111, 111)
( 824, 0) = (001010112, 000)
( 824, 2) = (001010112, 002)
( 824, 3) = (001010112, 010)
( 824, 5) = (001010112, 012)
( 824, 9) = (001010112, 100)
( 824, 12) = (001010112, 110)
( 824, 13) = (001010112, 111)
( 825, 0) = (001010120, 000)
( 825, 3) = (001010120, 010)
( 825, 9) = (001010120, 100)
( 825, 12) = (001010120, 110)
( 825, 13) = (001010120, 111)
( 827, 0) = (001010122, 000)
( 827, 2) = (001010122, 002)
( 827, 5) = (001010122, 012)
( 828, 0) = (001010200, 000)
( 828, 3) = (001010200, 010)
( 828, 9) = (001010200, 100)
( 828, 12) = (001010200, 110)
( 828, 13) = (001010200, 111)
( 830, 0) = (001010202, 000)
( 830, 2) = (001010202, 002)
( 830, 5) = (001010202, 012)
( 834, 0) = (001010220, 000)
( 834, 3) = (001010220, 010)
( 834, 9) = (001010220, 100)
( 834, 12) = (001010220, 110)
( 834, 13) = (001010220, 111)
( 834, 14) = (001010220, 112)
( 849, 0) = (001011110, 000)
( 849, 2) = (001011110, 002)
( 849, 3) = (001011110, 010)
( 849, 12) = (001011110, 110)
( 849, 13) = (001011110, 111)
( 849, 24) = (001011110, 220)
( 849, 26) = (001011110, 222)
( 850, 0) = (001011111, 000)
( 850, 2) = (001011111, 002)
( 850, 3) = (001011111, 010)
( 850, 4) = (001011111, 011)
( 850, 12) = (001011111, 110)
( 850, 13) = (001011111, 111)
( 850, 24) = (001011111, 220)
( 850, 26) = (001011111, 222)
( 851, 0) = (001011112, 000)
( 851, 2) = (001011112, 002)
( 851, 3) = (001011112, 010)
( 851, 4) = (001011112, 011)
( 851, 5) = (001011112, 012)
( 851, 8) = (001011112, 022)
( 851, 9) = (001011112, 100)
( 851, 12) = (001011112, 110)
( 851, 13) = (001011112, 111)
( 851, 22) = (001011112, 211)
( 853, 0) = (001011121, 000)
( 853, 4) = (001011121, 011)
( 853, 13) = (001011121, 111)
( 854, 0) = (001011122, 000)
( 854, 2) = (001011122, 002)
( 854, 4) = (001011122, 011)
( 854, 5) = (001011122, 012)
( 854, 8) = (001011122, 022)
( 854, 13) = (001011122, 111)
( 859, 0) = (001011211, 000)
( 859, 4) = (001011211, 011)
( 859, 13) = (001011211, 111)
( 860, 0) = (001011212, 000)
( 860, 2) = (001011212, 002)
( 860, 4) = (001011212, 011)
( 860, 5) = (001011212, 012)
( 860, 8) = (001011212, 022)
( 860, 13) = (001011212, 111)
( 860, 22) = (001011212, 211)
( 860, 26) = (001011212, 222)
( 861, 0) = (001011220, 000)
( 861, 3) = (001011220, 010)
( 861, 12) = (001011220, 110)
( 861, 13) = (001011220, 111)
( 862, 0) = (001011221, 000)
( 862, 4) = (001011221, 011)
( 862, 13) = (001011221, 111)
( 879, 0) = (001012120, 000)
( 879, 3) = (001012120, 010)
( 879, 9) = (001012120, 100)
( 879, 12) = (001012120, 110)
( 879, 13) = (001012120, 111)
( 880, 0) = (001012121, 000)
( 880, 4) = (001012121, 011)
( 880, 7) = (001012121, 021)
( 880, 13) = (001012121, 111)
( 881, 0) = (001012122, 000)
( 881, 2) = (001012122, 002)
( 881, 4) = (001012122, 011)
( 881, 5) = (001012122, 012)
( 881, 13) = (001012122, 111)
( 881, 21) = (001012122, 210)
( 882, 0) = (001012200, 000)
( 884, 0) = (001012202, 000)
( 884, 2) = (001012202, 002)
( 884, 5) = (001012202, 012)
( 886, 0) = (001012211, 000)
( 886, 4) = (001012211, 011)
( 886, 13) = (001012211, 111)
( 887, 0) = (001012212, 000)
( 887, 2) = (001012212, 002)
( 887, 4) = (001012212, 011)
( 887, 5) = (001012212, 012)
( 887, 8) = (001012212, 022)
( 887, 13) = (001012212, 111)
( 887, 17) = (001012212, 122)
( 889, 0) = (001012221, 000)
( 889, 4) = (001012221, 011)
( 889, 13) = (001012221, 111)
( 932, 5) = (001021112, 012)
( 934, 4) = (001021121, 011)
( 935, 5) = (001021122, 012)
( 972, 0) = (001100000, 000)
( 972, 2) = (001100000, 002)
( 972, 4) = (001100000, 011)
( 974, 0) = (001100002, 000)
( 974, 2) = (001100002, 002)
( 974, 9) = (001100002, 100)
( 975, 0) = (001100010, 000)
( 976, 0) = (001100011, 000)
( 978, 0) = (001100020, 000)
( 978, 2) = (001100020, 002)
( 978, 9) = (001100020, 100)
( 980, 0) = (001100022, 000)
( 980, 2) = (001100022, 002)
( 980, 9) = (001100022, 100)
( 984, 0) = (001100110, 000)
( 985, 0) = (001100111, 000)
( 990, 0) = (001100200, 000)
( 990, 9) = (001100200, 100)
( 992, 2) = (001100202, 002)
( 996, 0) = (001100220, 000)
( 996, 2) = (001100220, 002)
( 996, 9) = (001100220, 100)
( 1002, 0) = (001101010, 000)
( 1003, 0) = (001101011, 000)
( 1005, 0) = (001101020, 000)
( 1011, 0) = (001101110, 000)
( 1012, 0) = (001101111, 000)
( 1026, 0) = (001102000, 000)
( 1028, 2) = (001102002, 002)
( 1053, 0) = (001110000, 000)
( 1053, 2) = (001110000, 002)
( 1053, 3) = (001110000, 010)
( 1053, 9) = (001110000, 100)
( 1053, 11) = (001110000, 102)
( 1053, 24) = (001110000, 220)
( 1053, 26) = (001110000, 222)
( 1054, 0) = (001110001, 000)
( 1054, 2) = (001110001, 002)
( 1054, 3) = (001110001, 010)
( 1054, 9) = (001110001, 100)
( 1054, 11) = (001110001, 102)
( 1054, 24) = (001110001, 220)
( 1054, 26) = (001110001, 222)
( 1055, 0) = (001110002, 000)
( 1055, 2) = (001110002, 002)
( 1055, 3) = (001110002, 010)
( 1055, 5) = (001110002, 012)
( 1055, 9) = (001110002, 100)
( 1055, 11) = (001110002, 102)
( 1055, 24) = (001110002, 220)
( 1055, 26) = (001110002, 222)
( 1056, 0) = (001110010, 000)
( 1056, 2) = (001110010, 002)
( 1056, 3) = (001110010, 010)
( 1056, 9) = (001110010, 100)
( 1056, 11) = (001110010, 102)
( 1056, 24) = (001110010, 220)
( 1056, 26) = (001110010, 222)
( 1058, 0) = (001110012, 000)
( 1058, 2) = (001110012, 002)
( 1058, 3) = (001110012, 010)
( 1058, 5) = (001110012, 012)
( 1058, 9) = (001110012, 100)
( 1058, 11) = (001110012, 102)
( 1058, 24) = (001110012, 220)
( 1058, 26) = (001110012, 222)
( 1059, 0) = (001110020, 000)
( 1059, 2) = (001110020, 002)
( 1059, 3) = (001110020, 010)
( 1059, 9) = (001110020, 100)
( 1059, 12) = (001110020, 110)
( 1059, 14) = (001110020, 112)
( 1061, 0) = (001110022, 000)
( 1061, 2) = (001110022, 002)
( 1061, 3) = (001110022, 010)
( 1061, 5) = (001110022, 012)
( 1061, 9) = (001110022, 100)
( 1061, 12) = (001110022, 110)
( 1061, 14) = (001110022, 112)
( 1068, 2) = (001110120, 002)
( 1077, 0) = (001110220, 000)
( 1077, 2) = (001110220, 002)
( 1077, 3) = (001110220, 010)
( 1077, 9) = (001110220, 100)
( 1077, 11) = (001110220, 102)
( 1107, 0) = (001112000, 000)
( 1107, 3) = (001112000, 010)
( 1109, 2) = (001112002, 002)
( 1109, 5) = (001112002, 012)
( 1111, 4) = (001112011, 011)
( 1111, 13) = (001112011, 111)
( 1112, 4) = (001112012, 011)
( 1112, 5) = (001112012, 012)
( 1112, 8) = (001112012, 022)
( 1112, 13) = (001112012, 111)
( 1112, 14) = (001112012, 112)
( 1114, 4) = (001112021, 011)
( 1114, 13) = (001112021, 111)
( 1120, 0) = (001112111, 000)
( 1120, 4) = (001112111, 011)
( 1120, 12) = (001112111, 110)
( 1120, 13) = (001112111, 111)
( 1120, 22) = (001112111, 211)
( 1121, 0) = (001112112, 000)
( 1121, 2) = (001112112, 002)
( 1121, 4) = (001112112, 011)
( 1121, 5) = (001112112, 012)
( 1121, 13) = (001112112, 111)
( 1123, 4) = (001112121, 011)
( 1123, 7) = (001112121, 021)
( 1123, 13) = (001112121, 111)
( 1123, 16) = (001112121, 121)
( 1123, 22) = (001112121, 211)
( 1127, 5) = (001112202, 012)
( 1129, 4) = (001112211, 011)
( 1129, 13) = (001112211, 111)
( 1175, 5) = (001121112, 012)
( 1177, 4) = (001121121, 011)
( 1177, 13) = (001121121, 111)
( 1201, 4) = (001122111, 011)
( 1201, 13) = (001122111, 111)
( 1298, 5) = (001210002, 012)
( 1313, 5) = (001210122, 012)
( 1343, 5) = (001211202, 012)
( 1343, 15) = (001211202, 120)
( 1444, 4) = (001222111, 011)
( 1444, 13) = (001222111, 111)
( 1444, 17) = (001222111, 122)
( 1476, 0) = (002000200, 000)
( 1476, 3) = (002000200, 010)
( 1476, 6) = (002000200, 020)
( 1476, 10) = (002000200, 101)
( 1476, 12) = (002000200, 110)
( 1476, 13) = (002000200, 111)
( 1476, 16) = (002000200, 121)
( 1476, 18) = (002000200, 200)
( 1476, 21) = (002000200, 210)
( 1476, 23) = (002000200, 212)
( 1479, 0) = (002000210, 000)
( 1479, 3) = (002000210, 010)
( 1506, 0) = (002001210, 000)
( 1506, 3) = (002001210, 010)
( 1508, 0) = (002001212, 000)
( 1508, 2) = (002001212, 002)
( 1508, 3) = (002001212, 010)
( 1508, 20) = (002001212, 202)
( 1536, 0) = (002002220, 000)
( 1536, 1) = (002002220, 001)
( 1536, 3) = (002002220, 010)
( 1536, 4) = (002002220, 011)
( 1536, 6) = (002002220, 020)
( 1536, 9) = (002002220, 100)
( 1536, 10) = (002002220, 101)
( 1536, 11) = (002002220, 102)
( 1536, 12) = (002002220, 110)
( 1536, 13) = (002002220, 111)
( 1536, 14) = (002002220, 112)
( 1536, 16) = (002002220, 121)
( 1536, 18) = (002002220, 200)
( 1536, 21) = (002002220, 210)
( 1536, 23) = (002002220, 212)
( 1536, 24) = (002002220, 220)
( 1536, 25) = (002002220, 221)
( 1537, 0) = (002002221, 000)
( 1537, 3) = (002002221, 010)
( 1537, 4) = (002002221, 011)
( 1537, 9) = (002002221, 100)
( 1537, 10) = (002002221, 101)
( 1537, 11) = (002002221, 102)
( 1537, 12) = (002002221, 110)
( 1537, 13) = (002002221, 111)
( 1537, 14) = (002002221, 112)
( 1537, 24) = (002002221, 220)
( 1557, 0) = (002010200, 000)
( 1557, 1) = (002010200, 001)
( 1557, 3) = (002010200, 010)
( 1557, 6) = (002010200, 020)
( 1557, 10) = (002010200, 101)
( 1557, 12) = (002010200, 110)
( 1557, 13) = (002010200, 111)
( 1557, 16) = (002010200, 121)
( 1557, 18) = (002010200, 200)
( 1557, 21) = (002010200, 210)
( 1560, 0) = (002010210, 000)
( 1560, 1) = (002010210, 001)
( 1560, 3) = (002010210, 010)
( 1587, 0) = (002011210, 000)
( 1587, 1) = (002011210, 001)
( 1587, 3) = (002011210, 010)
( 1589, 0) = (002011212, 000)
( 1589, 1) = (002011212, 001)
( 1589, 2) = (002011212, 002)
( 1589, 3) = (002011212, 010)
( 1589, 5) = (002011212, 012)
( 1617, 0) = (002012220, 000)
( 1617, 1) = (002012220, 001)
( 1617, 3) = (002012220, 010)
( 1617, 4) = (002012220, 011)
( 1617, 6) = (002012220, 020)
( 1617, 9) = (002012220, 100)
( 1617, 10) = (002012220, 101)
( 1617, 11) = (002012220, 102)
( 1617, 12) = (002012220, 110)
( 1617, 13) = (002012220, 111)
( 1617, 14) = (002012220, 112)
( 1617, 16) = (002012220, 121)
( 1617, 18) = (002012220, 200)
( 1617, 21) = (002012220, 210)
( 1617, 24) = (002012220, 220)
( 1617, 25) = (002012220, 221)
( 1618, 0) = (002012221, 000)
( 1618, 3) = (002012221, 010)
( 1618, 4) = (002012221, 011)
( 1618, 9) = (002012221, 100)
( 1618, 12) = (002012221, 110)
( 1618, 13) = (002012221, 111)
( 1618, 14) = (002012221, 112)
( 1618, 24) = (002012221, 220)
( 1618, 25) = (002012221, 221)
( 1638, 3) = (002020200, 010)
( 1638, 13) = (002020200, 111)
( 1698, 0) = (002022220, 000)
( 1698, 3) = (002022220, 010)
( 1698, 10) = (002022220, 101)
( 1698, 13) = (002022220, 111)
( 1698, 18) = (002022220, 200)
( 1698, 21) = (002022220, 210)
( 1698, 23) = (002022220, 212)
( 1701, 0) = (002100000, 000)
( 1704, 0) = (002100010, 000)
( 1719, 0) = (002100200, 000)
( 1722, 0) = (002100210, 000)
( 1728, 0) = (002101000, 000)
( 1728, 6) = (002101000, 020)
( 1728, 8) = (002101000, 022)
( 1728, 10) = (002101000, 101)
( 1730, 0) = (002101002, 000)
( 1730, 2) = (002101002, 002)
( 1730, 6) = (002101002, 020)
( 1730, 8) = (002101002, 022)
( 1730, 16) = (002101002, 121)
( 1730, 18) = (002101002, 200)
( 1730, 20) = (002101002, 202)
( 1734, 0) = (002101020, 000)
( 1734, 10) = (002101020, 101)
( 1736, 0) = (002101022, 000)
( 1736, 2) = (002101022, 002)
( 1736, 6) = (002101022, 020)
( 1736, 8) = (002101022, 022)
( 1736, 10) = (002101022, 101)
( 1736, 16) = (002101022, 121)
( 1736, 18) = (002101022, 200)
( 1746, 0) = (002101200, 000)
( 1746, 6) = (002101200, 020)
( 1746, 10) = (002101200, 101)
( 1746, 16) = (002101200, 121)
( 1746, 18) = (002101200, 200)
( 1779, 0) = (002102220, 000)
( 1779, 1) = (002102220, 001)
( 1779, 4) = (002102220, 011)
( 1779, 24) = (002102220, 220)
( 1779, 25) = (002102220, 221)
( 1837, 0) = (002112001, 000)
( 1837, 24) = (002112001, 220)
( 1845, 0) = (002112100, 000)
( 1845, 3) = (002112100, 010)
( 1845, 24) = (002112100, 220)
( 1860, 0) = (002112220, 000)
( 1860, 1) = (002112220, 001)
( 1860, 3) = (002112220, 010)
( 1860, 4) = (002112220, 011)
( 1860, 9) = (002112220, 100)
( 1860, 12) = (002112220, 110)
( 1860, 24) = (002112220, 220)
( 1860, 25) = (002112220, 221)
( 2043, 0) = (002210200, 000)
( 2043, 3) = (002210200, 010)
( 2043, 13) = (002210200, 111)
( 2043, 18) = (002210200, 200)
( 2049, 0) = (002210220, 000)
( 2049, 3) = (002210220, 010)
( 2049, 13) = (002210220, 111)
( 2049, 18) = (002210220, 200)
( 2130, 3) = (002220220, 010)
( 2130, 13) = (002220220, 111)
( 3168, 0) = (011100100, 000)
( 3168, 7) = (011100100, 021)
( 3168, 8) = (011100100, 022)
( 3168, 14) = (011100100, 112)
( 3168, 16) = (011100100, 121)
( 3168, 17) = (011100100, 122)
( 3168, 23) = (011100100, 212)
( 3168, 25) = (011100100, 221)
( 3168, 26) = (011100100, 222)
( 3177, 0) = (011100200, 000)
( 3177, 7) = (011100200, 021)
( 3177, 8) = (011100200, 022)
( 3177, 16) = (011100200, 121)
( 3177, 23) = (011100200, 212)
( 3361, 13) = (011121111, 111)
( 3364, 0) = (011121121, 000)
( 3364, 4) = (011121121, 011)
( 3364, 13) = (011121121, 111)
( 3364, 14) = (011121121, 112)
( 3373, 4) = (011121221, 011)
( 3373, 13) = (011121221, 111)
( 3373, 14) = (011121221, 112)
( 3397, 4) = (011122211, 011)
( 3397, 13) = (011122211, 111)
( 3397, 14) = (011122211, 112)
( 3420, 0) = (011200200, 000)
( 3420, 7) = (011200200, 021)
( 3420, 14) = (011200200, 112)
( 3420, 16) = (011200200, 121)
( 3631, 0) = (011222111, 000)
( 3631, 4) = (011222111, 011)
( 3631, 9) = (011222111, 100)
( 3631, 13) = (011222111, 111)
( 3631, 14) = (011222111, 112)
( 3631, 17) = (011222111, 122)
( 3906, 0) = (012100200, 000)
( 3906, 2) = (012100200, 002)
( 3906, 4) = (012100200, 011)
( 3906, 7) = (012100200, 021)
( 3906, 9) = (012100200, 100)
( 3906, 16) = (012100200, 121)
( 3906, 17) = (012100200, 122)
( 3909, 0) = (012100210, 000)
( 3936, 0) = (012101210, 000)
( 3936, 2) = (012101210, 002)
( 3936, 6) = (012101210, 020)
( 3936, 8) = (012101210, 022)
( 3936, 10) = (012101210, 101)
( 3936, 16) = (012101210, 121)
( 3936, 18) = (012101210, 200)
( 3936, 20) = (012101210, 202)
( 3939, 0) = (012101220, 000)
( 4069, 0) = (012120201, 000)
( 4069, 11) = (012120201, 102)
( 4102, 4) = (012121221, 011)
( 4102, 13) = (012121221, 111)
( 4102, 14) = (012121221, 112)
( 4140, 4) = (012200100, 011)
( 4360, 4) = (012222111, 011)
( 4360, 13) = (012222111, 111)
( 4360, 14) = (012222111, 112)
( 4360, 17) = (012222111, 122)
( 5681, 5) = (021210102, 012)
( 5681, 15) = (021210102, 120)
( 6561, 7) = (100000000, 021)
( 6757, 4) = (100021021, 011)
( 6804, 0) = (100100000, 000)
( 6804, 2) = (100100000, 002)
( 6804, 26) = (100100000, 222)
( 6805, 0) = (100100001, 000)
( 6805, 2) = (100100001, 002)
( 6805, 14) = (100100001, 112)
( 6805, 26) = (100100001, 222)
( 6807, 0) = (100100010, 000)
( 6807, 2) = (100100010, 002)
( 6808, 0) = (100100011, 000)
( 6808, 2) = (100100011, 002)
( 6813, 16) = (100100100, 121)
( 6813, 25) = (100100100, 221)
( 6814, 0) = (100100101, 000)
( 6814, 1) = (100100101, 001)
( 6814, 2) = (100100101, 002)
( 6814, 14) = (100100101, 112)
( 6814, 24) = (100100101, 220)
( 6814, 26) = (100100101, 222)
( 6822, 0) = (100100200, 000)
( 6822, 1) = (100100200, 001)
( 6822, 16) = (100100200, 121)
( 6822, 17) = (100100200, 122)
( 6822, 23) = (100100200, 212)
( 6828, 0) = (100100220, 000)
( 6831, 0) = (100101000, 000)
( 6831, 2) = (100101000, 002)
( 6832, 0) = (100101001, 000)
( 6832, 2) = (100101001, 002)
( 6832, 14) = (100101001, 112)
( 6834, 0) = (100101010, 000)
( 6834, 2) = (100101010, 002)
( 6840, 0) = (100101100, 000)
( 6840, 1) = (100101100, 001)
( 6840, 2) = (100101100, 002)
( 6855, 0) = (100101220, 000)
( 6858, 2) = (100102000, 002)
( 6867, 2) = (100102100, 002)
( 7033, 4) = (100122111, 011)
( 7033, 13) = (100122111, 111)
( 7042, 4) = (100122211, 011)
( 7042, 13) = (100122211, 111)
( 7065, 0) = (100200200, 000)
( 7065, 7) = (100200200, 021)
( 7065, 14) = (100200200, 112)
( 7065, 16) = (100200200, 121)
( 7276, 4) = (100222111, 011)
( 7276, 13) = (100222111, 111)
( 7276, 17) = (100222111, 122)
( 7462, 2) = (101020101, 002)
( 7462, 18) = (101020101, 200)
( 7462, 21) = (101020101, 210)
( 7534, 0) = (101100001, 000)
( 7534, 2) = (101100001, 002)
( 7534, 14) = (101100001, 112)
( 7534, 24) = (101100001, 220)
( 7534, 25) = (101100001, 221)
( 7534, 26) = (101100001, 222)
View the Poset
of Representatives with a Mal'cev term