.model top
.inputs a b c d e f g h i j k l m n
.outputs r2 s2 p2 q2 t2 u2 j2 k2 h2 i2 n2 o2 l2 m2
.names [187] n_n698 [1196] [5094] [5095] [5096] [5139] [5175] r2
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
11------ 1
.names n_n1344 [101] [5247] [5248] [5249] [5250] [5265] [5268] s2
1------- 1
------1- 1
-------1 1
-11----- 1
-1-1---- 1
-1--1--- 1
-1---1-- 1
.names [1018] [5296] [5297] [5299] [5300] [5303] [5306] [5333] p2
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [238] [5399] [5400] [5422] [5436] [5442] [5445] [5449] q2
-1------ 1
--1----- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
1--1---- 1
.names [102] [390] [43] [5476] [5518] [5521] [5523] t2
---1--- 1
----1-- 1
-----1- 1
------1 1
1-1---- 1
-11---- 1
.names [790] [5585] [5586] [5615] [5616] [5617] [5619] [5622] u2
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [319] [5648] [5649] [5650] [5651] j2
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [319] [157] [267] [5666] [5667] [5668] k2
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n876 n_n997 [123] [174] [5688] [5689] [5717] [5726] h2
----1--- 1
-----1-- 1
------1- 1
-------1 1
-11----- 1
1--1---- 1
.names [5732] [5733] [5797] [5798] [5802] [5803] [5809] [5810] i2
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names n_n1573 [320] [5824] [5826] [5828] [5873] n2
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [5894] [5895] [5896] [5897] [5903] [5904] [5906] [5940] o2
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names n_n2033 n_n2019 [6066] [6067] [6068] [6071] [6302] [6303] l2
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [267] [254] [6308] [6309] [6314] [6320] [6324] m2
1------ 1
-----1- 1
------1 1
--11--- 1
-1--1-- 1
.names b d e n_n840
110 1
.names f g h n_n1207
110 1
.names b c e n_n711
111 1
.names b d e n_n709
101 1
.names a b c m n [38]
11010 1
.names g h i j l [46]
101-1 1
110-1 1
01-01 1
11-10 1
.names a b c d e m n [67]
11-1010 1
1110110 1
.names i j l m n [75]
10101 1
.names i k m n [84]
1101 1
.names b c d e f g h [110]
1100-11 1
101-111 1
101-101 1
.names i l m n [148]
1110 1
.names a b c d e [153]
11-10 1
11101 1
.names i k m n [172]
0101 1
.names g i j k l m n [187]
1101-10 1
1010-10 1
101-110 1
11-1010 1
1-01010 1
.names b c d e [202]
101- 1
1-01 1
.names a b c f [224]
1101 1
.names f h i j l m n [298]
1010101 1
.names g h k m n [306]
01110 1
.names b e f g h i [374]
101001 1
.names b c e f g h [393]
111010 1
111000 1
.names a c d n_n904
101 1
.names c e f n_n626
101 1
.names [182] [5187] [5188] [5197] [5198] [5207] [5208] [5210] n_n1344
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
11------ 1
1-1----- 1
.names k l m n [22]
1010 1
.names i j l m [31]
0-11 1
-101 1
.names j k l m n [45]
10110 1
01010 1
.names j l m n [54]
0110 1
.names f h [71]
01 1
.names h i j k l [101]
01-1- 1
10-1- 1
1-01- 1
1-10- 1
1--10 1
.names f g h i j l m n [102]
1101-110 1
1110-110 1
101-0110 1
111-1010 1
.names f g i j k l m n [138]
11101-10 1
111-1010 1
11-01010 1
.names g h j k l m n [168]
0101-01 1
0110-01 1
01-1001 1
.names f g j k l m n [195]
1110110 1
.names b c d e f g h [217]
11101-1 1
11010-1 1
11-1011 1
11-1001 1
.names b c d e f g h [241]
11101-0 1
11-1010 1
11-1000 1
.names a c d e g [258]
10101 1
.names a c d e g h [297]
101001 1
.names a c d e g i [371]
101011 1
.names i j k n_n1217
111 1
.names f g h n_n1201
111 1
.names k m n n_n1220
110 1
.names a b c n_n920
110 1
.names a b d n_n918
111 1
.names a b c d [15]
101- 1
01-0 1
.names k l m n [58]
0110 1
.names a c d e f g h [82]
1101-10 1
1010-10 1
101-110 1
1-10110 1
11-1010 1
1-01010 1
.names a b c d f g h [98]
101-110 1
110-110 1
01-0110 1
11-1010 1
.names a c d e f g i [125]
1101-10 1
101-110 1
1-10110 1
11-1010 1
1-01010 1
.names j l m n [228]
1110 1
.names a b c d e f g h [240]
1-101-01 1
1-010-01 1
110--101 1
1-01-101 1
1--10101 1
11-1-001 1
1-1-1001 1
1--01001 1
.names a b e g h i [244]
011101 1
.names j k m n [265]
1010 1
.names a b e g h j [378]
011111 1
.names f g i j k l m n [390]
11010-10 1
1101-110 1
.names a b c d f g h [412]
101-101 1
01-0101 1
.names f g i j k l m n [417]
01010-10 1
0101-110 1
.names j k l n_n996
011 1
.names b e f n_n1171
110 1
.names a b e n_n698
011 1
.names a d e n_n730
110 1
.names h j k n_n618
101 1
.names c d e n_n700
010 1
.names f h i n_n824
110 1
.names a b d m n [27]
11110 1
.names a b c d [29]
101- 1
110- 1
01-0 1
.names b d e f [30]
11-1 1
1-01 1
.names c d e f [34]
01-1 1
10-1 1
1-01 1
.names a c d e f g h [64]
1101-10 1
1010-10 1
11-1010 1
1-01010 1
.names a c d m n [129]
10110 1
.names j k l m n [133]
11101 1
.names c d e f g l m n [139]
1--10101 1
01-1-100 1
10-1-100 1
1-01-100 1
1-10-100 1
1--10100 1
.names f g h i j k l [179]
11011-1 1
11-1011 1
.names b c d e [210]
101- 1
110- 1
01-0 1
.names a c d e f g i [238]
1101-11 1
1010-11 1
101-111 1
1-10111 1
11-1011 1
1-01011 1
.names f g h m n [257]
11010 1
.names b d e f h [309]
10101 1
.names g h i j l m n [380]
1100110 1
.names j k l m n [415]
11100 1
.names c d e n_n1069
001 1
.names c e f n_n1203
110 1
.names a c d n_n876
110 1
.names h i j n_n1166
010 1
.names i j k l [74]
101- 1
010- 1
01-1 1
-101 1
1-10 1
-010 1
.names j l m n [76]
0101 1
.names d f g h i j l [92]
01101-1 1
01110-1 1
0101-01 1
0111-10 1
.names e f g h k l m n [151]
11011-10 1
11-11010 1
.names i j k l [183]
101- 1
01-1 1
-101 1
1-10 1
-010 1
.names b c d e f g h [184]
101-011 1
11-1011 1
11-1001 1
.names a b c d f g m n [223]
11001110 1
.names f g h i [230]
0-01 1
-101 1
.names i j k m n [419]
0-101 1
-0101 1
-1001 1
.names g h i n_n841
101 1
.names j k l m n [33]
01-10 1
-1010 1
.names b c e f [93]
010- 1
01-1 1
1-10 1
.names a c d e f g h [99]
1101-01 1
1010-01 1
101-101 1
1-10101 1
11-1001 1
1-01001 1
.names a b c d f g h [106]
110-101 1
11-1001 1
.names f g h m n [147]
11110 1
.names a b c d f g h [156]
110-110 1
11-1010 1
.names a b c d f g i [203]
110-111 1
11-1011 1
.names a b d f g h m n [219]
11101110 1
.names b c d e f g h [242]
10-1-10 1
1100-10 1
1-10110 1
.names a b c d f g i [402]
101-111 1
01-0111 1
.names c d e n_n1080
000 1
.names h i j [372] [308] n_n982 [5646] [319]
----1-1 1
1101-1- 1
.names g h i m n [367]
00000 1
.names l m n n_n1190
000 1
.names [5658] [5659] [5660] [5661] [157]
11-- 1
--11 1
.names [141] [5630] [5631] [5632] [5662] [267]
1---1 1
-111- 1
.names g h i n_n1142
011 1
.names a b c n_n949
101 1
.names a c e n_n761
111 1
.names a b c n_n997
011 1
.names g h k l m n [44]
011-10 1
-11010 1
.names f g h k l m n [94]
1011-10 1
1-11010 1
.names e f g h k l m n [108]
01011-10 1
01-11010 1
.names e g h i j l m n [123]
1101-110 1
1110-110 1
101-0110 1
111-1010 1
.names e g h k l m n [174]
1011-10 1
1-11010 1
.names e g i j k l m n [182]
11101-10 1
11010-10 1
1101-110 1
111-1010 1
.names f g i j k l m n [185]
01101-10 1
01-10110 1
011-1010 1
01-01010 1
.names f g h k l m n [200]
0011-10 1
0-11010 1
.names f g h i j l m n [243]
0101-110 1
0110-110 1
001-0110 1
011-1010 1
.names k l m n [254]
0000 1
.names g j k l m n [379]
110110 1
101010 1
.names e g h k m n [387]
101110 1
.names a c d e g i [413]
110110 1
.names a d e n_n872
101 1
.names e f g n_n1252
111 1
.names e f g n_n987
101 1
.names k m n n_n1210
101 1
.names b c d n_n988
011 1
.names i j k l [39]
101- 1
01-1 1
1-10 1
-010 1
.names k l m n [77]
1001 1
.names f h i j [89]
101- 1
110- 1
11-0 1
.names a b c m n [111]
10110 1
.names f h j k l m n [117]
1110-01 1
11-1001 1
.names g h j k l m n [135]
1110-01 1
11-1001 1
.names a c d e f g i [159]
1101-10 1
1-01010 1
.names b c d e f g h [160]
1-11011 1
1111-01 1
.names g h i j [164]
101- 1
110- 1
11-0 1
.names i j k l [165]
101- 1
010- 1
01-1 1
1-10 1
.names b c d e f g h [167]
1-11010 1
1111-00 1
.names f h j n_n1022
110 1
.names [5844] [5845] [5849] [5850] [5851] n_n1573
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names h i j n_n1264
111 1
.names a c d e [14]
11-1 1
1-01 1
.names j k m n [113]
0110 1
.names b d e k m n [192]
110101 1
.names b d e f g h j [208]
1-10110 1
11-1010 1
1-01010 1
.names b c d e f g m n [218]
01--1-01 1
-1--1001 1
-01-1-00 1
-10-1-00 1
-1-01-00 1
-1-10-00 1
-1--1000 1
.names g h i j k m n [261]
1111001 1
.names f g j k l m n [264]
1101010 1
.names g j k l m n [266]
101010 1
.names c d e k m n [304]
010100 1
.names g h i j k m n [403]
0111001 1
.names h i j n_n1085
110 1
.names k m n n_n1036
001 1
.names b c e n_n1053
010 1
.names h i k n_n619
011 1
.names g h k n_n816
011 1
.names b c d [36]
101 1
110 1
.names b c d e f [48]
11-1- 1
1-1-1 1
1--01 1
.names a c d e f g h [50]
1101-01 1
11-1001 1
1-01001 1
.names b d e k m n [126]
101101 1
.names a b c d f g h [207]
101-101 1
110-101 1
01-0101 1
11-1001 1
.names c e f g k m n [209]
1-10001 1
110-000 1
1-10000 1
.names b c d e f g h i [235]
1--10101 1
11-1-001 1
1-1-1001 1
1--01001 1
.names g h i n [290]
1110 1
.names a b e m n [315]
01110 1
.names b d e f g h i [70] [320]
1101-111 1
1010-111 1
101-1111 1
1-101111 1
.names c d e f g k m n [381]
01-1-100 1
10-1-100 1
1-01-100 1
1-10-100 1
1--10100 1
.names f g h k m n [411]
101110 1
.names [528] [529] [530] [531] [532] [533] [534] [535] n_n2060
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [132] [248] [288] [6110] [6112] [6135] [6136] [6137] n_n2033
-----1-- 1
------1- 1
-------1 1
11------ 1
--11---- 1
--1-1--- 1
.names l m n n_n1219
010 1
.names [6145] [6146] [6147] [6148] n_n2040
1--- 1
-1-- 1
--1- 1
---1 1
.names [6209] [6210] [6253] [6254] [6255] [6283] [6284] n_n2019
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i j k m n [312]
10010 1
.names f g h n_n971
001 1
.names l m n n_n1204
100 1
.names a b c m n [193]
01110 1
.names b c d k l m n [370]
0110101 1
.names h i j [384]
100 1
.names f h i n_n662
001 1
.names e g h n_n1196
011 1
.names b c d m n [144]
11101 1
.names j k m n [227]
1001 1
.names j k m n [70]
1001 1
.names j k m n [221]
0101 1
.names i k m n [285]
0001 1
.names g j k m n [405]
00-10 1
0-110 1
.names g h j n_n1137
111 1
.names g i k n_n1131
111 1
.names c f g h [158]
0-11 1
-011 1
.names h i [132]
01 1
.names c d f [395]
00- 1
0-0 1
.names g h j n_n818
011 1
.names g h i [23]
101 1
110 1
.names f h i [59]
101 1
110 1
.names g h i [134]
001 1
010 1
.names b e f g h i [169]
110101 1
.names b d e f h j [176]
110111 1
101011 1
.names b c d e f [213]
101-- 1
110-- 1
1-01- 1
01-0- 1
1--10 1
.names b e f g h j [376]
110111 1
.names g h j k m n [401]
111000 1
.names g j k n_n387
101 1
.names g i j k l m n [72]
1101-10 1
1-01010 1
.names b c d e g h j [211]
101-110 1
110-110 1
1-01110 1
11-1010 1
.names f h i j [231]
010- 1
01-0 1
.names b e f l m n [410]
110010 1
.names f h j n_n823
111 1
.names g h i n_n992
111 1
.names f g i n_n1228
111 1
.names l m n n_n1215
110 1
.names i j k l m n [141]
111100 1
.names a b c m n [145]
11110 1
.names b c d e f g m n [248]
11111101 1
.names i j k l m n [288]
111110 1
.names c d e l m n [302]
111000 1
.names b c d e f g [372]
111001 1
.names j k l [55]
101 1
010 1
.names i j k l [149]
010- 1
01-1 1
.names i j k l [18]
101- 1
1-10 1
.names h i j l [20]
01-1 1
10-1 1
1-10 1
.names j k l n_n605
100 1
.names d e [90]
11 1
.names g j k l m n [247]
110110 1
.names g h i j k l m n [279]
11010-10 1
1100-110 1
1-011110 1
11-10110 1
.names k l m n n_n978
1101 1
.names b e f n_n703
101 1
.names g h k n_n817
111 1
.names g k m n [399]
0010 1
.names a c d e g i [414]
110111 1
.names i j k l m n [308]
100100 1
.names a c d e [369]
1101 1
.names k l m n n_n982
0101 1
.names b c d e [47]
101- 1
110- 1
1-01 1
.names g i j n_n694
110 1
.names h i j k [56]
01-1 1
1-10 1
.names k l m n [142]
1110 1
.names g h j k [216]
010- 1
01-1 1
1-10 1
.names j l m n [260]
0100 1
.names b c f l m n [295]
011101 1
.names a b e l m n [383]
011110 1
.names i j k l m n [382]
011100 1
.names h i j k l [181]
-010- 1
01--1 1
10--1 1
1-1-0 1
.names b d e f h i [155]
110111 1
101011 1
.names b c d e f [166]
101-- 1
110-- 1
1-01- 1
1--10 1
.names g h i j k l m n [237]
11101-10 1
11010-10 1
11-10110 1
.names j k m n [293]
0101 1
1001 1
.names a b d k l m n [408]
1111010 1
.names f h k n_n825
011 1
.names a b d e [43]
010- 1
01-1 1
.names h i j l m n [296]
010100 1
.names c d e f [24]
01-1 1
1-01 1
.names i j k m [49]
0-10 1
-010 1
-100 1
.names c d e f [109]
010- 1
01-1 1
1-01 1
1-10 1
.names g h i j [206]
011- 1
1-10 1
.names g h j k [105]
010- 1
1-10 1
.names g h i j l m n [152]
101-110 1
110-110 1
11-1010 1
.names a c d e g h [299]
101010 1
.names a b d e f g m n [388]
11101110 1
11100110 1
.names h k l m n [292]
11010 1
.names c d e f h i [406]
111001 1
.names h i j k [65]
01-1 1
10-1 1
1-01 1
1-10 1
.names h i j k m n [162]
0--100 1
-0-100 1
--0100 1
--1000 1
.names h j k l [198]
110- 1
1-10 1
.names b c d e f h [300]
110101 1
.names b c e f g h [377]
111011 1
111001 1
.names f g h n [385]
0110 1
.names a c d e f g h [51]
1101-11 1
1010-11 1
101-111 1
1-10111 1
11-1011 1
1-01011 1
.names a c d e f g i [80]
101-111 1
1-10111 1
11-1011 1
1-01011 1
.names c d g h i m n [163]
0011000 1
.names j k l m n [180]
00010 1
.names f h j k m n [186]
110001 1
.names g h i j k m [253]
011000 1
110000 1
.names c d f g i j m n [271]
00010-00 1
00-10000 1
.names c f g h k l m n [272]
1-000000 1
-1000000 1
.names h i j k l m n [274]
110000- 1
1-00001 1
.names e g h j k m n [275]
1010001 1
.names c d e g h i m n [276]
0001-000 1
000-1000 1
.names c e f h i m n [277]
0101000 1
.names f g h j k m n [278]
1010000 1
.names c e f g h m n [281]
1000000 1
.names a e f h i j m n [318]
0001--10 1
000-1-10 1
000--110 1
.names c d e f i m n [321]
1000000 1
.names c d e f g j m n [322]
1000-100 1
1-000100 1
.names c d f g i j m n [323]
00011000 1
.names c d e f j m n [324]
0001000 1
.names a e f k l m n [325]
0000-10 1
000-010 1
.names c f g i k m n [326]
0001000 1
.names c e f g l m n [327]
0101000 1
.names d e f g j k m n [329]
00000-10 1
0000-110 1
.names a d e l m n [331]
010010 1
.names b c d e f m n [332]
0000-10 1
000-110 1
01-0010 1
0-00010 1
.names b d e f g m n [333]
00-0001 1
0-10001 1
-000001 1
.names b f h i l m n [334]
1100101 1
.names b e f g h i m n [335]
0-1-0001 1
00-00001 1
.names b e f g l m n [336]
010-001 1
0-00001 1
.names a c d e f m n [337]
00-0010 1
0-10010 1
.names g h i j m n [338]
100000 1
.names a b g j k m n [339]
1-01010 1
-001010 1
.names h i k l m n [340]
001001 1
.names c d h i m n [354]
0-0001 1
-00001 1
.names d e f i j m n [355]
0001-10 1
000-110 1
.names c d f g l m n [357]
001-000 1
00-1000 1
.names e f g i j m n [359]
0001-01 1
000-101 1
.names b g h m n [363]
00010 1
.names c d i l m n [364]
001000 1
.names g h i j m n [365]
000-01 1
-00001 1
.names c d e f m n [366]
000010 1
.names d e f k l m n [375]
0000-10 1
000-010 1
.names a b c d e l m n [444]
11100010 1
.names a b c d e k m n [445]
11100010 1
.names a f h i j l m n [450]
10000110 1
.names a b c d e f m n [453]
11100110 1
.names a d e g j k m n [458]
01011010 1
.names c d f h i k m n [462]
1-100100 1
01100100 1
.names c f g h j k m n [464]
1-001000 1
-1001000 1
.names c f g h i l m n [466]
0-000100 1
-1000100 1
.names g h i k l m n [467]
1000100 1
.names c f g h k l m n [468]
10-00000 1
0-100000 1
.names c f g h i l m n [469]
10-00000 1
0-100000 1
.names e h i j k m n [470]
0011001 1
.names c d g h i m n [471]
0100000 1
.names e g h i k m n [472]
0100001 1
.names c e f h i m n [473]
1100000 1
.names e f h j k m n [474]
0101001 1
.names f h i j k m [475]
101100 1
.names c g h j k l m n [481]
10100000 1
.names c d e f i j m n [483]
10001000 1
.names c e g h j k m n [484]
11010000 1
.names c e f g i k m n [488]
10000100 1
.names a d e h k m n [489]
0100010 1
.names c d g h j k m n [490]
01010000 1
.names f g h i j k m n [494]
01110010 1
.names e g h i j k m n [495]
11110010 1
.names g h i j k l m n [496]
01111101 1
.names b e g h j k m n [500]
11-10001 1
1-010001 1
.names a e f g j k m n [502]
00000-10 1
0000-110 1
.names b f h k l m n [503]
0100001 1
.names b e f h j m n [504]
0101101 1
.names b e g h i m n [505]
0010001 1
.names b h i j l m n [508]
0000110 1
.names b c d e f m n [509]
0011010 1
.names b f h j k m n [510]
0101001 1
.names a d e g j k m n [511]
01000-10 1
0100-110 1
.names b e f i k m n [512]
0100001 1
.names b e f j k m n [513]
0100101 1
.names b e f h i m n [514]
1100001 1
.names h i j k l m n [515]
0011010 1
.names a d e f h i m n [516]
01010110 1
.names h i j k l m n [517]
0000110 1
.names b e h i j k m n [520]
00110001 1
.names d f h i j l m n [521]
10000110 1
.names b e g h j k m n [523]
00110001 1
.names b f h i j k m n [524]
10011001 1
.names b e g h j k m n [525]
00101001 1
.names b e f h j k m n [526]
11001001 1
.names b c d e f l m n [527]
11100001 1
.names c d g h k l m n [528]
01000000 1
.names e f h i j l m n [529]
10000110 1
.names c d g h j k m n [530]
01001000 1
.names c f h i j k m n [531]
10011000 1
.names d g h i j k m n [532]
01011000 1
.names c e f h i j m n [533]
01001000 1
10001000 1
.names e g h i j k m n [534]
01011000 1
.names e f h j k l m n [535]
01000000 1
.names b c f h i k m n [542]
01101101 1
.names a b e g h k m n [549]
01101110 1
.names a b e h j k m n [550]
01110110 1
.names a c d m n [417] [182] [713]
1111011 1
.names i j k m n [51] [790]
110101 1
.names g h i j l m n [51] [911]
11001101 1
.names a b c f g h m n [1016]
11011110 1
.names f h i j k m n [218] [1018]
10111011 1
11011011 1
.names c d f h k l m n [1166]
10111000 1
.names a b e g h k m n [1170]
01101110 1
.names b d e [185] [1196]
1011 1
.names b d e f h k [5079]
101011 1
.names g h i k m n [5080]
010101 1
.names b d e k m n [5082]
110001 1
.names [23] n_n823 [260] [383] [105] [406] [5082] [5094]
1--1--- 1
---11-- 1
--1--1- 1
-1----1 1
.names k l m n n_n709 [374] [378] [417] [5095]
----1--1 1
1-01-1-- 1
-010--1- 1
.names [168] [89] [192] n_n1219 n_n703 [5079] [5080] [5096]
-11---- 1
1---1-- 1
---1-1- 1
----1-1 1
.names b d e i l m [5100]
101011 1
.names b d e j l m [5102]
101101 1
.names f g h i k m n [5103]
0110101 1
.names b d e f g h [5104]
101111 1
.names c e f m n [5105]
10100 1
.names b d e f g h [5106]
101111 1
.names c d e f h [5107]
11101 1
.names c d f h i j k [5109]
10101-1 1
10110-1 1
1011-01 1
1011-10 1
.names b d e f g h [5110]
101111 1
.names b d e f h k [5111]
110111 1
.names b d e j l m n [5113]
1010110 1
.names b d e k m n [5114]
101110 1
.names [172] [198] [385] [5100] [5102] [5105] [5106] [5127]
--11--- 1
--1-1-- 1
-1---1- 1
1-----1 1
.names f g h [77] [5110] [5111] [5113] [5114] [5128]
---11--- 1
---1-1-- 1
001---1- 1
001----1 1
.names k m n [302] n_n825 [406] [1166] [1170] [5129]
------1- 1
-------1 1
---11--- 1
100--1-- 1
.names c e f [172] [296] [65] [162] [300] [5130]
---1---1 1
101-1--- 1
101--11- 1
.names h i j k m n [110] [5109] [5131]
--01011- 1
--10011- 1
0--100-1 1
-0-100-1 1
--0100-1 1
--1000-1 1
.names c d f [110] [77] [296] [377] [5103] [5132]
---11--- 1
------11 1
101--1-- 1
.names [77] [293] [162] [377] [5104] [5107] [5133]
1--1-- 1
-1-1-- 1
-1--1- 1
--1--1 1
.names [5127] [5128] [5129] [5130] [5131] [5132] [5133] [5139]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names e g i k m n [5141]
1-1101 1
-11101 1
.names b c d e f h [5142]
1100-0 1
110-00 1
.names a b c d e f [5143]
110011 1
.names g i j k l [5149]
1010- 1
101-1 1
1-101 1
.names b c e f h [5151]
11101 1
.names b d e g j k [5152]
101110 1
.names b c d f g h [5153]
101100 1
.names b c d e g h [5155]
110010 1
.names a b c d e m n [5156]
1100110 1
.names a b c d e [298] [306] [374] [5162]
-----1-1 1
11-10-1- 1
11101-1- 1
.names b d e [148] [172] [298] [5151] [5152] [5163]
----1-1- 1
---1---1 1
110--1-- 1
.names [110] [172] [306] [5141] [5142] [5143] [5165]
11---- 1
---11- 1
--1--1 1
.names d e n_n1207 [75] [84] [202] [298] [393] [5166]
---1---1 1
----1--1 1
--1-11-- 1
1----11- 1
-0---11- 1
.names [46] [67] [75] [84] [5149] [5153] [5155] [5169]
11----- 1
-1--1-- 1
---1-1- 1
--1---1 1
.names b c d e [46] [187] [298] [5156] [5172]
----1--1 1
1-01-1-- 1
101-1-1- 1
1-011-1- 1
.names [153] [187] [5162] [5163] [5165] [5166] [5169] [5172] [5175]
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
11------ 1
.names d e l m n [5176]
0-110 1
-0110 1
.names b c d e f g m n [5179]
11001101 1
.names b c d e f g [5180]
110011 1
.names a b c d e m n [5187]
1011110 1
.names a b d e [5188]
0111 1
.names e f g h k [5189]
01011 1
00011 1
.names a b c e f g m n [5190]
10101110 1
.names a b c d e m n [5191]
1011110 1
.names a b d e [5192]
0111 1
.names a b c e f g m n [5194]
10101110 1
.names e f g h j l [5195]
010101 1
.names [75] [27] [20] [105] [5176] [5180] [5197]
-1-11- 1
1-1--1 1
.names a b c d m n [108] [5189] [5198]
101-101- 1
11-110-1 1
.names [101] n_n698 [379] [111] n_n816 [90] [5179] [5195] [5207]
1-----1- 1
---1---1 1
-11--1-- 1
--11-1-- 1
---111-- 1
.names [75] [241] [181] [152] [299] [388] [5190] [5208]
11----- 1
---11-- 1
--1--1- 1
---1--1 1
.names [74] [123] [388] [5191] [5192] [5194] [5210]
1-1--- 1
-1-1-- 1
-1--1- 1
1----1 1
.names a b d [5213]
011 1
.names c d e f h i [5214]
110101 1
.names c e f k m n [5217]
101101 1
.names c e f g h i [5218]
101001 1
.names c d e f h i [5219]
110101 1
.names e g h [5220]
001 1
.names a b c d e [292] [5226]
01-111 1
1-0101 1
.names [76] [387] [134] [296] [5213] [5214] [5217] [5218] [5227]
-1--1--- 1
---1-1-- 1
--1---1- 1
1------1 1
.names k m n [297] [296] [406] [5219] [5228]
----11- 1
1101--- 1
100--1- 1
100---1 1
.names c d f [217] n_n1166 n_n1204 [295] [293] [5229]
----1-1- 1
---1---1 1
011-11-- 1
.names a c d [217] [94] [77] [5230]
---1-1 1
101-1- 1
.names i k l m n [5235]
00--0 1
0-1-0 1
0--00 1
.names a c d n [5238]
1010 1
.names f g i k l m n [5239]
1100--- 1
110-1-- 1
110--0- 1
110---1 1
.names a c d e g i m n [5243]
10101110 1
.names c d e f h m n [5247]
1110100 1
.names c d e f m n [5248]
110100 1
.names c d f m n [5249]
01100 1
.names b c f m n [5250]
01101 1
.names [31] [45] [54] [71] [258] [5235] [5238] [5239] [5262]
-1--1--- 1
1-111--- 1
1-0-11-- 1
1-0---11 1
.names n_n904 [54] [101] [102] [195] [5220] [5243] [5263]
1--1--- 1
1---1-- 1
--1---1 1
11---1- 1
.names [84] [172] n_n904 n_n626 [138] [168] [217] [241] [5265]
--1-1--- 1
---1-1-- 1
-1----1- 1
1------1 1
.names [5226] [5227] [5228] [5229] [5230] [5262] [5263] [5268]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names g h i j k m n [5275]
1011101 1
1101101 1
.names b d e j k m n [5276]
1011101 1
.names j k m n [5279]
1101 1
.names c d e j k m n [5281]
0101100 1
.names b d e j k m n [5283]
1101101 1
.names a b e g i j [5284]
011101 1
.names b e f g i j [5285]
110101 1
.names g h j k m n [5286]
011001 1
.names a b e k m n [5287]
011110 1
.names b e f k m n [5288]
110110 1
.names k l m n [48] [5284] [5285] [5286] [5296]
----1--1 1
0-10-1-- 1
-110-1-- 1
0-10--1- 1
-110--1- 1
.names [265] n_n700 n_n818 [376] [401] [5287] [5288] [5297]
1--1--- 1
-1--1-- 1
--1--1- 1
--1---1 1
.names g h j k m n [176] [213] [5299]
---0011- 1
111001-1 1
.names [48] [23] [59] [134] [5276] [5279] [5281] [5283] [5300]
-1----1- 1
--1----1 1
--011--- 1
1--1-1-- 1
.names [58] [125] [244] [265] [169] [213] [5275] [5303]
1-1---- 1
-1-1--- 1
1---1-- 1
-----11 1
.names h i j k [218] [381] [5306]
1-101- 1
011--1 1
101--1 1
.names a b c d f g h [5310]
101-111 1
01-0111 1
.names a c d e g i [5311]
101010 1
.names i j k m n [5312]
11110 1
.names j k m n [412] [5310] [5320]
11101- 1
1010-1 1
.names [228] [244] [265] [378] [5311] [5312] [5321]
--11-- 1
1---1- 1
--1-1- 1
-1---1 1
.names a b c [265] [390] [219] [1016] [5323]
---1-1- 1
---1--1 1
110-1-- 1
.names i j k l m n [98] [5325]
111-101 1
1-01101 1
.names a b c d [125] [228] [390] [417] [5326]
----11-- 1
101---1- 1
01-0--1- 1
11-1---1 1
.names i j k l m n [82] [240] [5328]
-11-10-1 1
1-01101- 1
.names i j k m n [82] [51] [5329]
-1010-1 1
111101- 1
.names [5320] [5321] [5323] [5325] [5326] [5328] [5329] [5333]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names b e f g h [5334]
11010 1
.names a c d e f [5335]
11-10 1
1-010 1
.names g h i j l m n [5336]
1010101 1
.names b d e f h i [5338]
110101 1
.names b c e g h i [5339]
010101 1
.names g h i k l m n [5340]
1011101 1
.names b c e g h j [5342]
010111 1
.names b c e g h j [5343]
010110 1
.names b c f h i j [5344]
011101 1
.names b d e f h i [5345]
110101 1
.names b c e g h i [5346]
111001 1
.names b c e g h i [5347]
010101 1
.names b d f g h i [5348]
111001 1
.names b d e [76] n_n662 n_n978 [5338] [5339] [5358]
---1--1- 1
---1---1 1
10111--- 1
101-11-- 1
.names k l m n [5342] [5343] [5344] [5345] [5359]
01011--- 1
1101-1-- 1
1101--1- 1
1101---1 1
.names [228] [247] [369] [47] [5334] [5335] [5336] [5340] [5361]
-11----- 1
1---1--- 1
-1---1-- 1
---1--1- 1
---1---1 1
.names [195] n_n730 [76] [235] n_n978 [5346] [5347] [5348] [5363]
11------ 1
--11---- 1
----11-- 1
----1-1- 1
----1--1 1
.names b c d e f [5365]
1101- 1
11-10 1
.names c d e l [5367]
0101 1
.names h i j k m [5368]
10110 1
.names c d e g h i [5369]
010101 1
.names b e f l m n [5370]
110110 1
.names c d e g h j [5371]
010110 1
.names c d e g h i [5372]
010101 1
.names b e f g i j [5373]
110110 1
.names b d e f g h j [5375]
11-1011 1
1-01011 1
.names b d e f h j [5376]
101010 1
.names b d e f h j [5377]
110110 1
.names [401] [216] [260] [383] [5367] [5369] [5386]
-1-1-- 1
1---1- 1
--1--1 1
.names k l m n [5371] [5372] [5373] [5376] [5387]
11001--- 1
1100-1-- 1
1110--1- 1
1101---1 1
.names n_n1137 n_n982 [47] [56] [216] [5365] [5370] [5375] [5391]
----1-1- 1
-1-----1 1
111----- 1
-1-1-1-- 1
.names [374] n_n1166 [211] n_n978 [56] [295] [5377] [5393]
1--1--- 1
--11--- 1
-1---1- 1
----11- 1
---1--1 1
.names n_n618 [380] [208] [169] [176] n_n978 n_n982 [295] [5394]
-11----- 1
--1--1-- 1
---1-1-- 1
----1-1- 1
1------1 1
.names [139] n_n1166 [5358] [5359] [5361] [5363] [5368] [5399]
--1---- 1
---1--- 1
----1-- 1
-----1- 1
11----- 1
1-----1 1
.names [139] n_n619 [5386] [5387] [5391] [5393] [5394] [5400]
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
11----- 1
.names a c d e f g [5402]
1010-- 1
101-1- 1
101--0 1
.names a b e g i j [5403]
011110 1
.names j l m n [195] [412] [29] [5406]
----1-1 1
0110-1- 1
.names [195] n_n918 [412] [247] [142] [5402] [5403] [5407]
--1-1-- 1
---1-1- 1
----1-1 1
01-1--- 1
.names j k l m n [240] [5409]
0-1101 1
-11101 1
.names a d e g h [5410]
11010 1
.names a b c d j l m n [5411]
11--1110 1
00--1110 1
1-0-1110 1
-00-1110 1
0--11110 1
-1-11110 1
--011110 1
.names b d e f h i [5413]
11-110 1
1-0110 1
.names b d e g h i [5415]
1011-- 1
101-0- 1
101--1 1
.names f h i j k l m n [5416]
11011101 1
.names c d e g h i [5417]
010110 1
.names i j k l m n [5418]
011101 1
.names a b e j l m n [5421]
0111110 1
.names j k l m n [5422]
01110 1
.names g h i j k l m n [5423]
11011101 1
.names a b c d m n [5424]
101-10 1
110-10 1
01-010 1
.names b d e f g h i [5425]
11-1010 1
1-01010 1
.names b c e g h i [5426]
111010 1
.names b e f g h i [5427]
110110 1
.names f g i j k l [5428]
011011 1
.names b c d e [257] [5421] [5423] [5434]
----11- 1
101---1 1
110---1 1
01-0--1 1
.names a b c d [133] [380] [147] [5425] [5435]
----1--1 1
101--11- 1
01-0-11- 1
.names [27] [133] [415] [5417] [5426] [5427] [5428] [5436]
--11--- 1
-1--1-- 1
-1---1- 1
1-----1 1
.names a b e [380] [219] [1016] [5410] [5411] [5438]
---11--- 1
---1-1-- 1
------11 1
0111---- 1
.names [228] [29] [129] [257] [309] [5415] [5416] [5418] [5439]
-----11- 1
----1--1 1
11-1---- 1
1-11---- 1
.names [228] [34] [64] [133] [179] [5413] [5424] [5442]
1-1---- 1
----1-1 1
-1-1-1- 1
.names h j k [139] [5445]
1011 1
1101 1
.names [911] [5406] [5407] [5409] [5434] [5435] [5438] [5439] [5449]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names c d e [5451]
0-1 1
-01 1
.names c d e f h i [5452]
1--101 1
-1-101 1
--0101 1
.names b c e k m n [5455]
011101 1
.names b c e [5456]
011 1
.names f g h i j [126] [5455] [5460]
-101-1- 1
-110-1- 1
-11-01- 1
1-01--1 1
1-10--1 1
1-1-0-1 1
.names [309] n_n1203 [77] [126] [227] [231] [296] [5461]
1-1---- 1
1---1-- 1
---1-1- 1
-1----1 1
.names n_n730 [94] [126] n_n662 [296] [5451] [5452] [5464]
11----- 1
--11--- 1
----111 1
.names n_n709 [184] [94] [77] [117] [135] [43] [5456] [5466]
-1-1---- 1
1----1-- 1
--1---1- 1
----1--1 1
.names a b d f [5469]
1011 1
.names b c d m n [5470]
10101 1
.names e f g h k l [5471]
111110 1
.names a b c d f [5472]
11001 1
.names [138] [195] [44] [43] [5469] [5470] [5471] [5472] [5476]
1--1---- 1
-1-1---- 1
--1-1--- 1
-----11- 1
--1----1 1
.names b c d e f g [5479]
101111 1
101110 1
.names a c d e f g m n [5482]
11011110 1
.names c d e f g m n [5485]
0111100 1
1011100 1
0111000 1
1011000 1
.names a b d f g m n [5488]
1011110 1
.names b c d f g [5489]
1010- 1
101-0 1
.names h i j l m n [5490]
010101 1
.names b c d e f g m n [5493]
10111101 1
10111001 1
.names a b d f m n [5495]
101110 1
.names a d e f g m n [5497]
1101110 1
.names b c e f [5498]
0111 1
.names a c e m n [5500]
11110 1
.names b d e j l m n [5501]
1010101 1
.names c e f m n [5502]
11000 1
.names b c d f g h [5503]
101010 1
.names a c d [84] [298] [151] [5479] [5503] [5510]
----1-1- 1
---1---1 1
110--1-- 1
.names [75] [84] [298] [393] [230] [5498] [5501] [5511]
1--1--- 1
-1-1--- 1
--1--1- 1
----1-1 1
.names [101] [184] [419] [5485] [5493] [5502] [5516]
-11--- 1
1--1-- 1
1---1- 1
1----1 1
.names a d e [102] [390] [74] [5482] [5488] [5518]
-----11- 1
-----1-1 1
1101---- 1
110-1--- 1
.names [46] [92] [183] [5489] [5490] [5495] [5497] [5500] [5519]
1----1-- 1
--1---1- 1
-1-----1 1
1--11--- 1
.names [5460] [5461] [5464] [5466] [5510] [5511] [5521]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names d f g [38] [74] [92] [5516] [5519] [5523]
------1- 1
-------1 1
---1-1-- 1
01111--- 1
.names c d e f g h n [5527]
1011110 1
.names c d e n [5529]
1010 1
.names f g h k l m [5530]
111100 1
.names c d e n [5532]
1010 1
.names f g h i k m [5533]
110110 1
.names g i j [5534]
111 1
.names b e f k l m n [5535]
1100110 1
.names b c e g h [5536]
10111 1
.names b c e g h [5537]
10111 1
.names b c e g h [5538]
10111 1
.names b c d e g h [5539]
110011 1
.names b d e f g h [5540]
110111 1
.names b e f j l m [5541]
110101 1
.names g h i j l m n [5542]
1010100 1
.names a b e k m n [5543]
011110 1
.names b e f k m n [5544]
110110 1
.names b c e f k m n [5547]
010-101 1
01-1101 1
1-10101 1
.names g h i k m n [5548]
101100 1
110100 1
.names g h j k m n [5549]
110100 1
.names b e f j l m n [5552]
1100110 1
.names a b e g i k [5554]
011111 1
.names c e f l m n [5556]
110000 1
.names [172] [5529] [5530] [5532] [5533] [5534] [5535] [5537] [5572]
-11----- 1
---11--- 1
-----11- 1
1------1 1
.names [77] [290] [206] [5538] [5541] [5543] [5544] [5573]
1--1--- 1
-1--1-- 1
--1--1- 1
--1---1 1
.names b c d e [172] n_n1201 [77] n_n1196 [5574]
1-1011-- 1
1-10-11- 1
110-1--1 1
110---11 1
.names n_n700 n_n1190 n_n1142 n_n1219 n_n817 [24] [5552] [5554] [5575]
--1---1- 1
---1---1 1
11--1--- 1
-1--11-- 1
.names l m n [244] [164] n_n817 [5547] [5556] [5576]
----1-1- 1
-----1-1 1
1101---- 1
.names i k m n [93] [242] [135] [5577]
----1-1 1
1101-1- 1
.names [169] n_n1215 [293] [49] [5527] [5536] [5539] [5578]
11----- 1
---11-- 1
--1--1- 1
--1---1 1
.names [293] [109] [5540] [5542] [5548] [5549] [5579]
1-1--- 1
-1-1-- 1
-1--1- 1
-1---1 1
.names [5573] [5574] [5575] [5576] [5585]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1131 [401] [410] [109] [5572] [5577] [5578] [5579] [5586]
----1--- 1
-----1-- 1
------1- 1
-------1 1
1-1----- 1
-1-1---- 1
.names f g h m n [5588]
11000 1
.names c d e i j l [5589]
101101 1
.names f g h i j k m n [5591]
11111010 1
.names a b e i j k [5593]
011110 1
.names f g h i j l m n [5595]
10110110 1
.names a b e i j l [5596]
011101 1
.names f g h i l m n [5597]
1011110 1
.names i k m n [5598]
1110 1
.names f g h i l m n [5599]
1101110 1
.names i j k [5601]
110 1
.names i k m n [5602]
1110 1
.names i j l m n [5604]
10110 1
.names g h i j l m n [5606]
1010101 1
.names [412] [29] [5591] [5595] [5596] [5597] [5598] [5615]
-11---- 1
-1-1--- 1
----11- 1
1-----1 1
.names [106] [219] [402] [5599] [5601] [5602] [5604] [5616]
--11--- 1
-1--1-- 1
1----1- 1
1-----1 1
.names [148] [33] [93] [156] [203] [402] [5606] [5617]
1--1--- 1
-1--1-- 1
-1---1- 1
--1---1 1
.names [75] [238] [33] [147] [242] [5588] [5589] [5593] [5619]
-11----- 1
1---1--- 1
-----11- 1
---1---1 1
.names i j k l m n [82] [99] [5622]
1--1101- 1
1-1-10-1 1
10-110-1 1
.names c d e f g h [5627]
110010 1
.names a b c k m n [5630]
011010 1
.names d e f g h i [5631]
0--111 1
-0-111 1
--0111 1
.names d f j l m n [5632]
110110 1
.names e f g h i j [5634]
101110 1
.names c d e f g h [5636]
011011 1
.names g h i j k l [5638]
011101 1
.names a b c d e f m n [5639]
01110110 1
.names f g h l m n [5641]
010100 1
.names c d e i j k [5642]
011110 1
.names c d e f g h [5643]
001110 1
.names e f g h i j [5644]
101011 1
.names c d e f g h [5646]
110011 1
.names c d f j k l [5647]
000000 1
.names h i j [367] [372] n_n978 [5647] [5648]
---1--1 1
001-11- 1
.names [382] [5627] [5630] [5631] [5632] [5649]
11--- 1
--111 1
.names n_n1080 n_n971 [370] [141] [308] [5634] [5636] [5650]
--1--1- 1
----1-1 1
11-1--- 1
.names [370] [382] [5638] [5639] [5641] [5642] [5643] [5644] [5651]
--11---- 1
----11-- 1
-1----1- 1
1------1 1
.names b c d e f g [5655]
011101 1
.names h i j k l m n [5656]
0011101 1
.names c d e f g h [5657]
011010 1
.names d e f g h i [5658]
111111 1
.names a b c j k l m n [5659]
11111110 1
.names e f g h i j [5660]
111111 1
.names b c d k l m n [5661]
1111101 1
.names c d e f g h [5662]
111111 1
.names c d e f g h i [5665]
0000000 1
.names [382] [5643] [5655] [5656] [5666]
11-- 1
--11 1
.names i j k l m n [5657] [5665] [5667]
--0000-1 1
0111001- 1
.names n_n1069 n_n971 [370] [141] [308] [5634] [5636] [5668]
--1--1- 1
----1-1 1
11-1--- 1
.names a b c d f g m n [5675]
11110110 1
.names a c d e f g m n [5677]
11101110 1
.names a b c d f m n [5679]
1111010 1
.names a c d e f g m n [5681]
11101010 1
.names c d e f g h [5682]
001111 1
.names a b c d f g m n [5683]
01101110 1
.names [92] [193] [308] [382] [181] [5643] [5677] [5682] [5688]
11------ 1
---1-1-- 1
----1-1- 1
--1----1 1
.names [46] [74] [5675] [5679] [5681] [5683] [5689]
-11--- 1
1--1-- 1
1---1- 1
-1---1 1
.names a c d m n [5692]
11110 1
.names a c d m n [5695]
11110 1
.names a c d e f g m n [5698]
11101110 1
.names a b c d [5699]
1111 1
.names c d f g h i [5701]
000011 1
.names c d f g h i [5702]
000000 1
.names a b c e [5703]
0111 1
.names a b c d [5705]
0110 1
.names [195] [415] n_n949 n_n997 [254] [387] [5701] [5702] [5709]
1-1----- 1
---1-1-- 1
-1----1- 1
----1--1 1
.names a b c d e [138] [5711]
101--1 1
1-1011 1
.names [22] n_n949 [94] [108] [247] [414] [369] [5705] [5712]
-11----- 1
1----1-- 1
----1-1- 1
---1---1 1
.names n_n876 [123] [200] [379] [387] [5692] [5703] [5717]
11----- 1
---1--1 1
--1-11- 1
.names a b c [102] [390] [123] [243] [5695] [5719]
-----111 1
1011---- 1
101-1--- 1
.names [183] n_n997 [44] [174] [182] [413] [5698] [5699] [5721]
-1--1--- 1
----11-- 1
1-----1- 1
--10---1 1
.names n_n761 [185] [713] [5709] [5711] [5712] [5719] [5721] [5726]
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
11------ 1
.names a b d e m n [5727]
111010 1
.names e f g j k l [5729]
101101 1
.names e f g [46] [111] [55] [5727] [5729] [5732]
---1--1- 1
----1--1 1
111-11-- 1
.names d f g [38] [92] [149] [388] [5733]
---11-- 1
-----11 1
0111-1- 1
.names a c d e f g m n [5734]
10111110 1
.names a c d e f g m n [5735]
10111110 1
.names e f g h j l [5736]
110101 1
.names b c d e g h [5737]
011010 1
.names h i j k l [223] [5735] [5739]
--1011- 1
--0101- 1
01--1-1 1
10--1-1 1
1-1-0-1 1
.names [75] [129] [223] [18] [5736] [5737] [5740]
--11-- 1
-1--1- 1
1----1 1
.names i j k l [388] [5734] [5743]
101-1- 1
-1011- 1
1-101- 1
-0101- 1
101--1 1
010--1 1
01-1-1 1
-101-1 1
1-10-1 1
-010-1 1
.names b c d e g h [5744]
011011 1
.names b d f g h i [5745]
111001 1
.names a d e f g i [5746]
101011 1
.names b c d e g h [5747]
011010 1
.names b c d e g h [5748]
011011 1
.names b c d g h i [5749]
101101 1
.names a d e f g i [5750]
101011 1
.names g j k l m n [159] [5759]
-1-1101 1
1010101 1
.names [84] [167] [113] [247] [414] [5746] [5760]
11---- 1
--1-1- 1
---1-1 1
.names [84] [76] [33] [77] [5747] [5748] [5749] [5750] [5761]
1---1--- 1
---1-1-- 1
-1----1- 1
--1----1 1
.names i j k m n [160] [5744] [5762]
0-1011- 1
-01011- 1
-10011- 1
0-101-1 1
-0101-1 1
-1001-1 1
.names n_n840 [298] [22] n_n988 [247] [414] [369] [5745] [5763]
11------ 1
-1-1---- 1
--1--1-- 1
----1-1- 1
-1-----1 1
.names e f g h i j [5767]
111001 1
.names b c d k l m n [5768]
1110001 1
.names c d e f g h [5769]
001111 1
.names f g h i j k [5770]
110010 1
.names h i j [372] n_n978 [382] [5627] [5772]
-----11 1
00111-- 1
.names [382] [5655] [5656] [5657] [5773]
-11- 1
1--1 1
.names [302] [308] [5767] [5768] [5769] [5770] [5774]
--11-- 1
-1--1- 1
1----1 1
.names c d e i k [5777]
00000 1
.names f g h l m n [5778]
000000 1
.names b d e f g k m n [5780]
1101-101 1
11-10101 1
.names a b d e [5781]
1110 1
.names b c d k m n [5783]
101101 1
.names b d e f g [5784]
1101- 1
11-10 1
.names a b c e f g m n [5785]
10110110 1
.names e f g i j k [5786]
101010 1
.names b c d k m n [5787]
011101 1
.names i j k l m n [159] [167] [5792]
-10-101- 1
10-101-1 1
.names [306] [77] [160] [5777] [5778] [5781] [5793]
-11--- 1
---11- 1
1----1 1
.names b c d [117] [135] [5797]
0111- 1
101-1 1
.names n_n1080 [89] [164] n_n971 [141] [5780] [5783] [5787] [5798]
-1---1-- 1
--1---1- 1
-1-----1 1
1--11--- 1
.names [224] [306] n_n876 [123] n_n1252 [111] [165] [5786] [5802]
11------ 1
--11---- 1
-----1-1 1
----111- 1
.names n_n904 [151] [200] n_n872 [39] [117] [5784] [5785] [5803]
11------ 1
--11---- 1
-----11- 1
----1--1 1
.names a c d e [123] [174] [243] [111] [5806]
----1--1 1
-----1-1 1
110--1-- 1
1-01--1- 1
.names [5739] [5740] [5743] [5759] [5760] [5761] [5762] [5763] [5809]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [319] [5772] [5773] [5774] [5792] [5793] [5806] [5810]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names c d e j k m [5815]
010100 1
.names g h i k m n [5817]
010101 1
.names b c f h i j [5818]
011111 1
.names g h j k m n [5819]
110101 1
.names n_n1036 n_n1053 [126] [290] [231] [5815] [5818] [5819] [5824]
--1-1--- 1
---1-1-- 1
1-----1- 1
-1-----1 1
.names n_n711 n_n824 [30] [192] [403] n_n387 [410] [5817] [5826]
-1-1---- 1
--1-1--- 1
-----11- 1
1------1 1
--1----1 1
.names g h i n_n698 n_n1210 [213] [72] [211] [5828]
---1--1- 1
----1--1 1
110-11-- 1
.names k l m n [5830]
0010 1
.names a b d f g i m n [5832]
1110--10 1
111-0-10 1
111--110 1
.names i k m n [5837]
1110 1
.names n_n1220 [15] [244] [378] [257] [264] n_n1228 [5830] [5844]
1-1----- 1
-1---1-- 1
---1---1 1
11--1-1- 1
.names [29] [147] [156] [219] [402] [113] n_n605 [5837] [5845]
----11-- 1
---1--1- 1
--1----1 1
11----1- 1
.names i k m n [82] [279] [51] [5849]
--10-11 1
11101-- 1
.names j k l m n [82] [279] [51] [5850]
-----11- 1
10010--1 1
.names a b e [29] [257] [147] [279] [5832] [5851]
---11-1- 1
---1-11- 1
-----011 1
011---1- 1
.names a c d e f g [5856]
1010-- 1
101-1- 1
101--0 1
.names a b d e [5857]
1110 1
.names b c d e [203] [113] [261] [5864]
----11- 1
101---1 1
110---1 1
01-0--1 1
.names g h i j [266] [304] [5856] [5857] [5865]
----1-1- 1
----1--1 1
110--1-- 1
11-0-1-- 1
.names b d e n_n920 n_n1210 n_n1022 [208] [264] [5866]
----1-1- 1
---1---1 1
110-11-- 1
.names n_n711 [371] [210] n_n987 [14] [113] [266] [403] [5867]
-1---1-- 1
1------1 1
--1-1-1- 1
---11-1- 1
.names h i j k m n [218] [5871]
10-1--1 1
1-01--1 1
1110001 1
.names [113] [414] [80] [5864] [5865] [5866] [5867] [5871] [5873]
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
11------ 1
1-1----- 1
.names e f g h i j k [5876]
--01101 1
10-1101 1
.names h j k l m n [5878]
101010 1
.names a c d e h j [5880]
0---10 1
---010 1
-01-10 1
.names g h i j k l [5882]
110011 1
.names b c e g h i [5883]
010111 1
.names h j k [5884]
0-0 1
-10 1
.names h j k [5888]
0-0 1
-10 1
.names f h j k l m n [5890]
0101010 1
.names a c d k l m n [5891]
1011010 1
.names a b c d e n_n1022 [5878] [5891] [5894]
-----1-1 1
11110-1- 1
10010-1- 1
.names j k m n [408] [5880] [5883] [5895]
----11- 1
0101--1 1
1001--1 1
.names a b c d n_n996 [147] [5884] [5896]
101-11- 1
110-11- 1
01-011- 1
101--11 1
01-0-11 1
.names k l m n [378] [29] n_n1022 [369] [5897]
00101--- 1
1010-11- 1
1010--11 1
.names [14] [48] [315] [237] [293] [5876] [5882] [5890] [5903]
--11---- 1
--1---1- 1
1------1 1
-1--11-- 1
.names n_n996 [219] [221] n_n992 [155] [166] [1016] [5888] [5904]
11------ 1
--1-1--- 1
1-----1- 1
-1-----1 1
------11 1
--11-1-- 1
.names h j k l m n [51] [5906]
0-0-101 1
-10-101 1
-011101 1
.names a d e k m n [5909]
110110 1
.names b c e g h k [5910]
1--011 1
-0-011 1
--1011 1
.names c d e j k m [5911]
010010 1
010100 1
.names g h i k m n [5913]
101101 1
.names h i j k m n [5914]
111000 1
.names b c f h i j [5915]
011111 1
.names b c f k m n [5917]
011101 1
.names g h i k m n [5918]
101101 1
.names n_n1036 [36] [542] [5909] [5910] [5913] [5915] [5927]
--1---- 1
---11-- 1
-1---1- 1
1-----1 1
.names n_n904 n_n1085 n_n1053 [411] [549] [5917] [5918] [5928]
----1-- 1
1--1--- 1
-1---1- 1
--1---1 1
.names k m n [230] [50] [126] [290] [5911] [5930]
---1-1-- 1
------11 1
110-1--- 1
.names [34] [230] [192] [261] [403] [36] [48] [5914] [5931]
---1-1-- 1
----1-1- 1
1------1 1
-11---1- 1
.names n_n709 n_n1171 n_n619 [381] [70] n_n992 [155] [5933]
--11--- 1
----1-1 1
1---11- 1
-1--11- 1
.names h i j k m n [235] [381] [5934]
---1011- 1
110----1 1
.names n_n1220 n_n841 n_n1264 [304] [207] [209] [550] [5935]
------1 1
-1-1--- 1
1---1-- 1
--1--1- 1
.names [5927] [5928] [5930] [5931] [5933] [5934] [5935] [5940]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names a b g h [312] [520] [521] [523] [5969]
-----1-- 1
------1- 1
-------1 1
1-111--- 1
-0111--- 1
.names b e f j k m n [5972]
0100-01 1
010-101 1
.names c e f j l m n [5975]
0--0110 1
-0-0110 1
--10110 1
.names c e f h i j [5976]
0--000 1
-1-000 1
--1000 1
.names a d e f i k m n [5990]
0101-110 1
010-0010 1
.names h i j [513] [514] [515] [516] [5972] [5999]
---1---- 1
----1--- 1
-----1-- 1
------1- 1
01-----1 1
0-0----1 1
.names [500] [502] [503] [511] [517] [5975] [5976] [6000]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----11 1
.names [504] [505] [508] [509] [510] [512] [5990] [6001]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i j k m n [6004]
10100 1
.names c d e f g i [6008]
1--010 1
-1-010 1
--1010 1
.names c d e f j m n [6009]
00--000 1
0-1-000 1
1-0-000 1
-00-000 1
1--1000 1
-0-1000 1
--11000 1
.names f k m n [6014]
0100 1
.names c d e f g i k [6015]
00--111 1
0-1-111 1
1-0-111 1
-00-111 1
1--1111 1
-0-1111 1
--11111 1
.names c d e k m n [6016]
1--000 1
-1-000 1
--1000 1
.names c d e f g i [6017]
00-010 1
0-1010 1
1-0010 1
-00010 1
.names g h j m n [6018]
11100 1
.names c d e f g h [6019]
00-011 1
0-1011 1
1-0011 1
-00011 1
.names j k l m n [6024]
00000 1
.names d e f h i [6025]
0--11 1
-0-11 1
--011 1
.names c d e h i [6026]
01111 1
.names [484] [488] [489] [490] [6036]
1--- 1
-1-- 1
--1- 1
---1 1
.names [133] [158] [494] [6024] [6025] [6026] [6037]
--1--- 1
-1-1-- 1
1---1- 1
1----1 1
.names c e f [495] [496] [6004] [6008] [6009] [6038]
---1---- 1
----1--- 1
------11 1
010--1-- 1
100--1-- 1
.names [481] [483] [6014] [6015] [6016] [6017] [6018] [6019] [6039]
1------- 1
-1------ 1
--11---- 1
----11-- 1
------11 1
.names c e f l m n [6043]
0--100 1
-0-100 1
--1100 1
.names d f g h j k m [6044]
00100-- 1
0010-1- 1
0010--1 1
.names f g h i m n [6048]
1-0100 1
-00100 1
.names e g h i m n [6051]
010000 1
.names [468] [469] [470] [471] [6066]
1--- 1
-1-- 1
--1- 1
---1 1
.names [472] [473] [474] [475] [6043] [6044] [6067]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----11 1
.names [395] [462] [464] [466] [467] [6048] [6051] [6068]
-1----- 1
--1---- 1
---1--- 1
----1-- 1
1----1- 1
1-----1 1
.names [5999] [6000] [6001] [6036] [6037] [6038] [6039] [6071]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names f h j l m n [6073]
110100 1
.names d e f h [6078]
0--1 1
-0-1 1
--01 1
.names f g h m n [6080]
11000 1
.names c d e i m n [6081]
1111-- 1
111-1- 1
111--1 1
.names e f i j [6082]
001- 1
00-0 1
.names b c d k m n [6083]
111101 1
.names c e f k m n [6084]
110000 1
.names f g i j k [6086]
1100- 1
110-1 1
.names c d f g h [6087]
1--01 1
-1-01 1
--101 1
.names c d e j m n [6089]
111000 1
.names c d e f g i [6090]
111110 1
.names c f g j [141] [248] [6078] [6099]
---0-1- 1
1---1-1 1
-1--1-1 1
--1-1-1 1
.names c i k [444] [445] [6073] [6080] [6081] [6100]
---1---- 1
----1--- 1
------11 1
100--1-- 1
.names [384] [302] [450] [6082] [6083] [6084] [6086] [6101]
--1---- 1
---11-- 1
1----1- 1
-1----1 1
.names n_n1217 n_n1204 n_n1228 [453] [6087] [6089] [6090] [6102]
---1--- 1
--1--1- 1
-1----1 1
11--1-- 1
.names c f g h [141] [288] [302] [458] [6103]
-------1 1
0-111--- 1
-0111--- 1
0-11-1-- 1
-011-1-- 1
-111--1- 1
.names e d [6107]
00 1
.names d e f g h [6110]
0-111 1
-0111 1
.names a f g h [6112]
0111 1
.names b f i j k [6113]
01111 1
.names h i j l m n [6114]
111101 1
.names e f h i j [6116]
001-1 1
00-11 1
.names e f h j [6118]
0000 1
.names c d e n [6119]
1110 1
.names f g i j k m [6120]
111100 1
.names b c d h i m n [6121]
1111001 1
.names a b c d e f m n [6122]
11111110 1
.names b g h [6123]
011 1
.names h i l m n [6124]
1-0-- 1
-10-- 1
1--1- 1
-1-1- 1
1---0 1
-1--0 1
.names i k l m [6125]
---1 1
01-- 1
0-1- 1
-01- 1
.names d e f g h [6126]
1110- 1
111-0 1
.names [144] [6113] [6114] [6116] [6118] [6119] [6120] [6135]
-11---- 1
1--1--- 1
1---1-- 1
-----11 1
.names [285] [405] [145] [288] [372] [6107] [6123] [6126] [6136]
1---1--- 1
---1--1- 1
--1----1 1
-11--1-- 1
.names [248] [288] [372] [6121] [6122] [6124] [6125] [6137]
--11--- 1
-0--1-- 1
1----1- 1
1-----1 1
.names e f h i k l m n [6145]
0100--01 1
--010000 1
.names e f g h i m n [6146]
01-0000 1
-100000 1
.names h i j k l m n [6147]
01-0001 1
0-00001 1
01-0010 1
.names c f g h i m n [6148]
-000110 1
1-00000 1
.names c d e f j [6153]
0---1 1
-0--1 1
--1-1 1
---01 1
.names c d e f g l m n [6162]
00-10-00 1
01-00-00 1
1-00-000 1
.names d e f g k m n [6165]
0000-01 1
-000101 1
.names c d e f g l m n [6166]
000-1-01 1
01-00-01 1
--000001 1
.names [399] [354] [355] [375] [6153] [6162] [6172]
-1---- 1
--1--- 1
---1-- 1
-----1 1
1---1- 1
.names [357] [359] [363] [364] [365] [366] [6165] [6166] [6173]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names c d g h i k m n [6194]
10-00-00 1
--000100 1
.names a d e f g h m n [6195]
1000--10 1
1--00010 1
.names b e f h i l m n [6199]
-0-00001 1
11000001 1
.names b e f g j k m n [6200]
1000--01 1
-0001-01 1
-000-101 1
.names b d e f g i m n [6201]
0010--01 1
--000101 1
.names [337] [338] [339] [340] [6199] [6200] [6209]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [332] [333] [334] [335] [336] [6194] [6195] [6201] [6210]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names c d e f g j [6217]
10-0-- 1
1-10-- 1
-0-01- 1
--101- 1
11--0- 1
0--10- 1
-1-10- 1
1--00- 1
111--1 1
00-1-1 1
0-11-1 1
-111-1 1
00--11 1
0-1-11 1
-11-11 1
.names c d e f g i m n [6218]
-0-11100 1
--011100 1
0--00100 1
--000100 1
0011-100 1
001-0100 1
.names d e f g i [6221]
0-1-- 1
-01-- 1
0--0- 1
-0-0- 1
--00- 1
0---0 1
-0--0 1
--0-0 1
.names j k m n [6222]
0100 1
.names c d e f g i [6223]
00-0-1 1
0-10-1 1
00--11 1
0-1-11 1
0--001 1
.names c e f g i j m n [6228]
0---1100 1
-00-1100 1
-0-11100 1
--111100 1
.names c d f g j [6229]
1-0-- 1
1--0- 1
1---0 1
-001- 1
-010- 1
-01-0 1
-0-10 1
.names c f l m n [6231]
00000 1
.names d e g i m n [6232]
0--1-- 1
-1-1-- 1
--01-- 1
0---1- 1
-1--1- 1
--0-1- 1
0----1 1
-1---1 1
--0--1 1
.names a c d e f g m n [6247]
0010--10 1
-0011001 1
.names [331] [6217] [6218] [6221] [6222] [6223] [6253]
1----- 1
-11--- 1
---111 1
.names [318] [325] [329] [6228] [6229] [6231] [6232] [6254]
1------ 1
-1----- 1
--1---- 1
---11-- 1
-----11 1
.names [321] [322] [323] [324] [326] [327] [6247] [6255]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names c d f g i [6259]
001-- 1
00-0- 1
0-00- 1
00--1 1
0-0-1 1
.names f g h i k m n [6260]
-1-0000 1
0-10000 1
.names g i m n [6264]
0000 1
.names c d f k l m [6265]
00-1-- 1
0-01-- 1
00--1- 1
0-0-1- 1
00---1 1
0-0--1 1
.names e f h k m n [6274]
011000 1
.names n_n694 [281] [6259] [6260] [6264] [6265] [6274] [6283]
-1----- 1
--11--- 1
----11- 1
1-----1 1
.names [253] [271] [272] [274] [275] [276] [277] [278] [6284]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names c d h j k m n [6288]
1-10000 1
-110000 1
.names c d g h j k m n [6292]
--00--10 1
0--10001 1
-0-10001 1
.names a b c m n [6293]
-0001 1
00-10 1
.names c e f [186] [6288] [6293] [6297]
---1-- 1
-----1 1
--1-1- 1
11--1- 1
00--1- 1
.names c d g h [312] [163] [180] [6292] [6298]
-----1-- 1
------1- 1
-------1 1
0-111--- 1
-0111--- 1
.names n_n2060 [524] [525] [526] [527] [5969] [6172] [6173] [6302]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names n_n2040 [6099] [6100] [6101] [6102] [6103] [6297] [6298] [6303]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names d e f j k l [6308]
000011 1
.names a b c g h i m n [6309]
01110010 1
.names f g h l m n [6311]
001100 1
.names c d e i j k [6312]
110000 1
.names c d f g h i [6313]
000011 1
.names c d f g h i [6314]
000000 1
.names e f g h i j [6315]
000100 1
.names [415] [370] [6311] [6312] [6313] [6315] [6318]
--11-- 1
1---1- 1
-1---1 1
.names [370] [308] [5634] [5636] [5638] [5639] [5641] [5642] [6319]
1-1----- 1
-1-1---- 1
----11-- 1
------11 1
.names [370] [382] [5643] [5644] [5658] [5659] [5660] [5661] [6320]
-11----- 1
1--1---- 1
----11-- 1
------11 1
.names [319] [5772] [5773] [5774] [6318] [6319] [6324]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.end