Verification run #1, ipi and no-ipi results

[urcu.git] / formal-model / results / urcu-controldataflow-no-ipi / result-ipi-urcu_free / urcu_free.spin.input.trail

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.spin.input.trail
new file mode 100644 (file)
index 0000000..011045f
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.spin.input.trail
@@ -0,0 +1,2598 @@
+-2:3:-2
+-4:-4:-4
+1:0:4863
+2:3:4786
+3:3:4789
+4:3:4789
+5:3:4792
+6:3:4800
+7:3:4800
+8:3:4803
+9:3:4809
+10:3:4813
+11:3:4813
+12:3:4816
+13:3:4823
+14:3:4831
+15:3:4831
+16:3:4834
+17:3:4840
+18:3:4844
+19:3:4844
+20:3:4847
+21:3:4853
+22:3:4857
+23:3:4858
+24:0:4863
+25:3:4860
+26:0:4863
+27:2:3279
+28:0:4863
+29:2:3285
+30:0:4863
+31:2:3286
+32:0:4863
+33:2:3289
+34:2:3293
+35:2:3294
+36:2:3302
+37:2:3303
+38:2:3307
+39:2:3308
+40:2:3316
+41:2:3321
+42:2:3325
+43:2:3326
+44:2:3334
+45:2:3335
+46:2:3339
+47:2:3340
+48:2:3334
+49:2:3335
+50:2:3339
+51:2:3340
+52:2:3348
+53:2:3353
+54:2:3354
+55:2:3365
+56:2:3366
+57:2:3367
+58:2:3378
+59:2:3383
+60:2:3384
+61:2:3395
+62:2:3396
+63:2:3397
+64:2:3395
+65:2:3396
+66:2:3397
+67:2:3408
+68:2:3412
+69:0:4863
+70:2:3415
+71:0:4863
+72:2:3421
+73:2:3422
+74:2:3426
+75:2:3430
+76:2:3431
+77:2:3435
+78:2:3443
+79:2:3444
+80:2:3448
+81:2:3452
+82:2:3453
+83:2:3448
+84:2:3449
+85:2:3457
+86:2:3461
+87:0:4863
+88:2:3464
+89:0:4863
+90:2:3465
+91:2:3469
+92:2:3470
+93:2:3478
+94:2:3479
+95:2:3483
+96:2:3484
+97:2:3492
+98:2:3497
+99:2:3501
+100:2:3502
+101:2:3510
+102:2:3511
+103:2:3515
+104:2:3516
+105:2:3510
+106:2:3511
+107:2:3515
+108:2:3516
+109:2:3524
+110:2:3529
+111:2:3530
+112:2:3541
+113:2:3542
+114:2:3543
+115:2:3554
+116:2:3559
+117:2:3560
+118:2:3571
+119:2:3572
+120:2:3573
+121:2:3571
+122:2:3572
+123:2:3573
+124:2:3584
+125:2:3588
+126:0:4863
+127:2:3591
+128:0:4863
+129:2:3594
+130:2:3598
+131:2:3599
+132:2:3607
+133:2:3608
+134:2:3612
+135:2:3613
+136:2:3621
+137:2:3626
+138:2:3627
+139:2:3639
+140:2:3640
+141:2:3644
+142:2:3645
+143:2:3639
+144:2:3640
+145:2:3644
+146:2:3645
+147:2:3653
+148:2:3658
+149:2:3659
+150:2:3670
+151:2:3671
+152:2:3672
+153:2:3683
+154:2:3688
+155:2:3689
+156:2:3700
+157:2:3701
+158:2:3702
+159:2:3700
+160:2:3701
+161:2:3702
+162:2:3713
+163:2:3717
+164:0:4863
+165:2:3720
+166:0:4863
+167:2:3721
+168:0:4863
+169:2:3722
+170:0:4863
+171:2:4423
+172:2:4424
+173:2:4428
+174:2:4432
+175:2:4433
+176:2:4437
+177:2:4445
+178:2:4446
+179:2:4450
+180:2:4454
+181:2:4455
+182:2:4450
+183:2:4454
+184:2:4455
+185:2:4459
+186:2:4466
+187:2:4473
+188:2:4474
+189:2:4481
+190:2:4486
+191:2:4493
+192:2:4494
+193:2:4493
+194:2:4494
+195:2:4501
+196:2:4505
+197:0:4863
+198:2:3724
+199:2:4401
+200:0:4863
+201:2:3721
+202:0:4863
+203:2:3725
+204:0:4863
+205:2:3721
+206:0:4863
+207:2:3728
+208:2:3729
+209:2:3733
+210:2:3734
+211:2:3742
+212:2:3743
+213:2:3747
+214:2:3748
+215:2:3756
+216:2:3761
+217:2:3765
+218:2:3766
+219:2:3774
+220:2:3775
+221:2:3779
+222:2:3780
+223:2:3774
+224:2:3775
+225:2:3779
+226:2:3780
+227:2:3788
+228:2:3793
+229:2:3794
+230:2:3805
+231:2:3806
+232:2:3807
+233:2:3818
+234:2:3823
+235:2:3824
+236:2:3835
+237:2:3836
+238:2:3837
+239:2:3835
+240:2:3836
+241:2:3837
+242:2:3848
+243:2:3855
+244:0:4863
+245:2:3721
+246:0:4863
+247:2:3859
+248:2:3860
+249:2:3861
+250:2:3873
+251:2:3874
+252:2:3878
+253:2:3879
+254:2:3887
+255:2:3892
+256:2:3896
+257:2:3897
+258:2:3905
+259:2:3906
+260:2:3910
+261:2:3911
+262:2:3905
+263:2:3906
+264:2:3910
+265:2:3911
+266:2:3919
+267:2:3924
+268:2:3925
+269:2:3936
+270:2:3937
+271:2:3938
+272:2:3949
+273:2:3954
+274:2:3955
+275:2:3966
+276:2:3967
+277:2:3968
+278:2:3966
+279:2:3967
+280:2:3968
+281:2:3979
+282:2:3990
+283:2:3991
+284:0:4863
+285:2:3721
+286:0:4863
+287:2:3997
+288:2:3998
+289:2:4002
+290:2:4003
+291:2:4011
+292:2:4012
+293:2:4016
+294:2:4017
+295:2:4025
+296:2:4030
+297:2:4034
+298:2:4035
+299:2:4043
+300:2:4044
+301:2:4048
+302:2:4049
+303:2:4043
+304:2:4044
+305:2:4048
+306:2:4049
+307:2:4057
+308:2:4062
+309:2:4063
+310:2:4074
+311:2:4075
+312:2:4076
+313:2:4087
+314:2:4092
+315:2:4093
+316:2:4104
+317:2:4105
+318:2:4106
+319:2:4104
+320:2:4105
+321:2:4106
+322:2:4117
+323:0:4863
+324:2:3721
+325:0:4863
+326:2:4126
+327:2:4127
+328:2:4131
+329:2:4132
+330:2:4140
+331:2:4141
+332:2:4145
+333:2:4146
+334:2:4154
+335:2:4159
+336:2:4163
+337:2:4164
+338:2:4172
+339:2:4173
+340:2:4177
+341:2:4178
+342:2:4172
+343:2:4173
+344:2:4177
+345:2:4178
+346:2:4186
+347:2:4191
+348:2:4192
+349:2:4203
+350:2:4204
+351:2:4205
+352:2:4216
+353:2:4221
+354:2:4222
+355:2:4233
+356:2:4234
+357:2:4235
+358:2:4233
+359:2:4234
+360:2:4235
+361:2:4246
+362:2:4253
+363:0:4863
+364:2:3721
+365:0:4863
+366:2:4257
+367:2:4258
+368:2:4259
+369:2:4271
+370:2:4272
+371:2:4276
+372:2:4277
+373:2:4285
+374:2:4290
+375:2:4294
+376:2:4295
+377:2:4303
+378:2:4304
+379:2:4308
+380:2:4309
+381:2:4303
+382:2:4304
+383:2:4308
+384:2:4309
+385:2:4317
+386:2:4322
+387:2:4323
+388:2:4334
+389:2:4335
+390:2:4336
+391:2:4347
+392:2:4352
+393:2:4353
+394:2:4364
+395:2:4365
+396:2:4366
+397:2:4364
+398:2:4365
+399:2:4366
+400:2:4377
+401:2:4387
+402:2:4388
+403:0:4863
+404:2:3721
+405:0:4863
+406:2:4394
+407:0:4863
+408:2:4696
+409:2:4697
+410:2:4701
+411:2:4705
+412:2:4706
+413:2:4710
+414:2:4718
+415:2:4719
+416:2:4723
+417:2:4727
+418:2:4728
+419:2:4723
+420:2:4727
+421:2:4728
+422:2:4732
+423:2:4739
+424:2:4746
+425:2:4747
+426:2:4754
+427:2:4759
+428:2:4766
+429:2:4767
+430:2:4766
+431:2:4767
+432:2:4774
+433:2:4778
+434:0:4863
+435:2:4396
+436:2:4401
+437:0:4863
+438:2:3721
+439:0:4863
+440:2:4397
+441:0:4863
+442:2:4405
+443:0:4863
+444:2:4406
+445:0:4863
+446:2:3286
+447:0:4863
+448:2:3289
+449:2:3293
+450:2:3294
+451:2:3302
+452:2:3303
+453:2:3307
+454:2:3308
+455:2:3316
+456:2:3321
+457:2:3325
+458:2:3326
+459:2:3334
+460:2:3335
+461:2:3336
+462:2:3334
+463:2:3335
+464:2:3339
+465:2:3340
+466:2:3348
+467:2:3353
+468:2:3354
+469:2:3365
+470:2:3366
+471:2:3367
+472:2:3378
+473:2:3383
+474:2:3384
+475:2:3395
+476:2:3396
+477:2:3397
+478:2:3395
+479:2:3396
+480:2:3397
+481:2:3408
+482:2:3412
+483:0:4863
+484:2:3415
+485:0:4863
+486:2:3421
+487:2:3422
+488:2:3426
+489:2:3430
+490:2:3431
+491:2:3435
+492:2:3443
+493:2:3444
+494:2:3448
+495:2:3449
+496:2:3448
+497:2:3452
+498:2:3453
+499:2:3457
+500:2:3461
+501:0:4863
+502:2:3464
+503:0:4863
+504:2:3465
+505:2:3469
+506:2:3470
+507:2:3478
+508:2:3479
+509:2:3483
+510:2:3484
+511:2:3492
+512:2:3497
+513:2:3501
+514:2:3502
+515:2:3510
+516:2:3511
+517:2:3515
+518:2:3516
+519:2:3510
+520:2:3511
+521:2:3515
+522:2:3516
+523:2:3524
+524:2:3529
+525:2:3530
+526:2:3541
+527:2:3542
+528:2:3543
+529:2:3554
+530:2:3559
+531:2:3560
+532:2:3571
+533:2:3572
+534:2:3573
+535:2:3571
+536:2:3572
+537:2:3573
+538:2:3584
+539:2:3588
+540:0:4863
+541:2:3591
+542:0:4863
+543:2:3594
+544:2:3598
+545:2:3599
+546:2:3607
+547:2:3608
+548:2:3612
+549:2:3613
+550:2:3621
+551:2:3626
+552:2:3627
+553:2:3639
+554:2:3640
+555:2:3644
+556:2:3645
+557:2:3639
+558:2:3640
+559:2:3644
+560:2:3645
+561:2:3653
+562:2:3658
+563:2:3659
+564:2:3670
+565:2:3671
+566:2:3672
+567:2:3683
+568:2:3688
+569:2:3689
+570:2:3700
+571:2:3701
+572:2:3702
+573:2:3700
+574:2:3701
+575:2:3702
+576:2:3713
+577:2:3717
+578:0:4863
+579:2:3720
+580:0:4863
+581:2:3721
+582:0:4863
+583:2:3722
+584:0:4863
+585:2:4423
+586:2:4424
+587:2:4428
+588:2:4432
+589:2:4433
+590:2:4437
+591:2:4445
+592:2:4446
+593:2:4450
+594:2:4454
+595:2:4455
+596:2:4450
+597:2:4454
+598:2:4455
+599:2:4459
+600:2:4466
+601:2:4473
+602:2:4474
+603:2:4481
+604:2:4486
+605:2:4493
+606:2:4494
+607:2:4493
+608:2:4494
+609:2:4501
+610:2:4505
+611:0:4863
+612:2:3724
+613:2:4401
+614:0:4863
+615:2:3721
+616:0:4863
+617:2:3725
+618:0:4863
+619:2:3721
+620:0:4863
+621:2:3728
+622:2:3729
+623:2:3733
+624:2:3734
+625:2:3742
+626:2:3743
+627:2:3747
+628:2:3748
+629:2:3756
+630:2:3761
+631:2:3765
+632:2:3766
+633:2:3774
+634:2:3775
+635:2:3779
+636:2:3780
+637:2:3774
+638:2:3775
+639:2:3779
+640:2:3780
+641:2:3788
+642:2:3793
+643:2:3794
+644:2:3805
+645:2:3806
+646:2:3807
+647:2:3818
+648:2:3823
+649:2:3824
+650:2:3835
+651:2:3836
+652:2:3837
+653:2:3835
+654:2:3836
+655:2:3837
+656:2:3848
+657:2:3855
+658:0:4863
+659:2:3721
+660:0:4863
+661:2:3859
+662:2:3860
+663:2:3861
+664:2:3873
+665:2:3874
+666:2:3878
+667:2:3879
+668:2:3887
+669:2:3892
+670:2:3896
+671:2:3897
+672:2:3905
+673:2:3906
+674:2:3910
+675:2:3911
+676:2:3905
+677:2:3906
+678:2:3910
+679:2:3911
+680:2:3919
+681:2:3924
+682:2:3925
+683:2:3936
+684:2:3937
+685:2:3938
+686:2:3949
+687:2:3954
+688:2:3955
+689:2:3966
+690:2:3967
+691:2:3968
+692:2:3966
+693:2:3967
+694:2:3968
+695:2:3979
+696:2:3990
+697:2:3991
+698:0:4863
+699:2:3721
+700:0:4863
+701:2:3997
+702:2:3998
+703:2:4002
+704:2:4003
+705:2:4011
+706:2:4012
+707:2:4016
+708:2:4017
+709:2:4025
+710:2:4030
+711:2:4034
+712:2:4035
+713:2:4043
+714:2:4044
+715:2:4048
+716:2:4049
+717:2:4043
+718:2:4044
+719:2:4048
+720:2:4049
+721:2:4057
+722:2:4062
+723:2:4063
+724:2:4074
+725:2:4075
+726:2:4076
+727:2:4087
+728:2:4092
+729:2:4093
+730:2:4104
+731:2:4105
+732:2:4106
+733:2:4104
+734:2:4105
+735:2:4106
+736:2:4117
+737:0:4863
+738:2:3721
+739:0:4863
+740:2:4126
+741:2:4127
+742:2:4131
+743:2:4132
+744:2:4140
+745:2:4141
+746:2:4145
+747:2:4146
+748:2:4154
+749:2:4159
+750:2:4163
+751:2:4164
+752:2:4172
+753:2:4173
+754:2:4177
+755:2:4178
+756:2:4172
+757:2:4173
+758:2:4177
+759:2:4178
+760:2:4186
+761:2:4191
+762:2:4192
+763:2:4203
+764:2:4204
+765:2:4205
+766:2:4216
+767:2:4221
+768:2:4222
+769:2:4233
+770:2:4234
+771:2:4235
+772:2:4233
+773:2:4234
+774:2:4235
+775:2:4246
+776:2:4253
+777:0:4863
+778:2:3721
+779:0:4863
+780:2:4257
+781:2:4258
+782:2:4259
+783:2:4271
+784:2:4272
+785:2:4276
+786:2:4277
+787:2:4285
+788:2:4290
+789:2:4294
+790:2:4295
+791:2:4303
+792:2:4304
+793:2:4308
+794:2:4309
+795:2:4303
+796:2:4304
+797:2:4308
+798:2:4309
+799:2:4317
+800:2:4322
+801:2:4323
+802:2:4334
+803:2:4335
+804:2:4336
+805:2:4347
+806:2:4352
+807:2:4353
+808:2:4364
+809:2:4365
+810:2:4366
+811:2:4364
+812:2:4365
+813:2:4366
+814:2:4377
+815:2:4387
+816:2:4388
+817:0:4863
+818:2:3721
+819:0:4863
+820:2:4394
+821:0:4863
+822:2:4696
+823:2:4697
+824:2:4701
+825:2:4705
+826:2:4706
+827:2:4710
+828:2:4718
+829:2:4719
+830:2:4723
+831:2:4727
+832:2:4728
+833:2:4723
+834:2:4727
+835:2:4728
+836:2:4732
+837:2:4739
+838:2:4746
+839:2:4747
+840:2:4754
+841:2:4759
+842:2:4766
+843:2:4767
+844:2:4766
+845:2:4767
+846:2:4774
+847:2:4778
+848:0:4863
+849:2:4396
+850:2:4401
+851:0:4863
+852:2:3721
+853:0:4863
+854:2:4397
+855:0:4863
+856:2:4405
+857:0:4863
+858:2:4406
+859:0:4863
+860:2:3286
+861:0:4863
+862:2:3289
+863:2:3293
+864:2:3294
+865:2:3302
+866:2:3303
+867:2:3307
+868:2:3308
+869:2:3316
+870:2:3321
+871:2:3325
+872:2:3326
+873:2:3334
+874:2:3335
+875:2:3339
+876:2:3340
+877:2:3334
+878:2:3335
+879:2:3336
+880:2:3348
+881:2:3353
+882:2:3354
+883:2:3365
+884:2:3366
+885:2:3367
+886:2:3378
+887:2:3383
+888:2:3384
+889:2:3395
+890:2:3396
+891:2:3397
+892:2:3395
+893:2:3396
+894:2:3397
+895:2:3408
+896:2:3412
+897:0:4863
+898:2:3415
+899:0:4863
+900:2:3421
+901:2:3422
+902:2:3426
+903:2:3430
+904:2:3431
+905:2:3435
+906:2:3443
+907:2:3444
+908:2:3448
+909:2:3452
+910:2:3453
+911:2:3448
+912:2:3449
+913:2:3457
+914:2:3461
+915:0:4863
+916:2:3464
+917:0:4863
+918:2:3465
+919:2:3469
+920:2:3470
+921:2:3478
+922:2:3479
+923:2:3483
+924:2:3484
+925:2:3492
+926:2:3497
+927:2:3501
+928:2:3502
+929:2:3510
+930:2:3511
+931:2:3515
+932:2:3516
+933:2:3510
+934:2:3511
+935:2:3515
+936:2:3516
+937:2:3524
+938:2:3529
+939:2:3530
+940:2:3541
+941:2:3542
+942:2:3543
+943:2:3554
+944:2:3559
+945:2:3560
+946:2:3571
+947:2:3572
+948:2:3573
+949:2:3571
+950:2:3572
+951:2:3573
+952:2:3584
+953:2:3588
+954:0:4863
+955:2:3591
+956:0:4863
+957:2:3594
+958:2:3598
+959:2:3599
+960:2:3607
+961:2:3608
+962:2:3612
+963:2:3613
+964:2:3621
+965:2:3626
+966:2:3627
+967:2:3639
+968:2:3640
+969:2:3644
+970:2:3645
+971:2:3639
+972:2:3640
+973:2:3644
+974:2:3645
+975:2:3653
+976:2:3658
+977:2:3659
+978:2:3670
+979:2:3671
+980:2:3672
+981:2:3683
+982:2:3688
+983:2:3689
+984:2:3700
+985:2:3701
+986:2:3702
+987:2:3700
+988:2:3701
+989:2:3702
+990:2:3713
+991:2:3717
+992:0:4863
+993:2:3720
+994:0:4863
+995:2:3721
+996:0:4863
+997:2:3722
+998:0:4863
+999:2:4423
+1000:2:4424
+1001:2:4428
+1002:2:4432
+1003:2:4433
+1004:2:4437
+1005:2:4445
+1006:2:4446
+1007:2:4450
+1008:2:4454
+1009:2:4455
+1010:2:4450
+1011:2:4454
+1012:2:4455
+1013:2:4459
+1014:2:4466
+1015:2:4473
+1016:2:4474
+1017:2:4481
+1018:2:4486
+1019:2:4493
+1020:2:4494
+1021:2:4493
+1022:2:4494
+1023:2:4501
+1024:2:4505
+1025:0:4863
+1026:2:3724
+1027:2:4401
+1028:0:4863
+1029:2:3721
+1030:0:4863
+1031:2:3725
+1032:0:4863
+1033:2:3721
+1034:0:4863
+1035:2:3728
+1036:2:3729
+1037:2:3733
+1038:2:3734
+1039:2:3742
+1040:2:3743
+1041:2:3747
+1042:2:3748
+1043:2:3756
+1044:2:3761
+1045:2:3765
+1046:2:3766
+1047:2:3774
+1048:2:3775
+1049:2:3779
+1050:2:3780
+1051:2:3774
+1052:2:3775
+1053:2:3779
+1054:2:3780
+1055:2:3788
+1056:2:3793
+1057:2:3794
+1058:2:3805
+1059:2:3806
+1060:2:3807
+1061:2:3818
+1062:2:3823
+1063:2:3824
+1064:2:3835
+1065:2:3836
+1066:2:3837
+1067:2:3835
+1068:2:3836
+1069:2:3837
+1070:2:3848
+1071:2:3855
+1072:0:4863
+1073:2:3721
+1074:0:4863
+1075:2:3859
+1076:2:3860
+1077:2:3861
+1078:2:3873
+1079:2:3874
+1080:2:3878
+1081:2:3879
+1082:2:3887
+1083:2:3892
+1084:2:3896
+1085:2:3897
+1086:2:3905
+1087:2:3906
+1088:2:3910
+1089:2:3911
+1090:2:3905
+1091:2:3906
+1092:2:3910
+1093:2:3911
+1094:2:3919
+1095:2:3924
+1096:2:3925
+1097:2:3936
+1098:2:3937
+1099:2:3938
+1100:2:3949
+1101:2:3954
+1102:2:3955
+1103:2:3966
+1104:2:3967
+1105:2:3968
+1106:2:3966
+1107:2:3967
+1108:2:3968
+1109:2:3979
+1110:2:3990
+1111:2:3991
+1112:0:4863
+1113:2:3721
+1114:0:4863
+1115:2:3997
+1116:2:3998
+1117:2:4002
+1118:2:4003
+1119:2:4011
+1120:2:4012
+1121:2:4016
+1122:2:4017
+1123:2:4025
+1124:2:4030
+1125:2:4034
+1126:2:4035
+1127:2:4043
+1128:2:4044
+1129:2:4048
+1130:2:4049
+1131:2:4043
+1132:2:4044
+1133:2:4048
+1134:2:4049
+1135:2:4057
+1136:2:4062
+1137:2:4063
+1138:2:4074
+1139:2:4075
+1140:2:4076
+1141:2:4087
+1142:2:4092
+1143:2:4093
+1144:2:4104
+1145:2:4105
+1146:2:4106
+1147:2:4104
+1148:2:4105
+1149:2:4106
+1150:2:4117
+1151:0:4863
+1152:2:3721
+1153:0:4863
+1154:2:4126
+1155:2:4127
+1156:2:4131
+1157:2:4132
+1158:2:4140
+1159:2:4141
+1160:2:4145
+1161:2:4146
+1162:2:4154
+1163:2:4159
+1164:2:4163
+1165:2:4164
+1166:2:4172
+1167:2:4173
+1168:2:4177
+1169:2:4178
+1170:2:4172
+1171:2:4173
+1172:2:4177
+1173:2:4178
+1174:2:4186
+1175:2:4191
+1176:2:4192
+1177:2:4203
+1178:2:4204
+1179:2:4205
+1180:2:4216
+1181:2:4221
+1182:2:4222
+1183:2:4233
+1184:2:4234
+1185:2:4235
+1186:2:4233
+1187:2:4234
+1188:2:4235
+1189:2:4246
+1190:2:4253
+1191:0:4863
+1192:2:3721
+1193:0:4863
+1194:2:4257
+1195:2:4258
+1196:2:4259
+1197:2:4271
+1198:2:4272
+1199:2:4276
+1200:2:4277
+1201:2:4285
+1202:2:4290
+1203:2:4294
+1204:2:4295
+1205:2:4303
+1206:2:4304
+1207:2:4308
+1208:2:4309
+1209:2:4303
+1210:2:4304
+1211:2:4308
+1212:2:4309
+1213:2:4317
+1214:2:4322
+1215:2:4323
+1216:2:4334
+1217:2:4335
+1218:2:4336
+1219:2:4347
+1220:2:4352
+1221:2:4353
+1222:2:4364
+1223:2:4365
+1224:2:4366
+1225:2:4364
+1226:2:4365
+1227:2:4366
+1228:2:4377
+1229:2:4387
+1230:2:4388
+1231:0:4863
+1232:2:3721
+1233:0:4863
+1234:2:4394
+1235:0:4863
+1236:2:4696
+1237:2:4697
+1238:2:4701
+1239:2:4705
+1240:2:4706
+1241:2:4710
+1242:2:4718
+1243:2:4719
+1244:2:4723
+1245:2:4727
+1246:2:4728
+1247:2:4723
+1248:2:4727
+1249:2:4728
+1250:2:4732
+1251:2:4739
+1252:2:4746
+1253:2:4747
+1254:2:4754
+1255:2:4759
+1256:2:4766
+1257:2:4767
+1258:2:4766
+1259:2:4767
+1260:2:4774
+1261:2:4778
+1262:0:4863
+1263:2:4396
+1264:2:4401
+1265:0:4863
+1266:2:3721
+1267:0:4863
+1268:2:4397
+1269:0:4863
+1270:2:4405
+1271:0:4863
+1272:2:4406
+1273:0:4863
+1274:2:3286
+1275:0:4863
+1276:2:3289
+1277:2:3293
+1278:2:3294
+1279:2:3302
+1280:2:3303
+1281:2:3307
+1282:2:3308
+1283:2:3316
+1284:2:3321
+1285:2:3325
+1286:2:3326
+1287:2:3334
+1288:2:3335
+1289:2:3336
+1290:2:3334
+1291:2:3335
+1292:2:3339
+1293:2:3340
+1294:2:3348
+1295:2:3353
+1296:2:3354
+1297:2:3365
+1298:2:3366
+1299:2:3367
+1300:2:3378
+1301:2:3383
+1302:2:3384
+1303:2:3395
+1304:2:3396
+1305:2:3397
+1306:2:3395
+1307:2:3396
+1308:2:3397
+1309:2:3408
+1310:2:3412
+1311:0:4863
+1312:2:3415
+1313:0:4863
+1314:2:3421
+1315:2:3422
+1316:2:3426
+1317:2:3430
+1318:2:3431
+1319:2:3435
+1320:2:3443
+1321:2:3444
+1322:2:3448
+1323:2:3449
+1324:2:3448
+1325:2:3452
+1326:2:3453
+1327:2:3457
+1328:2:3461
+1329:0:4863
+1330:2:3464
+1331:0:4863
+1332:2:3465
+1333:2:3469
+1334:2:3470
+1335:2:3478
+1336:2:3479
+1337:2:3483
+1338:2:3484
+1339:2:3492
+1340:2:3497
+1341:2:3501
+1342:2:3502
+1343:2:3510
+1344:2:3511
+1345:2:3515
+1346:2:3516
+1347:2:3510
+1348:2:3511
+1349:2:3515
+1350:2:3516
+1351:2:3524
+1352:2:3529
+1353:2:3530
+1354:2:3541
+1355:2:3542
+1356:2:3543
+1357:2:3554
+1358:2:3559
+1359:2:3560
+1360:2:3571
+1361:2:3572
+1362:2:3573
+1363:2:3571
+1364:2:3572
+1365:2:3573
+1366:2:3584
+1367:2:3588
+1368:0:4863
+1369:2:3591
+1370:0:4863
+1371:2:3594
+1372:2:3598
+1373:2:3599
+1374:2:3607
+1375:2:3608
+1376:2:3612
+1377:2:3613
+1378:2:3621
+1379:2:3626
+1380:2:3627
+1381:2:3639
+1382:2:3640
+1383:2:3644
+1384:2:3645
+1385:2:3639
+1386:2:3640
+1387:2:3644
+1388:2:3645
+1389:2:3653
+1390:2:3658
+1391:2:3659
+1392:2:3670
+1393:2:3671
+1394:2:3672
+1395:2:3683
+1396:2:3688
+1397:2:3689
+1398:2:3700
+1399:2:3701
+1400:2:3702
+1401:2:3700
+1402:2:3701
+1403:2:3702
+1404:2:3713
+1405:2:3717
+1406:0:4863
+1407:2:3720
+1408:0:4863
+1409:2:3721
+1410:0:4863
+1411:2:3722
+1412:0:4863
+1413:2:4423
+1414:2:4424
+1415:2:4428
+1416:2:4432
+1417:2:4433
+1418:2:4437
+1419:2:4445
+1420:2:4446
+1421:2:4450
+1422:2:4454
+1423:2:4455
+1424:2:4450
+1425:2:4454
+1426:2:4455
+1427:2:4459
+1428:2:4466
+1429:2:4473
+1430:2:4474
+1431:2:4481
+1432:2:4486
+1433:2:4493
+1434:2:4494
+1435:2:4493
+1436:2:4494
+1437:2:4501
+1438:2:4505
+1439:0:4863
+1440:2:3724
+1441:2:4401
+1442:0:4863
+1443:2:3721
+1444:0:4863
+1445:2:3725
+1446:0:4863
+1447:2:3721
+1448:0:4863
+1449:2:3728
+1450:2:3729
+1451:2:3733
+1452:2:3734
+1453:2:3742
+1454:2:3743
+1455:2:3747
+1456:2:3748
+1457:2:3756
+1458:2:3761
+1459:2:3765
+1460:2:3766
+1461:2:3774
+1462:2:3775
+1463:2:3779
+1464:2:3780
+1465:2:3774
+1466:2:3775
+1467:2:3779
+1468:2:3780
+1469:2:3788
+1470:2:3793
+1471:2:3794
+1472:2:3805
+1473:2:3806
+1474:2:3807
+1475:2:3818
+1476:2:3823
+1477:2:3824
+1478:2:3835
+1479:2:3836
+1480:2:3837
+1481:2:3835
+1482:2:3836
+1483:2:3837
+1484:2:3848
+1485:2:3855
+1486:0:4863
+1487:2:3721
+1488:0:4863
+1489:2:3859
+1490:2:3860
+1491:2:3861
+1492:2:3873
+1493:2:3874
+1494:2:3878
+1495:2:3879
+1496:2:3887
+1497:2:3892
+1498:2:3896
+1499:2:3897
+1500:2:3905
+1501:2:3906
+1502:2:3910
+1503:2:3911
+1504:2:3905
+1505:2:3906
+1506:2:3910
+1507:2:3911
+1508:2:3919
+1509:2:3924
+1510:2:3925
+1511:2:3936
+1512:2:3937
+1513:2:3938
+1514:2:3949
+1515:2:3954
+1516:2:3955
+1517:2:3966
+1518:2:3967
+1519:2:3968
+1520:2:3966
+1521:2:3967
+1522:2:3968
+1523:2:3979
+1524:2:3990
+1525:2:3991
+1526:0:4863
+1527:2:3721
+1528:0:4863
+1529:2:3997
+1530:2:3998
+1531:2:4002
+1532:2:4003
+1533:2:4011
+1534:2:4012
+1535:2:4016
+1536:2:4017
+1537:2:4025
+1538:2:4030
+1539:2:4034
+1540:2:4035
+1541:2:4043
+1542:2:4044
+1543:2:4048
+1544:2:4049
+1545:2:4043
+1546:2:4044
+1547:2:4048
+1548:2:4049
+1549:2:4057
+1550:2:4062
+1551:2:4063
+1552:2:4074
+1553:2:4075
+1554:2:4076
+1555:2:4087
+1556:2:4092
+1557:2:4093
+1558:2:4104
+1559:2:4105
+1560:2:4106
+1561:2:4104
+1562:2:4105
+1563:2:4106
+1564:2:4117
+1565:0:4863
+1566:2:3721
+1567:0:4863
+1568:2:4126
+1569:2:4127
+1570:2:4131
+1571:2:4132
+1572:2:4140
+1573:2:4141
+1574:2:4145
+1575:2:4146
+1576:2:4154
+1577:2:4159
+1578:2:4163
+1579:2:4164
+1580:2:4172
+1581:2:4173
+1582:2:4177
+1583:2:4178
+1584:2:4172
+1585:2:4173
+1586:2:4177
+1587:2:4178
+1588:2:4186
+1589:2:4191
+1590:2:4192
+1591:2:4203
+1592:2:4204
+1593:2:4205
+1594:2:4216
+1595:2:4221
+1596:2:4222
+1597:2:4233
+1598:2:4234
+1599:2:4235
+1600:2:4233
+1601:2:4234
+1602:2:4235
+1603:2:4246
+1604:2:4253
+1605:0:4863
+1606:2:3721
+1607:0:4863
+1608:2:4257
+1609:2:4258
+1610:2:4259
+1611:2:4271
+1612:2:4272
+1613:2:4276
+1614:2:4277
+1615:2:4285
+1616:2:4290
+1617:2:4294
+1618:2:4295
+1619:2:4303
+1620:2:4304
+1621:2:4308
+1622:2:4309
+1623:2:4303
+1624:2:4304
+1625:2:4308
+1626:2:4309
+1627:2:4317
+1628:2:4322
+1629:2:4323
+1630:2:4334
+1631:2:4335
+1632:2:4336
+1633:2:4347
+1634:2:4352
+1635:2:4353
+1636:2:4364
+1637:2:4365
+1638:2:4366
+1639:2:4364
+1640:2:4365
+1641:2:4366
+1642:2:4377
+1643:2:4387
+1644:2:4388
+1645:0:4863
+1646:2:3721
+1647:0:4863
+1648:2:4394
+1649:0:4863
+1650:2:4696
+1651:2:4697
+1652:2:4701
+1653:2:4705
+1654:2:4706
+1655:2:4710
+1656:2:4718
+1657:2:4719
+1658:2:4723
+1659:2:4727
+1660:2:4728
+1661:2:4723
+1662:2:4727
+1663:2:4728
+1664:2:4732
+1665:2:4739
+1666:2:4746
+1667:2:4747
+1668:2:4754
+1669:2:4759
+1670:2:4766
+1671:2:4767
+1672:2:4766
+1673:2:4767
+1674:2:4774
+1675:2:4778
+1676:0:4863
+1677:2:4396
+1678:2:4401
+1679:0:4863
+1680:2:3721
+1681:0:4863
+1682:2:4397
+1683:0:4863
+1684:2:4405
+1685:0:4863
+1686:2:4406
+1687:0:4863
+1688:2:3286
+1689:0:4863
+1690:2:3289
+1691:2:3293
+1692:2:3294
+1693:2:3302
+1694:2:3303
+1695:2:3307
+1696:2:3308
+1697:2:3316
+1698:2:3321
+1699:2:3325
+1700:2:3326
+1701:2:3334
+1702:2:3335
+1703:2:3339
+1704:2:3340
+1705:2:3334
+1706:2:3335
+1707:2:3336
+1708:2:3348
+1709:2:3353
+1710:2:3354
+1711:2:3365
+1712:2:3366
+1713:2:3367
+1714:2:3378
+1715:2:3383
+1716:2:3384
+1717:2:3395
+1718:2:3396
+1719:2:3397
+1720:2:3395
+1721:2:3396
+1722:2:3397
+1723:2:3408
+1724:2:3412
+1725:0:4863
+1726:2:3415
+1727:0:4863
+1728:1:2
+1729:0:4863
+1730:1:8
+1731:0:4863
+1732:1:9
+1733:0:4863
+1734:1:10
+1735:0:4863
+1736:1:11
+1737:0:4863
+1738:1:12
+1739:1:13
+1740:1:17
+1741:1:18
+1742:1:26
+1743:1:27
+1744:1:31
+1745:1:32
+1746:1:40
+1747:1:45
+1748:1:49
+1749:1:50
+1750:1:58
+1751:1:59
+1752:1:63
+1753:1:64
+1754:1:58
+1755:1:59
+1756:1:63
+1757:1:64
+1758:1:72
+1759:1:77
+1760:1:78
+1761:1:89
+1762:1:90
+1763:1:91
+1764:1:102
+1765:1:107
+1766:1:108
+1767:1:119
+1768:1:120
+1769:1:121
+1770:1:119
+1771:1:120
+1772:1:121
+1773:1:132
+1774:0:4863
+1775:1:11
+1776:0:4863
+1777:1:141
+1778:1:142
+1779:0:4863
+1780:1:11
+1781:0:4863
+1782:1:148
+1783:1:149
+1784:1:153
+1785:1:154
+1786:1:162
+1787:1:163
+1788:1:167
+1789:1:168
+1790:1:176
+1791:1:181
+1792:1:185
+1793:1:186
+1794:1:194
+1795:1:195
+1796:1:199
+1797:1:200
+1798:1:194
+1799:1:195
+1800:1:199
+1801:1:200
+1802:1:208
+1803:1:213
+1804:1:214
+1805:1:225
+1806:1:226
+1807:1:227
+1808:1:238
+1809:1:243
+1810:1:244
+1811:1:255
+1812:1:256
+1813:1:257
+1814:1:255
+1815:1:256
+1816:1:257
+1817:1:268
+1818:0:4863
+1819:1:11
+1820:0:4863
+1821:1:277
+1822:1:278
+1823:1:282
+1824:1:283
+1825:1:291
+1826:1:292
+1827:1:296
+1828:1:297
+1829:1:305
+1830:1:310
+1831:1:314
+1832:1:315
+1833:1:323
+1834:1:324
+1835:1:328
+1836:1:329
+1837:1:323
+1838:1:324
+1839:1:328
+1840:1:329
+1841:1:337
+1842:1:342
+1843:1:343
+1844:1:354
+1845:1:355
+1846:1:356
+1847:1:367
+1848:1:372
+1849:1:373
+1850:1:384
+1851:1:385
+1852:1:386
+1853:1:384
+1854:1:385
+1855:1:386
+1856:1:397
+1857:1:404
+1858:0:4863
+1859:1:11
+1860:0:4863
+1861:1:540
+1862:1:544
+1863:1:545
+1864:1:549
+1865:1:550
+1866:1:558
+1867:1:566
+1868:1:567
+1869:1:571
+1870:1:575
+1871:1:576
+1872:1:571
+1873:1:575
+1874:1:576
+1875:1:580
+1876:1:587
+1877:1:594
+1878:1:595
+1879:1:602
+1880:1:607
+1881:1:614
+1882:1:615
+1883:1:614
+1884:1:615
+1885:1:622
+1886:0:4863
+1887:1:11
+1888:0:4863
+1889:2:3421
+1890:2:3422
+1891:2:3426
+1892:2:3430
+1893:2:3431
+1894:2:3435
+1895:2:3443
+1896:2:3444
+1897:2:3448
+1898:2:3452
+1899:2:3453
+1900:2:3448
+1901:2:3449
+1902:2:3457
+1903:2:3461
+1904:0:4863
+1905:2:3464
+1906:0:4863
+1907:2:3465
+1908:2:3469
+1909:2:3470
+1910:2:3478
+1911:2:3479
+1912:2:3483
+1913:2:3484
+1914:2:3492
+1915:2:3497
+1916:2:3501
+1917:2:3502
+1918:2:3510
+1919:2:3511
+1920:2:3515
+1921:2:3516
+1922:2:3510
+1923:2:3511
+1924:2:3515
+1925:2:3516
+1926:2:3524
+1927:2:3529
+1928:2:3530
+1929:2:3541
+1930:2:3542
+1931:2:3543
+1932:2:3554
+1933:2:3559
+1934:2:3560
+1935:2:3571
+1936:2:3572
+1937:2:3573
+1938:2:3571
+1939:2:3572
+1940:2:3573
+1941:2:3584
+1942:2:3588
+1943:0:4863
+1944:2:3591
+1945:0:4863
+1946:2:3594
+1947:2:3598
+1948:2:3599
+1949:2:3607
+1950:2:3608
+1951:2:3612
+1952:2:3613
+1953:2:3621
+1954:2:3626
+1955:2:3627
+1956:2:3639
+1957:2:3640
+1958:2:3644
+1959:2:3645
+1960:2:3639
+1961:2:3640
+1962:2:3644
+1963:2:3645
+1964:2:3653
+1965:2:3658
+1966:2:3659
+1967:2:3670
+1968:2:3671
+1969:2:3672
+1970:2:3683
+1971:2:3688
+1972:2:3689
+1973:2:3700
+1974:2:3701
+1975:2:3702
+1976:2:3700
+1977:2:3701
+1978:2:3702
+1979:2:3713
+1980:2:3717
+1981:0:4863
+1982:2:3720
+1983:0:4863
+1984:2:3721
+1985:0:4863
+1986:2:3722
+1987:0:4863
+1988:2:4423
+1989:2:4424
+1990:2:4428
+1991:2:4432
+1992:2:4433
+1993:2:4437
+1994:2:4445
+1995:2:4446
+1996:2:4450
+1997:2:4454
+1998:2:4455
+1999:2:4450
+2000:2:4454
+2001:2:4455
+2002:2:4459
+2003:2:4466
+2004:2:4473
+2005:2:4474
+2006:2:4481
+2007:2:4486
+2008:2:4493
+2009:2:4494
+2010:2:4493
+2011:2:4494
+2012:2:4501
+2013:2:4505
+2014:0:4863
+2015:2:3724
+2016:2:4401
+2017:0:4863
+2018:2:3721
+2019:0:4863
+2020:2:3725
+2021:0:4863
+2022:2:3721
+2023:0:4863
+2024:2:3728
+2025:2:3729
+2026:2:3733
+2027:2:3734
+2028:2:3742
+2029:2:3743
+2030:2:3747
+2031:2:3748
+2032:2:3756
+2033:2:3761
+2034:2:3765
+2035:2:3766
+2036:2:3774
+2037:2:3775
+2038:2:3779
+2039:2:3780
+2040:2:3774
+2041:2:3775
+2042:2:3779
+2043:2:3780
+2044:2:3788
+2045:2:3793
+2046:2:3794
+2047:2:3805
+2048:2:3806
+2049:2:3807
+2050:2:3818
+2051:2:3823
+2052:2:3824
+2053:2:3835
+2054:2:3836
+2055:2:3837
+2056:2:3835
+2057:2:3836
+2058:2:3837
+2059:2:3848
+2060:2:3855
+2061:0:4863
+2062:2:3721
+2063:0:4863
+2064:2:3859
+2065:2:3860
+2066:2:3861
+2067:2:3873
+2068:2:3874
+2069:2:3878
+2070:2:3879
+2071:2:3887
+2072:2:3892
+2073:2:3896
+2074:2:3897
+2075:2:3905
+2076:2:3906
+2077:2:3910
+2078:2:3911
+2079:2:3905
+2080:2:3906
+2081:2:3910
+2082:2:3911
+2083:2:3919
+2084:2:3924
+2085:2:3925
+2086:2:3936
+2087:2:3937
+2088:2:3938
+2089:2:3949
+2090:2:3954
+2091:2:3955
+2092:2:3966
+2093:2:3967
+2094:2:3968
+2095:2:3966
+2096:2:3967
+2097:2:3968
+2098:2:3979
+2099:2:3988
+2100:0:4863
+2101:2:3721
+2102:0:4863
+2103:2:3994
+2104:0:4863
+2105:2:4514
+2106:2:4515
+2107:2:4519
+2108:2:4523
+2109:2:4524
+2110:2:4528
+2111:2:4536
+2112:2:4537
+2113:2:4541
+2114:2:4545
+2115:2:4546
+2116:2:4541
+2117:2:4545
+2118:2:4546
+2119:2:4550
+2120:2:4557
+2121:2:4564
+2122:2:4565
+2123:2:4572
+2124:2:4577
+2125:2:4584
+2126:2:4585
+2127:2:4584
+2128:2:4585
+2129:2:4592
+2130:2:4596
+2131:0:4863
+2132:2:3996
+2133:2:4401
+2134:0:4863
+2135:2:3721
+2136:0:4863
+2137:1:632
+2138:1:633
+2139:1:637
+2140:1:638
+2141:1:646
+2142:1:647
+2143:1:651
+2144:1:652
+2145:1:660
+2146:1:665
+2147:1:669
+2148:1:670
+2149:1:678
+2150:1:679
+2151:1:683
+2152:1:684
+2153:1:678
+2154:1:679
+2155:1:683
+2156:1:684
+2157:1:692
+2158:1:697
+2159:1:698
+2160:1:709
+2161:1:710
+2162:1:711
+2163:1:722
+2164:1:727
+2165:1:728
+2166:1:739
+2167:1:740
+2168:1:741
+2169:1:739
+2170:1:747
+2171:1:748
+2172:1:752
+2173:0:4863
+2174:1:11
+2175:0:4863
+2176:2:3859
+2177:2:3860
+2178:2:3864
+2179:2:3865
+2180:2:3873
+2181:2:3874
+2182:2:3878
+2183:2:3879
+2184:2:3887
+2185:2:3892
+2186:2:3896
+2187:2:3897
+2188:2:3905
+2189:2:3906
+2190:2:3910
+2191:2:3911
+2192:2:3905
+2193:2:3906
+2194:2:3910
+2195:2:3911
+2196:2:3919
+2197:2:3924
+2198:2:3925
+2199:2:3936
+2200:2:3937
+2201:2:3938
+2202:2:3949
+2203:2:3954
+2204:2:3955
+2205:2:3966
+2206:2:3967
+2207:2:3968
+2208:2:3966
+2209:2:3967
+2210:2:3968
+2211:2:3979
+2212:2:3988
+2213:0:4863
+2214:2:3721
+2215:0:4863
+2216:2:3994
+2217:0:4863
+2218:2:4514
+2219:2:4515
+2220:2:4519
+2221:2:4523
+2222:2:4524
+2223:2:4528
+2224:2:4536
+2225:2:4537
+2226:2:4541
+2227:2:4545
+2228:2:4546
+2229:2:4541
+2230:2:4545
+2231:2:4546
+2232:2:4550
+2233:2:4557
+2234:2:4564
+2235:2:4565
+2236:2:4572
+2237:2:4577
+2238:2:4584
+2239:2:4585
+2240:2:4584
+2241:2:4585
+2242:2:4592
+2243:2:4596
+2244:0:4863
+2245:2:3996
+2246:2:4401
+2247:0:4863
+2248:1:761
+2249:1:764
+2250:1:765
+2251:0:4863
+2252:2:3721
+2253:0:4863
+2254:1:11
+2255:0:4863
+2256:2:3859
+2257:2:3860
+2258:2:3864
+2259:2:3865
+2260:2:3873
+2261:2:3874
+2262:2:3878
+2263:2:3879
+2264:2:3887
+2265:2:3892
+2266:2:3896
+2267:2:3897
+2268:2:3905
+2269:2:3906
+2270:2:3910
+2271:2:3911
+2272:2:3905
+2273:2:3906
+2274:2:3910
+2275:2:3911
+2276:2:3919
+2277:2:3924
+2278:2:3925
+2279:2:3936
+2280:2:3937
+2281:2:3938
+2282:2:3949
+2283:2:3954
+2284:2:3955
+2285:2:3966
+2286:2:3967
+2287:2:3968
+2288:2:3966
+2289:2:3967
+2290:2:3968
+2291:2:3979
+2292:2:3988
+2293:0:4863
+2294:2:3721
+2295:0:4863
+2296:2:3994
+2297:0:4863
+2298:2:4514
+2299:2:4515
+2300:2:4519
+2301:2:4523
+2302:2:4524
+2303:2:4528
+2304:2:4536
+2305:2:4537
+2306:2:4541
+2307:2:4545
+2308:2:4546
+2309:2:4541
+2310:2:4545
+2311:2:4546
+2312:2:4550
+2313:2:4557
+2314:2:4564
+2315:2:4565
+2316:2:4572
+2317:2:4577
+2318:2:4584
+2319:2:4585
+2320:2:4584
+2321:2:4585
+2322:2:4592
+2323:2:4596
+2324:0:4863
+2325:2:3996
+2326:2:4401
+2327:0:4863
+2328:1:1028
+2329:1:1029
+2330:1:1033
+2331:1:1034
+2332:1:1042
+2333:1:1043
+2334:1:1047
+2335:1:1048
+2336:1:1056
+2337:1:1061
+2338:1:1065
+2339:1:1066
+2340:1:1074
+2341:1:1075
+2342:1:1079
+2343:1:1080
+2344:1:1074
+2345:1:1075
+2346:1:1079
+2347:1:1080
+2348:1:1088
+2349:1:1093
+2350:1:1094
+2351:1:1105
+2352:1:1106
+2353:1:1107
+2354:1:1118
+2355:1:1123
+2356:1:1124
+2357:1:1135
+2358:1:1136
+2359:1:1137
+2360:1:1135
+2361:1:1143
+2362:1:1144
+2363:1:1148
+2364:1:1155
+2365:1:1159
+2366:0:4863
+2367:2:3721
+2368:0:4863
+2369:1:11
+2370:0:4863
+2371:2:3859
+2372:2:3860
+2373:2:3864
+2374:2:3865
+2375:2:3873
+2376:2:3874
+2377:2:3878
+2378:2:3879
+2379:2:3887
+2380:2:3892
+2381:2:3896
+2382:2:3897
+2383:2:3905
+2384:2:3906
+2385:2:3910
+2386:2:3911
+2387:2:3905
+2388:2:3906
+2389:2:3910
+2390:2:3911
+2391:2:3919
+2392:2:3924
+2393:2:3925
+2394:2:3936
+2395:2:3937
+2396:2:3938
+2397:2:3949
+2398:2:3954
+2399:2:3955
+2400:2:3966
+2401:2:3967
+2402:2:3968
+2403:2:3966
+2404:2:3967
+2405:2:3968
+2406:2:3979
+2407:2:3988
+2408:0:4863
+2409:2:3721
+2410:0:4863
+2411:2:3994
+2412:0:4863
+2413:2:4514
+2414:2:4515
+2415:2:4519
+2416:2:4523
+2417:2:4524
+2418:2:4528
+2419:2:4536
+2420:2:4537
+2421:2:4541
+2422:2:4545
+2423:2:4546
+2424:2:4541
+2425:2:4545
+2426:2:4546
+2427:2:4550
+2428:2:4557
+2429:2:4564
+2430:2:4565
+2431:2:4572
+2432:2:4577
+2433:2:4584
+2434:2:4585
+2435:2:4584
+2436:2:4585
+2437:2:4592
+2438:2:4596
+2439:0:4863
+2440:2:3996
+2441:2:4401
+2442:0:4863
+2443:1:1160
+2444:1:1161
+2445:1:1165
+2446:1:1166
+2447:1:1174
+2448:1:1175
+2449:1:1176
+2450:1:1188
+2451:1:1193
+2452:1:1197
+2453:1:1198
+2454:1:1206
+2455:1:1207
+2456:1:1211
+2457:1:1212
+2458:1:1206
+2459:1:1207
+2460:1:1211
+2461:1:1212
+2462:1:1220
+2463:1:1225
+2464:1:1226
+2465:1:1237
+2466:1:1238
+2467:1:1239
+2468:1:1250
+2469:1:1255
+2470:1:1256
+2471:1:1267
+2472:1:1268
+2473:1:1269
+2474:1:1267
+2475:1:1275
+2476:1:1276
+2477:1:1280
+2478:0:4863
+2479:2:3721
+2480:0:4863
+2481:1:11
+2482:0:4863
+2483:2:3859
+2484:2:3860
+2485:2:3864
+2486:2:3865
+2487:2:3873
+2488:2:3874
+2489:2:3878
+2490:2:3879
+2491:2:3887
+2492:2:3892
+2493:2:3896
+2494:2:3897
+2495:2:3905
+2496:2:3906
+2497:2:3910
+2498:2:3911
+2499:2:3905
+2500:2:3906
+2501:2:3910
+2502:2:3911
+2503:2:3919
+2504:2:3924
+2505:2:3925
+2506:2:3936
+2507:2:3937
+2508:2:3938
+2509:2:3949
+2510:2:3954
+2511:2:3955
+2512:2:3966
+2513:2:3967
+2514:2:3968
+2515:2:3966
+2516:2:3967
+2517:2:3968
+2518:2:3979
+2519:2:3988
+2520:0:4863
+2521:2:3721
+2522:0:4863
+2523:2:3994
+2524:0:4863
+2525:2:4514
+2526:2:4515
+2527:2:4519
+2528:2:4523
+2529:2:4524
+2530:2:4528
+2531:2:4536
+2532:2:4537
+2533:2:4541
+2534:2:4545
+2535:2:4546
+2536:2:4541
+2537:2:4545
+2538:2:4546
+2539:2:4550
+2540:2:4557
+2541:2:4564
+2542:2:4565
+2543:2:4572
+2544:2:4577
+2545:2:4584
+2546:2:4585
+2547:2:4584
+2548:2:4585
+2549:2:4592
+2550:2:4596
+2551:0:4863
+2552:2:3996
+2553:2:4401
+2554:0:4863
+2555:2:3721
+2556:0:4863
+2557:1:1289
+2558:1:1290
+2559:1:1294
+2560:1:1295
+2561:1:1303
+2562:1:1304
+2563:1:1308
+2564:1:1309
+2565:1:1317
+2566:1:1322
+2567:1:1326
+2568:1:1327
+2569:1:1335
+2570:1:1336
+2571:1:1340
+2572:1:1341
+2573:1:1335
+2574:1:1336
+2575:1:1340
+2576:1:1341
+2577:1:1349
+2578:1:1354
+2579:1:1355
+2580:1:1366
+2581:1:1367
+2582:1:1368
+2583:1:1379
+2584:1:1384
+2585:1:1385
+2586:1:1396
+2587:1:1397
+2588:1:1398
+2589:1:1396
+2590:1:1404
+2591:1:1405
+2592:1:1409
+2593:0:4861
+2594:1:11
+2595:0:4867
+2596:0:4863