.model top
.inputs i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_
.names [54] [330] [331] o_1_
1-- 1
-1- 1
--1 1
.names n_n112 [357] [360] o_2_
1-- 1
-1- 1
--1 1
.names [398] [399] [400] o_0_
1-- 1
-1- 1
--1 1
.names i_5_ i_3_ i_4_ n_n43
010 1
.names i_5_ i_3_ i_4_ n_n46
001 1
.names i_6_ i_0_ [18] [5]
111 1
001 1
.names i_1_ i_2_ i_0_ [8]
011 1
101 1
.names i_6_ n_n41 [3] [9]
01- 1
1-1 1
.names i_5_ i_3_ i_4_ [19]
111 1
100 1
.names i_5_ i_3_ i_4_ [22]
011 1
110 1
000 1
.names i_1_ i_2_ i_0_ n_n56
111 1
.names i_5_ i_3_ i_4_ n_n52
110 1
.names i_5_ i_3_ i_4_ n_n44
000 1
.names i_1_ i_2_ i_0_ n_n45
100 1
.names i_5_ i_3_ i_4_ n_n55
111 1
.names i_1_ i_2_ i_0_ n_n41
000 1
.names i_1_ i_2_ i_0_ n_n42
001 1
.names i_1_ i_2_ i_0_ n_n51
011 1
.names [51] [52] [340] n_n112
1-- 1
-1- 1
--1 1
.names [345] [346] n_n111
1- 1
-1 1
.names i_6_ i_0_ [14]
11 1
.names i_3_ i_4_ [16]
11 1
.names i_1_ i_2_ i_0_ n_n47
010 1
.names i_5_ i_3_ i_4_ n_n48
100 1
.names i_1_ i_2_ i_0_ n_n53
110 1
.names i_5_ i_3_ i_4_ n_n54
101 1
.names i_1_ i_2_ i_0_ [3]
001 1
100 1
.names i_6_ i_1_ [7]
1- 1
-1 1
.names i_1_ i_2_ [18]
11 1
.names i_1_ i_2_ i_0_ n_n49
101 1
.names i_3_ i_4_ [11]
1- 1
-1 1
.names [364] [365] [366] [15]
111 1
.names [345] [346] [372] [20]
1-1 1
-11 1
.names [373] [374] [377] [21]
111 1
.names [339] [340] [382] [23]
001 1
.names [339] [340] [385] [28]
001 1
.names [339] [340] [388] [29]
001 1
.names [345] [346] [390] [30]
001 1
.names [22] [3] [391] [31]
111 1
.names n_n46 n_n42 [347] [34]
001 1
.names n_n44 n_n45 [349] [35]
001 1
.names n_n41 [351] [36]
01 1
.names n_n44 n_n51 [14] [37]
011 1
.names n_n52 n_n51 [39]
11 1
.names n_n45 n_n55 [40]
11 1
.names n_n45 n_n48 [341] [44]
101 1
.names i_1_ i_0_ n_n52 [45]
111 1
.names i_6_ i_0_ n_n54 [46]
111 1
.names [7] [11] [333] [49]
111 1
.names i_5_ i_4_ [336] [50]
111 1
.names i_1_ i_2_ [337] [51]
111 1
.names i_2_ n_n55 [52]
11 1
.names i_6_ n_n56 [53]
11 1
.names [5] [315] [318] [54]
011 1
.names n_n46 [8] [321] [55]
011 1
.names [22] [325] [56]
01 1
.names [22] [326] [57]
01 1
.names [5] [22] n_n54 [59]
100 1
.names i_6_ [8] n_n47 [315]
00- 1
-00 1
.names i_5_ i_3_ i_4_ [316]
011 1
101 1
110 1
000 1
.names [9] [316] [318]
01 1
.names i_6_ n_n43 [19] [321]
100 1
.names i_6_ [8] n_n54 [325]
010 1
.names i_6_ n_n47 n_n54 [326]
110 1
.names i_5_ i_3_ i_4_ [327]
111 1
001 1
010 1
100 1
.names [9] [57] [327] [330]
-1- 1
1-1 1
.names [55] [56] [59] [331]
1-- 1
-1- 1
--1 1
.names i_2_ i_5_ [333]
11 1
.names i_0_ i_2_ [336]
11 1
.names i_6_ i_3_ i_4_ [337]
1-1 1
-11 1
.names i_2_ n_n55 [51] [339]
--1 1
11- 1
.names [49] [50] [53] [340]
1-- 1
-1- 1
--1 1
.names i_6_ i_5_ [341]
11 1
.names i_6_ i_0_ n_n55 [345]
1-1 1
-11 1
.names [44] [45] [46] [346]
1-- 1
-1- 1
--1 1
.names i_0_ i_4_ [347]
11 1
.names i_1_ i_6_ [349]
11 1
.names i_6_ i_3_ i_4_ [351]
111 1
.names n_n52 [14] [36] [353]
--1 1
11- 1
.names n_n56 n_n44 [34] [355]
--1 1
10- 1
.names [37] [35] [356]
1- 1
-1 1
.names [39] [40] [353] [357]
1-- 1
-1- 1
--1 1
.names n_n111 [355] [356] [360]
1-- 1
-1- 1
--1 1
.names i_5_ i_3_ [362]
1- 1
-1 1
.names [19] [8] [364]
00 1
.names i_6_ n_n43 [3] [365]
100 1
.names i_2_ i_0_ [362] [366]
0-1 1
-11 1
.names i_1_ i_0_ [369]
1- 1
-1 1
.names i_6_ [3] n_n49 [370]
10- 1
-00 1
.names n_n55 [7] [369] [371]
111 1
.names [371] [370] [372]
11 1
.names i_3_ i_4_ [14] [373]
0-0 1
-00 1
.names i_6_ i_1_ n_n56 [374]
1-0 1
-10 1
.names [22] n_n53 n_n54 [377]
000 1
.names i_6_ i_1_ i_0_ [378]
000 1
.names i_5_ i_3_ i_4_ [379]
1-- 1
-11 1
-00 1
.names i_3_ i_4_ [380]
1- 1
-1 1
.names [378] [379] [380] [382]
111 1
.names i_6_ i_1_ i_2_ [383]
10- 1
1-1 1
-11 1
.names n_n44 n_n41 [383] [385]
101 1
.names i_2_ i_6_ [386]
10 1
.names [22] n_n56 [386] [388]
001 1
.names [22] [16] [3] [390]
001 1
.names i_6_ i_3_ [391]
01 1
.names i_6_ i_1_ i_2_ [393]
110 1
.names [8] n_n44 [393] [394]
11- 1
-11 1
.names [394] [31] [395]
1- 1
-1 1
.names [21] [15] [396]
1- 1
-1 1
.names [28] [23] [398]
1- 1
-1 1
.names [30] [29] [399]
1- 1
-1 1
.names [20] [395] [396] [400]
1-- 1
-1- 1
--1 1
.end