{
  "tid": "T246",
  "entries": 31,
  "python_flint": "0.6.0",
  "mpmath": "1.3.0",
  "working_bits": 493,
  "minimum_certified_accuracy_bits": 478,
  "identity_checks": 2,
  "exact_rows": 0,
  "nonzero_control_passed": true,
  "records": [
    {
      "parameters": {
        "s": "0"
      },
      "number": "1.837877066409345483560659472811235279722794947275566825634303080965531391854520795389486597271908395",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "1/2"
      },
      "number": "2.686091709612832791116478748724871144507269625811776921584451315495547282857339698426088863613775527",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-1"
      },
      "number": "1.985053724405411150567035922913367713168436564022421403998267676288316395998926073114301203990105066",
      "certified_accuracy_bits": 487,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2"
      },
      "number": "-0.5699609930945328063998643600197300024034822808069309795581973604379172773667406067878675434264499217",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "3"
      },
      "number": "-0.1648226821582772401864933947994750650230095804224032708717453372762869598655773519080862678086888914",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-3"
      },
      "number": "0.6454291629329161373300369052496611474797327690754608471336427867989402397508883503314124644990819921",
      "certified_accuracy_bits": 485,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "4"
      },
      "number": "-0.06366976495537112649619867568935677004811181919330375602690580428187445445203621733831213726876018063",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "5"
      },
      "number": "-0.02755619219153047054461103190802827770376028295880322922674541929458396936254459150728987967871724563",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-5"
      },
      "number": "0.1443924670100560716577305255061363773400047973822793468908395540114292279004094769820806342811965275",
      "certified_accuracy_bits": 482,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "6"
      },
      "number": "-0.01263306903251106082389229594583199990838384750012225578410257149436344260155734398898030705087471609",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "7"
      },
      "number": "-0.005983558570638396153781990333460225134012328034877668923220680346408402770881248774204870032476375934",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-7"
      },
      "number": "-0.1748742432382177565921360051160865468566930530221003964727326769942234109265543791255791460033078511",
      "certified_accuracy_bits": 482,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "8"
      },
      "number": "-0.002890168308046756383549574847418599521209806619552036230054150012520327584117297405130050575894146993",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "9"
      },
      "number": "-0.001413144078811703121012095454036393626895725107635591686008221013599789501139270525809732170719772623",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-9"
      },
      "number": "-0.4131791822120916036502014143836789647523562942435601073674775831173825517887129412488556733896021093",
      "certified_accuracy_bits": 482,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "10"
      },
      "number": "-0.0006963404452840204365952766909372927366576765092034364464203550004722978330698463929646343007109998839",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "11"
      },
      "number": "-0.0003448518005384273275108214836032865189778239275820408156661224266380105051939475265309041019086924813",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-11"
      },
      "number": "-0.6046132728852498614746713965421955826315305032617682082586844744124014587895109480758593638906759630",
      "certified_accuracy_bits": 483,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "12"
      },
      "number": "-0.0001713406812166717030343854415115839483925584000862446461225546145442999231809304750518528905462371316",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "13"
      },
      "number": "-0.00008531343955816884070010228640739709656841860478824819474155623821058274564192234646014170985102771613",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-13"
      },
      "number": "-0.7649984849349225634324641776800206677859282637531018966212106306528447704188002451365112137842991583",
      "certified_accuracy_bits": 483,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "14"
      },
      "number": "-0.00004253888795422615549801456009675520425120816516281269385280863051124470414804367081025940717945212122",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "15"
      },
      "number": "-0.00002123043613140305293086512223345424732880022557423978622797904006874646160679029754140368306765212525",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-15"
      },
      "number": "-0.9031256596381091638826694473225917048278385667493671068173383057601569095933725071153921891226913662",
      "certified_accuracy_bits": 483,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "16"
      },
      "number": "-0.00001060228000572094338798301276381340043614326413569773582037161843720076767101978716737930688248227140",
      "certified_accuracy_bits": 478,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "17"
      },
      "number": "-0.000005296842904493593945793228089119436323902472655806950795822860404533825328648379360515749480038557139",
      "certified_accuracy_bits": 480,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-17"
      },
      "number": "-1.024457144337005122901759356892389267438464780134282057609368575253069414067887142512580755958424273",
      "certified_accuracy_bits": 484,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "18"
      },
      "number": "-0.000002646992874467806651014619436839025104047526279570473201866831407049234332854978214106588796634339361",
      "certified_accuracy_bits": 482,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "19"
      },
      "number": "-0.000001323021170172668765606229135268704671782437647317549620927532979086906931639368944674266882507270590",
      "certified_accuracy_bits": 484,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-19"
      },
      "number": "-1.132646264480413735676734632766605378965782753206629221783394820544857005451699333016805160959280492",
      "certified_accuracy_bits": 483,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "20"
      },
      "number": "-6.613523898316398628732481447041059732089568563829073627560425434344587077989769136781961275493643943e-7",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    }
  ]
}