back to table · edit · history · where entries came from · files · download
68884 bytes, as of the version from 2026-11-09 18:56 (current). Recorded here, not run.
{
"table": "T694",
"entries": 626,
"forms": 121,
"working_digits": [
160,
220
],
"independent_settings": [
[
150,
450
],
[
190,
600
]
],
"max_errors": {
"precision_roots": "6.603290497333454680343230548955139680406852132330629595061614960841664618599596786872863082162149968074101666145680640060314430679836294841995992877263611581498931383337e-167",
"independent_roots": "3.090868187307035364938286426168456659378445364176386815140731561994801558996746764691176354956323532325342837550991420384670121319649869805239138327501105816822646440553861435631747818583056994839299e-196",
"coefficient_agreement": "1.450126396059589012936049311713364198339103270505476386447305152007092460370208954503716988413889429727340209255662187742171734583205226508141603833169773001935744489444032293812575865997456753575124e-198",
"mellin_truncation": "7.75298251820395026224818438897571361803088567038959838367076395339474052403109450567286551526686316076664700274358878191396701204661901464455596891809022170421e-159",
"circle": "5.359035776304814912444894370802885284330404677613794071421438990663667972576080530227545713051387709688764883734466490030683629693022464862105251179256248183621714175275550634332570000204439571438238043851118894203169555490375482e-229",
"reflection": "0",
"functional_equation": "2.584639607982454137735894185378118772428884128002493195099795183655605564966102748811275709594094293499511391860440096854317201929199627254741805636686176554681401703596826751509072622495126776050461e-200",
"vieta": "7.168639609894253809201351764992333572607010692074820794915253597277846208452094532043050377309197330204631140228286090020833812928241257347419571855451111447821331614842415000044475613930415138696402e-196",
"manin": "4.850826455022765113543550927191548413608862263870742205652748371246104249902035253532400124362473868899138785794501747277812569279798085587145041502132136982308388306912594026575616444581226502073209581250025326312333579818828646e-225"
},
"minimum_root_separation": "0.1412353967852862168026666340734338909593812478586566757796952401098213714722787872485267667347442770767097500798543525836800056251479743023409087566529117220232143241174649999199479616560176149797388837580793450650248232556686205",
"measurement": {
"entries": 626,
"longest": 595,
"longest_at": "{'N': 17, 'k': 4, 'i': 2, 'j': 2}",
"block_kb": 272.4658203125
},
"controls": {
"(1, 12, 1)": 100,
"(5, 4, 1)": 100,
"(8, 4, 1)": 100,
"(3, 6, 1)": 100
},
"per_form": [
{
"N": 1,
"k": 12,
"i": 1,
"max_root_difference": "3.090868187307035364938286426168456659378445364176386815140731561994801558996746764691176354956323532325342837550991420384670121319649869805239138327501105816822646440553861435631747818583056994839299e-196",
"minimum_separation": "0.2780341846579026605742917893779258155558253382451038317542002961337989972421162505154304240014418314541782319864615822381335126175591590454613519142417781476135199915942591106976550668902968645031776138427823868878351053484524883"
},
{
"N": 1,
"k": 16,
"i": 1,
"max_root_difference": "6.309221090956904034885887304973592258151223424382968964543339536610870781181028705471201818139558212822717616443591259361151260636556893609718164897943271800956762568733572166306496970121522398740281e-197",
"minimum_separation": "0.2362164317843798349486076116601627727635563426728600724056171456264673183825408869760010866639316265391600345995024711361135394478301503796928226376547418352199235678810537426460456361695147267559901174210251622505596707239090663"
},
{
"N": 1,
"k": 18,
"i": 1,
"max_root_difference": "2.359927604636285759034319707597532307360674633443077747595215337372797573535288620826911261351419701574281384738023003693550092895835123580605874959243430937265671514106133914536361112849965048000660e-196",
"minimum_separation": "0.2202897910857298022767988660773757110401257811636045863035291268566770709140409412326440741564796633982494547958096115916459819651104217086278452655216728509562221141126322762867585944547540396508505056350486113088633618580034822"
},
{
"N": 1,
"k": 20,
"i": 1,
"max_root_difference": "1.965347654904807089829180025097953286166746793786811875822137692372756731593853561900145972642280035865309617637834381144715550671985170627362335507176725062886859090999105701475386667047651354594015e-196",
"minimum_separation": "0.2053451589319463842071334097140082287501036795766222617431797171634959633840542649184025019519688026634256105275004311504584014346787944741645105194934140398512412340641206149206581737702851633396638891082425020517843158114830149"
},
{
"N": 1,
"k": 22,
"i": 1,
"max_root_difference": "2.052422408327894628032937492934187874492137328723507084551210706412754486940993312231357224368315295970380678517710015171531899781156262340471599611534675550029170802229744547470348265022605525393043e-196",
"minimum_separation": "0.1930978684891130148250017233778724558299785908197837958091997211684318560362651790718936739071977490140443013758944130157069117205093690264313770000979090111811760069705876349831382474809099852896683006905947801760247556478304155"
},
{
"N": 1,
"k": 24,
"i": 1,
"max_root_difference": "2.477664587620407081850576686190953789603714855070301674386853541784813353834669302253239869157290187509940346449579009468262390298093732888239883039497332611849815257425746166535074786459141385283614e-196",
"minimum_separation": "0.1816122364601880571203954456413101462591396577534584982692125519017959138130069124534253364916776479825179534744449807393051247185166919833145768820615530252640884947710175103687911999543809946595798802214257195264369509017742020"
},
{
"N": 1,
"k": 24,
"i": 2,
"max_root_difference": "1.438269324666913226053914858598476978170799215668351619218846383689659598001440221400371912243142374216556691522378089913661823717929472465898178351623179418882524763251585786555103488315189334588812e-196",
"minimum_separation": "0.1816121066812413660279945283028277815454585711423339202854115349740369340585383502790398043120741301101958718746082076575678622438748421034618660551692463563612397053178507587518459931655655810404723169914634645124660257066648068"
},
{
"N": 1,
"k": 26,
"i": 1,
"max_root_difference": "1.993989235422266918456670032111080969932295560190699922989329619568463764798779793752907184561440667872492635764036609636187153673661935859140879085648308423478388372828793936442608925936002647634996e-196",
"minimum_separation": "0.1719088574738431421871671808713192807498752539859360236843849344537893887193492053546493956068736473093772493281155175603832432512300363354221250888388177043690650546559063066413915728944824920552746018286178637215981201104398144"
},
{
"N": 5,
"k": 4,
"i": 1,
"max_root_difference": "4.442308876113358823757832689133115719817236532477136654315028163612493527528884628153320462660638814031084212030247184094134043290161889511295672892830936801700632360668829895732165812304490267505681e-200",
"minimum_separation": "0.3741435025140267479932819897979466758880763897749440851672250298975666287027100179884348809565217338234398303394476683704796340877487432072398035616484865868957791120914828503592694947358864139070342983589392019337000050188883833"
},
{
"N": 6,
"k": 4,
"i": 1,
"max_root_difference": "9.057035243079708755259157555555677983237475609247237710054319080179660202695406498933883636571443707714997377211206409178808140234994222349108241112506415420595863540754071562234807917006384046687877e-200",
"minimum_separation": "0.3615650718655311536115148809361394200571221960845572899121341305869414157234583419530051063753961707816017405207246715654378146729783123673723697916989369651840673843574236943876181380765809115238839213503602859298181909169610166"
},
{
"N": 7,
"k": 4,
"i": 1,
"max_root_difference": "5.842488644245088660988990528063348819109274037999047353460202531846130183495260544437171134530790854014733369043005352287568090862725266984555911723544460858395087782179382538549854484388363201333793e-200",
"minimum_separation": "0.3509577201196127846991350854530232077254035662418982393627894238549161670805248179323133948844363649576628713525127705338669568361892252187316358267973211221053366528807612530787551819850023764043032371353656863250801582527993484"
},
{
"N": 8,
"k": 4,
"i": 1,
"max_root_difference": "2.633174047892719126277156708413150995404498249757988604148911392938766658761878034149732553254942694597760754593990941915492998862183911102470230069168789786138324049720730727316672056016687681729172e-200",
"minimum_separation": "0.3407534411828111323145531775915722166673346138171909247128663616126738302977619550151564210102251169294052170084111895529511921624915685258230757770381090759691580281846110464664405545432601600943291953511398817262732445619244761"
},
{
"N": 9,
"k": 4,
"i": 1,
"max_root_difference": "1.847557131948368577249390747177722799551767547077713033378366585883323727412542542053669324487494215363530466520866251046837239621847561662077285081299474112059780822598769314848440098861973042338517e-200",
"minimum_separation": "0.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333"
},
{
"N": 10,
"k": 4,
"i": 1,
"max_root_difference": "7.339535524059294814251570641832984636387460741620732659596113710389499635858636338738745923226933209626195765666593678527047670941111999432477980239001771674534077395745453310076983397572313985612652e-200",
"minimum_separation": "0.3212595158053165486748966294295824769014662263226457890173834828011207214600940382592316818475354206378009911138532479877289159394041487955002828355769470047510207840853827267022402878451971900155134596134533895645556033263412419"
},
{
"N": 11,
"k": 4,
"i": 1,
"max_root_difference": "4.985409630563516224000774085404648712739056828551752659288267699856281550710353454154990047035031961650784906147727111130077684324312706516985167279774501269419389936404304528043556097761113208079151e-200",
"minimum_separation": "0.3227071637568830404360523594819691242885488388178769764563251811353977455771463058851623140218589744712462067229503673353913568671444177866157682401294357222680539331551025860585848616603023044026667024983739548414683555260538024"
},
{
"N": 11,
"k": 4,
"i": 2,
"max_root_difference": "4.182585348626261716561265719729882605131603629644586245988010404399451841370551580773445748689034709990912388460183121435985503027771472570147220812928151866615374278842446902338922455274786362134255e-200",
"minimum_separation": "0.3126290493492056934027722333842659109255433419371181690894809103300436706281841577885716992211927790754476034248229375813358961354334596908643229810007609373437741769828663405306639262582890588938640084816118094977357121205640622"
},
{
"N": 12,
"k": 4,
"i": 1,
"max_root_difference": "3.986722635888480215734405225207164301982138327870209477789037958645390018037507807125415135666045264988772961828491646641463413404939653050935877171965228081222567303807500804883272177822566551860062e-200",
"minimum_separation": "0.3148023332852431764085076622609002723371859079400032102817749234805719301872070822233211970627163348270955857905235920146079134091803890502577076027368448960879908001855665293442083412986396373707576043581657931119800243511689863"
},
{
"N": 13,
"k": 4,
"i": 1,
"max_root_difference": "0",
"minimum_separation": "0.5547001962252291220183417334569993763463533190531148019554543163426410689681554531084029356951524181036175664652405446732354889637996627238712334102911861165757985483498696358821277530711302991994266507686596928105932964943187866"
},
{
"N": 13,
"k": 4,
"i": 2,
"max_root_difference": "5.164079174188875763819365176641978973949259556059296048563375084768562520984251521638009357264321996429769795727847324427653215818445673534623078320830800248884839023937834031689344689047086077927917e-200",
"minimum_separation": "0.3150361698575541453922038716063518113888863939639752415996165075698887410752438509815824754246753880388809873474791476868110127888339057284598413841881931560780029539959622033438329469675578695068986672947766683065970433255541512"
},
{
"N": 13,
"k": 4,
"i": 3,
"max_root_difference": "7.303110805306360826236238160079186023886592547498809191825253164807662729369075680546463918163488567518416711303756690359460113578406583730694889654430576072993859727724228173187318105485454001667241e-201",
"minimum_separation": "0.3011646734669174317662986185574582246276838807724863551491301807838753364395413497731305355166187897176260278202181248192556562155211685853634610939904298892574911063724594215808737800988022522312880471022929336460661489817669431"
},
{
"N": 14,
"k": 4,
"i": 1,
"max_root_difference": "2.091292674313130858280632859864941302565801814822293122994005202199725920685275790386722874344517354995456194230091560717992751513885736285073610406464075933307687139421223451169461227637393181067127e-200",
"minimum_separation": "0.3126599166406706487308422123939946666202192328201601353711556482846922485831403731509488453470944334598598637825138821513265997685637773382646694446890483763365234159767304274291736372161980685045783361374070107629383241568665421"
},
{
"N": 14,
"k": 4,
"i": 2,
"max_root_difference": "2.091292674313130858280632859864941302565801814822293122994005202199725920685275790386722874344517354995456194230091560717992751513885736285073610406464075933307687139421223451169461227637393181067127e-200",
"minimum_separation": "0.2977852427835317475775254139886947379195953712303496194934240764891634044310268176765788014415502976455031503245130849550345051539666087499050701233384320418519455340205923239317752354081515503551026102904455557257110627705618586"
},
{
"N": 15,
"k": 4,
"i": 1,
"max_root_difference": "4.258408778846631291256117841684868122769694318386199590370522556211297532979066136766414224887949426934371684606429421233742775285844774426745398331624912458533221196058569551447417031355977728454257e-200",
"minimum_separation": "0.2956370642032565856923518919592027980154327670967435171215081749991077171602030323899116335348168439997240797667021944563527332571261594135325393639957868404635531807885234072060424018548335395154887378426443459289605131290733426"
},
{
"N": 15,
"k": 4,
"i": 2,
"max_root_difference": "4.899075662363476395054220647680284453848321859815798602862517405429366420169624846296341177073950776105879085323183066696526130348666305770748661598546530411945082734608217208826269817558975518834879e-200",
"minimum_separation": "0.2895396654646002983234869640253375812244792451878783797497563223880025165885553604424820686311200433567338348909847290097075954022402524222286765387366004937983069377404282631425371451690212232882573937936248052727090151076229654"
},
{
"N": 16,
"k": 4,
"i": 1,
"max_root_difference": "1.177591233535281365542517272122613669985468725510898609529067756498317476742251094721333341304429890177145837051136636836951375487117512023145107809975069374416886637213387456714522766586974219292405e-200",
"minimum_separation": "0.2952824287790823575192636314507290644639259355298093719714709090866872727322596115393731881520754782793505587109867352528400795173546794359738104143591918047637695467906427308178741612951213169545925312167153221007492804910237724"
},
{
"N": 17,
"k": 4,
"i": 1,
"max_root_difference": "0",
"minimum_separation": "0.3206021263836732759151956143381851112151745682558755904153833284469238847188494304153827907235567422957962895428801012394900367506595859525014345891707501119947093626053943511658029228082737978702741310062199069132641262311972439"
},
{
"N": 17,
"k": 4,
"i": 2,
"max_root_difference": "0",
"minimum_separation": "0.4850712500726659470378129242322443558996704971027788746351333615405828642750143051279839589189040349040640048163781343076825200988724551015387703700878714091384733254630871603632694785379277303794731036155956569247422520882123143"
},
{
"N": 17,
"k": 4,
"i": 3,
"max_root_difference": "9.341132655249951337691416193616167667447412429013626521415952662666179748322000099541915357245517203427071484694535695924991081854437721713283453957890371172529219768184520762173201375131436883564256e-200",
"minimum_separation": "0.2852777275633775355831646280446500588527195628381625454354235208751939019778581731005741711194345337300962305169467920270780119878359378070626350557903713965774795996517661270167482332200079373124153931008886589554836335911377341"
},
{
"N": 17,
"k": 4,
"i": 4,
"max_root_difference": "6.341522868024306170638458677402207805141930639330105202673567525186269684788128508637878669439317873852578913219284407058161628028369794112685113052446694737593274004774223574051653556538782967912080e-200",
"minimum_separation": "0.2762895238114528795274664636142518441662411351843643746718046908353012324032256906035456799486336565958422871623809717406303229331200515068516241616565194263168580897959334516565313121054207991744708649764592664860156289522883918"
},
{
"N": 18,
"k": 4,
"i": 1,
"max_root_difference": "4.618892829870921443123476867944306998879418867694282583445916464708309318531356355134173311218735538408826166302165627617093099054618904155193212703248685280149452056496923287121100247154932605846293e-201",
"minimum_separation": "0.2797306793949783018703740851523021462016263847823074119242954137404543377788952184058521665823815863125669783624357912648649317614826208053076779456849365456705589043270898851602516210111629749600961586087771626603466089937011285"
},
{
"N": 19,
"k": 4,
"i": 1,
"max_root_difference": "7.303110805306360826236238160079186023886592547498809191825253164807662729369075680546463918163488567518416711303756690359460113578406583730694889654430576072993859727724228173187318105485454001667241e-201",
"minimum_separation": "0.3067222931253871605370267936089962911978161926259390470222261777103383518760380622955168105165800475117284682201877861092828267364800417842847494355693774066694057591157273980126947508656968004276059336912864963470304722494342754"
},
{
"N": 19,
"k": 4,
"i": 2,
"max_root_difference": "0",
"minimum_separation": "0.4588314677411235318144191561957490167512635710770994670410888566483744556003324300690693848265204765163851180313972856452193676614553807381217432459386810422081845177767795673749470227013811305498002528762480774716893062315717369"
},
{
"N": 19,
"k": 4,
"i": 3,
"max_root_difference": "2.809562823700195047405198892099293341117460362248088374948550501924605530174518487005070770599054195422459850323360940468209282070118158088517981274076159179028716523229807169669623925563449809601572e-200",
"minimum_separation": "0.2751737769964304735809665106899155937902984109527438564100299405113385682103488397393195439712045024923213347603257336284963142487671184259040433095808368529050117332604982598339801953098858594397794868357501890132865853481986420"
},
{
"N": 19,
"k": 4,
"i": 4,
"max_root_difference": "6.341522868024306170638458677402207805141930639330105202673567525186269684788128508637878669439317873852578913219284407058161628028369794112685113052446694737593274004774223574051653556538782967912080e-200",
"minimum_separation": "0.2676693619001378453575801397321609670945537474265369203796355944990964401015461812783960402152594811848807653228872543842503975654047458904630193422742120792837263014683148232602633012442493532860585517459962094101798449116680938"
},
{
"N": 20,
"k": 4,
"i": 1,
"max_root_difference": "4.182585348626261716561265719729882605131603629644586245988010404399451841370551580773445748689034709990912388460183121435985503027771472570147220812928151866615374278842446902338922455274786362134255e-200",
"minimum_separation": "0.2797385931765948948447658630185813755669523999740361936208975249050806732846633594345633711212488755070830654426800895242417921724114634857233237461282854718434551680428328327625587709247935244055205112928511474952687081644762606"
},
{
"N": 21,
"k": 4,
"i": 1,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.3161025277101236050525018854090487522268625110746085137970326754997802218275652573738057289042955690568844631234964183327405526539871960378794181647401603412182056890731802619568131546165411670250353103330518648976626655986141499"
},
{
"N": 21,
"k": 4,
"i": 2,
"max_root_difference": "0",
"minimum_separation": "0.4364357804719847625321949708312389037128053882636163716768802022768446119569305606289868151898519078740572290854843562736487523019767239965308441297471195590744497928026474468514854195156518971515008514958465882701425295109976022"
},
{
"N": 21,
"k": 4,
"i": 3,
"max_root_difference": "6.532100883151301860072294196907045938464429146421064803816689873905821893559499795061788236098601034807838780430910755595368173798221741027664882131395373882593443646144289611768359756745300691779838e-200",
"minimum_separation": "0.2663497957162666835517050201432027026238983209330265288491491528948565830897123247860844973589774495829325796652052408274788047480404010641638224665567921043016673292746048014263912309190349937409282821784455392020841805773210809"
},
{
"N": 21,
"k": 4,
"i": 4,
"max_root_difference": "3.081185824216983012753797146016306305408752256834877136879585867001392914711559775823992961173393123184406718900165543671256591559881182293412267154492079356173226805461775669846262133112527821876432e-200",
"minimum_separation": "0.2623399754764208100663769601336193380658361729849315569874511438694771310301291229043237287266572720157321898952616023760139784766410762327801229744428701300560306217721951335744627471587041936821382853632893946654694877968109472"
},
{
"N": 22,
"k": 4,
"i": 1,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.4264014327112208685968754648676787527807480321283397412368819900924567847957490655892832360055948304867814451510462370437865411309802659656060871553801513134091492056510227959025625756238663636322509703236818597978315562400113289"
},
{
"N": 22,
"k": 4,
"i": 2,
"max_root_difference": "1.032815834837775152763873035328395794789851911211859209712675016953712504196850304327601871452864399285953959145569464885530643163689134706924615664166160049776967804787566806337868937809417215585583e-200",
"minimum_separation": "0.2847608575358371976940484545916519785705210399465761765212288735440856066328751445246884331483623225217407571950551675363300408718360552269056177881082921068648187868611367868744051910391299026273207999738106427030419263028951381"
},
{
"N": 22,
"k": 4,
"i": 3,
"max_root_difference": "3.011149724586777960634648727253673433056702902103400115353619932455637499917019207385623720630632768033602982125763336187010317366673680745854661200863336231720804835614857568282715882841823952468164e-200",
"minimum_separation": "0.2650935090721102162475173588591955972071282897288719137995741441705092374752553238078184944981370856317253694912704030702242068798701829631258400464946914586935376048387333683886420446283273519144836618737011238880773389566458149"
},
{
"N": 23,
"k": 4,
"i": 1,
"max_root_difference": "4.618892829870921443123476867944306998879418867694282583445916464708309318531356355134173311218735538408826166302165627617093099054618904155193212703248685280149452056496923287121100247154932605846293e-201",
"minimum_separation": "0.3106832813177696173546397900289953029807571701737708216497581261746092683915070041265694381153013034688390773787021072441179916604819859284485533451847065097669054272133297465585205672149654286398278259003663326409908593729231001"
},
{
"N": 23,
"k": 4,
"i": 2,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.4170288281141495253562989621011038191301484384264460301291573142998484552963012245645383866466885965754325707170205969681677307757591535207691985908116591012806582323176951603459508314275477148969669489469185380908664446300816745"
},
{
"N": 23,
"k": 4,
"i": 3,
"max_root_difference": "4.182585348626261716561265719729882605131603629644586245988010404399451841370551580773445748689034709990912388460183121435985503027771472570147220812928151866615374278842446902338922455274786362134255e-200",
"minimum_separation": "0.2686472881643883319534736608801026712725149773292220839549878205630752230006424088906567746067875985265885312539992224642836406865764766935115518171546617601501425834804689869609091133206346331199349745455184600652372646544482739"
},
{
"N": 23,
"k": 4,
"i": 4,
"max_root_difference": "6.943718485139111687699295352014903896101118632195513156144128980580408350971780455390252995254754490027487667807330163130849252556066821667303002587733652992113671508151733638768472628858630843432579e-200",
"minimum_separation": "0.2570391070955235179956216551845449826307688804280518674241659972243239015416109594367857275739740155573341214930115719640649216590088734896339640708056969436773566125832364119819711051644830345092726025103051745349707071328981232"
},
{
"N": 23,
"k": 4,
"i": 5,
"max_root_difference": "6.989653176666034714069102974662877868392864166130375225546595876197703614625945600038405281600440843780790075191092517986081835674257491334716759161082947392247770686576735924484026845710827419886055e-200",
"minimum_separation": "0.2558798694082434203596309810465471492851623154490173169059750494668132861207433804507582691229548535401875803519495848326801309569368991898806978371049610869429368864282830481910968361023287812396261704386271177460316236267362936"
},
{
"N": 24,
"k": 4,
"i": 1,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.2675404791296042722212271375579526055747587234411476894195597350619349436480514267615019123227223567524754412279617480226650037199539338840874459350960603241336785479195633238174529971677730155063031058512301526353568680621340771"
},
{
"N": 25,
"k": 4,
"i": 1,
"max_root_difference": "0",
"minimum_separation": "0.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
},
{
"N": 25,
"k": 4,
"i": 2,
"max_root_difference": "4.641929844748985319036968915970639362088893328756737995481552661786136451538993947804346547464925322717957816379274210322024334222951926952236713218621710606115978828108669727848709173455469818172693e-200",
"minimum_separation": "0.2570164553724370456903861869197870673257400389722919768622085399958567683320180393965326415465106074210947898725795127597085607364229840401068864166220639206269540959363877590818859193068916028778047603822498298225288965437763204"
},
{
"N": 25,
"k": 4,
"i": 3,
"max_root_difference": "1.633025220787825465018073549226761484616107286605266200954172468476455473389874948765447059024650258701959695107727688898842043449555435256916220532848843470648360911536072402942089939186325172944960e-200",
"minimum_separation": "0.2497286576204318815382277333448665948371184511139599575673419644513679892095345469304823936226999973583633459123370487949541413066446236063559391710945039140127798262688689583985392645458259503880984386832653341355535340610309201"
},
{
"N": 26,
"k": 4,
"i": 1,
"max_root_difference": "9.237785659741842886246953735888613997758837735388565166891832929416618637062712710268346622437471076817652332604331255234186198109237808310386425406497370560298904112993846574242200494309865211692586e-201",
"minimum_separation": "0.2738983065735821479467226514532519289291786894596641950586170017601241186407505595874849848926176981088075763470840837616648894057310668726109122896675277643232080190738993281690007801905558581992841312502957961608968879481102397"
},
{
"N": 26,
"k": 4,
"i": 2,
"max_root_difference": "1.633025220787825465018073549226761484616107286605266200954172468476455473389874948765447059024650258701959695107727688898842043449555435256916220532848843470648360911536072402942089939186325172944960e-200",
"minimum_separation": "0.2547845321412049518378327899209714252490774858138320421387689814712944222602349375822505251414929762479533069971937014818988371531428645256242882748277888690409402989168809829183189949571661116357357737397344335442567701033161687"
},
{
"N": 26,
"k": 4,
"i": 3,
"max_root_difference": "3.011149724586777960634648727253673433056702902103400115353619932455637499917019207385623720630632768033602982125763336187010317366673680745854661200863336231720804835614857568282715882841823952468164e-200",
"minimum_separation": "0.2511191524913078990576372111013656172863905429662778175446524943870040376957134085425534571187588456443861621750991640624200377573405946944461215383504758382538049810617075266737650469778854555539675878276605297977726483422343175"
},
{
"N": 27,
"k": 4,
"i": 1,
"max_root_difference": "2.427666519833679441498154142996708091508082228215840219240868655731628867238452400785036466378201603691869372162228848885287793392721191285841792638307997310434507291097087449041570465793093372291106e-200",
"minimum_separation": "0.2946953306952121153546953351388342556366142426235667322196333473707920445937555407617398354977160816240309424437624354899488290265609868971748265708144095390611175342942761894441057303375722822110729571362007508062480785975113583"
},
{
"N": 27,
"k": 4,
"i": 2,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.3849001794597505096727658536679716370984011675134179173457348843226517815352888971291435970571663501501391425367570451177710989099997672175137012249098608107840207182005123515706610711335743722051700034027429482007384192557049455"
},
{
"N": 27,
"k": 4,
"i": 3,
"max_root_difference": "3.723870450618745109339819872183251903901924656021592886329087283444179205567933561609871103010421469687105761865113786550283224553529494969711440397416435765847634972789849362736556403593116301390197e-200",
"minimum_separation": "0.2474339100577900587525276630769016173753429072032216634123344943041520839568298344461094090257099096933701200031933621478615808250441803751646452803487147262546676581737466159579862491859188724684488115495701598105745015749632777"
},
{
"N": 27,
"k": 4,
"i": 4,
"max_root_difference": "5.356721008210656934249899856397842551865838519031321977558821578693353130463541754178977744245880654602456683328649684866567133319270282410175394381605942878106582293565787949057912787725147545818570e-200",
"minimum_separation": "0.2421614389650848801722057005762593887499129791118390577071714720027710529104295167526290517439363309869354192752402667835322313597556847812762007644082871496585129301291653841714649136167857183550774322232643267126859916547049115"
},
{
"N": 28,
"k": 4,
"i": 1,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.3779644730092272272145165362341800608157513118689214543383334941715812604614690896800561266392205158021520826197853518708205042698038878263467700794114439603881643899611891274713842278378696086715682934576748325748165630143345627"
},
{
"N": 28,
"k": 4,
"i": 2,
"max_root_difference": "2.091292674313130858280632859864941302565801814822293122994005202199725920685275790386722874344517354995456194230091560717992751513885736285073610406464075933307687139421223451169461227637393181067127e-200",
"minimum_separation": "0.2555350321481124254107630433063697860294712832736332275609309727519657039614395689210805161157661747327610889825322860932016742385256443726703155538042310437182877909085847272734055774152427978794164269857646964981692313395481337"
},
{
"N": 29,
"k": 4,
"i": 1,
"max_root_difference": "5.887956167676406827712586360613068349927343627554493047645338782491587383711255473606666706522149450885729185255683184184756877435587560115725539049875346872084433186066937283572613832934871096462024e-201",
"minimum_separation": "0.3192215557335020476827214463457061358919660961746810692379897921397734299586447408767930670348086173377181836814461014999108427793629972462551641760201337059086103084961020504631111230825701116314283604865534898883932728673544746"
},
{
"N": 29,
"k": 4,
"i": 2,
"max_root_difference": "4.618892829870921443123476867944306998879418867694282583445916464708309318531356355134173311218735538408826166302165627617093099054618904155193212703248685280149452056496923287121100247154932605846293e-201",
"minimum_separation": "0.2708606574732759452248279917257740400538753524303392960518881146299708954467041096979770444715483037177318357053303277720671141538187226348951793287486239776516860470903203302170531103930289496972014167912996686315524337551279595"
},
{
"N": 29,
"k": 4,
"i": 3,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.3713906763541037262931524476924365211238013904582612991503716324149411008846661167501126745986093437530141256409617765936336980277228659053071183950488913468049463811162217021542062077967205528476130141053673754394047867168282977"
},
{
"N": 29,
"k": 4,
"i": 4,
"max_root_difference": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201",
"minimum_separation": "0.3713906763541037262931524476924365211238013904582612991503716324149411008846661167501126745986093437530141256409617765936336980277228659053071183950488913468049463811162217021542062077967205528476130141053673754394047867168282977"
},
{
"N": 29,
"k": 4,
"i": 5,
"max_root_difference": "1.177591233535281365542517272122613669985468725510898609529067756498317476742251094721333341304429890177145837051136636836951375487117512023145107809975069374416886637213387456714522766586974219292405e-200",
"minimum_separation": "0.2411947493764082281922103819652167482391933541764148405364147433752619011458150360741265828349800206267283319262477748990973721032781175286922677737642099389100527829295627917393808588182859137693482195022156528468853062818996346"
},
{
"N": 29,
"k": 4,
"i": 6,
"max_root_difference": "1.978657891308027517681660666560137222333179805874849854843335175438420665164737717155714257313636451207197771928414682311518431378454114233128731018881983574991108103400154690988321472911350644124946e-199",
"minimum_separation": "0.2445612709043563879615907763840531674705720469039353971857568792178500066840174383161870799322507752493789907424786871850844217361177583553638084324730502306122888643379475719142405185723654312136645731605041030810372371629756713"
},
{
"N": 29,
"k": 4,
"i": 7,
"max_root_difference": "6.360418359599535261338576811075081423056436835974812401523904783340172464416223655310470630435929321081660528459207695175557980053331547866112570157170794470940354753698703537964580442816548746238671e-200",
"minimum_separation": "0.2374725541217285421128171967009717542555661318327815100536118683880988441504040022877679203435425428231934991322152632570539807771997597580425341103723579532217052806211352035614282666092617669337308583108807535798362618825143805"
},
{
"N": 30,
"k": 4,
"i": 1,
"max_root_difference": "1.177591233535281365542517272122613669985468725510898609529067756498317476742251094721333341304429890177145837051136636836951375487117512023145107809975069374416886637213387456714522766586974219292405e-200",
"minimum_separation": "0.2634574220561955684063340713659523336098573075440175245018688064541338825990173564085994197809300146652974902351673578462081869170510365015318239824757409373861120984302880350140680892472312099650384150719788818112005098787889737"
},
{
"N": 30,
"k": 4,
"i": 2,
"max_root_difference": "5.438243697415187418239658624811967328495223397891839165529974181484778115292146795527084801573631038586801381017239479938931412545025243962897123624531260972268595468088045862576639080306912846167592e-200",
"minimum_separation": "0.2415783311235627738585796208444553207448806211045577045880311758200241656014455198451079434651940050637330862889901811916966592011112703638142951613073809639403879924892416309422034047249343476755470398858948343956659560626989705"
},
{
"N": 3,
"k": 6,
"i": 1,
"max_root_difference": "1.116822116050564225392225958184554974365438075426145646226773931167681464549531978267629394259621670007237604019160818609594543771980796236572418878803978848248950985277762746478216839845292128108755e-198",
"minimum_separation": "0.3217670725917606670266905323297117662258493177561758234913978821672284250732204381754581755914673211361026269674918509465230604164247741862599268527081472378215893139779236766895020856727926623885192215606980031112544098388781534"
},
{
"N": 4,
"k": 6,
"i": 1,
"max_root_difference": "1.322649620970840004262499182747277083577347917820211162040798490907268694568225803698972305835315912131704857712774864684039084963814756039209163767608058064513360143673793091793413207436315923036746e-199",
"minimum_separation": "0.3036359659963032717503812019453443327151984891164844756412413429052049024910795044571580262849371927637528353438142841302450834823325820839783094925099699329282911273789799286279231163635127785398333346083990826047546294518182222"
},
{
"N": 5,
"k": 6,
"i": 1,
"max_root_difference": "2.584104393171787433592086967448843770478098313733908004496465266545034514119440186048285219630966232488976526160058159511782585210398816130367611987433698795448747044388869762981835432606630137878979e-199",
"minimum_separation": "0.2892695400395103282369975527465696302780225101494090366789211783408108771058369600678027057615939631651064302306027025483927278906025734244685542372741306849462619415933489151940621841355355498365876466085199823066724873340519622"
},
{
"N": 6,
"k": 6,
"i": 1,
"max_root_difference": "2.540810921080486162140484675945880608643883773688520419288512575733829472026580612807419305635716979222615708990670733348978870293972905448913564535777907688459925656422898387243602198876561470137875e-199",
"minimum_separation": "0.2770201059233393146830899768517190790122827468249785659889413329856782836948548662785636666811958873559782616936416296307166818127687721402216198049273563061032898458398447080262374796557254381730466079200817584920881156095970583"
},
{
"N": 7,
"k": 6,
"i": 1,
"max_root_difference": "1.016156422571602717487164910947747539753472150892742168358101622235828050076898398129518128468121818449941756586476438075760481792016158914142506794714710761632879452429323123166642054374085173286184e-199",
"minimum_separation": "0.2843452261261374638207522601653403101505782384781190245717789859564388870436179732545422252665110999467832785078406537296929029876751497488609065260497653832827846791919557862258070152580855516918929913787216766051315833623244627"
},
{
"N": 7,
"k": 6,
"i": 2,
"max_root_difference": "1.758821989629930196720756674560877862377444026433547250177897836943844511964045797756662670755444265564208473055861691357241661899338468466838293646915600577002056192879574634802831177122876876237879e-199",
"minimum_separation": "0.2682124442309105663448505271242226940347138540085578085970594933650879067872141601872869057211066746939414078619146548415583569745826414362467985912356513439043638132338651992858967561390339017734195195393135435235303905600414379"
},
{
"N": 7,
"k": 6,
"i": 3,
"max_root_difference": "2.355182467070562731085034544245227339970937451021797219058135512996634953484502189442666682608859780354291674102273273673902750974235024046290215619950138748833773274426774913429045533173948438584810e-200",
"minimum_separation": "0.2654647616615678462389277495518662818868069172022273496715974342646307600564963145960023104600148363526259779200366303943354476235851999409181577555488501764304013243108853957964970039700558707497334659270650732479414903638207107"
},
{
"N": 8,
"k": 6,
"i": 1,
"max_root_difference": "5.581029441043667611616560590794133468000253717375934010690447830995279660458464617448941396288573810792683484097615166144791696793024598326740151003345386411567605506197649625679266488017622642122003e-200",
"minimum_separation": "0.2599358198360056726917059153743693591430624686583249391765090607920548601639655939441702263757294658103492003524381874358470825340992201111101885912653960722109966853483130200351094432125641371144400147353223398610915431845288711"
},
{
"N": 9,
"k": 6,
"i": 1,
"max_root_difference": "2.201860657217788444275471192549895390916238222486219797878834113116849890757590901621623776968079962887858729699978103558114301282333599829743394071700531502360223218723635993023095019271694195683796e-199",
"minimum_separation": "0.2496796978191139058496650726823102795923804130530885098959320047075126073682628009632212807963429770402457591853108713405013561111640925602073408465705462445333037205953339195248317900731179855688615698559156905195489522303467885"
},
{
"N": 10,
"k": 6,
"i": 1,
"max_root_difference": "4.855333039667358882996308285993416183016164456431680438481737311463257734476904801570072932756403207383738744324457697770575586785442382571683585276615994620869014582194174898083140931586186744582212e-200",
"minimum_separation": "0.2593441124370162525259128322049400354606644271433530670593466106003137976165547896902363842496173947299598540930053356566284556349270435564846994618002206521999062415990369413664109343533724531016680968871352791847027503587054986"
},
{
"N": 10,
"k": 6,
"i": 2,
"max_root_difference": "1.110937347844710621083519766686637212874162525257501254278425712700784626706055898338782071639682312697660512801804732226567476397974932238680603245621851532976628911980938751940359702353272855839608e-199",
"minimum_separation": "0.2476155076473043670498510090131302870429498059051360155646756412388511859532092603243949647478779725645034623685273909779714472258513342490144359189137589663846096395899794544917340021293802786408616824093882803566201728008310265"
},
{
"N": 10,
"k": 6,
"i": 3,
"max_root_difference": "3.669767762029647407125785320916492318193730370810366329798056855194749817929318169369372961613466604813097882833296839263523835470555999716238990119500885837267038697872726655038491698786156992806326e-200",
"minimum_separation": "0.2436631992848437026783717867299924118453933572803032398172584302483139645879676809827018441602819123857132251557201918247811574131727036611480511716837493588187919379684683773891879706221281434165716117919208655841753837994546360"
},
{
"N": 11,
"k": 6,
"i": 1,
"max_root_difference": "3.068175832999767169426127040673711510842671934872106871810159546315063729982193067272669839571259178859533255843102067068066765340000013132307120188233027178886027996364475111786836875380404608999176e-200",
"minimum_separation": "0.2454536425551596924796997623128663011917540894152172233184642021630596041354013803215876224330396711952539814987129440977354430691177922190106248545876078088068567178498447927450286978687607469293266403687994256442455499531323083"
},
{
"N": 11,
"k": 6,
"i": 2,
"max_root_difference": "1.633025220787825465018073549226761484616107286605266200954172468476455473389874948765447059024650258701959695107727688898842043449555435256916220532848843470648360911536072402942089939186325172944960e-200",
"minimum_separation": "0.2533476291847500441611810034197246919509010211458446826316003922342197400672136410254639635237919952743934299263276349585891890684898624866523078576070368372730139278015162890134679299627199197443338926969914791953537611409865894"
},
{
"N": 11,
"k": 6,
"i": 3,
"max_root_difference": "3.136939011469696287420949289797411953848702722233439684491007803299588881027913685580084311516776032493184291345137341076989127270828604427610415609696113899961530709131835176754191841456089771600691e-200",
"minimum_separation": "0.2382214687434292316181883262526128102383449309671104633038662127862508148083241598737913649943229188335032321351005292345223755799404415251607653761127358111491317845928029089182206094155267437198273294446648959667180219105116925"
},
{
"N": 11,
"k": 6,
"i": 4,
"max_root_difference": "2.851955940012719521049579031772690590111065871647500544369972953642559972467422897079826498071972080761006293941200125668290351111186411165228059604706433346160188256006813407336971134995815155092497e-200",
"minimum_separation": "0.2354460804991257981014630272816653261856460215733113976850846112577243673453922626876455425712653042026397794918675989480217345132858997105792341105785590631721655359980179990018967846350412632478440438528687352799390244810842091"
},
{
"N": 13,
"k": 6,
"i": 1,
"max_root_difference": "1.007855751331322281235621537041924404994776030764733975038528579349354706123660212945689363837302034951923537942300890015519440045185315305655608323418142674774326823022238530443575390075673675680747e-199",
"minimum_separation": "0.2342079935044790013527125035886856013675065007339711864693718746121289434409830400901518878411112659721161355845079087852304996690928434534222607309638626488014347941198143859058779119544218748898419700874869221437145459371071821"
},
{
"N": 13,
"k": 6,
"i": 2,
"max_root_difference": "1.177591233535281365542517272122613669985468725510898609529067756498317476742251094721333341304429890177145837051136636836951375487117512023145107809975069374416886637213387456714522766586974219292405e-200",
"minimum_separation": "0.2432501180849334532136203437824050436791733136754561237205845912852857098879644018035572300085191209965360393990038238297465206633600650372475174470984914855833415011980156822643950867380815027356316830620930237388180046851276730"
},
{
"N": 13,
"k": 6,
"i": 3,
"max_root_difference": "3.986722635888480215734405225207164301982138327870209477789037958645390018037507807125415135666045264988772961828491646641463413404939653050935877171965228081222567303807500804883272177822566551860062e-200",
"minimum_separation": "0.2400785003127121001355396052966434539727739908723498438541863695407437124622315909777451113001186925560878466303305438059974703532239886278181719864708930833499252050531710973816129583082729066119804927293449078585489378831090819"
},
{
"N": 13,
"k": 6,
"i": 4,
"max_root_difference": "5.276465968889790590162270023682633587132332079300641750533693510831533535892137393269988012266332796692625419167585074071724985698015405400514880940746801731006168578638723904408493531368630628713638e-200",
"minimum_separation": "0.2260540384358012328698766900856371704978115348322990900256910832966558742580176243708033600059545279414524974921873867338190617716359922045902839683767940248667443866337450405428476936709745930416154957177237534631817562161406461"
},
{
"N": 13,
"k": 6,
"i": 5,
"max_root_difference": "3.571251053243743267163219292724490762028048641381886164148679245878514126076210837636078804622955547953586551314545299099757367381096876813765980867993700362270497273907972586935585665813719925816773e-200",
"minimum_separation": "0.2232945027029529492225747405571151422477937220601770506484695205181838491498354314041827775937757864462349376803851934527697288123273090410674447118409638275093610967165553708554172625355051094629900320902085127181343241819394285"
},
{
"N": 14,
"k": 6,
"i": 1,
"max_root_difference": "2.061694341244629649585317855898786374327835449339148578704642741451525035154717122816376912018620951611224115073506207234788079855063737011856728422721664881693555650814291408714388548222735530843012e-200",
"minimum_separation": "0.2265198348429905492939148407877479976749756564135019908947658381808140693304390959730969509647688581469106537533946704959454538848131903662771178393981191007464546091287219394550779797709592221640503911636106276376832764485628665"
},
{
"N": 14,
"k": 6,
"i": 2,
"max_root_difference": "1.422232781740226290294110388686856401805653767164963171469073453831500275555149630930938006948450492222966956300662562825197925513398408738219720649212038195422877140642213467366081985139446535229155e-199",
"minimum_separation": "0.2217367845039535571654392208624913441543059045103553514883961617608681392987385019952631410069331095671143891099347661031371277118124183663644363582057450777221201292797500553496254354873244749367316258774843154220357590674399350"
},
{
"N": 15,
"k": 6,
"i": 1,
"max_root_difference": "1.904418301096587211093976607561804400935672341363501118997570100566409428597226404374835239732960712584518249751477613534192206484577854154197326257444342299478949709113688449577179302696844331801054e-200",
"minimum_separation": "0.2273150392067678698867388248818354011499460072811449705756931661425672478495075302639807351410402282061309041094621438724435313226257694598099043250442625012475167191306305175335698255974713404843524721506331143686348734429365909"
},
{
"N": 15,
"k": 6,
"i": 2,
"max_root_difference": "6.532100883151301860072294196907045938464429146421064803816689873905821893559499795061788236098601034807838780430910755595368173798221741027664882131395373882593443646144289611768359756745300691779838e-201",
"minimum_separation": "0.2319997047187959154307829085067745291149313959532614271091485471067209465645621417431013330781472426434593057356507942288555712995517679324862146619379581258245108568280676842011260911976716935705915853610414242430661772342612528"
},
{
"N": 15,
"k": 6,
"i": 3,
"max_root_difference": "2.046174736823502077429887700129240058671757121289904265439454913721450121301630302187524508199311671301783582309854081499490352046169498473330983710754711741925699697824619011669875505742155302426252e-200",
"minimum_separation": "0.2155855697392681444996445543614522803117279917606869723954136020082337651810241829889785623148990588906770914107868418889562434739736321652552522834570401905145733303530371878508538924073689888629429410319848620955659062755001404"
},
{
"N": 15,
"k": 6,
"i": 4,
"max_root_difference": "7.763313274696458494364631528706148462745771193991385763650179933550813643484348171627399993500861681536094910049537865076950268258273010419330480277021593334678864745060920139372053773612684527947712e-200",
"minimum_separation": "0.2145935530969040297998358398306336926893504435313917047077656981586931724519190877034648725688353336574650483462918988327987754911203935102058010808455146358312901263401703647998181003839596380516259877518636576731228381112379512"
},
{
"N": 3,
"k": 12,
"i": 1,
"max_root_difference": "3.392349997440480153123295166976328207708779463060883954528096295562018345653778612094652906455680178589636693466592817897850774310724870917149837765781166574404770556372167921969457197875791795163694e-198",
"minimum_separation": "0.2094685844035757158729864285814823589184344327697186560532240615905831204719212535116786186689040309183285890347376933026346803935653923134187904460330727664799584619170975507007804026235598803279613960444786964565866100638944503"
},
{
"N": 4,
"k": 12,
"i": 1,
"max_root_difference": "2.201860657217788444275471192549895390916238222486219797878834113116849890757590901621623776968079962887858729699978103558114301282333599829743394071700531502360223218723635993023095019271694195683796e-199",
"minimum_separation": "0.1935928974710081086130611839538876086682948643439075759001110634055926281639773050087703645050195240833638218642814755172113580810916986060624635737183104064700824003440244288414640001666605286127241901324383910782521845868740115"
},
{
"N": 5,
"k": 12,
"i": 1,
"max_root_difference": "1.999038994251011470691024710109902073917756439614711494441762673625622087387998082668994208197287466313987895413611232842360319480572850280083052801773921560765284562300973453079474615537020620377556e-199",
"minimum_separation": "0.1792726865931961916719870221367501201031989319853139052374629131025395603088075807237556672983427225096057183095599536798716750521828295384192506496012219125183172422236461180981249871989072919239115147284792706460218127497054422"
},
{
"N": 5,
"k": 12,
"i": 2,
"max_root_difference": "1.581254197823116812417850446406802473017647092982310490345040131680947430911680608213822386539693752286814097251336130648720657216818920972133591231245525611872972247834063596128694188707806407011832e-199",
"minimum_separation": "0.1803671646016727992579713498698969795328903456735268505355835232359291710192680332201840574318788760026280757005430324729356141288922185516231489906981860806166308926182074117246357036212682377068444267780845554797129446924264999"
},
{
"N": 5,
"k": 12,
"i": 3,
"max_root_difference": "7.703328062652770538043592464695839013588870861360452567081853468645910754134269055671582292185931438087512033693049944440874925260953241447401913406626788086657144879590558554716677381325489334872275e-199",
"minimum_separation": "0.1789939494940510487343131598337634686872850355649771323000740428114123537845055186509854847194312032540054919581726220036418166300295710250154959299399655158023273757144090805368646336907567712148762975744815480522601705747394344"
},
{
"N": 6,
"k": 12,
"i": 1,
"max_root_difference": "9.308243758490605150603019230592540462311811533650017345438783070315796198322287207963048236440506474601170262114047826723399647662465980964422457037238407782695657195755612696769912653362053485786270e-200",
"minimum_separation": "0.1687950125958613737854096646515401202012952344013514008315927275343328295003155418648007123686652467217002262535189588535259387638144101205109907154117474537907579313975322767555163771702007801311262416290942692077648832307157324"
},
{
"N": 6,
"k": 12,
"i": 2,
"max_root_difference": "6.819713536722488999173448016712867935871152989602877798352001089078013360239902043767835468824833273174790957545618328335708939253226128998825334021781483316977973016785916905562561292133164373087695e-200",
"minimum_separation": "0.1700401074800786722676517163265251395117008997810708143659018312041253144829753659403806716466570456696648045333048729409075663382968011628066560610861071002590980628284837184784425541599261290030729883846845445643038556193552460"
},
{
"N": 6,
"k": 12,
"i": 3,
"max_root_difference": "1.596109861949619735601860309349267194417786101543367728344329070290849966472330090726040966691762424164910518707526107085910219534386895212517358333759153189450026623736366365396051481254145211688586e-199",
"minimum_separation": "0.1686567020665607653571118927252826508858366087550030824240480556240517465422137373156439777937015132726298550074034930143750477574182857171410963016097211051652317504029319391973345866165580082981664327997961196523437691088873038"
},
{
"N": 7,
"k": 12,
"i": 1,
"max_root_difference": "2.075934135928755276600294541125089220274619281651263581543867889704318103494072274852459847032350243468100824700629195296970817690616730555986589702647502093152307398519411303764436625259267126026217e-199",
"minimum_separation": "0.1615642514972056984154100229792835422180235304359663616745376538655418191415987565372414469358049436292148253431747558357796906289929606416516011850357830284493491714722312651990070863575604159099761507303856026781217717402334491"
},
{
"N": 7,
"k": 12,
"i": 2,
"max_root_difference": "6.441658369092946722704714792081579847273948273180076816410866861446657660874565020142645214289064363038588975811415569660091019785168295681286531085546959406410029990254723699480949950299516640922360e-200",
"minimum_separation": "0.1603083119392712806404185108001034584282475141287591213861209363516854619400230019996932399444102188752878797454005190562861681996771138126268028704295239291277356722901641461538312850388464585902672732440022875228138626000003180"
},
{
"N": 7,
"k": 12,
"i": 3,
"max_root_difference": "1.578553505505497724447627488262996839553186473731701333973807928741445296953814312490196762809763008572828703175466819287176430115674474562139619513411392015044248721286405088228968734431578417170677e-199",
"minimum_separation": "0.1612835974746917157274934785179026375604239848158603118642639086740647959918910631592071931274528810405921404926554583434750112676126945781502390255936055881210327299827447232468403177967087907004258027253162932356593392742882099"
},
{
"N": 7,
"k": 12,
"i": 4,
"max_root_difference": "1.372129945901904376822922661272736318386659972043396881154989300170325655284827976675234712992287107991536481753900406745052582731081827177829015493474321152218455946560193029269185647947244076970675e-199",
"minimum_separation": "0.1600458298903569976417188274918273550756839537042658365836857630870821406738271991638350496791425133824417543603245768236284143308673115004394104808110879324870192030212705058183572306831129532572989971172484790685908622266413077"
},
{
"N": 7,
"k": 12,
"i": 5,
"max_root_difference": "3.043040734395814408901660062879350149800118788747728233720582641558258679895079085658852475359825271895489158632967543021990317323872359266200324580733348416605939606353554324306739892312045831655032e-199",
"minimum_separation": "0.1600057554156119525116838421395459101885817607141123939623706747839167645545012490687771903591301631291970932568389519297836830206114556054168628668125607132531013865753615661270395733999623784273238975401653339814856177337296635"
},
{
"N": 8,
"k": 12,
"i": 1,
"max_root_difference": "5.386508379684644289662637822503345064906367633787991732947784898043627294247835474412503797915570644601736236849345202099647759112878455781354920315760601540642795120002029091264799638102130095121190e-200",
"minimum_separation": "0.1529685213569773380781018517686489314875630584932580068690659085073387869933471161086478071850459145178076995994955819996770614658190134412155333940385225293507392190931226454148346683836536656106831279828640127388737609264428960"
},
{
"N": 8,
"k": 12,
"i": 2,
"max_root_difference": "1.022435512742890515673073342411086043344122956649833286855535443073072782111670595276504948542888399452578339582525936650324415900976921722297284551620280650219140361881391944246224534767963560233414e-199",
"minimum_separation": "0.1540850597494293576735438149814218198760774219581850840631356902857998837261077573909598864519302657802480953346558444196623786755345527520252652957195345789967751282470739298356444908060553459635933619368010099517526870392441854"
},
{
"N": 8,
"k": 12,
"i": 3,
"max_root_difference": "2.377720611860389990055558457892170761603732796233856710643237844239925440568607188190477636777532904196338644457727142389916358631088520081177866076103524639564321804909997090532233368463283345154771e-200",
"minimum_separation": "0.1529607441502313777428943274366498791695338905222741090832976175183620311051443224289163262319062074058803575040123846513672245465842428786750772947864349098347476312880735745043106989941262571925214429137527679050964487568192538"
},
{
"N": 9,
"k": 12,
"i": 1,
"max_root_difference": "1.633025220787825465018073549226761484616107286605266200954172468476455473389874948765447059024650258701959695107727688898842043449555435256916220532848843470648360911536072402942089939186325172944960e-200",
"minimum_separation": "0.1480372828649071470333734272886203437357376280270774582985417082120388208554655912523166281488968378264496325721874892761404572860365037551323343223101494892814722053513006404217768175003520623933757036738577722188736101883120911"
},
{
"N": 9,
"k": 12,
"i": 2,
"max_root_difference": "5.125202241037117567061411328466524265680586196908954031684625261353998803408659673674007949703467555256837639259621134544476360191134492137165736626534065325143338128733517424044441780853328724487888e-200",
"minimum_separation": "0.1468860403142183366617758883437358268104598043838423956311475698310306099759393751125702096157945245166393229043452343791468122961611472901889235921713367458085422645500204819444736487219119558129745448066292551993981767543071463"
},
{
"N": 9,
"k": 12,
"i": 3,
"max_root_difference": "1.168497728849017732197798105612669763821854807599809470692040506369226036699052108887434226906158170802946673808601070457513618172545053396911182344708892171679017556435876507709970896877672640266759e-199",
"minimum_separation": "0.1477565857529675225994658035951856658269364066940366681144792719905910764253054204760552860322877711523107875791517992712748457995401105538856954195452687895694559926378289827641605419534408878239089599703493624776965315884458713"
},
{
"N": 9,
"k": 12,
"i": 4,
"max_root_difference": "3.517643979259860393441513349121755724754888052867094500355795673887689023928091595513325341510888531128416946111723382714483323798676936933676587293831201154004112385759149269605662354245753752475759e-200",
"minimum_separation": "0.1466249665868396311094056341030109327587322207269030752463959116091876323740058169602014163663313837352369185227767208615960915900851320258258388649712719804283366447942271265490697378223860125574591086014545854822121552465940900"
},
{
"N": 10,
"k": 12,
"i": 1,
"max_root_difference": "3.517643979259860393441513349121755724754888052867094500355795673887689023928091595513325341510888531128416946111723382714483323798676936933676587293831201154004112385759149269605662354245753752475759e-200",
"minimum_separation": "0.1424381148254229315144495754009706367325971816897971229183144533161701967177911694423972007428459523591557715942363244048196605221798328530519573485673115029093726716397544748363997436654254533764020720739504535873677728541177973"
},
{
"N": 10,
"k": 12,
"i": 2,
"max_root_difference": "6.402208680094445989612700874205861716912024895887803586198843740863350437732668016965455424400595509606608404126356270330075884189748206392331170083210129267217026851908232418779491988074580266933802e-200",
"minimum_separation": "0.1414074182382165691305545186022937915914021653561063802879544068477572845318518316511755742381571964597765335187550156003404245981451884326479104589247168013676388698153616007741707378220796208164044338491594122313168018267079699"
},
{
"N": 10,
"k": 12,
"i": 3,
"max_root_difference": "4.974699823069356842740568164053151170161956255240908697272089177464973472931733111351234592360401689534572204672284228292894631752299953423646190099247191869296778805448991743146499563454048462218942e-200",
"minimum_separation": "0.1422581851207670463046124082356364781540813725014766572165107250019888043309043094489280612377667818953204221699330721071049425747932591246767927073427394443082251006869044036396301820690246516424822425954829645788312975023331426"
},
{
"N": 10,
"k": 12,
"i": 4,
"max_root_difference": "9.076153792918711084640533735251529566685924750919271479642266017986152096756991591653847278147230939958930582924659904940036145748646287771633420510010757647407804966136777131319645118416593148666392e-200",
"minimum_separation": "0.1412425484059182342020197245147255774894853848431545781092651215349098826608943596894459068289472751403393592631941553558834236152864064580858789128364084326904838436117359839714486569150815994756907726555414788123825370198135668"
},
{
"N": 10,
"k": 12,
"i": 5,
"max_root_difference": "6.482925020270636097126765970669935367790810956104201574766864072748224679634970898181443131904723697920796145851031961303448019976816139560873748960371267401769354879223556716194796435865399220047646e-200",
"minimum_separation": "0.1412353967852862168026666340734338909593812478586566757796952401098213714722787872485267667347442770767097500798543525836800056251479743023409087566529117220232143241174649999199479616560176149797388837580793450650248232556686205"
}
],
"sage_version": "10.9",
"pari_version": "[2, 17, 1]",
"skill_manifest": "agents/runs/20261109T165350Z-build-skills/manifest.json",
"skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
}