.model top
.inputs pp pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pq
.names nf0 ne0 pq
01 1
10 1
.names pa pb pc pd pe pf pg ph nf0
01111111 1
10111111 1
11011111 1
00011111 1
11101111 1
00101111 1
01001111 1
10001111 1
11110111 1
00110111 1
01010111 1
10010111 1
01100111 1
10100111 1
11000111 1
00000111 1
11111011 1
00111011 1
01011011 1
10011011 1
01101011 1
10101011 1
11001011 1
00001011 1
01110011 1
10110011 1
11010011 1
00010011 1
11100011 1
00100011 1
01000011 1
10000011 1
11111101 1
00111101 1
01011101 1
10011101 1
01101101 1
10101101 1
11001101 1
00001101 1
01110101 1
10110101 1
11010101 1
00010101 1
11100101 1
00100101 1
01000101 1
10000101 1
01111001 1
10111001 1
11011001 1
00011001 1
11101001 1
00101001 1
01001001 1
10001001 1
11110001 1
00110001 1
01010001 1
10010001 1
01100001 1
10100001 1
11000001 1
00000001 1
11111110 1
00111110 1
01011110 1
10011110 1
01101110 1
10101110 1
11001110 1
00001110 1
01110110 1
10110110 1
11010110 1
00010110 1
11100110 1
00100110 1
01000110 1
10000110 1
01111010 1
10111010 1
11011010 1
00011010 1
11101010 1
00101010 1
01001010 1
10001010 1
11110010 1
00110010 1
01010010 1
10010010 1
01100010 1
10100010 1
11000010 1
00000010 1
01111100 1
10111100 1
11011100 1
00011100 1
11101100 1
00101100 1
01001100 1
10001100 1
11110100 1
00110100 1
01010100 1
10010100 1
01100100 1
10100100 1
11000100 1
00000100 1
11111000 1
00111000 1
01011000 1
10011000 1
01101000 1
10101000 1
11001000 1
00001000 1
01110000 1
10110000 1
11010000 1
00010000 1
11100000 1
00100000 1
01000000 1
10000000 1
.names pp pi pj pk pl pm pn po ne0
01111111 1
10111111 1
11011111 1
00011111 1
11101111 1
00101111 1
01001111 1
10001111 1
11110111 1
00110111 1
01010111 1
10010111 1
01100111 1
10100111 1
11000111 1
00000111 1
11111011 1
00111011 1
01011011 1
10011011 1
01101011 1
10101011 1
11001011 1
00001011 1
01110011 1
10110011 1
11010011 1
00010011 1
11100011 1
00100011 1
01000011 1
10000011 1
11111101 1
00111101 1
01011101 1
10011101 1
01101101 1
10101101 1
11001101 1
00001101 1
01110101 1
10110101 1
11010101 1
00010101 1
11100101 1
00100101 1
01000101 1
10000101 1
01111001 1
10111001 1
11011001 1
00011001 1
11101001 1
00101001 1
01001001 1
10001001 1
11110001 1
00110001 1
01010001 1
10010001 1
01100001 1
10100001 1
11000001 1
00000001 1
11111110 1
00111110 1
01011110 1
10011110 1
01101110 1
10101110 1
11001110 1
00001110 1
01110110 1
10110110 1
11010110 1
00010110 1
11100110 1
00100110 1
01000110 1
10000110 1
01111010 1
10111010 1
11011010 1
00011010 1
11101010 1
00101010 1
01001010 1
10001010 1
11110010 1
00110010 1
01010010 1
10010010 1
01100010 1
10100010 1
11000010 1
00000010 1
01111100 1
10111100 1
11011100 1
00011100 1
11101100 1
00101100 1
01001100 1
10001100 1
11110100 1
00110100 1
01010100 1
10010100 1
01100100 1
10100100 1
11000100 1
00000100 1
11111000 1
00111000 1
01011000 1
10011000 1
01101000 1
10101000 1
11001000 1
00001000 1
01110000 1
10110000 1
11010000 1
00010000 1
11100000 1
00100000 1
01000000 1
10000000 1
.end