Cleanup verif directory.

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

diff --git a/formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.spin.input.trail
deleted file mode 100644 (file)
index f09d0eb..0000000
--- a/formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1386 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4646
-2:3:4566
-3:3:4569
-4:3:4569
-5:3:4572
-6:3:4580
-7:3:4580
-8:3:4583
-9:3:4589
-10:3:4593
-11:3:4593
-12:3:4596
-13:3:4606
-14:3:4614
-15:3:4614
-16:3:4617
-17:3:4623
-18:3:4627
-19:3:4627
-20:3:4630
-21:3:4636
-22:3:4640
-23:3:4641
-24:0:4646
-25:3:4643
-26:0:4646
-27:2:2871
-28:0:4646
-29:2:2877
-30:0:4646
-31:2:2878
-32:0:4646
-33:2:2880
-34:0:4646
-35:2:2881
-36:0:4646
-37:2:2882
-38:0:4646
-39:2:2883
-40:0:4646
-41:2:2884
-42:0:4646
-43:2:2885
-44:0:4646
-45:2:2886
-46:2:2887
-47:2:2891
-48:2:2892
-49:2:2900
-50:2:2901
-51:2:2905
-52:2:2906
-53:2:2914
-54:2:2919
-55:2:2923
-56:2:2924
-57:2:2932
-58:2:2933
-59:2:2937
-60:2:2938
-61:2:2932
-62:2:2933
-63:2:2937
-64:2:2938
-65:2:2946
-66:2:2951
-67:2:2952
-68:2:2963
-69:2:2964
-70:2:2965
-71:2:2976
-72:2:2981
-73:2:2982
-74:2:2993
-75:2:2994
-76:2:2995
-77:2:2993
-78:2:2994
-79:2:2995
-80:2:3006
-81:2:3014
-82:0:4646
-83:2:2885
-84:0:4646
-85:2:3018
-86:2:3022
-87:2:3023
-88:2:3027
-89:2:3031
-90:2:3032
-91:2:3036
-92:2:3044
-93:2:3045
-94:2:3049
-95:2:3053
-96:2:3054
-97:2:3049
-98:2:3050
-99:2:3058
-100:0:4646
-101:2:2885
-102:0:4646
-103:2:3066
-104:2:3067
-105:2:3068
-106:0:4646
-107:2:2885
-108:0:4646
-109:2:3073
-110:0:4646
-111:2:3775
-112:2:3776
-113:2:3780
-114:2:3784
-115:2:3785
-116:2:3789
-117:2:3794
-118:2:3802
-119:2:3806
-120:2:3807
-121:2:3802
-122:2:3806
-123:2:3807
-124:2:3811
-125:2:3818
-126:2:3825
-127:2:3826
-128:2:3833
-129:2:3838
-130:2:3845
-131:2:3846
-132:2:3845
-133:2:3846
-134:2:3853
-135:2:3857
-136:0:4646
-137:2:3862
-138:0:4646
-139:2:3863
-140:0:4646
-141:2:3864
-142:0:4646
-143:2:3865
-144:0:4646
-145:1:2
-146:0:4646
-147:2:3866
-148:0:4646
-149:1:8
-150:0:4646
-151:1:9
-152:0:4646
-153:2:3865
-154:0:4646
-155:1:10
-156:0:4646
-157:2:3866
-158:0:4646
-159:1:11
-160:0:4646
-161:2:3865
-162:0:4646
-163:1:12
-164:0:4646
-165:2:3866
-166:0:4646
-167:1:13
-168:0:4646
-169:2:3865
-170:0:4646
-171:1:14
-172:0:4646
-173:2:3866
-174:0:4646
-175:1:15
-176:0:4646
-177:1:16
-178:0:4646
-179:2:3865
-180:0:4646
-181:1:17
-182:0:4646
-183:2:3866
-184:0:4646
-185:1:26
-186:0:4646
-187:2:3865
-188:0:4646
-189:1:30
-190:1:31
-191:1:35
-192:1:39
-193:1:40
-194:1:44
-195:1:52
-196:1:53
-197:1:57
-198:1:61
-199:1:62
-200:1:57
-201:1:61
-202:1:62
-203:1:66
-204:1:73
-205:1:80
-206:1:81
-207:1:88
-208:1:93
-209:1:100
-210:1:101
-211:1:100
-212:1:101
-213:1:108
-214:1:112
-215:0:4646
-216:2:3866
-217:0:4646
-218:1:117
-219:0:4646
-220:2:3867
-221:0:4646
-222:2:3872
-223:0:4646
-224:2:3873
-225:0:4646
-226:2:3881
-227:2:3882
-228:2:3886
-229:2:3890
-230:2:3891
-231:2:3895
-232:2:3903
-233:2:3904
-234:2:3908
-235:2:3912
-236:2:3913
-237:2:3908
-238:2:3912
-239:2:3913
-240:2:3917
-241:2:3924
-242:2:3931
-243:2:3932
-244:2:3939
-245:2:3944
-246:2:3951
-247:2:3952
-248:2:3951
-249:2:3952
-250:2:3959
-251:2:3963
-252:0:4646
-253:2:3075
-254:2:3756
-255:0:4646
-256:2:2885
-257:0:4646
-258:2:3076
-259:0:4646
-260:2:2885
-261:0:4646
-262:2:3079
-263:2:3080
-264:2:3084
-265:2:3085
-266:2:3093
-267:2:3094
-268:2:3098
-269:2:3099
-270:2:3107
-271:2:3112
-272:2:3116
-273:2:3117
-274:2:3125
-275:2:3126
-276:2:3130
-277:2:3131
-278:2:3125
-279:2:3126
-280:2:3130
-281:2:3131
-282:2:3139
-283:2:3144
-284:2:3145
-285:2:3156
-286:2:3157
-287:2:3158
-288:2:3169
-289:2:3174
-290:2:3175
-291:2:3186
-292:2:3187
-293:2:3188
-294:2:3186
-295:2:3187
-296:2:3188
-297:2:3199
-298:2:3206
-299:0:4646
-300:2:2885
-301:0:4646
-302:2:3210
-303:2:3211
-304:2:3212
-305:2:3224
-306:2:3225
-307:2:3229
-308:2:3230
-309:2:3238
-310:2:3243
-311:2:3247
-312:2:3248
-313:2:3256
-314:2:3257
-315:2:3261
-316:2:3262
-317:2:3256
-318:2:3257
-319:2:3261
-320:2:3262
-321:2:3270
-322:2:3275
-323:2:3276
-324:2:3287
-325:2:3288
-326:2:3289
-327:2:3300
-328:2:3305
-329:2:3306
-330:2:3317
-331:2:3318
-332:2:3319
-333:2:3317
-334:2:3318
-335:2:3319
-336:2:3330
-337:2:3340
-338:2:3341
-339:0:4646
-340:2:2885
-341:0:4646
-342:2:3744
-343:0:4646
-344:2:4369
-345:2:4370
-346:2:4374
-347:2:4378
-348:2:4379
-349:2:4383
-350:2:4391
-351:2:4392
-352:2:4396
-353:2:4400
-354:2:4401
-355:2:4396
-356:2:4400
-357:2:4401
-358:2:4405
-359:2:4412
-360:2:4419
-361:2:4420
-362:2:4427
-363:2:4432
-364:2:4439
-365:2:4440
-366:2:4439
-367:2:4440
-368:2:4447
-369:2:4451
-370:0:4646
-371:2:4456
-372:0:4646
-373:2:4457
-374:0:4646
-375:2:4458
-376:0:4646
-377:2:4459
-378:0:4646
-379:1:118
-380:0:4646
-381:2:4460
-382:0:4646
-383:1:120
-384:0:4646
-385:2:4459
-386:0:4646
-387:1:19
-388:0:4646
-389:2:4460
-390:0:4646
-391:1:126
-392:1:127
-393:1:131
-394:1:132
-395:1:140
-396:1:141
-397:1:145
-398:1:146
-399:1:154
-400:1:159
-401:1:163
-402:1:164
-403:1:172
-404:1:173
-405:1:177
-406:1:178
-407:1:172
-408:1:173
-409:1:177
-410:1:178
-411:1:186
-412:1:198
-413:1:199
-414:1:203
-415:1:204
-416:1:205
-417:1:216
-418:1:221
-419:1:222
-420:1:233
-421:1:234
-422:1:235
-423:1:233
-424:1:234
-425:1:235
-426:1:246
-427:0:4646
-428:1:15
-429:0:4646
-430:1:16
-431:0:4646
-432:2:4459
-433:0:4646
-434:1:17
-435:0:4646
-436:2:4460
-437:0:4646
-438:1:118
-439:0:4646
-440:1:120
-441:0:4646
-442:2:4459
-443:0:4646
-444:1:19
-445:0:4646
-446:2:4460
-447:0:4646
-448:1:255
-449:1:256
-450:0:4646
-451:1:15
-452:0:4646
-453:1:16
-454:0:4646
-455:2:4459
-456:0:4646
-457:1:17
-458:0:4646
-459:2:4460
-460:0:4646
-461:1:118
-462:0:4646
-463:1:120
-464:0:4646
-465:2:4459
-466:0:4646
-467:1:19
-468:0:4646
-469:2:4460
-470:0:4646
-471:1:262
-472:1:263
-473:1:267
-474:1:268
-475:1:276
-476:1:277
-477:1:281
-478:1:282
-479:1:290
-480:1:295
-481:1:299
-482:1:300
-483:1:308
-484:1:309
-485:1:313
-486:1:314
-487:1:308
-488:1:309
-489:1:313
-490:1:314
-491:1:322
-492:1:334
-493:1:335
-494:1:339
-495:1:340
-496:1:341
-497:1:352
-498:1:357
-499:1:358
-500:1:369
-501:1:370
-502:1:371
-503:1:369
-504:1:370
-505:1:371
-506:1:382
-507:0:4646
-508:1:15
-509:0:4646
-510:1:16
-511:0:4646
-512:2:4459
-513:0:4646
-514:1:17
-515:0:4646
-516:2:4460
-517:0:4646
-518:1:26
-519:0:4646
-520:2:4459
-521:0:4646
-522:1:30
-523:1:31
-524:1:35
-525:1:39
-526:1:40
-527:1:44
-528:1:52
-529:1:53
-530:1:57
-531:1:61
-532:1:62
-533:1:57
-534:1:61
-535:1:62
-536:1:66
-537:1:73
-538:1:80
-539:1:81
-540:1:88
-541:1:93
-542:1:100
-543:1:101
-544:1:100
-545:1:101
-546:1:108
-547:1:112
-548:0:4646
-549:2:4460
-550:0:4646
-551:1:117
-552:0:4646
-553:2:4461
-554:0:4646
-555:2:4466
-556:0:4646
-557:2:4467
-558:0:4646
-559:2:4475
-560:2:4476
-561:2:4480
-562:2:4484
-563:2:4485
-564:2:4489
-565:2:4497
-566:2:4498
-567:2:4502
-568:2:4506
-569:2:4507
-570:2:4502
-571:2:4506
-572:2:4507
-573:2:4511
-574:2:4518
-575:2:4525
-576:2:4526
-577:2:4533
-578:2:4538
-579:2:4545
-580:2:4546
-581:2:4545
-582:2:4546
-583:2:4553
-584:2:4557
-585:0:4646
-586:2:3746
-587:2:3756
-588:0:4646
-589:2:2885
-590:0:4646
-591:2:3747
-592:2:3748
-593:0:4646
-594:2:2885
-595:0:4646
-596:2:3752
-597:0:4646
-598:2:3760
-599:0:4646
-600:2:2878
-601:0:4646
-602:2:2880
-603:0:4646
-604:2:2881
-605:0:4646
-606:2:2882
-607:0:4646
-608:2:2883
-609:0:4646
-610:2:2884
-611:0:4646
-612:2:2885
-613:0:4646
-614:2:2886
-615:2:2887
-616:2:2891
-617:2:2892
-618:2:2900
-619:2:2901
-620:2:2905
-621:2:2906
-622:2:2914
-623:2:2919
-624:2:2923
-625:2:2924
-626:2:2932
-627:2:2933
-628:2:2934
-629:2:2932
-630:2:2933
-631:2:2937
-632:2:2938
-633:2:2946
-634:2:2951
-635:2:2952
-636:2:2963
-637:2:2964
-638:2:2965
-639:2:2976
-640:2:2981
-641:2:2982
-642:2:2993
-643:2:2994
-644:2:2995
-645:2:2993
-646:2:2994
-647:2:2995
-648:2:3006
-649:2:3014
-650:0:4646
-651:2:2885
-652:0:4646
-653:2:3018
-654:2:3022
-655:2:3023
-656:2:3027
-657:2:3031
-658:2:3032
-659:2:3036
-660:2:3044
-661:2:3045
-662:2:3049
-663:2:3050
-664:2:3049
-665:2:3053
-666:2:3054
-667:2:3058
-668:0:4646
-669:2:2885
-670:0:4646
-671:2:3066
-672:2:3067
-673:2:3068
-674:0:4646
-675:2:2885
-676:0:4646
-677:2:3073
-678:0:4646
-679:2:3775
-680:2:3776
-681:2:3780
-682:2:3784
-683:2:3785
-684:2:3789
-685:2:3794
-686:2:3802
-687:2:3806
-688:2:3807
-689:2:3802
-690:2:3806
-691:2:3807
-692:2:3811
-693:2:3818
-694:2:3825
-695:2:3826
-696:2:3833
-697:2:3838
-698:2:3845
-699:2:3846
-700:2:3845
-701:2:3846
-702:2:3853
-703:2:3857
-704:0:4646
-705:2:3862
-706:0:4646
-707:2:3863
-708:0:4646
-709:2:3864
-710:0:4646
-711:2:3865
-712:0:4646
-713:1:118
-714:0:4646
-715:2:3866
-716:0:4646
-717:1:120
-718:0:4646
-719:2:3865
-720:0:4646
-721:1:19
-722:0:4646
-723:2:3866
-724:0:4646
-725:1:391
-726:1:392
-727:1:396
-728:1:397
-729:1:405
-730:1:406
-731:1:410
-732:1:411
-733:1:419
-734:1:424
-735:1:428
-736:1:429
-737:1:437
-738:1:438
-739:1:442
-740:1:443
-741:1:437
-742:1:438
-743:1:442
-744:1:443
-745:1:451
-746:1:456
-747:1:457
-748:1:468
-749:1:469
-750:1:470
-751:1:481
-752:1:493
-753:1:494
-754:1:498
-755:1:499
-756:1:500
-757:1:498
-758:1:499
-759:1:500
-760:1:511
-761:1:518
-762:0:4646
-763:1:15
-764:0:4646
-765:1:16
-766:0:4646
-767:2:3865
-768:0:4646
-769:1:17
-770:0:4646
-771:2:3866
-772:0:4646
-773:1:118
-774:0:4646
-775:1:120
-776:0:4646
-777:2:3865
-778:0:4646
-779:1:19
-780:0:4646
-781:2:3866
-782:0:4646
-783:1:656
-784:1:657
-785:1:661
-786:1:662
-787:1:670
-788:1:671
-789:1:672
-790:1:684
-791:1:689
-792:1:693
-793:1:694
-794:1:702
-795:1:703
-796:1:707
-797:1:708
-798:1:702
-799:1:703
-800:1:707
-801:1:708
-802:1:716
-803:1:721
-804:1:722
-805:1:733
-806:1:734
-807:1:735
-808:1:746
-809:1:758
-810:1:759
-811:1:763
-812:1:764
-813:1:765
-814:1:763
-815:1:764
-816:1:765
-817:1:776
-818:0:4646
-819:1:15
-820:0:4646
-821:1:16
-822:0:4646
-823:2:3865
-824:0:4646
-825:1:17
-826:0:4646
-827:2:3866
-828:0:4646
-829:1:118
-830:0:4646
-831:1:120
-832:0:4646
-833:2:3865
-834:0:4646
-835:1:19
-836:0:4646
-837:2:3866
-838:0:4646
-839:1:785
-840:1:788
-841:1:789
-842:0:4646
-843:1:15
-844:0:4646
-845:1:16
-846:0:4646
-847:2:3865
-848:0:4646
-849:1:17
-850:0:4646
-851:2:3866
-852:0:4646
-853:1:118
-854:0:4646
-855:1:120
-856:0:4646
-857:2:3865
-858:0:4646
-859:1:19
-860:0:4646
-861:2:3866
-862:0:4646
-863:1:1052
-864:1:1053
-865:1:1057
-866:1:1058
-867:1:1066
-868:1:1067
-869:1:1071
-870:1:1072
-871:1:1080
-872:1:1085
-873:1:1089
-874:1:1090
-875:1:1098
-876:1:1099
-877:1:1103
-878:1:1104
-879:1:1098
-880:1:1099
-881:1:1103
-882:1:1104
-883:1:1112
-884:1:1117
-885:1:1118
-886:1:1129
-887:1:1130
-888:1:1131
-889:1:1142
-890:1:1154
-891:1:1155
-892:1:1159
-893:1:1160
-894:1:1161
-895:1:1159
-896:1:1160
-897:1:1161
-898:1:1172
-899:1:1179
-900:1:1183
-901:0:4646
-902:1:15
-903:0:4646
-904:1:16
-905:0:4646
-906:2:3865
-907:0:4646
-908:1:17
-909:0:4646
-910:2:3866
-911:0:4646
-912:1:118
-913:0:4646
-914:1:120
-915:0:4646
-916:2:3865
-917:0:4646
-918:1:19
-919:0:4646
-920:2:3866
-921:0:4646
-922:1:1184
-923:1:1185
-924:1:1189
-925:1:1190
-926:1:1198
-927:1:1199
-928:1:1200
-929:1:1212
-930:1:1217
-931:1:1221
-932:1:1222
-933:1:1230
-934:1:1231
-935:1:1235
-936:1:1236
-937:1:1230
-938:1:1231
-939:1:1235
-940:1:1236
-941:1:1244
-942:1:1249
-943:1:1250
-944:1:1261
-945:1:1262
-946:1:1263
-947:1:1274
-948:1:1286
-949:1:1287
-950:1:1291
-951:1:1292
-952:1:1293
-953:1:1291
-954:1:1292
-955:1:1293
-956:1:1304
-957:0:4646
-958:1:15
-959:0:4646
-960:1:16
-961:0:4646
-962:2:3865
-963:0:4646
-964:1:17
-965:0:4646
-966:2:3866
-967:0:4646
-968:1:26
-969:0:4646
-970:2:3865
-971:0:4646
-972:1:30
-973:1:31
-974:1:35
-975:1:39
-976:1:40
-977:1:44
-978:1:52
-979:1:53
-980:1:57
-981:1:61
-982:1:62
-983:1:57
-984:1:61
-985:1:62
-986:1:66
-987:1:73
-988:1:80
-989:1:81
-990:1:88
-991:1:93
-992:1:100
-993:1:101
-994:1:100
-995:1:101
-996:1:108
-997:1:112
-998:0:4646
-999:2:3866
-1000:0:4646
-1001:1:117
-1002:0:4646
-1003:2:3867
-1004:0:4646
-1005:2:3872
-1006:0:4646
-1007:2:3873
-1008:0:4646
-1009:2:3881
-1010:2:3882
-1011:2:3886
-1012:2:3890
-1013:2:3891
-1014:2:3895
-1015:2:3903
-1016:2:3904
-1017:2:3908
-1018:2:3912
-1019:2:3913
-1020:2:3908
-1021:2:3912
-1022:2:3913
-1023:2:3917
-1024:2:3924
-1025:2:3931
-1026:2:3932
-1027:2:3939
-1028:2:3944
-1029:2:3951
-1030:2:3952
-1031:2:3951
-1032:2:3952
-1033:2:3959
-1034:2:3963
-1035:0:4646
-1036:2:3075
-1037:2:3756
-1038:0:4646
-1039:2:2885
-1040:0:4646
-1041:2:3076
-1042:0:4646
-1043:2:2885
-1044:0:4646
-1045:2:3079
-1046:2:3080
-1047:2:3084
-1048:2:3085
-1049:2:3093
-1050:2:3094
-1051:2:3098
-1052:2:3099
-1053:2:3107
-1054:2:3112
-1055:2:3116
-1056:2:3117
-1057:2:3125
-1058:2:3126
-1059:2:3130
-1060:2:3131
-1061:2:3125
-1062:2:3126
-1063:2:3130
-1064:2:3131
-1065:2:3139
-1066:2:3144
-1067:2:3145
-1068:2:3156
-1069:2:3157
-1070:2:3158
-1071:2:3169
-1072:2:3174
-1073:2:3175
-1074:2:3186
-1075:2:3187
-1076:2:3188
-1077:2:3186
-1078:2:3187
-1079:2:3188
-1080:2:3199
-1081:2:3206
-1082:0:4646
-1083:2:2885
-1084:0:4646
-1085:2:3210
-1086:2:3211
-1087:2:3212
-1088:2:3224
-1089:2:3225
-1090:2:3229
-1091:2:3230
-1092:2:3238
-1093:2:3243
-1094:2:3247
-1095:2:3248
-1096:2:3256
-1097:2:3257
-1098:2:3261
-1099:2:3262
-1100:2:3256
-1101:2:3257
-1102:2:3261
-1103:2:3262
-1104:2:3270
-1105:2:3275
-1106:2:3276
-1107:2:3287
-1108:2:3288
-1109:2:3289
-1110:2:3300
-1111:2:3305
-1112:2:3306
-1113:2:3317
-1114:2:3318
-1115:2:3319
-1116:2:3317
-1117:2:3318
-1118:2:3319
-1119:2:3330
-1120:2:3340
-1121:2:3341
-1122:0:4646
-1123:2:2885
-1124:0:4646
-1125:2:3744
-1126:0:4646
-1127:2:4369
-1128:2:4370
-1129:2:4374
-1130:2:4378
-1131:2:4379
-1132:2:4383
-1133:2:4391
-1134:2:4392
-1135:2:4396
-1136:2:4400
-1137:2:4401
-1138:2:4396
-1139:2:4400
-1140:2:4401
-1141:2:4405
-1142:2:4412
-1143:2:4419
-1144:2:4420
-1145:2:4427
-1146:2:4432
-1147:2:4439
-1148:2:4440
-1149:2:4439
-1150:2:4440
-1151:2:4447
-1152:2:4451
-1153:0:4646
-1154:2:4456
-1155:0:4646
-1156:2:4457
-1157:0:4646
-1158:2:4458
-1159:0:4646
-1160:2:4459
-1161:0:4646
-1162:1:26
-1163:0:4646
-1164:2:4460
-1165:0:4646
-1166:1:30
-1167:1:31
-1168:1:35
-1169:1:39
-1170:1:40
-1171:1:44
-1172:1:52
-1173:1:53
-1174:1:57
-1175:1:61
-1176:1:62
-1177:1:57
-1178:1:61
-1179:1:62
-1180:1:66
-1181:1:73
-1182:1:80
-1183:1:81
-1184:1:88
-1185:1:93
-1186:1:100
-1187:1:101
-1188:1:100
-1189:1:101
-1190:1:108
-1191:1:112
-1192:0:4646
-1193:2:4459
-1194:0:4646
-1195:1:117
-1196:0:4646
-1197:2:4460
-1198:0:4646
-1199:2:4461
-1200:0:4646
-1201:2:4466
-1202:0:4646
-1203:2:4467
-1204:0:4646
-1205:2:4475
-1206:2:4476
-1207:2:4480
-1208:2:4484
-1209:2:4485
-1210:2:4489
-1211:2:4497
-1212:2:4498
-1213:2:4502
-1214:2:4506
-1215:2:4507
-1216:2:4502
-1217:2:4506
-1218:2:4507
-1219:2:4511
-1220:2:4518
-1221:2:4525
-1222:2:4526
-1223:2:4533
-1224:2:4538
-1225:2:4545
-1226:2:4546
-1227:2:4545
-1228:2:4546
-1229:2:4553
-1230:2:4557
-1231:0:4646
-1232:2:3746
-1233:2:3756
-1234:0:4646
-1235:2:2885
-1236:0:4646
-1237:2:3747
-1238:2:3748
-1239:0:4646
-1240:2:2885
-1241:0:4646
-1242:2:3752
-1243:0:4646
-1244:2:3760
-1245:0:4646
-1246:2:2878
-1247:0:4646
-1248:2:2880
-1249:0:4646
-1250:2:2881
-1251:0:4646
-1252:2:2882
-1253:0:4646
-1254:2:2883
-1255:0:4646
-1256:2:2884
-1257:0:4646
-1258:2:2885
-1259:0:4646
-1260:2:2886
-1261:2:2887
-1262:2:2891
-1263:2:2892
-1264:2:2900
-1265:2:2901
-1266:2:2905
-1267:2:2906
-1268:2:2914
-1269:2:2919
-1270:2:2923
-1271:2:2924
-1272:2:2932
-1273:2:2933
-1274:2:2937
-1275:2:2938
-1276:2:2932
-1277:2:2933
-1278:2:2934
-1279:2:2946
-1280:2:2951
-1281:2:2952
-1282:2:2963
-1283:2:2964
-1284:2:2965
-1285:2:2976
-1286:2:2981
-1287:2:2982
-1288:2:2993
-1289:2:2994
-1290:2:2995
-1291:2:2993
-1292:2:2994
-1293:2:2995
-1294:2:3006
-1295:2:3014
-1296:0:4646
-1297:2:2885
-1298:0:4646
-1299:1:118
-1300:0:4646
-1301:1:120
-1302:0:4646
-1303:1:19
-1304:0:4646
-1305:1:1313
-1306:0:4646
-1307:1:2777
-1308:1:2784
-1309:1:2785
-1310:1:2792
-1311:1:2797
-1312:1:2804
-1313:1:2805
-1314:1:2804
-1315:1:2805
-1316:1:2812
-1317:1:2816
-1318:0:4646
-1319:2:3018
-1320:2:3022
-1321:2:3023
-1322:2:3027
-1323:2:3031
-1324:2:3032
-1325:2:3036
-1326:2:3044
-1327:2:3045
-1328:2:3049
-1329:2:3053
-1330:2:3054
-1331:2:3049
-1332:2:3050
-1333:2:3058
-1334:0:4646
-1335:2:2885
-1336:0:4646
-1337:2:3066
-1338:2:3067
-1339:2:3068
-1340:0:4646
-1341:2:2885
-1342:0:4646
-1343:2:3073
-1344:0:4646
-1345:2:3775
-1346:2:3776
-1347:2:3780
-1348:2:3784
-1349:2:3785
-1350:2:3789
-1351:2:3794
-1352:2:3802
-1353:2:3806
-1354:2:3807
-1355:2:3802
-1356:2:3806
-1357:2:3807
-1358:2:3811
-1359:2:3818
-1360:2:3825
-1361:2:3826
-1362:2:3833
-1363:2:3838
-1364:2:3845
-1365:2:3846
-1366:2:3845
-1367:2:3846
-1368:2:3853
-1369:2:3857
-1370:0:4646
-1371:2:3862
-1372:0:4646
-1373:2:3863
-1374:0:4646
-1375:2:3864
-1376:0:4646
-1377:2:3865
-1378:0:4646
-1379:1:1315
-1380:1:1316
-1381:0:4644
-1382:2:3866
-1383:0:4650
-1384:1:2431