.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 [331] [332] o_1_
1- 1
-1 1
.names [359] [360] o_2_
1- 1
-1 1
.names [400] [401] o_0_
1- 1
-1 1
.names i_4_ [308] n_n43
01 1
.names i_4_ [309] n_n46
11 1
.names [62] [63] [5]
1- 1
-1 1
.names n_n51 n_n49 [8]
1- 1
-1 1
.names [26] [60] [9]
1- 1
-1 1
.names i_6_ n_n47 [17]
11 1
.names n_n55 n_n48 [19]
1- 1
-1 1
.names n_n44 [6] [22]
1- 1
-1 1
.names i_0_ [18] n_n56
11 1
.names i_4_ [322] n_n52
01 1
.names i_5_ [11] n_n44
00 1
.names i_0_ [25] n_n45
01 1
.names i_5_ [16] n_n55
11 1
.names i_0_ [311] n_n41
01 1
.names i_0_ [312] n_n42
11 1
.names i_0_ [310] n_n51
11 1
.names [339] [340] n_n112
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_0_ [313] n_n47
01 1
.names i_5_ [11] n_n48
10 1
.names i_0_ [18] n_n53
01 1
.names i_4_ [323] n_n54
11 1
.names n_n45 n_n42 [3]
1- 1
-1 1
.names i_6_ i_1_ [7]
1- 1
-1 1
.names i_6_ i_3_ [12]
1- 1
-1 1
.names i_1_ i_2_ [25]
10 1
.names i_6_ n_n49 [27]
01 1
.names i_1_ i_2_ [18]
11 1
.names i_0_ [25] n_n49
11 1
.names i_3_ i_4_ [11]
1- 1
-1 1
.names i_5_ [16] n_n50
01 1
.names n_n52 n_n50 [6]
1- 1
-1 1
.names i_6_ n_n41 [26]
01 1
.names [366] [367] [15]
11 1
.names n_n111 [372] [20]
11 1
.names [376] [377] [21]
11 1
.names n_n112 [382] [23]
01 1
.names n_n112 [385] [28]
01 1
.names n_n112 [388] [29]
01 1
.names n_n111 [390] [30]
01 1
.names [22] [392] [31]
11 1
.names n_n44 [393] [32]
11 1
.names [8] n_n44 [33]
11 1
.names n_n42 [348] [34]
01 1
.names n_n45 [350] [35]
01 1
.names n_n41 [351] [36]
01 1
.names n_n51 [352] [37]
11 1
.names n_n52 [14] [38]
11 1
.names n_n52 n_n51 [39]
11 1
.names n_n45 n_n55 [40]
11 1
.names n_n56 n_n44 [41]
10 1
.names n_n48 [342] [44]
01 1
.names n_n52 [343] [45]
11 1
.names [14] n_n54 [46]
11 1
.names i_0_ n_n55 [47]
11 1
.names i_6_ n_n55 [48]
11 1
.names [333] [334] [49]
11 1
.names [335] [336] [50]
11 1
.names [18] [337] [51]
11 1
.names i_2_ n_n55 [52]
11 1
.names i_6_ n_n56 [53]
11 1
.names [317] [318] [54]
11 1
.names [320] [321] [55]
11 1
.names [22] [325] [56]
01 1
.names [22] [326] [57]
01 1
.names [9] [327] [58]
11 1
.names [22] [328] [59]
01 1
.names i_6_ [3] [60]
11 1
.names i_6_ n_n53 [62]
01 1
.names i_6_ n_n56 [63]
11 1
.names i_3_ i_5_ [308]
10 1
.names i_3_ i_5_ [309]
00 1
.names i_2_ i_1_ [310]
10 1
.names i_2_ i_1_ [311]
00 1
.names i_2_ i_1_ [312]
00 1
.names i_2_ i_1_ [313]
10 1
.names n_n46 n_n43 [314]
00 1
.names [17] [8] [315]
00 1
.names [314] [19] [316]
10 1
.names [315] [5] [317]
10 1
.names [9] [316] [318]
01 1
.names n_n43 i_6_ [319]
01 1
.names [8] n_n46 [320]
10 1
.names [319] [19] [321]
10 1
.names i_3_ i_5_ [322]
11 1
.names i_3_ i_5_ [323]
01 1
.names n_n54 i_6_ [324]
00 1
.names [324] [8] [325]
11 1
.names [17] n_n54 [326]
10 1
.names [22] n_n54 [327]
00 1
.names [5] n_n54 [328]
10 1
.names [56] [55] [329]
1- 1
-1 1
.names [58] [57] [330]
1- 1
-1 1
.names [329] [59] [331]
1- 1
-1 1
.names [330] [54] [332]
1- 1
-1 1
.names i_2_ i_5_ [333]
11 1
.names [11] [7] [334]
11 1
.names i_4_ i_5_ [335]
11 1
.names i_0_ i_2_ [336]
11 1
.names [12] i_4_ [337]
11 1
.names [49] [50] [338]
1- 1
-1 1
.names [52] [51] [339]
1- 1
-1 1
.names [338] [53] [340]
1- 1
-1 1
.names i_6_ i_5_ [341]
11 1
.names n_n45 [341] [342]
11 1
.names i_0_ i_1_ [343]
11 1
.names [46] [45] [344]
1- 1
-1 1
.names [48] [47] [345]
1- 1
-1 1
.names [344] [44] [346]
1- 1
-1 1
.names i_0_ i_4_ [347]
11 1
.names n_n46 [347] [348]
01 1
.names i_1_ i_6_ [349]
11 1
.names n_n44 [349] [350]
01 1
.names [16] i_6_ [351]
11 1
.names n_n44 [14] [352]
01 1
.names [38] [36] [353]
1- 1
-1 1
.names [40] [39] [354]
1- 1
-1 1
.names [34] [41] [355]
1- 1
-1 1
.names [37] [35] [356]
1- 1
-1 1
.names [354] [353] [357]
1- 1
-1 1
.names [356] [355] [358]
1- 1
-1 1
.names n_n112 [357] [359]
1- 1
-1 1
.names [358] n_n111 [360]
1- 1
-1 1
.names n_n43 i_6_ [361]
01 1
.names n_n44 n_n46 [362]
00 1
.names n_n53 n_n47 [363]
00 1
.names [19] [8] [364]
00 1
.names [361] [3] [365]
10 1
.names [363] [362] [366]
11 1
.names [365] [364] [367]
11 1
.names n_n55 [7] [368]
11 1
.names n_n47 n_n41 [369]
00 1
.names [27] [3] [370]
00 1
.names [369] [368] [371]
11 1
.names [371] [370] [372]
11 1
.names [16] [14] [373]
00 1
.names n_n56 [7] [374]
01 1
.names n_n54 n_n53 [375]
00 1
.names [374] [373] [376]
11 1
.names [22] [375] [377]
01 1
.names [7] i_0_ [378]
00 1
.names n_n46 n_n43 [379]
00 1
.names [379] [378] [381]
11 1
.names [11] [381] [382]
11 1
.names [25] [7] [383]
01 1
.names n_n41 n_n44 [384]
01 1
.names [384] [383] [385]
11 1
.names i_2_ i_6_ [386]
10 1
.names n_n56 [386] [387]
01 1
.names [22] [387] [388]
01 1
.names [3] [16] [389]
10 1
.names [389] [22] [390]
10 1
.names i_6_ i_3_ [391]
01 1
.names [3] [391] [392]
11 1
.names [25] i_6_ [393]
11 1
.names [33] [32] [394]
1- 1
-1 1
.names [394] [31] [395]
1- 1
-1 1
.names [21] [15] [396]
1- 1
-1 1
.names [20] [395] [397]
1- 1
-1 1
.names [28] [23] [398]
1- 1
-1 1
.names [30] [29] [399]
1- 1
-1 1
.names [397] [396] [400]
1- 1
-1 1
.names [399] [398] [401]
1- 1
-1 1
.end