{
  "abs": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1346,
    "reverts": 3,
    "worstInput": ""
  },
  "add": {
    "meanBits": 256,
    "minBits": 256,
    "n": 497,
    "reverts": 3,
    "worstInput": ""
  },
  "atanh": {
    "meanBits": 256,
    "minBits": 256,
    "n": 261,
    "reverts": 6,
    "worstInput": ""
  },
  "avg": {
    "meanBits": 256,
    "minBits": 256,
    "n": 501,
    "reverts": 3,
    "worstInput": ""
  },
  "cbrt": {
    "meanBits": 256,
    "minBits": 256,
    "n": 317,
    "reverts": 3,
    "worstInput": ""
  },
  "ceil": {
    "meanBits": 256,
    "minBits": 256,
    "n": 154,
    "reverts": 0,
    "worstInput": ""
  },
  "clamp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 295,
    "reverts": 5,
    "worstInput": ""
  },
  "cmp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 295,
    "reverts": 5,
    "worstInput": ""
  },
  "compound": {
    "meanBits": 256,
    "minBits": 256,
    "n": 421,
    "reverts": 87,
    "worstInput": ""
  },
  "cosh": {
    "meanBits": 256,
    "minBits": 256,
    "n": 253,
    "reverts": 8,
    "worstInput": ""
  },
  "dist": {
    "meanBits": 256,
    "minBits": 256,
    "n": 399,
    "reverts": 1,
    "worstInput": ""
  },
  "div": {
    "meanBits": 256,
    "minBits": 256,
    "n": 496,
    "reverts": 4,
    "worstInput": ""
  },
  "divDown": {
    "meanBits": 256,
    "minBits": 256,
    "n": 492,
    "reverts": 8,
    "worstInput": ""
  },
  "divUp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 494,
    "reverts": 6,
    "worstInput": ""
  },
  "eq": {
    "meanBits": 256,
    "minBits": 256,
    "n": 200,
    "reverts": 0,
    "worstInput": ""
  },
  "erf": {
    "meanBits": 256,
    "minBits": 256,
    "n": 382,
    "reverts": 3,
    "worstInput": ""
  },
  "erfc": {
    "meanBits": 256,
    "minBits": 256,
    "n": 437,
    "reverts": 3,
    "worstInput": ""
  },
  "exp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 767,
    "reverts": 5,
    "worstInput": ""
  },
  "exp10": {
    "meanBits": 256,
    "minBits": 256,
    "n": 267,
    "reverts": 7,
    "worstInput": ""
  },
  "exp2": {
    "meanBits": 256,
    "minBits": 256,
    "n": 268,
    "reverts": 8,
    "worstInput": ""
  },
  "expm1": {
    "meanBits": 256,
    "minBits": 256,
    "n": 851,
    "reverts": 5,
    "worstInput": ""
  },
  "factorial": {
    "meanBits": 256,
    "minBits": 256,
    "n": 26,
    "reverts": 52,
    "worstInput": ""
  },
  "floor": {
    "meanBits": 256,
    "minBits": 256,
    "n": 154,
    "reverts": 0,
    "worstInput": ""
  },
  "frac": {
    "meanBits": 256,
    "minBits": 256,
    "n": 154,
    "reverts": 0,
    "worstInput": ""
  },
  "fromFP127": {
    "meanBits": 256,
    "minBits": 256,
    "n": 11,
    "reverts": 0,
    "worstInput": ""
  },
  "fromFixed18": {
    "meanBits": 256,
    "minBits": 256,
    "n": 13,
    "reverts": 0,
    "worstInput": ""
  },
  "fromUint": {
    "meanBits": 256,
    "minBits": 256,
    "n": 10,
    "reverts": 0,
    "worstInput": ""
  },
  "fromUintDown": {
    "meanBits": 256,
    "minBits": 256,
    "n": 19,
    "reverts": 0,
    "worstInput": ""
  },
  "fromUintUp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 19,
    "reverts": 0,
    "worstInput": ""
  },
  "gavg": {
    "meanBits": 256,
    "minBits": 256,
    "n": 258,
    "reverts": 242,
    "worstInput": ""
  },
  "hypot": {
    "meanBits": 256,
    "minBits": 256,
    "n": 475,
    "reverts": 32,
    "worstInput": ""
  },
  "inv": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1345,
    "reverts": 4,
    "worstInput": ""
  },
  "lambertW0": {
    "meanBits": 256,
    "minBits": 256,
    "n": 815,
    "reverts": 72,
    "worstInput": ""
  },
  "lambertWm1": {
    "meanBits": 256,
    "minBits": 256,
    "n": 662,
    "reverts": 677,
    "worstInput": ""
  },
  "lerp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1144,
    "reverts": 71,
    "worstInput": ""
  },
  "ln": {
    "meanBits": 256,
    "minBits": 256,
    "n": 2118,
    "reverts": 96,
    "worstInput": ""
  },
  "log10": {
    "meanBits": 256,
    "minBits": 256,
    "n": 759,
    "reverts": 115,
    "worstInput": ""
  },
  "log1p": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1226,
    "reverts": 11,
    "worstInput": ""
  },
  "log2": {
    "meanBits": 256,
    "minBits": 256,
    "n": 759,
    "reverts": 115,
    "worstInput": ""
  },
  "log2Up": {
    "meanBits": 256,
    "minBits": 256,
    "n": 759,
    "reverts": 115,
    "worstInput": ""
  },
  "lt": {
    "meanBits": 256,
    "minBits": 256,
    "n": 297,
    "reverts": 3,
    "worstInput": ""
  },
  "max": {
    "meanBits": 256,
    "minBits": 256,
    "n": 200,
    "reverts": 0,
    "worstInput": ""
  },
  "min": {
    "meanBits": 256,
    "minBits": 256,
    "n": 200,
    "reverts": 0,
    "worstInput": ""
  },
  "mul": {
    "meanBits": 256,
    "minBits": 256,
    "n": 495,
    "reverts": 5,
    "worstInput": ""
  },
  "mulDown": {
    "meanBits": 256,
    "minBits": 256,
    "n": 487,
    "reverts": 13,
    "worstInput": ""
  },
  "mulUp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 490,
    "reverts": 10,
    "worstInput": ""
  },
  "neg": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1346,
    "reverts": 3,
    "worstInput": ""
  },
  "normCdf": {
    "meanBits": 256,
    "minBits": 256,
    "n": 434,
    "reverts": 3,
    "worstInput": ""
  },
  "pow": {
    "meanBits": 256,
    "minBits": 256,
    "n": 244,
    "reverts": 166,
    "worstInput": ""
  },
  "powu": {
    "meanBits": 256,
    "minBits": 256,
    "n": 380,
    "reverts": 125,
    "worstInput": ""
  },
  "round": {
    "meanBits": 256,
    "minBits": 256,
    "n": 154,
    "reverts": 0,
    "worstInput": ""
  },
  "sign": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1346,
    "reverts": 3,
    "worstInput": ""
  },
  "sinh": {
    "meanBits": 256,
    "minBits": 256,
    "n": 253,
    "reverts": 8,
    "worstInput": ""
  },
  "sqrt": {
    "meanBits": 256,
    "minBits": 256,
    "n": 673,
    "reverts": 676,
    "worstInput": ""
  },
  "sub": {
    "meanBits": 256,
    "minBits": 256,
    "n": 499,
    "reverts": 1,
    "worstInput": ""
  },
  "tanh": {
    "meanBits": 256,
    "minBits": 256,
    "n": 258,
    "reverts": 3,
    "worstInput": ""
  },
  "toFP127": {
    "meanBits": 256,
    "minBits": 256,
    "n": 969,
    "reverts": 380,
    "worstInput": ""
  },
  "toFixed18": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1107,
    "reverts": 242,
    "worstInput": ""
  },
  "toFixed18Down": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1107,
    "reverts": 242,
    "worstInput": ""
  },
  "toFixed18Up": {
    "meanBits": 256,
    "minBits": 256,
    "n": 1107,
    "reverts": 242,
    "worstInput": ""
  },
  "toIntDown": {
    "meanBits": 256,
    "minBits": 256,
    "n": 147,
    "reverts": 7,
    "worstInput": ""
  },
  "toIntUp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 147,
    "reverts": 7,
    "worstInput": ""
  },
  "toUintDown": {
    "meanBits": 256,
    "minBits": 256,
    "n": 77,
    "reverts": 77,
    "worstInput": ""
  },
  "toUintUp": {
    "meanBits": 256,
    "minBits": 256,
    "n": 77,
    "reverts": 77,
    "worstInput": ""
  },
  "zeroFloorSub": {
    "meanBits": 256,
    "minBits": 256,
    "n": 398,
    "reverts": 2,
    "worstInput": ""
  }
}