{
  "table": "T590",
  "scope": "Supplemental re-execution of unchanged producer checks; not an independent critique",
  "skill": {
    "manifest": "agents/runs/20261028T204222Z-repair-skills/manifest.json",
    "manifest_sha256": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "sha256_verified": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "sha256_verified": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      }
    ]
  },
  "document_sha256": "75609f41541c7efb5367456b4799f6d1e5da1d3b5c99be9cda379d1ef4c93991",
  "versions": {
    "sage": "10.9",
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "mpmath": "1.4.1"
  },
  "entries": 20,
  "generator_digits": 100,
  "default_enumeration_matches": true,
  "counted_cells": 708,
  "entry_checks": [
    {
      "n": 1,
      "number": "5.026223951953151329939079653458968130556133531388572232891515916979516961045398603507418620778932592",
      "written_ulp": "1/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[6.07373082844633942963654491093260949858416549211152577410007478375336419905250947919e-99 +/- 3.60e-183]",
      "right_series": "[-2.91765348892632238056676941731230154703326976351044370706376608540559703026800382842e-99 +/- 2.76e-183]",
      "series_terms": 41,
      "tail_bounds": [
        "[1.749671028194822818135470137660778060161751115656473954807056285574925662414708736314653427122205972451783489621162281765019815900950940397483865572345214878307331122940249156137402445488144603001548660929680917927613608847328795539775774318465438803756339602196224408e-183 +/- 4.58e-451]",
        "[1.749671028194822818135470137660778060161751115656473954807056285574925662414708736314653427122206088023791216887259742713613150398735918287610276198418468439609832427957410365181566383113363836275658297194959911696666036028895848988315140988560245131420669720360751124e-183 +/- 5.40e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "5.026223951953151329939079653458968130556133531388572232891515916979516961045398603507418620778932592351011282369725510330456367774",
        "5.026223951953151329939079653458968130556133531388572232891515916979516961045398603507418620778932592351011282369725510330456367774"
      ]
    },
    {
      "n": 2,
      "number": "9.455406303277153573107566071814137375271881305275345102861410667488110461152041295611697930265522231",
      "written_ulp": "1/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-4.7451260632144333627134061543875112849978934925993588699766572033484973707935624460255e-98 +/- 4.80e-184]",
      "right_series": "[1.01144198933742400856404540780720915741181760447578155696095066342476777768195209753557e-97 +/- 6.53e-184]",
      "series_terms": 50,
      "tail_bounds": [
        "[2.141373484990258463038328524380763841371295175003628451539026704975813657160297212978921321231888976599896760159237640511987987678892083991006836970570129204682135389526035363541633257976512610391779618467934898194197039914151159738271087647607412071751692441255471790e-184 +/- 6.21e-452]",
        "[2.141373484990258463038328524380763841371295175003628451539026704975813657160297212978921321231889068094111189895692297918137827966290789007016180403292601903544069622928806842778435753847366319384254154617593464031429677588611760161383651766643860431637753334634611564e-184 +/- 1.58e-452]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "9.455406303277153573107566071814137375271881305275345102861410667488110461152041295611697930265522230638663668065908862660280369962",
        "9.455406303277153573107566071814137375271881305275345102861410667488110461152041295611697930265522230638663668065908862660280369962"
      ]
    },
    {
      "n": 3,
      "number": "13.89348785265946720438597418646755972553818310988912234940618342554844523741339658054839722275532495",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[1.5011776021703528938545442266761545056025818593375049019608446725295436606241282876574197e-95 +/- 8.07e-184]",
      "right_series": "[-1.3150805223232653924252791024240286792127994950487424605951307194688787090737623494541583e-95 +/- 6.73e-184]",
      "series_terms": 57,
      "tail_bounds": [
        "[4.757984563402448915208280750345172815401018670825490221042560435373553085869385180478737658416533722891176252433458710848739534765048795665444470672374359417307770230905778279043536427664615628078725115128986251942215948908106601856477912688717336189569256050140146129e-184 +/- 6.15e-452]",
        "[4.757984563402448915208280750345172815401018670825490221042560435373553085869385180478737658416535298214405469861194631936532276428319953361167907622825281586954266763897578517118782839729723245107308902052079727277172926156654085767408720635292942105695044332194201475e-184 +/- 3.91e-452]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "13.89348785265946720438597418646755972553818310988912234940618342554844523741339658054839722275532495066079553656165298786856930676",
        "13.89348785265946720438597418646755972553818310988912234940618342554844523741339658054839722275532495066079553656165298786856930676"
      ]
    },
    {
      "n": 4,
      "number": "18.33398345577453030795968129281413207948931288412915943984103249793735665902846080583640394210113636",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-1.6508597270057260131620824397556197125837544696996180724649152080074081199970412674968439e-94 +/- 3.32e-183]",
      "right_series": "[4.0023036590954415951825587860310752421571640912917919558249811724417966828503623943250741e-94 +/- 6.76e-183]",
      "series_terms": 63,
      "tail_bounds": [
        "[2.803683268537838139696502643345623677130315906521159759440017460381848034728630103164499061618463342366239641052881898538643363924715703808296565337496739702857813713731040005879066798687568149564559625754909524699027522954700326841527663833077191138426625090874097381e-183 +/- 5.38e-451]",
        "[2.803683268537838139696502643345623677130315906521159759440017460381848034728630103164499061618464119214174746989106969659927846896916999375830386778988008077177469456010167249609747556581831355850036280437265195321956461085431665558105675504339211467600519302271683213e-183 +/- 5.13e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "18.33398345577453030795968129281413207948931288412915943984103249793735665902846080583640394210113635584048121115522500264195639526",
        "18.33398345577453030795968129281413207948931288412915943984103249793735665902846080583640394210113635584048121115522500264195639526"
      ]
    },
    {
      "n": 5,
      "number": "22.77543929381786931149608299195695516022708690046445718932874938424359419557835499500378171709105303",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[8.3072016849924635313778050967579853615603731625205240300361933837936459054625235064815881329e-93 +/- 6.68e-185]",
      "right_series": "[-3.4054428152532059802276351536277232990681297201397361502913614405021717303621836205560883208e-93 +/- 6.68e-185]",
      "series_terms": 69,
      "tail_bounds": [
        "[5.290261034357658589929613804174657376458423337783470568020553301321508743810847069250798220770586134958978144231426915503168410967491730252813718959998638361305337051198390660076321661095506626936924002893313842747257972803207140270784676421403109731097135367361121036e-185 +/- 4.72e-453]",
        "[5.290261034357658589929613804174657376458423337783470568020553301321508743810847069250798220770587426432232098562302905194514664455708166341227856031245001362128870672928067412644234832241503955458798565604391764140497769884155835051821685119967118012592580807847325596e-185 +/- 7.03e-453]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "22.77543929381786931149608299195695516022708690046445718932874938424359419557835499500378171709105303418501463921016684225542062733",
        "22.77543929381786931149608299195695516022708690046445718932874938424359419557835499500378171709105303418501463921016684225542062733"
      ]
    },
    {
      "n": 6,
      "number": "27.21737318108423715510401832291713008146825260322100099412639640342607995959572003435891681170646493",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-1.59636882012341347140809107608468251197663293128367782470455930335579560276483382749458344566e-91 +/- 7.18e-184]",
      "right_series": "[8.7957995919856070342830411488556735649214875144554633858872174128749680757063833796231899086e-92 +/- 8.41e-184]",
      "series_terms": 74,
      "tail_bounds": [
        "[5.195861983906458543083387075314426872183444994473079195169145416867165524125349543863089607928136823259089635206930238373162998740744097740191438704356174822601149184522839423377111322043641641155068948451777349442875355405845632464313448821438049391326619336533359506e-184 +/- 7.91e-452]",
        "[5.195861983906458543083387075314426872183444994473079195169145416867165524125349543863089607928137961038497549056877220602142738711432331169733024006347279233061327737250453148459851248473689927237345873282072961372255845547700326975055223239173387192566925977608232045e-184 +/- 4.41e-452]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "27.21737318108423715510401832291713008146825260322100099412639640342607995959572003435891681170646493289500682288404086846178107916",
        "27.21737318108423715510401832291713008146825260322100099412639640342607995959572003435891681170646493289500682288404086846178107916"
      ]
    },
    {
      "n": 7,
      "number": "31.65957941363257596823656264158484023183399177114099775482171586196193567961608677472613987242088218",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[1.433693672338798176405052862240031321902311572913307303887602521856415896025866025573133119670e-90 +/- 5.22e-184]",
      "right_series": "[-3.873472235466682165608158102480076724841153232793642451036146305399992593579620297505279584105e-90 +/- 6.59e-184]",
      "series_terms": 79,
      "tail_bounds": [
        "[3.122244784763100926665856084866980091990710086430743489789970681550286357813061976049414869052334221916109236435267078261167206864118311986155761163837428225908371793897514941272578265068849547097614183836372994700747651579669571281295633539694330700850155907361469479e-184 +/- 5.02e-452]",
        "[3.122244784763100926665856084866980091990710086430743489789970681550286357813061976049414869052334849135486519587278930559817753982659594404020762944409817393660933907972876539470821288708129676171904309143444014534174566867851712049361828744077339439753721443003420084e-184 +/- 4.79e-452]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "31.6595794136325759682365626415848402318339917711409977548217158619619356796160867747261398724208821754028598210212436367340098947",
        "31.6595794136325759682365626415848402318339917711409977548217158619619356796160867747261398724208821754028598210212436367340098947"
      ]
    },
    {
      "n": 8,
      "number": "36.10195548491730125371613300620248849243268541463294932296174942122735753059556989520704359658592359",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-6.6648495035447848800885184111377406917049977186677309778430443495922212481219718716992678147e-89 +/- 6.10e-181]",
      "right_series": "[4.8274852723914257326795015399140658796939630529080814698976501022320150796877354684325924729e-89 +/- 5.96e-181]",
      "series_terms": 83,
      "tail_bounds": [
        "[2.075056304158488325456082108996943820195088358296588803218713746572191116269537777730915406744561939844008506968155899856343465406128486005535857694434923893765182875778087936742202350448004911264673303477186543116076179041369984549063525358276837754678656512259375866e-181 +/- 5.16e-449]",
        "[2.075056304158488325456082108996943820195088358296588803218713746572191116269537777730915406744562323795483224582517575677401708514368253376126453027807582229478252013948320171759974166345910381265370055078856642558993037849383237885512355711520331385395246887444809469e-181 +/- 3.00e-449]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "36.10195548491730125371613300620248849243268541463294932296174942122735753059556989520704359658592359159877367565084724844623310509",
        "36.10195548491730125371613300620248849243268541463294932296174942122735753059556989520704359658592359159877367565084724844623310509"
      ]
    },
    {
      "n": 9,
      "number": "40.54444459090275659282298371785053903333776334863073134350564584081249795964345155134747972785318138",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[1.53768404678643675433721141738199918052550798785055027791943335185463771277319473821644472605957e-87 +/- 7.56e-183]",
      "right_series": "[-9.7037565605934982563163890206182039639881915018687053693881320636544941315167856266613123968252e-88 +/- 6.82e-183]",
      "series_terms": 88,
      "tail_bounds": [
        "[3.583481737841120456148926376149520697315591879241237442650728880786060858898422821563239387820257162358145407658226101127687619423481170352034513724874749544957395939351175115849820861883592294675107762780699647754186065381255475455028438533584633516846695558780782271e-183 +/- 3.84e-451]",
        "[3.583481737841120456148926376149520697315591879241237442650728880786060858898422821563239387820257788118366329368143340220628855933311164504510030587176084243320653919745536397656834506677383812578129295304548208056110326793617916261311835983809079059385063671760410979e-183 +/- 8.18e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "40.544444590902756592822983717850539033337763348630731343505645840812497959643451551347479727853181382261941332909207463118142262",
        "40.544444590902756592822983717850539033337763348630731343505645840812497959643451551347479727853181382261941332909207463118142262"
      ]
    },
    {
      "n": 10,
      "number": "44.98701271615374515051706750961564110406591997046305417246623971633651424989576546237006699078233153",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-4.1109697577419089804767597330737497419359247306188444524687353293397221203207248299736838997730e-86 +/- 4.76e-181]",
      "right_series": "[1.3963427148252002314164393176824357484594351086153056967748528754156667586242520139625073208409e-86 +/- 2.76e-181]",
      "series_terms": 92,
      "tail_bounds": [
        "[1.073794218590249838183772999200845602444836416457349546891451048237279611862256376786866763884144116471342753464353214394598499075536585970192579471943443027398835002443323461235585257167506955741302440833039046494754289583715174758442853772460797785026782693391487453e-181 +/- 5.69e-449]",
        "[1.073794218590249838183772999200845602444836416457349546891451048237279611862256376786866763884144293102235103238275062683356074723605951216050814847221621512899012620327452663945489787862102537199590104991524371246293192818795731813527920003820501616817560167597924494e-181 +/- 5.67e-449]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "44.98701271615374515051706750961564110406591997046305417246623971633651424989576546237006699078233153492913205204669768685852303745",
        "44.98701271615374515051706750961564110406591997046305417246623971633651424989576546237006699078233153492913205204669768685852303745"
      ]
    },
    {
      "n": 11,
      "number": "49.42963824844000089675124850782513696487739625548999927211577990618471306634346659050211608741289050",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[7.20918151640754555228532207055856806197234062994433072054142786508039880493458915339711573921834258e-85 +/- 7.22e-184]",
      "right_series": "[-4.94443234380769710891214572494366503856392570979316262276750688603181151473465682447217132076233115e-85 +/- 4.39e-184]",
      "series_terms": 97,
      "tail_bounds": [
        "[2.668561905313081560206624735892339934449053385170258260220855769699657759073964107471989793358003628309960959136712776806108658767078194813715923434693149884917607611886687520481634843853615073597739979816977124605168096880286004271314445999016321016441047360152256745e-184 +/- 7.17e-452]",
        "[2.668561905313081560206624735892339934449053385170258260220855769699657759073964107471989793358004049410322424858227512808580498531056738501261493377317240407652764975274965664280729119314863263632262752058444529990825885160536295696974843318263513162245080398065412039e-184 +/- 6.91e-452]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "49.42963824844000089675124850782513696487739625548999927211577990618471306634346659050211608741289050186343683339610341468740753021",
        "49.42963824844000089675124850782513696487739625548999927211577990618471306634346659050211608741289050186343683339610341468740753021"
      ]
    },
    {
      "n": 12,
      "number": "53.87230679805301491907256815644899055046650442809187296349392122963731263232909816406569988861045948",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-1.109249073515050427990010946652893588087222298736888986847889877608138422110262843111391434406474889e-83 +/- 4.74e-183]",
      "right_series": "[1.583892695429805837699631056508207716158946106607269637052668428469921122809700232568851015457699287e-83 +/- 2.17e-183]",
      "series_terms": 101,
      "tail_bounds": [
        "[1.231731081194041391308166992327591376653963721207616728961125596705889851967021091709185082852959147359557392577910237815376030044683303622812116905330757225815135532409253893331245740957216604726811628181353561200017478785157926798536338815372602922636707724865950371e-183 +/- 1.26e-451]",
        "[1.231731081194041391308166992327591376653963721207616728961125596705889851967021091709185082852959333015005122381268087939207242366053456654403198854918504756650961601499169484299466187916515418406074256777755811992179716022954849040229651421665916518076367152476591892e-183 +/- 1.33e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "53.87230679805301491907256815644899055046650442809187296349392122963731263232909816406569988861045947823758397204349315548930124533",
        "53.87230679805301491907256815644899055046650442809187296349392122963731263232909816406569988861045947823758397204349315548930124533"
      ]
    },
    {
      "n": 13,
      "number": "58.31500841348885069965992702728206376794719082504023623649306921602700697334194239887634971174129256",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[3.9181828467015985477368040704620966021298615199555582503004099341264138879544313854191237263349226393e-82 +/- 3.93e-183]",
      "right_series": "[-2.0702805149436746849041654042252341289481138563649372937790670122317527791830529082679655533333158132e-82 +/- 2.98e-183]",
      "series_terms": 105,
      "tail_bounds": [
        "[2.673475325367668589868901142967913512183210557879439663128198440908340897596223814987479783335378676727449099229277233134713829384353823938138015406985506648094455743248962420537965013822391269846882035124027927816686753302784007275046221152460267528638621051887655091e-183 +/- 3.39e-451]",
        "[2.673475325367668589868901142967913512183210557879439663128198440908340897596223814987479783335379063664039237729226890093604217828173158344673148642166886158890780293812479337418853188257447418092602582236602810507223921624511129868109374948129418544028278073938843322e-183 +/- 3.51e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "58.31500841348885069965992702728206376794719082504023623649306921602700697334194239887634971174129256308577045589576807482825747783",
        "58.31500841348885069965992702728206376794719082504023623649306921602700697334194239887634971174129256308577045589576807482825747783"
      ]
    },
    {
      "n": 14,
      "number": "62.75773599291734135063738423555738286698057342084918453915964647294916094594403407314862315542640835",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-6.01396783234935420075048574023495973821090138089681513358564791612510922381947067312957112677140867970e-81 +/- 5.31e-183]",
      "right_series": "[7.34127353666302756456957336552926724120847941733645067212901834183385632470404241444301798116173739922e-81 +/- 6.49e-183]",
      "series_terms": 109,
      "tail_bounds": [
        "[3.124757162513226158243568511732012071402738124349206118528917757560801159708923108936610707690819313420224786265509478226371092924496368412615562862629976510001716468580150994425066148829788340610090325444175787684412893247462021222649707181266803476815304005169247491e-183 +/- 6.09e-451]",
        "[3.124757162513226158243568511732012071402738124349206118528917757560801159708923108936610707690819749589227465708826479018762906501705337822198057857968858096274145793553803015939815425415297146851713861118286801948388259465704250534684661867998678799041720473069437820e-183 +/- 4.90e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "62.75773599291734135063738423555738286698057342084918453915964647294916094594403407314862315542640834900615371325795257016412339973",
        "62.75773599291734135063738423555738286698057342084918453915964647294916094594403407314862315542640834900615371325795257016412339973"
      ]
    },
    {
      "n": 15,
      "number": "67.20048433233293258984169345643985132511745804317951568689585833478454912019672920632553417026573420",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[1.4339197137718461756906725069135878886008555320171039593191826043129075494259126668349039031356604259888e-79 +/- 5.11e-183]",
      "right_series": "[-1.5520950437415173195105284209364280137751040528621107457664530805093567389078139815788620069485480038979e-79 +/- 5.21e-183]",
      "series_terms": 113,
      "tail_bounds": [
        "[2.183204396631107559050624308740536452075753669009287557016539493476450937828808268988983568149611614884676029968174821963778492064787530735381399059105571750404471887999606246468032995995834314100842713979316236696413091937840262119740913924188364767952412077426526551e-183 +/- 6.96e-451]",
        "[2.183204396631107559050624308740536452075753669009287557016539493476450937828808268988983568149611909876308051732872270069172648251913856373419182302548328588882659810663230497131838728871914849606025658395449625972154711204139343693928022181079930913283256357378380131e-183 +/- 4.85e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "67.20048433233293258984169345643985132511745804317951568689585833478454912019672920632553417026573419960423728760107353049791421756",
        "67.20048433233293258984169345643985132511745804317951568689585833478454912019672920632553417026573419960423728760107353049791421756"
      ]
    },
    {
      "n": 16,
      "number": "71.64324953132709851956502112179564965972768050395475416925092813144600782609903872904644479117541233",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-3.74295898210716959980577032378990777637985835081814270443267926448085592521636338923969631489133503570230e-78 +/- 2.85e-183]",
      "right_series": "[2.94808384419061312107463294154624864332594159424265697089626866485997458411201281309667572756893011374672e-78 +/- 3.57e-183]",
      "series_terms": 117,
      "tail_bounds": [
        "[9.89632105572970075996223472226705854306674188656307526205402469551683779489153722001396478433271260901522681082471968130260911902864881474588606039190002977615350588730054705214687864995929764408175196606556071857700372008840224106637415056449001770691406940042575635e-184 +/- 5.28e-451]",
        "[9.89632105572970075996223472226705854306674188656307526205402469551683779489153722001396478433271390747460528274534269938696739489449463133495042133073397766283436951579841496318709107695194061893351105264298555846439577833265330031543239544818394555657421475048713036e-184 +/- 4.05e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "71.64324953132709851956502112179564965972768050395475416925092813144600782609903872904644479117541233118796898861932469561490899555",
        "71.64324953132709851956502112179564965972768050395475416925092813144600782609903872904644479117541233118796898861932469561490899555"
      ]
    },
    {
      "n": 17,
      "number": "76.08602860896750026786569646344948482186972714253022724191072962347647196630957107760396088212663934",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[7.6891735486203014202972818959055763242995723417460454347457184484096549067427137711259281286918163101739e-77 +/- 8.78e-181]",
      "right_series": "[-7.3332823372106611375010555917811912803856912367772425459490027912485633072708148694026888226459744404173e-77 +/- 5.24e-181]",
      "series_terms": 120,
      "tail_bounds": [
        "[5.128758068940740502778850659063186238558192347661460416998448185350506919472429018122949138745419959816099934592768251266464155860579430194944377388717210950634160272263515329403171733372846123423091985692486414415014680832471947625847789344179176846704065651556250488e-181 +/- 8.26e-449]",
        "[5.12875806894074050277885065906318623855819234766146041699844818535050691947242901812294913874542060962639675675274570958385154202691582782229393557441284255141791935525453972542791758064908622383568208219330305331409201659549525925481633384225417910876347390613869509e-181 +/- 4.31e-448]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "76.08602860896750026786569646344948482186972714253022724191072962347647196630957107760396088212663934023690614511660073293388994874",
        "76.08602860896750026786569646344948482186972714253022724191072962347647196630957107760396088212663934023690614511660073293388994874"
      ]
    },
    {
      "n": 18,
      "number": "80.52881924793824051943816175029230736342950336808073397852949042123598439022539281678296412361841218",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-1.465471628125082023551942236092007059402843153855877516435607480821785748619077888642037357957627326238889e-75 +/- 1.42e-181]",
      "right_series": "[1.913129155788897448658798167305227198769619059924349303485643642907770225901072236002373173294234998622686e-75 +/- 2.28e-181]",
      "series_terms": 124,
      "tail_bounds": [
        "[1.066183166044031230173877414469424025167555630081754706705322662999634007253237286897950010708256858137775861087847154951852634160444079491963138764578153703419199330108373967432888470876790797894688357643677518545032316002162920930728177233329680938357168599663900206e-181 +/- 4.67e-449]",
        "[1.066183166044031230173877414469424025167555630081754706705322662999634007253237286897950010708256990006630561095603449651224435665154488243840787114687393951194527691743778565996912460750669969079062479297774443293670862089673815405816165438375631567268185595638229033e-181 +/- 3.23e-449]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "80.52881924793824051943816175029230736342950336808073397852949042123598439022539281678296412361841217867502094418737054056183616082",
        "80.52881924793824051943816175029230736342950336808073397852949042123598439022539281678296412361841217867502094418737054056183616082"
      ]
    },
    {
      "n": 19,
      "number": "84.97161961961098861381992683794702459301219779383376109102723227467810732696464126475582839192063928",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": 1,
      "right_sign": -1,
      "left_series": "[2.76084264074310810359650205803087832451371118166146722898005451415844130798201989928915584681696256116850015e-74 +/- 3.29e-182]",
      "right_series": "[-4.84944026896051073900082456063978813244638814615194644519040555565473883924868948039667471330052243860366512e-74 +/- 3.57e-182]",
      "series_terms": 128,
      "tail_bounds": [
        "[1.702298109922734221227829141325413836504973546863462499535849520318709378897713353853794106571474756031312448232267087431583513252382404462491325134096817926457877700629206573957959224387491065608796012457638270805807737485556309403837918866230447813339296306847341951e-182 +/- 2.90e-450]",
        "[1.702298109922734221227829141325413836504973546863462499535849520318709378897713353853794106571474961979218736451245256487983853375377611029550831155905724204076555904355044659311161980755925498404476660164740394428958262692426427620915180099425570915238817312992666935e-182 +/- 4.56e-450]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "84.97161961961098861381992683794702459301219779383376109102723227467810732696464126475582839192063927725555849500115008159155032132",
        "84.97161961961098861381992683794702459301219779383376109102723227467810732696464126475582839192063927725555849500115008159155032132"
      ]
    },
    {
      "n": 20,
      "number": "89.41442826167742013744492086378836498387471599380651201231642925903882646097557529232713479596338421",
      "written_ulp": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "left_sign": -1,
      "right_sign": 1,
      "left_series": "[-6.5883207829573093257760844632022637210909255365189493577741799448704928494733715995388462740293000125314367194e-73 +/- 4.02e-183]",
      "right_series": "[1.05774890643967760046724875627056429619956852428587780644824280823022672523794411878381063377343432534983703993e-72 +/- 2.19e-183]",
      "series_terms": 132,
      "tail_bounds": [
        "[2.160480419587085000777414542526620016161409284336748060970949796048572473271893758137918476650392648820805369008928591207491355352458715058967616747626046876573200034273623019542620228975847793579023109760142191540057004619690597569114799091438915485840567061941929768e-183 +/- 3.59e-451]",
        "[2.160480419587085000777414542526620016161409284336748060970949796048572473271893758137918476650392904945393798965870536528046248534604519104231236371839204888403426747605909041956592040362691082291825890358538159874734859098769727139595197701147670082008851931758121276e-183 +/- 5.74e-451]"
      ],
      "displaced_bracket_rejected": true,
      "bessel_rotation_and_derivative": true,
      "ode_and_W_positive": true,
      "hypergeometric_roots_160_210": [
        "89.41442826167742013744492086378836498387471599380651201231642925903882646097557529232713479596338420767609666137927557648903204619",
        "89.41442826167742013744492086378836498387471599380651201231642925903882646097557529232713479596338420767609666137927557648903204619"
      ]
    }
  ],
  "all_passed": true,
  "source_hashes": {
    "generate.py": "b6e63b521caf006449d0e538478dcbc0d2e33710995d748899e52d7bab046990",
    "checks.py": "acb3616cb7eeacefe588ca4c4df8d2b4d8ba881420b585ddadf9d3d404dc15a6",
    "repair-checks.py": "951ef9daba1c812ed6578c8615edffa64db82ab6bd727cecdc4c4020273c5db1"
  }
}