.model top
.inputs i_20_ i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_14_ i_3_ i_13_ i_4_ i_12_ i_1_ \
i_11_ i_2_ i_23_ i_18_ i_24_ i_17_ i_0_ i_21_ i_16_ i_22_ i_15_ i_19_
.outputs o_1_ o_2_ o_0_ o_7_ o_5_ o_6_ o_3_ o_4_
.names [49] [50] [51] [242] o_1_
1--- 1
-1-1 1
--11 1
.names i_3_ i_1_ o_7_ [246] o_2_
1111 1
.names [51] [228] [229] [230] o_0_
1--- 1
-111 1
.names [34] [54] [55] o_7_
1-- 1
-1- 1
--1 1
.names [46] [52] [53] o_5_
1-- 1
-1- 1
--1 1
.names [44] [45] [261] o_6_
1-- 1
-1- 1
--1 1
.names i_8_ [50] [51] [265] o_3_
---1 1
01-- 1
0-1- 1
.names i_8_ n_n227 [13] [278] o_4_
-1-- 1
---1 1
1-1- 1
.names i_10_ i_2_ i_24_ i_21_ [34]
0001 1
.names i_2_ i_24_ i_21_ [21]
001 1
.names [29] [30] [35] [36] n_n227
1--- 1
-1-- 1
--1- 1
---1 1
.names i_19_ [9] [26] [27] [13]
--1- 1
10-- 1
1--1 1
.names i_5_ i_13_ [9]
1- 1
-1 1
.names i_5_ i_13_ [33]
11 1
.names [46] [52] [53] [271] [14]
1--1 1
-1-1 1
--11 1
.names [34] [54] [55] [273] [15]
1--1 1
-1-1 1
--11 1
.names [46] [52] [53] [274] [16]
1--1 1
-1-1 1
--11 1
.names [34] [54] [55] [275] [17]
1--1 1
-1-1 1
--11 1
.names i_24_ [52] [53] [26]
11- 1
1-1 1
.names [33] [46] [52] [53] [27]
11-- 1
1-1- 1
1--1 1
.names [46] [52] [53] [266] [29]
1--1 1
-1-1 1
--11 1
.names [34] [54] [55] [267] [30]
1--1 1
-1-1 1
--11 1
.names i_8_ [46] [52] [53] [35]
11-- 1
1-1- 1
1--1 1
.names i_8_ [34] [54] [55] [36]
01-- 1
0-1- 1
0--1 1
.names [21] [245] [246] [262] [37]
1111 1
.names [46] [52] [53] [254] [40]
1--1 1
-1-1 1
--11 1
.names [34] [54] [55] [255] [41]
1--1 1
-1-1 1
--11 1
.names [46] [52] [53] [256] [42]
1--1 1
-1-1 1
--11 1
.names [34] [54] [55] [257] [43]
1--1 1
-1-1 1
--11 1
.names i_3_ [46] [52] [53] [44]
11-- 1
1-1- 1
1--1 1
.names i_3_ [34] [54] [55] [45]
01-- 1
0-1- 1
0--1 1
.names i_10_ i_2_ i_24_ i_0_ [46]
0001 1
.names o_7_ [245] [246] [252] [49]
1111 1
.names i_2_ i_0_ [229] [230] [50]
0111 1
.names [52] [53] [234] [235] [51]
1-11 1
-111 1
.names i_7_ i_5_ i_13_ i_24_ [52]
11-1 1
1-11 1
.names i_5_ i_13_ i_24_ i_19_ [53]
00-1 1
1101 1
.names i_5_ i_13_ i_18_ i_24_ [54]
1-11 1
-111 1
.names i_5_ i_13_ i_24_ i_15_ [55]
00-1 1
1101 1
.names i_0_ i_2_ [228]
10 1
.names i_10_ i_14_ i_11_ i_24_ [229]
0000 1
.names i_20_ i_6_ i_3_ i_1_ [230]
0000 1
.names i_1_ i_3_ [234]
00 1
.names i_20_ i_6_ i_14_ i_11_ [235]
0000 1
.names i_9_ i_8_ i_16_ i_22_ [240]
0000 1
.names i_4_ i_12_ i_23_ i_17_ [241]
0000 1
.names [241] [240] [242]
11 1
.names i_1_ i_3_ [245]
11 1
.names i_20_ i_6_ i_14_ i_11_ [246]
1111 1
.names i_9_ i_8_ i_16_ i_22_ [250]
1111 1
.names i_4_ i_12_ i_23_ i_17_ [251]
1111 1
.names [251] [250] [252]
11 1
.names i_20_ i_14_ i_11_ [254]
100 1
.names i_20_ i_14_ i_11_ [255]
011 1
.names i_11_ i_6_ [256]
01 1
.names i_11_ i_6_ [257]
10 1
.names [40] [41] [42] [43] [261]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_8_ i_10_ [262]
10 1
.names i_8_ i_3_ i_1_ [246] [264]
1111 1
.names [37] [54] [55] [264] [265]
1--- 1
-1-1 1
--11 1
.names i_16_ i_9_ [266]
01 1
.names i_16_ i_9_ [267]
10 1
.names i_4_ i_23_ i_16_ i_22_ [271]
1000 1
.names i_4_ i_23_ i_16_ i_22_ [273]
0111 1
.names i_17_ i_16_ i_22_ [274]
100 1
.names i_17_ i_16_ i_22_ [275]
011 1
.names [14] [15] [16] [17] [278]
1--- 1
-1-- 1
--1- 1
---1 1
.end