{
  "table": "T708",
  "stage": "build-readback",
  "checked_entries": 30,
  "total_entries": 30,
  "failures": [],
  "known_answer_control": true,
  "negative_control_rejected": true,
  "method": "Read back exact E_1 and full decimal intervals; compare fresh generator and retained independently integrated balls, using exact binary endpoint serialization.",
  "endpoint_cancellation_checked": 30,
  "interior_and_exterior_exact_controls": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19,
    20,
    21,
    22,
    23,
    24,
    25,
    26,
    27,
    28,
    29,
    30
  ],
  "rows": [
    {
      "N": 1,
      "exact": "1",
      "independent_enclosure_contains_exact_value": true
    },
    {
      "N": 2,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "178100569318605234857489687297097784733793716293141323024822423288002080036860805004075874397017370195861298252376757/315216049571155833698232320801148910440637914163723573343586347233965774171977684891314130039079325126453023922454528",
        "integral_endpoints": "614602476828001625059477055324264033538504066877048758637846821511846328421301445703831867197795488903965078736700210241061630950170597145073033298881671896910357171661276275286543165911/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 3,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "3680837757710638460928284537848390569405268601218182307067919582882436440111116777703479835722491089294897874517107/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "101616834189632677446829712649032263974057791141216934577420605525850772749567126761361933995715512404916057451880985758921644624096830567718543200927709327651309743159070618483411461063/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768"
      }
    },
    {
      "N": 4,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "3680837757710638460928284537848390569405268601218182307067919582882436440111116777703479835722491089294897874517107/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "101616834189632677446829712649032263974057791141216934577420605525850772749567126761361933995715512404916057451880985758921644624096830567718543200927709327651309743159070618483411461063/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768"
      }
    },
    {
      "N": 5,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "2880623335612841831520005907725751974094321901849634136664974294763908489886922963919625854211907577911190857729795/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "636202610657458536823813647547928835589810233126636431665167326285181214580549546652088028770070823878026805753639334308055517621265393187742147421593877666112425678091756523689933225115/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 6,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "2299482594382788574842021295305726112283200337504936809956407780254891004458561245814299934446933878924324537283567/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "4062834072394214103209478093718995007317525540210082054438296729494058720483532849526706510378808812351706264121481624237249890567362233700621135205546789712980097614597492951732213474117/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
      }
    },
    {
      "N": 7,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1486210741517796482929367861804692472312411016691783384972824863412615752317364306687814206103985458261371119790015/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "656476771573206192817276298508431248251545117214704024671310403834211187224131885075712133231179565211543466847823314124503758050990929793567427887965408285394153790980137651373407443535/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 8,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1486210741517796482929367861804692472312411016691783384972824863412615752317364306687814206103985458261371119790015/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "656476771573206192817276298508431248251545117214704024671310403834211187224131885075712133231179565211543466847823314124503758050990929793567427887965408285394153790980137651373407443535/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 9,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1486210741517796482929367861804692472312411016691783384972824863412615752317364306687814206103985458261371119790015/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "656476771573206192817276298508431248251545117214704024671310403834211187224131885075712133231179565211543466847823314124503758050990929793567427887965408285394153790980137651373407443535/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 10,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "6930453470232528898282926984340297073064571158569954262683798476034810530696668817804956710149473590535014708422361/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "3061262842865877864840382213068203494673323776053859303756560249337704698179329735609964995087507002429466349546052617053786281008663544810521733036462280908433691076077897255259328943409/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
      }
    },
    {
      "N": 11,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1809550021623253399350002532278541982596003395026656520096214816223751500559917511469903919426553573079659095722753/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "799299536068676790799557268920266451982328749937375643934807063858784404173885208227169315461517137077582333697833578264898291538080778713434774624720581042663164106029614931237090318957/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 12,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1809550021623253399350002532278541982596003395026656520096214816223751500559917511469903919426553573079659095722753/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "799299536068676790799557268920266451982328749937375643934807063858784404173885208227169315461517137077582333697833578264898291538080778713434774624720581042663164106029614931237090318957/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 13,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "150913299405145846738608072578219230266753116935086398361342221284484037839622619368841211836343329346319459156711/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136",
        "integral_endpoints": "2133125760720027465476652383313465477761355664549630074739970440414156570194466283550669890051992709712708391988369075409731139236639205596245981811848594480076445650579207629556246780763/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
      }
    },
    {
      "N": 14,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "720177501412997751658803425523590996943640216400898856331863657970696335902166651588580326439821330941119743723199/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
        "integral_endpoints": "39763859515343306580477765800263345516998034220508794670897164575501411680472737107503912267468863942458780958493755807175954507949819602929664179157291243406204494008659107628354215107/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384"
      }
    },
    {
      "N": 15,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "264174596788307461778249019508907423478902710237394518791954158323202657172333772352643324934581403035623038928285/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
        "integral_endpoints": "933512221848868469572392279857070593398269123212615541133352854294109969460283624610510318466095418014912540535322883459648786097970289610432634498579121471403475621387257636444274700195/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 16,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "264174596788307461778249019508907423478902710237394518791954158323202657172333772352643324934581403035623038928285/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
        "integral_endpoints": "933512221848868469572392279857070593398269123212615541133352854294109969460283624610510318466095418014912540535322883459648786097970289610432634498579121471403475621387257636444274700195/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 17,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "406826798517899066280163752786809269261224421509676205863305594994488766738530736702222503410137162848614737512599/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
        "integral_endpoints": "44925045927158570095395177628596311703971367577300173590964742262826685875238304074629639535659860778818484582094218343034345107469993038668382535691769796471763106853742537255721737989/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384"
      }
    },
    {
      "N": 18,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "406826798517899066280163752786809269261224421509676205863305594994488766738530736702222503410137162848614737512599/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
        "integral_endpoints": "44925045927158570095395177628596311703971367577300173590964742262826685875238304074629639535659860778818484582094218343034345107469993038668382535691769796471763106853742537255721737989/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384"
      }
    },
    {
      "N": 19,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "607810931468562274072912326776727901892669492686533988517628993458058155740351613621847561931048537379259246897973/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
        "integral_endpoints": "1073908960205444966651444894043665974718875079044836450271312970419953996628079220332052462107123582612096293898821982633747619495576379014135516214541539060290294097860448188204278723423/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 20,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "607810931468562274072912326776727901892669492686533988517628993458058155740351613621847561931048537379259246897973/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
        "integral_endpoints": "1073908960205444966651444894043665974718875079044836450271312970419953996628079220332052462107123582612096293898821982633747619495576379014135516214541539060290294097860448188204278723423/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 21,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "396495159695904808321924790139930282109387107690445712257694486054267265479840282616092692884166777761827283360385/615656346818663737691860001564743965704370926101022604186692084441339402679643915803347910232576806887603562348544",
        "integral_endpoints": "350273154553773081234997463134186344667147274042311559941523386010640090333539794506885483462643947557636326754136597834328876648071634700159238073791152041815495685711320000327944940005/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072"
      }
    },
    {
      "N": 22,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "209964291566375292598197267391919008709608354295396568400235053923007822909747708059165920117106883462573500570135/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
        "integral_endpoints": "741949584524646122353181622382771322148032133887309929331992188756837147324870940883805211002618417442637686487866778889129800103903544762791773295188735859902351031246242392379378151395/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 23,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "16838427891104271557835543500021694151534011124983696128677308032973474834696226141084861377510202343080583599419/19239260838083241802870625048898248928261591440656956380834127638791856333738872368854622194768025215237611323392",
        "integral_endpoints": "476014830318080997201189321900131103951746077711201722233101216859462130962374079044646093132214676953477179478381499706374217274141559960856706734192247325766092584845143097101615802929/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072"
      }
    },
    {
      "N": 24,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "16838427891104271557835543500021694151534011124983696128677308032973474834696226141084861377510202343080583599419/19239260838083241802870625048898248928261591440656956380834127638791856333738872368854622194768025215237611323392",
        "integral_endpoints": "476014830318080997201189321900131103951746077711201722233101216859462130962374079044646093132214676953477179478381499706374217274141559960856706734192247325766092584845143097101615802929/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072"
      }
    },
    {
      "N": 25,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "16838427891104271557835543500021694151534011124983696128677308032973474834696226141084861377510202343080583599419/19239260838083241802870625048898248928261591440656956380834127638791856333738872368854622194768025215237611323392",
        "integral_endpoints": "476014830318080997201189321900131103951746077711201722233101216859462130962374079044646093132214676953477179478381499706374217274141559960856706734192247325766092584845143097101615802929/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072"
      }
    },
    {
      "N": 26,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "89657904970770100777967037877550520551624395347306899152244874794561214397539046900093752004328137725682134239639/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136",
        "integral_endpoints": "1267294449854275733048408465290747898608728929406429329826439269394948188928992774102751869541583187296630338171370730299526492576564593656500454091914794409710104359326436042840890772537/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
      }
    },
    {
      "N": 27,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "89657904970770100777967037877550520551624395347306899152244874794561214397539046900093752004328137725682134239639/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136",
        "integral_endpoints": "1267294449854275733048408465290747898608728929406429329826439269394948188928992774102751869541583187296630338171370730299526492576564593656500454091914794409710104359326436042840890772537/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
      }
    },
    {
      "N": 28,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "89657904970770100777967037877550520551624395347306899152244874794561214397539046900093752004328137725682134239639/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136",
        "integral_endpoints": "1267294449854275733048408465290747898608728929406429329826439269394948188928992774102751869541583187296630338171370730299526492576564593656500454091914794409710104359326436042840890772537/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
      }
    },
    {
      "N": 29,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "162359365386555002108799281487681601049211900304305678604123923325585765083274802289356818754976976133535596807655/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
        "integral_endpoints": "573728336345031832656858144104109978251735667972324238727624659849356203490173683830697337144783497919200743451158495711875227477428445720967686485688069008327979208387396774786312292435/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 30,
      "stored_interval_contains_both_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "216059142801475399393716338084255110709840627042755941426551154010453109275742235449022471149012055373327125956795/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
        "integral_endpoints": "190871731138660297653441729484420201511233293331667580939474821016288788331043737964054183837824623750748163123399240291981004749208216358179317791820173028226521396934785995947532179585/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536"
      }
    }
  ],
  "hashes": {
    "stored.json": "465541ffb4be4b8e19ba8b06fc23edc8b2da5845270e8b0a4d00ff120bb9cf61",
    "numerical-evidence.json": "715ca9ba104816337abe43f3529922146d914d2c125e23f436f533b35d88c2e8",
    "verify_stored.py": "e05559d53161a2b95e4a6f43953d050a17f20483f2dde85cce628f18d29dfb3e",
    "skill-manifest.json": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
  }
}