userspace-rcu formal model removal

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

diff --git a/formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail b/formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail
deleted file mode 100644 (file)
index e1188eb..0000000
--- a/formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail
+++ /dev/null
@@ -1,3010 +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:296
-347:0:2112
-348:1:301
-349:0:2112
-350:1:302
-351:0:2112
-352:1:303
-353:0:2112
-354:1:304
-355:0:2112
-356:1:305
-357:0:2112
-358:1:306
-359:0:2112
-360:1:308
-361:0:2112
-362:1:310
-363:0:2112
-364:1:311
-365:1:315
-366:1:316
-367:1:324
-368:1:325
-369:1:326
-370:1:338
-371:1:343
-372:1:347
-373:1:348
-374:1:355
-375:1:356
-376:1:367
-377:1:368
-378:1:369
-379:1:380
-380:1:385
-381:1:386
-382:0:2112
-383:1:398
-384:0:2112
-385:2:1469
-386:2:1470
-387:2:1482
-388:2:1483
-389:2:1487
-390:2:1488
-391:2:1496
-392:2:1501
-393:2:1505
-394:2:1506
-395:2:1513
-396:2:1514
-397:2:1525
-398:2:1526
-399:2:1527
-400:2:1538
-401:2:1543
-402:2:1544
-403:0:2112
-404:2:1556
-405:0:2112
-406:2:1558
-407:0:2112
-408:2:1559
-409:0:2112
-410:2:1560
-411:0:2112
-412:2:1561
-413:0:2112
-414:2:1562
-415:2:1566
-416:2:1567
-417:2:1575
-418:2:1576
-419:2:1580
-420:2:1581
-421:2:1589
-422:2:1594
-423:2:1598
-424:2:1599
-425:2:1606
-426:2:1607
-427:2:1618
-428:2:1619
-429:2:1620
-430:2:1631
-431:2:1636
-432:2:1637
-433:0:2112
-434:2:1649
-435:0:2112
-436:2:1651
-437:0:2112
-438:2:1652
-439:2:1656
-440:2:1657
-441:2:1665
-442:2:1666
-443:2:1670
-444:2:1671
-445:2:1679
-446:2:1684
-447:2:1688
-448:2:1689
-449:2:1696
-450:2:1697
-451:2:1708
-452:2:1709
-453:2:1710
-454:2:1721
-455:2:1726
-456:2:1727
-457:0:2112
-458:2:1739
-459:0:2112
-460:1:400
-461:0:2112
-462:2:1560
-463:0:2112
-464:1:404
-465:0:2112
-466:1:9
-467:0:2112
-468:1:10
-469:0:2112
-470:1:11
-471:0:2112
-472:2:1561
-473:0:2112
-474:2:1562
-475:2:1566
-476:2:1567
-477:2:1575
-478:2:1576
-479:2:1580
-480:2:1581
-481:2:1589
-482:2:1594
-483:2:1598
-484:2:1599
-485:2:1606
-486:2:1607
-487:2:1618
-488:2:1619
-489:2:1620
-490:2:1631
-491:2:1636
-492:2:1637
-493:0:2112
-494:2:1649
-495:0:2112
-496:2:1651
-497:0:2112
-498:2:1652
-499:2:1656
-500:2:1657
-501:2:1665
-502:2:1666
-503:2:1670
-504:2:1671
-505:2:1679
-506:2:1684
-507:2:1688
-508:2:1689
-509:2:1696
-510:2:1697
-511:2:1708
-512:2:1709
-513:2:1710
-514:2:1721
-515:2:1726
-516:2:1727
-517:0:2112
-518:2:1739
-519:0:2112
-520:2:1560
-521:0:2112
-522:1:12
-523:1:16
-524:1:17
-525:1:25
-526:1:26
-527:1:27
-528:1:39
-529:1:44
-530:1:48
-531:1:49
-532:1:56
-533:1:57
-534:1:68
-535:1:69
-536:1:70
-537:1:81
-538:1:86
-539:1:87
-540:0:2112
-541:1:99
-542:0:2112
-543:2:1561
-544:0:2112
-545:2:1562
-546:2:1566
-547:2:1567
-548:2:1575
-549:2:1576
-550:2:1580
-551:2:1581
-552:2:1589
-553:2:1594
-554:2:1598
-555:2:1599
-556:2:1606
-557:2:1607
-558:2:1618
-559:2:1626
-560:2:1627
-561:2:1631
-562:2:1636
-563:2:1637
-564:0:2112
-565:2:1649
-566:0:2112
-567:2:1651
-568:0:2112
-569:2:1652
-570:2:1656
-571:2:1657
-572:2:1665
-573:2:1666
-574:2:1670
-575:2:1671
-576:2:1679
-577:2:1684
-578:2:1688
-579:2:1689
-580:2:1696
-581:2:1697
-582:2:1708
-583:2:1716
-584:2:1717
-585:2:1721
-586:2:1726
-587:2:1727
-588:0:2112
-589:2:1739
-590:0:2112
-591:2:1560
-592:0:2112
-593:1:101
-594:0:2112
-595:2:1561
-596:0:2112
-597:2:1562
-598:2:1566
-599:2:1567
-600:2:1575
-601:2:1576
-602:2:1580
-603:2:1581
-604:2:1589
-605:2:1594
-606:2:1598
-607:2:1599
-608:2:1606
-609:2:1607
-610:2:1618
-611:2:1626
-612:2:1627
-613:2:1631
-614:2:1636
-615:2:1637
-616:0:2112
-617:2:1649
-618:0:2112
-619:2:1651
-620:0:2112
-621:2:1652
-622:2:1656
-623:2:1657
-624:2:1665
-625:2:1666
-626:2:1670
-627:2:1671
-628:2:1679
-629:2:1684
-630:2:1688
-631:2:1689
-632:2:1696
-633:2:1697
-634:2:1708
-635:2:1716
-636:2:1717
-637:2:1721
-638:2:1726
-639:2:1727
-640:0:2112
-641:2:1739
-642:0:2112
-643:2:1560
-644:0:2112
-645:1:102
-646:1:106
-647:1:107
-648:1:115
-649:1:116
-650:1:120
-651:1:121
-652:1:129
-653:1:134
-654:1:138
-655:1:139
-656:1:146
-657:1:147
-658:1:158
-659:1:159
-660:1:160
-661:1:171
-662:1:176
-663:1:177
-664:0:2112
-665:1:189
-666:0:2112
-667:1:191
-668:0:2112
-669:2:1561
-670:0:2112
-671:2:1562
-672:2:1566
-673:2:1567
-674:2:1575
-675:2:1576
-676:2:1580
-677:2:1581
-678:2:1589
-679:2:1594
-680:2:1598
-681:2:1599
-682:2:1606
-683:2:1607
-684:2:1618
-685:2:1626
-686:2:1627
-687:2:1631
-688:2:1636
-689:2:1637
-690:0:2112
-691:2:1649
-692:0:2112
-693:2:1651
-694:0:2112
-695:2:1652
-696:2:1656
-697:2:1657
-698:2:1665
-699:2:1666
-700:2:1670
-701:2:1671
-702:2:1679
-703:2:1684
-704:2:1688
-705:2:1689
-706:2:1696
-707:2:1697
-708:2:1708
-709:2:1716
-710:2:1717
-711:2:1721
-712:2:1726
-713:2:1727
-714:0:2112
-715:2:1739
-716:0:2112
-717:2:1560
-718:0:2112
-719:1:192
-720:0:2112
-721:2:1561
-722:0:2112
-723:2:1562
-724:2:1566
-725:2:1567
-726:2:1575
-727:2:1576
-728:2:1580
-729:2:1581
-730:2:1589
-731:2:1594
-732:2:1598
-733:2:1599
-734:2:1606
-735:2:1607
-736:2:1618
-737:2:1626
-738:2:1627
-739:2:1631
-740:2:1636
-741:2:1637
-742:0:2112
-743:2:1649
-744:0:2112
-745:2:1651
-746:0:2112
-747:2:1652
-748:2:1656
-749:2:1657
-750:2:1665
-751:2:1666
-752:2:1670
-753:2:1671
-754:2:1679
-755:2:1684
-756:2:1688
-757:2:1689
-758:2:1696
-759:2:1697
-760:2:1708
-761:2:1716
-762:2:1717
-763:2:1721
-764:2:1726
-765:2:1727
-766:0:2112
-767:2:1739
-768:0:2112
-769:2:1560
-770:0:2112
-771:1:193
-772:1:197
-773:1:198
-774:1:206
-775:1:207
-776:1:211
-777:1:212
-778:1:220
-779:1:225
-780:1:229
-781:1:230
-782:1:237
-783:1:238
-784:1:249
-785:1:250
-786:1:251
-787:1:262
-788:1:267
-789:1:268
-790:0:2112
-791:1:280
-792:0:2112
-793:2:1561
-794:0:2112
-795:2:1562
-796:2:1566
-797:2:1567
-798:2:1575
-799:2:1576
-800:2:1580
-801:2:1581
-802:2:1589
-803:2:1594
-804:2:1598
-805:2:1599
-806:2:1606
-807:2:1607
-808:2:1618
-809:2:1626
-810:2:1627
-811:2:1631
-812:2:1636
-813:2:1637
-814:0:2112
-815:2:1649
-816:0:2112
-817:2:1651
-818:0:2112
-819:2:1652
-820:2:1656
-821:2:1657
-822:2:1665
-823:2:1666
-824:2:1670
-825:2:1671
-826:2:1679
-827:2:1684
-828:2:1688
-829:2:1689
-830:2:1696
-831:2:1697
-832:2:1708
-833:2:1716
-834:2:1717
-835:2:1721
-836:2:1726
-837:2:1727
-838:0:2112
-839:2:1739
-840:0:2112
-841:2:1560
-842:0:2112
-843:1:282
-844:0:2112
-845:1:291
-846:0:2112
-847:1:293
-848:0:2112
-849:1:296
-850:0:2112
-851:2:1561
-852:0:2112
-853:2:1562
-854:2:1566
-855:2:1567
-856:2:1575
-857:2:1576
-858:2:1580
-859:2:1581
-860:2:1589
-861:2:1594
-862:2:1598
-863:2:1599
-864:2:1606
-865:2:1607
-866:2:1618
-867:2:1626
-868:2:1627
-869:2:1631
-870:2:1636
-871:2:1637
-872:0:2112
-873:2:1649
-874:0:2112
-875:2:1651
-876:0:2112
-877:2:1652
-878:2:1656
-879:2:1657
-880:2:1665
-881:2:1666
-882:2:1670
-883:2:1671
-884:2:1679
-885:2:1684
-886:2:1688
-887:2:1689
-888:2:1696
-889:2:1697
-890:2:1708
-891:2:1716
-892:2:1717
-893:2:1721
-894:2:1726
-895:2:1727
-896:0:2112
-897:2:1739
-898:0:2112
-899:2:1560
-900:0:2112
-901:1:301
-902:0:2112
-903:2:1561
-904:0:2112
-905:2:1562
-906:2:1566
-907:2:1567
-908:2:1575
-909:2:1576
-910:2:1580
-911:2:1581
-912:2:1589
-913:2:1594
-914:2:1598
-915:2:1599
-916:2:1606
-917:2:1607
-918:2:1618
-919:2:1626
-920:2:1627
-921:2:1631
-922:2:1636
-923:2:1637
-924:0:2112
-925:2:1649
-926:0:2112
-927:2:1651
-928:0:2112
-929:2:1652
-930:2:1656
-931:2:1657
-932:2:1665
-933:2:1666
-934:2:1670
-935:2:1671
-936:2:1679
-937:2:1684
-938:2:1688
-939:2:1689
-940:2:1696
-941:2:1697
-942:2:1708
-943:2:1716
-944:2:1717
-945:2:1721
-946:2:1726
-947:2:1727
-948:0:2112
-949:2:1739
-950:0:2112
-951:2:1560
-952:0:2112
-953:1:302
-954:0:2112
-955:2:1561
-956:0:2112
-957:2:1562
-958:2:1566
-959:2:1567
-960:2:1575
-961:2:1576
-962:2:1580
-963:2:1581
-964:2:1589
-965:2:1594
-966:2:1598
-967:2:1599
-968:2:1606
-969:2:1607
-970:2:1618
-971:2:1626
-972:2:1627
-973:2:1631
-974:2:1636
-975:2:1637
-976:0:2112
-977:2:1649
-978:0:2112
-979:2:1651
-980:0:2112
-981:2:1652
-982:2:1656
-983:2:1657
-984:2:1665
-985:2:1666
-986:2:1670
-987:2:1671
-988:2:1679
-989:2:1684
-990:2:1688
-991:2:1689
-992:2:1696
-993:2:1697
-994:2:1708
-995:2:1716
-996:2:1717
-997:2:1721
-998:2:1726
-999:2:1727
-1000:0:2112
-1001:2:1739
-1002:0:2112
-1003:2:1560
-1004:0:2112
-1005:1:303
-1006:0:2112
-1007:1:304
-1008:0:2112
-1009:1:305
-1010:0:2112
-1011:1:306
-1012:0:2112
-1013:1:308
-1014:0:2112
-1015:2:1561
-1016:0:2112
-1017:2:1562
-1018:2:1566
-1019:2:1567
-1020:2:1575
-1021:2:1576
-1022:2:1580
-1023:2:1581
-1024:2:1589
-1025:2:1594
-1026:2:1598
-1027:2:1599
-1028:2:1606
-1029:2:1607
-1030:2:1618
-1031:2:1626
-1032:2:1627
-1033:2:1631
-1034:2:1636
-1035:2:1637
-1036:0:2112
-1037:2:1649
-1038:0:2112
-1039:2:1651
-1040:0:2112
-1041:2:1652
-1042:2:1656
-1043:2:1657
-1044:2:1665
-1045:2:1666
-1046:2:1670
-1047:2:1671
-1048:2:1679
-1049:2:1684
-1050:2:1688
-1051:2:1689
-1052:2:1696
-1053:2:1697
-1054:2:1708
-1055:2:1716
-1056:2:1717
-1057:2:1721
-1058:2:1726
-1059:2:1727
-1060:0:2112
-1061:2:1739
-1062:0:2112
-1063:2:1560
-1064:0:2112
-1065:1:310
-1066:0:2112
-1067:2:1561
-1068:0:2112
-1069:2:1562
-1070:2:1566
-1071:2:1567
-1072:2:1575
-1073:2:1576
-1074:2:1580
-1075:2:1581
-1076:2:1589
-1077:2:1594
-1078:2:1598
-1079:2:1599
-1080:2:1606
-1081:2:1607
-1082:2:1618
-1083:2:1626
-1084:2:1627
-1085:2:1631
-1086:2:1636
-1087:2:1637
-1088:0:2112
-1089:2:1649
-1090:0:2112
-1091:2:1651
-1092:0:2112
-1093:2:1652
-1094:2:1656
-1095:2:1657
-1096:2:1665
-1097:2:1666
-1098:2:1670
-1099:2:1671
-1100:2:1679
-1101:2:1684
-1102:2:1688
-1103:2:1689
-1104:2:1696
-1105:2:1697
-1106:2:1708
-1107:2:1716
-1108:2:1717
-1109:2:1721
-1110:2:1726
-1111:2:1727
-1112:0:2112
-1113:2:1739
-1114:0:2112
-1115:2:1560
-1116:0:2112
-1117:1:311
-1118:1:315
-1119:1:316
-1120:1:324
-1121:1:325
-1122:1:326
-1123:1:338
-1124:1:343
-1125:1:347
-1126:1:348
-1127:1:355
-1128:1:356
-1129:1:367
-1130:1:368
-1131:1:369
-1132:1:380
-1133:1:385
-1134:1:386
-1135:0:2112
-1136:1:398
-1137:0:2112
-1138:2:1561
-1139:0:2112
-1140:2:1562
-1141:2:1566
-1142:2:1567
-1143:2:1575
-1144:2:1576
-1145:2:1580
-1146:2:1581
-1147:2:1589
-1148:2:1594
-1149:2:1598
-1150:2:1599
-1151:2:1606
-1152:2:1607
-1153:2:1618
-1154:2:1626
-1155:2:1627
-1156:2:1631
-1157:2:1636
-1158:2:1637
-1159:0:2112
-1160:2:1649
-1161:0:2112
-1162:2:1651
-1163:0:2112
-1164:2:1652
-1165:2:1656
-1166:2:1657
-1167:2:1665
-1168:2:1666
-1169:2:1670
-1170:2:1671
-1171:2:1679
-1172:2:1684
-1173:2:1688
-1174:2:1689
-1175:2:1696
-1176:2:1697
-1177:2:1708
-1178:2:1716
-1179:2:1717
-1180:2:1721
-1181:2:1726
-1182:2:1727
-1183:0:2112
-1184:2:1739
-1185:0:2112
-1186:2:1560
-1187:0:2112
-1188:1:400
-1189:0:2112
-1190:1:404
-1191:0:2112
-1192:1:9
-1193:0:2112
-1194:1:10
-1195:0:2112
-1196:1:11
-1197:0:2112
-1198:2:1561
-1199:0:2112
-1200:2:1562
-1201:2:1566
-1202:2:1567
-1203:2:1575
-1204:2:1576
-1205:2:1580
-1206:2:1581
-1207:2:1589
-1208:2:1594
-1209:2:1598
-1210:2:1599
-1211:2:1606
-1212:2:1607
-1213:2:1618
-1214:2:1626
-1215:2:1627
-1216:2:1631
-1217:2:1636
-1218:2:1637
-1219:0:2112
-1220:2:1649
-1221:0:2112
-1222:2:1651
-1223:0:2112
-1224:2:1652
-1225:2:1656
-1226:2:1657
-1227:2:1665
-1228:2:1666
-1229:2:1670
-1230:2:1671
-1231:2:1679
-1232:2:1684
-1233:2:1688
-1234:2:1689
-1235:2:1696
-1236:2:1697
-1237:2:1708
-1238:2:1716
-1239:2:1717
-1240:2:1721
-1241:2:1726
-1242:2:1727
-1243:0:2112
-1244:2:1739
-1245:0:2112
-1246:2:1560
-1247:0:2112
-1248:1:12
-1249:1:16
-1250:1:17
-1251:1:25
-1252:1:26
-1253:1:27
-1254:1:39
-1255:1:44
-1256:1:48
-1257:1:49
-1258:1:56
-1259:1:57
-1260:1:68
-1261:1:69
-1262:1:70
-1263:1:81
-1264:1:86
-1265:1:87
-1266:0:2112
-1267:1:99
-1268:0:2112
-1269:2:1561
-1270:0:2112
-1271:2:1562
-1272:2:1566
-1273:2:1567
-1274:2:1575
-1275:2:1576
-1276:2:1580
-1277:2:1581
-1278:2:1589
-1279:2:1594
-1280:2:1598
-1281:2:1599
-1282:2:1606
-1283:2:1607
-1284:2:1618
-1285:2:1626
-1286:2:1627
-1287:2:1631
-1288:2:1636
-1289:2:1637
-1290:0:2112
-1291:2:1649
-1292:0:2112
-1293:2:1651
-1294:0:2112
-1295:2:1652
-1296:2:1656
-1297:2:1657
-1298:2:1665
-1299:2:1666
-1300:2:1670
-1301:2:1671
-1302:2:1679
-1303:2:1684
-1304:2:1688
-1305:2:1689
-1306:2:1696
-1307:2:1697
-1308:2:1708
-1309:2:1716
-1310:2:1717
-1311:2:1721
-1312:2:1726
-1313:2:1727
-1314:0:2112
-1315:2:1739
-1316:0:2112
-1317:2:1560
-1318:0:2112
-1319:1:101
-1320:0:2112
-1321:2:1561
-1322:0:2112
-1323:2:1562
-1324:2:1566
-1325:2:1567
-1326:2:1575
-1327:2:1576
-1328:2:1580
-1329:2:1581
-1330:2:1589
-1331:2:1594
-1332:2:1598
-1333:2:1599
-1334:2:1606
-1335:2:1607
-1336:2:1618
-1337:2:1626
-1338:2:1627
-1339:2:1631
-1340:2:1636
-1341:2:1637
-1342:0:2112
-1343:2:1649
-1344:0:2112
-1345:2:1651
-1346:0:2112
-1347:2:1652
-1348:2:1656
-1349:2:1657
-1350:2:1665
-1351:2:1666
-1352:2:1670
-1353:2:1671
-1354:2:1679
-1355:2:1684
-1356:2:1688
-1357:2:1689
-1358:2:1696
-1359:2:1697
-1360:2:1708
-1361:2:1716
-1362:2:1717
-1363:2:1721
-1364:2:1726
-1365:2:1727
-1366:0:2112
-1367:2:1739
-1368:0:2112
-1369:2:1560
-1370:0:2112
-1371:1:102
-1372:1:106
-1373:1:107
-1374:1:115
-1375:1:116
-1376:1:120
-1377:1:121
-1378:1:129
-1379:1:134
-1380:1:138
-1381:1:139
-1382:1:146
-1383:1:147
-1384:1:158
-1385:1:159
-1386:1:160
-1387:1:171
-1388:1:176
-1389:1:177
-1390:0:2112
-1391:1:189
-1392:0:2112
-1393:1:191
-1394:0:2112
-1395:2:1561
-1396:0:2112
-1397:2:1562
-1398:2:1566
-1399:2:1567
-1400:2:1575
-1401:2:1576
-1402:2:1580
-1403:2:1581
-1404:2:1589
-1405:2:1594
-1406:2:1598
-1407:2:1599
-1408:2:1606
-1409:2:1607
-1410:2:1618
-1411:2:1626
-1412:2:1627
-1413:2:1631
-1414:2:1636
-1415:2:1637
-1416:0:2112
-1417:2:1649
-1418:0:2112
-1419:2:1651
-1420:0:2112
-1421:2:1652
-1422:2:1656
-1423:2:1657
-1424:2:1665
-1425:2:1666
-1426:2:1670
-1427:2:1671
-1428:2:1679
-1429:2:1684
-1430:2:1688
-1431:2:1689
-1432:2:1696
-1433:2:1697
-1434:2:1708
-1435:2:1716
-1436:2:1717
-1437:2:1721
-1438:2:1726
-1439:2:1727
-1440:0:2112
-1441:2:1739
-1442:0:2112
-1443:2:1560
-1444:0:2112
-1445:1:192
-1446:0:2112
-1447:2:1561
-1448:0:2112
-1449:2:1562
-1450:2:1566
-1451:2:1567
-1452:2:1575
-1453:2:1576
-1454:2:1580
-1455:2:1581
-1456:2:1589
-1457:2:1594
-1458:2:1598
-1459:2:1599
-1460:2:1606
-1461:2:1607
-1462:2:1618
-1463:2:1626
-1464:2:1627
-1465:2:1631
-1466:2:1636
-1467:2:1637
-1468:0:2112
-1469:2:1649
-1470:0:2112
-1471:2:1651
-1472:0:2112
-1473:2:1652
-1474:2:1656
-1475:2:1657
-1476:2:1665
-1477:2:1666
-1478:2:1670
-1479:2:1671
-1480:2:1679
-1481:2:1684
-1482:2:1688
-1483:2:1689
-1484:2:1696
-1485:2:1697
-1486:2:1708
-1487:2:1716
-1488:2:1717
-1489:2:1721
-1490:2:1726
-1491:2:1727
-1492:0:2112
-1493:2:1739
-1494:0:2112
-1495:2:1560
-1496:0:2112
-1497:1:193
-1498:1:197
-1499:1:198
-1500:1:206
-1501:1:207
-1502:1:211
-1503:1:212
-1504:1:220
-1505:1:225
-1506:1:229
-1507:1:230
-1508:1:237
-1509:1:238
-1510:1:249
-1511:1:250
-1512:1:251
-1513:1:262
-1514:1:267
-1515:1:268
-1516:0:2112
-1517:1:280
-1518:0:2112
-1519:2:1561
-1520:0:2112
-1521:2:1562
-1522:2:1566
-1523:2:1567
-1524:2:1575
-1525:2:1576
-1526:2:1580
-1527:2:1581
-1528:2:1589
-1529:2:1594
-1530:2:1598
-1531:2:1599
-1532:2:1606
-1533:2:1607
-1534:2:1618
-1535:2:1626
-1536:2:1627
-1537:2:1631
-1538:2:1636
-1539:2:1637
-1540:0:2112
-1541:2:1649
-1542:0:2112
-1543:2:1651
-1544:0:2112
-1545:2:1652
-1546:2:1656
-1547:2:1657
-1548:2:1665
-1549:2:1666
-1550:2:1670
-1551:2:1671
-1552:2:1679
-1553:2:1684
-1554:2:1688
-1555:2:1689
-1556:2:1696
-1557:2:1697
-1558:2:1708
-1559:2:1716
-1560:2:1717
-1561:2:1721
-1562:2:1726
-1563:2:1727
-1564:0:2112
-1565:2:1739
-1566:0:2112
-1567:2:1560
-1568:0:2112
-1569:1:282
-1570:0:2112
-1571:1:291
-1572:0:2112
-1573:1:293
-1574:0:2112
-1575:1:296
-1576:0:2112
-1577:2:1561
-1578:0:2112
-1579:2:1562
-1580:2:1566
-1581:2:1567
-1582:2:1575
-1583:2:1576
-1584:2:1580
-1585:2:1581
-1586:2:1589
-1587:2:1594
-1588:2:1598
-1589:2:1599
-1590:2:1606
-1591:2:1607
-1592:2:1618
-1593:2:1626
-1594:2:1627
-1595:2:1631
-1596:2:1636
-1597:2:1637
-1598:0:2112
-1599:2:1649
-1600:0:2112
-1601:2:1651
-1602:0:2112
-1603:2:1652
-1604:2:1656
-1605:2:1657
-1606:2:1665
-1607:2:1666
-1608:2:1670
-1609:2:1671
-1610:2:1679
-1611:2:1684
-1612:2:1688
-1613:2:1689
-1614:2:1696
-1615:2:1697
-1616:2:1708
-1617:2:1716
-1618:2:1717
-1619:2:1721
-1620:2:1726
-1621:2:1727
-1622:0:2112
-1623:2:1739
-1624:0:2112
-1625:2:1560
-1626:0:2112
-1627:1:301
-1628:0:2112
-1629:2:1561
-1630:0:2112
-1631:2:1562
-1632:2:1566
-1633:2:1567
-1634:2:1575
-1635:2:1576
-1636:2:1580
-1637:2:1581
-1638:2:1589
-1639:2:1594
-1640:2:1598
-1641:2:1599
-1642:2:1606
-1643:2:1607
-1644:2:1618
-1645:2:1626
-1646:2:1627
-1647:2:1631
-1648:2:1636
-1649:2:1637
-1650:0:2112
-1651:2:1649
--1:-1:-1
-1652:0:2112
-1653:2:1651
-1654:0:2112
-1655:2:1652
-1656:2:1656
-1657:2:1657
-1658:2:1665
-1659:2:1666
-1660:2:1670
-1661:2:1671
-1662:2:1679
-1663:2:1684
-1664:2:1688
-1665:2:1689
-1666:2:1696
-1667:2:1697
-1668:2:1708
-1669:2:1716
-1670:2:1717
-1671:2:1721
-1672:2:1726
-1673:2:1727
-1674:0:2112
-1675:2:1739
-1676:0:2112
-1677:2:1560
-1678:0:2112
-1679:1:302
-1680:0:2112
-1681:2:1561
-1682:0:2112
-1683:2:1562
-1684:2:1566
-1685:2:1567
-1686:2:1575
-1687:2:1576
-1688:2:1580
-1689:2:1581
-1690:2:1589
-1691:2:1594
-1692:2:1598
-1693:2:1599
-1694:2:1606
-1695:2:1607
-1696:2:1618
-1697:2:1626
-1698:2:1627
-1699:2:1631
-1700:2:1636
-1701:2:1637
-1702:0:2112
-1703:2:1649
-1704:0:2112
-1705:2:1651
-1706:0:2112
-1707:2:1652
-1708:2:1656
-1709:2:1657
-1710:2:1665
-1711:2:1666
-1712:2:1670
-1713:2:1671
-1714:2:1679
-1715:2:1684
-1716:2:1688
-1717:2:1689
-1718:2:1696
-1719:2:1697
-1720:2:1708
-1721:2:1716
-1722:2:1717
-1723:2:1721
-1724:2:1726
-1725:2:1727
-1726:0:2112
-1727:2:1739
-1728:0:2112
-1729:2:1560
-1730:0:2112
-1731:1:303
-1732:0:2112
-1733:1:304
-1734:0:2112
-1735:1:305
-1736:0:2112
-1737:1:306
-1738:0:2112
-1739:1:308
-1740:0:2112
-1741:2:1561
-1742:0:2112
-1743:2:1562
-1744:2:1566
-1745:2:1567
-1746:2:1575
-1747:2:1576
-1748:2:1580
-1749:2:1581
-1750:2:1589
-1751:2:1594
-1752:2:1598
-1753:2:1599
-1754:2:1606
-1755:2:1607
-1756:2:1618
-1757:2:1626
-1758:2:1627
-1759:2:1631
-1760:2:1636
-1761:2:1637
-1762:0:2112
-1763:2:1649
-1764:0:2112
-1765:2:1651
-1766:0:2112
-1767:2:1652
-1768:2:1656
-1769:2:1657
-1770:2:1665
-1771:2:1666
-1772:2:1670
-1773:2:1671
-1774:2:1679
-1775:2:1684
-1776:2:1688
-1777:2:1689
-1778:2:1696
-1779:2:1697
-1780:2:1708
-1781:2:1716
-1782:2:1717
-1783:2:1721
-1784:2:1726
-1785:2:1727
-1786:0:2112
-1787:2:1739
-1788:0:2112
-1789:2:1560
-1790:0:2112
-1791:1:310
-1792:0:2112
-1793:2:1561
-1794:0:2112
-1795:2:1562
-1796:2:1566
-1797:2:1567
-1798:2:1575
-1799:2:1576
-1800:2:1580
-1801:2:1581
-1802:2:1589
-1803:2:1594
-1804:2:1598
-1805:2:1599
-1806:2:1606
-1807:2:1607
-1808:2:1618
-1809:2:1626
-1810:2:1627
-1811:2:1631
-1812:2:1636
-1813:2:1637
-1814:0:2112
-1815:2:1649
-1816:0:2112
-1817:2:1651
-1818:0:2112
-1819:2:1652
-1820:2:1656
-1821:2:1657
-1822:2:1665
-1823:2:1666
-1824:2:1670
-1825:2:1671
-1826:2:1679
-1827:2:1684
-1828:2:1688
-1829:2:1689
-1830:2:1696
-1831:2:1697
-1832:2:1708
-1833:2:1716
-1834:2:1717
-1835:2:1721
-1836:2:1726
-1837:2:1727
-1838:0:2112
-1839:2:1739
-1840:0:2112
-1841:2:1560
-1842:0:2112
-1843:1:311
-1844:1:315
-1845:1:316
-1846:1:324
-1847:1:333
-1848:1:334
-1849:1:338
-1850:1:343
-1851:1:347
-1852:1:348
-1853:1:355
-1854:1:356
-1855:1:367
-1856:1:368
-1857:1:371
-1858:1:372
-1859:1:380
-1860:1:385
-1861:1:386
-1862:0:2112
-1863:1:398
-1864:0:2112
-1865:2:1561
-1866:0:2112
-1867:2:1562
-1868:2:1566
-1869:2:1567
-1870:2:1575
-1871:2:1576
-1872:2:1580
-1873:2:1581
-1874:2:1589
-1875:2:1594
-1876:2:1598
-1877:2:1599
-1878:2:1606
-1879:2:1607
-1880:2:1618
-1881:2:1626
-1882:2:1627
-1883:2:1631
-1884:2:1636
-1885:2:1637
-1886:0:2112
-1887:2:1649
-1888:0:2112
-1889:2:1651
-1890:0:2112
-1891:2:1652
-1892:2:1656
-1893:2:1657
-1894:2:1665
-1895:2:1666
-1896:2:1670
-1897:2:1671
-1898:2:1679
-1899:2:1684
-1900:2:1688
-1901:2:1689
-1902:2:1696
-1903:2:1697
-1904:2:1708
-1905:2:1716
-1906:2:1717
-1907:2:1721
-1908:2:1726
-1909:2:1727
-1910:0:2112
-1911:2:1739
-1912:0:2112
-1913:2:1560
-1914:0:2112
-1915:1:400
-1916:0:2112
-1917:1:404
-1918:0:2112
-1919:1:9
-1920:0:2112
-1921:1:10
-1922:0:2112
-1923:1:11
-1924:0:2112
-1925:2:1561
-1926:0:2112
-1927:2:1562
-1928:2:1566
-1929:2:1567
-1930:2:1575
-1931:2:1576
-1932:2:1580
-1933:2:1581
-1934:2:1589
-1935:2:1594
-1936:2:1598
-1937:2:1599
-1938:2:1606
-1939:2:1607
-1940:2:1618
-1941:2:1626
-1942:2:1627
-1943:2:1631
-1944:2:1636
-1945:2:1637
-1946:0:2112
-1947:2:1649
-1948:0:2112
-1949:2:1651
-1950:0:2112
-1951:2:1652
-1952:2:1656
-1953:2:1657
-1954:2:1665
-1955:2:1666
-1956:2:1670
-1957:2:1671
-1958:2:1679
-1959:2:1684
-1960:2:1688
-1961:2:1689
-1962:2:1696
-1963:2:1697
-1964:2:1708
-1965:2:1716
-1966:2:1717
-1967:2:1721
-1968:2:1726
-1969:2:1727
-1970:0:2112
-1971:2:1739
-1972:0:2112
-1973:2:1560
-1974:0:2112
-1975:1:12
-1976:1:16
-1977:1:17
-1978:1:25
-1979:1:34
-1980:1:35
-1981:1:39
-1982:1:44
-1983:1:48
-1984:1:49
-1985:1:56
-1986:1:57
-1987:1:68
-1988:1:69
-1989:1:72
-1990:1:73
-1991:1:81
-1992:1:86
-1993:1:87
-1994:0:2112
-1995:1:99
-1996:0:2112
-1997:2:1561
-1998:0:2112
-1999:2:1562
-2000:2:1566
-2001:2:1567
-2002:2:1575
-2003:2:1576
-2004:2:1580
-2005:2:1581
-2006:2:1589
-2007:2:1594
-2008:2:1598
-2009:2:1599
-2010:2:1606
-2011:2:1607
-2012:2:1618
-2013:2:1626
-2014:2:1627
-2015:2:1631
-2016:2:1636
-2017:2:1637
-2018:0:2112
-2019:2:1649
-2020:0:2112
-2021:2:1651
-2022:0:2112
-2023:2:1652
-2024:2:1656
-2025:2:1657
-2026:2:1665
-2027:2:1666
-2028:2:1670
-2029:2:1671
-2030:2:1679
-2031:2:1684
-2032:2:1688
-2033:2:1689
-2034:2:1696
-2035:2:1697
-2036:2:1708
-2037:2:1716
-2038:2:1717
-2039:2:1721
-2040:2:1726
-2041:2:1727
-2042:0:2112
-2043:2:1739
-2044:0:2112
-2045:2:1560
-2046:0:2112
-2047:1:101
-2048:0:2112
-2049:2:1561
-2050:0:2112
-2051:2:1562
-2052:2:1566
-2053:2:1567
-2054:2:1575
-2055:2:1576
-2056:2:1580
-2057:2:1581
-2058:2:1589
-2059:2:1594
-2060:2:1598
-2061:2:1599
-2062:2:1606
-2063:2:1607
-2064:2:1618
-2065:2:1626
-2066:2:1627
-2067:2:1631
-2068:2:1636
-2069:2:1637
-2070:0:2112
-2071:2:1649
-2072:0:2112
-2073:2:1651
-2074:0:2112
-2075:2:1652
-2076:2:1656
-2077:2:1657
-2078:2:1665
-2079:2:1666
-2080:2:1670
-2081:2:1671
-2082:2:1679
-2083:2:1684
-2084:2:1688
-2085:2:1689
-2086:2:1696
-2087:2:1697
-2088:2:1708
-2089:2:1716
-2090:2:1717
-2091:2:1721
-2092:2:1726
-2093:2:1727
-2094:0:2112
-2095:2:1739
-2096:0:2112
-2097:2:1560
-2098:0:2112
-2099:1:102
-2100:1:106
-2101:1:107
-2102:1:115
-2103:1:124
-2104:1:125
-2105:1:129
-2106:1:134
-2107:1:138
-2108:1:139
-2109:1:146
-2110:1:147
-2111:1:158
-2112:1:159
-2113:1:162
-2114:1:163
-2115:1:171
-2116:1:176
-2117:1:177
-2118:0:2112
-2119:1:189
-2120:0:2112
-2121:1:191
-2122:0:2112
-2123:2:1561
-2124:0:2112
-2125:2:1562
-2126:2:1566
-2127:2:1567
-2128:2:1575
-2129:2:1576
-2130:2:1580
-2131:2:1581
-2132:2:1589
-2133:2:1594
-2134:2:1598
-2135:2:1599
-2136:2:1606
-2137:2:1607
-2138:2:1618
-2139:2:1626
-2140:2:1627
-2141:2:1631
-2142:2:1636
-2143:2:1637
-2144:0:2112
-2145:2:1649
-2146:0:2112
-2147:2:1651
-2148:0:2112
-2149:2:1652
-2150:2:1656
-2151:2:1657
-2152:2:1665
-2153:2:1666
-2154:2:1670
-2155:2:1671
-2156:2:1679
-2157:2:1684
-2158:2:1688
-2159:2:1689
-2160:2:1696
-2161:2:1697
-2162:2:1708
-2163:2:1716
-2164:2:1717
-2165:2:1721
-2166:2:1726
-2167:2:1727
-2168:0:2112
-2169:2:1739
-2170:0:2112
-2171:2:1560
-2172:0:2112
-2173:1:192
-2174:0:2112
-2175:2:1561
-2176:0:2112
-2177:2:1562
-2178:2:1566
-2179:2:1567
-2180:2:1575
-2181:2:1576
-2182:2:1580
-2183:2:1581
-2184:2:1589
-2185:2:1594
-2186:2:1598
-2187:2:1599
-2188:2:1606
-2189:2:1607
-2190:2:1618
-2191:2:1626
-2192:2:1627
-2193:2:1631
-2194:2:1636
-2195:2:1637
-2196:0:2112
-2197:2:1649
-2198:0:2112
-2199:2:1651
-2200:0:2112
-2201:2:1652
-2202:2:1656
-2203:2:1657
-2204:2:1665
-2205:2:1666
-2206:2:1670
-2207:2:1671
-2208:2:1679
-2209:2:1684
-2210:2:1688
-2211:2:1689
-2212:2:1696
-2213:2:1697
-2214:2:1708
-2215:2:1716
-2216:2:1717
-2217:2:1721
-2218:2:1726
-2219:2:1727
-2220:0:2112
-2221:2:1739
-2222:0:2112
-2223:2:1560
-2224:0:2112
-2225:1:193
-2226:1:197
-2227:1:198
-2228:1:206
-2229:1:215
-2230:1:216
-2231:1:220
-2232:1:225
-2233:1:229
-2234:1:230
-2235:1:237
-2236:1:238
-2237:1:249
-2238:1:250
-2239:1:253
-2240:1:254
-2241:1:262
-2242:1:267
-2243:1:268
-2244:0:2112
-2245:1:280
-2246:0:2112
-2247:2:1561
-2248:0:2112
-2249:2:1562
-2250:2:1566
-2251:2:1567
-2252:2:1575
-2253:2:1576
-2254:2:1580
-2255:2:1581
-2256:2:1589
-2257:2:1594
-2258:2:1598
-2259:2:1599
-2260:2:1606
-2261:2:1607
-2262:2:1618
-2263:2:1626
-2264:2:1627
-2265:2:1631
-2266:2:1636
-2267:2:1637
-2268:0:2112
-2269:2:1649
-2270:0:2112
-2271:2:1651
-2272:0:2112
-2273:1:282
-2274:0:2112
-2275:1:291
-2276:0:2112
-2277:1:293
-2278:0:2112
-2279:1:296
-2280:0:2112
-2281:1:301
-2282:0:2112
-2283:1:302
-2284:0:2112
-2285:1:303
-2286:0:2112
-2287:1:304
-2288:0:2112
-2289:1:305
-2290:0:2112
-2291:1:306
-2292:0:2112
-2293:1:308
-2294:0:2112
-2295:1:310
-2296:0:2112
-2297:1:311
-2298:1:315
-2299:1:316
-2300:1:324
-2301:1:325
-2302:1:326
-2303:1:338
-2304:1:343
-2305:1:347
-2306:1:348
-2307:1:355
-2308:1:356
-2309:1:367
-2310:1:368
-2311:1:369
-2312:1:380
-2313:1:385
-2314:1:386
-2315:0:2112
-2316:1:398
-2317:0:2112
-2318:1:400
-2319:0:2112
-2320:1:404
-2321:0:2112
-2322:1:9
-2323:0:2112
-2324:1:10
-2325:0:2112
-2326:1:11
-2327:0:2112
-2328:1:12
-2329:1:16
-2330:1:17
-2331:1:25
-2332:1:26
-2333:1:27
-2334:1:39
-2335:1:44
-2336:1:48
-2337:1:49
-2338:1:56
-2339:1:57
-2340:1:68
-2341:1:69
-2342:1:70
-2343:1:81
-2344:1:86
-2345:1:87
-2346:0:2112
-2347:1:99
-2348:0:2112
-2349:1:101
-2350:0:2112
-2351:1:102
-2352:1:106
-2353:1:107
-2354:1:115
-2355:1:116
-2356:1:120
-2357:1:121
-2358:1:129
-2359:1:134
-2360:1:138
-2361:1:139
-2362:1:146
-2363:1:147
-2364:1:158
-2365:1:159
-2366:1:160
-2367:1:171
-2368:1:176
-2369:1:177
-2370:0:2112
-2371:1:189
-2372:0:2112
-2373:1:191
-2374:0:2112
-2375:1:192
-2376:0:2112
-2377:1:193
-2378:1:197
-2379:1:198
-2380:1:206
-2381:1:207
-2382:1:211
-2383:1:212
-2384:1:220
-2385:1:225
-2386:1:229
-2387:1:230
-2388:1:237
-2389:1:238
-2390:1:249
-2391:1:250
-2392:1:251
-2393:1:262
-2394:1:267
-2395:1:268
-2396:0:2112
-2397:1:280
-2398:0:2112
-2399:1:282
-2400:0:2112
-2401:2:1652
-2402:2:1656
-2403:2:1657
-2404:2:1665
-2405:2:1666
-2406:2:1670
-2407:2:1671
-2408:2:1679
-2409:2:1684
-2410:2:1688
-2411:2:1689
-2412:2:1696
-2413:2:1697
-2414:2:1708
-2415:2:1716
-2416:2:1717
-2417:2:1721
-2418:2:1726
-2419:2:1727
-2420:0:2112
-2421:2:1739
-2422:0:2112
-2423:2:1560
-2424:0:2112
-2425:1:291
-2426:0:2112
-2427:2:1561
-2428:0:2112
-2429:1:293
-2430:0:2112
-2431:1:296
-2432:0:2112
-2433:1:301
-2434:0:2112
-2435:1:302
-2436:0:2112
-2437:1:303
-2438:0:2112
-2439:1:304
-2440:0:2112
-2441:1:305
-2442:0:2112
-2443:1:306
-2444:0:2112
-2445:1:308
-2446:0:2112
-2447:1:310
-2448:0:2112
-2449:1:311
-2450:1:315
-2451:1:316
-2452:1:324
-2453:1:325
-2454:1:326
-2455:1:338
-2456:1:343
-2457:1:347
-2458:1:348
-2459:1:355
-2460:1:356
-2461:1:367
-2462:1:368
-2463:1:369
-2464:1:380
-2465:1:385
-2466:1:386
-2467:0:2112
-2468:1:398
-2469:0:2112
-2470:1:400
-2471:0:2112
-2472:1:404
-2473:0:2112
-2474:1:9
-2475:0:2112
-2476:1:10
-2477:0:2112
-2478:1:11
-2479:0:2112
-2480:1:12
-2481:1:16
-2482:1:17
-2483:1:25
-2484:1:26
-2485:1:27
-2486:1:39
-2487:1:44
-2488:1:48
-2489:1:49
-2490:1:56
-2491:1:57
-2492:1:68
-2493:1:69
-2494:1:70
-2495:1:81
-2496:1:86
-2497:1:87
-2498:0:2112
-2499:1:99
-2500:0:2112
-2501:1:101
-2502:0:2112
-2503:1:102
-2504:1:106
-2505:1:107
-2506:1:115
-2507:1:116
-2508:1:120
-2509:1:121
-2510:1:129
-2511:1:134
-2512:1:138
-2513:1:139
-2514:1:146
-2515:1:147
-2516:1:158
-2517:1:159
-2518:1:160
-2519:1:171
-2520:1:176
-2521:1:177
-2522:0:2112
-2523:1:189
-2524:0:2112
-2525:1:191
-2526:0:2112
-2527:1:192
-2528:0:2112
-2529:1:193
-2530:1:197
-2531:1:198
-2532:1:206
-2533:1:207
-2534:1:211
-2535:1:212
-2536:1:220
-2537:1:225
-2538:1:229
-2539:1:230
-2540:1:237
-2541:1:238
-2542:1:249
-2543:1:250
-2544:1:251
-2545:1:262
-2546:1:267
-2547:1:268
-2548:0:2112
-2549:1:280
-2550:0:2112
-2551:1:282
-2552:0:2112
-2553:1:291
-2554:0:2112
-2555:1:293
-2556:0:2112
-2557:2:1562
-2558:2:1566
-2559:2:1567
-2560:2:1575
-2561:2:1576
-2562:2:1580
-2563:2:1581
-2564:2:1589
-2565:2:1594
-2566:2:1598
-2567:2:1599
-2568:2:1606
-2569:2:1607
-2570:2:1618
-2571:2:1626
-2572:2:1627
-2573:2:1631
-2574:2:1636
-2575:2:1637
-2576:0:2112
-2577:2:1649
-2578:0:2112
-2579:1:296
-2580:0:2112
-2581:1:301
-2582:0:2112
-2583:1:302
-2584:0:2112
-2585:1:303
-2586:0:2112
-2587:1:304
-2588:0:2112
-2589:1:305
-2590:0:2112
-2591:1:306
-2592:0:2112
-2593:1:308
-2594:0:2112
-2595:1:310
-2596:0:2112
-2597:1:311
-2598:1:315
-2599:1:316
-2600:1:324
-2601:1:325
-2602:1:326
-2603:1:338
-2604:1:343
-2605:1:347
-2606:1:348
-2607:1:355
-2608:1:356
-2609:1:367
-2610:1:368
-2611:1:369
-2612:1:380
-2613:1:385
-2614:1:386
-2615:0:2112
-2616:1:398
-2617:0:2112
-2618:1:400
-2619:0:2112
-2620:1:404
-2621:0:2112
-2622:1:9
-2623:0:2112
-2624:1:10
-2625:0:2112
-2626:1:11
-2627:0:2112
-2628:1:12
-2629:1:16
-2630:1:17
-2631:1:25
-2632:1:34
-2633:1:35
-2634:1:39
-2635:1:44
-2636:1:48
-2637:1:49
-2638:1:56
-2639:1:57
-2640:1:68
-2641:1:69
-2642:1:72
-2643:1:73
-2644:1:81
-2645:1:86
-2646:1:87
-2647:0:2112
-2648:1:99
-2649:0:2112
-2650:2:1651
-2651:0:2112
-2652:2:1652
-2653:2:1656
-2654:2:1657
-2655:2:1665
-2656:2:1666
-2657:2:1670
-2658:2:1671
-2659:2:1679
-2660:2:1684
-2661:2:1688
-2662:2:1689
-2663:2:1696
-2664:2:1697
-2665:2:1708
-2666:2:1716
-2667:2:1717
-2668:2:1721
-2669:2:1726
-2670:2:1727
-2671:0:2112
-2672:2:1739
-2673:0:2112
-2674:2:1560
-2675:0:2112
-2676:2:1561
-2677:0:2112
-2678:2:1562
-2679:2:1566
-2680:2:1567
-2681:2:1575
-2682:2:1576
-2683:2:1580
-2684:2:1581
-2685:2:1589
-2686:2:1594
-2687:2:1598
-2688:2:1599
-2689:2:1606
-2690:2:1607
-2691:2:1618
-2692:2:1626
-2693:2:1627
-2694:2:1631
-2695:2:1636
-2696:2:1637
-2697:0:2112
-2698:2:1649
-2699:0:2112
-2700:1:101
-2701:0:2112
-2702:2:1651
-2703:0:2112
-2704:2:1652
-2705:2:1656
-2706:2:1657
-2707:2:1665
-2708:2:1666
-2709:2:1670
-2710:2:1671
-2711:2:1679
-2712:2:1684
-2713:2:1688
-2714:2:1689
-2715:2:1696
-2716:2:1697
-2717:2:1708
-2718:2:1716
-2719:2:1717
-2720:2:1721
-2721:2:1726
-2722:2:1727
-2723:0:2112
-2724:2:1739
-2725:0:2112
-2726:2:1560
-2727:0:2112
-2728:2:1561
-2729:0:2112
-2730:2:1562
-2731:2:1566
-2732:2:1567
-2733:2:1575
-2734:2:1576
-2735:2:1580
-2736:2:1581
-2737:2:1589
-2738:2:1594
-2739:2:1598
-2740:2:1599
-2741:2:1606
-2742:2:1607
-2743:2:1618
-2744:2:1626
-2745:2:1627
-2746:2:1631
-2747:2:1636
-2748:2:1637
-2749:0:2112
-2750:2:1649
-2751:0:2112
-2752:1:102
-2753:1:106
-2754:1:107
-2755:1:115
-2756:1:116
-2757:1:117
-2758:1:129
-2759:1:134
-2760:1:138
-2761:1:139
-2762:1:146
-2763:1:147
-2764:1:158
-2765:1:159
-2766:1:160
-2767:1:171
-2768:1:176
-2769:1:177
-2770:0:2112
-2771:1:189
-2772:0:2112
-2773:1:191
-2774:0:2112
-2775:2:1651
-2776:0:2112
-2777:2:1652
-2778:2:1656
-2779:2:1657
-2780:2:1665
-2781:2:1666
-2782:2:1670
-2783:2:1671
-2784:2:1679
-2785:2:1684
-2786:2:1688
-2787:2:1689
-2788:2:1696
-2789:2:1697
-2790:2:1708
-2791:2:1716
-2792:2:1717
-2793:2:1721
-2794:2:1726
-2795:2:1727
-2796:0:2112
-2797:2:1739
-2798:0:2112
-2799:2:1560
-2800:0:2112
-2801:2:1561
-2802:0:2112
-2803:2:1562
-2804:2:1566
-2805:2:1567
-2806:2:1575
-2807:2:1576
-2808:2:1580
-2809:2:1581
-2810:2:1589
-2811:2:1594
-2812:2:1598
-2813:2:1599
-2814:2:1606
-2815:2:1607
-2816:2:1618
-2817:2:1626
-2818:2:1627
-2819:2:1631
-2820:2:1636
-2821:2:1637
-2822:0:2112
-2823:2:1649
-2824:0:2112
-2825:1:192
-2826:0:2112
-2827:2:1651
-2828:0:2112
-2829:2:1652
-2830:2:1656
-2831:2:1657
-2832:2:1665
-2833:2:1666
-2834:2:1670
-2835:2:1671
-2836:2:1679
-2837:2:1684
-2838:2:1688
-2839:2:1689
-2840:2:1696
-2841:2:1697
-2842:2:1708
-2843:2:1716
-2844:2:1717
-2845:2:1721
-2846:2:1726
-2847:2:1727
-2848:0:2112
-2849:2:1739
-2850:0:2112
-2851:2:1560
-2852:0:2112
-2853:2:1561
-2854:0:2112
-2855:2:1562
-2856:2:1566
-2857:2:1567
-2858:2:1575
-2859:2:1576
-2860:2:1580
-2861:2:1581
-2862:2:1589
-2863:2:1594
-2864:2:1598
-2865:2:1599
-2866:2:1606
-2867:2:1607
-2868:2:1618
-2869:2:1626
-2870:2:1627
-2871:2:1631
-2872:2:1636
-2873:2:1637
-2874:0:2112
-2875:2:1649
-2876:0:2112
-2877:1:193
-2878:1:197
-2879:1:198
-2880:1:206
-2881:1:207
-2882:1:211
-2883:1:212
-2884:1:220
-2885:1:225
-2886:1:229
-2887:1:230
-2888:1:237
-2889:1:238
-2890:1:249
-2891:1:250
-2892:1:251
-2893:1:262
-2894:1:267
-2895:1:268
-2896:0:2112
-2897:1:280
-2898:0:2112
-2899:2:1651
-2900:0:2112
-2901:2:1652
-2902:2:1656
-2903:2:1657
-2904:2:1665
-2905:2:1666
-2906:2:1670
-2907:2:1671
-2908:2:1679
-2909:2:1684
-2910:2:1688
-2911:2:1689
-2912:2:1696
-2913:2:1697
-2914:2:1708
-2915:2:1716
-2916:2:1717
-2917:2:1721
-2918:2:1726
-2919:2:1727
-2920:0:2112
-2921:2:1739
-2922:0:2112
-2923:2:1560
-2924:0:2112
-2925:2:1561
-2926:0:2112
-2927:2:1562
-2928:2:1566
-2929:2:1567
-2930:2:1575
-2931:2:1576
-2932:2:1580
-2933:2:1581
-2934:2:1589
-2935:2:1594
-2936:2:1598
-2937:2:1599
-2938:2:1606
-2939:2:1607
-2940:2:1618
-2941:2:1626
-2942:2:1627
-2943:2:1631
-2944:2:1636
-2945:2:1637
-2946:0:2112
-2947:2:1649
-2948:0:2112
-2949:1:282
-2950:0:2112
-2951:1:291
-2952:0:2112
-2953:1:293
-2954:0:2112
-2955:1:296
-2956:0:2112
-2957:2:1651
-2958:0:2112
-2959:2:1652
-2960:2:1656
-2961:2:1657
-2962:2:1665
-2963:2:1666
-2964:2:1670
-2965:2:1671
-2966:2:1679
-2967:2:1684
-2968:2:1688
-2969:2:1689
-2970:2:1696
-2971:2:1697
-2972:2:1708
-2973:2:1716
-2974:2:1717
-2975:2:1721
-2976:2:1726
-2977:2:1727
-2978:0:2112
-2979:2:1739
-2980:0:2112
-2981:2:1560
-2982:0:2112
-2983:2:1561
-2984:0:2112
-2985:2:1562
-2986:2:1566
-2987:2:1567
-2988:2:1575
-2989:2:1576
-2990:2:1580
-2991:2:1581
-2992:2:1589
-2993:2:1594
-2994:2:1598
-2995:2:1599
-2996:2:1606
-2997:2:1607
-2998:2:1618
-2999:2:1626
-3000:2:1627
-3001:2:1631
-3002:2:1636
-3003:2:1637
-3004:0:2112
-3005:2:1649
-3006:0:2112
-3007:1:301