Update formal model from local copy

[urcu.git] / formal-model / urcu-nosched-model / result-signal-over-writer / testmerge / urcu_progress_writer_error.spin.input.trail

-2:2:-2
-4:-4:-4
1:0:2223
2:2:908
3:0:2223
4:1:0
5:0:2223
6:1:1
7:0:2223
8:1:2
9:0:2223
10:1:3
11:0:2223
12:2:909
13:0:2223
14:2:910
15:2:914
16:2:915
17:2:922
18:2:926
19:2:927
20:2:934
21:2:938
22:2:939
23:2:946
24:2:947
25:2:957
26:2:958
27:2:968
28:2:969
29:0:2221
30:2:981
31:2:982
32:0:2227
33:2:986
34:2:990
35:2:991
36:2:998
37:2:1002
38:2:1003
39:2:1010
40:2:1011
41:2:1022
42:2:1023
43:2:1033
44:2:1034
45:2:1044
46:2:1045
47:0:2227
48:2:1057
49:0:2227
50:2:1058
51:0:2227
52:2:1068
53:0:2227
54:2:1069
55:0:2227
56:2:1073
57:2:1074
58:2:1080
59:2:1081
60:2:1087
61:2:1088
62:2:1093
63:2:1099
64:2:1105
65:0:2227
66:2:1116
67:0:2227
68:2:1120
69:2:1121
70:2:1127
71:2:1128
72:2:1134
73:2:1135
74:2:1140
75:2:1146
76:2:1152
77:0:2227
78:2:1163
79:0:2227
80:2:1171
81:2:1172
82:2:1178
83:2:1179
84:2:1185
85:2:1186
86:2:1191
87:2:1197
88:2:1203
89:0:2227
90:2:1218
91:0:2227
92:2:1219
93:2:1223
94:2:1224
95:2:1231
96:2:1235
97:2:1236
98:2:1243
99:2:1247
100:2:1248
101:2:1255
102:2:1256
103:2:1266
104:2:1267
105:2:1277
106:2:1278
107:0:2227
108:2:1290
109:0:2227
110:2:1293
111:2:1294
112:2:1305
113:2:1309
114:2:1310
115:2:1317
116:2:1321
117:2:1322
118:2:1329
119:2:1330
120:2:1340
121:2:1341
122:2:1351
123:2:1352
124:0:2227
125:2:1364
126:0:2227
127:2:1365
128:0:2227
129:2:1366
130:0:2227
131:2:1367
132:0:2227
133:2:1368
134:2:1372
135:2:1373
136:2:1380
137:2:1384
138:2:1385
139:2:1392
140:2:1396
141:2:1397
142:2:1404
143:2:1405
144:2:1415
145:2:1416
146:2:1426
147:2:1427
148:0:2227
149:2:1511
150:0:2227
151:2:1591
152:0:2227
153:2:1592
154:0:2227
155:2:1596
156:0:2227
157:2:1602
158:2:1606
159:2:1607
160:2:1614
161:2:1618
162:2:1619
163:2:1626
164:2:1630
165:2:1631
166:2:1638
167:2:1639
168:2:1649
169:2:1650
170:2:1660
171:2:1661
172:0:2227
173:2:1673
174:0:2227
175:2:1674
176:2:1678
177:2:1679
178:2:1686
179:2:1690
180:2:1691
181:2:1698
182:2:1702
183:2:1703
184:2:1710
185:2:1711
186:2:1721
187:2:1722
188:2:1732
189:2:1733
190:0:2227
191:2:1745
192:0:2227
193:1:4
194:1:8
195:1:9
196:1:16
197:1:20
198:1:21
199:1:28
200:1:32
201:1:33
202:1:40
203:1:41
204:1:51
205:1:52
206:1:62
207:1:63
208:0:2227
209:1:75
210:0:2227
211:1:76
212:1:80
213:1:81
214:1:88
215:1:92
216:1:93
217:1:100
218:1:104
219:1:105
220:1:112
221:1:113
222:1:123
223:1:124
224:1:134
225:1:135
226:0:2227
227:1:147
228:0:2227
229:1:148
230:0:2227
231:1:149
232:1:153
233:1:154
234:1:161
235:1:165
236:1:166
237:1:173
238:1:177
239:1:178
240:1:185
241:1:186
242:1:196
243:1:197
244:1:207
245:1:208
246:0:2227
247:1:220
248:0:2227
249:1:373
250:0:2227
251:1:374
252:0:2227
253:1:3
254:0:2227
255:1:4
256:1:8
257:1:9
258:1:16
259:1:17
260:1:28
261:1:32
262:1:33
263:1:40
264:1:41
265:1:51
266:1:52
267:1:62
268:1:63
269:0:2227
270:2:1748
271:2:1749
272:2:1760
273:2:1764
274:2:1765
275:2:1772
276:2:1776
277:2:1777
278:2:1784
279:2:1785
280:2:1795
281:2:1796
282:2:1806
283:2:1807
284:0:2227
285:2:1819
286:0:2227
287:2:1820
288:0:2227
289:2:1821
290:0:2227
291:2:1822
292:0:2227
293:2:1823
294:2:1827
295:2:1828
296:2:1835
297:2:1839
298:2:1840
299:2:1847
300:2:1851
301:2:1852
302:2:1859
303:2:1860
304:2:1870
305:2:1871
306:2:1881
307:2:1882
308:0:2227
309:2:1894
310:0:2227
311:2:1895
312:2:1899
313:2:1900
314:2:1907
315:2:1911
316:2:1912
317:2:1919
318:2:1923
319:2:1924
320:2:1931
321:2:1932
322:2:1942
323:2:1943
324:2:1953
325:2:1954
326:0:2227
327:2:1821
328:0:2227
329:1:75
330:0:2227
331:2:1822
332:0:2227
333:2:1823
334:2:1827
335:2:1828
336:2:1835
337:2:1839
338:2:1840
339:2:1847
340:2:1851
341:2:1852
342:2:1859
343:2:1860
344:2:1870
345:2:1871
346:2:1881
347:2:1882
348:0:2227
349:2:1894
350:0:2227
351:2:1895
352:2:1899
353:2:1900
354:2:1907
355:2:1911
356:2:1912
357:2:1919
358:2:1923
359:2:1924
360:2:1931
361:2:1932
362:2:1942
363:2:1943
364:2:1953
365:2:1954
366:0:2227
367:2:1821
368:0:2227
369:1:76
370:1:80
371:1:81
372:1:88
373:1:92
374:1:93
375:1:100
376:1:104
377:1:105
378:1:112
379:1:113
380:1:123
381:1:124
382:1:134
383:1:135
384:0:2227
385:1:223
386:0:2227
387:2:1822
388:0:2227
389:2:1823
390:2:1827
391:2:1828
392:2:1835
393:2:1839
394:2:1840
395:2:1847
396:2:1851
397:2:1852
398:2:1859
399:2:1860
400:2:1870
401:2:1871
402:2:1881
403:2:1882
404:0:2227
405:2:1894
406:0:2227
407:2:1895
408:2:1899
409:2:1900
410:2:1907
411:2:1911
412:2:1912
413:2:1919
414:2:1923
415:2:1924
416:2:1931
417:2:1932
418:2:1942
419:2:1943
420:2:1953
421:2:1954
422:0:2227
423:2:1821
424:0:2227
425:1:224
426:0:2227
427:1:373
428:0:2227
429:1:374
430:0:2227
431:1:379
432:0:2227
433:2:1822
434:0:2227
435:2:1823
436:2:1827
437:2:1828
438:2:1835
439:2:1839
440:2:1840
441:2:1847
442:2:1851
443:2:1852
444:2:1859
445:2:1860
446:2:1870
447:2:1871
448:2:1881
449:2:1882
450:0:2227
451:2:1894
452:0:2227
453:2:1895
454:2:1899
455:2:1900
456:2:1907
457:2:1911
458:2:1912
459:2:1919
460:2:1923
461:2:1924
462:2:1931
463:2:1932
464:2:1942
465:2:1943
466:2:1953
467:2:1954
468:0:2227
469:2:1821
470:0:2227
471:1:384
472:1:388
473:1:389
474:1:396
475:1:397
476:1:408
477:1:412
478:1:413
479:1:420
480:1:421
481:1:431
482:1:432
483:1:442
484:1:443
485:0:2227
486:2:1822
487:0:2227
488:2:1823
489:2:1827
490:2:1828
491:2:1835
492:2:1839
493:2:1840
494:2:1847
495:2:1851
496:2:1852
497:2:1859
498:2:1860
499:2:1870
500:2:1871
501:2:1881
502:2:1882
503:0:2227
504:2:1894
505:0:2227
506:2:1895
507:2:1899
508:2:1900
509:2:1907
510:2:1911
511:2:1912
512:2:1919
513:2:1923
514:2:1924
515:2:1931
516:2:1932
517:2:1942
518:2:1943
519:2:1953
520:2:1954
521:0:2227
522:2:1821
523:0:2227
524:2:1822
525:0:2227
526:2:1823
527:2:1827
528:2:1828
529:2:1835
530:2:1839
531:2:1840
532:2:1847
533:2:1851
534:2:1852
535:2:1859
536:2:1860
537:2:1870
538:2:1871
539:2:1881
540:2:1882
541:0:2227
542:1:455
543:0:2227
544:2:1894
545:0:2227
546:2:1895
547:2:1899
548:2:1900
549:2:1907
550:2:1911
551:2:1912
552:2:1919
553:2:1923
554:2:1924
555:2:1931
556:2:1932
557:2:1942
558:2:1943
559:2:1953
560:2:1954
561:0:2227
562:2:1821
563:0:2227
564:2:1822
565:0:2227
566:2:1823
567:2:1827
568:2:1828
569:2:1835
570:2:1839
571:2:1840
572:2:1847
573:2:1851
574:2:1852
575:2:1859
576:2:1860
577:2:1870
578:2:1871
579:2:1881
580:2:1882
581:0:2227
582:1:456
583:1:460
584:1:461
585:1:468
586:1:472
587:1:473
588:1:480
589:1:484
590:1:485
591:1:492
592:1:493
593:1:503
594:1:504
595:1:514
596:1:515
597:0:2227
598:2:1894
599:0:2227
600:2:1895
601:2:1899
602:2:1900
603:2:1907
604:2:1911
605:2:1912
606:2:1919
607:2:1923
608:2:1924
609:2:1931
610:2:1932
611:2:1942
612:2:1943
613:2:1953
614:2:1954
615:0:2227
616:2:1821
617:0:2227
618:2:1822
619:0:2227
620:2:1823
621:2:1827
622:2:1828
623:2:1835
624:2:1839
625:2:1840
626:2:1847
627:2:1851
628:2:1852
629:2:1859
630:2:1860
631:2:1870
632:2:1871
633:2:1881
634:2:1882
635:0:2227
636:1:527
637:0:2227
638:2:1894
639:0:2227
640:2:1895
641:2:1899
642:2:1900
643:2:1907
644:2:1911
645:2:1912
646:2:1919
647:2:1923
648:2:1924
649:2:1931
650:2:1932
651:2:1942
652:2:1943
653:2:1953
654:2:1954
655:0:2227
656:2:1821
657:0:2227
658:2:1822
659:0:2227
660:2:1823
661:2:1827
662:2:1828
663:2:1835
664:2:1839
665:2:1840
666:2:1847
667:2:1851
668:2:1852
669:2:1859
670:2:1860
671:2:1870
672:2:1871
673:2:1881
674:2:1882
675:0:2227
676:1:528
677:1:532
678:1:533
679:1:540
680:1:544
681:1:545
682:1:552
683:1:556
684:1:557
685:1:564
686:1:565
687:1:575
688:1:576
689:1:586
690:1:587
691:0:2227
692:2:1894
693:0:2227
694:2:1895
695:2:1899
696:2:1900
697:2:1907
698:2:1911
699:2:1912
700:2:1919
701:2:1923
702:2:1924
703:2:1931
704:2:1932
705:2:1942
706:2:1943
707:2:1953
708:2:1954
709:0:2227
710:2:1821
711:0:2227
712:2:1822
713:0:2227
714:2:1823
715:2:1827
716:2:1828
717:2:1835
718:2:1839
719:2:1840
720:2:1847
721:2:1851
722:2:1852
723:2:1859
724:2:1860
725:2:1870
726:2:1871
727:2:1881
728:2:1882
729:0:2227
730:1:599
731:0:2227
732:1:600
733:0:2227
734:1:601
735:0:2227
736:1:746
737:0:2227
738:1:747
739:0:2227
740:2:1894
741:0:2227
742:2:1895
743:2:1899
744:2:1900
745:2:1907
746:2:1911
747:2:1912
748:2:1919
749:2:1923
750:2:1924
751:2:1931
752:2:1932
753:2:1942
754:2:1943
755:2:1953
756:2:1954
757:0:2227
758:2:1821
759:0:2227
760:2:1822
761:0:2227
762:2:1823
763:2:1827
764:2:1828
765:2:1835
766:2:1839
767:2:1840
768:2:1847
769:2:1851
770:2:1852
771:2:1859
772:2:1860
773:2:1870
774:2:1871
775:2:1881
776:2:1882
777:0:2227
778:1:751
779:0:2227
780:2:1894
781:0:2227
782:2:1895
783:2:1899
784:2:1900
785:2:1907
786:2:1911
787:2:1912
788:2:1919
789:2:1923
790:2:1924
791:2:1931
792:2:1932
793:2:1942
794:2:1943
795:2:1953
796:2:1954
797:0:2227
798:2:1821
799:0:2227
800:2:1822
801:0:2227
802:2:1823
803:2:1827
804:2:1828
805:2:1835
806:2:1839
807:2:1840
808:2:1847
809:2:1851
810:2:1852
811:2:1859
812:2:1860
813:2:1870
814:2:1871
815:2:1881
816:2:1882
817:0:2227
818:1:752
819:1:756
820:1:757
821:1:764
822:1:768
823:1:769
824:1:776
825:1:780
826:1:781
827:1:788
828:1:789
829:1:799
830:1:800
831:1:810
832:1:811
833:0:2227
834:2:1894
835:0:2227
836:2:1895
837:2:1899
838:2:1900
839:2:1907
840:2:1911
841:2:1912
842:2:1919
843:2:1923
844:2:1924
845:2:1931
846:2:1932
847:2:1942
848:2:1943
849:2:1953
850:2:1954
851:0:2227
852:2:1821
853:0:2227
854:2:1822
855:0:2227
856:2:1823
857:2:1827
858:2:1828
859:2:1835
860:2:1839
861:2:1840
862:2:1847
863:2:1851
864:2:1852
865:2:1859
866:2:1860
867:2:1870
868:2:1871
869:2:1881
870:2:1882
871:0:2227
872:1:823
873:0:2227
874:1:601
875:0:2227
876:1:746
877:0:2227
878:1:747
879:0:2227
880:2:1894
881:0:2227
882:2:1895
883:2:1899
884:2:1900
885:2:1907
886:2:1911
887:2:1912
888:2:1919
889:2:1923
890:2:1924
891:2:1931
892:2:1932
893:2:1942
894:2:1943
895:2:1953
896:2:1954
897:0:2227
898:2:1821
899:0:2227
900:2:1822
901:0:2227
902:2:1823
903:2:1827
904:2:1828
905:2:1835
906:2:1839
907:2:1840
908:2:1847
909:2:1851
910:2:1852
911:2:1859
912:2:1860
913:2:1870
914:2:1871
915:2:1881
916:2:1882
917:0:2227
918:1:751
919:0:2227
920:2:1894
921:0:2227
922:2:1895
923:2:1899
924:2:1900
925:2:1907
926:2:1911
927:2:1912
928:2:1919
929:2:1923
930:2:1924
931:2:1931
932:2:1932
933:2:1942
934:2:1943
935:2:1953
936:2:1954
937:0:2227
938:2:1821
939:0:2227
940:2:1822
941:0:2227
942:2:1823
943:2:1827
944:2:1828
945:2:1835
946:2:1839
947:2:1840
948:2:1847
949:2:1851
950:2:1852
951:2:1859
952:2:1860
953:2:1870
954:2:1871
955:2:1881
956:2:1882
957:0:2227
958:1:752
959:1:756
960:1:757
961:1:764
962:1:765
963:1:776
964:1:780
965:1:781
966:1:788
967:1:789
968:1:799
969:1:800
970:1:810
971:1:811
972:0:2227
973:2:1894
974:0:2227
975:2:1895
976:2:1899
977:2:1900
978:2:1907
979:2:1911
980:2:1912
981:2:1919
982:2:1923
983:2:1924
984:2:1931
985:2:1932
986:2:1942
987:2:1943
988:2:1953
989:2:1954
990:0:2227
991:2:1821
992:0:2227
993:2:1822
994:0:2227
995:2:1823
996:2:1827
997:2:1828
998:2:1835
999:2:1839
1000:2:1840
1001:2:1847
1002:2:1851
1003:2:1852
1004:2:1859
1005:2:1860
1006:2:1870
1007:2:1871
1008:2:1881
1009:2:1882
1010:0:2227
1011:2:1894
1012:0:2227
1013:1:823
1014:0:2227
1015:1:827
1016:0:2227
1017:2:1895
1018:2:1899
1019:2:1900
1020:2:1907
1021:2:1911
1022:2:1912
1023:2:1919
1024:2:1923
1025:2:1924
1026:2:1931
1027:2:1932
1028:2:1942
1029:2:1943
1030:2:1953
1031:2:1954
1032:0:2227
1033:2:1821
1034:0:2227
1035:2:1822
1036:0:2227
1037:2:1823
1038:2:1827
1039:2:1828
1040:2:1835
1041:2:1839
1042:2:1840
1043:2:1847
1044:2:1851
1045:2:1852
1046:2:1859
1047:2:1860
1048:2:1870
1049:2:1871
1050:2:1881
1051:2:1882
1052:0:2227
1053:2:1894
1054:0:2227
1055:1:832
1056:1:836
1057:1:837
1058:1:844
1059:1:845
1060:1:856
1061:1:860
1062:1:861
1063:1:868
1064:1:869
1065:1:879
1066:1:880
1067:1:890
1068:1:891
1069:0:2227
1070:1:1
1071:0:2227
1072:1:2
1073:0:2227
1074:1:3
1075:0:2227
1076:2:1895
1077:2:1899
1078:2:1900
1079:2:1907
1080:2:1911
1081:2:1912
1082:2:1919
1083:2:1923
1084:2:1924
1085:2:1931
1086:2:1932
1087:2:1949
1088:2:1950
1089:2:1953
1090:2:1954
1091:0:2227
1092:2:1821
1093:0:2227
1094:2:1822
1095:0:2227
1096:2:1823
1097:2:1827
1098:2:1828
1099:2:1835
1100:2:1839
1101:2:1840
1102:2:1847
1103:2:1851
1104:2:1852
1105:2:1859
1106:2:1860
1107:2:1877
1108:2:1878
1109:2:1881
1110:2:1882
1111:0:2227
1112:2:1894
1113:0:2227
1114:1:4
1115:1:8
1116:1:9
1117:1:16
1118:1:20
1119:1:21
1120:1:28
1121:1:32
1122:1:33
1123:1:40
1124:1:41
1125:1:51
1126:1:52
1127:1:62
1128:1:63
1129:0:2227
1130:2:1895
1131:2:1899
1132:2:1900
1133:2:1907
1134:2:1911
1135:2:1912
1136:2:1919
1137:2:1923
1138:2:1924
1139:2:1931
1140:2:1932
1141:2:1949
1142:2:1950
1143:2:1953
1144:2:1954
1145:0:2227
1146:2:1821
1147:0:2227
1148:2:1822
1149:0:2227
1150:2:1823
1151:2:1827
1152:2:1828
1153:2:1835
1154:2:1839
1155:2:1840
1156:2:1847
1157:2:1851
1158:2:1852
1159:2:1859
1160:2:1860
1161:2:1877
1162:2:1878
1163:2:1881
1164:2:1882
1165:0:2227
1166:2:1894
1167:0:2227
1168:1:75
1169:0:2227
1170:2:1895
1171:2:1899
1172:2:1900
1173:2:1907
1174:2:1911
1175:2:1912
1176:2:1919
1177:2:1923
1178:2:1924
1179:2:1931
1180:2:1932
1181:2:1949
1182:2:1950
1183:2:1953
1184:2:1954
1185:0:2227
1186:2:1821
1187:0:2227
1188:2:1822
1189:0:2227
1190:2:1823
1191:2:1827
1192:2:1828
1193:2:1835
1194:2:1839
1195:2:1840
1196:2:1847
1197:2:1851
1198:2:1852
1199:2:1859
1200:2:1860
1201:2:1877
1202:2:1878
1203:2:1881
1204:2:1882
1205:0:2227
1206:2:1894
1207:0:2227
1208:1:76
1209:1:80
1210:1:81
1211:1:88
1212:1:92
1213:1:93
1214:1:100
1215:1:104
1216:1:105
1217:1:112
1218:1:113
1219:1:123
1220:1:124
1221:1:134
1222:1:135
1223:0:2227
1224:1:147
1225:0:2227
1226:2:1895
1227:2:1899
1228:2:1900
1229:2:1907
1230:2:1911
1231:2:1912
1232:2:1919
1233:2:1923
1234:2:1924
1235:2:1931
1236:2:1932
1237:2:1949
1238:2:1950
1239:2:1953
1240:2:1954
1241:0:2227
1242:2:1821
1243:0:2227
1244:2:1822
1245:0:2227
1246:2:1823
1247:2:1827
1248:2:1828
1249:2:1835
1250:2:1839
1251:2:1840
1252:2:1847
1253:2:1851
1254:2:1852
1255:2:1859
1256:2:1860
1257:2:1877
1258:2:1878
1259:2:1881
1260:2:1882
1261:0:2227
1262:2:1894
1263:0:2227
1264:1:148
1265:0:2227
1266:2:1895
1267:2:1899
1268:2:1900
1269:2:1907
1270:2:1911
1271:2:1912
1272:2:1919
1273:2:1923
1274:2:1924
1275:2:1931
1276:2:1932
1277:2:1949
1278:2:1950
1279:2:1953
1280:2:1954
1281:0:2227
1282:2:1821
1283:0:2227
1284:2:1822
1285:0:2227
1286:2:1823
1287:2:1827
1288:2:1828
1289:2:1835
1290:2:1839
1291:2:1840
1292:2:1847
1293:2:1851
1294:2:1852
1295:2:1859
1296:2:1860
1297:2:1877
1298:2:1878
1299:2:1881
1300:2:1882
1301:0:2227
1302:2:1894
1303:0:2227
1304:1:149
1305:1:153
1306:1:154
1307:1:161
1308:1:165
1309:1:166
1310:1:173
1311:1:177
1312:1:178
1313:1:185
1314:1:186
1315:1:196
1316:1:197
1317:1:207
1318:1:208
1319:0:2227
1320:2:1895
1321:2:1899
1322:2:1900
1323:2:1907
1324:2:1911
1325:2:1912
1326:2:1919
1327:2:1923
1328:2:1924
1329:2:1931
1330:2:1932
1331:2:1949
1332:2:1950
1333:2:1953
1334:2:1954
1335:0:2227
1336:2:1821
1337:0:2227
1338:2:1822
1339:0:2227
1340:2:1823
1341:2:1827
1342:2:1828
1343:2:1835
1344:2:1839
1345:2:1840
1346:2:1847
1347:2:1851
1348:2:1852
1349:2:1859
1350:2:1860
1351:2:1877
1352:2:1878
1353:2:1881
1354:2:1882
1355:0:2227
1356:2:1894
1357:0:2227
1358:1:220
1359:0:2227
1360:1:373
1361:0:2227
1362:1:374
1363:0:2227
1364:1:3
1365:0:2227
1366:2:1895
1367:2:1899
1368:2:1900
1369:2:1907
1370:2:1911
1371:2:1912
1372:2:1919
1373:2:1923
1374:2:1924
1375:2:1931
1376:2:1932
1377:2:1949
1378:2:1950
1379:2:1953
1380:2:1954
1381:0:2227
1382:2:1821
1383:0:2227
1384:2:1822
1385:0:2227
1386:2:1823
1387:2:1827
1388:2:1828
1389:2:1835
1390:2:1839
1391:2:1840
1392:2:1847
1393:2:1851
1394:2:1852
1395:2:1859
1396:2:1860
1397:2:1877
1398:2:1878
1399:2:1881
1400:2:1882
1401:0:2227
1402:2:1894
1403:0:2227
1404:1:4
1405:1:8
1406:1:9
1407:1:16
1408:1:17
1409:1:28
1410:1:32
1411:1:33
1412:1:40
1413:1:41
1414:1:51
1415:1:52
1416:1:62
1417:1:63
1418:0:2227
1419:2:1895
1420:2:1899
1421:2:1900
1422:2:1907
1423:2:1911
1424:2:1912
1425:2:1919
1426:2:1923
1427:2:1924
1428:2:1931
1429:2:1932
1430:2:1949
1431:2:1950
1432:2:1953
1433:2:1954
1434:0:2227
1435:2:1821
1436:0:2227
1437:2:1822
-1:-1:-1
1438:0:2227
1439:2:1823
1440:2:1827
1441:2:1828
1442:2:1835
1443:2:1839
1444:2:1840
1445:2:1847
1446:2:1851
1447:2:1852
1448:2:1859
1449:2:1860
1450:2:1877
1451:2:1878
1452:2:1881
1453:2:1882
1454:0:2227
1455:2:1894
1456:0:2227
1457:1:75
1458:0:2227
1459:2:1895
1460:2:1899
1461:2:1900
1462:2:1907
1463:2:1911
1464:2:1912
1465:2:1919
1466:2:1923
1467:2:1924
1468:2:1931
1469:2:1932
1470:2:1949
1471:2:1950
1472:2:1953
1473:2:1954
1474:0:2227
1475:2:1821
1476:0:2227
1477:2:1822
1478:0:2227
1479:2:1823
1480:2:1827
1481:2:1828
1482:2:1835
1483:2:1839
1484:2:1840
1485:2:1847
1486:2:1851
1487:2:1852
1488:2:1859
1489:2:1860
1490:2:1877
1491:2:1878
1492:2:1881
1493:2:1882
1494:0:2227
1495:2:1894
1496:0:2227
1497:1:76
1498:1:80
1499:1:81
1500:1:88
1501:1:92
1502:1:93
1503:1:100
1504:1:104
1505:1:105
1506:1:112
1507:1:113
1508:1:123
1509:1:124
1510:1:134
1511:1:135
1512:0:2227
1513:1:223
1514:0:2227
1515:2:1895
1516:2:1899
1517:2:1900
1518:2:1907
1519:2:1911
1520:2:1912
1521:2:1919
1522:2:1923
1523:2:1924
1524:2:1931
1525:2:1932
1526:2:1949
1527:2:1950
1528:2:1953
1529:2:1954
1530:0:2227
1531:2:1821
1532:0:2227
1533:2:1822
1534:0:2227
1535:2:1823
1536:2:1827
1537:2:1828
1538:2:1835
1539:2:1839
1540:2:1840
1541:2:1847
1542:2:1851
1543:2:1852
1544:2:1859
1545:2:1860
1546:2:1877
1547:2:1878
1548:2:1881
1549:2:1882
1550:0:2227
1551:2:1894
1552:0:2227
1553:1:224
1554:0:2227
1555:1:373
1556:0:2227
1557:1:374
1558:0:2227
1559:1:379
1560:0:2227
1561:2:1895
1562:2:1899
1563:2:1900
1564:2:1907
1565:2:1911
1566:2:1912
1567:2:1919
1568:2:1923
1569:2:1924
1570:2:1931
1571:2:1932
1572:2:1949
1573:2:1950
1574:2:1953
1575:2:1954
1576:0:2227
1577:2:1821
1578:0:2227
1579:2:1822
1580:0:2227
1581:2:1823
1582:2:1827
1583:2:1828
1584:2:1835
1585:2:1839
1586:2:1840
1587:2:1847
1588:2:1851
1589:2:1852
1590:2:1859
1591:2:1860
1592:2:1877
1593:2:1878
1594:2:1881
1595:2:1882
1596:0:2227
1597:2:1894
1598:0:2227
1599:1:384
1600:1:388
1601:1:389
1602:1:396
1603:1:397
1604:1:408
1605:1:412
1606:1:413
1607:1:420
1608:1:421
1609:1:431
1610:1:432
1611:1:442
1612:1:443
1613:0:2227
1614:2:1895
1615:2:1899
1616:2:1900
1617:2:1907
1618:2:1911
1619:2:1912
1620:2:1919
1621:2:1923
1622:2:1924
1623:2:1931
1624:2:1932
1625:2:1949
1626:2:1950
1627:2:1953
1628:2:1954
1629:0:2227
1630:2:1821
1631:0:2227
1632:2:1822
1633:0:2227
1634:2:1823
1635:2:1827
1636:2:1828
1637:2:1835
1638:2:1839
1639:2:1840
1640:2:1847
1641:2:1851
1642:2:1852
1643:2:1859
1644:2:1860
1645:2:1877
1646:2:1878
1647:2:1881
1648:2:1882
1649:0:2227
1650:2:1894
1651:0:2227
1652:1:455
1653:0:2227
1654:2:1895
1655:2:1899
1656:2:1900
1657:2:1907
1658:2:1911
1659:2:1912
1660:2:1919
1661:2:1923
1662:2:1924
1663:2:1931
1664:2:1932
1665:2:1949
1666:2:1950
1667:2:1953
1668:2:1954
1669:0:2227
1670:2:1821
1671:0:2227
1672:2:1822
1673:0:2227
1674:2:1823
1675:2:1827
1676:2:1828
1677:2:1835
1678:2:1839
1679:2:1840
1680:2:1847
1681:2:1851
1682:2:1852
1683:2:1859
1684:2:1860
1685:2:1877
1686:2:1878
1687:2:1881
1688:2:1882
1689:0:2227
1690:2:1894
1691:0:2227
1692:1:456
1693:1:460
1694:1:461
1695:1:468
1696:1:472
1697:1:473
1698:1:480
1699:1:484
1700:1:485
1701:1:492
1702:1:493
1703:1:503
1704:1:504
1705:1:514
1706:1:515
1707:0:2227
1708:2:1895
1709:2:1899
1710:2:1900
1711:2:1907
1712:2:1911
1713:2:1912
1714:2:1919
1715:2:1923
1716:2:1924
1717:2:1931
1718:2:1932
1719:2:1949
1720:2:1950
1721:2:1953
1722:2:1954
1723:0:2227
1724:2:1821
1725:0:2227
1726:2:1822
1727:0:2227
1728:2:1823
1729:2:1827
1730:2:1828
1731:2:1835
1732:2:1839
1733:2:1840
1734:2:1847
1735:2:1851
1736:2:1852
1737:2:1859
1738:2:1860
1739:2:1877
1740:2:1878
1741:2:1881
1742:2:1882
1743:0:2227
1744:2:1894
1745:0:2227
1746:1:527
1747:0:2227
1748:2:1895
1749:2:1899
1750:2:1900
1751:2:1907
1752:2:1911
1753:2:1912
1754:2:1919
1755:2:1923
1756:2:1924
1757:2:1931
1758:2:1932
1759:2:1949
1760:2:1950
1761:2:1953
1762:2:1954
1763:0:2227
1764:2:1821
1765:0:2227
1766:2:1822
1767:0:2227
1768:2:1823
1769:2:1827
1770:2:1828
1771:2:1835
1772:2:1839
1773:2:1840
1774:2:1847
1775:2:1851
1776:2:1852
1777:2:1859
1778:2:1860
1779:2:1877
1780:2:1878
1781:2:1881
1782:2:1882
1783:0:2227
1784:2:1894
1785:0:2227
1786:1:528
1787:1:532
1788:1:533
1789:1:540
1790:1:544
1791:1:545
1792:1:552
1793:1:556
1794:1:557
1795:1:564
1796:1:565
1797:1:575
1798:1:576
1799:1:586
1800:1:587
1801:0:2227
1802:2:1895
1803:2:1899
1804:2:1900
1805:2:1907
1806:2:1911
1807:2:1912
1808:2:1919
1809:2:1923
1810:2:1924
1811:2:1931
1812:2:1932
1813:2:1949
1814:2:1950
1815:2:1953
1816:2:1954
1817:0:2227
1818:2:1821
1819:0:2227
1820:2:1822
1821:0:2227
1822:2:1823
1823:2:1827
1824:2:1828
1825:2:1835
1826:2:1839
1827:2:1840
1828:2:1847
1829:2:1851
1830:2:1852
1831:2:1859
1832:2:1860
1833:2:1877
1834:2:1878
1835:2:1881
1836:2:1882
1837:0:2227
1838:2:1894
1839:0:2227
1840:1:599
1841:0:2227
1842:1:600
1843:0:2227
1844:1:601
1845:0:2227
1846:1:746
1847:0:2227
1848:1:747
1849:0:2227
1850:2:1895
1851:2:1899
1852:2:1900
1853:2:1907
1854:2:1911
1855:2:1912
1856:2:1919
1857:2:1923
1858:2:1924
1859:2:1931
1860:2:1932
1861:2:1949
1862:2:1950
1863:2:1953
1864:2:1954
1865:0:2227
1866:2:1821
1867:0:2227
1868:2:1822
1869:0:2227
1870:2:1823
1871:2:1827
1872:2:1828
1873:2:1835
1874:2:1839
1875:2:1840
1876:2:1847
1877:2:1851
1878:2:1852
1879:2:1859
1880:2:1860
1881:2:1877
1882:2:1878
1883:2:1881
1884:2:1882
1885:0:2227
1886:2:1894
1887:0:2227
1888:1:751
1889:0:2227
1890:2:1895
1891:2:1899
1892:2:1900
1893:2:1907
1894:2:1911
1895:2:1912
1896:2:1919
1897:2:1923
1898:2:1924
1899:2:1931
1900:2:1932
1901:2:1949
1902:2:1950
1903:2:1953
1904:2:1954
1905:0:2227
1906:2:1821
1907:0:2227
1908:2:1822
1909:0:2227
1910:2:1823
1911:2:1827
1912:2:1828
1913:2:1835
1914:2:1839
1915:2:1840
1916:2:1847
1917:2:1851
1918:2:1852
1919:2:1859
1920:2:1860
1921:2:1877
1922:2:1878
1923:2:1881
1924:2:1882
1925:0:2227
1926:2:1894
1927:0:2227
1928:1:752
1929:1:756
1930:1:757
1931:1:764
1932:1:768
1933:1:769
1934:1:776
1935:1:780
1936:1:781
1937:1:788
1938:1:789
1939:1:799
1940:1:800
1941:1:810
1942:1:811
1943:0:2227
1944:2:1895
1945:2:1899
1946:2:1900
1947:2:1907
1948:2:1911
1949:2:1912
1950:2:1919
1951:2:1923
1952:2:1924
1953:2:1931
1954:2:1932
1955:2:1949
1956:2:1950
1957:2:1953
1958:2:1954
1959:0:2227
1960:2:1821
1961:0:2227
1962:2:1822
1963:0:2227
1964:2:1823
1965:2:1827
1966:2:1828
1967:2:1835
1968:2:1839
1969:2:1840
1970:2:1847
1971:2:1851
1972:2:1852
1973:2:1859
1974:2:1860
1975:2:1877
1976:2:1878
1977:2:1881
1978:2:1882
1979:0:2227
1980:2:1894
1981:0:2227
1982:1:823
1983:0:2227
1984:1:601
1985:0:2227
1986:1:746
1987:0:2227
1988:1:747
1989:0:2227
1990:2:1895
1991:2:1899
1992:2:1900
1993:2:1907
1994:2:1911
1995:2:1912
1996:2:1919
1997:2:1923
1998:2:1924
1999:2:1931
2000:2:1932
2001:2:1949
2002:2:1950
2003:2:1953
2004:2:1954
2005:0:2227
2006:2:1821
2007:0:2227
2008:2:1822
2009:0:2227
2010:2:1823
2011:2:1827
2012:2:1828
2013:2:1835
2014:2:1839
2015:2:1840
2016:2:1847
2017:2:1851
2018:2:1852
2019:2:1859
2020:2:1860
2021:2:1877
2022:2:1878
2023:2:1881
2024:2:1882
2025:0:2227
2026:2:1894
2027:0:2227
2028:1:751
2029:0:2227
2030:2:1895
2031:2:1899
2032:2:1900
2033:2:1907
2034:2:1911
2035:2:1912
2036:2:1919
2037:2:1923
2038:2:1924
2039:2:1931
2040:2:1932
2041:2:1949
2042:2:1950
2043:2:1953
2044:2:1954
2045:0:2227
2046:2:1821
2047:0:2227
2048:2:1822
2049:0:2227
2050:2:1823
2051:2:1827
2052:2:1828
2053:2:1835
2054:2:1839
2055:2:1840
2056:2:1847
2057:2:1851
2058:2:1852
2059:2:1859
2060:2:1860
2061:2:1877
2062:2:1878
2063:2:1881
2064:2:1882
2065:0:2227
2066:2:1894
2067:0:2227
2068:1:752
2069:1:756
2070:1:757
2071:1:764
2072:1:765
2073:1:776
2074:1:780
2075:1:781
2076:1:788
2077:1:789
2078:1:799
2079:1:800
2080:1:810
2081:1:811
2082:0:2227
2083:2:1895
2084:2:1899
2085:2:1900
2086:2:1907
2087:2:1911
2088:2:1912
2089:2:1919
2090:2:1923
2091:2:1924
2092:2:1931
2093:2:1932
2094:2:1949
2095:2:1950
2096:2:1953
2097:2:1954
2098:0:2227
2099:2:1821
2100:0:2227
2101:2:1822
2102:0:2227
2103:2:1823
2104:2:1827
2105:2:1828
2106:2:1835
2107:2:1839
2108:2:1840
2109:2:1847
2110:2:1851
2111:2:1852
2112:2:1859
2113:2:1860
2114:2:1877
2115:2:1878
2116:2:1881
2117:2:1882
2118:0:2227
2119:2:1894
2120:0:2227
2121:1:823
2122:0:2227
2123:1:827
2124:0:2227
2125:2:1895
2126:2:1899
2127:2:1900
2128:2:1907
2129:2:1911
2130:2:1912
2131:2:1919
2132:2:1923
2133:2:1924
2134:2:1931
2135:2:1932
2136:2:1949
2137:2:1950
2138:2:1953
2139:2:1954
2140:0:2227
2141:2:1821
2142:0:2227
2143:2:1822
2144:0:2227
2145:2:1823
2146:2:1827
2147:2:1828
2148:2:1835
2149:2:1839
2150:2:1840
2151:2:1847
2152:2:1851
2153:2:1852
2154:2:1859
2155:2:1860
2156:2:1877
2157:2:1878
2158:2:1881
2159:2:1882
2160:0:2227
2161:2:1894
2162:0:2227
2163:1:832
2164:1:836
2165:1:837
2166:1:844
2167:1:845
2168:1:856
2169:1:860
2170:1:861
2171:1:868
2172:1:869
2173:1:879
2174:1:880
2175:1:890
2176:1:891
2177:0:2227
2178:1:1
2179:0:2227
2180:1:2
2181:0:2227
2182:1:3
2183:0:2227
2184:2:1895
2185:2:1899
2186:2:1900
2187:2:1907
2188:2:1911
2189:2:1912
2190:2:1919
2191:2:1923
2192:2:1924
2193:2:1931
2194:2:1932
2195:2:1949
2196:2:1950
2197:2:1953
2198:2:1954
2199:0:2227
2200:2:1821
2201:0:2227
2202:2:1822
2203:0:2227
2204:2:1823
2205:2:1827
2206:2:1828
2207:2:1835
2208:2:1839
2209:2:1840
2210:2:1847
2211:2:1851
2212:2:1852
2213:2:1859
2214:2:1860
2215:2:1877
2216:2:1878
2217:2:1881
2218:2:1882
2219:0:2227
2220:2:1894
2221:0:2227
2222:1:4
2223:1:8
2224:1:9
2225:1:16
2226:1:20
2227:1:21
2228:1:28
2229:1:32
2230:1:33
2231:1:40
2232:1:41
2233:1:51
2234:1:52
2235:1:62
2236:1:63
2237:0:2227
2238:2:1895
2239:2:1899
2240:2:1900
2241:2:1907
2242:2:1911
2243:2:1912
2244:2:1919
2245:2:1923
2246:2:1924
2247:2:1931
2248:2:1932
2249:2:1949
2250:2:1950
2251:2:1953
2252:2:1954
2253:0:2227
2254:2:1821
2255:0:2227
2256:2:1822
2257:0:2227
2258:2:1823
2259:2:1827
2260:2:1828
2261:2:1835
2262:2:1839
2263:2:1840
2264:2:1847
2265:2:1851
2266:2:1852
2267:2:1859
2268:2:1860
2269:2:1877
2270:2:1878
2271:2:1881
2272:2:1882
2273:0:2227
2274:2:1894
2275:0:2227
2276:1:75
2277:0:2227
2278:2:1895
2279:2:1899
2280:2:1900
2281:2:1907
2282:2:1911
2283:2:1912
2284:2:1919
2285:2:1923
2286:2:1924
2287:2:1931
2288:2:1932
2289:2:1949
2290:2:1950
2291:2:1953
2292:2:1954
2293:0:2227
2294:2:1821
2295:0:2227
2296:2:1822
2297:0:2227
2298:2:1823
2299:2:1827
2300:2:1828
2301:2:1835
2302:2:1839
2303:2:1840
2304:2:1847
2305:2:1851
2306:2:1852
2307:2:1859
2308:2:1860
2309:2:1877
2310:2:1878
2311:2:1881
2312:2:1882
2313:0:2227
2314:2:1894
2315:0:2227
2316:1:76
2317:1:80
2318:1:81
2319:1:88
2320:1:92
2321:1:93
2322:1:100
2323:1:104
2324:1:105
2325:1:112
2326:1:113
2327:1:123
2328:1:124
2329:1:134
2330:1:135
2331:0:2227
2332:1:147
2333:0:2227
2334:2:1895
2335:2:1899
2336:2:1900
2337:2:1907
2338:2:1911
2339:2:1912
2340:2:1919
2341:2:1923
2342:2:1924
2343:2:1931
2344:2:1932
2345:2:1949
2346:2:1950
2347:2:1953
2348:2:1954
2349:0:2227
2350:2:1821
2351:0:2227
2352:2:1822
2353:0:2227
2354:2:1823
2355:2:1827
2356:2:1828
2357:2:1835
2358:2:1839
2359:2:1840
2360:2:1847
2361:2:1851
2362:2:1852
2363:2:1859
2364:2:1860
2365:2:1877
2366:2:1878
2367:2:1881
2368:2:1882
2369:0:2227
2370:2:1894
2371:0:2227
2372:1:148
2373:0:2227
2374:2:1895
2375:2:1899
2376:2:1900
2377:2:1907
2378:2:1911
2379:2:1912
2380:2:1919
2381:2:1923
2382:2:1924
2383:2:1931
2384:2:1932
2385:2:1949
2386:2:1950
2387:2:1953
2388:2:1954
2389:0:2227
2390:2:1821
2391:0:2227
2392:2:1822
2393:0:2227
2394:2:1823
2395:2:1827
2396:2:1828
2397:2:1835
2398:2:1839
2399:2:1840
2400:2:1847
2401:2:1851
2402:2:1852
2403:2:1859
2404:2:1860
2405:2:1877
2406:2:1878
2407:2:1881
2408:2:1882
2409:0:2227
2410:2:1894
2411:0:2227
2412:1:149
2413:1:153
2414:1:154
2415:1:161
2416:1:165
2417:1:166
2418:1:173
2419:1:177
2420:1:178
2421:1:185
2422:1:186
2423:1:196
2424:1:197
2425:1:207
2426:1:208
2427:0:2227
2428:2:1895
2429:2:1899
2430:2:1900
2431:2:1907
2432:2:1911
2433:2:1912
2434:2:1919
2435:2:1923
2436:2:1924
2437:2:1931
2438:2:1932
2439:2:1949
2440:2:1950
2441:2:1953
2442:2:1954
2443:0:2227
2444:2:1821
2445:0:2227
2446:2:1822
2447:0:2227
2448:2:1823
2449:2:1827
2450:2:1828
2451:2:1835
2452:2:1839
2453:2:1840
2454:2:1847
2455:2:1851
2456:2:1852
2457:2:1859
2458:2:1860
2459:2:1877
2460:2:1878
2461:2:1881
2462:2:1882
2463:0:2227
2464:2:1894
2465:0:2227
2466:1:220
2467:0:2227
2468:1:373
2469:0:2227
2470:1:374
2471:0:2227
2472:1:3
2473:0:2227
2474:2:1895
2475:2:1899
2476:2:1900
2477:2:1907
2478:2:1911
2479:2:1912
2480:2:1919
2481:2:1923
2482:2:1924
2483:2:1931
2484:2:1932
2485:2:1949
2486:2:1950
2487:2:1953
2488:2:1954
2489:0:2227
2490:2:1821
2491:0:2227
2492:2:1822
2493:0:2227
2494:2:1823
2495:2:1827
2496:2:1828
2497:2:1835
2498:2:1839
2499:2:1840
2500:2:1847
2501:2:1851
2502:2:1852
2503:2:1859
2504:2:1860
2505:2:1877
2506:2:1878
2507:2:1881
2508:2:1882
2509:0:2227
2510:2:1894
2511:0:2227
2512:1:4
2513:1:8
2514:1:9
2515:1:24
2516:1:25
2517:1:28
2518:1:32
2519:1:33
2520:1:40
2521:1:41
2522:1:51
2523:1:54
2524:1:55
2525:1:62
2526:1:63
2527:0:2227
2528:2:1895
2529:2:1899
2530:2:1900
2531:2:1907
2532:2:1911
2533:2:1912
2534:2:1919
2535:2:1923
2536:2:1924
2537:2:1931
2538:2:1932
2539:2:1949
2540:2:1950
2541:2:1953
2542:2:1954
2543:0:2227
2544:2:1821
2545:0:2227
2546:2:1822
2547:0:2227
2548:2:1823
2549:2:1827
2550:2:1828
2551:2:1835
2552:2:1839
2553:2:1840
2554:2:1847
2555:2:1851
2556:2:1852
2557:2:1859
2558:2:1860
2559:2:1877
2560:2:1878
2561:2:1881
2562:2:1882
2563:0:2227
2564:2:1894
2565:0:2227
2566:1:75
2567:0:2227
2568:2:1895
2569:2:1899
2570:2:1900
2571:2:1907
2572:2:1911
2573:2:1912
2574:2:1919
2575:2:1923
2576:2:1924
2577:2:1931
2578:2:1932
2579:2:1949
2580:2:1950
2581:2:1953
2582:2:1954
2583:0:2227
2584:2:1821
2585:0:2227
2586:2:1822
2587:0:2227
2588:2:1823
2589:2:1827
2590:2:1828
2591:2:1835
2592:2:1839
2593:2:1840
2594:2:1847
2595:2:1851
2596:2:1852
2597:2:1859
2598:2:1860
2599:2:1877
2600:2:1878
2601:2:1881
2602:2:1882
2603:0:2227
2604:2:1894
2605:0:2227
2606:1:76
2607:1:80
2608:1:81
2609:1:96
2610:1:97
2611:1:100
2612:1:104
2613:1:105
2614:1:112
2615:1:113
2616:1:123
2617:1:126
2618:1:127
2619:1:134
2620:1:135
2621:0:2227
2622:1:223
2623:0:2227
2624:2:1895
2625:2:1899
2626:2:1900
2627:2:1907
2628:2:1911
2629:2:1912
2630:2:1919
2631:2:1923
2632:2:1924
2633:2:1931
2634:2:1932
2635:2:1949
2636:2:1950
2637:2:1953
2638:2:1954
2639:0:2227
2640:2:1821
2641:0:2227
2642:2:1822
2643:0:2227
2644:2:1823
2645:2:1827
2646:2:1828
2647:2:1835
2648:2:1839
2649:2:1840
2650:2:1847
2651:2:1851
2652:2:1852
2653:2:1859
2654:2:1860
2655:2:1877
2656:2:1878
2657:2:1881
2658:2:1882
2659:0:2227
2660:2:1894
2661:0:2227
2662:1:224
2663:0:2227
2664:1:373
2665:0:2227
2666:1:374
2667:0:2227
2668:1:379
2669:0:2227
2670:2:1895
2671:2:1899
2672:2:1900
2673:2:1907
2674:2:1911
2675:2:1912
2676:2:1919
2677:2:1923
2678:2:1924
2679:2:1931
2680:2:1932
2681:2:1949
2682:2:1950
2683:2:1953
2684:2:1954
2685:0:2227
2686:2:1821
2687:0:2227
2688:2:1822
2689:0:2227
2690:2:1823
2691:2:1827
2692:2:1828
2693:2:1835
2694:2:1839
2695:2:1840
2696:2:1847
2697:2:1851
2698:2:1852
2699:2:1859
2700:2:1860
2701:2:1877
2702:2:1878
2703:2:1881
2704:2:1882
2705:0:2227
2706:2:1894
2707:0:2227
2708:1:384
2709:1:388
2710:1:389
2711:1:404
2712:1:405
2713:1:408
2714:1:412
2715:1:413
2716:1:420
2717:1:421
2718:1:431
2719:1:434
2720:1:435
2721:1:442
2722:1:443
2723:0:2227
2724:2:1895
2725:2:1899
2726:2:1900
2727:2:1907
2728:2:1911
2729:2:1912
2730:2:1919
2731:2:1923
2732:2:1924
2733:2:1931
2734:2:1932
2735:2:1949
2736:2:1950
2737:2:1953
2738:2:1954
2739:0:2227
2740:2:1821
2741:0:2227
2742:2:1822
2743:0:2227
2744:2:1823
2745:2:1827
2746:2:1828
2747:2:1835
2748:2:1839
2749:2:1840
2750:2:1847
2751:2:1851
2752:2:1852
2753:2:1859
2754:2:1860
2755:2:1877
2756:2:1878
2757:2:1881
2758:2:1882
2759:0:2227
2760:2:1894
2761:0:2227
2762:1:455
2763:0:2227
2764:2:1895
2765:2:1899
2766:2:1900
2767:2:1907
2768:2:1911
2769:2:1912
2770:2:1919
2771:2:1923
2772:2:1924
2773:2:1931
2774:2:1932
2775:2:1949
2776:2:1950
2777:2:1953
2778:2:1954
2779:0:2227
2780:2:1821
2781:0:2227
2782:2:1822
2783:0:2227
2784:2:1823
2785:2:1827
2786:2:1828
2787:2:1835
2788:2:1839
2789:2:1840
2790:2:1847
2791:2:1851
2792:2:1852
2793:2:1859
2794:2:1860
2795:2:1877
2796:2:1878
2797:2:1881
2798:2:1882
2799:0:2227
2800:2:1894
2801:0:2227
2802:1:456
2803:1:460
2804:1:461
2805:1:476
2806:1:477
2807:1:480
2808:1:484
2809:1:485
2810:1:492
2811:1:493
2812:1:503
2813:1:506
2814:1:507
2815:1:514
2816:1:515
2817:0:2227
2818:2:1895
2819:2:1899
2820:2:1900
2821:2:1907
2822:2:1911
2823:2:1912
2824:2:1919
2825:2:1923
2826:2:1924
2827:2:1931
2828:2:1932
2829:2:1949
2830:2:1950
2831:2:1953
2832:2:1954
2833:0:2227
2834:2:1821
2835:0:2227
2836:2:1822
2837:0:2227
2838:2:1823
2839:2:1827
2840:2:1828
2841:2:1835
2842:2:1839
2843:2:1840
2844:2:1847
2845:2:1851
2846:2:1852
2847:2:1859
2848:2:1860
2849:2:1877
2850:2:1878
2851:2:1881
2852:2:1882
2853:0:2227
2854:2:1894
2855:0:2227
2856:1:527
2857:0:2227
2858:2:1895
2859:2:1899
2860:2:1900
2861:2:1907
2862:2:1911
2863:2:1912
2864:2:1919
2865:2:1923
2866:2:1924
2867:2:1931
2868:2:1932
2869:2:1949
2870:2:1950
2871:2:1953
2872:2:1954
2873:0:2227
2874:2:1821
2875:0:2227
2876:2:1822
2877:0:2227
2878:2:1823
2879:2:1827
2880:2:1828
2881:2:1835
2882:2:1839
2883:2:1840
2884:2:1847
2885:2:1851
2886:2:1852
2887:2:1859
2888:2:1860
2889:2:1877
2890:2:1878
2891:2:1881
2892:2:1882
2893:0:2227
2894:2:1894
2895:0:2227
2896:1:528
2897:1:532
2898:1:533
2899:1:548
2900:1:549
2901:1:552
2902:1:556
2903:1:557
2904:1:564
2905:1:565
2906:1:575
2907:1:578
2908:1:579
2909:1:586
2910:1:587
2911:0:2227
2912:2:1895
2913:2:1899
2914:2:1900
2915:2:1907
2916:2:1911
2917:2:1912
2918:2:1919
2919:2:1923
2920:2:1924
2921:2:1931
2922:2:1932
2923:2:1949
2924:2:1950
2925:2:1953
2926:2:1954
2927:0:2227
2928:2:1821
2929:0:2227
2930:2:1822
2931:0:2227
2932:2:1823
2933:2:1827
2934:2:1828
2935:2:1835
2936:2:1839
2937:2:1840
2938:2:1847
2939:2:1851
2940:2:1852
2941:2:1859
2942:2:1860
2943:2:1877
2944:2:1878
2945:2:1881
2946:2:1882
2947:0:2227
2948:2:1894
2949:0:2227
2950:1:599
2951:0:2227
2952:1:600
2953:0:2227
2954:1:601
2955:0:2227
2956:1:746
2957:0:2227
2958:1:747
2959:0:2227
2960:2:1895
2961:2:1899
2962:2:1900
2963:2:1907
2964:2:1911
2965:2:1912
2966:2:1919
2967:2:1923
2968:2:1924
2969:2:1931
2970:2:1932
2971:2:1949
2972:2:1950
2973:2:1953
2974:2:1954
2975:0:2227
2976:2:1821
2977:0:2227
2978:2:1822
2979:0:2227
2980:2:1823
2981:2:1827
2982:2:1828
2983:2:1835
2984:2:1839
2985:2:1840
2986:2:1847
2987:2:1851
2988:2:1852
2989:2:1859
2990:2:1860
2991:2:1877
2992:2:1878
2993:2:1881
2994:2:1882
2995:0:2227
2996:2:1894
2997:0:2227
2998:1:751
2999:0:2227
3000:2:1895
3001:2:1899
3002:2:1900
3003:2:1907
3004:2:1911
3005:2:1912
3006:2:1919
3007:2:1923
3008:2:1924
3009:2:1931
3010:2:1932
3011:2:1949
3012:2:1950
3013:2:1953
3014:2:1954
3015:0:2227
3016:2:1821
3017:0:2227
3018:2:1822
3019:0:2227
3020:2:1823
3021:2:1827
3022:2:1828
3023:2:1835
3024:2:1839
3025:2:1840
3026:2:1847
3027:2:1851
3028:2:1852
3029:2:1859
3030:2:1860
3031:2:1877
3032:2:1878
3033:2:1881
3034:2:1882
3035:0:2227
3036:2:1894
3037:0:2227
3038:1:752
3039:1:756
3040:1:757
3041:1:772
3042:1:773
3043:1:776
3044:1:780
3045:1:781
3046:1:788
3047:1:789
3048:1:799
3049:1:802
3050:1:803
3051:1:810
3052:1:811
3053:0:2227
3054:2:1895
3055:2:1899
3056:2:1900
3057:2:1907
3058:2:1911
3059:2:1912
3060:2:1919
3061:2:1923
3062:2:1924
3063:2:1931
3064:2:1932
3065:2:1949
3066:2:1950
3067:2:1953
3068:2:1954
3069:0:2227
3070:2:1821
3071:0:2227
3072:2:1822
3073:0:2227
3074:2:1823
3075:2:1827
3076:2:1828
3077:2:1835
3078:2:1839
3079:2:1840
3080:2:1847
3081:2:1851
3082:2:1852
3083:2:1859
3084:2:1860
3085:2:1877
3086:2:1878
3087:2:1881
3088:2:1882
3089:0:2227
3090:2:1894
3091:0:2227
3092:1:823
3093:0:2227
3094:1:601
3095:0:2227
3096:1:746
3097:0:2227
3098:1:747
3099:0:2227
3100:2:1895
3101:2:1899
3102:2:1900
3103:2:1907
3104:2:1911
3105:2:1912
3106:2:1919
3107:2:1923
3108:2:1924
3109:2:1931
3110:2:1932
3111:2:1949
3112:2:1950
3113:2:1953
3114:2:1954
3115:0:2227
3116:2:1821
3117:0:2227
3118:2:1822
3119:0:2227
3120:2:1823
3121:2:1827
3122:2:1828
3123:2:1835
3124:2:1839
3125:2:1840
3126:2:1847
3127:2:1851
3128:2:1852
3129:2:1859
3130:2:1860
3131:2:1877
3132:2:1878
3133:2:1881
3134:2:1882
3135:0:2227
3136:2:1894
3137:0:2227
3138:1:751
3139:0:2227
3140:2:1895
3141:2:1899
3142:2:1900
3143:2:1907
3144:2:1911
3145:2:1912
3146:2:1919
3147:2:1923
3148:2:1924
3149:2:1931
3150:2:1932
3151:2:1949
3152:2:1950
3153:2:1953
3154:2:1954
3155:0:2227
3156:2:1821
3157:0:2227
3158:2:1822
3159:0:2227
3160:2:1823
3161:2:1827
3162:2:1828
3163:2:1835
3164:2:1839
3165:2:1840
3166:2:1847
3167:2:1851
3168:2:1852
3169:2:1859
3170:2:1860
3171:2:1877
3172:2:1878
3173:2:1881
3174:2:1882
3175:0:2227
3176:2:1894
3177:0:2227
3178:1:752
3179:1:756
3180:1:757
3181:1:772
3182:1:773
3183:1:776
3184:1:780
3185:1:781
3186:1:788
3187:1:789
3188:1:799
3189:1:802
3190:1:803
3191:1:810
3192:1:811
3193:0:2227
3194:2:1895
3195:2:1899
3196:2:1900
3197:2:1907
3198:2:1911
3199:2:1912
3200:2:1919
3201:2:1923
3202:2:1924
3203:2:1931
3204:2:1932
3205:2:1949
3206:2:1950
3207:2:1953
3208:2:1954
3209:0:2227
3210:2:1821
3211:0:2227
3212:2:1822
3213:0:2227
3214:2:1823
3215:2:1827
3216:2:1828
3217:2:1835
3218:2:1839
3219:2:1840
3220:2:1847
3221:2:1851
3222:2:1852
3223:2:1859
3224:2:1860
3225:2:1877
3226:2:1878
3227:2:1881
3228:2:1882
3229:0:2227
3230:2:1894
3231:0:2227
3232:1:823
3233:0:2227
3234:1:827
3235:0:2227
3236:2:1895
3237:2:1899
3238:2:1900
3239:2:1907
3240:2:1911
3241:2:1912
3242:2:1919
3243:2:1923
3244:2:1924
3245:2:1931
3246:2:1932
3247:2:1949
3248:2:1950
3249:2:1953
3250:2:1954
3251:0:2227
3252:2:1821
3253:0:2227
3254:2:1822
3255:0:2227
3256:2:1823
3257:2:1827
3258:2:1828
3259:2:1835
3260:2:1839
3261:2:1840
3262:2:1847
3263:2:1851
3264:2:1852
3265:2:1859
3266:2:1860
3267:2:1877
3268:2:1878
3269:2:1881
3270:2:1882
3271:0:2227
3272:2:1894
3273:0:2227
3274:1:832
3275:1:836
3276:1:837
3277:1:852
3278:1:853
3279:1:856
3280:1:860
3281:1:861
3282:1:868
3283:1:869
3284:1:879
3285:1:882
3286:1:883
3287:1:890
3288:1:891
3289:0:2227
3290:1:1
3291:0:2227
3292:1:2
3293:0:2227
3294:1:3
3295:0:2227
3296:2:1895
3297:2:1899
3298:2:1900
3299:2:1907
3300:2:1911
3301:2:1912
3302:2:1919
3303:2:1923
3304:2:1924
3305:2:1931
3306:2:1932
3307:2:1949
3308:2:1950
3309:2:1953
3310:2:1954
3311:0:2227
3312:2:1821
3313:0:2227
3314:2:1822
3315:0:2227
3316:2:1823
3317:2:1827
3318:2:1828
3319:2:1835
3320:2:1839
3321:2:1840
3322:2:1847
3323:2:1851
3324:2:1852
3325:2:1859
3326:2:1860
3327:2:1877
3328:2:1878
3329:2:1881
3330:2:1882
3331:0:2227
3332:2:1894
3333:0:2227
3334:1:4
3335:1:8
3336:1:9
3337:1:24
3338:1:25
3339:1:28
3340:1:32
3341:1:33
3342:1:40
3343:1:41
3344:1:51
3345:1:54
3346:1:55
3347:1:62
3348:1:63
3349:0:2227
3350:2:1895
3351:2:1899
3352:2:1900
3353:2:1907
3354:2:1911
3355:2:1912
3356:2:1919
3357:2:1923
3358:2:1924
3359:2:1931
3360:2:1932
3361:2:1949
3362:2:1950
3363:2:1953
3364:2:1954
3365:0:2227
3366:2:1821
3367:0:2227
3368:2:1822
3369:0:2227
3370:2:1823
3371:2:1827
3372:2:1828
3373:2:1835
3374:2:1839
3375:2:1840
3376:2:1847
3377:2:1851
3378:2:1852
3379:2:1859
3380:2:1860
3381:2:1877
3382:2:1878
3383:2:1881
3384:2:1882
3385:0:2227
3386:2:1894
3387:0:2227
3388:1:75
3389:0:2227
3390:2:1895
3391:2:1899
3392:2:1900
3393:2:1907
3394:2:1911
3395:2:1912
3396:2:1919
3397:2:1923
3398:2:1924
3399:2:1931
3400:2:1932
3401:2:1949
3402:2:1950
3403:2:1953
3404:2:1954
3405:0:2227
3406:2:1821
3407:0:2227
3408:2:1822
3409:0:2227
3410:2:1823
3411:2:1827
3412:2:1828
3413:2:1835
3414:2:1839
3415:2:1840
3416:2:1847
3417:2:1851
3418:2:1852
3419:2:1859
3420:2:1860
3421:2:1877
3422:2:1878
3423:2:1881
3424:2:1882
3425:0:2227
3426:2:1894
3427:0:2227
3428:1:76
3429:1:80
3430:1:81
3431:1:96
3432:1:97
3433:1:100
3434:1:104
3435:1:105
3436:1:112
3437:1:113
3438:1:123
3439:1:126
3440:1:127
3441:1:134
3442:1:135
3443:0:2227
3444:1:147
3445:0:2227
3446:2:1895
3447:2:1899
3448:2:1900
3449:2:1907
3450:2:1911
3451:2:1912
3452:2:1919
3453:2:1923
3454:2:1924
3455:2:1931
3456:2:1932
3457:2:1949
3458:2:1950
3459:2:1953
3460:2:1954
3461:0:2227
3462:2:1821
3463:0:2227
3464:2:1822
3465:0:2227
3466:2:1823
3467:2:1827
3468:2:1828
3469:2:1835
3470:2:1839
3471:2:1840
3472:2:1847
3473:2:1851
3474:2:1852
3475:2:1859
3476:2:1860
3477:2:1877
3478:2:1878
3479:2:1881
3480:2:1882
3481:0:2227
3482:2:1894
3483:0:2227
3484:1:148
3485:0:2227
3486:2:1895
3487:2:1899
3488:2:1900
3489:2:1907
3490:2:1911
3491:2:1912
3492:2:1919
3493:2:1923
3494:2:1924
3495:2:1931
3496:2:1932
3497:2:1949
3498:2:1950
3499:2:1953
3500:2:1954
3501:0:2227
3502:2:1821
3503:0:2227
3504:2:1822
3505:0:2227
3506:2:1823
3507:2:1827
3508:2:1828
3509:2:1835
3510:2:1839
3511:2:1840
3512:2:1847
3513:2:1851
3514:2:1852
3515:2:1859
3516:2:1860
3517:2:1877
3518:2:1878
3519:2:1881
3520:2:1882
3521:0:2227
3522:2:1894
3523:0:2227
3524:1:149
3525:1:153
3526:1:154
3527:1:169
3528:1:170
3529:1:173
3530:1:177
3531:1:178
3532:1:185
3533:1:186
3534:1:196
3535:1:199
3536:1:200
3537:1:207
3538:1:208
3539:0:2227
3540:2:1895
3541:2:1899
3542:2:1900
3543:2:1907
3544:2:1911
3545:2:1912
3546:2:1919
3547:2:1923
3548:2:1924
3549:2:1931
3550:2:1932
3551:2:1949
3552:2:1950
3553:2:1953
3554:2:1954
3555:0:2227
3556:2:1821
3557:0:2227
3558:2:1822
3559:0:2227
3560:2:1823
3561:2:1827
3562:2:1828
3563:2:1835
3564:2:1839
3565:2:1840
3566:2:1847
3567:2:1851
3568:2:1852
3569:2:1859
3570:2:1860
3571:2:1877
3572:2:1878
3573:2:1881
3574:2:1882
3575:0:2227
3576:1:220
3577:0:2227
3578:1:373
3579:0:2227
3580:1:374
3581:0:2227
3582:1:3
3583:0:2227
3584:1:4
3585:1:8
3586:1:9
3587:1:16
3588:1:17
3589:1:28
3590:1:32
3591:1:33
3592:1:40
3593:1:41
3594:1:51
3595:1:52
3596:1:62
3597:1:63
3598:0:2227
3599:1:75
3600:0:2227
3601:1:76
3602:1:80
3603:1:81
3604:1:88
3605:1:92
3606:1:93
3607:1:100
3608:1:104
3609:1:105
3610:1:112
3611:1:113
3612:1:123
3613:1:124
3614:1:134
3615:1:135
3616:0:2227
3617:1:223
3618:0:2227
3619:1:224
3620:0:2227
3621:1:373
3622:0:2227
3623:1:374
3624:0:2227
3625:1:379
3626:0:2227
3627:1:384
3628:1:388
3629:1:389
3630:1:396
3631:1:397
3632:1:408
3633:1:412
3634:1:413
3635:1:420
3636:1:421
3637:1:431
3638:1:432
3639:1:442
3640:1:443
3641:0:2227
3642:1:455
3643:0:2227
3644:1:456
3645:1:460
3646:1:461
3647:1:468
3648:1:472
3649:1:473
3650:1:480
3651:1:484
3652:1:485
3653:1:492
3654:1:493
3655:1:503
3656:1:504
3657:1:514
3658:1:515
3659:0:2227
3660:1:527
3661:0:2227
3662:1:528
3663:1:532
3664:1:533
3665:1:540
3666:1:544
3667:1:545
3668:1:552
3669:1:556
3670:1:557
3671:1:564
3672:1:565
3673:1:575
3674:1:576
3675:1:586
3676:1:587
3677:0:2227
3678:1:599
3679:0:2227
3680:1:600
3681:0:2227
3682:1:601
3683:0:2227
3684:1:746
3685:0:2227
3686:1:747
3687:0:2227
3688:1:751
3689:0:2227
3690:1:752
3691:1:756
3692:1:757
3693:1:764
3694:1:768
3695:1:769
3696:1:776
3697:1:780
3698:1:781
3699:1:788
3700:1:789
3701:1:799
3702:1:800
3703:1:810
3704:1:811
3705:0:2227
3706:1:823
3707:0:2227
3708:1:601
3709:0:2227
3710:1:746
3711:0:2227
3712:1:747
3713:0:2227
3714:1:751
3715:0:2227
3716:1:752
3717:1:756
3718:1:757
3719:1:764
3720:1:765
3721:1:776
3722:1:780
3723:1:781
3724:1:788
3725:1:789
3726:1:799
3727:1:800
3728:1:810
3729:1:811
3730:0:2227
3731:1:823
3732:0:2227
3733:1:827
3734:0:2227
3735:1:832
3736:1:836
3737:1:837
3738:1:844
3739:1:845
3740:1:856
3741:1:860
3742:1:861
3743:1:868
3744:1:869
3745:1:879
3746:1:880
3747:1:890
3748:1:891
3749:0:2227
3750:1:1
3751:0:2227
3752:1:2
3753:0:2227
3754:1:3
3755:0:2227
3756:1:4
3757:1:8
3758:1:9
3759:1:16
3760:1:20
3761:1:21
3762:1:28
3763:1:32
3764:1:33
3765:1:40
3766:1:41
3767:1:51
3768:1:52
3769:1:62
3770:1:63
3771:0:2227
3772:1:75
3773:0:2227
3774:1:76
3775:1:80
3776:1:81
3777:1:88
3778:1:92
3779:1:93
3780:1:100
3781:1:104
3782:1:105
3783:1:112
3784:1:113
3785:1:123
3786:1:124
3787:1:134
3788:1:135
3789:0:2227
3790:1:147
3791:0:2227
3792:1:148
3793:0:2227
3794:1:149
3795:1:153
3796:1:154
3797:1:161
3798:1:165
3799:1:166
3800:1:173
3801:1:177
3802:1:178
3803:1:185
3804:1:186
3805:1:196
3806:1:197
3807:1:207
3808:1:208
3809:0:2227
3810:1:220
3811:0:2227
3812:2:1894
3813:0:2227
3814:1:373
3815:0:2227
3816:2:1895
3817:2:1899
3818:2:1900
3819:2:1907
3820:2:1911
3821:2:1912
3822:2:1919
3823:2:1923
3824:2:1924
3825:2:1931
3826:2:1932
3827:2:1949
3828:2:1950
3829:2:1953
3830:2:1954
3831:0:2227
3832:2:1821
3833:0:2227
3834:1:374
3835:0:2227
3836:1:3
3837:0:2227
3838:1:4
3839:1:8
3840:1:9
3841:1:16
3842:1:17
3843:1:28
3844:1:32
3845:1:33
3846:1:40
3847:1:41
3848:1:51
3849:1:52
3850:1:62
3851:1:63
3852:0:2227
3853:1:75
3854:0:2227
3855:1:76
3856:1:80
3857:1:81
3858:1:88
3859:1:92
3860:1:93
3861:1:100
3862:1:104
3863:1:105
3864:1:112
3865:1:113
3866:1:123
3867:1:124
3868:1:134
3869:1:135
3870:0:2227
3871:1:223
3872:0:2227
3873:1:224
3874:0:2227
3875:1:373
3876:0:2227
3877:1:374
3878:0:2227
3879:1:379
3880:0:2227
3881:1:384
3882:1:388
3883:1:389
3884:1:396
3885:1:397
3886:1:408
3887:1:412
3888:1:413
3889:1:420
3890:1:421
3891:1:431
3892:1:432
3893:1:442
3894:1:443
3895:0:2227
3896:1:455
3897:0:2227
3898:1:456
3899:1:460
3900:1:461
3901:1:468
3902:1:472
3903:1:473
3904:1:480
3905:1:484
3906:1:485
3907:1:492
3908:1:493
3909:1:503
3910:1:504
3911:1:514
3912:1:515
3913:0:2227
3914:1:527
3915:0:2227
3916:1:528
3917:1:532
3918:1:533
3919:1:540
3920:1:544
3921:1:545
3922:1:552
3923:1:556
3924:1:557
3925:1:564
3926:1:565
3927:1:575
3928:1:576
3929:1:586
3930:1:587
3931:0:2227
3932:1:599
3933:0:2227
3934:1:600
3935:0:2227
3936:1:601
3937:0:2227
3938:1:746
3939:0:2227
3940:1:747
3941:0:2227
3942:1:751
3943:0:2227
3944:1:752
3945:1:756
3946:1:757
3947:1:764
3948:1:768
3949:1:769
3950:1:776
3951:1:780
3952:1:781
3953:1:788
3954:1:789
3955:1:799
3956:1:800
3957:1:810
3958:1:811
3959:0:2227
3960:1:823
3961:0:2227
3962:1:601
3963:0:2227
3964:1:746
3965:0:2227
3966:1:747
3967:0:2227
3968:1:751
3969:0:2227
3970:1:752
3971:1:756
3972:1:757
3973:1:764
3974:1:765
3975:1:776
3976:1:780
3977:1:781
3978:1:788
3979:1:789
3980:1:799
3981:1:800
3982:1:810
3983:1:811
3984:0:2227
3985:1:823
3986:0:2227
3987:1:827
3988:0:2227
3989:1:832
3990:1:836
3991:1:837
3992:1:844
3993:1:845
3994:1:856
3995:1:860
3996:1:861
3997:1:868
3998:1:869
3999:1:879
4000:1:880
4001:1:890
4002:1:891
4003:0:2227
4004:1:1
4005:0:2227
4006:1:2
4007:0:2227
4008:1:3
4009:0:2227
4010:1:4
4011:1:8
4012:1:9
4013:1:16
4014:1:20
4015:1:21
4016:1:28
4017:1:32
4018:1:33
4019:1:40
4020:1:41
4021:1:51
4022:1:52
4023:1:62
4024:1:63
4025:0:2227
4026:1:75
4027:0:2227
4028:1:76
4029:1:80
4030:1:81
4031:1:88
4032:1:92
4033:1:93
4034:1:100
4035:1:104
4036:1:105
4037:1:112
4038:1:113
4039:1:123
4040:1:124
4041:1:134
4042:1:135
4043:0:2227
4044:1:147
4045:0:2227
4046:1:148
4047:0:2227
4048:1:149
4049:1:153
4050:1:154
4051:1:161
4052:1:165
4053:1:166
4054:1:173
4055:1:177
4056:1:178
4057:1:185
4058:1:186
4059:1:196
4060:1:197
4061:1:207
4062:1:208
4063:0:2227
4064:1:220
4065:0:2227
4066:1:373
4067:0:2227
4068:1:374
4069:0:2227
4070:2:1822
4071:0:2227
4072:1:3
4073:0:2227
4074:1:4
4075:1:8
4076:1:9
4077:1:16
4078:1:17
4079:1:28
4080:1:32
4081:1:33
4082:1:40
4083:1:41
4084:1:51
4085:1:52
4086:1:62
4087:1:63
4088:0:2227
4089:1:75
4090:0:2227
4091:1:76
4092:1:80
4093:1:81
4094:1:88
4095:1:92
4096:1:93
4097:1:100
4098:1:104
4099:1:105
4100:1:112
4101:1:113
4102:1:123
4103:1:124
4104:1:134
4105:1:135
4106:0:2227
4107:1:223
4108:0:2227
4109:1:224
4110:0:2227
4111:1:373
4112:0:2227
4113:1:374
4114:0:2227
4115:1:379
4116:0:2227
4117:1:384
4118:1:388
4119:1:389
4120:1:396
4121:1:397
4122:1:408
4123:1:412
4124:1:413
4125:1:420
4126:1:421
4127:1:431
4128:1:432
4129:1:442
4130:1:443
4131:0:2227
4132:1:455
4133:0:2227
4134:1:456
4135:1:460
4136:1:461
4137:1:468
4138:1:472
4139:1:473
4140:1:480
4141:1:484
4142:1:485
4143:1:492
4144:1:493
4145:1:503
4146:1:504
4147:1:514
4148:1:515
4149:0:2227
4150:1:527
4151:0:2227
4152:1:528
4153:1:532
4154:1:533
4155:1:540
4156:1:544
4157:1:545
4158:1:552
4159:1:556
4160:1:557
4161:1:564
4162:1:565
4163:1:575
4164:1:576
4165:1:586
4166:1:587
4167:0:2227
4168:1:599
4169:0:2227
4170:1:600
4171:0:2227
4172:1:601
4173:0:2227
4174:1:746
4175:0:2227
4176:1:747
4177:0:2227
4178:1:751
4179:0:2227
4180:1:752
4181:1:756
4182:1:757
4183:1:764
4184:1:768
4185:1:769
4186:1:776
4187:1:780
4188:1:781
4189:1:788
4190:1:789
4191:1:799
4192:1:800
4193:1:810
4194:1:811
4195:0:2227
4196:1:823
4197:0:2227
4198:1:601
4199:0:2227
4200:1:746
4201:0:2227
4202:1:747
4203:0:2227
4204:1:751
4205:0:2227
4206:1:752
4207:1:756
4208:1:757
4209:1:764
4210:1:765
4211:1:776
4212:1:780
4213:1:781
4214:1:788
4215:1:789
4216:1:799
4217:1:800
4218:1:810
4219:1:811
4220:0:2227
4221:1:823
4222:0:2227
4223:1:827
4224:0:2227
4225:1:832
4226:1:836
4227:1:837
4228:1:852
4229:1:853
4230:1:856
4231:1:860
4232:1:861
4233:1:868
4234:1:869
4235:1:879
4236:1:882
4237:1:883
4238:1:890
4239:1:891
4240:0:2227
4241:1:1
4242:0:2227
4243:1:2
4244:0:2227
4245:1:3
4246:0:2227
4247:2:1823
4248:2:1827
4249:2:1828
4250:2:1835
4251:2:1839
4252:2:1840
4253:2:1847
4254:2:1851
4255:2:1852
4256:2:1859
4257:2:1860
4258:2:1877
4259:2:1878
4260:2:1881
4261:2:1882
4262:0:2227
4263:2:1894
4264:0:2227
4265:2:1895
4266:2:1899
4267:2:1900
4268:2:1907
4269:2:1911
4270:2:1912
4271:2:1919
4272:2:1923
4273:2:1924
4274:2:1931
4275:2:1932
4276:2:1949
4277:2:1950
4278:2:1953
4279:2:1954
4280:0:2227
4281:2:1821
4282:0:2227
4283:2:1822
4284:0:2227
4285:1:4
4286:1:8
4287:1:9
4288:1:16
4289:1:17
4290:1:28
4291:1:32
4292:1:33
4293:1:40
4294:1:41
4295:1:51
4296:1:52
4297:1:62
4298:1:63
4299:0:2227
4300:2:1823
4301:2:1827
4302:2:1828
4303:2:1835
4304:2:1839
4305:2:1840
4306:2:1847
4307:2:1851
4308:2:1852
4309:2:1859
4310:2:1860
4311:2:1877
4312:2:1878
4313:2:1881
4314:2:1882
4315:0:2227
4316:2:1894
4317:0:2227
4318:2:1895
4319:2:1899
4320:2:1900
4321:2:1907
4322:2:1911
4323:2:1912
4324:2:1919
4325:2:1923
4326:2:1924
4327:2:1931
4328:2:1932
4329:2:1949
4330:2:1950
4331:2:1953
4332:2:1954
4333:0:2227
4334:2:1821
4335:0:2227
4336:2:1822
4337:0:2227
4338:1:75
4339:0:2227
4340:2:1823
4341:2:1827
4342:2:1828
4343:2:1835
4344:2:1839
4345:2:1840
4346:2:1847
4347:2:1851
4348:2:1852
4349:2:1859
4350:2:1860
4351:2:1877
4352:2:1878
4353:2:1881
4354:2:1882
4355:0:2227
4356:2:1894
4357:0:2227
4358:2:1895
4359:2:1899
4360:2:1900
4361:2:1907
4362:2:1911
4363:2:1912
4364:2:1919
4365:2:1923
4366:2:1924
4367:2:1931
4368:2:1932
4369:2:1949
4370:2:1950
4371:2:1953
4372:2:1954
4373:0:2227
4374:2:1821
4375:0:2227
4376:2:1822
4377:0:2227
4378:1:76
4379:1:80
4380:1:81
4381:1:88
4382:1:92
4383:1:93
4384:1:100
4385:1:104
4386:1:105
4387:1:112
4388:1:113
4389:1:123
4390:1:124
4391:1:134
4392:1:135
4393:0:2227
4394:1:147
4395:0:2227
4396:2:1823
4397:2:1827
4398:2:1828
4399:2:1835
4400:2:1839
4401:2:1840
4402:2:1847
4403:2:1851
4404:2:1852
4405:2:1859
4406:2:1860
4407:2:1877
4408:2:1878
4409:2:1881
4410:2:1882
4411:0:2227
4412:2:1894
4413:0:2227
4414:2:1895
4415:2:1899
4416:2:1900
4417:2:1907
4418:2:1911
4419:2:1912
4420:2:1919
4421:2:1923
4422:2:1924
4423:2:1931
4424:2:1932
4425:2:1949
4426:2:1950
4427:2:1953
4428:2:1954
4429:0:2227
4430:2:1821
4431:0:2227
4432:2:1822
4433:0:2227
4434:1:148
4435:0:2227
4436:2:1823
4437:2:1827
4438:2:1828
4439:2:1835
4440:2:1839
4441:2:1840
4442:2:1847
4443:2:1851
4444:2:1852
4445:2:1859
4446:2:1860
4447:2:1877
4448:2:1878
4449:2:1881
4450:2:1882
4451:0:2227
4452:2:1894
4453:0:2227
4454:2:1895
4455:2:1899
4456:2:1900
4457:2:1907
4458:2:1911
4459:2:1912
4460:2:1919
4461:2:1923
4462:2:1924
4463:2:1931
4464:2:1932
4465:2:1949
4466:2:1950
4467:2:1953
4468:2:1954
4469:0:2227
4470:2:1821
4471:0:2227
4472:2:1822
4473:0:2227
4474:1:149
4475:1:153
4476:1:154
4477:1:161
4478:1:165
4479:1:166
4480:1:173
4481:1:177
4482:1:178
4483:1:185
4484:1:186
4485:1:196
4486:1:197
4487:1:207
4488:1:208
4489:0:2227
4490:2:1823
4491:2:1827
4492:2:1828
4493:2:1835
4494:2:1839
4495:2:1840
4496:2:1847
4497:2:1851
4498:2:1852
4499:2:1859
4500:2:1860
4501:2:1877
4502:2:1878
4503:2:1881
4504:2:1882
4505:0:2227
4506:2:1894
4507:0:2227
4508:2:1895
4509:2:1899
4510:2:1900
4511:2:1907
4512:2:1911
4513:2:1912
4514:2:1919
4515:2:1923
4516:2:1924
4517:2:1931
4518:2:1932
4519:2:1949
4520:2:1950
4521:2:1953
4522:2:1954
4523:0:2227
4524:2:1821
4525:0:2227
4526:2:1822
4527:0:2227
4528:1:220
4529:0:2227
4530:1:373
4531:0:2227
4532:1:374
4533:0:2227
4534:1:3
4535:0:2227
4536:2:1823
4537:2:1827
4538:2:1828
4539:2:1835
4540:2:1839
4541:2:1840
4542:2:1847
4543:2:1851
4544:2:1852
4545:2:1859
4546:2:1860
4547:2:1877
4548:2:1878
4549:2:1881
4550:2:1882
4551:0:2227
4552:2:1894
4553:0:2227
4554:2:1895
4555:2:1899
4556:2:1900
4557:2:1907
4558:2:1911
4559:2:1912
4560:2:1919
4561:2:1923
4562:2:1924
4563:2:1931
4564:2:1932
4565:2:1949
4566:2:1950
4567:2:1953
4568:2:1954
4569:0:2227
4570:2:1821
4571:0:2227
4572:2:1822
4573:0:2227
4574:1:4
4575:1:8
4576:1:9
4577:1:16
4578:1:17
4579:1:28
4580:1:32
4581:1:33
4582:1:40
4583:1:41
4584:1:51
4585:1:52
4586:1:62
4587:1:63