X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu-controldataflow-alpha-ipi%2Furcu_free_no_mb.spin.input.trail;fp=formal-model%2Furcu-controldataflow-alpha-ipi%2Furcu_free_no_mb.spin.input.trail;h=915575ede716a0e1cda794cab1cae61687e01e0d;hb=b6b17880a1a83b679d968907e2ff6cf72dd645fb;hp=0000000000000000000000000000000000000000;hpb=06e8b2a87f862183a26e0005bf04221633f49d0c;p=urcu.git

diff --git a/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input.trail
new file mode 100644
index 0000000..915575e
--- /dev/null
+++ b/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input.trail
@@ -0,0 +1,1485 @@
+-2:3:-2
+-4:-4:-4
+1:0:4654
+2:2:2900
+3:2:2905
+4:2:2909
+5:2:2917
+6:2:2921
+7:2:2925
+8:0:4654
+9:1:0
+10:1:5
+11:1:9
+12:1:17
+13:1:21
+14:1:25
+15:0:4654
+16:3:4624
+17:3:4627
+18:3:4634
+19:3:4641
+20:3:4644
+21:3:4648
+22:3:4649
+23:0:4654
+24:3:4651
+25:0:4654
+26:2:2929
+27:0:4654
+28:2:2935
+29:0:4654
+30:2:2936
+31:0:4654
+32:2:2938
+33:0:4654
+34:2:2939
+35:0:4654
+36:2:2940
+37:0:4654
+38:2:2941
+39:0:4654
+40:2:2942
+41:2:2943
+42:2:2947
+43:2:2948
+44:2:2956
+45:2:2957
+46:2:2961
+47:2:2962
+48:2:2970
+49:2:2975
+50:2:2979
+51:2:2980
+52:2:2988
+53:2:2989
+54:2:2993
+55:2:2994
+56:2:2988
+57:2:2989
+58:2:2993
+59:2:2994
+60:2:3002
+61:2:3007
+62:2:3008
+63:2:3019
+64:2:3020
+65:2:3021
+66:2:3032
+67:2:3037
+68:2:3038
+69:2:3049
+70:2:3050
+71:2:3051
+72:2:3049
+73:2:3050
+74:2:3051
+75:2:3062
+76:2:3070
+77:0:4654
+78:2:2941
+79:0:4654
+80:2:3074
+81:2:3078
+82:2:3079
+83:2:3083
+84:2:3087
+85:2:3088
+86:2:3092
+87:2:3100
+88:2:3101
+89:2:3105
+90:2:3109
+91:2:3110
+92:2:3105
+93:2:3106
+94:2:3114
+95:0:4654
+96:2:2941
+97:0:4654
+98:2:3122
+99:2:3123
+100:2:3124
+101:0:4654
+102:2:2941
+103:0:4654
+104:2:3132
+105:0:4654
+106:2:2941
+107:0:4654
+108:2:3135
+109:2:3136
+110:2:3140
+111:2:3141
+112:2:3149
+113:2:3150
+114:2:3154
+115:2:3155
+116:2:3163
+117:2:3168
+118:2:3169
+119:2:3181
+120:2:3182
+121:2:3186
+122:2:3187
+123:2:3181
+124:2:3182
+125:2:3186
+126:2:3187
+127:2:3195
+128:2:3200
+129:2:3201
+130:2:3212
+131:2:3213
+132:2:3214
+133:2:3225
+134:2:3230
+135:2:3231
+136:2:3242
+137:2:3243
+138:2:3244
+139:2:3242
+140:2:3243
+141:2:3244
+142:2:3255
+143:2:3262
+144:0:4654
+145:2:2941
+146:0:4654
+147:2:3266
+148:2:3267
+149:2:3268
+150:2:3280
+151:2:3281
+152:2:3285
+153:2:3286
+154:2:3294
+155:2:3299
+156:2:3303
+157:2:3304
+158:2:3312
+159:2:3313
+160:2:3317
+161:2:3318
+162:2:3312
+163:2:3313
+164:2:3317
+165:2:3318
+166:2:3326
+167:2:3331
+168:2:3332
+169:2:3343
+170:2:3344
+171:2:3345
+172:2:3356
+173:2:3361
+174:2:3362
+175:2:3373
+176:2:3374
+177:2:3375
+178:2:3373
+179:2:3374
+180:2:3375
+181:2:3386
+182:2:3397
+183:2:3398
+184:0:4654
+185:2:2941
+186:0:4654
+187:2:3405
+188:2:3406
+189:2:3410
+190:2:3411
+191:2:3419
+192:2:3420
+193:2:3424
+194:2:3425
+195:2:3433
+196:2:3438
+197:2:3442
+198:2:3443
+199:2:3451
+200:2:3452
+201:2:3456
+202:2:3457
+203:2:3451
+204:2:3452
+205:2:3456
+206:2:3457
+207:2:3465
+208:2:3470
+209:2:3471
+210:2:3482
+211:2:3483
+212:2:3484
+213:2:3495
+214:2:3500
+215:2:3501
+216:2:3512
+217:2:3513
+218:2:3514
+219:2:3512
+220:2:3513
+221:2:3514
+222:2:3525
+223:0:4654
+224:2:2941
+225:0:4654
+226:2:3534
+227:2:3535
+228:2:3539
+229:2:3540
+230:2:3548
+231:2:3549
+232:2:3553
+233:2:3554
+234:2:3562
+235:2:3567
+236:2:3571
+237:2:3572
+238:2:3580
+239:2:3581
+240:2:3585
+241:2:3586
+242:2:3580
+243:2:3581
+244:2:3585
+245:2:3586
+246:2:3594
+247:2:3599
+248:2:3600
+249:2:3611
+250:2:3612
+251:2:3613
+252:2:3624
+253:2:3629
+254:2:3630
+255:2:3641
+256:2:3642
+257:2:3643
+258:2:3641
+259:2:3642
+260:2:3643
+261:2:3654
+262:2:3661
+263:0:4654
+264:2:2941
+265:0:4654
+266:2:3665
+267:2:3666
+268:2:3667
+269:2:3679
+270:2:3680
+271:2:3684
+272:2:3685
+273:2:3693
+274:2:3698
+275:2:3702
+276:2:3703
+277:2:3711
+278:2:3712
+279:2:3716
+280:2:3717
+281:2:3711
+282:2:3712
+283:2:3716
+284:2:3717
+285:2:3725
+286:2:3730
+287:2:3731
+288:2:3742
+289:2:3743
+290:2:3744
+291:2:3755
+292:2:3760
+293:2:3761
+294:2:3772
+295:2:3773
+296:2:3774
+297:2:3772
+298:2:3773
+299:2:3774
+300:2:3785
+301:2:3795
+302:2:3796
+303:0:4654
+304:2:2941
+305:0:4654
+306:2:3805
+307:2:3806
+308:0:4654
+309:2:2941
+310:0:4654
+311:2:3810
+312:0:4654
+313:2:3818
+314:0:4654
+315:2:2936
+316:0:4654
+317:2:2938
+318:0:4654
+319:2:2939
+320:0:4654
+321:2:2940
+322:0:4654
+323:2:2941
+324:0:4654
+325:2:2942
+326:2:2943
+327:2:2947
+328:2:2948
+329:2:2956
+330:2:2957
+331:2:2961
+332:2:2962
+333:2:2970
+334:2:2975
+335:2:2979
+336:2:2980
+337:2:2988
+338:2:2989
+339:2:2990
+340:2:2988
+341:2:2989
+342:2:2993
+343:2:2994
+344:2:3002
+345:2:3007
+346:2:3008
+347:2:3019
+348:2:3020
+349:2:3021
+350:2:3032
+351:2:3037
+352:2:3038
+353:2:3049
+354:2:3050
+355:2:3051
+356:2:3049
+357:2:3050
+358:2:3051
+359:2:3062
+360:2:3070
+361:0:4654
+362:2:2941
+363:0:4654
+364:2:3074
+365:2:3078
+366:2:3079
+367:2:3083
+368:2:3087
+369:2:3088
+370:2:3092
+371:2:3100
+372:2:3101
+373:2:3105
+374:2:3106
+375:2:3105
+376:2:3109
+377:2:3110
+378:2:3114
+379:0:4654
+380:2:2941
+381:0:4654
+382:2:3122
+383:2:3123
+384:2:3124
+385:0:4654
+386:2:2941
+387:0:4654
+388:2:3132
+389:0:4654
+390:2:2941
+391:0:4654
+392:2:3135
+393:2:3136
+394:2:3140
+395:2:3141
+396:2:3149
+397:2:3150
+398:2:3154
+399:2:3155
+400:2:3163
+401:2:3168
+402:2:3169
+403:2:3181
+404:2:3182
+405:2:3186
+406:2:3187
+407:2:3181
+408:2:3182
+409:2:3186
+410:2:3187
+411:2:3195
+412:2:3200
+413:2:3201
+414:2:3212
+415:2:3213
+416:2:3214
+417:2:3225
+418:2:3230
+419:2:3231
+420:2:3242
+421:2:3243
+422:2:3244
+423:2:3242
+424:2:3243
+425:2:3244
+426:2:3255
+427:2:3262
+428:0:4654
+429:2:2941
+430:0:4654
+431:2:3266
+432:2:3267
+433:2:3268
+434:2:3280
+435:2:3281
+436:2:3285
+437:2:3286
+438:2:3294
+439:2:3299
+440:2:3303
+441:2:3304
+442:2:3312
+443:2:3313
+444:2:3317
+445:2:3318
+446:2:3312
+447:2:3313
+448:2:3317
+449:2:3318
+450:2:3326
+451:2:3331
+452:2:3332
+453:2:3343
+454:2:3344
+455:2:3345
+456:2:3356
+457:2:3361
+458:2:3362
+459:2:3373
+460:2:3374
+461:2:3375
+462:2:3373
+463:2:3374
+464:2:3375
+465:2:3386
+466:2:3397
+467:2:3398
+468:0:4654
+469:2:2941
+470:0:4654
+471:2:3405
+472:2:3406
+473:2:3410
+474:2:3411
+475:2:3419
+476:2:3420
+477:2:3424
+478:2:3425
+479:2:3433
+480:2:3438
+481:2:3442
+482:2:3443
+483:2:3451
+484:2:3452
+485:2:3456
+486:2:3457
+487:2:3451
+488:2:3452
+489:2:3456
+490:2:3457
+491:2:3465
+492:2:3470
+493:2:3471
+494:2:3482
+495:2:3483
+496:2:3484
+497:2:3495
+498:2:3500
+499:2:3501
+500:2:3512
+501:2:3513
+502:2:3514
+503:2:3512
+504:2:3513
+505:2:3514
+506:2:3525
+507:0:4654
+508:2:2941
+509:0:4654
+510:2:3534
+511:2:3535
+512:2:3539
+513:2:3540
+514:2:3548
+515:2:3549
+516:2:3553
+517:2:3554
+518:2:3562
+519:2:3567
+520:2:3571
+521:2:3572
+522:2:3580
+523:2:3581
+524:2:3585
+525:2:3586
+526:2:3580
+527:2:3581
+528:2:3585
+529:2:3586
+530:2:3594
+531:2:3599
+532:2:3600
+533:2:3611
+534:2:3612
+535:2:3613
+536:2:3624
+537:2:3629
+538:2:3630
+539:2:3641
+540:2:3642
+541:2:3643
+542:2:3641
+543:2:3642
+544:2:3643
+545:2:3654
+546:2:3661
+547:0:4654
+548:2:2941
+549:0:4654
+550:2:3665
+551:2:3666
+552:2:3667
+553:2:3679
+554:2:3680
+555:2:3684
+556:2:3685
+557:2:3693
+558:2:3698
+559:2:3702
+560:2:3703
+561:2:3711
+562:2:3712
+563:2:3716
+564:2:3717
+565:2:3711
+566:2:3712
+567:2:3716
+568:2:3717
+569:2:3725
+570:2:3730
+571:2:3731
+572:2:3742
+573:2:3743
+574:2:3744
+575:2:3755
+576:2:3760
+577:2:3761
+578:2:3772
+579:2:3773
+580:2:3774
+581:2:3772
+582:2:3773
+583:2:3774
+584:2:3785
+585:2:3795
+586:2:3796
+587:0:4654
+588:2:2941
+589:0:4654
+590:2:3805
+591:2:3806
+592:0:4654
+593:2:2941
+594:0:4654
+595:2:3810
+596:0:4654
+597:2:3818
+598:0:4654
+599:2:2936
+600:0:4654
+601:2:2938
+602:0:4654
+603:2:2939
+604:0:4654
+605:2:2940
+606:0:4654
+607:2:2941
+608:0:4654
+609:2:2942
+610:2:2943
+611:2:2947
+612:2:2948
+613:2:2956
+614:2:2957
+615:2:2961
+616:2:2962
+617:2:2970
+618:2:2975
+619:2:2979
+620:2:2980
+621:2:2988
+622:2:2989
+623:2:2993
+624:2:2994
+625:2:2988
+626:2:2989
+627:2:2990
+628:2:3002
+629:2:3007
+630:2:3008
+631:2:3019
+632:2:3020
+633:2:3021
+634:2:3032
+635:2:3037
+636:2:3038
+637:2:3049
+638:2:3050
+639:2:3051
+640:2:3049
+641:2:3050
+642:2:3051
+643:2:3062
+644:2:3070
+645:0:4654
+646:2:2941
+647:0:4654
+648:2:3074
+649:2:3078
+650:2:3079
+651:2:3083
+652:2:3087
+653:2:3088
+654:2:3092
+655:2:3100
+656:2:3101
+657:2:3105
+658:2:3109
+659:2:3110
+660:2:3105
+661:2:3106
+662:2:3114
+663:0:4654
+664:2:2941
+665:0:4654
+666:2:3122
+667:2:3123
+668:2:3124
+669:0:4654
+670:2:2941
+671:0:4654
+672:2:3132
+673:0:4654
+674:2:2941
+675:0:4654
+676:2:3135
+677:2:3136
+678:2:3140
+679:2:3141
+680:2:3149
+681:2:3150
+682:2:3154
+683:2:3155
+684:2:3163
+685:2:3168
+686:2:3169
+687:2:3181
+688:2:3182
+689:2:3186
+690:2:3187
+691:2:3181
+692:2:3182
+693:2:3186
+694:2:3187
+695:2:3195
+696:2:3200
+697:2:3201
+698:2:3212
+699:2:3213
+700:2:3214
+701:2:3225
+702:2:3230
+703:2:3231
+704:2:3242
+705:2:3243
+706:2:3244
+707:2:3242
+708:2:3243
+709:2:3244
+710:2:3255
+711:2:3262
+712:0:4654
+713:2:2941
+714:0:4654
+715:2:3266
+716:2:3267
+717:2:3268
+718:2:3280
+719:2:3281
+720:2:3285
+721:2:3286
+722:2:3294
+723:2:3299
+724:2:3303
+725:2:3304
+726:2:3312
+727:2:3313
+728:2:3317
+729:2:3318
+730:2:3312
+731:2:3313
+732:2:3317
+733:2:3318
+734:2:3326
+735:2:3331
+736:2:3332
+737:2:3343
+738:2:3344
+739:2:3345
+740:2:3356
+741:2:3361
+742:2:3362
+743:2:3373
+744:2:3374
+745:2:3375
+746:2:3373
+747:2:3374
+748:2:3375
+749:2:3386
+750:2:3397
+751:2:3398
+752:0:4654
+753:2:2941
+754:0:4654
+755:2:3405
+756:2:3406
+757:2:3410
+758:2:3411
+759:2:3419
+760:2:3420
+761:2:3424
+762:2:3425
+763:2:3433
+764:2:3438
+765:2:3442
+766:2:3443
+767:2:3451
+768:2:3452
+769:2:3456
+770:2:3457
+771:2:3451
+772:2:3452
+773:2:3456
+774:2:3457
+775:2:3465
+776:2:3470
+777:2:3471
+778:2:3482
+779:2:3483
+780:2:3484
+781:2:3495
+782:2:3500
+783:2:3501
+784:2:3512
+785:2:3513
+786:2:3514
+787:2:3512
+788:2:3513
+789:2:3514
+790:2:3525
+791:0:4654
+792:2:2941
+793:0:4654
+794:2:3665
+795:2:3666
+796:2:3670
+797:2:3671
+798:2:3679
+799:2:3680
+800:2:3684
+801:2:3685
+802:2:3693
+803:2:3698
+804:2:3702
+805:2:3703
+806:2:3711
+807:2:3712
+808:2:3716
+809:2:3717
+810:2:3711
+811:2:3712
+812:2:3716
+813:2:3717
+814:2:3725
+815:2:3730
+816:2:3731
+817:2:3742
+818:2:3743
+819:2:3744
+820:2:3755
+821:2:3760
+822:2:3761
+823:2:3772
+824:2:3773
+825:2:3774
+826:2:3772
+827:2:3773
+828:2:3774
+829:2:3785
+830:2:3795
+831:2:3796
+832:0:4654
+833:2:2941
+834:0:4654
+835:2:3805
+836:2:3806
+837:0:4654
+838:2:2941
+839:0:4654
+840:2:3534
+841:2:3535
+842:2:3539
+843:2:3540
+844:2:3548
+845:2:3549
+846:2:3553
+847:2:3554
+848:2:3562
+849:2:3567
+850:2:3571
+851:2:3572
+852:2:3580
+853:2:3581
+854:2:3582
+855:2:3580
+856:2:3581
+857:2:3585
+858:2:3586
+859:2:3594
+860:2:3599
+861:2:3600
+862:2:3611
+863:2:3612
+864:2:3613
+865:2:3624
+866:2:3629
+867:2:3630
+868:2:3641
+869:2:3642
+870:2:3643
+871:2:3641
+872:2:3642
+873:2:3643
+874:2:3654
+875:2:3661
+876:0:4654
+877:2:2941
+878:0:4654
+879:2:3810
+880:0:4654
+881:2:3818
+882:0:4654
+883:2:3819
+884:0:4654
+885:2:3824
+886:0:4654
+887:1:29
+888:0:4654
+889:2:3825
+890:0:4654
+891:1:35
+892:0:4654
+893:2:3824
+894:0:4654
+895:1:36
+896:0:4654
+897:2:3825
+898:0:4654
+899:1:37
+900:0:4654
+901:2:3824
+902:0:4654
+903:1:38
+904:0:4654
+905:2:3825
+906:0:4654
+907:1:39
+908:0:4654
+909:2:3824
+910:0:4654
+911:1:40
+912:0:4654
+913:2:3825
+914:0:4654
+915:1:41
+916:0:4654
+917:2:3824
+918:0:4654
+919:1:42
+920:0:4654
+921:2:3825
+922:0:4654
+923:1:43
+924:0:4654
+925:2:3824
+926:0:4654
+927:1:44
+928:0:4654
+929:2:3825
+930:0:4654
+931:1:45
+932:0:4654
+933:2:3824
+934:0:4654
+935:1:46
+936:0:4654
+937:2:3825
+938:0:4654
+939:1:47
+940:0:4654
+941:2:3824
+942:0:4654
+943:1:48
+944:0:4654
+945:2:3825
+946:0:4654
+947:1:149
+948:0:4654
+949:2:3824
+950:0:4654
+951:1:151
+952:0:4654
+953:2:3825
+954:0:4654
+955:1:50
+956:0:4654
+957:2:3824
+958:0:4654
+959:1:157
+960:1:158
+961:1:162
+962:1:163
+963:1:171
+964:1:172
+965:1:176
+966:1:177
+967:1:185
+968:1:190
+969:1:194
+970:1:195
+971:1:203
+972:1:204
+973:1:208
+974:1:209
+975:1:203
+976:1:204
+977:1:208
+978:1:209
+979:1:217
+980:1:222
+981:1:223
+982:1:234
+983:1:235
+984:1:236
+985:1:247
+986:1:259
+987:1:260
+988:1:264
+989:1:265
+990:1:266
+991:1:264
+992:1:265
+993:1:266
+994:1:277
+995:0:4654
+996:2:3825
+997:0:4654
+998:1:46
+999:0:4654
+1000:2:3824
+1001:0:4654
+1002:1:47
+1003:0:4654
+1004:2:3825
+1005:0:4654
+1006:1:48
+1007:0:4654
+1008:2:3824
+1009:0:4654
+1010:1:149
+1011:0:4654
+1012:2:3825
+1013:0:4654
+1014:1:151
+1015:0:4654
+1016:2:3824
+1017:0:4654
+1018:1:50
+1019:0:4654
+1020:2:3825
+1021:0:4654
+1022:1:286
+1023:1:287
+1024:0:4654
+1025:2:3824
+1026:0:4654
+1027:1:46
+1028:0:4654
+1029:2:3825
+1030:0:4654
+1031:1:47
+1032:0:4654
+1033:2:3824
+1034:0:4654
+1035:1:48
+1036:0:4654
+1037:2:3825
+1038:0:4654
+1039:1:149
+1040:0:4654
+1041:2:3824
+1042:0:4654
+1043:1:151
+1044:0:4654
+1045:2:3825
+1046:0:4654
+1047:1:50
+1048:0:4654
+1049:2:3824
+1050:0:4654
+1051:1:293
+1052:1:294
+1053:1:298
+1054:1:299
+1055:1:307
+1056:1:308
+1057:1:312
+1058:1:313
+1059:1:321
+1060:1:326
+1061:1:330
+1062:1:331
+1063:1:339
+1064:1:340
+1065:1:344
+1066:1:345
+1067:1:339
+1068:1:340
+1069:1:344
+1070:1:345
+1071:1:353
+1072:1:358
+1073:1:359
+1074:1:370
+1075:1:371
+1076:1:372
+1077:1:383
+1078:1:395
+1079:1:396
+1080:1:400
+1081:1:401
+1082:1:402
+1083:1:400
+1084:1:401
+1085:1:402
+1086:1:413
+1087:0:4654
+1088:2:3825
+1089:0:4654
+1090:1:46
+1091:0:4654
+1092:2:3824
+1093:0:4654
+1094:1:47
+1095:0:4654
+1096:2:3825
+1097:0:4654
+1098:1:48
+1099:0:4654
+1100:2:3824
+1101:0:4654
+1102:1:149
+1103:0:4654
+1104:2:3825
+1105:0:4654
+1106:1:151
+1107:0:4654
+1108:2:3824
+1109:0:4654
+1110:1:50
+1111:0:4654
+1112:2:3825
+1113:0:4654
+1114:1:422
+1115:1:423
+1116:1:427
+1117:1:428
+1118:1:436
+1119:1:437
+1120:1:441
+1121:1:442
+1122:1:450
+1123:1:455
+1124:1:459
+1125:1:460
+1126:1:468
+1127:1:469
+1128:1:473
+1129:1:474
+1130:1:468
+1131:1:469
+1132:1:473
+1133:1:474
+1134:1:482
+1135:1:487
+1136:1:488
+1137:1:499
+1138:1:500
+1139:1:501
+1140:1:512
+1141:1:524
+1142:1:525
+1143:1:529
+1144:1:530
+1145:1:531
+1146:1:529
+1147:1:530
+1148:1:531
+1149:1:542
+1150:1:549
+1151:0:4654
+1152:2:3824
+1153:0:4654
+1154:1:46
+1155:0:4654
+1156:2:3825
+1157:0:4654
+1158:1:47
+1159:0:4654
+1160:2:3824
+1161:0:4654
+1162:1:48
+1163:0:4654
+1164:2:3825
+1165:0:4654
+1166:1:149
+1167:0:4654
+1168:2:3824
+1169:0:4654
+1170:1:151
+1171:0:4654
+1172:2:3825
+1173:0:4654
+1174:1:50
+1175:0:4654
+1176:2:3824
+1177:0:4654
+1178:1:687
+1179:1:688
+1180:1:692
+1181:1:693
+1182:1:701
+1183:1:702
+1184:1:703
+1185:1:715
+1186:1:720
+1187:1:724
+1188:1:725
+1189:1:733
+1190:1:734
+1191:1:738
+1192:1:739
+1193:1:733
+1194:1:734
+1195:1:738
+1196:1:739
+1197:1:747
+1198:1:752
+1199:1:753
+1200:1:764
+1201:1:765
+1202:1:766
+1203:1:777
+1204:1:789
+1205:1:790
+1206:1:794
+1207:1:795
+1208:1:796
+1209:1:794
+1210:1:795
+1211:1:796
+1212:1:807
+1213:0:4654
+1214:2:3825
+1215:0:4654
+1216:1:46
+1217:0:4654
+1218:2:3824
+1219:0:4654
+1220:1:47
+1221:0:4654
+1222:2:3825
+1223:0:4654
+1224:1:48
+1225:0:4654
+1226:2:3824
+1227:0:4654
+1228:1:149
+1229:0:4654
+1230:2:3825
+1231:0:4654
+1232:1:151
+1233:0:4654
+1234:2:3824
+1235:0:4654
+1236:1:50
+1237:0:4654
+1238:2:3825
+1239:0:4654
+1240:1:816
+1241:1:819
+1242:1:820
+1243:0:4654
+1244:2:3824
+1245:0:4654
+1246:1:46
+1247:0:4654
+1248:2:3825
+1249:0:4654
+1250:1:47
+1251:0:4654
+1252:2:3824
+1253:0:4654
+1254:1:48
+1255:0:4654
+1256:2:3825
+1257:0:4654
+1258:1:149
+1259:0:4654
+1260:2:3824
+1261:0:4654
+1262:1:151
+1263:0:4654
+1264:2:3825
+1265:0:4654
+1266:1:50
+1267:0:4654
+1268:2:3824
+1269:0:4654
+1270:1:823
+1271:1:824
+1272:1:828
+1273:1:829
+1274:1:837
+1275:1:838
+1276:1:842
+1277:1:843
+1278:1:851
+1279:1:856
+1280:1:860
+1281:1:861
+1282:1:869
+1283:1:870
+1284:1:874
+1285:1:875
+1286:1:869
+1287:1:870
+1288:1:874
+1289:1:875
+1290:1:883
+1291:1:888
+1292:1:889
+1293:1:900
+1294:1:901
+1295:1:902
+1296:1:913
+1297:1:925
+1298:1:926
+1299:1:930
+1300:1:931
+1301:1:932
+1302:1:930
+1303:1:931
+1304:1:932
+1305:1:943
+1306:0:4654
+1307:2:3825
+1308:0:4654
+1309:1:46
+1310:0:4654
+1311:2:3824
+1312:0:4654
+1313:1:47
+1314:0:4654
+1315:2:3825
+1316:0:4654
+1317:1:48
+1318:0:4654
+1319:2:3824
+1320:0:4654
+1321:1:149
+1322:0:4654
+1323:2:3825
+1324:0:4654
+1325:1:151
+1326:0:4654
+1327:2:3824
+1328:0:4654
+1329:1:50
+1330:0:4654
+1331:2:3825
+1332:0:4654
+1333:1:1083
+1334:1:1084
+1335:1:1088
+1336:1:1089
+1337:1:1097
+1338:1:1098
+1339:1:1102
+1340:1:1103
+1341:1:1111
+1342:1:1116
+1343:1:1120
+1344:1:1121
+1345:1:1129
+1346:1:1130
+1347:1:1134
+1348:1:1135
+1349:1:1129
+1350:1:1130
+1351:1:1134
+1352:1:1135
+1353:1:1143
+1354:1:1148
+1355:1:1149
+1356:1:1160
+1357:1:1161
+1358:1:1162
+1359:1:1173
+1360:1:1185
+1361:1:1186
+1362:1:1190
+1363:1:1191
+1364:1:1192
+1365:1:1190
+1366:1:1191
+1367:1:1192
+1368:1:1203
+1369:1:1210
+1370:1:1214
+1371:0:4654
+1372:2:3824
+1373:0:4654
+1374:1:46
+1375:0:4654
+1376:2:3825
+1377:0:4654
+1378:1:47
+1379:0:4654
+1380:2:3824
+1381:0:4654
+1382:1:48
+1383:0:4654
+1384:2:3825
+1385:0:4654
+1386:1:149
+1387:0:4654
+1388:2:3824
+1389:0:4654
+1390:1:151
+1391:0:4654
+1392:2:3825
+1393:0:4654
+1394:1:50
+1395:0:4654
+1396:2:3824
+1397:0:4654
+1398:1:1215
+1399:1:1216
+1400:1:1220
+1401:1:1221
+1402:1:1229
+1403:1:1230
+1404:1:1231
+1405:1:1243
+1406:1:1248
+1407:1:1252
+1408:1:1253
+1409:1:1261
+1410:1:1262
+1411:1:1266
+1412:1:1267
+1413:1:1261
+1414:1:1262
+1415:1:1266
+1416:1:1267
+1417:1:1275
+1418:1:1280
+1419:1:1281
+1420:1:1292
+1421:1:1293
+1422:1:1294
+1423:1:1305
+1424:1:1317
+1425:1:1318
+1426:1:1322
+1427:1:1323
+1428:1:1324
+1429:1:1322
+1430:1:1323
+1431:1:1324
+1432:1:1335
+1433:0:4654
+1434:2:3825
+1435:0:4654
+1436:1:46
+1437:0:4654
+1438:2:3824
+1439:0:4654
+1440:1:47
+1441:0:4654
+1442:2:3825
+1443:0:4654
+1444:1:48
+1445:0:4654
+1446:2:3824
+1447:0:4654
+1448:1:149
+1449:0:4654
+1450:2:3825
+1451:0:4654
+1452:1:151
+1453:0:4654
+1454:2:3824
+1455:0:4654
+1456:1:50
+1457:0:4654
+1458:2:3825
+1459:0:4654
+1460:1:1344
+1461:0:4654
+1462:2:3824
+1463:0:4654
+1464:1:2808
+1465:1:2815
+1466:1:2816
+1467:1:2823
+1468:1:2828
+1469:1:2835
+1470:1:2836
+1471:1:2835
+1472:1:2836
+1473:1:2843
+1474:1:2847
+1475:0:4654
+1476:2:3825
+1477:0:4654
+1478:1:1346
+1479:1:1347
+1480:0:4652
+1481:2:3824
+1482:0:4658
+1483:1:2492