back to table · edit · history · where entries came from · files · download
64319 bytes, as of the version from 2026-11-10 22:01 (current). Recorded here, not run.
{
"table": "T707",
"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": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.08e-152]",
"2": "[0.306852819440054690582767878541823431924499865639744745879319990506606378030305284394136673003581312457998518979429314266314479764241869442967329248365 +/- 1.62e-151]",
"3": "[0.0986102916344317871483610959942854987482357649310636796436851803702472259213356084590989824944472637034515188581012307382876057610692353680290688365336 +/- 8.22e-152]",
"4": "[0.0676142171144381476822511184403321127319816343827243508772756818300415930447192667301693834892989517666572180623604902794736608055271511875824991629703 +/- 4.51e-152]",
"6": "[0.04158012748956997831482404762848265040228119367533778025895248432190299434414586066154600251160944648415989931801762114620025032272155368701490213050398 +/- 9.51e-153]"
},
"endpoint_cancellation_checked": 30,
"stored_intervals_checked": 0,
"generator_bits": 461,
"minimum_generator_accuracy_bits": 443,
"maximum_generator_radius": "7.4186423e-136",
"maximum_integral_radius": "6.0300000e-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": "4c2c72dd8dc5a720599f35b24a5a4117eca67a04d8126bfc1fd7595cf0e3b6cc",
"integral_kernel.py": "4cbfd7743dd255571f49f2facdf2906053cf9ec80fdac08db653d53314e6df2b",
"checks.py": "a7341d3606c567277d9adc0fd780f5bb8f2b234e13dc9e1502ddb7a584e4ad2b",
"skill-manifest.json": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
},
"rows": [
{
"N": 1,
"generator": "1",
"generator_endpoints": [
"1",
"1"
],
"integral": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"integral_endpoints": [
"1",
"1"
],
"minimum": "[0.85821205139551088466996024295601644833995884597758452129394163669576307310742035735260774923912286675140042646812239819378151186580920714515203789550027 +/- 5.70e-153]",
"minimum_endpoints": [
"3279918419742001017184589605769307134964298415350490994182562475332523278895384812972243006154574940684460931/3821804196770054279143067666966448624101060363586861977144761845537176264000281774179931507881894190759100899",
"920666621297406645839066351156815774021562833846880204411842671963227752098451522829146894336540633601929947/1072772888472424039253428433587946492078341606981249758510597743018293160787213481628416577966736998666110984"
],
"exterior_tail_exact": "0"
},
{
"N": 2,
"generator": "[0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813124579985189794293142663144797642418694 +/- 5.30e-137]",
"generator_endpoints": [
"1445133499164706101219732537876940691912679732635135249363187772063029167203017947979493196700208118362293602/4709533064750022666801202802956232326293996677123788481581848749346504272108423386760956831636743347898796263",
"926254076476423167103494884355578295871771456604068748017208969434709769640528040528524618691407875403668594/3018561400760965679401308496488973914247432886429773512675537410899376818394531924535178964437090112517761735"
],
"integral": "[0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813124579985189794293142663144797642418694429673292483649 +/- 7.73e-152]",
"integral_endpoints": [
"662429759459098394349603915648582958641055696722745910665981285888630025500452241971706634289694410039867702/2158786615250597447961791373918880106810577067949575496035399213773905408079478816866409860117860495308390717",
"825234050056450597983667246063892992794579069350162297646297911053984917623347466536600486020406938166614308/2689348110153716226738077015169789001464059677246123957762276446857775746569779613037175382741873719996642663"
],
"minimum": "[0.289964573742202731811200583416046611205413871125613854746091087471974302592583081227688433430810472270227375485094676411358640819559758267115415733487 +/- 3.92e-151]",
"minimum_endpoints": [
"2397044725677615686853468342451953376109936211339556700872778904427778540249135441882548303812749848082997906/8266681321590490390549815200934504852764580683787789069728739308967148405618212687742193174080681075989752149",
"5906295719202363381404847027850711996859477976000748779827748095716759681455130610041985147336685805627790368/20369025232901183446345745375919744146984124746457310283479512441436452249440547203162696158057225559066183699"
],
"exterior_tail_exact": "0"
},
{
"N": 3,
"generator": "[0.0986102916344317871483610959942854987482357649310636796436851803702472259213356084590989824944472637034515188581012307382876057610692354 +/- 4.69e-137]",
"generator_endpoints": [
"931915931051902547222696558505628119107453354643699882204058614509438324043410607004487756497844008699970410/9450493610816025238973461178802676858702080307097776679867258661476436040955677101163806871373168813501803153",
"358130406239692025447924963765820289296804942567509819748576842884958118788249832701690397705444007074860211/3631775145411328615018657226326086456154273950329476924940319990139812308322812787698234869568355936045005618"
],
"integral": "[0.098610291634431787148361095994285498748235764931063679643685180370247225921335608459098982494447263703451518858101230738287605761069235368029068836534 +/- 4.05e-151]",
"integral_endpoints": [
"1214610965281961801569712803532439864568508562304819944039478573209295984732729439882963366874272609280683180/12317283978682157161066649525169135165285849874886341563131003903200727838233717061201075329565742163726201119",
"808205159516424124864569616523684805827359145912180289356208199282012923463952738263825093715464025638221079/8195951417653275352180620310690712906867201434700918095354648369767216259380935208970350299956191881270309325"
],
"minimum": "[0.09383722849698329190428280653064391729132770289268991145970787017702685168500709188815963479312577483616570472920797789648502058892054728215110646243 +/- 5.57e-150]",
"minimum_endpoints": [
"2924144747298505731140840571784943047217990916344271934161060531966020682474292221744461496673851437269658939/31161883126082651047660546687078943703644024495383697088719794309535906007714317584423498493036295859730951104",
"758613048099539106203217318818180983419773008452348480820259232711903262040324588086576031573121830333093706/8084350531771377198134401747665248427843155024117623799984175848605760393484870628942527264979347241011202181"
],
"exterior_tail_exact": "0"
},
{
"N": 4,
"generator": "[0.0676142171144381476822511184403321127319816343827243508772756818300415930447192667301693834892989517666572180623604902794736608055271512 +/- 2.94e-137]",
"generator_endpoints": [
"637807558260949460217211413260388742165585260672844198792872370185883459072176506162695312379064321227574085/9433039166621569114302000596534493901430029148360737251612334397793335378188618706189226679251045759481840681",
"457750095523754103906593884471960302361784915665189276083804369002134796578966176331082035567725793987153209/6770027296907168507035435969384581761090679650662278429721788802115963109230920390071124727240916052886843911"
],
"integral": "[0.0676142171144381476822511184403321127319816343827243508772756818300415930447192667301693834892989517666572180623604902794736608055271511875824991629703 +/- 7.61e-152]",
"integral_endpoints": [
"739304175615574065595189085499926242610891604337901621603000504944248054927761755691527029626790432741558566/10934152714721075339046693139050603207698585284675179370861751802066489183864716037967265209830593978053439479",
"483526974070615875414605288621299324284578425132184434705860086082522437793408743352346036035421563582961911/7151261889969659947933776934340860161696234262544378394314590591361959720516495120707180292329739577887890638"
],
"minimum": "[0.06512886865990024957106136367286123661983130106485852754299938606864298358168647498509067698519936980927769025986003712736614189475141485408693444480 +/- 8.32e-150]",
"minimum_endpoints": [
"467059470929438412462316117679963959492011890403433397033345564060516309802484570230287619923425549325036521/7171312515320970937955371441094301547941370781485410853219601741621520395080152519979162249590684386744715024",
"524341558199724000527307764626282145954197518399366745217602117527712141602798871661944211125837970330064560/8050831666335397916911051665514157878844465835476038179266589041562801115096392006160241485022689540588596917"
],
"exterior_tail_exact": "0"
},
{
"N": 5,
"generator": "[0.0411893358369543393996411916159887752677722043639801999451216095607012499239586020558237391925368085141654681883917815700260537906694957 +/- 3.61e-137]",
"generator_endpoints": [
"669236223035782587493848256824887286986623134489201318948916975084083048390554953569340401367916999783432525/16247803210154113559831510224117263829918404056528535097619921699655751914159017899616307613354219250294589698",
"341904541486832052878527376380477434717417644698198207236849881477771054083773330544088791802928159894492676/8300802490242665684468578341178606793395770923047859176788883393523178318785881477187165351121287806356390353"
],
"integral": "[0.0411893358369543393996411916159887752677722043639801999451216095607012499239586020558237391925368085141654681883917815700260537906694957086137360785460 +/- 6.42e-152]",
"integral_endpoints": [
"470575471590135668693183443860930363133439924084746930965522188525673385510847317202535436432989181728929970/11424691902119570634249570164222559068361598582266578680277302704085227961502400757881442532218874694804547169",
"521193857644291246444607702458929872747419767377050828701239991716156852782873453740301402087984703075450662/12653611597608849736181816818558901767131719693498878250905993642879448850891824486963112471350005460491908021"
],
"minimum": "[0.0361015998186054042030530301082201516592167794150596052544338090520287626911063086683056766941587680954064665717129559203986947049226971916405028108 +/- 6.30e-149]",
"minimum_endpoints": [
"497710562266154702141477087612612636423648462707638195977212082737231281518416013229824920667960552019720767/13786385223007580749051006292054025927756789854259996769425494965216046330509968550874220857572911654551308289",
"656059272100714234700305706775929210675180993074243975302871178054392834675807027680753710384904636843201578/18172581697130386083671324020431351560157124889201224798507852808729410278073273411295429124834877431681845355"
],
"exterior_tail_exact": "0"
},
{
"N": 6,
"generator": "[0.0415801274895699783148240476284826504022811936753377802589524843219029943441458606615460025116094464841598993180176211462002503227215537 +/- 4.14e-137]",
"generator_endpoints": [
"393783916846357707987915290172158335990349043046210787831065139126037080061573882637086323272108471512912275/9470483632959881078979153794455479807052262754531307812343099002287635288687088069165264002243901711083465483",
"299759126492338479003931310076536216269401698078333326554885731198479601028455076060676082261052594355717262/7209192097054789187666917576989311205461597538840433676229943720779554043218266097245529887898037619892969893"
],
"integral": "[0.0415801274895699783148240476284826504022811936753377802589524843219029943441458606615460025116094464841598993180176211462002503227215536870149021305040 +/- 6.86e-152]",
"integral_endpoints": [
"405448747065857406019908342453433466694457631027258984207523908559695487620854361783832295088748675299164745/9751022220111296657960024898763754589388348666214050315886118698458913472579927354313395783265532841832439654",
"232835959802603035996392816654523222901554435447069884526360327031260386520819340691094820826103837456475228/5599693263591073840886645119039275374854036166263130420159115660824209578390877606084340802281649294403602085"
],
"minimum": "[0.035986317353574416848745654967398491500575609402363953312908121015230381611957155211967254792482276344039949616668700215808393649889346688524270344 +/- 9.66e-149]",
"minimum_endpoints": [
"636391572302620523100890140640189080228966726682010727495859384284075257403891965627266935537734542294348894/17684264995773722546308660781487161630997639041887517680323887068593766839809137143796895723538010196593241821",
"542630849897645014407139853455949773061290511927373436755883413701622729649197380165840781019609194944966487/15078810220177949414351441319906701120060933439294659299391878924617992246164441606687639235750850723701303824"
],
"exterior_tail_exact": "0"
},
{
"N": 7,
"generator": "[0.0358077501363879718268159396385490318302694694502325569305114835851297689888099098321305013791048407180768111184462214012726480040217706 +/- 9.11e-137]",
"generator_endpoints": [
"618686410929471139742963554531845611668103514807848342294327951437965104205373773092732668351151327288949974/17278002906436717361918261423191505491790010149286652849210450786158690689898602868769143617429003738703893921",
"609764701980101315091038267318413788817789527840549260047371987547663150992883578667052691917681795382860857/17028847097557690636976173369373822974371182186817177529984294082286825257413831889652409769741853518617883914"
],
"integral": "[0.035807750136387971826815939638549031830269469450232556930511483585129768988809909832130501379104840718076811118446221401272648004021770566930261600798 +/- 2.92e-151]",
"integral_endpoints": [
"868881092661623989940684461680210397242170627523797853499656016393396684358388042382608363261904780394509431/24265168555749715203724117860140662423936504099852654219647700770927745559436582357847288480186939466065507954",
"160749675414383611477445003196592889144080032553971523808703028985340424448015139916288407031910165097074044/4489242546714186886706007561969416314834163556095326096289642532060763728805911094930741323279139788174694447"
],
"minimum": "[0.024302100543476719884104287428509294292751587781644857487887417631605868771085154719755312583089483693026259471011896544188311683944170584208445632 +/- 3.78e-148]",
"minimum_endpoints": [
"698914982136838945868570536754935416762442717333465472266751911614854867275790857659064335108737261353257213/28759447393712840069543958864923754211534040296453954237940258399109007488737357480707228203112673099693049143",
"405261175730488643563138351914615060257512366303538089830418528121799065669875793496704965301820357844453518/16675973132671064004494156343526394429054121213939867983735834507693935382847805243481809145579487927337464191"
],
"exterior_tail_exact": "0"
},
{
"N": 8,
"generator": "[0.036877411319370638699156927821042856122988398097367413349232674613657838349850903483231767471733366795550182861534388894171315746144077 +/- 4.34e-136]",
"generator_endpoints": [
"459654402829114484521747876554039287674221012970861134055427800427019195244634640782764278702629956810576147/12464389076780758390969531701074319261536978538507626583635869823071338243157864527225664348406198355243517134",
"548317624087455861554199521775580917196722843471152901697149572468810935039989854705692646009570556250133837/14868658196716765086066138572061166976646813017870499740999428852301859112527768839945572545192721019645908018"
],
"integral": "[0.036877411319370638699156927821042856122988398097367413349232674613657838349850903483231767471733366795550182861534388894171315746144077368536315161695 +/- 3.18e-151]",
"integral_endpoints": [
"543476509985426004092329394686746171853942724511598787014762275144639331554542145407921741073027646639812253/14737382330845806836505795678792483991873923368953118131127836859267068591621685454153763342762949132243807697",
"844728173854001804721996043626340099345943940113855015443749760527303305515355677908522270861418768204551647/22906384793074954829909076815727569953718663883219283113118767089938429368636952015806051171250391141872470225"
],
"minimum": "[0.024161421585896685022808943010851337446765483831295506702752379607835237091422536243302013849822149903133346952162278887155855275904660123057595491 +/- 4.96e-148]",
"minimum_endpoints": [
"396394968051270650251253608287484790476293443254743369050733920795843776477804136034690853606888758059102677/16406111148801410068255491750599615474763712019648175058998499981577010501027613601155164746998188806524808819",
"877670172429559127784615695146129787860642932348015998124163986164337778767460136352520026232651004439387262/36325270403040599974892752664202363465213134623034488537177417313623251810005400752090030754059468327168972305"
],
"exterior_tail_exact": "0"
},
{
"N": 9,
"generator": "[0.0369783190980180789131775688236978812763612586294149573707326447888554867471931700739787624092448460831870670414480093445515392315822726 +/- 7.76e-137]",
"generator_endpoints": [
"215931088647262381311205895705918180831407165877791593602079677868469086868370764004123060182865725659330091/5839397082244217139735675223484352360354263568111469475524437432161858235786318041397310842595973502150917032",
"362250140436465627641945636322765551904143439410355905463431532968342443664464935315016927267592929902006616/9796284668220116332935381286583625740694920388004952279104533033428778329683492612797710070568150880262275505"
],
"integral": "[0.036978319098018078913177568823697881276361258629414957370732644788855486747193170073978762409244846083187067041448009344551539231582272611948476265012 +/- 1.08e-151]",
"integral_endpoints": [
"1352526091031718389155385883018554136554322652425760434948491084792250315978480442128362472936465738540024117/36576191780015482502552687464561291419415288802161334270650850676077764940792132596411514904072854950781264857",
"638285153511891796099093141477369150606797772313710837933912090877818611299899793477856984918525343668014380/17261064566509781239473980416183690413817280489725745872722549532173924564042134260529731215057478134877649591"
],
"minimum": "[0.02401495078279004617671234264738635893651075986792286988642435951749686158080679973312202389059883290291363224197845901050355231552851632010257416 +/- 1.62e-147]",
"minimum_endpoints": [
"907245002135305777810552995042644936134176490746297098943680725811249417569518159557771008358685525508482553/37778341098473925819398287992767365248390912985592436008165116687440239236491423640759768934732823454687742423",
"92116812441517469345870772318898358829194574323993197844053833708930869107151705435402639398535252420309418/3835811002683028589711057109131056001678031299512709364351693251814996037792245669789688664920290498258369143"
],
"exterior_tail_exact": "0"
},
{
"N": 10,
"generator": "[0.0360354040564881259202320806991066518992713631056818774199742091913573837434282146970444698810091866275183869640336173635768314118886711 +/- 7.38e-137]",
"generator_endpoints": [
"196434256156517445246438410356619184449354421419710854191753373095262971459051712910249174446780641242231994/5451146207451771926028834577495605986582547113633680622528933426741019072921721132504686751817934783573589007",
"1237910900770291544615799933382869187366277544951359343957989855641563051225827633516874228001404607950105564/34352629953303031044760369924895571499346109353191004429220128718649331863102362248756446702613747815206293627"
],
"integral": "[0.036035404056488125920232080699106651899271363105681877419974209191357383743428214697044469881009186627518386964033617363576831411888671107706722356824 +/- 4.34e-151]",
"integral_endpoints": [
"2963212976016007336616578741174270234891460382485212248937121559543673606009040428895134598980690807852178485/82230602198075945677066692644793348028066051793163487613793662089554918255952177456322826238813921051686185742",
"319632241094889155505127887020406457881610681827882502546160979459880275674704300942888839696418062748136904/8869950246536497525394210279310660712171031501912869454994041379801139590874449406568152009952586852700068625"
],
"minimum": "[0.02377186555603957374966975040957789209541784886012934583757512802222957241310443600256439411017750338528171941907668096173104696379503857896453802 +/- 8.44e-147]",
"minimum_endpoints": [
"506989236860289831039920346625803223474502906672015133658823095248034448745231524121779439647971067777618553/21327280169287435229400400262242609622639597526882974048056338978253870461162816969619561769292760453171911427",
"1806964996868868210721386209993868833663044019250002539042013155121841375942379935443272612744460771026791087/76012755187814175141546288074084910300672253012016056657692494898269740158130194977760383559775747594692201394"
],
"exterior_tail_exact": "0"
},
{
"N": 11,
"generator": "[0.034106974645603558584035834123669014123349261946872761601799732771132915478504827541910565564122777115242335352351028908617760180036634 +/- 3.67e-136]",
"generator_endpoints": [
"336964630005215343421165271440036194198308330635855007926773095870109719822128988674391632180951397809457783/9879639971194296523902887277050665360970163145623874367214402736959119896875998541153440535185797888231493988",
"532591232633667305684401120350979040640130058279424812174784717573355497947968967100689699873593566609899716/15615317341033035117523746450291315659932839404957860215500191385665271226582360693810340347640405316666483729"
],
"integral": "[0.034106974645603558584035834123669014123349261946872761601799732771132915478504827541910565564122777115242335352351028908617760180036634249876725413040 +/- 4.14e-151]",
"integral_endpoints": [
"139736531454949903576411730603766538735459414383216474701746543792970069674398020987743868320665353177579486/4097007515527682755034213668919580908105721027278156386198462304861245649746097965442833013774412111333404673",
"1313705778848420386926280613962427641962670553935855467392733983126705142992376867358284183393396085497388071/38517218032346327718380903245684640350054207952720264305914337897007138632287902104015708093207583441143225645"
],
"minimum": "[0.0204444445648450909480274931389333801998715428750338024439556230947153863754628810893227997114992328394189681340437603959999747277560074743503297 +/- 5.12e-146]",
"minimum_endpoints": [
"578080723642488635153791660884341189801161013435109435977020803039845701501026621333309519344630257111178839/28275687402949447410593104287860798864396894595378225096803937477740704571564752738613236252317103823398031196",
"145471522193219380095561842801993424999861932580157689648319421390770913927152613218812103379961504338032453/7115454847981663837411073254643819809662984844632113055409685019673192865256570954072385093746883160046028996"
],
"exterior_tail_exact": "0"
},
{
"N": 12,
"generator": "[0.034165513882794201633642092444817241281348414842764108324243672662017236002736382677424340504131524558269105655799562636349826358907130 +/- 2.37e-136]",
"generator_endpoints": [
"233571824110046872828677774566204424516451805679914798149393669721799955106648398592572772881343485547884547/6836479173453145542263240017059012419706372511695249785181817409210828611526638183526509747076701357250340857",
"581880888884915443143109633897342489904213222228349000266787837906955630855842989151942247665112513686688340/17031234796616111633660662642070052727247687407665524495114506948936259716656672653205483461566115748888575157"
],
"integral": "[0.034165513882794201633642092444817241281348414842764108324243672662017236002736382677424340504131524558269105655799562636349826358907129888373695645736 +/- 4.29e-151]",
"integral_endpoints": [
"688157688614985390782311552107811282867593007457241289360459375484656035238212343176549788008469888683990966/20141880229746596047386314013084560386712085209485342174886464823395539521068101572403440307931947495061724409",
"278372557352276634734210711124319485252686792499701699068401168061610396879464037840513827540783868444609356/8147764389180325660227774091264322111975523244368801351387303616477526027948335720081717353874044388120358067"
],
"minimum": "[0.0204430632075424993617776382575042708566535457260221478112795742543934902504911415125166771205649027003567813668416556636827536849616483091109814 +/- 7.50e-146]",
"minimum_endpoints": [
"356145863296830247382130626056742191952929843593287794159782757089484085665708077824506009807970281275978015/17421355091512395643481490248265583380963428408729567418636265234570109513734894138215096138213778399029303596",
"1602927186881056613682808332531999210782800024999889187471056714101786036333813808876815583197492145000087434/78409344558972658382690619661597115220909829101486591870205714963487080896229866996202995940255312478688218383"
],
"exterior_tail_exact": "0"
},
{
"N": 13,
"generator": "[0.034164701564646012014665947264413619357767784333252860402345804504011663638526247585145076916726493160860141111229761530486889708758154 +/- 1.91e-136]",
"generator_endpoints": [
"320314677814886729409550877444070692511122020724699728447347381408757090721242335843560527419803253877168923/9375602980426783078790932639295465815495869045291727840548131354052459198181297676350132361170908087517678825",
"563665060054675956140670052228221087720159502800260185474708390447234745873616222091824690153888133063657751/16498462864899203862585369118959894922332376709157085486128049819268832464821200874193301833320024885399565841"
],
"integral": "[0.034164701564646012014665947264413619357767784333252860402345804504011663638526247585145076916726493160860141111229761530486889708758153935408260778600 +/- 5.60e-151]",
"integral_endpoints": [
"588157594312784257169051081108402630500031165010796213075681042734531439024450615911572903199076738855526203/17215358758509275078246354313926311499599431633879194264354855271471988763800073987243873827918757530400059161",
"359830245261414034127665439728144381704402185335776566826050196841396162352819990761337963283950341688768933/10532222697176143602626795133133648395066877036076324557999447359703744537679035480818211723936341494623157351"
],
"minimum": "[0.019824406456283081132294600640869091275957185362792390031351119918736824450785965789480337609550349804795033249629006044162488053719401692163729 +/- 2.59e-145]",
"minimum_endpoints": [
"1152485650625587118517726461114820117592880851586259128838662939644253465423673470429775302308376684030441285/58134686310384953181237945728323059570259584124299210178841767534870688540115985267116306259484307877373175044",
"123337452048222832305132449967544171571403295304597456733369174891948984512226978845576272941356808951534317/6221495322959980596381663319964082506403914016012852932147640410860103717441135181359456952288450945488296997"
],
"exterior_tail_exact": "0"
},
{
"N": 14,
"generator": "[0.033017485218980864648292034384890972734835986596197258271359103362378264557217269472698372629040050254075702652309676429950004443206609 +/- 3.19e-136]",
"generator_endpoints": [
"316756637373162888764946032876326200767701861951927271720641797197642395927907424931044139313456822836663794/9593602761456466504610113338572669212509232574950984506079461723741476547096149876396839610794137353955117595",
"399407969348739440957251688570382237405713205015512331161520505950326137207927226612737420447196011518004385/12096862214058947669435481429328202212529226371673074190679292935688434948482907200994748920833627895605839501"
],
"integral": "[0.033017485218980864648292034384890972734835986596197258271359103362378264557217269472698372629040050254075702652309676429950004443206609122731027306870 +/- 2.11e-151]",
"integral_endpoints": [
"157100849153118741974346201451199497901866730265137313046773343853523086970475791557547984704551903724105589/4758110683208716547399836932601738341309541143056611351802954532946934859201636494008037282415001182506673898",
"59399517869339741744608589111315173017614405520300611918124186783824532360159548525471838118801549461614209/1799032163575939325319958343062046080057757176460788971294359228116024669437333072230269322645628616203931659"
],
"minimum": "[0.018486425618272211556702749549476512514677665191393129741885831403513665343051108961569148504047339383036602447087552483771931970882692126995787 +/- 6.60e-145]",
"minimum_endpoints": [
"271991364480271721085679088741049429906791663556867576539626754488425257668005172397000463630821926416180776/14713031610147074341110963807429925617335373711771185236132392516537374110398477775385064421569079904268752147",
"478208212368911093603643189405500736221560928618761189588879524712899695531840323735503581543333371462857016/25868073268649845769783965602191228829274069640171254092959240051566922691584571000773867804302104815390106717"
],
"exterior_tail_exact": "0"
},
{
"N": 15,
"generator": "[0.032755511953244419409882062232501165762753492878044303871779468967429165213374200342027227181221563027980997029168062832218251242287744 +/- 4.89e-136]",
"generator_endpoints": [
"315230212218162420000579454651119759093780587153898759945654725556925342117654671116118793113091652475955801/9623730279902982944676353474998443144475121572561306287769754719800717262209978805043417587878103702456367112",
"799780635309082124015320288455296993790996315984129591749885752800263318332964904327662430355068279969354160/24416673335794533204354899575861166844469324344407806333275147070243848106348988893975895734782767380247527213"
],
"integral": "[0.032755511953244419409882062232501165762753492878044303871779468967429165213374200342027227181221563027980997029168062832218251242287744289270990079574 +/- 3.99e-151]",
"integral_endpoints": [
"762799983139348137953742223810371753605949050143302774138573433876508595282972718492366950652427379877524443/23287683130343903136414615002164279176066627133558385435695316511417909760075982725268293707753296947185385128",
"612697919812347763688742996175511333266649763008225301612796075099361567095261222861158031328310561218680123/18705185273456252529190019894521878867061845671381488551223066253781197320773128444769178787339152338884861199"
],
"minimum": "[0.01833503460075522518174374009253289544138590559940849793946972092683370770254022318894407055509198274039433150682555177289585381278476377207757 +/- 1.78e-144]",
"minimum_endpoints": [
"219431126001808941983133156264280328787546024618439757890439414338614721581183306303773780137582775971132688/11967859934814113347175223877404955855926410617638030058528385672703254354316936999946621445304595922315597283",
"127053648431829076597927602530374578333551422746829301999368666538051067445553218306339029708641648483239181/6929555967491640372087179465584647463299793674707147320833577617654373252656754751554403574011617570133235525"
],
"exterior_tail_exact": "0"
},
{
"N": 16,
"generator": "[0.037177485741487752560977245584607446933575448443221508013189957389373255758006393952807123157020260503905744821441092663136127608618139 +/- 3.11e-136]",
"generator_endpoints": [
"257776986818487203886448655429506282682830510593384573390993679083111948101125580772847496042787922240269468/6933685311882836211577675507423269985055538962231007268590779375661360808177428055785173420973068658658988467",
"612276022128685625907103240987491133614514698015682831668194841114310766719430731234022270319034076830578797/16469000254243223834590541519593571296174010499398353228631448712055124486209594553193750505969074657570610452"
],
"integral": "[0.037177485741487752560977245584607446933575448443221508013189957389373255758006393952807123157020260503905744821441092663136127608618139048054182375568 +/- 4.47e-151]",
"integral_endpoints": [
"763266015560156344680380095815599415938097165345006941465854419873219766828951393922736686482453677068772334/20530329050961053372650886659570856163344685389151925250628528405169278013202838137725776613158354044252202805",
"495096279976872754511033855560463209591909249463683036769007416911358740601497382752778709068153933762333632/13317099586010363849235328085073071125690452743080485186351097843412484376272593778157943633198611853475533385"
],
"minimum": "[0.01789402347696943509905506314795876127745464180160987804844025903873581522050027285013834892881957455078093593227666299139124859057626438145290 +/- 6.77e-144]",
"minimum_endpoints": [
"169878067361828376939032388696194475576667828871579016497309573847476941630822258070547407133236550982513142/9493564573695263784292717237455585522970707519573314790254887442586257711525743771544469619911323072836967363",
"346603704681838051459092396321867337965595267166292865244843274028587688956244918415440341515254182590091463/19369802723682326124438040193927278998878600610991213052610906509404335494189759754325426595318360645123785124"
],
"exterior_tail_exact": "0"
},
{
"N": 17,
"generator": "[0.037587242989870554278124836643273407244685285855276819201018253516537560734638426913945056089007526026650915891106653001997983636235832 +/- 4.31e-136]",
"generator_endpoints": [
"282983081944055384869747708280454008258921768235382154813460569087506189643539787129630792152733527725040312/7528700150216309943180381938469485248987031694946105485246115895863094978843569364702743758191015788986739603",
"379101309176955924933661701811387278987979734424429981253826808926204718805045265456228456253739972833280390/10085903594448801098545494350249834931496739341233573511062213997178560579975052443363416319521659221657576743"
],
"integral": "[0.037587242989870554278124836643273407244685285855276819201018253516537560734638426913945056089007526026650915891106653001997983636235831870043099836276 +/- 2.49e-151]",
"integral_endpoints": [
"373045005627868814190509810319596398354238563445109079575447386848329946969983319286720712690989756164051751/9924777024172837160697906745559807714260452565702019449329520000301743788335336587674200946099295443035106298",
"456899626797461689922322536838786007404870382201010468681297973547690086590636101073812961048893581295604453/12155710034933721926134271644228825390265823921108943003185076094082774711398662153321489267934913371395029320"
],
"minimum": "[0.0170692384433357574300558670903072902873793626222222620830498221766252756672413160614243841803803891025283767934712602999139851370555877519126 +/- 4.31e-143]",
"minimum_endpoints": [
"882705416530565757783337980610500722358895236817758217494329659022844379826973609529023374788330192670519235/51713227831508514202477307398957522334315339542195679354702328840387483103614532305416477762655316785759801002",
"302672718009033082567608493584271776670828683496626924352723252925495540875139488027102750312162659825895750/17732057526397952170369263705476513256722901638844119900137580481863326464536791164684592402553768747963213593"
],
"exterior_tail_exact": "0"
},
{
"N": 18,
"generator": "[0.037359119288623648105272126350266188194519280981016595355125722448348337155759457496175744005674983216829005240469700782294105749208206 +/- 7.40e-136]",
"generator_endpoints": [
"412622909850439863764635468083120385426717948743509393094528728829071882126868478863887265504730329230477947/11044770800474653132078795604109782744911860200759734510508687529963791203989512719365211378827618759595575734",
"185851702858141978806846378935157822207247279691268253232579167699358087671649861825342783255422592643343933/4974734586817101709604578382579058697641345888633486625821113827838333210457331405496347296967873445257871579"
],
"integral": "[0.037359119288623648105272126350266188194519280981016595355125722448348337155759457496175744005674983216829005240469700782294105749208206449692183014636 +/- 2.94e-151]",
"integral_endpoints": [
"350668452517170807694597276949694979187281530883942658442369191846377407687722368232424360853040750349208501/9386421821350431174822483392753608483401474816655962278507966022273758961637111321869998665316979676584558771",
"1327258938225527908438454184410873029543548858578091642618981518468171000061220536254088240831477833873414498/35527040345131905215519069918479674108868864900920168605705347965293548064865827485603519530244704987749064715"
],
"minimum": "[0.0170592353956575198822360662568823230962896445451347671816398627063052106679371000882380744318347458287771207758604055975120575858177487747745 +/- 6.37e-143]",
"minimum_endpoints": [
"273255548519530660264886438530374651877286216377313071957600723234289401192103004134665078604747692371858531/16018041968580179686069290672657658921404658986854717515638406719974117820718943342353938329462766619188712511",
"259998238993818600894064027901110471990369126581242947313525150841505238362571846937879143502011041721290603/15240908104240237010469675826562973707761290665236838734640933537507996755555924840276463905219793460384408137"
],
"exterior_tail_exact": "0"
},
{
"N": 19,
"generator": "[0.037294132448295678952558438074613145343449282780650256781175933279680501229001010714632118855208141411955927293986783776080481468298938 +/- 6.33e-136]",
"generator_endpoints": [
"755758879333343134916266813167440781303894656493680156180393332532147770965023058963450124829531640084445709/20264819952069454670561521236940449847010801718521138546697126847580883027277816921645695737258521775909016295",
"495155339766630349014192852817059018352635659519558886503470374746905091903044647800699808559067270658668083/13277030654972607408299948107545339585580142902015192237286269694307386208160324477601411214750248078907565611"
],
"integral": "[0.037294132448295678952558438074613145343449282780650256781175933279680501229001010714632118855208141411955927293986783776080481468298937676320467433070 +/- 5.49e-151]",
"integral_endpoints": [
"1281770832396348092163736404174018394581630442706489928525500171474009608720072496766228664412730605798840861/34369235808699561373949731823325290116240561300804140978024256377120987125277811140505346786790402995678153616",
"287100576980148401700091246143798065462510458156528669762391160540098920082076915052590967630854375390213387/7698277400022177963332479892675479238989536429682589641562233179051697462957427682193840156148663687186290888"
],
"minimum": "[0.016817318000698443736850851103445599287046286893187147127145095935839075282457877994145792227514164575108991349359964742930528005821227915882 +/- 2.25e-142]",
"minimum_endpoints": [
"123003238833412349050938210442039309195491811988315306583013737789441360331321565383189924619406182292354111/7314081759547145059347004929255249058178807175568086160392073936383551531261138533937198692795662867749017898",
"292598362264836459858697347426478823702306361413944584701537322682911175716339570270872017162556530646575819/17398634089733243603347659508315346837517270044482236691798397793965262584929454807583781226801958154879476265"
],
"exterior_tail_exact": "0"
},
{
"N": 20,
"generator": "[0.042880328093753549352682247946893042614791484702383887554376914374032269344730317957480063868109175240414663345893918754792716454667807 +/- 5.56e-136]",
"generator_endpoints": [
"639901675005530456120274922348605647589586102107029752192344793121923330308923885859484019357520973215088533/14922965925224486010492866766807143677723283419952177223927383611972206924528053072994698153285225773461375509",
"520151294377145684717897671027406608497660340023795886641014976648302006611860320832780754635047090066523838/12130301177730890831539464926761892032595440423741894808545182417572573962171007349506937303345354005210522325"
],
"integral": "[0.042880328093753549352682247946893042614791484702383887554376914374032269344730317957480063868109175240414663345893918754792716454667807162696390313092 +/- 3.45e-151]",
"integral_endpoints": [
"684938257651053681844891591844553927603420433478713923435861554270546663156432576877200043655164263945284048/15973251327590233805601099170567386942897004096842061799978879989451722788692478839428813034867197128712345995",
"946196001160457117808420118221262152607166315481779216315547091729405980775864848956534014292332599690483043/22065969250321363695810518121244615134188520851825591484561635322145430546892891829799196847897709662631335965"
],
"minimum": "[0.016503583071030188389732568235493614158721567020856235252494867331152954457073420828992993518491261112652054983586084531517869461551428800137 +/- 7.03e-142]",
"minimum_endpoints": [
"372127636459969679330332416156284160896807397210346569930039570915386911132271566089770174293096707384214373/22548293595297465852678968469677371533449021632715159003509230446547155524444196425952771094699956499362068243",
"349590007943163971329851779130452863597854884630123686136632664554561875442466655867959712705932872784540988/21182673267893081066896455894471540261688552875607229902899480021319025916175571515088066771093185346725682123"
],
"exterior_tail_exact": "0"
},
{
"N": 21,
"generator": "[0.040004600494405253925933370711347301197762519986841080031706400917113149439509527602523138784272928389633497620927984601112856957510514 +/- 8.48e-136]",
"generator_endpoints": [
"213376415987797923897710801362138793594761800305684779041443531563406144809011680163992190382694181547317767/5333796947119598492865258027885006084099172426348867770051839407310376335736769192513532849558159414124458994",
"1328762067236337497033353779233482733321623435135007175726581827448007039058021951042338981079060826000947386/33215231518739158091880803775221464394044160014189698063888065931073275332346585822509980654549084312199201077"
],
"integral": "[0.040004600494405253925933370711347301197762519986841080031706400917113149439509527602523138784272928389633497620927984601112856957510514445274966435904 +/- 4.45e-151]",
"integral_endpoints": [
"338927296705753089974190727188854073871855466536483038128570046560314800155961192223575477481567272706561227/8472208009005187852613310205806269582935706869043312306890055572060163861215534500013776688745935698028583494",
"251839557216035594372635874487412205269316073219511243808077845141635252760294515132239335355215853098214237/6295264897127419206224768223623838680631406369208752108905909146195688863605532912388776237865717494681467747"
],
"minimum": "[0.01609075635431805715379443648408456507487617994469552993017915914551795141842515964826587284190522329487894383695610766793871403631488100418 +/- 6.27e-141]",
"minimum_endpoints": [
"287823177249104144265518301616547967990505263073680197004925066911071344125437574754422751353842625334100146/17887485890112614740718541932318905260013969245168904574413069475577363092257720292648191254610376178605133547",
"128149860956240455265593782580062077209363908054818121691926043102895619349111815120281749032165066802732711/7964191249583530128224368268679653337064023125524377321783987475758093494169059111628084107054284522440072396"
],
"exterior_tail_exact": "0"
},
{
"N": 22,
"generator": "[0.039609209104532125665001600898217751889826694760441228409556033353404329644330765211971773047290270379899673393295318858091686044697767 +/- 8.36e-136]",
"generator_endpoints": [
"544965603020521132741446355979176293283309183859230573107966754065149836797559617075253222905336684432761023/13758558056090183801777185658713488597956176319521397999815184988630535299759444153233356911312276108799228018",
"483957472021188252504433856795811668528554642893713406535481536509818437019932726150228336271925502131617081/12218306877675407821290114202353426752041889777336449416807905505019786904071657675063401504182546501297547677"
],
"integral": "[0.039609209104532125665001600898217751889826694760441228409556033353404329644330765211971773047290270379899673393295318858091686044697766607018654574821 +/- 1.96e-151]",
"integral_endpoints": [
"405978863438498045237309760846830105534068430014139914138004765338564984566289778159435521192907998277746717/10249607922417353547105244659266877059813672002041862322762325394330997798800299437219565024116345087472611731",
"1437844320278818459399931939273042827478758898289840850251780103207930461382095742154921368972667828438112457/36300758151575888490087492835925151125402790184941392243227507777453169347187951707010444125226570593790738932"
],
"minimum": "[0.0160573824891530801749745061491147961579865736889308675360486363941092482720986693290227595616945031790566257413290903180992560455563586329 +/- 3.07e-140]",
"minimum_endpoints": [
"261429128209941865594179410257307075909451897788943573001442780461245531827270361549091493819966989169744902/16280930493281816842291702417268065711384079734394033032926493947734296914717657003179576060355254010004638127",
"208150224673049668941363014653324939046793555359290639148097502875903516576850231948731970320224093598556180/12962898829473433372131364972971891490614257679013583631804942708995151161884446343557020433232120799909927377"
],
"exterior_tail_exact": "0"
},
{
"N": 23,
"generator": "[0.040596050268786434981548973118852555071171594979328902054446798513967223913303451541345978865401610220444602355903713881885714814821797 +/- 6.16e-136]",
"generator_endpoints": [
"343453834058968226589115208290008048372938562194150496208794736611388796295990970243988726317290539676983693/8460277090627302617947594013871484917051054019059151075944698023977338489813663494962771956058229162239739046",
"324129549679946778012028804830329403545132271051523978827783541499325790238114965248998191171445527531786303/7984263186538718425754834383735785517643894107603816583288549523064115923170357148854072202204230184052609734"
],
"integral": "[0.040596050268786434981548973118852555071171594979328902054446798513967223913303451541345978865401610220444602355903713881885714814821796958039277360589 +/- 2.86e-151]",
"integral_endpoints": [
"669641165180766699102442507079137524594066226044343409619039862102409264933537202875969794202326434972770311/16495229480382272976507390228362278417257206870155433435711672977820939479171909136955757665792756927587100913",
"350273477655873069217306717703802502080650049785486749708378059170819697398836412198095676756830127249466592/8628264950326755759309743203571772617956013186325245109789721719427529320561464439197810237021886727849843805"
],
"minimum": "[0.0155472996288219392578125389511119611583395467070666047726361616532372070857769994067495352965831263798171124102154969334824794826935239910 +/- 5.87e-140]",
"minimum_endpoints": [
"755235087095908798313673521380153777843243657349605849851398010589573577244449183950769790877376592992099134/48576608486777777097523955588365310657915972945258113625596126421810728481862238673847085620935820493756803177",
"373412368763035468106225527168059711172209366233825274362256943569785546364121283879952916793335698106660573/24017828026597949371158437651709658423522098122891405429484256281061903368080590410884945981746996471020021703"
],
"exterior_tail_exact": "0"
},
{
"N": 24,
"generator": "[0.040649677314881414303865593351054566153175041111205028811376301884446724841974578004361933849484401267786420659535057605907568475096228 +/- 8.39e-136]",
"generator_endpoints": [
"630509780556117523785590934122539414290167359567971805851363454159991027426347451669064516368315187509107357/15510818835585063857346968356109275400707586809704509330832930017229403297572811451356544033920009829284244208",
"641430558567940800791806274229674511977597392015322263982186464494108373242499684487848033092005450600524699/15779474793840980845554080624950375893773535373280445560092033678927270354186438101311822090676980857162477046"
],
"integral": "[0.040649677314881414303865593351054566153175041111205028811376301884446724841974578004361933849484401267786420659535057605907568475096228301947432453453 +/- 2.43e-151]",
"integral_endpoints": [
"660183986038644439151594313605995222900162926518069660140019546809103731612453388114059857130403294782388261/16240817385208568605509754356093686828778048710034586478823769969347716949843871407855481023337591877881464981",
"664819061402691864211034088474388770510574341771926759927511449447958724836654396391569656494803931050252951/16354842284548927533559579810836852682085976366158307017588761390485907920336632906959629447885363343224890905"
],
"minimum": "[0.015546914888414620237564752819031070434707738680760839657999722730429908937659834420496813131691046741906254960650582246273057174124046670 +/- 4.50e-139]",
"minimum_endpoints": [
"1314726023598825326946234354236343181568599375469688878269952106029980854290068070941167633377915902522154935/84565075002664601675469622404922027234527122421706168222153733239692679643296272215346431205302982973008000977",
"127814720899651047088539659541505349331156769324836189730326851467674412858040713925613663293642301063701574/8221227286379311648161075414782322822368783380890821861500014291504975986168740417681542905517164013140685533"
],
"exterior_tail_exact": "0"
},
{
"N": 25,
"generator": "[0.040596858365454199801304177308183498138355770691582329078048149625742439587229205101249830017441963896903599944914339573213373531831024 +/- 5.66e-136]",
"generator_endpoints": [
"559063758992319291411377722036223782320826666744317016384182342167565171765269170916407639424290287638320715/13771108935563675764965970165022306121754969824342513868140376415979684909572760818001299144051363637126663134",
"1033082053491364032222338381204615708888017652367077014741247136042789720396986171471904584357932759855806983/25447339894913217024209723814925169897543787094063177615699918079363508600030137934145819417058584710001376886"
],
"integral": "[0.040596858365454199801304177308183498138355770691582329078048149625742439587229205101249830017441963896903599944914339573213373531831024025922480359801 +/- 3.39e-151]",
"integral_endpoints": [
"289427847275134137380329615323920742323600698158029801361670116146219572105881839312441841562224899379064170/7129316378861032176759580091642184171367094980008148686663102700969923349643501193121340076876654506663543983",
"305890133473552510482100511203980569491850291762352203859747871437232552948440954857898003665080993054129783/7534822786529929936601793236652235557385763576755874662132259684061776052052191212652902377276697570798642861"
],
"minimum": "[0.015520009300714858529390889953932268536855084063876631091534812969904262985280260682605753930357605641575438673307312795020724089717428246 +/- 3.36e-139]",
"minimum_endpoints": [
"264333293599178045599236953557986469227270609937739810788122778201646077201183107318081534799939908129374568/17031774174710239159443406620168151107259415715872847125891527863707470921471026180530367090611795334747812693",
"458046288430121173152329307342099276610910717717787659395448371606845585554815786766015024118531563926735427/29513274093787002913466970670510406694745322815235439318738338237329544038523604912647935083461756190034850336"
],
"exterior_tail_exact": "0"
},
{
"N": 26,
"generator": "[0.040535816901086164543362479533801039688830937896993180366726353676760486151446232171639924569962523193269099688258497431120491541865642 +/- 7.77e-136]",
"generator_endpoints": [
"555576200117614239904036108552277084288024191011768377633392318558784827404998133604626197677498414934954388/13705809888408280114497462425768507138689411288442739537628586838726504534755460104543043299853403223831854423",
"543965942723649303358421605247249682598936120185263890994394644697668337855579157637041012254741819740900255/13419390166750867615196616428312267196888677434934074794306440588455722546409630019898190894976545447967039451"
],
"integral": "[0.040535816901086164543362479533801039688830937896993180366726353676760486151446232171639924569962523193269099688258497431120491541865641814249411100095 +/- 4.36e-151]",
"integral_endpoints": [
"268394239318322279999945548785972472324313981864157201650994696709190061025483042894872949073160730142906489/6621162710825512136838497493570469340361995750078986794205174174801358193733594353683995316990684538910292535",
"274169722671794262484191581611668616435022829984496090752419624559575881191531083528733782281206789492956489/6763641234634840557292599985183747678565743749245299264715606600579378286623099611088843357917825091504942364"
],
"minimum": "[0.01542340901249896645848246258431018197511603937785841986240131117629805528091168440548923394848793268298166018407414933374905013243087396 +/- 4.44e-138]",
"minimum_endpoints": [
"973481997204539164568260870856225948235851522675203406300176525475069558156404177897653789153270692871230149/63117174446689426326235876061085795445588188866556559549201465577078887900970898028408599184675816693058704526",
"516939181083772133254560731154606096270425095901468375923600332857150941696752392638483791185117317263885151/33516531958975484894076960598866979690279555891047342950335251326260908707681663121058337922803377592081641994"
],
"exterior_tail_exact": "0"
},
{
"N": 27,
"generator": "[0.03971052679293734112417654213190254035643033562255428280158797070315904062155698986819984483681845502727267179218690397247573197017329 +/- 3.22e-135]",
"generator_endpoints": [
"251425323693095045826598552196929647321641560260781438256855789192322689176875459425630458422910578947276683/6331452740581923902397744929601214043628799227213970701357834052752827031154483755306866571591011145507846497",
"515174636023626718409529163561819889007036824719419578709826312279407579752240110039565261191631619248444263/12973251115753326283006927308034119294287432495663571819396859765678218068341073068640581180090107199253904050"
],
"integral": "[0.039710526792937341124176542131902540356430335622554282801587970703159040621556989868199844836818455027272671792186903972475731970173292535759609861323 +/- 2.08e-151]",
"integral_endpoints": [
"820514742522857994643538110770683932783322644898179799520865071724974202240460597815334066503929606537795943/20662398834477045244528503339944299471880810079917199741497404391214572450158227335099251969362492797167070223",
"427554335153049919863832649191690374167091787776501486788096601251584437682860918196669613807716695768767261/10766775706160916099177773225283867123063525723963279168946433672440195042808122800611187856145245244916009428"
],
"minimum": "[0.01531396462752732040957648997393755498063833844681284028978367460259708895852092777144940981042325131034201050412257595522862655141461004 +/- 8.24e-138]",
"minimum_endpoints": [
"229607083163378502473936657314383154184181398380873175640553949816336483826203344556437471211074822014868195/14993314190542972702797698431024614434671974272718878927388203464523812776565772920326235691326414126651888562",
"478297117861578102878363522403035113847579667798617398615249810399475397026280444335861478735161208193051166/31232742760932357492082609821528331000157451135999916423346358876509759583570428634021117004563491167625443077"
],
"exterior_tail_exact": "0"
},
{
"N": 28,
"generator": "[0.03824744931341884803893626966848689110732032226590222377534757680117648294096832701462000795495574658711029200537892494767439876399569 +/- 1.23e-135]",
"generator_endpoints": [
"216774251860061491632039115905912894560482689997447379259561028656009362390973816703707834550910776135208379/5667678649201001048320555512470292050996369704977135356621821518548796313741220215529404214189283355266392959",
"387537309063396246820808061155021068692151132130271117450168105696068441298239295461514695084017537770747357/10132370027808142310378280167981143144909526888961381617059117852104427374642416831934392966308351141848426008"
],
"integral": "[0.038247449313418848038936269668486891107320322265902223775347576801176482940968327014620007954955746587110292005378924947674398763995689514641981386136 +/- 2.71e-151]",
"integral_endpoints": [
"457581171428407191709133435370084673968930246730681565516502536488810780931832207943928897044026955111774880/11963704237601749368472988906770537598175951847051882597232530280607630123206920182483540490989634142911091843",
"926013556167600013673206086196185222603133800760078642633184072075758129444803412810785662503405753045250177/24211119245609789818423342060299407095732208876349569144076278291476102967532197000683857445773621141565970873"
],
"minimum": "[0.0152145909752631600961622481055858553069044268647630660754258821874561962518612596925377155686199480000537866407521463966606237180412511 +/- 2.60e-137]",
"minimum_endpoints": [
"286577248632886609451317730271525637433628143031241393173969852287228423634175660733513623610689195829820863/18835685369315674861791463148552314574040475925111071241501649246092922185692604267348542137218025035094025375",
"464104682771611157158527920831068531386037074256375404638638214894469469121580415085717026220161130291125269/30503921106139610982667944591461844470809008168615120930670188242100820580192390125818521176434759872699373193"
],
"exterior_tail_exact": "0"
},
{
"N": 29,
"generator": "[0.03717898440196280343998817621815532890041253954030019837311863945155746744972933419247735158835338183856604939039177086745855167093697 +/- 4.43e-135]",
"generator_endpoints": [
"838024315579927561842226953034277416087328741821725685953505328399593879515979500421512228207519056390884409/22540269161727974581073491598861486032822526227330334111655673444547544574062376975577297987465423382357239572",
"856946179775316353960771457359392650255791520199936251865647333394492706222701939996373341388474837332535464/23049208943159708455030615251359519003927997568432881201834159375021562352492901206788995175508596531818508687"
],
"integral": "[0.037178984401962803439988176218155328900412539540300198373118639451557467449729334192477351588353381838566049390391770867458551670936973718635281440393 +/- 6.03e-151]",
"integral_endpoints": [
"229666681229284571727849047659182758032376132542035894045124092986104435410940780869768935766070138646365375/6177325306851568983837943992765980882239128186314696082191052207758728686555348724449941560130891951997727309",
"498997211158285326751959760047786160001477520322852290461245963341761265545357300145946710396014971150771774/13421485798626107394602849396283255013684292244439028239719615554618527334533323566569018947975534591711335983"
],
"minimum": "[0.014702947028168504263772780739137823957482134991931568468425383055045152340695332573058895497434313142113508205787724157225526003988282 +/- 2.82e-136]",
"minimum_endpoints": [
"188020971216562675899492545941484299388464607953330226367174263229361487376579150446057050990254277744743059/12787978549901897054484797980606901324464714310088494845494641543903125832935595789794656073845916699798727813",
"64995544909669499406146209359885490284763619647543438261345226413387206019761969630499442418912703975674571/4420579410722788392480444770059863641511105004944696695768599253322697381708033825076894430119471599416019497"
],
"exterior_tail_exact": "0"
},
{
"N": 30,
"generator": "[0.03671232407933205279776151113046798978237221968602425722789299779934563710742693021954403989242519835018796084545697246488760578641931 +/- 2.99e-135]",
"generator_endpoints": [
"155734659379938051887885887935308319922404955894290033229766515821607153503492697690920759539764919354777833/4242026711341111634726752534001002778598524017057471480885758066871567105018117271706833896159041894113436884",
"1242000705869390274314636016881390951632969083394539452532414190283043946337758701077250485949064393240637881/33830620561791122178088930497968995473530765929015226752523585942656864330785092286919145063332064413988341879"
],
"integral": "[0.036712324079332052797761511130467989782372219686024257227892997799345637107426930219544039892425198350187960845456972464887605786419312281541082923716 +/- 3.18e-151]",
"integral_endpoints": [
"188433797177625356028802117479181638795549758048825787249770369852222709747814434978125726350397895100678104/5132712294934985680865645558701932395695348436894818739510734676585642827108238211794197187251886923566977579",
"537196516824610424771883440481694783466577871751224416827558708969429251660029970485819909484621549525242045/14632593558059052324112135581484002852857413864180410008792708983336681989216469857332416871366292517138177469"
],
"minimum": "[0.014530110474137250869617184339833174838689081619885569868338598593787595616536727147636475536755860650629610595397150541842516030185863 +/- 7.63e-136]",
"minimum_endpoints": [
"260523817338849674011539725360052655663803733020944006256197809336384544904832832217749065004106343056175183/17929926809749098124078667203203292658380850839045241218855450482558715947715881806752798904884713608556536543",
"119187844296055583056929870798606822984092370104238473831565898582285653169333217772475432675473446098686759/8202817487740578015885113711725321114694646267927760072357824626853309419988946387738281438965416504169042471"
],
"exterior_tail_exact": "0"
}
],
"kernel_checkpoints": "kernel-checkpoints.jsonl"
}