hash table comment fix.

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi-progress-minimal / urcu_progress_writer_error.spin.input.trail

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