.model top
.inputs i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_9_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_
.names [101] [346] o_1_
1- 1
-1 1
.names n_n52 [86] [87] o_2_
1-- 1
-1- 1
--1 1
.names i_4_ [39] [355] o_0_
--1 1
11- 1
.names [25] [30] [356] o_9_
0-1 1
-11 1
.names i_3_ i_2_ o_7_
01 1
10 1
.names i_3_ o_8_
0 1
.names i_0_ [43] [42] o_5_
11- 1
0-1 1
.names i_3_ i_1_ i_2_ o_6_
01- 1
-11 1
100 1
.names n_n60 [60] [361] o_3_
1-- 1
-1- 1
--1 1
.names [15] [366] o_4_
1- 1
-1 1
.names i_5_ i_1_ i_0_ [12]
100 1
.names i_5_ i_6_ i_4_ [27]
100 1
.names i_5_ i_4_ [28]
01 1
.names [95] [348] n_n52
1- 1
-1 1
.names i_3_ i_2_ [10]
0- 1
-0 1
.names i_1_ i_0_ [16]
1- 1
-1 1
.names [10] [25] [84] [39]
--1 1
11- 1
.names i_3_ i_1_ i_2_ [43]
1-1 1
0-0 1
-00 1
.names i_3_ i_1_ i_2_ [42]
0-1 1
110 1
.names i_5_ [50] [67] n_n60
--1 1
01- 1
.names i_1_ i_2_ i_0_ [18]
--0 1
00- 1
.names i_6_ i_0_ [29]
01 1
.names i_3_ i_1_ i_2_ [47]
101 1
010 1
.names i_0_ [51] [358] [50]
--1 1
01- 1
.names i_6_ i_0_ [17] [53]
00- 1
0-1 1
.names i_3_ i_2_ [11]
1- 1
-1 1
.names i_3_ i_1_ i_2_ [17]
-0- 1
0-0 1
.names i_6_ i_0_ [25]
00 1
.names i_3_ i_1_ i_2_ [30]
111 1
.names i_3_ i_2_ [38]
0- 1
-0 1
.names i_1_ i_0_ [37]
1- 1
-1 1
.names i_3_ i_2_ i_0_ [49]
11- 1
1-1 1
-11 1
.names i_6_ i_1_ [10] [51]
11- 1
1-0 1
-10 1
.names i_6_ i_0_ [363] [13]
011 1
.names i_6_ [47] [14]
01 1
.names i_6_ [23] [364] [15]
11- 1
1-1 1
.names i_1_ [10] [25] [19]
111 1
.names i_1_ [49] [23]
11 1
.names i_3_ i_1_ i_0_ [24]
000 1
.names i_6_ i_0_ [359] [59]
011 1
.names i_5_ [64] [65] [60]
11- 1
1-1 1
.names i_3_ i_2_ [12] [61]
0-1 1
-01 1
.names i_5_ i_6_ [18] [62]
110 1
.names i_3_ i_2_ [25] [64]
0-1 1
-01 1
.names i_0_ [17] [65]
10 1
.names i_6_ [12] [67]
01 1
.names i_1_ i_2_ i_0_ [70]
001 1
.names [10] [16] [354] [81]
0-1 1
-11 1
.names i_6_ i_1_ i_0_ [84]
000 1
.names [10] [16] [349] [86]
101 1
.names i_4_ [351] [352] [87]
11- 1
1-1 1
.names i_5_ i_6_ [37] [89]
111 1
.names i_3_ i_2_ [12] [92]
111 1
.names i_0_ [27] [30] [94]
11- 1
-11 1
.names i_4_ [98] [99] [95]
01- 1
0-1 1
.names i_5_ i_6_ [18] [98]
011 1
.names i_6_ i_0_ [17] [99]
010 1
.names i_6_ [12] [105] [100]
01- 1
-11 1
.names i_0_ [107] [108] [101]
11- 1
1-1 1
.names i_5_ [10] [25] [102]
111 1
.names i_3_ i_4_ i_2_ [105]
00- 1
-00 1
.names i_5_ i_4_ [342] [107]
011 1
.names i_5_ [109] [110] [108]
01- 1
0-1 1
.names i_4_ i_1_ i_2_ [109]
111 1
.names i_6_ i_1_ i_2_ [110]
11- 1
1-1 1
.names i_1_ i_3_ [342]
11 1
.names i_5_ i_6_ i_4_ [344]
011 1
100 1
.names [100] [102] [344] [346]
1-- 1
-1- 1
--1 1
.names [28] [53] [94] [348]
--1 1
11- 1
.names i_4_ i_6_ [349]
01 1
.names [25] [38] [89] [351]
--1 1
11- 1
.names i_6_ [18] [92] [352]
--1 1
10- 1
.names i_5_ i_6_ i_4_ [354]
110 1
.names i_5_ i_4_ [81] [355]
--1 1
01- 1
.names i_4_ i_5_ [356]
11 1
.names [29] [11] [70] [358]
--1 1
10- 1
.names i_1_ i_5_ [359]
00 1
.names [59] [61] [62] [361]
1-- 1
-1- 1
--1 1
.names i_2_ i_1_ [363]
10 1
.names i_1_ i_2_ [24] [364]
--1 1
00- 1
.names [13] [14] [19] [366]
1-- 1
-1- 1
--1 1
.end