.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 [31] [12] [34] [48] [250] [251] o_1_
---1-- 1
11--11 1
1-1-11 1
.names i_10_ i_2_ i_24_ i_21_ [31] [12] o_2_
----11 1
00011- 1
.names [11] [230] [231] [236] o_0_
-11- 1
1--1 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 [258] [259] [260] o_6_
1-- 1
-1- 1
--1 1
.names i_8_ [31] [12] [39] [263] o_3_
---1- 1
-1--1 1
111-- 1
.names i_8_ [13] [268] [269] [276] [277] o_4_
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names i_20_ i_6_ i_14_ i_3_ i_1_ i_11_ [31]
111111 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 i_7_ i_5_ i_13_ i_24_ i_19_ [13]
11-1- 1
1-11- 1
-00-1 1
-1101 1
.names i_8_ [11] [230] [231] [236] [39]
0-11- 1
01--1 1
.names i_10_ i_2_ i_24_ i_0_ [46]
0001 1
.names [11] [230] [231] [236] [240] [241] [48]
-11-11 1
1--111 1
.names i_20_ i_6_ i_3_ i_1_ [230]
0000 1
.names i_10_ i_14_ i_11_ i_2_ i_24_ i_0_ [231]
000001 1
.names i_20_ i_6_ i_14_ i_3_ i_1_ i_11_ [236]
000000 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 i_9_ i_8_ i_16_ i_22_ [250]
1111 1
.names i_4_ i_12_ i_23_ i_17_ [251]
1111 1
.names i_20_ i_14_ i_11_ [254]
100 1
.names i_20_ i_14_ i_11_ [255]
011 1
.names [11] [12] [34] [46] [254] [255] [258]
1---1- 1
---11- 1
-1---1 1
--1--1 1
.names i_6_ i_11_ [11] [12] [34] [46] [259]
101--- 1
01-1-- 1
01--1- 1
10---1 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_9_ i_16_ [11] [12] [34] [46] [268]
101--- 1
01-1-- 1
01--1- 1
10---1 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 i_17_ i_16_ i_22_ [274]
100 1
.names i_17_ i_16_ i_22_ [275]
011 1
.names [11] [12] [34] [46] [271] [273] [276]
1---1- 1
---11- 1
-1---1 1
--1--1 1
.names [11] [12] [34] [46] [274] [275] [277]
1---1- 1
---11- 1
-1---1 1
--1--1 1
.end