.model top
.inputs _77_9_ _87_10_ _169_22_ _238_31_ _2897_49_ _68_8_ _128_16_ _226_29_ \
_294_39_ _326_44_ _58_7_ _190_24_ _264_35_ _283_38_ _250_33_ _329_45_ _213_26_ \
_257_34_ _20_2_ _223_28_ _159_21_ _232_30_ _41_4_ _124_14_ _13_1_ _50_6_ \
_222_27_ _97_11_ _125_15_ _322_43_ _244_32_ _274_37_ _317_42_ _1_0_ _33_3_ \
_270_36_ _200_25_ _343_47_ _330_46_ _1698_48_ _132_17_ _45_5_ _116_13_ \
_143_19_ _303_40_ _311_41_ _107_12_ _137_18_ _150_20_ _179_23_
.outputs _381_1626_ _351_1247_ _353_405_ _375_1624_ _393_1605_ _364_1484_ \
_369_1321_ _384_1553_ _387_1616_ _358_1161_ _355_399_ _399_1428_ _402_1718_ \
_372_1243_ _396_1504_ _405_1717_ _409_1670_ _378_1597_ _390_1603_ _361_940_ \
_367_1585_ _407_1657_
.names n_n774 [2444] _381_1626_
1- 1
-0 1
.names _87_10_ _97_11_ _116_13_ _107_12_ [72] _351_1247_
11111 1
00111 1
01011 1
10011 1
01101 1
10101 1
11001 1
00001 1
01110 1
10110 1
11010 1
00010 1
11100 1
00100 1
01000 1
10000 1
.names _77_9_ _68_8_ _58_7_ _50_6_ _353_405_
0000 1
.names n_n770 [122] [419] [2475] _375_1624_
1--- 1
-0-- 1
--00 1
.names [213] [212] n_n784 [339] [2495] _393_1605_
--1-- 1
---0- 1
11--1 1
.names _1_0_ n_n512 n_n1582 [141] [2503] _364_1484_
----1 1
0--1- 1
000-- 1
.names n_n512 [142] [156] [2442] _369_1321_
-0-- 1
0-11 1
.names [235] n_n956 [274] [2516] _384_1553_
0--- 1
-011 1
.names n_n646 n_n910 [327] [326] [340] _387_1616_
-1--- 1
----0 1
1-11- 1
.names _264_35_ _250_33_ _257_34_ _270_36_ [131] _358_1161_
01111 1
10111 1
11011 1
00011 1
11101 1
00101 1
01001 1
10001 1
11110 1
00110 1
01010 1
10010 1
01100 1
10100 1
11000 1
00000 1
.names _87_10_ _97_11_ _107_12_ _355_399_
0-- 1
-00 1
.names n_n496 [153] n_n508 _399_1428_
0-- 1
-10 1
.names [91] n_n403 n_n386 n_n770 [2476] _402_1718_
1111- 1
0011- 1
0101- 1
1001- 1
111-0 1
001-0 1
010-0 1
100-0 1
01101 1
10101 1
11001 1
00001 1
.names n_n1078 [156] n_n1039 [2413] [2442] _372_1243_
11111 1
.names [233] [232] [50] [99] [2555] _396_1504_
--10- 1
11--1 1
.names [91] n_n642 n_n386 [46] _405_1717_
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names n_n403 [53] n_n770 [2476] [2602] _409_1670_
----1 1
1001- 1
.names n_n646 n_n1533 n_n875 n_n411 [100] _378_1597_
--1-- 1
-0--1 1
1--01 1
1--10 1
.names n_n646 [185] [186] [254] [2571] _390_1603_
--0-- 1
11--- 1
---11 1
.names [44] n_n647 n_n1607 n_n1446 [2609] _361_940_
0-00- 1
-000- 1
0--01 1
-0-01 1
.names n_n465 n_n483 [272] [2612] [2615] _367_1585_
----1 1
0111- 1
1011- 1
1101- 1
0001- 1
.names n_n403 n_n770 [122] [321] [2599] _407_1657_
0---- 1
-1--- 1
--0-- 1
---0- 1
----0 1
.names _87_10_ _97_11_ _116_13_ _107_12_ [48]
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names _77_9_ _68_8_ _58_7_ _50_6_ [72]
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names _20_2_ _41_4_ _13_1_ _1_0_ n_n646
1001 1
.names _68_8_ _58_7_ _50_6_ [44]
1-1 1
-11 1
.names _87_10_ _97_11_ _116_13_ _107_12_ [154]
0000 1
.names [155] [175] [177] [2437] [2442] n_n1017
11111 1
.names [27] n_n1039 [2413] [2421] [2423] n_n512
-0--1 1
0--01 1
--001 1
.names [45] [52] [176] [156] [2440] [142]
---01 1
00--1 1
-00-1 1
.names n_n646 n_n910 [327] [326] [340] n_n402
00--1 1
-00-1 1
-0-01 1
.names n_n1582 n_n583 [153] [356] [2397] n_n952
-11-1 1
1011- 1
0010- 1
.names n_n1582 n_n583 [27] [356] [2397] n_n496
1---- 1
-10-- 1
--00- 1
-1--0 1
.names [27] [229] n_n1078
01 1
.names [233] [232] [50] [99] [2555] n_n446
0-0-- 1
-00-- 1
0--1- 1
-0-1- 1
--0-0 1
---10 1
.names n_n402 n_n446 n_n406 n_n784 [2501] [91]
1111- 1
0011- 1
0101- 1
1001- 1
111-0 1
001-0 1
010-0 1
100-0 1
01101 1
10101 1
11001 1
00001 1
.names n_n646 n_n1533 n_n875 n_n411 [100] n_n403
010-- 1
0-0-0 1
--000 1
-1011 1
.names _213_26_ _343_47_ [53]
0- 1
-1 1
.names n_n646 [185] [186] [254] [2571] n_n406
0-10- 1
-010- 1
0-1-0 1
-01-0 1
.names _20_2_ _13_1_ _1_0_ n_n647
111 1
.names _13_1_ _1_0_ [111]
1- 1
-0 1
.names _77_9_ _68_8_ _58_7_ _50_6_ [160]
-1-0 1
1011 1
1101 1
.names _87_10_ _226_29_ _223_28_ _33_3_ _1698_48_ n_n613
0--1- 1
000-- 1
-000- 1
00--1 1
-0-01 1
--000 1
.names _41_4_ _13_1_ _1_0_ _33_3_ n_n618 [164]
-0--- 1
--0-- 1
----1 1
1--1- 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ n_n1304
11111 1
.names _190_24_ _20_2_ _200_25_ _150_20_ _179_23_ n_n1293
01011 1
.names _190_24_ _20_2_ _50_6_ _200_25_ _179_23_ n_n1218
01101 1
.names _213_26_ _20_2_ _13_1_ _1_0_ n_n658
1010 1
.names _20_2_ _13_1_ _1_0_ _33_3_ _116_13_ [165]
-11-- 1
0---0 1
-0--0 1
--1-0 1
1-11- 1
0-01- 1
-001- 1
--011 1
110-1 1
.names [165] n_n1602 [338] n_n585
11- 1
1-0 1
.names _190_24_ _20_2_ _200_25_ _116_13_ _179_23_ n_n1267
11111 1
.names _190_24_ _20_2_ _97_11_ _200_25_ _179_23_ n_n1252
01111 1
.names _68_8_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1232
1-0-- 1
11-00 1
.names _58_7_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1223
10110 1
.names _87_10_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1246
10101 1
.names _77_9_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1240
11110 1
.names _190_24_ _20_2_ _200_25_ _116_13_ _179_23_ n_n1262
-0-1- 1
1-010 1
.names _190_24_ _20_2_ _322_43_ _200_25_ _179_23_ n_n1347
01100 1
.names _294_39_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1329
10101 1
.names _190_24_ _20_2_ _200_25_ _303_40_ _179_23_ n_n1335
01111 1
.names _190_24_ _20_2_ _317_42_ _200_25_ _179_23_ n_n1344
11111 1
.names _190_24_ _20_2_ _200_25_ _311_41_ _179_23_ [30]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names n_n1602 [195] [227] n_n554
1-1 1
-01 1
.names _232_30_ _274_37_ n_n613 n_n1614 n_n1535 n_n590
--1-1 1
001-- 1
-011- 1
0-10- 1
00--0 1
-0-10 1
0--00 1
.names _169_22_ _20_2_ _13_1_ _1_0_ _33_3_ [145]
01--- 1
-10-- 1
-1-0- 1
--10- 1
--0-1 1
---01 1
.names _33_3_ _116_13_ _355_399_ n_n1607 [283] [173]
-0-0- 1
0-11- 1
1--11 1
.names _169_22_ _179_23_ n_n580 n_n592 [45]
-101 1
1-00 1
.names _190_24_ _200_25_ n_n580 n_n592 [174]
--0- 1
1--1 1
-1-0 1
.names _169_22_ _179_23_ n_n554 n_n590 [155]
--1- 1
00-- 1
-0-1 1
0--0 1
.names _190_24_ _200_25_ n_n554 n_n590 [175]
--0- 1
1--1 1
-1-0 1
.names _169_22_ _179_23_ n_n578 n_n591 [52]
-101 1
1-00 1
.names _190_24_ _200_25_ n_n578 n_n591 [176]
--0- 1
1--1 1
-1-0 1
.names _169_22_ n_n575 n_n589 n_n1148
100 1
.names _179_23_ n_n575 n_n589 n_n1154
101 1
.names _190_24_ _200_25_ n_n575 n_n589 [177]
--0- 1
1--1 1
-1-0 1
.names [155] [175] [177] [2437] [156]
1111 1
.names _179_23_ n_n593 n_n581 n_n1157
110 1
.names _169_22_ n_n593 n_n581 n_n1151
100 1
.names n_n658 n_n575 [2436] [2437] n_n502
-10- 1
0--0 1
-1-0 1
10-1 1
.names _213_26_ _20_2_ _13_1_ _1_0_ _343_47_ n_n1582
10101 1
.names _20_2_ _13_1_ _1_0_ _45_5_ n_n1533
1-1- 1
-01- 1
--10 1
.names _20_2_ _41_4_ _13_1_ _1_0_ _45_5_ n_n1396
11-1- 1
1-11- 1
0-01- 1
-101- 1
0--10 1
-1-10 1
--110 1
.names n_n643 [2524] [2525] [2530] [2531] [182]
0---- 1
-0-0- 1
--00- 1
-0--0 1
--0-0 1
.names n_n1582 n_n581 n_n648 [2405] [2406] [181]
--0-- 1
00--1 1
0--11 1
-1-11 1
10--0 1
.names [182] [181] [2533] n_n910
111 1
.names n_n487 n_n495 [153] n_n445
1-1 1
-11 1
000 1
.names n_n1582 n_n580 [353] [2386] n_n504
-1-0 1
001- 1
100- 1
.names _330_46_ n_n1039 [262] [2413] [2414] [141]
1-0-- 1
11-11 1
.names n_n1582 [141] n_n580 [353] [2386] n_n951
-11-1 1
1101- 1
0100- 1
.names n_n504 [141] n_n505 n_n484 n_n430
1-11 1
-011 1
1-00 1
-000 1
0101 1
0110 1
.names n_n512 n_n1582 n_n445 [141] [92] [185]
--1-1 1
---11 1
00--1 1
1-000 1
-1000 1
.names _2897_49_ _213_26_ _343_47_ n_n642
110 1
.names [235] n_n956 n_n774 [2444] [2517] n_n386
0-1-- 1
0--0- 1
-01-1 1
-0-01 1
1101- 1
1-010 1
.names _213_26_ _343_47_ n_n403 n_n770 [2476] [46]
0-11- 1
-111- 1
0-1-0 1
-11-0 1
0-001 1
-1001 1
.names n_n496 n_n1533 n_n493 [153] n_n508 [186]
-1--- 1
1-10- 1
0-00- 1
1-1-1 1
0-0-1 1
0-110 1
1-010 1
.names n_n1582 n_n558 [157] [2412] n_n493
0-0- 1
-10- 1
-1-0 1
101- 1
.names n_n1602 [249] [459] [2425] n_n575
11-- 1
-100 1
.names _294_39_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1331
1-0-- 1
11-00 1
.names _190_24_ _329_45_ _20_2_ _200_25_ _179_23_ n_n1352
01100 1
.names _190_24_ _20_2_ _317_42_ _200_25_ _179_23_ n_n1346
01111 1
.names _326_44_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1351
11111 1
.names _190_24_ _20_2_ _200_25_ _311_41_ _179_23_ n_n1342
01011 1
.names _190_24_ _20_2_ _322_43_ _200_25_ _179_23_ [31]
-0--- 1
--0-- 1
---1- 1
----0 1
01--- 1
.names _68_8_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1231
10110 1
.names _190_24_ _20_2_ _200_25_ _137_18_ _179_23_ n_n1283
11111 1
.names _58_7_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1228
1-0-- 1
11-00 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ n_n1301
01101 1
.names _190_24_ _20_2_ _200_25_ _150_20_ _179_23_ n_n1294
01111 1
.names _190_24_ _20_2_ _200_25_ _143_19_ _179_23_ [32]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names _20_2_ _13_1_ _1_0_ _33_3_ n_n1602
--0- 1
00-- 1
-0-0 1
.names _68_8_ _58_7_ _20_2_ _159_21_ _33_3_ [195]
111-- 1
001-- 1
1-0-1 1
--010 1
.names _190_24_ _20_2_ _200_25_ _132_17_ _179_23_ n_n1276
01111 1
.names _128_16_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1275
10100 1
.names _58_7_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1226
10101 1
.names _68_8_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1233
10111 1
.names _190_24_ _20_2_ _200_25_ _107_12_ _179_23_ n_n1257
01011 1
.names _190_24_ _20_2_ _200_25_ _311_41_ _179_23_ n_n1341
01111 1
.names _87_10_ _20_2_ _33_3_ _116_13_ _107_12_ [196]
-1--0 1
100-- 1
-011- 1
.names _41_4_ _1_0_ _45_5_ n_n1614
10- 1
-01 1
.names _41_4_ _13_1_ _274_37_ _1_0_ _33_3_ [152]
-01-- 1
--10- 1
1-1-1 1
.names _1_0_ _45_5_ [130]
1- 1
-0 1
.names _294_39_ _250_33_ _257_34_ _33_3_ _1698_48_ n_n618
0--1- 1
000-- 1
-000- 1
0-0-1 1
--001 1
-0-00 1
.names _77_9_ _223_28_ _222_27_ _33_3_ _1698_48_ n_n612
0--1- 1
000-- 1
-000- 1
00--1 1
-0-01 1
--000 1
.names _41_4_ _13_1_ _1_0_ _33_3_ n_n617 [202]
-0--- 1
--0-- 1
----1 1
1--1- 1
.names n_n1535 n_n617 [2408] n_n594
0-1 1
-11 1
.names _190_24_ _20_2_ _50_6_ _200_25_ _179_23_ n_n1217
01111 1
.names n_n1535 n_n619 [2392] n_n596
0-1 1
-11 1
.names _250_33_ _274_37_ [130] n_n1535 n_n616 n_n593
---11 1
00-0- 1
0-10- 1
-000- 1
00--1 1
0-1-1 1
-00-1 1
.names _20_2_ _13_1_ _1_0_ _33_3_ _107_12_ [203]
-11-- 1
0---0 1
-0--0 1
--1-0 1
1-11- 1
0-01- 1
-001- 1
--011 1
110-1 1
.names n_n1602 [196] [203] n_n583
1-1 1
-01 1
.names _190_24_ _20_2_ _200_25_ _150_20_ _179_23_ n_n1296
11111 1
.names _87_10_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1243
10110 1
.names _68_8_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1235
11110 1
.names _77_9_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1239
1-0-- 1
11-00 1
.names _20_2_ _13_1_ _97_11_ _1_0_ _33_3_ [208]
0-0-- 1
-00-- 1
-1-1- 1
--01- 1
1--11 1
0--01 1
-0-01 1
--101 1
1110- 1
.names n_n1602 [208] [296] n_n558
11- 1
-10 1
.names _169_22_ _179_23_ [164] n_n583 [2396] [49]
1-00- 1
1--00 1
-1101 1
.names _190_24_ _200_25_ [164] n_n583 [2396] [210]
---0- 1
-10-- 1
-1--0 1
1-1-1 1
.names n_n1582 n_n581 [2405] [2406] n_n503
-10- 1
0--0 1
-1-0 1
10-1 1
.names n_n1582 n_n583 n_n648 [356] [2397] [213]
--0-- 1
-1--1 1
10-1- 1
00-0- 1
0--01 1
.names n_n643 [2487] [2488] [2493] [2494] [212]
0---- 1
-0-0- 1
--00- 1
-0--0 1
--0-0 1
.names n_n1582 n_n583 [27] [356] [2397] n_n487
0011- 1
011-0 1
.names n_n1582 n_n583 [27] [356] [2397] n_n495
10-1- 1
11--1 1
-10-1 1
0000- 1
0-001 1
.names _330_46_ n_n585 n_n1582 [352] [2393] [153]
11--1 1
1011- 1
1000- 1
1-001 1
.names n_n1582 n_n583 [356] [2397] n_n508
-1-0 1
001- 1
100- 1
.names [157] [261] [262] [2413] [2414] n_n506
0-1-- 1
-01-- 1
--10- 1
--1-0 1
.names n_n504 n_n506 n_n491 n_n505 n_n917
0000 1
.names n_n658 n_n554 [155] [2435] n_n491
0-0- 1
-10- 1
-1-0 1
101- 1
.names _13_1_ _33_3_ [25]
1- 1
-1 1
.names n_n658 n_n554 [155] [25] [2435] n_n914
0-00- 1
-100- 1
-1-00 1
1010- 1
.names n_n1582 n_n578 [358] [2357] n_n505
-1-0 1
001- 1
100- 1
.names n_n1582 [25] n_n578 [358] [2357] n_n957
-01-0 1
0001- 1
1000- 1
.names [45] n_n1582 n_n578 [358] [2357] n_n492
1000- 1
101-1 1
10-01 1
.names _190_24_ _200_25_ n_n593 n_n581 [217]
---0 1
1-1- 1
-10- 1
.names _264_35_ _250_33_ _257_34_ _270_36_ [51]
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names _238_31_ _226_29_ _232_30_ _244_32_ [131]
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names _77_9_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1241
10101 1
.names _58_7_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1224
11101 1
.names _87_10_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1245
11110 1
.names _190_24_ _20_2_ _97_11_ _200_25_ _179_23_ n_n1249
-01-- 1
1-100 1
.names _190_24_ _20_2_ _50_6_ _200_25_ _179_23_ [34]
-0--- 1
--0-- 1
---0- 1
----0 1
01--- 1
.names _294_39_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1327
11101 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ n_n1320
01111 1
.names _190_24_ _20_2_ _200_25_ _116_13_ _179_23_ n_n1264
01011 1
.names _190_24_ _20_2_ _200_25_ _303_40_ _179_23_ [35]
-0--- 1
--0-- 1
---0- 1
----0 1
01--- 1
.names _128_16_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1273
11101 1
.names _128_16_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1274
11111 1
.names _294_39_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1325
10100 1
.names _190_24_ _20_2_ _200_25_ _116_13_ _179_23_ n_n1265
01111 1
.names _190_24_ _20_2_ _200_25_ _303_40_ _179_23_ n_n1336
01011 1
.names _169_22_ _20_2_ _13_1_ _1_0_ n_n643
1-11 1
-011 1
.names _190_24_ _20_2_ _200_25_ _150_20_ _179_23_ n_n1291
-0-1- 1
1-010 1
.names _68_8_ _20_2_ _13_1_ _1_0_ _33_3_ [225]
00--- 1
0-0-- 1
0--1- 1
--11- 1
11-0- 1
-100- 1
-1-11 1
.names n_n1602 [225] [303] n_n578
11- 1
-10 1
.names n_n1602 [278] [493] [2402] n_n581
11-- 1
-100 1
.names _58_7_ _20_2_ _13_1_ _1_0_ _33_3_ [227]
00--- 1
0-0-- 1
0--1- 1
--11- 1
11-0- 1
-100- 1
-1-11 1
.names _169_22_ _179_23_ n_n585 [248] [2392] [27]
1-00- 1
1-0-0 1
-1011 1
.names _190_24_ _200_25_ n_n585 [248] [2392] [229]
--0-- 1
-1-0- 1
-1--0 1
1--11 1
.names n_n585 n_n1582 n_n648 [352] [2393] [233]
--0-- 1
1---1 1
01-1- 1
00-0- 1
-0-01 1
.names n_n643 [2547] [2548] [2553] [2554] [232]
0---- 1
-0-0- 1
--00- 1
-0--0 1
--0-0 1
.names _77_9_ n_n1396 n_n956 [274] [146] n_n911
1101- 1
-1010 1
.names n_n512 n_n1582 n_n504 [141] [389] [235]
----1 1
1-01- 1
-101- 1
1-10- 1
-110- 1
0011- 1
0000- 1
.names n_n512 n_n1582 n_n491 [2450] [2454] n_n465
1---1 1
-1--1 1
--1-1 1
---01 1
.names _68_8_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1234
10101 1
.names _58_7_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1225
10111 1
.names _87_10_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1244
1-0-- 1
11-00 1
.names _190_24_ _20_2_ _50_6_ _200_25_ _179_23_ [36]
-0--- 1
--0-- 1
---1- 1
----0 1
01--- 1
.names _190_24_ _20_2_ _317_42_ _200_25_ _179_23_ n_n1343
01100 1
.names _190_24_ _20_2_ _200_25_ _107_12_ _179_23_ n_n1255
-0-1- 1
1-010 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ n_n1321
01101 1
.names _190_24_ _20_2_ _200_25_ _311_41_ _179_23_ n_n1339
11111 1
.names _294_39_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1328
10111 1
.names _190_24_ _20_2_ _200_25_ _303_40_ _179_23_ [37]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names _294_39_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1330
11110 1
.names _77_9_ _87_10_ _58_7_ _20_2_ _33_3_ [242]
1--1- 1
-1-01 1
--100 1
.names _238_31_ _274_37_ n_n1614 n_n614 n_n1535 n_n591
---11 1
00-1- 1
-011- 1
0-01- 1
00--0 1
-01-0 1
0-0-0 1
.names _226_29_ _232_30_ _97_11_ _33_3_ _1698_48_ n_n614
--01- 1
000-- 1
00-0- 1
-00-1 1
-0-01 1
0--00 1
.names _41_4_ _13_1_ _1_0_ _33_3_ n_n619 [248]
-0--- 1
--0-- 1
----1 1
1--1- 1
.names _190_24_ _20_2_ _200_25_ _137_18_ _179_23_ n_n1281
01111 1
.names _190_24_ _20_2_ _125_15_ _200_25_ _179_23_ n_n1272
01100 1
.names _20_2_ _13_1_ _50_6_ _1_0_ _33_3_ [249]
0-0-- 1
-00-- 1
-1-1- 1
--01- 1
10-0- 1
1-10- 1
1--11 1
.names n_n1582 n_n558 [157] n_n648 [2412] [254]
---0- 1
001-- 1
100-- 1
0-1-1 1
-11-1 1
.names n_n643 [2562] [2563] [2568] [2569] [253]
0---- 1
-0-0- 1
--00- 1
-0--0 1
--0-0 1
.names n_n512 [142] [156] n_n1582 [2442] n_n483
11--- 1
-10-- 1
-1-1- 1
-1--0 1
.names n_n493 n_n985 [2538] n_n473
1-1 1
-01 1
.names [157] [261] n_n1039
11 1
.names _190_24_ _20_2_ _200_25_ _137_18_ _179_23_ n_n1280
01011 1
.names _294_39_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1326
11111 1
.names _20_2_ _13_1_ _1_0_ n_n1607
101 1
.names _77_9_ _20_2_ _13_1_ _1_0_ _33_3_ [259]
00--- 1
0-0-- 1
0--1- 1
--11- 1
11-0- 1
-100- 1
-1-11 1
.names n_n1602 [242] [259] n_n580
1-1 1
-01 1
.names _226_29_ _274_37_ n_n1614 n_n612 n_n1535 n_n589
---11 1
00-1- 1
-011- 1
0-01- 1
00--0 1
-01-0 1
0-0-0 1
.names _169_22_ _179_23_ [202] n_n558 [2408] [157]
---1- 1
00--- 1
0-0-- 1
0---0 1
-01-1 1
.names _190_24_ _200_25_ [202] n_n558 [2408] [261]
---0- 1
-10-- 1
-1--0 1
1-1-1 1
.names n_n1582 n_n594 n_n596 [2417] [2420] [262]
0---- 1
-01-- 1
-10-- 1
-0-0- 1
--00- 1
-1--0 1
--1-0 1
---00 1
.names n_n643 [2577] [2578] [2583] [2584] [264]
0---- 1
-0-0- 1
--00- 1
-0--0 1
--0-0 1
.names _58_7_ n_n1396 n_n914 [264] [146] n_n875
1101- 1
-1010 1
.names _190_24_ _20_2_ _200_25_ _143_19_ _179_23_ n_n1287
01111 1
.names _58_7_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1227
11110 1
.names _238_31_ _232_30_ _33_3_ _1698_48_ _107_12_ n_n615
--1-0 1
000-- 1
0-01- 1
-000- 1
00--0 1
0--10 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ n_n1318
11111 1
.names n_n1582 [25] n_n580 [353] [2386] n_n956
-01-0 1
0001- 1
1000- 1
.names n_n643 [2508] [2509] [2514] [2515] [274]
0---- 1
-0-0- 1
--00- 1
-0--0 1
--0-0 1
.names _20_2_ _13_1_ _1_0_ _33_3_ n_n651
1010 1
.names _87_10_ _20_2_ _13_1_ _1_0_ _33_3_ [278]
00--- 1
0-0-- 1
0--1- 1
--11- 1
-1-11 1
1--01 1
-0-01 1
--001 1
1110- 1
.names _190_24_ _20_2_ _124_14_ _200_25_ _179_23_ n_n1270
01100 1
.names _190_24_ _20_2_ _125_15_ _200_25_ _179_23_ [28]
-0--- 1
--0-- 1
---0- 1
----0 1
01--- 1
.names _20_2_ _13_1_ _1_0_ _33_3_ [23]
0--- 1
-1-- 1
--0- 1
---0 1
.names _77_9_ _68_8_ _58_7_ _50_6_ _45_5_ [283]
---00 1
-00-0 1
0001- 1
1110- 1
0010- 1
0100- 1
1000- 1
01111 1
10111 1
11011 1
.names n_n643 [2373] [2374] [2379] [2380] [287]
0---- 1
-0-0- 1
--00- 1
-0--0 1
--0-0 1
.names _68_8_ n_n1396 n_n957 [287] [146] n_n912
1101- 1
-1010 1
.names n_n1017 n_n512 [142] n_n1582 [141] [158]
0-1-- 1
-11-0 1
--110 1
.names n_n504 [141] n_n505 [158] n_n484 n_n411
1-011 1
-0011 1
1-110 1
-0110 1
01111 1
01010 1
.names _190_24_ _20_2_ _322_43_ _200_25_ _179_23_ n_n1348
11111 1
.names [2603] [2604] [2605] [2606] [2608] n_n1446
0---1 1
-0--1 1
--0-1 1
---01 1
.names _41_4_ _13_1_ _1_0_ _33_3_ n_n1535
011- 1
-110 1
.names _238_31_ _244_32_ _33_3_ _1698_48_ _116_13_ n_n616
--1-0 1
000-- 1
-001- 1
0-00- 1
00--0 1
-0-10 1
.names _190_24_ _20_2_ _200_25_ _143_19_ _179_23_ n_n1289
11111 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ n_n1302
01111 1
.names _77_9_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1238
10110 1
.names _77_9_ _20_2_ _97_11_ _33_3_ _107_12_ [296]
10-0- 1
-11-1 1
-0-11 1
-10-0 1
.names _77_9_ _68_8_ _20_2_ _50_6_ _33_3_ [303]
-01-- 1
1-0-1 1
--010 1
.names _190_24_ _20_2_ _200_25_ _107_12_ _179_23_ n_n1258
01111 1
.names n_n430 [158] [100] [2458] n_n770
-0-1 1
0111 1
.names n_n646 n_n951 n_n505 [158] n_n484 n_n774
10111 1
11011 1
11101 1
10001 1
11110 1
10010 1
10100 1
11000 1
.names _326_44_ _190_24_ _20_2_ _200_25_ _179_23_ n_n1350
10100 1
.names _190_24_ _20_2_ _317_42_ _200_25_ _179_23_ [40]
-0--- 1
--0-- 1
---1- 1
----0 1
01--- 1
.names _190_24_ _20_2_ _200_25_ _132_17_ _179_23_ n_n1278
11111 1
.names _190_24_ _20_2_ _200_25_ _137_18_ _179_23_ [41]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ n_n1299
-01-- 1
1-100 1
.names _190_24_ _20_2_ _200_25_ _143_19_ _179_23_ n_n1286
01011 1
.names _190_24_ _20_2_ _200_25_ _132_17_ _179_23_ [42]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names _330_46_ n_n502 n_n1533 n_n917 n_n465 [122]
--1-- 1
01--1 1
-1-01 1
00--0 1
-0-00 1
10-11 1
11-10 1
.names n_n643 [419] [422] [2474] [321]
-1-- 1
---1 1
1-0- 1
.names n_n1582 n_n583 [27] [356] [2397] n_n985
0010- 1
011-1 1
0-101 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ [43]
-0--- 1
--0-- 1
---1- 1
----0 1
0-1-- 1
.names n_n512 n_n1582 n_n445 [141] [92] [327]
---1- 1
00--- 1
1-001 1
-1001 1
.names n_n493 n_n503 [153] n_n508 n_n473 [326]
10--1 1
-00-1 1
-0-11 1
11--0 1
-10-0 1
-1-10 1
01101 1
00100 1
.names _283_38_ _250_33_ _244_32_ _33_3_ _1698_48_ n_n617
0--1- 1
000-- 1
-000- 1
00--1 1
-0-01 1
--000 1
.names _264_35_ _257_34_ _33_3_ _1698_48_ _303_40_ n_n619
--1-0 1
000-- 1
0-01- 1
-000- 1
00--0 1
0--10 1
.names _283_38_ _20_2_ _97_11_ _33_3_ _116_13_ [338]
-1--1 1
10-1- 1
-010- 1
.names n_n646 n_n512 n_n1582 n_n445 [141] n_n784
1--01 1
1000- 1
11-10 1
1-110 1
.names n_n1533 n_n487 n_n495 [153] [339]
1--- 1
-1-1 1
--11 1
-000 1
.names n_n952 n_n1533 n_n493 n_n503 n_n473 [340]
-1--- 1
0--11 1
--111 1
0--00 1
--100 1
1-001 1
1-010 1
.names n_n512 [45] n_n1582 n_n504 n_n484
--1- 1
10-- 1
-0-1 1
.names _244_32_ _274_37_ n_n1614 n_n615 n_n1535 n_n592
---11 1
00-1- 1
-011- 1
0-01- 1
00--0 1
-01-0 1
0-0-0 1
.names n_n512 n_n1582 n_n504 n_n505 [2456] n_n485
1---1 1
-1--1 1
--1-1 1
---11 1
.names _20_2_ _13_1_ _33_3_ n_n648
000 1
.names _169_22_ _179_23_ n_n1535 n_n619 [2392] [352]
1---0 1
1-10- 1
-10-1 1
-1-11 1
.names _169_22_ _179_23_ n_n592 [353]
-11 1
1-0 1
.names _169_22_ _179_23_ n_n618 n_n1535 [2396] [356]
1---0 1
1-01- 1
-11-1 1
-1-01 1
.names _330_46_ n_n585 n_n1582 [352] [2393] [50]
01--1 1
11--0 1
0011- 1
1001- 1
1010- 1
0000- 1
0-001 1
.names _169_22_ _179_23_ n_n591 [358]
-11 1
1-0 1
.names _41_4_ _50_6_ [359]
0- 1
-1 1
.names n_n496 n_n493 [153] n_n508 [92]
010- 1
100- 1
01-1 1
10-1 1
1110 1
0010 1
.names n_n504 [141] n_n491 n_n505 n_n485 [100]
1-0-1 1
-00-1 1
--011 1
1-1-0 1
-01-0 1
--110 1
01101 1
01000 1
.names _169_22_ _20_2_ _13_1_ _1_0_ _33_3_ [146]
--10- 1
--0-1 1
---01 1
011-- 1
01--1 1
.names _41_4_ _13_1_ _1_0_ _33_3_ _45_5_ [159]
10--- 1
-01-- 1
1-0-- 1
1--1- 1
-0--0 1
--0-0 1
.names _190_24_ _20_2_ _200_25_ _107_12_ _179_23_ [169]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ [168]
1---- 1
-0--- 1
--0-- 1
--11- 1
--1-1 1
.names _190_24_ _20_2_ _200_25_ _107_12_ _179_23_ [172]
1---- 1
-0--- 1
--0-- 1
---0- 1
-1--1 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ [171]
-0--- 1
--0-- 1
---0- 1
0-1-- 1
--1-1 1
.names _190_24_ _20_2_ _200_25_ _303_40_ _179_23_ [191]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ [190]
1---- 1
-0--- 1
--0-- 1
---0- 1
--1-1 1
.names _190_24_ _20_2_ _200_25_ _132_17_ _179_23_ [194]
1---- 1
-0--- 1
---0- 1
-11-- 1
-1--1 1
.names _190_24_ _20_2_ _50_6_ _200_25_ _179_23_ [193]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _143_19_ _179_23_ [207]
1---- 1
-0--- 1
---0- 1
-11-- 1
-1--1 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ [206]
-0--- 1
--0-- 1
---1- 1
----0 1
01--- 1
.names _190_24_ _20_2_ _200_25_ _107_12_ _179_23_ [220]
1---- 1
-0--- 1
--0-- 1
---0- 1
-1--1 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ [219]
1---- 1
-0--- 1
--0-- 1
-1-1- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _107_12_ _179_23_ [223]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _311_41_ _179_23_ [222]
1---- 1
-0--- 1
---0- 1
-11-- 1
-1--1 1
.names _238_31_ _226_29_ _232_30_ _244_32_ _45_5_ [231]
----0 1
0111- 1
1011- 1
1101- 1
0001- 1
1110- 1
0010- 1
0100- 1
1000- 1
.names _190_24_ _20_2_ _200_25_ _150_20_ _179_23_ [238]
1---- 1
-0--- 1
---0- 1
-11-- 1
-1--1 1
.names _190_24_ _20_2_ _97_11_ _200_25_ _179_23_ [237]
1---- 1
-0--- 1
--0-- 1
---0- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _116_13_ _179_23_ [241]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _190_24_ _20_2_ _97_11_ _200_25_ _179_23_ [240]
1---- 1
-0--- 1
--0-- 1
---0- 1
-1--1 1
.names _330_46_ [156] n_n506 [2442] [2448] [272]
0---- 1
--1-- 1
-0--0 1
---00 1
-1011 1
.names _190_24_ _20_2_ _200_25_ _143_19_ _179_23_ [282]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ [281]
1---- 1
-0--- 1
--0-- 1
---0- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _150_20_ _179_23_ [295]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names _190_24_ _20_2_ _200_25_ _137_18_ _179_23_ [294]
1---- 1
-0--- 1
---0- 1
-11-- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _116_13_ _179_23_ [306]
-0--- 1
--1-- 1
---0- 1
----0 1
01--- 1
.names _190_24_ _20_2_ _97_11_ _200_25_ _179_23_ [305]
1---- 1
-0--- 1
--0-- 1
---1- 1
----0 1
.names _190_24_ _20_2_ _200_25_ _116_13_ _179_23_ [312]
1---- 1
-0--- 1
--0-- 1
---0- 1
-1--1 1
.names _190_24_ _283_38_ _20_2_ _200_25_ _179_23_ [311]
-0--- 1
0-1-- 1
--11- 1
--1-1 1
.names _190_24_ _20_2_ _50_6_ _200_25_ _179_23_ [315]
--0-- 1
01--- 1
-1-1- 1
-1--1 1
.names _190_24_ _20_2_ _159_21_ _200_25_ _179_23_ [314]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _150_20_ _179_23_ [320]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _190_24_ _20_2_ _50_6_ _200_25_ _179_23_ [319]
1---- 1
-0--- 1
--0-- 1
---0- 1
-1--1 1
.names _190_24_ _20_2_ _200_25_ _303_40_ _179_23_ [325]
1---- 1
-0--- 1
---0- 1
-11-- 1
-1--1 1
.names _190_24_ _20_2_ _97_11_ _200_25_ _179_23_ [324]
-0--- 1
--0-- 1
---0- 1
01--- 1
-1--1 1
.names _20_2_ _41_4_ _13_1_ _1_0_ _45_5_ [99]
11-1- 1
1-11- 1
0-01- 1
-101- 1
0--10 1
-1-10 1
--110 1
.names _20_2_ _41_4_ _13_1_ _1_0_ _45_5_ [389]
11-1- 1
1-11- 1
0-01- 1
-101- 1
0--10 1
-1-10 1
--110 1
.names [154] [23] [231] [2479] [409]
001- 1
-010 1
.names _20_2_ _13_1_ _1_0_ _107_12_ [411]
0--0 1
-1-0 1
--00 1
.names n_n658 n_n575 [25] [2436] [2437] [419]
-100- 1
0-0-0 1
-10-0 1
100-1 1
.names [359] [2464] [2465] [2471] [2472] [422]
10-0- 1
1-00- 1
10--0 1
1-0-0 1
.names _20_2_ _33_3_ _150_20_ [459]
001 1
.names _68_8_ _20_2_ _33_3_ [493]
100 1
.names _190_24_ _200_25_ n_n591 [2357]
1-1 1
-10 1
.names _33_3_ n_n1293 n_n1223 n_n1275 [2373]
0000 1
.names n_n1287 n_n1278 [41] [315] [314] [2374]
00111 1
.names _33_3_ n_n1257 n_n1265 n_n1244 [2379]
1000 1
.names n_n1326 n_n1238 [43] [325] [324] [2380]
00111 1
.names _190_24_ _200_25_ n_n592 [2386]
1-1 1
-10 1
.names _41_4_ _1_0_ _45_5_ [2390]
001 1
.names _270_36_ [152] [159] [2390] [2392]
00-- 1
-00- 1
0--0 1
--00 1
.names _190_24_ _200_25_ n_n1535 n_n619 [2392] [2393]
-1--0 1
-110- 1
1-0-1 1
1--11 1
.names _264_35_ [152] [159] [2390] [2396]
00-- 1
-00- 1
0--0 1
--00 1
.names _190_24_ _200_25_ n_n618 n_n1535 [2396] [2397]
-1--0 1
-101- 1
1-1-1 1
1--01 1
.names _87_10_ _20_2_ _97_11_ _33_3_ _107_12_ [2402]
11--- 1
-11-- 1
-1--1 1
-011- 1
.names _190_24_ _200_25_ n_n593 [2405]
1-1 1
-10 1
.names _169_22_ _179_23_ n_n593 n_n581 [2406]
---1 1
00-- 1
-01- 1
0-0- 1
.names _257_34_ [152] [159] [2390] [2408]
00-- 1
-00- 1
0--0 1
--00 1
.names _190_24_ _200_25_ n_n1535 n_n617 [2408] [2412]
-1--0 1
-110- 1
1-0-1 1
1--11 1
.names [49] [210] [217] [2406] [2413]
0111 1
.names n_n1582 [27] [229] [2414]
001 1
.names _179_23_ n_n618 n_n593 n_n1535 [2396] [2417]
0-0-0 1
0001- 1
.names _179_23_ n_n618 n_n593 n_n1535 [2396] [2420]
111-1 1
1-101 1
.names [49] [217] [2406] [2421]
111 1
.names n_n1157 n_n1151 [217] [157] [2423]
000- 1
00-1 1
.names _68_8_ _58_7_ _20_2_ _50_6_ _33_3_ [2425]
1-1-- 1
-11-- 1
--11- 1
-10-1 1
.names _190_24_ _200_25_ n_n590 [2435]
1-1 1
-10 1
.names _190_24_ _200_25_ n_n589 [2436]
1-1 1
-10 1
.names _169_22_ _179_23_ n_n575 n_n589 [2437]
--1- 1
00-- 1
-0-1 1
0--0 1
.names [155] n_n1148 n_n1154 [177] [2440]
100- 1
-000 1
.names [45] [174] [52] [176] [2442]
0101 1
.names n_n1533 n_n951 n_n505 n_n912 n_n484 [2444]
1--0- 1
-0101 1
-1001 1
-1100 1
-0000 1
.names n_n504 n_n491 n_n505 [2448]
000 1
.names n_n1582 n_n504 n_n578 [358] [2357] [2450]
-01-1 1
1001- 1
0000- 1
.names _169_22_ _179_23_ n_n1582 n_n578 n_n591 [2451]
-1001 1
1-000 1
.names n_n658 n_n554 [155] [2435] [2451] [2453]
1---0 1
--1-0 1
101-- 1
110-- 1
11-0- 1
-110- 1
.names n_n491 n_n492 [2453] [2454]
1-1 1
-01 1
.names [45] n_n1582 n_n578 [358] [2357] [2456]
-1--- 1
0-1-- 1
0--0- 1
--1-0 1
.names _330_46_ n_n646 n_n502 n_n917 n_n465 [2458]
010-1 1
-1001 1
011-0 1
-1100 1
11111 1
11010 1
.names _41_4_ _33_3_ n_n1267 n_n1252 n_n1232 [2464]
01000 1
.names n_n1223 n_n1246 n_n1240 [169] [168] [2465]
00011 1
.names _41_4_ _33_3_ n_n1276 n_n1273 n_n1291 [2471]
00000 1
.names n_n1280 n_n1270 [28] [282] [281] [2472]
00111 1
.names _50_6_ n_n1396 [146] [2474]
-0- 1
0-1 1
.names _50_6_ n_n1396 n_n643 [146] [422] [2475]
-0--- 1
0--1- 1
--1-0 1
.names n_n643 [122] [419] [422] [2474] [2476]
-11-- 1
-1--1 1
11-0- 1
.names _77_9_ _68_8_ _58_7_ _50_6_ _45_5_ [2479]
0-100 1
-0100 1
.names [154] n_n651 [411] [2481]
--1 1
01- 1
.names _33_3_ n_n1304 n_n1240 n_n1234 [2487]
0000 1
.names n_n1225 n_n1244 [36] [238] [237] [2488]
00111 1
.names _33_3_ n_n1341 n_n1336 n_n1330 [2493]
1000 1
.names n_n1348 n_n1350 [40] [312] [311] [2494]
00111 1
.names [145] n_n1396 [409] [2481] [2495]
01-- 1
-100 1
.names [145] n_n1396 [212] [409] [2481] [2496]
011-- 1
-1100 1
.names [213] [212] [339] [2495] [2501]
0-1- 1
-01- 1
--10 1
.names _1_0_ n_n646 [44] [154] [2503]
-11- 1
10-1 1
.names _33_3_ n_n1231 n_n1283 n_n1228 [2508]
0000 1
.names n_n1301 n_n1294 [32] [194] [193] [2509]
00111 1
.names _33_3_ n_n1243 n_n1249 n_n1327 [2514]
1000 1
.names n_n1320 n_n1264 [35] [223] [222] [2515]
00111 1
.names _77_9_ n_n1396 [146] [2516]
11- 1
-10 1
.names _77_9_ n_n1396 [274] [146] [2517]
111- 1
-110 1
.names _87_10_ _20_2_ _13_1_ _1_0_ _33_3_ [2519]
00--- 1
0-1-- 1
0--0- 1
-1010 1
.names _33_3_ n_n1343 n_n1255 n_n1321 [2524]
1000 1
.names n_n1339 n_n1328 [37] [241] [240] [2525]
00111 1
.names _33_3_ n_n1218 n_n1232 n_n1227 [2530]
0000 1
.names n_n1289 n_n1302 n_n1238 [295] [294] [2531]
00011 1
.names [145] n_n1396 [51] [23] [2519] [2533]
01--- 1
-10-0 1
-1-10 1
.names n_n1582 n_n558 [49] [157] [2412] [2538]
1---- 1
--01- 1
-1-10 1
.names _33_3_ n_n1331 n_n1352 n_n1346 [2547]
1000 1
.names n_n1351 n_n1342 [31] [191] [190] [2548]
00111 1
.names _33_3_ n_n1233 n_n1241 n_n1224 [2553]
0000 1
.names n_n1245 n_n1249 [34] [220] [219] [2554]
00111 1
.names [145] [173] n_n1396 [2555]
0-1 1
-01 1
.names _20_2_ _13_1_ _97_11_ _1_0_ _33_3_ [2557]
0-0-- 1
-10-- 1
--00- 1
10-10 1
.names _33_3_ n_n1262 n_n1347 n_n1329 [2562]
1000 1
.names n_n1335 n_n1344 [30] [172] [171] [2563]
00111 1
.names _33_3_ n_n1226 n_n1217 n_n1296 [2568]
0000 1
.names n_n1243 n_n1235 n_n1239 [207] [206] [2569]
00011 1
.names [48] [145] n_n1396 [23] [2557] [2570]
-01-- 1
0-1-0 1
--110 1
.names [2570] [253] [2571]
11 1
.names [186] [254] [253] [2570] [2572]
10-- 1
1-0- 1
1--0 1
.names _33_3_ n_n1231 n_n1239 n_n1245 [2577]
1000 1
.names n_n1325 n_n1318 n_n1258 [306] [305] [2578]
00011 1
.names _33_3_ n_n1274 n_n1281 n_n1272 [2583]
0000 1
.names n_n1299 n_n1286 [42] [320] [319] [2584]
00111 1
.names n_n446 [213] n_n784 [339] [2496] [2595]
1001- 1
1-010 1
.names n_n646 [185] n_n911 [235] [2572] [2596]
0-011 1
-0011 1
.names n_n402 n_n774 [2444] [2595] [2596] [2599]
10111 1
.names _213_26_ n_n403 n_n770 [2476] [2599] [2602]
0---- 1
-1011 1
.names _77_9_ _238_31_ _68_8_ _244_32_ [2603]
00-- 1
0-0- 1
-0-0 1
--00 1
.names _226_29_ _58_7_ _232_30_ _50_6_ [2604]
00-- 1
0-0- 1
-0-0 1
--00 1
.names _87_10_ _264_35_ _250_33_ _107_12_ [2605]
00-- 1
-00- 1
0--0 1
--00 1
.names _257_34_ _97_11_ _270_36_ _116_13_ [2606]
0-0- 1
-00- 1
0--0 1
-0-0 1
.names _20_2_ _1_0_ [2608]
0- 1
-0 1
.names _264_35_ _250_33_ _257_34_ [2609]
-0- 1
0-0 1
.names _20_2_ _13_1_ _1_0_ [2612]
--0 1
01- 1
.names _20_2_ _13_1_ _1_0_ _116_13_ [2613]
1111 1
.names _97_11_ _107_12_ [111] [160] [2613] [2615]
--01- 1
01--1 1
10--1 1
.end