Update formal model from local copy

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

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