.model top
.inputs _9 _8 _7 _6 _5 _4 _3 _2 _1
.outputs _52
.names _9 _2 [73] [79] [2] [606] _52
----1- 1
-----1 1
-01--- 1
0--1-- 1
.names _9 _8 _7 _6 _5 _4 _3 _2 [52]
0101-1-- 1
-1001-1- 1
101-0-1- 1
01-10-1- 1
11-00-1- 1
00-1-11- 1
011--01- 1
01--110- 1
-0-1110- 1
--0-0111 1
0111---0 1
111---00 1
.names _9 _8 _7 _6 _5 _4 _3 _1 [59]
1010--0- 1
010-1-0- 1
1-001-0- 1
011-0-0- 1
10-10-0- 1
-1010-0- 1
01-0-10- 1
--1000-1 1
1---0001 1
-0-0-110 1
---10010 1
--10-100 1
---10100 1
11---000 1
.names _9 _8 _7 _6 _5 _3 _2 _1 [66]
0-1101-- 1
001--11- 1
010--11- 1
0-11-01- 1
-01-101- 1
-10-0-11 1
10---101 1
-10--101 1
--1-0101 1
-11--001 1
-01-11-0 1
--0111-0 1
---01110 1
-11--100 1
.names _9 _8 _7 _6 _5 _4 _3 _1 [73]
0--0111- 1
-0101--1 1
-1001--1 1
-001-1-1 1
-01-01-1 1
-10-01-1 1
---10011 1
101---01 1
110---01 1
---01101 1
1---0101 1
1---1001 1
1--011-0 1
---10110 1
.names _8 _7 _6 _5 _4 _3 _2 _1 [79]
01101--- 1
11010--- 1
100-11-- 1
-10011-- 1
0-011-1- 1
0-11-01- 1
0111--0- 1
1011--0- 1
11-01-0- 1
-010--11 1
00---111 1
1-10--01 1
--110-01 1
-11--001 1
-1011--0 1
.names _8 _7 _6 _5 _4 _3 _2 _1 [88]
01001--- 1
10001--- 1
01010--- 1
10010--- 1
0001-1-- 1
00-011-- 1
0-1001-- 1
00--011- 1
00--101- 1
-01-00-1 1
0011---0 1
-01-10-0 1
011---00 1
101---00 1
.names _6 _5 _4 _3 _2 _1 [2]
001011 1
010011 1
001101 1
010101 1
.names _9 _4 _2 _1 [52] [59] [66] [88] [606]
---01--- 1
--1--1-- 1
-0----1- 1
1------1 1
.end