From e9714afb9bdcd3c6ea13cc9a26420f303fd08847 Mon Sep 17 00:00:00 2001 From: kwxm Date: Tue, 16 Dec 2025 06:47:40 +0000 Subject: [PATCH 1/5] Update costing for improved bitwise conversion builtins --- .../cost-model/data/benching-conway.csv | 602 +++++++++--------- .../cost-model/data/builtinCostModelA.json | 12 +- .../cost-model/data/builtinCostModelB.json | 12 +- .../cost-model/data/builtinCostModelC.json | 12 +- plutus-core/cost-model/data/models.R | 43 +- 5 files changed, 358 insertions(+), 323 deletions(-) diff --git a/plutus-core/cost-model/data/benching-conway.csv b/plutus-core/cost-model/data/benching-conway.csv index 0956ee65988..aa0faeba454 100644 --- a/plutus-core/cost-model/data/benching-conway.csv +++ b/plutus-core/cost-model/data/benching-conway.csv @@ -1,306 +1,6 @@ # Plutus Core cost model benchmark results for cost model update for Conway HF. # Started at 2024-03-02 14:12:35.114650233 UTC benchmark,t,t.mean.lb,t.mean.ub,t.sd,t.sd.lb,t.sd.ub -ByteStringToInteger/1/1,8.701587151485845e-7,8.695992197020948e-7,8.706219082340251e-7,1.786553365358892e-9,1.5068895435919598e-9,2.16859356505665e-9 -ByteStringToInteger/1/2,9.708934718963369e-7,9.701902571801776e-7,9.718905799319766e-7,2.8668300379969556e-9,1.9571787651307196e-9,4.1324353426257444e-9 -ByteStringToInteger/1/3,1.0292950300397873e-6,1.0286588237683457e-6,1.0299614588145776e-6,2.141935522210625e-9,1.8085743464522427e-9,2.7015456159373413e-9 -ByteStringToInteger/1/4,1.0838440184403118e-6,1.0831432083840037e-6,1.0845187653263503e-6,2.319709751289899e-9,1.9536363490737607e-9,2.803246325306796e-9 -ByteStringToInteger/1/5,1.1411794575279867e-6,1.1402639508251524e-6,1.141859309638091e-6,2.653524473976193e-9,2.130419777469873e-9,3.461311062743688e-9 -ByteStringToInteger/1/6,1.1949526948362669e-6,1.1937707818761615e-6,1.1960429063653014e-6,4.034283098437127e-9,3.5230117906140812e-9,4.8490300962834144e-9 -ByteStringToInteger/1/7,1.2605070324856713e-6,1.2579043648294191e-6,1.2627620662753844e-6,8.237166757573043e-9,7.415447450171269e-9,9.225171217068829e-9 -ByteStringToInteger/1/8,1.2979273296447537e-6,1.2971285371594346e-6,1.2989393807971623e-6,2.9179265984527974e-9,2.2092628270975455e-9,3.7763519474649585e-9 -ByteStringToInteger/1/9,1.3569316794041835e-6,1.355800053720981e-6,1.3582686877642924e-6,4.0664394111327824e-9,2.973273924563507e-9,5.3116155029284375e-9 -ByteStringToInteger/1/10,1.4181447682707617e-6,1.4166171136027466e-6,1.420029008535551e-6,5.4981150513688624e-9,4.501017331311014e-9,6.762532816191708e-9 -ByteStringToInteger/1/11,1.4662282096494146e-6,1.4654399455690254e-6,1.4670445358334541e-6,2.7000549507999928e-9,2.3286150323457495e-9,3.1997561173302405e-9 -ByteStringToInteger/1/12,1.5348350550335435e-6,1.5337681226363509e-6,1.5359123134476223e-6,3.5605125800216544e-9,3.0562111039641283e-9,4.166951018325455e-9 -ByteStringToInteger/1/13,1.604991339869393e-6,1.6044010798094501e-6,1.6055602491184561e-6,1.9931843124742328e-9,1.6664713068807505e-9,2.4137593898300335e-9 -ByteStringToInteger/1/14,1.6427448849303002e-6,1.6418808812210865e-6,1.6438246786979278e-6,3.2739157037148326e-9,2.6883841968382145e-9,4.60993204472238e-9 -ByteStringToInteger/1/15,1.6981657855799416e-6,1.696155646564107e-6,1.6997079342324769e-6,5.604091891279577e-9,4.5287977051230526e-9,7.085674294657377e-9 -ByteStringToInteger/1/16,1.7567492344157292e-6,1.7551206502529544e-6,1.758167301048441e-6,5.141506879339973e-9,4.407501543522512e-9,6.3733471940335976e-9 -ByteStringToInteger/1/17,1.8318183668754936e-6,1.8297108409982768e-6,1.8346602073006613e-6,8.161190273392588e-9,5.929636476475529e-9,1.1177393629003225e-8 -ByteStringToInteger/1/18,1.8861410924142303e-6,1.8853496851979655e-6,1.8870073425720592e-6,2.7600030944387888e-9,2.36579769428604e-9,3.385986636764579e-9 -ByteStringToInteger/1/19,1.941084404234559e-6,1.9400112430480605e-6,1.9425785791512345e-6,4.191950412346946e-9,3.412229886572053e-9,5.353740993792639e-9 -ByteStringToInteger/1/20,2.019203645268539e-6,2.017076240443324e-6,2.021740016958948e-6,7.930818111211396e-9,6.77388179732799e-9,9.66035550212999e-9 -ByteStringToInteger/1/21,2.0712228644326997e-6,2.070369421239098e-6,2.0722106372994484e-6,3.0871339539577923e-9,2.413310316371181e-9,4.6336821982267696e-9 -ByteStringToInteger/1/22,2.167004546256689e-6,2.1623528026063336e-6,2.1715174062318364e-6,1.5592372522339147e-8,1.3467236812354603e-8,1.7969038415165856e-8 -ByteStringToInteger/1/23,2.1850342242374825e-6,2.1837813236584685e-6,2.186198524823925e-6,4.399035271253751e-9,3.3760162315640675e-9,5.500923824602462e-9 -ByteStringToInteger/1/24,2.234051199696886e-6,2.233422036117021e-6,2.2345182459215167e-6,1.8747164006221573e-9,1.4015578827821868e-9,2.632792177202182e-9 -ByteStringToInteger/1/25,2.2976089594298784e-6,2.2965635668430645e-6,2.2987949959005176e-6,3.611809177928258e-9,2.887410964256446e-9,4.533178214855923e-9 -ByteStringToInteger/1/26,2.4012799760698353e-6,2.392898208589152e-6,2.4064166399683364e-6,2.2322302939354906e-8,1.607612050885263e-8,2.9091063939440585e-8 -ByteStringToInteger/1/27,2.4080451037174465e-6,2.4070449219221756e-6,2.4095285729613835e-6,3.909757550778401e-9,2.8922139326824713e-9,6.096859453287539e-9 -ByteStringToInteger/1/28,2.4614279660352254e-6,2.460242111129191e-6,2.4627680853044877e-6,4.041561591893301e-9,3.059372981461266e-9,5.236403528139054e-9 -ByteStringToInteger/1/29,2.5373128845686297e-6,2.5367259663798957e-6,2.5378267265645994e-6,1.756259851486162e-9,1.4349199192342345e-9,2.2269354694455566e-9 -ByteStringToInteger/1/30,2.6508470856345383e-6,2.648785096108944e-6,2.6525133466835377e-6,5.996466125902071e-9,4.5217288606436525e-9,7.507333094386075e-9 -ByteStringToInteger/1/31,2.7014950789296843e-6,2.6980307687109707e-6,2.7042878096669332e-6,1.057730206177681e-8,8.164795170387756e-9,1.4384960261303766e-8 -ByteStringToInteger/1/32,2.7022063379738996e-6,2.7004108512822632e-6,2.7046610536461644e-6,7.507576416983895e-9,5.817796723889046e-9,8.990320192246385e-9 -ByteStringToInteger/1/33,2.7743244685583155e-6,2.7731882291235287e-6,2.775400859507621e-6,3.801328770166313e-9,3.1289693974527676e-9,4.914156358983955e-9 -ByteStringToInteger/1/34,2.8656392883334e-6,2.857882775714016e-6,2.8744936875157146e-6,2.7819136046915467e-8,2.6632756751967898e-8,2.9257527462854653e-8 -ByteStringToInteger/1/35,2.9126170624255685e-6,2.9112788370320943e-6,2.913779766497784e-6,4.3324956593356865e-9,3.5409800658411675e-9,5.807421015220281e-9 -ByteStringToInteger/1/36,2.9403340248323977e-6,2.938948329182225e-6,2.942384346413237e-6,5.417751204410087e-9,3.9567774697456496e-9,7.400487800478822e-9 -ByteStringToInteger/1/37,3.0371657968865173e-6,3.0359920393114145e-6,3.0379744381959295e-6,3.1926903206055523e-9,2.0904465617946018e-9,4.824366332500749e-9 -ByteStringToInteger/1/38,3.1038435111150718e-6,3.1022068752972067e-6,3.105293712006911e-6,5.179828455879284e-9,4.3275610619875476e-9,6.438080148908786e-9 -ByteStringToInteger/1/39,3.153215147989156e-6,3.151967510301594e-6,3.154709111565791e-6,4.267139194013316e-9,3.307312254462408e-9,6.014796664921011e-9 -ByteStringToInteger/1/40,3.2104724653931605e-6,3.208674321704639e-6,3.212862233633637e-6,6.572532480001521e-9,5.5187558356831915e-9,8.006232401196558e-9 -ByteStringToInteger/1/41,3.2385485672454453e-6,3.2348419401512204e-6,3.2415714442567918e-6,1.170201774866398e-8,9.458121637231633e-9,1.4137316505052804e-8 -ByteStringToInteger/1/42,3.324127628088958e-6,3.322583854274647e-6,3.3256335524475118e-6,5.085873412835164e-9,4.324927821229293e-9,6.0755955802208685e-9 -ByteStringToInteger/1/43,3.4183502477207274e-6,3.41714869449614e-6,3.4194161464443303e-6,3.845367070673906e-9,3.091265752425899e-9,5.059250120364244e-9 -ByteStringToInteger/1/44,3.501047933294049e-6,3.4941219222228106e-6,3.5095800365833514e-6,2.617841010720543e-8,2.2950450243311324e-8,2.8495311271460095e-8 -ByteStringToInteger/1/45,3.536368924340032e-6,3.534456391216447e-6,3.539198245218573e-6,7.839031728831225e-9,5.091750180414684e-9,1.4014843854738417e-8 -ByteStringToInteger/1/46,3.6098637712290673e-6,3.60886686071955e-6,3.611111337820483e-6,3.6501001119264382e-9,2.8905108616746283e-9,4.675635765447376e-9 -ByteStringToInteger/1/47,3.6303244790989544e-6,3.627744732821216e-6,3.6336576095086504e-6,9.8416860738614e-9,7.573730809351062e-9,1.517615304180607e-8 -ByteStringToInteger/1/48,3.7454517333314217e-6,3.7439026985552433e-6,3.7473746599608958e-6,5.897564342370854e-9,4.793750489118193e-9,7.4213441599667096e-9 -ByteStringToInteger/1/49,3.7962160922746404e-6,3.793944447793181e-6,3.7979816413743993e-6,6.773209885797533e-9,5.404995980472014e-9,8.575213221289075e-9 -ByteStringToInteger/1/50,3.859373935267334e-6,3.8580897868388866e-6,3.8608430699077e-6,4.723872695057115e-9,3.751494162241635e-9,5.948661476580333e-9 -ByteStringToInteger/1/51,3.919680601025825e-6,3.918857673033675e-6,3.9204739469676e-6,2.6352341947241266e-9,2.170979607596329e-9,3.821266896668395e-9 -ByteStringToInteger/1/52,3.957234570281064e-6,3.955656727422172e-6,3.959074665549957e-6,5.660025220267881e-9,4.882263661396652e-9,6.719942974510785e-9 -ByteStringToInteger/1/53,4.079905395559247e-6,4.076113661865789e-6,4.0862744564742205e-6,1.6021451491226646e-8,1.0024355320185737e-8,2.378831101612724e-8 -ByteStringToInteger/1/54,4.166451209041821e-6,4.165031835519214e-6,4.167978228083898e-6,5.070323258168801e-9,4.345752678695904e-9,6.325882995220893e-9 -ByteStringToInteger/1/55,4.262172285737381e-6,4.259586310504431e-6,4.264171950915132e-6,7.66315195921036e-9,6.126375891221002e-9,9.484229839811365e-9 -ByteStringToInteger/1/56,4.299718648909159e-6,4.293738217276982e-6,4.3037723305983834e-6,1.652570595238387e-8,1.1865955381448024e-8,2.1240421861587033e-8 -ByteStringToInteger/1/57,4.365936790011541e-6,4.364040804854903e-6,4.368275389249978e-6,6.746620134947526e-9,5.3580818616430315e-9,9.163919984581996e-9 -ByteStringToInteger/1/58,4.427650672940692e-6,4.425688107271096e-6,4.42987741895137e-6,6.776642903135996e-9,5.760753491849373e-9,8.395163144945443e-9 -ByteStringToInteger/1/59,4.485720195902662e-6,4.480447466696392e-6,4.489137806883476e-6,1.4346058342047363e-8,9.70622440054816e-9,1.9815314119015064e-8 -ByteStringToInteger/1/60,4.480782068381201e-6,4.4793874055817225e-6,4.482411637083984e-6,5.191498902888023e-9,4.269874466263033e-9,6.417744009589131e-9 -ByteStringToInteger/1/61,4.602735813529388e-6,4.601513681372648e-6,4.604291207140338e-6,4.81018462966641e-9,3.827186179489192e-9,6.9963018147066224e-9 -ByteStringToInteger/1/62,4.713227616071596e-6,4.712089021487761e-6,4.714438433075854e-6,4.127816209592224e-9,3.430344389055369e-9,4.9010536497425864e-9 -ByteStringToInteger/1/63,4.720617892668961e-6,4.718384039205889e-6,4.722767640856608e-6,7.175743681331328e-9,6.037802755017757e-9,8.992910996682476e-9 -ByteStringToInteger/1/64,4.762286072693932e-6,4.76017921454797e-6,4.764952392464582e-6,7.732014429176808e-9,6.0868155297678696e-9,9.890532561756403e-9 -ByteStringToInteger/1/65,4.958581943538028e-6,4.9569538549033325e-6,4.960850654693472e-6,6.087540667603599e-9,4.676218612868796e-9,8.258776815768254e-9 -ByteStringToInteger/1/66,5.007685205358401e-6,5.005350099710236e-6,5.0105570701261345e-6,8.788482023498013e-9,6.7927787166482545e-9,1.3496396642645238e-8 -ByteStringToInteger/1/67,5.011854120174594e-6,5.010812292942613e-6,5.013078781300698e-6,3.812493362918126e-9,3.142731324755533e-9,4.917838896905991e-9 -ByteStringToInteger/1/68,5.154493551454997e-6,5.152898985512906e-6,5.15615779955835e-6,5.605180099367219e-9,4.442633065757025e-9,7.287394972094902e-9 -ByteStringToInteger/1/69,5.2398705264341955e-6,5.238243214059951e-6,5.2417975243754985e-6,6.013401897497869e-9,4.724257007073888e-9,8.271151365830648e-9 -ByteStringToInteger/1/70,5.224702864008995e-6,5.219845227628325e-6,5.2289617253707415e-6,1.6050085460177213e-8,1.4338630778405244e-8,1.9067467066942378e-8 -ByteStringToInteger/1/71,5.3077307505565735e-6,5.303214630530692e-6,5.311492600051818e-6,1.3829557537057293e-8,1.1944952557464843e-8,1.639065856984999e-8 -ByteStringToInteger/1/72,5.476772450582687e-6,5.474930137979595e-6,5.478005674293209e-6,5.253875536972167e-9,4.1122664989622345e-9,7.623203415766953e-9 -ByteStringToInteger/1/73,5.55039951950468e-6,5.54894723852152e-6,5.551338915389443e-6,3.796941189420479e-9,2.9290045883948756e-9,6.386864165341861e-9 -ByteStringToInteger/1/74,5.54319433807622e-6,5.539849904457457e-6,5.547002663005078e-6,1.247354342332617e-8,1.0574227817136247e-8,1.4752080685140444e-8 -ByteStringToInteger/1/75,5.709644228172476e-6,5.706948076154347e-6,5.712718981747581e-6,9.246499893628062e-9,7.53280827361716e-9,1.13976966024079e-8 -ByteStringToInteger/1/76,5.7055843956656894e-6,5.696771776142357e-6,5.717500223831573e-6,3.552301316416517e-8,2.2543547817977703e-8,4.799120635108228e-8 -ByteStringToInteger/1/77,5.72830621882687e-6,5.726280982749564e-6,5.730185711711874e-6,6.695716934855627e-9,5.5676709814004386e-9,8.560146697820264e-9 -ByteStringToInteger/1/78,5.880582072394368e-6,5.876318861420429e-6,5.88436136200686e-6,1.3270291027150158e-8,1.0810474496609595e-8,1.654240491911821e-8 -ByteStringToInteger/1/79,5.916010226265329e-6,5.914064992600638e-6,5.918099669263838e-6,6.87094951152035e-9,5.3497623845920764e-9,8.667301611794104e-9 -ByteStringToInteger/1/80,5.9866294438470335e-6,5.982546639225229e-6,5.990936485366711e-6,1.423782661283247e-8,1.2791676145532732e-8,1.6139340646386167e-8 -ByteStringToInteger/1/81,6.161453437682233e-6,6.15879310700913e-6,6.1640537210135205e-6,8.974159593963606e-9,7.695502050710843e-9,1.0675264686487407e-8 -ByteStringToInteger/1/82,6.13231449055197e-6,6.130487525944511e-6,6.133896626589046e-6,5.601648650964924e-9,4.672702040867451e-9,7.124585681216722e-9 -ByteStringToInteger/1/83,6.235594508267311e-6,6.227437621851912e-6,6.251873038159582e-6,3.794365163949151e-8,2.1045841823995376e-8,5.818669646531168e-8 -ByteStringToInteger/1/84,6.455695438504022e-6,6.454216643919012e-6,6.457062315584142e-6,4.690301448655994e-9,3.938013741020189e-9,5.740678575017454e-9 -ByteStringToInteger/1/85,6.41548644050769e-6,6.410644940958215e-6,6.42022605666139e-6,1.6117774905600713e-8,1.3877551127455403e-8,1.898527411360327e-8 -ByteStringToInteger/1/86,6.5946363118667625e-6,6.59137135651608e-6,6.597711187445094e-6,1.0972266586704393e-8,8.961152932496512e-9,1.3011146359972878e-8 -ByteStringToInteger/1/87,6.72378259120103e-6,6.721801242438729e-6,6.725871078321162e-6,7.274146842800285e-9,6.083478514692846e-9,9.010824533933775e-9 -ByteStringToInteger/1/88,6.841698407900233e-6,6.824980014081484e-6,6.864362161356001e-6,6.264021398842625e-8,4.803669676067521e-8,7.184866442547138e-8 -ByteStringToInteger/1/89,6.8877381535077005e-6,6.885015390665695e-6,6.8900592667123815e-6,8.649156497936125e-9,7.69268245762726e-9,1.0059597609062969e-8 -ByteStringToInteger/1/90,6.7737324122444074e-6,6.771213077234737e-6,6.776030810160459e-6,8.492859030864706e-9,6.975576712359838e-9,1.0252693929567789e-8 -ByteStringToInteger/1/91,7.061368053263889e-6,7.056461956164971e-6,7.067160723261062e-6,1.755617885468223e-8,1.481599057852532e-8,2.072898119144265e-8 -ByteStringToInteger/1/92,7.30872274346941e-6,7.28203423111715e-6,7.325519900638242e-6,6.730521343773113e-8,4.4603476786823673e-8,9.175888230110868e-8 -ByteStringToInteger/1/93,7.252683958330407e-6,7.246637498928314e-6,7.2572462519946665e-6,1.6356782527695364e-8,1.1869292006900075e-8,2.6739143848533418e-8 -ByteStringToInteger/1/94,7.326314594451296e-6,7.323981051241021e-6,7.328829503401538e-6,8.127825818623562e-9,6.6245150706603585e-9,1.0204369644589454e-8 -ByteStringToInteger/1/95,7.2330090074450305e-6,7.230633892278062e-6,7.235409198730418e-6,7.965943040525825e-9,6.514450429299033e-9,9.531779475283142e-9 -ByteStringToInteger/1/96,7.536351574374901e-6,7.51033117743901e-6,7.5583713825008735e-6,8.424597641701918e-8,7.836571000070219e-8,8.92033870856113e-8 -ByteStringToInteger/1/97,7.3966362029903216e-6,7.395297747796694e-6,7.398033680845506e-6,4.436292924288011e-9,3.395585413312484e-9,5.840599000896361e-9 -ByteStringToInteger/1/98,7.706378918524667e-6,7.677724216901202e-6,7.739712104431228e-6,9.796338204240411e-8,8.740980111585073e-8,1.0240154523086984e-7 -ByteStringToInteger/1/99,7.751194656586113e-6,7.736971319247876e-6,7.764350786921343e-6,4.849766758554365e-8,4.1577796575906215e-8,5.221677836335338e-8 -ByteStringToInteger/1/100,7.577194213463947e-6,7.57534056218818e-6,7.579309926712827e-6,6.880089208314028e-9,5.123131649071511e-9,9.591131309545506e-9 -ByteStringToInteger/1/101,7.880018518321776e-6,7.877826063519459e-6,7.881932581091137e-6,7.294897552415491e-9,6.411872163365441e-9,8.47278232360828e-9 -ByteStringToInteger/1/102,7.93582049428903e-6,7.932989885367817e-6,7.939050077866416e-6,9.675044233045898e-9,8.375577835756018e-9,1.2028112259125598e-8 -ByteStringToInteger/1/103,8.200290158382447e-6,8.195489061819898e-6,8.205910620474429e-6,1.741862458167932e-8,1.4746113033944051e-8,2.0350184517226653e-8 -ByteStringToInteger/1/104,8.166457234042796e-6,8.16451148418277e-6,8.168890752884598e-6,7.13456587563408e-9,5.966158926901858e-9,9.18015828410086e-9 -ByteStringToInteger/1/105,8.299121868235262e-6,8.289266001064777e-6,8.311407779382305e-6,3.661568321463068e-8,2.992384894151392e-8,5.707108392223225e-8 -ByteStringToInteger/1/106,8.28047643588687e-6,8.278903089368254e-6,8.282425250679318e-6,5.902199710630823e-9,4.152921527078204e-9,8.281411984288888e-9 -ByteStringToInteger/1/107,8.56799486134418e-6,8.565357102192396e-6,8.571578022317118e-6,1.006995649256923e-8,7.573943126373252e-9,1.4801840390541284e-8 -ByteStringToInteger/1/108,8.479634321181494e-6,8.47774887168059e-6,8.481847083880225e-6,7.643551152488482e-9,6.1297381818419175e-9,9.822605928957732e-9 -ByteStringToInteger/1/109,8.795484961122204e-6,8.79349160734309e-6,8.7990650762346e-6,8.859167314470298e-9,5.962544497196457e-9,1.5352630068531298e-8 -ByteStringToInteger/1/110,8.688528273494045e-6,8.686534384905502e-6,8.691079311633924e-6,7.535371875865206e-9,5.822982102443789e-9,1.02194409136631e-8 -ByteStringToInteger/1/111,8.977423838498326e-6,8.964380670354321e-6,8.99343667755621e-6,4.578436348379305e-8,3.351284415084522e-8,5.363846503434702e-8 -ByteStringToInteger/1/112,8.956993014504928e-6,8.954165677836616e-6,8.959987464772137e-6,9.572761467611985e-9,8.313949527788972e-9,1.1815149726048217e-8 -ByteStringToInteger/1/113,9.301372859279548e-6,9.273921153778532e-6,9.319918287210095e-6,7.673696681913501e-8,6.230924591303088e-8,8.805633723584781e-8 -ByteStringToInteger/1/114,9.147712664146794e-6,9.129651978029724e-6,9.167690355573367e-6,6.569709147175607e-8,5.5422892122180113e-8,7.69296756449991e-8 -ByteStringToInteger/1/115,9.40814377363994e-6,9.40593423512072e-6,9.411063081158586e-6,8.79906920553898e-9,7.30460649620491e-9,1.157954670651926e-8 -ByteStringToInteger/1/116,9.206919485545186e-6,9.195837289956924e-6,9.217302900328868e-6,3.69303067045618e-8,3.305419135954795e-8,4.078968910604744e-8 -ByteStringToInteger/1/117,9.583060558624658e-6,9.574958796055608e-6,9.596173003404506e-6,3.429061359331167e-8,2.3582356274938573e-8,4.572355342043411e-8 -ByteStringToInteger/1/118,9.61665226738628e-6,9.613808374809446e-6,9.61997646985451e-6,9.552796820882185e-9,8.267651672244388e-9,1.1431300713199321e-8 -ByteStringToInteger/1/119,9.887320090078028e-6,9.86919439070777e-6,9.90255912670151e-6,5.782161638111696e-8,4.8539619776683676e-8,6.46277474828728e-8 -ByteStringToInteger/1/120,9.748190290699893e-6,9.733879592368557e-6,9.763254523073094e-6,5.115783108851084e-8,4.885098761368412e-8,5.3564174959696077e-8 -ByteStringToInteger/1/121,1.011652578969166e-5,1.011335224101882e-5,1.0121276060393036e-5,1.2361851899464334e-8,7.85721174329016e-9,1.7688251662498237e-8 -ByteStringToInteger/1/122,9.926114342167573e-6,9.915983279682396e-6,9.934646956009625e-6,3.160949709963694e-8,2.72250326704799e-8,3.7778883660676444e-8 -ByteStringToInteger/1/123,1.0217011558533738e-5,1.019070204436008e-5,1.0240134053474132e-5,8.429454553010427e-8,7.628682787224271e-8,9.594410799552795e-8 -ByteStringToInteger/1/124,1.0084368240608022e-5,1.0068893957830166e-5,1.010015740580337e-5,5.518772593763505e-8,4.46901232323276e-8,6.892398665769233e-8 -ByteStringToInteger/1/125,1.0541384946095277e-5,1.0539384031408652e-5,1.0543378148318747e-5,6.485578294534729e-9,5.363823022614669e-9,8.166611983850926e-9 -ByteStringToInteger/1/126,1.0354612790599484e-5,1.035244284784026e-5,1.0356935986396603e-5,6.970911154837714e-9,5.789490009743062e-9,8.903845103281249e-9 -ByteStringToInteger/1/127,1.073181805683293e-5,1.0682593536152415e-5,1.0771543940017964e-5,1.4177153280127388e-7,1.0626537843124116e-7,1.6540973277517274e-7 -ByteStringToInteger/1/128,1.085208144624914e-5,1.083900185580729e-5,1.0862274137986409e-5,3.74751369736579e-8,3.161079143917776e-8,4.375965222228724e-8 -ByteStringToInteger/1/129,1.0684103505538067e-5,1.068081527937191e-5,1.0688394050865776e-5,1.2425183566529529e-8,9.578355953765492e-9,1.7154333700157672e-8 -ByteStringToInteger/1/130,1.0887888791312572e-5,1.0884794290549892e-5,1.0893830683029535e-5,1.3910951564433564e-8,8.720529452966791e-9,2.4041837719298204e-8 -ByteStringToInteger/1/131,1.1167091032175323e-5,1.1164502891028016e-5,1.1170437275812051e-5,9.91401205753596e-9,8.0082390463302e-9,1.2136867156794507e-8 -ByteStringToInteger/1/132,1.1029438467296693e-5,1.102525876748661e-5,1.1034793257708428e-5,1.6463704849167695e-8,1.3100252212804393e-8,2.0268652268836802e-8 -ByteStringToInteger/1/133,1.1223203134555979e-5,1.1218586767848516e-5,1.1227229350250691e-5,1.4915132535744224e-8,1.2409067123886518e-8,1.795684142994269e-8 -ByteStringToInteger/1/134,1.1799962823160787e-5,1.1783625376153236e-5,1.1810434201583419e-5,4.3158995411137694e-8,2.3862887426378373e-8,6.147058150175492e-8 -ByteStringToInteger/1/135,1.147943077460655e-5,1.1450840738441817e-5,1.1501555136555567e-5,8.84027465581514e-8,6.855520944501233e-8,1.0127886826015509e-7 -ByteStringToInteger/1/136,1.1530758002857774e-5,1.1526289256211563e-5,1.153463389858376e-5,1.3657423547624769e-8,1.1098614633342362e-8,1.7108713474516786e-8 -ByteStringToInteger/1/137,1.1933613608381427e-5,1.193109466503274e-5,1.1936810360609835e-5,9.709802933088607e-9,7.441219354100237e-9,1.3002361908542775e-8 -ByteStringToInteger/1/138,1.1632495212720255e-5,1.1629631458007336e-5,1.1635807773936229e-5,1.0574871889529967e-8,8.554679238983422e-9,1.4741910595157941e-8 -ByteStringToInteger/1/139,1.1850601811961872e-5,1.1847945410919437e-5,1.185319967025315e-5,8.95387553433706e-9,7.253375812835769e-9,1.1215001362572205e-8 -ByteStringToInteger/1/140,1.2437712273899263e-5,1.2405466862205153e-5,1.2470026706423976e-5,1.0651297685626391e-7,1.0306850904971048e-7,1.1000202266225507e-7 -ByteStringToInteger/1/141,1.2115821258784989e-5,1.2099362107969991e-5,1.2143351204019644e-5,7.19640652241863e-8,4.695884602503797e-8,9.578072792213128e-8 -ByteStringToInteger/1/142,1.2221596439751716e-5,1.2217156316114248e-5,1.2225909586098196e-5,1.4602486723865145e-8,1.1558855845408746e-8,1.9001917224533267e-8 -ByteStringToInteger/1/143,1.2612721648342746e-5,1.2609259202935028e-5,1.2617236576316217e-5,1.3515668618908302e-8,9.462612963694471e-9,1.942324506600038e-8 -ByteStringToInteger/1/144,1.2321979026328666e-5,1.2319054212661555e-5,1.2325506974211753e-5,1.0570947726126724e-8,8.526077447409299e-9,1.5708562914929343e-8 -ByteStringToInteger/1/145,1.2602773491074358e-5,1.2597742165951879e-5,1.2607641289804583e-5,1.7421754973791818e-8,1.4613813801206294e-8,2.0914779143046763e-8 -ByteStringToInteger/1/146,1.2788832146153527e-5,1.2757933138400185e-5,1.2823706305207584e-5,1.0412328863746825e-7,9.0253931241059e-8,1.1287880247384039e-7 -ByteStringToInteger/1/147,1.2499365679355539e-5,1.2494144521338672e-5,1.250563611568448e-5,1.8897239463935556e-8,1.3695392379227729e-8,2.842869646854055e-8 -ByteStringToInteger/1/148,1.282030461602394e-5,1.2815352931077709e-5,1.2825644274886306e-5,1.740738569702641e-8,1.4240392015560693e-8,2.3720745338337804e-8 -ByteStringToInteger/1/149,1.339160678315441e-5,1.3381259448841191e-5,1.3403364400396299e-5,3.6847976329262756e-8,3.232279971634181e-8,4.337911578804706e-8 -ByteStringToInteger/1/150,1.305313402739812e-5,1.3048213749046213e-5,1.3058192306710836e-5,1.6816982679479605e-8,1.416041790606484e-8,2.0062202404955513e-8 -IntegerToByteString/1/1/1,1.2479065465574002e-6,1.2468809231539123e-6,1.2489548206965188e-6,3.620002687541051e-9,3.1173746024738236e-9,4.3633691021252356e-9 -IntegerToByteString/1/2/2,1.30824964037409e-6,1.3064695091207311e-6,1.3097935245154976e-6,5.4119309214358605e-9,4.67399863190629e-9,6.4705550048574445e-9 -IntegerToByteString/1/3/3,1.3428239470788306e-6,1.3421715720760717e-6,1.3436277996335219e-6,2.5695518195212638e-9,2.095486611523959e-9,3.2350414894228007e-9 -IntegerToByteString/1/4/4,1.36297700208322e-6,1.3618598547485894e-6,1.3641842097607063e-6,3.9108440894317165e-9,3.371401297064048e-9,4.725164580417199e-9 -IntegerToByteString/1/5/5,1.4207489345457495e-6,1.419425050794591e-6,1.422134232587363e-6,4.530970732748354e-9,3.79389411779906e-9,5.522973602838248e-9 -IntegerToByteString/1/6/6,1.4421039191650461e-6,1.4406965787695526e-6,1.4434614855143114e-6,4.542549079019623e-9,3.854245501674908e-9,5.7063364841873256e-9 -IntegerToByteString/1/7/7,1.4642488017047784e-6,1.4627278331535781e-6,1.4657961114096099e-6,5.153843613574758e-9,4.4105935858515844e-9,6.250545964990656e-9 -IntegerToByteString/1/8/8,1.5193940063345957e-6,1.5184667413982773e-6,1.5202812646024781e-6,3.0674417967657127e-9,2.6069144355833233e-9,3.98454438858682e-9 -IntegerToByteString/1/9/9,1.5338473620763557e-6,1.5322121251534906e-6,1.5355204929267302e-6,5.533380527059138e-9,4.846090361519734e-9,6.391476056943295e-9 -IntegerToByteString/1/10/10,1.5735671616903073e-6,1.5725503087746444e-6,1.5745144816003575e-6,3.4987453179914115e-9,2.745209999628681e-9,4.632132309068634e-9 -IntegerToByteString/1/11/11,1.6075884098842842e-6,1.606434300397943e-6,1.6089419614927178e-6,4.325598375938803e-9,3.743144591388319e-9,5.1383924098848145e-9 -IntegerToByteString/1/12/12,1.6359486433869152e-6,1.634890279016869e-6,1.6372058346703747e-6,3.786703283572332e-9,3.0680105397565855e-9,4.757455683245981e-9 -IntegerToByteString/1/13/13,1.6808457887638445e-6,1.6785128078227384e-6,1.682804446794648e-6,7.506933775112375e-9,6.258344790260099e-9,8.740768091356448e-9 -IntegerToByteString/1/14/14,1.7080944947781585e-6,1.707301470242534e-6,1.7089370058259706e-6,2.7462505302613264e-9,2.3498169302726845e-9,3.2292269775425306e-9 -IntegerToByteString/1/15/15,1.7438399849960592e-6,1.742395315004362e-6,1.7452652635001413e-6,4.867049123836509e-9,4.3445990225177255e-9,5.741813683228017e-9 -IntegerToByteString/1/16/16,1.7628405377519387e-6,1.76158379234422e-6,1.7641098919008722e-6,4.3180873919008165e-9,3.631981165633402e-9,5.1752664429712716e-9 -IntegerToByteString/1/17/17,1.8110642307793812e-6,1.810314388763343e-6,1.8116987439252176e-6,2.3985880568462793e-9,1.9311660707599396e-9,3.063266543325942e-9 -IntegerToByteString/1/18/18,1.835351016585262e-6,1.8341737411137759e-6,1.8364501159624775e-6,3.768045635952278e-9,3.078112981328003e-9,4.6599893433909766e-9 -IntegerToByteString/1/19/19,1.8658403430869042e-6,1.8649222914547146e-6,1.8669808723741897e-6,3.454152859147014e-9,2.6796000890986216e-9,4.8505052509948205e-9 -IntegerToByteString/1/20/20,1.8906589573957772e-6,1.8896574580783708e-6,1.891775276557832e-6,3.512095486023715e-9,3.0017321680050857e-9,4.090428545471758e-9 -IntegerToByteString/1/21/21,1.9335422446044005e-6,1.9322288982603473e-6,1.934612037552528e-6,3.961504458397122e-9,3.052257600335248e-9,5.5563935532840915e-9 -IntegerToByteString/1/22/22,1.9701755279304988e-6,1.9685843421683023e-6,1.9715839459624e-6,5.072291907163977e-9,4.335735351004025e-9,6.6889524245356e-9 -IntegerToByteString/1/23/23,1.9994760744115398e-6,1.998592225119887e-6,2.000557194666345e-6,3.483916443305747e-9,2.856189553803956e-9,4.3601011620246086e-9 -IntegerToByteString/1/24/24,2.0377435342421914e-6,2.0369268168617707e-6,2.0385459942751127e-6,2.6940471029492175e-9,2.21472654146561e-9,3.3613433688489168e-9 -IntegerToByteString/1/25/25,2.0671157297120954e-6,2.0646641574967685e-6,2.068736043437266e-6,6.588058979692977e-9,4.995972480957358e-9,9.401979690705447e-9 -IntegerToByteString/1/26/26,2.0979363000308335e-6,2.096472802814344e-6,2.0998016733852626e-6,5.253424388518523e-9,4.219665019418798e-9,6.533063431999193e-9 -IntegerToByteString/1/27/27,2.1284025496867587e-6,2.127638213471397e-6,2.1292685995279313e-6,2.8542292965402982e-9,2.290592653541308e-9,3.6189665139012124e-9 -IntegerToByteString/1/28/28,2.1618882020906907e-6,2.1607310185554584e-6,2.162895497779194e-6,3.670108951427085e-9,3.191685831551191e-9,4.361277503017456e-9 -IntegerToByteString/1/29/29,2.190238774694947e-6,2.188525137787801e-6,2.191934719475901e-6,5.659785000705016e-9,4.8433430215509435e-9,6.505529445682263e-9 -IntegerToByteString/1/30/30,2.2286725837543965e-6,2.2241119840186913e-6,2.232921932287303e-6,1.4225379592357242e-8,1.3108324074346667e-8,1.591846506726027e-8 -IntegerToByteString/1/31/31,2.25649294583499e-6,2.2554800485296013e-6,2.257323420276508e-6,2.8756561231446343e-9,2.3700704367700005e-9,3.6820845511145994e-9 -IntegerToByteString/1/32/32,2.277365088818695e-6,2.2754055044787522e-6,2.278926226293756e-6,5.690968916040991e-9,4.877722391112737e-9,6.880861555675011e-9 -IntegerToByteString/1/33/33,2.2956614521704775e-6,2.2935717649168314e-6,2.297222480273479e-6,6.0082997621851905e-9,4.956122301137702e-9,7.924378149193452e-9 -IntegerToByteString/1/34/34,2.318273948998985e-6,2.316056906207717e-6,2.3204382230654093e-6,6.99921088559818e-9,6.093577688845395e-9,8.152921730654905e-9 -IntegerToByteString/1/35/35,2.395114762660074e-6,2.394206388939997e-6,2.3962263637079006e-6,3.3569263050916556e-9,2.9105200893360926e-9,4.313910061451907e-9 -IntegerToByteString/1/36/36,2.424939250255861e-6,2.422763664608877e-6,2.426916469457708e-6,7.174056061013113e-9,6.115260149377998e-9,8.460109881727302e-9 -IntegerToByteString/1/37/37,2.4546652988615004e-6,2.4528669628932073e-6,2.4565450867503174e-6,5.845693369029065e-9,5.126947950104329e-9,6.843525973612505e-9 -IntegerToByteString/1/38/38,2.481108801478971e-6,2.4791618031140593e-6,2.483344973739306e-6,7.302317224073848e-9,6.266497776834459e-9,8.804454946899111e-9 -IntegerToByteString/1/39/39,2.5084140921303388e-6,2.5063559341913785e-6,2.5108030260281337e-6,7.473298704415357e-9,6.473131156502869e-9,8.907188767073826e-9 -IntegerToByteString/1/40/40,2.555595007030685e-6,2.554201684649119e-6,2.5574157055976995e-6,5.373964763579693e-9,4.219327659398115e-9,7.281107314946811e-9 -IntegerToByteString/1/41/41,2.598646134265114e-6,2.597876444155091e-6,2.5997361557264356e-6,3.0320681669389683e-9,2.2903670611160585e-9,4.697849007099839e-9 -IntegerToByteString/1/42/42,2.641392588291512e-6,2.6400317442306675e-6,2.6427370189328263e-6,4.600344787287451e-9,3.905083112962057e-9,5.531090123704063e-9 -IntegerToByteString/1/43/43,2.6474644037150493e-6,2.6457703001002815e-6,2.648746442913937e-6,5.051931894123128e-9,4.301255255609014e-9,6.0392363193281474e-9 -IntegerToByteString/1/44/44,2.7007673381575633e-6,2.6994888387282032e-6,2.7019532504917447e-6,3.9851841322340255e-9,3.2933412514726513e-9,4.88870822148791e-9 -IntegerToByteString/1/45/45,2.752280651408491e-6,2.7508413992526665e-6,2.753686976059955e-6,4.767232101707312e-9,3.896011340190828e-9,5.79889278082864e-9 -IntegerToByteString/1/46/46,2.7720871641279567e-6,2.7711174807156682e-6,2.773190970969737e-6,3.4976261429525656e-9,2.9318083851543488e-9,4.236313498126796e-9 -IntegerToByteString/1/47/47,2.7992376657219223e-6,2.796735756484564e-6,2.801650362145135e-6,8.440817657809253e-9,6.8740022171337815e-9,1.0551084638275846e-8 -IntegerToByteString/1/48/48,2.8287988219189085e-6,2.8279095013415462e-6,2.8296913682166166e-6,3.1103183723811466e-9,2.622454657752447e-9,3.998915182047631e-9 -IntegerToByteString/1/49/49,2.8815005253792408e-6,2.8805865280235685e-6,2.882699605477545e-6,3.51295962460229e-9,2.6665953672225795e-9,4.732928590585924e-9 -IntegerToByteString/1/50/50,2.8964608153732556e-6,2.894523788979621e-6,2.8978201334360078e-6,5.0132753520915155e-9,3.6727640798566897e-9,8.097086783656055e-9 -IntegerToByteString/1/51/51,2.9338352345810624e-6,2.9326443046760605e-6,2.934885440377638e-6,3.595603451569159e-9,3.0130505444283887e-9,4.781123165619435e-9 -IntegerToByteString/1/52/52,2.974673526012143e-6,2.972812134811883e-6,2.9770895824330655e-6,6.900294797620283e-9,5.0619103081426465e-9,8.902010217781625e-9 -IntegerToByteString/1/53/53,3.000429033030394e-6,2.999059907795393e-6,3.002050367716072e-6,5.014539713339836e-9,4.299264812272659e-9,6.446290215712894e-9 -IntegerToByteString/1/54/54,3.0533684229973837e-6,3.051909837497548e-6,3.054878476461048e-6,4.581802248330714e-9,3.9107360247458695e-9,5.693060921434532e-9 -IntegerToByteString/1/55/55,3.0708354140475908e-6,3.0693588256293152e-6,3.072079271569716e-6,4.819196771034945e-9,3.990623675153727e-9,6.172213794185251e-9 -IntegerToByteString/1/56/56,3.1407171990109124e-6,3.139740000884925e-6,3.141541408437881e-6,3.1142564927030735e-9,2.509090265265479e-9,4.006297002302788e-9 -IntegerToByteString/1/57/57,3.1537264470269952e-6,3.152364380236346e-6,3.1555758415410146e-6,5.64748829539366e-9,3.793956116702008e-9,9.82419876648598e-9 -IntegerToByteString/1/58/58,3.1784256635717713e-6,3.1770126422815213e-6,3.180112097585014e-6,5.168410294398456e-9,4.161356916409835e-9,7.544159094398616e-9 -IntegerToByteString/1/59/59,3.2015527882120088e-6,3.1991358038362675e-6,3.2049832592208344e-6,9.96605092456714e-9,7.37356646948478e-9,1.6541638543282807e-8 -IntegerToByteString/1/60/60,3.2357737659185166e-6,3.2326713317057015e-6,3.23860704171311e-6,1.03345941480829e-8,8.746742755019238e-9,1.2630583843734424e-8 -IntegerToByteString/1/61/61,3.238805113948728e-6,3.2365216896090888e-6,3.2408570723010405e-6,7.673458749290167e-9,6.295759221804186e-9,9.530162150107378e-9 -IntegerToByteString/1/62/62,3.330504481130041e-6,3.327966018451742e-6,3.332747613754256e-6,8.183344030354276e-9,6.917199067535218e-9,9.868007119269933e-9 -IntegerToByteString/1/63/63,3.371760277037699e-6,3.37068406339537e-6,3.3727891713032657e-6,3.6327141428053125e-9,3.1835805324760973e-9,4.257385494984346e-9 -IntegerToByteString/1/64/64,3.407110464236947e-6,3.405613974394993e-6,3.4086658610457396e-6,5.061340235021778e-9,4.451839187295586e-9,5.917817029553714e-9 -IntegerToByteString/1/65/65,3.4441005084317318e-6,3.4426812943985246e-6,3.4454614089643e-6,4.55149769240723e-9,3.899194438834188e-9,5.457505644862865e-9 -IntegerToByteString/1/66/66,3.4843137296352594e-6,3.482991483604808e-6,3.486007664631794e-6,5.083567307730567e-9,4.139077121452812e-9,6.243689192597839e-9 -IntegerToByteString/1/67/67,3.5201533813621383e-6,3.517735493597322e-6,3.5236181305071656e-6,9.711577484343131e-9,7.472740462446057e-9,1.4538845686316008e-8 -IntegerToByteString/1/68/68,3.5383376077900473e-6,3.5347001153723573e-6,3.5419410514863746e-6,1.2351091715195374e-8,1.1008916912894475e-8,1.4601193021813388e-8 -IntegerToByteString/1/69/69,3.569895545983454e-6,3.5678040369761947e-6,3.5718619731418967e-6,6.915651270443228e-9,5.670264980292813e-9,8.433673235691445e-9 -IntegerToByteString/1/70/70,3.610270012802226e-6,3.608121923804706e-6,3.612011672962874e-6,6.811210027654897e-9,5.572690947109398e-9,8.273925006962089e-9 -IntegerToByteString/1/71/71,3.6553017172620938e-6,3.653633533747028e-6,3.6572325851888213e-6,6.028860551430258e-9,5.227931812421297e-9,7.076348823916807e-9 -IntegerToByteString/1/72/72,3.696706761694064e-6,3.6935391281258063e-6,3.700205237300596e-6,1.1237338735019322e-8,9.258610652941125e-9,1.469850826891609e-8 -IntegerToByteString/1/73/73,3.7359536724881578e-6,3.7341134231642694e-6,3.737867629151749e-6,6.483807863142272e-9,5.448721937155565e-9,7.843449681136148e-9 -IntegerToByteString/1/74/74,3.7592691640413895e-6,3.74897968666659e-6,3.7699000412975463e-6,3.4792157306293875e-8,3.063205273280613e-8,4.11923098366029e-8 -IntegerToByteString/1/75/75,3.873428604464893e-6,3.869764872367945e-6,3.876450076449412e-6,1.1130828971287906e-8,1.0070788124010987e-8,1.2768455833501429e-8 -IntegerToByteString/1/76/76,3.93453909717907e-6,3.93341026410779e-6,3.936625379671175e-6,4.980001133322727e-9,2.9425928063806487e-9,8.933586535491532e-9 -IntegerToByteString/1/77/77,3.967914581090439e-6,3.9667742808178795e-6,3.969356328618467e-6,4.5032566775297816e-9,3.713058465858562e-9,5.667404509756312e-9 -IntegerToByteString/1/78/78,3.981954923673109e-6,3.980868332567544e-6,3.983030092187157e-6,3.6478186521566053e-9,3.0952384093294765e-9,4.385674297389747e-9 -IntegerToByteString/1/79/79,4.009437443532556e-6,4.0000573841147e-6,4.016545569560491e-6,2.5757264788234506e-8,2.0795850205953247e-8,3.5784674896760036e-8 -IntegerToByteString/1/80/80,3.963658700800798e-6,3.958589402412844e-6,3.969101231398414e-6,1.7377608444619432e-8,1.51455232323092e-8,2.0431862835771538e-8 -IntegerToByteString/1/81/81,4.02925612242393e-6,4.026662598879544e-6,4.032573657555799e-6,1.0178913753701916e-8,8.754244570717143e-9,1.2498132517578387e-8 -IntegerToByteString/1/82/82,4.071071221840426e-6,4.069497257502354e-6,4.072930313373612e-6,5.688789784272398e-9,4.839792165255095e-9,7.036206847361746e-9 -IntegerToByteString/1/83/83,4.0985168000471075e-6,4.096755032107443e-6,4.100072830792835e-6,5.289938519082305e-9,4.389335950186374e-9,6.328563326094922e-9 -IntegerToByteString/1/84/84,4.136581385866146e-6,4.134503361890169e-6,4.139062844539311e-6,7.130963613854107e-9,5.6991136969379256e-9,9.695766416587502e-9 -IntegerToByteString/1/85/85,4.139825749115195e-6,4.129131866548152e-6,4.153674961310287e-6,4.16310694655757e-8,3.2631473677283447e-8,4.836543765720543e-8 -IntegerToByteString/1/86/86,4.1993695449285036e-6,4.196960193357211e-6,4.202619516026994e-6,9.638178322955892e-9,7.735744311297922e-9,1.1748925589610249e-8 -IntegerToByteString/1/87/87,4.205134699876245e-6,4.201490824265263e-6,4.209197207698846e-6,1.338039794120563e-8,1.1439324187258915e-8,1.674208075186022e-8 -IntegerToByteString/1/88/88,4.269911132408855e-6,4.265906159258458e-6,4.277469130969723e-6,1.7715595289269502e-8,1.1126299470669591e-8,3.4038919602321015e-8 -IntegerToByteString/1/89/89,4.346490534802258e-6,4.34392372858077e-6,4.349985228322912e-6,9.956527081007444e-9,7.92450467964042e-9,1.2109679938824454e-8 -IntegerToByteString/1/90/90,4.382570856264043e-6,4.381666836594926e-6,4.384629278922658e-6,4.46197252544076e-9,2.4618344848288878e-9,8.092411832802113e-9 -IntegerToByteString/1/91/91,4.412084627813175e-6,4.411023548412217e-6,4.413482486423181e-6,4.044882158547406e-9,3.198539793364077e-9,6.084365720204452e-9 -IntegerToByteString/1/92/92,4.467693706737072e-6,4.465428502177247e-6,4.469329979970037e-6,6.380304315402966e-9,4.958311134520793e-9,8.497200235582596e-9 -IntegerToByteString/1/93/93,4.463927244866817e-6,4.4623754519368945e-6,4.465610369577334e-6,5.790532811074524e-9,4.745959387232173e-9,7.473959268351952e-9 -IntegerToByteString/1/94/94,4.552266540470697e-6,4.549980385125168e-6,4.55445485739894e-6,7.3722863309340536e-9,6.125818847037335e-9,9.048207446570862e-9 -IntegerToByteString/1/95/95,4.5799921737288164e-6,4.5785691087095144e-6,4.582613096480873e-6,6.231123407946053e-9,3.795983373901499e-9,1.1744108483534982e-8 -IntegerToByteString/1/96/96,4.610464550445691e-6,4.608059189151316e-6,4.612848703022207e-6,7.905584990431534e-9,6.809329244261415e-9,9.560313509288514e-9 -IntegerToByteString/1/97/97,4.663223625464802e-6,4.661664205597688e-6,4.666057123994794e-6,6.946805809570596e-9,5.261621249109297e-9,9.744388624626005e-9 -IntegerToByteString/1/98/98,4.679500567995114e-6,4.677803649703511e-6,4.681465508585205e-6,6.2086140765904534e-9,4.996154807245495e-9,7.810679232859148e-9 -IntegerToByteString/1/99/99,4.7499386997041215e-6,4.747925869010435e-6,4.752321749591474e-6,7.63759517316896e-9,6.380438886383205e-9,9.294074791295282e-9 -IntegerToByteString/1/100/100,4.702805778310864e-6,4.6995375533700516e-6,4.707012974879381e-6,1.2740585920899813e-8,1.0467194969902366e-8,1.8034859674091832e-8 -IntegerToByteString/1/101/101,4.7298197906885565e-6,4.7260553891544025e-6,4.734557173232053e-6,1.3757842807355192e-8,1.1165540799714571e-8,1.7532585024651143e-8 -IntegerToByteString/1/102/102,4.865934752628999e-6,4.864523693078882e-6,4.867352004411887e-6,4.9065847610410626e-9,4.187839423230537e-9,5.934297058259534e-9 -IntegerToByteString/1/103/103,4.91511228098561e-6,4.913907681359764e-6,4.916984150592141e-6,4.840358675315679e-9,3.2805754108808227e-9,7.872971996260315e-9 -IntegerToByteString/1/104/104,4.97169562555214e-6,4.970371792661347e-6,4.973069740450919e-6,4.6267427040251e-9,3.5714333498657285e-9,6.496319764178239e-9 -IntegerToByteString/1/105/105,4.952307899228532e-6,4.950853114439753e-6,4.95423405292334e-6,5.360776640005898e-9,4.093895145892085e-9,8.169070474133463e-9 -IntegerToByteString/1/106/106,5.005053449630031e-6,5.0030197320706826e-6,5.007109543622979e-6,6.790901439079817e-9,5.897131789441064e-9,8.291036925992073e-9 -IntegerToByteString/1/107/107,5.0195998728681644e-6,5.013675612946902e-6,5.026487442137829e-6,2.1192140589616164e-8,1.768869275447943e-8,2.6446997073438456e-8 -IntegerToByteString/1/108/108,5.120301065997442e-6,5.118211247374302e-6,5.1225950746675784e-6,7.540240270475635e-9,6.587434374564385e-9,8.669493178559415e-9 -IntegerToByteString/1/109/109,5.1262953287368165e-6,5.124593677578363e-6,5.127898605437065e-6,5.5134922967807074e-9,4.726624687756357e-9,6.431607025769773e-9 -IntegerToByteString/1/110/110,5.175567070520231e-6,5.174262226248957e-6,5.176974275785049e-6,4.567371612484112e-9,3.5484030921573414e-9,6.7700435772179845e-9 -IntegerToByteString/1/111/111,5.242797330950858e-6,5.240929389334627e-6,5.245070353234334e-6,7.105177827628682e-9,5.314432939089071e-9,9.734128616327714e-9 -IntegerToByteString/1/112/112,5.281792615752149e-6,5.2803954660885435e-6,5.2836631144105795e-6,5.128963395109723e-9,4.09510219418579e-9,6.78077749271772e-9 -IntegerToByteString/1/113/113,5.271815328319793e-6,5.269403917247156e-6,5.274274097252727e-6,8.07713049446625e-9,6.979691987444745e-9,9.435179515989907e-9 -IntegerToByteString/1/114/114,5.292866614010391e-6,5.290675047657621e-6,5.2962859042921714e-6,8.746048598032544e-9,6.177239135313394e-9,1.2311109406598574e-8 -IntegerToByteString/1/115/115,5.418408179669217e-6,5.4160377848208894e-6,5.420698320876365e-6,7.965290646377994e-9,6.712368787464271e-9,9.818173814187815e-9 -IntegerToByteString/1/116/116,5.462056404375054e-6,5.460375659364055e-6,5.4633755475740965e-6,4.852853691894786e-9,3.914049098954019e-9,6.142312696853573e-9 -IntegerToByteString/1/117/117,5.4965995930378324e-6,5.495165084158004e-6,5.498597627466786e-6,5.512288635893332e-9,4.222126174182751e-9,7.917872582899026e-9 -IntegerToByteString/1/118/118,5.560809025609637e-6,5.55901522283091e-6,5.5634110084410755e-6,7.3518480514276846e-9,5.4297448150646565e-9,9.357871250616914e-9 -IntegerToByteString/1/119/119,5.57963676240437e-6,5.578372473383026e-6,5.581676870878874e-6,5.051360396729725e-9,3.715620524983234e-9,7.821773136996701e-9 -IntegerToByteString/1/120/120,5.621488672109606e-6,5.61985822334954e-6,5.6232949898694475e-6,6.08640027911666e-9,4.9467252052823014e-9,7.899507838531312e-9 -IntegerToByteString/1/121/121,5.54900420762234e-6,5.5426918074832525e-6,5.555793273525299e-6,2.1608315074279888e-8,1.852025443821008e-8,2.5426304174760327e-8 -IntegerToByteString/1/122/122,5.70542543542628e-6,5.7024789911946665e-6,5.7103951573489925e-6,1.2717900128135126e-8,9.208215501383198e-9,1.8272869437422226e-8 -IntegerToByteString/1/123/123,5.751266602191931e-6,5.7501049805063665e-6,5.752913463223548e-6,4.687148077079858e-9,3.968558832702138e-9,6.312578409898845e-9 -IntegerToByteString/1/124/124,5.812720159608868e-6,5.811646025712422e-6,5.814426196324072e-6,4.523336720921547e-9,3.395377429616951e-9,7.088830498318625e-9 -IntegerToByteString/1/125/125,5.825520987365933e-6,5.8244790139518455e-6,5.826694966949495e-6,3.849126840063589e-9,3.238547728460931e-9,4.7972540617163754e-9 -IntegerToByteString/1/126/126,5.8927055233986935e-6,5.89127854484196e-6,5.8941186439320395e-6,4.8230244964404755e-9,3.946940470025605e-9,6.3607084128765894e-9 -IntegerToByteString/1/127/127,5.893238151175809e-6,5.891467315634518e-6,5.894830580402222e-6,5.8535296042721046e-9,4.5624799322763035e-9,7.817564075727893e-9 -IntegerToByteString/1/128/128,5.983684078514688e-6,5.982495821863746e-6,5.985182094764514e-6,4.606389092134393e-9,3.3199483804795027e-9,6.886517227982432e-9 -IntegerToByteString/1/129/129,6.008338122707356e-6,6.007028953762186e-6,6.010012795243567e-6,5.21199099450017e-9,4.172775211226498e-9,7.108204846025557e-9 -IntegerToByteString/1/130/130,6.017819202295685e-6,6.014005235069912e-6,6.020968216850652e-6,1.107511523435149e-8,9.568975870339844e-9,1.3390488900237957e-8 -IntegerToByteString/1/131/131,6.153231997157474e-6,6.1516260640017155e-6,6.155368619200517e-6,6.06857227101038e-9,4.756934614452586e-9,8.663965427975375e-9 -IntegerToByteString/1/132/132,6.161203730440997e-6,6.159273669975544e-6,6.163500934281968e-6,7.461265916984658e-9,5.6257179877124765e-9,9.18221139029821e-9 -IntegerToByteString/1/133/133,6.196863950194993e-6,6.195336792880575e-6,6.198929099573383e-6,5.98859213325012e-9,4.463945666051409e-9,8.255035242903085e-9 -IntegerToByteString/1/134/134,6.218592076171021e-6,6.216732917969195e-6,6.220402095834698e-6,6.345355284675042e-9,5.316624304366324e-9,7.962422444545283e-9 -IntegerToByteString/1/135/135,6.304159150982787e-6,6.302720784488571e-6,6.308101766124238e-6,7.758079654788114e-9,4.123765747963288e-9,1.497496013935284e-8 -IntegerToByteString/1/136/136,6.372488953462389e-6,6.371230331066959e-6,6.374286049411423e-6,5.0531536751904554e-9,4.2347621008478525e-9,6.784336687309451e-9 -IntegerToByteString/1/137/137,6.421555542973609e-6,6.419985801435445e-6,6.42307856868336e-6,5.42590204438403e-9,4.6495510416853445e-9,6.772180370707568e-9 -IntegerToByteString/1/138/138,6.436591228598658e-6,6.4350171064744e-6,6.438527178232447e-6,6.062245775557328e-9,4.486552293811751e-9,1.0258238639927758e-8 -IntegerToByteString/1/139/139,6.478800199345058e-6,6.477464114297424e-6,6.480725889661412e-6,5.582056775661819e-9,4.319094452126782e-9,7.487051513750674e-9 -IntegerToByteString/1/140/140,6.5294378235567795e-6,6.5271859497717035e-6,6.53351629697209e-6,1.0033213197910927e-8,6.55565679988917e-9,1.5906599908530444e-8 -IntegerToByteString/1/141/141,6.54355884937352e-6,6.541809443383759e-6,6.5457483856316404e-6,6.67203372501996e-9,4.9033473881919455e-9,1.013890083232236e-8 -IntegerToByteString/1/142/142,6.746857917224943e-6,6.745811934195755e-6,6.747946246111164e-6,3.6998212838438145e-9,2.8575161758928438e-9,5.027540816890923e-9 -IntegerToByteString/1/143/143,6.739279205232513e-6,6.736488900789373e-6,6.742664316575953e-6,1.0379114781117136e-8,7.868037610494982e-9,1.54956137984809e-8 -IntegerToByteString/1/144/144,6.722904549255837e-6,6.711719126830637e-6,6.73182145151747e-6,3.549151485065078e-8,2.3764362292290017e-8,4.624832349103037e-8 -IntegerToByteString/1/145/145,6.703656443276486e-6,6.701467776899904e-6,6.707382812079001e-6,9.248887810473198e-9,5.780647621921494e-9,1.2656839136676949e-8 -IntegerToByteString/1/146/146,7.029247653614864e-6,7.004659531971662e-6,7.056783164163904e-6,8.6846155354275e-8,7.982689655935819e-8,9.391446212602202e-8 -IntegerToByteString/1/147/147,6.917507296298588e-6,6.916315435288098e-6,6.919121014842262e-6,4.812606037249841e-9,3.873039314231595e-9,7.243171890890291e-9 -IntegerToByteString/1/148/148,6.985394347044349e-6,6.982420437287656e-6,6.98742159145809e-6,8.09135057775006e-9,6.264304798764584e-9,1.0709479688286938e-8 -IntegerToByteString/1/149/149,7.007046138208899e-6,7.004497584658355e-6,7.009557117907913e-6,8.478670579745032e-9,7.142544572951651e-9,1.0279975505676944e-8 -IntegerToByteString/1/150/150,7.059444577783703e-6,7.0581237401653895e-6,7.060818833837886e-6,4.425034286191613e-9,3.495212114978699e-9,5.752178628277981e-9 IfThenElse/100/100,1.0482372678144105e-6,1.047967404468712e-6,1.048506115873842e-6,9.194722729172903e-10,7.653320245991075e-10,1.1878050251045061e-9 IfThenElse/100/500,1.045962246660351e-6,1.0455905808302692e-6,1.0463540750660614e-6,1.3812357614664035e-9,1.1424324747373943e-9,1.7029589180090625e-9 IfThenElse/100/1000,1.044533388811948e-6,1.0440069111320472e-6,1.045060464705166e-6,1.7081196319087872e-9,1.3976427361067923e-9,2.0487878775497247e-9 @@ -13948,3 +13648,305 @@ ListToArray/1443,2.9346282364025285e-5,2.9325772202614526e-5,2.9391706769781166e ListToArray/4181,7.441304302057385e-5,7.439159112614982e-5,7.44395995968166e-5,7.740722676333549e-8,6.214978245193033e-8,9.51104279423442e-8 ListToArray/3110,5.926637260695039e-5,5.906816987450401e-5,5.942384419039519e-5,6.232147039585826e-7,5.38165486823948e-7,7.040505131156698e-7 ListToArray/4015,7.035933606851938e-5,7.015831820022106e-5,7.049682767876397e-5,5.728845093287018e-7,3.9839333333091796e-7,7.843817482596103e-7 +# Plutus Core cost model benchmark results +# Started at 2025-12-16 04:20:01.338841002 UTC +IntegerToByteString/1/1/1,1.370003401011375e-6,1.368155501464132e-6,1.371822612886319e-6,6.043382133468151e-9,5.302454185291345e-9,6.9082999775989475e-9 +IntegerToByteString/1/2/2,1.373471936966484e-6,1.3718811207437788e-6,1.3748291611737743e-6,5.054854247521893e-9,4.101859244663973e-9,6.436993083789835e-9 +IntegerToByteString/1/3/3,1.3754237624692635e-6,1.3746848077507005e-6,1.3762426673411975e-6,2.6421720406251287e-9,2.1666483233798014e-9,3.2414807722781408e-9 +IntegerToByteString/1/4/4,1.368246827065655e-6,1.3664112015381349e-6,1.3698509540514286e-6,5.955044068471784e-9,4.822839705577431e-9,7.100304540367237e-9 +IntegerToByteString/1/5/5,1.367894151202722e-6,1.366062296360591e-6,1.3698599169277567e-6,6.389599876414223e-9,5.36263154064804e-9,7.722689947590428e-9 +IntegerToByteString/1/6/6,1.3647054315435871e-6,1.3629110475641676e-6,1.3663094221812121e-6,5.997472842663837e-9,4.887472343468708e-9,7.557767247425956e-9 +IntegerToByteString/1/7/7,1.37427745835406e-6,1.372913853851643e-6,1.375628599596215e-6,4.538546478939776e-9,3.8817322493530566e-9,5.190386569397007e-9 +IntegerToByteString/1/8/8,1.3686547919523045e-6,1.3671414464960246e-6,1.3700941320849982e-6,5.282196725413705e-9,4.3542690763801755e-9,6.596001723599144e-9 +IntegerToByteString/1/9/9,1.3736011436146415e-6,1.3714897674262667e-6,1.3754741902743014e-6,6.617324548620033e-9,5.607511404826428e-9,7.94290601541233e-9 +IntegerToByteString/1/10/10,1.369900101796865e-6,1.368795650699815e-6,1.3713601540704661e-6,4.1604304082373735e-9,2.9907682532528574e-9,6.708853630976055e-9 +IntegerToByteString/1/11/11,1.3709594589710502e-6,1.3691494965522034e-6,1.3728711329365257e-6,6.650547270596716e-9,5.644602853451618e-9,7.74566687188244e-9 +IntegerToByteString/1/12/12,1.3645101531292353e-6,1.3632583912947424e-6,1.3659505074569392e-6,4.495015311084778e-9,3.6813848476468435e-9,5.740592596000242e-9 +IntegerToByteString/1/13/13,1.373938013050397e-6,1.3729937193764166e-6,1.3750969046917252e-6,3.48502719552838e-9,2.8846715176714137e-9,4.406141908648425e-9 +IntegerToByteString/1/14/14,1.365007826242957e-6,1.3634231748556576e-6,1.367618773461988e-6,6.545838293022666e-9,4.491541928476191e-9,1.0778152652944803e-8 +IntegerToByteString/1/15/15,1.3732466523783206e-6,1.3713074120563835e-6,1.3758188043505497e-6,7.673883177577386e-9,6.4183052953400165e-9,9.085031357462624e-9 +IntegerToByteString/1/16/16,1.366630199333032e-6,1.3652961115165133e-6,1.3681530027497066e-6,4.905979469632607e-9,3.874292707746599e-9,7.165444420433674e-9 +IntegerToByteString/1/17/17,1.3655604027547305e-6,1.3647524609745042e-6,1.366349766670739e-6,2.6420029919046566e-9,2.2723834713012423e-9,3.0701373798619343e-9 +IntegerToByteString/1/18/18,1.3718244760670437e-6,1.3706051992188292e-6,1.3734760359453388e-6,4.765866666485737e-9,3.843164826046041e-9,6.312476066836166e-9 +IntegerToByteString/1/19/19,1.3768681842400135e-6,1.3760168076635719e-6,1.3779471545848901e-6,3.323832156616449e-9,2.615092222683409e-9,4.941413526176683e-9 +IntegerToByteString/1/20/20,1.3746930078333964e-6,1.3726787915095933e-6,1.3780024876507822e-6,8.107626284745154e-9,5.804716928305258e-9,1.1539682307424706e-8 +IntegerToByteString/1/21/21,1.3733030586076016e-6,1.3723690717809404e-6,1.3740786653964964e-6,3.045170569665146e-9,2.4223441909338017e-9,3.858151852829139e-9 +IntegerToByteString/1/22/22,1.3680595216326884e-6,1.3665574991595531e-6,1.3694763887806312e-6,4.863906990806246e-9,4.048553437233635e-9,6.006139235923871e-9 +IntegerToByteString/1/23/23,1.373675476788428e-6,1.372328658646772e-6,1.3750882095594668e-6,4.659212061851803e-9,4.006508885557335e-9,5.490126071906267e-9 +IntegerToByteString/1/24/24,1.3754384308724e-6,1.3725460057292652e-6,1.3788604703024323e-6,1.0989666419678527e-8,9.374588924282406e-9,1.3586047297000425e-8 +IntegerToByteString/1/25/25,1.3760672117903747e-6,1.3749152557177024e-6,1.377084183558957e-6,3.8502629936571485e-9,3.3912621944327196e-9,4.495288859826341e-9 +IntegerToByteString/1/26/26,1.3697028313242777e-6,1.3673786550400854e-6,1.372044764682424e-6,7.77673826210175e-9,5.484859305279666e-9,1.1735441793375814e-8 +IntegerToByteString/1/27/27,1.3792116679365151e-6,1.3780239403848236e-6,1.3802744944566966e-6,3.824661215034889e-9,2.8841332643687193e-9,5.762387732371885e-9 +IntegerToByteString/1/28/28,1.3769023629140555e-6,1.3744482497142596e-6,1.380349176471975e-6,9.324890822393079e-9,7.097100965964705e-9,1.4333002356709624e-8 +IntegerToByteString/1/29/29,1.3928930668343148e-6,1.3908713357284778e-6,1.3946077941360831e-6,6.2478682483527344e-9,5.265086602016853e-9,7.660182938807998e-9 +IntegerToByteString/1/30/30,1.376749779029714e-6,1.3751957293264197e-6,1.3810988311633195e-6,8.448977786353985e-9,3.774116941457627e-9,1.6891144567740355e-8 +IntegerToByteString/1/31/31,1.3758380213813376e-6,1.3741327651825151e-6,1.3774294473361236e-6,5.548649396032651e-9,4.59033657618674e-9,6.665132034202161e-9 +IntegerToByteString/1/32/32,1.3816204640783566e-6,1.379255405593655e-6,1.3869893369992546e-6,1.1330398108437126e-8,6.093802151401535e-9,2.114852547802958e-8 +IntegerToByteString/1/33/33,1.3800189884109831e-6,1.3789319047117177e-6,1.3809183743365308e-6,3.6284756837455276e-9,3.1476702907169567e-9,4.295189694105098e-9 +IntegerToByteString/1/34/34,1.3855372502878245e-6,1.3843746412405646e-6,1.3865562562599389e-6,3.454333383688253e-9,2.7550352895926284e-9,4.508889864970262e-9 +IntegerToByteString/1/35/35,1.3771144014398269e-6,1.3758404024935005e-6,1.3783562669422278e-6,3.9795882850112815e-9,3.247285738888439e-9,5.282678821244841e-9 +IntegerToByteString/1/36/36,1.3866059695656437e-6,1.3853824814357188e-6,1.387646109546194e-6,3.964168392499053e-9,3.374543364477111e-9,4.69696202224996e-9 +IntegerToByteString/1/37/37,1.395716634522584e-6,1.394363558980573e-6,1.3968102927798441e-6,4.088528034251992e-9,3.4604972926176928e-9,4.83032344991195e-9 +IntegerToByteString/1/38/38,1.3841087133952723e-6,1.3825738236230488e-6,1.3853726785659805e-6,4.947824525256097e-9,4.036014818069753e-9,6.144366254757393e-9 +IntegerToByteString/1/39/39,1.3830303582721612e-6,1.3821111158188526e-6,1.384169981652278e-6,3.352190197814092e-9,2.815957386375453e-9,4.0644587610755405e-9 +IntegerToByteString/1/40/40,1.3829470446579188e-6,1.38206514933913e-6,1.3840113121400916e-6,3.5607609836915373e-9,2.970003329971101e-9,4.33326881815552e-9 +IntegerToByteString/1/41/41,1.3880411855407794e-6,1.3866667674562814e-6,1.3894765789979388e-6,4.712945361101138e-9,3.9174371666607005e-9,6.1201041585151516e-9 +IntegerToByteString/1/42/42,1.3865436341594523e-6,1.3842871717125059e-6,1.3887935048464668e-6,7.534930049178488e-9,6.3296490939408425e-9,9.094258978731428e-9 +IntegerToByteString/1/43/43,1.3826496729714997e-6,1.3812833823707784e-6,1.3845413883631152e-6,5.706532535204223e-9,4.600831043158132e-9,9.209815967621617e-9 +IntegerToByteString/1/44/44,1.3833302151822861e-6,1.381922403725686e-6,1.3846214964058811e-6,4.7222973759182335e-9,3.954014592545902e-9,5.597060899581087e-9 +IntegerToByteString/1/45/45,1.3884031829457053e-6,1.3867398083812171e-6,1.390007361667284e-6,5.364953270672535e-9,4.440032968056587e-9,6.62829498679973e-9 +IntegerToByteString/1/46/46,1.3909909511573817e-6,1.3889729226783734e-6,1.3929363164323219e-6,6.401642715369522e-9,5.6119501138381814e-9,7.405345591515648e-9 +IntegerToByteString/1/47/47,1.389114074134136e-6,1.387776962024255e-6,1.390597417974892e-6,4.569990395503063e-9,3.729510176115929e-9,5.759440652351859e-9 +IntegerToByteString/1/48/48,1.3997046044769925e-6,1.3983320034902874e-6,1.4014001420603305e-6,5.244604702508218e-9,4.321222639061594e-9,6.552302788396327e-9 +IntegerToByteString/1/49/49,1.3886252840494489e-6,1.387610387561178e-6,1.3895226218945712e-6,3.2609914729879133e-9,2.6848634269902628e-9,4.623672651803756e-9 +IntegerToByteString/1/50/50,1.3855478705139295e-6,1.3845695122503552e-6,1.3866679383696369e-6,3.5107682846304206e-9,2.794894279456883e-9,4.68479133955508e-9 +IntegerToByteString/1/51/51,1.3844989537124156e-6,1.3837499787133294e-6,1.3853501207463707e-6,2.7151882926001186e-9,2.2262798332631255e-9,3.550223982456172e-9 +IntegerToByteString/1/52/52,1.3947634955080137e-6,1.3932053138125383e-6,1.3965000918942698e-6,5.466855124755245e-9,4.540993295125977e-9,6.717040431214316e-9 +IntegerToByteString/1/53/53,1.3904001909823838e-6,1.3887224999054409e-6,1.3920037774321206e-6,5.96960400133004e-9,4.907010155618769e-9,7.259488365623432e-9 +IntegerToByteString/1/54/54,1.391429820459183e-6,1.3893685416504456e-6,1.3928208996117047e-6,5.813235906756554e-9,4.710834616885762e-9,8.223323341308183e-9 +IntegerToByteString/1/55/55,1.3947618099882535e-6,1.3930749889013828e-6,1.3965497038026665e-6,5.927350252528439e-9,4.7746806140628294e-9,8.47294688382263e-9 +IntegerToByteString/1/56/56,1.4002459553202088e-6,1.3985234868922583e-6,1.4021115527899693e-6,5.710901991514845e-9,4.8929646543955136e-9,6.765548288839369e-9 +IntegerToByteString/1/57/57,1.3972005300759517e-6,1.3961571156646941e-6,1.398232338024265e-6,3.6413434518266415e-9,3.035553563888192e-9,4.498661979738581e-9 +IntegerToByteString/1/58/58,1.3994697995970205e-6,1.3976251659462485e-6,1.4017011018451035e-6,6.551392770409223e-9,5.452478732723863e-9,7.770042447712623e-9 +IntegerToByteString/1/59/59,1.3933161158262874e-6,1.3917080140631893e-6,1.3948453568325717e-6,5.261753143474478e-9,4.453001948430626e-9,6.343059892783685e-9 +IntegerToByteString/1/60/60,1.3960193785047584e-6,1.3943342448768642e-6,1.397500015309178e-6,5.539711961458008e-9,4.595530375124094e-9,6.841157067836411e-9 +IntegerToByteString/1/61/61,1.3948585219282987e-6,1.3936099218708932e-6,1.3959702434612397e-6,3.87502166493202e-9,3.162282706727741e-9,5.158818308669674e-9 +IntegerToByteString/1/62/62,1.399662146780422e-6,1.398327318629924e-6,1.4013411511334896e-6,4.930202748067896e-9,3.947131894484791e-9,6.376750891838123e-9 +IntegerToByteString/1/63/63,1.3961360129206594e-6,1.394825927704562e-6,1.397884224120479e-6,4.976715977727965e-9,3.882177241418306e-9,7.281357686608944e-9 +IntegerToByteString/1/64/64,1.4021157956145767e-6,1.4010630919139929e-6,1.4031618598611697e-6,3.4357993323868112e-9,2.8195109773377847e-9,4.239376347342869e-9 +IntegerToByteString/1/65/65,1.40262182004996e-6,1.4004254837837526e-6,1.4050991292477087e-6,7.672014849437274e-9,6.9142970465486306e-9,8.911355691608073e-9 +IntegerToByteString/1/66/66,1.415682315787703e-6,1.414420452400655e-6,1.4166992735607262e-6,3.830878836232513e-9,3.221327561419408e-9,4.699516299876875e-9 +IntegerToByteString/1/67/67,1.4027499146442875e-6,1.401278998748018e-6,1.4042931942118416e-6,5.405403372815105e-9,4.501788837684572e-9,7.089751068605197e-9 +IntegerToByteString/1/68/68,1.4032204569729963e-6,1.40216155312217e-6,1.404325865250528e-6,3.6263953500972198e-9,3.2093683141717946e-9,4.3727254609957e-9 +IntegerToByteString/1/69/69,1.4062331900458405e-6,1.405313876805836e-6,1.4070531283692736e-6,2.804298440875091e-9,2.2806614087992346e-9,3.559682271497322e-9 +IntegerToByteString/1/70/70,1.4084442038014504e-6,1.4070319454983522e-6,1.4098963432816709e-6,4.7698894804225575e-9,4.075121895406586e-9,5.892069059885206e-9 +IntegerToByteString/1/71/71,1.4063936333789148e-6,1.4053009761923636e-6,1.407667990722064e-6,3.764198176158287e-9,3.196961899742218e-9,4.632592065713156e-9 +IntegerToByteString/1/72/72,1.4078891347114245e-6,1.405804856487507e-6,1.4099043051817124e-6,7.244708318947286e-9,6.279661800732371e-9,8.435884498956432e-9 +IntegerToByteString/1/73/73,1.410045501030589e-6,1.4086871024965603e-6,1.4118349189250091e-6,5.03841168635975e-9,4.293383582409592e-9,6.0376901994718275e-9 +IntegerToByteString/1/74/74,1.407342891127316e-6,1.405438025727681e-6,1.4090714849736384e-6,6.039375703337007e-9,5.242218307688976e-9,7.1338153117661415e-9 +IntegerToByteString/1/75/75,1.4120464917852122e-6,1.4108139762404034e-6,1.413195824675451e-6,3.963311802528605e-9,3.5346830898740563e-9,4.467016032109563e-9 +IntegerToByteString/1/76/76,1.404840411166322e-6,1.4040056889091526e-6,1.4056016307693767e-6,2.7214328124492306e-9,2.2290535150730122e-9,3.4969792820749745e-9 +IntegerToByteString/1/77/77,1.4074146495743802e-6,1.4066023577040298e-6,1.408513834334669e-6,3.2523062812381304e-9,2.595626619660672e-9,4.1325824235027594e-9 +IntegerToByteString/1/78/78,1.4111614321090961e-6,1.409576697671067e-6,1.4125042974960865e-6,4.817369649667091e-9,4.160860927142692e-9,5.827878612161001e-9 +IntegerToByteString/1/79/79,1.4061056398086685e-6,1.4041861000033973e-6,1.4075640219195224e-6,5.365974158410305e-9,4.543822176482995e-9,6.479791768408547e-9 +IntegerToByteString/1/80/80,1.4080609027450127e-6,1.4063541444844307e-6,1.409906273774995e-6,6.01014577681423e-9,5.260676886654725e-9,6.943532477086869e-9 +IntegerToByteString/1/81/81,1.408748432613059e-6,1.407035448133455e-6,1.410976138615106e-6,6.1670456129258935e-9,4.800940811635115e-9,8.938484898876471e-9 +IntegerToByteString/1/82/82,1.4124578151805205e-6,1.4112611918259857e-6,1.413531928650462e-6,3.744988682409151e-9,3.1699846473480777e-9,4.6596064645881386e-9 +IntegerToByteString/1/83/83,1.416452714784069e-6,1.4154052137387527e-6,1.4174156712116356e-6,3.3518215043172634e-9,2.7162293342552904e-9,4.32167375316871e-9 +IntegerToByteString/1/84/84,1.4089028787204526e-6,1.4076598522700425e-6,1.4100495086919974e-6,3.9235031922410224e-9,3.271769834119969e-9,4.85758577194552e-9 +IntegerToByteString/1/85/85,1.413467187851824e-6,1.4123680168642619e-6,1.414705087576203e-6,4.059464067814918e-9,3.4587012621543802e-9,4.761281559674276e-9 +IntegerToByteString/1/86/86,1.421129553611657e-6,1.417517331001797e-6,1.4248930367281322e-6,1.233110321565342e-8,1.0059257211998877e-8,1.544411875881028e-8 +IntegerToByteString/1/87/87,1.4114375502368476e-6,1.4095401528451138e-6,1.4133189809710573e-6,6.300862641522944e-9,5.5786786904478564e-9,7.361359838509073e-9 +IntegerToByteString/1/88/88,1.4150008473203815e-6,1.4134997318407872e-6,1.4167713840684694e-6,5.464445868952902e-9,4.331158790053211e-9,7.138226469012216e-9 +IntegerToByteString/1/89/89,1.417660912058504e-6,1.415954587366881e-6,1.4193621848254139e-6,5.513400974539277e-9,4.778267780347778e-9,6.384015926243542e-9 +IntegerToByteString/1/90/90,1.41558180646727e-6,1.413608436753612e-6,1.4181130548503092e-6,7.295856049410392e-9,6.491840235012491e-9,8.580693677828908e-9 +IntegerToByteString/1/91/91,1.4143348388273529e-6,1.4130685217895375e-6,1.4157418925947878e-6,4.435343302985084e-9,3.913309473328752e-9,5.3205868441243905e-9 +IntegerToByteString/1/92/92,1.417496719173222e-6,1.4167627268451536e-6,1.4183963832426156e-6,2.690799076657553e-9,2.1708074824205987e-9,3.4557778850354445e-9 +IntegerToByteString/1/93/93,1.4175740837670712e-6,1.4164199847651598e-6,1.4186595716647397e-6,3.874718770034767e-9,3.240455335843362e-9,4.671938539871587e-9 +IntegerToByteString/1/94/94,1.412524221199714e-6,1.409908217899026e-6,1.414900963036323e-6,7.864365531463806e-9,6.759747194459041e-9,1.0067718646156735e-8 +IntegerToByteString/1/95/95,1.422215975297343e-6,1.4205677852871983e-6,1.4243316279333184e-6,6.151930645280362e-9,4.890412552805808e-9,7.707857185270113e-9 +IntegerToByteString/1/96/96,1.4139284017226745e-6,1.411905488756671e-6,1.4168556306836328e-6,8.290265010391304e-9,5.262304290380593e-9,1.4496288956520746e-8 +IntegerToByteString/1/97/97,1.4209291371426231e-6,1.4196403805455496e-6,1.422239494530209e-6,4.206267479443716e-9,3.5716539402619155e-9,4.93969925444911e-9 +IntegerToByteString/1/98/98,1.4218099631309004e-6,1.4207609494684458e-6,1.4228110391881742e-6,3.4811473972362338e-9,2.961846165999541e-9,4.6188422918042896e-9 +IntegerToByteString/1/99/99,1.4217202973226115e-6,1.4198514699231323e-6,1.4233842228651888e-6,5.902810285060965e-9,4.831140966964791e-9,7.1085752475196026e-9 +IntegerToByteString/1/100/100,1.422988666608718e-6,1.4216049484414162e-6,1.424584341137129e-6,4.976927563042772e-9,4.0430492290567086e-9,7.176648535428073e-9 +IntegerToByteString/1/101/101,1.4199329486642043e-6,1.4188582868720242e-6,1.4213159861646046e-6,4.08445463460927e-9,3.0655627401148455e-9,5.652697798252664e-9 +IntegerToByteString/1/102/102,1.427626457689801e-6,1.4247294502362997e-6,1.4305812370236546e-6,1.0206468995447187e-8,9.074087791042228e-9,1.1761650007982047e-8 +IntegerToByteString/1/103/103,1.4199697205049515e-6,1.4184306390295692e-6,1.4215161787819362e-6,5.068654573897474e-9,4.4055234877389055e-9,5.938499123414417e-9 +IntegerToByteString/1/104/104,1.422962166757536e-6,1.4205080708525878e-6,1.4250438980305164e-6,7.49615178294677e-9,6.5176051585777595e-9,8.927376908269112e-9 +IntegerToByteString/1/105/105,1.4173983048823743e-6,1.4158929099180627e-6,1.4187302104920808e-6,4.884557222607397e-9,4.189044990307396e-9,5.7646752308906444e-9 +IntegerToByteString/1/106/106,1.4252346966817292e-6,1.4236556181552948e-6,1.4277527167626087e-6,6.846813219163924e-9,4.5459414430996694e-9,1.1183734183238944e-8 +IntegerToByteString/1/107/107,1.422561009787846e-6,1.4214411001728649e-6,1.424052062269488e-6,4.505128591094303e-9,3.3110652656293237e-9,7.3402675226997765e-9 +IntegerToByteString/1/108/108,1.4274567897580229e-6,1.425832991573872e-6,1.4289365134585057e-6,5.17297015789798e-9,4.558531370454853e-9,5.883957748799743e-9 +IntegerToByteString/1/109/109,1.4281230843336232e-6,1.426545205748552e-6,1.4303217676151168e-6,6.0395377308355434e-9,4.340814290566553e-9,9.796965553178196e-9 +IntegerToByteString/1/110/110,1.428212970403792e-6,1.425688205420769e-6,1.430121890842424e-6,7.148288379143309e-9,5.939947580145445e-9,8.334059658581266e-9 +IntegerToByteString/1/111/111,1.426674598685972e-6,1.4253775613620875e-6,1.428374776121143e-6,4.9284366547998054e-9,3.716004226370671e-9,7.698573771078033e-9 +IntegerToByteString/1/112/112,1.4358040845106913e-6,1.43495036648078e-6,1.436633072651235e-6,2.843647223643891e-9,2.394718875883726e-9,3.4386498163964496e-9 +IntegerToByteString/1/113/113,1.427614542639103e-6,1.4265766847730295e-6,1.429127044785038e-6,3.969798372700481e-9,2.7430178967130453e-9,6.430441263702116e-9 +IntegerToByteString/1/114/114,1.4338674513324267e-6,1.4321142306989565e-6,1.4356114661175099e-6,5.883976667333778e-9,5.0534483495628165e-9,6.944948557358206e-9 +IntegerToByteString/1/115/115,1.4382817727697812e-6,1.4359110165876846e-6,1.440962625210458e-6,8.461686098863192e-9,7.122054721455308e-9,1.1387136955971489e-8 +IntegerToByteString/1/116/116,1.4303635068362685e-6,1.4289833068991043e-6,1.4319509312711257e-6,5.13504589285886e-9,4.3833516351495155e-9,6.332960426557606e-9 +IntegerToByteString/1/117/117,1.4310601212546673e-6,1.4292627321069033e-6,1.4335782866594399e-6,7.440867523235649e-9,5.7573521945771955e-9,1.1146070569931709e-8 +IntegerToByteString/1/118/118,1.4313780034057672e-6,1.4290103577569192e-6,1.4336969494208328e-6,7.840422213090464e-9,6.860656114114903e-9,9.056698448069743e-9 +IntegerToByteString/1/119/119,1.433332603438961e-6,1.431523655509277e-6,1.4353274495984722e-6,6.2458558521918265e-9,5.229610475782074e-9,8.05545855211546e-9 +IntegerToByteString/1/120/120,1.4326909941751338e-6,1.4311169837054044e-6,1.4342242408862508e-6,4.98555744276414e-9,4.368025633516807e-9,5.754756210147058e-9 +IntegerToByteString/1/121/121,1.437848668553377e-6,1.436244463641745e-6,1.439482016214395e-6,5.441538172632934e-9,4.010437188104757e-9,8.175675328422954e-9 +IntegerToByteString/1/122/122,1.4334414662177855e-6,1.4317689330646168e-6,1.4353458684696503e-6,5.905830314898992e-9,4.966531673230764e-9,7.123407255610863e-9 +IntegerToByteString/1/123/123,1.4295481909762022e-6,1.4283093778942713e-6,1.4307193006463692e-6,4.268106171853193e-9,3.6946257506740657e-9,5.011196344029296e-9 +IntegerToByteString/1/124/124,1.4378205052621721e-6,1.4369988651160727e-6,1.4385246523364971e-6,2.5050190687373203e-9,2.075016348587864e-9,3.072903912683027e-9 +IntegerToByteString/1/125/125,1.4296255934707983e-6,1.4284254824131993e-6,1.430669569930686e-6,3.6242622733059738e-9,2.8613439968901467e-9,4.7847412082622966e-9 +IntegerToByteString/1/126/126,1.4381666374806527e-6,1.437478697926424e-6,1.4388384866861847e-6,2.345702863647838e-9,1.9179569988015714e-9,2.9057286069296576e-9 +IntegerToByteString/1/127/127,1.435056610784937e-6,1.433492824763517e-6,1.43681893496795e-6,5.316506885933192e-9,4.597022194611404e-9,6.605363753536149e-9 +IntegerToByteString/1/128/128,1.4375086613576114e-6,1.4363147564609622e-6,1.4385145783618872e-6,3.755100000375274e-9,3.1396311281180856e-9,4.790851211852086e-9 +IntegerToByteString/1/129/129,1.4362339836447511e-6,1.4347549989205957e-6,1.4380860233641755e-6,5.392979421046359e-9,4.2360209510852435e-9,7.976165309718523e-9 +IntegerToByteString/1/130/130,1.4363377987121536e-6,1.4354656632472423e-6,1.4373201404373117e-6,3.1093925767624325e-9,2.536804633342629e-9,3.970756192549742e-9 +IntegerToByteString/1/131/131,1.439511423450225e-6,1.438452141174119e-6,1.4407911974603918e-6,3.739538117479229e-9,2.964045041031199e-9,5.312023193633586e-9 +IntegerToByteString/1/132/132,1.4362465892824593e-6,1.4350736866091176e-6,1.4373857660511799e-6,3.850891662090154e-9,3.1134002947117683e-9,5.063323935937458e-9 +IntegerToByteString/1/133/133,1.446563261886536e-6,1.4447951961264576e-6,1.4488442162861558e-6,6.702858101470164e-9,5.3791624101426804e-9,9.62370418135104e-9 +IntegerToByteString/1/134/134,1.4427961345675236e-6,1.4414048133447382e-6,1.444055758104907e-6,4.421153510355277e-9,3.751004227698249e-9,5.36250394557124e-9 +IntegerToByteString/1/135/135,1.4382512707638826e-6,1.437119584296383e-6,1.4391592009091102e-6,3.5009979689252257e-9,2.9683912657813412e-9,4.287053288533659e-9 +IntegerToByteString/1/136/136,1.4448947512059724e-6,1.4436380304529538e-6,1.4461852595327748e-6,4.297783702647554e-9,3.686973681271616e-9,5.111640213684368e-9 +IntegerToByteString/1/137/137,1.444565841846796e-6,1.443504556886191e-6,1.446030169458991e-6,4.179760690752613e-9,2.972805626566253e-9,5.440518634541593e-9 +IntegerToByteString/1/138/138,1.4515245371569545e-6,1.4505737961550682e-6,1.4528617862566918e-6,3.743454856223139e-9,2.8175054914500767e-9,5.183448924762931e-9 +IntegerToByteString/1/139/139,1.4503942960370083e-6,1.4494607797433504e-6,1.4514304590796186e-6,3.4590825407932366e-9,2.780202663404667e-9,4.42671395109017e-9 +IntegerToByteString/1/140/140,1.4489181052957684e-6,1.4474623551072598e-6,1.4503431233011655e-6,4.62401801758311e-9,3.801894284283714e-9,5.849439912034285e-9 +IntegerToByteString/1/141/141,1.4467934235072133e-6,1.4454146479773401e-6,1.4483647057011175e-6,5.06052974134912e-9,4.357962552255563e-9,6.08316391787683e-9 +IntegerToByteString/1/142/142,1.4480190600429853e-6,1.4471182829359802e-6,1.4492766188867075e-6,3.429099406389869e-9,2.5909635750131863e-9,5.650606013923049e-9 +IntegerToByteString/1/143/143,1.444544372908037e-6,1.4431889979399213e-6,1.4470372443393092e-6,5.975569590686664e-9,3.509706782300911e-9,1.0569568253947106e-8 +IntegerToByteString/1/144/144,1.4400257651972292e-6,1.4392117177882188e-6,1.4412088984627256e-6,3.2076216137591807e-9,2.628582708666828e-9,4.128632642768643e-9 +IntegerToByteString/1/145/145,1.4526517843207444e-6,1.4514071967250444e-6,1.4562081371229023e-6,6.644581030223408e-9,3.277457887518336e-9,1.3148144440857995e-8 +IntegerToByteString/1/146/146,1.4544885666331796e-6,1.4531640302761866e-6,1.4556973734253873e-6,4.374162574749574e-9,3.3220470662905665e-9,5.843263473900472e-9 +IntegerToByteString/1/147/147,1.4519143435699467e-6,1.4501972682811628e-6,1.4543177071653503e-6,6.482758777935372e-9,4.658580671787816e-9,1.0589677884993022e-8 +IntegerToByteString/1/148/148,1.4508228819064051e-6,1.4493152747377616e-6,1.4535149786546322e-6,6.5638315188432465e-9,4.643127955296074e-9,1.0603540789144773e-8 +IntegerToByteString/1/149/149,1.4502066021401053e-6,1.4482784884460391e-6,1.4552187059311726e-6,9.58415316934107e-9,4.248245962381805e-9,2.0564261750567798e-8 +IntegerToByteString/1/150/150,1.4582265051520096e-6,1.456295600861505e-6,1.4606447018358207e-6,7.465858951067203e-9,6.591515117794836e-9,8.620094192507877e-9 +ByteStringToInteger/1/1,1.0843046050906887e-6,1.0827572058275265e-6,1.0872877293005896e-6,7.292742161773833e-9,3.5773939669886815e-9,1.4697111422435221e-8 +ByteStringToInteger/1/2,1.0880161769525205e-6,1.0844470596564347e-6,1.0909019470839676e-6,1.0756673742751568e-8,8.930888564909251e-9,1.3452846175748497e-8 +ByteStringToInteger/1/3,1.082567359561073e-6,1.0803567427359965e-6,1.085928011696915e-6,8.674484652270772e-9,6.7830182602599904e-9,1.3012220340107602e-8 +ByteStringToInteger/1/4,1.0863807253915077e-6,1.0843443932326284e-6,1.0896596182411363e-6,8.719892282632615e-9,7.263175946274902e-9,1.0991501742500884e-8 +ByteStringToInteger/1/5,1.089128728121862e-6,1.0861452074179958e-6,1.092330225505941e-6,1.0220465451944305e-8,8.985627535315812e-9,1.199876463535546e-8 +ByteStringToInteger/1/6,1.094675357218532e-6,1.0923193019757133e-6,1.0968597661335006e-6,7.567417735926795e-9,6.586874376361087e-9,8.786946365865794e-9 +ByteStringToInteger/1/7,1.0919998142310063e-6,1.0894465157895488e-6,1.0949863855713213e-6,9.07797399529778e-9,7.505892871728186e-9,1.1798412891676652e-8 +ByteStringToInteger/1/8,1.114786289774296e-6,1.113009238736312e-6,1.11682322970061e-6,6.273537496536176e-9,5.269346918566992e-9,7.484083605185466e-9 +ByteStringToInteger/1/9,1.095096535234352e-6,1.0926506358873904e-6,1.098018793975371e-6,9.590256720680557e-9,7.560627019962723e-9,1.382874770498945e-8 +ByteStringToInteger/1/10,1.1081662269962265e-6,1.1068401599812976e-6,1.1097470730619148e-6,4.626445081234179e-9,3.6348445904253377e-9,6.05620685529296e-9 +ByteStringToInteger/1/11,1.1073432065688353e-6,1.105291339877978e-6,1.1106159480291373e-6,8.5700266762377e-9,5.227792194824259e-9,1.4557412864920824e-8 +ByteStringToInteger/1/12,1.117008508087663e-6,1.1159169655666265e-6,1.118335787986288e-6,3.926654881848988e-9,3.1757655259715124e-9,5.2100895468028944e-9 +ByteStringToInteger/1/13,1.1148011632801375e-6,1.1127038167446942e-6,1.1176240533568118e-6,8.196497511690012e-9,5.7641407934293576e-9,1.3638910640512933e-8 +ByteStringToInteger/1/14,1.1166251520433433e-6,1.1141793437384778e-6,1.1186834244833596e-6,7.4237731012331936e-9,5.695626929398208e-9,1.0421033556535388e-8 +ByteStringToInteger/1/15,1.1142355544820431e-6,1.1121380159545255e-6,1.1160497113940933e-6,6.914881715952598e-9,5.5315258878849305e-9,9.068202966072642e-9 +ByteStringToInteger/1/16,1.133463722824664e-6,1.131656671434256e-6,1.1352387795919171e-6,6.039956524880929e-9,5.2236625904719135e-9,7.096485455749456e-9 +ByteStringToInteger/1/17,1.1177060309961929e-6,1.1161815771415235e-6,1.1188532998211939e-6,4.6489217661776906e-9,3.632500371243845e-9,6.027150520580337e-9 +ByteStringToInteger/1/18,1.121648963820225e-6,1.1195208666103717e-6,1.1247378621841294e-6,8.384743890529568e-9,6.8125838870605924e-9,9.783961181416197e-9 +ByteStringToInteger/1/19,1.1202083280082563e-6,1.117711048669983e-6,1.1224906033615028e-6,7.840482787603093e-9,6.2519855553113845e-9,1.0095460448985783e-8 +ByteStringToInteger/1/20,1.1487060250625092e-6,1.1458231849372478e-6,1.1517383837770696e-6,9.419964174699681e-9,8.424786867959158e-9,1.076274146839232e-8 +ByteStringToInteger/1/21,1.1245461249951322e-6,1.1232139202796166e-6,1.126211853410324e-6,4.873250534322178e-9,4.037539367663241e-9,6.105873140464451e-9 +ByteStringToInteger/1/22,1.1579009457284268e-6,1.155243924524005e-6,1.1601337395835528e-6,7.758204174316053e-9,6.694301016748895e-9,9.843799843313992e-9 +ByteStringToInteger/1/23,1.1318234130261054e-6,1.1307813305893218e-6,1.133113035334653e-6,3.889513550115082e-9,2.624477197634914e-9,6.58046923068821e-9 +ByteStringToInteger/1/24,1.1349446729831558e-6,1.1334516908365468e-6,1.1360584312555082e-6,4.377930232584149e-9,3.127681644466507e-9,6.246718671135385e-9 +ByteStringToInteger/1/25,1.1423130324607164e-6,1.1405840482527848e-6,1.143725769554445e-6,5.187136659470579e-9,4.462867084908962e-9,6.070370830625316e-9 +ByteStringToInteger/1/26,1.1622754864842173e-6,1.1609044459229594e-6,1.1638740581262347e-6,4.945390328187222e-9,4.153924510367678e-9,6.5708219872947995e-9 +ByteStringToInteger/1/27,1.1425856841965561e-6,1.1409818867478065e-6,1.144278919764687e-6,5.772898223854551e-9,4.999108155331167e-9,6.769868070709212e-9 +ByteStringToInteger/1/28,1.1594605751752506e-6,1.1578503095518316e-6,1.1609261954471606e-6,5.226983271308682e-9,4.420278283993844e-9,6.387424394891329e-9 +ByteStringToInteger/1/29,1.1478060888202454e-6,1.1457565742186661e-6,1.149583403236022e-6,6.331336323224795e-9,5.463646529006282e-9,7.818177913872315e-9 +ByteStringToInteger/1/30,1.1533233777817553e-6,1.15060350950661e-6,1.1553771842694029e-6,7.999719444444117e-9,6.072898560375964e-9,9.927040714952165e-9 +ByteStringToInteger/1/31,1.1646102109212602e-6,1.16178504380823e-6,1.1671329972614445e-6,9.405828027836335e-9,7.851682113429928e-9,1.1005063194022037e-8 +ByteStringToInteger/1/32,1.175374475012719e-6,1.1735734039250145e-6,1.1770714983684016e-6,5.931127656430752e-9,4.676581857370924e-9,7.223096915897816e-9 +ByteStringToInteger/1/33,1.1606536741891224e-6,1.1583926985314882e-6,1.162527244729798e-6,6.9678290055896325e-9,5.301301739283815e-9,8.614562254639178e-9 +ByteStringToInteger/1/34,1.1854663404390214e-6,1.1837503188704242e-6,1.187408520962163e-6,6.004606355582406e-9,5.162285544659402e-9,7.524420434410757e-9 +ByteStringToInteger/1/35,1.1578553044331034e-6,1.1553875160618629e-6,1.160037153059472e-6,7.613344357150422e-9,6.415026679741131e-9,8.75964694843375e-9 +ByteStringToInteger/1/36,1.1781082723800346e-6,1.1765716596912317e-6,1.1796916677333686e-6,5.349207724681571e-9,4.493761343454866e-9,6.377931824936639e-9 +ByteStringToInteger/1/37,1.1556814551794522e-6,1.1546838823666021e-6,1.1572079771711976e-6,4.144943688284716e-9,3.3987579302594167e-9,5.348859143760274e-9 +ByteStringToInteger/1/38,1.1606744197242964e-6,1.158549610520415e-6,1.1628444058078326e-6,7.369234546429469e-9,6.311869155391381e-9,9.485092756773287e-9 +ByteStringToInteger/1/39,1.1686793965948119e-6,1.1672470919640892e-6,1.1699464667237316e-6,4.686987981738019e-9,3.6935278102036665e-9,6.143639625434773e-9 +ByteStringToInteger/1/40,1.1641022952371008e-6,1.1626311096121236e-6,1.165726758804158e-6,5.1315981154182e-9,4.506579511032674e-9,5.919361258906855e-9 +ByteStringToInteger/1/41,1.1735742814473165e-6,1.1729064608530866e-6,1.1743139702103106e-6,2.466183508072464e-9,2.101273416018613e-9,2.9177967539119917e-9 +ByteStringToInteger/1/42,1.1878154906499163e-6,1.1862183588163764e-6,1.1893414910824223e-6,5.247069494477242e-9,4.572424018295424e-9,6.0844093225809255e-9 +ByteStringToInteger/1/43,1.177133006036979e-6,1.176002480340996e-6,1.1783336101372466e-6,3.801687156199231e-9,3.1011451526045112e-9,4.8751000735561735e-9 +ByteStringToInteger/1/44,1.1927988995680992e-6,1.1905078606731676e-6,1.1951874021873436e-6,8.212780902770511e-9,7.084222303052315e-9,9.599227867691204e-9 +ByteStringToInteger/1/45,1.1871316212272698e-6,1.1842748914044636e-6,1.1900007567444154e-6,9.20327257326014e-9,8.333997477552578e-9,1.0459265625399785e-8 +ByteStringToInteger/1/46,1.205120810078235e-6,1.2030058449447661e-6,1.2067061043344725e-6,6.2429662933214886e-9,5.068418165446687e-9,7.889340581224808e-9 +ByteStringToInteger/1/47,1.2005945222414063e-6,1.1994952256324893e-6,1.2019237543781814e-6,4.0347734361045345e-9,3.440478018683004e-9,4.771606427574814e-9 +ByteStringToInteger/1/48,1.194029508793993e-6,1.191902563700112e-6,1.1955443817161674e-6,6.29402690708808e-9,4.90000478158545e-9,9.226505140691787e-9 +ByteStringToInteger/1/49,1.1910959951206155e-6,1.1897233232548204e-6,1.1923739362003126e-6,4.7204991778750285e-9,4.0982180639897365e-9,5.474736866389282e-9 +ByteStringToInteger/1/50,1.209506249272022e-6,1.2070656926331096e-6,1.2117934016009755e-6,7.961420376497666e-9,6.940296968034468e-9,9.55785906189707e-9 +ByteStringToInteger/1/51,1.2145743869493586e-6,1.2123842170397786e-6,1.2167941950716846e-6,7.588179194533594e-9,6.291389669057122e-9,8.940884353056835e-9 +ByteStringToInteger/1/52,1.208658529771845e-6,1.205635484570982e-6,1.211299642900893e-6,9.322585170276268e-9,8.436007290551464e-9,1.0225636673410527e-8 +ByteStringToInteger/1/53,1.219206836784374e-6,1.2172956151868951e-6,1.2206913804643137e-6,5.561546110177043e-9,4.481047849017567e-9,7.684312145498158e-9 +ByteStringToInteger/1/54,1.227319996641511e-6,1.225453161394511e-6,1.229080449541165e-6,6.1060004102138975e-9,5.110884628508952e-9,7.707254581525076e-9 +ByteStringToInteger/1/55,1.217277115021442e-6,1.2147924963543764e-6,1.2190718979013908e-6,6.797811557386315e-9,4.999926117189036e-9,1.0055008998306117e-8 +ByteStringToInteger/1/56,1.2264440442538587e-6,1.2243923123423772e-6,1.2289162431774603e-6,7.706126313515488e-9,6.540098561683809e-9,9.241079519966663e-9 +ByteStringToInteger/1/57,1.2376344359029317e-6,1.2366237015557966e-6,1.2387261001355226e-6,3.458746370208302e-9,2.9213153848825184e-9,4.334638037745273e-9 +ByteStringToInteger/1/58,1.2305789255125538e-6,1.2288807623050452e-6,1.231779691864232e-6,4.6379322152779546e-9,3.3436473846350545e-9,7.115794471652728e-9 +ByteStringToInteger/1/59,1.2270130741792312e-6,1.223358471746325e-6,1.2308075372396943e-6,1.263561168247962e-8,1.0917481834737555e-8,1.4640322624711395e-8 +ByteStringToInteger/1/60,1.2377110170378248e-6,1.234293314158498e-6,1.2401293168665696e-6,9.72385712043995e-9,7.659180838097399e-9,1.201867971132047e-8 +ByteStringToInteger/1/61,1.2164063228864117e-6,1.214575798925025e-6,1.2183396186020378e-6,6.1157300526342385e-9,4.9041071667738256e-9,8.276787559200438e-9 +ByteStringToInteger/1/62,1.236294237509939e-6,1.233995915942317e-6,1.2388841526862293e-6,7.969229140210482e-9,6.574056976870137e-9,9.988401068144021e-9 +ByteStringToInteger/1/63,1.2341523614853624e-6,1.232228597669506e-6,1.2362180958608186e-6,6.8454138363684645e-9,5.728224226281205e-9,8.404894330780237e-9 +ByteStringToInteger/1/64,1.2314693276459727e-6,1.2296706412710963e-6,1.233218070554435e-6,5.938899514173861e-9,5.1346407714035595e-9,7.086236820564955e-9 +ByteStringToInteger/1/65,1.24200585811556e-6,1.2392906696222165e-6,1.2449241557017018e-6,9.669857914556992e-9,8.241419674653512e-9,1.2312316096530326e-8 +ByteStringToInteger/1/66,1.2458433685091307e-6,1.2436405420536768e-6,1.2472458589802528e-6,5.541065702690229e-9,3.1210360022184175e-9,8.922626067882744e-9 +ByteStringToInteger/1/67,1.2381934676471626e-6,1.2365792281728044e-6,1.2398979663731566e-6,5.660557412022399e-9,4.7055439120860355e-9,6.907353495249037e-9 +ByteStringToInteger/1/68,1.2520167230201738e-6,1.2490673993348876e-6,1.2535954985473427e-6,6.9630869541966426e-9,4.25694788383103e-9,1.0447685501670974e-8 +ByteStringToInteger/1/69,1.2560522262231363e-6,1.253744659651637e-6,1.258149696208767e-6,7.81067808437327e-9,6.9878372192783306e-9,8.998608466310852e-9 +ByteStringToInteger/1/70,1.2480011583377187e-6,1.246233919359845e-6,1.2501339078153202e-6,6.452111615515923e-9,5.262731754111351e-9,8.550913931852527e-9 +ByteStringToInteger/1/71,1.2511385624849614e-6,1.2495705620578979e-6,1.2530287526500936e-6,5.883141971811919e-9,5.0892484507996205e-9,6.8272066410741705e-9 +ByteStringToInteger/1/72,1.2587871386913513e-6,1.2555536974452924e-6,1.261289661241872e-6,9.539409329406688e-9,7.2166890399010465e-9,1.2251442088762244e-8 +ByteStringToInteger/1/73,1.2439484256973763e-6,1.242453288021382e-6,1.245711550156539e-6,5.619796214614795e-9,4.7950237850342706e-9,6.808286583593282e-9 +ByteStringToInteger/1/74,1.2502139253110029e-6,1.2493392989957525e-6,1.251090325950744e-6,2.954389020324301e-9,2.41992446027237e-9,4.1396726096243085e-9 +ByteStringToInteger/1/75,1.2705405949341073e-6,1.268761808162569e-6,1.2723900200322557e-6,6.02920431723088e-9,5.201676381116901e-9,7.071639822993027e-9 +ByteStringToInteger/1/76,1.2648293712836822e-6,1.2632235374447465e-6,1.266437246389935e-6,5.482871958546179e-9,4.700683698507561e-9,6.3165713298296436e-9 +ByteStringToInteger/1/77,1.2669086369201688e-6,1.2647851047614745e-6,1.268879151015724e-6,7.097559238602207e-9,6.369933577780141e-9,7.949002562848425e-9 +ByteStringToInteger/1/78,1.2683402770406634e-6,1.2665913674910244e-6,1.2699592700154952e-6,5.4819369579501425e-9,4.684255303340669e-9,6.657873924194202e-9 +ByteStringToInteger/1/79,1.260176106592135e-6,1.2594445318914323e-6,1.2612623632202451e-6,2.872140576684353e-9,2.192290576612622e-9,4.425367007502592e-9 +ByteStringToInteger/1/80,1.285246264732785e-6,1.281404174239395e-6,1.2881773885683264e-6,1.1342028710308079e-8,7.826017455744423e-9,1.4185579033592326e-8 +ByteStringToInteger/1/81,1.290728633421612e-6,1.2893520704619301e-6,1.2922639190581814e-6,4.806097660850897e-9,4.085472288535097e-9,5.700231827832832e-9 +ByteStringToInteger/1/82,1.2783635006622634e-6,1.2756214398500508e-6,1.2809201615909523e-6,8.876030576338887e-9,7.56624676977689e-9,1.0581655285494022e-8 +ByteStringToInteger/1/83,1.2899406607574097e-6,1.2886104564069808e-6,1.2912086039445027e-6,4.3916033079774976e-9,3.6485238516414193e-9,5.386286885991471e-9 +ByteStringToInteger/1/84,1.2717742378696857e-6,1.2702689559667317e-6,1.273095657649975e-6,4.9440323450874156e-9,4.107734234419091e-9,6.228118818688559e-9 +ByteStringToInteger/1/85,1.2929486190579021e-6,1.2909172716373108e-6,1.2954595002696446e-6,7.803367801973637e-9,6.191727691030335e-9,1.0050648950285063e-8 +ByteStringToInteger/1/86,1.2892857269583644e-6,1.2864677879220784e-6,1.2913675991245646e-6,8.453587892994667e-9,6.3324235845896825e-9,1.1129055445040583e-8 +ByteStringToInteger/1/87,1.3041469078957258e-6,1.3022204404832512e-6,1.3059657593996338e-6,6.0731650653756544e-9,4.856193716287709e-9,7.849460340438191e-9 +ByteStringToInteger/1/88,1.2948531005202684e-6,1.2928699343431268e-6,1.2969188180042403e-6,7.017891155201314e-9,6.124033255097442e-9,8.185557692694463e-9 +ByteStringToInteger/1/89,1.3040047496431073e-6,1.3020642741000649e-6,1.3058322718719462e-6,6.6997722599005204e-9,5.850233131474459e-9,8.025624861196613e-9 +ByteStringToInteger/1/90,1.3025230924127637e-6,1.2990857301488939e-6,1.3049650829150672e-6,9.400322874978582e-9,7.34687754128554e-9,1.207864728151093e-8 +ByteStringToInteger/1/91,1.3151902962053713e-6,1.3139798108365762e-6,1.3167189051025538e-6,4.860127942660711e-9,4.338003372198002e-9,5.470352399919105e-9 +ByteStringToInteger/1/92,1.3158473755006424e-6,1.3129212121423865e-6,1.3183098905421121e-6,8.961829221554123e-9,7.132033016586042e-9,1.057972371458405e-8 +ByteStringToInteger/1/93,1.3214088960119807e-6,1.3198052797645434e-6,1.3231162811479758e-6,5.6072631875551724e-9,4.949526696304296e-9,6.688461067683112e-9 +ByteStringToInteger/1/94,1.306408664649192e-6,1.3037252524997025e-6,1.3092694609875577e-6,9.884187683657128e-9,8.57411928486059e-9,1.1408345950540874e-8 +ByteStringToInteger/1/95,1.3131034366257995e-6,1.3114158387527117e-6,1.315228743101662e-6,6.379233616453744e-9,5.3524470019976105e-9,7.819501251346927e-9 +ByteStringToInteger/1/96,1.3104400609983633e-6,1.3091802286852896e-6,1.311995362076035e-6,4.588353996648321e-9,3.5303520379923527e-9,6.059148039828145e-9 +ByteStringToInteger/1/97,1.316079071489908e-6,1.3151914726434248e-6,1.316835229501128e-6,2.7164175484933936e-9,2.2416918159866675e-9,3.6343462484935523e-9 +ByteStringToInteger/1/98,1.319645316320893e-6,1.3179976694535182e-6,1.321675781859669e-6,6.091163338873198e-9,4.541583668808384e-9,1.0021513670395807e-8 +ByteStringToInteger/1/99,1.328205704905106e-6,1.326633864307577e-6,1.3297445857556262e-6,5.415030812051343e-9,4.648316429318188e-9,6.390418378098242e-9 +ByteStringToInteger/1/100,1.321833003794405e-6,1.3204979974029657e-6,1.3233658481339213e-6,4.825851314938217e-9,3.589111958704579e-9,6.198204553331382e-9 +ByteStringToInteger/1/101,1.3231269102366806e-6,1.321891274480782e-6,1.324512344365929e-6,4.290276022776233e-9,3.6411145217141642e-9,5.07497147017079e-9 +ByteStringToInteger/1/102,1.3310007545070232e-6,1.328545310646999e-6,1.3334552288252295e-6,8.476457501552224e-9,7.186559489200876e-9,1.029653005839072e-8 +ByteStringToInteger/1/103,1.3439563766699115e-6,1.340985977602899e-6,1.3467256665726348e-6,9.855970907923657e-9,7.803643623184654e-9,1.2103747361301413e-8 +ByteStringToInteger/1/104,1.3443018581508726e-6,1.3414266156689528e-6,1.3471038197171878e-6,9.656927449404406e-9,7.82489303159856e-9,1.2963065233565725e-8 +ByteStringToInteger/1/105,1.350187483890801e-6,1.3490080518072779e-6,1.3512204146399489e-6,3.737470696317531e-9,3.2233941178962718e-9,4.5355977062083164e-9 +ByteStringToInteger/1/106,1.338893709821202e-6,1.3347754540643663e-6,1.3425190234265636e-6,1.2535098186890171e-8,1.0814530123377777e-8,1.515866762796751e-8 +ByteStringToInteger/1/107,1.3577740750223583e-6,1.356603705375525e-6,1.358948818063309e-6,3.7027973830066675e-9,3.1500029687926834e-9,4.710370640164695e-9 +ByteStringToInteger/1/108,1.347848100773505e-6,1.3461643986457874e-6,1.3491653989665211e-6,4.999896229616281e-9,3.5178106057338767e-9,7.28838732803345e-9 +ByteStringToInteger/1/109,1.3569333226820462e-6,1.3541272968305167e-6,1.3589152838582416e-6,7.921008256032814e-9,5.981537675708403e-9,1.085091389200554e-8 +ByteStringToInteger/1/110,1.3489999140704643e-6,1.346714505449356e-6,1.3508362225920146e-6,6.825638065911641e-9,5.560024641671179e-9,8.928582366199341e-9 +ByteStringToInteger/1/111,1.3535624914000874e-6,1.3527412487512122e-6,1.354592592473862e-6,3.2883404250336526e-9,2.7325790790355414e-9,4.011771977601207e-9 +ByteStringToInteger/1/112,1.3620546936242814e-6,1.358549753833747e-6,1.3653048952776055e-6,1.1263464845050171e-8,9.469874051074731e-9,1.3590543940002086e-8 +ByteStringToInteger/1/113,1.3585462587697449e-6,1.356372204998935e-6,1.3607634314097416e-6,7.0300421208042336e-9,6.12094222689182e-9,8.07391212756655e-9 +ByteStringToInteger/1/114,1.3539884501560507e-6,1.3529051808767565e-6,1.355288655894627e-6,4.100085427932025e-9,3.37286301107628e-9,5.039137458662833e-9 +ByteStringToInteger/1/115,1.3721970428768924e-6,1.3695960770478483e-6,1.374527033921962e-6,8.31247877027435e-9,6.4569189587511095e-9,1.0370150487915528e-8 +ByteStringToInteger/1/116,1.371170813503275e-6,1.3674248616346664e-6,1.3743722641078363e-6,1.1765081234021946e-8,1.0078705981404086e-8,1.43523553941135e-8 +ByteStringToInteger/1/117,1.3646938581603344e-6,1.3620893400206252e-6,1.3668262624889861e-6,7.634519981646303e-9,6.522235061400893e-9,9.530881278700554e-9 +ByteStringToInteger/1/118,1.3791719033937023e-6,1.3770810518441148e-6,1.3819604997954408e-6,8.056230037592664e-9,6.627312284691815e-9,1.2002774959127002e-8 +ByteStringToInteger/1/119,1.3765057231765003e-6,1.3752983852177207e-6,1.3778109218691482e-6,4.1360393724740554e-9,3.5218571203193422e-9,4.832304325602116e-9 +ByteStringToInteger/1/120,1.3780665345105143e-6,1.375881946574561e-6,1.3809144353275632e-6,8.4683875674875e-9,6.416241538096869e-9,1.2623878491041768e-8 +ByteStringToInteger/1/121,1.388353083897649e-6,1.3863102859998541e-6,1.3902302290425684e-6,6.856704755226264e-9,5.524139876478202e-9,8.396051403440138e-9 +ByteStringToInteger/1/122,1.3738676770996014e-6,1.3714912690664592e-6,1.3767300915138372e-6,8.435216315055073e-9,7.4341031987381116e-9,9.725584435834854e-9 +ByteStringToInteger/1/123,1.3801865678853862e-6,1.378960250298285e-6,1.3815079269449792e-6,4.373726408625017e-9,3.6776294286116857e-9,5.254297352065064e-9 +ByteStringToInteger/1/124,1.3879015917299387e-6,1.3855591842090734e-6,1.3903690917794004e-6,8.510551457368612e-9,7.2406024188284554e-9,1.0810209544366012e-8 +ByteStringToInteger/1/125,1.38921091900132e-6,1.387517923024469e-6,1.3912251972543504e-6,6.233555459505086e-9,4.8361670495192515e-9,7.560637495911686e-9 +ByteStringToInteger/1/126,1.3811375511564952e-6,1.379262753932644e-6,1.3829313908342782e-6,6.286997840262837e-9,4.987997621633362e-9,8.319526513203633e-9 +ByteStringToInteger/1/127,1.4008580480492584e-6,1.3987800956224675e-6,1.4033988738086749e-6,7.161775881345885e-9,5.915211962804171e-9,8.33544872076106e-9 +ByteStringToInteger/1/128,1.3920362558231393e-6,1.3898115168397983e-6,1.3957488318373997e-6,9.97315135141026e-9,6.829609623530567e-9,1.649477024995282e-8 +ByteStringToInteger/1/129,1.3933365339814735e-6,1.392269845648748e-6,1.394495205208418e-6,3.744819335672191e-9,3.070247235758057e-9,4.662695118268927e-9 +ByteStringToInteger/1/130,1.3908881647462122e-6,1.3882441311092232e-6,1.3930340891611535e-6,8.312388833956357e-9,6.665047870074511e-9,1.219498945383397e-8 +ByteStringToInteger/1/131,1.4049954298497413e-6,1.4025269952624914e-6,1.4072768916404683e-6,8.115171522622627e-9,7.2980633757735e-9,9.108585741845098e-9 +ByteStringToInteger/1/132,1.4020877693496413e-6,1.4008642937063e-6,1.40372415580987e-6,4.803343392328667e-9,3.684204901991729e-9,6.890304280281566e-9 +ByteStringToInteger/1/133,1.3982902022299314e-6,1.3974218660964447e-6,1.3993577405375827e-6,3.1952765977128405e-9,2.73225473963573e-9,3.946277458094976e-9 +ByteStringToInteger/1/134,1.4105718522251626e-6,1.4086522797841371e-6,1.4124042780869796e-6,6.3568589703826865e-9,5.337955696309797e-9,8.113074923285479e-9 +ByteStringToInteger/1/135,1.4159679825466285e-6,1.4145933457566807e-6,1.4177040338797518e-6,5.186549189765025e-9,4.067883754267275e-9,6.627645183020666e-9 +ByteStringToInteger/1/136,1.4103591835314413e-6,1.408647594846758e-6,1.4123896083819532e-6,6.362342783420518e-9,5.407902606630467e-9,7.601214583405306e-9 +ByteStringToInteger/1/137,1.4207666925972735e-6,1.4195498630335246e-6,1.422120577539574e-6,4.385180036783869e-9,3.606622700172482e-9,5.361260320862059e-9 +ByteStringToInteger/1/138,1.4150657331704206e-6,1.4129146641878134e-6,1.4175902067423323e-6,8.135498121937799e-9,6.677164360057123e-9,9.625396113651632e-9 +ByteStringToInteger/1/139,1.4183034238614934e-6,1.4170865087253034e-6,1.4194721140894918e-6,4.074339059458521e-9,3.3112024351893335e-9,4.999018155687164e-9 +ByteStringToInteger/1/140,1.4208818828901124e-6,1.4172654083765121e-6,1.4244056104185995e-6,1.2370241334905816e-8,1.1087161273889808e-8,1.4628644282440472e-8 +ByteStringToInteger/1/141,1.4186900871043547e-6,1.417003125551414e-6,1.4205058908214597e-6,6.176600097347032e-9,5.650353817139741e-9,6.902283666834842e-9 +ByteStringToInteger/1/142,1.4234489439038064e-6,1.4224320246064462e-6,1.4279431398122682e-6,5.672535556917788e-9,2.218173747420932e-9,1.1867226402820716e-8 +ByteStringToInteger/1/143,1.4367046373513539e-6,1.4343145132730663e-6,1.4388473945715574e-6,7.633989546037365e-9,6.030300215596868e-9,9.366284453278565e-9 +ByteStringToInteger/1/144,1.4303261903323431e-6,1.4275585616604873e-6,1.4328476414058704e-6,8.604635212586486e-9,7.612740401591165e-9,1.0115983994241174e-8 +ByteStringToInteger/1/145,1.4492493680269324e-6,1.4460837904929089e-6,1.45287931416029e-6,1.1650322475495137e-8,1.0171141903658785e-8,1.3536333132811662e-8 +ByteStringToInteger/1/146,1.4331013412091362e-6,1.4313433972604668e-6,1.4346085423727092e-6,5.5088376472420585e-9,4.637822869046753e-9,6.775304843942108e-9 +ByteStringToInteger/1/147,1.4474168837221858e-6,1.4458765552569934e-6,1.4492030617831726e-6,5.566318951578103e-9,4.421133222541973e-9,7.038820033559235e-9 +ByteStringToInteger/1/148,1.4374341288040269e-6,1.4352539378530667e-6,1.44078445618304e-6,9.12917127927227e-9,6.7753577285472215e-9,1.326871473752029e-8 +ByteStringToInteger/1/149,1.4526936514219753e-6,1.4505915717993407e-6,1.4550621990678717e-6,7.331822611349177e-9,6.1298223385744765e-9,8.821295882940523e-9 +ByteStringToInteger/1/150,1.4384937222997984e-6,1.4368485812382808e-6,1.440319185671191e-6,6.0426807523932625e-9,4.10147217207021e-9,9.375289617054806e-9 diff --git a/plutus-core/cost-model/data/builtinCostModelA.json b/plutus-core/cost-model/data/builtinCostModelA.json index eddf7c7da81..b01fb77e827 100644 --- a/plutus-core/cost-model/data/builtinCostModelA.json +++ b/plutus-core/cost-model/data/builtinCostModelA.json @@ -294,9 +294,9 @@ "byteStringToInteger": { "cpu": { "arguments": { - "c0": 1006041, - "c1": 43623, - "c2": 251 + "c0": 1080984, + "c1": 2494, + "c2": 0 }, "type": "quadratic_in_y" }, @@ -526,9 +526,9 @@ "integerToByteString": { "cpu": { "arguments": { - "c0": 1293828, - "c1": 28716, - "c2": 63 + "c0": 1364165, + "c1": 539, + "c2": 0 }, "type": "quadratic_in_z" }, diff --git a/plutus-core/cost-model/data/builtinCostModelB.json b/plutus-core/cost-model/data/builtinCostModelB.json index 579f90d755a..7dcb150f0b3 100644 --- a/plutus-core/cost-model/data/builtinCostModelB.json +++ b/plutus-core/cost-model/data/builtinCostModelB.json @@ -294,9 +294,9 @@ "byteStringToInteger": { "cpu": { "arguments": { - "c0": 1006041, - "c1": 43623, - "c2": 251 + "c0": 1080984, + "c1": 2494, + "c2": 0 }, "type": "quadratic_in_y" }, @@ -526,9 +526,9 @@ "integerToByteString": { "cpu": { "arguments": { - "c0": 1293828, - "c1": 28716, - "c2": 63 + "c0": 1364165, + "c1": 539, + "c2": 0 }, "type": "quadratic_in_z" }, diff --git a/plutus-core/cost-model/data/builtinCostModelC.json b/plutus-core/cost-model/data/builtinCostModelC.json index 956bb15876a..402f1664817 100644 --- a/plutus-core/cost-model/data/builtinCostModelC.json +++ b/plutus-core/cost-model/data/builtinCostModelC.json @@ -294,9 +294,9 @@ "byteStringToInteger": { "cpu": { "arguments": { - "c0": 1006041, - "c1": 43623, - "c2": 251 + "c0": 1080984, + "c1": 2494, + "c2": 0 }, "type": "quadratic_in_y" }, @@ -531,9 +531,9 @@ "integerToByteString": { "cpu": { "arguments": { - "c0": 1293828, - "c1": 28716, - "c2": 63 + "c0": 1364165, + "c1": 539, + "c2": 0 }, "type": "quadratic_in_z" }, diff --git a/plutus-core/cost-model/data/models.R b/plutus-core/cost-model/data/models.R index 8a27aee49ca..6ad3046b5e6 100644 --- a/plutus-core/cost-model/data/models.R +++ b/plutus-core/cost-model/data/models.R @@ -50,7 +50,7 @@ discard.upper.outliers <- function(fr) { nrows = nrow(fr) new.nrows = nrow(new.fr) if (new.nrows <= 0.9 * nrows) { - cat (sprintf ("*** WARNING: %d outliers have been discarded from %d datapoints for %s\n", nrows-new.nrows, nrows, fname )); + cat (sprintf ("#* WARNING [%s]: %d outliers have been discarded from %d datapoints for %s\n", fname, nrows-new.nrows, nrows)); } return (new.fr) } @@ -219,8 +219,8 @@ adjustModel <- function (r, fname) { default <- 1/1000 ## 1 ns, or 1000 ps (remember: we're working in µs here) ensurePositive <- function(x, name) { if (x<0) { - cat (sprintf("** WARNING: a negative coefficient %f for %s occurred in the model for %s. This has been adjusted to %s.\n", - x, name, fname, default)) + cat (sprintf("# WARNING [%s]: negative coefficient %f for %s has been adjusted to %s.\n", + fname, x, name, default)) default } else x @@ -699,7 +699,7 @@ modelFun <- function(path) { fname <- "EqualsData" filtered <- data %>% filter.and.check.nonempty(fname) if (!identical(filtered$x_mem, filtered$y_mem)) - cat(sprintf ("* WARNING: x_mem and y_mem differ in %s: inferred model may be inaccurate\n", fname)) + cat(sprintf ("* WARNING [%s]: x_mem and y_mem differ: inferred model may be inaccurate\n", fname)) m <- fit.fan(filtered) v <- coefficients(m) names(v) <- c("(Intercept)", "pmin(x_mem, y_mem)") @@ -757,11 +757,33 @@ modelFun <- function(path) { ## pad the output to width w. Experiments show that the padding cost is ## negligible in comparison to the conversion cost, so it's safe to base the ## cost purely on the size of n. + + ## The original implementations of integerToByteString and + ## byteStringToInteger had quadratic time complexity, but they were later + ## improved to be linear. For backward compatibility we have to maintain + ## the original quadratic form, and for the new implementations lm will fit + ## a quadratic model with a small nonzero (and possibly negative) leading + ## coefficient. This can become significant when scaled up to a costing + ## integer, so we check that it's relatively small and set it to zero if so, + ## makeing the model effectively linear; if the leading coefficient is + ## bigger than expected then we leave it unaltered and return the original + ## quadratic model. + integerToByteStringModel <- { fname <- "IntegerToByteString" filtered <- data %>% filter.and.check.nonempty(fname) m <- lm(t ~ I(z_mem) + I(z_mem^2), filtered) + + q <- m$coefficients[3] + if (abs(q) > 1e-6) { + cat (sprintf ("# WARNING [%s]: model appears to be truly quadratic: leading coefficient is %.3g.\n", + fname, q)) + } else { + cat (sprintf("# INFO [%s]: insignificant quadratic coefficient %.3g has been adjusted to zero.\n", fname, q)) + m$coefficients[3] <- 0 + } + mk.result(m, "quadratic_in_z") } @@ -770,6 +792,17 @@ modelFun <- function(path) { filtered <- data %>% filter.and.check.nonempty(fname) m <- lm(t ~ I(y_mem) + I(y_mem^2), filtered) + + ## See note about quadratic versus linear model before integerToByteStringModel. + q <- m$coefficients[3] + if (abs(q) > 1e-6) { + cat (sprintf ("# WARNING [%s]: model appears to be truly quadratic: leading coefficient is %.3g.\n", + fname, q)) + } else { + cat (sprintf("# INFO [%s]: insignificant quadratic coefficient %.3g has been adjusted to zero.\n", fname, q)) + m$coefficients[3] <- 0 + } + mk.result(m, "quadratic_in_y") } @@ -936,7 +969,7 @@ modelFun <- function(path) { ## The integer division functions have a complex costing behaviour that requires some negative ## coefficients to get accurate results. Because of this they are excluded from adjustModels: ## the Haskell code receives the raw model and takes care of the (unlikely) case when a negative - ## value is returned itself (using a minimm value returned from R as an extra parameter). Any + ## value is returned itself (using a minimum value returned from R as an extra parameter). Any ## other builtins which need a non-monotonic costing function should be treated similarly. unadjusted.models <- list ( From 71783cecbfa26787294182f650976297f10aa3a8 Mon Sep 17 00:00:00 2001 From: kwxm Date: Tue, 16 Dec 2025 06:59:24 +0000 Subject: [PATCH 2/5] Update budget test results --- plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval | 2 +- .../bls12-381-costs/test/9.6/bls12-381-costs.golden | 8 ++++---- .../big-endian/all-zeros/all-zeros.uplc.budget.expected | 2 +- .../correct-output/correct-output.uplc.budget.expected | 2 +- .../big-endian/empty/empty.uplc.budget.expected | 2 +- .../leading-zeros/leading-zeros.uplc.budget.expected | 2 +- .../both-endian/both-endian.uplc.budget.expected | 2 +- .../all-zeros/all-zeros.uplc.budget.expected | 2 +- .../correct-output/correct-output.uplc.budget.expected | 2 +- .../little-endian/empty/empty.uplc.budget.expected | 2 +- .../trailing-zeros/trailing-zeros.uplc.budget.expected | 2 +- .../correct-output-exact-width.uplc.budget.expected | 2 +- .../correct-output-extra-width.uplc.budget.expected | 2 +- .../max-input-fits-max-width.uplc.budget.expected | 2 +- .../maximum-width-zero.uplc.budget.expected | 2 +- .../big-endian/bounded/zero/zero.uplc.budget.expected | 2 +- .../correct-output/correct-output.uplc.budget.expected | 2 +- .../maximum-input/maximum-input.uplc.budget.expected | 2 +- .../big-endian/unbounded/zero/zero.uplc.budget.expected | 2 +- .../correct-output-exact-width.uplc.budget.expected | 2 +- .../correct-output-extra-width.uplc.budget.expected | 2 +- .../max-input-fits-max-width.uplc.budget.expected | 2 +- .../maximum-width-zero.uplc.budget.expected | 2 +- .../little-endian/bounded/zero/zero.uplc.budget.expected | 2 +- .../correct-output/correct-output.uplc.budget.expected | 2 +- .../maximum-input/maximum-input.uplc.budget.expected | 2 +- .../unbounded/zero/zero.uplc.budget.expected | 2 +- 27 files changed, 30 insertions(+), 30 deletions(-) diff --git a/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval b/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval index c8f1c1200fe..64f6103ca3d 100644 --- a/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval +++ b/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval @@ -1,4 +1,4 @@ -CPU: 1_628_853_655_874 +CPU: 1_628_939_350_255 Memory: 4_738_061_278 AST Size: 3_319 Flat Size: 5_260 diff --git a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden index d974e847463..787e297ef5d 100644 --- a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden +++ b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden @@ -103,7 +103,7 @@ VRF example n Script size CPU usage Memory usage ---------------------------------------------------------------------- - - 659 (4.0%) 1218013138 (12.2%) 31647 (0.2%) + - 659 (4.0%) 1217919549 (12.2%) 31647 (0.2%) G1 Verify @@ -127,19 +127,19 @@ Aggregate Multi Key n Script size CPU usage Memory usage ---------------------------------------------------------------------- - - 1786 (10.9%) 3423350991 (34.2%) 280881 (2.0%) + - 1786 (10.9%) 3423257402 (34.2%) 280881 (2.0%) Schnorr Signature G1 n Script size CPU usage Memory usage ---------------------------------------------------------------------- - - 341 (2.1%) 319518466 (3.2%) 10594 (0.1%) + - 341 (2.1%) 319331288 (3.2%) 10594 (0.1%) Schnorr Signature G2 n Script size CPU usage Memory usage ---------------------------------------------------------------------- - - 485 (3.0%) 551729073 (5.5%) 10762 (0.1%) + - 485 (3.0%) 551541895 (5.5%) 10762 (0.1%) Groth16Verify succeeded Simple Verify succeeded diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/all-zeros/all-zeros.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/all-zeros/all-zeros.uplc.budget.expected index 217de75a27f..4dc3ae534db 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/all-zeros/all-zeros.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/all-zeros/all-zeros.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1174391 +({cpu: 1166072 | mem: 602}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/correct-output/correct-output.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/correct-output/correct-output.uplc.budget.expected index cb121597fe5..44d1c8952e4 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/correct-output/correct-output.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/correct-output/correct-output.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1130015 +({cpu: 1163578 | mem: 601}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/empty/empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/empty/empty.uplc.budget.expected index cb121597fe5..44d1c8952e4 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/empty/empty.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/empty/empty.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1130015 +({cpu: 1163578 | mem: 601}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/leading-zeros/leading-zeros.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/leading-zeros/leading-zeros.uplc.budget.expected index 0f70adc0215..c5f5cdc422e 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/leading-zeros/leading-zeros.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/big-endian/leading-zeros/leading-zeros.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 2404639 +({cpu: 2429883 | mem: 1404}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/both-endian/both-endian.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/both-endian/both-endian.uplc.budget.expected index 067abb99ad9..56bdaf4cc04 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/both-endian/both-endian.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/both-endian/both-endian.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 2449573 +({cpu: 2432935 | mem: 1405}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/all-zeros/all-zeros.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/all-zeros/all-zeros.uplc.budget.expected index 217de75a27f..4dc3ae534db 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/all-zeros/all-zeros.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/all-zeros/all-zeros.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1174391 +({cpu: 1166072 | mem: 602}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/correct-output/correct-output.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/correct-output/correct-output.uplc.budget.expected index cb121597fe5..44d1c8952e4 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/correct-output/correct-output.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/correct-output/correct-output.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1130015 +({cpu: 1163578 | mem: 601}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/empty/empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/empty/empty.uplc.budget.expected index cb121597fe5..44d1c8952e4 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/empty/empty.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/empty/empty.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1130015 +({cpu: 1163578 | mem: 601}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/trailing-zeros/trailing-zeros.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/trailing-zeros/trailing-zeros.uplc.budget.expected index 0f70adc0215..c5f5cdc422e 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/trailing-zeros/trailing-zeros.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/byteStringToInteger/little-endian/trailing-zeros/trailing-zeros.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 2404639 +({cpu: 2429883 | mem: 1404}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected index 0bc43be78cc..034e83890c3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected index 3023f636706..cf639da018b 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 802}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected index c8818e2d70e..d5777928319 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 96871400 +({cpu: 2028201 | mem: 1824}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected index cd8150c52e2..52011460e04 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 1824}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/zero/zero.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/zero/zero.uplc.budget.expected index 3023f636706..cf639da018b 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/zero/zero.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/bounded/zero/zero.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 802}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/correct-output/correct-output.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/correct-output/correct-output.uplc.budget.expected index 0bc43be78cc..034e83890c3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/correct-output/correct-output.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/correct-output/correct-output.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected index c8818e2d70e..d5777928319 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 96871400 +({cpu: 2028201 | mem: 1824}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/zero/zero.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/zero/zero.uplc.budget.expected index 0bc43be78cc..034e83890c3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/zero/zero.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/big-endian/unbounded/zero/zero.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected index 0bc43be78cc..034e83890c3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-exact-width/correct-output-exact-width.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected index 3023f636706..cf639da018b 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/correct-output-extra-width/correct-output-extra-width.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 802}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected index c8818e2d70e..d5777928319 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/max-input-fits-max-width/max-input-fits-max-width.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 96871400 +({cpu: 2028201 | mem: 1824}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected index cd8150c52e2..52011460e04 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/maximum-width-zero/maximum-width-zero.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 1824}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/zero/zero.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/zero/zero.uplc.budget.expected index 3023f636706..cf639da018b 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/zero/zero.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/bounded/zero/zero.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 802}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/correct-output/correct-output.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/correct-output/correct-output.uplc.budget.expected index 0bc43be78cc..034e83890c3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/correct-output/correct-output.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/correct-output/correct-output.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected index c8818e2d70e..d5777928319 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/maximum-input/maximum-input.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 96871400 +({cpu: 2028201 | mem: 1824}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/zero/zero.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/zero/zero.uplc.budget.expected index 0bc43be78cc..034e83890c3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/zero/zero.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/integerToByteString/little-endian/unbounded/zero/zero.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 1434707 +({cpu: 1476804 | mem: 801}) \ No newline at end of file From 42d8526c83a14c6eeb2f39da8c2c6de4622de699 Mon Sep 17 00:00:00 2001 From: kwxm Date: Tue, 16 Dec 2025 07:03:27 +0000 Subject: [PATCH 3/5] Add changelog entry --- ...65951_kenneth.mackenzie_improved_bytestring_conversions.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 plutus-core/changelog.d/20251216_065951_kenneth.mackenzie_improved_bytestring_conversions.md diff --git a/plutus-core/changelog.d/20251216_065951_kenneth.mackenzie_improved_bytestring_conversions.md b/plutus-core/changelog.d/20251216_065951_kenneth.mackenzie_improved_bytestring_conversions.md new file mode 100644 index 00000000000..c91faa1a39b --- /dev/null +++ b/plutus-core/changelog.d/20251216_065951_kenneth.mackenzie_improved_bytestring_conversions.md @@ -0,0 +1,4 @@ +### Changed + +- Improved implementations with significantly lower costs for the `byteStringToInteger` and `integerToByteString` Plutus Core builtins. + From 254cc60c06e7ae31d42b6e3007bc2d58f05bf31b Mon Sep 17 00:00:00 2001 From: kwxm Date: Tue, 16 Dec 2025 07:07:24 +0000 Subject: [PATCH 4/5] Fix typo --- plutus-core/cost-model/data/models.R | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/plutus-core/cost-model/data/models.R b/plutus-core/cost-model/data/models.R index 6ad3046b5e6..b9f9e3a40ea 100644 --- a/plutus-core/cost-model/data/models.R +++ b/plutus-core/cost-model/data/models.R @@ -765,9 +765,9 @@ modelFun <- function(path) { ## a quadratic model with a small nonzero (and possibly negative) leading ## coefficient. This can become significant when scaled up to a costing ## integer, so we check that it's relatively small and set it to zero if so, - ## makeing the model effectively linear; if the leading coefficient is - ## bigger than expected then we leave it unaltered and return the original - ## quadratic model. + ## making the model effectively linear; if the leading coefficient is bigger + ## than expected then we leave it unaltered and return the full quadratic + ## model. integerToByteStringModel <- { fname <- "IntegerToByteString" From 855bb4561ef55ab7589492f52ee3a0f005fc4c3f Mon Sep 17 00:00:00 2001 From: kwxm Date: Tue, 16 Dec 2025 12:35:36 +0000 Subject: [PATCH 5/5] Update comments in budgeting benchmarks --- .../cost-model/budgeting-bench/Benchmarks/Bitwise.hs | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/plutus-core/cost-model/budgeting-bench/Benchmarks/Bitwise.hs b/plutus-core/cost-model/budgeting-bench/Benchmarks/Bitwise.hs index da252f8d367..bee2e47b7e0 100644 --- a/plutus-core/cost-model/budgeting-bench/Benchmarks/Bitwise.hs +++ b/plutus-core/cost-model/budgeting-bench/Benchmarks/Bitwise.hs @@ -54,7 +54,11 @@ memoryUsageAsNumBytes = (8 *) . fromSatInt . sumCostStream . flattenCostRose . m conversion perhaps taking a fraction longer. We just generate a costing function for big-endian conversion and use that for the little-endian conversion as well. A quadratic function fitted to inputs of size up to 150 - gives a good fit and extrapolates well to larger inputs. -} + gives a good fit and extrapolates well to larger inputs. UPDATE: PR #7439 + introduced a linear-time implementation of `byteStringToInteger`: this is + still covered by a quadratic function, but we have to do some extra work in + `models.R` to make sure that a very small leading term isn't rounded up to a + non-zero costing integer. -} benchByteStringToInteger :: Benchmark benchByteStringToInteger = createTwoTermBuiltinBenchElementwise ByteStringToInteger [] $ fmap (\x -> (True, x)) (makeSample seedA) @@ -72,7 +76,11 @@ benchByteStringToInteger = time required for this is negligible in comparison to the conversion time. It's important to make sure that the memory cost does take account of the width though. The sample we use gives us bytestrings up to 8*150 = 1200 bytes long. - This is well within the 8192-byte limit. -} + This is well within the 8192-byte limit. UPDATE: PR #7439 introduced a + linear-time implementation of `integerToByteString`: this is still covered by a + quadratic function, but we have to do some extra work in `models.R` to make + sure that a very small leading term isn't rounded up to a non-zero costing + integer. -} benchIntegerToByteString :: Benchmark benchIntegerToByteString = let b = IntegerToByteString