{
 "generated": "2026-10-28",
 "description": "Gas per BL19 op across an input ladder: the object (staticcall), the inline library, the same op in BL127Lib on the same value where it fits, and ABDKMathQuad. null = no measurement on that input; reverts counts, per form, the inputs where the form offers the op but reverted or the input is outside its domain or format; a form with neither gas nor reverts does not offer the op. calls says what each Quad cell calls. summary holds min/median/max per form. The internal forms are the library call alone, timed inside the harness's entry point net of its dispatch. typical (where present) is the same over random inputs that take no shortcut.",
 "versions": {
  "bl127": "6c2eeaf",
  "huff": "sepolia:0xfae694D0c2c44181791F838c54Ed64C3151FfE30@11857616",
  "solady": "v0.1.26",
  "prb-math": "v4.2.0",
  "abdk": "v3.2",
  "balancer": "balancer-v3-monorepo@2b9ce4b1b8ad (LogExpMath.sol, vendored)",
  "aave": "aave-v3-origin@8305565ae342 (MathUtils, transcribed)",
  "morpho": "morpho-blue@8e26ca6a8dbc (MathLib, transcribed)",
  "fraxlend": "fraxlend@2bed49d4dcc6 (VariableInterestRate V2, transcribed)",
  "euler": "evk-periphery@af436991e135 (IRMAdaptiveCurve, ExpLib, transcribed)",
  "maker": "dss pot.sol rpow via solady v0.1.26",
  "solmate": "solmate@89365b8 (no tag: v6 predates SignedWadMath)",
  "openzeppelin": "openzeppelin-contracts v5.7.0 (Math, SignedMath, vendored)",
  "uniswap": "v4-core v4.0.0 (FullMath, vendored)",
  "snekmate": "v0.1.2 (math module, vyper 0.4.3)",
  "forge": "forge Version: 1.7.1"
 },
 "forms": [
  "yul",
  "lib",
  "bl127lib",
  "quad"
 ],
 "formLabels": {
  "huff": "Huff (Sepolia, staticcall)",
  "yul": "Yul object (staticcall)",
  "caller": "BL127Caller",
  "lib": "BL19Lib (inline)",
  "abdk": "ABDKMath64x64",
  "solady": "Solady",
  "prb": "PRBMath SD59x18",
  "quad": "ABDKMathQuad",
  "balancer": "Balancer LogExpMath",
  "solmate": "Solmate",
  "oz": "OpenZeppelin Math",
  "uniswap": "Uniswap FullMath",
  "prbud": "PRBMath UD60x18",
  "snekmate": "snekmate (Vyper)",
  "bl127lib": "BL127Lib (inline), the same op"
 },
 "calls": {
  "quad": {
   "exp": "exp(x)",
   "exp2": "pow_2(x)",
   "ln": "ln(x)",
   "log2": "log_2(x)",
   "sqrt": "sqrt(x)",
   "inv": "div(fromUInt(1), x) (composed)",
   "abs": "abs(x)",
   "neg": "neg(x)",
   "sign": "sign(x)",
   "add": "add(a, b)",
   "sub": "sub(a, b)",
   "mul": "mul(a, b)",
   "div": "div(a, b)",
   "pow": "exp(mul(y, ln(x))) (composed)",
   "cmp": "cmp(a, b)",
   "eq": "eq(a, b)",
   "lt": "cmp(a, b) < 0 (composed)",
   "toUintDown": "toUInt(x) (truncates: floor for x >= 0)",
   "toIntDown": "toInt(x) (truncates: floor for x >= 0, the rows kept)",
   "toBL127": "to128x128(x) (truncates; toBL127 rounds to nearest)",
   "fromBL127": "from128x128(x) (truncates; fromBL127 rounds to nearest)",
   "fromUintDown": "fromUInt(x) (truncates the significand)"
  }
 },
 "ops": {
  "abs": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     724,
     724,
     726,
     743,
     728,
     729
    ],
    "lib": [
     133,
     133,
     133,
     133,
     133,
     133
    ],
    "bl127lib": [
     152,
     152,
     152,
     152,
     152,
     152
    ],
    "quad": [
     21,
     21,
     21,
     21,
     21,
     21
    ]
   },
   "summary": {
    "yul": {
     "min": 724,
     "median": 727,
     "max": 743
    },
    "lib": {
     "min": 133,
     "median": 133,
     "max": 133
    },
    "bl127lib": {
     "min": 152,
     "median": 152,
     "max": 152
    },
    "quad": {
     "min": 21,
     "median": 21,
     "max": 21
    }
   }
  },
  "add": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1119,
     1124,
     1125,
     1127,
     1167,
     1131
    ],
    "lib": [
     662,
     662,
     662,
     662,
     681,
     662
    ],
    "bl127lib": [
     128,
     128,
     128,
     128,
     128,
     null
    ],
    "quad": [
     765,
     765,
     704,
     704,
     765,
     460
    ]
   },
   "summary": {
    "yul": {
     "min": 1119,
     "median": 1126,
     "max": 1167
    },
    "lib": {
     "min": 662,
     "median": 662,
     "max": 681
    },
    "bl127lib": {
     "min": 128,
     "median": 128,
     "max": 128
    },
    "quad": {
     "min": 460,
     "median": 734,
     "max": 765
    }
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "atanh": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947249313738208312748553559515401936466821642205257926570217799265216888832",
    "-28948574449036792100995741032640959125353692255127914640788809003916186353664",
    "28947691025504402908830949383890587666095778513179476831309748200815540043776",
    "28947856667416725882361847818031282314706637339794808920587072101396911226880",
    "-28948132737270597504913345208265773395724735384153695736049278602365863198721"
   ],
   "gas": {
    "yul": [
     3430,
     5036,
     5033,
     5039,
     5058,
     5057
    ],
    "lib": [
     3406,
     5206,
     5154,
     5145,
     5147,
     5192
    ],
    "bl127lib": [
     2904,
     2929,
     2941,
     2968,
     2953,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 3430,
     "median": 5037,
     "max": 5058
    },
    "lib": {
     "min": 3406,
     "median": 5150,
     "max": 5206
    },
    "bl127lib": {
     "min": 2904,
     "median": 2941,
     "max": 2968
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28947305231433911653042236456692694277022826823694566697881334270850544764913",
     "-28948820380444432047030978220275128343028376118485246264567482356197783257916",
     "28947121133268734672419375008293040647590924163438192220411357924218777359827",
     "28947294139465410116681068611596075726197867646009409581089800958560605886816",
     "-28949176779313982003090725112574030048867380301804663709684279578053623876675",
     "28947733212203349529929994734558358045138751534362481770615796896096102349654",
     "-28948917373178635789307324535616798727649350860900484654674469831571000953510",
     "28946602987399750244364452113019807522407332665942289557096230686145954914489"
    ],
    "gas": {
     "yul": [
      5201,
      4055,
      3972,
      5179,
      3975,
      5203,
      3978,
      3588
     ],
     "lib": [
      5227,
      3871,
      3882,
      5216,
      3882,
      5225,
      3882,
      3411
     ],
     "bl127lib": [
      2939,
      2953,
      2939,
      2949,
      2908,
      2969,
      2943,
      2904
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3588,
      "median": 4016,
      "max": 5203
     },
     "lib": {
      "min": 3411,
      "median": 3882,
      "max": 5227
     },
     "bl127lib": {
      "min": 2904,
      "median": 2941,
      "max": 2969
     },
     "quad": null
    }
   }
  },
  "avg": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1115,
     1116,
     1116,
     1117,
     1156,
     1119
    ],
    "lib": [
     663,
     663,
     663,
     663,
     682,
     663
    ],
    "bl127lib": [
     114,
     114,
     114,
     114,
     114,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1115,
     "median": 1116,
     "max": 1156
    },
    "lib": {
     "min": 663,
     "median": 663,
     "max": 682
    },
    "bl127lib": {
     "min": 114,
     "median": 114,
     "max": 114
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "cbrt": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     3083,
     3039,
     3085,
     3111,
     3087,
     3089
    ],
    "lib": [
     2760,
     2734,
     2760,
     2773,
     2760,
     2760
    ],
    "bl127lib": [
     1944,
     1944,
     1944,
     1944,
     1944,
     1944
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 3039,
     "median": 3086,
     "max": 3111
    },
    "lib": {
     "min": 2734,
     "median": 2760,
     "max": 2773
    },
    "bl127lib": {
     "min": 1944,
     "median": 1944,
     "max": 1944
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "28946368801213773373404075468550985422269210424008059109058463070860237342814",
     "28955128187299475976079939190796069725970430114633699537209953313209234051961",
     "-28948817050172506320117354852142416412572609147340155224110480664870251591852",
     "-28981022244346037428348535148742961682868992738251802740297576819461968854833",
     "-28948626801110193925817071920796536014680166576344097989318238147221422597571",
     "-28969340578943294325550268838831959231589002680151304760517271078666032494773",
     "28923955483414336513939472791983830075102860480702887624384975918391068884403",
     "-28973270050719702582555464975402389291537275576275921000887479469911477908218"
    ],
    "gas": {
     "yul": [
      3319,
      3165,
      3254,
      3169,
      3240,
      3172,
      3173,
      3219
     ],
     "lib": [
      2773,
      2734,
      2734,
      2734,
      2773,
      2734,
      2734,
      2760
     ],
     "bl127lib": [
      1944,
      1944,
      1948,
      101,
      1948,
      101,
      101,
      101
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3165,
      "median": 3196,
      "max": 3319
     },
     "lib": {
      "min": 2734,
      "median": 2734,
      "max": 2773
     },
     "bl127lib": {
      "min": 101,
      "median": 1022,
      "max": 1948
     },
     "quad": null
    }
   }
  },
  "ceil": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     960,
     962,
     1130,
     1246,
     1133,
     1162
    ],
    "lib": [
     336,
     336,
     523,
     571,
     523,
     543
    ],
    "bl127lib": [
     147,
     147,
     147,
     147,
     147,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 960,
     "median": 1131,
     "max": 1246
    },
    "lib": {
     "min": 336,
     "median": 523,
     "max": 571
    },
    "bl127lib": {
     "min": 147,
     "median": 147,
     "max": 147
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "clamp": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984"
   ],
   "gas": {
    "yul": [
     1128,
     1178,
     1128,
     1133,
     1135,
     1137
    ],
    "lib": [
     491,
     492,
     492,
     491,
     491,
     491
    ],
    "bl127lib": [
     241,
     242,
     242,
     241,
     241,
     241
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1128,
     "median": 1134,
     "max": 1178
    },
    "lib": {
     "min": 491,
     "median": 491,
     "max": 492
    },
    "bl127lib": {
     "min": 241,
     "median": 241,
     "max": 242
    },
    "quad": null
   }
  },
  "cmp": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     801,
     801,
     802,
     804,
     804,
     805
    ],
    "lib": [
     248,
     248,
     248,
     248,
     248,
     248
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     346,
     476,
     476,
     476,
     489,
     476
    ]
   },
   "summary": {
    "yul": {
     "min": 801,
     "median": 803,
     "max": 805
    },
    "lib": {
     "min": 248,
     "median": 248,
     "max": 248
    },
    "bl127lib": null,
    "quad": {
     "min": 346,
     "median": 476,
     "max": 489
    }
   }
  },
  "compound": {
   "inputs": [
    "28944599043141040736254178613264287558693080416359944498133035389963277959168,365",
    "28946586746088916418624959822952623342023386335743929569460922196939732156416,10000",
    "28947536425375236800183961853059259594962407458077107298805641092231541555200,10",
    "-28948684876978340750016339988734755557760931472871469366973691604303767142400,100",
    "28947083671825885339217655125374707287855962815589925837292893898683845705728,-365",
    "28944743979814323338093714743137395376227581889648360076250693802971977744384,315360000"
   ],
   "gas": {
    "yul": [
     5483,
     5595,
     5796,
     6042,
     6051,
     5581
    ],
    "lib": [
     5867,
     6090,
     6304,
     6661,
     6647,
     6063
    ],
    "bl127lib": [
     3078,
     3210,
     2263,
     3356,
     3332,
     8455
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 5483,
     "median": 5695,
     "max": 6051
    },
    "lib": {
     "min": 5867,
     "median": 6197,
     "max": 6661
    },
    "bl127lib": {
     "min": 2263,
     "median": 3271,
     "max": 8455
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "28943508132192289552434663252246455642241625493490461809315226804477721786277,216",
     "28945293265251523653381457246769797679695746845202901948644878826493797505531,30",
     "28944455998854833329159503691338090780502098159367068733455987044899839683517,35623",
     "28946612074995269622324923432113702031742305385878109427108610128539888111474,7",
     "28943904051279368252216248238290900819296069130965190056977936127837121299303,144875",
     "28945042735518155844518131550724547160148282312052615949249447921830787400379,370731",
     "28943937132690463437799689242810059351585850624418330004007232993504690539814,13",
     "28945293874445998725669277157762091750523558490357264794910684284179768567266,13"
    ],
    "gas": {
     "yul": [
      5682,
      5694,
      5578,
      5603,
      5616,
      5826,
      5602,
      5607
     ],
     "lib": [
      5856,
      5858,
      5858,
      5874,
      5869,
      5943,
      5856,
      5856
     ],
     "bl127lib": [
      3078,
      3078,
      3078,
      2221,
      3078,
      3078,
      2491,
      2491
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 5578,
      "median": 5611,
      "max": 5826
     },
     "lib": {
      "min": 5856,
      "median": 5858,
      "max": 5943
     },
     "bl127lib": {
      "min": 2221,
      "median": 3078,
      "max": 3078
     },
     "quad": null
    }
   }
  },
  "cosh": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947691025504402908830949383890587666095778513179476831309748200815540043776",
    "-28948187951241371829423644686312671611928354993025473099141719902559653593088",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948381200139081965209692859476815368641023624076693869965264453237919973376",
    "28949830566871907983605054158207893543986038356960849651141848583324917825536"
   ],
   "gas": {
    "yul": [
     3424,
     3507,
     3511,
     3539,
     3511,
     3513
    ],
    "lib": [
     3465,
     3682,
     3651,
     3671,
     3692,
     3672
    ],
    "bl127lib": [
     3953,
     4104,
     4027,
     4054,
     4060,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 3424,
     "median": 3511,
     "max": 3539
    },
    "lib": {
     "min": 3465,
     "median": 3671,
     "max": 3692
    },
    "bl127lib": {
     "min": 3953,
     "median": 4054,
     "max": 4104
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28947692416272271092019247939957400332044329929001426201821352458618737508202",
     "-28947712801476350305049445189939454922830173414170658091106849595044916904600",
     "-28947557893741474686927078954599154606492742812409360294443845604513432744472",
     "-28947486546729019898336846446589261236379266774980244257624241210734337034214",
     "-28947773671627145050738559924150865621029250905273540982946356644782089983336",
     "-28947718618175980955004624995393655189173985364822201016630765739422643794197",
     "-28947896282977835323708731308120512868846121322826381272309555288026997211398",
     "28947684375002699045747489270682976329516103494677010739657043846016141973942"
    ],
    "gas": {
     "yul": [
      3641,
      3766,
      3672,
      3645,
      3671,
      3775,
      3676,
      3678
     ],
     "lib": [
      3692,
      3703,
      3683,
      3692,
      3682,
      3693,
      3693,
      3693
     ],
     "bl127lib": [
      4017,
      4070,
      4064,
      4118,
      4037,
      4054,
      4094,
      4053
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3641,
      "median": 3674,
      "max": 3775
     },
     "lib": {
      "min": 3682,
      "median": 3692,
      "max": 3703
     },
     "bl127lib": {
      "min": 4017,
      "median": 4059,
      "max": 4118
     },
     "quad": null
    }
   }
  },
  "dist": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1042,
     1324,
     1208,
     1229,
     1268,
     1232
    ],
    "lib": [
     607,
     928,
     819,
     819,
     838,
     819
    ],
    "bl127lib": [
     289,
     289,
     289,
     289,
     289,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1042,
     "median": 1230,
     "max": 1324
    },
    "lib": {
     "min": 607,
     "median": 819,
     "max": 928
    },
    "bl127lib": {
     "min": 289,
     "median": 289,
     "max": 289
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "div": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1367,
     1369,
     1371,
     1372,
     1374,
     1354
    ],
    "lib": [
     800,
     800,
     800,
     800,
     800,
     800
    ],
    "bl127lib": [
     412,
     412,
     412,
     412,
     412,
     null
    ],
    "quad": [
     818,
     818,
     818,
     818,
     818,
     818
    ]
   },
   "summary": {
    "yul": {
     "min": 1354,
     "median": 1370,
     "max": 1374
    },
    "lib": {
     "min": 800,
     "median": 800,
     "max": 800
    },
    "bl127lib": {
     "min": 412,
     "median": 412,
     "max": 412
    },
    "quad": {
     "min": 818,
     "median": 818,
     "max": 818
    }
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "divDown": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1485,
     1440,
     1441,
     1490,
     1443,
     1493
    ],
    "lib": [
     987,
     987,
     987,
     987,
     987,
     987
    ],
    "bl127lib": [
     475,
     475,
     475,
     475,
     475,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1440,
     "median": 1464,
     "max": 1493
    },
    "lib": {
     "min": 987,
     "median": 987,
     "max": 987
    },
    "bl127lib": {
     "min": 475,
     "median": 475,
     "max": 475
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "divUp": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1479,
     1577,
     1527,
     1480,
     1535,
     1536
    ],
    "lib": [
     988,
     1034,
     1034,
     988,
     988,
     988
    ],
    "bl127lib": [
     478,
     478,
     478,
     478,
     478,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1479,
     "median": 1531,
     "max": 1577
    },
    "lib": {
     "min": 988,
     "median": 988,
     "max": 1034
    },
    "bl127lib": {
     "min": 478,
     "median": 478,
     "max": 478
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "eq": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     828,
     798,
     798,
     832,
     834,
     836
    ],
    "lib": [
     176,
     176,
     176,
     176,
     176,
     176
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     147,
     108,
     108,
     108,
     108,
     108
    ]
   },
   "summary": {
    "yul": {
     "min": 798,
     "median": 830,
     "max": 836
    },
    "lib": {
     "min": 176,
     "median": 176,
     "max": 176
    },
    "bl127lib": null,
    "quad": {
     "min": 108,
     "median": 108,
     "max": 147
    }
   }
  },
  "erf": {
   "inputs": [
    "28944599043141040736254178613264287558693080416359944498133035389963277959168",
    "28947691025504402908830949383890587666095778513179476831309748200815540043776",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948077523299823180403045730218875179521115775281918372956837302172072804352",
    "28948160344255984667168494947289222503826545188589584417595499252462758395904",
    "28948256968704839735061519033871294382182879504115194803007271527801891586048"
   ],
   "gas": {
    "yul": [
     5622,
     12649,
     9697,
     9684,
     9671,
     9702
    ],
    "lib": [
     6159,
     13599,
     10637,
     10485,
     10622,
     10593
    ],
    "bl127lib": [
     3187,
     6410,
     9328,
     16399,
     7814,
     7792
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 5622,
     "median": 9690,
     "max": 12649
    },
    "lib": {
     "min": 6159,
     "median": 10607,
     "max": 13599
    },
    "bl127lib": {
     "min": 3187,
     "median": 7803,
     "max": 16399
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "28948190970545205071059967197889950084141773386176007053070459754741784053012",
     "-28947940169752740984145358715549764590113796981152887463691251918034851668245",
     "28947894784875740395108371566245209302714676967755050620287161639918381557101",
     "28947313244882783128237144035985381689179210327339247212056360294888822387512",
     "28947921191307164463801316310123305020773645143789680049721232156520642269311",
     "-28947876244929951656979089339520770433964232086966427413973243187926709172132",
     "-28947991358531727649578717006993452976151088375264021510184414870114630991678",
     "-28948572258578373324256492139352183810485944010447470714442018404331289207555"
    ],
    "gas": {
     "yul": [
      9701,
      9669,
      9671,
      9101,
      9674,
      9700,
      9679,
      10119
     ],
     "lib": [
      10592,
      10636,
      10626,
      9890,
      10626,
      10623,
      10616,
      10948
     ],
     "bl127lib": [
      7792,
      18468,
      9045,
      4804,
      9622,
      7809,
      14771,
      5249
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 9101,
      "median": 9676,
      "max": 10119
     },
     "lib": {
      "min": 9890,
      "median": 10624,
      "max": 10948
     },
     "bl127lib": {
      "min": 4804,
      "median": 8427,
      "max": 18468
     },
     "quad": null
    }
   }
  },
  "erfc": {
   "inputs": [
    "28947691025504402908830949383890587666095778513179476831309748200815540043776",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948077523299823180403045730218875179521115775281918372956837302172072804352",
    "28948160344255984667168494947289222503826545188589584417595499252462758395904",
    "28948256968704839735061519033871294382182879504115194803007271527801891586048",
    "28948857420637010514111025857631312483397242750595773626637570667409362124800"
   ],
   "gas": {
    "yul": [
     12791,
     9760,
     9723,
     9734,
     9765,
     9750
    ],
    "lib": [
     13687,
     10661,
     10498,
     10646,
     10617,
     10894
    ],
    "bl127lib": [
     6416,
     9334,
     16405,
     7796,
     7774,
     250
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 9723,
     "median": 9755,
     "max": 12791
    },
    "lib": {
     "min": 10498,
     "median": 10653,
     "max": 13687
    },
    "bl127lib": {
     "min": 250,
     "median": 7785,
     "max": 16405
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "28947813146481782903899301806758231536236328365484713518410778604933165304049",
     "28948163774982523178049819035997290322631432316477481178733407701662107316904",
     "28947874022611411051602987446380559723373460438686157731592293223053249916522",
     "-28948168682180023452523486294414570324345313359795272601288672885864923799329",
     "-28948554891707508596389047077566771509926728887600153127488573732794933265340",
     "-28948248679221538707654416603187901535216712950896044036096534476399727641136",
     "28948338254188786345097062546011009490902092808890447456252412081697655884317",
     "-28947714003989333267801379090944478170843740901662452183822652502468601822294"
    ],
    "gas": {
     "yul": [
      9726,
      9777,
      9717,
      9741,
      10550,
      15041,
      9713,
      9787
     ],
     "lib": [
      10660,
      10615,
      10509,
      10701,
      11335,
      16090,
      10553,
      10648
     ],
     "bl127lib": [
      7717,
      7774,
      8614,
      8799,
      5418,
      7455,
      250,
      270
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 9713,
      "median": 9759,
      "max": 15041
     },
     "lib": {
      "min": 10509,
      "median": 10654,
      "max": 16090
     },
     "bl127lib": {
      "min": 250,
      "median": 7586,
      "max": 8799
     },
     "quad": null
    }
   }
  },
  "exp": {
   "inputs": [
    "-28947442562635918448534601732679545693179490273256478697393762349943483269120",
    "-28948132737270597504913345208265773395724735384153695736049278602365863198720",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948381200139081965209692859476815368641023624076693869965264453237919973376",
    "28949830566871907983605054158207893543986038356960849651141848583324917825536"
   ],
   "gas": {
    "yul": [
     3421,
     3419,
     3367,
     3340,
     3369,
     3347
    ],
    "lib": [
     3328,
     3317,
     3290,
     3268,
     3300,
     3269
    ],
    "bl127lib": [
     2865,
     2845,
     2895,
     2835,
     2841,
     null
    ],
    "quad": [
     5959,
     5889,
     5766,
     5766,
     5724,
     979
    ]
   },
   "summary": {
    "yul": {
     "min": 3340,
     "median": 3368,
     "max": 3421
    },
    "lib": {
     "min": 3268,
     "median": 3295,
     "max": 3328
    },
    "bl127lib": {
     "min": 2835,
     "median": 2845,
     "max": 2895
    },
    "quad": {
     "min": 979,
     "median": 5766,
     "max": 5959
    }
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28947499601919816840417255112991482333080210767884135791408120031728469104128",
     "28947302162023429333552289425232641382903925374493807183516499538946325762276",
     "-28948362644828542910566314379891067812200553160696948303631784367499588880324",
     "-28948522250432163528984578365658010037110333270769791438491326431166916095868",
     "28947493253375953136678093677605015524618553088563260871751612591601094309712",
     "28947253574578312823495895295186373972613678155948869239586653002637094518157",
     "28948285486831135070562516079667700889505491275473009311458092264167704482888",
     "28948563591875538854055807889549057627672444119490309297736497772616907628886"
    ],
    "gas": {
     "yul": [
      3314,
      3266,
      3408,
      3374,
      3321,
      3296,
      3309,
      3324
     ],
     "lib": [
      3268,
      3127,
      3338,
      3337,
      3268,
      3148,
      3309,
      3289
     ],
     "bl127lib": [
      2804,
      2818,
      2824,
      2851,
      2824,
      2788,
      2851,
      2831
     ],
     "quad": [
      5682,
      5654,
      5875,
      5973,
      5598,
      5836,
      5598,
      5570
     ]
    },
    "summary": {
     "yul": {
      "min": 3266,
      "median": 3317,
      "max": 3408
     },
     "lib": {
      "min": 3127,
      "median": 3278,
      "max": 3338
     },
     "bl127lib": {
      "min": 2788,
      "median": 2824,
      "max": 2851
     },
     "quad": {
      "min": 5570,
      "median": 5668,
      "max": 5973
     }
    }
   }
  },
  "exp10": {
   "inputs": [
    "-28951437723432590167907473694311522273474478219642024456654021492566801776640",
    "-28947848849524088716463520218511671115261345065594688247055615917296238409886",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948393252345579069049475510201048486010698146518469807193462898760138367628",
    "28949520904432592783569159758957840000260517880148250486891767291311295874914"
   ],
   "gas": {
    "yul": [
     3255,
     3243,
     3216,
     3193,
     3217,
     3194
    ],
    "lib": [
     3274,
     3153,
     3181,
     3160,
     3191,
     3180
    ],
    "bl127lib": [
     3081,
     3065,
     3086,
     3065,
     3086,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 3193,
     "median": 3216,
     "max": 3255
    },
    "lib": {
     "min": 3153,
     "median": 3180,
     "max": 3274
    },
    "bl127lib": {
     "min": 3065,
     "median": 3081,
     "max": 3086
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28948326777580395519978844991739620723442676442910280509958549915515937933480",
     "28948393027217052906591973486310513727391157617172323120258695816089664361863",
     "-28948074435470910098331890461793008421013825970728510782070864871213171467415",
     "28948343893202414802360243175179365196295012140323422199550237297826807100976",
     "-28947626805161696244401742211398572561770969058212232075173730130022993816988",
     "28948123991599347022956220936018466788363750434016645905316142984898988222519",
     "28947742564275544306445550747633944421227054888778724529706021293360156933599",
     "-28948762963966782360602215506346343522704206427484956453978556115871307676366"
    ],
    "gas": {
     "yul": [
      3310,
      3379,
      3422,
      3311,
      3355,
      3344,
      3343,
      3404
     ],
     "lib": [
      3170,
      3139,
      3257,
      3159,
      3183,
      3171,
      3191,
      3256
     ],
     "bl127lib": [
      3106,
      3065,
      3102,
      3055,
      3082,
      3072,
      3086,
      3072
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3310,
      "median": 3349,
      "max": 3422
     },
     "lib": {
      "min": 3139,
      "median": 3177,
      "max": 3257
     },
     "bl127lib": {
      "min": 3055,
      "median": 3077,
      "max": 3106
     },
     "quad": null
    }
   }
  },
  "exp2": {
   "inputs": [
    "-28951437723432590167907473694311522273474478219642024456654021492566801776640",
    "-28947848849524088716463520218511671115261345065594688247055615917296238409886",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948393252345579069049475510201048486010698146518469807193462898760138367628",
    "28949520904432592783569159758957840000260517880148250486891767291311295874914"
   ],
   "gas": {
    "yul": [
     3249,
     3274,
     3136,
     1859,
     3181,
     3194
    ],
    "lib": [
     3186,
     3168,
     2988,
     1541,
     3112,
     3102
    ],
    "bl127lib": [
     2699,
     2734,
     2704,
     2593,
     2680,
     null
    ],
    "quad": [
     5920,
     5359,
     4158,
     4158,
     4914,
     404
    ]
   },
   "summary": {
    "yul": {
     "min": 1859,
     "median": 3187,
     "max": 3274
    },
    "lib": {
     "min": 1541,
     "median": 3107,
     "max": 3186
    },
    "bl127lib": {
     "min": 2593,
     "median": 2699,
     "max": 2734
    },
    "quad": {
     "min": 404,
     "median": 4536,
     "max": 5920
    }
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28948599432984597227631644004690525834857209942492602543539603063908370843758",
     "28947446374486732276846481537760379524631386046548226474358939165862290763857",
     "-28947639825561603782724800027856262895702533124528795463022414037384096702783",
     "28948069881511418327636694669081373117428057268486710090196731532923443112992",
     "-28947718234237742506107354065057392204204402701307239341768762230716819933759",
     "28948221872989984818435783951342402220003152415466249891641678190863823699151",
     "-28947871188829434647621130492230146766907779268045165509227122326283050318370",
     "28947910572346994459638659422988270843374352369031239775314224727934240905427"
    ],
    "gas": {
     "yul": [
      3282,
      3294,
      3396,
      3286,
      3387,
      3290,
      3444,
      3304
     ],
     "lib": [
      3081,
      2939,
      3138,
      3081,
      3158,
      3071,
      3127,
      3112
     ],
     "bl127lib": [
      2694,
      2677,
      2714,
      2700,
      2700,
      2684,
      2714,
      2673
     ],
     "quad": [
      4788,
      4970,
      5177,
      4858,
      5219,
      4830,
      5093,
      5138
     ]
    },
    "summary": {
     "yul": {
      "min": 3282,
      "median": 3299,
      "max": 3444
     },
     "lib": {
      "min": 2939,
      "median": 3096,
      "max": 3158
     },
     "bl127lib": {
      "min": 2673,
      "median": 2697,
      "max": 2714
     },
     "quad": {
      "min": 4788,
      "median": 5031,
      "max": 5219
     }
    }
   }
  },
  "expm1": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28944599043141040736254178613264287558693080416359944498133035389963277959168",
    "-28949126588744535346098735813109941287389888343845688271713222005854090297344",
    "28947028457855111014707355647327809071652343206718148474200452598490055311360",
    "-28948243165212146153933944164359569828131974601897250462234161202753443987456",
    "28948381200139081965209692859476815368641023624076693869965264453237919973376"
   ],
   "gas": {
    "yul": [
     2787,
     2734,
     2765,
     3290,
     3455,
     3345
    ],
    "lib": [
     2386,
     2375,
     2395,
     3104,
     3382,
     3277
    ],
    "bl127lib": [
     1560,
     2072,
     3797,
     4488,
     2957,
     2964
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 2734,
     "median": 3038,
     "max": 3455
    },
    "lib": {
     "min": 2375,
     "median": 2749,
     "max": 3382
    },
    "bl127lib": {
     "min": 1560,
     "median": 2960,
     "max": 4488
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "-28950971293220857829678242804487025539945344859009718772655309964365546137850",
     "-28947976312871402584232679790700812046891254891877023917745345076968429921034",
     "-28950025253778794547690803001988716265324010665442128214157414703140708126767",
     "-28948238688710394206184871434648299175463117903618879432469851860220100536108",
     "28947991275965410381693255135691078461162274334454905471591689020405972494720",
     "-28949822467526358245277094948426708481173770066161993566347419869375299053946",
     "-28949086217743511324212321890071978863521295285594374396554863291080042585834",
     "-28949245509087884561778908590985004021606094852730313821013772982390514252255"
    ],
    "gas": {
     "yul": [
      2764,
      3470,
      2760,
      3486,
      3340,
      2795,
      2772,
      2775
     ],
     "lib": [
      2390,
      3398,
      2395,
      3419,
      3277,
      2395,
      2384,
      2384
     ],
     "bl127lib": [
      2072,
      2963,
      2589,
      2948,
      2958,
      3106,
      3797,
      3797
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 2760,
      "median": 2785,
      "max": 3486
     },
     "lib": {
      "min": 2384,
      "median": 2395,
      "max": 3419
     },
     "bl127lib": {
      "min": 2072,
      "median": 2960,
      "max": 3797
     },
     "quad": null
    }
   }
  },
  "factorial": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948160344255984667168494947289222503826545188589584417595499252462758395904",
    "28948353593153694802954543120453366260539213819640805188419043803141024776192",
    "28948589977966072379764262760841649248660960270123102024158558119595689902080",
    "28948684876978340750016339988734755557760931472871469366973691604303767142400",
    "28948721111146661400476224021203032512144556841193573261503106207555942088704"
   ],
   "gas": {
    "yul": [
     1013,
     1218,
     1221,
     1217,
     1191,
     1223
    ],
    "lib": [
     392,
     762,
     742,
     726,
     712,
     691
    ],
    "bl127lib": [
     422,
     400,
     399,
     null,
     null,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1013,
     "median": 1217,
     "max": 1223
    },
    "lib": {
     "min": 392,
     "median": 719,
     "max": 762
    },
    "bl127lib": {
     "min": 399,
     "median": 400,
     "max": 422
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 3
   }
  },
  "floor": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     928,
     973,
     1130,
     1131,
     1133,
     1134
    ],
    "lib": [
     309,
     309,
     522,
     522,
     522,
     522
    ],
    "bl127lib": [
     72,
     72,
     72,
     72,
     72,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 928,
     "median": 1130,
     "max": 1134
    },
    "lib": {
     "min": 309,
     "median": 522,
     "max": 522
    },
    "bl127lib": {
     "min": 72,
     "median": 72,
     "max": 72
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "frac": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "-28947959277465637365484119174605467547668584283338242973240498517683819198622",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     834,
     836,
     1960,
     1228,
     911,
     1189
    ],
    "lib": [
     187,
     187,
     1419,
     586,
     270,
     586
    ],
    "bl127lib": [
     69,
     69,
     69,
     69,
     69,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 834,
     "median": 1050,
     "max": 1960
    },
    "lib": {
     "min": 187,
     "median": 428,
     "max": 1419
    },
    "bl127lib": {
     "min": 69,
     "median": 69,
     "max": 69
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "fromBL127": {
   "inputs": [
    "1",
    "170141183460469231731687303715884105728",
    "340282366920938463463374607431768211456",
    "510423550381407695195061911147652317184",
    "340282366920938463463374607431768211456000",
    "-340282366920938463463374607431768211456"
   ],
   "gas": {
    "yul": [
     946,
     947,
     948,
     962,
     951,
     952
    ],
    "lib": [
     440,
     440,
     440,
     440,
     440,
     440
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     495,
     623,
     528,
     528,
     551,
     563
    ]
   },
   "summary": {
    "yul": {
     "min": 946,
     "median": 949,
     "max": 962
    },
    "lib": {
     "min": 440,
     "median": 440,
     "max": 440
    },
    "bl127lib": null,
    "quad": {
     "min": 495,
     "median": 539,
     "max": 623
    }
   }
  },
  "fromFixed18": {
   "inputs": [
    "1",
    "500000000000000000",
    "1000000000000000000",
    "3141592653589793238",
    "1000000000000000000000",
    "-3141592653589793238"
   ],
   "gas": {
    "yul": [
     1145,
     1146,
     1148,
     1149,
     1149,
     1151
    ],
    "lib": [
     554,
     554,
     554,
     554,
     554,
     554
    ],
    "bl127lib": [
     140,
     140,
     140,
     140,
     140,
     140
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1145,
     "median": 1148,
     "max": 1151
    },
    "lib": {
     "min": 554,
     "median": 554,
     "max": 554
    },
    "bl127lib": {
     "min": 140,
     "median": 140,
     "max": 140
    },
    "quad": null
   }
  },
  "fromUint": {
   "inputs": [
    "1",
    "2",
    "1000000000000000000",
    "1267650600228229401496703205376",
    "110427941548649020598956093796432407239217743554726184882600387580788736",
    "1809251394333065553493296640760748560207343510400633813116524750123642650624"
   ],
   "gas": {
    "yul": [
     934,
     936,
     936,
     938,
     939,
     940
    ],
    "lib": [
     413,
     413,
     413,
     413,
     413,
     413
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 934,
     "median": 937,
     "max": 940
    },
    "lib": {
     "min": 413,
     "median": 413,
     "max": 413
    },
    "bl127lib": null,
    "quad": null
   }
  },
  "fromUintDown": {
   "inputs": [
    "1",
    "2",
    "1000000000000000000",
    "1267650600228229401496703205376",
    "110427941548649020598956093796432407239217743554726184882600387580788736",
    "1809251394333065553493296640760748560207343510400633813116524750123642662969"
   ],
   "gas": {
    "yul": [
     910,
     911,
     911,
     913,
     914,
     939
    ],
    "lib": [
     487,
     487,
     487,
     487,
     487,
     487
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     435,
     440,
     512,
     489,
     540,
     558
    ]
   },
   "summary": {
    "yul": {
     "min": 910,
     "median": 912,
     "max": 939
    },
    "lib": {
     "min": 487,
     "median": 487,
     "max": 487
    },
    "bl127lib": null,
    "quad": {
     "min": 435,
     "median": 500,
     "max": 558
    }
   }
  },
  "fromUintUp": {
   "inputs": [
    "1",
    "2",
    "1000000000000000000",
    "1267650600228229401496703205376",
    "110427941548649020598956093796432407239217743554726184882600387580788736",
    "1809251394333065553493296640760748560207343510400633813116524750123642662969"
   ],
   "gas": {
    "yul": [
     995,
     1021,
     998,
     999,
     1000,
     1048
    ],
    "lib": [
     488,
     488,
     488,
     488,
     488,
     534
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 995,
     "median": 999,
     "max": 1048
    },
    "lib": {
     "min": 488,
     "median": 488,
     "max": 534
    },
    "bl127lib": null,
    "quad": null
   }
  },
  "gavg": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     2267,
     2323,
     2297,
     2298,
     2300,
     2271
    ],
    "lib": [
     1864,
     1878,
     1864,
     1864,
     1864,
     1864
    ],
    "bl127lib": [
     1003,
     1003,
     1003,
     1003,
     706,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 2267,
     "median": 2297,
     "max": 2323
    },
    "lib": {
     "min": 1864,
     "median": 1864,
     "max": 1878
    },
    "bl127lib": {
     "min": 706,
     "median": 1003,
     "max": 1003
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28946537729848081951759388743207296708099957139630570856355655874234774623907,28944241671315114122244316738865222255096174060220739676132507924019298297670",
     "28953621603440960877101572405654264501847630961112358807057096055930628775142,28949990317540838461005100343709181663432456246819510019674401270105441772507",
     "28953435498650973791986499276990799583714813428278275034235350219409240320186,28952331130003026165053963353775359606347272045514857536141626830264924283172",
     "28941656205562306289069671488542595796002561220849063588242375910607077392618,28947423781617302866453642274682454657852435995374806716383718057912389122378",
     "28950970431531277067949487007612262606241041695483574726612887302686958033272,28945907776175029850756122962165218757067375176984062943159127448873249316035",
     "28947374036447609704848068284991707557689440486757150116009389310285932132759,28949006092145113301477281223504999401135110701215818420596784462164751474366",
     "28946143437021321950075311380146378594264065667614191062859836348895970888244,28945720561140809299713261116070449752826083749097464303083497823809973030363",
     "28953273912754427996128958144242974350014003121966219866838487853523548358336,28943941164371363548188796575457095097910399471647931238420676414636880118619"
    ],
    "gas": {
     "yul": [
      2384,
      2709,
      2667,
      2574,
      2412,
      2565,
      2561,
      2735
     ],
     "lib": [
      1872,
      2115,
      2099,
      2105,
      1870,
      1870,
      2099,
      2334
     ],
     "bl127lib": [
      706,
      1003,
      1003,
      706,
      1003,
      1003,
      706,
      1003
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 2384,
      "median": 2569,
      "max": 2735
     },
     "lib": {
      "min": 1870,
      "median": 2099,
      "max": 2334
     },
     "bl127lib": {
      "min": 706,
      "median": 1003,
      "max": 1003
     },
     "quad": null
    }
   }
  },
  "hypot": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     3154,
     3524,
     3234,
     3339,
     3421,
     1162
    ],
    "lib": [
     3198,
     3668,
     3283,
     3376,
     3396,
     595
    ],
    "bl127lib": [
     1164,
     1164,
     1164,
     1164,
     867,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1162,
     "median": 3286,
     "max": 3524
    },
    "lib": {
     "min": 595,
     "median": 3329,
     "max": 3668
    },
    "bl127lib": {
     "min": 867,
     "median": 1164,
     "max": 1164
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "-28943163129466962990445902088874560768218493192549442238881204871683580333252,28949291624414180405036391562191230962388235227177775479979460381464594996653",
     "-28950613876726304254552465411010069694254981921559776779272564163216301435821,28944482746686140329179751253739441635479189596259366553693381927982601548290",
     "-28944761002670167596137540172539569271365571976787413890214004046730976709125,28942155057713508915458335447081803874669103386823366395606207853002643964984",
     "28946543567475784158696679872006602557929716596760155111098210392978292632386,-28950880758825046800180930457558576498500549303015656792606922353323248710798",
     "-28953606688246074349572907640689323587754066756036349237170221762554024143317,-28945844846199575660415280234092944903764234111597949355481569407899126484824",
     "28951768330668881237546732862344945825111636056285295695321768209652614686596,-28949003811896552749021230833281669034547077024897916914677411644015520182184",
     "-28951008379097170626826259285570111177917373972953218495147621434625068191880,28945536775818648903191152146361468539031188487269342432258511230684571549998",
     "-28950013711362323968966585835651085836405623738368588337893067173515922767814,28949212655075220384081158752095444112154383672993780735989483970994095273396"
    ],
    "gas": {
     "yul": [
      3656,
      3299,
      3550,
      3504,
      3580,
      3568,
      3373,
      3783
     ],
     "lib": [
      3595,
      3275,
      3595,
      3518,
      3380,
      3595,
      3295,
      3615
     ],
     "bl127lib": [
      1164,
      867,
      1164,
      867,
      1164,
      1164,
      867,
      1164
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3299,
      "median": 3559,
      "max": 3783
     },
     "lib": {
      "min": 3275,
      "median": 3556,
      "max": 3615
     },
     "bl127lib": {
      "min": 867,
      "median": 1164,
      "max": 1164
     },
     "quad": null
    }
   }
  },
  "inv": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     1247,
     1248,
     1249,
     1250,
     1251,
     1253
    ],
    "lib": [
     747,
     747,
     747,
     747,
     747,
     747
    ],
    "bl127lib": [
     242,
     242,
     242,
     242,
     242,
     242
    ],
    "quad": [
     1253,
     1253,
     1253,
     1295,
     1295,
     1253
    ]
   },
   "summary": {
    "yul": {
     "min": 1247,
     "median": 1249,
     "max": 1253
    },
    "lib": {
     "min": 747,
     "median": 747,
     "max": 747
    },
    "bl127lib": {
     "min": 242,
     "median": 242,
     "max": 242
    },
    "quad": {
     "min": 1253,
     "median": 1253,
     "max": 1295
    }
   }
  },
  "lambertW0": {
   "inputs": [
    "-28948293488966015778913925201524120789821669139494883864912860795419385397248",
    "-28948301524439823451573181562426282844836725846889947058126359224198889472000",
    "-28948574449036792100995741032640959125353692255127914640788809003916186353664",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948353593153694802954543120453366260539213819640805188419043803141024776192",
    "28958954675542365108932042905457823771634178723022058902167773440348780494848"
   ],
   "gas": {
    "yul": [
     null,
     27305,
     9149,
     9655,
     9554,
     9341
    ],
    "lib": [
     null,
     32217,
     10005,
     10691,
     10597,
     10401
    ],
    "bl127lib": [
     null,
     11264,
     7865,
     328,
     8183,
     8183
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 9149,
     "median": 9554,
     "max": 27305
    },
    "lib": {
     "min": 10005,
     "median": 10597,
     "max": 32217
    },
    "bl127lib": {
     "min": 328,
     "median": 8183,
     "max": 11264
    },
    "quad": null
   },
   "reverts": {
    "yul": 1,
    "lib": 1,
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28946930175969619401465078566178702882026330671957497086826511903531378380440",
     "28946939580799326832246577458591657253941658305554791940622759052584735641253",
     "28950042097890458212246337565556578931098613953666515736347583752723859401759",
     "28951090329052831981736854929230246781155211958013120447082749529473481950155",
     "28949344361201007891512183096046619196219166711617497632991672168590490796741",
     "28947683755592550350066201877025197116711047425073827864224227890184104081331",
     "28948051772663465739474639923884382993142945593658223676029597301661397132473",
     "28951679288150473929146140530184377083658970507986246292123444222842393889207"
    ],
    "gas": {
     "yul": [
      7974,
      8001,
      9657,
      9487,
      9885,
      9886,
      9968,
      9526
     ],
     "lib": [
      8685,
      8696,
      10776,
      10545,
      10880,
      10870,
      11048,
      10568
     ],
     "bl127lib": [
      6582,
      6592,
      8200,
      8237,
      8420,
      8407,
      8295,
      8291
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 7974,
      "median": 9591,
      "max": 9968
     },
     "lib": {
      "min": 8685,
      "median": 10672,
      "max": 11048
     },
     "bl127lib": {
      "min": 6582,
      "median": 8264,
      "max": 8420
     },
     "quad": null
    }
   }
  },
  "lambertWm1": {
   "inputs": [
    "-28948293488966015778913925201524120789821669139494883864912860795419385397248",
    "-28948301524439823451573181562426282844836725846889947058126359224198889472000",
    "-28948464021095243451975142076547162692946453037384359914603926403528605564928",
    "-28949237016686083995119334769203737719797127561589242997898104606241671086080",
    "-28954758413763516446149282573893559340159088448766979307142234625620710522880",
    "-29058560678819246525512301302062205802963953127708421920931878989946651934720"
   ],
   "gas": {
    "yul": [
     null,
     28009,
     9714,
     9390,
     9521,
     8005
    ],
    "lib": [
     null,
     33141,
     10706,
     10318,
     10571,
     8754
    ],
    "bl127lib": [
     null,
     11326,
     9613,
     8075,
     8025,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 8005,
     "median": 9521,
     "max": 28009
    },
    "lib": {
     "min": 8754,
     "median": 10571,
     "max": 33141
    },
    "bl127lib": {
     "min": 8025,
     "median": 8844,
     "max": 11326
    },
    "quad": null
   },
   "reverts": {
    "yul": 1,
    "lib": 1,
    "bl127lib": 2
   },
   "typical": {
    "inputs": [
     "-28951234919415270929586508258403548695582998529916238130595584502797891928352",
     "-28951495645863107349980985408198416473549392465038109008681874805463939455622",
     "-28954069891806908387536911758750209385553546909429317162992970309678228625816",
     "-28952732118881404588251863061126486669808535815259335585502567008233645947302",
     "-28951433043350400669957700014521728349215323312088630250339852270051699140376",
     "-28950334886621767749399231521866006791106258740099158631130093036997207165910",
     "-28950410718743554753338822615137635729217369156191712473288114564706894307612",
     "-28950336610190714593618337022936785876491289774347351345269042076055100419689"
    ],
    "gas": {
     "yul": [
      9678,
      9969,
      9373,
      9849,
      9728,
      10003,
      9451,
      10004
     ],
     "lib": [
      10727,
      10909,
      10298,
      10792,
      10720,
      10930,
      10379,
      10993
     ],
     "bl127lib": [
      8121,
      8266,
      8065,
      8185,
      8133,
      8266,
      8064,
      8313
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 9373,
      "median": 9788,
      "max": 10004
     },
     "lib": {
      "min": 10298,
      "median": 10759,
      "max": 10993
     },
     "bl127lib": {
      "min": 8064,
      "median": 8159,
      "max": 8313
     },
     "quad": null
    }
   }
  },
  "lerp": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248,28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420,28947691025504402908830949383890587666095778513179476831309748200815540043776",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496,-28948132737270597504913345208265773395724735384153695736049278602365863198720",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688,28948243165212146153933944164359569828131974601897250462234161202753443987456",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808,28936869087232635304812251686698537290186335174311113665191253362832622747648",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448,28958954675542365108932042905457823771634178723022058902167773440348780494848"
   ],
   "gas": {
    "yul": [
     1220,
     6410,
     6397,
     6751,
     6390,
     6824
    ],
    "lib": [
     546,
     5893,
     5875,
     6483,
     5869,
     6782
    ],
    "bl127lib": [
     477,
     477,
     477,
     477,
     477,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1220,
     "median": 6403,
     "max": 6824
    },
    "lib": {
     "min": 546,
     "median": 5884,
     "max": 6782
    },
    "bl127lib": {
     "min": 477,
     "median": 477,
     "max": 477
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "-28948857511719001997998377589885691480285964125198033889805530782598583674616,-28948218420961767708035888060537844991353775593417782956132212001887254956080,28947573020985500876802758397262282081386725545962717065921669109131633886995",
     "-28947832369840460371410161447437324409495970945057350370550589044238787698972,-28947383798772188636473419895999987561281652154004316332664550862398898297621,28947722951263259594230928880197117325083246200692960374464628061833124835239",
     "-28948017155103816117165242264542061980943091368864730750423380733870723741804,-28948014506195214917869606497936789973521170583587145010402081085244588704847,28947717848438098406442490574297505418382294957364351034479300900488712246517",
     "-28947150319607800538494041080209711101880562707589241590752235393825790173786,-28947328040624033838959104871169302068704518708284515720038845734685483185227,28947531288004635674869247226443353774885592679564058575909975164222756129504",
     "-28948926181219351994937248873534464434835629564505849822068480434787945393592,-28947167154375486667563778487212330692977321089434810064360057397163620604752,28947870519077800680200498390275451054322813966795853804900096103304159796464",
     "-28947170411130121029949729029790961210247312877832586297436024808701524850524,-28947742944414345670397118275877090213810197740116654336560961423413490267125,28947767654796996462449696085652066700216403150530488923723965409728802832804",
     "-28948640063579634227649376271310354193125742349172203990016800977704299585009,-28947957397283306126059824074571042533348909968423055785051589554721762243843,28947574358845823805575413012614526897442858530836612947598976320078421059856",
     "28948571265649719184595767021597835460308515883233006990432636113253780875927,28947554157655542966205153099621994776562696070260390715981103800680738523726,28947547508513904699709266083136110440881219231434262344375515514332634960623"
    ],
    "gas": {
     "yul": [
      6823,
      6960,
      6958,
      6839,
      6888,
      7011,
      6893,
      6615
     ],
     "lib": [
      6520,
      6520,
      6512,
      6512,
      6518,
      6512,
      6520,
      5893
     ],
     "bl127lib": [
      477,
      477,
      477,
      477,
      477,
      477,
      477,
      477
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 6615,
      "median": 6890,
      "max": 7011
     },
     "lib": {
      "min": 5893,
      "median": 6515,
      "max": 6520
     },
     "bl127lib": {
      "min": 477,
      "median": 477,
      "max": 477
     },
     "quad": null
    }
   }
  },
  "ln": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     3255,
     4155,
     803,
     3269,
     3258,
     3261
    ],
    "lib": [
     3048,
     4123,
     274,
     3091,
     3122,
     3048
    ],
    "bl127lib": [
     590,
     590,
     139,
     1913,
     1944,
     590
    ],
    "quad": [
     1580,
     555,
     555,
     16850,
     16570,
     1548
    ]
   },
   "summary": {
    "yul": {
     "min": 803,
     "median": 3259,
     "max": 4155
    },
    "lib": {
     "min": 274,
     "median": 3069,
     "max": 4123
    },
    "bl127lib": {
     "min": 139,
     "median": 590,
     "max": 1944
    },
    "quad": {
     "min": 555,
     "median": 1564,
     "max": 16850
    }
   },
   "typical": {
    "inputs": [
     "28944705996687636049405539948019681685836570615379968131664390537726911565093",
     "28941293152284153758295312730186212655951338964779314754163035186646304997842",
     "28941887929629550905730861570750366952093979891274191146771124889753650159594",
     "28942735997882491165271510641163455188005691222967336664682459987746391737609",
     "28946279153147805926042920354017306459295579182324866864595981397626047435040",
     "28942126277030990298238869480635957224148223877787046798705186578236357319749",
     "28950215897480547593631182873410587014405560126370930571377641914044845277483",
     "28948702617917469265885848733802236216261789941658140979971680086817787963358"
    ],
    "gas": {
     "yul": [
      3269,
      3276,
      3258,
      3281,
      3286,
      3286,
      3287,
      3292
     ],
     "lib": [
      3122,
      3056,
      3101,
      3067,
      3112,
      3122,
      3132,
      3092
     ],
     "bl127lib": [
      1944,
      1878,
      1934,
      1889,
      1934,
      1944,
      1954,
      1914
     ],
     "quad": [
      16405,
      16265,
      16265,
      16307,
      16545,
      16265,
      16430,
      16570
     ]
    },
    "summary": {
     "yul": {
      "min": 3258,
      "median": 3283,
      "max": 3292
     },
     "lib": {
      "min": 3056,
      "median": 3106,
      "max": 3132
     },
     "bl127lib": {
      "min": 1878,
      "median": 1934,
      "max": 1954
     },
     "quad": {
      "min": 16265,
      "median": 16356,
      "max": 16570
     }
    }
   }
  },
  "log10": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     3261,
     4177,
     809,
     3276,
     3291,
     3267
    ],
    "lib": [
     3037,
     4112,
     270,
     3080,
     3122,
     3037
    ],
    "bl127lib": [
     590,
     590,
     139,
     1913,
     1944,
     590
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 809,
     "median": 3271,
     "max": 4177
    },
    "lib": {
     "min": 270,
     "median": 3058,
     "max": 4112
    },
    "bl127lib": {
     "min": 139,
     "median": 590,
     "max": 1944
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "28946883675969069357337691240393773978629943809281851307055982855116617876835",
     "28950968490778815307923830561505901421103405084455197475124872519815444188013",
     "28949645417032141983546335661872835299506445251400689293754267067907478798147",
     "28943260494264883711093570464616598250340812542008627697848661971247573283998",
     "28953637677155289754564851453849385848872632885695484077360940695727602736875",
     "28952891390103262710533943987478439044169304130181561228922681576884881072333",
     "28946695483244790853191978831410156698129253463588109904895031055614031973188",
     "28947896302008551795886009291374112649855886823043915944451797783519366862085"
    ],
    "gas": {
     "yul": [
      3397,
      3430,
      3404,
      3400,
      3432,
      3432,
      3423,
      4310
     ],
     "lib": [
      3076,
      3102,
      3090,
      3076,
      3122,
      3101,
      3132,
      4186
     ],
     "bl127lib": [
      1909,
      1924,
      1923,
      1909,
      1944,
      1923,
      1954,
      1944
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3397,
      "median": 3426,
      "max": 4310
     },
     "lib": {
      "min": 3076,
      "median": 3101,
      "max": 4186
     },
     "bl127lib": {
      "min": 1909,
      "median": 1923,
      "max": 1954
     },
     "quad": null
    }
   }
  },
  "log1p": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28944599043141040736254178613264287558693080416359944498133035389963277959168",
    "-28949126588744535346098735813109941287389888343845688271713222005854090297344",
    "28947028457855111014707355647327809071652343206718148474200452598490055311360",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872"
   ],
   "gas": {
    "yul": [
     2825,
     2827,
     2848,
     3225,
     3398,
     3563
    ],
    "lib": [
     2571,
     2571,
     2601,
     3058,
     3326,
     3508
    ],
    "bl127lib": [
     2033,
     2033,
     2127,
     2047,
     2052,
     2107
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 2825,
     "median": 3036,
     "max": 3563
    },
    "lib": {
     "min": 2571,
     "median": 2829,
     "max": 3508
    },
    "bl127lib": {
     "min": 2033,
     "median": 2049,
     "max": 2127
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "28946107629830873292603693047737778360759875168349464683056888083484695882800",
     "28948001852675089120493107448899040539734615592438485482591870184745323333606",
     "28946378584631073062024662771240436166521218360501390668982908886197113260683",
     "28946348703583473561824111854318154202862342977112911502323134797574745126852",
     "28946964598581407062876905501008144576961245806423861784084192534574985909497",
     "28945765947028741186994412457810268563880373507934065562950130400027483457233",
     "28947107733962321448819564250570164551596478302942624662782580331606297603280",
     "28946587381260620875807341587411593962166586101522473586960385319729766809490"
    ],
    "gas": {
     "yul": [
      2809,
      3515,
      2837,
      2838,
      2863,
      2848,
      3197,
      2844
     ],
     "lib": [
      2576,
      3482,
      2587,
      2587,
      2587,
      2582,
      3047,
      2587
     ],
     "bl127lib": [
      2033,
      2097,
      2033,
      2033,
      2033,
      2033,
      2047,
      2033
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 2809,
      "median": 2846,
      "max": 3515
     },
     "lib": {
      "min": 2576,
      "median": 2587,
      "max": 3482
     },
     "bl127lib": {
      "min": 2033,
      "median": 2033,
      "max": 2097
     },
     "quad": null
    }
   }
  },
  "log2": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     3136,
     4043,
     818,
     3150,
     3139,
     3141
    ],
    "lib": [
     2822,
     3897,
     270,
     2865,
     2896,
     2822
    ],
    "bl127lib": [
     374,
     374,
     374,
     1697,
     1728,
     374
    ],
    "quad": [
     868,
     128,
     128,
     16096,
     15816,
     836
    ]
   },
   "summary": {
    "yul": {
     "min": 818,
     "median": 3140,
     "max": 4043
    },
    "lib": {
     "min": 270,
     "median": 2843,
     "max": 3897
    },
    "bl127lib": {
     "min": 374,
     "median": 374,
     "max": 1728
    },
    "quad": {
     "min": 128,
     "median": 852,
     "max": 16096
    }
   },
   "typical": {
    "inputs": [
     "28942357812318363645116553400727713983975324373726790192903844628615945985571",
     "28944582963719957106536973901904867916108001215735338052197390897124894307503",
     "28943818576257175707101275576388440964795648409758198857100895039687143856928",
     "28947448594641038022414633299803750742078724786434002945144608893963093675630",
     "28952603392489482197440050586926982053072861482938482837643402514803177781787",
     "28943573157182698593163776531008468696447535632157580570984036239828477189210",
     "28948476616893231353600759771086016699675957388959869745515587000151366532332",
     "28943686825293616740755556662924887543032777020071278536696652584169628529841"
    ],
    "gas": {
     "yul": [
      3245,
      3272,
      3271,
      3248,
      3251,
      3328,
      3278,
      3253
     ],
     "lib": [
      2875,
      2896,
      2906,
      2885,
      2875,
      2885,
      2865,
      2895
     ],
     "bl127lib": [
      1718,
      1728,
      1738,
      1728,
      1718,
      1728,
      1697,
      1738
     ],
     "quad": [
      15553,
      15693,
      15553,
      16113,
      15536,
      15553,
      15956,
      15553
     ]
    },
    "summary": {
     "yul": {
      "min": 3245,
      "median": 3262,
      "max": 3328
     },
     "lib": {
      "min": 2865,
      "median": 2885,
      "max": 2906
     },
     "bl127lib": {
      "min": 1697,
      "median": 1728,
      "max": 1738
     },
     "quad": {
      "min": 15536,
      "median": 15553,
      "max": 16113
     }
    }
   }
  },
  "log2Up": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     1175,
     1158,
     912,
     1189,
     1190,
     1163
    ],
    "lib": [
     679,
     679,
     340,
     693,
     693,
     679
    ],
    "bl127lib": [
     209,
     209,
     209,
     209,
     209,
     209
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 912,
     "median": 1169,
     "max": 1190
    },
    "lib": {
     "min": 340,
     "median": 679,
     "max": 693
    },
    "bl127lib": {
     "min": 209,
     "median": 209,
     "max": 209
    },
    "quad": null
   }
  },
  "lt": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     818,
     819,
     822,
     794,
     795,
     826
    ],
    "lib": [
     233,
     233,
     233,
     233,
     233,
     233
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     358,
     488,
     488,
     488,
     501,
     488
    ]
   },
   "summary": {
    "yul": {
     "min": 794,
     "median": 818,
     "max": 826
    },
    "lib": {
     "min": 233,
     "median": 233,
     "max": 233
    },
    "bl127lib": null,
    "quad": {
     "min": 358,
     "median": 488,
     "max": 501
    }
   }
  },
  "max": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     821,
     827,
     828,
     829,
     827,
     821
    ],
    "lib": [
     251,
     250,
     250,
     250,
     251,
     250
    ],
    "bl127lib": [
     114,
     113,
     113,
     113,
     114,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 821,
     "median": 827,
     "max": 829
    },
    "lib": {
     "min": 250,
     "median": 250,
     "max": 251
    },
    "bl127lib": {
     "min": 113,
     "median": 113,
     "max": 114
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "min": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     831,
     831,
     837,
     838,
     844,
     841
    ],
    "lib": [
     251,
     251,
     251,
     251,
     250,
     251
    ],
    "bl127lib": [
     114,
     114,
     114,
     114,
     113,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 831,
     "median": 837,
     "max": 844
    },
    "lib": {
     "min": 250,
     "median": 251,
     "max": 251
    },
    "bl127lib": {
     "min": 113,
     "median": 114,
     "max": 114
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "mul": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1068,
     1070,
     1071,
     1058,
     1058,
     1059
    ],
    "lib": [
     530,
     530,
     530,
     530,
     530,
     530
    ],
    "bl127lib": [
     255,
     255,
     255,
     255,
     255,
     null
    ],
    "quad": [
     709,
     667,
     667,
     709,
     709,
     709
    ]
   },
   "summary": {
    "yul": {
     "min": 1058,
     "median": 1063,
     "max": 1071
    },
    "lib": {
     "min": 530,
     "median": 530,
     "max": 530
    },
    "bl127lib": {
     "min": 255,
     "median": 255,
     "max": 255
    },
    "quad": {
     "min": 667,
     "median": 709,
     "max": 709
    }
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "mulDown": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1243,
     1208,
     1246,
     1210,
     1249,
     1251
    ],
    "lib": [
     727,
     727,
     727,
     727,
     727,
     727
    ],
    "bl127lib": [
     315,
     315,
     315,
     315,
     315,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1208,
     "median": 1244,
     "max": 1251
    },
    "lib": {
     "min": 727,
     "median": 727,
     "max": 727
    },
    "bl127lib": {
     "min": 315,
     "median": 315,
     "max": 315
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "mulUp": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1220,
     1268,
     1263,
     1265,
     1223,
     1223
    ],
    "lib": [
     728,
     774,
     728,
     728,
     728,
     728
    ],
    "bl127lib": [
     337,
     386,
     337,
     337,
     337,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1220,
     "median": 1243,
     "max": 1268
    },
    "lib": {
     "min": 728,
     "median": 728,
     "max": 774
    },
    "bl127lib": {
     "min": 337,
     "median": 337,
     "max": 386
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "neg": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     711,
     712,
     725,
     715,
     715,
     717
    ],
    "lib": [
     127,
     127,
     127,
     127,
     127,
     127
    ],
    "bl127lib": [
     116,
     116,
     116,
     116,
     116,
     116
    ],
    "quad": [
     9,
     9,
     9,
     9,
     9,
     9
    ]
   },
   "summary": {
    "yul": {
     "min": 711,
     "median": 715,
     "max": 725
    },
    "lib": {
     "min": 127,
     "median": 127,
     "max": 127
    },
    "bl127lib": {
     "min": 116,
     "median": 116,
     "max": 116
    },
    "quad": {
     "min": 9,
     "median": 9,
     "max": 9
    }
   }
  },
  "normCdf": {
   "inputs": [
    "-28948353593153694802954543120453366260539213819640805188419043803141024776192",
    "-28948132737270597504913345208265773395724735384153695736049278602365863198720",
    "-28947856667416725882361847818031282314706637339794808920587072101396911226880",
    "-28947787649953257976723973470472659544452112828705087216721520476154673233920",
    "-28947580597562854259810350427796791233688539295435922105124865600427959255040",
    "-28947131984050312873164167168665743227034129973352731029998780036353412300800"
   ],
   "gas": {
    "yul": [
     12625,
     10040,
     9938,
     10017,
     19471,
     10032
    ],
    "lib": [
     13525,
     11068,
     10772,
     11023,
     21847,
     11281
    ],
    "bl127lib": [
     6302,
     8474,
     7811,
     7956,
     236,
     236
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 9938,
     "median": 10036,
     "max": 19471
    },
    "lib": {
     "min": 10772,
     "median": 11174,
     "max": 21847
    },
    "bl127lib": {
     "min": 236,
     "median": 7056,
     "max": 8474
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "-28947760881826723172192065140056419337845144623056071380460848056300884814929",
     "28948129236353688085586746631232874894589353080506818950538028596970728394810",
     "-28948543807870891281670452366506176396535678529896141398240070586054495181297",
     "-28948457514174756646253155318647889626382713732281267156725356024138698765795",
     "-28948274188220316167724530163012772260409459815266045723298261750960098392910",
     "28947711160362946886955915888177091965127820303588577367042720897302168677714",
     "28947689147176302107898202574395073958290722053793891862877993719725580810237",
     "28947565391741887114440627933825475139913851770399153976975289844221477846470"
    ],
    "gas": {
     "yul": [
      10063,
      10221,
      10842,
      11376,
      13834,
      13205,
      12815,
      11509
     ],
     "lib": [
      11043,
      11388,
      11676,
      12189,
      14726,
      14398,
      13845,
      12519
     ],
     "bl127lib": [
      7955,
      15867,
      5420,
      5714,
      6880,
      6458,
      6175,
      5587
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 10063,
      "median": 11442,
      "max": 13834
     },
     "lib": {
      "min": 11043,
      "median": 12354,
      "max": 14726
     },
     "bl127lib": {
      "min": 5420,
      "median": 6316,
      "max": 15867
     },
     "quad": null
    }
   }
  },
  "pow": {
   "inputs": [
    "28947973721034767450323682711490706533058310910602976930343047657807746862940,28948889341213864420468542743377175514639960336974769914675388294083897196544",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28948022309329048855892746252171976963317496166410141009864396001978282409984,28948270772197533316189093903383018936233784406333139143780381852850339184640",
    "28948270772197533316189093903383018936233784406333139143780381852850339184640,28948049916314436018147895991195426071419305970846029691410616652075177607168",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512,-28947967095358274531382446774125078747113876557538363646771954701784492015616",
    "28948077523299823180403045730218875179521115775281918372956837302172072804352,28948022309329048855892746252171976963317496166410141009864396001978282409984"
   ],
   "gas": {
    "yul": [
     6448,
     5698,
     4355,
     5672,
     5267,
     1416
    ],
    "lib": [
     6823,
     5898,
     4294,
     5843,
     5366,
     990
    ],
    "bl127lib": [
     null,
     3303,
     2856,
     3344,
     1826,
     502
    ],
    "quad": [
     23325,
     23185,
     8635,
     23073,
     1581,
     23101
    ]
   },
   "summary": {
    "yul": {
     "min": 1416,
     "median": 5469,
     "max": 6448
    },
    "lib": {
     "min": 990,
     "median": 5604,
     "max": 6823
    },
    "bl127lib": {
     "min": 502,
     "median": 2856,
     "max": 3344
    },
    "quad": {
     "min": 1581,
     "median": 23087,
     "max": 23325
    }
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "28948048939558920889890923030956003762501078679980485380754433095694553772872,-28948066747219354529603335524803498711723996972361418821121045106942789485168",
     "28947577394982669574996140597850112800025824829830260893788330526888392506486,28947967516556441688282495508896484240912059171030873727904838450931515035884",
     "28947881601628615177875558839069163758665538514821449695272238824544810306318,28947952153458731197868579269978940197162600938662959705294151323665688391826",
     "28948124178967663652741820506642366443970133503350637814063114145880968028423,-28948069636899059224554758840440796675257909828172547684193702703791884031114",
     "28947756499748497586070417853978804910467705112140118241188834097058136017796,-28948267973380168244951581930074842099413162191008807548916603673340897224218",
     "28947787979088929663962988967527891601708839509564565402384333130949754262735,-28948572836678671164067833701602772402853666343989945727349607792359445636041",
     "28947756432537142848003509368001031984216273863809028706199653854159493014601,28947585294604637478155384006477581672296564834667306657916972268236489691845",
     "28947659666946375025585507329851510505951624544275090266642506739539465717632,28947546791352267762217168469352538758066840793808947900219551656139702124773"
    ],
    "gas": {
     "yul": [
      6006,
      5983,
      6815,
      6031,
      5946,
      5807,
      5929,
      6065
     ],
     "lib": [
      5995,
      5964,
      7057,
      5985,
      5878,
      5821,
      5965,
      5954
     ],
     "bl127lib": [
      3420,
      3420,
      3421,
      3431,
      3305,
      3277,
      3401,
      3399
     ],
     "quad": [
      23532,
      23479,
      23409,
      23532,
      23384,
      23384,
      23563,
      23479
     ]
    },
    "summary": {
     "yul": {
      "min": 5807,
      "median": 5994,
      "max": 6815
     },
     "lib": {
      "min": 5821,
      "median": 5964,
      "max": 7057
     },
     "bl127lib": {
      "min": 3277,
      "median": 3410,
      "max": 3431
     },
     "quad": {
      "min": 23384,
      "median": 23479,
      "max": 23563
     }
    }
   }
  },
  "powu": {
   "inputs": [
    "28947973721034767450323682711490706533058310910602976930343047657807746862940,2",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,12",
    "28948022309329048855892746252171976963317496166410141009864396001978282409984,365",
    "28947911881387501813810191555068456072872349289829188805882507184383536922624,31536000",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512,-10000",
    "28947856667416725882361847818031282314706637339794808920587072101396911226880,1267650600228229401496703205376"
   ],
   "gas": {
    "yul": [
     2213,
     3133,
     5607,
     6969,
     7189,
     5051
    ],
    "lib": [
     1701,
     2706,
     5498,
     7435,
     7153,
     5113
    ],
    "bl127lib": [
     1314,
     2030,
     null,
     10504,
     null,
     6030
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 2213,
     "median": 5329,
     "max": 7189
    },
    "lib": {
     "min": 1701,
     "median": 5305,
     "max": 7435
    },
    "bl127lib": {
     "min": 1314,
     "median": 4030,
     "max": 10504
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 2
   },
   "typical": {
    "inputs": [
     "28947911881487214962386870217464028325022915061756571438119056664370683195983,13",
     "28947911881387696069086728284056448531412112694182211822945514075555243018799,81",
     "28947911881387501224086105196493381631865274318254655776143185735445917297635,2",
     "28947911881387501129023050790883384951385233743737556599181362949252593837929,15059",
     "28947911881387500626133231293424538361779694303529446081968031656666028251690,115273",
     "28947911887585528421251707773458142930367541393133285108813496207678909425838,916",
     "28947911881389411286493997318411550995654342487230943139505099982591415043043,15731",
     "28947911881387525322084731581182352984925613310607972132894873469195624065828,24926"
    ],
    "gas": {
     "yul": [
      3659,
      4718,
      2505,
      8598,
      7242,
      6146,
      8748,
      8754
     ],
     "lib": [
      3048,
      4176,
      1738,
      8471,
      7433,
      5862,
      8761,
      8568
     ],
     "bl127lib": [
      2284,
      3094,
      1340,
      6196,
      10488,
      4308,
      6398,
      6264
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 2505,
      "median": 6694,
      "max": 8754
     },
     "lib": {
      "min": 1738,
      "median": 6647,
      "max": 8761
     },
     "bl127lib": {
      "min": 1340,
      "median": 5252,
      "max": 10488
     },
     "quad": null
    }
   }
  },
  "round": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "-28947959277465637365484119174605467547668584283338242973240498517683819198622",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     864,
     1160,
     1098,
     1099,
     1146,
     1102
    ],
    "lib": [
     226,
     522,
     474,
     474,
     474,
     474
    ],
    "bl127lib": [
     212,
     212,
     212,
     212,
     212,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 864,
     "median": 1100,
     "max": 1160
    },
    "lib": {
     "min": 226,
     "median": 474,
     "max": 522
    },
    "bl127lib": {
     "min": 212,
     "median": 212,
     "max": 212
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "sign": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     761,
     763,
     763,
     765,
     767,
     768
    ],
    "lib": [
     139,
     139,
     139,
     139,
     139,
     139
    ],
    "bl127lib": [
     75,
     75,
     75,
     75,
     75,
     75
    ],
    "quad": [
     181,
     181,
     181,
     181,
     181,
     181
    ]
   },
   "summary": {
    "yul": {
     "min": 761,
     "median": 764,
     "max": 768
    },
    "lib": {
     "min": 139,
     "median": 139,
     "max": 139
    },
    "bl127lib": {
     "min": 75,
     "median": 75,
     "max": 75
    },
    "quad": {
     "min": 181,
     "median": 181,
     "max": 181
    }
   }
  },
  "sinh": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947691025504402908830949383890587666095778513179476831309748200815540043776",
    "-28948187951241371829423644686312671611928354993025473099141719902559653593088",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948381200139081965209692859476815368641023624076693869965264453237919973376",
    "28949830566871907983605054158207893543986038356960849651141848583324917825536"
   ],
   "gas": {
    "yul": [
     3173,
     3508,
     3510,
     3506,
     3509,
     3486
    ],
    "lib": [
     3053,
     3697,
     3645,
     3665,
     3686,
     3655
    ],
    "bl127lib": [
     4001,
     4152,
     4079,
     4102,
     4108,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 3173,
     "median": 3507,
     "max": 3510
    },
    "lib": {
     "min": 3053,
     "median": 3660,
     "max": 3697
    },
    "bl127lib": {
     "min": 4001,
     "median": 4102,
     "max": 4152
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   },
   "typical": {
    "inputs": [
     "-28947672802488327854381561761370112094216821217610035835900141344678679847712",
     "-28948114677179222005863178088999115163612746065664136273229662526874284028523",
     "28947608314790141820345546420338961392399566665916285027115697290726658331476",
     "-28947876117752849747041012473159242142764852230796814927942980851249492699147",
     "-28947502529191283524760104345051288003805286794133138820745721840249274862543",
     "-28948664269480963233901479244520780608569818492016038391735143501758519753741",
     "-28948080348124061850276820852238181733417072386473469635964709929467684256395",
     "28948448142223428281457710495511156516814724997565960523433646147350808882730"
    ],
    "gas": {
     "yul": [
      3727,
      3611,
      3667,
      3708,
      3614,
      3593,
      3588,
      3716
     ],
     "lib": [
      3676,
      3675,
      3708,
      3665,
      3675,
      3565,
      3582,
      3665
     ],
     "bl127lib": [
      4122,
      4116,
      4055,
      4095,
      4166,
      4089,
      4085,
      4098
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3588,
      "median": 3640,
      "max": 3727
     },
     "lib": {
      "min": 3565,
      "median": 3670,
      "max": 3708
     },
     "bl127lib": {
      "min": 4055,
      "median": 4096,
      "max": 4166
     },
     "quad": null
    }
   }
  },
  "sqrt": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     1665,
     1696,
     1667,
     1698,
     1705,
     1672
    ],
    "lib": [
     1201,
     1209,
     1201,
     1209,
     1209,
     1201
    ],
    "bl127lib": [
     469,
     469,
     816,
     816,
     816,
     816
    ],
    "quad": [
     760,
     760,
     760,
     760,
     760,
     760
    ]
   },
   "summary": {
    "yul": {
     "min": 1665,
     "median": 1684,
     "max": 1705
    },
    "lib": {
     "min": 1201,
     "median": 1205,
     "max": 1209
    },
    "bl127lib": {
     "min": 469,
     "median": 816,
     "max": 816
    },
    "quad": {
     "min": 760,
     "median": 760,
     "max": 760
    }
   },
   "typical": {
    "inputs": [
     "28965362342163778136595174757112698270407350629183511534982117378625302534785",
     "28975496160784580919763806066574971114783003070230098653655455970453859319547",
     "28980518013702883269347346039948315297808981536744664879894512089498771957685",
     "28960118997259687079601457932670924158018359832560811309197801423085474008521",
     "28926938301632288576321687880438784518728723906267665336150131318248593273134",
     "28918072952938356621359239007431378975941255897333677458959774116046235219670",
     "28937748798106563256217469914322025111773884324524345331973043809096685754121",
     "28971549722264037305293497814895028874329476730562600686399450848849519551877"
    ],
    "gas": {
     "yul": [
      1694,
      1667,
      1697,
      1699,
      1677,
      1702,
      1674,
      1676
     ],
     "lib": [
      1209,
      1201,
      1209,
      1209,
      1201,
      1209,
      1201,
      1201
     ],
     "bl127lib": [
      null,
      null,
      null,
      816,
      126,
      126,
      469,
      null
     ],
     "quad": [
      760,
      760,
      760,
      760,
      760,
      760,
      760,
      760
     ]
    },
    "summary": {
     "yul": {
      "min": 1667,
      "median": 1685,
      "max": 1702
     },
     "lib": {
      "min": 1201,
      "median": 1205,
      "max": 1209
     },
     "bl127lib": {
      "min": 126,
      "median": 297,
      "max": 816
     },
     "quad": {
      "min": 760,
      "median": 760,
      "max": 760
     }
    },
    "reverts": {
     "bl127lib": 4
    }
   }
  },
  "sub": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1017,
     1298,
     1183,
     1183,
     1233,
     1197
    ],
    "lib": [
     533,
     854,
     745,
     745,
     764,
     745
    ],
    "bl127lib": [
     128,
     128,
     128,
     128,
     128,
     null
    ],
    "quad": [
     726,
     1325,
     1236,
     1224,
     1284,
     1171
    ]
   },
   "summary": {
    "yul": {
     "min": 1017,
     "median": 1190,
     "max": 1298
    },
    "lib": {
     "min": 533,
     "median": 745,
     "max": 854
    },
    "bl127lib": {
     "min": 128,
     "median": 128,
     "max": 128
    },
    "quad": {
     "min": 726,
     "median": 1230,
     "max": 1325
    }
   },
   "reverts": {
    "bl127lib": 1
   }
  },
  "tanh": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947691025504402908830949383890587666095778513179476831309748200815540043776",
    "-28948187951241371829423644686312671611928354993025473099141719902559653593088",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948381200139081965209692859476815368641023624076693869965264453237919973376",
    "28948684876978340750016339988734755557760931472871469366973691604303767142400"
   ],
   "gas": {
    "yul": [
     3214,
     3592,
     3571,
     3598,
     3572,
     1297
    ],
    "lib": [
     3050,
     3716,
     3702,
     3723,
     3722,
     1027
    ],
    "bl127lib": [
     2577,
     3955,
     3956,
     3935,
     3976,
     247
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1297,
     "median": 3571,
     "max": 3598
    },
    "lib": {
     "min": 1027,
     "median": 3709,
     "max": 3723
    },
    "bl127lib": {
     "min": 247,
     "median": 3945,
     "max": 3976
    },
    "quad": null
   },
   "typical": {
    "inputs": [
     "-28948687420285928746265537427705257017460784986221089057534044205557915708612",
     "28948373475942527596650736616079386727281497700243148101255523906832857999419",
     "-28948081563063336618498132831117648344362050383370527391401068864590924251191",
     "-28948483580135989437356908775027624852057459678836282652941360746531037724021",
     "28947819601118309470837603727143365755730609259840905202394860481909421545993",
     "28948027237394306191680320884849466467055102403838285132070137986824825158535",
     "-28947791132004789133637584528071851873425828116524618104928822318220950061957",
     "-28947963478517987494597764640422027047243790941282383188264437696666043358457"
    ],
    "gas": {
     "yul": [
      3775,
      3708,
      3738,
      3781,
      3712,
      3689,
      3742,
      3744
     ],
     "lib": [
      3684,
      3722,
      3713,
      3695,
      3722,
      3591,
      3733,
      3723
     ],
     "bl127lib": [
      6183,
      3956,
      3976,
      4009,
      3966,
      3962,
      3966,
      3969
     ],
     "quad": [
      null,
      null,
      null,
      null,
      null,
      null,
      null,
      null
     ]
    },
    "summary": {
     "yul": {
      "min": 3689,
      "median": 3740,
      "max": 3781
     },
     "lib": {
      "min": 3591,
      "median": 3717,
      "max": 3733
     },
     "bl127lib": {
      "min": 3956,
      "median": 3967,
      "max": 6183
     },
     "quad": null
    }
   }
  },
  "toBL127": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     911,
     913,
     913,
     915,
     916,
     918
    ],
    "lib": [
     343,
     343,
     343,
     343,
     343,
     343
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     278,
     292,
     292,
     292,
     292,
     292
    ]
   },
   "summary": {
    "yul": {
     "min": 911,
     "median": 914,
     "max": 918
    },
    "lib": {
     "min": 343,
     "median": 343,
     "max": 343
    },
    "bl127lib": null,
    "quad": {
     "min": 278,
     "median": 292,
     "max": 292
    }
   }
  },
  "toFixed18": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     974,
     1028,
     1029,
     1031,
     1032,
     1033
    ],
    "lib": [
     440,
     480,
     480,
     480,
     480,
     480
    ],
    "bl127lib": [
     121,
     121,
     121,
     121,
     121,
     121
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 974,
     "median": 1030,
     "max": 1033
    },
    "lib": {
     "min": 440,
     "median": 480,
     "max": 480
    },
    "bl127lib": {
     "min": 121,
     "median": 121,
     "max": 121
    },
    "quad": null
   }
  },
  "toFixed18Down": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     1278,
     1308,
     1309,
     1310,
     1311,
     1313
    ],
    "lib": [
     718,
     723,
     723,
     723,
     723,
     723
    ],
    "bl127lib": [
     160,
     160,
     160,
     160,
     160,
     160
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1278,
     "median": 1309,
     "max": 1313
    },
    "lib": {
     "min": 718,
     "median": 723,
     "max": 723
    },
    "bl127lib": {
     "min": 160,
     "median": 160,
     "max": 160
    },
    "quad": null
   }
  },
  "toFixed18Up": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408"
   ],
   "gas": {
    "yul": [
     1321,
     1331,
     1388,
     1352,
     1335,
     1336
    ],
    "lib": [
     733,
     724,
     724,
     738,
     724,
     724
    ],
    "bl127lib": [
     190,
     185,
     185,
     190,
     185,
     185
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1321,
     "median": 1335,
     "max": 1388
    },
    "lib": {
     "min": 724,
     "median": 724,
     "max": 738
    },
    "bl127lib": {
     "min": 185,
     "median": 185,
     "max": 190
    },
    "quad": null
   }
  },
  "toIntDown": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     918,
     920,
     1076,
     1078,
     1078,
     1080
    ],
    "lib": [
     330,
     330,
     466,
     466,
     466,
     466
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     109,
     278,
     278,
     278,
     278,
     293
    ]
   },
   "summary": {
    "yul": {
     "min": 918,
     "median": 1077,
     "max": 1080
    },
    "lib": {
     "min": 330,
     "median": 466,
     "max": 466
    },
    "bl127lib": null,
    "quad": {
     "min": 109,
     "median": 278,
     "max": 293
    }
   }
  },
  "toIntUp": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     956,
     957,
     1123,
     1141,
     1125,
     1186
    ],
    "lib": [
     331,
     331,
     467,
     481,
     467,
     481
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 956,
     "median": 1124,
     "max": 1186
    },
    "lib": {
     "min": 331,
     "median": 467,
     "max": 481
    },
    "bl127lib": null,
    "quad": null
   }
  },
  "toUintDown": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     814,
     844,
     871,
     872,
     873,
     875
    ],
    "lib": [
     286,
     286,
     405,
     405,
     405,
     405
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     83,
     240,
     240,
     240,
     240,
     254
    ]
   },
   "summary": {
    "yul": {
     "min": 814,
     "median": 871,
     "max": 875
    },
    "lib": {
     "min": 286,
     "median": 405,
     "max": 405
    },
    "bl127lib": null,
    "quad": {
     "min": 83,
     "median": 240,
     "max": 254
    }
   }
  },
  "toUintUp": {
   "inputs": [
    "28941286204894581265636209930450394586475903884053302712586557378335854297088",
    "28947801453445951557851548339984384098503017730923031557494630801203120832512",
    "28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346",
    "28954532442230539056274183623639853713369689690631715677698841135435504156672",
    "28969997469697230010991938514837467012358100497377531520656033479106859368449"
   ],
   "gas": {
    "yul": [
     824,
     825,
     936,
     984,
     939,
     953
    ],
    "lib": [
     287,
     287,
     406,
     420,
     406,
     420
    ],
    "bl127lib": [
     null,
     null,
     null,
     null,
     null,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 824,
     "median": 937,
     "max": 984
    },
    "lib": {
     "min": 287,
     "median": 406,
     "max": 420
    },
    "bl127lib": null,
    "quad": null
   }
  },
  "zeroFloorSub": {
   "inputs": [
    "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248",
    "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420",
    "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496",
    "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688",
    "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808",
    "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448"
   ],
   "gas": {
    "yul": [
     1127,
     1432,
     1293,
     1293,
     1366,
     1295
    ],
    "lib": [
     617,
     938,
     829,
     829,
     851,
     829
    ],
    "bl127lib": [
     212,
     212,
     212,
     212,
     215,
     null
    ],
    "quad": [
     null,
     null,
     null,
     null,
     null,
     null
    ]
   },
   "summary": {
    "yul": {
     "min": 1127,
     "median": 1294,
     "max": 1432
    },
    "lib": {
     "min": 617,
     "median": 829,
     "max": 938
    },
    "bl127lib": {
     "min": 212,
     "median": 212,
     "max": 215
    },
    "quad": null
   },
   "reverts": {
    "bl127lib": 1
   }
  }
 }
}
