X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;ds=sidebyside;f=formal-model%2Furcu-controldataflow-alpha-ipi%2Furcu_free_single_flip.spin.input.trail;fp=formal-model%2Furcu-controldataflow-alpha-ipi%2Furcu_free_single_flip.spin.input.trail;h=6a83ce1803b39e8995cf8c5de9aafedbbeb88b84;hb=b6b17880a1a83b679d968907e2ff6cf72dd645fb;hp=0000000000000000000000000000000000000000;hpb=06e8b2a87f862183a26e0005bf04221633f49d0c;p=urcu.git

diff --git a/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.spin.input.trail
new file mode 100644
index 0000000..6a83ce1
--- /dev/null
+++ b/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.spin.input.trail
@@ -0,0 +1,1442 @@
+-2:3:-2
+-4:-4:-4
+1:0:4651
+2:2:2896
+3:2:2901
+4:2:2905
+5:2:2913
+6:2:2917
+7:2:2921
+8:0:4651
+9:1:0
+10:1:5
+11:1:9
+12:1:17
+13:1:21
+14:1:25
+15:0:4651
+16:3:4621
+17:3:4624
+18:3:4631
+19:3:4638
+20:3:4641
+21:3:4645
+22:3:4646
+23:0:4651
+24:3:4648
+25:0:4651
+26:2:2925
+27:0:4651
+28:2:2931
+29:0:4651
+30:2:2932
+31:0:4651
+32:2:2934
+33:0:4651
+34:2:2935
+35:0:4651
+36:2:2936
+37:0:4651
+38:2:2937
+39:0:4651
+40:2:2938
+41:0:4651
+42:2:2939
+43:0:4651
+44:2:2940
+45:2:2941
+46:2:2945
+47:2:2946
+48:2:2954
+49:2:2955
+50:2:2959
+51:2:2960
+52:2:2968
+53:2:2973
+54:2:2977
+55:2:2978
+56:2:2986
+57:2:2987
+58:2:2991
+59:2:2992
+60:2:2986
+61:2:2987
+62:2:2991
+63:2:2992
+64:2:3000
+65:2:3005
+66:2:3006
+67:2:3017
+68:2:3018
+69:2:3019
+70:2:3030
+71:2:3035
+72:2:3036
+73:2:3047
+74:2:3048
+75:2:3049
+76:2:3047
+77:2:3048
+78:2:3049
+79:2:3060
+80:2:3068
+81:0:4651
+82:2:2939
+83:0:4651
+84:2:3072
+85:2:3076
+86:2:3077
+87:2:3081
+88:2:3085
+89:2:3086
+90:2:3090
+91:2:3098
+92:2:3099
+93:2:3103
+94:2:3107
+95:2:3108
+96:2:3103
+97:2:3104
+98:2:3112
+99:0:4651
+100:2:2939
+101:0:4651
+102:2:3120
+103:2:3121
+104:2:3122
+105:0:4651
+106:2:2939
+107:0:4651
+108:2:3127
+109:0:4651
+110:2:3830
+111:2:3831
+112:2:3835
+113:2:3839
+114:2:3840
+115:2:3844
+116:2:3849
+117:2:3857
+118:2:3861
+119:2:3862
+120:2:3857
+121:2:3861
+122:2:3862
+123:2:3866
+124:2:3873
+125:2:3880
+126:2:3881
+127:2:3888
+128:2:3893
+129:2:3900
+130:2:3901
+131:2:3900
+132:2:3901
+133:2:3908
+134:2:3912
+135:0:4651
+136:2:3917
+137:0:4651
+138:2:3918
+139:0:4651
+140:2:3919
+141:0:4651
+142:2:3920
+143:0:4651
+144:1:29
+145:0:4651
+146:2:3921
+147:0:4651
+148:1:35
+149:0:4651
+150:1:36
+151:0:4651
+152:2:3920
+153:0:4651
+154:1:37
+155:0:4651
+156:2:3921
+157:0:4651
+158:1:38
+159:0:4651
+160:2:3920
+161:0:4651
+162:1:39
+163:0:4651
+164:2:3921
+165:0:4651
+166:1:40
+167:0:4651
+168:2:3920
+169:0:4651
+170:1:41
+171:0:4651
+172:2:3921
+173:0:4651
+174:1:42
+175:0:4651
+176:1:43
+177:0:4651
+178:2:3920
+179:0:4651
+180:1:44
+181:0:4651
+182:2:3921
+183:0:4651
+184:1:53
+185:0:4651
+186:2:3920
+187:0:4651
+188:1:57
+189:1:58
+190:1:62
+191:1:66
+192:1:67
+193:1:71
+194:1:79
+195:1:80
+196:1:84
+197:1:88
+198:1:89
+199:1:84
+200:1:88
+201:1:89
+202:1:93
+203:1:100
+204:1:107
+205:1:108
+206:1:115
+207:1:120
+208:1:127
+209:1:128
+210:1:127
+211:1:128
+212:1:135
+213:1:139
+214:0:4651
+215:2:3921
+216:0:4651
+217:1:144
+218:0:4651
+219:2:3922
+220:0:4651
+221:2:3927
+222:0:4651
+223:2:3928
+224:0:4651
+225:2:3936
+226:2:3937
+227:2:3941
+228:2:3945
+229:2:3946
+230:2:3950
+231:2:3958
+232:2:3959
+233:2:3963
+234:2:3967
+235:2:3968
+236:2:3963
+237:2:3967
+238:2:3968
+239:2:3972
+240:2:3979
+241:2:3986
+242:2:3987
+243:2:3994
+244:2:3999
+245:2:4006
+246:2:4007
+247:2:4006
+248:2:4007
+249:2:4014
+250:2:4018
+251:0:4651
+252:2:3129
+253:2:3811
+254:0:4651
+255:2:2939
+256:0:4651
+257:2:3130
+258:0:4651
+259:2:2939
+260:0:4651
+261:2:3133
+262:2:3134
+263:2:3138
+264:2:3139
+265:2:3147
+266:2:3148
+267:2:3152
+268:2:3153
+269:2:3161
+270:2:3166
+271:2:3170
+272:2:3171
+273:2:3179
+274:2:3180
+275:2:3184
+276:2:3185
+277:2:3179
+278:2:3180
+279:2:3184
+280:2:3185
+281:2:3193
+282:2:3198
+283:2:3199
+284:2:3210
+285:2:3211
+286:2:3212
+287:2:3223
+288:2:3228
+289:2:3229
+290:2:3240
+291:2:3241
+292:2:3242
+293:2:3240
+294:2:3241
+295:2:3242
+296:2:3253
+297:2:3260
+298:0:4651
+299:2:2939
+300:0:4651
+301:2:3264
+302:2:3265
+303:2:3266
+304:2:3278
+305:2:3279
+306:2:3283
+307:2:3284
+308:2:3292
+309:2:3297
+310:2:3301
+311:2:3302
+312:2:3310
+313:2:3311
+314:2:3315
+315:2:3316
+316:2:3310
+317:2:3311
+318:2:3315
+319:2:3316
+320:2:3324
+321:2:3329
+322:2:3330
+323:2:3341
+324:2:3342
+325:2:3343
+326:2:3354
+327:2:3359
+328:2:3360
+329:2:3371
+330:2:3372
+331:2:3373
+332:2:3371
+333:2:3372
+334:2:3373
+335:2:3384
+336:2:3394
+337:2:3395
+338:0:4651
+339:2:2939
+340:0:4651
+341:2:3799
+342:0:4651
+343:2:4424
+344:2:4425
+345:2:4429
+346:2:4433
+347:2:4434
+348:2:4438
+349:2:4446
+350:2:4447
+351:2:4451
+352:2:4455
+353:2:4456
+354:2:4451
+355:2:4455
+356:2:4456
+357:2:4460
+358:2:4467
+359:2:4474
+360:2:4475
+361:2:4482
+362:2:4487
+363:2:4494
+364:2:4495
+365:2:4494
+366:2:4495
+367:2:4502
+368:2:4506
+369:0:4651
+370:2:4511
+371:0:4651
+372:2:4512
+373:0:4651
+374:2:4513
+375:0:4651
+376:2:4514
+377:0:4651
+378:1:145
+379:0:4651
+380:2:4515
+381:0:4651
+382:1:147
+383:0:4651
+384:2:4514
+385:0:4651
+386:1:46
+387:0:4651
+388:2:4515
+389:0:4651
+390:1:153
+391:1:154
+392:1:158
+393:1:159
+394:1:167
+395:1:168
+396:1:172
+397:1:173
+398:1:181
+399:1:186
+400:1:190
+401:1:191
+402:1:199
+403:1:200
+404:1:204
+405:1:205
+406:1:199
+407:1:200
+408:1:204
+409:1:205
+410:1:213
+411:1:225
+412:1:226
+413:1:230
+414:1:231
+415:1:232
+416:1:243
+417:1:248
+418:1:249
+419:1:260
+420:1:261
+421:1:262
+422:1:260
+423:1:261
+424:1:262
+425:1:273
+426:0:4651
+427:1:42
+428:0:4651
+429:1:43
+430:0:4651
+431:2:4514
+432:0:4651
+433:1:44
+434:0:4651
+435:2:4515
+436:0:4651
+437:1:145
+438:0:4651
+439:1:147
+440:0:4651
+441:2:4514
+442:0:4651
+443:1:46
+444:0:4651
+445:2:4515
+446:0:4651
+447:1:282
+448:1:283
+449:0:4651
+450:1:42
+451:0:4651
+452:1:43
+453:0:4651
+454:2:4514
+455:0:4651
+456:1:44
+457:0:4651
+458:2:4515
+459:0:4651
+460:1:145
+461:0:4651
+462:1:147
+463:0:4651
+464:2:4514
+465:0:4651
+466:1:46
+467:0:4651
+468:2:4515
+469:0:4651
+470:1:289
+471:1:290
+472:1:294
+473:1:295
+474:1:303
+475:1:304
+476:1:308
+477:1:309
+478:1:317
+479:1:322
+480:1:326
+481:1:327
+482:1:335
+483:1:336
+484:1:340
+485:1:341
+486:1:335
+487:1:336
+488:1:340
+489:1:341
+490:1:349
+491:1:361
+492:1:362
+493:1:366
+494:1:367
+495:1:368
+496:1:379
+497:1:384
+498:1:385
+499:1:396
+500:1:397
+501:1:398
+502:1:396
+503:1:397
+504:1:398
+505:1:409
+506:0:4651
+507:1:42
+508:0:4651
+509:1:43
+510:0:4651
+511:2:4514
+512:0:4651
+513:1:44
+514:0:4651
+515:2:4515
+516:0:4651
+517:1:53
+518:0:4651
+519:2:4514
+520:0:4651
+521:1:57
+522:1:58
+523:1:62
+524:1:66
+525:1:67
+526:1:71
+527:1:79
+528:1:80
+529:1:84
+530:1:88
+531:1:89
+532:1:84
+533:1:88
+534:1:89
+535:1:93
+536:1:100
+537:1:107
+538:1:108
+539:1:115
+540:1:120
+541:1:127
+542:1:128
+543:1:127
+544:1:128
+545:1:135
+546:1:139
+547:0:4651
+548:2:4515
+549:0:4651
+550:1:144
+551:0:4651
+552:2:4516
+553:0:4651
+554:2:4521
+555:0:4651
+556:2:4522
+557:0:4651
+558:2:4530
+559:2:4531
+560:2:4535
+561:2:4539
+562:2:4540
+563:2:4544
+564:2:4552
+565:2:4553
+566:2:4557
+567:2:4561
+568:2:4562
+569:2:4557
+570:2:4561
+571:2:4562
+572:2:4566
+573:2:4573
+574:2:4580
+575:2:4581
+576:2:4588
+577:2:4593
+578:2:4600
+579:2:4601
+580:2:4600
+581:2:4601
+582:2:4608
+583:2:4612
+584:0:4651
+585:2:3801
+586:2:3811
+587:0:4651
+588:2:2939
+589:0:4651
+590:2:3802
+591:2:3803
+592:0:4651
+593:2:2939
+594:0:4651
+595:2:3807
+596:0:4651
+597:2:3815
+598:0:4651
+599:2:2932
+600:0:4651
+601:2:2934
+602:0:4651
+603:2:2935
+604:0:4651
+605:2:2936
+606:0:4651
+607:2:2937
+608:0:4651
+609:2:2938
+610:0:4651
+611:2:2939
+612:0:4651
+613:2:2940
+614:2:2941
+615:2:2945
+616:2:2946
+617:2:2954
+618:2:2955
+619:2:2959
+620:2:2960
+621:2:2968
+622:2:2973
+623:2:2977
+624:2:2978
+625:2:2986
+626:2:2987
+627:2:2988
+628:2:2986
+629:2:2987
+630:2:2991
+631:2:2992
+632:2:3000
+633:2:3005
+634:2:3006
+635:2:3017
+636:2:3018
+637:2:3019
+638:2:3030
+639:2:3035
+640:2:3036
+641:2:3047
+642:2:3048
+643:2:3049
+644:2:3047
+645:2:3048
+646:2:3049
+647:2:3060
+648:2:3068
+649:0:4651
+650:2:2939
+651:0:4651
+652:2:3072
+653:2:3076
+654:2:3077
+655:2:3081
+656:2:3085
+657:2:3086
+658:2:3090
+659:2:3098
+660:2:3099
+661:2:3103
+662:2:3104
+663:2:3103
+664:2:3107
+665:2:3108
+666:2:3112
+667:0:4651
+668:2:2939
+669:0:4651
+670:2:3120
+671:2:3121
+672:2:3122
+673:0:4651
+674:2:2939
+675:0:4651
+676:2:3127
+677:0:4651
+678:2:3830
+679:2:3831
+680:2:3835
+681:2:3839
+682:2:3840
+683:2:3844
+684:2:3849
+685:2:3857
+686:2:3861
+687:2:3862
+688:2:3857
+689:2:3861
+690:2:3862
+691:2:3866
+692:2:3873
+693:2:3880
+694:2:3881
+695:2:3888
+696:2:3893
+697:2:3900
+698:2:3901
+699:2:3900
+700:2:3901
+701:2:3908
+702:2:3912
+703:0:4651
+704:2:3917
+705:0:4651
+706:2:3918
+707:0:4651
+708:2:3919
+709:0:4651
+710:2:3920
+711:0:4651
+712:1:145
+713:0:4651
+714:2:3921
+715:0:4651
+716:1:147
+717:0:4651
+718:2:3920
+719:0:4651
+720:1:46
+721:0:4651
+722:2:3921
+723:0:4651
+724:1:418
+725:1:419
+726:1:423
+727:1:424
+728:1:432
+729:1:433
+730:1:437
+731:1:438
+732:1:446
+733:1:451
+734:1:455
+735:1:456
+736:1:464
+737:1:465
+738:1:469
+739:1:470
+740:1:464
+741:1:465
+742:1:469
+743:1:470
+744:1:478
+745:1:483
+746:1:484
+747:1:495
+748:1:496
+749:1:497
+750:1:508
+751:1:520
+752:1:521
+753:1:525
+754:1:526
+755:1:527
+756:1:525
+757:1:526
+758:1:527
+759:1:538
+760:1:545
+761:0:4651
+762:1:42
+763:0:4651
+764:1:43
+765:0:4651
+766:2:3920
+767:0:4651
+768:1:44
+769:0:4651
+770:2:3921
+771:0:4651
+772:1:145
+773:0:4651
+774:1:147
+775:0:4651
+776:2:3920
+777:0:4651
+778:1:46
+779:0:4651
+780:2:3921
+781:0:4651
+782:1:683
+783:1:684
+784:1:688
+785:1:689
+786:1:697
+787:1:698
+788:1:699
+789:1:711
+790:1:716
+791:1:720
+792:1:721
+793:1:729
+794:1:730
+795:1:734
+796:1:735
+797:1:729
+798:1:730
+799:1:734
+800:1:735
+801:1:743
+802:1:748
+803:1:749
+804:1:760
+805:1:761
+806:1:762
+807:1:773
+808:1:785
+809:1:786
+810:1:790
+811:1:791
+812:1:792
+813:1:790
+814:1:791
+815:1:792
+816:1:803
+817:0:4651
+818:1:42
+819:0:4651
+820:1:43
+821:0:4651
+822:2:3920
+823:0:4651
+824:1:44
+825:0:4651
+826:2:3921
+827:0:4651
+828:1:145
+829:0:4651
+830:1:147
+831:0:4651
+832:2:3920
+833:0:4651
+834:1:46
+835:0:4651
+836:2:3921
+837:0:4651
+838:1:812
+839:1:815
+840:1:816
+841:0:4651
+842:1:42
+843:0:4651
+844:1:43
+845:0:4651
+846:2:3920
+847:0:4651
+848:1:44
+849:0:4651
+850:2:3921
+851:0:4651
+852:1:145
+853:0:4651
+854:1:147
+855:0:4651
+856:2:3920
+857:0:4651
+858:1:46
+859:0:4651
+860:2:3921
+861:0:4651
+862:1:819
+863:1:820
+864:1:824
+865:1:825
+866:1:833
+867:1:834
+868:1:838
+869:1:839
+870:1:847
+871:1:852
+872:1:856
+873:1:857
+874:1:865
+875:1:866
+876:1:870
+877:1:871
+878:1:865
+879:1:866
+880:1:870
+881:1:871
+882:1:879
+883:1:884
+884:1:885
+885:1:896
+886:1:897
+887:1:898
+888:1:909
+889:1:921
+890:1:922
+891:1:926
+892:1:927
+893:1:928
+894:1:926
+895:1:927
+896:1:928
+897:1:939
+898:0:4651
+899:1:42
+900:0:4651
+901:1:43
+902:0:4651
+903:2:3920
+904:0:4651
+905:1:44
+906:0:4651
+907:2:3921
+908:0:4651
+909:1:145
+910:0:4651
+911:1:147
+912:0:4651
+913:2:3920
+914:0:4651
+915:1:46
+916:0:4651
+917:2:3921
+918:0:4651
+919:1:1079
+920:1:1080
+921:1:1084
+922:1:1085
+923:1:1093
+924:1:1094
+925:1:1098
+926:1:1099
+927:1:1107
+928:1:1112
+929:1:1116
+930:1:1117
+931:1:1125
+932:1:1126
+933:1:1130
+934:1:1131
+935:1:1125
+936:1:1126
+937:1:1130
+938:1:1131
+939:1:1139
+940:1:1144
+941:1:1145
+942:1:1156
+943:1:1157
+944:1:1158
+945:1:1169
+946:1:1181
+947:1:1182
+948:1:1186
+949:1:1187
+950:1:1188
+951:1:1186
+952:1:1187
+953:1:1188
+954:1:1199
+955:1:1206
+956:1:1210
+957:0:4651
+958:1:42
+959:0:4651
+960:1:43
+961:0:4651
+962:2:3920
+963:0:4651
+964:1:44
+965:0:4651
+966:2:3921
+967:0:4651
+968:1:145
+969:0:4651
+970:1:147
+971:0:4651
+972:2:3920
+973:0:4651
+974:1:46
+975:0:4651
+976:2:3921
+977:0:4651
+978:1:1211
+979:1:1212
+980:1:1216
+981:1:1217
+982:1:1225
+983:1:1226
+984:1:1227
+985:1:1239
+986:1:1244
+987:1:1248
+988:1:1249
+989:1:1257
+990:1:1258
+991:1:1262
+992:1:1263
+993:1:1257
+994:1:1258
+995:1:1262
+996:1:1263
+997:1:1271
+998:1:1276
+999:1:1277
+1000:1:1288
+1001:1:1289
+1002:1:1290
+1003:1:1301
+1004:1:1313
+1005:1:1314
+1006:1:1318
+1007:1:1319
+1008:1:1320
+1009:1:1318
+1010:1:1319
+1011:1:1320
+1012:1:1331
+1013:0:4651
+1014:1:42
+1015:0:4651
+1016:1:43
+1017:0:4651
+1018:2:3920
+1019:0:4651
+1020:1:44
+1021:0:4651
+1022:2:3921
+1023:0:4651
+1024:1:53
+1025:0:4651
+1026:2:3920
+1027:0:4651
+1028:1:57
+1029:1:58
+1030:1:62
+1031:1:66
+1032:1:67
+1033:1:71
+1034:1:79
+1035:1:80
+1036:1:84
+1037:1:88
+1038:1:89
+1039:1:84
+1040:1:88
+1041:1:89
+1042:1:93
+1043:1:100
+1044:1:107
+1045:1:108
+1046:1:115
+1047:1:120
+1048:1:127
+1049:1:128
+1050:1:127
+1051:1:128
+1052:1:135
+1053:1:139
+1054:0:4651
+1055:2:3921
+1056:0:4651
+1057:1:144
+1058:0:4651
+1059:2:3922
+1060:0:4651
+1061:2:3927
+1062:0:4651
+1063:2:3928
+1064:0:4651
+1065:2:3936
+1066:2:3937
+1067:2:3941
+1068:2:3945
+1069:2:3946
+1070:2:3950
+1071:2:3958
+1072:2:3959
+1073:2:3963
+1074:2:3967
+1075:2:3968
+1076:2:3963
+1077:2:3967
+1078:2:3968
+1079:2:3972
+1080:2:3979
+1081:2:3986
+1082:2:3987
+1083:2:3994
+1084:2:3999
+1085:2:4006
+1086:2:4007
+1087:2:4006
+1088:2:4007
+1089:2:4014
+1090:2:4018
+1091:0:4651
+1092:2:3129
+1093:2:3811
+1094:0:4651
+1095:2:2939
+1096:0:4651
+1097:2:3130
+1098:0:4651
+1099:2:2939
+1100:0:4651
+1101:2:3133
+1102:2:3134
+1103:2:3138
+1104:2:3139
+1105:2:3147
+1106:2:3148
+1107:2:3152
+1108:2:3153
+1109:2:3161
+1110:2:3166
+1111:2:3170
+1112:2:3171
+1113:2:3179
+1114:2:3180
+1115:2:3184
+1116:2:3185
+1117:2:3179
+1118:2:3180
+1119:2:3184
+1120:2:3185
+1121:2:3193
+1122:2:3198
+1123:2:3199
+1124:2:3210
+1125:2:3211
+1126:2:3212
+1127:2:3223
+1128:2:3228
+1129:2:3229
+1130:2:3240
+1131:2:3241
+1132:2:3242
+1133:2:3240
+1134:2:3241
+1135:2:3242
+1136:2:3253
+1137:2:3260
+1138:0:4651
+1139:2:2939
+1140:0:4651
+1141:2:3264
+1142:2:3265
+1143:2:3266
+1144:2:3278
+1145:2:3279
+1146:2:3283
+1147:2:3284
+1148:2:3292
+1149:2:3297
+1150:2:3301
+1151:2:3302
+1152:2:3310
+1153:2:3311
+1154:2:3315
+1155:2:3316
+1156:2:3310
+1157:2:3311
+1158:2:3315
+1159:2:3316
+1160:2:3324
+1161:2:3329
+1162:2:3330
+1163:2:3341
+1164:2:3342
+1165:2:3343
+1166:2:3354
+1167:2:3359
+1168:2:3360
+1169:2:3371
+1170:2:3372
+1171:2:3373
+1172:2:3371
+1173:2:3372
+1174:2:3373
+1175:2:3384
+1176:2:3394
+1177:2:3395
+1178:0:4651
+1179:2:2939
+1180:0:4651
+1181:2:3799
+1182:0:4651
+1183:2:4424
+1184:2:4425
+1185:2:4429
+1186:2:4433
+1187:2:4434
+1188:2:4438
+1189:2:4446
+1190:2:4447
+1191:2:4451
+1192:2:4455
+1193:2:4456
+1194:2:4451
+1195:2:4455
+1196:2:4456
+1197:2:4460
+1198:2:4467
+1199:2:4474
+1200:2:4475
+1201:2:4482
+1202:2:4487
+1203:2:4494
+1204:2:4495
+1205:2:4494
+1206:2:4495
+1207:2:4502
+1208:2:4506
+1209:0:4651
+1210:2:4511
+1211:0:4651
+1212:2:4512
+1213:0:4651
+1214:2:4513
+1215:0:4651
+1216:2:4514
+1217:0:4651
+1218:1:53
+1219:0:4651
+1220:2:4515
+1221:0:4651
+1222:1:57
+1223:1:58
+1224:1:62
+1225:1:66
+1226:1:67
+1227:1:71
+1228:1:79
+1229:1:80
+1230:1:84
+1231:1:88
+1232:1:89
+1233:1:84
+1234:1:88
+1235:1:89
+1236:1:93
+1237:1:100
+1238:1:107
+1239:1:108
+1240:1:115
+1241:1:120
+1242:1:127
+1243:1:128
+1244:1:127
+1245:1:128
+1246:1:135
+1247:1:139
+1248:0:4651
+1249:2:4514
+1250:0:4651
+1251:1:144
+1252:0:4651
+1253:2:4515
+1254:0:4651
+1255:2:4516
+1256:0:4651
+1257:2:4521
+1258:0:4651
+1259:2:4522
+1260:0:4651
+1261:2:4530
+1262:2:4531
+1263:2:4535
+1264:2:4539
+1265:2:4540
+1266:2:4544
+1267:2:4552
+1268:2:4553
+1269:2:4557
+1270:2:4561
+1271:2:4562
+1272:2:4557
+1273:2:4561
+1274:2:4562
+1275:2:4566
+1276:2:4573
+1277:2:4580
+1278:2:4581
+1279:2:4588
+1280:2:4593
+1281:2:4600
+1282:2:4601
+1283:2:4600
+1284:2:4601
+1285:2:4608
+1286:2:4612
+1287:0:4651
+1288:2:3801
+1289:2:3811
+1290:0:4651
+1291:2:2939
+1292:0:4651
+1293:2:3802
+1294:2:3803
+1295:0:4651
+1296:2:2939
+1297:0:4651
+1298:2:3807
+1299:0:4651
+1300:2:3815
+1301:0:4651
+1302:2:2932
+1303:0:4651
+1304:2:2934
+1305:0:4651
+1306:2:2935
+1307:0:4651
+1308:2:2936
+1309:0:4651
+1310:2:2937
+1311:0:4651
+1312:2:2938
+1313:0:4651
+1314:2:2939
+1315:0:4651
+1316:2:2940
+1317:2:2941
+1318:2:2945
+1319:2:2946
+1320:2:2954
+1321:2:2955
+1322:2:2959
+1323:2:2960
+1324:2:2968
+1325:2:2973
+1326:2:2977
+1327:2:2978
+1328:2:2986
+1329:2:2987
+1330:2:2991
+1331:2:2992
+1332:2:2986
+1333:2:2987
+1334:2:2988
+1335:2:3000
+1336:2:3005
+1337:2:3006
+1338:2:3017
+1339:2:3018
+1340:2:3019
+1341:2:3030
+1342:2:3035
+1343:2:3036
+1344:2:3047
+1345:2:3048
+1346:2:3049
+1347:2:3047
+1348:2:3048
+1349:2:3049
+1350:2:3060
+1351:2:3068
+1352:0:4651
+1353:2:2939
+1354:0:4651
+1355:1:145
+1356:0:4651
+1357:1:147
+1358:0:4651
+1359:1:46
+1360:0:4651
+1361:1:1340
+1362:0:4651
+1363:1:2804
+1364:1:2811
+1365:1:2812
+1366:1:2819
+1367:1:2824
+1368:1:2831
+1369:1:2832
+1370:1:2831
+1371:1:2832
+1372:1:2839
+1373:1:2843
+1374:0:4651
+1375:2:3072
+1376:2:3076
+1377:2:3077
+1378:2:3081
+1379:2:3085
+1380:2:3086
+1381:2:3090
+1382:2:3098
+1383:2:3099
+1384:2:3103
+1385:2:3107
+1386:2:3108
+1387:2:3103
+1388:2:3104
+1389:2:3112
+1390:0:4651
+1391:2:2939
+1392:0:4651
+1393:2:3120
+1394:2:3121
+1395:2:3122
+1396:0:4651
+1397:2:2939
+1398:0:4651
+1399:2:3127
+1400:0:4651
+1401:2:3830
+1402:2:3831
+1403:2:3835
+1404:2:3839
+1405:2:3840
+1406:2:3844
+1407:2:3849
+1408:2:3857
+1409:2:3861
+1410:2:3862
+1411:2:3857
+1412:2:3861
+1413:2:3862
+1414:2:3866
+1415:2:3873
+1416:2:3880
+1417:2:3881
+1418:2:3888
+1419:2:3893
+1420:2:3900
+1421:2:3901
+1422:2:3900
+1423:2:3901
+1424:2:3908
+1425:2:3912
+1426:0:4651
+1427:2:3917
+1428:0:4651
+1429:2:3918
+1430:0:4651
+1431:2:3919
+1432:0:4651
+1433:2:3920
+1434:0:4651
+1435:1:1342
+1436:1:1343
+1437:0:4649
+1438:2:3921
+1439:0:4655
+1440:1:2458