.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_7_ [31] [11] [230] [231] [236] [242] [252] o_1_
---11-1- 1
--1--11- 1
11-----1 1
.names i_20_ i_6_ i_14_ i_3_ i_1_ i_11_ o_7_ o_2_
1111111 1
.names i_20_ i_6_ i_14_ i_3_ i_1_ i_11_ [11] [231] o_0_
00-00--1 1
0000001- 1
.names i_10_ i_5_ i_13_ i_2_ i_18_ i_24_ i_21_ i_15_ o_7_
-1--11-- 1
--1-11-- 1
-00----1 1
0--0-01- 1
-11--0-1 1
.names i_10_ i_7_ i_5_ i_13_ i_2_ i_24_ i_0_ i_19_ o_5_
-11--1-- 1
-1-1-1-- 1
--00---1 1
0---001- 1
--11-0-1 1
.names i_20_ i_6_ i_14_ i_3_ i_11_ o_7_ o_5_ o_6_
---0-1- 1
---1--1 1
-0--11- 1
-1--0-1 1
0-1-11- 1
1-0-0-1 1
.names i_8_ [31] [11] [12] [230] [231] [236] [263] o_3_
-1-----1 1
11-1---- 1
0---11-- 1
0-1---1- 1
.names i_9_ i_8_ i_16_ o_7_ o_5_ [13] [278] o_4_
------1 1
-0-1--- 1
-1--1-- 1
-1---1- 1
0-11--- 1
1-0-1-- 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_7_ i_5_ i_13_ i_24_ i_19_ [13]
11-1- 1
1-11- 1
-00-1 1
-1101 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_4_ i_12_ i_23_ i_17_ i_16_ i_22_ [242]
00000000 1
.names i_9_ i_8_ i_4_ i_12_ i_23_ i_17_ i_16_ i_22_ [252]
11111111 1
.names i_10_ i_8_ i_2_ i_24_ i_21_ [263]
01001 1
.names i_4_ i_23_ i_17_ i_16_ i_22_ o_7_ o_5_ [278]
--0111- 1
--100-1 1
01-111- 1
10-00-1 1
.end