.model top
.inputs i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_12_ o_11_ o_14_ o_13_ o_16_ o_15_ o_18_ o_17_ o_10_ \
o_9_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_
.names n_n58 [26] [39] [4854] [4861] [4867] [4868] o_1_
---1--- 1
----1-- 1
-----1- 1
------1 1
11----- 1
1-1---- 1
.names [232] [136] [4925] [4929] [4984] [4987] [4992] o_2_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names o_0_
.names [5010] [5011] [5029] [5030] [5046] [5047] o_12_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5066] [5067] [5080] [5081] [5106] [5107] [5108] o_11_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [5125] [5126] [5139] [5140] [5164] [5165] [5166] o_14_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [5185] [5186] [5202] [5203] [5218] [5219] o_13_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [187] [259] [310] [5227] [5229] [5230] o_16_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5241] [5242] [5243] [5244] [5249] o_15_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [5260] [5261] [5265] o_18_
1-- 1
-1- 1
--1 1
.names n_n81 [36] n_n95 [259] [31] [5269] [5270] o_17_
---1--- 1
-----1- 1
------1 1
-11---- 1
1---1-- 1
.names n_n660 [5371] [5374] o_10_
1-- 1
-1- 1
--1 1
.names [5388] [5389] [5403] [5404] [5484] [5491] o_9_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5512] [5513] [5536] [5537] [5538] [5591] o_7_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [310] n_n513 [309] [5601] [5606] [5682] [5683] o_8_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [289] [5698] [5703] [5708] [5731] [5732] [5781] o_5_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [5795] [5796] [5818] [5819] [5820] [5877] o_6_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5896] [5897] [5934] [5935] [5936] [5937] [5938] o_3_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names n_n261 [5957] [5958] [6023] [6029] o_4_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_3_ i_2_ i_0_ n_n80
001 1
.names i_7_ i_8_ n_n75
01 1
.names i_5_ i_3_ i_4_ n_n81
111 1
.names i_7_ i_8_ i_6_ n_n58
110 1
.names i_7_ i_8_ i_6_ n_n101
101 1
.names i_7_ i_8_ i_6_ n_n93
001 1
.names i_7_ i_8_ i_6_ n_n78
000 1
.names i_7_ i_6_ n_n52
11 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [26]
110110 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [27]
010001 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [32]
011011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [39]
011100 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [40]
001111 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [45]
110001 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [55]
100100 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [58]
011011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [64]
001001 1
.names i_1_ i_2_ [75]
01 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [112]
111011 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [63] [4840] [113]
10-1-1- 1
00001-1 1
.names i_7_ i_8_ i_6_ n_n92 [57] [132] [176]
---1-1 1
111-1- 1
.names i_7_ i_8_ i_6_ [27] [34] [182]
1111- 1
010-1 1
.names i_7_ i_8_ i_6_ [192]
101 1
010 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [253]
111101 1
.names i_6_ i_3_ i_1_ i_2_ i_0_ [311]
01001 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [337]
01100 1
.names i_1_ i_2_ i_0_ n_n100
001 1
.names i_5_ i_3_ i_4_ n_n74
001 1
.names i_7_ i_8_ i_6_ n_n82
100 1
.names n_n78 [55] [61] [22] [118] [295] n_n137
--1--- 1
----1- 1
-----1 1
11---- 1
1--1-- 1
.names [311] [231] [46] n_n91 [4931] [4934] [4935] n_n135
-1----- 1
-----1- 1
------1 1
--11--- 1
1---1-- 1
.names i_5_ i_3_ i_4_ n_n102
011 1
.names i_7_ i_6_ n_n73
00 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [19]
101110 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [29]
011111 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [37]
100100 1
.names i_1_ i_0_ [108]
11 1
.names i_6_ i_3_ i_4_ [127]
101 1
.names i_7_ i_8_ [53] [63] [219]
101- 1
01-1 1
.names i_7_ i_6_ n_n83 [35] [52] [1477] [232]
-----1 1
--11-- 1
10--1- 1
.names i_7_ i_8_ i_6_ n_n94 n_n99 [65] [254]
001--1 1
00111- 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [328]
11111 1
.names i_7_ i_8_ i_6_ n_n63
010 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_1_ i_0_ n_n1369
0100000 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [21]
000011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [34]
000101 1
.names i_7_ i_8_ i_6_ [29] [23] [61]
0101- 1
011-1 1
.names i_7_ i_8_ i_6_ [40] [73] [88]
0011- 1
110-1 1
.names i_7_ i_8_ i_6_ [26] [48] n_n77 [222]
----11 1
1011-- 1
.names i_7_ i_8_ i_6_ [34] [24] [38] [4930] [231]
-----11 1
1001--- 1
110-1-- 1
.names i_7_ i_8_ i_6_ [27] [67] [255]
0001- 1
110-1 1
.names i_7_ i_8_ i_6_ [21] [46] [41] [301]
0111-- 1
111-1- 1
001--1 1
.names i_1_ i_2_ i_0_ n_n83
011 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ [35]
0100-1 1
1-1000 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [46]
110101 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [49]
110010 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ [20] [5082] [117]
101--1- 1
-0-01-1 1
.names i_7_ i_8_ i_6_ [22] [170] [133]
1-01- 1
110-1 1
.names i_7_ i_8_ i_6_ [43] n_n96 [4872] [148]
----11 1
0011-- 1
.names i_7_ i_6_ [173]
01 1
.names i_7_ i_8_ i_6_ [27] [37] n_n99 [198]
----11 1
1111-- 1
.names i_5_ i_3_ i_4_ n_n91 [107] n_n103 [201]
001-1- 1
0011-1 1
.names i_7_ i_8_ i_6_ [39] [55] [256]
0101- 1
110-1 1
.names i_7_ i_8_ i_6_ [43] [57] [347] [171] [257]
0-0--1- 1
1-1---1 1
1011--- 1
000-1-- 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ n_n94 [237] [271]
100---1 1
101111- 1
.names i_1_ i_2_ i_0_ n_n85
101 1
.names i_5_ i_3_ i_4_ n_n84
010 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [36]
101010 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [48]
010011 1
.names i_7_ i_8_ i_6_ n_n92 [22] [20] [89]
---1-1 1
101-1- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [19] [5141] [123]
00-1-1- 1
11100-1 1
.names i_7_ i_8_ i_6_ [126] [76] [183]
0011- 1
010-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ n_n85 [33] [206]
10-1--1 1
111011- 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [244]
11101 1
.names i_7_ i_8_ i_6_ [34] [239] [273]
1-11- 1
110-1 1
.names i_7_ i_8_ i_6_ n_n95
111 1
.names i_7_ i_8_ i_6_ n_n91
011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [41]
011001 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [34] [62] [185]
01-1-1- 1
--000-1 1
.names i_3_ i_2_ i_0_ [241]
101 1
.names i_7_ i_6_ n_n38
10 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [43]
001010 1
.names i_5_ i_3_ i_4_ [36] n_n95 [31] [187]
---11- 1
111--1 1
.names i_7_ i_8_ i_6_ [43] [82] [259]
1011- 1
001-1 1
.names i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [294]
----000 1
-0000-0 1
0100010 1
.names i_7_ i_8_ i_6_ [82] [51] [310]
1111- 1
0111- 1
1011- 1
101-1 1
.names i_7_ i_8_ i_6_ [37] n_n92 [47] [136]
---11- 1
111--1 1
.names i_7_ i_8_ i_6_ [49] [86] [230]
1-1-1 1
1001- 1
.names i_7_ i_8_ i_6_ [43] [86] [278]
1-01- 1
110-1 1
.names i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [189]
----000 1
00000-0 1
.names i_7_ i_8_ i_6_ [39] [31] n_n96 [261]
----11 1
1101-- 1
.names i_5_ i_6_ i_4_ n_n79
000 1
.names i_7_ i_8_ n_n70
10 1
.names [286] [5326] [5327] [5328] [5329] [5330] [5331] n_n660
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_3_ i_1_ i_2_ n_n53
011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [42]
100111 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [83]
110111 1
.names i_7_ i_8_ i_6_ [41] [237] [128] [168]
1111-- 1
000-1- 1
111--1 1
.names i_3_ i_1_ i_0_ [324] [129] [5338] [215]
----11 1
0011-- 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [67] [5339] [262]
10---1- 1
--010-1 1
.names i_7_ i_8_ i_6_ [49] [44] n_n94 n_n96 [291]
0011--- 1
101-1-- 1
001--11 1
.names i_7_ i_8_ i_6_ [253] n_n83 n_n92 [81] [297]
1001--- 1
000---1 1
100-11- 1
.names i_7_ i_8_ i_6_ [45] n_n76 [129] [33] [298]
----11- 1
0111--- 1
011---1 1
.names i_5_ i_6_ i_4_ n_n54
100 1
.names i_5_ i_6_ i_4_ n_n40
001 1
.names n_n63 [263] [91] [74] [1104] [5452] n_n597
-1---- 1
--1--- 1
----1- 1
-----1 1
1--1-- 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [44]
010101 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [66]
11110 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [39] [31] [141]
1-1--1- 1
-0-00-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ n_n53 [76] [142]
00-0--1 1
100001- 1
.names i_7_ i_8_ i_6_ [42] [81] [150]
0101- 1
110-1 1
.names i_7_ i_8_ i_6_ [47] [73] [188]
1011- 1
010-1 1
.names i_7_ i_8_ i_6_ [26] [58] [279]
0111- 1
111-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [55] [85] [282]
11-1-1- 1
--010-1 1
.names i_7_ i_8_ i_6_ [64] [170] [285]
0111- 1
101-1 1
.names i_7_ i_8_ i_6_ [21] n_n40 [66] [76] n_n421
----11- 1
1111--- 1
000---1 1
.names i_7_ i_8_ i_6_ i_1_ [29] [829] [5397] n_n241
-----1- 1
111-1-- 1
00-1--1 1
.names i_7_ i_8_ i_6_ [29] [81] [140]
1001- 1
010-1 1
.names i_5_ i_6_ i_3_ i_4_ [5112] [5395] [153]
1-011- 1
00-0-1 1
.names i_7_ i_8_ i_6_ n_n92 [52] [317] [204]
---1-1 1
111-1- 1
.names i_7_ i_8_ i_6_ [55] [170] [263]
1101- 1
010-1 1
.names n_n80 n_n82 n_n84 [74] [234] [4901] [292]
-1-1-- 1
1---1- 1
--1--1 1
.names i_5_ i_6_ i_4_ n_n71
010 1
.names i_1_ i_2_ i_0_ n_n94
100 1
.names i_5_ i_3_ i_4_ n_n92
110 1
.names i_5_ i_3_ i_4_ [253] [20] [111] [31] n_n554
---1-1- 1
011-1-- 1
010---1 1
.names [5622] [5623] [5652] [5653] [5654] [5655] n_n513
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [47] [65] [128] n_n211
1001-- 1
111-1- 1
110--1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [57]
000111 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [132]
001011 1
.names i_7_ i_8_ i_6_ [32] [112] n_n84 [190]
---1-1 1
101-1- 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ n_n96 [265]
1011011 1
0001101 1
.names i_5_ i_6_ i_4_ n_n66
110 1
.names [45] n_n91 [297] n_n76 [303] [129] n_n324
--1--- 1
----1- 1
11---- 1
---1-1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [67]
010100 1
.names i_7_ i_8_ i_6_ [52] [86] [79]
1011- 1
011-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [73] [5451] [91]
10-0-1- 1
--001-1 1
.names i_7_ i_8_ i_6_ [29] [347] [143]
-00-1 1
0111- 1
.names i_7_ i_8_ i_6_ [44] [73] [161]
0111- 1
001-1 1
.names i_3_ i_2_ i_0_ [245]
111 1
.names i_7_ i_8_ i_6_ n_n92 [128] [4831] [268]
---1-1 1
101-1- 1
.names i_5_ i_6_ i_3_ n_n76
101 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [22]
010110 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [24]
101001 1
.names i_7_ i_8_ i_6_ [238] [47] [92]
0101- 1
011-1 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [67] [62] [158]
01-1-1- 1
--100-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [25] [322] [159]
10-1-1- 1
11100-1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [239]
100001 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [247]
00110 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [316]
11010 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [20]
001101 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [25]
111110 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [38]
11100 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [74]
001110 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [78]
11101 1
.names i_5_ i_6_ i_3_ i_4_ [107] [5909] [155]
1-111- 1
00-1-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [43] n_n53 [157]
11-1-1- 1
10100-1 1
.names i_3_ i_1_ i_2_ [174]
101 1
.names i_7_ i_8_ i_6_ [26] [32] n_n102 [209]
----11 1
1101-- 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [27] [5405] [210]
101--1- 1
--000-1 1
.names i_7_ i_8_ i_6_ [19] [29] [24] [53] [303]
-111--- 1
0-0---1 1
101-1-- 1
001--1- 1
.names i_7_ i_8_ i_6_ [58] [66] [23] [130] [307]
----1-1 1
0011--- 1
110--1- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [324]
11000 1
.names i_5_ i_3_ i_4_ n_n77
101 1
.names i_7_ i_8_ i_6_ [29] [44] [52] n_n652
1111-- 1
101-1- 1
111--1 1
.names [64] n_n95 [163] [237] n_n296 [284] n_n261
--1--- 1
----1- 1
-----1 1
11---- 1
-1-1-- 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [53]
011101 1
.names i_7_ i_8_ i_6_ n_n84 [24] [4945] [94]
---1-1 1
100-1- 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [107]
101101 1
.names i_7_ i_8_ i_6_ [42] [52] [86] [125]
1111-- 1
101-1- 1
011--1 1
.names i_7_ i_8_ i_6_ [43] [347] [197]
0-0-1 1
1011- 1
.names i_3_ i_2_ i_0_ [242]
110 1
.names i_7_ i_8_ i_6_ [67] [171] [269]
00--1 1
0001- 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [170]
001100 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [82]
100010 1
.names i_7_ i_8_ i_6_ [64] [29] [73] n_n882
1111-- 1
000-1- 1
101--1 1
.names i_7_ i_8_ i_6_ [253] [81] [145]
1001- 1
000-1 1
.names i_7_ i_8_ i_6_ [57] [33] [270]
0101- 1
000-1 1
.names i_7_ i_6_ i_3_ i_4_ [238] [5068] [272]
01--1- 1
-000-1 1
.names i_7_ i_8_ i_6_ n_n84 [86] [317] [347] [296]
---1-1- 1
010-1-- 1
111---1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [63]
100110 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [52]
011110 1
.names i_5_ i_3_ i_4_ [194]
101 1
010 1
.names i_7_ i_8_ i_6_ [83] [57] [86] [306]
0101-- 1
001-1- 1
000--1 1
.names i_7_ i_8_ i_6_ n_n84 [74] [4901] [116]
---1-1 1
100-1- 1
.names i_7_ i_8_ i_6_ [29] [52] [147]
0011- 1
010-1 1
.names i_7_ i_8_ i_6_ [112] n_n85 n_n96 [274]
1001-- 1
100-11 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [81]
111100 1
.names n_n101 [58] n_n74 [37] [290] [217] [5272] n_n663
----1-- 1
-----1- 1
------1 1
11----- 1
--11--- 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ n_n77 [71]
1011011 1
1001101 1
.names i_7_ i_8_ i_3_ i_1_ i_0_ [85]
01001 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [52] [4921] [118]
00-0-1- 1
01000-1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [126]
010010 1
.names i_6_ i_3_ i_4_ [131]
000 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [234]
10010 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ n_n85 [308]
0110-11 1
101-101 1
000-101 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [315]
10101 1
.names i_7_ i_8_ i_6_ [44] [33] [163]
10--1 1
1111- 1
.names i_5_ i_3_ i_4_ i_1_ i_0_ [132] [320] [223]
101--1- 1
-0-01-1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [238]
001101 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [237]
001011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [86]
110100 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [62] [5543] [152]
--1001- 1
11-1--1 1
.names i_7_ i_8_ n_n85 [245] n_n76 [339] [5607] [167]
---1-1- 1
--1---1 1
001-1-- 1
.names i_8_ i_6_ [111]
10 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [47]
011010 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [73]
111010 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [31]
001100 1
.names i_5_ i_6_ i_4_ n_n87
101 1
.names i_7_ i_8_ i_6_ [63] [73] [615] n_n296
-----1 1
0011-- 1
101-1- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [320]
10110 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [317]
100011 1
.names i_5_ i_3_ i_4_ n_n96
100 1
.names i_7_ i_8_ i_6_ [24] [65] [151]
1111- 1
000-1 1
.names i_3_ i_1_ i_0_ n_n67
001 1
.names i_7_ i_8_ i_6_ [25] [81] [202]
1001- 1
011-1 1
.names i_5_ i_3_ i_4_ n_n99
000 1
.names i_8_ i_6_ [331]
00 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [347]
000001 1
.names i_1_ i_2_ i_0_ n_n90
010 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [129]
01101 1
.names i_1_ i_2_ i_0_ n_n103
110 1
.names i_8_ i_6_ [77]
01 1
.names i_5_ i_3_ i_4_ [20] [31] [224]
0111- 1
010-1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [62]
00011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [124]
101110 1
101010 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ n_n91 [225]
1010111 1
0001011 1
.names i_5_ i_6_ i_3_ [354]
001 1
.names i_7_ i_8_ i_6_ [49] n_n94 n_n96 [97]
0011-- 1
001-11 1
.names i_7_ i_8_ i_6_ [29] [25] [52] [81] [305]
0011--- 1
100-1-- 1
010--1- 1
011---1 1
.names i_5_ i_3_ i_4_ n_n91 [41] [20] [289]
---11- 1
111--1 1
000--1 1
.names i_7_ i_8_ i_6_ [27] n_n74 [47] [31] [290]
----1-1 1
1001--- 1
000--1- 1
.names i_7_ i_8_ i_6_ [36] [74] [82] [47] [309]
0011--- 1
001-1-- 1
000--1- 1
010---1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [65]
111001 1
.names i_3_ i_0_ [50]
00 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [76]
000110 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [33]
010111 1
.names i_7_ i_8_ i_6_ [25] n_n96 [5736] [98]
----11 1
1111-- 1
.names i_7_ i_8_ i_6_ [39] [171] [280]
-011- 1
010-1 1
.names n_n100 n_n95 [66] [170] [240] [4871] [286]
-1-1-- 1
1---1- 1
--1--1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [339]
01000 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [128]
000100 1
.names i_7_ i_8_ i_6_ [39] [239] [81] [295]
0111-- 1
111-1- 1
111--1 1
.names i_1_ i_2_ i_0_ n_n97
111 1
.names i_5_ i_4_ [325]
01 1
.names i_7_ i_8_ i_6_ [237] [33] [160]
-011- 1
110-1 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ n_n77 [166]
1000111 1
1110101 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ [20] [65] [220]
10----1 1
--0011- 1
.names i_7_ i_8_ i_6_ [73] [23] [281]
1111- 1
000-1 1
.names i_7_ i_8_ i_6_ n_n81 [45] n_n83 [239] [300]
101-1-- 1
011---1 1
0111-1- 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [171]
101111 1
.names i_5_ i_6_ i_3_ i_4_ [20] [4940] [121]
1-0-1- 1
11-0-1 1
.names i_1_ i_2_ i_0_ n_n92 [38] [315] [77] [287]
101-1-- 1
111--1- 1
1111--1 1
.names i_7_ i_8_ i_6_ [57] [24] [25] [304]
1011-- 1
101-1- 1
110--1 1
.names i_3_ i_2_ i_0_ [322]
010 1
.names i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ n_n955
0100010 1
.names i_8_ i_5_ i_6_ i_3_ i_4_ [48] [43] [217]
1-0---1 1
-1-111- 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [23]
111111 1
.names i_8_ i_5_ i_6_ i_3_ i_4_ [45] [316] [122]
0-0--1- 1
-0-00-1 1
.names i_7_ i_8_ i_6_ [57] [86] [205]
0011- 1
000-1 1
.names i_3_ i_1_ i_2_ [353]
001 1
.names i_7_ i_8_ i_6_ [58] [44] [101]
1001- 1
010-1 1
.names i_5_ i_6_ i_4_ n_n97 [5495] [5496] [102]
---11- 1
110--1 1
.names i_7_ i_8_ i_6_ [64] [82] [283]
1101- 1
001-1 1
.names i_5_ i_6_ i_3_ [130]
000 1
.names i_7_ i_8_ i_6_ n_n84 [31] [23] [196]
---11- 1
100--1 1
.names i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [135]
---000 1
0000-0 1
.names i_7_ i_8_ i_6_ [29] [73] [221]
0001- 1
101-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [240]
10100 1
.names i_7_ i_8_ i_6_ [48] n_n92 [52] [284]
---11- 1
011--1 1
.names i_1_ i_2_ i_0_ [5337] [5624] [218]
0101- 1
111-1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [51]
101100 1
.names i_7_ i_8_ i_6_ [39] n_n92 [31] [114]
----11 1
0001-- 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_2_ i_0_ [60]
1001010 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_1_ i_0_ [507]
1000111 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ i_1_ i_0_ [526]
1110001 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ i_1_ [532]
110001 1
.names i_7_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [559]
1000110 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ i_2_ i_0_ [561]
0111011 1
.names i_7_ i_8_ i_6_ i_3_ i_1_ i_2_ i_0_ [596]
1101011 1
.names i_7_ i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [615]
0100011 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ i_0_ [617]
0011001 1
.names i_7_ i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [666]
1100100 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ [697]
0111011 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ i_0_ [807]
0110111 1
.names i_7_ i_8_ i_6_ i_3_ i_1_ i_2_ i_0_ [825]
1010011 1
.names i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [829]
0110111 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ i_1_ i_0_ [878]
1000010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ [906]
1001110 1
.names i_8_ i_5_ i_6_ i_3_ i_4_ i_2_ i_0_ [907]
1101001 1
.names i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [908]
1101101 1
.names i_7_ i_8_ i_5_ i_6_ i_1_ i_2_ i_0_ [950]
0101010 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_1_ i_2_ [951]
1001001 1
.names i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [1013]
0110111 1
.names i_7_ i_8_ i_6_ i_3_ i_1_ i_2_ i_0_ [1023]
1101011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ [1041]
1100011 1
.names i_7_ i_8_ i_5_ i_4_ i_1_ i_2_ [1045]
111011 1
.names i_8_ i_6_ i_3_ i_1_ i_2_ i_0_ [1084]
000101 1
.names i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_0_ [1104]
1001101 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_1_ i_0_ [1118]
0110001 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_1_ i_0_ [1157]
0000000 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_1_ i_0_ [1253]
0000000 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_1_ i_0_ [1442]
1111111 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_2_ i_0_ [1444]
0010001 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_1_ i_0_ [1445]
0011111 1
.names i_7_ i_8_ i_5_ i_6_ i_1_ i_2_ i_0_ [1446]
0010001 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ i_0_ [1477]
0010001 1
.names i_7_ i_5_ i_3_ i_4_ i_2_ i_0_ [1537]
110111 1
.names i_7_ i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [1555]
0101111 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ i_2_ i_0_ [1560]
1100011 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_1_ i_0_ [1580]
1001011 1
.names i_7_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [1581]
1001101 1
.names i_7_ i_8_ i_5_ i_6_ i_1_ i_2_ i_0_ [1583]
0001011 1
.names i_7_ i_8_ i_6_ i_3_ i_1_ i_2_ i_0_ [1585]
1100011 1
.names i_7_ i_5_ i_6_ i_3_ i_1_ i_2_ [1587]
000010 1
.names i_5_ i_6_ i_3_ i_4_ i_2_ i_0_ [1588]
000101 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [4831]
111011 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [4832]
100101 1
.names i_7_ i_8_ i_6_ [42] n_n92 [4831] [4834]
----11 1
0001-- 1
.names i_7_ i_8_ i_6_ [112] [128] [4835]
0-01- 1
011-1 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ n_n96 [4836]
0011111 1
1001011 1
.names n_n58 n_n100 n_n74 [241] [78] [240] [4837]
---11- 1
-1---1 1
111--- 1
.names i_3_ i_1_ i_0_ [4840]
101 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ i_1_ i_2_ [4842]
0111101 1
.names i_3_ i_2_ i_0_ [192] [337] [4842] [4847]
---0-1 1
001-1- 1
.names i_7_ i_8_ i_6_ i_4_ [253] [311] [4848]
1-1-1- 1
10-1-1 1
.names i_7_ i_8_ i_6_ [45] [24] [74] [171] [4854]
0-0---1 1
1111--- 1
011-1-- 1
101--1- 1
.names n_n81 [27] n_n63 [34] n_n95 [74] [31] [4856]
--11--- 1
-1--1-- 1
----11- 1
1-----1 1
.names i_7_ i_8_ i_6_ [27] [42] [57] [76] [4857]
0001--- 1
101-1-- 1
011--1- 1
011---1 1
.names i_7_ i_8_ i_6_ [26] [42] [57] [25] [4858]
0011--- 1
011-1-- 1
001--1- 1
101---1 1
.names i_7_ i_8_ i_6_ [27] [45] [64] [112] [4860]
1-1---1 1
1011--- 1
0101--- 1
101-1-- 1
010-1-- 1
001--1- 1
.names i_7_ i_8_ i_6_ [32] [40] [55] [58] [4861]
---1--1 1
000-1-- 1
101--1- 1
101---1 1
.names [113] [176] [4856] [4857] [4858] [4867]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [4834] [4835] [4836] [4837] [4847] [4848] [4860] [4868]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [4870]
00010 1
.names i_5_ i_6_ i_3_ [4871]
110 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [4872]
111101 1
.names i_3_ i_1_ i_0_ [4873]
010 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [4879]
01010 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [245] [53] [4883]
01-1--1 1
000101- 1
.names i_7_ i_8_ i_6_ [55] n_n92 [31] [4884]
----11 1
1111-- 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [66] [25] [4885]
--1101- 1
11-1--1 1
.names i_7_ i_8_ i_6_ [237] [76] [4886]
1001- 1
001-1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ n_n95 [4887]
1001011 1
0001011 1
.names i_7_ i_6_ i_3_ i_1_ i_0_ [23] [4879] [4888]
11---1- 1
--001-1 1
.names n_n74 [21] n_n95 n_n91 [107] n_n103 [1585] [4890]
------1 1
-11---- 1
1---1-- 1
1--1-1- 1
.names n_n101 [234] [47] [1580] [1581] [1583] [4873] [4891]
---1--- 1
----1-- 1
-----1- 1
1-1---- 1
-1----1 1
.names i_7_ i_8_ i_6_ [53] [170] [1587] [1588] [4892]
-0---1- 1
-0----1 1
1101--- 1
010-1-- 1
.names i_7_ i_6_ [22] [1560] [4887] [4888] [4890] [4899]
---1--- 1
----1-- 1
-----1- 1
------1 1
101---- 1
.names [4883] [4884] [4885] [4886] [4891] [4892] [4900]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [4901]
101011 1
.names i_7_ i_8_ i_6_ [40] [112] [24] [1555] [4912]
------1 1
0111--- 1
001-1-- 1
001--1- 1
.names i_7_ i_8_ i_6_ [253] [41] [238] [86] [4913]
0-1--1- 1
1001--- 1
111-1-- 1
010---1 1
.names n_n63 n_n83 n_n95 [42] n_n92 [170] [52] [4914]
--11--- 1
--1--1- 1
1-----1 1
11--1-- 1
.names n_n93 [49] [298] [292] n_n882 [1537] [4919]
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names [204] [202] [4912] [4913] [4914] [4920]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_3_ i_1_ i_2_ [4921]
111 1
.names i_7_ i_8_ i_6_ [49] [41] [4925]
-10-1 1
0111- 1
.names i_7_ i_8_ i_6_ [26] [27] [21] [25] [4929]
1001--- 1
010-1-- 1
101--1- 1
000---1 1
.names i_3_ i_1_ i_0_ [4930]
011 1
.names i_7_ i_8_ i_4_ [4931]
011 1
.names i_7_ i_8_ i_6_ i_1_ i_0_ [4932]
00110 1
.names i_5_ i_6_ i_3_ i_4_ [62] [4932] [4934]
001-1- 1
0-11-1 1
.names i_7_ i_8_ i_6_ [19] [25] [4935]
01--1 1
0011- 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [4940]
01011 1
.names i_5_ i_3_ n_n58 n_n66 [239] [20] [4940] [4942]
--1-1-- 1
---1--1 1
10---1- 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [4944]
10100 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [4945]
11011 1
.names i_7_ i_8_ i_6_ [58] [36] [4946]
0-0-1 1
1111- 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [44] [4944] [4947]
11-0-1- 1
--001-1 1
.names i_7_ i_8_ i_6_ [81] [73] [4948]
1101- 1
001-1 1
.names i_7_ i_8_ i_6_ n_n85 n_n84 [24] [4945] [4949]
----1-1 1
100--1- 1
01011-- 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ [4956]
11011 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [43] [245] [4963]
00-0-1- 1
11100-1 1
.names i_7_ i_8_ i_6_ [82] [47] [4964]
1111- 1
110-1 1
.names n_n74 n_n83 n_n91 [65] [1442] [1444] [4971]
----1- 1
-----1 1
--11-- 1
111--- 1
.names i_7_ i_8_ i_6_ [40] [55] [21] [126] [4972]
01--1-- 1
0-0--1- 1
1-0---1 1
0101--- 1
.names i_7_ i_8_ i_6_ [64] [57] [73] [1445] [4974]
------1 1
0111--- 1
000-1-- 1
111--1- 1
.names i_7_ i_8_ i_6_ [27] [40] [19] [47] [4976]
0111--- 1
101-1-- 1
010--1- 1
001---1 1
.names n_n74 n_n102 [37] [127] [328] [1446] [4956] [4977]
-----1- 1
1-1---- 1
---11-- 1
-1----1 1
.names i_7_ i_8_ i_6_ [26] [27] [19] [29] [4978]
0-01--- 1
100-1-- 1
100--1- 1
100---1 1
.names [219] [254] [4971] [4972] [4974] [4984]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [4963] [4964] [4976] [4977] [4978] [4985]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [308] [304] [4942] [4946] [4947] [4948] [4949] [4987]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names n_n137 n_n135 [4899] [4900] [4919] [4920] [4985] [4992]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_6_ [53] [73] [4995]
1101- 1
111-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [67] [322] [4996]
00-0-1- 1
01100-1 1
.names i_7_ i_8_ i_6_ [39] [55] [21] [5001]
0-0--1 1
0101-- 1
110-1- 1
.names i_7_ i_8_ i_6_ [42] [44] [74] [5005]
0011-- 1
110-1- 1
011--1 1
010--1 1
.names n_n78 [26] [55] n_n102 n_n91 [83] [20] [5006]
1-1---- 1
-1--1-- 1
----11- 1
---1--1 1
.names n_n93 [43] n_n96 [114] [4872] [5001] [5006] [5010]
---1--- 1
-----1- 1
------1 1
11----- 1
--1-1-- 1
.names [190] [265] [283] [196] [4995] [4996] [5005] [5011]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ n_n77 [5015]
0010111 1
0010011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [48] [23] [5019]
1-1---1 1
-1-101- 1
.names i_7_ i_8_ i_6_ n_n92 [52] [317] [135] [5020]
------1 1
---1-1- 1
111-1-- 1
.names i_7_ i_8_ i_6_ [42] [24] [65] n_n955 [5022]
------1 1
0001--- 1
111-1-- 1
000--1- 1
.names i_7_ i_8_ i_6_ [40] [41] [44] [128] [5024]
0111--- 1
111-1-- 1
111--1- 1
111---1 1
.names n_n82 n_n85 [291] [25] n_n96 [5019] [5020] [5029]
--1---- 1
-----1- 1
------1 1
1--1--- 1
11--1-- 1
.names [79] [116] [221] [5015] [5022] [5024] [5030]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [29] [74] [171] [23] [5036]
0-0--1- 1
0101--- 1
101-1-- 1
011---1 1
.names i_7_ i_8_ i_6_ [40] [43] [73] [76] [5037]
0011--- 1
000-1-- 1
110--1- 1
011---1 1
.names [26] [32] [64] n_n82 n_n63 n_n77 [23] [5038]
1--1--- 1
--11--- 1
-1---1- 1
----1-1 1
.names i_7_ i_8_ i_6_ n_n1369 [49] [239] [5040]
---1-- 1
010-1- 1
000-1- 1
111--1 1
.names i_7_ i_8_ i_6_ [21] [34] [25] [53] [5041]
00-1--- 1
010-1-- 1
110--1- 1
000---1 1
.names [231] [301] [5036] [5037] [5046]
1--- 1
-1-- 1
--1- 1
---1 1
.names [222] [255] [5038] [5040] [5041] [5047]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ [42] [67] [5053]
0011- 1
111-1 1
.names i_7_ i_8_ i_6_ [64] n_n85 n_n96 [5054]
1011-- 1
101-11 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [34] [62] [5056]
10-0-1- 1
--001-1 1
.names i_7_ i_8_ i_6_ [29] [74] [171] [23] [5057]
0-0--1- 1
0101--- 1
101-1-- 1
011---1 1
.names i_7_ i_8_ i_6_ [27] [73] [124] [5059]
0001-- 1
111-1- 1
001--1 1
.names i_7_ i_8_ i_6_ [27] [25] [47] [51] [5060]
0-0---1 1
1011--- 1
110-1-- 1
110--1- 1
.names n_n101 n_n93 [26] [45] n_n554 [5056] [5057] [5066]
----1-- 1
-----1- 1
------1 1
1-1---- 1
-1-1--- 1
.names [206] [225] [5053] [5054] [5059] [5060] [5067]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5068]
00001 1
.names i_7_ i_8_ i_6_ [44] [347] [5069]
-00-1 1
1111- 1
.names i_5_ i_3_ i_4_ [48] [294] [5072]
----1 1
1101- 1
.names i_7_ i_8_ i_6_ [45] [57] [33] [5073]
0111-- 1
010-1- 1
011--1 1
000--1 1
.names i_7_ i_8_ i_6_ [42] [63] [347] [23] [5076]
1-1---1 1
1111--- 1
001-1-- 1
111--1- 1
.names [297] [305] [5076] [5080]
1-- 1
-1- 1
--1 1
.names [272] [151] [97] [5069] [5072] [5073] [5081]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [5082]
00110 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [5085]
10111 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [39] [241] [5088]
00-0-1- 1
11101-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [58] [322] [5089]
11-1-1- 1
01100-1 1
.names i_7_ i_8_ i_6_ [49] [43] [5091]
0111- 1
1011- 1
011-1 1
.names i_7_ i_8_ i_6_ [39] [58] n_n74 [37] [5093]
-----11 1
1-11--- 1
101-1-- 1
.names i_1_ i_2_ i_0_ n_n74 n_n82 [35] [5085] [5097]
011--1- 1
100---1 1
01111-- 1
.names i_7_ i_8_ i_6_ [27] [64] [53] [47] [5098]
0111--- 1
110-1-- 1
110--1- 1
001---1 1
.names i_7_ i_8_ i_6_ [19] [21] [46] [36] [5101]
0-1-1-- 1
0111--- 1
1101--- 1
100--1- 1
110---1 1
.names n_n63 n_n92 [170] [4831] [5091] [5101] [5106]
----1- 1
-----1 1
1-1--- 1
-1-1-- 1
.names [117] [133] [148] [198] [257] [5093] [5107]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [201] [256] [5088] [5089] [5097] [5098] [5108]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [5112]
111101 1
.names i_7_ i_8_ i_6_ [45] [253] [81] [33] [5118]
0111--- 1
100-1-- 1
000--1- 1
011---1 1
.names [112] n_n82 n_n91 [189] n_n77 [81] [5112] [5120]
---1--- 1
11----- 1
--1--1- 1
----1-1 1
.names n_n101 [29] n_n95 [41] [44] [132] n_n77 [5121]
11----- 1
--11--- 1
1---1-- 1
-----11 1
.names n_n882 [296] [5121] [5125]
1-- 1
-1- 1
--1 1
.names [271] [143] [270] [272] [5118] [5120] [5126]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [63] [65] [5130]
0001- 1
001-1 1
.names i_7_ i_8_ i_6_ [253] [22] [170] [5131]
-101-- 1
1-0-1- 1
110--1 1
.names i_7_ i_8_ i_6_ [27] [45] [63] [47] [5133]
0111--- 1
001-1-- 1
011--1- 1
110---1 1
.names n_n74 n_n63 n_n94 n_n92 [107] n_n97 [4831] [5134]
1---1-- 1
---1--1 1
111---- 1
11---1- 1
.names n_n83 [35] [257] n_n38 [52] [306] [5130] [5139]
--1---- 1
-----1- 1
------1 1
11----- 1
---11-- 1
.names [141] [279] [5131] [5133] [5134] [5140]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_3_ i_2_ i_0_ [5141]
011 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [49] n_n85 [5148]
10-1-1- 1
11101-1 1
.names n_n101 n_n74 n_n102 [37] n_n83 n_n91 [65] [5151]
-1-1--- 1
-----11 1
1-1-1-- 1
-1--11- 1
.names n_n101 n_n92 [22] [20] n_n77 [353] [5082] [5152]
1-1---- 1
-1-1--- 1
---11-- 1
-----11 1
.names n_n93 [19] n_n63 [38] [126] [76] [5141] [5153]
11----- 1
1---1-- 1
--1--1- 1
---1--1 1
.names n_n58 n_n78 [40] n_n100 n_n77 [31] [128] [5154]
-11---- 1
----11- 1
1-----1 1
-1-11-- 1
.names i_7_ i_8_ i_6_ n_n1369 [47] [1253] [5156]
---1-- 1
-----1 1
001-1- 1
.names i_7_ i_8_ i_6_ [27] [49] [67] [47] [5157]
1011--- 1
010-1-- 1
110--1- 1
111---1 1
.names i_7_ i_8_ i_6_ [19] n_n83 n_n84 [36] [5159]
0111--- 1
1101--- 1
001---1 1
110---1 1
010-11- 1
.names i_7_ i_8_ i_6_ [64] [51] [5148] [5159] [5164]
-----1- 1
------1 1
0-0-1-- 1
1001--- 1
.names [113] [182] [5151] [5152] [5153] [5165]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [206] [273] [5154] [5156] [5157] [5166]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ [55] [48] [194] [5175]
----11 1
0001-- 1
.names i_7_ i_8_ i_6_ [40] [21] [52] [5176]
0-0-1- 1
1-0--1 1
0101-- 1
.names n_n58 n_n93 [40] n_n94 [73] n_n99 [65] [5177]
-11---- 1
1---1-- 1
-1----1 1
-1-1-1- 1
.names i_7_ i_8_ i_6_ n_n100 [67] [78] n_n96 [5179]
---1-1- 1
111-1-- 1
000-1-- 1
1111--1 1
.names i_7_ i_8_ i_6_ [44] [82] [63] [23] [5180]
1101--- 1
001-1-- 1
011--1- 1
100---1 1
.names n_n101 [64] n_n91 [83] [306] [5175] [5176] [5185]
----1-- 1
-----1- 1
------1 1
11----- 1
--11--- 1
.names [273] [190] [5177] [5179] [5180] [5186]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ n_n84 [63] [317] [5189]
---1-1 1
001-1- 1
.names i_7_ i_8_ i_6_ [40] [64] [5190]
0111- 1
111-1 1
.names n_n82 n_n85 n_n84 [38] [74] [4901] [5193]
-1-1-- 1
1---1- 1
--1--1 1
.names i_7_ i_8_ i_6_ [29] [24] [52] [5194]
1011-- 1
0011-- 1
001-1- 1
010--1 1
.names i_2_ n_n78 [112] n_n82 [108] n_n96 n_n955 [5195]
------1 1
--11--- 1
11--11- 1
0--111- 1
.names [29] n_n63 n_n91 [189] [74] n_n77 [5112] [5196]
---1--- 1
1-1---- 1
-1--1-- 1
-----11 1
.names i_7_ i_8_ i_6_ n_n94 n_n92 [52] n_n99 [5198]
111--1- 1
00111-- 1
01011-- 1
1111--1 1
.names [125] [5193] [5198] [5202]
1-- 1
-1- 1
--1 1
.names [5189] [5190] [5194] [5195] [5196] [5203]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ [37] [47] n_n99 [5204]
---1-1 1
111-1- 1
.names i_7_ i_8_ i_6_ [82] [63] [5205]
0001- 1
101-1 1
.names i_7_ i_8_ i_6_ n_n74 n_n83 [41] [65] [5208]
001--1- 1
011---1 1
01111-- 1
.names i_7_ i_8_ i_6_ [26] [43] [76] [23] [5209]
1001--- 1
000-1-- 1
011--1- 1
010---1 1
.names n_n58 n_n78 [40] n_n100 n_n77 [31] [128] [5211]
-11---- 1
----11- 1
1-----1 1
-1-11-- 1
.names n_n78 [34] [49] n_n91 [43] n_n79 [62] [5212]
1-1---- 1
-1-1--- 1
---11-- 1
-----11 1
.names i_7_ i_8_ i_6_ [46] [49] [241] [325] [5214]
1111--- 1
1001--- 1
011-1-- 1
000--11 1
.names [5208] [5209] [5214] [5218]
1-- 1
-1- 1
--1 1
.names [89] [183] [5204] [5205] [5211] [5212] [5219]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [49] [43] [76] [5227]
0001-- 1
011-1- 1
000-1- 1
011--1 1
.names i_7_ i_8_ i_6_ n_n1369 [294] [170] [5229]
---1-- 1
----1- 1
011--1 1
.names i_7_ i_8_ i_6_ [43] [170] [126] [5230]
1-01-- 1
0011-- 1
101-1- 1
000--1 1
.names i_7_ i_8_ i_6_ [49] [43] [76] [5239]
0001-- 1
011-1- 1
000-1- 1
011--1 1
.names i_7_ i_8_ i_6_ [43] [294] [82] [5240]
----1- 1
1011-- 1
001--1 1
.names i_7_ i_8_ i_6_ n_n102 n_n94 n_n92 n_n90 [5241]
1-1-11- 1
100-11- 1
1111--1 1
100--11 1
.names i_7_ i_8_ i_6_ n_n1369 [43] [86] [47] [5242]
---1--- 1
1-0-1-- 1
110--1- 1
001---1 1
.names i_7_ i_8_ i_6_ [49] [43] [86] [47] [5243]
0101--- 1
001-1-- 1
011--1- 1
011---1 1
.names i_7_ i_8_ i_6_ [67] [73] [51] [5244]
0001-- 1
100-1- 1
000-1- 1
111--1 1
.names [310] [188] [114] [5239] [5240] [5249]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ [37] [189] n_n92 [47] [5257]
----1-- 1
---1-1- 1
111---1 1
.names i_7_ i_8_ i_6_ [170] [47] [1157] [5259]
-----1 1
1011-- 1
001-1- 1
.names i_7_ i_8_ i_6_ [126] [86] [47] [73] [5260]
0001--- 1
011-1-- 1
011--1- 1
100---1 1
.names i_7_ i_8_ i_6_ [43] [67] [86] [73] [5261]
1011--- 1
000-1-- 1
110--1- 1
000---1 1
.names [230] [261] [188] [114] [5257] [5259] [5265]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [39] [294] [31] n_n96 [5269]
----1-- 1
-----11 1
1101--- 1
.names i_7_ i_8_ i_6_ [49] [170] [82] [51] [5270]
0101--- 1
011-1-- 1
011--1- 1
111---1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [241] [126] [5272]
00-0--1 1
000011- 1
.names i_5_ i_4_ i_1_ i_2_ [5276]
1101 1
.names i_5_ i_6_ i_3_ i_4_ i_2_ [5278]
00111 1
.names i_5_ i_6_ i_3_ [5279]
111 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ [5280]
10101 1
.names i_7_ i_8_ i_6_ i_1_ i_0_ [5282]
00110 1
.names i_7_ i_8_ i_6_ [22] [33] [5285]
0111- 1
111-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [74] [174] [5286]
10-1-1- 1
01000-1 1
.names i_7_ i_8_ i_6_ [43] [86] [5287]
1-1-1 1
1111- 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5278] [5279] [5288]
111--1- 1
11010-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [311] [5280] [5289]
01--11- 1
10101-1 1
.names i_5_ i_6_ i_3_ i_4_ [328] [5282] [5290]
-1011- 1
0-11-1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ n_n76 [5291]
110011 1
001101 1
.names i_6_ i_3_ i_4_ i_2_ i_0_ [66] [234] [5292]
000--1- 1
-1-10-1 1
.names i_7_ i_8_ i_6_ [42] [57] [20] n_n77 [5296]
-----11 1
1011--- 1
011-1-- 1
.names i_7_ i_8_ i_6_ [55] [29] [126] [23] [5297]
01-1--- 1
1-0--1- 1
010-1-- 1
011---1 1
.names i_7_ i_8_ i_6_ [27] n_n94 n_n96 n_n99 [5298]
1111--- 1
1101--- 1
101-11- 1
100-1-1 1
.names i_7_ i_8_ i_6_ [26] [170] [82] [5276] [5300]
0011--- 1
011-1-- 1
000--1- 1
111---1 1
.names i_7_ i_8_ i_6_ [58] [67] [126] [1118] [5305]
------1 1
1001--- 1
011-1-- 1
001--1- 1
.names n_n93 [27] [32] n_n74 [308] [5296] [5297] [5312]
----1-- 1
-----1- 1
------1 1
11----- 1
--11--- 1
.names [71] [118] [5285] [5286] [5298] [5300] [5313]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5287] [5288] [5289] [5290] [5291] [5292] [5305] [5314]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [5320]
11011 1
.names i_7_ i_8_ i_6_ [43] n_n96 [4872] [5320] [5326]
----11- 1
----1-1 1
0011--- 1
.names n_n74 [21] n_n95 n_n91 [107] n_n103 [1585] [5327]
------1 1
-11---- 1
1---1-- 1
1--1-1- 1
.names [40] n_n91 [234] [1555] [1580] [1581] [4873] [5328]
---1--- 1
----1-- 1
-----1- 1
11----- 1
--1---1 1
.names i_7_ i_8_ i_6_ [112] [74] [1084] [1104] [5329]
-----1- 1
------1 1
1001--- 1
010-1-- 1
.names i_7_ i_8_ i_6_ [55] [25] [170] [63] [5330]
1111--- 1
111-1-- 1
110--1- 1
001---1 1
.names i_7_ i_8_ i_6_ [57] [24] [73] [171] [5331]
0101--- 1
111-1-- 1
010--1- 1
010---1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [5337]
10111 1
.names i_5_ i_6_ i_4_ [5338]
111 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [5339]
01101 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [5341]
10000 1
.names i_3_ i_2_ i_0_ [337] [38] [5343]
0101- 1
111-1 1
.names i_7_ i_8_ i_6_ [170] [81] [5344]
1011- 1
010-1 1
.names i_5_ i_3_ i_4_ i_2_ i_0_ [234] [5112] [5345]
-0-011- 1
101---1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ n_n83 [74] [5346]
10-0--1 1
101101- 1
.names i_7_ i_8_ i_6_ [42] [24] [5349]
0001- 1
001-1 1
.names i_1_ i_2_ i_0_ [78] [5337] [5350]
0011- 1
010-1 1
.names i_7_ i_6_ i_3_ i_1_ i_2_ [36] [5341] [5351]
00---1- 1
--011-1 1
.names i_7_ i_8_ i_6_ [42] [83] [1045] [5352]
----1- 1
-----1 1
0101-- 1
.names i_7_ i_8_ i_6_ [40] [55] [21] [73] [5353]
-00-1-- 1
0-0--1- 1
0101--- 1
000---1 1
.names i_7_ i_8_ i_6_ [25] [237] [1587] [1588] [5355]
-0---1- 1
-0----1 1
0-11--- 1
111-1-- 1
.names i_7_ i_8_ i_6_ [112] [29] [52] [81] [5358]
0011--- 1
011-1-- 1
101--1- 1
011---1 1
.names [215] [262] [298] [5353] [5355] [5369]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [5343] [5344] [5345] [5346] [5349] [5350] [5358] [5370]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [232] [257] [168] [291] [297] [5351] [5352] [5371]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names n_n663 [5312] [5313] [5314] [5369] [5370] [5374]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_3_ i_1_ i_2_ [5375]
1011 1
.names i_7_ i_8_ i_6_ [40] [57] [5376]
0111- 1
010-1 1
.names n_n100 [173] n_n95 [25] [170] [237] [240] [5380]
-1-1--- 1
--1-1-- 1
--1--1- 1
1-----1 1
.names i_7_ i_8_ i_6_ [112] [44] [33] [1041] [5381]
------1 1
10---1- 1
0011--- 1
111-1-- 1
.names i_7_ i_8_ i_6_ [29] [52] [238] [237] [5383]
0-1--1- 1
0011--- 1
011-1-- 1
100---1 1
.names i_7_ i_8_ [292] n_n882 [296] [238] [1023] [5388]
--1---- 1
---1--- 1
----1-- 1
------1 1
11---1- 1
.names [223] [5376] [5380] [5381] [5383] [5389]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [45] [129] [5392]
01-1-1- 1
--101-1 1
.names i_7_ i_8_ i_3_ i_2_ i_0_ [5395]
00001 1
.names i_7_ i_8_ i_1_ [5396]
001 1
.names i_5_ i_6_ i_3_ i_4_ i_0_ [5397]
10010 1
.names [29] n_n91 [331] [347] [1013] [5396] [5397] [5400]
----1-- 1
11----- 1
--11--- 1
-----11 1
.names i_7_ i_8_ i_6_ n_n79 [42] n_n955 [5395] [5401]
-----1- 1
---1--1 1
000-1-- 1
.names n_n78 n_n95 [41] n_n652 [237] [128] [5401] [5403]
---1--- 1
------1 1
-11---- 1
1---1-- 1
-1---1- 1
.names [297] [303] [125] [97] [5392] [5400] [5404]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5405]
11001 1
.names i_7_ i_8_ i_6_ [57] [51] [5410]
1111- 1
101-1 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ n_n92 [5411]
0001011 1
1001001 1
.names i_7_ i_8_ i_6_ n_n81 [27] n_n94 [74] [5413]
001-1-- 1
111---1 1
0011-1- 1
.names i_7_ i_8_ i_6_ [64] [63] [76] [51] [5415]
1001--- 1
101-1-- 1
011--1- 1
111---1 1
.names [32] n_n92 n_n77 [31] [289] [290] [309] [5421]
----1-- 1
-----1- 1
------1 1
11----- 1
--11--- 1
.names [209] [210] [5410] [5411] [5413] [5415] [5422]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_5_ i_6_ i_3_ [5423]
100 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [5424]
11010 1
.names i_7_ i_8_ i_6_ [33] [23] [5430]
1101- 1
000-1 1
.names i_7_ i_8_ i_6_ [67] [22] [62] [5423] [5431]
-----11 1
0111--- 1
101-1-- 1
.names n_n58 [27] n_n82 [34] [24] [242] [5424] [5432]
11----- 1
--11--- 1
1---1-- 1
-----11 1
.names i_7_ i_8_ i_6_ [26] [22] [25] [170] [5434]
0011--- 1
001-1-- 1
101--1- 1
011---1 1
.names i_7_ i_8_ i_6_ [45] [55] [43] [22] [5435]
0011--- 1
000-1-- 1
111--1- 1
000---1 1
.names [48] [194] [315] [304] [353] [5430] [5431] [5440]
---1--- 1
-----1- 1
------1 1
11----- 1
--1-1-- 1
.names [122] [205] [5432] [5434] [5435] [5441]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_6_ i_3_ i_4_ [5442]
110 1
.names i_7_ i_8_ i_6_ [67] [128] [5447]
0001- 1
011-1 1
.names i_7_ i_8_ i_6_ [58] [44] [951] [5448]
-----1 1
1001-- 1
010-1- 1
.names n_n82 [19] n_n63 n_n84 [31] [23] [950] [5449]
------1 1
-11---- 1
---11-- 1
1----1- 1
.names i_7_ i_8_ i_3_ i_1_ i_2_ [5451]
11011 1
.names i_7_ i_8_ i_6_ [245] [22] [170] [4870] [5452]
---1--1 1
1-0-1-- 1
110--1- 1
.names i_7_ i_8_ i_6_ [74] [128] [5464]
0111- 1
101-1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [112] n_n90 [5465]
100--1- 1
01101-1 1
.names i_7_ i_8_ i_6_ [42] [81] [47] [73] [5471]
0101--- 1
110-1-- 1
101--1- 1
010---1 1
.names i_7_ i_8_ i_6_ [26] [39] [58] [5472]
0-01-- 1
0111-- 1
010-1- 1
111--1 1
.names i_7_ i_8_ i_6_ [43] [57] [73] [906] [5474]
------1 1
0011--- 1
000-1-- 1
000--1- 1
.names i_7_ i_8_ i_6_ [40] [36] [67] [53] [5475]
0-0-1-- 1
-10--1- 1
0101--- 1
011---1 1
.names [112] n_n73 [66] [322] [240] [907] [5442] [5477]
-----1- 1
11----- 1
---11-- 1
--1---1 1
.names n_n75 [21] [173] n_n40 [44] [66] [908] [5478]
------1 1
-11---- 1
---1-1- 1
1-1-1-- 1
.names n_n52 [39] [142] [31] n_n99 [5471] [5478] [5483]
--1---- 1
-----1- 1
------1 1
11----- 1
---11-- 1
.names [282] [285] [5472] [5474] [5475] [5484]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [5447] [5448] [5449] [5464] [5465] [5477] [5485]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n597 [5421] [5422] [5440] [5441] [5483] [5485] [5491]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [5493]
10011 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [5495]
00111 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5496]
11100 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [44] n_n94 [5500]
110--1- 1
10011-1 1
.names i_7_ i_8_ i_6_ [42] [22] [5501]
0011- 1
011-1 1
.names i_7_ i_8_ i_6_ [32] [55] n_n84 [73] [5502]
---1-1- 1
-00-1-- 1
000---1 1
.names i_7_ i_8_ i_6_ [44] [238] [47] [73] [5504]
0111--- 1
010-1-- 1
011--1- 1
001---1 1
.names i_7_ i_8_ i_6_ [64] [82] [47] [878] [5507]
------1 1
1101--- 1
001-1-- 1
110--1- 1
.names [262] [265] [5500] [5501] [5502] [5512]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [269] [224] [101] [102] [5504] [5507] [5513]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [49] [81] [5520]
1011- 1
111-1 1
.names i_7_ i_8_ i_6_ [45] [21] [25] [63] [5524]
0011--- 1
100-1-- 1
001--1- 1
011---1 1
.names n_n58 [27] [242] [237] [77] [33] [5424] [5525]
11----- 1
---11-- 1
1----1- 1
--1---1 1
.names i_0_ [75] n_n82 n_n102 n_n95 n_n77 [65] [5526]
----1-1 1
0111--- 1
111--1- 1
01--11- 1
.names i_7_ i_8_ i_6_ [49] [67] [53] [170] [5528]
0101--- 1
111-1-- 1
000--1- 1
011---1 1
.names i_7_ i_8_ i_6_ [64] [46] [74] [51] [5529]
1011--- 1
011-1-- 1
101--1- 1
101---1 1
.names i_5_ i_3_ i_4_ n_n58 n_n100 n_n63 n_n83 [5531]
10111-- 1
011-11- 1
111--11 1
010--11 1
.names [78] [174] n_n96 [129] [5520] [5531] [5536]
----1- 1
-----1 1
11---- 1
--11-- 1
.names [278] [159] [300] [5524] [5525] [5537]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [220] [281] [5526] [5528] [5529] [5538]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ [5542]
111 1
.names i_5_ i_4_ i_1_ i_2_ i_0_ [5543]
01101 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5545]
00101 1
.names i_7_ i_8_ i_6_ [237] [76] [5546]
1001- 1
001-1 1
.names i_7_ i_8_ i_6_ n_n71 [57] [85] [33] [5548]
---1-1- 1
010-1-- 1
000---1 1
.names n_n93 [112] n_n54 [62] [5375] [5542] [5543] [5549]
11----- 1
--11--- 1
--1-1-- 1
-----11 1
.names i_7_ i_8_ i_6_ [53] [86] [347] [825] [5550]
------1 1
1101--- 1
010-1-- 1
111--1- 1
.names n_n76 n_n882 [234] [305] [286] [4873] [5545] [5556]
-1----- 1
---1--- 1
----1-- 1
--1--1- 1
1-----1 1
.names [284] [5546] [5548] [5549] [5550] [5557]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ [42] [67] [5561]
-10-1 1
0001- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [53] [322] [5562]
01-1-1- 1
10100-1 1
.names i_7_ i_8_ i_6_ [24] [74] [5563]
1001- 1
010-1 1
.names i_7_ i_8_ i_6_ [81] [347] [5565]
-00-1 1
0001- 1
.names i_5_ i_6_ i_3_ i_4_ [107] [5068] [5566]
0-011- 1
-000-1 1
.names i_7_ i_8_ i_6_ [39] [170] [5567]
-011- 1
110-1 1
.names i_8_ i_6_ i_3_ i_2_ i_0_ [19] [4870] [5568]
11---1- 1
--111-1 1
.names i_2_ [108] n_n70 [38] [85] n_n87 [807] [5570]
------1 1
----11- 1
01-1--- 1
111--1- 1
.names [337] n_n82 [73] [322] [5561] [5562] [5563] [5582]
----1-- 1
-----1- 1
------1 1
-11---- 1
1--1--- 1
.names n_n101 [132] n_n77 [47] [5565] [5566] [5567] [5583]
----1-- 1
-----1- 1
------1 1
-11---- 1
1--1--- 1
.names n_n93 [49] [168] n_n94 [125] n_n96 [5568] [5584]
--1---- 1
----1-- 1
------1 1
11----- 1
1--1-1- 1
.names [298] n_n421 n_n241 [292] [5585]
1--- 1
-1-- 1
--1- 1
---1 1
.names [254] [285] [140] [153] [204] [263] [5570] [5586]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [5556] [5557] [5582] [5583] [5584] [5585] [5586] [5591]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5592]
01100 1
.names i_7_ i_8_ i_6_ [45] [21] [24] [5597]
00--1- 1
1111-- 1
011--1 1
.names [45] n_n91 [41] [316] [20] n_n99 [331] [5599]
-11---- 1
---1-1- 1
----11- 1
1-----1 1
.names i_7_ i_8_ i_6_ [26] [49] [43] [24] [5600]
0011--- 1
000-1-- 1
000--1- 1
000---1 1
.names n_n63 [41] [247] [242] [234] [130] [5592] [5601]
11----- 1
---11-- 1
--1--1- 1
-----11 1
.names [123] [217] [5597] [5599] [5600] [5606]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_5_ i_3_ i_4_ [5607]
11001 1
.names i_7_ i_8_ i_6_ [112] [57] [5610]
0011- 1
010-1 1
.names i_7_ i_8_ i_6_ n_n96 [171] [4832] [5613]
---1-1 1
010-1- 1
.names i_7_ i_8_ i_6_ n_n74 [29] [107] n_n103 [5614]
---1-1- 1
000-1-- 1
0111--1 1
.names i_7_ i_8_ i_6_ n_n94 [25] [237] [5085] [5615]
---1--1 1
0-1-1-- 1
111--1- 1
100--1- 1
.names i_7_ i_8_ i_6_ [25] [73] [65] [76] [5617]
1001--- 1
010-1-- 1
000--1- 1
001---1 1
.names [148] [296] [167] [114] [5613] [5622]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [152] [5610] [5614] [5615] [5617] [5623]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [5624]
10101 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5625]
11100 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ n_n100 [128] [5627]
10-1--1 1
111011- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [81] [322] [5628]
00-0-1- 1
10100-1 1
.names i_7_ i_8_ i_6_ [44] [170] [5629]
1011- 1
110-1 1
.names i_7_ i_8_ i_6_ [48] n_n92 [65] [5630]
---11- 1
001--1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [21] n_n67 [5631]
11-1-1- 1
11000-1 1
.names i_7_ i_8_ i_6_ [53] [33] [5634]
0-01- 1
10--1 1
.names i_7_ i_8_ i_6_ [26] [58] [53] [63] [5635]
10---1- 1
01----1 1
0111--- 1
111-1-- 1
.names [29] [34] n_n95 [85] n_n87 [50] [5396] [5638]
1-1---- 1
-11---- 1
---11-- 1
----111 1
.names n_n78 n_n82 n_n84 [42] [24] n_n955 [4945] [5639]
-----1- 1
1--1--- 1
-1--1-- 1
--1---1 1
.names i_7_ i_8_ i_6_ [64] [82] [237] [128] [5641]
1101--- 1
001-1-- 1
000--1- 1
111---1 1
.names [45] n_n91 n_n66 [33] [697] [5625] [5645]
----1- 1
11---- 1
-1-1-- 1
--1--1 1
.names n_n93 [49] n_n94 [125] n_n96 [5645] [5652]
---1-- 1
-----1 1
11---- 1
1-1-1- 1
.names [153] [204] [287] [5634] [5635] [5653]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [91] [143] [223] [101] [5638] [5639] [5654]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [218] [5627] [5628] [5629] [5630] [5631] [5641] [5655]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [5659]
10001 1
.names i_7_ i_8_ i_6_ [67] [47] [5666]
1111- 1
011-1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ n_n94 [73] [5667]
110---1 1
100111- 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ n_n94 [5668]
01011-1 1
0101001 1
.names i_5_ i_6_ i_3_ i_4_ [66] [132] [5669]
01-01- 1
1-10-1 1
.names i_7_ i_8_ i_6_ [36] [57] [5670]
1101- 1
101-1 1
.names n_n63 n_n85 n_n95 [83] [239] [81] [5659] [5671]
1--1--- 1
--1-1-- 1
--1--1- 1
-1----1 1
.names n_n58 n_n101 [32] [55] [112] n_n100 n_n84 [5672]
-1-1--- 1
-1--1-- 1
--1---1 1
1----11 1
.names n_n101 n_n78 [64] n_n102 n_n85 n_n96 n_n103 [5673]
1-1---- 1
1---11- 1
-1-1--1 1
-1---11 1
.names i_7_ i_8_ i_6_ [42] [67] [51] [666] [5674]
------1 1
0-0--1- 1
0111--- 1
110-1-- 1
.names n_n211 [5671] [5672] [5673] [5682]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n554 [5666] [5667] [5668] [5669] [5670] [5674] [5683]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_3_ [5686]
000 1
.names i_5_ i_6_ i_4_ i_1_ i_2_ [5687]
10110 1
.names i_5_ i_6_ i_3_ [5688]
100 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5689]
01100 1
.names i_5_ i_6_ i_3_ i_1_ i_2_ [38] [5689] [5694]
--1011- 1
000---1 1
.names i_5_ i_6_ i_3_ i_4_ [66] [107] [5695]
-0001- 1
1-11-1 1
.names [45] n_n95 n_n91 [43] n_n53 [24] [240] [5698]
11----- 1
-1-1--- 1
--1--1- 1
----1-1 1
.names n_n101 n_n78 n_n74 [19] [46] [47] [31] [5699]
1--1--- 1
-1--1-- 1
-1---1- 1
--1---1 1
.names i_7_ i_8_ i_6_ [49] [42] [22] [82] [5700]
0101--- 1
011-1-- 1
001--1- 1
101---1 1
.names n_n58 n_n101 [26] [328] [24] [239] [5688] [5701]
-11---- 1
-1--1-- 1
1----1- 1
---1--1 1
.names n_n101 n_n74 [21] n_n91 [20] [65] [33] [5703]
--11--- 1
-1--1-- 1
---1-1- 1
1-----1 1
.names [5694] [5695] [5699] [5700] [5701] [5708]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5711]
10101 1
.names i_7_ i_8_ i_6_ [64] [43] [5712]
1101- 1
011-1 1
.names i_7_ i_8_ i_6_ i_3_ [51] [5687] [5713]
111-1- 1
00-0-1 1
.names i_7_ i_8_ i_6_ [55] [22] [5714]
0001- 1
011-1 1
.names i_7_ i_6_ i_3_ i_1_ i_2_ [86] [339] [5715]
11---1- 1
--101-1 1
.names i_5_ i_3_ i_4_ n_n93 [64] [37] [5718]
---11- 1
111--1 1
.names i_7_ i_8_ i_6_ [27] [40] [67] [33] [5719]
0001--- 1
101-1-- 1
110--1- 1
111---1 1
.names n_n81 n_n93 n_n82 [21] n_n77 [107] n_n103 [5720]
--11--- 1
----11- 1
11----1 1
--1-1-1 1
.names n_n101 [112] n_n63 n_n40 [238] [617] [5711] [5725]
-----1- 1
11----- 1
--1-1-- 1
---1--1 1
.names [160] [166] [281] [121] [5719] [5720] [5731]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [295] [5712] [5713] [5714] [5715] [5718] [5725] [5732]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [5736]
11011 1
.names i_7_ i_8_ i_6_ [53] [52] [5737]
1101- 1
011-1 1
.names i_7_ i_8_ i_6_ [237] n_n96 [4832] [5738]
----11 1
1111-- 1
.names n_n78 n_n95 [245] [170] [33] [339] [596] [5744]
------1 1
-1-1--- 1
1---1-- 1
--1--1- 1
.names n_n101 n_n63 [47] [73] n_n296 [114] [5744] [5748]
----1-- 1
-----1- 1
------1 1
1-1---- 1
-1-1--- 1
.names [152] [151] [305] [98] [280] [5737] [5738] [5749]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [64] [245] [5751]
01-1-1- 1
11100-1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [82] [5068] [5754]
001--1- 1
--000-1 1
.names i_5_ i_3_ i_4_ [55] n_n95 [317] [5755]
---11- 1
010--1 1
.names i_7_ i_8_ [67] [561] [5758]
---1 1
101- 1
.names i_7_ i_8_ i_6_ [29] [52] [81] [86] [5761]
1001--- 1
101-1-- 1
010--1- 1
011---1 1
.names n_n82 n_n83 n_n40 [73] [320] n_n67 [5451] [5762]
1--1--- 1
-1--1-- 1
----11- 1
--1---1 1
.names i_7_ i_8_ i_6_ [29] [44] [73] [347] [5763]
-00---1 1
0111--- 1
011-1-- 1
001--1- 1
.names [29] [34] n_n95 [85] n_n87 [50] [5396] [5764]
1-1---- 1
-11---- 1
---11-- 1
----111 1
.names n_n93 [112] n_n100 [241] [66] [78] [5442] [5766]
11----- 1
--1--1- 1
---1-1- 1
----1-1 1
.names i_7_ i_8_ i_6_ [44] [347] [354] [4944] [5768]
-----11 1
1111--- 1
1101--- 1
111-1-- 1
.names [256] [215] [291] [141] [142] [5758] [5775]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5761] [5762] [5763] [5764] [5776]
1--- 1
-1-- 1
--1- 1
---1 1
.names [268] [5751] [5754] [5755] [5766] [5768] [5777]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n324 [5748] [5749] [5775] [5776] [5777] [5781]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ n_n94 [33] [5785]
000---1 1
101111- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [23] [4873] [5786]
1--1-1- 1
10010-1 1
.names n_n101 n_n95 [25] [47] n_n96 [1583] [5736] [5788]
-----1- 1
-11---- 1
1--1--- 1
----1-1 1
.names i_7_ i_8_ i_6_ [53] [559] [825] [5789]
----1- 1
-----1 1
0111-- 1
1101-- 1
.names i_7_ i_8_ i_6_ [39] [67] [76] [171] [5790]
-011--- 1
-10-1-- 1
001--1- 1
010---1 1
.names [148] [286] [114] [5785] [5786] [5795]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [274] [151] [5788] [5789] [5790] [5796]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_8_ i_6_ n_n83 n_n77 [63] [5800]
001--1 1
00111- 1
.names i_7_ i_8_ i_6_ [40] [64] [5801]
0111- 1
111-1 1
.names n_n91 [324] n_n67 [129] [33] [5338] [5803]
-11--- 1
1---1- 1
---1-1 1
.names n_n83 n_n79 n_n77 [320] n_n67 [5112] [5395] [5804]
1--1--- 1
---11-- 1
--1--1- 1
-1----1 1
.names n_n80 n_n78 n_n91 [42] [81] [234] [532] [5808]
------1 1
-1-1--- 1
--1-1-- 1
1----1- 1
.names i_7_ i_8_ i_6_ [41] [25] [237] [128] [5810]
0-1-1-- 1
1111--- 1
111--1- 1
000--1- 1
111---1 1
.names [145] [272] [116] [147] [5803] [5804] [5818]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [125] [163] [97] [284] [5400] [5808] [5819]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [303] n_n652 [296] [167] [5800] [5801] [5810] [5820]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_6_ [19] [47] [5824]
0101- 1
110-1 1
.names i_7_ i_8_ i_6_ [55] [73] [526] [5825]
-----1 1
-001-- 1
000-1- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [27] [241] [5830]
01-1-1- 1
11101-1 1
.names i_7_ i_8_ i_6_ [112] [43] [5831]
0-01- 1
101-1 1
.names i_7_ i_8_ i_6_ [64] [42] [170] [81] [5836]
0111--- 1
010-1-- 1
101--1- 1
110---1 1
.names i_7_ i_8_ i_6_ [55] [29] [170] [81] [5837]
1101--- 1
100-1-- 1
010--1- 1
010---1 1
.names [26] n_n82 n_n91 [83] [24] [354] [4944] [5840]
1-1---- 1
--11--- 1
-1--1-- 1
-----11 1
.names i_7_ i_8_ i_6_ [34] [63] [73] [507] [5841]
------1 1
01--1-- 1
1111--- 1
010--1- 1
.names [161] [102] [5830] [5831] [5837] [5840] [5846]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_5_ i_6_ i_3_ [22] [316] [5852]
00-1-1- 1
--111-1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ n_n76 [5853]
111011 1
001101 1
.names n_n74 n_n63 n_n85 n_n91 [83] [47] [5659] [5860]
-1--1-- 1
---1-1- 1
--1---1 1
111---- 1
.names i_7_ i_8_ i_6_ [49] [82] [126] [86] [5862]
0001--- 1
011-1-- 1
000--1- 1
110---1 1
.names i_7_ i_8_ i_6_ [46] [86] [128] [23] [5863]
0111--- 1
000-1-- 1
011--1- 1
100---1 1
.names i_7_ i_8_ i_6_ [45] [49] [41] [239] [5865]
0101--- 1
100-1-- 1
101--1- 1
010--1- 1
011---1 1
.names i_7_ i_8_ i_6_ [39] [21] [22] [24] [5866]
1-1--1- 1
0111--- 1
100-1-- 1
011---1 1
.names [176] [88] [222] [301] [185] [5860] [5872]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [158] [159] [5852] [5853] [5862] [5863] [5873]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [71] [218] [5824] [5825] [5865] [5866] [5874]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n421 [5836] [5841] [5846] [5872] [5873] [5874] [5877]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [174] [76] [5882]
00-1--1 1
010001- 1
.names i_7_ i_8_ i_6_ [107] n_n96 [33] [5883]
---11- 1
000--1 1
.names i_7_ i_8_ i_6_ [81] [76] [5885]
1101- 1
000-1 1
.names i_7_ i_8_ i_6_ [26] n_n102 n_n94 [20] [5886]
----1-1 1
0-01--- 1
010-11- 1
.names n_n101 n_n92 [85] n_n87 [128] [807] [4831] [5887]
-----1- 1
--11--- 1
1---1-- 1
-1----1 1
.names i_7_ i_8_ i_6_ [27] [67] [74] [170] [5889]
-10-1-- 1
0111--- 1
010--1- 1
101---1 1
.names n_n95 n_n94 [25] n_n96 [5493] [5686] [5687] [5890]
1-1---- 1
-1--1-- 1
-----11 1
11-1--- 1
.names n_n93 n_n94 [73] [5085] [5885] [5886] [5887] [5896]
----1-- 1
-----1- 1
------1 1
1-1---- 1
-1-1--- 1
.names [152] [151] [5882] [5883] [5889] [5890] [5897]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [25] [52] [5899]
1001- 1
011-1 1
.names i_3_ i_1_ i_2_ i_0_ n_n63 [52] [320] [5900]
----11- 1
00-1--1 1
-011--1 1
.names n_n93 n_n85 n_n84 n_n95 [63] [317] [615] [5901]
------1 1
1---1-- 1
--1--1- 1
-111--- 1
.names [253] n_n82 n_n79 n_n77 [5112] [5395] [5903]
11---- 1
---11- 1
--1--1 1
.names i_7_ i_8_ i_6_ [27] [22] [5905]
0001- 1
000-1 1
.names i_7_ i_8_ i_6_ [64] [34] [52] [5906]
1-1-1- 1
1011-- 1
000--1 1
.names i_7_ i_8_ i_6_ [21] [57] [25] [86] [5907]
1001--- 1
001-1-- 1
001--1- 1
000---1 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [5909]
01001 1
.names i_7_ i_8_ i_6_ [42] [86] [5911]
0111- 1
110-1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [63] [5068] [5912]
000--1- 1
--000-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [82] [129] [5913]
10-1-1- 1
--111-1 1
.names i_3_ i_1_ i_2_ [78] [324] [5914]
1011- 1
011-1 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [74] [174] [5915]
00-1-1- 1
11100-1 1
.names i_7_ i_8_ i_6_ [45] [25] [5916]
01--1 1
1111- 1
.names i_7_ i_8_ i_6_ [19] n_n92 [20] [5918]
----11 1
1101-- 1
.names n_n101 [32] [64] [112] n_n82 n_n84 n_n77 [5919]
1--1--- 1
--1-1-- 1
-1---1- 1
-1----1 1
.names n_n101 n_n78 [27] [19] [46] [131] [5405] [5922]
1-1---- 1
1--1--- 1
-1--1-- 1
-----11 1
.names i_7_ i_8_ i_6_ [40] [45] [63] [33] [5923]
1011--- 1
001-1-- 1
011--1- 1
111---1 1
.names n_n52 [21] [168] n_n211 [22] [77] [5918] [5934]
--1---- 1
---1--- 1
------1 1
1---1-- 1
11---1- 1
.names [92] [155] [303] [307] [5919] [5935]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [157] [209] [5911] [5912] [5922] [5923] [5936]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5899] [5900] [5901] [5913] [5914] [5915] [5916] [5937]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names n_n241 [125] [5903] [5905] [5906] [5907] [5938]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_5_ i_4_ i_2_ i_0_ [5943]
0011 1
.names i_7_ i_8_ i_6_ [81] [73] [5945]
0101- 1
100-1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ [66] [76] [5946]
--1101- 1
001---1 1
.names i_7_ i_8_ i_6_ [39] [55] n_n71 [85] [5948]
-----11 1
0101--- 1
111-1-- 1
.names n_n95 n_n91 [25] [53] n_n96 [559] [5736] [5950]
-----1- 1
1-1---- 1
-1-1--- 1
----1-1 1
.names i_7_ i_8_ i_6_ [39] [171] [5943] [5951]
-011-- 1
0001-- 1
010-1- 1
110--1 1
.names n_n93 [34] n_n95 [167] [65] [287] [5948] [5957]
---1--- 1
-----1- 1
------1 1
-11---- 1
1---1-- 1
.names [274] [151] [5945] [5946] [5950] [5951] [5958]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_8_ i_6_ [53] [82] [5960]
0001- 1
111-1 1
.names i_7_ i_8_ i_6_ [19] n_n96 [129] [5967]
----11 1
0111-- 1
1011-- 1
.names i_7_ i_8_ i_5_ i_6_ i_4_ [66] [76] [5968]
--0101- 1
01-0--1 1
.names i_5_ i_3_ i_4_ [32] [37] [5970]
1101- 1
111-1 1
.names i_7_ i_8_ i_6_ n_n81 [40] n_n85 n_n90 [5971]
001-1-- 1
0011-1- 1
1101--1 1
.names n_n78 [37] n_n91 [22] [82] [126] n_n99 [5975]
1--1--- 1
--1-1-- 1
1----1- 1
-1----1 1
.names i_7_ i_8_ i_6_ n_n85 [24] [239] [325] [5976]
101-1-- 1
000-1-- 1
110--1- 1
1001--1 1
.names n_n80 [337] n_n100 [244] [247] [25] [130] [5977]
11----- 1
--11--- 1
----11- 1
----1-1 1
.names n_n101 n_n63 [41] [307] [47] [300] [5970] [5985]
---1--- 1
-----1- 1
------1 1
1-1---- 1
-1--1-- 1
.names [255] [89] [155] [225] [220] [5960] [5971] [5986]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [5967] [5968] [5975] [5976] [5977] [5987]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_6_ [5994]
01 1
.names i_7_ i_8_ i_6_ i_2_ [5995]
0001 1
.names i_7_ i_8_ i_6_ [40] [19] [5997]
1011- 1
010-1 1
.names i_1_ i_2_ i_0_ n_n91 [170] [320] [5998]
---11- 1
011--1 1
.names i_7_ i_8_ i_6_ [132] [67] n_n77 [5999]
---1-1 1
111-1- 1
.names i_7_ i_8_ i_6_ i_3_ [128] [5687] [6000]
011-1- 1
00-0-1 1
.names i_7_ i_8_ i_6_ [42] [237] [6001]
0011- 1
000-1 1
.names i_5_ i_3_ i_4_ [31] [4901] [6002]
1001- 1
010-1 1
.names i_7_ i_8_ [324] [53] n_n67 [129] [5338] [6007]
--1-1-- 1
-----11 1
10-1--- 1
.names i_7_ i_8_ i_6_ [27] [67] [171] [60] [6011]
------1 1
00---1- 1
0111--- 1
000-1-- 1
.names i_7_ i_8_ i_6_ [29] [83] [22] [63] [6015]
1011--- 1
011-1-- 1
011--1- 1
011---1 1
.names [21] n_n95 n_n77 [107] [33] [5994] [5995] [6016]
--11--- 1
-1--1-- 1
1----1- 1
--1---1 1
.names [150] [153] n_n652 [125] [6007] [6023]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [143] [268] [94] [197] [5997] [5998] [6011] [6024]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [5999] [6000] [6001] [6002] [6015] [6016] [6025]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5985] [5986] [5987] [6024] [6025] [6029]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.end