X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu-nosched-model%2Fresult-standard-execution-nest%2Furcu_progress_reader.spin.input.trail;fp=formal-model%2Furcu-nosched-model%2Fresult-standard-execution-nest%2Furcu_progress_reader.spin.input.trail;h=7c42af1b249807b0964bb07cd7eb91fec5a3c911;hb=06e8b2a87f862183a26e0005bf04221633f49d0c;hp=0000000000000000000000000000000000000000;hpb=8322221dc666e720badeb06bc780a1f8e69020a0;p=urcu.git

diff --git a/formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input.trail b/formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input.trail
new file mode 100644
index 0000000..7c42af1
--- /dev/null
+++ b/formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input.trail
@@ -0,0 +1,1270 @@
+-2:4:-2
+-4:-4:-4
+1:0:4401
+2:4:4353
+3:4:4356
+4:4:4356
+5:4:4359
+6:4:4367
+7:4:4367
+8:4:4370
+9:4:4376
+10:4:4380
+11:4:4380
+12:4:4383
+13:4:4391
+14:4:4395
+15:4:4396
+16:0:4401
+17:4:4398
+18:0:4401
+19:3:2479
+20:0:4401
+21:3:2485
+22:0:4401
+23:3:2486
+24:0:4401
+25:3:2487
+26:3:2491
+27:3:2492
+28:3:2500
+29:3:2501
+30:3:2505
+31:3:2506
+32:3:2514
+33:3:2519
+34:3:2523
+35:3:2524
+36:3:2531
+37:3:2532
+38:3:2543
+39:3:2544
+40:3:2545
+41:3:2556
+42:3:2561
+43:3:2562
+44:0:4401
+45:3:2574
+46:0:4401
+47:3:2576
+48:3:2577
+49:0:4401
+50:3:2581
+51:3:2585
+52:3:2586
+53:3:2594
+54:3:2595
+55:3:2599
+56:3:2600
+57:3:2608
+58:3:2613
+59:3:2614
+60:3:2625
+61:3:2626
+62:3:2637
+63:3:2638
+64:3:2639
+65:3:2650
+66:3:2655
+67:3:2656
+68:0:4401
+69:3:2668
+70:0:4401
+71:3:2670
+72:0:4401
+73:3:2671
+74:0:4401
+75:3:2681
+76:0:4401
+77:3:2682
+78:0:4401
+79:3:2686
+80:3:2687
+81:3:2691
+82:3:2695
+83:3:2696
+84:3:2700
+85:3:2708
+86:3:2709
+87:3:2714
+88:3:2721
+89:3:2722
+90:3:2729
+91:3:2734
+92:0:4401
+93:3:2745
+94:0:4401
+95:3:2749
+96:3:2750
+97:3:2754
+98:3:2758
+99:3:2759
+100:3:2763
+101:3:2771
+102:3:2772
+103:3:2777
+104:3:2784
+105:3:2785
+106:3:2792
+107:3:2797
+108:0:4401
+109:3:2808
+110:0:4401
+111:3:2816
+112:3:2817
+113:3:2821
+114:3:2825
+115:3:2826
+116:3:2830
+117:3:2838
+118:3:2839
+119:3:2844
+120:3:2851
+121:3:2852
+122:3:2859
+123:3:2864
+124:0:4401
+125:3:2879
+126:0:4401
+127:3:2881
+128:0:4401
+129:3:2882
+130:3:2886
+131:3:2887
+132:3:2895
+133:3:2896
+134:3:2900
+135:3:2901
+136:3:2909
+137:3:2914
+138:3:2918
+139:3:2919
+140:3:2926
+141:3:2927
+142:3:2938
+143:3:2939
+144:3:2940
+145:3:2951
+146:3:2956
+147:3:2957
+148:0:4401
+149:3:2969
+150:0:4401
+151:3:2971
+152:0:4401
+153:3:2974
+154:3:2975
+155:3:2987
+156:3:2988
+157:3:2992
+158:3:2993
+159:3:3001
+160:3:3006
+161:3:3010
+162:3:3011
+163:3:3018
+164:3:3019
+165:3:3030
+166:3:3031
+167:3:3032
+168:3:3043
+169:3:3048
+170:3:3049
+171:0:4401
+172:3:3061
+173:0:4401
+174:3:3063
+175:0:4401
+176:3:3064
+177:0:4401
+178:3:3065
+179:0:4401
+180:3:3066
+181:0:4401
+182:3:3067
+183:3:3071
+184:3:3072
+185:3:3080
+186:3:3081
+187:3:3085
+188:3:3086
+189:3:3094
+190:3:3099
+191:3:3103
+192:3:3104
+193:3:3111
+194:3:3112
+195:3:3123
+196:3:3124
+197:3:3125
+198:3:3136
+199:3:3141
+200:3:3142
+201:0:4401
+202:3:3154
+203:0:4401
+204:3:3356
+205:0:4401
+206:3:3454
+207:0:4401
+208:3:3455
+209:0:4401
+210:3:3459
+211:0:4401
+212:3:3465
+213:3:3469
+214:3:3470
+215:3:3478
+216:3:3479
+217:3:3483
+218:3:3484
+219:3:3492
+220:3:3497
+221:3:3501
+222:3:3502
+223:3:3509
+224:3:3510
+225:3:3521
+226:3:3522
+227:3:3523
+228:3:3534
+229:3:3539
+230:3:3540
+231:0:4401
+232:3:3552
+233:0:4401
+234:3:3554
+235:0:4401
+236:3:3555
+237:3:3559
+238:3:3560
+239:3:3568
+240:3:3569
+241:3:3573
+242:3:3574
+243:3:3582
+244:3:3587
+245:3:3591
+246:3:3592
+247:3:3599
+248:3:3600
+249:3:3611
+250:3:3612
+251:3:3613
+252:3:3624
+253:3:3629
+254:3:3630
+255:0:4401
+256:3:3642
+257:0:4401
+258:3:3644
+259:0:4401
+260:3:3647
+261:3:3648
+262:3:3660
+263:3:3661
+264:3:3665
+265:3:3666
+266:3:3674
+267:3:3679
+268:3:3683
+269:3:3684
+270:3:3691
+271:3:3692
+272:3:3703
+273:3:3704
+274:3:3705
+275:3:3716
+276:3:3721
+277:3:3722
+278:0:4401
+279:3:3734
+280:0:4401
+281:3:3736
+282:0:4401
+283:3:3737
+284:0:4401
+285:3:3738
+286:0:4401
+287:3:3739
+288:0:4401
+289:3:3740
+290:3:3744
+291:3:3745
+292:3:3753
+293:3:3754
+294:3:3758
+295:3:3759
+296:3:3767
+297:3:3772
+298:3:3776
+299:3:3777
+300:3:3784
+301:3:3785
+302:3:3796
+303:3:3797
+304:3:3798
+305:3:3809
+306:3:3814
+307:3:3815
+308:0:4401
+309:3:3827
+310:0:4401
+311:3:4029
+312:0:4401
+313:3:4127
+314:0:4401
+315:3:4128
+316:0:4401
+317:3:4132
+318:0:4401
+319:3:4138
+320:0:4401
+321:3:4142
+322:3:4143
+323:3:4147
+324:3:4151
+325:3:4152
+326:3:4156
+327:3:4164
+328:3:4165
+329:3:4170
+330:3:4177
+331:3:4178
+332:3:4185
+333:3:4190
+334:0:4401
+335:3:4201
+336:0:4401
+337:3:4205
+338:3:4206
+339:3:4210
+340:3:4214
+341:3:4215
+342:3:4219
+343:3:4227
+344:3:4228
+345:3:4233
+346:3:4240
+347:3:4241
+348:3:4248
+349:3:4253
+350:0:4401
+351:3:4264
+352:0:4401
+353:3:4272
+354:3:4273
+355:3:4277
+356:3:4281
+357:3:4282
+358:3:4286
+359:3:4294
+360:3:4295
+361:3:4300
+362:3:4307
+363:3:4308
+364:3:4315
+365:3:4320
+366:0:4401
+367:3:4335
+368:0:4401
+369:3:4337
+370:0:4401
+371:3:4338
+372:0:4401
+373:3:2486
+374:0:4401
+375:3:2487
+376:3:2491
+377:3:2492
+378:3:2500
+379:3:2501
+380:3:2505
+381:3:2506
+382:3:2514
+383:3:2519
+384:3:2523
+385:3:2524
+386:3:2531
+387:3:2532
+388:3:2543
+389:3:2544
+390:3:2545
+391:3:2556
+392:3:2561
+393:3:2562
+394:0:4401
+395:3:2574
+396:0:4401
+397:3:2576
+398:3:2577
+399:0:4401
+400:3:2581
+401:3:2585
+402:3:2586
+403:3:2594
+404:3:2595
+405:3:2599
+406:3:2600
+407:3:2608
+408:3:2613
+409:3:2614
+410:3:2625
+411:3:2626
+412:3:2637
+413:3:2638
+414:3:2639
+415:3:2650
+416:3:2655
+417:3:2656
+418:0:4401
+419:3:2668
+420:0:4401
+421:3:2670
+422:0:4401
+423:3:2671
+424:0:4401
+425:3:2681
+426:0:4401
+427:3:2682
+428:0:4401
+429:3:2686
+430:3:2687
+431:3:2691
+432:3:2695
+433:3:2696
+434:3:2700
+435:3:2708
+436:3:2709
+437:3:2714
+438:3:2721
+439:3:2722
+440:3:2729
+441:3:2734
+442:0:4401
+443:3:2745
+444:0:4401
+445:3:2749
+446:3:2750
+447:3:2754
+448:3:2758
+449:3:2759
+450:3:2763
+451:3:2771
+452:3:2772
+453:3:2777
+454:3:2784
+455:3:2785
+456:3:2792
+457:3:2797
+458:0:4401
+459:3:2808
+460:0:4401
+461:3:2816
+462:3:2817
+463:3:2821
+464:3:2825
+465:3:2826
+466:3:2830
+467:3:2838
+468:3:2839
+469:3:2844
+470:3:2851
+471:3:2852
+472:3:2859
+473:3:2864
+474:0:4401
+475:3:2879
+476:0:4401
+477:3:2881
+478:0:4401
+479:3:2882
+480:3:2886
+481:3:2887
+482:3:2895
+483:3:2896
+484:3:2900
+485:3:2901
+486:3:2909
+487:3:2914
+488:3:2918
+489:3:2919
+490:3:2926
+491:3:2927
+492:3:2938
+493:3:2939
+494:3:2940
+495:3:2951
+496:3:2956
+497:3:2957
+498:0:4401
+499:3:2969
+500:0:4401
+501:3:2971
+502:0:4401
+503:3:2974
+504:3:2975
+505:3:2987
+506:3:2988
+507:3:2992
+508:3:2993
+509:3:3001
+510:3:3006
+511:3:3010
+512:3:3011
+513:3:3018
+514:3:3019
+515:3:3030
+516:3:3031
+517:3:3032
+518:3:3043
+519:3:3048
+520:3:3049
+521:0:4401
+522:3:3061
+523:0:4401
+524:3:3063
+525:0:4401
+526:3:3064
+527:0:4401
+528:3:3065
+529:0:4401
+530:3:3066
+531:0:4401
+532:3:3067
+533:3:3071
+534:3:3072
+535:3:3080
+536:3:3081
+537:3:3085
+538:3:3086
+539:3:3094
+540:3:3099
+541:3:3103
+542:3:3104
+543:3:3111
+544:3:3112
+545:3:3123
+546:3:3124
+547:3:3125
+548:3:3136
+549:3:3141
+550:3:3142
+551:0:4401
+552:3:3154
+553:0:4401
+554:3:3356
+555:0:4401
+556:3:3454
+557:0:4401
+558:3:3455
+559:0:4401
+560:3:3459
+561:0:4401
+562:3:3465
+563:3:3469
+564:3:3470
+565:3:3478
+566:3:3479
+567:3:3483
+568:3:3484
+569:3:3492
+570:3:3497
+571:3:3501
+572:3:3502
+573:3:3509
+574:3:3510
+575:3:3521
+576:3:3522
+577:3:3523
+578:3:3534
+579:3:3539
+580:3:3540
+581:0:4401
+582:3:3552
+583:0:4401
+584:3:3554
+585:0:4401
+586:3:3555
+587:3:3559
+588:3:3560
+589:3:3568
+590:3:3569
+591:3:3573
+592:3:3574
+593:3:3582
+594:3:3587
+595:3:3591
+596:3:3592
+597:3:3599
+598:3:3600
+599:3:3611
+600:3:3612
+601:3:3613
+602:3:3624
+603:3:3629
+604:3:3630
+605:0:4401
+606:3:3642
+607:0:4401
+608:3:3644
+609:0:4401
+610:3:3647
+611:3:3648
+612:3:3660
+613:3:3661
+614:3:3665
+615:3:3666
+616:3:3674
+617:3:3679
+618:3:3683
+619:3:3684
+620:3:3691
+621:3:3692
+622:3:3703
+623:3:3704
+624:3:3705
+625:3:3716
+626:3:3721
+627:3:3722
+628:0:4401
+629:3:3734
+630:0:4401
+631:3:3736
+632:0:4401
+633:3:3737
+634:0:4401
+635:3:3738
+636:0:4401
+637:3:3739
+638:0:4401
+639:3:3740
+640:3:3744
+641:3:3745
+642:3:3753
+643:3:3754
+644:3:3758
+645:3:3759
+646:3:3767
+647:3:3772
+648:3:3776
+649:3:3777
+650:3:3784
+651:3:3785
+652:3:3796
+653:3:3797
+654:3:3798
+655:3:3809
+656:3:3814
+657:3:3815
+658:0:4401
+659:3:3827
+660:0:4401
+661:3:4029
+662:0:4401
+663:3:4127
+664:0:4401
+665:3:4128
+666:0:4401
+667:3:4132
+668:0:4401
+669:3:4138
+670:0:4401
+671:3:4142
+672:3:4143
+673:3:4147
+674:3:4151
+675:3:4152
+676:3:4156
+677:3:4164
+678:3:4165
+679:3:4170
+680:3:4177
+681:3:4178
+682:3:4185
+683:3:4190
+684:0:4401
+685:3:4201
+686:0:4401
+687:3:4205
+688:3:4206
+689:3:4210
+690:3:4214
+691:3:4215
+692:3:4219
+693:3:4227
+694:3:4228
+695:3:4233
+696:3:4240
+697:3:4241
+698:3:4248
+699:3:4253
+700:0:4401
+701:3:4264
+702:0:4401
+703:3:4272
+704:3:4273
+705:3:4277
+706:3:4281
+707:3:4282
+708:3:4286
+709:3:4294
+710:3:4295
+711:3:4300
+712:3:4307
+713:3:4308
+714:3:4315
+715:3:4320
+716:0:4401
+717:3:4335
+718:0:4401
+719:3:4337
+720:0:4401
+721:3:4338
+722:0:4401
+723:3:2486
+724:0:4401
+725:3:2487
+726:3:2491
+727:3:2492
+728:3:2500
+729:3:2501
+730:3:2505
+731:3:2506
+732:3:2514
+733:3:2519
+734:3:2523
+735:3:2524
+736:3:2531
+737:3:2532
+738:3:2543
+739:3:2544
+740:3:2545
+741:3:2556
+742:3:2561
+743:3:2562
+744:0:4401
+745:3:2574
+746:0:4401
+747:3:2576
+748:3:2577
+749:0:4401
+750:3:2581
+751:3:2585
+752:3:2586
+753:3:2594
+754:3:2595
+755:3:2599
+756:3:2600
+757:3:2608
+758:3:2613
+759:3:2614
+760:3:2625
+761:3:2626
+762:3:2637
+763:3:2638
+764:3:2639
+765:3:2650
+766:3:2655
+767:3:2656
+768:0:4401
+769:3:2668
+770:0:4401
+771:3:2670
+772:0:4401
+773:3:2671
+774:0:4401
+775:3:2681
+776:0:4401
+777:3:2682
+778:0:4401
+779:3:2686
+780:3:2687
+781:3:2691
+782:3:2695
+783:3:2696
+784:3:2700
+785:3:2708
+786:3:2709
+787:3:2714
+788:3:2721
+789:3:2722
+790:3:2729
+791:3:2734
+792:0:4401
+793:3:2745
+794:0:4401
+795:3:2749
+796:3:2750
+797:3:2754
+798:3:2758
+799:3:2759
+800:3:2763
+801:3:2771
+802:3:2772
+803:3:2777
+804:3:2784
+805:3:2785
+806:3:2792
+807:3:2797
+808:0:4401
+809:3:2808
+810:0:4401
+811:3:2816
+812:3:2817
+813:3:2821
+814:3:2825
+815:3:2826
+816:3:2830
+817:3:2838
+818:3:2839
+819:3:2844
+820:3:2851
+821:3:2852
+822:3:2859
+823:3:2864
+824:0:4401
+825:3:2879
+826:0:4401
+827:3:2881
+828:0:4401
+829:3:2882
+830:3:2886
+831:3:2887
+832:3:2895
+833:3:2896
+834:3:2900
+835:3:2901
+836:3:2909
+837:3:2914
+838:3:2918
+839:3:2919
+840:3:2926
+841:3:2927
+842:3:2938
+843:3:2939
+844:3:2940
+845:3:2951
+846:3:2956
+847:3:2957
+848:0:4401
+849:3:2969
+850:0:4401
+851:3:2971
+852:0:4401
+853:3:2974
+854:3:2975
+855:3:2987
+856:3:2988
+857:3:2992
+858:3:2993
+859:3:3001
+860:3:3006
+861:3:3010
+862:3:3011
+863:3:3018
+864:3:3019
+865:3:3030
+866:3:3031
+867:3:3032
+868:3:3043
+869:3:3048
+870:3:3049
+871:0:4401
+872:3:3061
+873:0:4401
+874:3:3063
+875:0:4401
+876:3:3064
+877:0:4401
+878:3:3065
+879:0:4401
+880:3:3066
+881:0:4401
+882:3:3067
+883:3:3071
+884:3:3072
+885:3:3080
+886:3:3081
+887:3:3085
+888:3:3086
+889:3:3094
+890:3:3099
+891:3:3103
+892:3:3104
+893:3:3111
+894:3:3112
+895:3:3123
+896:3:3124
+897:3:3125
+898:3:3136
+899:3:3141
+900:3:3142
+901:0:4401
+902:3:3154
+903:0:4401
+904:3:3356
+905:0:4401
+906:3:3454
+907:0:4401
+908:3:3455
+909:0:4401
+910:3:3459
+911:0:4401
+912:3:3465
+913:3:3469
+914:3:3470
+915:3:3478
+916:3:3479
+917:3:3483
+918:3:3484
+919:3:3492
+920:3:3497
+921:3:3501
+922:3:3502
+923:3:3509
+924:3:3510
+925:3:3521
+926:3:3522
+927:3:3523
+928:3:3534
+929:3:3539
+930:3:3540
+931:0:4401
+932:3:3552
+933:0:4401
+934:3:3554
+935:0:4401
+936:3:3555
+937:3:3559
+938:3:3560
+939:3:3568
+940:3:3569
+941:3:3573
+942:3:3574
+943:3:3582
+944:3:3587
+945:3:3591
+946:3:3592
+947:3:3599
+948:3:3600
+949:3:3611
+950:3:3612
+951:3:3613
+952:3:3624
+953:3:3629
+954:3:3630
+955:0:4401
+956:3:3642
+957:0:4401
+958:3:3644
+959:0:4401
+960:3:3647
+961:3:3648
+962:3:3660
+963:3:3661
+964:3:3665
+965:3:3666
+966:3:3674
+967:3:3679
+968:3:3683
+969:3:3684
+970:3:3691
+971:3:3692
+972:3:3703
+973:3:3704
+974:3:3705
+975:3:3716
+976:3:3721
+977:3:3722
+978:0:4401
+979:3:3734
+980:0:4401
+981:3:3736
+982:0:4401
+983:3:3737
+984:0:4401
+985:3:3738
+986:0:4401
+987:3:3739
+988:0:4401
+989:3:3740
+990:3:3744
+991:3:3745
+992:3:3753
+993:3:3754
+994:3:3758
+995:3:3759
+996:3:3767
+997:3:3772
+998:3:3776
+999:3:3777
+1000:3:3784
+1001:3:3785
+1002:3:3796
+1003:3:3797
+1004:3:3798
+1005:3:3809
+1006:3:3814
+1007:3:3815
+1008:0:4401
+1009:3:3827
+1010:0:4401
+1011:3:4029
+1012:0:4401
+1013:3:4127
+1014:0:4401
+1015:3:4128
+1016:0:4401
+1017:3:4132
+1018:0:4401
+1019:3:4138
+1020:0:4401
+1021:3:4142
+1022:3:4143
+1023:3:4147
+1024:3:4151
+1025:3:4152
+1026:3:4156
+1027:3:4164
+1028:3:4165
+1029:3:4170
+1030:3:4177
+1031:3:4178
+1032:3:4185
+1033:3:4190
+1034:0:4401
+1035:3:4201
+1036:0:4401
+1037:3:4205
+1038:3:4206
+1039:3:4210
+1040:3:4214
+1041:3:4215
+1042:3:4219
+1043:3:4227
+1044:3:4228
+1045:3:4233
+1046:3:4240
+1047:3:4241
+1048:3:4248
+1049:3:4253
+1050:0:4401
+1051:3:4264
+1052:0:4401
+1053:3:4272
+1054:3:4273
+1055:3:4277
+1056:3:4281
+1057:3:4282
+1058:3:4286
+1059:3:4294
+1060:3:4295
+1061:3:4300
+1062:3:4307
+1063:3:4308
+1064:3:4315
+1065:3:4320
+1066:0:4401
+1067:3:4335
+1068:0:4401
+1069:3:4337
+1070:0:4401
+1071:3:4338
+1072:0:4401
+1073:3:4341
+1074:0:4401
+1075:3:4346
+1076:0:4401
+1077:2:1236
+1078:0:4401
+1079:3:4347
+1080:0:4401
+1081:2:1242
+1082:0:4401
+1083:3:4346
+1084:0:4401
+1085:2:1243
+1086:0:4401
+1087:3:4347
+1088:0:4401
+1089:2:1244
+1090:0:4401
+1091:3:4346
+1092:0:4401
+1093:2:1245
+1094:0:4401
+1095:3:4347
+1096:0:4401
+1097:1:2
+1098:0:4401
+1099:3:4346
+1100:0:4401
+1101:2:1246
+1102:0:4401
+1103:3:4347
+1104:0:4401
+1105:1:8
+1106:0:4401
+1107:3:4346
+1108:0:4401
+1109:2:1245
+1110:0:4401
+1111:3:4347
+1112:0:4401
+1113:1:9
+1114:0:4401
+1115:3:4346
+1116:0:4401
+1117:2:1246
+1118:0:4401
+1119:3:4347
+1120:0:4401
+1121:1:10
+1122:0:4401
+1123:3:4346
+1124:0:4401
+1125:2:1245
+1126:0:4401
+1127:3:4347
+1128:0:4401
+1129:1:11
+1130:0:4401
+1131:3:4346
+1132:0:4401
+1133:2:1246
+1134:0:4401
+1135:3:4347
+1136:0:4401
+1137:1:14
+1138:0:4401
+1139:3:4346
+1140:0:4401
+1141:2:1245
+1142:0:4401
+1143:3:4347
+1144:0:4401
+1145:1:15
+1146:0:4401
+1147:3:4346
+1148:0:4401
+1149:2:1246
+1150:0:4401
+1151:3:4347
+1152:0:4401
+1153:1:16
+1154:1:20
+1155:1:21
+1156:1:29
+1157:1:30
+1158:1:34
+1159:1:35
+1160:1:43
+1161:1:48
+1162:1:52
+1163:1:53
+1164:1:60
+1165:1:61
+1166:1:72
+1167:1:73
+1168:1:74
+1169:1:85
+1170:1:90
+1171:1:91
+1172:0:4401
+1173:3:4346
+1174:0:4401
+1175:2:1245
+1176:0:4401
+1177:3:4347
+1178:0:4401
+1179:1:103
+1180:0:4401
+1181:3:4346
+1182:0:4401
+1183:2:1246
+1184:0:4401
+1185:3:4347
+1186:0:4401
+1187:2:1247
+1188:0:4401
+1189:3:4346
+1190:0:4401
+1191:2:1253
+1192:0:4401
+1193:3:4347
+1194:0:4401
+1195:2:1254
+1196:0:4399
+1197:3:4346
+1198:0:4405
+1199:3:4347
+1200:0:4405
+1201:2:1257
+1202:0:4405
+1203:3:4346
+1204:0:4405
+1205:2:1258
+1206:0:4405
+1207:3:4347
+1208:0:4405
+1209:2:1259
+1210:2:1263
+1211:2:1264
+1212:2:1272
+1213:2:1273
+1214:2:1277
+1215:2:1278
+1216:2:1286
+1217:2:1291
+1218:2:1295
+1219:2:1296
+1220:2:1303
+1221:2:1304
+1222:2:1315
+1223:2:1316
+1224:2:1317
+1225:2:1328
+1226:2:1333
+1227:2:1334
+1228:0:4405
+1229:3:4346
+1230:0:4405
+1231:2:1346
+1232:0:4405
+1233:3:4347
+1234:0:4405
+1235:2:1347
+1236:0:4405
+1237:3:4346
+1238:0:4405
+1239:1:104
+-1:-1:-1
+1240:0:4405
+1241:3:4347
+1242:0:4405
+1243:3:4346
+1244:0:4405
+1245:2:1348
+1246:0:4405
+1247:3:4347
+1248:0:4405
+1249:2:1347
+1250:0:4405
+1251:3:4346
+1252:0:4405
+1253:1:105
+1254:0:4405
+1255:3:4347
+1256:0:4405
+1257:3:4346
+1258:0:4405
+1259:2:1348
+1260:0:4405
+1261:3:4347
+1262:0:4405
+1263:2:1347
+1264:0:4405
+1265:3:4346
+1266:0:4405
+1267:1:104