X-Git-Url: https://git.lttng.org/?a=blobdiff_plain;f=formal-model%2Furcu-controldataflow-intel-ipi%2Furcu_free_no_mb.spin.input.trail;fp=formal-model%2Furcu-controldataflow-intel-ipi%2Furcu_free_no_mb.spin.input.trail;h=0000000000000000000000000000000000000000;hb=5e32821aa6d74b755730c19a8aa66404d2c367c9;hp=e886f80d160a2bc0c3644007875b4570e3d6cfa3;hpb=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;p=urcu.git

diff --git a/formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.spin.input.trail b/formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.spin.input.trail
deleted file mode 100644
index e886f80..0000000
--- a/formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.spin.input.trail
+++ /dev/null
@@ -1,1362 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4182
-2:3:4102
-3:3:4105
-4:3:4105
-5:3:4108
-6:3:4116
-7:3:4116
-8:3:4119
-9:3:4125
-10:3:4129
-11:3:4129
-12:3:4132
-13:3:4142
-14:3:4150
-15:3:4150
-16:3:4153
-17:3:4159
-18:3:4163
-19:3:4163
-20:3:4166
-21:3:4172
-22:3:4176
-23:3:4177
-24:0:4182
-25:3:4179
-26:0:4182
-27:2:2515
-28:0:4182
-29:2:2521
-30:0:4182
-31:2:2522
-32:0:4182
-33:2:2524
-34:0:4182
-35:2:2525
-36:0:4182
-37:2:2526
-38:0:4182
-39:2:2527
-40:0:4182
-41:2:2528
-42:2:2529
-43:2:2533
-44:2:2534
-45:2:2542
-46:2:2543
-47:2:2547
-48:2:2548
-49:2:2556
-50:2:2561
-51:2:2565
-52:2:2566
-53:2:2574
-54:2:2575
-55:2:2579
-56:2:2580
-57:2:2574
-58:2:2575
-59:2:2579
-60:2:2580
-61:2:2588
-62:2:2593
-63:2:2600
-64:2:2601
-65:2:2608
-66:2:2613
-67:2:2620
-68:2:2621
-69:2:2620
-70:2:2621
-71:2:2628
-72:2:2638
-73:0:4182
-74:2:2527
-75:0:4182
-76:2:2642
-77:2:2646
-78:2:2647
-79:2:2651
-80:2:2655
-81:2:2656
-82:2:2660
-83:2:2668
-84:2:2669
-85:2:2673
-86:2:2677
-87:2:2678
-88:2:2673
-89:2:2674
-90:2:2682
-91:0:4182
-92:2:2527
-93:0:4182
-94:2:2690
-95:2:2691
-96:2:2692
-97:0:4182
-98:2:2527
-99:0:4182
-100:2:2700
-101:0:4182
-102:2:2527
-103:0:4182
-104:2:2703
-105:2:2704
-106:2:2708
-107:2:2709
-108:2:2717
-109:2:2718
-110:2:2722
-111:2:2723
-112:2:2731
-113:2:2736
-114:2:2737
-115:2:2749
-116:2:2750
-117:2:2754
-118:2:2755
-119:2:2749
-120:2:2750
-121:2:2754
-122:2:2755
-123:2:2763
-124:2:2768
-125:2:2775
-126:2:2776
-127:2:2783
-128:2:2788
-129:2:2795
-130:2:2796
-131:2:2795
-132:2:2796
-133:2:2803
-134:2:2812
-135:0:4182
-136:2:2527
-137:0:4182
-138:2:2816
-139:2:2817
-140:2:2818
-141:2:2830
-142:2:2831
-143:2:2835
-144:2:2836
-145:2:2844
-146:2:2849
-147:2:2853
-148:2:2854
-149:2:2862
-150:2:2863
-151:2:2867
-152:2:2868
-153:2:2862
-154:2:2863
-155:2:2867
-156:2:2868
-157:2:2876
-158:2:2881
-159:2:2888
-160:2:2889
-161:2:2896
-162:2:2901
-163:2:2908
-164:2:2909
-165:2:2908
-166:2:2909
-167:2:2916
-168:2:2929
-169:2:2930
-170:0:4182
-171:2:2527
-172:0:4182
-173:2:2937
-174:2:2938
-175:2:2942
-176:2:2943
-177:2:2951
-178:2:2952
-179:2:2956
-180:2:2957
-181:2:2965
-182:2:2970
-183:2:2974
-184:2:2975
-185:2:2983
-186:2:2984
-187:2:2988
-188:2:2989
-189:2:2983
-190:2:2984
-191:2:2988
-192:2:2989
-193:2:2997
-194:2:3002
-195:2:3009
-196:2:3010
-197:2:3017
-198:2:3022
-199:2:3029
-200:2:3030
-201:2:3029
-202:2:3030
-203:2:3037
-204:0:4182
-205:2:2527
-206:0:4182
-207:2:3048
-208:2:3049
-209:2:3053
-210:2:3054
-211:2:3062
-212:2:3063
-213:2:3067
-214:2:3068
-215:2:3076
-216:2:3081
-217:2:3085
-218:2:3086
-219:2:3094
-220:2:3095
-221:2:3099
-222:2:3100
-223:2:3094
-224:2:3095
-225:2:3099
-226:2:3100
-227:2:3108
-228:2:3113
-229:2:3120
-230:2:3121
-231:2:3128
-232:2:3133
-233:2:3140
-234:2:3141
-235:2:3140
-236:2:3141
-237:2:3148
-238:2:3157
-239:0:4182
-240:2:2527
-241:0:4182
-242:2:3161
-243:2:3162
-244:2:3163
-245:2:3175
-246:2:3176
-247:2:3180
-248:2:3181
-249:2:3189
-250:2:3194
-251:2:3198
-252:2:3199
-253:2:3207
-254:2:3208
-255:2:3212
-256:2:3213
-257:2:3207
-258:2:3208
-259:2:3212
-260:2:3213
-261:2:3221
-262:2:3226
-263:2:3233
-264:2:3234
-265:2:3241
-266:2:3246
-267:2:3253
-268:2:3254
-269:2:3253
-270:2:3254
-271:2:3261
-272:2:3273
-273:2:3274
-274:0:4182
-275:2:2527
-276:0:4182
-277:2:3283
-278:2:3284
-279:0:4182
-280:2:2527
-281:0:4182
-282:2:3288
-283:0:4182
-284:2:3296
-285:0:4182
-286:2:2522
-287:0:4182
-288:2:2524
-289:0:4182
-290:2:2525
-291:0:4182
-292:2:2526
-293:0:4182
-294:2:2527
-295:0:4182
-296:2:2528
-297:2:2529
-298:2:2533
-299:2:2534
-300:2:2542
-301:2:2543
-302:2:2547
-303:2:2548
-304:2:2556
-305:2:2561
-306:2:2565
-307:2:2566
-308:2:2574
-309:2:2575
-310:2:2576
-311:2:2574
-312:2:2575
-313:2:2579
-314:2:2580
-315:2:2588
-316:2:2593
-317:2:2600
-318:2:2601
-319:2:2608
-320:2:2613
-321:2:2620
-322:2:2621
-323:2:2620
-324:2:2621
-325:2:2628
-326:2:2638
-327:0:4182
-328:2:2527
-329:0:4182
-330:2:2642
-331:2:2646
-332:2:2647
-333:2:2651
-334:2:2655
-335:2:2656
-336:2:2660
-337:2:2668
-338:2:2669
-339:2:2673
-340:2:2674
-341:2:2673
-342:2:2677
-343:2:2678
-344:2:2682
-345:0:4182
-346:2:2527
-347:0:4182
-348:2:2690
-349:2:2691
-350:2:2692
-351:0:4182
-352:2:2527
-353:0:4182
-354:2:2700
-355:0:4182
-356:2:2527
-357:0:4182
-358:2:2703
-359:2:2704
-360:2:2708
-361:2:2709
-362:2:2717
-363:2:2718
-364:2:2722
-365:2:2723
-366:2:2731
-367:2:2736
-368:2:2737
-369:2:2749
-370:2:2750
-371:2:2754
-372:2:2755
-373:2:2749
-374:2:2750
-375:2:2754
-376:2:2755
-377:2:2763
-378:2:2768
-379:2:2775
-380:2:2776
-381:2:2783
-382:2:2788
-383:2:2795
-384:2:2796
-385:2:2795
-386:2:2796
-387:2:2803
-388:2:2812
-389:0:4182
-390:2:2527
-391:0:4182
-392:2:2816
-393:2:2817
-394:2:2818
-395:2:2830
-396:2:2831
-397:2:2835
-398:2:2836
-399:2:2844
-400:2:2849
-401:2:2853
-402:2:2854
-403:2:2862
-404:2:2863
-405:2:2867
-406:2:2868
-407:2:2862
-408:2:2863
-409:2:2867
-410:2:2868
-411:2:2876
-412:2:2881
-413:2:2888
-414:2:2889
-415:2:2896
-416:2:2901
-417:2:2908
-418:2:2909
-419:2:2908
-420:2:2909
-421:2:2916
-422:2:2929
-423:2:2930
-424:0:4182
-425:2:2527
-426:0:4182
-427:2:2937
-428:2:2938
-429:2:2942
-430:2:2943
-431:2:2951
-432:2:2952
-433:2:2956
-434:2:2957
-435:2:2965
-436:2:2970
-437:2:2974
-438:2:2975
-439:2:2983
-440:2:2984
-441:2:2988
-442:2:2989
-443:2:2983
-444:2:2984
-445:2:2988
-446:2:2989
-447:2:2997
-448:2:3002
-449:2:3009
-450:2:3010
-451:2:3017
-452:2:3022
-453:2:3029
-454:2:3030
-455:2:3029
-456:2:3030
-457:2:3037
-458:0:4182
-459:2:2527
-460:0:4182
-461:2:3048
-462:2:3049
-463:2:3053
-464:2:3054
-465:2:3062
-466:2:3063
-467:2:3067
-468:2:3068
-469:2:3076
-470:2:3081
-471:2:3085
-472:2:3086
-473:2:3094
-474:2:3095
-475:2:3099
-476:2:3100
-477:2:3094
-478:2:3095
-479:2:3099
-480:2:3100
-481:2:3108
-482:2:3113
-483:2:3120
-484:2:3121
-485:2:3128
-486:2:3133
-487:2:3140
-488:2:3141
-489:2:3140
-490:2:3141
-491:2:3148
-492:2:3157
-493:0:4182
-494:2:2527
-495:0:4182
-496:2:3161
-497:2:3162
-498:2:3163
-499:2:3175
-500:2:3176
-501:2:3180
-502:2:3181
-503:2:3189
-504:2:3194
-505:2:3198
-506:2:3199
-507:2:3207
-508:2:3208
-509:2:3212
-510:2:3213
-511:2:3207
-512:2:3208
-513:2:3212
-514:2:3213
-515:2:3221
-516:2:3226
-517:2:3233
-518:2:3234
-519:2:3241
-520:2:3246
-521:2:3253
-522:2:3254
-523:2:3253
-524:2:3254
-525:2:3261
-526:2:3273
-527:2:3274
-528:0:4182
-529:2:2527
-530:0:4182
-531:2:3283
-532:2:3284
-533:0:4182
-534:2:2527
-535:0:4182
-536:2:3288
-537:0:4182
-538:2:3296
-539:0:4182
-540:2:2522
-541:0:4182
-542:2:2524
-543:0:4182
-544:2:2525
-545:0:4182
-546:2:2526
-547:0:4182
-548:2:2527
-549:0:4182
-550:2:2528
-551:2:2529
-552:2:2533
-553:2:2534
-554:2:2542
-555:2:2543
-556:2:2547
-557:2:2548
-558:2:2556
-559:2:2561
-560:2:2565
-561:2:2566
-562:2:2574
-563:2:2575
-564:2:2579
-565:2:2580
-566:2:2574
-567:2:2575
-568:2:2576
-569:2:2588
-570:2:2593
-571:2:2600
-572:2:2601
-573:2:2608
-574:2:2613
-575:2:2620
-576:2:2621
-577:2:2620
-578:2:2621
-579:2:2628
-580:2:2638
-581:0:4182
-582:2:2527
-583:0:4182
-584:2:2642
-585:2:2646
-586:2:2647
-587:2:2651
-588:2:2655
-589:2:2656
-590:2:2660
-591:2:2668
-592:2:2669
-593:2:2673
-594:2:2677
-595:2:2678
-596:2:2673
-597:2:2674
-598:2:2682
-599:0:4182
-600:2:2527
-601:0:4182
-602:2:2690
-603:2:2691
-604:2:2692
-605:0:4182
-606:2:2527
-607:0:4182
-608:2:2700
-609:0:4182
-610:2:2527
-611:0:4182
-612:2:2703
-613:2:2704
-614:2:2708
-615:2:2709
-616:2:2717
-617:2:2718
-618:2:2722
-619:2:2723
-620:2:2731
-621:2:2744
-622:2:2745
-623:2:2749
-624:2:2750
-625:2:2754
-626:2:2755
-627:2:2749
-628:2:2750
-629:2:2754
-630:2:2755
-631:2:2763
-632:2:2768
-633:2:2775
-634:2:2776
-635:2:2783
-636:2:2790
-637:2:2791
-638:2:2795
-639:2:2796
-640:2:2795
-641:2:2796
-642:2:2803
-643:2:2812
-644:0:4182
-645:2:2527
-646:0:4182
-647:2:2816
-648:2:2817
-649:2:2818
-650:2:2830
-651:2:2831
-652:2:2835
-653:2:2836
-654:2:2844
-655:2:2857
-656:2:2858
-657:2:2862
-658:2:2863
-659:2:2867
-660:2:2868
-661:2:2862
-662:2:2863
-663:2:2867
-664:2:2868
-665:2:2876
-666:2:2881
-667:2:2888
-668:2:2889
-669:2:2896
-670:2:2903
-671:2:2904
-672:2:2908
-673:2:2909
-674:2:2908
-675:2:2909
-676:2:2916
-677:2:2929
-678:2:2930
-679:0:4182
-680:2:2527
-681:0:4182
-682:2:2937
-683:2:2938
-684:2:2942
-685:2:2943
-686:2:2951
-687:2:2952
-688:2:2956
-689:2:2957
-690:2:2965
-691:2:2978
-692:2:2979
-693:2:2983
-694:2:2984
-695:2:2988
-696:2:2989
-697:2:2983
-698:2:2984
-699:2:2988
-700:2:2989
-701:2:2997
-702:2:3002
-703:2:3009
-704:2:3010
-705:2:3017
-706:2:3024
-707:2:3025
-708:2:3029
-709:2:3030
-710:2:3029
-711:2:3030
-712:2:3037
-713:0:4182
-714:2:2527
-715:0:4182
-716:2:3161
-717:2:3162
-718:2:3166
-719:2:3167
-720:2:3175
-721:2:3176
-722:2:3180
-723:2:3181
-724:2:3189
-725:2:3202
-726:2:3203
-727:2:3207
-728:2:3208
-729:2:3212
-730:2:3213
-731:2:3207
-732:2:3208
-733:2:3212
-734:2:3213
-735:2:3221
-736:2:3226
-737:2:3233
-738:2:3234
-739:2:3241
-740:2:3248
-741:2:3249
-742:2:3253
-743:2:3254
-744:2:3253
-745:2:3254
-746:2:3261
-747:2:3273
-748:2:3274
-749:0:4182
-750:2:2527
-751:0:4182
-752:2:3283
-753:2:3284
-754:0:4182
-755:2:2527
-756:0:4182
-757:2:3048
-758:2:3049
-759:2:3053
-760:2:3054
-761:2:3062
-762:2:3063
-763:2:3067
-764:2:3068
-765:2:3076
-766:2:3089
-767:2:3090
-768:2:3094
-769:2:3095
-770:2:3096
-771:2:3094
-772:2:3095
-773:2:3099
-774:2:3100
-775:2:3108
-776:2:3113
-777:2:3120
-778:2:3121
-779:2:3128
-780:2:3135
-781:2:3136
-782:2:3140
-783:2:3141
-784:2:3140
-785:2:3141
-786:2:3148
-787:2:3157
-788:0:4182
-789:2:2527
-790:0:4182
-791:2:3288
-792:0:4182
-793:2:3296
-794:0:4182
-795:2:3297
-796:0:4182
-797:2:3302
-798:0:4182
-799:1:2
-800:0:4182
-801:2:3303
-802:0:4182
-803:1:8
-804:0:4182
-805:2:3302
-806:0:4182
-807:1:9
-808:0:4182
-809:2:3303
-810:0:4182
-811:1:10
-812:0:4182
-813:2:3302
-814:0:4182
-815:1:11
-816:0:4182
-817:2:3303
-818:0:4182
-819:1:12
-820:0:4182
-821:2:3302
-822:0:4182
-823:1:13
-824:0:4182
-825:2:3303
-826:0:4182
-827:1:14
-828:0:4182
-829:2:3302
-830:0:4182
-831:1:15
-832:0:4182
-833:2:3303
-834:0:4182
-835:1:16
-836:0:4182
-837:2:3302
-838:0:4182
-839:1:17
-840:0:4182
-841:2:3303
-842:0:4182
-843:1:18
-844:0:4182
-845:2:3302
-846:0:4182
-847:1:19
-848:0:4182
-849:2:3303
-850:0:4182
-851:1:20
-852:0:4182
-853:2:3302
-854:0:4182
-855:1:21
-856:0:4182
-857:2:3303
-858:0:4182
-859:1:122
-860:0:4182
-861:2:3302
-862:0:4182
-863:1:124
-864:0:4182
-865:2:3303
-866:0:4182
-867:1:23
-868:0:4182
-869:2:3302
-870:0:4182
-871:1:130
-872:1:131
-873:1:135
-874:1:136
-875:1:144
-876:1:145
-877:1:149
-878:1:150
-879:1:158
-880:1:163
-881:1:167
-882:1:168
-883:1:176
-884:1:177
-885:1:181
-886:1:182
-887:1:176
-888:1:177
-889:1:181
-890:1:182
-891:1:190
-892:1:195
-893:1:202
-894:1:203
-895:1:210
-896:1:215
-897:1:222
-898:1:223
-899:1:222
-900:1:223
-901:1:230
-902:0:4182
-903:2:3303
-904:0:4182
-905:1:19
-906:0:4182
-907:2:3302
-908:0:4182
-909:1:20
-910:0:4182
-911:2:3303
-912:0:4182
-913:1:21
-914:0:4182
-915:2:3302
-916:0:4182
-917:1:122
-918:0:4182
-919:2:3303
-920:0:4182
-921:1:124
-922:0:4182
-923:2:3302
-924:0:4182
-925:1:23
-926:0:4182
-927:2:3303
-928:0:4182
-929:1:241
-930:1:242
-931:0:4182
-932:2:3302
-933:0:4182
-934:1:19
-935:0:4182
-936:2:3303
-937:0:4182
-938:1:20
-939:0:4182
-940:2:3302
-941:0:4182
-942:1:21
-943:0:4182
-944:2:3303
-945:0:4182
-946:1:122
-947:0:4182
-948:2:3302
-949:0:4182
-950:1:124
-951:0:4182
-952:2:3303
-953:0:4182
-954:1:23
-955:0:4182
-956:2:3302
-957:0:4182
-958:1:248
-959:1:249
-960:1:253
-961:1:254
-962:1:262
-963:1:263
-964:1:267
-965:1:268
-966:1:276
-967:1:281
-968:1:285
-969:1:286
-970:1:294
-971:1:295
-972:1:299
-973:1:300
-974:1:294
-975:1:295
-976:1:299
-977:1:300
-978:1:308
-979:1:313
-980:1:320
-981:1:321
-982:1:328
-983:1:333
-984:1:340
-985:1:341
-986:1:340
-987:1:341
-988:1:348
-989:0:4182
-990:2:3303
-991:0:4182
-992:1:19
-993:0:4182
-994:2:3302
-995:0:4182
-996:1:20
-997:0:4182
-998:2:3303
-999:0:4182
-1000:1:21
-1001:0:4182
-1002:2:3302
-1003:0:4182
-1004:1:122
-1005:0:4182
-1006:2:3303
-1007:0:4182
-1008:1:124
-1009:0:4182
-1010:2:3302
-1011:0:4182
-1012:1:23
-1013:0:4182
-1014:2:3303
-1015:0:4182
-1016:1:359
-1017:1:360
-1018:1:364
-1019:1:365
-1020:1:373
-1021:1:374
-1022:1:378
-1023:1:379
-1024:1:387
-1025:1:392
-1026:1:396
-1027:1:397
-1028:1:405
-1029:1:406
-1030:1:410
-1031:1:411
-1032:1:405
-1033:1:406
-1034:1:410
-1035:1:411
-1036:1:419
-1037:1:424
-1038:1:431
-1039:1:432
-1040:1:439
-1041:1:444
-1042:1:451
-1043:1:452
-1044:1:451
-1045:1:452
-1046:1:459
-1047:1:468
-1048:0:4182
-1049:2:3302
-1050:0:4182
-1051:1:19
-1052:0:4182
-1053:2:3303
-1054:0:4182
-1055:1:20
-1056:0:4182
-1057:2:3302
-1058:0:4182
-1059:1:21
-1060:0:4182
-1061:2:3303
-1062:0:4182
-1063:1:122
-1064:0:4182
-1065:2:3302
-1066:0:4182
-1067:1:124
-1068:0:4182
-1069:2:3303
-1070:0:4182
-1071:1:23
-1072:0:4182
-1073:2:3302
-1074:0:4182
-1075:1:588
-1076:1:589
-1077:1:593
-1078:1:594
-1079:1:602
-1080:1:603
-1081:1:604
-1082:1:616
-1083:1:621
-1084:1:625
-1085:1:626
-1086:1:634
-1087:1:635
-1088:1:639
-1089:1:640
-1090:1:634
-1091:1:635
-1092:1:639
-1093:1:640
-1094:1:648
-1095:1:653
-1096:1:660
-1097:1:661
-1098:1:668
-1099:1:673
-1100:1:680
-1101:1:681
-1102:1:680
-1103:1:681
-1104:1:688
-1105:0:4182
-1106:2:3303
-1107:0:4182
-1108:1:19
-1109:0:4182
-1110:2:3302
-1111:0:4182
-1112:1:20
-1113:0:4182
-1114:2:3303
-1115:0:4182
-1116:1:21
-1117:0:4182
-1118:2:3302
-1119:0:4182
-1120:1:122
-1121:0:4182
-1122:2:3303
-1123:0:4182
-1124:1:124
-1125:0:4182
-1126:2:3302
-1127:0:4182
-1128:1:23
-1129:0:4182
-1130:2:3303
-1131:0:4182
-1132:1:699
-1133:1:702
-1134:1:703
-1135:0:4182
-1136:2:3302
-1137:0:4182
-1138:1:19
-1139:0:4182
-1140:2:3303
-1141:0:4182
-1142:1:20
-1143:0:4182
-1144:2:3302
-1145:0:4182
-1146:1:21
-1147:0:4182
-1148:2:3303
-1149:0:4182
-1150:1:122
-1151:0:4182
-1152:2:3302
-1153:0:4182
-1154:1:124
-1155:0:4182
-1156:2:3303
-1157:0:4182
-1158:1:23
-1159:0:4182
-1160:2:3302
-1161:0:4182
-1162:1:706
-1163:1:707
-1164:1:711
-1165:1:712
-1166:1:720
-1167:1:721
-1168:1:725
-1169:1:726
-1170:1:734
-1171:1:739
-1172:1:743
-1173:1:744
-1174:1:752
-1175:1:753
-1176:1:757
-1177:1:758
-1178:1:752
-1179:1:753
-1180:1:757
-1181:1:758
-1182:1:766
-1183:1:771
-1184:1:778
-1185:1:779
-1186:1:786
-1187:1:791
-1188:1:798
-1189:1:799
-1190:1:798
-1191:1:799
-1192:1:806
-1193:0:4182
-1194:2:3303
-1195:0:4182
-1196:1:19
-1197:0:4182
-1198:2:3302
-1199:0:4182
-1200:1:20
-1201:0:4182
-1202:2:3303
-1203:0:4182
-1204:1:21
-1205:0:4182
-1206:2:3302
-1207:0:4182
-1208:1:122
-1209:0:4182
-1210:2:3303
-1211:0:4182
-1212:1:124
-1213:0:4182
-1214:2:3302
-1215:0:4182
-1216:1:23
-1217:0:4182
-1218:2:3303
-1219:0:4182
-1220:1:930
-1221:1:931
-1222:1:935
-1223:1:936
-1224:1:944
-1225:1:945
-1226:1:949
-1227:1:950
-1228:1:958
-1229:1:963
-1230:1:967
-1231:1:968
-1232:1:976
-1233:1:977
-1234:1:981
-1235:1:982
-1236:1:976
-1237:1:977
-1238:1:981
-1239:1:982
-1240:1:990
-1241:1:995
-1242:1:1002
-1243:1:1003
-1244:1:1010
-1245:1:1015
-1246:1:1022
-1247:1:1023
-1248:1:1022
-1249:1:1023
-1250:1:1030
-1251:1:1039
-1252:1:1043
-1253:0:4182
-1254:2:3302
-1255:0:4182
-1256:1:19
-1257:0:4182
-1258:2:3303
-1259:0:4182
-1260:1:20
-1261:0:4182
-1262:2:3302
-1263:0:4182
-1264:1:21
-1265:0:4182
-1266:2:3303
-1267:0:4182
-1268:1:122
-1269:0:4182
-1270:2:3302
-1271:0:4182
-1272:1:124
-1273:0:4182
-1274:2:3303
-1275:0:4182
-1276:1:23
-1277:0:4182
-1278:2:3302
-1279:0:4182
-1280:1:1044
-1281:1:1045
-1282:1:1049
-1283:1:1050
-1284:1:1058
-1285:1:1059
-1286:1:1060
-1287:1:1072
-1288:1:1077
-1289:1:1081
-1290:1:1082
-1291:1:1090
-1292:1:1091
-1293:1:1095
-1294:1:1096
-1295:1:1090
-1296:1:1091
-1297:1:1095
-1298:1:1096
-1299:1:1104
-1300:1:1109
-1301:1:1116
-1302:1:1117
-1303:1:1124
-1304:1:1129
-1305:1:1136
-1306:1:1137
-1307:1:1136
-1308:1:1137
-1309:1:1144
-1310:0:4182
-1311:2:3303
-1312:0:4182
-1313:1:19
-1314:0:4182
-1315:2:3302
-1316:0:4182
-1317:1:20
-1318:0:4182
-1319:2:3303
-1320:0:4182
-1321:1:21
-1322:0:4182
-1323:2:3302
-1324:0:4182
-1325:1:122
-1326:0:4182
-1327:2:3303
-1328:0:4182
-1329:1:124
-1330:0:4182
-1331:2:3302
-1332:0:4182
-1333:1:23
-1334:0:4182
-1335:2:3303
-1336:0:4182
-1337:1:1155
-1338:0:4182
-1339:2:3302
-1340:0:4182
-1341:1:2421
-1342:1:2428
-1343:1:2429
-1344:1:2436
-1345:1:2441
-1346:1:2448
-1347:1:2449
-1348:1:2448
-1349:1:2449
-1350:1:2456
-1351:1:2460
-1352:0:4182
-1353:2:3303
-1354:0:4182
-1355:1:1157
-1356:1:1158
-1357:0:4180
-1358:2:3302
-1359:0:4186
-1360:1:2169