X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu%2Fresult-signal-over-writer%2Furcu_progress_writer_error.spin.input.trail;fp=formal-model%2Furcu%2Fresult-signal-over-writer%2Furcu_progress_writer_error.spin.input.trail;h=5b0eadde7fd810aaf4323a9e37c5d670fbda499a;hb=8baf2c9506f8e4bbac913c7ea2a8b2e9a3cd0932;hp=0000000000000000000000000000000000000000;hpb=fa5b67244cb2c3733d2c0195d3ad239d97ec2dc3;p=urcu.git

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
new file mode 100644
index 0000000..5b0eadd
--- /dev/null
+++ b/formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.spin.input.trail
@@ -0,0 +1,4231 @@
+-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