1/*
2 * CDDL HEADER START
3 *
4 * The contents of this file are subject to the terms of the
5 * Common Development and Distribution License (the "License").
6 * You may not use this file except in compliance with the License.
7 *
8 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9 * or http://www.opensolaris.org/os/licensing.
10 * See the License for the specific language governing permissions
11 * and limitations under the License.
12 *
13 * When distributing Covered Code, include this CDDL HEADER in each
14 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15 * If applicable, add the following below this CDDL HEADER, with the
16 * fields enclosed by brackets "[]" replaced with your own identifying
17 * information: Portions Copyright [yyyy] [name of copyright owner]
18 *
19 * CDDL HEADER END
20 */
21
22/*
23 * Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
24 * Use is subject to license terms.
25 */
26
27#pragma ident	"%Z%%M%	%I%	%E% SMI"
28
29#include "lint.h"
30#include <sys/types.h>
31
32/* table of 6 multiples of 2**2816 */
33const unsigned short __tbl_2_huge_digits [] = { 1,
34/* 2**2816 = */
353536 /* e   0 */, 1683 /* e   4 */, 7828 /* e   8 */, 3713 /* e  12 */,
368302 /* e  16 */, 4040 /* e  20 */, 1525 /* e  24 */, 6128 /* e  28 */,
373247 /* e  32 */, 8412 /* e  36 */, 1354 /* e  40 */, 7137 /* e  44 */,
38488 /* e  48 */, 3415 /* e  52 */, 8366 /* e  56 */, 2888 /* e  60 */,
39435 /* e  64 */,   67 /* e  68 */, 4244 /* e  72 */, 9444 /* e  76 */,
403909 /* e  80 */, 1960 /* e  84 */, 9722 /* e  88 */, 6917 /* e  92 */,
417465 /* e  96 */, 5103 /* e 100 */, 5036 /* e 104 */, 4100 /* e 108 */,
428604 /* e 112 */, 3394 /* e 116 */,  724 /* e 120 */, 7061 /* e 124 */,
43299 /* e 128 */, 2619 /* e 132 */, 1891 /* e 136 */, 9722 /* e 140 */,
449046 /* e 144 */, 5921 /* e 148 */, 9555 /* e 152 */, 9491 /* e 156 */,
454354 /* e 160 */, 9051 /* e 164 */, 9987 /* e 168 */, 6398 /* e 172 */,
468031 /* e 176 */, 8846 /* e 180 */, 6553 /* e 184 */, 4612 /* e 188 */,
476758 /* e 192 */, 5053 /* e 196 */, 7887 /* e 200 */, 7067 /* e 204 */,
481248 /* e 208 */, 8739 /* e 212 */, 5265 /* e 216 */, 3455 /* e 220 */,
496697 /* e 224 */, 3866 /* e 228 */, 9825 /* e 232 */, 5993 /* e 236 */,
506640 /* e 240 */, 5966 /* e 244 */, 2971 /* e 248 */, 4531 /* e 252 */,
51284 /* e 256 */, 8060 /* e 260 */,  244 /* e 264 */, 5281 /* e 268 */,
527874 /* e 272 */, 2770 /* e 276 */, 3800 /* e 280 */,  847 /* e 284 */,
539791 /* e 288 */, 4078 /* e 292 */,  201 /* e 296 */, 3118 /* e 300 */,
546744 /* e 304 */, 9222 /* e 308 */,  619 /* e 312 */, 8564 /* e 316 */,
557653 /* e 320 */,  815 /* e 324 */, 8400 /* e 328 */, 5518 /* e 332 */,
564708 /* e 336 */, 8936 /* e 340 */, 6965 /* e 344 */,  859 /* e 348 */,
57190 /* e 352 */, 9092 /* e 356 */, 1985 /* e 360 */, 4080 /* e 364 */,
587393 /* e 368 */, 9453 /* e 372 */, 7288 /* e 376 */, 4553 /* e 380 */,
597790 /* e 384 */, 5429 /* e 388 */, 7229 /* e 392 */, 4134 /* e 396 */,
603027 /* e 400 */,  341 /* e 404 */, 3123 /* e 408 */, 7147 /* e 412 */,
619240 /* e 416 */, 4345 /* e 420 */, 8495 /* e 424 */, 4736 /* e 428 */,
621582 /* e 432 */,   26 /* e 436 */, 3519 /* e 440 */, 7907 /* e 444 */,
631443 /* e 448 */, 5166 /* e 452 */, 7149 /* e 456 */, 4156 /* e 460 */,
64410 /* e 464 */, 5693 /* e 468 */, 4930 /* e 472 */, 7778 /* e 476 */,
655531 /* e 480 */, 9083 /* e 484 */, 2412 /* e 488 */, 1383 /* e 492 */,
662982 /* e 496 */, 2953 /* e 500 */, 2318 /* e 504 */, 4813 /* e 508 */,
672483 /* e 512 */, 1682 /* e 516 */,  331 /* e 520 */, 5562 /* e 524 */,
685368 /* e 528 */, 5453 /* e 532 */,  249 /* e 536 */, 3139 /* e 540 */,
693307 /* e 544 */, 8974 /* e 548 */, 2368 /* e 552 */, 6001 /* e 556 */,
703051 /* e 560 */, 4608 /* e 564 */,  119 /* e 568 */, 5889 /* e 572 */,
711678 /* e 576 */, 8451 /* e 580 */, 4807 /* e 584 */, 2991 /* e 588 */,
726659 /* e 592 */, 3797 /* e 596 */, 7908 /* e 600 */, 2288 /* e 604 */,
731417 /* e 608 */, 9696 /* e 612 */, 9044 /* e 616 */, 8737 /* e 620 */,
74433 /* e 624 */, 9934 /* e 628 */, 1780 /* e 632 */, 6909 /* e 636 */,
753017 /* e 640 */, 8911 /* e 644 */, 6028 /* e 648 */, 1166 /* e 652 */,
764034 /* e 656 */, 4223 /* e 660 */, 1046 /* e 664 */, 3190 /* e 668 */,
777967 /* e 672 */, 3701 /* e 676 */, 2824 /* e 680 */, 7203 /* e 684 */,
783025 /* e 688 */, 3022 /* e 692 */, 9122 /* e 696 */,  707 /* e 700 */,
797910 /* e 704 */, 3306 /* e 708 */, 2583 /* e 712 */, 2978 /* e 716 */,
809344 /* e 720 */,  900 /* e 724 */,  772 /* e 728 */, 3042 /* e 732 */,
812674 /* e 736 */, 1277 /* e 740 */, 7526 /* e 744 */, 7518 /* e 748 */,
826408 /* e 752 */,  450 /* e 756 */, 8196 /* e 760 */, 3103 /* e 764 */,
837791 /* e 768 */, 3672 /* e 772 */, 5408 /* e 776 */, 7843 /* e 780 */,
845189 /* e 784 */, 7523 /* e 788 */, 4056 /* e 792 */, 2575 /* e 796 */,
859840 /* e 800 */, 5009 /* e 804 */, 8572 /* e 808 */, 8503 /* e 812 */,
865027 /* e 816 */, 6868 /* e 820 */,  109 /* e 824 */, 3476 /* e 828 */,
87219 /* e 832 */, 6147 /* e 836 */, 2736 /* e 840 */, 5017 /* e 844 */,
88
89/* 2**5632 =  */
903296 /* e   0 */, 3426 /* e   4 */, 3295 /* e   8 */, 3203 /* e  12 */,
912547 /* e  16 */, 9389 /* e  20 */, 7386 /* e  24 */, 8073 /* e  28 */,
926614 /* e  32 */,  484 /* e  36 */, 9018 /* e  40 */, 9823 /* e  44 */,
935559 /* e  48 */, 5864 /* e  52 */, 8462 /* e  56 */, 4843 /* e  60 */,
945166 /* e  64 */, 9450 /* e  68 */, 8388 /* e  72 */, 5571 /* e  76 */,
956800 /* e  80 */, 8444 /* e  84 */,  853 /* e  88 */, 6313 /* e  92 */,
968561 /* e  96 */, 6611 /* e 100 */, 6953 /* e 104 */, 5544 /* e 108 */,
971000 /* e 112 */, 3566 /* e 116 */, 1388 /* e 120 */, 6341 /* e 124 */,
989360 /* e 128 */, 2675 /* e 132 */, 9064 /* e 136 */, 9281 /* e 140 */,
993688 /* e 144 */, 1621 /* e 148 */, 1992 /* e 152 */, 3276 /* e 156 */,
1003238 /* e 160 */, 6133 /* e 164 */, 2364 /* e 168 */, 3047 /* e 172 */,
1011389 /* e 176 */, 4717 /* e 180 */, 1217 /* e 184 */, 7465 /* e 188 */,
102657 /* e 192 */, 8131 /* e 196 */, 3767 /* e 200 */, 8183 /* e 204 */,
1032014 /* e 208 */, 1553 /* e 212 */, 4842 /* e 216 */, 5701 /* e 220 */,
1042142 /* e 224 */, 1950 /* e 228 */, 2809 /* e 232 */,   51 /* e 236 */,
1058498 /* e 240 */, 4177 /* e 244 */, 9656 /* e 248 */, 5726 /* e 252 */,
106901 /* e 256 */, 6778 /* e 260 */, 5940 /* e 264 */, 7698 /* e 268 */,
1072650 /* e 272 */, 3415 /* e 276 */, 7695 /* e 280 */, 2741 /* e 284 */,
1088167 /* e 288 */,  570 /* e 292 */, 9630 /* e 296 */, 4028 /* e 300 */,
1091949 /* e 304 */, 1605 /* e 308 */, 6368 /* e 312 */, 9947 /* e 316 */,
1104612 /* e 320 */, 6376 /* e 324 */, 8290 /* e 328 */, 5452 /* e 332 */,
111134 /* e 336 */, 8625 /* e 340 */, 9502 /* e 344 */, 9987 /* e 348 */,
1128914 /* e 352 */, 5544 /* e 356 */, 8899 /* e 360 */, 5319 /* e 364 */,
1133436 /* e 368 */, 5168 /* e 372 */, 2131 /* e 376 */, 3406 /* e 380 */,
1147928 /* e 384 */, 6830 /* e 388 */, 7273 /* e 392 */,  229 /* e 396 */,
1153726 /* e 400 */,  456 /* e 404 */,  432 /* e 408 */, 9462 /* e 412 */,
1169017 /* e 416 */, 9301 /* e 420 */, 3210 /* e 424 */, 9805 /* e 428 */,
1175491 /* e 432 */, 9089 /* e 436 */, 1857 /* e 440 */, 8523 /* e 444 */,
1188681 /* e 448 */, 9233 /* e 452 */, 5387 /* e 456 */, 5228 /* e 460 */,
1198213 /* e 464 */, 3776 /* e 468 */, 2351 /* e 472 */, 8791 /* e 476 */,
1207346 /* e 480 */, 7992 /* e 484 */, 7080 /* e 488 */,   31 /* e 492 */,
1211050 /* e 496 */, 1787 /* e 500 */, 5765 /* e 504 */, 4391 /* e 508 */,
1228652 /* e 512 */, 7925 /* e 516 */, 4201 /* e 520 */,  308 /* e 524 */,
1235345 /* e 528 */,  237 /* e 532 */, 5621 /* e 536 */, 1610 /* e 540 */,
1249551 /* e 544 */, 2652 /* e 548 */,  128 /* e 552 */, 2096 /* e 556 */,
125291 /* e 560 */, 8130 /* e 564 */, 4475 /* e 568 */, 6607 /* e 572 */,
1261411 /* e 576 */,  280 /* e 580 */, 2326 /* e 584 */, 4272 /* e 588 */,
1272136 /* e 592 */, 7819 /* e 596 */, 9901 /* e 600 */, 7169 /* e 604 */,
128275 /* e 608 */, 2749 /* e 612 */, 5358 /* e 616 */,  466 /* e 620 */,
1294049 /* e 624 */, 6398 /* e 628 */,  263 /* e 632 */, 2399 /* e 636 */,
1301461 /* e 640 */, 8479 /* e 644 */, 3810 /* e 648 */, 4086 /* e 652 */,
1315426 /* e 656 */, 1517 /* e 660 */, 8443 /* e 664 */, 5612 /* e 668 */,
1327989 /* e 672 */, 1740 /* e 676 */, 6690 /* e 680 */, 5584 /* e 684 */,
1336686 /* e 688 */, 2419 /* e 692 */, 2490 /* e 696 */, 8808 /* e 700 */,
1341947 /* e 704 */, 3432 /* e 708 */, 4101 /* e 712 */, 9573 /* e 716 */,
1351824 /* e 720 */, 2364 /* e 724 */, 3095 /* e 728 */, 3396 /* e 732 */,
136927 /* e 736 */,  140 /* e 740 */, 3080 /* e 744 */, 8672 /* e 748 */,
1375632 /* e 752 */, 5876 /* e 756 */, 1936 /* e 760 */, 9670 /* e 764 */,
1389179 /* e 768 */, 8414 /* e 772 */, 4551 /* e 776 */, 7679 /* e 780 */,
1395457 /* e 784 */, 2834 /* e 788 */, 4335 /* e 792 */, 9056 /* e 796 */,
1405568 /* e 800 */, 5267 /* e 804 */, 8337 /* e 808 */, 6883 /* e 812 */,
1419908 /* e 816 */,  444 /* e 820 */, 1095 /* e 824 */, 7470 /* e 828 */,
1424558 /* e 832 */,  792 /* e 836 */, 1277 /* e 840 */, 6737 /* e 844 */,
143343 /* e 848 */, 2750 /* e 852 */, 3762 /* e 856 */,  650 /* e 860 */,
144414 /* e 864 */, 3225 /* e 868 */, 8399 /* e 872 */, 1172 /* e 876 */,
1452095 /* e 880 */, 9257 /* e 884 */,  155 /* e 888 */, 7947 /* e 892 */,
1464019 /* e 896 */, 8262 /* e 900 */, 8884 /* e 904 */, 4805 /* e 908 */,
147804 /* e 912 */, 6865 /* e 916 */, 6444 /* e 920 */, 7634 /* e 924 */,
1485510 /* e 928 */, 9276 /* e 932 */, 3026 /* e 936 */, 2890 /* e 940 */,
1491740 /* e 944 */, 4598 /* e 948 */,  876 /* e 952 */, 6495 /* e 956 */,
1509809 /* e 960 */, 5124 /* e 964 */, 9045 /* e 968 */, 4780 /* e 972 */,
1513921 /* e 976 */, 1908 /* e 980 */, 9444 /* e 984 */, 8288 /* e 988 */,
1525399 /* e 992 */, 4190 /* e 996 */, 7715 /* e1000 */, 8448 /* e1004 */,
1538262 /* e1008 */, 3737 /* e1012 */,  189 /* e1016 */, 1432 /* e1020 */,
1548782 /* e1024 */,  333 /* e1028 */, 9267 /* e1032 */, 4005 /* e1036 */,
1557356 /* e1040 */, 6817 /* e1044 */, 2653 /* e1048 */,  279 /* e1052 */,
1561857 /* e1056 */, 5537 /* e1060 */,  770 /* e1064 */, 9149 /* e1068 */,
1579690 /* e1072 */, 6731 /* e1076 */, 8641 /* e1080 */, 9227 /* e1084 */,
1589892 /* e1088 */, 3172 /* e1092 */, 2918 /* e1096 */, 3972 /* e1100 */,
159769 /* e1104 */, 8383 /* e1108 */, 2504 /* e1112 */, 8460 /* e1116 */,
1607186 /* e1120 */, 6868 /* e1124 */, 2523 /* e1128 */, 9609 /* e1132 */,
1611086 /* e1136 */, 2971 /* e1140 */, 8518 /* e1144 */, 8812 /* e1148 */,
1625612 /* e1152 */, 5742 /* e1156 */, 6945 /* e1160 */, 4733 /* e1164 */,
1636582 /* e1168 */, 3498 /* e1172 */, 3739 /* e1176 */, 7285 /* e1180 */,
1644295 /* e1184 */, 5501 /* e1188 */, 5786 /* e1192 */, 3421 /* e1196 */,
1651777 /* e1200 */, 9934 /* e1204 */, 4257 /* e1208 */, 3275 /* e1212 */,
1661322 /* e1216 */, 9557 /* e1220 */, 1782 /* e1224 */, 4993 /* e1228 */,
1677791 /* e1232 */, 5640 /* e1236 */, 5829 /* e1240 */, 2443 /* e1244 */,
1683988 /* e1248 */, 4397 /* e1252 */, 3967 /* e1256 */, 8901 /* e1260 */,
1699844 /* e1264 */, 6386 /* e1268 */, 7574 /* e1272 */,  179 /* e1276 */,
1707510 /* e1280 */, 5049 /* e1284 */, 9032 /* e1288 */, 8938 /* e1292 */,
1718393 /* e1296 */, 1003 /* e1300 */, 5702 /* e1304 */, 5963 /* e1308 */,
1723529 /* e1312 */, 8085 /* e1316 */, 8909 /* e1320 */, 6024 /* e1324 */,
1736444 /* e1328 */,  459 /* e1332 */, 4446 /* e1336 */, 3542 /* e1340 */,
1747126 /* e1344 */, 5155 /* e1348 */, 3442 /* e1352 */, 2662 /* e1356 */,
1758849 /* e1360 */, 7529 /* e1364 */, 9165 /* e1368 */, 1946 /* e1372 */,
1766635 /* e1376 */, 3834 /* e1380 */, 2955 /* e1384 */, 9001 /* e1388 */,
1778220 /* e1392 */, 7653 /* e1396 */, 1052 /* e1400 */, 2996 /* e1404 */,
1789979 /* e1408 */, 2554 /* e1412 */, 6959 /* e1416 */, 5987 /* e1420 */,
1792314 /* e1424 */, 8546 /* e1428 */, 4464 /* e1432 */, 3568 /* e1436 */,
1808876 /* e1440 */, 5881 /* e1444 */, 9387 /* e1448 */, 8672 /* e1452 */,
1815278 /* e1456 */, 4624 /* e1460 */, 3806 /* e1464 */, 2517 /* e1468 */,
1823995 /* e1472 */,  173 /* e1476 */,  592 /* e1480 */, 6610 /* e1484 */,
1839979 /* e1488 */,  116 /* e1492 */, 6562 /* e1496 */, 5559 /* e1500 */,
184995 /* e1504 */, 2674 /* e1508 */, 6406 /* e1512 */, 7181 /* e1516 */,
1855094 /* e1520 */, 6250 /* e1524 */, 8883 /* e1528 */, 4966 /* e1532 */,
1866648 /* e1536 */, 6884 /* e1540 */, 8622 /* e1544 */, 9707 /* e1548 */,
1872176 /* e1552 */, 1069 /* e1556 */, 9678 /* e1560 */, 1455 /* e1564 */,
1885845 /* e1568 */, 8374 /* e1572 */, 3135 /* e1576 */, 2056 /* e1580 */,
1894385 /* e1584 */, 1846 /* e1588 */, 4311 /* e1592 */, 2996 /* e1596 */,
1905603 /* e1600 */, 6731 /* e1604 */, 7765 /* e1608 */, 4676 /* e1612 */,
1914027 /* e1616 */, 7361 /* e1620 */, 1638 /* e1624 */, 3266 /* e1628 */,
1928085 /* e1632 */, 3520 /* e1636 */, 6226 /* e1640 */, 2460 /* e1644 */,
1939387 /* e1648 */, 2922 /* e1652 */, 2169 /* e1656 */, 6089 /* e1660 */,
194955 /* e1664 */, 7994 /* e1668 */, 4442 /* e1672 */, 1216 /* e1676 */,
1958278 /* e1680 */, 9940 /* e1684 */, 3034 /* e1688 */, 2517 /* e1692 */,
196
197/* 2**8448 =  */
1984656 /* e   0 */, 2669 /* e   4 */, 9932 /* e   8 */, 2390 /* e  12 */,
1999824 /* e  16 */,   43 /* e  20 */, 3424 /* e  24 */, 8511 /* e  28 */,
2008683 /* e  32 */, 6362 /* e  36 */,  677 /* e  40 */, 3842 /* e  44 */,
2014639 /* e  48 */, 6158 /* e  52 */, 5180 /* e  56 */, 5906 /* e  60 */,
2029066 /* e  64 */, 3581 /* e  68 */, 5801 /* e  72 */,  593 /* e  76 */,
2034337 /* e  80 */, 2060 /* e  84 */, 2389 /* e  88 */, 4690 /* e  92 */,
2043040 /* e  96 */, 7127 /* e 100 */, 3946 /* e 104 */, 4248 /* e 108 */,
2057964 /* e 112 */, 8210 /* e 116 */, 9001 /* e 120 */, 3997 /* e 124 */,
2068886 /* e 128 */, 9528 /* e 132 */, 9522 /* e 136 */, 1864 /* e 140 */,
2072924 /* e 144 */, 8867 /* e 148 */, 3786 /* e 152 */, 7284 /* e 156 */,
2088608 /* e 160 */, 3267 /* e 164 */, 1704 /* e 168 */, 3605 /* e 172 */,
2091254 /* e 176 */, 4423 /* e 180 */, 9188 /* e 184 */, 2956 /* e 188 */,
2109472 /* e 192 */, 6269 /* e 196 */, 8946 /* e 200 */,  307 /* e 204 */,
2115965 /* e 208 */, 7958 /* e 212 */, 5281 /* e 216 */, 2324 /* e 220 */,
2122430 /* e 224 */, 6162 /* e 228 */,  838 /* e 232 */,  721 /* e 236 */,
2138332 /* e 240 */, 2256 /* e 244 */, 8237 /* e 248 */, 2129 /* e 252 */,
2148923 /* e 256 */, 5855 /* e 260 */, 4690 /* e 264 */, 4197 /* e 268 */,
2151285 /* e 272 */, 3935 /* e 276 */, 1677 /* e 280 */,  593 /* e 284 */,
2162784 /* e 288 */, 4404 /* e 292 */, 1923 /* e 296 */, 3153 /* e 300 */,
2174041 /* e 304 */, 6730 /* e 308 */, 4324 /* e 312 */, 1448 /* e 316 */,
2188765 /* e 320 */, 5011 /* e 324 */, 5843 /* e 328 */, 3719 /* e 332 */,
2193511 /* e 336 */,  907 /* e 340 */,   77 /* e 344 */, 6985 /* e 348 */,
2207914 /* e 352 */, 2608 /* e 356 */, 7706 /* e 360 */, 8280 /* e 364 */,
2215478 /* e 368 */, 4621 /* e 372 */, 8641 /* e 376 */, 1422 /* e 380 */,
222811 /* e 384 */, 7224 /* e 388 */, 7779 /* e 392 */, 2977 /* e 396 */,
2236910 /* e 400 */, 2156 /* e 404 */, 3040 /* e 408 */, 7135 /* e 412 */,
2246829 /* e 416 */, 9088 /* e 420 */, 6414 /* e 424 */,  718 /* e 428 */,
2253667 /* e 432 */,  448 /* e 436 */, 6457 /* e 440 */, 2629 /* e 444 */,
2265804 /* e 448 */, 7761 /* e 452 */,  603 /* e 456 */,  558 /* e 460 */,
227795 /* e 464 */, 3780 /* e 468 */, 3145 /* e 472 */, 7411 /* e 476 */,
2283418 /* e 480 */, 3228 /* e 484 */, 4748 /* e 488 */, 1389 /* e 492 */,
2298477 /* e 496 */, 4826 /* e 500 */, 2662 /* e 504 */, 7173 /* e 508 */,
2301885 /* e 512 */, 2180 /* e 516 */, 2743 /* e 520 */,  114 /* e 524 */,
231345 /* e 528 */, 9148 /* e 532 */, 7561 /* e 536 */, 5568 /* e 540 */,
2325620 /* e 544 */, 9452 /* e 548 */, 7083 /* e 552 */, 5760 /* e 556 */,
2334775 /* e 560 */, 9925 /* e 564 */, 3920 /* e 568 */, 6905 /* e 572 */,
2344528 /* e 576 */, 5203 /* e 580 */, 7786 /* e 584 */, 8657 /* e 588 */,
2359393 /* e 592 */, 9878 /* e 596 */, 9882 /* e 600 */, 7478 /* e 604 */,
2369992 /* e 608 */, 9893 /* e 612 */, 6647 /* e 616 */, 2798 /* e 620 */,
2375248 /* e 624 */, 7764 /* e 628 */, 5470 /* e 632 */, 5912 /* e 636 */,
238154 /* e 640 */, 6571 /* e 644 */, 5188 /* e 648 */, 6804 /* e 652 */,
2392756 /* e 656 */, 4641 /* e 660 */,  665 /* e 664 */, 9112 /* e 668 */,
2401589 /* e 672 */, 7254 /* e 676 */, 5073 /* e 680 */, 7980 /* e 684 */,
2416429 /* e 688 */, 1797 /* e 692 */, 4016 /* e 696 */, 9710 /* e 700 */,
2425434 /* e 704 */, 4862 /* e 708 */, 9245 /* e 712 */, 7417 /* e 716 */,
2439679 /* e 720 */, 4331 /* e 724 */, 5156 /* e 728 */, 7899 /* e 732 */,
2441325 /* e 736 */, 6037 /* e 740 */, 9925 /* e 744 */, 7256 /* e 748 */,
2451717 /* e 752 */, 3608 /* e 756 */, 2632 /* e 760 */,  284 /* e 764 */,
2464103 /* e 768 */, 2533 /* e 772 */, 8261 /* e 776 */, 1802 /* e 780 */,
2474436 /* e 784 */, 7453 /* e 788 */, 4596 /* e 792 */, 4683 /* e 796 */,
248786 /* e 800 */, 1878 /* e 804 */, 5042 /* e 808 */, 2290 /* e 812 */,
2491379 /* e 816 */, 4479 /* e 820 */, 6532 /* e 824 */, 8482 /* e 828 */,
2507856 /* e 832 */, 2267 /* e 836 */, 3951 /* e 840 */, 4081 /* e 844 */,
2513193 /* e 848 */, 8290 /* e 852 */,  774 /* e 856 */, 4268 /* e 860 */,
2525242 /* e 864 */, 2599 /* e 868 */, 3255 /* e 872 */, 1314 /* e 876 */,
2536430 /* e 880 */, 5054 /* e 884 */, 8898 /* e 888 */, 4791 /* e 892 */,
2541615 /* e 896 */, 9619 /* e 900 */, 8447 /* e 904 */,  521 /* e 908 */,
2556843 /* e 912 */, 9891 /* e 916 */, 2939 /* e 920 */, 3750 /* e 924 */,
2568509 /* e 928 */, 8842 /* e 932 */, 4672 /* e 936 */, 2290 /* e 940 */,
2575080 /* e 944 */, 3861 /* e 948 */, 4388 /* e 952 */, 1414 /* e 956 */,
2584301 /* e 960 */, 2328 /* e 964 */,  926 /* e 968 */, 4674 /* e 972 */,
2593679 /* e 976 */, 6446 /* e 980 */, 9940 /* e 984 */, 6160 /* e 988 */,
260530 /* e 992 */, 9640 /* e 996 */, 3522 /* e1000 */,  944 /* e1004 */,
2611213 /* e1008 */, 6021 /* e1012 */, 5317 /* e1016 */, 7192 /* e1020 */,
2627274 /* e1024 */,  890 /* e1028 */, 5669 /* e1032 */,  512 /* e1036 */,
2634048 /* e1040 */, 2871 /* e1044 */, 4428 /* e1048 */, 9476 /* e1052 */,
2646021 /* e1056 */, 6085 /* e1060 */,  539 /* e1064 */, 6573 /* e1068 */,
2657856 /* e1072 */, 8842 /* e1076 */, 8828 /* e1080 */, 5980 /* e1084 */,
2667224 /* e1088 */, 4124 /* e1092 */, 9108 /* e1096 */, 2108 /* e1100 */,
2677508 /* e1104 */, 4850 /* e1108 */, 5162 /* e1112 */, 8152 /* e1116 */,
2682953 /* e1120 */,  243 /* e1124 */, 4721 /* e1128 */, 2207 /* e1132 */,
2696437 /* e1136 */, 5462 /* e1140 */, 3197 /* e1144 */, 9243 /* e1148 */,
2708599 /* e1152 */, 9732 /* e1156 */,  216 /* e1160 */, 3798 /* e1164 */,
2713911 /* e1168 */, 8635 /* e1172 */, 7322 /* e1176 */, 4840 /* e1180 */,
2727688 /* e1184 */, 3938 /* e1188 */,  359 /* e1192 */, 8143 /* e1196 */,
2734810 /* e1200 */, 5268 /* e1204 */, 5052 /* e1208 */,  574 /* e1212 */,
2743775 /* e1216 */, 8812 /* e1220 */, 1266 /* e1224 */, 2057 /* e1228 */,
2759649 /* e1232 */, 2634 /* e1236 */, 3673 /* e1240 */, 8430 /* e1244 */,
276382 /* e1248 */, 2237 /* e1252 */, 9016 /* e1256 */, 3445 /* e1260 */,
2775542 /* e1264 */, 1887 /* e1268 */, 1575 /* e1272 */, 3539 /* e1276 */,
2787479 /* e1280 */, 9343 /* e1284 */, 8870 /* e1288 */, 1150 /* e1292 */,
2799608 /* e1296 */, 8798 /* e1300 */, 3666 /* e1304 */, 7739 /* e1308 */,
280808 /* e1312 */, 4141 /* e1316 */, 8437 /* e1320 */, 3406 /* e1324 */,
2815638 /* e1328 */, 7163 /* e1332 */, 3733 /* e1336 */,  705 /* e1340 */,
2824421 /* e1344 */, 6488 /* e1348 */, 8720 /* e1352 */,  572 /* e1356 */,
2832917 /* e1360 */, 2066 /* e1364 */, 7078 /* e1368 */, 5215 /* e1372 */,
2846206 /* e1376 */, 5031 /* e1380 */, 4033 /* e1384 */,   67 /* e1388 */,
2859730 /* e1392 */, 3515 /* e1396 */, 9128 /* e1400 */, 1106 /* e1404 */,
2869298 /* e1408 */, 2861 /* e1412 */, 2249 /* e1416 */,  809 /* e1420 */,
2878870 /* e1424 */, 2384 /* e1428 */, 3349 /* e1432 */, 1056 /* e1436 */,
2885988 /* e1440 */, 5562 /* e1444 */, 3981 /* e1448 */, 1532 /* e1452 */,
2893835 /* e1456 */, 4555 /* e1460 */, 2878 /* e1464 */, 3066 /* e1468 */,
2908924 /* e1472 */,  898 /* e1476 */,  295 /* e1480 */, 8513 /* e1484 */,
2911595 /* e1488 */,  900 /* e1492 */, 6810 /* e1496 */, 1625 /* e1500 */,
2927669 /* e1504 */, 3462 /* e1508 */, 6294 /* e1512 */, 8487 /* e1516 */,
2931178 /* e1520 */, 7383 /* e1524 */, 9846 /* e1528 */, 2257 /* e1532 */,
2949401 /* e1536 */, 5224 /* e1540 */, 2503 /* e1544 */, 9447 /* e1548 */,
2954289 /* e1552 */, 2180 /* e1556 */, 6595 /* e1560 */, 5480 /* e1564 */,
2962303 /* e1568 */, 6381 /* e1572 */, 5283 /* e1576 */, 9261 /* e1580 */,
2978554 /* e1584 */, 9674 /* e1588 */, 3371 /* e1592 */, 1706 /* e1596 */,
2985981 /* e1600 */, 2503 /* e1604 */, 9640 /* e1608 */,  245 /* e1612 */,
2994860 /* e1616 */, 5142 /* e1620 */, 1798 /* e1624 */, 2481 /* e1628 */,
3004200 /* e1632 */, 6164 /* e1636 */, 1751 /* e1640 */,  516 /* e1644 */,
3016555 /* e1648 */, 6568 /* e1652 */, 7851 /* e1656 */, 4902 /* e1660 */,
3025849 /* e1664 */, 8975 /* e1668 */, 2643 /* e1672 */, 8963 /* e1676 */,
3033921 /* e1680 */, 9839 /* e1684 */, 2902 /* e1688 */, 9260 /* e1692 */,
3048495 /* e1696 */, 5479 /* e1700 */, 9038 /* e1704 */,  692 /* e1708 */,
3052687 /* e1712 */, 1111 /* e1716 */, 1562 /* e1720 */, 2918 /* e1724 */,
3069797 /* e1728 */, 3614 /* e1732 */, 1477 /* e1736 */, 7338 /* e1740 */,
3078747 /* e1744 */,  559 /* e1748 */, 4769 /* e1752 */, 7394 /* e1756 */,
3084672 /* e1760 */, 5692 /* e1764 */, 5384 /* e1768 */, 8194 /* e1772 */,
3099631 /* e1776 */, 8149 /* e1780 */,  777 /* e1784 */, 5180 /* e1788 */,
3109799 /* e1792 */, 2011 /* e1796 */,  628 /* e1800 */, 2428 /* e1804 */,
3113855 /* e1808 */, 5696 /* e1812 */, 3294 /* e1816 */, 9277 /* e1820 */,
312997 /* e1824 */,  265 /* e1828 */, 6726 /* e1832 */, 9214 /* e1836 */,
3137785 /* e1840 */, 3984 /* e1844 */, 3669 /* e1848 */, 6610 /* e1852 */,
3143434 /* e1856 */, 4535 /* e1860 */, 8015 /* e1864 */, 4583 /* e1868 */,
3158513 /* e1872 */,  756 /* e1876 */,  965 /* e1880 */, 8021 /* e1884 */,
3164493 /* e1888 */, 1591 /* e1892 */, 9871 /* e1896 */,   65 /* e1900 */,
3175407 /* e1904 */, 8456 /* e1908 */, 3127 /* e1912 */,  781 /* e1916 */,
3185133 /* e1920 */, 6371 /* e1924 */, 5349 /* e1928 */, 3341 /* e1932 */,
3195890 /* e1936 */, 9120 /* e1940 */, 9089 /* e1944 */, 6656 /* e1948 */,
3208160 /* e1952 */, 8636 /* e1956 */, 2317 /* e1960 */, 3531 /* e1964 */,
3215940 /* e1968 */, 7242 /* e1972 */, 8974 /* e1976 */, 9626 /* e1980 */,
3225756 /* e1984 */, 5218 /* e1988 */, 1148 /* e1992 */, 3382 /* e1996 */,
3232785 /* e2000 */, 5106 /* e2004 */, 7385 /* e2008 */, 5796 /* e2012 */,
3241694 /* e2016 */, 4909 /* e2020 */, 6728 /* e2024 */, 3590 /* e2028 */,
3252003 /* e2032 */, 4482 /* e2036 */, 4543 /* e2040 */, 3485 /* e2044 */,
3267653 /* e2048 */,  708 /* e2052 */, 5759 /* e2056 */, 3137 /* e2060 */,
3277344 /* e2064 */,  840 /* e2068 */, 4021 /* e2072 */,  574 /* e2076 */,
3282634 /* e2080 */, 4125 /* e2084 */, 9290 /* e2088 */, 8361 /* e2092 */,
3295551 /* e2096 */, 2631 /* e2100 */, 3788 /* e2104 */, 2663 /* e2108 */,
3309056 /* e2112 */, 7092 /* e2116 */, 2151 /* e2120 */, 1648 /* e2124 */,
3311035 /* e2128 */, 2486 /* e2132 */, 9651 /* e2136 */,   74 /* e2140 */,
3324733 /* e2144 */, 6755 /* e2148 */, 2620 /* e2152 */, 2149 /* e2156 */,
3336173 /* e2160 */, 8939 /* e2164 */, 6174 /* e2168 */, 1089 /* e2172 */,
3347479 /* e2176 */, 6954 /* e2180 */, 7814 /* e2184 */, 8763 /* e2188 */,
3351597 /* e2192 */, 7911 /* e2196 */, 8582 /* e2200 */, 2761 /* e2204 */,
3362549 /* e2208 */, 8174 /* e2212 */, 4981 /* e2216 */,  733 /* e2220 */,
3377759 /* e2224 */, 7663 /* e2228 */, 2362 /* e2232 */, 2722 /* e2236 */,
3386846 /* e2240 */, 8283 /* e2244 */, 8542 /* e2248 */, 1175 /* e2252 */,
3394748 /* e2256 */, 6016 /* e2260 */, 9819 /* e2264 */, 7846 /* e2268 */,
3401907 /* e2272 */, 6233 /* e2276 */,  993 /* e2280 */, 8212 /* e2284 */,
3413651 /* e2288 */, 9192 /* e2292 */, 2572 /* e2296 */, 5541 /* e2300 */,
3425864 /* e2304 */, 6448 /* e2308 */,  352 /* e2312 */, 7842 /* e2316 */,
3439417 /* e2320 */,  644 /* e2324 */, 6651 /* e2328 */, 9831 /* e2332 */,
344443 /* e2336 */, 7438 /* e2340 */, 1652 /* e2344 */, 9135 /* e2348 */,
3455848 /* e2352 */, 8723 /* e2356 */, 4647 /* e2360 */, 7898 /* e2364 */,
3462757 /* e2368 */, 4168 /* e2372 */,  443 /* e2376 */, 9783 /* e2380 */,
3477214 /* e2384 */, 7738 /* e2388 */, 9369 /* e2392 */, 6824 /* e2396 */,
348829 /* e2400 */, 1638 /* e2404 */, 8128 /* e2408 */, 4131 /* e2412 */,
3497873 /* e2416 */, 9965 /* e2420 */,  862 /* e2424 */, 3790 /* e2428 */,
3504783 /* e2432 */, 1057 /* e2436 */, 8500 /* e2440 */, 7927 /* e2444 */,
3513204 /* e2448 */, 7359 /* e2452 */, 3439 /* e2456 */, 7717 /* e2460 */,
3528715 /* e2464 */, 7686 /* e2468 */, 3960 /* e2472 */, 4546 /* e2476 */,
3535531 /* e2480 */, 1549 /* e2484 */, 3019 /* e2488 */, 7261 /* e2492 */,
3544138 /* e2496 */, 6857 /* e2500 */, 4811 /* e2504 */, 1690 /* e2508 */,
3557506 /* e2512 */, 6125 /* e2516 */, 2948 /* e2520 */, 7714 /* e2524 */,
356796 /* e2528 */, 5455 /* e2532 */,    0 /* e2536 */, 1263 /* e2540 */,
357
358/* 2**11264 =  */
3593616 /* e   0 */, 5278 /* e   4 */,  374 /* e   8 */, 4862 /* e  12 */,
3608174 /* e  16 */, 7061 /* e  20 */, 5924 /* e  24 */, 9687 /* e  28 */,
361769 /* e  32 */, 4432 /* e  36 */, 2214 /* e  40 */, 9952 /* e  44 */,
3625948 /* e  48 */, 6813 /* e  52 */, 7681 /* e  56 */,  398 /* e  60 */,
3635020 /* e  64 */, 1044 /* e  68 */, 8504 /* e  72 */, 3735 /* e  76 */,
3646243 /* e  80 */, 4312 /* e  84 */, 4653 /* e  88 */, 3935 /* e  92 */,
3658412 /* e  96 */, 7005 /* e 100 */, 5688 /* e 104 */, 8730 /* e 108 */,
3663166 /* e 112 */, 7938 /* e 116 */, 7297 /* e 120 */, 2952 /* e 124 */,
3671453 /* e 128 */, 9740 /* e 132 */, 4993 /* e 136 */, 9757 /* e 140 */,
3685368 /* e 144 */, 9157 /* e 148 */, 6363 /* e 152 */, 5847 /* e 156 */,
369526 /* e 160 */, 5977 /* e 164 */, 3799 /* e 168 */, 4804 /* e 172 */,
3706555 /* e 176 */, 9926 /* e 180 */,  723 /* e 184 */, 5082 /* e 188 */,
3718812 /* e 192 */, 4041 /* e 196 */, 8715 /* e 200 */, 8931 /* e 204 */,
3722552 /* e 208 */, 2728 /* e 212 */, 4521 /* e 216 */, 1826 /* e 220 */,
3731129 /* e 224 */, 3813 /* e 228 */, 3521 /* e 232 */, 4028 /* e 236 */,
3741667 /* e 240 */, 1240 /* e 244 */, 6022 /* e 248 */,  803 /* e 252 */,
3757337 /* e 256 */, 9739 /* e 260 */, 4082 /* e 264 */, 1457 /* e 268 */,
3763591 /* e 272 */, 7902 /* e 276 */, 9939 /* e 280 */, 1989 /* e 284 */,
3777749 /* e 288 */, 2356 /* e 292 */, 7593 /* e 296 */, 8861 /* e 300 */,
3781962 /* e 304 */,  378 /* e 308 */, 8141 /* e 312 */, 3729 /* e 316 */,
3792073 /* e 320 */, 5994 /* e 324 */, 5221 /* e 328 */, 2669 /* e 332 */,
3806276 /* e 336 */, 6725 /* e 340 */, 5053 /* e 344 */, 4818 /* e 348 */,
3815469 /* e 352 */, 1294 /* e 356 */, 5550 /* e 360 */, 4535 /* e 364 */,
3825655 /* e 368 */, 2314 /* e 372 */,  493 /* e 376 */, 8172 /* e 380 */,
3839610 /* e 384 */, 1205 /* e 388 */, 3029 /* e 392 */,  885 /* e 396 */,
3848229 /* e 400 */,  122 /* e 404 */, 3468 /* e 408 */, 6124 /* e 412 */,
3852293 /* e 416 */,   80 /* e 420 */, 8333 /* e 424 */, 9804 /* e 428 */,
3864983 /* e 432 */, 2864 /* e 436 */,   45 /* e 440 */, 4164 /* e 444 */,
3873536 /* e 448 */, 2107 /* e 452 */, 7267 /* e 456 */, 6818 /* e 460 */,
388701 /* e 464 */, 8481 /* e 468 */, 1127 /* e 472 */, 6500 /* e 476 */,
3891905 /* e 480 */, 1183 /* e 484 */, 8300 /* e 488 */, 3277 /* e 492 */,
3901612 /* e 496 */, 1145 /* e 500 */, 9095 /* e 504 */, 2498 /* e 508 */,
3917613 /* e 512 */, 6386 /* e 516 */, 1170 /* e 520 */, 6064 /* e 524 */,
3927645 /* e 528 */, 3592 /* e 532 */, 8011 /* e 536 */, 1914 /* e 540 */,
3939722 /* e 544 */, 4893 /* e 548 */, 8910 /* e 552 */, 6344 /* e 556 */,
3944205 /* e 560 */, 1140 /* e 564 */, 7421 /* e 568 */, 8981 /* e 572 */,
3959880 /* e 576 */, 5385 /* e 580 */, 5238 /* e 584 */, 1431 /* e 588 */,
3962390 /* e 592 */, 7183 /* e 596 */, 7211 /* e 600 */, 6577 /* e 604 */,
3972569 /* e 608 */, 6593 /* e 612 */, 2076 /* e 616 */, 6553 /* e 620 */,
3983980 /* e 624 */, 6304 /* e 628 */, 6281 /* e 632 */, 1650 /* e 636 */,
3992201 /* e 640 */, 5089 /* e 644 */, 3428 /* e 648 */, 5484 /* e 652 */,
4006856 /* e 656 */, 5748 /* e 660 */, 6658 /* e 664 */, 3774 /* e 668 */,
4018214 /* e 672 */, 9763 /* e 676 */,  140 /* e 680 */,  783 /* e 684 */,
4021426 /* e 688 */, 6028 /* e 692 */, 8496 /* e 696 */, 8007 /* e 700 */,
4033368 /* e 704 */, 7101 /* e 708 */, 3158 /* e 712 */, 8383 /* e 716 */,
4048982 /* e 720 */,  848 /* e 724 */, 4808 /* e 728 */, 9359 /* e 732 */,
4056399 /* e 736 */, 5178 /* e 740 */, 8583 /* e 744 */, 7570 /* e 748 */,
4061002 /* e 752 */, 4305 /* e 756 */, 5816 /* e 760 */, 2085 /* e 764 */,
4076380 /* e 768 */,  570 /* e 772 */, 8472 /* e 776 */, 9153 /* e 780 */,
4089114 /* e 784 */, 8603 /* e 788 */, 8300 /* e 792 */, 9148 /* e 796 */,
4092307 /* e 800 */, 5724 /* e 804 */, 3482 /* e 808 */,  319 /* e 812 */,
4102977 /* e 816 */, 5622 /* e 820 */, 3764 /* e 824 */, 4275 /* e 828 */,
4116799 /* e 832 */, 4018 /* e 836 */, 1492 /* e 840 */, 5466 /* e 844 */,
4129197 /* e 848 */, 6929 /* e 852 */,  682 /* e 856 */, 6754 /* e 860 */,
413430 /* e 864 */, 3946 /* e 868 */, 9005 /* e 872 */, 6430 /* e 876 */,
4148643 /* e 880 */, 3528 /* e 884 */, 8275 /* e 888 */, 4999 /* e 892 */,
4159462 /* e 896 */, 3431 /* e 900 */, 6593 /* e 904 */, 1068 /* e 908 */,
4162555 /* e 912 */, 6967 /* e 916 */, 1612 /* e 920 */,  333 /* e 924 */,
4173215 /* e 928 */, 7738 /* e 932 */, 9794 /* e 936 */, 2967 /* e 940 */,
418489 /* e 944 */, 5634 /* e 948 */, 2338 /* e 952 */, 3890 /* e 956 */,
4197159 /* e 960 */, 4442 /* e 964 */, 3736 /* e 968 */, 8494 /* e 972 */,
4203196 /* e 976 */, 4537 /* e 980 */, 5116 /* e 984 */, 7801 /* e 988 */,
4211909 /* e 992 */, 5361 /* e 996 */, 3392 /* e1000 */, 5022 /* e1004 */,
4221892 /* e1008 */, 2038 /* e1012 */, 9447 /* e1016 */, 1303 /* e1020 */,
4232298 /* e1024 */, 2621 /* e1028 */, 6128 /* e1032 */, 4267 /* e1036 */,
4241065 /* e1040 */, 5799 /* e1044 */, 5948 /* e1048 */,   69 /* e1052 */,
4252071 /* e1056 */, 8544 /* e1060 */, 7829 /* e1064 */, 9379 /* e1068 */,
4269222 /* e1072 */, 2278 /* e1076 */, 5272 /* e1080 */, 6052 /* e1084 */,
4275439 /* e1088 */, 1468 /* e1092 */, 1722 /* e1096 */, 1455 /* e1100 */,
4287840 /* e1104 */,  420 /* e1108 */, 4975 /* e1112 */, 9147 /* e1116 */,
4298643 /* e1120 */, 6328 /* e1124 */,  569 /* e1128 */, 4371 /* e1132 */,
4303450 /* e1136 */, 8433 /* e1140 */, 5882 /* e1144 */, 5681 /* e1148 */,
4319249 /* e1152 */, 3155 /* e1156 */, 7083 /* e1160 */, 4825 /* e1164 */,
432812 /* e1168 */, 5038 /* e1172 */, 9719 /* e1176 */, 4742 /* e1180 */,
4337690 /* e1184 */, 2588 /* e1188 */, 2714 /* e1192 */, 9038 /* e1196 */,
4341329 /* e1200 */, 9546 /* e1204 */, 1549 /* e1208 */, 8053 /* e1212 */,
4357768 /* e1216 */, 6345 /* e1220 */, 7008 /* e1224 */, 9994 /* e1228 */,
4365355 /* e1232 */, 3329 /* e1236 */, 8982 /* e1240 */, 5734 /* e1244 */,
4376996 /* e1248 */, 2442 /* e1252 */, 7050 /* e1256 */, 1475 /* e1260 */,
4382904 /* e1264 */, 2894 /* e1268 */,  465 /* e1272 */, 4741 /* e1276 */,
4396045 /* e1280 */,  997 /* e1284 */, 7721 /* e1288 */, 7669 /* e1292 */,
4407451 /* e1296 */, 9732 /* e1300 */, 6143 /* e1304 */, 9700 /* e1308 */,
4414233 /* e1312 */,  100 /* e1316 */, 6470 /* e1320 */,  766 /* e1324 */,
4426232 /* e1328 */, 5795 /* e1332 */, 3759 /* e1336 */, 1138 /* e1340 */,
4439237 /* e1344 */, 9204 /* e1348 */, 1736 /* e1352 */, 7988 /* e1356 */,
4442298 /* e1360 */, 1918 /* e1364 */, 4120 /* e1368 */,  318 /* e1372 */,
4459033 /* e1376 */, 1529 /* e1380 */, 5661 /* e1384 */, 4727 /* e1388 */,
4468862 /* e1392 */, 2242 /* e1396 */, 5622 /* e1400 */,  903 /* e1404 */,
4471348 /* e1408 */, 2702 /* e1412 */, 4665 /* e1416 */, 6617 /* e1420 */,
4482446 /* e1424 */, 3759 /* e1428 */, 2106 /* e1432 */, 9307 /* e1436 */,
4497119 /* e1440 */, 6102 /* e1444 */, 5177 /* e1448 */, 9499 /* e1452 */,
4506720 /* e1456 */, 4619 /* e1460 */, 2069 /* e1464 */,  640 /* e1468 */,
4519911 /* e1472 */, 2684 /* e1476 */, 4415 /* e1480 */, 9184 /* e1484 */,
4529962 /* e1488 */, 3391 /* e1492 */, 3816 /* e1496 */, 4045 /* e1500 */,
453906 /* e1504 */, 6448 /* e1508 */, 7631 /* e1512 */, 5342 /* e1516 */,
4541229 /* e1520 */, 7706 /* e1524 */, 7692 /* e1528 */, 9611 /* e1532 */,
4555331 /* e1536 */, 3866 /* e1540 */, 6112 /* e1544 */, 3523 /* e1548 */,
4567501 /* e1552 */, 3939 /* e1556 */, 6631 /* e1560 */,  571 /* e1564 */,
4578474 /* e1568 */, 5954 /* e1572 */, 4794 /* e1576 */, 4458 /* e1580 */,
458489 /* e1584 */, 8279 /* e1588 */, 7533 /* e1592 */, 8289 /* e1596 */,
4598810 /* e1600 */, 9452 /* e1604 */, 2234 /* e1608 */, 3355 /* e1612 */,
4603511 /* e1616 */, 4850 /* e1620 */, 6426 /* e1624 */, 4140 /* e1628 */,
461208 /* e1632 */, 5879 /* e1636 */, 2402 /* e1640 */, 8415 /* e1644 */,
4621111 /* e1648 */, 3742 /* e1652 */, 2407 /* e1656 */, 5133 /* e1660 */,
4635632 /* e1664 */, 7598 /* e1668 */, 5458 /* e1672 */, 7986 /* e1676 */,
4648557 /* e1680 */, 9559 /* e1684 */, 7922 /* e1688 */, 1849 /* e1692 */,
4659855 /* e1696 */, 9368 /* e1700 */, 9789 /* e1704 */,  969 /* e1708 */,
4662531 /* e1712 */,  252 /* e1716 */, 9897 /* e1720 */, 1982 /* e1724 */,
4675264 /* e1728 */, 2722 /* e1732 */, 8164 /* e1736 */, 4662 /* e1740 */,
4682555 /* e1744 */, 2364 /* e1748 */, 1948 /* e1752 */, 3016 /* e1756 */,
4699099 /* e1760 */, 9049 /* e1764 */, 4005 /* e1768 */, 1897 /* e1772 */,
4707001 /* e1776 */, 6530 /* e1780 */, 5304 /* e1784 */, 2201 /* e1788 */,
4713507 /* e1792 */, 7924 /* e1796 */, 1625 /* e1800 */, 6995 /* e1804 */,
4723944 /* e1808 */, 6141 /* e1812 */, 7873 /* e1816 */, 6447 /* e1820 */,
4732463 /* e1824 */, 6195 /* e1828 */, 4202 /* e1832 */, 5452 /* e1836 */,
4749858 /* e1840 */, 3486 /* e1844 */, 1696 /* e1848 */, 5178 /* e1852 */,
4754226 /* e1856 */, 9350 /* e1860 */, 1763 /* e1864 */,  700 /* e1868 */,
4767866 /* e1872 */, 7570 /* e1876 */, 2440 /* e1880 */, 2680 /* e1884 */,
4772424 /* e1888 */, 8812 /* e1892 */, 7638 /* e1896 */, 3451 /* e1900 */,
4789910 /* e1904 */,  399 /* e1908 */, 1851 /* e1912 */, 7837 /* e1916 */,
4796545 /* e1920 */, 3110 /* e1924 */, 9905 /* e1928 */, 2505 /* e1932 */,
4804262 /* e1936 */, 5743 /* e1940 */, 5497 /* e1944 */, 7940 /* e1948 */,
4811911 /* e1952 */, 8520 /* e1956 */, 5898 /* e1960 */, 8609 /* e1964 */,
4825709 /* e1968 */, 8041 /* e1972 */, 2068 /* e1976 */, 9642 /* e1980 */,
4839272 /* e1984 */, 6509 /* e1988 */, 2174 /* e1992 */, 3310 /* e1996 */,
4849424 /* e2000 */, 8889 /* e2004 */, 8810 /* e2008 */, 5390 /* e2012 */,
4858121 /* e2016 */, 5985 /* e2020 */, 8406 /* e2024 */, 6740 /* e2028 */,
4869243 /* e2032 */, 9121 /* e2036 */, 1304 /* e2040 */, 3989 /* e2044 */,
4873430 /* e2048 */, 1073 /* e2052 */, 7465 /* e2056 */, 8236 /* e2060 */,
488279 /* e2064 */, 4155 /* e2068 */, 6736 /* e2072 */, 1732 /* e2076 */,
4892847 /* e2080 */,  956 /* e2084 */, 2667 /* e2088 */, 3426 /* e2092 */,
4904440 /* e2096 */, 4482 /* e2100 */, 4641 /* e2104 */, 3180 /* e2108 */,
4914842 /* e2112 */, 9823 /* e2116 */, 8270 /* e2120 */, 4858 /* e2124 */,
4922601 /* e2128 */, 9642 /* e2132 */, 7257 /* e2136 */, 3971 /* e2140 */,
4939192 /* e2144 */, 3839 /* e2148 */, 3812 /* e2152 */, 5945 /* e2156 */,
4941509 /* e2160 */, 7237 /* e2164 */, 2170 /* e2168 */,  295 /* e2172 */,
4952045 /* e2176 */, 8775 /* e2180 */,  485 /* e2184 */, 3263 /* e2188 */,
4963840 /* e2192 */, 7092 /* e2196 */, 8059 /* e2200 */, 2773 /* e2204 */,
4979532 /* e2208 */, 5680 /* e2212 */, 5612 /* e2216 */,  990 /* e2220 */,
4988254 /* e2224 */, 1620 /* e2228 */, 5307 /* e2232 */, 3284 /* e2236 */,
499517 /* e2240 */, 1869 /* e2244 */, 2268 /* e2248 */, 7030 /* e2252 */,
5005711 /* e2256 */, 5481 /* e2260 */, 6405 /* e2264 */, 2199 /* e2268 */,
5014230 /* e2272 */, 3727 /* e2276 */, 9408 /* e2280 */, 9099 /* e2284 */,
502630 /* e2288 */,  279 /* e2292 */, 7345 /* e2296 */, 7042 /* e2300 */,
5039483 /* e2304 */, 6052 /* e2308 */, 5056 /* e2312 */, 6649 /* e2316 */,
5046218 /* e2320 */, 6124 /* e2324 */, 5175 /* e2328 */,  434 /* e2332 */,
5051658 /* e2336 */, 5742 /* e2340 */, 4471 /* e2344 */, 4674 /* e2348 */,
5064671 /* e2352 */, 7413 /* e2356 */, 9831 /* e2360 */, 6381 /* e2364 */,
5076195 /* e2368 */, 7901 /* e2372 */, 9345 /* e2376 */, 5446 /* e2380 */,
5088008 /* e2384 */, 7848 /* e2388 */, 1708 /* e2392 */, 2394 /* e2396 */,
5099053 /* e2400 */, 1607 /* e2404 */, 7089 /* e2408 */, 7977 /* e2412 */,
5101620 /* e2416 */, 3493 /* e2420 */, 8434 /* e2424 */, 5005 /* e2428 */,
5113023 /* e2432 */, 9989 /* e2436 */, 9122 /* e2440 */, 4001 /* e2444 */,
512836 /* e2448 */, 8232 /* e2452 */, 9344 /* e2456 */, 8279 /* e2460 */,
5138242 /* e2464 */, 2768 /* e2468 */, 9504 /* e2472 */, 7478 /* e2476 */,
5141895 /* e2480 */, 3391 /* e2484 */, 8241 /* e2488 */, 6162 /* e2492 */,
5152510 /* e2496 */, 2178 /* e2500 */, 5254 /* e2504 */, 2609 /* e2508 */,
5169268 /* e2512 */, 6379 /* e2516 */, 9762 /* e2520 */, 6526 /* e2524 */,
5171820 /* e2528 */, 2554 /* e2532 */, 4616 /* e2536 */, 1757 /* e2540 */,
5181234 /* e2544 */, 8827 /* e2548 */, 1967 /* e2552 */, 4238 /* e2556 */,
5197838 /* e2560 */,  267 /* e2564 */, 6619 /* e2568 */, 8470 /* e2572 */,
5202140 /* e2576 */, 2105 /* e2580 */, 8388 /* e2584 */, 6184 /* e2588 */,
5219538 /* e2592 */, 8166 /* e2596 */, 6754 /* e2600 */, 7228 /* e2604 */,
5226218 /* e2608 */, 9022 /* e2612 */, 1098 /* e2616 */, 4999 /* e2620 */,
5234389 /* e2624 */,  592 /* e2628 */, 2674 /* e2632 */, 3075 /* e2636 */,
5247989 /* e2640 */, 5049 /* e2644 */, 1152 /* e2648 */, 5662 /* e2652 */,
5253796 /* e2656 */, 9398 /* e2660 */, 8698 /* e2664 */, 5785 /* e2668 */,
5262897 /* e2672 */,  867 /* e2676 */, 9126 /* e2680 */,  312 /* e2684 */,
5273650 /* e2688 */, 5419 /* e2692 */, 1498 /* e2696 */, 7181 /* e2700 */,
5281295 /* e2704 */, 2708 /* e2708 */, 1777 /* e2712 */, 2849 /* e2716 */,
5293763 /* e2720 */,  790 /* e2724 */,  494 /* e2728 */, 4131 /* e2732 */,
530455 /* e2736 */, 1946 /* e2740 */, 8112 /* e2744 */, 2686 /* e2748 */,
5315335 /* e2752 */, 3906 /* e2756 */, 6698 /* e2760 */, 9034 /* e2764 */,
5322818 /* e2768 */, 1791 /* e2772 */,  893 /* e2776 */, 6207 /* e2780 */,
5338300 /* e2784 */, 9589 /* e2788 */, 9771 /* e2792 */, 5393 /* e2796 */,
534666 /* e2800 */, 2426 /* e2804 */, 7715 /* e2808 */, 7924 /* e2812 */,
5354737 /* e2816 */, 3103 /* e2820 */, 4138 /* e2824 */, 5827 /* e2828 */,
5367152 /* e2832 */, 1535 /* e2836 */, 9177 /* e2840 */, 5627 /* e2844 */,
5371234 /* e2848 */, 8320 /* e2852 */, 7211 /* e2856 */, 2831 /* e2860 */,
5381537 /* e2864 */, 7485 /* e2868 */, 9471 /* e2872 */, 2588 /* e2876 */,
5391800 /* e2880 */, 3538 /* e2884 */, 6679 /* e2888 */, 8460 /* e2892 */,
5408385 /* e2896 */, 9974 /* e2900 */, 3327 /* e2904 */, 1678 /* e2908 */,
5419740 /* e2912 */, 5639 /* e2916 */, 2334 /* e2920 */, 7434 /* e2924 */,
5424131 /* e2928 */,  198 /* e2932 */, 8662 /* e2936 */, 1565 /* e2940 */,
5435672 /* e2944 */, 8578 /* e2948 */, 1134 /* e2952 */, 3205 /* e2956 */,
5443281 /* e2960 */,  186 /* e2964 */, 7431 /* e2968 */, 4124 /* e2972 */,
5455909 /* e2976 */,  259 /* e2980 */, 7340 /* e2984 */, 2500 /* e2988 */,
5466160 /* e2992 */, 5836 /* e2996 */, 1740 /* e3000 */, 4019 /* e3004 */,
5478584 /* e3008 */, 9621 /* e3012 */, 2371 /* e3016 */, 1801 /* e3020 */,
5485462 /* e3024 */, 3940 /* e3028 */, 5979 /* e3032 */, 2489 /* e3036 */,
5491315 /* e3040 */, 1092 /* e3044 */, 7423 /* e3048 */, 6368 /* e3052 */,
550408 /* e3056 */,  865 /* e3060 */, 8193 /* e3064 */, 7667 /* e3068 */,
5516293 /* e3072 */, 2615 /* e3076 */, 8779 /* e3080 */, 8650 /* e3084 */,
5528979 /* e3088 */, 2208 /* e3092 */,  450 /* e3096 */, 1076 /* e3100 */,
5538256 /* e3104 */, 2563 /* e3108 */, 2074 /* e3112 */, 1702 /* e3116 */,
5548031 /* e3120 */,  629 /* e3124 */, 6862 /* e3128 */, 3360 /* e3132 */,
5551338 /* e3136 */, 7458 /* e3140 */, 1247 /* e3144 */, 9953 /* e3148 */,
5569370 /* e3152 */, 2806 /* e3156 */, 1113 /* e3160 */, 5499 /* e3164 */,
5576988 /* e3168 */, 6223 /* e3172 */, 4620 /* e3176 */,  476 /* e3180 */,
5584514 /* e3184 */, 4972 /* e3188 */, 1709 /* e3192 */, 5556 /* e3196 */,
5597442 /* e3200 */, 6355 /* e3204 */, 1736 /* e3208 */, 8515 /* e3212 */,
5601608 /* e3216 */, 3601 /* e3220 */, 1155 /* e3224 */, 5710 /* e3228 */,
5611364 /* e3232 */, 4030 /* e3236 */, 9880 /* e3240 */, 5861 /* e3244 */,
5625494 /* e3248 */, 5733 /* e3252 */, 5565 /* e3256 */, 9057 /* e3260 */,
5634380 /* e3264 */, 6782 /* e3268 */, 2453 /* e3272 */, 3366 /* e3276 */,
5645903 /* e3280 */, 5174 /* e3284 */, 8090 /* e3288 */, 5914 /* e3292 */,
5652306 /* e3296 */, 4047 /* e3300 */, 4447 /* e3304 */, 3476 /* e3308 */,
5662127 /* e3312 */, 2154 /* e3316 */, 5173 /* e3320 */, 7675 /* e3324 */,
5675846 /* e3328 */, 5828 /* e3332 */, 5577 /* e3336 */,  371 /* e3340 */,
5682140 /* e3344 */, 4199 /* e3348 */, 9096 /* e3352 */, 1158 /* e3356 */,
5691394 /* e3360 */, 2347 /* e3364 */, 5280 /* e3368 */, 2889 /* e3372 */,
5703316 /* e3376 */, 9081 /* e3380 */, 6816 /* e3384 */,  633 /* e3388 */,
571
572/* 2**14080 =  */
5736176 /* e   0 */,   14 /* e   4 */, 3861 /* e   8 */, 7717 /* e  12 */,
5748184 /* e  16 */, 8495 /* e  20 */, 5733 /* e  24 */, 4458 /* e  28 */,
5751278 /* e  32 */, 9068 /* e  36 */, 7846 /* e  40 */, 7741 /* e  44 */,
5761748 /* e  48 */, 3386 /* e  52 */,  681 /* e  56 */, 1451 /* e  60 */,
5772929 /* e  64 */,  775 /* e  68 */,  948 /* e  72 */, 6392 /* e  76 */,
5787041 /* e  80 */, 8206 /* e  84 */, 9296 /* e  88 */, 2946 /* e  92 */,
5793132 /* e  96 */, 1302 /* e 100 */, 4632 /* e 104 */, 2236 /* e 108 */,
5806523 /* e 112 */, 9979 /* e 116 */, 1578 /* e 120 */, 7532 /* e 124 */,
5814326 /* e 128 */, 9049 /* e 132 */,  250 /* e 136 */, 4785 /* e 140 */,
5828626 /* e 144 */,  678 /* e 148 */, 2735 /* e 152 */, 3095 /* e 156 */,
5834359 /* e 160 */, 4319 /* e 164 */, 9393 /* e 168 */, 2408 /* e 172 */,
5847128 /* e 176 */, 3699 /* e 180 */,  847 /* e 184 */,  310 /* e 188 */,
5853402 /* e 192 */,  691 /* e 196 */, 8905 /* e 200 */, 3292 /* e 204 */,
5865748 /* e 208 */, 2141 /* e 212 */, 9499 /* e 216 */, 2654 /* e 220 */,
5879508 /* e 224 */, 2701 /* e 228 */, 4489 /* e 232 */, 8525 /* e 236 */,
5882733 /* e 240 */, 1595 /* e 244 */, 5940 /* e 248 */, 6571 /* e 252 */,
5899231 /* e 256 */,  464 /* e 260 */, 9866 /* e 264 */, 5666 /* e 268 */,
5904567 /* e 272 */, 4899 /* e 276 */, 6143 /* e 280 */, 2368 /* e 284 */,
5916942 /* e 288 */, 1766 /* e 292 */, 6238 /* e 296 */, 7427 /* e 300 */,
592722 /* e 304 */, 5729 /* e 308 */, 1104 /* e 312 */, 9421 /* e 316 */,
5936785 /* e 320 */, 4901 /* e 324 */, 2075 /* e 328 */, 1326 /* e 332 */,
594836 /* e 336 */, 1473 /* e 340 */,  978 /* e 344 */,  598 /* e 348 */,
5955382 /* e 352 */, 2954 /* e 356 */,  819 /* e 360 */,  226 /* e 364 */,
5966428 /* e 368 */, 2242 /* e 372 */,  845 /* e 376 */, 7043 /* e 380 */,
5978648 /* e 384 */, 9659 /* e 388 */,  547 /* e 392 */, 7528 /* e 396 */,
5985327 /* e 400 */, 5487 /* e 404 */, 7640 /* e 408 */, 5154 /* e 412 */,
5992551 /* e 416 */, 2877 /* e 420 */,  301 /* e 424 */, 2057 /* e 428 */,
6003362 /* e 432 */, 8750 /* e 436 */, 4135 /* e 440 */, 1662 /* e 444 */,
6019842 /* e 448 */, 9217 /* e 452 */, 2660 /* e 456 */, 8153 /* e 460 */,
6022055 /* e 464 */, 1316 /* e 468 */, 4712 /* e 472 */, 6353 /* e 476 */,
6035116 /* e 480 */, 2529 /* e 484 */, 3233 /* e 488 */, 4281 /* e 492 */,
6041829 /* e 496 */,   82 /* e 500 */, 9149 /* e 504 */, 5686 /* e 508 */,
6059872 /* e 512 */, 1079 /* e 516 */,  984 /* e 520 */,  867 /* e 524 */,
6063347 /* e 528 */, 1403 /* e 532 */, 8398 /* e 536 */, 9925 /* e 540 */,
6074012 /* e 544 */, 7803 /* e 548 */,  282 /* e 552 */, 4127 /* e 556 */,
608546 /* e 560 */, 9839 /* e 564 */, 8975 /* e 568 */, 1000 /* e 572 */,
6095183 /* e 576 */, 4415 /* e 580 */, 3928 /* e 584 */, 7934 /* e 588 */,
6104356 /* e 592 */, 1792 /* e 596 */, 1225 /* e 600 */, 7552 /* e 604 */,
6116405 /* e 608 */, 6462 /* e 612 */, 7824 /* e 616 */, 1631 /* e 620 */,
612370 /* e 624 */, 7948 /* e 628 */, 2974 /* e 632 */, 3268 /* e 636 */,
6132557 /* e 640 */, 3660 /* e 644 */, 6298 /* e 648 */, 6034 /* e 652 */,
6143212 /* e 656 */, 5390 /* e 660 */, 9950 /* e 664 */, 4798 /* e 668 */,
615533 /* e 672 */, 3434 /* e 676 */, 1154 /* e 680 */, 6351 /* e 684 */,
6163349 /* e 688 */, 8768 /* e 692 */, 8751 /* e 696 */, 9231 /* e 700 */,
6179926 /* e 704 */, 5076 /* e 708 */,  819 /* e 712 */, 1086 /* e 716 */,
6182204 /* e 720 */, 6542 /* e 724 */, 4887 /* e 728 */, 9428 /* e 732 */,
6197480 /* e 736 */, 7424 /* e 740 */, 4161 /* e 744 */, 6002 /* e 748 */,
6209683 /* e 752 */, 9330 /* e 756 */, 9820 /* e 760 */, 2223 /* e 764 */,
6215534 /* e 768 */,   73 /* e 772 */, 1196 /* e 776 */, 4395 /* e 780 */,
6228186 /* e 784 */, 2004 /* e 788 */, 1009 /* e 792 */, 1946 /* e 796 */,
6238984 /* e 800 */, 5464 /* e 804 */, 6321 /* e 808 */,  226 /* e 812 */,
6241460 /* e 816 */, 7630 /* e 820 */,  923 /* e 824 */, 2623 /* e 828 */,
625459 /* e 832 */, 6256 /* e 836 */,  806 /* e 840 */, 7363 /* e 844 */,
6264909 /* e 848 */, 6149 /* e 852 */, 9125 /* e 856 */, 4187 /* e 860 */,
6277428 /* e 864 */, 4368 /* e 868 */, 9402 /* e 872 */, 4220 /* e 876 */,
6284343 /* e 880 */, 6591 /* e 884 */, 3698 /* e 888 */, 4184 /* e 892 */,
6292347 /* e 896 */, 5795 /* e 900 */, 1315 /* e 904 */, 3411 /* e 908 */,
6303811 /* e 912 */,   78 /* e 916 */, 7269 /* e 920 */, 9256 /* e 924 */,
6318002 /* e 928 */,  483 /* e 932 */, 7013 /* e 936 */, 6053 /* e 940 */,
6321744 /* e 944 */, 9927 /* e 948 */, 1575 /* e 952 */, 6167 /* e 956 */,
6332256 /* e 960 */, 4116 /* e 964 */, 9526 /* e 968 */, 8434 /* e 972 */,
634779 /* e 976 */, 1148 /* e 980 */, 2850 /* e 984 */,  475 /* e 988 */,
6356639 /* e 992 */, 2940 /* e 996 */, 6508 /* e1000 */, 9263 /* e1004 */,
6368673 /* e1008 */, 1258 /* e1012 */, 9756 /* e1016 */,  267 /* e1020 */,
6378853 /* e1024 */, 6509 /* e1028 */, 4199 /* e1032 */, 1329 /* e1036 */,
6384289 /* e1040 */, 4346 /* e1044 */, 8512 /* e1048 */, 6695 /* e1052 */,
639826 /* e1056 */, 5332 /* e1060 */, 6516 /* e1064 */,    2 /* e1068 */,
6401170 /* e1072 */, 1873 /* e1076 */, 6094 /* e1080 */,  853 /* e1084 */,
6414229 /* e1088 */, 4752 /* e1092 */, 7504 /* e1096 */, 3574 /* e1100 */,
6421397 /* e1104 */, 8628 /* e1108 */, 8992 /* e1112 */, 9891 /* e1116 */,
6431912 /* e1120 */, 4957 /* e1124 */, 6627 /* e1128 */, 5224 /* e1132 */,
6449958 /* e1136 */, 9890 /* e1140 */, 9046 /* e1144 */, 3229 /* e1148 */,
6452143 /* e1152 */, 6295 /* e1156 */, 2332 /* e1160 */, 1627 /* e1164 */,
6465501 /* e1168 */, 6061 /* e1172 */, 5678 /* e1176 */, 5638 /* e1180 */,
6476330 /* e1184 */, 5671 /* e1188 */, 6741 /* e1192 */,  129 /* e1196 */,
6483281 /* e1200 */, 8783 /* e1204 */, 6456 /* e1208 */,  532 /* e1212 */,
64964 /* e1216 */, 5761 /* e1220 */, 9912 /* e1224 */, 4141 /* e1228 */,
6503649 /* e1232 */, 8756 /* e1236 */, 1743 /* e1240 */, 9494 /* e1244 */,
6515300 /* e1248 */, 2498 /* e1252 */, 3458 /* e1256 */, 4915 /* e1260 */,
6526356 /* e1264 */, 7716 /* e1268 */, 1217 /* e1272 */, 5340 /* e1276 */,
6536822 /* e1280 */, 6869 /* e1284 */, 1597 /* e1288 */, 2453 /* e1292 */,
6548189 /* e1296 */, 4908 /* e1300 */, 2370 /* e1304 */, 7455 /* e1308 */,
6551214 /* e1312 */, 2475 /* e1316 */, 9263 /* e1320 */, 1755 /* e1324 */,
6562902 /* e1328 */, 7549 /* e1332 */, 6262 /* e1336 */, 9380 /* e1340 */,
657627 /* e1344 */, 5445 /* e1348 */, 9325 /* e1352 */, 6391 /* e1356 */,
6588941 /* e1360 */, 5852 /* e1364 */, 4423 /* e1368 */, 4906 /* e1372 */,
6593339 /* e1376 */, 4762 /* e1380 */, 2472 /* e1384 */, 2268 /* e1388 */,
6604203 /* e1392 */, 7037 /* e1396 */,  458 /* e1400 */,  544 /* e1404 */,
661328 /* e1408 */, 8619 /* e1412 */, 7957 /* e1416 */,  912 /* e1420 */,
6623352 /* e1424 */, 9591 /* e1428 */, 2280 /* e1432 */, 8717 /* e1436 */,
6636109 /* e1440 */, 1506 /* e1444 */, 4219 /* e1448 */, 6575 /* e1452 */,
6645169 /* e1456 */, 1476 /* e1460 */, 1090 /* e1464 */, 6629 /* e1468 */,
665173 /* e1472 */, 7390 /* e1476 */,  440 /* e1480 */, 9841 /* e1484 */,
6664912 /* e1488 */, 2667 /* e1492 */, 7815 /* e1496 */, 8097 /* e1500 */,
6679982 /* e1504 */, 7618 /* e1508 */, 2454 /* e1512 */, 5155 /* e1516 */,
6689293 /* e1520 */,  851 /* e1524 */, 7501 /* e1528 */, 4453 /* e1532 */,
669712 /* e1536 */, 5888 /* e1540 */, 8686 /* e1544 */, 5161 /* e1548 */,
6709629 /* e1552 */, 1557 /* e1556 */, 9376 /* e1560 */, 3703 /* e1564 */,
6719600 /* e1568 */, 2760 /* e1572 */, 3399 /* e1576 */, 9990 /* e1580 */,
6726296 /* e1584 */, 4447 /* e1588 */, 7355 /* e1592 */, 3456 /* e1596 */,
673180 /* e1600 */,   45 /* e1604 */,  913 /* e1608 */, 3201 /* e1612 */,
6741161 /* e1616 */, 1869 /* e1620 */, 6238 /* e1624 */, 4151 /* e1628 */,
6756764 /* e1632 */, 5302 /* e1636 */, 9015 /* e1640 */, 5759 /* e1644 */,
6766164 /* e1648 */, 2762 /* e1652 */, 9723 /* e1656 */, 7354 /* e1660 */,
6777709 /* e1664 */, 4897 /* e1668 */, 6590 /* e1672 */, 8748 /* e1676 */,
6789416 /* e1680 */, 2168 /* e1684 */, 5123 /* e1688 */, 9631 /* e1692 */,
6798338 /* e1696 */, 5462 /* e1700 */, 7839 /* e1704 */, 8367 /* e1708 */,
6805384 /* e1712 */, 4680 /* e1716 */,  928 /* e1720 */, 4888 /* e1724 */,
681923 /* e1728 */, 4262 /* e1732 */, 4678 /* e1736 */, 3608 /* e1740 */,
68220 /* e1744 */, 7879 /* e1748 */, 6592 /* e1752 */, 6290 /* e1756 */,
6833437 /* e1760 */, 9847 /* e1764 */, 2902 /* e1768 */, 2166 /* e1772 */,
6845761 /* e1776 */,  438 /* e1780 */, 7947 /* e1784 */, 8221 /* e1788 */,
6857083 /* e1792 */, 7182 /* e1796 */, 2753 /* e1800 */, 8700 /* e1804 */,
6867047 /* e1808 */, 1091 /* e1812 */, 1660 /* e1816 */,   58 /* e1820 */,
687268 /* e1824 */,  764 /* e1828 */, 7443 /* e1832 */, 8680 /* e1836 */,
6884063 /* e1840 */, 4895 /* e1844 */, 8810 /* e1848 */, 9446 /* e1852 */,
6891992 /* e1856 */, 4617 /* e1860 */, 8408 /* e1864 */, 4267 /* e1868 */,
6902438 /* e1872 */, 7607 /* e1876 */, 7058 /* e1880 */, 3697 /* e1884 */,
6913396 /* e1888 */, 2517 /* e1892 */, 2809 /* e1896 */, 8814 /* e1900 */,
6921110 /* e1904 */, 9093 /* e1908 */, 1696 /* e1912 */, 9580 /* e1916 */,
6937600 /* e1920 */, 4136 /* e1924 */, 6575 /* e1928 */, 8769 /* e1932 */,
6945380 /* e1936 */, 7024 /* e1940 */, 2913 /* e1944 */, 3841 /* e1948 */,
695901 /* e1952 */, 8925 /* e1956 */, 6494 /* e1960 */, 3000 /* e1964 */,
6967083 /* e1968 */, 4692 /* e1972 */, 2855 /* e1976 */, 2149 /* e1980 */,
6973785 /* e1984 */, 4633 /* e1988 */, 4231 /* e1992 */, 4430 /* e1996 */,
698245 /* e2000 */, 5596 /* e2004 */, 8422 /* e2008 */, 6801 /* e2012 */,
6999581 /* e2016 */,  470 /* e2020 */, 4620 /* e2024 */, 1955 /* e2028 */,
7009748 /* e2032 */, 5173 /* e2036 */,  743 /* e2040 */, 5821 /* e2044 */,
7012549 /* e2048 */, 2064 /* e2052 */, 2380 /* e2056 */, 6023 /* e2060 */,
7023096 /* e2064 */,  559 /* e2068 */, 2544 /* e2072 */, 2931 /* e2076 */,
7034103 /* e2080 */, 3925 /* e2084 */, 3625 /* e2088 */, 5924 /* e2092 */,
7048495 /* e2096 */, 3625 /* e2100 */, 3335 /* e2104 */, 4017 /* e2108 */,
705631 /* e2112 */, 2920 /* e2116 */, 7316 /* e2120 */, 5867 /* e2124 */,
7062496 /* e2128 */, 2275 /* e2132 */, 9350 /* e2136 */, 6397 /* e2140 */,
7074402 /* e2144 */, 9248 /* e2148 */, 2921 /* e2152 */, 7863 /* e2156 */,
70889 /* e2160 */,  316 /* e2164 */,  389 /* e2168 */, 3866 /* e2172 */,
7099308 /* e2176 */, 3105 /* e2180 */, 9586 /* e2184 */, 5228 /* e2188 */,
710405 /* e2192 */, 6313 /* e2196 */,  151 /* e2200 */, 8103 /* e2204 */,
7113725 /* e2208 */,  561 /* e2212 */,  732 /* e2216 */, 5087 /* e2220 */,
7124645 /* e2224 */, 1499 /* e2228 */, 1900 /* e2232 */, 5818 /* e2236 */,
7133089 /* e2240 */, 8979 /* e2244 */, 2065 /* e2248 */, 3519 /* e2252 */,
7147819 /* e2256 */, 6905 /* e2260 */, 6044 /* e2264 */, 5347 /* e2268 */,
7157785 /* e2272 */, 5304 /* e2276 */, 1332 /* e2280 */, 6811 /* e2284 */,
7167552 /* e2288 */, 2402 /* e2292 */, 6384 /* e2296 */, 6230 /* e2300 */,
7172287 /* e2304 */, 1286 /* e2308 */, 3285 /* e2312 */, 7295 /* e2316 */,
7185851 /* e2320 */, 9892 /* e2324 */, 8971 /* e2328 */, 7160 /* e2332 */,
7198405 /* e2336 */, 9325 /* e2340 */, 3714 /* e2344 */, 8714 /* e2348 */,
7206701 /* e2352 */, 6183 /* e2356 */, 3109 /* e2360 */, 6177 /* e2364 */,
7214112 /* e2368 */, 5873 /* e2372 */, 8895 /* e2376 */, 6676 /* e2380 */,
7221422 /* e2384 */,  244 /* e2388 */, 9362 /* e2392 */,  561 /* e2396 */,
7239129 /* e2400 */, 8368 /* e2404 */, 5768 /* e2408 */, 1073 /* e2412 */,
7243504 /* e2416 */, 3255 /* e2420 */,  669 /* e2424 */, 3958 /* e2428 */,
7257382 /* e2432 */,  316 /* e2436 */, 1312 /* e2440 */, 8758 /* e2444 */,
7262695 /* e2448 */,  483 /* e2452 */, 3601 /* e2456 */,  207 /* e2460 */,
7276445 /* e2464 */, 5117 /* e2468 */, 7221 /* e2472 */, 1398 /* e2476 */,
7282926 /* e2480 */, 4306 /* e2484 */, 7873 /* e2488 */, 8636 /* e2492 */,
7299627 /* e2496 */, 1908 /* e2500 */, 9557 /* e2504 */, 1036 /* e2508 */,
7309198 /* e2512 */, 7904 /* e2516 */,  119 /* e2520 */, 3793 /* e2524 */,
7313800 /* e2528 */, 4620 /* e2532 */, 5010 /* e2536 */, 7182 /* e2540 */,
7321562 /* e2544 */, 8544 /* e2548 */, 1843 /* e2552 */, 6717 /* e2556 */,
73354 /* e2560 */, 8787 /* e2564 */, 4766 /* e2568 */, 5880 /* e2572 */,
734648 /* e2576 */, 3331 /* e2580 */, 8034 /* e2584 */, 3383 /* e2588 */,
7358374 /* e2592 */, 2510 /* e2596 */,  849 /* e2600 */, 7426 /* e2604 */,
7366845 /* e2608 */, 4247 /* e2612 */,  999 /* e2616 */, 3771 /* e2620 */,
7378289 /* e2624 */, 6960 /* e2628 */, 4446 /* e2632 */, 1874 /* e2636 */,
7387999 /* e2640 */, 9821 /* e2644 */, 7441 /* e2648 */, 5555 /* e2652 */,
7391992 /* e2656 */, 9471 /* e2660 */, 7461 /* e2664 */, 2665 /* e2668 */,
7408562 /* e2672 */, 5612 /* e2676 */, 5808 /* e2680 */, 6921 /* e2684 */,
7415218 /* e2688 */, 4194 /* e2692 */, 6732 /* e2696 */, 1644 /* e2700 */,
7422794 /* e2704 */, 3862 /* e2708 */, 7199 /* e2712 */, 3795 /* e2716 */,
7436207 /* e2720 */, 9205 /* e2724 */, 9009 /* e2728 */, 7448 /* e2732 */,
7446554 /* e2736 */, 1918 /* e2740 */, 8029 /* e2744 */, 1475 /* e2748 */,
7459091 /* e2752 */, 4595 /* e2756 */, 9189 /* e2760 */, 8918 /* e2764 */,
7466437 /* e2768 */, 7541 /* e2772 */, 9385 /* e2776 */, 4148 /* e2780 */,
7474128 /* e2784 */, 7616 /* e2788 */, 2204 /* e2792 */, 7289 /* e2796 */,
7482368 /* e2800 */, 9931 /* e2804 */, 1152 /* e2808 */, 7511 /* e2812 */,
7493318 /* e2816 */, 3525 /* e2820 */,  978 /* e2824 */, 3044 /* e2828 */,
7503427 /* e2832 */, 4866 /* e2836 */, 3592 /* e2840 */, 6455 /* e2844 */,
751683 /* e2848 */, 2061 /* e2852 */, 5455 /* e2856 */, 4732 /* e2860 */,
7525469 /* e2864 */, 1181 /* e2868 */, 6069 /* e2872 */, 6208 /* e2876 */,
7538944 /* e2880 */, 1245 /* e2884 */,  329 /* e2888 */,  302 /* e2892 */,
754828 /* e2896 */,  930 /* e2900 */, 6794 /* e2904 */, 1430 /* e2908 */,
7554662 /* e2912 */, 5959 /* e2916 */, 7208 /* e2920 */, 7788 /* e2924 */,
756995 /* e2928 */, 5894 /* e2932 */, 8616 /* e2936 */, 2471 /* e2940 */,
7574056 /* e2944 */, 7757 /* e2948 */,  362 /* e2952 */, 2609 /* e2956 */,
758747 /* e2960 */, 5154 /* e2964 */, 3339 /* e2968 */,  725 /* e2972 */,
7595694 /* e2976 */, 9337 /* e2980 */, 1952 /* e2984 */, 8738 /* e2988 */,
7608667 /* e2992 */,  810 /* e2996 */, 3380 /* e3000 */, 7400 /* e3004 */,
7619471 /* e3008 */, 8386 /* e3012 */,  886 /* e3016 */, 6135 /* e3020 */,
7627490 /* e3024 */,  231 /* e3028 */, 2459 /* e3032 */,  324 /* e3036 */,
7633276 /* e3040 */, 4038 /* e3044 */, 3313 /* e3048 */,  847 /* e3052 */,
7645175 /* e3056 */, 8738 /* e3060 */,  574 /* e3064 */, 8686 /* e3068 */,
7659717 /* e3072 */, 2629 /* e3076 */, 5276 /* e3080 */, 6947 /* e3084 */,
7665278 /* e3088 */, 1420 /* e3092 */, 7098 /* e3096 */, 9071 /* e3100 */,
7672854 /* e3104 */,  855 /* e3108 */, 2339 /* e3112 */, 9732 /* e3116 */,
7685707 /* e3120 */, 4445 /* e3124 */, 2632 /* e3128 */, 3914 /* e3132 */,
7695661 /* e3136 */,  748 /* e3140 */, 2222 /* e3144 */, 5061 /* e3148 */,
7709918 /* e3152 */, 9512 /* e3156 */, 2256 /* e3160 */, 4168 /* e3164 */,
7716565 /* e3168 */, 4093 /* e3172 */, 1319 /* e3176 */,   14 /* e3180 */,
7728900 /* e3184 */, 6524 /* e3188 */,  431 /* e3192 */, 6912 /* e3196 */,
773149 /* e3200 */, 7477 /* e3204 */, 8441 /* e3208 */, 7704 /* e3212 */,
7743161 /* e3216 */, 8472 /* e3220 */, 3719 /* e3224 */, 6146 /* e3228 */,
7752936 /* e3232 */, 7663 /* e3236 */,  563 /* e3240 */, 3344 /* e3244 */,
7769811 /* e3248 */, 3109 /* e3252 */, 6319 /* e3256 */, 8906 /* e3260 */,
7779472 /* e3264 */, 1499 /* e3268 */, 8108 /* e3272 */, 5625 /* e3276 */,
7781919 /* e3280 */, 5516 /* e3284 */, 3587 /* e3288 */, 8068 /* e3292 */,
7797859 /* e3296 */, 4097 /* e3300 */, 5349 /* e3304 */, 7738 /* e3308 */,
7802861 /* e3312 */,  383 /* e3316 */, 9379 /* e3320 */, 8279 /* e3324 */,
7811035 /* e3328 */,  255 /* e3332 */, 2366 /* e3336 */, 2460 /* e3340 */,
782783 /* e3344 */, 8832 /* e3348 */, 9436 /* e3352 */, 6887 /* e3356 */,
7831077 /* e3360 */, 6080 /* e3364 */, 6255 /* e3368 */, 4204 /* e3372 */,
7844921 /* e3376 */, 9086 /* e3380 */, 5018 /* e3384 */, 7755 /* e3388 */,
7858776 /* e3392 */, 9688 /* e3396 */, 5093 /* e3400 */, 7260 /* e3404 */,
7864139 /* e3408 */, 2374 /* e3412 */, 5357 /* e3416 */, 5824 /* e3420 */,
7872839 /* e3424 */, 7791 /* e3428 */, 4931 /* e3432 */, 5468 /* e3436 */,
7883870 /* e3440 */, 1522 /* e3444 */, 8144 /* e3448 */, 9185 /* e3452 */,
7892300 /* e3456 */, 6332 /* e3460 */, 7758 /* e3464 */, 2058 /* e3468 */,
7908158 /* e3472 */, 3714 /* e3476 */, 1712 /* e3480 */, 4015 /* e3484 */,
7917244 /* e3488 */, 8907 /* e3492 */, 5207 /* e3496 */, 4947 /* e3500 */,
7924694 /* e3504 */, 7323 /* e3508 */, 3624 /* e3512 */, 8079 /* e3516 */,
7936936 /* e3520 */, 4531 /* e3524 */, 7561 /* e3528 */, 5731 /* e3532 */,
794642 /* e3536 */, 9443 /* e3540 */, 7894 /* e3544 */, 4576 /* e3548 */,
7957662 /* e3552 */, 1573 /* e3556 */, 6879 /* e3560 */, 2182 /* e3564 */,
7969248 /* e3568 */, 5783 /* e3572 */, 5030 /* e3576 */, 3170 /* e3580 */,
7972714 /* e3584 */, 8639 /* e3588 */, 1370 /* e3592 */, 3855 /* e3596 */,
7986553 /* e3600 */, 8693 /* e3604 */, 9608 /* e3608 */, 2222 /* e3612 */,
7996816 /* e3616 */, 4934 /* e3620 */, 3716 /* e3624 */, 2624 /* e3628 */,
8003317 /* e3632 */, 7241 /* e3636 */, 2927 /* e3640 */, 4217 /* e3644 */,
8018720 /* e3648 */, 6855 /* e3652 */, 4332 /* e3656 */, 9975 /* e3660 */,
8023323 /* e3664 */, 9666 /* e3668 */, 5674 /* e3672 */,  839 /* e3676 */,
8031346 /* e3680 */, 2176 /* e3684 */, 5171 /* e3688 */, 6107 /* e3692 */,
8041079 /* e3696 */, 5009 /* e3700 */, 2857 /* e3704 */, 8499 /* e3708 */,
8057020 /* e3712 */, 5657 /* e3716 */, 6602 /* e3720 */, 1590 /* e3724 */,
8064486 /* e3728 */, 6208 /* e3732 */, 9825 /* e3736 */, 3055 /* e3740 */,
8079130 /* e3744 */, 1758 /* e3748 */, 6040 /* e3752 */, 2830 /* e3756 */,
8081117 /* e3760 */, 5241 /* e3764 */,  630 /* e3768 */, 4424 /* e3772 */,
8098729 /* e3776 */, 1834 /* e3780 */, 5204 /* e3784 */, 1580 /* e3788 */,
8106077 /* e3792 */, 1739 /* e3796 */, 9031 /* e3800 */, 8660 /* e3804 */,
8115416 /* e3808 */, 1540 /* e3812 */, 3180 /* e3816 */, 5129 /* e3820 */,
8128907 /* e3824 */, 6798 /* e3828 */, 5265 /* e3832 */, 6654 /* e3836 */,
8139041 /* e3840 */, 9672 /* e3844 */,    3 /* e3848 */, 3191 /* e3852 */,
8144289 /* e3856 */, 6077 /* e3860 */, 5409 /* e3864 */, 4391 /* e3868 */,
8152572 /* e3872 */, 4194 /* e3876 */, 3334 /* e3880 */,  257 /* e3884 */,
8167290 /* e3888 */, 3028 /* e3892 */,  105 /* e3896 */, 6159 /* e3900 */,
8172295 /* e3904 */, 3936 /* e3908 */, 5581 /* e3912 */, 3006 /* e3916 */,
8185066 /* e3920 */,   23 /* e3924 */, 4170 /* e3928 */, 3383 /* e3932 */,
8192410 /* e3936 */, 6312 /* e3940 */,  929 /* e3944 */, 4663 /* e3948 */,
8209452 /* e3952 */, 7196 /* e3956 */, 2746 /* e3960 */, 2233 /* e3964 */,
8214371 /* e3968 */, 6091 /* e3972 */,   16 /* e3976 */, 3085 /* e3980 */,
822773 /* e3984 */, 6318 /* e3988 */,  183 /* e3992 */, 5889 /* e3996 */,
8235010 /* e4000 */, 5232 /* e4004 */, 7354 /* e4008 */,  858 /* e4012 */,
8247503 /* e4016 */, 5657 /* e4020 */, 3147 /* e4024 */, 1786 /* e4028 */,
8256075 /* e4032 */, 5546 /* e4036 */, 6059 /* e4040 */, 5911 /* e4044 */,
8261925 /* e4048 */, 4290 /* e4052 */, 1399 /* e4056 */, 5483 /* e4060 */,
827756 /* e4064 */, 3424 /* e4068 */, 1816 /* e4072 */,  925 /* e4076 */,
8285494 /* e4080 */, 6020 /* e4084 */,  462 /* e4088 */, 1097 /* e4092 */,
8294109 /* e4096 */, 3695 /* e4100 */, 9985 /* e4104 */, 2319 /* e4108 */,
8303068 /* e4112 */, 7202 /* e4116 */, 1222 /* e4120 */, 8895 /* e4124 */,
8318360 /* e4128 */, 4308 /* e4132 */, 1666 /* e4136 */, 7831 /* e4140 */,
8326913 /* e4144 */, 5400 /* e4148 */, 6107 /* e4152 */, 8104 /* e4156 */,
8339653 /* e4160 */, 6384 /* e4164 */, 9736 /* e4168 */, 4641 /* e4172 */,
8347651 /* e4176 */, 5778 /* e4180 */, 3792 /* e4184 */, 2268 /* e4188 */,
8352690 /* e4192 */, 4757 /* e4196 */, 6184 /* e4200 */, 8329 /* e4204 */,
8362712 /* e4208 */, 5805 /* e4212 */, 8661 /* e4216 */, 6875 /* e4220 */,
8377356 /* e4224 */, 4570 /* e4228 */, 9354 /* e4232 */,  317 /* e4236 */,
838
8390};
840
841/* table of starting indexes into previous table  */
842const unsigned short __tbl_2_huge_start [] = {
8430, 1, 213, 637, 1273, 2121, 3181, 0};
844