userspace-rcu formal model removal

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi-progress-minimal / urcu_progress_writer_error.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.spin.input.trail
deleted file mode 100644 (file)
index a8b0188..0000000
--- a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.spin.input.trail
+++ /dev/null
@@ -1,3959 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:2739
-2:2:1136
-3:2:1141
-4:2:1145
-5:2:1153
-6:2:1157
-7:2:1161
-8:0:2739
-9:1:0
-10:1:5
-11:1:9
-12:1:17
-13:1:21
-14:1:25
-15:0:2739
-16:3:2711
-17:3:2714
-18:3:2719
-19:3:2726
-20:3:2729
-21:3:2733
-22:3:2734
-23:0:2739
-24:3:2736
-25:0:2739
-26:2:1165
-27:0:2739
-28:2:1171
-29:0:2739
-30:2:1172
-31:0:2739
-32:2:1173
-33:0:2739
-34:2:1174
-35:0:2739
-36:2:1175
-37:0:2739
-38:2:1176
-39:2:1177
-40:2:1181
-41:2:1182
-42:2:1190
-43:2:1191
-44:2:1195
-45:2:1196
-46:2:1204
-47:2:1209
-48:2:1213
-49:2:1214
-50:2:1222
-51:2:1223
-52:2:1227
-53:2:1228
-54:2:1222
-55:2:1223
-56:2:1227
-57:2:1228
-58:2:1236
-59:2:1241
-60:2:1242
-61:2:1253
-62:2:1254
-63:2:1255
-64:2:1266
-65:2:1271
-66:2:1272
-67:2:1283
-68:2:1284
-69:2:1285
-70:2:1283
-71:2:1284
-72:2:1285
-73:2:1296
-74:2:1304
-75:0:2739
-76:2:1175
-77:0:2739
-78:2:1308
-79:2:1312
-80:2:1313
-81:2:1317
-82:2:1321
-83:2:1322
-84:2:1326
-85:2:1334
-86:2:1335
-87:2:1339
-88:2:1343
-89:2:1344
-90:2:1339
-91:2:1340
-92:2:1348
-93:0:2739
-94:2:1175
-95:0:2739
-96:2:1356
-97:2:1357
-98:2:1358
-99:0:2739
-100:2:1175
-101:0:2739
-102:2:1363
-103:0:2739
-104:2:2316
-105:2:2317
-106:2:2321
-107:2:2325
-108:2:2326
-109:2:2330
-110:2:2335
-111:2:2343
-112:2:2347
-113:2:2348
-114:2:2343
-115:2:2347
-116:2:2348
-117:2:2352
-118:2:2359
-119:2:2366
-120:2:2367
-121:2:2374
-122:2:2379
-123:2:2386
-124:2:2387
-125:2:2386
-126:2:2387
-127:2:2394
-128:2:2398
-129:0:2739
-130:2:2403
-131:0:2739
-132:2:2404
-133:0:2739
-134:2:2405
-135:0:2739
-136:2:2406
-137:0:2739
-138:1:29
-139:0:2739
-140:1:35
-141:0:2739
-142:1:36
-143:0:2739
-144:2:2407
-145:0:2739
-146:1:37
-147:0:2739
-148:2:2406
-149:0:2739
-150:1:38
-151:0:2739
-152:2:2407
-153:0:2739
-154:1:39
-155:0:2739
-156:1:40
-157:0:2739
-158:1:41
-159:0:2739
-160:2:2406
-161:0:2739
-162:1:42
-163:0:2739
-164:2:2407
-165:0:2739
-166:1:51
-167:0:2739
-168:2:2406
-169:0:2739
-170:1:55
-171:1:56
-172:1:60
-173:1:64
-174:1:65
-175:1:69
-176:1:77
-177:1:78
-178:1:82
-179:1:86
-180:1:87
-181:1:82
-182:1:86
-183:1:87
-184:1:91
-185:1:98
-186:1:105
-187:1:106
-188:1:113
-189:1:118
-190:1:125
-191:1:126
-192:1:125
-193:1:126
-194:1:133
-195:1:137
-196:0:2739
-197:2:2407
-198:0:2739
-199:1:142
-200:0:2739
-201:2:2408
-202:0:2739
-203:2:2413
-204:0:2739
-205:2:2414
-206:0:2739
-207:2:2422
-208:2:2423
-209:2:2427
-210:2:2431
-211:2:2432
-212:2:2436
-213:2:2444
-214:2:2445
-215:2:2449
-216:2:2453
-217:2:2454
-218:2:2449
-219:2:2453
-220:2:2454
-221:2:2458
-222:2:2465
-223:2:2472
-224:2:2473
-225:2:2480
-226:2:2485
-227:2:2492
-228:2:2493
-229:2:2492
-230:2:2493
-231:2:2500
-232:2:2504
-233:0:2739
-234:2:1365
-235:2:2297
-236:0:2739
-237:2:1175
-238:0:2739
-239:2:1366
-240:0:2739
-241:2:1175
-242:0:2739
-243:2:1369
-244:2:1370
-245:2:1374
-246:2:1375
-247:2:1383
-248:2:1384
-249:2:1388
-250:2:1389
-251:2:1397
-252:2:1402
-253:2:1406
-254:2:1407
-255:2:1415
-256:2:1416
-257:2:1420
-258:2:1421
-259:2:1415
-260:2:1416
-261:2:1420
-262:2:1421
-263:2:1429
-264:2:1434
-265:2:1435
-266:2:1446
-267:2:1447
-268:2:1448
-269:2:1459
-270:2:1464
-271:2:1465
-272:2:1476
-273:2:1477
-274:2:1478
-275:2:1476
-276:2:1477
-277:2:1478
-278:2:1489
-279:2:1496
-280:0:2739
-281:2:1175
-282:0:2739
-283:2:1500
-284:2:1501
-285:2:1502
-286:2:1514
-287:2:1515
-288:2:1519
-289:2:1520
-290:2:1528
-291:2:1533
-292:2:1537
-293:2:1538
-294:2:1546
-295:2:1547
-296:2:1551
-297:2:1552
-298:2:1546
-299:2:1547
-300:2:1551
-301:2:1552
-302:2:1560
-303:2:1565
-304:2:1566
-305:2:1577
-306:2:1578
-307:2:1579
-308:2:1590
-309:2:1595
-310:2:1596
-311:2:1607
-312:2:1608
-313:2:1609
-314:2:1607
-315:2:1608
-316:2:1609
-317:2:1620
-318:2:1631
-319:2:1632
-320:0:2739
-321:2:1175
-322:0:2739
-323:2:1763
-324:2:1764
-325:2:1768
-326:2:1769
-327:2:1777
-328:2:1778
-329:2:1782
-330:2:1783
-331:2:1791
-332:2:1796
-333:2:1800
-334:2:1801
-335:2:1809
-336:2:1810
-337:2:1814
-338:2:1815
-339:2:1809
-340:2:1810
-341:2:1814
-342:2:1815
-343:2:1823
-344:2:1828
-345:2:1829
-346:2:1840
-347:2:1841
-348:2:1842
-349:2:1853
-350:2:1858
-351:2:1859
-352:2:1870
-353:2:1871
-354:2:1872
-355:2:1870
-356:2:1871
-357:2:1872
-358:2:1883
-359:0:2739
-360:2:1175
-361:0:2739
-362:2:1892
-363:2:1893
-364:2:1897
-365:2:1898
-366:2:1906
-367:2:1907
-368:2:1911
-369:2:1912
-370:2:1920
-371:2:1925
-372:2:1929
-373:2:1930
-374:2:1938
-375:2:1939
-376:2:1943
-377:2:1944
-378:2:1938
-379:2:1939
-380:2:1943
-381:2:1944
-382:2:1952
-383:2:1957
-384:2:1958
-385:2:1969
-386:2:1970
-387:2:1971
-388:2:1982
-389:2:1987
-390:2:1988
-391:2:1999
-392:2:2000
-393:2:2001
-394:2:1999
-395:2:2000
-396:2:2001
-397:2:2012
-398:2:2019
-399:0:2739
-400:2:1175
-401:0:2739
-402:2:2023
-403:2:2024
-404:2:2025
-405:2:2037
-406:2:2038
-407:2:2042
-408:2:2043
-409:2:2051
-410:2:2056
-411:2:2060
-412:2:2061
-413:2:2069
-414:2:2070
-415:2:2074
-416:2:2075
-417:2:2069
-418:2:2070
-419:2:2074
-420:2:2075
-421:2:2083
-422:2:2088
-423:2:2089
-424:2:2100
-425:2:2101
-426:2:2102
-427:2:2113
-428:2:2118
-429:2:2119
-430:2:2130
-431:2:2131
-432:2:2132
-433:2:2130
-434:2:2131
-435:2:2132
-436:2:2143
-437:2:2153
-438:2:2154
-439:0:2739
-440:2:1175
-441:0:2739
-442:2:2285
-443:0:2739
-444:2:2514
-445:2:2515
-446:2:2519
-447:2:2523
-448:2:2524
-449:2:2528
-450:2:2536
-451:2:2537
-452:2:2541
-453:2:2545
-454:2:2546
-455:2:2541
-456:2:2545
-457:2:2546
-458:2:2550
-459:2:2557
-460:2:2564
-461:2:2565
-462:2:2572
-463:2:2577
-464:2:2584
-465:2:2585
-466:2:2584
-467:2:2585
-468:2:2592
-469:2:2596
-470:0:2739
-471:2:2601
-472:0:2739
-473:2:2602
-474:0:2739
-475:2:2603
-476:0:2739
-477:2:2604
-478:0:2739
-479:1:51
-480:0:2739
-481:2:2605
-482:0:2739
-483:1:55
-484:1:56
-485:1:60
-486:1:64
-487:1:65
-488:1:69
-489:1:77
-490:1:78
-491:1:82
-492:1:86
-493:1:87
-494:1:82
-495:1:86
-496:1:87
-497:1:91
-498:1:98
-499:1:105
-500:1:106
-501:1:113
-502:1:118
-503:1:125
-504:1:126
-505:1:125
-506:1:126
-507:1:133
-508:1:137
-509:0:2739
-510:2:2604
-511:0:2739
-512:1:142
-513:0:2739
-514:2:2605
-515:0:2739
-516:2:2606
-517:0:2739
-518:2:2611
-519:0:2739
-520:2:2612
-521:0:2739
-522:2:2620
-523:2:2621
-524:2:2625
-525:2:2629
-526:2:2630
-527:2:2634
-528:2:2642
-529:2:2643
-530:2:2647
-531:2:2651
-532:2:2652
-533:2:2647
-534:2:2651
-535:2:2652
-536:2:2656
-537:2:2663
-538:2:2670
-539:2:2671
-540:2:2678
-541:2:2683
-542:2:2690
-543:2:2691
-544:2:2690
-545:2:2691
-546:2:2698
-547:2:2702
-548:0:2739
-549:2:2287
-550:2:2297
-551:0:2739
-552:2:1175
-553:0:2739
-554:2:2288
-555:2:2289
-556:0:2739
-557:2:1175
-558:0:2739
-559:2:2293
-560:0:2739
-561:2:2301
-562:0:2739
-563:2:1172
-564:0:2739
-565:2:1173
-566:0:2739
-567:2:1174
-568:0:2739
-569:2:1175
-570:0:2739
-571:2:1176
-572:2:1177
-573:2:1181
-574:2:1182
-575:2:1190
-576:2:1191
-577:2:1195
-578:2:1196
-579:2:1204
-580:2:1209
-581:2:1213
-582:2:1214
-583:2:1222
-584:2:1223
-585:2:1224
-586:2:1222
-587:2:1223
-588:2:1227
-589:2:1228
-590:2:1236
-591:2:1241
-592:2:1242
-593:2:1253
-594:2:1254
-595:2:1255
-596:2:1266
-597:2:1271
-598:2:1272
-599:2:1283
-600:2:1284
-601:2:1285
-602:2:1283
-603:2:1284
-604:2:1285
-605:2:1296
-606:2:1304
-607:0:2739
-608:2:1175
-609:0:2739
-610:2:1308
-611:2:1312
-612:2:1313
-613:2:1317
-614:2:1321
-615:2:1322
-616:2:1326
-617:2:1334
-618:2:1335
-619:2:1339
-620:2:1340
-621:2:1339
-622:2:1343
-623:2:1344
-624:2:1348
-625:0:2739
-626:2:1175
-627:0:2739
-628:2:1356
-629:2:1357
-630:2:1358
-631:0:2739
-632:2:1175
-633:0:2739
-634:2:1363
-635:0:2739
-636:2:2316
-637:2:2317
-638:2:2321
-639:2:2325
-640:2:2326
-641:2:2330
-642:2:2335
-643:2:2343
-644:2:2347
-645:2:2348
-646:2:2343
-647:2:2347
-648:2:2348
-649:2:2352
-650:2:2359
-651:2:2366
-652:2:2367
-653:2:2374
-654:2:2379
-655:2:2386
-656:2:2387
-657:2:2386
-658:2:2387
-659:2:2394
-660:2:2398
-661:0:2739
-662:2:2403
-663:0:2739
-664:2:2404
-665:0:2739
-666:2:2405
-667:0:2739
-668:2:2406
-669:0:2739
-670:1:51
-671:0:2739
-672:2:2407
-673:0:2739
-674:1:55
-675:1:56
-676:1:60
-677:1:64
-678:1:65
-679:1:69
-680:1:77
-681:1:78
-682:1:82
-683:1:86
-684:1:87
-685:1:82
-686:1:86
-687:1:87
-688:1:91
-689:1:98
-690:1:105
-691:1:106
-692:1:113
-693:1:118
-694:1:125
-695:1:126
-696:1:125
-697:1:126
-698:1:133
-699:1:137
-700:0:2739
-701:2:2406
-702:0:2739
-703:1:142
-704:0:2739
-705:2:2407
-706:0:2739
-707:2:2408
-708:0:2739
-709:2:2413
-710:0:2739
-711:2:2414
-712:0:2739
-713:2:2422
-714:2:2423
-715:2:2427
-716:2:2431
-717:2:2432
-718:2:2436
-719:2:2444
-720:2:2445
-721:2:2449
-722:2:2453
-723:2:2454
-724:2:2449
-725:2:2453
-726:2:2454
-727:2:2458
-728:2:2465
-729:2:2472
-730:2:2473
-731:2:2480
-732:2:2485
-733:2:2492
-734:2:2493
-735:2:2492
-736:2:2493
-737:2:2500
-738:2:2504
-739:0:2739
-740:2:1365
-741:2:2297
-742:0:2739
-743:2:1175
-744:0:2739
-745:2:1366
-746:0:2739
-747:2:1175
-748:0:2739
-749:2:1369
-750:2:1370
-751:2:1374
-752:2:1375
-753:2:1383
-754:2:1384
-755:2:1388
-756:2:1389
-757:2:1397
-758:2:1402
-759:2:1406
-760:2:1407
-761:2:1415
-762:2:1416
-763:2:1420
-764:2:1421
-765:2:1415
-766:2:1416
-767:2:1420
-768:2:1421
-769:2:1429
-770:2:1434
-771:2:1435
-772:2:1446
-773:2:1447
-774:2:1448
-775:2:1459
-776:2:1464
-777:2:1465
-778:2:1476
-779:2:1477
-780:2:1478
-781:2:1476
-782:2:1477
-783:2:1478
-784:2:1489
-785:2:1496
-786:0:2739
-787:2:1175
-788:0:2739
-789:2:1500
-790:2:1501
-791:2:1502
-792:2:1514
-793:2:1515
-794:2:1519
-795:2:1520
-796:2:1528
-797:2:1533
-798:2:1537
-799:2:1538
-800:2:1546
-801:2:1547
-802:2:1551
-803:2:1552
-804:2:1546
-805:2:1547
-806:2:1551
-807:2:1552
-808:2:1560
-809:2:1565
-810:2:1566
-811:2:1577
-812:2:1578
-813:2:1579
-814:2:1590
-815:2:1595
-816:2:1596
-817:2:1607
-818:2:1608
-819:2:1609
-820:2:1607
-821:2:1608
-822:2:1609
-823:2:1620
-824:2:1631
-825:2:1632
-826:0:2739
-827:2:1175
-828:0:2739
-829:2:1763
-830:2:1764
-831:2:1768
-832:2:1769
-833:2:1777
-834:2:1778
-835:2:1782
-836:2:1783
-837:2:1791
-838:2:1796
-839:2:1800
-840:2:1801
-841:2:1809
-842:2:1810
-843:2:1814
-844:2:1815
-845:2:1809
-846:2:1810
-847:2:1814
-848:2:1815
-849:2:1823
-850:2:1828
-851:2:1829
-852:2:1840
-853:2:1841
-854:2:1842
-855:2:1853
-856:2:1858
-857:2:1859
-858:2:1870
-859:2:1871
-860:2:1872
-861:2:1870
-862:2:1871
-863:2:1872
-864:2:1883
-865:0:2739
-866:2:1175
-867:0:2739
-868:2:1892
-869:2:1893
-870:2:1897
-871:2:1898
-872:2:1906
-873:2:1907
-874:2:1911
-875:2:1912
-876:2:1920
-877:2:1925
-878:2:1929
-879:2:1930
-880:2:1938
-881:2:1939
-882:2:1943
-883:2:1944
-884:2:1938
-885:2:1939
-886:2:1943
-887:2:1944
-888:2:1952
-889:2:1957
-890:2:1958
-891:2:1969
-892:2:1970
-893:2:1971
-894:2:1982
-895:2:1987
-896:2:1988
-897:2:1999
-898:2:2000
-899:2:2001
-900:2:1999
-901:2:2000
-902:2:2001
-903:2:2012
-904:2:2019
-905:0:2739
-906:2:1175
-907:0:2739
-908:2:2023
-909:2:2024
-910:2:2025
-911:2:2037
-912:2:2038
-913:2:2042
-914:2:2043
-915:2:2051
-916:2:2056
-917:2:2060
-918:2:2061
-919:2:2069
-920:2:2070
-921:2:2074
-922:2:2075
-923:2:2069
-924:2:2070
-925:2:2074
-926:2:2075
-927:2:2083
-928:2:2088
-929:2:2089
-930:2:2100
-931:2:2101
-932:2:2102
-933:2:2113
-934:2:2118
-935:2:2119
-936:2:2130
-937:2:2131
-938:2:2132
-939:2:2130
-940:2:2131
-941:2:2132
-942:2:2143
-943:2:2153
-944:2:2154
-945:0:2739
-946:2:1175
-947:0:2739
-948:2:2285
-949:0:2739
-950:2:2514
-951:2:2515
-952:2:2519
-953:2:2523
-954:2:2524
-955:2:2528
-956:2:2536
-957:2:2537
-958:2:2541
-959:2:2545
-960:2:2546
-961:2:2541
-962:2:2545
-963:2:2546
-964:2:2550
-965:2:2557
-966:2:2564
-967:2:2565
-968:2:2572
-969:2:2577
-970:2:2584
-971:2:2585
-972:2:2584
-973:2:2585
-974:2:2592
-975:2:2596
-976:0:2739
-977:2:2601
-978:0:2739
-979:2:2602
-980:0:2739
-981:2:2603
-982:0:2739
-983:2:2604
-984:0:2739
-985:1:51
-986:0:2739
-987:2:2605
-988:0:2739
-989:1:55
-990:1:56
-991:1:60
-992:1:64
-993:1:65
-994:1:69
-995:1:77
-996:1:78
-997:1:82
-998:1:86
-999:1:87
-1000:1:82
-1001:1:86
-1002:1:87
-1003:1:91
-1004:1:98
-1005:1:105
-1006:1:106
-1007:1:113
-1008:1:118
-1009:1:125
-1010:1:126
-1011:1:125
-1012:1:126
-1013:1:133
-1014:1:137
-1015:0:2739
-1016:2:2604
-1017:0:2739
-1018:1:142
-1019:0:2739
-1020:2:2605
-1021:0:2739
-1022:2:2606
-1023:0:2739
-1024:2:2611
-1025:0:2739
-1026:2:2612
-1027:0:2739
-1028:2:2620
-1029:2:2621
-1030:2:2625
-1031:2:2629
-1032:2:2630
-1033:2:2634
-1034:2:2642
-1035:2:2643
-1036:2:2647
-1037:2:2651
-1038:2:2652
-1039:2:2647
-1040:2:2651
-1041:2:2652
-1042:2:2656
-1043:2:2663
-1044:2:2670
-1045:2:2671
-1046:2:2678
-1047:2:2683
-1048:2:2690
-1049:2:2691
-1050:2:2690
-1051:2:2691
-1052:2:2698
-1053:2:2702
-1054:0:2739
-1055:2:2287
-1056:2:2297
-1057:0:2739
-1058:2:1175
-1059:0:2739
-1060:2:2288
-1061:2:2289
-1062:0:2739
-1063:2:1175
-1064:0:2739
-1065:2:2293
-1066:0:2739
-1067:2:2301
-1068:0:2739
-1069:2:1172
-1070:0:2739
-1071:2:1173
-1072:0:2739
-1073:2:1174
-1074:0:2739
-1075:2:1175
-1076:0:2739
-1077:2:1176
-1078:2:1177
-1079:2:1181
-1080:2:1182
-1081:2:1190
-1082:2:1191
-1083:2:1195
-1084:2:1196
-1085:2:1204
-1086:2:1209
-1087:2:1213
-1088:2:1214
-1089:2:1222
-1090:2:1223
-1091:2:1227
-1092:2:1228
-1093:2:1222
-1094:2:1223
-1095:2:1224
-1096:2:1236
-1097:2:1241
-1098:2:1242
-1099:2:1253
-1100:2:1254
-1101:2:1255
-1102:2:1266
-1103:2:1271
-1104:2:1272
-1105:2:1283
-1106:2:1284
-1107:2:1285
-1108:2:1283
-1109:2:1284
-1110:2:1285
-1111:2:1296
-1112:2:1304
-1113:0:2739
-1114:2:1175
-1115:0:2739
-1116:2:1308
-1117:2:1312
-1118:2:1313
-1119:2:1317
-1120:2:1321
-1121:2:1322
-1122:2:1326
-1123:2:1334
-1124:2:1335
-1125:2:1339
-1126:2:1343
-1127:2:1344
-1128:2:1339
-1129:2:1340
-1130:2:1348
-1131:0:2739
-1132:2:1175
-1133:0:2739
-1134:2:1356
-1135:2:1357
-1136:2:1358
-1137:0:2739
-1138:2:1175
-1139:0:2739
-1140:2:1363
-1141:0:2739
-1142:2:2316
-1143:2:2317
-1144:2:2321
-1145:2:2325
-1146:2:2326
-1147:2:2330
-1148:2:2335
-1149:2:2343
-1150:2:2347
-1151:2:2348
-1152:2:2343
-1153:2:2347
-1154:2:2348
-1155:2:2352
-1156:2:2359
-1157:2:2366
-1158:2:2367
-1159:2:2374
-1160:2:2379
-1161:2:2386
-1162:2:2387
-1163:2:2386
-1164:2:2387
-1165:2:2394
-1166:2:2398
-1167:0:2739
-1168:2:2403
-1169:0:2739
-1170:2:2404
-1171:0:2739
-1172:2:2405
-1173:0:2739
-1174:2:2406
-1175:0:2739
-1176:1:51
-1177:0:2739
-1178:2:2407
-1179:0:2739
-1180:1:55
-1181:1:56
-1182:1:60
-1183:1:64
-1184:1:65
-1185:1:69
-1186:1:77
-1187:1:78
-1188:1:82
-1189:1:86
-1190:1:87
-1191:1:82
-1192:1:86
-1193:1:87
-1194:1:91
-1195:1:98
-1196:1:105
-1197:1:106
-1198:1:113
-1199:1:118
-1200:1:125
-1201:1:126
-1202:1:125
-1203:1:126
-1204:1:133
-1205:1:137
-1206:0:2739
-1207:2:2406
-1208:0:2739
-1209:1:142
-1210:0:2739
-1211:2:2407
-1212:0:2739
-1213:2:2408
-1214:0:2739
-1215:2:2413
-1216:0:2739
-1217:2:2414
-1218:0:2739
-1219:2:2422
-1220:2:2423
-1221:2:2427
-1222:2:2431
-1223:2:2432
-1224:2:2436
-1225:2:2444
-1226:2:2445
-1227:2:2449
-1228:2:2453
-1229:2:2454
-1230:2:2449
-1231:2:2453
-1232:2:2454
-1233:2:2458
-1234:2:2465
-1235:2:2472
-1236:2:2473
-1237:2:2480
-1238:2:2485
-1239:2:2492
-1240:2:2493
-1241:2:2492
-1242:2:2493
-1243:2:2500
-1244:2:2504
-1245:0:2739
-1246:2:1365
-1247:2:2297
-1248:0:2739
-1249:2:1175
-1250:0:2739
-1251:2:1366
-1252:0:2739
-1253:2:1175
-1254:0:2739
-1255:2:1369
-1256:2:1370
-1257:2:1374
-1258:2:1375
-1259:2:1383
-1260:2:1384
-1261:2:1388
-1262:2:1389
-1263:2:1397
-1264:2:1402
-1265:2:1406
-1266:2:1407
-1267:2:1415
-1268:2:1416
-1269:2:1420
-1270:2:1421
-1271:2:1415
-1272:2:1416
-1273:2:1420
-1274:2:1421
-1275:2:1429
-1276:2:1434
-1277:2:1435
-1278:2:1446
-1279:2:1447
-1280:2:1448
-1281:2:1459
-1282:2:1464
-1283:2:1465
-1284:2:1476
-1285:2:1477
-1286:2:1478
-1287:2:1476
-1288:2:1477
-1289:2:1478
-1290:2:1489
-1291:2:1496
-1292:0:2739
-1293:2:1175
-1294:0:2739
-1295:2:1500
-1296:2:1501
-1297:2:1502
-1298:2:1514
-1299:2:1515
-1300:2:1519
-1301:2:1520
-1302:2:1528
-1303:2:1533
-1304:2:1537
-1305:2:1538
-1306:2:1546
-1307:2:1547
-1308:2:1551
-1309:2:1552
-1310:2:1546
-1311:2:1547
-1312:2:1551
-1313:2:1552
-1314:2:1560
-1315:2:1565
-1316:2:1566
-1317:2:1577
-1318:2:1578
-1319:2:1579
-1320:2:1590
-1321:2:1595
-1322:2:1596
-1323:2:1607
-1324:2:1608
-1325:2:1609
-1326:2:1607
-1327:2:1608
-1328:2:1609
-1329:2:1620
-1330:2:1631
-1331:2:1632
-1332:0:2739
-1333:2:1175
-1334:0:2739
-1335:2:1763
-1336:2:1764
-1337:2:1768
-1338:2:1769
-1339:2:1777
-1340:2:1778
-1341:2:1782
-1342:2:1783
-1343:2:1791
-1344:2:1796
-1345:2:1800
-1346:2:1801
-1347:2:1809
-1348:2:1810
-1349:2:1814
-1350:2:1815
-1351:2:1809
-1352:2:1810
-1353:2:1814
-1354:2:1815
-1355:2:1823
-1356:2:1828
-1357:2:1829
-1358:2:1840
-1359:2:1841
-1360:2:1842
-1361:2:1853
-1362:2:1858
-1363:2:1859
-1364:2:1870
-1365:2:1871
-1366:2:1872
-1367:2:1870
-1368:2:1871
-1369:2:1872
-1370:2:1883
-1371:0:2739
-1372:2:1175
-1373:0:2739
-1374:2:1892
-1375:2:1893
-1376:2:1897
-1377:2:1898
-1378:2:1906
-1379:2:1907
-1380:2:1911
-1381:2:1912
-1382:2:1920
-1383:2:1925
-1384:2:1929
-1385:2:1930
-1386:2:1938
-1387:2:1939
-1388:2:1943
-1389:2:1944
-1390:2:1938
-1391:2:1939
-1392:2:1943
-1393:2:1944
-1394:2:1952
-1395:2:1957
-1396:2:1958
-1397:2:1969
-1398:2:1970
-1399:2:1971
-1400:2:1982
-1401:2:1987
-1402:2:1988
-1403:2:1999
-1404:2:2000
-1405:2:2001
-1406:2:1999
-1407:2:2000
-1408:2:2001
-1409:2:2012
-1410:2:2019
-1411:0:2739
-1412:2:1175
-1413:0:2739
-1414:1:143
-1415:0:2739
-1416:1:145
-1417:0:2739
-1418:1:44
-1419:0:2739
-1420:1:151
-1421:1:152
-1422:1:156
-1423:1:157
-1424:1:165
-1425:1:166
-1426:1:170
-1427:1:171
-1428:1:179
-1429:1:184
-1430:1:188
-1431:1:189
-1432:1:197
-1433:1:198
-1434:1:202
-1435:1:203
-1436:1:197
-1437:1:198
-1438:1:202
-1439:1:203
-1440:1:211
-1441:1:216
-1442:1:217
-1443:1:228
-1444:1:229
-1445:1:230
-1446:1:241
-1447:1:246
-1448:1:247
-1449:1:258
-1450:1:259
-1451:1:260
-1452:1:258
-1453:1:259
-1454:1:260
-1455:1:271
-1456:0:2739
-1457:1:40
-1458:0:2739
-1459:1:41
-1460:0:2739
-1461:1:42
-1462:0:2739
-1463:1:143
-1464:0:2739
-1465:1:145
-1466:0:2739
-1467:1:44
-1468:0:2739
-1469:1:280
-1470:1:281
-1471:0:2739
-1472:1:40
-1473:0:2739
-1474:1:41
-1475:0:2739
-1476:1:42
-1477:0:2739
-1478:1:143
-1479:0:2739
-1480:1:145
-1481:0:2739
-1482:1:44
-1483:0:2739
-1484:1:287
-1485:1:288
-1486:1:292
-1487:1:293
-1488:1:301
-1489:1:302
-1490:1:306
-1491:1:307
-1492:1:315
-1493:1:320
-1494:1:324
-1495:1:325
-1496:1:333
-1497:1:334
-1498:1:338
-1499:1:339
-1500:1:333
-1501:1:334
-1502:1:338
-1503:1:339
-1504:1:347
-1505:1:352
-1506:1:353
-1507:1:364
-1508:1:365
-1509:1:366
-1510:1:377
-1511:1:382
-1512:1:383
-1513:1:394
-1514:1:395
-1515:1:396
-1516:1:394
-1517:1:395
-1518:1:396
-1519:1:407
-1520:0:2739
-1521:1:40
-1522:0:2739
-1523:1:41
-1524:0:2739
-1525:1:42
-1526:0:2739
-1527:1:143
-1528:0:2739
-1529:1:145
-1530:0:2739
-1531:1:44
-1532:0:2739
-1533:1:416
-1534:1:417
-1535:1:421
-1536:1:422
-1537:1:430
-1538:1:431
-1539:1:435
-1540:1:436
-1541:1:444
-1542:1:449
-1543:1:453
-1544:1:454
-1545:1:462
-1546:1:463
-1547:1:467
-1548:1:468
-1549:1:462
-1550:1:463
-1551:1:467
-1552:1:468
-1553:1:476
-1554:1:481
-1555:1:482
-1556:1:493
-1557:1:494
-1558:1:495
-1559:1:506
-1560:1:511
-1561:1:512
-1562:1:523
-1563:1:524
-1564:1:525
-1565:1:523
-1566:1:524
-1567:1:525
-1568:1:536
-1569:1:543
-1570:0:2739
-1571:1:40
-1572:0:2739
-1573:1:41
-1574:0:2739
-1575:1:42
-1576:0:2739
-1577:1:143
-1578:0:2739
-1579:1:145
-1580:0:2739
-1581:1:44
-1582:0:2739
-1583:1:681
-1584:1:682
-1585:1:686
-1586:1:687
-1587:1:695
-1588:1:696
-1589:1:697
-1590:1:709
-1591:1:714
-1592:1:718
-1593:1:719
-1594:1:727
-1595:1:728
-1596:1:732
-1597:1:733
-1598:1:727
-1599:1:728
-1600:1:732
-1601:1:733
-1602:1:741
-1603:1:746
-1604:1:747
-1605:1:758
-1606:1:759
-1607:1:760
-1608:1:771
-1609:1:776
-1610:1:777
-1611:1:788
-1612:1:789
-1613:1:790
-1614:1:788
-1615:1:789
-1616:1:790
-1617:1:801
-1618:0:2739
-1619:1:40
-1620:0:2739
-1621:1:41
-1622:0:2739
-1623:2:2023
-1624:2:2024
-1625:2:2025
-1626:2:2037
-1627:2:2038
-1628:2:2042
-1629:2:2043
-1630:2:2051
-1631:2:2056
-1632:2:2060
-1633:2:2061
-1634:2:2069
-1635:2:2070
-1636:2:2074
-1637:2:2075
-1638:2:2069
-1639:2:2070
-1640:2:2074
-1641:2:2075
-1642:2:2083
-1643:2:2088
-1644:2:2089
-1645:2:2100
-1646:2:2101
-1647:2:2102
-1648:2:2113
-1649:2:2118
-1650:2:2119
-1651:2:2130
-1652:2:2131
-1653:2:2132
-1654:2:2130
-1655:2:2131
-1656:2:2132
-1657:2:2143
-1658:2:2151
-1659:0:2739
-1660:2:1175
-1661:0:2739
-1662:2:2157
-1663:2:2158
-1664:2:2162
-1665:2:2163
-1666:2:2171
-1667:2:2172
-1668:2:2176
-1669:2:2177
-1670:2:2185
-1671:2:2190
-1672:2:2194
-1673:2:2195
-1674:2:2203
-1675:2:2204
-1676:2:2208
-1677:2:2209
-1678:2:2203
-1679:2:2204
-1680:2:2208
-1681:2:2209
-1682:2:2217
-1683:2:2222
-1684:2:2223
-1685:2:2234
-1686:2:2235
-1687:2:2236
-1688:2:2247
-1689:2:2252
-1690:2:2253
-1691:2:2264
-1692:2:2265
-1693:2:2266
-1694:2:2264
-1695:2:2265
-1696:2:2266
-1697:2:2277
-1698:0:2739
-1699:2:1175
-1700:0:2739
-1701:1:42
-1702:0:2739
-1703:2:2023
-1704:2:2024
-1705:2:2028
-1706:2:2029
-1707:2:2037
-1708:2:2038
-1709:2:2042
-1710:2:2043
-1711:2:2051
-1712:2:2056
-1713:2:2060
-1714:2:2061
-1715:2:2069
-1716:2:2070
-1717:2:2074
-1718:2:2075
-1719:2:2069
-1720:2:2070
-1721:2:2074
-1722:2:2075
-1723:2:2083
-1724:2:2088
-1725:2:2089
-1726:2:2100
-1727:2:2101
-1728:2:2102
-1729:2:2113
-1730:2:2118
-1731:2:2119
-1732:2:2130
-1733:2:2131
-1734:2:2132
-1735:2:2130
-1736:2:2131
-1737:2:2132
-1738:2:2143
-1739:2:2151
-1740:0:2739
-1741:2:1175
-1742:0:2739
-1743:2:2157
-1744:2:2158
-1745:2:2162
-1746:2:2163
-1747:2:2171
-1748:2:2172
-1749:2:2176
-1750:2:2177
-1751:2:2185
-1752:2:2190
-1753:2:2194
-1754:2:2195
-1755:2:2203
-1756:2:2204
-1757:2:2208
-1758:2:2209
-1759:2:2203
-1760:2:2204
-1761:2:2208
-1762:2:2209
-1763:2:2217
-1764:2:2222
-1765:2:2223
-1766:2:2234
-1767:2:2235
-1768:2:2236
-1769:2:2247
-1770:2:2252
-1771:2:2253
-1772:2:2264
-1773:2:2265
-1774:2:2266
-1775:2:2264
-1776:2:2265
-1777:2:2266
-1778:2:2277
-1779:0:2739
-1780:1:143
-1781:0:2739
-1782:2:1175
-1783:0:2739
-1784:2:2023
-1785:2:2024
-1786:2:2028
-1787:2:2029
-1788:2:2037
-1789:2:2038
-1790:2:2042
-1791:2:2043
-1792:2:2051
-1793:2:2056
-1794:2:2060
-1795:2:2061
-1796:2:2069
-1797:2:2070
-1798:2:2074
-1799:2:2075
-1800:2:2069
-1801:2:2070
-1802:2:2074
-1803:2:2075
-1804:2:2083
-1805:2:2088
-1806:2:2089
-1807:2:2100
-1808:2:2101
-1809:2:2102
-1810:2:2113
-1811:2:2118
-1812:2:2119
-1813:2:2130
-1814:2:2131
-1815:2:2132
-1816:2:2130
-1817:2:2131
-1818:2:2132
-1819:2:2143
-1820:2:2151
-1821:0:2739
-1822:2:1175
-1823:0:2739
-1824:1:145
-1825:0:2739
-1826:2:2157
-1827:2:2158
-1828:2:2162
-1829:2:2163
-1830:2:2171
-1831:2:2172
-1832:2:2176
-1833:2:2177
-1834:2:2185
-1835:2:2190
-1836:2:2194
-1837:2:2195
-1838:2:2203
-1839:2:2204
-1840:2:2208
-1841:2:2209
-1842:2:2203
-1843:2:2204
-1844:2:2208
-1845:2:2209
-1846:2:2217
-1847:2:2222
-1848:2:2223
-1849:2:2234
-1850:2:2235
-1851:2:2236
-1852:2:2247
-1853:2:2252
-1854:2:2253
-1855:2:2264
-1856:2:2265
-1857:2:2266
-1858:2:2264
-1859:2:2265
-1860:2:2266
-1861:2:2277
-1862:0:2739
-1863:2:1175
-1864:0:2739
-1865:2:2023
-1866:2:2024
-1867:2:2028
-1868:2:2029
-1869:2:2037
-1870:2:2038
-1871:2:2042
-1872:2:2043
-1873:2:2051
-1874:2:2056
-1875:2:2060
-1876:2:2061
-1877:2:2069
-1878:2:2070
-1879:2:2074
-1880:2:2075
-1881:2:2069
-1882:2:2070
-1883:2:2074
-1884:2:2075
-1885:2:2083
-1886:2:2088
-1887:2:2089
-1888:2:2100
-1889:2:2101
-1890:2:2102
-1891:2:2113
-1892:2:2118
-1893:2:2119
-1894:2:2130
-1895:2:2131
-1896:2:2132
-1897:2:2130
-1898:2:2131
-1899:2:2132
-1900:2:2143
-1901:2:2151
-1902:0:2739
-1903:1:44
-1904:0:2739
-1905:2:1175
-1906:0:2739
-1907:2:2157
-1908:2:2158
-1909:2:2162
-1910:2:2163
-1911:2:2171
-1912:2:2172
-1913:2:2176
-1914:2:2177
-1915:2:2185
-1916:2:2190
-1917:2:2194
-1918:2:2195
-1919:2:2203
-1920:2:2204
-1921:2:2208
-1922:2:2209
-1923:2:2203
-1924:2:2204
-1925:2:2208
-1926:2:2209
-1927:2:2217
-1928:2:2222
-1929:2:2223
-1930:2:2234
-1931:2:2235
-1932:2:2236
-1933:2:2247
-1934:2:2252
-1935:2:2253
-1936:2:2264
-1937:2:2265
-1938:2:2266
-1939:2:2264
-1940:2:2265
-1941:2:2266
-1942:2:2277
-1943:0:2739
-1944:2:1175
-1945:0:2739
-1946:1:810
-1947:0:2739
-1948:2:2023
-1949:2:2024
-1950:2:2028
-1951:2:2029
-1952:2:2037
-1953:2:2038
-1954:2:2042
-1955:2:2043
-1956:2:2051
-1957:2:2056
-1958:2:2060
-1959:2:2061
-1960:2:2069
-1961:2:2070
-1962:2:2074
-1963:2:2075
-1964:2:2069
-1965:2:2070
-1966:2:2074
-1967:2:2075
-1968:2:2083
-1969:2:2088
-1970:2:2089
-1971:2:2100
-1972:2:2101
-1973:2:2102
-1974:2:2113
-1975:2:2118
-1976:2:2119
-1977:2:2130
-1978:2:2131
-1979:2:2132
-1980:2:2130
-1981:2:2131
-1982:2:2132
-1983:2:2143
-1984:2:2151
-1985:0:2739
-1986:2:1175
-1987:0:2739
-1988:2:2157
-1989:2:2158
-1990:2:2162
-1991:2:2163
-1992:2:2171
-1993:2:2172
-1994:2:2176
-1995:2:2177
-1996:2:2185
-1997:2:2190
-1998:2:2194
-1999:2:2195
-2000:2:2203
-2001:2:2204
-2002:2:2208
-2003:2:2209
-2004:2:2203
-2005:2:2204
-2006:2:2208
-2007:2:2209
-2008:2:2217
-2009:2:2222
-2010:2:2223
-2011:2:2234
-2012:2:2235
-2013:2:2236
-2014:2:2247
-2015:2:2252
-2016:2:2253
-2017:2:2264
-2018:2:2265
-2019:2:2266
-2020:2:2264
-2021:2:2265
-2022:2:2266
-2023:2:2277
-2024:0:2739
-2025:1:1087
-2026:1:1094
-2027:1:1095
-2028:1:1102
-2029:1:1107
-2030:1:1114
-2031:1:1115
-2032:1:1114
-2033:1:1115
-2034:1:1122
-2035:1:1126
-2036:0:2739
-2037:2:1175
-2038:0:2739
-2039:2:2023
-2040:2:2024
-2041:2:2028
-2042:2:2029
-2043:2:2037
-2044:2:2038
-2045:2:2042
-2046:2:2043
-2047:2:2051
-2048:2:2056
-2049:2:2060
-2050:2:2061
-2051:2:2069
-2052:2:2070
-2053:2:2074
-2054:2:2075
-2055:2:2069
-2056:2:2070
-2057:2:2074
-2058:2:2075
-2059:2:2083
-2060:2:2088
-2061:2:2089
-2062:2:2100
-2063:2:2101
-2064:2:2102
-2065:2:2113
-2066:2:2118
-2067:2:2119
-2068:2:2130
-2069:2:2131
-2070:2:2132
-2071:2:2130
-2072:2:2131
-2073:2:2132
-2074:2:2143
-2075:2:2151
-2076:0:2739
-2077:2:1175
-2078:0:2739
-2079:1:812
-2080:1:813
-2081:0:2739
-2082:1:40
-2083:0:2739
-2084:1:41
-2085:0:2739
-2086:2:2157
-2087:2:2158
-2088:2:2162
-2089:2:2163
-2090:2:2171
-2091:2:2172
-2092:2:2176
-2093:2:2177
-2094:2:2185
-2095:2:2190
-2096:2:2194
-2097:2:2195
-2098:2:2203
-2099:2:2204
-2100:2:2208
-2101:2:2209
-2102:2:2203
-2103:2:2204
-2104:2:2208
-2105:2:2209
-2106:2:2217
-2107:2:2222
-2108:2:2223
-2109:2:2234
-2110:2:2235
-2111:2:2236
-2112:2:2247
-2113:2:2252
-2114:2:2253
-2115:2:2264
-2116:2:2265
-2117:2:2266
-2118:2:2264
-2119:2:2265
-2120:2:2266
-2121:2:2277
-2122:0:2739
-2123:2:1175
-2124:0:2739
-2125:2:2023
-2126:2:2024
-2127:2:2028
-2128:2:2029
-2129:2:2037
-2130:2:2038
-2131:2:2042
-2132:2:2043
-2133:2:2051
-2134:2:2056
-2135:2:2060
-2136:2:2061
-2137:2:2069
-2138:2:2070
-2139:2:2074
-2140:2:2075
-2141:2:2069
-2142:2:2070
-2143:2:2074
-2144:2:2075
-2145:2:2083
-2146:2:2088
-2147:2:2089
-2148:2:2100
-2149:2:2101
-2150:2:2102
-2151:2:2113
-2152:2:2118
-2153:2:2119
-2154:2:2130
-2155:2:2131
-2156:2:2132
-2157:2:2130
-2158:2:2131
-2159:2:2132
-2160:2:2143
-2161:2:2151
-2162:0:2739
-2163:1:42
-2164:0:2739
-2165:2:1175
-2166:0:2739
-2167:2:2157
-2168:2:2158
-2169:2:2162
-2170:2:2163
-2171:2:2171
-2172:2:2172
-2173:2:2176
-2174:2:2177
-2175:2:2185
-2176:2:2190
-2177:2:2194
-2178:2:2195
-2179:2:2203
-2180:2:2204
-2181:2:2208
-2182:2:2209
-2183:2:2203
-2184:2:2204
-2185:2:2208
-2186:2:2209
-2187:2:2217
-2188:2:2222
-2189:2:2223
-2190:2:2234
-2191:2:2235
-2192:2:2236
-2193:2:2247
-2194:2:2252
-2195:2:2253
-2196:2:2264
-2197:2:2265
-2198:2:2266
-2199:2:2264
-2200:2:2265
-2201:2:2266
-2202:2:2277
-2203:0:2739
-2204:2:1175
-2205:0:2739
-2206:1:143
-2207:0:2739
-2208:2:2023
-2209:2:2024
-2210:2:2028
-2211:2:2029
-2212:2:2037
-2213:2:2038
-2214:2:2042
-2215:2:2043
-2216:2:2051
-2217:2:2056
-2218:2:2060
-2219:2:2061
-2220:2:2069
-2221:2:2070
-2222:2:2074
-2223:2:2075
-2224:2:2069
-2225:2:2070
-2226:2:2074
-2227:2:2075
-2228:2:2083
-2229:2:2088
-2230:2:2089
-2231:2:2100
-2232:2:2101
-2233:2:2102
-2234:2:2113
-2235:2:2118
-2236:2:2119
-2237:2:2130
-2238:2:2131
-2239:2:2132
-2240:2:2130
-2241:2:2131
-2242:2:2132
-2243:2:2143
-2244:2:2151
-2245:0:2739
-2246:2:1175
-2247:0:2739
-2248:2:2157
-2249:2:2158
-2250:2:2162
-2251:2:2163
-2252:2:2171
-2253:2:2172
-2254:2:2176
-2255:2:2177
-2256:2:2185
-2257:2:2190
-2258:2:2194
-2259:2:2195
-2260:2:2203
-2261:2:2204
-2262:2:2208
-2263:2:2209
-2264:2:2203
-2265:2:2204
-2266:2:2208
-2267:2:2209
-2268:2:2217
-2269:2:2222
-2270:2:2223
-2271:2:2234
-2272:2:2235
-2273:2:2236
-2274:2:2247
-2275:2:2252
-2276:2:2253
-2277:2:2264
-2278:2:2265
-2279:2:2266
-2280:2:2264
-2281:2:2265
-2282:2:2266
-2283:2:2277
-2284:0:2739
-2285:1:145
-2286:0:2739
-2287:2:1175
-2288:0:2739
-2289:2:2023
-2290:2:2024
-2291:2:2028
-2292:2:2029
-2293:2:2037
-2294:2:2038
-2295:2:2042
-2296:2:2043
-2297:2:2051
-2298:2:2056
-2299:2:2060
-2300:2:2061
-2301:2:2069
-2302:2:2070
-2303:2:2074
-2304:2:2075
-2305:2:2069
-2306:2:2070
-2307:2:2074
-2308:2:2075
-2309:2:2083
-2310:2:2088
-2311:2:2089
-2312:2:2100
-2313:2:2101
-2314:2:2102
-2315:2:2113
-2316:2:2118
-2317:2:2119
-2318:2:2130
-2319:2:2131
-2320:2:2132
-2321:2:2130
-2322:2:2131
-2323:2:2132
-2324:2:2143
-2325:2:2151
-2326:0:2739
-2327:2:1175
-2328:0:2739
-2329:1:44
-2330:0:2739
-2331:2:2157
-2332:2:2158
-2333:2:2162
-2334:2:2163
-2335:2:2171
-2336:2:2172
-2337:2:2176
-2338:2:2177
-2339:2:2185
-2340:2:2190
-2341:2:2194
-2342:2:2195
-2343:2:2203
-2344:2:2204
-2345:2:2208
-2346:2:2209
-2347:2:2203
-2348:2:2204
-2349:2:2208
-2350:2:2209
-2351:2:2217
-2352:2:2222
-2353:2:2223
-2354:2:2234
-2355:2:2235
-2356:2:2236
-2357:2:2247
-2358:2:2252
-2359:2:2253
-2360:2:2264
-2361:2:2265
-2362:2:2266
-2363:2:2264
-2364:2:2265
-2365:2:2266
-2366:2:2277
-2367:0:2739
-2368:2:1175
-2369:0:2739
-2370:2:2023
-2371:2:2024
-2372:2:2028
-2373:2:2029
-2374:2:2037
-2375:2:2038
-2376:2:2042
-2377:2:2043
-2378:2:2051
-2379:2:2056
-2380:2:2060
-2381:2:2061
-2382:2:2069
-2383:2:2070
-2384:2:2074
-2385:2:2075
-2386:2:2069
-2387:2:2070
-2388:2:2074
-2389:2:2075
-2390:2:2083
-2391:2:2088
-2392:2:2089
-2393:2:2100
-2394:2:2101
-2395:2:2102
-2396:2:2113
-2397:2:2118
-2398:2:2119
-2399:2:2130
-2400:2:2131
-2401:2:2132
-2402:2:2130
-2403:2:2131
-2404:2:2132
-2405:2:2143
-2406:2:2151
-2407:0:2739
-2408:1:816
-2409:1:817
-2410:1:821
-2411:1:822
-2412:1:830
-2413:1:831
-2414:1:835
-2415:1:836
-2416:1:844
-2417:1:849
-2418:1:853
-2419:1:854
-2420:1:862
-2421:1:863
-2422:1:867
-2423:1:868
-2424:1:862
-2425:1:863
-2426:1:867
-2427:1:868
-2428:1:876
-2429:1:881
-2430:1:882
-2431:1:893
-2432:1:894
-2433:1:895
-2434:1:906
-2435:1:911
-2436:1:912
-2437:1:923
-2438:1:924
-2439:1:925
-2440:1:923
-2441:1:924
-2442:1:925
-2443:1:936
-2444:0:2739
-2445:2:1175
-2446:0:2739
-2447:1:40
-2448:0:2739
-2449:1:41
-2450:0:2739
-2451:2:2157
-2452:2:2158
-2453:2:2162
-2454:2:2163
-2455:2:2171
-2456:2:2172
-2457:2:2176
-2458:2:2177
-2459:2:2185
-2460:2:2190
-2461:2:2194
-2462:2:2195
-2463:2:2203
-2464:2:2204
-2465:2:2208
-2466:2:2209
-2467:2:2203
-2468:2:2204
-2469:2:2208
-2470:2:2209
-2471:2:2217
-2472:2:2222
-2473:2:2223
-2474:2:2234
-2475:2:2235
-2476:2:2236
-2477:2:2247
-2478:2:2252
-2479:2:2253
-2480:2:2264
-2481:2:2265
-2482:2:2266
-2483:2:2264
-2484:2:2265
-2485:2:2266
-2486:2:2277
-2487:0:2739
-2488:2:1175
-2489:0:2739
-2490:2:2023
-2491:2:2024
-2492:2:2028
-2493:2:2029
-2494:2:2037
-2495:2:2038
-2496:2:2042
-2497:2:2043
-2498:2:2051
-2499:2:2056
-2500:2:2060
-2501:2:2061
-2502:2:2069
-2503:2:2070
-2504:2:2074
-2505:2:2075
-2506:2:2069
-2507:2:2070
-2508:2:2074
-2509:2:2075
-2510:2:2083
-2511:2:2088
-2512:2:2089
-2513:2:2100
-2514:2:2101
-2515:2:2102
-2516:2:2113
-2517:2:2118
-2518:2:2119
-2519:2:2130
-2520:2:2131
-2521:2:2132
-2522:2:2130
-2523:2:2131
-2524:2:2132
-2525:2:2143
-2526:2:2151
-2527:0:2739
-2528:1:42
-2529:0:2739
-2530:2:1175
-2531:0:2739
-2532:2:2157
-2533:2:2158
-2534:2:2162
-2535:2:2163
-2536:2:2171
-2537:2:2172
-2538:2:2176
-2539:2:2177
-2540:2:2185
-2541:2:2190
-2542:2:2194
-2543:2:2195
-2544:2:2203
-2545:2:2204
-2546:2:2208
-2547:2:2209
-2548:2:2203
-2549:2:2204
-2550:2:2208
-2551:2:2209
-2552:2:2217
-2553:2:2222
-2554:2:2223
-2555:2:2234
-2556:2:2235
-2557:2:2236
-2558:2:2247
-2559:2:2252
-2560:2:2253
-2561:2:2264
-2562:2:2265
-2563:2:2266
-2564:2:2264
-2565:2:2265
-2566:2:2266
-2567:2:2277
-2568:0:2739
-2569:2:1175
-2570:0:2739
-2571:1:143
-2572:0:2739
-2573:2:2023
-2574:2:2024
-2575:2:2028
-2576:2:2029
-2577:2:2037
-2578:2:2038
-2579:2:2042
-2580:2:2043
-2581:2:2051
-2582:2:2056
-2583:2:2060
-2584:2:2061
-2585:2:2069
-2586:2:2070
-2587:2:2074
-2588:2:2075
-2589:2:2069
-2590:2:2070
-2591:2:2074
-2592:2:2075
-2593:2:2083
-2594:2:2088
-2595:2:2089
-2596:2:2100
-2597:2:2101
-2598:2:2102
-2599:2:2113
-2600:2:2118
-2601:2:2119
-2602:2:2130
-2603:2:2131
-2604:2:2132
-2605:2:2130
-2606:2:2131
-2607:2:2132
-2608:2:2143
-2609:2:2151
-2610:0:2739
-2611:2:1175
-2612:0:2739
-2613:2:2157
-2614:2:2158
-2615:2:2162
-2616:2:2163
-2617:2:2171
-2618:2:2172
-2619:2:2176
-2620:2:2177
-2621:2:2185
-2622:2:2190
-2623:2:2194
-2624:2:2195
-2625:2:2203
-2626:2:2204
-2627:2:2208
-2628:2:2209
-2629:2:2203
-2630:2:2204
-2631:2:2208
-2632:2:2209
-2633:2:2217
-2634:2:2222
-2635:2:2223
-2636:2:2234
-2637:2:2235
-2638:2:2236
-2639:2:2247
-2640:2:2252
-2641:2:2253
-2642:2:2264
-2643:2:2265
-2644:2:2266
-2645:2:2264
-2646:2:2265
-2647:2:2266
-2648:2:2277
-2649:0:2739
-2650:1:145
-2651:0:2739
-2652:2:1175
-2653:0:2739
-2654:2:2023
-2655:2:2024
-2656:2:2028
-2657:2:2029
-2658:2:2037
-2659:2:2038
-2660:2:2042
-2661:2:2043
-2662:2:2051
-2663:2:2056
-2664:2:2060
-2665:2:2061
-2666:2:2069
-2667:2:2070
-2668:2:2074
-2669:2:2075
-2670:2:2069
-2671:2:2070
-2672:2:2074
-2673:2:2075
-2674:2:2083
-2675:2:2088
-2676:2:2089
-2677:2:2100
-2678:2:2101
-2679:2:2102
-2680:2:2113
-2681:2:2118
-2682:2:2119
-2683:2:2130
-2684:2:2131
-2685:2:2132
-2686:2:2130
-2687:2:2131
-2688:2:2132
-2689:2:2143
-2690:2:2151
-2691:0:2739
-2692:2:1175
-2693:0:2739
-2694:1:44
-2695:0:2739
-2696:2:2157
-2697:2:2158
-2698:2:2162
-2699:2:2163
-2700:2:2171
-2701:2:2172
-2702:2:2176
-2703:2:2177
-2704:2:2185
-2705:2:2190
-2706:2:2194
-2707:2:2195
-2708:2:2203
-2709:2:2204
-2710:2:2208
-2711:2:2209
-2712:2:2203
-2713:2:2204
-2714:2:2208
-2715:2:2209
-2716:2:2217
-2717:2:2222
-2718:2:2223
-2719:2:2234
-2720:2:2235
-2721:2:2236
-2722:2:2247
-2723:2:2252
-2724:2:2253
-2725:2:2264
-2726:2:2265
-2727:2:2266
-2728:2:2264
-2729:2:2265
-2730:2:2266
-2731:2:2277
-2732:0:2739
-2733:2:1175
-2734:0:2739
-2735:2:2023
-2736:2:2024
-2737:2:2028
-2738:2:2029
-2739:2:2037
-2740:2:2038
-2741:2:2042
-2742:2:2043
-2743:2:2051
-2744:2:2056
-2745:2:2060
-2746:2:2061
-2747:2:2069
-2748:2:2070
-2749:2:2074
-2750:2:2075
-2751:2:2069
-2752:2:2070
-2753:2:2074
-2754:2:2075
-2755:2:2083
-2756:2:2088
-2757:2:2089
-2758:2:2100
-2759:2:2101
-2760:2:2102
-2761:2:2113
-2762:2:2118
-2763:2:2119
-2764:2:2130
-2765:2:2131
-2766:2:2132
-2767:2:2130
-2768:2:2131
-2769:2:2132
-2770:2:2143
-2771:2:2151
-2772:0:2739
-2773:1:945
-2774:1:946
-2775:1:950
-2776:1:951
-2777:1:959
-2778:1:960
-2779:1:964
-2780:1:965
-2781:1:973
-2782:1:978
-2783:1:982
-2784:1:983
-2785:1:991
-2786:1:992
-2787:1:996
-2788:1:997
-2789:1:991
-2790:1:992
-2791:1:996
-2792:1:997
-2793:1:1005
-2794:1:1010
-2795:1:1011
-2796:1:1022
-2797:1:1023
-2798:1:1024
-2799:1:1035
-2800:1:1040
-2801:1:1041
-2802:1:1052
-2803:1:1053
-2804:1:1054
-2805:1:1052
-2806:1:1053
-2807:1:1054
-2808:1:1065
-2809:1:1072
-2810:1:1076
-2811:0:2739
-2812:2:1175
-2813:0:2739
-2814:1:40
-2815:0:2739
-2816:1:41
-2817:0:2739
-2818:2:2157
-2819:2:2158
-2820:2:2162
-2821:2:2163
-2822:2:2171
-2823:2:2172
-2824:2:2176
-2825:2:2177
-2826:2:2185
-2827:2:2190
-2828:2:2194
-2829:2:2195
-2830:2:2203
-2831:2:2204
-2832:2:2208
-2833:2:2209
-2834:2:2203
-2835:2:2204
-2836:2:2208
-2837:2:2209
-2838:2:2217
-2839:2:2222
-2840:2:2223
-2841:2:2234
-2842:2:2235
-2843:2:2236
-2844:2:2247
-2845:2:2252
-2846:2:2253
-2847:2:2264
-2848:2:2265
-2849:2:2266
-2850:2:2264
-2851:2:2265
-2852:2:2266
-2853:2:2277
-2854:0:2739
-2855:2:1175
-2856:0:2739
-2857:2:2023
-2858:2:2024
-2859:2:2028
-2860:2:2029
-2861:2:2037
-2862:2:2038
-2863:2:2042
-2864:2:2043
-2865:2:2051
-2866:2:2056
-2867:2:2060
-2868:2:2061
-2869:2:2069
-2870:2:2070
-2871:2:2074
-2872:2:2075
-2873:2:2069
-2874:2:2070
-2875:2:2074
-2876:2:2075
-2877:2:2083
-2878:2:2088
-2879:2:2089
-2880:2:2100
-2881:2:2101
-2882:2:2102
-2883:2:2113
-2884:2:2118
-2885:2:2119
-2886:2:2130
-2887:2:2131
-2888:2:2132
-2889:2:2130
-2890:2:2131
-2891:2:2132
-2892:2:2143
-2893:2:2151
-2894:0:2739
-2895:1:42
-2896:0:2739
-2897:2:1175
-2898:0:2739
-2899:2:2157
-2900:2:2158
-2901:2:2162
-2902:2:2163
-2903:2:2171
-2904:2:2172
-2905:2:2176
-2906:2:2177
-2907:2:2185
-2908:2:2190
-2909:2:2194
-2910:2:2195
-2911:2:2203
-2912:2:2204
-2913:2:2208
-2914:2:2209
-2915:2:2203
-2916:2:2204
-2917:2:2208
-2918:2:2209
-2919:2:2217
-2920:2:2222
-2921:2:2223
-2922:2:2234
-2923:2:2235
-2924:2:2236
-2925:2:2247
-2926:2:2252
-2927:2:2253
-2928:2:2264
-2929:2:2265
-2930:2:2266
-2931:2:2264
-2932:2:2265
-2933:2:2266
-2934:2:2277
-2935:0:2739
-2936:2:1175
-2937:0:2739
-2938:1:143
-2939:0:2739
-2940:2:2023
-2941:2:2024
-2942:2:2028
-2943:2:2029
-2944:2:2037
-2945:2:2038
-2946:2:2042
-2947:2:2043
-2948:2:2051
-2949:2:2056
-2950:2:2060
-2951:2:2061
-2952:2:2069
-2953:2:2070
-2954:2:2074
-2955:2:2075
-2956:2:2069
-2957:2:2070
-2958:2:2074
-2959:2:2075
-2960:2:2083
-2961:2:2088
-2962:2:2089
-2963:2:2100
-2964:2:2101
-2965:2:2102
-2966:2:2113
-2967:2:2118
-2968:2:2119
-2969:2:2130
-2970:2:2131
-2971:2:2132
-2972:2:2130
-2973:2:2131
-2974:2:2132
-2975:2:2143
-2976:2:2151
-2977:0:2739
-2978:2:1175
-2979:0:2739
-2980:2:2157
-2981:2:2158
-2982:2:2162
-2983:2:2163
-2984:2:2171
-2985:2:2172
-2986:2:2176
-2987:2:2177
-2988:2:2185
-2989:2:2190
-2990:2:2194
-2991:2:2195
-2992:2:2203
-2993:2:2204
-2994:2:2208
-2995:2:2209
-2996:2:2203
-2997:2:2204
-2998:2:2208
-2999:2:2209
-3000:2:2217
-3001:2:2222
-3002:2:2223
-3003:2:2234
-3004:2:2235
-3005:2:2236
-3006:2:2247
-3007:2:2252
-3008:2:2253
-3009:2:2264
-3010:2:2265
-3011:2:2266
-3012:2:2264
-3013:2:2265
-3014:2:2266
-3015:2:2277
-3016:0:2739
-3017:1:145
-3018:0:2739
-3019:2:1175
-3020:0:2739
-3021:2:2023
-3022:2:2024
-3023:2:2028
-3024:2:2029
-3025:2:2037
-3026:2:2038
-3027:2:2042
-3028:2:2043
-3029:2:2051
-3030:2:2056
-3031:2:2060
-3032:2:2061
-3033:2:2069
-3034:2:2070
-3035:2:2074
-3036:2:2075
-3037:2:2069
-3038:2:2070
-3039:2:2074
-3040:2:2075
-3041:2:2083
-3042:2:2088
-3043:2:2089
-3044:2:2100
-3045:2:2101
-3046:2:2102
-3047:2:2113
-3048:2:2118
-3049:2:2119
-3050:2:2130
-3051:2:2131
-3052:2:2132
-3053:2:2130
-3054:2:2131
-3055:2:2132
-3056:2:2143
-3057:2:2151
-3058:0:2739
-3059:2:1175
-3060:0:2739
-3061:1:44
-3062:0:2739
-3063:2:2157
-3064:2:2158
-3065:2:2162
-3066:2:2163
-3067:2:2171
-3068:2:2172
-3069:2:2176
-3070:2:2177
-3071:2:2185
-3072:2:2190
-3073:2:2194
-3074:2:2195
-3075:2:2203
-3076:2:2204
-3077:2:2208
-3078:2:2209
-3079:2:2203
-3080:2:2204
-3081:2:2208
-3082:2:2209
-3083:2:2217
-3084:2:2222
-3085:2:2223
-3086:2:2234
-3087:2:2235
-3088:2:2236
-3089:2:2247
-3090:2:2252
-3091:2:2253
-3092:2:2264
-3093:2:2265
-3094:2:2266
-3095:2:2264
-3096:2:2265
-3097:2:2266
-3098:2:2277
-3099:0:2739
-3100:2:1175
-3101:0:2739
-3102:2:2023
-3103:2:2024
-3104:2:2028
-3105:2:2029
-3106:2:2037
-3107:2:2038
-3108:2:2042
-3109:2:2043
-3110:2:2051
-3111:2:2056
-3112:2:2060
-3113:2:2061
-3114:2:2069
-3115:2:2070
-3116:2:2074
-3117:2:2075
-3118:2:2069
-3119:2:2070
-3120:2:2074
-3121:2:2075
-3122:2:2083
-3123:2:2088
-3124:2:2089
-3125:2:2100
-3126:2:2101
-3127:2:2102
-3128:2:2113
-3129:2:2118
-3130:2:2119
-3131:2:2130
-3132:2:2131
-3133:2:2132
-3134:2:2130
-3135:2:2131
-3136:2:2132
-3137:2:2143
-3138:2:2151
-3139:0:2739
-3140:1:1077
-3141:0:2739
-3142:2:1175
-3143:0:2739
-3144:1:1085
-3145:0:2739
-3146:1:1130
-3147:0:2739
-3148:1:36
-3149:0:2739
-3150:2:2157
-3151:2:2158
-3152:2:2162
-3153:2:2163
-3154:2:2171
-3155:2:2172
-3156:2:2176
-3157:2:2177
-3158:2:2185
-3159:2:2190
-3160:2:2194
-3161:2:2195
-3162:2:2203
-3163:2:2204
-3164:2:2208
-3165:2:2209
-3166:2:2203
-3167:2:2204
-3168:2:2208
-3169:2:2209
-3170:2:2217
-3171:2:2222
-3172:2:2223
-3173:2:2234
-3174:2:2235
-3175:2:2236
-3176:2:2247
-3177:2:2252
-3178:2:2253
-3179:2:2264
-3180:2:2265
-3181:2:2266
-3182:2:2264
-3183:2:2265
-3184:2:2266
-3185:2:2277
-3186:0:2739
-3187:2:1175
-3188:0:2739
-3189:2:2023
-3190:2:2024
-3191:2:2028
-3192:2:2029
-3193:2:2037
-3194:2:2038
-3195:2:2042
-3196:2:2043
-3197:2:2051
-3198:2:2056
-3199:2:2060
-3200:2:2061
-3201:2:2069
-3202:2:2070
-3203:2:2074
-3204:2:2075
-3205:2:2069
-3206:2:2070
-3207:2:2074
-3208:2:2075
-3209:2:2083
-3210:2:2088
-3211:2:2089
-3212:2:2100
-3213:2:2101
-3214:2:2102
-3215:2:2113
-3216:2:2118
-3217:2:2119
-3218:2:2130
-3219:2:2131
-3220:2:2132
-3221:2:2130
-3222:2:2131
-3223:2:2132
-3224:2:2143
-3225:2:2151
-3226:0:2739
-3227:1:37
-3228:0:2739
-3229:2:1175
-3230:0:2739
-3231:2:2157
-3232:2:2158
-3233:2:2162
-3234:2:2163
-3235:2:2171
-3236:2:2172
-3237:2:2176
-3238:2:2177
-3239:2:2185
-3240:2:2190
-3241:2:2194
-3242:2:2195
-3243:2:2203
-3244:2:2204
-3245:2:2208
-3246:2:2209
-3247:2:2203
-3248:2:2204
-3249:2:2208
-3250:2:2209
-3251:2:2217
-3252:2:2222
-3253:2:2223
-3254:2:2234
-3255:2:2235
-3256:2:2236
-3257:2:2247
-3258:2:2252
-3259:2:2253
-3260:2:2264
-3261:2:2265
-3262:2:2266
-3263:2:2264
-3264:2:2265
-3265:2:2266
-3266:2:2277
-3267:0:2739
-3268:2:1175
-3269:0:2739
-3270:1:38
-3271:0:2739
-3272:2:2023
-3273:2:2024
-3274:2:2028
-3275:2:2029
-3276:2:2037
-3277:2:2038
-3278:2:2042
-3279:2:2043
-3280:2:2051
-3281:2:2056
-3282:2:2060
-3283:2:2061
-3284:2:2069
-3285:2:2070
-3286:2:2074
-3287:2:2075
-3288:2:2069
-3289:2:2070
-3290:2:2074
-3291:2:2075
-3292:2:2083
-3293:2:2088
-3294:2:2089
-3295:2:2100
-3296:2:2101
-3297:2:2102
-3298:2:2113
-3299:2:2118
-3300:2:2119
-3301:2:2130
-3302:2:2131
-3303:2:2132
-3304:2:2130
-3305:2:2131
-3306:2:2132
-3307:2:2143
-3308:2:2151
-3309:0:2739
-3310:2:1175
-3311:0:2739
-3312:2:2157
-3313:2:2158
-3314:2:2162
-3315:2:2163
-3316:2:2171
-3317:2:2172
-3318:2:2176
-3319:2:2177
-3320:2:2185
-3321:2:2190
-3322:2:2194
-3323:2:2195
-3324:2:2203
-3325:2:2204
-3326:2:2208
-3327:2:2209
-3328:2:2203
-3329:2:2204
-3330:2:2208
-3331:2:2209
-3332:2:2217
-3333:2:2222
-3334:2:2223
-3335:2:2234
-3336:2:2235
-3337:2:2236
-3338:2:2247
-3339:2:2252
-3340:2:2253
-3341:2:2264
-3342:2:2265
-3343:2:2266
-3344:2:2264
-3345:2:2265
-3346:2:2266
-3347:2:2277
-3348:0:2739
-3349:1:39
-3350:0:2739
-3351:2:1175
-3352:0:2739
-3353:1:40
-3354:0:2739
-3355:1:41
-3356:0:2739
-3357:2:2023
-3358:2:2024
-3359:2:2028
-3360:2:2029
-3361:2:2037
-3362:2:2038
-3363:2:2042
-3364:2:2043
-3365:2:2051
-3366:2:2056
-3367:2:2060
-3368:2:2061
-3369:2:2069
-3370:2:2070
-3371:2:2074
-3372:2:2075
-3373:2:2069
-3374:2:2070
-3375:2:2074
-3376:2:2075
-3377:2:2083
-3378:2:2088
-3379:2:2089
-3380:2:2100
-3381:2:2101
-3382:2:2102
-3383:2:2113
-3384:2:2118
-3385:2:2119
-3386:2:2130
-3387:2:2131
-3388:2:2132
-3389:2:2130
-3390:2:2131
-3391:2:2132
-3392:2:2143
-3393:2:2151
-3394:0:2739
-3395:2:1175
-3396:0:2739
-3397:2:2157
-3398:2:2158
-3399:2:2162
-3400:2:2163
-3401:2:2171
-3402:2:2172
-3403:2:2176
-3404:2:2177
-3405:2:2185
-3406:2:2190
-3407:2:2194
-3408:2:2195
-3409:2:2203
-3410:2:2204
-3411:2:2208
-3412:2:2209
-3413:2:2203
-3414:2:2204
-3415:2:2208
-3416:2:2209
-3417:2:2217
-3418:2:2222
-3419:2:2223
-3420:2:2234
-3421:2:2235
-3422:2:2236
-3423:2:2247
-3424:2:2252
-3425:2:2253
-3426:2:2264
-3427:2:2265
-3428:2:2266
-3429:2:2264
-3430:2:2265
-3431:2:2266
-3432:2:2277
-3433:0:2739
-3434:1:42
-3435:0:2739
-3436:2:1175
-3437:0:2739
-3438:2:2023
-3439:2:2024
-3440:2:2028
-3441:2:2029
-3442:2:2037
-3443:2:2038
-3444:2:2042
-3445:2:2043
-3446:2:2051
-3447:2:2056
-3448:2:2060
-3449:2:2061
-3450:2:2069
-3451:2:2070
-3452:2:2074
-3453:2:2075
-3454:2:2069
-3455:2:2070
-3456:2:2074
-3457:2:2075
-3458:2:2083
-3459:2:2088
-3460:2:2089
-3461:2:2100
-3462:2:2101
-3463:2:2102
-3464:2:2113
-3465:2:2118
-3466:2:2119
-3467:2:2130
-3468:2:2131
-3469:2:2132
-3470:2:2130
-3471:2:2131
-3472:2:2132
-3473:2:2143
-3474:2:2151
-3475:0:2739
-3476:2:1175
-3477:0:2739
-3478:1:143
-3479:0:2739
-3480:2:2157
-3481:2:2158
-3482:2:2162
-3483:2:2163
-3484:2:2171
-3485:2:2172
-3486:2:2176
-3487:2:2177
-3488:2:2185
-3489:2:2190
-3490:2:2194
-3491:2:2195
-3492:2:2203
-3493:2:2204
-3494:2:2208
-3495:2:2209
-3496:2:2203
-3497:2:2204
-3498:2:2208
-3499:2:2209
-3500:2:2217
-3501:2:2222
-3502:2:2223
-3503:2:2234
-3504:2:2235
-3505:2:2236
-3506:2:2247
-3507:2:2252
-3508:2:2253
-3509:2:2264
-3510:2:2265
-3511:2:2266
-3512:2:2264
-3513:2:2265
-3514:2:2266
-3515:2:2277
-3516:0:2739
-3517:2:1175
-3518:0:2739
-3519:2:2023
-3520:2:2024
-3521:2:2028
-3522:2:2029
-3523:2:2037
-3524:2:2038
-3525:2:2042
-3526:2:2043
-3527:2:2051
-3528:2:2056
-3529:2:2060
-3530:2:2061
-3531:2:2069
-3532:2:2070
-3533:2:2074
-3534:2:2075
-3535:2:2069
-3536:2:2070
-3537:2:2074
-3538:2:2075
-3539:2:2083
-3540:2:2088
-3541:2:2089
-3542:2:2100
-3543:2:2101
-3544:2:2102
-3545:2:2113
-3546:2:2118
-3547:2:2119
-3548:2:2130
-3549:2:2131
-3550:2:2132
-3551:2:2130
-3552:2:2131
-3553:2:2132
-3554:2:2143
-3555:2:2151
-3556:0:2739
-3557:1:145
-3558:0:2737
-3559:2:1175
-3560:0:2743
-3561:2:2157
-3562:2:2158
-3563:2:2162
-3564:2:2163
-3565:2:2171
-3566:2:2172
-3567:2:2176
-3568:2:2177
-3569:2:2185
-3570:2:2190
-3571:2:2194
-3572:2:2195
-3573:2:2203
-3574:2:2204
-3575:2:2208
-3576:2:2209
-3577:2:2203
-3578:2:2204
-3579:2:2208
-3580:2:2209
-3581:2:2217
-3582:2:2222
-3583:2:2223
-3584:2:2234
-3585:2:2235
-3586:2:2236
-3587:2:2247
-3588:2:2252
-3589:2:2253
-3590:2:2264
-3591:2:2265
-3592:2:2266
-3593:2:2264
-3594:2:2265
-3595:2:2266
-3596:2:2277
-3597:0:2743
-3598:2:1175
-3599:0:2743
-3600:2:2023
-3601:2:2024
-3602:2:2028
-3603:2:2029
-3604:2:2037
-3605:2:2038
-3606:2:2042
-3607:2:2043
-3608:2:2051
-3609:2:2056
-3610:2:2060
-3611:2:2061
-3612:2:2069
-3613:2:2070
-3614:2:2074
-3615:2:2075
-3616:2:2069
-3617:2:2070
-3618:2:2074
-3619:2:2075
-3620:2:2083
-3621:2:2088
-3622:2:2089
-3623:2:2100
-3624:2:2101
-3625:2:2102
-3626:2:2113
-3627:2:2118
-3628:2:2119
-3629:2:2130
-3630:2:2131
-3631:2:2132
-3632:2:2130
-3633:2:2131
-3634:2:2132
-3635:2:2143
-3636:2:2151
-3637:0:2743
-3638:1:44
-3639:0:2743
-3640:2:1175
-3641:0:2743
-3642:2:2157
-3643:2:2158
-3644:2:2162
-3645:2:2163
-3646:2:2171
-3647:2:2172
-3648:2:2176
-3649:2:2177
-3650:2:2185
-3651:2:2190
-3652:2:2194
-3653:2:2195
-3654:2:2203
-3655:2:2204
-3656:2:2208
-3657:2:2209
-3658:2:2203
-3659:2:2204
-3660:2:2208
-3661:2:2209
-3662:2:2217
-3663:2:2222
-3664:2:2223
-3665:2:2234
-3666:2:2235
-3667:2:2236
-3668:2:2247
-3669:2:2252
-3670:2:2253
-3671:2:2264
-3672:2:2265
-3673:2:2266
-3674:2:2264
-3675:2:2265
-3676:2:2266
-3677:2:2277
-3678:0:2743
-3679:2:1175
-3680:0:2743
-3681:2:2023
-3682:2:2024
-3683:2:2028
-3684:2:2029
-3685:2:2037
-3686:2:2038
-3687:2:2042
-3688:2:2043
-3689:2:2051
-3690:2:2056
-3691:2:2060
-3692:2:2061
-3693:2:2069
-3694:2:2070
-3695:2:2074
-3696:2:2075
-3697:2:2069
-3698:2:2070
-3699:2:2074
-3700:2:2075
-3701:2:2083
-3702:2:2088
-3703:2:2089
-3704:2:2100
-3705:2:2101
-3706:2:2102
-3707:2:2113
-3708:2:2118
-3709:2:2119
-3710:2:2130
-3711:2:2131
-3712:2:2132
-3713:2:2130
-3714:2:2131
-3715:2:2132
-3716:2:2143
-3717:2:2151
-3718:0:2743
-3719:1:681
-3720:1:682
-3721:1:686
-3722:1:687
-3723:1:695
-3724:1:696
-3725:1:697
-3726:1:709
-3727:1:714
-3728:1:718
-3729:1:719
-3730:1:727
-3731:1:728
-3732:1:732
-3733:1:733
-3734:1:727
-3735:1:728
-3736:1:732
-3737:1:733
-3738:1:741
-3739:1:746
-3740:1:747
-3741:1:758
-3742:1:759
-3743:1:760
-3744:1:771
-3745:1:776
-3746:1:777
-3747:1:788
-3748:1:789
-3749:1:790
-3750:1:788
-3751:1:789
-3752:1:790
-3753:1:801
-3754:0:2743
-3755:2:1175
-3756:0:2743
-3757:1:40
-3758:0:2743
-3759:1:41
-3760:0:2743
-3761:2:2157
-3762:2:2158
-3763:2:2162
-3764:2:2163
-3765:2:2171
-3766:2:2172
-3767:2:2176
-3768:2:2177
-3769:2:2185
-3770:2:2190
-3771:2:2194
-3772:2:2195
-3773:2:2203
-3774:2:2204
-3775:2:2208
-3776:2:2209
-3777:2:2203
-3778:2:2204
-3779:2:2208
-3780:2:2209
-3781:2:2217
-3782:2:2222
-3783:2:2223
-3784:2:2234
-3785:2:2242
-3786:2:2243
-3787:2:2247
-3788:2:2252
-3789:2:2253
-3790:2:2264
-3791:2:2265
-3792:2:2266
-3793:2:2264
-3794:2:2265
-3795:2:2266
-3796:2:2277
-3797:0:2743
-3798:2:1175
--1:-1:-1
-3799:0:2743
-3800:2:2023
-3801:2:2024
-3802:2:2028
-3803:2:2029
-3804:2:2037
-3805:2:2038
-3806:2:2042
-3807:2:2043
-3808:2:2051
-3809:2:2056
-3810:2:2060
-3811:2:2061
-3812:2:2069
-3813:2:2070
-3814:2:2074
-3815:2:2075
-3816:2:2069
-3817:2:2070
-3818:2:2074
-3819:2:2075
-3820:2:2083
-3821:2:2088
-3822:2:2089
-3823:2:2100
-3824:2:2108
-3825:2:2109
-3826:2:2113
-3827:2:2118
-3828:2:2119
-3829:2:2130
-3830:2:2131
-3831:2:2132
-3832:2:2130
-3833:2:2131
-3834:2:2132
-3835:2:2143
-3836:2:2151
-3837:0:2743
-3838:2:1175
-3839:0:2743
-3840:2:2157
-3841:2:2158
-3842:2:2162
-3843:2:2163
-3844:2:2171
-3845:2:2172
-3846:2:2176
-3847:2:2177
-3848:2:2185
-3849:2:2190
-3850:2:2194
-3851:2:2195
-3852:2:2203
-3853:2:2204
-3854:2:2208
-3855:2:2209
-3856:2:2203
-3857:2:2204
-3858:2:2208
-3859:2:2209
-3860:2:2217
-3861:2:2222
-3862:2:2223
-3863:2:2234
-3864:2:2242
-3865:2:2243
-3866:2:2247
-3867:2:2252
-3868:2:2253
-3869:2:2264
-3870:2:2265
-3871:2:2266
-3872:2:2264
-3873:2:2265
-3874:2:2266
-3875:2:2277
-3876:0:2743
-3877:2:1175
-3878:0:2743
-3879:2:2023
-3880:2:2024
-3881:2:2028
-3882:2:2029
-3883:2:2037
-3884:2:2038
-3885:2:2042
-3886:2:2043
-3887:2:2051
-3888:2:2056
-3889:2:2060
-3890:2:2061
-3891:2:2069
-3892:2:2070
-3893:2:2074
-3894:2:2075
-3895:2:2069
-3896:2:2070
-3897:2:2074
-3898:2:2075
-3899:2:2083
-3900:2:2088
-3901:2:2089
-3902:2:2100
-3903:2:2108
-3904:2:2109
-3905:2:2113
-3906:2:2118
-3907:2:2119
-3908:2:2130
-3909:2:2131
-3910:2:2132
-3911:2:2130
-3912:2:2131
-3913:2:2132
-3914:2:2143
-3915:2:2151
-3916:0:2743
-3917:2:1175
-3918:0:2743
-3919:2:2157
-3920:2:2158
-3921:2:2162
-3922:2:2163
-3923:2:2171
-3924:2:2172
-3925:2:2176
-3926:2:2177
-3927:2:2185
-3928:2:2190
-3929:2:2194
-3930:2:2195
-3931:2:2203
-3932:2:2204
-3933:2:2208
-3934:2:2209
-3935:2:2203
-3936:2:2204
-3937:2:2208
-3938:2:2209
-3939:2:2217
-3940:2:2222
-3941:2:2223
-3942:2:2234
-3943:2:2242
-3944:2:2243
-3945:2:2247
-3946:2:2252
-3947:2:2253
-3948:2:2264
-3949:2:2265
-3950:2:2266
-3951:2:2264
-3952:2:2265
-3953:2:2266
-3954:2:2277
-3955:0:2743
-3956:2:1175