.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