back to table · edit · history · where entries came from · files · download
115149 bytes, as of the version from 2026-10-27 03:45 (current). Recorded here, not run.
{
"table": "T536",
"mode": "offline",
"skill_manifest": "agents/runs/20261027T033406Z-build-skills/manifest.json",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sage_version": "10.9",
"numberdb_version": "0.1.10",
"counts_by_order": {
"2": 1,
"3": 2,
"4": 6,
"5": 21,
"6": 112
},
"checks": {
"independent_polynomials": 142,
"tree_determinant_and_inertia": 13,
"complete_graph_formula": 5,
"complete_bipartite_formula": 9,
"constant_transmission_formula": 11,
"regular_diameter_two_formula": 10,
"path_fiedler_matrix_identity": 5,
"exact_rational": 12,
"stored_fiedler_eigenvalues": 5,
"independent_rational_bounds": 142,
"certified_100_digit_decimal": 130,
"cycle_formula": 4
},
"controls": "passed before catalogue checks",
"minimum_ball_relative_bits": 393,
"maximum_power_iterations": 543,
"measurement": {
"entries": 142,
"longest": 137,
"longest_at": "E@FG",
"block_kb": 23.8984375
},
"longest_stored_number": 101,
"records": [
{
"g": "A_",
"number": "1",
"polynomial_coefficients": [
-1,
0,
1
],
"independent_bounds": [
"1",
"1"
],
"iterations": 1
},
{
"g": "BW",
"number": "2.732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248576",
"polynomial_coefficients": [
-4,
-6,
0,
1
],
"independent_bounds": [
"54641016151377545870548926830117447338856105076207612561116139589038660338176000741622923735144971513512522828308133517/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"546410161513775458705489268301174473388561050762076125611161395890386603381760007416229237351449715135125228283081360893/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 202
},
{
"g": "Bw",
"number": "2",
"polynomial_coefficients": [
-2,
-3,
0,
1
],
"independent_bounds": [
"2",
"2"
],
"iterations": 1
},
{
"g": "CF",
"number": "4.645751311064590590501615753639260425710259183082450180368334459201068823230283627760392886474543611",
"polynomial_coefficients": [
-12,
-28,
-15,
0,
1
],
"independent_bounds": [
"4645751311064590590501615753639260425710259183082450180368334459201068823230283627760392886474543610615064578338497115233/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4645751311064590590501615753639260425710259183082450180368334459201068823230283627760392886474543610615064578338497511449/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 135
},
{
"g": "CL",
"number": "5.162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295",
"polynomial_coefficients": [
-12,
-32,
-20,
0,
1
],
"independent_bounds": [
"1290569415042094832999723386108179633429888784831304206714376213198148609659809555336062027094825073796836821038209994251/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2520643388754091470702584738492538346542751532873641028739016041402634003241815537765746146669580222259446916090253953/488281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 179
},
{
"g": "CN",
"number": "4.099647729675863158675706515466927602319390690346127273803750827689158883277832141800557412376273377",
"polynomial_coefficients": [
-7,
-18,
-12,
0,
1
],
"independent_bounds": [
"2049823864837931579337853257733463801159695345173063636901875413844579441638916070900278706188136688731962061022372310789/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4099647729675863158675706515466927602319390690346127273803750827689158883277832141800557412376273377463924122044744864231/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 487
},
{
"g": "C]",
"number": "4",
"polynomial_coefficients": [
0,
-16,
-12,
0,
1
],
"independent_bounds": [
"4",
"4"
],
"iterations": 1
},
{
"g": "C^",
"number": "3.561552812808830274910704927987038512573599612686810217199316786547477173168810796793931825405342148",
"polynomial_coefficients": [
-4,
-12,
-9,
0,
1
],
"independent_bounds": [
"1780776406404415137455352463993519256286799806343405108599658393273738586584405398396965912702671074171136010234803497783/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"445194101601103784363838115998379814071699951585851277149914598318434646646101349599241478175667768542784002558700899279/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 144
},
{
"g": "C~",
"number": "3",
"polynomial_coefficients": [
-3,
-8,
-6,
0,
1
],
"independent_bounds": [
"3",
"3"
],
"iterations": 1
},
{
"g": "D?{",
"number": "6.605551275463989293119221267470495946251296573845246212710453056227166948293010445204619082018490718",
"polynomial_coefficients": [
-32,
-96,
-88,
-28,
0,
1
],
"independent_bounds": [
"6605551275463989293119221267470495946251296573845246212710453056227166948293010445204619082018490717673514182024063516293/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"165138781886599732327980531686762398656282414346131155317761326405679173707325261130115477050462267941837854550601595077/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 112
},
{
"g": "D@s",
"number": "7.459294270913428162433205013554037487795044817926997559974706940831408777556070525950059733540536784",
"polynomial_coefficients": [
-32,
-112,
-116,
-38,
0,
1
],
"independent_bounds": [
"3729647135456714081216602506777018743897522408963498779987353470415704388778035262975029866770268391979190521483936744021/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7459294270913428162433205013554037487795044817926997559974706940831408777556070525950059733540536783958381042967874117091/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 400
},
{
"g": "D@{",
"number": "6.176436314473940161400052549570315708794081228551998666981668935370174219918156562654580826816612427",
"polynomial_coefficients": [
-20,
-66,
-70,
-25,
0,
1
],
"independent_bounds": [
"6176436314473940161400052549570315708794081228551998666981668935370174219918156562654580826816612426841131736668836174511/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"12352872628947880322800105099140631417588162457103997333963337870740348439836313125309161653633224853682263473337673139/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 297
},
{
"g": "DBg",
"number": "8.288215751900178950371746248678562671344866133244798081722290871373455831531987299124399967819960068",
"polynomial_coefficients": [
-32,
-120,
-140,
-50,
0,
1
],
"independent_bounds": [
"259006742246880592199117070271205083479527066663899940053821589730420494735374603097637498994373752123503814748554117581/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8288215751900178950371746248678562671344866133244798081722290871373455831531987299124399967819960067952122071953732263023/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 170
},
{
"g": "DBk",
"number": "6.637519478750677316156696280583774841913522961674326189403940151469115887764029425768788465127360627",
"polynomial_coefficients": [
-20,
-72,
-82,
-30,
0,
1
],
"independent_bounds": [
"265500779150027092646267851223350993676540918466973047576157606058764635510561177030751538605094425063747694553957619859/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6637519478750677316156696280583774841913522961674326189403940151469115887764029425768788465127360626593692363848940763547/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 204
},
{
"g": "DB{",
"number": "5.759554956003028132093414842872558986575440473758742381839594459818255139180555632039823391844505605",
"polynomial_coefficients": [
-12,
-46,
-56,
-22,
0,
1
],
"independent_bounds": [
"719944369500378516511676855359069873321930059219842797729949307477281892397569454004977923980563200631506410661324340649/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2879777478001514066046707421436279493287720236879371190919797229909127569590277816019911695922252802526025642645297600709/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 307
},
{
"g": "DFw",
"number": "5.645751311064590590501615753639260425710259183082450180368334459201068823230283627760392886474543611",
"polynomial_coefficients": [
16,
-24,
-52,
-22,
0,
1
],
"independent_bounds": [
"45166010488516724724012926029114083405682073464659601442946675673608550585842269022083143091796348884920516626707979487/8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"705718913883073823812701969204907553213782397885306272546041807400133602903785453470049110809317951326883072292312184423/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 97
},
{
"g": "DF{",
"number": "5.372281323269014329925305734109464659110132228991396183849938735282950360728702313513562682798394061",
"polynomial_coefficients": [
-8,
-36,
-46,
-19,
0,
1
],
"independent_bounds": [
"1074456264653802865985061146821892931822026445798279236769987747056590072145740462702712536559678812241955747694565064543/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2686140661634507164962652867054732329555066114495698091924969367641475180364351156756781341399197030604889369236412862753/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 100
},
{
"g": "DIk",
"number": "6.538120588189747960021694933395472939464804936318637666068341087169715470546716525799027254611097423",
"polynomial_coefficients": [
0,
-48,
-76,
-30,
0,
1
],
"independent_bounds": [
"6538120588189747960021694933395472939464804936318637666068341087169715470546716525799027254611097422786435248735540094263/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"20431626838092962375067796666860852935827515425995742706463565897405360845458489143121960170659679446207610152298564657/3125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 418
},
{
"g": "DJk",
"number": "6.216093478037556083123107398743380015589001798356771276356918801906444630229964359527550111414434658",
"polynomial_coefficients": [
-12,
-50,
-64,
-27,
0,
1
],
"independent_bounds": [
"6216093478037556083123107398743380015589001798356771276356918801906444630229964359527550111414434658195129345233969067491/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3108046739018778041561553699371690007794500899178385638178459400953222315114982179763775055707217329097564672616984774609/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 475
},
{
"g": "DJ{",
"number": "5.344101953856734878344645526995957078769595652192982726544581295970003080172280804128246391599700512",
"polynomial_coefficients": [
-10,
-36,
-44,
-19,
0,
1
],
"independent_bounds": [
"1336025488464183719586161381748989269692398913048245681636145323992500770043070201032061597899925127978747157806171904537/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5344101953856734878344645526995957078769595652192982726544581295970003080172280804128246391599700511914988631224687967751/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 374
},
{
"g": "DK[",
"number": "7.008607590101196064398798693505261146041916386456766158552076972131312213525592252405542238541492250",
"polynomial_coefficients": [
-20,
-74,
-88,
-35,
0,
1
],
"independent_bounds": [
"1401721518020239212879759738701052229208383277291353231710415394426262442705118450481108447708298450023638680733976586917/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3504303795050598032199399346752630573020958193228383079276038486065656106762796126202771119270746125059096701834941699153/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 531
},
{
"g": "DK{",
"number": "5.701562118716424343244108837310906632260210066310509442764636313334091379098438037144677151124934982",
"polynomial_coefficients": [
-12,
-43,
-52,
-22,
0,
1
],
"independent_bounds": [
"356347632419776521452756802331931664516263129144406840172789769583380711193652377321542321945308436349087869765743661487/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5701562118716424343244108837310906632260210066310509442764636313334091379098438037144677151124934981585405916251898655337/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 128
},
{
"g": "DLo",
"number": "6",
"polynomial_coefficients": [
-6,
-35,
-60,
-25,
0,
1
],
"independent_bounds": [
"6",
"6"
],
"iterations": 1
},
{
"g": "DL{",
"number": "5.292579941397382988462873482806539078290757213908552043130256646814500014700555254282946181667201384",
"polynomial_coefficients": [
-6,
-29,
-42,
-19,
0,
1
],
"independent_bounds": [
"2646289970698691494231436741403269539145378606954276021565128323407250007350277627141473090833600692191344701772110493749/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5292579941397382988462873482806539078290757213908552043130256646814500014700555254282946181667201384382689403544221211057/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 218
},
{
"g": "DNw",
"number": "5.223861091336562290712446137350899199853715513366496509967119589905337488351075154918039518654610235",
"polynomial_coefficients": [
4,
-18,
-40,
-19,
0,
1
],
"independent_bounds": [
"5223861091336562290712446137350899199853715513366496509967119589905337488351075154918039518654610235265339600495814273543/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5223861091336562290712446137350899199853715513366496509967119589905337488351075154918039518654610235265339600495814591773/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 337
},
{
"g": "DN{",
"number": "4.901799616122767589724438396507893410073196227938872470547867866464590020260870190406101946069017205",
"polynomial_coefficients": [
-6,
-25,
-34,
-16,
0,
1
],
"independent_bounds": [
"4901799616122767589724438396507893410073196227938872470547867866464590020260870190406101946069017204682545953646492695637/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4901799616122767589724438396507893410073196227938872470547867866464590020260870190406101946069017204682545953646493107337/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 367
},
{
"g": "D]{",
"number": "4.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145",
"polynomial_coefficients": [
0,
-16,
-32,
-16,
0,
1
],
"independent_bounds": [
"603553390593273762200422181052424519642417968844237018294169934497683119615526759712596883581910393183753461557728056423/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"150888347648318440550105545263106129910604492211059254573542483624420779903881689928149220895477598295938365389432019329/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 151
},
{
"g": "D^{",
"number": "4.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640235",
"polynomial_coefficients": [
-4,
-18,
-26,
-13,
0,
1
],
"independent_bounds": [
"1112372435695794524549321018676472847991486870164167532108173141812740094364328756634964858276160058704648650306653507511/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2224744871391589049098642037352945695982973740328335064216346283625480188728657513269929716552320117409297300613307174103/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 116
},
{
"g": "Dbk",
"number": "5.635128415952847683392628140931560746756809197267229533769751009289379978389996138031317081911266247",
"polynomial_coefficients": [
0,
-28,
-50,
-22,
0,
1
],
"independent_bounds": [
"5635128415952847683392628140931560746756809197267229533769751009289379978389996138031317081911266247280471980501446858217/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2817564207976423841696314070465780373378404598633614766884875504644689989194998069015658540955633123640235990250723664287/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 362
},
{
"g": "D~{",
"number": "4",
"polynomial_coefficients": [
-4,
-15,
-20,
-10,
0,
1
],
"independent_bounds": [
"4",
"4"
],
"iterations": 1
},
{
"g": "E?Bw",
"number": "8.582575694955840006588047193728008488984456576767971902607242123906868425547770886604361559493445033",
"polynomial_coefficients": [
-80,
-288,
-360,
-200,
-45,
0,
1
],
"independent_bounds": [
"8582575694955840006588047193728008488984456576767971902607242123906868425547770886604361559493445032677600905397585732103/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4291287847477920003294023596864004244492228288383985951303621061953434212773885443302180779746722516338800452698792935033/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 100
},
{
"g": "E?Fg",
"number": "9.670211018734627189228617714528282628234663854278607846356762400771157566469275270689222319567798188",
"polynomial_coefficients": [
-80,
-336,
-468,
-272,
-60,
0,
1
],
"independent_bounds": [
"9670211018734627189228617714528282628234663854278607846356762400771157566469275270689222319567798187790440939795792873473/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"483510550936731359461430885726414131411733192713930392317838120038557878323463763534461115978389909389522046989789688499/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 311
},
{
"g": "E?Fw",
"number": "8.229715652120553373467794397941149509198491240148617129252458453796052353354843446254494038403950360",
"polynomial_coefficients": [
-52,
-204,
-285,
-174,
-42,
0,
1
],
"independent_bounds": [
"514357228257534585841737149871321844324905702509288570578278653362253272084677715390905877400246897530395891075132040271/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8229715652120553373467794397941149509198491240148617129252458453796052353354843446254494038403950360486334257202113445117/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 231
},
{
"g": "E?NG",
"number": "10",
"polynomial_coefficients": [
-80,
-352,
-504,
-296,
-65,
0,
1
],
"independent_bounds": [
"9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999908333/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000412501/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 116
},
{
"g": "E?NW",
"number": "8.990900305708534201682537819141873414188355327914355847197855129765655045969610028581973813062396994",
"polynomial_coefficients": [
-52,
-228,
-345,
-218,
-52,
0,
1
],
"independent_bounds": [
"2247725076427133550420634454785468353547088831978588961799463782441413761492402507145493453265599248458509473322267844249/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1798180061141706840336507563828374682837671065582871169439571025953131009193922005716394762612479398766807578657814393387/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 313
},
{
"g": "E?Nw",
"number": "7.888793405231792297363150391889215758177958270756000349894833698927500627537168790783908560826317915",
"polynomial_coefficients": [
-32,
-144,
-228,
-152,
-39,
0,
1
],
"independent_bounds": [
"1577758681046358459472630078377843151635591654151200069978966739785500125507433758156781712165263583013056736008968761779/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"123262396956746754646299224873268996221530597980562505467106776545742197305268262355998571262911217422895057500700691157/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 242
},
{
"g": "E?]o",
"number": "9.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566291",
"polynomial_coefficients": [
0,
-128,
-320,
-248,
-64,
0,
1
],
"independent_bounds": [
"9656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566290940055384923648902769/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"9656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566290940055384923649473431/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 151
},
{
"g": "E?]w",
"number": "8.288215751900178950371746248678562671344866133244798081722290871373455831531987299124399967819960068",
"polynomial_coefficients": [
-32,
-152,
-252,
-172,
-44,
0,
1
],
"independent_bounds": [
"259006742246880592199117070271205083479527066663899940053821589730420494735374603097637498994373752123503814748554117581/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4144107875950089475185873124339281335672433066622399040861145435686727915765993649562199983909980033976061035976866026763/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 170
},
{
"g": "E?^o",
"number": "8.146800595958766194490816839838282450465894536561965486208464511578214144547629288282298072338737691",
"polynomial_coefficients": [
48,
-16,
-180,
-160,
-44,
0,
1
],
"independent_bounds": [
"8146800595958766194490816839838282450465894536561965486208464511578214144547629288282298072338737691216158933116047377441/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8146800595958766194490816839838282450465894536561965486208464511578214144547629288282298072338737691216158933116047809533/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 315
},
{
"g": "E?^w",
"number": "7.567276711409522560638865940600100219492452075976280276012812367876058127367819645952942247081347434",
"polynomial_coefficients": [
-20,
-108,
-189,
-134,
-36,
0,
1
],
"independent_bounds": [
"3783638355704761280319432970300050109746226037988140138006406183938029063683909822976471123540673717202015967617280868203/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7567276711409522560638865940600100219492452075976280276012812367876058127367819645952942247081347434404031935234562060293/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 236
},
{
"g": "E?~o",
"number": "7.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
"polynomial_coefficients": [
64,
0,
-144,
-128,
-36,
0,
1
],
"independent_bounds": [
"7464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151351252282830813351701/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406710313/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 102
},
{
"g": "E?~w",
"number": "7.274917217635374848618342403473058529111097352311690069149313452855360976958905597791226037073761986",
"polynomial_coefficients": [
-16,
-96,
-168,
-120,
-33,
0,
1
],
"independent_bounds": [
"727491721763537484861834240347305852911109735231169006914931345285536097695890559779122603707376198629224027115175784441/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7274917217635374848618342403473058529111097352311690069149313452855360976958905597791226037073761986292240271151758073657/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 82
},
{
"g": "E@FG",
"number": "11.05878486949216080547708779351584379966310305845069350967229464688083704469526902060289649616480594",
"polynomial_coefficients": [
-80,
-368,
-580,
-368,
-84,
0,
1
],
"independent_bounds": [
"11058784869492160805477087793515843799663103058450693509672294646880837044695269020602896496164805936558580948474975842603/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5529392434746080402738543896757921899831551529225346754836147323440418522347634510301448248082402968279290474237488262739/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 452
},
{
"g": "E@JW",
"number": "8.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280470",
"polynomial_coefficients": [
0,
-128,
-288,
-208,
-52,
0,
1
],
"independent_bounds": [
"8898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228244557/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228410391/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 117
},
{
"g": "E@NW",
"number": "8.637759361129662102148483197888900557899877717903538138926609387989050091045836853379650620030344859",
"polynomial_coefficients": [
-32,
-160,
-268,
-188,
-49,
0,
1
],
"independent_bounds": [
"1727551872225932420429696639577780111579975543580707627785321877597810018209167370675930124006068971752817701907155092889/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1727551872225932420429696639577780111579975543580707627785321877597810018209167370675930124006068971752817701907155204539/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 356
},
{
"g": "E@Nw",
"number": "7.554564277386919362774449880271303396069502167737382725675635821475182316982946830625816662751923839",
"polynomial_coefficients": [
-28,
-120,
-189,
-132,
-36,
0,
1
],
"independent_bounds": [
"3777282138693459681387224940135651698034751083868691362837817910737591158491473415312908331375961919353872805841381355683/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1888641069346729840693612470067825849017375541934345681418908955368795579245736707656454165687980959676936402920690853261/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 278
},
{
"g": "E@QW",
"number": "10.74240472910472916908291044199956316489767941661348617768463075654630879070548453925384739483275944",
"polynomial_coefficients": [
-80,
-368,
-572,
-356,
-77,
0,
1
],
"independent_bounds": [
"10742404729104729169082910441999563164897679416613486177684630756546308790705484539253847394832759444858110206859259158649/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1074240472910472916908291044199956316489767941661348617768463075654630879070548453925384739483275944485811020685925996801/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 204
},
{
"g": "E@Rw",
"number": "7.852644393530912526622150298105355938395854109001691956865370786644459093497515401988188096639631198",
"polynomial_coefficients": [
-33,
-140,
-217,
-148,
-39,
0,
1
],
"independent_bounds": [
"7852644393530912526622150298105355938395854109001691956865370786644459093497515401988188096639631198305902354107715626249/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1570528878706182505324430059621071187679170821800338391373074157328891818699503080397637619327926239661180470821543256201/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 209
},
{
"g": "E@UW",
"number": "9.385164807134504031250710491540329556295120161644788837680388670016645962827658692876633781679835484",
"polynomial_coefficients": [
-52,
-240,
-384,
-248,
-57,
0,
1
],
"independent_bounds": [
"4692582403567252015625355245770164778147560080822394418840194335008322981413829346438316890839917742209352410896972858137/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"9385164807134504031250710491540329556295120161644788837680388670016645962827658692876633781679835484418704821793945857327/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 140
},
{
"g": "E@Vw",
"number": "7.522196964570767434938017382530367343908765557314464055986180481639900169074654448493116624818980613",
"polynomial_coefficients": [
-17,
-94,
-174,
-130,
-36,
0,
1
],
"independent_bounds": [
"7522196964570767434938017382530367343908765557314464055986180481639900169074654448493116624818980613052701247419874264099/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7522196964570767434938017382530367343908765557314464055986180481639900169074654448493116624818980613052701247419874706313/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 234
},
{
"g": "E@YO",
"number": "12.10931150391298370620983766694289660538155474524907660481956459561042424295026087351713470158328136",
"polynomial_coefficients": [
-80,
-384,
-648,
-448,
-105,
0,
1
],
"independent_bounds": [
"12109311503912983706209837666942896605381554745249076604819564595610424242950260873517134701583281355681327819816285370297/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"378415984497280740819057427091965518918173585789033643900611393612825757592195652297410459424477542365041494369258933787/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 166
},
{
"g": "E@YW",
"number": "9.260584690415349079941152017645486242816527934321247053809457608026135454885875756191557845981223551",
"polynomial_coefficients": [
0,
-128,
-304,
-232,
-57,
0,
1
],
"independent_bounds": [
"9260584690415349079941152017645486242816527934321247053809457608026135454885875756191557845981223550540448599869967225001/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"370423387616613963197646080705819449712661117372849882152378304321045418195435030247662313839248942021617943994798702361/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 247
},
{
"g": "E@]o",
"number": "9.424428900898052360873105707458812240848068143721382085861577264918220291853839315046600392057712881",
"polynomial_coefficients": [
-32,
-168,
-304,
-228,
-61,
0,
1
],
"independent_bounds": [
"1884885780179610472174621141491762448169613628744276417172315452983644058370767863009320078411542576243810119887174888661/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2356107225224513090218276426864703060212017035930345521465394316229555072963459828761650098014428220304762649858968710749/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 172
},
{
"g": "E@]w",
"number": "7.977672660429449279764716873787928499326969873639479215975105361487284104826134408415222711311780577",
"polynomial_coefficients": [
-28,
-128,
-212,
-152,
-41,
0,
1
],
"independent_bounds": [
"3988836330214724639882358436893964249663484936819739607987552680743642052413067204207611355655890288261565054282926320037/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7977672660429449279764716873787928499326969873639479215975105361487284104826134408415222711311780576523130108565853096521/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 204
},
{
"g": "E@^W",
"number": "7.915087677135012970061129449056767430777656847485019486145990871358703197793844751966320615638428774",
"polynomial_coefficients": [
-17,
-98,
-188,
-146,
-41,
0,
1
],
"independent_bounds": [
"7915087677135012970061129449056767430777656847485019486145990871358703197793844751966320615638428773860185816210133308397/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"791508767713501297006112944905676743077765684748501948614599087135870319779384475196632061563842877386018581621013405349/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 334
},
{
"g": "E@^o",
"number": "7.837008155390812238535733671293445267586836945407681360359152134571838306218350888119689783595255319",
"polynomial_coefficients": [
12,
-40,
-152,
-140,
-41,
0,
1
],
"independent_bounds": [
"7837008155390812238535733671293445267586836945407681360359152134571838306218350888119689783595255319490887253685942874021/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"195925203884770305963393341782336131689670923635192034008978803364295957655458772202992244589881382987272181342148583353/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 337
},
{
"g": "E@^w",
"number": "7.205654436332271207049080263375133036919551090641558966218863569096848957606463334664232094934194396",
"polynomial_coefficients": [
-17,
-84,
-149,
-114,
-33,
0,
1
],
"independent_bounds": [
"1441130887266454241409816052675026607383910218128311793243772713819369791521292666932846418986838879182237328263969102359/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7205654436332271207049080263375133036919551090641558966218863569096848957606463334664232094934194395911186641319846032791/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 266
},
{
"g": "E@`w",
"number": "9.315409046419373184893656775502349769848285107512745154067090098118720941048426274100938186707398030",
"polynomial_coefficients": [
-52,
-232,
-360,
-236,
-57,
0,
1
],
"independent_bounds": [
"931540904641937318489365677550234976984828510751274515406709009811872094104842627410093818670739803028782675586619776957/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"465770452320968659244682838775117488492414255375637257703354504905936047052421313705046909335369901514391337793309918379/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 353
},
{
"g": "E@ow",
"number": "9.608834688648652451303067349132198607973923492343224453229248580100739725549206494105380553515431137",
"polynomial_coefficients": [
-52,
-236,
-373,
-250,
-62,
0,
1
],
"independent_bounds": [
"2402208672162163112825766837283049651993480873085806113307312145025184931387301623526345138378857784151313574544870298069/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"9608834688648652451303067349132198607973923492343224453229248580100739725549206494105380553515431136605254298179481717769/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 406
},
{
"g": "E@vw",
"number": "7.174195006007347579837472047308365407724499255754429636007715560469229558775606301306215631644203245",
"polynomial_coefficients": [
-8,
-64,
-138,
-112,
-33,
0,
1
],
"independent_bounds": [
"7174195006007347579837472047308365407724499255754429636007715560469229558775606301306215631644203245292886926883767166521/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"448387187875459223739842002956772837982781203484651852250482222529326847423475393831638476977762702830805432930235490839/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 276
},
{
"g": "E@~o",
"number": "7.095932280272493380194238705409093674501781282808419785925260536923723757542568790887773730370803540",
"polynomial_coefficients": [
32,
0,
-108,
-108,
-33,
0,
1
],
"independent_bounds": [
"709593228027249338019423870540909367450178128280841978592526053692372375754256879088777373037080354037913717351774302287/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3547966140136246690097119352704546837250890641404209892962630268461861878771284395443886865185401770189568586758871749689/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 257
},
{
"g": "E@~w",
"number": "6.885832006687951845298617196510203419300208176888623062404017188422368780139538943149176038101651526",
"polynomial_coefficients": [
-12,
-68,
-127,
-100,
-30,
0,
1
],
"independent_bounds": [
"6885832006687951845298617196510203419300208176888623062404017188422368780139538943149176038101651526105870140508971357419/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6885832006687951845298617196510203419300208176888623062404017188422368780139538943149176038101651526105870140508971768407/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 265
},
{
"g": "EAMw",
"number": "8.663246504856263300666169628885890720463144153810259657011094709904045947534893129106636025922194529",
"polynomial_coefficients": [
-32,
-160,
-273,
-192,
-49,
0,
1
],
"independent_bounds": [
"8663246504856263300666169628885890720463144153810259657011094709904045947534893129106636025922194528827255966178452909383/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2165811626214065825166542407221472680115786038452564914252773677476011486883723282276659006480548632206813991544613325659/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 329
},
{
"g": "EA]o",
"number": "8.523734714584910083312132158013749129335582764326241938854043089645221103175034341964588604400868337",
"polynomial_coefficients": [
0,
-80,
-209,
-176,
-49,
0,
1
],
"independent_bounds": [
"2130933678646227520828033039503437282333895691081560484713510772411305275793758585491147151100217084138390249830393823073/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4261867357292455041656066079006874564667791382163120969427021544822610551587517170982294302200434168276780499660788045547/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 381
},
{
"g": "EBYW",
"number": "8.570406330223831502468254715068369576724559332781366595508513465679279688774753347040297470339196649",
"polynomial_coefficients": [
48,
-32,
-216,
-184,
-49,
0,
1
],
"independent_bounds": [
"85704063302238315024682547150683695767245593327813665955085134656792796887747533470402974703391966491694580075986858393/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8570406330223831502468254715068369576724559332781366595508513465679279688774753347040297470339196649169458007598686615103/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 338
},
{
"g": "EBYw",
"number": "7.875941589600097236287382761030896550438626384597017222910468321248203970957311912559430830689098689",
"polynomial_coefficients": [
12,
-44,
-165,
-144,
-41,
0,
1
],
"independent_bounds": [
"7875941589600097236287382761030896550438626384597017222910468321248203970957311912559430830689098688818379311088178530499/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1575188317920019447257476552206179310087725276919403444582093664249640794191462382511886166137819737763675862217635813621/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 323
},
{
"g": "EBZw",
"number": "7.164771202832824124194327792461065992272902281879330224052727465413670664857358440064146620731333210",
"polynomial_coefficients": [
0,
-48,
-132,
-112,
-33,
0,
1
],
"independent_bounds": [
"1432954240566564824838865558492213198454580456375866044810545493082734132971471688012829324146266642086470737123214321189/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7164771202832824124194327792461065992272902281879330224052727465413670664857358440064146620731333210432353685616071947481/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 251
},
{
"g": "EB]w",
"number": "7.623457321061652831168424141965573978090931624940271961176694868303324707497069048982412131742461810",
"polynomial_coefficients": [
-17,
-90,
-166,
-130,
-38,
0,
1
],
"independent_bounds": [
"47646608256635330194802650887284837363068322655876699757354342926895779421856681556140075823390386310815429954928959983/6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"952932165132706603896053017745696747261366453117533995147086858537915588437133631122801516467807726216308599098579249747/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 348
},
{
"g": "EB^w",
"number": "6.860059361327185542723613553731716743754134896076227544732572170000666315489887295959285164600450690",
"polynomial_coefficients": [
-12,
-64,
-121,
-98,
-30,
0,
1
],
"independent_bounds": [
"107188427520737274105056461777058074121158357751191055386446440156260411179529488999363830696882042037460785440911121319/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"857507420165898192840451694216464592969266862009528443091571521250083289436235911994910645575056336299686283527289006103/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 283
},
{
"g": "EBhw",
"number": "8.272250914089625927804783360695648020260392052565663416024697921683990861689299591897777375885917437",
"polynomial_coefficients": [
-17,
-100,
-199,
-160,
-46,
0,
1
],
"independent_bounds": [
"8272250914089625927804783360695648020260392052565663416024697921683990861689299591897777375885917437051626306634731670889/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"517015682130601620487798960043478001266274503285353963501543620105249428855581224493611085992869839815726644164670758677/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 399
},
{
"g": "EBjW",
"number": "7.400194923348946833685658168794736823895494067313727301308503512736347822741996805631708297816311873",
"polynomial_coefficients": [
0,
-48,
-133,
-120,
-36,
0,
1
],
"independent_bounds": [
"231256091354654588552676817774835525746734189603553978165890734773010869460687400175990884306759746035753138147629944261/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"740019492334894683368565816879473682389549406731372730130850351273634782274199680563170829781631187314410042072415870053/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 248
},
{
"g": "EBjw",
"number": "7.128692311208703592146714993807059432664591884595827086690476311597575623378057195364750153780587838",
"polynomial_coefficients": [
-9,
-60,
-127,
-108,
-33,
0,
1
],
"independent_bounds": [
"7128692311208703592146714993807059432664591884595827086690476311597575623378057195364750153780587837924308423734824829863/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"445543269450543974509169687112941214541536992787239192918154769474848476461128574710296884611286739870269276483426592613/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 220
},
{
"g": "EBnW",
"number": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297",
"polynomial_coefficients": [
-8,
-54,
-123,
-108,
-33,
0,
1
],
"independent_bounds": [
"7123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684296684544040939213991133/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"445194101601103784363838115998379814071699951585851277149914598318434646646101349599241478175667768542784002558700899279/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 144
},
{
"g": "EBn_",
"number": "7.359439711938180839365460011361866893778914411980412204300563768562098985400345353122808968343431066",
"polynomial_coefficients": [
7,
-10,
-114,
-118,
-36,
0,
1
],
"independent_bounds": [
"1471887942387636167873092002272373378755782882396082440860112753712419797080069070624561793668686213277262940043243100539/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1839859927984545209841365002840466723444728602995103051075140942140524746350086338280702242085857766596578675054053965023/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 268
},
{
"g": "EBnw",
"number": "6.828864774980929667905794366396536913476902363142080109320691794241148731583231915837499324378793120",
"polynomial_coefficients": [
-9,
-54,
-112,
-96,
-30,
0,
1
],
"independent_bounds": [
"341443238749046483395289718319826845673845118157104005466034589712057436579161595791874966218939656013307039836294159683/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3414432387490464833952897183198268456738451181571040054660345897120574365791615957918749662189396560133070398362941721587/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 238
},
{
"g": "EB~o",
"number": "6.743961887574750560850726629333186485842192601379283958148378190662678590218497610697151982677103159",
"polynomial_coefficients": [
16,
0,
-84,
-92,
-30,
0,
1
],
"independent_bounds": [
"6743961887574750560850726629333186485842192601379283958148378190662678590218497610697151982677103158858510048453003273203/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6743961887574750560850726629333186485842192601379283958148378190662678590218497610697151982677103158858510048453003693659/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 260
},
{
"g": "EB~w",
"number": "6.510884131908910698178790570255454006911758511258012788183871982313161967686961711815014791604588480",
"polynomial_coefficients": [
-8,
-48,
-98,
-84,
-27,
0,
1
],
"independent_bounds": [
"3255442065954455349089395285127727003455879255629006394091935991156580983843480855907507395802294239823590843565970085447/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6510884131908910698178790570255454006911758511258012788183871982313161967686961711815014791604588479647181687131940529029/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 270
},
{
"g": "ECXw",
"number": "8.969444711075949187591803286832929014459689648044004886496686843344524801670762746775813160170800768",
"polynomial_coefficients": [
-32,
-160,
-280,
-204,
-54,
0,
1
],
"independent_bounds": [
"8969444711075949187591803286832929014459689648044004886496686843344524801670762746775813160170800767950589308022391770049/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1793888942215189837518360657366585802891937929608800977299337368668904960334152549355162632034160153590117861604478457357/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 401
},
{
"g": "EC\\w",
"number": "8.356914314274284520633788500018635632922613917502585330405527486544464846493156466246985726096092680",
"polynomial_coefficients": [
-20,
-124,
-229,
-170,
-46,
0,
1
],
"independent_bounds": [
"8356914314274284520633788500018635632922613917502585330405527486544464846493156466246985726096092680332786887955021170881/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8356914314274284520633788500018635632922613917502585330405527486544464846493156466246985726096092680332786887955021720719/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 357
},
{
"g": "EENg",
"number": "7.405798995206611286163028458593608255754796110218969573393049779489386977560897877486859745398078716",
"polynomial_coefficients": [
28,
-12,
-129,
-122,
-36,
0,
1
],
"independent_bounds": [
"7405798995206611286163028458593608255754796110218969573393049779489386977560897877486859745398078716437600166529585796743/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7405798995206611286163028458593608255754796110218969573393049779489386977560897877486859745398078716437600166529586246933/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 277
},
{
"g": "EFz_",
"number": "7",
"polynomial_coefficients": [
112,
96,
-72,
-104,
-33,
0,
1
],
"independent_bounds": [
"7",
"7"
],
"iterations": 1
},
{
"g": "EFzw",
"number": "6.418832675970042219334093825312152084961129431382511695838707815789712255468079795063241121849676217",
"polynomial_coefficients": [
16,
0,
-72,
-80,
-27,
0,
1
],
"independent_bounds": [
"641883267597004221933409382531215208496112943138251169583870781578971225546807979506324112184967621739611229064636403341/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6418832675970042219334093825312152084961129431382511695838707815789712255468079795063241121849676217396112290646364660071/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 128
},
{
"g": "EF~w",
"number": "6.162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295",
"polynomial_coefficients": [
-4,
-36,
-81,
-72,
-24,
0,
1
],
"independent_bounds": [
"6162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295187347284152840018263/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"770284707521047416499861693054089816714944392415652103357188106599074304829904777668031013547412536898418410519105015769/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 74
},
{
"g": "EGNW",
"number": "8.182150654236994475006362564002466165452199282419406893340735957376894832171118493402620666659105014",
"polynomial_coefficients": [
0,
-80,
-201,
-162,
-44,
0,
1
],
"independent_bounds": [
"8182150654236994475006362564002466165452199282419406893340735957376894832171118493402620666659105013562057347702111019621/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"204553766355924861875159064100061654136304982060485172333518398934422370804277962335065516666477625339051433692552787027/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 310
},
{
"g": "EGcw",
"number": "10.05477840878375749098355587496485442082587932527640572682842509515272871544867374847162888288268477",
"polynomial_coefficients": [
-52,
-244,
-405,
-280,
-69,
0,
1
],
"independent_bounds": [
"1256847301097969686372944484370606802603234915659550715853553136894091089431084218558953610360335596218515837603211157551/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2010955681756751498196711174992970884165175865055281145365685019030545743089734749694325776576536953949625340165138004409/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 433
},
{
"g": "EGdo",
"number": "10.66796298636623923883474149716228219201580045250911957964717992376108726071992101996794722852038977",
"polynomial_coefficients": [
-52,
-248,
-424,
-308,
-81,
0,
1
],
"independent_bounds": [
"10667962986366239238834741497162282192015800452509119579647179923761087260719921019967947228520389774292725077069417042979/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2666990746591559809708685374290570548003950113127279894911794980940271815179980254991986807130097443573181269267354440261/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 543
},
{
"g": "EGdw",
"number": "8.593600650603732712488925120145674114913733798787511686783007464226811360797879460116751541191782581",
"polynomial_coefficients": [
-33,
-152,
-253,
-182,
-49,
0,
1
],
"independent_bounds": [
"8593600650603732712488925120145674114913733798787511686783007464226811360797879460116751541191782580590678271569574945213/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8593600650603732712488925120145674114913733798787511686783007464226811360797879460116751541191782580590678271569575753809/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 382
},
{
"g": "EHQW",
"number": "8.821870029750567683240300058048975807445655340022576146673553738590704358882348733338351930605328784",
"polynomial_coefficients": [
-17,
-114,
-250,
-198,
-52,
0,
1
],
"independent_bounds": [
"4410935014875283841620150029024487903722827670011288073336776869295352179441174366669175965302664392135361442848163474571/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2205467507437641920810075014512243951861413835005644036668388434647676089720587183334587982651332196067680721424081900813/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 351
},
{
"g": "EHUW",
"number": "8.554312326447793500058619371691290452220079633268971054563990788635106731198900620196099842691574506",
"polynomial_coefficients": [
0,
-80,
-220,
-180,
-49,
0,
1
],
"independent_bounds": [
"8554312326447793500058619371691290452220079633268971054563990788635106731198900620196099842691574505588969313447783813407/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8554312326447793500058619371691290452220079633268971054563990788635106731198900620196099842691574505588969313447784628703/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 366
},
{
"g": "EHuw",
"number": "7.083495513981662886264185120581187826780476885072403495674916912934891160035103909284072877382351144",
"polynomial_coefficients": [
7,
-22,
-108,
-106,
-33,
0,
1
],
"independent_bounds": [
"442718469623853930391511570036324239173779805317025218479682307058430697502193994330254554836396946507556072080965003663/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7083495513981662886264185120581187826780476885072403495674916912934891160035103909284072877382351144120897153295440419393/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 277
},
{
"g": "EI]w",
"number": "7.545472388670554997381672416771862308001230594101176173834728808312117060172207142171041082468624519",
"polynomial_coefficients": [
0,
-48,
-136,
-124,
-38,
0,
1
],
"independent_bounds": [
"7545472388670554997381672416771862308001230594101176173834728808312117060172207142171041082468624519444822252428339926357/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7545472388670554997381672416771862308001230594101176173834728808312117060172207142171041082468624519444822252428340613299/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 360
},
{
"g": "EI_w",
"number": "9.971258158604132034753567894830528555021754610489722977025589796264347896530968473823813833624636135",
"polynomial_coefficients": [
0,
-128,
-340,
-268,
-69,
0,
1
],
"independent_bounds": [
"2492814539651033008688391973707632138755438652622430744256397449066086974132742118455953458406159033637206110731757666313/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"9971258158604132034753567894830528555021754610489722977025589796264347896530968473823813833624636134548824442927031314381/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 455
},
{
"g": "EIe_",
"number": "9",
"polynomial_coefficients": [
0,
0,
-144,
-200,
-57,
0,
1
],
"independent_bounds": [
"9",
"9"
],
"iterations": 1
},
{
"g": "EImo",
"number": "7.772001872658765583935824163119853217297227664766641120954325626885824409663649190540486015053504715",
"polynomial_coefficients": [
48,
32,
-120,
-136,
-41,
0,
1
],
"independent_bounds": [
"7772001872658765583935824163119853217297227664766641120954325626885824409663649190540486015053504714800316326352635384299/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7772001872658765583935824163119853217297227664766641120954325626885824409663649190540486015053504714800316326352635473151/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 116
},
{
"g": "EImw",
"number": "7.516940184447188676915949294280308012351510067955662026145938301729999121467464606543094727642148027",
"polynomial_coefficients": [
12,
-28,
-125,
-122,
-38,
0,
1
],
"independent_bounds": [
"939617523055898584614493661785038501543938758494457753268242287716249890183433075817886840955268503417291072751718151209/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"187923504611179716922898732357007700308787751698891550653648457543249978036686615163577368191053700683458214550343645367/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 364
},
{
"g": "EIno",
"number": "7.042503530717760831210248952032156402742408249401329556630938164777930363869253658043537069779915059",
"polynomial_coefficients": [
28,
12,
-93,
-104,
-33,
0,
1
],
"independent_bounds": [
"1760625882679440207802562238008039100685602062350332389157734541194482590967313414510884267444978764829157433031022849917/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"880312941339720103901281119004019550342801031175166194578867270597241295483656707255442133722489382414578716515511463041/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 282
},
{
"g": "EInw",
"number": "6.788444596718009300536725196800827188355907389777955378449343898800245184514965516970038326243553744",
"polynomial_coefficients": [
4,
-28,
-99,
-94,
-30,
0,
1
],
"independent_bounds": [
"6788444596718009300536725196800827188355907389777955378449343898800245184514965516970038326243553743870074768851633737319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3394222298359004650268362598400413594177953694888977689224671949400122592257482758485019163121776871935037384425817119973/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 282
},
{
"g": "EJYW",
"number": "8.203702666941517294362591787347178886893961463200912762026189940200631176450925847270379980556515645",
"polynomial_coefficients": [
12,
-44,
-165,
-154,
-46,
0,
1
],
"independent_bounds": [
"8203702666941517294362591787347178886893961463200912762026189940200631176450925847270379980556515645391310755453865954733/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"8203702666941517294362591787347178886893961463200912762026189940200631176450925847270379980556515645391310755453866688549/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 410
},
{
"g": "EJ]w",
"number": "7.267499761734287857670893062963125654616131142707945966861439253323515806256439950589968973651262171",
"polynomial_coefficients": [
-12,
-68,
-132,
-110,
-35,
0,
1
],
"independent_bounds": [
"7267499761734287857670893062963125654616131142707945966861439253323515806256439950589968973651262171269926382533550708347/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7267499761734287857670893062963125654616131142707945966861439253323515806256439950589968973651262171269926382533551372393/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 389
},
{
"g": "EJ^w",
"number": "6.524199596856449985769506149946415873052548914463208417599766061899525407490272084360285122282475577",
"polynomial_coefficients": [
-13,
-60,
-105,
-84,
-27,
0,
1
],
"independent_bounds": [
"815524949607056248221188268743301984131568614307901052199970757737440675936284010545035640285309447112928834568166727547/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1631049899214112496442376537486603968263137228615802104399941515474881351872568021090071280570618894225857669136333614989/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 315
},
{
"g": "EJeg",
"number": "7.772001872658765583935824163119853217297227664766641120954325626885824409663649190540486015053504715",
"polynomial_coefficients": [
0,
-48,
-140,
-132,
-41,
0,
1
],
"independent_bounds": [
"7772001872658765583935824163119853217297227664766641120954325626885824409663649190540486015053504714800316326352635384299/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7772001872658765583935824163119853217297227664766641120954325626885824409663649190540486015053504714800316326352635473151/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 116
},
{
"g": "EJmw",
"number": "7.242640687119285146405066172629094235709015626130844219530039213972197435386321116551162602982924718",
"polynomial_coefficients": [
-9,
-60,
-125,
-108,
-35,
0,
1
],
"independent_bounds": [
"1810660171779821286601266543157273558927253906532711054882509803493049358846580279137790650745731179551260384673184169269/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7242640687119285146405066172629094235709015626130844219530039213972197435386321116551162602982924718205041538692737105073/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 151
},
{
"g": "EJnW",
"number": "6.736331326907798122051111778672633446835383700962481000533301932297189703849017417117537207264034748",
"polynomial_coefficients": [
0,
-24,
-88,
-90,
-30,
0,
1
],
"independent_bounds": [
"269453253076311924882044471146905337873415348038499240021332077291887588153960696684701488290561389913903790984672005867/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"673633132690779812205111177867263344683538370096248100053330193229718970384901741711753720726403474784759477461680050631/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 316
},
{
"g": "EJnw",
"number": "6.452337379650123670663474484614945418139359611564221793583074680875098528145714518152341167915423020",
"polynomial_coefficients": [
-5,
-38,
-87,
-80,
-27,
0,
1
],
"independent_bounds": [
"3226168689825061835331737242307472709069679805782110896791537340437549264072857259076170583957711509946678101813955165003/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6452337379650123670663474484614945418139359611564221793583074680875098528145714518152341167915423019893356203627910858957/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 319
},
{
"g": "EJqw",
"number": "7.041841636255810501233685160551103535020633327871181677084970773276739137817151795314216980947121903",
"polynomial_coefficients": [
7,
-24,
-101,
-102,
-33,
0,
1
],
"independent_bounds": [
"281673665450232420049347406422044141400825333114847267083398830931069565512686071812568679237884876123466851219437623139/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3520920818127905250616842580275551767510316663935590838542485386638369568908575897657108490473560951543335640242970489889/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 330
},
{
"g": "EJ~o",
"number": "6.401723327102481564331370877475360917312881192494227122371657361676311148109009223467764063761012468",
"polynomial_coefficients": [
8,
-12,
-72,
-78,
-27,
0,
1
],
"independent_bounds": [
"6401723327102481564331370877475360917312881192494227122371657361676311148109009223467764063761012468152717498219601653953/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6401723327102481564331370877475360917312881192494227122371657361676311148109009223467764063761012468152717498219601975917/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 299
},
{
"g": "EJ~w",
"number": "6.142457360426860982974371175813316052427099711323624839031602935476764350819921712950679474132003467",
"polynomial_coefficients": [
-8,
-42,
-81,
-70,
-24,
0,
1
],
"independent_bounds": [
"6142457360426860982974371175813316052427099711323624839031602935476764350819921712950679474132003466856550427765469482729/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3071228680213430491487185587906658026213549855661812419515801467738382175409960856475339737066001733428275213882734916947/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 315
},
{
"g": "EKNG",
"number": "8.424428900898052360873105707458812240848068143721382085861577264918220291853839315046600392057712881",
"polynomial_coefficients": [
0,
0,
-144,
-168,
-49,
0,
1
],
"independent_bounds": [
"842442890089805236087310570745881224084806814372138208586157726491822029185383931504660039205771288121905059943587454709/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"526526806306128272554569106716175765053004258982586380366348579057388768240864957190412524503607055076190662464742172591/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 150
},
{
"g": "EK\\w",
"number": "7.967588056209378452379670823870465822647134502183696635589026556713721676837242005206601091069973303",
"polynomial_coefficients": [
-17,
-92,
-173,
-140,
-43,
0,
1
],
"independent_bounds": [
"1991897014052344613094917705967616455661783625545924158897256639178430419209310501301650272767493325765873653861433254177/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7967588056209378452379670823870465822647134502183696635589026556713721676837242005206601091069973303063494615445733512123/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 436
},
{
"g": "EK]w",
"number": "7.516538485191787521369500838674010010643324846946545787137978201021031986419442426823993247805965004",
"polynomial_coefficients": [
-9,
-60,
-135,
-120,
-38,
0,
1
],
"independent_bounds": [
"1879134621297946880342375209668502502660831211736636446784494550255257996604860606705998311951491250964622068347712841141/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7516538485191787521369500838674010010643324846946545787137978201021031986419442426823993247805965003858488273390851606301/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 144
},
{
"g": "EK^w",
"number": "6.783023515112379064477740252122012723352229914482963301860425766504531615296784490776230865593238407",
"polynomial_coefficients": [
-8,
-50,
-105,
-92,
-30,
0,
1
],
"independent_bounds": [
"339151175755618953223887012606100636167611495724148165093021288325226580764839224538811543279661920353474795602869894557/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6783023515112379064477740252122012723352229914482963301860425766504531615296784490776230865593238407069495912057398252757/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 340
},
{
"g": "EK`w",
"number": "8.496968025764426841840223787923295483248967624928648796254298262586636405124665244290543730447327654",
"polynomial_coefficients": [
0,
-80,
-204,
-172,
-49,
0,
1
],
"independent_bounds": [
"1699393605152885368368044757584659096649793524985729759250859652517327281024933048858108746089465530726843606957906424733/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"849696802576442684184022378792329548324896762492864879625429826258663640512466524429054373044732765363421803478953270313/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 405
},
{
"g": "EK~o",
"number": "6.701562118716424343244108837310906632260210066310509442764636313334091379098438037144677151124934982",
"polynomial_coefficients": [
12,
-8,
-79,
-88,
-30,
0,
1
],
"independent_bounds": [
"3350781059358212171622054418655453316130105033155254721382318156667045689549219018572338575562467490792702958125949241733/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3350781059358212171622054418655453316130105033155254721382318156667045689549219018572338575562467490792702958125949315389/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 86
},
{
"g": "EK~w",
"number": "6.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
"polynomial_coefficients": [
-9,
-48,
-93,
-80,
-27,
0,
1
],
"independent_bounds": [
"3232050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406695747/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151351252282830813460419/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 102
},
{
"g": "ELpw",
"number": "7.037188190781964977296205363519877137417380080077899804807933069751966776283525037252604997699543249",
"polynomial_coefficients": [
0,
-24,
-97,
-102,
-33,
0,
1
],
"independent_bounds": [
"3518594095390982488648102681759938568708690040038949902403966534875983388141762518626302498849771624305776729624929227793/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7037188190781964977296205363519877137417380080077899804807933069751966776283525037252604997699543248611553459249858742571/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 291
},
{
"g": "ELrw",
"number": "6.741657386773941385583748732316549301756019807778726946303745467320035156306939027976809895194379572",
"polynomial_coefficients": [
-5,
-36,
-90,
-90,
-30,
0,
1
],
"independent_bounds": [
"6741657386773941385583748732316549301756019807778726946303745467320035156306939027976809895194379571500991088727751764527/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"337082869338697069279187436615827465087800990388936347315187273366001757815346951398840494759718978575049554436387600049/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 121
},
{
"g": "ELv_",
"number": "7",
"polynomial_coefficients": [
0,
0,
-84,
-100,
-33,
0,
1
],
"independent_bounds": [
"7",
"7"
],
"iterations": 1
},
{
"g": "EL~o",
"number": "6.364681864288780538128581263924837610260550074327576979431947169317669756172975378598305759821536095",
"polynomial_coefficients": [
4,
-4,
-63,
-76,
-27,
0,
1
],
"independent_bounds": [
"6364681864288780538128581263924837610260550074327576979431947169317669756172975378598305759821536094725135600328151346199/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6364681864288780538128581263924837610260550074327576979431947169317669756172975378598305759821536094725135600328151611089/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 189
},
{
"g": "EL~w",
"number": "6.101160353032533717661193469040595983297214967752215127390605539111030738594108655345324258820149902",
"polynomial_coefficients": [
-5,
-32,
-72,
-68,
-24,
0,
1
],
"independent_bounds": [
"6101160353032533717661193469040595983297214967752215127390605539111030738594108655345324258820149902486355836176211306491/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6101160353032533717661193469040595983297214967752215127390605539111030738594108655345324258820149902486355836176211622171/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 196
},
{
"g": "ENzw",
"number": "6.047904976996737742163716383969281044161339546139485124629625582172482823319022836931898636505573337",
"polynomial_coefficients": [
4,
-12,
-59,
-66,
-24,
0,
1
],
"independent_bounds": [
"755988122124592217770464547996160130520167443267435640578703197771560352914877854616487329563196667116250455148143358139/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1511976244249184435540929095992320261040334886534871281157406395543120705829755709232974659126393334232500910296286778157/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 285
},
{
"g": "EN~w",
"number": "5.756591308025603270998975945787073160501526529555139398775839250829654611721784750796198757384691739",
"polynomial_coefficients": [
-5,
-30,
-63,
-58,
-21,
0,
1
],
"independent_bounds": [
"5756591308025603270998975945787073160501526529555139398775839250829654611721784750796198757384691739283223574571469396123/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"719573913503200408874871993223384145062690816194392424846979906353706826465223093849524844673086467410402946821433710347/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 301
},
{
"g": "EPTW",
"number": "9.696375622397740570346133988988181739717002740718336754927416262550646170989250684637466527806217463",
"polynomial_coefficients": [
-32,
-168,
-309,
-238,
-66,
0,
1
],
"independent_bounds": [
"9696375622397740570346133988988181739717002740718336754927416262550646170989250684637466527806217463226113437410832751541/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"9696375622397740570346133988988181739717002740718336754927416262550646170989250684637466527806217463226113437410833554951/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 506
},
{
"g": "ER^W",
"number": "6.732148054190623977865415792967958060083604475806641809284701122616795658404697927235856415729005485",
"polynomial_coefficients": [
7,
-18,
-86,
-90,
-30,
0,
1
],
"independent_bounds": [
"6732148054190623977865415792967958060083604475806641809284701122616795658404697927235856415729005484744141781274523137171/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1346429610838124795573083158593591612016720895161328361856940224523359131680939585447171283145801096948828356254904713869/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 308
},
{
"g": "E]~o",
"number": "6",
"polynomial_coefficients": [
0,
0,
-48,
-64,
-24,
0,
1
],
"independent_bounds": [
"6",
"6"
],
"iterations": 1
},
{
"g": "E]~w",
"number": "5.701562118716424343244108837310906632260210066310509442764636313334091379098438037144677151124934982",
"polynomial_coefficients": [
0,
-16,
-52,
-56,
-21,
0,
1
],
"independent_bounds": [
"5701562118716424343244108837310906632260210066310509442764636313334091379098438037144677151124934981585405916251898415607/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5701562118716424343244108837310906632260210066310509442764636313334091379098438037144677151124934981585405916251898655337/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 127
},
{
"g": "E^~w",
"number": "5.372281323269014329925305734109464659110132228991396183849938735282950360728702313513562682798394061",
"polynomial_coefficients": [
-4,
-24,
-51,
-48,
-18,
0,
1
],
"independent_bounds": [
"1074456264653802865985061146821892931822026445798279236769987747056590072145740462702712536559678812241955747694565064543/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5372281323269014329925305734109464659110132228991396183849938735282950360728702313513562682798394061209778738472825486623/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 100
},
{
"g": "E_Nw",
"number": "7.486354991477194587810544092582420298616950775046712703538138233020529789232377306834588110371089787",
"polynomial_coefficients": [
-20,
-96,
-167,
-126,
-36,
0,
1
],
"independent_bounds": [
"1497270998295438917562108818516484059723390155009342540707627646604105957846475461366917622074217957424868971890342520433/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7486354991477194587810544092582420298616950775046712703538138233020529789232377306834588110371089787124344859451712970871/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 307
},
{
"g": "E_]o",
"number": "7.695199486633531488042820650897823521892277875555972800468500029050274437616837088363272588210083867",
"polynomial_coefficients": [
4,
-28,
-147,
-136,
-39,
0,
1
],
"independent_bounds": [
"7695199486633531488042820650897823521892277875555972800468500029050274437616837088363272588210083867339830499670785815983/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"384759974331676574402141032544891176094613893777798640023425001452513721880841854418163629410504193366991524983539321027/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 259
},
{
"g": "E_]w",
"number": "7.441739268043944811016935379813314111757068138723987060507981385917704801447787608776867850965759442",
"polynomial_coefficients": [
0,
-48,
-144,
-124,
-36,
0,
1
],
"independent_bounds": [
"7441739268043944811016935379813314111757068138723987060507981385917704801447787608776867850965759442289142808262382569399/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1488347853608788962203387075962662822351413627744797412101596277183540960289557521755373570193151888457828561652476640337/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 278
},
{
"g": "E`Lw",
"number": "8.627894657894644955633313621753252388763130899973028371585766424770653155835189940179749238994859170",
"polynomial_coefficients": [
-28,
-132,
-228,
-174,
-51,
0,
1
],
"independent_bounds": [
"8627894657894644955633313621753252388763130899973028371585766424770653155835189940179749238994859170370885285274598161181/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4313947328947322477816656810876626194381565449986514185792883212385326577917594970089874619497429585185442642637299350219/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 465
},
{
"g": "E`NG",
"number": "9.196152422706631880582339024517617100828415761431141884167420938355799050726400111243438560271745727",
"polynomial_coefficients": [
-33,
-156,
-269,
-204,
-59,
0,
1
],
"independent_bounds": [
"4598076211353315940291169512258808550414207880715570942083710469177899525363200055621719280135872863513439212123109957453/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4598076211353315940291169512258808550414207880715570942083710469177899525363200055621719280135872863513439212123110080561/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 131
},
{
"g": "E`NW",
"number": "8.216990566028301905660330188811320358491811316707560660331490724490011454792559029270513493445192052",
"polynomial_coefficients": [
-20,
-104,
-191,
-152,
-46,
0,
1
],
"independent_bounds": [
"821699056602830190566033018881132035849181131670756066033149072449001145479255902927051349344519205226750648714087486061/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2054247641507075476415082547202830089622952829176890165082872681122502863698139757317628373361298013066876621785218771517/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 140
},
{
"g": "E`Nw",
"number": "7.124597730399937290206538842323205202645868279920251608002838682507189555301569230878031761381501038",
"polynomial_coefficients": [
-17,
-78,
-135,
-106,
-33,
0,
1
],
"independent_bounds": [
"1424919546079987458041307768464641040529173655984050321600567736501437911060313846175606352276300207634398983806988254081/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"89057471629999216127581735529040065033073353499003145100035483531339869441269615385975397017268762977149936487936770621/12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 361
},
{
"g": "E`]o",
"number": "7.355350340869579713899483992555466160301405405663530334667860235581023044096891224821228503859471970",
"polynomial_coefficients": [
-5,
-44,
-120,
-116,
-36,
0,
1
],
"independent_bounds": [
"1838837585217394928474870998138866540075351351415882583666965058895255761024222806205307125964867992454831327783822332739/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7355350340869579713899483992555466160301405405663530334667860235581023044096891224821228503859471969819325311135289882117/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 310
},
{
"g": "E`]w",
"number": "7.074673582515124999909700639207229149655768890305131583284462717931675053894483650282604193044552183",
"polynomial_coefficients": [
0,
-40,
-112,
-104,
-33,
0,
1
],
"independent_bounds": [
"1768668395628781249977425159801807287413942222576282895821115679482918763473620912570651048261138045785078354616010798379/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1414934716503024999981940127841445829931153778061026316656892543586335010778896730056520838608910436628062683692808705699/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 332
},
{
"g": "EaMw",
"number": "7.804345859672770990287182619046831708363517408070254310177462709533055198198415686981136961576371635",
"polynomial_coefficients": [
0,
-48,
-145,
-136,
-41,
0,
1
],
"independent_bounds": [
"3902172929836385495143591309523415854181758704035127155088731354766527599099207843490568480788185817607900264969879595237/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"7804345859672770990287182619046831708363517408070254310177462709533055198198415686981136961576371635215800529939759747639/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 363
},
{
"g": "Ebnw",
"number": "6.411381821997608307153884791711556675941324540186737023031897559555320696387555301220295702281961248",
"polynomial_coefficients": [
0,
-24,
-76,
-78,
-27,
0,
1
],
"independent_bounds": [
"1602845455499402076788471197927889168985331135046684255757974389888830174096888825305073925570490312084073231595736349881/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1602845455499402076788471197927889168985331135046684255757974389888830174096888825305073925570490312084073231595736438311/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 308
},
{
"g": "Ejmw",
"number": "6.358898943540673552236981983859615659137003925232444936890344138159557328203158085656159155851944527",
"polynomial_coefficients": [
15,
4,
-61,
-76,
-27,
0,
1
],
"independent_bounds": [
"1589724735885168388059245495964903914784250981308111234222586034539889332050789521414039788962986131726414655324568527569/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3179449471770336776118490991929807829568501962616222468445172069079778664101579042828079577925972263452829310649137189261/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 267
},
{
"g": "Ek]w",
"number": "6.695265165690463668457504628088737706837499318954419150171925630980501052614879528546353923469763702",
"polynomial_coefficients": [
7,
-4,
-75,
-88,
-30,
0,
1
],
"independent_bounds": [
"1673816291422615917114376157022184426709374829738604787542981407745125263153719882136588480867440925563952646828783423903/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3347632582845231834228752314044368853418749659477209575085962815490250526307439764273176961734881851127905293657567016723/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 240
},
{
"g": "EoLW",
"number": "8.074065501057913616329703499494772306880808815383812708551950813010665461034138872864632674844301072",
"polynomial_coefficients": [
-9,
-66,
-162,
-150,
-44,
0,
1
],
"independent_bounds": [
"6459252400846330893063762799595817845504647052307050166841560650408532368827311098291706139875440857288010107482440309/800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4037032750528956808164851749747386153440404407691906354275975406505332730517069436432316337422150535805006317176525524521/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 357
},
{
"g": "Es\\w",
"number": "6.696099695490513414298842649161240311132292160789810095310187181242567553034343850100182572849175248",
"polynomial_coefficients": [
44,
36,
-69,
-90,
-30,
0,
1
],
"independent_bounds": [
"837012461936314176787355331145155038891536520098726261913773397655320944129292981262522821606146906044047459989932374879/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3348049847745256707149421324580620155566146080394905047655093590621283776517171925050091286424587624176189839959729765603/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"iterations": 256
},
{
"g": "E~~w",
"number": "5",
"polynomial_coefficients": [
-5,
-24,
-45,
-40,
-15,
0,
1
],
"independent_bounds": [
"5",
"5"
],
"iterations": 1
}
]
}