.model top
.inputs i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_19_ o_2_ o_0_ o_29_ o_60_ o_39_ o_38_ o_25_ o_12_ o_37_ o_26_ \
o_11_ o_50_ o_36_ o_27_ o_14_ o_35_ o_28_ o_13_ o_34_ o_21_ o_16_ o_40_ o_33_ \
o_22_ o_15_ o_32_ o_23_ o_18_ o_31_ o_24_ o_17_ o_56_ o_43_ o_30_ o_55_ o_44_ \
o_58_ o_41_ o_57_ o_42_ o_20_ o_52_ o_47_ o_51_ o_48_ o_54_ o_45_ o_10_ o_53_ \
o_46_ o_61_ o_9_ o_62_ o_49_ o_7_ o_8_ o_5_ o_59_ o_6_ o_3_ o_4_
.names i_1_ i_2_ i_0_ n_n7 n_n14 [3184] o_1_
-----1 1
11111- 1
00111- 1
10011- 1
00011- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 o_19_
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n8 o_2_
001111 1
000111 1
001011 1
000011 1
001101 1
000101 1
001001 1
000001 1
.names [172] [312] [3198] [3199] [3209] o_0_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ i_0_ [103] o_29_
0001 1
.names [3259] [3260] [3261] [3262] [3271] o_60_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [218] [3326] [3327] [3328] [3333] [3336] o_39_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [307] n_n883 [3355] [3375] [3377] [3379] o_38_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_5_ i_3_ i_4_ [119] o_25_
0001 1
.names i_1_ i_2_ i_0_ [82] o_12_
0111 1
.names [256] [3419] [3423] [3428] o_37_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_1_ i_2_ i_0_ [121] o_26_
1111 1
0111 1
.names i_1_ i_2_ i_0_ [82] o_11_
1011 1
.names [166] n_n92 [201] n_n582 [3452] [3457] o_50_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [116] [137] n_n883 [3355] [3484] o_36_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_5_ i_3_ i_4_ [145] o_27_
0001 1
.names i_1_ i_2_ i_0_ [102] o_14_
0011 1
.names [116] [137] n_n883 [3355] [3504] o_35_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ i_0_ [124] o_28_
0111 1
.names i_1_ i_2_ i_0_ [102] o_13_
1001 1
.names [337] [323] [3277] [3287] [3293] [3530] o_34_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ [3194] o_21_
101 1
001 1
.names i_1_ i_2_ i_0_ [102] o_16_
1011 1
.names [3561] [3562] [3566] [3571] o_40_
1--- 1
-1-- 1
--1- 1
---1 1
.names [336] [3591] [3592] [3593] [3603] o_33_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ i_0_ [124] [121] o_22_
0011- 1
001-1 1
.names i_1_ i_2_ i_0_ [102] o_15_
1101 1
.names n_n883 [3355] [3616] [3617] o_32_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 o_23_
-1-111 1
111101 1
011101 1
110101 1
010101 1
.names i_1_ i_2_ i_0_ [118] [204] o_18_
0101- 1
010-1 1
.names [318] [3605] [3632] [3635] o_31_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_5_ i_3_ i_4_ [169] o_24_
0001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 o_17_
101111 1
001111 1
100111 1
000111 1
101011 1
001011 1
100011 1
000011 1
.names n_n491 [322] [3639] [3657] [3663] o_56_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [3682] [3683] [3693] [3703] [3708] [3711] o_43_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_1_ i_2_ i_0_ [121] o_30_
1111 1
.names [189] n_n783 n_n563 [3728] [3732] [3734] o_55_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [116] [137] n_n883 [3355] [3747] o_44_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [282] [3760] [3764] [3767] o_58_
1--- 1
-1-- 1
--1- 1
---1 1
.names [3785] [3786] [3788] [3789] [3791] [3792] o_41_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n660 [3825] [3829] [3834] o_57_
1--- 1
-1-- 1
--1- 1
---1 1
.names [314] [3876] [3877] [3878] [3885] o_42_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 o_20_
100001 1
000001 1
.names n_n569 [3905] [3906] [3907] [3908] [3910] o_52_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [328] [282] [3924] [3928] o_47_
1--- 1
-1-- 1
--1- 1
---1 1
.names [252] n_n96 n_n563 [3960] [3961] [3971] o_51_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n476 [263] [264] [3986] o_48_
1--- 1
-1-- 1
--1- 1
---1 1
.names [321] [347] [4006] [4007] [4011] [4017] o_54_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [137] n_n883 [3355] [4031] o_45_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_1_ i_2_ i_0_ [82] [102] o_10_
1101- 1
110-1 1
.names n_n591 [315] [4053] [4054] [4059] o_53_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [263] [4068] [4069] o_46_
1-- 1
-1- 1
--1 1
.names n_n92 n_n91 n_n883 [4097] o_61_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_1_ i_2_ i_0_ [121] o_9_
0101 1
.names [267] [347] [4108] [4112] o_62_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n490 n_n491 n_n883 [3355] [3977] [4118] o_49_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_1_ i_2_ i_0_ [82] o_7_
1001 1
.names i_1_ i_2_ i_0_ [82] o_8_
1111 1
.names i_1_ i_2_ i_0_ n_n8 n_n12 n_n16 o_5_
1111-1 1
0111-1 1
1011-1 1
0011-1 1
1101-1 1
0101-1 1
1001-1 1
0001-1 1
111-11 1
011-11 1
101-11 1
001-11 1
110-11 1
010-11 1
100-11 1
000-11 1
.names [4158] [4159] [4162] [4164] o_59_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_1_ i_2_ i_0_ [3195] o_6_
0101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 o_4_
011111 1
010111 1
011011 1
010011 1
011101 1
010101 1
011001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [118]
00011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [120]
00001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [125]
00010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [172]
100101 1
100001 1
000001 1
.names i_7_ i_6_ n_n7 n_n4 n_n11 n_n3 [312]
1011-- 1
0011-- 1
10--11 1
00--11 1
.names i_1_ i_2_ i_0_ n_n0
000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [103]
10000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n896
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
001101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 n_n1008
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
011001 1
.names i_1_ i_2_ i_0_ [103] [142] [143] n_n959
0111-- 1
011-1- 1
001--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n890
101111 1
001111 1
010111 1
100111 1
000111 1
111101 1
011101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n591
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 n_n1027
101101 1
001101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n949
101001 1
001001 1
100001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [108]
001101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [187]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [192]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
100101 1
000101 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n8 [222]
111011 1
011011 1
101011 1
001011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [226]
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [228]
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [239]
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [252]
101111 1
001111 1
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [280]
100011 1
000011 1
111001 1
011001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [324]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
000101 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [327]
101001 1
001001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [331]
111011 1
011011 1
101101 1
001101 1
100101 1
000101 1
.names i_7_ i_6_ n_n2 n_n1 n_n8 n_n12 [335]
011-1- 1
101-1- 1
01-1-1 1
10-1-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [346]
-0-111 1
010111 1
111101 1
011101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n1055
000011 1
111001 1
011001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n12 n_n1028
110101 1
010101 1
100101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n137
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
101101 1
001101 1
110101 1
100101 1
000101 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n935
100111 1
000111 1
111101 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [144]
101001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [218]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111101 1
011101 1
.names i_7_ i_6_ n_n7 n_n4 n_n11 n_n3 [227]
0111-- 1
11--11 1
01--11 1
.names [84] [201] [216] [3309] [328]
1--- 1
-1-- 1
--1- 1
---1 1
.names [100] [221] n_n1031 [336]
1-- 1
-1- 1
--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [348]
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n1059
101101 1
001101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n573
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n683
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [105]
000011 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [114]
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [196]
111001 1
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [298]
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names [218] [189] [238] [307]
1-- 1
-1- 1
--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [318]
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_5_ i_3_ i_4_ n_n7
000 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [119]
01100 1
.names i_1_ i_2_ i_0_ n_n5
011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [82]
11100 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n952
101011 1
001011 1
010011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n416
101111 1
001111 1
100111 1
000111 1
111101 1
011101 1
101101 1
110101 1
010101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n12 n_n1049
011101 1
101101 1
001101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n215
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [166]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111101 1
011101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [213]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [256]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
100101 1
000101 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names n_n6 n_n739 n_n18 [70] [3273] [285]
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [309]
011101 1
101101 1
110101 1
010101 1
.names n_n2 [276] [143] [206] [215] [3389] [333]
-1---- 1
----1- 1
-----1 1
1-1--- 1
1--1-- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [337]
001111 1
100111 1
000111 1
111101 1
011101 1
101101 1
110101 1
.names [237] n_n919 [139] [3392] [341]
1--- 1
-1-- 1
--1- 1
---1 1
.names [102] n_n3 n_n895 n_n948 [173] [343]
--1-- 1
---1- 1
----1 1
11--- 1
.names i_1_ i_2_ i_0_ n_n6
101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 n_n427
-1-111 1
-0-111 1
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
011001 1
110001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n459
000011 1
111001 1
011001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n972
000111 1
111101 1
011101 1
.names i_7_ i_6_ n_n7 n_n19 n_n8 [353] n_n904
-----1 1
1111-- 1
0111-- 1
1011-- 1
0011-- 1
00-11- 1
.names [102] n_n3 n_n895 n_n948 [173] [3432] n_n92
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names [120] n_n6 [342] n_n738 n_n859 [3434] [251]
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names i_1_ i_2_ i_0_ [203] [168] [261]
0001- 1
000-1 1
.names n_n896 [156] [180] [194] n_n955 [3437] [282]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [344]
111011 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n7 n_n845
110001 1
010001 1
100001 1
000001 1
.names [276] [268] n_n1040 n_n1047 [3389] [3458] n_n172
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [110]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [177]
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [182]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
011001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [189]
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_6_ n_n7 n_n5 n_n4 n_n18 [310]
0111-- 1
1011-- 1
0011-- 1
11--11 1
01--11 1
10--11 1
00--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [317]
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [145]
01110 1
.names i_1_ i_2_ i_0_ n_n4
001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [102]
11110 1
.names i_5_ i_3_ i_4_ n_n13
011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n1000
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [84]
101111 1
001111 1
100111 1
000111 1
111101 1
011101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [100]
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [129]
100111 1
000111 1
111101 1
011101 1
110101 1
010101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [153]
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [201]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
101101 1
001101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [221]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
101101 1
001101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [124]
10110 1
.names i_1_ i_2_ i_0_ n_n2
100 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n8 n_n950
010011 1
100011 1
000011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n783
101011 1
001011 1
100011 1
000011 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_6_ [144] n_n11 [74] n_n816
---11 1
111-- 1
011-- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 n_n803
100011 1
000011 1
111001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [96]
001111 1
100111 1
000111 1
111101 1
011101 1
110101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n12 [104]
011101 1
101101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [116]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [164]
111101 1
011101 1
001101 1
.names i_5_ i_3_ i_4_ n_n11
010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 n_n923
101101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n822
001001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 n_n119
111011 1
011011 1
101011 1
110011 1
010011 1
101101 1
001101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n1006
001111 1
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [86]
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [111]
001011 1
100011 1
000011 1
111001 1
011001 1
110001 1
.names i_1_ i_2_ i_0_ n_n18 [70] [136]
1011- 1
101-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [154]
100111 1
000111 1
111101 1
011101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [253]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [276]
001011 1
100011 1
000011 1
111001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [305]
111001 1
011001 1
101001 1
001001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [345]
000111 1
111101 1
011101 1
110101 1
010101 1
.names [103] n_n6 n_n19 [142] [204] n_n18 n_n128
1-1--- 1
--11-- 1
-1--1- 1
-1---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n1002
001111 1
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [151]
111011 1
011011 1
101011 1
110011 1
010011 1
000101 1
.names i_7_ i_6_ n_n7 n_n5 n_n4 n_n18 [156]
1011-- 1
0011-- 1
11--11 1
01--11 1
10--11 1
00--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [193]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [284]
-1-111 1
-0-111 1
111011 1
011011 1
110011 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [313]
-1-011 1
101011 1
001011 1
100011 1
000011 1
101101 1
110101 1
111001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [332]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [349]
101011 1
001011 1
010011 1
100011 1
000011 1
011001 1
110001 1
010001 1
.names i_1_ i_2_ i_0_ n_n3
110 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n95
001011 1
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n96
111011 1
011011 1
101011 1
110011 1
010011 1
101101 1
001101 1
100101 1
000101 1
.names n_n890 n_n3 [203] [168] [3237] [3238] n_n91
1----- 1
----1- 1
-----1 1
-11--- 1
-1-1-- 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n12 n_n1017
010001 1
100001 1
000001 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [351]
111000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n990
001011 1
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [179]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [230]
101111 1
001111 1
100111 1
000111 1
111101 1
011101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [237]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111101 1
011101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [238]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [355]
10101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [169]
01000 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n13 [180]
110011 1
010011 1
100011 1
000011 1
.names n_n3 [322] [143] [206] [204] n_n490
-1--- 1
1-1-- 1
1--1- 1
1---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 n_n387
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
100101 1
000101 1
.names [177] [154] n_n820 [131] n_n491
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n1018
100111 1
000111 1
111101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 n_n1022
101001 1
110001 1
010001 1
.names i_7_ i_6_ n_n7 [351] n_n1 [83]
11-1- 1
01-1- 1
10-1- 1
011-1 1
101-1 1
001-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [229]
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_1_ i_2_ i_0_ [118] [120] [247]
1101- 1
110-1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n12 [257]
111001 1
011001 1
101001 1
001001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n10 [300]
111001 1
011001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 n_n919
100011 1
000011 1
111001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n8 [109]
011101 1
101101 1
.names i_5_ i_3_ i_4_ [169] [167] [214]
1101- 1
100-1 1
.names i_1_ i_2_ i_0_ [120] [82] [220]
1101- 1
110-1 1
.names i_1_ i_2_ i_0_ [121] [101] [258]
0101- 1
010-1 1
.names i_7_ i_6_ n_n0 n_n11 [83] [85] [314]
----1- 1
-----1 1
1111-- 1
0111-- 1
1011-- 1
0011-- 1
.names i_1_ i_2_ i_0_ n_n19
111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [121]
10100 1
.names [237] n_n919 [139] [306] [3392] n_n660
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n673
-1-011 1
101011 1
001011 1
100011 1
000011 1
111001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n563
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names [179] [230] n_n1033 [3715] n_n630
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [99]
101101 1
001101 1
010101 1
100101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [127]
111001 1
011001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [137]
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [315]
100111 1
000111 1
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [325]
111101 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [141]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
101101 1
001101 1
100101 1
000101 1
.names i_1_ i_2_ i_0_ [203] [168] [223]
0101- 1
010-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [267]
101111 1
001111 1
100111 1
000111 1
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n895
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n195
101011 1
001011 1
010011 1
100011 1
000011 1
111001 1
011001 1
110001 1
010001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 n_n745
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [85]
101111 1
001111 1
010111 1
100111 1
000111 1
111101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [283]
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n903
101111 1
001111 1
100111 1
000111 1
111101 1
011101 1
101101 1
110101 1
010101 1
.names i_7_ i_6_ n_n7 n_n2 n_n3 n_n18 n_n800
001-1- 1
11-1-1 1
01-1-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [150]
111011 1
011011 1
101101 1
001101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [195]
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [287]
101001 1
001001 1
100001 1
000001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [308]
011011 1
101011 1
001011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [321]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [322]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
101101 1
001101 1
100101 1
000101 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [329]
000111 1
111101 1
011101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [340]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [342]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n1004
101011 1
001011 1
010011 1
100011 1
000011 1
111001 1
011001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n1005
111011 1
011011 1
110011 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 n_n778
111011 1
011011 1
110011 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n645
-0-111 1
011111 1
110111 1
010111 1
111101 1
011101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n12 n_n1076
111011 1
011011 1
101011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [79]
10001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [95]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [107]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [122]
10011 1
.names i_1_ i_2_ i_0_ [120] [75] [188]
1011- 1
101-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [217]
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [231]
111001 1
011001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [295]
100111 1
000111 1
111101 1
011101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [347]
001111 1
100111 1
000111 1
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n824
000011 1
111001 1
011001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 n_n342
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
001101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [97]
111011 1
011011 1
101011 1
110011 1
010011 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [101]
11000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [185]
101011 1
001011 1
010011 1
100011 1
000011 1
111001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 n_n817
110011 1
010011 1
100011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n960
101001 1
001001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n820
101111 1
001111 1
010111 1
.names [222] n_n1006 n_n645 [160] [3889] n_n569
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [117]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [139]
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n18 [277]
111001 1
011001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 n_n944
101101 1
001101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n829
101001 1
001001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [148]
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [194]
001011 1
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [198]
101001 1
001001 1
010001 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [350]
101010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n476
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names n_n491 [322] n_n883 [3355] [3639] [3977] [263]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [264]
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_1_ i_2_ i_0_ [120] n_n1147
1011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n652
101101 1
001101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n738
-1-011 1
101011 1
001011 1
100011 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 n_n716
111011 1
011011 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_1_ i_2_ i_0_ [118] [122] [266]
0001- 1
000-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [278]
-1-111 1
-0-111 1
110011 1
111101 1
.names i_1_ i_2_ i_0_ [203] [168] [290]
1101- 1
110-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [323]
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names [105] n_n1017 [83] [223] [85] n_n423
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ i_0_ [143] [206] [268]
1001- 1
100-1 1
.names i_7_ i_6_ n_n7 n_n4 n_n3 n_n18 n_n948
0011-- 1
11--11 1
01--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 n_n739
101011 1
001011 1
010011 1
100011 1
000011 1
111001 1
011001 1
110001 1
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [173]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 n_n1015
111011 1
011011 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [233]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_5_ i_3_ i_4_ n_n10
101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 n_n955
101101 1
110101 1
010101 1
.names n_n6 n_n904 [308] n_n10 [3344] n_n883
-1--- 1
--1-- 1
----1 1
1--1- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n901
100011 1
000011 1
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
.names i_1_ i_2_ i_0_ [143] [206] [269]
0101- 1
010-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [306]
111011 1
101101 1
001101 1
100101 1
000101 1
.names i_1_ i_2_ i_0_ n_n1
010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 n_n582
001001 1
100001 1
000001 1
.names i_5_ i_3_ i_4_ n_n8
100 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [89]
01011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 n_n1023
000011 1
111001 1
011001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 n_n786
-1-011 1
101011 1
001011 1
100011 1
000011 1
000101 1
.names i_7_ i_6_ n_n7 n_n2 n_n1 n_n18 n_n1031
0011-- 1
11--11 1
01--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [212]
111011 1
011011 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ o_3_
01010 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [241]
01101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [142]
00000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [143]
11111 1
.names i_7_ i_6_ n_n14
00 1
.names i_7_ i_6_ n_n15
10 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n859
111011 1
011011 1
000101 1
.names i_5_ i_3_ i_4_ n_n12
110 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [123]
01001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [74]
00001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [126]
11010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [90]
10010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [71]
10101 1
00101 1
01001 1
.names i_1_ i_2_ i_0_ [204] n_n1040
1001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [245]
01111 1
11011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [69]
10111 1
00111 1
01011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [234]
101011 1
001011 1
010011 1
100011 1
000011 1
111001 1
011001 1
110001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [167]
01010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [205]
00101 1
10001 1
.names i_5_ i_3_ i_4_ n_n9
001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 n_n609
-0-111 1
110111 1
010111 1
111101 1
011101 1
110101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [352]
01101 1
11001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [160]
101001 1
001001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [206]
01111 1
11011 1
01011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [204]
10111 1
00111 1
10011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [81]
01000 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [244]
01111 1
.names i_7_ i_6_ [64]
11 1
01 1
10 1
.names i_7_ i_6_ n_n16
01 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [72]
10101 1
11001 1
01001 1
.names i_5_ i_3_ i_4_ [163]
111 1
011 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [353]
111101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [171]
11101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n8 [132]
111001 1
011001 1
101001 1
001001 1
.names i_5_ i_3_ i_4_ n_n18
111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [203]
01101 1
11001 1
01001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [168]
10101 1
00101 1
10001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 n_n993
111011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 n_n1047
111011 1
011011 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [225]
111101 1
011101 1
101101 1
110101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [75]
-1-01 1
10101 1
00101 1
10001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [70]
10111 1
11011 1
01011 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [78]
010111 1
100111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [302]
-1-111 1
-0-111 1
111011 1
011011 1
110011 1
111101 1
011101 1
101101 1
001101 1
110101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [215]
111011 1
011011 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [316]
101001 1
001001 1
100001 1
000001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n8 n_n1033
011001 1
101001 1
001001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [191]
100111 1
000111 1
111101 1
011101 1
110101 1
.names i_7_ i_6_ n_n7 n_n5 [3303] [131]
11--1 1
01--1 1
10--1 1
0111- 1
1011- 1
0011- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [138]
001111 1
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_6_ n_n0 n_n7 n_n1 n_n18 [216]
10-11- 1
00-11- 1
111--1 1
011--1 1
101--1 1
001--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [3176]
00011 1
00001 1
.names i_1_ i_2_ i_0_ [125] [142] [3176] [3184]
---1-- 1
-----1 1
011-1- 1
101-1- 1
110-1- 1
010-1- 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [3194]
010001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [3195]
10010 1
00010 1
.names i_1_ i_2_ i_0_ [125] [90] [3198]
1111- 1
0111- 1
111-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3199]
100101 1
000101 1
100001 1
000001 1
.names i_1_ i_2_ i_0_ [103] [142] [3200]
1111- 1
1101- 1
111-1 1
110-1 1
.names i_7_ i_6_ n_n7 n_n5 n_n2 n_n11 [3201]
1011-- 1
0011-- 1
10--11 1
00--11 1
.names i_1_ i_2_ i_0_ [103] [142] [3202]
0101- 1
1001- 1
010-1 1
100-1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [3203]
100111 1
100011 1
000011 1
100101 1
000101 1
000001 1
.names [3200] [3201] [3202] [3203] [3209]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [3224]
11001 1
.names i_1_ i_2_ i_0_ [118] [204] [81] [3230]
0101-- 1
010-1- 1
100--1 1
.names i_7_ i_6_ n_n7 n_n2 n_n1 n_n18 [3231]
1111-- 1
0111-- 1
1011-- 1
0011-- 1
11--11 1
01--11 1
10--11 1
00--11 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [3233]
001011 1
.names [120] [82] n_n2 n_n3 [143] [245] [3237]
1--1-- 1
-1-1-- 1
--1-1- 1
--1--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3238]
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_1_ i_2_ i_0_ [82] [101] [3241]
1001- 1
111-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3242]
111111 1
011111 1
110111 1
100101 1
000101 1
.names i_1_ i_2_ i_0_ [102] [206] [163] [3243]
1111-- 1
001-1- 1
111--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3244]
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3251]
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names n_n959 n_n1027 n_n949 [3241] [3255]
1--- 1
-1-- 1
--1- 1
---1 1
.names [187] [226] [335] [3242] [3256]
1--- 1
-1-- 1
--1- 1
---1 1
.names [252] [102] n_n3 n_n948 [173] [3259]
1---- 1
---1- 1
----1 1
-11-- 1
.names n_n896 n_n1008 [324] [3260]
1-- 1
-1- 1
--1 1
.names [228] [239] [3251] [3261]
1-- 1
-1- 1
--1 1
.names [280] [327] [331] [346] [3262]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n387 [3230] [3231] [3237] [3238] [3264]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n890 [192] [83] [85] [3243] [3244] [3265]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n591 [3255] [3256] [3264] [3265] [3271]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [3273]
101001 1
001001 1
100001 1
000001 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [3275]
011101 1
.names i_1_ i_2_ i_0_ [82] [143] [3277]
1011- 1
011-1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [3280]
101111 1
.names i_7_ i_6_ n_n5 n_n6 n_n11 n_n10 [3287]
001-1- 1
01-11- 1
10-11- 1
111--1 1
011--1 1
101--1 1
001--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [3288]
-0-111 1
011111 1
110111 1
010111 1
111101 1
011101 1
101101 1
001101 1
110101 1
100101 1
.names [337] [323] [3277] [3287] [3292]
1--- 1
-1-- 1
--1- 1
---1 1
.names [136] n_n739 n_n786 [302] [3273] [3288] [3293]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [3303]
111001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3309]
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names i_5_ i_3_ i_4_ [123] [74] [3314]
1101- 1
100-1 1
.names i_5_ i_3_ i_4_ n_n3 [123] [126] [3315]
---1-1 1
010-1- 1
.names i_7_ i_6_ n_n7 n_n4 n_n2 [69] [3317]
----11 1
1011-- 1
0011-- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3318]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
.names i_7_ i_6_ [144] n_n2 n_n12 [3194] [3319]
--1--- 1
10---1 1
00---1 1
01-11- 1
10-11- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [3326]
100111 1
000111 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
111101 1
110101 1
110001 1
.names n_n1055 n_n1028 n_n935 [227] [3327]
1--- 1
-1-- 1
--1- 1
---1 1
.names [3314] [3315] [3317] [3318] [3319] [3328]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n783 n_n387 n_n820 [131] [3237] [3238] [3331]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n137 [84] [201] [216] [3309] [3333]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [100] [221] n_n1031 [3292] [3293] [3331] [3336]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3344]
101111 1
001111 1
100111 1
000111 1
111011 1
011011 1
101011 1
001011 1
111101 1
011101 1
101101 1
110101 1
010101 1
.names i_1_ i_2_ i_0_ [125] [142] [171] [3350]
0111-- 1
101-1- 1
011--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [3351]
111111 1
011111 1
101101 1
001101 1
010101 1
100101 1
.names n_n427 n_n901 n_n609 [3350] [3351] [3355]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ i_0_ [103] [70] [3361]
1101- 1
100-1 1
.names i_1_ i_2_ i_0_ [126] [171] [3364]
0011- 1
100-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3365]
101011 1
001011 1
100011 1
100101 1
000101 1
.names i_7_ i_6_ n_n4 n_n2 n_n10 n_n12 [3366]
01-11- 1
10-11- 1
00-11- 1
111--1 1
011--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3370]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
100101 1
000101 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_6_ n_n0 n_n11 n_n1 n_n12 [3371]
1111-- 1
0111-- 1
11-11- 1
01-11- 1
011--1 1
101--1 1
001--1 1
11--11 1
01--11 1
10--11 1
00--11 1
.names [172] n_n1059 [3364] [3365] [3371] [3375]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n683 [196] [83] [85] [3366] [3370] [3377]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n573 [318] n_n800 [195] [138] [3361] [3379]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3389]
101011 1
110011 1
010011 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_6_ n_n7 [351] n_n1 [3392]
11-1- 1
01-1- 1
101-1 1
001-1 1
.names i_1_ i_2_ i_0_ [102] [124] [3397]
0111- 1
010-1 1
.names i_1_ i_2_ i_0_ n_n13 [124] [3224] [3398]
---1-1 1
000-1- 1
.names i_7_ i_6_ n_n6 o_3_ [3280] [3399]
--11- 1
11--1 1
01--1 1
10--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [3400]
101101 1
100101 1
000101 1
.names i_7_ i_6_ n_n7 n_n5 n_n6 n_n11 [3401]
1011-- 1
0011-- 1
10--11 1
00--11 1
.names n_n5 [102] n_n19 [143] [245] [163] [3402]
-11--- 1
1--1-- 1
1---1- 1
--1--1 1
.names i_7_ i_6_ n_n4 n_n13 n_n19 n_n12 [3403]
0111-- 1
1011-- 1
0011-- 1
01--11 1
10--11 1
00--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3404]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100101 1
000101 1
.names i_7_ i_6_ n_n5 n_n4 n_n11 n_n10 [3405]
101-1- 1
11-11- 1
10-11- 1
00-11- 1
11-1-1 1
01-1-1 1
10-1-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3408]
011101 1
101101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [3409]
-0-111 1
110111 1
010111 1
011101 1
101101 1
110101 1
010101 1
.names [324] [3404] [3405] [3416]
1-- 1
-1- 1
--1 1
.names n_n952 [3397] [3398] [3399] [3408] [3409] [3419]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n416 [3400] [3401] [3402] [3403] [3420]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n215 [166] [213] [337] [3423]
1--- 1
-1-- 1
--1- 1
---1 1
.names [285] [333] [341] [343] [3416] [3420] [3428]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3432]
111011 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3434]
111001 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names i_7_ i_6_ n_n5 n_n4 n_n12 [72] [3437]
--1--1 1
11-11- 1
01-11- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3442]
001101 1
110101 1
010101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3443]
101111 1
001111 1
100111 1
000111 1
111101 1
011101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3445]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
001101 1
100101 1
000101 1
111001 1
011001 1
110001 1
010001 1
.names n_n427 n_n387 [3237] [3238] [3450]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n890 [261] [84] [216] [3309] [3442] [3451]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n459 n_n904 [344] [3443] [3445] [3452]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [251] [282] [3450] [3451] [3457]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3458]
000111 1
111101 1
011101 1
.names i_7_ i_6_ n_n2 [126] [3194] [3468]
--11- 1
10--1 1
00--1 1
.names i_1_ i_2_ i_0_ o_3_ [90] [3469]
1001- 1
110-1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n10 [3470]
110011 1
010011 1
100011 1
000011 1
.names i_7_ i_6_ n_n7 [310] n_n4 n_n8 [3476]
---1-- 1
111-1- 1
011-1- 1
101-1- 1
001-1- 1
11--11 1
01--11 1
10--11 1
00--11 1
.names [298] [84] [216] [3468] [3469] [3477]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_6_ n_n0 n_n7 [177] [317] [3478]
----1- 1
-----1 1
1111-- 1
0111-- 1
1011-- 1
0011-- 1
.names [192] [110] [182] [3470] [3479]
1--- 1
-1-- 1
--1- 1
---1 1
.names [336] n_n172 [3476] [3477] [3478] [3479] [3484]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_1_ i_2_ i_0_ o_3_ [126] [3488]
1001- 1
100-1 1
.names i_1_ i_2_ i_0_ [355] [90] [205] [3489]
0011-- 1
110-1- 1
001--1 1
.names n_n0 n_n13 n_n2 o_3_ [142] [126] [3490]
-1---- 1
1--1-- 1
--1-1- 1
1----1 1
.names [252] n_n215 n_n1000 [3488] [3489] [3499]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [100] [201] [221] [216] [3309] [3500]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [318] [84] [129] [153] [3490] [3501]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n172 [3499] [3500] [3501] [3504]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3506]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
.names i_7_ i_6_ n_n2 n_n11 n_n1 n_n8 [3508]
11-11- 1
01-11- 1
011--1 1
101--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [3509]
110011 1
010011 1
110101 1
100101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3516]
001111 1
100111 1
000111 1
111011 1
011011 1
111101 1
011101 1
101101 1
001101 1
110101 1
100101 1
000101 1
.names [226] n_n1028 [227] n_n950 [3518]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n816 n_n803 [104] [164] [3506] [3519]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [310] [84] [216] [3521]
1-- 1
-1- 1
--1 1
.names n_n783 n_n800 [195] [3361] [3522]
1--- 1
-1-- 1
--1- 1
---1 1
.names [312] [82] n_n4 n_n2 [116] [3516] [3523]
1----- 1
----1- 1
-----1 1
-11--- 1
-1-1-- 1
.names [192] n_n137 [3230] [3231] [3508] [3509] [3528]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [3518] [3519] [3521] [3522] [3523] [3528] [3530]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [3532]
001001 1
.names i_1_ i_2_ i_0_ [103] [142] [204] [3536]
1101-- 1
110-1- 1
100--1 1
.names i_7_ i_6_ n_n7 [244] [3532] [3539]
--11- 1
01--1 1
10--1 1
00--1 1
.names i_1_ i_2_ i_0_ n_n11 [355] [167] [3540]
---1-1 1
001-1- 1
.names i_1_ i_2_ i_0_ [103] [142] [71] [3541]
1111-- 1
111-1- 1
010--1 1
.names n_n5 n_n10 n_n1 [64] [72] [3195] [3542]
1---1- 1
--1--1 1
-111-- 1
.names i_7_ i_6_ n_n0 n_n11 n_n1 n_n12 [3543]
1111-- 1
0111-- 1
11--11 1
01--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [3544]
101111 1
001111 1
101101 1
001101 1
.names i_1_ i_2_ i_0_ [125] [142] [81] [3545]
0001-- 1
100-1- 1
111--1 1
011--1 1
.names [172] n_n1049 n_n923 n_n822 [3556]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n6 [111] [253] [276] n_n18 [70] [3557]
-1---- 1
--1--- 1
---1-- 1
1---1- 1
1----1 1
.names [3541] [3542] [3543] [3544] [3558]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n2 [345] [229] [143] [206] [3536] [3561]
-1---- 1
--1--- 1
-----1 1
1--1-- 1
1---1- 1
.names [116] [86] [154] [305] [3562]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1006 n_n427 [3565]
1- 1
-1 1
.names [196] [100] n_n119 [3539] [3540] [3545] [3566]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [341] [251] [3556] [3557] [3558] [3565] [3571]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ n_n5 n_n6 n_n8 n_n18 [3575]
01-11- 1
10-11- 1
00-11- 1
111--1 1
011--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [3581]
0----- 1
--0--- 1
101111 1
111011 1
.names n_n2 [345] [229] [143] [206] [3536] [3591]
-1---- 1
--1--- 1
-----1 1
1--1-- 1
1---1- 1
.names [348] [116] n_n1002 [3592]
1-- 1
-1- 1
--1 1
.names n_n128 [151] [156] [284] [3593]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n972 [111] [193] [349] [3594]
1--- 1
-1-- 1
--1- 1
---1 1
.names [313] n_n609 [316] [3575] [3595]
1--- 1
-1-- 1
--1- 1
---1 1
.names [276] [332] [83] [85] [3581] [3596]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [192] n_n215 n_n1000 n_n119 [3597]
1--- 1
-1-- 1
--1- 1
---1 1
.names [3594] [3595] [3596] [3597] [3603]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n4 [3605]
101111 1
001111 1
100111 1
000111 1
101011 1
001011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names i_1_ i_2_ i_0_ [103] [142] [3609]
1001- 1
0001- 1
100-1 1
000-1 1
.names i_7_ i_6_ n_n0 n_n7 n_n1 n_n12 [3610]
1111-- 1
11--11 1
01--11 1
10--11 1
00--11 1
.names [318] [182] n_n95 [3605] [3616]
1--- 1
-1-- 1
--1- 1
---1 1
.names [328] n_n92 n_n96 n_n91 [3609] [3610] [3617]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ n_n0 n_n7 n_n4 n_n9 [3623]
11---1 1
1011-- 1
0011-- 1
11-11- 1
01-11- 1
.names [179] n_n919 [139] [3392] [3627]
1--- 1
-1-- 1
--1- 1
---1 1
.names [280] [153] [230] [237] [3628]
1--- 1
-1-- 1
--1- 1
---1 1
.names [218] [238] [3623] [3630]
1-- 1
-1- 1
--1 1
.names [256] n_n990 n_n800 [195] [138] [3361] [3632]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n883 [3355] [3627] [3628] [3630] [3635]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3639]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
100111 1
.names i_7_ i_6_ n_n7 n_n2 n_n1 n_n18 [3640]
1111-- 1
0111-- 1
1011-- 1
0011-- 1
11--11 1
.names i_5_ i_3_ i_4_ [119] [167] [3642]
0101- 1
100-1 1
.names i_1_ i_2_ i_0_ [103] [142] [206] [3643]
1101-- 1
110-1- 1
010--1 1
.names i_1_ i_2_ i_0_ [120] [79] [69] [3644]
0101-- 1
010-1- 1
000--1 1
.names [228] [230] n_n387 [247] [300] [3655]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [226] [83] [229] [257] [3642] [3656]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [332] n_n1018 n_n1022 [3643] [3644] [3657]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n215 [179] [132] [3640] [3658]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n883 [3355] [3655] [3656] [3658] [3663]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_5_ i_3_ i_4_ n_n5 [126] [244] [3664]
---11- 1
000--1 1
.names i_7_ i_6_ n_n11 [241] [3233] [3665]
--11- 1
01--1 1
10--1 1
00--1 1
.names i_7_ i_6_ n_n5 n_n6 n_n8 n_n18 [3666]
01-11- 1
10-11- 1
111--1 1
011--1 1
101--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [3671]
-0-111 1
011111 1
110111 1
010111 1
111011 1
011011 1
101011 1
110011 1
010011 1
111101 1
011101 1
000101 1
.names n_n128 [78] [302] [3664] [3674]
1--- 1
-1-- 1
--1- 1
---1 1
.names [125] n_n6 [90] [234] [75] [3671] [3675]
---1-- 1
-----1 1
11---- 1
-11--- 1
-1--1- 1
.names n_n972 [313] [316] [3665] [3666] [3676]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3682]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
.names i_7_ i_6_ n_n2 n_n11 n_n1 n_n8 [3683]
11-11- 1
01-11- 1
011--1 1
101--1 1
.names i_7_ i_6_ n_n0 n_n7 n_n5 n_n8 [3684]
1011-- 1
0011-- 1
11--11 1
01--11 1
10--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3685]
011001 1
101001 1
001001 1
110001 1
.names i_7_ i_6_ n_n0 n_n7 n_n1 n_n8 [3687]
11-11- 1
011--1 1
101--1 1
10--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3688]
000111 1
000011 1
111101 1
111001 1
.names i_1_ i_2_ i_0_ [126] [3195] [3689]
0011- 1
1101- 1
1001- 1
010-1 1
.names n_n0 [119] [82] [121] n_n15 n_n12 [3690]
1-1--- 1
1--1-- 1
-1---1 1
1---11 1
.names i_7_ i_6_ n_n4 n_n1 n_n8 n_n9 [3693]
111-1- 1
011-1- 1
101-1- 1
11-11- 1
10-1-1 1
00-1-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3700]
111011 1
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
100101 1
000101 1
101001 1
001001 1
100001 1
000001 1
.names [214] [220] [3684] [3685] [3687] [3703]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [305] n_n387 [268] [3536] [3690] [3705]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1028 [227] [164] n_n822 [3700] [3706]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [218] [153] [83] [85] [3688] [3689] [3708]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [3674] [3675] [3676] [3705] [3706] [3711]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [3712]
001001 1
100001 1
000001 1
.names i_7_ i_6_ n_n7 n_n2 n_n1 n_n18 [3715]
1111-- 1
0111-- 1
11--11 1
01--11 1
10--11 1
00--11 1
.names i_1_ i_2_ i_0_ [82] [121] [3718]
1001- 1
111-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [3720]
111011 1
011011 1
110011 1
010011 1
101101 1
001101 1
010101 1
100101 1
000101 1
.names [108] n_n673 [225] [3712] [3725]
1--- 1
-1-- 1
--1- 1
---1 1
.names [284] [349] [257] [127] [3718] [3727]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [137] n_n609 [316] [3575] [3720] [3728]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [179] [230] [315] n_n1033 [3715] [3732]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n660 [325] n_n820 [131] [3725] [3727] [3734]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [3736]
011101 1
110101 1
010101 1
001001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3737]
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names [153] [83] [141] [85] [3741]
1--- 1
-1-- 1
--1- 1
---1 1
.names [196] [100] n_n1031 [3737] [3742]
1--- 1
-1-- 1
--1- 1
---1 1
.names [86] [193] [267] [3736] [3744]
1--- 1
-1-- 1
--1- 1
---1 1
.names [333] n_n491 [3741] [3742] [3744] [3747]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n6 [284] n_n739 n_n18 [70] [3273] [3748]
-1---- 1
--1--- 1
-----1 1
1--1-- 1
1---1- 1
.names n_n1006 [342] n_n1147 n_n738 n_n859 [3434] [3749]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3750]
011011 1
101011 1
001011 1
110011 1
010011 1
100011 1
000011 1
111001 1
011001 1
101001 1
110001 1
010001 1
.names n_n0 n_n7 [74] [352] [171] [3752]
-11-- 1
1--1- 1
1---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3753]
111011 1
011011 1
111101 1
011101 1
.names n_n845 [85] [283] [3753] [3760]
1--- 1
-1-- 1
--1- 1
---1 1
.names [110] [100] n_n1017 n_n745 n_n1031 [3752] [3761]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [276] n_n895 n_n195 [268] [3389] [3762]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [83] [267] n_n993 [3750] [3764]
1--- 1
-1-- 1
--1- 1
---1 1
.names [3748] [3749] [3761] [3762] [3767]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_1_ i_2_ i_0_ [103] [143] [3769]
1101- 1
110-1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n8 [3770]
011001 1
101001 1
.names i_7_ i_6_ n_n7 n_n5 n_n4 n_n13 [3771]
1011-- 1
0011-- 1
01--11 1
10--11 1
00--11 1
.names i_1_ i_2_ i_0_ [120] [82] [205] [3772]
0101-- 1
1001-- 1
100-1- 1
010--1 1
.names i_1_ i_2_ i_0_ [206] [204] [3773]
1101- 1
110-1 1
.names n_n13 n_n2 n_n1 [81] [72] [3224] [3774]
-1-1-- 1
--1-1- 1
1----1 1
.names [342] n_n903 [3785]
1- 1
-1 1
.names n_n800 [150] [195] [287] [308] [3786]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [84] [238] [216] [3309] [3788]
1--- 1
-1-- 1
--1- 1
---1 1
.names [324] [166] n_n904 [3769] [3770] [3774] [3789]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [322] [321] [3791]
1- 1
-1 1
.names n_n427 [329] [340] [3771] [3772] [3773] [3792]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ n_n7 n_n5 n_n4 n_n13 [3798]
1111-- 1
0111-- 1
11--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3802]
001001 1
100001 1
000001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3803]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
.names n_n6 n_n11 n_n3 o_3_ [71] n_n16 [3809]
1--1-- 1
--1-1- 1
11---1 1
.names i_7_ i_6_ n_n13 n_n3 n_n1 n_n12 [3811]
101-1- 1
001-1- 1
01-1-1 1
01--11 1
.names [125] n_n2 n_n3 [79] [122] [90] [3812]
11---- 1
--11-- 1
--1-1- 1
-1---1 1
.names n_n645 n_n1076 [95] [188] [295] [3825]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n427 [247] [127] [107] [217] [3809] [3826]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [156] [179] n_n1004 [3798] [3811] [3812] [3828]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [327] n_n1005 n_n778 [231] [3802] [3803] [3829]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n563 [347] [323] [3277] [3826] [3828] [3834]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ n_n7 n_n19 [353] [3835]
11--1 1
01--1 1
10--1 1
1011- 1
0011- 1
.names i_7_ i_6_ n_n5 n_n6 n_n8 n_n9 [3836]
01-11- 1
10-11- 1
111--1 1
011--1 1
101--1 1
.names i_7_ i_6_ n_n7 n_n5 n_n11 n_n19 [3837]
01-11- 1
10-11- 1
111--1 1
011--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [3838]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
111011 1
011011 1
110011 1
010011 1
000101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3839]
001101 1
100101 1
000101 1
101001 1
001001 1
100001 1
000001 1
.names [191] [3835] [3836] [3837] [3838] [3839] [3846]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [346] [313] [234] [302] [3847]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_6_ n_n0 [126] [3532] [3849]
--11- 1
01--1 1
10--1 1
00--1 1
.names i_1_ i_2_ i_0_ [121] [71] [3850]
1101- 1
000-1 1
.names i_7_ i_6_ n_n0 n_n2 n_n10 n_n12 [3851]
111-1- 1
011-1- 1
101-1- 1
01-1-1 1
10-1-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3852]
111011 1
011011 1
110011 1
011101 1
110101 1
.names i_7_ i_6_ n_n0 n_n7 n_n5 n_n8 [3855]
11-11- 1
01-11- 1
011--1 1
101--1 1
.names i_7_ i_6_ n_n4 n_n1 n_n8 n_n9 [3860]
111-1- 1
011-1- 1
101-1- 1
11-11- 1
10-1-1 1
00-1-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3861]
111111 1
011111 1
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111101 1
.names i_1_ i_2_ i_0_ [120] [82] [79] [3862]
1001-- 1
0001-- 1
100-1- 1
000-1- 1
100--1 1
000--1 1
.names n_n4 [109] [214] [258] [126] [90] [3865]
-1---- 1
--1--- 1
---1-- 1
1---1- 1
1----1 1
.names [124] [101] n_n1 [3849] [3855] [3866]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3868]
101101 1
001101 1
100101 1
000101 1
101001 1
001001 1
100001 1
000001 1
.names n_n824 [3850] [3851] [3852] [3874]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n845 [116] [156] [180] [3876]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n342 [3802] [3803] [3868] [3877]
1--- 1
-1-- 1
--1- 1
---1 1
.names [312] [335] n_n935 [227] [97] [185] [3878]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [164] [253] [3860] [3861] [3862] [3879]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [3846] [3847] [3865] [3866] [3874] [3879] [3885]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n19 [3888]
-1-111 1
-0-111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
111001 1
011001 1
110001 1
.names i_1_ i_2_ i_0_ [125] [143] [90] [3889]
1011-- 1
011-1- 1
101--1 1
.names i_1_ i_2_ i_0_ [125] [102] [3893]
0111- 1
000-1 1
.names i_7_ i_6_ n_n5 [126] [3303] [3894]
--11- 1
11--1 1
01--1 1
10--1 1
.names i_1_ i_2_ i_0_ [82] [171] [3895]
0101- 1
000-1 1
.names i_7_ i_6_ n_n5 n_n11 n_n1 n_n8 [3896]
11-11- 1
01-11- 1
111--1 1
011--1 1
101--1 1
.names [114] [117] [3893] [3894] [3905]
1--- 1
-1-- 1
--1- 1
---1 1
.names [154] [99] n_n817 n_n960 [139] [3895] [3906]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n563 n_n800 [195] [138] [3361] [3907]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [166] [136] n_n820 [198] [3888] [3896] [3908]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [218] [256] [189] [238] [3910]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_5_ i_3_ i_4_ [145] [74] [3914]
0001- 1
000-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3915]
111101 1
011101 1
111001 1
.names n_n573 [261] [217] [277] [3914] [3915] [3923]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [166] n_n459 [344] n_n895 [283] [3924]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [340] [3748] [3749] [3923] [3928]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_1_ i_2_ i_0_ [82] [121] [3930]
1111- 1
010-1 1
.names i_7_ i_6_ n_n1 [81] [353] [3931]
--11- 1
11--1 1
01--1 1
10--1 1
.names i_7_ i_6_ [144] n_n11 [167] [3932]
---11 1
111-- 1
011-- 1
101-- 1
.names i_1_ i_2_ i_0_ [125] [171] [3933]
1011- 1
000-1 1
.names i_1_ i_2_ i_0_ [102] [350] [90] [3934]
---1-- 1
----1- 1
101--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [3935]
101101 1
001101 1
110101 1
010101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n12 [3936]
011111 1
101111 1
001111 1
011101 1
101101 1
.names i_1_ i_2_ i_0_ [120] [82] [206] [3937]
1101-- 1
110-1- 1
010--1 1
.names i_7_ i_6_ n_n2 n_n19 n_n8 n_n9 [3938]
01-11- 1
10-11- 1
011--1 1
101--1 1
001--1 1
.names i_7_ i_6_ n_n6 n_n11 n_n19 n_n8 [3939]
11-11- 1
01-11- 1
011--1 1
101--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3945]
111001 1
011001 1
001001 1
110001 1
100001 1
000001 1
.names n_n952 n_n923 [217] [3934] [3955]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n944 n_n829 [3945] [3956]
1-- 1
-1- 1
--1 1
.names [148] [198] [3935] [3936] [3957]
1--- 1
-1-- 1
--1- 1
---1 1
.names [3930] [3931] [3937] [3938] [3939] [3958]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [346] [342] [3932] [3933] [3960]
1--- 1
-1-- 1
--1- 1
---1 1
.names [114] [151] [156] [230] [3961]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n387 [295] [194] [3802] [3803] [3962]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names o_15_ n_n895 n_n948 [173] [132] [3640] [3965]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [3955] [3956] [3957] [3958] [3962] [3965] [3971]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ n_n7 n_n2 n_n3 n_n18 [3974]
101-1- 1
001-1- 1
11-1-1 1
01-1-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n3 [3975]
000111 1
111101 1
011101 1
011001 1
101001 1
001001 1
110001 1
010001 1
.names [238] [3974] [3975] [3977]
1-- 1
-1- 1
--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [3982]
111001 1
011001 1
101001 1
110001 1
010001 1
.names i_7_ i_6_ n_n0 n_n7 n_n10 n_n1 [3983]
1011-- 1
0011-- 1
111-1- 1
011-1- 1
01-1-1 1
10-1-1 1
00-1-1 1
.names [114] [166] [201] n_n582 [3982] [3983] [3986]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_1_ i_2_ i_0_ [118] [171] [3991]
1001- 1
110-1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n2 [3992]
011101 1
110101 1
100101 1
000101 1
.names i_1_ i_2_ i_0_ [120] [79] [69] [3993]
0101-- 1
010-1- 1
000--1 1
.names i_1_ i_2_ i_0_ [120] [82] [143] [3995]
1011-- 1
1101-- 1
100-1- 1
011--1 1
.names n_n6 n_n716 n_n18 [70] [3273] [4003]
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names n_n1022 n_n652 [278] [3991] [4004]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n2 [229] n_n1004 [143] [206] [3536] [4006]
-1---- 1
--1--- 1
-----1 1
1--1-- 1
1---1- 1
.names [156] n_n1005 [3798] [4007]
1-- 1
-1- 1
--1 1
.names [349] [323] [3995] [4008]
1-- 1
-1- 1
--1 1
.names [83] [137] n_n645 n_n738 [4009]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1006 [214] [266] [290] [3992] [3993] [4011]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n630 [4003] [4004] [4008] [4009] [4017]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [4021]
111011 1
011011 1
110011 1
001001 1
100001 1
000001 1
.names i_7_ i_6_ n_n0 n_n2 n_n11 n_n18 [4022]
011-1- 1
101-1- 1
001-1- 1
11-1-1 1
01-1-1 1
10-1-1 1
00-1-1 1
.names [193] [4021] [4022] [4025]
1-- 1
-1- 1
--1 1
.names [177] [154] [325] n_n195 n_n820 [131] [4027]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [322] [267] [4028]
1- 1
-1 1
.names [100] n_n423 n_n1031 [4025] [4027] [4028] [4031]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_1_ i_2_ i_0_ [121] [171] [4032]
1111- 1
100-1 1
.names i_7_ i_6_ [120] n_n2 [3280] [4033]
--11- 1
11--1 1
01--1 1
10--1 1
.names i_1_ i_2_ i_0_ [203] [168] [4034]
1001- 1
100-1 1
.names i_7_ i_6_ n_n2 n_n11 n_n19 n_n12 [4035]
1111-- 1
0111-- 1
01--11 1
10--11 1
00--11 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [4036]
111111 1
011111 1
101101 1
001101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [4040]
111011 1
011011 1
110011 1
010011 1
101101 1
001101 1
010101 1
100101 1
000101 1
.names i_7_ i_6_ n_n2 n_n11 n_n3 n_n12 [4044]
11-11- 1
01-11- 1
111--1 1
011--1 1
101--1 1
001--1 1
01--11 1
10--11 1
00--11 1
.names [4032] [4033] [4034] [4035] [4036] [4047]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1027 n_n949 [335] n_n950 [4044] [4051]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n783 n_n820 [131] [3230] [3231] [4053]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [192] [83] [85] n_n609 [316] [3575] [4054]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [108] n_n673 [325] n_n739 [225] [3712] [4055]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n948 [173] [4040] [4047] [4051] [4055] [4059]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ n_n2 n_n11 n_n1 n_n18 [4061]
1011-- 1
0011-- 1
11--11 1
01--11 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [4064]
101111 1
001111 1
010111 1
100111 1
000111 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
.names [83] [231] n_n993 [3750] [4064] [4068]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [172] [110] [264] n_n1015 [233] [4061] [4069]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_1_ i_2_ i_0_ [118] [102] [4072]
0101- 1
011-1 1
.names [103] n_n2 n_n11 [89] [142] [4073]
11--- 1
--11- 1
-1--1 1
.names i_7_ i_6_ n_n5 n_n4 n_n12 [72] [4074]
--1--1 1
11-11- 1
01-11- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n1 [4075]
101111 1
001111 1
100111 1
111101 1
011101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n5 [4077]
001011 1
100011 1
000011 1
011101 1
101101 1
110101 1
010101 1
111001 1
011001 1
110001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [4082]
101111 1
001111 1
110111 1
010111 1
100111 1
000111 1
111011 1
111101 1
011101 1
101101 1
001101 1
110101 1
010101 1
100101 1
000101 1
.names [179] n_n96 [4085]
1- 1
-1 1
.names [156] [180] n_n919 [139] [3392] [4086]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n896 n_n6 n_n10 n_n901 [142] [4072] [4087]
1----- 1
--1--- 1
---1-- 1
-----1 1
-1--1- 1
.names n_n960 n_n955 [4077] [4082] [4088]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n427 [269] [4073] [4074] [4075] [4089]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n563 n_n95 [4090]
1- 1
-1 1
.names [4085] [4086] [4087] [4088] [4089] [4090] [4097]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n0 [4098]
101101 1
001101 1
100101 1
100001 1
000001 1
.names [156] n_n1004 [3798] [4101]
1-- 1
-1- 1
--1 1
.names [116] n_n1005 n_n1015 [4102]
1-- 1
-1- 1
--1 1
.names [193] [137] [4098] [4103]
1-- 1
-1- 1
--1 1
.names [100] [136] [198] n_n1031 [3888] [4104]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [222] n_n1006 n_n645 [264] [160] [3889] [4108]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [333] n_n423 [4101] [4102] [4103] [4104] [4112]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_7_ i_6_ n_n0 n_n11 n_n1 n_n8 [4114]
--1--- 1
11-11- 1
01-11- 1
11--11 1
.names [166] [139] n_n476 n_n582 [4114] [4118]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ i_0_ [82] [81] [4132]
1011- 1
010-1 1
.names i_1_ i_2_ i_0_ [102] o_3_ [4133]
0111- 1
100-1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ n_n11 [4134]
101011 1
011001 1
.names i_5_ i_3_ i_4_ [89] [167] [4135]
0101- 1
000-1 1
.names i_1_ i_2_ i_0_ [103] [171] [4136]
1001- 1
011-1 1
.names i_7_ i_6_ [101] n_n1 [3275] [4137]
--11- 1
01--1 1
10--1 1
00--1 1
.names n_n5 n_n6 n_n11 o_3_ n_n16 [203] [4138]
-1-1-- 1
1----1 1
-11-1- 1
.names n_n1 [203] [168] [4132] [4133] [4147]
---1- 1
----1 1
11--- 1
1-1-- 1
.names [4134] [4135] [4136] [4137] [4148]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1023 n_n1031 [212] [4138] [4151]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ n_n6 [4155]
-1-011 1
101011 1
001011 1
100011 1
000011 1
000101 1
011001 1
101001 1
001001 1
110001 1
010001 1
100001 1
000001 1
.names [226] [309] [261] [344] [96] n_n1076 [4156]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n783 [193] n_n820 [131] [4158]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n459 [84] [136] [198] [216] [3888] [4159]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n800 [195] [231] [3361] [4155] [4160]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [218] [189] [238] [315] [4162]
1--- 1
-1-- 1
--1- 1
---1 1
.names [4147] [4148] [4151] [4156] [4160] [4164]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.end