Update formal model from local copy

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

-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