.model top
.inputs _9 _8 _7 _6 _5 _4 _3 _2 _1
.outputs _52
.names n_n106 n_n103 n_n102 n_n101 n_n100 [602] _52
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names _8 _1 [55] [53] [155] n_n106
-0--1 1
101-- 1
00-1- 1
.names _3 _2 [61] [568] n_n103
-1-1 1
011- 1
.names _4 _3 [68] [115] [116] n_n102
0--1- 1
0---1 1
011-- 1
.names _9 _6 _3 [84] [80] [30] [32] n_n101
0----1- 1
0-----1 1
01-1--- 1
0-1-1-- 1
.names _9 _8 _7 _6 [90] [89] [14] n_n100
1-----1 1
1--1-1- 1
100-1-- 1
.names _9 _7 _6 _5 _4 _3 _2 [55]
001-1-- 1
-001-1- 1
0-10-1- 1
1-00-1- 1
01--01- 1
0--110- 1
011---0 1
11---00 1
.names _9 _7 _6 _5 _4 _3 [53]
11-0-1 1
0-1-11 1
--1110 1
.names _9 _8 _7 _6 _5 _4 _1 [61]
1010--- 1
010-1-- 1
1-001-- 1
011-0-- 1
10-10-- 1
-1010-- 1
01-0-1- 1
1---001 1
--10-10 1
---1010 1
11---00 1
.names _9 _8 _7 _6 _5 _2 _1 [68]
0-110-- 1
001--1- 1
010--1- 1
10---01 1
-10--01 1
--1-001 1
-01-1-0 1
--011-0 1
---0110 1
-11--00 1
.names _9 _8 _7 _6 _5 _4 _3 [76]
-0101-- 1
-1001-- 1
-001-1- 1
-01-01- 1
-10-01- 1
---1001 1
101---0 1
110---0 1
---0110 1
1---010 1
1---100 1
.names _8 _7 _5 _4 _3 _2 _1 [84]
0101--- 1
0-1-01- 1
011--0- 1
101--0- 1
-00--11 1
1-0--01 1
--10-01 1
-1--001 1
.names _8 _7 _6 _5 _4 _2 _1 [80]
100-1-- 1
-1001-- 1
00---11 1
.names _6 _5 _4 _3 _2 _1 [90]
01-1-- 1
-011-- 1
--011- 1
--101- 1
11---0 1
.names _8 _7 _5 _4 _3 _2 _1 [89]
0-001-- 1
-0-00-1 1
-0-10-0 1
01---00 1
10---00 1
.names _6 _5 _4 _3 _2 _1 [2]
001011 1
010011 1
001101 1
010101 1
.names _8 _7 _6 _5 _4 [14]
01001 1
10001 1
01010 1
10010 1
.names _8 _7 _5 _4 _2 [30]
11010 1
.names _8 _7 _6 _5 _4 _2 _1 [32]
11010-- 1
0-0111- 1
-1011-0 1
.names _9 _6 _5 _4 _3 _1 [99]
00111- 1
1011-0 1
-10110 1
.names _9 _8 _7 _6 _5 _3 _2 [115]
0-11-01 1
-01-101 1
.names _8 _7 _5 _3 _2 _1 [116]
100-11 1
11-001 1
.names _7 _5 _4 _3 _2 [155]
00111 1
.names _8 _7 _6 _5 _4 _3 _1 [568]
-1000-1 1
0-0-110 1
--10010 1
.names _2 _1 [76] [2] [99] [602]
---1- 1
0---1 1
011-- 1
.end