.model top
.inputs i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_19_ o_2_ o_0_ o_25_ o_12_ o_26_ o_11_ o_27_ o_14_ o_13_ o_21_ \
o_16_ o_22_ o_15_ o_23_ o_18_ o_24_ o_17_ o_20_ o_10_ o_9_ o_7_ o_8_ o_5_ o_6_ \
o_3_ o_4_
.names n_n178 [163] [164] o_1_
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ o_3_ o_19_
--1 1
00- 1
.names n_n61 [496] o_2_
1- 1
-1 1
.names [499] [500] [501] o_0_
1-- 1
-1- 1
--1 1
.names [133] [506] o_25_
1- 1
-1 1
.names o_9_ n_n120 [40] o_12_
--1 1
10- 1
.names n_n61 [510] [511] o_26_
1-- 1
-1- 1
--1 1
.names o_16_ [517] [518] o_11_
--1 1
11- 1
.names i_3_ i_4_ n_n13 o_27_
001 1
.names n_n129 [104] [105] o_14_
1-- 1
-1- 1
--1 1
.names n_n111 [135] [524] o_13_
1-- 1
-1- 1
--1 1
.names n_n111 [530] o_21_
1- 1
-1 1
.names i_3_ n_n10 [118] o_16_
--1 1
01- 1
.names [499] [500] o_22_
1- 1
-1 1
.names n_n111 [34] [531] o_15_
1-- 1
-1- 1
--1 1
.names n_n111 [87] [536] o_23_
1-- 1
-1- 1
--1 1
.names n_n104 [538] o_18_
1- 1
-1 1
.names n_n178 [28] [516] o_24_
1-- 1
-1- 1
--1 1
.names n_n111 [87] [542] o_17_
1-- 1
-1- 1
--1 1
.names [544] [545] o_20_
1- 1
-1 1
.names n_n61 [492] [546] o_10_
1-- 1
-1- 1
--1 1
.names [128] [507] o_9_
1- 1
-1 1
.names n_n121 [63] [550] o_7_
1-- 1
-1- 1
--1 1
.names n_n111 [135] [552] o_8_
1-- 1
-1- 1
--1 1
.names [35] [54] [553] o_5_
1-- 1
-1- 1
--1 1
.names n_n111 [51] [556] o_6_
1-- 1
-1- 1
--1 1
.names n_n61 [492] [494] o_3_
1-- 1
-1- 1
--1 1
.names n_n111 [87] [559] o_4_
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ n_n178
10 1
.names i_3_ i_0_ [28]
00 1
.names i_2_ i_0_ n_n175
01 1
.names n_n120 n_n121 [160] n_n61
1-- 1
-1- 1
--1 1
.names n_n158 [147] [41]
1- 1
-1 1
.names i_3_ i_4_ n_n12
10 1
.names i_4_ i_2_ i_0_ [33]
10- 1
-01 1
.names i_3_ i_4_ i_2_ [43]
1-- 1
-0- 1
--1 1
.names i_4_ i_1_ [35] n_n120
111 1
.names i_3_ n_n10 [40]
01 1
.names i_4_ i_1_ [35] n_n160
011 1
.names i_3_ i_4_ n_n10 n_n158
001 1
.names i_3_ i_4_ n_n10 [37]
101 1
.names n_n160 [110] [513] n_n104
1-- 1
-1- 1
--1 1
.names i_3_ i_4_ i_2_ [44]
110 1
.names i_4_ [36] n_n123
11 1
.names i_3_ i_4_ [36] n_n129
111 1
.names [29] [519] n_n146
01 1
.names i_3_ i_4_ [32]
11 1
.names i_4_ n_n178 [28] n_n159
011 1
.names i_1_ i_2_ i_0_ [36]
101 1
.names i_3_ i_4_ [487] n_n125
111 1
.names o_27_ n_n120 n_n121 n_n111
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ i_0_ n_n13
000 1
.names i_1_ i_2_ i_0_ n_n10
010 1
.names i_2_ [30] [145] [34]
--1 1
11- 1
.names i_3_ i_2_ i_0_ [35]
010 1
.names i_1_ i_2_ [28] [38]
101 1
.names i_3_ i_1_ i_2_ [29]
1-- 1
-10 1
.names i_3_ i_4_ i_0_ [30]
100 1
.names i_3_ i_4_ n_n10 n_n121
011 1
.names i_4_ i_2_ n_n173
10 1
.names i_2_ [30] n_n152
11 1
.names [32] [36] [558] [46]
0-1 1
-01 1
.names i_1_ i_2_ [44] [49]
101 1
.names i_4_ n_n175 [29] [50]
11- 1
-11 1
.names i_2_ o_1_ [51]
11 1
.names i_3_ i_1_ i_2_ [54]
1-0 1
-10 1
.names i_4_ i_1_ i_2_ [59]
010 1
.names i_2_ i_0_ n_n12 [63]
011 1
.names n_n178 [128] [507] [64]
01- 1
0-1 1
.names n_n158 [147] [543] [69]
001 1
.names [29] [539] [73]
11 1
.names i_2_ [30] [74]
01 1
.names [33] [29] [78]
10 1
.names i_3_ i_4_ n_n13 [79]
101 1
.names i_3_ i_4_ [533] [82]
101 1
.names i_4_ n_n10 [83]
01 1
.names i_4_ n_n13 [87]
11 1
.names i_3_ [36] [100]
11 1
.names n_n123 n_n146 [520] [104]
001 1
.names n_n175 [40] [118] [105]
01- 1
0-1 1
.names i_1_ [30] [110]
11 1
.names i_3_ i_4_ i_2_ [114]
0-0 1
-10 1
.names n_n10 [128] [507] [118]
01- 1
0-1 1
.names i_3_ i_1_ i_2_ [120]
110 1
.names i_3_ i_1_ i_0_ [128]
010 1
.names [43] n_n111 [135] [133]
11- 1
1-1 1
.names i_4_ i_2_ i_0_ [134]
010 1
.names i_4_ i_2_ i_0_ [135]
101 1
.names [33] [497] [140]
01 1
.names i_3_ n_n13 [141]
11 1
.names i_2_ i_0_ [43] [142]
010 1
.names i_4_ [35] [143]
11 1
.names i_0_ [44] [145]
01 1
.names i_3_ i_4_ i_2_ [147]
100 1
.names i_1_ i_2_ [30] [160]
111 1
.names i_4_ i_1_ i_0_ [163]
010 1
.names i_3_ i_1_ i_0_ [164]
010 1
.names i_1_ i_4_ [484]
11 1
.names i_1_ i_2_ i_0_ [487]
100 1
.names i_4_ i_2_ i_0_ [488]
101 1
.names [32] n_n13 [488] [491]
11- 1
0-1 1
.names [37] n_n125 [491] [492]
1-- 1
-1- 1
--1 1
.names i_2_ [28] [43] [494]
--0 1
11- 1
00- 1
.names i_3_ n_n175 n_n13 [495]
-1- 1
0-1 1
.names n_n158 [147] [495] [496]
1-- 1
-1- 1
--1 1
.names i_3_ i_2_ i_0_ [497]
000 1
.names n_n152 [143] [145] [499]
1-- 1
-1- 1
--1 1
.names [140] [141] [142] [500]
1-- 1
-1- 1
--1 1
.names o_1_ n_n175 n_n12 [501]
1-- 1
-10 1
.names i_3_ i_4_ n_n178 [502]
0-0 1
-10 1
.names [43] [33] [503]
11 1
.names n_n178 [43] [134] [505]
--1 1
10- 1
.names [502] [503] [505] [506]
--1 1
11- 1
.names i_4_ i_2_ i_0_ [507]
-0- 1
0-0 1
.names i_1_ i_4_ [508]
10 1
.names n_n12 n_n160 n_n10 [510]
-1- 1
1-1 1
.names [33] n_n158 [120] [511]
1-- 1
-1- 1
--1 1
.names n_n178 [35] [484] [513]
1-- 1
-11 1
.names i_3_ i_0_ n_n178 [515]
--1 1
00- 1
.names [114] [30] [516]
1- 1
-1 1
.names i_4_ [515] [516] [517]
01- 1
0-1 1
.names n_n104 [44] [518]
1- 1
-1 1
.names i_4_ i_2_ i_0_ [519]
001 1
.names [32] [128] [507] [520]
01- 1
0-1 1
.names n_n158 n_n159 [100] [524]
1-- 1
-1- 1
--1 1
.names i_3_ i_4_ [525]
11 1
.names [35] [38] [508] [526]
-1- 1
1-1 1
.names n_n12 n_n159 n_n10 [527]
-1- 1
1-1 1
.names n_n125 n_n13 [525] [528]
1-- 1
-11 1
.names [526] [527] [528] [530]
1-- 1
-1- 1
--1 1
.names i_3_ n_n13 [38] [531]
--1 1
11- 1
.names i_1_ i_2_ i_0_ [533]
001 1
.names n_n178 n_n129 [30] [534]
-1- 1
1-1 1
.names [82] [83] [534] [536]
1-- 1
-1- 1
--1 1
.names [40] [78] [79] [538]
1-- 1
-1- 1
--1 1
.names i_4_ i_2_ i_0_ [539]
101 1
.names [38] [29] [519] [540]
1-- 1
-01 1
.names [73] [74] [540] [542]
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ [28] [543]
00- 1
-00 1
.names [69] [499] [500] [544]
1-- 1
-1- 1
--1 1
.names o_24_ n_n175 [41] [545]
0-1 1
-01 1
.names n_n12 n_n159 n_n13 [546]
-1- 1
1-1 1
.names n_n12 [128] [507] [547]
01- 1
0-1 1
.names i_3_ i_4_ [36] [548]
--0 1
01- 1
.names [64] [547] [548] [550]
1-- 1
-11 1
.names [29] n_n173 [59] [551]
--1 1
01- 1
.names n_n158 [147] [551] [552]
1-- 1
-1- 1
--1 1
.names i_4_ i_2_ i_0_ [553]
-01 1
0-0 1
.names n_n152 [49] [50] [556]
1-- 1
-1- 1
--1 1
.names i_3_ i_2_ i_0_ [558]
101 1
.names n_n12 n_n10 [46] [559]
--1 1
11- 1
.end