Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4645
2:3:4565
3:3:4568
4:3:4568
5:3:4571
6:3:4579
7:3:4579
8:3:4582
9:3:4588
10:3:4592
11:3:4592
12:3:4595
13:3:4605
14:3:4613
15:3:4613
16:3:4616
17:3:4622
18:3:4626
19:3:4626
20:3:4629
21:3:4635
22:3:4639
23:3:4640
24:0:4645
25:3:4642
26:0:4645
27:2:2872
28:0:4645
29:2:2878
30:0:4645
31:2:2879
32:0:4645
33:2:2881
34:0:4645
35:2:2882
36:0:4645
37:2:2883
38:0:4645
39:2:2884
40:2:2885
41:2:2889
42:2:2890
43:2:2898
44:2:2899
45:2:2903
46:2:2904
47:2:2912
48:2:2917
49:2:2921
50:2:2922
51:2:2930
52:2:2931
53:2:2935
54:2:2936
55:2:2930
56:2:2931
57:2:2935
58:2:2936
59:2:2944
60:2:2949
61:2:2950
62:2:2961
63:2:2962
64:2:2963
65:2:2974
66:2:2979
67:2:2980
68:2:2991
69:2:2992
70:2:2993
71:2:2991
72:2:2992
73:2:2993
74:2:3004
75:2:3012
76:0:4645
77:2:2883
78:0:4645
79:2:3064
80:2:3065
81:2:3066
82:0:4645
83:2:2883
84:0:4645
85:2:3071
86:0:4645
87:2:3774
88:2:3775
89:2:3779
90:2:3783
91:2:3784
92:2:3788
93:2:3793
94:2:3801
95:2:3805
96:2:3806
97:2:3801
98:2:3802
99:2:3810
100:2:3817
101:2:3824
102:2:3825
103:2:3832
104:2:3837
105:2:3844
106:2:3845
107:2:3844
108:2:3845
109:2:3852
110:2:3856
111:0:4645
112:2:3861
113:0:4645
114:2:3862
115:0:4645
116:2:3863
117:0:4645
118:2:3864
119:0:4645
120:1:2
121:0:4645
122:2:3865
123:0:4645
124:1:8
125:0:4645
126:1:9
127:0:4645
128:2:3864
129:0:4645
130:1:10
131:0:4645
132:2:3865
133:0:4645
134:1:11
135:0:4645
136:2:3864
137:0:4645
138:1:12
139:0:4645
140:2:3865
141:0:4645
142:1:13
143:0:4645
144:2:3864
145:0:4645
146:1:14
147:0:4645
148:2:3865
149:0:4645
150:1:15
151:0:4645
152:1:16
153:0:4645
154:2:3864
155:0:4645
156:1:17
157:0:4645
158:2:3865
159:0:4645
160:1:28
161:0:4645
162:2:3864
163:0:4645
164:1:32
165:1:33
166:1:37
167:1:41
168:1:42
169:1:46
170:1:54
171:1:55
172:1:59
173:1:63
174:1:64
175:1:59
176:1:63
177:1:64
178:1:68
179:1:75
180:1:82
181:1:83
182:1:90
183:1:95
184:1:102
185:1:103
186:1:102
187:1:103
188:1:110
189:1:114
190:0:4645
191:2:3865
192:0:4645
193:1:119
194:0:4645
195:2:3866
196:0:4645
197:2:3871
198:0:4645
199:2:3872
200:0:4645
201:2:3880
202:2:3881
203:2:3885
204:2:3889
205:2:3890
206:2:3894
207:2:3902
208:2:3903
209:2:3907
210:2:3911
211:2:3912
212:2:3907
213:2:3911
214:2:3912
215:2:3916
216:2:3923
217:2:3930
218:2:3931
219:2:3938
220:2:3943
221:2:3950
222:2:3951
223:2:3950
224:2:3951
225:2:3958
226:2:3962
227:0:4645
228:2:3073
229:2:3755
230:0:4645
231:2:2883
232:0:4645
233:2:3074
234:0:4645
235:2:2883
236:0:4645
237:2:3077
238:2:3078
239:2:3082
240:2:3083
241:2:3091
242:2:3092
243:2:3096
244:2:3097
245:2:3105
246:2:3110
247:2:3114
248:2:3115
249:2:3123
250:2:3124
251:2:3128
252:2:3129
253:2:3123
254:2:3124
255:2:3128
256:2:3129
257:2:3137
258:2:3142
259:2:3143
260:2:3154
261:2:3155
262:2:3156
263:2:3167
264:2:3172
265:2:3173
266:2:3184
267:2:3185
268:2:3186
269:2:3184
270:2:3185
271:2:3186
272:2:3197
273:2:3204
274:0:4645
275:2:2883
276:0:4645
277:2:3208
278:2:3209
279:2:3210
280:2:3222
281:2:3223
282:2:3227
283:2:3228
284:2:3236
285:2:3241
286:2:3245
287:2:3246
288:2:3254
289:2:3255
290:2:3259
291:2:3260
292:2:3254
293:2:3255
294:2:3259
295:2:3260
296:2:3268
297:2:3273
298:2:3274
299:2:3285
300:2:3286
301:2:3287
302:2:3298
303:2:3303
304:2:3304
305:2:3315
306:2:3316
307:2:3317
308:2:3315
309:2:3316
310:2:3317
311:2:3328
312:2:3339
313:2:3340
314:0:4645
315:2:2883
316:0:4645
317:2:3346
318:2:3347
319:2:3351
320:2:3352
321:2:3360
322:2:3361
323:2:3365
324:2:3366
325:2:3374
326:2:3379
327:2:3383
328:2:3384
329:2:3392
330:2:3393
331:2:3397
332:2:3398
333:2:3392
334:2:3393
335:2:3397
336:2:3398
337:2:3406
338:2:3411
339:2:3412
340:2:3423
341:2:3424
342:2:3425
343:2:3436
344:2:3441
345:2:3442
346:2:3453
347:2:3454
348:2:3455
349:2:3453
350:2:3454
351:2:3455
352:2:3466
353:0:4645
354:2:2883
355:0:4645
356:2:3475
357:2:3476
358:2:3480
359:2:3481
360:2:3489
361:2:3490
362:2:3494
363:2:3495
364:2:3503
365:2:3508
366:2:3512
367:2:3513
368:2:3521
369:2:3522
370:2:3526
371:2:3527
372:2:3521
373:2:3522
374:2:3526
375:2:3527
376:2:3535
377:2:3540
378:2:3541
379:2:3552
380:2:3553
381:2:3554
382:2:3565
383:2:3570
384:2:3571
385:2:3582
386:2:3583
387:2:3584
388:2:3582
389:2:3583
390:2:3584
391:2:3595
392:2:3602
393:0:4645
394:2:2883
395:0:4645
396:2:3606
397:2:3607
398:2:3608
399:2:3620
400:2:3621
401:2:3625
402:2:3626
403:2:3634
404:2:3639
405:2:3643
406:2:3644
407:2:3652
408:2:3653
409:2:3657
410:2:3658
411:2:3652
412:2:3653
413:2:3657
414:2:3658
415:2:3666
416:2:3671
417:2:3672
418:2:3683
419:2:3684
420:2:3685
421:2:3696
422:2:3701
423:2:3702
424:2:3713
425:2:3714
426:2:3715
427:2:3713
428:2:3714
429:2:3715
430:2:3726
431:2:3736
432:2:3737
433:0:4645
434:2:2883
435:0:4645
436:2:3743
437:0:4645
438:2:4368
439:2:4369
440:2:4373
441:2:4377
442:2:4378
443:2:4382
444:2:4390
445:2:4391
446:2:4395
447:2:4399
448:2:4400
449:2:4395
450:2:4399
451:2:4400
452:2:4404
453:2:4411
454:2:4418
455:2:4419
456:2:4426
457:2:4431
458:2:4438
459:2:4439
460:2:4438
461:2:4439
462:2:4446
463:2:4450
464:0:4645
465:2:4455
466:0:4645
467:2:4456
468:0:4645
469:2:4457
470:0:4645
471:2:4458
472:0:4645
473:1:28
474:0:4645
475:2:4459
476:0:4645
477:1:32
478:1:33
479:1:37
480:1:41
481:1:42
482:1:46
483:1:54
484:1:55
485:1:59
486:1:63
487:1:64
488:1:59
489:1:63
490:1:64
491:1:68
492:1:75
493:1:82
494:1:83
495:1:90
496:1:95
497:1:102
498:1:103
499:1:102
500:1:103
501:1:110
502:1:114
503:0:4645
504:2:4458
505:0:4645
506:1:119
507:0:4645
508:2:4459
509:0:4645
510:2:4460
511:0:4645
512:2:4465
513:0:4645
514:2:4466
515:0:4645
516:2:4474
517:2:4475
518:2:4479
519:2:4483
520:2:4484
521:2:4488
522:2:4496
523:2:4497
524:2:4501
525:2:4505
526:2:4506
527:2:4501
528:2:4505
529:2:4506
530:2:4510
531:2:4517
532:2:4524
533:2:4525
534:2:4532
535:2:4537
536:2:4544
537:2:4545
538:2:4544
539:2:4545
540:2:4552
541:2:4556
542:0:4645
543:2:3745
544:2:3755
545:0:4645
546:2:2883
547:0:4645
548:2:3746
549:2:3747
550:0:4645
551:2:2883
552:0:4645
553:2:3751
554:0:4645
555:2:3759
556:0:4645
557:2:2879
558:0:4645
559:2:2881
560:0:4645
561:2:2882
562:0:4645
563:2:2883
564:0:4645
565:2:3064
566:2:3065
567:2:3066
568:0:4645
569:2:2883
570:0:4645
571:2:2884
572:2:2885
573:2:2889
574:2:2890
575:2:2898
576:2:2899
577:2:2903
578:2:2904
579:2:2912
580:2:2917
581:2:2918
582:2:2930
583:2:2931
584:2:2932
585:2:2930
586:2:2931
587:2:2935
588:2:2936
589:2:2944
590:2:2949
591:2:2950
592:2:2961
593:2:2962
594:2:2963
595:2:2974
596:2:2979
597:2:2980
598:2:2991
599:2:2992
600:2:2993
601:2:2991
602:2:2992
603:2:2993
604:2:3004
605:2:3012
606:0:4645
607:2:2883
608:0:4645
609:2:3071
610:0:4645
611:2:3774
612:2:3775
613:2:3779
614:2:3783
615:2:3784
616:2:3788
617:2:3796
618:2:3797
619:2:3801
620:2:3802
621:2:3801
622:2:3805
623:2:3806
624:2:3810
625:2:3817
626:2:3824
627:2:3825
628:2:3832
629:2:3837
630:2:3844
631:2:3845
632:2:3844
633:2:3845
634:2:3852
635:2:3856
636:0:4645
637:2:3861
638:0:4645
639:2:3862
640:0:4645
641:2:3863
642:0:4645
643:2:3864
644:0:4645
645:1:28
646:0:4645
647:2:3865
648:0:4645
649:1:32
650:1:33
651:1:37
652:1:41
653:1:42
654:1:46
655:1:54
656:1:55
657:1:59
658:1:63
659:1:64
660:1:59
661:1:63
662:1:64
663:1:68
664:1:75
665:1:82
666:1:83
667:1:90
668:1:95
669:1:102
670:1:103
671:1:102
672:1:103
673:1:110
674:1:114
675:0:4645
676:2:3864
677:0:4645
678:1:119
679:0:4645
680:2:3865
681:0:4645
682:2:3866
683:0:4645
684:2:3871
685:0:4645
686:2:3872
687:0:4645
688:2:3880
689:2:3881
690:2:3885
691:2:3889
692:2:3890
693:2:3894
694:2:3902
695:2:3903
696:2:3907
697:2:3911
698:2:3912
699:2:3907
700:2:3911
701:2:3912
702:2:3916
703:2:3923
704:2:3930
705:2:3931
706:2:3938
707:2:3943
708:2:3950
709:2:3951
710:2:3950
711:2:3951
712:2:3958
713:2:3962
714:0:4645
715:2:3073
716:2:3755
717:0:4645
718:2:2883
719:0:4645
720:2:3074
721:0:4645
722:2:2883
723:0:4645
724:2:3077
725:2:3078
726:2:3082
727:2:3083
728:2:3091
729:2:3092
730:2:3096
731:2:3097
732:2:3105
733:2:3110
734:2:3114
735:2:3115
736:2:3123
737:2:3124
738:2:3128
739:2:3129
740:2:3123
741:2:3124
742:2:3128
743:2:3129
744:2:3137
745:2:3142
746:2:3143
747:2:3154
748:2:3155
749:2:3156
750:2:3167
751:2:3172
752:2:3173
753:2:3184
754:2:3185
755:2:3186
756:2:3184
757:2:3185
758:2:3186
759:2:3197
760:2:3204
761:0:4645
762:2:2883
763:0:4645
764:2:3208
765:2:3209
766:2:3210
767:2:3222
768:2:3223
769:2:3227
770:2:3228
771:2:3236
772:2:3241
773:2:3245
774:2:3246
775:2:3254
776:2:3255
777:2:3259
778:2:3260
779:2:3254
780:2:3255
781:2:3259
782:2:3260
783:2:3268
784:2:3273
785:2:3274
786:2:3285
787:2:3286
788:2:3287
789:2:3298
790:2:3303
791:2:3304
792:2:3315
793:2:3316
794:2:3317
795:2:3315
796:2:3316
797:2:3317
798:2:3328
799:2:3339
800:2:3340
801:0:4645
802:2:2883
803:0:4645
804:2:3346
805:2:3347
806:2:3351
807:2:3352
808:2:3360
809:2:3361
810:2:3365
811:2:3366
812:2:3374
813:2:3379
814:2:3383
815:2:3384
816:2:3392
817:2:3393
818:2:3397
819:2:3398
820:2:3392
821:2:3393
822:2:3397
823:2:3398
824:2:3406
825:2:3411
826:2:3412
827:2:3423
828:2:3424
829:2:3425
830:2:3436
831:2:3441
832:2:3442
833:2:3453
834:2:3454
835:2:3455
836:2:3453
837:2:3454
838:2:3455
839:2:3466
840:0:4645
841:2:2883
842:0:4645
843:2:3475
844:2:3476
845:2:3480
846:2:3481
847:2:3489
848:2:3490
849:2:3494
850:2:3495
851:2:3503
852:2:3508
853:2:3512
854:2:3513
855:2:3521
856:2:3522
857:2:3526
858:2:3527
859:2:3521
860:2:3522
861:2:3526
862:2:3527
863:2:3535
864:2:3540
865:2:3541
866:2:3552
867:2:3553
868:2:3554
869:2:3565
870:2:3570
871:2:3571
872:2:3582
873:2:3583
874:2:3584
875:2:3582
876:2:3583
877:2:3584
878:2:3595
879:2:3602
880:0:4645
881:2:2883
882:0:4645
883:2:3606
884:2:3607
885:2:3608
886:2:3620
887:2:3621
888:2:3625
889:2:3626
890:2:3634
891:2:3639
892:2:3643
893:2:3644
894:2:3652
895:2:3653
896:2:3657
897:2:3658
898:2:3652
899:2:3653
900:2:3657
901:2:3658
902:2:3666
903:2:3671
904:2:3672
905:2:3683
906:2:3684
907:2:3685
908:2:3696
909:2:3701
910:2:3702
911:2:3713
912:2:3714
913:2:3715
914:2:3713
915:2:3714
916:2:3715
917:2:3726
918:2:3736
919:2:3737
920:0:4645
921:2:2883
922:0:4645
923:2:3743
924:0:4645
925:2:4368
926:2:4369
927:2:4373
928:2:4377
929:2:4378
930:2:4382
931:2:4390
932:2:4391
933:2:4395
934:2:4399
935:2:4400
936:2:4395
937:2:4399
938:2:4400
939:2:4404
940:2:4411
941:2:4418
942:2:4419
943:2:4426
944:2:4431
945:2:4438
946:2:4439
947:2:4438
948:2:4439
949:2:4446
950:2:4450
951:0:4645
952:2:4455
953:0:4645
954:2:4456
955:0:4645
956:2:4457
957:0:4645
958:2:4458
959:0:4645
960:1:28
961:0:4645
962:2:4459
963:0:4645
964:1:32
965:1:33
966:1:37
967:1:41
968:1:42
969:1:46
970:1:54
971:1:55
972:1:59
973:1:63
974:1:64
975:1:59
976:1:63
977:1:64
978:1:68
979:1:75
980:1:82
981:1:83
982:1:90
983:1:95
984:1:102
985:1:103
986:1:102
987:1:103
988:1:110
989:1:114
990:0:4645
991:2:4458
992:0:4645
993:1:119
994:0:4645
995:2:4459
996:0:4645
997:2:4460
998:0:4645
999:2:4465
1000:0:4645
1001:2:4466
1002:0:4645
1003:2:4474
1004:2:4475
1005:2:4479
1006:2:4483
1007:2:4484
1008:2:4488
1009:2:4496
1010:2:4497
1011:2:4501
1012:2:4505
1013:2:4506
1014:2:4501
1015:2:4505
1016:2:4506
1017:2:4510
1018:2:4517
1019:2:4524
1020:2:4525
1021:2:4532
1022:2:4537
1023:2:4544
1024:2:4545
1025:2:4544
1026:2:4545
1027:2:4552
1028:2:4556
1029:0:4645
1030:2:3745
1031:2:3755
1032:0:4645
1033:2:2883
1034:0:4645
1035:2:3746
1036:2:3747
1037:0:4645
1038:2:2883
1039:0:4645
1040:2:3751
1041:0:4645
1042:2:3759
1043:0:4645
1044:2:2879
1045:0:4645
1046:2:2881
1047:0:4645
1048:2:2882
1049:0:4645
1050:2:2883
1051:0:4645
1052:2:2884
1053:2:2885
1054:2:2889
1055:2:2890
1056:2:2898
1057:2:2899
1058:2:2903
1059:2:2904
1060:2:2912
1061:2:2917
1062:2:2921
1063:2:2922
1064:2:2930
1065:2:2931
1066:2:2935
1067:2:2936
1068:2:2930
1069:2:2931
1070:2:2932
1071:2:2944
1072:2:2949
1073:2:2950
1074:2:2961
1075:2:2962
1076:2:2963
1077:2:2974
1078:2:2979
1079:2:2980
1080:2:2991
1081:2:2992
1082:2:2993
1083:2:2991
1084:2:2992
1085:2:2993
1086:2:3004
1087:2:3012
1088:0:4645
1089:2:2883
1090:0:4645
1091:2:3064
1092:2:3065
1093:2:3066
1094:0:4645
1095:2:2883
1096:0:4645
1097:2:3071
1098:0:4645
1099:1:120
1100:0:4645
1101:1:19
1102:0:4645
1103:1:127
1104:1:128
1105:1:132
1106:1:133
1107:1:141
1108:1:142
1109:1:146
1110:1:147
1111:1:155
1112:1:160
1113:1:164
1114:1:165
1115:1:173
1116:1:174
1117:1:178
1118:1:179
1119:1:173
1120:1:174
1121:1:178
1122:1:179
1123:1:187
1124:1:192
1125:1:193
1126:1:204
1127:1:205
1128:1:206
1129:1:217
1130:1:222
1131:1:223
1132:1:234
1133:1:235
1134:1:236
1135:1:234
1136:1:235
1137:1:236
1138:1:247
1139:0:4645
1140:1:15
1141:0:4645
1142:1:16
1143:0:4645
1144:1:17
1145:0:4645
1146:1:120
1147:0:4645
1148:1:19
1149:0:4645
1150:1:256
1151:1:257
1152:0:4645
1153:1:15
1154:0:4645
1155:1:16
1156:0:4645
1157:1:17
1158:0:4645
1159:1:120
1160:0:4645
1161:1:19
1162:0:4645
1163:1:263
1164:1:264
1165:1:268
1166:1:269
1167:1:277
1168:1:278
1169:1:282
1170:1:283
1171:1:291
1172:1:296
1173:1:300
1174:1:301
1175:1:309
1176:1:310
1177:1:314
1178:1:315
1179:1:309
1180:1:310
1181:1:314
1182:1:315
1183:1:323
1184:1:328
1185:1:329
1186:1:340
1187:1:341
1188:1:342
1189:1:353
1190:1:358
1191:1:359
1192:1:370
1193:1:371
1194:1:372
1195:1:370
1196:1:371
1197:1:372
1198:1:383
1199:0:4645
1200:1:15
1201:0:4645
1202:1:16
1203:0:4645
1204:1:17
1205:0:4645
1206:1:120
1207:0:4645
1208:1:19
1209:0:4645
1210:1:392
1211:1:393
1212:1:397
1213:1:398
1214:1:406
1215:1:407
1216:1:411
1217:1:412
1218:1:420
1219:1:425
1220:1:429
1221:1:430
1222:1:438
1223:1:439
1224:1:443
1225:1:444
1226:1:438
1227:1:439
1228:1:443
1229:1:444
1230:1:452
1231:1:457
1232:1:458
1233:1:469
1234:1:470
1235:1:471
1236:1:482
1237:1:487
1238:1:488
1239:1:499
1240:1:500
1241:1:501
1242:1:499
1243:1:500
1244:1:501
1245:1:512
1246:1:519
1247:0:4645
1248:1:15
1249:0:4645
1250:1:16
1251:0:4645
1252:1:17
1253:0:4645
1254:1:120
1255:0:4645
1256:1:19
1257:0:4645
1258:1:657
1259:1:658
1260:1:662
1261:1:663
1262:1:671
1263:1:672
1264:1:673
1265:1:685
1266:1:690
1267:1:694
1268:1:695
1269:1:703
1270:1:704
1271:1:708
1272:1:709
1273:1:703
1274:1:704
1275:1:708
1276:1:709
1277:1:717
1278:1:722
1279:1:723
1280:1:734
1281:1:735
1282:1:736
1283:1:747
1284:1:752
1285:1:753
1286:1:764
1287:1:765
1288:1:766
1289:1:764
1290:1:765
1291:1:766
1292:1:777
1293:0:4645
1294:1:15
1295:0:4645
1296:1:16
1297:0:4645
1298:1:17
1299:0:4645
1300:1:120
1301:0:4645
1302:1:19
1303:0:4645
1304:1:786
1305:1:789
1306:1:790
1307:0:4645
1308:1:15
1309:0:4645
1310:1:16
1311:0:4645
1312:1:17
1313:0:4645
1314:1:120
1315:0:4645
1316:1:19
1317:0:4645
1318:1:1053
1319:1:1054
1320:1:1058
1321:1:1059
1322:1:1067
1323:1:1068
1324:1:1072
1325:1:1073
1326:1:1081
1327:1:1086
1328:1:1090
1329:1:1091
1330:1:1099
1331:1:1100
1332:1:1104
1333:1:1105
1334:1:1099
1335:1:1100
1336:1:1104
1337:1:1105
1338:1:1113
1339:1:1118
1340:1:1119
1341:1:1130
1342:1:1131
1343:1:1132
1344:1:1143
1345:1:1148
1346:1:1149
1347:1:1160
1348:1:1161
1349:1:1162
1350:1:1160
1351:1:1161
1352:1:1162
1353:1:1173
1354:1:1180
1355:1:1184
1356:0:4645
1357:1:15
1358:0:4645
1359:1:16
1360:0:4645
1361:1:17
1362:0:4645
1363:1:120
1364:0:4645
1365:1:19
1366:0:4645
1367:1:1185
1368:1:1186
1369:1:1190
1370:1:1191
1371:1:1199
1372:1:1200
1373:1:1201
1374:1:1213
1375:1:1218
1376:1:1222
1377:1:1223
1378:1:1231
1379:1:1232
1380:1:1236
1381:1:1237
1382:1:1231
1383:1:1232
1384:1:1236
1385:1:1237
1386:1:1245
1387:1:1250
1388:1:1251
1389:1:1262
1390:1:1263
1391:1:1264
1392:1:1275
1393:1:1280
1394:1:1281
1395:1:1292
1396:1:1293
1397:1:1294
1398:1:1292
1399:1:1293
1400:1:1294
1401:1:1305
1402:0:4645
1403:1:15
1404:0:4645
1405:1:16
1406:0:4645
1407:1:17
1408:0:4645
1409:1:120
1410:0:4645
1411:1:19
1412:0:4645
1413:1:1314
1414:0:4645
1415:1:2778
1416:1:2785
1417:1:2786
1418:1:2793
1419:1:2798
1420:1:2805
1421:1:2806
1422:1:2805
1423:1:2806
1424:1:2813
1425:1:2817
1426:0:4645
1427:2:3774
1428:2:3775
1429:2:3779
1430:2:3783
1431:2:3784
1432:2:3788
1433:2:3793
1434:2:3801
1435:2:3805
1436:2:3806
1437:2:3801
1438:2:3802
1439:2:3810
1440:2:3817
1441:2:3824
1442:2:3825
1443:2:3832
1444:2:3837
1445:2:3844
1446:2:3845
1447:2:3844
1448:2:3845
1449:2:3852
1450:2:3856
1451:0:4645
1452:2:3861
1453:0:4645
1454:2:3862
1455:0:4645
1456:2:3863
1457:0:4645
1458:2:3864
1459:0:4645
1460:1:1316
1461:1:1317
1462:0:4643
1463:2:3865
1464:0:4649
1465:1:2475