Add phase 3 : scalability run

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

-2:3:-2
-4:-4:-4
1:0:4863
2:3:4786
3:3:4789
4:3:4789
5:3:4792
6:3:4800
7:3:4800
8:3:4803
9:3:4809
10:3:4813
11:3:4813
12:3:4816
13:3:4823
14:3:4831
15:3:4831
16:3:4834
17:3:4840
18:3:4844
19:3:4844
20:3:4847
21:3:4853
22:3:4857
23:3:4858
24:0:4863
25:3:4860
26:0:4863
27:2:3279
28:0:4863
29:2:3285
30:0:4863
31:2:3286
32:0:4863
33:2:3289
34:2:3293
35:2:3294
36:2:3302
37:2:3303
38:2:3307
39:2:3308
40:2:3316
41:2:3321
42:2:3325
43:2:3326
44:2:3334
45:2:3335
46:2:3339
47:2:3340
48:2:3334
49:2:3335
50:2:3339
51:2:3340
52:2:3348
53:2:3353
54:2:3354
55:2:3365
56:2:3366
57:2:3367
58:2:3378
59:2:3383
60:2:3384
61:2:3395
62:2:3396
63:2:3397
64:2:3395
65:2:3396
66:2:3397
67:2:3408
68:2:3412
69:0:4863
70:2:3415
71:0:4863
72:2:3421
73:2:3422
74:2:3426
75:2:3430
76:2:3431
77:2:3435
78:2:3443
79:2:3444
80:2:3448
81:2:3452
82:2:3453
83:2:3448
84:2:3449
85:2:3457
86:2:3461
87:0:4863
88:2:3464
89:0:4863
90:2:3465
91:2:3469
92:2:3470
93:2:3478
94:2:3479
95:2:3483
96:2:3484
97:2:3492
98:2:3497
99:2:3501
100:2:3502
101:2:3510
102:2:3511
103:2:3515
104:2:3516
105:2:3510
106:2:3511
107:2:3515
108:2:3516
109:2:3524
110:2:3529
111:2:3530
112:2:3541
113:2:3542
114:2:3543
115:2:3554
116:2:3559
117:2:3560
118:2:3571
119:2:3572
120:2:3573
121:2:3571
122:2:3572
123:2:3573
124:2:3584
125:2:3588
126:0:4863
127:2:3591
128:0:4863
129:2:3594
130:2:3598
131:2:3599
132:2:3607
133:2:3608
134:2:3612
135:2:3613
136:2:3621
137:2:3626
138:2:3627
139:2:3639
140:2:3640
141:2:3644
142:2:3645
143:2:3639
144:2:3640
145:2:3644
146:2:3645
147:2:3653
148:2:3658
149:2:3659
150:2:3670
151:2:3671
152:2:3672
153:2:3683
154:2:3688
155:2:3689
156:2:3700
157:2:3701
158:2:3702
159:2:3700
160:2:3701
161:2:3702
162:2:3713
163:2:3717
164:0:4863
165:2:3720
166:0:4863
167:2:3721
168:0:4863
169:2:3722
170:0:4863
171:2:4423
172:2:4424
173:2:4428
174:2:4432
175:2:4433
176:2:4437
177:2:4445
178:2:4446
179:2:4450
180:2:4454
181:2:4455
182:2:4450
183:2:4454
184:2:4455
185:2:4459
186:2:4466
187:2:4473
188:2:4474
189:2:4481
190:2:4486
191:2:4493
192:2:4494
193:2:4493
194:2:4494
195:2:4501
196:2:4505
197:0:4863
198:2:3724
199:2:4401
200:0:4863
201:2:3721
202:0:4863
203:2:3725
204:0:4863
205:2:3721
206:0:4863
207:2:3728
208:2:3729
209:2:3733
210:2:3734
211:2:3742
212:2:3743
213:2:3747
214:2:3748
215:2:3756
216:2:3761
217:2:3765
218:2:3766
219:2:3774
220:2:3775
221:2:3779
222:2:3780
223:2:3774
224:2:3775
225:2:3779
226:2:3780
227:2:3788
228:2:3793
229:2:3794
230:2:3805
231:2:3806
232:2:3807
233:2:3818
234:2:3823
235:2:3824
236:2:3835
237:2:3836
238:2:3837
239:2:3835
240:2:3836
241:2:3837
242:2:3848
243:2:3855
244:0:4863
245:2:3721
246:0:4863
247:2:3859
248:2:3860
249:2:3861
250:2:3873
251:2:3874
252:2:3878
253:2:3879
254:2:3887
255:2:3892
256:2:3896
257:2:3897
258:2:3905
259:2:3906
260:2:3910
261:2:3911
262:2:3905
263:2:3906
264:2:3910
265:2:3911
266:2:3919
267:2:3924
268:2:3925
269:2:3936
270:2:3937
271:2:3938
272:2:3949
273:2:3954
274:2:3955
275:2:3966
276:2:3967
277:2:3968
278:2:3966
279:2:3967
280:2:3968
281:2:3979
282:2:3990
283:2:3991
284:0:4863
285:2:3721
286:0:4863
287:2:3997
288:2:3998
289:2:4002
290:2:4003
291:2:4011
292:2:4012
293:2:4016
294:2:4017
295:2:4025
296:2:4030
297:2:4034
298:2:4035
299:2:4043
300:2:4044
301:2:4048
302:2:4049
303:2:4043
304:2:4044
305:2:4048
306:2:4049
307:2:4057
308:2:4062
309:2:4063
310:2:4074
311:2:4075
312:2:4076
313:2:4087
314:2:4092
315:2:4093
316:2:4104
317:2:4105
318:2:4106
319:2:4104
320:2:4105
321:2:4106
322:2:4117
323:0:4863
324:2:3721
325:0:4863
326:2:4126
327:2:4127
328:2:4131
329:2:4132
330:2:4140
331:2:4141
332:2:4145
333:2:4146
334:2:4154
335:2:4159
336:2:4163
337:2:4164
338:2:4172
339:2:4173
340:2:4177
341:2:4178
342:2:4172
343:2:4173
344:2:4177
345:2:4178
346:2:4186
347:2:4191
348:2:4192
349:2:4203
350:2:4204
351:2:4205
352:2:4216
353:2:4221
354:2:4222
355:2:4233
356:2:4234
357:2:4235
358:2:4233
359:2:4234
360:2:4235
361:2:4246
362:2:4253
363:0:4863
364:2:3721
365:0:4863
366:2:4257
367:2:4258
368:2:4259
369:2:4271
370:2:4272
371:2:4276
372:2:4277
373:2:4285
374:2:4290
375:2:4294
376:2:4295
377:2:4303
378:2:4304
379:2:4308
380:2:4309
381:2:4303
382:2:4304
383:2:4308
384:2:4309
385:2:4317
386:2:4322
387:2:4323
388:2:4334
389:2:4335
390:2:4336
391:2:4347
392:2:4352
393:2:4353
394:2:4364
395:2:4365
396:2:4366
397:2:4364
398:2:4365
399:2:4366
400:2:4377
401:2:4387
402:2:4388
403:0:4863
404:2:3721
405:0:4863
406:2:4394
407:0:4863
408:2:4696
409:2:4697
410:2:4701
411:2:4705
412:2:4706
413:2:4710
414:2:4718
415:2:4719
416:2:4723
417:2:4727
418:2:4728
419:2:4723
420:2:4727
421:2:4728
422:2:4732
423:2:4739
424:2:4746
425:2:4747
426:2:4754
427:2:4759
428:2:4766
429:2:4767
430:2:4766
431:2:4767
432:2:4774
433:2:4778
434:0:4863
435:2:4396
436:2:4401
437:0:4863
438:2:3721
439:0:4863
440:2:4397
441:0:4863
442:2:4405
443:0:4863
444:2:4406
445:0:4863
446:2:3286
447:0:4863
448:2:3289
449:2:3293
450:2:3294
451:2:3302
452:2:3303
453:2:3307
454:2:3308
455:2:3316
456:2:3321
457:2:3325
458:2:3326
459:2:3334
460:2:3335
461:2:3336
462:2:3334
463:2:3335
464:2:3339
465:2:3340
466:2:3348
467:2:3353
468:2:3354
469:2:3365
470:2:3366
471:2:3367
472:2:3378
473:2:3383
474:2:3384
475:2:3395
476:2:3396
477:2:3397
478:2:3395
479:2:3396
480:2:3397
481:2:3408
482:2:3412
483:0:4863
484:2:3415
485:0:4863
486:2:3421
487:2:3422
488:2:3426
489:2:3430
490:2:3431
491:2:3435
492:2:3443
493:2:3444
494:2:3448
495:2:3449
496:2:3448
497:2:3452
498:2:3453
499:2:3457
500:2:3461
501:0:4863
502:2:3464
503:0:4863
504:2:3465
505:2:3469
506:2:3470
507:2:3478
508:2:3479
509:2:3483
510:2:3484
511:2:3492
512:2:3497
513:2:3501
514:2:3502
515:2:3510
516:2:3511
517:2:3515
518:2:3516
519:2:3510
520:2:3511
521:2:3515
522:2:3516
523:2:3524
524:2:3529
525:2:3530
526:2:3541
527:2:3542
528:2:3543
529:2:3554
530:2:3559
531:2:3560
532:2:3571
533:2:3572
534:2:3573
535:2:3571
536:2:3572
537:2:3573
538:2:3584
539:2:3588
540:0:4863
541:2:3591
542:0:4863
543:2:3594
544:2:3598
545:2:3599
546:2:3607
547:2:3608
548:2:3612
549:2:3613
550:2:3621
551:2:3626
552:2:3627
553:2:3639
554:2:3640
555:2:3644
556:2:3645
557:2:3639
558:2:3640
559:2:3644
560:2:3645
561:2:3653
562:2:3658
563:2:3659
564:2:3670
565:2:3671
566:2:3672
567:2:3683
568:2:3688
569:2:3689
570:2:3700
571:2:3701
572:2:3702
573:2:3700
574:2:3701
575:2:3702
576:2:3713
577:2:3717
578:0:4863
579:2:3720
580:0:4863
581:2:3721
582:0:4863
583:2:3722
584:0:4863
585:2:4423
586:2:4424
587:2:4428
588:2:4432
589:2:4433
590:2:4437
591:2:4445
592:2:4446
593:2:4450
594:2:4454
595:2:4455
596:2:4450
597:2:4454
598:2:4455
599:2:4459
600:2:4466
601:2:4473
602:2:4474
603:2:4481
604:2:4486
605:2:4493
606:2:4494
607:2:4493
608:2:4494
609:2:4501
610:2:4505
611:0:4863
612:2:3724
613:2:4401
614:0:4863
615:2:3721
616:0:4863
617:2:3725
618:0:4863
619:2:3721
620:0:4863
621:2:3728
622:2:3729
623:2:3733
624:2:3734
625:2:3742
626:2:3743
627:2:3747
628:2:3748
629:2:3756
630:2:3761
631:2:3765
632:2:3766
633:2:3774
634:2:3775
635:2:3779
636:2:3780
637:2:3774
638:2:3775
639:2:3779
640:2:3780
641:2:3788
642:2:3793
643:2:3794
644:2:3805
645:2:3806
646:2:3807
647:2:3818
648:2:3823
649:2:3824
650:2:3835
651:2:3836
652:2:3837
653:2:3835
654:2:3836
655:2:3837
656:2:3848
657:2:3855
658:0:4863
659:2:3721
660:0:4863
661:2:3859
662:2:3860
663:2:3861
664:2:3873
665:2:3874
666:2:3878
667:2:3879
668:2:3887
669:2:3892
670:2:3896
671:2:3897
672:2:3905
673:2:3906
674:2:3910
675:2:3911
676:2:3905
677:2:3906
678:2:3910
679:2:3911
680:2:3919
681:2:3924
682:2:3925
683:2:3936
684:2:3937
685:2:3938
686:2:3949
687:2:3954
688:2:3955
689:2:3966
690:2:3967
691:2:3968
692:2:3966
693:2:3967
694:2:3968
695:2:3979
696:2:3990
697:2:3991
698:0:4863
699:2:3721
700:0:4863
701:2:3997
702:2:3998
703:2:4002
704:2:4003
705:2:4011
706:2:4012
707:2:4016
708:2:4017
709:2:4025
710:2:4030
711:2:4034
712:2:4035
713:2:4043
714:2:4044
715:2:4048
716:2:4049
717:2:4043
718:2:4044
719:2:4048
720:2:4049
721:2:4057
722:2:4062
723:2:4063
724:2:4074
725:2:4075
726:2:4076
727:2:4087
728:2:4092
729:2:4093
730:2:4104
731:2:4105
732:2:4106
733:2:4104
734:2:4105
735:2:4106
736:2:4117
737:0:4863
738:2:3721
739:0:4863
740:2:4126
741:2:4127
742:2:4131
743:2:4132
744:2:4140
745:2:4141
746:2:4145
747:2:4146
748:2:4154
749:2:4159
750:2:4163
751:2:4164
752:2:4172
753:2:4173
754:2:4177
755:2:4178
756:2:4172
757:2:4173
758:2:4177
759:2:4178
760:2:4186
761:2:4191
762:2:4192
763:2:4203
764:2:4204
765:2:4205
766:2:4216
767:2:4221
768:2:4222
769:2:4233
770:2:4234
771:2:4235
772:2:4233
773:2:4234
774:2:4235
775:2:4246
776:2:4253
777:0:4863
778:2:3721
779:0:4863
780:2:4257
781:2:4258
782:2:4259
783:2:4271
784:2:4272
785:2:4276
786:2:4277
787:2:4285
788:2:4290
789:2:4294
790:2:4295
791:2:4303
792:2:4304
793:2:4308
794:2:4309
795:2:4303
796:2:4304
797:2:4308
798:2:4309
799:2:4317
800:2:4322
801:2:4323
802:2:4334
803:2:4335
804:2:4336
805:2:4347
806:2:4352
807:2:4353
808:2:4364
809:2:4365
810:2:4366
811:2:4364
812:2:4365
813:2:4366
814:2:4377
815:2:4387
816:2:4388
817:0:4863
818:2:3721
819:0:4863
820:2:4394
821:0:4863
822:2:4696
823:2:4697
824:2:4701
825:2:4705
826:2:4706
827:2:4710
828:2:4718
829:2:4719
830:2:4723
831:2:4727
832:2:4728
833:2:4723
834:2:4727
835:2:4728
836:2:4732
837:2:4739
838:2:4746
839:2:4747
840:2:4754
841:2:4759
842:2:4766
843:2:4767
844:2:4766
845:2:4767
846:2:4774
847:2:4778
848:0:4863
849:2:4396
850:2:4401
851:0:4863
852:2:3721
853:0:4863
854:2:4397
855:0:4863
856:2:4405
857:0:4863
858:2:4406
859:0:4863
860:2:3286
861:0:4863
862:2:3289
863:2:3293
864:2:3294
865:2:3302
866:2:3303
867:2:3307
868:2:3308
869:2:3316
870:2:3321
871:2:3325
872:2:3326
873:2:3334
874:2:3335
875:2:3339
876:2:3340
877:2:3334
878:2:3335
879:2:3336
880:2:3348
881:2:3353
882:2:3354
883:2:3365
884:2:3366
885:2:3367
886:2:3378
887:2:3383
888:2:3384
889:2:3395
890:2:3396
891:2:3397
892:2:3395
893:2:3396
894:2:3397
895:2:3408
896:2:3412
897:0:4863
898:2:3415
899:0:4863
900:2:3421
901:2:3422
902:2:3426
903:2:3430
904:2:3431
905:2:3435
906:2:3443
907:2:3444
908:2:3448
909:2:3452
910:2:3453
911:2:3448
912:2:3449
913:2:3457
914:2:3461
915:0:4863
916:2:3464
917:0:4863
918:2:3465
919:2:3469
920:2:3470
921:2:3478
922:2:3479
923:2:3483
924:2:3484
925:2:3492
926:2:3497
927:2:3501
928:2:3502
929:2:3510
930:2:3511
931:2:3515
932:2:3516
933:2:3510
934:2:3511
935:2:3515
936:2:3516
937:2:3524
938:2:3529
939:2:3530
940:2:3541
941:2:3542
942:2:3543
943:2:3554
944:2:3559
945:2:3560
946:2:3571
947:2:3572
948:2:3573
949:2:3571
950:2:3572
951:2:3573
952:2:3584
953:2:3588
954:0:4863
955:2:3591
956:0:4863
957:2:3594
958:2:3598
959:2:3599
960:2:3607
961:2:3608
962:2:3612
963:2:3613
964:2:3621
965:2:3626
966:2:3627
967:2:3639
968:2:3640
969:2:3644
970:2:3645
971:2:3639
972:2:3640
973:2:3644
974:2:3645
975:2:3653
976:2:3658
977:2:3659
978:2:3670
979:2:3671
980:2:3672
981:2:3683
982:2:3688
983:2:3689
984:2:3700
985:2:3701
986:2:3702
987:2:3700
988:2:3701
989:2:3702
990:2:3713
991:2:3717
992:0:4863
993:2:3720
994:0:4863
995:2:3721
996:0:4863
997:2:3722
998:0:4863
999:2:4423
1000:2:4424
1001:2:4428
1002:2:4432
1003:2:4433
1004:2:4437
1005:2:4445
1006:2:4446
1007:2:4450
1008:2:4454
1009:2:4455
1010:2:4450
1011:2:4454
1012:2:4455
1013:2:4459
1014:2:4466
1015:2:4473
1016:2:4474
1017:2:4481
1018:2:4486
1019:2:4493
1020:2:4494
1021:2:4493
1022:2:4494
1023:2:4501
1024:2:4505
1025:0:4863
1026:2:3724
1027:2:4401
1028:0:4863
1029:2:3721
1030:0:4863
1031:2:3725
1032:0:4863
1033:2:3721
1034:0:4863
1035:2:3728
1036:2:3729
1037:2:3733
1038:2:3734
1039:2:3742
1040:2:3743
1041:2:3747
1042:2:3748
1043:2:3756
1044:2:3761
1045:2:3765
1046:2:3766
1047:2:3774
1048:2:3775
1049:2:3779
1050:2:3780
1051:2:3774
1052:2:3775
1053:2:3779
1054:2:3780
1055:2:3788
1056:2:3793
1057:2:3794
1058:2:3805
1059:2:3806
1060:2:3807
1061:2:3818
1062:2:3823
1063:2:3824
1064:2:3835
1065:2:3836
1066:2:3837
1067:2:3835
1068:2:3836
1069:2:3837
1070:2:3848
1071:2:3855
1072:0:4863
1073:2:3721
1074:0:4863
1075:2:3859
1076:2:3860
1077:2:3861
1078:2:3873
1079:2:3874
1080:2:3878
1081:2:3879
1082:2:3887
1083:2:3892
1084:2:3896
1085:2:3897
1086:2:3905
1087:2:3906
1088:2:3910
1089:2:3911
1090:2:3905
1091:2:3906
1092:2:3910
1093:2:3911
1094:2:3919
1095:2:3924
1096:2:3925
1097:2:3936
1098:2:3937
1099:2:3938
1100:2:3949
1101:2:3954
1102:2:3955
1103:2:3966
1104:2:3967
1105:2:3968
1106:2:3966
1107:2:3967
1108:2:3968
1109:2:3979
1110:2:3990
1111:2:3991
1112:0:4863
1113:2:3721
1114:0:4863
1115:2:3997
1116:2:3998
1117:2:4002
1118:2:4003
1119:2:4011
1120:2:4012
1121:2:4016
1122:2:4017
1123:2:4025
1124:2:4030
1125:2:4034
1126:2:4035
1127:2:4043
1128:2:4044
1129:2:4048
1130:2:4049
1131:2:4043
1132:2:4044
1133:2:4048
1134:2:4049
1135:2:4057
1136:2:4062
1137:2:4063
1138:2:4074
1139:2:4075
1140:2:4076
1141:2:4087
1142:2:4092
1143:2:4093
1144:2:4104
1145:2:4105
1146:2:4106
1147:2:4104
1148:2:4105
1149:2:4106
1150:2:4117
1151:0:4863
1152:2:3721
1153:0:4863
1154:2:4126
1155:2:4127
1156:2:4131
1157:2:4132
1158:2:4140
1159:2:4141
1160:2:4145
1161:2:4146
1162:2:4154
1163:2:4159
1164:2:4163
1165:2:4164
1166:2:4172
1167:2:4173
1168:2:4177
1169:2:4178
1170:2:4172
1171:2:4173
1172:2:4177
1173:2:4178
1174:2:4186
1175:2:4191
1176:2:4192
1177:2:4203
1178:2:4204
1179:2:4205
1180:2:4216
1181:2:4221
1182:2:4222
1183:2:4233
1184:2:4234
1185:2:4235
1186:2:4233
1187:2:4234
1188:2:4235
1189:2:4246
1190:2:4253
1191:0:4863
1192:2:3721
1193:0:4863
1194:2:4257
1195:2:4258
1196:2:4259
1197:2:4271
1198:2:4272
1199:2:4276
1200:2:4277
1201:2:4285
1202:2:4290
1203:2:4294
1204:2:4295
1205:2:4303
1206:2:4304
1207:2:4308
1208:2:4309
1209:2:4303
1210:2:4304
1211:2:4308
1212:2:4309
1213:2:4317
1214:2:4322
1215:2:4323
1216:2:4334
1217:2:4335
1218:2:4336
1219:2:4347
1220:2:4352
1221:2:4353
1222:2:4364
1223:2:4365
1224:2:4366
1225:2:4364
1226:2:4365
1227:2:4366
1228:2:4377
1229:2:4387
1230:2:4388
1231:0:4863
1232:2:3721
1233:0:4863
1234:2:4394
1235:0:4863
1236:2:4696
1237:2:4697
1238:2:4701
1239:2:4705
1240:2:4706
1241:2:4710
1242:2:4718
1243:2:4719
1244:2:4723
1245:2:4727
1246:2:4728
1247:2:4723
1248:2:4727
1249:2:4728
1250:2:4732
1251:2:4739
1252:2:4746
1253:2:4747
1254:2:4754
1255:2:4759
1256:2:4766
1257:2:4767
1258:2:4766
1259:2:4767
1260:2:4774
1261:2:4778
1262:0:4863
1263:2:4396
1264:2:4401
1265:0:4863
1266:2:3721
1267:0:4863
1268:2:4397
1269:0:4863
1270:2:4405
1271:0:4863
1272:2:4406
1273:0:4863
1274:2:3286
1275:0:4863
1276:2:3289
1277:2:3293
1278:2:3294
1279:2:3302
1280:2:3303
1281:2:3307
1282:2:3308
1283:2:3316
1284:2:3321
1285:2:3325
1286:2:3326
1287:2:3334
1288:2:3335
1289:2:3336
1290:2:3334
1291:2:3335
1292:2:3339
1293:2:3340
1294:2:3348
1295:2:3353
1296:2:3354
1297:2:3365
1298:2:3366
1299:2:3367
1300:2:3378
1301:2:3383
1302:2:3384
1303:2:3395
1304:2:3396
1305:2:3397
1306:2:3395
1307:2:3396
1308:2:3397
1309:2:3408
1310:2:3412
1311:0:4863
1312:2:3415
1313:0:4863
1314:2:3421
1315:2:3422
1316:2:3426
1317:2:3430
1318:2:3431
1319:2:3435
1320:2:3443
1321:2:3444
1322:2:3448
1323:2:3449
1324:2:3448
1325:2:3452
1326:2:3453
1327:2:3457
1328:2:3461
1329:0:4863
1330:2:3464
1331:0:4863
1332:2:3465
1333:2:3469
1334:2:3470
1335:2:3478
1336:2:3479
1337:2:3483
1338:2:3484
1339:2:3492
1340:2:3497
1341:2:3501
1342:2:3502
1343:2:3510
1344:2:3511
1345:2:3515
1346:2:3516
1347:2:3510
1348:2:3511
1349:2:3515
1350:2:3516
1351:2:3524
1352:2:3529
1353:2:3530
1354:2:3541
1355:2:3542
1356:2:3543
1357:2:3554
1358:2:3559
1359:2:3560
1360:2:3571
1361:2:3572
1362:2:3573
1363:2:3571
1364:2:3572
1365:2:3573
1366:2:3584
1367:2:3588
1368:0:4863
1369:2:3591
1370:0:4863
1371:2:3594
1372:2:3598
1373:2:3599
1374:2:3607
1375:2:3608
1376:2:3612
1377:2:3613
1378:2:3621
1379:2:3626
1380:2:3627
1381:2:3639
1382:2:3640
1383:2:3644
1384:2:3645
1385:2:3639
1386:2:3640
1387:2:3644
1388:2:3645
1389:2:3653
1390:2:3658
1391:2:3659
1392:2:3670
1393:2:3671
1394:2:3672
1395:2:3683
1396:2:3688
1397:2:3689
1398:2:3700
1399:2:3701
1400:2:3702
1401:2:3700
1402:2:3701
1403:2:3702
1404:2:3713
1405:2:3717
1406:0:4863
1407:2:3720
1408:0:4863
1409:2:3721
1410:0:4863
1411:2:3722
1412:0:4863
1413:2:4423
1414:2:4424
1415:2:4428
1416:2:4432
1417:2:4433
1418:2:4437
1419:2:4445
1420:2:4446
1421:2:4450
1422:2:4454
1423:2:4455
1424:2:4450
1425:2:4454
1426:2:4455
1427:2:4459
1428:2:4466
1429:2:4473
1430:2:4474
1431:2:4481
1432:2:4486
1433:2:4493
1434:2:4494
1435:2:4493
1436:2:4494
1437:2:4501
1438:2:4505
1439:0:4863
1440:2:3724
1441:2:4401
1442:0:4863
1443:2:3721
1444:0:4863
1445:2:3725
1446:0:4863
1447:2:3721
1448:0:4863
1449:2:3728
1450:2:3729
1451:2:3733
1452:2:3734
1453:2:3742
1454:2:3743
1455:2:3747
1456:2:3748
1457:2:3756
1458:2:3761
1459:2:3765
1460:2:3766
1461:2:3774
1462:2:3775
1463:2:3779
1464:2:3780
1465:2:3774
1466:2:3775
1467:2:3779
1468:2:3780
1469:2:3788
1470:2:3793
1471:2:3794
1472:2:3805
1473:2:3806
1474:2:3807
1475:2:3818
1476:2:3823
1477:2:3824
1478:2:3835
1479:2:3836
1480:2:3837
1481:2:3835
1482:2:3836
1483:2:3837
1484:2:3848
1485:2:3855
1486:0:4863
1487:2:3721
1488:0:4863
1489:2:3859
1490:2:3860
1491:2:3861
1492:2:3873
1493:2:3874
1494:2:3878
1495:2:3879
1496:2:3887
1497:2:3892
1498:2:3896
1499:2:3897
1500:2:3905
1501:2:3906
1502:2:3910
1503:2:3911
1504:2:3905
1505:2:3906
1506:2:3910
1507:2:3911
1508:2:3919
1509:2:3924
1510:2:3925
1511:2:3936
1512:2:3937
1513:2:3938
1514:2:3949
1515:2:3954
1516:2:3955
1517:2:3966
1518:2:3967
1519:2:3968
1520:2:3966
1521:2:3967
1522:2:3968
1523:2:3979
1524:2:3990
1525:2:3991
1526:0:4863
1527:2:3721
1528:0:4863
1529:2:3997
1530:2:3998
1531:2:4002
1532:2:4003
1533:2:4011
1534:2:4012
1535:2:4016
1536:2:4017
1537:2:4025
1538:2:4030
1539:2:4034
1540:2:4035
1541:2:4043
1542:2:4044
1543:2:4048
1544:2:4049
1545:2:4043
1546:2:4044
1547:2:4048
1548:2:4049
1549:2:4057
1550:2:4062
1551:2:4063
1552:2:4074
1553:2:4075
1554:2:4076
1555:2:4087
1556:2:4092
1557:2:4093
1558:2:4104
1559:2:4105
1560:2:4106
1561:2:4104
1562:2:4105
1563:2:4106
1564:2:4117
1565:0:4863
1566:2:3721
1567:0:4863
1568:2:4126
1569:2:4127
1570:2:4131
1571:2:4132
1572:2:4140
1573:2:4141
1574:2:4145
1575:2:4146
1576:2:4154
1577:2:4159
1578:2:4163
1579:2:4164
1580:2:4172
1581:2:4173
1582:2:4177
1583:2:4178
1584:2:4172
1585:2:4173
1586:2:4177
1587:2:4178
1588:2:4186
1589:2:4191
1590:2:4192
1591:2:4203
1592:2:4204
1593:2:4205
1594:2:4216
1595:2:4221
1596:2:4222
1597:2:4233
1598:2:4234
1599:2:4235
1600:2:4233
1601:2:4234
1602:2:4235
1603:2:4246
1604:2:4253
1605:0:4863
1606:2:3721
1607:0:4863
1608:2:4257
1609:2:4258
1610:2:4259
1611:2:4271
1612:2:4272
1613:2:4276
1614:2:4277
1615:2:4285
1616:2:4290
1617:2:4294
1618:2:4295
1619:2:4303
1620:2:4304
1621:2:4308
1622:2:4309
1623:2:4303
1624:2:4304
1625:2:4308
1626:2:4309
1627:2:4317
1628:2:4322
1629:2:4323
1630:2:4334
1631:2:4335
1632:2:4336
1633:2:4347
1634:2:4352
1635:2:4353
1636:2:4364
1637:2:4365
1638:2:4366
1639:2:4364
1640:2:4365
1641:2:4366
1642:2:4377
1643:2:4387
1644:2:4388
1645:0:4863
1646:2:3721
1647:0:4863
1648:2:4394
1649:0:4863
1650:2:4696
1651:2:4697
1652:2:4701
1653:2:4705
1654:2:4706
1655:2:4710
1656:2:4718
1657:2:4719
1658:2:4723
1659:2:4727
1660:2:4728
1661:2:4723
1662:2:4727
1663:2:4728
1664:2:4732
1665:2:4739
1666:2:4746
1667:2:4747
1668:2:4754
1669:2:4759
1670:2:4766
1671:2:4767
1672:2:4766
1673:2:4767
1674:2:4774
1675:2:4778
1676:0:4863
1677:2:4396
1678:2:4401
1679:0:4863
1680:2:3721
1681:0:4863
1682:2:4397
1683:0:4863
1684:2:4405
1685:0:4863
1686:2:4406
1687:0:4863
1688:2:3286
1689:0:4863
1690:2:3289
1691:2:3293
1692:2:3294
1693:2:3302
1694:2:3303
1695:2:3307
1696:2:3308
1697:2:3316
1698:2:3321
1699:2:3325
1700:2:3326
1701:2:3334
1702:2:3335
1703:2:3339
1704:2:3340
1705:2:3334
1706:2:3335
1707:2:3336
1708:2:3348
1709:2:3353
1710:2:3354
1711:2:3365
1712:2:3366
1713:2:3367
1714:2:3378
1715:2:3383
1716:2:3384
1717:2:3395
1718:2:3396
1719:2:3397
1720:2:3395
1721:2:3396
1722:2:3397
1723:2:3408
1724:2:3412
1725:0:4863
1726:2:3415
1727:0:4863
1728:1:2
1729:0:4863
1730:1:8
1731:0:4863
1732:1:9
1733:0:4863
1734:1:10
1735:0:4863
1736:1:11
1737:0:4863
1738:1:12
1739:1:13
1740:1:17
1741:1:18
1742:1:26
1743:1:27
1744:1:31
1745:1:32
1746:1:40
1747:1:45
1748:1:49
1749:1:50
1750:1:58
1751:1:59
1752:1:63
1753:1:64
1754:1:58
1755:1:59
1756:1:63
1757:1:64
1758:1:72
1759:1:77
1760:1:78
1761:1:89
1762:1:90
1763:1:91
1764:1:102
1765:1:107
1766:1:108
1767:1:119
1768:1:120
1769:1:121
1770:1:119
1771:1:120
1772:1:121
1773:1:132
1774:0:4863
1775:1:11
1776:0:4863
1777:1:141
1778:1:142
1779:0:4863
1780:1:11
1781:0:4863
1782:1:148
1783:1:149
1784:1:153
1785:1:154
1786:1:162
1787:1:163
1788:1:167
1789:1:168
1790:1:176
1791:1:181
1792:1:185
1793:1:186
1794:1:194
1795:1:195
1796:1:199
1797:1:200
1798:1:194
1799:1:195
1800:1:199
1801:1:200
1802:1:208
1803:1:213
1804:1:214
1805:1:225
1806:1:226
1807:1:227
1808:1:238
1809:1:243
1810:1:244
1811:1:255
1812:1:256
1813:1:257
1814:1:255
1815:1:256
1816:1:257
1817:1:268
1818:0:4863
1819:1:11
1820:0:4863
1821:1:277
1822:1:278
1823:1:282
1824:1:283
1825:1:291
1826:1:292
1827:1:296
1828:1:297
1829:1:305
1830:1:310
1831:1:314
1832:1:315
1833:1:323
1834:1:324
1835:1:328
1836:1:329
1837:1:323
1838:1:324
1839:1:328
1840:1:329
1841:1:337
1842:1:342
1843:1:343
1844:1:354
1845:1:355
1846:1:356
1847:1:367
1848:1:372
1849:1:373
1850:1:384
1851:1:385
1852:1:386
1853:1:384
1854:1:385
1855:1:386
1856:1:397
1857:1:404
1858:0:4863
1859:1:11
1860:0:4863
1861:1:540
1862:1:544
1863:1:545
1864:1:549
1865:1:550
1866:1:558
1867:1:566
1868:1:567
1869:1:571
1870:1:575
1871:1:576
1872:1:571
1873:1:575
1874:1:576
1875:1:580
1876:1:587
1877:1:594
1878:1:595
1879:1:602
1880:1:607
1881:1:614
1882:1:615
1883:1:614
1884:1:615
1885:1:622
1886:0:4863
1887:1:11
1888:0:4863
1889:2:3421
1890:2:3422
1891:2:3426
1892:2:3430
1893:2:3431
1894:2:3435
1895:2:3443
1896:2:3444
1897:2:3448
1898:2:3452
1899:2:3453
1900:2:3448
1901:2:3449
1902:2:3457
1903:2:3461
1904:0:4863
1905:2:3464
1906:0:4863
1907:2:3465
1908:2:3469
1909:2:3470
1910:2:3478
1911:2:3479
1912:2:3483
1913:2:3484
1914:2:3492
1915:2:3497
1916:2:3501
1917:2:3502
1918:2:3510
1919:2:3511
1920:2:3515
1921:2:3516
1922:2:3510
1923:2:3511
1924:2:3515
1925:2:3516
1926:2:3524
1927:2:3529
1928:2:3530
1929:2:3541
1930:2:3542
1931:2:3543
1932:2:3554
1933:2:3559
1934:2:3560
1935:2:3571
1936:2:3572
1937:2:3573
1938:2:3571
1939:2:3572
1940:2:3573
1941:2:3584
1942:2:3588
1943:0:4863
1944:2:3591
1945:0:4863
1946:2:3594
1947:2:3598
1948:2:3599
1949:2:3607
1950:2:3608
1951:2:3612
1952:2:3613
1953:2:3621
1954:2:3626
1955:2:3627
1956:2:3639
1957:2:3640
1958:2:3644
1959:2:3645
1960:2:3639
1961:2:3640
1962:2:3644
1963:2:3645
1964:2:3653
1965:2:3658
1966:2:3659
1967:2:3670
1968:2:3671
1969:2:3672
1970:2:3683
1971:2:3688
1972:2:3689
1973:2:3700
1974:2:3701
1975:2:3702
1976:2:3700
1977:2:3701
1978:2:3702
1979:2:3713
1980:2:3717
1981:0:4863
1982:2:3720
1983:0:4863
1984:2:3721
1985:0:4863
1986:2:3722
1987:0:4863
1988:2:4423
1989:2:4424
1990:2:4428
1991:2:4432
1992:2:4433
1993:2:4437
1994:2:4445
1995:2:4446
1996:2:4450
1997:2:4454
1998:2:4455
1999:2:4450
2000:2:4454
2001:2:4455
2002:2:4459
2003:2:4466
2004:2:4473
2005:2:4474
2006:2:4481
2007:2:4486
2008:2:4493
2009:2:4494
2010:2:4493
2011:2:4494
2012:2:4501
2013:2:4505
2014:0:4863
2015:2:3724
2016:2:4401
2017:0:4863
2018:2:3721
2019:0:4863
2020:2:3725
2021:0:4863
2022:2:3721
2023:0:4863
2024:2:3728
2025:2:3729
2026:2:3733
2027:2:3734
2028:2:3742
2029:2:3743
2030:2:3747
2031:2:3748
2032:2:3756
2033:2:3761
2034:2:3765
2035:2:3766
2036:2:3774
2037:2:3775
2038:2:3779
2039:2:3780
2040:2:3774
2041:2:3775
2042:2:3779
2043:2:3780
2044:2:3788
2045:2:3793
2046:2:3794
2047:2:3805
2048:2:3806
2049:2:3807
2050:2:3818
2051:2:3823
2052:2:3824
2053:2:3835
2054:2:3836
2055:2:3837
2056:2:3835
2057:2:3836
2058:2:3837
2059:2:3848
2060:2:3855
2061:0:4863
2062:2:3721
2063:0:4863
2064:2:3859
2065:2:3860
2066:2:3861
2067:2:3873
2068:2:3874
2069:2:3878
2070:2:3879
2071:2:3887
2072:2:3892
2073:2:3896
2074:2:3897
2075:2:3905
2076:2:3906
2077:2:3910
2078:2:3911
2079:2:3905
2080:2:3906
2081:2:3910
2082:2:3911
2083:2:3919
2084:2:3924
2085:2:3925
2086:2:3936
2087:2:3937
2088:2:3938
2089:2:3949
2090:2:3954
2091:2:3955
2092:2:3966
2093:2:3967
2094:2:3968
2095:2:3966
2096:2:3967
2097:2:3968
2098:2:3979
2099:2:3988
2100:0:4863
2101:2:3721
2102:0:4863
2103:2:3994
2104:0:4863
2105:2:4514
2106:2:4515
2107:2:4519
2108:2:4523
2109:2:4524
2110:2:4528
2111:2:4536
2112:2:4537
2113:2:4541
2114:2:4545
2115:2:4546
2116:2:4541
2117:2:4545
2118:2:4546
2119:2:4550
2120:2:4557
2121:2:4564
2122:2:4565
2123:2:4572
2124:2:4577
2125:2:4584
2126:2:4585
2127:2:4584
2128:2:4585
2129:2:4592
2130:2:4596
2131:0:4863
2132:2:3996
2133:2:4401
2134:0:4863
2135:2:3721
2136:0:4863
2137:1:632
2138:1:633
2139:1:637
2140:1:638
2141:1:646
2142:1:647
2143:1:651
2144:1:652
2145:1:660
2146:1:665
2147:1:669
2148:1:670
2149:1:678
2150:1:679
2151:1:683
2152:1:684
2153:1:678
2154:1:679
2155:1:683
2156:1:684
2157:1:692
2158:1:697
2159:1:698
2160:1:709
2161:1:710
2162:1:711
2163:1:722
2164:1:727
2165:1:728
2166:1:739
2167:1:740
2168:1:741
2169:1:739
2170:1:747
2171:1:748
2172:1:752
2173:0:4863
2174:1:11
2175:0:4863
2176:2:3859
2177:2:3860
2178:2:3864
2179:2:3865
2180:2:3873
2181:2:3874
2182:2:3878
2183:2:3879
2184:2:3887
2185:2:3892
2186:2:3896
2187:2:3897
2188:2:3905
2189:2:3906
2190:2:3910
2191:2:3911
2192:2:3905
2193:2:3906
2194:2:3910
2195:2:3911
2196:2:3919
2197:2:3924
2198:2:3925
2199:2:3936
2200:2:3937
2201:2:3938
2202:2:3949
2203:2:3954
2204:2:3955
2205:2:3966
2206:2:3967
2207:2:3968
2208:2:3966
2209:2:3967
2210:2:3968
2211:2:3979
2212:2:3988
2213:0:4863
2214:2:3721
2215:0:4863
2216:2:3994
2217:0:4863
2218:2:4514
2219:2:4515
2220:2:4519
2221:2:4523
2222:2:4524
2223:2:4528
2224:2:4536
2225:2:4537
2226:2:4541
2227:2:4545
2228:2:4546
2229:2:4541
2230:2:4545
2231:2:4546
2232:2:4550
2233:2:4557
2234:2:4564
2235:2:4565
2236:2:4572
2237:2:4577
2238:2:4584
2239:2:4585
2240:2:4584
2241:2:4585
2242:2:4592
2243:2:4596
2244:0:4863
2245:2:3996
2246:2:4401
2247:0:4863
2248:1:761
2249:1:764
2250:1:765
2251:0:4863
2252:2:3721
2253:0:4863
2254:1:11
2255:0:4863
2256:2:3859
2257:2:3860
2258:2:3864
2259:2:3865
2260:2:3873
2261:2:3874
2262:2:3878
2263:2:3879
2264:2:3887
2265:2:3892
2266:2:3896
2267:2:3897
2268:2:3905
2269:2:3906
2270:2:3910
2271:2:3911
2272:2:3905
2273:2:3906
2274:2:3910
2275:2:3911
2276:2:3919
2277:2:3924
2278:2:3925
2279:2:3936
2280:2:3937
2281:2:3938
2282:2:3949
2283:2:3954
2284:2:3955
2285:2:3966
2286:2:3967
2287:2:3968
2288:2:3966
2289:2:3967
2290:2:3968
2291:2:3979
2292:2:3988
2293:0:4863
2294:2:3721
2295:0:4863
2296:2:3994
2297:0:4863
2298:2:4514
2299:2:4515
2300:2:4519
2301:2:4523
2302:2:4524
2303:2:4528
2304:2:4536
2305:2:4537
2306:2:4541
2307:2:4545
2308:2:4546
2309:2:4541
2310:2:4545
2311:2:4546
2312:2:4550
2313:2:4557
2314:2:4564
2315:2:4565
2316:2:4572
2317:2:4577
2318:2:4584
2319:2:4585
2320:2:4584
2321:2:4585
2322:2:4592
2323:2:4596
2324:0:4863
2325:2:3996
2326:2:4401
2327:0:4863
2328:1:1028
2329:1:1029
2330:1:1033
2331:1:1034
2332:1:1042
2333:1:1043
2334:1:1047
2335:1:1048
2336:1:1056
2337:1:1061
2338:1:1065
2339:1:1066
2340:1:1074
2341:1:1075
2342:1:1079
2343:1:1080
2344:1:1074
2345:1:1075
2346:1:1079
2347:1:1080
2348:1:1088
2349:1:1093
2350:1:1094
2351:1:1105
2352:1:1106
2353:1:1107
2354:1:1118
2355:1:1123
2356:1:1124
2357:1:1135
2358:1:1136
2359:1:1137
2360:1:1135
2361:1:1143
2362:1:1144
2363:1:1148
2364:1:1155
2365:1:1159
2366:0:4863
2367:2:3721
2368:0:4863
2369:1:11
2370:0:4863
2371:2:3859
2372:2:3860
2373:2:3864
2374:2:3865
2375:2:3873
2376:2:3874
2377:2:3878
2378:2:3879
2379:2:3887
2380:2:3892
2381:2:3896
2382:2:3897
2383:2:3905
2384:2:3906
2385:2:3910
2386:2:3911
2387:2:3905
2388:2:3906
2389:2:3910
2390:2:3911
2391:2:3919
2392:2:3924
2393:2:3925
2394:2:3936
2395:2:3937
2396:2:3938
2397:2:3949
2398:2:3954
2399:2:3955
2400:2:3966
2401:2:3967
2402:2:3968
2403:2:3966
2404:2:3967
2405:2:3968
2406:2:3979
2407:2:3988
2408:0:4863
2409:2:3721
2410:0:4863
2411:2:3994
2412:0:4863
2413:2:4514
2414:2:4515
2415:2:4519
2416:2:4523
2417:2:4524
2418:2:4528
2419:2:4536
2420:2:4537
2421:2:4541
2422:2:4545
2423:2:4546
2424:2:4541
2425:2:4545
2426:2:4546
2427:2:4550
2428:2:4557
2429:2:4564
2430:2:4565
2431:2:4572
2432:2:4577
2433:2:4584
2434:2:4585
2435:2:4584
2436:2:4585
2437:2:4592
2438:2:4596
2439:0:4863
2440:2:3996
2441:2:4401
2442:0:4863
2443:1:1160
2444:1:1161
2445:1:1165
2446:1:1166
2447:1:1174
2448:1:1175
2449:1:1176
2450:1:1188
2451:1:1193
2452:1:1197
2453:1:1198
2454:1:1206
2455:1:1207
2456:1:1211
2457:1:1212
2458:1:1206
2459:1:1207
2460:1:1211
2461:1:1212
2462:1:1220
2463:1:1225
2464:1:1226
2465:1:1237
2466:1:1238
2467:1:1239
2468:1:1250
2469:1:1255
2470:1:1256
2471:1:1267
2472:1:1268
2473:1:1269
2474:1:1267
2475:1:1275
2476:1:1276
2477:1:1280
2478:0:4863
2479:2:3721
2480:0:4863
2481:1:11
2482:0:4863
2483:2:3859
2484:2:3860
2485:2:3864
2486:2:3865
2487:2:3873
2488:2:3874
2489:2:3878
2490:2:3879
2491:2:3887
2492:2:3892
2493:2:3896
2494:2:3897
2495:2:3905
2496:2:3906
2497:2:3910
2498:2:3911
2499:2:3905
2500:2:3906
2501:2:3910
2502:2:3911
2503:2:3919
2504:2:3924
2505:2:3925
2506:2:3936
2507:2:3937
2508:2:3938
2509:2:3949
2510:2:3954
2511:2:3955
2512:2:3966
2513:2:3967
2514:2:3968
2515:2:3966
2516:2:3967
2517:2:3968
2518:2:3979
2519:2:3988
2520:0:4863
2521:2:3721
2522:0:4863
2523:2:3994
2524:0:4863
2525:2:4514
2526:2:4515
2527:2:4519
2528:2:4523
2529:2:4524
2530:2:4528
2531:2:4536
2532:2:4537
2533:2:4541
2534:2:4545
2535:2:4546
2536:2:4541
2537:2:4545
2538:2:4546
2539:2:4550
2540:2:4557
2541:2:4564
2542:2:4565
2543:2:4572
2544:2:4577
2545:2:4584
2546:2:4585
2547:2:4584
2548:2:4585
2549:2:4592
2550:2:4596
2551:0:4863
2552:2:3996
2553:2:4401
2554:0:4863
2555:2:3721
2556:0:4863
2557:1:1289
2558:1:1290
2559:1:1294
2560:1:1295
2561:1:1303
2562:1:1304
2563:1:1308
2564:1:1309
2565:1:1317
2566:1:1322
2567:1:1326
2568:1:1327
2569:1:1335
2570:1:1336
2571:1:1340
2572:1:1341
2573:1:1335
2574:1:1336
2575:1:1340
2576:1:1341
2577:1:1349
2578:1:1354
2579:1:1355
2580:1:1366
2581:1:1367
2582:1:1368
2583:1:1379
2584:1:1384
2585:1:1385
2586:1:1396
2587:1:1397
2588:1:1398
2589:1:1396
2590:1:1404
2591:1:1405
2592:1:1409
2593:0:4861
2594:1:11
2595:0:4867
2596:0:4863