Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4840
2:3:4760
3:3:4763
4:3:4763
5:3:4766
6:3:4774
7:3:4774
8:3:4777
9:3:4783
10:3:4787
11:3:4787
12:3:4790
13:3:4800
14:3:4808
15:3:4808
16:3:4811
17:3:4817
18:3:4821
19:3:4821
20:3:4824
21:3:4830
22:3:4834
23:3:4835
24:0:4840
25:3:4837
26:0:4840
27:2:2871
28:0:4840
29:2:2877
30:0:4840
31:2:2878
32:0:4840
33:2:2880
34:0:4840
35:2:2881
36:0:4840
37:2:2882
38:2:2883
39:2:2887
40:2:2888
41:2:2896
42:2:2897
43:2:2901
44:2:2902
45:2:2910
46:2:2915
47:2:2919
48:2:2920
49:2:2928
50:2:2929
51:2:2933
52:2:2934
53:2:2928
54:2:2929
55:2:2933
56:2:2934
57:2:2942
58:2:2947
59:2:2948
60:2:2959
61:2:2960
62:2:2961
63:2:2972
64:2:2977
65:2:2978
66:2:2989
67:2:2990
68:2:2991
69:2:2989
70:2:2990
71:2:2991
72:2:3002
73:2:3010
74:0:4840
75:2:2881
76:0:4840
77:2:3014
78:2:3018
79:2:3019
80:2:3023
81:2:3027
82:2:3028
83:2:3032
84:2:3040
85:2:3041
86:2:3045
87:2:3049
88:2:3050
89:2:3045
90:2:3046
91:2:3054
92:0:4840
93:2:2881
94:0:4840
95:2:3062
96:2:3063
97:2:3064
98:0:4840
99:2:2881
100:0:4840
101:2:3069
102:0:4840
103:2:3969
104:2:3970
105:2:3974
106:2:3978
107:2:3979
108:2:3983
109:2:3988
110:2:3996
111:2:4000
112:2:4001
113:2:3996
114:2:4000
115:2:4001
116:2:4005
117:2:4012
118:2:4019
119:2:4020
120:2:4027
121:2:4032
122:2:4039
123:2:4040
124:2:4039
125:2:4040
126:2:4047
127:2:4051
128:0:4840
129:2:4056
130:0:4840
131:2:4057
132:0:4840
133:2:4058
134:0:4840
135:2:4059
136:0:4840
137:1:2
138:0:4840
139:1:8
140:0:4840
141:2:4060
142:0:4840
143:1:9
144:0:4840
145:2:4059
146:0:4840
147:1:10
148:0:4840
149:2:4060
150:0:4838
151:1:11
152:0:4844
153:1:12
154:0:4844
155:1:13
156:0:4844
157:1:14
158:0:4844
159:1:15
160:0:4844
161:1:16
162:0:4844
163:1:17
164:0:4844
165:1:26
166:0:4844
167:1:30
168:1:31
169:1:35
170:1:39
171:1:40
172:1:44
173:1:52
174:1:53
175:1:57
176:1:61
177:1:62
178:1:57
179:1:61
180:1:62
181:1:66
182:1:73
183:1:80
184:1:81
185:1:88
186:1:93
187:1:100
188:1:101
189:1:100
190:1:101
191:1:108
192:1:112
193:0:4844
194:1:117
195:0:4844
196:2:4061
197:0:4844
198:2:4066
199:0:4844
200:2:4067
201:0:4844
202:2:4075
203:2:4076
204:2:4080
205:2:4084
206:2:4085
207:2:4089
208:2:4097
209:2:4098
210:2:4102
211:2:4106
212:2:4107
213:2:4102
214:2:4106
215:2:4107
216:2:4111
217:2:4118
218:2:4125
219:2:4126
220:2:4133
221:2:4138
222:2:4145
223:2:4146
224:2:4145
225:2:4146
226:2:4153
227:2:4157
228:0:4844
229:2:3071
230:2:3753
231:0:4844
232:2:2881
233:0:4844
234:2:3072
235:0:4844
236:2:2881
237:0:4844
238:2:3075
239:2:3076
240:2:3080
241:2:3081
242:2:3089
243:2:3090
244:2:3094
245:2:3095
246:2:3103
247:2:3108
248:2:3112
249:2:3113
250:2:3121
251:2:3122
252:2:3126
253:2:3127
254:2:3121
255:2:3122
256:2:3126
257:2:3127
258:2:3135
259:2:3140
260:2:3141
261:2:3152
262:2:3153
263:2:3154
264:2:3165
265:2:3170
266:2:3171
267:2:3182
268:2:3183
269:2:3184
270:2:3182
271:2:3183
272:2:3184
273:2:3195
274:2:3202
275:0:4844
276:2:2881
277:0:4844
278:2:3206
279:2:3207
280:2:3208
281:2:3220
282:2:3221
283:2:3225
284:2:3226
285:2:3234
286:2:3239
287:2:3243
288:2:3244
289:2:3252
290:2:3253
291:2:3257
292:2:3258
293:2:3252
294:2:3253
295:2:3257
296:2:3258
297:2:3266
298:2:3271
299:2:3272
300:2:3283
301:2:3284
302:2:3285
303:2:3296
304:2:3301
305:2:3302
306:2:3313
307:2:3314
308:2:3315
309:2:3313
310:2:3314
311:2:3315
312:2:3326
313:2:3337
314:2:3338
315:0:4844
316:2:2881
317:0:4844
318:2:3344
319:2:3345
320:2:3349
321:2:3350
322:2:3358
323:2:3359
324:2:3363
325:2:3364
326:2:3372
327:2:3377
328:2:3381
329:2:3382
330:2:3390
331:2:3391
332:2:3395
333:2:3396
334:2:3390
335:2:3391
336:2:3395
337:2:3396
338:2:3404
339:2:3409
340:2:3410
341:2:3421
342:2:3422
343:2:3423
344:2:3434
345:2:3439
346:2:3440
347:2:3451
348:2:3452
349:2:3453
350:2:3451
351:2:3452
352:2:3453
353:2:3464
354:0:4844
355:2:2881
356:0:4844
357:2:3473
358:2:3474
359:2:3478
360:2:3479
361:2:3487
362:2:3488
363:2:3492
364:2:3493
365:2:3501
366:2:3506
367:2:3510
368:2:3511
369:2:3519
370:2:3520
371:2:3524
372:2:3525
373:2:3519
374:2:3520
375:2:3524
376:2:3525
377:2:3533
378:2:3538
379:2:3539
380:2:3550
381:2:3551
382:2:3552
383:2:3563
384:2:3568
385:2:3569
386:2:3580
387:2:3581
388:2:3582
389:2:3580
390:2:3581
391:2:3582
392:2:3593
393:2:3600
394:0:4844
395:2:2881
396:0:4844
397:2:3604
398:2:3605
399:2:3606
400:2:3618
401:2:3619
402:2:3623
403:2:3624
404:2:3632
405:2:3637
406:2:3641
407:2:3642
408:2:3650
409:2:3651
410:2:3655
411:2:3656
412:2:3650
413:2:3651
414:2:3655
415:2:3656
416:2:3664
417:2:3669
418:2:3670
419:2:3681
420:2:3682
421:2:3683
422:2:3694
423:2:3699
424:2:3700
425:2:3711
426:2:3712
427:2:3713
428:2:3711
429:2:3712
430:2:3713
431:2:3724
432:2:3734
433:2:3735
434:0:4844
435:2:2881
436:0:4844
437:2:3741
438:0:4844
439:2:4563
440:2:4564
441:2:4568
442:2:4572
443:2:4573
444:2:4577
445:2:4585
446:2:4586
447:2:4590
448:2:4594
449:2:4595
450:2:4590
451:2:4594
452:2:4595
453:2:4599
454:2:4606
455:2:4613
456:2:4614
457:2:4621
458:2:4626
459:2:4633
460:2:4634
461:2:4633
462:2:4634
463:2:4641
464:2:4645
465:0:4844
466:2:4650
467:0:4844
468:2:4651
469:0:4844
470:2:4652
471:0:4844
472:1:26
473:0:4844
474:1:30
475:1:31
476:1:35
477:1:39
478:1:40
479:1:44
480:1:52
481:1:53
482:1:57
483:1:61
484:1:62
485:1:57
486:1:61
487:1:62
488:1:66
489:1:73
490:1:80
491:1:81
492:1:88
493:1:93
494:1:100
495:1:101
496:1:100
497:1:101
498:1:108
499:1:112
500:0:4844
501:1:117
502:0:4844
503:2:4655
504:0:4844
505:2:4660
506:0:4844
507:2:4661
508:0:4844
509:2:4669
510:2:4670
511:2:4674
512:2:4678
513:2:4679
514:2:4683
515:2:4691
516:2:4692
517:2:4696
518:2:4700
519:2:4701
520:2:4696
521:2:4700
522:2:4701
523:2:4705
524:2:4712
525:2:4719
526:2:4720
527:2:4727
528:2:4732
529:2:4739
530:2:4740
531:2:4739
532:2:4740
533:2:4747
534:2:4751
535:0:4844
536:2:3743
537:2:3753
538:0:4844
539:2:2881
540:0:4844
541:2:3744
542:2:3745
543:0:4844
544:2:2881
545:0:4844
546:2:3749
547:0:4844
548:2:3757
549:0:4844
550:2:2878
551:0:4844
552:2:2880
553:0:4844
554:2:2881
555:0:4844
556:2:2882
557:2:2883
558:2:2887
559:2:2888
560:2:2896
561:2:2897
562:2:2901
563:2:2902
564:2:2910
565:2:2915
566:2:2919
567:2:2920
568:2:2928
569:2:2929
570:2:2930
571:2:2928
572:2:2929
573:2:2933
574:2:2934
575:2:2942
576:2:2947
577:2:2948
578:2:2959
579:2:2960
580:2:2961
581:2:2972
582:2:2977
583:2:2978
584:2:2989
585:2:2990
586:2:2991
587:2:2989
588:2:2990
589:2:2991
590:2:3002
591:2:3010
592:0:4844
593:2:2881
594:0:4844
595:2:3014
596:2:3018
597:2:3019
598:2:3023
599:2:3027
600:2:3028
601:2:3032
602:2:3040
603:2:3041
604:2:3045
605:2:3046
606:2:3045
607:2:3049
608:2:3050
609:2:3054
610:0:4844
611:2:2881
612:0:4844
613:2:3062
614:2:3063
615:2:3064
616:0:4844
617:2:2881
618:0:4844
619:2:3069
620:0:4844
621:2:3969
622:2:3970
623:2:3974
624:2:3978
625:2:3979
626:2:3983
627:2:3988
628:2:3996
629:2:4000
630:2:4001
631:2:3996
632:2:4000
633:2:4001
634:2:4005
635:2:4012
636:2:4019
637:2:4020
638:2:4027
639:2:4032
640:2:4039
641:2:4040
642:2:4039
643:2:4040
644:2:4047
645:2:4051
646:0:4844
647:2:4056
648:0:4844
649:2:4057
650:0:4844
651:2:4058
652:0:4844
653:1:26
654:0:4844
655:1:30
656:1:31
657:1:35
658:1:39
659:1:40
660:1:44
661:1:52
662:1:53
663:1:57
664:1:61
665:1:62
666:1:57
667:1:61
668:1:62
669:1:66
670:1:73
671:1:80
672:1:81
673:1:88
674:1:93
675:1:100
676:1:101
677:1:100
678:1:101
679:1:108
680:1:112
681:0:4844
682:1:117
683:0:4844
684:2:4061
685:0:4844
686:2:4066
687:0:4844
688:2:4067
689:0:4844
690:2:4075
691:2:4076
692:2:4080
693:2:4084
694:2:4085
695:2:4089
696:2:4097
697:2:4098
698:2:4102
699:2:4106
700:2:4107
701:2:4102
702:2:4106
703:2:4107
704:2:4111
705:2:4118
706:2:4125
707:2:4126
708:2:4133
709:2:4138
710:2:4145
711:2:4146
712:2:4145
713:2:4146
714:2:4153
715:2:4157
716:0:4844
717:2:3071
718:2:3753
719:0:4844
720:2:2881
721:0:4844
722:2:3072
723:0:4844
724:2:2881
725:0:4844
726:2:3075
727:2:3076
728:2:3080
729:2:3081
730:2:3089
731:2:3090
732:2:3094
733:2:3095
734:2:3103
735:2:3108
736:2:3112
737:2:3113
738:2:3121
739:2:3122
740:2:3126
741:2:3127
742:2:3121
743:2:3122
744:2:3126
745:2:3127
746:2:3135
747:2:3140
748:2:3141
749:2:3152
750:2:3153
751:2:3154
752:2:3165
753:2:3170
754:2:3171
755:2:3182
756:2:3183
757:2:3184
758:2:3182
759:2:3183
760:2:3184
761:2:3195
762:2:3202
763:0:4844
764:2:2881
765:0:4844
766:2:3206
767:2:3207
768:2:3208
769:2:3220
770:2:3221
771:2:3225
772:2:3226
773:2:3234
774:2:3239
775:2:3243
776:2:3244
777:2:3252
778:2:3253
779:2:3257
780:2:3258
781:2:3252
782:2:3253
783:2:3257
784:2:3258
785:2:3266
786:2:3271
787:2:3272
788:2:3283
789:2:3284
790:2:3285
791:2:3296
792:2:3301
793:2:3302
794:2:3313
795:2:3314
796:2:3315
797:2:3313
798:2:3314
799:2:3315
800:2:3326
801:2:3337
802:2:3338
803:0:4844
804:2:2881
805:0:4844
806:2:3344
807:2:3345
808:2:3349
809:2:3350
810:2:3358
811:2:3359
812:2:3363
813:2:3364
814:2:3372
815:2:3377
816:2:3381
817:2:3382
818:2:3390
819:2:3391
820:2:3395
821:2:3396
822:2:3390
823:2:3391
824:2:3395
825:2:3396
826:2:3404
827:2:3409
828:2:3410
829:2:3421
830:2:3422
831:2:3423
832:2:3434
833:2:3439
834:2:3440
835:2:3451
836:2:3452
837:2:3453
838:2:3451
839:2:3452
840:2:3453
841:2:3464
842:0:4844
843:2:2881
844:0:4844
845:2:3473
846:2:3474
847:2:3478
848:2:3479
849:2:3487
850:2:3488
851:2:3492
852:2:3493
853:2:3501
854:2:3506
855:2:3510
856:2:3511
857:2:3519
858:2:3520
859:2:3524
860:2:3525
861:2:3519
862:2:3520
863:2:3524
864:2:3525
865:2:3533
866:2:3538
867:2:3539
868:2:3550
869:2:3551
870:2:3552
871:2:3563
872:2:3568
873:2:3569
874:2:3580
875:2:3581
876:2:3582
877:2:3580
878:2:3581
879:2:3582
880:2:3593
881:2:3600
882:0:4844
883:2:2881
884:0:4844
885:2:3604
886:2:3605
887:2:3606
888:2:3618
889:2:3619
890:2:3623
891:2:3624
892:2:3632
893:2:3637
894:2:3641
895:2:3642
896:2:3650
897:2:3651
898:2:3655
899:2:3656
900:2:3650
901:2:3651
902:2:3655
903:2:3656
904:2:3664
905:2:3669
906:2:3670
907:2:3681
908:2:3682
909:2:3683
910:2:3694
911:2:3699
912:2:3700
913:2:3711
914:2:3712
915:2:3713
916:2:3711
917:2:3712
918:2:3713
919:2:3724
920:2:3734
921:2:3735
922:0:4844
923:2:2881
924:0:4844
925:2:3741
926:0:4844
927:2:4563
928:2:4564
929:2:4568
930:2:4572
931:2:4573
932:2:4577
933:2:4585
934:2:4586
935:2:4590
936:2:4594
937:2:4595
938:2:4590
939:2:4594
940:2:4595
941:2:4599
942:2:4606
943:2:4613
944:2:4614
945:2:4621
946:2:4626
947:2:4633
948:2:4634
949:2:4633
950:2:4634
951:2:4641
952:2:4645
953:0:4844
954:2:4650
955:0:4844
956:2:4651
957:0:4844
958:2:4652
959:0:4844
960:1:26
961:0:4844
962:1:30
963:1:31
964:1:35
965:1:39
966:1:40
967:1:44
968:1:52
969:1:53
970:1:57
971:1:61
972:1:62
973:1:57
974:1:61
975:1:62
976:1:66
977:1:73
978:1:80
979:1:81
980:1:88
981:1:93
982:1:100
983:1:101
984:1:100
985:1:101
986:1:108
987:1:112
988:0:4844
989:1:117
990:0:4844
991:2:4655
992:0:4844
993:2:4660
994:0:4844
995:2:4661
996:0:4844
997:2:4669
998:2:4670
999:2:4674
1000:2:4678
1001:2:4679
1002:2:4683
1003:2:4691
1004:2:4692
1005:2:4696
1006:2:4700
1007:2:4701
1008:2:4696
1009:2:4700
1010:2:4701
1011:2:4705
1012:2:4712
1013:2:4719
1014:2:4720
1015:2:4727
1016:2:4732
1017:2:4739
1018:2:4740
1019:2:4739
1020:2:4740
1021:2:4747
1022:2:4751
1023:0:4844
1024:2:3743
1025:2:3753
1026:0:4844
1027:2:2881
1028:0:4844
1029:2:3744
1030:2:3745
1031:0:4844
1032:2:2881
1033:0:4844
1034:2:3749
1035:0:4844
1036:2:3757
1037:0:4844
1038:2:2878
1039:0:4844
1040:2:2880
1041:0:4844
1042:2:2881
1043:0:4844
1044:2:2882
1045:2:2883
1046:2:2887
1047:2:2888
1048:2:2896
1049:2:2897
1050:2:2901
1051:2:2902
1052:2:2910
1053:2:2915
1054:2:2919
1055:2:2920
1056:2:2928
1057:2:2929
1058:2:2933
1059:2:2934
1060:2:2928
1061:2:2929
1062:2:2930
1063:2:2942
1064:2:2947
1065:2:2948
1066:2:2959
1067:2:2960
1068:2:2961
1069:2:2972
1070:2:2977
1071:2:2978
1072:2:2989
1073:2:2990
1074:2:2991
1075:2:2989
1076:2:2990
1077:2:2991
1078:2:3002
1079:2:3010
1080:0:4844
1081:2:2881
1082:0:4844
1083:2:3014
1084:2:3018
1085:2:3019
1086:2:3023
1087:2:3027
1088:2:3028
1089:2:3032
1090:2:3040
1091:2:3041
1092:2:3045
1093:2:3049
1094:2:3050
1095:2:3045
1096:2:3046
1097:2:3054
1098:0:4844
1099:2:2881
1100:0:4844
1101:2:3062
1102:2:3063
1103:2:3064
1104:0:4844
1105:2:2881
1106:0:4844
1107:2:3069
1108:0:4844
1109:2:3969
1110:2:3970
1111:2:3974
1112:2:3978
1113:2:3979
1114:2:3983
1115:2:3988
1116:2:3996
1117:2:4000
1118:2:4001
1119:2:3996
1120:2:4000
1121:2:4001
1122:2:4005
1123:2:4012
1124:2:4019
1125:2:4020
1126:2:4027
1127:2:4032
1128:2:4039
1129:2:4040
1130:2:4039
1131:2:4040
1132:2:4047
1133:2:4051
1134:0:4844
1135:2:4056
1136:0:4844
1137:2:4057
1138:0:4844
1139:2:4058
1140:0:4844
1141:1:26
1142:0:4844
1143:1:30
1144:1:31
1145:1:35
1146:1:39
1147:1:40
1148:1:44
1149:1:52
1150:1:53
1151:1:57
1152:1:61
1153:1:62
1154:1:57
1155:1:61
1156:1:62
1157:1:66
1158:1:73
1159:1:80
1160:1:81
1161:1:88
1162:1:93
1163:1:100
1164:1:101
1165:1:100
1166:1:101
1167:1:108
1168:1:112
1169:0:4844
1170:1:117
1171:0:4844
1172:2:4061
1173:0:4844
1174:2:4066
1175:0:4844
1176:2:4067
1177:0:4844
1178:2:4075
1179:2:4076
1180:2:4080
1181:2:4084
1182:2:4085
1183:2:4089
1184:2:4097
1185:2:4098
1186:2:4102
1187:2:4106
1188:2:4107
1189:2:4102
1190:2:4106
1191:2:4107
1192:2:4111
1193:2:4118
1194:2:4125
1195:2:4126
1196:2:4133
1197:2:4138
1198:2:4145
1199:2:4146
1200:2:4145
1201:2:4146
1202:2:4153
1203:2:4157
1204:0:4844
1205:2:3071
1206:2:3753
1207:0:4844
1208:2:2881
1209:0:4844
1210:2:3072
1211:0:4844
1212:2:2881
1213:0:4844
1214:2:3075
1215:2:3076
1216:2:3080
1217:2:3081
1218:2:3089
1219:2:3090
1220:2:3094
1221:2:3095
1222:2:3103
1223:2:3108
1224:2:3112
1225:2:3113
1226:2:3121
1227:2:3122
1228:2:3126
1229:2:3127
1230:2:3121
1231:2:3122
1232:2:3126
1233:2:3127
1234:2:3135
1235:2:3140
1236:2:3141
1237:2:3152
1238:2:3153
1239:2:3154
1240:2:3165
1241:2:3170
1242:2:3171
1243:2:3182
1244:2:3183
1245:2:3184
1246:2:3182
1247:2:3183
1248:2:3184
1249:2:3195
1250:2:3202
1251:0:4844
1252:2:2881
1253:0:4844
1254:2:3206
1255:2:3207
1256:2:3208
1257:2:3220
1258:2:3221
1259:2:3225
1260:2:3226
1261:2:3234
1262:2:3239
1263:2:3243
1264:2:3244
1265:2:3252
1266:2:3253
1267:2:3257
1268:2:3258
1269:2:3252
1270:2:3253
1271:2:3257
1272:2:3258
1273:2:3266
1274:2:3271
1275:2:3272
1276:2:3283
1277:2:3284
1278:2:3285
1279:2:3296
1280:2:3301
1281:2:3302
1282:2:3313
1283:2:3314
1284:2:3315
1285:2:3313
1286:2:3314
1287:2:3315
1288:2:3326
1289:2:3337
1290:2:3338
1291:0:4844
1292:2:2881
1293:0:4844
1294:2:3344
1295:2:3345
1296:2:3349
1297:2:3350
1298:2:3358
1299:2:3359
1300:2:3363
1301:2:3364
1302:2:3372
1303:2:3377
1304:2:3381
1305:2:3382
1306:2:3390
1307:2:3391
1308:2:3395
1309:2:3396
1310:2:3390
1311:2:3391
1312:2:3395
1313:2:3396
1314:2:3404
1315:2:3409
1316:2:3410
1317:2:3421
1318:2:3422
1319:2:3423
1320:2:3434
1321:2:3439
1322:2:3440
1323:2:3451
1324:2:3452
1325:2:3453
1326:2:3451
1327:2:3452
1328:2:3453
1329:2:3464
1330:0:4844
1331:2:2881
1332:0:4844
1333:2:3473
1334:2:3474
1335:2:3478
1336:2:3479
1337:2:3487
1338:2:3488
1339:2:3492
1340:2:3493
1341:2:3501
1342:2:3506
1343:2:3510
1344:2:3511
1345:2:3519
1346:2:3520
1347:2:3524
1348:2:3525
1349:2:3519
1350:2:3520
1351:2:3524
1352:2:3525
1353:2:3533
1354:2:3538
1355:2:3539
1356:2:3550
1357:2:3551
1358:2:3552
1359:2:3563
1360:2:3568
1361:2:3569
1362:2:3580
1363:2:3581
1364:2:3582
1365:2:3580
1366:2:3581
1367:2:3582
1368:2:3593
1369:2:3600
1370:0:4844
1371:2:2881
1372:0:4844
1373:2:3604
1374:2:3605
1375:2:3606
1376:2:3618
1377:2:3619
1378:2:3623
1379:2:3624
1380:2:3632
1381:2:3637
1382:2:3641
1383:2:3642
1384:2:3650
1385:2:3651
1386:2:3655
1387:2:3656
1388:2:3650
1389:2:3651
1390:2:3655
1391:2:3656
1392:2:3664
1393:2:3669
1394:2:3670
1395:2:3681
1396:2:3682
1397:2:3683
1398:2:3694
1399:2:3699
1400:2:3700
1401:2:3711
1402:2:3712
1403:2:3713
1404:2:3711
1405:2:3712
1406:2:3713
1407:2:3724
1408:2:3734
1409:2:3735
1410:0:4844
1411:2:2881
1412:0:4844
1413:2:3741
1414:0:4844
1415:2:4563
1416:2:4564
1417:2:4568
1418:2:4572
1419:2:4573
1420:2:4577
1421:2:4585
1422:2:4586
1423:2:4590
1424:2:4594
1425:2:4595
1426:2:4590
1427:2:4594
1428:2:4595
1429:2:4599
1430:2:4606
1431:2:4613
1432:2:4614
1433:2:4621
1434:2:4626
1435:2:4633
1436:2:4634
1437:2:4633
1438:2:4634
1439:2:4641
1440:2:4645
1441:0:4844
1442:2:4650
1443:0:4844
1444:2:4651
1445:0:4844
1446:2:4652
1447:0:4844
1448:1:26
1449:0:4844
1450:1:30
1451:1:31
1452:1:35
1453:1:39
1454:1:40
1455:1:44
1456:1:52
1457:1:53
1458:1:57
1459:1:61
1460:1:62
1461:1:57
1462:1:61
1463:1:62
1464:1:66
1465:1:73
1466:1:80
1467:1:81
1468:1:88
1469:1:93
1470:1:100
1471:1:101
1472:1:100
1473:1:101
1474:1:108
1475:1:112
1476:0:4844
1477:1:117
1478:0:4844
1479:2:4655
1480:0:4844
1481:2:4660
1482:0:4844
1483:2:4661
1484:0:4844
1485:2:4669
1486:2:4670
1487:2:4674
1488:2:4678
1489:2:4679
1490:2:4683
1491:2:4691
1492:2:4692
1493:2:4696
1494:2:4700
1495:2:4701
1496:2:4696
1497:2:4700
1498:2:4701
1499:2:4705
1500:2:4712
1501:2:4719
1502:2:4720
1503:2:4727
1504:2:4732
1505:2:4739
1506:2:4740
1507:2:4739
1508:2:4740
1509:2:4747
1510:2:4751
1511:0:4844
1512:2:3743
1513:2:3753
1514:0:4844
1515:2:2881
1516:0:4844
1517:2:3744
1518:2:3745
1519:0:4844
1520:2:2881
1521:0:4844
1522:2:3749
1523:0:4844
1524:2:3757
1525:0:4844
1526:2:3758
1527:0:4844
1528:2:3763
1529:0:4844
1530:2:3767
1531:2:3768
1532:2:3772
1533:2:3776
1534:2:3777
1535:2:3781
1536:2:3789
1537:2:3790
1538:2:3794
1539:2:3795
1540:2:3794
1541:2:3798
1542:2:3799
1543:2:3803
1544:2:3810
1545:2:3817
1546:2:3818
1547:2:3825
1548:2:3830
1549:2:3837
1550:2:3838
1551:2:3837
1552:2:3838
1553:2:3845
1554:2:3849
1555:0:4844
1556:2:3854
1557:0:4844
1558:2:3855
1559:0:4844
1560:2:3856
1561:0:4844
1562:1:26
1563:0:4844
1564:1:30
1565:1:31
1566:1:35
1567:1:39
1568:1:40
1569:1:44
1570:1:52
1571:1:53
1572:1:57
1573:1:61
1574:1:62
1575:1:57
1576:1:61
1577:1:62
1578:1:66
1579:1:73
1580:1:80
1581:1:81
1582:1:88
1583:1:93
1584:1:100
1585:1:101
1586:1:100
1587:1:101
1588:1:108
1589:1:112
1590:0:4844
1591:1:117
1592:0:4844
1593:2:3859
1594:0:4844
1595:2:3864
1596:0:4844
1597:2:3865
1598:0:4844
1599:2:3873
1600:2:3874
1601:2:3878
1602:2:3882
1603:2:3883
1604:2:3887
1605:2:3895
1606:2:3896
1607:2:3900
1608:2:3904
1609:2:3905
1610:2:3900
1611:2:3904
1612:2:3905
1613:2:3909
1614:2:3916
1615:2:3923
1616:2:3924
1617:2:3931
1618:2:3936
1619:2:3943
1620:2:3944
1621:2:3943
1622:2:3944
1623:2:3951
1624:2:3955
1625:0:4844
1626:2:3961
1627:0:4844
1628:2:3763
1629:0:4844
1630:2:3767
1631:2:3768
1632:2:3772
1633:2:3776
1634:2:3777
1635:2:3781
1636:2:3789
1637:2:3790
1638:2:3794
1639:2:3798
1640:2:3799
1641:2:3794
1642:2:3798
1643:2:3799
1644:2:3803
1645:2:3810
1646:2:3817
1647:2:3818
1648:2:3825
1649:2:3830
1650:2:3837
1651:2:3838
1652:2:3837
1653:2:3838
1654:2:3845
1655:2:3849
1656:0:4844
1657:2:3854
1658:0:4844
1659:2:3855
1660:0:4844
1661:2:3856
1662:0:4844
1663:1:26
-1:-1:-1
1664:0:4844
1665:1:30
1666:1:31
1667:1:35
1668:1:39
1669:1:40
1670:1:44
1671:1:52
1672:1:53
1673:1:57
1674:1:61
1675:1:62
1676:1:57
1677:1:61
1678:1:62
1679:1:66
1680:1:73
1681:1:80
1682:1:81
1683:1:88
1684:1:93
1685:1:100
1686:1:101
1687:1:100
1688:1:101
1689:1:108
1690:1:112
1691:0:4844
1692:1:117
1693:0:4844
1694:2:3859
1695:0:4844
1696:2:3864
1697:0:4844
1698:2:3865
1699:0:4844
1700:2:3873
1701:2:3874
1702:2:3878
1703:2:3882
1704:2:3883
1705:2:3887
1706:2:3895
1707:2:3896
1708:2:3900
1709:2:3904
1710:2:3905
1711:2:3900
1712:2:3904
1713:2:3905
1714:2:3909
1715:2:3916
1716:2:3923
1717:2:3924
1718:2:3931
1719:2:3936
1720:2:3943
1721:2:3944
1722:2:3943
1723:2:3944
1724:2:3951
1725:2:3955
1726:0:4844
1727:2:3961
1728:0:4844
1729:2:3763
1730:0:4844
1731:2:3767
1732:2:3768
1733:2:3772
1734:2:3776
1735:2:3777
1736:2:3781
1737:2:3789
1738:2:3790
1739:2:3794
1740:2:3798
1741:2:3799
1742:2:3794
1743:2:3798
1744:2:3799
1745:2:3803
1746:2:3810
1747:2:3817
1748:2:3818
1749:2:3825
1750:2:3830
1751:2:3837
1752:2:3838
1753:2:3837
1754:2:3838
1755:2:3845
1756:2:3849
1757:0:4844
1758:2:3854
1759:0:4844
1760:2:3855
1761:0:4844
1762:2:3856
1763:0:4844
1764:1:26