Cleanup verif directory.

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

diff --git a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer_error.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer_error.spin.input.trail
deleted file mode 100644 (file)
index ee9e4b8..0000000
--- a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer_error.spin.input.trail
+++ /dev/null
@@ -1,1700 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:3993
-2:3:3913
-3:3:3916
-4:3:3916
-5:3:3919
-6:3:3927
-7:3:3927
-8:3:3930
-9:3:3936
-10:3:3940
-11:3:3940
-12:3:3943
-13:3:3953
-14:3:3961
-15:3:3961
-16:3:3964
-17:3:3970
-18:3:3974
-19:3:3974
-20:3:3977
-21:3:3983
-22:3:3987
-23:3:3988
-24:0:3993
-25:3:3990
-26:0:3993
-27:2:2511
-28:0:3993
-29:2:2517
-30:0:3993
-31:2:2518
-32:0:3993
-33:2:2519
-34:0:3993
-35:2:2520
-36:0:3993
-37:2:2521
-38:0:3993
-39:2:2522
-40:2:2523
-41:2:2527
-42:2:2528
-43:2:2536
-44:2:2537
-45:2:2541
-46:2:2542
-47:2:2550
-48:2:2555
-49:2:2559
-50:2:2560
-51:2:2568
-52:2:2569
-53:2:2573
-54:2:2574
-55:2:2568
-56:2:2569
-57:2:2573
-58:2:2574
-59:2:2582
-60:2:2587
-61:2:2594
-62:2:2595
-63:2:2602
-64:2:2607
-65:2:2614
-66:2:2615
-67:2:2614
-68:2:2615
-69:2:2622
-70:2:2632
-71:0:3993
-72:2:2521
-73:0:3993
-74:2:2636
-75:2:2640
-76:2:2641
-77:2:2645
-78:2:2649
-79:2:2650
-80:2:2654
-81:2:2662
-82:2:2663
-83:2:2667
-84:2:2671
-85:2:2672
-86:2:2667
-87:2:2668
-88:2:2676
-89:0:3993
-90:2:2521
-91:0:3993
-92:2:2684
-93:2:2685
-94:2:2686
-95:0:3993
-96:2:2521
-97:0:3993
-98:2:2691
-99:0:3993
-100:2:3518
-101:2:3519
-102:2:3523
-103:2:3527
-104:2:3528
-105:2:3532
-106:2:3537
-107:2:3545
-108:2:3549
-109:2:3550
-110:2:3545
-111:2:3549
-112:2:3550
-113:2:3554
-114:2:3561
-115:2:3568
-116:2:3569
-117:2:3576
-118:2:3581
-119:2:3588
-120:2:3589
-121:2:3588
-122:2:3589
-123:2:3596
-124:2:3600
-125:0:3993
-126:2:3605
-127:0:3993
-128:2:3606
-129:0:3993
-130:2:3607
-131:0:3993
-132:2:3608
-133:0:3993
-134:1:2
-135:0:3993
-136:1:8
-137:0:3993
-138:1:9
-139:0:3993
-140:2:3609
-141:0:3993
-142:1:10
-143:0:3993
-144:2:3608
-145:0:3993
-146:1:11
-147:0:3993
-148:2:3609
-149:0:3993
-150:1:12
-151:0:3993
-152:2:3608
-153:0:3993
-154:1:13
-155:0:3993
-156:2:3609
-157:0:3993
-158:1:14
-159:0:3993
-160:1:15
-161:0:3993
-162:1:16
-163:0:3993
-164:2:3608
-165:0:3993
-166:1:17
-167:0:3993
-168:2:3609
-169:0:3993
-170:1:26
-171:0:3993
-172:2:3608
-173:0:3993
-174:1:30
-175:1:31
-176:1:35
-177:1:39
-178:1:40
-179:1:44
-180:1:52
-181:1:53
-182:1:57
-183:1:61
-184:1:62
-185:1:57
-186:1:61
-187:1:62
-188:1:66
-189:1:73
-190:1:80
-191:1:81
-192:1:88
-193:1:93
-194:1:100
-195:1:101
-196:1:100
-197:1:101
-198:1:108
-199:1:112
-200:0:3993
-201:2:3609
-202:0:3993
-203:1:117
-204:0:3993
-205:2:3610
-206:0:3993
-207:2:3615
-208:0:3993
-209:2:3616
-210:0:3993
-211:2:3624
-212:2:3625
-213:2:3629
-214:2:3633
-215:2:3634
-216:2:3638
-217:2:3646
-218:2:3647
-219:2:3651
-220:2:3655
-221:2:3656
-222:2:3651
-223:2:3655
-224:2:3656
-225:2:3660
-226:2:3667
-227:2:3674
-228:2:3675
-229:2:3682
-230:2:3687
-231:2:3694
-232:2:3695
-233:2:3694
-234:2:3695
-235:2:3702
-236:2:3706
-237:0:3993
-238:2:2693
-239:2:3499
-240:0:3993
-241:2:2521
-242:0:3993
-243:2:2694
-244:0:3993
-245:2:2521
-246:0:3993
-247:2:2697
-248:2:2698
-249:2:2702
-250:2:2703
-251:2:2711
-252:2:2712
-253:2:2716
-254:2:2717
-255:2:2725
-256:2:2730
-257:2:2734
-258:2:2735
-259:2:2743
-260:2:2744
-261:2:2748
-262:2:2749
-263:2:2743
-264:2:2744
-265:2:2748
-266:2:2749
-267:2:2757
-268:2:2762
-269:2:2769
-270:2:2770
-271:2:2777
-272:2:2782
-273:2:2789
-274:2:2790
-275:2:2789
-276:2:2790
-277:2:2797
-278:2:2806
-279:0:3993
-280:2:2521
-281:0:3993
-282:2:2810
-283:2:2811
-284:2:2812
-285:2:2824
-286:2:2825
-287:2:2829
-288:2:2830
-289:2:2838
-290:2:2843
-291:2:2847
-292:2:2848
-293:2:2856
-294:2:2857
-295:2:2861
-296:2:2862
-297:2:2856
-298:2:2857
-299:2:2861
-300:2:2862
-301:2:2870
-302:2:2875
-303:2:2882
-304:2:2883
-305:2:2890
-306:2:2895
-307:2:2902
-308:2:2903
-309:2:2902
-310:2:2903
-311:2:2910
-312:2:2923
-313:2:2924
-314:0:3993
-315:2:2521
-316:0:3993
-317:2:3037
-318:2:3038
-319:2:3042
-320:2:3043
-321:2:3051
-322:2:3052
-323:2:3056
-324:2:3057
-325:2:3065
-326:2:3070
-327:2:3074
-328:2:3075
-329:2:3083
-330:2:3084
-331:2:3088
-332:2:3089
-333:2:3083
-334:2:3084
-335:2:3088
-336:2:3089
-337:2:3097
-338:2:3102
-339:2:3109
-340:2:3110
-341:2:3117
-342:2:3122
-343:2:3129
-344:2:3130
-345:2:3129
-346:2:3130
-347:2:3137
-348:0:3993
-349:2:2521
-350:0:3993
-351:2:3148
-352:2:3149
-353:2:3153
-354:2:3154
-355:2:3162
-356:2:3163
-357:2:3167
-358:2:3168
-359:2:3176
-360:2:3181
-361:2:3185
-362:2:3186
-363:2:3194
-364:2:3195
-365:2:3199
-366:2:3200
-367:2:3194
-368:2:3195
-369:2:3199
-370:2:3200
-371:2:3208
-372:2:3213
-373:2:3220
-374:2:3221
-375:2:3228
-376:2:3233
-377:2:3240
-378:2:3241
-379:2:3240
-380:2:3241
-381:2:3248
-382:2:3257
-383:0:3993
-384:2:2521
-385:0:3993
-386:2:3261
-387:2:3262
-388:2:3263
-389:2:3275
-390:2:3276
-391:2:3280
-392:2:3281
-393:2:3289
-394:2:3294
-395:2:3298
-396:2:3299
-397:2:3307
-398:2:3308
-399:2:3312
-400:2:3313
-401:2:3307
-402:2:3308
-403:2:3312
-404:2:3313
-405:2:3321
-406:2:3326
-407:2:3333
-408:2:3334
-409:2:3341
-410:2:3346
-411:2:3353
-412:2:3354
-413:2:3353
-414:2:3354
-415:2:3361
-416:2:3373
-417:2:3374
-418:0:3993
-419:2:2521
-420:0:3993
-421:2:3487
-422:0:3993
-423:2:3716
-424:2:3717
-425:2:3721
-426:2:3725
-427:2:3726
-428:2:3730
-429:2:3738
-430:2:3739
-431:2:3743
-432:2:3747
-433:2:3748
-434:2:3743
-435:2:3747
-436:2:3748
-437:2:3752
-438:2:3759
-439:2:3766
-440:2:3767
-441:2:3774
-442:2:3779
-443:2:3786
-444:2:3787
-445:2:3786
-446:2:3787
-447:2:3794
-448:2:3798
-449:0:3993
-450:2:3803
-451:0:3993
-452:2:3804
-453:0:3993
-454:2:3805
-455:0:3993
-456:2:3806
-457:0:3993
-458:1:26
-459:0:3993
-460:2:3807
-461:0:3993
-462:1:30
-463:1:31
-464:1:35
-465:1:39
-466:1:40
-467:1:44
-468:1:52
-469:1:53
-470:1:57
-471:1:61
-472:1:62
-473:1:57
-474:1:61
-475:1:62
-476:1:66
-477:1:73
-478:1:80
-479:1:81
-480:1:88
-481:1:93
-482:1:100
-483:1:101
-484:1:100
-485:1:101
-486:1:108
-487:1:112
-488:0:3993
-489:2:3806
-490:0:3993
-491:1:117
-492:0:3993
-493:2:3807
-494:0:3993
-495:2:3808
-496:0:3993
-497:2:3813
-498:0:3993
-499:2:3814
-500:0:3993
-501:2:3822
-502:2:3823
-503:2:3827
-504:2:3831
-505:2:3832
-506:2:3836
-507:2:3844
-508:2:3845
-509:2:3849
-510:2:3853
-511:2:3854
-512:2:3849
-513:2:3853
-514:2:3854
-515:2:3858
-516:2:3865
-517:2:3872
-518:2:3873
-519:2:3880
-520:2:3885
-521:2:3892
-522:2:3893
-523:2:3892
-524:2:3893
-525:2:3900
-526:2:3904
-527:0:3993
-528:2:3489
-529:2:3499
-530:0:3993
-531:2:2521
-532:0:3993
-533:2:3490
-534:2:3491
-535:0:3993
-536:2:2521
-537:0:3993
-538:2:3495
-539:0:3993
-540:2:3503
-541:0:3993
-542:2:2518
-543:0:3993
-544:2:2519
-545:0:3993
-546:2:2520
-547:0:3993
-548:2:2521
-549:0:3993
-550:2:2522
-551:2:2523
-552:2:2527
-553:2:2528
-554:2:2536
-555:2:2537
-556:2:2541
-557:2:2542
-558:2:2550
-559:2:2555
-560:2:2559
-561:2:2560
-562:2:2568
-563:2:2569
-564:2:2570
-565:2:2568
-566:2:2569
-567:2:2573
-568:2:2574
-569:2:2582
-570:2:2587
-571:2:2594
-572:2:2595
-573:2:2602
-574:2:2607
-575:2:2614
-576:2:2615
-577:2:2614
-578:2:2615
-579:2:2622
-580:2:2632
-581:0:3993
-582:2:2521
-583:0:3993
-584:2:2636
-585:2:2640
-586:2:2641
-587:2:2645
-588:2:2649
-589:2:2650
-590:2:2654
-591:2:2662
-592:2:2663
-593:2:2667
-594:2:2668
-595:2:2667
-596:2:2671
-597:2:2672
-598:2:2676
-599:0:3993
-600:2:2521
-601:0:3993
-602:2:2684
-603:2:2685
-604:2:2686
-605:0:3993
-606:2:2521
-607:0:3993
-608:2:2691
-609:0:3993
-610:2:3518
-611:2:3519
-612:2:3523
-613:2:3527
-614:2:3528
-615:2:3532
-616:2:3537
-617:2:3545
-618:2:3549
-619:2:3550
-620:2:3545
-621:2:3549
-622:2:3550
-623:2:3554
-624:2:3561
-625:2:3568
-626:2:3569
-627:2:3576
-628:2:3581
-629:2:3588
-630:2:3589
-631:2:3588
-632:2:3589
-633:2:3596
-634:2:3600
-635:0:3993
-636:2:3605
-637:0:3993
-638:2:3606
-639:0:3993
-640:2:3607
-641:0:3993
-642:2:3608
-643:0:3993
-644:1:26
-645:0:3993
-646:2:3609
-647:0:3993
-648:1:30
-649:1:31
-650:1:35
-651:1:39
-652:1:40
-653:1:44
-654:1:52
-655:1:53
-656:1:57
-657:1:61
-658:1:62
-659:1:57
-660:1:61
-661:1:62
-662:1:66
-663:1:73
-664:1:80
-665:1:81
-666:1:88
-667:1:93
-668:1:100
-669:1:101
-670:1:100
-671:1:101
-672:1:108
-673:1:112
-674:0:3993
-675:2:3608
-676:0:3993
-677:1:117
-678:0:3993
-679:2:3609
-680:0:3993
-681:2:3610
-682:0:3993
-683:2:3615
-684:0:3993
-685:2:3616
-686:0:3993
-687:2:3624
-688:2:3625
-689:2:3629
-690:2:3633
-691:2:3634
-692:2:3638
-693:2:3646
-694:2:3647
-695:2:3651
-696:2:3655
-697:2:3656
-698:2:3651
-699:2:3655
-700:2:3656
-701:2:3660
-702:2:3667
-703:2:3674
-704:2:3675
-705:2:3682
-706:2:3687
-707:2:3694
-708:2:3695
-709:2:3694
-710:2:3695
-711:2:3702
-712:2:3706
-713:0:3993
-714:2:2693
-715:2:3499
-716:0:3993
-717:2:2521
-718:0:3993
-719:2:2694
-720:0:3993
-721:2:2521
-722:0:3993
-723:2:2697
-724:2:2698
-725:2:2702
-726:2:2703
-727:2:2711
-728:2:2712
-729:2:2716
-730:2:2717
-731:2:2725
-732:2:2730
-733:2:2734
-734:2:2735
-735:2:2743
-736:2:2744
-737:2:2748
-738:2:2749
-739:2:2743
-740:2:2744
-741:2:2748
-742:2:2749
-743:2:2757
-744:2:2762
-745:2:2769
-746:2:2770
-747:2:2777
-748:2:2782
-749:2:2789
-750:2:2790
-751:2:2789
-752:2:2790
-753:2:2797
-754:2:2806
-755:0:3993
-756:2:2521
-757:0:3993
-758:2:2810
-759:2:2811
-760:2:2812
-761:2:2824
-762:2:2825
-763:2:2829
-764:2:2830
-765:2:2838
-766:2:2843
-767:2:2847
-768:2:2848
-769:2:2856
-770:2:2857
-771:2:2861
-772:2:2862
-773:2:2856
-774:2:2857
-775:2:2861
-776:2:2862
-777:2:2870
-778:2:2875
-779:2:2882
-780:2:2883
-781:2:2890
-782:2:2895
-783:2:2902
-784:2:2903
-785:2:2902
-786:2:2903
-787:2:2910
-788:2:2923
-789:2:2924
-790:0:3993
-791:2:2521
-792:0:3993
-793:2:3037
-794:2:3038
-795:2:3042
-796:2:3043
-797:2:3051
-798:2:3052
-799:2:3056
-800:2:3057
-801:2:3065
-802:2:3070
-803:2:3074
-804:2:3075
-805:2:3083
-806:2:3084
-807:2:3088
-808:2:3089
-809:2:3083
-810:2:3084
-811:2:3088
-812:2:3089
-813:2:3097
-814:2:3102
-815:2:3109
-816:2:3110
-817:2:3117
-818:2:3122
-819:2:3129
-820:2:3130
-821:2:3129
-822:2:3130
-823:2:3137
-824:0:3993
-825:2:2521
-826:0:3993
-827:2:3148
-828:2:3149
-829:2:3153
-830:2:3154
-831:2:3162
-832:2:3163
-833:2:3167
-834:2:3168
-835:2:3176
-836:2:3181
-837:2:3185
-838:2:3186
-839:2:3194
-840:2:3195
-841:2:3199
-842:2:3200
-843:2:3194
-844:2:3195
-845:2:3199
-846:2:3200
-847:2:3208
-848:2:3213
-849:2:3220
-850:2:3221
-851:2:3228
-852:2:3233
-853:2:3240
-854:2:3241
-855:2:3240
-856:2:3241
-857:2:3248
-858:2:3257
-859:0:3993
-860:2:2521
-861:0:3993
-862:2:3261
-863:2:3262
-864:2:3263
-865:2:3275
-866:2:3276
-867:2:3280
-868:2:3281
-869:2:3289
-870:2:3294
-871:2:3298
-872:2:3299
-873:2:3307
-874:2:3308
-875:2:3312
-876:2:3313
-877:2:3307
-878:2:3308
-879:2:3312
-880:2:3313
-881:2:3321
-882:2:3326
-883:2:3333
-884:2:3334
-885:2:3341
-886:2:3346
-887:2:3353
-888:2:3354
-889:2:3353
-890:2:3354
-891:2:3361
-892:2:3373
-893:2:3374
-894:0:3993
-895:2:2521
-896:0:3993
-897:2:3487
-898:0:3993
-899:2:3716
-900:2:3717
-901:2:3721
-902:2:3725
-903:2:3726
-904:2:3730
-905:2:3738
-906:2:3739
-907:2:3743
-908:2:3747
-909:2:3748
-910:2:3743
-911:2:3747
-912:2:3748
-913:2:3752
-914:2:3759
-915:2:3766
-916:2:3767
-917:2:3774
-918:2:3779
-919:2:3786
-920:2:3787
-921:2:3786
-922:2:3787
-923:2:3794
-924:2:3798
-925:0:3993
-926:2:3803
-927:0:3993
-928:2:3804
-929:0:3993
-930:2:3805
-931:0:3993
-932:2:3806
-933:0:3993
-934:1:26
-935:0:3993
-936:2:3807
-937:0:3993
-938:1:30
-939:1:31
-940:1:35
-941:1:39
-942:1:40
-943:1:44
-944:1:52
-945:1:53
-946:1:57
-947:1:61
-948:1:62
-949:1:57
-950:1:61
-951:1:62
-952:1:66
-953:1:73
-954:1:80
-955:1:81
-956:1:88
-957:1:93
-958:1:100
-959:1:101
-960:1:100
-961:1:101
-962:1:108
-963:1:112
-964:0:3993
-965:2:3806
-966:0:3993
-967:1:117
-968:0:3993
-969:2:3807
-970:0:3993
-971:2:3808
-972:0:3993
-973:2:3813
-974:0:3993
-975:2:3814
-976:0:3993
-977:2:3822
-978:2:3823
-979:2:3827
-980:2:3831
-981:2:3832
-982:2:3836
-983:2:3844
-984:2:3845
-985:2:3849
-986:2:3853
-987:2:3854
-988:2:3849
-989:2:3853
-990:2:3854
-991:2:3858
-992:2:3865
-993:2:3872
-994:2:3873
-995:2:3880
-996:2:3885
-997:2:3892
-998:2:3893
-999:2:3892
-1000:2:3893
-1001:2:3900
-1002:2:3904
-1003:0:3993
-1004:2:3489
-1005:2:3499
-1006:0:3993
-1007:2:2521
-1008:0:3993
-1009:2:3490
-1010:2:3491
-1011:0:3993
-1012:2:2521
-1013:0:3993
-1014:2:3495
-1015:0:3993
-1016:2:3503
-1017:0:3993
-1018:2:2518
-1019:0:3993
-1020:2:2519
-1021:0:3993
-1022:2:2520
-1023:0:3993
-1024:2:2521
-1025:0:3993
-1026:2:2522
-1027:2:2523
-1028:2:2527
-1029:2:2528
-1030:2:2536
-1031:2:2537
-1032:2:2541
-1033:2:2542
-1034:2:2550
-1035:2:2555
-1036:2:2559
-1037:2:2560
-1038:2:2568
-1039:2:2569
-1040:2:2573
-1041:2:2574
-1042:2:2568
-1043:2:2569
-1044:2:2570
-1045:2:2582
-1046:2:2587
-1047:2:2594
-1048:2:2595
-1049:2:2602
-1050:2:2607
-1051:2:2614
-1052:2:2615
-1053:2:2614
-1054:2:2615
-1055:2:2622
-1056:2:2632
-1057:0:3993
-1058:2:2521
-1059:0:3993
-1060:2:2636
-1061:2:2640
-1062:2:2641
-1063:2:2645
-1064:2:2649
-1065:2:2650
-1066:2:2654
-1067:2:2662
-1068:2:2663
-1069:2:2667
-1070:2:2671
-1071:2:2672
-1072:2:2667
-1073:2:2668
-1074:2:2676
-1075:0:3993
-1076:2:2521
-1077:0:3993
-1078:2:2684
-1079:2:2685
-1080:2:2686
-1081:0:3993
-1082:2:2521
-1083:0:3993
-1084:2:2691
-1085:0:3993
-1086:2:3518
-1087:2:3519
-1088:2:3523
-1089:2:3527
-1090:2:3528
-1091:2:3532
-1092:2:3537
-1093:2:3545
-1094:2:3549
-1095:2:3550
-1096:2:3545
-1097:2:3549
-1098:2:3550
-1099:2:3554
-1100:2:3561
-1101:2:3568
-1102:2:3569
-1103:2:3576
-1104:2:3581
-1105:2:3588
-1106:2:3589
-1107:2:3588
-1108:2:3589
-1109:2:3596
-1110:2:3600
-1111:0:3993
-1112:2:3605
-1113:0:3993
-1114:2:3606
-1115:0:3993
-1116:2:3607
-1117:0:3993
-1118:2:3608
-1119:0:3993
-1120:1:26
-1121:0:3993
-1122:2:3609
-1123:0:3993
-1124:1:30
-1125:1:31
-1126:1:35
-1127:1:39
-1128:1:40
-1129:1:44
-1130:1:52
-1131:1:53
-1132:1:57
-1133:1:61
-1134:1:62
-1135:1:57
-1136:1:61
-1137:1:62
-1138:1:66
-1139:1:73
-1140:1:80
-1141:1:81
-1142:1:88
-1143:1:93
-1144:1:100
-1145:1:101
-1146:1:100
-1147:1:101
-1148:1:108
-1149:1:112
-1150:0:3993
-1151:2:3608
-1152:0:3993
-1153:1:117
-1154:0:3993
-1155:2:3609
-1156:0:3993
-1157:2:3610
-1158:0:3993
-1159:2:3615
-1160:0:3993
-1161:2:3616
-1162:0:3993
-1163:2:3624
-1164:2:3625
-1165:2:3629
-1166:2:3633
-1167:2:3634
-1168:2:3638
-1169:2:3646
-1170:2:3647
-1171:2:3651
-1172:2:3655
-1173:2:3656
-1174:2:3651
-1175:2:3655
-1176:2:3656
-1177:2:3660
-1178:2:3667
-1179:2:3674
-1180:2:3675
-1181:2:3682
-1182:2:3687
-1183:2:3694
-1184:2:3695
-1185:2:3694
-1186:2:3695
-1187:2:3702
-1188:2:3706
-1189:0:3993
-1190:2:2693
-1191:2:3499
-1192:0:3993
-1193:2:2521
-1194:0:3993
-1195:2:2694
-1196:0:3993
-1197:2:2521
-1198:0:3993
-1199:2:2697
-1200:2:2698
-1201:2:2702
-1202:2:2703
-1203:2:2711
-1204:2:2712
-1205:2:2716
-1206:2:2717
-1207:2:2725
-1208:2:2730
-1209:2:2734
-1210:2:2735
-1211:2:2743
-1212:2:2744
-1213:2:2748
-1214:2:2749
-1215:2:2743
-1216:2:2744
-1217:2:2748
-1218:2:2749
-1219:2:2757
-1220:2:2762
-1221:2:2769
-1222:2:2770
-1223:2:2777
-1224:2:2782
-1225:2:2789
-1226:2:2790
-1227:2:2789
-1228:2:2790
-1229:2:2797
-1230:2:2806
-1231:0:3993
-1232:2:2521
-1233:0:3993
-1234:2:2810
-1235:2:2811
-1236:2:2812
-1237:2:2824
-1238:2:2825
-1239:2:2829
-1240:2:2830
-1241:2:2838
-1242:2:2843
-1243:2:2847
-1244:2:2848
-1245:2:2856
-1246:2:2857
-1247:2:2861
-1248:2:2862
-1249:2:2856
-1250:2:2857
-1251:2:2861
-1252:2:2862
-1253:2:2870
-1254:2:2875
-1255:2:2882
-1256:2:2883
-1257:2:2890
-1258:2:2895
-1259:2:2902
-1260:2:2903
-1261:2:2902
-1262:2:2903
-1263:2:2910
-1264:2:2923
-1265:2:2924
-1266:0:3993
-1267:2:2521
-1268:0:3993
-1269:2:3037
-1270:2:3038
-1271:2:3042
-1272:2:3043
-1273:2:3051
-1274:2:3052
-1275:2:3056
-1276:2:3057
-1277:2:3065
-1278:2:3070
-1279:2:3074
-1280:2:3075
-1281:2:3083
-1282:2:3084
-1283:2:3088
-1284:2:3089
-1285:2:3083
-1286:2:3084
-1287:2:3088
-1288:2:3089
-1289:2:3097
-1290:2:3102
-1291:2:3109
-1292:2:3110
-1293:2:3117
-1294:2:3122
-1295:2:3129
-1296:2:3130
-1297:2:3129
-1298:2:3130
-1299:2:3137
-1300:0:3993
-1301:2:2521
-1302:0:3993
-1303:2:3148
-1304:2:3149
-1305:2:3153
-1306:2:3154
-1307:2:3162
-1308:2:3163
-1309:2:3167
-1310:2:3168
-1311:2:3176
-1312:2:3181
-1313:2:3185
-1314:2:3186
-1315:2:3194
-1316:2:3195
-1317:2:3199
-1318:2:3200
-1319:2:3194
-1320:2:3195
-1321:2:3199
-1322:2:3200
-1323:2:3208
-1324:2:3213
-1325:2:3220
-1326:2:3221
-1327:2:3228
-1328:2:3233
-1329:2:3240
-1330:2:3241
-1331:2:3240
-1332:2:3241
-1333:2:3248
-1334:2:3257
-1335:0:3993
-1336:2:2521
-1337:0:3993
-1338:1:118
-1339:0:3993
-1340:1:120
-1341:0:3993
-1342:1:19
-1343:0:3993
-1344:1:126
-1345:1:127
-1346:1:131
-1347:1:132
-1348:1:140
-1349:1:141
-1350:1:145
-1351:1:146
-1352:1:154
-1353:1:159
-1354:1:163
-1355:1:164
-1356:1:172
-1357:1:173
-1358:1:177
-1359:1:178
-1360:1:172
-1361:1:173
-1362:1:177
-1363:1:178
-1364:1:186
-1365:1:191
-1366:1:198
-1367:1:199
-1368:1:206
-1369:1:211
-1370:1:218
-1371:1:219
-1372:1:218
-1373:1:219
-1374:1:226
-1375:0:3993
-1376:1:15
-1377:0:3993
-1378:1:16
-1379:0:3993
-1380:1:17
-1381:0:3993
-1382:1:118
-1383:0:3993
-1384:1:120
-1385:0:3993
-1386:1:19
-1387:0:3993
-1388:1:237
-1389:1:238
-1390:0:3993
-1391:1:15
-1392:0:3993
-1393:1:16
-1394:0:3993
-1395:1:17
-1396:0:3993
-1397:1:118
-1398:0:3993
-1399:1:120
-1400:0:3993
-1401:1:19
-1402:0:3993
-1403:1:244
-1404:1:245
-1405:1:249
-1406:1:250
-1407:1:258
-1408:1:259
-1409:1:263
-1410:1:264
-1411:1:272
-1412:1:277
-1413:1:281
-1414:1:282
-1415:1:290
-1416:1:291
-1417:1:295
-1418:1:296
-1419:1:290
-1420:1:291
-1421:1:295
-1422:1:296
-1423:1:304
-1424:1:309
-1425:1:316
-1426:1:317
-1427:1:324
-1428:1:329
-1429:1:336
-1430:1:337
-1431:1:336
-1432:1:337
-1433:1:344
-1434:0:3993
-1435:1:15
-1436:0:3993
-1437:1:16
-1438:0:3993
-1439:1:17
-1440:0:3993
-1441:1:118
-1442:0:3993
-1443:1:120
-1444:0:3993
-1445:1:19
-1446:0:3993
-1447:1:355
-1448:1:356
-1449:1:360
-1450:1:361
-1451:1:369
-1452:1:370
-1453:1:374
-1454:1:375
-1455:1:383
-1456:1:388
-1457:1:392
-1458:1:393
-1459:1:401
-1460:1:402
-1461:1:406
-1462:1:407
-1463:1:401
-1464:1:402
-1465:1:406
-1466:1:407
-1467:1:415
-1468:1:420
-1469:1:427
-1470:1:428
-1471:1:435
-1472:1:440
-1473:1:447
-1474:1:448
-1475:1:447
-1476:1:448
-1477:1:455
-1478:1:464
-1479:0:3993
-1480:1:15
-1481:0:3993
-1482:1:16
-1483:0:3993
-1484:1:17
-1485:0:3993
-1486:1:118
-1487:0:3993
-1488:1:120
-1489:0:3991
-1490:1:19
-1491:0:3997
-1492:1:1040
-1493:1:1041
-1494:1:1045
-1495:1:1046
-1496:1:1054
-1497:1:1055
-1498:1:1056
-1499:1:1068
-1500:1:1073
-1501:1:1077
-1502:1:1078
-1503:1:1086
-1504:1:1087
-1505:1:1091
-1506:1:1092
-1507:1:1086
-1508:1:1087
-1509:1:1091
-1510:1:1092
-1511:1:1100
-1512:1:1105
-1513:1:1112
-1514:1:1113
-1515:1:1120
-1516:1:1125
-1517:1:1132
-1518:1:1133
-1519:1:1132
-1520:1:1133
-1521:1:1140
-1522:0:3997
-1523:1:15
-1524:0:3997
-1525:1:16
-1526:0:3997
-1527:2:3261
-1528:2:3262
-1529:2:3263
-1530:2:3275
-1531:2:3276
-1532:2:3280
-1533:2:3281
-1534:2:3289
-1535:2:3294
-1536:2:3298
-1537:2:3299
-1538:2:3307
-1539:2:3308
-1540:2:3312
-1541:2:3313
-1542:2:3307
-1543:2:3308
-1544:2:3312
-1545:2:3313
-1546:2:3321
-1547:2:3326
-1548:2:3333
-1549:2:3334
-1550:2:3341
-1551:2:3346
-1552:2:3353
-1553:2:3354
-1554:2:3353
-1555:2:3354
-1556:2:3361
-1557:2:3371
-1558:0:3997
-1559:2:2521
--1:-1:-1
-1560:0:3997
-1561:2:3377
-1562:2:3378
-1563:2:3382
-1564:2:3383
-1565:2:3391
-1566:2:3392
-1567:2:3396
-1568:2:3397
-1569:2:3405
-1570:2:3410
-1571:2:3414
-1572:2:3415
-1573:2:3423
-1574:2:3424
-1575:2:3428
-1576:2:3429
-1577:2:3423
-1578:2:3424
-1579:2:3428
-1580:2:3429
-1581:2:3437
-1582:2:3442
-1583:2:3449
-1584:2:3450
-1585:2:3457
-1586:2:3462
-1587:2:3469
-1588:2:3470
-1589:2:3469
-1590:2:3470
-1591:2:3477
-1592:0:3997
-1593:2:2521
-1594:0:3997
-1595:2:3261
-1596:2:3262
-1597:2:3266
-1598:2:3267
-1599:2:3275
-1600:2:3276
-1601:2:3280
-1602:2:3281
-1603:2:3289
-1604:2:3294
-1605:2:3298
-1606:2:3299
-1607:2:3307
-1608:2:3308
-1609:2:3312
-1610:2:3313
-1611:2:3307
-1612:2:3308
-1613:2:3312
-1614:2:3313
-1615:2:3321
-1616:2:3326
-1617:2:3333
-1618:2:3334
-1619:2:3341
-1620:2:3346
-1621:2:3353
-1622:2:3354
-1623:2:3353
-1624:2:3354
-1625:2:3361
-1626:2:3371
-1627:0:3997
-1628:2:2521
-1629:0:3997
-1630:2:3377
-1631:2:3378
-1632:2:3382
-1633:2:3383
-1634:2:3391
-1635:2:3392
-1636:2:3396
-1637:2:3397
-1638:2:3405
-1639:2:3410
-1640:2:3414
-1641:2:3415
-1642:2:3423
-1643:2:3424
-1644:2:3428
-1645:2:3429
-1646:2:3423
-1647:2:3424
-1648:2:3428
-1649:2:3429
-1650:2:3437
-1651:2:3442
-1652:2:3449
-1653:2:3450
-1654:2:3457
-1655:2:3462
-1656:2:3469
-1657:2:3470
-1658:2:3469
-1659:2:3470
-1660:2:3477
-1661:0:3997
-1662:2:2521
-1663:0:3997
-1664:2:3261
-1665:2:3262
-1666:2:3266
-1667:2:3267
-1668:2:3275
-1669:2:3276
-1670:2:3280
-1671:2:3281
-1672:2:3289
-1673:2:3294
-1674:2:3298
-1675:2:3299
-1676:2:3307
-1677:2:3308
-1678:2:3312
-1679:2:3313
-1680:2:3307
-1681:2:3308
-1682:2:3312
-1683:2:3313
-1684:2:3321
-1685:2:3326
-1686:2:3333
-1687:2:3334
-1688:2:3341
-1689:2:3346
-1690:2:3353
-1691:2:3354
-1692:2:3353
-1693:2:3354
-1694:2:3361
-1695:2:3371
-1696:0:3997
-1697:2:2521