repositories
/
mc1516the.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
working exercise2
[mc1516the.git]
/
uppaal
/
2website2Trace.xtr
1
1
2
1
3
1
4
1
5
1
6
5
7
1
8
1
9
1
10
2
11
.
12
.
13
0
14
0
15
0
16
0
17
0
18
0
19
0
20
0
21
0
22
0
23
0
24
0
25
0
26
0
27
0
28
0
29
0
30
0
31
0
32
0
33
0
34
0
35
0
36
0
37
0
38
0
39
0
40
0
41
0
42
0
43
0
44
0
45
0
46
0
47
0
48
0
49
2
50
0
51
3
52
3
53
3
54
0
55
3
56
3
57
2
58
1
59
3
60
2
61
3
62
2
63
4
64
2
65
4
66
0
67
0
68
.
69
0
70
1
71
1
72
1
73
1
74
5
75
1
76
1
77
1
78
2
79
.
80
.
81
1
82
1
83
0
84
0
85
0
86
0
87
0
88
0
89
0
90
0
91
0
92
0
93
0
94
0
95
0
96
0
97
0
98
0
99
0
100
0
101
0
102
0
103
0
104
0
105
0
106
0
107
0
108
0
109
0
110
0
111
0
112
0
113
0
114
0
115
0
116
0
117
2
118
0
119
3
120
3
121
3
122
0
123
3
124
3
125
2
126
1
127
3
128
2
129
3
130
2
131
4
132
2
133
4
134
1
135
0
136
.
137
0 1 ;
138
9 2 ;
139
.
140
0
141
0
142
1
143
1
144
1
145
5
146
1
147
1
148
1
149
2
150
.
151
.
152
1
153
1
154
0
155
0
156
0
157
0
158
0
159
0
160
0
161
0
162
0
163
0
164
0
165
0
166
0
167
1
168
1
169
1
170
0
171
0
172
0
173
0
174
0
175
0
176
0
177
0
178
0
179
0
180
0
181
0
182
0
183
0
184
0
185
0
186
0
187
0
188
2
189
0
190
3
191
3
192
3
193
0
194
3
195
3
196
2
197
1
198
3
199
2
200
3
201
2
202
4
203
2
204
4
205
2
206
0
207
.
208
1 1 ;
209
9 2 ;
210
.
211
0
212
0
213
0
214
1
215
1
216
5
217
1
218
1
219
1
220
2
221
.
222
.
223
1
224
1
225
0
226
0
227
0
228
0
229
0
230
0
231
0
232
0
233
0
234
0
235
0
236
0
237
0
238
1
239
1
240
1
241
1
242
1
243
1
244
0
245
0
246
0
247
0
248
0
249
0
250
0
251
0
252
0
253
0
254
0
255
0
256
0
257
0
258
0
259
2
260
0
261
3
262
3
263
3
264
0
265
3
266
3
267
2
268
1
269
3
270
2
271
3
272
2
273
4
274
2
275
4
276
3
277
0
278
.
279
2 1 ;
280
9 2 ;
281
.
282
0
283
0
284
0
285
0
286
1
287
5
288
1
289
1
290
1
291
2
292
.
293
.
294
1
295
1
296
0
297
0
298
0
299
0
300
0
301
0
302
0
303
0
304
0
305
0
306
0
307
0
308
0
309
1
310
1
311
1
312
1
313
1
314
1
315
0
316
0
317
0
318
0
319
0
320
0
321
0
322
0
323
0
324
0
325
0
326
0
327
1
328
1
329
1
330
2
331
0
332
3
333
3
334
3
335
0
336
3
337
3
338
2
339
1
340
3
341
2
342
3
343
2
344
4
345
2
346
4
347
4
348
0
349
.
350
3 1 ;
351
9 2 ;
352
.
353
0
354
0
355
0
356
0
357
0
358
5
359
1
360
1
361
1
362
2
363
.
364
.
365
1
366
1
367
0
368
0
369
0
370
0
371
0
372
1
373
0
374
0
375
0
376
0
377
0
378
1
379
0
380
1
381
1
382
1
383
1
384
1
385
1
386
0
387
0
388
0
389
0
390
0
391
0
392
0
393
0
394
0
395
0
396
0
397
0
398
1
399
1
400
1
401
2
402
0
403
3
404
3
405
3
406
0
407
3
408
3
409
2
410
1
411
3
412
2
413
3
414
2
415
4
416
2
417
4
418
5
419
0
420
.
421
4 1 ;
422
9 2 ;
423
.
424
0
425
0
426
0
427
0
428
0
429
4
430
1
431
1
432
1
433
2
434
.
435
.
436
1
437
1
438
0
439
0
440
0
441
0
442
0
443
1
444
0
445
0
446
0
447
0
448
0
449
1
450
0
451
1
452
1
453
1
454
1
455
1
456
1
457
1
458
0
459
0
460
0
461
0
462
0
463
1
464
0
465
0
466
0
467
0
468
0
469
1
470
1
471
1
472
2
473
0
474
3
475
3
476
3
477
0
478
3
479
3
480
2
481
1
482
3
483
2
484
3
485
2
486
4
487
2
488
4
489
6
490
0
491
.
492
5 9 ;
493
9 2 ;
494
.
495
0
496
0
497
0
498
0
499
0
500
4
501
0
502
1
503
1
504
2
505
.
506
.
507
1
508
1
509
0
510
0
511
0
512
0
513
0
514
1
515
0
516
0
517
0
518
0
519
0
520
1
521
0
522
1
523
1
524
1
525
1
526
1
527
1
528
1
529
0
530
1
531
0
532
0
533
0
534
1
535
0
536
1
537
0
538
0
539
0
540
1
541
1
542
1
543
2
544
0
545
3
546
3
547
3
548
0
549
3
550
3
551
2
552
1
553
3
554
2
555
3
556
2
557
4
558
2
559
4
560
7
561
0
562
.
563
6 1 ;
564
9 2 ;
565
.
566
0
567
0
568
0
569
0
570
0
571
4
572
0
573
0
574
1
575
2
576
.
577
.
578
1
579
1
580
0
581
0
582
0
583
0
584
0
585
1
586
0
587
0
588
0
589
0
590
0
591
1
592
0
593
1
594
1
595
1
596
1
597
1
598
1
599
1
600
0
601
1
602
1
603
0
604
0
605
1
606
0
607
1
608
1
609
0
610
0
611
1
612
1
613
1
614
2
615
0
616
3
617
3
618
3
619
0
620
3
621
3
622
2
623
1
624
3
625
2
626
3
627
2
628
4
629
2
630
4
631
8
632
0
633
.
634
7 1 ;
635
9 2 ;
636
.
637
0
638
0
639
0
640
0
641
0
642
4
643
0
644
0
645
0
646
2
647
.
648
.
649
1
650
1
651
0
652
0
653
0
654
0
655
0
656
1
657
0
658
0
659
0
660
0
661
0
662
1
663
0
664
1
665
1
666
1
667
1
668
1
669
1
670
1
671
0
672
1
673
1
674
0
675
1
676
1
677
0
678
1
679
1
680
0
681
1
682
1
683
1
684
1
685
2
686
0
687
3
688
3
689
3
690
0
691
3
692
3
693
2
694
1
695
3
696
2
697
3
698
2
699
4
700
2
701
4
702
9
703
0
704
.
705
8 1 ;
706
9 2 ;
707
.
708
2
709
2
710
2
711
2
712
2
713
3
714
2
715
2
716
2
717
1
718
.
719
.
720
1
721
1
722
0
723
0
724
0
725
0
726
0
727
1
728
0
729
0
730
0
731
0
732
0
733
1
734
0
735
1
736
1
737
1
738
1
739
1
740
1
741
1
742
0
743
1
744
1
745
0
746
1
747
1
748
0
749
1
750
1
751
0
752
1
753
1
754
1
755
1
756
2
757
0
758
3
759
3
760
3
761
0
762
3
763
3
764
2
765
1
766
3
767
2
768
3
769
2
770
4
771
2
772
4
773
9
774
0
775
.
776
9 1 ;
777
0 0 ;
778
1 0 ;
779
2 0 ;
780
3 0 ;
781
4 0 ;
782
5 8 ;
783
6 0 ;
784
7 0 ;
785
8 0 ;
786
.
787
2
788
2
789
2
790
2
791
2
792
0
793
2
794
2
795
2
796
1
797
.
798
.
799
1
800
1
801
0
802
0
803
0
804
0
805
0
806
1
807
0
808
0
809
0
810
0
811
0
812
1
813
0
814
1
815
1
816
1
817
1
818
1
819
1
820
1
821
0
822
1
823
1
824
0
825
1
826
1
827
0
828
1
829
1
830
0
831
1
832
1
833
1
834
1
835
2
836
0
837
3
838
3
839
3
840
0
841
3
842
3
843
2
844
1
845
3
846
2
847
3
848
2
849
4
850
2
851
4
852
9
853
0
854
.
855
5 4 ;
856
5 6 ;
857
.
858
2
859
2
860
2
861
2
862
2
863
0
864
2
865
2
866
2
867
1
868
.
869
.
870
0
871
1
872
1
873
0
874
0
875
0
876
0
877
1
878
0
879
0
880
0
881
0
882
0
883
1
884
0
885
1
886
1
887
1
888
1
889
1
890
1
891
1
892
0
893
1
894
1
895
0
896
1
897
1
898
0
899
1
900
1
901
0
902
1
903
1
904
1
905
1
906
2
907
1
908
3
909
3
910
3
911
0
912
3
913
3
914
2
915
1
916
3
917
2
918
3
919
2
920
4
921
2
922
4
923
9
924
0
925
.
926
0 3 ;
927
.
928
2
929
2
930
2
931
2
932
2
933
0
934
2
935
2
936
2
937
1
938
.
939
.
940
0
941
0
942
1
943
1
944
0
945
0
946
0
947
1
948
0
949
0
950
0
951
0
952
0
953
1
954
0
955
1
956
1
957
1
958
1
959
1
960
1
961
1
962
0
963
1
964
1
965
0
966
1
967
1
968
0
969
1
970
1
971
0
972
1
973
1
974
1
975
1
976
2
977
2
978
3
979
3
980
3
981
0
982
3
983
3
984
2
985
1
986
3
987
2
988
3
989
2
990
4
991
2
992
4
993
9
994
0
995
.
996
0 3 ;
997
.
998
2
999
2
1000
2
1001
2
1002
2
1003
0
1004
2
1005
2
1006
2
1007
1
1008
.
1009
.
1010
0
1011
0
1012
0
1013
1
1014
1
1015
0
1016
0
1017
1
1018
0
1019
0
1020
0
1021
0
1022
0
1023
1
1024
0
1025
1
1026
1
1027
1
1028
1
1029
1
1030
1
1031
1
1032
0
1033
1
1034
1
1035
0
1036
1
1037
1
1038
0
1039
1
1040
1
1041
0
1042
1
1043
1
1044
1
1045
1
1046
2
1047
3
1048
3
1049
3
1050
3
1051
0
1052
3
1053
3
1054
2
1055
1
1056
3
1057
2
1058
3
1059
2
1060
4
1061
2
1062
4
1063
9
1064
0
1065
.
1066
0 3 ;
1067
.
1068
2
1069
2
1070
2
1071
2
1072
2
1073
0
1074
2
1075
2
1076
2
1077
1
1078
.
1079
.
1080
0
1081
0
1082
0
1083
0
1084
1
1085
1
1086
0
1087
1
1088
0
1089
0
1090
0
1091
0
1092
0
1093
1
1094
0
1095
1
1096
1
1097
1
1098
1
1099
1
1100
1
1101
1
1102
0
1103
1
1104
1
1105
0
1106
1
1107
1
1108
0
1109
1
1110
1
1111
0
1112
1
1113
1
1114
1
1115
1
1116
2
1117
4
1118
3
1119
3
1120
3
1121
0
1122
3
1123
3
1124
2
1125
1
1126
3
1127
2
1128
3
1129
2
1130
4
1131
2
1132
4
1133
9
1134
0
1135
.
1136
0 3 ;
1137
.
1138
2
1139
2
1140
2
1141
2
1142
2
1143
0
1144
2
1145
2
1146
2
1147
1
1148
.
1149
.
1150
0
1151
0
1152
0
1153
0
1154
1
1155
1
1156
0
1157
1
1158
0
1159
0
1160
0
1161
0
1162
0
1163
1
1164
1
1165
1
1166
1
1167
0
1168
1
1169
1
1170
1
1171
1
1172
0
1173
1
1174
1
1175
0
1176
1
1177
1
1178
0
1179
1
1180
1
1181
0
1182
1
1183
1
1184
1
1185
1
1186
2
1187
4
1188
3
1189
2
1190
3
1191
0
1192
3
1193
3
1194
2
1195
1
1196
3
1197
2
1198
3
1199
2
1200
4
1201
2
1202
4
1203
9
1204
0
1205
.
1206
1 2 ;
1207
.
1208
2
1209
2
1210
2
1211
2
1212
2
1213
0
1214
2
1215
2
1216
2
1217
1
1218
.
1219
.
1220
0
1221
1
1222
0
1223
0
1224
1
1225
1
1226
0
1227
1
1228
0
1229
0
1230
0
1231
0
1232
0
1233
0
1234
1
1235
1
1236
1
1237
0
1238
1
1239
1
1240
1
1241
1
1242
0
1243
1
1244
1
1245
0
1246
1
1247
1
1248
0
1249
1
1250
1
1251
0
1252
1
1253
1
1254
1
1255
1
1256
2
1257
4
1258
3
1259
2
1260
3
1261
0
1262
3
1263
3
1264
2
1265
0
1266
3
1267
2
1268
3
1269
2
1270
4
1271
2
1272
4
1273
9
1274
0
1275
.
1276
4 2 ;
1277
.
1278
2
1279
2
1280
2
1281
2
1282
2
1283
0
1284
2
1285
2
1286
2
1287
1
1288
.
1289
.
1290
0
1291
1
1292
0
1293
0
1294
1
1295
1
1296
0
1297
1
1298
0
1299
0
1300
0
1301
0
1302
0
1303
1
1304
1
1305
1
1306
0
1307
0
1308
1
1309
1
1310
1
1311
1
1312
0
1313
1
1314
1
1315
0
1316
1
1317
1
1318
0
1319
1
1320
1
1321
0
1322
1
1323
1
1324
1
1325
1
1326
2
1327
4
1328
3
1329
1
1330
3
1331
0
1332
3
1333
3
1334
2
1335
0
1336
3
1337
2
1338
3
1339
2
1340
4
1341
2
1342
4
1343
9
1344
0
1345
.
1346
1 2 ;
1347
.
1348
2
1349
2
1350
2
1351
2
1352
2
1353
0
1354
2
1355
2
1356
2
1357
1
1358
.
1359
.
1360
0
1361
1
1362
0
1363
0
1364
1
1365
1
1366
0
1367
1
1368
0
1369
0
1370
0
1371
0
1372
1
1373
1
1374
1
1375
0
1376
0
1377
0
1378
1
1379
1
1380
1
1381
1
1382
0
1383
1
1384
1
1385
0
1386
1
1387
1
1388
0
1389
1
1390
1
1391
0
1392
1
1393
1
1394
1
1395
1
1396
2
1397
4
1398
3
1399
0
1400
3
1401
0
1402
3
1403
3
1404
2
1405
0
1406
3
1407
2
1408
3
1409
2
1410
4
1411
2
1412
4
1413
9
1414
0
1415
.
1416
1 2 ;
1417
.
1418
2
1419
2
1420
2
1421
2
1422
2
1423
0
1424
2
1425
2
1426
2
1427
1
1428
.
1429
.
1430
0
1431
1
1432
0
1433
0
1434
1
1435
1
1436
0
1437
1
1438
0
1439
0
1440
0
1441
0
1442
1
1443
1
1444
1
1445
0
1446
0
1447
1
1448
1
1449
1
1450
1
1451
1
1452
0
1453
1
1454
1
1455
0
1456
1
1457
1
1458
0
1459
0
1460
1
1461
0
1462
1
1463
1
1464
1
1465
1
1466
2
1467
4
1468
3
1469
0
1470
3
1471
0
1472
3
1473
3
1474
2
1475
0
1476
3
1477
2
1478
2
1479
2
1480
4
1481
2
1482
4
1483
9
1484
0
1485
.
1486
6 2 ;
1487
.
1488
2
1489
2
1490
2
1491
2
1492
2
1493
0
1494
2
1495
2
1496
2
1497
1
1498
.
1499
.
1500
0
1501
1
1502
0
1503
0
1504
1
1505
1
1506
0
1507
1
1508
0
1509
0
1510
0
1511
1
1512
1
1513
1
1514
1
1515
0
1516
0
1517
1
1518
1
1519
1
1520
1
1521
1
1522
0
1523
0
1524
1
1525
0
1526
1
1527
1
1528
0
1529
0
1530
1
1531
0
1532
1
1533
1
1534
1
1535
1
1536
2
1537
4
1538
3
1539
0
1540
3
1541
0
1542
3
1543
3
1544
2
1545
0
1546
3
1547
2
1548
1
1549
2
1550
4
1551
2
1552
4
1553
9
1554
0
1555
.
1556
6 2 ;
1557
.
1558
2
1559
2
1560
2
1561
2
1562
2
1563
3
1564
2
1565
2
1566
2
1567
1
1568
.
1569
.
1570
0
1571
1
1572
0
1573
0
1574
1
1575
1
1576
0
1577
1
1578
0
1579
0
1580
0
1581
1
1582
1
1583
1
1584
1
1585
1
1586
0
1587
1
1588
1
1589
1
1590
1
1591
1
1592
0
1593
0
1594
1
1595
0
1596
1
1597
0
1598
0
1599
0
1600
1
1601
0
1602
1
1603
1
1604
1
1605
1
1606
2
1607
4
1608
3
1609
0
1610
3
1611
0
1612
3
1613
3
1614
2
1615
0
1616
2
1617
2
1618
1
1619
2
1620
4
1621
2
1622
4
1623
9
1624
0
1625
.
1626
5 3 ;
1627
.
1628
2
1629
2
1630
2
1631
2
1632
2
1633
0
1634
2
1635
2
1636
2
1637
1
1638
.
1639
.
1640
0
1641
1
1642
0
1643
0
1644
1
1645
1
1646
0
1647
1
1648
0
1649
0
1650
0
1651
1
1652
1
1653
1
1654
1
1655
1
1656
0
1657
1
1658
1
1659
1
1660
1
1661
1
1662
0
1663
0
1664
1
1665
0
1666
1
1667
0
1668
0
1669
0
1670
1
1671
0
1672
1
1673
1
1674
1
1675
1
1676
2
1677
4
1678
3
1679
0
1680
3
1681
0
1682
3
1683
3
1684
2
1685
0
1686
2
1687
2
1688
1
1689
2
1690
4
1691
2
1692
4
1693
9
1694
0
1695
.
1696
5 4 ;
1697
5 6 ;
1698
.
1699
2
1700
2
1701
2
1702
2
1703
2
1704
3
1705
2
1706
2
1707
2
1708
1
1709
.
1710
.
1711
0
1712
1
1713
0
1714
0
1715
1
1716
1
1717
0
1718
1
1719
0
1720
1
1721
0
1722
1
1723
1
1724
1
1725
1
1726
1
1727
0
1728
1
1729
1
1730
1
1731
1
1732
0
1733
0
1734
0
1735
1
1736
0
1737
1
1738
0
1739
0
1740
0
1741
1
1742
0
1743
1
1744
1
1745
1
1746
1
1747
2
1748
4
1749
3
1750
0
1751
3
1752
0
1753
3
1754
3
1755
2
1756
0
1757
1
1758
2
1759
1
1760
2
1761
4
1762
2
1763
4
1764
9
1765
0
1766
.
1767
5 3 ;
1768
.
1769
2
1770
2
1771
2
1772
2
1773
2
1774
0
1775
2
1776
2
1777
2
1778
1
1779
.
1780
.
1781
0
1782
1
1783
0
1784
0
1785
1
1786
1
1787
0
1788
1
1789
0
1790
1
1791
0
1792
1
1793
1
1794
1
1795
1
1796
1
1797
0
1798
1
1799
1
1800
1
1801
1
1802
0
1803
0
1804
0
1805
1
1806
0
1807
1
1808
0
1809
0
1810
0
1811
1
1812
0
1813
1
1814
1
1815
1
1816
1
1817
2
1818
4
1819
3
1820
0
1821
3
1822
0
1823
3
1824
3
1825
2
1826
0
1827
1
1828
2
1829
1
1830
2
1831
4
1832
2
1833
4
1834
9
1835
0
1836
.
1837
5 4 ;
1838
5 6 ;
1839
.
1840
2
1841
2
1842
2
1843
2
1844
2
1845
0
1846
2
1847
2
1848
2
1849
1
1850
.
1851
.
1852
0
1853
1
1854
0
1855
0
1856
1
1857
1
1858
0
1859
1
1860
0
1861
1
1862
0
1863
1
1864
1
1865
1
1866
1
1867
1
1868
0
1869
1
1870
0
1871
1
1872
1
1873
1
1874
0
1875
0
1876
1
1877
0
1878
1
1879
0
1880
0
1881
0
1882
1
1883
0
1884
1
1885
1
1886
1
1887
1
1888
2
1889
4
1890
3
1891
0
1892
3
1893
1
1894
3
1895
3
1896
2
1897
0
1898
1
1899
2
1900
1
1901
2
1902
4
1903
2
1904
4
1905
9
1906
0
1907
.
1908
2 3 ;
1909
.
1910
2
1911
2
1912
2
1913
2
1914
2
1915
0
1916
2
1917
2
1918
2
1919
1
1920
.
1921
.
1922
0
1923
1
1924
0
1925
0
1926
1
1927
1
1928
0
1929
1
1930
0
1931
1
1932
0
1933
1
1934
1
1935
1
1936
1
1937
1
1938
0
1939
1
1940
0
1941
0
1942
1
1943
1
1944
1
1945
0
1946
1
1947
0
1948
1
1949
0
1950
0
1951
0
1952
1
1953
0
1954
1
1955
1
1956
1
1957
1
1958
2
1959
4
1960
3
1961
0
1962
3
1963
2
1964
3
1965
3
1966
2
1967
0
1968
1
1969
2
1970
1
1971
2
1972
4
1973
2
1974
4
1975
9
1976
0
1977
.
1978
2 3 ;
1979
.
1980
2
1981
2
1982
2
1983
2
1984
2
1985
0
1986
2
1987
2
1988
2
1989
1
1990
.
1991
.
1992
0
1993
1
1994
0
1995
0
1996
1
1997
1
1998
0
1999
1
2000
0
2001
1
2002
0
2003
1
2004
1
2005
1
2006
1
2007
1
2008
0
2009
1
2010
0
2011
0
2012
0
2013
1
2014
1
2015
1
2016
1
2017
0
2018
1
2019
0
2020
0
2021
0
2022
1
2023
0
2024
1
2025
1
2026
1
2027
1
2028
2
2029
4
2030
3
2031
0
2032
3
2033
3
2034
3
2035
3
2036
2
2037
0
2038
1
2039
2
2040
1
2041
2
2042
4
2043
2
2044
4
2045
9
2046
0
2047
.
2048
2 3 ;
2049
.
2050
2
2051
2
2052
2
2053
2
2054
2
2055
0
2056
2
2057
2
2058
2
2059
1
2060
.
2061
.
2062
0
2063
1
2064
0
2065
0
2066
1
2067
1
2068
0
2069
1
2070
0
2071
1
2072
0
2073
1
2074
1
2075
1
2076
1
2077
1
2078
0
2079
1
2080
1
2081
0
2082
0
2083
1
2084
1
2085
1
2086
1
2087
0
2088
1
2089
0
2090
0
2091
0
2092
0
2093
0
2094
1
2095
1
2096
1
2097
1
2098
2
2099
4
2100
3
2101
0
2102
3
2103
3
2104
3
2105
3
2106
2
2107
0
2108
1
2109
2
2110
1
2111
2
2112
3
2113
2
2114
4
2115
9
2116
0
2117
.
2118
7 2 ;
2119
.
2120
2
2121
2
2122
2
2123
2
2124
2
2125
0
2126
2
2127
2
2128
2
2129
1
2130
.
2131
.
2132
0
2133
1
2134
0
2135
0
2136
1
2137
1
2138
0
2139
1
2140
0
2141
1
2142
0
2143
1
2144
1
2145
1
2146
1
2147
1
2148
0
2149
1
2150
1
2151
0
2152
1
2153
1
2154
1
2155
1
2156
1
2157
0
2158
1
2159
0
2160
0
2161
0
2162
0
2163
0
2164
0
2165
1
2166
1
2167
1
2168
2
2169
4
2170
3
2171
0
2172
3
2173
3
2174
3
2175
3
2176
2
2177
0
2178
1
2179
2
2180
1
2181
2
2182
3
2183
2
2184
3
2185
9
2186
0
2187
.
2188
8 2 ;
2189
.
2190
2
2191
2
2192
2
2193
2
2194
2
2195
0
2196
2
2197
2
2198
2
2199
1
2200
.
2201
.
2202
0
2203
1
2204
0
2205
0
2206
1
2207
1
2208
0
2209
1
2210
0
2211
1
2212
0
2213
1
2214
1
2215
1
2216
1
2217
1
2218
0
2219
1
2220
1
2221
0
2222
1
2223
1
2224
1
2225
1
2226
1
2227
0
2228
1
2229
0
2230
0
2231
0
2232
0
2233
0
2234
1
2235
1
2236
1
2237
0
2238
2
2239
4
2240
3
2241
0
2242
3
2243
3
2244
3
2245
2
2246
2
2247
0
2248
1
2249
2
2250
1
2251
2
2252
3
2253
2
2254
3
2255
9
2256
0
2257
.
2258
3 2 ;
2259
.
2260
2
2261
2
2262
2
2263
2
2264
2
2265
0
2266
2
2267
2
2268
2
2269
1
2270
.
2271
.
2272
0
2273
1
2274
0
2275
0
2276
1
2277
1
2278
0
2279
1
2280
0
2281
1
2282
0
2283
1
2284
1
2285
1
2286
1
2287
1
2288
0
2289
1
2290
1
2291
0
2292
1
2293
1
2294
1
2295
1
2296
1
2297
0
2298
1
2299
0
2300
0
2301
0
2302
0
2303
1
2304
1
2305
1
2306
0
2307
0
2308
2
2309
4
2310
3
2311
0
2312
3
2313
3
2314
3
2315
1
2316
2
2317
0
2318
1
2319
2
2320
1
2321
2
2322
3
2323
2
2324
3
2325
9
2326
0
2327
.
2328
3 2 ;
2329
.
2330
2
2331
2
2332
2
2333
2
2334
2
2335
0
2336
2
2337
2
2338
2
2339
1
2340
.
2341
.
2342
0
2343
1
2344
0
2345
0
2346
1
2347
1
2348
0
2349
1
2350
0
2351
1
2352
0
2353
1
2354
1
2355
1
2356
1
2357
1
2358
0
2359
1
2360
1
2361
0
2362
1
2363
1
2364
1
2365
1
2366
1
2367
0
2368
1
2369
0
2370
0
2371
0
2372
1
2373
1
2374
1
2375
0
2376
0
2377
0
2378
2
2379
4
2380
3
2381
0
2382
3
2383
3
2384
3
2385
0
2386
2
2387
0
2388
1
2389
2
2390
1
2391
2
2392
3
2393
2
2394
3
2395
9
2396
0
2397
.
2398
3 2 ;
2399
.
2400
2
2401
2
2402
2
2403
2
2404
2
2405
3
2406
2
2407
2
2408
2
2409
1
2410
.
2411
.
2412
0
2413
1
2414
0
2415
1
2416
1
2417
1
2418
0
2419
1
2420
0
2421
1
2422
0
2423
1
2424
1
2425
1
2426
1
2427
0
2428
0
2429
1
2430
1
2431
0
2432
1
2433
1
2434
1
2435
1
2436
1
2437
0
2438
1
2439
0
2440
0
2441
0
2442
1
2443
1
2444
1
2445
0
2446
0
2447
0
2448
2
2449
4
2450
3
2451
0
2452
3
2453
3
2454
3
2455
0
2456
2
2457
0
2458
0
2459
2
2460
1
2461
2
2462
3
2463
2
2464
3
2465
9
2466
0
2467
.
2468
5 3 ;
2469
.
2470
2
2471
2
2472
2
2473
2
2474
2
2475
1
2476
2
2477
2
2478
2
2479
1
2480
.
2481
.
2482
0
2483
1
2484
0
2485
1
2486
1
2487
1
2488
0
2489
1
2490
0
2491
1
2492
0
2493
1
2494
1
2495
1
2496
1
2497
0
2498
0
2499
1
2500
1
2501
0
2502
1
2503
1
2504
1
2505
1
2506
1
2507
0
2508
1
2509
0
2510
0
2511
0
2512
1
2513
1
2514
1
2515
0
2516
0
2517
0
2518
2
2519
4
2520
3
2521
0
2522
3
2523
3
2524
3
2525
0
2526
2
2527
0
2528
0
2529
2
2530
1
2531
2
2532
3
2533
2
2534
3
2535
9
2536
0
2537
.
2538
5 5 ;
2539
5 6 ;
2540
.
2541
2
2542
2
2543
2
2544
2
2545
2
2546
1
2547
2
2548
2
2549
2
2550
1
2551
.
2552
.
2553
0
2554
1
2555
0
2556
1
2557
1
2558
1
2559
0
2560
1
2561
0
2562
1
2563
0
2564
1
2565
0
2566
1
2567
1
2568
1
2569
0
2570
1
2571
1
2572
0
2573
1
2574
1
2575
1
2576
1
2577
1
2578
0
2579
1
2580
0
2581
0
2582
0
2583
1
2584
1
2585
1
2586
0
2587
0
2588
0
2589
2
2590
4
2591
3
2592
1
2593
3
2594
3
2595
3
2596
0
2597
2
2598
0
2599
0
2600
2
2601
1
2602
2
2603
3
2604
2
2605
3
2606
9
2607
0
2608
.
2609
1 3 ;
2610
.
2611
2
2612
2
2613
2
2614
2
2615
2
2616
1
2617
2
2618
2
2619
2
2620
1
2621
.
2622
.
2623
0
2624
1
2625
0
2626
1
2627
1
2628
1
2629
0
2630
1
2631
0
2632
1
2633
0
2634
1
2635
0
2636
0
2637
1
2638
1
2639
1
2640
1
2641
1
2642
0
2643
1
2644
1
2645
1
2646
1
2647
1
2648
0
2649
1
2650
0
2651
0
2652
0
2653
1
2654
1
2655
1
2656
0
2657
0
2658
0
2659
2
2660
4
2661
3
2662
2
2663
3
2664
3
2665
3
2666
0
2667
2
2668
0
2669
0
2670
2
2671
1
2672
2
2673
3
2674
2
2675
3
2676
9
2677
0
2678
.
2679
1 3 ;
2680
.
2681
2
2682
2
2683
2
2684
2
2685
2
2686
1
2687
2
2688
2
2689
2
2690
1
2691
.
2692
.
2693
0
2694
0
2695
0
2696
1
2697
1
2698
1
2699
0
2700
1
2701
0
2702
1
2703
0
2704
1
2705
0
2706
1
2707
1
2708
1
2709
1
2710
1
2711
1
2712
0
2713
1
2714
1
2715
1
2716
1
2717
1
2718
0
2719
1
2720
0
2721
0
2722
0
2723
1
2724
1
2725
1
2726
0
2727
0
2728
0
2729
2
2730
4
2731
3
2732
2
2733
3
2734
3
2735
3
2736
0
2737
2
2738
1
2739
0
2740
2
2741
1
2742
2
2743
3
2744
2
2745
3
2746
9
2747
0
2748
.
2749
4 3 ;
2750
.
2751
2
2752
2
2753
2
2754
2
2755
2
2756
1
2757
2
2758
2
2759
2
2760
1
2761
.
2762
.
2763
0
2764
0
2765
0
2766
1
2767
1
2768
1
2769
0
2770
0
2771
0
2772
1
2773
0
2774
1
2775
0
2776
1
2777
1
2778
1
2779
1
2780
1
2781
1
2782
1
2783
1
2784
1
2785
1
2786
1
2787
1
2788
0
2789
1
2790
0
2791
0
2792
0
2793
1
2794
1
2795
1
2796
0
2797
0
2798
0
2799
2
2800
4
2801
3
2802
2
2803
3
2804
3
2805
3
2806
0
2807
2
2808
2
2809
0
2810
2
2811
1
2812
2
2813
3
2814
2
2815
3
2816
9
2817
0
2818
.
2819
4 3 ;
2820
.
2821
2
2822
2
2823
2
2824
2
2825
2
2826
1
2827
2
2828
2
2829
2
2830
1
2831
.
2832
.
2833
0
2834
0
2835
0
2836
1
2837
1
2838
1
2839
0
2840
0
2841
0
2842
1
2843
0
2844
1
2845
0
2846
0
2847
1
2848
1
2849
1
2850
1
2851
1
2852
1
2853
1
2854
1
2855
1
2856
1
2857
1
2858
1
2859
1
2860
0
2861
0
2862
0
2863
1
2864
1
2865
1
2866
0
2867
0
2868
0
2869
2
2870
4
2871
3
2872
2
2873
3
2874
3
2875
3
2876
0
2877
2
2878
3
2879
0
2880
2
2881
1
2882
2
2883
3
2884
2
2885
3
2886
9
2887
0
2888
.
2889
4 3 ;
2890
.
2891
2
2892
2
2893
2
2894
2
2895
2
2896
1
2897
2
2898
2
2899
2
2900
1
2901
.
2902
.
2903
0
2904
0
2905
0
2906
1
2907
1
2908
1
2909
0
2910
0
2911
0
2912
1
2913
0
2914
1
2915
0
2916
1
2917
1
2918
1
2919
0
2920
1
2921
1
2922
1
2923
1
2924
1
2925
1
2926
1
2927
1
2928
1
2929
1
2930
0
2931
0
2932
0
2933
1
2934
1
2935
1
2936
0
2937
0
2938
0
2939
2
2940
4
2941
3
2942
1
2943
3
2944
3
2945
3
2946
0
2947
2
2948
3
2949
0
2950
2
2951
1
2952
2
2953
3
2954
2
2955
3
2956
9
2957
0
2958
.
2959
1 2 ;
2960
.
2961
2
2962
2
2963
2
2964
2
2965
2
2966
1
2967
2
2968
2
2969
2
2970
1
2971
.
2972
.
2973
0
2974
0
2975
0
2976
1
2977
1
2978
1
2979
0
2980
0
2981
0
2982
1
2983
0
2984
1
2985
1
2986
1
2987
1
2988
0
2989
0
2990
1
2991
1
2992
1
2993
1
2994
1
2995
1
2996
1
2997
1
2998
1
2999
1
3000
0
3001
0
3002
0
3003
1
3004
1
3005
1
3006
0
3007
0
3008
0
3009
2
3010
4
3011
3
3012
0
3013
3
3014
3
3015
3
3016
0
3017
2
3018
3
3019
0
3020
2
3021
1
3022
2
3023
3
3024
2
3025
3
3026
9
3027
0
3028
.
3029
1 2 ;
3030
.
3031
2
3032
2
3033
2
3034
2
3035
2
3036
3
3037
2
3038
2
3039
2
3040
1
3041
.
3042
.
3043
0
3044
0
3045
0
3046
0
3047
1
3048
1
3049
0
3050
0
3051
0
3052
1
3053
0
3054
1
3055
1
3056
1
3057
1
3058
1
3059
0
3060
1
3061
1
3062
1
3063
1
3064
1
3065
1
3066
1
3067
1
3068
1
3069
1
3070
0
3071
0
3072
0
3073
1
3074
1
3075
1
3076
0
3077
0
3078
0
3079
2
3080
4
3081
3
3082
0
3083
3
3084
3
3085
3
3086
0
3087
2
3088
3
3089
1
3090
2
3091
1
3092
2
3093
3
3094
2
3095
3
3096
9
3097
0
3098
.
3099
5 2 ;
3100
.
3101
2
3102
2
3103
2
3104
2
3105
2
3106
0
3107
2
3108
2
3109
2
3110
1
3111
.
3112
.
3113
0
3114
0
3115
0
3116
0
3117
1
3118
1
3119
0
3120
0
3121
0
3122
1
3123
0
3124
1
3125
1
3126
1
3127
1
3128
1
3129
0
3130
1
3131
1
3132
1
3133
1
3134
1
3135
1
3136
1
3137
1
3138
1
3139
1
3140
0
3141
0
3142
0
3143
1
3144
1
3145
1
3146
0
3147
0
3148
0
3149
2
3150
4
3151
3
3152
0
3153
3
3154
3
3155
3
3156
0
3157
2
3158
3
3159
1
3160
2
3161
1
3162
2
3163
3
3164
2
3165
3
3166
9
3167
0
3168
.
3169
5 4 ;
3170
5 6 ;
3171
.
3172
2
3173
2
3174
2
3175
2
3176
2
3177
0
3178
2
3179
2
3180
2
3181
1
3182
.
3183
.
3184
0
3185
0
3186
0
3187
1
3188
1
3189
0
3190
0
3191
0
3192
0
3193
1
3194
0
3195
1
3196
1
3197
1
3198
1
3199
1
3200
0
3201
1
3202
1
3203
1
3204
1
3205
1
3206
1
3207
1
3208
1
3209
1
3210
1
3211
0
3212
0
3213
0
3214
1
3215
1
3216
1
3217
0
3218
0
3219
0
3220
2
3221
3
3222
3
3223
0
3224
3
3225
3
3226
3
3227
0
3228
2
3229
3
3230
1
3231
2
3232
1
3233
2
3234
3
3235
2
3236
3
3237
9
3238
0
3239
.
3240
0 2 ;
3241
.
3242
2
3243
2
3244
2
3245
2
3246
2
3247
0
3248
2
3249
2
3250
2
3251
1
3252
.
3253
.
3254
0
3255
0
3256
1
3257
1
3258
0
3259
0
3260
0
3261
0
3262
0
3263
1
3264
0
3265
1
3266
1
3267
1
3268
1
3269
1
3270
0
3271
1
3272
1
3273
1
3274
1
3275
1
3276
1
3277
1
3278
1
3279
1
3280
1
3281
0
3282
0
3283
0
3284
1
3285
1
3286
1
3287
0
3288
0
3289
0
3290
2
3291
2
3292
3
3293
0
3294
3
3295
3
3296
3
3297
0
3298
2
3299
3
3300
1
3301
2
3302
1
3303
2
3304
3
3305
2
3306
3
3307
9
3308
0
3309
.
3310
0 2 ;
3311
.
3312
2
3313
2
3314
2
3315
2
3316
2
3317
0
3318
2
3319
2
3320
2
3321
1
3322
.
3323
.
3324
0
3325
1
3326
1
3327
0
3328
0
3329
0
3330
0
3331
0
3332
0
3333
1
3334
0
3335
1
3336
1
3337
1
3338
1
3339
1
3340
0
3341
1
3342
1
3343
1
3344
1
3345
1
3346
1
3347
1
3348
1
3349
1
3350
1
3351
0
3352
0
3353
0
3354
1
3355
1
3356
1
3357
0
3358
0
3359
0
3360
2
3361
1
3362
3
3363
0
3364
3
3365
3
3366
3
3367
0
3368
2
3369
3
3370
1
3371
2
3372
1
3373
2
3374
3
3375
2
3376
3
3377
9
3378
0
3379
.
3380
0 2 ;
3381
.
3382
2
3383
2
3384
2
3385
2
3386
2
3387
0
3388
2
3389
2
3390
2
3391
1
3392
.
3393
.
3394
1
3395
1
3396
0
3397
0
3398
0
3399
0
3400
0
3401
0
3402
0
3403
1
3404
0
3405
1
3406
1
3407
1
3408
1
3409
1
3410
0
3411
1
3412
1
3413
1
3414
1
3415
1
3416
1
3417
1
3418
1
3419
1
3420
1
3421
0
3422
0
3423
0
3424
1
3425
1
3426
1
3427
0
3428
0
3429
0
3430
2
3431
0
3432
3
3433
0
3434
3
3435
3
3436
3
3437
0
3438
2
3439
3
3440
1
3441
2
3442
1
3443
2
3444
3
3445
2
3446
3
3447
9
3448
0
3449
.
3450
0 2 ;
3451
.
3452
2
3453
2
3454
2
3455
2
3456
2
3457
0
3458
2
3459
2
3460
2
3461
1
3462
.
3463
.
3464
1
3465
1
3466
0
3467
0
3468
0
3469
1
3470
0
3471
0
3472
0
3473
1
3474
0
3475
1
3476
1
3477
1
3478
1
3479
1
3480
0
3481
0
3482
1
3483
1
3484
1
3485
1
3486
1
3487
1
3488
1
3489
1
3490
1
3491
0
3492
0
3493
0
3494
1
3495
1
3496
1
3497
0
3498
0
3499
0
3500
2
3501
0
3502
3
3503
0
3504
3
3505
3
3506
3
3507
0
3508
2
3509
3
3510
1
3511
2
3512
0
3513
2
3514
3
3515
2
3516
3
3517
9
3518
0
3519
.
3520
6 2 ;
3521
.
3522
2
3523
2
3524
2
3525
2
3526
2
3527
3
3528
2
3529
2
3530
2
3531
1
3532
.
3533
.
3534
1
3535
1
3536
0
3537
1
3538
0
3539
1
3540
0
3541
0
3542
0
3543
1
3544
0
3545
1
3546
1
3547
1
3548
1
3549
0
3550
0
3551
0
3552
1
3553
1
3554
1
3555
1
3556
1
3557
1
3558
1
3559
1
3560
1
3561
0
3562
0
3563
0
3564
1
3565
1
3566
1
3567
0
3568
0
3569
0
3570
2
3571
0
3572
3
3573
0
3574
3
3575
3
3576
3
3577
0
3578
2
3579
3
3580
0
3581
2
3582
0
3583
2
3584
3
3585
2
3586
3
3587
9
3588
0
3589
.
3590
5 3 ;
3591
.
3592
2
3593
2
3594
2
3595
2
3596
2
3597
1
3598
2
3599
2
3600
2
3601
1
3602
.
3603
.
3604
1
3605
1
3606
0
3607
1
3608
0
3609
1
3610
0
3611
0
3612
0
3613
1
3614
0
3615
1
3616
1
3617
1
3618
1
3619
0
3620
0
3621
0
3622
1
3623
1
3624
1
3625
1
3626
1
3627
1
3628
1
3629
1
3630
1
3631
0
3632
0
3633
0
3634
1
3635
1
3636
1
3637
0
3638
0
3639
0
3640
2
3641
0
3642
3
3643
0
3644
3
3645
3
3646
3
3647
0
3648
2
3649
3
3650
0
3651
2
3652
0
3653
2
3654
3
3655
2
3656
3
3657
9
3658
0
3659
.
3660
5 5 ;
3661
5 6 ;
3662
.
3663
2
3664
2
3665
2
3666
2
3667
2
3668
1
3669
2
3670
2
3671
2
3672
1
3673
.
3674
.
3675
1
3676
1
3677
0
3678
1
3679
0
3680
1
3681
0
3682
0
3683
0
3684
1
3685
0
3686
1
3687
0
3688
1
3689
1
3690
1
3691
0
3692
0
3693
1
3694
1
3695
1
3696
1
3697
1
3698
1
3699
1
3700
1
3701
1
3702
0
3703
0
3704
0
3705
1
3706
1
3707
1
3708
0
3709
0
3710
0
3711
2
3712
0
3713
3
3714
1
3715
3
3716
3
3717
3
3718
0
3719
2
3720
3
3721
0
3722
2
3723
0
3724
2
3725
3
3726
2
3727
3
3728
9
3729
0
3730
.
3731
1 3 ;
3732
.
3733
2
3734
2
3735
2
3736
2
3737
2
3738
1
3739
2
3740
2
3741
2
3742
1
3743
.
3744
.
3745
1
3746
1
3747
0
3748
1
3749
0
3750
1
3751
0
3752
0
3753
0
3754
1
3755
0
3756
1
3757
0
3758
0
3759
1
3760
1
3761
1
3762
0
3763
1
3764
1
3765
1
3766
1
3767
1
3768
1
3769
1
3770
1
3771
1
3772
0
3773
0
3774
0
3775
1
3776
1
3777
1
3778
0
3779
0
3780
0
3781
2
3782
0
3783
3
3784
2
3785
3
3786
3
3787
3
3788
0
3789
2
3790
3
3791
0
3792
2
3793
0
3794
2
3795
3
3796
2
3797
3
3798
9
3799
0
3800
.
3801
1 3 ;
3802
.
3803
2
3804
2
3805
2
3806
2
3807
2
3808
1
3809
2
3810
2
3811
2
3812
1
3813
.
3814
.
3815
1
3816
1
3817
0
3818
1
3819
0
3820
1
3821
0
3822
0
3823
0
3824
1
3825
0
3826
1
3827
0
3828
0
3829
0
3830
1
3831
1
3832
1
3833
1
3834
1
3835
1
3836
1
3837
1
3838
1
3839
1
3840
1
3841
1
3842
0
3843
0
3844
0
3845
1
3846
1
3847
1
3848
0
3849
0
3850
0
3851
2
3852
0
3853
3
3854
3
3855
3
3856
3
3857
3
3858
0
3859
2
3860
3
3861
0
3862
2
3863
0
3864
2
3865
3
3866
2
3867
3
3868
9
3869
0
3870
.
3871
1 3 ;
3872
.
3873
2
3874
2
3875
2
3876
2
3877
2
3878
1
3879
2
3880
2
3881
2
3882
1
3883
.
3884
.
3885
1
3886
1
3887
0
3888
1
3889
0
3890
1
3891
0
3892
0
3893
0
3894
1
3895
0
3896
1
3897
1
3898
0
3899
0
3900
1
3901
1
3902
1
3903
1
3904
1
3905
1
3906
1
3907
1
3908
1
3909
0
3910
1
3911
1
3912
0
3913
0
3914
0
3915
1
3916
1
3917
1
3918
0
3919
0
3920
0
3921
2
3922
0
3923
3
3924
3
3925
3
3926
3
3927
3
3928
0
3929
2
3930
3
3931
0
3932
2
3933
0
3934
2
3935
2
3936
2
3937
3
3938
9
3939
0
3940
.
3941
7 2 ;
3942
.
3943
2
3944
2
3945
2
3946
2
3947
2
3948
1
3949
2
3950
2
3951
2
3952
1
3953
.
3954
.
3955
1
3956
1
3957
0
3958
1
3959
0
3960
1
3961
1
3962
0
3963
0
3964
1
3965
0
3966
1
3967
1
3968
0
3969
0
3970
1
3971
1
3972
1
3973
0
3974
1
3975
1
3976
1
3977
1
3978
1
3979
0
3980
1
3981
1
3982
0
3983
0
3984
0
3985
1
3986
1
3987
1
3988
0
3989
0
3990
0
3991
2
3992
0
3993
3
3994
3
3995
3
3996
3
3997
3
3998
0
3999
2
4000
3
4001
0
4002
2
4003
0
4004
2
4005
1
4006
2
4007
3
4008
9
4009
0
4010
.
4011
7 2 ;
4012
.
4013
2
4014
2
4015
2
4016
2
4017
2
4018
1
4019
2
4020
2
4021
2
4022
1
4023
.
4024
.
4025
1
4026
1
4027
0
4028
1
4029
0
4030
1
4031
1
4032
0
4033
0
4034
1
4035
0
4036
1
4037
1
4038
0
4039
1
4040
1
4041
1
4042
1
4043
0
4044
1
4045
1
4046
1
4047
1
4048
1
4049
0
4050
1
4051
0
4052
0
4053
0
4054
0
4055
1
4056
1
4057
1
4058
0
4059
0
4060
0
4061
2
4062
0
4063
3
4064
3
4065
3
4066
3
4067
3
4068
0
4069
2
4070
3
4071
0
4072
2
4073
0
4074
2
4075
1
4076
2
4077
2
4078
9
4079
0
4080
.
4081
8 2 ;
4082
.
4083
2
4084
2
4085
2
4086
2
4087
2
4088
1
4089
2
4090
2
4091
2
4092
1
4093
.
4094
.
4095
1
4096
1
4097
0
4098
1
4099
0
4100
1
4101
1
4102
0
4103
1
4104
1
4105
0
4106
1
4107
1
4108
0
4109
1
4110
1
4111
1
4112
1
4113
0
4114
1
4115
0
4116
1
4117
1
4118
1
4119
0
4120
1
4121
0
4122
0
4123
0
4124
0
4125
1
4126
1
4127
1
4128
0
4129
0
4130
0
4131
2
4132
0
4133
3
4134
3
4135
3
4136
3
4137
3
4138
0
4139
2
4140
3
4141
0
4142
2
4143
0
4144
2
4145
1
4146
2
4147
1
4148
9
4149
0
4150
.
4151
8 2 ;
4152
.
4153
2
4154
2
4155
2
4156
2
4157
2
4158
1
4159
2
4160
2
4161
2
4162
1
4163
.
4164
.
4165
1
4166
1
4167
0
4168
1
4169
0
4170
1
4171
1
4172
0
4173
1
4174
1
4175
0
4176
1
4177
1
4178
0
4179
1
4180
1
4181
1
4182
1
4183
0
4184
1
4185
1
4186
1
4187
1
4188
0
4189
0
4190
1
4191
0
4192
0
4193
0
4194
0
4195
1
4196
1
4197
1
4198
0
4199
0
4200
0
4201
2
4202
0
4203
3
4204
3
4205
3
4206
2
4207
3
4208
0
4209
2
4210
3
4211
0
4212
2
4213
0
4214
2
4215
1
4216
2
4217
1
4218
9
4219
0
4220
.
4221
2 2 ;
4222
.
4223
2
4224
2
4225
2
4226
2
4227
2
4228
1
4229
2
4230
2
4231
2
4232
1
4233
.
4234
.
4235
1
4236
1
4237
1
4238
1
4239
0
4240
1
4241
1
4242
0
4243
1
4244
1
4245
0
4246
1
4247
1
4248
0
4249
0
4250
1
4251
1
4252
1
4253
0
4254
1
4255
1
4256
1
4257
1
4258
0
4259
0
4260
1
4261
0
4262
0
4263
0
4264
0
4265
1
4266
1
4267
1
4268
0
4269
0
4270
0
4271
2
4272
0
4273
3
4274
3
4275
3
4276
2
4277
3
4278
0
4279
2
4280
3
4281
0
4282
2
4283
0
4284
2
4285
1
4286
2
4287
0
4288
9
4289
0
4290
.
4291
8 2 ;
4292
.
4293
2
4294
2
4295
2
4296
2
4297
2
4298
1
4299
2
4300
2
4301
2
4302
1
4303
.
4304
.
4305
1
4306
1
4307
1
4308
1
4309
0
4310
1
4311
1
4312
0
4313
1
4314
1
4315
0
4316
1
4317
1
4318
0
4319
1
4320
1
4321
1
4322
0
4323
0
4324
1
4325
1
4326
1
4327
1
4328
0
4329
0
4330
1
4331
0
4332
0
4333
0
4334
0
4335
1
4336
1
4337
1
4338
0
4339
0
4340
0
4341
2
4342
0
4343
3
4344
2
4345
3
4346
2
4347
3
4348
0
4349
2
4350
3
4351
0
4352
2
4353
0
4354
2
4355
1
4356
2
4357
0
4358
9
4359
0
4360
.
4361
1 2 ;
4362
.
4363
2
4364
2
4365
2
4366
2
4367
2
4368
1
4369
2
4370
2
4371
2
4372
1
4373
.
4374
.
4375
1
4376
1
4377
1
4378
1
4379
0
4380
0
4381
1
4382
0
4383
1
4384
1
4385
0
4386
1
4387
1
4388
0
4389
1
4390
1
4391
1
4392
1
4393
0
4394
1
4395
1
4396
1
4397
1
4398
0
4399
0
4400
1
4401
0
4402
0
4403
0
4404
0
4405
1
4406
1
4407
1
4408
0
4409
0
4410
0
4411
2
4412
0
4413
3
4414
2
4415
3
4416
2
4417
3
4418
0
4419
2
4420
3
4421
0
4422
2
4423
1
4424
2
4425
1
4426
2
4427
0
4428
9
4429
0
4430
.
4431
6 3 ;
4432
.
4433
2
4434
2
4435
2
4436
2
4437
2
4438
1
4439
2
4440
2
4441
2
4442
1
4443
.
4444
.
4445
1
4446
1
4447
1
4448
1
4449
0
4450
0
4451
1
4452
0
4453
1
4454
1
4455
0
4456
0
4457
1
4458
0
4459
1
4460
1
4461
1
4462
1
4463
0
4464
1
4465
1
4466
1
4467
1
4468
1
4469
0
4470
1
4471
0
4472
0
4473
0
4474
0
4475
1
4476
1
4477
1
4478
0
4479
0
4480
0
4481
2
4482
0
4483
3
4484
2
4485
3
4486
2
4487
3
4488
0
4489
2
4490
3
4491
0
4492
2
4493
2
4494
2
4495
1
4496
2
4497
0
4498
9
4499
0
4500
.
4501
6 3 ;
4502
.
4503
2
4504
2
4505
2
4506
2
4507
2
4508
1
4509
2
4510
2
4511
2
4512
1
4513
.
4514
.
4515
1
4516
1
4517
1
4518
1
4519
0
4520
0
4521
1
4522
0
4523
1
4524
1
4525
0
4526
0
4527
1
4528
0
4529
1
4530
1
4531
1
4532
0
4533
0
4534
1
4535
1
4536
1
4537
1
4538
1
4539
0
4540
1
4541
0
4542
0
4543
0
4544
1
4545
1
4546
1
4547
1
4548
0
4549
0
4550
0
4551
2
4552
0
4553
3
4554
2
4555
3
4556
2
4557
3
4558
0
4559
2
4560
3
4561
0
4562
2
4563
3
4564
2
4565
1
4566
2
4567
0
4568
9
4569
0
4570
.
4571
6 3 ;
4572
.
4573
2
4574
2
4575
2
4576
2
4577
2
4578
1
4579
2
4580
2
4581
2
4582
1
4583
.
4584
.
4585
1
4586
1
4587
1
4588
1
4589
0
4590
0
4591
1
4592
0
4593
1
4594
1
4595
0
4596
0
4597
1
4598
0
4599
0
4600
1
4601
1
4602
1
4603
0
4604
1
4605
1
4606
1
4607
1
4608
1
4609
0
4610
1
4611
0
4612
0
4613
0
4614
1
4615
1
4616
1
4617
1
4618
0
4619
0
4620
0
4621
2
4622
0
4623
3
4624
3
4625
3
4626
2
4627
3
4628
0
4629
2
4630
3
4631
0
4632
2
4633
3
4634
2
4635
1
4636
2
4637
0
4638
9
4639
0
4640
.
4641
1 3 ;
4642
.
4643
2
4644
2
4645
2
4646
2
4647
2
4648
1
4649
2
4650
2
4651
2
4652
1
4653
.
4654
.
4655
1
4656
1
4657
1
4658
1
4659
0
4660
0
4661
1
4662
0
4663
1
4664
1
4665
0
4666
0
4667
1
4668
0
4669
0
4670
1
4671
1
4672
1
4673
0
4674
1
4675
1
4676
1
4677
1
4678
0
4679
0
4680
1
4681
0
4682
0
4683
0
4684
1
4685
1
4686
1
4687
1
4688
0
4689
0
4690
1
4691
2
4692
0
4693
3
4694
3
4695
3
4696
2
4697
3
4698
0
4699
2
4700
3
4701
0
4702
2
4703
4
4704
2
4705
1
4706
2
4707
0
4708
9
4709
0
4710
.
4711
6 3 ;
4712
.
4713
2
4714
2
4715
2
4716
2
4717
2
4718
1
4719
2
4720
2
4721
2
4722
1
4723
.
4724
.
4725
1
4726
1
4727
1
4728
1
4729
0
4730
0
4731
1
4732
0
4733
1
4734
1
4735
0
4736
0
4737
1
4738
0
4739
0
4740
1
4741
1
4742
1
4743
0
4744
1
4745
0
4746
1
4747
1
4748
1
4749
0
4750
1
4751
0
4752
0
4753
0
4754
1
4755
1
4756
1
4757
1
4758
0
4759
0
4760
1
4761
2
4762
0
4763
3
4764
3
4765
3
4766
3
4767
3
4768
0
4769
2
4770
3
4771
0
4772
2
4773
4
4774
2
4775
1
4776
2
4777
0
4778
9
4779
0
4780
.
4781
2 3 ;
4782
.
4783
2
4784
2
4785
2
4786
2
4787
2
4788
1
4789
2
4790
2
4791
2
4792
1
4793
.
4794
.
4795
1
4796
1
4797
0
4798
1
4799
0
4800
0
4801
1
4802
0
4803
1
4804
1
4805
0
4806
0
4807
1
4808
0
4809
1
4810
1
4811
1
4812
1
4813
0
4814
1
4815
0
4816
1
4817
1
4818
1
4819
0
4820
1
4821
0
4822
0
4823
0
4824
1
4825
1
4826
1
4827
1
4828
0
4829
0
4830
1
4831
2
4832
0
4833
3
4834
3
4835
3
4836
3
4837
3
4838
0
4839
2
4840
3
4841
0
4842
2
4843
4
4844
2
4845
1
4846
2
4847
1
4848
9
4849
0
4850
.
4851
8 3 ;
4852
.
4853
2
4854
2
4855
2
4856
2
4857
2
4858
1
4859
2
4860
2
4861
2
4862
1
4863
.
4864
.
4865
0
4866
1
4867
1
4868
1
4869
0
4870
0
4871
1
4872
0
4873
1
4874
1
4875
0
4876
0
4877
1
4878
0
4879
1
4880
1
4881
1
4882
1
4883
0
4884
1
4885
0
4886
1
4887
1
4888
1
4889
0
4890
1
4891
0
4892
0
4893
0
4894
1
4895
1
4896
1
4897
1
4898
0
4899
0
4900
1
4901
2
4902
1
4903
3
4904
3
4905
3
4906
3
4907
3
4908
0
4909
2
4910
3
4911
0
4912
2
4913
4
4914
2
4915
1
4916
2
4917
1
4918
9
4919
0
4920
.
4921
0 3 ;
4922
.
4923
2
4924
2
4925
2
4926
2
4927
2
4928
1
4929
2
4930
2
4931
2
4932
1
4933
.
4934
.
4935
1
4936
1
4937
1
4938
1
4939
0
4940
0
4941
1
4942
0
4943
1
4944
1
4945
0
4946
0
4947
0
4948
0
4949
1
4950
1
4951
1
4952
1
4953
0
4954
1
4955
0
4956
1
4957
1
4958
1
4959
0
4960
1
4961
0
4962
0
4963
0
4964
1
4965
1
4966
1
4967
1
4968
0
4969
0
4970
1
4971
2
4972
1
4973
3
4974
3
4975
3
4976
3
4977
3
4978
0
4979
2
4980
3
4981
0
4982
2
4983
4
4984
2
4985
0
4986
2
4987
1
4988
9
4989
0
4990
.
4991
7 2 ;
4992
.
4993
2
4994
2
4995
2
4996
2
4997
2
4998
1
4999
2
5000
2
5001
2
5002
1
5003
.
5004
.
5005
1
5006
1
5007
1
5008
1
5009
0
5010
0
5011
1
5012
0
5013
0
5014
1
5015
0
5016
0
5017
0
5018
0
5019
1
5020
1
5021
1
5022
1
5023
0
5024
1
5025
1
5026
1
5027
1
5028
1
5029
0
5030
1
5031
0
5032
0
5033
0
5034
1
5035
1
5036
1
5037
1
5038
0
5039
0
5040
1
5041
2
5042
1
5043
3
5044
3
5045
3
5046
3
5047
3
5048
0
5049
2
5050
3
5051
0
5052
2
5053
4
5054
2
5055
0
5056
2
5057
2
5058
9
5059
0
5060
.
5061
8 3 ;
5062
.
5063
2
5064
2
5065
2
5066
2
5067
2
5068
1
5069
2
5070
2
5071
2
5072
1
5073
.
5074
.
5075
1
5076
1
5077
1
5078
1
5079
0
5080
0
5081
1
5082
0
5083
0
5084
1
5085
0
5086
0
5087
0
5088
0
5089
0
5090
1
5091
1
5092
1
5093
0
5094
1
5095
1
5096
1
5097
1
5098
1
5099
0
5100
1
5101
1
5102
0
5103
0
5104
1
5105
1
5106
1
5107
1
5108
0
5109
0
5110
1
5111
2
5112
1
5113
3
5114
3
5115
3
5116
3
5117
3
5118
0
5119
2
5120
3
5121
0
5122
2
5123
4
5124
2
5125
0
5126
2
5127
3
5128
9
5129
0
5130
.
5131
8 3 ;
5132
.
5133
2
5134
2
5135
2
5136
2
5137
2
5138
1
5139
2
5140
2
5141
2
5142
1
5143
.
5144
.
5145
1
5146
1
5147
1
5148
1
5149
0
5150
0
5151
1
5152
0
5153
0
5154
1
5155
0
5156
0
5157
0
5158
0
5159
1
5160
1
5161
1
5162
0
5163
0
5164
1
5165
1
5166
1
5167
1
5168
1
5169
0
5170
1
5171
1
5172
0
5173
0
5174
1
5175
1
5176
1
5177
1
5178
0
5179
0
5180
1
5181
2
5182
1
5183
3
5184
2
5185
3
5186
3
5187
3
5188
0
5189
2
5190
3
5191
0
5192
2
5193
4
5194
2
5195
0
5196
2
5197
3
5198
9
5199
0
5200
.
5201
1 2 ;
5202
.
5203
2
5204
2
5205
2
5206
2
5207
2
5208
1
5209
2
5210
2
5211
2
5212
1
5213
.
5214
.
5215
1
5216
1
5217
1
5218
1
5219
0
5220
0
5221
1
5222
0
5223
0
5224
1
5225
0
5226
0
5227
0
5228
1
5229
1
5230
1
5231
0
5232
0
5233
0
5234
1
5235
1
5236
1
5237
1
5238
1
5239
0
5240
1
5241
1
5242
0
5243
0
5244
1
5245
1
5246
1
5247
1
5248
0
5249
0
5250
1
5251
2
5252
1
5253
3
5254
1
5255
3
5256
3
5257
3
5258
0
5259
2
5260
3
5261
0
5262
2
5263
4
5264
2
5265
0
5266
2
5267
3
5268
9
5269
0
5270
.
5271
1 2 ;
5272
.
5273
2
5274
2
5275
2
5276
2
5277
2
5278
1
5279
2
5280
2
5281
2
5282
1
5283
.
5284
.
5285
1
5286
1
5287
1
5288
1
5289
0
5290
0
5291
1
5292
0
5293
0
5294
1
5295
0
5296
0
5297
1
5298
1
5299
1
5300
0
5301
0
5302
0
5303
0
5304
1
5305
1
5306
1
5307
1
5308
1
5309
0
5310
1
5311
1
5312
0
5313
0
5314
1
5315
1
5316
1
5317
1
5318
0
5319
0
5320
1
5321
2
5322
1
5323
3
5324
0
5325
3
5326
3
5327
3
5328
0
5329
2
5330
3
5331
0
5332
2
5333
4
5334
2
5335
0
5336
2
5337
3
5338
9
5339
0
5340
.
5341
1 2 ;
5342
.
5343
2
5344
2
5345
2
5346
2
5347
2
5348
3
5349
2
5350
2
5351
2
5352
1
5353
.
5354
.
5355
1
5356
1
5357
1
5358
0
5359
0
5360
0
5361
1
5362
0
5363
0
5364
1
5365
0
5366
0
5367
1
5368
1
5369
1
5370
1
5371
0
5372
0
5373
0
5374
1
5375
1
5376
1
5377
1
5378
1
5379
0
5380
1
5381
1
5382
0
5383
0
5384
1
5385
1
5386
1
5387
1
5388
0
5389
0
5390
1
5391
2
5392
1
5393
3
5394
0
5395
3
5396
3
5397
3
5398
0
5399
2
5400
3
5401
1
5402
2
5403
4
5404
2
5405
0
5406
2
5407
3
5408
9
5409
0
5410
.
5411
5 2 ;
5412
.
5413
2
5414
2
5415
2
5416
2
5417
2
5418
0
5419
2
5420
2
5421
2
5422
1
5423
.
5424
.
5425
1
5426
1
5427
1
5428
0
5429
0
5430
0
5431
1
5432
0
5433
0
5434
1
5435
0
5436
0
5437
1
5438
1
5439
1
5440
1
5441
0
5442
0
5443
0
5444
1
5445
1
5446
1
5447
1
5448
1
5449
0
5450
1
5451
1
5452
0
5453
0
5454
1
5455
1
5456
1
5457
1
5458
0
5459
0
5460
1
5461
2
5462
1
5463
3
5464
0
5465
3
5466
3
5467
3
5468
0
5469
2
5470
3
5471
1
5472
2
5473
4
5474
2
5475
0
5476
2
5477
3
5478
9
5479
0
5480
.
5481
5 4 ;
5482
5 6 ;
5483
.
5484
2
5485
2
5486
2
5487
2
5488
2
5489
0
5490
2
5491
2
5492
2
5493
1
5494
.
5495
.
5496
1
5497
0
5498
1
5499
1
5500
0
5501
0
5502
1
5503
0
5504
0
5505
1
5506
0
5507
0
5508
1
5509
1
5510
1
5511
1
5512
0
5513
0
5514
0
5515
1
5516
1
5517
1
5518
1
5519
1
5520
0
5521
1
5522
1
5523
0
5524
0
5525
1
5526
1
5527
1
5528
1
5529
0
5530
0
5531
1
5532
2
5533
2
5534
3
5535
0
5536
3
5537
3
5538
3
5539
0
5540
2
5541
3
5542
1
5543
2
5544
4
5545
2
5546
0
5547
2
5548
3
5549
9
5550
0
5551
.
5552
0 3 ;
5553
.
5554
2
5555
2
5556
2
5557
2
5558
2
5559
0
5560
2
5561
2
5562
2
5563
1
5564
.
5565
.
5566
1
5567
0
5568
0
5569
1
5570
1
5571
0
5572
1
5573
0
5574
0
5575
1
5576
0
5577
0
5578
1
5579
1
5580
1
5581
1
5582
0
5583
0
5584
0
5585
1
5586
1
5587
1
5588
1
5589
1
5590
0
5591
1
5592
1
5593
0
5594
0
5595
1
5596
1
5597
1
5598
1
5599
0
5600
0
5601
1
5602
2
5603
3
5604
3
5605
0
5606
3
5607
3
5608
3
5609
0
5610
2
5611
3
5612
1
5613
2
5614
4
5615
2
5616
0
5617
2
5618
3
5619
9
5620
0
5621
.
5622
0 3 ;
5623
.
5624
2
5625
2
5626
2
5627
2
5628
2
5629
0
5630
2
5631
2
5632
2
5633
1
5634
.
5635
.
5636
1
5637
0
5638
0
5639
0
5640
1
5641
1
5642
1
5643
0
5644
0
5645
1
5646
0
5647
0
5648
1
5649
1
5650
1
5651
1
5652
0
5653
0
5654
0
5655
1
5656
1
5657
1
5658
1
5659
1
5660
0
5661
1
5662
1
5663
0
5664
0
5665
1
5666
1
5667
1
5668
1
5669
0
5670
0
5671
1
5672
2
5673
4
5674
3
5675
0
5676
3
5677
3
5678
3
5679
0
5680
2
5681
3
5682
1
5683
2
5684
4
5685
2
5686
0
5687
2
5688
3
5689
9
5690
0
5691
.
5692
0 3 ;
5693
.
5694
2
5695
2
5696
2
5697
2
5698
2
5699
3
5700
2
5701
2
5702
2
5703
1
5704
.
5705
.
5706
1
5707
0
5708
0
5709
1
5710
1
5711
1
5712
1
5713
0
5714
0
5715
1
5716
0
5717
0
5718
1
5719
1
5720
1
5721
0
5722
0
5723
0
5724
0
5725
1
5726
1
5727
1
5728
1
5729
1
5730
0
5731
1
5732
1
5733
0
5734
0
5735
1
5736
1
5737
1
5738
1
5739
0
5740
0
5741
1
5742
2
5743
4
5744
3
5745
0
5746
3
5747
3
5748
3
5749
0
5750
2
5751
3
5752
0
5753
2
5754
4
5755
2
5756
0
5757
2
5758
3
5759
9
5760
0
5761
.
5762
5 3 ;
5763
.
5764
2
5765
2
5766
2
5767
2
5768
2
5769
1
5770
2
5771
2
5772
2
5773
1
5774
.
5775
.
5776
1
5777
0
5778
0
5779
1
5780
1
5781
1
5782
1
5783
0
5784
0
5785
1
5786
0
5787
0
5788
1
5789
1
5790
1
5791
0
5792
0
5793
0
5794
0
5795
1
5796
1
5797
1
5798
1
5799
1
5800
0
5801
1
5802
1
5803
0
5804
0
5805
1
5806
1
5807
1
5808
1
5809
0
5810
0
5811
1
5812
2
5813
4
5814
3
5815
0
5816
3
5817
3
5818
3
5819
0
5820
2
5821
3
5822
0
5823
2
5824
4
5825
2
5826
0
5827
2
5828
3
5829
9
5830
0
5831
.
5832
5 5 ;
5833
5 6 ;
5834
.
5835
2
5836
2
5837
2
5838
2
5839
2
5840
1
5841
2
5842
2
5843
2
5844
1
5845
.
5846
.
5847
1
5848
0
5849
0
5850
1
5851
1
5852
1
5853
1
5854
0
5855
0
5856
1
5857
0
5858
0
5859
0
5860
1
5861
1
5862
1
5863
0
5864
0
5865
0
5866
1
5867
1
5868
1
5869
1
5870
1
5871
0
5872
1
5873
1
5874
0
5875
0
5876
1
5877
1
5878
1
5879
1
5880
0
5881
0
5882
1
5883
2
5884
4
5885
3
5886
1
5887
3
5888
3
5889
3
5890
0
5891
2
5892
3
5893
0
5894
2
5895
4
5896
2
5897
0
5898
2
5899
3
5900
9
5901
0
5902
.
5903
1 3 ;
5904
.
5905
2
5906
2
5907
2
5908
2
5909
2
5910
1
5911
2
5912
2
5913
2
5914
1
5915
.
5916
.
5917
1
5918
0
5919
0
5920
1
5921
1
5922
1
5923
1
5924
0
5925
0
5926
1
5927
0
5928
0
5929
0
5930
0
5931
1
5932
1
5933
1
5934
0
5935
0
5936
1
5937
1
5938
1
5939
1
5940
1
5941
0
5942
1
5943
1
5944
0
5945
0
5946
1
5947
1
5948
1
5949
1
5950
0
5951
0
5952
1
5953
2
5954
4
5955
3
5956
2
5957
3
5958
3
5959
3
5960
0
5961
2
5962
3
5963
0
5964
2
5965
4
5966
2
5967
0
5968
2
5969
3
5970
9
5971
0
5972
.
5973
1 3 ;
5974
.
5975
2
5976
2
5977
2
5978
2
5979
2
5980
1
5981
2
5982
2
5983
2
5984
1
5985
.
5986
.
5987
1
5988
0
5989
0
5990
1
5991
1
5992
1
5993
1
5994
0
5995
0
5996
1
5997
0
5998
0
5999
0
6000
0
6001
0
6002
1
6003
1
6004
1
6005
0
6006
1
6007
1
6008
1
6009
1
6010
1
6011
0
6012
1
6013
1
6014
0
6015
0
6016
1
6017
1
6018
1
6019
1
6020
0
6021
0
6022
1
6023
2
6024
4
6025
3
6026
3
6027
3
6028
3
6029
3
6030
0
6031
2
6032
3
6033
0
6034
2
6035
4
6036
2
6037
0
6038
2
6039
3
6040
9
6041
0
6042
.
6043
1 3 ;
6044
.
6045
2
6046
2
6047
2
6048
2
6049
2
6050
1
6051
2
6052
2
6053
2
6054
1
6055
.
6056
.
6057
1
6058
0
6059
0
6060
1
6061
1
6062
1
6063
1
6064
0
6065
0
6066
1
6067
0
6068
0
6069
0
6070
1
6071
0
6072
1
6073
1
6074
1
6075
0
6076
1
6077
1
6078
1
6079
1
6080
1
6081
0
6082
0
6083
1
6084
0
6085
0
6086
1
6087
1
6088
1
6089
1
6090
0
6091
0
6092
1
6093
2
6094
4
6095
3
6096
3
6097
3
6098
3
6099
3
6100
0
6101
2
6102
2
6103
0
6104
2
6105
4
6106
2
6107
0
6108
2
6109
3
6110
9
6111
0
6112
.
6113
4 2 ;
6114
.
6115
2
6116
2
6117
2
6118
2
6119
2
6120
1
6121
2
6122
2
6123
2
6124
1
6125
.
6126
.
6127
1
6128
0
6129
0
6130
1
6131
1
6132
1
6133
1
6134
1
6135
0
6136
1
6137
0
6138
0
6139
0
6140
1
6141
0
6142
1
6143
1
6144
1
6145
0
6146
0
6147
1
6148
1
6149
1
6150
1
6151
0
6152
0
6153
1
6154
0
6155
0
6156
1
6157
1
6158
1
6159
1
6160
0
6161
0
6162
1
6163
2
6164
4
6165
3
6166
3
6167
3
6168
3
6169
3
6170
0
6171
2
6172
1
6173
0
6174
2
6175
4
6176
2
6177
0
6178
2
6179
3
6180
9
6181
0
6182
.
6183
4 2 ;
6184
.
6185
2
6186
2
6187
2
6188
2
6189
2
6190
1
6191
2
6192
2
6193
2
6194
1
6195
.
6196
.
6197
1
6198
1
6199
0
6200
1
6201
1
6202
1
6203
1
6204
1
6205
0
6206
1
6207
0
6208
0
6209
0
6210
0
6211
0
6212
1
6213
1
6214
1
6215
0
6216
0
6217
1
6218
1
6219
1
6220
1
6221
0
6222
0
6223
1
6224
0
6225
0
6226
1
6227
1
6228
1
6229
1
6230
0
6231
0
6232
1
6233
2
6234
4
6235
3
6236
3
6237
3
6238
3
6239
3
6240
0
6241
2
6242
0
6243
0
6244
2
6245
4
6246
2
6247
0
6248
2
6249
3
6250
9
6251
0
6252
.
6253
4 2 ;
6254
.
6255
2
6256
2
6257
2
6258
2
6259
2
6260
1
6261
2
6262
2
6263
2
6264
1
6265
.
6266
.
6267
1
6268
1
6269
0
6270
1
6271
1
6272
1
6273
1
6274
1
6275
0
6276
1
6277
0
6278
0
6279
0
6280
0
6281
1
6282
1
6283
1
6284
1
6285
0
6286
0
6287
1
6288
1
6289
1
6290
1
6291
0
6292
0
6293
0
6294
0
6295
0
6296
1
6297
1
6298
1
6299
1
6300
0
6301
0
6302
1
6303
2
6304
4
6305
3
6306
3
6307
3
6308
3
6309
3
6310
0
6311
2
6312
0
6313
0
6314
2
6315
4
6316
2
6317
0
6318
2
6319
2
6320
9
6321
0
6322
.
6323
8 2 ;
6324
.
6325
2
6326
2
6327
2
6328
2
6329
2
6330
1
6331
2
6332
2
6333
2
6334
1
6335
.
6336
.
6337
1
6338
1
6339
0
6340
1
6341
1
6342
1
6343
1
6344
1
6345
1
6346
1
6347
0
6348
0
6349
0
6350
0
6351
1
6352
1
6353
1
6354
1
6355
0
6356
0
6357
0
6358
1
6359
1
6360
1
6361
0
6362
0
6363
0
6364
0
6365
0
6366
1
6367
1
6368
1
6369
1
6370
0
6371
0
6372
1
6373
2
6374
4
6375
3
6376
3
6377
3
6378
3
6379
3
6380
0
6381
2
6382
0
6383
0
6384
2
6385
4
6386
2
6387
0
6388
2
6389
1
6390
9
6391
0
6392
.
6393
8 2 ;
6394
.
6395
2
6396
2
6397
2
6398
2
6399
2
6400
1
6401
2
6402
2
6403
2
6404
1
6405
.
6406
.
6407
1
6408
1
6409
0
6410
1
6411
1
6412
1
6413
1
6414
1
6415
1
6416
1
6417
0
6418
0
6419
0
6420
0
6421
1
6422
1
6423
1
6424
1
6425
0
6426
0
6427
1
6428
1
6429
1
6430
0
6431
0
6432
0
6433
0
6434
0
6435
0
6436
1
6437
1
6438
1
6439
1
6440
0
6441
0
6442
1
6443
2
6444
4
6445
3
6446
3
6447
3
6448
2
6449
3
6450
0
6451
2
6452
0
6453
0
6454
2
6455
4
6456
2
6457
0
6458
2
6459
1
6460
9
6461
0
6462
.
6463
2 2 ;
6464
.
6465
2
6466
2
6467
2
6468
2
6469
2
6470
1
6471
2
6472
2
6473
2
6474
1
6475
.
6476
.
6477
1
6478
1
6479
0
6480
1
6481
1
6482
1
6483
1
6484
1
6485
1
6486
1
6487
0
6488
0
6489
0
6490
0
6491
1
6492
1
6493
1
6494
1
6495
0
6496
1
6497
1
6498
1
6499
0
6500
0
6501
0
6502
0
6503
0
6504
0
6505
0
6506
1
6507
1
6508
1
6509
1
6510
0
6511
0
6512
1
6513
2
6514
4
6515
3
6516
3
6517
3
6518
1
6519
3
6520
0
6521
2
6522
0
6523
0
6524
2
6525
4
6526
2
6527
0
6528
2
6529
1
6530
9
6531
0
6532
.
6533
2 2 ;
6534
.
6535
2
6536
2
6537
2
6538
2
6539
2
6540
1
6541
2
6542
2
6543
2
6544
1
6545
.
6546
.
6547
1
6548
1
6549
0
6550
1
6551
1
6552
1
6553
1
6554
1
6555
1
6556
1
6557
0
6558
0
6559
0
6560
0
6561
1
6562
1
6563
1
6564
1
6565
1
6566
1
6567
1
6568
0
6569
0
6570
0
6571
0
6572
0
6573
0
6574
0
6575
0
6576
1
6577
1
6578
1
6579
1
6580
0
6581
0
6582
1
6583
2
6584
4
6585
3
6586
3
6587
3
6588
0
6589
3
6590
0
6591
2
6592
0
6593
0
6594
2
6595
4
6596
2
6597
0
6598
2
6599
1
6600
9
6601
0
6602
.
6603
2 2 ;
6604
.
6605
2
6606
2
6607
2
6608
2
6609
2
6610
1
6611
2
6612
2
6613
2
6614
1
6615
.
6616
.
6617
1
6618
1
6619
1
6620
1
6621
1
6622
1
6623
1
6624
1
6625
1
6626
1
6627
0
6628
0
6629
0
6630
0
6631
0
6632
1
6633
1
6634
1
6635
1
6636
1
6637
1
6638
0
6639
0
6640
0
6641
0
6642
0
6643
0
6644
0
6645
0
6646
1
6647
1
6648
1
6649
1
6650
0
6651
0
6652
1
6653
2
6654
4
6655
3
6656
3
6657
3
6658
0
6659
3
6660
0
6661
2
6662
0
6663
0
6664
2
6665
4
6666
2
6667
0
6668
2
6669
0
6670
9
6671
0
6672
.
6673
8 2 ;
6674
.
6675
2
6676
2
6677
2
6678
2
6679
2
6680
1
6681
2
6682
2
6683
2
6684
1
6685
.
6686
.
6687
1
6688
1
6689
1
6690
1
6691
1
6692
1
6693
1
6694
1
6695
1
6696
1
6697
0
6698
0
6699
0
6700
0
6701
1
6702
1
6703
1
6704
0
6705
1
6706
1
6707
1
6708
0
6709
0
6710
0
6711
0
6712
0
6713
0
6714
0
6715
0
6716
1
6717
1
6718
1
6719
1
6720
0
6721
0
6722
1
6723
2
6724
4
6725
3
6726
2
6727
3
6728
0
6729
3
6730
0
6731
2
6732
0
6733
0
6734
2
6735
4
6736
2
6737
0
6738
2
6739
0
6740
9
6741
0
6742
.
6743
1 2 ;
6744
.
6745
2
6746
2
6747
2
6748
2
6749
2
6750
1
6751
2
6752
2
6753
2
6754
1
6755
.
6756
.
6757
1
6758
1
6759
1
6760
1
6761
1
6762
1
6763
1
6764
1
6765
1
6766
1
6767
0
6768
0
6769
0
6770
1
6771
1
6772
1
6773
0
6774
0
6775
1
6776
1
6777
1
6778
0
6779
0
6780
0
6781
0
6782
0
6783
0
6784
0
6785
0
6786
1
6787
1
6788
1
6789
1
6790
0
6791
0
6792
1
6793
2
6794
4
6795
3
6796
1
6797
3
6798
0
6799
3
6800
0
6801
2
6802
0
6803
0
6804
2
6805
4
6806
2
6807
0
6808
2
6809
0
6810
9
6811
0
6812
.
6813
1 2 ;
6814
.
6815
2
6816
2
6817
2
6818
2
6819
2
6820
1
6821
2
6822
2
6823
2
6824
1
6825
.
6826
.
6827
1
6828
1
6829
1
6830
1
6831
1
6832
1
6833
1
6834
1
6835
1
6836
1
6837
0
6838
0
6839
1
6840
1
6841
1
6842
0
6843
0
6844
0
6845
1
6846
1
6847
1
6848
0
6849
0
6850
0
6851
0
6852
0
6853
0
6854
0
6855
0
6856
1
6857
1
6858
1
6859
1
6860
0
6861
0
6862
1
6863
2
6864
4
6865
3
6866
0
6867
3
6868
0
6869
3
6870
0
6871
2
6872
0
6873
0
6874
2
6875
4
6876
2
6877
0
6878
2
6879
0
6880
9
6881
0
6882
.
6883
1 2 ;
6884
.
6885
2
6886
2
6887
2
6888
2
6889
2
6890
3
6891
2
6892
2
6893
2
6894
1
6895
.
6896
.
6897
1
6898
1
6899
1
6900
0
6901
1
6902
1
6903
1
6904
1
6905
1
6906
1
6907
0
6908
0
6909
1
6910
1
6911
1
6912
1
6913
0
6914
0
6915
1
6916
1
6917
1
6918
0
6919
0
6920
0
6921
0
6922
0
6923
0
6924
0
6925
0
6926
1
6927
1
6928
1
6929
1
6930
0
6931
0
6932
1
6933
2
6934
4
6935
3
6936
0
6937
3
6938
0
6939
3
6940
0
6941
2
6942
0
6943
1
6944
2
6945
4
6946
2
6947
0
6948
2
6949
0
6950
9
6951
0
6952
.
6953
5 2 ;
6954
.
6955
2
6956
2
6957
2
6958
2
6959
2
6960
1
6961
2
6962
2
6963
2
6964
1
6965
.
6966
.
6967
1
6968
1
6969
1
6970
0
6971
1
6972
1
6973
1
6974
1
6975
1
6976
1
6977
0
6978
0
6979
1
6980
1
6981
1
6982
1
6983
0
6984
0
6985
1
6986
1
6987
1
6988
0
6989
0
6990
0
6991
0
6992
0
6993
0
6994
0
6995
0
6996
1
6997
1
6998
1
6999
1
7000
0
7001
0
7002
1
7003
2
7004
4
7005
3
7006
0
7007
3
7008
0
7009
3
7010
0
7011
2
7012
0
7013
1
7014
2
7015
4
7016
2
7017
0
7018
2
7019
0
7020
9
7021
0
7022
.
7023
5 5 ;
7024
5 6 ;
7025
.
7026
2
7027
2
7028
2
7029
2
7030
2
7031
3
7032
2
7033
2
7034
2
7035
1
7036
.
7037
.
7038
1
7039
1
7040
1
7041
0
7042
1
7043
1
7044
1
7045
1
7046
1
7047
0
7048
0
7049
0
7050
1
7051
1
7052
1
7053
1
7054
0
7055
0
7056
1
7057
1
7058
1
7059
1
7060
0
7061
0
7062
0
7063
0
7064
0
7065
0
7066
0
7067
1
7068
1
7069
1
7070
1
7071
0
7072
0
7073
1
7074
2
7075
4
7076
3
7077
0
7078
3
7079
0
7080
3
7081
0
7082
2
7083
0
7084
2
7085
2
7086
4
7087
2
7088
0
7089
2
7090
0
7091
9
7092
0
7093
.
7094
5 2 ;
7095
.
7096
2
7097
2
7098
2
7099
2
7100
2
7101
1
7102
2
7103
2
7104
2
7105
1
7106
.
7107
.
7108
1
7109
1
7110
1
7111
0
7112
1
7113
1
7114
1
7115
1
7116
1
7117
0
7118
0
7119
0
7120
1
7121
1
7122
1
7123
1
7124
0
7125
0
7126
1
7127
1
7128
1
7129
1
7130
0
7131
0
7132
0
7133
0
7134
0
7135
0
7136
0
7137
1
7138
1
7139
1
7140
1
7141
0
7142
0
7143
1
7144
2
7145
4
7146
3
7147
0
7148
3
7149
0
7150
3
7151
0
7152
2
7153
0
7154
2
7155
2
7156
4
7157
2
7158
0
7159
2
7160
0
7161
9
7162
0
7163
.
7164
5 5 ;
7165
5 6 ;
7166
.
7167
2
7168
2
7169
2
7170
2
7171
2
7172
3
7173
2
7174
2
7175
2
7176
1
7177
.
7178
.
7179
1
7180
1
7181
1
7182
0
7183
1
7184
1
7185
1
7186
1
7187
1
7188
0
7189
0
7190
0
7191
1
7192
1
7193
1
7194
0
7195
0
7196
0
7197
1
7198
1
7199
1
7200
1
7201
0
7202
0
7203
0
7204
0
7205
0
7206
1
7207
0
7208
1
7209
1
7210
1
7211
1
7212
0
7213
0
7214
1
7215
2
7216
4
7217
3
7218
0
7219
3
7220
0
7221
3
7222
0
7223
2
7224
0
7225
3
7226
2
7227
4
7228
2
7229
0
7230
2
7231
0
7232
9
7233
0
7234
.
7235
5 2 ;
7236
.
7237
2
7238
2
7239
2
7240
2
7241
2
7242
1
7243
2
7244
2
7245
2
7246
1
7247
.
7248
.
7249
1
7250
1
7251
1
7252
0
7253
1
7254
1
7255
1
7256
1
7257
1
7258
0
7259
0
7260
0
7261
1
7262
1
7263
1
7264
0
7265
0
7266
0
7267
1
7268
1
7269
1
7270
1
7271
0
7272
0
7273
0
7274
0
7275
0
7276
1
7277
0
7278
1
7279
1
7280
1
7281
1
7282
0
7283
0
7284
1
7285
2
7286
4
7287
3
7288
0
7289
3
7290
0
7291
3
7292
0
7293
2
7294
0
7295
3
7296
2
7297
4
7298
2
7299
0
7300
2
7301
0
7302
9
7303
0
7304
.
7305
5 5 ;
7306
5 6 ;
7307
.
7308
2
7309
2
7310
2
7311
2
7312
2
7313
3
7314
2
7315
2
7316
2
7317
1
7318
.
7319
.
7320
1
7321
1
7322
1
7323
0
7324
1
7325
1
7326
1
7327
1
7328
1
7329
0
7330
0
7331
0
7332
1
7333
1
7334
1
7335
0
7336
0
7337
0
7338
1
7339
1
7340
1
7341
0
7342
0
7343
0
7344
0
7345
0
7346
0
7347
1
7348
0
7349
1
7350
1
7351
1
7352
1
7353
1
7354
0
7355
1
7356
2
7357
4
7358
3
7359
0
7360
3
7361
0
7362
3
7363
0
7364
2
7365
0
7366
4
7367
2
7368
4
7369
2
7370
0
7371
2
7372
0
7373
9
7374
0
7375
.
7376
5 2 ;
7377
.
7378
2
7379
2
7380
2
7381
2
7382
2
7383
2
7384
2
7385
2
7386
2
7387
0
7388
.
7389
.
7390
1
7391
1
7392
1
7393
0
7394
1
7395
1
7396
1
7397
1
7398
1
7399
0
7400
0
7401
0
7402
1
7403
1
7404
1
7405
0
7406
0
7407
0
7408
1
7409
1
7410
1
7411
0
7412
0
7413
0
7414
0
7415
0
7416
0
7417
1
7418
0
7419
1
7420
1
7421
1
7422
1
7423
1
7424
0
7425
1
7426
2
7427
4
7428
3
7429
0
7430
3
7431
0
7432
3
7433
0
7434
2
7435
0
7436
4
7437
2
7438
4
7439
2
7440
0
7441
2
7442
0
7443
9
7444
1
7445
.
7446
5 7 ;
7447
9 0 ;
7448
.
7449
.