pub static LN_2_CONSTANT_TIER_3: (i128, i64) = (12786308645202655659, 3387143063);
pub static LN_PRIMARY_TABLE_TIER_3: [(i128, i64); 1024] = [
(0, 0), (18005608138891807, 2013896867), (35993658392855449, 3802020373), (53964184971124435, 1156268836), (71917221983051266, 1346591412), (89852803438495893, 2767343058), (107770963248212282, 2019182400), (125671735224233103, 2590770180), (143555153080252559, 3279327289), (161421250432007358, 6001124), (179270060797655839, 7024501), (197101617598155273, 4119190043), (214915954157637339, 2762104331), (232713103703781782, 846938710), (250493099368188280, 636446172), (268255974186746517, 126785228), (286001761100004473, 4091235994), (303730492953534952, 1677620738), (321442202498300337, 1593888278), (339136922391015611, 873924291), (356814685194509627, 3442039797), (374475523378084657, 2541583657), (392119469317874212, 4014554131), (409746555297199163, 3925195784), (427356813506922154, 1241338652), (444950276045800327, 1452390043), (462526974920836371, 1083973112), (480086942047627893, 2922216009), (497630209250715134, 4112084438), (515156808263927029, 2101022840), (532666770730725624, 2999352781), (550160128204548866, 3775751040), (567636912149151763, 1044317425), (585097153938945929, 1626155470), (602540884859337531, 1216277566), (619968136107063631, 305665689), (637378938790526945, 1696036421), (654773323930129025, 2408052872), (672151322458601868, 1119309312), (689512965221337965, 3361272399), (706858282976718804, 2158858261), (724187306396441820, 1741983399), (741500066065845820, 1387784483), (758796592484234877, 2236153841), (776076916065200710, 893888867), (793341067136943551, 2120949705), (810589075942591519, 1048465110), (827820972640518494, 1104557216), (845036787304660515, 444158199), (862236549924830697, 3998891543), (879420290407032689, 2066566747), (896588038573772661, 2158047816), (913739824164369854, 3021799588), (930875676835265680, 1402619707), (947995626160331387, 1606407899), (965099701631174303, 2013892886), (982187932657442657, 1183474668), (999260348567128990, 1538236564), (1016316978606872166, 1298121156), (1033357851942257984, 3755626049), (1050382997658118408, 4058159403), (1067392444758829411, 3640360706), (1084386222168607452, 3452874941), (1101364358731804587, 4232475313), (1118326883213202224, 3194271927), (1135273824298303526, 2088634851), (1152205210593624475, 2704368297), (1169121070626983602, 54539008), (1186021432847790384, 457860728), (1202906325627332330, 1332342219), (1219775777259060747, 2461488204), (1236629815958875204, 2330286220), (1253468469865406696, 1650202429), (1270291767040299518, 1636625262), (1287099735468491855, 1587448193), (1303892403058495094, 118283516), (1320669797642671864, 4218005248), (1337431946977512821, 2853279592), (1354178878743912162, 3395645473), (1370910620547441905, 1323795922), (1387627199918624914, 2575529488), (1404328644313206698, 2990540625), (1421014981112425973, 900312694), (1437686237623284003, 2774990454), (1454342441078812731, 3130992307), (1470983618638341692, 1327853971), (1487609797387763727, 1740326414), (1504221004339799503, 3744226020), (1520817266434260841, 663644266), (1537398610538312855, 2357628451), (1553965063446734927, 1461889961), (1570516651882180497, 697561419), (1587053402495435697, 3739862263), (1603575341865676828, 818977979), (1620082496500726674, 1531935432), (1636574892837309685, 3968344429), (1653052557241306011, 3835279853), (1669515516008004403, 1072914989), (1685963795362353987, 4238589353), (1702397421459214924, 2709788927), (1718816420383607940, 1149290650), (1735220818150962759, 62195195), (1751610640707365426, 3684075575), (1767985913929804538, 3137619961), (1784346663626416373, 2897488485), (1800692915536728943, 3828649380), (1817024695331904963, 1937818468), (1833342028614983742, 1694647940), (1849644940921122011, 3972253647), (1865933457717833686, 1519839271), (1882207604405228567, 1845066699), (1898467406316249996, 2745393366), (1914712888716911461, 198322844), (1930944076806532158, 799277786), (1947160995717971525, 2199849291), (1963363670517862739, 3638430126), (1979552126206845192, 1137080345), (1995726387719795943, 3399885941), (2011886479926060167, 1226891433), (2028032427629680580, 3505343196), (2044164255569625877, 3591892865), (2060281988420018159, 1753409404), (2076385650790359373, 3037583171), (2092475267225756768, 1746713), (2108550862207147358, 1131828342), (2124612460151521421, 2439429191), (2140660085412145016, 1454250015), (2156693762278781535, 2371944567), (2172713514977912297, 3934781409), (2188719367672956182, 145752498), (2204711344464488308, 2311392918), (2220689469390457775, 584629983), (2236653766426404449, 2093576558), (2252604259485674824, 3441464307), (2268540972419636943, 49087071), (2284463929017894390, 1541053869), (2300373153008499370, 777099769), (2316268668058164857, 2919141403), (2332150497772475841, 1757936744), (2348018665696099656, 853961134), (2363873195312995412, 831650529), (2379714110046622524, 2894216743), (2395541433260148349, 1196693292), (2411355188256654927, 1020069042), (2427155398279344845, 786625665), (2442942086511746214, 392964409), (2458715276077916771, 3731050108), (2474474990042647114, 331391227), (2490221251411663057, 1141502419), (2505954083131827139, 1474834119), (2521673508091339261, 1749673070), (2537379549119936475, 1776209012), (2553072228989091922, 201904587), (2568751570412212923, 549121981), (2584417596044838232, 3693467939), (2600070328484834452, 881152766), (2615709790272591610, 2749336580), (2631336003891217919, 2266063460), (2646948991766733701, 1326933064), (2662548776268264498, 3005436167), (2678135379708233368, 196665859), (2693708824342552360, 4173502074), (2709269132370813198, 1850740448), (2724816325936477141, 1031478833), (2740350427127064061, 684131539), (2755871457974340716, 2368615554), (2771379440454508236, 2734584484), (2786874396488388818, 1402542622), (2802356347941611639, 2603453116), (2817825316624797993, 1737387740), (2833281324293745645, 3747042319), (2848724392649612422, 4139191603), (2864154543339099029, 828137631), (2879571797954631102, 1798672375), (2894976178034540508, 2079342001), (2910367705063245879, 2205025168), (2925746400471432399, 2813501936), (2941112285636230842, 120256385), (2956465381881395860, 2626672858), (2971805710477483540, 3423950106), (2987133292642028212, 1275979291), (3002448149539718528, 363423061), (3017750302282572813, 83972313), (3033039771930113685, 3392594771), (3048316579489541957, 3355684295), (3063580745915909812, 1992470407), (3078832292112293268, 3718662119), (3094071238929963932, 2928065470), (3109297607168560038, 2339722708), (3124511417576256786, 4161360988), (3139712690849935979, 1932381406), (3154901447635354955, 823288782), (3170077708527314832, 3888387086), (3185241494069828061, 467614940), (3200392824756285280, 1438691799), (3215531721029621500, 2727905354), (3230658203282481597, 3217475461), (3245772291857385131, 1240983285), (3260874007046890488, 1150096629), (3275963369093758355, 1224379557), (3291040398191114522, 2834086041), (3306105114482612023, 3375592410), (3321157538062592612, 4138294254), (3336197688976247584, 4052469179), (3351225587219777939, 1727952222), (3366241252740553893, 2344921023), (3381244705437273746, 110050426), (3396235965160122095, 1402851773), (3411215051710927415, 3335936724), (3426181984843318994, 1290016543), (3441136784262883231, 123978764), (3456079469627319306, 3684655784), (3471010060546594221, 115335959), (3485928576583097201, 3336990514), (3500835037251793493, 548525102), (3515729462020377520, 3410928611), (3530611870309425440, 1074922235), (3545482281492547069, 3980897592), (3560340714896537212, 2215343602), (3575187189801526367, 1438475339), (3590021725441130836, 2973594324), (3604844341002602229, 736158828), (3619655055626976362, 3185508165), (3634453888409221570, 2512766503), (3649240858398386412, 2187389553), (3664015984597746794, 3462242966), (3678779285964952501, 1692222463), (3693530781412173139, 303458380), (3708270489806243499, 2937649153), (3722998429968808342, 63218749), (3737714620676466596, 637737216), (3752419080660914993, 425686758), (3767111828609091122, 1847812341), (3781792883163315920, 2604078637), (3796462262921435592, 3390937787), (3811119986436962970, 3364345454), (3825766072219218309, 3475093967), (3840400538733469526, 3379225969), (3855023404401071882, 3332435043), (3869634687599607112, 939265967), (3884234406663022001, 2629841519), (3898822579881766420, 954906886), (3913399225502930805, 1871904599), (3927964361730383105, 1449526943), (3942518006724905181, 335470799), (3957060178604328671, 2537302599), (3971590895443670323, 840403168), (3986110175275266786, 2666438020), (4000618036088908883, 4087157276), (4015114495831975348, 37577989), (4029599572409566036, 2749480026), (4044073283684634624, 1712806568), (4058535647478120774, 277756640), (4072986681569081790, 1959450581), (4087426403694823758, 4133104254), (4101854831551032171, 915894124), (4116271982791902040, 1269841381), (4130677875030267507, 3879067491), (4145072525837730945, 3442645961), (4159455952744791553, 4184263543), (4173828173240973457, 3439585965), (4188189204774953306, 2616432794), (4202539064754687375, 3983889825), (4216877770547538175, 3231706979), (4231205339480400567, 572181490), (4245521788839827389, 1563404117), (4259827135872154600, 254201375), (4274121397783625930, 1622565877), (4288404591740517057, 2787691717), (4302676734869259297, 2747191761), (4316937844256562818, 2964820025), (4331187936949539379, 4031945713), (4345427029955824595, 3574595523), (4359655140243699729, 526768231), (4373872284742213014, 2249993451), (4388078480341300515, 863850950), (4402273743891906514, 1066110080), (4416458092206103443, 1282657460), (4430631542057211350, 1736514265), (4444794110179916909, 1306840607), (4458945813270391972, 834447470), (4473086667986411668, 416913883), (4487216690947472048, 3957857248), (4501335898734907285, 1237174301), (4515444307892006414, 800521856), (4529541934924129640, 2235241355), (4543628796298824194, 2511180034), (4557704908445939747, 2168949278), (4571770287757743386, 2861357167), (4585824950589034153, 592330852), (4599868913257257143, 426439779), (4613902192042617175, 1086958524), (4627924803188192026, 894140488), (4641936762900045235, 3435723447), (4655938087347338484, 1316756193), (4669928792662443543, 2190522303), (4683908894941053803, 2314158807), (4697878410242295377, 1807009054), (4711837354588837785, 1127074130), (4725785743967004219, 4136685997), (4739723594326881396, 1545594351), (4753650921582428985, 2965877803), (4767567741611588637, 1086694184), (4781474070256392589, 542444080), (4795369923323071869, 3487465569), (4809255316582164092, 2762135254), (4823130265768620844, 3428699643), (4836994786581914672, 3219318990), (4850848894686145665, 4131447269), (4864692605710147640, 2810588969), (4878525935247593925, 1808968702), (4892348898857102750, 2163730249), (4906161512062342242, 2122493234), (4919963790352135026, 1034235173), (4933755749180562435, 3088682274), (4947537403967068335, 2662911399), (4961308770096562555, 1713999581), (4975069862919523937, 2243267230), (4988820697752103001, 2718132332), (5002561289876224226, 1529146151), (5016291654539687950, 1931433412), (5030011806956271894, 4291640970), (5043721762305832308, 1488312699), (5057421535734404735, 1865811115), (5071111142354304413, 1025183309), (5084790597244226293, 4086709930), (5098459915449344697, 2453316050), (5112119111981412595, 2340706369), (5125768201818860527, 439997696), (5139407199906895149, 3905674593), (5153036121157597426, 2846938271), (5166654980450020449, 1033033489), (5180263792630286902, 33972027), (5193862572511686165, 3781205514), (5207451334874771064, 3123269827), (5221030094467454255, 2995498409), (5234598866005104265, 169146013), (5248157664170641170, 4194130332), (5261706503614631935, 841546925), (5275245398955385384, 2130927700), (5288774364779046844, 575579106), (5302293415639692424, 1727702110), (5315802566059422961, 4128597171), (5329301830528457617, 1894164161), (5342791223505227130, 3528201200), (5356270759416466736, 393331719), (5369740452657308736, 2920043811), (5383200317591374743, 608574159), (5396650368550867574, 2493523885), (5410090619836662825, 1176115100), (5423521085718400097, 4144530259), (5436941780434573905, 1192879334), (5450352718192624240, 3005508116), (5463753913169026820, 2473900155), (5477145379509382998, 2339765419), (5490527131328509353, 3618552362), (5503899182710526954, 3845370870), (5517261547708950299, 2614814109), (5530614240346775933, 3265519754), (5543957274616570748, 3824743105), (5557290664480559961, 362626999), (5570614423870714772, 105866393), (5583928566688839713, 2975750838), (5597233106806659678, 380045455), (5610528058065906633, 1403801565), (5623813434278406027, 2025414692), (5637089249226162881, 1933485648), (5650355516661447572, 1692194109), (5663612250306881308, 3168220624), (5676859463855521298, 1743694321), (5690097170970945611, 1760661798), (5703325385287337738, 714736349), (5716544120409570844, 3651376611), (5729753389913291727, 341060038), (5742953207345004463, 990370302), (5756143586222153768, 2879874935), (5769324540033208052, 810153939), (5782496082237742175, 3885958598), (5795658226266519919, 3961241655), (5808810985521576152, 4249344394), (5821954373376298710, 1827203667), (5835088403175509980, 2419132032), (5848213088235548200, 4085052946), (5861328441844348465, 2375591611), (5874434477261523444, 770498252), (5887531207718443815, 1600649050), (5900618646418318413, 4167329867), (5913696806536274094, 2386770201), (5926765701219435312, 31846516), (5939825343587003420, 1487626455), (5952875746730335691, 336374710), (5965916923713024052, 947127733), (5978948887570973549, 845490139), (5991971651312480528, 3348097296), (6004985227918310547, 1072182324), (6017989630341776003, 4049825542), (6030984871508813501, 1468164226), (6043970964318060932, 3730311097), (6056947921640934299, 2269655633), (6069915756321704256, 2353510615), (6082874481177572391, 620069694), (6095824108998747232, 2406921727), (6108764652548519995, 2106791168), (6121696124563340058, 86278478), (6134618537752890175, 830738043), (6147531904800161429, 1379455252), (6160436238361527918, 566766951), (6173331551066821181, 3726971390), (6186217855519404370, 1792747574), (6199095164296246151, 2478087224), (6211963489947994361, 2235345162), (6224822844999049398, 2401669724), (6237673241947637361, 1128800534), (6250514693265882932, 41946657), (6263347211399882007, 126617023), (6276170808769774073, 4269740442), (6288985497769814338, 909655495), (6301791290768445598, 2011836905), (6314588200108369873, 2406955258), (6327376238106619780, 2384055413), (6340155417054629665, 3481806876), (6352925749218306489, 3363417940), (6365687246838100466, 2754543916), (6378439922129075459, 3042539927), (6391183787280979133, 3179055768), (6403918854458312865, 211995604), (6416645135800401410, 2046941151), (6429362643421462336, 887818570), (6442071389410675207, 1814815678), (6454771385832250539, 3368512508), (6467462644725498513, 3082412569), (6480145178104897452, 2101491911), (6492818997960162065, 184041555), (6505484116256311454, 2428750166), (6518140544933736893, 3214409637), (6530788295908269367, 3014059682), (6543427381071246885, 2056467047), (6556057812289581561, 687518410), (6568679601405826465, 1904812747), (6581292760238242248, 2929356514), (6593897300580863536, 1313629020), (6606493234203565097, 2411343801), (6619080572852127788, 2130198971), (6631659328248304270, 474261584), (6644229512089884502, 2579460419), (6656791136050761016, 2581547466), (6669344211780993962, 1471745969), (6681888750906875937, 2702505001), (6694424765030996595, 2301710315), (6706952265732307032, 3120189413), (6719471264566183959, 1214656452), (6731981773064493650, 4019177962), (6744483802735655684, 2501171281), (6756977365064706457, 4163523897), (6769462471513362494, 1808268064), (6781939133520083533, 2067525255), (6794407362500135408, 1466507241), (6806867169845652710, 3924160008), (6819318566925701245, 1780809343), (6831761565086340271, 1338515958), (6844196175650684536, 2083809278), (6856622409918966101, 1953972921), (6869040279168595955, 2206646584), (6881449794654225425, 2615310124), (6893850967607807378, 3466043090), (6906243809238657219, 749296782), (6918628330733513679, 3873294498), (6931004543256599411, 2129756256), (6943372457949681366, 3694525256), (6955732085932130984, 346208081), (6968083438300984167, 3127279683), (6980426526131001069, 2097979013), (6992761360474725668, 3964770180), (7005087952362545155, 701258657), (7017406312802749110, 1436237967), (7029716452781588495, 2169502118), (7042018383263334439, 4083343318), (7054312115190336834, 2223261309), (7066597659483082729, 3744616297), (7078875027040254540, 1762307348), (7091144228738788054, 2623669312), (7103405275433930252, 2545820673), (7115658177959296931, 2816807613), (7127902947126930140, 2420700682), (7140139593727355423, 1420828767), (7152368128529638873, 1175523517), (7164588562281443998, 330558381), (7176800905709088396, 2697324609), (7189005169517600248, 1571247526), (7201201364390774615, 3814341622), (7213389500991229561, 2392206348), (7225569589960462078, 3609564090), (7237741641918903839, 525458613), (7249905667465976754, 3058023027), (7262061677180148358, 3346027741), (7274209681618987002, 4028133563), (7286349691319216873, 863261172), (7298481716796772825, 79811810), (7310605768546855038, 503456198), (7322721857043983491, 3643106702), (7334829992742052261, 3231524023), (7346930186074383638, 192349547), (7359022447453782066, 3092141154), (7371106787272587913, 4186966515), (7383183215902731054, 2763763998), (7395251743695784285, 1434142519), (7407312380983016562, 4103927423), (7419365138075446069, 1378578193), (7431410025263893102, 2165610018), (7443447052819032795, 2718059077), (7455476230991447663, 3393065579), (7467497570011679979, 2997793604), (7479511080090283978, 3660962237), (7491516771417877894, 3320596490), (7503514654165195825, 150223781), (7515504738483139428, 3168015314), (7527487034502829456, 310810810), (7539461552335657110, 2745868514), (7551428302073335245, 712586353), (7563387293787949391, 1181200850), (7575338537532008623, 4070235194), (7587282043338496261, 1385177341), (7599217821220920400, 2023998166), (7611145881173364289, 3378313483), (7623066233170536538, 2645322230), (7634978887167821164, 3314400180), (7646883853101327480, 2344763617), (7658781140887939817, 3667986738), (7670670760425367093, 557831356), (7682552721592192212, 2541785976), (7694427034247921318, 2128099272), (7706293708233032876, 4243435706), (7718152753369026608, 746249869), (7730004179458472259, 2441113), (7741847996285058219, 2454776957), (7753684213613639983, 2084453992), (7765512841190288452, 3457230935), (7777333888742338088, 1085334276), (7789147365978434905, 968821097), (7800953282588584316, 959883219), (7812751648244198820, 1201014946), (7824542472598145539, 4207490535), (7836325765284793606, 2808034738), (7848101535920061394, 1390999027), (7859869794101463602, 4223052710), (7871630549408158191, 3380549072), (7883383811400993162, 3117653723), (7895129589622553195, 1520221256), (7906867893597206133, 607333593), (7918598732831149322, 67423822), (7930322116812455801, 2819536138), (7942038055011120350, 449968053), (7953746556879105382, 1053113891), (7965447631850386702, 3080885360), (7977141289340999113, 3478079379), (7988827538749081878, 3816466260), (8000506389454924041, 3899682901), (8012177850821009603, 2365347722), (8023841932192062554, 2325591325), (8035498642895091766, 2896993971), (8047147992239435742, 410312366), (8058789989516807221, 1605312181), (8070424644001337650, 3861204459), (8082051964949621510, 582272507), (8093671961600760499, 1128723449), (8105284643176407587, 3133166223), (8116890018880810924, 1062031362), (8128488097900857608, 3202173976), (8140078889406117326, 3473223146), (8151662402548885847, 485304253), (8163238646464228382, 1633162624), (8174807630270022814, 1547598022), (8186369363067002783, 1524853202), (8197923853938800642, 3400984402), (8209471111951990279, 1522973944), (8221011146156129799, 753779424), (8232543965583804080, 2539682763), (8244069579250667193, 4138079585), (8255587996155484689, 259883808), (8267099225280175750, 2141182261), (8278603275589855221, 3150130933), (8290100156032875498, 414460051), (8301589875540868289, 1557123918), (8313072443028786252, 1453047356), (8324547867394944493, 4105120436), (8336016157521061945, 1519767862), (8347477322272302607, 1842022872), (8358931370497316668, 1432561688), (8370378311028281493, 1718651234), (8381818152680942487, 4138348978), (8393250904254653833, 2387794529), (8404676574532419097, 4057533099), (8416095172280931719, 2065903535), (8427506706250615366, 972402840), (8438911185175664170, 1381804926), (8450308617774082838, 260005489), (8461699012747726636, 549469609), (8473082378782341254, 1988778752), (8484458724547602546, 866847363), (8495828058697156145, 664116097), (8507190389868656961, 1164872626), (8518545726683808554, 2335951462), (8529894077748402387, 3424154344), (8541235451652356958, 3486242487), (8552569856969756812, 967164112), (8563897302258891431, 2818869882), (8575217796062294012, 2104288852), (8586531346906780115, 3281989600), (8597837963303486203, 2560266868), (8609137653747908056, 2500033159), (8620430426719939073, 2598927906), (8631716290683908454, 2070363238), (8642995254088619265, 3778650006), (8654267325367386390, 3988484104), (8665532512938074362, 4118822965), (8676790825203135083, 3373951369), (8688042270549645426, 4131198549), (8699286857349344726, 1827483145), (8710524593958672150, 4093601057), (8721755488718803964, 3618418956), (8732979549955690675, 1016197370), (8744196785980094066, 2163981870), (8755407205087624122, 367790148), (8766610815558775834, 953443134), (8777807625658965901, 4136484082), (8788997643638569317, 3752103284), (8800180877732955843, 3584000189), (8811357336162526376, 1484132166), (8822527027132749201, 3137109438), (8833689958834196141, 2761640414), (8844846139442578589, 1178149305), (8855995577118783436, 2815435733), (8867138280008908893, 1941524429), (8878274256244300197, 2756427870), (8889403513941585218, 2013298702), (8900526061202709952, 266307635), (8911641906114973910, 462339655), (8922751056751065401, 4126182548), (8933853521169096710, 2496987248), (8944949307412639162, 2916493550), (8956038423510758093, 1913570380), (8967120877478047706, 1106321355), (8978196677314665827, 3122357341), (8989265831006368558, 2040422887), (9000328346524544820, 29639207), (9011384231826250798, 251486914), (9022433494854244282, 3392334616), (9033476143537018906, 827884902), (9044512185788838277, 363918043), (9055541629509770014, 231997164), (9066564482585719676, 3105857204), (9077580752888464595, 2983840963), (9088590448275687601, 2330259464), (9099593576591010653, 897930373), (9110590145664028366, 726887861), (9121580163310341440, 3088335980), (9132563637331589990, 3201274794), (9143540575515486773, 1427747038), (9154510985635850319, 2401659838), (9165474875452637966, 3604584294), (9176432252711978793, 665446794), (9187383125146206453, 2295024691), (9198327500473891919, 515285591), (9209265386399876119, 751195918), (9220196790615302486, 1598085426), (9231121720797649405, 3050070516), (9242040184610762567, 1709839078), (9252952189704887224, 213489484), (9263857743716700352, 2263483426), (9274756854269342720, 3311448541), (9285649528972450859, 4106434976), (9296535775422188942, 1303813409), (9307415601201280564, 3813338103), (9318289013879040439, 3299897892), (9329156021011405990, 3338248588), (9340016630140968857, 1263762012), (9350870848797006305, 1438987395), (9361718684495512546, 1211061640), (9372560144739229963, 2498376175), (9383395237017680247, 3154909032), (9394223968807195439, 3859285081), (9405046347570948884, 1845420488), (9415862380758986090, 2915478920), (9426672075808255504, 1565844232), (9437475440142639188, 3605248318), (9448272481172983416, 2429844151), (9459063206297129171, 503075286), (9469847622899942560, 78929354), (9480625738353345138, 3165766792), (9491397560016344146, 592886374), (9502163095235062651, 3050971215), (9512922351342769614, 3763365267), (9523675335659909856, 2957887806), (9534422055494133944, 965208167), (9545162518140327987, 4203395691), (9555896730880643352, 2403578112), (9566624700984526280, 4275349498), (9577346435708747432, 4056917773), (9588061942297431337, 497823283), (9598771227982085758, 838261559), (9609474299981630978, 2473372588), (9620171165502428995, 820244956), (9630861831738312631, 3180741762), (9641546305870614566, 2618310594), (9652224595068196276, 3300776350), (9662896706487476897, 4072428641), (9673562647272462001, 1632468381), (9684222424554772287, 1677387859), (9694876045453672196, 590031777), (9705523517076098435, 3332302028), (9716164846516688428, 1459571499), (9726800040857808673, 2673642947), (9737429107169583031, 1462695092), (9748052052509920921, 3710049308), (9758668883924545445, 3400339772), (9769279608447021422, 2820335172), (9779884233098783349, 143094710), (9790482764889163276, 1423308773), (9801075210815418608, 2357728579), (9811661577862759820, 1123931685), (9822241873004378095, 526702683), (9832816103201472885, 626250697), (9843384275403279391, 197645470), (9853946396547095963, 3891329934), (9864502473558311428, 1895130105), (9875052513350432328, 562688233), (9885596522825110092, 2079995321), (9896134508872168126, 3035788714), (9906666478369628824, 152620606), (9917192438183740501, 20777587), (9927712395169004255, 3902888069), (9938226356168200750, 3097045049), (9948734328012416916, 3161904274), (9959236317521072584, 813459615), (9969732331501947036, 507497360), (9980222376751205486, 3098471424), (9990706460053425484, 2040339634), (10001184588181623240, 1115668011), (10011656767897279880, 3250423582), (10022123005950367627, 1571897987), (10032583309079375900, 3862866824), (10043037684011337352, 1301687898), (10053486137461853819, 2827141002), (10063928676135122211, 3059462880), (10074365306723960318, 812875011), (10084796035909832547, 547068234), (10095220870362875589, 2115331521), (10105639816741924011, 1342679743), (10116052881694535773, 2488316081), (10126460071857017680, 692928005), (10136861393854450753, 4176320368), (10147256854300715541, 2738005608), (10157646459798517346, 3857628096), (10168030216939411392, 4284939944), (10178408132303827914, 1228176025), (10188780212461097177, 1216735389), (10199146463969474431, 1889911076), (10209506893376164789, 3563772810), (10219861507217348040, 50126480), (10230210312018203385, 1276709227), (10240553314292934116, 2814863101), (10250890520544792215, 2100579425), (10261221937266102887, 2217089103), (10271547570938289027, 4232806936), (10281867428031895618, 1969448057), (10292181515006614055, 1661194758), (10302489838311306410, 3062588956), (10312792404384029624, 3113037260), (10323089219652059631, 1657614239), (10333380290531915416, 1604945723), (10343665623429383008, 194132572), (10353945224739539401, 2398641916), (10364219100846776416, 1591991942), (10374487258124824487, 1445336942), (10384749702936776389, 2699482304), (10395006441635110897, 3004205651), (10405257480561716378, 2179496877), (10415502826047914319, 954690301), (10425742484414482789, 2712642734), (10435976461971679839, 1992667799), (10446204765019266830, 3631855420), (10456427399846531706, 456680962), (10466644372732312191, 641974232), (10476855689945018934, 2577214646), (10487061357742658582, 4055120150), (10497261382372856791, 3744934550), (10507455770072881174, 153929854), (10517644527069664183, 1867062032), (10527827659579825936, 2721679236), (10538005173809696971, 124751274), (10548177075955340940, 1572636538), (10558343372202577247, 3084657060), (10568504068727003616, 567727752), (10578659171694018597, 636584538), (10588808687258844017, 1705717649), (10598952621566547363, 2065071424), (10609090980752064105, 1453882937), (10619223770940219958, 1298376347), (10629350998245753084, 185749004), (10639472668773336230, 2618390253), (10649588788617598811, 3254382027), (10659699363863148925, 3326308429), (10669804400584595313, 4257963822), (10679903904846569259, 804686740), (10689997882703746424, 334754986), (10700086340200868630, 376751820), (10710169283372765576, 2583470402), (10720246718244376500, 3820753554), (10730318650830771778, 3870711086), (10740385087137174467, 516091570), (10750446033158981785, 2898952891), (10760501494881786542, 3849301801), (10770551478281398501, 2200080982), (10780595989323865686, 2892991487), (10790635033965495635, 4280897317), (10800668618152876591, 3504289195), (10810696747822898635, 3571551697), (10820719428902774766, 1474731381), (10830736667310061918, 1093947163), (10840748468952681926, 151251146), (10850754839728942429, 3550923932), (10860755785527557724, 3771012663), (10870751312227669554, 2111893224), (10880741425698867846, 2870717352), (10890726131801211394, 2701931665), (10900705436385248481, 1716048936), (10910679345292037448, 2736348623), (10920647864353167209, 3784941001), (10930610999390777708, 1751595519), (10940568756217580319, 3720974611), (10950521140636878199, 3776298196), (10960468158442586576, 3353650660), (10970409815419252989, 2894401451), (10980346117342077471, 4209487339), (10990277069976932680, 2836901741), (11000202679080383971, 1210495949), (11010122950399709419, 440917176), (11020037889672919786, 1521128650), (11029947502628778435, 3816472500), (11039851794986821191, 1581338543), (11049750772457376144, 716551129), (11059644440741583407, 669399342), (11069532805531414815, 2339589265), (11079415872509693574, 4067397422), (11089293647350113856, 3612139425), (11099166135717260341, 2551503106), (11109033343266627709, 939644266), (11118895275644640078, 124009297), (11128751938488670391, 1553384494), (11138603337427059752, 2291891860), (11148449478079136708, 835882690), (11158290366055236480, 1058217404), (11168126006956720146, 2101772438), (11177956406375993770, 696084221), (11187781569896527478, 2303644094), (11197601503092874490, 3140005618), (11207416211530690094, 3893510694), (11217225700766750575, 3732157), (11227029976348972087, 729332096), (11236829043816429486, 384446531), (11246622908699375101, 1213807282), (11256411576519257463, 2690670149), (11266195052788739982, 868100186), (11275973343011719571, 2756932728), (11285746452683345230, 571670966), (11295514387290036568, 1006931125), (11305277152309502288, 2841088908), (11315034753210758617, 844890700), (11324787195454147684, 3776006369), (11334534484491355861, 2698429984), (11344276625765432041, 1956841400), (11354013624710805879, 1795299995), (11363745486753305980, 1995836460), (11373472217310178040, 1420806347), (11383193821790102938, 2700196045), (11392910305593214784, 1237899540), (11402621674111118913, 2133102554), (11412327932726909840, 1236347252), (11422029086815189159, 3996433036), (11431725141742083405, 1133125252), (11441416102865261856, 556918870), (11451101975533954302, 206398109), (11460782765088968758, 1219766307), (11470458476862709135, 1941008727), (11480129116179192862, 3453152217), (11489794688354068465, 1494208589), (11499455198694633094, 4033605380), (11509110652499850015, 2115474967), (11518761055060366042, 1961525989), (11528406411658528936, 2985657679), (11538046727568404752, 3938718877), (11547682008055795142, 3435451400), (11557312258378254612, 4063094780), (11566937483785107737, 3499099195), (11576557689517466327, 3307816668), (11586172880808246552, 1659323325), (11595783062882186019, 635836323), (11605388240955860807, 2954424781), (11614988420237702459, 2997304771), (11624583605928014924, 2808640902), (11634173803218991461, 2110236240), (11643759017294731496, 1580652192), (11653339253331257436, 2805580906), (11662914516496531441, 1190059184), (11672484811950472147, 2480724743), (11682050144844971354, 3349884766), (11691610520323910664, 1045109280), (11701165943523178076, 2616681249), (11710716419570684545, 4233143727), (11720261953586380491, 1287414842), (11729802550682272264, 4094521198), (11739338215962438578, 3915163612), (11748868954523046888, 1540996505), (11758394771452369733, 222056200), (11767915671830801036, 2153686658), (11777431660730872363, 493639250), (11786942743217269133, 1827672738), (11796448924346846797, 2330814966), (11805950209168646966, 4078198281), (11815446602723913504, 3338559650), (11824938110046108574, 2940590464), (11834424736160928648, 2016091251), (11843906486086320472, 2321258505), (11853383364832496993, 1615988392), (11862855377401953242, 413699237), (11872322528789482178, 1167584774), (11881784823982190493, 432105021), (11891242267959514372, 306391686), (11900694865693235217, 1039809847), (11910142622147495329, 1102509206), (11919585542278813549, 957117148), (11929023631036100860, 2470856328), (11938456893360675951, 200442411), (11947885334186280734, 3729903873), (11957308958439095835, 1390567947), (11966727771037756027, 3323852189), (11976141776893365643, 1197926796), (11985550980909513932, 4010003963), (11994955387982290393, 166516797), (12004355003000300051, 974287380), (12013749830844678713, 2846370240), (12023139876389108173, 1877174975), (12032525144499831380, 1166124881), (12041905640035667571, 2806904890), (12051281367848027365, 2227352108), (12060652332780927814, 2563245827), (12070018539671007422, 2322955273), (12079379993347541121, 4087402016), (12088736698632455214, 1793706082), (12098088660340342272, 2933365186), (12107435883278476005, 260135429), (12116778372246826082, 874556987), (12126116132038072926, 1506990170), (12135449167437622463, 682751134), (12144777483223620836, 1012251135), (12154101084166969084, 2091958508), (12163419975031337782, 1680153748), (12172734160573181643, 1334900590), (12182043645541754085, 4110017210), (12191348434679121764, 493069071), (12200648532720179059, 3192223917), (12209943944392662539, 2398564831), (12219234674417165375, 911589292), (12228520727507151727, 751143267), (12237802108368971092, 1855937083), (12247078821701872616, 452689125), (12256350872198019367, 448097232), (12265618264542502577, 3949554020), (12274881003413355848, 2853460510), (12284139093481569315, 2028296798), (12293392539411103783, 1538769821), (12302641345858904823, 2794694584), (12311885517474916836, 427439484), (12321125058902097075, 3299540822), (12330359974776429644, 3497442210), (12339590269726939449, 1134284296), (12348815948375706120, 3809524145), (12358037015337877904, 1174963643), (12367253475221685509, 954539808), (12376465332628455928, 2310266363), (12385672592152626221, 1488488175), (12394875258381757262, 125005019), (12404073335896547454, 3765942894), (12413266829270846414, 2454677215), (12422455743071668612, 2542988440), (12431640081859206989, 2789442581), (12440819850186846534, 1079994522), (12449995052601177827, 2140178211), (12459165693642010554, 901704344), (12468331777842386980, 2084127273), (12477493309728595397, 3406757893), (12486650293820183533, 2988492616), (12495802734629971929, 1297428353), (12504950636664067283, 2370390818), (12514094004421875764, 1841159089), (12523232842396116287, 854307640), (12532367155072833759, 3335744917), (12541496946931412295, 1334210133), (12550622222444588392, 391178250), (12559742986078464080, 3751190798), (12568859242292520039, 3072208568), (12577970995539628676, 1819310991), (12587078250266067178, 3034357387), (12596181010911530532, 546984200), (12605279281909144505, 4100959933), (12614373067685478607, 19488308), (12623462372660559001, 2434714008), (12632547201247881405, 2212933212), (12641627557854423942, 2957704850), (12650703446880659971, 2759186582), (12659774872720570880, 3694934264), (12668841839761658852, 2237005494), (12677904352384959594, 3913147342), (12686962414965055043, 2489264768), (12696016031870086031, 1377956759), (12705065207461764927, 357726810), (12714109946095388243, 3830108250), (12723150252119849215, 3761382721), (12732186129877650344, 2123378065), (12741217583704915914, 207541866), (12750244617931404476, 2444239904), (12759267236880521306, 753524092), (12768285444869330822, 4236541343), (12777299246208568986, 2921780009), ];
pub static LN_SECONDARY_TABLE_TIER_3: [(i128, i64); 1024] = [
(0, 0), (17592177655813, 1431639381), (35184338534442, 2863049387), (52776482635919, 4293640195), (70368609960277, 1427461474), (87960720507546, 2853071569), (105552814277759, 4273733729), (123144891270949, 1392317991), (140736951487146, 2796203076), (158328994926383, 4187472610), (175921021588693, 1267817015), (193513031474106, 2623435399), (211105024582655, 3955231782), (228697000914373, 963716982), (246288960469290, 2233910509), (263880903247439, 3465536788), (281472829248853, 357927048), (299064738473562, 1494921214), (316656630921599, 2575064131), (334248506592996, 3591474748), (351840365487786, 241911530), (369432207605999, 1108641642), (387024032947668, 1888637176), (404615841512825, 2573444335), (422207633301502, 3154216138), (439799408313731, 3621712425), (457391166549544, 3966299852), (474982908008973, 4177951901), (492574632692050, 4246248874), (510166340598807, 4160377898), (527758031729276, 3909132926), (545349706083489, 3480914740), (562941363661478, 2863730950), (580533004463275, 2045195995), (598124628488912, 1012531148), (615716235738420, 4047531811), (633307826211833, 2546698333), (650899399909182, 791039787), (668490956830498, 3061172084), (686082496975815, 752416087), (703674020345163, 2439568684), (721265526938575, 3812131717), (738857016756084, 559213873), (756448489797720, 1254432572), (774039946063516, 1586110191), (791631385553504, 1537143255), (809222808267716, 1090035136), (826814214206184, 226896060), (844405603368939, 3224410400), (861996975756015, 1473967496), (879588331367442, 3546432729), (897179670203254, 832409152), (914770992263481, 1901975863), (932362297548156, 2439916930), (949953586057311, 2425590580), (967544857790978, 1837961905), (985136112749189, 655602859), (1002727350931975, 3151659562), (1020318572339370, 713983110), (1037909776971404, 1909900657), (1055500964828110, 2421444336), (1073092135909520, 2225220451), (1090683290215666, 1297442178), (1108274427746579, 3908896867), (1125865548502293, 1445076855), (1143456652482838, 2470950542), (1161047739688247, 2666191320), (1178638810118552, 2005046758), (1196229863773785, 461371310), (1213820900653977, 2303593607), (1231411920759161, 3209814578), (1249002924089369, 3152709333), (1266593910644633, 2104559870), (1284184880424985, 37255080), (1301775833430456, 1217258042), (1319366769661079, 1320704133), (1336957689116886, 318302926), (1354548591797908, 2475338182), (1372139477704178, 3466765970), (1389730346835728, 3262116555), (1407321199192590, 1830527102), (1424912034774795, 3435708975), (1442502853582376, 3751045849), (1460093655615365, 2744495603), (1477684440873794, 383623019), (1495275209357694, 930567087), (1512865961067098, 57139113), (1530456696002037, 2024691907), (1548047414162544, 2504250601), (1565638115548651, 1461414537), (1583228800160389, 3156357266), (1600819467997791, 3258924670), (1618410119060889, 1733536841), (1636000753349714, 2839188091), (1653591370864299, 2244545059), (1671181971604675, 4207815901), (1688772555570876, 101913811), (1706363122762931, 2774195388), (1723953673180874, 3596787678), (1741544206824737, 2531359252), (1759134723694551, 3834152904), (1776725223790349, 3171083770), (1794315707112163, 502641217), (1811906173660024, 83888843), (1829496623433964, 1874529886), (1847087056434016, 1538907227), (1864677472660211, 3330905280), (1882267872112582, 2914080805), (1899858254791161, 246564806), (1917448620695978, 3876029820), (1935038969827068, 874918851), (1952629302184460, 4085085626), (1970219617768189, 578187045), (1987809916578284, 3195290735), (2005400198614779, 3302234795), (2022990463877706, 854398869), (2040580712367096, 101736852), (2058170944082981, 998842300), (2075761159025393, 3499915725), (2093351357194365, 3263797306), (2110941538589929, 243901475), (2128531703212115, 2983184222), (2146121851060957, 2844339314), (2163711982136486, 4074569373), (2181302096438735, 2330749397), (2198892193967735, 1859295941), (2216482274723518, 2611265237), (2234072338706117, 242353192), (2251662385915562, 3292764574), (2269252416351887, 3122441939), (2286842430015123, 3975836710), (2304432426905303, 1507072694), (2322022407022457, 4254782566), (2339612370366619, 3577336795), (2357202316937820, 3717614723), (2374792246736093, 328168082), (2392382159761468, 1946057477), (2409972056013978, 4223048610), (2427561935493656, 2810514174), (2445151798200533, 1949368441), (2462741644134641, 1585165380), (2480331473296012, 1663065949), (2497921285684678, 2127838103), (2515511081300671, 2923856791), (2533100860144023, 3995103961), (2550690622214767, 990201261), (2568280367512933, 2442279227), (2585870096038554, 3999173510), (2603459807791663, 1308326763), (2621049502772290, 2901690532), (2638639180980469, 130954184), (2656228842416230, 1527283277), (2673818487079606, 2736548492), (2691408114970629, 3699194816), (2708997726089332, 60306949), (2726587320435745, 349478496), (2744176898009901, 211008187), (2761766458811831, 3878736361), (2779356002841569, 2701208487), (2796945530099146, 911478941), (2814535040584593, 2742209120), (2832124534297943, 3835732852), (2849714011239228, 4128958284), (2867303471408480, 3558400589), (2884892914805731, 2060181967), (2902482341431012, 3864998941), (2920071751284357, 318253179), (2937661144365795, 4239789857), (2955250520675361, 2679257410), (2972839880213085, 4160747787), (2990429222979001, 28090788), (3008018548973138, 3099559732), (3025607858195531, 423231198), (3043197150646210, 521625290), (3060786426325207, 3326934557), (3078375685232556, 181024003), (3095964927368286, 3900202156), (3113554152732432, 1530580812), (3131143361325024, 1592715298), (3148732553146094, 4016833398), (3166321728195676, 142835352), (3183910886473799, 2785064936), (3201500027980497, 3282636499), (3219089152715802, 1564206035), (3236678260679745, 1853003893), (3254267351872358, 4076900186), (3271856426293674, 3868404786), (3289445483943725, 1154601927), (3307034524822542, 157150200), (3324623548930157, 802347964), (3342212556266602, 3016100645), (3359801546831910, 2428953439), (3377390520626112, 3260993204), (3394979477649241, 1141979276), (3412568417901328, 291212656), (3430157341382405, 632634119), (3447746248092504, 2089791519), (3465335138031658, 290872487), (3482924011199897, 3748573623), (3500512867597255, 3795329419), (3518101707223764, 353116043), (3535690530079454, 1933451335), (3553279336164358, 4162558332), (3570868125478509, 2666267157), (3588456898021938, 1659949609), (3606045653794677, 1063617283), (3623634392796758, 796888861), (3641223115028213, 778990119), (3658811820489074, 928753923), (3676400509179373, 1164620236), (3693989181099142, 1404636114), (3711577836248413, 1566455713), (3729166474627218, 1567340287), (3746755096235589, 1324158189), (3764343701073558, 753384876), (3781932289141156, 4066070203), (3799520860438417, 2587969241), (3817109414965372, 529346058), (3834697952722052, 2100071828), (3852286473708490, 2919690242), (3869874977924718, 2902319399), (3887463465370768, 1961684510), (3905051936046672, 11117898), (3922640389952461, 1258526301), (3940228827088168, 1321488978), (3957817247453825, 112159605), (3975405651049463, 1837266273), (3992994037875115, 2113209602), (4010582407930813, 850964631), (4028170761216588, 2256080819), (4045759097732473, 1943780160), (4063347417478499, 4118826366), (4080935720454700, 100688390), (4098524006661105, 2683278796), (4116112276097748, 3185280799), (4133700528764661, 1514919340), (4151288764661875, 1874993790), (4168876983789422, 4172943362), (4186465186147335, 4020847108), (4204053371735646, 1325358519), (4221641540554386, 287705518), (4239229692603587, 813755880), (4256817827883281, 2808984518), (4274405946393501, 1883506199), (4291994048134278, 2236977426), (4309582133105644, 3773694556), (4327170201307632, 2102593798), (4344758252740273, 1422153105), (4362346287403599, 1635490289), (4379934305297642, 2645330312), (4397522306422435, 59037999), (4415110290778008, 2368487220), (4432698258364395, 885289818), (4450286209181626, 4100533982), (4467874143229735, 3325045879), (4485462060508753, 2754160725), (4503049961018712, 2287853606), (4520637844759644, 1825706777), (4538225711731581, 1266909655), (4555813561934555, 510258832), (4573401395368597, 3749125364), (4590989212033741, 2291585590), (4608577011930018, 330224914), (4626164795057459, 2057235912), (4643752561416097, 3074483748), (4661340311005964, 3278408058), (4678928043827092, 2565055657), (4696515759879513, 830080544), (4714103459163258, 2263711196), (4731691141678360, 2465848679), (4749278807424851, 1330968546), (4766866456402762, 3048120829), (4784454088612126, 3216028159), (4802041704052975, 1727987652), (4819629302725340, 2771870912), (4837216884629254, 1945222145), (4854804449764748, 3435127344), (4872391998131855, 2838345104), (4889979529730607, 46208516), (4907567044561034, 3539592461), (4925154542623171, 324142542), (4942742023917047, 3174915339), (4960329488442696, 3391738155), (4977916936200150, 863980092), (4995504367189439, 4070552051), (5013091781410598, 15135659), (5030679178863656, 1470823530), (5048266559548646, 4030446305), (5065853923465601, 3286441839), (5083441270614552, 3420789792), (5101028600995532, 25142446), (5118615914608571, 1575661191), (5136203211453702, 3663212747), (5153790491530958, 1878271054), (5171377754840370, 400851865), (5188965001381969, 3410578156), (5206552231155789, 2201778242), (5224139444161861, 953289550), (5241726640400216, 3843556736), (5259313819870888, 2165729795), (5276900982573908, 97467843), (5294488128509307, 1816037227), (5312075257677118, 2908376937), (5329662370077373, 3256000492), (5347249465710104, 2740028649), (5364836544575343, 1241189405), (5382423606673121, 2934785288), (5400010652003471, 3405791480), (5417597680566425, 2533757698), (5435184692362015, 197840906), (5452771687390272, 571772607), (5470358665651228, 3533924258), (5487945627144917, 372339971), (5505532571871368, 3849507588), (5523119499830616, 957718426), (5540706411022691, 163707538), (5558293305447625, 1343882636), (5575880183105451, 79291396), (5593467043996200, 540523340), (5611053888119904, 2602807955), (5628640715476596, 1846014693), (5646227526066307, 2439554859), (5663814319889069, 4257479726), (5681401096944915, 2878480537), (5698987857233876, 2470790392), (5716574600755984, 2907282365), (5734161327511271, 4060436797), (5751748037499770, 1507374008), (5769334730721511, 3709723475), (5786921407176528, 1948852767), (5804508066864852, 390638616), (5822094709786514, 3200565031), (5839681335941548, 1658821412), (5857267945329984, 4225073623), (5874854537951856, 2178725626), (5892441113807194, 3978657849), (5910027672896032, 903488822), (5927614215218400, 1411313544), (5945200740774331, 1074932414), (5962787249563856, 4056687711), (5980373741587009, 1633627120), (5997960216843820, 2262274798), (6015546675334322, 1513860309), (6033133117058546, 3549155106), (6050719542016525, 3938603344), (6068305950208291, 2547223773), (6085892341633875, 3534609739), (6103478716293310, 2470027297), (6121065074186627, 3512284396), (6138651415313859, 2229861697), (6156237739675037, 2780781759), (6173824047270194, 732739857), (6191410338099361, 242973164), (6208996612162570, 1173358870), (6226582869459853, 3385381475), (6244169109991243, 2445165496), (6261755333756771, 2508377356), (6279341540756469, 3435323500), (6296927730990370, 790950393), (6314513904458504, 3024713707), (6332100061160905, 1405807251), (6349686201097604, 87934045), (6367272324268632, 3224404431), (6384858430674023, 2083234189), (6402444520313808, 816948312), (6420030593188018, 3577679123), (6437616649296687, 1632264385), (6455202688639845, 3427018377), (6472788711217526, 227993527), (6490374717029760, 480718780), (6507960706076579, 4040395824), (6525546678358017, 2171899092), (6543132633874104, 3319579543), (6560718572624873, 3042493583), (6578304494610356, 1194272259), (6595890399830584, 1923121254), (6613476288285590, 786919008), (6631062159975405, 1933085894), (6648648014900062, 918715044), (6666233853059592, 1890441530), (6683819674454028, 404573181), (6701405479083401, 606959772), (6718991266947743, 2348091135), (6736577038047087, 1183097160), (6754162792381464, 1256649687), (6771748529950906, 2418060616), (6789334250755446, 221281914), (6806919954795114, 3104774792), (6824505642069944, 2326738643), (6842091312579967, 2029882112), (6859676966325215, 2061553911), (6877262603305720, 2268710122), (6894848223521514, 2497914192), (6912433826972629, 2595336942), (6930019413659097, 2406756561), (6947604983580950, 1777558612), (6965190536738220, 552736034), (6982776073130938, 2871856436), (7000361592759137, 4284160213), (7017947095622850, 338495139), (7035532581722106, 3763185553), (7053118051056940, 1516359399), (7070703503627382, 2030588484), (7088288939433465, 853150115), (7105874358475220, 2120863573), (7123459760752680, 1380220938), (7141045146265876, 2767256271), (7158630515014841, 1827676430), (7176215866999606, 2696730261), (7193801202220204, 919339407), (7211386520676666, 629967504), (7228971822369024, 1667718284), (7246557107297310, 3871302880), (7264142375461557, 2784072529), (7281727626861796, 2538920460), (7299312861498059, 2973380010), (7316898079370378, 3924591921), (7334483280478786, 934337042), (7352068464823313, 2428905520), (7369653632403992, 3949293022), (7387238783220856, 1036102627), (7404823917273935, 2114446710), (7422409034563262, 2724143176), (7439994135088869, 2699584638), (7457579218850788, 1874771125), (7475164285849051, 83310086), (7492749336083689, 1453383684), (7510334369554735, 1522846912), (7527919386262221, 124129478), (7545504386206178, 1384235814), (7563089369386639, 839843184), (7580674335803635, 2617170870), (7598259285457199, 2252110990), (7615844218347362, 3870097686), (7633429134474157, 3006237937), (7651014033837615, 3785180748), (7668598916437769, 1741247966), (7686183782274650, 998303467), (7703768631348290, 1384851267), (7721353463658721, 2729002820), (7738938279205976, 563509726), (7756523077990085, 3305632915), (7774107860011082, 2192371574), (7791692625268998, 1345234226), (7809277373763865, 590369542), (7826862105495714, 4048500937), (7844446820464579, 2955057388), (7862031518670491, 1429977211), (7879616200113481, 3592806173), (7897200864793583, 677795608), (7914785512710827, 1098673490), (7932370143865246, 383873359), (7949954758256871, 2651370808), (7967539355885735, 3428814296), (7985123936751870, 2538427040), (8002708500855307, 4097007016), (8020293048196079, 3631025073), (8037877578774218, 961526820), (8055462092589755, 204132629), (8073046589642722, 1179103047), (8090631069933151, 3706306090), (8108215533461075, 3310249950), (8125799980226525, 4104984883), (8143384410229534, 1614234030), (8160968823470132, 4246229894), (8178553219948353, 3228943273), (8196137599664228, 2674854333), (8213721962617789, 2401083422), (8231306308809068, 2224358373), (8248890638238097, 1961014502), (8266474950904908, 1426994609), (8284059246809533, 437848982), (8301643525952003, 3103702692), (8319227788332352, 649386414), (8336812033950610, 1479207496), (8354396262806810, 1112178891), (8371980474900983, 3656855639), (8389564670233163, 336498387), (8407148848803379, 3848811760), (8424733010611666, 1121304105), (8442317155658054, 555927749), (8459901283942575, 1964307930), (8477485395465262, 862710091), (8495069490226146, 1356941773), (8512653568225259, 3257450728), (8530237629462634, 2079324918), (8547821673938302, 1927194407), (8565405701652295, 2610329474), (8582989712604645, 3937607909), (8600573706795385, 1422547721), (8618157684224545, 3463176321), (8635741644892159, 1277259453), (8653325588798257, 3262039564), (8670909515942873, 634497436), (8688493426326037, 1791090555), (8706077319947782, 2242982044), (8723661196808140, 1795909844), (8741245056907143, 255219422), (8758828900244822, 1720831070), (8776412726821210, 1702338014), (8793996536636339, 3908308), (8811580329690240, 724284832), (8829164105982945, 3666850705), (8846747865514488, 44661988), (8864331608284898, 2545218756), (8881915334294209, 2380792145), (8899499043542452, 3648162715), (8917082736029660, 1853783977), (8934666411755864, 1093651575), (8952250070721096, 1168401401), (8969833712925388, 1878276891), (8987417338368772, 3023129028), (9005000947051281, 107449048), (9022584538972945, 1520237624), (9040168114133797, 2765201092), (9057751672533869, 3640620637), (9075335214173193, 3944384997), (9092918739051801, 3473990466), (9110502247169725, 2026540896), (9128085738526996, 3693714992), (9145669213123647, 3976864428), (9163252670959710, 2671915736), (9180836112035216, 3869370306), (9198419536350198, 3069402500), (9216002943904688, 66761545), (9233586334698716, 3245738824), (9251169708732316, 3810364107), (9268753066005520, 1554209325), (9286336406518359, 565421280), (9303919730270865, 636787047), (9321503037263070, 1560701281), (9339086327495006, 3129166210), (9356669600966706, 838824344), (9374252857678200, 3070827663), (9391836097629522, 1026066543), (9409419320820702, 3084908124), (9427002527251774, 447457949), (9444585716922768, 1493298330), (9462168889833717, 1716717276), (9479752045984653, 906577683), (9497335185375607, 3146317332), (9514918308006612, 3929047003), (9532501413877700, 3042452366), (9550084502988903, 273826683), (9567667575340251, 4000005407), (9585250630931779, 1122595107), (9602833669763517, 17646430), (9620416691835497, 470883034), (9637999697147751, 2267636177), (9655582685700312, 897877425), (9673165657493211, 441120541), (9690748612526480, 681519597), (9708331550800151, 1402836275), (9725914472314256, 2388439866), (9743497377068827, 3421307271), (9761080265063896, 4284023003), (9778663136299496, 463811896), (9796245990775657, 332408283), (9813828828492411, 3671219526), (9831411649449792, 1671326009), (9848994453647830, 2703284925), (9866577241086558, 2252359196), (9884160011766008, 98386666), (9901742765686211, 315780097), (9919325502847199, 2683592581), (9936908223249005, 2685517545), (9954490926891661, 99823335), (9972073613775197, 3294320525), (9989656283899647, 3456558133), (10007238937265043, 363627403), (10024821573871415, 2382161809), (10042404193718797, 698533272), (10059986796807219, 3678590540), (10077569383136715, 2507920813), (10095151952707316, 1256620820), (10112734505519053, 3994394935), (10130317041571960, 1905653285), (10147899560866067, 3354282827), (10165482063401407, 3818876279), (10183064549178012, 3072601299), (10200647018195914, 888233199), (10218229470455144, 1333122235), (10235811905955734, 4179259023), (10253394324697718, 608307239), (10270976726681125, 3276374696), (10288559111905989, 3364340383), (10306141480372342, 642625540), (10323723832080214, 3471193661), (10341306167029639, 3029746716), (10358888485220648, 3382496228), (10376470786653274, 3326789), (10394053071327547, 1250632551), (10411635339243500, 2597513440), (10429217590401165, 3811644351), (10446799824800575, 365340553), (10464382042441760, 615426875), (10481964243324753, 33433930), (10499546427449585, 2680434601), (10517128594816289, 4027174855), (10534710745424897, 3838975633), (10552292879275441, 1880765554), (10569874996367952, 2212048216), (10587457096702463, 302000309), (10605039180279005, 209340796), (10622621247097610, 1697429033), (10640203297158311, 234264764), (10657785330461138, 4172357312), (10675367347006126, 388987210), (10692949346793304, 1530846457), (10710531329822705, 3064365563), (10728113296094362, 455582732), (10745695245608305, 2055045752), (10763277178364567, 3328008221), (10780859094363180, 4034298732), (10798440993604176, 3933353578), (10816022876087587, 2784216756), (10833604741813445, 345539966), (10851186590781781, 670549906), (10868768422992627, 3517113690), (10886350238446017, 52771545), (10903932037141980, 2919507886), (10921513819080550, 3284078364), (10939095584261759, 902780930), (10956677332685637, 4121455843), (10974259064352218, 4105681895), (10991840779261534, 610580184), (11009422477413615, 1980814122), (11027004158808494, 3675752949), (11044585823446204, 1154373631), (11062167471326775, 2760162743), (11079749102450240, 3951312696), (11097330716816632, 185623628), (11114912314425980, 4100372588), (11132493895278319, 2562640579), (11150075459373679, 3913952814), (11167657006712093, 3610540349), (11185238537293593, 1403209272), (11202820051118210, 1337340700), (11220401548185976, 3162956192), (11237983028496924, 2334717747), (11255564492051085, 2896829698), (11273145938848492, 303169526), (11290727368889175, 2892124341), (11308308782173168, 1821819816), (11325890178700502, 1134891255), (11343471558471209, 578614414), (11361052921485320, 4194840094), (11378634267742869, 3140124958), (11396215597243887, 1455535307), (11413796909988405, 3181745197), (11431378205976456, 3769101845), (11448959485208072, 2962527521), (11466540747683285, 506552251), (11484121993402126, 440281118), (11501703222364627, 2507459668), (11519284434570821, 2156473914), (11536865630020739, 3425252224), (11554446808714414, 1761396138), (11572027970651877, 1202049556), (11589609115833160, 1488996850), (11607190244258295, 2363630160), (11624771355927314, 3566949397), (11642352450840250, 544594951), (11659933528997133, 1626716872), (11677514590397996, 2258171096), (11695095635042871, 2178388634), (11712676662931790, 1126408276), (11730257674064784, 3135843885), (11747838668441886, 3649982517), (11765419646063128, 2406686305), (11783000606928541, 3438392462), (11800581551038158, 2187211395), (11818162478392010, 2684795892), (11835743388990130, 372471936), (11853324282832548, 3576075190), (11870905159919298, 3441179923), (11888486020250411, 3997870087), (11906066863825920, 685902836), (11923647690645855, 1829545009), (11941228500710249, 2867769354), (11958809294019134, 3534123715), (11976390070572542, 3561763737), (11993970830370505, 2683452868), (12011551573413055, 631562357), (12029132299700223, 1433038558), (12046713009232042, 524501037), (12064293702008543, 1932111761), (12081874378029759, 1091705917), (12099455037295721, 2028661092), (12117035679806462, 178028096), (12134616305562012, 3859367441), (12152196914562405, 4211978269), (12169777506807673, 964702135), (12187358082297846, 2435923001), (12204938641032957, 4058730764), (12222519183013039, 1265823141), (12240099708238122, 2374407560), (12257680216708239, 2816397389), (12275260708423422, 2318281114), (12292841183383703, 606155052), (12310421641589113, 1700690643), (12328002083039685, 1032232567), (12345582507735450, 2620667929), (12363162915676441, 1895557073), (12380743306862689, 2876002774), (12398323681294227, 990781049), (12415904038971086, 258210345), (12433484379893298, 401249655), (12451064704060895, 1142465811), (12468645011473909, 2204033489), (12486225302132372, 3307735209), (12503805576036316, 4174961336), (12521385833185774, 231742787), (12538966073580775, 4083587512), (12556546297221354, 2565807534), (12574126504107541, 3988159209), (12591706694239369, 3775104857), (12609286867616870, 1645681948), (12626867024240075, 1613503108), (12644447164109016, 3396821519), (12662027287223726, 2418530932), (12679607393584236, 2691067546), (12697187483190578, 3931508128), (12714767556042785, 1561570013), (12732347612140887, 3887480289), (12749927651484918, 2035204726), (12767507674074909, 15218851), (12785087679910891, 1837606060), (12802667668992897, 2922123027), (12820247641320959, 2983101597), (12837827596895109, 1734481489), (12855407535715378, 3184777590), (12872987457781799, 2752178077), (12890567363094404, 149446298), (12908147251653223, 3678888075), (12925727123458291, 167580630), (12943306978509637, 2212012845), (12960886816807295, 933445008), (12978466638351296, 337647179), (12996046443141672, 135030009), (13013626231178455, 35612041), (13031206002461676, 4043987002), (13048785756991369, 3279454623), (13066365494767565, 1745824419), (13083945215790295, 3446513798), (13101524920059592, 3794613472), (13119104607575488, 2497789348), (13136684278338014, 3558282530), (13154263932347203, 2388007428), (13171843569603086, 2988420948), (13189423190105696, 770653310), (13207002793855063, 4030344523), (13224582380851221, 3882873323), (13242161951094202, 33160944), (13259741504584036, 775671124), (13277321041320756, 1519573622), (13294900561304394, 1968613409), (13312480064534982, 1826143368), (13330059551012552, 795124299), (13347639020737135, 2873092216), (13365218473708764, 3467256458), (13382797909927471, 2279401582), (13400377329393287, 3305887363), (13417956732106245, 1952746907), (13435536118066376, 2215555837), (13453115487273712, 3794530405), (13470694839728286, 2094527499), (13488274175430129, 1109946523), (13505853494379273, 539827521), (13523432796575750, 82818465), (13541012082019591, 3732142560), (13558591350710830, 2595729058), (13576170602649498, 666017033), (13593749837835626, 1935053501), (13611329056269247, 1804558825), (13628908257950392, 4265795900), (13646487442879095, 424733676), (13664066611055385, 2861785529), (13681645762479296, 2682136300), (13699224897150859, 3875480664), (13716804015070107, 1841186656), (13734383116237071, 568164849), (13751962200651782, 4044933772), (13769541268314274, 3374718018), (13787120319224578, 2545252020), (13804699353382726, 1248910875), (13822278370788749, 3472644933), (13839857371442681, 318110614), (13857436355344552, 66441484), (13875015322494394, 2408444478), (13892594272892240, 2739567201), (13910173206538122, 749832516), (13927752123432071, 423838553), (13945331023574119, 1450824110), (13962909906964298, 3519635958), (13980488773602641, 2023761541), (13998067623489179, 946230869), (14015646456623943, 4269681927), (14033225273006967, 3091458785), (14050804072638282, 1393415380), (14068382855517919, 3157013629), (14085961621645911, 3773388835), (14103540371022290, 2928251580), (14121119103647088, 306920429), (14138697819520335, 4184256522), (14156276518642066, 1359892508), (14173855201012311, 107905502), (14191433866631102, 112046017), (14209012515498471, 1055672556), (14226591147614450, 2621751614), (14244169762979072, 197890384), (14261748361592367, 2056205943), (14279326943454368, 3583521476), (14296905508565108, 166268165), (14314484056924617, 75387081), (14332062588532927, 2991492705), (14349641103390072, 4872926), (14367219601496081, 3680260120), (14384798082850989, 812190890), (14402376547454825, 3964613624), (14419954995307623, 4226248237), (14437533426409415, 1275357249), (14455111840760231, 3379745780), (14472690238360105, 1626957781), (14490268619209067, 4284014402), (14507846983307151, 2437675624), (14525425330654388, 59211333), (14543003661250809, 1119499437), (14560581975096447, 999091270), (14578160272191333, 3668080780), (14595738552535501, 211268052), (14613316816128980, 3187897675), (14630895062971804, 3681985784), (14648473293064005, 1367091136), (14666051506405614, 211347813), (14683629702996662, 4182497925), (14701207882837184, 68022435), (14718786045927209, 424814114), (14736364192266770, 629504583), (14753942321855899, 353300798), (14771520434694627, 3561985049), (14789098530782988, 1336045779), (14806676610121012, 1935448654), (14824254672708732, 734865497), (14841832718546179, 1698510766), (14859410747633386, 200272375), (14876988759970384, 203580876), (14894566755557205, 1376507574), (14912144734393881, 3386731824), (14929722696480445, 1606573739), (14947300641816927, 4292863371), (14964878570403361, 2522169644), (14982456482239778, 255571426), (15000034377326209, 1453755645), (15017612255662687, 1487082693), (15035190117249244, 20488322), (15052767962085911, 1013483640), (15070345790172720, 4130220524), (15087923601509705, 444524324), (15105501396096895, 2504664937), (15123079173934324, 1383683850), (15140656935022023, 1039132505), (15158234679360024, 1133203122), (15175812406948359, 1327695991), (15193390117787060, 1284019479), (15210967811876159, 663190027), (15228545489215687, 3420799451), (15246123149805678, 627145757), (15263700793646162, 532004215), (15281278420737171, 2794823584), (15298856031078738, 2779693413), (15316433624670895, 145278629), (15334011201513672, 3139786840), (15351588761607103, 2831164555), (15369166304951219, 3171868261), (15386743831546052, 3818995242), (15404321341391635, 134283576), (15421898834487998, 363981323), (15439476310835173, 4164010048), (15457053770433194, 2599964817), (15474631213282091, 3916917983), (15492208639381897, 3474648107), (15509786048732644, 927509149), (15527363441334363, 224430468), (15544940817187086, 1018982229), (15562518176290845, 2964342706), (15580095518645673, 1418330982), (15597672844251601, 328308841), (15615250153108660, 3641246177), (15632827445216884, 2418819109), (15650404720576304, 607213756), (15667981979186951, 2152224351), (15685559221048858, 2409318654), (15703136446162057, 1028539835), (15720713654526579, 1954506482), (15738290846142457, 541510711), (15755868021009722, 733387350), (15773445179128406, 2178612058), (15791022320498542, 230301321), (15808599445120160, 3126081640), (15826176552993294, 1923318461), (15843753644117975, 563887246), (15861330718494234, 2989271590), (15878907776122105, 255661331), (15896484817001618, 598723625), (15914061841132805, 3663799174), (15931638848515700, 505902221), (15949215839150332, 3654491633), (15966792813036735, 4163797931), (15984369770174941, 1677594375), (16001946710564981, 134229660), (16019523634206886, 3471660628), (16037100541100690, 2742550378), (16054677431246424, 1884072045), (16072254304644120, 538039617), (16089831161293809, 2640842527), (16107408001195524, 3538543771), (16124984824349297, 2871781792), (16142561630755160, 280803189), (16160138420413143, 3995397309), (16177715193323281, 770125178), (16195291949485603, 3128959757), (16212868688900143, 2120645687), (16230445411566932, 1678437661), (16248022117486002, 1440231238), (16265598806657385, 1043530145), (16283175479081113, 125446275), (16300752134757217, 2617666984), (16318328773685730, 3861553207), (16335905395866684, 3493041347), (16353482001300111, 1147675980), (16371058589986042, 755577151), (16388635161924509, 1951505785), (16406211717115545, 74863691), (16423788255559180, 3349562742), (16441364777255448, 2819253808), (16458941282204380, 2412097830), (16476517770406008, 1760896635), (16494094241860364, 498060237), (16511670696567479, 2550574130), (16529247134527386, 3255097404), (16546823555740117, 2242864637), (16564399960205703, 3439685890), (16581976347924177, 2181044828), (16599552718895570, 2391967899), (16617129073119914, 3702122452), (16634705410597242, 1445816736), (16652281731327584, 3841869087), (16669858035310974, 1928836856), (16687434322547442, 3924754781), (16705010593037022, 867396616), (16722586846779744, 974013505), (16740163083775640, 3871530206), (16757739304024744, 596545092), (16775315507527085, 3660101225), (16792891694282697, 4098013395), (16810467864291612, 1535639200), (16828044017553860, 4187879039), (16845620154069475, 3089372344), (16863196273838488, 2159268652), (16880772376860931, 1021358420), (16898348463136835, 3594007620), (16915924532666234, 910288558), (16933500585449158, 1182750945), (16951076621485639, 4033618126), (16968652640775711, 494787077), (16986228643319403, 3072599480), (17003804629116749, 2798168768), (17021380598167780, 3587118489), (17038956550472529, 764745832), (17056532486031026, 2540858105), (17074108404843304, 4239968965), (17091684306909396, 1186200300), (17109260192229332, 1588184128), (17126836060803145, 769258815), (17144411912630866, 2642305559), (17161987747712528, 2529879209), (17179563566048163, 49110151), (17197139367637801, 3406671610), (17214715152481476, 3628975873), (17232290920579220, 331978063), (17249866671931063, 1721176148), (17267442406537038, 3116774458), (17285018124397177, 4133552869), (17302593825511513, 90932217), (17320169509880075, 3487810775), (17337745177502898, 1052891298), (17355320828380012, 989321278), (17372896462511449, 2909921876), (17390472079897242, 2132155216), (17408047680537422, 2563026278), (17425623264432021, 3814181009), (17443198831581072, 1201906327), (17460774381984605, 2926999304), (17478349915642654, 9996096), (17495925432555249, 650910314), (17513500932722423, 164461951), (17531076416144207, 2454913867), (17548651882820634, 2836202604), (17566227332751736, 916840274), (17583802765937544, 599914564), (17601378182378090, 1493154145), (17618953582073406, 3203895966), (17636528965023525, 1044117963), (17654104331228477, 3210308244), (17671679680688296, 718694018), (17689255013403012, 1764979963), (17706830329372658, 1659577158), (17724405628597266, 7472268), (17741980911076867, 708227542), (17759556176811493, 3366046230), (17777131425801177, 3289772575), (17794706658045951, 82826414), (17812281873545845, 1938170474), (17829857072300892, 4163473889), (17847432254311125, 2066014095), (17865007419576574, 3837578718), (17882582568097273, 489694501), (17900157699873252, 213365676), (17917732814904543, 2609270190), (17935307913191179, 2982726998), (17952882994733192, 933630664), (17970458059530613, 356451356), (17988033107583474, 850300258), ];
pub static LN_TERTIARY_TABLE_TIER_3: [(i128, i64); 1024] = [
(0, 0), (17179869176, 21), (34359738336, 170), (51539607480, 575), (68719476608, 1365), (85899345720, 2666), (103079214816, 4607), (120259083896, 7317), (137438952960, 10922), (154618822008, 15551), (171798691040, 21333), (188978560056, 28394), (206158429056, 36863), (223338298040, 46869), (240518167008, 58538), (257698035960, 71999), (274877904896, 87381), (292057773816, 104810), (309237642720, 124415), (326417511608, 146325), (343597380480, 170666), (360777249336, 197567), (377957118176, 227157), (395136987000, 259562), (412316855808, 294911), (429496724600, 333333), (446676593376, 374954), (463856462136, 419903), (481036330880, 468309), (498216199608, 520298), (515396068320, 575999), (532575937016, 635541), (549755805696, 699050), (566935674360, 766655), (584115543008, 838485), (601295411640, 914666), (618475280256, 995327), (635655148856, 1080597), (652835017440, 1170602), (670014886008, 1265471), (687194754560, 1365333), (704374623096, 1470314), (721554491616, 1580543), (738734360120, 1696149), (755914228608, 1817258), (773094097080, 1943999), (790273965536, 2076501), (807453833976, 2214890), (824633702400, 2359295), (841813570808, 2509845), (858993439200, 2666666), (876173307576, 2829887), (893353175936, 2999637), (910533044280, 3176042), (927712912608, 3359231), (944892780920, 3549333), (962072649216, 3746474), (979252517496, 3950783), (996432385760, 4162389), (1013612254008, 4381418), (1030792122240, 4607999), (1047971990456, 4842261), (1065151858656, 5084330), (1082331726840, 5334335), (1099511595008, 5592405), (1116691463160, 5858666), (1133871331296, 6133247), (1151051199416, 6416277), (1168231067520, 6707882), (1185410935608, 7008191), (1202590803680, 7317332), (1219770671736, 7635434), (1236950539776, 7962623), (1254130407800, 8299028), (1271310275808, 8644778), (1288490143800, 8999999), (1305670011776, 9364820), (1322849879736, 9739370), (1340029747680, 10123775), (1357209615608, 10518164), (1374389483520, 10922666), (1391569351416, 11337407), (1408749219296, 11762516), (1425929087160, 12198121), (1443108955008, 12644351), (1460288822840, 13101332), (1477468690656, 13569193), (1494648558456, 14048063), (1511828426240, 14538068), (1529008294008, 15039337), (1546188161760, 15551999), (1563368029496, 16076180), (1580547897216, 16612009), (1597727764920, 17159614), (1614907632608, 17719124), (1632087500280, 18290665), (1649267367936, 18874366), (1666447235576, 19470356), (1683627103200, 20078761), (1700806970808, 20699710), (1717986838400, 21333331), (1735166705976, 21979753), (1752346573536, 22639102), (1769526441080, 23311507), (1786706308608, 23997096), (1803886176120, 24695998), (1821066043616, 25408339), (1838245911096, 26134248), (1855425778560, 26873853), (1872605646008, 27627283), (1889785513440, 28394664), (1906965380856, 29176125), (1924145248256, 29971794), (1941325115640, 30781800), (1958504983008, 31606269), (1975684850360, 32445330), (1992864717696, 33299111), (2010044585016, 34167741), (2027224452320, 35051346), (2044404319608, 35950055), (2061584186880, 36863996), (2078764054136, 37793298), (2095943921376, 38738087), (2113123788600, 39698492), (2130303655808, 40674641), (2147483523000, 41666663), (2164663390176, 42674684), (2181843257336, 43698833), (2199023124480, 44739238), (2216202991608, 45796027), (2233382858720, 46869329), (2250562725816, 47959270), (2267742592896, 49065979), (2284922459960, 50189584), (2302102327008, 51330213), (2319282194040, 52487995), (2336462061056, 53663056), (2353641928056, 54855525), (2370821795040, 56065530), (2388001662008, 57293199), (2405181528960, 58538660), (2422361395896, 59802042), (2439541262816, 61083471), (2456721129720, 62383076), (2473900996608, 63700985), (2491080863480, 65037326), (2508260730336, 66392227), (2525440597176, 67765817), (2542620464000, 69158222), (2559800330808, 70569571), (2576980197600, 71999992), (2594160064376, 73449613), (2611339931136, 74918562), (2628519797880, 76406967), (2645699664608, 77914956), (2662879531320, 79442658), (2680059398016, 80990199), (2697239264696, 82557708), (2714419131360, 84145313), (2731598998008, 85753142), (2748778864640, 87381323), (2765958731256, 89029984), (2783138597856, 90699253), (2800318464440, 92389258), (2817498331008, 94100127), (2834678197560, 95831988), (2851858064096, 97584970), (2869037930616, 99359199), (2886217797120, 101154804), (2903397663608, 102971913), (2920577530080, 104810654), (2937757396536, 106671155), (2954937262976, 108553544), (2972117129400, 110457949), (2989296995808, 112384498), (3006476862200, 114333319), (3023656728576, 116304540), (3040836594936, 118298289), (3058016461280, 120314694), (3075196327608, 122353883), (3092376193920, 124415984), (3109556060216, 126501125), (3126735926496, 128609434), (3143915792760, 130741039), (3161095659008, 132896068), (3178275525240, 135074649), (3195455391456, 137276910), (3212635257656, 139502979), (3229815123840, 141752984), (3246994990008, 144027052), (3264174856160, 146325313), (3281354722296, 148647894), (3298534588416, 150994923), (3315714454520, 153366528), (3332894320608, 155762837), (3350074186680, 158183978), (3367254052736, 160630079), (3384433918776, 163101268), (3401613784800, 165597673), (3418793650808, 168119421), (3435973516800, 170666642), (3453153382776, 173239463), (3470333248736, 175838012), (3487513114680, 178462417), (3504692980608, 181112806), (3521872846520, 183789307), (3539052712416, 186492047), (3556232578296, 189221156), (3573412444160, 191976761), (3590592310008, 194758990), (3607772175840, 197567971), (3624952041656, 200403831), (3642131907456, 203266700), (3659311773240, 206156705), (3676491639008, 209073974), (3693671504760, 212018634), (3710851370496, 214990815), (3728031236216, 217990644), (3745211101920, 221018249), (3762390967608, 224073757), (3779570833280, 227157298), (3796750698936, 230268999), (3813930564576, 233408987), (3831110430200, 236577392), (3848290295808, 239774341), (3865470161400, 242999961), (3882650026976, 246254382), (3899829892536, 249537731), (3917009758080, 252850135), (3934189623608, 256191724), (3951369489120, 259562624), (3968549354616, 262962965), (3985729220096, 266392874), (4002909085560, 269852478), (4020088951008, 273341907), (4037268816440, 276861287), (4054448681856, 280410748), (4071628547256, 283990416), (4088808412640, 287600421), (4105988278008, 291240890), (4123168143360, 294911950), (4140348008696, 298613731), (4157527874016, 302346359), (4174707739320, 306109964), (4191887604608, 309904672), (4209067469880, 313730612), (4226247335136, 317587913), (4243427200376, 321476701), (4260607065600, 325397106), (4277786930808, 329349254), (4294966796000, 333333275), (4312146661176, 337349295), (4329326526336, 341397443), (4346506391480, 345477848), (4363686256608, 349590636), (4380866121720, 353735936), (4398045986816, 357913877), (4415225851896, 362124585), (4432405716960, 366368189), (4449585582008, 370644818), (4466765447040, 374954598), (4483945312056, 379297658), (4501125177056, 383674127), (4518305042040, 388084131), (4535484907008, 392527799), (4552664771960, 397005259), (4569844636896, 401516640), (4587024501816, 406062068), (4604204366720, 410641672), (4621384231608, 415255580), (4638564096480, 419903920), (4655743961336, 424586820), (4672923826176, 429304409), (4690103691000, 434056813), (4707283555808, 438844161), (4724463420600, 443666581), (4741643285376, 448524201), (4758823150136, 453417149), (4776003014880, 458345553), (4793182879608, 463309541), (4810362744320, 468309241), (4827542609016, 473344781), (4844722473696, 478416289), (4861902338360, 483523893), (4879082203008, 488667721), (4896262067640, 493847901), (4913441932256, 499064561), (4930621796856, 504317829), (4947801661440, 509607833), (4964981526008, 514934701), (4982161390560, 520298561), (4999341255096, 525699541), (5016521119616, 531137769), (5033700984120, 536613372), (5050880848608, 542126480), (5068060713080, 547677220), (5085240577536, 553265720), (5102420441976, 558892108), (5119600306400, 564556511), (5136780170808, 570259059), (5153960035200, 575999879), (5171139899576, 581779099), (5188319763936, 587596846), (5205499628280, 593453250), (5222679492608, 599348438), (5239859356920, 605282537), (5257039221216, 611255677), (5274219085496, 617267984), (5291398949760, 623319588), (5308578814008, 629410616), (5325758678240, 635541195), (5342938542456, 641711455), (5360118406656, 647921522), (5377298270840, 654171526), (5394478135008, 660461593), (5411657999160, 666791853), (5428837863296, 673162432), (5446017727416, 679573460), (5463197591520, 686025063), (5480377455608, 692517371), (5497557319680, 699050510), (5514737183736, 705624609), (5531917047776, 712239797), (5549096911800, 718896200), (5566276775808, 725593947), (5583456639800, 732333167), (5600636503776, 739113986), (5617816367736, 745936533), (5634996231680, 752800936), (5652176095608, 759707324), (5669355959520, 766655823), (5686535823416, 773646562), (5703715687296, 780679669), (5720895551160, 787755272), (5738075415008, 794873499), (5755255278840, 802034478), (5772435142656, 809238338), (5789615006456, 816485205), (5806794870240, 823775208), (5823974734008, 831108475), (5841154597760, 838485134), (5858334461496, 845905313), (5875514325216, 853369140), (5892694188920, 860876743), (5909874052608, 868428249), (5927053916280, 876023788), (5944233779936, 883663487), (5961413643576, 891347474), (5978593507200, 899075877), (5995773370808, 906848824), (6012953234400, 914666443), (6030133097976, 922528861), (6047312961536, 930436208), (6064492825080, 938388611), (6081672688608, 946386197), (6098852552120, 954429096), (6116032415616, 962517435), (6133212279096, 970651341), (6150392142560, 978830944), (6167572006008, 987056371), (6184751869440, 995327749), (6201931732856, 1003645208), (6219111596256, 1012008874), (6236291459640, 1020418877), (6253471323008, 1028875343), (6270651186360, 1037378402), (6287831049696, 1045928180), (6305010913016, 1054524807), (6322190776320, 1063168409), (6339370639608, 1071859115), (6356550502880, 1080597054), (6373730366136, 1089382352), (6390910229376, 1098215138), (6408090092600, 1107095540), (6425269955808, 1116023687), (6442449819000, 1124999705), (6459629682176, 1134023723), (6476809545336, 1143095869), (6493989408480, 1152216271), (6511169271608, 1161385057), (6528349134720, 1170602355), (6545528997816, 1179868294), (6562708860896, 1189183000), (6579888723960, 1198546602), (6597068587008, 1207959228), (6614248450040, 1217421005), (6631428313056, 1226932063), (6648608176056, 1236492529), (6665788039040, 1246102531), (6682967902008, 1255762197), (6700147764960, 1265471655), (6717327627896, 1275231033), (6734507490816, 1285040458), (6751687353720, 1294900060), (6768867216608, 1304809966), (6786047079480, 1314770303), (6803226942336, 1324781201), (6820406805176, 1334842787), (6837586668000, 1344955188), (6854766530808, 1355118534), (6871946393600, 1365332951), (6889126256376, 1375598569), (6906306119136, 1385915514), (6923485981880, 1396283916), (6940665844608, 1406703901), (6957845707320, 1417175599), (6975025570016, 1427699136), (6992205432696, 1438274641), (7009385295360, 1448902243), (7026565158008, 1459582068), (7043745020640, 1470314245), (7060924883256, 1481098902), (7078104745856, 1491936167), (7095284608440, 1502826169), (7112464471008, 1513769034), (7129644333560, 1524764891), (7146824196096, 1535813868), (7164004058616, 1546916093), (7181183921120, 1558071694), (7198363783608, 1569280799), (7215543646080, 1580543536), (7232723508536, 1591860033), (7249903370976, 1603230418), (7267083233400, 1614654818), (7284263095808, 1626133363), (7301442958200, 1637666180), (7318622820576, 1649253397), (7335802682936, 1660895141), (7352982545280, 1672591542), (7370162407608, 1684342727), (7387342269920, 1696148823), (7404522132216, 1708009960), (7421701994496, 1719926265), (7438881856760, 1731897865), (7456061719008, 1743924890), (7473241581240, 1756007466), (7490421443456, 1768145722), (7507601305656, 1780339787), (7524781167840, 1792589787), (7541961030008, 1804895851), (7559140892160, 1817258108), (7576320754296, 1829676684), (7593500616416, 1842151708), (7610680478520, 1854683308), (7627860340608, 1867271612), (7645040202680, 1879916749), (7662220064736, 1892618845), (7679399926776, 1905378029), (7696579788800, 1918194429), (7713759650808, 1931068173), (7730939512800, 1943999388), (7748119374776, 1956988204), (7765299236736, 1970034748), (7782479098680, 1983139148), (7799658960608, 1996301532), (7816838822520, 2009522028), (7834018684416, 2022800763), (7851198546296, 2036137867), (7868378408160, 2049533467), (7885558270008, 2062987690), (7902738131840, 2076500666), (7919917993656, 2090072521), (7937097855456, 2103703385), (7954277717240, 2117393384), (7971457579008, 2131142647), (7988637440760, 2144951303), (8005817302496, 2158819478), (8022997164216, 2172747301), (8040177025920, 2186734901), (8057356887608, 2200782404), (8074536749280, 2214889939), (8091716610936, 2229057634), (8108896472576, 2243285617), (8126076334200, 2257574016), (8143256195808, 2271922959), (8160436057400, 2286332574), (8177615918976, 2300802989), (8194795780536, 2315334332), (8211975642080, 2329926731), (8229155503608, 2344580314), (8246335365120, 2359295208), (8263515226616, 2374071543), (8280695088096, 2388909446), (8297874949560, 2403809045), (8315054811008, 2418770467), (8332234672440, 2433793842), (8349414533856, 2448879296), (8366594395256, 2464026959), (8383774256640, 2479236957), (8400954118008, 2494509419), (8418133979360, 2509844474), (8435313840696, 2525242248), (8452493702016, 2540702870), (8469673563320, 2556226469), (8486853424608, 2571813171), (8504033285880, 2587463105), (8521213147136, 2603176399), (8538393008376, 2618953181), (8555572869600, 2634793579), (8572752730808, 2650697721), (8589932592000, 2666665735), (8607112453176, 2682697749), (8624292314336, 2698793891), (8641472175480, 2714954288), (8658652036608, 2731179070), (8675831897720, 2747468364), (8693011758816, 2763822297), (8710191619896, 2780240999), (8727371480960, 2796724596), (8744551342008, 2813273218), (8761731203040, 2829886991), (8778911064056, 2846566045), (8796090925056, 2863310506), (8813270786040, 2880120503), (8830450647008, 2896996165), (8847630507960, 2913937618), (8864810368896, 2930944991), (8881990229816, 2948018412), (8899170090720, 2965158009), (8916349951608, 2982363910), (8933529812480, 2999636243), (8950709673336, 3016975136), (8967889534176, 3034380717), (8985069395000, 3051853114), (9002249255808, 3069392455), (9019429116600, 3086998867), (9036608977376, 3104672480), (9053788838136, 3122413421), (9070968698880, 3140221817), (9088148559608, 3158097798), (9105328420320, 3176041490), (9122508281016, 3194053023), (9139688141696, 3212132523), (9156868002360, 3230280120), (9174047863008, 3248495940), (9191227723640, 3266780112), (9208407584256, 3285132764), (9225587444856, 3303554024), (9242767305440, 3322044020), (9259947166008, 3340602880), (9277127026560, 3359230732), (9294306887096, 3377927704), (9311486747616, 3396693924), (9328666608120, 3415529520), (9345846468608, 3434434620), (9363026329080, 3453409352), (9380206189536, 3472453843), (9397386049976, 3491568223), (9414565910400, 3510752618), (9431745770808, 3530007158), (9448925631200, 3549331969), (9466105491576, 3568727181), (9483285351936, 3588192920), (9500465212280, 3607729315), (9517645072608, 3627336495), (9534824932920, 3647014586), (9552004793216, 3666763717), (9569184653496, 3686584016), (9586364513760, 3706475611), (9603544374008, 3726438630), (9620724234240, 3746473201), (9637904094456, 3766579452), (9655083954656, 3786757510), (9672263814840, 3807007505), (9689443675008, 3827329564), (9706623535160, 3847723814), (9723803395296, 3868190385), (9740983255416, 3888729403), (9758163115520, 3909340998), (9775342975608, 3930025296), (9792522835680, 3950782427), (9809702695736, 3971612517), (9826882555776, 3992515695), (9844062415800, 4013492089), (9861242275808, 4034541827), (9878422135800, 4055665037), (9895601995776, 4076861847), (9912781855736, 4098132385), (9929961715680, 4119476779), (9947141575608, 4140895157), (9964321435520, 4162387647), (9981501295416, 4183954376), (9998681155296, 4205595474), (10015861015160, 4227311067), (10033040875008, 4249101285), (10050220734840, 4270966254), (10067400594656, 4292906104), (10084580454457, 19953665), (10101760314241, 42043658), (10118940174009, 64208915), (10136120033761, 86449565), (10153299893497, 108765734), (10170479753217, 131157551), (10187659612921, 153625144), (10204839472609, 176168640), (10222019332281, 198788169), (10239199191937, 221483858), (10256379051577, 244255835), (10273558911201, 267104227), (10290738770809, 290029164), (10307918630401, 313030772), (10325098489977, 336109181), (10342278349537, 359264517), (10359458209081, 382496909), (10376638068609, 405806486), (10393817928121, 429193374), (10410997787617, 452657702), (10428177647097, 476199598), (10445357506561, 499819190), (10462537366009, 523516606), (10479717225441, 547291974), (10496897084857, 571145421), (10514076944257, 595077077), (10531256803641, 619087069), (10548436663009, 643175524), (10565616522361, 667342572), (10582796381697, 691588339), (10599976241017, 715912955), (10617156100321, 740316546), (10634335959609, 764799241), (10651515818881, 789361168), (10668695678137, 814002455), (10685875537377, 838723230), (10703055396601, 863523621), (10720235255809, 888403756), (10737415115001, 913363763), (10754594974177, 938403770), (10771774833337, 963523905), (10788954692481, 988724295), (10806134551609, 1014005070), (10823314410721, 1039366356), (10840494269817, 1064808283), (10857674128897, 1090330977), (10874853987961, 1115934567), (10892033847009, 1141619181), (10909213706041, 1167384947), (10926393565057, 1193231993), (10943573424057, 1219160447), (10960753283041, 1245170437), (10977933142009, 1271262091), (10995113000961, 1297435537), (11012292859897, 1323690903), (11029472718817, 1350028316), (11046652577721, 1376447906), (11063832436609, 1402949799), (11081012295481, 1429534124), (11098192154337, 1456201010), (11115372013177, 1482950583), (11132551872001, 1509782972), (11149731730809, 1536698305), (11166911589601, 1563696710), (11184091448377, 1590778315), (11201271307137, 1617943248), (11218451165881, 1645191637), (11235631024609, 1672523609), (11252810883321, 1699939294), (11269990742017, 1727438819), (11287170600697, 1755022311), (11304350459361, 1782689899), (11321530318009, 1810441712), (11338710176641, 1838277876), (11355890035257, 1866198520), (11373069893857, 1894203772), (11390249752441, 1922293760), (11407429611009, 1950468612), (11424609469561, 1978728456), (11441789328097, 2007073420), (11458969186617, 2035503632), (11476149045121, 2064019219), (11493328903609, 2092620311), (11510508762081, 2121307034), (11527688620537, 2150079517), (11544868478977, 2178937889), (11562048337401, 2207882276), (11579228195809, 2236912807), (11596408054201, 2266029610), (11613587912577, 2295232813), (11630767770937, 2324522544), (11647947629281, 2353898931), (11665127487609, 2383362101), (11682307345921, 2412912184), (11699487204217, 2442549307), (11716667062497, 2472273597), (11733846920761, 2502085183), (11751026779009, 2531984194), (11768206637241, 2561970756), (11785386495457, 2592044998), (11802566353657, 2622207048), (11819746211841, 2652457034), (11836926070009, 2682795084), (11854105928161, 2713221326), (11871285786297, 2743735888), (11888465644417, 2774338897), (11905645502521, 2805030483), (11922825360609, 2835810772), (11940005218681, 2866679894), (11957185076737, 2897637975), (11974364934777, 2928685144), (11991544792801, 2959821529), (12008724650809, 2991047258), (12025904508801, 3022362459), (12043084366777, 3053767260), (12060264224737, 3085261789), (12077444082681, 3116846173), (12094623940609, 3148520542), (12111803798521, 3180285022), (12128983656417, 3212139743), (12146163514297, 3244084831), (12163343372161, 3276120415), (12180523230009, 3308246623), (12197703087841, 3340463584), (12214882945657, 3372771423), (12232062803457, 3405170271), (12249242661241, 3437660255), (12266422519009, 3470241503), (12283602376761, 3502914142), (12300782234497, 3535678302), (12317962092217, 3568534109), (12335141949921, 3601481693), (12352321807609, 3634521180), (12369501665281, 3667652699), (12386681522937, 3700876378), (12403861380577, 3734192345), (12421041238201, 3767600728), (12438221095809, 3801101655), (12455400953401, 3834695253), (12472580810977, 3868381652), (12489760668537, 3902160978), (12506940526081, 3936033361), (12524120383609, 3969998927), (12541300241121, 4004057805), (12558480098617, 4038210123), (12575659956097, 4072456009), (12592839813561, 4106795591), (12610019671009, 4141228997), (12627199528441, 4175756355), (12644379385857, 4210377792), (12661559243257, 4245093438), (12678739100641, 4279903419), (12695918958010, 19840569), (12713098815362, 54839606), (12730278672698, 89933363), (12747458530018, 125121968), (12764638387322, 160405549), (12781818244610, 195784234), (12798998101882, 231258150), (12816177959138, 266827427), (12833357816378, 302492192), (12850537673602, 338252572), (12867717530810, 374108696), (12884897388002, 410060693), (12902077245178, 446108689), (12919257102338, 482252813), (12936436959482, 518493193), (12953616816610, 554829957), (12970796673722, 591263232), (12987976530818, 627793148), (13005156387898, 664419832), (13022336244962, 701143411), (13039516102010, 737964014), (13056695959042, 774881769), (13073875816058, 811896805), (13091055673058, 849009248), (13108235530042, 886219227), (13125415387010, 923526869), (13142595243962, 960932304), (13159775100898, 998435659), (13176954957818, 1036037061), (13194134814722, 1073736640), (13211314671610, 1111534522), (13228494528482, 1149430836), (13245674385338, 1187425710), (13262854242178, 1225519272), (13280034099002, 1263711650), (13297213955810, 1302002972), (13314393812602, 1340393365), (13331573669378, 1378882959), (13348753526138, 1417471880), (13365933382882, 1456160258), (13383113239610, 1494948219), (13400293096322, 1533835892), (13417472953018, 1572823405), (13434652809698, 1611910886), (13451832666362, 1651098462), (13469012523010, 1690386263), (13486192379642, 1729774416), (13503372236258, 1769263048), (13520552092858, 1808852288), (13537731949442, 1848542265), (13554911806010, 1888333105), (13572091662562, 1928224937), (13589271519098, 1968217889), (13606451375618, 2008312088), (13623631232122, 2048507664), (13640811088610, 2088804744), (13657990945082, 2129203455), (13675170801538, 2169703926), (13692350657978, 2210306286), (13709530514402, 2251010661), (13726710370810, 2291817180), (13743890227202, 2332725971), (13761070083578, 2373737161), (13778249939938, 2414850880), (13795429796282, 2456067255), (13812609652610, 2497386413), (13829789508922, 2538808483), (13846969365218, 2580333593), (13864149221498, 2621961872), (13881329077762, 2663693445), (13898508934010, 2705528443), (13915688790242, 2747466993), (13932868646458, 2789509223), (13950048502658, 2831655260), (13967228358842, 2873905233), (13984408215010, 2916259271), (14001588071162, 2958717500), (14018767927298, 3001280049), (14035947783418, 3043947046), (14053127639522, 3086718619), (14070307495610, 3129594895), (14087487351682, 3172576004), (14104667207738, 3215662072), (14121847063778, 3258853228), (14139026919802, 3302149601), (14156206775810, 3345551317), (14173386631802, 3389058505), (14190566487778, 3432671292), (14207746343738, 3476389808), (14224926199682, 3520214180), (14242106055610, 3564144535), (14259285911522, 3608181002), (14276465767418, 3652323710), (14293645623298, 3696572785), (14310825479162, 3740928356), (14328005335010, 3785390550), (14345185190842, 3829959497), (14362365046658, 3874635324), (14379544902458, 3919418158), (14396724758242, 3964308128), (14413904614010, 4009305363), (14431084469762, 4054409989), (14448264325498, 4099622135), (14465444181218, 4144941928), (14482624036922, 4190369498), (14499803892610, 4235904972), (14516983748282, 4281548477), (14534163603939, 32332846), (14551343459579, 78192800), (14568523315203, 124161169), (14585703170811, 170238082), (14602883026403, 216423666), (14620062881979, 262718051), (14637242737539, 309121364), (14654422593083, 355633732), (14671602448611, 402255284), (14688782304123, 448986148), (14705962159619, 495826452), (14723142015099, 542776324), (14740321870563, 589835892), (14757501726011, 637005284), (14774681581443, 684284627), (14791861436859, 731674050), (14809041292259, 779173682), (14826221147643, 826783649), (14843401003011, 874504080), (14860580858363, 922335103), (14877760713699, 970276845), (14894940569019, 1018329436), (14912120424323, 1066493002), (14929300279611, 1114767673), (14946480134883, 1163153575), (14963659990139, 1211650837), (14980839845379, 1260259587), (14998019700603, 1308979952), (15015199555811, 1357812062), (15032379411003, 1406756043), (15049559266179, 1455812025), (15066739121339, 1504980134), (15083918976483, 1554260499), (15101098831611, 1603653248), (15118278686723, 1653158509), (15135458541819, 1702776409), (15152638396899, 1752507078), (15169818251963, 1802350642), (15186998107011, 1852307230), (15204177962043, 1902376971), (15221357817059, 1952559990), (15238537672059, 2002856418), (15255717527043, 2053266382), (15272897382011, 2103790009), (15290077236963, 2154427429), (15307257091899, 2205178768), (15324436946819, 2256044155), (15341616801723, 2307023718), (15358796656611, 2358117585), (15375976511483, 2409325884), (15393156366339, 2460648742), (15410336221179, 2512086289), (15427516076003, 2563638651), (15444695930811, 2615305957), (15461875785603, 2667088335), (15479055640379, 2718985913), (15496235495139, 2770998818), (15513415349883, 2823127180), (15530595204611, 2875371125), (15547775059323, 2927730782), (15564954914019, 2980206280), (15582134768699, 3032797744), (15599314623363, 3085505305), (15616494478011, 3138329090), (15633674332643, 3191269226), (15650854187259, 3244325843), (15668034041859, 3297499067), (15685213896443, 3350789027), (15702393751011, 3404195851), (15719573605563, 3457719667), (15736753460099, 3511360602), (15753933314619, 3565118786), (15771113169123, 3618994345), (15788293023611, 3672987408), (15805472878083, 3727098103), (15822652732539, 3781326558), (15839832586979, 3835672901), (15857012441403, 3890137259), (15874192295811, 3944719762), (15891372150203, 3999420536), (15908552004579, 4054239710), (15925731858939, 4109177412), (15942911713283, 4164233770), (15960091567611, 4219408911), (15977271421923, 4274702965), (15994451276220, 35148762), (16011631130500, 90681023), (16028810984764, 146332580), (16045990839012, 202103561), (16063170693244, 257994094), (16080350547460, 314004306), (16097530401660, 370134327), (16114710255844, 426384283), (16131890110012, 482754303), (16149069964164, 539244515), (16166249818300, 595855047), (16183429672420, 652586026), (16200609526524, 709437582), (16217789380612, 766409841), (16234969234684, 823502932), (16252149088740, 880716983), (16269328942780, 938052122), (16286508796804, 995508476), (16303688650812, 1053086175), (16320868504804, 1110785345), (16338048358780, 1168606115), (16355228212740, 1226548613), (16372408066684, 1284612967), (16389587920612, 1342799305), (16406767774524, 1401107754), (16423947628420, 1459538444), (16441127482300, 1518091501), (16458307336164, 1576767054), (16475487190012, 1635565231), (16492667043844, 1694486159), (16509846897660, 1753529968), (16527026751460, 1812696784), (16544206605244, 1871986736), (16561386459012, 1931399952), (16578566312764, 1990936560), (16595746166500, 2050596688), (16612926020220, 2110380463), (16630105873924, 2170288015), (16647285727612, 2230319470), (16664465581284, 2290474957), (16681645434940, 2350754604), (16698825288580, 2411158538), (16716005142204, 2471686889), (16733184995812, 2532339783), (16750364849404, 2593117350), (16767544702980, 2654019716), (16784724556540, 2715047009), (16801904410084, 2776199359), (16819084263612, 2837476893), (16836264117124, 2898879738), (16853443970620, 2960408023), (16870623824100, 3022061876), (16887803677564, 3083841425), (16904983531012, 3145746797), (16922163384444, 3207778122), (16939343237860, 3269935526), (16956523091260, 3332219138), (16973702944644, 3394629086), (16990882798012, 3457165498), (17008062651364, 3519828502), (17025242504700, 3582618225), (17042422358020, 3645534796), (17059602211324, 3708578343), (17076782064612, 3771748994), (17093961917884, 3835046877), (17111141771140, 3898472119), (17128321624380, 3962024850), (17145501477604, 4025705196), (17162681330812, 4089513286), (17179861184004, 4153449248), (17197041037180, 4217513209), (17214220890340, 4281705299), (17231400743485, 51058348), (17248580596613, 115507077), (17265760449725, 180084318), (17282940302821, 244790199), (17300120155901, 309624847), (17317300008965, 374588392), (17334479862013, 439680960), (17351659715045, 504902680), (17368839568061, 570253680), (17386019421061, 635734087), (17403199274045, 701344031), (17420379127013, 767083638), (17437558979965, 832953037), (17454738832901, 898952356), (17471918685821, 965081723), (17489098538725, 1031341265), (17506278391613, 1097731112), (17523458244485, 1164251390), (17540638097341, 1230902228), (17557817950181, 1297683754), (17574997803005, 1364596095), ];
pub static LN_QUATERNARY_TABLE_TIER_3: [(i128, i64); 1024] = [
(0, 0), (16777215, 4294934528), (33554431, 4294836224), (50331647, 4294672384), (67108863, 4294443008), (83886079, 4294148096), (100663295, 4293787648), (117440511, 4293361664), (134217727, 4292870144), (150994943, 4292313088), (167772159, 4291690496), (184549375, 4291002368), (201326591, 4290248704), (218103807, 4289429504), (234881023, 4288544768), (251658239, 4287594496), (268435455, 4286578688), (285212671, 4285497344), (301989887, 4284350464), (318767103, 4283138048), (335544319, 4281860096), (352321535, 4280516608), (369098751, 4279107584), (385875967, 4277633024), (402653183, 4276092928), (419430399, 4274487296), (436207615, 4272816128), (452984831, 4271079424), (469762047, 4269277184), (486539263, 4267409408), (503316479, 4265476096), (520093695, 4263477248), (536870911, 4261412864), (553648127, 4259282944), (570425343, 4257087488), (587202559, 4254826496), (603979775, 4252499968), (620756991, 4250107904), (637534207, 4247650304), (654311423, 4245127168), (671088639, 4242538496), (687865855, 4239884288), (704643071, 4237164544), (721420287, 4234379264), (738197503, 4231528448), (754974719, 4228612096), (771751935, 4225630208), (788529151, 4222582784), (805306367, 4219469824), (822083583, 4216291328), (838860799, 4213047296), (855638015, 4209737728), (872415231, 4206362624), (889192447, 4202921984), (905969663, 4199415808), (922746879, 4195844096), (939524095, 4192206848), (956301311, 4188504064), (973078527, 4184735744), (989855743, 4180901888), (1006632959, 4177002496), (1023410175, 4173037568), (1040187391, 4169007104), (1056964607, 4164911104), (1073741823, 4160749568), (1090519039, 4156522496), (1107296255, 4152229888), (1124073471, 4147871744), (1140850687, 4143448064), (1157627903, 4138958848), (1174405119, 4134404096), (1191182335, 4129783808), (1207959551, 4125097984), (1224736767, 4120346624), (1241513983, 4115529728), (1258291199, 4110647296), (1275068415, 4105699328), (1291845631, 4100685824), (1308622847, 4095606784), (1325400063, 4090462208), (1342177279, 4085252096), (1358954495, 4079976448), (1375731711, 4074635264), (1392508927, 4069228544), (1409286143, 4063756288), (1426063359, 4058218496), (1442840575, 4052615168), (1459617791, 4046946304), (1476395007, 4041211904), (1493172223, 4035411968), (1509949439, 4029546496), (1526726655, 4023615488), (1543503871, 4017618944), (1560281087, 4011556864), (1577058303, 4005429248), (1593835519, 3999236096), (1610612735, 3992977408), (1627389951, 3986653184), (1644167167, 3980263424), (1660944383, 3973808128), (1677721599, 3967287296), (1694498815, 3960700928), (1711276031, 3954049024), (1728053247, 3947331584), (1744830463, 3940548608), (1761607679, 3933700096), (1778384895, 3926786048), (1795162111, 3919806464), (1811939327, 3912761344), (1828716543, 3905650688), (1845493759, 3898474496), (1862270975, 3891232768), (1879048191, 3883925504), (1895825407, 3876552704), (1912602623, 3869114368), (1929379839, 3861610496), (1946157055, 3854041088), (1962934271, 3846406144), (1979711487, 3838705664), (1996488703, 3830939648), (2013265919, 3823108096), (2030043135, 3815211008), (2046820351, 3807248384), (2063597567, 3799220224), (2080374783, 3791126528), (2097151999, 3782967296), (2113929215, 3774742528), (2130706431, 3766452224), (2147483647, 3758096384), (2164260863, 3749675008), (2181038079, 3741188096), (2197815295, 3732635648), (2214592511, 3724017664), (2231369727, 3715334144), (2248146943, 3706585088), (2264924159, 3697770496), (2281701375, 3688890368), (2298478591, 3679944704), (2315255807, 3670933504), (2332033023, 3661856768), (2348810239, 3652714496), (2365587455, 3643506688), (2382364671, 3634233344), (2399141887, 3624894464), (2415919103, 3615490048), (2432696319, 3606020096), (2449473535, 3596484608), (2466250751, 3586883584), (2483027967, 3577217024), (2499805183, 3567484928), (2516582399, 3557687296), (2533359615, 3547824128), (2550136831, 3537895424), (2566914047, 3527901184), (2583691263, 3517841408), (2600468479, 3507716096), (2617245695, 3497525248), (2634022911, 3487268864), (2650800127, 3476946944), (2667577343, 3466559488), (2684354559, 3456106496), (2701131775, 3445587968), (2717908991, 3435003904), (2734686207, 3424354304), (2751463423, 3413639168), (2768240639, 3402858496), (2785017855, 3392012288), (2801795071, 3381100544), (2818572287, 3370123264), (2835349503, 3359080448), (2852126719, 3347972096), (2868903935, 3336798208), (2885681151, 3325558784), (2902458367, 3314253824), (2919235583, 3302883328), (2936012799, 3291447296), (2952790015, 3279945728), (2969567231, 3268378624), (2986344447, 3256745984), (3003121663, 3245047808), (3019898879, 3233284096), (3036676095, 3221454848), (3053453311, 3209560064), (3070230527, 3197599744), (3087007743, 3185573888), (3103784959, 3173482496), (3120562175, 3161325568), (3137339391, 3149103104), (3154116607, 3136815104), (3170893823, 3124461568), (3187671039, 3112042496), (3204448255, 3099557888), (3221225471, 3087007744), (3238002687, 3074392064), (3254779903, 3061710848), (3271557119, 3048964096), (3288334335, 3036151808), (3305111551, 3023273984), (3321888767, 3010330624), (3338665983, 2997321728), (3355443199, 2984247296), (3372220415, 2971107328), (3388997631, 2957901824), (3405774847, 2944630784), (3422552063, 2931294208), (3439329279, 2917892096), (3456106495, 2904424448), (3472883711, 2890891264), (3489660927, 2877292544), (3506438143, 2863628288), (3523215359, 2849898496), (3539992575, 2836103168), (3556769791, 2822242304), (3573547007, 2808315904), (3590324223, 2794323968), (3607101439, 2780266496), (3623878655, 2766143488), (3640655871, 2751954944), (3657433087, 2737700864), (3674210303, 2723381248), (3690987519, 2708996096), (3707764735, 2694545408), (3724541951, 2680029184), (3741319167, 2665447424), (3758096383, 2650800128), (3774873599, 2636087296), (3791650815, 2621308928), (3808428031, 2606465024), (3825205247, 2591555584), (3841982463, 2576580608), (3858759679, 2561540096), (3875536895, 2546434048), (3892314111, 2531262464), (3909091327, 2516025344), (3925868543, 2500722688), (3942645759, 2485354496), (3959422975, 2469920768), (3976200191, 2454421504), (3992977407, 2438856704), (4009754623, 2423226368), (4026531839, 2407530496), (4043309055, 2391769088), (4060086271, 2375942144), (4076863487, 2360049664), (4093640703, 2344091648), (4110417919, 2328068096), (4127195135, 2311979008), (4143972351, 2295824384), (4160749567, 2279604224), (4177526783, 2263318528), (4194303999, 2246967296), (4211081215, 2230550528), (4227858431, 2214068224), (4244635647, 2197520384), (4261412863, 2180907008), (4278190079, 2164228096), (4294967295, 2147483648), (4311744511, 2130673664), (4328521727, 2113798144), (4345298943, 2096857088), (4362076159, 2079850496), (4378853375, 2062778368), (4395630591, 2045640704), (4412407807, 2028437504), (4429185023, 2011168768), (4445962239, 1993834496), (4462739455, 1976434688), (4479516671, 1958969344), (4496293887, 1941438464), (4513071103, 1923842048), (4529848319, 1906180096), (4546625535, 1888452608), (4563402751, 1870659584), (4580179967, 1852801024), (4596957183, 1834876928), (4613734399, 1816887296), (4630511615, 1798832128), (4647288831, 1780711424), (4664066047, 1762525184), (4680843263, 1744273408), (4697620479, 1725956096), (4714397695, 1707573248), (4731174911, 1689124864), (4747952127, 1670610944), (4764729343, 1652031488), (4781506559, 1633386496), (4798283775, 1614675968), (4815060991, 1595899904), (4831838207, 1577058304), (4848615423, 1558151168), (4865392639, 1539178496), (4882169855, 1520140288), (4898947071, 1501036544), (4915724287, 1481867264), (4932501503, 1462632448), (4949278719, 1443332096), (4966055935, 1423966208), (4982833151, 1404534784), (4999610367, 1385037824), (5016387583, 1365475328), (5033164799, 1345847296), (5049942015, 1326153728), (5066719231, 1306394624), (5083496447, 1286569984), (5100273663, 1266679808), (5117050879, 1246724096), (5133828095, 1226702848), (5150605311, 1206616064), (5167382527, 1186463744), (5184159743, 1166245888), (5200936959, 1145962496), (5217714175, 1125613568), (5234491391, 1105199104), (5251268607, 1084719104), (5268045823, 1064173568), (5284823039, 1043562496), (5301600255, 1022885888), (5318377471, 1002143744), (5335154687, 981336064), (5351931903, 960462848), (5368709119, 939524096), (5385486335, 918519808), (5402263551, 897449984), (5419040767, 876314624), (5435817983, 855113728), (5452595199, 833847296), (5469372415, 812515328), (5486149631, 791117824), (5502926847, 769654784), (5519704063, 748126208), (5536481279, 726532096), (5553258495, 704872448), (5570035711, 683147264), (5586812927, 661356544), (5603590143, 639500288), (5620367359, 617578496), (5637144575, 595591168), (5653921791, 573538304), (5670699007, 551419904), (5687476223, 529235968), (5704253439, 506986496), (5721030655, 484671488), (5737807871, 462290944), (5754585087, 439844864), (5771362303, 417333248), (5788139519, 394756096), (5804916735, 372113408), (5821693951, 349405184), (5838471167, 326631424), (5855248383, 303792128), (5872025599, 280887296), (5888802815, 257916928), (5905580031, 234881024), (5922357247, 211779584), (5939134463, 188612608), (5955911679, 165380096), (5972688895, 142082048), (5989466111, 118718464), (6006243327, 95289344), (6023020543, 71794688), (6039797759, 48234496), (6056574975, 24608768), (6073352191, 917504), (6090129406, 4272128000), (6106906622, 4248305664), (6123683838, 4224417792), (6140461054, 4200464384), (6157238270, 4176445440), (6174015486, 4152360960), (6190792702, 4128210944), (6207569918, 4103995393), (6224347134, 4079714305), (6241124350, 4055367681), (6257901566, 4030955521), (6274678782, 4006477825), (6291455998, 3981934593), (6308233214, 3957325825), (6325010430, 3932651521), (6341787646, 3907911681), (6358564862, 3883106305), (6375342078, 3858235393), (6392119294, 3833298945), (6408896510, 3808296961), (6425673726, 3783229441), (6442450942, 3758096385), (6459228158, 3732897793), (6476005374, 3707633665), (6492782590, 3682304001), (6509559806, 3656908801), (6526337022, 3631448065), (6543114238, 3605921793), (6559891454, 3580329985), (6576668670, 3554672641), (6593445886, 3528949761), (6610223102, 3503161345), (6627000318, 3477307393), (6643777534, 3451387905), (6660554750, 3425402881), (6677331966, 3399352321), (6694109182, 3373236225), (6710886398, 3347054593), (6727663614, 3320807425), (6744440830, 3294494721), (6761218046, 3268116481), (6777995262, 3241672705), (6794772478, 3215163393), (6811549694, 3188588545), (6828326910, 3161948161), (6845104126, 3135242241), (6861881342, 3108470785), (6878658558, 3081633793), (6895435774, 3054731265), (6912212990, 3027763201), (6928990206, 3000729601), (6945767422, 2973630465), (6962544638, 2946465793), (6979321854, 2919235585), (6996099070, 2891939841), (7012876286, 2864578561), (7029653502, 2837151745), (7046430718, 2809659393), (7063207934, 2782101505), (7079985150, 2754478081), (7096762366, 2726789121), (7113539582, 2699034625), (7130316798, 2671214593), (7147094014, 2643329025), (7163871230, 2615377921), (7180648446, 2587361281), (7197425662, 2559279105), (7214202878, 2531131393), (7230980094, 2502918145), (7247757310, 2474639361), (7264534526, 2446295041), (7281311742, 2417885185), (7298088958, 2389409793), (7314866174, 2360868865), (7331643390, 2332262401), (7348420606, 2303590401), (7365197822, 2274852865), (7381975038, 2246049793), (7398752254, 2217181185), (7415529470, 2188247041), (7432306686, 2159247361), (7449083902, 2130182145), (7465861118, 2101051393), (7482638334, 2071855105), (7499415550, 2042593281), (7516192766, 2013265921), (7532969982, 1983873025), (7549747198, 1954414593), (7566524414, 1924890625), (7583301630, 1895301121), (7600078846, 1865646081), (7616856062, 1835925505), (7633633278, 1806139393), (7650410494, 1776287745), (7667187710, 1746370561), (7683964926, 1716387841), (7700742142, 1686339585), (7717519358, 1656225793), (7734296574, 1626046465), (7751073790, 1595801601), (7767851006, 1565491201), (7784628222, 1535115265), (7801405438, 1504673793), (7818182654, 1474166786), (7834959870, 1443594242), (7851737086, 1412956162), (7868514302, 1382252546), (7885291518, 1351483394), (7902068734, 1320648706), (7918845950, 1289748482), (7935623166, 1258782722), (7952400382, 1227751426), (7969177598, 1196654594), (7985954814, 1165492226), (8002732030, 1134264322), (8019509246, 1102970882), (8036286462, 1071611906), (8053063678, 1040187394), (8069840894, 1008697346), (8086618110, 977141762), (8103395326, 945520642), (8120172542, 913833986), (8136949758, 882081794), (8153726974, 850264066), (8170504190, 818380802), (8187281406, 786432002), (8204058622, 754417666), (8220835838, 722337794), (8237613054, 690192386), (8254390270, 657981442), (8271167486, 625704962), (8287944702, 593362946), (8304721918, 560955394), (8321499134, 528482306), (8338276350, 495943682), (8355053566, 463339522), (8371830782, 430669826), (8388607998, 397934594), (8405385214, 365133826), (8422162430, 332267522), (8438939646, 299335682), (8455716862, 266338306), (8472494078, 233275394), (8489271294, 200146946), (8506048510, 166952962), (8522825726, 133693442), (8539602942, 100368386), (8556380158, 66977794), (8573157374, 33521666), (8589934590, 2), (8606711805, 4261380098), (8623489021, 4227727362), (8640266237, 4194009090), (8657043453, 4160225282), (8673820669, 4126375938), (8690597885, 4092461058), (8707375101, 4058480642), (8724152317, 4024434690), (8740929533, 3990323202), (8757706749, 3956146178), (8774483965, 3921903618), (8791261181, 3887595522), (8808038397, 3853221890), (8824815613, 3818782722), (8841592829, 3784278018), (8858370045, 3749707778), (8875147261, 3715072002), (8891924477, 3680370690), (8908701693, 3645603842), (8925478909, 3610771458), (8942256125, 3575873539), (8959033341, 3540910083), (8975810557, 3505881091), (8992587773, 3470786563), (9009364989, 3435626499), (9026142205, 3400400899), (9042919421, 3365109763), (9059696637, 3329753091), (9076473853, 3294330883), (9093251069, 3258843139), (9110028285, 3223289859), (9126805501, 3187671043), (9143582717, 3151986691), (9160359933, 3116236803), (9177137149, 3080421379), (9193914365, 3044540419), (9210691581, 3008593923), (9227468797, 2972581891), (9244246013, 2936504323), (9261023229, 2900361219), (9277800445, 2864152579), (9294577661, 2827878403), (9311354877, 2791538691), (9328132093, 2755133443), (9344909309, 2718662659), (9361686525, 2682126339), (9378463741, 2645524483), (9395240957, 2608857091), (9412018173, 2572124163), (9428795389, 2535325699), (9445572605, 2498461699), (9462349821, 2461532163), (9479127037, 2424537091), (9495904253, 2387476483), (9512681469, 2350350339), (9529458685, 2313158659), (9546235901, 2275901443), (9563013117, 2238578691), (9579790333, 2201190403), (9596567549, 2163736579), (9613344765, 2126217219), (9630121981, 2088632323), (9646899197, 2050981891), (9663676413, 2013265923), (9680453629, 1975484419), (9697230845, 1937637379), (9714008061, 1899724803), (9730785277, 1861746691), (9747562493, 1823703043), (9764339709, 1785593859), (9781116925, 1747419139), (9797894141, 1709178883), (9814671357, 1670873091), (9831448573, 1632501763), (9848225789, 1594064900), (9865003005, 1555562500), (9881780221, 1516994564), (9898557437, 1478361092), (9915334653, 1439662084), (9932111869, 1400897540), (9948889085, 1362067460), (9965666301, 1323171844), (9982443517, 1284210692), (9999220733, 1245184004), (10015997949, 1206091780), (10032775165, 1166934020), (10049552381, 1127710724), (10066329597, 1088421892), (10083106813, 1049067524), (10099884029, 1009647620), (10116661245, 970162180), (10133438461, 930611204), (10150215677, 890994692), (10166992893, 851312644), (10183770109, 811565060), (10200547325, 771751940), (10217324541, 731873284), (10234101757, 691929092), (10250878973, 651919364), (10267656189, 611844100), (10284433405, 571703300), (10301210621, 531496964), (10317987837, 491225092), (10334765053, 450887684), (10351542269, 410484740), (10368319485, 370016260), (10385096701, 329482244), (10401873917, 288882692), (10418651133, 248217604), (10435428349, 207486980), (10452205565, 166690820), (10468982781, 125829124), (10485759997, 84901892), (10502537213, 43909124), (10519314429, 2850820), (10536091644, 4256694276), (10552868860, 4215504900), (10569646076, 4174249988), (10586423292, 4132929540), (10603200508, 4091543557), (10619977724, 4050092037), (10636754940, 4008574981), (10653532156, 3966992389), (10670309372, 3925344261), (10687086588, 3883630597), (10703863804, 3841851397), (10720641020, 3800006661), (10737418236, 3758096389), (10754195452, 3716120581), (10770972668, 3674079237), (10787749884, 3631972357), (10804527100, 3589799941), (10821304316, 3547561989), (10838081532, 3505258501), (10854858748, 3462889477), (10871635964, 3420454917), (10888413180, 3377954821), (10905190396, 3335389189), (10921967612, 3292758021), (10938744828, 3250061317), (10955522044, 3207299077), (10972299260, 3164471301), (10989076476, 3121577989), (11005853692, 3078619141), (11022630908, 3035594757), (11039408124, 2992504837), (11056185340, 2949349381), (11072962556, 2906128389), (11089739772, 2862841861), (11106516988, 2819489797), (11123294204, 2776072197), (11140071420, 2732589061), (11156848636, 2689040389), (11173625852, 2645426181), (11190403068, 2601746437), (11207180284, 2558001157), (11223957500, 2514190341), (11240734716, 2470313989), (11257511932, 2426372102), (11274289148, 2382364678), (11291066364, 2338291718), (11307843580, 2294153222), (11324620796, 2249949190), (11341398012, 2205679622), (11358175228, 2161344518), (11374952444, 2116943878), (11391729660, 2072477702), (11408506876, 2027945990), (11425284092, 1983348742), (11442061308, 1938685958), (11458838524, 1893957638), (11475615740, 1849163782), (11492392956, 1804304390), (11509170172, 1759379462), (11525947388, 1714388998), (11542724604, 1669332998), (11559501820, 1624211462), (11576279036, 1579024390), (11593056252, 1533771782), (11609833468, 1488453638), (11626610684, 1443069958), (11643387900, 1397620742), (11660165116, 1352105990), (11676942332, 1306525702), (11693719548, 1260879878), (11710496764, 1215168518), (11727273980, 1169391622), (11744051196, 1123549190), (11760828412, 1077641222), (11777605628, 1031667718), (11794382844, 985628678), (11811160060, 939524102), (11827937276, 893353990), (11844714492, 847118342), (11861491708, 800817159), (11878268924, 754450439), (11895046140, 708018183), (11911823356, 661520391), (11928600572, 614957063), (11945377788, 568328199), (11962155004, 521633799), (11978932220, 474873863), (11995709436, 428048391), (12012486652, 381157383), (12029263868, 334200839), (12046041084, 287178759), (12062818300, 240091143), (12079595516, 192937991), (12096372732, 145719303), (12113149948, 98435079), (12129927164, 51085319), (12146704380, 3670023), (12163481595, 4251156487), (12180258811, 4203610119), (12197036027, 4155998215), (12213813243, 4108320775), (12230590459, 4060577799), (12247367675, 4012769287), (12264144891, 3964895239), (12280922107, 3916955655), (12297699323, 3868950535), (12314476539, 3820879879), (12331253755, 3772743687), (12348030971, 3724541959), (12364808187, 3676274695), (12381585403, 3627941895), (12398362619, 3579543560), (12415139835, 3531079688), (12431917051, 3482550280), (12448694267, 3433955336), (12465471483, 3385294856), (12482248699, 3336568840), (12499025915, 3287777288), (12515803131, 3238920200), (12532580347, 3189997576), (12549357563, 3141009416), (12566134779, 3091955720), (12582911995, 3042836488), (12599689211, 2993651720), (12616466427, 2944401416), (12633243643, 2895085576), (12650020859, 2845704200), (12666798075, 2796257288), (12683575291, 2746744840), (12700352507, 2697166856), (12717129723, 2647523336), (12733906939, 2597814280), (12750684155, 2548039688), (12767461371, 2498199560), (12784238587, 2448293896), (12801015803, 2398322696), (12817793019, 2348285960), (12834570235, 2298183688), (12851347451, 2248015880), (12868124667, 2197782536), (12884901883, 2147483656), (12901679099, 2097119241), (12918456315, 2046689289), (12935233531, 1996193801), (12952010747, 1945632777), (12968787963, 1895006217), (12985565179, 1844314121), (13002342395, 1793556489), (13019119611, 1742733321), (13035896827, 1691844617), (13052674043, 1640890377), (13069451259, 1589870601), (13086228475, 1538785289), (13103005691, 1487634441), (13119782907, 1436418057), (13136560123, 1385136137), (13153337339, 1333788681), (13170114555, 1282375689), (13186891771, 1230897161), (13203668987, 1179353097), (13220446203, 1127743497), (13237223419, 1076068361), (13254000635, 1024327689), (13270777851, 972521481), (13287555067, 920649737), (13304332283, 868712457), (13321109499, 816709641), (13337886715, 764641289), (13354663931, 712507402), (13371441147, 660307978), (13388218363, 608043018), (13404995579, 555712522), (13421772795, 503316490), (13438550011, 450854922), (13455327227, 398327818), (13472104443, 345735178), (13488881659, 293077002), (13505658875, 240353290), (13522436091, 187564042), (13539213307, 134709258), (13555990523, 81788938), (13572767739, 28803082), (13589544954, 4270718986), (13606322170, 4217602058), (13623099386, 4164419594), (13639876602, 4111171594), (13656653818, 4057858058), (13673431034, 4004478986), (13690208250, 3951034378), (13706985466, 3897524234), (13723762682, 3843948554), (13740539898, 3790307338), (13757317114, 3736600586), (13774094330, 3682828298), (13790871546, 3628990475), (13807648762, 3575087115), (13824425978, 3521118219), (13841203194, 3467083787), (13857980410, 3412983819), (13874757626, 3358818315), (13891534842, 3304587275), (13908312058, 3250290699), (13925089274, 3195928587), (13941866490, 3141500939), (13958643706, 3087007755), (13975420922, 3032449035), (13992198138, 2977824779), (14008975354, 2923134987), (14025752570, 2868379659), (14042529786, 2813558795), (14059307002, 2758672395), (14076084218, 2703720459), (14092861434, 2648702987), (14109638650, 2593619979), (14126415866, 2538471435), (14143193082, 2483257355), (14159970298, 2427977739), (14176747514, 2372632587), (14193524730, 2317221900), (14210301946, 2261745676), (14227079162, 2206203916), (14243856378, 2150596620), (14260633594, 2094923788), (14277410810, 2039185420), (14294188026, 1983381516), (14310965242, 1927512076), (14327742458, 1871577100), (14344519674, 1815576588), (14361296890, 1759510540), (14378074106, 1703378956), (14394851322, 1647181836), (14411628538, 1590919180), (14428405754, 1534590988), (14445182970, 1478197260), (14461960186, 1421737996), (14478737402, 1365213196), (14495514618, 1308622860), (14512291834, 1251966988), (14529069050, 1195245580), (14545846266, 1138458636), (14562623482, 1081606156), (14579400698, 1024688141), (14596177914, 967704589), (14612955130, 910655501), (14629732346, 853540877), (14646509562, 796360717), (14663286778, 739115021), (14680063994, 681803789), (14696841210, 624427021), (14713618426, 566984717), (14730395642, 509476877), (14747172858, 451903501), (14763950074, 394264589), (14780727290, 336560141), (14797504506, 278790157), (14814281722, 220954637), (14831058938, 163053581), (14847836154, 105086989), (14864613370, 47054861), (14881390585, 4283924493), (14898167801, 4225761293), (14914945017, 4167532557), (14931722233, 4109238286), (14948499449, 4050878478), (14965276665, 3992453134), (14982053881, 3933962254), (14998831097, 3875405838), (15015608313, 3816783886), (15032385529, 3758096398), (15049162745, 3699343374), (15065939961, 3640524814), (15082717177, 3581640718), (15099494393, 3522691086), (15116271609, 3463675918), (15133048825, 3404595214), (15149826041, 3345448974), (15166603257, 3286237198), (15183380473, 3226959886), (15200157689, 3167617038), (15216934905, 3108208654), (15233712121, 3048734734), (15250489337, 2989195278), (15267266553, 2929590286), (15284043769, 2869919759), (15300820985, 2810183695), (15317598201, 2750382095), (15334375417, 2690514959), (15351152633, 2630582287), (15367929849, 2570584079), (15384707065, 2510520335), (15401484281, 2450391055), (15418261497, 2390196239), (15435038713, 2329935887), (15451815929, 2269609999), (15468593145, 2209218575), (15485370361, 2148761615), (15502147577, 2088239119), (15518924793, 2027651087), (15535702009, 1966997519), (15552479225, 1906278415), (15569256441, 1845493775), (15586033657, 1784643599), (15602810873, 1723727887), (15619588089, 1662746640), (15636365305, 1601699856), (15653142521, 1540587536), (15669919737, 1479409680), (15686696953, 1418166288), (15703474169, 1356857360), (15720251385, 1295482896), (15737028601, 1234042896), (15753805817, 1172537360), (15770583033, 1110966288), (15787360249, 1049329680), (15804137465, 987627536), (15820914681, 925859856), (15837691897, 864026640), (15854469113, 802127888), (15871246329, 740163600), (15888023545, 678133776), (15904800761, 616038416), (15921577977, 553877520), (15938355193, 491651089), (15955132409, 429359121), (15971909625, 367001617), (15988686841, 304578577), (16005464057, 242090001), (16022241273, 179535889), (16039018489, 116916241), (16055795705, 54231057), (16072572920, 4286447633), (16089350136, 4223631377), (16106127352, 4160749585), (16122904568, 4097802257), (16139681784, 4034789393), (16156459000, 3971710993), (16173236216, 3908567057), (16190013432, 3845357585), (16206790648, 3782082577), (16223567864, 3718742033), (16240345080, 3655335954), (16257122296, 3591864338), (16273899512, 3528327186), (16290676728, 3464724498), (16307453944, 3401056274), (16324231160, 3337322514), (16341008376, 3273523218), (16357785592, 3209658386), (16374562808, 3145728018), (16391340024, 3081732114), (16408117240, 3017670674), (16424894456, 2953543698), (16441671672, 2889351186), (16458448888, 2825093138), (16475226104, 2760769554), (16492003320, 2696380434), (16508780536, 2631925778), (16525557752, 2567405586), (16542334968, 2502819859), (16559112184, 2438168595), (16575889400, 2373451795), (16592666616, 2308669459), (16609443832, 2243821587), (16626221048, 2178908179), (16642998264, 2113929235), (16659775480, 2048884755), (16676552696, 1983774739), (16693329912, 1918599187), (16710107128, 1853358099), (16726884344, 1788051475), (16743661560, 1722679315), (16760438776, 1657241619), (16777215992, 1591738387), (16793993208, 1526169619), (16810770424, 1460535315), (16827547640, 1394835476), (16844324856, 1329070100), (16861102072, 1263239188), (16877879288, 1197342740), (16894656504, 1131380756), (16911433720, 1065353236), (16928210936, 999260180), (16944988152, 933101588), (16961765368, 866877460), (16978542584, 800587796), (16995319800, 734232596), (17012097016, 667811860), (17028874232, 601325588), (17045651448, 534773780), (17062428664, 468156436), (17079205880, 401473556), (17095983096, 334725141), (17112760312, 267911189), (17129537528, 201031701), (17146314744, 134086677), (17163091960, 67076117), ];
pub static LN_TAYLOR_COEFFICIENTS_TIER_3: [(i128, i64); 51] = [
(0, 0), (18446744073709551616, 0), (9223372036854775808, 0), (6148914691236517205, 1431655765), (4611686018427387904, 0), (3689348814741910323, 858993459), (3074457345618258602, 2863311530), (2635249153387078802, 1227133513), (2305843009213693952, 0), (2049638230412172401, 3340530119), (1844674407370955161, 2576980377), (1676976733973595601, 1952257861), (1537228672809129301, 1431655765), (1418980313362273201, 991146299), (1317624576693539401, 613566756), (1229782938247303441, 286331153), (1152921504606846976, 0), (1085102592571150095, 252645135), (1024819115206086200, 3817748707), (970881267037344821, 3842865475), (922337203685477580, 3435973836), (878416384462359600, 3272356035), (838488366986797800, 3123612578), (802032351030850070, 1120426251), (768614336404564650, 2863311530), (737869762948382064, 2748779069), (709490156681136600, 2643056797), (683212743470724133, 3976821570), (658812288346769700, 2454267026), (636094623231363848, 3554455693), (614891469123651720, 2290649224), (595056260442243600, 2216757314), (576460752303423488, 0), (558992244657865200, 2082408385), (542551296285575047, 2273806215), (527049830677415760, 1963413621), (512409557603043100, 1908874353), (498560650640798692, 1392962366), (485440633518672410, 4068916385), (472993437787424400, 1762037865), (461168601842738790, 1717986918), (449920587163647600, 1676084798), (439208192231179800, 1636178017), (428994048225803525, 4095201375), (419244183493398900, 1561806289), (409927646082434480, 1527099483), (401016175515425035, 560213125), (392483916461905353, 2284557072), (384307168202282325, 1431655765), (376464164769582686, 175304787), (368934881474191032, 1374389534), ];