Update formal model from local copy

[urcu.git] / formal-model / urcu-controldataflow-alpha-no-ipi / urcu_free_no_rmb.spin.input.trail

-2:3:-2
-4:-4:-4
1:0:4630
2:3:4550
3:3:4553
4:3:4553
5:3:4556
6:3:4564
7:3:4564
8:3:4567
9:3:4573
10:3:4577
11:3:4577
12:3:4580
13:3:4590
14:3:4598
15:3:4598
16:3:4601
17:3:4607
18:3:4611
19:3:4611
20:3:4614
21:3:4620
22:3:4624
23:3:4625
24:0:4630
25:3:4627
26:0:4630
27:2:3285
28:0:4630
29:2:3291
30:0:4630
31:2:3292
32:0:4630
33:2:3294
34:0:4630
35:2:3295
36:0:4630
37:2:3296
38:2:3297
39:2:3301
40:2:3302
41:2:3310
42:2:3311
43:2:3315
44:2:3316
45:2:3324
46:2:3329
47:2:3333
48:2:3334
49:2:3342
50:2:3343
51:2:3347
52:2:3348
53:2:3342
54:2:3343
55:2:3347
56:2:3348
57:2:3356
58:2:3361
59:2:3362
60:2:3373
61:2:3374
62:2:3375
63:2:3386
64:2:3391
65:2:3392
66:2:3403
67:2:3404
68:2:3405
69:2:3403
70:2:3404
71:2:3405
72:2:3416
73:2:3424
74:0:4630
75:2:3295
76:0:4630
77:2:3428
78:2:3432
79:2:3433
80:2:3437
81:2:3441
82:2:3442
83:2:3446
84:2:3454
85:2:3455
86:2:3459
87:2:3463
88:2:3464
89:2:3459
90:2:3460
91:2:3468
92:0:4630
93:2:3295
94:0:4630
95:2:3476
96:2:3477
97:2:3478
98:0:4630
99:2:3295
100:0:4630
101:2:3483
102:0:4630
103:2:4187
104:2:4188
105:2:4192
106:2:4196
107:2:4197
108:2:4201
109:2:4206
110:2:4214
111:2:4218
112:2:4219
113:2:4214
114:2:4218
115:2:4219
116:2:4223
117:2:4230
118:2:4237
119:2:4238
120:2:4245
121:2:4250
122:2:4257
123:2:4258
124:2:4257
125:2:4258
126:2:4265
127:2:4269
128:0:4630
129:2:3485
130:2:4168
131:0:4630
132:2:3295
133:0:4630
134:2:3486
135:0:4630
136:2:3295
137:0:4630
138:2:3489
139:2:3490
140:2:3494
141:2:3495
142:2:3503
143:2:3504
144:2:3508
145:2:3509
146:2:3517
147:2:3522
148:2:3526
149:2:3527
150:2:3535
151:2:3536
152:2:3540
153:2:3541
154:2:3535
155:2:3536
156:2:3540
157:2:3541
158:2:3549
159:2:3554
160:2:3555
161:2:3566
162:2:3567
163:2:3568
164:2:3579
165:2:3584
166:2:3585
167:2:3596
168:2:3597
169:2:3598
170:2:3596
171:2:3597
172:2:3598
173:2:3609
174:2:3616
175:0:4630
176:2:3295
177:0:4630
178:2:3620
179:2:3621
180:2:3622
181:2:3634
182:2:3635
183:2:3639
184:2:3640
185:2:3648
186:2:3653
187:2:3657
188:2:3658
189:2:3666
190:2:3667
191:2:3671
192:2:3672
193:2:3666
194:2:3667
195:2:3671
196:2:3672
197:2:3680
198:2:3685
199:2:3686
200:2:3697
201:2:3698
202:2:3699
203:2:3710
204:2:3715
205:2:3716
206:2:3727
207:2:3728
208:2:3729
209:2:3727
210:2:3728
211:2:3729
212:2:3740
213:2:3751
214:2:3752
215:0:4630
216:2:3295
217:0:4630
218:2:3759
219:2:3760
220:2:3764
221:2:3765
222:2:3773
223:2:3774
224:2:3778
225:2:3779
226:2:3787
227:2:3792
228:2:3796
229:2:3797
230:2:3805
231:2:3806
232:2:3810
233:2:3811
234:2:3805
235:2:3806
236:2:3810
237:2:3811
238:2:3819
239:2:3824
240:2:3825
241:2:3836
242:2:3837
243:2:3838
244:2:3849
245:2:3854
246:2:3855
247:2:3866
248:2:3867
249:2:3868
250:2:3866
251:2:3867
252:2:3868
253:2:3879
254:0:4630
255:2:3295
256:0:4630
257:2:3888
258:2:3889
259:2:3893
260:2:3894
261:2:3902
262:2:3903
263:2:3907
264:2:3908
265:2:3916
266:2:3921
267:2:3925
268:2:3926
269:2:3934
270:2:3935
271:2:3939
272:2:3940
273:2:3934
274:2:3935
275:2:3939
276:2:3940
277:2:3948
278:2:3953
279:2:3954
280:2:3965
281:2:3966
282:2:3967
283:2:3978
284:2:3983
285:2:3984
286:2:3995
287:2:3996
288:2:3997
289:2:3995
290:2:3996
291:2:3997
292:2:4008
293:2:4015
294:0:4630
295:2:3295
296:0:4630
297:2:4019
298:2:4020
299:2:4021
300:2:4033
301:2:4034
302:2:4038
303:2:4039
304:2:4047
305:2:4052
306:2:4056
307:2:4057
308:2:4065
309:2:4066
310:2:4070
311:2:4071
312:2:4065
313:2:4066
314:2:4070
315:2:4071
316:2:4079
317:2:4084
318:2:4085
319:2:4096
320:2:4097
321:2:4098
322:2:4109
323:2:4114
324:2:4115
325:2:4126
326:2:4127
327:2:4128
328:2:4126
329:2:4127
330:2:4128
331:2:4139
332:2:4149
333:2:4150
334:0:4630
335:2:3295
336:0:4630
337:2:4156
338:0:4630
339:2:4460
340:2:4461
341:2:4465
342:2:4469
343:2:4470
344:2:4474
345:2:4482
346:2:4483
347:2:4487
348:2:4491
349:2:4492
350:2:4487
351:2:4491
352:2:4492
353:2:4496
354:2:4503
355:2:4510
356:2:4511
357:2:4518
358:2:4523
359:2:4530
360:2:4531
361:2:4530
362:2:4531
363:2:4538
364:2:4542
365:0:4630
366:2:4158
367:2:4168
368:0:4630
369:2:3295
370:0:4630
371:2:4159
372:2:4160
373:0:4630
374:2:3295
375:0:4630
376:2:4164
377:0:4630
378:2:4172
379:0:4630
380:2:3292
381:0:4630
382:2:3294
383:0:4630
384:2:3295
385:0:4630
386:2:3296
387:2:3297
388:2:3301
389:2:3302
390:2:3310
391:2:3311
392:2:3315
393:2:3316
394:2:3324
395:2:3329
396:2:3333
397:2:3334
398:2:3342
399:2:3343
400:2:3344
401:2:3342
402:2:3343
403:2:3347
404:2:3348
405:2:3356
406:2:3361
407:2:3362
408:2:3373
409:2:3374
410:2:3375
411:2:3386
412:2:3391
413:2:3392
414:2:3403
415:2:3404
416:2:3405
417:2:3403
418:2:3404
419:2:3405
420:2:3416
421:2:3424
422:0:4630
423:2:3295
424:0:4630
425:2:3428
426:2:3432
427:2:3433
428:2:3437
429:2:3441
430:2:3442
431:2:3446
432:2:3454
433:2:3455
434:2:3459
435:2:3460
436:2:3459
437:2:3463
438:2:3464
439:2:3468
440:0:4630
441:2:3295
442:0:4630
443:2:3476
444:2:3477
445:2:3478
446:0:4630
447:2:3295
448:0:4630
449:2:3483
450:0:4630
451:2:4187
452:2:4188
453:2:4192
454:2:4196
455:2:4197
456:2:4201
457:2:4206
458:2:4214
459:2:4218
460:2:4219
461:2:4214
462:2:4218
463:2:4219
464:2:4223
465:2:4230
466:2:4237
467:2:4238
468:2:4245
469:2:4250
470:2:4257
471:2:4258
472:2:4257
473:2:4258
474:2:4265
475:2:4269
476:0:4630
477:2:3485
478:2:4168
479:0:4630
480:2:3295
481:0:4630
482:2:3486
483:0:4630
484:2:3295
485:0:4630
486:2:3489
487:2:3490
488:2:3494
489:2:3495
490:2:3503
491:2:3504
492:2:3508
493:2:3509
494:2:3517
495:2:3522
496:2:3526
497:2:3527
498:2:3535
499:2:3536
500:2:3540
501:2:3541
502:2:3535
503:2:3536
504:2:3540
505:2:3541
506:2:3549
507:2:3554
508:2:3555
509:2:3566
510:2:3567
511:2:3568
512:2:3579
513:2:3584
514:2:3585
515:2:3596
516:2:3597
517:2:3598
518:2:3596
519:2:3597
520:2:3598
521:2:3609
522:2:3616
523:0:4630
524:2:3295
525:0:4630
526:2:3620
527:2:3621
528:2:3622
529:2:3634
530:2:3635
531:2:3639
532:2:3640
533:2:3648
534:2:3653
535:2:3657
536:2:3658
537:2:3666
538:2:3667
539:2:3671
540:2:3672
541:2:3666
542:2:3667
543:2:3671
544:2:3672
545:2:3680
546:2:3685
547:2:3686
548:2:3697
549:2:3698
550:2:3699
551:2:3710
552:2:3715
553:2:3716
554:2:3727
555:2:3728
556:2:3729
557:2:3727
558:2:3728
559:2:3729
560:2:3740
561:2:3751
562:2:3752
563:0:4630
564:2:3295
565:0:4630
566:2:3759
567:2:3760
568:2:3764
569:2:3765
570:2:3773
571:2:3774
572:2:3778
573:2:3779
574:2:3787
575:2:3792
576:2:3796
577:2:3797
578:2:3805
579:2:3806
580:2:3810
581:2:3811
582:2:3805
583:2:3806
584:2:3810
585:2:3811
586:2:3819
587:2:3824
588:2:3825
589:2:3836
590:2:3837
591:2:3838
592:2:3849
593:2:3854
594:2:3855
595:2:3866
596:2:3867
597:2:3868
598:2:3866
599:2:3867
600:2:3868
601:2:3879
602:0:4630
603:2:3295
604:0:4630
605:2:3888
606:2:3889
607:2:3893
608:2:3894
609:2:3902
610:2:3903
611:2:3907
612:2:3908
613:2:3916
614:2:3921
615:2:3925
616:2:3926
617:2:3934
618:2:3935
619:2:3939
620:2:3940
621:2:3934
622:2:3935
623:2:3939
624:2:3940
625:2:3948
626:2:3953
627:2:3954
628:2:3965
629:2:3966
630:2:3967
631:2:3978
632:2:3983
633:2:3984
634:2:3995
635:2:3996
636:2:3997
637:2:3995
638:2:3996
639:2:3997
640:2:4008
641:2:4015
642:0:4630
643:2:3295
644:0:4630
645:2:4019
646:2:4020
647:2:4021
648:2:4033
649:2:4034
650:2:4038
651:2:4039
652:2:4047
653:2:4052
654:2:4056
655:2:4057
656:2:4065
657:2:4066
658:2:4070
659:2:4071
660:2:4065
661:2:4066
662:2:4070
663:2:4071
664:2:4079
665:2:4084
666:2:4085
667:2:4096
668:2:4097
669:2:4098
670:2:4109
671:2:4114
672:2:4115
673:2:4126
674:2:4127
675:2:4128
676:2:4126
677:2:4127
678:2:4128
679:2:4139
680:2:4149
681:2:4150
682:0:4630
683:2:3295
684:0:4630
685:2:4156
686:0:4630
687:2:4460
688:2:4461
689:2:4465
690:2:4469
691:2:4470
692:2:4474
693:2:4482
694:2:4483
695:2:4487
696:2:4491
697:2:4492
698:2:4487
699:2:4491
700:2:4492
701:2:4496
702:2:4503
703:2:4510
704:2:4511
705:2:4518
706:2:4523
707:2:4530
708:2:4531
709:2:4530
710:2:4531
711:2:4538
712:2:4542
713:0:4630
714:2:4158
715:2:4168
716:0:4630
717:2:3295
718:0:4630
719:2:4159
720:2:4160
721:0:4630
722:2:3295
723:0:4630
724:2:4164
725:0:4630
726:2:4172
727:0:4630
728:2:3292
729:0:4630
730:2:3294
731:0:4630
732:2:3295
733:0:4630
734:2:3296
735:2:3297
736:2:3301
737:2:3302
738:2:3310
739:2:3311
740:2:3315
741:2:3316
742:2:3324
743:2:3329
744:2:3333
745:2:3334
746:2:3342
747:2:3343
748:2:3347
749:2:3348
750:2:3342
751:2:3343
752:2:3344
753:2:3356
754:2:3361
755:2:3362
756:2:3373
757:2:3374
758:2:3375
759:2:3386
760:2:3391
761:2:3392
762:2:3403
763:2:3404
764:2:3405
765:2:3403
766:2:3404
767:2:3405
768:2:3416
769:2:3424
770:0:4630
771:2:3295
772:0:4630
773:1:2
774:0:4630
775:1:8
776:0:4630
777:1:9
778:0:4630
779:1:10
780:0:4630
781:1:11
782:0:4630
783:1:12
784:1:13
785:1:17
786:1:18
787:1:26
788:1:27
789:1:31
790:1:32
791:1:40
792:1:45
793:1:49
794:1:50
795:1:58
796:1:59
797:1:63
798:1:64
799:1:58
800:1:59
801:1:63
802:1:64
803:1:72
804:1:77
805:1:78
806:1:89
807:1:90
808:1:91
809:1:102
810:1:107
811:1:108
812:1:119
813:1:120
814:1:121
815:1:119
816:1:120
817:1:121
818:1:132
819:0:4630
820:1:11
821:0:4630
822:1:141
823:1:142
824:0:4630
825:1:11
826:0:4630
827:1:148
828:1:149
829:1:153
830:1:154
831:1:162
832:1:163
833:1:167
834:1:168
835:1:176
836:1:181
837:1:185
838:1:186
839:1:194
840:1:195
841:1:199
842:1:200
843:1:194
844:1:195
845:1:199
846:1:200
847:1:208
848:1:213
849:1:214
850:1:225
851:1:226
852:1:227
853:1:238
854:1:243
855:1:244
856:1:255
857:1:256
858:1:257
859:1:255
860:1:256
861:1:257
862:1:268
863:0:4630
864:1:11
865:0:4630
866:1:277
867:1:278
868:1:282
869:1:283
870:1:291
871:1:292
872:1:296
873:1:297
874:1:305
875:1:310
876:1:314
877:1:315
878:1:323
879:1:324
880:1:328
881:1:329
882:1:323
883:1:324
884:1:328
885:1:329
886:1:337
887:1:342
888:1:343
889:1:354
890:1:355
891:1:356
892:1:367
893:1:372
894:1:373
895:1:384
896:1:385
897:1:386
898:1:384
899:1:385
900:1:386
901:1:397
902:1:404
903:0:4630
904:1:11
905:0:4630
906:1:540
907:1:544
908:1:545
909:1:549
910:1:550
911:1:558
912:1:566
913:1:567
914:1:571
915:1:575
916:1:576
917:1:571
918:1:575
919:1:576
920:1:580
921:1:587
922:1:594
923:1:595
924:1:602
925:1:607
926:1:614
927:1:615
928:1:614
929:1:615
930:1:622
931:0:4630
932:1:11
933:0:4630
934:2:3428
935:2:3432
936:2:3433
937:2:3437
938:2:3441
939:2:3442
940:2:3446
941:2:3454
942:2:3455
943:2:3459
944:2:3463
945:2:3464
946:2:3459
947:2:3460
948:2:3468
949:0:4630
950:2:3295
951:0:4630
952:2:3476
953:2:3477
954:2:3478
955:0:4630
956:2:3295
957:0:4630
958:2:3483
959:0:4630
960:2:4187
961:2:4188
962:2:4192
963:2:4196
964:2:4197
965:2:4201
966:2:4206
967:2:4214
968:2:4218
969:2:4219
970:2:4214
971:2:4218
972:2:4219
973:2:4223
974:2:4230
975:2:4237
976:2:4238
977:2:4245
978:2:4250
979:2:4257
980:2:4258
981:2:4257
982:2:4258
983:2:4265
984:2:4269
985:0:4630
986:2:3485
987:2:4168
988:0:4630
989:2:3295
990:0:4630
991:2:3486
992:0:4630
993:2:3295
994:0:4630
995:2:3489
996:2:3490
997:2:3494
998:2:3495
999:2:3503
1000:2:3504
1001:2:3508
1002:2:3509
1003:2:3517
1004:2:3522
1005:2:3526
1006:2:3527
1007:2:3535
1008:2:3536
1009:2:3540
1010:2:3541
1011:2:3535
1012:2:3536
1013:2:3540
1014:2:3541
1015:2:3549
1016:2:3554
1017:2:3555
1018:2:3566
1019:2:3567
1020:2:3568
1021:2:3579
1022:2:3584
1023:2:3585
1024:2:3596
1025:2:3597
1026:2:3598
1027:2:3596
1028:2:3597
1029:2:3598
1030:2:3609
1031:2:3616
1032:0:4630
1033:2:3295
1034:0:4630
1035:2:3620
1036:2:3621
1037:2:3622
1038:2:3634
1039:2:3635
1040:2:3639
1041:2:3640
1042:2:3648
1043:2:3653
1044:2:3657
1045:2:3658
1046:2:3666
1047:2:3667
1048:2:3671
1049:2:3672
1050:2:3666
1051:2:3667
1052:2:3671
1053:2:3672
1054:2:3680
1055:2:3685
1056:2:3686
1057:2:3697
1058:2:3698
1059:2:3699
1060:2:3710
1061:2:3715
1062:2:3716
1063:2:3727
1064:2:3728
1065:2:3729
1066:2:3727
1067:2:3728
1068:2:3729
1069:2:3740
1070:2:3749
1071:0:4630
1072:2:3295
1073:0:4630
1074:2:3755
1075:0:4630
1076:2:4278
1077:2:4279
1078:2:4283
1079:2:4287
1080:2:4288
1081:2:4292
1082:2:4300
1083:2:4301
1084:2:4305
1085:2:4309
1086:2:4310
1087:2:4305
1088:2:4309
1089:2:4310
1090:2:4314
1091:2:4321
1092:2:4328
1093:2:4329
1094:2:4336
1095:2:4341
1096:2:4348
1097:2:4349
1098:2:4348
1099:2:4349
1100:2:4356
1101:2:4360
1102:0:4630
1103:2:3757
1104:2:3758
1105:0:4630
1106:2:3295
1107:0:4630
1108:2:3759
1109:2:3760
1110:2:3764
1111:2:3765
1112:2:3773
1113:2:3774
1114:2:3778
1115:2:3779
1116:2:3787
1117:2:3792
1118:2:3796
1119:2:3797
1120:2:3805
1121:2:3806
1122:2:3810
1123:2:3811
1124:2:3805
1125:2:3806
1126:2:3810
1127:2:3811
1128:2:3819
1129:2:3824
1130:2:3825
1131:2:3836
1132:2:3837
1133:2:3838
1134:2:3849
1135:2:3854
1136:2:3855
1137:2:3866
1138:2:3867
1139:2:3868
1140:2:3866
1141:2:3867
1142:2:3868
1143:2:3879
1144:0:4630
1145:2:3295
1146:0:4630
1147:2:3620
1148:2:3621
1149:2:3625
1150:2:3626
1151:2:3634
1152:2:3635
1153:2:3639
1154:2:3640
1155:2:3648
1156:2:3653
1157:2:3657
1158:2:3658
1159:2:3666
1160:2:3667
1161:2:3671
1162:2:3672
1163:2:3666
1164:2:3667
1165:2:3671
1166:2:3672
1167:2:3680
1168:2:3685
1169:2:3686
1170:2:3697
1171:2:3698
1172:2:3699
1173:2:3710
1174:2:3715
1175:2:3716
1176:2:3727
1177:2:3728
1178:2:3729
1179:2:3727
1180:2:3728
1181:2:3729
1182:2:3740
1183:2:3749
1184:0:4630
1185:2:3295
1186:0:4630
1187:2:3755
1188:0:4630
1189:2:4278
1190:2:4279
1191:2:4283
1192:2:4287
1193:2:4288
1194:2:4292
1195:2:4300
1196:2:4301
1197:2:4305
1198:2:4309
1199:2:4310
1200:2:4305
1201:2:4309
1202:2:4310
1203:2:4314
1204:2:4321
1205:2:4328
1206:2:4329
1207:2:4336
1208:2:4341
1209:2:4348
1210:2:4349
1211:2:4348
1212:2:4349
1213:2:4356
1214:2:4360
1215:0:4630
1216:2:3757
1217:2:3758
1218:0:4630
1219:2:3295
1220:0:4630
1221:2:3620
1222:2:3621
1223:2:3625
1224:2:3626
1225:2:3634
1226:2:3635
1227:2:3639
1228:2:3640
1229:2:3648
1230:2:3653
1231:2:3657
1232:2:3658
1233:2:3666
1234:2:3667
1235:2:3671
1236:2:3672
1237:2:3666
1238:2:3667
1239:2:3671
1240:2:3672
1241:2:3680
1242:2:3685
1243:2:3686
1244:2:3697
1245:2:3698
1246:2:3699
1247:2:3710
1248:2:3715
1249:2:3716
1250:2:3727
1251:2:3728
1252:2:3729
1253:2:3727
1254:2:3728
1255:2:3729
1256:2:3740
1257:2:3749
1258:0:4630
1259:2:3295
1260:0:4630
1261:2:3755
1262:0:4630
1263:2:4278
1264:2:4279
1265:2:4283
1266:2:4287
1267:2:4288
1268:2:4292
1269:2:4300
1270:2:4301
1271:2:4305
1272:2:4309
1273:2:4310
1274:2:4305
1275:2:4309
1276:2:4310
1277:2:4314
1278:2:4321
1279:2:4328
1280:2:4329
1281:2:4336
1282:2:4341
1283:2:4348
1284:2:4349
1285:2:4348
1286:2:4349
1287:2:4356
1288:2:4360
1289:0:4630
1290:1:632
1291:1:633
1292:1:637
1293:1:638
1294:1:646
1295:1:647
1296:1:651
1297:1:652
1298:1:660
1299:1:665
1300:1:669
1301:1:670
1302:1:678
1303:1:679
1304:1:683
1305:1:684
1306:1:678
1307:1:679
1308:1:683
1309:1:684
1310:1:692
1311:1:697
1312:1:698
1313:1:709
1314:1:710
1315:1:711
1316:1:722
1317:1:727
1318:1:728
1319:1:739
1320:1:740
1321:1:741
1322:1:739
1323:1:747
1324:1:748
1325:1:752
1326:0:4630
1327:1:11
1328:0:4630
1329:2:3757
1330:2:3758
1331:0:4630
1332:2:3295
1333:0:4630
1334:2:3620
1335:2:3621
1336:2:3625
1337:2:3626
1338:2:3634
1339:2:3635
1340:2:3639
1341:2:3640
1342:2:3648
1343:2:3653
1344:2:3657
1345:2:3658
1346:2:3666
1347:2:3667
1348:2:3671
1349:2:3672
1350:2:3666
1351:2:3667
1352:2:3671
1353:2:3672
1354:2:3680
1355:2:3685
1356:2:3686
1357:2:3697
1358:2:3698
1359:2:3699
1360:2:3710
1361:2:3715
1362:2:3716
1363:2:3727
1364:2:3728
1365:2:3729
1366:2:3727
1367:2:3728
1368:2:3729
1369:2:3740
1370:2:3749
1371:0:4630
1372:2:3295
1373:0:4630
1374:2:3755
1375:0:4630
1376:1:761
1377:1:764
1378:1:765
1379:0:4630
1380:1:11
1381:0:4630
1382:2:4278
1383:2:4279
1384:2:4283
1385:2:4287
1386:2:4288
1387:2:4292
1388:2:4300
1389:2:4301
1390:2:4305
1391:2:4309
1392:2:4310
1393:2:4305
1394:2:4309
1395:2:4310
1396:2:4314
1397:2:4321
1398:2:4328
1399:2:4329
1400:2:4336
1401:2:4341
1402:2:4348
1403:2:4349
1404:2:4348
1405:2:4349
1406:2:4356
1407:2:4360
1408:0:4630
1409:2:3757
1410:2:3758
1411:0:4630
1412:2:3295
1413:0:4630
1414:2:3620
1415:2:3621
1416:2:3625
1417:2:3626
1418:2:3634
1419:2:3635
1420:2:3639
1421:2:3640
1422:2:3648
1423:2:3653
1424:2:3657
1425:2:3658
1426:2:3666
1427:2:3667
1428:2:3671
1429:2:3672
1430:2:3666
1431:2:3667
1432:2:3671
1433:2:3672
1434:2:3680
1435:2:3685
1436:2:3686
1437:2:3697
1438:2:3698
1439:2:3699
1440:2:3710
1441:2:3715
1442:2:3716
1443:2:3727
1444:2:3728
1445:2:3729
1446:2:3727
1447:2:3728
1448:2:3729
1449:2:3740
1450:2:3749
1451:0:4630
1452:2:3295
1453:0:4630
1454:2:3759
1455:2:3760
1456:2:3764
1457:2:3765
1458:2:3773
1459:2:3774
1460:2:3778
1461:2:3779
1462:2:3787
1463:2:3792
1464:2:3796
1465:2:3797
1466:2:3805
1467:2:3806
1468:2:3810
1469:2:3811
1470:2:3805
1471:2:3806
1472:2:3810
1473:2:3811
1474:2:3819
1475:2:3824
1476:2:3825
1477:2:3836
1478:2:3837
1479:2:3838
1480:2:3849
1481:2:3854
1482:2:3855
1483:2:3866
1484:2:3867
1485:2:3868
1486:2:3866
1487:2:3867
1488:2:3868
1489:2:3879
1490:0:4630
1491:2:3295
1492:0:4630
1493:2:3755
1494:0:4630
1495:2:4278
1496:2:4279
1497:2:4283
1498:2:4287
1499:2:4288
1500:2:4292
1501:2:4300
1502:2:4301
1503:2:4305
1504:2:4309
1505:2:4310
1506:2:4305
1507:2:4309
1508:2:4310
1509:2:4314
1510:2:4321
1511:2:4328
1512:2:4329
1513:2:4336
1514:2:4341
1515:2:4348
1516:2:4349
1517:2:4348
1518:2:4349
1519:2:4356
1520:2:4360
1521:0:4630
1522:1:768
1523:1:769
1524:1:773
1525:1:774
1526:1:782
1527:1:783
1528:1:787
1529:1:788
1530:1:796
1531:1:801
1532:1:805
1533:1:806
1534:1:814
1535:1:815
1536:1:819
1537:1:820
1538:1:814
1539:1:815
1540:1:819
1541:1:820
1542:1:828
1543:1:833
1544:1:834
1545:1:845
1546:1:846
1547:1:847
1548:1:858
1549:1:863
1550:1:864
1551:1:875
1552:1:876
1553:1:877
1554:1:875
1555:1:883
1556:1:884
1557:1:888
1558:0:4630
1559:1:11
1560:0:4630
1561:2:3757
1562:2:3758
1563:0:4630
1564:2:3295
1565:0:4630
1566:2:3620
1567:2:3621
1568:2:3625
1569:2:3626
1570:2:3634
1571:2:3635
1572:2:3639
1573:2:3640
1574:2:3648
1575:2:3653
1576:2:3657
1577:2:3658
1578:2:3666
1579:2:3667
1580:2:3671
1581:2:3672
1582:2:3666
1583:2:3667
1584:2:3671
1585:2:3672
1586:2:3680
1587:2:3685
1588:2:3686
1589:2:3697
1590:2:3698
1591:2:3699
1592:2:3710
1593:2:3715
1594:2:3716
1595:2:3727
1596:2:3728
1597:2:3729
1598:2:3727
1599:2:3728
1600:2:3729
1601:2:3740
1602:2:3749
1603:0:4630
1604:2:3295
1605:0:4630
1606:2:3755
1607:0:4630
1608:2:4278
1609:2:4279
1610:2:4283
1611:2:4287
1612:2:4288
1613:2:4292
1614:2:4300
1615:2:4301
1616:2:4305
1617:2:4309
1618:2:4310
1619:2:4305
1620:2:4309
1621:2:4310
1622:2:4314
1623:2:4321
1624:2:4328
1625:2:4329
1626:2:4336
1627:2:4341
1628:2:4348
1629:2:4349
1630:2:4348
1631:2:4349
1632:2:4356
1633:2:4360
1634:0:4630
1635:1:1028
1636:1:1029
1637:1:1033
1638:1:1034
1639:1:1042
1640:1:1043
1641:1:1047
1642:1:1048
1643:1:1056
1644:1:1061
1645:1:1065
1646:1:1066
1647:1:1074
1648:1:1075
1649:1:1079
1650:1:1080
1651:1:1074
1652:1:1075
1653:1:1079
1654:1:1080
1655:1:1088
1656:1:1093
1657:1:1094
1658:1:1105
1659:1:1106
1660:1:1107
1661:1:1118
1662:1:1123
1663:1:1124
1664:1:1135
1665:1:1136
1666:1:1137
1667:1:1135
1668:1:1143
1669:1:1144
1670:1:1148
1671:1:1155
1672:1:1159
1673:0:4630
1674:1:11
1675:0:4630
1676:2:3757
1677:2:3758
1678:0:4630
1679:2:3295
1680:0:4630
1681:2:3620
1682:2:3621
1683:2:3625
1684:2:3626
1685:2:3634
1686:2:3635
1687:2:3639
1688:2:3640
1689:2:3648
1690:2:3653
1691:2:3657
1692:2:3658
1693:2:3666
1694:2:3667
1695:2:3671
1696:2:3672
1697:2:3666
1698:2:3667
1699:2:3671
1700:2:3672
1701:2:3680
1702:2:3685
1703:2:3686
1704:2:3697
1705:2:3698
1706:2:3699
1707:2:3710
1708:2:3715
1709:2:3716
1710:2:3727
1711:2:3728
1712:2:3729
1713:2:3727
1714:2:3728
1715:2:3729
1716:2:3740
1717:2:3749
1718:0:4630
1719:2:3295
1720:0:4630
1721:2:3755
1722:0:4630
1723:1:1160
1724:1:1161
1725:1:1165
1726:1:1166
1727:1:1174
1728:1:1175
1729:1:1176
1730:1:1188
1731:1:1193
1732:1:1197
1733:1:1198
1734:1:1206
1735:1:1207
1736:1:1211
1737:1:1212
1738:1:1206
1739:1:1207
1740:1:1211
1741:1:1212
1742:1:1220
1743:1:1225
1744:1:1226
1745:1:1237
1746:1:1238
1747:1:1239
1748:1:1250
1749:1:1255
1750:1:1256
1751:1:1267
1752:1:1268
1753:1:1269
1754:1:1267
1755:1:1275
1756:1:1276
1757:1:1280
1758:0:4630
1759:1:11
1760:0:4630
1761:2:4278
1762:2:4279
1763:2:4283
1764:2:4287
1765:2:4288
1766:2:4292
1767:2:4300
1768:2:4301
1769:2:4305
1770:2:4309
1771:2:4310
1772:2:4305
1773:2:4309
1774:2:4310
1775:2:4314
1776:2:4321
1777:2:4328
1778:2:4329
1779:2:4336
1780:2:4341
1781:2:4348
1782:2:4349
1783:2:4348
1784:2:4349
1785:2:4356
1786:2:4360
1787:0:4630
1788:2:3757
1789:2:3758
1790:0:4630
1791:2:3295
1792:0:4630
1793:2:3620
1794:2:3621
1795:2:3625
1796:2:3626
1797:2:3634
1798:2:3635
1799:2:3639
1800:2:3640
1801:2:3648
1802:2:3653
1803:2:3657
1804:2:3658
1805:2:3666
1806:2:3667
1807:2:3671
1808:2:3672
1809:2:3666
1810:2:3667
1811:2:3671
1812:2:3672
1813:2:3680
1814:2:3685
1815:2:3686
1816:2:3697
1817:2:3698
1818:2:3699
1819:2:3710
1820:2:3715
1821:2:3716
1822:2:3727
1823:2:3728
1824:2:3729
1825:2:3727
1826:2:3728
1827:2:3729
1828:2:3740
1829:2:3749
1830:0:4630
1831:2:3295
1832:0:4630
1833:2:3755
1834:0:4630
1835:1:1289
1836:0:4630
1837:2:4278
1838:2:4279
1839:2:4283
1840:2:4287
1841:2:4288
1842:2:4292
1843:2:4300
1844:2:4301
1845:2:4305
1846:2:4309
1847:2:4310
1848:2:4305
1849:2:4309
1850:2:4310
1851:2:4314
1852:2:4321
1853:2:4328
1854:2:4329
1855:2:4336
1856:2:4341
1857:2:4348
1858:2:4349
1859:2:4348
1860:2:4349
1861:2:4356
1862:2:4360
1863:0:4630
1864:2:3757
1865:2:3758
1866:0:4630
1867:2:3295
1868:0:4630
1869:2:3620
1870:2:3621
1871:2:3625
1872:2:3626
1873:2:3634
1874:2:3635
1875:2:3639
1876:2:3640
1877:2:3648
1878:2:3653
1879:2:3657
1880:2:3658
1881:2:3666
1882:2:3667
1883:2:3671
1884:2:3672
1885:2:3666
1886:2:3667
1887:2:3671
1888:2:3672
1889:2:3680
1890:2:3685
1891:2:3686
1892:2:3697
1893:2:3698
1894:2:3699
1895:2:3710
1896:2:3715
1897:2:3716
1898:2:3727
1899:2:3728
1900:2:3729
1901:2:3727
1902:2:3728
1903:2:3729
1904:2:3740
1905:2:3749
1906:0:4630
1907:2:3295
1908:0:4630
1909:2:3759
1910:2:3760
1911:2:3764
1912:2:3765
1913:2:3773
1914:2:3774
1915:2:3778
1916:2:3779
1917:2:3787
1918:2:3792
1919:2:3796
1920:2:3797
1921:2:3805
1922:2:3806
1923:2:3810
1924:2:3811
1925:2:3805
1926:2:3806
1927:2:3810
1928:2:3811
1929:2:3819
1930:2:3824
1931:2:3825
1932:2:3836
1933:2:3837
1934:2:3838
1935:2:3849
1936:2:3854
1937:2:3855
1938:2:3866
1939:2:3867
1940:2:3868
1941:2:3866
1942:2:3867
1943:2:3868
1944:2:3879
1945:0:4630
1946:2:3295
1947:0:4630
1948:2:3755
1949:0:4630
1950:2:4278
1951:2:4279
1952:2:4283
1953:2:4287
1954:2:4288
1955:2:4292
1956:2:4300
1957:2:4301
1958:2:4305
1959:2:4309
1960:2:4310
1961:2:4305
1962:2:4309
1963:2:4310
1964:2:4314
1965:2:4321
1966:2:4328
1967:2:4329
1968:2:4336
1969:2:4341
1970:2:4348
1971:2:4349
1972:2:4348
1973:2:4349
1974:2:4356
1975:2:4360
1976:0:4630
1977:1:3023
1978:1:3027
1979:1:3028
1980:1:3036
1981:1:3037
1982:1:3041
1983:1:3042
1984:1:3050
1985:1:3055
1986:1:3059
1987:1:3060
1988:1:3068
1989:1:3069
1990:1:3073
1991:1:3074
1992:1:3068
1993:1:3069
1994:1:3073
1995:1:3074
1996:1:3082
1997:1:3087
1998:1:3088
1999:1:3099
2000:1:3100
2001:1:3101
2002:1:3112
2003:1:3117
2004:1:3118
2005:1:3129
2006:1:3130
2007:1:3131
2008:1:3129
2009:1:3137
2010:1:3138
2011:1:3142
2012:1:3146
2013:0:4630
2014:2:3757
2015:2:3758
2016:0:4630
2017:2:3295
2018:0:4630
2019:2:3620
2020:2:3621
2021:2:3625
2022:2:3626
2023:2:3634
2024:2:3635
2025:2:3639
2026:2:3640
2027:2:3648
2028:2:3653
2029:2:3657
2030:2:3658
2031:2:3666
2032:2:3667
2033:2:3671
2034:2:3672
2035:2:3666
2036:2:3667
2037:2:3671
2038:2:3672
2039:2:3680
2040:2:3685
2041:2:3686
2042:2:3697
2043:2:3698
2044:2:3699
2045:2:3710
2046:2:3715
2047:2:3716
2048:2:3727
2049:2:3728
2050:2:3729
2051:2:3727
2052:2:3728
2053:2:3729
2054:2:3740
2055:2:3749
2056:0:4630
2057:2:3295
2058:0:4630
2059:2:3755
2060:0:4630
2061:2:4278
2062:2:4279
2063:2:4283
2064:2:4287
2065:2:4288
2066:2:4292
2067:2:4300
2068:2:4301
2069:2:4305
2070:2:4309
2071:2:4310
2072:2:4305
2073:2:4309
2074:2:4310
2075:2:4314
2076:2:4321
2077:2:4328
2078:2:4329
2079:2:4336
2080:2:4341
2081:2:4348
2082:2:4349
2083:2:4348
2084:2:4349
2085:2:4356
2086:2:4360
2087:0:4630
2088:1:1291
2089:1:1292
2090:0:4628
2091:1:11
2092:0:4634
2093:1:3146