Update formal model from local copy

[urcu.git] / formal-model / urcu / result-standard-execution-nonest / urcu_progress_writer_error.spin.input.trail

-2:3:-2
-4:-4:-4
1:0:2108
2:3:2060
3:3:2063
4:3:2063
5:3:2066
6:3:2074
7:3:2074
8:3:2077
9:3:2083
10:3:2087
11:3:2087
12:3:2090
13:3:2098
14:3:2102
15:3:2103
16:0:2108
17:3:2105
18:0:2108
19:2:416
20:0:2108
21:2:422
22:0:2108
23:2:423
24:0:2108
25:2:424
26:2:428
27:2:429
28:2:437
29:2:438
30:2:442
31:2:443
32:2:451
33:2:456
34:2:460
35:2:461
36:2:468
37:2:469
38:2:480
39:2:481
40:2:482
41:2:493
42:2:498
43:2:499
44:0:2106
45:2:511
46:0:2112
47:2:513
48:2:514
49:0:2112
50:2:518
51:2:522
52:2:523
53:2:531
54:2:532
55:2:536
56:2:537
57:2:545
58:2:550
59:2:551
60:2:562
61:2:563
62:2:574
63:2:575
64:2:576
65:2:587
66:2:592
67:2:593
68:0:2112
69:2:605
70:0:2112
71:2:607
72:0:2112
73:2:608
74:0:2112
75:2:618
76:0:2112
77:2:622
78:2:623
79:2:627
80:2:631
81:2:632
82:2:636
83:2:644
84:2:645
85:2:650
86:2:657
87:2:658
88:2:665
89:2:670
90:0:2112
91:2:681
92:0:2112
93:2:685
94:2:686
95:2:690
96:2:694
97:2:695
98:2:699
99:2:707
100:2:708
101:2:713
102:2:720
103:2:721
104:2:728
105:2:733
106:0:2112
107:2:744
108:0:2112
109:2:752
110:2:753
111:2:757
112:2:761
113:2:762
114:2:766
115:2:774
116:2:775
117:2:780
118:2:787
119:2:788
120:2:795
121:2:800
122:0:2112
123:2:811
124:0:2112
125:2:813
126:0:2112
127:2:814
128:2:818
129:2:819
130:2:827
131:2:828
132:2:832
133:2:833
134:2:841
135:2:846
136:2:850
137:2:851
138:2:858
139:2:859
140:2:870
141:2:871
142:2:872
143:2:883
144:2:888
145:2:889
146:0:2112
147:2:901
148:0:2112
149:2:903
150:0:2112
151:2:906
152:2:907
153:2:919
154:2:920
155:2:924
156:2:925
157:2:933
158:2:938
159:2:942
160:2:943
161:2:950
162:2:951
163:2:962
164:2:963
165:2:964
166:2:975
167:2:980
168:2:981
169:0:2112
170:2:993
171:0:2112
172:2:995
173:0:2112
174:2:996
175:0:2112
176:2:997
177:0:2112
178:2:998
179:0:2112
180:2:999
181:2:1003
182:2:1004
183:2:1012
184:2:1013
185:2:1017
186:2:1018
187:2:1026
188:2:1031
189:2:1035
190:2:1036
191:2:1043
192:2:1044
193:2:1055
194:2:1056
195:2:1057
196:2:1068
197:2:1073
198:2:1074
199:0:2112
200:2:1086
201:0:2112
202:2:1178
203:0:2112
204:2:1276
205:0:2112
206:2:1277
207:0:2112
208:2:1281
209:0:2112
210:2:1287
211:2:1291
212:2:1292
213:2:1300
214:2:1301
215:2:1305
216:2:1306
217:2:1314
218:2:1319
219:2:1323
220:2:1324
221:2:1331
222:2:1332
223:2:1343
224:2:1344
225:2:1345
226:2:1356
227:2:1361
228:2:1362
229:0:2112
230:2:1374
231:0:2112
232:2:1376
233:0:2112
234:2:1377
235:2:1381
236:2:1382
237:2:1390
238:2:1391
239:2:1395
240:2:1396
241:2:1404
242:2:1409
243:2:1413
244:2:1414
245:2:1421
246:2:1422
247:2:1433
248:2:1434
249:2:1435
250:2:1446
251:2:1451
252:2:1452
253:0:2112
254:2:1464
255:0:2112
256:2:1466
257:0:2112
258:1:2
259:0:2112
260:1:8
261:0:2112
262:1:9
263:0:2112
264:1:10
265:0:2112
266:1:11
267:0:2112
268:1:12
269:1:16
270:1:17
271:1:25
272:1:26
273:1:30
274:1:31
275:1:39
276:1:44
277:1:48
278:1:49
279:1:56
280:1:57
281:1:68
282:1:69
283:1:70
284:1:81
285:1:86
286:1:87
287:0:2112
288:1:99
289:0:2112
290:1:101
291:0:2112
292:1:102
293:1:106
294:1:107
295:1:115
296:1:116
297:1:120
298:1:121
299:1:129
300:1:134
301:1:138
302:1:139
303:1:146
304:1:147
305:1:158
306:1:159
307:1:160
308:1:171
309:1:176
310:1:177
311:0:2112
312:1:189
313:0:2112
314:1:191
315:0:2112
316:1:192
317:0:2112
318:1:193
319:1:197
320:1:198
321:1:206
322:1:207
323:1:211
324:1:212
325:1:220
326:1:225
327:1:229
328:1:230
329:1:237
330:1:238
331:1:249
332:1:250
333:1:251
334:1:262
335:1:267
336:1:268
337:0:2112
338:1:280
339:0:2112
340:1:282
341:0:2112
342:1:291
343:0:2112
344:1:293
345:0:2112
346:1:296
347:0:2112
348:1:301
349:0:2112
350:1:302
351:0:2112
352:1:303
353:0:2112
354:1:304
355:0:2112
356:1:305
357:0:2112
358:1:306
359:0:2112
360:1:308
361:0:2112
362:1:310
363:0:2112
364:1:311
365:1:315
366:1:316
367:1:324
368:1:325
369:1:326
370:1:338
371:1:343
372:1:347
373:1:348
374:1:355
375:1:356
376:1:367
377:1:368
378:1:369
379:1:380
380:1:385
381:1:386
382:0:2112
383:1:398
384:0:2112
385:2:1469
386:2:1470
387:2:1482
388:2:1483
389:2:1487
390:2:1488
391:2:1496
392:2:1501
393:2:1505
394:2:1506
395:2:1513
396:2:1514
397:2:1525
398:2:1526
399:2:1527
400:2:1538
401:2:1543
402:2:1544
403:0:2112
404:2:1556
405:0:2112
406:2:1558
407:0:2112
408:2:1559
409:0:2112
410:2:1560
411:0:2112
412:2:1561
413:0:2112
414:2:1562
415:2:1566
416:2:1567
417:2:1575
418:2:1576
419:2:1580
420:2:1581
421:2:1589
422:2:1594
423:2:1598
424:2:1599
425:2:1606
426:2:1607
427:2:1618
428:2:1619
429:2:1620
430:2:1631
431:2:1636
432:2:1637
433:0:2112
434:2:1649
435:0:2112
436:2:1651
437:0:2112
438:2:1652
439:2:1656
440:2:1657
441:2:1665
442:2:1666
443:2:1670
444:2:1671
445:2:1679
446:2:1684
447:2:1688
448:2:1689
449:2:1696
450:2:1697
451:2:1708
452:2:1709
453:2:1710
454:2:1721
455:2:1726
456:2:1727
457:0:2112
458:2:1739
459:0:2112
460:1:400
461:0:2112
462:2:1560
463:0:2112
464:1:404
465:0:2112
466:1:9
467:0:2112
468:1:10
469:0:2112
470:1:11
471:0:2112
472:2:1561
473:0:2112
474:2:1562
475:2:1566
476:2:1567
477:2:1575
478:2:1576
479:2:1580
480:2:1581
481:2:1589
482:2:1594
483:2:1598
484:2:1599
485:2:1606
486:2:1607
487:2:1618
488:2:1619
489:2:1620
490:2:1631
491:2:1636
492:2:1637
493:0:2112
494:2:1649
495:0:2112
496:2:1651
497:0:2112
498:2:1652
499:2:1656
500:2:1657
501:2:1665
502:2:1666
503:2:1670
504:2:1671
505:2:1679
506:2:1684
507:2:1688
508:2:1689
509:2:1696
510:2:1697
511:2:1708
512:2:1709
513:2:1710
514:2:1721
515:2:1726
516:2:1727
517:0:2112
518:2:1739
519:0:2112
520:2:1560
521:0:2112
522:1:12
523:1:16
524:1:17
525:1:25
526:1:26
527:1:27
528:1:39
529:1:44
530:1:48
531:1:49
532:1:56
533:1:57
534:1:68
535:1:69
536:1:70
537:1:81
538:1:86
539:1:87
540:0:2112
541:1:99
542:0:2112
543:2:1561
544:0:2112
545:2:1562
546:2:1566
547:2:1567
548:2:1575
549:2:1576
550:2:1580
551:2:1581
552:2:1589
553:2:1594
554:2:1598
555:2:1599
556:2:1606
557:2:1607
558:2:1618
559:2:1626
560:2:1627
561:2:1631
562:2:1636
563:2:1637
564:0:2112
565:2:1649
566:0:2112
567:2:1651
568:0:2112
569:2:1652
570:2:1656
571:2:1657
572:2:1665
573:2:1666
574:2:1670
575:2:1671
576:2:1679
577:2:1684
578:2:1688
579:2:1689
580:2:1696
581:2:1697
582:2:1708
583:2:1716
584:2:1717
585:2:1721
586:2:1726
587:2:1727
588:0:2112
589:2:1739
590:0:2112
591:2:1560
592:0:2112
593:1:101
594:0:2112
595:2:1561
596:0:2112
597:2:1562
598:2:1566
599:2:1567
600:2:1575
601:2:1576
602:2:1580
603:2:1581
604:2:1589
605:2:1594
606:2:1598
607:2:1599
608:2:1606
609:2:1607
610:2:1618
611:2:1626
612:2:1627
613:2:1631
614:2:1636
615:2:1637
616:0:2112
617:2:1649
618:0:2112
619:2:1651
620:0:2112
621:2:1652
622:2:1656
623:2:1657
624:2:1665
625:2:1666
626:2:1670
627:2:1671
628:2:1679
629:2:1684
630:2:1688
631:2:1689
632:2:1696
633:2:1697
634:2:1708
635:2:1716
636:2:1717
637:2:1721
638:2:1726
639:2:1727
640:0:2112
641:2:1739
642:0:2112
643:2:1560
644:0:2112
645:1:102
646:1:106
647:1:107
648:1:115
649:1:116
650:1:120
651:1:121
652:1:129
653:1:134
654:1:138
655:1:139
656:1:146
657:1:147
658:1:158
659:1:159
660:1:160
661:1:171
662:1:176
663:1:177
664:0:2112
665:1:189
666:0:2112
667:1:191
668:0:2112
669:2:1561
670:0:2112
671:2:1562
672:2:1566
673:2:1567
674:2:1575
675:2:1576
676:2:1580
677:2:1581
678:2:1589
679:2:1594
680:2:1598
681:2:1599
682:2:1606
683:2:1607
684:2:1618
685:2:1626
686:2:1627
687:2:1631
688:2:1636
689:2:1637
690:0:2112
691:2:1649
692:0:2112
693:2:1651
694:0:2112
695:2:1652
696:2:1656
697:2:1657
698:2:1665
699:2:1666
700:2:1670
701:2:1671
702:2:1679
703:2:1684
704:2:1688
705:2:1689
706:2:1696
707:2:1697
708:2:1708
709:2:1716
710:2:1717
711:2:1721
712:2:1726
713:2:1727
714:0:2112
715:2:1739
716:0:2112
717:2:1560
718:0:2112
719:1:192
720:0:2112
721:2:1561
722:0:2112
723:2:1562
724:2:1566
725:2:1567
726:2:1575
727:2:1576
728:2:1580
729:2:1581
730:2:1589
731:2:1594
732:2:1598
733:2:1599
734:2:1606
735:2:1607
736:2:1618
737:2:1626
738:2:1627
739:2:1631
740:2:1636
741:2:1637
742:0:2112
743:2:1649
744:0:2112
745:2:1651
746:0:2112
747:2:1652
748:2:1656
749:2:1657
750:2:1665
751:2:1666
752:2:1670
753:2:1671
754:2:1679
755:2:1684
756:2:1688
757:2:1689
758:2:1696
759:2:1697
760:2:1708
761:2:1716
762:2:1717
763:2:1721
764:2:1726
765:2:1727
766:0:2112
767:2:1739
768:0:2112
769:2:1560
770:0:2112
771:1:193
772:1:197
773:1:198
774:1:206
775:1:207
776:1:211
777:1:212
778:1:220
779:1:225
780:1:229
781:1:230
782:1:237
783:1:238
784:1:249
785:1:250
786:1:251
787:1:262
788:1:267
789:1:268
790:0:2112
791:1:280
792:0:2112
793:2:1561
794:0:2112
795:2:1562
796:2:1566
797:2:1567
798:2:1575
799:2:1576
800:2:1580
801:2:1581
802:2:1589
803:2:1594
804:2:1598
805:2:1599
806:2:1606
807:2:1607
808:2:1618
809:2:1626
810:2:1627
811:2:1631
812:2:1636
813:2:1637
814:0:2112
815:2:1649
816:0:2112
817:2:1651
818:0:2112
819:2:1652
820:2:1656
821:2:1657
822:2:1665
823:2:1666
824:2:1670
825:2:1671
826:2:1679
827:2:1684
828:2:1688
829:2:1689
830:2:1696
831:2:1697
832:2:1708
833:2:1716
834:2:1717
835:2:1721
836:2:1726
837:2:1727
838:0:2112
839:2:1739
840:0:2112
841:2:1560
842:0:2112
843:1:282
844:0:2112
845:1:291
846:0:2112
847:1:293
848:0:2112
849:1:296
850:0:2112
851:2:1561
852:0:2112
853:2:1562
854:2:1566
855:2:1567
856:2:1575
857:2:1576
858:2:1580
859:2:1581
860:2:1589
861:2:1594
862:2:1598
863:2:1599
864:2:1606
865:2:1607
866:2:1618
867:2:1626
868:2:1627
869:2:1631
870:2:1636
871:2:1637
872:0:2112
873:2:1649
874:0:2112
875:2:1651
876:0:2112
877:2:1652
878:2:1656
879:2:1657
880:2:1665
881:2:1666
882:2:1670
883:2:1671
884:2:1679
885:2:1684
886:2:1688
887:2:1689
888:2:1696
889:2:1697
890:2:1708
891:2:1716
892:2:1717
893:2:1721
894:2:1726
895:2:1727
896:0:2112
897:2:1739
898:0:2112
899:2:1560
900:0:2112
901:1:301
902:0:2112
903:2:1561
904:0:2112
905:2:1562
906:2:1566
907:2:1567
908:2:1575
909:2:1576
910:2:1580
911:2:1581
912:2:1589
913:2:1594
914:2:1598
915:2:1599
916:2:1606
917:2:1607
918:2:1618
919:2:1626
920:2:1627
921:2:1631
922:2:1636
923:2:1637
924:0:2112
925:2:1649
926:0:2112
927:2:1651
928:0:2112
929:2:1652
930:2:1656
931:2:1657
932:2:1665
933:2:1666
934:2:1670
935:2:1671
936:2:1679
937:2:1684
938:2:1688
939:2:1689
940:2:1696
941:2:1697
942:2:1708
943:2:1716
944:2:1717
945:2:1721
946:2:1726
947:2:1727
948:0:2112
949:2:1739
950:0:2112
951:2:1560
952:0:2112
953:1:302
954:0:2112
955:2:1561
956:0:2112
957:2:1562
958:2:1566
959:2:1567
960:2:1575
961:2:1576
962:2:1580
963:2:1581
964:2:1589
965:2:1594
966:2:1598
967:2:1599
968:2:1606
969:2:1607
970:2:1618
971:2:1626
972:2:1627
973:2:1631
974:2:1636
975:2:1637
976:0:2112
977:2:1649
978:0:2112
979:2:1651
980:0:2112
981:2:1652
982:2:1656
983:2:1657
984:2:1665
985:2:1666
986:2:1670
987:2:1671
988:2:1679
989:2:1684
990:2:1688
991:2:1689
992:2:1696
993:2:1697
994:2:1708
995:2:1716
996:2:1717
997:2:1721
998:2:1726
999:2:1727
1000:0:2112
1001:2:1739
1002:0:2112
1003:2:1560
1004:0:2112
1005:1:303
1006:0:2112
1007:1:304
1008:0:2112
1009:1:305
1010:0:2112
1011:1:306
1012:0:2112
1013:1:308
1014:0:2112
1015:2:1561
1016:0:2112
1017:2:1562
1018:2:1566
1019:2:1567
1020:2:1575
1021:2:1576
1022:2:1580
1023:2:1581
1024:2:1589
1025:2:1594
1026:2:1598
1027:2:1599
1028:2:1606
1029:2:1607
1030:2:1618
1031:2:1626
1032:2:1627
1033:2:1631
1034:2:1636
1035:2:1637
1036:0:2112
1037:2:1649
1038:0:2112
1039:2:1651
1040:0:2112
1041:2:1652
1042:2:1656
1043:2:1657
1044:2:1665
1045:2:1666
1046:2:1670
1047:2:1671
1048:2:1679
1049:2:1684
1050:2:1688
1051:2:1689
1052:2:1696
1053:2:1697
1054:2:1708
1055:2:1716
1056:2:1717
1057:2:1721
1058:2:1726
1059:2:1727
1060:0:2112
1061:2:1739
1062:0:2112
1063:2:1560
1064:0:2112
1065:1:310
1066:0:2112
1067:2:1561
1068:0:2112
1069:2:1562
1070:2:1566
1071:2:1567
1072:2:1575
1073:2:1576
1074:2:1580
1075:2:1581
1076:2:1589
1077:2:1594
1078:2:1598
1079:2:1599
1080:2:1606
1081:2:1607
1082:2:1618
1083:2:1626
1084:2:1627
1085:2:1631
1086:2:1636
1087:2:1637
1088:0:2112
1089:2:1649
1090:0:2112
1091:2:1651
1092:0:2112
1093:2:1652
1094:2:1656
1095:2:1657
1096:2:1665
1097:2:1666
1098:2:1670
1099:2:1671
1100:2:1679
1101:2:1684
1102:2:1688
1103:2:1689
1104:2:1696
1105:2:1697
1106:2:1708
1107:2:1716
1108:2:1717
1109:2:1721
1110:2:1726
1111:2:1727
1112:0:2112
1113:2:1739
1114:0:2112
1115:2:1560
1116:0:2112
1117:1:311
1118:1:315
1119:1:316
1120:1:324
1121:1:325
1122:1:326
1123:1:338
1124:1:343
1125:1:347
1126:1:348
1127:1:355
1128:1:356
1129:1:367
1130:1:368
1131:1:369
1132:1:380
1133:1:385
1134:1:386
1135:0:2112
1136:1:398
1137:0:2112
1138:2:1561
1139:0:2112
1140:2:1562
1141:2:1566
1142:2:1567
1143:2:1575
1144:2:1576
1145:2:1580
1146:2:1581
1147:2:1589
1148:2:1594
1149:2:1598
1150:2:1599
1151:2:1606
1152:2:1607
1153:2:1618
1154:2:1626
1155:2:1627
1156:2:1631
1157:2:1636
1158:2:1637
1159:0:2112
1160:2:1649
1161:0:2112
1162:2:1651
1163:0:2112
1164:2:1652
1165:2:1656
1166:2:1657
1167:2:1665
1168:2:1666
1169:2:1670
1170:2:1671
1171:2:1679
1172:2:1684
1173:2:1688
1174:2:1689
1175:2:1696
1176:2:1697
1177:2:1708
1178:2:1716
1179:2:1717
1180:2:1721
1181:2:1726
1182:2:1727
1183:0:2112
1184:2:1739
1185:0:2112
1186:2:1560
1187:0:2112
1188:1:400
1189:0:2112
1190:1:404
1191:0:2112
1192:1:9
1193:0:2112
1194:1:10
1195:0:2112
1196:1:11
1197:0:2112
1198:2:1561
1199:0:2112
1200:2:1562
1201:2:1566
1202:2:1567
1203:2:1575
1204:2:1576
1205:2:1580
1206:2:1581
1207:2:1589
1208:2:1594
1209:2:1598
1210:2:1599
1211:2:1606
1212:2:1607
1213:2:1618
1214:2:1626
1215:2:1627
1216:2:1631
1217:2:1636
1218:2:1637
1219:0:2112
1220:2:1649
1221:0:2112
1222:2:1651
1223:0:2112
1224:2:1652
1225:2:1656
1226:2:1657
1227:2:1665
1228:2:1666
1229:2:1670
1230:2:1671
1231:2:1679
1232:2:1684
1233:2:1688
1234:2:1689
1235:2:1696
1236:2:1697
1237:2:1708
1238:2:1716
1239:2:1717
1240:2:1721
1241:2:1726
1242:2:1727
1243:0:2112
1244:2:1739
1245:0:2112
1246:2:1560
1247:0:2112
1248:1:12
1249:1:16
1250:1:17
1251:1:25
1252:1:26
1253:1:27
1254:1:39
1255:1:44
1256:1:48
1257:1:49
1258:1:56
1259:1:57
1260:1:68
1261:1:69
1262:1:70
1263:1:81
1264:1:86
1265:1:87
1266:0:2112
1267:1:99
1268:0:2112
1269:2:1561
1270:0:2112
1271:2:1562
1272:2:1566
1273:2:1567
1274:2:1575
1275:2:1576
1276:2:1580
1277:2:1581
1278:2:1589
1279:2:1594
1280:2:1598
1281:2:1599
1282:2:1606
1283:2:1607
1284:2:1618
1285:2:1626
1286:2:1627
1287:2:1631
1288:2:1636
1289:2:1637
1290:0:2112
1291:2:1649
1292:0:2112
1293:2:1651
1294:0:2112
1295:2:1652
1296:2:1656
1297:2:1657
1298:2:1665
1299:2:1666
1300:2:1670
1301:2:1671
1302:2:1679
1303:2:1684
1304:2:1688
1305:2:1689
1306:2:1696
1307:2:1697
1308:2:1708
1309:2:1716
1310:2:1717
1311:2:1721
1312:2:1726
1313:2:1727
1314:0:2112
1315:2:1739
1316:0:2112
1317:2:1560
1318:0:2112
1319:1:101
1320:0:2112
1321:2:1561
1322:0:2112
1323:2:1562
1324:2:1566
1325:2:1567
1326:2:1575
1327:2:1576
1328:2:1580
1329:2:1581
1330:2:1589
1331:2:1594
1332:2:1598
1333:2:1599
1334:2:1606
1335:2:1607
1336:2:1618
1337:2:1626
1338:2:1627
1339:2:1631
1340:2:1636
1341:2:1637
1342:0:2112
1343:2:1649
1344:0:2112
1345:2:1651
1346:0:2112
1347:2:1652
1348:2:1656
1349:2:1657
1350:2:1665
1351:2:1666
1352:2:1670
1353:2:1671
1354:2:1679
1355:2:1684
1356:2:1688
1357:2:1689
1358:2:1696
1359:2:1697
1360:2:1708
1361:2:1716
1362:2:1717
1363:2:1721
1364:2:1726
1365:2:1727
1366:0:2112
1367:2:1739
1368:0:2112
1369:2:1560
1370:0:2112
1371:1:102
1372:1:106
1373:1:107
1374:1:115
1375:1:116
1376:1:120
1377:1:121
1378:1:129
1379:1:134
1380:1:138
1381:1:139
1382:1:146
1383:1:147
1384:1:158
1385:1:159
1386:1:160
1387:1:171
1388:1:176
1389:1:177
1390:0:2112
1391:1:189
1392:0:2112
1393:1:191
1394:0:2112
1395:2:1561
1396:0:2112
1397:2:1562
1398:2:1566
1399:2:1567
1400:2:1575
1401:2:1576
1402:2:1580
1403:2:1581
1404:2:1589
1405:2:1594
1406:2:1598
1407:2:1599
1408:2:1606
1409:2:1607
1410:2:1618
1411:2:1626
1412:2:1627
1413:2:1631
1414:2:1636
1415:2:1637
1416:0:2112
1417:2:1649
1418:0:2112
1419:2:1651
1420:0:2112
1421:2:1652
1422:2:1656
1423:2:1657
1424:2:1665
1425:2:1666
1426:2:1670
1427:2:1671
1428:2:1679
1429:2:1684
1430:2:1688
1431:2:1689
1432:2:1696
1433:2:1697
1434:2:1708
1435:2:1716
1436:2:1717
1437:2:1721
1438:2:1726
1439:2:1727
1440:0:2112
1441:2:1739
1442:0:2112
1443:2:1560
1444:0:2112
1445:1:192
1446:0:2112
1447:2:1561
1448:0:2112
1449:2:1562
1450:2:1566
1451:2:1567
1452:2:1575
1453:2:1576
1454:2:1580
1455:2:1581
1456:2:1589
1457:2:1594
1458:2:1598
1459:2:1599
1460:2:1606
1461:2:1607
1462:2:1618
1463:2:1626
1464:2:1627
1465:2:1631
1466:2:1636
1467:2:1637
1468:0:2112
1469:2:1649
1470:0:2112
1471:2:1651
1472:0:2112
1473:2:1652
1474:2:1656
1475:2:1657
1476:2:1665
1477:2:1666
1478:2:1670
1479:2:1671
1480:2:1679
1481:2:1684
1482:2:1688
1483:2:1689
1484:2:1696
1485:2:1697
1486:2:1708
1487:2:1716
1488:2:1717
1489:2:1721
1490:2:1726
1491:2:1727
1492:0:2112
1493:2:1739
1494:0:2112
1495:2:1560
1496:0:2112
1497:1:193
1498:1:197
1499:1:198
1500:1:206
1501:1:207
1502:1:211
1503:1:212
1504:1:220
1505:1:225
1506:1:229
1507:1:230
1508:1:237
1509:1:238
1510:1:249
1511:1:250
1512:1:251
1513:1:262
1514:1:267
1515:1:268
1516:0:2112
1517:1:280
1518:0:2112
1519:2:1561
1520:0:2112
1521:2:1562
1522:2:1566
1523:2:1567
1524:2:1575
1525:2:1576
1526:2:1580
1527:2:1581
1528:2:1589
1529:2:1594
1530:2:1598
1531:2:1599
1532:2:1606
1533:2:1607
1534:2:1618
1535:2:1626
1536:2:1627
1537:2:1631
1538:2:1636
1539:2:1637
1540:0:2112
1541:2:1649
1542:0:2112
1543:2:1651
1544:0:2112
1545:2:1652
1546:2:1656
1547:2:1657
1548:2:1665
1549:2:1666
1550:2:1670
1551:2:1671
1552:2:1679
1553:2:1684
1554:2:1688
1555:2:1689
1556:2:1696
1557:2:1697
1558:2:1708
1559:2:1716
1560:2:1717
1561:2:1721
1562:2:1726
1563:2:1727
1564:0:2112
1565:2:1739
1566:0:2112
1567:2:1560
1568:0:2112
1569:1:282
1570:0:2112
1571:1:291
1572:0:2112
1573:1:293
1574:0:2112
1575:1:296
1576:0:2112
1577:2:1561
1578:0:2112
1579:2:1562
1580:2:1566
1581:2:1567
1582:2:1575
1583:2:1576
1584:2:1580
1585:2:1581
1586:2:1589
1587:2:1594
1588:2:1598
1589:2:1599
1590:2:1606
1591:2:1607
1592:2:1618
1593:2:1626
1594:2:1627
1595:2:1631
1596:2:1636
1597:2:1637
1598:0:2112
1599:2:1649
1600:0:2112
1601:2:1651
1602:0:2112
1603:2:1652
1604:2:1656
1605:2:1657
1606:2:1665
1607:2:1666
1608:2:1670
1609:2:1671
1610:2:1679
1611:2:1684
1612:2:1688
1613:2:1689
1614:2:1696
1615:2:1697
1616:2:1708
1617:2:1716
1618:2:1717
1619:2:1721
1620:2:1726
1621:2:1727
1622:0:2112
1623:2:1739
1624:0:2112
1625:2:1560
1626:0:2112
1627:1:301
1628:0:2112
1629:2:1561
1630:0:2112
1631:2:1562
1632:2:1566
1633:2:1567
1634:2:1575
1635:2:1576
1636:2:1580
1637:2:1581
1638:2:1589
1639:2:1594
1640:2:1598
1641:2:1599
1642:2:1606
1643:2:1607
1644:2:1618
1645:2:1626
1646:2:1627
1647:2:1631
1648:2:1636
1649:2:1637
1650:0:2112
1651:2:1649
-1:-1:-1
1652:0:2112
1653:2:1651
1654:0:2112
1655:2:1652
1656:2:1656
1657:2:1657
1658:2:1665
1659:2:1666
1660:2:1670
1661:2:1671
1662:2:1679
1663:2:1684
1664:2:1688
1665:2:1689
1666:2:1696
1667:2:1697
1668:2:1708
1669:2:1716
1670:2:1717
1671:2:1721
1672:2:1726
1673:2:1727
1674:0:2112
1675:2:1739
1676:0:2112
1677:2:1560
1678:0:2112
1679:1:302
1680:0:2112
1681:2:1561
1682:0:2112
1683:2:1562
1684:2:1566
1685:2:1567
1686:2:1575
1687:2:1576
1688:2:1580
1689:2:1581
1690:2:1589
1691:2:1594
1692:2:1598
1693:2:1599
1694:2:1606
1695:2:1607
1696:2:1618
1697:2:1626
1698:2:1627
1699:2:1631
1700:2:1636
1701:2:1637
1702:0:2112
1703:2:1649
1704:0:2112
1705:2:1651
1706:0:2112
1707:2:1652
1708:2:1656
1709:2:1657
1710:2:1665
1711:2:1666
1712:2:1670
1713:2:1671
1714:2:1679
1715:2:1684
1716:2:1688
1717:2:1689
1718:2:1696
1719:2:1697
1720:2:1708
1721:2:1716
1722:2:1717
1723:2:1721
1724:2:1726
1725:2:1727
1726:0:2112
1727:2:1739
1728:0:2112
1729:2:1560
1730:0:2112
1731:1:303
1732:0:2112
1733:1:304
1734:0:2112
1735:1:305
1736:0:2112
1737:1:306
1738:0:2112
1739:1:308
1740:0:2112
1741:2:1561
1742:0:2112
1743:2:1562
1744:2:1566
1745:2:1567
1746:2:1575
1747:2:1576
1748:2:1580
1749:2:1581
1750:2:1589
1751:2:1594
1752:2:1598
1753:2:1599
1754:2:1606
1755:2:1607
1756:2:1618
1757:2:1626
1758:2:1627
1759:2:1631
1760:2:1636
1761:2:1637
1762:0:2112
1763:2:1649
1764:0:2112
1765:2:1651
1766:0:2112
1767:2:1652
1768:2:1656
1769:2:1657
1770:2:1665
1771:2:1666
1772:2:1670
1773:2:1671
1774:2:1679
1775:2:1684
1776:2:1688
1777:2:1689
1778:2:1696
1779:2:1697
1780:2:1708
1781:2:1716
1782:2:1717
1783:2:1721
1784:2:1726
1785:2:1727
1786:0:2112
1787:2:1739
1788:0:2112
1789:2:1560
1790:0:2112
1791:1:310
1792:0:2112
1793:2:1561
1794:0:2112
1795:2:1562
1796:2:1566
1797:2:1567
1798:2:1575
1799:2:1576
1800:2:1580
1801:2:1581
1802:2:1589
1803:2:1594
1804:2:1598
1805:2:1599
1806:2:1606
1807:2:1607
1808:2:1618
1809:2:1626
1810:2:1627
1811:2:1631
1812:2:1636
1813:2:1637
1814:0:2112
1815:2:1649
1816:0:2112
1817:2:1651
1818:0:2112
1819:2:1652
1820:2:1656
1821:2:1657
1822:2:1665
1823:2:1666
1824:2:1670
1825:2:1671
1826:2:1679
1827:2:1684
1828:2:1688
1829:2:1689
1830:2:1696
1831:2:1697
1832:2:1708
1833:2:1716
1834:2:1717
1835:2:1721
1836:2:1726
1837:2:1727
1838:0:2112
1839:2:1739
1840:0:2112
1841:2:1560
1842:0:2112
1843:1:311
1844:1:315
1845:1:316
1846:1:324
1847:1:333
1848:1:334
1849:1:338
1850:1:343
1851:1:347
1852:1:348
1853:1:355
1854:1:356
1855:1:367
1856:1:368
1857:1:371
1858:1:372
1859:1:380
1860:1:385
1861:1:386
1862:0:2112
1863:1:398
1864:0:2112
1865:2:1561
1866:0:2112
1867:2:1562
1868:2:1566
1869:2:1567
1870:2:1575
1871:2:1576
1872:2:1580
1873:2:1581
1874:2:1589
1875:2:1594
1876:2:1598
1877:2:1599
1878:2:1606
1879:2:1607
1880:2:1618
1881:2:1626
1882:2:1627
1883:2:1631
1884:2:1636
1885:2:1637
1886:0:2112
1887:2:1649
1888:0:2112
1889:2:1651
1890:0:2112
1891:2:1652
1892:2:1656
1893:2:1657
1894:2:1665
1895:2:1666
1896:2:1670
1897:2:1671
1898:2:1679
1899:2:1684
1900:2:1688
1901:2:1689
1902:2:1696
1903:2:1697
1904:2:1708
1905:2:1716
1906:2:1717
1907:2:1721
1908:2:1726
1909:2:1727
1910:0:2112
1911:2:1739
1912:0:2112
1913:2:1560
1914:0:2112
1915:1:400
1916:0:2112
1917:1:404
1918:0:2112
1919:1:9
1920:0:2112
1921:1:10
1922:0:2112
1923:1:11
1924:0:2112
1925:2:1561
1926:0:2112
1927:2:1562
1928:2:1566
1929:2:1567
1930:2:1575
1931:2:1576
1932:2:1580
1933:2:1581
1934:2:1589
1935:2:1594
1936:2:1598
1937:2:1599
1938:2:1606
1939:2:1607
1940:2:1618
1941:2:1626
1942:2:1627
1943:2:1631
1944:2:1636
1945:2:1637
1946:0:2112
1947:2:1649
1948:0:2112
1949:2:1651
1950:0:2112
1951:2:1652
1952:2:1656
1953:2:1657
1954:2:1665
1955:2:1666
1956:2:1670
1957:2:1671
1958:2:1679
1959:2:1684
1960:2:1688
1961:2:1689
1962:2:1696
1963:2:1697
1964:2:1708
1965:2:1716
1966:2:1717
1967:2:1721
1968:2:1726
1969:2:1727
1970:0:2112
1971:2:1739
1972:0:2112
1973:2:1560
1974:0:2112
1975:1:12
1976:1:16
1977:1:17
1978:1:25
1979:1:34
1980:1:35
1981:1:39
1982:1:44
1983:1:48
1984:1:49
1985:1:56
1986:1:57
1987:1:68
1988:1:69
1989:1:72
1990:1:73
1991:1:81
1992:1:86
1993:1:87
1994:0:2112
1995:1:99
1996:0:2112
1997:2:1561
1998:0:2112
1999:2:1562
2000:2:1566
2001:2:1567
2002:2:1575
2003:2:1576
2004:2:1580
2005:2:1581
2006:2:1589
2007:2:1594
2008:2:1598
2009:2:1599
2010:2:1606
2011:2:1607
2012:2:1618
2013:2:1626
2014:2:1627
2015:2:1631
2016:2:1636
2017:2:1637
2018:0:2112
2019:2:1649
2020:0:2112
2021:2:1651
2022:0:2112
2023:2:1652
2024:2:1656
2025:2:1657
2026:2:1665
2027:2:1666
2028:2:1670
2029:2:1671
2030:2:1679
2031:2:1684
2032:2:1688
2033:2:1689
2034:2:1696
2035:2:1697
2036:2:1708
2037:2:1716
2038:2:1717
2039:2:1721
2040:2:1726
2041:2:1727
2042:0:2112
2043:2:1739
2044:0:2112
2045:2:1560
2046:0:2112
2047:1:101
2048:0:2112
2049:2:1561
2050:0:2112
2051:2:1562
2052:2:1566
2053:2:1567
2054:2:1575
2055:2:1576
2056:2:1580
2057:2:1581
2058:2:1589
2059:2:1594
2060:2:1598
2061:2:1599
2062:2:1606
2063:2:1607
2064:2:1618
2065:2:1626
2066:2:1627
2067:2:1631
2068:2:1636
2069:2:1637
2070:0:2112
2071:2:1649
2072:0:2112
2073:2:1651
2074:0:2112
2075:2:1652
2076:2:1656
2077:2:1657
2078:2:1665
2079:2:1666
2080:2:1670
2081:2:1671
2082:2:1679
2083:2:1684
2084:2:1688
2085:2:1689
2086:2:1696
2087:2:1697
2088:2:1708
2089:2:1716
2090:2:1717
2091:2:1721
2092:2:1726
2093:2:1727
2094:0:2112
2095:2:1739
2096:0:2112
2097:2:1560
2098:0:2112
2099:1:102
2100:1:106
2101:1:107
2102:1:115
2103:1:124
2104:1:125
2105:1:129
2106:1:134
2107:1:138
2108:1:139
2109:1:146
2110:1:147
2111:1:158
2112:1:159
2113:1:162
2114:1:163
2115:1:171
2116:1:176
2117:1:177
2118:0:2112
2119:1:189
2120:0:2112
2121:1:191
2122:0:2112
2123:2:1561
2124:0:2112
2125:2:1562
2126:2:1566
2127:2:1567
2128:2:1575
2129:2:1576
2130:2:1580
2131:2:1581
2132:2:1589
2133:2:1594
2134:2:1598
2135:2:1599
2136:2:1606
2137:2:1607
2138:2:1618
2139:2:1626
2140:2:1627
2141:2:1631
2142:2:1636
2143:2:1637
2144:0:2112
2145:2:1649
2146:0:2112
2147:2:1651
2148:0:2112
2149:2:1652
2150:2:1656
2151:2:1657
2152:2:1665
2153:2:1666
2154:2:1670
2155:2:1671
2156:2:1679
2157:2:1684
2158:2:1688
2159:2:1689
2160:2:1696
2161:2:1697
2162:2:1708
2163:2:1716
2164:2:1717
2165:2:1721
2166:2:1726
2167:2:1727
2168:0:2112
2169:2:1739
2170:0:2112
2171:2:1560
2172:0:2112
2173:1:192
2174:0:2112
2175:2:1561
2176:0:2112
2177:2:1562
2178:2:1566
2179:2:1567
2180:2:1575
2181:2:1576
2182:2:1580
2183:2:1581
2184:2:1589
2185:2:1594
2186:2:1598
2187:2:1599
2188:2:1606
2189:2:1607
2190:2:1618
2191:2:1626
2192:2:1627
2193:2:1631
2194:2:1636
2195:2:1637
2196:0:2112
2197:2:1649
2198:0:2112
2199:2:1651
2200:0:2112
2201:2:1652
2202:2:1656
2203:2:1657
2204:2:1665
2205:2:1666
2206:2:1670
2207:2:1671
2208:2:1679
2209:2:1684
2210:2:1688
2211:2:1689
2212:2:1696
2213:2:1697
2214:2:1708
2215:2:1716
2216:2:1717
2217:2:1721
2218:2:1726
2219:2:1727
2220:0:2112
2221:2:1739
2222:0:2112
2223:2:1560
2224:0:2112
2225:1:193
2226:1:197
2227:1:198
2228:1:206
2229:1:215
2230:1:216
2231:1:220
2232:1:225
2233:1:229
2234:1:230
2235:1:237
2236:1:238
2237:1:249
2238:1:250
2239:1:253
2240:1:254
2241:1:262
2242:1:267
2243:1:268
2244:0:2112
2245:1:280
2246:0:2112
2247:2:1561
2248:0:2112
2249:2:1562
2250:2:1566
2251:2:1567
2252:2:1575
2253:2:1576
2254:2:1580
2255:2:1581
2256:2:1589
2257:2:1594
2258:2:1598
2259:2:1599
2260:2:1606
2261:2:1607
2262:2:1618
2263:2:1626
2264:2:1627
2265:2:1631
2266:2:1636
2267:2:1637
2268:0:2112
2269:2:1649
2270:0:2112
2271:2:1651
2272:0:2112
2273:1:282
2274:0:2112
2275:1:291
2276:0:2112
2277:1:293
2278:0:2112
2279:1:296
2280:0:2112
2281:1:301
2282:0:2112
2283:1:302
2284:0:2112
2285:1:303
2286:0:2112
2287:1:304
2288:0:2112
2289:1:305
2290:0:2112
2291:1:306
2292:0:2112
2293:1:308
2294:0:2112
2295:1:310
2296:0:2112
2297:1:311
2298:1:315
2299:1:316
2300:1:324
2301:1:325
2302:1:326
2303:1:338
2304:1:343
2305:1:347
2306:1:348
2307:1:355
2308:1:356
2309:1:367
2310:1:368
2311:1:369
2312:1:380
2313:1:385
2314:1:386
2315:0:2112
2316:1:398
2317:0:2112
2318:1:400
2319:0:2112
2320:1:404
2321:0:2112
2322:1:9
2323:0:2112
2324:1:10
2325:0:2112
2326:1:11
2327:0:2112
2328:1:12
2329:1:16
2330:1:17
2331:1:25
2332:1:26
2333:1:27
2334:1:39
2335:1:44
2336:1:48
2337:1:49
2338:1:56
2339:1:57
2340:1:68
2341:1:69
2342:1:70
2343:1:81
2344:1:86
2345:1:87
2346:0:2112
2347:1:99
2348:0:2112
2349:1:101
2350:0:2112
2351:1:102
2352:1:106
2353:1:107
2354:1:115
2355:1:116
2356:1:120
2357:1:121
2358:1:129
2359:1:134
2360:1:138
2361:1:139
2362:1:146
2363:1:147
2364:1:158
2365:1:159
2366:1:160
2367:1:171
2368:1:176
2369:1:177
2370:0:2112
2371:1:189
2372:0:2112
2373:1:191
2374:0:2112
2375:1:192
2376:0:2112
2377:1:193
2378:1:197
2379:1:198
2380:1:206
2381:1:207
2382:1:211
2383:1:212
2384:1:220
2385:1:225
2386:1:229
2387:1:230
2388:1:237
2389:1:238
2390:1:249
2391:1:250
2392:1:251
2393:1:262
2394:1:267
2395:1:268
2396:0:2112
2397:1:280
2398:0:2112
2399:1:282
2400:0:2112
2401:2:1652
2402:2:1656
2403:2:1657
2404:2:1665
2405:2:1666
2406:2:1670
2407:2:1671
2408:2:1679
2409:2:1684
2410:2:1688
2411:2:1689
2412:2:1696
2413:2:1697
2414:2:1708
2415:2:1716
2416:2:1717
2417:2:1721
2418:2:1726
2419:2:1727
2420:0:2112
2421:2:1739
2422:0:2112
2423:2:1560
2424:0:2112
2425:1:291
2426:0:2112
2427:2:1561
2428:0:2112
2429:1:293
2430:0:2112
2431:1:296
2432:0:2112
2433:1:301
2434:0:2112
2435:1:302
2436:0:2112
2437:1:303
2438:0:2112
2439:1:304
2440:0:2112
2441:1:305
2442:0:2112
2443:1:306
2444:0:2112
2445:1:308
2446:0:2112
2447:1:310
2448:0:2112
2449:1:311
2450:1:315
2451:1:316
2452:1:324
2453:1:325
2454:1:326
2455:1:338
2456:1:343
2457:1:347
2458:1:348
2459:1:355
2460:1:356
2461:1:367
2462:1:368
2463:1:369
2464:1:380
2465:1:385
2466:1:386
2467:0:2112
2468:1:398
2469:0:2112
2470:1:400
2471:0:2112
2472:1:404
2473:0:2112
2474:1:9
2475:0:2112
2476:1:10
2477:0:2112
2478:1:11
2479:0:2112
2480:1:12
2481:1:16
2482:1:17
2483:1:25
2484:1:26
2485:1:27
2486:1:39
2487:1:44
2488:1:48
2489:1:49
2490:1:56
2491:1:57
2492:1:68
2493:1:69
2494:1:70
2495:1:81
2496:1:86
2497:1:87
2498:0:2112
2499:1:99
2500:0:2112
2501:1:101
2502:0:2112
2503:1:102
2504:1:106
2505:1:107
2506:1:115
2507:1:116
2508:1:120
2509:1:121
2510:1:129
2511:1:134
2512:1:138
2513:1:139
2514:1:146
2515:1:147
2516:1:158
2517:1:159
2518:1:160
2519:1:171
2520:1:176
2521:1:177
2522:0:2112
2523:1:189
2524:0:2112
2525:1:191
2526:0:2112
2527:1:192
2528:0:2112
2529:1:193
2530:1:197
2531:1:198
2532:1:206
2533:1:207
2534:1:211
2535:1:212
2536:1:220
2537:1:225
2538:1:229
2539:1:230
2540:1:237
2541:1:238
2542:1:249
2543:1:250
2544:1:251
2545:1:262
2546:1:267
2547:1:268
2548:0:2112
2549:1:280
2550:0:2112
2551:1:282
2552:0:2112
2553:1:291
2554:0:2112
2555:1:293
2556:0:2112
2557:2:1562
2558:2:1566
2559:2:1567
2560:2:1575
2561:2:1576
2562:2:1580
2563:2:1581
2564:2:1589
2565:2:1594
2566:2:1598
2567:2:1599
2568:2:1606
2569:2:1607
2570:2:1618
2571:2:1626
2572:2:1627
2573:2:1631
2574:2:1636
2575:2:1637
2576:0:2112
2577:2:1649
2578:0:2112
2579:1:296
2580:0:2112
2581:1:301
2582:0:2112
2583:1:302
2584:0:2112
2585:1:303
2586:0:2112
2587:1:304
2588:0:2112
2589:1:305
2590:0:2112
2591:1:306
2592:0:2112
2593:1:308
2594:0:2112
2595:1:310
2596:0:2112
2597:1:311
2598:1:315
2599:1:316
2600:1:324
2601:1:325
2602:1:326
2603:1:338
2604:1:343
2605:1:347
2606:1:348
2607:1:355
2608:1:356
2609:1:367
2610:1:368
2611:1:369
2612:1:380
2613:1:385
2614:1:386
2615:0:2112
2616:1:398
2617:0:2112
2618:1:400
2619:0:2112
2620:1:404
2621:0:2112
2622:1:9
2623:0:2112
2624:1:10
2625:0:2112
2626:1:11
2627:0:2112
2628:1:12
2629:1:16
2630:1:17
2631:1:25
2632:1:34
2633:1:35
2634:1:39
2635:1:44
2636:1:48
2637:1:49
2638:1:56
2639:1:57
2640:1:68
2641:1:69
2642:1:72
2643:1:73
2644:1:81
2645:1:86
2646:1:87
2647:0:2112
2648:1:99
2649:0:2112
2650:2:1651
2651:0:2112
2652:2:1652
2653:2:1656
2654:2:1657
2655:2:1665
2656:2:1666
2657:2:1670
2658:2:1671
2659:2:1679
2660:2:1684
2661:2:1688
2662:2:1689
2663:2:1696
2664:2:1697
2665:2:1708
2666:2:1716
2667:2:1717
2668:2:1721
2669:2:1726
2670:2:1727
2671:0:2112
2672:2:1739
2673:0:2112
2674:2:1560
2675:0:2112
2676:2:1561
2677:0:2112
2678:2:1562
2679:2:1566
2680:2:1567
2681:2:1575
2682:2:1576
2683:2:1580
2684:2:1581
2685:2:1589
2686:2:1594
2687:2:1598
2688:2:1599
2689:2:1606
2690:2:1607
2691:2:1618
2692:2:1626
2693:2:1627
2694:2:1631
2695:2:1636
2696:2:1637
2697:0:2112
2698:2:1649
2699:0:2112
2700:1:101
2701:0:2112
2702:2:1651
2703:0:2112
2704:2:1652
2705:2:1656
2706:2:1657
2707:2:1665
2708:2:1666
2709:2:1670
2710:2:1671
2711:2:1679
2712:2:1684
2713:2:1688
2714:2:1689
2715:2:1696
2716:2:1697
2717:2:1708
2718:2:1716
2719:2:1717
2720:2:1721
2721:2:1726
2722:2:1727
2723:0:2112
2724:2:1739
2725:0:2112
2726:2:1560
2727:0:2112
2728:2:1561
2729:0:2112
2730:2:1562
2731:2:1566
2732:2:1567
2733:2:1575
2734:2:1576
2735:2:1580
2736:2:1581
2737:2:1589
2738:2:1594
2739:2:1598
2740:2:1599
2741:2:1606
2742:2:1607
2743:2:1618
2744:2:1626
2745:2:1627
2746:2:1631
2747:2:1636
2748:2:1637
2749:0:2112
2750:2:1649
2751:0:2112
2752:1:102
2753:1:106
2754:1:107
2755:1:115
2756:1:116
2757:1:117
2758:1:129
2759:1:134
2760:1:138
2761:1:139
2762:1:146
2763:1:147
2764:1:158
2765:1:159
2766:1:160
2767:1:171
2768:1:176
2769:1:177
2770:0:2112
2771:1:189
2772:0:2112
2773:1:191
2774:0:2112
2775:2:1651
2776:0:2112
2777:2:1652
2778:2:1656
2779:2:1657
2780:2:1665
2781:2:1666
2782:2:1670
2783:2:1671
2784:2:1679
2785:2:1684
2786:2:1688
2787:2:1689
2788:2:1696
2789:2:1697
2790:2:1708
2791:2:1716
2792:2:1717
2793:2:1721
2794:2:1726
2795:2:1727
2796:0:2112
2797:2:1739
2798:0:2112
2799:2:1560
2800:0:2112
2801:2:1561
2802:0:2112
2803:2:1562
2804:2:1566
2805:2:1567
2806:2:1575
2807:2:1576
2808:2:1580
2809:2:1581
2810:2:1589
2811:2:1594
2812:2:1598
2813:2:1599
2814:2:1606
2815:2:1607
2816:2:1618
2817:2:1626
2818:2:1627
2819:2:1631
2820:2:1636
2821:2:1637
2822:0:2112
2823:2:1649
2824:0:2112
2825:1:192
2826:0:2112
2827:2:1651
2828:0:2112
2829:2:1652
2830:2:1656
2831:2:1657
2832:2:1665
2833:2:1666
2834:2:1670
2835:2:1671
2836:2:1679
2837:2:1684
2838:2:1688
2839:2:1689
2840:2:1696
2841:2:1697
2842:2:1708
2843:2:1716
2844:2:1717
2845:2:1721
2846:2:1726
2847:2:1727
2848:0:2112
2849:2:1739
2850:0:2112
2851:2:1560
2852:0:2112
2853:2:1561
2854:0:2112
2855:2:1562
2856:2:1566
2857:2:1567
2858:2:1575
2859:2:1576
2860:2:1580
2861:2:1581
2862:2:1589
2863:2:1594
2864:2:1598
2865:2:1599
2866:2:1606
2867:2:1607
2868:2:1618
2869:2:1626
2870:2:1627
2871:2:1631
2872:2:1636
2873:2:1637
2874:0:2112
2875:2:1649
2876:0:2112
2877:1:193
2878:1:197
2879:1:198
2880:1:206
2881:1:207
2882:1:211
2883:1:212
2884:1:220
2885:1:225
2886:1:229
2887:1:230
2888:1:237
2889:1:238
2890:1:249
2891:1:250
2892:1:251
2893:1:262
2894:1:267
2895:1:268
2896:0:2112
2897:1:280
2898:0:2112
2899:2:1651
2900:0:2112
2901:2:1652
2902:2:1656
2903:2:1657
2904:2:1665
2905:2:1666
2906:2:1670
2907:2:1671
2908:2:1679
2909:2:1684
2910:2:1688
2911:2:1689
2912:2:1696
2913:2:1697
2914:2:1708
2915:2:1716
2916:2:1717
2917:2:1721
2918:2:1726
2919:2:1727
2920:0:2112
2921:2:1739
2922:0:2112
2923:2:1560
2924:0:2112
2925:2:1561
2926:0:2112
2927:2:1562
2928:2:1566
2929:2:1567
2930:2:1575
2931:2:1576
2932:2:1580
2933:2:1581
2934:2:1589
2935:2:1594
2936:2:1598
2937:2:1599
2938:2:1606
2939:2:1607
2940:2:1618
2941:2:1626
2942:2:1627
2943:2:1631
2944:2:1636
2945:2:1637
2946:0:2112
2947:2:1649
2948:0:2112
2949:1:282
2950:0:2112
2951:1:291
2952:0:2112
2953:1:293
2954:0:2112
2955:1:296
2956:0:2112
2957:2:1651
2958:0:2112
2959:2:1652
2960:2:1656
2961:2:1657
2962:2:1665
2963:2:1666
2964:2:1670
2965:2:1671
2966:2:1679
2967:2:1684
2968:2:1688
2969:2:1689
2970:2:1696
2971:2:1697
2972:2:1708
2973:2:1716
2974:2:1717
2975:2:1721
2976:2:1726
2977:2:1727
2978:0:2112
2979:2:1739
2980:0:2112
2981:2:1560
2982:0:2112
2983:2:1561
2984:0:2112
2985:2:1562
2986:2:1566
2987:2:1567
2988:2:1575
2989:2:1576
2990:2:1580
2991:2:1581
2992:2:1589
2993:2:1594
2994:2:1598
2995:2:1599
2996:2:1606
2997:2:1607
2998:2:1618
2999:2:1626
3000:2:1627
3001:2:1631
3002:2:1636
3003:2:1637
3004:0:2112
3005:2:1649
3006:0:2112
3007:1:301