From b8f6284dafbaf022863d42262bb9027aa4e0e3c1 Mon Sep 17 00:00:00 2001
From: penguindark <57967770+penguindark@users.noreply.github.com>
Date: Fri, 28 Feb 2020 02:43:15 +0100
Subject: [PATCH] ftoa: tables with hex constants

---
 vlib/strconv/ftoa/tables.v | 1236 ++++++++++++++++++------------------
 1 file changed, 618 insertions(+), 618 deletions(-)

diff --git a/vlib/strconv/ftoa/tables.v b/vlib/strconv/ftoa/tables.v
index eaa114c976..65e772d6ff 100644
--- a/vlib/strconv/ftoa/tables.v
+++ b/vlib/strconv/ftoa/tables.v
@@ -55,626 +55,626 @@ pow5_inv_split_32 = [
 ]
 
 pow5_split_64 =[
-	Uint128{0, 72057594037927936},
-	Uint128{0, 90071992547409920},
-	Uint128{u64(0), 112589990684262400},
-	Uint128{u64(0), 140737488355328000},
-	Uint128{u64(0), 87960930222080000},
-	Uint128{u64(0), 109951162777600000},
-	Uint128{u64(0), 137438953472000000},
-	Uint128{u64(0), 85899345920000000},
-	Uint128{u64(0), 107374182400000000},
-	Uint128{u64(0), 134217728000000000},
-	Uint128{u64(0), 83886080000000000},
-	Uint128{u64(0), 104857600000000000},
-	Uint128{u64(0), 131072000000000000},
-	Uint128{u64(0), 81920000000000000},
-	Uint128{u64(0), 102400000000000000},
-	Uint128{u64(0), 128000000000000000},
-	Uint128{u64(0), 80000000000000000},
-	Uint128{u64(0), 100000000000000000},
-	Uint128{u64(0), 125000000000000000},
-	Uint128{u64(0), 78125000000000000},
-	Uint128{u64(0), 97656250000000000},
-	Uint128{u64(0), 122070312500000000},
-	Uint128{u64(0), 76293945312500000},
-	Uint128{u64(0), 95367431640625000},
-	Uint128{u64(0), 119209289550781250},
-	Uint128{4611686018427387904, 74505805969238281},
-	Uint128{10376293541461622784, 93132257461547851},
-	Uint128{8358680908399640576, 116415321826934814},
-	Uint128{612489549322387456, 72759576141834259},
-	Uint128{14600669991935148032, 90949470177292823},
-	Uint128{13639151471491547136, 113686837721616029},
-	Uint128{3213881284082270208, 142108547152020037},
-	Uint128{4314518811765112832, 88817841970012523},
-	Uint128{781462496279003136, 111022302462515654},
-	Uint128{10200200157203529728, 138777878078144567},
-	Uint128{13292654125893287936, 86736173798840354},
-	Uint128{7392445620511834112, 108420217248550443},
-	Uint128{4628871007212404736, 135525271560688054},
-	Uint128{16728102434789916672, 84703294725430033},
-	Uint128{7075069988205232128, 105879118406787542},
-	Uint128{18067209522111315968, 132348898008484427},
-	Uint128{8986162942105878528, 82718061255302767},
-	Uint128{6621017659204960256, 103397576569128459},
-	Uint128{3664586055578812416, 129246970711410574},
-	Uint128{16125424340018921472, 80779356694631608},
-	Uint128{1710036351314100224, 100974195868289511},
-	Uint128{15972603494424788992, 126217744835361888},
-	Uint128{9982877184015493120, 78886090522101180},
-	Uint128{12478596480019366400, 98607613152626475},
-	Uint128{10986559581596820096, 123259516440783094},
-	Uint128{2254913720070624656, 77037197775489434},
-	Uint128{12042014186943056628, 96296497219361792},
-	Uint128{15052517733678820785, 120370621524202240},
-	Uint128{9407823583549262990, 75231638452626400},
-	Uint128{11759779479436578738, 94039548065783000},
-	Uint128{14699724349295723422, 117549435082228750},
-	Uint128{4575641699882439235, 73468396926392969},
-	Uint128{10331238143280436948, 91835496157991211},
-	Uint128{8302361660673158281, 114794370197489014},
-	Uint128{1154580038986672043, 143492962746861268},
-	Uint128{9944984561221445835, 89683101716788292},
-	Uint128{12431230701526807293, 112103877145985365},
-	Uint128{1703980321626345405, 140129846432481707},
-	Uint128{17205888765512323542, 87581154020301066},
-	Uint128{12283988920035628619, 109476442525376333},
-	Uint128{1519928094762372062, 136845553156720417},
-	Uint128{12479170105294952299, 85528470722950260},
-	Uint128{15598962631618690374, 106910588403687825},
-	Uint128{5663645234241199255, 133638235504609782},
-	Uint128{17374836326682913246, 83523897190381113},
-	Uint128{7883487353071477846, 104404871487976392},
-	Uint128{9854359191339347308, 130506089359970490},
-	Uint128{10770660513014479971, 81566305849981556},
-	Uint128{13463325641268099964, 101957882312476945},
-	Uint128{2994098996302961243, 127447352890596182},
-	Uint128{15706369927971514489, 79654595556622613},
-	Uint128{5797904354682229399, 99568244445778267},
-	Uint128{2635694424925398845, 124460305557222834},
-	Uint128{6258995034005762182, 77787690973264271},
-	Uint128{3212057774079814824, 97234613716580339},
-	Uint128{17850130272881932242, 121543267145725423},
-	Uint128{18073860448192289507, 75964541966078389},
-	Uint128{8757267504958198172, 94955677457597987},
-	Uint128{6334898362770359811, 118694596821997484},
-	Uint128{13182683513586250689, 74184123013748427},
-	Uint128{11866668373555425458, 92730153767185534},
-	Uint128{5609963430089506015, 115912692208981918},
-	Uint128{17341285199088104971, 72445432630613698},
-	Uint128{12453234462005355406, 90556790788267123},
-	Uint128{10954857059079306353, 113195988485333904},
-	Uint128{13693571323849132942, 141494985606667380},
-	Uint128{17781854114260483896, 88434366004167112},
-	Uint128{3780573569116053255, 110542957505208891},
-	Uint128{114030942967678664, 138178696881511114},
-	Uint128{4682955357782187069, 86361685550944446},
-	Uint128{15077066234082509644, 107952106938680557},
-	Uint128{5011274737320973344, 134940133673350697},
-	Uint128{14661261756894078100, 84337583545844185},
-	Uint128{4491519140835433913, 105421979432305232},
-	Uint128{5614398926044292391, 131777474290381540},
-	Uint128{12732371365632458552, 82360921431488462},
-	Uint128{6692092170185797382, 102951151789360578},
-	Uint128{17588487249587022536, 128688939736700722},
-	Uint128{15604490549419276989, 80430587335437951},
-	Uint128{14893927168346708332, 100538234169297439},
-	Uint128{14005722942005997511, 125672792711621799},
-	Uint128{15671105866394830300, 78545495444763624},
-	Uint128{1142138259283986260, 98181869305954531},
-	Uint128{15262730879387146537, 122727336632443163},
-	Uint128{7233363790403272633, 76704585395276977},
-	Uint128{13653390756431478696, 95880731744096221},
-	Uint128{3231680390257184658, 119850914680120277},
-	Uint128{4325643253124434363, 74906821675075173},
-	Uint128{10018740084832930858, 93633527093843966},
-	Uint128{3300053069186387764, 117041908867304958},
-	Uint128{15897591223523656064, 73151193042065598},
-	Uint128{10648616992549794273, 91438991302581998},
-	Uint128{4087399203832467033, 114298739128227498},
-	Uint128{14332621041645359599, 142873423910284372},
-	Uint128{18181260187883125557, 89295889943927732},
-	Uint128{4279831161144355331, 111619862429909666},
-	Uint128{14573160988285219972, 139524828037387082},
-	Uint128{13719911636105650386, 87203017523366926},
-	Uint128{7926517508277287175, 109003771904208658},
-	Uint128{684774848491833161, 136254714880260823},
-	Uint128{7345513307948477581, 85159196800163014},
-	Uint128{18405263671790372785, 106448996000203767},
-	Uint128{18394893571310578077, 133061245000254709},
-	Uint128{13802651491282805250, 83163278125159193},
-	Uint128{3418256308821342851, 103954097656448992},
-	Uint128{4272820386026678563, 129942622070561240},
-	Uint128{2670512741266674102, 81214138794100775},
-	Uint128{17173198981865506339, 101517673492625968},
-	Uint128{3019754653622331308, 126897091865782461},
-	Uint128{4193189667727651020, 79310682416114038},
-	Uint128{14464859121514339583, 99138353020142547},
-	Uint128{13469387883465536574, 123922941275178184},
-	Uint128{8418367427165960359, 77451838296986365},
-	Uint128{15134645302384838353, 96814797871232956},
-	Uint128{471562554271496325, 121018497339041196},
-	Uint128{9518098633274461011, 75636560836900747},
-	Uint128{7285937273165688360, 94545701046125934},
-	Uint128{18330793628311886258, 118182126307657417},
-	Uint128{4539216990053847055, 73863828942285886},
-	Uint128{14897393274422084627, 92329786177857357},
-	Uint128{4786683537745442072, 115412232722321697},
-	Uint128{14520892257159371055, 72132645451451060},
-	Uint128{18151115321449213818, 90165806814313825},
-	Uint128{8853836096529353561, 112707258517892282},
-	Uint128{1843923083806916143, 140884073147365353},
-	Uint128{12681666973447792349, 88052545717103345},
-	Uint128{2017025661527576725, 110065682146379182},
-	Uint128{11744654113764246714, 137582102682973977},
-	Uint128{422879793461572340, 85988814176858736},
-	Uint128{528599741826965425, 107486017721073420},
-	Uint128{660749677283706782, 134357522151341775},
-	Uint128{7330497575943398595, 83973451344588609},
-	Uint128{13774807988356636147, 104966814180735761},
-	Uint128{3383451930163631472, 131208517725919702},
-	Uint128{15949715511634433382, 82005323578699813},
-	Uint128{6102086334260878016, 102506654473374767},
-	Uint128{3015921899398709616, 128133318091718459},
-	Uint128{18025852251620051174, 80083323807324036},
-	Uint128{4085571240815512351, 100104154759155046},
-	Uint128{14330336087874166247, 125130193448943807},
-	Uint128{15873989082562435760, 78206370905589879},
-	Uint128{15230800334775656796, 97757963631987349},
-	Uint128{5203442363187407284, 122197454539984187},
-	Uint128{946308467778435600, 76373409087490117},
-	Uint128{5794571603150432404, 95466761359362646},
-	Uint128{16466586540792816313, 119333451699203307},
-	Uint128{7985773578781816244, 74583407312002067},
-	Uint128{5370530955049882401, 93229259140002584},
-	Uint128{6713163693812353001, 116536573925003230},
-	Uint128{18030785363914884337, 72835358703127018},
-	Uint128{13315109668038829614, 91044198378908773},
-	Uint128{2808829029766373305, 113805247973635967},
-	Uint128{17346094342490130344, 142256559967044958},
-	Uint128{6229622945628943561, 88910349979403099},
-	Uint128{3175342663608791547, 111137937474253874},
-	Uint128{13192550366365765242, 138922421842817342},
-	Uint128{3633657960551215372, 86826513651760839},
-	Uint128{18377130505971182927, 108533142064701048},
-	Uint128{4524669058754427043, 135666427580876311},
-	Uint128{9745447189362598758, 84791517238047694},
-	Uint128{2958436949848472639, 105989396547559618},
-	Uint128{12921418224165366607, 132486745684449522},
-	Uint128{12687572408530742033, 82804216052780951},
-	Uint128{11247779492236039638, 103505270065976189},
-	Uint128{224666310012885835, 129381587582470237},
-	Uint128{2446259452971747599, 80863492239043898},
-	Uint128{12281196353069460307, 101079365298804872},
-	Uint128{15351495441336825384, 126349206623506090},
-	Uint128{14206370669262903769, 78968254139691306},
-	Uint128{8534591299723853903, 98710317674614133},
-	Uint128{15279925143082205283, 123387897093267666},
-	Uint128{14161639232853766206, 77117435683292291},
-	Uint128{13090363022639819853, 96396794604115364},
-	Uint128{16362953778299774816, 120495993255144205},
-	Uint128{12532689120651053212, 75309995784465128},
-	Uint128{15665861400813816515, 94137494730581410},
-	Uint128{10358954714162494836, 117671868413226763},
-	Uint128{4168503687137865320, 73544917758266727},
-	Uint128{598943590494943747, 91931147197833409},
-	Uint128{5360365506546067587, 114913933997291761},
-	Uint128{11312142901609972388, 143642417496614701},
-	Uint128{9375932322719926695, 89776510935384188},
-	Uint128{11719915403399908368, 112220638669230235},
-	Uint128{10038208235822497557, 140275798336537794},
-	Uint128{10885566165816448877, 87672373960336121},
-	Uint128{18218643725697949000, 109590467450420151},
-	Uint128{18161618638695048346, 136988084313025189},
-	Uint128{13656854658398099168, 85617552695640743},
-	Uint128{12459382304570236056, 107021940869550929},
-	Uint128{1739169825430631358, 133777426086938662},
-	Uint128{14922039196176308311, 83610891304336663},
-	Uint128{14040862976792997485, 104513614130420829},
-	Uint128{3716020665709083144, 130642017663026037},
-	Uint128{4628355925281870917, 81651261039391273},
-	Uint128{10397130925029726550, 102064076299239091},
-	Uint128{8384727637859770284, 127580095374048864},
-	Uint128{5240454773662356427, 79737559608780540},
-	Uint128{6550568467077945534, 99671949510975675},
-	Uint128{3576524565420044014, 124589936888719594},
-	Uint128{6847013871814915412, 77868710555449746},
-	Uint128{17782139376623420074, 97335888194312182},
-	Uint128{13004302183924499284, 121669860242890228},
-	Uint128{17351060901807587860, 76043662651806392},
-	Uint128{3242082053549933210, 95054578314757991},
-	Uint128{17887660622219580224, 118818222893447488},
-	Uint128{11179787888887237640, 74261389308404680},
-	Uint128{13974734861109047050, 92826736635505850},
-	Uint128{8245046539531533005, 116033420794382313},
-	Uint128{16682369133275677888, 72520887996488945},
-	Uint128{7017903361312433648, 90651109995611182},
-	Uint128{17995751238495317868, 113313887494513977},
-	Uint128{8659630992836983623, 141642359368142472},
-	Uint128{5412269370523114764, 88526474605089045},
-	Uint128{11377022731581281359, 110658093256361306},
-	Uint128{4997906377621825891, 138322616570451633},
-	Uint128{14652906532082110942, 86451635356532270},
-	Uint128{9092761128247862869, 108064544195665338},
-	Uint128{2142579373455052779, 135080680244581673},
-	Uint128{12868327154477877747, 84425425152863545},
-	Uint128{2250350887815183471, 105531781441079432},
-	Uint128{2812938609768979339, 131914726801349290},
-	Uint128{6369772649532999991, 82446704250843306},
-	Uint128{17185587848771025797, 103058380313554132},
-	Uint128{3035240737254230630, 128822975391942666},
-	Uint128{6508711479211282048, 80514359619964166},
-	Uint128{17359261385868878368, 100642949524955207},
-	Uint128{17087390713908710056, 125803686906194009},
-	Uint128{3762090168551861929, 78627304316371256},
-	Uint128{4702612710689827411, 98284130395464070},
-	Uint128{15101637925217060072, 122855162994330087},
-	Uint128{16356052730901744401, 76784476871456304},
-	Uint128{1998321839917628885, 95980596089320381},
-	Uint128{7109588318324424010, 119975745111650476},
-	Uint128{13666864735807540814, 74984840694781547},
-	Uint128{12471894901332038114, 93731050868476934},
-	Uint128{6366496589810271835, 117163813585596168},
-	Uint128{3979060368631419896, 73227383490997605},
-	Uint128{9585511479216662775, 91534229363747006},
-	Uint128{2758517312166052660, 114417786704683758},
-	Uint128{12671518677062341634, 143022233380854697},
-	Uint128{1002170145522881665, 89388895863034186},
-	Uint128{10476084718758377889, 111736119828792732},
-	Uint128{13095105898447972362, 139670149785990915},
-	Uint128{5878598177316288774, 87293843616244322},
-	Uint128{16571619758500136775, 109117304520305402},
-	Uint128{11491152661270395161, 136396630650381753},
-	Uint128{264441385652915120, 85247894156488596},
-	Uint128{330551732066143900, 106559867695610745},
-	Uint128{5024875683510067779, 133199834619513431},
-	Uint128{10058076329834874218, 83249896637195894},
-	Uint128{3349223375438816964, 104062370796494868},
-	Uint128{4186529219298521205, 130077963495618585},
-	Uint128{14145795808130045513, 81298727184761615},
-	Uint128{13070558741735168987, 101623408980952019},
-	Uint128{11726512408741573330, 127029261226190024},
-	Uint128{7329070255463483331, 79393288266368765},
-	Uint128{13773023837756742068, 99241610332960956},
-	Uint128{17216279797195927585, 124052012916201195},
-	Uint128{8454331864033760789, 77532508072625747},
-	Uint128{5956228811614813082, 96915635090782184},
-	Uint128{7445286014518516353, 121144543863477730},
-	Uint128{9264989777501460624, 75715339914673581},
-	Uint128{16192923240304213684, 94644174893341976},
-	Uint128{1794409976670715490, 118305218616677471},
-	Uint128{8039035263060279037, 73940761635423419},
-	Uint128{5437108060397960892, 92425952044279274},
-	Uint128{16019757112352226923, 115532440055349092},
-	Uint128{788976158365366019, 72207775034593183},
-	Uint128{14821278253238871236, 90259718793241478},
-	Uint128{9303225779693813237, 112824648491551848},
-	Uint128{11629032224617266546, 141030810614439810},
-	Uint128{11879831158813179495, 88144256634024881},
-	Uint128{1014730893234310657, 110180320792531102},
-	Uint128{10491785653397664129, 137725400990663877},
-	Uint128{8863209042587234033, 86078375619164923},
-	Uint128{6467325284806654637, 107597969523956154},
-	Uint128{17307528642863094104, 134497461904945192},
-	Uint128{10817205401789433815, 84060913690590745},
-	Uint128{18133192770664180173, 105076142113238431},
-	Uint128{18054804944902837312, 131345177641548039},
-	Uint128{18201782118205355176, 82090736025967524},
-	Uint128{4305483574047142354, 102613420032459406},
-	Uint128{14605226504413703751, 128266775040574257},
-	Uint128{2210737537617482988, 80166734400358911},
-	Uint128{16598479977304017447, 100208418000448638},
-	Uint128{11524727934775246001, 125260522500560798},
-	Uint128{2591268940807140847, 78287826562850499},
-	Uint128{17074144231291089770, 97859783203563123},
-	Uint128{16730994270686474309, 122324729004453904},
-	Uint128{10456871419179046443, 76452955627783690},
-	Uint128{3847717237119032246, 95566194534729613},
-	Uint128{9421332564826178211, 119457743168412016},
-	Uint128{5888332853016361382, 74661089480257510},
-	Uint128{16583788103125227536, 93326361850321887},
-	Uint128{16118049110479146516, 116657952312902359},
-	Uint128{16991309721690548428, 72911220195563974},
-	Uint128{12015765115258409727, 91139025244454968},
-	Uint128{15019706394073012159, 113923781555568710},
-	Uint128{9551260955736489391, 142404726944460888},
-	Uint128{5969538097335305869, 89002954340288055},
-	Uint128{2850236603241744433, 111253692925360069}
+	Uint128{0x0000000000000000, 0x0100000000000000},
+	Uint128{0x0000000000000000, 0x0140000000000000},
+	Uint128{0x0000000000000000, 0x0190000000000000},
+	Uint128{0x0000000000000000, 0x01f4000000000000},
+	Uint128{0x0000000000000000, 0x0138800000000000},
+	Uint128{0x0000000000000000, 0x0186a00000000000},
+	Uint128{0x0000000000000000, 0x01e8480000000000},
+	Uint128{0x0000000000000000, 0x01312d0000000000},
+	Uint128{0x0000000000000000, 0x017d784000000000},
+	Uint128{0x0000000000000000, 0x01dcd65000000000},
+	Uint128{0x0000000000000000, 0x012a05f200000000},
+	Uint128{0x0000000000000000, 0x0174876e80000000},
+	Uint128{0x0000000000000000, 0x01d1a94a20000000},
+	Uint128{0x0000000000000000, 0x012309ce54000000},
+	Uint128{0x0000000000000000, 0x016bcc41e9000000},
+	Uint128{0x0000000000000000, 0x01c6bf5263400000},
+	Uint128{0x0000000000000000, 0x011c37937e080000},
+	Uint128{0x0000000000000000, 0x016345785d8a0000},
+	Uint128{0x0000000000000000, 0x01bc16d674ec8000},
+	Uint128{0x0000000000000000, 0x01158e460913d000},
+	Uint128{0x0000000000000000, 0x015af1d78b58c400},
+	Uint128{0x0000000000000000, 0x01b1ae4d6e2ef500},
+	Uint128{0x0000000000000000, 0x010f0cf064dd5920},
+	Uint128{0x0000000000000000, 0x0152d02c7e14af68},
+	Uint128{0x0000000000000000, 0x01a784379d99db42},
+	Uint128{0x4000000000000000, 0x0108b2a2c2802909},
+	Uint128{0x9000000000000000, 0x014adf4b7320334b},
+	Uint128{0x7400000000000000, 0x019d971e4fe8401e},
+	Uint128{0x0880000000000000, 0x01027e72f1f12813},
+	Uint128{0xcaa0000000000000, 0x01431e0fae6d7217},
+	Uint128{0xbd48000000000000, 0x0193e5939a08ce9d},
+	Uint128{0x2c9a000000000000, 0x01f8def8808b0245},
+	Uint128{0x3be0400000000000, 0x013b8b5b5056e16b},
+	Uint128{0x0ad8500000000000, 0x018a6e32246c99c6},
+	Uint128{0x8d8e640000000000, 0x01ed09bead87c037},
+	Uint128{0xb878fe8000000000, 0x013426172c74d822},
+	Uint128{0x66973e2000000000, 0x01812f9cf7920e2b},
+	Uint128{0x403d0da800000000, 0x01e17b84357691b6},
+	Uint128{0xe826288900000000, 0x012ced32a16a1b11},
+	Uint128{0x622fb2ab40000000, 0x0178287f49c4a1d6},
+	Uint128{0xfabb9f5610000000, 0x01d6329f1c35ca4b},
+	Uint128{0x7cb54395ca000000, 0x0125dfa371a19e6f},
+	Uint128{0x5be2947b3c800000, 0x016f578c4e0a060b},
+	Uint128{0x32db399a0ba00000, 0x01cb2d6f618c878e},
+	Uint128{0xdfc9040047440000, 0x011efc659cf7d4b8},
+	Uint128{0x17bb450059150000, 0x0166bb7f0435c9e7},
+	Uint128{0xddaa16406f5a4000, 0x01c06a5ec5433c60},
+	Uint128{0x8a8a4de845986800, 0x0118427b3b4a05bc},
+	Uint128{0xad2ce16256fe8200, 0x015e531a0a1c872b},
+	Uint128{0x987819baecbe2280, 0x01b5e7e08ca3a8f6},
+	Uint128{0x1f4b1014d3f6d590, 0x0111b0ec57e6499a},
+	Uint128{0xa71dd41a08f48af4, 0x01561d276ddfdc00},
+	Uint128{0xd0e549208b31adb1, 0x01aba4714957d300},
+	Uint128{0x828f4db456ff0c8e, 0x010b46c6cdd6e3e0},
+	Uint128{0xa33321216cbecfb2, 0x014e1878814c9cd8},
+	Uint128{0xcbffe969c7ee839e, 0x01a19e96a19fc40e},
+	Uint128{0x3f7ff1e21cf51243, 0x0105031e2503da89},
+	Uint128{0x8f5fee5aa43256d4, 0x014643e5ae44d12b},
+	Uint128{0x7337e9f14d3eec89, 0x0197d4df19d60576},
+	Uint128{0x1005e46da08ea7ab, 0x01fdca16e04b86d4},
+	Uint128{0x8a03aec4845928cb, 0x013e9e4e4c2f3444},
+	Uint128{0xac849a75a56f72fd, 0x018e45e1df3b0155},
+	Uint128{0x17a5c1130ecb4fbd, 0x01f1d75a5709c1ab},
+	Uint128{0xeec798abe93f11d6, 0x013726987666190a},
+	Uint128{0xaa797ed6e38ed64b, 0x0184f03e93ff9f4d},
+	Uint128{0x1517de8c9c728bde, 0x01e62c4e38ff8721},
+	Uint128{0xad2eeb17e1c7976b, 0x012fdbb0e39fb474},
+	Uint128{0xd87aa5ddda397d46, 0x017bd29d1c87a191},
+	Uint128{0x4e994f5550c7dc97, 0x01dac74463a989f6},
+	Uint128{0xf11fd195527ce9de, 0x0128bc8abe49f639},
+	Uint128{0x6d67c5faa71c2456, 0x0172ebad6ddc73c8},
+	Uint128{0x88c1b77950e32d6c, 0x01cfa698c95390ba},
+	Uint128{0x957912abd28dfc63, 0x0121c81f7dd43a74},
+	Uint128{0xbad75756c7317b7c, 0x016a3a275d494911},
+	Uint128{0x298d2d2c78fdda5b, 0x01c4c8b1349b9b56},
+	Uint128{0xd9f83c3bcb9ea879, 0x011afd6ec0e14115},
+	Uint128{0x50764b4abe865297, 0x0161bcca7119915b},
+	Uint128{0x2493de1d6e27e73d, 0x01ba2bfd0d5ff5b2},
+	Uint128{0x56dc6ad264d8f086, 0x01145b7e285bf98f},
+	Uint128{0x2c938586fe0f2ca8, 0x0159725db272f7f3},
+	Uint128{0xf7b866e8bd92f7d2, 0x01afcef51f0fb5ef},
+	Uint128{0xfad34051767bdae3, 0x010de1593369d1b5},
+	Uint128{0x79881065d41ad19c, 0x015159af80444623},
+	Uint128{0x57ea147f49218603, 0x01a5b01b605557ac},
+	Uint128{0xb6f24ccf8db4f3c1, 0x01078e111c3556cb},
+	Uint128{0xa4aee003712230b2, 0x014971956342ac7e},
+	Uint128{0x4dda98044d6abcdf, 0x019bcdfabc13579e},
+	Uint128{0xf0a89f02b062b60b, 0x010160bcb58c16c2},
+	Uint128{0xacd2c6c35c7b638e, 0x0141b8ebe2ef1c73},
+	Uint128{0x98077874339a3c71, 0x01922726dbaae390},
+	Uint128{0xbe0956914080cb8e, 0x01f6b0f092959c74},
+	Uint128{0xf6c5d61ac8507f38, 0x013a2e965b9d81c8},
+	Uint128{0x34774ba17a649f07, 0x0188ba3bf284e23b},
+	Uint128{0x01951e89d8fdc6c8, 0x01eae8caef261aca},
+	Uint128{0x40fd3316279e9c3d, 0x0132d17ed577d0be},
+	Uint128{0xd13c7fdbb186434c, 0x017f85de8ad5c4ed},
+	Uint128{0x458b9fd29de7d420, 0x01df67562d8b3629},
+	Uint128{0xcb7743e3a2b0e494, 0x012ba095dc7701d9},
+	Uint128{0x3e5514dc8b5d1db9, 0x017688bb5394c250},
+	Uint128{0x4dea5a13ae346527, 0x01d42aea2879f2e4},
+	Uint128{0xb0b2784c4ce0bf38, 0x01249ad2594c37ce},
+	Uint128{0x5cdf165f6018ef06, 0x016dc186ef9f45c2},
+	Uint128{0xf416dbf7381f2ac8, 0x01c931e8ab871732},
+	Uint128{0xd88e497a83137abd, 0x011dbf316b346e7f},
+	Uint128{0xceb1dbd923d8596c, 0x01652efdc6018a1f},
+	Uint128{0xc25e52cf6cce6fc7, 0x01be7abd3781eca7},
+	Uint128{0xd97af3c1a40105dc, 0x01170cb642b133e8},
+	Uint128{0x0fd9b0b20d014754, 0x015ccfe3d35d80e3},
+	Uint128{0xd3d01cde90419929, 0x01b403dcc834e11b},
+	Uint128{0x6462120b1a28ffb9, 0x01108269fd210cb1},
+	Uint128{0xbd7a968de0b33fa8, 0x0154a3047c694fdd},
+	Uint128{0x2cd93c3158e00f92, 0x01a9cbc59b83a3d5},
+	Uint128{0x3c07c59ed78c09bb, 0x010a1f5b81324665},
+	Uint128{0x8b09b7068d6f0c2a, 0x014ca732617ed7fe},
+	Uint128{0x2dcc24c830cacf34, 0x019fd0fef9de8dfe},
+	Uint128{0xdc9f96fd1e7ec180, 0x0103e29f5c2b18be},
+	Uint128{0x93c77cbc661e71e1, 0x0144db473335deee},
+	Uint128{0x38b95beb7fa60e59, 0x01961219000356aa},
+	Uint128{0xc6e7b2e65f8f91ef, 0x01fb969f40042c54},
+	Uint128{0xfc50cfcffbb9bb35, 0x013d3e2388029bb4},
+	Uint128{0x3b6503c3faa82a03, 0x018c8dac6a0342a2},
+	Uint128{0xca3e44b4f9523484, 0x01efb1178484134a},
+	Uint128{0xbe66eaf11bd360d2, 0x0135ceaeb2d28c0e},
+	Uint128{0x6e00a5ad62c83907, 0x0183425a5f872f12},
+	Uint128{0x0980cf18bb7a4749, 0x01e412f0f768fad7},
+	Uint128{0x65f0816f752c6c8d, 0x012e8bd69aa19cc6},
+	Uint128{0xff6ca1cb527787b1, 0x017a2ecc414a03f7},
+	Uint128{0xff47ca3e2715699d, 0x01d8ba7f519c84f5},
+	Uint128{0xbf8cde66d86d6202, 0x0127748f9301d319},
+	Uint128{0x2f7016008e88ba83, 0x017151b377c247e0},
+	Uint128{0x3b4c1b80b22ae923, 0x01cda62055b2d9d8},
+	Uint128{0x250f91306f5ad1b6, 0x012087d4358fc827},
+	Uint128{0xee53757c8b318623, 0x0168a9c942f3ba30},
+	Uint128{0x29e852dbadfde7ac, 0x01c2d43b93b0a8bd},
+	Uint128{0x3a3133c94cbeb0cc, 0x0119c4a53c4e6976},
+	Uint128{0xc8bd80bb9fee5cff, 0x016035ce8b6203d3},
+	Uint128{0xbaece0ea87e9f43e, 0x01b843422e3a84c8},
+	Uint128{0x74d40c9294f238a7, 0x01132a095ce492fd},
+	Uint128{0xd2090fb73a2ec6d1, 0x0157f48bb41db7bc},
+	Uint128{0x068b53a508ba7885, 0x01adf1aea12525ac},
+	Uint128{0x8417144725748b53, 0x010cb70d24b7378b},
+	Uint128{0x651cd958eed1ae28, 0x014fe4d06de5056e},
+	Uint128{0xfe640faf2a8619b2, 0x01a3de04895e46c9},
+	Uint128{0x3efe89cd7a93d00f, 0x01066ac2d5daec3e},
+	Uint128{0xcebe2c40d938c413, 0x014805738b51a74d},
+	Uint128{0x426db7510f86f518, 0x019a06d06e261121},
+	Uint128{0xc9849292a9b4592f, 0x0100444244d7cab4},
+	Uint128{0xfbe5b73754216f7a, 0x01405552d60dbd61},
+	Uint128{0x7adf25052929cb59, 0x01906aa78b912cba},
+	Uint128{0x1996ee4673743e2f, 0x01f485516e7577e9},
+	Uint128{0xaffe54ec0828a6dd, 0x0138d352e5096af1},
+	Uint128{0x1bfdea270a32d095, 0x018708279e4bc5ae},
+	Uint128{0xa2fd64b0ccbf84ba, 0x01e8ca3185deb719},
+	Uint128{0x05de5eee7ff7b2f4, 0x01317e5ef3ab3270},
+	Uint128{0x0755f6aa1ff59fb1, 0x017dddf6b095ff0c},
+	Uint128{0x092b7454a7f3079e, 0x01dd55745cbb7ecf},
+	Uint128{0x65bb28b4e8f7e4c3, 0x012a5568b9f52f41},
+	Uint128{0xbf29f2e22335ddf3, 0x0174eac2e8727b11},
+	Uint128{0x2ef46f9aac035570, 0x01d22573a28f19d6},
+	Uint128{0xdd58c5c0ab821566, 0x0123576845997025},
+	Uint128{0x54aef730d6629ac0, 0x016c2d4256ffcc2f},
+	Uint128{0x29dab4fd0bfb4170, 0x01c73892ecbfbf3b},
+	Uint128{0xfa28b11e277d08e6, 0x011c835bd3f7d784},
+	Uint128{0x38b2dd65b15c4b1f, 0x0163a432c8f5cd66},
+	Uint128{0xc6df94bf1db35de7, 0x01bc8d3f7b3340bf},
+	Uint128{0xdc4bbcf772901ab0, 0x0115d847ad000877},
+	Uint128{0xd35eac354f34215c, 0x015b4e5998400a95},
+	Uint128{0x48365742a30129b4, 0x01b221effe500d3b},
+	Uint128{0x0d21f689a5e0ba10, 0x010f5535fef20845},
+	Uint128{0x506a742c0f58e894, 0x01532a837eae8a56},
+	Uint128{0xe4851137132f22b9, 0x01a7f5245e5a2ceb},
+	Uint128{0x6ed32ac26bfd75b4, 0x0108f936baf85c13},
+	Uint128{0x4a87f57306fcd321, 0x014b378469b67318},
+	Uint128{0x5d29f2cfc8bc07e9, 0x019e056584240fde},
+	Uint128{0xfa3a37c1dd7584f1, 0x0102c35f729689ea},
+	Uint128{0xb8c8c5b254d2e62e, 0x014374374f3c2c65},
+	Uint128{0x26faf71eea079fb9, 0x01945145230b377f},
+	Uint128{0xf0b9b4e6a48987a8, 0x01f965966bce055e},
+	Uint128{0x5674111026d5f4c9, 0x013bdf7e0360c35b},
+	Uint128{0x2c111554308b71fb, 0x018ad75d8438f432},
+	Uint128{0xb7155aa93cae4e7a, 0x01ed8d34e547313e},
+	Uint128{0x326d58a9c5ecf10c, 0x013478410f4c7ec7},
+	Uint128{0xff08aed437682d4f, 0x01819651531f9e78},
+	Uint128{0x3ecada89454238a3, 0x01e1fbe5a7e78617},
+	Uint128{0x873ec895cb496366, 0x012d3d6f88f0b3ce},
+	Uint128{0x290e7abb3e1bbc3f, 0x01788ccb6b2ce0c2},
+	Uint128{0xb352196a0da2ab4f, 0x01d6affe45f818f2},
+	Uint128{0xb0134fe24885ab11, 0x01262dfeebbb0f97},
+	Uint128{0x9c1823dadaa715d6, 0x016fb97ea6a9d37d},
+	Uint128{0x031e2cd19150db4b, 0x01cba7de5054485d},
+	Uint128{0x21f2dc02fad2890f, 0x011f48eaf234ad3a},
+	Uint128{0xaa6f9303b9872b53, 0x01671b25aec1d888},
+	Uint128{0xd50b77c4a7e8f628, 0x01c0e1ef1a724eaa},
+	Uint128{0xc5272adae8f199d9, 0x01188d357087712a},
+	Uint128{0x7670f591a32e004f, 0x015eb082cca94d75},
+	Uint128{0xd40d32f60bf98063, 0x01b65ca37fd3a0d2},
+	Uint128{0xc4883fd9c77bf03e, 0x0111f9e62fe44483},
+	Uint128{0xb5aa4fd0395aec4d, 0x0156785fbbdd55a4},
+	Uint128{0xe314e3c447b1a760, 0x01ac1677aad4ab0d},
+	Uint128{0xaded0e5aaccf089c, 0x010b8e0acac4eae8},
+	Uint128{0xd96851f15802cac3, 0x014e718d7d7625a2},
+	Uint128{0x8fc2666dae037d74, 0x01a20df0dcd3af0b},
+	Uint128{0x39d980048cc22e68, 0x010548b68a044d67},
+	Uint128{0x084fe005aff2ba03, 0x01469ae42c8560c1},
+	Uint128{0x4a63d8071bef6883, 0x0198419d37a6b8f1},
+	Uint128{0x9cfcce08e2eb42a4, 0x01fe52048590672d},
+	Uint128{0x821e00c58dd309a7, 0x013ef342d37a407c},
+	Uint128{0xa2a580f6f147cc10, 0x018eb0138858d09b},
+	Uint128{0x8b4ee134ad99bf15, 0x01f25c186a6f04c2},
+	Uint128{0x97114cc0ec80176d, 0x0137798f428562f9},
+	Uint128{0xfcd59ff127a01d48, 0x018557f31326bbb7},
+	Uint128{0xfc0b07ed7188249a, 0x01e6adefd7f06aa5},
+	Uint128{0xbd86e4f466f516e0, 0x01302cb5e6f642a7},
+	Uint128{0xace89e3180b25c98, 0x017c37e360b3d351},
+	Uint128{0x1822c5bde0def3be, 0x01db45dc38e0c826},
+	Uint128{0xcf15bb96ac8b5857, 0x01290ba9a38c7d17},
+	Uint128{0xc2db2a7c57ae2e6d, 0x01734e940c6f9c5d},
+	Uint128{0x3391f51b6d99ba08, 0x01d022390f8b8375},
+	Uint128{0x403b393124801445, 0x01221563a9b73229},
+	Uint128{0x904a077d6da01956, 0x016a9abc9424feb3},
+	Uint128{0x745c895cc9081fac, 0x01c5416bb92e3e60},
+	Uint128{0x48b9d5d9fda513cb, 0x011b48e353bce6fc},
+	Uint128{0x5ae84b507d0e58be, 0x01621b1c28ac20bb},
+	Uint128{0x31a25e249c51eeee, 0x01baa1e332d728ea},
+	Uint128{0x5f057ad6e1b33554, 0x0114a52dffc67992},
+	Uint128{0xf6c6d98c9a2002aa, 0x0159ce797fb817f6},
+	Uint128{0xb4788fefc0a80354, 0x01b04217dfa61df4},
+	Uint128{0xf0cb59f5d8690214, 0x010e294eebc7d2b8},
+	Uint128{0x2cfe30734e83429a, 0x0151b3a2a6b9c767},
+	Uint128{0xf83dbc9022241340, 0x01a6208b50683940},
+	Uint128{0x9b2695da15568c08, 0x0107d457124123c8},
+	Uint128{0xc1f03b509aac2f0a, 0x0149c96cd6d16cba},
+	Uint128{0x726c4a24c1573acd, 0x019c3bc80c85c7e9},
+	Uint128{0xe783ae56f8d684c0, 0x0101a55d07d39cf1},
+	Uint128{0x616499ecb70c25f0, 0x01420eb449c8842e},
+	Uint128{0xf9bdc067e4cf2f6c, 0x019292615c3aa539},
+	Uint128{0x782d3081de02fb47, 0x01f736f9b3494e88},
+	Uint128{0x4b1c3e512ac1dd0c, 0x013a825c100dd115},
+	Uint128{0x9de34de57572544f, 0x018922f31411455a},
+	Uint128{0x455c215ed2cee963, 0x01eb6bafd91596b1},
+	Uint128{0xcb5994db43c151de, 0x0133234de7ad7e2e},
+	Uint128{0x7e2ffa1214b1a655, 0x017fec216198ddba},
+	Uint128{0x1dbbf89699de0feb, 0x01dfe729b9ff1529},
+	Uint128{0xb2957b5e202ac9f3, 0x012bf07a143f6d39},
+	Uint128{0x1f3ada35a8357c6f, 0x0176ec98994f4888},
+	Uint128{0x270990c31242db8b, 0x01d4a7bebfa31aaa},
+	Uint128{0x5865fa79eb69c937, 0x0124e8d737c5f0aa},
+	Uint128{0xee7f791866443b85, 0x016e230d05b76cd4},
+	Uint128{0x2a1f575e7fd54a66, 0x01c9abd04725480a},
+	Uint128{0x5a53969b0fe54e80, 0x011e0b622c774d06},
+	Uint128{0xf0e87c41d3dea220, 0x01658e3ab7952047},
+	Uint128{0xed229b5248d64aa8, 0x01bef1c9657a6859},
+	Uint128{0x3435a1136d85eea9, 0x0117571ddf6c8138},
+	Uint128{0x4143095848e76a53, 0x015d2ce55747a186},
+	Uint128{0xd193cbae5b2144e8, 0x01b4781ead1989e7},
+	Uint128{0xe2fc5f4cf8f4cb11, 0x0110cb132c2ff630},
+	Uint128{0x1bbb77203731fdd5, 0x0154fdd7f73bf3bd},
+	Uint128{0x62aa54e844fe7d4a, 0x01aa3d4df50af0ac},
+	Uint128{0xbdaa75112b1f0e4e, 0x010a6650b926d66b},
+	Uint128{0xad15125575e6d1e2, 0x014cffe4e7708c06},
+	Uint128{0x585a56ead360865b, 0x01a03fde214caf08},
+	Uint128{0x37387652c41c53f8, 0x010427ead4cfed65},
+	Uint128{0x850693e7752368f7, 0x014531e58a03e8be},
+	Uint128{0x264838e1526c4334, 0x01967e5eec84e2ee},
+	Uint128{0xafda4719a7075402, 0x01fc1df6a7a61ba9},
+	Uint128{0x0de86c7008649481, 0x013d92ba28c7d14a},
+	Uint128{0x9162878c0a7db9a1, 0x018cf768b2f9c59c},
+	Uint128{0xb5bb296f0d1d280a, 0x01f03542dfb83703},
+	Uint128{0x5194f9e568323906, 0x01362149cbd32262},
+	Uint128{0xe5fa385ec23ec747, 0x0183a99c3ec7eafa},
+	Uint128{0x9f78c67672ce7919, 0x01e494034e79e5b9},
+	Uint128{0x03ab7c0a07c10bb0, 0x012edc82110c2f94},
+	Uint128{0x04965b0c89b14e9c, 0x017a93a2954f3b79},
+	Uint128{0x45bbf1cfac1da243, 0x01d9388b3aa30a57},
+	Uint128{0x8b957721cb92856a, 0x0127c35704a5e676},
+	Uint128{0x2e7ad4ea3e7726c4, 0x0171b42cc5cf6014},
+	Uint128{0x3a198a24ce14f075, 0x01ce2137f7433819},
+	Uint128{0xc44ff65700cd1649, 0x0120d4c2fa8a030f},
+	Uint128{0xb563f3ecc1005bdb, 0x016909f3b92c83d3},
+	Uint128{0xa2bcf0e7f14072d2, 0x01c34c70a777a4c8},
+	Uint128{0x65b61690f6c847c3, 0x011a0fc668aac6fd},
+	Uint128{0xbf239c35347a59b4, 0x016093b802d578bc},
+	Uint128{0xeeec83428198f021, 0x01b8b8a6038ad6eb},
+	Uint128{0x7553d20990ff9615, 0x01137367c236c653},
+	Uint128{0x52a8c68bf53f7b9a, 0x01585041b2c477e8},
+	Uint128{0x6752f82ef28f5a81, 0x01ae64521f7595e2},
+	Uint128{0x8093db1d57999890, 0x010cfeb353a97dad},
+	Uint128{0xe0b8d1e4ad7ffeb4, 0x01503e602893dd18},
+	Uint128{0x18e7065dd8dffe62, 0x01a44df832b8d45f},
+	Uint128{0x6f9063faa78bfefd, 0x0106b0bb1fb384bb},
+	Uint128{0x4b747cf9516efebc, 0x01485ce9e7a065ea},
+	Uint128{0xde519c37a5cabe6b, 0x019a742461887f64},
+	Uint128{0x0af301a2c79eb703, 0x01008896bcf54f9f},
+	Uint128{0xcdafc20b798664c4, 0x0140aabc6c32a386},
+	Uint128{0x811bb28e57e7fdf5, 0x0190d56b873f4c68},
+	Uint128{0xa1629f31ede1fd72, 0x01f50ac6690f1f82},
+	Uint128{0xa4dda37f34ad3e67, 0x013926bc01a973b1},
+	Uint128{0x0e150c5f01d88e01, 0x0187706b0213d09e},
+	Uint128{0x919a4f76c24eb181, 0x01e94c85c298c4c5},
+	Uint128{0x7b0071aa39712ef1, 0x0131cfd3999f7afb},
+	Uint128{0x59c08e14c7cd7aad, 0x017e43c8800759ba},
+	Uint128{0xf030b199f9c0d958, 0x01ddd4baa0093028},
+	Uint128{0x961e6f003c1887d7, 0x012aa4f4a405be19},
+	Uint128{0xfba60ac04b1ea9cd, 0x01754e31cd072d9f},
+	Uint128{0xfa8f8d705de65440, 0x01d2a1be4048f907},
+	Uint128{0xfc99b8663aaff4a8, 0x0123a516e82d9ba4},
+	Uint128{0x3bc0267fc95bf1d2, 0x016c8e5ca239028e},
+	Uint128{0xcab0301fbbb2ee47, 0x01c7b1f3cac74331},
+	Uint128{0x1eae1e13d54fd4ec, 0x011ccf385ebc89ff},
+	Uint128{0xe659a598caa3ca27, 0x01640306766bac7e},
+	Uint128{0x9ff00efefd4cbcb1, 0x01bd03c81406979e},
+	Uint128{0x23f6095f5e4ff5ef, 0x0116225d0c841ec3},
+	Uint128{0xecf38bb735e3f36a, 0x015baaf44fa52673},
+	Uint128{0xe8306ea5035cf045, 0x01b295b1638e7010},
+	Uint128{0x911e4527221a162b, 0x010f9d8ede39060a},
+	Uint128{0x3565d670eaa09bb6, 0x015384f295c7478d},
+	Uint128{0x82bf4c0d2548c2a3, 0x01a8662f3b391970},
+	Uint128{0x51b78f88374d79a6, 0x01093fdd8503afe6},
+	Uint128{0xe625736a4520d810, 0x014b8fd4e6449bdf},
+	Uint128{0xdfaed044d6690e14, 0x019e73ca1fd5c2d7},
+	Uint128{0xebcd422b0601a8cc, 0x0103085e53e599c6},
+	Uint128{0xa6c092b5c78212ff, 0x0143ca75e8df0038},
+	Uint128{0xd070b763396297bf, 0x0194bd136316c046},
+	Uint128{0x848ce53c07bb3daf, 0x01f9ec583bdc7058},
+	Uint128{0x52d80f4584d5068d, 0x013c33b72569c637},
+	Uint128{0x278e1316e60a4831, 0x018b40a4eec437c5}
 ]
 
 pow5_inv_split_64 = [
-	Uint128{u64(1), 288230376151711744},
-	Uint128{3689348814741910324, 230584300921369395},
-	Uint128{2951479051793528259, 184467440737095516},
-	Uint128{17118578500402463900, 147573952589676412},
-	Uint128{12632330341676300947, 236118324143482260},
-	Uint128{10105864273341040758, 188894659314785808},
-	Uint128{15463389048156653253, 151115727451828646},
-	Uint128{17362724847566824558, 241785163922925834},
-	Uint128{17579528692795369969, 193428131138340667},
-	Uint128{6684925324752475329, 154742504910672534},
-	Uint128{18074578149087781173, 247588007857076054},
-	Uint128{18149011334012135262, 198070406285660843},
-	Uint128{3451162622983977240, 158456325028528675},
-	Uint128{5521860196774363583, 253530120045645880},
-	Uint128{4417488157419490867, 202824096036516704},
-	Uint128{7223339340677503017, 162259276829213363},
-	Uint128{7867994130342094503, 259614842926741381},
-	Uint128{2605046489531765280, 207691874341393105},
-	Uint128{2084037191625412224, 166153499473114484},
-	Uint128{10713157136084480204, 265845599156983174},
-	Uint128{12259874523609494487, 212676479325586539},
-	Uint128{13497248433629505913, 170141183460469231},
-	Uint128{14216899864323388813, 272225893536750770},
-	Uint128{11373519891458711051, 217780714829400616},
-	Uint128{5409467098425058518, 174224571863520493},
-	Uint128{4965798542738183305, 278759314981632789},
-	Uint128{7661987648932456967, 223007451985306231},
-	Uint128{2440241304404055250, 178405961588244985},
-	Uint128{3904386087046488400, 285449538541191976},
-	Uint128{17880904128604832013, 228359630832953580},
-	Uint128{14304723302883865611, 182687704666362864},
-	Uint128{15133127457049002812, 146150163733090291},
-	Uint128{16834306301794583852, 233840261972944466},
-	Uint128{9778096226693756759, 187072209578355573},
-	Uint128{15201174610838826053, 149657767662684458},
-	Uint128{2185786488890659746, 239452428260295134},
-	Uint128{5437978005854438120, 191561942608236107},
-	Uint128{15418428848909281466, 153249554086588885},
-	Uint128{6222742084545298729, 245199286538542217},
-	Uint128{16046240111861969953, 196159429230833773},
-	Uint128{1768945645263844993, 156927543384667019},
-	Uint128{10209010661905972635, 251084069415467230},
-	Uint128{8167208529524778108, 200867255532373784},
-	Uint128{10223115638361732810, 160693804425899027},
-	Uint128{1599589762411131202, 257110087081438444},
-	Uint128{4969020624670815285, 205688069665150755},
-	Uint128{3975216499736652228, 164550455732120604},
-	Uint128{13739044029062464211, 263280729171392966},
-	Uint128{7301886408508061046, 210624583337114373},
-	Uint128{13220206756290269483, 168499666669691498},
-	Uint128{17462981995322520850, 269599466671506397},
-	Uint128{6591687966774196033, 215679573337205118},
-	Uint128{12652048002903177473, 172543658669764094},
-	Uint128{9175230360419352987, 276069853871622551},
-	Uint128{3650835473593572067, 220855883097298041},
-	Uint128{17678063637842498946, 176684706477838432},
-	Uint128{13527506561580357021, 282695530364541492},
-	Uint128{3443307619780464970, 226156424291633194},
-	Uint128{6443994910566282300, 180925139433306555},
-	Uint128{5155195928453025840, 144740111546645244},
-	Uint128{15627011115008661990, 231584178474632390},
-	Uint128{12501608892006929592, 185267342779705912},
-	Uint128{2622589484121723027, 148213874223764730},
-	Uint128{4196143174594756843, 237142198758023568},
-	Uint128{10735612169159626121, 189713759006418854},
-	Uint128{12277838550069611220, 151771007205135083},
-	Uint128{15955192865369467629, 242833611528216133},
-	Uint128{1696107848069843133, 194266889222572907},
-	Uint128{12424932722681605476, 155413511378058325},
-	Uint128{1433148282581017146, 248661618204893321},
-	Uint128{15903913885032455010, 198929294563914656},
-	Uint128{9033782293284053685, 159143435651131725},
-	Uint128{14454051669254485895, 254629497041810760},
-	Uint128{11563241335403588716, 203703597633448608},
-	Uint128{16629290697806691620, 162962878106758886},
-	Uint128{781423413297334329, 260740604970814219},
-	Uint128{4314487545379777786, 208592483976651375},
-	Uint128{3451590036303822229, 166873987181321100},
-	Uint128{5522544058086115566, 266998379490113760},
-	Uint128{4418035246468892453, 213598703592091008},
-	Uint128{10913125826658934609, 170878962873672806},
-	Uint128{10082303693170474728, 273406340597876490},
-	Uint128{8065842954536379782, 218725072478301192},
-	Uint128{17520720807854834795, 174980057982640953},
-	Uint128{5897060404116273733, 279968092772225526},
-	Uint128{1028299508551108663, 223974474217780421},
-	Uint128{15580034865808528224, 179179579374224336},
-	Uint128{17549358155809824511, 286687326998758938},
-	Uint128{2971440080422128639, 229349861599007151},
-	Uint128{17134547323305344204, 183479889279205720},
-	Uint128{13707637858644275364, 146783911423364576},
-	Uint128{14553522944347019935, 234854258277383322},
-	Uint128{4264120725993795302, 187883406621906658},
-	Uint128{10789994210278856888, 150306725297525326},
-	Uint128{9885293106962350374, 240490760476040522},
-	Uint128{529536856086059653, 192392608380832418},
-	Uint128{7802327114352668369, 153914086704665934},
-	Uint128{1415676938738538420, 246262538727465495},
-	Uint128{1132541550990830736, 197010030981972396},
-	Uint128{15663428499760305882, 157608024785577916},
-	Uint128{17682787970132668764, 252172839656924666},
-	Uint128{10456881561364224688, 201738271725539733},
-	Uint128{15744202878575200397, 161390617380431786},
-	Uint128{17812026976236499989, 258224987808690858},
-	Uint128{3181575136763469022, 206579990246952687},
-	Uint128{13613306553636506187, 165263992197562149},
-	Uint128{10713244041592678929, 264422387516099439},
-	Uint128{12259944048016053467, 211537910012879551},
-	Uint128{6118606423670932450, 169230328010303641},
-	Uint128{2411072648389671274, 270768524816485826},
-	Uint128{16686253377679378312, 216614819853188660},
-	Uint128{13349002702143502650, 173291855882550928},
-	Uint128{17669055508687693916, 277266969412081485},
-	Uint128{14135244406950155133, 221813575529665188},
-	Uint128{240149081334393137, 177450860423732151},
-	Uint128{11452284974360759988, 283921376677971441},
-	Uint128{5472479164746697667, 227137101342377153},
-	Uint128{11756680961281178780, 181709681073901722},
-	Uint128{2026647139541122378, 145367744859121378},
-	Uint128{18000030682233437097, 232588391774594204},
-	Uint128{18089373360528660001, 186070713419675363},
-	Uint128{3403452244197197031, 148856570735740291},
-	Uint128{16513570034941246220, 238170513177184465},
-	Uint128{13210856027952996976, 190536410541747572},
-	Uint128{3189987192878576934, 152429128433398058},
-	Uint128{1414630693863812771, 243886605493436893},
-	Uint128{8510402184574870864, 195109284394749514},
-	Uint128{10497670562401807014, 156087427515799611},
-	Uint128{9417575270359070576, 249739884025279378},
-	Uint128{14912757845771077107, 199791907220223502},
-	Uint128{4551508647133041040, 159833525776178802},
-	Uint128{10971762650154775986, 255733641241886083},
-	Uint128{16156107749607641435, 204586912993508866},
-	Uint128{9235537384944202825, 163669530394807093},
-	Uint128{11087511001168814197, 261871248631691349},
-	Uint128{12559357615676961681, 209496998905353079},
-	Uint128{13736834907283479668, 167597599124282463},
-	Uint128{18289587036911657145, 268156158598851941},
-	Uint128{10942320814787415393, 214524926879081553},
-	Uint128{16132554281313752961, 171619941503265242},
-	Uint128{11054691591134363444, 274591906405224388},
-	Uint128{16222450902391311402, 219673525124179510},
-	Uint128{12977960721913049122, 175738820099343608},
-	Uint128{17075388340318968271, 281182112158949773},
-	Uint128{2592264228029443648, 224945689727159819},
-	Uint128{5763160197165465241, 179956551781727855},
-	Uint128{9221056315464744386, 287930482850764568},
-	Uint128{14755542681855616155, 230344386280611654},
-	Uint128{15493782960226403247, 184275509024489323},
-	Uint128{1326979923955391628, 147420407219591459},
-	Uint128{9501865507812447252, 235872651551346334},
-	Uint128{11290841220991868125, 188698121241077067},
-	Uint128{1653975347309673853, 150958496992861654},
-	Uint128{10025058185179298811, 241533595188578646},
-	Uint128{4330697733401528726, 193226876150862917},
-	Uint128{14532604630946953951, 154581500920690333},
-	Uint128{1116074521063664381, 247330401473104534},
-	Uint128{4582208431592841828, 197864321178483627},
-	Uint128{14733813189500004432, 158291456942786901},
-	Uint128{16195403473716186445, 253266331108459042},
-	Uint128{5577625149489128510, 202613064886767234},
-	Uint128{8151448934333213131, 162090451909413787},
-	Uint128{16731667109675051333, 259344723055062059},
-	Uint128{17074682502481951390, 207475778444049647},
-	Uint128{6281048372501740465, 165980622755239718},
-	Uint128{6360328581260874421, 265568996408383549},
-	Uint128{8777611679750609860, 212455197126706839},
-	Uint128{10711438158542398211, 169964157701365471},
-	Uint128{9759603424184016492, 271942652322184754},
-	Uint128{11497031554089123517, 217554121857747803},
-	Uint128{16576322872755119460, 174043297486198242},
-	Uint128{11764721337440549842, 278469275977917188},
-	Uint128{16790474699436260520, 222775420782333750},
-	Uint128{13432379759549008416, 178220336625867000},
-	Uint128{3045063541568861850, 285152538601387201},
-	Uint128{17193446092222730773, 228122030881109760},
-	Uint128{13754756873778184618, 182497624704887808},
-	Uint128{18382503128506368341, 145998099763910246},
-	Uint128{3586563302416817083, 233596959622256395},
-	Uint128{2869250641933453667, 186877567697805116},
-	Uint128{17052795772514404226, 149502054158244092},
-	Uint128{12527077977055405469, 239203286653190548},
-	Uint128{17400360011128145022, 191362629322552438},
-	Uint128{2852241564676785048, 153090103458041951},
-	Uint128{15631632947708587046, 244944165532867121},
-	Uint128{8815957543424959314, 195955332426293697},
-	Uint128{18120812478965698421, 156764265941034957},
-	Uint128{14235904707377476180, 250822825505655932},
-	Uint128{4010026136418160298, 200658260404524746},
-	Uint128{17965416168102169531, 160526608323619796},
-	Uint128{2919224165770098987, 256842573317791675},
-	Uint128{2335379332616079190, 205474058654233340},
-	Uint128{1868303466092863352, 164379246923386672},
-	Uint128{6678634360490491686, 263006795077418675},
-	Uint128{5342907488392393349, 210405436061934940},
-	Uint128{4274325990713914679, 168324348849547952},
-	Uint128{10528270399884173809, 269318958159276723},
-	Uint128{15801313949391159694, 215455166527421378},
-	Uint128{1573004715287196786, 172364133221937103},
-	Uint128{17274202803427156150, 275782613155099364},
-	Uint128{17508711057483635243, 220626090524079491},
-	Uint128{10317620031244997871, 176500872419263593},
-	Uint128{12818843235250086271, 282401395870821749},
-	Uint128{13944423402941979340, 225921116696657399},
-	Uint128{14844887537095493795, 180736893357325919},
-	Uint128{15565258844418305359, 144589514685860735},
-	Uint128{6457670077359736959, 231343223497377177},
-	Uint128{16234182506113520537, 185074578797901741},
-	Uint128{9297997190148906106, 148059663038321393},
-	Uint128{11187446689496339446, 236895460861314229},
-	Uint128{12639306166338981880, 189516368689051383},
-	Uint128{17490142562555006151, 151613094951241106},
-	Uint128{2158786396894637579, 242580951921985771},
-	Uint128{16484424376483351356, 194064761537588616},
-	Uint128{9498190686444770762, 155251809230070893},
-	Uint128{11507756283569722895, 248402894768113429},
-	Uint128{12895553841597688639, 198722315814490743},
-	Uint128{17695140702761971558, 158977852651592594},
-	Uint128{17244178680193423523, 254364564242548151},
-	Uint128{10105994129412828495, 203491651394038521},
-	Uint128{4395446488788352473, 162793321115230817},
-	Uint128{10722063196803274280, 260469313784369307},
-	Uint128{1198952927958798777, 208375451027495446},
-	Uint128{15716557601334680315, 166700360821996356},
-	Uint128{17767794532651667857, 266720577315194170},
-	Uint128{14214235626121334286, 213376461852155336},
-	Uint128{7682039686155157106, 170701169481724269},
-	Uint128{1223217053622520399, 273121871170758831},
-	Uint128{15735968901865657612, 218497496936607064},
-	Uint128{16278123936234436413, 174797997549285651},
-	Uint128{219556594781725998, 279676796078857043},
-	Uint128{7554342905309201445, 223741436863085634},
-	Uint128{9732823138989271479, 178993149490468507},
-	Uint128{815121763415193074, 286389039184749612},
-	Uint128{11720143854957885429, 229111231347799689},
-	Uint128{13065463898708218666, 183288985078239751},
-	Uint128{6763022304224664610, 146631188062591801},
-	Uint128{3442138057275642729, 234609900900146882},
-	Uint128{13821756890046245153, 187687920720117505},
-	Uint128{11057405512036996122, 150150336576094004},
-	Uint128{6623802375033462826, 240240538521750407},
-	Uint128{16367088344252501231, 192192430817400325},
-	Uint128{13093670675402000985, 153753944653920260},
-	Uint128{2503129006933649959, 246006311446272417},
-	Uint128{13070549649772650937, 196805049157017933},
-	Uint128{17835137349301941396, 157444039325614346},
-	Uint128{2710778055689733971, 251910462920982955},
-	Uint128{2168622444551787177, 201528370336786364},
-	Uint128{5424246770383340065, 161222696269429091},
-	Uint128{1300097203129523457, 257956314031086546},
-	Uint128{15797473021471260058, 206365051224869236},
-	Uint128{8948629602435097724, 165092040979895389},
-	Uint128{3249760919670425388, 264147265567832623},
-	Uint128{9978506365220160957, 211317812454266098},
-	Uint128{15361502721659949412, 169054249963412878},
-	Uint128{2442311466204457120, 270486799941460606},
-	Uint128{16711244431931206989, 216389439953168484},
-	Uint128{17058344360286875914, 173111551962534787},
-	Uint128{12535955717491360170, 276978483140055660},
-	Uint128{10028764573993088136, 221582786512044528},
-	Uint128{15401709288678291155, 177266229209635622},
-	Uint128{9885339602917624555, 283625966735416996},
-	Uint128{4218922867592189321, 226900773388333597},
-	Uint128{14443184738299482427, 181520618710666877},
-	Uint128{4175850161155765295, 145216494968533502},
-	Uint128{10370709072591134795, 232346391949653603},
-	Uint128{15675264887556728482, 185877113559722882},
-	Uint128{5161514280561562140, 148701690847778306},
-	Uint128{879725219414678777, 237922705356445290},
-	Uint128{703780175531743021, 190338164285156232},
-	Uint128{11631070584651125387, 152270531428124985},
-	Uint128{162968861732249003, 243632850284999977},
-	Uint128{11198421533611530172, 194906280227999981},
-	Uint128{5269388412147313814, 155925024182399985},
-	Uint128{8431021459435702103, 249480038691839976},
-	Uint128{3055468352806651359, 199584030953471981},
-	Uint128{17201769941212962380, 159667224762777584},
-	Uint128{16454785461715008838, 255467559620444135},
-	Uint128{13163828369372007071, 204374047696355308},
-	Uint128{17909760324981426303, 163499238157084246},
-	Uint128{2830174816776909822, 261598781051334795},
-	Uint128{2264139853421527858, 209279024841067836},
-	Uint128{16568707141704863579, 167423219872854268},
-	Uint128{4373838538276319787, 267877151796566830},
-	Uint128{3499070830621055830, 214301721437253464},
-	Uint128{6488605479238754987, 171441377149802771},
-	Uint128{3003071137298187333, 274306203439684434},
-	Uint128{6091805724580460189, 219444962751747547},
-	Uint128{15941491023890099121, 175555970201398037},
-	Uint128{10748990379256517301, 280889552322236860},
-	Uint128{8599192303405213841, 224711641857789488},
-	Uint128{14258051472207991719, 179769313486231590}
+	Uint128{0x0000000000000001, 0x0400000000000000},
+	Uint128{0x3333333333333334, 0x0333333333333333},
+	Uint128{0x28f5c28f5c28f5c3, 0x028f5c28f5c28f5c},
+	Uint128{0xed916872b020c49c, 0x020c49ba5e353f7c},
+	Uint128{0xaf4f0d844d013a93, 0x0346dc5d63886594},
+	Uint128{0x8c3f3e0370cdc876, 0x029f16b11c6d1e10},
+	Uint128{0xd698fe69270b06c5, 0x0218def416bdb1a6},
+	Uint128{0xf0f4ca41d811a46e, 0x035afe535795e90a},
+	Uint128{0xf3f70834acdae9f1, 0x02af31dc4611873b},
+	Uint128{0x5cc5a02a23e254c1, 0x0225c17d04dad296},
+	Uint128{0xfad5cd10396a2135, 0x036f9bfb3af7b756},
+	Uint128{0xfbde3da69454e75e, 0x02bfaffc2f2c92ab},
+	Uint128{0x2fe4fe1edd10b918, 0x0232f33025bd4223},
+	Uint128{0x4ca19697c81ac1bf, 0x0384b84d092ed038},
+	Uint128{0x3d4e1213067bce33, 0x02d09370d4257360},
+	Uint128{0x643e74dc052fd829, 0x024075f3dceac2b3},
+	Uint128{0x6d30baf9a1e626a7, 0x039a5652fb113785},
+	Uint128{0x2426fbfae7eb5220, 0x02e1dea8c8da92d1},
+	Uint128{0x1cebfcc8b9890e80, 0x024e4bba3a487574},
+	Uint128{0x94acc7a78f41b0cc, 0x03b07929f6da5586},
+	Uint128{0xaa23d2ec729af3d7, 0x02f394219248446b},
+	Uint128{0xbb4fdbf05baf2979, 0x025c768141d369ef},
+	Uint128{0xc54c931a2c4b758d, 0x03c7240202ebdcb2},
+	Uint128{0x9dd6dc14f03c5e0b, 0x0305b66802564a28},
+	Uint128{0x4b1249aa59c9e4d6, 0x026af8533511d4ed},
+	Uint128{0x44ea0f76f60fd489, 0x03de5a1ebb4fbb15},
+	Uint128{0x6a54d92bf80caa07, 0x0318481895d96277},
+	Uint128{0x21dd7a89933d54d2, 0x0279d346de4781f9},
+	Uint128{0x362f2a75b8622150, 0x03f61ed7ca0c0328},
+	Uint128{0xf825bb91604e810d, 0x032b4bdfd4d668ec},
+	Uint128{0xc684960de6a5340b, 0x0289097fdd7853f0},
+	Uint128{0xd203ab3e521dc33c, 0x02073accb12d0ff3},
+	Uint128{0xe99f7863b696052c, 0x033ec47ab514e652},
+	Uint128{0x87b2c6b62bab3757, 0x02989d2ef743eb75},
+	Uint128{0xd2f56bc4efbc2c45, 0x0213b0f25f69892a},
+	Uint128{0x1e55793b192d13a2, 0x0352b4b6ff0f41de},
+	Uint128{0x4b77942f475742e8, 0x02a8909265a5ce4b},
+	Uint128{0xd5f9435905df68ba, 0x022073a8515171d5},
+	Uint128{0x565b9ef4d6324129, 0x03671f73b54f1c89},
+	Uint128{0xdeafb25d78283421, 0x02b8e5f62aa5b06d},
+	Uint128{0x188c8eb12cecf681, 0x022d84c4eeeaf38b},
+	Uint128{0x8dadb11b7b14bd9b, 0x037c07a17e44b8de},
+	Uint128{0x7157c0e2c8dd647c, 0x02c99fb46503c718},
+	Uint128{0x8ddfcd823a4ab6ca, 0x023ae629ea696c13},
+	Uint128{0x1632e269f6ddf142, 0x0391704310a8acec},
+	Uint128{0x44f581ee5f17f435, 0x02dac035a6ed5723},
+	Uint128{0x372ace584c1329c4, 0x024899c4858aac1c},
+	Uint128{0xbeaae3c079b842d3, 0x03a75c6da27779c6},
+	Uint128{0x6555830061603576, 0x02ec49f14ec5fb05},
+	Uint128{0xb7779c004de6912b, 0x0256a18dd89e626a},
+	Uint128{0xf258f99a163db512, 0x03bdcf495a9703dd},
+	Uint128{0x5b7a614811caf741, 0x02fe3f6de212697e},
+	Uint128{0xaf951aa00e3bf901, 0x0264ff8b1b41edfe},
+	Uint128{0x7f54f7667d2cc19b, 0x03d4cc11c5364997},
+	Uint128{0x32aa5f8530f09ae3, 0x0310a3416a91d479},
+	Uint128{0xf55519375a5a1582, 0x0273b5cdeedb1060},
+	Uint128{0xbbbb5b8bc3c3559d, 0x03ec56164af81a34},
+	Uint128{0x2fc916096969114a, 0x03237811d593482a},
+	Uint128{0x596dab3ababa743c, 0x0282c674aadc39bb},
+	Uint128{0x478aef622efb9030, 0x0202385d557cfafc},
+	Uint128{0xd8de4bd04b2c19e6, 0x0336c0955594c4c6},
+	Uint128{0xad7ea30d08f014b8, 0x029233aaaadd6a38},
+	Uint128{0x24654f3da0c01093, 0x020e8fbbbbe454fa},
+	Uint128{0x3a3bb1fc346680eb, 0x034a7f92c63a2190},
+	Uint128{0x94fc8e635d1ecd89, 0x02a1ffa89e94e7a6},
+	Uint128{0xaa63a51c4a7f0ad4, 0x021b32ed4baa52eb},
+	Uint128{0xdd6c3b607731aaed, 0x035eb7e212aa1e45},
+	Uint128{0x1789c919f8f488bd, 0x02b22cb4dbbb4b6b},
+	Uint128{0xac6e3a7b2d906d64, 0x022823c3e2fc3c55},
+	Uint128{0x13e390c515b3e23a, 0x03736c6c9e606089},
+	Uint128{0xdcb60d6a77c31b62, 0x02c2bd23b1e6b3a0},
+	Uint128{0x7d5e7121f968e2b5, 0x0235641c8e52294d},
+	Uint128{0xc8971b698f0e3787, 0x0388a02db0837548},
+	Uint128{0xa078e2bad8d82c6c, 0x02d3b357c0692aa0},
+	Uint128{0xe6c71bc8ad79bd24, 0x0242f5dfcd20eee6},
+	Uint128{0x0ad82c7448c2c839, 0x039e5632e1ce4b0b},
+	Uint128{0x3be023903a356cfa, 0x02e511c24e3ea26f},
+	Uint128{0x2fe682d9c82abd95, 0x0250db01d8321b8c},
+	Uint128{0x4ca4048fa6aac8ee, 0x03b4919c8d1cf8e0},
+	Uint128{0x3d5003a61eef0725, 0x02f6dae3a4172d80},
+	Uint128{0x9773361e7f259f51, 0x025f1582e9ac2466},
+	Uint128{0x8beb89ca6508fee8, 0x03cb559e42ad070a},
+	Uint128{0x6fefa16eb73a6586, 0x0309114b688a6c08},
+	Uint128{0xf3261abef8fb846b, 0x026da76f86d52339},
+	Uint128{0x51d691318e5f3a45, 0x03e2a57f3e21d1f6},
+	Uint128{0x0e4540f471e5c837, 0x031bb798fe8174c5},
+	Uint128{0xd8376729f4b7d360, 0x027c92e0cb9ac3d0},
+	Uint128{0xf38bd84321261eff, 0x03fa849adf5e061a},
+	Uint128{0x293cad0280eb4bff, 0x032ed07be5e4d1af},
+	Uint128{0xedca240200bc3ccc, 0x028bd9fcb7ea4158},
+	Uint128{0xbe3b50019a3030a4, 0x02097b309321cde0},
+	Uint128{0xc9f88002904d1a9f, 0x03425eb41e9c7c9a},
+	Uint128{0x3b2d3335403daee6, 0x029b7ef67ee396e2},
+	Uint128{0x95bdc291003158b8, 0x0215ff2b98b6124e},
+	Uint128{0x892f9db4cd1bc126, 0x035665128df01d4a},
+	Uint128{0x07594af70a7c9a85, 0x02ab840ed7f34aa2},
+	Uint128{0x6c476f2c0863aed1, 0x0222d00bdff5d54e},
+	Uint128{0x13a57eacda3917b4, 0x036ae67966562217},
+	Uint128{0x0fb7988a482dac90, 0x02bbeb9451de81ac},
+	Uint128{0xd95fad3b6cf156da, 0x022fefa9db1867bc},
+	Uint128{0xf565e1f8ae4ef15c, 0x037fe5dc91c0a5fa},
+	Uint128{0x911e4e608b725ab0, 0x02ccb7e3a7cd5195},
+	Uint128{0xda7ea51a0928488d, 0x023d5fe9530aa7aa},
+	Uint128{0xf7310829a8407415, 0x039566421e7772aa},
+	Uint128{0x2c2739baed005cde, 0x02ddeb68185f8eef},
+	Uint128{0xbcec2e2f24004a4b, 0x024b22b9ad193f25},
+	Uint128{0x94ad16b1d333aa11, 0x03ab6ac2ae8ecb6f},
+	Uint128{0xaa241227dc2954db, 0x02ef889bbed8a2bf},
+	Uint128{0x54e9a81fe35443e2, 0x02593a163246e899},
+	Uint128{0x2175d9cc9eed396a, 0x03c1f689ea0b0dc2},
+	Uint128{0xe7917b0a18bdc788, 0x03019207ee6f3e34},
+	Uint128{0xb9412f3b46fe393a, 0x0267a8065858fe90},
+	Uint128{0xf535185ed7fd285c, 0x03d90cd6f3c1974d},
+	Uint128{0xc42a79e57997537d, 0x03140a458fce12a4},
+	Uint128{0x03552e512e12a931, 0x02766e9e0ca4dbb7},
+	Uint128{0x9eeeb081e3510eb4, 0x03f0b0fce107c5f1},
+	Uint128{0x4bf226ce4f740bc3, 0x0326f3fd80d304c1},
+	Uint128{0xa3281f0b72c33c9c, 0x02858ffe00a8d09a},
+	Uint128{0x1c2018d5f568fd4a, 0x020473319a20a6e2},
+	Uint128{0xf9ccf48988a7fba9, 0x033a51e8f69aa49c},
+	Uint128{0xfb0a5d3ad3b99621, 0x02950e53f87bb6e3},
+	Uint128{0x2f3b7dc8a96144e7, 0x0210d8432d2fc583},
+	Uint128{0xe52bfc7442353b0c, 0x034e26d1e1e608d1},
+	Uint128{0xb756639034f76270, 0x02a4ebdb1b1e6d74},
+	Uint128{0x2c451c735d92b526, 0x021d897c15b1f12a},
+	Uint128{0x13a1c71efc1deea3, 0x0362759355e981dd},
+	Uint128{0x761b05b2634b2550, 0x02b52adc44bace4a},
+	Uint128{0x91af37c1e908eaa6, 0x022a88b036fbd83b},
+	Uint128{0x82b1f2cfdb417770, 0x03774119f192f392},
+	Uint128{0xcef4c23fe29ac5f3, 0x02c5cdae5adbf60e},
+	Uint128{0x3f2a34ffe87bd190, 0x0237d7beaf165e72},
+	Uint128{0x984387ffda5fb5b2, 0x038c8c644b56fd83},
+	Uint128{0xe0360666484c915b, 0x02d6d6b6a2abfe02},
+	Uint128{0x802b3851d3707449, 0x024578921bbccb35},
+	Uint128{0x99dec082ebe72075, 0x03a25a835f947855},
+	Uint128{0xae4bcd358985b391, 0x02e8486919439377},
+	Uint128{0xbea30a913ad15c74, 0x02536d20e102dc5f},
+	Uint128{0xfdd1aa81f7b560b9, 0x03b8ae9b019e2d65},
+	Uint128{0x97daeece5fc44d61, 0x02fa2548ce182451},
+	Uint128{0xdfe258a51969d781, 0x0261b76d71ace9da},
+	Uint128{0x996a276e8f0fbf34, 0x03cf8be24f7b0fc4},
+	Uint128{0xe121b9253f3fcc2a, 0x030c6fe83f95a636},
+	Uint128{0xb41afa8432997022, 0x02705986994484f8},
+	Uint128{0xecf7f739ea8f19cf, 0x03e6f5a4286da18d},
+	Uint128{0x23f99294bba5ae40, 0x031f2ae9b9f14e0b},
+	Uint128{0x4ffadbaa2fb7be99, 0x027f5587c7f43e6f},
+	Uint128{0x7ff7c5dd1925fdc2, 0x03feef3fa6539718},
+	Uint128{0xccc637e4141e649b, 0x033258ffb842df46},
+	Uint128{0xd704f983434b83af, 0x028ead9960357f6b},
+	Uint128{0x126a6135cf6f9c8c, 0x020bbe144cf79923},
+	Uint128{0x83dd685618b29414, 0x0345fced47f28e9e},
+	Uint128{0x9cb12044e08edcdd, 0x029e63f1065ba54b},
+	Uint128{0x16f419d0b3a57d7d, 0x02184ff405161dd6},
+	Uint128{0x8b20294dec3bfbfb, 0x035a19866e89c956},
+	Uint128{0x3c19baa4bcfcc996, 0x02ae7ad1f207d445},
+	Uint128{0xc9ae2eea30ca3adf, 0x02252f0e5b39769d},
+	Uint128{0x0f7d17dd1add2afd, 0x036eb1b091f58a96},
+	Uint128{0x3f97464a7be42264, 0x02bef48d41913bab},
+	Uint128{0xcc790508631ce850, 0x02325d3dce0dc955},
+	Uint128{0xe0c1a1a704fb0d4d, 0x0383c862e3494222},
+	Uint128{0x4d67b4859d95a43e, 0x02cfd3824f6dce82},
+	Uint128{0x711fc39e17aae9cb, 0x023fdc683f8b0b9b},
+	Uint128{0xe832d2968c44a945, 0x039960a6cc11ac2b},
+	Uint128{0xecf575453d03ba9e, 0x02e11a1f09a7bcef},
+	Uint128{0x572ac4376402fbb1, 0x024dae7f3aec9726},
+	Uint128{0x58446d256cd192b5, 0x03af7d985e47583d},
+	Uint128{0x79d0575123dadbc4, 0x02f2cae04b6c4697},
+	Uint128{0x94a6ac40e97be303, 0x025bd5803c569edf},
+	Uint128{0x8771139b0f2c9e6c, 0x03c62266c6f0fe32},
+	Uint128{0x9f8da948d8f07ebd, 0x0304e85238c0cb5b},
+	Uint128{0xe60aedd3e0c06564, 0x026a5374fa33d5e2},
+	Uint128{0xa344afb9679a3bd2, 0x03dd5254c3862304},
+	Uint128{0xe903bfc78614fca8, 0x031775109c6b4f36},
+	Uint128{0xba6966393810ca20, 0x02792a73b055d8f8},
+	Uint128{0x2a423d2859b4769a, 0x03f510b91a22f4c1},
+	Uint128{0xee9b642047c39215, 0x032a73c7481bf700},
+	Uint128{0xbee2b680396941aa, 0x02885c9f6ce32c00},
+	Uint128{0xff1bc53361210155, 0x0206b07f8a4f5666},
+	Uint128{0x31c6085235019bbb, 0x033de73276e5570b},
+	Uint128{0x27d1a041c4014963, 0x0297ec285f1ddf3c},
+	Uint128{0xeca7b367d0010782, 0x021323537f4b18fc},
+	Uint128{0xadd91f0c8001a59d, 0x0351d21f3211c194},
+	Uint128{0xf17a7f3d3334847e, 0x02a7db4c280e3476},
+	Uint128{0x279532975c2a0398, 0x021fe2a3533e905f},
+	Uint128{0xd8eeb75893766c26, 0x0366376bb8641a31},
+	Uint128{0x7a5892ad42c52352, 0x02b82c562d1ce1c1},
+	Uint128{0xfb7a0ef102374f75, 0x022cf044f0e3e7cd},
+	Uint128{0xc59017e8038bb254, 0x037b1a07e7d30c7c},
+	Uint128{0x37a67986693c8eaa, 0x02c8e19feca8d6ca},
+	Uint128{0xf951fad1edca0bbb, 0x023a4e198a20abd4},
+	Uint128{0x28832ae97c76792b, 0x03907cf5a9cddfbb},
+	Uint128{0x2068ef21305ec756, 0x02d9fd9154a4b2fc},
+	Uint128{0x19ed8c1a8d189f78, 0x0247fe0ddd508f30},
+	Uint128{0x5caf4690e1c0ff26, 0x03a66349621a7eb3},
+	Uint128{0x4a25d20d81673285, 0x02eb82a11b48655c},
+	Uint128{0x3b5174d79ab8f537, 0x0256021a7c39eab0},
+	Uint128{0x921bee25c45b21f1, 0x03bcd02a605caab3},
+	Uint128{0xdb498b5169e2818e, 0x02fd735519e3bbc2},
+	Uint128{0x15d46f7454b53472, 0x02645c4414b62fcf},
+	Uint128{0xefba4bed545520b6, 0x03d3c6d35456b2e4},
+	Uint128{0xf2fb6ff110441a2b, 0x030fd242a9def583},
+	Uint128{0x8f2f8cc0d9d014ef, 0x02730e9bbb18c469},
+	Uint128{0xb1e5ae015c80217f, 0x03eb4a92c4f46d75},
+	Uint128{0xc1848b344a001acc, 0x0322a20f03f6bdf7},
+	Uint128{0xce03a2903b3348a3, 0x02821b3f365efe5f},
+	Uint128{0xd802e873628f6d4f, 0x0201af65c518cb7f},
+	Uint128{0x599e40b89db2487f, 0x0335e56fa1c14599},
+	Uint128{0xe14b66fa17c1d399, 0x029184594e3437ad},
+	Uint128{0x81091f2e7967dc7a, 0x020e037aa4f692f1},
+	Uint128{0x9b41cb7d8f0c93f6, 0x03499f2aa18a84b5},
+	Uint128{0xaf67d5fe0c0a0ff8, 0x02a14c221ad536f7},
+	Uint128{0xf2b977fe70080cc7, 0x021aa34e7bddc592},
+	Uint128{0x1df58cca4cd9ae0b, 0x035dd2172c9608eb},
+	Uint128{0xe4c470a1d7148b3c, 0x02b174df56de6d88},
+	Uint128{0x83d05a1b1276d5ca, 0x022790b2abe5246d},
+	Uint128{0x9fb3c35e83f1560f, 0x0372811ddfd50715},
+	Uint128{0xb2f635e5365aab3f, 0x02c200e4b310d277},
+	Uint128{0xf591c4b75eaeef66, 0x0234cd83c273db92},
+	Uint128{0xef4fa125644b18a3, 0x0387af39371fc5b7},
+	Uint128{0x8c3fb41de9d5ad4f, 0x02d2f2942c196af9},
+	Uint128{0x3cffc34b2177bdd9, 0x02425ba9bce12261},
+	Uint128{0x94cc6bab68bf9628, 0x039d5f75fb01d09b},
+	Uint128{0x10a38955ed6611b9, 0x02e44c5e6267da16},
+	Uint128{0xda1c6dde5784dafb, 0x02503d184eb97b44},
+	Uint128{0xf693e2fd58d49191, 0x03b394f3b128c53a},
+	Uint128{0xc5431bfde0aa0e0e, 0x02f610c2f4209dc8},
+	Uint128{0x6a9c1664b3bb3e72, 0x025e73cf29b3b16d},
+	Uint128{0x10f9bd6dec5eca4f, 0x03ca52e50f85e8af},
+	Uint128{0xda616457f04bd50c, 0x03084250d937ed58},
+	Uint128{0xe1e783798d09773d, 0x026d01da475ff113},
+	Uint128{0x030c058f480f252e, 0x03e19c9072331b53},
+	Uint128{0x68d66ad906728425, 0x031ae3a6c1c27c42},
+	Uint128{0x8711ef14052869b7, 0x027be952349b969b},
+	Uint128{0x0b4fe4ecd50d75f2, 0x03f97550542c242c},
+	Uint128{0xa2a650bd773df7f5, 0x032df7737689b689},
+	Uint128{0xb551da312c31932a, 0x028b2c5c5ed49207},
+	Uint128{0x5ddb14f4235adc22, 0x0208f049e576db39},
+	Uint128{0x2fc4ee536bc49369, 0x034180763bf15ec2},
+	Uint128{0xbfd0bea92303a921, 0x029acd2b63277f01},
+	Uint128{0x9973cbba8269541a, 0x021570ef8285ff34},
+	Uint128{0x5bec792a6a42202a, 0x0355817f373ccb87},
+	Uint128{0xe3239421ee9b4cef, 0x02aacdff5f63d605},
+	Uint128{0xb5b6101b25490a59, 0x02223e65e5e97804},
+	Uint128{0x22bce691d541aa27, 0x0369fd6fd64259a1},
+	Uint128{0xb563eba7ddce21b9, 0x02bb31264501e14d},
+	Uint128{0xf78322ecb171b494, 0x022f5a850401810a},
+	Uint128{0x259e9e47824f8753, 0x037ef73b399c01ab},
+	Uint128{0x1e187e9f9b72d2a9, 0x02cbf8fc2e1667bc},
+	Uint128{0x4b46cbb2e2c24221, 0x023cc73024deb963},
+	Uint128{0x120adf849e039d01, 0x039471e6a1645bd2},
+	Uint128{0xdb3be603b19c7d9a, 0x02dd27ebb4504974},
+	Uint128{0x7c2feb3627b0647c, 0x024a865629d9d45d},
+	Uint128{0x2d197856a5e7072c, 0x03aa7089dc8fba2f},
+	Uint128{0x8a7ac6abb7ec05bd, 0x02eec06e4a0c94f2},
+	Uint128{0xd52f05562cbcd164, 0x025899f1d4d6dd8e},
+	Uint128{0x21e4d556adfae8a0, 0x03c0f64fbaf1627e},
+	Uint128{0xe7ea444557fbed4d, 0x0300c50c958de864},
+	Uint128{0xecbb69d1132ff10a, 0x0267040a113e5383},
+	Uint128{0xadf8a94e851981aa, 0x03d8067681fd526c},
+	Uint128{0x8b2d543ed0e13488, 0x0313385ece6441f0},
+	Uint128{0xd5bddcff0d80f6d3, 0x0275c6b23eb69b26},
+	Uint128{0x892fc7fe7c018aeb, 0x03efa45064575ea4},
+	Uint128{0x3a8c9ffec99ad589, 0x03261d0d1d12b21d},
+	Uint128{0xc8707fff07af113b, 0x0284e40a7da88e7d},
+	Uint128{0x39f39998d2f2742f, 0x0203e9a1fe2071fe},
+	Uint128{0x8fec28f484b7204b, 0x033975cffd00b663},
+	Uint128{0xd989ba5d36f8e6a2, 0x02945e3ffd9a2b82},
+	Uint128{0x47a161e42bfa521c, 0x02104b66647b5602},
+	Uint128{0x0c35696d132a1cf9, 0x034d4570a0c5566a},
+	Uint128{0x09c454574288172d, 0x02a4378d4d6aab88},
+	Uint128{0xa169dd129ba0128b, 0x021cf93dd7888939},
+	Uint128{0x0242fb50f9001dab, 0x03618ec958da7529},
+	Uint128{0x9b68c90d940017bc, 0x02b4723aad7b90ed},
+	Uint128{0x4920a0d7a999ac96, 0x0229f4fbbdfc73f1},
+	Uint128{0x750101590f5c4757, 0x037654c5fcc71fe8},
+	Uint128{0x2a6734473f7d05df, 0x02c5109e63d27fed},
+	Uint128{0xeeb8f69f65fd9e4c, 0x0237407eb641fff0},
+	Uint128{0xe45b24323cc8fd46, 0x038b9a6456cfffe7},
+	Uint128{0xb6af502830a0ca9f, 0x02d6151d123fffec},
+	Uint128{0xf88c402026e7087f, 0x0244ddb0db666656},
+	Uint128{0x2746cd003e3e73fe, 0x03a162b4923d708b},
+	Uint128{0x1f6bd73364fec332, 0x02e7822a0e978d3c},
+	Uint128{0xe5efdf5c50cbcf5b, 0x0252ce880bac70fc},
+	Uint128{0x3cb2fefa1adfb22b, 0x03b7b0d9ac471b2e},
+	Uint128{0x308f3261af195b56, 0x02f95a47bd05af58},
+	Uint128{0x5a0c284e25ade2ab, 0x0261150630d15913},
+	Uint128{0x29ad0d49d5e30445, 0x03ce8809e7b55b52},
+	Uint128{0x548a7107de4f369d, 0x030ba007ec9115db},
+	Uint128{0xdd3b8d9fe50c2bb1, 0x026fb3398a0dab15},
+	Uint128{0x952c15cca1ad12b5, 0x03e5eb8f434911bc},
+	Uint128{0x775677d6e7bda891, 0x031e560c35d40e30},
+	Uint128{0xc5dec645863153a7, 0x027eab3cf7dcd826}
 ]
 )