~mht/cra

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