.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 [28] [140] o_2_
1- 1
-1 1
.names n_n10 [9] [30] o_0_
--1 1
11- 1
.names i_3_ i_4_ o_7_
10 1
.names [33] [34] [35] o_5_
1-- 1
-1- 1
--1 1
.names i_3_ i_4_ i_2_ o_6_
011 1
110 1
.names [22] [146] [148] o_3_
1-- 1
-1- 1
--1 1
.names [153] [154] [157] o_4_
1-- 1
-1- 1
--1 1
.names i_3_ i_4_ n_n10
11 1
.names i_1_ i_2_ [8]
0- 1
-1 1
.names i_2_ i_0_ [9]
11 1
.names i_3_ i_4_ i_1_ [12]
100 1
.names i_1_ i_2_ [150] [13]
101 1
.names o_6_ [151] [14]
01 1
.names i_3_ i_4_ [8] [17]
100 1
.names [141] [142] [143] [19]
0-1 1
-01 1
.names i_0_ [12] [22]
11 1
.names n_n10 [9] [30] [28]
010 1
.names i_1_ i_0_ [30]
11 1
.names i_3_ i_4_ [9] [32]
0-1 1
-01 1
.names i_4_ i_1_ i_2_ [33]
101 1
.names i_3_ i_4_ i_2_ [34]
001 1
.names i_4_ i_1_ i_2_ [35]
110 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 o_0_ [138] [139] [140]
01- 1
1-1 1
.names i_2_ i_1_ [141]
11 1
.names i_3_ i_4_ i_0_ [142]
010 1
.names i_1_ i_4_ [143]
11 1
.names i_3_ i_4_ i_0_ [144]
111 1
.names i_0_ i_1_ [145]
01 1
.names o_7_ [8] [145] [146]
00- 1
1-1 1
.names o_0_ [19] [144] [148]
-1- 1
0-1 1
.names i_3_ i_4_ i_0_ [149]
011 1
.names i_3_ i_4_ i_0_ [150]
110 1
.names i_3_ i_4_ i_0_ [151]
110 1
.names i_0_ i_4_ [152]
11 1
.names [17] [141] [142] [153]
1-- 1
-11 1
.names i_2_ [12] [13] [154]
--1 1
11- 1
.names o_0_ [14] [152] [155]
-1- 1
0-1 1
.names o_5_ [149] [155] [157]
--1 1
11- 1
.end