.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 [518] [520] o_1_
1-- 1
-1- 1
--1 1
.names [40] [42] [585] [587] o_2_
1--- 1
-1-- 1
--1- 1
---1 1
.names [70] [78] [539] [544] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names [35] [37] [598] [600] o_3_
1--- 1
-1-- 1
--1- 1
---1 1
.names [18] [574] [577] [578] o_4_
--1- 1
---1 1
11-- 1
.names [95] [488] [489] [490] n_n150
1--- 1
-1-- 1
--1- 1
---1 1
.names i_6_ i_4_ n_n96
00 1
.names i_1_ i_2_ [5]
0- 1
-1 1
.names i_1_ i_2_ [6]
0- 1
-0 1
.names i_8_ i_6_ i_3_ [14]
-0- 1
1-0 1
.names i_7_ i_6_ i_4_ [19]
1-- 1
-1- 1
--1 1
.names [112] [113] [23]
1- 1
-1 1
.names i_1_ i_2_ i_0_ n_n230
101 1
.names i_8_ i_3_ [8]
1- 1
-1 1
.names i_8_ i_3_ [9]
1- 1
-0 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_7_ i_4_ [20]
0- 1
-0 1
.names i_5_ i_6_ i_0_ [21]
001 1
.names i_7_ i_4_ [28]
01 1
.names i_1_ i_2_ i_0_ [32]
010 1
.names i_6_ i_0_ [15]
01 1
.names i_6_ i_0_ [24]
00 1
.names i_7_ i_4_ i_1_ i_2_ [18]
01-- 1
0-10 1
-110 1
.names i_7_ i_8_ n_n107
11 1
.names [58] [59] [528] [590] [22]
0001 1
.names i_8_ i_6_ i_3_ i_0_ [34]
1101 1
.names [15] [64] [577] [578] [35]
11-- 1
1-1- 1
1--1 1
.names i_5_ [64] [577] [578] [37]
01-- 1
0-1- 1
0--1 1
.names [19] [543] [544] [546] [40]
1001 1
.names [50] [51] [554] [41]
001 1
.names [53] [55] [564] [566] [42]
0001 1
.names [64] [577] [578] [580] [46]
1--1 1
-1-1 1
--11 1
.names i_6_ i_0_ [10] [548] [50]
0011 1
.names i_5_ i_0_ [14] [18] [51]
0001 1
.names i_6_ i_0_ [10] [555] [52]
0101 1
.names i_6_ i_0_ [30] [11] [53]
1110 1
.names i_7_ i_8_ i_3_ [559] [55]
0-01 1
-001 1
.names i_8_ i_3_ [19] [521] [58]
0011 1
.names i_5_ i_0_ [11] [523] [59]
0-01 1
-101 1
.names [18] [574] [64]
11 1
.names i_8_ i_6_ i_3_ i_0_ [65]
0110 1
.names i_5_ i_6_ i_0_ [66]
11- 1
1-0 1
.names i_8_ i_5_ i_3_ [67]
010 1
.names i_7_ i_4_ [21] [530] [70]
0111 1
.names i_1_ i_2_ [14] [78]
101 1
.names [14] [112] [113] [494] [82]
1001 1
.names i_8_ i_3_ [21] [95]
111 1
.names i_1_ i_2_ [112] [113] [109]
0-1- 1
-11- 1
0--1 1
-1-1 1
.names i_8_ i_3_ [19] [111]
100 1
.names i_7_ i_8_ i_6_ i_3_ [112]
1110 1
.names i_8_ i_6_ i_3_ i_4_ [113]
1100 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 [21] n_n107 [474] [478] [479]
1-1- 1
-1-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_6_ i_1_ i_2_ [484]
011 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 i_7_ i_6_ i_4_ [487]
100 1
.names [21] [481] [482] [483] [488]
-11- 1
1--1 1
.names [11] [20] [484] [485] [489]
-01- 1
0--1 1
.names [6] [11] [486] [487] [490]
-01- 1
1--1 1
.names i_6_ i_1_ i_2_ [494]
10- 1
1-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_4_ i_6_ [502]
10 1
.names i_8_ i_6_ i_3_ [503]
000 1
.names i_6_ i_3_ i_4_ [506]
100 1
.names i_7_ i_6_ [499] [501] [507]
001- 1
00-1 1
.names [30] [20] [502] [503] [508]
1-1- 1
-0-1 1
.names i_8_ i_3_ n_n96 [6] [509]
0111 1
1011 1
.names [8] [21] n_n107 [506] [510]
11-- 1
--11 1
.names [510] [509] [513]
1- 1
-1 1
.names [109] [111] [507] [508] [514]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_6_ i_4_ i_1_ i_2_ [515]
0011 1
.names i_7_ i_6_ i_4_ [6] [516]
0011 1
0000 1
.names [82] [479] [480] [516] [518]
1--- 1
-1-- 1
--1- 1
---1 1
.names [23] [513] [514] [515] [520]
-1-1 1
--11 1
100- 1
.names i_6_ i_1_ i_2_ [521]
011 1
.names i_8_ i_6_ i_3_ [523]
011 1
.names i_7_ i_6_ i_4_ [525]
110 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 [28] [525] [526] [527] [528]
-11- 1
1--1 1
.names i_8_ i_3_ i_2_ [530]
1-1 1
-11 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 [17] [32] [534] [536] [538]
-11- 1
1--1 1
.names [14] [13] [21] [32] [539]
-01- 1
1--1 1
.names [11] [21] [532] [535] [541]
-1-1 1
011- 1
.names [5] [14] [70] [539] [543]
--1- 1
---1 1
01-- 1
.names [537] [538] [541] [544]
1-- 1
-1- 1
--1 1
.names i_8_ i_6_ i_3_ i_1_ [546]
1011 1
.names i_7_ i_1_ i_2_ [548]
111 1
.names i_5_ i_6_ i_4_ [552]
010 1
.names i_8_ i_3_ n_n230 [552] [554]
0101 1
.names i_7_ i_1_ i_2_ [555]
00- 1
0-0 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_7_ i_3_ i_4_ [560]
111 1
.names [25] [24] [558] [560] [561]
1-1- 1
-1-1 1
.names [25] [17] [52] [561] [564]
--1- 1
---1 1
11-- 1
.names i_8_ i_6_ i_3_ i_0_ [565]
1111 1
.names i_7_ i_8_ i_3_ [565] [566]
0--1 1
-0-1 1
--01 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_5_ i_7_ [570]
10 1
.names i_7_ i_8_ i_3_ i_4_ [571]
10-- 1
1-0- 1
-0-0 1
--00 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 [570] [571] [572] [573] [577]
11-- 1
--11 1
.names [65] [66] [67] [578]
1-- 1
-1- 1
--1 1
.names i_8_ i_5_ i_3_ [580]
10- 1
-00 1
.names [19] n_n230 [9] [25] [581]
0-0- 1
-001 1
.names [58] [59] [528] [581] [582]
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 [582] [46] [585]
1- 1
-1 1
.names [41] [513] [514] [584] [587]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_6_ i_3_ i_0_ n_n230 [590]
1010 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_5_ i_6_ i_0_ [34] [594]
---1 1
001- 1
.names [25] [30] [591] [592] [595]
11-- 1
--11 1
.names [50] [51] [594] [595] [597]
1--- 1
-1-- 1
--1- 1
---1 1
.names [22] [53] [55] [564] [598]
1--- 1
-1-- 1
--1- 1
---1 1
.names [513] [514] [593] [597] [600]
---1 1
001- 1
.end