Cleanup verif directory.

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

diff --git a/formal-model/results/urcu-controldataflow-ipi/urcu_free.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi/urcu_free.spin.input.trail
deleted file mode 100644 (file)
index 011045f..0000000
--- a/formal-model/results/urcu-controldataflow-ipi/urcu_free.spin.input.trail
+++ /dev/null
@@ -1,2598 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4863
-2:3:4786
-3:3:4789
-4:3:4789
-5:3:4792
-6:3:4800
-7:3:4800
-8:3:4803
-9:3:4809
-10:3:4813
-11:3:4813
-12:3:4816
-13:3:4823
-14:3:4831
-15:3:4831
-16:3:4834
-17:3:4840
-18:3:4844
-19:3:4844
-20:3:4847
-21:3:4853
-22:3:4857
-23:3:4858
-24:0:4863
-25:3:4860
-26:0:4863
-27:2:3279
-28:0:4863
-29:2:3285
-30:0:4863
-31:2:3286
-32:0:4863
-33:2:3289
-34:2:3293
-35:2:3294
-36:2:3302
-37:2:3303
-38:2:3307
-39:2:3308
-40:2:3316
-41:2:3321
-42:2:3325
-43:2:3326
-44:2:3334
-45:2:3335
-46:2:3339
-47:2:3340
-48:2:3334
-49:2:3335
-50:2:3339
-51:2:3340
-52:2:3348
-53:2:3353
-54:2:3354
-55:2:3365
-56:2:3366
-57:2:3367
-58:2:3378
-59:2:3383
-60:2:3384
-61:2:3395
-62:2:3396
-63:2:3397
-64:2:3395
-65:2:3396
-66:2:3397
-67:2:3408
-68:2:3412
-69:0:4863
-70:2:3415
-71:0:4863
-72:2:3421
-73:2:3422
-74:2:3426
-75:2:3430
-76:2:3431
-77:2:3435
-78:2:3443
-79:2:3444
-80:2:3448
-81:2:3452
-82:2:3453
-83:2:3448
-84:2:3449
-85:2:3457
-86:2:3461
-87:0:4863
-88:2:3464
-89:0:4863
-90:2:3465
-91:2:3469
-92:2:3470
-93:2:3478
-94:2:3479
-95:2:3483
-96:2:3484
-97:2:3492
-98:2:3497
-99:2:3501
-100:2:3502
-101:2:3510
-102:2:3511
-103:2:3515
-104:2:3516
-105:2:3510
-106:2:3511
-107:2:3515
-108:2:3516
-109:2:3524
-110:2:3529
-111:2:3530
-112:2:3541
-113:2:3542
-114:2:3543
-115:2:3554
-116:2:3559
-117:2:3560
-118:2:3571
-119:2:3572
-120:2:3573
-121:2:3571
-122:2:3572
-123:2:3573
-124:2:3584
-125:2:3588
-126:0:4863
-127:2:3591
-128:0:4863
-129:2:3594
-130:2:3598
-131:2:3599
-132:2:3607
-133:2:3608
-134:2:3612
-135:2:3613
-136:2:3621
-137:2:3626
-138:2:3627
-139:2:3639
-140:2:3640
-141:2:3644
-142:2:3645
-143:2:3639
-144:2:3640
-145:2:3644
-146:2:3645
-147:2:3653
-148:2:3658
-149:2:3659
-150:2:3670
-151:2:3671
-152:2:3672
-153:2:3683
-154:2:3688
-155:2:3689
-156:2:3700
-157:2:3701
-158:2:3702
-159:2:3700
-160:2:3701
-161:2:3702
-162:2:3713
-163:2:3717
-164:0:4863
-165:2:3720
-166:0:4863
-167:2:3721
-168:0:4863
-169:2:3722
-170:0:4863
-171:2:4423
-172:2:4424
-173:2:4428
-174:2:4432
-175:2:4433
-176:2:4437
-177:2:4445
-178:2:4446
-179:2:4450
-180:2:4454
-181:2:4455
-182:2:4450
-183:2:4454
-184:2:4455
-185:2:4459
-186:2:4466
-187:2:4473
-188:2:4474
-189:2:4481
-190:2:4486
-191:2:4493
-192:2:4494
-193:2:4493
-194:2:4494
-195:2:4501
-196:2:4505
-197:0:4863
-198:2:3724
-199:2:4401
-200:0:4863
-201:2:3721
-202:0:4863
-203:2:3725
-204:0:4863
-205:2:3721
-206:0:4863
-207:2:3728
-208:2:3729
-209:2:3733
-210:2:3734
-211:2:3742
-212:2:3743
-213:2:3747
-214:2:3748
-215:2:3756
-216:2:3761
-217:2:3765
-218:2:3766
-219:2:3774
-220:2:3775
-221:2:3779
-222:2:3780
-223:2:3774
-224:2:3775
-225:2:3779
-226:2:3780
-227:2:3788
-228:2:3793
-229:2:3794
-230:2:3805
-231:2:3806
-232:2:3807
-233:2:3818
-234:2:3823
-235:2:3824
-236:2:3835
-237:2:3836
-238:2:3837
-239:2:3835
-240:2:3836
-241:2:3837
-242:2:3848
-243:2:3855
-244:0:4863
-245:2:3721
-246:0:4863
-247:2:3859
-248:2:3860
-249:2:3861
-250:2:3873
-251:2:3874
-252:2:3878
-253:2:3879
-254:2:3887
-255:2:3892
-256:2:3896
-257:2:3897
-258:2:3905
-259:2:3906
-260:2:3910
-261:2:3911
-262:2:3905
-263:2:3906
-264:2:3910
-265:2:3911
-266:2:3919
-267:2:3924
-268:2:3925
-269:2:3936
-270:2:3937
-271:2:3938
-272:2:3949
-273:2:3954
-274:2:3955
-275:2:3966
-276:2:3967
-277:2:3968
-278:2:3966
-279:2:3967
-280:2:3968
-281:2:3979
-282:2:3990
-283:2:3991
-284:0:4863
-285:2:3721
-286:0:4863
-287:2:3997
-288:2:3998
-289:2:4002
-290:2:4003
-291:2:4011
-292:2:4012
-293:2:4016
-294:2:4017
-295:2:4025
-296:2:4030
-297:2:4034
-298:2:4035
-299:2:4043
-300:2:4044
-301:2:4048
-302:2:4049
-303:2:4043
-304:2:4044
-305:2:4048
-306:2:4049
-307:2:4057
-308:2:4062
-309:2:4063
-310:2:4074
-311:2:4075
-312:2:4076
-313:2:4087
-314:2:4092
-315:2:4093
-316:2:4104
-317:2:4105
-318:2:4106
-319:2:4104
-320:2:4105
-321:2:4106
-322:2:4117
-323:0:4863
-324:2:3721
-325:0:4863
-326:2:4126
-327:2:4127
-328:2:4131
-329:2:4132
-330:2:4140
-331:2:4141
-332:2:4145
-333:2:4146
-334:2:4154
-335:2:4159
-336:2:4163
-337:2:4164
-338:2:4172
-339:2:4173
-340:2:4177
-341:2:4178
-342:2:4172
-343:2:4173
-344:2:4177
-345:2:4178
-346:2:4186
-347:2:4191
-348:2:4192
-349:2:4203
-350:2:4204
-351:2:4205
-352:2:4216
-353:2:4221
-354:2:4222
-355:2:4233
-356:2:4234
-357:2:4235
-358:2:4233
-359:2:4234
-360:2:4235
-361:2:4246
-362:2:4253
-363:0:4863
-364:2:3721
-365:0:4863
-366:2:4257
-367:2:4258
-368:2:4259
-369:2:4271
-370:2:4272
-371:2:4276
-372:2:4277
-373:2:4285
-374:2:4290
-375:2:4294
-376:2:4295
-377:2:4303
-378:2:4304
-379:2:4308
-380:2:4309
-381:2:4303
-382:2:4304
-383:2:4308
-384:2:4309
-385:2:4317
-386:2:4322
-387:2:4323
-388:2:4334
-389:2:4335
-390:2:4336
-391:2:4347
-392:2:4352
-393:2:4353
-394:2:4364
-395:2:4365
-396:2:4366
-397:2:4364
-398:2:4365
-399:2:4366
-400:2:4377
-401:2:4387
-402:2:4388
-403:0:4863
-404:2:3721
-405:0:4863
-406:2:4394
-407:0:4863
-408:2:4696
-409:2:4697
-410:2:4701
-411:2:4705
-412:2:4706
-413:2:4710
-414:2:4718
-415:2:4719
-416:2:4723
-417:2:4727
-418:2:4728
-419:2:4723
-420:2:4727
-421:2:4728
-422:2:4732
-423:2:4739
-424:2:4746
-425:2:4747
-426:2:4754
-427:2:4759
-428:2:4766
-429:2:4767
-430:2:4766
-431:2:4767
-432:2:4774
-433:2:4778
-434:0:4863
-435:2:4396
-436:2:4401
-437:0:4863
-438:2:3721
-439:0:4863
-440:2:4397
-441:0:4863
-442:2:4405
-443:0:4863
-444:2:4406
-445:0:4863
-446:2:3286
-447:0:4863
-448:2:3289
-449:2:3293
-450:2:3294
-451:2:3302
-452:2:3303
-453:2:3307
-454:2:3308
-455:2:3316
-456:2:3321
-457:2:3325
-458:2:3326
-459:2:3334
-460:2:3335
-461:2:3336
-462:2:3334
-463:2:3335
-464:2:3339
-465:2:3340
-466:2:3348
-467:2:3353
-468:2:3354
-469:2:3365
-470:2:3366
-471:2:3367
-472:2:3378
-473:2:3383
-474:2:3384
-475:2:3395
-476:2:3396
-477:2:3397
-478:2:3395
-479:2:3396
-480:2:3397
-481:2:3408
-482:2:3412
-483:0:4863
-484:2:3415
-485:0:4863
-486:2:3421
-487:2:3422
-488:2:3426
-489:2:3430
-490:2:3431
-491:2:3435
-492:2:3443
-493:2:3444
-494:2:3448
-495:2:3449
-496:2:3448
-497:2:3452
-498:2:3453
-499:2:3457
-500:2:3461
-501:0:4863
-502:2:3464
-503:0:4863
-504:2:3465
-505:2:3469
-506:2:3470
-507:2:3478
-508:2:3479
-509:2:3483
-510:2:3484
-511:2:3492
-512:2:3497
-513:2:3501
-514:2:3502
-515:2:3510
-516:2:3511
-517:2:3515
-518:2:3516
-519:2:3510
-520:2:3511
-521:2:3515
-522:2:3516
-523:2:3524
-524:2:3529
-525:2:3530
-526:2:3541
-527:2:3542
-528:2:3543
-529:2:3554
-530:2:3559
-531:2:3560
-532:2:3571
-533:2:3572
-534:2:3573
-535:2:3571
-536:2:3572
-537:2:3573
-538:2:3584
-539:2:3588
-540:0:4863
-541:2:3591
-542:0:4863
-543:2:3594
-544:2:3598
-545:2:3599
-546:2:3607
-547:2:3608
-548:2:3612
-549:2:3613
-550:2:3621
-551:2:3626
-552:2:3627
-553:2:3639
-554:2:3640
-555:2:3644
-556:2:3645
-557:2:3639
-558:2:3640
-559:2:3644
-560:2:3645
-561:2:3653
-562:2:3658
-563:2:3659
-564:2:3670
-565:2:3671
-566:2:3672
-567:2:3683
-568:2:3688
-569:2:3689
-570:2:3700
-571:2:3701
-572:2:3702
-573:2:3700
-574:2:3701
-575:2:3702
-576:2:3713
-577:2:3717
-578:0:4863
-579:2:3720
-580:0:4863
-581:2:3721
-582:0:4863
-583:2:3722
-584:0:4863
-585:2:4423
-586:2:4424
-587:2:4428
-588:2:4432
-589:2:4433
-590:2:4437
-591:2:4445
-592:2:4446
-593:2:4450
-594:2:4454
-595:2:4455
-596:2:4450
-597:2:4454
-598:2:4455
-599:2:4459
-600:2:4466
-601:2:4473
-602:2:4474
-603:2:4481
-604:2:4486
-605:2:4493
-606:2:4494
-607:2:4493
-608:2:4494
-609:2:4501
-610:2:4505
-611:0:4863
-612:2:3724
-613:2:4401
-614:0:4863
-615:2:3721
-616:0:4863
-617:2:3725
-618:0:4863
-619:2:3721
-620:0:4863
-621:2:3728
-622:2:3729
-623:2:3733
-624:2:3734
-625:2:3742
-626:2:3743
-627:2:3747
-628:2:3748
-629:2:3756
-630:2:3761
-631:2:3765
-632:2:3766
-633:2:3774
-634:2:3775
-635:2:3779
-636:2:3780
-637:2:3774
-638:2:3775
-639:2:3779
-640:2:3780
-641:2:3788
-642:2:3793
-643:2:3794
-644:2:3805
-645:2:3806
-646:2:3807
-647:2:3818
-648:2:3823
-649:2:3824
-650:2:3835
-651:2:3836
-652:2:3837
-653:2:3835
-654:2:3836
-655:2:3837
-656:2:3848
-657:2:3855
-658:0:4863
-659:2:3721
-660:0:4863
-661:2:3859
-662:2:3860
-663:2:3861
-664:2:3873
-665:2:3874
-666:2:3878
-667:2:3879
-668:2:3887
-669:2:3892
-670:2:3896
-671:2:3897
-672:2:3905
-673:2:3906
-674:2:3910
-675:2:3911
-676:2:3905
-677:2:3906
-678:2:3910
-679:2:3911
-680:2:3919
-681:2:3924
-682:2:3925
-683:2:3936
-684:2:3937
-685:2:3938
-686:2:3949
-687:2:3954
-688:2:3955
-689:2:3966
-690:2:3967
-691:2:3968
-692:2:3966
-693:2:3967
-694:2:3968
-695:2:3979
-696:2:3990
-697:2:3991
-698:0:4863
-699:2:3721
-700:0:4863
-701:2:3997
-702:2:3998
-703:2:4002
-704:2:4003
-705:2:4011
-706:2:4012
-707:2:4016
-708:2:4017
-709:2:4025
-710:2:4030
-711:2:4034
-712:2:4035
-713:2:4043
-714:2:4044
-715:2:4048
-716:2:4049
-717:2:4043
-718:2:4044
-719:2:4048
-720:2:4049
-721:2:4057
-722:2:4062
-723:2:4063
-724:2:4074
-725:2:4075
-726:2:4076
-727:2:4087
-728:2:4092
-729:2:4093
-730:2:4104
-731:2:4105
-732:2:4106
-733:2:4104
-734:2:4105
-735:2:4106
-736:2:4117
-737:0:4863
-738:2:3721
-739:0:4863
-740:2:4126
-741:2:4127
-742:2:4131
-743:2:4132
-744:2:4140
-745:2:4141
-746:2:4145
-747:2:4146
-748:2:4154
-749:2:4159
-750:2:4163
-751:2:4164
-752:2:4172
-753:2:4173
-754:2:4177
-755:2:4178
-756:2:4172
-757:2:4173
-758:2:4177
-759:2:4178
-760:2:4186
-761:2:4191
-762:2:4192
-763:2:4203
-764:2:4204
-765:2:4205
-766:2:4216
-767:2:4221
-768:2:4222
-769:2:4233
-770:2:4234
-771:2:4235
-772:2:4233
-773:2:4234
-774:2:4235
-775:2:4246
-776:2:4253
-777:0:4863
-778:2:3721
-779:0:4863
-780:2:4257
-781:2:4258
-782:2:4259
-783:2:4271
-784:2:4272
-785:2:4276
-786:2:4277
-787:2:4285
-788:2:4290
-789:2:4294
-790:2:4295
-791:2:4303
-792:2:4304
-793:2:4308
-794:2:4309
-795:2:4303
-796:2:4304
-797:2:4308
-798:2:4309
-799:2:4317
-800:2:4322
-801:2:4323
-802:2:4334
-803:2:4335
-804:2:4336
-805:2:4347
-806:2:4352
-807:2:4353
-808:2:4364
-809:2:4365
-810:2:4366
-811:2:4364
-812:2:4365
-813:2:4366
-814:2:4377
-815:2:4387
-816:2:4388
-817:0:4863
-818:2:3721
-819:0:4863
-820:2:4394
-821:0:4863
-822:2:4696
-823:2:4697
-824:2:4701
-825:2:4705
-826:2:4706
-827:2:4710
-828:2:4718
-829:2:4719
-830:2:4723
-831:2:4727
-832:2:4728
-833:2:4723
-834:2:4727
-835:2:4728
-836:2:4732
-837:2:4739
-838:2:4746
-839:2:4747
-840:2:4754
-841:2:4759
-842:2:4766
-843:2:4767
-844:2:4766
-845:2:4767
-846:2:4774
-847:2:4778
-848:0:4863
-849:2:4396
-850:2:4401
-851:0:4863
-852:2:3721
-853:0:4863
-854:2:4397
-855:0:4863
-856:2:4405
-857:0:4863
-858:2:4406
-859:0:4863
-860:2:3286
-861:0:4863
-862:2:3289
-863:2:3293
-864:2:3294
-865:2:3302
-866:2:3303
-867:2:3307
-868:2:3308
-869:2:3316
-870:2:3321
-871:2:3325
-872:2:3326
-873:2:3334
-874:2:3335
-875:2:3339
-876:2:3340
-877:2:3334
-878:2:3335
-879:2:3336
-880:2:3348
-881:2:3353
-882:2:3354
-883:2:3365
-884:2:3366
-885:2:3367
-886:2:3378
-887:2:3383
-888:2:3384
-889:2:3395
-890:2:3396
-891:2:3397
-892:2:3395
-893:2:3396
-894:2:3397
-895:2:3408
-896:2:3412
-897:0:4863
-898:2:3415
-899:0:4863
-900:2:3421
-901:2:3422
-902:2:3426
-903:2:3430
-904:2:3431
-905:2:3435
-906:2:3443
-907:2:3444
-908:2:3448
-909:2:3452
-910:2:3453
-911:2:3448
-912:2:3449
-913:2:3457
-914:2:3461
-915:0:4863
-916:2:3464
-917:0:4863
-918:2:3465
-919:2:3469
-920:2:3470
-921:2:3478
-922:2:3479
-923:2:3483
-924:2:3484
-925:2:3492
-926:2:3497
-927:2:3501
-928:2:3502
-929:2:3510
-930:2:3511
-931:2:3515
-932:2:3516
-933:2:3510
-934:2:3511
-935:2:3515
-936:2:3516
-937:2:3524
-938:2:3529
-939:2:3530
-940:2:3541
-941:2:3542
-942:2:3543
-943:2:3554
-944:2:3559
-945:2:3560
-946:2:3571
-947:2:3572
-948:2:3573
-949:2:3571
-950:2:3572
-951:2:3573
-952:2:3584
-953:2:3588
-954:0:4863
-955:2:3591
-956:0:4863
-957:2:3594
-958:2:3598
-959:2:3599
-960:2:3607
-961:2:3608
-962:2:3612
-963:2:3613
-964:2:3621
-965:2:3626
-966:2:3627
-967:2:3639
-968:2:3640
-969:2:3644
-970:2:3645
-971:2:3639
-972:2:3640
-973:2:3644
-974:2:3645
-975:2:3653
-976:2:3658
-977:2:3659
-978:2:3670
-979:2:3671
-980:2:3672
-981:2:3683
-982:2:3688
-983:2:3689
-984:2:3700
-985:2:3701
-986:2:3702
-987:2:3700
-988:2:3701
-989:2:3702
-990:2:3713
-991:2:3717
-992:0:4863
-993:2:3720
-994:0:4863
-995:2:3721
-996:0:4863
-997:2:3722
-998:0:4863
-999:2:4423
-1000:2:4424
-1001:2:4428
-1002:2:4432
-1003:2:4433
-1004:2:4437
-1005:2:4445
-1006:2:4446
-1007:2:4450
-1008:2:4454
-1009:2:4455
-1010:2:4450
-1011:2:4454
-1012:2:4455
-1013:2:4459
-1014:2:4466
-1015:2:4473
-1016:2:4474
-1017:2:4481
-1018:2:4486
-1019:2:4493
-1020:2:4494
-1021:2:4493
-1022:2:4494
-1023:2:4501
-1024:2:4505
-1025:0:4863
-1026:2:3724
-1027:2:4401
-1028:0:4863
-1029:2:3721
-1030:0:4863
-1031:2:3725
-1032:0:4863
-1033:2:3721
-1034:0:4863
-1035:2:3728
-1036:2:3729
-1037:2:3733
-1038:2:3734
-1039:2:3742
-1040:2:3743
-1041:2:3747
-1042:2:3748
-1043:2:3756
-1044:2:3761
-1045:2:3765
-1046:2:3766
-1047:2:3774
-1048:2:3775
-1049:2:3779
-1050:2:3780
-1051:2:3774
-1052:2:3775
-1053:2:3779
-1054:2:3780
-1055:2:3788
-1056:2:3793
-1057:2:3794
-1058:2:3805
-1059:2:3806
-1060:2:3807
-1061:2:3818
-1062:2:3823
-1063:2:3824
-1064:2:3835
-1065:2:3836
-1066:2:3837
-1067:2:3835
-1068:2:3836
-1069:2:3837
-1070:2:3848
-1071:2:3855
-1072:0:4863
-1073:2:3721
-1074:0:4863
-1075:2:3859
-1076:2:3860
-1077:2:3861
-1078:2:3873
-1079:2:3874
-1080:2:3878
-1081:2:3879
-1082:2:3887
-1083:2:3892
-1084:2:3896
-1085:2:3897
-1086:2:3905
-1087:2:3906
-1088:2:3910
-1089:2:3911
-1090:2:3905
-1091:2:3906
-1092:2:3910
-1093:2:3911
-1094:2:3919
-1095:2:3924
-1096:2:3925
-1097:2:3936
-1098:2:3937
-1099:2:3938
-1100:2:3949
-1101:2:3954
-1102:2:3955
-1103:2:3966
-1104:2:3967
-1105:2:3968
-1106:2:3966
-1107:2:3967
-1108:2:3968
-1109:2:3979
-1110:2:3990
-1111:2:3991
-1112:0:4863
-1113:2:3721
-1114:0:4863
-1115:2:3997
-1116:2:3998
-1117:2:4002
-1118:2:4003
-1119:2:4011
-1120:2:4012
-1121:2:4016
-1122:2:4017
-1123:2:4025
-1124:2:4030
-1125:2:4034
-1126:2:4035
-1127:2:4043
-1128:2:4044
-1129:2:4048
-1130:2:4049
-1131:2:4043
-1132:2:4044
-1133:2:4048
-1134:2:4049
-1135:2:4057
-1136:2:4062
-1137:2:4063
-1138:2:4074
-1139:2:4075
-1140:2:4076
-1141:2:4087
-1142:2:4092
-1143:2:4093
-1144:2:4104
-1145:2:4105
-1146:2:4106
-1147:2:4104
-1148:2:4105
-1149:2:4106
-1150:2:4117
-1151:0:4863
-1152:2:3721
-1153:0:4863
-1154:2:4126
-1155:2:4127
-1156:2:4131
-1157:2:4132
-1158:2:4140
-1159:2:4141
-1160:2:4145
-1161:2:4146
-1162:2:4154
-1163:2:4159
-1164:2:4163
-1165:2:4164
-1166:2:4172
-1167:2:4173
-1168:2:4177
-1169:2:4178
-1170:2:4172
-1171:2:4173
-1172:2:4177
-1173:2:4178
-1174:2:4186
-1175:2:4191
-1176:2:4192
-1177:2:4203
-1178:2:4204
-1179:2:4205
-1180:2:4216
-1181:2:4221
-1182:2:4222
-1183:2:4233
-1184:2:4234
-1185:2:4235
-1186:2:4233
-1187:2:4234
-1188:2:4235
-1189:2:4246
-1190:2:4253
-1191:0:4863
-1192:2:3721
-1193:0:4863
-1194:2:4257
-1195:2:4258
-1196:2:4259
-1197:2:4271
-1198:2:4272
-1199:2:4276
-1200:2:4277
-1201:2:4285
-1202:2:4290
-1203:2:4294
-1204:2:4295
-1205:2:4303
-1206:2:4304
-1207:2:4308
-1208:2:4309
-1209:2:4303
-1210:2:4304
-1211:2:4308
-1212:2:4309
-1213:2:4317
-1214:2:4322
-1215:2:4323
-1216:2:4334
-1217:2:4335
-1218:2:4336
-1219:2:4347
-1220:2:4352
-1221:2:4353
-1222:2:4364
-1223:2:4365
-1224:2:4366
-1225:2:4364
-1226:2:4365
-1227:2:4366
-1228:2:4377
-1229:2:4387
-1230:2:4388
-1231:0:4863
-1232:2:3721
-1233:0:4863
-1234:2:4394
-1235:0:4863
-1236:2:4696
-1237:2:4697
-1238:2:4701
-1239:2:4705
-1240:2:4706
-1241:2:4710
-1242:2:4718
-1243:2:4719
-1244:2:4723
-1245:2:4727
-1246:2:4728
-1247:2:4723
-1248:2:4727
-1249:2:4728
-1250:2:4732
-1251:2:4739
-1252:2:4746
-1253:2:4747
-1254:2:4754
-1255:2:4759
-1256:2:4766
-1257:2:4767
-1258:2:4766
-1259:2:4767
-1260:2:4774
-1261:2:4778
-1262:0:4863
-1263:2:4396
-1264:2:4401
-1265:0:4863
-1266:2:3721
-1267:0:4863
-1268:2:4397
-1269:0:4863
-1270:2:4405
-1271:0:4863
-1272:2:4406
-1273:0:4863
-1274:2:3286
-1275:0:4863
-1276:2:3289
-1277:2:3293
-1278:2:3294
-1279:2:3302
-1280:2:3303
-1281:2:3307
-1282:2:3308
-1283:2:3316
-1284:2:3321
-1285:2:3325
-1286:2:3326
-1287:2:3334
-1288:2:3335
-1289:2:3336
-1290:2:3334
-1291:2:3335
-1292:2:3339
-1293:2:3340
-1294:2:3348
-1295:2:3353
-1296:2:3354
-1297:2:3365
-1298:2:3366
-1299:2:3367
-1300:2:3378
-1301:2:3383
-1302:2:3384
-1303:2:3395
-1304:2:3396
-1305:2:3397
-1306:2:3395
-1307:2:3396
-1308:2:3397
-1309:2:3408
-1310:2:3412
-1311:0:4863
-1312:2:3415
-1313:0:4863
-1314:2:3421
-1315:2:3422
-1316:2:3426
-1317:2:3430
-1318:2:3431
-1319:2:3435
-1320:2:3443
-1321:2:3444
-1322:2:3448
-1323:2:3449
-1324:2:3448
-1325:2:3452
-1326:2:3453
-1327:2:3457
-1328:2:3461
-1329:0:4863
-1330:2:3464
-1331:0:4863
-1332:2:3465
-1333:2:3469
-1334:2:3470
-1335:2:3478
-1336:2:3479
-1337:2:3483
-1338:2:3484
-1339:2:3492
-1340:2:3497
-1341:2:3501
-1342:2:3502
-1343:2:3510
-1344:2:3511
-1345:2:3515
-1346:2:3516
-1347:2:3510
-1348:2:3511
-1349:2:3515
-1350:2:3516
-1351:2:3524
-1352:2:3529
-1353:2:3530
-1354:2:3541
-1355:2:3542
-1356:2:3543
-1357:2:3554
-1358:2:3559
-1359:2:3560
-1360:2:3571
-1361:2:3572
-1362:2:3573
-1363:2:3571
-1364:2:3572
-1365:2:3573
-1366:2:3584
-1367:2:3588
-1368:0:4863
-1369:2:3591
-1370:0:4863
-1371:2:3594
-1372:2:3598
-1373:2:3599
-1374:2:3607
-1375:2:3608
-1376:2:3612
-1377:2:3613
-1378:2:3621
-1379:2:3626
-1380:2:3627
-1381:2:3639
-1382:2:3640
-1383:2:3644
-1384:2:3645
-1385:2:3639
-1386:2:3640
-1387:2:3644
-1388:2:3645
-1389:2:3653
-1390:2:3658
-1391:2:3659
-1392:2:3670
-1393:2:3671
-1394:2:3672
-1395:2:3683
-1396:2:3688
-1397:2:3689
-1398:2:3700
-1399:2:3701
-1400:2:3702
-1401:2:3700
-1402:2:3701
-1403:2:3702
-1404:2:3713
-1405:2:3717
-1406:0:4863
-1407:2:3720
-1408:0:4863
-1409:2:3721
-1410:0:4863
-1411:2:3722
-1412:0:4863
-1413:2:4423
-1414:2:4424
-1415:2:4428
-1416:2:4432
-1417:2:4433
-1418:2:4437
-1419:2:4445
-1420:2:4446
-1421:2:4450
-1422:2:4454
-1423:2:4455
-1424:2:4450
-1425:2:4454
-1426:2:4455
-1427:2:4459
-1428:2:4466
-1429:2:4473
-1430:2:4474
-1431:2:4481
-1432:2:4486
-1433:2:4493
-1434:2:4494
-1435:2:4493
-1436:2:4494
-1437:2:4501
-1438:2:4505
-1439:0:4863
-1440:2:3724
-1441:2:4401
-1442:0:4863
-1443:2:3721
-1444:0:4863
-1445:2:3725
-1446:0:4863
-1447:2:3721
-1448:0:4863
-1449:2:3728
-1450:2:3729
-1451:2:3733
-1452:2:3734
-1453:2:3742
-1454:2:3743
-1455:2:3747
-1456:2:3748
-1457:2:3756
-1458:2:3761
-1459:2:3765
-1460:2:3766
-1461:2:3774
-1462:2:3775
-1463:2:3779
-1464:2:3780
-1465:2:3774
-1466:2:3775
-1467:2:3779
-1468:2:3780
-1469:2:3788
-1470:2:3793
-1471:2:3794
-1472:2:3805
-1473:2:3806
-1474:2:3807
-1475:2:3818
-1476:2:3823
-1477:2:3824
-1478:2:3835
-1479:2:3836
-1480:2:3837
-1481:2:3835
-1482:2:3836
-1483:2:3837
-1484:2:3848
-1485:2:3855
-1486:0:4863
-1487:2:3721
-1488:0:4863
-1489:2:3859
-1490:2:3860
-1491:2:3861
-1492:2:3873
-1493:2:3874
-1494:2:3878
-1495:2:3879
-1496:2:3887
-1497:2:3892
-1498:2:3896
-1499:2:3897
-1500:2:3905
-1501:2:3906
-1502:2:3910
-1503:2:3911
-1504:2:3905
-1505:2:3906
-1506:2:3910
-1507:2:3911
-1508:2:3919
-1509:2:3924
-1510:2:3925
-1511:2:3936
-1512:2:3937
-1513:2:3938
-1514:2:3949
-1515:2:3954
-1516:2:3955
-1517:2:3966
-1518:2:3967
-1519:2:3968
-1520:2:3966
-1521:2:3967
-1522:2:3968
-1523:2:3979
-1524:2:3990
-1525:2:3991
-1526:0:4863
-1527:2:3721
-1528:0:4863
-1529:2:3997
-1530:2:3998
-1531:2:4002
-1532:2:4003
-1533:2:4011
-1534:2:4012
-1535:2:4016
-1536:2:4017
-1537:2:4025
-1538:2:4030
-1539:2:4034
-1540:2:4035
-1541:2:4043
-1542:2:4044
-1543:2:4048
-1544:2:4049
-1545:2:4043
-1546:2:4044
-1547:2:4048
-1548:2:4049
-1549:2:4057
-1550:2:4062
-1551:2:4063
-1552:2:4074
-1553:2:4075
-1554:2:4076
-1555:2:4087
-1556:2:4092
-1557:2:4093
-1558:2:4104
-1559:2:4105
-1560:2:4106
-1561:2:4104
-1562:2:4105
-1563:2:4106
-1564:2:4117
-1565:0:4863
-1566:2:3721
-1567:0:4863
-1568:2:4126
-1569:2:4127
-1570:2:4131
-1571:2:4132
-1572:2:4140
-1573:2:4141
-1574:2:4145
-1575:2:4146
-1576:2:4154
-1577:2:4159
-1578:2:4163
-1579:2:4164
-1580:2:4172
-1581:2:4173
-1582:2:4177
-1583:2:4178
-1584:2:4172
-1585:2:4173
-1586:2:4177
-1587:2:4178
-1588:2:4186
-1589:2:4191
-1590:2:4192
-1591:2:4203
-1592:2:4204
-1593:2:4205
-1594:2:4216
-1595:2:4221
-1596:2:4222
-1597:2:4233
-1598:2:4234
-1599:2:4235
-1600:2:4233
-1601:2:4234
-1602:2:4235
-1603:2:4246
-1604:2:4253
-1605:0:4863
-1606:2:3721
-1607:0:4863
-1608:2:4257
-1609:2:4258
-1610:2:4259
-1611:2:4271
-1612:2:4272
-1613:2:4276
-1614:2:4277
-1615:2:4285
-1616:2:4290
-1617:2:4294
-1618:2:4295
-1619:2:4303
-1620:2:4304
-1621:2:4308
-1622:2:4309
-1623:2:4303
-1624:2:4304
-1625:2:4308
-1626:2:4309
-1627:2:4317
-1628:2:4322
-1629:2:4323
-1630:2:4334
-1631:2:4335
-1632:2:4336
-1633:2:4347
-1634:2:4352
-1635:2:4353
-1636:2:4364
-1637:2:4365
-1638:2:4366
-1639:2:4364
-1640:2:4365
-1641:2:4366
-1642:2:4377
-1643:2:4387
-1644:2:4388
-1645:0:4863
-1646:2:3721
-1647:0:4863
-1648:2:4394
-1649:0:4863
-1650:2:4696
-1651:2:4697
-1652:2:4701
-1653:2:4705
-1654:2:4706
-1655:2:4710
-1656:2:4718
-1657:2:4719
-1658:2:4723
-1659:2:4727
-1660:2:4728
-1661:2:4723
-1662:2:4727
-1663:2:4728
-1664:2:4732
-1665:2:4739
-1666:2:4746
-1667:2:4747
-1668:2:4754
-1669:2:4759
-1670:2:4766
-1671:2:4767
-1672:2:4766
-1673:2:4767
-1674:2:4774
-1675:2:4778
-1676:0:4863
-1677:2:4396
-1678:2:4401
-1679:0:4863
-1680:2:3721
-1681:0:4863
-1682:2:4397
-1683:0:4863
-1684:2:4405
-1685:0:4863
-1686:2:4406
-1687:0:4863
-1688:2:3286
-1689:0:4863
-1690:2:3289
-1691:2:3293
-1692:2:3294
-1693:2:3302
-1694:2:3303
-1695:2:3307
-1696:2:3308
-1697:2:3316
-1698:2:3321
-1699:2:3325
-1700:2:3326
-1701:2:3334
-1702:2:3335
-1703:2:3339
-1704:2:3340
-1705:2:3334
-1706:2:3335
-1707:2:3336
-1708:2:3348
-1709:2:3353
-1710:2:3354
-1711:2:3365
-1712:2:3366
-1713:2:3367
-1714:2:3378
-1715:2:3383
-1716:2:3384
-1717:2:3395
-1718:2:3396
-1719:2:3397
-1720:2:3395
-1721:2:3396
-1722:2:3397
-1723:2:3408
-1724:2:3412
-1725:0:4863
-1726:2:3415
-1727:0:4863
-1728:1:2
-1729:0:4863
-1730:1:8
-1731:0:4863
-1732:1:9
-1733:0:4863
-1734:1:10
-1735:0:4863
-1736:1:11
-1737:0:4863
-1738:1:12
-1739:1:13
-1740:1:17
-1741:1:18
-1742:1:26
-1743:1:27
-1744:1:31
-1745:1:32
-1746:1:40
-1747:1:45
-1748:1:49
-1749:1:50
-1750:1:58
-1751:1:59
-1752:1:63
-1753:1:64
-1754:1:58
-1755:1:59
-1756:1:63
-1757:1:64
-1758:1:72
-1759:1:77
-1760:1:78
-1761:1:89
-1762:1:90
-1763:1:91
-1764:1:102
-1765:1:107
-1766:1:108
-1767:1:119
-1768:1:120
-1769:1:121
-1770:1:119
-1771:1:120
-1772:1:121
-1773:1:132
-1774:0:4863
-1775:1:11
-1776:0:4863
-1777:1:141
-1778:1:142
-1779:0:4863
-1780:1:11
-1781:0:4863
-1782:1:148
-1783:1:149
-1784:1:153
-1785:1:154
-1786:1:162
-1787:1:163
-1788:1:167
-1789:1:168
-1790:1:176
-1791:1:181
-1792:1:185
-1793:1:186
-1794:1:194
-1795:1:195
-1796:1:199
-1797:1:200
-1798:1:194
-1799:1:195
-1800:1:199
-1801:1:200
-1802:1:208
-1803:1:213
-1804:1:214
-1805:1:225
-1806:1:226
-1807:1:227
-1808:1:238
-1809:1:243
-1810:1:244
-1811:1:255
-1812:1:256
-1813:1:257
-1814:1:255
-1815:1:256
-1816:1:257
-1817:1:268
-1818:0:4863
-1819:1:11
-1820:0:4863
-1821:1:277
-1822:1:278
-1823:1:282
-1824:1:283
-1825:1:291
-1826:1:292
-1827:1:296
-1828:1:297
-1829:1:305
-1830:1:310
-1831:1:314
-1832:1:315
-1833:1:323
-1834:1:324
-1835:1:328
-1836:1:329
-1837:1:323
-1838:1:324
-1839:1:328
-1840:1:329
-1841:1:337
-1842:1:342
-1843:1:343
-1844:1:354
-1845:1:355
-1846:1:356
-1847:1:367
-1848:1:372
-1849:1:373
-1850:1:384
-1851:1:385
-1852:1:386
-1853:1:384
-1854:1:385
-1855:1:386
-1856:1:397
-1857:1:404
-1858:0:4863
-1859:1:11
-1860:0:4863
-1861:1:540
-1862:1:544
-1863:1:545
-1864:1:549
-1865:1:550
-1866:1:558
-1867:1:566
-1868:1:567
-1869:1:571
-1870:1:575
-1871:1:576
-1872:1:571
-1873:1:575
-1874:1:576
-1875:1:580
-1876:1:587
-1877:1:594
-1878:1:595
-1879:1:602
-1880:1:607
-1881:1:614
-1882:1:615
-1883:1:614
-1884:1:615
-1885:1:622
-1886:0:4863
-1887:1:11
-1888:0:4863
-1889:2:3421
-1890:2:3422
-1891:2:3426
-1892:2:3430
-1893:2:3431
-1894:2:3435
-1895:2:3443
-1896:2:3444
-1897:2:3448
-1898:2:3452
-1899:2:3453
-1900:2:3448
-1901:2:3449
-1902:2:3457
-1903:2:3461
-1904:0:4863
-1905:2:3464
-1906:0:4863
-1907:2:3465
-1908:2:3469
-1909:2:3470
-1910:2:3478
-1911:2:3479
-1912:2:3483
-1913:2:3484
-1914:2:3492
-1915:2:3497
-1916:2:3501
-1917:2:3502
-1918:2:3510
-1919:2:3511
-1920:2:3515
-1921:2:3516
-1922:2:3510
-1923:2:3511
-1924:2:3515
-1925:2:3516
-1926:2:3524
-1927:2:3529
-1928:2:3530
-1929:2:3541
-1930:2:3542
-1931:2:3543
-1932:2:3554
-1933:2:3559
-1934:2:3560
-1935:2:3571
-1936:2:3572
-1937:2:3573
-1938:2:3571
-1939:2:3572
-1940:2:3573
-1941:2:3584
-1942:2:3588
-1943:0:4863
-1944:2:3591
-1945:0:4863
-1946:2:3594
-1947:2:3598
-1948:2:3599
-1949:2:3607
-1950:2:3608
-1951:2:3612
-1952:2:3613
-1953:2:3621
-1954:2:3626
-1955:2:3627
-1956:2:3639
-1957:2:3640
-1958:2:3644
-1959:2:3645
-1960:2:3639
-1961:2:3640
-1962:2:3644
-1963:2:3645
-1964:2:3653
-1965:2:3658
-1966:2:3659
-1967:2:3670
-1968:2:3671
-1969:2:3672
-1970:2:3683
-1971:2:3688
-1972:2:3689
-1973:2:3700
-1974:2:3701
-1975:2:3702
-1976:2:3700
-1977:2:3701
-1978:2:3702
-1979:2:3713
-1980:2:3717
-1981:0:4863
-1982:2:3720
-1983:0:4863
-1984:2:3721
-1985:0:4863
-1986:2:3722
-1987:0:4863
-1988:2:4423
-1989:2:4424
-1990:2:4428
-1991:2:4432
-1992:2:4433
-1993:2:4437
-1994:2:4445
-1995:2:4446
-1996:2:4450
-1997:2:4454
-1998:2:4455
-1999:2:4450
-2000:2:4454
-2001:2:4455
-2002:2:4459
-2003:2:4466
-2004:2:4473
-2005:2:4474
-2006:2:4481
-2007:2:4486
-2008:2:4493
-2009:2:4494
-2010:2:4493
-2011:2:4494
-2012:2:4501
-2013:2:4505
-2014:0:4863
-2015:2:3724
-2016:2:4401
-2017:0:4863
-2018:2:3721
-2019:0:4863
-2020:2:3725
-2021:0:4863
-2022:2:3721
-2023:0:4863
-2024:2:3728
-2025:2:3729
-2026:2:3733
-2027:2:3734
-2028:2:3742
-2029:2:3743
-2030:2:3747
-2031:2:3748
-2032:2:3756
-2033:2:3761
-2034:2:3765
-2035:2:3766
-2036:2:3774
-2037:2:3775
-2038:2:3779
-2039:2:3780
-2040:2:3774
-2041:2:3775
-2042:2:3779
-2043:2:3780
-2044:2:3788
-2045:2:3793
-2046:2:3794
-2047:2:3805
-2048:2:3806
-2049:2:3807
-2050:2:3818
-2051:2:3823
-2052:2:3824
-2053:2:3835
-2054:2:3836
-2055:2:3837
-2056:2:3835
-2057:2:3836
-2058:2:3837
-2059:2:3848
-2060:2:3855
-2061:0:4863
-2062:2:3721
-2063:0:4863
-2064:2:3859
-2065:2:3860
-2066:2:3861
-2067:2:3873
-2068:2:3874
-2069:2:3878
-2070:2:3879
-2071:2:3887
-2072:2:3892
-2073:2:3896
-2074:2:3897
-2075:2:3905
-2076:2:3906
-2077:2:3910
-2078:2:3911
-2079:2:3905
-2080:2:3906
-2081:2:3910
-2082:2:3911
-2083:2:3919
-2084:2:3924
-2085:2:3925
-2086:2:3936
-2087:2:3937
-2088:2:3938
-2089:2:3949
-2090:2:3954
-2091:2:3955
-2092:2:3966
-2093:2:3967
-2094:2:3968
-2095:2:3966
-2096:2:3967
-2097:2:3968
-2098:2:3979
-2099:2:3988
-2100:0:4863
-2101:2:3721
-2102:0:4863
-2103:2:3994
-2104:0:4863
-2105:2:4514
-2106:2:4515
-2107:2:4519
-2108:2:4523
-2109:2:4524
-2110:2:4528
-2111:2:4536
-2112:2:4537
-2113:2:4541
-2114:2:4545
-2115:2:4546
-2116:2:4541
-2117:2:4545
-2118:2:4546
-2119:2:4550
-2120:2:4557
-2121:2:4564
-2122:2:4565
-2123:2:4572
-2124:2:4577
-2125:2:4584
-2126:2:4585
-2127:2:4584
-2128:2:4585
-2129:2:4592
-2130:2:4596
-2131:0:4863
-2132:2:3996
-2133:2:4401
-2134:0:4863
-2135:2:3721
-2136:0:4863
-2137:1:632
-2138:1:633
-2139:1:637
-2140:1:638
-2141:1:646
-2142:1:647
-2143:1:651
-2144:1:652
-2145:1:660
-2146:1:665
-2147:1:669
-2148:1:670
-2149:1:678
-2150:1:679
-2151:1:683
-2152:1:684
-2153:1:678
-2154:1:679
-2155:1:683
-2156:1:684
-2157:1:692
-2158:1:697
-2159:1:698
-2160:1:709
-2161:1:710
-2162:1:711
-2163:1:722
-2164:1:727
-2165:1:728
-2166:1:739
-2167:1:740
-2168:1:741
-2169:1:739
-2170:1:747
-2171:1:748
-2172:1:752
-2173:0:4863
-2174:1:11
-2175:0:4863
-2176:2:3859
-2177:2:3860
-2178:2:3864
-2179:2:3865
-2180:2:3873
-2181:2:3874
-2182:2:3878
-2183:2:3879
-2184:2:3887
-2185:2:3892
-2186:2:3896
-2187:2:3897
-2188:2:3905
-2189:2:3906
-2190:2:3910
-2191:2:3911
-2192:2:3905
-2193:2:3906
-2194:2:3910
-2195:2:3911
-2196:2:3919
-2197:2:3924
-2198:2:3925
-2199:2:3936
-2200:2:3937
-2201:2:3938
-2202:2:3949
-2203:2:3954
-2204:2:3955
-2205:2:3966
-2206:2:3967
-2207:2:3968
-2208:2:3966
-2209:2:3967
-2210:2:3968
-2211:2:3979
-2212:2:3988
-2213:0:4863
-2214:2:3721
-2215:0:4863
-2216:2:3994
-2217:0:4863
-2218:2:4514
-2219:2:4515
-2220:2:4519
-2221:2:4523
-2222:2:4524
-2223:2:4528
-2224:2:4536
-2225:2:4537
-2226:2:4541
-2227:2:4545
-2228:2:4546
-2229:2:4541
-2230:2:4545
-2231:2:4546
-2232:2:4550
-2233:2:4557
-2234:2:4564
-2235:2:4565
-2236:2:4572
-2237:2:4577
-2238:2:4584
-2239:2:4585
-2240:2:4584
-2241:2:4585
-2242:2:4592
-2243:2:4596
-2244:0:4863
-2245:2:3996
-2246:2:4401
-2247:0:4863
-2248:1:761
-2249:1:764
-2250:1:765
-2251:0:4863
-2252:2:3721
-2253:0:4863
-2254:1:11
-2255:0:4863
-2256:2:3859
-2257:2:3860
-2258:2:3864
-2259:2:3865
-2260:2:3873
-2261:2:3874
-2262:2:3878
-2263:2:3879
-2264:2:3887
-2265:2:3892
-2266:2:3896
-2267:2:3897
-2268:2:3905
-2269:2:3906
-2270:2:3910
-2271:2:3911
-2272:2:3905
-2273:2:3906
-2274:2:3910
-2275:2:3911
-2276:2:3919
-2277:2:3924
-2278:2:3925
-2279:2:3936
-2280:2:3937
-2281:2:3938
-2282:2:3949
-2283:2:3954
-2284:2:3955
-2285:2:3966
-2286:2:3967
-2287:2:3968
-2288:2:3966
-2289:2:3967
-2290:2:3968
-2291:2:3979
-2292:2:3988
-2293:0:4863
-2294:2:3721
-2295:0:4863
-2296:2:3994
-2297:0:4863
-2298:2:4514
-2299:2:4515
-2300:2:4519
-2301:2:4523
-2302:2:4524
-2303:2:4528
-2304:2:4536
-2305:2:4537
-2306:2:4541
-2307:2:4545
-2308:2:4546
-2309:2:4541
-2310:2:4545
-2311:2:4546
-2312:2:4550
-2313:2:4557
-2314:2:4564
-2315:2:4565
-2316:2:4572
-2317:2:4577
-2318:2:4584
-2319:2:4585
-2320:2:4584
-2321:2:4585
-2322:2:4592
-2323:2:4596
-2324:0:4863
-2325:2:3996
-2326:2:4401
-2327:0:4863
-2328:1:1028
-2329:1:1029
-2330:1:1033
-2331:1:1034
-2332:1:1042
-2333:1:1043
-2334:1:1047
-2335:1:1048
-2336:1:1056
-2337:1:1061
-2338:1:1065
-2339:1:1066
-2340:1:1074
-2341:1:1075
-2342:1:1079
-2343:1:1080
-2344:1:1074
-2345:1:1075
-2346:1:1079
-2347:1:1080
-2348:1:1088
-2349:1:1093
-2350:1:1094
-2351:1:1105
-2352:1:1106
-2353:1:1107
-2354:1:1118
-2355:1:1123
-2356:1:1124
-2357:1:1135
-2358:1:1136
-2359:1:1137
-2360:1:1135
-2361:1:1143
-2362:1:1144
-2363:1:1148
-2364:1:1155
-2365:1:1159
-2366:0:4863
-2367:2:3721
-2368:0:4863
-2369:1:11
-2370:0:4863
-2371:2:3859
-2372:2:3860
-2373:2:3864
-2374:2:3865
-2375:2:3873
-2376:2:3874
-2377:2:3878
-2378:2:3879
-2379:2:3887
-2380:2:3892
-2381:2:3896
-2382:2:3897
-2383:2:3905
-2384:2:3906
-2385:2:3910
-2386:2:3911
-2387:2:3905
-2388:2:3906
-2389:2:3910
-2390:2:3911
-2391:2:3919
-2392:2:3924
-2393:2:3925
-2394:2:3936
-2395:2:3937
-2396:2:3938
-2397:2:3949
-2398:2:3954
-2399:2:3955
-2400:2:3966
-2401:2:3967
-2402:2:3968
-2403:2:3966
-2404:2:3967
-2405:2:3968
-2406:2:3979
-2407:2:3988
-2408:0:4863
-2409:2:3721
-2410:0:4863
-2411:2:3994
-2412:0:4863
-2413:2:4514
-2414:2:4515
-2415:2:4519
-2416:2:4523
-2417:2:4524
-2418:2:4528
-2419:2:4536
-2420:2:4537
-2421:2:4541
-2422:2:4545
-2423:2:4546
-2424:2:4541
-2425:2:4545
-2426:2:4546
-2427:2:4550
-2428:2:4557
-2429:2:4564
-2430:2:4565
-2431:2:4572
-2432:2:4577
-2433:2:4584
-2434:2:4585
-2435:2:4584
-2436:2:4585
-2437:2:4592
-2438:2:4596
-2439:0:4863
-2440:2:3996
-2441:2:4401
-2442:0:4863
-2443:1:1160
-2444:1:1161
-2445:1:1165
-2446:1:1166
-2447:1:1174
-2448:1:1175
-2449:1:1176
-2450:1:1188
-2451:1:1193
-2452:1:1197
-2453:1:1198
-2454:1:1206
-2455:1:1207
-2456:1:1211
-2457:1:1212
-2458:1:1206
-2459:1:1207
-2460:1:1211
-2461:1:1212
-2462:1:1220
-2463:1:1225
-2464:1:1226
-2465:1:1237
-2466:1:1238
-2467:1:1239
-2468:1:1250
-2469:1:1255
-2470:1:1256
-2471:1:1267
-2472:1:1268
-2473:1:1269
-2474:1:1267
-2475:1:1275
-2476:1:1276
-2477:1:1280
-2478:0:4863
-2479:2:3721
-2480:0:4863
-2481:1:11
-2482:0:4863
-2483:2:3859
-2484:2:3860
-2485:2:3864
-2486:2:3865
-2487:2:3873
-2488:2:3874
-2489:2:3878
-2490:2:3879
-2491:2:3887
-2492:2:3892
-2493:2:3896
-2494:2:3897
-2495:2:3905
-2496:2:3906
-2497:2:3910
-2498:2:3911
-2499:2:3905
-2500:2:3906
-2501:2:3910
-2502:2:3911
-2503:2:3919
-2504:2:3924
-2505:2:3925
-2506:2:3936
-2507:2:3937
-2508:2:3938
-2509:2:3949
-2510:2:3954
-2511:2:3955
-2512:2:3966
-2513:2:3967
-2514:2:3968
-2515:2:3966
-2516:2:3967
-2517:2:3968
-2518:2:3979
-2519:2:3988
-2520:0:4863
-2521:2:3721
-2522:0:4863
-2523:2:3994
-2524:0:4863
-2525:2:4514
-2526:2:4515
-2527:2:4519
-2528:2:4523
-2529:2:4524
-2530:2:4528
-2531:2:4536
-2532:2:4537
-2533:2:4541
-2534:2:4545
-2535:2:4546
-2536:2:4541
-2537:2:4545
-2538:2:4546
-2539:2:4550
-2540:2:4557
-2541:2:4564
-2542:2:4565
-2543:2:4572
-2544:2:4577
-2545:2:4584
-2546:2:4585
-2547:2:4584
-2548:2:4585
-2549:2:4592
-2550:2:4596
-2551:0:4863
-2552:2:3996
-2553:2:4401
-2554:0:4863
-2555:2:3721
-2556:0:4863
-2557:1:1289
-2558:1:1290
-2559:1:1294
-2560:1:1295
-2561:1:1303
-2562:1:1304
-2563:1:1308
-2564:1:1309
-2565:1:1317
-2566:1:1322
-2567:1:1326
-2568:1:1327
-2569:1:1335
-2570:1:1336
-2571:1:1340
-2572:1:1341
-2573:1:1335
-2574:1:1336
-2575:1:1340
-2576:1:1341
-2577:1:1349
-2578:1:1354
-2579:1:1355
-2580:1:1366
-2581:1:1367
-2582:1:1368
-2583:1:1379
-2584:1:1384
-2585:1:1385
-2586:1:1396
-2587:1:1397
-2588:1:1398
-2589:1:1396
-2590:1:1404
-2591:1:1405
-2592:1:1409
-2593:0:4861
-2594:1:11
-2595:0:4867
-2596:0:4863