back to table · edit · history · where entries came from · files · download
61415 bytes, as of the version from 2026-11-10 22:01 (current). Recorded here, not run.
{
"table": "T706",
"stage": "build",
"checked_entries": 30,
"total_entries": 30,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"rejected_controls": [
"wrong value",
"wide ball",
"NaN"
],
"gram_entries_checked": 465,
"direct_whole_residual_checks": {
"1": "[3.1062300717047469017411232025640279865963169394557960292170013763109282115215267825786454073966681467001169514998474274498522137202219586356392298375106 +/- 5.08e-152]",
"2": "[1.0762107448184944846848718491885092849200905968799487741338927603684354622374879712601212732100439067143678122399075746521967358676343918852594906265375 +/- 8.65e-152]",
"3": "[0.2143668757778172491681734499375546193587481070247515066689983993561993605139103753173498237362858704188603089854597466409617788383917801557579464610682 +/- 3.22e-152]",
"6": "[0.18168532605272286179038127833571082621309787304938514689337741520310846049685631369365592342289924788789349647417535150764561648910761315833493464435376 +/- 6.85e-153]"
},
"repeated_nonsquarefree_endpoints": [
4,
8,
9,
12,
16,
18,
20,
24,
25,
27,
28
],
"stored_intervals_checked": 0,
"generator_bits": 461,
"minimum_generator_accuracy_bits": 444,
"maximum_generator_radius": "7.2968621e-136",
"maximum_integral_radius": "6.0400000e-151",
"independent_bits": 720,
"tail_start": 16,
"last_power": 125,
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"python": "3.12.3"
},
"hashes": {
"generate.py": "0593818aaa8314bfd780887b957bc53343a4a1b03e548692f8567121fb8cc847",
"integral_kernel.py": "4cbfd7743dd255571f49f2facdf2906053cf9ec80fdac08db653d53314e6df2b",
"checks.py": "b8591dd43d7361911524c2c61b4a8dde3a99526b472b2fe3e9bb42117647bd84",
"skill-manifest.json": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
},
"rows": [
{
"N": 1,
"generator": "[3.10623007170474690174112320256402798659631693945579602921700137631092821152152678257864540739666814670011695149984742744985221372022195864 +/- 6.66e-138]",
"generator_endpoints": [
"2997633232611004891581621167152499506723048332708393504254697361838455/965039022678013547017139023753197048337421841288834138806613102710002",
"4163806097372914009540966726496420256209194548910398777973631668966627/1340469315296968037338398329991066847514088427298574450582808636737150"
],
"integral": "[3.1062300717047469017411232025640279865963169394557960292170013763109282115215267825786454073966681467001169514998474274498522137202219586356392298375106 +/- 1.86e-152]",
"integral_endpoints": [
"2749212219459460612366830060405885895289663366993409741811306513049604705804626321731448371919337977566607959/885063937955713179447145820182868440378654038157153195022116309633749919793072398023618522723077187658402423",
"22942260874171113300821927811494799018994471847650214629334726978246937002335433684166130156803428224060384504/7385885895303320917304148566887189449210968714682822597713961947670944436936398361165967172562973587628773411"
],
"minimum": "[0.85821205139551088466996024295601644833995884597758452129394163669576307310742035735260774923912286675140042646812239819378151186580920714515203789550027 +/- 5.70e-153]",
"minimum_endpoints": [
"3279918419742001017184589605769307134964298415350490994182562475332523278895384812972243006154574940684460931/3821804196770054279143067666966448624101060363586861977144761845537176264000281774179931507881894190759100899",
"920666621297406645839066351156815774021562833846880204411842671963227752098451522829146894336540633601929947/1072772888472424039253428433587946492078341606981249758510597743018293160787213481628416577966736998666110984"
],
"exterior_tail_exact": "1"
},
{
"N": 2,
"generator": "[1.0762107448184944846848718491885092849200905968799487741338927603684354622374879712601212732100439067143678122399075746521967358676343919 +/- 2.03e-137]",
"generator_endpoints": [
"15376385574269282592386450653939180381736616315345510895569421153461611/14287522818648820296030362558246344345785351711888535990245641912087355",
"2144257972691222000345311771894625462236832397590481239837255322357392/1992414574018080663489226770722272446415932519848351664555067644757913"
],
"integral": "[1.0762107448184944846848718491885092849200905968799487741338927603684354622374879712601212732100439067143678122399075746521967358676343918852594906265375 +/- 6.52e-152]",
"integral_endpoints": [
"3720388553667078327294089950400091687605282823829651602981126370399404152740765324396718120765265849776453431/3456933106809420261136178043991674044198689207143858431871787234781146906416457463956574246554981547189836679",
"1223932797555489552089536891820452404821516853332155109174059851229276654550941286836115231352899112003456833/1137261269178193110123297923204145563111910900770203753066165974176232074019861631466463462432645110606970586"
],
"minimum": "[0.289964573742202731811200583416046611205413871125613854746091087471974302592583081227688433430810472270227375485094676411358640819559758267115415733487 +/- 3.92e-151]",
"minimum_endpoints": [
"2397044725677615686853468342451953376109936211339556700872778904427778540249135441882548303812749848082997906/8266681321590490390549815200934504852764580683787789069728739308967148405618212687742193174080681075989752149",
"5906295719202363381404847027850711996859477976000748779827748095716759681455130610041985147336685805627790368/20369025232901183446345745375919744146984124746457310283479512441436452249440547203162696158057225559066183699"
],
"exterior_tail_exact": "1/4"
},
{
"N": 3,
"generator": "[0.2143668757778172491681734499375546193587481070247515066689983993561993605139103753173498237362858704188603089854597466409617788383917802 +/- 5.67e-137]",
"generator_endpoints": [
"549058202408116848858853887451102836652976833362793939006281506510166/2561301508994299398368410518798647253349997096173914549284262130345849",
"958770361755781166895574316628092538568181032232457413102875720567030/4472567686947625988929080226808175751217591488117810054654768862277519"
],
"integral": "[0.2143668757778172491681734499375546193587481070247515066689983993561993605139103753173498237362858704188603089854597466409617788383917801557579464610682 +/- 4.46e-152]",
"integral_endpoints": [
"1284174086036047176396011795607239399939169424814891047983006397860516856422736724126113214048165319039632754/5990543461420982790420184880608260163674380948677899180377492537775133731709970937079448203410289887448249477",
"964726020247678797424075843821451162086375710607328046285573954788231785466988465261638094975506170195890569/4500350237168073451911205849850151414488903068325138205711138306068043729671586667255246262648545160345770436"
],
"minimum": "[0.09383722849698329190428280653064391729132770289268991145970787017702685168500709188815963479312577483616570472920797789648502058892054728215110646243 +/- 5.57e-150]",
"minimum_endpoints": [
"2924144747298505731140840571784943047217990916344271934161060531966020682474292221744461496673851437269658939/31161883126082651047660546687078943703644024495383697088719794309535906007714317584423498493036295859730951104",
"758613048099539106203217318818180983419773008452348480820259232711903262040324588086576031573121830333093706/8084350531771377198134401747665248427843155024117623799984175848605760393484870628942527264979347241011202181"
],
"exterior_tail_exact": "1/36"
},
{
"N": 4,
"generator": "[0.2143668757778172491681734499375546193587481070247515066689983993561993605139103753173498237362858704188603089854597466409617788383917802 +/- 5.67e-137]",
"generator_endpoints": [
"549058202408116848858853887451102836652976833362793939006281506510166/2561301508994299398368410518798647253349997096173914549284262130345849",
"958770361755781166895574316628092538568181032232457413102875720567030/4472567686947625988929080226808175751217591488117810054654768862277519"
],
"integral": "[0.2143668757778172491681734499375546193587481070247515066689983993561993605139103753173498237362858704188603089854597466409617788383917801557579464610682 +/- 4.46e-152]",
"integral_endpoints": [
"1284174086036047176396011795607239399939169424814891047983006397860516856422736724126113214048165319039632754/5990543461420982790420184880608260163674380948677899180377492537775133731709970937079448203410289887448249477",
"964726020247678797424075843821451162086375710607328046285573954788231785466988465261638094975506170195890569/4500350237168073451911205849850151414488903068325138205711138306068043729671586667255246262648545160345770436"
],
"minimum": "[0.06512886865990024957106136367286123661983130106485852754299938606864298358168647498509067698519936980927769025986003712736614189475141485408693444480 +/- 8.32e-150]",
"minimum_endpoints": [
"467059470929438412462316117679963959492011890403433397033345564060516309802484570230287619923425549325036521/7171312515320970937955371441094301547941370781485410853219601741621520395080152519979162249590684386744715024",
"524341558199724000527307764626282145954197518399366745217602117527712141602798871661944211125837970330064560/8050831666335397916911051665514157878844465835476038179266589041562801115096392006160241485022689540588596917"
],
"exterior_tail_exact": "1/36"
},
{
"N": 5,
"generator": "[0.0485758745657088448777396527093033680722648775430140461612974464709570833085301182186031734164590509908724948956269083028980161727648736 +/- 5.71e-137]",
"generator_endpoints": [
"640206457694825898628901672855763826874090694594297233894760008481932/13179514798623238479469744566570870898576085209353790273347627348212413",
"685240038642897292522502459946862233077018349545600035876393479735361/14106591899152931022734005720409770099658286599746814415904794771212933"
],
"integral": "[0.048575874565708844877739652709303368072264877543014046161297446470957083308530118218603173416459050990872494895626908302898016172764873629454479929802 +/- 4.96e-151]",
"integral_endpoints": [
"675082285426180593001379346622558447986217880125523552232348683266517584300806726395298304452427076586480328/13897480826886465649859490949546445612937763796007074117161718702085154234868674056470177609850519917880292789",
"1357029098595766431149657622911566970868181989677065911147631621954015058519610058684262278013559597941971438/27936277230790892382803908227404111613288826720352867854596092153489723135372446991731864691440768338124788139"
],
"minimum": "[0.0361015998186054042030530301082201516592167794150596052544338090520287626911063086683056766941587680954064665717129559203986947049226971916405028108 +/- 6.30e-149]",
"minimum_endpoints": [
"497710562266154702141477087612612636423648462707638195977212082737231281518416013229824920667960552019720767/13786385223007580749051006292054025927756789854259996769425494965216046330509968550874220857572911654551308289",
"656059272100714234700305706775929210675180993074243975302871178054392834675807027680753710384904636843201578/18172581697130386083671324020431351560157124889201224798507852808729410278073273411295429124834877431681845355"
],
"exterior_tail_exact": "1/900"
},
{
"N": 6,
"generator": "[0.1816853260527228617903812783357108262130978730493851468933774152031084604968563136936559234228992478878934964741753515076456164891076132 +/- 7.83e-137]",
"generator_endpoints": [
"1510559566511821967570942929621799518619545676294839350492945251798825/8314152823071005951113861298593425934235427583458313068283114225054776",
"317644853006008861364265320903629416818316366060723082480284205590668/1748324203760034016201433081057135337960867615432544262878087832449507"
],
"integral": "[0.181685326052722861790381278335710826213097873049385146893377415203108460496856313693655923422899247887893496474175351507645616489107613158334934644354 +/- 3.05e-151]",
"integral_endpoints": [
"779293981427495792685381581407212895906679974780056809927222491418574338327264185397594398289930616247255450/4289251082398113982435006983670673118855158649116501797711504430389398326439938528472342933436860447245317961",
"1341918238437464995103882507850541472864624370414600653829510411408116193255743846097182865644915296066007285/7385947272638059486749868545537191385114447204971939065453424351751975973388822263945544282343424653161815342"
],
"minimum": "[0.035986317353574416848745654967398491500575609402363953312908121015230381611957155211967254792482276344039949616668700215808393649889346688524270344 +/- 9.66e-149]",
"minimum_endpoints": [
"636391572302620523100890140640189080228966726682010727495859384284075257403891965627266935537734542294348894/17684264995773722546308660781487161630997639041887517680323887068593766839809137143796895723538010196593241821",
"542630849897645014407139853455949773061290511927373436755883413701622729649197380165840781019609194944966487/15078810220177949414351441319906701120060933439294659299391878924617992246164441606687639235750850723701303824"
],
"exterior_tail_exact": "4/225"
},
{
"N": 7,
"generator": "[0.0373942223472003618099341048052168355522639702534896883791499727179471354532528440749028715567401130224173321263652034642628952241270203 +/- 8.69e-137]",
"generator_endpoints": [
"333874855180272329786596465611705001324638504914813979906268701454406/8928514466226597164863899313795463998064373219571630437763644840357749",
"1270341597467462696239698857803388484456450774219397491114926491016393/33971600897927775398469125135555867221708566316502454363688634683108873"
],
"integral": "[0.037394222347200361809934104805216835552263970253489688379149972717947135453252844074902871556740113022417332126365203464262895224127020327621238077047 +/- 4.30e-151]",
"integral_endpoints": [
"548730760101846469959282415970015655224580744010597083837545061068615745924747488517465868008763263359520102/14674212369145014599215970500652557682438659005173060108790588630901132855614861704738595254081266842103001663",
"428794372631938960088239503314888711876923316318253611888178415487252317673283023406692548024697432499042779/11466861609011158478310422781293277487982249992026267551744140691454774319167193002018748611607137129639049479"
],
"minimum": "[0.024302100543476719884104287428509294292751587781644857487887417631605868771085154719755312583089483693026259471011896544188311683944170584208445632 +/- 3.78e-148]",
"minimum_endpoints": [
"698914982136838945868570536754935416762442717333465472266751911614854867275790857659064335108737261353257213/28759447393712840069543958864923754211534040296453954237940258399109007488737357480707228203112673099693049143",
"405261175730488643563138351914615060257512366303538089830418528121799065669875793496704965301820357844453518/16675973132671064004494156343526394429054121213939867983735834507693935382847805243481809145579487927337464191"
],
"exterior_tail_exact": "1/11025"
},
{
"N": 8,
"generator": "[0.0373942223472003618099341048052168355522639702534896883791499727179471354532528440749028715567401130224173321263652034642628952241270203 +/- 8.69e-137]",
"generator_endpoints": [
"333874855180272329786596465611705001324638504914813979906268701454406/8928514466226597164863899313795463998064373219571630437763644840357749",
"1270341597467462696239698857803388484456450774219397491114926491016393/33971600897927775398469125135555867221708566316502454363688634683108873"
],
"integral": "[0.037394222347200361809934104805216835552263970253489688379149972717947135453252844074902871556740113022417332126365203464262895224127020327621238077047 +/- 4.30e-151]",
"integral_endpoints": [
"548730760101846469959282415970015655224580744010597083837545061068615745924747488517465868008763263359520102/14674212369145014599215970500652557682438659005173060108790588630901132855614861704738595254081266842103001663",
"428794372631938960088239503314888711876923316318253611888178415487252317673283023406692548024697432499042779/11466861609011158478310422781293277487982249992026267551744140691454774319167193002018748611607137129639049479"
],
"minimum": "[0.024161421585896685022808943010851337446765483831295506702752379607835237091422536243302013849822149903133346952162278887155855275904660123057595491 +/- 4.96e-148]",
"minimum_endpoints": [
"396394968051270650251253608287484790476293443254743369050733920795843776477804136034690853606888758059102677/16406111148801410068255491750599615474763712019648175058998499981577010501027613601155164746998188806524808819",
"877670172429559127784615695146129787860642932348015998124163986164337778767460136352520026232651004439387262/36325270403040599974892752664202363465213134623034488537177417313623251810005400752090030754059468327168972305"
],
"exterior_tail_exact": "1/11025"
},
{
"N": 9,
"generator": "[0.0373942223472003618099341048052168355522639702534896883791499727179471354532528440749028715567401130224173321263652034642628952241270203 +/- 8.69e-137]",
"generator_endpoints": [
"333874855180272329786596465611705001324638504914813979906268701454406/8928514466226597164863899313795463998064373219571630437763644840357749",
"1270341597467462696239698857803388484456450774219397491114926491016393/33971600897927775398469125135555867221708566316502454363688634683108873"
],
"integral": "[0.037394222347200361809934104805216835552263970253489688379149972717947135453252844074902871556740113022417332126365203464262895224127020327621238077047 +/- 4.30e-151]",
"integral_endpoints": [
"548730760101846469959282415970015655224580744010597083837545061068615745924747488517465868008763263359520102/14674212369145014599215970500652557682438659005173060108790588630901132855614861704738595254081266842103001663",
"428794372631938960088239503314888711876923316318253611888178415487252317673283023406692548024697432499042779/11466861609011158478310422781293277487982249992026267551744140691454774319167193002018748611607137129639049479"
],
"minimum": "[0.02401495078279004617671234264738635893651075986792286988642435951749686158080679973312202389059883290291363224197845901050355231552851632010257416 +/- 1.62e-147]",
"minimum_endpoints": [
"907245002135305777810552995042644936134176490746297098943680725811249417569518159557771008358685525508482553/37778341098473925819398287992767365248390912985592436008165116687440239236491423640759768934732823454687742423",
"92116812441517469345870772318898358829194574323993197844053833708930869107151705435402639398535252420309418/3835811002683028589711057109131056001678031299512709364351693251814996037792245669789688664920290498258369143"
],
"exterior_tail_exact": "1/11025"
},
{
"N": 10,
"generator": "[0.137186471383523979425819043461763831600280055274732536687529127477005264578476456391190849893103820489588965417072931577648230972932477 +/- 5.06e-136]",
"generator_endpoints": [
"501898048417381278274852421288779896770529875267886337795771199609438/3658509788580063739596555968965965517551908269921720021214842696388261",
"1271717954862380929545019039392181368309751045810985197957447917431897/9269995372263168830370465117567202853631160917380504901259648853321271"
],
"integral": "[0.1371864713835239794258190434617638316002800552747325366875291274770052645784764563911908498931038204895889654170729315776482309729324765749648419614823 +/- 8.84e-152]",
"integral_endpoints": [
"1476554511287454839987030117594925341947057080508676925904009287390056503895855714820239114324089229476633321/10763120418481645074547203848382372599763781911137841663015733046201291680734853040019562802183418656494250766",
"1032773488789045236119455720509360518196150123745781986939177080074462099546410965739844533626221812787163169/7528245885862771525607035076932664659415926017497061816514718674918725873687229299222179070952970591069887171"
],
"minimum": "[0.02377186555603957374966975040957789209541784886012934583757512802222957241310443600256439411017750338528171941907668096173104696379503857896453802 +/- 8.44e-147]",
"minimum_endpoints": [
"506989236860289831039920346625803223474502906672015133658823095248034448745231524121779439647971067777618553/21327280169287435229400400262242609622639597526882974048056338978253870461162816969619561769292760453171911427",
"1806964996868868210721386209993868833663044019250002539042013155121841375942379935443272612744460771026791087/76012755187814175141546288074084910300672253012016056657692494898269740158130194977760383559775747594692201394"
],
"exterior_tail_exact": "361/44100"
},
{
"N": 11,
"generator": "[0.034159512178382896735308432125738914156495231644219006043397796297842858889884782527243201504804869896291445052975275222022346471828081 +/- 5.41e-136]",
"generator_endpoints": [
"368930259947200686441312543832586147867329059293075076730772317765808/10800220390169101006571910478583413719205313136580266585544758499533965",
"196098418686742333149187429877460429908230460389384432371172203211178/5740668006694748593576781670833021983260155397933708622733599966766599"
],
"integral": "[0.034159512178382896735308432125738914156495231644219006043397796297842858889884782527243201504804869896291445052975275222022346471828080569165519204420 +/- 1.66e-151]",
"integral_endpoints": [
"587080942174224249830791786135454301586393133910449463715346223313913070124080890008532805477691813435320734/17186455682049980709727797897798019009012307602912714290174225621821503870813341242812469415809621786711002303",
"2348083720933821395718523745922837632186804394698879315903769704124645405846536713893997293052151515767472445/68738795468506574155697198801651513174650013097424878295977968762819774403370728268431576949444361403061849529"
],
"minimum": "[0.0204444445648450909480274931389333801998715428750338024439556230947153863754628810893227997114992328394189681340437603959999747277560074743503297 +/- 5.12e-146]",
"minimum_endpoints": [
"578080723642488635153791660884341189801161013435109435977020803039845701501026621333309519344630257111178839/28275687402949447410593104287860798864396894595378225096803937477740704571564752738613236252317103823398031196",
"145471522193219380095561842801993424999861932580157689648319421390770913927152613218812103379961504338032453/7115454847981663837411073254643819809662984844632113055409685019673192865256570954072385093746883160046028996"
],
"exterior_tail_exact": "1/5336100"
},
{
"N": 12,
"generator": "[0.034159512178382896735308432125738914156495231644219006043397796297842858889884782527243201504804869896291445052975275222022346471828081 +/- 5.41e-136]",
"generator_endpoints": [
"368930259947200686441312543832586147867329059293075076730772317765808/10800220390169101006571910478583413719205313136580266585544758499533965",
"196098418686742333149187429877460429908230460389384432371172203211178/5740668006694748593576781670833021983260155397933708622733599966766599"
],
"integral": "[0.034159512178382896735308432125738914156495231644219006043397796297842858889884782527243201504804869896291445052975275222022346471828080569165519204420 +/- 1.66e-151]",
"integral_endpoints": [
"587080942174224249830791786135454301586393133910449463715346223313913070124080890008532805477691813435320734/17186455682049980709727797897798019009012307602912714290174225621821503870813341242812469415809621786711002303",
"2348083720933821395718523745922837632186804394698879315903769704124645405846536713893997293052151515767472445/68738795468506574155697198801651513174650013097424878295977968762819774403370728268431576949444361403061849529"
],
"minimum": "[0.0204430632075424993617776382575042708566535457260221478112795742543934902504911415125166771205649027003567813668416556636827536849616483091109814 +/- 7.50e-146]",
"minimum_endpoints": [
"356145863296830247382130626056742191952929843593287794159782757089484085665708077824506009807970281275978015/17421355091512395643481490248265583380963428408729567418636265234570109513734894138215096138213778399029303596",
"1602927186881056613682808332531999210782800024999889187471056714101786036333813808876815583197492145000087434/78409344558972658382690619661597115220909829101486591870205714963487080896229866996202995940255312478688218383"
],
"exterior_tail_exact": "1/5336100"
},
{
"N": 13,
"generator": "[0.130757092986376212784021313863900228940865798450051472614833766378030094146222281083122387381626102029635778912615131651422946789537558 +/- 4.44e-136]",
"generator_endpoints": [
"640856302113568559511046564321070434402608679481544912496405160806883/4901120753581913799335257980449042859645580038536358575405640253591724",
"517137636260676772209390216048516974184240508213163631895733908365505/3954949016146742846718209723266128831248682594243092648465877151360377"
],
"integral": "[0.130757092986376212784021313863900228940865798450051472614833766378030094146222281083122387381626102029635778912615131651422946789537557702691797237247 +/- 1.22e-151]",
"integral_endpoints": [
"925052907730367369690972945690626521471861028173279743773230701678611009419946684899691959425562968436901060/7074590652047840245076606505618811214605325201577900075252014536063883230006263895990837608823676147330463249",
"987905515129052707080461761423166576951262567830863273669564983640052507302040609611600939015443852949914769/7555272854161602818779547249848864740624262657001008337709387018394998287286733979866735534332520026574728202"
],
"minimum": "[0.019824406456283081132294600640869091275957185362792390031351119918736824450785965789480337609550349804795033249629006044162488053719401692163729 +/- 2.59e-145]",
"minimum_endpoints": [
"1152485650625587118517726461114820117592880851586259128838662939644253465423673470429775302308376684030441285/58134686310384953181237945728323059570259584124299210178841767534870688540115985267116306259484307877373175044",
"123337452048222832305132449967544171571403295304597456733369174891948984512226978845576272941356808951534317/6221495322959980596381663319964082506403914016012852932147640410860103717441135181359456952288450945488296997"
],
"exterior_tail_exact": "5396329/901800900"
},
{
"N": 14,
"generator": "[0.033034336059750047789559389914943519236060241649814334632571577988696219944461715404686968348917752784845952749400987906833494336690583 +/- 4.78e-136]",
"generator_endpoints": [
"464796682268326313160556543300689720974815897118041312010774379085374/14070108187663789474786908545550707118885756314334471954560099476951531",
"205735424777546453549481981579018122745192425838534022913878769958061/6227926736757400947860814052304589805212327061610992919969669176640988"
],
"integral": "[0.033034336059750047789559389914943519236060241649814334632571577988696219944461715404686968348917752784845952749400987906833494336690582704484030180467 +/- 3.41e-151]",
"integral_endpoints": [
"537710962634856511534750891031680760407098089764317286862505808044706197671263420097926020237874656137315651/16277335244827834673886236944840528421856922275998723451947085291864797172375003462410326681089075432555523604",
"569067963104986525427487455443200571463401482318779538253295343870610519245230159553270426399489347044416097/17226559724878343509501973182086376657794422448481131591112698282901748732119846618048501865286803183126193804"
],
"minimum": "[0.018486425618272211556702749549476512514677665191393129741885831403513665343051108961569148504047339383036602447087552483771931970882692126995787 +/- 6.60e-145]",
"minimum_endpoints": [
"271991364480271721085679088741049429906791663556867576539626754488425257668005172397000463630821926416180776/14713031610147074341110963807429925617335373711771185236132392516537374110398477775385064421569079904268752147",
"478208212368911093603643189405500736221560928618761189588879524712899695531840323735503581543333371462857016/25868073268649845769783965602191228829274069640171254092959240051566922691584571000773867804302104815390106717"
],
"exterior_tail_exact": "7921/225450225"
},
{
"N": 15,
"generator": "[0.106469989645448950272070365481930910363739526903853442004639051401722262630533651113219543824012330845014747168949702239344119236448193 +/- 3.85e-136]",
"generator_endpoints": [
"738979077045422436275587091587200740376429859343225986367646201881841/6940726485522017026505422183532495725323915040214359558555150387065626",
"619218181548419656106124562134671327863254950642188708263733484835631/5815894071281973485538889239369353327002996684884091304870870192002098"
],
"integral": "[0.106469989645448950272070365481930910363739526903853442004639051401722262630533651113219543824012330845014747168949702239344119236448192834556677836557 +/- 5.74e-151]",
"integral_endpoints": [
"913539137881232670168638455018155707599326136835423418060462846928214205669776903164081307905035590884415629/8580250086652298411217753139893050330439335006977626633269535902653545220431610906011780497557278096679761443",
"476304919922573917242615757691151868003762940495608252080912817439351193796849262752348883697561880747566862/4473607271952369598079496233404456567358703632649702000988148149811757034842981918838273214126777213883605541"
],
"minimum": "[0.01833503460075522518174374009253289544138590559940849793946972092683370770254022318894407055509198274039433150682555177289585381278476377207757 +/- 1.78e-144]",
"minimum_endpoints": [
"219431126001808941983133156264280328787546024618439757890439414338614721581183306303773780137582775971132688/11967859934814113347175223877404955855926410617638030058528385672703254354316936999946621445304595922315597283",
"127053648431829076597927602530374578333551422746829301999368666538051067445553218306339029708641648483239181/6929555967491640372087179465584647463299793674707147320833577617654373252656754751554403574011617570133235525"
],
"exterior_tail_exact": "92416/25050025"
},
{
"N": 16,
"generator": "[0.106469989645448950272070365481930910363739526903853442004639051401722262630533651113219543824012330845014747168949702239344119236448193 +/- 3.85e-136]",
"generator_endpoints": [
"738979077045422436275587091587200740376429859343225986367646201881841/6940726485522017026505422183532495725323915040214359558555150387065626",
"619218181548419656106124562134671327863254950642188708263733484835631/5815894071281973485538889239369353327002996684884091304870870192002098"
],
"integral": "[0.106469989645448950272070365481930910363739526903853442004639051401722262630533651113219543824012330845014747168949702239344119236448192834556677836557 +/- 5.74e-151]",
"integral_endpoints": [
"913539137881232670168638455018155707599326136835423418060462846928214205669776903164081307905035590884415629/8580250086652298411217753139893050330439335006977626633269535902653545220431610906011780497557278096679761443",
"476304919922573917242615757691151868003762940495608252080912817439351193796849262752348883697561880747566862/4473607271952369598079496233404456567358703632649702000988148149811757034842981918838273214126777213883605541"
],
"minimum": "[0.01789402347696943509905506314795876127745464180160987804844025903873581522050027285013834892881957455078093593227666299139124859057626438145290 +/- 6.77e-144]",
"minimum_endpoints": [
"169878067361828376939032388696194475576667828871579016497309573847476941630822258070547407133236550982513142/9493564573695263784292717237455585522970707519573314790254887442586257711525743771544469619911323072836967363",
"346603704681838051459092396321867337965595267166292865244843274028587688956244918415440341515254182590091463/19369802723682326124438040193927278998878600610991213052610906509404335494189759754325426595318360645123785124"
],
"exterior_tail_exact": "92416/25050025"
},
{
"N": 17,
"generator": "[0.037344733339896130792754818136259146180256231157967191690631128759781658418893467061539678077844848726153861045216019115233716592543113 +/- 6.51e-136]",
"generator_endpoints": [
"582842557759383502426849000645681616268658764342881914696929875806189/15607088487005503902077123980969847906485141070083008323867780231439953",
"158554853473934424017819340767067552090210425067423603720639098417717/4245708545588865688193015500810043213130210162995394497184926263204623"
],
"integral": "[0.037344733339896130792754818136259146180256231157967191690631128759781658418893467061539678077844848726153861045216019115233716592543113382057025886214 +/- 2.29e-151]",
"integral_endpoints": [
"420783000802491911021719320335625455321683015575752019210209122316650783753787953038099868870255601309235054/11267532612234800889912081569237203105557998866411039489882340935905230549851194545324059896397827131136621977",
"289119982413541256036502025552844652540665353801555649134344675279245187960717862938707221079910393999624114/7741921190923823135622849176993897497988827965546903762252077586439434560312630322702250441317738432570270211"
],
"minimum": "[0.0170692384433357574300558670903072902873793626222222620830498221766252756672413160614243841803803891025283767934712602999139851370555877519126 +/- 4.31e-143]",
"minimum_endpoints": [
"882705416530565757783337980610500722358895236817758217494329659022844379826973609529023374788330192670519235/51713227831508514202477307398957522334315339542195679354702328840387483103614532305416477762655316785759801002",
"302672718009033082567608493584271776670828683496626924352723252925495540875139488027102750312162659825895750/17732057526397952170369263705476513256722901638844119900137580481863326464536791164684592402553768747963213593"
],
"exterior_tail_exact": "26569/7239457225"
},
{
"N": 18,
"generator": "[0.037344733339896130792754818136259146180256231157967191690631128759781658418893467061539678077844848726153861045216019115233716592543113 +/- 6.51e-136]",
"generator_endpoints": [
"582842557759383502426849000645681616268658764342881914696929875806189/15607088487005503902077123980969847906485141070083008323867780231439953",
"158554853473934424017819340767067552090210425067423603720639098417717/4245708545588865688193015500810043213130210162995394497184926263204623"
],
"integral": "[0.037344733339896130792754818136259146180256231157967191690631128759781658418893467061539678077844848726153861045216019115233716592543113382057025886214 +/- 2.29e-151]",
"integral_endpoints": [
"420783000802491911021719320335625455321683015575752019210209122316650783753787953038099868870255601309235054/11267532612234800889912081569237203105557998866411039489882340935905230549851194545324059896397827131136621977",
"289119982413541256036502025552844652540665353801555649134344675279245187960717862938707221079910393999624114/7741921190923823135622849176993897497988827965546903762252077586439434560312630322702250441317738432570270211"
],
"minimum": "[0.0170592353956575198822360662568823230962896445451347671816398627063052106679371000882380744318347458287771207758604055975120575858177487747745 +/- 6.37e-143]",
"minimum_endpoints": [
"273255548519530660264886438530374651877286216377313071957600723234289401192103004134665078604747692371858531/16018041968580179686069290672657658921404658986854717515638406719974117820718943342353938329462766619188712511",
"259998238993818600894064027901110471990369126581242947313525150841505238362571846937879143502011041721290603/15240908104240237010469675826562973707761290665236838734640933537507996755555924840276463905219793460384408137"
],
"exterior_tail_exact": "26569/7239457225"
},
{
"N": 19,
"generator": "[0.099890068301099114589866770170791789012875179750969753362006526407751081994465945088692787546649823100520278988769126115900014723536051 +/- 4.74e-136]",
"generator_endpoints": [
"2413976870210600286241845489100190662934871820610531058012717440602031/24166335164914875873385273975494157388911330011749613188995161976480825",
"572148049877499250740105061850747026980643933217316415430159761033451/5727777141495895516535366503836013620002822591553168180284097305262229"
],
"integral": "[0.099890068301099114589866770170791789012875179750969753362006526407751081994465945088692787546649823100520278988769126115900014723536050850299167249824 +/- 2.02e-151]",
"integral_endpoints": [
"1016533334086714968810930575252421610809812433556751891122192584457206590414344899469665495037642536580942694/10176520562810845596210949627951210875946349225076015818281112360723551085918321028149551957322018229251468141",
"576015875493342677437850573335038216982556770694413745550738094915467485875406502696862817808166902891420377/5766497964112460571748928727669289491247747916811921850029990543802415500343699865365895579422172376407054744"
],
"minimum": "[0.016817318000698443736850851103445599287046286893187147127145095935839075282457877994145792227514164575108991349359964742930528005821227915882 +/- 2.25e-142]",
"minimum_endpoints": [
"123003238833412349050938210442039309195491811988315306583013737789441360331321565383189924619406182292354111/7314081759547145059347004929255249058178807175568086160392073936383551531261138533937198692795662867749017898",
"292598362264836459858697347426478823702306361413944584701537322682911175716339570270872017162556530646575819/17398634089733243603347659508315346837517270044482236691798397793965262584929454807583781226801958154879476265"
],
"exterior_tail_exact": "6722032144/2613444058225"
},
{
"N": 20,
"generator": "[0.099890068301099114589866770170791789012875179750969753362006526407751081994465945088692787546649823100520278988769126115900014723536051 +/- 4.74e-136]",
"generator_endpoints": [
"2413976870210600286241845489100190662934871820610531058012717440602031/24166335164914875873385273975494157388911330011749613188995161976480825",
"572148049877499250740105061850747026980643933217316415430159761033451/5727777141495895516535366503836013620002822591553168180284097305262229"
],
"integral": "[0.099890068301099114589866770170791789012875179750969753362006526407751081994465945088692787546649823100520278988769126115900014723536050850299167249824 +/- 2.02e-151]",
"integral_endpoints": [
"1016533334086714968810930575252421610809812433556751891122192584457206590414344899469665495037642536580942694/10176520562810845596210949627951210875946349225076015818281112360723551085918321028149551957322018229251468141",
"576015875493342677437850573335038216982556770694413745550738094915467485875406502696862817808166902891420377/5766497964112460571748928727669289491247747916811921850029990543802415500343699865365895579422172376407054744"
],
"minimum": "[0.016503583071030188389732568235493614158721567020856235252494867331152954457073420828992993518491261112652054983586084531517869461551428800137 +/- 7.03e-142]",
"minimum_endpoints": [
"372127636459969679330332416156284160896807397210346569930039570915386911132271566089770174293096707384214373/22548293595297465852678968469677371533449021632715159003509230446547155524444196425952771094699956499362068243",
"349590007943163971329851779130452863597854884630123686136632664554561875442466655867959712705932872784540988/21182673267893081066896455894471540261688552875607229902899480021319025916175571515088066771093185346725682123"
],
"exterior_tail_exact": "6722032144/2613444058225"
},
{
"N": 21,
"generator": "[0.039757297609359543615382964987724857980064616626584888082583494414876125139357202767121124365637540677780085059237825861373360233333506 +/- 8.03e-136]",
"generator_endpoints": [
"386436304554654957096100764433380996575500380990381427207404285579266/9719883588458016389762941894166092154744387864908265157700919527667055",
"859679180497939008557947665208772997016547850666512079351747577730191/21623179446068686454916778181550337177491679353393335699902267035102508"
],
"integral": "[0.039757297609359543615382964987724857980064616626584888082583494414876125139357202767121124365637540677780085059237825861373360233333506426633766123451 +/- 2.05e-151]",
"integral_endpoints": [
"563872771853138574745492264091494013088459632922378729843164892722272992569226939550385475182914232802982607/14182874736445701984991443227125386866901275195726901975382160414022256094981500362637327203317534471921087169",
"938568241748659384024521794354865478237076792865433852635769438498058225909937483554080164143784249686481587/23607445631005475256279592485773481388459053699185844733543342478304694514603159970455000674619981164376859420"
],
"minimum": "[0.01609075635431805715379443648408456507487617994469552993017915914551795141842515964826587284190522329487894383695610766793871403631488100418 +/- 6.27e-141]",
"minimum_endpoints": [
"287823177249104144265518301616547967990505263073680197004925066911071344125437574754422751353842625334100146/17887485890112614740718541932318905260013969245168904574413069475577363092257720292648191254610376178605133547",
"128149860956240455265593782580062077209363908054818121691926043102895619349111815120281749032165066802732711/7964191249583530128224368268679653337064023125524377321783987475758093494169059111628084107054284522440072396"
],
"exterior_tail_exact": "225570361/23520996524025"
},
{
"N": 22,
"generator": "[0.090982442910528585000870302456664100855538695594224937619320557918010814527642340070771666878784874242617080711511566453195951057143961 +/- 9.34e-136]",
"generator_endpoints": [
"206980059839797186945393379730327698232488750750565249243899166070564/2274945068724300371770066545646998798974998696115513906892038002506161",
"626793665322599185063978644130771422724075094220371778467784521018237/6889171638741148330717194975775158632724830984931008822627180937187969"
],
"integral": "[0.090982442910528585000870302456664100855538695594224937619320557918010814527642340070771666878784874242617080711511566453195951057143961502816526210430 +/- 1.36e-151]",
"integral_endpoints": [
"1051401222385182822627369212101056178363655876060755799504119265227358901949663624538663008983731479706170772/11556089161280517294344833250647798985055363877760512061254112314413722767259507617012346325598238916908017999",
"468195688835341985944070934617606637335355767335281273290108744903818483096966614086840174203247989907125836/5146000413461770030978416032332843568616978971417213101895342957582232177524515652652195673061291018387905631"
],
"minimum": "[0.0160573824891530801749745061491147961579865736889308675360486363941092482720986693290227595616945031790566257413290903180992560455563586329 +/- 3.07e-140]",
"minimum_endpoints": [
"261429128209941865594179410257307075909451897788943573001442780461245531827270361549091493819966989169744902/16280930493281816842291702417268065711384079734394033032926493947734296914717657003179576060355254010004638127",
"208150224673049668941363014653324939046793555359290639148097502875903516576850231948731970320224093598556180/12962898829473433372131364972971891490614257679013583631804942708995151161884446343557020433232120799909927377"
],
"exterior_tail_exact": "168803474449/94083986096100"
},
{
"N": 23,
"generator": "[0.040675738659959445172680857404264218324861270227429746430994169905407149854269760996225816737072368028085973285524874466668448776727349 +/- 8.03e-136]",
"generator_endpoints": [
"1294352712929521949170398072428696135722072704048698871580827572467176/31821246658850778798216607704006899664526493802024158935387418897512387",
"62445306069523690481915872470716104972148911446998888937538791963872/1535197838484341126533246486603655935290097809642744963500524693305693"
],
"integral": "[0.040675738659959445172680857404264218324861270227429746430994169905407149854269760996225816737072368028085973285524874466668448776727349297837786212700 +/- 2.75e-151]",
"integral_endpoints": [
"182861988461845481445314599357219833722854958005567074411695620671256033926198226273142474893156943568011283/4495603386346169426007006923633364790104130802508800650395408819893888805456422785041622854157816313619305731",
"810213030802570495927362542736724605894556406821956323462700323638493384148045954251531052373436183433017315/19918827721256145482030143329729287362926945850937685365103248712788445866880343798018943508891815916918580898"
],
"minimum": "[0.0155472996288219392578125389511119611583395467070666047726361616532372070857769994067495352965831263798171124102154969334824794826935239910 +/- 5.87e-140]",
"minimum_endpoints": [
"755235087095908798313673521380153777843243657349605849851398010589573577244449183950769790877376592992099134/48576608486777777097523955588365310657915972945258113625596126421810728481862238673847085620935820493756803177",
"373412368763035468106225527168059711172209366233825274362256943569785546364121283879952916793335698106660573/24017828026597949371158437651709658423522098122891405429484256281061903368080590410884945981746996471020021703"
],
"exterior_tail_exact": "62489500441/49770428644836900"
},
{
"N": 24,
"generator": "[0.040675738659959445172680857404264218324861270227429746430994169905407149854269760996225816737072368028085973285524874466668448776727349 +/- 8.03e-136]",
"generator_endpoints": [
"1294352712929521949170398072428696135722072704048698871580827572467176/31821246658850778798216607704006899664526493802024158935387418897512387",
"62445306069523690481915872470716104972148911446998888937538791963872/1535197838484341126533246486603655935290097809642744963500524693305693"
],
"integral": "[0.040675738659959445172680857404264218324861270227429746430994169905407149854269760996225816737072368028085973285524874466668448776727349297837786212700 +/- 2.75e-151]",
"integral_endpoints": [
"182861988461845481445314599357219833722854958005567074411695620671256033926198226273142474893156943568011283/4495603386346169426007006923633364790104130802508800650395408819893888805456422785041622854157816313619305731",
"810213030802570495927362542736724605894556406821956323462700323638493384148045954251531052373436183433017315/19918827721256145482030143329729287362926945850937685365103248712788445866880343798018943508891815916918580898"
],
"minimum": "[0.015546914888414620237564752819031070434707738680760839657999722730429908937659834420496813131691046741906254960650582246273057174124046670 +/- 4.50e-139]",
"minimum_endpoints": [
"1314726023598825326946234354236343181568599375469688878269952106029980854290068070941167633377915902522154935/84565075002664601675469622404922027234527122421706168222153733239692679643296272215346431205302982973008000977",
"127814720899651047088539659541505349331156769324836189730326851467674412858040713925613663293642301063701574/8221227286379311648161075414782322822368783380890821861500014291504975986168740417681542905517164013140685533"
],
"exterior_tail_exact": "62489500441/49770428644836900"
},
{
"N": 25,
"generator": "[0.040675738659959445172680857404264218324861270227429746430994169905407149854269760996225816737072368028085973285524874466668448776727349 +/- 8.03e-136]",
"generator_endpoints": [
"1294352712929521949170398072428696135722072704048698871580827572467176/31821246658850778798216607704006899664526493802024158935387418897512387",
"62445306069523690481915872470716104972148911446998888937538791963872/1535197838484341126533246486603655935290097809642744963500524693305693"
],
"integral": "[0.040675738659959445172680857404264218324861270227429746430994169905407149854269760996225816737072368028085973285524874466668448776727349297837786212700 +/- 2.75e-151]",
"integral_endpoints": [
"182861988461845481445314599357219833722854958005567074411695620671256033926198226273142474893156943568011283/4495603386346169426007006923633364790104130802508800650395408819893888805456422785041622854157816313619305731",
"810213030802570495927362542736724605894556406821956323462700323638493384148045954251531052373436183433017315/19918827721256145482030143329729287362926945850937685365103248712788445866880343798018943508891815916918580898"
],
"minimum": "[0.015520009300714858529390889953932268536855084063876631091534812969904262985280260682605753930357605641575438673307312795020724089717428246 +/- 3.36e-139]",
"minimum_endpoints": [
"264333293599178045599236953557986469227270609937739810788122778201646077201183107318081534799939908129374568/17031774174710239159443406620168151107259415715872847125891527863707470921471026180530367090611795334747812693",
"458046288430121173152329307342099276610910717717787659395448371606845585554815786766015024118531563926735427/29513274093787002913466970670510406694745322815235439318738338237329544038523604912647935083461756190034850336"
],
"exterior_tail_exact": "62489500441/49770428644836900"
},
{
"N": 26,
"generator": "[0.082947329862065393845984001609853304914428336308712269126160311854026422586436660807225456468280990393747955323015908869971255646740378 +/- 6.58e-136]",
"generator_endpoints": [
"264524564473821054470225562144971764805643062885383353917789734134371/3189066663311570229843551843349711472975487897898935722629441669823055",
"810516113771191919102077291990352891473628396305132882932398057691263/9771455152552996427023090065903067635333283093726592957314964808110600"
],
"integral": "[0.082947329862065393845984001609853304914428336308712269126160311854026422586436660807225456468280990393747955323015908869971255646740378089250648004100 +/- 6.04e-151]",
"integral_endpoints": [
"1124555399211980186658593623301906511344672137014418579805918442958652827824138931211992226489237652496194063/13557463526336816129118312307497416199851421325492161590821567273939854188425882911919781264830021080289048100",
"751421623563304074025412355586994947030372011583126495200489482613575431290349290377351186517979446862202175/9059021246529051650080360202265732071085769380457548896563584201731799522240101668710831224160614039400089942"
],
"minimum": "[0.01542340901249896645848246258431018197511603937785841986240131117629805528091168440548923394848793268298166018407414933374905013243087396 +/- 4.44e-138]",
"minimum_endpoints": [
"973481997204539164568260870856225948235851522675203406300176525475069558156404177897653789153270692871230149/63117174446689426326235876061085795445588188866556559549201465577078887900970898028408599184675816693058704526",
"516939181083772133254560731154606096270425095901468375923600332857150941696752392638483791185117317263885151/33516531958975484894076960598866979690279555891047342950335251326260908707681663121058337922803377592081641994"
],
"exterior_tail_exact": "17349374206564/12442607161209225"
},
{
"N": 27,
"generator": "[0.082947329862065393845984001609853304914428336308712269126160311854026422586436660807225456468280990393747955323015908869971255646740378 +/- 6.58e-136]",
"generator_endpoints": [
"264524564473821054470225562144971764805643062885383353917789734134371/3189066663311570229843551843349711472975487897898935722629441669823055",
"810516113771191919102077291990352891473628396305132882932398057691263/9771455152552996427023090065903067635333283093726592957314964808110600"
],
"integral": "[0.082947329862065393845984001609853304914428336308712269126160311854026422586436660807225456468280990393747955323015908869971255646740378089250648004100 +/- 6.04e-151]",
"integral_endpoints": [
"1124555399211980186658593623301906511344672137014418579805918442958652827824138931211992226489237652496194063/13557463526336816129118312307497416199851421325492161590821567273939854188425882911919781264830021080289048100",
"751421623563304074025412355586994947030372011583126495200489482613575431290349290377351186517979446862202175/9059021246529051650080360202265732071085769380457548896563584201731799522240101668710831224160614039400089942"
],
"minimum": "[0.01531396462752732040957648997393755498063833844681284028978367460259708895852092777144940981042325131034201050412257595522862655141461004 +/- 8.24e-138]",
"minimum_endpoints": [
"229607083163378502473936657314383154184181398380873175640553949816336483826203344556437471211074822014868195/14993314190542972702797698431024614434671974272718878927388203464523812776565772920326235691326414126651888562",
"478297117861578102878363522403035113847579667798617398615249810399475397026280444335861478735161208193051166/31232742760932357492082609821528331000157451135999916423346358876509759583570428634021117004563491167625443077"
],
"exterior_tail_exact": "17349374206564/12442607161209225"
},
{
"N": 28,
"generator": "[0.082947329862065393845984001609853304914428336308712269126160311854026422586436660807225456468280990393747955323015908869971255646740378 +/- 6.58e-136]",
"generator_endpoints": [
"264524564473821054470225562144971764805643062885383353917789734134371/3189066663311570229843551843349711472975487897898935722629441669823055",
"810516113771191919102077291990352891473628396305132882932398057691263/9771455152552996427023090065903067635333283093726592957314964808110600"
],
"integral": "[0.082947329862065393845984001609853304914428336308712269126160311854026422586436660807225456468280990393747955323015908869971255646740378089250648004100 +/- 6.04e-151]",
"integral_endpoints": [
"1124555399211980186658593623301906511344672137014418579805918442958652827824138931211992226489237652496194063/13557463526336816129118312307497416199851421325492161590821567273939854188425882911919781264830021080289048100",
"751421623563304074025412355586994947030372011583126495200489482613575431290349290377351186517979446862202175/9059021246529051650080360202265732071085769380457548896563584201731799522240101668710831224160614039400089942"
],
"minimum": "[0.0152145909752631600961622481055858553069044268647630660754258821874561962518612596925377155686199480000537866407521463966606237180412511 +/- 2.60e-137]",
"minimum_endpoints": [
"286577248632886609451317730271525637433628143031241393173969852287228423634175660733513623610689195829820863/18835685369315674861791463148552314574040475925111071241501649246092922185692604267348542137218025035094025375",
"464104682771611157158527920831068531386037074256375404638638214894469469121580415085717026220161130291125269/30503921106139610982667944591461844470809008168615120930670188242100820580192390125818521176434759872699373193"
],
"exterior_tail_exact": "17349374206564/12442607161209225"
},
{
"N": 29,
"generator": "[0.037079013640998208820082625410790281893301430201742223799300631104257575434430399600595668381977233370870256973196672057176064524540523 +/- 9.11e-136]",
"generator_endpoints": [
"338339778025155470977801623037935398230595494576997289836175075453205/9124832211044947930900853154060314724155803028340941957103141626745204",
"511740547681422598197016613603823975416158400922783455316690650884360/13801352771574048972769805593832951655143686998817595702077770955158843"
],
"integral": "[0.037079013640998208820082625410790281893301430201742223799300631104257575434430399600595668381977233370870256973196672057176064524540523250191675342391 +/- 4.87e-151]",
"integral_endpoints": [
"605562705711117520971676724995019182994301567767176442157126826128189779658603420693947940839073676387969634/16331683242014500650905185293397725753396629540545788252254003870899002220015210213716562798714992320806858855",
"577141468445747835664344880319337340278556020837771945953097334918424186805845591112161336930564284766520358/15565178567954229354512352663223618944176083100871301308181235640794412371219768663529243780597863241943313583"
],
"minimum": "[0.014702947028168504263772780739137823957482134991931568468425383055045152340695332573058895497434313142113508205787724157225526003988282 +/- 2.82e-136]",
"minimum_endpoints": [
"188020971216562675899492545941484299388464607953330226367174263229361487376579150446057050990254277744743059/12787978549901897054484797980606901324464714310088494845494641543903125832935595789794656073845916699798727813",
"64995544909669499406146209359885490284763619647543438261345226413387206019761969630499442418912703975674571/4420579410722788392480444770059863641511105004944696695768599253322697381708033825076894430119471599416019497"
],
"exterior_tail_exact": "85489385126209/10464232622576958225"
},
{
"N": 30,
"generator": "[0.071221390518128609247068021121286429760330715563188616174199735543705587563152258550079034106229823483663427271853240380811419272140608 +/- 7.68e-136]",
"generator_endpoints": [
"2252206788711056435854159109085549347646568171743906650881950094479479/31622617479474545785500523466449787547581996408377887103537535359162054",
"1088775492829381698487540884879330747210923640123859799695023150612001/15287197917769466477261579678673862808747312875963276871763370905001949"
],
"integral": "[0.071221390518128609247068021121286429760330715563188616174199735543705587563152258550079034106229823483663427271853240380811419272140608035306045807842 +/- 1.57e-151]",
"integral_endpoints": [
"1174709845128587456943025206712262555683271839177483309400212030320873276549708639574814323089679389432171545/16493778576670420245711229163118497933674965157963036859707795174004603459995154570278294302324164636033545494",
"814624552531139860971468012734633007110049139002493229869945987388413067542582418857779625434717943692381157/11437919796353685096671458837620651052953977553448617916710339327323253119309117793195124329827801984364526678"
],
"minimum": "[0.014530110474137250869617184339833174838689081619885569868338598593787595616536727147636475536755860650629610595397150541842516030185863 +/- 7.63e-136]",
"minimum_endpoints": [
"260523817338849674011539725360052655663803733020944006256197809336384544904832832217749065004106343056175183/17929926809749098124078667203203292658380850839045241218855450482558715947715881806752798904884713608556536543",
"119187844296055583056929870798606822984092370104238473831565898582285653169333217772475432675473446098686759/8202817487740578015885113711725321114694646267927760072357824626853309419988946387738281438965416504169042471"
],
"exterior_tail_exact": "4319308858659601/4650770054478648100"
}
],
"kernel_checkpoints": "kernel-checkpoints.jsonl",
"post_check_documentation_amendment": {
"file": "generate.py",
"original_sha256": "39890e1c6e745c66895f6a0efbe761e129de2c731df2fe554e7d828b2d682d03",
"current_sha256": "0593818aaa8314bfd780887b957bc53343a4a1b03e548692f8567121fb8cc847",
"change": "Added sage -pip install numberdb to the initial usage docstring to satisfy audit; executable AST unchanged, checked programmatically."
}
}