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