Verification run #1, ipi and no-ipi results

[urcu.git] / formal-model / results / urcu-controldataflow-ipi / urcu_free_no_mb.spin.input.trail

diff --git a/formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail
new file mode 100644 (file)
index 0000000..582fc24
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail
@@ -0,0 +1,1423 @@
+-2:3:-2
+-4:-4:-4
+1:0:4649
+2:3:4569
+3:3:4572
+4:3:4572
+5:3:4575
+6:3:4583
+7:3:4583
+8:3:4586
+9:3:4592
+10:3:4596
+11:3:4596
+12:3:4599
+13:3:4609
+14:3:4617
+15:3:4617
+16:3:4620
+17:3:4626
+18:3:4630
+19:3:4630
+20:3:4633
+21:3:4639
+22:3:4643
+23:3:4644
+24:0:4649
+25:3:4646
+26:0:4649
+27:2:2875
+28:0:4649
+29:2:2881
+30:0:4649
+31:2:2882
+32:0:4649
+33:2:2884
+34:0:4649
+35:2:2885
+36:0:4649
+37:2:2886
+38:0:4649
+39:2:2887
+40:0:4649
+41:2:2888
+42:2:2889
+43:2:2893
+44:2:2894
+45:2:2902
+46:2:2903
+47:2:2907
+48:2:2908
+49:2:2916
+50:2:2921
+51:2:2925
+52:2:2926
+53:2:2934
+54:2:2935
+55:2:2939
+56:2:2940
+57:2:2934
+58:2:2935
+59:2:2939
+60:2:2940
+61:2:2948
+62:2:2953
+63:2:2954
+64:2:2965
+65:2:2966
+66:2:2967
+67:2:2978
+68:2:2983
+69:2:2984
+70:2:2995
+71:2:2996
+72:2:2997
+73:2:2995
+74:2:2996
+75:2:2997
+76:2:3008
+77:2:3016
+78:0:4649
+79:2:2887
+80:0:4649
+81:2:3020
+82:2:3024
+83:2:3025
+84:2:3029
+85:2:3033
+86:2:3034
+87:2:3038
+88:2:3046
+89:2:3047
+90:2:3051
+91:2:3055
+92:2:3056
+93:2:3051
+94:2:3052
+95:2:3060
+96:0:4649
+97:2:2887
+98:0:4649
+99:2:3068
+100:2:3069
+101:2:3070
+102:0:4649
+103:2:2887
+104:0:4649
+105:2:3078
+106:0:4649
+107:2:2887
+108:0:4649
+109:2:3081
+110:2:3082
+111:2:3086
+112:2:3087
+113:2:3095
+114:2:3096
+115:2:3100
+116:2:3101
+117:2:3109
+118:2:3114
+119:2:3115
+120:2:3127
+121:2:3128
+122:2:3132
+123:2:3133
+124:2:3127
+125:2:3128
+126:2:3132
+127:2:3133
+128:2:3141
+129:2:3146
+130:2:3147
+131:2:3158
+132:2:3159
+133:2:3160
+134:2:3171
+135:2:3176
+136:2:3177
+137:2:3188
+138:2:3189
+139:2:3190
+140:2:3188
+141:2:3189
+142:2:3190
+143:2:3201
+144:2:3208
+145:0:4649
+146:2:2887
+147:0:4649
+148:2:3212
+149:2:3213
+150:2:3214
+151:2:3226
+152:2:3227
+153:2:3231
+154:2:3232
+155:2:3240
+156:2:3245
+157:2:3249
+158:2:3250
+159:2:3258
+160:2:3259
+161:2:3263
+162:2:3264
+163:2:3258
+164:2:3259
+165:2:3263
+166:2:3264
+167:2:3272
+168:2:3277
+169:2:3278
+170:2:3289
+171:2:3290
+172:2:3291
+173:2:3302
+174:2:3307
+175:2:3308
+176:2:3319
+177:2:3320
+178:2:3321
+179:2:3319
+180:2:3320
+181:2:3321
+182:2:3332
+183:2:3343
+184:2:3344
+185:0:4649
+186:2:2887
+187:0:4649
+188:2:3350
+189:2:3351
+190:2:3355
+191:2:3356
+192:2:3364
+193:2:3365
+194:2:3369
+195:2:3370
+196:2:3378
+197:2:3383
+198:2:3387
+199:2:3388
+200:2:3396
+201:2:3397
+202:2:3401
+203:2:3402
+204:2:3396
+205:2:3397
+206:2:3401
+207:2:3402
+208:2:3410
+209:2:3415
+210:2:3416
+211:2:3427
+212:2:3428
+213:2:3429
+214:2:3440
+215:2:3445
+216:2:3446
+217:2:3457
+218:2:3458
+219:2:3459
+220:2:3457
+221:2:3458
+222:2:3459
+223:2:3470
+224:0:4649
+225:2:2887
+226:0:4649
+227:2:3479
+228:2:3480
+229:2:3484
+230:2:3485
+231:2:3493
+232:2:3494
+233:2:3498
+234:2:3499
+235:2:3507
+236:2:3512
+237:2:3516
+238:2:3517
+239:2:3525
+240:2:3526
+241:2:3530
+242:2:3531
+243:2:3525
+244:2:3526
+245:2:3530
+246:2:3531
+247:2:3539
+248:2:3544
+249:2:3545
+250:2:3556
+251:2:3557
+252:2:3558
+253:2:3569
+254:2:3574
+255:2:3575
+256:2:3586
+257:2:3587
+258:2:3588
+259:2:3586
+260:2:3587
+261:2:3588
+262:2:3599
+263:2:3606
+264:0:4649
+265:2:2887
+266:0:4649
+267:2:3610
+268:2:3611
+269:2:3612
+270:2:3624
+271:2:3625
+272:2:3629
+273:2:3630
+274:2:3638
+275:2:3643
+276:2:3647
+277:2:3648
+278:2:3656
+279:2:3657
+280:2:3661
+281:2:3662
+282:2:3656
+283:2:3657
+284:2:3661
+285:2:3662
+286:2:3670
+287:2:3675
+288:2:3676
+289:2:3687
+290:2:3688
+291:2:3689
+292:2:3700
+293:2:3705
+294:2:3706
+295:2:3717
+296:2:3718
+297:2:3719
+298:2:3717
+299:2:3718
+300:2:3719
+301:2:3730
+302:2:3740
+303:2:3741
+304:0:4649
+305:2:2887
+306:0:4649
+307:2:3750
+308:2:3751
+309:0:4649
+310:2:2887
+311:0:4649
+312:2:3755
+313:0:4649
+314:2:3763
+315:0:4649
+316:2:2882
+317:0:4649
+318:2:2884
+319:0:4649
+320:2:2885
+321:0:4649
+322:2:2886
+323:0:4649
+324:2:2887
+325:0:4649
+326:2:2888
+327:2:2889
+328:2:2893
+329:2:2894
+330:2:2902
+331:2:2903
+332:2:2907
+333:2:2908
+334:2:2916
+335:2:2921
+336:2:2925
+337:2:2926
+338:2:2934
+339:2:2935
+340:2:2936
+341:2:2934
+342:2:2935
+343:2:2939
+344:2:2940
+345:2:2948
+346:2:2953
+347:2:2954
+348:2:2965
+349:2:2966
+350:2:2967
+351:2:2978
+352:2:2983
+353:2:2984
+354:2:2995
+355:2:2996
+356:2:2997
+357:2:2995
+358:2:2996
+359:2:2997
+360:2:3008
+361:2:3016
+362:0:4649
+363:2:2887
+364:0:4649
+365:2:3020
+366:2:3024
+367:2:3025
+368:2:3029
+369:2:3033
+370:2:3034
+371:2:3038
+372:2:3046
+373:2:3047
+374:2:3051
+375:2:3052
+376:2:3051
+377:2:3055
+378:2:3056
+379:2:3060
+380:0:4649
+381:2:2887
+382:0:4649
+383:2:3068
+384:2:3069
+385:2:3070
+386:0:4649
+387:2:2887
+388:0:4649
+389:2:3078
+390:0:4649
+391:2:2887
+392:0:4649
+393:2:3081
+394:2:3082
+395:2:3086
+396:2:3087
+397:2:3095
+398:2:3096
+399:2:3100
+400:2:3101
+401:2:3109
+402:2:3114
+403:2:3115
+404:2:3127
+405:2:3128
+406:2:3132
+407:2:3133
+408:2:3127
+409:2:3128
+410:2:3132
+411:2:3133
+412:2:3141
+413:2:3146
+414:2:3147
+415:2:3158
+416:2:3159
+417:2:3160
+418:2:3171
+419:2:3176
+420:2:3177
+421:2:3188
+422:2:3189
+423:2:3190
+424:2:3188
+425:2:3189
+426:2:3190
+427:2:3201
+428:2:3208
+429:0:4649
+430:2:2887
+431:0:4649
+432:2:3212
+433:2:3213
+434:2:3214
+435:2:3226
+436:2:3227
+437:2:3231
+438:2:3232
+439:2:3240
+440:2:3245
+441:2:3249
+442:2:3250
+443:2:3258
+444:2:3259
+445:2:3263
+446:2:3264
+447:2:3258
+448:2:3259
+449:2:3263
+450:2:3264
+451:2:3272
+452:2:3277
+453:2:3278
+454:2:3289
+455:2:3290
+456:2:3291
+457:2:3302
+458:2:3307
+459:2:3308
+460:2:3319
+461:2:3320
+462:2:3321
+463:2:3319
+464:2:3320
+465:2:3321
+466:2:3332
+467:2:3343
+468:2:3344
+469:0:4649
+470:2:2887
+471:0:4649
+472:2:3350
+473:2:3351
+474:2:3355
+475:2:3356
+476:2:3364
+477:2:3365
+478:2:3369
+479:2:3370
+480:2:3378
+481:2:3383
+482:2:3387
+483:2:3388
+484:2:3396
+485:2:3397
+486:2:3401
+487:2:3402
+488:2:3396
+489:2:3397
+490:2:3401
+491:2:3402
+492:2:3410
+493:2:3415
+494:2:3416
+495:2:3427
+496:2:3428
+497:2:3429
+498:2:3440
+499:2:3445
+500:2:3446
+501:2:3457
+502:2:3458
+503:2:3459
+504:2:3457
+505:2:3458
+506:2:3459
+507:2:3470
+508:0:4649
+509:2:2887
+510:0:4649
+511:2:3479
+512:2:3480
+513:2:3484
+514:2:3485
+515:2:3493
+516:2:3494
+517:2:3498
+518:2:3499
+519:2:3507
+520:2:3512
+521:2:3516
+522:2:3517
+523:2:3525
+524:2:3526
+525:2:3530
+526:2:3531
+527:2:3525
+528:2:3526
+529:2:3530
+530:2:3531
+531:2:3539
+532:2:3544
+533:2:3545
+534:2:3556
+535:2:3557
+536:2:3558
+537:2:3569
+538:2:3574
+539:2:3575
+540:2:3586
+541:2:3587
+542:2:3588
+543:2:3586
+544:2:3587
+545:2:3588
+546:2:3599
+547:2:3606
+548:0:4649
+549:2:2887
+550:0:4649
+551:2:3610
+552:2:3611
+553:2:3612
+554:2:3624
+555:2:3625
+556:2:3629
+557:2:3630
+558:2:3638
+559:2:3643
+560:2:3647
+561:2:3648
+562:2:3656
+563:2:3657
+564:2:3661
+565:2:3662
+566:2:3656
+567:2:3657
+568:2:3661
+569:2:3662
+570:2:3670
+571:2:3675
+572:2:3676
+573:2:3687
+574:2:3688
+575:2:3689
+576:2:3700
+577:2:3705
+578:2:3706
+579:2:3717
+580:2:3718
+581:2:3719
+582:2:3717
+583:2:3718
+584:2:3719
+585:2:3730
+586:2:3740
+587:2:3741
+588:0:4649
+589:2:2887
+590:0:4649
+591:2:3750
+592:2:3751
+593:0:4649
+594:2:2887
+595:0:4649
+596:2:3755
+597:0:4649
+598:2:3763
+599:0:4649
+600:2:2882
+601:0:4649
+602:2:2884
+603:0:4649
+604:2:2885
+605:0:4649
+606:2:2886
+607:0:4649
+608:2:2887
+609:0:4649
+610:2:2888
+611:2:2889
+612:2:2893
+613:2:2894
+614:2:2902
+615:2:2903
+616:2:2907
+617:2:2908
+618:2:2916
+619:2:2921
+620:2:2925
+621:2:2926
+622:2:2934
+623:2:2935
+624:2:2939
+625:2:2940
+626:2:2934
+627:2:2935
+628:2:2936
+629:2:2948
+630:2:2953
+631:2:2954
+632:2:2965
+633:2:2966
+634:2:2967
+635:2:2978
+636:2:2983
+637:2:2984
+638:2:2995
+639:2:2996
+640:2:2997
+641:2:2995
+642:2:2996
+643:2:2997
+644:2:3008
+645:2:3016
+646:0:4649
+647:2:2887
+648:0:4649
+649:2:3020
+650:2:3024
+651:2:3025
+652:2:3029
+653:2:3033
+654:2:3034
+655:2:3038
+656:2:3046
+657:2:3047
+658:2:3051
+659:2:3055
+660:2:3056
+661:2:3051
+662:2:3052
+663:2:3060
+664:0:4649
+665:2:2887
+666:0:4649
+667:2:3068
+668:2:3069
+669:2:3070
+670:0:4649
+671:2:2887
+672:0:4649
+673:2:3078
+674:0:4649
+675:2:2887
+676:0:4649
+677:2:3081
+678:2:3082
+679:2:3086
+680:2:3087
+681:2:3095
+682:2:3096
+683:2:3100
+684:2:3101
+685:2:3109
+686:2:3114
+687:2:3115
+688:2:3127
+689:2:3128
+690:2:3132
+691:2:3133
+692:2:3127
+693:2:3128
+694:2:3132
+695:2:3133
+696:2:3141
+697:2:3146
+698:2:3147
+699:2:3158
+700:2:3159
+701:2:3160
+702:2:3171
+703:2:3176
+704:2:3177
+705:2:3188
+706:2:3189
+707:2:3190
+708:2:3188
+709:2:3189
+710:2:3190
+711:2:3201
+712:2:3208
+713:0:4649
+714:2:2887
+715:0:4649
+716:2:3212
+717:2:3213
+718:2:3214
+719:2:3226
+720:2:3227
+721:2:3231
+722:2:3232
+723:2:3240
+724:2:3245
+725:2:3249
+726:2:3250
+727:2:3258
+728:2:3259
+729:2:3263
+730:2:3264
+731:2:3258
+732:2:3259
+733:2:3263
+734:2:3264
+735:2:3272
+736:2:3277
+737:2:3278
+738:2:3289
+739:2:3290
+740:2:3291
+741:2:3302
+742:2:3307
+743:2:3308
+744:2:3319
+745:2:3320
+746:2:3321
+747:2:3319
+748:2:3320
+749:2:3321
+750:2:3332
+751:2:3343
+752:2:3344
+753:0:4649
+754:2:2887
+755:0:4649
+756:2:3350
+757:2:3351
+758:2:3355
+759:2:3356
+760:2:3364
+761:2:3365
+762:2:3369
+763:2:3370
+764:2:3378
+765:2:3383
+766:2:3387
+767:2:3388
+768:2:3396
+769:2:3397
+770:2:3401
+771:2:3402
+772:2:3396
+773:2:3397
+774:2:3401
+775:2:3402
+776:2:3410
+777:2:3415
+778:2:3416
+779:2:3427
+780:2:3428
+781:2:3429
+782:2:3440
+783:2:3445
+784:2:3446
+785:2:3457
+786:2:3458
+787:2:3459
+788:2:3457
+789:2:3458
+790:2:3459
+791:2:3470
+792:0:4649
+793:2:2887
+794:0:4649
+795:2:3610
+796:2:3611
+797:2:3615
+798:2:3616
+799:2:3624
+800:2:3625
+801:2:3629
+802:2:3630
+803:2:3638
+804:2:3643
+805:2:3647
+806:2:3648
+807:2:3656
+808:2:3657
+809:2:3661
+810:2:3662
+811:2:3656
+812:2:3657
+813:2:3661
+814:2:3662
+815:2:3670
+816:2:3675
+817:2:3676
+818:2:3687
+819:2:3688
+820:2:3689
+821:2:3700
+822:2:3705
+823:2:3706
+824:2:3717
+825:2:3718
+826:2:3719
+827:2:3717
+828:2:3718
+829:2:3719
+830:2:3730
+831:2:3740
+832:2:3741
+833:0:4649
+834:2:2887
+835:0:4649
+836:2:3750
+837:2:3751
+838:0:4649
+839:2:2887
+840:0:4649
+841:2:3479
+842:2:3480
+843:2:3484
+844:2:3485
+845:2:3493
+846:2:3494
+847:2:3498
+848:2:3499
+849:2:3507
+850:2:3512
+851:2:3516
+852:2:3517
+853:2:3525
+854:2:3526
+855:2:3527
+856:2:3525
+857:2:3526
+858:2:3530
+859:2:3531
+860:2:3539
+861:2:3544
+862:2:3545
+863:2:3556
+864:2:3557
+865:2:3558
+866:2:3569
+867:2:3574
+868:2:3575
+869:2:3586
+870:2:3587
+871:2:3588
+872:2:3586
+873:2:3587
+874:2:3588
+875:2:3599
+876:2:3606
+877:0:4649
+878:2:2887
+879:0:4649
+880:2:3755
+881:0:4649
+882:2:3763
+883:0:4649
+884:2:3764
+885:0:4649
+886:2:3769
+887:0:4649
+888:1:2
+889:0:4649
+890:2:3770
+891:0:4649
+892:1:8
+893:0:4649
+894:2:3769
+895:0:4649
+896:1:9
+897:0:4649
+898:2:3770
+899:0:4649
+900:1:10
+901:0:4649
+902:2:3769
+903:0:4649
+904:1:11
+905:0:4649
+906:2:3770
+907:0:4649
+908:1:12
+909:0:4649
+910:2:3769
+911:0:4649
+912:1:13
+913:0:4649
+914:2:3770
+915:0:4649
+916:1:14
+917:0:4649
+918:2:3769
+919:0:4649
+920:1:15
+921:0:4649
+922:2:3770
+923:0:4649
+924:1:16
+925:0:4649
+926:2:3769
+927:0:4649
+928:1:17
+929:0:4649
+930:2:3770
+931:0:4649
+932:1:18
+933:0:4649
+934:2:3769
+935:0:4649
+936:1:19
+937:0:4649
+938:2:3770
+939:0:4649
+940:1:20
+941:0:4649
+942:2:3769
+943:0:4649
+944:1:21
+945:0:4649
+946:2:3770
+947:0:4649
+948:1:122
+949:0:4649
+950:2:3769
+951:0:4649
+952:1:124
+953:0:4649
+954:2:3770
+955:0:4649
+956:1:23
+957:0:4649
+958:2:3769
+959:0:4649
+960:1:130
+961:1:131
+962:1:135
+963:1:136
+964:1:144
+965:1:145
+966:1:149
+967:1:150
+968:1:158
+969:1:163
+970:1:167
+971:1:168
+972:1:176
+973:1:177
+974:1:181
+975:1:182
+976:1:176
+977:1:177
+978:1:181
+979:1:182
+980:1:190
+981:1:195
+982:1:196
+983:1:207
+984:1:208
+985:1:209
+986:1:220
+987:1:232
+988:1:233
+989:1:237
+990:1:238
+991:1:239
+992:1:237
+993:1:238
+994:1:239
+995:1:250
+996:0:4649
+997:2:3770
+998:0:4649
+999:1:19
+1000:0:4649
+1001:2:3769
+1002:0:4649
+1003:1:20
+1004:0:4649
+1005:2:3770
+1006:0:4649
+1007:1:21
+1008:0:4649
+1009:2:3769
+1010:0:4649
+1011:1:122
+1012:0:4649
+1013:2:3770
+1014:0:4649
+1015:1:124
+1016:0:4649
+1017:2:3769
+1018:0:4649
+1019:1:23
+1020:0:4649
+1021:2:3770
+1022:0:4649
+1023:1:259
+1024:1:260
+1025:0:4649
+1026:2:3769
+1027:0:4649
+1028:1:19
+1029:0:4649
+1030:2:3770
+1031:0:4649
+1032:1:20
+1033:0:4649
+1034:2:3769
+1035:0:4649
+1036:1:21
+1037:0:4649
+1038:2:3770
+1039:0:4649
+1040:1:122
+1041:0:4649
+1042:2:3769
+1043:0:4649
+1044:1:124
+1045:0:4649
+1046:2:3770
+1047:0:4649
+1048:1:23
+1049:0:4649
+1050:2:3769
+1051:0:4649
+1052:1:266
+1053:1:267
+1054:1:271
+1055:1:272
+1056:1:280
+1057:1:281
+1058:1:285
+1059:1:286
+1060:1:294
+1061:1:299
+1062:1:303
+1063:1:304
+1064:1:312
+1065:1:313
+1066:1:317
+1067:1:318
+1068:1:312
+1069:1:313
+1070:1:317
+1071:1:318
+1072:1:326
+1073:1:331
+1074:1:332
+1075:1:343
+1076:1:344
+1077:1:345
+1078:1:356
+1079:1:368
+1080:1:369
+1081:1:373
+1082:1:374
+1083:1:375
+1084:1:373
+1085:1:374
+1086:1:375
+1087:1:386
+1088:0:4649
+1089:2:3770
+1090:0:4649
+1091:1:19
+1092:0:4649
+1093:2:3769
+1094:0:4649
+1095:1:20
+1096:0:4649
+1097:2:3770
+1098:0:4649
+1099:1:21
+1100:0:4649
+1101:2:3769
+1102:0:4649
+1103:1:122
+1104:0:4649
+1105:2:3770
+1106:0:4649
+1107:1:124
+1108:0:4649
+1109:2:3769
+1110:0:4649
+1111:1:23
+1112:0:4649
+1113:2:3770
+1114:0:4649
+1115:1:395
+1116:1:396
+1117:1:400
+1118:1:401
+1119:1:409
+1120:1:410
+1121:1:414
+1122:1:415
+1123:1:423
+1124:1:428
+1125:1:432
+1126:1:433
+1127:1:441
+1128:1:442
+1129:1:446
+1130:1:447
+1131:1:441
+1132:1:442
+1133:1:446
+1134:1:447
+1135:1:455
+1136:1:460
+1137:1:461
+1138:1:472
+1139:1:473
+1140:1:474
+1141:1:485
+1142:1:497
+1143:1:498
+1144:1:502
+1145:1:503
+1146:1:504
+1147:1:502
+1148:1:503
+1149:1:504
+1150:1:515
+1151:1:522
+1152:0:4649
+1153:2:3769
+1154:0:4649
+1155:1:19
+1156:0:4649
+1157:2:3770
+1158:0:4649
+1159:1:20
+1160:0:4649
+1161:2:3769
+1162:0:4649
+1163:1:21
+1164:0:4649
+1165:2:3770
+1166:0:4649
+1167:1:122
+1168:0:4649
+1169:2:3769
+1170:0:4649
+1171:1:124
+1172:0:4649
+1173:2:3770
+1174:0:4649
+1175:1:23
+1176:0:4649
+1177:2:3769
+1178:0:4649
+1179:1:660
+1180:1:661
+1181:1:665
+1182:1:666
+1183:1:674
+1184:1:675
+1185:1:676
+1186:1:688
+1187:1:693
+1188:1:697
+1189:1:698
+1190:1:706
+1191:1:707
+1192:1:711
+1193:1:712
+1194:1:706
+1195:1:707
+1196:1:711
+1197:1:712
+1198:1:720
+1199:1:725
+1200:1:726
+1201:1:737
+1202:1:738
+1203:1:739
+1204:1:750
+1205:1:762
+1206:1:763
+1207:1:767
+1208:1:768
+1209:1:769
+1210:1:767
+1211:1:768
+1212:1:769
+1213:1:780
+1214:0:4649
+1215:2:3770
+1216:0:4649
+1217:1:19
+1218:0:4649
+1219:2:3769
+1220:0:4649
+1221:1:20
+1222:0:4649
+1223:2:3770
+1224:0:4649
+1225:1:21
+1226:0:4649
+1227:2:3769
+1228:0:4649
+1229:1:122
+1230:0:4649
+1231:2:3770
+1232:0:4649
+1233:1:124
+1234:0:4649
+1235:2:3769
+1236:0:4649
+1237:1:23
+1238:0:4649
+1239:2:3770
+1240:0:4649
+1241:1:789
+1242:1:792
+1243:1:793
+1244:0:4649
+1245:2:3769
+1246:0:4649
+1247:1:19
+1248:0:4649
+1249:2:3770
+1250:0:4649
+1251:1:20
+1252:0:4649
+1253:2:3769
+1254:0:4649
+1255:1:21
+1256:0:4649
+1257:2:3770
+1258:0:4649
+1259:1:122
+1260:0:4649
+1261:2:3769
+1262:0:4649
+1263:1:124
+1264:0:4649
+1265:2:3770
+1266:0:4649
+1267:1:23
+1268:0:4649
+1269:2:3769
+1270:0:4649
+1271:1:1056
+1272:1:1057
+1273:1:1061
+1274:1:1062
+1275:1:1070
+1276:1:1071
+1277:1:1075
+1278:1:1076
+1279:1:1084
+1280:1:1089
+1281:1:1093
+1282:1:1094
+1283:1:1102
+1284:1:1103
+1285:1:1107
+1286:1:1108
+1287:1:1102
+1288:1:1103
+1289:1:1107
+1290:1:1108
+1291:1:1116
+1292:1:1121
+1293:1:1122
+1294:1:1133
+1295:1:1134
+1296:1:1135
+1297:1:1146
+1298:1:1158
+1299:1:1159
+1300:1:1163
+1301:1:1164
+1302:1:1165
+1303:1:1163
+1304:1:1164
+1305:1:1165
+1306:1:1176
+1307:1:1183
+1308:1:1187
+1309:0:4649
+1310:2:3770
+1311:0:4649
+1312:1:19
+1313:0:4649
+1314:2:3769
+1315:0:4649
+1316:1:20
+1317:0:4649
+1318:2:3770
+1319:0:4649
+1320:1:21
+1321:0:4649
+1322:2:3769
+1323:0:4649
+1324:1:122
+1325:0:4649
+1326:2:3770
+1327:0:4649
+1328:1:124
+1329:0:4649
+1330:2:3769
+1331:0:4649
+1332:1:23
+1333:0:4649
+1334:2:3770
+1335:0:4649
+1336:1:1188
+1337:1:1189
+1338:1:1193
+1339:1:1194
+1340:1:1202
+1341:1:1203
+1342:1:1204
+1343:1:1216
+1344:1:1221
+1345:1:1225
+1346:1:1226
+1347:1:1234
+1348:1:1235
+1349:1:1239
+1350:1:1240
+1351:1:1234
+1352:1:1235
+1353:1:1239
+1354:1:1240
+1355:1:1248
+1356:1:1253
+1357:1:1254
+1358:1:1265
+1359:1:1266
+1360:1:1267
+1361:1:1278
+1362:1:1290
+1363:1:1291
+1364:1:1295
+1365:1:1296
+1366:1:1297
+1367:1:1295
+1368:1:1296
+1369:1:1297
+1370:1:1308
+1371:0:4649
+1372:2:3769
+1373:0:4649
+1374:1:19
+1375:0:4649
+1376:2:3770
+1377:0:4649
+1378:1:20
+1379:0:4649
+1380:2:3769
+1381:0:4649
+1382:1:21
+1383:0:4649
+1384:2:3770
+1385:0:4649
+1386:1:122
+1387:0:4649
+1388:2:3769
+1389:0:4649
+1390:1:124
+1391:0:4649
+1392:2:3770
+1393:0:4649
+1394:1:23
+1395:0:4649
+1396:2:3769
+1397:0:4649
+1398:1:1317
+1399:0:4649
+1400:2:3770
+1401:0:4649
+1402:1:2781
+1403:1:2788
+1404:1:2789
+1405:1:2796
+1406:1:2801
+1407:1:2808
+1408:1:2809
+1409:1:2808
+1410:1:2809
+1411:1:2816
+1412:1:2820
+1413:0:4649
+1414:2:3769
+1415:0:4649
+1416:1:1319
+1417:1:1320
+1418:0:4647
+1419:2:3770
+1420:0:4653
+1421:1:2465