X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Furcu_free_no_mb.spin.input.trail;fp=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Furcu_free_no_mb.spin.input.trail;h=ea8ed03874c98053d8b51a4e4e4425ac9f820dff;hb=dbf6928575dc30b5d8602b9a50ca385670f26ff1;hp=0000000000000000000000000000000000000000;hpb=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f;p=urcu.git

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail
new file mode 100644
index 0000000..ea8ed03
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail
@@ -0,0 +1,1227 @@
+-2:3:-2
+-4:-4:-4
+1:0:4467
+2:3:4387
+3:3:4390
+4:3:4390
+5:3:4393
+6:3:4401
+7:3:4401
+8:3:4404
+9:3:4410
+10:3:4414
+11:3:4414
+12:3:4417
+13:3:4427
+14:3:4435
+15:3:4435
+16:3:4438
+17:3:4444
+18:3:4448
+19:3:4448
+20:3:4451
+21:3:4457
+22:3:4461
+23:3:4462
+24:0:4467
+25:3:4464
+26:0:4467
+27:2:3121
+28:0:4467
+29:2:3127
+30:0:4467
+31:2:3128
+32:0:4467
+33:2:3130
+34:0:4467
+35:2:3131
+36:0:4467
+37:2:3132
+38:0:4467
+39:2:3133
+40:0:4467
+41:2:3134
+42:2:3135
+43:2:3139
+44:2:3140
+45:2:3148
+46:2:3149
+47:2:3153
+48:2:3154
+49:2:3162
+50:2:3167
+51:2:3171
+52:2:3172
+53:2:3180
+54:2:3181
+55:2:3185
+56:2:3186
+57:2:3180
+58:2:3181
+59:2:3185
+60:2:3186
+61:2:3194
+62:2:3199
+63:2:3200
+64:2:3211
+65:2:3212
+66:2:3213
+67:2:3224
+68:2:3229
+69:2:3230
+70:2:3241
+71:2:3242
+72:2:3243
+73:2:3241
+74:2:3242
+75:2:3243
+76:2:3254
+77:2:3262
+78:0:4467
+79:2:3133
+80:0:4467
+81:2:3266
+82:2:3270
+83:2:3271
+84:2:3275
+85:2:3279
+86:2:3280
+87:2:3284
+88:2:3292
+89:2:3293
+90:2:3297
+91:2:3301
+92:2:3302
+93:2:3297
+94:2:3298
+95:2:3306
+96:0:4467
+97:2:3133
+98:0:4467
+99:2:3314
+100:2:3315
+101:2:3316
+102:0:4467
+103:2:3133
+104:0:4467
+105:2:3324
+106:0:4467
+107:2:3133
+108:0:4467
+109:2:3327
+110:2:3328
+111:2:3332
+112:2:3333
+113:2:3341
+114:2:3342
+115:2:3346
+116:2:3347
+117:2:3355
+118:2:3360
+119:2:3361
+120:2:3373
+121:2:3374
+122:2:3378
+123:2:3379
+124:2:3373
+125:2:3374
+126:2:3378
+127:2:3379
+128:2:3387
+129:2:3392
+130:2:3393
+131:2:3404
+132:2:3405
+133:2:3406
+134:2:3417
+135:2:3422
+136:2:3423
+137:2:3434
+138:2:3435
+139:2:3436
+140:2:3434
+141:2:3435
+142:2:3436
+143:2:3447
+144:2:3454
+145:0:4467
+146:2:3133
+147:0:4467
+148:2:3458
+149:2:3459
+150:2:3460
+151:2:3472
+152:2:3473
+153:2:3477
+154:2:3478
+155:2:3486
+156:2:3491
+157:2:3495
+158:2:3496
+159:2:3504
+160:2:3505
+161:2:3509
+162:2:3510
+163:2:3504
+164:2:3505
+165:2:3509
+166:2:3510
+167:2:3518
+168:2:3523
+169:2:3524
+170:2:3535
+171:2:3536
+172:2:3537
+173:2:3548
+174:2:3553
+175:2:3554
+176:2:3565
+177:2:3566
+178:2:3567
+179:2:3565
+180:2:3566
+181:2:3567
+182:2:3578
+183:2:3589
+184:2:3590
+185:0:4467
+186:2:3133
+187:0:4467
+188:2:3596
+189:2:3597
+190:2:3601
+191:2:3602
+192:2:3610
+193:2:3611
+194:2:3615
+195:2:3616
+196:2:3624
+197:2:3629
+198:2:3633
+199:2:3634
+200:2:3642
+201:2:3643
+202:2:3647
+203:2:3648
+204:2:3642
+205:2:3643
+206:2:3647
+207:2:3648
+208:2:3656
+209:2:3661
+210:2:3662
+211:2:3673
+212:2:3674
+213:2:3675
+214:2:3686
+215:2:3691
+216:2:3692
+217:2:3703
+218:2:3704
+219:2:3705
+220:2:3703
+221:2:3704
+222:2:3705
+223:2:3716
+224:0:4467
+225:2:3133
+226:0:4467
+227:2:3725
+228:2:3726
+229:2:3730
+230:2:3731
+231:2:3739
+232:2:3740
+233:2:3744
+234:2:3745
+235:2:3753
+236:2:3758
+237:2:3762
+238:2:3763
+239:2:3771
+240:2:3772
+241:2:3776
+242:2:3777
+243:2:3771
+244:2:3772
+245:2:3776
+246:2:3777
+247:2:3785
+248:2:3790
+249:2:3791
+250:2:3802
+251:2:3803
+252:2:3804
+253:2:3815
+254:2:3820
+255:2:3821
+256:2:3832
+257:2:3833
+258:2:3834
+259:2:3832
+260:2:3833
+261:2:3834
+262:2:3845
+263:2:3852
+264:0:4467
+265:2:3133
+266:0:4467
+267:2:3856
+268:2:3857
+269:2:3858
+270:2:3870
+271:2:3871
+272:2:3875
+273:2:3876
+274:2:3884
+275:2:3889
+276:2:3893
+277:2:3894
+278:2:3902
+279:2:3903
+280:2:3907
+281:2:3908
+282:2:3902
+283:2:3903
+284:2:3907
+285:2:3908
+286:2:3916
+287:2:3921
+288:2:3922
+289:2:3933
+290:2:3934
+291:2:3935
+292:2:3946
+293:2:3951
+294:2:3952
+295:2:3963
+296:2:3964
+297:2:3965
+298:2:3963
+299:2:3964
+300:2:3965
+301:2:3976
+302:2:3986
+303:2:3987
+304:0:4467
+305:2:3133
+306:0:4467
+307:2:3996
+308:2:3997
+309:0:4467
+310:2:3133
+311:0:4467
+312:2:4001
+313:0:4467
+314:2:4009
+315:0:4467
+316:2:3128
+317:0:4467
+318:2:3130
+319:0:4467
+320:2:3131
+321:0:4467
+322:2:3132
+323:0:4467
+324:2:3133
+325:0:4467
+326:2:3134
+327:2:3135
+328:2:3139
+329:2:3140
+330:2:3148
+331:2:3149
+332:2:3153
+333:2:3154
+334:2:3162
+335:2:3167
+336:2:3171
+337:2:3172
+338:2:3180
+339:2:3181
+340:2:3182
+341:2:3180
+342:2:3181
+343:2:3185
+344:2:3186
+345:2:3194
+346:2:3199
+347:2:3200
+348:2:3211
+349:2:3212
+350:2:3213
+351:2:3224
+352:2:3229
+353:2:3230
+354:2:3241
+355:2:3242
+356:2:3243
+357:2:3241
+358:2:3242
+359:2:3243
+360:2:3254
+361:2:3262
+362:0:4467
+363:2:3133
+364:0:4467
+365:2:3266
+366:2:3270
+367:2:3271
+368:2:3275
+369:2:3279
+370:2:3280
+371:2:3284
+372:2:3292
+373:2:3293
+374:2:3297
+375:2:3298
+376:2:3297
+377:2:3301
+378:2:3302
+379:2:3306
+380:0:4467
+381:2:3133
+382:0:4467
+383:2:3314
+384:2:3315
+385:2:3316
+386:0:4467
+387:2:3133
+388:0:4467
+389:2:3324
+390:0:4467
+391:2:3133
+392:0:4467
+393:2:3327
+394:2:3328
+395:2:3332
+396:2:3333
+397:2:3341
+398:2:3342
+399:2:3346
+400:2:3347
+401:2:3355
+402:2:3360
+403:2:3361
+404:2:3373
+405:2:3374
+406:2:3378
+407:2:3379
+408:2:3373
+409:2:3374
+410:2:3378
+411:2:3379
+412:2:3387
+413:2:3392
+414:2:3393
+415:2:3404
+416:2:3405
+417:2:3406
+418:2:3417
+419:2:3422
+420:2:3423
+421:2:3434
+422:2:3435
+423:2:3436
+424:2:3434
+425:2:3435
+426:2:3436
+427:2:3447
+428:2:3454
+429:0:4467
+430:2:3133
+431:0:4467
+432:2:3458
+433:2:3459
+434:2:3460
+435:2:3472
+436:2:3473
+437:2:3477
+438:2:3478
+439:2:3486
+440:2:3491
+441:2:3495
+442:2:3496
+443:2:3504
+444:2:3505
+445:2:3509
+446:2:3510
+447:2:3504
+448:2:3505
+449:2:3509
+450:2:3510
+451:2:3518
+452:2:3523
+453:2:3524
+454:2:3535
+455:2:3536
+456:2:3537
+457:2:3548
+458:2:3553
+459:2:3554
+460:2:3565
+461:2:3566
+462:2:3567
+463:2:3565
+464:2:3566
+465:2:3567
+466:2:3578
+467:2:3589
+468:2:3590
+469:0:4467
+470:2:3133
+471:0:4467
+472:2:3596
+473:2:3597
+474:2:3601
+475:2:3602
+476:2:3610
+477:2:3611
+478:2:3615
+479:2:3616
+480:2:3624
+481:2:3629
+482:2:3633
+483:2:3634
+484:2:3642
+485:2:3643
+486:2:3647
+487:2:3648
+488:2:3642
+489:2:3643
+490:2:3647
+491:2:3648
+492:2:3656
+493:2:3661
+494:2:3662
+495:2:3673
+496:2:3674
+497:2:3675
+498:2:3686
+499:2:3691
+500:2:3692
+501:2:3703
+502:2:3704
+503:2:3705
+504:2:3703
+505:2:3704
+506:2:3705
+507:2:3716
+508:0:4467
+509:2:3133
+510:0:4467
+511:2:3725
+512:2:3726
+513:2:3730
+514:2:3731
+515:2:3739
+516:2:3740
+517:2:3744
+518:2:3745
+519:2:3753
+520:2:3758
+521:2:3762
+522:2:3763
+523:2:3771
+524:2:3772
+525:2:3776
+526:2:3777
+527:2:3771
+528:2:3772
+529:2:3776
+530:2:3777
+531:2:3785
+532:2:3790
+533:2:3791
+534:2:3802
+535:2:3803
+536:2:3804
+537:2:3815
+538:2:3820
+539:2:3821
+540:2:3832
+541:2:3833
+542:2:3834
+543:2:3832
+544:2:3833
+545:2:3834
+546:2:3845
+547:2:3852
+548:0:4467
+549:2:3133
+550:0:4467
+551:2:3856
+552:2:3857
+553:2:3858
+554:2:3870
+555:2:3871
+556:2:3875
+557:2:3876
+558:2:3884
+559:2:3889
+560:2:3893
+561:2:3894
+562:2:3902
+563:2:3903
+564:2:3907
+565:2:3908
+566:2:3902
+567:2:3903
+568:2:3907
+569:2:3908
+570:2:3916
+571:2:3921
+572:2:3922
+573:2:3933
+574:2:3934
+575:2:3935
+576:2:3946
+577:2:3951
+578:2:3952
+579:2:3963
+580:2:3964
+581:2:3965
+582:2:3963
+583:2:3964
+584:2:3965
+585:2:3976
+586:2:3986
+587:2:3987
+588:0:4467
+589:2:3133
+590:0:4467
+591:2:3996
+592:2:3997
+593:0:4467
+594:2:3133
+595:0:4467
+596:2:4001
+597:0:4467
+598:2:4009
+599:0:4467
+600:2:3128
+601:0:4467
+602:2:3130
+603:0:4467
+604:2:3131
+605:0:4467
+606:2:3132
+607:0:4467
+608:2:3133
+609:0:4467
+610:2:3134
+611:2:3135
+612:2:3139
+613:2:3140
+614:2:3148
+615:2:3149
+616:2:3153
+617:2:3154
+618:2:3162
+619:2:3167
+620:2:3171
+621:2:3172
+622:2:3180
+623:2:3181
+624:2:3185
+625:2:3186
+626:2:3180
+627:2:3181
+628:2:3182
+629:2:3194
+630:2:3199
+631:2:3200
+632:2:3211
+633:2:3212
+634:2:3213
+635:2:3224
+636:2:3229
+637:2:3230
+638:2:3241
+639:2:3242
+640:2:3243
+641:2:3241
+642:2:3242
+643:2:3243
+644:2:3254
+645:2:3262
+646:0:4467
+647:2:3133
+648:0:4467
+649:2:3266
+650:2:3270
+651:2:3271
+652:2:3275
+653:2:3279
+654:2:3280
+655:2:3284
+656:2:3292
+657:2:3293
+658:2:3297
+659:2:3301
+660:2:3302
+661:2:3297
+662:2:3298
+663:2:3306
+664:0:4467
+665:2:3133
+666:0:4467
+667:2:3314
+668:2:3315
+669:2:3316
+670:0:4467
+671:2:3133
+672:0:4467
+673:2:3324
+674:0:4467
+675:2:3133
+676:0:4467
+677:2:3327
+678:2:3328
+679:2:3332
+680:2:3333
+681:2:3341
+682:2:3342
+683:2:3346
+684:2:3347
+685:2:3355
+686:2:3360
+687:2:3361
+688:2:3373
+689:2:3374
+690:2:3378
+691:2:3379
+692:2:3373
+693:2:3374
+694:2:3378
+695:2:3379
+696:2:3387
+697:2:3392
+698:2:3393
+699:2:3404
+700:2:3405
+701:2:3406
+702:2:3417
+703:2:3422
+704:2:3423
+705:2:3434
+706:2:3435
+707:2:3436
+708:2:3434
+709:2:3435
+710:2:3436
+711:2:3447
+712:2:3454
+713:0:4467
+714:2:3133
+715:0:4467
+716:2:3458
+717:2:3459
+718:2:3460
+719:2:3472
+720:2:3473
+721:2:3477
+722:2:3478
+723:2:3486
+724:2:3491
+725:2:3495
+726:2:3496
+727:2:3504
+728:2:3505
+729:2:3509
+730:2:3510
+731:2:3504
+732:2:3505
+733:2:3509
+734:2:3510
+735:2:3518
+736:2:3523
+737:2:3524
+738:2:3535
+739:2:3536
+740:2:3537
+741:2:3548
+742:2:3553
+743:2:3554
+744:2:3565
+745:2:3566
+746:2:3567
+747:2:3565
+748:2:3566
+749:2:3567
+750:2:3578
+751:2:3589
+752:2:3590
+753:0:4467
+754:2:3133
+755:0:4467
+756:2:3596
+757:2:3597
+758:2:3601
+759:2:3602
+760:2:3610
+761:2:3611
+762:2:3615
+763:2:3616
+764:2:3624
+765:2:3629
+766:2:3633
+767:2:3634
+768:2:3642
+769:2:3643
+770:2:3647
+771:2:3648
+772:2:3642
+773:2:3643
+774:2:3647
+775:2:3648
+776:2:3656
+777:2:3661
+778:2:3662
+779:2:3673
+780:2:3674
+781:2:3675
+782:2:3686
+783:2:3691
+784:2:3692
+785:2:3703
+786:2:3704
+787:2:3705
+788:2:3703
+789:2:3704
+790:2:3705
+791:2:3716
+792:0:4467
+793:2:3133
+794:0:4467
+795:2:3856
+796:2:3857
+797:2:3861
+798:2:3862
+799:2:3870
+800:2:3871
+801:2:3875
+802:2:3876
+803:2:3884
+804:2:3889
+805:2:3893
+806:2:3894
+807:2:3902
+808:2:3903
+809:2:3907
+810:2:3908
+811:2:3902
+812:2:3903
+813:2:3907
+814:2:3908
+815:2:3916
+816:2:3921
+817:2:3922
+818:2:3933
+819:2:3934
+820:2:3935
+821:2:3946
+822:2:3951
+823:2:3952
+824:2:3963
+825:2:3964
+826:2:3965
+827:2:3963
+828:2:3964
+829:2:3965
+830:2:3976
+831:2:3986
+832:2:3987
+833:0:4467
+834:2:3133
+835:0:4467
+836:2:3996
+837:2:3997
+838:0:4467
+839:2:3133
+840:0:4467
+841:2:3725
+842:2:3726
+843:2:3730
+844:2:3731
+845:2:3739
+846:2:3740
+847:2:3744
+848:2:3745
+849:2:3753
+850:2:3758
+851:2:3762
+852:2:3763
+853:2:3771
+854:2:3772
+855:2:3773
+856:2:3771
+857:2:3772
+858:2:3776
+859:2:3777
+860:2:3785
+861:2:3790
+862:2:3791
+863:2:3802
+864:2:3803
+865:2:3804
+866:2:3815
+867:2:3820
+868:2:3821
+869:2:3832
+870:2:3833
+871:2:3834
+872:2:3832
+873:2:3833
+874:2:3834
+875:2:3845
+876:2:3852
+877:0:4467
+878:2:3133
+879:0:4467
+880:2:4001
+881:0:4467
+882:2:4009
+883:0:4467
+884:2:4010
+885:0:4467
+886:2:4015
+887:0:4467
+888:1:2
+889:0:4467
+890:2:4016
+891:0:4467
+892:1:8
+893:0:4467
+894:2:4015
+895:0:4467
+896:1:9
+897:0:4467
+898:2:4016
+899:0:4467
+900:1:10
+901:0:4467
+902:2:4015
+903:0:4467
+904:1:11
+905:0:4467
+906:2:4016
+907:0:4467
+908:1:12
+909:0:4467
+910:2:4015
+911:0:4467
+912:1:13
+913:0:4467
+914:2:4016
+915:0:4467
+916:1:14
+917:0:4467
+918:2:4015
+919:0:4467
+920:1:15
+921:0:4467
+922:2:4016
+923:0:4467
+924:1:16
+925:1:17
+926:1:21
+927:1:22
+928:1:30
+929:1:31
+930:1:35
+931:1:36
+932:1:44
+933:1:49
+934:1:53
+935:1:54
+936:1:62
+937:1:63
+938:1:67
+939:1:68
+940:1:62
+941:1:63
+942:1:67
+943:1:68
+944:1:76
+945:1:81
+946:1:82
+947:1:93
+948:1:94
+949:1:95
+950:1:106
+951:1:118
+952:1:119
+953:1:123
+954:1:124
+955:1:125
+956:1:123
+957:1:124
+958:1:125
+959:1:136
+960:0:4467
+961:2:4015
+962:0:4467
+963:1:15
+964:0:4467
+965:2:4016
+966:0:4467
+967:1:145
+968:1:146
+969:0:4467
+970:2:4015
+971:0:4467
+972:1:15
+973:0:4467
+974:2:4016
+975:0:4467
+976:1:152
+977:1:153
+978:1:157
+979:1:158
+980:1:166
+981:1:167
+982:1:171
+983:1:172
+984:1:180
+985:1:185
+986:1:189
+987:1:190
+988:1:198
+989:1:199
+990:1:203
+991:1:204
+992:1:198
+993:1:199
+994:1:203
+995:1:204
+996:1:212
+997:1:217
+998:1:218
+999:1:229
+1000:1:230
+1001:1:231
+1002:1:242
+1003:1:254
+1004:1:255
+1005:1:259
+1006:1:260
+1007:1:261
+1008:1:259
+1009:1:260
+1010:1:261
+1011:1:272
+1012:0:4467
+1013:2:4015
+1014:0:4467
+1015:1:15
+1016:0:4467
+1017:2:4016
+1018:0:4467
+1019:1:281
+1020:1:282
+1021:1:286
+1022:1:287
+1023:1:295
+1024:1:296
+1025:1:300
+1026:1:301
+1027:1:309
+1028:1:314
+1029:1:318
+1030:1:319
+1031:1:327
+1032:1:328
+1033:1:332
+1034:1:333
+1035:1:327
+1036:1:328
+1037:1:332
+1038:1:333
+1039:1:341
+1040:1:346
+1041:1:347
+1042:1:358
+1043:1:359
+1044:1:360
+1045:1:371
+1046:1:383
+1047:1:384
+1048:1:388
+1049:1:389
+1050:1:390
+1051:1:388
+1052:1:389
+1053:1:390
+1054:1:401
+1055:1:408
+1056:0:4467
+1057:2:4015
+1058:0:4467
+1059:1:15
+1060:0:4467
+1061:2:4016
+1062:0:4467
+1063:1:636
+1064:1:637
+1065:1:641
+1066:1:642
+1067:1:650
+1068:1:651
+1069:1:652
+1070:1:664
+1071:1:669
+1072:1:673
+1073:1:674
+1074:1:682
+1075:1:683
+1076:1:687
+1077:1:688
+1078:1:682
+1079:1:683
+1080:1:687
+1081:1:688
+1082:1:696
+1083:1:701
+1084:1:702
+1085:1:713
+1086:1:714
+1087:1:715
+1088:1:726
+1089:1:738
+1090:1:739
+1091:1:743
+1092:1:744
+1093:1:745
+1094:1:743
+1095:1:744
+1096:1:745
+1097:1:756
+1098:0:4467
+1099:2:4015
+1100:0:4467
+1101:1:15
+1102:0:4467
+1103:2:4016
+1104:0:4467
+1105:1:765
+1106:1:768
+1107:1:769
+1108:0:4467
+1109:2:4015
+1110:0:4467
+1111:1:15
+1112:0:4467
+1113:2:4016
+1114:0:4467
+1115:1:1032
+1116:1:1033
+1117:1:1037
+1118:1:1038
+1119:1:1046
+1120:1:1047
+1121:1:1051
+1122:1:1052
+1123:1:1060
+1124:1:1065
+1125:1:1069
+1126:1:1070
+1127:1:1078
+1128:1:1079
+1129:1:1083
+1130:1:1084
+1131:1:1078
+1132:1:1079
+1133:1:1083
+1134:1:1084
+1135:1:1092
+1136:1:1097
+1137:1:1098
+1138:1:1109
+1139:1:1110
+1140:1:1111
+1141:1:1122
+1142:1:1134
+1143:1:1135
+1144:1:1139
+1145:1:1140
+1146:1:1141
+1147:1:1139
+1148:1:1140
+1149:1:1141
+1150:1:1152
+1151:1:1159
+1152:1:1163
+1153:0:4467
+1154:2:4015
+1155:0:4467
+1156:1:15
+1157:0:4467
+1158:2:4016
+1159:0:4467
+1160:1:1164
+1161:1:1165
+1162:1:1169
+1163:1:1170
+1164:1:1178
+1165:1:1179
+1166:1:1180
+1167:1:1192
+1168:1:1197
+1169:1:1201
+1170:1:1202
+1171:1:1210
+1172:1:1211
+1173:1:1215
+1174:1:1216
+1175:1:1210
+1176:1:1211
+1177:1:1215
+1178:1:1216
+1179:1:1224
+1180:1:1229
+1181:1:1230
+1182:1:1241
+1183:1:1242
+1184:1:1243
+1185:1:1254
+1186:1:1266
+1187:1:1267
+1188:1:1271
+1189:1:1272
+1190:1:1273
+1191:1:1271
+1192:1:1272
+1193:1:1273
+1194:1:1284
+1195:0:4467
+1196:2:4015
+1197:0:4467
+1198:1:15
+1199:0:4467
+1200:2:4016
+1201:0:4467
+1202:1:1293
+1203:0:4467
+1204:2:4015
+1205:0:4467
+1206:1:3027
+1207:1:3034
+1208:1:3035
+1209:1:3042
+1210:1:3047
+1211:1:3054
+1212:1:3055
+1213:1:3054
+1214:1:3055
+1215:1:3062
+1216:1:3066
+1217:0:4467
+1218:2:4016
+1219:0:4467
+1220:1:1295
+1221:1:1296
+1222:0:4465
+1223:2:4015
+1224:0:4471
+1225:1:1135