.model top
.inputs i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_3_ o_4_
.names n_n150 [96] [99] [480] [517] [520] o_1_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [41] [509] [510] [514] [584] [588] o_2_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_8_ i_3_ i_2_ [78] [531] [539] [544] o_0_
---1--- 1
-----1- 1
------1 1
1-1-1-- 1
-11-1-- 1
.names n_n197 [22] [31] [597] [599] o_3_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [18] [577] o_4_
------1 1
-11---- 1
-1--0-- 1
01-0--- 1
0-110-- 1
0-1-01- 1
--1101- 1
.names [89] [90] [95] [489] [490] n_n150
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [23]
1110- 1
-1100 1
.names [52] [53] [54] [55] [56] [57] n_n197
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_4_ i_1_ i_2_ [18]
01-- 1
0-10 1
-110 1
.names i_8_ i_6_ i_3_ [58] [524] [528] [590] [22]
1--0-01 1
-0-0-01 1
--00-01 1
---0001 1
.names i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [27]
011110 1
.names i_8_ i_6_ i_0_ [509] [510] [514] [31]
100000 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_0_ [33]
111101 1
.names i_5_ i_6_ i_4_ [18] [50] [551] [553] [41]
01000-1 1
010-001 1
.names [52] [53] [54] [55] [56] [57] [566] [42]
0000001 1
.names i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [45]
01100-1 1
0110-11 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [18] [577] [46]
10----1 1
-0-0--1 1
101101- 1
001001- 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [47]
00010 1
.names i_7_ i_8_ i_6_ i_3_ i_1_ i_2_ i_0_ [50]
110-110 1
1-01110 1
.names i_7_ i_6_ i_3_ i_1_ i_2_ i_0_ [52]
0000-1 1
000-01 1
.names i_7_ i_8_ i_6_ i_3_ i_1_ i_2_ i_0_ [53]
11110-1 1
1111-11 1
.names i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [54]
11100-1 1
1110-11 1
.names i_7_ i_6_ i_3_ i_4_ i_0_ [55]
00001 1
.names i_7_ i_6_ i_3_ i_4_ i_0_ [56]
10110 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_0_ [57]
111-01 1
1-1001 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ [58]
1000-11 1
-000111 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_0_ [73]
1100-11 1
1-00111 1
.names i_8_ i_6_ i_3_ i_1_ i_2_ [78]
-0-10 1
1-010 1
.names i_7_ i_5_ i_6_ i_4_ i_1_ i_2_ i_0_ [89]
00110-- 1
0011-1- 1
0-110-1 1
0-11-11 1
.names i_8_ i_5_ i_6_ i_3_ i_4_ i_0_ [90]
100-11 1
-00111 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [95]
10011 1
.names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [96]
001111 1
.names i_7_ i_8_ i_6_ i_4_ i_1_ i_2_ [99]
11100- 1
1110-1 1
.names i_7_ i_5_ i_6_ i_4_ i_1_ i_2_ i_0_ [480]
101110- 1
001010- 1
1-11101 1
0-10101 1
.names i_7_ i_5_ i_6_ i_4_ i_1_ i_2_ i_0_ [489]
10100-- 1
1010-1- 1
1-0111- 1
1-100-1 1
1-10-11 1
.names i_7_ i_6_ i_3_ i_4_ i_1_ i_2_ [490]
10-00- 1
10-0-0 1
11000- 1
1100-1 1
.names i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ [509]
00100- 1
10000- 1
0010-0 1
1000-0 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_0_ [510]
-100--1 1
--001-1 1
11-100- 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ [514]
11011-- 1
10001-- 1
01000-- 1
0001-0- 1
1110-0- 1
0100-0- 1
-11000- 1
1110--1 1
-1100-1 1
0001--0 1
0100--0 1
.names i_6_ i_4_ i_1_ i_2_ [515]
0011 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ [517]
0-0-10- 1
0-0-1-0 1
0-0-011 1
011010- 1
01101-1 1
.names [23] [509] [510] [514] [515] [520]
-1--1 1
--1-1 1
---11 1
1000- 1
.names i_8_ i_6_ i_3_ [523]
011 1
.names i_7_ i_5_ i_1_ i_2_ i_0_ [524]
100-- 1
10-1- 1
1-0-1 1
1--11 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_0_ [528]
100110- 1
00-1011 1
10-1101 1
.names i_7_ i_5_ i_6_ i_4_ i_0_ [531]
00011 1
.names i_7_ i_8_ i_3_ i_2_ [532]
--11 1
11-1 1
.names i_7_ i_5_ i_6_ i_1_ i_2_ i_0_ [533]
1000-1 1
100-11 1
.names i_5_ i_1_ i_2_ i_0_ [537]
001- 1
010- 1
-011 1
-101 1
.names i_7_ i_8_ i_3_ i_4_ i_1_ i_2_ i_0_ [538]
11-010- 1
1-0010- 1
11--010 1
1-0-010 1
-1-0010 1
--00010 1
.names i_8_ i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [539]
--0-010 1
1001--1 1
1--0010 1
.names i_8_ i_6_ i_3_ i_1_ i_2_ [531] [539] [543]
------1 1
-0-10-- 1
1---11- 1
--1-11- 1
1-010-- 1
.names [73] [532] [533] [537] [538] [544]
1---- 1
---1- 1
----1 1
-11-- 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ [547]
1101-1 1
-10111 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [551]
001-0 1
-0110 1
.names i_8_ i_3_ i_1_ i_2_ i_0_ [553]
010-- 1
01-1- 1
01--0 1
.names i_7_ i_8_ i_6_ i_3_ i_0_ [566]
01111 1
.names i_7_ i_8_ i_3_ i_4_ [567]
1111 1
.names i_8_ i_6_ i_3_ i_0_ [568]
0101 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_1_ i_2_ [577]
001-0-- 1
0-100-- 1
001--0- 1
0-10-0- 1
-01-00- 1
--1000- 1
001---0 1
0-10--0 1
-01-0-0 1
--100-0 1
.names [45] [47] [58] [523] [524] [528] [582]
1----- 1
-1---- 1
--1--- 1
-----1 1
---11- 1
.names [96] [99] [480] [567] [568] [584]
1--1- 1
-1-1- 1
--11- 1
1---1 1
-1--1 1
--1-1 1
.names [42] [46] [543] [544] [547] [582] [588]
1----- 1
-1---- 1
-----1 1
--001- 1
.names i_6_ i_3_ i_1_ i_2_ i_0_ [590]
100-1 1
10-11 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [594]
-00-1 1
1-101 1
.names [18] [27] [33] [50] [551] [594] [597]
-1---- 1
--1--- 1
---1-- 1
-----1 1
1---1- 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [18] [577] [599]
-0----1 1
--0-1-1 1
01001-- 1
00110-- 1
001-01- 1
-01101- 1
.end