v / vlib / strconv / tables.v
1354 lines · 1348 sloc · 33.96 KB · f09826e928f9612bab9299faefff7cf34a503362
Raw 


1module strconv


2


3const pow5_num_bits_32 = 61


4const pow5_inv_num_bits_32 = 59


5const pow5_num_bits_64 = 121


6const pow5_inv_num_bits_64 = 122


7


8const powers_of_10 = [


9    u64(1e0),


10    u64(1e1),


11    u64(1e2),


12    u64(1e3),


13    u64(1e4),


14    u64(1e5),


15    u64(1e6),


16    u64(1e7),


17    u64(1e8),


18    u64(1e9),


19    u64(1e10),


20    u64(1e11),


21    u64(1e12),


22    u64(1e13),


23    u64(1e14),


24    u64(1e15),


25    u64(1e16),


26    u64(1e17),


27    // We only need to find the length of at most 17 digit numbers.


28]!


29


30const pow5_split_32 = [


31    u64(1152921504606846976),


32    u64(1441151880758558720),


33    u64(1801439850948198400),


34    u64(2251799813685248000),


35    u64(1407374883553280000),


36    u64(1759218604441600000),


37    u64(2199023255552000000),


38    u64(1374389534720000000),


39    u64(1717986918400000000),


40    u64(2147483648000000000),


41    u64(1342177280000000000),


42    u64(1677721600000000000),


43    u64(2097152000000000000),


44    u64(1310720000000000000),


45    u64(1638400000000000000),


46    u64(2048000000000000000),


47    u64(1280000000000000000),


48    u64(1600000000000000000),


49    u64(2000000000000000000),


50    u64(1250000000000000000),


51    u64(1562500000000000000),


52    u64(1953125000000000000),


53    u64(1220703125000000000),


54    u64(1525878906250000000),


55    u64(1907348632812500000),


56    u64(1192092895507812500),


57    u64(1490116119384765625),


58    u64(1862645149230957031),


59    u64(1164153218269348144),


60    u64(1455191522836685180),


61    u64(1818989403545856475),


62    u64(2273736754432320594),


63    u64(1421085471520200371),


64    u64(1776356839400250464),


65    u64(2220446049250313080),


66    u64(1387778780781445675),


67    u64(1734723475976807094),


68    u64(2168404344971008868),


69    u64(1355252715606880542),


70    u64(1694065894508600678),


71    u64(2117582368135750847),


72    u64(1323488980084844279),


73    u64(1654361225106055349),


74    u64(2067951531382569187),


75    u64(1292469707114105741),


76    u64(1615587133892632177),


77    u64(2019483917365790221),


78]!


79


80const pow5_inv_split_32 = [


81    u64(576460752303423489),


82    u64(461168601842738791),


83    u64(368934881474191033),


84    u64(295147905179352826),


85    u64(472236648286964522),


86    u64(377789318629571618),


87    u64(302231454903657294),


88    u64(483570327845851670),


89    u64(386856262276681336),


90    u64(309485009821345069),


91    u64(495176015714152110),


92    u64(396140812571321688),


93    u64(316912650057057351),


94    u64(507060240091291761),


95    u64(405648192073033409),


96    u64(324518553658426727),


97    u64(519229685853482763),


98    u64(415383748682786211),


99    u64(332306998946228969),


100    u64(531691198313966350),


101    u64(425352958651173080),


102    u64(340282366920938464),


103    u64(544451787073501542),


104    u64(435561429658801234),


105    u64(348449143727040987),


106    u64(557518629963265579),


107    u64(446014903970612463),


108    u64(356811923176489971),


109    u64(570899077082383953),


110    u64(456719261665907162),


111    u64(365375409332725730),


112]!


113


114const pow5_split_64_x = [


115    u64(0x0000000000000000),


116    u64(0x0100000000000000),


117    u64(0x0000000000000000),


118    u64(0x0140000000000000),


119    u64(0x0000000000000000),


120    u64(0x0190000000000000),


121    u64(0x0000000000000000),


122    u64(0x01f4000000000000),


123    u64(0x0000000000000000),


124    u64(0x0138800000000000),


125    u64(0x0000000000000000),


126    u64(0x0186a00000000000),


127    u64(0x0000000000000000),


128    u64(0x01e8480000000000),


129    u64(0x0000000000000000),


130    u64(0x01312d0000000000),


131    u64(0x0000000000000000),


132    u64(0x017d784000000000),


133    u64(0x0000000000000000),


134    u64(0x01dcd65000000000),


135    u64(0x0000000000000000),


136    u64(0x012a05f200000000),


137    u64(0x0000000000000000),


138    u64(0x0174876e80000000),


139    u64(0x0000000000000000),


140    u64(0x01d1a94a20000000),


141    u64(0x0000000000000000),


142    u64(0x012309ce54000000),


143    u64(0x0000000000000000),


144    u64(0x016bcc41e9000000),


145    u64(0x0000000000000000),


146    u64(0x01c6bf5263400000),


147    u64(0x0000000000000000),


148    u64(0x011c37937e080000),


149    u64(0x0000000000000000),


150    u64(0x016345785d8a0000),


151    u64(0x0000000000000000),


152    u64(0x01bc16d674ec8000),


153    u64(0x0000000000000000),


154    u64(0x01158e460913d000),


155    u64(0x0000000000000000),


156    u64(0x015af1d78b58c400),


157    u64(0x0000000000000000),


158    u64(0x01b1ae4d6e2ef500),


159    u64(0x0000000000000000),


160    u64(0x010f0cf064dd5920),


161    u64(0x0000000000000000),


162    u64(0x0152d02c7e14af68),


163    u64(0x0000000000000000),


164    u64(0x01a784379d99db42),


165    u64(0x4000000000000000),


166    u64(0x0108b2a2c2802909),


167    u64(0x9000000000000000),


168    u64(0x014adf4b7320334b),


169    u64(0x7400000000000000),


170    u64(0x019d971e4fe8401e),


171    u64(0x0880000000000000),


172    u64(0x01027e72f1f12813),


173    u64(0xcaa0000000000000),


174    u64(0x01431e0fae6d7217),


175    u64(0xbd48000000000000),


176    u64(0x0193e5939a08ce9d),


177    u64(0x2c9a000000000000),


178    u64(0x01f8def8808b0245),


179    u64(0x3be0400000000000),


180    u64(0x013b8b5b5056e16b),


181    u64(0x0ad8500000000000),


182    u64(0x018a6e32246c99c6),


183    u64(0x8d8e640000000000),


184    u64(0x01ed09bead87c037),


185    u64(0xb878fe8000000000),


186    u64(0x013426172c74d822),


187    u64(0x66973e2000000000),


188    u64(0x01812f9cf7920e2b),


189    u64(0x403d0da800000000),


190    u64(0x01e17b84357691b6),


191    u64(0xe826288900000000),


192    u64(0x012ced32a16a1b11),


193    u64(0x622fb2ab40000000),


194    u64(0x0178287f49c4a1d6),


195    u64(0xfabb9f5610000000),


196    u64(0x01d6329f1c35ca4b),


197    u64(0x7cb54395ca000000),


198    u64(0x0125dfa371a19e6f),


199    u64(0x5be2947b3c800000),


200    u64(0x016f578c4e0a060b),


201    u64(0x32db399a0ba00000),


202    u64(0x01cb2d6f618c878e),


203    u64(0xdfc9040047440000),


204    u64(0x011efc659cf7d4b8),


205    u64(0x17bb450059150000),


206    u64(0x0166bb7f0435c9e7),


207    u64(0xddaa16406f5a4000),


208    u64(0x01c06a5ec5433c60),


209    u64(0x8a8a4de845986800),


210    u64(0x0118427b3b4a05bc),


211    u64(0xad2ce16256fe8200),


212    u64(0x015e531a0a1c872b),


213    u64(0x987819baecbe2280),


214    u64(0x01b5e7e08ca3a8f6),


215    u64(0x1f4b1014d3f6d590),


216    u64(0x0111b0ec57e6499a),


217    u64(0xa71dd41a08f48af4),


218    u64(0x01561d276ddfdc00),


219    u64(0xd0e549208b31adb1),


220    u64(0x01aba4714957d300),


221    u64(0x828f4db456ff0c8e),


222    u64(0x010b46c6cdd6e3e0),


223    u64(0xa33321216cbecfb2),


224    u64(0x014e1878814c9cd8),


225    u64(0xcbffe969c7ee839e),


226    u64(0x01a19e96a19fc40e),


227    u64(0x3f7ff1e21cf51243),


228    u64(0x0105031e2503da89),


229    u64(0x8f5fee5aa43256d4),


230    u64(0x014643e5ae44d12b),


231    u64(0x7337e9f14d3eec89),


232    u64(0x0197d4df19d60576),


233    u64(0x1005e46da08ea7ab),


234    u64(0x01fdca16e04b86d4),


235    u64(0x8a03aec4845928cb),


236    u64(0x013e9e4e4c2f3444),


237    u64(0xac849a75a56f72fd),


238    u64(0x018e45e1df3b0155),


239    u64(0x17a5c1130ecb4fbd),


240    u64(0x01f1d75a5709c1ab),


241    u64(0xeec798abe93f11d6),


242    u64(0x013726987666190a),


243    u64(0xaa797ed6e38ed64b),


244    u64(0x0184f03e93ff9f4d),


245    u64(0x1517de8c9c728bde),


246    u64(0x01e62c4e38ff8721),


247    u64(0xad2eeb17e1c7976b),


248    u64(0x012fdbb0e39fb474),


249    u64(0xd87aa5ddda397d46),


250    u64(0x017bd29d1c87a191),


251    u64(0x4e994f5550c7dc97),


252    u64(0x01dac74463a989f6),


253    u64(0xf11fd195527ce9de),


254    u64(0x0128bc8abe49f639),


255    u64(0x6d67c5faa71c2456),


256    u64(0x0172ebad6ddc73c8),


257    u64(0x88c1b77950e32d6c),


258    u64(0x01cfa698c95390ba),


259    u64(0x957912abd28dfc63),


260    u64(0x0121c81f7dd43a74),


261    u64(0xbad75756c7317b7c),


262    u64(0x016a3a275d494911),


263    u64(0x298d2d2c78fdda5b),


264    u64(0x01c4c8b1349b9b56),


265    u64(0xd9f83c3bcb9ea879),


266    u64(0x011afd6ec0e14115),


267    u64(0x50764b4abe865297),


268    u64(0x0161bcca7119915b),


269    u64(0x2493de1d6e27e73d),


270    u64(0x01ba2bfd0d5ff5b2),


271    u64(0x56dc6ad264d8f086),


272    u64(0x01145b7e285bf98f),


273    u64(0x2c938586fe0f2ca8),


274    u64(0x0159725db272f7f3),


275    u64(0xf7b866e8bd92f7d2),


276    u64(0x01afcef51f0fb5ef),


277    u64(0xfad34051767bdae3),


278    u64(0x010de1593369d1b5),


279    u64(0x79881065d41ad19c),


280    u64(0x015159af80444623),


281    u64(0x57ea147f49218603),


282    u64(0x01a5b01b605557ac),


283    u64(0xb6f24ccf8db4f3c1),


284    u64(0x01078e111c3556cb),


285    u64(0xa4aee003712230b2),


286    u64(0x014971956342ac7e),


287    u64(0x4dda98044d6abcdf),


288    u64(0x019bcdfabc13579e),


289    u64(0xf0a89f02b062b60b),


290    u64(0x010160bcb58c16c2),


291    u64(0xacd2c6c35c7b638e),


292    u64(0x0141b8ebe2ef1c73),


293    u64(0x98077874339a3c71),


294    u64(0x01922726dbaae390),


295    u64(0xbe0956914080cb8e),


296    u64(0x01f6b0f092959c74),


297    u64(0xf6c5d61ac8507f38),


298    u64(0x013a2e965b9d81c8),


299    u64(0x34774ba17a649f07),


300    u64(0x0188ba3bf284e23b),


301    u64(0x01951e89d8fdc6c8),


302    u64(0x01eae8caef261aca),


303    u64(0x40fd3316279e9c3d),


304    u64(0x0132d17ed577d0be),


305    u64(0xd13c7fdbb186434c),


306    u64(0x017f85de8ad5c4ed),


307    u64(0x458b9fd29de7d420),


308    u64(0x01df67562d8b3629),


309    u64(0xcb7743e3a2b0e494),


310    u64(0x012ba095dc7701d9),


311    u64(0x3e5514dc8b5d1db9),


312    u64(0x017688bb5394c250),


313    u64(0x4dea5a13ae346527),


314    u64(0x01d42aea2879f2e4),


315    u64(0xb0b2784c4ce0bf38),


316    u64(0x01249ad2594c37ce),


317    u64(0x5cdf165f6018ef06),


318    u64(0x016dc186ef9f45c2),


319    u64(0xf416dbf7381f2ac8),


320    u64(0x01c931e8ab871732),


321    u64(0xd88e497a83137abd),


322    u64(0x011dbf316b346e7f),


323    u64(0xceb1dbd923d8596c),


324    u64(0x01652efdc6018a1f),


325    u64(0xc25e52cf6cce6fc7),


326    u64(0x01be7abd3781eca7),


327    u64(0xd97af3c1a40105dc),


328    u64(0x01170cb642b133e8),


329    u64(0x0fd9b0b20d014754),


330    u64(0x015ccfe3d35d80e3),


331    u64(0xd3d01cde90419929),


332    u64(0x01b403dcc834e11b),


333    u64(0x6462120b1a28ffb9),


334    u64(0x01108269fd210cb1),


335    u64(0xbd7a968de0b33fa8),


336    u64(0x0154a3047c694fdd),


337    u64(0x2cd93c3158e00f92),


338    u64(0x01a9cbc59b83a3d5),


339    u64(0x3c07c59ed78c09bb),


340    u64(0x010a1f5b81324665),


341    u64(0x8b09b7068d6f0c2a),


342    u64(0x014ca732617ed7fe),


343    u64(0x2dcc24c830cacf34),


344    u64(0x019fd0fef9de8dfe),


345    u64(0xdc9f96fd1e7ec180),


346    u64(0x0103e29f5c2b18be),


347    u64(0x93c77cbc661e71e1),


348    u64(0x0144db473335deee),


349    u64(0x38b95beb7fa60e59),


350    u64(0x01961219000356aa),


351    u64(0xc6e7b2e65f8f91ef),


352    u64(0x01fb969f40042c54),


353    u64(0xfc50cfcffbb9bb35),


354    u64(0x013d3e2388029bb4),


355    u64(0x3b6503c3faa82a03),


356    u64(0x018c8dac6a0342a2),


357    u64(0xca3e44b4f9523484),


358    u64(0x01efb1178484134a),


359    u64(0xbe66eaf11bd360d2),


360    u64(0x0135ceaeb2d28c0e),


361    u64(0x6e00a5ad62c83907),


362    u64(0x0183425a5f872f12),


363    u64(0x0980cf18bb7a4749),


364    u64(0x01e412f0f768fad7),


365    u64(0x65f0816f752c6c8d),


366    u64(0x012e8bd69aa19cc6),


367    u64(0xff6ca1cb527787b1),


368    u64(0x017a2ecc414a03f7),


369    u64(0xff47ca3e2715699d),


370    u64(0x01d8ba7f519c84f5),


371    u64(0xbf8cde66d86d6202),


372    u64(0x0127748f9301d319),


373    u64(0x2f7016008e88ba83),


374    u64(0x017151b377c247e0),


375    u64(0x3b4c1b80b22ae923),


376    u64(0x01cda62055b2d9d8),


377    u64(0x250f91306f5ad1b6),


378    u64(0x012087d4358fc827),


379    u64(0xee53757c8b318623),


380    u64(0x0168a9c942f3ba30),


381    u64(0x29e852dbadfde7ac),


382    u64(0x01c2d43b93b0a8bd),


383    u64(0x3a3133c94cbeb0cc),


384    u64(0x0119c4a53c4e6976),


385    u64(0xc8bd80bb9fee5cff),


386    u64(0x016035ce8b6203d3),


387    u64(0xbaece0ea87e9f43e),


388    u64(0x01b843422e3a84c8),


389    u64(0x74d40c9294f238a7),


390    u64(0x01132a095ce492fd),


391    u64(0xd2090fb73a2ec6d1),


392    u64(0x0157f48bb41db7bc),


393    u64(0x068b53a508ba7885),


394    u64(0x01adf1aea12525ac),


395    u64(0x8417144725748b53),


396    u64(0x010cb70d24b7378b),


397    u64(0x651cd958eed1ae28),


398    u64(0x014fe4d06de5056e),


399    u64(0xfe640faf2a8619b2),


400    u64(0x01a3de04895e46c9),


401    u64(0x3efe89cd7a93d00f),


402    u64(0x01066ac2d5daec3e),


403    u64(0xcebe2c40d938c413),


404    u64(0x014805738b51a74d),


405    u64(0x426db7510f86f518),


406    u64(0x019a06d06e261121),


407    u64(0xc9849292a9b4592f),


408    u64(0x0100444244d7cab4),


409    u64(0xfbe5b73754216f7a),


410    u64(0x01405552d60dbd61),


411    u64(0x7adf25052929cb59),


412    u64(0x01906aa78b912cba),


413    u64(0x1996ee4673743e2f),


414    u64(0x01f485516e7577e9),


415    u64(0xaffe54ec0828a6dd),


416    u64(0x0138d352e5096af1),


417    u64(0x1bfdea270a32d095),


418    u64(0x018708279e4bc5ae),


419    u64(0xa2fd64b0ccbf84ba),


420    u64(0x01e8ca3185deb719),


421    u64(0x05de5eee7ff7b2f4),


422    u64(0x01317e5ef3ab3270),


423    u64(0x0755f6aa1ff59fb1),


424    u64(0x017dddf6b095ff0c),


425    u64(0x092b7454a7f3079e),


426    u64(0x01dd55745cbb7ecf),


427    u64(0x65bb28b4e8f7e4c3),


428    u64(0x012a5568b9f52f41),


429    u64(0xbf29f2e22335ddf3),


430    u64(0x0174eac2e8727b11),


431    u64(0x2ef46f9aac035570),


432    u64(0x01d22573a28f19d6),


433    u64(0xdd58c5c0ab821566),


434    u64(0x0123576845997025),


435    u64(0x54aef730d6629ac0),


436    u64(0x016c2d4256ffcc2f),


437    u64(0x29dab4fd0bfb4170),


438    u64(0x01c73892ecbfbf3b),


439    u64(0xfa28b11e277d08e6),


440    u64(0x011c835bd3f7d784),


441    u64(0x38b2dd65b15c4b1f),


442    u64(0x0163a432c8f5cd66),


443    u64(0xc6df94bf1db35de7),


444    u64(0x01bc8d3f7b3340bf),


445    u64(0xdc4bbcf772901ab0),


446    u64(0x0115d847ad000877),


447    u64(0xd35eac354f34215c),


448    u64(0x015b4e5998400a95),


449    u64(0x48365742a30129b4),


450    u64(0x01b221effe500d3b),


451    u64(0x0d21f689a5e0ba10),


452    u64(0x010f5535fef20845),


453    u64(0x506a742c0f58e894),


454    u64(0x01532a837eae8a56),


455    u64(0xe4851137132f22b9),


456    u64(0x01a7f5245e5a2ceb),


457    u64(0x6ed32ac26bfd75b4),


458    u64(0x0108f936baf85c13),


459    u64(0x4a87f57306fcd321),


460    u64(0x014b378469b67318),


461    u64(0x5d29f2cfc8bc07e9),


462    u64(0x019e056584240fde),


463    u64(0xfa3a37c1dd7584f1),


464    u64(0x0102c35f729689ea),


465    u64(0xb8c8c5b254d2e62e),


466    u64(0x014374374f3c2c65),


467    u64(0x26faf71eea079fb9),


468    u64(0x01945145230b377f),


469    u64(0xf0b9b4e6a48987a8),


470    u64(0x01f965966bce055e),


471    u64(0x5674111026d5f4c9),


472    u64(0x013bdf7e0360c35b),


473    u64(0x2c111554308b71fb),


474    u64(0x018ad75d8438f432),


475    u64(0xb7155aa93cae4e7a),


476    u64(0x01ed8d34e547313e),


477    u64(0x326d58a9c5ecf10c),


478    u64(0x013478410f4c7ec7),


479    u64(0xff08aed437682d4f),


480    u64(0x01819651531f9e78),


481    u64(0x3ecada89454238a3),


482    u64(0x01e1fbe5a7e78617),


483    u64(0x873ec895cb496366),


484    u64(0x012d3d6f88f0b3ce),


485    u64(0x290e7abb3e1bbc3f),


486    u64(0x01788ccb6b2ce0c2),


487    u64(0xb352196a0da2ab4f),


488    u64(0x01d6affe45f818f2),


489    u64(0xb0134fe24885ab11),


490    u64(0x01262dfeebbb0f97),


491    u64(0x9c1823dadaa715d6),


492    u64(0x016fb97ea6a9d37d),


493    u64(0x031e2cd19150db4b),


494    u64(0x01cba7de5054485d),


495    u64(0x21f2dc02fad2890f),


496    u64(0x011f48eaf234ad3a),


497    u64(0xaa6f9303b9872b53),


498    u64(0x01671b25aec1d888),


499    u64(0xd50b77c4a7e8f628),


500    u64(0x01c0e1ef1a724eaa),


501    u64(0xc5272adae8f199d9),


502    u64(0x01188d357087712a),


503    u64(0x7670f591a32e004f),


504    u64(0x015eb082cca94d75),


505    u64(0xd40d32f60bf98063),


506    u64(0x01b65ca37fd3a0d2),


507    u64(0xc4883fd9c77bf03e),


508    u64(0x0111f9e62fe44483),


509    u64(0xb5aa4fd0395aec4d),


510    u64(0x0156785fbbdd55a4),


511    u64(0xe314e3c447b1a760),


512    u64(0x01ac1677aad4ab0d),


513    u64(0xaded0e5aaccf089c),


514    u64(0x010b8e0acac4eae8),


515    u64(0xd96851f15802cac3),


516    u64(0x014e718d7d7625a2),


517    u64(0x8fc2666dae037d74),


518    u64(0x01a20df0dcd3af0b),


519    u64(0x39d980048cc22e68),


520    u64(0x010548b68a044d67),


521    u64(0x084fe005aff2ba03),


522    u64(0x01469ae42c8560c1),


523    u64(0x4a63d8071bef6883),


524    u64(0x0198419d37a6b8f1),


525    u64(0x9cfcce08e2eb42a4),


526    u64(0x01fe52048590672d),


527    u64(0x821e00c58dd309a7),


528    u64(0x013ef342d37a407c),


529    u64(0xa2a580f6f147cc10),


530    u64(0x018eb0138858d09b),


531    u64(0x8b4ee134ad99bf15),


532    u64(0x01f25c186a6f04c2),


533    u64(0x97114cc0ec80176d),


534    u64(0x0137798f428562f9),


535    u64(0xfcd59ff127a01d48),


536    u64(0x018557f31326bbb7),


537    u64(0xfc0b07ed7188249a),


538    u64(0x01e6adefd7f06aa5),


539    u64(0xbd86e4f466f516e0),


540    u64(0x01302cb5e6f642a7),


541    u64(0xace89e3180b25c98),


542    u64(0x017c37e360b3d351),


543    u64(0x1822c5bde0def3be),


544    u64(0x01db45dc38e0c826),


545    u64(0xcf15bb96ac8b5857),


546    u64(0x01290ba9a38c7d17),


547    u64(0xc2db2a7c57ae2e6d),


548    u64(0x01734e940c6f9c5d),


549    u64(0x3391f51b6d99ba08),


550    u64(0x01d022390f8b8375),


551    u64(0x403b393124801445),


552    u64(0x01221563a9b73229),


553    u64(0x904a077d6da01956),


554    u64(0x016a9abc9424feb3),


555    u64(0x745c895cc9081fac),


556    u64(0x01c5416bb92e3e60),


557    u64(0x48b9d5d9fda513cb),


558    u64(0x011b48e353bce6fc),


559    u64(0x5ae84b507d0e58be),


560    u64(0x01621b1c28ac20bb),


561    u64(0x31a25e249c51eeee),


562    u64(0x01baa1e332d728ea),


563    u64(0x5f057ad6e1b33554),


564    u64(0x0114a52dffc67992),


565    u64(0xf6c6d98c9a2002aa),


566    u64(0x0159ce797fb817f6),


567    u64(0xb4788fefc0a80354),


568    u64(0x01b04217dfa61df4),


569    u64(0xf0cb59f5d8690214),


570    u64(0x010e294eebc7d2b8),


571    u64(0x2cfe30734e83429a),


572    u64(0x0151b3a2a6b9c767),


573    u64(0xf83dbc9022241340),


574    u64(0x01a6208b50683940),


575    u64(0x9b2695da15568c08),


576    u64(0x0107d457124123c8),


577    u64(0xc1f03b509aac2f0a),


578    u64(0x0149c96cd6d16cba),


579    u64(0x726c4a24c1573acd),


580    u64(0x019c3bc80c85c7e9),


581    u64(0xe783ae56f8d684c0),


582    u64(0x0101a55d07d39cf1),


583    u64(0x616499ecb70c25f0),


584    u64(0x01420eb449c8842e),


585    u64(0xf9bdc067e4cf2f6c),


586    u64(0x019292615c3aa539),


587    u64(0x782d3081de02fb47),


588    u64(0x01f736f9b3494e88),


589    u64(0x4b1c3e512ac1dd0c),


590    u64(0x013a825c100dd115),


591    u64(0x9de34de57572544f),


592    u64(0x018922f31411455a),


593    u64(0x455c215ed2cee963),


594    u64(0x01eb6bafd91596b1),


595    u64(0xcb5994db43c151de),


596    u64(0x0133234de7ad7e2e),


597    u64(0x7e2ffa1214b1a655),


598    u64(0x017fec216198ddba),


599    u64(0x1dbbf89699de0feb),


600    u64(0x01dfe729b9ff1529),


601    u64(0xb2957b5e202ac9f3),


602    u64(0x012bf07a143f6d39),


603    u64(0x1f3ada35a8357c6f),


604    u64(0x0176ec98994f4888),


605    u64(0x270990c31242db8b),


606    u64(0x01d4a7bebfa31aaa),


607    u64(0x5865fa79eb69c937),


608    u64(0x0124e8d737c5f0aa),


609    u64(0xee7f791866443b85),


610    u64(0x016e230d05b76cd4),


611    u64(0x2a1f575e7fd54a66),


612    u64(0x01c9abd04725480a),


613    u64(0x5a53969b0fe54e80),


614    u64(0x011e0b622c774d06),


615    u64(0xf0e87c41d3dea220),


616    u64(0x01658e3ab7952047),


617    u64(0xed229b5248d64aa8),


618    u64(0x01bef1c9657a6859),


619    u64(0x3435a1136d85eea9),


620    u64(0x0117571ddf6c8138),


621    u64(0x4143095848e76a53),


622    u64(0x015d2ce55747a186),


623    u64(0xd193cbae5b2144e8),


624    u64(0x01b4781ead1989e7),


625    u64(0xe2fc5f4cf8f4cb11),


626    u64(0x0110cb132c2ff630),


627    u64(0x1bbb77203731fdd5),


628    u64(0x0154fdd7f73bf3bd),


629    u64(0x62aa54e844fe7d4a),


630    u64(0x01aa3d4df50af0ac),


631    u64(0xbdaa75112b1f0e4e),


632    u64(0x010a6650b926d66b),


633    u64(0xad15125575e6d1e2),


634    u64(0x014cffe4e7708c06),


635    u64(0x585a56ead360865b),


636    u64(0x01a03fde214caf08),


637    u64(0x37387652c41c53f8),


638    u64(0x010427ead4cfed65),


639    u64(0x850693e7752368f7),


640    u64(0x014531e58a03e8be),


641    u64(0x264838e1526c4334),


642    u64(0x01967e5eec84e2ee),


643    u64(0xafda4719a7075402),


644    u64(0x01fc1df6a7a61ba9),


645    u64(0x0de86c7008649481),


646    u64(0x013d92ba28c7d14a),


647    u64(0x9162878c0a7db9a1),


648    u64(0x018cf768b2f9c59c),


649    u64(0xb5bb296f0d1d280a),


650    u64(0x01f03542dfb83703),


651    u64(0x5194f9e568323906),


652    u64(0x01362149cbd32262),


653    u64(0xe5fa385ec23ec747),


654    u64(0x0183a99c3ec7eafa),


655    u64(0x9f78c67672ce7919),


656    u64(0x01e494034e79e5b9),


657    u64(0x03ab7c0a07c10bb0),


658    u64(0x012edc82110c2f94),


659    u64(0x04965b0c89b14e9c),


660    u64(0x017a93a2954f3b79),


661    u64(0x45bbf1cfac1da243),


662    u64(0x01d9388b3aa30a57),


663    u64(0x8b957721cb92856a),


664    u64(0x0127c35704a5e676),


665    u64(0x2e7ad4ea3e7726c4),


666    u64(0x0171b42cc5cf6014),


667    u64(0x3a198a24ce14f075),


668    u64(0x01ce2137f7433819),


669    u64(0xc44ff65700cd1649),


670    u64(0x0120d4c2fa8a030f),


671    u64(0xb563f3ecc1005bdb),


672    u64(0x016909f3b92c83d3),


673    u64(0xa2bcf0e7f14072d2),


674    u64(0x01c34c70a777a4c8),


675    u64(0x65b61690f6c847c3),


676    u64(0x011a0fc668aac6fd),


677    u64(0xbf239c35347a59b4),


678    u64(0x016093b802d578bc),


679    u64(0xeeec83428198f021),


680    u64(0x01b8b8a6038ad6eb),


681    u64(0x7553d20990ff9615),


682    u64(0x01137367c236c653),


683    u64(0x52a8c68bf53f7b9a),


684    u64(0x01585041b2c477e8),


685    u64(0x6752f82ef28f5a81),


686    u64(0x01ae64521f7595e2),


687    u64(0x8093db1d57999890),


688    u64(0x010cfeb353a97dad),


689    u64(0xe0b8d1e4ad7ffeb4),


690    u64(0x01503e602893dd18),


691    u64(0x18e7065dd8dffe62),


692    u64(0x01a44df832b8d45f),


693    u64(0x6f9063faa78bfefd),


694    u64(0x0106b0bb1fb384bb),


695    u64(0x4b747cf9516efebc),


696    u64(0x01485ce9e7a065ea),


697    u64(0xde519c37a5cabe6b),


698    u64(0x019a742461887f64),


699    u64(0x0af301a2c79eb703),


700    u64(0x01008896bcf54f9f),


701    u64(0xcdafc20b798664c4),


702    u64(0x0140aabc6c32a386),


703    u64(0x811bb28e57e7fdf5),


704    u64(0x0190d56b873f4c68),


705    u64(0xa1629f31ede1fd72),


706    u64(0x01f50ac6690f1f82),


707    u64(0xa4dda37f34ad3e67),


708    u64(0x013926bc01a973b1),


709    u64(0x0e150c5f01d88e01),


710    u64(0x0187706b0213d09e),


711    u64(0x919a4f76c24eb181),


712    u64(0x01e94c85c298c4c5),


713    u64(0x7b0071aa39712ef1),


714    u64(0x0131cfd3999f7afb),


715    u64(0x59c08e14c7cd7aad),


716    u64(0x017e43c8800759ba),


717    u64(0xf030b199f9c0d958),


718    u64(0x01ddd4baa0093028),


719    u64(0x961e6f003c1887d7),


720    u64(0x012aa4f4a405be19),


721    u64(0xfba60ac04b1ea9cd),


722    u64(0x01754e31cd072d9f),


723    u64(0xfa8f8d705de65440),


724    u64(0x01d2a1be4048f907),


725    u64(0xfc99b8663aaff4a8),


726    u64(0x0123a516e82d9ba4),


727    u64(0x3bc0267fc95bf1d2),


728    u64(0x016c8e5ca239028e),


729    u64(0xcab0301fbbb2ee47),


730    u64(0x01c7b1f3cac74331),


731    u64(0x1eae1e13d54fd4ec),


732    u64(0x011ccf385ebc89ff),


733    u64(0xe659a598caa3ca27),


734    u64(0x01640306766bac7e),


735    u64(0x9ff00efefd4cbcb1),


736    u64(0x01bd03c81406979e),


737    u64(0x23f6095f5e4ff5ef),


738    u64(0x0116225d0c841ec3),


739    u64(0xecf38bb735e3f36a),


740    u64(0x015baaf44fa52673),


741    u64(0xe8306ea5035cf045),


742    u64(0x01b295b1638e7010),


743    u64(0x911e4527221a162b),


744    u64(0x010f9d8ede39060a),


745    u64(0x3565d670eaa09bb6),


746    u64(0x015384f295c7478d),


747    u64(0x82bf4c0d2548c2a3),


748    u64(0x01a8662f3b391970),


749    u64(0x51b78f88374d79a6),


750    u64(0x01093fdd8503afe6),


751    u64(0xe625736a4520d810),


752    u64(0x014b8fd4e6449bdf),


753    u64(0xdfaed044d6690e14),


754    u64(0x019e73ca1fd5c2d7),


755    u64(0xebcd422b0601a8cc),


756    u64(0x0103085e53e599c6),


757    u64(0xa6c092b5c78212ff),


758    u64(0x0143ca75e8df0038),


759    u64(0xd070b763396297bf),


760    u64(0x0194bd136316c046),


761    u64(0x848ce53c07bb3daf),


762    u64(0x01f9ec583bdc7058),


763    u64(0x52d80f4584d5068d),


764    u64(0x013c33b72569c637),


765    u64(0x278e1316e60a4831),


766    u64(0x018b40a4eec437c5),


767]!


768


769const pow5_inv_split_64_x = [


770    u64(0x0000000000000001),


771    u64(0x0400000000000000),


772    u64(0x3333333333333334),


773    u64(0x0333333333333333),


774    u64(0x28f5c28f5c28f5c3),


775    u64(0x028f5c28f5c28f5c),


776    u64(0xed916872b020c49c),


777    u64(0x020c49ba5e353f7c),


778    u64(0xaf4f0d844d013a93),


779    u64(0x0346dc5d63886594),


780    u64(0x8c3f3e0370cdc876),


781    u64(0x029f16b11c6d1e10),


782    u64(0xd698fe69270b06c5),


783    u64(0x0218def416bdb1a6),


784    u64(0xf0f4ca41d811a46e),


785    u64(0x035afe535795e90a),


786    u64(0xf3f70834acdae9f1),


787    u64(0x02af31dc4611873b),


788    u64(0x5cc5a02a23e254c1),


789    u64(0x0225c17d04dad296),


790    u64(0xfad5cd10396a2135),


791    u64(0x036f9bfb3af7b756),


792    u64(0xfbde3da69454e75e),


793    u64(0x02bfaffc2f2c92ab),


794    u64(0x2fe4fe1edd10b918),


795    u64(0x0232f33025bd4223),


796    u64(0x4ca19697c81ac1bf),


797    u64(0x0384b84d092ed038),


798    u64(0x3d4e1213067bce33),


799    u64(0x02d09370d4257360),


800    u64(0x643e74dc052fd829),


801    u64(0x024075f3dceac2b3),


802    u64(0x6d30baf9a1e626a7),


803    u64(0x039a5652fb113785),


804    u64(0x2426fbfae7eb5220),


805    u64(0x02e1dea8c8da92d1),


806    u64(0x1cebfcc8b9890e80),


807    u64(0x024e4bba3a487574),


808    u64(0x94acc7a78f41b0cc),


809    u64(0x03b07929f6da5586),


810    u64(0xaa23d2ec729af3d7),


811    u64(0x02f394219248446b),


812    u64(0xbb4fdbf05baf2979),


813    u64(0x025c768141d369ef),


814    u64(0xc54c931a2c4b758d),


815    u64(0x03c7240202ebdcb2),


816    u64(0x9dd6dc14f03c5e0b),


817    u64(0x0305b66802564a28),


818    u64(0x4b1249aa59c9e4d6),


819    u64(0x026af8533511d4ed),


820    u64(0x44ea0f76f60fd489),


821    u64(0x03de5a1ebb4fbb15),


822    u64(0x6a54d92bf80caa07),


823    u64(0x0318481895d96277),


824    u64(0x21dd7a89933d54d2),


825    u64(0x0279d346de4781f9),


826    u64(0x362f2a75b8622150),


827    u64(0x03f61ed7ca0c0328),


828    u64(0xf825bb91604e810d),


829    u64(0x032b4bdfd4d668ec),


830    u64(0xc684960de6a5340b),


831    u64(0x0289097fdd7853f0),


832    u64(0xd203ab3e521dc33c),


833    u64(0x02073accb12d0ff3),


834    u64(0xe99f7863b696052c),


835    u64(0x033ec47ab514e652),


836    u64(0x87b2c6b62bab3757),


837    u64(0x02989d2ef743eb75),


838    u64(0xd2f56bc4efbc2c45),


839    u64(0x0213b0f25f69892a),


840    u64(0x1e55793b192d13a2),


841    u64(0x0352b4b6ff0f41de),


842    u64(0x4b77942f475742e8),


843    u64(0x02a8909265a5ce4b),


844    u64(0xd5f9435905df68ba),


845    u64(0x022073a8515171d5),


846    u64(0x565b9ef4d6324129),


847    u64(0x03671f73b54f1c89),


848    u64(0xdeafb25d78283421),


849    u64(0x02b8e5f62aa5b06d),


850    u64(0x188c8eb12cecf681),


851    u64(0x022d84c4eeeaf38b),


852    u64(0x8dadb11b7b14bd9b),


853    u64(0x037c07a17e44b8de),


854    u64(0x7157c0e2c8dd647c),


855    u64(0x02c99fb46503c718),


856    u64(0x8ddfcd823a4ab6ca),


857    u64(0x023ae629ea696c13),


858    u64(0x1632e269f6ddf142),


859    u64(0x0391704310a8acec),


860    u64(0x44f581ee5f17f435),


861    u64(0x02dac035a6ed5723),


862    u64(0x372ace584c1329c4),


863    u64(0x024899c4858aac1c),


864    u64(0xbeaae3c079b842d3),


865    u64(0x03a75c6da27779c6),


866    u64(0x6555830061603576),


867    u64(0x02ec49f14ec5fb05),


868    u64(0xb7779c004de6912b),


869    u64(0x0256a18dd89e626a),


870    u64(0xf258f99a163db512),


871    u64(0x03bdcf495a9703dd),


872    u64(0x5b7a614811caf741),


873    u64(0x02fe3f6de212697e),


874    u64(0xaf951aa00e3bf901),


875    u64(0x0264ff8b1b41edfe),


876    u64(0x7f54f7667d2cc19b),


877    u64(0x03d4cc11c5364997),


878    u64(0x32aa5f8530f09ae3),


879    u64(0x0310a3416a91d479),


880    u64(0xf55519375a5a1582),


881    u64(0x0273b5cdeedb1060),


882    u64(0xbbbb5b8bc3c3559d),


883    u64(0x03ec56164af81a34),


884    u64(0x2fc916096969114a),


885    u64(0x03237811d593482a),


886    u64(0x596dab3ababa743c),


887    u64(0x0282c674aadc39bb),


888    u64(0x478aef622efb9030),


889    u64(0x0202385d557cfafc),


890    u64(0xd8de4bd04b2c19e6),


891    u64(0x0336c0955594c4c6),


892    u64(0xad7ea30d08f014b8),


893    u64(0x029233aaaadd6a38),


894    u64(0x24654f3da0c01093),


895    u64(0x020e8fbbbbe454fa),


896    u64(0x3a3bb1fc346680eb),


897    u64(0x034a7f92c63a2190),


898    u64(0x94fc8e635d1ecd89),


899    u64(0x02a1ffa89e94e7a6),


900    u64(0xaa63a51c4a7f0ad4),


901    u64(0x021b32ed4baa52eb),


902    u64(0xdd6c3b607731aaed),


903    u64(0x035eb7e212aa1e45),


904    u64(0x1789c919f8f488bd),


905    u64(0x02b22cb4dbbb4b6b),


906    u64(0xac6e3a7b2d906d64),


907    u64(0x022823c3e2fc3c55),


908    u64(0x13e390c515b3e23a),


909    u64(0x03736c6c9e606089),


910    u64(0xdcb60d6a77c31b62),


911    u64(0x02c2bd23b1e6b3a0),


912    u64(0x7d5e7121f968e2b5),


913    u64(0x0235641c8e52294d),


914    u64(0xc8971b698f0e3787),


915    u64(0x0388a02db0837548),


916    u64(0xa078e2bad8d82c6c),


917    u64(0x02d3b357c0692aa0),


918    u64(0xe6c71bc8ad79bd24),


919    u64(0x0242f5dfcd20eee6),


920    u64(0x0ad82c7448c2c839),


921    u64(0x039e5632e1ce4b0b),


922    u64(0x3be023903a356cfa),


923    u64(0x02e511c24e3ea26f),


924    u64(0x2fe682d9c82abd95),


925    u64(0x0250db01d8321b8c),


926    u64(0x4ca4048fa6aac8ee),


927    u64(0x03b4919c8d1cf8e0),


928    u64(0x3d5003a61eef0725),


929    u64(0x02f6dae3a4172d80),


930    u64(0x9773361e7f259f51),


931    u64(0x025f1582e9ac2466),


932    u64(0x8beb89ca6508fee8),


933    u64(0x03cb559e42ad070a),


934    u64(0x6fefa16eb73a6586),


935    u64(0x0309114b688a6c08),


936    u64(0xf3261abef8fb846b),


937    u64(0x026da76f86d52339),


938    u64(0x51d691318e5f3a45),


939    u64(0x03e2a57f3e21d1f6),


940    u64(0x0e4540f471e5c837),


941    u64(0x031bb798fe8174c5),


942    u64(0xd8376729f4b7d360),


943    u64(0x027c92e0cb9ac3d0),


944    u64(0xf38bd84321261eff),


945    u64(0x03fa849adf5e061a),


946    u64(0x293cad0280eb4bff),


947    u64(0x032ed07be5e4d1af),


948    u64(0xedca240200bc3ccc),


949    u64(0x028bd9fcb7ea4158),


950    u64(0xbe3b50019a3030a4),


951    u64(0x02097b309321cde0),


952    u64(0xc9f88002904d1a9f),


953    u64(0x03425eb41e9c7c9a),


954    u64(0x3b2d3335403daee6),


955    u64(0x029b7ef67ee396e2),


956    u64(0x95bdc291003158b8),


957    u64(0x0215ff2b98b6124e),


958    u64(0x892f9db4cd1bc126),


959    u64(0x035665128df01d4a),


960    u64(0x07594af70a7c9a85),


961    u64(0x02ab840ed7f34aa2),


962    u64(0x6c476f2c0863aed1),


963    u64(0x0222d00bdff5d54e),


964    u64(0x13a57eacda3917b4),


965    u64(0x036ae67966562217),


966    u64(0x0fb7988a482dac90),


967    u64(0x02bbeb9451de81ac),


968    u64(0xd95fad3b6cf156da),


969    u64(0x022fefa9db1867bc),


970    u64(0xf565e1f8ae4ef15c),


971    u64(0x037fe5dc91c0a5fa),


972    u64(0x911e4e608b725ab0),


973    u64(0x02ccb7e3a7cd5195),


974    u64(0xda7ea51a0928488d),


975    u64(0x023d5fe9530aa7aa),


976    u64(0xf7310829a8407415),


977    u64(0x039566421e7772aa),


978    u64(0x2c2739baed005cde),


979    u64(0x02ddeb68185f8eef),


980    u64(0xbcec2e2f24004a4b),


981    u64(0x024b22b9ad193f25),


982    u64(0x94ad16b1d333aa11),


983    u64(0x03ab6ac2ae8ecb6f),


984    u64(0xaa241227dc2954db),


985    u64(0x02ef889bbed8a2bf),


986    u64(0x54e9a81fe35443e2),


987    u64(0x02593a163246e899),


988    u64(0x2175d9cc9eed396a),


989    u64(0x03c1f689ea0b0dc2),


990    u64(0xe7917b0a18bdc788),


991    u64(0x03019207ee6f3e34),


992    u64(0xb9412f3b46fe393a),


993    u64(0x0267a8065858fe90),


994    u64(0xf535185ed7fd285c),


995    u64(0x03d90cd6f3c1974d),


996    u64(0xc42a79e57997537d),


997    u64(0x03140a458fce12a4),


998    u64(0x03552e512e12a931),


999    u64(0x02766e9e0ca4dbb7),


1000    u64(0x9eeeb081e3510eb4),


1001    u64(0x03f0b0fce107c5f1),


1002    u64(0x4bf226ce4f740bc3),


1003    u64(0x0326f3fd80d304c1),


1004    u64(0xa3281f0b72c33c9c),


1005    u64(0x02858ffe00a8d09a),


1006    u64(0x1c2018d5f568fd4a),


1007    u64(0x020473319a20a6e2),


1008    u64(0xf9ccf48988a7fba9),


1009    u64(0x033a51e8f69aa49c),


1010    u64(0xfb0a5d3ad3b99621),


1011    u64(0x02950e53f87bb6e3),


1012    u64(0x2f3b7dc8a96144e7),


1013    u64(0x0210d8432d2fc583),


1014    u64(0xe52bfc7442353b0c),


1015    u64(0x034e26d1e1e608d1),


1016    u64(0xb756639034f76270),


1017    u64(0x02a4ebdb1b1e6d74),


1018    u64(0x2c451c735d92b526),


1019    u64(0x021d897c15b1f12a),


1020    u64(0x13a1c71efc1deea3),


1021    u64(0x0362759355e981dd),


1022    u64(0x761b05b2634b2550),


1023    u64(0x02b52adc44bace4a),


1024    u64(0x91af37c1e908eaa6),


1025    u64(0x022a88b036fbd83b),


1026    u64(0x82b1f2cfdb417770),


1027    u64(0x03774119f192f392),


1028    u64(0xcef4c23fe29ac5f3),


1029    u64(0x02c5cdae5adbf60e),


1030    u64(0x3f2a34ffe87bd190),


1031    u64(0x0237d7beaf165e72),


1032    u64(0x984387ffda5fb5b2),


1033    u64(0x038c8c644b56fd83),


1034    u64(0xe0360666484c915b),


1035    u64(0x02d6d6b6a2abfe02),


1036    u64(0x802b3851d3707449),


1037    u64(0x024578921bbccb35),


1038    u64(0x99dec082ebe72075),


1039    u64(0x03a25a835f947855),


1040    u64(0xae4bcd358985b391),


1041    u64(0x02e8486919439377),


1042    u64(0xbea30a913ad15c74),


1043    u64(0x02536d20e102dc5f),


1044    u64(0xfdd1aa81f7b560b9),


1045    u64(0x03b8ae9b019e2d65),


1046    u64(0x97daeece5fc44d61),


1047    u64(0x02fa2548ce182451),


1048    u64(0xdfe258a51969d781),


1049    u64(0x0261b76d71ace9da),


1050    u64(0x996a276e8f0fbf34),


1051    u64(0x03cf8be24f7b0fc4),


1052    u64(0xe121b9253f3fcc2a),


1053    u64(0x030c6fe83f95a636),


1054    u64(0xb41afa8432997022),


1055    u64(0x02705986994484f8),


1056    u64(0xecf7f739ea8f19cf),


1057    u64(0x03e6f5a4286da18d),


1058    u64(0x23f99294bba5ae40),


1059    u64(0x031f2ae9b9f14e0b),


1060    u64(0x4ffadbaa2fb7be99),


1061    u64(0x027f5587c7f43e6f),


1062    u64(0x7ff7c5dd1925fdc2),


1063    u64(0x03feef3fa6539718),


1064    u64(0xccc637e4141e649b),


1065    u64(0x033258ffb842df46),


1066    u64(0xd704f983434b83af),


1067    u64(0x028ead9960357f6b),


1068    u64(0x126a6135cf6f9c8c),


1069    u64(0x020bbe144cf79923),


1070    u64(0x83dd685618b29414),


1071    u64(0x0345fced47f28e9e),


1072    u64(0x9cb12044e08edcdd),


1073    u64(0x029e63f1065ba54b),


1074    u64(0x16f419d0b3a57d7d),


1075    u64(0x02184ff405161dd6),


1076    u64(0x8b20294dec3bfbfb),


1077    u64(0x035a19866e89c956),


1078    u64(0x3c19baa4bcfcc996),


1079    u64(0x02ae7ad1f207d445),


1080    u64(0xc9ae2eea30ca3adf),


1081    u64(0x02252f0e5b39769d),


1082    u64(0x0f7d17dd1add2afd),


1083    u64(0x036eb1b091f58a96),


1084    u64(0x3f97464a7be42264),


1085    u64(0x02bef48d41913bab),


1086    u64(0xcc790508631ce850),


1087    u64(0x02325d3dce0dc955),


1088    u64(0xe0c1a1a704fb0d4d),


1089    u64(0x0383c862e3494222),


1090    u64(0x4d67b4859d95a43e),


1091    u64(0x02cfd3824f6dce82),


1092    u64(0x711fc39e17aae9cb),


1093    u64(0x023fdc683f8b0b9b),


1094    u64(0xe832d2968c44a945),


1095    u64(0x039960a6cc11ac2b),


1096    u64(0xecf575453d03ba9e),


1097    u64(0x02e11a1f09a7bcef),


1098    u64(0x572ac4376402fbb1),


1099    u64(0x024dae7f3aec9726),


1100    u64(0x58446d256cd192b5),


1101    u64(0x03af7d985e47583d),


1102    u64(0x79d0575123dadbc4),


1103    u64(0x02f2cae04b6c4697),


1104    u64(0x94a6ac40e97be303),


1105    u64(0x025bd5803c569edf),


1106    u64(0x8771139b0f2c9e6c),


1107    u64(0x03c62266c6f0fe32),


1108    u64(0x9f8da948d8f07ebd),


1109    u64(0x0304e85238c0cb5b),


1110    u64(0xe60aedd3e0c06564),


1111    u64(0x026a5374fa33d5e2),


1112    u64(0xa344afb9679a3bd2),


1113    u64(0x03dd5254c3862304),


1114    u64(0xe903bfc78614fca8),


1115    u64(0x031775109c6b4f36),


1116    u64(0xba6966393810ca20),


1117    u64(0x02792a73b055d8f8),


1118    u64(0x2a423d2859b4769a),


1119    u64(0x03f510b91a22f4c1),


1120    u64(0xee9b642047c39215),


1121    u64(0x032a73c7481bf700),


1122    u64(0xbee2b680396941aa),


1123    u64(0x02885c9f6ce32c00),


1124    u64(0xff1bc53361210155),


1125    u64(0x0206b07f8a4f5666),


1126    u64(0x31c6085235019bbb),


1127    u64(0x033de73276e5570b),


1128    u64(0x27d1a041c4014963),


1129    u64(0x0297ec285f1ddf3c),


1130    u64(0xeca7b367d0010782),


1131    u64(0x021323537f4b18fc),


1132    u64(0xadd91f0c8001a59d),


1133    u64(0x0351d21f3211c194),


1134    u64(0xf17a7f3d3334847e),


1135    u64(0x02a7db4c280e3476),


1136    u64(0x279532975c2a0398),


1137    u64(0x021fe2a3533e905f),


1138    u64(0xd8eeb75893766c26),


1139    u64(0x0366376bb8641a31),


1140    u64(0x7a5892ad42c52352),


1141    u64(0x02b82c562d1ce1c1),


1142    u64(0xfb7a0ef102374f75),


1143    u64(0x022cf044f0e3e7cd),


1144    u64(0xc59017e8038bb254),


1145    u64(0x037b1a07e7d30c7c),


1146    u64(0x37a67986693c8eaa),


1147    u64(0x02c8e19feca8d6ca),


1148    u64(0xf951fad1edca0bbb),


1149    u64(0x023a4e198a20abd4),


1150    u64(0x28832ae97c76792b),


1151    u64(0x03907cf5a9cddfbb),


1152    u64(0x2068ef21305ec756),


1153    u64(0x02d9fd9154a4b2fc),


1154    u64(0x19ed8c1a8d189f78),


1155    u64(0x0247fe0ddd508f30),


1156    u64(0x5caf4690e1c0ff26),


1157    u64(0x03a66349621a7eb3),


1158    u64(0x4a25d20d81673285),


1159    u64(0x02eb82a11b48655c),


1160    u64(0x3b5174d79ab8f537),


1161    u64(0x0256021a7c39eab0),


1162    u64(0x921bee25c45b21f1),


1163    u64(0x03bcd02a605caab3),


1164    u64(0xdb498b5169e2818e),


1165    u64(0x02fd735519e3bbc2),


1166    u64(0x15d46f7454b53472),


1167    u64(0x02645c4414b62fcf),


1168    u64(0xefba4bed545520b6),


1169    u64(0x03d3c6d35456b2e4),


1170    u64(0xf2fb6ff110441a2b),


1171    u64(0x030fd242a9def583),


1172    u64(0x8f2f8cc0d9d014ef),


1173    u64(0x02730e9bbb18c469),


1174    u64(0xb1e5ae015c80217f),


1175    u64(0x03eb4a92c4f46d75),


1176    u64(0xc1848b344a001acc),


1177    u64(0x0322a20f03f6bdf7),


1178    u64(0xce03a2903b3348a3),


1179    u64(0x02821b3f365efe5f),


1180    u64(0xd802e873628f6d4f),


1181    u64(0x0201af65c518cb7f),


1182    u64(0x599e40b89db2487f),


1183    u64(0x0335e56fa1c14599),


1184    u64(0xe14b66fa17c1d399),


1185    u64(0x029184594e3437ad),


1186    u64(0x81091f2e7967dc7a),


1187    u64(0x020e037aa4f692f1),


1188    u64(0x9b41cb7d8f0c93f6),


1189    u64(0x03499f2aa18a84b5),


1190    u64(0xaf67d5fe0c0a0ff8),


1191    u64(0x02a14c221ad536f7),


1192    u64(0xf2b977fe70080cc7),


1193    u64(0x021aa34e7bddc592),


1194    u64(0x1df58cca4cd9ae0b),


1195    u64(0x035dd2172c9608eb),


1196    u64(0xe4c470a1d7148b3c),


1197    u64(0x02b174df56de6d88),


1198    u64(0x83d05a1b1276d5ca),


1199    u64(0x022790b2abe5246d),


1200    u64(0x9fb3c35e83f1560f),


1201    u64(0x0372811ddfd50715),


1202    u64(0xb2f635e5365aab3f),


1203    u64(0x02c200e4b310d277),


1204    u64(0xf591c4b75eaeef66),


1205    u64(0x0234cd83c273db92),


1206    u64(0xef4fa125644b18a3),


1207    u64(0x0387af39371fc5b7),


1208    u64(0x8c3fb41de9d5ad4f),


1209    u64(0x02d2f2942c196af9),


1210    u64(0x3cffc34b2177bdd9),


1211    u64(0x02425ba9bce12261),


1212    u64(0x94cc6bab68bf9628),


1213    u64(0x039d5f75fb01d09b),


1214    u64(0x10a38955ed6611b9),


1215    u64(0x02e44c5e6267da16),


1216    u64(0xda1c6dde5784dafb),


1217    u64(0x02503d184eb97b44),


1218    u64(0xf693e2fd58d49191),


1219    u64(0x03b394f3b128c53a),


1220    u64(0xc5431bfde0aa0e0e),


1221    u64(0x02f610c2f4209dc8),


1222    u64(0x6a9c1664b3bb3e72),


1223    u64(0x025e73cf29b3b16d),


1224    u64(0x10f9bd6dec5eca4f),


1225    u64(0x03ca52e50f85e8af),


1226    u64(0xda616457f04bd50c),


1227    u64(0x03084250d937ed58),


1228    u64(0xe1e783798d09773d),


1229    u64(0x026d01da475ff113),


1230    u64(0x030c058f480f252e),


1231    u64(0x03e19c9072331b53),


1232    u64(0x68d66ad906728425),


1233    u64(0x031ae3a6c1c27c42),


1234    u64(0x8711ef14052869b7),


1235    u64(0x027be952349b969b),


1236    u64(0x0b4fe4ecd50d75f2),


1237    u64(0x03f97550542c242c),


1238    u64(0xa2a650bd773df7f5),


1239    u64(0x032df7737689b689),


1240    u64(0xb551da312c31932a),


1241    u64(0x028b2c5c5ed49207),


1242    u64(0x5ddb14f4235adc22),


1243    u64(0x0208f049e576db39),


1244    u64(0x2fc4ee536bc49369),


1245    u64(0x034180763bf15ec2),


1246    u64(0xbfd0bea92303a921),


1247    u64(0x029acd2b63277f01),


1248    u64(0x9973cbba8269541a),


1249    u64(0x021570ef8285ff34),


1250    u64(0x5bec792a6a42202a),


1251    u64(0x0355817f373ccb87),


1252    u64(0xe3239421ee9b4cef),


1253    u64(0x02aacdff5f63d605),


1254    u64(0xb5b6101b25490a59),


1255    u64(0x02223e65e5e97804),


1256    u64(0x22bce691d541aa27),


1257    u64(0x0369fd6fd64259a1),


1258    u64(0xb563eba7ddce21b9),


1259    u64(0x02bb31264501e14d),


1260    u64(0xf78322ecb171b494),


1261    u64(0x022f5a850401810a),


1262    u64(0x259e9e47824f8753),


1263    u64(0x037ef73b399c01ab),


1264    u64(0x1e187e9f9b72d2a9),


1265    u64(0x02cbf8fc2e1667bc),


1266    u64(0x4b46cbb2e2c24221),


1267    u64(0x023cc73024deb963),


1268    u64(0x120adf849e039d01),


1269    u64(0x039471e6a1645bd2),


1270    u64(0xdb3be603b19c7d9a),


1271    u64(0x02dd27ebb4504974),


1272    u64(0x7c2feb3627b0647c),


1273    u64(0x024a865629d9d45d),


1274    u64(0x2d197856a5e7072c),


1275    u64(0x03aa7089dc8fba2f),


1276    u64(0x8a7ac6abb7ec05bd),


1277    u64(0x02eec06e4a0c94f2),


1278    u64(0xd52f05562cbcd164),


1279    u64(0x025899f1d4d6dd8e),


1280    u64(0x21e4d556adfae8a0),


1281    u64(0x03c0f64fbaf1627e),


1282    u64(0xe7ea444557fbed4d),


1283    u64(0x0300c50c958de864),


1284    u64(0xecbb69d1132ff10a),


1285    u64(0x0267040a113e5383),


1286    u64(0xadf8a94e851981aa),


1287    u64(0x03d8067681fd526c),


1288    u64(0x8b2d543ed0e13488),


1289    u64(0x0313385ece6441f0),


1290    u64(0xd5bddcff0d80f6d3),


1291    u64(0x0275c6b23eb69b26),


1292    u64(0x892fc7fe7c018aeb),


1293    u64(0x03efa45064575ea4),


1294    u64(0x3a8c9ffec99ad589),


1295    u64(0x03261d0d1d12b21d),


1296    u64(0xc8707fff07af113b),


1297    u64(0x0284e40a7da88e7d),


1298    u64(0x39f39998d2f2742f),


1299    u64(0x0203e9a1fe2071fe),


1300    u64(0x8fec28f484b7204b),


1301    u64(0x033975cffd00b663),


1302    u64(0xd989ba5d36f8e6a2),


1303    u64(0x02945e3ffd9a2b82),


1304    u64(0x47a161e42bfa521c),


1305    u64(0x02104b66647b5602),


1306    u64(0x0c35696d132a1cf9),


1307    u64(0x034d4570a0c5566a),


1308    u64(0x09c454574288172d),


1309    u64(0x02a4378d4d6aab88),


1310    u64(0xa169dd129ba0128b),


1311    u64(0x021cf93dd7888939),


1312    u64(0x0242fb50f9001dab),


1313    u64(0x03618ec958da7529),


1314    u64(0x9b68c90d940017bc),


1315    u64(0x02b4723aad7b90ed),


1316    u64(0x4920a0d7a999ac96),


1317    u64(0x0229f4fbbdfc73f1),


1318    u64(0x750101590f5c4757),


1319    u64(0x037654c5fcc71fe8),


1320    u64(0x2a6734473f7d05df),


1321    u64(0x02c5109e63d27fed),


1322    u64(0xeeb8f69f65fd9e4c),


1323    u64(0x0237407eb641fff0),


1324    u64(0xe45b24323cc8fd46),


1325    u64(0x038b9a6456cfffe7),


1326    u64(0xb6af502830a0ca9f),


1327    u64(0x02d6151d123fffec),


1328    u64(0xf88c402026e7087f),


1329    u64(0x0244ddb0db666656),


1330    u64(0x2746cd003e3e73fe),


1331    u64(0x03a162b4923d708b),


1332    u64(0x1f6bd73364fec332),


1333    u64(0x02e7822a0e978d3c),


1334    u64(0xe5efdf5c50cbcf5b),


1335    u64(0x0252ce880bac70fc),


1336    u64(0x3cb2fefa1adfb22b),


1337    u64(0x03b7b0d9ac471b2e),


1338    u64(0x308f3261af195b56),


1339    u64(0x02f95a47bd05af58),


1340    u64(0x5a0c284e25ade2ab),


1341    u64(0x0261150630d15913),


1342    u64(0x29ad0d49d5e30445),


1343    u64(0x03ce8809e7b55b52),


1344    u64(0x548a7107de4f369d),


1345    u64(0x030ba007ec9115db),


1346    u64(0xdd3b8d9fe50c2bb1),


1347    u64(0x026fb3398a0dab15),


1348    u64(0x952c15cca1ad12b5),


1349    u64(0x03e5eb8f434911bc),


1350    u64(0x775677d6e7bda891),


1351    u64(0x031e560c35d40e30),


1352    u64(0xc5dec645863153a7),


1353    u64(0x027eab3cf7dcd826),


1354]!


1355