{
  "table": "T651",
  "run": "20261101T124411Z",
  "skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-dependency-review/agents/runs/20261101T124411Z-build-skills/manifest.json",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  ],
  "entries": 15,
  "scalar_inputs": 30,
  "interior_scalar_inputs": 9,
  "retained_digits": 100,
  "working_digits": [
    140,
    190
  ],
  "rigour": "heuristic (agreement-checked)",
  "minimum_precision_agreement_digits": 131.3946727647433,
  "independent_integral_working_digits": 125,
  "minimum_independent_scalar_or_determinant_agreement_digits": 114.40612295739416,
  "minimum_independent_determinant_agreement_digits": 114.40612295739416,
  "max_cancellation_factor": 1.0861341924339856,
  "exact_checks": {
    "versions": {
      "numberdb": "0.1.10",
      "sage": "10.9"
    },
    "source_coefficient_transcription": true,
    "symbolic_j_formula": true,
    "hilbert_polynomials_match_T129": true,
    "checks": [
      {
        "t": "108+54*sqrt(2)",
        "D": -24,
        "interior": false,
        "positive": true,
        "H": "x^2 - 4834944*x + 14670139392",
        "exact_CM_check": true
      },
      {
        "t": "108-54*sqrt(2)",
        "D": -24,
        "interior": false,
        "positive": true,
        "H": "x^2 - 4834944*x + 14670139392",
        "exact_CM_check": true
      },
      {
        "t": "18+6*sqrt(3)",
        "D": -36,
        "interior": false,
        "positive": true,
        "H": "x^2 - 153542016*x - 1790957481984",
        "exact_CM_check": true
      },
      {
        "t": "18-6*sqrt(3)",
        "D": -36,
        "interior": true,
        "positive": true,
        "H": "x^2 - 153542016*x - 1790957481984",
        "exact_CM_check": true
      },
      {
        "t": "270+162*sqrt(3)",
        "D": -4,
        "interior": false,
        "positive": true,
        "H": "x - 1728",
        "exact_CM_check": true
      },
      {
        "t": "270-162*sqrt(3)",
        "D": -4,
        "interior": false,
        "positive": false,
        "H": "x - 1728",
        "exact_CM_check": true
      },
      {
        "t": "729+405*sqrt(3)",
        "D": -48,
        "interior": false,
        "positive": true,
        "H": "x^2 - 2835810000*x + 6549518250000",
        "exact_CM_check": true
      },
      {
        "t": "729-405*sqrt(3)",
        "D": -48,
        "interior": false,
        "positive": true,
        "H": "x^2 - 2835810000*x + 6549518250000",
        "exact_CM_check": true
      },
      {
        "t": "-27/2-27/2*sqrt(5)",
        "D": -15,
        "interior": false,
        "positive": false,
        "H": "x^2 + 191025*x - 121287375",
        "exact_CM_check": true
      },
      {
        "t": "-27/2+27/2*sqrt(5)",
        "D": -15,
        "interior": true,
        "positive": true,
        "H": "x^2 + 191025*x - 121287375",
        "exact_CM_check": true
      },
      {
        "t": "3375/2+1485/2*sqrt(5)",
        "D": -60,
        "interior": false,
        "positive": true,
        "H": "x^2 - 37018076625*x + 153173312762625",
        "exact_CM_check": true
      },
      {
        "t": "3375/2-1485/2*sqrt(5)",
        "D": -60,
        "interior": false,
        "positive": true,
        "H": "x^2 - 37018076625*x + 153173312762625",
        "exact_CM_check": true
      },
      {
        "t": "-4320-1944*sqrt(5)",
        "D": -75,
        "interior": false,
        "positive": false,
        "H": "x^2 + 654403829760*x + 5209253090426880",
        "exact_CM_check": true
      },
      {
        "t": "-4320+1944*sqrt(5)",
        "D": -75,
        "interior": true,
        "positive": true,
        "H": "x^2 + 654403829760*x + 5209253090426880",
        "exact_CM_check": true
      },
      {
        "t": "32+2*sqrt(6)",
        "D": -72,
        "interior": false,
        "positive": true,
        "H": "x^2 - 377674768000*x + 232381513792000000",
        "exact_CM_check": true
      },
      {
        "t": "32-2*sqrt(6)",
        "D": -72,
        "interior": false,
        "positive": true,
        "H": "x^2 - 377674768000*x + 232381513792000000",
        "exact_CM_check": true
      },
      {
        "t": "3672+1458*sqrt(6)",
        "D": -8,
        "interior": false,
        "positive": true,
        "H": "x - 8000",
        "exact_CM_check": true
      },
      {
        "t": "3672-1458*sqrt(6)",
        "D": -8,
        "interior": false,
        "positive": true,
        "H": "x - 8000",
        "exact_CM_check": true
      },
      {
        "t": "-864-216*sqrt(17)",
        "D": -51,
        "interior": false,
        "positive": false,
        "H": "x^2 + 5541101568*x + 6262062317568",
        "exact_CM_check": true
      },
      {
        "t": "-864+216*sqrt(17)",
        "D": -51,
        "interior": true,
        "positive": true,
        "H": "x^2 + 5541101568*x + 6262062317568",
        "exact_CM_check": true
      },
      {
        "t": "-163296-35640*sqrt(21)",
        "D": -147,
        "interior": false,
        "positive": false,
        "H": "x^2 + 34848505552896000*x + 11356800389480448000000",
        "exact_CM_check": true
      },
      {
        "t": "-163296+35640*sqrt(21)",
        "D": -147,
        "interior": true,
        "positive": true,
        "H": "x^2 + 34848505552896000*x + 11356800389480448000000",
        "exact_CM_check": true
      },
      {
        "t": "4-4*sqrt(33)",
        "D": -99,
        "interior": false,
        "positive": false,
        "H": "x^2 + 37616060956672*x - 56171326053810176",
        "exact_CM_check": true
      },
      {
        "t": "4+4*sqrt(33)",
        "D": -99,
        "interior": true,
        "positive": true,
        "H": "x^2 + 37616060956672*x - 56171326053810176",
        "exact_CM_check": true
      },
      {
        "t": "-16740-2916*sqrt(33)",
        "D": -11,
        "interior": false,
        "positive": false,
        "H": "x + 32768",
        "exact_CM_check": true
      },
      {
        "t": "-16740+2916*sqrt(33)",
        "D": -11,
        "interior": true,
        "positive": true,
        "H": "x + 32768",
        "exact_CM_check": true
      },
      {
        "t": "-55296-8640*sqrt(41)",
        "D": -123,
        "interior": false,
        "positive": false,
        "H": "x^2 + 1354146840576000*x + 148809594175488000000",
        "exact_CM_check": true
      },
      {
        "t": "-55296+8640*sqrt(41)",
        "D": -123,
        "interior": true,
        "positive": true,
        "H": "x^2 + 1354146840576000*x + 148809594175488000000",
        "exact_CM_check": true
      },
      {
        "t": "-13500000-1431000*sqrt(89)",
        "D": -267,
        "interior": false,
        "positive": false,
        "H": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000",
        "exact_CM_check": true
      },
      {
        "t": "-13500000+1431000*sqrt(89)",
        "D": -267,
        "interior": true,
        "positive": true,
        "H": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000",
        "exact_CM_check": true
      }
    ]
  },
  "lvalue_check": {
    "row": 16,
    "formula": "2187 L(y^2=x^3+1,2)L(y^2=x^3-1,2)/pi^4",
    "working_digits": [
      140,
      190
    ],
    "values": [
      "22.4679681377881864293199494802038970604981677468325114018079628918829901316880001681373531049653475470751219124419027935974141737277652",
      "22.46796813778818642931994948020389706049816774683251140180796289188299013168800016813735310496534754707512191244190279359741417372776515212214933113544252817459701786565161372404718563"
    ],
    "agreement_digits": "181.783362075257",
    "pari_zeta2_control": true
  },
  "source_evidence": {
    "sources": {
      "ST.html": {
        "sha256": "006e2e287b38a67c42f3336e1570d161cb01813df6e837b21862a7599c73da96"
      },
      "S.pdf": {
        "sha256": "a62f9dd74296f01dd1d1052b40ebd1229dee25127a37841e256af635ef8c890e"
      },
      "TG.html": {
        "sha256": "e0706983ebd2fb92f0854dc178f9a5f664b26b5c25ceb195c9ea3518ede7bed5"
      }
    },
    "source_urls": {
      "ST.html": "https://arxiv.org/html/2409.14714v3",
      "S.pdf": "https://arxiv.org/pdf/2301.05390v3",
      "TG.html": "https://arxiv.org/html/2310.12510v2"
    }
  },
  "computed": [
    {
      "t": "108+54*sqrt(2)",
      "row": 13,
      "seconds": 0.0991525650024414,
      "number": "7.092986541447182950242847706092825572773193761643221036343250881638249829759358487071944225821788192",
      "low": "7.09298654144718295024284770609282557277319376164322103634325088163824982975935848707194422582178819192647716363001248100315130743641",
      "high": "7.0929865414471829502428477060928255727731937616432210363432508816382498297593584870719442258217881919264771636300124810031513074364028508072972814773352648804283235275724375747725358",
      "periods": [
        [
          "1.72765534012306576654115495865442325312557535107821997561030591861081204898913903333149426506173008088176229313023201837368108308272506",
          "1.05990593589039345245089040084935048761475843282032696831733953038501809905301769133584439998633427785872385478436939445272948125782216"
        ],
        [
          "1.7276553401230657665411549586544232531255753510782199756103059186108120489891390333314942650617300808817622931302320183736810830827243549067422276566158836404894088551660848257320932738",
          "1.0599059358903934524508904008493504876147584328203269683173395303850180990530176913358443999863342778587238547843693944527294812578212184060762220326340017005855681705344440307218677081"
        ]
      ],
      "agreement_digits": "131.996572132396776962233241970811220987428930538031633267928737280918675310526166200044149482123900955666363380199961692979280765295668947584958958008416342068918472894335115052256287079647977788121676102665408",
      "cancellation_factor": "0.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999994897673445534796737196512374"
    },
    {
      "t": "18+6*sqrt(3)",
      "row": 14,
      "seconds": 0.28781914710998535,
      "number": "3.215441190507797646935744825321917295105956335366857719546111742743651310674569693262700183971555823",
      "low": "3.21544119050779764693574482532191729510595633536685771954611174274365131067456969326270018397155582315943364153264365198625961288415",
      "high": "3.215441190507797646935744825321917295105956335366857719546111742743651310674569693262700183971555823159433641532643651986259612884147738986227259555909445368908746924565235583655316",
      "periods": [
        [
          "1.00302983481160512983986786953664414045324283472230244632515809648859380319480473398967487828340010018469156414867710285445635687873277",
          "-1.09695190936677160195201099773353875229714934905075956493143893016929367338685240642405963315061000053102350666578701084568327935912706"
        ],
        [
          "1.0030298348116051298398678695366441404532428347223024463251580964885938031948047339896748782834001001846915641486771028544563568787318154609456290417440379393098078280359479679480680037",
          "-1.0969519093667716019520109977335387522971493490507595649314389301692936733868524064240596331506100005310235066657870108456832793591270625356821918858260332448665275884208685886051271355"
        ]
      ],
      "agreement_digits": "132.152937363055534417599471386055802588403254571004200098332942866212968320030497505659682448451044302040310925079800011830280782909213871322184854245606121952622369603905115732019172254912517564211891459110984",
      "cancellation_factor": "0.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999985798227883744237457625144835"
    },
    {
      "t": "270+162*sqrt(3)",
      "row": 15,
      "seconds": 0.4553511142730713,
      "number": "9.646323571523392940807234475965751885317869006100573158638335228230953932023709079788100551914667469",
      "low": "9.64632357152339294080723447596575188531786900610057315863833522823095393202370907978810055191466746947830092459793095595877883865244",
      "high": "9.6463235715233929408072344759657518853178690061005731586383352282309539320237090797881005519146674694783009245979309559587788386524432169586817786677283361067262407736957067509659478",
      "periods": [
        [
          "2.09998174417837673179187886727018289275039218377306201125659702665788747658165714041373451143401010071571507081446411370013963623785893",
          "0.909107760256438657727724741339749528609336320393845327718877262807893933002757061555290123416190199838359621631567194863229434398336568"
        ],
        [
          "2.0999817441783767317918788672701828927503921837730620112565970266578874765816571404137345114340101007157150708144641137001396362378588779966278209275700711841763354164568165565531951383",
          "0.90910776025643865772772474133974952860933632039384532771887726280789393300275706155529012341619019983835962163156719486322943439833656838620906619766204263375308806765102734729100885249"
        ]
      ],
      "agreement_digits": "132.476916342677318501745932780171752274507789209766083514652384367491629759672864090459235748343039448764249537274076922020668569897488142841326935632272926386210319034134985011260569218990729492624009579184652",
      "cancellation_factor": "1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000208925329903468286784418559"
    },
    {
      "t": "729+405*sqrt(3)",
      "row": 16,
      "seconds": 0.6858644485473633,
      "number": "22.46796813778818642931994948020389706049816774683251140180796289188299013168800016813735310496534755",
      "low": "22.4679681377881864293199494802038970604981677468325114018079628918829901316880001681373531049653475470751219124419027935974141737278",
      "high": "22.467968137788186429319949480203897060498167746832511401807962891882990131688000168137353104965347547075121912441902793597414173727765152122149331135442528174597017865651613724047186",
      "periods": [
        [
          "2.42051638516343444962941336685813956579155727977683196555273006264454994818733011830548219117431136149618583065247074129347004733154948",
          "0.98368193314223911103299672564813951178299318250849617807910132498937632368667026152842687953484664483231678876369784620209260764916803"
        ],
        [
          "2.4205163851634344496294133668581395657915572797768319655527300626445499481873301183054821911743113614961858306524707412934700473315490408163100705494307891092166055616647768605062225396",
          "0.98368193314223911103299672564813951178299318250849617807910132498937632368667026152842687953484664483231678876369784620209260764916705130098465734494745839217998685282600087895362005284"
        ]
      ],
      "agreement_digits": "131.809387463541591211478535641669861966975416655896744014516813415241648428309453407415743893110970029481479039157315079694410398908147956866315089840225837372212323341652936852523948624985574697664801922900082",
      "cancellation_factor": "1.08613419243398561844863287380886959758700580096168066669424612583781239548281334078212400842773996111763167915792676515561428981569203869762147689374386204780037449944935578006502825458352964350351515702519571"
    },
    {
      "t": "-27/2-27/2*sqrt(5)",
      "row": 17,
      "seconds": 0.03564953804016113,
      "number": "10.72313320373494018150350977439978658466128463871421104376126607645189949646694950294938334208542441",
      "low": "10.7231332037349401815035097743997865846612846387142110437612660764518994964669495029493833420854244087351711720809357908079305334443",
      "high": "10.723133203734940181503509774399786584661284638714211043761266076451899496466949502949383342085424408735171172080935790807930533444256783565217143179860496950951706383642799251675355",
      "periods": [
        [
          "1.2986057373928815917922492845004537346840305230828322187062018033166004281595942333586508063569892391062358980077326339131405943333996",
          "-1.5136871862397433418727450496885796730874636741587723862308701015769995854875449088035600488170779128202850972389270507218153184778579"
        ],
        [
          "1.2986057373928815917922492845004537346840305230828322187062018033166004281595942333586508063569892391062358980077326339131405943333997473763858296262394476946185894401314171474214534333",
          "-1.5136871862397433418727450496885796730874636741587723862308701015769995854875449088035600488170779128202850972389270507218153184778578980592430117990107895530644656298141040385219516722"
        ]
      ],
      "agreement_digits": "131.394672764743277197812352015102801164520022295217885186190369920081341917196093139800842570128219453043596924676548654587717844230302682816596906258831465077720130369649144538943376251602593487376964091579794",
      "cancellation_factor": "0.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999971537384071998669207680827665"
    },
    {
      "t": "3375/2+1485/2*sqrt(5)",
      "row": 18,
      "seconds": 1.6988098621368408,
      "number": "37.53096621307229063526228421039925304631449623549973865316443126758164823763432326032284169729898543",
      "low": "37.5309662130722906352622842103992530463144962354997386531644312675816482376343232603228416972989854305730991022832752678277568670549",
      "high": "37.530966213072290635262284210399253046314496235499738653164431267581648237634323260322841697298985430573099102283275267827756867054898742478260001129511739328330972342749797380863741",
      "periods": [
        [
          "2.70475219920919405862474645159497043856977762170363452117473775576340043498316380443975623394402281506949639563106247623061855073902907",
          "0.975983564122588966671505636718264827078880796468921967419199355926001692167668220191286942666856228535162099160941008700128508116713511"
        ],
        [
          "2.7047521992091940586247464515949704385697776217036345211747377557634004349831638044397562339440228150694963956310624762306185507390285700942002503388645663184601169751041777403931559841",
          "0.97598356412258896667150563671826482707888079646892196741919935592600169216766822019128694266685622853516209916094100870012850811671252135210005636708243490694977515560738681077070607928"
        ]
      ],
      "agreement_digits": "133.47487424335478186558450602371079201722514774237575263574187379243700777897031834435202877793676895238440680211502838441986658319168709221018185803653715188602918949499353700847471489195770246453744260150082",
      "cancellation_factor": "1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001032427118586382930895841705"
    },
    {
      "t": "-4320-1944*sqrt(5)",
      "row": 19,
      "seconds": 74.8774573802948,
      "number": "224.6757247845783219820084691590401519305673376921029709373504752518183988426475211259287440756456580",
      "low": "224.675724784578321982008469159040151930567337692102970937350475251818398842647521125928744075645657978042353767704707841991790158217",
      "high": "224.67572478457832198200846915904015193056733769210297093735047525181839884264752112592874407564565797804235376770470784199179015821705069155445884445845264176378743088049682039975852",
      "periods": [
        [
          "3.02265333460114558526237740039860518445754194853719412805382647234429881573025975506655283391277289177760656087105595564860942086030081",
          "-1.93264190806452872558144976218757513546276573563763181404788261717132295010950333759567307072183024351152557397457928129095394461021823"
        ],
        [
          "3.0226533346011455852623774003986051844575419485371941280538264723442988157302597550665528339127728917776065608710559556486094208603013314306708449618787610822085770762749802887893536231",
          "-1.9326419080645287255814497621875751354627657356376318140478826171713229501095033375956730707218302435115255739745792812909539446102182312591536805930257993323904267710947269149372397638"
        ]
      ],
      "agreement_digits": "132.646620542273787950960535286880986186677849349179594984598721618278424850565494477705500977651538527526654874212567257779944358518454110686931536351937550411931003307231251300715064206607057795237376359416109",
      "cancellation_factor": "1.03324885007838353556609867085055602327717188338116163318269043728114234083137478145867027812066771762321354425516290951524456716918076047776787746533011042608792494491472473198315990031666718995309544041873747"
    },
    {
      "t": "32+2*sqrt(6)",
      "row": 20,
      "seconds": 3.823702335357666,
      "number": "3.502588695107078646422882472997385988169702474991076464997298816933667951825228498024783819205000639",
      "low": "3.50258869510707864642288247299738598816970247499107646499729881693366795182522849802478381920500063891536774450741147876711439331509",
      "high": "3.5025886951070786464228824729973859881697024749910764649972988169336679518252284980247838192050006389153677445074114787671143933150788147603926981295620101274600213216066467971596394",
      "periods": [
        [
          "1.13063130316131724495120981900658859195719561239516747327832266000129712656637892646950355813056076933547290091638289769322300399885253",
          "0.972591593491616459873575683880195732234790666086111646354896473946838120251527959916517196133310811831931413247317155271814314571045185"
        ],
        [
          "1.1306313031613172449512098190065885919571956123951674732783226600012971265663789264695035581305607693354729009163828976932230039988515592613210057349631262206354716809433630294166403518",
          "0.97259159349161645987357568388019573223479066608611164635489647394683812025152795991651719613331081183193141324731715527181431457104419221448458019335180136244608270172514464369795684182"
        ]
      ],
      "agreement_digits": "131.495743849742821314257881468833185477717430373001789563787955500447935390516074986635364597293648232119856070510037699930161499422976815088607234191447092345562901155474564385390232269304172550414211936245198",
      "cancellation_factor": "0.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999991558061483124750089255906302"
    },
    {
      "t": "3672+1458*sqrt(6)",
      "row": 21,
      "seconds": 0.01602482795715332,
      "number": "19.84800260560677899639633401365185393296164735828276663498469329595745172700962815547377497549500362",
      "low": "19.8480026056067789963963340136518539329616473582827666349846932959574517270096281554737749754950036205204172188753317130136482287854",
      "high": "19.84800260560677899639633401365185393296164735828276663498469329595745172700962815547377497549500362052041721887533171301364822878544661697555862273418472405560678748910433185057129",
      "periods": [
        [
          "2.96233690520694572484401480564210529197838665095076131976771836465197266873872681506768070101574539906008057322066581304145844752100177",
          "1.51562618270622690973753671638273098057638114593748219264254333254175752954264595549220441889068471471752469696615143050541806466653576"
        ],
        [
          "2.9623369052069457248440148056421052919783866509507613197677183646519726687387268150676807010157453990600805732206658130414584475210017023479105401126978949689647948227762286165381464213",
          "1.5156261827062269097375367163827309805763811459374821926425433325417575295426459554922044188906847147175246969661514305054180646665354089929166832945121190319505451833964288156841390489"
        ]
      ],
      "agreement_digits": "131.629172714571452981413274992447614375560738916777607228815029556526423516645392822119928519323443254555134926252815376618255497786042351015650036132296954919684885582201733408015159375143541257660766554306884",
      "cancellation_factor": "0.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999977975134407201975329968719462"
    },
    {
      "t": "-864-216*sqrt(17)",
      "row": 22,
      "seconds": 47.37334370613098,
      "number": "109.1634059675396927569206469171382947552509253067376938515398601944019003292932366917923776570625801",
      "low": "109.163405967539692756920646917138294755250925306737693851539860194401900329293236691792377657062580129292295326983592084901027784239",
      "high": "109.16340596753969275692064691713829475525092530673769385153986019440190032929323669179237765706258012929229532698359208490102778423934090598531359078024550842680039986058344097777981",
      "periods": [
        [
          "2.49113201377912084413543725411061189121185290617270392647741067734498189306985789379759098235439374341818136598459732607149034317866248",
          "-1.91464040912673418423043208834586079742699283141393637628208980905050657826309001106467211289602941813194942000466030991731291134789774"
        ],
        [
          "2.4911320137791208441354372541106118912118529061727039264774106773449818930698578937975909823543937434181813659845973260714903431786625143078499654605934674327050248428112205943822625394",
          "-1.9146404091267341842304320883458607974269928314139363762820898090505065782630900110646721128960294181319494200046603099173129113478977420180685658163051624979565543746381218082828404325"
        ]
      ],
      "agreement_digits": "131.505442451233977796588830416149217679052240033816509662458912708431558236100670346241445093018282453999770695141783378247084268105214639283087666785469484288888271826207177353141056374854977438621746606599317",
      "cancellation_factor": "0.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999993241740180797346076454174338"
    },
    {
      "t": "-163296-35640*sqrt(21)",
      "row": 23,
      "seconds": 108.8440809249878,
      "number": "873.9033292792856531182314015727567039171374015464944235719340742008187516874623002450580743439875301",
      "low": "873.903329279285653118231401572756703917137401546494423571934074200818751687462300245058074343987530127762227740808593977000763400824",
      "high": "873.90332927928565311823140157275670391713740154649442357193407420081875168746230024505807434398753012776222774080859397700076340082409833214638344343258949707705785712206907993101443",
      "periods": [
        [
          "4.2321893319123339399176621103139718194770431435995398608305369879192545361316249709693164240925325173485591883443998666570767798743439",
          "-1.93818761661252860269893649614148121097632071375807855853841192651971912333295634469532697835075808551623475077790536927732352286028336"
        ],
        [
          "4.2321893319123339399176621103139718194770431435995398608305369879192545361316249709693164240925325173485591883443998666570767798743438984491393574067582451511877440583380746270318499992",
          "-1.9381876166125286026989364961414812109763207137580785585384119265197191233329563446953269783507580855162347507779053692773235228602833579011303493653953292733883301895723819136461328647"
        ]
      ],
      "agreement_digits": "132.948767874868632558110726354822816240379904021234553115460203034043884558661920212047786102581881291997192103410191466131731923192403808532969020637197493716033624337308631848294552322248890796782907078746227",
      "cancellation_factor": "1.00859722376910550373493270043219556831899008808831270712574045498137732735782798709738234249079550645283876999032726296508695078028173551178402321379032351451897873318074479195626725319671351788614888411673989"
    },
    {
      "t": "4-4*sqrt(33)",
      "row": 24,
      "seconds": 84.67184686660767,
      "number": "16.11774496914165624216791929014262408143631171882729812301796159647007002786847706274513275220933787",
      "low": "16.1177449691416562421679192901426240814363117188272981230179615964700700278684770627451327522093378666417743001150443361246426873591",
      "high": "16.117744969141656242167919290142624081436311718827298123017961596470070027868477062745132752209337866641774300115044336124642687359132333827734116932560476261040127186232448659607822",
      "periods": [
        [
          "1.0603138530427201133574741494556096072710324487150529615740375895065017757896469154876158146761196005299333801918012618058216175222809",
          "-1.93670463226697697886077124209230307654171228271986619641468307056906113570096861427956550811202265826556772028587343206915746769553187"
        ],
        [
          "1.0603138530427201133574741494556096072710324487150529615740375895065017757896469154876158146761196005299333801918012618058216175222809018764060213314862603024928308520865864973508614861",
          "-1.936704632266976978860771242092303076541712282719866196414683070569061135700968614279565508112022658265567720285873432069157467695531872821376727788191306494008900458040854958666924499"
        ]
      ],
      "agreement_digits": "131.697647159472474865680180656471172868840315330667112229365119726036230736421742832923960212745360761316719951015568024490813496166946421786462736627926318635048195435455240579454148225121916944621639560347297",
      "cancellation_factor": "1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001110561612195972297221034955"
    },
    {
      "t": "-16740-2916*sqrt(33)",
      "row": 25,
      "seconds": 0.0066797733306884766,
      "number": "134.3145414095138020180659940845218673453025976568941510251496799705839168989039755228761062684111489",
      "low": "134.314541409513802018065994084521867345302597656894151025149679970583916898903975522876106268411148888681452500958702801038689061326",
      "high": "134.31454140951380201806599408452186734530259765689415102514967997058391689890397552287610626841114888868145250095870280103868906132610278189778430777133730217533439321860373883006518",
      "periods": [
        [
          "3.47307181886957929524018814591239331156999062414676329633566126220702511400604797939349734184032648750167825394009450883857680262459304",
          "-1.27672822488863152798465143090890631078411377529778233133435035999365651730721094795758336781962188676509152672572452556307398293972169"
        ],
        [
          "3.4730718188695792952401881459123933115699906241467632963356612622070251140060479793934973418403264875016782539400945088385768026245930292775416328133604629713171824249111823124912721295",
          "-1.2767282248886315279846514309089063107841137752977823313343503599936565173072109479575833678196218867650915267257245255630739829397216873101825292197271962082166880971247960661586398814"
        ]
      ],
      "agreement_digits": "132.116206401288975054682972111717356555241985900642705209043924038010318932122228089719372195380849974584191980267311829567166209020195759139315902587473963725373468807190152737122710276474584820941642737349077",
      "cancellation_factor": "1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003605128415614266214564194239"
    },
    {
      "t": "-55296-8640*sqrt(41)",
      "row": 26,
      "seconds": 97.3737154006958,
      "number": "618.2208359419764200914664915370125555404604865786987689205508265792866246770171059802078995552867217",
      "low": "618.220835941976420091466491537012555540460486578698768920550826579286624677017105980207899555286721678512616987548003223217358603069",
      "high": "618.22083594197642009146649153701255554046048657869876892055082657928662467701710598020789955528672167851261698754800322321735860306875742885715938296997566428392404043641884215577789",
      "periods": [
        [
          "3.87130044018210005135681145185338787367377060873913549846020182223714044576862832023931040186125780206713414461808015544194857783233128",
          "-1.93782995065548353622623597808459776815444268611626796416435518216025761349946015588007104374707364750343786563389949055321991133079425"
        ],
        [
          "3.8713004401821000513568114518533878736737706087391354984602018222371404457686283202393104018612578020671341446180801554419485778323312717984813848662179337652690408535172868477929147697",
          "-1.9378299506554835362262359780845977681544426861162679641643551821602576134994601558800710437470736475034378656338994905532199113307942469562114371078010211457885850972156140251864179643"
        ]
      ],
      "agreement_digits": "132.406304503705288454083658463778910023131107582104318502214745396244467484238173682729980999865074734432976575905788012030146791928555216989077869699030155539726341898107791317210107118267888089203241081054637",
      "cancellation_factor": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999230454662456562150596397371"
    },
    {
      "t": "-13500000-1431000*sqrt(89)",
      "row": 27,
      "seconds": 151.60670113563538,
      "number": "2899.206750670118464346726431718974939988615770205808065544853280436864224226453978998417683054618882",
      "low": "2899.20675067011846434672643171897493998861577020580806554485328043686422422645397899841768305461888218928260061674862680944896045378",
      "high": "2899.2067506701184643467264317189749399886157702058080655448532804368642242264539789984176830546188821892826006167486268094489604537807705487982957034616671007820699979990016106863108",
      "periods": [
        [
          "5.703782882063013817942765984840551372015462014636724568739699272076956711941714749660016641013224744374602133326225771215572153675872",
          "-1.93839235488538462264219227463934369778536210695764693702300909940871477555617247606961185379977051437122022442366944366588804672088851"
        ],
        [
          "5.7037828820630138179427659848405513720154620146367245687396992720769567119417147496600166410132247443746021333262257712155721536758720041367031850091905419018695699997782842913470292035",
          "-1.9383923548853846226421922746393436977853621069576469370230090994087147755561724760696118537997705143712202244236694436658880467208885061347456311146780455771270816970990099272384526965"
        ]
      ],
      "agreement_digits": "132.575479039753252714385282566478250067704473686042885394109372378047872191376119933616351444729353586238356840469114311853179038173593592537120826630647458733626256761739106596848891208401690314241574484178188",
      "cancellation_factor": "0.999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999989154967249635393060424143654"
    }
  ],
  "limitations": "Floating precision agreement and independent quadrature, not certified error bounds. No independent-critique verdict is claimed."
}