.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 o_2_ [50] [51] [242] [252] o_1_
-1-1- 1
--11- 1
1---1 1
.names i_3_ i_1_ [12] [34] [246] o_2_
111-1 1
11-11 1
.names i_2_ i_0_ [51] [229] [230] o_0_
--1-- 1
01-11 1
.names i_10_ i_2_ i_24_ i_21_ [12] o_7_
----1 1
0001- 1
.names i_10_ i_2_ i_24_ i_0_ [11] o_5_
----1 1
0001- 1
.names [40] [41] [42] [43] [260] o_6_
1---- 1
-1--- 1
--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 [25] [26] [278] o_4_
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names i_7_ i_5_ i_13_ i_24_ i_19_ [11]
11-1- 1
1-11- 1
-00-1 1
-1101 1
.names i_5_ i_13_ i_18_ i_24_ i_15_ [12]
1-11- 1
-111- 1
00--1 1
11-01 1
.names i_10_ i_2_ i_24_ i_21_ [34]
0001 1
.names [11] [30] [46] [266] [269] n_n227
-1--- 1
----1 1
1--1- 1
--11- 1
.names [11] [46] [271] [14]
1-1 1
-11 1
.names [12] [34] [273] [15]
1-1 1
-11 1
.names i_17_ i_16_ i_22_ [11] [46] [16]
1001- 1
100-1 1
.names i_17_ i_16_ i_22_ [12] [34] [17]
0111- 1
011-1 1
.names i_5_ i_13_ i_19_ [11] [46] [25]
001-- 1
1111- 1
111-1 1
.names i_7_ i_5_ i_13_ i_24_ i_19_ [26]
11-1- 1
1-11- 1
-0011 1
.names i_9_ i_16_ [12] [34] [30]
011- 1
01-1 1
.names i_20_ i_14_ i_11_ [11] [46] [40]
1001- 1
100-1 1
.names i_20_ i_14_ i_11_ [12] [34] [41]
0111- 1
011-1 1
.names i_6_ i_11_ [11] [46] [42]
101- 1
10-1 1
.names i_6_ i_11_ [12] [34] [43]
011- 1
01-1 1
.names i_10_ i_2_ i_24_ i_0_ [46]
0001 1
.names i_2_ i_0_ [229] [230] [50]
0111 1
.names i_3_ i_1_ [11] [235] [51]
0011 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_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_ [240] [242]
00001 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_ [250] [252]
11111 1
.names i_3_ [11] [12] [34] [46] [260]
11--- 1
0-1-- 1
0--1- 1
1---1 1
.names i_10_ i_8_ i_2_ i_24_ i_21_ [263]
01001 1
.names i_8_ [12] [245] [246] [263] [265]
--111 1
1111- 1
.names i_16_ i_9_ [266]
01 1
.names i_8_ [11] [12] [34] [46] [269]
11--- 1
0-1-- 1
0--1- 1
1---1 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 [14] [15] [16] [17] [278]
1--- 1
-1-- 1
--1- 1
---1 1
.end