.model top
.inputs i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_14_ i_3_ i_13_ i_4_ i_12_ i_1_ i_11_ \
i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_
.names [251] [252] o_1_
1- 1
-1 1
.names n_n100 [262] o_2_
1- 1
-1 1
.names [266] [267] o_0_
1- 1
-1 1
.names [46] [268] o_7_
1- 1
-1 1
.names [270] [271] o_8_
1- 1
-1 1
.names [272] [273] o_5_
1- 1
-1 1
.names n_n191 [286] o_6_
1- 1
-1 1
.names [287] [288] o_3_
1- 1
-1 1
.names [13] [289] o_4_
1- 1
-1 1
.names i_1_ n_n589 n_n326
01 1
.names i_2_ i_0_ n_n589
10 1
.names i_2_ [21] n_n50
01 1
.names n_n589 [21] [11]
1- 1
-1 1
.names i_5_ i_6_ [17]
0- 1
-0 1
.names i_7_ i_8_ n_n346
00 1
.names [256] [257] n_n100
1- 1
-1 1
.names i_7_ i_3_ n_n22
00 1
.names i_9_ i_10_ [20]
-1 1
10 1
.names i_10_ i_7_ n_n55
00 1
.names i_3_ [12] [33]
0- 1
-1 1
.names i_9_ i_7_ n_n60
10 1
.names i_1_ i_2_ [12]
1- 1
-1 1
.names [276] [277] n_n191
1- 1
-1 1
.names i_1_ i_2_ [9]
0- 1
-0 1
.names n_n50 n_n55 [40]
11 1
.names n_n346 [59] [10]
1- 1
-1 1
.names i_7_ n_n589 n_n324
01 1
.names i_10_ i_8_ n_n79
00 1
.names n_n55 n_n79 n_n84
11 1
.names i_9_ i_10_ n_n59
10 1
.names i_2_ n_n346 [19]
11 1
.names n_n79 n_n59 n_n81
11 1
.names i_1_ i_0_ [21]
10 1
.names i_10_ i_14_ [15]
00 1
.names i_7_ n_n79 [18]
01 1
.names n_n22 n_n84 [38]
01 1
.names n_n22 n_n81 [39]
11 1
.names i_11_ n_n60 [13]
00 1
.names i_9_ i_7_ [16]
00 1
.names i_11_ i_0_ [23]
01 1
.names i_7_ i_0_ [24]
01 1
.names i_12_ i_11_ [25]
00 1
.names i_7_ i_12_ [26]
00 1
.names [279] [280] [27]
11 1
.names [282] [283] [28]
11 1
.names n_n326 n_n55 [29]
11 1
.names [38] [274] [32]
11 1
.names [18] [275] [34]
11 1
.names [12] [39] [35]
01 1
.names n_n324 [15] [36]
11 1
.names n_n60 [12] [37]
11 1
.names i_0_ n_n60 [41]
00 1
.names n_n22 n_n60 [42]
11 1
.names i_12_ n_n60 [43]
11 1
.names i_9_ [33] [45]
10 1
.names i_8_ [33] [46]
01 1
.names [11] [263] [48]
11 1
.names n_n589 [264] [49]
11 1
.names n_n589 [265] [50]
11 1
.names i_3_ n_n50 [51]
11 1
.names [20] [259] [52]
11 1
.names [260] [261] [53]
11 1
.names [253] [254] [55]
11 1
.names [10] [255] [56]
11 1
.names i_7_ i_0_ [59]
00 1
.names [11] [248] [61]
11 1
.names [17] [249] [62]
11 1
.names i_3_ n_n50 [63]
11 1
.names i_4_ n_n326 [64]
11 1
.names i_3_ n_n326 [65]
11 1
.names [17] i_3_ [248]
11 1
.names n_n589 i_4_ [249]
11 1
.names [62] [61] [250]
1- 1
-1 1
.names [64] [63] [251]
1- 1
-1 1
.names [250] [65] [252]
1- 1
-1 1
.names i_1_ i_3_ [253]
00 1
.names n_n22 i_0_ [254]
00 1
.names n_n59 i_1_ [255]
10 1
.names [19] n_n589 [256]
1- 1
-1 1
.names [56] [55] [257]
1- 1
-1 1
.names i_0_ i_3_ [258]
00 1
.names n_n50 [258] [259]
01 1
.names i_1_ i_10_ [260]
01 1
.names n_n22 n_n346 [261]
11 1
.names [52] [53] [262]
1- 1
-1 1
.names i_4_ i_3_ [263]
01 1
.names i_1_ i_4_ [264]
10 1
.names i_1_ i_5_ [265]
11 1
.names [50] [49] [266]
1- 1
-1 1
.names [51] [48] [267]
1- 1
-1 1
.names [45] n_n55 [268]
1- 1
-0 1
.names [37] n_n55 [269]
1- 1
-0 1
.names [42] [41] [270]
1- 1
-1 1
.names [269] [43] [271]
1- 1
-1 1
.names i_12_ i_13_ [272]
1- 1
-0 1
.names n_n55 i_0_ [273]
0- 1
-1 1
.names [12] n_n60 [274]
00 1
.names [12] i_0_ [275]
11 1
.names [36] [34] [276]
1- 1
-1 1
.names [35] [32] [277]
1- 1
-1 1
.names i_0_ i_3_ [278]
01 1
.names n_n60 n_n55 [279]
01 1
.names [278] [9] [280]
11 1
.names i_0_ i_3_ [281]
00 1
.names n_n60 n_n55 [282]
11 1
.names [281] [9] [283]
11 1
.names [27] [40] [284]
1- 1
-1 1
.names [29] [28] [285]
1- 1
-1 1
.names [285] [284] [286]
1- 1
-1 1
.names [24] [23] [287]
1- 1
-1 1
.names [26] [25] [288]
1- 1
-1 1
.names [10] [16] [289]
1- 1
-1 1
.end