userspace-rcu formal model removal

[urcu.git] / formal-model / urcu-nosched-model / result-signal-over-writer / testmerge / urcu_progress_writer_error.spin.input.trail

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