projects / urcu.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
userspace-rcu formal model removal
[urcu.git] / formal-model / urcu-controldataflow-intel-no-ipi / urcu_progress_writer_error.spin.input.trail
diff --git a/formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail b/formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail
deleted file mode 100644 (file)
index e5fdf5a..0000000
--- a/formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail
+++ /dev/null
@@ -1,5000 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4025
-2:3:3945
-3:3:3948
-4:3:3948
-5:3:3951
-6:3:3959
-7:3:3959
-8:3:3962
-9:3:3968
-10:3:3972
-11:3:3972
-12:3:3975
-13:3:3985
-14:3:3993
-15:3:3993
-16:3:3996
-17:3:4002
-18:3:4006
-19:3:4006
-20:3:4009
-21:3:4015
-22:3:4019
-23:3:4020
-24:0:4025
-25:3:4022
-26:0:4025
-27:2:2757
-28:0:4025
-29:2:2763
-30:0:4025
-31:2:2764
-32:0:4025
-33:2:2765
-34:0:4023
-35:2:2766
-36:0:4029
-37:2:2767
-38:0:4029
-39:2:2768
-40:2:2769
-41:2:2773
-42:2:2774
-43:2:2782
-44:2:2783
-45:2:2787
-46:2:2788
-47:2:2796
-48:2:2801
-49:2:2805
-50:2:2806
-51:2:2814
-52:2:2815
-53:2:2819
-54:2:2820
-55:2:2814
-56:2:2815
-57:2:2819
-58:2:2820
-59:2:2828
-60:2:2833
-61:2:2840
-62:2:2841
-63:2:2848
-64:2:2853
-65:2:2860
-66:2:2861
-67:2:2860
-68:2:2861
-69:2:2868
-70:2:2878
-71:0:4029
-72:2:2767
-73:0:4029
-74:2:2882
-75:2:2886
-76:2:2887
-77:2:2891
-78:2:2895
-79:2:2896
-80:2:2900
-81:2:2908
-82:2:2909
-83:2:2913
-84:2:2917
-85:2:2918
-86:2:2913
-87:2:2914
-88:2:2922
-89:0:4029
-90:2:2767
-91:0:4029
-92:2:2930
-93:2:2931
-94:2:2932
-95:0:4029
-96:2:2767
-97:0:4029
-98:2:2937
-99:0:4029
-100:2:3764
-101:2:3765
-102:2:3769
-103:2:3773
-104:2:3774
-105:2:3778
-106:2:3783
-107:2:3791
-108:2:3795
-109:2:3796
-110:2:3791
-111:2:3795
-112:2:3796
-113:2:3800
-114:2:3807
-115:2:3814
-116:2:3815
-117:2:3822
-118:2:3827
-119:2:3834
-120:2:3835
-121:2:3834
-122:2:3835
-123:2:3842
-124:2:3846
-125:0:4029
-126:2:2939
-127:2:3745
-128:0:4029
-129:2:2767
-130:0:4029
-131:2:2940
-132:0:4029
-133:2:2767
-134:0:4029
-135:2:2943
-136:2:2944
-137:2:2948
-138:2:2949
-139:2:2957
-140:2:2958
-141:2:2962
-142:2:2963
-143:2:2971
-144:2:2976
-145:2:2980
-146:2:2981
-147:2:2989
-148:2:2990
-149:2:2994
-150:2:2995
-151:2:2989
-152:2:2990
-153:2:2994
-154:2:2995
-155:2:3003
-156:2:3008
-157:2:3015
-158:2:3016
-159:2:3023
-160:2:3028
-161:2:3035
-162:2:3036
-163:2:3035
-164:2:3036
-165:2:3043
-166:2:3052
-167:0:4029
-168:2:2767
-169:0:4029
-170:2:3056
-171:2:3057
-172:2:3058
-173:2:3070
-174:2:3071
-175:2:3075
-176:2:3076
-177:2:3084
-178:2:3089
-179:2:3093
-180:2:3094
-181:2:3102
-182:2:3103
-183:2:3107
-184:2:3108
-185:2:3102
-186:2:3103
-187:2:3107
-188:2:3108
-189:2:3116
-190:2:3121
-191:2:3128
-192:2:3129
-193:2:3136
-194:2:3141
-195:2:3148
-196:2:3149
-197:2:3148
-198:2:3149
-199:2:3156
-200:2:3169
-201:2:3170
-202:0:4029
-203:2:2767
-204:0:4029
-205:2:3283
-206:2:3284
-207:2:3288
-208:2:3289
-209:2:3297
-210:2:3298
-211:2:3302
-212:2:3303
-213:2:3311
-214:2:3316
-215:2:3320
-216:2:3321
-217:2:3329
-218:2:3330
-219:2:3334
-220:2:3335
-221:2:3329
-222:2:3330
-223:2:3334
-224:2:3335
-225:2:3343
-226:2:3348
-227:2:3355
-228:2:3356
-229:2:3363
-230:2:3368
-231:2:3375
-232:2:3376
-233:2:3375
-234:2:3376
-235:2:3383
-236:0:4029
-237:2:2767
-238:0:4029
-239:2:3394
-240:2:3395
-241:2:3399
-242:2:3400
-243:2:3408
-244:2:3409
-245:2:3413
-246:2:3414
-247:2:3422
-248:2:3427
-249:2:3431
-250:2:3432
-251:2:3440
-252:2:3441
-253:2:3445
-254:2:3446
-255:2:3440
-256:2:3441
-257:2:3445
-258:2:3446
-259:2:3454
-260:2:3459
-261:2:3466
-262:2:3467
-263:2:3474
-264:2:3479
-265:2:3486
-266:2:3487
-267:2:3486
-268:2:3487
-269:2:3494
-270:2:3503
-271:0:4029
-272:2:2767
-273:0:4029
-274:1:2
-275:0:4029
-276:1:8
-277:0:4029
-278:1:9
-279:0:4029
-280:1:10
-281:0:4029
-282:1:11
-283:0:4029
-284:1:12
-285:1:13
-286:1:17
-287:1:18
-288:1:26
-289:1:27
-290:1:31
-291:1:32
-292:1:40
-293:1:45
-294:1:49
-295:1:50
-296:1:58
-297:1:59
-298:1:63
-299:1:64
-300:1:58
-301:1:59
-302:1:63
-303:1:64
-304:1:72
-305:1:77
-306:1:84
-307:1:85
-308:1:92
-309:1:97
-310:1:104
-311:1:105
-312:1:104
-313:1:105
-314:1:112
-315:0:4029
-316:1:11
-317:0:4029
-318:1:123
-319:1:124
-320:0:4029
-321:1:11
-322:0:4029
-323:1:130
-324:1:131
-325:1:135
-326:1:136
-327:1:144
-328:1:145
-329:1:149
-330:1:150
-331:1:158
-332:1:163
-333:1:167
-334:1:168
-335:1:176
-336:1:177
-337:1:181
-338:1:182
-339:1:176
-340:1:177
-341:1:181
-342:1:182
-343:1:190
-344:1:195
-345:1:202
-346:1:203
-347:1:210
-348:1:215
-349:1:222
-350:1:223
-351:1:222
-352:1:223
-353:1:230
-354:0:4029
-355:1:11
-356:0:4029
-357:1:241
-358:1:242
-359:1:246
-360:1:247
-361:1:255
-362:1:256
-363:1:260
-364:1:261
-365:1:269
-366:1:274
-367:1:278
-368:1:279
-369:1:287
-370:1:288
-371:1:292
-372:1:293
-373:1:287
-374:1:288
-375:1:292
-376:1:293
-377:1:301
-378:1:306
-379:1:313
-380:1:314
-381:1:321
-382:1:326
-383:1:333
-384:1:334
-385:1:333
-386:1:334
-387:1:341
-388:1:350
-389:0:4029
-390:1:11
-391:0:4029
-392:1:468
-393:1:472
-394:1:473
-395:1:477
-396:1:478
-397:1:486
-398:1:494
-399:1:495
-400:1:499
-401:1:503
-402:1:504
-403:1:499
-404:1:503
-405:1:504
-406:1:508
-407:1:515
-408:1:522
-409:1:523
-410:1:530
-411:1:535
-412:1:542
-413:1:543
-414:1:542
-415:1:543
-416:1:550
-417:0:4029
-418:1:11
-419:0:4029
-420:2:3507
-421:2:3516
-422:2:3517
-423:2:3521
-424:2:3522
-425:2:3526
-426:2:3527
-427:2:3535
-428:2:3540
-429:2:3544
-430:2:3545
-431:2:3553
-432:2:3554
-433:2:3558
-434:2:3559
-435:2:3553
-436:2:3554
-437:2:3558
-438:2:3559
-439:2:3567
-440:2:3574
-441:2:3575
-442:2:3579
-443:2:3580
-444:2:3587
-445:2:3592
-446:2:3599
-447:2:3600
-448:2:3599
-449:2:3600
-450:2:3607
-451:2:3617
-452:0:4029
-453:2:2767
-454:0:4029
-455:2:3623
-456:2:3632
-457:2:3633
-458:2:3637
-459:2:3638
-460:2:3642
-461:2:3643
-462:2:3651
-463:2:3656
-464:2:3660
-465:2:3661
-466:2:3669
-467:2:3670
-468:2:3674
-469:2:3675
-470:2:3669
-471:2:3670
-472:2:3674
-473:2:3675
-474:2:3683
-475:2:3690
-476:2:3691
-477:2:3695
-478:2:3696
-479:2:3703
-480:2:3708
-481:2:3715
-482:2:3716
-483:2:3715
-484:2:3716
-485:2:3723
-486:0:4029
-487:2:2767
-488:0:4029
-489:1:560
-490:1:561
-491:1:565
-492:1:566
-493:1:574
-494:1:575
-495:1:579
-496:1:580
-497:1:588
-498:1:593
-499:1:597
-500:1:598
-501:1:606
-502:1:607
-503:1:611
-504:1:612
-505:1:606
-506:1:607
-507:1:611
-508:1:612
-509:1:620
-510:1:625
-511:1:632
-512:1:633
-513:1:640
-514:1:645
-515:1:652
-516:1:653
-517:1:652
-518:1:653
-519:1:660
-520:0:4029
-521:1:11
-522:0:4029
-523:2:3507
-524:2:3516
-525:2:3517
-526:2:3521
-527:2:3522
-528:2:3526
-529:2:3527
-530:2:3535
-531:2:3540
-532:2:3544
-533:2:3545
-534:2:3553
-535:2:3554
-536:2:3558
-537:2:3559
-538:2:3553
-539:2:3554
-540:2:3558
-541:2:3559
-542:2:3567
-543:2:3574
-544:2:3575
-545:2:3579
-546:2:3580
-547:2:3587
-548:2:3592
-549:2:3599
-550:2:3600
-551:2:3599
-552:2:3600
-553:2:3607
-554:2:3617
-555:0:4029
-556:2:2767
-557:0:4029
-558:2:3623
-559:2:3632
-560:2:3633
-561:2:3637
-562:2:3638
-563:2:3642
-564:2:3643
-565:2:3651
-566:2:3656
-567:2:3660
-568:2:3661
-569:2:3669
-570:2:3670
-571:2:3674
-572:2:3675
-573:2:3669
-574:2:3670
-575:2:3674
-576:2:3675
-577:2:3683
-578:2:3690
-579:2:3691
-580:2:3695
-581:2:3696
-582:2:3703
-583:2:3708
-584:2:3715
-585:2:3716
-586:2:3715
-587:2:3716
-588:2:3723
-589:0:4029
-590:2:2767
-591:0:4029
-592:1:671
-593:1:674
-594:1:675
-595:0:4029
-596:1:11
-597:0:4029
-598:2:3507
-599:2:3516
-600:2:3517
-601:2:3521
-602:2:3522
-603:2:3526
-604:2:3527
-605:2:3535
-606:2:3540
-607:2:3544
-608:2:3545
-609:2:3553
-610:2:3554
-611:2:3558
-612:2:3559
-613:2:3553
-614:2:3554
-615:2:3558
-616:2:3559
-617:2:3567
-618:2:3574
-619:2:3575
-620:2:3579
-621:2:3580
-622:2:3587
-623:2:3592
-624:2:3599
-625:2:3600
-626:2:3599
-627:2:3600
-628:2:3607
-629:2:3617
-630:0:4029
-631:2:2767
-632:0:4029
-633:2:3623
-634:2:3632
-635:2:3633
-636:2:3637
-637:2:3638
-638:2:3642
-639:2:3643
-640:2:3651
-641:2:3656
-642:2:3660
-643:2:3661
-644:2:3669
-645:2:3670
-646:2:3674
-647:2:3675
-648:2:3669
-649:2:3670
-650:2:3674
-651:2:3675
-652:2:3683
-653:2:3690
-654:2:3691
-655:2:3695
-656:2:3696
-657:2:3703
-658:2:3708
-659:2:3715
-660:2:3716
-661:2:3715
-662:2:3716
-663:2:3723
-664:0:4029
-665:2:2767
-666:0:4029
-667:1:678
-668:1:679
-669:1:683
-670:1:684
-671:1:692
-672:1:693
-673:1:697
-674:1:698
-675:1:706
-676:1:711
-677:1:715
-678:1:716
-679:1:724
-680:1:725
-681:1:729
-682:1:730
-683:1:724
-684:1:725
-685:1:729
-686:1:730
-687:1:738
-688:1:743
-689:1:750
-690:1:751
-691:1:758
-692:1:763
-693:1:770
-694:1:771
-695:1:770
-696:1:771
-697:1:778
-698:0:4029
-699:1:11
-700:0:4029
-701:2:3507
-702:2:3516
-703:2:3517
-704:2:3521
-705:2:3522
-706:2:3526
-707:2:3527
-708:2:3535
-709:2:3540
-710:2:3544
-711:2:3545
-712:2:3553
-713:2:3554
-714:2:3558
-715:2:3559
-716:2:3553
-717:2:3554
-718:2:3558
-719:2:3559
-720:2:3567
-721:2:3574
-722:2:3575
-723:2:3579
-724:2:3580
-725:2:3587
-726:2:3592
-727:2:3599
-728:2:3600
-729:2:3599
-730:2:3600
-731:2:3607
-732:2:3617
-733:0:4029
-734:2:2767
-735:0:4029
-736:2:3623
-737:2:3632
-738:2:3633
-739:2:3637
-740:2:3638
-741:2:3642
-742:2:3643
-743:2:3651
-744:2:3656
-745:2:3660
-746:2:3661
-747:2:3669
-748:2:3670
-749:2:3674
-750:2:3675
-751:2:3669
-752:2:3670
-753:2:3674
-754:2:3675
-755:2:3683
-756:2:3690
-757:2:3691
-758:2:3695
-759:2:3696
-760:2:3703
-761:2:3708
-762:2:3715
-763:2:3716
-764:2:3715
-765:2:3716
-766:2:3723
-767:0:4029
-768:2:2767
-769:0:4029
-770:1:902
-771:1:903
-772:1:907
-773:1:908
-774:1:916
-775:1:917
-776:1:921
-777:1:922
-778:1:930
-779:1:935
-780:1:939
-781:1:940
-782:1:948
-783:1:949
-784:1:953
-785:1:954
-786:1:948
-787:1:949
-788:1:953
-789:1:954
-790:1:962
-791:1:967
-792:1:974
-793:1:975
-794:1:982
-795:1:987
-796:1:994
-797:1:995
-798:1:994
-799:1:995
-800:1:1002
-801:1:1011
-802:1:1015
-803:0:4029
-804:1:11
-805:0:4029
-806:2:3507
-807:2:3516
-808:2:3517
-809:2:3521
-810:2:3522
-811:2:3526
-812:2:3527
-813:2:3535
-814:2:3540
-815:2:3544
-816:2:3545
-817:2:3553
-818:2:3554
-819:2:3558
-820:2:3559
-821:2:3553
-822:2:3554
-823:2:3558
-824:2:3559
-825:2:3567
-826:2:3574
-827:2:3575
-828:2:3579
-829:2:3580
-830:2:3587
-831:2:3592
-832:2:3599
-833:2:3600
-834:2:3599
-835:2:3600
-836:2:3607
-837:2:3617
-838:0:4029
-839:2:2767
-840:0:4029
-841:2:3623
-842:2:3632
-843:2:3633
-844:2:3637
-845:2:3638
-846:2:3642
-847:2:3643
-848:2:3651
-849:2:3656
-850:2:3660
-851:2:3661
-852:2:3669
-853:2:3670
-854:2:3674
-855:2:3675
-856:2:3669
-857:2:3670
-858:2:3674
-859:2:3675
-860:2:3683
-861:2:3690
-862:2:3691
-863:2:3695
-864:2:3696
-865:2:3703
-866:2:3708
-867:2:3715
-868:2:3716
-869:2:3715
-870:2:3716
-871:2:3723
-872:0:4029
-873:2:2767
-874:0:4029
-875:1:1016
-876:1:1017
-877:1:1021
-878:1:1022
-879:1:1030
-880:1:1031
-881:1:1032
-882:1:1044
-883:1:1049
-884:1:1053
-885:1:1054
-886:1:1062
-887:1:1063
-888:1:1067
-889:1:1068
-890:1:1062
-891:1:1063
-892:1:1067
-893:1:1068
-894:1:1076
-895:1:1081
-896:1:1088
-897:1:1089
-898:1:1096
-899:1:1101
-900:1:1108
-901:1:1109
-902:1:1108
-903:1:1109
-904:1:1116
-905:0:4029
-906:1:11
-907:0:4029
-908:2:3507
-909:2:3516
-910:2:3517
-911:2:3521
-912:2:3522
-913:2:3526
-914:2:3527
-915:2:3535
-916:2:3540
-917:2:3544
-918:2:3545
-919:2:3553
-920:2:3554
-921:2:3558
-922:2:3559
-923:2:3553
-924:2:3554
-925:2:3558
-926:2:3559
-927:2:3567
-928:2:3574
-929:2:3575
-930:2:3579
-931:2:3580
-932:2:3587
-933:2:3592
-934:2:3599
-935:2:3600
-936:2:3599
-937:2:3600
-938:2:3607
-939:2:3617
-940:0:4029
-941:2:2767
-942:0:4029
-943:2:3623
-944:2:3632
-945:2:3633
-946:2:3637
-947:2:3638
-948:2:3642
-949:2:3643
-950:2:3651
-951:2:3656
-952:2:3660
-953:2:3661
-954:2:3669
-955:2:3670
-956:2:3674
-957:2:3675
-958:2:3669
-959:2:3670
-960:2:3674
-961:2:3675
-962:2:3683
-963:2:3690
-964:2:3691
-965:2:3695
-966:2:3696
-967:2:3703
-968:2:3708
-969:2:3715
-970:2:3716
-971:2:3715
-972:2:3716
-973:2:3723
-974:0:4029
-975:2:2767
-976:0:4029
-977:1:1127
-978:0:4029
-979:2:3507
-980:2:3516
-981:2:3517
-982:2:3521
-983:2:3522
-984:2:3526
-985:2:3527
-986:2:3535
-987:2:3540
-988:2:3544
-989:2:3545
-990:2:3553
-991:2:3554
-992:2:3558
-993:2:3559
-994:2:3553
-995:2:3554
-996:2:3558
-997:2:3559
-998:2:3567
-999:2:3574
-1000:2:3575
-1001:2:3579
-1002:2:3580
-1003:2:3587
-1004:2:3592
-1005:2:3599
-1006:2:3600
-1007:2:3599
-1008:2:3600
-1009:2:3607
-1010:2:3617
-1011:0:4029
-1012:2:2767
-1013:0:4029
-1014:2:3623
-1015:2:3632
-1016:2:3633
-1017:2:3637
-1018:2:3638
-1019:2:3642
-1020:2:3643
-1021:2:3651
-1022:2:3656
-1023:2:3660
-1024:2:3661
-1025:2:3669
-1026:2:3670
-1027:2:3674
-1028:2:3675
-1029:2:3669
-1030:2:3670
-1031:2:3674
-1032:2:3675
-1033:2:3683
-1034:2:3690
-1035:2:3691
-1036:2:3695
-1037:2:3696
-1038:2:3703
-1039:2:3708
-1040:2:3715
-1041:2:3716
-1042:2:3715
-1043:2:3716
-1044:2:3723
-1045:0:4029
-1046:2:2767
-1047:0:4029
-1048:1:2663
-1049:1:2670
-1050:1:2671
-1051:1:2678
-1052:1:2683
-1053:1:2690
-1054:1:2691
-1055:1:2690
-1056:1:2691
-1057:1:2698
-1058:1:2702
-1059:0:4029
-1060:2:3507
-1061:2:3516
-1062:2:3517
-1063:2:3521
-1064:2:3522
-1065:2:3526
-1066:2:3527
-1067:2:3535
-1068:2:3540
-1069:2:3544
-1070:2:3545
-1071:2:3553
-1072:2:3554
-1073:2:3558
-1074:2:3559
-1075:2:3553
-1076:2:3554
-1077:2:3558
-1078:2:3559
-1079:2:3567
-1080:2:3574
-1081:2:3575
-1082:2:3579
-1083:2:3580
-1084:2:3587
-1085:2:3592
-1086:2:3599
-1087:2:3600
-1088:2:3599
-1089:2:3600
-1090:2:3607
-1091:2:3617
-1092:0:4029
-1093:2:2767
-1094:0:4029
-1095:2:3623
-1096:2:3632
-1097:2:3633
-1098:2:3637
-1099:2:3638
-1100:2:3642
-1101:2:3643
-1102:2:3651
-1103:2:3656
-1104:2:3660
-1105:2:3661
-1106:2:3669
-1107:2:3670
-1108:2:3674
-1109:2:3675
-1110:2:3669
-1111:2:3670
-1112:2:3674
-1113:2:3675
-1114:2:3683
-1115:2:3690
-1116:2:3691
-1117:2:3695
-1118:2:3696
-1119:2:3703
-1120:2:3708
-1121:2:3715
-1122:2:3716
-1123:2:3715
-1124:2:3716
-1125:2:3723
-1126:0:4029
-1127:2:2767
-1128:0:4029
-1129:1:1129
-1130:1:1130
-1131:0:4029
-1132:1:11
-1133:0:4029
-1134:2:3507
-1135:2:3516
-1136:2:3517
-1137:2:3521
-1138:2:3522
-1139:2:3526
-1140:2:3527
-1141:2:3535
-1142:2:3540
-1143:2:3544
-1144:2:3545
-1145:2:3553
-1146:2:3554
-1147:2:3558
-1148:2:3559
-1149:2:3553
-1150:2:3554
-1151:2:3558
-1152:2:3559
-1153:2:3567
-1154:2:3574
-1155:2:3575
-1156:2:3579
-1157:2:3580
-1158:2:3587
-1159:2:3592
-1160:2:3599
-1161:2:3600
-1162:2:3599
-1163:2:3600
-1164:2:3607
-1165:2:3617
-1166:0:4029
-1167:2:2767
-1168:0:4029
-1169:2:3623
-1170:2:3632
-1171:2:3633
-1172:2:3637
-1173:2:3638
-1174:2:3642
-1175:2:3643
-1176:2:3651
-1177:2:3656
-1178:2:3660
-1179:2:3661
-1180:2:3669
-1181:2:3670
-1182:2:3674
-1183:2:3675
-1184:2:3669
-1185:2:3670
-1186:2:3674
-1187:2:3675
-1188:2:3683
-1189:2:3690
-1190:2:3691
-1191:2:3695
-1192:2:3696
-1193:2:3703
-1194:2:3708
-1195:2:3715
-1196:2:3716
-1197:2:3715
-1198:2:3716
-1199:2:3723
-1200:0:4029
-1201:2:2767
-1202:0:4029
-1203:1:1131
-1204:1:1132
-1205:1:1136
-1206:1:1137
-1207:1:1145
-1208:1:1146
-1209:1:1150
-1210:1:1151
-1211:1:1159
-1212:1:1164
-1213:1:1168
-1214:1:1169
-1215:1:1177
-1216:1:1178
-1217:1:1182
-1218:1:1183
-1219:1:1177
-1220:1:1178
-1221:1:1182
-1222:1:1183
-1223:1:1191
-1224:1:1196
-1225:1:1203
-1226:1:1204
-1227:1:1211
-1228:1:1216
-1229:1:1223
-1230:1:1224
-1231:1:1223
-1232:1:1224
-1233:1:1231
-1234:0:4029
-1235:1:11
-1236:0:4029
-1237:2:3507
-1238:2:3516
-1239:2:3517
-1240:2:3521
-1241:2:3522
-1242:2:3526
-1243:2:3527
-1244:2:3535
-1245:2:3540
-1246:2:3544
-1247:2:3545
-1248:2:3553
-1249:2:3554
-1250:2:3558
-1251:2:3559
-1252:2:3553
-1253:2:3554
-1254:2:3558
-1255:2:3559
-1256:2:3567
-1257:2:3574
-1258:2:3575
-1259:2:3579
-1260:2:3580
-1261:2:3587
-1262:2:3592
-1263:2:3599
-1264:2:3600
-1265:2:3599
-1266:2:3600
-1267:2:3607
-1268:2:3617
-1269:0:4029
-1270:2:2767
-1271:0:4029
-1272:2:3623
-1273:2:3632
-1274:2:3633
-1275:2:3637
-1276:2:3638
-1277:2:3642
-1278:2:3643
-1279:2:3651
-1280:2:3656
-1281:2:3660
-1282:2:3661
-1283:2:3669
-1284:2:3670
-1285:2:3674
-1286:2:3675
-1287:2:3669
-1288:2:3670
-1289:2:3674
-1290:2:3675
-1291:2:3683
-1292:2:3690
-1293:2:3691
-1294:2:3695
-1295:2:3696
-1296:2:3703
-1297:2:3708
-1298:2:3715
-1299:2:3716
-1300:2:3715
-1301:2:3716
-1302:2:3723
-1303:0:4029
-1304:2:2767
-1305:0:4029
-1306:1:1242
-1307:1:1243
-1308:1:1247
-1309:1:1248
-1310:1:1256
-1311:1:1257
-1312:1:1261
-1313:1:1262
-1314:1:1270
-1315:1:1275
-1316:1:1279
-1317:1:1280
-1318:1:1288
-1319:1:1289
-1320:1:1293
-1321:1:1294
-1322:1:1288
-1323:1:1289
-1324:1:1293
-1325:1:1294
-1326:1:1302
-1327:1:1307
-1328:1:1314
-1329:1:1315
-1330:1:1322
-1331:1:1327
-1332:1:1334
-1333:1:1335
-1334:1:1334
-1335:1:1335
-1336:1:1342
-1337:1:1351
-1338:1:1355
-1339:0:4029
-1340:1:11
-1341:0:4029
-1342:2:3507
-1343:2:3516
-1344:2:3517
-1345:2:3521
-1346:2:3522
-1347:2:3526
-1348:2:3527
-1349:2:3535
-1350:2:3540
-1351:2:3544
-1352:2:3545
-1353:2:3553
-1354:2:3554
-1355:2:3558
-1356:2:3559
-1357:2:3553
-1358:2:3554
-1359:2:3558
-1360:2:3559
-1361:2:3567
-1362:2:3574
-1363:2:3575
-1364:2:3579
-1365:2:3580
-1366:2:3587
-1367:2:3592
-1368:2:3599
-1369:2:3600
-1370:2:3599
-1371:2:3600
-1372:2:3607
-1373:2:3617
-1374:0:4029
-1375:2:2767
-1376:0:4029
-1377:2:3623
-1378:2:3632
-1379:2:3633
-1380:2:3637
-1381:2:3638
-1382:2:3642
-1383:2:3643
-1384:2:3651
-1385:2:3656
-1386:2:3660
-1387:2:3661
-1388:2:3669
-1389:2:3670
-1390:2:3674
-1391:2:3675
-1392:2:3669
-1393:2:3670
-1394:2:3674
-1395:2:3675
-1396:2:3683
-1397:2:3690
-1398:2:3691
-1399:2:3695
-1400:2:3696
-1401:2:3703
-1402:2:3708
-1403:2:3715
-1404:2:3716
-1405:2:3715
-1406:2:3716
-1407:2:3723
-1408:0:4029
-1409:2:2767
-1410:0:4029
-1411:1:1356
-1412:1:1360
-1413:1:1361
-1414:1:1365
-1415:1:1366
-1416:1:1374
-1417:1:1382
-1418:1:1383
-1419:1:1387
-1420:1:1391
-1421:1:1392
-1422:1:1387
-1423:1:1391
-1424:1:1392
-1425:1:1396
-1426:1:1403
-1427:1:1410
-1428:1:1411
-1429:1:1418
-1430:1:1423
-1431:1:1430
-1432:1:1431
-1433:1:1430
-1434:1:1431
-1435:1:1438
-1436:0:4029
-1437:1:11
-1438:0:4029
-1439:2:3507
-1440:2:3516
-1441:2:3517
-1442:2:3521
-1443:2:3522
-1444:2:3526
-1445:2:3527
-1446:2:3535
-1447:2:3540
-1448:2:3544
-1449:2:3545
-1450:2:3553
-1451:2:3554
-1452:2:3558
-1453:2:3559
-1454:2:3553
-1455:2:3554
-1456:2:3558
-1457:2:3559
-1458:2:3567
-1459:2:3574
-1460:2:3575
-1461:2:3579
-1462:2:3580
-1463:2:3587
-1464:2:3592
-1465:2:3599
-1466:2:3600
-1467:2:3599
-1468:2:3600
-1469:2:3607
-1470:2:3617
-1471:0:4029
-1472:2:2767
-1473:0:4029
-1474:2:3623
-1475:2:3632
-1476:2:3633
-1477:2:3637
-1478:2:3638
-1479:2:3642
-1480:2:3643
-1481:2:3651
-1482:2:3656
-1483:2:3660
-1484:2:3661
-1485:2:3669
-1486:2:3670
-1487:2:3674
-1488:2:3675
-1489:2:3669
-1490:2:3670
-1491:2:3674
-1492:2:3675
-1493:2:3683
-1494:2:3690
-1495:2:3691
-1496:2:3695
-1497:2:3696
-1498:2:3703
-1499:2:3708
-1500:2:3715
-1501:2:3716
-1502:2:3715
-1503:2:3716
-1504:2:3723
-1505:0:4029
-1506:2:2767
-1507:0:4029
-1508:1:1448
-1509:1:1449
-1510:1:1453
-1511:1:1454
-1512:1:1462
-1513:1:1463
-1514:1:1467
-1515:1:1468
-1516:1:1476
-1517:1:1481
-1518:1:1485
-1519:1:1486
-1520:1:1494
-1521:1:1495
-1522:1:1499
-1523:1:1500
-1524:1:1494
-1525:1:1495
-1526:1:1499
-1527:1:1500
-1528:1:1508
-1529:1:1513
-1530:1:1520
-1531:1:1521
-1532:1:1528
-1533:1:1533
-1534:1:1540
-1535:1:1541
-1536:1:1540
-1537:1:1541
-1538:1:1548
-1539:0:4029
-1540:1:11
-1541:0:4029
-1542:2:3507
-1543:2:3516
-1544:2:3517
-1545:2:3521
-1546:2:3522
-1547:2:3526
-1548:2:3527
-1549:2:3535
-1550:2:3540
-1551:2:3544
-1552:2:3545
-1553:2:3553
-1554:2:3554
-1555:2:3558
-1556:2:3559
-1557:2:3553
-1558:2:3554
-1559:2:3558
-1560:2:3559
-1561:2:3567
-1562:2:3574
-1563:2:3575
-1564:2:3579
-1565:2:3580
-1566:2:3587
-1567:2:3592
-1568:2:3599
-1569:2:3600
-1570:2:3599
-1571:2:3600
-1572:2:3607
-1573:2:3617
-1574:0:4029
-1575:2:2767
-1576:0:4029
-1577:2:3623
-1578:2:3632
-1579:2:3633
-1580:2:3637
-1581:2:3638
-1582:2:3642
-1583:2:3643
-1584:2:3651
-1585:2:3656
-1586:2:3660
-1587:2:3661
-1588:2:3669
-1589:2:3670
-1590:2:3674
-1591:2:3675
-1592:2:3669
-1593:2:3670
-1594:2:3674
-1595:2:3675
-1596:2:3683
-1597:2:3690
-1598:2:3691
-1599:2:3695
-1600:2:3696
-1601:2:3703
-1602:2:3708
-1603:2:3715
-1604:2:3716
-1605:2:3715
-1606:2:3716
-1607:2:3723
-1608:0:4029
-1609:2:2767
-1610:0:4029
-1611:1:1559
-1612:1:1560
-1613:1:1564
-1614:1:1565
-1615:1:1573
-1616:1:1574
-1617:1:1578
-1618:1:1579
-1619:1:1587
-1620:1:1592
-1621:1:1596
-1622:1:1597
-1623:1:1605
-1624:1:1606
-1625:1:1610
-1626:1:1611
-1627:1:1605
-1628:1:1606
-1629:1:1610
-1630:1:1611
-1631:1:1619
-1632:1:1624
-1633:1:1631
-1634:1:1632
-1635:1:1639
-1636:1:1644
-1637:1:1651
-1638:1:1652
-1639:1:1651
-1640:1:1652
-1641:1:1659
-1642:1:1668
-1643:1:1672
-1644:0:4029
-1645:1:11
-1646:0:4029
-1647:2:3507
-1648:2:3516
-1649:2:3517
-1650:2:3521
-1651:2:3522
-1652:2:3526
-1653:2:3527
-1654:2:3535
-1655:2:3540
-1656:2:3544
-1657:2:3545
-1658:2:3553
-1659:2:3554
-1660:2:3558
-1661:2:3559
-1662:2:3553
-1663:2:3554
-1664:2:3558
-1665:2:3559
-1666:2:3567
-1667:2:3574
-1668:2:3575
-1669:2:3579
-1670:2:3580
-1671:2:3587
-1672:2:3592
-1673:2:3599
-1674:2:3600
-1675:2:3599
-1676:2:3600
-1677:2:3607
-1678:2:3617
-1679:0:4029
-1680:2:2767
-1681:0:4029
-1682:2:3623
-1683:2:3632
-1684:2:3633
-1685:2:3637
-1686:2:3638
-1687:2:3642
-1688:2:3643
-1689:2:3651
-1690:2:3656
-1691:2:3660
-1692:2:3661
-1693:2:3669
-1694:2:3670
-1695:2:3674
-1696:2:3675
-1697:2:3669
-1698:2:3670
-1699:2:3674
-1700:2:3675
-1701:2:3683
-1702:2:3690
-1703:2:3691
-1704:2:3695
-1705:2:3696
-1706:2:3703
-1707:2:3708
-1708:2:3715
-1709:2:3716
-1710:2:3715
-1711:2:3716
-1712:2:3723
-1713:0:4029
-1714:2:2767
-1715:0:4029
-1716:1:1673
-1717:1:1674
-1718:1:1678
-1719:1:1679
-1720:1:1687
-1721:1:1688
-1722:1:1689
-1723:1:1701
-1724:1:1706
-1725:1:1710
-1726:1:1711
-1727:1:1719
-1728:1:1720
-1729:1:1724
-1730:1:1725
-1731:1:1719
-1732:1:1720
-1733:1:1724
-1734:1:1725
-1735:1:1733
-1736:1:1738
-1737:1:1745
-1738:1:1746
-1739:1:1753
-1740:1:1758
-1741:1:1765
-1742:1:1766
-1743:1:1765
-1744:1:1766
-1745:1:1773
-1746:0:4029
-1747:1:11
-1748:0:4029
-1749:1:1784
-1750:1:1785
-1751:0:4029
-1752:1:11
-1753:0:4029
-1754:1:1791
-1755:1:1792
-1756:1:1796
-1757:1:1797
-1758:1:1805
-1759:1:1806
-1760:1:1810
-1761:1:1811
-1762:1:1819
-1763:1:1824
-1764:1:1828
-1765:1:1829
-1766:1:1837
-1767:1:1838
-1768:1:1842
-1769:1:1843
-1770:1:1837
-1771:1:1838
-1772:1:1842
-1773:1:1843
-1774:1:1851
-1775:1:1856
-1776:1:1863
-1777:1:1864
-1778:1:1871
-1779:1:1876
-1780:1:1883
-1781:1:1884
-1782:1:1883
-1783:1:1884
-1784:1:1891
-1785:0:4029
-1786:1:11
-1787:0:4029
-1788:1:1902
-1789:1:1903
-1790:1:1907
-1791:1:1908
-1792:1:1916
-1793:1:1917
-1794:1:1921
-1795:1:1922
-1796:1:1930
-1797:1:1935
-1798:1:1939
-1799:1:1940
-1800:1:1948
-1801:1:1949
-1802:1:1953
-1803:1:1954
-1804:1:1948
-1805:1:1949
-1806:1:1953
-1807:1:1954
-1808:1:1962
-1809:1:1967
-1810:1:1974
-1811:1:1975
-1812:1:1982
-1813:1:1987
-1814:1:1994
-1815:1:1995
-1816:1:1994
-1817:1:1995
-1818:1:2002
-1819:1:2011
-1820:0:4029
-1821:1:11
-1822:0:4029
-1823:1:2129
-1824:1:2133
-1825:1:2134
-1826:1:2138
-1827:1:2139
-1828:1:2147
-1829:1:2155
-1830:1:2156
-1831:1:2160
-1832:1:2164
-1833:1:2165
-1834:1:2160
-1835:1:2164
-1836:1:2165
-1837:1:2169
-1838:1:2176
-1839:1:2183
-1840:1:2184
-1841:1:2191
-1842:1:2196
-1843:1:2203
-1844:1:2204
-1845:1:2203
-1846:1:2204
-1847:1:2211
-1848:0:4029
-1849:1:11
-1850:0:4029
-1851:2:3507
-1852:2:3516
-1853:2:3517
-1854:2:3521
-1855:2:3522
-1856:2:3526
-1857:2:3527
-1858:2:3535
-1859:2:3540
-1860:2:3544
-1861:2:3545
-1862:2:3553
-1863:2:3554
-1864:2:3558
-1865:2:3559
-1866:2:3553
-1867:2:3554
-1868:2:3558
-1869:2:3559
-1870:2:3567
-1871:2:3574
-1872:2:3575
-1873:2:3579
-1874:2:3580
-1875:2:3587
-1876:2:3592
-1877:2:3599
-1878:2:3600
-1879:2:3599
-1880:2:3600
-1881:2:3607
-1882:2:3617
-1883:0:4029
-1884:2:2767
-1885:0:4029
-1886:2:3623
-1887:2:3632
-1888:2:3633
-1889:2:3637
-1890:2:3638
-1891:2:3642
-1892:2:3643
-1893:2:3651
-1894:2:3656
-1895:2:3660
-1896:2:3661
-1897:2:3669
-1898:2:3670
-1899:2:3674
-1900:2:3675
-1901:2:3669
-1902:2:3670
-1903:2:3674
-1904:2:3675
-1905:2:3683
-1906:2:3690
-1907:2:3691
-1908:2:3695
-1909:2:3696
-1910:2:3703
-1911:2:3708
-1912:2:3715
-1913:2:3716
-1914:2:3715
-1915:2:3716
-1916:2:3723
-1917:0:4029
-1918:2:2767
-1919:0:4029
-1920:1:2221
-1921:1:2222
-1922:1:2226
-1923:1:2227
-1924:1:2235
-1925:1:2236
-1926:1:2240
-1927:1:2241
-1928:1:2249
-1929:1:2254
-1930:1:2258
-1931:1:2259
-1932:1:2267
-1933:1:2268
-1934:1:2272
-1935:1:2273
-1936:1:2267
-1937:1:2268
-1938:1:2272
-1939:1:2273
-1940:1:2281
-1941:1:2286
-1942:1:2293
-1943:1:2294
-1944:1:2301
-1945:1:2306
-1946:1:2313
-1947:1:2314
-1948:1:2313
-1949:1:2314
-1950:1:2321
--1:-1:-1
-1951:0:4029
-1952:1:11
-1953:0:4029
-1954:2:3507
-1955:2:3516
-1956:2:3517
-1957:2:3521
-1958:2:3522
-1959:2:3526
-1960:2:3527
-1961:2:3535
-1962:2:3540
-1963:2:3544
-1964:2:3545
-1965:2:3553
-1966:2:3554
-1967:2:3558
-1968:2:3559
-1969:2:3553
-1970:2:3554
-1971:2:3558
-1972:2:3559
-1973:2:3567
-1974:2:3574
-1975:2:3575
-1976:2:3579
-1977:2:3580
-1978:2:3587
-1979:2:3592
-1980:2:3599
-1981:2:3600
-1982:2:3599
-1983:2:3600
-1984:2:3607
-1985:2:3617
-1986:0:4029
-1987:2:2767
-1988:0:4029
-1989:2:3623
-1990:2:3632
-1991:2:3633
-1992:2:3637
-1993:2:3638
-1994:2:3642
-1995:2:3643
-1996:2:3651
-1997:2:3656
-1998:2:3660
-1999:2:3661
-2000:2:3669
-2001:2:3670
-2002:2:3674
-2003:2:3675
-2004:2:3669
-2005:2:3670
-2006:2:3674
-2007:2:3675
-2008:2:3683
-2009:2:3690
-2010:2:3691
-2011:2:3695
-2012:2:3696
-2013:2:3703
-2014:2:3708
-2015:2:3715
-2016:2:3716
-2017:2:3715
-2018:2:3716
-2019:2:3723
-2020:0:4029
-2021:2:2767
-2022:0:4029
-2023:1:2332
-2024:0:4029
-2025:2:3507
-2026:2:3516
-2027:2:3517
-2028:2:3521
-2029:2:3522
-2030:2:3526
-2031:2:3527
-2032:2:3535
-2033:2:3540
-2034:2:3544
-2035:2:3545
-2036:2:3553
-2037:2:3554
-2038:2:3558
-2039:2:3559
-2040:2:3553
-2041:2:3554
-2042:2:3558
-2043:2:3559
-2044:2:3567
-2045:2:3574
-2046:2:3575
-2047:2:3579
-2048:2:3580
-2049:2:3587
-2050:2:3592
-2051:2:3599
-2052:2:3600
-2053:2:3599
-2054:2:3600
-2055:2:3607
-2056:2:3617
-2057:0:4029
-2058:2:2767
-2059:0:4029
-2060:2:3623
-2061:2:3632
-2062:2:3633
-2063:2:3637
-2064:2:3638
-2065:2:3642
-2066:2:3643
-2067:2:3651
-2068:2:3656
-2069:2:3660
-2070:2:3661
-2071:2:3669
-2072:2:3670
-2073:2:3674
-2074:2:3675
-2075:2:3669
-2076:2:3670
-2077:2:3674
-2078:2:3675
-2079:2:3683
-2080:2:3690
-2081:2:3691
-2082:2:3695
-2083:2:3696
-2084:2:3703
-2085:2:3708
-2086:2:3715
-2087:2:3716
-2088:2:3715
-2089:2:3716
-2090:2:3723
-2091:0:4029
-2092:2:2767
-2093:0:4029
-2094:1:2706
-2095:1:2713
-2096:1:2714
-2097:1:2721
-2098:1:2726
-2099:1:2733
-2100:1:2734
-2101:1:2733
-2102:1:2734
-2103:1:2741
-2104:1:2745
-2105:0:4029
-2106:2:3507
-2107:2:3516
-2108:2:3517
-2109:2:3521
-2110:2:3522
-2111:2:3526
-2112:2:3527
-2113:2:3535
-2114:2:3540
-2115:2:3544
-2116:2:3545
-2117:2:3553
-2118:2:3554
-2119:2:3558
-2120:2:3559
-2121:2:3553
-2122:2:3554
-2123:2:3558
-2124:2:3559
-2125:2:3567
-2126:2:3574
-2127:2:3575
-2128:2:3579
-2129:2:3580
-2130:2:3587
-2131:2:3592
-2132:2:3599
-2133:2:3600
-2134:2:3599
-2135:2:3600
-2136:2:3607
-2137:2:3617
-2138:0:4029
-2139:2:2767
-2140:0:4029
-2141:2:3623
-2142:2:3632
-2143:2:3633
-2144:2:3637
-2145:2:3638
-2146:2:3642
-2147:2:3643
-2148:2:3651
-2149:2:3656
-2150:2:3660
-2151:2:3661
-2152:2:3669
-2153:2:3670
-2154:2:3674
-2155:2:3675
-2156:2:3669
-2157:2:3670
-2158:2:3674
-2159:2:3675
-2160:2:3683
-2161:2:3690
-2162:2:3691
-2163:2:3695
-2164:2:3696
-2165:2:3703
-2166:2:3708
-2167:2:3715
-2168:2:3716
-2169:2:3715
-2170:2:3716
-2171:2:3723
-2172:0:4029
-2173:2:2767
-2174:0:4029
-2175:1:2334
-2176:1:2335
-2177:0:4029
-2178:1:11
-2179:0:4029
-2180:2:3507
-2181:2:3516
-2182:2:3517
-2183:2:3521
-2184:2:3522
-2185:2:3526
-2186:2:3527
-2187:2:3535
-2188:2:3540
-2189:2:3544
-2190:2:3545
-2191:2:3553
-2192:2:3554
-2193:2:3558
-2194:2:3559
-2195:2:3553
-2196:2:3554
-2197:2:3558
-2198:2:3559
-2199:2:3567
-2200:2:3574
-2201:2:3575
-2202:2:3579
-2203:2:3580
-2204:2:3587
-2205:2:3592
-2206:2:3599
-2207:2:3600
-2208:2:3599
-2209:2:3600
-2210:2:3607
-2211:2:3617
-2212:0:4029
-2213:2:2767
-2214:0:4029
-2215:2:3623
-2216:2:3632
-2217:2:3633
-2218:2:3637
-2219:2:3638
-2220:2:3642
-2221:2:3643
-2222:2:3651
-2223:2:3656
-2224:2:3660
-2225:2:3661
-2226:2:3669
-2227:2:3670
-2228:2:3674
-2229:2:3675
-2230:2:3669
-2231:2:3670
-2232:2:3674
-2233:2:3675
-2234:2:3683
-2235:2:3690
-2236:2:3691
-2237:2:3695
-2238:2:3696
-2239:2:3703
-2240:2:3708
-2241:2:3715
-2242:2:3716
-2243:2:3715
-2244:2:3716
-2245:2:3723
-2246:0:4029
-2247:2:2767
-2248:0:4029
-2249:1:2336
-2250:1:2340
-2251:1:2341
-2252:1:2345
-2253:1:2349
-2254:1:2350
-2255:1:2354
-2256:1:2362
-2257:1:2363
-2258:1:2367
-2259:1:2371
-2260:1:2372
-2261:1:2367
-2262:1:2371
-2263:1:2372
-2264:1:2376
-2265:1:2383
-2266:1:2390
-2267:1:2391
-2268:1:2398
-2269:1:2403
-2270:1:2410
-2271:1:2411
-2272:1:2410
-2273:1:2411
-2274:1:2418
-2275:0:4029
-2276:1:11
-2277:0:4029
-2278:2:3507
-2279:2:3516
-2280:2:3517
-2281:2:3521
-2282:2:3522
-2283:2:3526
-2284:2:3527
-2285:2:3535
-2286:2:3540
-2287:2:3544
-2288:2:3545
-2289:2:3553
-2290:2:3554
-2291:2:3558
-2292:2:3559
-2293:2:3553
-2294:2:3554
-2295:2:3558
-2296:2:3559
-2297:2:3567
-2298:2:3574
-2299:2:3575
-2300:2:3579
-2301:2:3580
-2302:2:3587
-2303:2:3592
-2304:2:3599
-2305:2:3600
-2306:2:3599
-2307:2:3600
-2308:2:3607
-2309:2:3617
-2310:0:4029
-2311:2:2767
-2312:0:4029
-2313:2:3623
-2314:2:3632
-2315:2:3633
-2316:2:3637
-2317:2:3638
-2318:2:3642
-2319:2:3643
-2320:2:3651
-2321:2:3656
-2322:2:3660
-2323:2:3661
-2324:2:3669
-2325:2:3670
-2326:2:3674
-2327:2:3675
-2328:2:3669
-2329:2:3670
-2330:2:3674
-2331:2:3675
-2332:2:3683
-2333:2:3690
-2334:2:3691
-2335:2:3695
-2336:2:3696
-2337:2:3703
-2338:2:3708
-2339:2:3715
-2340:2:3716
-2341:2:3715
-2342:2:3716
-2343:2:3723
-2344:0:4029
-2345:2:2767
-2346:0:4029
-2347:1:2428
-2348:1:2429
-2349:1:2433
-2350:1:2434
-2351:1:2442
-2352:1:2443
-2353:1:2447
-2354:1:2448
-2355:1:2456
-2356:1:2461
-2357:1:2465
-2358:1:2466
-2359:1:2474
-2360:1:2475
-2361:1:2479
-2362:1:2480
-2363:1:2474
-2364:1:2475
-2365:1:2479
-2366:1:2480
-2367:1:2488
-2368:1:2493
-2369:1:2500
-2370:1:2501
-2371:1:2508
-2372:1:2513
-2373:1:2520
-2374:1:2521
-2375:1:2520
-2376:1:2521
-2377:1:2528
-2378:0:4029
-2379:1:11
-2380:0:4029
-2381:2:3507
-2382:2:3516
-2383:2:3517
-2384:2:3521
-2385:2:3522
-2386:2:3526
-2387:2:3527
-2388:2:3535
-2389:2:3540
-2390:2:3544
-2391:2:3545
-2392:2:3553
-2393:2:3554
-2394:2:3558
-2395:2:3559
-2396:2:3553
-2397:2:3554
-2398:2:3558
-2399:2:3559
-2400:2:3567
-2401:2:3574
-2402:2:3575
-2403:2:3579
-2404:2:3580
-2405:2:3587
-2406:2:3592
-2407:2:3599
-2408:2:3600
-2409:2:3599
-2410:2:3600
-2411:2:3607
-2412:2:3617
-2413:0:4029
-2414:2:2767
-2415:0:4029
-2416:2:3623
-2417:2:3632
-2418:2:3633
-2419:2:3637
-2420:2:3638
-2421:2:3642
-2422:2:3643
-2423:2:3651
-2424:2:3656
-2425:2:3660
-2426:2:3661
-2427:2:3669
-2428:2:3670
-2429:2:3674
-2430:2:3675
-2431:2:3669
-2432:2:3670
-2433:2:3674
-2434:2:3675
-2435:2:3683
-2436:2:3690
-2437:2:3691
-2438:2:3695
-2439:2:3696
-2440:2:3703
-2441:2:3708
-2442:2:3715
-2443:2:3716
-2444:2:3715
-2445:2:3716
-2446:2:3723
-2447:0:4029
-2448:2:2767
-2449:0:4029
-2450:1:2539
-2451:1:2540
-2452:1:2544
-2453:1:2545
-2454:1:2553
-2455:1:2554
-2456:1:2558
-2457:1:2559
-2458:1:2567
-2459:1:2572
-2460:1:2576
-2461:1:2577
-2462:1:2585
-2463:1:2586
-2464:1:2590
-2465:1:2591
-2466:1:2585
-2467:1:2586
-2468:1:2590
-2469:1:2591
-2470:1:2599
-2471:1:2604
-2472:1:2611
-2473:1:2612
-2474:1:2619
-2475:1:2624
-2476:1:2631
-2477:1:2632
-2478:1:2631
-2479:1:2632
-2480:1:2639
-2481:1:2648
-2482:1:2652
-2483:0:4029
-2484:1:11
-2485:0:4029
-2486:2:3507
-2487:2:3516
-2488:2:3517
-2489:2:3521
-2490:2:3522
-2491:2:3526
-2492:2:3527
-2493:2:3535
-2494:2:3540
-2495:2:3544
-2496:2:3545
-2497:2:3553
-2498:2:3554
-2499:2:3558
-2500:2:3559
-2501:2:3553
-2502:2:3554
-2503:2:3558
-2504:2:3559
-2505:2:3567
-2506:2:3574
-2507:2:3575
-2508:2:3579
-2509:2:3580
-2510:2:3587
-2511:2:3592
-2512:2:3599
-2513:2:3600
-2514:2:3599
-2515:2:3600
-2516:2:3607
-2517:2:3617
-2518:0:4029
-2519:2:2767
-2520:0:4029
-2521:2:3623
-2522:2:3632
-2523:2:3633
-2524:2:3637
-2525:2:3638
-2526:2:3642
-2527:2:3643
-2528:2:3651
-2529:2:3656
-2530:2:3660
-2531:2:3661
-2532:2:3669
-2533:2:3670
-2534:2:3674
-2535:2:3675
-2536:2:3669
-2537:2:3670
-2538:2:3674
-2539:2:3675
-2540:2:3683
-2541:2:3690
-2542:2:3691
-2543:2:3695
-2544:2:3696
-2545:2:3703
-2546:2:3708
-2547:2:3715
-2548:2:3716
-2549:2:3715
-2550:2:3716
-2551:2:3723
-2552:0:4029
-2553:2:2767
-2554:0:4029
-2555:1:2653
-2556:0:4029
-2557:1:2661
-2558:0:4029
-2559:1:2749
-2560:0:4029
-2561:1:9
-2562:0:4029
-2563:2:3507
-2564:2:3516
-2565:2:3517
-2566:2:3521
-2567:2:3522
-2568:2:3526
-2569:2:3527
-2570:2:3535
-2571:2:3540
-2572:2:3544
-2573:2:3545
-2574:2:3553
-2575:2:3554
-2576:2:3558
-2577:2:3559
-2578:2:3553
-2579:2:3554
-2580:2:3558
-2581:2:3559
-2582:2:3567
-2583:2:3574
-2584:2:3575
-2585:2:3579
-2586:2:3580
-2587:2:3587
-2588:2:3592
-2589:2:3599
-2590:2:3600
-2591:2:3599
-2592:2:3600
-2593:2:3607
-2594:2:3617
-2595:0:4029
-2596:2:2767
-2597:0:4029
-2598:2:3623
-2599:2:3632
-2600:2:3633
-2601:2:3637
-2602:2:3638
-2603:2:3642
-2604:2:3643
-2605:2:3651
-2606:2:3656
-2607:2:3660
-2608:2:3661
-2609:2:3669
-2610:2:3670
-2611:2:3674
-2612:2:3675
-2613:2:3669
-2614:2:3670
-2615:2:3674
-2616:2:3675
-2617:2:3683
-2618:2:3690
-2619:2:3691
-2620:2:3695
-2621:2:3696
-2622:2:3703
-2623:2:3708
-2624:2:3715
-2625:2:3716
-2626:2:3715
-2627:2:3716
-2628:2:3723
-2629:0:4029
-2630:2:2767
-2631:0:4029
-2632:1:10
-2633:0:4029
-2634:1:11
-2635:0:4029
-2636:2:3507
-2637:2:3516
-2638:2:3517
-2639:2:3521
-2640:2:3522
-2641:2:3526
-2642:2:3527
-2643:2:3535
-2644:2:3540
-2645:2:3544
-2646:2:3545
-2647:2:3553
-2648:2:3554
-2649:2:3558
-2650:2:3559
-2651:2:3553
-2652:2:3554
-2653:2:3558
-2654:2:3559
-2655:2:3567
-2656:2:3574
-2657:2:3575
-2658:2:3579
-2659:2:3580
-2660:2:3587
-2661:2:3592
-2662:2:3599
-2663:2:3600
-2664:2:3599
-2665:2:3600
-2666:2:3607
-2667:2:3617
-2668:0:4029
-2669:2:2767
-2670:0:4029
-2671:2:3623
-2672:2:3632
-2673:2:3633
-2674:2:3637
-2675:2:3638
-2676:2:3642
-2677:2:3643
-2678:2:3651
-2679:2:3656
-2680:2:3660
-2681:2:3661
-2682:2:3669
-2683:2:3670
-2684:2:3674
-2685:2:3675
-2686:2:3669
-2687:2:3670
-2688:2:3674
-2689:2:3675
-2690:2:3683
-2691:2:3690
-2692:2:3691
-2693:2:3695
-2694:2:3696
-2695:2:3703
-2696:2:3708
-2697:2:3715
-2698:2:3716
-2699:2:3715
-2700:2:3716
-2701:2:3723
-2702:0:4029
-2703:2:2767
-2704:0:4029
-2705:1:12
-2706:1:13
-2707:1:17
-2708:1:18
-2709:1:26
-2710:1:27
-2711:1:28
-2712:1:40
-2713:1:45
-2714:1:49
-2715:1:50
-2716:1:58
-2717:1:59
-2718:1:63
-2719:1:64
-2720:1:58
-2721:1:59
-2722:1:63
-2723:1:64
-2724:1:72
-2725:1:77
-2726:1:84
-2727:1:85
-2728:1:92
-2729:1:97
-2730:1:104
-2731:1:105
-2732:1:104
-2733:1:105
-2734:1:112
-2735:0:4029
-2736:1:11
-2737:0:4029
-2738:1:123
-2739:1:124
-2740:0:4029
-2741:1:11
-2742:0:4029
-2743:1:130
-2744:1:131
-2745:1:135
-2746:1:136
-2747:1:144
-2748:1:145
-2749:1:149
-2750:1:150
-2751:1:158
-2752:1:163
-2753:1:167
-2754:1:168
-2755:1:176
-2756:1:177
-2757:1:181
-2758:1:182
-2759:1:176
-2760:1:177
-2761:1:181
-2762:1:182
-2763:1:190
-2764:1:195
-2765:1:202
-2766:1:203
-2767:1:210
-2768:1:215
-2769:1:222
-2770:1:223
-2771:1:222
-2772:1:223
-2773:1:230
-2774:0:4029
-2775:1:11
-2776:0:4029
-2777:1:241
-2778:1:242
-2779:1:246
-2780:1:247
-2781:1:255
-2782:1:256
-2783:1:260
-2784:1:261
-2785:1:269
-2786:1:274
-2787:1:278
-2788:1:279
-2789:1:287
-2790:1:288
-2791:1:292
-2792:1:293
-2793:1:287
-2794:1:288
-2795:1:292
-2796:1:293
-2797:1:301
-2798:1:306
-2799:1:313
-2800:1:314
-2801:1:321
-2802:1:326
-2803:1:333
-2804:1:334
-2805:1:333
-2806:1:334
-2807:1:341
-2808:1:350
-2809:0:4029
-2810:1:11
-2811:0:4029
-2812:1:468
-2813:1:472
-2814:1:473
-2815:1:477
-2816:1:478
-2817:1:486
-2818:1:494
-2819:1:495
-2820:1:499
-2821:1:503
-2822:1:504
-2823:1:499
-2824:1:503
-2825:1:504
-2826:1:508
-2827:1:515
-2828:1:522
-2829:1:523
-2830:1:530
-2831:1:535
-2832:1:542
-2833:1:543
-2834:1:542
-2835:1:543
-2836:1:550
-2837:0:4029
-2838:1:11
-2839:0:4029
-2840:2:3507
-2841:2:3516
-2842:2:3517
-2843:2:3521
-2844:2:3522
-2845:2:3526
-2846:2:3527
-2847:2:3535
-2848:2:3540
-2849:2:3544
-2850:2:3545
-2851:2:3553
-2852:2:3554
-2853:2:3558
-2854:2:3559
-2855:2:3553
-2856:2:3554
-2857:2:3558
-2858:2:3559
-2859:2:3567
-2860:2:3574
-2861:2:3575
-2862:2:3579
-2863:2:3580
-2864:2:3587
-2865:2:3592
-2866:2:3599
-2867:2:3600
-2868:2:3599
-2869:2:3600
-2870:2:3607
-2871:2:3617
-2872:0:4029
-2873:2:2767
-2874:0:4029
-2875:2:3623
-2876:2:3632
-2877:2:3633
-2878:2:3637
-2879:2:3638
-2880:2:3642
-2881:2:3643
-2882:2:3651
-2883:2:3656
-2884:2:3660
-2885:2:3661
-2886:2:3669
-2887:2:3670
-2888:2:3674
-2889:2:3675
-2890:2:3669
-2891:2:3670
-2892:2:3674
-2893:2:3675
-2894:2:3683
-2895:2:3690
-2896:2:3691
-2897:2:3695
-2898:2:3696
-2899:2:3703
-2900:2:3708
-2901:2:3715
-2902:2:3716
-2903:2:3715
-2904:2:3716
-2905:2:3723
-2906:0:4029
-2907:2:2767
-2908:0:4029
-2909:1:678
-2910:1:679
-2911:1:683
-2912:1:684
-2913:1:692
-2914:1:693
-2915:1:697
-2916:1:698
-2917:1:706
-2918:1:711
-2919:1:715
-2920:1:716
-2921:1:724
-2922:1:725
-2923:1:729
-2924:1:730
-2925:1:724
-2926:1:725
-2927:1:729
-2928:1:730
-2929:1:738
-2930:1:743
-2931:1:750
-2932:1:751
-2933:1:758
-2934:1:763
-2935:1:770
-2936:1:771
-2937:1:770
-2938:1:771
-2939:1:778
-2940:0:4029
-2941:1:11
-2942:0:4029
-2943:2:3507
-2944:2:3516
-2945:2:3517
-2946:2:3521
-2947:2:3522
-2948:2:3526
-2949:2:3527
-2950:2:3535
-2951:2:3540
-2952:2:3544
-2953:2:3545
-2954:2:3553
-2955:2:3554
-2956:2:3558
-2957:2:3559
-2958:2:3553
-2959:2:3554
-2960:2:3558
-2961:2:3559
-2962:2:3567
-2963:2:3574
-2964:2:3575
-2965:2:3579
-2966:2:3580
-2967:2:3587
-2968:2:3592
-2969:2:3599
-2970:2:3600
-2971:2:3599
-2972:2:3600
-2973:2:3607
-2974:2:3617
-2975:0:4029
-2976:2:2767
-2977:0:4029
-2978:2:3623
-2979:2:3632
-2980:2:3633
-2981:2:3637
-2982:2:3638
-2983:2:3642
-2984:2:3643
-2985:2:3651
-2986:2:3656
-2987:2:3660
-2988:2:3661
-2989:2:3669
-2990:2:3670
-2991:2:3674
-2992:2:3675
-2993:2:3669
-2994:2:3670
-2995:2:3674
-2996:2:3675
-2997:2:3683
-2998:2:3690
-2999:2:3691
-3000:2:3695
-3001:2:3696
-3002:2:3703
-3003:2:3708
-3004:2:3715
-3005:2:3716
-3006:2:3715
-3007:2:3716
-3008:2:3723
-3009:0:4029
-3010:2:2767
-3011:0:4029
-3012:1:560
-3013:1:561
-3014:1:565
-3015:1:566
-3016:1:574
-3017:1:575
-3018:1:579
-3019:1:580
-3020:1:588
-3021:1:593
-3022:1:597
-3023:1:598
-3024:1:606
-3025:1:607
-3026:1:611
-3027:1:612
-3028:1:606
-3029:1:607
-3030:1:611
-3031:1:612
-3032:1:620
-3033:1:625
-3034:1:632
-3035:1:633
-3036:1:640
-3037:1:645
-3038:1:652
-3039:1:653
-3040:1:652
-3041:1:653
-3042:1:660
-3043:0:4029
-3044:1:11
-3045:0:4029
-3046:2:3507
-3047:2:3516
-3048:2:3517
-3049:2:3521
-3050:2:3522
-3051:2:3526
-3052:2:3527
-3053:2:3535
-3054:2:3540
-3055:2:3544
-3056:2:3545
-3057:2:3553
-3058:2:3554
-3059:2:3558
-3060:2:3559
-3061:2:3553
-3062:2:3554
-3063:2:3558
-3064:2:3559
-3065:2:3567
-3066:2:3574
-3067:2:3575
-3068:2:3579
-3069:2:3580
-3070:2:3587
-3071:2:3592
-3072:2:3599
-3073:2:3600
-3074:2:3599
-3075:2:3600
-3076:2:3607
-3077:2:3617
-3078:0:4029
-3079:2:2767
-3080:0:4029
-3081:2:3623
-3082:2:3632
-3083:2:3633
-3084:2:3637
-3085:2:3638
-3086:2:3642
-3087:2:3643
-3088:2:3651
-3089:2:3656
-3090:2:3660
-3091:2:3661
-3092:2:3669
-3093:2:3670
-3094:2:3674
-3095:2:3675
-3096:2:3669
-3097:2:3670
-3098:2:3674
-3099:2:3675
-3100:2:3683
-3101:2:3690
-3102:2:3691
-3103:2:3695
-3104:2:3696
-3105:2:3703
-3106:2:3708
-3107:2:3715
-3108:2:3716
-3109:2:3715
-3110:2:3716
-3111:2:3723
-3112:0:4029
-3113:2:2767
-3114:0:4029
-3115:1:1016
-3116:1:1017
-3117:1:1021
-3118:1:1022
-3119:1:1030
-3120:1:1031
-3121:1:1035
-3122:1:1036
-3123:1:1044
-3124:1:1049
-3125:1:1053
-3126:1:1054
-3127:1:1062
-3128:1:1063
-3129:1:1067
-3130:1:1068
-3131:1:1062
-3132:1:1063
-3133:1:1067
-3134:1:1068
-3135:1:1076
-3136:1:1081
-3137:1:1088
-3138:1:1089
-3139:1:1096
-3140:1:1101
-3141:1:1108
-3142:1:1109
-3143:1:1108
-3144:1:1109
-3145:1:1116
-3146:0:4029
-3147:1:11
-3148:0:4029
-3149:2:3507
-3150:2:3516
-3151:2:3517
-3152:2:3521
-3153:2:3522
-3154:2:3526
-3155:2:3527
-3156:2:3535
-3157:2:3540
-3158:2:3544
-3159:2:3545
-3160:2:3553
-3161:2:3554
-3162:2:3558
-3163:2:3559
-3164:2:3553
-3165:2:3554
-3166:2:3558
-3167:2:3559
-3168:2:3567
-3169:2:3574
-3170:2:3575
-3171:2:3579
-3172:2:3580
-3173:2:3587
-3174:2:3592
-3175:2:3599
-3176:2:3600
-3177:2:3599
-3178:2:3600
-3179:2:3607
-3180:2:3617
-3181:0:4029
-3182:2:2767
-3183:0:4029
-3184:2:3623
-3185:2:3632
-3186:2:3633
-3187:2:3637
-3188:2:3638
-3189:2:3642
-3190:2:3643
-3191:2:3651
-3192:2:3656
-3193:2:3660
-3194:2:3661
-3195:2:3669
-3196:2:3670
-3197:2:3674
-3198:2:3675
-3199:2:3669
-3200:2:3670
-3201:2:3674
-3202:2:3675
-3203:2:3683
-3204:2:3690
-3205:2:3691
-3206:2:3695
-3207:2:3696
-3208:2:3703
-3209:2:3708
-3210:2:3715
-3211:2:3716
-3212:2:3715
-3213:2:3716
-3214:2:3723
-3215:0:4029
-3216:2:2767
-3217:0:4029
-3218:1:671
-3219:1:674
-3220:1:675
-3221:0:4029
-3222:1:11
-3223:0:4029
-3224:2:3507
-3225:2:3516
-3226:2:3517
-3227:2:3521
-3228:2:3522
-3229:2:3526
-3230:2:3527
-3231:2:3535
-3232:2:3540
-3233:2:3544
-3234:2:3545
-3235:2:3553
-3236:2:3554
-3237:2:3558
-3238:2:3559
-3239:2:3553
-3240:2:3554
-3241:2:3558
-3242:2:3559
-3243:2:3567
-3244:2:3574
-3245:2:3575
-3246:2:3579
-3247:2:3580
-3248:2:3587
-3249:2:3592
-3250:2:3599
-3251:2:3600
-3252:2:3599
-3253:2:3600
-3254:2:3607
-3255:2:3617
-3256:0:4029
-3257:2:2767
-3258:0:4029
-3259:2:3623
-3260:2:3632
-3261:2:3633
-3262:2:3637
-3263:2:3638
-3264:2:3642
-3265:2:3643
-3266:2:3651
-3267:2:3656
-3268:2:3660
-3269:2:3661
-3270:2:3669
-3271:2:3670
-3272:2:3674
-3273:2:3675
-3274:2:3669
-3275:2:3670
-3276:2:3674
-3277:2:3675
-3278:2:3683
-3279:2:3690
-3280:2:3691
-3281:2:3695
-3282:2:3696
-3283:2:3703
-3284:2:3708
-3285:2:3715
-3286:2:3716
-3287:2:3715
-3288:2:3716
-3289:2:3723
-3290:0:4029
-3291:2:2767
-3292:0:4029
-3293:1:902
-3294:1:903
-3295:1:907
-3296:1:908
-3297:1:916
-3298:1:917
-3299:1:921
-3300:1:922
-3301:1:930
-3302:1:935
-3303:1:939
-3304:1:940
-3305:1:948
-3306:1:949
-3307:1:953
-3308:1:954
-3309:1:948
-3310:1:949
-3311:1:953
-3312:1:954
-3313:1:962
-3314:1:967
-3315:1:974
-3316:1:975
-3317:1:982
-3318:1:987
-3319:1:994
-3320:1:995
-3321:1:994
-3322:1:995
-3323:1:1002
-3324:1:1011
-3325:1:1015
-3326:0:4029
-3327:1:11
-3328:0:4029
-3329:2:3507
-3330:2:3516
-3331:2:3517
-3332:2:3521
-3333:2:3522
-3334:2:3526
-3335:2:3527
-3336:2:3535
-3337:2:3540
-3338:2:3544
-3339:2:3545
-3340:2:3553
-3341:2:3554
-3342:2:3558
-3343:2:3559
-3344:2:3553
-3345:2:3554
-3346:2:3558
-3347:2:3559
-3348:2:3567
-3349:2:3574
-3350:2:3575
-3351:2:3579
-3352:2:3580
-3353:2:3587
-3354:2:3592
-3355:2:3599
-3356:2:3600
-3357:2:3599
-3358:2:3600
-3359:2:3607
-3360:2:3617
-3361:0:4029
-3362:2:2767
-3363:0:4029
-3364:2:3623
-3365:2:3632
-3366:2:3633
-3367:2:3637
-3368:2:3638
-3369:2:3642
-3370:2:3643
-3371:2:3651
-3372:2:3656
-3373:2:3660
-3374:2:3661
-3375:2:3669
-3376:2:3670
-3377:2:3674
-3378:2:3675
-3379:2:3669
-3380:2:3670
-3381:2:3674
-3382:2:3675
-3383:2:3683
-3384:2:3690
-3385:2:3691
-3386:2:3695
-3387:2:3696
-3388:2:3703
-3389:2:3708
-3390:2:3715
-3391:2:3716
-3392:2:3715
-3393:2:3716
-3394:2:3723
-3395:0:4029
-3396:2:2767
-3397:0:4029
-3398:1:1127
-3399:0:4029
-3400:2:3507
-3401:2:3516
-3402:2:3517
-3403:2:3521
-3404:2:3522
-3405:2:3526
-3406:2:3527
-3407:2:3535
-3408:2:3540
-3409:2:3544
-3410:2:3545
-3411:2:3553
-3412:2:3554
-3413:2:3558
-3414:2:3559
-3415:2:3553
-3416:2:3554
-3417:2:3558
-3418:2:3559
-3419:2:3567
-3420:2:3574
-3421:2:3575
-3422:2:3579
-3423:2:3580
-3424:2:3587
-3425:2:3592
-3426:2:3599
-3427:2:3600
-3428:2:3599
-3429:2:3600
-3430:2:3607
-3431:2:3617
-3432:0:4029
-3433:2:2767
-3434:0:4029
-3435:2:3623
-3436:2:3632
-3437:2:3633
-3438:2:3637
-3439:2:3638
-3440:2:3642
-3441:2:3643
-3442:2:3651
-3443:2:3656
-3444:2:3660
-3445:2:3661
-3446:2:3669
-3447:2:3670
-3448:2:3674
-3449:2:3675
-3450:2:3669
-3451:2:3670
-3452:2:3674
-3453:2:3675
-3454:2:3683
-3455:2:3690
-3456:2:3691
-3457:2:3695
-3458:2:3696
-3459:2:3703
-3460:2:3708
-3461:2:3715
-3462:2:3716
-3463:2:3715
-3464:2:3716
-3465:2:3723
-3466:0:4029
-3467:2:2767
-3468:0:4029
-3469:1:2663
-3470:1:2670
-3471:1:2673
-3472:1:2674
-3473:1:2678
-3474:1:2683
-3475:1:2690
-3476:1:2691
-3477:1:2690
-3478:1:2691
-3479:1:2698
-3480:1:2702
-3481:0:4029
-3482:2:3507
-3483:2:3516
-3484:2:3517
-3485:2:3521
-3486:2:3522
-3487:2:3526
-3488:2:3527
-3489:2:3535
-3490:2:3540
-3491:2:3544
-3492:2:3545
-3493:2:3553
-3494:2:3554
-3495:2:3558
-3496:2:3559
-3497:2:3553
-3498:2:3554
-3499:2:3558
-3500:2:3559
-3501:2:3567
-3502:2:3574
-3503:2:3575
-3504:2:3579
-3505:2:3580
-3506:2:3587
-3507:2:3592
-3508:2:3599
-3509:2:3600
-3510:2:3599
-3511:2:3600
-3512:2:3607
-3513:2:3617
-3514:0:4029
-3515:2:2767
-3516:0:4029
-3517:2:3623
-3518:2:3632
-3519:2:3633
-3520:2:3637
-3521:2:3638
-3522:2:3642
-3523:2:3643
-3524:2:3651
-3525:2:3656
-3526:2:3660
-3527:2:3661
-3528:2:3669
-3529:2:3670
-3530:2:3674
-3531:2:3675
-3532:2:3669
-3533:2:3670
-3534:2:3674
-3535:2:3675
-3536:2:3683
-3537:2:3690
-3538:2:3691
-3539:2:3695
-3540:2:3696
-3541:2:3703
-3542:2:3708
-3543:2:3715
-3544:2:3716
-3545:2:3715
-3546:2:3716
-3547:2:3723
-3548:0:4029
-3549:2:2767
-3550:0:4029
-3551:1:1129
-3552:1:1130
-3553:0:4029
-3554:1:11
-3555:0:4029
-3556:2:3507
-3557:2:3516
-3558:2:3517
-3559:2:3521
-3560:2:3522
-3561:2:3526
-3562:2:3527
-3563:2:3535
-3564:2:3540
-3565:2:3544
-3566:2:3545
-3567:2:3553
-3568:2:3554
-3569:2:3558
-3570:2:3559
-3571:2:3553
-3572:2:3554
-3573:2:3558
-3574:2:3559
-3575:2:3567
-3576:2:3574
-3577:2:3575
-3578:2:3579
-3579:2:3580
-3580:2:3587
-3581:2:3592
-3582:2:3599
-3583:2:3600
-3584:2:3599
-3585:2:3600
-3586:2:3607
-3587:2:3617
-3588:0:4029
-3589:2:2767
-3590:0:4029
-3591:2:3623
-3592:2:3632
-3593:2:3633
-3594:2:3637
-3595:2:3638
-3596:2:3642
-3597:2:3643
-3598:2:3651
-3599:2:3656
-3600:2:3660
-3601:2:3661
-3602:2:3669
-3603:2:3670
-3604:2:3674
-3605:2:3675
-3606:2:3669
-3607:2:3670
-3608:2:3674
-3609:2:3675
-3610:2:3683
-3611:2:3690
-3612:2:3691
-3613:2:3695
-3614:2:3696
-3615:2:3703
-3616:2:3708
-3617:2:3715
-3618:2:3716
-3619:2:3715
-3620:2:3716
-3621:2:3723
-3622:0:4029
-3623:2:2767
-3624:0:4029
-3625:1:1131
-3626:1:1132
-3627:1:1136
-3628:1:1137
-3629:1:1145
-3630:1:1146
-3631:1:1147
-3632:1:1159
-3633:1:1164
-3634:1:1168
-3635:1:1169
-3636:1:1177
-3637:1:1178
-3638:1:1182
-3639:1:1183
-3640:1:1177
-3641:1:1178
-3642:1:1182
-3643:1:1183
-3644:1:1191
-3645:1:1196
-3646:1:1203
-3647:1:1204
-3648:1:1211
-3649:1:1216
-3650:1:1223
-3651:1:1224
-3652:1:1223
-3653:1:1224
-3654:1:1231
-3655:0:4029
-3656:1:11
-3657:0:4029
-3658:1:1242
-3659:1:1243
-3660:1:1247
-3661:1:1248
-3662:1:1256
-3663:1:1257
-3664:1:1261
-3665:1:1262
-3666:1:1270
-3667:1:1275
-3668:1:1279
-3669:1:1280
-3670:1:1288
-3671:1:1289
-3672:1:1293
-3673:1:1294
-3674:1:1288
-3675:1:1289
-3676:1:1293
-3677:1:1294
-3678:1:1302
-3679:1:1307
-3680:1:1314
-3681:1:1315
-3682:1:1322
-3683:1:1327
-3684:1:1334
-3685:1:1335
-3686:1:1334
-3687:1:1335
-3688:1:1342
-3689:1:1351
-3690:1:1355
-3691:0:4029
-3692:1:11
-3693:0:4029
-3694:1:1356
-3695:1:1360
-3696:1:1361
-3697:1:1365
-3698:1:1366
-3699:1:1374
-3700:1:1382
-3701:1:1383
-3702:1:1387
-3703:1:1391
-3704:1:1392
-3705:1:1387
-3706:1:1391
-3707:1:1392
-3708:1:1396
-3709:1:1403
-3710:1:1410
-3711:1:1411
-3712:1:1418
-3713:1:1423
-3714:1:1430
-3715:1:1431
-3716:1:1430
-3717:1:1431
-3718:1:1438
-3719:0:4029
-3720:1:11
-3721:0:4029
-3722:1:1448
-3723:1:1449
-3724:1:1453
-3725:1:1454
-3726:1:1462
-3727:1:1463
-3728:1:1467
-3729:1:1468
-3730:1:1476
-3731:1:1481
-3732:1:1485
-3733:1:1486
-3734:1:1494
-3735:1:1495
-3736:1:1499
-3737:1:1500
-3738:1:1494
-3739:1:1495
-3740:1:1499
-3741:1:1500
-3742:1:1508
-3743:1:1513
-3744:1:1520
-3745:1:1521
-3746:1:1528
-3747:1:1533
-3748:1:1540
-3749:1:1541
-3750:1:1540
-3751:1:1541
-3752:1:1548
-3753:0:4029
-3754:2:3507
-3755:2:3516
-3756:2:3517
-3757:2:3521
-3758:2:3522
-3759:2:3526
-3760:2:3527
-3761:2:3535
-3762:2:3540
-3763:2:3544
-3764:2:3545
-3765:2:3553
-3766:2:3554
-3767:2:3558
-3768:2:3559
-3769:2:3553
-3770:2:3554
-3771:2:3558
-3772:2:3559
-3773:2:3567
-3774:2:3574
-3775:2:3575
-3776:2:3579
-3777:2:3580
-3778:2:3587
-3779:2:3592
-3780:2:3599
-3781:2:3600
-3782:2:3599
-3783:2:3600
-3784:2:3607
-3785:2:3617
-3786:0:4029
-3787:2:2767
-3788:0:4029
-3789:1:11
-3790:0:4029
-3791:1:1559
-3792:1:1560
-3793:1:1564
-3794:1:1565
-3795:1:1573
-3796:1:1574
-3797:1:1578
-3798:1:1579
-3799:1:1587
-3800:1:1592
-3801:1:1596
-3802:1:1597
-3803:1:1605
-3804:1:1606
-3805:1:1610
-3806:1:1611
-3807:1:1605
-3808:1:1606
-3809:1:1610
-3810:1:1611
-3811:1:1619
-3812:1:1624
-3813:1:1631
-3814:1:1632
-3815:1:1639
-3816:1:1644
-3817:1:1651
-3818:1:1652
-3819:1:1651
-3820:1:1652
-3821:1:1659
-3822:1:1668
-3823:1:1672
-3824:0:4029
-3825:1:11
-3826:0:4029
-3827:1:1673
-3828:1:1674
-3829:1:1678
-3830:1:1679
-3831:1:1687
-3832:1:1688
-3833:1:1689
-3834:1:1701
-3835:1:1706
-3836:1:1710
-3837:1:1711
-3838:1:1719
-3839:1:1720
-3840:1:1724
-3841:1:1725
-3842:1:1719
-3843:1:1720
-3844:1:1724
-3845:1:1725
-3846:1:1733
-3847:1:1738
-3848:1:1745
-3849:1:1746
-3850:1:1753
-3851:1:1758
-3852:1:1765
-3853:1:1766
-3854:1:1765
-3855:1:1766
-3856:1:1773
-3857:0:4029
-3858:1:11
-3859:0:4029
-3860:2:3623
-3861:2:3632
-3862:2:3633
-3863:2:3637
-3864:2:3638
-3865:2:3642
-3866:2:3643
-3867:2:3651
-3868:2:3656
-3869:2:3660
-3870:2:3661
-3871:2:3669
-3872:2:3670
-3873:2:3674
-3874:2:3675
-3875:2:3669
-3876:2:3670
-3877:2:3674
-3878:2:3675
-3879:2:3683
-3880:2:3690
-3881:2:3691
-3882:2:3695
-3883:2:3696
-3884:2:3703
-3885:2:3708
-3886:2:3715
-3887:2:3716
-3888:2:3715
-3889:2:3716
-3890:2:3723
-3891:0:4029
-3892:2:2767
-3893:0:4029
-3894:1:1784
-3895:1:1785
-3896:0:4029
-3897:1:11
-3898:0:4029
-3899:1:1791
-3900:1:1792
-3901:1:1796
-3902:1:1797
-3903:1:1805
-3904:1:1806
-3905:1:1810
-3906:1:1811
-3907:1:1819
-3908:1:1824
-3909:1:1828
-3910:1:1829
-3911:1:1837
-3912:1:1838
-3913:1:1842
-3914:1:1843
-3915:1:1837
-3916:1:1838
-3917:1:1842
-3918:1:1843
-3919:1:1851
-3920:1:1856
-3921:1:1863
-3922:1:1864
-3923:1:1871
-3924:1:1876
-3925:1:1883
-3926:1:1884
-3927:1:1883
-3928:1:1884
-3929:1:1891
-3930:0:4029
-3931:1:11
-3932:0:4029
-3933:1:1902
-3934:1:1903
-3935:1:1907
-3936:1:1908
-3937:1:1916
-3938:1:1917
-3939:1:1921
-3940:1:1922
-3941:1:1930
-3942:1:1935
-3943:1:1939
-3944:1:1940
-3945:1:1948
-3946:1:1949
-3947:1:1953
-3948:1:1954
-3949:1:1948
-3950:1:1949
-3951:1:1953
-3952:1:1954
-3953:1:1962
-3954:1:1967
-3955:1:1974
-3956:1:1975
-3957:1:1982
-3958:1:1987
-3959:1:1994
-3960:1:1995
-3961:1:1994
-3962:1:1995
-3963:1:2002
-3964:1:2011
-3965:0:4029
-3966:1:11
-3967:0:4029
-3968:1:2129
-3969:1:2133
-3970:1:2134
-3971:1:2138
-3972:1:2139
-3973:1:2147
-3974:1:2155
-3975:1:2156
-3976:1:2160
-3977:1:2164
-3978:1:2165
-3979:1:2160
-3980:1:2164
-3981:1:2165
-3982:1:2169
-3983:1:2176
-3984:1:2183
-3985:1:2184
-3986:1:2191
-3987:1:2196
-3988:1:2203
-3989:1:2204
-3990:1:2203
-3991:1:2204
-3992:1:2211
-3993:0:4029
-3994:1:11
-3995:0:4029
-3996:1:2221
-3997:1:2222
-3998:1:2226
-3999:1:2227
-4000:1:2235
-4001:1:2236
-4002:1:2240
-4003:1:2241
-4004:1:2249
-4005:1:2254
-4006:1:2258
-4007:1:2259
-4008:1:2267
-4009:1:2268
-4010:1:2272
-4011:1:2273
-4012:1:2267
-4013:1:2268
-4014:1:2272
-4015:1:2273
-4016:1:2281
-4017:1:2286
-4018:1:2293
-4019:1:2294
-4020:1:2301
-4021:1:2306
-4022:1:2313
-4023:1:2314
-4024:1:2313
-4025:1:2314
-4026:1:2321
-4027:0:4029
-4028:1:11
-4029:0:4029
-4030:1:2332
-4031:0:4029
-4032:1:2706
-4033:1:2713
-4034:1:2714
-4035:1:2721
-4036:1:2726
-4037:1:2733
-4038:1:2734
-4039:1:2733
-4040:1:2734
-4041:1:2741
-4042:1:2745
-4043:0:4029
-4044:1:2334
-4045:1:2335
-4046:0:4029
-4047:1:11
-4048:0:4029
-4049:1:2336
-4050:1:2340
-4051:1:2341
-4052:1:2345
-4053:1:2349
-4054:1:2350
-4055:1:2354
-4056:1:2362
-4057:1:2363
-4058:1:2367
-4059:1:2371
-4060:1:2372
-4061:1:2367
-4062:1:2371
-4063:1:2372
-4064:1:2376
-4065:1:2383
-4066:1:2390
-4067:1:2391
-4068:1:2398
-4069:1:2403
-4070:1:2410
-4071:1:2411
-4072:1:2410
-4073:1:2411
-4074:1:2418
-4075:0:4029
-4076:1:11
-4077:0:4029
-4078:1:2428
-4079:1:2429
-4080:1:2433
-4081:1:2434
-4082:1:2442
-4083:1:2443
-4084:1:2447
-4085:1:2448
-4086:1:2456
-4087:1:2461
-4088:1:2465
-4089:1:2466
-4090:1:2474
-4091:1:2475
-4092:1:2479
-4093:1:2480
-4094:1:2474
-4095:1:2475
-4096:1:2479
-4097:1:2480
-4098:1:2488
-4099:1:2493
-4100:1:2500
-4101:1:2501
-4102:1:2508
-4103:1:2513
-4104:1:2520
-4105:1:2521
-4106:1:2520
-4107:1:2521
-4108:1:2528
-4109:0:4029
-4110:1:11
-4111:0:4029
-4112:1:2539
-4113:1:2540
-4114:1:2544
-4115:1:2545
-4116:1:2553
-4117:1:2554
-4118:1:2558
-4119:1:2559
-4120:1:2567
-4121:1:2572
-4122:1:2576
-4123:1:2577
-4124:1:2585
-4125:1:2586
-4126:1:2590
-4127:1:2591
-4128:1:2585
-4129:1:2586
-4130:1:2590
-4131:1:2591
-4132:1:2599
-4133:1:2604
-4134:1:2611
-4135:1:2612
-4136:1:2619
-4137:1:2624
-4138:1:2631
-4139:1:2632
-4140:1:2631
-4141:1:2632
-4142:1:2639
-4143:1:2648
-4144:1:2652
-4145:0:4029
-4146:1:11
-4147:0:4029
-4148:1:2653
-4149:0:4029
-4150:1:2661
-4151:0:4029
-4152:1:2749
-4153:0:4029
-4154:1:9
-4155:0:4029
-4156:1:10
-4157:0:4029
-4158:1:11
-4159:0:4029
-4160:1:12
-4161:1:13
-4162:1:17
-4163:1:18
-4164:1:26
-4165:1:27
-4166:1:28
-4167:1:40
-4168:1:45
-4169:1:49
-4170:1:50
-4171:1:58
-4172:1:59
-4173:1:63
-4174:1:64
-4175:1:58
-4176:1:59
-4177:1:63
-4178:1:64
-4179:1:72
-4180:1:77
-4181:1:84
-4182:1:85
-4183:1:92
-4184:1:97
-4185:1:104
-4186:1:105
-4187:1:104
-4188:1:105
-4189:1:112
-4190:0:4029
-4191:1:11
-4192:0:4029
-4193:1:123
-4194:1:124
-4195:0:4029
-4196:1:11
-4197:0:4029
-4198:1:130
-4199:1:131
-4200:1:135
-4201:1:136
-4202:1:144
-4203:1:145
-4204:1:149
-4205:1:150
-4206:1:158
-4207:1:163
-4208:1:167
-4209:1:168
-4210:1:176
-4211:1:177
-4212:1:181
-4213:1:182
-4214:1:176
-4215:1:177
-4216:1:181
-4217:1:182
-4218:1:190
-4219:1:195
-4220:1:202
-4221:1:203
-4222:1:210
-4223:1:215
-4224:1:222
-4225:1:223
-4226:1:222
-4227:1:223
-4228:1:230
-4229:0:4029
-4230:1:11
-4231:0:4029
-4232:1:241
-4233:1:242
-4234:1:246
-4235:1:247
-4236:1:255
-4237:1:256
-4238:1:260
-4239:1:261
-4240:1:269
-4241:1:274
-4242:1:278
-4243:1:279
-4244:1:287
-4245:1:288
-4246:1:292
-4247:1:293
-4248:1:287
-4249:1:288
-4250:1:292
-4251:1:293
-4252:1:301
-4253:1:306
-4254:1:313
-4255:1:314
-4256:1:321
-4257:1:326
-4258:1:333
-4259:1:334
-4260:1:333
-4261:1:334
-4262:1:341
-4263:1:350
-4264:0:4029
-4265:1:11
-4266:0:4029
-4267:1:468
-4268:1:472
-4269:1:473
-4270:1:477
-4271:1:478
-4272:1:486
-4273:1:494
-4274:1:495
-4275:1:499
-4276:1:503
-4277:1:504
-4278:1:499
-4279:1:503
-4280:1:504
-4281:1:508
-4282:1:515
-4283:1:522
-4284:1:523
-4285:1:530
-4286:1:535
-4287:1:542
-4288:1:543
-4289:1:542
-4290:1:543
-4291:1:550
-4292:0:4029
-4293:1:11
-4294:0:4029
-4295:1:560
-4296:1:561
-4297:1:565
-4298:1:566
-4299:1:574
-4300:1:575
-4301:1:579
-4302:1:580
-4303:1:588
-4304:1:593
-4305:1:597
-4306:1:598
-4307:1:606
-4308:1:607
-4309:1:611
-4310:1:612
-4311:1:606
-4312:1:607
-4313:1:611
-4314:1:612
-4315:1:620
-4316:1:625
-4317:1:632
-4318:1:633
-4319:1:640
-4320:1:645
-4321:1:652
-4322:1:653
-4323:1:652
-4324:1:653
-4325:1:660
-4326:0:4029
-4327:1:11
-4328:0:4029
-4329:1:671
-4330:1:674
-4331:1:675
-4332:0:4029
-4333:1:11
-4334:0:4029
-4335:1:678
-4336:1:679
-4337:1:683
-4338:1:684
-4339:1:692
-4340:1:693
-4341:1:697
-4342:1:698
-4343:1:706
-4344:1:711
-4345:1:715
-4346:1:716
-4347:1:724
-4348:1:725
-4349:1:729
-4350:1:730
-4351:1:724
-4352:1:725
-4353:1:729
-4354:1:730
-4355:1:738
-4356:1:743
-4357:1:750
-4358:1:751
-4359:1:758
-4360:1:763
-4361:1:770
-4362:1:771
-4363:1:770
-4364:1:771
-4365:1:778
-4366:0:4029
-4367:1:11
-4368:0:4029
-4369:1:902
-4370:1:903
-4371:1:907
-4372:1:908
-4373:1:916
-4374:1:917
-4375:1:921
-4376:1:922
-4377:1:930
-4378:1:935
-4379:1:939
-4380:1:940
-4381:1:948
-4382:1:949
-4383:1:953
-4384:1:954
-4385:1:948
-4386:1:949
-4387:1:953
-4388:1:954
-4389:1:962
-4390:1:967
-4391:1:974
-4392:1:975
-4393:1:982
-4394:1:987
-4395:1:994
-4396:1:995
-4397:1:994
-4398:1:995
-4399:1:1002
-4400:1:1011
-4401:1:1015
-4402:0:4029
-4403:1:11
-4404:0:4029
-4405:1:1016
-4406:1:1017
-4407:1:1021
-4408:1:1022
-4409:1:1030
-4410:1:1031
-4411:1:1032
-4412:1:1044
-4413:1:1049
-4414:1:1053
-4415:1:1054
-4416:1:1062
-4417:1:1063
-4418:1:1067
-4419:1:1068
-4420:1:1062
-4421:1:1063
-4422:1:1067
-4423:1:1068
-4424:1:1076
-4425:1:1081
-4426:1:1088
-4427:1:1089
-4428:1:1096
-4429:1:1101
-4430:1:1108
-4431:1:1109
-4432:1:1108
-4433:1:1109
-4434:1:1116
-4435:0:4029
-4436:1:11
-4437:0:4029
-4438:1:1127
-4439:0:4029
-4440:1:2663
-4441:1:2670
-4442:1:2671
-4443:1:2678
-4444:1:2683
-4445:1:2690
-4446:1:2691
-4447:1:2690
-4448:1:2691
-4449:1:2698
-4450:1:2702
-4451:0:4029
-4452:1:1129
-4453:1:1130
-4454:0:4029
-4455:1:11
-4456:0:4029
-4457:1:1131
-4458:1:1132
-4459:1:1136
-4460:1:1137
-4461:1:1145
-4462:1:1146
-4463:1:1150
-4464:1:1151
-4465:1:1159
-4466:1:1164
-4467:1:1168
-4468:1:1169
-4469:1:1177
-4470:1:1178
-4471:1:1182
-4472:1:1183
-4473:1:1177
-4474:1:1178
-4475:1:1182
-4476:1:1183
-4477:1:1191
-4478:1:1196
-4479:1:1203
-4480:1:1204
-4481:1:1211
-4482:1:1216
-4483:1:1223
-4484:1:1224
-4485:1:1223
-4486:1:1224
-4487:1:1231
-4488:0:4029
-4489:1:11
-4490:0:4029
-4491:1:1242
-4492:1:1243
-4493:1:1247
-4494:1:1248
-4495:1:1256
-4496:1:1257
-4497:1:1261
-4498:1:1262
-4499:1:1270
-4500:1:1275
-4501:1:1279
-4502:1:1280
-4503:1:1288
-4504:1:1289
-4505:1:1293
-4506:1:1294
-4507:1:1288
-4508:1:1289
-4509:1:1293
-4510:1:1294
-4511:1:1302
-4512:1:1307
-4513:1:1314
-4514:1:1315
-4515:1:1322
-4516:1:1327
-4517:1:1334
-4518:1:1335
-4519:1:1334
-4520:1:1335
-4521:1:1342
-4522:1:1351
-4523:1:1355
-4524:0:4029
-4525:1:11
-4526:0:4029
-4527:1:1356
-4528:1:1360
-4529:1:1361
-4530:1:1365
-4531:1:1366
-4532:1:1374
-4533:1:1382
-4534:1:1383
-4535:1:1387
-4536:1:1391
-4537:1:1392
-4538:1:1387
-4539:1:1391
-4540:1:1392
-4541:1:1396
-4542:1:1403
-4543:1:1410
-4544:1:1411
-4545:1:1418
-4546:1:1423
-4547:1:1430
-4548:1:1431
-4549:1:1430
-4550:1:1431
-4551:1:1438
-4552:0:4029
-4553:1:11
-4554:0:4029
-4555:1:1448
-4556:1:1449
-4557:1:1453
-4558:1:1454
-4559:1:1462
-4560:1:1463
-4561:1:1467
-4562:1:1468
-4563:1:1476
-4564:1:1481
-4565:1:1485
-4566:1:1486
-4567:1:1494
-4568:1:1495
-4569:1:1499
-4570:1:1500
-4571:1:1494
-4572:1:1495
-4573:1:1499
-4574:1:1500
-4575:1:1508
-4576:1:1513
-4577:1:1520
-4578:1:1521
-4579:1:1528
-4580:1:1533
-4581:1:1540
-4582:1:1541
-4583:1:1540
-4584:1:1541
-4585:1:1548
-4586:0:4029
-4587:1:11
-4588:0:4029
-4589:1:1559
-4590:1:1560
-4591:1:1564
-4592:1:1565
-4593:1:1573
-4594:1:1574
-4595:1:1578
-4596:1:1579
-4597:1:1587
-4598:1:1592
-4599:1:1596
-4600:1:1597
-4601:1:1605
-4602:1:1606
-4603:1:1610
-4604:1:1611
-4605:1:1605
-4606:1:1606
-4607:1:1610
-4608:1:1611
-4609:1:1619
-4610:1:1624
-4611:1:1631
-4612:1:1632
-4613:1:1639
-4614:1:1644
-4615:1:1651
-4616:1:1652
-4617:1:1651
-4618:1:1652
-4619:1:1659
-4620:1:1668
-4621:1:1672
-4622:0:4029
-4623:1:11
-4624:0:4029
-4625:1:1673
-4626:1:1674
-4627:1:1678
-4628:1:1679
-4629:1:1687
-4630:1:1696
-4631:1:1697
-4632:1:1701
-4633:1:1706
-4634:1:1710
-4635:1:1711
-4636:1:1719
-4637:1:1720
-4638:1:1724
-4639:1:1725
-4640:1:1719
-4641:1:1720
-4642:1:1724
-4643:1:1725
-4644:1:1733
-4645:1:1738
-4646:1:1745
-4647:1:1748
-4648:1:1749
-4649:1:1753
-4650:1:1758
-4651:1:1765
-4652:1:1766
-4653:1:1765
-4654:1:1766
-4655:1:1773
-4656:0:4029
-4657:1:11
-4658:0:4029
-4659:2:3507
-4660:2:3516
-4661:2:3517
-4662:2:3521
-4663:2:3522
-4664:2:3526
-4665:2:3527
-4666:2:3535
-4667:2:3540
-4668:2:3544
-4669:2:3545
-4670:2:3553
-4671:2:3554
-4672:2:3558
-4673:2:3559
-4674:2:3553
-4675:2:3554
-4676:2:3558
-4677:2:3559
-4678:2:3567
-4679:2:3574
-4680:2:3575
-4681:2:3579
-4682:2:3580
-4683:2:3587
-4684:2:3592
-4685:2:3599
-4686:2:3600
-4687:2:3599
-4688:2:3600
-4689:2:3607
-4690:2:3617
-4691:0:4029
-4692:2:2767
-4693:0:4029
-4694:2:3623
-4695:2:3632
-4696:2:3633
-4697:2:3637
-4698:2:3638
-4699:2:3642
-4700:2:3643
-4701:2:3651
-4702:2:3656
-4703:2:3660
-4704:2:3661
-4705:2:3669
-4706:2:3670
-4707:2:3674
-4708:2:3675
-4709:2:3669
-4710:2:3670
-4711:2:3674
-4712:2:3675
-4713:2:3683
-4714:2:3690
-4715:2:3691
-4716:2:3695
-4717:2:3696
-4718:2:3703
-4719:2:3708
-4720:2:3715
-4721:2:3716
-4722:2:3715
-4723:2:3716
-4724:2:3723
-4725:0:4029
-4726:2:2767
-4727:0:4029
-4728:1:1784
-4729:1:1785
-4730:0:4029
-4731:1:11
-4732:0:4029
-4733:2:3507
-4734:2:3516
-4735:2:3517
-4736:2:3521
-4737:2:3522
-4738:2:3526
-4739:2:3527
-4740:2:3535
-4741:2:3540
-4742:2:3544
-4743:2:3545
-4744:2:3553
-4745:2:3554
-4746:2:3558
-4747:2:3559
-4748:2:3553
-4749:2:3554
-4750:2:3558
-4751:2:3559
-4752:2:3567
-4753:2:3574
-4754:2:3575
-4755:2:3579
-4756:2:3580
-4757:2:3587
-4758:2:3592
-4759:2:3599
-4760:2:3600
-4761:2:3599
-4762:2:3600
-4763:2:3607
-4764:2:3617
-4765:0:4029
-4766:2:2767
-4767:0:4029
-4768:2:3623
-4769:2:3632
-4770:2:3633
-4771:2:3637
-4772:2:3638
-4773:2:3642
-4774:2:3643
-4775:2:3651
-4776:2:3656
-4777:2:3660
-4778:2:3661
-4779:2:3669
-4780:2:3670
-4781:2:3674
-4782:2:3675
-4783:2:3669
-4784:2:3670
-4785:2:3674
-4786:2:3675
-4787:2:3683
-4788:2:3690
-4789:2:3691
-4790:2:3695
-4791:2:3696
-4792:2:3703
-4793:2:3708
-4794:2:3715
-4795:2:3716
-4796:2:3715
-4797:2:3716
-4798:2:3723
-4799:0:4029
-4800:2:2767
-4801:0:4029
-4802:1:1791
-4803:1:1792
-4804:1:1796
-4805:1:1797
-4806:1:1805
-4807:1:1806
-4808:1:1807
-4809:1:1819
-4810:1:1824
-4811:1:1828
-4812:1:1829
-4813:1:1837
-4814:1:1838
-4815:1:1842
-4816:1:1843
-4817:1:1837
-4818:1:1838
-4819:1:1842
-4820:1:1843
-4821:1:1851
-4822:1:1856
-4823:1:1863
-4824:1:1864
-4825:1:1871
-4826:1:1876
-4827:1:1883
-4828:1:1884
-4829:1:1883
-4830:1:1884
-4831:1:1891
-4832:0:4029
-4833:1:11
-4834:0:4029
-4835:1:1902
-4836:1:1903
-4837:1:1907
-4838:1:1908
-4839:1:1916
-4840:1:1917
-4841:1:1921
-4842:1:1922
-4843:1:1930
-4844:1:1935
-4845:1:1939
-4846:1:1940
-4847:1:1948
-4848:1:1949
-4849:1:1953
-4850:1:1954
-4851:1:1948
-4852:1:1949
-4853:1:1953
-4854:1:1954
-4855:1:1962
-4856:1:1967
-4857:1:1974
-4858:1:1975
-4859:1:1982
-4860:1:1987
-4861:1:1994
-4862:1:1995
-4863:1:1994
-4864:1:1995
-4865:1:2002
-4866:1:2011
-4867:0:4029
-4868:1:11
-4869:0:4029
-4870:1:2129
-4871:1:2133
-4872:1:2134
-4873:1:2138
-4874:1:2139
-4875:1:2147
-4876:1:2155
-4877:1:2156
-4878:1:2160
-4879:1:2164
-4880:1:2165
-4881:1:2160
-4882:1:2164
-4883:1:2165
-4884:1:2169
-4885:1:2176
-4886:1:2183
-4887:1:2184
-4888:1:2191
-4889:1:2196
-4890:1:2203
-4891:1:2204
-4892:1:2203
-4893:1:2204
-4894:1:2211
-4895:0:4029
-4896:1:11
-4897:0:4029
-4898:2:3507
-4899:2:3516
-4900:2:3517
-4901:2:3521
-4902:2:3522
-4903:2:3526
-4904:2:3527
-4905:2:3535
-4906:2:3540
-4907:2:3544
-4908:2:3545
-4909:2:3553
-4910:2:3554
-4911:2:3558
-4912:2:3559
-4913:2:3553
-4914:2:3554
-4915:2:3558
-4916:2:3559
-4917:2:3567
-4918:2:3574
-4919:2:3575
-4920:2:3579
-4921:2:3580
-4922:2:3587
-4923:2:3592
-4924:2:3599
-4925:2:3600
-4926:2:3599
-4927:2:3600
-4928:2:3607
-4929:2:3617
-4930:0:4029
-4931:2:2767
-4932:0:4029
-4933:2:3623
-4934:2:3632
-4935:2:3633
-4936:2:3637
-4937:2:3638
-4938:2:3642
-4939:2:3643
-4940:2:3651
-4941:2:3656
-4942:2:3660
-4943:2:3661
-4944:2:3669
-4945:2:3670
-4946:2:3674
-4947:2:3675
-4948:2:3669
-4949:2:3670
-4950:2:3674
-4951:2:3675
-4952:2:3683
-4953:2:3690
-4954:2:3691
-4955:2:3695
-4956:2:3696
-4957:2:3703
-4958:2:3708
-4959:2:3715
-4960:2:3716
-4961:2:3715
-4962:2:3716
-4963:2:3723
-4964:0:4029
-4965:2:2767
-4966:0:4029
-4967:1:2221
-4968:1:2222
-4969:1:2226
-4970:1:2227
-4971:1:2235
-4972:1:2236
-4973:1:2240
-4974:1:2241
-4975:1:2249
-4976:1:2254
-4977:1:2258
-4978:1:2259
-4979:1:2267
-4980:1:2268
-4981:1:2272
-4982:1:2273
-4983:1:2267
-4984:1:2268
-4985:1:2272
-4986:1:2273
-4987:1:2281
-4988:1:2286
-4989:1:2293
-4990:1:2294
-4991:1:2301
-4992:1:2306
-4993:1:2313
-4994:1:2314
-4995:1:2313
-4996:1:2314
-4997:1:2321
Userspace RCU (urcu) for Linux
This page took 0.060539 seconds and 4 git commands to generate.