| .model top |
| .inputs i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ |
| .names i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_1_ |
| 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 i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_2_ |
| 1111--- 1 |
| -1111-- 1 |
| 111--1- 1 |
| 11-1-1- 1 |
| 1-11-1- 1 |
| -111-1- 1 |
| 11--11- 1 |
| 1-1-11- 1 |
| -11-11- 1 |
| 1--111- 1 |
| -1-111- 1 |
| --1111- 1 |
| 1-11--1 1 |
| -111--1 1 |
| 11--1-1 1 |
| -11-1-1 1 |
| 1--11-1 1 |
| -1-11-1 1 |
| --111-1 1 |
| 1--1-11 1 |
| --11-11 1 |
| 1---111 1 |
| -1--111 1 |
| --1-111 1 |
| ---1111 1 |
| 1101--1 1 |
| 1110--1 1 |
| 1-101-1 1 |
| 11--011 1 |
| -11-011 1 |
| -1-1011 1 |
| 1-10011 1 |
| 111-100 1 |
| 11-1100 1 |
| 1-11100 1 |
| .names i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_0_ |
| 111111- 1 |
| 000011- 1 |
| 000101- 1 |
| 001001- 1 |
| 010001- 1 |
| 100001- 1 |
| 000110- 1 |
| 001010- 1 |
| 010010- 1 |
| 100010- 1 |
| 11111-1 1 |
| 01000-1 1 |
| 1111-11 1 |
| 1-11111 1 |
| 0-00011 1 |
| 0-00101 1 |
| 100-001 1 |
| 0-01001 1 |
| -001001 1 |
| 0-10001 1 |
| 1-00001 1 |
| 00110-0 1 |
| 01010-0 1 |
| 10010-0 1 |
| 01100-0 1 |
| 10100-0 1 |
| 11000-0 1 |
| 0001-10 1 |
| 0010-10 1 |
| 0100-10 1 |
| 1000-10 1 |
| 0-00110 1 |
| 100-010 1 |
| -001010 1 |
| 0101-00 1 |
| 0110-00 1 |
| 1100-00 1 |
| 100-100 1 |
| 0-01100 1 |
| -001100 1 |
| 0-10100 1 |
| 1-00100 1 |
| 101-000 1 |
| 10-1000 1 |
| -011000 1 |
| 0111111 1 |
| 1101111 1 |
| 1110111 1 |
| 0011001 1 |
| 1010001 1 |
| 0011100 1 |
| 1010100 1 |
| 0111000 1 |
| 1101000 1 |
| 1110000 1 |
| .end |
