.model top
.inputs i_30_ i_20_ i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_27_ i_14_ i_3_ 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_2_ o_0_
.names n_n1684 [7250] [7252] [7257] o_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1816 [7714] [7746] [7747] o_2_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1558 n_n1559 n_n1542 [8096] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_33_ i_37_ [59]
01 1
.names n_n1862 [7370] [7371] [7383] n_n1827
1--- 1
-1-- 1
--1- 1
---1 1
.names i_38_ n_n1870 [627] [7407] n_n1829
-1-- 1
---1 1
1-1- 1
.names [7432] [7433] [7435] [7441] n_n1812
1--- 1
-1-- 1
--1- 1
---1 1
.names [990] [991] [992] [993] n_n1866
1--- 1
-1-- 1
--1- 1
---1 1
.names [983] [987] [7727] [7728] n_n1865
1--- 1
-1-- 1
--1- 1
---1 1
.names i_36_ [548] [960] [961] n_n1558
--1- 1
---1 1
11-- 1
.names i_36_ [566] [7771] n_n1559
--1 1
11- 1
.names n_n1548 n_n1545 [7923] [8079] n_n1542
1--- 1
-1-- 1
--1- 1
---1 1
.names i_11_ i_19_ [204]
00 1
.names i_9_ i_5_ i_6_ i_4_ [232]
0000 1
.names i_23_ i_21_ [296]
00 1
.names n_n1443 [79] n_n460 [462]
111 1
.names i_27_ i_28_ i_29_ [227] [493]
0001 1
.names i_28_ i_26_ [58]
00 1
.names i_27_ i_28_ i_26_ n_n1441
000 1
.names i_13_ i_16_ [43]
00 1
.names i_13_ i_17_ i_16_ n_n1443
000 1
.names i_32_ i_31_ [302]
00 1
.names i_32_ i_31_ i_34_ n_n1433
001 1
.names i_30_ i_28_ i_26_ n_n1425
000 1
.names i_23_ i_24_ [54]
00 1
.names i_25_ i_23_ i_24_ n_n1396
100 1
.names i_14_ i_16_ [10]
00 1
.names i_14_ i_12_ i_16_ n_n1404
000 1
.names i_23_ i_24_ i_16_ n_n1390
000 1
.names i_14_ i_12_ [415]
00 1
.names i_7_ i_14_ i_12_ n_n1372
100 1
.names i_27_ i_26_ i_24_ n_n1369
000 1
.names i_13_ i_12_ i_16_ n_n1429
000 1
.names i_25_ i_26_ i_24_ n_n1454
000 1
.names i_28_ i_29_ [42]
00 1
.names i_30_ i_28_ i_29_ n_n1489
000 1
.names i_9_ i_10_ i_8_ n_n1353
100 1
.names i_35_ i_38_ n_n1361
01 1
.names i_25_ i_24_ [428]
00 1
.names i_28_ i_25_ i_24_ n_n1423
000 1
.names i_34_ i_37_ n_n1295
11 1
.names i_28_ i_24_ i_29_ n_n1439
000 1
.names i_30_ i_32_ [3]
1- 1
-1 1
.names i_30_ i_32_ i_31_ n_n1438
000 1
.names i_34_ i_35_ n_n1397
01 1
.names i_20_ i_23_ i_17_ n_n1274
000 1
.names i_31_ i_34_ n_n1334
11 1
.names i_28_ i_29_ n_n1368
01 1
.names i_27_ i_28_ i_24_ n_n1216
000 1
.names i_13_ i_12_ [290]
00 1
.names i_7_ i_13_ i_12_ n_n1391
100 1
.names i_28_ i_25_ i_26_ n_n1478
000 1
.names i_5_ i_4_ i_2_ n_n1307
000 1
.names i_34_ i_33_ n_n1374
11 1
.names i_34_ i_35_ i_38_ n_n805
101 1
.names i_31_ i_34_ i_35_ n_n1504
101 1
.names i_9_ i_8_ i_6_ n_n841
000 1
.names i_9_ i_10_ i_6_ n_n853
000 1
.names i_27_ i_28_ i_23_ n_n793
000 1
.names i_9_ i_7_ i_12_ n_n1315
010 1
.names i_20_ i_23_ i_21_ n_n1092
100 1
.names i_27_ i_28_ i_29_ n_n1406
001 1
.names i_28_ i_25_ i_29_ n_n1466
000 1
.names i_5_ i_6_ [224]
00 1
.names i_7_ i_5_ i_6_ n_n1278
000 1
.names i_3_ i_4_ i_2_ n_n787
100 1
.names i_33_ i_35_ i_38_ n_n1197
001 1
.names i_30_ i_32_ n_n1197 n_n762
001 1
.names i_9_ i_8_ i_3_ n_n1038
100 1
.names i_13_ i_23_ i_16_ n_n1314
000 1
.names i_27_ i_28_ i_29_ n_n1375
000 1
.names i_7_ i_8_ [13]
00 1
.names i_7_ i_8_ i_12_ n_n1141
000 1
.names i_6_ i_12_ n_n1307 [7086] n_n544
0011 1
.names i_28_ i_26_ i_29_ n_n1486
000 1
.names i_14_ i_17_ i_16_ n_n1408
000 1
.names i_35_ i_37_ n_n1318
01 1
.names i_33_ i_35_ i_37_ n_n504
001 1
.names i_18_ n_n1278 [404] [297]
011 1
.names i_8_ i_18_ n_n1278 [404] n_n416
0011 1
.names i_32_ i_29_ [243]
00 1
.names i_32_ i_33_ i_29_ n_n1305
000 1
.names i_8_ i_5_ i_6_ n_n1118
000 1
.names n_n1278 n_n1408 n_n1279 n_n358
111 1
.names i_9_ i_13_ i_18_ n_n1048
101 1
.names i_5_ i_4_ i_2_ n_n1144 [76]
0001 1
.names n_n1307 n_n1048 n_n1144 n_n307
111 1
.names i_14_ i_23_ i_16_ n_n1263
000 1
.names n_n1307 n_n1263 n_n1306 n_n620
111 1
.names i_28_ i_32_ i_29_ n_n1288
000 1
.names i_27_ i_23_ i_24_ n_n1018
000 1
.names i_23_ i_24_ i_17_ n_n1400
000 1
.names i_9_ i_5_ i_6_ n_n819
100 1
.names i_4_ i_2_ [7419] [7425] n_n394
0011 1
.names n_n1443 n_n1278 n_n1279 n_n458
111 1
.names i_6_ i_12_ n_n1307 [7426] n_n391
0011 1
.names i_9_ i_13_ i_11_ n_n1055
101 1
.names n_n1055 n_n461 [7411] n_n372
111 1
.names i_32_ i_35_ i_38_ n_n1179
001 1
.names i_24_ i_22_ [7265] [257]
001 1
.names i_24_ i_22_ n_n1179 [7265] n_n300
0011 1
.names i_28_ i_34_ i_29_ n_n1225
010 1
.names i_5_ i_6_ i_4_ n_n461
000 1
.names n_n461 [7411] [7412] n_n294
111 1
.names i_10_ i_13_ i_16_ n_n301
000 1
.names i_36_ i_35_ n_n880
10 1
.names i_9_ i_7_ i_6_ n_n1100
000 1
.names i_5_ i_6_ n_n1279 [51]
001 1
.names i_14_ i_23_ i_17_ i_16_ [260]
0000 1
.names i_5_ i_6_ [260] n_n1279 n_n437
0011 1
.names i_35_ i_37_ n_n571
11 1
.names i_27_ i_23_ i_17_ n_n1258
000 1
.names i_17_ i_16_ [263]
00 1
.names i_17_ i_21_ i_16_ n_n825
000 1
.names i_34_ i_33_ i_35_ n_n1437
100 1
.names i_32_ i_34_ i_33_ n_n1340
010 1
.names i_9_ i_13_ i_16_ n_n180
000 1
.names i_18_ i_17_ i_16_ n_n132
000 1
.names i_4_ i_1_ i_0_ n_n152
000 1
.names i_33_ i_38_ n_n1300
01 1
.names i_30_ i_32_ i_29_ n_n1472
000 1
.names i_8_ i_5_ i_6_ n_n1279 [50]
0001 1
.names i_28_ i_22_ n_n1454 [52]
001 1
.names i_32_ n_n1307 n_n1100 [85]
011 1
.names i_9_ i_10_ n_n1307 n_n1303 [223]
0011 1
.names i_31_ i_35_ i_38_ [264]
001 1
.names i_34_ i_38_ [266]
11 1
.names i_33_ i_38_ [61] [388]
011 1
.names i_32_ i_31_ i_35_ i_38_ [446]
0001 1
.names i_19_ [262] [18] [436] [529]
-1-- 1
---1 1
1-1- 1
.names [1215] [1218] [7511] [7512] n_n1871
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_13_ i_12_ n_n1147
000 1
.names i_7_ i_14_ i_12_ n_n1089
000 1
.names i_27_ i_26_ i_24_ i_36_ [79]
0001 1
.names i_24_ i_34_ [298]
01 1
.names n_n1375 n_n1400 [244] [7789] [410]
1111 1
.names n_n1441 n_n1400 n_n1472 [7785] [516]
1111 1
.names n_n1314 n_n1141 n_n1322 [7243] [530]
11-- 1
--11 1
.names [935] [7793] [7794] [7795] n_n1580
1--- 1
-1-- 1
--1- 1
---1 1
.names i_28_ i_34_ i_29_ n_n1326
001 1
.names i_23_ i_24_ i_21_ i_34_ [245]
0011 1
.names i_30_ i_28_ [277]
00 1
.names i_14_ i_32_ i_31_ i_33_ [340]
1001 1
.names i_20_ n_n1406 n_n1213 [7000] [432]
0111 1
.names i_13_ i_12_ i_17_ i_16_ [533]
00-0 1
0-00 1
.names [43] n_n1315 [263] n_n1323 [532]
11-- 1
--11 1
.names [7806] [7807] [7808] n_n1579
1-- 1
-1- 1
--1 1
.names i_27_ i_28_ i_24_ i_29_ [80]
0000 1
.names n_n1314 n_n1141 n_n1322 [7243] [536]
11-- 1
--11 1
.names n_n1315 n_n1263 n_n1285 n_n1322 [535]
11-- 1
--11 1
.names [916] [918] [7812] [7813] n_n1581
1--- 1
-1-- 1
--1- 1
---1 1
.names i_12_ i_24_ i_17_ n_n1519
101 1
.names i_34_ i_35_ i_38_ n_n1419
011 1
.names i_28_ i_33_ i_29_ n_n1302
000 1
.names i_7_ i_13_ i_16_ n_n1401
100 1
.names i_8_ i_2_ [283]
00 1
.names i_9_ i_8_ i_2_ n_n1192
100 1
.names i_28_ i_33_ i_29_ n_n1257
010 1
.names i_9_ i_7_ i_13_ n_n1323
010 1
.names i_4_ i_1_ i_2_ n_n1279
000 1
.names i_32_ i_31_ i_29_ n_n1133
000 1
.names i_28_ i_31_ i_29_ n_n1128
000 1
.names i_7_ i_8_ i_6_ n_n1303
000 1
.names i_9_ i_7_ i_14_ n_n1285
010 1
.names i_13_ i_12_ i_11_ n_n586
011 1
.names i_26_ i_24_ i_22_ n_n1523
000 1
.names i_23_ i_17_ i_16_ n_n1322
000 1
.names n_n1307 n_n1314 n_n1306 n_n269
111 1
.names i_8_ i_13_ i_16_ [259]
000 1
.names n_n1278 n_n1279 [259] n_n242
111 1
.names i_32_ i_34_ i_35_ n_n1202
001 1
.names i_8_ i_14_ i_16_ [258]
000 1
.names n_n1278 n_n1279 [258] n_n355
111 1
.names i_30_ i_28_ i_31_ n_n1345
000 1
.names n_n819 n_n1279 [7413] n_n371
111 1
.names i_28_ n_n1197 n_n1523 [53]
011 1
.names i_28_ i_32_ n_n1197 n_n1523 n_n316
0011 1
.names i_13_ i_18_ i_19_ n_n735
011 1
.names i_6_ i_12_ n_n1307 [7423] n_n315
0011 1
.names i_27_ i_28_ i_31_ n_n984
001 1
.names i_32_ i_33_ i_35_ n_n1458
000 1
.names i_26_ i_23_ i_24_ n_n1213
000 1
.names i_23_ i_17_ i_19_ n_n177
000 1
.names i_34_ i_33_ i_29_ n_n1241
100 1
.names i_23_ i_18_ i_17_ n_n179
000 1
.names i_5_ i_4_ i_0_ n_n245
000 1
.names i_30_ i_28_ i_32_ n_n1431
000 1
.names n_n1406 n_n1213 [7491] [62]
111 1
.names i_26_ i_24_ i_22_ [7266] [70]
0001 1
.names i_12_ n_n1307 n_n1303 [72]
011 1
.names n_n1278 n_n1279 [7492] [212]
111 1
.names i_25_ i_24_ i_38_ [239]
001 1
.names i_38_ n_n1278 n_n1279 [250]
111 1
.names i_28_ i_34_ i_33_ i_29_ [288]
0100 1
.names i_13_ i_12_ i_17_ i_16_ [539]
00-0 1
0-00 1
.names n_n1423 n_n1439 n_n1340 [7409] [537]
-11- 1
1--1 1
.names [7493] [7494] [7495] n_n1881
1-- 1
-1- 1
--1 1
.names i_32_ i_36_ i_35_ n_n576
010 1
.names i_28_ i_31_ i_29_ n_n1499
010 1
.names i_23_ i_34_ i_35_ [47]
001 1
.names n_n576 [44] [7749] [7847] [307]
1111 1
.names i_13_ i_12_ i_17_ i_16_ [541]
00-0 1
0-00 1
.names n_n329 [468] [67] [367] [540]
11-- 1
--11 1
.names n_n1408 n_n1118 n_n1279 n_n195
111 1
.names [863] [864] [7874] [7875] n_n1563
1--- 1
-1-- 1
--1- 1
---1 1
.names i_34_ i_36_ i_35_ [86]
110 1
.names i_34_ i_36_ [244]
11 1
.names i_27_ i_28_ i_31_ [47] [275]
0011 1
.names n_n1216 n_n1133 [86] [483]
111 1
.names n_n1018 n_n1128 [86] [500]
111 1
.names [41] [221] [495] [7189] [543]
-11- 1
1--1 1
.names n_n1563 [877] [7866] [7882] n_n1548
1--- 1
-1-- 1
--1- 1
---1 1
.names [7916] [7917] [7920] n_n1568
1-- 1
-1- 1
--1 1
.names i_28_ i_26_ i_24_ n_n1497
000 1
.names i_14_ i_13_ i_12_ n_n1384
100 1
.names i_32_ i_31_ i_33_ n_n1393
001 1
.names i_23_ i_17_ i_21_ n_n1282
000 1
.names i_9_ i_6_ i_13_ n_n839
001 1
.names i_32_ i_34_ i_33_ n_n1311
000 1
.names n_n1429 n_n1307 n_n1303 n_n263
111 1
.names n_n1404 n_n1307 n_n1303 n_n363
111 1
.names i_13_ i_12_ i_18_ n_n584
011 1
.names i_9_ i_8_ i_11_ n_n1033
101 1
.names i_4_ i_2_ [7419] [7420] n_n309
0011 1
.names i_4_ i_2_ [7419] [7424] n_n317
0011 1
.names i_10_ i_7_ i_11_ n_n712
110 1
.names n_n819 n_n1279 n_n735 n_n284
111 1
.names i_9_ i_8_ i_13_ n_n1028
100 1
.names i_13_ i_11_ i_16_ n_n178
000 1
.names i_28_ i_32_ i_29_ n_n460
001 1
.names i_24_ i_38_ [9]
01 1
.names i_30_ i_29_ [57]
00 1
.names i_30_ i_7_ i_8_ [77]
000 1
.names i_28_ i_22_ [83]
01 1
.names i_28_ i_34_ i_35_ i_29_ [372]
0011 1
.names i_33_ i_38_ n_n1486 [380]
011 1
.names i_24_ i_38_ [71] [395]
011 1
.names i_26_ i_24_ i_33_ i_38_ [503]
0001 1
.names i_14_ i_13_ i_16_ n_n1387
100 1
.names i_7_ i_6_ i_12_ n_n1306
000 1
.names i_9_ i_10_ i_24_ n_n1359
100 1
.names i_27_ i_23_ i_21_ n_n1080
001 1
.names i_23_ i_21_ i_16_ n_n1254
000 1
.names i_8_ i_12_ [411]
00 1
.names i_8_ i_6_ i_12_ n_n1144
000 1
.names [196] [812] [7926] [7927] n_n1585
1--- 1
-1-- 1
--1- 1
---1 1
.names i_32_ i_34_ i_35_ n_n1422
010 1
.names i_14_ i_12_ i_17_ i_16_ [8]
00-0 1
0-00 1
.names n_n1390 n_n1400 n_n1384 n_n1387 [38]
1-1- 1
-1-1 1
.names i_22_ [803] [1661] [90]
--1 1
11- 1
.names n_n1489 [340] [7682] [112]
111 1
.names [372] [7029] [127]
11 1
.names i_14_ i_12_ i_17_ i_16_ [546]
00-0 1
0-00 1
.names n_n1585 [90] [7938] n_n1556
1-- 1
-1- 1
--1 1
.names i_30_ i_31_ i_29_ n_n1459
000 1
.names i_7_ i_14_ i_16_ n_n1377
100 1
.names i_23_ i_24_ i_21_ n_n1312
001 1
.names i_30_ i_34_ i_36_ i_35_ n_n820
0011 1
.names i_9_ [204] n_n1307 n_n1303 n_n706
0111 1
.names i_24_ i_22_ [205]
00 1
.names i_10_ i_24_ i_22_ n_n1191
000 1
.names i_6_ i_12_ n_n1307 [7051] n_n608
0011 1
.names i_9_ i_3_ i_11_ n_n1058
101 1
.names i_14_ i_13_ i_16_ n_n916
010 1
.names i_20_ i_17_ i_16_ n_n629
000 1
.names i_19_ [288] [12] n_n338
111 1
.names i_9_ i_13_ n_n1307 n_n1303 [261]
0111 1
.names i_9_ n_n1307 n_n1303 [6881] n_n129
0111 1
.names i_3_ i_4_ i_0_ n_n26
100 1
.names [296] n_n1443 n_n1369 n_n1368 [463]
1111 1
.names [965] [966] [967] [968] [548]
1--- 1
-1-- 1
--1- 1
---1 1
.names [232] n_n841 [338] [7753] [547]
-11- 1
1--1 1
.names [451] [7952] [7953] [7954] n_n1574
1--- 1
-1-- 1
--1- 1
---1 1
.names [412] [7963] [7964] [7965] n_n1575
1--- 1
-1-- 1
--1- 1
---1 1
.names [7978] [7979] [7980] [7981] n_n1578
1--- 1
-1-- 1
--1- 1
---1 1
.names [195] [7989] [7990] [7991] n_n1576
1--- 1
-1-- 1
--1- 1
---1 1
.names i_21_ [688] [8002] [8003] n_n1577
--1- 1
---1 1
11-- 1
.names [174] [176] [177] [8016] n_n1571
1--- 1
-1-- 1
--1- 1
---1 1
.names [8035] [8036] [8037] n_n1573
1-- 1
-1- 1
--1 1
.names i_21_ [730] [8046] [8047] n_n1572
--1- 1
---1 1
11-- 1
.names n_n1571 [8049] [8052] [8054] n_n1545
1--- 1
-1-- 1
--1- 1
---1 1
.names i_27_ i_23_ i_16_ n_n1251
000 1
.names i_25_ i_24_ i_19_ n_n998
001 1
.names n_n1397 n_n1258 n_n1257 n_n1387 [124]
1111 1
.names n_n1397 n_n1257 n_n1384 n_n1251 [132]
1111 1
.names i_28_ i_31_ n_n1369 [236]
011 1
.names i_28_ i_0_ i_29_ n_n1369 [355]
0111 1
.names [10] [290] n_n1282 n_n1254 [550]
1-1- 1
-1-1 1
.names [129] [8061] [8062] n_n1583
1-- 1
-1- 1
--1 1
.names [118] [119] [120] [8067] n_n1582
1--- 1
-1-- 1
--1- 1
---1 1
.names i_34_ i_33_ n_n1396 n_n1375 [252]
1111 1
.names n_n1315 n_n1314 n_n1322 [557] [555]
11-- 1
--11 1
.names [236] [555] [8071] [8072] n_n1584
--1- 1
---1 1
11-- 1
.names i_28_ i_34_ i_35_ i_29_ [214]
0010 1
.names i_32_ i_34_ i_36_ i_35_ [227]
0011 1
.names i_31_ i_36_ i_35_ [265]
010 1
.names i_27_ i_28_ i_23_ i_29_ [267]
0000 1
.names n_n1443 n_n1408 n_n1118 n_n1279 [559]
1-11 1
-111 1
.names i_5_ i_6_ n_n1279 [6920] n_n329
0011 1
.names n_n1443 n_n1118 n_n1279 [312]
111 1
.names i_27_ i_26_ i_24_ n_n1128 [468]
0001 1
.names n_n1438 [6948] [6949] [126]
111 1
.names n_n1438 [6948] [7653] [128]
111 1
.names n_n1489 n_n1393 [1649] [1650] [196]
111- 1
11-1 1
.names i_26_ i_24_ i_34_ [452]
000 1
.names n_n1369 n_n1368 n_n1282 [7761] [363]
1111 1
.names i_14_ i_13_ i_17_ i_16_ [420]
0100 1
.names [232] [44] [7749] [7769] [455]
1111 1
.names [956] [957] [958] [959] [566]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n301 [363] [7776] [7777] [568]
11-- 1
--11 1
.names i_28_ i_31_ i_34_ n_n1511
011 1
.names i_17_ i_16_ i_19_ n_n130
000 1
.names i_6_ i_12_ n_n1353 n_n1307 [475]
0011 1
.names i_24_ n_n1353 n_n1307 [7050] n_n849
0111 1
.names i_34_ i_33_ i_35_ i_38_ n_n1059
0011 1
.names i_20_ n_n1406 n_n1213 [222]
011 1
.names i_20_ n_n1406 n_n1213 [6893] n_n18
0111 1
.names i_20_ n_n1406 n_n1213 [6890] n_n21
0111 1
.names i_27_ i_28_ i_23_ [7942] [299]
0001 1
.names i_23_ i_24_ i_16_ [6993] [342]
0001 1
.names n_n1441 n_n1438 n_n880 [7831] [478]
1111 1
.names [43] n_n1315 [263] n_n1323 [572]
11-- 1
--11 1
.names i_27_ i_28_ i_29_ n_n1400 [48]
0001 1
.names i_36_ i_35_ n_n1459 [385]
101 1
.names i_27_ i_28_ i_29_ n_n1213 [67]
0001 1
.names [79] [7822] [418]
11 1
.names i_3_ i_11_ i_18_ i_19_ [578]
1-0- 1
-0-0 1
.names [41] [221] [367] [384] [576]
-11- 1
1--1 1
.names i_35_ i_38_ n_n1439 n_n1340 [253]
0111 1
.names i_24_ i_35_ i_38_ [71] [330]
0011 1
.names i_10_ i_12_ [405]
11 1
.names n_n394 n_n391 n_n315 n_n317 [583]
1--- 1
-1-- 1
--1- 1
---1 1
.names [253] [583] [1281] [1283] n_n1847
--1- 1
---1 1
11-- 1
.names i_14_ i_13_ i_12_ i_17_ [585]
11-- 1
--11 1
.names [1125] [7615] n_n1889
1- 1
-1 1
.names n_n1307 n_n787 [361] [353] [4]
1-1- 1
-1-1 1
.names i_35_ i_38_ n_n1425 [7276] [56]
0111 1
.names i_31_ i_33_ i_35_ i_38_ [226]
0001 1
.names i_30_ i_28_ i_32_ [7272] [282]
0001 1
.names [1449] [1450] [7282] n_n1856
1-- 1
-1- 1
--1 1
.names i_35_ i_38_ n_n1454 [81]
011 1
.names i_30_ i_28_ n_n1197 n_n1523 [377]
0011 1
.names n_n1856 [1457] [7267] [7290] n_n1825
1--- 1
-1-- 1
--1- 1
---1 1
.names [1428] [1429] [1430] [1431] n_n1854
1--- 1
-1-- 1
--1- 1
---1 1
.names i_28_ i_25_ i_26_ i_29_ [71]
0000 1
.names [1382] [1383] [1384] [7345] n_n1861
1--- 1
-1-- 1
--1- 1
---1 1
.names i_28_ i_29_ n_n1369 n_n1274 [319]
0111 1
.names n_n1425 [277] [6951] [6952] [599]
1-1- 1
-1-1 1
.names n_n1396 n_n1406 [245] [6958] [598]
-11- 1
1--1 1
.names i_21_ n_n1302 [372] [6957] [597]
1-1- 1
-1-1 1
.names [6961] [6962] [6963] n_n1718
1-- 1
-1- 1
--1 1
.names i_34_ i_37_ n_n1018 n_n1302 [317]
1111 1
.names i_27_ i_28_ i_29_ i_37_ [365]
0001 1
.names n_n358 n_n355 [48] [221] [601]
-11- 1
1--1 1
.names n_n437 n_n195 [273] [256] [600]
-11- 1
1--1 1
.names n_n1406 n_n1213 n_n629 [6876] [233]
1111 1
.names i_34_ i_33_ i_35_ i_37_ [246]
0011 1
.names i_35_ i_37_ n_n1375 n_n1311 [492]
1111 1
.names i_20_ i_23_ n_n1369 n_n460 [63]
0011 1
.names i_14_ i_16_ i_37_ [268]
001 1
.names i_9_ i_6_ i_11_ i_19_ [361]
0000 1
.names i_11_ i_17_ i_16_ i_19_ [431]
0000 1
.names n_n1303 n_n245 [44] [6899] [508]
1111 1
.names n_n1141 n_n1213 [7053] [7976] [301]
1111 1
.names i_24_ i_21_ i_34_ n_n1425 [441]
0101 1
.names n_n1408 n_n916 [7827] [7828] [608]
1-1- 1
-1-1 1
.names i_31_ n_n1307 n_n1144 [360]
011 1
.names n_n1443 n_n1429 [437] [891] [610]
1-1- 1
-11- 1
1--1 1
.names i_32_ [226] n_n1149
01 1
.names i_28_ i_24_ i_34_ i_29_ [447]
0010 1
.names n_n1118 n_n1058 [434] [7415] [21]
--1- 1
11-1 1
.names n_n1197 n_n1523 [7466] [235]
111 1
.names [1264] [1265] [1266] [1267] n_n1846
1--- 1
-1-- 1
--1- 1
---1 1
.names i_28_ i_26_ i_24_ i_22_ [61]
0000 1
.names i_30_ i_32_ n_n1225 [1111] [616]
---1 1
1-1- 1
-11- 1
.names i_14_ i_13_ i_12_ i_17_ [615]
11-- 1
--11 1
.names i_12_ i_24_ i_17_ [1108] [614]
---1 1
101- 1
.names [616] [614] [1105] [1106] n_n1892
--1- 1
---1 1
11-- 1
.names i_30_ i_27_ i_16_ i_32_ [35]
11-- 1
-1-1 1
--11 1
.names n_n1892 [1097] [7631] [7632] n_n1837
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1425 [7276] [7301] [249]
111 1
.names i_28_ i_25_ i_26_ i_38_ [311]
0001 1
.names i_24_ i_38_ [77] [78] [329]
0111 1
.names i_28_ i_32_ i_33_ i_29_ [344]
0000 1
.names [1372] [1377] [7357] [7358] n_n1862
1--- 1
-1-- 1
--1- 1
---1 1
.names i_5_ i_4_ i_2_ n_n839 [218]
0001 1
.names n_n1307 n_n1100 n_n1311 [7377] [310]
1111 1
.names i_28_ i_25_ i_24_ n_n805 [315]
0001 1
.names i_34_ i_35_ i_38_ n_n1302 [387]
0111 1
.names i_10_ n_n1307 n_n841 [408]
011 1
.names n_n1489 [784] [1337] [7400] n_n1870
--1- 1
---1 1
11-- 1
.names i_28_ i_25_ i_26_ i_22_ [78]
0000 1
.names i_34_ i_35_ i_38_ n_n1466 [271]
1011 1
.names i_30_ i_24_ [278]
00 1
.names i_13_ i_32_ n_n1307 n_n1100 [346]
1011 1
.names [52] [223] [261] [1330] [627]
---1 1
11-- 1
1-1- 1
.names i_31_ i_34_ n_n1375 [320]
111 1
.names i_14_ i_35_ i_37_ [416]
001 1
.names n_n1396 n_n1406 [245] [6958] [630]
-11- 1
1--1 1
.names i_14_ i_12_ i_17_ i_16_ [629]
00-0 1
0-00 1
.names [1715] [1716] [1717] [6977] n_n1719
1--- 1
-1-- 1
--1- 1
---1 1
.names i_34_ i_35_ i_37_ [248]
101 1
.names i_10_ i_14_ i_13_ i_16_ [634]
00-0 1
-010 1
.names n_n329 [312] [6937] [6938] [632]
-11- 1
1--1 1
.names n_n245 [44] [6899] [88]
111 1
.names [1564] [1565] [1566] [1567] n_n1697
1--- 1
-1-- 1
--1- 1
---1 1
.names [1697] [1701] [6989] [6990] n_n1720
1--- 1
-1-- 1
--1- 1
---1 1
.names [1688] [1689] [1690] [7001] n_n1716
1--- 1
-1-- 1
--1- 1
---1 1
.names [1682] [1683] [7010] [7011] n_n1715
1--- 1
-1-- 1
--1- 1
---1 1
.names i_22_ [803] [1659] [1661] n_n1723
--1- 1
---1 1
11-- 1
.names i_28_ i_29_ n_n1369 [7033] [55]
0111 1
.names [7044] [7045] n_n1684
1- 1
-1 1
.names i_21_ i_19_ n_n712 [440]
101 1
.names n_n1408 n_n916 [7827] [7828] [644]
1-1- 1
-1-1 1
.names n_n358 n_n355 [48] [221] [643]
-11- 1
1--1 1
.names [447] [35] [1086] [1087] n_n1896
--1- 1
---1 1
11-- 1
.names i_24_ i_35_ i_38_ [12]
001 1
.names i_35_ i_38_ n_n1305 n_n1497 [254]
0111 1
.names i_35_ i_38_ n_n1454 n_n1288 [381]
0111 1
.names i_28_ i_26_ i_33_ i_29_ [430]
0000 1
.names i_25_ i_34_ i_35_ i_38_ [429]
0011 1
.names i_31_ [1288] [1289] [7452] n_n1852
---1 1
01-- 1
0-1- 1
.names n_n316 [755] [1314] [1316] n_n1843
--1- 1
---1 1
11-- 1
.names i_35_ i_38_ n_n1423 [7409] [75]
0111 1
.names n_n394 n_n391 n_n315 n_n317 [654]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_24_ i_35_ i_38_ [78] [276]
0011 1
.names n_n461 [7411] [7427] [423]
111 1
.names n_n372 n_n294 n_n371 n_n284 [656]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_14_ [233] [314] [7136] [664]
01-- 1
--11 1
.names i_10_ i_14_ i_13_ i_16_ [663]
00-0 1
-010 1
.names i_13_ i_12_ i_17_ i_16_ [29]
00-0 1
0-00 1
.names i_27_ i_23_ i_24_ n_n1225 [273]
0001 1
.names n_n1307 n_n1314 n_n1144 [491]
111 1
.names i_37_ [768] [7062] [7094] n_n1690
--1- 1
---1 1
11-- 1
.names i_14_ i_12_ i_17_ i_16_ [668]
00-0 1
0-00 1
.names n_n461 [79] n_n460 n_n1254 [383]
1111 1
.names n_n1408 n_n916 [7827] [7828] [669]
1-1- 1
-1-1 1
.names i_33_ i_35_ i_38_ [61] [390]
0011 1
.names n_n372 n_n294 n_n371 n_n284 [671]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n372 n_n294 n_n371 n_n284 [675]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_19_ [435] [1323] [1324] [674]
-1-- 1
1-1- 1
1--1 1
.names n_n372 n_n294 n_n371 n_n284 [676]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1256] [1257] [1258] [1259] n_n1844
1--- 1
-1-- 1
--1- 1
---1 1
.names i_25_ i_26_ i_24_ n_n1179 [270]
0001 1
.names n_n394 n_n391 n_n315 n_n317 [677]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1846 n_n1844 [7477] n_n1821
1-- 1
-1- 1
--1 1
.names n_n1307 n_n1288 n_n1100 [272]
111 1
.names i_28_ i_25_ i_29_ n_n1419 [379]
0001 1
.names i_35_ i_37_ n_n1216 n_n1241 [482]
0111 1
.names i_27_ i_28_ i_26_ n_n1400 [74]
0001 1
.names i_16_ [189] [190] [191] [688]
-1-- 1
0-1- 1
0--1 1
.names i_14_ i_12_ i_17_ i_16_ [687]
00-0 1
0-00 1
.names i_9_ i_12_ [68]
11 1
.names i_38_ n_n1307 n_n1306 [206]
111 1
.names i_12_ n_n1307 n_n1303 [9] [519]
0111 1
.names n_n1423 n_n1439 n_n1340 [7409] [692]
-11- 1
1--1 1
.names [71] [430] [691]
1- 1
-1 1
.names [7502] [7503] [7504] n_n1882
1-- 1
-1- 1
--1 1
.names i_34_ i_37_ n_n1216 [57] [524]
1111 1
.names i_14_ i_12_ i_17_ i_16_ [694]
00-0 1
0-00 1
.names n_n1391 n_n1401 [6960] [7017] [693]
-11- 1
1--1 1
.names [1587] [7110] [7111] n_n1714
1-- 1
-1- 1
--1 1
.names i_33_ i_37_ n_n1429 [470]
011 1
.names n_n1437 [698] [1542] [7169] [697]
--1- 1
---1 1
11-- 1
.names i_37_ [697] [7172] n_n1703
--1 1
11- 1
.names n_n1345 n_n576 n_n1282 [8010] [295]
1111 1
.names n_n1307 n_n1100 [344] [7523] [286]
1111 1
.names i_24_ [223] [266] [1214] [700]
---1 1
011- 1
.names n_n1375 n_n1213 [7006] [306]
111 1
.names i_32_ i_31_ i_34_ [6984] [398]
0011 1
.names i_23_ i_24_ n_n1433 n_n1489 [464]
0011 1
.names n_n358 n_n355 [7173] [7174] [705]
1-1- 1
-1-1 1
.names n_n1404 [508] [367] [7177] [704]
11-- 1
--11 1
.names i_37_ [704] [1525] [7183] n_n1704
--1- 1
---1 1
11-- 1
.names n_n458 n_n242 [48] [221] [708]
-11- 1
1--1 1
.names [708] [1511] [7188] [7192] n_n1705
-1-- 1
---1 1
1-1- 1
.names n_n620 n_n363 [273] [256] [712]
-11- 1
1--1 1
.names i_13_ i_31_ n_n1307 n_n841 [289]
1011 1
.names i_6_ i_12_ n_n1307 n_n1359 [327]
0011 1
.names i_10_ n_n819 n_n1279 [335]
011 1
.names i_25_ i_26_ i_24_ [7356] [456]
0001 1
.names i_5_ i_4_ i_2_ n_n841 [41]
0001 1
.names i_27_ i_28_ i_26_ i_31_ [305]
0001 1
.names i_7_ i_14_ i_13_ i_12_ [717]
10-0 1
1-00 1
.names i_14_ i_12_ i_17_ i_16_ [716]
00-0 1
0-00 1
.names i_27_ i_28_ i_24_ [6928] [256]
0001 1
.names [1498] [1499] [1500] [1501] n_n1701
1--- 1
-1-- 1
--1- 1
---1 1
.names [1490] [1491] [1493] [7221] n_n1702
1--- 1
-1-- 1
--1- 1
---1 1
.names i_20_ i_23_ i_24_ [44] [274]
0001 1
.names n_n1307 n_n1100 [268] [7121] [351]
1111 1
.names n_n1408 n_n916 [7827] [7828] [724]
1-1- 1
-1-1 1
.names n_n712 [7898] [8021] [8022] [723]
11-- 1
--11 1
.names n_n1118 n_n1279 n_n1359 [394]
111 1
.names i_34_ i_33_ [6996] [6997] [322]
1111 1
.names i_14_ i_12_ i_17_ i_16_ [727]
00-0 1
0-00 1
.names [1581] [7116] [7117] n_n1713
1-- 1
-1- 1
--1 1
.names n_n712 [7898] [8021] [8022] [731]
11-- 1
--11 1
.names i_17_ [151] [153] [154] [730]
-1-- 1
0-1- 1
0--1 1
.names i_8_ i_31_ [284]
00 1
.names [83] [345] [735] [7686] [734]
-11- 1
1--1 1
.names i_31_ n_n805 [7547] [66]
011 1
.names n_n1340 n_n1128 [12] [502]
111 1
.names [1190] [1191] [7548] [7549] n_n1875
1--- 1
-1-- 1
--1- 1
---1 1
.names [1202] [1203] [7537] [7538] n_n1873
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1875 [1184] [7554] [7570] n_n1831
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1831 n_n1877 [7596] [7598] n_n1816
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1523 n_n1251 [740] [7639] [739]
10-- 1
--11 1
.names n_n1889 n_n1837 [7622] [7642] n_n1818
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1884 [1043] [7669] [7680] n_n1834
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1887 [1002] [7705] [7708] n_n1835
1--- 1
-1-- 1
--1- 1
---1 1
.names i_19_ [262] [18] [436] [744]
-1-- 1
---1 1
1-1- 1
.names i_14_ i_12_ i_17_ i_16_ [745]
00-0 1
0-00 1
.names [1053] [1054] [7661] n_n1884
1-- 1
-1- 1
--1 1
.names i_28_ i_26_ i_24_ i_29_ [457]
0000 1
.names i_9_ i_3_ i_13_ i_11_ [262]
1001 1
.names n_n1433 n_n1466 [12] [465]
111 1
.names i_32_ i_35_ i_38_ [71] [510]
0011 1
.names n_n394 n_n391 n_n315 n_n317 [755]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_27_ i_25_ n_n1257 [47] [82]
0111 1
.names [1473] [1474] [7244] n_n1712
1-- 1
-1- 1
--1 1
.names n_n1300 [282] [249] [1048] [760]
--1- 1
11-- 1
1--1 1
.names n_n1307 n_n1263 n_n1144 [515]
111 1
.names i_0_ [1634] [1636] [7057] [768]
-1-- 1
0-1- 1
0--1 1
.names i_14_ i_12_ i_17_ i_16_ [771]
00-0 1
0-00 1
.names [7587] [7588] [7591] n_n1877
1-- 1
-1- 1
--1 1
.names [425] [454] [1338] [7399] [784]
--1- 1
1--1 1
-1-1 1
.names [257] [250] [206] [1069] [788]
---1 1
11-- 1
1-1- 1
.names i_13_ i_12_ i_17_ i_16_ [792]
00-0 1
0-00 1
.names i_38_ [1019] [7696] [7699] n_n1887
---1 1
11-- 1
1-1- 1
.names i_9_ i_5_ i_6_ i_18_ [353]
0000 1
.names i_11_ i_19_ n_n1307 [7145] [484]
0011 1
.names i_9_ i_18_ n_n787 [7148] [489]
0011 1
.names i_10_ i_7_ i_3_ i_18_ [437]
1110 1
.names i_9_ i_3_ i_13_ i_18_ [18]
100- 1
1-01 1
.names n_n1118 n_n1279 [7428] [435]
111 1
.names n_n1118 n_n1058 [7415] [422]
111 1
.names n_n1307 n_n1033 [7050] [7417] [434]
1111 1
.names i_13_ i_11_ i_18_ i_22_ [349]
0110 1
.names i_9_ i_3_ i_4_ i_2_ [404]
0100 1
.names i_8_ i_18_ i_17_ i_16_ [413]
0000 1
.names n_n1038 n_n1192 [7342] [7343] [37]
-11- 1
1--1 1
.names i_27_ i_28_ i_26_ i_29_ [44]
0001 1
.names i_7_ i_32_ [211]
00 1
.names i_7_ i_32_ n_n1213 [7053] [65]
0011 1
.names i_9_ i_13_ i_11_ i_18_ [436]
1011 1
.names [54] [398] [1663] [1665] [803]
--1- 1
11-- 1
1--1 1
.names i_13_ i_12_ i_17_ i_16_ [802]
00-0 1
0-00 1
.names i_30_ i_27_ i_23_ i_32_ [95]
1-1- 1
-1-1 1
--11 1
.names i_30_ i_27_ i_16_ i_32_ [96]
11-- 1
1-1- 1
--11 1
.names i_30_ i_16_ i_34_ [143]
111 1
.names i_32_ n_n1307 n_n1100 [7178] [147]
0111 1
.names i_8_ n_n1213 [7053] [202]
011 1
.names i_29_ n_n1441 n_n1400 [458]
011 1
.names i_28_ i_32_ i_29_ n_n1018 [221]
0001 1
.names [404] [7274] [231]
11 1
.names n_n1441 [77] [7055] [251]
111 1
.names n_n1369 n_n1100 n_n460 [314]
111 1
.names i_10_ i_14_ i_16_ [334]
000 1
.names i_5_ i_3_ i_4_ i_18_ [338]
0100 1
.names i_9_ i_3_ i_13_ i_11_ [343]
1001 1
.names i_14_ i_28_ i_13_ i_22_ [345]
1011 1
.names n_n1406 n_n461 n_n1213 [7890] [356]
1111 1
.names n_n1443 n_n1307 n_n853 [367]
111 1
.names i_34_ i_35_ n_n1375 n_n1322 [373]
0111 1
.names n_n1375 n_n1400 n_n301 [384]
111 1
.names i_20_ i_13_ i_12_ i_16_ [402]
0000 1
.names i_10_ [1432] [1433] [1434] [406]
11-- 1
1-1- 1
1--1 1
.names i_13_ [1342] [1343] [425]
01- 1
0-1 1
.names i_32_ [226] [7576] [438]
011 1
.names i_19_ [1340] [1341] [454]
11- 1
1-1 1
.names n_n1307 n_n1408 n_n839 [495]
111 1
.names n_n787 n_n1118 n_n180 n_n179 [498]
1111 1
.names n_n1375 [13] n_n1322 n_n820 [517]
1111 1
.names i_11_ i_19_ n_n1307 n_n841 [521]
0011 1
.names n_n1307 n_n841 n_n177 n_n178 [522]
1111 1
.names [431] [508] [274] [7254] [526]
11-- 1
--11 1
.names n_n1443 n_n1429 [437] [891] [544]
1-1- 1
-11- 1
-1-1 1
.names i_9_ i_7_ i_14_ i_13_ [557]
010- 1
01-0 1
.names i_13_ i_22_ [349] [7259] [582]
--1- 1
00-1 1
.names i_13_ i_12_ i_11_ i_19_ [590]
011- 1
01-1 1
.names i_13_ i_12_ i_11_ i_19_ [593]
011- 1
01-1 1
.names n_n245 n_n26 [361] [353] [604]
1-1- 1
-1-1 1
.names n_n18 n_n21 [6892] [6894] [603]
-11- 1
1--1 1
.names n_n1278 n_n504 n_n1118 [6913] [606]
-11- 1
1--1 1
.names n_n1307 n_n787 [361] [353] [624]
1-1- 1
-1-1 1
.names i_9_ i_10_ i_6_ i_13_ [635]
000- 1
0-01 1
.names n_n301 [1570] [1572] [1573] [638]
-1-- 1
1-1- 1
1--1 1
.names n_n307 n_n309 [1323] [1324] [657]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_14_ i_13_ i_12_ [661]
10-0 1
1-00 1
.names i_23_ [43] n_n1274 [402] [666]
-11- 1
0--1 1
.names i_12_ n_n586 [349] [7473] [679]
1-1- 1
-1-1 1
.names [402] [1604] [683]
1- 1
-1 1
.names [41] [221] [367] [384] [698]
-11- 1
1--1 1
.names n_n1307 n_n853 n_n1408 n_n839 [710]
111- 1
1-11 1
.names n_n712 [7898] [8021] [8022] [713]
11-- 1
--11 1
.names n_n1278 n_n1318 n_n1118 [7217] [721]
-11- 1
1--1 1
.names i_30_ i_32_ [735]
1- 1
-1 1
.names i_30_ i_32_ i_31_ [741]
1-- 1
-1- 1
--1 1
.names i_20_ i_21_ [740]
1- 1
-1 1
.names i_13_ i_12_ i_17_ i_16_ [759]
00-0 1
0-00 1
.names n_n1314 n_n1141 n_n1322 [7243] [758]
11-- 1
--11 1
.names i_13_ i_12_ i_11_ i_19_ [767]
011- 1
01-1 1
.names n_n129 n_n130 [1766] [8085] [22]
--11 1
11-1 1
.names n_n1375 [227] [1767] [1768] [34]
111- 1
11-1 1
.names [105] [107] [8090] [101]
1-1 1
-11 1
.names [462] [338] [8091] [102]
111 1
.names [232] n_n178 [8086] [105]
111 1
.names n_n180 n_n1303 [338] [107]
111 1
.names n_n1429 n_n1408 n_n1326 [6947] [110]
1-11 1
-111 1
.names n_n1396 n_n1404 n_n1374 n_n1375 [111]
1111 1
.names i_28_ n_n1438 [6948] [8065] [117]
0111 1
.names n_n1429 [62] [8] [118]
11- 1
-11 1
.names n_n1408 [82] [121] [119]
11- 1
1-1 1
.names i_31_ i_34_ [123] [125] [120]
111- 1
11-1 1
.names i_34_ i_33_ n_n1312 [6996] [121]
1111 1
.names n_n1315 n_n1314 [80] [123]
111 1
.names [80] n_n1323 n_n1322 [125]
111 1
.names [245] [277] [441] [8056] [129]
--11 1
11-1 1
.names n_n1369 n_n1315 n_n1263 [8057] [130]
1111 1
.names n_n1443 n_n1406 n_n1213 [7491] [133]
1111 1
.names n_n1404 n_n1326 [6947] [134]
111 1
.names [10] n_n793 n_n1315 [7942] [142]
1111 1
.names n_n1397 n_n1092 n_n1406 n_n1408 [150]
1111 1
.names [47] [7058] [8042] [151]
111 1
.names n_n793 n_n1285 [8043] [153]
111 1
.names [47] n_n1387 [7058] [154]
111 1
.names n_n1375 n_n1141 n_n1263 n_n820 [158]
1111 1
.names n_n1489 n_n1089 n_n1251 [227] [160]
1111 1
.names n_n1429 n_n1397 n_n1092 n_n1406 [161]
1111 1
.names [245] n_n984 n_n916 [7828] [163]
1111 1
.names n_n1443 [320] [713] [169] [164]
-1-1 1
111- 1
.names i_14_ [265] [202] [8008] [166]
0111 1
.names i_14_ i_16_ [295] [167]
001 1
.names i_3_ i_18_ n_n1429 [8022] [169]
1011 1
.names n_n1408 [245] n_n984 [7827] [172]
1111 1
.names i_36_ n_n363 [67] [8007] [174]
1--1 1
111- 1
.names i_13_ [265] [202] [8008] [176]
0111 1
.names i_13_ i_16_ [295] [177]
001 1
.names n_n1404 n_n1397 n_n1092 n_n1406 [178]
1111 1
.names [10] n_n1315 n_n1511 [7802] [183]
1111 1
.names n_n1504 n_n1375 n_n1323 n_n1322 [184]
1111 1
.names n_n1216 n_n1092 [687] [7803] [185]
1111 1
.names n_n1504 n_n1315 n_n1314 n_n1375 [187]
1111 1
.names i_14_ i_28_ n_n1438 [6948] [189]
1011 1
.names n_n1285 n_n1511 [7997] [190]
111 1
.names n_n1216 n_n1384 [7999] [191]
111 1
.names [47] [668] [7058] [7984] [192]
1111 1
.names n_n1504 n_n1375 n_n1285 n_n1322 [194]
1111 1
.names n_n880 n_n1459 [200] [201] [195]
111- 1
11-1 1
.names n_n1089 [79] n_n1431 n_n1254 [197]
1111 1
.names n_n1504 n_n1315 n_n1375 n_n1263 [198]
1111 1
.names n_n1441 n_n1390 [7105] [200]
111 1
.names n_n1441 n_n1400 [258] [201]
111 1
.names n_n1216 n_n1374 n_n1387 [7971] [234]
1111 1
.names n_n1147 [79] n_n1431 n_n1254 [304]
1111 1
.names n_n1390 n_n1375 n_n1089 [7787] [336]
1111 1
.names i_21_ n_n1425 [340] [6951] [339]
1111 1
.names n_n1216 n_n1141 n_n1263 [7784] [350]
1111 1
.names i_13_ [65] [517] [7961] [412]
0-1- 1
01-1 1
.names n_n1489 n_n1147 n_n1251 [227] [417]
1111 1
.names [43] n_n1258 [227] [7949] [424]
1111 1
.names n_n1390 [86] [7105] [7940] [427]
1111 1
.names n_n1314 n_n1141 n_n820 [439]
111 1
.names i_14_ [65] [517] [7945] [451]
0-1- 1
01-1 1
.names [10] n_n1258 [227] [7949] [469]
1111 1
.names n_n1443 n_n1397 n_n1092 n_n1406 [471]
1111 1
.names n_n1497 n_n1459 [7930] [494]
111 1
.names n_n1459 [6982] [7931] [497]
111 1
.names n_n1396 [546] [6958] [507]
111 1
.names n_n1406 [8] [7025] [512]
111 1
.names i_7_ i_36_ [464] [818] [812]
011- 1
01-1 1
.names n_n1489 [340] [452] [813]
111 1
.names i_30_ i_32_ i_31_ [214] [818]
0001 1
.names [420] [44] [7749] [7900] [825]
1111 1
.names n_n1369 n_n1128 [515] [829]
111 1
.names [44] [7749] [7900] [7901] [833]
1111 1
.names i_36_ [43] [356] [7903] [834]
1--1 1
111- 1
.names i_31_ n_n1307 n_n1144 [7887] [841]
0111 1
.names i_36_ [10] [356] [7892] [843]
1--1 1
111- 1
.names i_13_ [223] [7878] [849]
011 1
.names i_21_ [275] [544] [857] [850]
-1-1 1
111- 1
.names i_21_ i_19_ n_n1443 n_n712 [857]
1011 1
.names n_n195 [265] [67] [868] [863]
-1-1 1
111- 1
.names i_36_ [384] [7868] [7871] [864]
1--1 1
111- 1
.names i_14_ n_n461 [411] [7819] [868]
0111 1
.names [881] [7858] [7859] [7862] [875]
1--1 1
-111 1
.names i_34_ i_36_ [147] [878] [877]
111- 1
11-1 1
.names i_14_ [80] n_n1322 [261] [878]
0111 1
.names [232] n_n1406 n_n1213 [7860] [881]
1111 1
.names n_n1307 n_n841 [458] [7846] [884]
1111 1
.names i_10_ i_7_ i_11_ i_19_ [891]
1100 1
.names n_n461 [411] [7819] [7820] [903]
1111 1
.names n_n1307 n_n841 [458] [7821] [904]
1111 1
.names n_n1375 n_n1213 [910] [911] [906]
111- 1
11-1 1
.names n_n1307 n_n1408 n_n576 n_n839 [910]
1111 1
.names n_n1443 n_n1118 n_n1279 [265] [911]
1111 1
.names n_n1404 [82] [920] [916]
11- 1
1-1 1
.names i_13_ i_12_ i_16_ [432] [918]
0001 1
.names n_n1390 n_n1472 n_n1147 [7791] [919]
1111 1
.names i_34_ i_33_ n_n1312 [6996] [920]
1111 1
.names n_n1438 n_n1326 [7798] [924]
111 1
.names n_n1216 [13] [260] [7784] [925]
1111 1
.names i_30_ i_28_ [245] [340] [926]
0011 1
.names n_n1216 n_n1092 [533] [7803] [928]
1111 1
.names n_n1438 n_n1092 [7782] [933]
111 1
.names [79] [940] [941] [935]
11- 1
1-1 1
.names n_n1390 n_n1375 n_n1147 [7787] [937]
1111 1
.names n_n1390 n_n1472 n_n1089 [7791] [939]
1111 1
.names i_7_ i_8_ n_n1489 [260] [940]
0011 1
.names n_n1489 n_n1141 n_n1263 [941]
111 1
.names [232] [44] [7749] [7773] [942]
1111 1
.names [498] [522] [7774] [943]
1-1 1
-11 1
.names i_10_ n_n1443 [455] [948] [945]
-1-1 1
011- 1
.names n_n576 [484] [489] [7778] [948]
11-1 1
1-11 1
.names i_10_ i_13_ i_17_ i_16_ [950]
0000 1
.names [80] [86] [498] [522] [953]
111- 1
11-1 1
.names [420] [455] [955]
11 1
.names [484] [489] [7765] [956]
1-1 1
-11 1
.names n_n787 n_n180 n_n179 [7766] [957]
1111 1
.names i_13_ [223] [373] [958]
011 1
.names n_n1397 n_n301 n_n1258 [272] [959]
1111 1
.names [232] [44] [7749] [7751] [960]
1111 1
.names i_36_ i_35_ [463] [547] [961]
1011 1
.names n_n177 n_n178 [7757] [965]
111 1
.names i_14_ [261] [373] [966]
011 1
.names n_n129 n_n130 [273] [1766] [967]
--11 1
111- 1
.names n_n1397 n_n1258 n_n916 [272] [968]
1111 1
.names i_3_ i_18_ i_17_ i_16_ [969]
1000 1
.names n_n1197 [335] [981] [7736] [977]
1-1- 1
11-1 1
.names i_10_ i_31_ n_n1307 n_n841 [978]
0011 1
.names n_n1486 n_n1118 n_n1279 n_n1359 [981]
1111 1
.names [61] [343] [988] [7724] [983]
--11 1
11-1 1
.names n_n805 n_n1466 n_n849 [987]
111 1
.names [349] [7258] [7259] [7723] [988]
1--1 1
-111 1
.names n_n416 n_n1300 n_n706 [457] [990]
11-1 1
-111 1
.names i_24_ [297] [1406] [7716] [991]
01-1 1
0-11 1
.names n_n805 n_n1302 n_n849 [994] [992]
1--1 1
111- 1
.names [66] [996] [7718] [993]
11- 1
1-1 1
.names n_n1307 n_n1359 [7050] [7717] [994]
1111 1
.names i_32_ n_n1307 n_n839 [996]
011 1
.names i_33_ i_38_ [61] [7701] [999]
0111 1
.names n_n1497 n_n1459 [7702] [1000]
111 1
.names n_n1489 [226] [1007] [7704] [1002]
1-1- 1
11-1 1
.names i_31_ n_n1454 n_n1179 [1007]
011 1
.names i_30_ i_12_ i_17_ i_32_ [1008]
111- 1
-111 1
.names i_30_ i_14_ i_13_ i_32_ [1009]
111- 1
-111 1
.names n_n1437 [7308] [7690] [1010]
111 1
.names n_n1523 [7266] [7691] [1011]
111 1
.names n_n1504 [345] [1015] [1012]
11- 1
1-1 1
.names i_7_ i_32_ n_n1489 n_n1059 [1014]
0011 1
.names i_28_ i_12_ i_17_ i_22_ [1015]
0111 1
.names n_n1423 n_n1422 n_n1459 [1017]
111 1
.names i_2_ [1020] [1021] [1019]
01- 1
0-1 1
.names i_7_ i_22_ n_n1454 n_n1431 [1020]
0011 1
.names i_7_ i_8_ n_n1425 [7276] [1021]
0011 1
.names i_7_ i_28_ n_n1472 [429] [1022]
0011 1
.names n_n1489 [428] n_n805 [284] [1023]
1111 1
.names n_n1489 [13] n_n1059 [429] [1024]
111- 1
11-1 1
.names [226] [61] [7670] [1029]
111 1
.names n_n1353 n_n1197 n_n1497 [57] [1030]
1111 1
.names [3] n_n1197 n_n1486 n_n1359 [1032]
0111 1
.names n_n1369 n_n1368 [792] [7033] [1033]
1111 1
.names n_n1305 [250] n_n1497 [206] [1040]
111- 1
1-11 1
.names n_n1353 n_n1423 n_n805 [57] [1041]
1111 1
.names i_9_ i_12_ [760] [1043]
111 1
.names [430] [519] [1044]
11 1
.names i_24_ i_38_ [72] [71] [1045]
0111 1
.names i_7_ i_8_ n_n1425 [205] [1048]
0011 1
.names n_n1454 n_n1361 n_n1345 [7655] [1050]
1111 1
.names [78] [12] [7657] [1051]
111 1
.names n_n1369 n_n1368 [745] [7033] [1052]
1111 1
.names n_n1353 [1055] [1056] [1053]
11- 1
1-1 1
.names n_n1359 [1057] [1058] [1059] [1054]
11-- 1
1-1- 1
1--1 1
.names i_30_ n_n805 [7547] [1055]
011 1
.names i_35_ i_38_ n_n1454 n_n1489 [1056]
0111 1
.names i_35_ i_38_ n_n1489 n_n1340 [1057]
0111 1
.names i_35_ i_38_ n_n1478 n_n1472 [1058]
0111 1
.names i_30_ i_32_ n_n805 n_n1466 [1059]
0011 1
.names n_n1425 n_n1179 [7276] [7644] [1060]
1111 1
.names n_n1425 n_n1197 [1066] [7646] [1061]
--11 1
11-1 1
.names n_n1278 n_n1279 [7492] [7647] [1062]
1111 1
.names i_32_ [788] [1064]
01 1
.names i_30_ i_35_ i_38_ n_n1478 [1066]
0011 1
.names n_n1278 n_n1279 n_n1523 [7266] [1069]
1111 1
.names [58] [741] [1077] [7638] [1070]
1-1- 1
11-1 1
.names i_12_ i_24_ i_17_ i_31_ [1077]
1011 1
.names n_n1497 [35] [1082] [7636] [1080]
11-- 1
1-1- 1
1--1 1
.names i_23_ [447] [1081]
11 1
.names i_27_ i_23_ i_16_ i_31_ [1082]
1--1 1
-1-1 1
--11 1
.names n_n1439 [143] [1089] [1086]
11- 1
1-1 1
.names i_23_ [3] n_n1497 [1091] [1087]
1--1 1
111- 1
.names i_27_ i_16_ i_31_ i_34_ [1089]
1-11 1
-111 1
.names i_28_ i_24_ i_22_ i_34_ [1091]
0011 1
.names i_28_ i_29_ n_n1504 n_n1251 [1095]
0010 1
.names i_24_ n_n1511 [1100] [7629] [1097]
0-1- 1
01-1 1
.names i_28_ i_22_ [143] [1101] [1100]
011- 1
01-1 1
.names i_14_ i_34_ i_33_ [1101]
111 1
.names i_29_ [61] [615] [1105]
111 1
.names i_21_ i_22_ [372] [1106]
101 1
.names i_14_ i_13_ i_24_ [1108]
110 1
.names i_28_ i_31_ i_34_ i_29_ [1111]
0110 1
.names i_7_ i_28_ n_n1472 [7616] [1112]
0011 1
.names [95] [96] [7618] [1113]
1-1 1
-11 1
.names n_n1519 [1121] [7619] [1114]
1-1 1
-11 1
.names i_14_ i_13_ i_24_ [1121]
110 1
.names i_28_ i_29_ n_n1504 [585] [1123]
0011 1
.names i_34_ [1128] [1129] [1130] [1125]
11-- 1
1-1- 1
1--1 1
.names i_7_ i_8_ n_n1489 n_n1300 [1126]
0011 1
.names i_30_ i_32_ [345] [1127]
1-1 1
-11 1
.names i_12_ i_24_ i_17_ [7612] [1128]
1011 1
.names i_24_ i_38_ n_n1466 [77] [1129]
0111 1
.names i_7_ i_32_ n_n1489 [239] [1130]
0011 1
.names i_30_ i_29_ n_n1478 [7600] [1131]
0011 1
.names i_24_ i_38_ [71] [7602] [1132]
0111 1
.names i_33_ i_38_ n_n1486 [7603] [1133]
0111 1
.names i_20_ i_22_ [372] [1134]
101 1
.names n_n1504 [83] n_n1251 [1137] [1135]
-1-1 1
110- 1
.names i_7_ i_32_ n_n1489 [503] [1136]
0011 1
.names i_14_ i_34_ i_33_ i_35_ [1137]
1011 1
.names n_n1307 n_n1144 [1146] [1147] [1139]
111- 1
11-1 1
.names i_9_ i_12_ [235] [1148] [1140]
111- 1
11-1 1
.names n_n1307 [438] [1150] [7050] [1141]
11-1 1
1-11 1
.names n_n1278 n_n1279 [78] [7492] [1142]
1111 1
.names n_n1406 n_n1213 [8] [7491] [1143]
1111 1
.names [226] [457] [1146]
11 1
.names i_35_ i_38_ n_n1454 n_n1128 [1147]
0111 1
.names n_n1438 n_n1197 [61] [1148]
111 1
.names n_n1478 n_n1133 [12] [1150]
111 1
.names n_n1353 [78] [12] [7582] [1152]
1111 1
.names i_24_ [223] [380] [261] [1156]
011- 1
0-11 1
.names n_n1307 [502] [465] [7050] [1157]
11-1 1
1-11 1
.names n_n1425 n_n1197 [205] [7572] [1159]
1111 1
.names n_n1118 n_n1279 [226] [457] [1161]
1111 1
.names [224] n_n1279 [438] [1164] [1162]
111- 1
11-1 1
.names i_9_ i_12_ [1167] [7578] [1163]
111- 1
11-1 1
.names n_n1478 n_n1133 [12] [1164]
111 1
.names i_10_ [1169] [1170] [1167]
01- 1
0-1 1
.names n_n1425 n_n1361 [284] [7276] [1168]
1111 1
.names n_n1197 n_n1523 n_n1431 [1169]
111 1
.names n_n1425 n_n1179 [7276] [1170]
111 1
.names [1180] [1181] [7559] [1172]
1-1 1
-11 1
.names n_n1179 [71] [278] [262] [1173]
1111 1
.names n_n1278 n_n1288 n_n1279 n_n1059 [1176]
1111 1
.names i_24_ [71] [436] [1180]
011 1
.names n_n1486 n_n998 [18] [1181]
111 1
.names i_29_ [360] [315] [1189] [1184]
0--1 1
011- 1
.names n_n1307 n_n1288 n_n1306 [1186]
111 1
.names i_12_ [42] n_n1307 n_n1303 [1187]
0111 1
.names i_24_ [223] [311] [1189]
011 1
.names n_n1028 [1197] [7541] [7543] [1190]
-1-1 1
1-11 1
.names i_24_ i_29_ [261] [311] [1191]
0011 1
.names i_13_ [1198] [1342] [1343] [1197]
01-- 1
0-1- 1
0--1 1
.names i_9_ i_8_ i_3_ i_19_ [1198]
1001 1
.names n_n1278 n_n1279 n_n1059 [7532] [1201]
1111 1
.names [425] [454] [7534] [1202]
1-1 1
-11 1
.names i_24_ [223] [266] n_n1302 [1203]
0111 1
.names i_24_ [266] n_n1302 [261] [1208]
0111 1
.names i_28_ i_25_ i_29_ [700] [1211]
0001 1
.names i_13_ [286] [1212]
11 1
.names i_38_ n_n1278 n_n1279 n_n1202 [1214]
1111 1
.names n_n1437 n_n1472 [529] [7308] [1215]
1111 1
.names i_24_ n_n1466 [266] [261] [1218]
0111 1
.names [9] [77] [78] [68] [1227]
1111 1
.names n_n1197 n_n1523 n_n1431 [7488] [1230]
1111 1
.names n_n1406 n_n1213 [539] [7491] [1234]
1111 1
.names n_n1278 n_n1279 [288] [7492] [1235]
1111 1
.names i_32_ n_n1307 n_n1306 [1236]
011 1
.names [404] [521] [7274] [7479] [1238]
-1-1 1
1-11 1
.names i_11_ i_19_ [429] [272] [1239]
0011 1
.names n_n1466 n_n416 n_n1419 n_n706 [1240]
111- 1
1-11 1
.names i_24_ [446] [4] [78] [1241]
0111 1
.names n_n394 n_n391 [254] [1242]
1-1 1
-11 1
.names i_10_ [679] [1253] [7474] [1247]
--11 1
11-1 1
.names i_19_ n_n307 [288] [12] [1249]
1111 1
.names i_10_ i_12_ [7258] [7259] [1253]
1111 1
.names n_n735 [405] [1260] [7469] [1256]
--11 1
11-1 1
.names n_n307 n_n309 [7470] [1257]
1-1 1
-11 1
.names [12] [422] [434] [7431] [1258]
11-1 1
1-11 1
.names n_n1055 n_n461 [253] [7411] [1259]
1111 1
.names i_10_ i_3_ [767] [1263] [1260]
1--1 1
101- 1
.names i_13_ i_12_ i_11_ i_18_ [1263]
0111 1
.names [1323] [1324] [7465] [1264]
1-1 1
-11 1
.names n_n586 [235] [406] [7271] [1265]
-11- 1
11-1 1
.names [288] [12] [422] [434] [1266]
111- 1
11-1 1
.names i_19_ [288] n_n309 [12] [1267]
1111 1
.names n_n307 n_n309 [7459] [1268]
1-1 1
-11 1
.names [71] [12] [422] [434] [1271]
111- 1
11-1 1
.names [423] [435] [1277] [7456] [1274]
1--1 1
-1-1 1
--11 1
.names i_19_ [1279] [1280] [1277]
11- 1
1-1 1
.names n_n461 n_n1028 [7411] [1279]
111 1
.names n_n1118 n_n1048 n_n1279 [1280]
111 1
.names [349] [7258] [7259] [7454] [1281]
1--1 1
-111 1
.names [71] [12] [423] [435] [1283]
111- 1
11-1 1
.names [404] [521] [7274] [7446] [1284]
-1-1 1
1-11 1
.names n_n416 n_n1419 n_n1302 n_n706 [1286]
111- 1
-111 1
.names n_n1523 n_n1458 [4] [7448] [1288]
1111 1
.names i_24_ [271] [231] [521] [1289]
011- 1
01-1 1
.names [422] [434] [1293] [7443] [1290]
1--1 1
-1-1 1
--11 1
.names n_n394 n_n391 n_n317 [381] [1291]
1--1 1
-1-1 1
--11 1
.names i_19_ n_n307 n_n309 [1293]
11- 1
1-1 1
.names i_19_ [21] [276] [657] [1296]
-11- 1
1-11 1
.names i_28_ n_n1197 n_n1523 [674] [1303]
0111 1
.names [78] [12] [423] [435] [1305]
111- 1
11-1 1
.names [1323] [1324] [7430] [1308]
1-1 1
-11 1
.names [12] [423] [435] [7431] [1309]
11-1 1
1-11 1
.names n_n294 n_n371 n_n284 [253] [1314]
1--1 1
-1-1 1
--11 1
.names [288] [12] [423] [435] [1316]
111- 1
11-1 1
.names n_n372 n_n294 n_n371 [75] [1317]
1--1 1
-1-1 1
--11 1
.names [53] [422] [434] [1320] [1318]
11-- 1
1-1- 1
1--1 1
.names n_n338 [1323] [1324] [1319]
11- 1
1-1 1
.names i_19_ n_n307 n_n309 [1320]
11- 1
1-1 1
.names n_n461 n_n1028 [7411] [1323]
111 1
.names n_n1118 n_n1048 n_n1279 [1324]
111 1
.names [425] [454] [7402] [1325]
1-1 1
-11 1
.names n_n1489 n_n1422 n_n998 [18] [1330]
1111 1
.names n_n1523 [346] [7266] [1337]
111 1
.names [239] n_n1422 [262] [436] [1338]
111- 1
11-1 1
.names i_9_ i_8_ i_13_ i_18_ [1340]
1001 1
.names i_9_ i_8_ i_3_ i_13_ [1341]
1000 1
.names i_9_ i_8_ i_11_ i_18_ [1342]
1011 1
.names i_9_ i_8_ i_3_ i_11_ [1343]
1001 1
.names n_n1197 n_n1486 n_n849 [7393] [1347]
1--1 1
111- 1
.names n_n1307 n_n841 n_n1128 [7388] [1349]
1111 1
.names n_n1307 n_n1359 [7050] [7390] [1350]
1111 1
.names n_n1307 n_n853 n_n1133 n_n1497 [1351]
1111 1
.names i_13_ [377] [37] [7375] [1356]
-1-1 1
011- 1
.names [223] n_n1419 n_n1302 [1357]
111 1
.names i_24_ [297] [1406] [7364] [1367]
01-1 1
0-11 1
.names i_22_ [343] [1379] [7352] [1372]
--11 1
01-1 1
.names i_28_ n_n1197 n_n1523 [289] [1377]
0111 1
.names i_9_ [349] [7258] [7259] [1379]
11-- 1
1-11 1
.names n_n1466 [223] n_n1419 [346] [1382]
111- 1
1-11 1
.names i_13_ [56] [37] [7344] [1383]
-1-1 1
011- 1
.names n_n805 n_n1466 [394] [1384]
111 1
.names n_n1439 n_n416 [1397] [7332] [1392]
--11 1
11-1 1
.names i_24_ [297] n_n1288 [1406] [1397]
011- 1
0-11 1
.names n_n1423 n_n416 n_n706 [7317] [1399]
11-1 1
1-11 1
.names i_32_ [1404] [1405] [1403]
01- 1
0-1 1
.names i_24_ [297] [1406] [7324] [1404]
01-1 1
0-11 1
.names [297] n_n1300 [61] [1426] [1405]
111- 1
-111 1
.names i_11_ i_19_ n_n1307 n_n1100 [1406]
0011 1
.names i_33_ i_38_ [1412] [1413] [1408]
011- 1
01-1 1
.names i_24_ [446] [4] [71] [1409]
0111 1
.names n_n1425 [1414] [1435] [1436] [1412]
11-- 1
1-1- 1
1--1 1
.names n_n1431 [406] [7272] [1413]
111 1
.names [205] [1416] [1417] [7297] [1414]
11-1 1
1-11 1
.names i_13_ i_12_ i_18_ i_19_ [1416]
0111 1
.names i_13_ i_12_ i_11_ i_18_ [1417]
0111 1
.names [297] n_n1419 [344] [1426] [1419]
111- 1
-111 1
.names n_n1128 [624] [1423] [7310] [1421]
1-1- 1
11-1 1
.names i_24_ [231] [521] [7311] [1423]
01-1 1
0-11 1
.names i_11_ i_19_ n_n1307 n_n1100 [1426]
0011 1
.names i_10_ i_18_ n_n586 [329] [1428]
1111 1
.names i_24_ [231] [521] [7296] [1429]
01-1 1
0-11 1
.names i_30_ [311] [1435] [1436] [1430]
011- 1
01-1 1
.names n_n586 [249] [406] [7271] [1431]
-11- 1
11-1 1
.names i_13_ i_12_ i_18_ i_19_ [1432]
0111 1
.names i_13_ i_12_ i_11_ i_18_ [1433]
0111 1
.names i_3_ i_13_ i_12_ i_19_ [1434]
0011 1
.names i_24_ i_22_ [7297] [7298] [1435]
0011 1
.names i_10_ i_3_ n_n586 [7299] [1436]
1011 1
.names [262] [1443] [7284] [7285] [1437]
-1-1 1
1-11 1
.names n_n1038 [377] [593] [7288] [1439]
-1-1 1
111- 1
.names [68] [349] [7258] [7259] [1443]
11-- 1
1-11 1
.names i_24_ [231] [521] [7275] [1449]
01-1 1
0-11 1
.names n_n1038 [56] [590] [7281] [1450]
-1-1 1
111- 1
.names n_n762 [582] [1460] [7261] [1456]
1-1- 1
11-1 1
.names i_38_ n_n416 [257] [1461] [1457]
1--1 1
111- 1
.names i_12_ [61] [262] [1460]
111 1
.names n_n1454 [1463] [1464] [7264] [1461]
11-1 1
1-11 1
.names i_18_ i_32_ n_n1278 [404] [1463]
0011 1
.names i_32_ [204] n_n1307 n_n1100 [1464]
0111 1
.names [59] [526] [1470] [7255] [1465]
1-1- 1
11-1 1
.names n_n245 n_n178 n_n18 [6906] [1470]
1111 1
.names [260] [77] [1477] [7242] [1473]
--11 1
11-1 1
.names i_33_ [524] [758] [1480] [1474]
0--1 1
011- 1
.names n_n1257 [47] [29] [6998] [1476]
1111 1
.names i_30_ n_n1141 n_n1263 [1477]
011 1
.names n_n1489 n_n1018 [759] [7108] [1480]
1111 1
.names [44] [6899] [7224] [1481]
111 1
.names [224] n_n152 [7214] [7226] [1482]
1111 1
.names [484] [489] [7228] [1483]
1-1 1
-11 1
.names [498] [522] [7229] [1484]
1-1 1
-11 1
.names [1576] [1577] [7230] [1485]
1-1 1
-11 1
.names n_n1216 [351] [6928] [1486]
111 1
.names [1507] [1508] [7212] [1490]
1-1 1
-11 1
.names [224] n_n152 [7214] [7215] [1491]
1111 1
.names n_n1397 n_n1258 [272] [7216] [1492]
1111 1
.names n_n1408 [721] [1495] [7218] [1493]
1-1- 1
11-1 1
.names [484] [489] [7219] [1495]
1-1 1
-11 1
.names n_n1278 [404] [7195] [1498]
111 1
.names [1507] [1508] [7199] [1499]
1-1 1
-11 1
.names [365] [1502] [1503] [1500]
11- 1
1-1 1
.names i_37_ [1506] [7205] [1501]
11- 1
1-1 1
.names n_n1408 n_n1422 [484] [489] [1502]
111- 1
11-1 1
.names i_14_ n_n1397 n_n1322 [261] [1503]
0111 1
.names n_n1397 n_n1258 n_n916 [272] [1506]
1111 1
.names n_n1118 n_n179 [404] [1507]
111 1
.names n_n1307 n_n841 [7197] [1508]
111 1
.names [222] [1514] [7185] [7187] [1509]
-1-1 1
1-11 1
.names [248] [221] [710] [7191] [1511]
1--1 1
111- 1
.names n_n1369 n_n460 [6885] [7186] [1514]
1111 1
.names n_n1307 n_n841 [458] [7176] [1523]
1111 1
.names n_n1295 [1531] [1532] [7181] [1525]
11-- 1
1-1- 1
1--1 1
.names [260] [223] [80] [1531]
111 1
.names i_14_ [80] n_n1322 [261] [1532]
0111 1
.names [222] [1539] [7158] [7160] [1534]
-1-1 1
1-11 1
.names n_n1306 [222] [7161] [7163] [1535]
1111 1
.names n_n1369 n_n460 [6885] [7159] [1539]
1111 1
.names n_n1278 n_n1279 [259] [7167] [1542]
1111 1
.names [484] [489] [7151] [1546]
1-1 1
-11 1
.names [482] [498] [522] [1548]
11- 1
1-1 1
.names [59] [1550] [1551] [1552] [1549]
11-- 1
1-1- 1
1--1 1
.names n_n1278 n_n152 [1553] [1554] [1550]
111- 1
11-1 1
.names i_13_ [223] [373] [1551]
011 1
.names n_n1397 n_n301 n_n1258 [272] [1552]
1111 1
.names [44] [6899] [7153] [1553]
111 1
.names n_n1369 n_n1274 n_n1368 [259] [1554]
1111 1
.names n_n129 n_n130 [317] [1561] [1559]
--11 1
111- 1
.names n_n1278 n_n132 [404] [6882] [1561]
1111 1
.names n_n245 [44] [6899] [7120] [1564]
1111 1
.names n_n1375 n_n1202 [351] [1574] [1565]
111- 1
11-1 1
.names [1576] [1577] [7126] [1566]
1-1 1
-11 1
.names n_n1274 n_n245 [638] [1568] [1567]
-1-1 1
111- 1
.names i_14_ i_13_ i_37_ [233] [1568]
0111 1
.names n_n1369 n_n1100 n_n460 [7130] [1570]
1111 1
.names n_n1369 n_n1368 n_n841 n_n504 [1572]
1111 1
.names [59] n_n1369 n_n1100 n_n460 [1573]
1111 1
.names n_n1278 n_n179 [404] [7123] [1574]
1111 1
.names i_9_ n_n1307 n_n1303 [431] [1576]
0111 1
.names n_n1278 [404] [413] [1577]
111 1
.names [47] [727] [7058] [7059] [1580]
1111 1
.names n_n1443 [322] [1583] [1581]
11- 1
1-1 1
.names n_n1429 n_n1374 [6996] [6997] [1582]
1111 1
.names [59] n_n1375 n_n1213 [7006] [1583]
1111 1
.names n_n1390 n_n1375 [7105] [1585]
111 1
.names n_n1375 n_n1400 [259] [1586]
111 1
.names n_n504 [57] [1592] [1593] [1587]
111- 1
11-1 1
.names n_n1080 [694] [7009] [1589]
111 1
.names n_n1489 n_n1018 [8] [7108] [1591]
1111 1
.names n_n1441 n_n1390 [7105] [1592]
111 1
.names n_n1441 n_n1400 [259] [1593]
111 1
.names i_0_ [1600] [7099] [1597]
01- 1
0-1 1
.names [59] [65] [683] [1603] [1600]
1--1 1
111- 1
.names n_n1441 n_n1443 [77] [7055] [1603]
1111 1
.names i_20_ i_13_ i_17_ i_16_ [1604]
0000 1
.names n_n1314 n_n1141 [246] [7080] [1607]
1111 1
.names [666] [1615] [7082] [7084] [1608]
-1-1 1
1-11 1
.names i_37_ n_n1018 n_n1225 n_n363 [1611]
1111 1
.names i_8_ n_n1213 [7053] [7083] [1615]
0111 1
.names n_n793 [771] [7063] [7064] [1618]
1111 1
.names [1623] [1624] [1625] [7072] [1619]
1--1 1
-1-1 1
--11 1
.names n_n1443 [47] [7058] [7059] [1622]
1111 1
.names [10] n_n1369 n_n1274 n_n1431 [1623]
1111 1
.names n_n1431 [202] [7068] [7069] [1624]
-1-1 1
1-11 1
.names i_8_ n_n1213 [7053] [7070] [1625]
0111 1
.names n_n1375 n_n1322 [246] [7046] [1628]
1111 1
.names n_n1429 [47] [7058] [7059] [1632]
1111 1
.names n_n1216 n_n620 [6928] [1634]
111 1
.names n_n1213 [211] [7053] [7054] [1635]
1111 1
.names n_n1404 [251] [1638] [1636]
11- 1
1-1 1
.names n_n1441 n_n1408 [77] [7055] [1637]
1111 1
.names i_20_ n_n1213 [211] [7053] [1638]
0111 1
.names n_n1334 n_n1375 n_n1400 n_n1401 [1640]
1111 1
.names i_25_ i_26_ i_24_ i_34_ [1649]
1000 1
.names i_25_ i_23_ i_24_ i_34_ [1650]
1001 1
.names n_n1396 n_n1374 n_n1375 n_n1408 [1651]
1111 1
.names n_n1443 n_n1326 [6947] [1652]
111 1
.names n_n1390 [305] [717] [1653]
111 1
.names n_n1441 n_n1400 [7031] [1654]
111 1
.names n_n1406 [8] [7025] [1656]
111 1
.names n_n1443 n_n1369 n_n1368 [7033] [1657]
1111 1
.names n_n1441 n_n1400 [7028] [1659]
111 1
.names n_n1406 [802] [7025] [1661]
111 1
.names i_24_ i_34_ n_n1425 [7026] [1663]
0011 1
.names [29] [44] [7027] [1665]
11- 1
-11 1
.names n_n1397 n_n1258 n_n1401 n_n1499 [1668]
1111 1
.names n_n1408 [322] [82] [1669]
11- 1
1-1 1
.names i_20_ [1675] [1676] [1670]
11- 1
1-1 1
.names n_n1216 n_n1391 [6959] [7017] [1672]
1111 1
.names i_28_ i_25_ n_n1438 [6948] [1675]
0111 1
.names n_n1216 [1677] [1678] [6959] [1676]
11-1 1
1-11 1
.names i_7_ i_14_ i_17_ i_16_ [1677]
1000 1
.names i_7_ i_14_ i_12_ i_16_ [1678]
1000 1
.names n_n1429 n_n1080 [252] [7009] [1682]
1-1- 1
11-1 1
.names i_14_ i_12_ i_16_ [432] [1683]
0001 1
.names n_n1443 n_n1080 [7009] [1684]
111 1
.names n_n1390 n_n1375 [6993] [1685]
111 1
.names n_n1375 n_n1400 [258] [1686]
111 1
.names n_n1499 [1692] [1693] [1688]
11- 1
1-1 1
.names n_n1404 [322] [82] [1689]
11- 1
1-1 1
.names i_13_ i_12_ i_16_ [432] [1690]
0001 1
.names n_n1443 n_n1396 n_n1374 n_n1375 [1691]
1111 1
.names i_34_ i_35_ n_n1251 [661] [1692]
0111 1
.names i_34_ i_35_ n_n1258 n_n1377 [1693]
0111 1
.names n_n1441 n_n1390 [6993] [1694]
111 1
.names n_n1441 n_n1400 [258] [1695]
111 1
.names n_n1318 n_n1497 n_n1311 n_n1459 [1696]
1111 1
.names i_21_ n_n1425 [6951] [6979] [1697]
1111 1
.names n_n1390 n_n1334 n_n1391 n_n1375 [1698]
1111 1
.names n_n1334 n_n1375 n_n1400 n_n1377 [1699]
1111 1
.names n_n1318 n_n1340 n_n1459 [6982] [1700]
1111 1
.names n_n1433 [54] n_n1489 [416] [1701]
1111 1
.names n_n1433 n_n1312 [6984] [1702]
111 1
.names n_n1396 n_n1404 n_n1374 n_n1375 [1703]
1111 1
.names n_n1429 n_n1326 [6947] [1704]
111 1
.names n_n1369 n_n1274 n_n1368 [6955] [1706]
1111 1
.names n_n1406 n_n1408 [245] [1709]
111 1
.names n_n1216 n_n1401 [6959] [6960] [1710]
1111 1
.names [302] n_n1489 [452] [416] [1715]
1111 1
.names [1721] [1722] [6971] [1716]
1-1 1
-11 1
.names n_n1390 n_n1372 n_n1334 n_n1375 [1717]
1111 1
.names n_n1369 n_n1274 n_n1368 [6973] [1718]
1111 1
.names n_n1326 [629] [6947] [1719]
111 1
.names i_23_ i_24_ n_n1489 [6967] [1721]
0011 1
.names i_14_ i_23_ n_n1439 n_n1438 [1722]
0011 1
.names n_n1375 n_n1213 [1730] [1731] [1726]
111- 1
11-1 1
.names n_n1307 n_n1408 [635] [6939] [1730]
1111 1
.names n_n1443 n_n504 n_n1118 n_n1279 [1731]
1111 1
.names n_n1429 n_n1307 n_n1303 [317] [1738]
1111 1
.names n_n245 n_n18 [6906] [6908] [1746]
1111 1
.names n_n26 [1748] [1749] [1750] [1747]
11-- 1
1-1- 1
1--1 1
.names n_n21 [1753] [6910] [6912] [1748]
-1-1 1
1-11 1
.names n_n180 n_n21 [606] [1749]
111 1
.names n_n1369 n_n460 [6885] [6915] [1750]
1111 1
.names i_14_ [413] [44] [6899] [1753]
0111 1
.names n_n129 n_n130 [1766] [6884] [1756]
--11 1
11-1 1
.names [10] n_n1318 [603] [1759] [1757]
-1-1 1
111- 1
.names [492] [1767] [1768] [1758]
11- 1
1-1 1
.names [604] [6889] [1759]
11 1
.names n_n1278 n_n132 [404] [6882] [1766]
1111 1
.names n_n1307 n_n1100 n_n177 n_n178 [1767]
1111 1
.names n_n1278 n_n787 n_n180 n_n179 [1768]
1111 1
.names i_9_ i_7_ i_8_ i_6_ [6876]
0000 1
.names i_10_ i_13_ i_33_ i_37_ [6879]
0001 1
.names i_5_ i_4_ i_0_ [6879] [6880]
0001 1
.names i_11_ i_13_ [6881]
00 1
.names i_13_ i_8_ [6882]
00 1
.names [267] [246] [6884]
11 1
.names i_23_ i_20_ [6885]
00 1
.names n_n1369 n_n1408 n_n460 [6885] [6889]
1111 1
.names i_17_ i_18_ [6890]
00 1
.names i_9_ i_8_ i_5_ i_6_ [6891]
0000 1
.names i_3_ i_4_ i_0_ [6891] [6892]
1001 1
.names i_19_ i_17_ [6893]
00 1
.names i_11_ n_n841 n_n245 [6894]
011 1
.names [233] [1756] [1758] [6880] [6898]
-1-- 1
--1- 1
1--1 1
.names i_20_ i_23_ i_24_ [6899]
000 1
.names i_9_ i_14_ i_37_ [431] [6901]
0011 1
.names n_n841 n_n504 n_n245 n_n178 [6903]
1111 1
.names n_n1443 n_n504 n_n245 [361] [6905]
1111 1
.names i_9_ i_7_ i_6_ i_32_ [6906]
0000 1
.names i_14_ i_11_ i_16_ i_37_ [6908]
0001 1
.names i_14_ i_16_ i_32_ [6910]
000 1
.names i_9_ i_37_ n_n1278 [6912]
011 1
.names i_32_ i_33_ i_37_ [6913]
001 1
.names n_n1443 n_n504 [353] [6915]
111 1
.names n_n18 [63] [6903] [6905] [6917]
1-1- 1
-1-1 1
.names [508] [1746] [6901] [6917] [6919]
-1-- 1
---1 1
1-1- 1
.names i_13_ i_23_ i_17_ i_16_ [6920]
0000 1
.names n_n1369 n_n504 n_n1288 [6922]
111 1
.names i_34_ i_35_ i_29_ [6923]
010 1
.names i_37_ n_n793 [6923] [6924]
111 1
.names i_32_ i_34_ i_35_ [365] [6926]
0011 1
.names i_34_ i_37_ n_n1216 n_n1305 [6927]
1111 1
.names i_32_ i_34_ i_29_ [6928]
010 1
.names n_n363 n_n329 [6922] [6924] [6930]
-11- 1
1--1 1
.names n_n620 n_n269 [6926] [6927] [6931]
1-1- 1
-1-1 1
.names i_35_ i_37_ [600] [6931] [6933]
---1 1
011- 1
.names n_n1295 [601] [1738] [6930] [6934]
--1- 1
---1 1
11-- 1
.names i_35_ i_37_ [634] [6935]
011 1
.names [267] [246] [6936]
11 1
.names i_28_ i_33_ i_29_ n_n1018 [6937]
0001 1
.names i_32_ i_33_ i_29_ n_n1216 [6938]
0001 1
.names i_32_ i_35_ i_37_ [6939]
001 1
.names n_n269 n_n263 [492] [6936] [6941]
1-1- 1
-1-1 1
.names [41] [458] [6935] [6941] [6942]
---1 1
111- 1
.names [248] [632] [1726] [6943]
--1 1
11- 1
.names i_27_ i_23_ i_22_ i_35_ [6947]
0011 1
.names i_34_ i_33_ i_35_ [6948]
011 1
.names i_28_ i_25_ i_29_ [6949]
010 1
.names i_34_ i_24_ [6951]
00 1
.names i_23_ i_24_ i_34_ [6952]
001 1
.names i_25_ i_20_ [6953]
11 1
.names i_14_ i_2_ i_16_ [6955]
010 1
.names i_7_ i_34_ i_35_ i_37_ [6957]
0011 1
.names i_27_ i_28_ i_26_ i_33_ [6958]
0001 1
.names i_23_ i_31_ i_34_ [6959]
011 1
.names i_17_ i_20_ [6960]
01 1
.names n_n1393 [599] [1710] [6953] [6961]
--1- 1
11-1 1
.names n_n1438 [597] [1706] [6962]
--1 1
11- 1
.names n_n1429 [598] [1709] [6963]
--1 1
11- 1
.names i_32_ i_31_ i_33_ [6967]
000 1
.names i_7_ i_34_ i_37_ [6971]
011 1
.names i_13_ i_2_ i_16_ [6973]
010 1
.names n_n1443 [630] [1718] [1719] [6977]
--1- 1
---1 1
11-- 1
.names i_32_ i_31_ i_29_ [6979]
001 1
.names i_28_ i_23_ i_24_ [6982]
000 1
.names i_30_ i_28_ i_29_ [6984]
001 1
.names [1696] [1698] [1703] [6989]
1-- 1
-1- 1
--1 1
.names [1699] [1700] [1702] [1704] [6990]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_8_ i_14_ i_12_ [6993]
000 1
.names i_30_ i_35_ i_29_ i_37_ [6994]
0001 1
.names i_27_ i_28_ i_25_ [6996]
001 1
.names i_20_ i_23_ i_24_ [6997]
100 1
.names i_25_ i_27_ [6998]
10 1
.names i_21_ i_2_ [7000]
01 1
.names [1691] [1694] [1695] [6994] [7001]
1--- 1
-1-1 1
--11 1
.names i_30_ i_34_ i_35_ i_37_ [7004]
0101 1
.names i_7_ i_8_ [260] [7005]
001 1
.names i_30_ i_32_ i_31_ [7006]
001 1
.names [8] i_37_ [7007]
11 1
.names i_28_ i_34_ i_35_ i_29_ [7009]
0011 1
.names [524] [306] [7005] [7007] [7010]
1-1- 1
-1-1 1
.names [1684] [1685] [1686] [7004] [7011]
1--- 1
-1-1 1
--11 1
.names i_7_ i_14_ i_28_ i_37_ [7014]
0001 1
.names i_16_ i_20_ [7017]
01 1
.names n_n1202 n_n1459 [1668] [7014] [7018]
--1- 1
11-1 1
.names n_n1404 n_n1406 [245] [1672] [7019]
---1 1
111- 1
.names [1669] [1670] [7018] [7019] [7022]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_23_ i_24_ i_22_ i_34_ [7025]
0011 1
.names i_32_ i_31_ i_29_ [7026]
001 1
.names i_14_ i_12_ i_17_ i_16_ [7027]
00-0 1
0-00 1
.names i_7_ i_13_ i_16_ i_31_ [7028]
1001 1
.names i_30_ i_22_ i_32_ i_31_ [7029]
0100 1
.names i_7_ i_14_ i_16_ i_31_ [7031]
1001 1
.names i_23_ i_21_ i_22_ [7033]
010 1
.names n_n1396 [716] [1657] [6958] [7036]
--1- 1
11-1 1
.names [127] [1653] [1654] [1656] [7037]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1429 [8] [196] [55] [7040]
--1- 1
1--1 1
-1-1 1
.names [126] [1640] [1651] [1652] [7041]
1--- 1
-1-- 1
--1- 1
---1 1
.names [7036] [7037] [7040] [7041] [7043]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1718 n_n1719 n_n1720 [7043] [7044]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1716 n_n1715 n_n1723 [7022] [7045]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_30_ i_7_ i_8_ i_13_ [7046]
0000 1
.names i_12_ i_6_ [7050]
00 1
.names i_14_ i_23_ i_24_ i_16_ [7051]
0000 1
.names i_32_ i_34_ i_35_ [365] [7052]
0101 1
.names i_30_ i_27_ i_28_ [7053]
000 1
.names i_20_ i_14_ i_17_ i_16_ [7054]
0000 1
.names i_20_ i_23_ i_24_ [7055]
000 1
.names [1637] [1635] [7057]
1- 1
-1 1
.names i_27_ i_28_ i_33_ [7058]
001 1
.names i_25_ i_20_ [7059]
11 1
.names [80] [248] [515] [1628] [7060]
---1 1
111- 1
.names n_n608 [1632] [7052] [7060] [7062]
-1-- 1
---1 1
1-1- 1
.names i_30_ i_31_ i_29_ [7063]
010 1
.names i_32_ i_34_ i_35_ i_37_ [7064]
0011 1
.names i_27_ i_26_ i_23_ i_24_ [7068]
0000 1
.names i_20_ i_14_ i_12_ i_16_ [7069]
0000 1
.names i_20_ i_14_ i_17_ i_16_ [7070]
0000 1
.names i_0_ i_35_ i_37_ [7072]
001 1
.names i_28_ i_29_ n_n1369 n_n1318 [7073]
0011 1
.names i_35_ i_37_ n_n1441 [243] [7074]
0111 1
.names [515] [1618] [7073] [7075]
-1- 1
1-1 1
.names n_n608 [1622] [7074] [7076]
-1- 1
1-1 1
.names n_n793 [29] [7063] [7079]
111 1
.names i_30_ i_27_ i_28_ i_29_ [7080]
0000 1
.names i_30_ i_28_ i_32_ n_n1369 [7082]
0001 1
.names i_20_ i_13_ i_17_ i_16_ [7083]
0000 1
.names i_0_ i_33_ i_35_ i_37_ [7084]
0001 1
.names i_35_ i_37_ n_n1369 n_n1302 [7085]
0111 1
.names i_13_ i_23_ i_24_ i_16_ [7086]
0000 1
.names i_35_ i_37_ n_n1441 n_n1305 [7087]
0111 1
.names n_n571 n_n1311 [1607] [7079] [7089]
--1- 1
11-1 1
.names n_n544 [491] [7085] [7087] [7090]
-11- 1
1--1 1
.names [1608] [1611] [7089] [7090] [7093]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1619] [7075] [7076] [7093] [7094]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_35_ i_37_ n_n1375 n_n1340 [7095]
0111 1
.names i_35_ i_37_ n_n1369 n_n1288 [7096]
0111 1
.names i_35_ i_37_ n_n1375 n_n1213 [7097]
0111 1
.names i_33_ i_35_ i_37_ [402] [7098]
0011 1
.names [470] [202] [251] [7098] [7099]
1-1- 1
-1-1 1
.names n_n544 n_n437 [7095] [7096] [7102]
1-1- 1
-1-1 1
.names n_n195 [491] [482] [7097] [7103]
-11- 1
1--1 1
.names [7103] [7102] [7104]
1- 1
-1 1
.names i_8_ i_13_ i_12_ [7105]
000 1
.names i_32_ i_31_ i_34_ i_37_ [7108]
0111 1
.names n_n984 [47] [693] [1589] [7110]
---1 1
111- 1
.names n_n1141 n_n1263 [524] [1591] [7111]
---1 1
111- 1
.names i_30_ i_34_ n_n504 [7114]
011 1
.names i_20_ n_n984 [47] [7115]
111 1
.names [1580] [1677] [1678] [7115] [7116]
1--- 1
-1-1 1
--11 1
.names [1582] [1585] [1586] [7114] [7117]
1--- 1
-1-1 1
--11 1
.names i_9_ i_10_ i_6_ i_32_ [7119]
0000 1
.names n_n1443 n_n504 [7119] [7120]
111 1
.names i_11_ i_23_ i_17_ i_19_ [7121]
0000 1
.names i_14_ i_16_ i_37_ [7123]
001 1
.names i_14_ i_37_ n_n793 [6923] [7126]
0111 1
.names i_14_ i_13_ i_16_ i_37_ [7130]
0101 1
.names i_35_ i_37_ n_n841 n_n245 [7134]
0111 1
.names n_n1369 n_n1274 n_n1368 [663] [7135]
1111 1
.names i_14_ i_16_ n_n1274 [7136]
001 1
.names i_37_ i_10_ [7137]
10 1
.names i_34_ i_37_ n_n1216 n_n1305 [7139]
1111 1
.names n_n1408 n_n839 [6939] [7140]
111 1
.names [88] [7134] [7135] [7140] [7141]
-11- 1
1--1 1
.names [1767] [1768] [7139] [7141] [7142]
---1 1
1-1- 1
-11- 1
.names n_n245 [664] [1559] [7137] [7143]
--1- 1
11-1 1
.names i_9_ i_6_ i_23_ i_24_ [7145]
0000 1
.names i_5_ i_6_ i_23_ i_24_ [7148]
0000 1
.names n_n1443 n_n1375 n_n1318 n_n1340 [7151]
1111 1
.names n_n853 n_n1408 [6939] [7152]
111 1
.names i_13_ i_17_ i_16_ i_32_ [7153]
0000 1
.names [88] [1546] [1548] [7152] [7157]
-1-- 1
--1- 1
1--1 1
.names i_13_ i_16_ n_n1144 [7158]
001 1
.names i_6_ i_13_ i_12_ i_16_ [7159]
0000 1
.names i_5_ i_4_ i_0_ n_n504 [7160]
0001 1
.names i_5_ i_4_ i_0_ i_32_ [7161]
0000 1
.names i_7_ i_6_ i_12_ [7161] [7162]
0001 1
.names i_13_ i_16_ i_33_ i_37_ [7163]
0001 1
.names i_34_ i_35_ n_n793 n_n1305 [7165]
0111 1
.names n_n1307 n_n1100 n_n1340 [7166]
111 1
.names i_34_ i_35_ n_n1258 n_n1302 [7167]
0111 1
.names n_n458 [384] [7165] [7166] [7169]
1-1- 1
-1-1 1
.names [508] [470] [1534] [1535] [7172]
--1- 1
---1 1
11-- 1
.names i_32_ i_29_ n_n793 [7173]
001 1
.names i_28_ i_29_ n_n1258 [7174]
001 1
.names i_34_ i_35_ i_37_ [7175]
011 1
.names i_10_ i_13_ i_16_ n_n504 [7176]
0001 1
.names n_n1375 n_n1458 n_n1213 [7177]
111 1
.names n_n1375 n_n1400 n_n916 [7178]
111 1
.names n_n1375 n_n1400 [334] [7179]
111 1
.names [85] [7178] [7179] [7181]
11- 1
1-1 1
.names [705] [1523] [7175] [7183]
-1- 1
1-1 1
.names i_14_ i_16_ n_n1144 [7185]
001 1
.names i_6_ i_14_ i_12_ i_16_ [7186]
0000 1
.names i_35_ i_37_ n_n245 [7187]
011 1
.names i_34_ i_33_ i_37_ [7188]
101 1
.names n_n1375 n_n1400 n_n916 [7189]
111 1
.names n_n1375 n_n1400 [334] [7190]
111 1
.names n_n1307 n_n841 [7189] [7190] [7191]
111- 1
11-1 1
.names [222] [268] [1509] [7162] [7192]
--1- 1
11-1 1
.names n_n1216 n_n179 [268] [6928] [7195]
1111 1
.names i_11_ i_23_ i_17_ i_19_ [7197]
0000 1
.names i_14_ i_16_ [80] [248] [7199]
0011 1
.names n_n1278 n_n152 [258] [7203]
111 1
.names i_14_ n_n1397 n_n1375 n_n1322 [7204]
0111 1
.names [223] [319] [7203] [7204] [7205]
-11- 1
1--1 1
.names i_27_ i_28_ i_24_ i_37_ [7208]
0001 1
.names n_n1322 n_n1241 [7208] [7210]
111 1
.names i_14_ i_28_ i_16_ i_29_ [7211]
0000 1
.names i_35_ i_37_ n_n1369 [7211] [7212]
0111 1
.names n_n1406 n_n1213 n_n629 [7214]
111 1
.names i_14_ i_32_ i_35_ i_37_ [7215]
0001 1
.names i_10_ i_14_ i_16_ i_37_ [7216]
0001 1
.names i_37_ i_32_ [7217]
10 1
.names n_n152 [44] [6899] [7218]
111 1
.names i_35_ i_37_ n_n1441 [243] [7219]
0111 1
.names i_13_ [223] [1492] [7210] [7221]
--1- 1
01-1 1
.names n_n1443 n_n504 n_n1118 n_n152 [7224]
1111 1
.names i_13_ i_37_ n_n1458 [7226]
011 1
.names n_n1441 n_n1443 n_n1318 n_n1305 [7228]
1111 1
.names i_35_ i_37_ n_n1369 n_n1302 [7229]
0111 1
.names i_14_ i_37_ n_n1018 n_n1225 [7230]
0111 1
.names [1481] [1482] [1483] [1486] [7234]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1484] [1485] [7234] [7235]
1-- 1
-1- 1
--1 1
.names n_n1705 [1549] [7157] [7238]
1-- 1
-1- 1
--1 1
.names n_n1703 n_n1704 [7142] [7143] [7239]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1697 n_n1701 n_n1702 [7235] [7240]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_34_ i_35_ [365] [7242]
011 1
.names i_7_ i_8_ i_13_ [7243]
000 1
.names [59] n_n1429 [306] [1476] [7244]
---1 1
111- 1
.names [6933] [6934] [6942] [6943] [7247]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1714 n_n1713 n_n1712 [7248]
1-- 1
-1- 1
--1 1
.names [1597] [7104] [7247] [7248] [7250]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1690 [7238] [7239] [7240] [7252]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1278 n_n26 [413] [7254]
111 1
.names i_13_ i_9_ [7255]
00 1
.names [1747] [1757] [6898] [6919] [7256]
1--- 1
-1-- 1
--1- 1
---1 1
.names [7256] [1465] [7257]
1- 1
-1 1
.names i_22_ i_13_ [7258]
00 1
.names i_3_ i_18_ i_19_ [7259]
0-1 1
-11 1
.names i_9_ i_12_ n_n1497 [7261]
111 1
.names i_22_ i_28_ [7264]
00 1
.names i_28_ i_25_ i_26_ [7265]
000 1
.names i_28_ i_33_ i_38_ [7266]
001 1
.names n_n416 [70] n_n706 [1456] [7267]
---1 1
11-- 1
-11- 1
.names i_26_ i_24_ i_38_ [7268]
001 1
.names n_n1128 n_n1458 [7268] [7269]
111 1
.names i_3_ i_10_ [7271]
01 1
.names i_7_ i_26_ i_24_ i_22_ [7272]
0000 1
.names i_33_ i_38_ n_n586 [7271] [7273]
0111 1
.names i_8_ i_5_ i_6_ i_18_ [7274]
0000 1
.names i_28_ i_26_ i_29_ [226] [7275]
0001 1
.names i_25_ i_24_ i_22_ [7276]
000 1
.names i_9_ i_8_ i_12_ [7277]
101 1
.names n_n735 n_n584 n_n1033 [7277] [7281]
-11- 1
1--1 1
.names [4] [282] [7269] [7273] [7282]
1-1- 1
-1-1 1
.names i_22_ i_12_ [7284]
01 1
.names i_35_ i_38_ n_n1454 n_n1431 [7285]
0111 1
.names i_24_ i_22_ i_38_ [7265] [7286]
0011 1
.names n_n735 n_n584 n_n1033 [7277] [7288]
-11- 1
1--1 1
.names n_n706 [1437] [1439] [7286] [7290]
-1-- 1
--1- 1
1--1 1
.names i_28_ i_25_ i_26_ i_29_ [7295]
0000 1
.names i_31_ i_35_ i_38_ [7295] [7296]
0011 1
.names i_10_ i_7_ i_8_ [7297]
100 1
.names i_3_ i_13_ i_12_ i_19_ [7298]
0011 1
.names i_7_ i_8_ i_24_ i_22_ [7299]
0000 1
.names i_7_ i_32_ i_38_ [7301]
001 1
.names i_10_ i_19_ n_n584 [7306]
111 1
.names i_28_ i_24_ i_38_ [7308]
001 1
.names n_n1437 n_n1133 [7308] [7309]
111 1
.names i_32_ i_34_ i_35_ [239] [7310]
0101 1
.names i_34_ i_33_ i_35_ i_38_ [7311]
1001 1
.names [4] [329] [7306] [7309] [7312]
-11- 1
1--1 1
.names [1408] [1419] [1421] [7312] [7316]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_34_ i_38_ i_29_ [7317]
110 1
.names i_9_ i_10_ i_35_ i_38_ [7319]
1001 1
.names n_n1118 n_n1279 [7319] [7320]
111 1
.names i_32_ i_35_ i_38_ n_n1478 [7321]
0011 1
.names n_n819 n_n1279 n_n1191 [7322]
111 1
.names i_33_ i_38_ [447] [7323]
011 1
.names i_34_ i_38_ n_n1466 [7324]
111 1
.names [52] [7320] [7321] [7322] [7325]
11-- 1
--11 1
.names n_n706 [1399] [7323] [7325] [7327]
-1-- 1
---1 1
1-1- 1
.names i_32_ i_33_ i_35_ i_38_ [7328]
0001 1
.names [58] n_n819 n_n1279 n_n1191 [7329]
1111 1
.names i_31_ i_35_ i_38_ n_n1478 [7330]
0011 1
.names n_n1307 n_n841 n_n1191 [7331]
111 1
.names i_34_ i_33_ i_38_ [7332]
101 1
.names i_9_ i_10_ n_n1118 n_n1279 [7333]
1011 1
.names i_31_ n_n1307 n_n839 [7334]
011 1
.names [7328] [7329] [7330] [7331] [7335]
11-- 1
--11 1
.names n_n300 [390] [7333] [7334] [7336]
-11- 1
1--1 1
.names [261] [276] [379] [289] [7337]
1-1- 1
-1-1 1
.names [7335] [7336] [7337] [7339]
1-- 1
-1- 1
--1 1
.names i_35_ i_38_ n_n1454 [7264] [7340]
0111 1
.names i_31_ n_n1307 n_n853 [7341]
011 1
.names i_18_ i_11_ [7342]
11 1
.names i_19_ i_2_ [7343]
10 1
.names i_9_ [283] n_n735 [343] [7344]
-1-1 1
111- 1
.names n_n300 [475] [7340] [7341] [7345]
-11- 1
1--1 1
.names n_n1861 [1403] [7327] [7348]
1-- 1
-1- 1
--1 1
.names n_n1825 [1392] [7339] [7349]
1-- 1
-1- 1
--1 1
.names n_n1854 [1409] [7316] [7348] [7350]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_30_ i_28_ i_2_ i_32_ [7351]
0000 1
.names i_35_ i_38_ n_n1454 [7351] [7352]
0111 1
.names i_10_ n_n1466 n_n1419 [7353]
011 1
.names i_25_ i_24_ n_n805 n_n1288 [7354]
0011 1
.names i_32_ i_35_ i_38_ [78] [7355]
0011 1
.names i_28_ i_38_ i_29_ [7356]
010 1
.names [85] [335] [7353] [7354] [7357]
1-1- 1
-1-1 1
.names n_n706 [327] [456] [7355] [7358]
1-1- 1
-1-1 1
.names i_28_ i_26_ n_n1191 [226] [7361]
0011 1
.names i_25_ i_24_ n_n805 n_n1128 [7362]
0011 1
.names i_28_ i_33_ i_29_ n_n805 [7363]
0001 1
.names i_32_ i_29_ [311] [7364]
001 1
.names i_31_ n_n1307 n_n839 [7365]
011 1
.names i_13_ [41] [7361] [7362] [7366]
-11- 1
11-1 1
.names [475] [390] [394] [7363] [7367]
11-- 1
--11 1
.names n_n316 [261] [387] [7365] [7368]
-11- 1
1--1 1
.names n_n1454 n_n416 [7356] [7368] [7370]
---1 1
111- 1
.names [1367] [7366] [7367] [7371]
1-- 1
-1- 1
--1 1
.names i_25_ i_24_ n_n805 n_n1128 [7372]
0011 1
.names n_n1307 n_n1133 n_n839 [7373]
111 1
.names i_31_ n_n1307 n_n853 [7374]
011 1
.names i_9_ [283] n_n735 [343] [7375]
-1-1 1
111- 1
.names i_28_ i_35_ i_38_ i_29_ [7377]
0110 1
.names [315] [408] [7372] [7373] [7379]
-11- 1
1--1 1
.names i_13_ n_n316 [310] [7374] [7380]
1-1- 1
-1-1 1
.names [1356] [1357] [7379] [7380] [7383]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1197 n_n1133 n_n1497 [7385]
111 1
.names i_35_ i_38_ i_29_ n_n1478 [7386]
0101 1
.names n_n1307 n_n853 n_n1128 [7387]
111 1
.names i_10_ i_13_ i_26_ i_24_ [7388]
0-00 1
-100 1
.names i_28_ i_26_ i_32_ i_29_ [7390]
0000 1
.names [1349] [1350] [1351] [7393]
1-- 1
-1- 1
--1 1
.names [218] [270] [7385] [7387] [7394]
1-1- 1
-1-1 1
.names n_n849 [327] [510] [7386] [7395]
-11- 1
1--1 1
.names i_10_ i_24_ i_22_ [311] [7397]
0001 1
.names i_24_ i_38_ n_n1437 [7399]
011 1
.names [85] [388] [261] [7397] [7400]
-11- 1
1--1 1
.names i_30_ i_24_ n_n805 n_n1466 [7402]
0011 1
.names [9] [78] [346] [1325] [7406]
---1 1
111- 1
.names [1347] [7394] [7395] [7406] [7407]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_32_ i_34_ i_29_ [7409]
010 1
.names i_3_ i_1_ i_2_ [7411]
000 1
.names i_9_ i_13_ i_19_ [7412]
101 1
.names i_13_ i_11_ i_18_ [7413]
011 1
.names i_13_ i_4_ i_12_ i_2_ [7415]
0000 1
.names i_18_ i_13_ [7417]
10 1
.names i_3_ i_13_ i_12_ [7419]
000 1
.names i_9_ i_8_ i_5_ i_6_ [7420]
1000 1
.names i_9_ i_13_ i_18_ i_19_ [7423]
1011 1
.names i_9_ i_5_ i_6_ i_19_ [7424]
1001 1
.names i_9_ i_5_ i_6_ i_11_ [7425]
1001 1
.names i_9_ i_13_ i_11_ i_18_ [7426]
1011 1
.names i_9_ i_8_ i_13_ i_11_ [7427]
1001 1
.names i_9_ i_13_ i_11_ i_18_ [7428]
1011 1
.names i_35_ i_38_ n_n1225 n_n998 [7430]
0111 1
.names i_28_ i_25_ i_34_ i_29_ [7431]
0010 1
.names n_n284 [75] [1308] [7432]
--1 1
11- 1
.names n_n300 [654] [1309] [7433]
--1 1
11- 1
.names n_n1843 [1317] [1318] [1319] [7435]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n300 [675] [1305] [7437]
--1 1
11- 1
.names [53] n_n316 [423] [656] [7439]
1-1- 1
-1-1 1
.names [1296] [1303] [7437] [7439] [7441]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_24_ i_35_ i_38_ [430] [7443]
0011 1
.names n_n315 n_n317 [254] [1291] [7445]
---1 1
1-1- 1
-11- 1
.names [61] [226] [7446]
11 1
.names i_28_ i_32_ i_29_ [429] [7447]
0001 1
.names i_38_ i_28_ [7448]
10 1
.names [297] [1284] [1286] [7447] [7452]
-1-- 1
--1- 1
1--1 1
.names n_n1438 n_n1197 n_n1497 [405] [7454]
1111 1
.names i_24_ i_35_ i_38_ [430] [7456]
0011 1
.names i_10_ i_3_ n_n1438 n_n586 [7457]
1011 1
.names [381] [390] [671] [7457] [7458]
1-1- 1
-1-1 1
.names i_35_ i_38_ n_n1486 n_n998 [7459]
0111 1
.names n_n315 [381] [1268] [7461]
--1 1
11- 1
.names [254] [676] [1271] [7462]
--1 1
11- 1
.names n_n1847 [1274] [7458] [7464]
1-- 1
-1- 1
--1 1
.names i_35_ i_38_ n_n1486 n_n998 [7465]
0111 1
.names i_30_ i_8_ i_28_ i_31_ [7466]
0000 1
.names n_n1425 n_n1361 [284] [7276] [7469]
1111 1
.names i_35_ i_38_ n_n1225 n_n998 [7470]
0111 1
.names i_22_ i_3_ [7473]
00 1
.names n_n1454 n_n1179 n_n1345 [7474]
111 1
.names [75] [677] [1247] [1249] [7477]
--1- 1
---1 1
11-- 1
.names i_28_ i_22_ n_n1454 [264] [7479]
0011 1
.names [1238] [1239] [1241] [1242] [7483]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1240] [1290] [7445] [7483] [7485]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1821 [7461] [7462] [7464] [7487]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_10_ i_2_ [7488]
100 1
.names i_20_ i_21_ i_22_ [7491]
100 1
.names i_8_ i_24_ i_38_ [7492]
001 1
.names n_n1225 [72] [239] [1230] [7493]
---1 1
111- 1
.names [250] [537] [1234] [7494]
--1 1
11- 1
.names [70] [72] [1235] [1236] [7495]
--1- 1
11-- 1
1--1 1
.names i_28_ i_32_ i_29_ n_n1454 [7500]
0001 1
.names [212] [250] [691] [7500] [7502]
1-1- 1
-1-1 1
.names [206] [692] [1227] [7503]
--1 1
11- 1
.names [288] [124] [132] [519] [7504]
-1-- 1
--1- 1
1--1 1
.names i_28_ i_26_ n_n1300 n_n1191 [7507]
0011 1
.names n_n1454 [224] n_n1279 [7264] [7508]
1111 1
.names i_24_ i_22_ [264] [7265] [7510]
0011 1
.names [85] [446] [7507] [7508] [7511]
1-1- 1
-1-1 1
.names [50] [223] [388] [7510] [7512]
-11- 1
1--1 1
.names i_10_ i_13_ i_34_ [239] [7516]
0-11 1
-111 1
.names i_8_ i_25_ [214] [7519]
001 1
.names i_5_ i_6_ n_n1279 [61] [7521]
0011 1
.names i_31_ n_n1118 n_n1279 [7522]
011 1
.names i_24_ i_34_ i_38_ [7523]
011 1
.names [250] [272] [7516] [7519] [7525]
-11- 1
1--1 1
.names [53] n_n1149 [7521] [7522] [7526]
-11- 1
1--1 1
.names [1208] [1212] [7525] [7526] [7529]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_31_ i_29_ n_n1118 n_n1279 [7531]
0011 1
.names i_8_ i_28_ i_29_ [7532]
000 1
.names i_30_ i_29_ n_n1478 [12] [7534]
0011 1
.names n_n1307 [264] n_n1144 [7536]
111 1
.names n_n1423 n_n805 [1201] [7531] [7537]
--1- 1
11-1 1
.names i_10_ [257] [286] [7536] [7538]
0-1- 1
-1-1 1
.names i_19_ i_18_ [7541]
11 1
.names i_30_ i_24_ n_n1197 n_n1486 [7543]
0011 1
.names i_6_ i_12_ n_n1307 [61] [7545]
0011 1
.names i_28_ i_24_ i_33_ i_29_ [7547]
0000 1
.names [51] n_n1149 [502] [7545] [7548]
1-1- 1
-1-1 1
.names [50] [53] [360] [66] [7549]
-11- 1
1--1 1
.names n_n1489 n_n1458 [7268] [7552]
111 1
.names [395] [346] [744] [7552] [7553]
11-- 1
--11 1
.names n_n1059 [1186] [1187] [7553] [7554]
---1 1
11-- 1
1-1- 1
.names i_38_ i_25_ [7555]
10 1
.names i_30_ i_32_ i_35_ i_38_ [7559]
0001 1
.names n_n1454 n_n1307 [7050] [7264] [7561]
1111 1
.names i_32_ i_34_ i_35_ n_n1466 [7562]
0011 1
.names [72] [214] [1173] [7555] [7565]
--1- 1
11-1 1
.names [446] [206] [7561] [7562] [7566]
1-1- 1
-1-1 1
.names [224] n_n1279 [465] [1176] [7567]
---1 1
111- 1
.names [1172] [7565] [7566] [7567] [7570]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_10_ i_8_ i_12_ [7572]
1001 1
.names [503] i_10_ [7574]
10 1
.names i_28_ i_26_ i_24_ i_29_ [7576]
0000 1
.names i_30_ i_28_ i_22_ i_31_ [7577]
0000 1
.names n_n1454 n_n1179 [1168] [7577] [7578]
--1- 1
11-1 1
.names [272] [1159] [1161] [7574] [7580]
-1-- 1
--1- 1
1--1 1
.names i_12_ i_30_ [7582]
10 1
.names i_10_ i_32_ n_n1307 n_n1100 [7585]
0011 1
.names n_n1118 n_n1279 n_n1128 [7586]
111 1
.names i_13_ [503] [272] [1152] [7587]
---1 1
111- 1
.names [395] [81] [7585] [7586] [7588]
1-1- 1
-1-1 1
.names [76] [66] [1156] [1157] [7591]
--1- 1
---1 1
11-- 1
.names [1143] [1142] [7592]
1- 1
-1 1
.names [1139] [1140] [1141] [7592] [7595]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1162] [1163] [7580] [7595] [7596]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1871 n_n1873 [1211] [7529] [7598]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_8_ i_24_ i_38_ [7600]
0001 1
.names i_30_ i_7_ i_32_ [7602]
000 1
.names i_30_ i_7_ i_8_ i_24_ [7603]
0000 1
.names [1131] [1133] [1134] [1136] [7609]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_30_ i_28_ i_22_ i_32_ [7612]
101- 1
-011 1
.names [298] [1123] [1126] [1127] [7615]
-1-- 1
1-1- 1
1--1 1
.names i_24_ i_34_ i_33_ i_38_ [7616]
0101 1
.names i_28_ i_22_ i_34_ i_35_ [7618]
0101 1
.names i_28_ i_22_ i_31_ i_34_ [7619]
0111 1
.names [1112] [1113] [1114] [7621]
1-- 1
-1- 1
--1 1
.names [1132] [1135] [7609] [7621] [7622]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_28_ i_24_ i_22_ i_34_ [7626]
0011 1
.names i_30_ i_28_ i_26_ i_32_ [7627]
100- 1
-001 1
.names i_27_ i_16_ i_22_ [7629]
1-1 1
-11 1
.names n_n1519 [35] [7626] [7627] [7631]
-11- 1
1--1 1
.names [214] [95] [96] [1095] [7632]
---1 1
11-- 1
1-1- 1
.names i_30_ i_14_ i_16_ i_33_ [7636]
1-1- 1
-1-1 1
.names i_14_ i_13_ i_24_ [7638]
110 1
.names i_24_ i_22_ i_34_ [7639]
001 1
.names i_28_ i_29_ [739] [1070] [7640]
---1 1
011- 1
.names n_n1896 [1080] [1081] [7640] [7642]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_10_ i_2_ [7644]
100 1
.names i_10_ i_24_ i_22_ n_n1192 [7646]
0001 1
.names i_28_ i_25_ i_34_ i_29_ [7647]
0010 1
.names i_8_ n_n1278 n_n1279 [7648]
011 1
.names [78] [519] [1060] [1062] [7651]
--1- 1
---1 1
11-- 1
.names [70] [1061] [7648] [7651] [7652]
-1-- 1
---1 1
1-1- 1
.names i_14_ i_28_ i_29_ [7653]
100 1
.names i_8_ i_2_ i_22_ [7655]
000 1
.names i_30_ i_2_ i_32_ i_31_ [7657]
0000 1
.names [1050] [1051] [1052] [7661]
1-- 1
-1- 1
--1 1
.names n_n1454 n_n1288 [206] [1041] [7666]
---1 1
111- 1
.names [1040] [1044] [1045] [7666] [7669]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_30_ i_8_ i_2_ [7670]
000 1
.names i_2_ i_24_ i_22_ n_n1425 [7673]
0001 1
.names n_n1374 n_n1375 [38] [1032] [7676]
---1 1
111- 1
.names i_32_ [226] [1029] [7673] [7677]
--1- 1
01-1 1
.names [128] [1030] [1033] [7678]
1-- 1
-1- 1
--1 1
.names [7676] [7677] [7678] [7680]
1-- 1
-1- 1
--1 1
.names i_23_ i_24_ i_34_ [7682]
001 1
.names i_30_ i_12_ i_17_ i_32_ [7686]
111- 1
-111 1
.names n_n1397 [112] [734] [1022] [7689]
-1-- 1
---1 1
1-1- 1
.names i_30_ i_8_ i_31_ i_29_ [7690]
0000 1
.names i_30_ i_7_ i_8_ i_2_ [7691]
0000 1
.names n_n1439 n_n1438 n_n1437 [1017] [7696]
---1 1
111- 1
.names [1010] [1011] [1012] [1014] [7699]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_30_ i_7_ i_2_ i_32_ [7701]
0000 1
.names i_32_ i_33_ i_35_ i_38_ [7702]
0001 1
.names i_30_ i_8_ i_31_ [7703]
000 1
.names i_8_ i_26_ i_24_ [7704]
000 1
.names [214] [1000] [1008] [1009] [7705]
-1-- 1
1-1- 1
1--1 1
.names [71] [12] [999] [7703] [7706]
--1- 1
11-1 1
.names [1023] [1024] [7689] [7706] [7708]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1881 n_n1882 [1064] [7652] [7711]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1818 n_n1834 n_n1835 [7711] [7714]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_32_ i_33_ i_38_ n_n1486 [7716]
0011 1
.names i_28_ i_25_ i_32_ i_29_ [7717]
0000 1
.names i_10_ i_13_ n_n1307 n_n841 [7718]
0-11 1
-111 1
.names i_24_ i_34_ i_35_ i_38_ [7721]
0101 1
.names [7721] [344] [7722]
11 1
.names i_9_ i_28_ i_26_ i_24_ [7723]
1000 1
.names i_30_ i_2_ i_32_ n_n1197 [7724]
0001 1
.names n_n1307 n_n853 n_n1133 [7725]
111 1
.names i_9_ i_10_ n_n1307 [7050] [7726]
1011 1
.names [315] [335] [7722] [7725] [7727]
-11- 1
1--1 1
.names i_10_ n_n316 [310] [7726] [7728]
0-1- 1
-1-1 1
.names i_10_ i_24_ n_n819 n_n1279 [7731]
0011 1
.names i_35_ i_38_ i_29_ n_n1478 [7732]
0101 1
.names i_34_ i_35_ i_38_ [344] [7733]
1011 1
.names n_n1307 n_n1128 n_n839 [7734]
111 1
.names i_32_ n_n1307 n_n853 [7735]
011 1
.names i_26_ i_24_ n_n1288 [7736]
001 1
.names [327] [394] [7732] [7733] [7737]
-11- 1
1--1 1
.names [270] [510] [7731] [7734] [7738]
-11- 1
1--1 1
.names [330] [289] [977] [978] [7740]
--1- 1
11-- 1
1--1 1
.names [66] [7735] [7737] [7738] [7741]
--1- 1
---1 1
11-- 1
.names n_n1866 n_n1865 [7740] [7741] [7743]
1--- 1
-1-- 1
--1- 1
---1 1
.names [7743] n_n1827 [7744]
1- 1
-1 1
.names n_n1852 [7485] [7487] [7744] [7746]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1829 n_n1812 [7349] [7350] [7747]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_23_ i_24_ i_21_ [7749]
000 1
.names i_13_ i_32_ i_36_ i_35_ [7750]
0010 1
.names [431] [969] [7750] [7751]
1-1 1
-11 1
.names i_8_ i_11_ i_19_ [7753]
000 1
.names n_n1216 n_n1307 n_n1100 [6928] [7757]
1111 1
.names i_7_ i_8_ i_36_ [7761]
001 1
.names i_14_ i_13_ i_16_ [232] [7763]
0101 1
.names n_n1443 n_n1375 n_n1422 [7765]
111 1
.names n_n1216 n_n1278 [6928] [7766]
111 1
.names i_7_ i_32_ i_36_ [7769]
001 1
.names [363] [953] [955] [7763] [7771]
-1-- 1
--1- 1
1--1 1
.names i_8_ i_36_ i_35_ [7772]
010 1
.names [420] [950] [7772] [7773]
1-1 1
-11 1
.names i_28_ i_29_ n_n1369 n_n880 [7774]
0011 1
.names i_14_ i_13_ n_n825 [7776]
011 1
.names n_n1406 n_n1213 n_n576 [7777]
111 1
.names i_27_ i_28_ i_26_ i_29_ [7778]
0000 1
.names [232] [568] [942] [943] [7781]
--1- 1
---1 1
11-- 1
.names i_28_ i_24_ i_34_ i_29_ [7782]
0011 1
.names i_30_ i_34_ i_36_ i_29_ [7784]
0110 1
.names i_36_ i_7_ [7785]
10 1
.names i_30_ i_32_ i_34_ i_36_ [7787]
0011 1
.names i_30_ i_7_ i_32_ [7789]
000 1
.names i_27_ i_28_ i_26_ i_36_ [7791]
0001 1
.names n_n1216 [530] [933] [7784] [7793]
--1- 1
11-1 1
.names i_14_ i_16_ [516] [937] [7794]
---1 1
001- 1
.names i_13_ i_16_ [410] [939] [7795]
---1 1
001- 1
.names i_20_ i_26_ i_24_ i_21_ [7798]
1000 1
.names i_27_ i_23_ i_24_ i_21_ [7802]
0001 1
.names i_29_ i_34_ [7803]
11 1
.names [532] n_n1511 [926] [7802] [7806]
--1- 1
11-1 1
.names i_14_ i_16_ [410] [928] [7807]
---1 1
001- 1
.names n_n1404 [432] [924] [925] [7808]
--1- 1
---1 1
11-- 1
.names i_31_ i_34_ [80] [7810]
111 1
.names i_30_ i_28_ i_29_ [79] [7811]
0001 1
.names [536] [535] [7810] [7811] [7812]
-11- 1
1--1 1
.names i_13_ i_16_ [516] [919] [7813]
---1 1
001- 1
.names i_9_ i_2_ [578] [7817]
011 1
.names i_28_ i_29_ n_n1369 n_n1254 [7819]
0111 1
.names i_13_ i_31_ i_36_ i_35_ [7820]
0010 1
.names i_36_ i_35_ n_n916 [7821]
101 1
.names i_28_ i_23_ i_17_ i_21_ [7822]
0000 1
.names n_n355 [463] [418] [7817] [7823]
1-1- 1
-1-1 1
.names [86] [576] [7823] [7825]
--1 1
11- 1
.names [903] [904] [906] [7826]
1-- 1
-1- 1
--1 1
.names i_10_ i_7_ i_13_ [7827]
111 1
.names i_10_ i_7_ i_12_ [7828]
110 1
.names i_28_ i_31_ i_34_ i_35_ [7829]
0101 1
.names i_27_ i_23_ i_21_ [7829] [7830]
0011 1
.names i_23_ i_24_ i_21_ [7831]
000 1
.names i_32_ i_36_ n_n1441 [7831] [7832]
0111 1
.names n_n1429 n_n1216 [6959] [7834]
111 1
.names i_36_ n_n793 [6923] [7835]
111 1
.names n_n458 [644] [7830] [7832] [7836]
-11- 1
1--1 1
.names n_n363 [440] [7834] [7835] [7837]
-11- 1
1--1 1
.names [493] n_n620 n_n242 [418] [7838]
11-- 1
--11 1
.names [7837] [7836] [7839]
1- 1
-1 1
.names i_34_ i_36_ [643] [7838] [7840]
---1 1
111- 1
.names i_27_ i_28_ i_31_ i_29_ [7842]
0010 1
.names i_23_ i_34_ i_35_ [541] [7843]
0011 1
.names [437] [891] [7842] [7844]
1-1 1
-11 1
.names i_32_ i_36_ n_n1441 [7831] [7845]
0111 1
.names i_36_ i_35_ n_n301 [7846]
101 1
.names i_5_ i_6_ i_4_ i_31_ [7847]
0000 1
.names n_n358 [7843] [7844] [7845] [7849]
-11- 1
1--1 1
.names n_n576 [540] [7849] [7851]
--1 1
11- 1
.names n_n1429 [307] [884] [7851] [7852]
--1- 1
---1 1
11-- 1
.names [7825] [7826] [7839] [7840] [7853]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_27_ i_23_ i_17_ i_36_ [7854]
0001 1
.names [7854] [214] [7855]
11 1
.names n_n1441 [265] [7831] [7856]
111 1
.names i_27_ i_28_ i_31_ [7857]
000 1
.names i_14_ i_13_ n_n1213 [7858]
0-1 1
-01 1
.names i_5_ i_6_ n_n1279 [7857] [7859]
0011 1
.names i_13_ i_10_ [7860]
00 1
.names i_32_ i_36_ i_35_ n_n825 [7862]
0101 1
.names [267] [227] [7863]
11 1
.names n_n358 n_n355 [7855] [7863] [7864]
-11- 1
1--1 1
.names [559] [875] [7856] [7864] [7866]
-1-- 1
---1 1
1-1- 1
.names n_n1369 n_n1128 n_n576 [7867]
111 1
.names i_32_ i_34_ n_n1307 n_n1100 [7868]
0111 1
.names i_32_ i_34_ i_35_ [267] [7869]
0011 1
.names i_27_ i_23_ i_17_ [214] [7870]
0001 1
.names n_n458 n_n242 [7869] [7870] [7871]
1-1- 1
-1-1 1
.names n_n437 [500] [312] [7867] [7874]
-11- 1
1--1 1
.names n_n1404 [307] [483] n_n329 [7875]
11-- 1
--11 1
.names i_34_ i_36_ [80] n_n1322 [7878]
1111 1
.names n_n437 n_n195 [483] [500] [7879]
1-1- 1
-1-1 1
.names [86] [543] [849] [7879] [7881]
--1- 1
---1 1
11-- 1
.names [7881] [850] [7882]
1- 1
-1 1
.names i_36_ i_35_ n_n1433 n_n1375 [7885]
1011 1
.names i_21_ n_n1216 [6959] [7886]
111 1
.names n_n1263 [80] [86] [7887]
111 1
.names i_34_ i_36_ n_n1375 n_n1400 [7888]
1111 1
.names i_34_ n_n1288 n_n1018 [7889]
111 1
.names i_7_ i_8_ i_12_ i_21_ [7890]
0000 1
.names n_n458 n_n355 [458] [7889] [7892]
-11- 1
1--1 1
.names n_n242 n_n608 [7885] [7888] [7893]
-11- 1
1--1 1
.names [610] [841] [7886] [7893] [7895]
-1-- 1
---1 1
1-1- 1
.names i_31_ i_34_ i_35_ [267] [7896]
1011 1
.names i_36_ i_35_ n_n1369 n_n1128 [7897]
1011 1
.names i_23_ i_24_ i_19_ [7898]
000 1
.names i_31_ i_34_ n_n1429 n_n1375 [7899]
1111 1
.names i_2_ i_9_ [7900]
10 1
.names i_10_ i_13_ i_17_ i_16_ [7901]
0000 1
.names i_32_ n_n1375 n_n1213 [7902]
011 1
.names n_n458 n_n242 [458] [7902] [7903]
-11- 1
1--1 1
.names [491] [669] [7896] [7897] [7906]
-11- 1
1--1 1
.names n_n712 [833] [7898] [7899] [7907]
-1-- 1
1-11 1
.names n_n1147 [383] [7906] [7907] [7909]
--1- 1
---1 1
11-- 1
.names i_32_ i_36_ n_n1375 n_n1213 [7910]
0111 1
.names n_n1314 [80] [86] [7911]
111 1
.names i_36_ n_n793 [6923] [7912]
111 1
.names i_32_ i_31_ i_29_ n_n1441 [7913]
0001 1
.names i_27_ i_28_ i_29_ n_n1433 [7914]
0001 1
.names n_n544 n_n608 [7913] [7914] [7915]
-11- 1
1--1 1
.names n_n358 n_n263 [7910] [7912] [7916]
1-1- 1
-1-1 1
.names [493] n_n269 [360] [7911] [7917]
11-- 1
--11 1
.names n_n1089 [383] [825] [7918]
--1 1
11- 1
.names n_n880 [829] [7915] [7918] [7920]
---1 1
11-- 1
1-1- 1
.names [834] [843] [7895] [7909] [7921]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1568 [7852] [7853] [7921] [7923]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1438 [6948] [6949] [7653] [7926]
111- 1
11-1 1
.names n_n1374 n_n1375 [38] [813] [7927]
---1 1
111- 1
.names i_32_ i_34_ i_36_ i_35_ [7930]
0010 1
.names i_32_ i_34_ i_36_ i_35_ [7931]
0110 1
.names i_27_ i_28_ i_26_ i_33_ [7932]
0001 1
.names [38] [512] [7932] [7935]
-1- 1
1-1 1
.names [372] [112] [507] [7029] [7936]
-1-- 1
--1- 1
1--1 1
.names [494] [497] [7935] [7936] [7938]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_31_ i_30_ [7940]
00 1
.names i_30_ i_31_ n_n1375 [86] [7941]
0011 1
.names i_21_ i_31_ i_34_ i_35_ [7942]
1101 1
.names i_2_ i_36_ n_n825 [7945]
011 1
.names i_8_ i_12_ n_n1345 [7946]
001 1
.names i_36_ i_35_ n_n1369 n_n1254 [7947]
1011 1
.names i_30_ i_7_ i_28_ i_29_ [7949]
0000 1
.names [299] [342] [572] [7941] [7952]
1-1- 1
-1-1 1
.names n_n1429 [478] [471] [7953]
--1 1
11- 1
.names i_13_ [469] [7946] [7947] [7954]
-1-- 1
0-11 1
.names i_2_ i_36_ n_n1443 [7957]
011 1
.names n_n1441 [77] [7831] [7958]
111 1
.names n_n1441 n_n1390 [6993] [7959]
111 1
.names i_30_ i_31_ [258] [86] [7960]
0011 1
.names i_2_ i_36_ n_n825 [7961]
011 1
.names [385] [7957] [7958] [7959] [7963]
-11- 1
1--1 1
.names n_n1375 n_n1400 [417] [7960] [7964]
--1- 1
11-1 1
.names n_n1375 [424] [427] [439] [7965]
-1-- 1
1-1- 1
1--1 1
.names i_31_ i_30_ [7968]
00 1
.names i_20_ i_28_ i_21_ i_29_ [7969]
1001 1
.names i_23_ i_17_ i_21_ [7971]
001 1
.names i_36_ i_21_ [7976]
10 1
.names n_n1202 [234] [7968] [7969] [7978]
-1-- 1
1-11 1
.names n_n984 n_n1213 [608] [350] [7979]
---1 1
111- 1
.names [336] [304] [7980]
1- 1
-1 1
.names i_13_ i_16_ [301] [339] [7981]
---1 1
001- 1
.names i_21_ i_25_ [7984]
11 1
.names i_30_ i_31_ [259] [86] [7986]
0011 1
.names [192] [194] [7989]
1- 1
-1 1
.names n_n1375 n_n1400 [197] [7986] [7990]
--1- 1
11-1 1
.names i_14_ i_16_ [301] [198] [7991]
---1 1
001- 1
.names i_36_ i_35_ [259] n_n1459 [7994]
1011 1
.names i_27_ i_23_ i_24_ i_17_ [7997]
0000 1
.names i_23_ i_34_ i_33_ [7999]
011 1
.names [185] [183] [8002]
1- 1
-1 1
.names [74] [184] [187] [7994] [8003]
-1-- 1
--1- 1
1--1 1
.names i_28_ i_32_ i_29_ [79] [8006]
0001 1
.names n_n269 n_n263 [273] [256] [8007]
-11- 1
1--1 1
.names i_2_ i_17_ i_21_ i_16_ [8008]
0000 1
.names i_27_ i_26_ i_2_ i_24_ [8010]
0000 1
.names i_14_ [178] [7946] [7947] [8014]
-1-- 1
0-11 1
.names n_n620 [172] [8006] [8014] [8016]
-1-- 1
---1 1
1-1- 1
.names i_36_ i_35_ n_n1441 n_n1133 [8019]
1011 1
.names i_18_ i_3_ [8021]
01 1
.names i_10_ i_7_ i_23_ i_24_ [8022]
1100 1
.names n_n544 [163] [8019] [8023]
-1- 1
1-1 1
.names i_36_ [712] [166] [167] [8026]
--1- 1
---1 1
11-- 1
.names i_27_ i_23_ i_24_ i_34_ [8027]
0001 1
.names i_28_ i_31_ i_29_ [8027] [8028]
0101 1
.names i_2_ i_36_ n_n1408 [8029]
011 1
.names n_n1441 [77] [7831] [8030]
111 1
.names i_13_ i_17_ i_16_ [305] [8031]
0001 1
.names [723] [8029] [8030] [8031] [8035]
-11- 1
1--1 1
.names n_n1288 [79] n_n269 [160] [8036]
---1 1
111- 1
.names [724] [158] [161] [8028] [8037]
-1-- 1
--1- 1
1--1 1
.names i_13_ i_12_ i_16_ [305] [8039]
0001 1
.names i_36_ n_n1375 n_n1213 [8041]
111 1
.names i_14_ i_13_ i_12_ i_16_ [8042]
1000 1
.names i_16_ i_31_ i_34_ i_35_ [8043]
0101 1
.names n_n1404 n_n263 [478] [8041] [8046]
1-1- 1
-1-1 1
.names [731] [142] [150] [8039] [8047]
-1-- 1
--1- 1
1--1 1
.names n_n1576 n_n1578 [8049]
1- 1
-1 1
.names n_n1572 [164] [8023] [8026] [8052]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1574 n_n1575 n_n1577 n_n1573 [8054]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_25_ i_32_ i_31_ i_33_ [8056]
1001 1
.names i_31_ i_28_ [8057]
10 1
.names [355] [550] [133] [8061]
--1 1
11- 1
.names [124] [132] [130] [134] [8062]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_21_ i_25_ [8065]
11 1
.names [415] n_n1254 [355] [117] [8067]
---1 1
111- 1
.names [43] n_n1282 [355] [110] [8071]
---1 1
111- 1
.names [111] [1651] [1652] [8072]
1-- 1
-1- 1
--1 1
.names n_n1580 n_n1579 n_n1581 n_n1583 [8077]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n1556 n_n1582 n_n1584 [8077] [8079]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_11_ i_19_ [8082]
000 1
.names i_23_ i_21_ [232] [8082] [8084]
0011 1
.names i_36_ n_n793 [6923] [8085]
111 1
.names i_7_ i_8_ i_19_ [8086]
000 1
.names i_17_ i_36_ n_n1406 n_n1213 [8090]
0111 1
.names i_9_ i_7_ i_6_ i_23_ [8091]
0000 1
.names [462] [34] [8084] [8093]
-1- 1
1-1 1
.names i_21_ [22] [101] [102] [8094]
-1-- 1
0-1- 1
0--1 1
.names [945] [7781] [8093] [8094] [8096]
1--- 1
-1-- 1
--1- 1
---1 1
.end