{
  "table": "T712",
  "input_sha256": "2280dd55bf1093298353859b0522cf34fcd428d567938ecd88f1ec6850fc98eb",
  "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.00236760481246562797971063800384314672497744458329589085711493590322863483043870492071058044280219815210187670425806641431817596094104428496671623310545767253436176269752090461051 +/- 9.15e-180]",
  "maximum_radius": "[5.50753336639798862550772692728931362877039540673148612689851717301315436591697311318665164467406685331049162776423555386100319415983856788524775176461906117480731615576009175787565505581076285940342e-173 +/- 1.26e-371]",
  "minimum_accuracy_bits": 565,
  "gram_pairs_checked": 435,
  "target_checks": 29,
  "optimizer_systems_checked": 45,
  "comparisons": [
    {
      "params": {
        "support": "all",
        "N": 2
      },
      "number": "0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813125",
      "check_ball": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 5.02e-192]",
      "contained": true,
      "accuracy_bits": 635
    },
    {
      "params": {
        "support": "all",
        "N": 3
      },
      "number": "0.09574778392775402661430811934014709003105690882872867980703311526036140789233593746114189793271551331",
      "check_ball": "[0.095747783927754026614308119340147090031056908828728679807033115260361407892335937461141897932715513312174260458203317670933410334571946831585185173758749868792768899341391201436213504895842 +/- 3.09e-190]",
      "contained": true,
      "accuracy_bits": 626
    },
    {
      "params": {
        "support": "all",
        "N": 4
      },
      "number": "0.06595169421556965355895907941992572044740051585557043288111835234926688802362616573691878362148726504",
      "check_ball": "[0.065951694215569653558959079419925720447400515855570432881118352349266888023626165736918783621487265041165593780323081769922455665300569748126035524708854886958369347627205782033145940477531 +/- 6.39e-190]",
      "contained": true,
      "accuracy_bits": 625
    },
    {
      "params": {
        "support": "all",
        "N": 5
      },
      "number": "0.03631901793818696047422749135750981806394372955267061218407079962615681432293049088908527008490912539",
      "check_ball": "[0.03631901793818696047422749135750981806394372955267061218407079962615681432293049088908527008490912538960568056609209178771325721423562840997374294739082593370235157454637027212251758231752 +/- 6.82e-189]",
      "contained": true,
      "accuracy_bits": 621
    },
    {
      "params": {
        "support": "all",
        "N": 6
      },
      "number": "0.03620803463690562840174885320818928103914413705003535930779895059951197730732720218861993677195206903",
      "check_ball": "[0.0362080346369056284017488532081892810391441370500353593077989505995119773073272021886199367719520690270343539578343063039032216275635965764375181546447340934195240871810714320792811060416 +/- 5.02e-188]",
      "contained": true,
      "accuracy_bits": 619
    },
    {
      "params": {
        "support": "all",
        "N": 7
      },
      "number": "0.02438836788524400644614166028424866093103525218641079048043746363740762554399495878568648673964785233",
      "check_ball": "[0.0243883678852440064461416602842486609310352521864107904804374636374076255439949587856864867396478523286090954482327669940531188500560597134695255720864210050573559073099113370257714501269 +/- 7.21e-188]",
      "contained": true,
      "accuracy_bits": 616
    },
    {
      "params": {
        "support": "all",
        "N": 8
      },
      "number": "0.02424452530652267314820583316791120499527793638105566151166887360811219580865051249555713867305065644",
      "check_ball": "[0.024244525306522673148205833167911204995277936381055661511668873608112195808650512495557138673050656440158853853895593185296334582516496073368939825281881243525136107903192650072974360876 +/- 2.29e-187]",
      "contained": true,
      "accuracy_bits": 615
    },
    {
      "params": {
        "support": "all",
        "N": 9
      },
      "number": "0.02409507881871232158751270198814401751721271674854830751076173393305719875909960687982801451766320244",
      "check_ball": "[0.024095078818712321587512701988144017517212716748548307510761733933057198759099606879828014517663202436463092044814690413531498597228774004834922187051535031188339929596361792876774939612 +/- 7.33e-187]",
      "contained": true,
      "accuracy_bits": 613
    },
    {
      "params": {
        "support": "all",
        "N": 10
      },
      "number": "0.02385255331888299941570681207054595762106380229850926467134133807201769589645260894991706399603257723",
      "check_ball": "[0.02385255331888299941570681207054595762106380229850926467134133807201769589645260894991706399603257723077083851661908578096338009670511727264399411537584798240307838833745217468679531906 +/- 2.93e-186]",
      "contained": true,
      "accuracy_bits": 611
    },
    {
      "params": {
        "support": "all",
        "N": 11
      },
      "number": "0.02049960134702381595154389416926353863968330816261533859517952536281201045952954895766344109993922001",
      "check_ball": "[0.02049960134702381595154389416926353863968330816261533859517952536281201045952954895766344109993922000628806607610290168288157661777086639235970464161917734512697130269933482022769318178 +/- 9.33e-186]",
      "contained": true,
      "accuracy_bits": 608
    },
    {
      "params": {
        "support": "all",
        "N": 12
      },
      "number": "0.02049814733289416643842476316631318167934403466784663608310066449723905505661095199345693066048531353",
      "check_ball": "[0.0204981473328941664384247631663131816793440346678466360831006644972390550566109519934569306604853135253499218222194685852706826244613110865993915222965671754192940282585526727136195332 +/- 5.48e-185]",
      "contained": true,
      "accuracy_bits": 607
    },
    {
      "params": {
        "support": "all",
        "N": 13
      },
      "number": "0.01987424304169146636827677955326208038483065180699386110004272915878576079473304409147449822259776354",
      "check_ball": "[0.019874243041691466368276779553262080384830651806993861100042729158785760794733044091474498222597763539436429646995376010454723984490106156913509579867451702196791119748529252388539644 +/- 3.41e-184]",
      "contained": true,
      "accuracy_bits": 605
    },
    {
      "params": {
        "support": "all",
        "N": 14
      },
      "number": "0.01853181414232141132748004914517563752667099301475807475985200204955120981175572691752761933268245006",
      "check_ball": "[0.018531814142321411327480049145175637526670993014758074759852002049551209811755726917527619332682450062911919631654150762483226725786779567008428963118981477904952553629605878116127520 +/- 6.89e-184]",
      "contained": true,
      "accuracy_bits": 602
    },
    {
      "params": {
        "support": "all",
        "N": 15
      },
      "number": "0.01838021483747243407818428660017724756493074806279340786811544280889637667095144146822947851624352481",
      "check_ball": "[0.01838021483747243407818428660017724756493074806279340786811544280889637667095144146822947851624352480937882849394988042045954593682713432482691504090092100129883426963362217325698459 +/- 6.24e-183]",
      "contained": true,
      "accuracy_bits": 601
    },
    {
      "params": {
        "support": "all",
        "N": 16
      },
      "number": "0.01793626702020254986000384985802453220367561602390076750497931192751049636347641745156835869982546016",
      "check_ball": "[0.0179362670202025498600038498580245322036756160239007675049793119275104963634764174515683586998254601626834791841896451803481257026955046010583213830853152260513160979590271898462968 +/- 5.56e-182]",
      "contained": true,
      "accuracy_bits": 598
    },
    {
      "params": {
        "support": "all",
        "N": 17
      },
      "number": "0.01710664639217534619616287211655356000124262535050719375490947637256147526978556166915701681375653261",
      "check_ball": "[0.0171066463921753461961628721165535600012426253505071937549094763725614752697855616691570168137565326101229705301986097174624711208562380614039866517037728327974691582714486376211608 +/- 5.40e-182]",
      "contained": true,
      "accuracy_bits": 596
    },
    {
      "params": {
        "support": "all",
        "N": 18
      },
      "number": "0.01709653511225306649856568607185100827947374009316938005449304132259407390860261326437381536920657643",
      "check_ball": "[0.017096535112253066498565686071851008279473740093169380054493041322594073908602613264373815369206576428521061346935129988519612378859835605461357086619215774368642596751585548945710 +/- 2.88e-181]",
      "contained": true,
      "accuracy_bits": 594
    },
    {
      "params": {
        "support": "all",
        "N": 19
      },
      "number": "0.01685306515200006668873206676017269381718717074471140482571095159812119476990844173857000102190555848",
      "check_ball": "[0.016853065152000066688732066760172693817187170744711404825710951598121194769908441738570001021905558480755396544828163610465682485038655339623030784008433941126952947564414449787515 +/- 7.91e-181]",
      "contained": true,
      "accuracy_bits": 592
    },
    {
      "params": {
        "support": "all",
        "N": 20
      },
      "number": "0.01653825210939251560905834489428395619512617903962245418499450148939009557493640939055823579745774710",
      "check_ball": "[0.01653825210939251560905834489428395619512617903962245418499450148939009557493640939055823579745774709791800817363243168611337373006317190354869198603922472816273891914123890917796 +/- 6.54e-180]",
      "contained": true,
      "accuracy_bits": 589
    },
    {
      "params": {
        "support": "all",
        "N": 21
      },
      "number": "0.01612418792278515852854417503616027932910458645421428332622845593774861190033158076217079252212833756",
      "check_ball": "[0.0161241879227851585285441750361602793291045864542142833262284559377486119003315807621707925221283375587608755395032926158468567870797987062301005098856441299156912897849034828545 +/- 3.68e-179]",
      "contained": true,
      "accuracy_bits": 587
    },
    {
      "params": {
        "support": "all",
        "N": 22
      },
      "number": "0.01609082660923739795124163494223065991387058371202483893158781083123430433105158788854286614726477774",
      "check_ball": "[0.016090826609237397951241634942230659913870583712024838931587810831234304331051587888542866147264777744439283543289611601620591643796775207047008543330837409843462387414972455614 +/- 1.57e-178]",
      "contained": true,
      "accuracy_bits": 585
    },
    {
      "params": {
        "support": "all",
        "N": 23
      },
      "number": "0.01557815678134527971380675137330227919813314181910345990114158399669306146351535532689251195097285422",
      "check_ball": "[0.015578156781345279713806751373302279198133141819103459901141583996693061463515355326892511950972854216008468637447249280704853099203849021623956768692845748703117554492816079424 +/- 8.92e-178]",
      "contained": true,
      "accuracy_bits": 581
    },
    {
      "params": {
        "support": "all",
        "N": 24
      },
      "number": "0.01557777799236068930336597454409388807315031634867325887640361329008598279918722886686044781989134212",
      "check_ball": "[0.01557777799236068930336597454409388807315031634867325887640361329008598279918722886686044781989134211611874492925860704743953922435849582344287297256421828246419894542461944151 +/- 5.35e-177]",
      "contained": true,
      "accuracy_bits": 580
    },
    {
      "params": {
        "support": "all",
        "N": 25
      },
      "number": "0.01555084225299854252547620834171309073709258018148454538355672154501529186652554849528059891305530828",
      "check_ball": "[0.01555084225299854252547620834171309073709258018148454538355672154501529186652554849528059891305530828340455460802661842299776272050822022023210691736734605902687951172745323901 +/- 6.54e-177]",
      "contained": true,
      "accuracy_bits": 578
    },
    {
      "params": {
        "support": "all",
        "N": 26
      },
      "number": "0.01545398359559796478914739569844286128588003424359721891530179580839777485503181019784920702670191706",
      "check_ball": "[0.0154539835955979647891473956984428612858800342435972189153017958083977748550318101978492070267019170589306325823078803323577052821986103460619783063582941934096514522529323399 +/- 7.67e-176]",
      "contained": true,
      "accuracy_bits": 575
    },
    {
      "params": {
        "support": "all",
        "N": 27
      },
      "number": "0.01534401650811366695087734534366622888603339372060205234072381056078274303340074086220996787620210935",
      "check_ball": "[0.015344016508113666950877345343666228886033393720602052340723810560782743033400740862209967876202109350623148978168741570529399727846684520658971148362238804024448262837501320 +/- 4.28e-175]",
      "contained": true,
      "accuracy_bits": 573
    },
    {
      "params": {
        "support": "all",
        "N": 28
      },
      "number": "0.01524421267434023855766758364403549473874337230544186933556101301552376657391787912798373055036800708",
      "check_ball": "[0.01524421267434023855766758364403549473874337230544186933556101301552376657391787912798373055036800707719749221610495715879690588875279615880068046455889726287161466955267303 +/- 6.10e-174]",
      "contained": true,
      "accuracy_bits": 570
    },
    {
      "params": {
        "support": "all",
        "N": 29
      },
      "number": "0.01473027365781969595962710004576530143721970773910463012784376381338254041404402063766006801780834896",
      "check_ball": "[0.0147302736578196959596271000457653014372197077391046301278437638133825404140440206376600680178083489606092309372747582811757857246685961353998191817895471381863291795976132 +/- 5.19e-173]",
      "contained": true,
      "accuracy_bits": 567
    },
    {
      "params": {
        "support": "all",
        "N": 30
      },
      "number": "0.01455673357699699235093427994055474259423083111169116665925499587990921828459497396059067527146661573",
      "check_ball": "[0.0145567335769969923509342799405547425942308311116911666592549958799092182845949739605906752714666157295576672055718436077213082895166560643848322080771803603798182402082306 +/- 9.05e-173]",
      "contained": true,
      "accuracy_bits": 565
    },
    {
      "params": {
        "support": "squarefree",
        "N": 2
      },
      "number": "0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813125",
      "check_ball": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 5.02e-192]",
      "contained": true,
      "accuracy_bits": 635
    },
    {
      "params": {
        "support": "squarefree",
        "N": 3
      },
      "number": "0.09574778392775402661430811934014709003105690882872867980703311526036140789233593746114189793271551331",
      "check_ball": "[0.095747783927754026614308119340147090031056908828728679807033115260361407892335937461141897932715513312174260458203317670933410334571946831585185173758749868792768899341391201436213504895842 +/- 3.09e-190]",
      "contained": true,
      "accuracy_bits": 626
    },
    {
      "params": {
        "support": "squarefree",
        "N": 4
      },
      "number": "0.09574778392775402661430811934014709003105690882872867980703311526036140789233593746114189793271551331",
      "check_ball": "[0.095747783927754026614308119340147090031056908828728679807033115260361407892335937461141897932715513312174260458203317670933410334571946831585185173758749868792768899341391201436213504895842 +/- 3.09e-190]",
      "contained": true,
      "accuracy_bits": 626
    },
    {
      "params": {
        "support": "squarefree",
        "N": 5
      },
      "number": "0.04023860691261084430413126483613629660459901946102065677586293722298398516176520809116366025663749556",
      "check_ball": "[0.04023860691261084430413126483613629660459901946102065677586293722298398516176520809116366025663749555869779134626175813755684857359245557032087901703566874987072900645763661716900481752974 +/- 4.10e-189]",
      "contained": true,
      "accuracy_bits": 623
    },
    {
      "params": {
        "support": "squarefree",
        "N": 6
      },
      "number": "0.04023010207850747381126163007239142157006345325128317126975075765895109397508506353087588392160018127",
      "check_ball": "[0.04023010207850747381126163007239142157006345325128317126975075765895109397508506353087588392160018127254272323828629093845419908997546771221258814372283441202032781172331521797295628492167 +/- 7.81e-189]",
      "contained": true,
      "accuracy_bits": 621
    },
    {
      "params": {
        "support": "squarefree",
        "N": 7
      },
      "number": "0.02598729498244347990815597547919449413482195647409494218267843768499229446160812892543068265878891555",
      "check_ball": "[0.0259872949824434799081559754791944941348219564740949421826784376849922944616081289254306826587889155497006745191702975509615792957070406134525899643628809993116414128579696506318328806791 +/- 6.44e-188]",
      "contained": true,
      "accuracy_bits": 617
    },
    {
      "params": {
        "support": "squarefree",
        "N": 8
      },
      "number": "0.02598729498244347990815597547919449413482195647409494218267843768499229446160812892543068265878891555",
      "check_ball": "[0.0259872949824434799081559754791944941348219564740949421826784376849922944616081289254306826587889155497006745191702975509615792957070406134525899643628809993116414128579696506318328806791 +/- 6.44e-188]",
      "contained": true,
      "accuracy_bits": 617
    },
    {
      "params": {
        "support": "squarefree",
        "N": 9
      },
      "number": "0.02598729498244347990815597547919449413482195647409494218267843768499229446160812892543068265878891555",
      "check_ball": "[0.0259872949824434799081559754791944941348219564740949421826784376849922944616081289254306826587889155497006745191702975509615792957070406134525899643628809993116414128579696506318328806791 +/- 6.44e-188]",
      "contained": true,
      "accuracy_bits": 617
    },
    {
      "params": {
        "support": "squarefree",
        "N": 10
      },
      "number": "0.02598657565060827337596741208366672155511948548531169870617862976235627006801768160918716753969778280",
      "check_ball": "[0.0259865756506082733759674120836667215551194854853116987061786297623562700680176816091871675396977828003588014209999736464369189573387624266268146142672329376685208434131975585254458199726 +/- 4.72e-188]",
      "contained": true,
      "accuracy_bits": 616
    },
    {
      "params": {
        "support": "squarefree",
        "N": 11
      },
      "number": "0.02181608324865721758254853521986979973332388239995874569227222161903901486378449088945101606173084506",
      "check_ball": "[0.021816083248657217582548535219869799733323882399958745692272221619039014863784490889451016061730845055635381845254174490855901093437412165160085874197195513187051173866928987597243778899 +/- 4.12e-187]",
      "contained": true,
      "accuracy_bits": 613
    },
    {
      "params": {
        "support": "squarefree",
        "N": 12
      },
      "number": "0.02181608324865721758254853521986979973332388239995874569227222161903901486378449088945101606173084506",
      "check_ball": "[0.021816083248657217582548535219869799733323882399958745692272221619039014863784490889451016061730845055635381845254174490855901093437412165160085874197195513187051173866928987597243778899 +/- 4.12e-187]",
      "contained": true,
      "accuracy_bits": 613
    },
    {
      "params": {
        "support": "squarefree",
        "N": 13
      },
      "number": "0.02118662102133146909568080191838384848437412995737192033843458375343795690700013016012393838952262954",
      "check_ball": "[0.021186621021331469095680801918383848484374129957371920338434583753437956907000130160123938389522629535418159305843574128100738635492370851391147157612694451447388968876565982663275815408 +/- 8.95e-187]",
      "contained": true,
      "accuracy_bits": 612
    },
    {
      "params": {
        "support": "squarefree",
        "N": 14
      },
      "number": "0.01961548384684870706296155472965664948524707603931513937575177184777482184295935123184854375064226615",
      "check_ball": "[0.01961548384684870706296155472965664948524707603931513937575177184777482184295935123184854375064226614796941572262826690618761854780865025271543618218218985540736522224127904022456072847 +/- 7.30e-186]",
      "contained": true,
      "accuracy_bits": 609
    },
    {
      "params": {
        "support": "squarefree",
        "N": 15
      },
      "number": "0.01948812450099691479241331494536997661173598986180682145638267837948686751752802436430412396519011411",
      "check_ball": "[0.0194881245009969147924133149453699766117359898618068214563826783794868675175280243643041239651901141112684238249624787354245222323433050287087854486456021104621759848256456040416272387 +/- 6.30e-185]",
      "contained": true,
      "accuracy_bits": 607
    },
    {
      "params": {
        "support": "squarefree",
        "N": 16
      },
      "number": "0.01948812450099691479241331494536997661173598986180682145638267837948686751752802436430412396519011411",
      "check_ball": "[0.0194881245009969147924133149453699766117359898618068214563826783794868675175280243643041239651901141112684238249624787354245222323433050287087854486456021104621759848256456040416272387 +/- 6.30e-185]",
      "contained": true,
      "accuracy_bits": 607
    },
    {
      "params": {
        "support": "squarefree",
        "N": 17
      },
      "number": "0.01786864927717206169024482124945678688282928343467915174686007156717092427016071352010247729780725669",
      "check_ball": "[0.017868649277172061690244821249456786882829283434679151746860071567170924270160713520102477297807256687847523947130908521892961836303469102049513927861372416191497809056323968937973706 +/- 5.06e-184]",
      "contained": true,
      "accuracy_bits": 606
    },
    {
      "params": {
        "support": "squarefree",
        "N": 18
      },
      "number": "0.01786864927717206169024482124945678688282928343467915174686007156717092427016071352010247729780725669",
      "check_ball": "[0.017868649277172061690244821249456786882829283434679151746860071567170924270160713520102477297807256687847523947130908521892961836303469102049513927861372416191497809056323968937973706 +/- 5.06e-184]",
      "contained": true,
      "accuracy_bits": 606
    },
    {
      "params": {
        "support": "squarefree",
        "N": 19
      },
      "number": "0.01763281863409592926868862665115709047791892692075400169937948697483331628605404089918803020858257920",
      "check_ball": "[0.017632818634095929268688626651157090477918926920754001699379486974833316286054040899188030208582579200696465394369510500021177449667622880856198045584116809240262528224969740924084011 +/- 5.78e-184]",
      "contained": true,
      "accuracy_bits": 604
    },
    {
      "params": {
        "support": "squarefree",
        "N": 20
      },
      "number": "0.01763281863409592926868862665115709047791892692075400169937948697483331628605404089918803020858257920",
      "check_ball": "[0.017632818634095929268688626651157090477918926920754001699379486974833316286054040899188030208582579200696465394369510500021177449667622880856198045584116809240262528224969740924084011 +/- 5.78e-184]",
      "contained": true,
      "accuracy_bits": 604
    },
    {
      "params": {
        "support": "squarefree",
        "N": 21
      },
      "number": "0.01677136294678169820215527235412457660920815637666148215054778511045234363688624005803143379114504305",
      "check_ball": "[0.01677136294678169820215527235412457660920815637666148215054778511045234363688624005803143379114504305333245797770702744622283522072337286801106700596560527167060669105675065073020264 +/- 4.29e-183]",
      "contained": true,
      "accuracy_bits": 602
    },
    {
      "params": {
        "support": "squarefree",
        "N": 22
      },
      "number": "0.01673017237527825563339356150349294963467571531518098642023085423619372904556644448468921717689767422",
      "check_ball": "[0.01673017237527825563339356150349294963467571531518098642023085423619372904556644448468921717689767422197495299962176764219670179966123599409628039189473207120741547987922491842116495 +/- 6.41e-183]",
      "contained": true,
      "accuracy_bits": 600
    },
    {
      "params": {
        "support": "squarefree",
        "N": 23
      },
      "number": "0.01622460857943068170545718211350604270959307800282535777729732249896536600197858528555186354519112205",
      "check_ball": "[0.0162246085794306817054571821135060427095930780028253577772973224989653660019785852855518635451911220495713778750933835917860041438102108577038332033499726938067375302192328852526721 +/- 7.04e-182]",
      "contained": true,
      "accuracy_bits": 597
    },
    {
      "params": {
        "support": "squarefree",
        "N": 24
      },
      "number": "0.01622460857943068170545718211350604270959307800282535777729732249896536600197858528555186354519112205",
      "check_ball": "[0.0162246085794306817054571821135060427095930780028253577772973224989653660019785852855518635451911220495713778750933835917860041438102108577038332033499726938067375302192328852526721 +/- 7.04e-182]",
      "contained": true,
      "accuracy_bits": 597
    },
    {
      "params": {
        "support": "squarefree",
        "N": 25
      },
      "number": "0.01622460857943068170545718211350604270959307800282535777729732249896536600197858528555186354519112205",
      "check_ball": "[0.0162246085794306817054571821135060427095930780028253577772973224989653660019785852855518635451911220495713778750933835917860041438102108577038332033499726938067375302192328852526721 +/- 7.04e-182]",
      "contained": true,
      "accuracy_bits": 597
    },
    {
      "params": {
        "support": "squarefree",
        "N": 26
      },
      "number": "0.01613423866696323752462863081355252917876955723168974041181973177168502744967632150714275244977739744",
      "check_ball": "[0.0161342386669632375246286308135525291787695572316897404118197317716850274496763215071427524497773974440538679967529508121504147585955163030582002578864654561872973816070866578520373 +/- 4.96e-182]",
      "contained": true,
      "accuracy_bits": 596
    },
    {
      "params": {
        "support": "squarefree",
        "N": 27
      },
      "number": "0.01613423866696323752462863081355252917876955723168974041181973177168502744967632150714275244977739744",
      "check_ball": "[0.0161342386669632375246286308135525291787695572316897404118197317716850274496763215071427524497773974440538679967529508121504147585955163030582002578864654561872973816070866578520373 +/- 4.96e-182]",
      "contained": true,
      "accuracy_bits": 596
    },
    {
      "params": {
        "support": "squarefree",
        "N": 28
      },
      "number": "0.01613423866696323752462863081355252917876955723168974041181973177168502744967632150714275244977739744",
      "check_ball": "[0.0161342386669632375246286308135525291787695572316897404118197317716850274496763215071427524497773974440538679967529508121504147585955163030582002578864654561872973816070866578520373 +/- 4.96e-182]",
      "contained": true,
      "accuracy_bits": 596
    },
    {
      "params": {
        "support": "squarefree",
        "N": 29
      },
      "number": "0.01536728566276687681633642867792050753268694532084703238193252490008869063389192042374327349216120140",
      "check_ball": "[0.015367285662766876816336428677920507532686945320847032381932524900088690633891920423743273492161201400730341008962885668477820701301984890386621402769433467691053340245484804746303 +/- 2.08e-181]",
      "contained": true,
      "accuracy_bits": 593
    },
    {
      "params": {
        "support": "squarefree",
        "N": 30
      },
      "number": "0.01524296932847705467288662317039599562680055926934389609951917254048436896880488188243508887985611252",
      "check_ball": "[0.01524296932847705467288662317039599562680055926934389609951917254048436896880488188243508887985611251798543373793932905168019159934180627538733270106918456095070834182708258902020 +/- 5.41e-180]",
      "contained": true,
      "accuracy_bits": 590
    }
  ],
  "elapsed_seconds": 6.1461365389986895
}