.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 [84] [85] [519] o_1_
1-- 1
-1- 1
--1 1
.names n_n172 n_n199 [554] [584] [588] o_2_
1---- 1
---1- 1
----1 1
-01-- 1
.names [539] [540] [541] [542] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n197 [22] [31] [597] [599] o_3_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [18] [574] [579] o_4_
--1 1
11- 1
.names [108] [110] [509] [511] [512] n_n172
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ [6]
0- 1
-0 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [23]
1110- 1
-1100 1
.names [25] [56] [558] [562] [563] n_n197
-1--- 1
---1- 1
----1 1
1-1-- 1
.names [18] [548] [549] [551] n_n199
-11- 1
1--1 1
.names i_8_ i_3_ [13]
0- 1
-0 1
.names i_6_ i_4_ i_0_ [25]
101 1
.names i_7_ i_8_ i_3_ [30]
111 1
.names i_7_ i_8_ i_3_ [10]
--1 1
11- 1
.names i_7_ i_1_ i_2_ [11]
0-- 1
-10 1
.names i_5_ i_1_ i_2_ i_0_ [16]
010- 1
-101 1
.names i_7_ i_8_ i_3_ [17]
11- 1
1-0 1
.names i_5_ i_6_ i_0_ [21]
001 1
.names i_1_ i_2_ i_0_ [32]
010 1
.names i_7_ i_4_ i_1_ i_2_ [18]
01-- 1
0-10 1
-110 1
.names [528] [529] [590] [22]
001 1
.names [509] [510] [511] [512] [593] [31]
00001 1
.names [539] [540] [541] [542] [547] [40]
00001 1
.names [561] [562] [563] [566] [42]
0001 1
.names [18] [574] [579] [580] [46]
--11 1
11-1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [47]
00010 1
.names i_7_ i_6_ i_3_ i_4_ i_0_ [56]
10110 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ [62]
001-0 1
0-100 1
.names i_7_ i_4_ i_1_ i_2_ [574] [64]
01--1 1
0-101 1
-1101 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [77]
10011 1
.names i_8_ i_6_ i_3_ i_1_ i_2_ [78]
-0-10 1
1-010 1
.names [509] [510] [511] [512] [515] [84]
1---1 1
-1--1 1
--1-1 1
---11 1
.names [23] [509] [510] [511] [512] [85]
10000 1
.names i_7_ i_6_ i_4_ i_1_ i_2_ [91]
10111 1
.names i_7_ i_6_ i_4_ i_1_ i_2_ [94]
1000- 1
100-0 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [108]
11100 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [110]
100-1 1
-0011 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [111]
01000 1
.names i_3_ i_1_ i_2_ i_0_ [474]
111- 1
11-0 1
.names i_6_ i_4_ i_1_ i_2_ [478]
100- 1
10-1 1
.names i_7_ i_8_ [21] [474] [478] [479]
--11- 1
11--1 1
.names i_7_ i_6_ i_4_ [16] [480]
1111 1
0101 1
.names i_6_ i_1_ i_2_ [481]
10- 1
1-1 1
.names i_7_ i_5_ i_4_ i_0_ [482]
001- 1
0-11 1
.names i_8_ i_6_ i_3_ i_4_ [483]
11-- 1
-11- 1
1--1 1
--11 1
.names i_5_ i_6_ i_4_ i_0_ [485]
010- 1
-101 1
.names i_6_ i_3_ i_4_ [486]
100 1
.names [13] [21] [481] [482] [483] [491]
01--- 1
--11- 1
-1--1 1
.names [11] [91] [94] [485] [486] [492]
-1--- 1
--1-- 1
0--1- 1
0---1 1
.names i_8_ i_6_ i_3_ i_1_ i_2_ [495]
1100- 1
110-1 1
.names i_8_ i_3_ i_1_ i_2_ [499]
010- 1
01-0 1
.names i_8_ i_3_ i_1_ i_2_ [501]
100- 1
10-0 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [508]
11011 1
10001 1
.names i_8_ i_6_ i_3_ i_4_ [6] [509]
00101 1
10001 1
.names [110] [108] [510]
1- 1
-1 1
.names i_1_ i_2_ [23] [111] [511]
---1 1
0-1- 1
-11- 1
.names i_7_ i_6_ [499] [501] [508] [512]
----1 1
001-- 1
00-1- 1
.names i_6_ i_4_ i_1_ i_2_ [515]
0011 1
.names i_7_ i_6_ i_4_ i_1_ i_2_ [516]
0010- 1
001-0 1
00011 1
.names [23] [495] [516] [517]
--1 1
01- 1
.names [479] [480] [491] [492] [517] [519]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_6_ i_1_ i_2_ [521]
011 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [522]
10-0- 1
-010- 1
-0-01 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_8_ i_5_ i_3_ i_0_ [526]
001- 1
0-11 1
.names i_8_ i_6_ i_3_ i_0_ [527]
0101 1
.names i_7_ i_6_ i_4_ [526] [527] [528]
0-1-1 1
1101- 1
.names [521] [522] [523] [524] [529]
11-- 1
--11 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_8_ i_3_ i_4_ [534]
11-- 1
1-0- 1
-1-0 1
--00 1
.names i_7_ i_8_ i_3_ i_4_ [535]
11-1 1
1-11 1
.names i_4_ i_1_ i_2_ [536]
010 1
.names i_5_ i_1_ i_2_ i_0_ [537]
001- 1
010- 1
-011 1
-101 1
.names i_8_ i_6_ i_3_ [32] [77] [539]
----1 1
-0-1- 1
1-01- 1
.names i_8_ i_3_ i_2_ [78] [531] [540]
---1- 1
1-1-1 1
-11-1 1
.names [11] [21] [532] [535] [541]
-1-1 1
011- 1
.names [17] [32] [534] [536] [537] [542]
----1 1
-11-- 1
1--1- 1
.names i_8_ i_6_ i_3_ i_1_ [546]
1011 1
.names i_7_ i_6_ i_4_ [546] [547]
1--1 1
-1-1 1
--11 1
.names i_7_ i_1_ i_2_ [548]
111 1
.names i_7_ i_8_ i_6_ i_3_ i_0_ [549]
--010 1
110-0 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_5_ i_6_ i_4_ [553] [554]
0101 1
.names i_7_ i_1_ i_2_ [555]
00- 1
0-0 1
.names i_7_ i_8_ i_6_ i_3_ i_0_ [556]
0-001 1
-0001 1
.names i_7_ i_8_ i_6_ i_3_ i_0_ [557]
11111 1
.names i_8_ i_3_ i_1_ i_2_ [558]
110- 1
11-1 1
.names i_7_ i_6_ i_4_ i_0_ [559]
0001 1
.names i_6_ i_4_ i_0_ [56] [558] [561]
---1- 1
101-1 1
.names [25] [17] [555] [556] [562]
11-- 1
--11 1
.names [10] [11] [557] [559] [563]
-01- 1
0--1 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_8_ i_3_ i_1_ i_2_ i_0_ [569]
010-- 1
01-1- 1
01--0 1
.names i_5_ i_1_ i_2_ [572]
10- 1
1-0 1
.names i_7_ i_8_ i_3_ i_4_ [573]
00-- 1
0-0- 1
-0-0 1
--00 1
.names i_8_ i_6_ i_3_ i_0_ [574]
01-0 1
-110 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [578]
-11-- 1
-1--0 1
01-0- 1
0-110 1
.names [62] [572] [573] [578] [579]
1--- 1
---1 1
-11- 1
.names i_8_ i_5_ i_3_ [580]
10- 1
-00 1
.names [25] [47] [528] [529] [569] [582]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names [479] [480] [567] [568] [584]
1-1- 1
-11- 1
1--1 1
-1-1 1
.names [40] [42] [46] [582] [588]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_6_ i_3_ i_1_ i_2_ i_0_ [590]
100-1 1
10-11 1
.names i_6_ i_3_ i_4_ [591]
11- 1
-11 1
.names i_6_ i_1_ i_2_ i_0_ [592]
0110 1
.names i_8_ i_6_ i_0_ [593]
100 1
.names i_8_ i_5_ i_6_ i_3_ i_0_ [594]
-00-1 1
1-101 1
.names [25] [30] [591] [592] [594] [596]
----1 1
11--- 1
--11- 1
.names [18] [548] [549] [551] [596] [597]
----1 1
-11-- 1
1--1- 1
.names i_5_ i_6_ i_0_ [64] [579] [599]
0--1- 1
0---1 1
-011- 1
-01-1 1
.end