| .model top |
| .inputs i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ o_3_ |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_1_ |
| 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 i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_2_ |
| 11111111 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_0_ |
| 0111-111 1 |
| 1011-111 1 |
| 1101-111 1 |
| 1110-111 1 |
| 011-1111 1 |
| 101-1111 1 |
| 110-1111 1 |
| 0-111111 1 |
| 1-011111 1 |
| 1-101111 1 |
| 111-0111 1 |
| 1-110111 1 |
| 1111-101 1 |
| 111-1101 1 |
| 1-111101 1 |
| 1000-001 1 |
| 100-0001 1 |
| 1-000001 1 |
| 0010-010 1 |
| 000-1010 1 |
| 0-001010 1 |
| 001-0010 1 |
| 0-100010 1 |
| 1000-100 1 |
| 100-0100 1 |
| 1-000100 1 |
| 1001-000 1 |
| 1010-000 1 |
| 1100-000 1 |
| 100-1000 1 |
| 1-001000 1 |
| 101-0000 1 |
| 110-0000 1 |
| 1-010000 1 |
| 1-100000 1 |
| 01011111 1 |
| 00000111 1 |
| 11111011 1 |
| 01111011 1 |
| 10111011 1 |
| 11011011 1 |
| 11101011 1 |
| 00001011 1 |
| 11110011 1 |
| 00010011 1 |
| 00100011 1 |
| 01000011 1 |
| 10000011 1 |
| 00000011 1 |
| 01111101 1 |
| 11011101 1 |
| 00001101 1 |
| 00010101 1 |
| 00100101 1 |
| 01000101 1 |
| 10000101 1 |
| 00000101 1 |
| 11111001 1 |
| 00011001 1 |
| 00101001 1 |
| 01001001 1 |
| 00001001 1 |
| 00110001 1 |
| 01010001 1 |
| 00010001 1 |
| 01100001 1 |
| 10100001 1 |
| 00100001 1 |
| 01000001 1 |
| 11111110 1 |
| 01111110 1 |
| 10111110 1 |
| 11011110 1 |
| 11101110 1 |
| 00001110 1 |
| 11110110 1 |
| 00010110 1 |
| 00100110 1 |
| 01000110 1 |
| 10000110 1 |
| 00000110 1 |
| 11111010 1 |
| 10001010 1 |
| 01010010 1 |
| 10010010 1 |
| 00010010 1 |
| 10100010 1 |
| 11000010 1 |
| 01000010 1 |
| 10000010 1 |
| 11111100 1 |
| 00011100 1 |
| 00101100 1 |
| 01001100 1 |
| 00001100 1 |
| 00110100 1 |
| 01010100 1 |
| 00010100 1 |
| 01100100 1 |
| 10100100 1 |
| 00100100 1 |
| 01000100 1 |
| 00111000 1 |
| 01011000 1 |
| 00011000 1 |
| 01101000 1 |
| 00101000 1 |
| 01001000 1 |
| 01110000 1 |
| 00110000 1 |
| 01010000 1 |
| 01100000 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_3_ |
| 01111--- 1 |
| 11011--- 1 |
| 111--01- 1 |
| 1-11-01- 1 |
| 1-1-101- 1 |
| 111--10- 1 |
| 1-11-10- 1 |
| 1-1-110- 1 |
| 111--0-1 1 |
| 1-11-0-1 1 |
| 1-1-10-1 1 |
| 0-1--111 1 |
| 1-0--111 1 |
| 1-1--011 1 |
| 111---01 1 |
| 1-11--01 1 |
| 1-1-1-01 1 |
| 1-1--101 1 |
| 111--1-0 1 |
| 1-11-1-0 1 |
| 1-1-11-0 1 |
| 111---10 1 |
| 1-11--10 1 |
| 1-1-1-10 1 |
| 1-1--110 1 |
| 01110-1- 1 |
| 101--111 1 |
| 1-10-111 1 |
| -0-01111 1 |
| 1-1-0111 1 |
| -1-10111 1 |
| -0-10111 1 |
| -1-00111 1 |
| 110--011 1 |
| 11-1-011 1 |
| -111-011 1 |
| 1-01-011 1 |
| 11--1011 1 |
| -11-1011 1 |
| 1-0-1011 1 |
| 1--11011 1 |
| --111011 1 |
| -1-11101 1 |
| -0-11101 1 |
| -1-01101 1 |
| 110--110 1 |
| 11-1-110 1 |
| -111-110 1 |
| 1-01-110 1 |
| 11--1110 1 |
| -11-1110 1 |
| 1-0-1110 1 |
| 1--11110 1 |
| --111110 1 |
| 11-1-010 1 |
| -111-010 1 |
| 11--1010 1 |
| -11-1010 1 |
| 1--11010 1 |
| --111010 1 |
| 011100-1 1 |
| 010-1111 1 |
| 0-011111 1 |
| 11-10101 1 |
| 10-10101 1 |
| -1110101 1 |
| -0110101 1 |
| 11-00101 1 |
| -1100101 1 |
| 1101-001 1 |
| 110-1001 1 |
| 1-011001 1 |
| 011101-0 1 |
| 010-1110 1 |
| 0-011110 1 |
| 1101-100 1 |
| 110-1100 1 |
| 11-11100 1 |
| 10-11100 1 |
| -1111100 1 |
| -0111100 1 |
| 1-011100 1 |
| 11-01100 1 |
| -1101100 1 |
| 1111-000 1 |
| 111-1000 1 |
| 1-111000 1 |
| 01011011 1 |
| 00011011 1 |
| 00101011 1 |
| 01001011 1 |
| 00110011 1 |
| 01010011 1 |
| 01100011 1 |
| 00101101 1 |
| 10001101 1 |
| 01010101 1 |
| 00111001 1 |
| 01011001 1 |
| 01101001 1 |
| 00101110 1 |
| 00110110 1 |
| 01010110 1 |
| 01100110 1 |
| 01011010 1 |
| 01011100 1 |
| .end |
