back to table · edit · history · where entries came from · files · download
29552 bytes, as of the version from 2026-11-11 00:55 (current). Recorded here, not run.
{
"table": "T712",
"input_sha256": "95f0a777ee6c164480fda32aa83ca35b39629021f71a68de119c36021526134b",
"skill_manifest_sha256": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049",
"checked_entries": 58,
"total_entries": 58,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"controls": {
"empty_span": 1,
"N2": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 5.17e-192]",
"perturbation": "1e-6",
"nan_rejected": true,
"vacuous_ball_rejected": true
},
"method": "periodic digamma weight sums; independent interval LDL transpose solve",
"precision_bits": 640,
"minimum_pivot": "[0.0023676048124656279797106380038431467249774445832958908571149359032286348304387049207105804428021981521018767042580664143181759609410442849667162331054576725343617626975209046105 +/- 2.60e-179]",
"maximum_radius": "[1.18738798498560532360567951429289796631795324961210538328426355348384866802537295536125960414834023653633213805963011349265623552581108715916235259322556545495957062129543737922631114218675462798438e-172 +/- 1.59e-370]",
"minimum_accuracy_bits": 564,
"gram_pairs_checked": 0,
"target_checks": 29,
"optimizer_systems_checked": 0,
"comparisons": [
{
"params": {
"support": "all",
"N": 2
},
"number": "0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813125",
"check_ball": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 7.95e-192]",
"contained": true,
"accuracy_bits": 633
},
{
"params": {
"support": "all",
"N": 3
},
"number": "0.09574778392775402661430811934014709003105690882872867980703311526036140789233593746114189793271551331",
"check_ball": "[0.095747783927754026614308119340147090031056908828728679807033115260361407892335937461141897932715513312174260458203317670933410334571946831585185173758749868792768899341391201436213504895842 +/- 4.39e-190]",
"contained": true,
"accuracy_bits": 625
},
{
"params": {
"support": "all",
"N": 4
},
"number": "0.06595169421556965355895907941992572044740051585557043288111835234926688802362616573691878362148726504",
"check_ball": "[0.06595169421556965355895907941992572044740051585557043288111835234926688802362616573691878362148726504116559378032308176992245566530056974812603552470885488695836934762720578203314594047753 +/- 1.68e-189]",
"contained": true,
"accuracy_bits": 624
},
{
"params": {
"support": "all",
"N": 5
},
"number": "0.03631901793818696047422749135750981806394372955267061218407079962615681432293049088908527008490912539",
"check_ball": "[0.0363190179381869604742274913575098180639437295526706121840707996261568143229304908890852700849091253896056805660920917877132572142356284099737429473908259337023515745463702721225175823175 +/- 2.97e-188]",
"contained": true,
"accuracy_bits": 620
},
{
"params": {
"support": "all",
"N": 6
},
"number": "0.03620803463690562840174885320818928103914413705003535930779895059951197730732720218861993677195206903",
"check_ball": "[0.0362080346369056284017488532081892810391441370500353593077989505995119773073272021886199367719520690270343539578343063039032216275635965764375181546447340934195240871810714320792811060416 +/- 5.90e-188]",
"contained": true,
"accuracy_bits": 618
},
{
"params": {
"support": "all",
"N": 7
},
"number": "0.02438836788524400644614166028424866093103525218641079048043746363740762554399495878568648673964785233",
"check_ball": "[0.024388367885244006446141660284248660931035252186410790480437463637407625543994958785686486739647852328609095448232766994053118850056059713469525572086421005057355907309911337025771450127 +/- 1.53e-187]",
"contained": true,
"accuracy_bits": 615
},
{
"params": {
"support": "all",
"N": 8
},
"number": "0.02424452530652267314820583316791120499527793638105566151166887360811219580865051249555713867305065644",
"check_ball": "[0.024244525306522673148205833167911204995277936381055661511668873608112195808650512495557138673050656440158853853895593185296334582516496073368939825281881243525136107903192650072974360876 +/- 3.45e-187]",
"contained": true,
"accuracy_bits": 613
},
{
"params": {
"support": "all",
"N": 9
},
"number": "0.02409507881871232158751270198814401751721271674854830751076173393305719875909960687982801451766320244",
"check_ball": "[0.02409507881871232158751270198814401751721271674854830751076173393305719875909960687982801451766320243646309204481469041353149859722877400483492218705153503118833992959636179287677493961 +/- 3.10e-186]",
"contained": true,
"accuracy_bits": 612
},
{
"params": {
"support": "all",
"N": 10
},
"number": "0.02385255331888299941570681207054595762106380229850926467134133807201769589645260894991706399603257723",
"check_ball": "[0.02385255331888299941570681207054595762106380229850926467134133807201769589645260894991706399603257723077083851661908578096338009670511727264399411537584798240307838833745217468679531906 +/- 4.19e-186]",
"contained": true,
"accuracy_bits": 610
},
{
"params": {
"support": "all",
"N": 11
},
"number": "0.02049960134702381595154389416926353863968330816261533859517952536281201045952954895766344109993922001",
"check_ball": "[0.0204996013470238159515438941692635386396833081626153385951795253628120104595295489576634410999392200062880660761029016828815766177708663923597046416191773451269713026993348202276931818 +/- 3.45e-185]",
"contained": true,
"accuracy_bits": 607
},
{
"params": {
"support": "all",
"N": 12
},
"number": "0.02049814733289416643842476316631318167934403466784663608310066449723905505661095199345693066048531353",
"check_ball": "[0.0204981473328941664384247631663131816793440346678466360831006644972390550566109519934569306604853135253499218222194685852706826244613110865993915222965671754192940282585526727136195332 +/- 7.72e-185]",
"contained": true,
"accuracy_bits": 606
},
{
"params": {
"support": "all",
"N": 13
},
"number": "0.01987424304169146636827677955326208038483065180699386110004272915878576079473304409147449822259776354",
"check_ball": "[0.019874243041691466368276779553262080384830651806993861100042729158785760794733044091474498222597763539436429646995376010454723984490106156913509579867451702196791119748529252388539644 +/- 4.47e-184]",
"contained": true,
"accuracy_bits": 604
},
{
"params": {
"support": "all",
"N": 14
},
"number": "0.01853181414232141132748004914517563752667099301475807475985200204955120981175572691752761933268245006",
"check_ball": "[0.01853181414232141132748004914517563752667099301475807475985200204955120981175572691752761933268245006291191963165415076248322672578677956700842896311898147790495255362960587811612752 +/- 1.32e-183]",
"contained": true,
"accuracy_bits": 601
},
{
"params": {
"support": "all",
"N": 15
},
"number": "0.01838021483747243407818428660017724756493074806279340786811544280889637667095144146822947851624352481",
"check_ball": "[0.01838021483747243407818428660017724756493074806279340786811544280889637667095144146822947851624352480937882849394988042045954593682713432482691504090092100129883426963362217325698459 +/- 8.39e-183]",
"contained": true,
"accuracy_bits": 599
},
{
"params": {
"support": "all",
"N": 16
},
"number": "0.01793626702020254986000384985802453220367561602390076750497931192751049636347641745156835869982546016",
"check_ball": "[0.0179362670202025498600038498580245322036756160239007675049793119275104963634764174515683586998254601626834791841896451803481257026955046010583213830853152260513160979590271898462968 +/- 6.60e-182]",
"contained": true,
"accuracy_bits": 597
},
{
"params": {
"support": "all",
"N": 17
},
"number": "0.01710664639217534619616287211655356000124262535050719375490947637256147526978556166915701681375653261",
"check_ball": "[0.017106646392175346196162872116553560001242625350507193754909476372561475269785561669157016813756532610122970530198609717462471120856238061403986651703772832797469158271448637621161 +/- 3.10e-181]",
"contained": true,
"accuracy_bits": 595
},
{
"params": {
"support": "all",
"N": 18
},
"number": "0.01709653511225306649856568607185100827947374009316938005449304132259407390860261326437381536920657643",
"check_ball": "[0.017096535112253066498565686071851008279473740093169380054493041322594073908602613264373815369206576428521061346935129988519612378859835605461357086619215774368642596751585548945710 +/- 4.55e-181]",
"contained": true,
"accuracy_bits": 593
},
{
"params": {
"support": "all",
"N": 19
},
"number": "0.01685306515200006668873206676017269381718717074471140482571095159812119476990844173857000102190555848",
"check_ball": "[0.01685306515200006668873206676017269381718717074471140482571095159812119476990844173857000102190555848075539654482816361046568248503865533962303078400843394112695294756441444978752 +/- 6.50e-180]",
"contained": true,
"accuracy_bits": 591
},
{
"params": {
"support": "all",
"N": 20
},
"number": "0.01653825210939251560905834489428395619512617903962245418499450148939009557493640939055823579745774710",
"check_ball": "[0.0165382521093925156090583448942839561951261790396224541849945014893900955749364093905582357974577470979180081736324316861133737300631719035486919860392247281627389191412389091780 +/- 5.12e-179]",
"contained": true,
"accuracy_bits": 588
},
{
"params": {
"support": "all",
"N": 21
},
"number": "0.01612418792278515852854417503616027932910458645421428332622845593774861190033158076217079252212833756",
"check_ball": "[0.0161241879227851585285441750361602793291045864542142833262284559377486119003315807621707925221283375587608755395032926158468567870797987062301005098856441299156912897849034828545 +/- 6.23e-179]",
"contained": true,
"accuracy_bits": 586
},
{
"params": {
"support": "all",
"N": 22
},
"number": "0.01609082660923739795124163494223065991387058371202483893158781083123430433105158788854286614726477774",
"check_ball": "[0.016090826609237397951241634942230659913870583712024838931587810831234304331051587888542866147264777744439283543289611601620591643796775207047008543330837409843462387414972455614 +/- 2.47e-178]",
"contained": true,
"accuracy_bits": 584
},
{
"params": {
"support": "all",
"N": 23
},
"number": "0.01557815678134527971380675137330227919813314181910345990114158399669306146351535532689251195097285422",
"check_ball": "[0.01557815678134527971380675137330227919813314181910345990114158399669306146351535532689251195097285421600846863744724928070485309920384902162395676869284574870311755449281607942 +/- 5.55e-177]",
"contained": true,
"accuracy_bits": 580
},
{
"params": {
"support": "all",
"N": 24
},
"number": "0.01557777799236068930336597454409388807315031634867325887640361329008598279918722886686044781989134212",
"check_ball": "[0.01557777799236068930336597454409388807315031634867325887640361329008598279918722886686044781989134211611874492925860704743953922435849582344287297256421828246419894542461944151 +/- 7.18e-177]",
"contained": true,
"accuracy_bits": 579
},
{
"params": {
"support": "all",
"N": 25
},
"number": "0.01555084225299854252547620834171309073709258018148454538355672154501529186652554849528059891305530828",
"check_ball": "[0.0155508422529985425254762083417130907370925801814845453835567215450152918665255484952805989130553082834045546080266184229977627205082202202321069173673460590268795117274532390 +/- 2.33e-176]",
"contained": true,
"accuracy_bits": 577
},
{
"params": {
"support": "all",
"N": 26
},
"number": "0.01545398359559796478914739569844286128588003424359721891530179580839777485503181019784920702670191706",
"check_ball": "[0.015453983595597964789147395698442861285880034243597218915301795808397774855031810197849207026701917058930632582307880332357705282198610346061978306358294193409651452252932340 +/- 1.47e-175]",
"contained": true,
"accuracy_bits": 574
},
{
"params": {
"support": "all",
"N": 27
},
"number": "0.01534401650811366695087734534366622888603339372060205234072381056078274303340074086220996787620210935",
"check_ball": "[0.015344016508113666950877345343666228886033393720602052340723810560782743033400740862209967876202109350623148978168741570529399727846684520658971148362238804024448262837501320 +/- 7.01e-175]",
"contained": true,
"accuracy_bits": 571
},
{
"params": {
"support": "all",
"N": 28
},
"number": "0.01524421267434023855766758364403549473874337230544186933556101301552376657391787912798373055036800708",
"check_ball": "[0.01524421267434023855766758364403549473874337230544186933556101301552376657391787912798373055036800707719749221610495715879690588875279615880068046455889726287161466955267303 +/- 7.60e-174]",
"contained": true,
"accuracy_bits": 569
},
{
"params": {
"support": "all",
"N": 29
},
"number": "0.01473027365781969595962710004576530143721970773910463012784376381338254041404402063766006801780834896",
"check_ball": "[0.0147302736578196959596271000457653014372197077391046301278437638133825404140440206376600680178083489606092309372747582811757857246685961353998191817895471381863291795976132 +/- 6.47e-173]",
"contained": true,
"accuracy_bits": 566
},
{
"params": {
"support": "all",
"N": 30
},
"number": "0.01455673357699699235093427994055474259423083111169116665925499587990921828459497396059067527146661573",
"check_ball": "[0.014556733576996992350934279940554742594230831111691166659254995879909218284594973960590675271466615729557667205571843607721308289516656064384832208077180360379818240208231 +/- 4.84e-172]",
"contained": true,
"accuracy_bits": 564
},
{
"params": {
"support": "squarefree",
"N": 2
},
"number": "0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813125",
"check_ball": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 7.95e-192]",
"contained": true,
"accuracy_bits": 633
},
{
"params": {
"support": "squarefree",
"N": 3
},
"number": "0.09574778392775402661430811934014709003105690882872867980703311526036140789233593746114189793271551331",
"check_ball": "[0.095747783927754026614308119340147090031056908828728679807033115260361407892335937461141897932715513312174260458203317670933410334571946831585185173758749868792768899341391201436213504895842 +/- 4.39e-190]",
"contained": true,
"accuracy_bits": 625
},
{
"params": {
"support": "squarefree",
"N": 4
},
"number": "0.09574778392775402661430811934014709003105690882872867980703311526036140789233593746114189793271551331",
"check_ball": "[0.095747783927754026614308119340147090031056908828728679807033115260361407892335937461141897932715513312174260458203317670933410334571946831585185173758749868792768899341391201436213504895842 +/- 4.39e-190]",
"contained": true,
"accuracy_bits": 625
},
{
"params": {
"support": "squarefree",
"N": 5
},
"number": "0.04023860691261084430413126483613629660459901946102065677586293722298398516176520809116366025663749556",
"check_ball": "[0.04023860691261084430413126483613629660459901946102065677586293722298398516176520809116366025663749555869779134626175813755684857359245557032087901703566874987072900645763661716900481752974 +/- 4.84e-189]",
"contained": true,
"accuracy_bits": 622
},
{
"params": {
"support": "squarefree",
"N": 6
},
"number": "0.04023010207850747381126163007239142157006345325128317126975075765895109397508506353087588392160018127",
"check_ball": "[0.0402301020785074738112616300723914215700634532512831712697507576589510939750850635308758839216001812725427232382862909384541990899754677122125881437228344120203278117233152179729562849217 +/- 3.20e-188]",
"contained": true,
"accuracy_bits": 620
},
{
"params": {
"support": "squarefree",
"N": 7
},
"number": "0.02598729498244347990815597547919449413482195647409494218267843768499229446160812892543068265878891555",
"check_ball": "[0.0259872949824434799081559754791944941348219564740949421826784376849922944616081289254306826587889155497006745191702975509615792957070406134525899643628809993116414128579696506318328806791 +/- 8.08e-188]",
"contained": true,
"accuracy_bits": 616
},
{
"params": {
"support": "squarefree",
"N": 8
},
"number": "0.02598729498244347990815597547919449413482195647409494218267843768499229446160812892543068265878891555",
"check_ball": "[0.0259872949824434799081559754791944941348219564740949421826784376849922944616081289254306826587889155497006745191702975509615792957070406134525899643628809993116414128579696506318328806791 +/- 8.08e-188]",
"contained": true,
"accuracy_bits": 616
},
{
"params": {
"support": "squarefree",
"N": 9
},
"number": "0.02598729498244347990815597547919449413482195647409494218267843768499229446160812892543068265878891555",
"check_ball": "[0.0259872949824434799081559754791944941348219564740949421826784376849922944616081289254306826587889155497006745191702975509615792957070406134525899643628809993116414128579696506318328806791 +/- 8.08e-188]",
"contained": true,
"accuracy_bits": 616
},
{
"params": {
"support": "squarefree",
"N": 10
},
"number": "0.02598657565060827337596741208366672155511948548531169870617862976235627006801768160918716753969778280",
"check_ball": "[0.0259865756506082733759674120836667215551194854853116987061786297623562700680176816091871675396977828003588014209999736464369189573387624266268146142672329376685208434131975585254458199726 +/- 8.33e-188]",
"contained": true,
"accuracy_bits": 615
},
{
"params": {
"support": "squarefree",
"N": 11
},
"number": "0.02181608324865721758254853521986979973332388239995874569227222161903901486378449088945101606173084506",
"check_ball": "[0.021816083248657217582548535219869799733323882399958745692272221619039014863784490889451016061730845055635381845254174490855901093437412165160085874197195513187051173866928987597243778899 +/- 6.64e-187]",
"contained": true,
"accuracy_bits": 612
},
{
"params": {
"support": "squarefree",
"N": 12
},
"number": "0.02181608324865721758254853521986979973332388239995874569227222161903901486378449088945101606173084506",
"check_ball": "[0.021816083248657217582548535219869799733323882399958745692272221619039014863784490889451016061730845055635381845254174490855901093437412165160085874197195513187051173866928987597243778899 +/- 6.64e-187]",
"contained": true,
"accuracy_bits": 612
},
{
"params": {
"support": "squarefree",
"N": 13
},
"number": "0.02118662102133146909568080191838384848437412995737192033843458375343795690700013016012393838952262954",
"check_ball": "[0.02118662102133146909568080191838384848437412995737192033843458375343795690700013016012393838952262953541815930584357412810073863549237085139114715761269445144738896887656598266327581541 +/- 3.23e-186]",
"contained": true,
"accuracy_bits": 611
},
{
"params": {
"support": "squarefree",
"N": 14
},
"number": "0.01961548384684870706296155472965664948524707603931513937575177184777482184295935123184854375064226615",
"check_ball": "[0.0196154838468487070629615547296566494852470760393151393757517718477748218429593512318485437506422661479694157226282669061876185478086502527154361821821898554073652222412790402245607285 +/- 3.62e-185]",
"contained": true,
"accuracy_bits": 608
},
{
"params": {
"support": "squarefree",
"N": 15
},
"number": "0.01948812450099691479241331494536997661173598986180682145638267837948686751752802436430412396519011411",
"check_ball": "[0.0194881245009969147924133149453699766117359898618068214563826783794868675175280243643041239651901141112684238249624787354245222323433050287087854486456021104621759848256456040416272387 +/- 7.95e-185]",
"contained": true,
"accuracy_bits": 606
},
{
"params": {
"support": "squarefree",
"N": 16
},
"number": "0.01948812450099691479241331494536997661173598986180682145638267837948686751752802436430412396519011411",
"check_ball": "[0.0194881245009969147924133149453699766117359898618068214563826783794868675175280243643041239651901141112684238249624787354245222323433050287087854486456021104621759848256456040416272387 +/- 7.95e-185]",
"contained": true,
"accuracy_bits": 606
},
{
"params": {
"support": "squarefree",
"N": 17
},
"number": "0.01786864927717206169024482124945678688282928343467915174686007156717092427016071352010247729780725669",
"check_ball": "[0.017868649277172061690244821249456786882829283434679151746860071567170924270160713520102477297807256687847523947130908521892961836303469102049513927861372416191497809056323968937973706 +/- 5.70e-184]",
"contained": true,
"accuracy_bits": 604
},
{
"params": {
"support": "squarefree",
"N": 18
},
"number": "0.01786864927717206169024482124945678688282928343467915174686007156717092427016071352010247729780725669",
"check_ball": "[0.017868649277172061690244821249456786882829283434679151746860071567170924270160713520102477297807256687847523947130908521892961836303469102049513927861372416191497809056323968937973706 +/- 5.70e-184]",
"contained": true,
"accuracy_bits": 604
},
{
"params": {
"support": "squarefree",
"N": 19
},
"number": "0.01763281863409592926868862665115709047791892692075400169937948697483331628605404089918803020858257920",
"check_ball": "[0.017632818634095929268688626651157090477918926920754001699379486974833316286054040899188030208582579200696465394369510500021177449667622880856198045584116809240262528224969740924084011 +/- 7.51e-184]",
"contained": true,
"accuracy_bits": 603
},
{
"params": {
"support": "squarefree",
"N": 20
},
"number": "0.01763281863409592926868862665115709047791892692075400169937948697483331628605404089918803020858257920",
"check_ball": "[0.017632818634095929268688626651157090477918926920754001699379486974833316286054040899188030208582579200696465394369510500021177449667622880856198045584116809240262528224969740924084011 +/- 7.51e-184]",
"contained": true,
"accuracy_bits": 603
},
{
"params": {
"support": "squarefree",
"N": 21
},
"number": "0.01677136294678169820215527235412457660920815637666148215054778511045234363688624005803143379114504305",
"check_ball": "[0.01677136294678169820215527235412457660920815637666148215054778511045234363688624005803143379114504305333245797770702744622283522072337286801106700596560527167060669105675065073020264 +/- 5.01e-183]",
"contained": true,
"accuracy_bits": 601
},
{
"params": {
"support": "squarefree",
"N": 22
},
"number": "0.01673017237527825563339356150349294963467571531518098642023085423619372904556644448468921717689767422",
"check_ball": "[0.0167301723752782556333935615034929496346757153151809864202308542361937290455664444846892171768976742219749529996217676421967017996612359940962803918947320712074154798792249184211650 +/- 5.31e-182]",
"contained": true,
"accuracy_bits": 599
},
{
"params": {
"support": "squarefree",
"N": 23
},
"number": "0.01622460857943068170545718211350604270959307800282535777729732249896536600197858528555186354519112205",
"check_ball": "[0.0162246085794306817054571821135060427095930780028253577772973224989653660019785852855518635451911220495713778750933835917860041438102108577038332033499726938067375302192328852526721 +/- 9.49e-182]",
"contained": true,
"accuracy_bits": 596
},
{
"params": {
"support": "squarefree",
"N": 24
},
"number": "0.01622460857943068170545718211350604270959307800282535777729732249896536600197858528555186354519112205",
"check_ball": "[0.0162246085794306817054571821135060427095930780028253577772973224989653660019785852855518635451911220495713778750933835917860041438102108577038332033499726938067375302192328852526721 +/- 9.49e-182]",
"contained": true,
"accuracy_bits": 596
},
{
"params": {
"support": "squarefree",
"N": 25
},
"number": "0.01622460857943068170545718211350604270959307800282535777729732249896536600197858528555186354519112205",
"check_ball": "[0.0162246085794306817054571821135060427095930780028253577772973224989653660019785852855518635451911220495713778750933835917860041438102108577038332033499726938067375302192328852526721 +/- 9.49e-182]",
"contained": true,
"accuracy_bits": 596
},
{
"params": {
"support": "squarefree",
"N": 26
},
"number": "0.01613423866696323752462863081355252917876955723168974041181973177168502744967632150714275244977739744",
"check_ball": "[0.016134238666963237524628630813552529178769557231689740411819731771685027449676321507142752449777397444053867996752950812150414758595516303058200257886465456187297381607086657852037 +/- 4.02e-181]",
"contained": true,
"accuracy_bits": 595
},
{
"params": {
"support": "squarefree",
"N": 27
},
"number": "0.01613423866696323752462863081355252917876955723168974041181973177168502744967632150714275244977739744",
"check_ball": "[0.016134238666963237524628630813552529178769557231689740411819731771685027449676321507142752449777397444053867996752950812150414758595516303058200257886465456187297381607086657852037 +/- 4.02e-181]",
"contained": true,
"accuracy_bits": 595
},
{
"params": {
"support": "squarefree",
"N": 28
},
"number": "0.01613423866696323752462863081355252917876955723168974041181973177168502744967632150714275244977739744",
"check_ball": "[0.016134238666963237524628630813552529178769557231689740411819731771685027449676321507142752449777397444053867996752950812150414758595516303058200257886465456187297381607086657852037 +/- 4.02e-181]",
"contained": true,
"accuracy_bits": 595
},
{
"params": {
"support": "squarefree",
"N": 29
},
"number": "0.01536728566276687681633642867792050753268694532084703238193252490008869063389192042374327349216120140",
"check_ball": "[0.015367285662766876816336428677920507532686945320847032381932524900088690633891920423743273492161201400730341008962885668477820701301984890386621402769433467691053340245484804746303 +/- 4.25e-181]",
"contained": true,
"accuracy_bits": 592
},
{
"params": {
"support": "squarefree",
"N": 30
},
"number": "0.01524296932847705467288662317039599562680055926934389609951917254048436896880488188243508887985611252",
"check_ball": "[0.01524296932847705467288662317039599562680055926934389609951917254048436896880488188243508887985611251798543373793932905168019159934180627538733270106918456095070834182708258902020 +/- 6.85e-180]",
"contained": true,
"accuracy_bits": 589
}
],
"elapsed_seconds": 0.1819790239969734
}