.model top
.inputs _9 _8 _7 _6 _5 _4 _3 _2 _1
.outputs _52
.names _4 n_n103 [117] [578] [603] [605] _52
-1---- 1
----1- 1
-----1 1
0-1--- 1
0--1-- 1
.names _3 _2 [61] [137] [138] n_n103
-1-1- 1
-1--1 1
011-- 1
.names _2 _1 [99] [105] [106] [580] n_n104
0-1--- 1
01-1-- 1
01--1- 1
01---1 1
.names _9 _8 [53] [57] [155] [558] [52]
----1- 1
-01--- 1
-1---1 1
01-1-- 1
.names _6 [45] [90] [14] [19] [597] [88]
---1-- 1
-11--- 1
1---1- 1
1----1 1
.names _8 _7 [45]
00 1
.names _9 _7 _6 _5 _4 _3 [53]
11-0-1 1
0-1-11 1
--1110 1
.names _7 _6 _5 _4 _3 _2 [57]
01-1-- 1
-10-1- 1
1--01- 1
--110- 1
11---0 1
.names _9 [63] [62] [143] [145] [563] [61]
---1-- 1
----1- 1
11---- 1
--1--1 1
.names _8 _7 _6 _5 _4 _1 [63]
-001-- 1
---001 1
1---00 1
.names _9 _8 _7 _4 _1 [62]
10--- 1
-10-- 1
---10 1
.names _9 _8 _6 _5 [67]
0-1- 1
-0-1 1
.names _8 _7 _6 _4 _2 _1 [82]
1100-- 1
0-011- 1
-101-0 1
.names _8 _7 _4 _3 _2 _1 [86]
0--01- 1
01--0- 1
10--0- 1
--0-01 1
.names _6 _5 _4 _3 _2 _1 [90]
01-1-- 1
-011-- 1
--011- 1
--101- 1
11---0 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 _2 _1 [19]
0100 1
1000 1
.names _8 _7 _5 _4 _2 [30]
11010 1
.names _6 _5 [86] [40] [41] [33]
1--1- 1
1---1 1
111-- 1
.names _8 _7 _2 _1 [34]
0011 1
.names _8 _7 _6 _5 _4 [35]
100-1 1
-1001 1
.names _8 _7 _5 _4 [40]
0101 1
.names _8 _7 _5 _3 _2 _1 [41]
-00-11 1
1-0-01 1
-1-001 1
.names _9 _6 _5 _4 _3 _1 [99]
00111- 1
1011-0 1
-10110 1
.names _9 _8 _7 _5 _4 _3 [105]
101--0 1
110--0 1
1--010 1
1--100 1
.names _8 _7 _6 _5 _4 _3 [106]
001-1- 1
--1001 1
.names _8 _7 _5 _3 _2 _1 [116]
100-11 1
11-001 1
.names _3 [120] [121] [122] [117]
11-- 1
1-1- 1
1--1 1
.names _8 _7 _6 _5 _2 _1 [120]
01-1-0 1
-011-0 1
--0110 1
.names _9 _8 _7 _5 _2 _1 [121]
10--01 1
-10-01 1
--1001 1
-11-00 1
.names _9 _8 _7 _6 _5 _2 [122]
0-110- 1
001--1 1
010--1 1
.names _8 _6 _4 _3 _1 [137]
00110 1
.names _7 _6 _5 _4 _3 _1 [138]
1000-1 1
-10010 1
.names _9 _8 _7 _6 _5 _4 [143]
010-1- 1
011-0- 1
01-0-1 1
.names _9 _8 _7 _6 _4 _1 [145]
1010-- 1
--1010 1
.names _7 _5 _4 _3 _2 [155]
00111 1
.names _9 _7 _6 _5 _3 _2 [558]
-0011- 1
1-001- 1
11--00 1
.names _5 _6 [563]
01 1
.names _7 _3 _2 [67] [116] [578]
----1 1
1011- 1
.names _8 _7 _6 _5 _4 _3 [580]
0101-- 1
1001-- 1
01-01- 1
10-01- 1
--0110 1
.names _5 _3 [82] [30] [34] [35] [592]
---1-- 1
1-1--- 1
-1--1- 1
-1---1 1
.names _8 _7 _5 _4 _3 _1 [597]
0-001- 1
-0-001 1
-0-100 1
.names _9 _1 [52] [88] [603]
-01- 1
1--1 1
.names _9 n_n104 [2] [33] [592] [605]
-1--- 1
--1-- 1
0--1- 1
0---1 1
.end