.model top
.inputs _8 _7 _6 _5 _4 _3 _2 _1
.outputs _47 _48 _49 _44 _45 _46 _50 _51
.names _8 _7 _6 _5 _4 _47
-00-1 1
111-1 1
10-11 1
-1111 1
0-001 1
001-0 1
110-0 1
-1010 1
0-100 1
-0100 1
.names _8 _7 _6 _5 _48
11-1 1
00-1 1
-001 1
01-0 1
1010 1
.names _8 _7 _6 _49
0-1 1
-11 1
100 1
.names _3 [68] [70] [71] [72] _44
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names [32] [351] _45
1- 1
-1 1
.names _5 [57] [56] [11] _46
---1 1
01-- 1
1-1- 1
.names _8 _7 _50
01 1
10 1
.names _8 _51
0 1
.names _8 _7 _6 _5 _3 [54]
---11 1
1-11- 1
-111- 1
111-1 1
.names _8 _7 _6 _4 _3 [57]
0-0-1 1
-00-1 1
0--01 1
--001 1
--110 1
111-0 1
11-10 1
.names _8 _7 _6 _4 _3 [56]
-11-1 1
-1-11 1
--111 1
-00-0 1
--000 1
00-00 1
.names _8 _7 _6 _4 _3 [9]
--111 1
--000 1
00-00 1
.names _7 _6 _5 _3 _2 [10]
--111 1
--000 1
00-00 1
.names _7 _6 _5 _4 [12]
1-11 1
-111 1
.names _8 _7 _6 _5 _4 [61]
----1 1
1-11- 1
-111- 1
.names _8 _7 _6 _4 _2 [50]
0--0- 1
-0-0- 1
--00- 1
0-0-0 1
-00-0 1
.names _8 _7 _6 _4 _3 [11]
10101 1
.names _2 [9] [62] [84] [349] [32]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names _8 _7 _6 _5 _2 [33]
0-000 1
-0000 1
.names _8 _7 _6 _5 _3 [62]
11001 1
.names _3 _2 _1 [12] [61] [68]
0-01- 1
010-1 1
.names _1 [9] [10] [81] [84] [70]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names _5 _4 _2 _1 [50] [71]
-000- 1
0--01 1
.names _1 [79] [80] [72]
11- 1
1-1 1
.names _8 _7 _6 _2 [79]
1111 1
.names _8 _7 _5 _4 _2 [80]
--11- 1
---11 1
11-1- 1
.names _4 _3 _2 [81]
000 1
.names _5 _4 _3 [84]
000 1
.names _8 _7 _6 _5 _4 [349]
-1-11 1
--111 1
0--00 1
-0-00 1
.names _4 _2 [54] [10] [33] [351]
1--1- 1
1---1 1
001-- 1
.end