Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4644
2:3:4564
3:3:4567
4:3:4567
5:3:4570
6:3:4578
7:3:4578
8:3:4581
9:3:4587
10:3:4591
11:3:4591
12:3:4594
13:3:4604
14:3:4612
15:3:4612
16:3:4615
17:3:4621
18:3:4625
19:3:4625
20:3:4628
21:3:4634
22:3:4638
23:3:4639
24:0:4644
25:3:4641
26:0:4644
27:2:2872
28:0:4644
29:2:2878
30:0:4644
31:2:2879
32:0:4644
33:2:2881
34:0:4644
35:2:2882
36:0:4644
37:2:2883
38:2:2884
39:2:2888
40:2:2889
41:2:2897
42:2:2898
43:2:2902
44:2:2903
45:2:2911
46:2:2916
47:2:2920
48:2:2921
49:2:2929
50:2:2930
51:2:2934
52:2:2935
53:2:2929
54:2:2930
55:2:2934
56:2:2935
57:2:2943
58:2:2948
59:2:2949
60:2:2960
61:2:2961
62:2:2962
63:2:2973
64:2:2978
65:2:2979
66:2:2990
67:2:2991
68:2:2992
69:2:2990
70:2:2991
71:2:2992
72:2:3003
73:2:3011
74:0:4644
75:2:2882
76:0:4644
77:2:3015
78:2:3019
79:2:3020
80:2:3024
81:2:3028
82:2:3029
83:2:3033
84:2:3041
85:2:3042
86:2:3046
87:2:3050
88:2:3051
89:2:3046
90:2:3047
91:2:3055
92:0:4644
93:2:2882
94:0:4644
95:2:3063
96:2:3064
97:2:3065
98:0:4644
99:2:2882
100:0:4644
101:2:3070
102:0:4644
103:2:3773
104:2:3774
105:2:3778
106:2:3782
107:2:3783
108:2:3787
109:2:3792
110:2:3800
111:2:3804
112:2:3805
113:2:3800
114:2:3804
115:2:3805
116:2:3809
117:2:3816
118:2:3823
119:2:3824
120:2:3831
121:2:3836
122:2:3843
123:2:3844
124:2:3843
125:2:3844
126:2:3851
127:2:3855
128:0:4644
129:2:3860
130:0:4644
131:2:3861
132:0:4644
133:2:3862
134:0:4644
135:2:3863
136:0:4644
137:1:2
138:0:4644
139:2:3864
140:0:4644
141:1:8
142:0:4644
143:2:3863
144:0:4644
145:1:9
146:0:4644
147:2:3864
148:0:4644
149:1:10
150:0:4642
151:2:3863
152:0:4648
153:2:3864
154:0:4648
155:1:11
156:0:4648
157:2:3863
158:0:4648
159:2:3864
160:0:4648
161:1:12
162:0:4648
163:2:3863
164:0:4648
165:2:3864
166:0:4648
167:1:13
168:0:4648
169:2:3863
170:0:4648
171:2:3864
172:0:4648
173:1:14
174:0:4648
175:1:15
176:0:4648
177:1:16
178:0:4648
179:2:3863
180:0:4648
181:2:3864
182:0:4648
183:1:17
184:0:4648
185:2:3863
186:0:4648
187:2:3864
188:0:4648
189:1:28
190:0:4648
191:2:3863
192:0:4648
193:2:3864
194:0:4648
195:1:32
196:1:33
197:1:37
198:1:41
199:1:42
200:1:46
201:1:54
202:1:55
203:1:59
204:1:63
205:1:64
206:1:59
207:1:63
208:1:64
209:1:68
210:1:75
211:1:82
212:1:83
213:1:90
214:1:95
215:1:102
216:1:103
217:1:102
218:1:103
219:1:110
220:1:114
221:0:4648
222:2:3863
223:0:4648
224:2:3864
225:0:4648
226:1:119
227:0:4648
228:2:3865
229:0:4648
230:2:3870
231:0:4648
232:2:3871
233:0:4648
234:2:3879
235:2:3880
236:2:3884
237:2:3888
238:2:3889
239:2:3893
240:2:3901
241:2:3902
242:2:3906
243:2:3910
244:2:3911
245:2:3906
246:2:3910
247:2:3911
248:2:3915
249:2:3922
250:2:3929
251:2:3930
252:2:3937
253:2:3942
254:2:3949
255:2:3950
256:2:3949
257:2:3950
258:2:3957
259:2:3961
260:0:4648
261:2:3072
262:2:3754
263:0:4648
264:2:2882
265:0:4648
266:2:3073
267:0:4648
268:2:2882
269:0:4648
270:2:3076
271:2:3077
272:2:3081
273:2:3082
274:2:3090
275:2:3091
276:2:3095
277:2:3096
278:2:3104
279:2:3109
280:2:3113
281:2:3114
282:2:3122
283:2:3123
284:2:3127
285:2:3128
286:2:3122
287:2:3123
288:2:3127
289:2:3128
290:2:3136
291:2:3141
292:2:3142
293:2:3153
294:2:3154
295:2:3155
296:2:3166
297:2:3171
298:2:3172
299:2:3183
300:2:3184
301:2:3185
302:2:3183
303:2:3184
304:2:3185
305:2:3196
306:2:3203
307:0:4648
308:2:2882
309:0:4648
310:2:3207
311:2:3208
312:2:3209
313:2:3221
314:2:3222
315:2:3226
316:2:3227
317:2:3235
318:2:3240
319:2:3244
320:2:3245
321:2:3253
322:2:3254
323:2:3258
324:2:3259
325:2:3253
326:2:3254
327:2:3258
328:2:3259
329:2:3267
330:2:3272
331:2:3273
332:2:3284
333:2:3285
334:2:3286
335:2:3297
336:2:3302
337:2:3303
338:2:3314
339:2:3315
340:2:3316
341:2:3314
342:2:3315
343:2:3316
344:2:3327
345:2:3338
346:2:3339
347:0:4648
348:2:2882
349:0:4648
350:2:3345
351:2:3346
352:2:3350
353:2:3351
354:2:3359
355:2:3360
356:2:3364
357:2:3365
358:2:3373
359:2:3378
360:2:3382
361:2:3383
362:2:3391
363:2:3392
364:2:3396
365:2:3397
366:2:3391
367:2:3392
368:2:3396
369:2:3397
370:2:3405
371:2:3410
372:2:3411
373:2:3422
374:2:3423
375:2:3424
376:2:3435
377:2:3440
378:2:3441
379:2:3452
380:2:3453
381:2:3454
382:2:3452
383:2:3453
384:2:3454
385:2:3465
386:0:4648
387:2:2882
388:0:4648
389:2:3474
390:2:3475
391:2:3479
392:2:3480
393:2:3488
394:2:3489
395:2:3493
396:2:3494
397:2:3502
398:2:3507
399:2:3511
400:2:3512
401:2:3520
402:2:3521
403:2:3525
404:2:3526
405:2:3520
406:2:3521
407:2:3525
408:2:3526
409:2:3534
410:2:3539
411:2:3540
412:2:3551
413:2:3552
414:2:3553
415:2:3564
416:2:3569
417:2:3570
418:2:3581
419:2:3582
420:2:3583
421:2:3581
422:2:3582
423:2:3583
424:2:3594
425:2:3601
426:0:4648
427:2:2882
428:0:4648
429:2:3605
430:2:3606
431:2:3607
432:2:3619
433:2:3620
434:2:3624
435:2:3625
436:2:3633
437:2:3638
438:2:3642
439:2:3643
440:2:3651
441:2:3652
442:2:3656
443:2:3657
444:2:3651
445:2:3652
446:2:3656
447:2:3657
448:2:3665
449:2:3670
450:2:3671
451:2:3682
452:2:3683
453:2:3684
454:2:3695
455:2:3700
456:2:3701
457:2:3712
458:2:3713
459:2:3714
460:2:3712
461:2:3713
462:2:3714
463:2:3725
464:2:3735
465:2:3736
466:0:4648
467:2:2882
468:0:4648
469:2:3742
470:0:4648
471:2:4367
472:2:4368
473:2:4372
474:2:4376
475:2:4377
476:2:4381
477:2:4389
478:2:4390
479:2:4394
480:2:4398
481:2:4399
482:2:4394
483:2:4398
484:2:4399
485:2:4403
486:2:4410
487:2:4417
488:2:4418
489:2:4425
490:2:4430
491:2:4437
492:2:4438
493:2:4437
494:2:4438
495:2:4445
496:2:4449
497:0:4648
498:2:4454
499:0:4648
500:2:4455
501:0:4648
502:2:4456
503:0:4648
504:2:4457
505:0:4648
506:1:28
507:0:4648
508:2:4458
509:0:4648
510:2:4457
511:0:4648
512:1:32
513:1:33
514:1:37
515:1:41
516:1:42
517:1:46
518:1:54
519:1:55
520:1:59
521:1:63
522:1:64
523:1:59
524:1:63
525:1:64
526:1:68
527:1:75
528:1:82
529:1:83
530:1:90
531:1:95
532:1:102
533:1:103
534:1:102
535:1:103
536:1:110
537:1:114
538:0:4648
539:2:4458
540:0:4648
541:2:4457
542:0:4648
543:1:119
544:0:4648
545:2:4458
546:0:4648
547:2:4459
548:0:4648
549:2:4464
550:0:4648
551:2:4465
552:0:4648
553:2:4473
554:2:4474
555:2:4478
556:2:4482
557:2:4483
558:2:4487
559:2:4495
560:2:4496
561:2:4500
562:2:4504
563:2:4505
564:2:4500
565:2:4504
566:2:4505
567:2:4509
568:2:4516
569:2:4523
570:2:4524
571:2:4531
572:2:4536
573:2:4543
574:2:4544
575:2:4543
576:2:4544
577:2:4551
578:2:4555
579:0:4648
580:2:3744
581:2:3754
582:0:4648
583:2:2882
584:0:4648
585:2:3745
586:2:3746
587:0:4648
588:2:2882
589:0:4648
590:2:3750
591:0:4648
592:2:3758
593:0:4648
594:2:2879
595:0:4648
596:2:2881
597:0:4648
598:2:2882
599:0:4648
600:2:2883
601:2:2884
602:2:2888
603:2:2889
604:2:2897
605:2:2898
606:2:2902
607:2:2903
608:2:2911
609:2:2916
610:2:2920
611:2:2921
612:2:2929
613:2:2930
614:2:2931
615:2:2929
616:2:2930
617:2:2934
618:2:2935
619:2:2943
620:2:2948
621:2:2949
622:2:2960
623:2:2961
624:2:2962
625:2:2973
626:2:2978
627:2:2979
628:2:2990
629:2:2991
630:2:2992
631:2:2990
632:2:2991
633:2:2992
634:2:3003
635:2:3011
636:0:4648
637:2:2882
638:0:4648
639:2:3015
640:2:3019
641:2:3020
642:2:3024
643:2:3028
644:2:3029
645:2:3033
646:2:3041
647:2:3042
648:2:3046
649:2:3047
650:2:3046
651:2:3050
652:2:3051
653:2:3055
654:0:4648
655:2:2882
656:0:4648
657:2:3063
658:2:3064
659:2:3065
660:0:4648
661:2:2882
662:0:4648
663:2:3070
664:0:4648
665:2:3773
666:2:3774
667:2:3778
668:2:3782
669:2:3783
670:2:3787
671:2:3792
672:2:3800
673:2:3804
674:2:3805
675:2:3800
676:2:3804
677:2:3805
678:2:3809
679:2:3816
680:2:3823
681:2:3824
682:2:3831
683:2:3836
684:2:3843
685:2:3844
686:2:3843
687:2:3844
688:2:3851
689:2:3855
690:0:4648
691:2:3860
692:0:4648
693:2:3861
694:0:4648
695:2:3862
696:0:4648
697:2:3863
698:0:4648
699:1:28
700:0:4648
701:2:3864
702:0:4648
703:2:3863
704:0:4648
705:1:32
706:1:33
707:1:37
708:1:41
709:1:42
710:1:46
711:1:54
712:1:55
713:1:59
714:1:63
715:1:64
716:1:59
717:1:63
718:1:64
719:1:68
720:1:75
721:1:82
722:1:83
723:1:90
724:1:95
725:1:102
726:1:103
727:1:102
728:1:103
729:1:110
730:1:114
731:0:4648
732:2:3864
733:0:4648
734:2:3863
735:0:4648
736:1:119
737:0:4648
738:2:3864
739:0:4648
740:2:3865
741:0:4648
742:2:3870
743:0:4648
744:2:3871
745:0:4648
746:2:3879
747:2:3880
748:2:3884
749:2:3888
750:2:3889
751:2:3893
752:2:3901
753:2:3902
754:2:3906
755:2:3910
756:2:3911
757:2:3906
758:2:3910
759:2:3911
760:2:3915
761:2:3922
762:2:3929
763:2:3930
764:2:3937
765:2:3942
766:2:3949
767:2:3950
768:2:3949
769:2:3950
770:2:3957
771:2:3961
772:0:4648
773:2:3072
774:2:3754
775:0:4648
776:2:2882
777:0:4648
778:2:3073
779:0:4648
780:2:2882
781:0:4648
782:2:3076
783:2:3077
784:2:3081
785:2:3082
786:2:3090
787:2:3091
788:2:3095
789:2:3096
790:2:3104
791:2:3109
792:2:3113
793:2:3114
794:2:3122
795:2:3123
796:2:3127
797:2:3128
798:2:3122
799:2:3123
800:2:3127
801:2:3128
802:2:3136
803:2:3141
804:2:3142
805:2:3153
806:2:3154
807:2:3155
808:2:3166
809:2:3171
810:2:3172
811:2:3183
812:2:3184
813:2:3185
814:2:3183
815:2:3184
816:2:3185
817:2:3196
818:2:3203
819:0:4648
820:2:2882
821:0:4648
822:2:3207
823:2:3208
824:2:3209
825:2:3221
826:2:3222
827:2:3226
828:2:3227
829:2:3235
830:2:3240
831:2:3244
832:2:3245
833:2:3253
834:2:3254
835:2:3258
836:2:3259
837:2:3253
838:2:3254
839:2:3258
840:2:3259
841:2:3267
842:2:3272
843:2:3273
844:2:3284
845:2:3285
846:2:3286
847:2:3297
848:2:3302
849:2:3303
850:2:3314
851:2:3315
852:2:3316
853:2:3314
854:2:3315
855:2:3316
856:2:3327
857:2:3338
858:2:3339
859:0:4648
860:2:2882
861:0:4648
862:2:3345
863:2:3346
864:2:3350
865:2:3351
866:2:3359
867:2:3360
868:2:3364
869:2:3365
870:2:3373
871:2:3378
872:2:3382
873:2:3383
874:2:3391
875:2:3392
876:2:3396
877:2:3397
878:2:3391
879:2:3392
880:2:3396
881:2:3397
882:2:3405
883:2:3410
884:2:3411
885:2:3422
886:2:3423
887:2:3424
888:2:3435
889:2:3440
890:2:3441
891:2:3452
892:2:3453
893:2:3454
894:2:3452
895:2:3453
896:2:3454
897:2:3465
898:0:4648
899:2:2882
900:0:4648
901:2:3474
902:2:3475
903:2:3479
904:2:3480
905:2:3488
906:2:3489
907:2:3493
908:2:3494
909:2:3502
910:2:3507
911:2:3511
912:2:3512
913:2:3520
914:2:3521
915:2:3525
916:2:3526
917:2:3520
918:2:3521
919:2:3525
920:2:3526
921:2:3534
922:2:3539
923:2:3540
924:2:3551
925:2:3552
926:2:3553
927:2:3564
928:2:3569
929:2:3570
930:2:3581
931:2:3582
932:2:3583
933:2:3581
934:2:3582
935:2:3583
936:2:3594
937:2:3601
938:0:4648
939:2:2882
940:0:4648
941:2:3605
942:2:3606
943:2:3607
944:2:3619
945:2:3620
946:2:3624
947:2:3625
948:2:3633
949:2:3638
950:2:3642
951:2:3643
952:2:3651
953:2:3652
954:2:3656
955:2:3657
956:2:3651
957:2:3652
958:2:3656
959:2:3657
960:2:3665
961:2:3670
962:2:3671
963:2:3682
964:2:3683
965:2:3684
966:2:3695
967:2:3700
968:2:3701
969:2:3712
970:2:3713
971:2:3714
972:2:3712
973:2:3713
974:2:3714
975:2:3725
976:2:3735
977:2:3736
978:0:4648
979:2:2882
980:0:4648
981:2:3742
982:0:4648
983:2:4367
984:2:4368
985:2:4372
986:2:4376
987:2:4377
988:2:4381
989:2:4389
990:2:4390
991:2:4394
992:2:4398
993:2:4399
994:2:4394
995:2:4398
996:2:4399
997:2:4403
998:2:4410
999:2:4417
1000:2:4418
1001:2:4425
1002:2:4430
1003:2:4437
1004:2:4438
1005:2:4437
1006:2:4438
1007:2:4445
1008:2:4449
1009:0:4648
1010:2:4454
1011:0:4648
1012:2:4455
1013:0:4648
1014:2:4456
1015:0:4648
1016:2:4457
1017:0:4648
1018:1:28
1019:0:4648
1020:2:4458
1021:0:4648
1022:2:4457
1023:0:4648
1024:1:32
1025:1:33
1026:1:37
1027:1:41
1028:1:42
1029:1:46
1030:1:54
1031:1:55
1032:1:59
1033:1:63
1034:1:64
1035:1:59
1036:1:63
1037:1:64
1038:1:68
1039:1:75
1040:1:82
1041:1:83
1042:1:90
1043:1:95
1044:1:102
1045:1:103
1046:1:102
1047:1:103
1048:1:110
1049:1:114
1050:0:4648
1051:2:4458
1052:0:4648
1053:2:4457
1054:0:4648
1055:1:119
1056:0:4648
1057:2:4458
1058:0:4648
1059:2:4459
1060:0:4648
1061:2:4464
1062:0:4648
1063:2:4465
1064:0:4648
1065:2:4473
1066:2:4474
1067:2:4478
1068:2:4482
1069:2:4483
1070:2:4487
1071:2:4495
1072:2:4496
1073:2:4500
1074:2:4504
1075:2:4505
1076:2:4500
1077:2:4504
1078:2:4505
1079:2:4509
1080:2:4516
1081:2:4523
1082:2:4524
1083:2:4531
1084:2:4536
1085:2:4543
1086:2:4544
1087:2:4543
1088:2:4544
1089:2:4551
1090:2:4555
1091:0:4648
1092:2:3744
1093:2:3754
1094:0:4648
1095:2:2882
1096:0:4648
1097:2:3745
1098:2:3746
1099:0:4648
1100:2:2882
1101:0:4648
1102:2:3750
1103:0:4648
1104:2:3758
1105:0:4648
1106:2:2879
1107:0:4648
1108:2:2881
1109:0:4648
1110:2:2882
1111:0:4648
1112:2:2883
1113:2:2884
1114:2:2888
1115:2:2889
1116:2:2897
1117:2:2898
1118:2:2902
1119:2:2903
1120:2:2911
1121:2:2916
1122:2:2920
1123:2:2921
1124:2:2929
1125:2:2930
1126:2:2934
1127:2:2935
1128:2:2929
1129:2:2930
1130:2:2931
1131:2:2943
1132:2:2948
1133:2:2949
1134:2:2960
1135:2:2961
1136:2:2962
1137:2:2973
1138:2:2978
1139:2:2979
1140:2:2990
1141:2:2991
1142:2:2992
1143:2:2990
1144:2:2991
1145:2:2992
1146:2:3003
1147:2:3011
1148:0:4648
1149:2:2882
1150:0:4648
1151:2:3015
1152:2:3019
1153:2:3020
1154:2:3024
1155:2:3028
1156:2:3029
1157:2:3033
1158:2:3041
1159:2:3042
1160:2:3046
1161:2:3050
1162:2:3051
1163:2:3046
1164:2:3047
1165:2:3055
1166:0:4648
1167:2:2882
1168:0:4648
1169:2:3063
1170:2:3064
1171:2:3065
1172:0:4648
1173:2:2882
1174:0:4648
1175:2:3070
1176:0:4648
1177:2:3773
1178:2:3774
1179:2:3778
1180:2:3782
1181:2:3783
1182:2:3787
1183:2:3792
1184:2:3800
1185:2:3804
1186:2:3805
1187:2:3800
1188:2:3804
1189:2:3805
1190:2:3809
1191:2:3816
1192:2:3823
1193:2:3824
1194:2:3831
1195:2:3836
1196:2:3843
1197:2:3844
1198:2:3843
1199:2:3844
1200:2:3851
1201:2:3855
1202:0:4648
1203:2:3860
1204:0:4648
1205:2:3861
1206:0:4648
1207:2:3862
1208:0:4648
1209:2:3863
1210:0:4648
1211:1:28
1212:0:4648
1213:2:3864
1214:0:4648
1215:2:3863
1216:0:4648
1217:1:32
1218:1:33
1219:1:37
1220:1:41
1221:1:42
1222:1:46
1223:1:54
1224:1:55
1225:1:59
1226:1:63
1227:1:64
1228:1:59
1229:1:63
1230:1:64
1231:1:68
1232:1:75
1233:1:82
1234:1:83
1235:1:90
1236:1:95
1237:1:102
1238:1:103
1239:1:102
1240:1:103
1241:1:110
1242:1:114
1243:0:4648
1244:2:3864
1245:0:4648
1246:2:3863
1247:0:4648
1248:1:119
1249:0:4648
1250:2:3864
1251:0:4648
1252:2:3865
1253:0:4648
1254:2:3870
1255:0:4648
1256:2:3871
1257:0:4648
1258:2:3879
1259:2:3880
1260:2:3884
1261:2:3888
1262:2:3889
1263:2:3893
1264:2:3901
1265:2:3902
1266:2:3906
1267:2:3910
1268:2:3911
1269:2:3906
1270:2:3910
1271:2:3911
1272:2:3915
1273:2:3922
1274:2:3929
1275:2:3930
1276:2:3937
1277:2:3942
1278:2:3949
1279:2:3950
1280:2:3949
1281:2:3950
1282:2:3957
1283:2:3961
1284:0:4648
1285:2:3072
1286:2:3754
1287:0:4648
1288:2:2882
1289:0:4648
1290:2:3073
1291:0:4648
1292:2:2882
1293:0:4648
1294:2:3076
1295:2:3077
1296:2:3081
1297:2:3082
1298:2:3090
1299:2:3091
1300:2:3095
1301:2:3096
1302:2:3104
1303:2:3109
1304:2:3113
1305:2:3114
1306:2:3122
1307:2:3123
1308:2:3127
1309:2:3128
1310:2:3122
1311:2:3123
1312:2:3127
1313:2:3128
1314:2:3136
1315:2:3141
1316:2:3142
1317:2:3153
1318:2:3154
1319:2:3155
1320:2:3166
1321:2:3171
1322:2:3172
1323:2:3183
1324:2:3184
1325:2:3185
1326:2:3183
1327:2:3184
1328:2:3185
1329:2:3196
1330:2:3203
1331:0:4648
1332:2:2882
1333:0:4648
1334:2:3207
1335:2:3208
1336:2:3209
1337:2:3221
1338:2:3222
1339:2:3226
1340:2:3227
1341:2:3235
1342:2:3240
1343:2:3244
1344:2:3245
1345:2:3253
1346:2:3254
1347:2:3258
1348:2:3259
1349:2:3253
1350:2:3254
1351:2:3258
1352:2:3259
1353:2:3267
1354:2:3272
1355:2:3273
1356:2:3284
1357:2:3285
1358:2:3286
1359:2:3297
1360:2:3302
1361:2:3303
1362:2:3314
1363:2:3315
1364:2:3316
1365:2:3314
1366:2:3315
1367:2:3316
1368:2:3327
1369:2:3338
1370:2:3339
1371:0:4648
1372:2:2882
1373:0:4648
1374:2:3345
1375:2:3346
1376:2:3350
1377:2:3351
1378:2:3359
1379:2:3360
1380:2:3364
1381:2:3365
1382:2:3373
1383:2:3378
1384:2:3382
1385:2:3383
1386:2:3391
1387:2:3392
1388:2:3396
1389:2:3397
1390:2:3391
1391:2:3392
1392:2:3396
1393:2:3397
1394:2:3405
1395:2:3410
1396:2:3411
1397:2:3422
1398:2:3423
1399:2:3424
1400:2:3435
1401:2:3440
1402:2:3441
1403:2:3452
1404:2:3453
1405:2:3454
1406:2:3452
1407:2:3453
1408:2:3454
1409:2:3465
1410:0:4648
1411:2:2882
1412:0:4648
1413:2:3474
1414:2:3475
1415:2:3479
1416:2:3480
1417:2:3488
1418:2:3489
1419:2:3493
1420:2:3494
1421:2:3502
1422:2:3507
1423:2:3511
1424:2:3512
1425:2:3520
1426:2:3521
1427:2:3525
1428:2:3526
1429:2:3520
1430:2:3521
1431:2:3525
1432:2:3526
1433:2:3534
1434:2:3539
1435:2:3540
1436:2:3551
1437:2:3552
1438:2:3553
1439:2:3564
1440:2:3569
1441:2:3570
1442:2:3581
1443:2:3582
1444:2:3583
1445:2:3581
1446:2:3582
1447:2:3583
1448:2:3594
1449:2:3601
1450:0:4648
1451:2:2882
1452:0:4648
1453:2:3605
1454:2:3606
1455:2:3607
1456:2:3619
1457:2:3620
1458:2:3624
1459:2:3625
1460:2:3633
1461:2:3638
1462:2:3642
1463:2:3643
1464:2:3651
1465:2:3652
1466:2:3656
1467:2:3657
1468:2:3651
1469:2:3652
1470:2:3656
1471:2:3657
1472:2:3665
1473:2:3670
1474:2:3671
1475:2:3682
1476:2:3683
1477:2:3684
1478:2:3695
1479:2:3700
1480:2:3701
1481:2:3712
1482:2:3713
1483:2:3714
1484:2:3712
1485:2:3713
1486:2:3714
1487:2:3725
1488:2:3735
1489:2:3736
1490:0:4648
1491:2:2882
1492:0:4648
1493:2:3742
1494:0:4648
1495:2:4367
1496:2:4368
1497:2:4372
1498:2:4376
1499:2:4377
1500:2:4381
1501:2:4389
1502:2:4390
1503:2:4394
1504:2:4398
1505:2:4399
1506:2:4394
1507:2:4398
1508:2:4399
1509:2:4403
1510:2:4410
1511:2:4417
1512:2:4418
1513:2:4425
1514:2:4430
1515:2:4437
1516:2:4438
1517:2:4437
1518:2:4438
1519:2:4445
1520:2:4449
1521:0:4648
1522:2:4454
1523:0:4648
1524:2:4455
1525:0:4648
1526:2:4456
1527:0:4648
1528:2:4457
1529:0:4648
1530:1:28
1531:0:4648
1532:2:4458
1533:0:4648
1534:2:4457
1535:0:4648
1536:1:32
1537:1:33
1538:1:37
1539:1:41
1540:1:42
1541:1:46
1542:1:54
1543:1:55
1544:1:59
1545:1:63
1546:1:64
1547:1:59
1548:1:63
1549:1:64
1550:1:68
1551:1:75
1552:1:82
1553:1:83
1554:1:90
1555:1:95
1556:1:102
1557:1:103
1558:1:102
1559:1:103
1560:1:110
1561:1:114
1562:0:4648
1563:2:4458
1564:0:4648
1565:2:4457
1566:0:4648
1567:1:119
1568:0:4648
1569:2:4458
1570:0:4648
1571:2:4459
1572:0:4648
1573:2:4464
1574:0:4648
1575:2:4465
1576:0:4648
1577:2:4473
1578:2:4474
1579:2:4478
1580:2:4482
1581:2:4483
1582:2:4487
1583:2:4495
1584:2:4496
1585:2:4500
1586:2:4504
1587:2:4505
1588:2:4500
1589:2:4504
1590:2:4505
1591:2:4509
1592:2:4516
1593:2:4523
1594:2:4524
1595:2:4531
1596:2:4536
1597:2:4543
1598:2:4544
1599:2:4543
1600:2:4544
1601:2:4551
1602:2:4555
1603:0:4648
1604:2:3744
1605:2:3754
1606:0:4648
1607:2:2882
1608:0:4648
1609:2:3745
1610:2:3746
1611:0:4648
1612:2:2882
1613:0:4648
1614:2:3750
1615:0:4648
1616:2:3758
1617:0:4648
1618:2:3759
1619:0:4648
1620:2:3764
1621:0:4648
1622:1:120
1623:0:4648
1624:2:3765
1625:0:4648
1626:2:3764
1627:0:4648
1628:1:19
1629:0:4648
1630:2:3765
1631:0:4648
1632:2:3764
1633:0:4648
1634:1:127
1635:1:128
1636:1:132
1637:1:133
1638:1:141
1639:1:142
1640:1:146
1641:1:147
1642:1:155
1643:1:160
1644:1:164
1645:1:165
1646:1:173
1647:1:174
1648:1:178
1649:1:179
1650:1:173
1651:1:174
1652:1:178
1653:1:179
1654:1:187
1655:1:192
1656:1:193
1657:1:204
1658:1:205
1659:1:206
1660:1:217
1661:1:222
1662:1:223
1663:1:234
1664:1:235
1665:1:236
1666:1:234
1667:1:235
1668:1:236
1669:1:247
1670:0:4648
1671:2:3765
1672:0:4648
1673:2:3764
1674:0:4648
1675:1:15
1676:0:4648
1677:2:3765
1678:0:4648
1679:2:3764
1680:0:4648
1681:1:16
1682:0:4648
1683:2:3765
1684:0:4648
1685:2:3764
1686:0:4648
1687:1:17
1688:0:4648
1689:2:3765
1690:0:4648
1691:2:3764
1692:0:4648
1693:1:120
1694:0:4648
1695:2:3765
1696:0:4648
1697:2:3764
1698:0:4648
1699:1:19
1700:0:4648
1701:2:3765
1702:0:4648
1703:2:3764
1704:0:4648
1705:1:256
1706:1:257
1707:0:4648
1708:2:3765
1709:0:4648
1710:2:3764
1711:0:4648
1712:1:15
1713:0:4648
1714:2:3765
1715:0:4648
1716:2:3764
1717:0:4648
1718:1:16
1719:0:4648
1720:2:3765
1721:0:4648
1722:2:3764
1723:0:4648
1724:1:17
1725:0:4648
1726:2:3765
1727:0:4648
1728:2:3764
1729:0:4648
1730:1:120
1731:0:4648
1732:2:3765
1733:0:4648
1734:2:3764
1735:0:4648
1736:1:19
1737:0:4648
1738:2:3765
1739:0:4648
1740:2:3764
1741:0:4648
1742:1:263
1743:1:264
1744:1:268
1745:1:269
1746:1:277
1747:1:278
1748:1:282
1749:1:283
1750:1:291
1751:1:296
1752:1:300
1753:1:301
1754:1:309
1755:1:310
1756:1:314
1757:1:315
1758:1:309
1759:1:310
1760:1:314
1761:1:315
1762:1:323
1763:1:328
1764:1:329
1765:1:340
1766:1:341
1767:1:342
1768:1:353
1769:1:358
1770:1:359
1771:1:370
1772:1:371
1773:1:372
1774:1:370
1775:1:371
1776:1:372
1777:1:383
1778:0:4648
1779:2:3765
1780:0:4648
1781:2:3764
1782:0:4648
1783:1:15
1784:0:4648
1785:2:3765
1786:0:4648
1787:2:3764
1788:0:4648
1789:1:16
1790:0:4648
1791:2:3765
1792:0:4648
1793:2:3764
1794:0:4648
1795:1:17
1796:0:4648
1797:2:3765
1798:0:4648
1799:2:3764
1800:0:4648
1801:1:120
1802:0:4648
1803:2:3765
1804:0:4648
1805:2:3764
1806:0:4648
1807:1:19
1808:0:4648
1809:2:3765
1810:0:4648
1811:2:3764
1812:0:4648
1813:1:392
1814:1:393
1815:1:397
1816:1:398
1817:1:406
1818:1:407
1819:1:411
1820:1:412
1821:1:420
1822:1:425
1823:1:429
1824:1:430
1825:1:438
1826:1:439
1827:1:443
1828:1:444
1829:1:438
1830:1:439
1831:1:443
1832:1:444
1833:1:452
1834:1:457
1835:1:458
1836:1:469
1837:1:470
1838:1:471
1839:1:482
1840:1:487
1841:1:488
1842:1:499
1843:1:500
1844:1:501
1845:1:499
1846:1:500
1847:1:501
1848:1:512
1849:1:519
1850:0:4648
1851:2:3765
1852:0:4648
1853:2:3764
1854:0:4648
1855:1:15
1856:0:4648
1857:2:3765
1858:0:4648
1859:2:3764
1860:0:4648
1861:1:16
1862:0:4648
1863:2:3765
1864:0:4648
1865:2:3764
1866:0:4648
1867:1:17
1868:0:4648
1869:2:3765
1870:0:4648
1871:2:3764
1872:0:4648
1873:1:120
1874:0:4648
1875:2:3765
1876:0:4648
1877:2:3764
1878:0:4648
1879:1:19
1880:0:4648
1881:2:3765
1882:0:4648
1883:2:3764
1884:0:4648
1885:1:657
1886:1:658
1887:1:662
1888:1:663
1889:1:671
1890:1:672
1891:1:673
1892:1:685
1893:1:690
1894:1:694
1895:1:695
1896:1:703
1897:1:704
1898:1:708
1899:1:709
1900:1:703
1901:1:704
1902:1:708
1903:1:709
1904:1:717
1905:1:722
1906:1:723
1907:1:734
1908:1:735
1909:1:736
1910:1:747
1911:1:752
1912:1:753
1913:1:764
1914:1:765
1915:1:766
1916:1:764
1917:1:765
1918:1:766
1919:1:777
1920:0:4648
1921:2:3765
1922:0:4648
1923:2:3764
1924:0:4648
1925:1:15
1926:0:4648
1927:2:3765
1928:0:4648
1929:2:3764
1930:0:4648
1931:1:16
1932:0:4648
1933:2:3765
1934:0:4648
1935:2:3764
1936:0:4648
1937:1:17
1938:0:4648
1939:2:3765
1940:0:4648
1941:2:3764
1942:0:4648
1943:1:120
1944:0:4648
1945:2:3765
1946:0:4648
1947:2:3764
1948:0:4648
1949:1:19
1950:0:4648
1951:2:3765
1952:0:4648
1953:2:3764
1954:0:4648
1955:1:786
1956:1:789
1957:1:790
1958:0:4648
1959:2:3765
1960:0:4648
1961:2:3764
1962:0:4648
1963:1:15
1964:0:4648
1965:2:3765
1966:0:4648
1967:2:3764
1968:0:4648
1969:1:16
1970:0:4648
1971:2:3765
1972:0:4648
1973:2:3764
1974:0:4648
1975:1:17
1976:0:4648
1977:2:3765
1978:0:4648
1979:2:3764
1980:0:4648
1981:1:120
1982:0:4648
1983:2:3765
1984:0:4648
1985:2:3764
1986:0:4648
1987:1:19
1988:0:4648
1989:2:3765
1990:0:4648
1991:2:3764
1992:0:4648
1993:1:1053
1994:1:1054
1995:1:1058
1996:1:1059
1997:1:1067
1998:1:1068
1999:1:1072
2000:1:1073
2001:1:1081
2002:1:1086
2003:1:1090
2004:1:1091
2005:1:1099
2006:1:1100
2007:1:1104
2008:1:1105
2009:1:1099
2010:1:1100
2011:1:1104
2012:1:1105
2013:1:1113
2014:1:1118
2015:1:1119
2016:1:1130
2017:1:1131
2018:1:1132
2019:1:1143
2020:1:1148
2021:1:1149
2022:1:1160
2023:1:1161
2024:1:1162
2025:1:1160
2026:1:1161
2027:1:1162
2028:1:1173
2029:1:1180
2030:1:1184
2031:0:4648
2032:2:3765
2033:0:4648
2034:2:3764
2035:0:4648
2036:1:15
2037:0:4648
2038:2:3765
2039:0:4648
2040:2:3764
2041:0:4648
2042:1:16
2043:0:4648
2044:2:3765
2045:0:4648
2046:2:3764
2047:0:4648
2048:1:17
2049:0:4648
2050:2:3765
2051:0:4648
2052:2:3764
2053:0:4648
2054:1:120
2055:0:4648
2056:2:3765
2057:0:4648
2058:2:3764
2059:0:4648
2060:1:19
2061:0:4648
2062:2:3765
2063:0:4648
2064:2:3764
2065:0:4648
2066:1:1185
2067:1:1186
2068:1:1190
2069:1:1191
2070:1:1199
2071:1:1200
2072:1:1201
2073:1:1213
2074:1:1218
2075:1:1222
2076:1:1223
2077:1:1231
2078:1:1232
2079:1:1236
2080:1:1237
2081:1:1231
2082:1:1232
2083:1:1236
2084:1:1237
2085:1:1245
2086:1:1250
2087:1:1251
2088:1:1262
2089:1:1263
2090:1:1264
2091:1:1275
2092:1:1280
2093:1:1281
2094:1:1292
2095:1:1293
2096:1:1294
2097:1:1292
2098:1:1293
2099:1:1294
2100:1:1305
2101:0:4648
2102:2:3765
2103:0:4648
2104:2:3764
2105:0:4648
2106:1:15
2107:0:4648
2108:2:3765
2109:0:4648
2110:2:3764
2111:0:4648
2112:1:16
2113:0:4648
2114:2:3765
2115:0:4648
2116:2:3764
2117:0:4648
2118:1:17
2119:0:4648
2120:2:3765
2121:0:4648
2122:2:3764
2123:0:4648
2124:1:120
2125:0:4648
2126:2:3765
2127:0:4648
2128:2:3764
2129:0:4648
2130:1:19
2131:0:4648
2132:2:3765
2133:0:4648
2134:2:3764
2135:0:4648
2136:1:1314
2137:0:4648
2138:2:3765
2139:0:4648
2140:2:3764
2141:0:4648
2142:1:2778
2143:1:2785
2144:1:2786
2145:1:2793
2146:1:2798
2147:1:2805
2148:1:2806
2149:1:2805
2150:1:2806
2151:1:2813
2152:1:2817
2153:0:4648
2154:2:3765
2155:0:4648
2156:2:3764
2157:0:4648
2158:1:1316
2159:1:1317
2160:0:4648
2161:2:3765
2162:0:4648
2163:2:3764
2164:0:4648
2165:1:15
2166:0:4648
2167:2:3765
2168:0:4648
2169:2:3764
2170:0:4648
2171:1:16
2172:0:4648
2173:2:3765
2174:0:4648
2175:2:3764
2176:0:4648
2177:1:17
2178:0:4648
2179:2:3765
2180:0:4648
2181:2:3764
2182:0:4648
2183:1:120
2184:0:4648
2185:2:3765
2186:0:4648
2187:2:3764
2188:0:4648
2189:1:19
2190:0:4648
2191:2:3765
2192:0:4648
2193:2:3764
2194:0:4648
2195:1:1318
2196:1:1319
2197:1:1323
2198:1:1324
2199:1:1332
2200:1:1333
2201:1:1337
2202:1:1338
2203:1:1346
2204:1:1351
2205:1:1355
2206:1:1356
2207:1:1364
2208:1:1365
2209:1:1369
2210:1:1370
2211:1:1364
2212:1:1365
2213:1:1369
2214:1:1370
2215:1:1378
2216:1:1383
2217:1:1384
2218:1:1395
2219:1:1396
2220:1:1397
2221:1:1408
2222:1:1413
2223:1:1414
2224:1:1425
2225:1:1426
2226:1:1427
2227:1:1425
2228:1:1426
2229:1:1427
2230:1:1438
2231:0:4648
2232:2:3765
2233:0:4648
2234:2:3764
2235:0:4648
2236:1:15
2237:0:4648
2238:2:3765
2239:0:4648
2240:2:3764
2241:0:4648
2242:1:16
2243:0:4648
2244:2:3765
2245:0:4648
2246:2:3764
2247:0:4648
2248:1:17
2249:0:4648
2250:2:3765
2251:0:4648
2252:2:3764
2253:0:4648
2254:1:120
2255:0:4648
2256:2:3765
2257:0:4648
2258:2:3764
2259:0:4648
2260:1:19
2261:0:4648
2262:2:3765
2263:0:4648
2264:2:3764
2265:0:4648
2266:1:1447
2267:1:1448
2268:1:1452
2269:1:1453
2270:1:1461
2271:1:1462
2272:1:1466
2273:1:1467
2274:1:1475
2275:1:1480
2276:1:1484
2277:1:1485
2278:1:1493
2279:1:1494
2280:1:1498
2281:1:1499
2282:1:1493
2283:1:1494
2284:1:1498
2285:1:1499
2286:1:1507
2287:1:1512
2288:1:1513
2289:1:1524
2290:1:1525
2291:1:1526
2292:1:1537
2293:1:1542
2294:1:1543
2295:1:1554
2296:1:1555
2297:1:1556
2298:1:1554
2299:1:1555
2300:1:1556
2301:1:1567
2302:1:1574
2303:1:1578
2304:0:4648
2305:2:3765
2306:0:4648
2307:2:3764
2308:0:4648
2309:1:15
2310:0:4648
2311:2:3765
2312:0:4648
2313:2:3764
2314:0:4648
2315:1:16
2316:0:4648
2317:2:3765
2318:0:4648
2319:2:3764
2320:0:4648
2321:1:17
2322:0:4648
2323:2:3765
2324:0:4648
2325:2:3764
2326:0:4648
2327:1:120
2328:0:4648
2329:2:3765
2330:0:4648
2331:2:3764
2332:0:4648
2333:1:19
2334:0:4648
2335:2:3765
2336:0:4648
2337:2:3764
2338:0:4648
2339:1:1581
2340:1:1582
2341:1:1586
2342:1:1587
2343:1:1595
2344:1:1596
2345:1:1597
2346:1:1609
2347:1:1614
2348:1:1618
2349:1:1619
2350:1:1627
2351:1:1628
2352:1:1632
2353:1:1633
2354:1:1627
2355:1:1628
2356:1:1632
2357:1:1633
2358:1:1641
2359:1:1646
2360:1:1647
2361:1:1658
2362:1:1659
2363:1:1660
2364:1:1671
2365:1:1676
2366:1:1677
2367:1:1688
2368:1:1689
2369:1:1690
2370:1:1688
2371:1:1689
2372:1:1690
2373:1:1701
2374:0:4648
2375:2:3765
2376:0:4648
2377:2:3764
2378:0:4648
2379:1:15
2380:0:4648
2381:2:3765
2382:0:4648
2383:2:3764
2384:0:4648
2385:1:16
2386:0:4648
2387:2:3765
2388:0:4648
2389:2:3764
2390:0:4648
2391:1:17
2392:0:4648
2393:2:3765
2394:0:4648
2395:2:3764
2396:0:4648
2397:1:120
2398:0:4648
2399:2:3765
2400:0:4648
2401:2:3764
2402:0:4648
2403:1:19
2404:0:4648
2405:2:3765
2406:0:4648
2407:2:3764
2408:0:4648
2409:1:1710
2410:1:1711
2411:1:1715
2412:1:1716
2413:1:1724
2414:1:1725
2415:1:1729
2416:1:1730
2417:1:1738
2418:1:1743
2419:1:1747
2420:1:1748
2421:1:1756
2422:1:1757
2423:1:1761
2424:1:1762
2425:1:1756
2426:1:1757
2427:1:1761
2428:1:1762
2429:1:1770
2430:1:1775
2431:1:1776
2432:1:1787
2433:1:1788
2434:1:1789
2435:1:1800
2436:1:1805
2437:1:1806
2438:1:1817
2439:1:1818
2440:1:1819
2441:1:1817
2442:1:1818
2443:1:1819
2444:1:1830
2445:1:1837
2446:1:1841
2447:0:4648
2448:2:3765
2449:0:4648
2450:2:3764
2451:0:4648
2452:1:15
2453:0:4648
2454:2:3765
2455:0:4648
2456:2:3764
2457:0:4648
2458:1:16
2459:0:4648
2460:2:3765
2461:0:4648
2462:2:3764
2463:0:4648
2464:1:17
2465:0:4648
2466:2:3765
2467:0:4648
2468:2:3764
2469:0:4648
2470:1:120
2471:0:4648
2472:2:3765
2473:0:4648
2474:2:3764
2475:0:4648
2476:1:19
2477:0:4648
2478:2:3765
2479:0:4648
2480:2:3764
2481:0:4648
2482:1:1842
2483:1:1843
2484:1:1847
2485:1:1848
2486:1:1856
2487:1:1857
2488:1:1858
2489:1:1870
2490:1:1875
2491:1:1879
2492:1:1880
2493:1:1888
2494:1:1889
2495:1:1893
2496:1:1894
2497:1:1888
2498:1:1889
2499:1:1893
2500:1:1894
2501:1:1902
2502:1:1907
2503:1:1908
2504:1:1919
2505:1:1920
2506:1:1921
2507:1:1932
2508:1:1937
2509:1:1938
2510:1:1949
2511:1:1950
2512:1:1951
2513:1:1949
2514:1:1950
2515:1:1951
2516:1:1962
2517:0:4648
2518:2:3765
2519:0:4648
2520:2:3764
2521:0:4648
2522:1:15
2523:0:4648
2524:2:3765
2525:0:4648
2526:2:3764
2527:0:4648
2528:1:16
2529:0:4648
2530:2:3765
2531:0:4648
2532:2:3764
2533:0:4648
2534:1:17
2535:0:4648
2536:2:3765
2537:0:4648
2538:2:3764
2539:0:4648
2540:1:120
2541:0:4648
2542:2:3765
2543:0:4648
2544:2:3764
2545:0:4648
2546:1:19
2547:0:4648
2548:2:3765
2549:0:4648
2550:2:3764
2551:0:4648
2552:1:1971
2553:1:1972
2554:0:4648
2555:2:3765
2556:0:4648
2557:2:3764
2558:0:4648
2559:1:15
2560:0:4648
2561:2:3765
2562:0:4648
2563:2:3764
2564:0:4648
2565:1:16
2566:0:4648
2567:2:3765
2568:0:4648
2569:2:3764
2570:0:4648
2571:1:17
2572:0:4648
2573:2:3765
2574:0:4648
2575:2:3764
2576:0:4648
2577:1:120
2578:0:4648
2579:2:3765
2580:0:4648
2581:2:3764
2582:0:4648
2583:1:19
2584:0:4648
2585:2:3765
2586:0:4648
2587:2:3764
2588:0:4648
2589:1:1978
2590:1:1979
2591:1:1983
2592:1:1984
2593:1:1992
2594:1:1993
2595:1:1997
2596:1:1998
2597:1:2006
2598:1:2011
2599:1:2015
2600:1:2016
2601:1:2024
2602:1:2025
2603:1:2029
2604:1:2030
2605:1:2024
2606:1:2025
2607:1:2029
2608:1:2030
2609:1:2038
2610:1:2043
2611:1:2044
2612:1:2055
2613:1:2056
2614:1:2057
2615:1:2068
2616:1:2073
2617:1:2074
2618:1:2085
2619:1:2086
2620:1:2087
2621:1:2085
2622:1:2086
2623:1:2087
2624:1:2098
2625:0:4648
2626:2:3765
2627:0:4648
2628:2:3764
2629:0:4648
2630:1:15
2631:0:4648
2632:2:3765
2633:0:4648
2634:2:3764
2635:0:4648
2636:1:16
2637:0:4648
2638:2:3765
2639:0:4648
2640:2:3764
2641:0:4648
2642:1:17
2643:0:4648
2644:2:3765
2645:0:4648
2646:2:3764
2647:0:4648
2648:1:120
2649:0:4648
2650:2:3765
2651:0:4648
2652:2:3764
2653:0:4648
2654:1:19
2655:0:4648
2656:2:3765
2657:0:4648
2658:2:3764
2659:0:4648
2660:1:2107
2661:1:2108
2662:1:2112
2663:1:2113
2664:1:2121
2665:1:2122
2666:1:2126
2667:1:2127
2668:1:2135
2669:1:2140
2670:1:2144
2671:1:2145
2672:1:2153
2673:1:2154
2674:1:2158
2675:1:2159
2676:1:2153
2677:1:2154
2678:1:2158
2679:1:2159
2680:1:2167
2681:1:2172
2682:1:2173
2683:1:2184
2684:1:2185
2685:1:2186
2686:1:2197
2687:1:2202
2688:1:2203
2689:1:2214
2690:1:2215
2691:1:2216
2692:1:2214
2693:1:2215
2694:1:2216
2695:1:2227
2696:1:2234
2697:0:4648
2698:2:3765
2699:0:4648
2700:2:3764
2701:0:4648
2702:1:15
2703:0:4648
2704:2:3765
2705:0:4648
2706:2:3764
2707:0:4648
2708:1:16
2709:0:4648
2710:2:3765
2711:0:4648
2712:2:3764
2713:0:4648
2714:1:17
2715:0:4648
2716:2:3765
2717:0:4648
2718:2:3764
2719:0:4648
2720:1:120
2721:0:4648
2722:2:3765
2723:0:4648
2724:2:3764
2725:0:4648
2726:1:19
2727:0:4648
2728:2:3765
2729:0:4648
2730:2:3764
2731:0:4648
2732:1:2372
2733:1:2373
2734:1:2377
2735:1:2378
2736:1:2386
2737:1:2387
2738:1:2388
2739:1:2400
2740:1:2405
2741:1:2409
2742:1:2410
2743:1:2418
2744:1:2419
2745:1:2423
2746:1:2424
2747:1:2418
2748:1:2419
2749:1:2423
2750:1:2424
2751:1:2432
2752:1:2437
2753:1:2438
2754:1:2449
2755:1:2450
2756:1:2451
2757:1:2462
2758:1:2467
2759:1:2468
2760:1:2479
2761:1:2480
2762:1:2481
2763:1:2479
2764:1:2480
2765:1:2481
2766:1:2492
2767:0:4648
2768:2:3765
2769:0:4648
2770:2:3764
2771:0:4648
2772:1:15
2773:0:4648
2774:2:3765
2775:0:4648
2776:2:3764
2777:0:4648
2778:1:16
2779:0:4648
2780:2:3765
2781:0:4648
2782:2:3764
2783:0:4648
2784:1:17
2785:0:4648
2786:2:3765
2787:0:4648
2788:2:3764
2789:0:4648
2790:1:120
2791:0:4648
2792:2:3765
2793:0:4648
2794:2:3764
2795:0:4648
2796:1:19
2797:0:4648
2798:2:3765
2799:0:4648
2800:2:3764
2801:0:4648
2802:1:2507
2803:1:2508
2804:1:2512
2805:1:2513
2806:1:2521
2807:1:2522
2808:1:2526
2809:1:2527
2810:1:2535
2811:1:2540
2812:1:2544
2813:1:2545
2814:1:2553
2815:1:2554
2816:1:2558
2817:1:2559
2818:1:2553
2819:1:2554
2820:1:2558
2821:1:2559
2822:1:2567
2823:1:2572
2824:1:2573
2825:1:2584
2826:1:2585
2827:1:2586
2828:1:2597
2829:1:2602
2830:1:2603
2831:1:2614
2832:1:2615
2833:1:2616
2834:1:2614
2835:1:2615
2836:1:2616
2837:1:2627
2838:0:4648
2839:2:3765
2840:0:4648
2841:2:3764
2842:0:4648
2843:1:15
2844:0:4648
2845:2:3765
2846:0:4648
2847:2:3764
2848:0:4648
2849:1:16
2850:0:4648
2851:2:3765
2852:0:4648
2853:2:3764
2854:0:4648
2855:1:17
2856:0:4648
2857:2:3765
2858:0:4648
2859:2:3764
2860:0:4648
2861:1:120
2862:0:4648
2863:2:3765
2864:0:4648
2865:2:3764
2866:0:4648
2867:1:19
2868:0:4648
2869:2:3765
2870:0:4648
2871:2:3764
2872:0:4648
2873:1:2636
2874:1:2637
2875:1:2641
2876:1:2642
2877:1:2650
2878:1:2651
2879:1:2655
2880:1:2656
2881:1:2664
2882:1:2669
2883:1:2673
2884:1:2674
2885:1:2682
2886:1:2683
2887:1:2687
2888:1:2688
2889:1:2682
2890:1:2683
2891:1:2687
2892:1:2688
2893:1:2696
2894:1:2701
2895:1:2702
2896:1:2713
2897:1:2714
2898:1:2715
2899:1:2726
2900:1:2731
2901:1:2732
2902:1:2743
2903:1:2744
2904:1:2745
2905:1:2743
2906:1:2744
2907:1:2745
2908:1:2756
2909:1:2763
2910:1:2767
2911:0:4648
2912:2:3765
2913:0:4648
2914:2:3764
2915:0:4648
2916:1:15
2917:0:4648
2918:2:3765
2919:0:4648
2920:2:3764
2921:0:4648
2922:1:16
-1:-1:-1
2923:0:4648
2924:2:3765
2925:0:4648
2926:2:3764
2927:0:4648
2928:2:3765
2929:0:4648
2930:2:3764
2931:0:4648
2932:2:3765
2933:0:4648
2934:2:3764