{
  "tid": "T14",
  "entries": 83,
  "python_flint": "0.6.0",
  "mpmath": "1.3.0",
  "working_bits": 493,
  "minimum_certified_accuracy_bits": 491,
  "identity_checks": 20,
  "exact_rows": 41,
  "nonzero_control_passed": true,
  "records": [
    {
      "parameters": {
        "s": "0"
      },
      "number": "-1/2",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "1/2"
      },
      "number": "-1.460354508809586812889499152515298012467229331012581490542886087825530529474500625276419375463356819",
      "certified_accuracy_bits": 498,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-1"
      },
      "number": "-1/12",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "3/2"
      },
      "number": "2.612375348685488343348567567924071630570800652400063407573328248814927767688272860996243868126311952",
      "certified_accuracy_bits": 498,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "2"
      },
      "number": "1.644934066848226436472415166646025189218949901206798437735558229370007470403200873833628900619758705",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-2"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "5/2"
      },
      "number": "1.341487257250917179756769693348612136623037629505986511253796728340918923813185441581761085998697994",
      "certified_accuracy_bits": 497,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "3"
      },
      "number": "1.202056903159594285399738161511449990764986292340498881792271555341838205786313090186455873609335258",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-3"
      },
      "number": "1/120",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "4"
      },
      "number": "1.082323233711138191516003696541167902774750951918726907682976215444120616186968846556909635941699917",
      "certified_accuracy_bits": 494,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-4"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "5"
      },
      "number": "1.036927755143369926331365486457034168057080919501912811974192677903803589786281484560043106557133336",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-5"
      },
      "number": "-1/252",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "6"
      },
      "number": "1.017343061984449139714517929790920527901817490032853561842408664004332182901957897882773977938535170",
      "certified_accuracy_bits": 494,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-6"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "7"
      },
      "number": "1.008349277381922826839797549849796759599863560565238706417283136571601478317355735346096968913851323",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-7"
      },
      "number": "1/240",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "8"
      },
      "number": "1.004077356197944339378685238508652465258960790649850020329110202652582952574748814395287230372371971",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-8"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "9"
      },
      "number": "1.002008392826082214417852769232412060485605851394888756548596615909785053390258398950393069127169586",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-9"
      },
      "number": "-1/132",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "10"
      },
      "number": "1.000994575127818085337145958900319017006019531564477517257788994636291465151912954397041968610385652",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-10"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "11"
      },
      "number": "1.000494188604119464558702282526469936468606435758208617119141436100054059798219814702591843023560629",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-11"
      },
      "number": "691/32760",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "12"
      },
      "number": "1.000246086553308048298637998047739670960416088458003404533040952133252019681940913049042808551900699",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-12"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "13"
      },
      "number": "1.000122713347578489146751836526357395714275105895509845136702671620896726829844209812892713953268135",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-13"
      },
      "number": "-1/12",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "14"
      },
      "number": "1.000061248135058704829258545105135333747481696169154549482755202252862941023177420876659782971998467",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-14"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "15"
      },
      "number": "1.000030588236307020493551728510645062587627948706858177506569932893332267156342279573072334347017548",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-15"
      },
      "number": "3617/8160",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "16"
      },
      "number": "1.000015282259408651871732571487636722023237388990471531153105203588787087027953151786285604846322462",
      "certified_accuracy_bits": 496,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-16"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "17"
      },
      "number": "1.000007637197637899762273600293563029213088249090262679095379843972935643290282459342081738636916671",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-17"
      },
      "number": "-43867/14364",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "18"
      },
      "number": "1.000003817293264999839856461644621939730454697218953331143174429987630039542650045638001968668989649",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-18"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "19"
      },
      "number": "1.000001908212716553938925656957795101353258571144838630235933046761823949705341309312664227118076302",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-19"
      },
      "number": "174611/6600",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "20"
      },
      "number": "1.000000953962033872796113152038683449345943794187410595750056489851137513731143900257836097976387478",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-20"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "21"
      },
      "number": "1.000000476932986787806463116719604373045966446694784937600207487376596839087898159833876638564497256",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-21"
      },
      "number": "-77683/276",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "22"
      },
      "number": "1.000000238450502727732990003648186752994935041821779658269849603116474458935622914821316156167743985",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-22"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "23"
      },
      "number": "1.000000119219925965311073067788718882326387254997784519858603225797236243730427435123174313352235859",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-23"
      },
      "number": "236364091/65520",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "24"
      },
      "number": "1.000000059608189051259479612440207935801227503918837302795864246972321724495355468544848206832825003",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-24"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "25"
      },
      "number": "1.000000029803503514652280186063705069366011844730919543312398681339013384460767464082069171562896200",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-25"
      },
      "number": "-657931/12",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "26"
      },
      "number": "1.000000014901554828365041234658506630698628864788167885910547435968789971296744862510258486179405654",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-26"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "27"
      },
      "number": "1.000000007450711789835429491981004170604119454719031882565829993239578352147606271570867900837100313",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-27"
      },
      "number": "3392780147/3480",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "28"
      },
      "number": "1.000000003725334024788457054819204018402423232893059295811519769334706169604960304364973738801930066",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-28"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "29"
      },
      "number": "1.000000001862659723513049006403909945416948061665330469200665774893805558091693265817877381474521004",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-29"
      },
      "number": "-1723168255201/85932",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "30"
      },
      "number": "1.000000000931327432419668182871764735021219813567955136816185008613360441960672940496363503624604027",
      "certified_accuracy_bits": 495,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-30"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "31"
      },
      "number": "1.000000000465662906503378407298923325122007106269185336947307372971693371175669889809582649582191406",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-31"
      },
      "number": "7709321041217/16320",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "32"
      },
      "number": "1.000000000232831183367650549200145597594049502482982284530311077602258387912189392170586790714721837",
      "certified_accuracy_bits": 496,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-32"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "33"
      },
      "number": "1.000000000116415501727005197759297383545630951652247172763593256517739947029124624567548673934974376",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-33"
      },
      "number": "-151628697551/12",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "34"
      },
      "number": "1.000000000058207720879027008892436859891063054173122604617215955071688124163071396179208265960455374",
      "certified_accuracy_bits": 496,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-34"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "35"
      },
      "number": "1.000000000029103850444970996869294252278840464106981987433032256210254825640488901408204338569117244",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-35"
      },
      "number": "26315271553053477373/69090840",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "36"
      },
      "number": "1.000000000014551921891041984235929632245318420983808894124038069139542218571745865030220152998942329",
      "certified_accuracy_bits": 496,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-36"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "37"
      },
      "number": "1.000000000007275959835057481014520869012338059264850925555466107705796942638438370439334710114183793",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-37"
      },
      "number": "-154210205991661/12",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "38"
      },
      "number": "1.000000000003637979547378651190237236355873273512646028384897469947951594042714249816909036997016960",
      "certified_accuracy_bits": 496,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-38"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "39"
      },
      "number": "1.000000000001818989650307065947584832100730085030589309618664070535251253356509316152407149980168289",
      "certified_accuracy_bits": 493,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-39"
      },
      "number": "261082718496449122051/541200",
      "exact": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "40"
      },
      "number": "1.000000000000909494784026388928253311838694908753860000990878828505479710112025368695607103530607220",
      "certified_accuracy_bits": 496,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "s": "-40"
      },
      "number": "0",
      "exact": true,
      "mpmath_150_200_pass": true
    }
  ]
}