userspace-rcu formal model removal

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

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