# this is a tautology unless I remove a silly product term
.i 27
.o 54
000000--------1-----00--01-
100111000001111111111111111001001101111011111111111111
111110--------1-----00---0-
110110111011001010011111110101110111111101111111111111
111001--------1-----00--0--
100111010000111111111111111001111111111111111111111111
001011--00000110-0--00-----
110010111011001010000000110101110111010010111111111111
001011110010111010--00-----
110011111011000000000101011101110111011111111111111111
001011001011001-10--00-----
110111101001001010111111111111110011111101111111111111
001011000100001--0--00-----
101011111011001010010101110101110011111110111111111111
001011111011001--0--00-----
110111110011001110011111110101110011111101111111111111
001011011011001--0--00-----
110111110011001101011111110101110011111101111111111111
00101100----101-00--00-----
111001011101001010111001111001110011111111111111111111
00101100----101-10--00-----
111110010001111111111111111111111011111111111111111111
00101101----101-00--00-----
100001110101001101011111111111110011111101111111111111
00101101----101-10--00-----
100001101011001010111111111111110011111101111111111111
00101111----101--0--00-----
100001110101001110011111111111110011111101111111111111
001011001010001-10--00-----
100001010011001010010111111111110011111011111111111111
001011000011001--0--00-----
100001111101001011011111111110110011111101111111111111
110101---1--001-----00-----
101100110111001010000000111111110111111110111111111111
001101--1110001-----00-----
000101111001001010100000111111110111111111111111111111
001101000110001-----00-----
000101001111000111001001111111111111111111011111111111
001101001101001-----00-----
000101111011001010010101111111110111111110111111111111
101000000010001-----00-----
000111010111000000111001111111111111111111011111111111
101000001101001-----00-----
000110011001001010111001111111110111111111111111111111
011000--1110001-----00-----
000111111011001010000001111111110111111110111111111111
011000000100001-----00-----
000111100011001010111001111111110111111111111111111111
111000000010001-----00-----
001000110111001010011001111001110111111110111111111111
111000001101001-----00-----
001000011011001010011001111111110111111110111111111111
000100--1110001-----00-----
001001111011001010000010111111110101111110111111111111
000100000110001-----00-----
001001110111001010010011111111110101111010111111111111
000100001101001-----00-----
001001111011001010000000111111110111111110111111111111
000100000100001-----00-----
001001110111001010010101111111110101111110111111111111
001100001101001-----00-----
001101010111000000010001111111111101111111011111111111
111011--------1-0---00-----
010001011011001010111001111111110111111111111111111111
111011--------1-1---00-----
111110111101001010111111111111110111111101111111111111
101010--------1-----00-----
010110000101001010111001111111110111111111111111111111
100111--------1-----001----
011001101111001010111001111001110111111111111111111111
010001--------1------------
101111101101001100001001111111001101111111111111111111
101001--------1------------
101111000111001100001001111111001101111111111111111111
000000--------10----00--11-
110100000001111111111111111001001100111111111111111111
111110--------1-----00---1-
100001101101111000000001111001001101011111111101111111
001011---1000110-0--00-----
110010111011111111111111110101110110110111111111111111
001011--0001011000--00-----
101011111011111111111111110101110110111111111111111111
001011--0001111000--00-----
101011010111111111111111110100110110111111111111111111
001011111101001--01-00-----
110100001011111111111111111001111111111011111111111111
0010110000010011111-00-----
110100010101111111111111111001111111011111111111111111
010011--------11----00-----
110010010101111111111111111111111111101111111111111111
110011---1110010----00-----
110000111011111111111111111111110110111111111111111111
11001111001011101---00-----
110010000011001010100001111111110111011111111111111111
001001--------1-----00-0---
000000001011111111111111111111111111111111111111111110
001101000001001-----00-----
000101101111001010011001111111110111111111111111111111
011000000110001-----00-----
000111001110111111111111111111110110111111111111111111
0110000011010010----00-----
000111110011111111111111111111110010111111111111111111
000100000010001-----00-----
000000110111001010010011111111110111111010111111111111
100100001101001-----00-----
001010110111001010010101111111110111111110111111111111
010100001101001-----00-----
001100001001001110011001111111110111111111111111111111
101100001101001-----00-----
000000110111001010011001111111110111111010111111111111
111101--------1-----00-----
111110001011111111111111111111111111111111111101111111
100001001001001-1---00-----
111110000001111111111111111111111101111111111111111111
011111--------1-----00-----
011110000001111111111111111111111111111011111111111111
100111--------1-----000----
000000001011111111111111111111111111111011111111111111
100110--------1-----00-----
101110001011111111111111110101111111111111111111111111
011101--------1-----00-----
011010001011111111111111111111111111111111111111111111
011001--------1-----00-----
100000001011111111111111111111111111111011111111111110
010000--------1------------
101010001011111111111111111111111111111111111110011111
010101--------1------------
100010001001111111111111111111111111111111111111000111
101101--------1------------
100101001001111111111111111111111111111111111110000111
#---------------------------
#111111111111111111111111111111111111111111111111111111
001011-------111-0--00-----
110100010101111111111111111111111101011111111111111111
001011000001001100--00-----
110100010101111111111111111111111101011111111111111111
--------------0------------
000000101101111000000001111001001101011111101100111111
000101--------1-----00-----
011111101101111111111111111001111111111111111100111111
001011001011001100--00-----
110100010101111111111111111111111101011111111111111111
00101100100-0011-0--00-----
110100010101111111111111111111111101011111111111111111
111000--1110001-----00-----
001000110111001010100000111111110111111111111111111111
011011--------1-----00-----
011111110111001010100001111111110111111111111111111111
00101100110-0011-0--00-----
110100010101111111111111111111111101011111111111111111
001011--01010011-0--00-----
110100010101111111111111111111111101011111111111111111
0010110000100010-0--00-----
101011001101001000011001110101110011111110111111111111
001011000001001000--00-----
101011011111001010111001110101110111111111111111111111
001011---11-0011-0--00-----
110100010101111111111111111111111101011111111111111111
0010110000100011-0--00-----
110100010101111111111111111111111101011111111111111111
001011001010001-00--00-----
100000001011111111111111111111111111111011111111111011
001011010001011-10--00-----
100011001011111111111111111111111111111111111111111111
001011--0001011111--00-----
110100010101111111111111111001111111011111111111111111
001011110001011111--00-----
110100010101111111111111111001111111011111111111111111
001011001011001000--00-----
110111110011111111111111110101110010111111111111111111
001011--------1--1--00-----
111111111111111111111111111111111110111111111111111111
101000--1110001-----00-----
000110110111001010000010111111110111111110111111111111
101000000100001-----00-----
000110110111001010000010111111110111111110111111111111
000000--------1-----00---0-
101000000001111111111111111001001101111111111111111111
000111--------11----00-----
111000010101111111111111111111111111111111111111111111
0010110011010010-0--00-----
101011010111111111111111110101110010111111111111111111
001011--11100010-0--00-----
101011010111111111111111110101110010111111111111111111
100100--1110001-----00-----
000000110111001010000001111111110111101010111111111111
110101--0001-11-----00-----
101100110111001010111001111111110111101111111111111111
000011---111001-----00-----
000000100101111111111111111111111111101011111111111111
000011--0101001-----00-----
000000100101111111111111111111111111101011111111111111
000000--------11----00--11-
000000010101111111111111111001001101111011111111111111
1101010000010011----00-----
101011010101111111111111111111111111111111111111111111
011010--------1-----00-----
000000110111001010011001111111110101111010111111111111
110110--------1-----00-----
000000110111001010011001111111110101111010111111111111
001101--0001-11-----00-----
000101000101001010011001111111110111111110111111111111
001101000100001-----00-----
000101011111001010111001111111110111111111111111111111
001011--01010010-0--00-----
110000111011111111111111110101110110110111111111111111
001011---0100110-0--00-----
110000111011111111111111110101110110110111111111111111
110101000010001-----00-----
000110001100111111111111111111110110111111111111111111
101000000110001-----00-----
000110001110111111111111111111110111111111111111111111
00101110------1--0--00-----
100000000001001000000001111111110111011111111111111111
001011-11100001--0--00-----
100000000001001000000001111111110111011111111111111111
111000000110001-----00-----
001000111011001010000010110101110111111110111111111111
111000000100001-----00-----
001000111011001010000010111111110111111110111111111111
001011-1-0-0001--0--00-----
100000000001001000000001111111110111011111111111111111
001011-11010111--0--00-----
100000000001001000000001111111110111011111111111111111
100100000110001-----00-----
001010111011001010000000110101110111111110111111111111
100100000100001-----00-----
001010111011001010000000111111110111111110111111111111
001011--0110011--0--00-----
100000000001001000000001111111110111011111111111111111
001011-10001011-00--00-----
100000000001001000000001111111110111011111111111111111
111111--------1-----00-----
100000001011111111111111111111111111111011101111111100
000001--------1-----00-----
110101001011111111111111111111111111111011111111111100
001011-101-0001--0--00-----
100000000001001000000001111111110111011111111111111111
001011000000001--0--00-----
100000000001001000000001111111110111011111111111111111
001101000010001-----00-----
000101001001001110011001111111110111111111111111111111
100010--------1-----00-----
010101001011111111111111111111111111111111111111111111
001011-100--001--0--00-----
100000000001001000000001111111110111011111111111111111
001011-10110111--0--00-----
100000000001001000000001111111110111011111111111111111
011111001010001-1---00-----
000000000001111111111111111111111111111011111011111111
010110--------1-----00-----
011101100001111111111111111111111111111111111111111111
001011-11001001--0--00-----
100000000001001000000001111111110111011111111111111111
001011-1000-111--0--00-----
100000000001001000000001111111110111011111111111111111
--------------1----01------
000010001011111111111111111001111011011111111111011111
101110--------1-----00-----
011011001011111111111111111111111111111111111111111111
110011-------111----00-----
110011010101111111111111111111111111111111111111111111
110011---1110011----00-----
110011010101111111111111111111111111111111111111111111
--------------1----0-1-----
101001001011111111111111111001111011011111111111011111
100101--------1------------
101101001011111111111111111111111111111111111111011111
000011------011-----00-----
000000100111111111111111111111111111101011111111111111
000011--0100111-----00-----
000000100111111111111111111111111111101011111111111111
0010110010010010-0--00-----
100001110011111111111111111001110010111111111111111111
000111--------10----00-----
110011111011111111111111111111110110111111111111111111
101000--0001--1-----00-----
000000110111001010011001111111110111111010111111111111
0101000001-0001-----00-----
000000110111001010011001111111110111111010111111111111
001011--11001110-0--00-----
111000111011111111111111001101110110111111111111111111
100011--------10----00-----
111000111011111111111111111111110110111111111111111111
0110000001100011-1--00-----
000110010101111111111111111111111101111111111111111111
0110000011010011----00-----
000110010101111111111111111111111101111111111111111111
010011--------10----00-----
000000110111111111111111111111110110101011111111111111
1101010000010010----00-----
101100110111111111111111111111110110101111111111111111
100001--------1-0---00-----
111110001011111111111111111111111111111111111111111111
101011--------1-----00-----
111110001011111111111111111111111111111111111111111111
0010110010000010-0--00-----
110010010111111111111111110100110110111111111111111111
0010111------11--0--00-----
111111111111111111111111111110111110111111111111111111
0010111101-1001--0--00-----
111111111111111111111111111110111110111111111111111111
00101111111-001--0--00-----
111111111111111111111111111110111110111111111111111111
0010110011000010-0--00-----
110010110001111111111111110101110110111111111111111111
110011------1110----00-----
110010111011111111111111111111110110111111111111111111
001011---0-01110-0--00-----
110011111011111111111111011101110110111111111111111111
001011--01101110-0--00-----
110011111011111111111111011101110110111111111111111111
011111000011001-----00-----
000000000001111111111111111111111111111011110101111111
100011--------11----00-----
110001010101111111111111111111111111111111111111111111
001011----11-110-0--00-----
110011111011111111111111101101110110110111111111111111
001011--1110-110-0--00-----
110011111011111111111111101101110110110111111111111111
0010110001100010-0--00-----
101100001001001110010011111001110011111111111111111111
011000000010001-----00-----
101100001001001111111111111111111111111111111111111111
001011--1001-110-0--00-----
110011111011111111111111101101110110110111111111111111
001011---101-110-0--00-----
110011111011111111111111101101110110110111111111111111
001011011101001--0--00-----
100110000001001100001001111111001111111111111111111111
100001--------1-1---00-----
111110000001111111111111111111111111111111111111111111
011111001011001-1---00-----
011110000001111111111111111111111111111111111111111111
01111100----101-1---00-----
011110000001111111111111111111111111111111111111111111
001011--01001110-0--00-----
110001111011111111111111001101110110110111111111111111
001011---1110010-0--00-----
110011111011111111111111101101110110110111111111111111
001011--0001011011--00-----
110010111011111111111111110101110110111111101111111111
0010110000010010111-00-----
110010111011111111111111110101110110111111101111111111
001011110001011011--00-----
110010111011111111111111110100110110111111101111111111
001011--10000110-0--00-----
110010111011111111111111110101110110111111111111111111
110011------0110----00-----
110000111011111111111111111111110110111111111111111111
110011--01001110----00-----
110000111011111111111111111111110110111111111111111111
001011000001001-110-00-----
100000001011111111111111111111111111111011101111111101
001011111101001--00-00-----
100000001011111111111111111111111111111011111111111101
111001--------1-----00--1--
000000000001111111111111111111111111111011111111111111
001001--------1-----00-1---
000000000001111111111111111111111111111011111111111111
011110--------1-----00-----
000000000001111111111111111111111101111011111111111111
110001--------1-----00-----
100100000001111111111111111111111111111111111111111111
