X-Git-Url: http://git.liburcu.org/?p=urcu.git;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=0000000000000000000000000000000000000000;hp=915575ede716a0e1cda794cab1cae61687e01e0d;hb=5e32821aa6d74b755730c19a8aa66404d2c367c9;hpb=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca

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
deleted file mode 100644
index 915575e..0000000
--- a/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input.trail
+++ /dev/null
@@ -1,1485 +0,0 @@
--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