.model top
.inputs i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_3_
.names [635] [636] [651] o_1_
1-- 1
-1- 1
--1 1
.names n_n18 n_n17 n_n19 o_2_
111 1
.names n_n21 [716] [717] o_0_
1-- 1
-1- 1
--1 1
.names [741] [742] [759] o_3_
1-- 1
-1- 1
--1 1
.names i_7_ i_6_ n_n1
01 1
.names i_7_ i_6_ n_n0
00 1
.names i_5_ i_3_ i_4_ [4]
011 1
101 1
.names i_5_ i_3_ i_4_ [5]
010 1
100 1
.names i_1_ i_2_ i_0_ [6]
001 1
100 1
.names i_1_ i_2_ i_0_ [7]
011 1
110 1
.names i_1_ i_2_ i_0_ [9]
111 1
010 1
.names i_5_ i_3_ i_4_ [12]
110 1
000 1
.names i_5_ i_3_ i_4_ [13]
111 1
001 1
.names i_1_ i_2_ i_0_ [17]
101 1
000 1
.names i_5_ i_3_ i_4_ n_n18
111 1
.names i_5_ i_3_ i_4_ n_n7
100 1
.names i_5_ i_3_ i_4_ n_n6
000 1
.names i_1_ i_2_ i_0_ n_n5
101 1
.names i_1_ i_2_ i_0_ n_n2
000 1
.names i_5_ i_3_ i_4_ n_n13
001 1
.names n_n24 n_n26 [702] n_n21
1-- 1
-1- 1
--1 1
.names i_5_ i_3_ i_4_ [8]
011 1
101 1
001 1
.names i_1_ i_2_ i_0_ [11]
011 1
010 1
.names i_5_ i_3_ i_4_ [14]
111 1
011 1
101 1
.names i_5_ i_3_ i_4_ [16]
110 1
010 1
100 1
.names i_5_ i_3_ i_4_ [27]
010 1
100 1
000 1
.names [113] [114] [115] [34]
1-- 1
-1- 1
--1 1
.names i_7_ i_6_ n_n10
10 1
.names i_7_ i_6_ n_n17
11 1
.names [63] [64] [65] n_n159
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ i_0_ [10]
111 1
110 1
.names i_7_ i_6_ n_n2 [35]
111 1
.names i_1_ i_2_ i_0_ n_n19
111 1
.names i_1_ i_2_ i_0_ n_n3
001 1
.names i_1_ i_2_ i_0_ [15]
101 1
100 1
.names n_n2 n_n17 [144] [19]
--1 1
11- 1
.names i_1_ i_2_ i_0_ [21]
011 1
110 1
010 1
.names i_7_ i_6_ n_n5 [23]
111 1
.names i_5_ i_3_ i_4_ n_n15
011 1
.names i_1_ i_2_ i_0_ n_n11
010 1
.names i_1_ i_2_ i_0_ n_n16
110 1
.names i_5_ i_3_ i_4_ n_n8
010 1
.names i_1_ i_2_ i_0_ n_n12
011 1
.names i_5_ i_3_ i_4_ n_n9
110 1
.names i_1_ i_2_ i_0_ n_n4
100 1
.names [670] [671] n_n24
1- 1
-1 1
.names [116] [684] [685] n_n26
1-- 1
-1- 1
--1 1
.names i_7_ i_6_ [8] [48]
101 1
.names [5] [9] [747] [28]
011 1
.names n_n6 n_n17 [749] [43]
011 1
.names n_n18 n_n17 [10] [55]
011 1
.names [7] n_n6 n_n10 [56]
101 1
.names n_n2 [14] n_n17 [57]
111 1
.names n_n10 n_n3 n_n15 [63]
111 1
.names [4] n_n10 n_n4 [64]
111 1
.names n_n5 [8] n_n10 [65]
111 1
.names n_n0 [10] [730] [67]
111 1
.names [35] [144] [731] [68]
1-1 1
-11 1
.names n_n0 n_n5 [16] [69]
011 1
.names n_n1 [7] [8] [70]
111 1
.names n_n1 [5] [7] [71]
111 1
.names n_n0 [4] n_n12 [72]
111 1
.names n_n0 n_n18 [11] [73]
111 1
.names n_n13 n_n19 [74]
11 1
.names [14] [719] [78]
11 1
.names n_n1 [14] n_n3 [79]
111 1
.names n_n0 [6] n_n18 [80]
111 1
.names n_n1 n_n5 n_n13 [81]
111 1
.names n_n0 n_n5 n_n9 [82]
111 1
.names n_n0 [7] n_n9 [83]
111 1
.names n_n1 [17] n_n9 [84]
101 1
.names n_n0 n_n2 [14] [87]
111 1
.names n_n0 n_n7 [11] [88]
111 1
.names n_n0 [6] [16] [89]
111 1
.names n_n0 [6] [8] [90]
111 1
.names n_n1 n_n2 [8] [91]
111 1
.names n_n0 n_n6 n_n12 [92]
111 1
.names n_n1 [6] n_n13 [93]
111 1
.names n_n0 n_n5 [27] [94]
111 1
.names n_n0 n_n5 n_n13 [95]
111 1
.names n_n0 n_n2 n_n9 [97]
111 1
.names n_n1 n_n18 n_n5 [98]
111 1
.names n_n1 n_n2 n_n9 [99]
111 1
.names n_n1 [102] [103] [100]
11- 1
1-1 1
.names n_n6 n_n3 [102]
11 1
.names n_n7 n_n2 [103]
11 1
.names [34] [692] [105]
01 1
.names [35] [144] [695] [107]
1-1 1
-11 1
.names n_n6 n_n10 n_n11 [108]
111 1
.names [6] n_n18 n_n17 [109]
111 1
.names [6] n_n6 n_n17 [110]
111 1
.names n_n6 [15] [113]
11 1
.names [5] [6] [114]
11 1
.names n_n2 n_n8 [115]
11 1
.names [8] [21] [675] [116]
011 1
.names n_n17 n_n19 [678] [118]
111 1
.names [4] [7] n_n17 [119]
111 1
.names [7] n_n17 n_n9 [120]
111 1
.names n_n13 n_n10 n_n11 [121]
111 1
.names n_n10 [124] [125] [122]
11- 1
1-1 1
.names [7] n_n18 n_n10 [123]
111 1
.names [7] n_n6 [124]
11 1
.names [5] n_n11 [125]
11 1
.names [653] [654] [126]
11 1
.names [656] [657] [127]
11 1
.names [5] n_n11 [660] [128]
011 1
.names [14] [662] [129]
01 1
.names n_n0 [11] n_n8 [130]
111 1
.names n_n0 [7] n_n13 [131]
111 1
.names n_n0 [5] n_n16 [132]
111 1
.names n_n0 n_n6 [10] [133]
111 1
.names n_n0 n_n18 n_n19 [134]
111 1
.names [9] [12] [639] [135]
001 1
.names [7] [12] [645] [137]
001 1
.names [7] [13] [648] [138]
001 1
.names [9] [12] [617] [140]
001 1
.names [7] [13] [631] [142]
001 1
.names i_7_ i_6_ [6] [144]
101 1
.names [4] [6] n_n17 [617]
001 1
.names i_7_ i_6_ [5] [623]
100 1
.names [9] [13] [623] [625]
001 1
.names [5] [17] n_n17 [631]
001 1
.names [12] [7] [633]
00 1
.names [4] [17] n_n10 [634]
001 1
.names [19] [140] [625] [635]
-1- 1
0-1 1
.names [142] [633] [634] [636]
1-- 1
-11 1
.names n_n0 [4] [6] [639]
100 1
.names [13] [9] [641]
00 1
.names n_n1 [5] [6] [642]
100 1
.names n_n1 [4] [17] [645]
100 1
.names n_n0 [5] [17] [648]
100 1
.names [135] [641] [642] [649]
1-- 1
-11 1
.names [137] [138] [649] [651]
1-- 1
-1- 1
--1 1
.names n_n1 n_n13 n_n19 [653]
0-1 1
-01 1
.names n_n1 [5] n_n6 [654]
100 1
.names n_n1 [5] n_n9 [656]
0-- 1
-00 1
.names n_n1 [7] [8] [657]
110 1
.names n_n0 n_n18 n_n6 [660]
100 1
.names n_n1 n_n11 n_n9 [662]
110 1
.names [134] [132] [666]
1- 1
-1 1
.names [130] [131] [133] [668]
1-- 1
-1- 1
--1 1
.names [127] [128] [129] [670]
1-- 1
-1- 1
--1 1
.names [126] [666] [668] [671]
1-- 1
-1- 1
--1 1
.names [5] n_n17 n_n9 [673]
010 1
.names [124] [125] [673] [675]
001 1
.names i_5_ i_3_ i_4_ [676]
--1 1
11- 1
.names n_n13 n_n10 n_n19 [677]
011 1
.names i_5_ i_3_ i_4_ [678]
01- 1
10- 1
0-1 1
-01 1
1-0 1
-10 1
.names [120] [118] [681]
1- 1
-1 1
.names [119] [676] [677] [683]
1-- 1
-11 1
.names [121] [123] [681] [684]
1-- 1
-1- 1
--1 1
.names [683] [122] [685]
1- 1
-1 1
.names i_5_ i_3_ i_4_ [688]
--1 1
00- 1
.names n_n5 n_n10 [688] [689]
111 1
.names i_5_ i_3_ i_4_ [691]
11- 1
1-1 1
-11 1
000 1
.names n_n5 n_n17 [691] [692]
111 1
.names i_7_ i_6_ n_n6 [693]
100 1
.names n_n18 n_n2 n_n10 [694]
01- 1
-10 1
.names i_5_ i_3_ i_4_ [695]
00- 1
0-0 1
-00 1
.names [108] [693] [694] [697]
1-- 1
-11 1
.names [48] [107] [689] [699]
-1- 1
0-1 1
.names [109] [110] [697] [700]
1-- 1
-1- 1
--1 1
.names [105] [699] [700] [702]
1-- 1
-1- 1
--1 1
.names [92] [88] [706]
1- 1
-1 1
.names [87] [99] [709]
1- 1
-1 1
.names [100] [94] [711]
1- 1
-1 1
.names [93] [95] [706] [712]
1-- 1
-1- 1
--1 1
.names [91] [97] [98] [713]
1-- 1
-1- 1
--1 1
.names [89] [90] [709] [714]
1-- 1
-1- 1
--1 1
.names n_n1 [34] [713] [716]
--1 1
11- 1
.names [711] [712] [714] [717]
1-- 1
-1- 1
--1 1
.names n_n0 [6] [15] [719]
0-1 1
-01 1
.names n_n1 n_n18 [81] [721]
--1 1
11- 1
.names [83] [82] [722]
1- 1
-1 1
.names [16] n_n19 [80] [724]
--1 1
11- 1
.names [78] [79] [84] [726]
1-- 1
-1- 1
--1 1
.names [721] [722] [724] [727]
1-- 1
-1- 1
--1 1
.names n_n0 n_n13 [27] [729]
000 1
.names i_5_ i_3_ i_4_ [730]
1-1 1
-11 1
.names i_5_ i_3_ i_4_ [731]
11- 1
1-1 1
-11 1
.names n_n1 n_n19 [72] [734]
--1 1
11- 1
.names [23] [73] [74] [735]
1-- 1
-1- 1
--1 1
.names [71] [69] [736]
1- 1
-1 1
.names [21] [67] [729] [738]
-1- 1
1-1 1
.names [734] [735] [736] [740]
1-- 1
-1- 1
--1 1
.names [68] [70] [738] [741]
1-- 1
-1- 1
--1 1
.names [726] [727] [740] [742]
1-- 1
-1- 1
--1 1
.names n_n6 n_n13 n_n10 [747]
001 1
.names n_n2 n_n17 n_n19 [749]
-0- 1
0-0 1
.names n_n18 n_n10 n_n19 [752]
11- 1
-11 1
.names [7] n_n17 [752] [754]
--1 1
11- 1
.names [55] [56] [57] [756]
1-- 1
-1- 1
--1 1
.names [28] [43] [754] [757]
1-- 1
-1- 1
--1 1
.names n_n159 [756] [757] [759]
1-- 1
-1- 1
--1 1
.end