.model top
.inputs i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_7_ o_5_ o_6_ o_3_ o_4_
.names o_5_ [32] [137] o_1_
-1- 1
0-1 1
.names n_n10 [9] [30] [140] o_2_
---1 1
010- 1
.names i_1_ i_0_ [29] o_0_
--1 1
11- 1
.names i_3_ i_4_ o_7_
10 1
.names i_3_ i_4_ i_1_ i_2_ o_5_
00-1 1
-101 1
-110 1
.names i_3_ i_4_ i_2_ o_6_
011 1
110 1
.names [19] [20] [147] o_3_
1-- 1
-1- 1
--1 1
.names [11] [153] [154] [155] o_4_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_3_ i_4_ n_n10
11 1
.names i_2_ i_0_ [9]
11 1
.names i_3_ i_4_ i_0_ o_5_ [11]
0111 1
.names i_3_ i_4_ i_2_ i_0_ [14]
1110 1
.names i_3_ i_4_ i_1_ i_2_ [16]
1001 1
.names i_3_ i_4_ i_1_ i_2_ [17]
1010 1
.names i_4_ i_1_ i_2_ [142] [19]
110- 1
11-0 1
.names i_1_ i_0_ [29] [144] [20]
0-01 1
-001 1
.names i_3_ i_4_ i_1_ i_0_ [21]
1010 1
.names i_3_ i_4_ i_1_ i_0_ [22]
1001 1
.names i_3_ i_4_ i_1_ i_2_ [23]
0-10 1
-110 1
.names i_3_ i_4_ i_2_ i_0_ [29]
1111 1
.names i_1_ i_0_ [30]
11 1
.names i_3_ i_4_ i_2_ i_0_ [32]
0-11 1
-011 1
.names i_1_ i_2_ i_0_ [137]
0-1 1
-11 1
.names i_2_ i_1_ [138]
11 1
.names i_1_ i_3_ [139]
11 1
.names [29] [30] [138] [139] [140]
1--1 1
-1-1 1
001- 1
.names i_3_ i_4_ i_0_ [142]
010 1
.names i_3_ i_4_ i_0_ [144]
111 1
.names [21] [22] [23] [147]
1-- 1
-1- 1
--1 1
.names i_3_ i_4_ i_0_ [150]
110 1
.names i_0_ i_4_ [152]
11 1
.names i_1_ i_2_ [17] [142] [153]
--1- 1
11-1 1
.names i_1_ i_2_ [16] [150] [154]
--1- 1
10-1 1
.names [14] [29] [30] [152] [155]
1--- 1
-001 1
.end