{
  "table": "T709",
  "stage": "build-readback",
  "checked_entries": 30,
  "total_entries": 30,
  "failures": [],
  "known_answer_control": true,
  "negative_control_rejected": true,
  "method": "Read back the exact E_1 and all full decimal intervals; compare freshly generated and independently integrated enclosures with exact binary endpoints.",
  "stored_positive_intervals": 30,
  "rows": [
    {
      "N": 1,
      "exact": "1",
      "independent_enclosure_contains_exact_value": true
    },
    {
      "N": 2,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "45705160084183532946914211168017041893488291732538616185319733566756148330060696348601932122662630741850582547578007/78804012392788958424558080200287227610159478540930893335896586808491443542994421222828532509769831281613255980613632",
        "integral_endpoints": "1261781686561966381484798911187177907286673701941099933990229945657264373921194015114936903521441654940725800294173524239655861583027483238998632520428801613978964967703242920903158216663/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
        "series_endpoints": "157722710820245797685599863898397238410834212742637477246855804060664516740114100017367112939601975331487872359364709969530960415879141838236417799936607780449433877022678631428354982161/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536"
      }
    },
    {
      "N": 3,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "16008876558598503041130161188211568488050766545147190667679653782147158403667179094767847406040041334963564390180351/19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153408",
        "integral_endpoints": "7071309139489811925115589798411330564988866455600761757529118523736077185615329009532180562591256798119197620191979157759678338803361299118075334754070353653277209245360002164958924570969/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
        "series_endpoints": "3535654569744905962557794899205665282494433227800380723058847182549683620924683507458755229116215897027243508726423093009639314136358196372618413010417073379898653299427829804479584355797/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
      }
    },
    {
      "N": 4,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "18821751590920803698684582153611272335128624719901680467133545991602154850203840742060286794492256065417486214655923/19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153408",
        "integral_endpoints": "8313789138101576891305861895476086360855758853206681896879798713656006167635741901911628155163059287192497226145526595995666305339454128883603972717589687429338949794670036301919813442687/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
        "series_endpoints": "8313789138101576891305861895476086360855758853206681666376831425948827486560497492333915196823877244720592478090024070210987873441221304477152255806074971938145166558002522454568739223937/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    },
    {
      "N": 5,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "14035266048717205513691591140416155832354800614085497330854946835041699617135914490365839439149634351805046545608797/19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153408",
        "integral_endpoints": "1549885538847481667625284908808831835690105664995097269887796369736924583343613464155443236551170572555921475068226179644908118765386092242433863740857940739522547848225117673462925344967/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
      }
    },
    {
      "N": 6,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "7989945948793284631430671413879981144959075406111070979817694746875514187922279988959617015239791709934526670074207/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "14117012547363358014717848627706878794703400993809114046318456055078394475305411485033982487213728082800223526109814247723563989513603974868537644939901617781681894383449126244154338139507/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
      }
    },
    {
      "N": 7,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "6637609778818528677507028173942838501566346176602500337406809808989397205418227408856252354063598660847724790077031/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "5863820677424909110187147810398177486997909290607562602672346553392583263355140106291234957451421586839510030908286517807259640867932196547075987835287853170280955721941037858818645498153/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    },
    {
      "N": 8,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "6118443700434356873357938021447579212848290012895628950280761377083786419566574807838007140117150023715344436306203/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "675647143320264979017277463537718457587059472962987958363264772475632154824444498039791293601239496600819080374367054857220554726288419089916791993233838162806036947762312387254643470033/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144"
      }
    },
    {
      "N": 9,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "748719844590348718068790657181756421584050355151347044734810548131193474888301210091033033242522033921175783723143/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
        "integral_endpoints": "1322873459755785709533175803568379407729195590226257277298000876973443005742927158978152004570409971549396101540541827084237686793430194642847480442935834423927720230191513907178912004093/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
      }
    },
    {
      "N": 10,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "7154643127244501121688024272246548576252033309357616497127091421249957750653471714128664623955071721100053308344785/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "12641160208908787311007150488753647474383161674186391274661794615281302288422192100396179028717062734898251787557980577024261712775201053690677298009397204823984572129174446569561372546285/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
      }
    },
    {
      "N": 11,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "5345567524391323836287779908730755519398312791497466892117330534657522014977597467432276730782286478050578794191933/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "4722400145022732450466934252789831045172916531425426186526133356529957430861595775857933465145592013028661690322686183654942630033677644817205905743439537249066824340513472925204527499129/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    },
    {
      "N": 12,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "5597614420240646168166455262330473347741673197901450139235987045432052796721413585220170238448648523659947802879317/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "154533259502552237553946337986242246645501216019953884719888559168746903354138443186885855602738898114825736939981042642324061381216409189099902753666017807392606666934586316211453446453/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536"
      }
    },
    {
      "N": 13,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1995608636769366640953481153786853976404996268642504017824831273470047113711885826358714637041363908735406662756449/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "3525935262322348385550562048009749027852114407972662015930424290616659028479063399549979674351270334623107650673419997947304790715473503401197308887345942393081482432743673604102701669799/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
      }
    },
    {
      "N": 14,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "4299471068514824713936082662326148876890664216224208575302764154934421447805738416593234052973790945114609416170537/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "15193015675010003583042606251766393687626923881339094642279964368301258564416891703642471664969005759792055392804273058307959744423714649216686103202291271875570513667774243076105854088799/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
      }
    },
    {
      "N": 15,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "4735797224521021476172991708240647394465391022081779774505443600188229408079938570934085864918304851618386969984367/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "16734858851061171898216865378030396218062845339263847704718339327332599658611198393611181134943120884102239374652421732368463037074107483902862064658410006328929521439225585803909548286709/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
      }
    },
    {
      "N": 16,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "2560235944308210310587660991382898499332183870878221386648614617324432048790898181932616777535005910276279482949581/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "2261772681670538218720871908338513321835454660113499433095187615009071713246449288023522223207817442922241603051320695878678547042141320461920530863657730334132030930357868362415482710053/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
      }
    },
    {
      "N": 17,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "3008797710877010179007035708735859258904484605720349263174449298849974123725880536054797674603836672057385518587803/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "10632170807949934577818914464062495686723910240648700466256585480272037234107155367676581798858637214156834643416091502241839750743872420513528535405750620047847994661432196643348455462381/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
      }
    },
    {
      "N": 18,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1201965561565520032260890328281707515444184789147257124631182382572242499634943332908680230523963411678924949397855/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088",
        "integral_endpoints": "4247378648833482940909456732876417905955983541113504226821363340864012583464773881388604683135782169950682569841799466937191357493763967991438647583733714943720500920522065964148417851585/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
      }
    },
    {
      "N": 19,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "3748846722831460495343037080975403509171208820720449858978804386417091729092709694188606352538868732622616027058019/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "1655909707134707821522634755304497743095656280769831573239178320604932865894276596269984396165863164251199861209315473441788957311861008657096903951428595374895362421446560517349261180311/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288"
      }
    },
    {
      "N": 20,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "2864895302084936427087761758370655957359538977346667690015630948972244866506977911400505754245380097741218572777635/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "5061831855386152613866383744511307749313034223743961636569035750093693343457523450313829410950944011851930257248830045650844267663338818120813000549383763407411157613531851223751261275385/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    },
    {
      "N": 21,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "3910163751486077746630025157168096278208570728667494209038640387533413291467562318666827372857457662936982312922097/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "13817322694232024587540795933156834213827210479639880498236833438050405412411755215982819916902738833607247136939706789643250655482490353531920629157600962548050877281258114857013974414919/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
      }
    },
    {
      "N": 22,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "4252813037255433524739583607879682905099684111689666584763698365484304604802597113775504682837210551796612424575853/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "469629389495375522880030156480079095603205378242028841203023576825269960087406971080792111423983256149733645826232916367450518102674835134028947750453535430498800884004134342518294913683/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072"
      }
    },
    {
      "N": 23,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "3388205407068204699645890358431754821662355067745372093738506850406809230774023992300371968953345046427632036146931/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352",
        "integral_endpoints": "11972881556689416631183262675552186456700186873911002395448484613555996561926878668902258394130452959826163221989532965018473588773346346145741970516365153117500584397512398150801472193037/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304"
      }
    },
    {
      "N": 24,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "9172845724527142458723299289789137367501174936725805722971435211764318857897393156654441591469859542266197200673181/9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576704",
        "integral_endpoints": "8103507772022866905581039574697507936431492410918324373365849389970439831429209613239487394835647661478290187871127520821699164259535571872184596340353002853346195011428817712638396479353/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    },
    {
      "N": 25,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1373013531094048387544396756612356823845338324961081128611630926435628711369530502338776643309082368159654025749499/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "2425904927314524318316188430277310340016995410442330304371085701267086807324377652916000059587198898777948440172668553358928875338559483581737214095004918455360595975605546507377104101599/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576"
      }
    },
    {
      "N": 26,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1273514891587128980672849370558741619577117084515987974967488670848266748297529363585710197581959258853865425547299/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "18000848385218249398348238759720893315881275216949959807670107590886990142657059368851514523865961219740063871396341653708795990360401621785185749723985689794895744383116416899126898389567/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608"
      }
    },
    {
      "N": 27,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "214996790817585704496113218332878788307878420903663485390977214353936271071028449720092940132288543237199233892401/307828173409331868845930000782371982852185463050511302093346042220669701339821957901673955116288403443801781174272",
        "integral_endpoints": "189933224396411797220218069984441513912359150391120416663897094544853893036642451213503116761115168984559877876788205965663667769319419632710983027009366668672474793030432306030808814213/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536"
      }
    },
    {
      "N": 28,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1551572895338492220377224686487775790311870497467113605972054103078916798817582363425376419425133068944431500375467/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "5482784031837028587396016993381379459996992796024925846272665756616562140129604191818330703983506662331883651101858917528776083752232341755001083561545262126729976793821047310221418167659/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    },
    {
      "N": 29,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1262327095434226878340606490404118765426613176631377809042654618815171922524125174557285583213706219146949264639231/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "4460677846716374390000775323535262326765682474764306579739343402304330835730164932109391536205217624014985250106345187371754814915045778223887771917171720717154999414897355067336974486387/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    },
    {
      "N": 30,
      "stored_interval_contains_all_enclosures": true,
      "margin_ulps": {
        "generator_endpoints": "1632659352166412452992613953029424435115675384823745322820940964449241701261117168149092918998627093016634894551527/2462625387274654950767440006258975862817483704404090416746768337765357610718575663213391640930307227550414249394176",
        "integral_endpoints": "1442329692079102168628495874919296582290022604695775522692833350355066464228291660053787180575038225968398772835640151660125769098428357347385537441585733375054553644312078143683610364601/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
        "series_endpoints": "5769318768316408674513983499677186329160090418783101814154001075216159051473225529077844495958233227047412570835843366265757209184255689089381709095913470971672586857525624376644841849029/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152"
      }
    }
  ],
  "hashes": {
    "stored.json": "46ab8f862a4e283fa4e588fddf74309d181c67110dbbe7710ef707f39e60fb31",
    "numerical-evidence.json": "9924dad3eaf65a8be36aed17f67299e03663dcfa3f868c9d7bb8a3ab237d5435",
    "verify_stored.py": "d7d84d61ad3cc7a87f1211a54c3edf0b0edd0ce65b6a00f63b45c75310fa88a4",
    "skill-manifest.json": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
  }
}