{ "table": "T545", "stored": true, "sage": "10.9", "numberdb": "0.1.10", "skill_manifest": "agents/runs/20261027T103803Z-build-skills/manifest.json", "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c", "controls": [ { "g": "A_", "terms": 80, "passed": true }, { "g": "Bw", "terms": 95, "passed": true }, { "g": "B?", "terms": 0, "passed": true } ], "counts": { "2": 1, "3": 2, "4": 6, "5": 21, "6": 112 }, "corpus_keys_checked": [ "T237", "T238", "T397", "T400" ], "rows_checked": 142, "named_rows": 18, "formulas": { "complete": 5, "complete_bipartite": 9 }, "measure": { "entries": 142, "longest": 141, "longest_at": "CN", "block_kb": 25.9150390625 }, "min_accuracy_bits": 408, "max_walk_terms": 124, "longest_stored_number": 101, "entries": [ { "g": "A_", "number": "3.086161269630487556955811241514123365203058224731727409474804429421538126098447397928529452871086071", "polynomial": "x^2 - 1", "walk_terms": 80, "walk_enclosure": "3.086161269630487556955811241514123365203058224731727409474804429421538126098447397928529452871086071174093717208847", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "BW", "number": "5.356367113217141727978444135640250566862588065843313865621631481899841878604121838336747886218078381", "polynomial": "x^3 - 2*x", "walk_terms": 95, "walk_enclosure": "5.356367113217141727978444135640250566862588065843313865621631481899841878604121838336747886218078381058618776226402", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "Bw", "number": "8.124814981273534870421475000897929548071937832615382993102801425917496787568857370098607033770961082", "polynomial": "x^3 - 3*x - 2", "walk_terms": 95, "walk_enclosure": "8.124814981273534870421475000897929548071937832615382993102801425917496787568857370098607033770961082267007811819167", "spectral_accuracy_bits": 411, "working_precision_bits": 413 }, { "g": "CF", "number": "7.829154880351856321453561348748315280705142805978304503049574901984597222079296081468811200721353821", "polynomial": "x^4 - 3*x^2", "walk_terms": 106, "walk_enclosure": "7.829154880351856321453561348748315280705142805978304503049574901984597222079296081468811200721353820868791498292730", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "CL", "number": "7.635733837560584232618734748797066389999967327203866788225204822094161228167997109155335151465061582", "polynomial": "x^4 - 3*x^2 + 1", "walk_terms": 95, "walk_enclosure": "7.635733837560584232618734748797066389999967327203866788225204822094161228167997109155335151465061581862047545378685", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "CN", "number": "10.71922334838326856556082644875566275871475389459688080366710449366540418965097710712915519491850167", "polynomial": "x^4 - 4*x^2 - 2*x + 1", "walk_terms": 106, "walk_enclosure": "10.71922334838326856556082644875566275871475389459688080366710449366540418965097710712915519491850166799846724982817", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "C]", "number": "9.524391382167262919124426955547492216587947116461423205555286695176647170180545453321410607569778844", "polynomial": "x^4 - 4*x^2", "walk_terms": 95, "walk_enclosure": "9.524391382167262919124426955547492216587947116461423205555286695176647170180545453321410607569778843528830448455112", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "C^", "number": "14.53360928563993644702444564032371556470738241504308412963188298254270037494319592452428181198500232", "polynomial": "x^4 - 5*x^2 - 4*x", "walk_terms": 106, "walk_enclosure": "14.53360928563993644702444564032371556470738241504308412963188298254270037494319592452428181198500232151882664716173", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "C~", "number": "21.18917524670199470571510096506610049932534123164945364790244463479123036532667314127593898329077663", "polynomial": "x^4 - 6*x^2 - 8*x - 3", "walk_terms": 106, "walk_enclosure": "21.18917524670199470571510096506610049932534123164945364790244463479123036532667314127593898329077663339348959168248", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "D?{", "number": "10.52439138216726291912442695554749221658794711646142320555528669517664717018054545332141060756977884", "polynomial": "x^5 - 4*x^3", "walk_terms": 116, "walk_enclosure": "10.52439138216726291912442695554749221658794711646142320555528669517664717018054545332141060756977884352883044845511", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "D@s", "number": "10.11811961438857592338113169540602131478789877100323859109804473681224057565097407369254842256974952", "polynomial": "x^5 - 4*x^3 + 2*x", "walk_terms": 106, "walk_enclosure": "10.11811961438857592338113169540602131478789877100323859109804473681224057565097407369254842256974951885627674816509", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "D@{", "number": "13.54365862727334544107706178392023248764321834849940821609027295732377930670987221239814309366620501", "polynomial": "x^5 - 5*x^3 - 2*x^2 + 2*x", "walk_terms": 116, "walk_enclosure": "13.54365862727334544107706178392023248764321834849940821609027295732377930670987221239814309366620500722462520742470", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DBg", "number": "9.915316149982343878409372590262438645908201030710031912524379331406135348177743479397340653592439892", "polynomial": "x^5 - 4*x^3 + 3*x", "walk_terms": 95, "walk_enclosure": "9.915316149982343878409372590262438645908201030710031912524379331406135348177743479397340653592439892042885215501577", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "DBk", "number": "13.32724713275441411237211300672807346796823132671109131690834306524648564999350180418029569857737611", "polynomial": "x^5 - 5*x^3 - 2*x^2 + 3*x", "walk_terms": 106, "walk_enclosure": "13.32724713275441411237211300672807346796823132671109131690834306524648564999350180418029569857737610529705776586466", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DB{", "number": "17.51836841111039744417924313007212772160916185041469942217554545225070761694135310589218315101046956", "polynomial": "x^5 - 6*x^3 - 4*x^2 + 2*x", "walk_terms": 116, "walk_enclosure": "17.51836841111039744417924313007212772160916185041469942217554545225070761694135310589218315101046956007038479183190", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DFw", "number": "14.66877281966771709828577186935583464952038274704168682213052959404071109468983367959627407541071423", "polynomial": "x^5 - 6*x^3", "walk_terms": 106, "walk_enclosure": "14.66877281966771709828577186935583464952038274704168682213052959404071109468983367959627407541071422972370376633697", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DF{", "number": "22.58875164759572275441805291971566316784135051549549386035492990405038074793836122449874255708959439", "polynomial": "x^5 - 7*x^3 - 6*x^2", "walk_terms": 116, "walk_enclosure": "22.58875164759572275441805291971566316784135051549549386035492990405038074793836122449874255708959439465531222831843", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DIk", "number": "12.03649415431201854632529584467697497815488302878314281609108394229089562384641556646263959332250794", "polynomial": "x^5 - 5*x^3 + 2*x", "walk_terms": 106, "walk_enclosure": "12.03649415431201854632529584467697497815488302878314281609108394229089562384641556646263959332250794050243011631298", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DJk", "number": "17.18397966842046744498590822415399305902174415212021380093477668111905966691354408894973070538514483", "polynomial": "x^5 - 6*x^3 - 4*x^2 + 3*x + 2", "walk_terms": 106, "walk_enclosure": "17.18397966842046744498590822415399305902174415212021380093477668111905966691354408894973070538514482807870211751590", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "DJ{", "number": "24.38214864091084001195659688103747464116760198548022940769532726790825667065046477308113556963550805", "polynomial": "x^5 - 7*x^3 - 8*x^2 + 2", "walk_terms": 116, "walk_enclosure": "24.38214864091084001195659688103747464116760198548022940769532726790825667065046477308113556963550804785484361079824", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DK[", "number": "13.01184518629528721482467157703206943158420203546404986822292390651922314714012056644088240332863522", "polynomial": "x^5 - 5*x^3 - 2*x^2 + 4*x + 2", "walk_terms": 106, "walk_enclosure": "13.01184518629528721482467157703206943158420203546404986822292390651922314714012056644088240332863522034078546586107", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DK{", "number": "16.61977055527042400398025688183783892991044063977481153910668741196423850104164332245281126485608839", "polynomial": "x^5 - 6*x^3 - 4*x^2 + 5*x + 4", "walk_terms": 116, "walk_enclosure": "16.61977055527042400398025688183783892991044063977481153910668741196423850104164332245281126485608839269292036437058", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DLo", "number": "11.49618632188367214792025678286893843182083286044368382149185376660436667698752964007973426389096389", "polynomial": "x^5 - 5*x^3 + 5*x - 2", "walk_terms": 95, "walk_enclosure": "11.49618632188367214792025678286893843182083286044368382149185376660436667698752964007973426389096388550200582635713", "spectral_accuracy_bits": 411, "working_precision_bits": 413 }, { "g": "DL{", "number": "21.74212739598649761061802648920620936134318103588086894678513696151532541794819033999123250849938053", "polynomial": "x^5 - 7*x^3 - 6*x^2 + 3*x + 2", "walk_terms": 116, "walk_enclosure": "21.74212739598649761061802648920620936134318103588086894678513696151532541794819033999123250849938052992799858225453", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DNw", "number": "20.24846263534955320485033256716059781008161988882045025982726186959482866714947990031880519629332587", "polynomial": "x^5 - 7*x^3 - 4*x^2 + 2*x", "walk_terms": 106, "walk_enclosure": "20.24846263534955320485033256716059781008161988882045025982726186959482866714947990031880519629332586987041530848544", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "DN{", "number": "30.10691981131641721354373678206182630288594914871899182600952138753681682258573110964292096630462096", "polynomial": "x^5 - 8*x^3 - 10*x^2 - x + 2", "walk_terms": 116, "walk_enclosure": "30.10691981131641721354373678206182630288594914871899182600952138753681682258573110964292096630462095618906044322294", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "D]{", "number": "27.85937931278960767953929567103993346000240163465930676022991237280114439225686573452715803170536239", "polynomial": "x^5 - 8*x^3 - 8*x^2", "walk_terms": 116, "walk_enclosure": "27.85937931278960767953929567103993346000240163465930676022991237280114439225686573452715803170536238941421841341193", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "D^{", "number": "40.24017241692083784527846402432138507782957173805633089917887083151354935554500018613529489677241737", "polynomial": "x^5 - 9*x^3 - 14*x^2 - 6*x", "walk_terms": 116, "walk_enclosure": "40.24017241692083784527846402432138507782957173805633089917887083151354935554500018613529489677241737145233835986568", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "Dbk", "number": "15.39271790486097290819240308891259252957466846447872971636086572683873782228769933456668312353318557", "polynomial": "x^5 - 6*x^3 - 2*x^2 + 4*x", "walk_terms": 106, "walk_enclosure": "15.39271790486097290819240308891259252957466846447872971636086572683873782228769933456668312353318556645164318505351", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "D~{", "number": "56.06966779783000836449235628350672187257398156274114006385794116534350808291546869510556965932841272", "polynomial": "x^5 - 10*x^3 - 20*x^2 - 15*x - 4", "walk_terms": 116, "walk_enclosure": "56.06966779783000836449235628350672187257398156274114006385794116534350808291546869510556965932841271777062474687846", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "E?Bw", "number": "13.46334694226153310518279120099322409145298506080078926406446572123160557160425598692237176284859627", "polynomial": "x^6 - 5*x^4", "walk_terms": 124, "walk_enclosure": "13.46334694226153310518279120099322409145298506080078926406446572123160557160425598692237176284859626788069271345793", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?Fg", "number": "12.82340951994918850593101649257048765449791737592576102028416652090099180837718922117119538728580394", "polynomial": "x^6 - 5*x^4 + 3*x^2", "walk_terms": 116, "walk_enclosure": "12.82340951994918850593101649257048765449791737592576102028416652090099180837718922117119538728580393572827229564537", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?Fw", "number": "16.61978147272394395996579195304011874791146202778866706428216834211299229171331980583542497512554447", "polynomial": "x^6 - 6*x^4 - 2*x^3 + 3*x^2", "walk_terms": 124, "walk_enclosure": "16.61978147272394395996579195304011874791146202778866706428216834211299229171331980583542497512554446785669135627545", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?NG", "number": "12.61055265179775047608023819706161558179100534119315061503009112459818529627899285124994006044086491", "polynomial": "x^6 - 5*x^4 + 4*x^2", "walk_terms": 106, "walk_enclosure": "12.61055265179775047608023819706161558179100534119315061503009112459818529627899285124994006044086491470292416566396", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?NW", "number": "16.16588970756802754558502470359736357070193744985670275940573639533890308263095364667236008666065786", "polynomial": "x^6 - 6*x^4 - 2*x^3 + 5*x^2", "walk_terms": 116, "walk_enclosure": "16.16588970756802754558502470359736357070193744985670275940573639533890308263095364667236008666065785816338305999991", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?Nw", "number": "20.76411837826513896480832409225798600386434018008832562350556079591805330962524873235637860559154976", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 4*x^2", "walk_terms": 124, "walk_enclosure": "20.76411837826513896480832409225798600386434018008832562350556079591805330962524873235637860559154976201395777371162", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?]o", "number": "14.54950821189202066213860244250734745665604328553251667353927015065314369770270338485090121571968234", "polynomial": "x^6 - 6*x^4 + 5*x^2", "walk_terms": 106, "walk_enclosure": "14.54950821189202066213860244250734745665604328553251667353927015065314369770270338485090121571968233905478643066677", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?]w", "number": "20.52231117963449926096721042252939681513277383773956626126579699997526460422311539793141569296612198", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 5*x^2", "walk_terms": 116, "walk_enclosure": "20.52231117963449926096721042252939681513277383773956626126579699997526460422311539793141569296612198220522858707777", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?^o", "number": "17.45887481086908134093882217069306188058273662156920580302656851782177836597514656533444150417797592", "polynomial": "x^6 - 7*x^4 + 3*x^2", "walk_terms": 116, "walk_enclosure": "17.45887481086908134093882217069306188058273662156920580302656851782177836597514656533444150417797591629816024969943", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?^w", "number": "26.03957803875271406201435039467034983337067846973637778376017763240845636536501995509591991771993297", "polynomial": "x^6 - 8*x^4 - 6*x^3 + 3*x^2", "walk_terms": 124, "walk_enclosure": "26.03957803875271406201435039467034983337067846973637778376017763240845636536501995509591991771993296720042852169546", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?~o", "number": "20.97793442511985293429772254085126216584881792438352200843973722293473972984631027473229101250951725", "polynomial": "x^6 - 8*x^4", "walk_terms": 116, "walk_enclosure": "20.97793442511985293429772254085126216584881792438352200843973722293473972984631027473229101250951725319952022316833", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E?~w", "number": "32.60608745520732130714979463687499304131176582560428541334302484743293536044158372642822016056546653", "polynomial": "x^6 - 9*x^4 - 8*x^3", "walk_terms": 124, "walk_enclosure": "32.60608745520732130714979463687499304131176582560428541334302484743293536044158372642822016056546652928760914358470", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@FG", "number": "12.39792349471645699081221733376361769893087711304214000927108833790894693529667424522574177193388986", "polynomial": "x^6 - 5*x^4 + 5*x^2", "walk_terms": 106, "walk_enclosure": "12.39792349471645699081221733376361769893087711304214000927108833790894693529667424522574177193388986078310638696045", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "E@JW", "number": "14.77289280886884584300554045370531575322925365532445964546080142277109266975716313697888042576278247", "polynomial": "x^6 - 6*x^4 + 4*x^2", "walk_terms": 116, "walk_enclosure": "14.77289280886884584300554045370531575322925365532445964546080142277109266975716313697888042576278247034713681679708", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@NW", "number": "20.06678233940091130752663933640521157681988497322874736074233647946639323856771893326635030781259383", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 6*x^2 + 4*x", "walk_terms": 116, "walk_enclosure": "20.06678233940091130752663933640521157681988497322874736074233647946639323856771893326635030781259383143753133383640", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@Nw", "number": "27.84728519635428099817722969966866185636319910452240310674403989154385167298521508433038706398485870", "polynomial": "x^6 - 8*x^4 - 8*x^3 + 3*x^2 + 4*x", "walk_terms": 124, "walk_enclosure": "27.84728519635428099817722969966866185636319910452240310674403989154385167298521508433038706398485870420294830817633", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@QW", "number": "12.40730594338017770025227458667166823134224639238401184288725928010381047938622463454659928631787789", "polynomial": "x^6 - 5*x^4 + 5*x^2 - 1", "walk_terms": 106, "walk_enclosure": "12.40730594338017770025227458667166823134224639238401184288725928010381047938622463454659928631787789086375926299669", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "E@Rw", "number": "19.83553760559361991811844222406290526090508378532408160437287664012112020635860607099020246157491401", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 7*x^2 + 4*x - 1", "walk_terms": 124, "walk_enclosure": "19.83553760559361991811844222406290526090508378532408160437287664012112020635860607099020246157491400684126640086913", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@UW", "number": "15.94896378490776646475673211397106381740574891995784706285703578379143558463142450040101323027165958", "polynomial": "x^6 - 6*x^4 - 2*x^3 + 6*x^2 - 1", "walk_terms": 106, "walk_enclosure": "15.94896378490776646475673211397106381740574891995784706285703578379143558463142450040101323027165958025621247549582", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@Vw", "number": "25.16538279516859122506527861317258155601864492609983525136458881759191320711287983768306040074259342", "polynomial": "x^6 - 8*x^4 - 6*x^3 + 6*x^2 + 2*x - 1", "walk_terms": 124, "walk_enclosure": "25.16538279516859122506527861317258155601864492609983525136458881759191320711287983768306040074259341950986627152018", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@YO", "number": "12.19490142544047709565033714635637015425558002296267929792299698556659318695775512320140978062719597", "polynomial": "x^6 - 5*x^4 + 6*x^2 - 1", "walk_terms": 95, "walk_enclosure": "12.19490142544047709565033714635637015425558002296267929792299698556659318695775512320140978062719596813896780570890", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@YW", "number": "14.55912149922621897083737078292067797956901742043958360047890513390973138188134133357461897524012279", "polynomial": "x^6 - 6*x^4 + 5*x^2 - 1", "walk_terms": 106, "walk_enclosure": "14.55912149922621897083737078292067797956901742043958360047890513390973138188134133357461897524012278630934553653532", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@]o", "number": "19.83553760559361991811844222406290526090508378532408160437287664012112020635860607099020246157491401", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 7*x^2 + 4*x - 1", "walk_terms": 106, "walk_enclosure": "19.83553760559361991811844222406290526090508378532408160437287664012112020635860607099020246157491400684126640086913", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@]w", "number": "27.59610969658923273849266233296579278793560804014007876876824511068725410397120891879385056729959375", "polynomial": "x^6 - 8*x^4 - 8*x^3 + 4*x^2 + 4*x - 1", "walk_terms": 116, "walk_enclosure": "27.59610969658923273849266233296579278793560804014007876876824511068725410397120891879385056729959374544162887399642", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@^W", "number": "24.79675280179572535856626423274672786528119290503889511052112065354345972712791896044013296115422392", "polynomial": "x^6 - 8*x^4 - 6*x^3 + 7*x^2 + 4*x - 1", "walk_terms": 116, "walk_enclosure": "24.79675280179572535856626423274672786528119290503889511052112065354345972712791896044013296115422392038750418811597", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@^o", "number": "23.19402908172612024843674287175211614239809192455325124449088858563755482807335043056428553458353487", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 6*x^2 + 2*x - 1", "walk_terms": 116, "walk_enclosure": "23.19402908172612024843674287175211614239809192455325124449088858563755482807335043056428553458353487173370579400102", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@^w", "number": "33.79260548256291412893716421371480749008730316620231077769023811298749130543380052188810090862964739", "polynomial": "x^6 - 9*x^4 - 10*x^3 + 3*x^2 + 4*x - 1", "walk_terms": 124, "walk_enclosure": "33.79260548256291412893716421371480749008730316620231077769023811298749130543380052188810090862964739186775657087468", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@`w", "number": "15.84646044928252834270168346792530476986853253206079333947731009914366775550676993626755713505047164", "polynomial": "x^6 - 6*x^4 - 2*x^3 + 6*x^2 + 2*x - 1", "walk_terms": 116, "walk_enclosure": "15.84646044928252834270168346792530476986853253206079333947731009914366775550676993626755713505047163755498074786117", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "E@ow", "number": "15.50805976786615983806164465568278134436073834687813078651616804053040464144204528719727475318963200", "polynomial": "x^6 - 6*x^4 - 2*x^3 + 7*x^2 + 4*x", "walk_terms": 106, "walk_enclosure": "15.50805976786615983806164465568278134436073834687813078651616804053040464144204528719727475318963199560632519673866", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@vw", "number": "30.72522677972065688718951441177069328541611983929598545135213674006420683028307256915554160493418336", "polynomial": "x^6 - 9*x^4 - 8*x^3 + 6*x^2 + 4*x", "walk_terms": 124, "walk_enclosure": "30.72522677972065688718951441177069328541611983929598545135213674006420683028307256915554160493418336083122410311675", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@~o", "number": "27.19894020269397741777401799571595449624860879401606509989955640617736387655095839307078744625322758", "polynomial": "x^6 - 9*x^4 - 4*x^3 + 4*x^2", "walk_terms": 116, "walk_enclosure": "27.19894020269397741777401799571595449624860879401606509989955640617736387655095839307078744625322758271897574653082", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E@~w", "number": "41.09683347966262298143010755178708338526317660481303342891948393943102551507091924974903636761089741", "polynomial": "x^6 - 10*x^4 - 12*x^3 + x^2 + 4*x", "walk_terms": 124, "walk_enclosure": "41.09683347966262298143010755178708338526317660481303342891948393943102551507091924974903636761089741351806160479275", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EAMw", "number": "20.18372160990258107253773089795655831107557640345654559119788131498316422735879322259789163362491003", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 6*x^2 + 2*x - 1", "walk_terms": 116, "walk_enclosure": "20.18372160990258107253773089795655831107557640345654559119788131498316422735879322259789163362491003293785619313512", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EA]o", "number": "17.92334309787181297326870509616321021733783450350566370842340505199490852167042142432532738293677592", "polynomial": "x^6 - 7*x^4 - 2*x^3 + 8*x^2 + 2*x - 1", "walk_terms": 106, "walk_enclosure": "17.92334309787181297326870509616321021733783450350566370842340505199490852167042142432532738293677592367969078962345", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "EBYW", "number": "17.22398724660431252085645467223751614045882958769215480178233356283356169085357042771349969568854120", "polynomial": "x^6 - 7*x^4 + 4*x^2", "walk_terms": 106, "walk_enclosure": "17.22398724660431252085645467223751614045882958769215480178233356283356169085357042771349969568854120086269250216643", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "EBYw", "number": "23.29447682190561707432670485471748172721532520947265929461813119359715632208427882735346816182130013", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 6*x^2", "walk_terms": 116, "walk_enclosure": "23.29447682190561707432670485471748172721532520947265929461813119359715632208427882735346816182130012691296239821517", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EBZw", "number": "31.50649621221014526224668873671138897140195843256503203846200665679596720519741919286572454010343872", "polynomial": "x^6 - 9*x^4 - 8*x^3 + 4*x^2", "walk_terms": 124, "walk_enclosure": "31.50649621221014526224668873671138897140195843256503203846200665679596720519741919286572454010343871745088307985889", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EB]w", "number": "33.38596242204729382531106353957498969149068285839823409881055897249382139038591383488398952391311109", "polynomial": "x^6 - 9*x^4 - 10*x^3 + 4*x^2 + 6*x", "walk_terms": 116, "walk_enclosure": "33.38596242204729382531106353957498969149068285839823409881055897249382139038591383488398952391311109040095884677055", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EB^w", "number": "44.21541048980560955380531543738815791071309344785706197558592578900560736789481243984937023738893003", "polynomial": "x^6 - 10*x^4 - 14*x^3 - x^2 + 4*x", "walk_terms": 124, "walk_enclosure": "44.21541048980560955380531543738815791071309344785706197558592578900560736789481243984937023738893002730192224639227", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EBhw", "number": "24.41824490628354175490574467284757092317163538260212947282143604642842991438210712147806259435946658", "polynomial": "x^6 - 8*x^4 - 6*x^3 + 8*x^2 + 6*x", "walk_terms": 116, "walk_enclosure": "24.41824490628354175490574467284757092317163538260212947282143604642842991438210712147806259435946658380805361378608", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EBjW", "number": "21.85027964789562652176413533377210936906739840482005303298036522533959143572369613028490805846263583", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 11*x^2 + 4*x - 4", "walk_terms": 116, "walk_enclosure": "21.85027964789562652176413533377210936906739840482005303298036522533959143572369613028490805846263583318805149092047", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EBjw", "number": "29.68315081148842552199630041578537981770426654384336401734298475069000776575621221751617131954216920", "polynomial": "x^6 - 9*x^4 - 8*x^3 + 9*x^2 + 8*x - 1", "walk_terms": 124, "walk_enclosure": "29.68315081148842552199630041578537981770426654384336401734298475069000776575621221751617131954216920039558117830948", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EBnW", "number": "29.83117425250601690833512549836137967523528737864156737616647944422886389906384992128548168802654743", "polynomial": "x^6 - 9*x^4 - 8*x^3 + 9*x^2 + 6*x - 4", "walk_terms": 116, "walk_enclosure": "29.83117425250601690833512549836137967523528737864156737616647944422886389906384992128548168802654743138739379131394", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EBn_", "number": "20.49395165527650016152673387923654221749369875399106274065300799948372959933662987776760847350019513", "polynomial": "x^6 - 8*x^4 - 2*x^3 + 10*x^2 - 2*x - 1", "walk_terms": 106, "walk_enclosure": "20.49395165527650016152673387923654221749369875399106274065300799948372959933662987776760847350019512720862238615809", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EBnw", "number": "40.09613615880421914271860270998941528286343678513453872216169864573206594084209435760944847055748322", "polynomial": "x^6 - 10*x^4 - 12*x^3 + 4*x^2 + 6*x - 1", "walk_terms": 124, "walk_enclosure": "40.09613615880421914271860270998941528286343678513453872216169864573206594084209435760944847055748321684274939991342", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EB~o", "number": "35.60933805806481704713898860876877563173088872582101167390569438240798337530230962620562286670917771", "polynomial": "x^6 - 10*x^4 - 8*x^3 + 4*x^2", "walk_terms": 116, "walk_enclosure": "35.60933805806481704713898860876877563173088872582101167390569438240798337530230962620562286670917771418372525672051", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EB~w", "number": "52.42690962648518739654400742359652075494828593634303439061353015472571895685942908072728488034871000", "polynomial": "x^6 - 11*x^4 - 16*x^3 - 2*x^2 + 4*x", "walk_terms": 124, "walk_enclosure": "52.42690962648518739654400742359652075494828593634303439061353015472571895685942908072728488034870999737945643258661", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "ECXw", "number": "19.82557822845731806583353234150560944944370188080500339976895212623911032181754773527404689438041247", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 7*x^2 + 4*x", "walk_terms": 116, "walk_enclosure": "19.82557822845731806583353234150560944944370188080500339976895212623911032181754773527404689438041247304822255874546", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EC\\w", "number": "25.30069669217371051293988963324876798465656939834541480393432768399546838238185897710153512683971658", "polynomial": "x^6 - 8*x^4 - 6*x^3 + 5*x^2 + 4*x", "walk_terms": 116, "walk_enclosure": "25.30069669217371051293988963324876798465656939834541480393432768399546838238185897710153512683971658068703464559410", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EENg", "number": "21.12178740249197333207601498780385282024002031216543177442133042617842459786620504906736270070132730", "polynomial": "x^6 - 8*x^4 - 2*x^3 + 7*x^2", "walk_terms": 116, "walk_enclosure": "21.12178740249197333207601498780385282024002031216543177442133042617842459786620504906736270070132730056526277541446", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EFz_", "number": "24.13532399155553168390787207023177967361960743074257335994656195730490654582217328135855140448965105", "polynomial": "x^6 - 9*x^4", "walk_terms": 106, "walk_enclosure": "24.13532399155553168390787207023177967361960743074257335994656195730490654582217328135855140448965104668000894450284", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "EFzw", "number": "46.58640574678656328069933391265552136865831517414045840086071274565067587648257721044270289895113321", "polynomial": "x^6 - 11*x^4 - 12*x^3", "walk_terms": 124, "walk_enclosure": "46.58640574678656328069933391265552136865831517414045840086071274565067587648257721044270289895113321167731746242706", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EF~w", "number": "67.06844370506354668095484057647331125300192382817348284997701795117586529363630576169426360926389878", "polynomial": "x^6 - 12*x^4 - 20*x^3 - 9*x^2", "walk_terms": 124, "walk_enclosure": "67.06844370506354668095484057647331125300192382817348284997701795117586529363630576169426360926389877775313387544121", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "EGNW", "number": "18.26673742363964622632717346768968632855710867418439024843192538211937864996013730036809978626151951", "polynomial": "x^6 - 7*x^4 - 2*x^3 + 7*x^2 - 1", "walk_terms": 116, "walk_enclosure": "18.26673742363964622632717346768968632855710867418439024843192538211937864996013730036809978626151951197220309009753", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EGcw", "number": "15.62015659557727120860956936146943306555286348813414524932804245015659806952122010371646981790292594", "polynomial": "x^6 - 6*x^4 - 2*x^3 + 7*x^2 + 2*x - 1", "walk_terms": 106, "walk_enclosure": "15.62015659557727120860956936146943306555286348813414524932804245015659806952122010371646981790292593593267574655578", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EGdo", "number": "15.29171061836624070108105073159143682562097385042103276511954033911340678992622476688961309886730806", "polynomial": "x^6 - 6*x^4 - 2*x^3 + 8*x^2 + 4*x - 1", "walk_terms": 106, "walk_enclosure": "15.29171061836624070108105073159143682562097385042103276511954033911340678992622476688961309886730805589111944356539", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EGdw", "number": "19.24706315851003064372045994887708768437826079625715868910642886255201897077252784247063280610362373", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 9*x^2 + 6*x - 1", "walk_terms": 116, "walk_enclosure": "19.24706315851003064372045994887708768437826079625715868910642886255201897077252784247063280610362372670635007384549", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EHQW", "number": "13.99182645748094729877395773463487354359876676195065275673449582210582152245294658564906793949372395", "polynomial": "x^6 - 6*x^4 + 8*x^2 - 2*x - 1", "walk_terms": 106, "walk_enclosure": "13.99182645748094729877395773463487354359876676195065275673449582210582152245294658564906793949372395012147395822387", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EHUW", "number": "18.01934695616415205268320883648740159842644992362085175155917268122338888365333140567561483865490615", "polynomial": "x^6 - 7*x^4 - 2*x^3 + 8*x^2", "walk_terms": 106, "walk_enclosure": "18.01934695616415205268320883648740159842644992362085175155917268122338888365333140567561483865490615395474300100653", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EHuw", "number": "28.14201477894107567876799632154819853428825345920502877491573772208535354505663402566974495304583304", "polynomial": "x^6 - 9*x^4 - 6*x^3 + 8*x^2 + 2*x - 1", "walk_terms": 116, "walk_enclosure": "28.14201477894107567876799632154819853428825345920502877491573772208535354505663402566974495304583304083465465755424", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EI]w", "number": "30.99909217747435916785399757269271068311861564686344505729398339187723064483320527868756127580054323", "polynomial": "x^6 - 9*x^4 - 8*x^3 + 5*x^2 + 4*x", "walk_terms": 116, "walk_enclosure": "30.99909217747435916785399757269271068311861564686344505729398339187723064483320527868756127580054323144412747596861", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EI_w", "number": "14.32635766478533173751735603542793621268471856553753643850969344715673421550842723992326175193973439", "polynomial": "x^6 - 6*x^4 + 6*x^2", "walk_terms": 106, "walk_enclosure": "14.32635766478533173751735603542793621268471856553753643850969344715673421550842723992326175193973438761580869657490", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EIe_", "number": "13.69671392142823803303604943857573894699406356592487802450489555401972342237744024917846951331195099", "polynomial": "x^6 - 6*x^4 + 9*x^2 - 4", "walk_terms": 95, "walk_enclosure": "13.69671392142823803303604943857573894699406356592487802450489555401972342237744024917846951331195098587701788287281", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EImo", "number": "19.98971202641943769115288089196607754122001369166298497269941279259684981472127137527907300047145533", "polynomial": "x^6 - 8*x^4 + 4*x^2", "walk_terms": 106, "walk_enclosure": "19.98971202641943769115288089196607754122001369166298497269941279259684981472127137527907300047145533311900740903544", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EImw", "number": "28.55528417471351834652583974903774151860621690435018411836332660109546509566179854187873649043229013", "polynomial": "x^6 - 9*x^4 - 6*x^3 + 6*x^2 + 4*x", "walk_terms": 116, "walk_enclosure": "28.55528417471351834652583974903774151860621690435018411836332660109546509566179854187873649043229012800084951915700", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EIno", "number": "26.40034473705925898683359458916294873874692956471984757715406864282646113475270784881337948233865451", "polynomial": "x^6 - 9*x^4 - 4*x^3 + 7*x^2", "walk_terms": 116, "walk_enclosure": "26.40034473705925898683359458916294873874692956471984757715406864282646113475270784881337948233865450552327169889648", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EInw", "number": "37.46852805493222336847477727061575633884409047576470267901650998026953683992397823700727048994941947", "polynomial": "x^6 - 10*x^4 - 10*x^3 + 5*x^2 + 4*x", "walk_terms": 124, "walk_enclosure": "37.46852805493222336847477727061575633884409047576470267901650998026953683992397823700727048994941947290278044364011", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJYW", "number": "22.81994169259164923515113482168475154727762372412029750760227709611147290508127525767845915654526537", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 7*x^2 + 4*x", "walk_terms": 106, "walk_enclosure": "22.81994169259164923515113482168475154727762372412029750760227709611147290508127525767845915654526536724494359265056", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJ]w", "number": "43.63279813769479491239077260130484186009454717545736303129775932650031060752709171931374196574627748", "polynomial": "x^6 - 10*x^4 - 14*x^3 + 8*x + 3", "walk_terms": 116, "walk_enclosure": "43.63279813769479491239077260130484186009454717545736303129775932650031060752709171931374196574627748497233930755017", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJ^w", "number": "60.41612083325100826264428586888690705733095254220827270141893751370015228049253762748364123451264469", "polynomial": "x^6 - 11*x^4 - 20*x^3 - 9*x^2 + 4*x + 3", "walk_terms": 124, "walk_enclosure": "60.41612083325100826264428586888690705733095254220827270141893751370015228049253762748364123451264469305139744155112", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "EJeg", "number": "21.33698818298756547854927223053133877847941481434033381688916353194469699107339337367456874115958614", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 12*x^2 + 8*x", "walk_terms": 106, "walk_enclosure": "21.33698818298756547854927223053133877847941481434033381688916353194469699107339337367456874115958614132205639285396", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJmw", "number": "39.37754018865818202526752638202137616619207766948548286330129537816393699934216828353379341303049731", "polynomial": "x^6 - 10*x^4 - 12*x^3 + 5*x^2 + 12*x + 4", "walk_terms": 116, "walk_enclosure": "39.37754018865818202526752638202137616619207766948548286330129537816393699934216828353379341303049731308067455889434", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJnW", "number": "36.35231114395283316985861176275164928691349001923772495790961935257064299736263138322758714703854010", "polynomial": "x^6 - 10*x^4 - 10*x^3 + 8*x^2 + 8*x", "walk_terms": 116, "walk_enclosure": "36.35231114395283316985861176275164928691349001923772495790961935257064299736263138322758714703854009731016033620110", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJnw", "number": "51.04427106002366658511951247720673382675860517562792053570651984825590277609949045289399403759154171", "polynomial": "x^6 - 11*x^4 - 16*x^3 + x^2 + 10*x + 3", "walk_terms": 124, "walk_enclosure": "51.04427106002366658511951247720673382675860517562792053570651984825590277609949045289399403759154170734671221696200", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJqw", "number": "26.98958383521723091835554254086270924041831060085312236539737288947469391802531948790563057981034620", "polynomial": "x^6 - 9*x^4 - 6*x^3 + 11*x^2 + 8*x - 1", "walk_terms": 116, "walk_enclosure": "26.98958383521723091835554254086270924041831060085312236539737288947469391802531948790563057981034620225575145994706", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJ~o", "number": "49.02944863285200034433089915312327661624596049903937980190069935573945244306740087159367781359570552", "polynomial": "x^6 - 11*x^4 - 14*x^3 + 4*x", "walk_terms": 116, "walk_enclosure": "49.02944863285200034433089915312327661624596049903937980190069935573945244306740087159367781359570551628802088346310", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EJ~w", "number": "69.78737162698521262142701553518156957230878523664423462259363457678817409292391462866331763446198371", "polynomial": "x^6 - 12*x^4 - 22*x^3 - 9*x^2 + 6*x + 4", "walk_terms": 124, "walk_enclosure": "69.78737162698521262142701553518156957230878523664423462259363457678817409292391462866331763446198370798093945115782", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "EKNG", "number": "16.53061273073320360314153484416136710367111659746301774009424313110023060821163319452398062654257834", "polynomial": "x^6 - 7*x^4 + 7*x^2 - 1", "walk_terms": 106, "walk_enclosure": "16.53061273073320360314153484416136710367111659746301774009424313110023060821163319452398062654257833773195595227962", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EK\\w", "number": "32.84085642162487728006956989363262446851791826640278570746988209861249087746140529909584877921702892", "polynomial": "x^6 - 9*x^4 - 10*x^3 + 5*x^2 + 10*x + 3", "walk_terms": 116, "walk_enclosure": "32.84085642162487728006956989363262446851791826640278570746988209861249087746140529909584877921702892230281091688698", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EK]w", "number": "29.13572910598148718252857107954817649258518590793404270943789870398912354578303257926124476486134502", "polynomial": "x^6 - 9*x^4 - 8*x^3 + 10*x^2 + 12*x + 3", "walk_terms": 116, "walk_enclosure": "29.13572910598148718252857107954817649258518590793404270943789870398912354578303257926124476486134501781050869674454", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EK^w", "number": "38.66483722921701877205712499316739727933010147683114916277668278214323980655936379794614093395988383", "polynomial": "x^6 - 10*x^4 - 12*x^3 + 7*x^2 + 14*x + 4", "walk_terms": 124, "walk_enclosure": "38.66483722921701877205712499316739727933010147683114916277668278214323980655936379794614093395988382616256542803505", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EK`w", "number": "17.80755456648987379016467134244455725569149274381499709482091029576999990340553785713808862905192889", "polynomial": "x^6 - 7*x^4 - 2*x^3 + 8*x^2 + 4*x", "walk_terms": 116, "walk_enclosure": "17.80755456648987379016467134244455725569149274381499709482091029576999990340553785713808862905192889087354309552107", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EK~o", "number": "33.69224872483780886410560587838911640651482405033601282281782927685447348654003112435674961343655260", "polynomial": "x^6 - 10*x^4 - 8*x^3 + 9*x^2 + 8*x", "walk_terms": 116, "walk_enclosure": "33.69224872483780886410560587838911640651482405033601282281782927685447348654003112435674961343655260046170286079355", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EK~w", "number": "49.97273078454593505759150576262690774682688316273205843591097877295947555488995240943558763450132564", "polynomial": "x^6 - 11*x^4 - 16*x^3 + 3*x^2 + 16*x + 7", "walk_terms": 124, "walk_enclosure": "49.97273078454593505759150576262690774682688316273205843591097877295947555488995240943558763450132564031829886142260", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "ELpw", "number": "27.25140317602135512051224133235176242732660827294830313764938722189744634301003906579440341544454475", "polynomial": "x^6 - 9*x^4 - 6*x^3 + 11*x^2 + 4*x - 4", "walk_terms": 116, "walk_enclosure": "27.25140317602135512051224133235176242732660827294830313764938722189744634301003906579440341544454475497919218504079", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "ELrw", "number": "35.82614333907259287257502541600035567916009235109287333372818164242763082219584369125083194954636978", "polynomial": "x^6 - 10*x^4 - 10*x^3 + 10*x^2 + 8*x - 5", "walk_terms": 124, "walk_enclosure": "35.82614333907259287257502541600035567916009235109287333372818164242763082219584369125083194954636977781572868067689", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "ELv_", "number": "25.07448931811993836007681611587934920156041802407326148228221960273106925664849670565007558375949823", "polynomial": "x^6 - 9*x^4 - 4*x^3 + 12*x^2", "walk_terms": 106, "walk_enclosure": "25.07448931811993836007681611587934920156041802407326148228221960273106925664849670565007558375949822709122858216322", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EL~o", "number": "44.77854864086905495081868397255061673909177601142408878781414795661379633291256473414097625636619366", "polynomial": "x^6 - 11*x^4 - 12*x^3 + 5*x^2 + 4*x", "walk_terms": 116, "walk_enclosure": "44.77854864086905495081868397255061673909177601142408878781414795661379633291256473414097625636619366495426692663159", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EL~w", "number": "64.75525033301492372006726967845256650696778467088152184329829911816165945247874605206651602241476298", "polynomial": "x^6 - 12*x^4 - 20*x^3 - 4*x^2 + 8*x + 3", "walk_terms": 124, "walk_enclosure": "64.75525033301492372006726967845256650696778467088152184329829911816165945247874605206651602241476298065402820814862", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "ENzw", "number": "61.63157148096888473231916484993454975683064376182186660833810862884136603439899719763618775807029953", "polynomial": "x^6 - 12*x^4 - 18*x^3 - 3*x^2 + 4*x", "walk_terms": 124, "walk_enclosure": "61.63157148096888473231916484993454975683064376182186660833810862884136603439899719763618775807029952969433073885438", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "EN~w", "number": "86.47788631925013656956812285834191826467675651178400902692774961946849108976813420345278954578892700", "polynomial": "x^6 - 13*x^4 - 26*x^3 - 15*x^2 + 2*x + 3", "walk_terms": 124, "walk_enclosure": "86.47788631925013656956812285834191826467675651178400902692774961946849108976813420345278954578892699773999400177807", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "EPTW", "number": "19.47777036590806522405243511770136293246126850877862048715644024616906419136844048333622514441687051", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 8*x^2 + 6*x", "walk_terms": 106, "walk_enclosure": "19.47777036590806522405243511770136293246126850877862048715644024616906419136844048333622514441687050660249350236780", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "ER^W", "number": "37.06649006102879756995476665447427813921659934273312612415335089589844903306637928110225787376605137", "polynomial": "x^6 - 10*x^4 - 10*x^3 + 6*x^2 + 6*x - 1", "walk_terms": 116, "walk_enclosure": "37.06649006102879756995476665447427813921659934273312612415335089589844903306637928110225787376605136849858333373244", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E]~o", "number": "57.86882059961746446189826019280584720960600013043322048876291170386180884813884486155117680692604824", "polynomial": "x^6 - 12*x^4 - 16*x^3", "walk_terms": 116, "walk_enclosure": "57.86882059961746446189826019280584720960600013043322048876291170386180884813884486155117680692604824029427002015035", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "E]~w", "number": "81.98090426566741387924491566952661054717401684357759540508358597782154382846968507720853449032807677", "polynomial": "x^6 - 13*x^4 - 24*x^3 - 12*x^2", "walk_terms": 124, "walk_enclosure": "81.98090426566741387924491566952661054717401684357759540508358597782154382846968507720853449032807677460423314010508", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "E^~w", "number": "112.4050939022633663779273387904011014294132731580345155708912404719698692287346194809576000190094357", "polynomial": "x^6 - 14*x^4 - 32*x^3 - 27*x^2 - 8*x", "walk_terms": 124, "walk_enclosure": "112.4050939022633663779273387904011014294132731580345155708912404719698692287346194809576000190094357007089765888359", "spectral_accuracy_bits": 408, "working_precision_bits": 413 }, { "g": "E_Nw", "number": "24.05038643267256966421063196673588711111153477498916128128025948013671258563279596522086176519995737", "polynomial": "x^6 - 8*x^4 - 6*x^3 + 9*x^2 + 8*x", "walk_terms": 124, "walk_enclosure": "24.05038643267256966421063196673588711111153477498916128128025948013671258563279596522086176519995736645740894217057", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E_]o", "number": "16.26295642048483179264337430833774049289370811348800939925864646714617508930273528572597885270012348", "polynomial": "x^6 - 7*x^4 + 9*x^2 - 4*x", "walk_terms": 106, "walk_enclosure": "16.26295642048483179264337430833774049289370811348800939925864646714617508930273528572597885270012347892773032178407", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "E_]w", "number": "22.78802175290305718888874946597476069662661449797969730219089547203791494613940011032077784148659492", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 8*x^2", "walk_terms": 116, "walk_enclosure": "22.78802175290305718888874946597476069662661449797969730219089547203791494613940011032077784148659492197105927582780", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E`Lw", "number": "26.69464300649055905155411841815312454411413035723878169613634522560481095780614865630142914083310885", "polynomial": "x^6 - 8*x^4 - 8*x^3 + 6*x^2 + 10*x + 3", "walk_terms": 116, "walk_enclosure": "26.69464300649055905155411841815312454411413035723878169613634522560481095780614865630142914083310885111635729949838", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E`NG", "number": "18.40674732464948550871151168074837021436199669810785073751755834508916291729204831188869720087301060", "polynomial": "x^6 - 7*x^4 - 4*x^3 + 11*x^2 + 12*x + 3", "walk_terms": 106, "walk_enclosure": "18.40674732464948550871151168074837021436199669810785073751755834508916291729204831188869720087301059789000595925059", "spectral_accuracy_bits": 410, "working_precision_bits": 413 }, { "g": "E`NW", "number": "23.16353891945850650848323507913523086853143016140714980134432819261481552484372084623807826720007519", "polynomial": "x^6 - 8*x^4 - 6*x^3 + 11*x^2 + 14*x + 4", "walk_terms": 116, "walk_enclosure": "23.16353891945850650848323507913523086853143016140714980134432819261481552484372084623807826720007518553410524297257", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E`Nw", "number": "31.22029660243527291400492183426539869214453286142936793906295724453504451010189320126747668878838965", "polynomial": "x^6 - 9*x^4 - 10*x^3 + 9*x^2 + 18*x + 7", "walk_terms": 124, "walk_enclosure": "31.22029660243527291400492183426539869214453286142936793906295724453504451010189320126747668878838965439338398831002", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E`]o", "number": "21.60847244926498681792302166404352018033583206247129367074060142939680273032156279585994514583720805", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 12*x^2 + 4*x - 5", "walk_terms": 106, "walk_enclosure": "21.60847244926498681792302166404352018033583206247129367074060142939680273032156279585994514583720805337932230428662", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E`]w", "number": "29.94554058242009523649510691255405682520545985939103416970471680222268251835531313245568748457644846", "polynomial": "x^6 - 9*x^4 - 8*x^3 + 8*x^2 + 8*x", "walk_terms": 116, "walk_enclosure": "29.94554058242009523649510691255405682520545985939103416970471680222268251835531313245568748457644846058831213062077", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EaMw", "number": "22.32442444693333416342760664701302508305497062012640664307266107474621061005274232822004472653759882", "polynomial": "x^6 - 8*x^4 - 4*x^3 + 9*x^2 + 4*x - 1", "walk_terms": 116, "walk_enclosure": "22.32442444693333416342760664701302508305497062012640664307266107474621061005274232822004472653759881645863025624511", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "Ebnw", "number": "47.51292179429161374904550587651745647948160123098256645892037650990501828412538734101730873535437195", "polynomial": "x^6 - 11*x^4 - 14*x^3 + 4*x^2 + 8*x", "walk_terms": 124, "walk_enclosure": "47.51292179429161374904550587651745647948160123098256645892037650990501828412538734101730873535437194736399995422952", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "Ejmw", "number": "45.41032920176610479692696434088890956476438458858066310778301746115886534066699024107768598718015018", "polynomial": "x^6 - 11*x^4 - 12*x^3 + 3*x^2 + 4*x - 1", "walk_terms": 116, "walk_enclosure": "45.41032920176610479692696434088890956476438458858066310778301746115886534066699024107768598718015017631983131876999", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "Ek]w", "number": "33.94367187813522733671807211932433799146943644693968612543938710905342668011524979616652586858964823", "polynomial": "x^6 - 10*x^4 - 8*x^3 + 9*x^2 + 4*x - 1", "walk_terms": 116, "walk_enclosure": "33.94367187813522733671807211932433799146943644693968612543938710905342668011524979616652586858964822863151035467594", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "EoLW", "number": "17.24216166690282471357015565801550191665639486698990030744766336573036841520274315905546560919022566", "polynomial": "x^6 - 7*x^4 - 2*x^3 + 11*x^2 + 2*x - 4", "walk_terms": 106, "walk_enclosure": "17.24216166690282471357015565801550191665639486698990030744766336573036841520274315905546560919022566272142795377725", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "Es\\w", "number": "33.55406416749252290052532486501762561169413211202124322549855113845739913924833615589241354626220498", "polynomial": "x^6 - 10*x^4 - 6*x^3 + 3*x^2", "walk_terms": 116, "walk_enclosure": "33.55406416749252290052532486501762561169413211202124322549855113845739913924833615589241354626220498060485760469876", "spectral_accuracy_bits": 409, "working_precision_bits": 413 }, { "g": "E~~w", "number": "150.2525563084338150290931988913595839607167232490378282192920291193993722996830750964741458316286194", "polynomial": "x^6 - 15*x^4 - 40*x^3 - 45*x^2 - 24*x - 5", "walk_terms": 124, "walk_enclosure": "150.2525563084338150290931988913595839607167232490378282192920291193993722996830750964741458316286193600259448970505", "spectral_accuracy_bits": 410, "working_precision_bits": 413 } ] }