.model top
.inputs i_40_ i_30_ i_20_ i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_27_ i_14_ i_3_ \
i_39_ i_28_ i_13_ i_4_ i_25_ i_12_ i_1_ i_26_ i_11_ i_2_ i_23_ i_18_ i_24_ \
i_17_ i_0_ i_21_ i_16_ i_22_ i_15_ i_32_ i_31_ i_34_ i_33_ i_19_ i_36_ i_35_ \
i_38_ i_29_ i_37_
.outputs o_1_ o_19_ o_2_ o_0_ o_29_ o_25_ o_12_ o_26_ o_11_ o_27_ o_14_ o_28_ \
o_13_ o_34_ o_21_ o_16_ o_33_ o_22_ o_15_ o_32_ o_23_ o_18_ o_31_ o_24_ o_17_ \
o_30_ o_20_ o_10_ o_9_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_
.names n_n1137 n_n1135 [6748] [6755] [6758] o_1_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_6_ [1874] [1875] [6769] [6770] o_19_
---1- 1
----1 1
11--- 1
1-1-- 1
.names n_n1163 n_n1164 [1821] [6805] [6810] o_2_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1078 [6925] [6926] [6928] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1978 n_n1935 n_n1965 n_n1993 [6937] o_29_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1603 [223] [6988] o_25_
1-- 1
-1- 1
--1 1
.names i_38_ i_37_ [324] [77] [6992] o_12_
111-1 1
00-11 1
.names n_n1952 n_n1617 n_n1951 [7002] [7003] o_26_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1619] [1626] [1627] [7022] o_11_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1611 [7024] [7039] [7040] o_27_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_13_ [324] [225] n_n975 o_14_
--1- 1
11-1 1
.names n_n1987 n_n1971 n_n1908 n_n1907 o_28_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_39_ i_38_ [225] n_n1074 n_n864 o_13_
--1-- 1
00-11 1
.names n_n1711 n_n1713 n_n1715 [1524] [7093] o_34_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ [1505] [1509] [1510] [7111] o_21_
-1--- 1
----1 1
0-1-- 1
0--1- 1
.names [1496] [1500] [1501] [7120] o_16_
1--- 1
-1-- 1
--1- 1
---1 1
.names [122] n_n1672 n_n1670 [1408] [7187] o_33_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1530 n_n1531 [7221] [7222] o_22_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_33_ o_15_
11 1
.names i_34_ i_36_ i_35_ [88] n_n1005 o_32_
00111 1
.names n_n1552 [1355] [7235] [7238] [7273] o_23_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1444 n_n1445 n_n1446 n_n1447 [7343] o_18_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1229] [7357] [7358] o_31_
1-- 1
-1- 1
--1 1
.names [223] n_n1572 [7383] [7384] [7387] o_24_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1409 [1205] [7393] [7413] [7448] o_17_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1123] [7454] [7455] [7461] [7462] o_30_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1486 [1104] [1105] [7478] [7507] o_20_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1384 [1031] [7519] o_10_
1-- 1
-1- 1
--1 1
.names [7525] [7526] [7527] [7528] o_9_
1--- 1
-1-- 1
--1- 1
---1 1
.names [7543] [7544] [7545] [7549] o_7_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n883 n_n966 n_n1012 [7550] o_8_
---1 1
111- 1
.names n_n1269 [7639] o_5_
1- 1
-1 1
.names i_40_ [754] [7675] [7682] [7683] o_6_
--1-- 1
---1- 1
----1 1
01--- 1
.names n_n1203 n_n1202 [7739] [7763] [7766] o_3_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1232 n_n1242 [7793] [7794] [7823] o_4_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1933] [1934] [1935] [1936] n_n1137
1--- 1
-1-- 1
--1- 1
---1 1
.names i_38_ i_37_ n_n709
00 1
.names n_n1072 n_n1073 n_n1074 [73] [670] n_n1159
11101 1
.names [363] [1922] [1924] [1925] [1926] n_n1138
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names i_40_ i_39_ i_38_ [66]
11- 1
-10 1
.names i_7_ i_33_ n_n883 [503] [145]
11-- 1
--11 1
.names i_32_ i_34_ i_33_ i_36_ i_35_ [324]
00111 1
.names i_32_ i_34_ i_33_ n_n560 [363]
0011 1
.names i_17_ i_16_ [98] [522] [544]
1-1- 1
-11- 1
1--1 1
-1-1 1
.names i_40_ i_39_ i_38_ [543]
01- 1
-10 1
.names i_39_ i_38_ i_37_ n_n1055
001 1
.names i_36_ i_38_ i_37_ n_n985
001 1
.names i_34_ i_36_ i_35_ n_n979
001 1
.names i_40_ i_39_ n_n1008
00 1
.names i_7_ i_3_ i_4_ n_n842
001 1
.names i_1_ i_2_ i_0_ n_n1067
001 1
.names i_39_ i_38_ i_37_ n_n982
010 1
.names i_39_ i_38_ i_37_ n_n990
100 1
.names i_40_ i_7_ i_32_ i_33_ [88]
0001 1
.names i_40_ i_39_ i_38_ i_37_ [330]
1101 1
.names [1860] [1862] [1863] [6775] [6776] n_n1163
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1852] [1853] [1854] [1855] n_n1164
1--- 1
-1-- 1
--1- 1
---1 1
.names i_21_ i_15_ [48]
01 1
.names i_21_ [380] [1843] [72]
--1 1
01- 1
.names [84] [709] [836] [1836] [6798] [247]
---1- 1
1-1-- 1
-1--1 1
.names i_23_ i_24_ i_22_ i_19_ [491]
1111 1
.names i_40_ i_39_ i_38_ [549]
1-0 1
-10 1
.names i_40_ i_39_ i_38_ n_n978
100 1
.names i_40_ i_39_ i_38_ n_n883
101 1
.names i_34_ i_36_ i_35_ n_n998
100 1
.names i_40_ i_39_ n_n1021
01 1
.names i_7_ i_5_ i_13_ n_n330
001 1
.names i_40_ i_39_ i_38_ n_n969
000 1
.names i_40_ i_39_ i_38_ n_n973
110 1
.names i_15_ i_32_ i_33_ n_n158
101 1
.names n_n1081 n_n1080 [1789] [1790] [6914] n_n1078
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_12_ i_11_ [35]
001- 1
00-1 1
.names i_40_ i_36_ i_35_ i_38_ i_37_ [95]
01101 1
.names i_40_ i_39_ i_38_ i_37_ n_n469
0110 1
.names n_n799 n_n1012 [76] [6834] n_n1978
1111 1
.names [76] [509] [6834] n_n1935
111 1
.names n_n799 n_n1012 [76] [6862] n_n1965
1111 1
.names i_34_ i_36_ i_35_ [88] n_n795 n_n1993
01111 1
.names [76] [509] [6862] n_n1936
111 1
.names i_24_ i_32_ i_33_ [6789] [52]
1011 1
.names i_39_ i_38_ i_37_ [88] [6938] n_n2581
00011 1
.names i_38_ n_n842 n_n865 n_n1074 n_n843 n_n1987
11111 1
.names i_40_ i_39_ i_38_ [79] [6895] n_n1971
00111 1
.names n_n1611 n_n1580 [185] [6964] n_n1603
1--- 1
-1-- 1
--1- 1
---1 1
.names [88] n_n1986 n_n1002 n_n795 [1666] [173]
-1--- 1
----1 1
1-11- 1
.names n_n997 n_n977 n_n793 n_n1048 n_n1047 [181]
1-111 1
-1111 1
.names [6972] [6973] [6981] [6982] [223]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_0_ n_n685
010 1
.names i_1_ n_n926 [314] n_n2836
111 1
.names i_1_ i_0_ n_n883 n_n970 [79] n_n1990
11111 1
.names i_4_ n_n971 n_n1072 [350] n_n1952
1111 1
.names n_n1992 [238] [1643] [6995] [6996] n_n1617
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_0_ n_n971 n_n1072 [79] n_n1951
11111 1
.names i_7_ i_3_ i_2_ i_0_ n_n1074 [555]
01-11 1
0-111 1
.names i_39_ i_36_ i_38_ i_37_ n_n926
0001 1
.names i_34_ i_36_ i_35_ n_n861 [325] n_n2213
10011 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [92]
11010 1
.names i_32_ i_31_ i_33_ i_35_ [422]
0010 1
.names i_7_ i_5_ i_12_ i_11_ i_15_ [470]
00011 1
.names i_40_ i_39_ i_38_ i_37_ [556]
101- 1
-010 1
.names [329] [80] [6947] n_n1928
111 1
.names i_23_ [323] [87] [50] n_n1969
0111 1
.names i_22_ n_n833 [50] [82] [175]
0111 1
.names i_24_ [50] [54] [82] [240]
0111 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [323]
01010 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [559]
10001 1
00000 1
.names i_7_ i_33_ n_n968 n_n1074 [59] [225]
11--- 1
--111 1
.names n_n842 n_n966 n_n1073 n_n843 [373] n_n1908
11111 1
.names n_n842 n_n1011 n_n966 n_n1073 n_n843 n_n1907
11111 1
.names i_39_ i_38_ n_n1011
00 1
.names i_5_ i_32_ i_33_ n_n980
101 1
.names i_5_ i_0_ i_32_ n_n1006
100 1
.names i_15_ i_32_ i_31_ n_n989
000 1
.names i_34_ i_33_ i_36_ n_n983
010 1
.names n_n1717 [1557] [1567] [7062] [7070] n_n1711
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1548] [1549] [1550] [1551] [1552] n_n1713
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1538] [1542] [7084] [7085] n_n1715
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_39_ i_38_ i_37_ [445]
0010 1
.names i_36_ i_35_ i_37_ n_n865
111 1
.names i_7_ i_5_ [47]
00 1
.names i_7_ i_34_ [453]
00 1
.names i_36_ i_35_ i_37_ n_n971
100 1
.names i_39_ i_38_ i_37_ n_n1005
011 1
.names i_39_ i_38_ i_37_ n_n997
111 1
.names i_39_ i_38_ i_37_ n_n975
000 1
.names i_40_ i_38_ n_n880
10 1
.names o_15_ n_n966 [346] n_n1073 [509] [122]
1---- 1
-1--1 1
-111- 1
.names n_n709 [301] [780] [1390] [1392] n_n1530
-1--- 1
---1- 1
----1 1
1-1-- 1
.names [1383] [1384] [1385] [1386] [1387] n_n1531
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_34_ i_33_ i_36_ i_35_ [49]
00100 1
.names i_34_ i_33_ i_36_ n_n975 n_n668 [251]
01011 1
.names i_36_ i_35_ i_38_ i_37_ n_n1074 [335]
11111 1
.names i_9_ i_5_ i_17_ i_16_ i_32_ [567]
----1 1
010-- 1
01-0- 1
.names i_32_ i_33_ i_35_ n_n874
010 1
.names i_32_ i_34_ i_33_ n_n966
011 1
.names i_36_ i_35_ i_38_ n_n862
001 1
.names [1364] [1366] [1367] [7228] n_n1548
1--- 1
-1-- 1
--1- 1
---1 1
.names [1328] [1331] [1332] [1333] [7259] n_n1552
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [569]
1001- 1
1-010 1
.names n_n1450 [7286] [7287] [7299] [7300] n_n1444
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1453 [1272] [1275] [7322] [7329] n_n1445
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [177] [1254] [1255] [1257] [7335] n_n1446
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1245] [7340] [7341] n_n1447
1-- 1
-1- 1
--1 1
.names i_39_ i_38_ [346]
01 1
.names i_24_ [371] [87] [50] n_n1986
0111 1
.names i_24_ [87] [50] [54] [245]
0111 1
.names i_40_ i_39_ i_36_ i_38_ [371]
1000 1
.names n_n1417 [7418] [7419] [7430] [7431] n_n1409
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_36_ i_35_ i_37_ n_n968
010 1
.names i_7_ i_5_ i_11_ i_21_ i_15_ [365]
00101 1
.names i_40_ i_39_ i_38_ [572]
011 1
000 1
.names n_n1492 n_n1493 [1073] [7493] n_n1486
1--- 1
-1-- 1
--1- 1
---1 1
.names i_36_ i_38_ i_37_ [85] [6821] [182]
10011 1
.names i_34_ i_33_ i_35_ n_n668 [838] [301]
01111 1
.names i_9_ i_17_ i_16_ [574]
00- 1
0-0 1
-00 1
.names [732] [1044] [1046] [7509] [7511] n_n1384
-1--- 1
--1-1 1
1--11 1
.names n_n1055 [347] [407] n_n1048 n_n1047 n_n2342
11111 1
.names n_n1055 [407] n_n1048 n_n1047 [6787] n_n2687
11111 1
.names i_23_ i_24_ i_22_ n_n411
111 1
.names n_n985 [202] n_n1066 [7121] [7122] n_n2369
10111 1
.names i_9_ i_5_ i_11_ i_19_ [1833] [57]
----1 1
1011- 1
.names i_39_ i_38_ i_37_ n_n1048 n_n1047 [84]
00111 1
.names i_21_ i_15_ n_n978 n_n1074 [6731] [512]
01111 1
.names i_9_ i_5_ i_12_ i_11_ i_15_ [579]
10011 1
10101 1
.names i_40_ i_39_ i_38_ n_n1072
111 1
.names i_40_ i_39_ i_38_ [120]
111 1
000 1
.names n_n1074 n_n949 n_n947 [7128] [583]
11-1 1
1-11 1
.names i_5_ i_12_ i_11_ i_15_ [581]
01-1 1
0-11 1
.names i_36_ i_38_ i_37_ [45] [7531] [146]
10011 1
.names i_35_ i_38_ i_37_ n_n698
101 1
.names n_n1283 n_n1272 [7592] [7614] [7615] n_n1269
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_34_ i_33_ i_36_ [325] [7626] [131]
01111 1
.names i_7_ i_32_ i_34_ i_33_ i_35_ [313]
00011 1
.names i_40_ i_36_ i_35_ i_38_ [402]
1101 1
.names i_40_ i_39_ i_37_ [495]
110 1
.names i_7_ n_n1074 [318] [6828] [7631] [584]
-1-1- 1
011-- 1
01--1 1
.names [620] [883] [884] [885] [7640] n_n1330
-1--- 1
--1-- 1
---1- 1
1---1 1
.names [130] [877] [880] [881] [7649] n_n1332
1---- 1
-1--- 1
--1-1 1
---11 1
.names i_40_ i_38_ i_37_ n_n866
101 1
.names i_38_ i_37_ [316]
10 1
.names n_n848 n_n945 n_n853 n_n850 [587]
111- 1
11-1 1
.names i_32_ i_34_ i_33_ i_35_ [45]
0010 1
.names i_28_ i_29_ [202]
1- 1
-1 1
.names i_40_ i_5_ i_39_ i_36_ i_38_ [406]
10001 1
.names [147] [7800] [7801] [7813] n_n1232
1--- 1
-1-- 1
--1- 1
---1 1
.names i_39_ i_38_ i_37_ n_n1047 n_n775
0011 1
.names i_34_ i_36_ i_35_ [400] n_n785
0001 1
.names [128] [129] n_n1242
1- 1
-1 1
.names i_9_ i_7_ i_5_ i_12_ [469]
1001 1
.names i_40_ i_39_ i_37_ n_n528
100 1
.names i_40_ i_39_ i_38_ n_n977
011 1
.names i_34_ i_35_ i_37_ n_n888
010 1
.names n_n330 n_n989 n_n1066 [6887] [227]
1111 1
.names i_40_ i_39_ i_38_ i_37_ [594]
1-01 1
-110 1
.names i_13_ n_n969 [47] n_n1064 n_n700 [593]
011-1 1
1-111 1
.names i_39_ i_37_ n_n1047 [368] [6850] n_n2793
10111 1
.names n_n1048 n_n1047 [368] [6859] n_n2456
1111 1
.names i_40_ i_39_ i_38_ i_37_ [68]
1-0- 1
-1-0 1
.names n_n1047 [368] [837] [6850] [300]
1111 1
.names n_n2456 [956] [957] [7580] n_n1283
1--- 1
-1-- 1
--1- 1
---1 1
.names i_39_ i_36_ i_38_ i_37_ n_n833
1010 1
.names i_22_ n_n833 [87] [50] [176]
0111 1
.names i_7_ i_5_ i_12_ i_11_ i_15_ [597]
001-1 1
00-11 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [595]
0000- 1
-0001 1
.names [176] [978] [979] [980] [981] n_n1280
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_36_ i_38_ i_37_ n_n1052
000 1
.names i_40_ i_39_ n_n1064
10 1
.names i_36_ i_38_ i_37_ [314] [464] [148]
00011 1
.names [408] n_n560 [76] [236]
111 1
.names i_7_ i_5_ i_12_ i_21_ i_15_ [329]
00101 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [357]
00010 1
.names i_7_ i_5_ i_13_ i_12_ i_11_ [408]
00100 1
.names i_40_ i_39_ i_38_ i_37_ [441]
1011 1
.names i_22_ [365] [329] [50] [82] [601]
-1-1- 1
--11- 1
0--11 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [599]
0000- 1
-1010 1
.names n_n1280 [7570] [7571] [7574] n_n1272
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_39_ i_38_ n_n799
010 1
.names i_7_ i_32_ i_33_ n_n710 n_n715 [398]
00111 1
.names i_24_ i_15_ [47] n_n968 n_n1074 [603]
1-111 1
-0111 1
.names i_40_ i_39_ i_38_ i_37_ [602]
1-01 1
-110 1
-000 1
.names i_7_ i_32_ i_33_ n_n861
001 1
.names i_9_ i_7_ i_5_ n_n793
000 1
.names i_7_ i_5_ i_15_ [420]
000 1
.names i_12_ i_11_ [347]
10 1
.names i_5_ i_17_ i_16_ i_15_ [407]
0111 1
.names i_32_ i_31_ i_33_ n_n1048
001 1
.names i_17_ i_16_ [98] [522] [109]
-11- 1
1--1 1
-1-1 1
.names i_7_ i_0_ i_32_ i_34_ i_33_ [350]
01001 1
.names i_4_ n_n883 [350] n_n970 n_n1992
1111 1
.names i_12_ i_11_ i_18_ i_19_ [607]
1-0- 1
-10- 1
-1-0 1
.names i_36_ i_35_ n_n964
00 1
.names i_36_ i_35_ i_37_ n_n1073
000 1
.names i_34_ i_35_ [489]
01 1
.names i_34_ i_36_ i_35_ n_n1002
011 1
.names i_39_ i_38_ n_n960
11 1
.names i_39_ i_38_ i_37_ n_n1001
110 1
.names i_36_ i_35_ i_38_ n_n993
000 1
.names i_32_ i_33_ [46]
01 1
.names i_17_ i_32_ i_31_ n_n933
100 1
.names i_34_ i_33_ i_35_ n_n1066
010 1
.names i_40_ i_39_ i_38_ n_n967
001 1
.names i_32_ i_34_ i_33_ n_n1074
001 1
.names i_17_ i_32_ i_33_ n_n642
101 1
.names i_34_ i_36_ i_35_ n_n1047
000 1
.names i_33_ i_36_ i_35_ n_n976
100 1
.names i_39_ i_38_ i_37_ n_n795
101 1
.names i_21_ i_22_ i_15_ n_n848
111 1
.names i_24_ i_32_ i_33_ n_n945
101 1
.names i_7_ i_5_ i_11_ n_n853
001 1
.names i_7_ i_5_ i_12_ i_15_ [87]
0011 1
.names i_31_ i_34_ i_33_ i_35_ [320]
0010 1
.names i_31_ i_34_ i_33_ i_35_ [7292] n_n535
00101 1
.names i_7_ i_32_ i_34_ i_33_ i_35_ [314]
00110 1
.names i_3_ i_4_ i_1_ i_2_ [471]
0000 1
.names i_5_ i_11_ i_15_ n_n949
011 1
.names i_36_ i_38_ i_37_ n_n1061
110 1
.names i_34_ i_33_ i_35_ n_n1023
011 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [359]
10001 1
.names i_5_ i_12_ i_15_ n_n947
011 1
.names i_7_ i_5_ i_11_ n_n527
000 1
.names i_4_ i_1_ i_0_ n_n710
001 1
.names i_40_ i_39_ i_38_ i_37_ [400]
1110 1
.names i_40_ i_39_ i_36_ i_38_ n_n462
1001 1
.names i_15_ i_32_ i_33_ n_n700
001 1
.names i_9_ i_5_ i_11_ n_n492
001 1
.names i_38_ i_37_ [100]
11 1
.names i_36_ i_38_ i_37_ n_n1065
111 1
.names i_9_ i_5_ i_12_ n_n488
001 1
.names i_32_ i_34_ i_33_ i_36_ i_35_ [77]
01100 1
.names i_36_ i_35_ i_37_ n_n1012
001 1
.names i_5_ i_15_ [378]
00 1
.names i_5_ i_13_ i_15_ n_n884
000 1
.names i_36_ i_35_ [326]
10 1
.names i_36_ i_35_ i_37_ n_n970
101 1
.names i_9_ i_5_ i_11_ n_n928
100 1
.names i_9_ i_7_ i_5_ n_n860
100 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ n_n560
00001 1
.names i_40_ i_39_ i_38_ i_37_ [60]
1001 1
0000 1
.names i_32_ i_31_ i_34_ i_33_ [76]
0001 1
.names i_5_ i_12_ i_17_ i_16_ i_15_ [513]
01001 1
.names n_n1066 [321] [7122] [7389] [7409] [610]
-1-1- 1
1-1-1 1
.names i_15_ n_n1074 [273] [6739] n_n1203
--1- 1
01-1 1
.names i_5_ i_39_ i_31_ [91] [7733] n_n1202
----1 1
0111- 1
.names i_17_ i_16_ [37]
1- 1
-1 1
.names i_40_ i_34_ i_36_ i_35_ [94]
1001 1
.names n_n848 n_n945 n_n853 n_n850 [106]
111- 1
11-1 1
.names i_32_ i_31_ i_34_ i_33_ i_35_ [321]
00010 1
.names i_3_ i_4_ i_32_ n_n1057
010 1
.names i_34_ i_33_ i_36_ n_n1056
011 1
.names i_12_ i_11_ [61]
1- 1
-1 1
.names i_7_ i_12_ i_11_ n_n629
000 1
.names i_1_ i_0_ [410]
01 1
.names i_32_ i_34_ i_33_ i_35_ [50]
0011 1
.names i_7_ i_5_ i_12_ i_11_ [315]
0000 1
.names i_34_ i_36_ i_35_ n_n991
010 1
.names i_24_ i_22_ i_32_ n_n428
110 1
.names i_1_ i_2_ i_0_ n_n843
011 1
.names i_21_ i_32_ i_33_ n_n791
001 1
.names i_34_ i_36_ i_35_ n_n947 [7399] n_n459
00111 1
.names i_5_ i_12_ i_11_ [6716] [399]
0001 1
.names i_34_ i_36_ i_35_ n_n907 [6716] n_n905
00111 1
.names i_40_ i_39_ i_38_ i_37_ [615]
100- 1
-110 1
-000 1
.names n_n560 [113] [1170] [1171] [7426] n_n1417
--1-- 1
---1- 1
11--- 1
1---1 1
.names i_17_ i_16_ i_15_ n_n488 [76] [113]
0-111 1
-0111 1
.names i_21_ i_22_ [330] n_n998 [46] [618]
0-111 1
-0111 1
.names i_12_ i_11_ n_n989 n_n1066 [321] [620]
--11- 1
0---1 1
-0--1 1
.names [35] n_n833 n_n848 [50] [7303] [130]
11111 1
.names i_34_ i_36_ i_35_ i_38_ i_37_ [501]
00101 1
.names i_34_ i_36_ i_35_ i_37_ [624]
01-1 1
0-11 1
.names i_32_ i_34_ i_33_ i_36_ i_35_ [91]
00100 1
.names i_16_ i_15_ [352]
01 1
.names i_32_ i_33_ i_36_ i_35_ [421]
0100 1
.names i_9_ i_5_ i_12_ i_11_ [627]
001- 1
00-1 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [625]
-000- 1
0-0-0 1
.names i_5_ i_12_ i_11_ i_15_ [36]
01-1 1
0-11 1
.names i_24_ n_n979 [46] n_n949 n_n947 [629]
0111- 1
011-1 1
.names i_22_ n_n979 [46] n_n949 n_n947 [628]
0111- 1
011-1 1
.names i_5_ i_12_ i_11_ i_15_ [633]
01-1 1
0-11 1
.names i_22_ n_n979 [46] n_n949 n_n947 [631]
0111- 1
011-1 1
.names n_n1001 n_n459 [7696] [7697] n_n1195
---1 1
11-- 1
1-1- 1
.names i_36_ i_38_ i_37_ [45] [7394] [154]
11011 1
.names i_40_ i_39_ i_32_ i_34_ i_33_ [427]
01001 1
.names i_9_ i_5_ i_12_ i_15_ [635]
001- 1
00-0 1
.names i_39_ i_38_ i_37_ [65]
110 1
000 1
.names i_5_ [1913] [1915] [1916] [6734] n_n1135
-1--- 1
----1 1
0-1-- 1
0--1- 1
.names i_34_ i_33_ i_35_ n_n1053
110 1
.names i_36_ i_38_ i_37_ n_n582
011 1
.names i_7_ i_5_ i_12_ n_n850
001 1
.names i_9_ i_7_ i_5_ i_12_ i_15_ [367]
00011 1
.names i_9_ i_7_ i_5_ i_11_ i_15_ [368]
00011 1
.names i_17_ n_n1055 n_n1048 n_n1047 [368] n_n2785
01111 1
.names i_17_ n_n1055 n_n1048 n_n1047 [367] n_n1977
01111 1
.names i_18_ n_n791 [367] [368] [645]
011- 1
01-1 1
.names i_16_ n_n1048 [367] [368] [644]
011- 1
01-1 1
.names i_7_ i_5_ i_12_ i_11_ i_15_ [486]
001-1 1
00-11 1
.names i_17_ i_16_ n_n1048 [87] [82] [648]
0011- 1
001-1 1
.names n_n1055 n_n1072 n_n1048 n_n1073 n_n1047 [647]
-111- 1
1-1-1 1
.names n_n1055 n_n1072 n_n1073 n_n1047 [646]
-11- 1
1--1 1
.names i_39_ i_36_ i_38_ n_n923
101 1
.names i_17_ i_16_ i_15_ n_n1068
111 1
.names i_9_ i_5_ i_11_ i_16_ i_15_ [517]
00101 1
.names i_9_ i_5_ i_12_ i_11_ [655]
001- 1
00-1 1
.names i_36_ i_35_ i_37_ n_n864
110 1
.names i_7_ i_32_ i_34_ i_33_ [79]
0001 1
.names i_4_ [350] n_n1074 [6828] [117]
01-- 1
--11 1
.names i_2_ n_n926 n_n833 [314] [238]
11-1 1
1-11 1
.names i_2_ i_0_ i_32_ n_n458
110 1
.names i_16_ i_32_ i_33_ n_n643
101 1
.names [176] [1681] [1682] n_n1611
1-- 1
-1- 1
--1 1
.names i_39_ i_36_ i_38_ n_n836
000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [394]
10111 1
.names i_32_ n_n1066 [318] [7396] [7397] [661]
011-- 1
01-1- 1
01--1 1
.names i_40_ i_39_ i_38_ i_37_ [660]
100- 1
-110 1
.names i_40_ i_39_ i_38_ n_n1012 [366]
0101 1
.names i_32_ i_33_ [43] [53] [7772] [662]
---11 1
011-- 1
.names i_39_ i_36_ i_38_ i_37_ [54]
1010 1
0000 1
.names i_32_ i_34_ i_33_ i_35_ [80]
0110 1
.names i_40_ i_39_ i_38_ i_37_ [325]
1100 1
.names i_17_ i_16_ i_32_ i_33_ [7783] [463]
11011 1
.names i_40_ i_39_ i_38_ [666]
0-1 1
-11 1
.names i_40_ i_39_ i_38_ [665]
0-0 1
-10 1
.names i_5_ i_35_ i_38_ i_37_ [664]
0-01 1
-101 1
.names i_40_ i_39_ i_38_ n_n1074 n_n864 [153]
01111 1
.names i_40_ i_5_ i_39_ i_38_ [458]
1001 1
.names i_30_ i_28_ i_29_ [669]
0-1 1
-11 1
1-0 1
.names i_30_ i_28_ i_29_ [668]
0-1 1
-11 1
1-0 1
-00 1
.names i_14_ i_12_ i_11_ [73]
0-- 1
-0- 1
--0 1
.names i_9_ i_17_ i_16_ i_15_ [670]
11-1 1
1-11 1
-111 1
.names i_40_ i_39_ i_38_ i_37_ [671]
-11- 1
1-0- 1
-1-0 1
.names n_n1047 [367] [671] [6858] n_n1118
1111 1
.names n_n1048 n_n1047 [367] [6859] n_n2795
1111 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [672]
1000- 1
-1010 1
-0000 1
.names n_n1118 n_n2795 [1772] [1773] n_n1090
1--- 1
-1-- 1
--1- 1
---1 1
.names i_17_ i_16_ [110]
0- 1
-0 1
.names i_11_ i_18_ i_15_ n_n859
111 1
.names i_17_ i_16_ i_32_ i_33_ [351]
1101 1
.names i_9_ i_17_ i_16_ [674]
00- 1
0-0 1
-00 1
.names [1088] [1089] [1090] [1091] [1092] n_n1492
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_40_ i_38_ i_37_ [403]
001 1
.names i_3_ i_1_ i_0_ i_32_ n_n1066 [69]
1-101 1
-1101 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [678]
10111 1
11110 1
.names i_9_ i_5_ i_12_ i_15_ [484]
1011 1
.names i_24_ [50] [82] [710] n_n1113
0111 1
.names n_n330 n_n926 n_n989 n_n1066 [244]
1111 1
.names n_n1090 [6871] [6872] [6877] [6878] n_n1081
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1986 [245] [1751] [1752] n_n1088
1--- 1
-1-- 1
--1- 1
---1 1
.names i_3_ i_1_ i_2_ i_0_ [464]
0011 1
.names i_30_ i_7_ i_5_ i_28_ i_29_ [689]
10001 1
00010 1
.names n_n1088 [6893] [6894] [6902] [6903] n_n1080
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_17_ i_16_ n_n1048 [87] [82] [690]
0011- 1
001-1 1
.names i_16_ i_32_ i_31_ n_n927
100 1
.names i_7_ i_5_ i_11_ i_15_ [82]
0011 1
.names i_34_ i_35_ i_37_ n_n715
011 1
.names i_14_ i_11_ [38] [1087] [692]
---1 1
0-1- 1
-01- 1
.names i_12_ [692] [1084] [1085] [7488] n_n1493
0-1-- 1
0--1- 1
-1--1 1
.names i_30_ i_7_ i_5_ i_28_ i_29_ [102]
-0011 1
100-0 1
-0000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [119]
110-0 1
-1000 1
.names i_40_ i_39_ i_38_ i_37_ [697]
1001 1
1100 1
.names [244] [858] [859] [860] [861] n_n1328
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_40_ i_39_ i_36_ i_35_ i_38_ [509]
10001 1
.names i_40_ i_39_ i_38_ i_37_ [342]
1001 1
.names i_5_ i_12_ i_11_ i_18_ i_15_ [380]
01-11 1
0-111 1
.names i_40_ i_39_ i_38_ i_37_ [702]
0110 1
0000 1
.names i_7_ i_5_ i_12_ i_11_ [701]
001- 1
00-1 1
.names i_7_ i_32_ [376]
00 1
.names i_7_ i_5_ i_32_ n_n668
010 1
.names i_40_ i_36_ i_35_ i_38_ [401]
1000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [703]
-1010 1
00-00 1
.names i_12_ i_11_ i_17_ [407] [98] [709]
--1-1 1
01-1- 1
10-1- 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [710]
1000- 1
-1010 1
-0000 1
.names i_32_ i_34_ i_33_ [6897] [429]
0011 1
.names i_40_ i_39_ i_38_ i_37_ [326] [711]
10111 1
11101 1
.names i_39_ i_36_ i_38_ i_37_ [713]
001- 1
100- 1
-011 1
-000 1
.names i_7_ i_32_ i_34_ i_33_ i_35_ [85]
00010 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [718]
0-01- 1
-001- 1
-100- 1
--011 1
--000 1
.names i_9_ i_17_ i_16_ [717]
00- 1
0-0 1
-00 1
.names i_17_ i_16_ n_n1072 n_n1073 n_n560 [719]
1---1 1
-1--1 1
1-11- 1
-111- 1
.names [130] [719] [1278] [1279] [7308] n_n1453
1---- 1
--1-- 1
---1- 1
-1--1 1
.names i_40_ [1293] [1294] [1298] [1299] n_n1450
-1--- 1
--1-- 1
0--1- 1
0---1 1
.names i_16_ [320] [82] [7288] [7289] [726]
-1-1- 1
-1--1 1
111-- 1
.names i_40_ i_39_ i_36_ i_35_ i_38_ [724]
1010- 1
1-101 1
.names n_n973 [35] n_n848 [77] [532]
1111 1
.names i_34_ i_33_ i_35_ [359] [7124] [473]
01111 1
.names [181] [937] [938] [939] [940] n_n1278
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [420] n_n1048 n_n1047 n_n527 [6884] [735]
111-- 1
-111- 1
-11-1 1
.names i_36_ i_38_ i_37_ n_n693
100 1
.names i_36_ i_35_ i_37_ n_n1072 [362]
1001 1
.names i_9_ i_14_ [351] [38] [738] [737]
--1-1 1
10-1- 1
.names i_9_ i_5_ i_12_ i_15_ [380] [739]
----1 1
1011- 1
.names i_39_ i_38_ i_37_ [740]
111 1
001 1
010 1
.names [1907] [1908] [1909] [6740] n_n1134
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_39_ i_38_ i_37_ n_n964 [741]
11011 1
00101 1
.names i_40_ i_39_ i_38_ i_37_ [124]
1-00 1
-100 1
.names i_40_ i_36_ i_35_ i_38_ i_37_ [745]
1101- 1
0-101 1
.names i_12_ i_11_ i_15_ [166]
0-- 1
-0- 1
--0 1
.names n_n883 n_n888 n_n861 n_n1002 [7330] [177]
111-- 1
--111 1
.names i_30_ i_28_ i_29_ [458] [7155] [140]
00011 1
.names i_21_ i_22_ [36] [80] [7145] [156]
11111 1
.names i_7_ i_5_ i_29_ [494]
001 1
.names [47] n_n795 [757] [843] [845] [754]
---1- 1
-1--1 1
111-- 1
.names i_5_ i_12_ i_11_ n_n907
000 1
.names n_n969 n_n865 [453] [400] [7099] [759]
---11 1
111-- 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [761]
00011 1
00000 1
.names n_n1047 [494] [521] [7279] [7281] [760]
--1-1 1
11-1- 1
.names i_40_ i_39_ i_36_ i_37_ [763]
1001 1
1100 1
.names i_40_ i_10_ i_27_ i_11_ i_38_ [768]
00--1 1
0-0-1 1
1--00 1
.names i_34_ i_36_ i_35_ i_37_ [46] [770]
01111 1
00101 1
10001 1
.names n_n973 [770] [7158] [7159] [7160] n_n1674
--1-- 1
---1- 1
----1 1
11--- 1
.names i_23_ n_n978 n_n1074 [6731] [348]
0111 1
.names i_16_ n_n1048 [367] [368] [771]
011- 1
01-1 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [101]
00000 1
.names i_40_ i_39_ i_38_ [772]
-11 1
1-0 1
.names i_40_ i_38_ [373]
00 1
.names n_n2836 [238] [7366] [7368] [7369] n_n1575
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n978 [1494] [1495] [6907] [774]
-1-- 1
--1- 1
1--1 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [777]
1101- 1
-0001 1
.names n_n933 n_n1066 n_n928 n_n927 [1485] [776]
111-- 1
-111- 1
-1-11 1
.names [1489] [7129] [7137] [7138] [7139] n_n1672
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_4_ i_1_ [58]
0- 1
-0 1
.names [350] n_n1074 [58] [6828] [6897] [778]
1-1-- 1
-1-1- 1
-1--1 1
.names n_n1575 [1213] [7364] [7365] [7374] n_n1572
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_31_ [49] [781] [7200] [7201] [780]
011-- 1
01-1- 1
01--1 1
.names i_40_ i_39_ i_35_ i_38_ [779]
0111 1
1001 1
.names i_24_ i_22_ i_32_ i_34_ i_33_ [476]
10001 1
.names n_n1052 n_n1023 n_n1065 n_n1057 n_n1053 [783]
-111- 1
1--11 1
.names i_40_ i_39_ i_38_ n_n998 n_n888 [782]
1101- 1
000-1 1
.names i_14_ i_12_ n_n926 [1463] [786]
---1 1
0-1- 1
-01- 1
.names [156] [786] [1459] [1461] [7151] n_n1679
1---- 1
--1-- 1
---1- 1
-1--1 1
.names i_23_ [323] [50] [82] [157]
0111 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [787]
10001 1
00000 1
.names n_n1118 [1675] [6950] [6951] n_n1580
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_39_ i_38_ [59]
001 1
110 1
.names i_9_ i_12_ i_11_ i_16_ i_15_ [789]
11--1 1
--111 1
.names i_40_ i_39_ i_38_ [788]
001 1
110 1
.names [79] [85] [792] [1071] [1072] [791]
-11-- 1
1--1- 1
1---1 1
.names n_n685 n_n874 n_n1052 n_n1074 n_n923 [790]
111-- 1
1--11 1
.names i_39_ i_38_ i_37_ [794]
1-- 1
-1- 1
--0 1
.names [37] [1574] [1576] [1577] [1578] n_n1717
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names n_n1674 [1430] [1443] [7171] [7175] n_n1670
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1969 n_n2795 [1669] [1670] [6956] [185]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_9_ i_12_ i_11_ i_16_ [806]
-00- 1
0--0 1
.names i_32_ i_34_ i_33_ i_35_ i_37_ [503]
00110 1
.names i_40_ i_39_ i_38_ [807]
1-0 1
-10 1
.names i_9_ i_5_ i_12_ i_11_ i_15_ [814]
100-- 1
10-0- 1
10--0 1
.names i_9_ i_14_ [450]
10 1
.names i_9_ i_14_ i_12_ i_11_ i_16_ [816]
10--- 1
1--0- 1
--0-1 1
---01 1
.names i_9_ i_32_ i_31_ i_34_ i_33_ [452]
10001 1
.names i_39_ i_36_ i_35_ i_37_ [465]
1000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [821]
10001 1
00000 1
.names i_24_ n_n968 n_n1074 [7452] [475]
1111 1
.names i_40_ i_39_ i_38_ [822]
011 1
000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [825]
01010 1
00000 1
.names i_17_ i_16_ i_32_ i_33_ [38]
1-01 1
-101 1
.names i_12_ i_11_ [39]
01 1
10 1
.names i_12_ i_11_ i_18_ i_15_ i_19_ [40]
1-11- 1
-1-11 1
.names i_9_ i_5_ i_12_ i_11_ [42]
101- 1
10-1 1
.names i_7_ i_5_ i_28_ i_29_ [43]
0011 1
0000 1
.names i_7_ i_5_ i_12_ i_11_ i_18_ [412]
001-1 1
00-11 1
.names i_9_ i_7_ i_5_ i_12_ [412] [44]
----1 1
1001- 1
.names i_30_ i_29_ [53]
01 1
10 1
.names i_9_ i_17_ i_16_ [55]
00- 1
-00 1
.names i_40_ i_39_ i_38_ i_37_ [304]
0000 1
.names i_9_ i_5_ i_12_ i_11_ [63]
100- 1
10-0 1
.names i_1_ i_0_ [318]
11 1
.names i_21_ i_15_ i_19_ [492]
011 1
.names i_12_ i_21_ i_15_ i_19_ [40] [70]
-0--1 1
1011- 1
.names i_9_ i_5_ i_12_ i_11_ i_15_ [98]
10011 1
.names i_9_ i_5_ i_12_ i_11_ i_15_ [522]
10101 1
.names i_40_ i_39_ i_38_ i_37_ [121]
0-00 1
-000 1
.names i_32_ i_34_ i_33_ i_36_ i_35_ [397]
00110 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [830]
01010 1
00000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [829]
10001 1
00000 1
.names i_18_ [367] [368] [834] [833]
-1-- 1
--1- 1
0--1 1
.names i_18_ n_n791 [367] [368] [832]
011- 1
01-1 1
.names i_17_ i_16_ n_n1048 [87] [82] [831]
0011- 1
001-1 1
.names i_17_ i_16_ [98] [522] [836]
1-1- 1
-11- 1
1--1 1
.names i_40_ i_39_ i_38_ [837]
-11 1
1-0 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [838]
1000- 1
-1010 1
.names i_12_ i_11_ i_18_ i_15_ i_19_ [839]
1-11- 1
-111- 1
-1-11 1
.names i_24_ i_22_ n_n968 n_n1074 [7127] [417]
11111 1
.names i_24_ n_n968 n_n1074 [7510] [474]
1111 1
.names [114] [116] [7817] [483]
1-1 1
-11 1
.names i_40_ i_39_ i_38_ n_n1073 [79] [496]
01111 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ [521]
10011 1
.names i_40_ i_39_ i_38_ [548]
0-0 1
-00 1
.names [92] n_n1023 [359] [101] [578]
11-- 1
-11- 1
-1-1 1
.names i_7_ i_5_ i_12_ i_11_ i_15_ [577]
001-1 1
00-11 1
.names i_12_ i_11_ i_18_ i_15_ [609]
1-11 1
-111 1
.names i_21_ n_n859 [40] [1795] [608]
---1 1
01-- 1
0-1- 1
.names i_40_ i_34_ i_36_ i_35_ [613]
1001 1
1010 1
.names i_12_ i_11_ i_18_ i_15_ i_19_ [622]
1-11- 1
-111- 1
-1-11 1
.names i_40_ i_39_ i_38_ i_37_ [638]
11-0 1
1-00 1
-100 1
.names i_5_ i_12_ i_11_ i_15_ [650]
01-1 1
0-11 1
.names i_16_ [445] [45] [421] [7727] [654]
--1-1 1
01-1- 1
.names i_3_ i_4_ i_1_ i_2_ [677]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_3_ i_2_ i_0_ i_32_ [681]
1-10 1
-110 1
.names n_n859 [412] [492] [7815] [708]
-11- 1
1--1 1
.names i_39_ i_38_ i_37_ [716]
001 1
110 1
.names i_12_ i_11_ i_15_ n_n927 [7008] [729]
01--1 1
10--1 1
0111- 1
.names i_32_ [92] n_n1023 [359] [101] [732]
011-- 1
0-11- 1
0-1-1 1
.names i_14_ i_12_ i_11_ [738]
0-- 1
-0- 1
--0 1
.names i_40_ i_39_ i_38_ [743]
11- 1
1-0 1
-10 1
.names i_30_ i_7_ i_5_ i_28_ i_29_ [747]
100-- 1
-001- 1
-00-1 1
.names i_30_ i_32_ i_31_ i_29_ n_n1066 [757]
00011 1
10001 1
.names i_30_ i_7_ i_5_ i_28_ i_29_ [765]
000-1 1
-0011 1
100-0 1
-0000 1
.names i_40_ i_39_ i_38_ i_37_ [767]
100- 1
10-0 1
.names i_9_ i_12_ i_11_ i_16_ i_15_ [781]
11--1 1
--111 1
.names i_40_ i_39_ i_38_ i_37_ [785]
11-0 1
-100 1
.names i_39_ i_36_ i_38_ i_37_ [792]
0001 1
1000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [797]
-1110 1
10111 1
.names i_9_ i_17_ i_16_ [818]
00- 1
0-0 1
-00 1
.names i_39_ i_38_ i_37_ [820]
001 1
110 1
.names i_40_ i_39_ i_38_ [828]
11- 1
-10 1
.names i_7_ i_5_ i_12_ i_11_ i_15_ [834]
001-1 1
00-11 1
.names n_n785 [463] [483] [108] [111] [56]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names [92] [469] n_n1023 [7006] [74]
1111 1
.names i_9_ i_7_ i_5_ [38] [7011] [108]
10011 1
.names n_n642 n_n860 n_n643 [7818] [7819] [111]
11-1- 1
-111- 1
-11-1 1
.names i_7_ i_5_ i_12_ i_11_ i_16_ [114]
00011 1
00101 1
.names i_9_ i_7_ i_5_ i_14_ i_12_ [116]
10001 1
.names [52] n_n860 [70] [708] [7816] [128]
1--11 1
111-1 1
.names [92] n_n1023 [412] [133] [7006] [129]
111-1 1
11-11 1
.names i_9_ i_7_ i_5_ i_11_ [133]
1001 1
.names i_31_ [91] [7806] [144]
111 1
.names i_7_ i_5_ [159] [160] [147]
001- 1
00-1 1
.names i_39_ [85] [7652] [150]
011 1
.names i_7_ i_5_ i_15_ n_n1047 [6728] [151]
00011 1
.names [161] [162] [7808] [7809] [159]
1--1 1
-1-1 1
--11 1
.names i_17_ i_16_ i_31_ [91] [160]
0011 1
.names i_40_ i_39_ i_36_ i_35_ i_38_ [161]
0-001 1
-0001 1
.names i_36_ i_35_ i_38_ i_37_ [162]
0011 1
.names i_34_ i_36_ i_35_ [6728] [7796] [167]
00011 1
.names i_40_ n_n998 n_n861 n_n795 [613] [168]
--111 1
0111- 1
.names i_39_ i_38_ i_37_ [88] n_n998 [169]
01011 1
.names i_39_ i_38_ i_37_ [88] n_n991 [170]
11111 1
.names i_7_ i_32_ i_33_ n_n469 n_n1002 [171]
00111 1
.names n_n979 n_n330 [602] n_n700 [188]
1111 1
.names [45] n_n462 [7019] [190]
111 1
.names n_n977 n_n861 n_n710 n_n715 [191]
1111 1
.names n_n998 n_n799 n_n861 n_n710 [192]
1111 1
.names n_n883 n_n861 n_n1002 n_n710 [193]
1111 1
.names [408] [80] [7777] [198]
111 1
.names [94] [315] [7779] [199]
111 1
.names [315] [7642] [7781] [200]
111 1
.names n_n1047 n_n700 [325] [7276] [201]
1111 1
.names i_40_ n_n985 [408] [50] [207] [203]
1---1 1
1111- 1
.names n_n1055 n_n1047 [351] [7783] [204]
1111 1
.names n_n998 n_n975 n_n861 n_n710 [207]
1111 1
.names i_40_ i_39_ i_38_ [79] [7767] [208]
11011 1
.names n_n998 n_n330 n_n795 n_n700 [209]
1111 1
.names i_39_ i_25_ [313] n_n693 [210]
0111 1
.names i_31_ [91] [7771] [211]
111 1
.names i_28_ i_29_ [45] [406] [217]
1-11 1
-111 1
.names [323] n_n874 [359] n_n884 [7760] [218]
11-1- 1
-111- 1
-11-1 1
.names i_32_ n_n1023 [403] [7397] [7750] [230]
0111- 1
011-1 1
.names i_40_ i_39_ i_38_ n_n1074 n_n864 [232]
10111 1
.names i_39_ i_1_ i_38_ i_37_ [77] [234]
01011 1
.names i_40_ i_39_ i_38_ n_n966 n_n1012 [235]
10011 1
.names i_40_ i_36_ i_37_ [7741] [7742] [243]
1111- 1
111-1 1
.names i_34_ i_33_ i_35_ n_n458 [403] [248]
01111 1
.names i_30_ n_n973 [45] [406] [7745] [249]
1-11- 1
-11-1 1
.names i_40_ i_39_ n_n979 [7227] [250]
0111 1
.names i_32_ i_34_ i_33_ [665] [6731] [260]
00111 1
.names i_32_ i_34_ i_33_ n_n1073 [666] [261]
01111 1
.names i_3_ i_4_ n_n1055 [77] [263]
1-11 1
-111 1
.names i_5_ i_31_ i_38_ i_37_ [91] [273]
011-1 1
01-01 1
.names n_n968 n_n960 n_n1074 [655] [7722] [275]
11111 1
.names n_n926 [45] [513] [276]
111 1
.names i_15_ n_n488 [654] [282] [277]
1--1 1
111- 1
.names [92] n_n874 n_n1068 [73] [278]
1110 1
.names [445] [421] [517] [279]
111 1
.names [92] n_n874 [73] [7726] [282]
1101 1
.names [45] n_n488 n_n923 [7717] [286]
1111 1
.names n_n979 n_n969 n_n949 n_n791 [288]
1111 1
.names n_n979 n_n1001 n_n949 [7406] [289]
1111 1
.names n_n998 n_n866 n_n977 n_n888 [650] [290]
11--1 1
--111 1
.names i_34_ i_36_ i_35_ n_n969 n_n947 [291]
00111 1
.names [91] [627] [7707] [294]
111 1
.names [400] [513] [421] [295]
111 1
.names n_n1057 n_n843 [625] n_n1053 [296]
1111 1
.names n_n1023 n_n1065 n_n1057 n_n843 [298]
1111 1
.names i_39_ i_36_ i_38_ [517] [308]
1001 1
.names i_9_ i_5_ i_12_ [91] [7698] [309]
00111 1
.names i_36_ i_35_ i_38_ [427] [635] [310]
00111 1
.names n_n710 n_n1065 [419] [7701] [311]
1-1- 1
11-1 1
.names i_12_ i_11_ n_n1055 n_n1047 [7689] [312]
01111 1
10111 1
.names i_34_ n_n1008 n_n865 n_n1073 [46] [419]
011-1 1
11-11 1
.names i_40_ i_39_ i_38_ n_n888 [7694] [447]
01111 1
.names i_40_ i_22_ i_38_ i_37_ [77] [449]
10011 1
.names i_32_ i_33_ i_35_ [323] [7686] [451]
01011 1
.names i_21_ i_32_ i_33_ [501] [36] [454]
00111 1
.names i_12_ i_11_ [7689] [7690] [455]
0111 1
1011 1
.names n_n973 [35] n_n966 n_n848 n_n1012 [477]
11111 1
.names i_38_ i_37_ [507] [514] [485]
101- 1
10-1 1
.names [469] n_n945 [412] [6789] [7678] [507]
11-11 1
-1111 1
.names n_n848 n_n945 n_n853 [94] n_n850 [514]
1111- 1
11-11 1
.names [87] [50] [82] [7670] [519]
11-1 1
-111 1
.names n_n1066 n_n462 [494] [7122] [533]
1111 1
.names n_n883 n_n861 n_n1002 n_n710 [538]
1111 1
.names i_38_ i_37_ n_n861 n_n1002 n_n710 [843]
11111 1
.names i_7_ i_5_ i_28_ i_29_ [321] [845]
00111 1
00001 1
.names [315] [703] [7296] [848]
111 1
.names i_36_ i_38_ i_37_ [854] [855] [849]
0011- 1
001-1 1
.names [408] [76] [401] [850]
111 1
.names n_n330 n_n989 [357] n_n1066 [851]
1111 1
.names [92] [314] [471] [852]
111 1
.names n_n1064 [321] [315] [80] [7665] [854]
111-- 1
--111 1
.names i_40_ [315] [7296] [855]
111 1
.names n_n462 [321] [102] [858]
111 1
.names [420] n_n1048 n_n1047 [697] [859]
1111 1
.names [330] n_n998 n_n700 [7276] [860]
1111 1
.names n_n330 n_n989 n_n1066 [119] [861]
1111 1
.names i_40_ n_n979 n_n861 n_n795 n_n991 [863]
-111- 1
0-111 1
.names n_n979 [594] n_n700 [7276] [869]
1111 1
.names i_40_ i_39_ [85] [7652] [871]
0011 1
.names n_n977 n_n861 n_n1002 n_n710 [873]
1111 1
.names n_n945 n_n860 [6789] [7646] [877]
1111 1
.names i_23_ i_24_ i_22_ n_n860 [622] [880]
11111 1
.names [469] [412] [7648] [881]
1-1 1
-11 1
.names n_n848 n_n945 n_n853 n_n850 [7641] [883]
111-1 1
11-11 1
.names [66] [408] n_n1073 n_n967 [76] [884]
111-1 1
-1111 1
.names [321] [315] [7642] [885]
111 1
.names i_1_ i_0_ [79] [117] [7630] [891]
---11 1
011-1 1
.names i_34_ i_36_ i_35_ [495] n_n861 [893]
10011 1
.names i_40_ n_n861 n_n991 [740] [904]
1111 1
.names i_34_ i_33_ i_36_ [325] [7620] [905]
01111 1
.names i_39_ i_38_ i_37_ [88] n_n998 [906]
01011 1
.names n_n975 n_n700 [94] [7276] [911]
1111 1
.names [408] [76] [401] [465] [914]
111- 1
11-1 1
.names i_7_ i_5_ i_13_ n_n989 [445] [920]
00111 1
.names i_32_ i_31_ [315] [325] [921]
0011 1
.names n_n973 [420] n_n1048 n_n1073 [925]
1111 1
.names i_32_ i_34_ i_33_ [745] [6897] [926]
00111 1
.names i_39_ i_38_ [79] [6895] [928]
0111 1
.names i_2_ n_n833 [314] [929]
111 1
.names i_32_ i_31_ i_33_ [747] [7602] [932]
00111 1
.names n_n1066 n_n462 [7122] [7593] [937]
1111 1
.names n_n330 n_n989 n_n1066 [7595] [938]
1111 1
.names i_24_ [87] [50] n_n836 [82] [939]
0111- 1
0-111 1
.names n_n998 n_n861 n_n710 [124] [940]
1111 1
.names i_18_ n_n979 n_n791 [486] [6976] [943]
01111 1
.names n_n1073 n_n967 [367] [6858] [945]
1111 1
.names n_n979 n_n791 [367] [368] [6976] [951]
111-1 1
11-11 1
.names n_n1073 n_n967 [368] [6850] [953]
1111 1
.names i_23_ n_n1011 [365] n_n1074 [6731] [956]
01111 1
.names [68] n_n1047 [367] [6858] [957]
1111 1
.names [365] [329] [80] [7145] [963]
1-11 1
-111 1
.names i_22_ n_n926 [50] [82] [964]
0111 1
.names i_23_ n_n1011 [329] n_n1074 [6731] [969]
01111 1
.names [422] [357] [408] [970]
111 1
.names [315] [7296] [7564] [971]
111 1
.names i_38_ n_n842 n_n966 n_n1073 n_n843 [972]
01111 1
.names [441] n_n861 n_n1002 n_n710 [973]
1111 1
.names i_40_ n_n1052 [314] [464] [974]
1111 1
.names i_22_ [597] [80] [7145] [978]
0111 1
.names [87] [50] [82] [7558] [979]
11-1 1
-111 1
.names i_22_ [595] [87] [50] [980]
0111 1
.names i_24_ n_n833 [87] [50] [82] [981]
0111- 1
01-11 1
.names i_25_ i_26_ [313] n_n693 [986]
1-11 1
-011 1
.names [581] n_n945 [6789] [7134] [998]
1111 1
.names i_40_ i_39_ i_38_ [417] [1006] [999]
1111- 1
111-1 1
.names n_n978 n_n1074 n_n949 [6907] [7128] [1000]
11111 1
.names i_24_ i_22_ n_n968 n_n1074 [380] [1006]
11111 1
.names i_40_ i_39_ i_38_ n_n1074 n_n864 [1008]
10111 1
.names n_n978 n_n1074 n_n947 [6907] [7128] [1009]
11111 1
.names i_40_ i_39_ i_38_ n_n966 n_n1073 [1010]
11011 1
.names i_16_ n_n1055 [579] n_n1048 n_n1047 [1021]
11111 1
.names i_20_ i_21_ [578] [1039] [7514] [1031]
11-1- 1
111-1 1
.names n_n968 n_n411 n_n960 n_n1074 [486] [1039]
11111 1
.names i_20_ n_n973 [35] n_n848 [77] [1044]
11111 1
.names i_24_ n_n968 n_n1074 n_n850 [7510] [1046]
11111 1
.names i_7_ i_38_ n_n980 [574] n_n1047 [1049]
00111 1
.names i_15_ [313] [357] [85] [101] [1050]
0-11- 1
01--1 1
.names i_38_ n_n685 n_n865 n_n1074 [1051]
1111 1
.names i_15_ [791] [1062]
01 1
.names i_39_ n_n685 n_n874 n_n1052 [1063]
0111 1
.names i_40_ i_39_ i_13_ i_36_ i_38_ [1071]
10100 1
.names i_9_ i_39_ i_36_ i_38_ i_37_ [1072]
11010 1
.names i_9_ i_11_ [496] [1078] [1073]
101- 1
10-1 1
.names n_n685 n_n971 n_n1072 n_n1074 [1075]
1111 1
.names i_7_ n_n1001 n_n1047 [38] [1078]
0111 1
.names i_9_ i_7_ n_n1001 n_n1047 [38] [1084]
10111 1
.names i_9_ n_n977 n_n1073 [79] [1085]
1111 1
.names i_12_ i_17_ i_16_ i_32_ i_33_ [1087]
01-01 1
0-101 1
.names n_n980 n_n1001 [674] [7479] [1088]
1111 1
.names n_n1055 n_n1047 [351] [7482] [1089]
1111 1
.names n_n969 n_n968 n_n1074 n_n629 [1090]
1111 1
.names i_7_ i_5_ i_0_ n_n1074 [394] [1091]
01011 1
.names n_n1073 n_n967 n_n1074 n_n629 [1092]
1111 1
.names i_7_ n_n1047 [717] [6728] [1093]
0111 1
.names i_34_ i_33_ i_35_ n_n668 [713] [1104]
01011 1
.names i_40_ i_15_ [1107] [1108] [1109] [1105]
-01-- 1
10-1- 1
10--1 1
.names i_39_ i_36_ i_38_ i_37_ [313] [1107]
10101 1
.names n_n983 n_n976 n_n795 [376] [716] [1108]
-111- 1
1--11 1
.names i_39_ i_36_ i_38_ [85] [1109]
0001 1
.names n_n874 n_n629 [6730] [7465] [1112]
-1-1 1
111- 1
.names n_n1074 n_n629 [1114] [7468] [1113]
111- 1
11-1 1
.names i_36_ [1119] [1120] [1114]
01- 1
0-1 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ [1115]
10000 1
.names i_40_ i_39_ i_36_ i_35_ i_38_ [1116]
10000 1
.names i_40_ i_39_ i_13_ i_38_ [1119]
1010 1
.names i_9_ i_39_ i_38_ i_37_ [1120]
1110 1
.names i_24_ n_n968 [365] [572] n_n1074 [1121]
11111 1
.names n_n969 n_n968 [82] [476] [1122]
1111 1
.names i_24_ [348] [44] [492] [7350] [1123]
11--1 1
1111- 1
.names i_24_ n_n968 [329] n_n1074 [822] [1130]
11111 1
.names i_24_ n_n968 n_n1074 [82] [7452] [1133]
11111 1
.names n_n978 [82] [476] [6907] [1134]
1111 1
.names n_n978 n_n969 n_n968 [476] [6907] [1135]
-111- 1
1--11 1
.names i_9_ i_5_ [76] [521] [1151] [1145]
0011- 1
001-1 1
.names i_32_ n_n1023 [410] [681] [7442] [1146]
-1-11 1
011-1 1
.names i_4_ i_0_ [45] [678] [1147]
1111 1
.names i_32_ n_n1066 [394] [318] [7397] [1148]
0111- 1
011-1 1
.names i_40_ i_39_ i_36_ i_35_ i_38_ [1151]
01001 1
.names i_40_ i_38_ i_37_ [50] [7435] [1155]
00111 1
.names i_3_ i_1_ n_n1055 [77] [1156]
1-11 1
-111 1
.names n_n1001 [77] [677] [1160] [1157]
-1-1 1
111- 1
.names i_36_ i_35_ i_37_ n_n799 n_n1074 [1158]
11111 1
.names i_39_ i_2_ i_38_ i_37_ [1160]
0101 1
.names n_n488 [76] [352] [7414] [7428] [1161]
111-1 1
11-11 1
.names [76] [401] [465] [7422] [1162]
11-1 1
1-11 1
.names n_n979 n_n469 n_n949 [7347] [1164]
1111 1
.names n_n979 n_n949 [60] [7406] [1165]
1111 1
.names n_n1072 n_n1073 [76] [37] [36] [1170]
11101 1
.names [76] [517] [7422] [7423] [1171]
11-1 1
1-11 1
.names n_n492 [76] [352] [7414] [7415] [1179]
111-1 1
11-11 1
.names n_n979 n_n949 [60] n_n791 [1182]
1111 1
.names [76] [517] [401] [465] [1183]
111- 1
11-1 1
.names n_n979 n_n949 [615] [7405] [1186]
1111 1
.names i_39_ i_38_ i_37_ [7407] [7408] [1187]
1101- 1
110-1 1
.names i_28_ i_29_ [406] n_n1066 [7122] [1188]
10111 1
.names n_n979 n_n975 n_n947 [7399] [1189]
1111 1
.names n_n979 n_n947 [660] [7399] [1197]
1111 1
.names n_n1057 n_n843 n_n1053 n_n836 [1198]
1111 1
.names n_n1023 n_n1065 n_n1057 n_n843 [1199]
1111 1
.names i_34_ i_33_ i_35_ n_n458 [394] [1200]
01011 1
.names n_n1052 n_n1057 n_n1053 [7388] [1204]
1111 1
.names i_5_ i_12_ i_15_ [1209] [1210] [1205]
0111- 1
011-1 1
.names n_n979 n_n469 n_n947 [7347] [1206]
1111 1
.names i_30_ i_28_ i_29_ [406] [321] [1207]
10111 1
.names n_n979 n_n947 [60] [7390] [1208]
1111 1
.names n_n979 [330] n_n998 [60] n_n791 [1209]
-11-1 1
1--11 1
.names i_22_ [330] [77] [1210]
011 1
.names [95] [778] [1213]
11 1
.names n_n842 n_n993 n_n843 [7360] [1222]
1111 1
.names n_n979 [35] n_n469 n_n848 [7347] [1228]
11111 1
.names i_22_ [348] [44] [492] [7350] [1229]
11--1 1
1111- 1
.names i_24_ [371] [50] [82] [1230]
0111 1
.names i_40_ n_n861 [100] n_n991 [767] [1245]
-1-11 1
0111- 1
.names n_n969 n_n971 n_n861 [1259] [1260] [1254]
--11- 1
--1-1 1
111-- 1
.names i_38_ i_37_ n_n861 [94] [1255]
1111 1
.names i_34_ i_36_ i_35_ n_n1005 n_n861 [1257]
00111 1
.names i_39_ i_34_ i_36_ i_35_ i_37_ [1259]
10101 1
.names i_34_ i_36_ i_35_ i_38_ i_37_ [1260]
01100 1
.names [79] [724] [7114] [1266]
111 1
.names n_n862 n_n860 [166] [7314] [1271]
1101 1
.names n_n848 n_n945 n_n853 n_n850 [7317] [1272]
111-1 1
11-11 1
.names n_n842 n_n1074 [7115] [7318] [1273]
1111 1
.names [35] n_n993 n_n848 [6826] [1274]
1111 1
.names n_n848 n_n945 [501] n_n850 [1281] [1275]
1111- 1
11-11 1
.names n_n560 n_n1068 [73] [7309] [1276]
1101 1
.names n_n1072 n_n1073 n_n1068 [73] [7309] [1278]
11101 1
.names n_n848 n_n945 n_n853 [501] [1281] [1279]
1111- 1
111-1 1
.names i_40_ i_34_ i_36_ i_35_ i_38_ [1281]
10011 1
.names n_n528 [315] [486] [7296] [7297] [1284]
11-1- 1
1-1-1 1
.names i_16_ n_n1052 [87] [320] [82] [1285]
1111- 1
11-11 1
.names n_n998 n_n799 n_n861 n_n710 [1286]
1111 1
.names n_n1052 [320] [7288] [7289] [1293]
111- 1
11-1 1
.names [314] [471] [763] [1294]
111 1
.names i_39_ i_38_ i_37_ [765] [7290] [1298]
10111 1
.names i_39_ i_36_ i_38_ [320] [7292] [1299]
00111 1
.names i_7_ i_5_ [320] [761] [1304]
0011 1
.names i_40_ i_36_ i_38_ [314] [471] [1305]
00111 1
.names i_15_ i_32_ i_33_ [7276] [7277] [1306]
00111 1
.names i_39_ i_37_ n_n998 n_n861 n_n710 [1307]
00111 1
.names i_38_ n_n861 n_n710 n_n715 [1309]
1111 1
.names i_9_ i_39_ i_16_ [91] [1328]
0101 1
.names i_2_ i_38_ i_37_ [77] [1334] [1331]
---11 1
1011- 1
.names [46] n_n1047 [464] [7256] [7257] [1332]
1-11- 1
11--1 1
.names i_34_ n_n1073 [46] n_n710 [7258] [1333]
1111- 1
0-111 1
.names i_3_ i_1_ i_2_ i_0_ i_38_ [1334]
00110 1
.names n_n880 [316] [45] [421] [806] [1349]
1-1-1 1
-1-11 1
.names i_40_ i_38_ [1359] [1360] [1355]
101- 1
10-1 1
.names i_15_ i_32_ i_34_ i_33_ i_35_ [1359]
00010 1
.names i_32_ i_34_ i_33_ i_36_ i_35_ [1360]
00110 1
.names i_32_ i_34_ i_33_ [1369] [1370] [1364]
0011- 1
001-1 1
.names i_40_ i_39_ n_n1074 [6731] [1366]
1-11 1
-011 1
.names i_32_ i_34_ i_33_ i_38_ n_n1073 [1367]
01111 1
.names i_40_ i_39_ i_35_ i_38_ i_37_ [1369]
101-0 1
-0100 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [1370]
0-001 1
-0001 1
.names i_31_ [49] [7214] [1371]
011 1
.names i_40_ i_39_ n_n685 n_n874 n_n1052 [1374]
0-111 1
-0111 1
.names i_38_ n_n685 n_n865 n_n1074 [1375]
1111 1
.names i_40_ i_9_ i_7_ [320] [7206] [1383]
01011 1
.names i_31_ [49] [59] [789] [1384]
0111 1
.names i_31_ [49] [788] [7200] [1385]
0111 1
.names n_n685 n_n971 n_n1072 n_n1074 [1386]
1111 1
.names i_31_ n_n973 [49] [7201] [1387]
0111 1
.names i_37_ n_n685 n_n1074 [779] [1390]
1111 1
.names i_31_ [49] n_n967 [7201] [1392]
0111 1
.names i_5_ [49] [7193] [7194] [1401]
111- 1
11-1 1
.names i_32_ i_33_ [1408]
10 1
.names n_n977 n_n1048 [814] [7178] [1414]
1111 1
.names i_39_ i_36_ i_38_ [1422] [1423] [1416]
1011- 1
101-1 1
.names n_n979 [342] n_n907 [6716] [1417]
1111 1
.names n_n933 n_n1066 n_n927 [63] [7182] [1422]
11-1- 1
-11-1 1
.names i_34_ i_33_ i_35_ n_n928 n_n927 [1423]
01011 1
.names i_32_ i_31_ i_33_ n_n1047 [7172] [1428]
00111 1
.names n_n969 n_n884 [503] [7173] [1430]
-1-1 1
111- 1
.names i_5_ i_15_ [66] n_n1073 n_n560 [1434]
00--1 1
0011- 1
.names i_9_ i_5_ [521] [1435]
101 1
.names i_40_ [1449] [7167] [1443]
11- 1
1-1 1
.names i_6_ i_38_ i_37_ [324] [77] [1449]
1101- 1
111-1 1
.names n_n1023 n_n1057 [7063] [7148] [1459]
1111 1
.names i_16_ n_n926 n_n933 n_n1066 [7132] [1461]
11111 1
.names i_40_ i_14_ i_39_ i_36_ i_38_ [1463]
10101 1
.names i_5_ i_12_ i_11_ [1472] [7142] [1467]
0001- 1
000-1 1
.names n_n979 n_n1001 n_n907 [6716] [1468]
1111 1
.names i_32_ i_31_ i_33_ n_n1073 n_n967 [1472]
00111 1
.names n_n1066 n_n927 [777] [7130] [1474]
1111 1
.names i_16_ [92] n_n933 n_n1066 [7132] [1476]
11111 1
.names n_n978 n_n1074 n_n949 [6907] [7128] [1477]
11111 1
.names i_9_ i_5_ i_12_ [1485]
100 1
.names i_40_ i_39_ [417] [1492] [1489]
111- 1
11-1 1
.names n_n1074 n_n949 [1494] [1495] [7128] [1491]
111-1 1
11-11 1
.names i_24_ i_22_ n_n968 n_n1074 [380] [1492]
11111 1
.names i_40_ i_39_ i_35_ i_38_ i_37_ [1494]
00100 1
.names i_40_ i_39_ i_36_ i_35_ i_37_ [1495]
11010 1
.names i_32_ i_34_ i_33_ n_n629 [7113] [1496]
00111 1
.names n_n971 n_n1072 [79] [1502] [7114] [1497]
--111 1
111-1 1
.names i_40_ n_n979 n_n1005 n_n861 n_n991 [1498]
1111- 1
0-111 1
.names n_n842 n_n969 n_n865 n_n1074 [7115] [1500]
11111 1
.names i_39_ i_38_ i_37_ n_n861 n_n991 [1501]
00011 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ [1502]
01011 1
.names i_7_ i_5_ i_0_ [7103] [7104] [1505]
0001- 1
000-1 1
.names i_36_ i_35_ i_37_ [7107] [1509]
0011 1
.names i_32_ n_n693 [7108] [7109] [1510]
1--1 1
111- 1
.names i_34_ i_36_ i_35_ i_38_ i_37_ [1516]
01111 1
.names i_40_ i_39_ i_38_ n_n864 [7097] [1518]
11111 1
.names n_n979 n_n978 n_n973 n_n980 n_n1012 [1523]
11-1- 1
--111 1
.names i_5_ i_0_ i_32_ [7089] [7090] [1524]
1001- 1
100-1 1
.names [324] n_n997 [77] [820] [7079] [1538]
-11-1 1
1--11 1
.names i_15_ i_32_ i_31_ n_n1066 [119] [1542]
00011 1
.names i_15_ i_32_ i_31_ n_n1066 [7073] [1548]
00011 1
.names n_n971 n_n977 n_n1074 [818] [7074] [1549]
111-- 1
--111 1
.names i_40_ i_39_ i_38_ n_n1074 n_n970 [1550]
00011 1
.names i_32_ i_34_ i_33_ n_n967 n_n1012 [1551]
01111 1
.names i_36_ i_35_ i_37_ n_n1074 [59] [1552]
01011 1
.names n_n1057 n_n1056 [7063] [7064] [1555]
1111 1
.names i_16_ n_n1055 n_n1048 n_n1047 [7066] [1556]
11111 1
.names i_1_ i_2_ i_0_ [1561] [1562] [1557]
0011- 1
001-1 1
.names i_3_ i_4_ [45] [797] [1561]
0011 1
.names i_40_ i_39_ n_n1052 n_n1057 n_n1053 [1562]
0-111 1
-0111 1
.names n_n1055 n_n1048 n_n1047 [7057] [1566]
1111 1
.names n_n1072 n_n1073 [76] [110] [1569] [1567]
--1-1 1
1110- 1
.names n_n1067 n_n1023 n_n1065 n_n1057 [1568]
1111 1
.names [357] n_n1073 n_n560 [61] [828] [1569]
1--0- 1
--10- 1
-1-01 1
.names i_17_ n_n1055 n_n1048 n_n1047 [816] [1574]
11111 1
.names i_16_ n_n1055 n_n1048 n_n1047 [450] [1576]
11111 1
.names i_9_ i_12_ n_n1055 n_n1048 n_n1047 [1577]
10111 1
.names i_40_ i_39_ i_38_ n_n1073 [452] [1578]
11111 1
.names i_22_ [559] [87] [50] [1592]
0111 1
.names [365] [50] [825] [1603]
111 1
.names i_22_ [50] [82] [821] [1609]
0111 1
.names [68] n_n1047 [367] [6858] [1610]
1111 1
.names [329] [50] [101] [1611]
111 1
.names i_39_ i_38_ n_n1047 [367] [6858] [1615]
11111 1
.names i_16_ [92] [470] n_n933 n_n1066 [1617]
11111 1
.names n_n926 [1623] [1624] [1625] [1619]
11-- 1
1-1- 1
1--1 1
.names n_n933 n_n1066 n_n927 [39] [7014] [1623]
11-11 1
-1111 1
.names n_n933 n_n1066 n_n527 [7016] [1624]
1111 1
.names i_16_ [470] n_n933 n_n1066 [1625]
1111 1
.names [92] n_n1023 [412] [1628] [7006] [1626]
111-1 1
11-11 1
.names [92] [729] [1631] [1632] [7009] [1627]
1-1-- 1
1--1- 1
11--1 1
.names i_9_ i_7_ i_5_ i_12_ i_11_ [1628]
1001- 1
100-1 1
.names i_16_ n_n933 n_n1066 [7010] [1631]
1111 1
.names n_n1066 n_n860 n_n927 [7011] [1632]
1111 1
.names i_4_ i_1_ n_n969 n_n865 [350] [1643]
0-111 1
-0111 1
.names n_n979 n_n1001 [368] [6974] [1654]
1111 1
.names n_n979 n_n1001 [367] [6968] [1660]
1111 1
.names i_23_ n_n978 [365] n_n1074 [6731] [1662]
01111 1
.names n_n1055 n_n1047 [82] [6906] [1663]
1111 1
.names i_24_ n_n833 [87] [50] [1666]
0111 1
.names i_22_ [87] [50] [829] [1669]
0111 1
.names [329] [50] [830] [1670]
111 1
.names i_22_ [50] [82] [787] [1675]
0111 1
.names i_24_ [87] [50] [6945] [1681]
0111 1
.names i_24_ [371] [50] [82] [1682]
0111 1
.names i_23_ n_n978 [329] n_n1074 [6731] [1691]
01111 1
.names n_n1055 n_n1047 [87] [6852] [1692]
1111 1
.names n_n469 [329] n_n945 [1702] [6789] [1694]
111-1 1
1-111 1
.names i_32_ i_34_ i_33_ n_n1012 [6930] [1700]
01111 1
.names i_24_ i_32_ i_33_ [304] [6789] [1701]
10111 1
.names i_7_ i_5_ i_11_ i_21_ i_15_ [1702]
00101 1
.names n_n998 n_n973 n_n158 [35] [1704]
1111 1
.names n_n330 n_n969 n_n968 n_n1074 [1705]
1111 1
.names i_1_ [95] [350] n_n1074 [6897] [1706]
011-- 1
-1-11 1
.names n_n979 n_n978 n_n330 n_n700 [1707]
1111 1
.names i_40_ i_39_ i_38_ n_n998 n_n861 [1708]
10111 1
.names n_n978 [87] [82] [476] [6907] [1718]
11-11 1
1-111 1
.names n_n1055 n_n1047 [367] [6851] [6858] [1719]
111-1 1
-1111 1
.names [422] n_n462 [689] [1729]
111 1
.names i_36_ i_38_ i_37_ [313] [464] [1730]
11111 1
.names n_n469 [420] n_n1048 n_n1047 [1731]
1111 1
.names n_n330 n_n989 n_n1066 [6890] [1741]
1111 1
.names n_n979 n_n330 n_n700 [65] [1742]
1111 1
.names n_n971 n_n1072 n_n1074 [6828] [1747]
1111 1
.names n_n883 n_n1074 n_n970 [6828] [1749]
1111 1
.names n_n979 n_n158 [702] [701] [1751]
1111 1
.names n_n469 n_n1048 n_n1047 n_n527 [6884] [1752]
1111- 1
111-1 1
.names [87] [50] [82] [6873] [1757]
11-1 1
-111 1
.names n_n968 n_n793 n_n960 n_n1074 [6865] [1765]
11111 1
.names [408] [50] [672] [1772]
111 1
.names [408] [76] [401] [465] [1773]
111- 1
11-1 1
.names i_17_ i_16_ [470] n_n833 [321] [1781]
00111 1
.names n_n1055 n_n1047 [368] [6850] [6851] [1783]
1111- 1
-1111 1
.names n_n1047 [87] [400] [6852] [1784]
1111 1
.names i_7_ i_5_ i_12_ i_11_ i_18_ [1785]
001-0 1
00-10 1
.names i_9_ i_7_ i_5_ i_12_ [1786]
0001 1
.names [512] [607] [6835] [1789]
111 1
.names i_23_ [608] [1791] [6841] [1790]
0-1- 1
01-1 1
.names n_n1023 [359] n_n428 [609] [6838] [1791]
11111 1
.names i_12_ i_21_ i_15_ i_19_ [1795]
1011 1
.names i_36_ i_35_ i_37_ [79] [6824] [1803]
11011 1
.names i_4_ [95] [350] n_n1074 [6828] [1805]
011-- 1
-1-11 1
.names i_38_ i_37_ n_n861 n_n1002 n_n710 [1806]
11111 1
.names i_38_ i_37_ n_n998 n_n861 n_n710 [1807]
00111 1
.names i_39_ i_38_ i_37_ [88] n_n991 [1812]
11111 1
.names i_21_ [380] [1843] [6800] [1821]
--11 1
01-1 1
.names i_21_ i_15_ [57] [1832] [6801] [1823]
01-1- 1
011-1 1
.names n_n1072 n_n945 [42] [6789] [1832]
1111 1
.names i_9_ i_5_ i_12_ i_11_ i_18_ [1833]
101-1 1
10-11 1
.names i_9_ i_5_ i_11_ i_19_ [1834]
1011 1
.names i_16_ n_n1055 n_n1048 n_n1047 [522] [1836]
11111 1
.names i_9_ i_5_ i_12_ i_21_ i_15_ [1843]
10101 1
.names n_n945 [380] [6789] [6790] [1844]
1111 1
.names i_28_ i_29_ n_n1048 n_n1047 [458] [1845]
00111 1
.names [471] [77] [342] [1847]
111 1
.names n_n979 n_n945 n_n949 n_n947 [1850]
111- 1
11-1 1
.names n_n799 n_n1012 [668] [6780] [1852]
1111 1
.names n_n1048 n_n1047 [458] [669] [1853]
1111 1
.names i_36_ i_35_ i_37_ n_n1074 [6783] [1854]
01011 1
.names i_39_ i_38_ i_37_ [471] [77] [1855]
11011 1
.names i_25_ i_26_ [324] n_n975 [1860]
1-11 1
-111 1
.names i_40_ i_39_ i_38_ n_n1074 [6731] [1862]
11111 1
00011 1
.names i_32_ i_34_ i_33_ n_n1073 n_n967 [1863]
01111 1
.names i_34_ i_36_ i_35_ n_n982 [88] [1868]
00111 1
.names i_39_ i_38_ i_37_ n_n861 [94] [1871]
10011 1
.names i_39_ i_38_ i_37_ [88] n_n991 [1872]
00111 1
.names i_7_ i_32_ i_33_ [330] n_n1002 [1873]
00111 1
.names n_n1061 [50] n_n582 [80] [6765] [1874]
11--1 1
--111 1
.names i_40_ i_36_ i_38_ i_37_ [313] [1875]
11011 1
.names i_32_ i_34_ i_33_ n_n1073 [548] [1878]
01111 1
.names i_17_ i_16_ [92] [45] [6749] [1880]
1-111 1
-1111 1
.names i_34_ n_n1073 [46] n_n967 [6731] [1907]
1111- 1
0-111 1
.names i_5_ i_31_ n_n1055 [91] [1908]
0101 1
.names i_12_ i_15_ n_n1074 [6739] [1909]
0-11 1
-011 1
.names i_34_ i_36_ i_35_ [6728] [6729] [1911]
00011 1
.names i_5_ i_13_ i_15_ [1920] [6732] [1913]
0001- 1
000-1 1
.names i_40_ i_39_ i_38_ n_n1074 n_n970 [1914]
11111 1
.names i_34_ i_36_ i_35_ [55] [6728] [1915]
00011 1
.names i_31_ [445] [421] [1916]
111 1
.names i_40_ i_38_ n_n1074 [6731] [1920]
1011 1
.names i_17_ i_16_ [92] [45] [36] [1922]
11111 1
.names i_17_ i_16_ [92] [45] [484] [1924]
1-111 1
-1111 1
.names i_14_ i_17_ i_16_ [484] [1928] [1925]
0---1 1
01-1- 1
0-11- 1
.names i_12_ i_11_ [407] [1926]
011 1
101 1
.names i_5_ i_12_ i_17_ i_16_ i_15_ [1928]
01111 1
.names n_n979 n_n528 n_n945 [36] [1933]
1111 1
.names n_n1055 n_n1047 n_n907 [638] [6716] [1934]
111-1 1
-1111 1
.names [471] [400] [77] [1935]
111 1
.names n_n979 [65] n_n907 [6716] [1936]
1111 1
.names i_13_ i_32_ i_33_ [6716]
001 1
.names i_12_ i_11_ i_32_ [6727]
100 1
.names i_32_ i_31_ i_33_ [6728]
011 1
.names i_9_ i_5_ i_16_ [6729]
000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [6730]
11001 1
.names i_36_ i_35_ i_37_ [6731]
011 1
.names i_32_ i_33_ i_35_ [357] [6730] [6732]
0101- 1
010-1 1
.names n_n1056 [325] [1911] [1914] [6727] [6734]
--1-- 1
---1- 1
11--1 1
.names i_25_ i_38_ i_37_ [6736]
100 1
.names i_5_ i_31_ i_36_ i_35_ [6739]
0100 1
.names [324] n_n969 n_n971 n_n966 [6736] [6740]
1---1 1
-111- 1
.names i_39_ i_38_ n_n968 n_n1074 n_n560 [6744]
---11 1
1111- 1
.names n_n1011 n_n968 n_n1073 n_n1074 [743] [6745]
11-1- 1
--111 1
.names n_n979 n_n866 [741] n_n907 [6716] [6746]
--111 1
11-11 1
.names n_n884 n_n1134 [6744] [6745] [6746] [6748]
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names i_9_ i_5_ i_11_ i_15_ [6749]
1011 1
.names i_26_ i_38_ i_37_ [6750]
100 1
.names [324] [543] n_n1074 n_n864 [6750] [6752]
1---1 1
-111- 1
.names n_n1159 [66] n_n1074 [1880] [6731] [6755]
1---- 1
---1- 1
-11-1 1
.names n_n1138 [145] [363] [544] [6752] [6758]
1---- 1
-1--- 1
----1 1
--11- 1
.names i_1_ i_2_ i_0_ n_n842 [6761]
0011 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [6764]
00001 1
.names i_40_ i_7_ i_39_ [6765]
101 1
.names [335] [1868] [1873] [1878] [6761] [6769]
-1--- 1
--1-- 1
1---1 1
---11 1
.names [314] [471] [1871] [1872] [6764] [6770]
--1-- 1
---1- 1
11--1 1
.names i_32_ i_31_ i_33_ n_n1047 [400] [6772]
00111 1
.names i_10_ i_39_ i_38_ i_37_ [6773]
0010 1
.names i_27_ i_39_ i_38_ i_37_ [6774]
0010 1
.names n_n977 n_n1074 n_n864 [397] [6773] [6775]
---11 1
111-- 1
.names n_n966 n_n799 n_n1012 [397] [6774] [6776]
---11 1
111-- 1
.names i_5_ i_32_ i_31_ i_33_ [6780]
0001 1
.names i_40_ i_5_ i_39_ i_13_ i_15_ [6783]
10000 1
.names i_11_ i_12_ [6787]
10 1
.names i_22_ i_34_ i_36_ i_35_ [6789]
1001 1
.names i_40_ i_39_ i_21_ i_38_ [6790]
1101 1
.names n_n2342 n_n2687 [1844] [6795]
1-- 1
-1- 1
--1 1
.names n_n528 n_n905 [1845] [1847] [1850] [6796]
--1-- 1
---1- 1
11--- 1
1---1 1
.names i_40_ i_39_ i_32_ i_34_ i_33_ [6797]
10001 1
.names i_32_ i_31_ i_33_ n_n1047 [400] [6798]
00111 1
.names i_39_ i_38_ [491] n_n1074 [6731] [6800]
00111 1
.names i_39_ i_38_ n_n411 n_n1074 [6731] [6801]
00111 1
.names [549] n_n1064 n_n1074 n_n1061 n_n970 [6803]
-111- 1
1-1-1 1
.names [145] [109] [6772] [6803] [6805]
1--- 1
---1 1
-11- 1
.names [247] [1823] [6795] [6796] [6810]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_4_ i_1_ n_n926 [314] [6814]
1-11 1
-111 1
.names i_3_ i_4_ n_n926 n_n833 [314] [6815]
1-1-1 1
-1-11 1
.names i_3_ i_1_ n_n833 [314] [6816]
1-11 1
-111 1
.names n_n1993 n_n2213 [1812] [6814] [6817]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_39_ i_11_ [6821]
111 1
.names i_39_ i_25_ i_26_ i_38_ [6824]
0000 1
.names i_40_ i_39_ i_32_ i_34_ i_33_ [6826]
11011 1
.names i_7_ i_3_ i_0_ [6828]
011 1
.names n_n330 n_n993 [238] [1806] [6826] [6832]
--1-- 1
---1- 1
11--1 1
.names [182] [1803] [1805] [1807] [6833]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_30_ i_7_ i_5_ i_28_ i_29_ [6834]
10001 1
.names i_9_ i_7_ i_5_ i_24_ i_22_ [6835]
00011 1
.names i_9_ i_7_ i_5_ i_21_ i_19_ [6838]
00001 1
.names n_n945 n_n860 [342] [6789] [6841]
1111 1
.names i_24_ i_22_ i_19_ [6842]
110 1
.names [48] n_n978 n_n1074 [6731] [6842] [6843]
11111 1
.names i_16_ i_32_ i_31_ i_33_ [6850]
0001 1
.names i_40_ i_38_ i_37_ [6851]
010 1
.names i_17_ i_16_ i_32_ i_31_ i_33_ [6852]
00001 1
.names n_n1055 [94] [106] [1781] [6854]
---1 1
111- 1
.names [1783] [1784] [1785] [1786] [6843] [6855]
1---- 1
-1--- 1
--1-1 1
---11 1
.names i_16_ i_32_ i_31_ i_33_ [6858]
0001 1
.names i_39_ i_17_ i_38_ [6859]
101 1
.names i_30_ i_7_ i_5_ i_28_ i_29_ [6862]
00010 1
.names i_37_ i_39_ [6863]
01 1
.names i_12_ i_11_ i_18_ i_15_ [6865]
1-01 1
-101 1
.names i_40_ i_36_ i_35_ i_38_ i_37_ [6867]
00010 1
.names n_n1965 n_n2456 [408] [76] [6867] [6871]
1---- 1
-1--- 1
--111 1
.names n_n2793 [300] [236] [1765] [6872]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_39_ i_21_ i_36_ i_38_ i_37_ [6873]
11010 1
.names i_40_ i_36_ i_38_ i_37_ [6874]
0010 1
.names n_n330 n_n926 n_n989 n_n1066 [6874] [6875]
1111- 1
1-111 1
.names i_22_ n_n833 [87] [50] [82] [6876]
0111- 1
01-11 1
.names i_24_ [50] [82] [710] [1757] [6877]
----1 1
0111- 1
.names [6876] [6875] [6878]
1- 1
-1 1
.names i_7_ i_5_ i_12_ [6884]
000 1
.names i_40_ i_36_ i_38_ [6887]
100 1
.names i_39_ i_36_ i_37_ [6890]
100 1
.names n_n1952 n_n1992 [1747] [1749] [6893]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1990 [227] [1741] [1742] [6894]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_10_ i_27_ i_36_ i_35_ i_37_ [6895]
11100 1
.names i_7_ i_2_ i_0_ [6897]
011 1
.names n_n1971 n_n1074 [711] [1731] [6897] [6902]
1---- 1
---1- 1
-11-1 1
.names n_n1951 [148] [1729] [1730] [6903]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_17_ i_16_ i_32_ i_31_ i_33_ [6906]
00001 1
.names i_36_ i_35_ i_37_ [6907]
011 1
.names n_n1055 n_n1047 [690] [1718] [6911]
---1 1
111- 1
.names n_n1978 n_n2785 n_n1977 [1719] [6912]
1--- 1
-1-- 1
--1- 1
---1 1
.names [6854] [6855] [6911] [6912] [6914]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_0_ i_36_ i_38_ i_37_ [6920]
1011 1
.names n_n997 n_n977 n_n793 n_n1048 n_n1047 [6921]
1-111 1
-1111 1
.names n_n1021 [313] [1704] [1707] [6920] [6925]
--1-- 1
---1- 1
11--1 1
.names [1705] [1706] [1708] [6921] [6926]
1--- 1
-1-- 1
--1- 1
---1 1
.names [6815] [6816] [6817] [6832] [6833] [6928]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_40_ i_39_ i_22_ i_38_ [6930]
1110 1
.names i_21_ i_15_ [35] [6931]
011 1
.names n_n1936 [1694] [1700] [1701] [6931] [6937]
1---- 1
-1--- 1
--1-1 1
---11 1
.names i_34_ i_36_ i_35_ [6938]
110 1
.names n_n799 n_n1012 [76] [6834] [6862] [6940]
1111- 1
111-1 1
.names n_n1047 [368] [772] [6850] [6863] [6942]
1111- 1
11-11 1
.names [365] n_n2456 [50] [101] [6940] [6943]
-1--- 1
----1 1
1-11- 1
.names [1691] [1692] [6942] [6944]
1-- 1
-1- 1
--1 1
.names i_39_ i_36_ i_38_ i_37_ [6945]
0000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [6947]
11001 1
.names i_7_ i_5_ i_11_ i_22_ i_15_ [6948]
00101 1
.names [365] [80] [6947] [6948] [6950]
111- 1
-111 1
.names i_23_ [323] [365] [50] [82] [6951]
-111- 1
01-11 1
.names i_7_ i_5_ i_12_ i_22_ i_15_ [6954]
00101 1
.names [329] [80] [6947] [6954] [6956]
111- 1
-111 1
.names [76] [509] [6834] [6862] [6960]
111- 1
11-1 1
.names [175] [240] n_n1908 n_n1907 [6960] [6964]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_18_ i_21_ i_32_ i_33_ [6968]
0001 1
.names n_n1055 n_n1047 [771] [1662] [6851] [6972]
---1- 1
111-- 1
-11-1 1
.names n_n2785 n_n1977 [1660] [1663] [6973]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_18_ i_21_ i_32_ i_33_ [6974]
0001 1
.names i_39_ i_19_ i_38_ i_37_ [6976]
0001 1
.names i_40_ n_n979 n_n791 [6976] [6979]
1111 1
.names n_n1055 [94] [832] [1654] [6981]
---1 1
111- 1
.names n_n1047 [400] [833] [831] [6979] [6982]
--1-1 1
11-1- 1
.names n_n2581 n_n1987 n_n1971 [181] [6986]
1--- 1
-1-- 1
--1- 1
---1 1
.names [173] [6943] [6944] [6986] [6988]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_7_ i_8_ i_5_ i_0_ [6992]
00110 1
.names i_3_ i_4_ n_n926 n_n833 [314] [6995]
1-1-1 1
-1-11 1
.names i_3_ i_1_ n_n833 [314] [6996]
1-11 1
-111 1
.names i_40_ i_39_ i_38_ n_n865 n_n970 [6999]
0001- 1
101-1 1
.names i_4_ i_1_ n_n926 [314] [7002]
1-11 1
-111 1
.names n_n2581 n_n1990 [555] [362] [6999] [7003]
1---- 1
-1--- 1
--11- 1
--1-1 1
.names i_24_ i_21_ i_22_ i_15_ i_32_ [7006]
10110 1
.names i_17_ i_15_ i_32_ i_31_ [7008]
1100 1
.names i_9_ i_7_ i_5_ n_n1066 [7009]
1001 1
.names i_7_ i_5_ i_12_ i_11_ i_15_ [7010]
00101 1
.names i_12_ i_11_ i_15_ [7011]
101 1
.names i_9_ i_7_ i_5_ i_15_ [7014]
1001 1
.names i_12_ i_16_ i_15_ [7016]
111 1
.names i_30_ i_7_ i_5_ i_28_ i_29_ [7019]
00000 1
.names n_n998 [556] n_n861 [325] [7020]
111- 1
1-11 1
.names [422] n_n462 [1617] [7019] [7020] [7022]
--1-- 1
----1 1
11-1- 1
.names n_n1993 [181] n_n1986 [1666] [7024]
1--- 1
-1-- 1
--1- 1
---1 1
.names [80] [157] [1610] [6947] [6948] [7027]
-1--- 1
--1-- 1
1--11 1
.names n_n2795 [1609] [1611] [1615] [7028]
1--- 1
-1-- 1
--1- 1
---1 1
.names [365] n_n2456 [300] [80] [6947] [7031]
-1--- 1
--1-- 1
1--11 1
.names n_n2793 [1603] [1691] [1692] [7032]
1--- 1
-1-- 1
--1- 1
---1 1
.names [329] [80] [6947] [6954] [7033]
111- 1
-111 1
.names i_23_ [323] [329] [87] [50] [7034]
-11-1 1
01-11 1
.names [175] [240] [1592] [7033] [7034] [7038]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [7027] [7028] [7031] [7032] [7039]
1--- 1
-1-- 1
--1- 1
---1 1
.names [6972] [6973] [6981] [6982] [7038] [7040]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_5_ i_32_ i_34_ i_33_ i_36_ [7045]
10010 1
.names i_5_ i_14_ i_12_ i_11_ i_15_ [7047]
10--- 1
1-0-- 1
1--0- 1
1---0 1
.names i_7_ i_33_ [65] [7045] [7048]
11-- 1
--11 1
.names n_n980 n_n1047 [91] [794] [7047] [7049]
--1-1 1
11-1- 1
.names i_12_ i_11_ i_35_ i_37_ [7055]
0-00 1
-000 1
.names i_14_ i_17_ i_16_ [7057]
011 1
.names n_n977 [452] [1566] [1568] [7055] [7062]
--1-- 1
---1- 1
11--1 1
.names i_1_ i_2_ i_0_ [7063]
101 1
.names i_40_ i_39_ i_38_ i_37_ [7064]
0001 1
.names i_11_ i_9_ [7066]
01 1
.names n_n1159 [1555] [1556] [7070]
1-- 1
-1- 1
--1 1
.names i_40_ i_36_ i_38_ [7073]
100 1
.names i_5_ i_36_ i_35_ [7074]
100 1
.names i_40_ i_39_ i_11_ i_38_ i_37_ [7078]
11100 1
.names i_6_ i_40_ [7079]
11 1
.names i_39_ i_15_ i_36_ i_35_ i_37_ [7080]
10000 1
.names n_n1006 [441] n_n1056 [397] [7078] [7084]
---11 1
111-- 1
.names i_9_ [76] [61] [401] [7080] [7085]
-101- 1
11--1 1
.names n_n983 n_n977 n_n1023 n_n1065 [7089]
11-- 1
--11 1
.names n_n1001 n_n1066 n_n976 [121] [7090]
11-- 1
--11 1
.names n_n926 n_n989 n_n983 [445] n_n1066 [7091]
-111- 1
11--1 1
.names [1523] [7048] [7049] [7091] [7093]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_6_ i_34_ [7097]
000 1
.names i_7_ i_5_ i_34_ i_36_ i_35_ [7099]
00010 1
.names i_7_ i_6_ i_34_ [7100]
000 1
.names i_34_ i_36_ i_37_ [7102]
011 1
.names i_40_ i_39_ i_38_ [1516] [7102] [7103]
---1- 1
101-1 1
.names n_n998 n_n977 n_n715 [121] [7104]
-11- 1
1--1 1
.names i_40_ i_6_ i_39_ i_34_ i_38_ [7107]
10111 1
.names i_40_ i_39_ i_35_ [7108]
000 1
.names i_34_ i_36_ i_35_ [7109]
01- 1
0-1 1
100 1
.names i_33_ n_n978 n_n865 [7100] [7110]
0--- 1
-111 1
.names i_0_ [759] [1518] [7110] [7111]
--1- 1
---1 1
01-- 1
.names i_40_ i_36_ i_35_ i_38_ i_37_ [7113]
11000 1
.names i_3_ i_4_ i_1_ i_2_ i_0_ [7114]
00001 1
.names i_1_ i_2_ i_0_ [7115]
101 1
.names [88] n_n998 n_n997 [1497] [1498] [7120]
---1- 1
----1 1
111-- 1
.names i_40_ i_5_ i_39_ [7121]
001 1
.names i_30_ i_32_ i_31_ [7122]
000 1
.names i_23_ i_24_ i_22_ i_32_ [7124]
1110 1
.names i_15_ [1833] [1834] [7125]
11- 1
1-1 1
.names i_19_ n_n1023 [359] [7124] [7126]
1111 1
.names i_9_ i_5_ i_12_ i_11_ i_15_ [7127]
101-1 1
10-11 1
.names i_24_ i_21_ i_22_ [7128]
111 1
.names n_n1074 n_n947 [774] [1491] [7128] [7129]
---1- 1
111-1 1
.names i_9_ i_5_ i_14_ [7130]
100 1
.names i_5_ i_14_ i_12_ i_11_ [7132]
00-- 1
0-0- 1
0--0 1
.names i_39_ i_23_ i_21_ i_38_ i_37_ [7134]
11110 1
.names n_n945 [36] [1476] [6789] [7134] [7137]
--1-- 1
11-11 1
.names n_n2369 [473] [1474] [7125] [7138]
1--- 1
--1- 1
-1-1 1
.names n_n926 [739] [776] [1477] [7126] [7139]
---1- 1
1-1-- 1
-1--1 1
.names n_n1055 n_n1048 n_n1047 [785] [7142]
111- 1
-111 1
.names n_n1067 [399] [783] [782] [1468] [7144]
----1 1
1-1-- 1
-1-1- 1
.names i_40_ i_39_ i_36_ i_38_ [7145]
1100 1
.names i_40_ i_39_ i_36_ i_38_ [7148]
0010 1
.names i_9_ i_5_ n_n933 n_n1066 [7151]
1011 1
.names i_32_ i_31_ i_33_ i_36_ i_35_ [7155]
00100 1
.names n_n1061 [397] [6774] [6797] [7158]
-11- 1
1--1 1
.names n_n1021 n_n1011 n_n1074 n_n1061 n_n864 [7159]
1-11- 1
-11-1 1
.names i_38_ n_n1008 n_n968 n_n1074 n_n970 [7160]
1111- 1
01-11 1
.names i_40_ i_6_ i_38_ i_37_ [7164]
1101 1
.names i_39_ i_12_ i_38_ i_37_ [7165]
1100 1
.names i_5_ i_15_ i_36_ i_35_ i_38_ [7166]
00000 1
.names [76] [397] [7165] [7166] [7167]
-11- 1
1--1 1
.names [324] [397] [6773] [7164] [7168]
-11- 1
1--1 1
.names [422] [357] [378] [397] [7078] [7169]
---11 1
111-- 1
.names n_n993 n_n884 [6826] [7168] [7169] [7171]
---1- 1
----1 1
111-- 1
.names i_40_ i_5_ i_12_ i_11_ i_38_ [7172]
10000 1
.names n_n978 n_n968 n_n960 n_n1074 [6731] [7173]
-111- 1
1--11 1
.names [76] [140] [1428] [1434] [1435] [7175]
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names i_34_ i_35_ i_37_ [7178]
000 1
.names i_40_ i_39_ i_38_ i_37_ [7181]
0001 1
.names i_9_ i_5_ i_12_ [7182]
100 1
.names [471] [77] [1414] [1417] [7181] [7184]
--1-- 1
---1- 1
11--1 1
.names n_n1679 [1416] [1467] [7144] [7184] [7187]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_17_ i_16_ i_38_ i_37_ [7193]
00-- 1
--11 1
.names i_40_ i_39_ i_38_ i_37_ [7194]
0-1- 1
-01- 1
-10- 1
--00 1
.names i_7_ i_5_ i_36_ [7197]
010 1
.names i_9_ i_11_ i_15_ [7200]
111 1
.names i_12_ i_16_ i_15_ [7201]
111 1
.names i_12_ i_11_ i_15_ i_36_ i_37_ [7206]
11100 1
.names i_40_ i_39_ i_38_ i_37_ [7214]
0011 1
0000 1
.names [330] n_n983 n_n975 n_n976 n_n668 [7217]
-11-1 1
1--11 1
.names i_14_ [49] [567] n_n1066 [7197] [7218]
-11-- 1
0--11 1
.names n_n1066 [166] [1401] [7197] [7218] [7221]
--1-- 1
----1 1
11-1- 1
.names [1371] [1374] [1375] [7217] [7222]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_0_ i_32_ i_33_ i_37_ [7227]
1011 1
.names i_38_ n_n979 n_n1074 n_n864 [7227] [7228]
-1--1 1
0-11- 1
.names i_34_ i_33_ i_38_ i_37_ [7231]
0111 1
.names i_40_ i_39_ i_32_ i_33_ i_35_ [7232]
00010 1
.names i_40_ i_36_ i_35_ [7233]
010 1
.names n_n1073 n_n1074 n_n700 [7233] [7234]
1-1- 1
-1-1 1
.names n_n1006 n_n693 [7231] [7232] [7235]
1-1- 1
-1-1 1
.names i_39_ i_38_ n_n1074 n_n970 [6731] [7236]
1-11- 1
-01-1 1
.names i_0_ i_38_ [397] [7234] [7236] [7238]
----1 1
-1-1- 1
111-- 1
.names i_12_ i_11_ i_36_ i_35_ i_37_ [7240]
0-000 1
-0000 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ [7241]
01010 1
.names i_39_ i_34_ i_36_ i_35_ i_38_ [7242]
10000 1
.names i_34_ n_n968 n_n960 [46] [7240] [7243]
--111 1
0111- 1
.names n_n1074 n_n700 [7241] [7242] [7244]
1-1- 1
-1-1 1
.names i_0_ i_32_ i_33_ [7246]
101 1
.names i_40_ i_34_ i_35_ i_38_ i_37_ [7247]
00101 1
.names i_3_ i_4_ i_1_ i_38_ i_37_ [7248]
1--01 1
-1-01 1
--101 1
.names n_n993 [6826] [7246] [7247] [7249]
11-- 1
--11 1
.names n_n966 [77] n_n1012 [807] [7248] [7250]
-1--1 1
1-11- 1
.names n_n698 n_n977 [427] [503] [7251]
1-1- 1
-1-1 1
.names i_39_ i_12_ i_11_ i_36_ i_38_ [7254]
10000 1
.names i_5_ i_0_ i_32_ i_38_ i_37_ [7255]
10000 1
.names i_34_ i_35_ i_38_ i_37_ [7256]
0111 1
.names i_9_ i_39_ i_38_ [7257]
011 1
.names i_35_ i_38_ i_37_ [7258]
111 1
.names [45] n_n976 [7254] [7255] [7259]
1-1- 1
-1-1 1
.names i_34_ i_35_ i_38_ [7263]
001 1
.names i_40_ i_39_ i_32_ i_34_ i_33_ [7264]
0-011 1
-0011 1
.names o_15_ n_n862 n_n1047 [6728] [7264] [7267]
1---- 1
--11- 1
-1--1 1
.names n_n980 n_n874 [569] n_n1047 [7263] [7268]
-11-- 1
1--1- 1
1---1 1
.names [7249] [7250] [7251] [7267] [7268] [7271]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1548 [1349] [7243] [7244] [7271] [7273]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_13_ [7276]
000 1
.names i_40_ i_39_ i_34_ i_35_ i_37_ [7277]
10010 1
.names i_40_ i_30_ i_39_ i_38_ [7279]
1001 1
.names i_9_ i_7_ i_5_ i_34_ [7281]
1000 1
.names i_31_ i_33_ [760] [1305] [7286]
---1 1
011- 1
.names n_n2213 [1304] [1306] [1307] [1309] [7287]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_9_ i_7_ i_5_ i_12_ i_15_ [7288]
10011 1
.names i_9_ i_7_ i_5_ i_11_ i_15_ [7289]
10011 1
.names i_31_ i_34_ i_33_ i_36_ i_35_ [7290]
00100 1
.names i_7_ i_5_ i_12_ i_16_ i_15_ [7292]
00111 1
.names i_40_ i_39_ i_31_ i_33_ i_38_ [7294]
10011 1
.names i_13_ i_32_ i_34_ i_33_ i_35_ [7296]
00011 1
.names i_24_ i_32_ i_34_ i_33_ i_35_ [7297]
10011 1
.names n_n1047 [102] [1286] [7294] [7299]
--1- 1
11-1 1
.names [1285] [1284] [7300]
1- 1
-1 1
.names i_24_ i_23_ [7303]
11 1
.names i_9_ i_7_ i_14_ i_12_ i_11_ [7307]
10111 1
.names i_15_ i_34_ i_33_ [7307] [7308]
1011 1
.names i_7_ i_34_ i_33_ [7309]
001 1
.names i_40_ i_31_ i_34_ i_33_ [7314]
0001 1
.names i_39_ i_34_ i_35_ i_38_ i_37_ [7317]
00100 1
.names i_40_ i_39_ i_35_ i_38_ i_37_ [7318]
00101 1
.names [1271] [1273] [1274] [1276] [7322]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_39_ i_36_ i_38_ [7324]
1100 1
.names i_40_ i_39_ i_36_ i_38_ [7325]
0001 1
.names n_n535 [726] [1266] [7324] [7325] [7329]
--1-- 1
1--1- 1
-1-1- 1
-1--1 1
.names i_40_ i_39_ i_37_ [7330]
010 1
.names i_40_ i_39_ i_37_ [7332]
011 1
.names i_40_ n_n998 n_n861 [501] [7332] [7335]
0-11- 1
-11-1 1
.names n_n979 n_n977 n_n861 n_n795 n_n991 [7340]
1-11- 1
-11-1 1
.names i_36_ [313] [85] [768] [6920] [7341]
-1--1 1
1-11- 1
.names i_32_ n_n998 [49] [346] n_n861 [7343]
1-1-- 1
-1-11 1
.names i_23_ i_32_ i_33_ [7347]
001 1
.names i_9_ i_7_ i_5_ i_21_ [839] [7350]
10001 1
.names [240] n_n1908 n_n1907 n_n1986 [7357]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1987 n_n1971 [245] [1228] [1230] [7358]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_39_ i_32_ i_34_ i_33_ [7360]
0011 1
.names n_n1971 n_n1952 [429] [711] [1747] [7364]
1---- 1
-1--- 1
----1 1
--11- 1
.names n_n1987 n_n1951 n_n1986 [1222] [7365]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_36_ [88] n_n1005 [489] n_n795 [7366]
0111- 1
11-11 1
.names i_3_ i_4_ n_n926 n_n833 [314] [7368]
1-1-1 1
-1-11 1
.names i_3_ i_1_ n_n833 [314] [7369]
1-11 1
-111 1
.names [181] n_n1990 n_n1992 [1749] [7374]
1--- 1
-1-- 1
--1- 1
---1 1
.names [76] [509] [6834] [6862] [7377]
111- 1
11-1 1
.names [175] n_n1908 [245] [176] [185] [7383]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n1113 n_n1580 [6943] [6944] [7377] [7384]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_4_ n_n2581 n_n926 [314] [7387]
-1-- 1
1-11 1
.names i_40_ i_1_ i_2_ i_0_ [7388]
0011 1
.names i_30_ i_28_ i_29_ [7389]
101 1
.names i_22_ i_32_ i_33_ [7390]
001 1
.names [1204] [1206] [1207] [1208] [7393]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_10_ i_27_ i_39_ [7394]
0110 1
.names i_0_ i_2_ [7396]
11 1
.names i_0_ i_3_ [7397]
11 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [7398]
11110 1
.names i_24_ i_32_ i_33_ [7399]
001 1
.names [154] [1197] [1198] [1199] [1200] [7404]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_24_ i_32_ i_33_ [7405]
001 1
.names i_22_ i_32_ i_33_ [7406]
001 1
.names n_n979 n_n949 n_n947 n_n791 [7390] [7407]
11-1- 1
1-1-1 1
.names n_n979 n_n949 n_n947 n_n791 [7406] [7408]
1-11- 1
11--1 1
.names i_29_ i_28_ [7409]
01 1
.names [1186] [1188] [1189] [7411]
1-- 1
-1- 1
--1 1
.names [661] [1187] [7398] [7404] [7411] [7413]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names i_15_ i_17_ [7414]
10 1
.names i_39_ i_36_ i_35_ i_38_ [7415]
1001 1
.names n_n560 [76] [513] [1182] [1183] [7418]
---1- 1
----1 1
111-- 1
.names n_n985 [610] [1179] [7121] [7419]
--1- 1
11-1 1
.names i_9_ i_5_ i_12_ i_16_ i_15_ [7422]
00101 1
.names i_40_ i_36_ i_35_ i_38_ i_37_ [7423]
00010 1
.names i_5_ i_11_ i_17_ i_16_ i_15_ [7424]
01001 1
.names n_n492 [76] [352] [7414] [7424] [7426]
-1--1 1
111-- 1
11-1- 1
.names i_39_ i_36_ i_35_ i_38_ [7428]
1001 1
.names [1162] [1164] [1165] [7430]
1-- 1
-1- 1
--1 1
.names i_5_ i_11_ i_15_ [618] [1161] [7431]
----1 1
0111- 1
.names i_4_ i_0_ i_36_ [7435]
011 1
.names i_40_ i_36_ i_38_ i_37_ [7442]
0101 1
.names i_7_ i_4_ i_33_ n_n1055 [77] [7446]
1-1-- 1
-1-11 1
.names [1155] [1156] [1157] [1158] [7446] [7447]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1145] [1146] [1147] [1148] [7447] [7448]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ [7451]
10110 1
.names i_40_ i_39_ i_23_ i_38_ [7452]
0101 1
.names [87] [82] [476] [1133] [7451] [7454]
---1- 1
1-1-1 1
-11-1 1
.names [87] [475] [1130] [1134] [1135] [7455]
--1-- 1
---1- 1
11--- 1
1---1 1
.names [365] [80] [6947] [6954] [7459]
111- 1
-111 1
.names n_n1928 n_n967 [79] [1122] [6895] [7461]
1---- 1
---1- 1
-11-1 1
.names [80] [1121] [6947] [6948] [7459] [7462]
-1--- 1
----1 1
1-11- 1
.names i_39_ i_38_ n_n968 n_n1074 n_n560 [7465]
---11 1
1111- 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [7466]
10001 1
11010 1
.names [1115] [1116] [7466] [7468]
1-- 1
-1- 1
--1 1
.names i_31_ [251] [85] [718] [1093] [7478]
-1--- 1
----1 1
1-11- 1
.names i_7_ i_34_ i_36_ [7479]
000 1
.names i_7_ i_14_ i_12_ i_11_ [7482]
00-- 1
0-0- 1
0--0 1
.names i_9_ i_7_ n_n1055 n_n1047 [7488]
1011 1
.names i_7_ n_n1047 [400] [737] [1075] [7493]
----1 1
0111- 1
.names [330] n_n469 n_n983 n_n976 n_n668 [7497]
-11-1 1
1--11 1
.names i_40_ [790] [1063] [7497] [7499]
--1- 1
---1 1
01-- 1
.names [182] [301] [1049] [1050] [1051] [7505]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1062] [1112] [1113] [7499] [7505] [7507]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_12_ i_11_ i_24_ [7509]
001-1 1
00-11 1
.names i_39_ i_23_ i_38_ [7510]
111 1
.names i_25_ i_21_ i_22_ i_15_ [7511]
1111 1
.names i_24_ i_22_ i_32_ [577] [7514]
1101 1
.names i_7_ i_5_ i_11_ n_n848 [7517]
0011 1
.names n_n982 n_n998 n_n861 [325] [7518]
111- 1
-111 1
.names i_25_ [532] [474] [7517] [7518] [7519]
----1 1
11--- 1
1-11- 1
.names i_23_ i_24_ i_22_ [1833] [1834] [7521]
1111- 1
111-1 1
.names [491] n_n978 n_n1074 [6731] [7522]
1111 1
.names n_n1048 [109] n_n1047 [400] [709] [7525]
1111- 1
1-111 1
.names i_17_ [84] [98] [522] [1021] [7526]
----1 1
111-- 1
11-1- 1
.names i_7_ i_33_ n_n2342 n_n2687 n_n2369 [7527]
--1-- 1
---1- 1
----1 1
11--- 1
.names [72] [512] [7521] [7522] [7528]
-11- 1
1--1 1
.names i_40_ i_39_ i_12_ i_11_ [7531]
1110 1
.names [146] [153] [1008] [1010] [7538]
1--- 1
-1-- 1
--1- 1
---1 1
.names [122] n_n2342 n_n2687 [7539]
1-- 1
-1- 1
--1 1
.names n_n2369 [140] [156] [1009] [7540]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1048 [109] n_n1047 [400] [1000] [7543]
----1 1
1111- 1
.names n_n968 [120] [583] [998] [7544]
---1 1
111- 1
.names i_19_ [484] [380] [473] [7125] [7545]
---11 1
11-1- 1
1-11- 1
.names [247] [999] [7538] [7539] [7540] [7549]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_33_ [45] n_n693 [7531] [7550]
11--- 1
--111 1
.names n_n799 n_n861 n_n1002 [624] [7330] [7552]
11-1- 1
-11-1 1
.names i_40_ n_n990 n_n861 n_n1002 [501] [7553]
-111- 1
0-1-1 1
.names i_3_ i_4_ n_n926 [314] [7555]
1-11 1
-111 1
.names i_40_ i_39_ i_23_ i_38_ i_37_ [7558]
01010 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [7564]
10000 1
.names [969] [970] [972] [973] [7570]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1935 n_n1987 [236] [971] [974] [7571]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [601] [599] [963] [964] [7574]
--1- 1
---1 1
11-- 1
.names n_n1047 [368] [837] [6850] [6863] [7578]
1111- 1
11-11 1
.names n_n2795 [1615] [7578] [7580]
1-- 1
-1- 1
--1 1
.names n_n1055 n_n979 n_n1047 [645] [644] [7584]
11-1- 1
1-1-1 1
.names n_n2785 n_n1977 [951] [953] [7585]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_14_ i_12_ i_15_ [7586]
011 1
.names n_n853 [647] [945] [7586] [7589]
--1- 1
11-1 1
.names [648] [646] [943] [7590]
--1 1
11- 1
.names [7584] [7585] [7589] [7590] [7592]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_29_ [7593]
000 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [7595]
1-00- 1
-10-0 1
.names i_34_ i_38_ i_37_ [7602]
001 1
.names n_n1021 [398] [925] [926] [932] [7606]
--1-- 1
---1- 1
11--- 1
1---1 1
.names n_n469 n_n976 [735] [920] [921] [7613]
1-1-- 1
-1-1- 1
-1--1 1
.names [244] n_n1278 [911] [914] [7614]
1--- 1
-1-- 1
--1- 1
---1 1
.names [928] [929] [7606] [7613] [7615]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_12_ i_32_ [7620]
010 1
.names i_3_ i_4_ n_n833 [314] [7623]
1-11 1
-111 1
.names i_1_ n_n833 [314] [904] [905] [7624]
---1- 1
----1 1
111-- 1
.names i_1_ n_n926 [314] [906] [7623] [7625]
---1- 1
----1 1
111-- 1
.names i_7_ i_11_ i_32_ [7626]
010 1
.names i_40_ i_39_ i_0_ i_36_ i_37_ [7628]
01101 1
.names i_40_ i_35_ i_38_ i_37_ [7630]
0101 1
.names i_0_ i_4_ [7631]
11 1
.names i_2_ n_n926 [313] [314] [7628] [7634]
--1-1 1
11-1- 1
.names [131] [402] [584] [893] [7635]
1--- 1
---1 1
-11- 1
.names [986] [7552] [7553] [7555] [7634] [7636]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [891] [7624] [7625] [7635] [7636] [7639]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_9_ i_7_ i_5_ [323] [7640]
1001 1
.names i_39_ i_34_ i_35_ i_38_ i_37_ [7641]
00100 1
.names i_40_ i_39_ i_36_ i_38_ i_37_ [7642]
11000 1
.names i_40_ i_11_ i_15_ i_38_ i_37_ [7646]
11110 1
.names i_23_ i_24_ i_22_ i_15_ i_19_ [7648]
11111 1
.names i_40_ i_38_ n_n1074 [6731] [7649]
1011 1
.names i_10_ i_27_ i_36_ i_38_ i_37_ [7652]
0-110 1
-0110 1
.names n_n528 [408] [50] [871] [7655]
---1 1
111- 1
.names n_n888 [227] [593] [869] [873] [7656]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names n_n709 n_n998 [441] n_n861 n_n1002 [7657]
-111- 1
1--11 1
.names [131] [177] [863] [7657] [7660]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_39_ i_13_ [7665]
110 1
.names [236] [848] [850] [851] [852] [7669]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_40_ i_39_ i_24_ i_37_ [7670]
1010 1
.names [519] [533] [538] [7673]
1-- 1
-1- 1
--1 1
.names n_n1328 [849] [7669] [7673] [7675]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_15_ i_40_ [7678]
11 1
.names n_n979 n_n866 [587] [477] [7680]
---1 1
111- 1
.names n_n1332 n_n1330 [7682]
1- 1
-1 1
.names [485] [7655] [7656] [7660] [7680] [7683]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_5_ i_12_ i_15_ [7686]
001 1
.names i_5_ i_15_ i_32_ i_33_ [7689]
0101 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ [7690]
10010 1
.names i_38_ i_37_ [628] [455] [7692]
---1 1
011- 1
.names i_39_ i_38_ [629] [451] [454] [7693]
---1- 1
----1 1
001-- 1
.names i_23_ i_32_ i_33_ [7694]
001 1
.names n_n979 n_n949 n_n947 [7390] [7405] [7696]
1-11- 1
11--1 1
.names n_n969 [633] [631] [447] [449] [7697]
1-1-- 1
-1-1- 1
-1--1 1
.names i_39_ i_16_ i_15_ [7698]
101 1
.names i_40_ i_39_ i_32_ i_34_ i_33_ [7701]
11001 1
.names [154] [309] [310] [312] [7704]
1--- 1
-1-- 1
--1- 1
---1 1
.names [311] [7692] [7693] [7704] [7706]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_40_ i_16_ i_15_ i_38_ [7707]
1010 1
.names i_9_ i_5_ i_12_ i_11_ i_15_ [7711]
00101 1
.names i_16_ i_15_ i_36_ i_38_ i_37_ [7712]
01001 1
.names n_n488 n_n923 [7711] [7712] [7713]
-11- 1
1--1 1
.names [294] [295] [296] [298] [7716]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_14_ i_17_ i_15_ [7717]
1-1 1
-01 1
.names [286] [288] [289] [7721]
1-- 1
-1- 1
--1 1
.names i_18_ i_21_ i_15_ [7722]
001 1
.names i_9_ i_17_ i_16_ [7726]
11- 1
1-1 1
.names i_39_ i_17_ i_36_ i_38_ i_37_ [7727]
00001 1
.names [275] [276] [278] [279] [7730]
1--- 1
-1-- 1
--1- 1
---1 1
.names [45] [308] [7713] [7716] [7730] [7731]
---1- 1
----1 1
11--- 1
1-1-- 1
.names n_n791 [277] [290] [291] [7721] [7732]
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names i_14_ n_n880 n_n1074 n_n970 [6739] [7733]
-111- 1
0-1-1 1
.names i_7_ i_33_ [427] [664] [7734]
11-- 1
--11 1
.names i_39_ i_12_ n_n1074 n_n970 [6739] [7736]
1-11- 1
-01-1 1
.names [260] [261] [263] [7734] [7736] [7739]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_3_ i_2_ i_0_ i_32_ n_n1066 [7741]
1-101 1
-1101 1
.names i_4_ i_1_ i_0_ [45] [7742]
1-11 1
-111 1
.names i_12_ i_11_ i_36_ [7745]
101 1
.names i_2_ n_n1055 [77] [248] [250] [7747]
---1- 1
----1 1
111-- 1
.names i_9_ i_5_ i_39_ i_38_ i_37_ [7749]
00111 1
.names i_4_ i_1_ i_0_ [7750]
0-1 1
-01 1
.names [45] n_n977 n_n1074 n_n864 [7749] [7751]
1---1 1
-111- 1
.names i_25_ [324] n_n975 [230] [234] [7755]
---1- 1
----1 1
011-- 1
.names i_4_ i_2_ i_0_ i_32_ n_n1066 [7756]
1-101 1
-1101 1
.names i_40_ i_39_ i_36_ i_38_ [7757]
1111 1
.names i_5_ i_13_ i_12_ [7760]
000 1
.names [69] [217] [7756] [7757] [7761]
-1-- 1
1--1 1
--11 1
.names [218] [232] [235] [7751] [7755] [7762]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [243] [249] [7747] [7761] [7763]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1195 [7706] [7731] [7732] [7762] [7766]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_12_ i_11_ i_36_ i_35_ [7767]
1010 1
.names i_9_ i_7_ i_5_ i_16_ [7771]
0000 1
.names i_7_ i_5_ i_32_ i_33_ [7772]
0001 1
.names i_40_ [313] [211] [6920] [7775]
--1- 1
01-1 1
.names [366] [662] [208] [209] [210] [7776]
--1-- 1
---1- 1
----1 1
11--- 1
.names i_39_ i_36_ i_38_ i_37_ [7777]
1001 1
.names i_39_ i_32_ i_33_ i_38_ i_37_ [7779]
00100 1
.names i_13_ i_32_ i_34_ i_33_ i_35_ [7781]
00010 1
.names i_7_ i_5_ i_14_ i_12_ i_15_ [7783]
00011 1
.names [408] [50] [54] [204] [7786]
---1 1
111- 1
.names [198] [199] [200] [201] [7787]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n978 [603] [191] [192] [7792]
--1- 1
---1 1
11-- 1
.names [188] [190] [193] [7792] [7793]
1--- 1
-1-- 1
--1- 1
---1 1
.names [203] [7775] [7776] [7786] [7787] [7794]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_26_ i_39_ [7795]
00 1
.names i_7_ i_5_ i_12_ [7796]
000 1
.names [313] n_n693 [169] [171] [7795] [7800]
--1-- 1
---1- 1
11--1 1
.names n_n2581 [167] [168] [170] [7801]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_34_ i_36_ i_37_ [7803]
010 1
.names i_40_ i_39_ i_37_ [7805]
001 1
.names i_9_ i_7_ i_5_ i_17_ [7806]
0000 1
.names i_39_ i_36_ i_35_ i_38_ i_37_ [7808]
1000- 1
-0000 1
.names i_32_ i_31_ i_34_ i_33_ [7809]
0101 1
.names n_n979 n_n883 n_n861 [7803] [7805] [7810]
-111- 1
1-1-1 1
.names [144] [150] [151] [7810] [7813]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_7_ i_5_ i_21_ [7815]
1000 1
.names i_40_ i_23_ i_38_ i_37_ [7816]
1101 1
.names i_17_ i_15_ i_32_ i_33_ [7817]
1101 1
.names i_12_ i_11_ i_15_ [7818]
011 1
.names i_14_ i_12_ i_15_ [7819]
011 1
.names n_n775 [483] [74] [108] [111] [7821]
--1-- 1
11--- 1
1--1- 1
1---1 1
.names [7821] [56] [7823]
1- 1
-1 1
.end