pub static EXP_INTEGER_TABLE_TIER_3: [(i128, i64); 81] = [
(78, 1581852268), (213, 116547482), (579, 291165638), (1574, 298316440), (4278, 3283082720), (11630, 3811881953), (31616, 129718442), (85941, 1204254170), (233612, 2666278029), (635024, 4045839836), (1726176, 3266084724), (4692234, 3954053761), (12754816, 3949632975), (34671187, 248501060), (94246057, 3223294049), (256187346, 803313384), (696389407, 3527742484), (1892982672, 3488269407), (5145660401, 400172348), (13987355163, 3061679121), (38021573369, 3107156738), (103353351980, 1467066239), (280943538598, 2122523153), (763683715795, 1155919054), (2075907567336, 1554884191), (5642901817851, 235077176), (15338997471243, 151547495), (41695718092859, 812139172), (113340712816370, 734413744), (308092000073334, 1077714684), (837480885292947, 1401644174), (2276509072173612, 3366677918), (6188193243211692, 3153908839), (16821253244015389, 1462972157), (45724907025114798, 3227320894), (124293183874348897, 3294373009), (337863903126961437, 4197171276), (918409308362266468, 2752709009), (2496495334008788799, 3069040066), (6786177901268885274, 3135162242), (18446744073709551616, 0), (50143449209799256682, 3211876480), (136304026803256390412, 3907946522), (370512759205086491348, 3187430260), (1007158100559408451354, 3665296242), (2737739563135967755063, 3580662189), (7441947705525906143898, 3844052787), (20229311216273556490216, 44191211), (54988969081439155412736, 1883395082), (149475515419772332500318, 465652342), (406316577365116946489258, 806728781), (1104482968853271205623955, 2108454857), (3002295984076344760991928, 2360230419), (8161086617170294995098934, 850310155), (22184133451934313593551412, 1092497580), (60302726842503476852711395, 1926056722), (163919806582506698591828152, 1142271858), (445580231557749347663319242, 2429893671), (1211212646564003666599373399, 2195126953), (3292417327554719200255777015, 1947637582), (8949718193195685364729616377, 1503443126), (24327856334393150269353828458, 1484278814), (66129969799143178321690581290, 2084187646), (179759895221556359152831428051, 2454451552), (488638056666458608373303099672, 3977915773), (1328255950129975663983766434518, 2238750717), (3610574012780916650735423322747, 921081951), (9814557729248822274359477522759, 3691964625), (26678733929779343641573152270814, 4084296387), (72520317647612963566565691036975, 2575363470), (197130661655584132723172888230484, 749519178), (535856695410482633682957831461347, 4154817658), (1456609517792428406714055862390917, 3491568999), (3959475183375650472884871382008484, 4117703124), (10762969441204576595578445480136240, 2046344914), (29256784252286404830508330087753460, 3003933213), (79528184992136889115198178491058374, 2116236624), (216180020114455062967786167299083292, 3497571357), (587638220353034086001560592039857885, 2369835586), (1597366296093664825811290340435637074, 3982208201), (4342091776064339869272522905257458571, 1644863371), ];
pub static EXP_PRIMARY_TABLE_TIER_3: [(i128, i64); 1024] = [
(18446744073709551616, 0), (18464767271176066525, 3817762024), (18482808078018285842, 2101466557), (18500866511441265065, 3465104957), (18518942588666869714, 2318025426), (18537036326933791750, 563670645), (18555147743497566016, 3730149867), (18573276855630586698, 189918696), (18591423680622123788, 845382332), (18609588235778339581, 1908939102), (18627770538422305175, 3988986689), (18645970605894016994, 1650147330), (18664188455550413320, 3644922396), (18682424104765390853, 2280132096), (18700677570929821273, 3655090552), (18718948871451567831, 2875266056), (18737238023755501946, 3093607401), (18755545045283519826, 1138124461), (18773869953494559098, 4218298353), (18792212765864615465, 469042279), (18810573499886759362, 3659496326), (18828952173071152651, 336229994), (18847348802945065308, 1332647688), (18865763407052892148, 144500641), (18884196002956169550, 1448728414), (18902646608233592209, 3870045795), (18921115240481029900, 1488384296), (18939601917311544254, 4155855032), (18958106656355405563, 3677522833), (18976629475260109587, 1888909608), (18995170391690394386, 1914847411), (19013729423328257168, 1333322415), (19032306587872971150, 198214571), (19050901903041102437, 2515166793), (19069515386566526921, 2649786859), (19088147056200447189, 3982027657), (19106796929711409456, 1156541971), (19125465024885320505, 3307763809), (19144151359525464656, 3839844143), (19162855951452520739, 4205099667), (19181578818504579092, 1556205461), (19200319978537158570, 471285727), (19219079449423223576, 1576942403), (19237857249053201106, 1498708151), (19256653395334997808, 4208739999), (19275467906194017065, 890965163), (19294300799573176082, 4292977751), (19313152093432923009, 195753986), (19332021805751254057, 754869206), (19350909954523730653, 2214879047), (19369816557763496598, 1685914018), (19388741633501295245, 38338603), (19407685199785486694, 3870740646), (19426647274682065010, 851879829), (19445627876274675442, 2996377188), (19464627022664631679, 3325893303), (19483644731970933107, 605257068), (19502681022330282088, 2029940099), (19521735911897101261, 3935654125), (19540809418843550853, 2140525425), (19559901561359546007, 1925990964), (19579012357652774133, 1957597450), (19598141825948712270, 3756365261), (19617289984490644469, 3842168039), (19636456851539679189, 2980059618), (19655642445374766713, 2536040059), (19674846784292716581, 898495128), (19694069886608215037, 2921613282), (19713311770653842499, 3807546411), (19732572454780091039, 3333430953), (19751851957355381884, 3250240760), (19771150296766082935, 810055243), (19790467491416526298, 4263298214), (19809803559729025843, 1678292464), (19829158520143894763, 3414106287), (19848532391119463169, 3699831467), (19867925191132095688, 3126246004), (19887336938676209085, 1927651189), (19906767652264289900, 2780762042), (19926217350426912105, 1718058426), (19945686051712754773, 1587649646), (19965173774688619770, 887397316), (19984680537939449460, 995425268), (20004206360068344430, 1804771998), (20023751259696581231, 3014652270), (20043315255463630137, 2561061681), (20062898366027172920, 849398132), (20082500610063120643, 2271976060), (20102122006265631474, 1198413131), (20121762573347128509, 4051449728), (20141422330038317624, 1641879387), (20161101295088205330, 3504835279), (20180799487264116662, 1166613413), (20200516925351713069, 2149191627), (20220253628155010336, 1641768079), (20240009614496396512, 3581850430), (20259784903216649865, 1025035706), (20279579513174956844, 1776351710), (20299393463248930071, 572509004), (20319226772334626339, 967947242), (20339079459346564636, 1099070651), (20358951543217744181, 3530027512), (20378843042899662483, 2009278254), (20398753977362333410, 1045484034), (20418684365594305283, 3952235684), (20438634226602678987, 3795462990), (20458603579413126093, 3087502145), (20478592443069907005, 2172525692), (20498600836635889121, 3622294290), (20518628779192565015, 2651850860), (20538676289840070631, 2284327128), (20558743387697203501, 1799792094), (20578830091901440977, 1492425316), (20598936421608958482, 2335861328), (20619062395994647780, 631460999), (20639208034252135259, 3484142401), (20659373355593800242, 756163708), (20679558379250793301, 948015620), (20699763124473054604, 2232452807), (20719987610529332271, 1796001181), (20740231856707200749, 613463105), (20760495882313079206, 3730689127), (20780779706672249947, 3246056415), (20801083349128876838, 4195611791), (20821406829046023759, 3223055502), (20841750165805673067, 1714507535), (20862113378808744081, 1934085891), (20882496487475111585, 3415876881), (20902899511243624348, 3983049604), (20923322469572123662, 1175006195), (20943765381937461896, 2748435456), (20964228267835521076, 3378604127), (20984711146781231474, 651411267), (21005214038308590217, 3177721323), (21025736961970679923, 841434997), (21046279937339687340, 336817721), (21066842984006922017, 1517413386), (21087426121582834987, 532343120), (21108029369697037466, 2646648488), (21128652747998319578, 1872609497), (21149296276154669089, 503159620), (21169959973853290165, 4199641484), (21190643860800622152, 1300665927), (21211347956722358360, 3738388882), (21232072281363464885, 3610296328), (21252816854488199433, 102373468), (21273581695880130168, 2351506392), (21294366825342154585, 4029353097), (21315172262696518391, 2739407448), (21335998027784834408, 4175069030), (21356844140468101500, 2526214959), (21377710620626723509, 1636289397), (21398597488160528217, 3973048782), (21419504762988786326, 1850358982), (21440432465050230449, 1043549164), (21461380614303074129, 3861687991), (21482349230725030874, 3294275410), (21503338334313333205, 1195213691), (21524347945084751728, 3337455413), (21545378083075614228, 6377195), (21566428768341824769, 929546437), (21587500020958882829, 67096396), (21608591861021902439, 3485039161), (21629704308645631354, 130852177), (21650837383964470227, 143886454), (21671991107132491818, 3340216221), (21693165498323460214, 1029795168), (21714360577730850062, 2654711518), (21735576365567865835, 1427999807), (21756812882067461102, 3605941720), (21778070147482357830, 1213729536), (21799348182085065691, 4267644165), (21820647006167901404, 3723841106), (21841966640043008080, 2671887298), (21863307104042374596, 4183166044), (21884668418517854987, 3138134588), (21906050603841187851, 3586692660), (21927453680404015781, 1591619310), (21948877668617904808, 2354131844), (21970322588914363871, 2981745045), (21991788461744864300, 1107705461), (22013275307580859318, 3672007623), (22034783146913803570, 1584142368), (22056312000255172658, 541857128), (22077861888136482707, 711790532), (22099432831109309944, 2661515618), (22121024849745310299, 968487233), (22142637964636239019, 4240878906), (22164272196393970314, 26288595), (22185927565650517003, 2127703351), (22207604093058050202, 18611609), (22229301799288919009, 3711385235), (22251020705035670228, 3770977463), (22272760831011068096, 1173510740), (22294522197948114037, 4011369662), (22316304826600066440, 4010610136), (22338108737740460445, 1661149790), (22359933952163127755, 2731395750), (22381780490682216470, 3428325589), (22403648374132210934, 2938953040), (22425537623367951605, 484810780), (22447448259264654942, 2740638790), (22469380302717933318, 3044036856), (22491333774643814943, 1197101770), (22513308695978763811, 3812130595), (22535305087679699672, 988125937), (22557322970724018010, 1004264929), (22579362366109610055, 2853110620), (22601423294854882807, 1184789236), (22623505777998779077, 2269319878), (22645609836600797556, 3814559546), (22667735491741012897, 3146456321), (22689882764520095817, 3769103314), (22712051676059333223, 3207068257), (22734242247500648353, 867128891), (22756454500006620938, 232115436), (22778688454760507386, 1174478488), (22800944132966260983, 3947085155), (22823221555848552116, 3459154079), (22845520744652788511, 3984928357), (22867841720645135498, 2848387695), (22890184505112536289, 3296531830), (22912549119362732282, 809731335), (22934935584724283377, 3061840100), (22957343922546588323, 2008924224), (22979774154199905072, 1269137141), (23002226301075371163, 92889260), (23024700384585024120, 2726266452), (23047196426161821876, 1711648960), (23069714447259663207, 3928648266), (23092254469353408199, 674836609), (23114816513938898720, 2129157742), (23137400602532978928, 3137918946), (23160006756673515787, 666416725), (23182634997919419605, 2870704238), (23205285347850664600, 4103828979), (23227957828068309476, 3250166556), (23250652460194518024, 1047637913), (23273369265872579742, 2251992909), (23296108266766930479, 1252785387), (23318869484563173091, 2765191370), (23341652940968098127, 372885795), (23364458657709704524, 3201000395), (23387286656537220336, 3429772480), (23410136959221123470, 697876638), (23433009587553162448, 1876018655), (23455904563346377194, 590799894), (23478821908435119831, 1008485608), (23501761644675075508, 64538470), (23524723793943283240, 1238651787), (23547708378138156774, 4126081366), (23570715419179505473, 4250471555), (23593744939008555218, 3203716194), (23616796959587969334, 3428674932), (23639871502901869537, 615354756), (23662968590955856895, 3861119445), (23686088245777032822, 2076423835), (23709230489414020076, 1276083860), (23732395343936983791, 3993106867), (23755582831437652526, 3915653696), (23778792974029339330, 128311396), (23802025793846962830, 979201360), (23825281313047068346, 479433807), (23848559553807849016, 335817216), (23871860538329166949, 393960374), (23895184288832574396, 528073592), (23918530827561334942, 1179285435), (23941900176780444719, 2629277893), (23965292358776653640, 3096127781), (23988707395858486653, 34294307), (24012145310356265013, 3315745028), (24035606124622127586, 249820744), (24059089861030052155, 1378086049), (24082596541975876766, 3922721324), (24106126189877321084, 1824873444), (24129678827174007768, 3805743278), (24153254476327483878, 3703404357), (24176853159821242291, 1957255326), (24200474900160743144, 1018435274), (24224119719873435298, 543831875), (24247787641508777821, 1051528899), (24271478687638261493, 3240789082), (24295192880855430333, 3064656162), (24318930243775903143, 4118182495), (24342690799037395080, 185898017), (24366474569299739239, 1051306867), (24390281577244908270, 2872592458), (24414111845577036006, 1997293775), (24437965397022439114, 764946834), (24461842254329638770, 1091412036), (24485742440269382354, 3103531288), (24509665977634665167, 323041724), (24533612889240752163, 1553465345), (24557583197925199714, 2249598405), (24581576926547877385, 4242970488), (24605594097990989738, 2308103875), (24629634735159098150, 2083379018), (24653698860979142661, 716413016), (24677786498400463835, 3337866072), (24701897670394824651, 2438790285), (24726032399956432405, 1845545268), (24750190710101960642, 3777635437), (24774372623870571108, 2027963057), (24798578164323935717, 2830242440), (24822807354546258550, 489127983), (24847060217644297864, 2352421234), (24871336776747388135, 136314581), (24895637055007462108, 3658049326), (24919961075599072885, 3922350954), (24944308861719416019, 3091032325), (24968680436588351639, 4052107993), (24993075823448426596, 2628706679), (25017495045564896625, 3993320962), (25041938126225748537, 3248643268), (25066405088741722424, 3280312097), (25090895956446333893, 1253060481), (25115410752695896315, 3970866388), (25139949500869543105, 3472774916), (25164512224369250012, 3149941095), (25189098946619857440, 4280904844), (25213709691069092789, 321152305), (25238344481187592811, 513303355), (25263003340468926000, 1305139354), (25287686292429614994, 156433832), (25312393360609159001, 286750339), (25337124568570056250, 2161101585), (25361879939897826462, 3280257538), (25386659498201033342, 2072776197), (25411463267111307093, 1685920714), (25436291270283366955, 882781926), (25461143531395043762, 2202688448), (25486020074147302525, 3117567216), (25510920922264265034, 341517103), (25535846099493232480, 3091210203), (25560795629604708109, 3850185621), (25585769536392419886, 1219079165), (25610767843673343186, 1930198473), (25635790575287723512, 2119387827), (25660837755099099227, 3782792582), (25685909406994324315, 2087139738), (25711005554883591157, 3756293768), (25736126222700453339, 3612951707), (25761271434401848473, 973255323), (25786441213968121044, 153235986), (25811635585403045281, 3770608633), (25836854572733848051, 3230555353), (25862098200011231768, 849001718), (25887366491309397331, 3577700098), (25912659470726067088, 1309969900), (25937977162382507809, 2875578643), (25963319590423553698, 969876721), (25988686779017629412, 3550363044), (26014078752356773117, 2945978450), (26039495534656659553, 3032619093), (26064937150156623132, 1490154886), (26090403623119681052, 249989499), (26115894977832556437, 1278173887), (26141411238605701500, 673752660), (26166952429773320724, 2652049789), (26192518575693394073, 1968248831), (26218109700747700217, 3595799900), (26243725829341839789, 2445390439), (26269366985905258656, 529132444), (26295033194891271218, 1535758410), (26320724480777083731, 92122703), (26346440868063817646, 166267505), (26372182381276532978, 2578125302), (26397949044964251696, 368271080), (26423740883699981129, 3595361756), (26449557922080737409, 3463844252), (26475400184727568922, 431972124), (26501267696285579789, 1906932344), (26527160481423953374, 2508160109), (26553078564835975806, 2829686471), (26579021971239059530, 2373373374), (26604990725374766879, 1109232620), (26630984852008833669, 1169446580), (26657004375931192819, 182802810), (26683049321955997990, 2116087505), (26709119714921647253, 2769600541), (26735215579690806774, 1563329934), (26761336941150434525, 1056105091), (26787483824211804019, 2884783218), (26813656253810528069, 220683612), (26839854254906582563, 1200317851), (26866077852484330274, 1823442038), (26892327071552544683, 2905211516), (26918601937144433831, 2460556508), (26944902474317664191, 2273174875), (26971228708154384566, 2977124213), (26997580663761250010, 633796692), (27023958366269445768, 2082122983), (27050361840834711248, 3325503309), (27076791112637364008, 4068078373), (27103246206882323771, 2664029919), (27129727148799136461, 1643042642), (27156233963641998265, 2435547693), (27182766676689779718, 2281202607), (27209325313246049809, 2009191449), (27235909898639100113, 3314254319), (27262520458221968947, 4217222881), (27289157017372465548, 1398935154), (27315819601493194272, 3801532210), (27342508236011578827, 1761693980), (27369222946379886514, 3444192832), (27395963758075252508, 1236137317), (27422730696599704148, 1345315209), (27449523787480185263, 738038915), (27476343056268580513, 1710423780), (27503188528541739759, 4063271793), (27530060229901502456, 750176517), (27556958185974722063, 2868562622), (27583882422413290491, 3899354006), (27610832964894162561, 3554459680), (27637809839119380493, 1137966962), (27664813070816098416, 1471015512), (27691842685736606906, 3415979800), (27718898709658357545, 1165227755), (27745981168383987500, 2690017813), (27773090087741344137, 1025718105), (27800225493583509646, 1573354453), (27827387411788825701, 2439162118), (27854575868260918138, 927573947), (27881790888928721657, 518928440), (27909032499746504552, 1253214597), (27936300726693893462, 3685909538), (27963595595775898149, 747489000), (27990917133022936293, 557766599), (28018265364490858322, 2987232618), (28045640316260972260, 3081517685), (28073042014440068597, 4270892842), (28100470485160445190, 2811980465), (28127925754579932181, 3693197844), (28155407848881916947, 3681503295), (28182916794275369068, 1742165976), (28210452616994865321, 2574099921), (28238015343300614703, 478239212), (28265604999478483469, 3790975248), (28293221611840020208, 1200987277), (28320865206722480926, 3196131548), (28348535810488854172, 4124345910), (28376233449527886175, 2410403284), (28403958150254106010, 1722083091), (28431709939107850791, 1778776303), (28459488842555290886, 380542359), (28487294887088455155, 2465933240), (28515128099225256219, 1942229820), (28542988505509515745, 816084445), (28570876132510989762, 1303645912), (28598791006825394001, 1088624731), (28626733155074429257, 422021407), (28654702603905806777, 3987538062), (28682699379993273678, 456795278), (28710723510036638376, 1442825399), (28738775020761796058, 2517083172), (28766853938920754165, 3833223349), (28794960291291657907, 267730060), (28823094104678815796, 1311440168), (28851255405912725215, 3507151405), (28879444221850098003, 1437365572), (28907660579373886064, 3007235073), (28935904505393307011, 1882981570), (28964176026843869823, 1680078836), (28992475170687400536, 1812000715), (29020801963912067955, 939325907), (29049156433532409391, 944650031), (29077538606589356425, 2948792922), (29105948510150260697, 4063761322), (29134386171308919718, 3578030204), (29162851617185602709, 1500005395), (29191344874927076464, 2450404570), (29219865971706631242, 3534658685), (29248414934724106680, 661114310), (29276991791205917730, 526280637), (29305596568405080628, 4013632200), (29334229293601238885, 4061993468), (29362889994100689299, 2404929700), (29391578697236407998, 2338032252), (29420295430368076508, 3390567331), (29449040220882107845, 2303224958), (29477813096191672631, 418841908), (29506614083736725238, 413207637), (29535443210984029958, 1062970499), (29564300505427187196, 3042733496), (29593185994586659692, 88827821), (29622099706009798761, 2881801373), (29651041667270870573, 1265843540), (29680011905971082441, 2351706582), (29709010449738609150, 2876914846), (29738037326228619302, 3305261441), (29767092563123301691, 3643972807), (29796176188131891703, 2561405672), (29825288228990697740, 4208377274), (29854428713463127675, 2786596972), (29883597669339715325, 807119087), (29912795124438146956, 1017725647), (29942021106603287813, 2172566898), (29971275643707208674, 3047689738), (30000558763649212431, 1926321204), (30029870494355860696, 252716888), (30059210863781000434, 1973621383), (30088579899905790625, 86494294), (30117977630738728943, 2043304103), (30147404084315678473, 3924878098), (30176859288699894445, 3689529795), (30206343271982050997, 2065871389), (30235856062280267964, 4084335258), (30265397687740137697, 4177264531), (30294968176534751901, 2202049400), (30324567556864728503, 3252612665), (30354195856958238550, 1369295669), (30383853105071033124, 3091878139), (30413539329486470295, 771685046), (30443254558515542087, 3127336918), (30472998820496901485, 2895541200), (30502772143796889455, 1946598796), (30532574556809561998, 3781010434), (30562406087956717231, 3582759986), (30592266765687922489, 1709992798), (30622156618480541457, 2079406054), (30652075674839761330, 4145416877), (30682023963298619998, 1470249809), (30712001512418033252, 4176161233), (30742008350786822030, 3786879314), (30772044507021739675, 828909861), (30802110009767499227, 815102668), (30832204887696800744, 197099050), (30862329169510358643, 1053259651), (30892482883936929073, 3084467732), (30922666059733337313, 3094691190), (30952878725684505195, 2068525034), (30983120910603478556, 2778176491), (31013392643331454718, 2327301174), (31043693952737809991, 1219077753), (31074024867720127205, 3291378306), (31104385417204223272, 2336838072), (31134775630144176767, 2765346066), (31165195535522355545, 1407504007), (31195645162349444377, 3586599483), (31226124539664472622, 557861717), (31256633696534841913, 2917603444), (31287172662056353887, 1246663747), (31317741465353237925, 130584480), (31348340135578178931, 1116124174), (31378968701912345134, 3437352710), (31409627193565415918, 1150367975), (31440315639775609674, 2560427221), (31471034069809711690, 3336116735), (31501782512963102058, 3619084826), (31532560998559783614, 524184817), (31563369555952409900, 3389103368), (31594208214522313164, 3168544310), (31625077003679532373, 3461809224), (31655975952862841265, 1619395884), (31686905091539776421, 1647876207), (31717864449206665370, 3193474066), (31748854055388654719, 1079188927), (31779873939639738306, 4100619943), (31810924131542785393, 181379107), (31842004660709568868, 1147524932), (31873115556780793494, 4027817528), (31904256849426124174, 2139452236), (31935428568344214242, 3125382909), (31966630743262733792, 2519524405), (31997863403938398024, 3150157917), (32029126580156995625, 3188251522), (32060420301733417174, 201573405), (32091744598511683573, 2741013916), (32123099500364974515, 2330940641), (32154485037195656967, 469445217), (32185901238935313689, 560860817), (32217348135544771780, 3552062093), (32248825757014131252, 3094500554), (32280334133362793627, 1823846351), (32311873294639490568, 1629745072), (32343443270922312536, 2392691203), (32375044092318737475, 715461562), (32406675788965659522, 1651503129), (32438338391029417752, 598209687), (32470031928705824942, 4192286263), (32501756432220196375, 130725427), (32533511931827378655, 589399459), (32565298457811778570, 443546083), (32597116040487391968, 732186133), (32628964710197832668, 2995491135), (32660844497316361400, 373318639), (32692755432245914765, 4238150727), (32724697545419134239, 3401866157), (32756670867298395187, 2043995708), (32788675428375835918, 3336352061), (32820711259173386766, 3307537342), (32852778390242799195, 3656372839), (32884876852165674938, 683804256), (32917006675553495158, 2002232848), (32949167891047649647, 2422255095), (32981360529319466044, 740765675), (33013584621070239085, 1715541809), (33045840197031259885, 3346118901), (33078127287963845244, 3940622766), (33110445924659366983, 3318798810), (33142796137939281309, 2566366871), (33175177958655158209, 2460980523), (33207591417688710873, 690187199), (33240036545951825143, 866804954), (33272513374386588995, 3397576539), (33305021933965322048, 4095654116), (33337562255690605100, 657782164), (33370134370595309692, 2832196940), (33402738309742627710, 3448673357), (33435374104226101004, 626254703), (33468041785169651040, 2560529046), (33500741383727608588, 2127009625), (33533472931084743427, 3026575677), (33566236458456294089, 3105389824), (33599031997087997626, 3690584267), (33631859578256119410, 2113977379), (33664719233267482958, 1905612754), (33697610993459499791, 2124587964), (33730534890200199319, 309203695), (33763490954888258754, 578910464), (33796479218953033057, 1240780505), (33829499713854584910, 677861614), (33862552471083714718, 167347393), (33895637522161990641, 3751454784), (33928754898641778659, 2399117975), (33961904632106272656, 2711171952), (33995086754169524546, 1508029358), (34028301296476474419, 912503011), (34061548290702980721, 3921724385), (34094827768555850465, 3476672975), (34128139761772869464, 3807756073), (34161484302122832603, 1165849653), (34194861421405574132, 1372187424), (34228271151451997997, 1296750924), (34261713524124108193, 3108855479), (34295188571315039153, 1294729397), (34328696324949086159, 2696089501), (34362236816981735793, 2384884254), (34395810079399696408, 1398254692), (34429416144220928634, 2034029862), (34463055043494675914, 2306541359), (34496726809301495067, 2572729000), (34530431473753286883, 2978893564), (34564169068993326748, 443345864), (34597939627196295295, 2480258470), (34631743180568309094, 2155704939), (34665579761346951361, 200914815), (34699449401801302703, 1394105549), (34733352134231971895, 2516688598), (34767287990971126682, 2074671877), (34801257004382524613, 1846661793), (34835259206861543907, 384762383), (34869294630835214346, 69628999), (34903363308762248201, 2076417230), (34937465273133071188, 2263197051), (34971600556469853451, 993525951), (35005769191326540578, 1250293009), (35039971210288884648, 3757808269), (35074206645974475308, 3534268557), (35108475531032770877, 886789770), (35142777898145129483, 1206614313), (35177113780024840233, 3692030680), (35211483209417154411, 601503202), (35245886219099316701, 49700191), (35280322841880596451, 3754854867), (35314793110602318963, 4290004671), (35349297058137896809, 1966270171), (35383834717392861182, 2821754359), (35418406121304893281, 2139441409), (35453011302843855719, 867272420), (35487650295011823966, 3529453418), (35522323130843117826, 2052751458), (35557029843404332935, 1471268063), (35591770465794372300, 1739384406), (35626545031144477864, 206554074), (35661353572618262100, 1998334161), (35696196123411739642, 4073335231), (35731072716753358942, 330275807), (35765983385904033954, 3599846032), (35800928164157175864, 3046800526), (35835907084838724832, 3141093985), (35870920181307181779, 2594191131), (35905967486953640198, 3585043736), (35941049035201818000, 4161401107), (35976164859508089388, 4011659092), (36011314993361516764, 2262972548), (36046499470283882666, 321222136), (36081718323829721737, 1293717525), (36116971587586352727, 1830614190), (36152259295173910522, 2285920007), (36187581480245378208, 969553756), (36222938176486619163, 2686555285), (36258329417616409186, 3040198641), (36293755237386468651, 170201165), (36329215669581494693, 3992971453), (36364710748019193436, 126065910), (36400240506550312232, 1772811560), (36435804979058671955, 720634531), (36471404199461199307, 2268917438), (36507038201707959169, 2484823604), (36542707019782186975, 2408856631), (36578410687700321122, 3508197951), (36614149239512035412, 1690438562), (36649922709300271521, 1485418174), (36685731131181271506, 3283538060), (36721574539304610341, 2418389792), (36757452967853228482, 226966453), (36793366451043464467, 1451049350), (36829315023125087550, 2408264647), (36865298718381330362, 131238600), (36901317571128921604, 1133803078), (36937371615718118778, 4168366509), (36973460886532740946, 58172939), (37009585417990201514, 1623531820), (37045745244541541065, 757115234), (37081940400671460206, 3106620940), (37118170920898352461, 3060422202), (37154436839774337186, 2250125352), (37190738191885292522, 2985395872), (37227075011850888380, 2525825995), (37263447334324619455, 1209846830), (37299855193993838274, 3101081629), (37336298625579788280, 697570848), (37372777663837636938, 3968908634), (37409292343556508889, 2187770918), (37445842699559519119, 425518284), (37482428766703806173, 1998749765), (37519050579880565399, 1427344828), (37555708174015082219, 925056152), (37592401584066765438, 3314306696), (37629130845029180586, 2976454451), (37665895991930083287, 743888879), (37702697059831452664, 4215946988), (37739534083829524783, 750574376), (37776407099054826113, 2052939900), (37813316140672207039, 1584308737), (37850261243880875391, 3842192419), (37887242443914430018, 1095086965), (37924259776040894383, 788511173), (37961313275562750203, 680761199), (37998402977816971113, 2040460400), (38035528918175056368, 914262638), (38072691132043064573, 552417066), (38109889654861647451, 2180691394), (38147124522106083643, 26762331), (38184395769286312535, 2214349771), (38221703431946968130, 354258710), (38259047545667412938, 3935156610), (38296428146061771916, 2213978993), (38333845268778966423, 4068800530), (38371298949502748226, 1334466660), (38408789223951733523, 1789127434), (38446316127879437013, 3082044371), (38483879697074305991, 2231476721), (38521479967359754477, 2177603638), (38559116974594197382, 2645379037), (38596790754671084705, 1227058136), (38634501343518935762, 529500351), (38672248777101373452, 51620856), (38710033091417158553, 2997107711), (38747854322500224056, 3803149079), (38785712506419709526, 3770431005), (38823607679279995502, 3395555748), (38861539877220737929, 1611546859), (38899509136416902622, 2077473748), (38937515493078799768, 888562525), (38975558983452118455, 3092741861), (39013639643817961243, 3730560957), (39051757510492878761, 2259541117), (39089912619828904341, 3260043748), (39128105008213588689, 3564516324), (39166334712070034585, 311854854), (39204601767856931616, 2889152537), (39242906212068590953, 1658472145), (39281248081234980147, 985241285), (39319627411921757971, 746709494), (39358044240730309290, 3772573695), (39396498604297779970, 2115966383), (39434990539297111812, 2427322875), (39473520082437077532, 379928275), (39512087270462315764, 3074645666), (39550692140153366109, 782971386), (39589334728326704203, 4136068155), (39628015071834776838, 874561977), (39666733207566037096, 4101609064), (39705489172444979540, 3204626622), (39744283003432175419, 2273376794), (39783114737524307921, 129752013), (39821984411754207453, 2307952235), (39860892063190886963, 705062939), (39899837728939577285, 2651072020), (39938821446141762532, 2168944043), (39977843251975215512, 943876584), (40016903183654033185, 1837411272), (40056001278428672155, 861429005), (40095137573585984191, 3527200726), (40134312106449251792, 1290493898), (40173524914378223774, 2727667022), (40212776034769150906, 3624429273), (40252065505054821570, 3497384197), (40291393362704597460, 4269927179), (40330759645224449317, 4133620396), (40370164390156992696, 3921279171), (40409607635081523771, 368473671), (40449089417614055170, 769835184), (40488609775407351853, 3342386271), (40528168746150967019, 3572374512), (40567766367571278048, 922887210), (40607402677431522479, 1754504594), (40647077713531834028, 1426491019), (40686791513709278633, 1560611691), (40726544115837890540, 2485689556), (40766335557828708423, 1075474500), (40806165877629811536, 2717704910), (40846035113226355908, 317811371), (40885943302640610562, 2089875815), (40925890483931993783, 909043281), (40965876695197109408, 1338027770), (41005901974569783162, 1397166733), (41045966360221099023, 2241283097), (41086069890359435626, 2942642154), (41126212603230502701, 2003945614), (41166394537117377546, 1455647023), (41206615730340541538, 802083989), (41246876221257916677, 2440806996), (41287176048264902169, 2934990426), (41327515249794411041, 353532516), (41367893864316906792, 648957130), (41408311930340440085, 1748409447), (41448769486410685469, 2752661087), (41489266571110978139, 4033808425), (41529803223062350733, 2677200429), (41570379480923570162, 598181403), (41610995383391174478, 4009675572), (41651650969199509783, 1506722468), (41692346277120767160, 2523500105), (41733081345965019657, 3170155838), (41773856214580259295, 4154950379), (41814670921852434118, 3633905520), (41855525506705485276, 3794411219), (41896420008101384148, 1259919230), (41937354465040169496, 122475617), (41978328916559984661, 510647120), (42019343401737114792, 1499890955), (42060397959686024112, 1337991651), (42101492629559393219, 3728141259), (42142627450548156429, 257682781), (42183802461881539144, 2139901020), (42225017702827095273, 1162866178), (42266273212690744673, 1732490164), (42307569030816810638, 3904100217), (42348905196588057421, 1980578070), (42390281749425727788, 3125720728), (42431698728789580619, 1722152381), (42473156174177928534, 4117057200), (42514654125127675568, 830657640), (42556192621214354868, 2345845527), (42597771702052166444, 1194453538), (42639391407294014941, 2228679769), (42681051776631547460, 973324120), (42722752849795191407, 408043872), (42764494666554192385, 1910164557), (42806277266716652122, 578014192), (42848100690129566431, 2269998693), (42889964976678863216, 2385376770), (42931870166289440506, 3851797955), (42973816298925204534, 1460964179), (43015803414589107845, 1427848296), (43057831553323187450, 3315134534), (43099900755208603013, 313717305), (43142011060365675070, 2330639879), (43184162508953923299, 436661374), (43226355141172104811, 1679190951), (43268588997258252493, 1273476193), (43310864117489713377, 3998221794), (43353180542183187057, 463537869), (43395538311694764130, 1487766412), (43437937466419964691, 1891654159), (43480378046793776852, 2716531722), (43522860093290695306, 1829980825), (43565383646424759925, 321579084), (43607948746749594397, 3371989365), (43650555434858444905, 2868749844), (43693203751384218834, 2056719510), (43735893736999523525, 777367896), (43778625432416705062, 1585173494), (43821398878387887100, 2540269882), (43864214115705009728, 2606175973), (43907071185199868371, 2631929206), (43949970127744152731, 2077965218), (43992910984249485765, 235177823), (44035893795667462700, 2096814351), (44078918602989690091, 3273213635), (44121985447247824911, 1353994084), (44165094369513613680, 3813044269), (44208245410898931640, 2551824883), (44251438612555821956, 1140764519), (44294674015676534965, 430062066), (44337951661493567459, 2820188037), (44381271591279702010, 993253727), (44424633846348046325, 2805920218), (44468038468052072652, 2310755843), (44511485497785657213, 146636577), (44554974976983119681, 445282327), (44598506947119262697, 1595493194), (44642081449709411422, 2501774981), (44685698526309453129, 3024528488), (44729358218515876834, 3058939108), (44773060567965812966, 414894473), (44816805616337073073, 545318328), (44860593405348189572, 3925827331), (44904423976758455536, 1313285843), (44948297372367964512, 2816025509), (44992213634017650393, 2154604104), (45036172803589327315, 830436855), (45080174923005729600, 2171428203), (45124220034230551739, 1188008647), (45168308179268488408, 468108439), (45212439400165274529, 735381302), (45256613739007725368, 594497380), (45300831237923776671, 1332779327), (45345091939082524841, 4057681282), (45389395884694267155, 3629640294), (45433743117010542016, 1029859759), (45478133678324169247, 4263137773), (45522567610969290431, 780916328), (45567044957321409274, 374005512), (45611565759797432025, 2671462412), (45656130060855707927, 1080303751), (45700737902996069704, 1856906862), (45745389328759874097, 2641377076), (45790084380730042432, 3635340583), (45834823101531101232, 49732393), (45879605533829222862, 3233559234), (45924431720332266228, 455826234), (45969301703789817495, 3831147527), (46014215526993230867, 3872274653), (46059173232775669388, 3930192469), (46104174864012145795, 2544950171), (46149220463619563405, 1183955815), (46194310074556757044, 3175476506), (46239443739824534018, 4004988450), (46284621502465715119, 3206955910), (46329843405565175674, 3660272623), (46375109492249886636, 2750469025), (46420419805688955711, 1336789386), (46465774389093668528, 627832526), (46511173285717529849, 19287368), (46556616538856304818, 357524727), (46602104191848060251, 4208069771), (46647636288073205970, 413177392), (46693212870954536165, 1827276543), (46738833983957270815, 3255752155), (46784499670589097135, 1500605681), (46830209974400211067, 373369018), (46875964938983358815, 845223702), (46921764607973878418, 2274247166), (46967609025049741364, 1995168333), (47013498233931594243, 2032017728), (47059432278382800444, 1629452718), (47105411202209481890, 1543345460), (47151435049260560815, 3081715046), (47197503863427801583, 2067121529), (47243617688645852543, 3661610485), (47289776568892287933, 2391085502), (47335980548187649816, 555172367), (47382229670595490063, 769852943), (47428523980222412376, 2879595078), (47474863521218114352, 1116134522), (47521248337775429583, 3151036784), (47567678474130369808, 2495021980), (47614153974562167094, 3200928754), (47660674883393316068, 2553833714), (47707241244989616184, 640768903), (47753853103760214033, 2613433695), (47800510504157645699, 932303173), (47847213490677879146, 2190115678), (47893962107860356658, 4199101761), (47940756400288037314, 825178285), (47987596412587439501, 1858187986), (48034482189428683480, 3667827292), (48081413775525533984, 1013897964), (48128391215635442857, 1530669581), (48175414554559591744, 110343093), (48222483837142934811, 3554762464), (48269599108274241519, 2591163961), (48316760412886139426, 3096288405), (48363967795955157044, 740086177), (48411221302501766727, 2303748188), (48458520977590427611, 3653439198), (48505866866329628588, 1855006040), (48553259013871931323, 2950988181), (48600697465414013319, 4101299179), (48648182266196711018, 1803563831), (48695713461505062944, 599856772), (48743291096668352893, 971728091), (48790915217060153162, 960149053), (48838585868098367819, 3097510866), (48886303095245276020, 1059113262), (48934066944007575360, 2046131471), (48981877459936425277, 3473269998), (49029734688627490491, 1448275117), (49077638675720984485, 1156469241), (49125589466901713034, 3558611489), (49173587107899117774, 2940104942), (49221631644487319809, 4079941454), (49269723122485163369, 3383439865), (49317861587756259503, 2877059508), (49366047086209029820, 1409694073), (49414279663796750269, 1894306243), (49462559366517594966, 409494527), (49510886240414680058, 290170286), (49559260331576107635, 4142385059), (49607681686135009686, 1142033355), (49656150350269592087, 1337070121), (49704666370203178648, 1169333477), (49753229792204255191, 655440650), (49801840662586513675, 3687840257), (49850499027708896368, 1636757245), (49899204933975640052, 563485509), (49947958427836320282, 2031804623), (49996759555785895684, 2123296715), (50045608364364752294, 248072556), (50094504900158747942, 752658657), ];
pub static EXP_SECONDARY_TABLE_TIER_3: [(i128, i64); 1024] = [
(18446744073709551616, 0), (18446761665903984642, 2863314261), (18446779258115194901, 1431699456), (18446796850343182408, 221184), (18446814442587947178, 2864010581), (18446832034849489229, 1433362433), (18446849627127808576, 3538948), (18446867219422905234, 2869867870), (18446884811734779221, 1442840593), (18446902404063430552, 17915934), (18446919996408859242, 2890618249), (18446937588771065309, 1471635539), (18446955181150048768, 56623233), (18446972773545809634, 2941302294), (18446990365958347925, 1536557336), (18447007958387663656, 138240395), (18447025550833756842, 3042269047), (18447043143296627501, 1659724515), (18447060735776275648, 286655448), (18447078328272701298, 3219176030), (18447095920785904469, 1868564098), (18447113513315885176, 531064911), (18447131105862643434, 3502989265), (18447148698426179261, 2195811608), (18447166291006492672, 905973811), (18447183883603583682, 3929983283), (18447201476217452309, 2679511084), (18447219068848098568, 1451195697), (18447236661495522475, 246773849), (18447254254159724045, 3363015098), (18447271846840703296, 2211852656), (18447289439538460243, 1090187156), (18447307032252994902, 17476), (18447324624984307288, 3238375327), (18447342217732397419, 2217456069), (18447359810497265310, 1234422491), (18447377403278910977, 291535620), (18447394996077334435, 3686089322), (18447412588892535702, 2830541108), (18447430181724514793, 2022315920), (18447447774573271724, 1263936939), (18447465367438806511, 557992886), (18447482960321119169, 4202105316), (18447500553220209716, 3609059436), (18447518146136078167, 3076607878), (18447535739068724538, 2607601517), (18447553332018148845, 2204956766), (18447570924984351104, 1871655579), (18447588517967331331, 1610745447), (18447606110967089542, 1425339401), (18447623703983625753, 1318616009), (18447641297016939980, 1293819382), (18447658890067032239, 1354259165), (18447676483133902546, 1503310547), (18447694076217550917, 1744414254), (18447711669317977368, 2081076550), (18447729262435181915, 2516869242), (18447746855569164574, 3055429672), (18447764448719925361, 3700460724), (18447782041887464293, 160763527), (18447799635071781384, 1030106635), (18447817228272876651, 2017422255), (18447834821490750110, 3126675429), (18447852414725401778, 66929443), (18447870007976831669, 1432215011), (18447887601245039800, 2931726500), (18447905194530026188, 274723815), (18447922787831790847, 2055434290), (18447940381150333794, 3983248913), (18447957974485655046, 1767624208), (18447975567837754617, 4002984131), (18447993161206632525, 2103948993), (18448010754592288785, 370106533), (18448028347994723412, 3101110030), (18448045941413936424, 1711776418), (18448063534849927836, 501890056), (18448081128302697663, 3771300847), (18448098721772245923, 2935022344), (18448116315258572631, 2293035531), (18448133908761677803, 1850419634), (18448151502281561455, 1612319424), (18448169095818223603, 1583945208), (18448186689371664263, 1770572839), (18448204282941883451, 2177543706), (18448221876528881183, 2810264744), (18448239470132657475, 3674208425), (18448257063753212344, 479945470), (18448274657390545804, 1823014026), (18448292251044657872, 3414115895), (18448309844715548565, 964018421), (18448327438403217897, 3068456376), (18448345032107665886, 1143360891), (18448362625828892546, 3784597822), (18448380219566897895, 2408229382), (18448397813321681948, 1315285215), (18448415407093244721, 511893209), (18448433000881586230, 4246797), (18448450594686706490, 4093572247), (18448468188508605519, 4196259482), (18448485782347283333, 318698559), (18448503376202739946, 1057279669), (18448520970074975375, 2123556658), (18448538563963989636, 3524116210), (18448556157869782746, 970643253), (18448573751792354719, 3059790150), (18448591345731705573, 1208405618), (18448608939687835322, 4013273103), (18448626533660743984, 2891372409), (18448644127650431574, 2144650769), (18448661721656898108, 1780153666), (18448679315680143602, 1804992123), (18448696909720168072, 2226342707), (18448714503776971534, 3051447527), (18448732097850554004, 4287614236), (18448749691940915499, 1647248734), (18448767286048056033, 3727724351), (18448784880171975624, 1946610777), (18448802474312674287, 606445132), (18448820068470152037, 4009830081), (18448837662644408892, 3574531944), (18448855256835444867, 3603284471), (18448872851043259978, 4103919660), (18448890445267854242, 789367757), (18448908039509227673, 2257526441), (18448925633767380288, 4221457042), (18448943228042312104, 2394286439), (18448960822334023136, 1079141644), (18448978416642513400, 284247916), (18448996010967782912, 17896061), (18449013605309831688, 288442425), (18449031199668659744, 1104308902), (18449048794044267096, 2473982926), (18449066388436653761, 111050183), (18449083982845819753, 2614063789), (18449101577271765090, 1401773220), (18449119171714489787, 777895385), (18449136766173993860, 751245443), (18449154360650277325, 1330704094), (18449171955143340198, 2525217584), (18449189549653182496, 48830410), (18449207144179804233, 2500554498), (18449224738723205427, 1299598135), (18449242333283386093, 750137045), (18449259927860346247, 861445195), (18449277522454085905, 1642862101), (18449295117064605083, 3103792822), (18449312711691903798, 958740667), (18449330306335982064, 3807176377), (18449347900996839899, 3068767055), (18449365495674477318, 3048147237), (18449383090368894337, 3755049708), (18449400685080090973, 904305502), (18449418279808067240, 3095713089), (18449435874552823156, 1749267296), (18449453469314358736, 1169930386), (18449471064092673996, 1367762873), (18449488658887768952, 2352890813), (18449506253699643620, 4135505812), (18449523848528298017, 2430897721), (18449541443373732158, 1544356532), (18449559038235946059, 1486270487), (18449576633114939736, 2267093372), (18449594228010713205, 3897344521), (18449611822923266483, 2092641517), (18449629417852599585, 1158602080), (18449647012798712527, 1105942183), (18449664607761605325, 1945443342), (18449682202741277995, 3687952623), (18449699797737730554, 2049415339), (18449717392750963017, 1335776943), (18449734987780975400, 1558081139), (18449752582827767719, 2727437176), (18449770177891339991, 560052555), (18449787772971692230, 3657102211), (18449805368068824454, 3439957442), (18449822963182736678, 4214956981), (18449840558313428919, 1698570516), (18449858153460901192, 197267872), (18449875748625153512, 4017584423), (18449893343806185898, 286251907), (18449910939003998363, 1899871383), (18449928534218590925, 280272978), (18449946129449963598, 4029221550), (18449963724698116401, 273711024), (18449981319963049347, 1910604650), (18449998915244762454, 361994744), (18450016510543255736, 4229908353), (18450034105858529212, 641601593), (18450051701190582895, 2494199904), (18450069296539416803, 1210057791), (18450086891905030951, 1096497197), (18450104487287425355, 2165938317), (18450122082686600032, 135899596), (18450139678102554996, 3608866918), (18450157273535290265, 4007522526), (18450174868984805855, 1344548809), (18450192464451101780, 4222628292), (18450210059934178058, 4064639866), (18450227655434034705, 883462561), (18450245250950671735, 3281975549), (18450262846484089166, 2683254365), (18450280442034287013, 3395341980), (18450298037601265293, 1136412323), (18450315633185024021, 214639463), (18450333228785563213, 643295721), (18450350824402882885, 2435718969), (18450368420036983054, 1310345328), (18450386015687863735, 1575611062), (18450403611355524944, 3245050689), (18450421207039966698, 2037296977), (18450438802741189012, 2260982838), (18450456398459191902, 3929839434), (18450473994193975385, 2762696184), (18450491589945539476, 3068382644), (18450509185713884192, 565859330), (18450526781499009547, 3859054195), (18450544377300915560, 77124260), (18450561973119602244, 2119095873), (18450579568955069617, 1409224451), (18450597164807317694, 2256732848), (18450614760676346492, 380974877), (18450632356562156026, 91304490), (18450649952464746312, 1402173895), (18450667548384117367, 33133555), (18450685144320269206, 293734071), (18450702740273201845, 2198624302), (18450720336242915301, 1467551358), (18450737932229409589, 2410262492), (18450755528232684726, 746635916), (18450773124252740727, 786549983), (18450790720289577608, 2544981301), (18450808316343195386, 1742004732), (18450825912413594076, 2687695281), (18450843508500773695, 1102258910), (18450861104604734258, 1295901725), (18450878700725475781, 3283928085), (18450896296862998281, 2786740606), (18450913893017301773, 4114742045), (18450931489188386274, 2988466117), (18450949085376251799, 3718446682), (18450966681580898365, 2025348556), (18450984277802325987, 2219836702), (18451001874040534682, 22707038), (18451019470295524464, 4039722923), (18451037066567295352, 1401876788), (18451054662855847360, 715063092), (18451072259161180504, 1995307257), (18451089855483294801, 963732958), (18451107451822190266, 1931464013), (18451125048177866916, 619755202), (18451142644550324766, 1339861447), (18451160240939563832, 4108135924), (18451177837345584132, 351062771), (18451195433768385679, 2970028156), (18451213030207968491, 3391647321), (18451230626664332584, 1632535649), (18451248223137477973, 2004341373), (18451265819627404675, 228843686), (18451283416134112705, 617821922), (18451301012657602079, 3188153675), (18451318609197872814, 3661814792), (18451336205754924926, 2055813971), (18451353802328758430, 2682192757), (18451371398919373343, 1263123653), (18451388995526769680, 2110779310), (18451406592150947458, 947463338), (18451424188791906692, 2085479492), (18451441785449647399, 1247262485), (18451459382124169594, 2745247179), (18451476978815473294, 2301999392), (18451494575523558514, 4230085091), (18451512172248425271, 4252201201), (18451529768990073581, 2386077497), (18451547365748503459, 2944476603), (18451564962523714922, 1650292103), (18451582559315707985, 2816417728), (18451600156124482665, 2165878167), (18451617752950038977, 4011698258), (18451635349792376938, 4077033797), (18451652946651496564, 2380073431), (18451670543527397870, 3234038657), (18451688140420080873, 2362281931), (18451705737329545588, 4078155857), (18451723334255792032, 4105143999), (18451740931198820221, 2461762772), (18451758528158630170, 3461561439), (18451776125135221896, 2828220226), (18451793722128595415, 580452208), (18451811319138750742, 1032003311), (18451828916165687893, 4201717718), (18451846513209406886, 1518570574), (18451864110269907735, 1591471762), (18451881707347190457, 144494833), (18451899304441255067, 1491713481), (18451916901552101582, 1357332364), (18451934498679730017, 4055556288), (18451952095824140390, 1015753721), (18451969692985332715, 847227874), (18451987290163307008, 3569412917), (18452004887358063287, 611873986), (18452022484569601566, 584110952), (18452040081797921861, 3505754651), (18452057679043024190, 806566881), (18452075276304908567, 1096244179), (18452092873583575009, 99646750), (18452110470879023531, 2131634943), (18452128068191254150, 2917200072), (18452145665520266882, 2476366304), (18452163262866061743, 829223356), (18452180860228638748, 2290893802), (18452198457607997914, 2586631174), (18452216055004139257, 1736721859), (18452233652417062792, 4056485094), (18452251249846768537, 976403784), (18452268847293256506, 1106895572), (18452286444756526716, 173541770), (18452304042236579182, 2491923838), (18452321639733413921, 3787754198), (18452339237247030949, 4081778125), (18452356834777430282, 3394806450), (18452374432324611936, 1747715559), (18452392029888575926, 3456414690), (18452409627469322269, 4246944046), (18452427225066850981, 4140376681), (18452444822681162078, 3157851206), (18452462420312255576, 1320571788), (18452480017960131490, 2944775444), (18452497615624789837, 3756830159), (18452515213306230633, 3778136769), (18452532811004453894, 3030161665), (18452550408719459636, 1534436796), (18452568006451247874, 3607526964), (18452585604199818626, 681160637), (18452603201965171906, 1367001027), (18452620799747307731, 1391875013), (18452638397546226117, 777642327), (18452655995361927079, 3841195553), (18452673593194410635, 2014590947), (18452691191043676799, 3909819502), (18452708788909725589, 959068586), (18452726386792557019, 1774460310), (18452743984692171106, 2083280450), (18452761582608567866, 1907847638), (18452779180541747315, 1270546065), (18452796778491709469, 193825474), (18452814376458454343, 2995168467), (18452831974441981955, 1107221312), (18452849572442292319, 3142565021), (18452867170459385453, 533976977), (18452884768493261371, 1894169306), (18452902366543920090, 2951017805), (18452919964611361626, 3727431123), (18452937562695585995, 4246383467), (18452955160796593214, 235947308), (18452972758914383297, 309162560), (18452990357048956261, 194232808), (18453007955200312121, 4209361790), (18453025553368450895, 3787916909), (18453043151553372598, 3248233020), (18453060749755077246, 2613743235), (18453078347973564855, 1907946228), (18453095946208835441, 1154406229), (18453113544460889020, 376753030), (18453131142729725607, 3893649273), (18453148741015345220, 3138921274), (18453166339317747874, 2431362795), (18453183937636933585, 1794865860), (18453201535972902369, 1253388051), (18453219134325654242, 830952512), (18453236732695189220, 551647943), (18453254331081507319, 439628604), (18453271929484608555, 519114315), (18453289527904492944, 814390452), (18453307126341160502, 1349807955), (18453324724794611245, 2149783319), (18453342323264845189, 3238798601), (18453359921751862351, 346434119), (18453377520255662745, 2087237641), (18453395118776246388, 4190920605), (18453412717313613297, 2387260008), (18453430315867763487, 996033001), (18453447914438696974, 42114996), (18453465513026413773, 3845414263), (18453483111630913902, 3841002742), (18453500710252197377, 53952525), (18453518308890264212, 1099335858), (18453535907545114424, 2707388657), (18453553506216748030, 608412398), (18453571104905165044, 3417676007), (18453588703610365484, 2570644784), (18453606302332349365, 2387751479), (18453623901071116703, 2894527104), (18453641499826667514, 4116568235), (18453659098599001815, 1784569709), (18453676697388119621, 219226517), (18453694296194020947, 3741299211), (18453711895016705811, 3786712015), (18453729493856174229, 381389305), (18453747092712426215, 2141255611), (18453764691585461787, 502431839), (18453782290475280959, 4080973641), (18453799889381883750, 18165748), (18453817488305270173, 1225162231), (18453835087245440245, 3433313534), (18453852686202393983, 2374035666), (18453870285176131402, 2368744787), (18453887884166652518, 3443955322), (18453905483173957348, 1331279963), (18453923082198045907, 352331555), (18453940681238918211, 533821207), (18453958280296574276, 1902525591), (18453975879371014119, 190319643), (18453993478462237754, 4014045751), (18454011077570245200, 515775382), (18454028676695036470, 2607449344), (18454046275836611582, 1726237523), (18454063874994970551, 2194277257), (18454081474170113393, 4038804151), (18454099073362040125, 2992152073), (18454116672570750762, 3376655049), (18454134271796245321, 924778071), (18454151871038523816, 4253953584), (18454169470297586266, 506843114), (18454187069573432684, 2595977526), (18454204668866063088, 1959116767), (18454222268175477493, 2918988234), (18454239867501675916, 1208450296), (18454257466844658372, 1150361475), (18454275066204424877, 2772678560), (18454292665580975448, 1808456608), (18454310264974310100, 2580750828), (18454327864384428850, 822747403), (18454345463811331713, 857632669), (18454363063255018705, 2713691229), (18454380662715489843, 2124305953), (18454398262192745142, 3412859867), (18454415861686784619, 2312866967), (18454433461197608289, 3147841405), (18454451060725216169, 1651428304), (18454468660269608274, 2147272943), (18454486259830784621, 369151571), (18454503859408745225, 640840592), (18454521459003490102, 2991214680), (18454539058615019269, 3154246775), (18454556658243332742, 1158942677), (18454574257888430536, 1329341045), (18454591857550312667, 3694578806), (18454609457228979152, 3988891156), (18454627056924430007, 2241546150), (18454644656636665247, 2776844701), (18454662256365684889, 1329218698), (18454679856111488948, 2223100184), (18454697455874077441, 1193052172), (18454715055653450383, 2563637836), (18454732655449607791, 2069551317), (18454750255262549680, 4035486917), (18454767855092276067, 4196269907), (18454785454938786968, 2581758420), (18454803054802082398, 3516843450), (18454820654682162374, 2736546962), (18454838254579026912, 270923782), (18454855854492676027, 445061597), (18454873454423109735, 3289146365), (18454891054370328054, 243495012), (18454908654334330997, 4223326513), (18454926254315118583, 2374121630), (18454943854312690826, 3316263171), (18454961454327047743, 2785297621), (18454979054358189350, 811804324), (18454996654406115662, 1721395488), (18455014254470826696, 1249814294), (18455031854552322467, 3722804077), (18455049454650602993, 581271855), (18455067054765668288, 446059390), (18455084654897518368, 3348139420), (18455102255046153251, 728615658), (18455119855211572951, 1208526563), (18455137455393777485, 524074276), (18455155055592766868, 3001461091), (18455172655808541118, 82052983), (18455190256041100249, 387150678), (18455207856290444277, 3948185872), (18455225456556573220, 2206721237), (18455243056839487092, 3784254197), (18455260657139185911, 122478555), (18455278257455669690, 4137990162), (18455295857788938448, 2977646658), (18455313458138992200, 968240435), (18455331058505830961, 2436629451), (18455348658889454748, 3119802636), (18455366259289863577, 3049781786), (18455383859707057464, 2258654261), (18455401460141036425, 778572989), (18455419060591800475, 2936723761), (18455436661059349632, 175456046), (18455454261543683910, 1117054062), (18455471862044803326, 1498965710), (18455489462562707896, 1353671751), (18455507063097397636, 713718514), (18455524663648872561, 3906685190), (18455542264217132689, 2375314650), (18455559864802178035, 447317221), (18455577465404008614, 2450468795), (18455595066022624443, 4122676243), (18455612666658025539, 1201911999), (18455630267310211916, 2311115955), (18455647867979183591, 3188391682), (18455665468664940580, 3866875616), (18455683069367482900, 84802461), (18455700670086810565, 465374381), (18455718270822923592, 746957216), (18455735871575821997, 962949673), (18455753472345505796, 1146816024), (18455771073131975005, 1332086111), (18455788673935229640, 1552355344), (18455806274755269717, 1841284699), (18455823875592095252, 2232600723), (18455841476445706261, 2760095529), (18455859077316102760, 3457626799), (18455876678203284766, 64150487), (18455894279107252293, 1203590005), (18455911880028005358, 2615032443), (18455929480965543978, 37630461), (18455947081919868167, 2095504175), (18455964682890977943, 232970086), (18455982283878873320, 3074279448), (18455999884883554316, 2063879898), (18456017485905020946, 1531186533), (18456035086943273226, 1510712720), (18456052687998311172, 2037037397), (18456070289070134800, 3144805068), (18456087890158744127, 573758513), (18456105491264139167, 2948607969), (18456123092386319938, 1714260057), (18456140693525286455, 1200588855), (18456158294681038734, 1442566715), (18456175895853576791, 2475231559), (18456193497042900643, 38719581), (18456211098249010304, 2758134434), (18456228699471905792, 2078776156), (18456246300711587122, 2330912242), (18456263901968054310, 3549908461), (18456281503241307373, 1476228857), (18456299104531346326, 440337634), (18456316705838171185, 477797270), (18456334307161781966, 1624235815), (18456351908502178685, 3915346887), (18456369509859361359, 3091922378), (18456387111233330003, 3484754344), (18456404712624084634, 834765817), (18456422314031625266, 3767847290), (18456439915455951917, 3730085638), (18456457516897064603, 757567903), (18456475118354963338, 3476381287), (18456492719829648140, 3332809379), (18456510321321119025, 363135930), (18456527922829376007, 3193644854), (18456545524354419104, 3270816452), (18456563125896248332, 631131189), (18456580727454863705, 3901069689), (18456598329030265242, 232341672), (18456615930622452956, 2546526200), (18456633532231426865, 2290431429), (18456651133857186984, 3795832974), (18456668735499733330, 2804637427), (18456686337159065918, 3648751547), (18456703938835184765, 2070213067), (18456721540528089886, 2401059889), (18456739142237781298, 383460890), (18456756743964259016, 349585112), (18456774345707523056, 2336699874), (18456791947467573435, 2087170767), (18456809549244410168, 3933363550), (18456827151038033272, 3617774959), (18456844752848442763, 1177934597), (18456862354675638656, 946404937), (18456879956519620967, 2960846726), (18456897558380389713, 2964018990), (18456915160257944910, 993713619), (18456932762152286573, 1382755374), (18456950364063414718, 4169067291), (18456967965991329363, 800703385), (18456985567936030521, 4200619727), (18457003169897518211, 1522034180), (18457020771875792447, 1393066662), (18457038373870853245, 3851968070), (18457055975882700623, 347120283), (18457073577911334594, 3801807233), (18457091179956755177, 1369574645), (18457108782018962386, 1678870300), (18457126384097956238, 473305664), (18457143986193736748, 2086492366), (18457161588306303933, 2262173016), (18457179190435657809, 1039123095), (18457196792581798391, 2751150950), (18457214394744725696, 3142195911), (18457231996924439740, 2251230178), (18457249599120940539, 117291522), (18457267201334228108, 1074450585), (18457284803564302464, 866908988), (18457302405811163622, 3828868520), (18457320008074811600, 1409694655), (18457337610355246412, 2238687623), (18457355212652468075, 2060311341), (18457372814966476605, 914062594), (18457390417297272017, 3134471040), (18457408019644854329, 171230018), (18457425622009223555, 653967630), (18457443224390379712, 327475659), (18457460826788322815, 3526546058), (18457478429203052882, 1701134463), (18457496031634569927, 3481131270), (18457513634082873968, 316623264), (18457531236547965019, 837631989), (18457548839029843097, 789342675), (18457566441528508218, 211973423), (18457584044043960397, 3440775202), (18457601646576199652, 1926162670), (18457619249125225998, 3517946), (18457636851691039450, 2008288725), (18457654454273640025, 3686053683), (18457672056873027740, 782457072), (18457689659489202609, 1928110607), (18457707262122164649, 2868789687), (18457724864771913876, 3645302586), (18457742467438450307, 3555854), (18457760070121773956, 574423506), (18457777672821884840, 1103943241), (18457795275538782975, 1633185632), (18457812878272468377, 2203286828), (18457830481022941062, 2855448549), (18457848083790201046, 3630938094), (18457865686574248346, 276121041), (18457883289375082976, 1422330431), (18457900892192704953, 2816062990), (18457918495027114294, 203881024), (18457936097878311013, 2217314300), (18457953700746295128, 308088977), (18457971303631066653, 3107865974), (18457988906532625606, 2068502602), (18458006509450972002, 1526823635), (18458024112386105857, 1524752128), (18458041715338027187, 2104276712), (18458059318306736008, 3307451594), (18458076921292232337, 881429259), (18458094524294516188, 3458329660), (18458112127313587579, 2490469139), (18458129730349446525, 2315131505), (18458147333402093042, 2974698844), (18458164936471527147, 216651527), (18458182539557748854, 2673437385), (18458200142660758181, 1797700644), (18458217745780555143, 1927052994), (18458235348917139756, 3104204407), (18458252952070512037, 1076963134), (18458270555240672001, 183137595), (18458288158427619664, 465634492), (18458305761631355042, 1967426103), (18458323364851878152, 436582987), (18458340968089189009, 211175873), (18458358571343287629, 1334373770), (18458376174614174028, 3849411266), (18458393777901848223, 3504621227), (18458411381206310230, 343369396), (18458428984527560063, 2999021683), (18458446587865597740, 2925140393), (18458464191220423277, 165287998), (18458481794592036688, 3353027143), (18458499397980437991, 3942116863), (18458517001385627202, 1976316367), (18458534604807604336, 1794417733), (18458552208246369409, 3440311325), (18458569811701922438, 2662985786), (18458587415174263438, 3801429931), (18458605018663392426, 2604763559), (18458622622169309417, 3412106640), (18458640225692014428, 1972710131), (18458657829231507474, 2625825159), (18458675432787788572, 1120833835), (18458693036360857737, 1797118443), (18458710639950714986, 404192253), (18458728243557360334, 1281568704), (18458745847180793798, 178892222), (18458763450821015393, 1435807406), (18458781054478025136, 802089837), (18458798658151823042, 2617515271), (18458816261842409128, 2631990449), (18458833865549783410, 890454987), (18458851469273945903, 1732881374), (18458869073014896624, 909373090), (18458886676772635588, 2760033783), (18458904280547162812, 3035098088), (18458921884338478312, 1779833518), (18458939488146582103, 3334540457), (18458957091971474202, 3449650279), (18458974695813154625, 2170627233), (18458992299671623387, 3837968444), (18459009903546880505, 4202302022), (18459027507438925995, 3309288955), (18459045111347759873, 1204655810), (18459062715273382154, 2229162029), (18459080319215792855, 2133698042), (18459097923174991992, 964187154), (18459115527150979580, 3061585549), (18459133131143755636, 4176980394), (18459150735153320177, 61524439), (18459168339179673216, 3646305199), (18459185943222814772, 2092671990), (18459203547282744859, 4036876190), (18459221151359463495, 935365574), (18459238755452970694, 1424522679), (18459256359563266473, 1255893735), (18459273963690350848, 476057850), (18459291567834223834, 3426627008), (18459309171994885449, 1564376883), (18459326776172335707, 3526017916), (18459344380366574626, 768456945), (18459361984577602220, 1928535571), (18459379588805418506, 2758259089), (18459397193050023500, 3304665670), (18459414797311417218, 3614859067), (18459432401589599676, 3736008612), (18459450005884570890, 3715349219), (18459467610196330876, 3600181385), (18459485214524879650, 3437871186), (18459502818870217228, 3275850279), (18459520423232343626, 3161615903), (18459538027611258860, 3142730878), (18459555632006962946, 3266823606), (18459573236419455900, 3581588071), (18459590840848737738, 4134783836), (18459608445294808477, 679268752), (18459626049757668131, 1852868139), (18459643654237316717, 3408571011), (18459661258733754252, 1099431961), (18459678863246980750, 3563473057), (18459696467776996229, 2258912760), (18459714072323800704, 1528937004), (18459731676887394191, 1421830008), (18459749281467776706, 1985941572), (18459766886064948265, 3269687080), (18459784490678908885, 1026580202), (18459802095309658580, 3895102077), (18459819699957197368, 3333930242), (18459837304621525264, 3686709708), (18459854909302642285, 707216471), (18459872514000548445, 3034194002), (18459890118715243762, 2126582169), (18459907723446728251, 2328288309), (18459925328195001928, 3688318050), (18459942932960064810, 1960775302), (18459960537741916912, 1489764152), (18459978142540558250, 2324486974), (18459995747355988841, 219244429), (18460013352188208699, 3813304649), (18460030957037217843, 271164869), (18460048561903016286, 2527191682), (18460066166785604046, 2040980785), (18460083771684981138, 3157095348), (18460101376601147579, 1630229530), (18460118981534103384, 1805077665), (18460136586483848569, 3731432377), (18460154191450383151, 3164184576), (18460171796433707146, 153258052), (18460189401433820568, 3338576769), (18460207006450723435, 4180261093), (18460224611484415763, 2728431565), (18460242216534897567, 3328241605), (18460259821602168864, 1734975627), (18460277426686229669, 2293918217), (18460295031787079999, 760484958), (18460312636904719869, 1480091605), (18460330242039149296, 208284908), (18460347847190368295, 1290611791), (18460365452358376883, 482750172), (18460383057543175075, 2130378143), (18460400662744762888, 1989304792), (18460418267963140338, 110372084), (18460435873198307440, 839454866), (18460453478450264210, 4227526274), (18460471083719010666, 1735690436), (18460488689004546822, 2004986249), (18460506294306872695, 791616306), (18460523899625988300, 2441783378), (18460541504961893654, 2711821229), (18460559110314588773, 1653096502), (18460576715684073672, 3612008723), (18460594321070348369, 50121113), (18460611926473412877, 3903898962), (18460629531893267215, 2340069365), (18460647137329911397, 4000261485), (18460664742783345441, 346300885), (18460682348253569361, 19947897), (18460699953740583173, 3073093848), (18460717559244386895, 967761057), (18460735164764980541, 2345906614), (18460752770302364128, 2964651306), (18460770375856537672, 2876148801), (18460787981427501189, 2132618354), (18460805587015254695, 786344805), (18460823192619798205, 3184645877), (18460840798241131737, 790002988), (18460858403879255305, 2244832330), (18460876009534168926, 3306713790), (18460893615205872616, 4028260139), (18460911220894366392, 167182438), (18460928826599650268, 366159221), (18460946432321724261, 383032721), (18460964038060588387, 270678054), (18460981643816242662, 82035922), (18460999249588687101, 4165079910), (18461016855377921722, 3982947300), (18461034461183946540, 3883742851), (18461052067006761571, 3920669610), (18461069672846366831, 4146996213), (18461087278702762337, 321089586), (18461104884575948103, 1086284130), (18461122490465924146, 2201077945), (18461140096372690482, 3719002014), (18461157702296247128, 1398685610), (18461175308236594098, 3883725484), (18461192914193731410, 2637914787), (18461210520167659079, 2010014146), (18461228126158377121, 2053882482), (18461245732165885552, 2823444300), (18461263338190184389, 77722398), (18461280944231273646, 2460707049), (18461298550289153341, 1436584931), (18461316156363823489, 1354510195), (18461333762455284106, 2268735287), (18461351368563535208, 4233578238), (18461368974688576812, 3008455372), (18461386580830408933, 2942783193), (18461404186989031587, 4091076496), (18461421793164444791, 2212948370), (18461439399356648560, 1658012082), (18461457005565642910, 2480979191), (18461474611791427858, 441659552), (18461492218034003418, 4184830491), (18461509824293369609, 880498445), (18461527430569526444, 3468539217), (18461545036862473941, 3414057714), (18461562643172212116, 772159029), (18461580249498740983, 4187948430), (18461597855842060561, 831760298), (18461615462202170863, 3643798377), (18461633068579071907, 4089495520), (18461650674972763709, 2224284760), (18461668281383246284, 2398632016), (18461685887810519649, 373134204), (18461703494254583819, 498388420), (18461721100715438810, 2830090053), (18461738707193084639, 3129032787), (18461756313687521322, 1451043190), (18461773920198748874, 2146980715), (18461791526726767312, 977835812), (18461809133271576651, 2294599114), (18461826739833176908, 1858392250), (18461844346411568098, 4020337032), (18461861953006750239, 246718970), (18461879559618723344, 3478725649), (18461897166247487432, 887806464), (18461914772893042517, 1120312880), (18461932379555388615, 4232727362), (18461949986234525744, 1691663370), (18461967592930453918, 2143669140), (18461985199643173154, 1350456609), (18462002806372683467, 3663737898), (18462020413118984875, 550388827), (18462038019882077392, 657219992), (18462055626661961034, 4041172989), (18462073233458635819, 2169320408), (18462090840272101761, 3688669618), (18462108447102358878, 66424391), (18462126053949407183, 4244690571), (18462143660813246695, 3395835817), (18462161267693877429, 1872162561), (18462178874591299400, 4026038829), (18462196481505512626, 1324996345), (18462214088436517121, 2416501612), (18462231695384312902, 3063184834), (18462249302348899985, 3322709102), (18462266909330278386, 3252803099), (18462284516328448121, 2911261097), (18462302123343409206, 2355942962), (18462319730375161657, 1644774150), (18462337337423705490, 835745706), (18462354944489040720, 4281881566), (18462372551571167365, 3451369367), (18462390158670085440, 2697364226), (18462407765785794961, 2078119557), (18462425372918295944, 1651954363), (18462442980067588405, 1477253241), (18462460587233672360, 1612466378), (18462478194416547825, 2116109554), (18462495801616214816, 3046764139), (18462513408832673350, 168109802), (18462531016065923441, 2128793689), (18462548623315965107, 397659355), (18462566230582798362, 3623485133), (18462583837866423224, 3275245760), (18462601445166839708, 3706883457), (18462619052484047831, 682471444), (18462636659818047607, 2851050420), (18462654267168839054, 1681857495), (18462671874536422187, 1529097258), (18462689481920797022, 2452072594), (18462707089321963576, 215184685), (18462724696739921863, 3467802194), (18462742304174671901, 3679490194), (18462759911626213706, 909813939), (18462777519094547292, 3808338872), (18462795126579672677, 3844826843), (18462812734081589877, 1079039886), (18462830341600298906, 4160740221), (18462847949135799783, 264919182), (18462865556688092521, 2336437471), (18462883164257177138, 1845384904), (18462900771843053649, 3146818777), (18462918379445722071, 2005927388), (18462935987065182419, 2777899222), (18462953594701434710, 1228053762), (18462971202354478959, 1711710680), (18462988810024315182, 4289287943), (18463006417710943397, 431334522), (18463024025414363617, 3083301459), (18463041633134575860, 3715868913), (18463059240871580142, 2389717225), (18463076848625376478, 3460559630), (18463094456395964885, 2694240362), (18463112064183345379, 151636546), (18463129671987517975, 188658197), (18463147279808482689, 2866313628), (18463164887646239538, 3950709450), (18463182495500788538, 3502985167), (18463200103372129705, 1584345872), (18463217711260263054, 2551029554), (18463235319165188602, 2169405200), (18463252927086906365, 500874690), (18463270535025416358, 1901872795), (18463288142980718598, 2138965287), (18463305750952813101, 1273750828), (18463323358941699882, 3662860975), (18463340966947378959, 778090986), (18463358574969850346, 1271170903), (18463376183009114060, 908994472), (18463393791065170116, 4048455627), (18463411399138018532, 2161612010), (18463429007227659322, 3900456039), (18463446615334092504, 737176547), (18463464223457318092, 1323897144), (18463481831597336103, 1427905148), (18463499439754146553, 1111520768), (18463517047927749458, 437129810), (18463534656118144833, 3762150969), (18463552264325332696, 2559166650), (18463569872549313062, 1185726740), (18463587480790085946, 3999446723), (18463605089047651366, 2473105789), (18463622697322009337, 964450614), (18463640305613159874, 3831293468), (18463657913921102995, 2546610330), (18463675522245838715, 1468344663), (18463693130587367050, 659538229), (18463710738945688016, 183298389), (18463728347320801629, 102798097), (18463745955712707905, 481275904), (18463763564121406860, 1382035959), (18463781172546898510, 2868448006), (18463798780989182872, 708980090), (18463816389448259960, 3557067740), (18463833997924129792, 2886342897), (18463851606416792383, 3055404989), (18463869214926247749, 4127951743), (18463886823452495907, 1872779186), (18463904431995536872, 648683536), (18463922040555370660, 519559310), (18463939649131997287, 1549366624), (18463957257725416769, 3802131188), (18463974866335629123, 3046977015), (18463992474962634364, 3643028309), (18464010083606432509, 1359540275), (18464027692267023573, 555768311), (18464045300944407572, 1296066114), (18464062909638584522, 3644852980), (18464080518349554440, 3371646505), (18464098127077317342, 540997179), (18464115735821873242, 3807455683), (18464133344583222159, 350801813), (18464150953361364106, 3120684742), (18464168562156299101, 3591982757), (18464186170968027160, 1829574339), (18464203779796548298, 2193370859), (18464221388641862532, 453414696), (18464238997503969877, 969748420), (18464256606382870349, 3807512900), (18464274215278563966, 441980014), (18464291824191050741, 3823323717), (18464309433120330693, 1131979787), (18464327042066403836, 1023286078), (18464344651029270186, 3562711455), (18464362260008929761, 225855784), (18464379869005382574, 3963221014), (18464397478018628644, 1955570915), (18464415087048667985, 2858571334), (18464432696095500614, 2443051831), (18464450305159126547, 774874859), (18464467914239545799, 2214935769), (18464485523336758387, 2534260914), (18464503132450764327, 1798909547), (18464520741581563635, 75006516), (18464538350729156326, 1723709568), (18464555959893542417, 2516307452), (18464573569074721924, 2519121817), (18464591178272694863, 1798539910), (18464608787487461250, 421014575), (18464626396719021100, 2748031554), (18464644005967374431, 256240300), (18464661615232521257, 1602225050), (18464679224514461595, 2557733750), (18464696833813195461, 3189547244), (18464714443128722871, 3564511976), (18464732052461043841, 3749539988), (18464749661810158387, 3811608923), ];
pub static EXP_TERTIARY_TABLE_TIER_3: [(i128, i64); 1024] = [
(18446744073709551616, 0), (18446744090889420808, 10), (18446744108069290016, 85), (18446744125249159240, 288), (18446744142429028480, 682), (18446744159608897736, 1333), (18446744176788767008, 2304), (18446744193968636296, 3658), (18446744211148505600, 5461), (18446744228328374920, 7776), (18446744245508244256, 10666), (18446744262688113608, 14197), (18446744279867982976, 18432), (18446744297047852360, 23434), (18446744314227721760, 29269), (18446744331407591176, 36000), (18446744348587460608, 43690), (18446744365767330056, 52405), (18446744382947199520, 62208), (18446744400127069000, 73162), (18446744417306938496, 85333), (18446744434486808008, 98784), (18446744451666677536, 113578), (18446744468846547080, 129781), (18446744486026416640, 147456), (18446744503206286216, 166666), (18446744520386155808, 187477), (18446744537566025416, 209952), (18446744554745895040, 234154), (18446744571925764680, 260149), (18446744589105634336, 288000), (18446744606285504008, 317770), (18446744623465373696, 349525), (18446744640645243400, 383328), (18446744657825113120, 419242), (18446744675004982856, 457333), (18446744692184852608, 497664), (18446744709364722376, 540298), (18446744726544592160, 585301), (18446744743724461960, 632736), (18446744760904331776, 682666), (18446744778084201608, 735157), (18446744795264071456, 790272), (18446744812443941320, 848074), (18446744829623811200, 908629), (18446744846803681096, 972000), (18446744863983551008, 1038250), (18446744881163420936, 1107445), (18446744898343290880, 1179648), (18446744915523160840, 1254922), (18446744932703030816, 1333333), (18446744949882900808, 1414944), (18446744967062770816, 1499818), (18446744984242640840, 1588021), (18446745001422510880, 1679616), (18446745018602380936, 1774666), (18446745035782251008, 1873237), (18446745052962121096, 1975392), (18446745070141991200, 2081194), (18446745087321861320, 2190709), (18446745104501731456, 2304000), (18446745121681601608, 2421130), (18446745138861471776, 2542165), (18446745156041341960, 2667168), (18446745173221212160, 2796202), (18446745190401082376, 2929333), (18446745207580952608, 3066624), (18446745224760822856, 3208138), (18446745241940693120, 3353941), (18446745259120563400, 3504096), (18446745276300433696, 3658666), (18446745293480304008, 3817717), (18446745310660174336, 3981312), (18446745327840044680, 4149514), (18446745345019915040, 4322389), (18446745362199785416, 4500000), (18446745379379655808, 4682410), (18446745396559526216, 4869685), (18446745413739396640, 5061888), (18446745430919267080, 5259082), (18446745448099137536, 5461333), (18446745465279008008, 5668704), (18446745482458878496, 5881258), (18446745499638749000, 6099061), (18446745516818619520, 6322176), (18446745533998490056, 6550666), (18446745551178360608, 6784597), (18446745568358231176, 7024032), (18446745585538101760, 7269034), (18446745602717972360, 7519669), (18446745619897842976, 7776000), (18446745637077713608, 8038090), (18446745654257584256, 8306005), (18446745671437454920, 8579808), (18446745688617325600, 8859562), (18446745705797196296, 9145333), (18446745722977067008, 9437184), (18446745740156937736, 9735178), (18446745757336808480, 10039381), (18446745774516679240, 10349856), (18446745791696550016, 10666666), (18446745808876420808, 10989877), (18446745826056291616, 11319552), (18446745843236162440, 11655754), (18446745860416033280, 11998549), (18446745877595904136, 12348000), (18446745894775775008, 12704170), (18446745911955645896, 13067125), (18446745929135516800, 13436928), (18446745946315387720, 13813643), (18446745963495258656, 14197333), (18446745980675129608, 14588064), (18446745997855000576, 14985899), (18446746015034871560, 15390901), (18446746032214742560, 15803136), (18446746049394613576, 16222667), (18446746066574484608, 16649557), (18446746083754355656, 17083872), (18446746100934226720, 17525675), (18446746118114097800, 17975029), (18446746135293968896, 18432000), (18446746152473840008, 18896651), (18446746169653711136, 19369045), (18446746186833582280, 19849248), (18446746204013453440, 20337323), (18446746221193324616, 20833333), (18446746238373195808, 21337344), (18446746255553067016, 21849419), (18446746272732938240, 22369622), (18446746289912809480, 22898016), (18446746307092680736, 23434667), (18446746324272552008, 23979638), (18446746341452423296, 24532992), (18446746358632294600, 25094795), (18446746375812165920, 25665110), (18446746392992037256, 26244000), (18446746410171908608, 26831531), (18446746427351779976, 27427766), (18446746444531651360, 28032768), (18446746461711522760, 28646603), (18446746478891394176, 29269334), (18446746496071265608, 29901024), (18446746513251137056, 30541739), (18446746530431008520, 31191542), (18446746547610880000, 31850497), (18446746564790751496, 32518667), (18446746581970623008, 33196118), (18446746599150494536, 33882913), (18446746616330366080, 34579115), (18446746633510237640, 35284790), (18446746650690109216, 36000001), (18446746667869980808, 36724811), (18446746685049852416, 37459286), (18446746702229724040, 38203489), (18446746719409595680, 38957484), (18446746736589467336, 39721334), (18446746753769339008, 40495105), (18446746770949210696, 41278860), (18446746788129082400, 42072662), (18446746805308954120, 42876577), (18446746822488825856, 43690668), (18446746839668697608, 44514999), (18446746856848569376, 45349633), (18446746874028441160, 46194636), (18446746891208312960, 47050071), (18446746908388184776, 47916001), (18446746925568056608, 48792492), (18446746942747928456, 49679607), (18446746959927800320, 50577409), (18446746977107672200, 51485964), (18446746994287544096, 52405335), (18446747011467416008, 53335586), (18446747028647287936, 54276780), (18446747045827159880, 55228983), (18446747063007031840, 56192258), (18446747080186903816, 57166668), (18446747097366775808, 58152279), (18446747114546647816, 59149154), (18446747131726519840, 60157357), (18446747148906391880, 61176951), (18446747166086263936, 62208002), (18446747183266136008, 63250573), (18446747200446008096, 64304728), (18446747217625880200, 65370530), (18446747234805752320, 66448045), (18446747251985624456, 67537336), (18446747269165496608, 68638466), (18446747286345368776, 69751501), (18446747303525240960, 70876504), (18446747320705113160, 72013539), (18446747337884985376, 73162669), (18446747355064857608, 74323960), (18446747372244729856, 75497475), (18446747389424602120, 76683278), (18446747406604474400, 77881432), (18446747423784346696, 79092003), (18446747440964219008, 80315054), (18446747458144091336, 81550649), (18446747475323963680, 82798851), (18446747492503836040, 84059726), (18446747509683708416, 85333337), (18446747526863580808, 86619748), (18446747544043453216, 87919022), (18446747561223325640, 89231225), (18446747578403198080, 90556420), (18446747595583070536, 91894671), (18446747612762943008, 93246041), (18446747629942815496, 94610596), (18446747647122688000, 95988399), (18446747664302560520, 97379514), (18446747681482433056, 98784004), (18446747698662305608, 100201935), (18446747715842178176, 101633370), (18446747733022050760, 103078373), (18446747750201923360, 104537007), (18446747767381795976, 106009338), (18446747784561668608, 107495429), (18446747801741541256, 108995344), (18446747818921413920, 110509146), (18446747836101286600, 112036901), (18446747853281159296, 113578672), (18446747870461032008, 115134523), (18446747887640904736, 116704518), (18446747904820777480, 118288720), (18446747922000650240, 119887195), (18446747939180523016, 121500006), (18446747956360395808, 123127217), (18446747973540268616, 124768891), (18446747990720141440, 126425094), (18446748007900014280, 128095889), (18446748025079887136, 129781340), (18446748042259760008, 131481511), (18446748059439632896, 133196465), (18446748076619505800, 134926268), (18446748093799378720, 136670983), (18446748110979251656, 138430674), (18446748128159124608, 140205405), (18446748145338997576, 141995239), (18446748162518870560, 143800242), (18446748179698743560, 145620477), (18446748196878616576, 147456008), (18446748214058489608, 149306899), (18446748231238362656, 151173213), (18446748248418235720, 153055016), (18446748265598108800, 154952371), (18446748282777981896, 156865342), (18446748299957855008, 158793993), (18446748317137728136, 160738387), (18446748334317601280, 162698590), (18446748351497474440, 164674665), (18446748368677347616, 166666676), (18446748385857220808, 168674687), (18446748403037094016, 170698762), (18446748420216967240, 172738964), (18446748437396840480, 174795359), (18446748454576713736, 176868010), (18446748471756587008, 178956981), (18446748488936460296, 181062336), (18446748506116333600, 183184139), (18446748523296206920, 185322453), (18446748540476080256, 187477344), (18446748557655953608, 189648875), (18446748574835826976, 191837110), (18446748592015700360, 194042113), (18446748609195573760, 196263948), (18446748626375447176, 198502678), (18446748643555320608, 200758369), (18446748660735194056, 203031084), (18446748677915067520, 205320887), (18446748695094941000, 207627842), (18446748712274814496, 209952013), (18446748729454688008, 212293464), (18446748746634561536, 214652258), (18446748763814435080, 217028461), (18446748780994308640, 219422136), (18446748798174182216, 221833347), (18446748815354055808, 224262158), (18446748832533929416, 226708633), (18446748849713803040, 229172836), (18446748866893676680, 231654831), (18446748884073550336, 234154681), (18446748901253424008, 236672452), (18446748918433297696, 239208207), (18446748935613171400, 241762010), (18446748952793045120, 244333925), (18446748969972918856, 246924016), (18446748987152792608, 249532347), (18446749004332666376, 252158982), (18446749021512540160, 254803985), (18446749038692413960, 257467419), (18446749055872287776, 260149350), (18446749073052161608, 262849841), (18446749090232035456, 265568956), (18446749107411909320, 268306759), (18446749124591783200, 271063314), (18446749141771657096, 273838685), (18446749158951531008, 276632936), (18446749176131404936, 279446131), (18446749193311278880, 282278334), (18446749210491152840, 285129609), (18446749227671026816, 288000020), (18446749244850900808, 290889631), (18446749262030774816, 293798505), (18446749279210648840, 296726708), (18446749296390522880, 299674303), (18446749313570396936, 302641354), (18446749330750271008, 305627925), (18446749347930145096, 308634080), (18446749365110019200, 311659883), (18446749382289893320, 314705398), (18446749399469767456, 317770689), (18446749416649641608, 320855820), (18446749433829515776, 323960855), (18446749451009389960, 327085858), (18446749468189264160, 330230893), (18446749485369138376, 333396024), (18446749502549012608, 336581315), (18446749519728886856, 339786830), (18446749536908761120, 343012633), (18446749554088635400, 346258788), (18446749571268509696, 349525359), (18446749588448384008, 352812410), (18446749605628258336, 356120005), (18446749622808132680, 359448208), (18446749639988007040, 362797083), (18446749657167881416, 366166694), (18446749674347755808, 369557105), (18446749691527630216, 372968380), (18446749708707504640, 376400583), (18446749725887379080, 379853778), (18446749743067253536, 383328029), (18446749760247128008, 386823400), (18446749777427002496, 390339955), (18446749794606877000, 393877758), (18446749811786751520, 397436873), (18446749828966626056, 401017364), (18446749846146500608, 404619295), (18446749863326375176, 408242730), (18446749880506249760, 411887733), (18446749897686124360, 415554368), (18446749914865998976, 419242699), (18446749932045873608, 422952790), (18446749949225748256, 426684705), (18446749966405622920, 430438509), (18446749983585497600, 434214264), (18446750000765372296, 438012035), (18446750017945247008, 441831886), (18446750035125121736, 445673881), (18446750052304996480, 449538084), (18446750069484871240, 453424559), (18446750086664746016, 457333370), (18446750103844620808, 461264581), (18446750121024495616, 465218256), (18446750138204370440, 469194459), (18446750155384245280, 473193255), (18446750172564120136, 477214706), (18446750189743995008, 481258877), (18446750206923869896, 485325832), (18446750224103744800, 489415635), (18446750241283619720, 493528350), (18446750258463494656, 497664041), (18446750275643369608, 501822772), (18446750292823244576, 506004607), (18446750310003119560, 510209611), (18446750327182994560, 514437846), (18446750344362869576, 518689377), (18446750361542744608, 522964268), (18446750378722619656, 527262583), (18446750395902494720, 531584386), (18446750413082369800, 535929742), (18446750430262244896, 540298713), (18446750447442120008, 544691364), (18446750464621995136, 549107759), (18446750481801870280, 553547962), (18446750498981745440, 558012037), (18446750516161620616, 562500049), (18446750533341495808, 567012060), (18446750550521371016, 571548135), (18446750567701246240, 576108338), (18446750584881121480, 580692733), (18446750602060996736, 585301385), (18446750619240872008, 589934356), (18446750636420747296, 594591711), (18446750653600622600, 599273514), (18446750670780497920, 603979830), (18446750687960373256, 608710721), (18446750705140248608, 613466252), (18446750722320123976, 618246487), (18446750739499999360, 623051490), (18446750756679874760, 627881326), (18446750773859750176, 632736057), (18446750791039625608, 637615748), (18446750808219501056, 642520463), (18446750825399376520, 647450267), (18446750842579252000, 652405222), (18446750859759127496, 657385393), (18446750876939003008, 662390845), (18446750894118878536, 667421640), (18446750911298754080, 672477843), (18446750928478629640, 677559518), (18446750945658505216, 682666730), (18446750962838380808, 687799541), (18446750980018256416, 692958016), (18446750997198132040, 698142220), (18446751014378007680, 703352215), (18446751031557883336, 708588066), (18446751048737759008, 713849838), (18446751065917634696, 719137593), (18446751083097510400, 724451396), (18446751100277386120, 729791312), (18446751117457261856, 735157403), (18446751134637137608, 740549734), (18446751151817013376, 745968370), (18446751168996889160, 751413373), (18446751186176764960, 756884808), (18446751203356640776, 762382740), (18446751220536516608, 767907231), (18446751237716392456, 773458347), (18446751254896268320, 779036150), (18446751272076144200, 784640705), (18446751289256020096, 790272077), (18446751306435896008, 795930328), (18446751323615771936, 801615524), (18446751340795647880, 807327727), (18446751357975523840, 813067002), (18446751375155399816, 818833414), (18446751392335275808, 824627025), (18446751409515151816, 830447901), (18446751426695027840, 836296104), (18446751443874903880, 842171700), (18446751461054779936, 848074751), (18446751478234656008, 854005323), (18446751495414532096, 859963478), (18446751512594408200, 865949281), (18446751529774284320, 871962797), (18446751546954160456, 878004088), (18446751564134036608, 884073220), (18446751581313912776, 890170255), (18446751598493788960, 896295259), (18446751615673665160, 902448294), (18446751632853541376, 908629426), (18446751650033417608, 914838717), (18446751667213293856, 921076233), (18446751684393170120, 927342036), (18446751701573046400, 933636192), (18446751718752922696, 939958764), (18446751735932799008, 946309815), (18446751753112675336, 952689411), (18446751770292551680, 959097614), (18446751787472428040, 965534490), (18446751804652304416, 972000101), (18446751821832180808, 978494513), (18446751839012057216, 985017788), (18446751856191933640, 991569992), (18446751873371810080, 998151188), (18446751890551686536, 1004761439), (18446751907731563008, 1011400811), (18446751924911439496, 1018069366), (18446751942091316000, 1024767170), (18446751959271192520, 1031494286), (18446751976451069056, 1038250777), (18446751993630945608, 1045036709), (18446752010810822176, 1051852145), (18446752027990698760, 1058697148), (18446752045170575360, 1065571784), (18446752062350451976, 1072476116), (18446752079530328608, 1079410207), (18446752096710205256, 1086374123), (18446752113890081920, 1093367927), (18446752131069958600, 1100391682), (18446752148249835296, 1107445454), (18446752165429712008, 1114529306), (18446752182609588736, 1121643301), (18446752199789465480, 1128787505), (18446752216969342240, 1135961981), (18446752234149219016, 1143166793), (18446752251329095808, 1150402004), (18446752268508972616, 1157667680), (18446752285688849440, 1164963884), (18446752302868726280, 1172290680), (18446752320048603136, 1179648131), (18446752337228480008, 1187036303), (18446752354408356896, 1194455259), (18446752371588233800, 1201905063), (18446752388768110720, 1209385778), (18446752405947987656, 1216897470), (18446752423127864608, 1224440202), (18446752440307741576, 1232014038), (18446752457487618560, 1239619042), (18446752474667495560, 1247255278), (18446752491847372576, 1254922809), (18446752509027249608, 1262621701), (18446752526207126656, 1270352017), (18446752543387003720, 1278113821), (18446752560566880800, 1285907177), (18446752577746757896, 1293732149), (18446752594926635008, 1301588800), (18446752612106512136, 1309477196), (18446752629286389280, 1317397400), (18446752646466266440, 1325349476), (18446752663646143616, 1333333488), (18446752680826020808, 1341349500), (18446752698005898016, 1349397576), (18446752715185775240, 1357477780), (18446752732365652480, 1365590176), (18446752749545529736, 1373734828), (18446752766725407008, 1381911800), (18446752783905284296, 1390121156), (18446752801085161600, 1398362960), (18446752818265038920, 1406637276), (18446752835444916256, 1414944168), (18446752852624793608, 1423283700), (18446752869804670976, 1431655936), (18446752886984548360, 1440060940), (18446752904164425760, 1448498776), (18446752921344303176, 1456969508), (18446752938524180608, 1465473200), (18446752955704058056, 1474009916), (18446752972883935520, 1482579720), (18446752990063813000, 1491182676), (18446753007243690496, 1499818848), (18446753024423568008, 1508488300), (18446753041603445536, 1517191096), (18446753058783323080, 1525927300), (18446753075963200640, 1534696976), (18446753093143078216, 1543500188), (18446753110322955808, 1552337000), (18446753127502833416, 1561207476), (18446753144682711040, 1570111681), (18446753161862588680, 1579049677), (18446753179042466336, 1588021529), (18446753196222344008, 1597027301), (18446753213402221696, 1606067057), (18446753230582099400, 1615140861), (18446753247761977120, 1624248777), (18446753264941854856, 1633390870), (18446753282121732608, 1642567202), (18446753299301610376, 1651777838), (18446753316481488160, 1661022842), (18446753333661365960, 1670302278), (18446753350841243776, 1679616211), (18446753368021121608, 1688964703), (18446753385200999456, 1698347819), (18446753402380877320, 1707765623), (18446753419560755200, 1717218180), (18446753436740633096, 1726705552), (18446753453920511008, 1736227804), (18446753471100388936, 1745785001), (18446753488280266880, 1755377205), (18446753505460144840, 1765004481), (18446753522640022816, 1774666893), (18446753539819900808, 1784364506), (18446753556999778816, 1794097382), (18446753574179656840, 1803865586), (18446753591359534880, 1813669183), (18446753608539412936, 1823508235), (18446753625719291008, 1833382808), (18446753642899169096, 1843292964), (18446753660079047200, 1853238768), (18446753677258925320, 1863220285), (18446753694438803456, 1873237577), (18446753711618681608, 1883290709), (18446753728798559776, 1893379746), (18446753745978437960, 1903504750), (18446753763158316160, 1913665787), (18446753780338194376, 1923862919), (18446753797518072608, 1934096212), (18446753814697950856, 1944365728), (18446753831877829120, 1954671533), (18446753849057707400, 1965013689), (18446753866237585696, 1975392262), (18446753883417464008, 1985807314), (18446753900597342336, 1996258911), (18446753917777220680, 2006747115), (18446753934957099040, 2017271992), (18446753952136977416, 2027833604), (18446753969316855808, 2038432017), (18446753986496734216, 2049067293), (18446754003676612640, 2059739498), (18446754020856491080, 2070448695), (18446754038036369536, 2081194947), (18446754055216248008, 2091978320), (18446754072396126496, 2102798876), (18446754089576005000, 2113656681), (18446754106755883520, 2124551798), (18446754123935762056, 2135484290), (18446754141115640608, 2146454223), (18446754158295519176, 2157461660), (18446754175475397760, 2168506664), (18446754192655276360, 2179589301), (18446754209835154976, 2190709634), (18446754227015033608, 2201867726), (18446754244194912256, 2213063643), (18446754261374790920, 2224297448), (18446754278554669600, 2235569205), (18446754295734548296, 2246878977), (18446754312914427008, 2258226830), (18446754330094305736, 2269612827), (18446754347274184480, 2281037032), (18446754364454063240, 2292499509), (18446754381633942016, 2304000321), (18446754398813820808, 2315539534), (18446754415993699616, 2327117211), (18446754433173578440, 2338733416), (18446754450353457280, 2350388213), (18446754467533336136, 2362081666), (18446754484713215008, 2373813838), (18446754501893093896, 2385584795), (18446754519072972800, 2397394600), (18446754536252851720, 2409243317), (18446754553432730656, 2421131010), (18446754570612609608, 2433057743), (18446754587792488576, 2445023580), (18446754604972367560, 2457028585), (18446754622152246560, 2469072822), (18446754639332125576, 2481156355), (18446754656512004608, 2493279248), (18446754673691883656, 2505441565), (18446754690871762720, 2517643370), (18446754708051641800, 2529884727), (18446754725231520896, 2542165700), (18446754742411400008, 2554486353), (18446754759591279136, 2566846750), (18446754776771158280, 2579246955), (18446754793951037440, 2591687032), (18446754811130916616, 2604167045), (18446754828310795808, 2616687058), (18446754845490675016, 2629247135), (18446754862670554240, 2641847340), (18446754879850433480, 2654487738), (18446754897030312736, 2667168391), (18446754914210192008, 2679889364), (18446754931390071296, 2692650721), (18446754948569950600, 2705452526), (18446754965749829920, 2718294843), (18446754982929709256, 2731177737), (18446755000109588608, 2744101270), (18446755017289467976, 2757065507), (18446755034469347360, 2770070512), (18446755051649226760, 2783116350), (18446755068829106176, 2796203083), (18446755086008985608, 2809330776), (18446755103188865056, 2822499493), (18446755120368744520, 2835709299), (18446755137548624000, 2848960256), (18446755154728503496, 2862252429), (18446755171908383008, 2875585883), (18446755189088262536, 2888960680), (18446755206268142080, 2902376885), (18446755223448021640, 2915834563), (18446755240627901216, 2929333776), (18446755257807780808, 2942874590), (18446755274987660416, 2956457067), (18446755292167540040, 2970081272), (18446755309347419680, 2983747270), (18446755326527299336, 2997455123), (18446755343707179008, 3011204897), (18446755360887058696, 3024996654), (18446755378066938400, 3038830460), (18446755395246818120, 3052706377), (18446755412426697856, 3066624471), (18446755429606577608, 3080584804), (18446755446786457376, 3094587442), (18446755463966337160, 3108632447), (18446755481146216960, 3122719885), (18446755498326096776, 3136849819), (18446755515505976608, 3151022312), (18446755532685856456, 3165237430), (18446755549865736320, 3179495235), (18446755567045616200, 3193795793), (18446755584225496096, 3208139167), (18446755601405376008, 3222525420), (18446755618585255936, 3236954618), (18446755635765135880, 3251426824), (18446755652945015840, 3265942101), (18446755670124895816, 3280500515), (18446755687304775808, 3295102129), (18446755704484655816, 3309747007), (18446755721664535840, 3324435212), (18446755738844415880, 3339166810), (18446755756024295936, 3353941864), (18446755773204176008, 3368760438), (18446755790384056096, 3383622595), (18446755807563936200, 3398528401), (18446755824743816320, 3413477919), (18446755841923696456, 3428471213), (18446755859103576608, 3443508347), (18446755876283456776, 3458589385), (18446755893463336960, 3473714391), (18446755910643217160, 3488883429), (18446755927823097376, 3504096562), (18446755945002977608, 3519353856), (18446755962182857856, 3534655374), (18446755979362738120, 3550001180), (18446755996542618400, 3565391338), (18446756013722498696, 3580825912), (18446756030902379008, 3596304966), (18446756048082259336, 3611828564), (18446756065262139680, 3627396770), (18446756082442020040, 3643009648), (18446756099621900416, 3658667262), (18446756116801780808, 3674369677), (18446756133981661216, 3690116955), (18446756151161541640, 3705909161), (18446756168341422080, 3721746359), (18446756185521302536, 3737628613), (18446756202701183008, 3753555987), (18446756219881063496, 3769528545), (18446756237060944000, 3785546352), (18446756254240824520, 3801609470), (18446756271420705056, 3817717964), (18446756288600585608, 3833871898), (18446756305780466176, 3850071336), (18446756322960346760, 3866316343), (18446756340140227360, 3882606981), (18446756357320107976, 3898943315), (18446756374499988608, 3915325410), (18446756391679869256, 3931753328), (18446756408859749920, 3948227134), (18446756426039630600, 3964746893), (18446756443219511296, 3981312667), (18446756460399392008, 3997924521), (18446756477579272736, 4014582520), (18446756494759153480, 4031286726), (18446756511939034240, 4048037205), (18446756529118915016, 4064834019), (18446756546298795808, 4081677233), (18446756563478676616, 4098566912), (18446756580658557440, 4115503118), (18446756597838438280, 4132485917), (18446756615018319136, 4149515371), (18446756632198200008, 4166591546), (18446756649378080896, 4183714505), (18446756666557961800, 4200884311), (18446756683737842720, 4218101030), (18446756700917723656, 4235364724), (18446756718097604608, 4252675459), (18446756735277485576, 4270033298), (18446756752457366560, 4287438304), (18446756769637247561, 9923247), (18446756786817128577, 27422782), (18446756803997009609, 44969676), (18446756821176890657, 62563995), (18446756838356771721, 80205802), (18446756855536652801, 97895160), (18446756872716533897, 115632135), (18446756889896415009, 133416790), (18446756907076296137, 151249189), (18446756924256177281, 169129396), (18446756941436058441, 187057474), (18446756958615939617, 205033489), (18446756975795820809, 223057504), (18446756992975702017, 241129583), (18446757010155583241, 259249790), (18446757027335464481, 277418189), (18446757044515345737, 295634844), (18446757061695227009, 313899819), (18446757078875108297, 332213178), (18446757096054989601, 350574985), (18446757113234870921, 368985304), (18446757130414752257, 387444199), (18446757147594633609, 405951734), (18446757164774514977, 424507973), (18446757181954396361, 443112980), (18446757199134277761, 461766819), (18446757216314159177, 480469554), (18446757233494040609, 499221249), (18446757250673922057, 518021968), (18446757267853803521, 536871776), (18446757285033685001, 555770735), (18446757302213566497, 574718910), (18446757319393448009, 593716365), (18446757336573329537, 612763164), (18446757353753211081, 631859372), (18446757370933092641, 651005051), (18446757388112974217, 670200266), (18446757405292855809, 689445081), (18446757422472737417, 708739561), (18446757439652619041, 728083768), (18446757456832500681, 747477767), (18446757474012382337, 766921623), (18446757491192264009, 786415398), (18446757508372145697, 805959158), (18446757525552027401, 825552965), (18446757542731909121, 845196884), (18446757559911790857, 864890980), (18446757577091672609, 884635315), (18446757594271554377, 904429955), (18446757611451436161, 924274962), (18446757628631317961, 944170402), (18446757645811199777, 964116338), (18446757662991081609, 984112833), (18446757680170963457, 1004159953), (18446757697350845321, 1024257760), (18446757714530727201, 1044406320), (18446757731710609097, 1064605696), (18446757748890491009, 1084855951), (18446757766070372937, 1105157151), (18446757783250254881, 1125509359), (18446757800430136841, 1145912638), (18446757817610018817, 1166367054), (18446757834789900809, 1186872670), (18446757851969782817, 1207429550), (18446757869149664841, 1228037757), (18446757886329546881, 1248697357), (18446757903509428937, 1269408413), (18446757920689311009, 1290170989), (18446757937869193097, 1310985149), (18446757955049075201, 1331850957), (18446757972228957321, 1352768477), (18446757989408839457, 1373737773), (18446758006588721609, 1394758909), (18446758023768603777, 1415831949), (18446758040948485961, 1436956957), (18446758058128368161, 1458133997), (18446758075308250377, 1479363133), (18446758092488132609, 1500644429), (18446758109668014857, 1521977949), (18446758126847897121, 1543363757), (18446758144027779401, 1564801917), (18446758161207661697, 1586292493), (18446758178387544009, 1607835549), (18446758195567426337, 1629431149), (18446758212747308681, 1651079358), (18446758229927191041, 1672780238), (18446758247107073417, 1694533854), (18446758264286955809, 1716340270), (18446758281466838217, 1738199551), (18446758298646720641, 1760111759), (18446758315826603081, 1782076959), (18446758333006485537, 1804095215), (18446758350186368009, 1826166592), (18446758367366250497, 1848291152), (18446758384546133001, 1870468961), (18446758401726015521, 1892700081), (18446758418905898057, 1914984577), (18446758436085780609, 1937322514), (18446758453265663177, 1959713954), (18446758470445545761, 1982158963), (18446758487625428361, 2004657603), (18446758504805310977, 2027209940), (18446758521985193609, 2049816037), (18446758539165076257, 2072475957), (18446758556344958921, 2095189766), (18446758573524841601, 2117957526), (18446758590704724297, 2140779303), (18446758607884607009, 2163655160), (18446758625064489737, 2186585160), (18446758642244372481, 2209569369), (18446758659424255241, 2232607850), (18446758676604138017, 2255700667), (18446758693784020809, 2278847883), (18446758710963903617, 2302049564), (18446758728143786441, 2325305773), (18446758745323669281, 2348616574), (18446758762503552137, 2371982031), (18446758779683435009, 2395402208), (18446758796863317897, 2418877168), (18446758814043200801, 2442406977), (18446758831223083721, 2465991698), (18446758848402966657, 2489631395), (18446758865582849609, 2513326132), (18446758882762732577, 2537075973), (18446758899942615561, 2560880982), (18446758917122498561, 2584741223), (18446758934302381577, 2608656761), (18446758951482264609, 2632627658), (18446758968662147657, 2656653979), (18446758985842030721, 2680735788), (18446759003021913801, 2704873149), (18446759020201796897, 2729066126), (18446759037381680009, 2753314784), (18446759054561563137, 2777619185), (18446759071741446281, 2801979394), (18446759088921329441, 2826395475), (18446759106101212617, 2850867493), (18446759123281095809, 2875395510), (18446759140460979017, 2899979591), (18446759157640862241, 2924619801), (18446759174820745481, 2949316202), (18446759192000628737, 2974068860), (18446759209180512009, 2998877837), (18446759226360395297, 3023743198), (18446759243540278601, 3048665008), (18446759260720161921, 3073643329), (18446759277900045257, 3098678227), (18446759295079928609, 3123769765), (18446759312259811977, 3148918006), (18446759329439695361, 3174123016), (18446759346619578761, 3199384857), (18446759363799462177, 3224703595), (18446759380979345609, 3250079293), (18446759398159229057, 3275512014), (18446759415339112521, 3301001824), (18446759432518996001, 3326548786), (18446759449698879497, 3352152964), (18446759466878763009, 3377814422), (18446759484058646537, 3403533223), (18446759501238530081, 3429309433), (18446759518418413641, 3455143115), (18446759535598297217, 3481034333), (18446759552778180809, 3506983151), (18446759569958064417, 3532989633), (18446759587137948041, 3559053843), (18446759604317831681, 3585175845), (18446759621497715337, 3611355703), (18446759638677599009, 3637593481), (18446759655857482697, 3663889243), (18446759673037366401, 3690243053), (18446759690217250121, 3716654975), (18446759707397133857, 3743125073), (18446759724577017609, 3769653411), (18446759741756901377, 3796240054), (18446759758936785161, 3822885064), (18446759776116668961, 3849588506), (18446759793296552777, 3876350444), (18446759810476436609, 3903170943), (18446759827656320457, 3930050065), (18446759844836204321, 3956987875), (18446759862016088201, 3983984438), (18446759879195972097, 4011039816), (18446759896375856009, 4038154074), (18446759913555739937, 4065327277), (18446759930735623881, 4092559487), (18446759947915507841, 4119850770), (18446759965095391817, 4147201188), (18446759982275275809, 4174610807), (18446759999455159817, 4202079689), (18446760016635043841, 4229607900), (18446760033814927881, 4257195503), (18446760050994811937, 4284842561), (18446760068174696010, 17581844), (18446760085354580098, 45348007), (18446760102534464202, 73173817), (18446760119714348322, 101059340), (18446760136894232458, 129004639), (18446760154074116610, 157009778), (18446760171254000778, 185074821), (18446760188433884962, 213199831), (18446760205613769162, 241384874), (18446760222793653378, 269630013), (18446760239973537610, 297935312), (18446760257153421858, 326300835), (18446760274333306122, 354726646), (18446760291513190402, 383212809), (18446760308693074698, 411759388), (18446760325872959010, 440366447), (18446760343052843338, 469034050), (18446760360232727682, 497762261), (18446760377412612042, 526551145), (18446760394592496418, 555400764), (18446760411772380810, 584311183), (18446760428952265218, 613282466), (18446760446132149642, 642314677), (18446760463312034082, 671407881), (18446760480491918538, 700562140), (18446760497671803010, 729777519), (18446760514851687498, 759054083), (18446760532031572002, 788391894), (18446760549211456522, 817791017), (18446760566391341058, 847251517), (18446760583571225610, 876773456), (18446760600751110178, 906356900), (18446760617930994762, 936001911), (18446760635110879362, 965708555), (18446760652290763978, 995476894), (18446760669470648610, 1025306994), (18446760686650533258, 1055198918), (18446760703830417922, 1085152729), (18446760721010302602, 1115168493), (18446760738190187298, 1145246273), (18446760755370072010, 1175386133), (18446760772549956738, 1205588136), (18446760789729841482, 1235852348), (18446760806909726242, 1266178832), (18446760824089611018, 1296567652), (18446760841269495810, 1327018872), (18446760858449380618, 1357532556), (18446760875629265442, 1388108768), (18446760892809150282, 1418747572), (18446760909989035138, 1449449032), (18446760927168920010, 1480213212), (18446760944348804898, 1511040176), (18446760961528689802, 1541929988), (18446760978708574722, 1572882712), (18446760995888459658, 1603898412), (18446761013068344610, 1634977152), (18446761030248229578, 1666118996), (18446761047428114562, 1697324009), (18446761064607999562, 1728592253), (18446761081787884578, 1759923793), (18446761098967769610, 1791318693), (18446761116147654658, 1822777018), (18446761133327539722, 1854298830), (18446761150507424802, 1885884195), (18446761167687309898, 1917533175), (18446761184867195010, 1949245836), (18446761202047080138, 1981022240), (18446761219226965282, 2012862453), (18446761236406850442, 2044766537), (18446761253586735618, 2076734558), (18446761270766620810, 2108766578), (18446761287946506018, 2140862663), (18446761305126391242, 2173022876), (18446761322306276482, 2205247280), (18446761339486161738, 2237535941), (18446761356666047010, 2269888922), (18446761373845932298, 2302306287), (18446761391025817602, 2334788099), (18446761408205702922, 2367334424), (18446761425385588258, 2399945325), (18446761442565473610, 2432620866), (18446761459745358978, 2465361111), (18446761476925244362, 2498166124), (18446761494105129762, 2531035969), (18446761511285015178, 2563970710), (18446761528464900610, 2596970411), (18446761545644786058, 2630035136), (18446761562824671522, 2663164949), (18446761580004557002, 2696359915), (18446761597184442498, 2729620096), (18446761614364328010, 2762945557), (18446761631544213538, 2796336362), (18446761648724099082, 2829792576), ];