.model top
.inputs pp pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pq
.names pe pf pg ph nd0 na0 nb0 pq
1111111 1
0011111 1
0101111 1
1001111 1
0110111 1
1010111 1
1100111 1
0000111 1
0111011 1
1011011 1
1101011 1
0001011 1
1110011 1
0010011 1
0100011 1
1000011 1
0111101 1
1011101 1
1101101 1
0001101 1
1110101 1
0010101 1
0100101 1
1000101 1
1111001 1
0011001 1
0101001 1
1001001 1
0110001 1
1010001 1
1100001 1
0000001 1
0111110 1
1011110 1
1101110 1
0001110 1
1110110 1
0010110 1
0100110 1
1000110 1
1111010 1
0011010 1
0101010 1
1001010 1
0110010 1
1010010 1
1100010 1
0000010 1
1111100 1
0011100 1
0101100 1
1001100 1
0110100 1
1010100 1
1100100 1
0000100 1
0111000 1
1011000 1
1101000 1
0001000 1
1110000 1
0010000 1
0100000 1
1000000 1
.names pa pb pc pd nd0
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names pp pm pn po na0
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names pi pj pk pl nb0
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.end