userspace-rcu formal model removal

[urcu.git] / formal-model / urcu / result-standard-execution-nest / urcu_progress_writer_error.spin.input.trail

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