back to table · edit · history · where entries came from · files · download
150786 bytes, as of the version from 2026-10-27 11:08 (current). Recorded here, not run.
{
"table": "T545",
"rows_checked": 142,
"controls": [
{
"g": "A_",
"passed": true
},
{
"g": "Bw",
"passed": true
},
{
"g": "B?",
"passed": true
}
],
"sage": "10.9",
"python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
"numberdb": "0.1.10",
"scope": "Reused builder exact rational closed-walk and algebraic-spectrum Arb algorithms; no numerical changes or new critique verdict.",
"skill_manifest": "agents/runs/20261027T110139Z-repair-skills/manifest.json",
"skill_manifest_sha256": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
"skill_sha256": {
"local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"source_sha256": {
"generate.py": "4e1555accc4f9d00c026bb8d3573e9c0107b9500aa702740cdcf86c638b1b1cd",
"checks.py": "31cfefd46e8566b909ac4aa51227aca2901b2533e3398fe38df2d92368936d70",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b"
},
"min_spectral_accuracy_bits": 408,
"max_walk_terms": 124,
"entries": [
{
"g": "A_",
"number": "3.086161269630487556955811241514123365203058224731727409474804429421538126098447397928529452871086071",
"walk_lower": "8468479657413623952330090110612287692537261519179662634311008589483984954677800160905656084231274836107572813551201/2744017216711287565938637133777568137626894308042548599689803123158770004427580279222028405309440000000000000000000",
"walk_upper": "38135792890321271053836374861805193166376887507437463868241113223391437377690889055011047725508022197805841114770561763857/12357031781066758075164696651521758882589498337454255333116186027027042225136980435703972296690247925760000000000000000000",
"walk_terms": 80,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "BW",
"number": "5.356367113217141727978444135640250566862588065843313865621631481899841878604121838336747886218078381",
"walk_lower": "258652313857754433671136149799065505974931681691798256466299780059623386518249050524916221638010246659235356576572988913168084980481/48288757732739243889670393120277669842449165740286996987283784947406850504866472397859804217371955318754246656000000000000000000000",
"walk_upper": "59854798270929070868769326972732466446763036596627673451496295257387206751979427717624843597001089130758951105219774998498682553249623/11174513808665940412930135843859127444310351815540773020775286132060175020677433676684223924661074275686078873600000000000000000000000",
"walk_terms": 95,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "Bw",
"number": "8.124814981273534870421475000897929548071937832615382993102801425917496787568857370098607033770961082",
"walk_lower": "6994096998123170861112830660018590460927703073159154787083633112929487193750589123588192202748257705527322939244235353118493077690087577404610558593/860831540686588271883308508282893924616478861676447739101020880936191165632891927072647114615452039046940186405352217279201280000000000000000000000",
"walk_upper": "1993317644465103695417156738105298281364395375850359114318835437184903850218917900222634777783253446075287037684607075638830567233580300503646616723869/245336989095677657486742924860624768515696475577787605643790951066814482205374199215704427665403831128377953125525381924572364800000000000000000000000",
"walk_terms": 95,
"spectral_accuracy_bits": 411,
"both_enclosures_within_written_interval": true
},
{
"g": "CF",
"number": "7.829154880351856321453561348748315280705142805978304503049574901984597222079296081468811200721353821",
"walk_lower": "6443789536192349202205170123134873324875377289587469438956723408053709489066301535312238912700235288987662509006664199296510863946868652764403701/823050461342100016612097244848661864064384793899049181046123750667936918849316271304649046596052074796101734713555681280000000000000000000000000",
"walk_upper": "180061785066531825610697009598506904489296456238614775826354932986663905965051540555784651432465459404161786256485066950581543236953319309423017610177/22998878910725997118045654280765319388411441704287546211747703406645238832753605791960256608593450534677376666209215735398400000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "CL",
"number": "7.635733837560584232618734748797066389999967327203866788225204822094161228167997109155335151465061582",
"walk_lower": "8140037800198133583104060332362733662077089667069095792258452545876895958553300842203498858264666261026369921417722701618356662784003540910701119/1066045251624257921836914561341045107884184348825322277524484063078874508523705172845383423672386426064322212266690052358144000000000000000000000",
"walk_upper": "1605709670779798257841380586919253101276799619932954885335039676665780694567051662205092330137615398554533892391660992780378237089137773846382818977441/210288847796295134988636792737678373013454121923817947694677958057269556176035027899175223713203283824323959821878898792490598400000000000000000000000",
"walk_terms": 95,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "CN",
"number": "10.71922334838326856556082644875566275871475389459688080366710449366540418965097710712915519491850167",
"walk_lower": "472586053176270045357234435295329941953903134043211512785261926498951009866055167221465622659481262374685388537899907424576596056444684058995483159788787895744526441963/44087713989796475174397976313398054950149418240053720534339509029523850916326902404869369566092951336929345495037090439902827126241624731733196800000000000000000000000",
"walk_upper": "52290572724742516268674905641711677781876759274758528408978356571821431625747490491311485998129193769798995774926493165832552529698306585760223524517480174057204355489573431/4878205353621003167876285174585873421018237334129580418668906811596292458775852826320602857557353035996375421422456245606066224184257954691887923200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "C]",
"number": "9.524391382167262919124426955547492216587947116461423205555286695176647170180545453321410607569778844",
"walk_lower": "22920314422177893209252547457466718818165962911318346065117627977415591544890895111663471930823176010317168602062649484/2406485989760156764815025301089901321734302430643254584614663154586027054660056166607782706823827679229259490966796875",
"walk_upper": "45301428447574051480757428735996533076134571545147928039053363756662481298688231915825060684473736804991625812761775138890452/4756359396611205841737777131971662714874805396605626605126266358460417822859234511896117325469624812304650652408599853515625",
"walk_terms": 95,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "C^",
"number": "14.53360928563993644702444564032371556470738241504308412963188298254270037494319592452428181198500232",
"walk_lower": "75725426568378810588531958504668019431151283530945914535027248647994493116104312583144349473180419702709396488939367106569166219637621243230581706008473492223577737723121/5210366198794128884247033564310679221381294882915439699512851067125546017384088466030016403265530612546195376686201597443061387646737468295741440000000000000000000000000",
"walk_upper": "3119508947484365102194574030599799060466277125057316949270447508054133143917917156862631476547667389653113588361857227955197955823896352547114138694356479300235049564348335059/214641035559324139386556547681778430524802442701701538421431899710236868186137524358106525732523533583840518542588074806666913864107350006443068620800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "C~",
"number": "21.18917524670199470571510096506610049932534123164945364790244463479123036532667314127593898329077663",
"walk_lower": "1729967218437542055835788609396484100904858495090791212136499918429798656382379720966194967053560561673525977783405023133434648447859674067783675597160125239223285541643/81643914795919398471107363543329731389165589333432815804332424128747872067272041490498832529801761735054343509327945259079309493040045799505920000000000000000000000000",
"walk_upper": "84223454029631734988365368448467828452553035833495170162865498528754747585976156715239201971002595945075612228385073551252768700534502777031350567102137248902785002129044371/3974833991839335914565861994107007972681526716698176637433924068708090151595139339964935661713398770071120713751631014938276182668654629748945715200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "D?{",
"number": "10.52439138216726291912442695554749221658794711646142320555528669517664717018054545332141060756977884",
"walk_lower": "22925245333192349424018473800628014632703198594287253214178134815677243014222339677129021309729371230491096045336619901749884981534920572709045952831765800239/2178296539982097103087611990585179497489953208812653935174900793490712181477824885880608067595801369995034586796908769293968096981246879749000072479248046875",
"walk_upper": "41696853034652666811485236848105880796044808570536825005096540296114054635049668174574575394886866382585032598095432215846501574054925645356355351876024470180123/3961925352311074249224895735967062382389226713519524298276749106851698055893349317437575055308108909953696088913250340660401792391255120285294950008392333984375",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "D@s",
"number": "10.11811961438857592338113169540602131478789877100323859109804473681224057565097407369254842256974952",
"walk_lower": "1080166907563483968664957637424318266789453982132533637016995799744663950566726989788962381923653992062745048031955655280424936076862071979446786459218280371483957/106755696584909069774145948155629395386565930605064773363324556012416269986377978932727464355380901578828970237724888272348186493132472320000000000000000000000000",
"walk_upper": "217176367194547337389873443352386975036632795027887126946708814693653119801718472630699088108133140192641927337569739253847921192323495863368598606852425210306899482446110291/21464103555932413938655654768177843052480244270170153842143189971023686818613752435810652573252353358384051854258807480666691386410735000644306862080000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "D@{",
"number": "13.54365862727334544107706178392023248764321834849940821609027295732377930670987221239814309366620501",
"walk_lower": "146074716171179474345703928304637442440135435818310493015169493084446347725515367447688044044002885644205634677779261975070008237119351383568316142187535102685609341934672305502405891460053/10785469435638582966300877601998007639032624143990530102340642748926657760386627570328841694598595413127421673551157535848732064185707648188049806674370790162432000000000000000000000000000",
"walk_upper": "1532372999815022373369288710139485434015123047375947842365274094575011646059839703205077452892433099380179205068790869729774057030502511667682485360045903871518593201536524997354738001493419592501/113143209083048545518955849440710973462026581264797185582197831232847028190120973506240750195990345610360877296655629291142780376013703812970081844798998851760196419584000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DBg",
"number": "9.915316149982343878409372590262438645908201030710031912524379331406135348177743479397340653592439892",
"walk_lower": "67384870087767725007266449254537793560932585508458108294990148641024110500748940257383667695223342809616922920763467010447582591262303058048722713/6796038479104644251710330328549162562761675223761429519218585902127824991838620476889319325911463466160054103200149083783168000000000000000000000",
"walk_upper": "364889071525262230914347822713322152132449950528300656417371654891145558361555511493732560569634401314075637615934173861588669754661706295166985372111/36800548364351648623011438729093715277354471336668140846568642660022172330806129882355664149810574669256692968828807288685854720000000000000000000000",
"walk_terms": 95,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "DBk",
"number": "13.32724713275441411237211300672807346796823132671109131690834306524648564999350180418029569857737611",
"walk_lower": "133468149190682381275936097194417931322571082861301282370764282419879297294808885143918152099585911105757401609647851001314393684673699240481533365196430672302076470539/10014682541802449366891030789344307432324697485946153537417676347786301972955612987302145803935145332519334115594656224335781105034791569326080000000000000000000000000",
"walk_upper": "6428256462313350289478590234814569796610636585440507887830394463240875781968822988868584772640243783982347836512348020327319914263645329688327720226401278960361731592597971/482339405751290200868666399284895349493938073486969749261644718449970490305927021029452866814659626031102288859748482711611042391252471924591165440000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DB{",
"number": "17.51836841111039744417924313007212772160916185041469942217554545225070761694135310589218315101046956",
"walk_lower": "6290843540248724676779252839131501271600065546987509104871616417875426476939350029372804332793859736205544791185896881699371892950522438602847474998492561970220783036603174659903277/359099854085668307771213701247636948801033490474951873681208098562553538879213794729910875281225690636136871603740269231230180053635545468630996149600256000000000000000000000000000",
"walk_upper": "6887910317449346172594764313818623907213570275544129558571297146252588222713339982160590344021265020720933736367256855889330907289604304145206830985804434918043500336544837875353318049/393182182027918528205797998654110431747686803399283500020593207499259179979705145784948237309782618498154697969832573291549474306785820597511958903560077312000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DFw",
"number": "14.66877281966771709828577186935583464952038274704168682213052959404071109468983367959627407541071423",
"walk_lower": "855379073818539607032085728774517270762586466883071521943787158336955871862991402561431643844603631496688244216694000409350541761/58312926673160924685620201205015299942342615750835334781565794845664598472489161873746867983959971594240000000000000000000000000",
"walk_upper": "87714985760606510480708618344776300103883143709685158632590505867043033989180350032078163407267316011485013316915022960871124094539146100406410341951/5979708516788759250691870112998983040986974843114762015054402885727762096515937505909666718234297139016117933214396091203584000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DF{",
"number": "22.58875164759572275441805291971566316784135051549549386035492990405038074793836122449874255708959439",
"walk_lower": "174751685787469609749509679610054330080201791097485020938432901265656867631814273541797024937685201420319327168021165120563810990888448213920789720676410397066417308609694533177078057920601/7736225910743041954396388722272168726036624613997767373908723686302614070719637559565557676973821516119213083673493298627476305045197505973462082033189809815552000000000000000000000000000",
"walk_upper": "35010463706698358582615339136021355531226994224798312835233301063831229739298584559161450410487175067681319687583399977596834434766768431639276231551350200577119946075828361781406769924843944109/1549906973740391034506244512886451691260638099517769665509559331956808605344122924743023975287538980963847634200762045084147676383749367300960025271219162352879403008000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DIk",
"number": "12.03649415431201854632529584467697497815488302878314281609108394229089562384641556646263959332250794",
"walk_lower": "137971993045943023114250760162395407510801944739492293719140885784950663027782011214628336061610800860240880952340345634021828453276018147923038401449412732773878889739789/11462805637347083545343473841483494287038848742413967338928272347676201238244994625266036087184167347601629828709643514374735052822822430250631168000000000000000000000000",
"walk_upper": "516705113957056621562869096808170801127953283049398639978182617264640233039043631998783118550732449221602099166514594399432035908999824322029360142262404131259367606786601171/42928207111864827877311309536355686104960488540340307684286379942047373637227504871621305146504706716768103708517614961333382772821470001288613724160000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DJk",
"number": "17.18397966842046744498590822415399305902174415212021380093477668111905966691354408894973070538514483",
"walk_lower": "405301685216518110495853917854828174998179295311224663513536583878505869144070102462849954741306200228525108829738556235901074714168112718174928668461331802098426724771/23586019829932270669431016134739700179092281362991702343473811414971607486100811986144107175276064501237921458250295297067356075767124342079488000000000000000000000000",
"walk_upper": "379463702783965080951743230591582878842045365235134091214548626656251119986135633430843270126547929963956633141842723275872817595934718761844765303724675730486869698387369/22082411065774088414254788856150044292675148426100981319077355937267167508861885222027420342852215389284003965286838971879312125936970165271920640000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "DJ{",
"number": "24.38214864091084001195659688103747464116760198548022940769532726790825667065046477308113556963550805",
"walk_lower": "46852010589575047019187170604700700636857917411743225597039382227774994538202457471074822412807097498023820857879644539135040334465710892591617254868602633530909181524746242138759995006749/1921570214323195266280584490649322235383205094404474329027277273084339410702023464506429718609535687490025404065689297076685415898076580654638390066687648989184000000000000000000000000000",
"walk_upper": "37790062213322508261547933379374118885195574367285007956606337619727542070973673364025009036087013667797792937373822686721140644971598324392814493624551267636981244368338844351907668356800298093/1549906973740391034506244512886451691260638099517769665509559331956808605344122924743023975287538980963847634200762045084147676383749367300960025271219162352879403008000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DK[",
"number": "13.01184518629528721482467157703206943158420203546404986822292390651922314714012056644088240332863522",
"walk_lower": "745761261768765653956730287370583822229187730713779868529565242504341108171023360816814780983939381746958992448810258807663610600980417863099856205305054165286132487005963/57314028186735417726717369207417471435194243712069836694641361738381006191224973126330180435920836738008149143548217571873675264114112151253155840000000000000000000000000",
"walk_upper": "558575185064805474813590985240567282849661610304621121528644366635751490020096497251794270956970596928472285344158883846960332691615469337519373626607839016820504397478557653/42928207111864827877311309536355686104960488540340307684286379942047373637227504871621305146504706716768103708517614961333382772821470001288613724160000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DK{",
"number": "16.61977055527042400398025688183783892991044063977481153910668741196423850104164332245281126485608839",
"walk_lower": "140981719511715055186304766632117336228997674837864114317391596477113413297004579098907067471067880446840026804332175540539694819487916392148035205781517710701400550901764488806202957975698733/8482771711129745502995640233971433008099158889248551925490915522030816328544082584063633992801795292424717146247985401945027768482059065299901172949392626462752768000000000000000000000000000",
"walk_upper": "940207087423627703037466488669590515311185493493715778382684556905869353277723538010611232964551694699976138758091278679861260766337217635552540040336313335176113351110657639882340471385955642697/56571604541524272759477924720355486731013290632398592791098915616423514095060486753120375097995172805180438648327814645571390188006851906485040922399499425880098209792000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DLo",
"number": "11.49618632188367214792025678286893843182083286044368382149185376660436667698752964007973426389096389",
"walk_lower": "2968883935046161168781982467306764410034821503247109534463536453994839537058721516601850803255884421549944204592539744727748304485550106409715537401/258249462205976481564992552484868177384943658502934321730306264280857349689867578121794134384635611714082055921605665183760384000000000000000000000",
"walk_upper": "65087070883704302546374231014032912066148009878878939794008299183733020620133510171655959917532850780133392177605679019033714371102650061418094763209/5661622825284869018924836727552879273439149436410483207164406563080334204739404597285486792278549949116414302896739582874746880000000000000000000000",
"walk_terms": 95,
"spectral_accuracy_bits": 411,
"both_enclosures_within_written_interval": true
},
{
"g": "DL{",
"number": "21.74212739598649761061802648920620936134318103588086894678513696151532541794819033999123250849938053",
"walk_lower": "368867006428906600249014492109150431915369282280987875522567216407246031756500704755603435237949678358387628965312165948224779153519887935202319247641832419085885054326751301534522858243036503/16965543422259491005991280467942866016198317778497103850981831044061632657088165168127267985603590584849434292495970803890055536964118130599802345898785252925505536000000000000000000000000000",
"walk_upper": "2459974065874378117060677647875924230443597743531908141860000766219923785784103200015119309601886404972087097569666834708715124205168739072498853568482123847900713581598684958001278830914852023147/113143209083048545518955849440710973462026581264797185582197831232847028190120973506240750195990345610360877296655629291142780376013703812970081844798998851760196419584000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DNw",
"number": "20.24846263534955320485033256716059781008161988882045025982726186959482866714947990031880519629332587",
"walk_lower": "68265938718851953570947585405346251678219824368418232481280054710207340100828119401740683416281391148135087963666516025457368961485041076115129386520545432031124385714971/3371413422749142219218668776906910084423190806592343334978903631669470952424998419195892966818872749294597008444012798345510309653771303014891520000000000000000000000000",
"walk_upper": "66863861362087840370682738843559524816828694129466873398779918201928466269526495718643393995346996422246467310874288350166843641390012644633194139030804494851807536001524393/3302169777835755990562408425873514315766191426180023668022029226311336433632884990124715780500362055136007977578278073948721751755497692406816440320000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "DN{",
"number": "30.10691981131641721354373678206182630288594914871899182600952138753681682258573110964292096630462096",
"walk_lower": "3191698360157049115356623104507981492570157448204088796650574688817982027928635123235068447807618682973196463678655214780392420508562886119241583904236116245686242089124615390308753010427/106012118813873870589945139582481635253748064651868377038515759426507071354138277916738118059934705030489985206243490782521561274254959137432060349043236143104000000000000000000000000000",
"walk_upper": "58730922811350859626014513280976747217303019249180024032695078399391901124721991865455180954808759065269120603603888633355251642579003155818726202539979290452211004926238806623860149138761550779/1950744984190492164119928438632947818310803125255123889348238469531845313622775405280012934413626648454497884425097056743841040965753514016725549048258600892417179648000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "D]{",
"number": "27.85937931278960767953929567103993346000240163465930676022991237280114439225686573452715803170536239",
"walk_lower": "13001354616103352830197362515896693238591636067204722450729498821707107669003419157036860341805769630770276049675931543574635585091637793370516326643214199/466677827604534121921219450957333320893369965467254288761315602404637330888629197860588745467928594585810452073893187737049510172373108565807342529296875",
"walk_upper": "1214144593188910020124280707291066206055971195913432681216882132070431708727306984422978339137895995379500414566968890859783292260851808813893617765848618496913073/43581178875421816741473853095637686206281493848714767281044240175368678614826842491813325608389198009490656978045753747264419716303806323138244450092315673828125",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "D^{",
"number": "40.24017241692083784527846402432138507782957173805633089917887083151354935554500018613529489677241737",
"walk_lower": "4841818386230348402995901157784039458544698170384344660427619637386197362462303150878333487739230142848864913821040253755648734156014912060868528589861332435123891063589466858604010287469581/120323002994748163163058726722999049760271757294305701070793127972068316716937341617923886422720500601769037535432417048865642106128497380140442169494930871812096000000000000000000000000000",
"walk_upper": "4552902241305597283440732739797908040013877485859340430195243146003725579646815059562272450192342540994930295548424960773799490570535952675919029126334460312404559514227600309751796278898025216789/113143209083048545518955849440710973462026581264797185582197831232847028190120973506240750195990345610360877296655629291142780376013703812970081844798998851760196419584000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "Dbk",
"number": "15.39271790486097290819240308891259252957466846447872971636086572683873782228769933456668312353318557",
"walk_lower": "14030569691499617973696179379996462802016214008334346980765807734564871747019142642774242528117136199622620709582123342473550545044880917255905238916670674287/911506972207215418153568546410770110882564298198982013006527971417488644009374820122331492105369719764591617466913321997508422926336000000000000000000000000",
"walk_upper": "110130297039063648369259361915366434875556466515038377096320228632591199353320262628460634243085470071778777990011285673419562274840205381713197416676743791587779696496205681/7154701185310804646218551589392614350826748090056717947381063323674562272871250811936884191084117786128017284752935826888897128803578333548102287360000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "D~{",
"number": "56.06966779783000836449235628350672187257398156274114006385794116534350808291546869510556965932841272",
"walk_lower": "647110465099149454955696656963688664482399478801590947799211238395056620020458457035444261452326198294468691994819755769405437452235500932726852787356761810224245377846678104783846926547703/11541186001537068711558694195879500691291372638433403980259749009565736501420520522535556452791558220986009722786374696523847304057223218095103636665840308112588800000000000000000000000000",
"walk_upper": "27582183247247629309549240338163192887159519662903829327753136655735869219161578484586892765432948791938883518099025383923767042229189927571986943161372360340102695734074087221081105932250389591/491926996013254545734590649742221623747941657673031241661729701012378383435308580461916305199958024392873379550676649091925132069624799186826442803473908051131288780800000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "E?Bw",
"number": "13.46334694226153310518279120099322409145298506080078926406446572123160557160425598692237176284859627",
"walk_lower": "3534581825388068131053606689321374310755101955061526142646884675296102573857529445935107492308525346907570694712178454990959100849624914428080969715628241762185538889054862505770816553241/262533665703361838407802476039691019417461424387976367499655252050588817293070044818871705915892133696214658642281134512791622037258382963350984864106936236608466855675947776935939014656",
"walk_upper": "43967555229827277405909817789595786987056455160625152297785079465599182484153006472332972637968665763868940137027191809280316133305936441792250467576797783902490264259153175983418856749603/3265722514496958943184907435596530344342440708975668646187300378311530054365198407980544304430396541585623464045571869500239709641036520787104307047909646083419340045838191505623689986048",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?Fg",
"number": "12.82340951994918850593101649257048765449791737592576102028416652090099180837718922117119538728580394",
"walk_lower": "2980220699070050579008297845276705083219348575355584031569093724425207256908238031168322728008303121948693472841418748216185259564336862696799735017762850458649626042253316820928673073524403/232404704414513575424538088601957068715045449020508271931257959507693598042303632440099561446624528559581291678026997313562404615946823706846607478065551409938432000000000000000000000000000",
"walk_upper": "483627234824388737910887566033658424199752667460128821059000960505998208443811959459964243978459422326712028079232593041775956548978864314627798801331034987585981126228258211610502493415283228293/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?Fw",
"number": "16.61978147272394395996579195304011874791146202778866706428216834211299229171331980583542497512554447",
"walk_lower": "897967664329998374667036342111076518806255696999642224240332045463970787830565139386363594378798617929414576846619221027960669269458181254635431811692312070360553665409213319892669383794624151428869185193/54030052429012084940271709068491917279248203435641390698119739276324625148977930511374065974887623226760340205461345312277274191230127879988200160011062435220067836293587927040000000000000000000000000000",
"walk_upper": "126201722496434466573267288074803860567809385039875217658072626167574650477889370537068619099387925961726818751889135252101726849286371413702361783177715088658198360407722085908536005062536492476805601085919197/7593464613452001935633196400049456792301461383150194510799795337503577305375081820964278293209668899723738352985845662205416530746769017445361632788194731239481163814455287648092160000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?NG",
"number": "12.61055265179775047608023819706161558179100534119315061503009112459818529627899285124994006044086491",
"walk_lower": "13141119457008133424023499717307891798171563589502242878747188876090416820270873238854364006722937629947834769446425479193769946703838707294623149094968857169131276393933/1042073239758825776849406712862135844276258976583087939902570213425109203476817693206003280653106122509239075337240319488612277529347493659148288000000000000000000000000",
"walk_upper": "2706742080157250282013240354272493013128387810347724476949952228752723604555293115373027626284757078328505266636727488077058494881209995883355491107842331037538961643506897871/214641035559324139386556547681778430524802442701701538421431899710236868186137524358106525732523533583840518542588074806666913864107350006443068620800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?NW",
"number": "16.16588970756802754558502470359736357070193744985670275940573639533890308263095364667236008666065786",
"walk_lower": "1506940130731885474321295248843549936501557337389507150843379959208890218851348446319117861077676553859954545986557986195451543714477420140345427995282292701924648616297612046168474353149837/93217271550876324208743299274411351737353394387346724455944126615723256357627281143556417503316431784887001607120718702692612840462187530768144757685633257832448000000000000000000000000000",
"walk_upper": "3018251879862824834226512671032754923809005331213223465995642198893505238040552784665676331395905179306849356151076977241953401373284178603740742243974153728255764093023850883852161981981666269/186704965483578457952072358813054411653509210007916147825408962430440640577757382023499587782162286485744021941675955925978185438966507942194854529371285233927716864000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?Nw",
"number": "20.76411837826513896480832409225798600386434018008832562350556079591805330962524873235637860559154976",
"walk_lower": "161204667088575993278853674109075785269258635344434020438445631613296919038024831259234398181426625159232160675822668331604783831331626542191493868998430282834562479014817714247476361697288339561688122460933/7763617224284231339149557536047838588022283087484223747942195113746521910582004076984863211937976211696758987461033308891965439972840437023459111651898847650487685590309572444160000000000000000000000000000",
"walk_upper": "1892059177618616433113905573018222491705288603037622097886036378245265938749297444489634131455404299493907869852130658208052457218173073920549758459011696371488707105484273097452714987560645109020715683265376871/91121575361424023227598356800593481507617536597802334129597544050042927664500981851571339518516026796684860235830147946464998368961228209344339593458336774873773965773463451777105920000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?]o",
"number": "14.54950821189202066213860244250734745665604328553251667353927015065314369770270338485090121571968234",
"walk_lower": "63144852624528070488592425306352302957336184912321934516881859001370903335302799959347231326002093338288119237897610195726418221135115011232448137275435703993024804831/4339999105462321499827151992080680859851146729673620831034481428016129501077159861148733941838621591549912853517205631673002821756331375984640000000000000000000000000",
"walk_upper": "520486918246565630379492770731808913440068051505117064129355358874255006612550477850909594276247124853707703407584336952793243511651499941318787050120764718931176409607792461/35773505926554023231092757946963071754133740450283589736905316618372811364356254059684420955420588930640086423764679134444485644017891667740511436800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?]w",
"number": "20.52231117963449926096721042252939681513277383773956626126579699997526460422311539793141569296612198",
"walk_lower": "904343276475871414219313184719352687129971740513053233460837332696432488072884696947560874360241323463802284858632318819939750159255895797805390367778505812713588189472482745226888184700447/44066346551323353262315014202449002639476150074018451560991768945614630278151078358772124637931404116492037123366157932181962433673034105454032067269572085520793600000000000000000000000000",
"walk_upper": "773986714888256929216670285707981594043621963976799175123624935374905227079618732306054712125584337893112504507684763223641163684687797271084566975598570470346766481618403931143176743033617701041/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?^o",
"number": "17.45887481086908134093882217069306188058273662156920580302656851782177836597514656533444150417797592",
"walk_lower": "14104728509885326573099800867394791387880234873314173550384270134060293364854807805327068199607996580872044644906516695008359406613568980551071882378806719242403012453923711764404962819304743/807883020107594809809108593711565048390396084690338278618182430669601555099436436577488951695409075469020680595046228756669311284005625266657254566608821567881216000000000000000000000000000",
"walk_upper": "26338041641079068016480720155703641854416520183637022554103555306733467006060679711043340990492004175393986406326836754923074839643163331684780931498933258095995131684158113900989409400416798053/1508576121107313940252744659209479646160354416863962474429304416437960375868279646749876669279871274804811697288741723881903738346849384172934424597319984690135952261120000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?^w",
"number": "26.03957803875271406201435039467034983337067846973637778376017763240845636536501995509591991771993297",
"walk_lower": "1400689121982223966216302404030147778086187887835717849146515830055270979284179401178162679853721069776665048211860439763989650973508076598562086745632459289509148744918548113702951689069288078655041383730977/53790776482540745706964791499760024502725818534712121682170923288100901809032456819109409396998835181041830127408587925894331976954680170805395273588156301578378964447144894791680000000000000000000000000000",
"walk_upper": "42370845939962274978043147721911970287107183607030464936682103859171947123346426885639421065575062360744117708408778302860813895338508124157363747601401896040856165413917465891837233778624033443336112392530023/1627170988596857557635684942867740741207456010675041680885670429465052279723231818778059634259214764226515361354109784758303542302879075166863207026041728122745963674526133067448320000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?~o",
"number": "20.97793442511985293429772254085126216584881792438352200843973722293473972984631027473229101250951725",
"walk_lower": "10545268147894592061840419998668126130584908428575341240365573391112690273874159865561659716386602554384464709330689746705805717278423153887820323700842791446/502683816918945485327910459365810653266912278956766292732669413882472041879498050587832630983646469998854135414671254452454176226441587634384632110595703125",
"walk_upper": "304747704206005815995126297541510177047773268677398786505324705429765636224689345954866404143856427219156645634947602990051706819243161204496130131563108152637826/14527059625140605580491284365212562068760497949571589093681413391789559538275614163937775202796399336496885659348584582421473238767935441046081483364105224609375",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E?~w",
"number": "32.60608745520732130714979463687499304131176582560428541334302484743293536044158372642822016056546653",
"walk_lower": "8184898223941753109670805346071435063633331516032719241527391814617958481639182419237547484936490693751463610748891958573415071619411443591240150818309635896833698712385590905893989844521028322596342647205151/251023623585190146632502360332213447679387153161989901183464308677804208442151465155843910519327897511528540594573410320840215892455174130425177943411396074032435167420009509027840000000000000000000000000000",
"walk_upper": "35536714094404252978943178688673567142690197475329542797546177098883095061837205236203065975719091963971692450415010477138957029766408640645739826397592521827240301911123794468999046059309688766343183834809/1089879739273314713212988826301547496114171499967733971193770187305404184631681340696010376146925817176610334491491716560395641142024330610407496901674940792921333928659842498560000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@FG",
"number": "12.39792349471645699081221733376361769893087711304214000927108833790894693529667424522574177193388986",
"walk_lower": "2234577168899902001586569545837308210774412942189974641123837965148216065553541977783905974873771089899436798669488850761123919942635168108297150902049/180238018878903174892477277252969394647063510536839260976705561090712958044520839500400510682740025652164597552300553442984100209915559177094445400064",
"walk_upper": "2661103137691215248903571679220940899567794290748552238370883757622609674807304648207538319703258575408312080906447929468615337319277090220740040724416464876002936630600532571/214641035559324139386556547681778430524802442701701538421431899710236868186137524358106525732523533583840518542588074806666913864107350006443068620800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "E@JW",
"number": "14.77289280886884584300554045370531575322925365532445964546080142277109266975716313697888042576278247",
"walk_lower": "869548025324467315183942719187232279195871092412850040452463568087343781710297052501471596508107678687157301373443902813231940363365042691054843636749657012244001077435187717/58861052914594879530122141744554138732125884223348954476316110554160012717118140191272193612061181619726204687970026754491507717817887666150047744000000000000000000000000000",
"walk_upper": "454290307942724052092574539307454137873659562499122359559536195501331428141478342587725348774976115093196399753975510212413690835503509487045855184290741316882023148214212533/30751614718952859505396362185227696921625344448532250481986066689047640016487338577014826415890013335053196949790216092887102622023305354136675942400000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@NW",
"number": "20.06678233940091130752663933640521157681988497322874736074233647946639323856771893326635030781259383",
"walk_lower": "7565419269425245595343848845425129090727365623298410541789617074324630690027812791668137398317292155980165831229279183783817747905986435641824811424333807629579708828646480761875202307973129/377012076050210911244250677065397022582184839522157863355151800979147392379737003736161510791190901885542984277688240086445678599202625124440052131084116731677900800000000000000000000000000",
"walk_upper": "6359720307705499522102705203799183097402622017871063013007767596891297740142287837096824576812355637172066293504377673527864178352211728256166215237115376674216677599925066506228606878948811709/316927756535149987448055600674260429865620675811756822359097566478563104174008329149133754050393124958994054052256664681072213938413736170784542982630248884482342912000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@Nw",
"number": "27.84728519635428099817722969966866185636319910452240310674403989154385167298521508433038706398485870",
"walk_lower": "953226332318055670240115260350105945219968869935288925507103054657324198563791031669744399452435123336315439073611582098366126406610451551472764999228225078868583808035096070473987483734083849302356153803383/34230494125253201813523049136210924683552793612998622888654223910609664787566108884887805979908349660662982808350919589205483985334796472330706083192463101004422977375455842140160000000000000000000000000000",
"walk_upper": "37316007303392120502635100338999735679052310761290281172057475463202897302600172445659699872682092622371642629616971052144966733591629341542186696272391989732464961562893872425468229588525045212177268696558997/1340023167079765047464681717655786492759081420555916678376434471324160700948543850758402051742882747010071474056325705095073505425900414843299111668504952571673146555492109584957440000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@QW",
"number": "12.40730594338017770025227458667166823134224639238401184288725928010381047938622463454659928631787789",
"walk_lower": "142222536512068275511503015847939130227414799424693752878204057603049276487897602841233335135939979817353515086781523132022474392837079770301746343996635389148146824805303/11462805637347083545343473841483494287038848742413967338928272347676201238244994625266036087184167347601629828709643514374735052822822430250631168000000000000000000000000",
"walk_upper": "156653940952263438761934939514862365500490712895728854273198292859829276602110741953064364730616242475290857058822589449837797830280066873367393427314301079054482134279167463/12625943268195537610973914569516378266164849570688325789495994100602168716831619079888619160736678446108265796622827929803936109653373529790768742400000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "E@Rw",
"number": "19.83553760559361991811844222406290526090508378532408160437287664012112020635860607099020246157491401",
"walk_lower": "995837705103283339496579984149806728514280895895016833048822350104123401955518039179200516448700635800981269311290704451821973367967192984929143016999161867469587317092070719615298865088443826911829591025793/50204724717038029326500472066442689535877430632397980236692861735560841688430293031168782103865579502305708118914682064168043178491034826085035588682279214806487033484001901805568000000000000000000000000000",
"walk_upper": "218686682971864399417579270566472983938707782946092625769342113180760311500213580291621166044088524377347973841499410596498970484294522499999345371376962968096400274629094487771548986140967624129480084410553/11024993994122688835765076442903022565954934857568340487549612105268351804537323877988062857654691687439184541540247785416212748815635597016858994973785453705235809530969564643328000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@UW",
"number": "15.94896378490776646475673211397106381740574891995784706285703578379143558463142450040101323027165958",
"walk_lower": "413994275324921249665564962978328175222715496594993714757750390593219857771164536773995685052822871513032380052960190418348082865961194793245639987731411740069714264881/25957440301963504405216199822199941773185798782640324589964384845281252803996817539098813603225016638590647257041765204652932637732840648212480000000000000000000000000",
"walk_upper": "285275175240896734719547504689106378982468794393678268965270639149975939592954059000224946656199184302200352446893808013485441117017108287158496267163137925357834287999745163/17886752963277011615546378973481535877066870225141794868452658309186405682178127029842210477710294465320043211882339567222242822008945833870255718400000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@Vw",
"number": "25.16538279516859122506527861317258155601864492609983525136458881759191320711287983768306040074259342",
"walk_lower": "45556049842439572450165778792315447061861696044761940313102255495676175607469502541008945549278950041047676125519517252478892204512142015203122027137899685240647574334379896768545053296897190900023795740271/1810266516239352018984392021626539286149426585302811787380752226041857272419361527566182047014383876285061590826250555198366941532128659594412340938062952456964676688125068574720000000000000000000000000000",
"walk_upper": "1146554662434519159425772320644995171652935166054568513800157566315177987688792439952113141584252614633087912727075210210392313698078476836056272638295219349066341795491352034535784366536094434364389986161843653/45560787680712011613799178400296740753808768298901167064798772025021463832250490925785669759258013398342430117915073973232499184480614104672169796729168387436886982886731725888552960000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@YO",
"number": "12.19490142544047709565033714635637015425558002296267929792299698556659318695775512320140978062719597",
"walk_lower": "20719254834045389550126078545718929015729179295297853884515136966239030131271645237303332516890653194868957254145602987641935508358587590855921663/1699009619776161062927582582137290640690418805940357379804646475531956247959655119222329831477865866540013525800037270945792000000000000000000000",
"walk_upper": "26713039268179948669983979839301904909565120448580447329678444445758178133532371180951796566419735011956048459809152423353710424917774375055895564169/2190508831211407656131633257684149718890147103373103621819562063096557876833698207283075247012534206503374581477905195755110400000000000000000000000",
"walk_terms": 95,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@YW",
"number": "14.55912149922621897083737078292067797956901742043958360047890513390973138188134133357461897524012279",
"walk_lower": "34768412499198213638364329301673103576017077534911923804201348766892886573002848454642480436524061338306895209208185727977992642354033389042582984629062516906722618602031/2388084507780642405279890383642394643133093488002909862276723405765875257967707213597090851496701530750339547647842398828069802671421339635548160000000000000000000000000",
"walk_upper": "76660409072415254680997593897418765317741510372826114010441007437158587115628888703347712237140188231945435712973008861514662663224103109495948548510113327978200764110909/5265455685392114105253570495578903702404141956179509822918062499024552747182257000247927723788723716608785166877344588525829503093596065313587200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@]o",
"number": "19.83553760559361991811844222406290526090508378532408160437287664012112020635860607099020246157491401",
"walk_lower": "227370912285208617844586791689493798955324194606101679191286190599098717262443663304988856889098134609371612969614212884478598510052402799047549308054984877202704498873217/11462805637347083545343473841483494287038848742413967338928272347676201238244994625266036087184167347601629828709643514374735052822822430250631168000000000000000000000000",
"walk_upper": "5211163197724028603598393726298373788786347055078646196887189619300028740194929737314463090879268752216014018183630521740493864393657356867210341207265253987451393793962713/262718525776406535356862359463621089993638240760956595375069644688172421280462086117633446429037372807638333589459087890657177312248898416698982400000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@]w",
"number": "27.59610969658923273849266233296579278793560804014007876876824511068725410397120891879385056729959375",
"walk_lower": "117045749335730203897293725811810744916665621792614234571585257449065600236566307647577666014821097284595590697484660077991535240046035087443527192413803569663510513940753136300652501978502521/4241385855564872751497820116985716504049579444624275962745457761015408164272041292031816996400897646212358573123992700972513884241029532649950586474696313231376384000000000000000000000000000",
"walk_upper": "8972162095632008388402894913091561584474057836033842877677035424457683769858169031053970743136113767712275797258910322530192760057130918712083434459715851029782016824815595682865693131979836643/325124164031748694019988073105491303051800520875853981558039744921974218937129234213335489068937774742416314070849509457306840160958919002787591508043100148736196608000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@^W",
"number": "24.79675280179572535856626423274672786528119290503889511052112065354345972712791896044013296115422392",
"walk_lower": "4124415552842157573280368145135452076398268292136834323958375592658035683454260004694702157970199774455674457324004177554763217471146079402551688218339595049396462660553609252477768643972941/166328857080975402019522357528851627609787429200951998539037559255506202520472207530659490054937162596563081298980105920490740558471746378429434763713580911034368000000000000000000000000000",
"walk_upper": "257345825246215702011841044424018496564392334113609971276903090845580340968772602923639222760349729790513582966535126924555302509865253575471882140654685524787349692940924847217760727755394913/10378206666946298433219212019878093328015646786350870077251681455957349861504400431685997999999114438668214758453093862698842448726261586219967147752614093905723392000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@^o",
"number": "23.19402908172612024843674287175211614239809192455325124449088858563755482807335043056428553458353487",
"walk_lower": "3513386674314052872552277811523134956846455988412127879010640815217249145272967340968126558283720854430727193998973303222484672134178711841671723667112473652958260302951624356037436191316079/151478066270174026839207861320918446573199265879438427240909205750550291581144331858279178442889201650441377611571167891875495865751054737498235231239154043977728000000000000000000000000000",
"walk_upper": "10934362007800195349957199005022300612697540327136224385056916345119122789918528958561003474690596043159309173163604714289037156767714019156823670926581157727821428486313947961197438361074108987/471430037846035606328982706002962389425110755269988273259157630136862617458837389609336459149959773376503655402731788713094918233390432554042007686662495215667485081600000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@^w",
"number": "33.79260548256291412893716421371480749008730316620231077769023811298749130543380052188810090862964739",
"walk_lower": "158452270077850112777042887887684304182696957416860105828473633746481421942182456841995409280930554101034721055649078790548186591924696217758253228723074926725056553224350697443234366190275631319606970547/4688962801628656890492245453109432103845842031605303094862506933367034807922881575713905118508039553778435427189192310093214082235083106947327504313279089829689645417390669824000000000000000000000000000",
"walk_upper": "1849390658941878198720356597065096731810635090905773509241094871886060961738095994723212851420556185350749817652999973692421670756130774388750132344903617671632102056870616024406867406330490821335450431237369/54727672889744158094653667748104193097668190148830230708466993423449205804505094205147951662772388466477393535033121889768767789165902828435038794869871936861125504969047118184448000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@`w",
"number": "15.84646044928252834270168346792530476986853253206079333947731009914366775550676993626755713505047164",
"walk_lower": "2922215356971960622906918143538889675317667518736595647820597667099856410683252930904298800840912274004509102539039522758413554292742817210065768065762129921844137371987027459101287830740289/184408080676733597891209570303726804523894758461925041858498163522409050620523534436165956365256419400537329266260552216196255836566501419563068977160709270929408000000000000000000000000000",
"walk_upper": "29881989797323874937721563552199978041863404513096679775483867624229711684364807820841178677639000731515309180743710351823066764093621628879382261206045257055132703024336555952628866885424878949/1885720151384142425315930824011849557700443021079953093036630520547450469835349558437345836599839093506014621610927154852379672933561730216168030746649980862669940326400000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "E@ow",
"number": "15.50805976786615983806164465568278134436073834687813078651616804053040464144204528719727475318963200",
"walk_lower": "444414687328529302047263760543017970569801669986989175137084707668112022779914529670265267896656370630299380079468426100171935832640027534788408380837616340423262479703453/28657014093367708863358684603708735717597121856034918347320680869190503095612486563165090217960418369004074571774108785936837632057056075626577920000000000000000000000000",
"walk_upper": "7963315808829388689794271690112929664037833751680739047312833637402294379477415854617911140062096210576417121519661510742606529893207235368207336711674323138510485553218687/513495300381158228197503702587986675896656561487324254596727032799609732502721350139010827111300319578565833833942762695375392019395574178093465600000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@vw",
"number": "30.72522677972065688718951441177069328541611983929598545135213674006420683028307256915554160493418336",
"walk_lower": "1217803857114031923837447426031512613127333477890039034444398977108110551379420823214993082261365113984822830787944756360154898460995427622233110955815969664204833250297095581179383880548392895602003136456511/39635308987135286310395109526138965423061129446629984397389101370179611859287073445659564818841246975504506409669485840132665667229764336382922833170220432741963447487369922478080000000000000000000000000000",
"walk_upper": "2799731067505159392902291632446447497579739665669199740187673248371546157621288472571269096118878397051107687981484994872003220951662261298362117005998034399866358931720380326461488471700327134574187400654925039/91121575361424023227598356800593481507617536597802334129597544050042927664500981851571339518516026796684860235830147946464998368961228209344339593458336774873773965773463451777105920000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@~o",
"number": "27.19894020269397741777401799571595449624860879401606509989955640617736387655095839307078744625322758",
"walk_lower": "11254751245079122819859177535829035067399686496135622802071211655639471427186938149439768430878029194914041938625349038803739734147188218500906306254565321601295541461065938800673629734960061/413793742006329048926616596779094293078007750695051313438581244977112991636296711417738243551307087435352055914535873265611110657661417819507374290214274461597696000000000000000000000000000",
"walk_upper": "1025791792730246491170425018148065743148009626317289069049176443929948344288099103754388814095516214912050524412130187443690879401515018371881938073343344484713657997103365071336814990650281473579/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E@~w",
"number": "41.09683347966262298143010755178708338526317660481303342891948393943102551507091924974903636761089741",
"walk_lower": "3094882817382621134573084961072550650458105270390144926496244049596617521709849809034269473481117139350487360862192726881009545959965259539024697422954751656312273913812441488524989081018871324924571097639389/75307087075557043989750708099664034303816145948596970355039292603341262532645439546753173155798369253458562178372023096252064767736552239127553383023418822209730550226002852708352000000000000000000000000000",
"walk_upper": "187240410451648578641671640144889314352715368858603768053022765000595360063445913446573303145607586930704485332162659976301433000069586861853403940017618482299864936250020589322266085917620308537195660904253347/4556078768071201161379917840029674075380876829890116706479877202502146383225049092578566975925801339834243011791507397323249918448061410467216979672916838743688698288673172588855296000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EAMw",
"number": "20.18372160990258107253773089795655831107557640345654559119788131498316422735879322259789163362491003",
"walk_lower": "3762942916435159105507865637357501124877288803451757706521186675918967083414253587970467128451292085993515984337675492805990302444648099385221708849498456340587948027066207934860690522923051/186434543101752648417486598548822703474706788774693448911888253231446512715254562287112835006632863569774003214241437405385225680924375061536289515371266515664896000000000000000000000000000",
"walk_upper": "761217011394417640930502663377960975054801383916666421725290416231675608205119601071309706815797229951886329019621388466203825064573040541988489750675088606513336231956736612993792023670489389799/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EA]o",
"number": "17.92334309787181297326870509616321021733783450350566370842340505199490852167042142432532738293677592",
"walk_lower": "4822812166722792439441574492966715259945362737454492735792477501170037393793571196356604076065999393594075585557678080785800426332606890069896978115823648967907343248653/269079944538663932989283423509002213310771097239764491524137848537000029066783911391221504393994538676094596918066749163726174948892545311047680000000000000000000000000",
"walk_upper": "1282361641070756895685317449807384754043172225075462345983540805173607092822741613255239240805568908759696727821858813290580981062670781751250419653775636036364105362522772167/71547011853108046462185515893926143508267480900567179473810633236745622728712508119368841910841177861280172847529358268888971288035783335481022873600000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "EBYW",
"number": "17.22398724660431252085645467223751614045882958769215480178233356283356169085357042771349969568854120",
"walk_lower": "126935333745641111759730777775517441818161309207562334946624552159001693461184835179593264656609471858681461482712735611381284497115448421445359683667751058648786658741/7369683449496646229486610416281017286253599551506986845138403206683940618647932766661975110700891955510884549768319091150016106996799813713920000000000000000000000000",
"walk_upper": "9455177644684761428266167107562521222760364907656035765742256489300211910047035970979295621567831779041935150093883013970061648629071976566252413392000192119898058408949471/548954055138936417868431068239842533311515198725579382151999743504442118123113873038635615684203410700359382461862083904518961289277109990902988800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "EBYw",
"number": "23.29447682190561707432670485471748172721532520947265929461813119359715632208427882735346816182130013",
"walk_lower": "368061902020924738128437816259593405398082106003578746637080438970390294133634921144707485779676120368311856008840229838432992509728920478852282733196259539316967946172387531434965599/15800393579769405541933402854896025747245473580897882441973156336752355710685406968116078512373930387990022350564571846174127922359964000619763830582411264000000000000000000000000000",
"walk_upper": "818201608192515692859517265545076140199936521645955553774229815831177623859070429704684740888220015578757255907651830930838059298641170711308736128110455013398400703967348438816453025521/35124274927827388519717954546433865236126687770335992668506326536600486744853659690122042533007247252501819685305043214045086371406199973377734995384700239872000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EBZw",
"number": "31.50649621221014526224668873671138897140195843256503203846200665679596720519741919286572454010343872",
"walk_lower": "178395673210422375324475579740423912633518580651764878952943110902089060018757826204440915838360954857830069014835262388889614219954723685538276335630318505421334039371158610096803148105230608116404002556577/5662186998162183758627872789448423631865875635232854913912728767168515979898153349379937831263035282214929487095640834304666523889966333768988976167174347534566206783909988925440000000000000000000000000000",
"walk_upper": "58590236101537291552995622546176367877779888131201065244688030280557535569017748920572809358913119316878761237872324033151176959827860029922768897711751752032754611936477818318733428424021388653111669450702039/1859623986967837208726497077563132275665664012200047635297909062245774033969407792889211010581959730544588984404696896866632619774718943047843665172619117854566815628029866362798080000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EB]w",
"number": "33.38596242204729382531106353957498969149068285839823409881055897249382139038591383488398952391311109",
"walk_lower": "80915856452166715786541638574624392465250539309921870632688546487801407162207647205744006889158886377503249403791822317650453215401529032707160653463956423707828887846008275303720000338137811/2423649060322784429427325781134695145171188254071014835854547292008804665298309309732466855086227226407062041785138686270007933852016875799971763699826464703643648000000000000000000000000000",
"walk_upper": "1259131642252166264354374437859730171151763642201694228915266471896677696851113198168582491202201430920328063972404547084960331297001035851009961530936123287324303785489166983228205280978579110827/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EB^w",
"number": "44.21541048980560955380531543738815791071309344785706197558592578900560736789481243984937023738893003",
"walk_lower": "5549556279728815611932625691010545197911305990157973949642641559857563610266262472984391916854398165848097217480248892523321807710542728316491934307082091134004760962574975408415105567705264436338230507113507/125511811792595073316251180166106723839693576580994950591732154338902104221075732577921955259663948755764270297286705160420107946227587065212588971705698037016217583710004754513920000000000000000000000000000",
"walk_upper": "335748154923593344521923854306137984473634012404557423953379814371382598421108879615555710969691089033809881657555057997661561815640649496051778268793226525428908645676399144319954297706132820697228128175484361/7593464613452001935633196400049456792301461383150194510799795337503577305375081820964278293209668899723738352985845662205416530746769017445361632788194731239481163814455287648092160000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EBhw",
"number": "24.41824490628354175490574467284757092317163538260212947282143604642842991438210712147806259435946658",
"walk_lower": "24160806578253117047531758098127840669437572973503741059133882693837931093625287325821777075907179582684648204182475364599570088182036502548397215705319771780215611676530729491160693/989457132196909936089762996784095545815763511915327276209669281362182745091845446144255405862946717056126644262360663556892550910995788688517500153888768000000000000000000000000000",
"walk_upper": "2495049155907851188135894836985692271997238121088226833395119222519389030872447819420838648609817124408124925589608676167547634796826353341600275814817322959358932312620572942149204241967/102179708880952402966452231407807607959641273513704705944745677197383234166847010007627760096021082916368929993614671168131160353181672649826138168391855243264000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EBjW",
"number": "21.85027964789562652176413533377210936906739840482005303298036522533959143572369613028490805846263583",
"walk_lower": "9915526350903709242120245646570397281183998694749933268032660807491600996242917305235431396582832841430427092359303660509898100763239053289762107919028148763425364784813518160428319347853/453794025096546595142333506337743166324247519887046056036533222170374810278932358854310918140576434623908262250467308722250455704384478965382826349403125579776000000000000000000000000000",
"walk_upper": "925921632481249148194036382943797281048212224577382465694068891682429720833292495807147501463204031549891007631688283086521651506204198410740258686371264581777416461569609109524125912142068251/42375733738969492703728782562064035004504337552358496472733270124661808310906731650277434530333462775416058912605104603424262313113746746430742263969662491295953715200000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EBjw",
"number": "29.68315081148842552199630041578537981770426654384336401734298475069000776575621221751617131954216920",
"walk_lower": "7451172076125501972986770681857479808463171944794593748934280940661708962381419718594062682764955201725924290802474874392803126805507713035872239080576696779163388482040107473488134186431128818594430577237321/251023623585190146632502360332213447679387153161989901183464308677804208442151465155843910519327897511528540594573410320840215892455174130425177943411396074032435167420009509027840000000000000000000000000000",
"walk_upper": "901591821211185738731399252504755056824043805320145843621047993820066784448151785949881584614559579408836839187099459801531548140077691008956605901608820357565252436089305532735425879998023876244986829826184591/30373858453808007742532785600197827169205845532600778043199181350014309221500327283857113172838675598894953411943382648821666122987076069781446531152778924957924655257821150592368640000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EBnW",
"number": "29.83117425250601690833512549836137967523528737864156737616647944422886389906384992128548168802654743",
"walk_lower": "152670311347776815562989362243942561721745388879858912212275210026784462972993622628143238067788962838291798582976705484300163145002814516161193293177110872551175908893903245953313860263529/5117810987106935446754534077810819311070382436952369185816540284784806231399144847097215078613451156817325578430157105245868940260669119336290300421956335724134400000000000000000000000000",
"walk_upper": "1125064928548047559203481542769362503255163598275955889525748030113831269841418388584331416414863475451267645248608172006653184567634108432202127472162455790000168772454284236952246753894526399461/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EBn_",
"number": "20.49395165527650016152673387923654221749369875399106274065300799948372959933662987776760847350019513",
"walk_lower": "587295461414055150609477943926455301914613810619143997163885724381402971069526071762616680282481120463653813458066579271689970894962098417032368666680755429376450855403791/28657014093367708863358684603708735717597121856034918347320680869190503095612486563165090217960418369004074571774108785936837632057056075626577920000000000000000000000000",
"walk_upper": "169186269461202810694807300000351931205402209289899559182980925985258009742721164519307651358299368933567963953881487644041523542775112895842997280247883801852183226740036261/8255424444589389976406021064683785789415478565450059170055073065778341084082212475311789451250905137840019943945695184871804379388744231017041100800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EBnw",
"number": "40.09613615880421914271860270998941528286343678513453872216169864573206594084209435760944847055748322",
"walk_lower": "1509761608552230335258789800192220143559374975666737972529335817936271160899831762956658386563549241225599468673641254298140427136582573233039076144836537411201100878271443417077197902642435154816556729284003/37653543537778521994875354049832017151908072974298485177519646301670631266322719773376586577899184626729281089186011548126032383868276119563776691511709411104865275113001426354176000000000000000000000000000",
"walk_upper": "3617448606630096446857694372737794799419492515953966231208903642976016048888705808272389401469098181946485855633873104357927666396399604375052236820872812551451595460103218469957330549222044497268563836444251/90219381545964379433265699802567803472888650096833994187720340643606859073763348367892415364867353264044416075079354402440592444516067534004296627186472054330469273043033120571392000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EB~o",
"number": "35.60933805806481704713898860876877563173088872582101167390569438240798337530230962620562286670917771",
"walk_lower": "36771984766481587139391567343167549117562839685299486351191841712675000431017904808309786789015542274666154208378441895174427266810184790374720463411314468721416901098353513/1032650051133243500528458627097441030388173407427174639935370360599298468721370880548634975650196168767126398034561872885815924873998029230702592000000000000000000000000000",
"walk_upper": "665630708820806912574206412802871902319357854194854745006552779322108854230672819452248770546135482452174723699691535854207500640298895419762343006281954915896293007940932002681/18692588661306345313637360156877692914502262946929246542978673394556815467164803663599726628516000962950193288765338496462088808101309183121650876416000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EB~w",
"number": "52.42690962648518739654400742359652075494828593634303439061353015472571895685942908072728488034871000",
"walk_lower": "39481178483440798283778692356519697583863945274026543890567076463248654410305016641248379442473960878746896463653944557775127792307755825906627351293370436145795117803222233321482669211198768316558722704108653/753070870755570439897507080996640343038161459485969703550392926033412625326454395467531731557983692534585621783720230962520647677365522391275533830234188222097305502260028527083520000000000000000000000000000",
"walk_upper": "281013093911549211313954222066993141626325728126894812397565661885475716685112177270061994855255839195786733653066311264164563074063072242914712025004408406794156267263367518660558112051448401993458096302267839/5360092668319060189858726870623145971036325682223666713505737885296642803794175403033608206971530988040285896225302820380294021703601659373196446674019810286692586221968438339829760000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "ECXw",
"number": "19.82557822845731806583353234150560944944370188080500339976895212623911032181754773527404689438041247",
"walk_lower": "12457470678010926850312039447833541346150688386615065619769556226462080251346017813095254203217456779210479607924817974944920294186919451492898654468457213034812654876632733060998974420590609/628353460083684852073751128442328370970308065870263105591919668298578987299561672893602517985318169809238307129480400144076130998671041874066753551806861219463168000000000000000000000000000",
"walk_upper": "1256655205991418219298451965879692411995479777568105636242333671039463056749645941445025634506411719907549910163454621301127209730304092388418663432327340775746670285828244508035693780529555591/63385551307029997489611120134852085973124135162351364471819513295712620834801665829826750810078624991798810810451332936214442787682747234156908596526049776896468582400000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EC\\w",
"number": "25.30069669217371051293988963324876798465656939834541480393432768399546838238185897710153512683971658",
"walk_lower": "4566383705792448473522042645538829188689328810817075204701155688419047712734645433171223939601454546165193086647882148059160205783962844634577752356256001767296718074476990345401465196378947/180484504492122244744588090084498574640407635941458551606189691958102475075406012426885829634080750902653556303148625573298463159192746070210663254242396307718144000000000000000000000000000",
"walk_upper": "801849304142690435230347122098390609182268510055426612541817558792790796763409226055735543585713567122496704010180461699781398095097719759314681420379381528827424591593523586372100274018953073/31692775653514998744805560067426042986562067581175682235909756647856310417400832914913375405039312495899405405225666468107221393841373617078454298263024888448234291200000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EENg",
"number": "21.12178740249197333207601498780385282024002031216543177442133042617842459786620504906736270070132730",
"walk_lower": "13782407743565810708969548255569794043761799581505887549559706580989656402270650760728011846293552182417642917152331816465482134959572819630058855884181706368139279019002967367404183614809939/652520900856134269461203094920879462161473760711427071191608886310062794503390968004894922523215022494209011249845030918848289883235312715377013303799432804827136000000000000000000000000000",
"walk_upper": "19971809726786760451211501531249635364321929805241871548649950382791961107617687225306062996842870406643306556826216575441848399150860763225993490316838781594356228011276280377281385957117823/945554907177527165078438963050619043123122409406785886294253883842676863980017830034270589479937368252527012791920550996529946815204197069732753721431068977922048000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EFz_",
"number": "24.13532399155553168390787207023177967361960743074257335994656195730490654582217328135855140448965105",
"walk_lower": "175169562359219183109547978661801827124706588162552134337613996462536284474167098536981609017385838087069236884150744861130335016557747894569323121/7257808613653063782852130250029109164931393182564342778315818528617261920762152574231905229074277386838351660655900098560000000000000000000000000",
"walk_upper": "7216110121388034248197828980972926268402287899356335174038008584274182238913313624230957383471209599996817213442589934554433715640197289330840443702399/298985425839437962534593505649949152049348742155738100752720144286388104825796875295483335911714856950805896660719804560179200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "EFzw",
"number": "46.58640574678656328069933391265552136865831517414045840086071274565067587648257721044270289895113321",
"walk_lower": "35082865141104867997449577091246792636479844426477963613934812781853676895386879324040388018863960819780849781823221549947608324214983761238343231212595107449992246034354657045492276620886317572476438387466901/753070870755570439897507080996640343038161459485969703550392926033412625326454395467531731557983692534585621783720230962520647677365522391275533830234188222097305502260028527083520000000000000000000000000000",
"walk_upper": "4245026682073689027691398828040861909014061175603833597286112346604294904341812398208886950282539259193482823600609807543667716619846808304687725895301128143308509059444271087834650401446816293854831234824901271/91121575361424023227598356800593481507617536597802334129597544050042927664500981851571339518516026796684860235830147946464998368961228209344339593458336774873773965773463451777105920000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EF~w",
"number": "67.06844370506354668095484057647331125300192382817348284997701795117586529363630576169426360926389878",
"walk_lower": "661835198013381057444090571179353481771857405193907846394046184475663128398416247598447060960396763383802055924819254660903417528832568010160870039522849710692165209020294783531146766269066855047370335481/9868056591917216236830818473630531003985657408679530670000169379581893562471556928840471362502079468178651646928744803869809571996822632692239088898946303720120888726315335680000000000000000000000000000",
"walk_upper": "72754550564813959573242710353889559220957626766858498692327905990132934210145300474125887740784975603636284304731493435991205969411530157205542951170367586110626627099875065412952297418661161817755590280368421/1084780659064571705090456628578493827471637340450027787257113619643368186482154545852039756172809842817676907569406523172202361535252716777908804684027818748497309116350755378298880000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "EGNW",
"number": "18.26673742363964622632717346768968632855710867418439024843192538211937864996013730036809978626151951",
"walk_lower": "61981025388754176280742184724564950885030348401066854077895419405805883306654352008050684200664696127917739487431627981645954414411812386835461868478558208114869246727962537792755066883534807/3393108684451898201198256093588573203239663555699420770196366208812326531417633033625453597120718116969886858499194160778011107392823626119960469179757050585101107200000000000000000000000000",
"walk_upper": "262645481203203457628840786585413430837633367319046162057113071557580020188129288055464489092789972345331938392223616094546859370310765250754858280794003759513362614982362111625425438096571107/14378346560306080254029209485412501393064758071520801319379569352248955164585204410502065090353328963065304015333032061398243789047363554831628141415554562429812736000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EGcw",
"number": "15.62015659557727120860956936146943306555286348813414524932804245015659806952122010371646981790292594",
"walk_lower": "24868169316670468473491775057189113504562416103501030279057889161123224717045798587106286082902721904789128323680535181151387214794412558836814442043906131808685125803391/1592056338520428270186593589094929762088728992001939908184482270510583505311804809064727234331134353833559698431894932552046535114280893090365440000000000000000000000000",
"walk_upper": "48105007278373401050220401647300222145963971233270329749520555221284337068872167204913761043631556577187647506293184015193866999648036032637810075891952843385188183670221/3079675096982956545376442660723404937511513468516149254210168441664326047206977794394319985831662270199731957968722377276556959712284062305484800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EGdo",
"number": "15.29171061836624070108105073159143682562097385042103276511954033911340678992622476688961309886730806",
"walk_lower": "16230176544526740812466638874052591204376417054604894123561980050309345324723919750912291857000290098052842991162148089661610193367778291049776400028203964845388616355037/1061370892346952180124395726063286508059152661334626605456321513673722336874536539376484822887422902555706465621263288368031023409520595393576960000000000000000000000000",
"walk_upper": "60782011159252644342687562583326954060389681869495328492739615288408498241091079467166533004466086417207897001902244595784984435438011517543366099087218675792779386550845939/3974833991839335914565861994107007972681526716698176637433924068708090151595139339964935661713398770071120713751631014938276182668654629748945715200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EGdw",
"number": "19.24706315851003064372045994887708768437826079625715868910642886255201897077252784247063280610362373",
"walk_lower": "65307377153334566697993910964219934061178094153856603978353746756385169355070725281204250394361185951018156514152671614175962573420854080620319017574794435668427046942836293426933456200520391/3393108684451898201198256093588573203239663555699420770196366208812326531417633033625453597120718116969886858499194160778011107392823626119960469179757050585101107200000000000000000000000000",
"walk_upper": "725891497059313708848202320367304567089994516520116153219401895197221157381611111500585243133324581845566809654806944991567452815710635679148680482727337530461345088487057612667383721385600779821/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EHQW",
"number": "13.99182645748094729877395773463487354359876676195065275673449582210582152245294658564906793949372395",
"walk_lower": "44551551998220743402549764236252886196395240900392986509892109666959463817382863885294654388378964384317675147024680167519993928408104665197117187139177769253927016735343/3184112677040856540373187178189859524177457984003879816368964541021167010623609618129454468662268707667119396863789865104093070228561786180730880000000000000000000000000",
"walk_upper": "7254154879710290610545602915859437339369572920520510194762867421859269217221688054366455681933879200837812757635105531624745219378930322776046274294826314269406684025111159/518456607631217727986851564448740170349764354351936083143555313309750889338496435647600303701747665661450527880647523687601241217650603880297267200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EHUW",
"number": "18.01934695616415205268320883648740159842644992362085175155917268122338888365333140567561483865490615",
"walk_lower": "1032761359352157264365708975212789622241941326121564441997858796747481908137162480923783456481987310603159742287706181953817715197043918737630504643272904914234623361922933/57314028186735417726717369207417471435194243712069836694641361738381006191224973126330180435920836738008149143548217571873675264114112151253155840000000000000000000000000",
"walk_upper": "65554089674132694153382713765625375174509665530936590428508155827446097389384296458636763466526143698454800590973892396901170737657903285097825895967172026880267991163863259/3637983653547866769263670299691159839403431232232229464770032198478590986205720751832313995466500569217635907501492793333337523120463559431238451200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EHuw",
"number": "28.14201477894107567876799632154819853428825345920502877491573772208535354505663402566974495304583304",
"walk_lower": "477444573721993150333135467199750561653404801075951923260037354642179928014384764238427407867108384982805370792164071549246520778633163741321603161272064978917270175545759724945338099009797513/16965543422259491005991280467942866016198317778497103850981831044061632657088165168127267985603590584849434292495970803890055536964118130599802345898785252925505536000000000000000000000000000",
"walk_upper": "212271857476798154638112028717009099711103774558368225081412607873913195995195466180404825537716387963355267854196146210795328900607873114002351685978259565227974012391131215956100989963119301051/7542880605536569701263723296047398230801772084319812372146522082189801879341398233749383346399356374024058486443708619409518691734246920864672122986599923450679761305600000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EI]w",
"number": "30.99909217747435916785399757269271068311861564686344505729398339187723064483320527868756127580054323",
"walk_lower": "525916444387565756367800036797489002264313475353214016647447822441997757474827865937767564079044159020429606130012882578319934988152624622566575781652641252861659819708969781407354511017746199/16965543422259491005991280467942866016198317778497103850981831044061632657088165168127267985603590584849434292495970803890055536964118130599802345898785252925505536000000000000000000000000000",
"walk_upper": "445715690382599571637674221044917290138608027338999145637543465226290893963607451765023749503513215974996193071680761712393002017080109458261278141440075822767155257693660707318172868360376071/14378346560306080254029209485412501393064758071520801319379569352248955164585204410502065090353328963065304015333032061398243789047363554831628141415554562429812736000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EI_w",
"number": "14.32635766478533173751735603542793621268471856553753643850969344715673421550842723992326175193973439",
"walk_lower": "273154912494058472342691515989116336065013631255160997136534403224043138377685289419662869779607409395657968594063676196739261281732339469466661133/19066598704671629176310753839805851884259958436103002760872192419158354960951489063053001796865957051597206236802706309120000000000000000000000000",
"walk_upper": "33604189169185110110200544728802238899721682461294859937391412449734372915323849594411205734994805523684169913445936314821891672873264214454614078366915200841289/2345619867622412891338896881346333157069904346804597125278389654186556471211718076143375513177923571846036955924685558937453375730483200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EIe_",
"number": "13.69671392142823803303604943857573894699406356592487802450489555401972342237744024917846951331195099",
"walk_lower": "39288126979978715073918998542904230688235915778948158609983912748982135783104274416280089935457675114441334028613450536365301333644799726160259/2868434516874388203739719459132283449514266212413814295333369590430653156838079762325343178605661481971110732594765889536000000000000000000000",
"walk_upper": "3360310553988056001868661401449708132947516258879752584800028308626985899868724858003854871172949793212533716367256278366654075852850379105172705300303/245336989095677657486742924860624768515696475577787605643790951066814482205374199215704427665403831128377953125525381924572364800000000000000000000000",
"walk_terms": 95,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EImo",
"number": "19.98971202641943769115288089196607754122001369166298497269941279259684981472127137527907300047145533",
"walk_lower": "63598621842626968773415986165796039973449116116058473482432976012176936936765854050823052485507939209783705260898015087652933267450014326731160775341828067/3181567686346443586771069412101191144781289416702531974414722800624855458330451814315541516404774832094579048088934668074494197760000000000000000000000000",
"walk_upper": "1072653122470835981477304001859295047548729944267264807870235483836016644533722591291967039596411939863545490438177851557548979434359048828208051775862549126394898389281200889/53660258889831034846639136920444607631200610675425384605357974927559217046534381089526631433130883395960129635647018701666728466026837501610767155200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EImw",
"number": "28.55528417471351834652583974903774151860621690435018411836332660109546509566179854187873649043229013",
"walk_lower": "484455913601061469335241079029090847954652950900104534430140403883847964628936688655966182446139453139019279991077213696683894927446135718888745169623570723420984439687855827983655055109923657/16965543422259491005991280467942866016198317778497103850981831044061632657088165168127267985603590584849434292495970803890055536964118130599802345898785252925505536000000000000000000000000000",
"walk_upper": "153849356562165663761748702668809850714741929978704625719743159690542003624303751268887546225395429189719979917166378006818561033692943182306216444922385013738803838734790816690669077603739560481/5387771861097549786616945211462427307715551488799865980104658630135572770958141595535273818856683124302898918888363299578227636953033514903337230704714231036199829504000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EIno",
"number": "26.40034473705925898683359458916294873874692956471984757715406864282646113475270784881337948233865451",
"walk_lower": "447896194999198682942605189234642071012111264368684464811562999212881218234084596648886047093837459371100441858506319296439086948533731338058766662543954101879349529584729789291501763630249923/16965543422259491005991280467942866016198317778497103850981831044061632657088165168127267985603590584849434292495970803890055536964118130599802345898785252925505536000000000000000000000000000",
"walk_upper": "199134648296643734436282267133721864771984668138317113055220909450046989626874011670094736537920134436391256450291909559197143819745665467511694578643741469296914493196857306564405355253372442537/7542880605536569701263723296047398230801772084319812372146522082189801879341398233749383346399356374024058486443708619409518691734246920864672122986599923450679761305600000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EInw",
"number": "37.46852805493222336847477727061575633884409047576470267901650998026953683992397823700727048994941947",
"walk_lower": "97298127752611480923823642971814914937027213389922588606172330300609897602568519993741788413112411433319998882242157619035784426781694910030838796263557464887442046978787299635251820740550049140216772382567/2596796106053691172060369244816001182890211929261964495001354917356595259746394467129419763993047215636502144081793899870760854059881111694053564931842028352059674145724236300288000000000000000000000000000",
"walk_upper": "4492356977419916928443383726159191269921427523489978466040246145063685930097538640237367572915940154204208895760364882699964190691583483668197800367717567874683932523385531486225093842244043541993932543218003/119896809686084241088945206316570370404759916576055702802102031644793325874343397173120183576994772100901131889250194666401313643370037117558341570339916809044439428649294015496192000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJYW",
"number": "22.81994169259164923515113482168475154727762372412029750760227709611147290508127525767845915654526537",
"walk_lower": "3715632901672887844588256103273743761420617540153665961363651572303288116352351895785147639505486481178744271793054407346794745816655186930924045640185840831438712054269/162823943712316527632719798884708725668165465091107490609776595847673313043252764563438012602047831642068605521443799920095668363960545884241920000000000000000000000000",
"walk_upper": "4095397923328819123954868499648478240848758249274388475675602047385523851588899969147000856439558945609588502381668931388762906215915009839604349412813297240604443784854611/179465748795421521226217849232256212813379968814131721088153762299529154001787227724169335896758807344348259650993373584169660421494439804718284800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJ]w",
"number": "43.63279813769479491239077260130484186009454717545736303129775932650031060752709171931374196574627748",
"walk_lower": "1285163422638444612417561162621946295366690913726157596627466907089988439589939867889777826990654945155732291512582674836670431348455592365645798159830136368836440511329138173101197748496799/29454068441422727440957084145734142389233190587668583074621234451495890029666953416887618030561789209808045646694393756753568640562705087846879072740946619662336000000000000000000000000000",
"walk_upper": "25712264596727361360638146180577279531401385110919235035725730410149398710875926936870784984602033487730735956292241575457290770178204826663441649445963684862666578774496945729657825162250717497/589287547307544507911228382503702986781388444087485341573947037671078271823546737011670573937449716720629569253414735891368647791738040692552509608328119019584356352000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJ^w",
"number": "60.41612083325100826264428586888690705733095254220827270141893751370015228049253762748364123451264469",
"walk_lower": "45497620723570096715607127224201562129217781231874386103196547711582836344281778887509842836846205286502420254213339869930406443526249578051662772236269826310822078668637603286585169277817162353788923631717079/753070870755570439897507080996640343038161459485969703550392926033412625326454395467531731557983692534585621783720230962520647677365522391275533830234188222097305502260028527083520000000000000000000000000000",
"walk_upper": "77538198697915235247724822452512521375145796183898601668827919339458073206452045709699873003639307600940744376898790482557553366993098199142244934636137593316463645185809965957843526942752795949206224639143279/1283402469879211594754906433811175795881937135180314565205599211972435600908464533120723091810084884460350144166621802062887300971284904356962529485328686970053154447513569743339520000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "EJeg",
"number": "21.33698818298756547854927223053133877847941481434033381688916353194469699107339337367456874115958614",
"walk_lower": "1578722607603468743799247116268380251033538515659078426391962703722622831749495294150626894453741361207563794975103427628009838760458255843745764906005561/73989946194103339227234172374446305692588125969826324986388902340112917635591902658500965497785461211501838327649643443592888320000000000000000000000000",
"walk_upper": "104086209984398022704471206568097172400339449076103885397446400100398360827855618032317931991450267002097541212930568993482253154391427978681156503589611312898255654939303819/4878205353621003167876285174585873421018237334129580418668906811596292458775852826320602857557353035996375421422456245606066224184257954691887923200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJmw",
"number": "39.37754018865818202526752638202137616619207766948548286330129537816393699934216828353379341303049731",
"walk_lower": "334030683966224288291136553860287959260604908521833822804104599913584269590215967239116044157360040941932848559623454011445279663723410915457660788913430412516902797539365177329862800918535213/8482771711129745502995640233971433008099158889248551925490915522030816328544082584063633992801795292424717146247985401945027768482059065299901172949392626462752768000000000000000000000000000",
"walk_upper": "742550210456916592871196559231420133436324711644036588093524525607897831299050095172554966161811371013916722348042938267443671098526063751589297234946304496028464149788724894817794184300312095427/18857201513841424253159308240118495577004430210799530930366305205474504698353495584373458365998390935060146216109271548523796729335617302161680307466499808626699403264000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJnW",
"number": "36.35231114395283316985861176275164928691349001923772495790961935257064299736263138322758714703854010",
"walk_lower": "8129257580512513580617880082673899271405527084136148012133942517639957183982695404892055999966377917437452182368862234136003048469000273681702830919358013630196798884685496369319/223624229786138552167309256891078262953542141939791135104918992537822063387191561482621129307828498471326176836568328891730750712748584700800552402944000000000000000000000000000",
"walk_upper": "113356584772915720053657706567372853413007234804944666830653549177567282961777609097288890333349346329270770717910242864310961908320372385079601579321040422360836049673649794885979719/3118277248564221281935187726068347410877724411428976621848928137127173894251922912830437014649080899547391662402791478519627696325124287409244939220942848000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJnw",
"number": "51.04427106002366658511951247720673382675860517562792053570651984825590277609949045289399403759154171",
"walk_lower": "2023155455487125639732397481472496666828614267412486893924367677920519448451820180172869525351606606757671695386958207862562427572938333005558170456741067850293370850528393504712828404452054305407039953345909/39635308987135286310395109526138965423061129446629984397389101370179611859287073445659564818841246975504506409669485840132665667229764336382922833170220432741963447487369922478080000000000000000000000000000",
"walk_upper": "309237044888298773069927651745580070277174669289362899350583158801893106308804906204203645953283929854124541433057437662126064116748819943795387859758316277487128972452106525674149154454813158414730871796001/6058212576386146082547593697267035536707501934565676093982949541256760033541718093981207334520046991336005600414211019643973031644254252333245102949161410469634596487830825861120000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJqw",
"number": "26.98958383521723091835554254086270924041831060085312236539737288947469391802531948790563057981034620",
"walk_lower": "65413279500727254029806916392779000677268901475960540268902780236514291501238771896944687490776942925454566969071041831768228716557040093497603700424899325937835097423875110549664442696591781/2423649060322784429427325781134695145171188254071014835854547292008804665298309309732466855086227226407062041785138686270007933852016875799971763699826464703643648000000000000000000000000000",
"walk_upper": "1017896042310816799957825425988034029538981375867421967124396163260398890050776529488356282043980008862998516605714481944147035870481943467970045784695355788925430412730352806490346748518481337997/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJ~o",
"number": "49.02944863285200034433089915312327661624596049903937980190069935573945244306740087159367781359570552",
"walk_lower": "2127394475064173525550489507641895117078530433625895075179430270973992559725305626507089398675985820091768742720822880005270689042489237191990757570934803833708107797016071667093631754467791/43390136629819670092049310659700424593857590226335303966705450240566835440123184573215519144766216329538195121473071109693236667427412098720722112273108063748096000000000000000000000000000",
"walk_upper": "1849116385964454179193806626615781742498839103194592618080434535518697514965317573420576555703376142923024748791740201540422874833046190115671857147737032326639029802129222591763133421277939296519/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EJ~w",
"number": "69.78737162698521262142701553518156957230878523664423462259363457678817409292391462866331763446198371",
"walk_lower": "8759139453146057437574174129470984753541227956213187704637347309591729105918028890366628232411199368486555952357109562836512595140604747344657188802563376881337745238144378062712470007685743266679018161730401/125511811792595073316251180166106723839693576580994950591732154338902104221075732577921955259663948755764270297286705160420107946227587065212588971705698037016217583710004754513920000000000000000000000000000",
"walk_upper": "33120496057208529685827345927062161099327768209431116008159969514393725681752546741698813003804847612089789694850320534475600278447462602953486010360615269571409637146771750306559052895309486870802861329987903/474591538340750120977074775003091049518841336446887156924987208593973581585942613810267393325604306232733647061615353887838533171673063590335102049262170702467572738403455478005760000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "EKNG",
"number": "16.53061273073320360314153484416136710367111659746301774009424313110023060821163319452398062654257834",
"walk_lower": "34820684479152124862810529665362722155979164613304308373335821758574626527785809508751517536821052007145243270488227870730080455440830012138472162271676054456581997053/2106436406583682521471475218031440752515500154804286695381725228357565738954940392014781154615047842184870783327142400377583713628362385653760000000000000000000000000",
"walk_upper": "3548147834954721869393832822734879380246928901912921489855203431487818514413492720508957052269318195213743890929444649544553602983662159680377943514877497134707874632284011561/214641035559324139386556547681778430524802442701701538421431899710236868186137524358106525732523533583840518542588074806666913864107350006443068620800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EK\\w",
"number": "32.84085642162487728006956989363262446851791826640278570746988209861249087746140529909584877921702892",
"walk_lower": "79594710806466614594414883695852559372840047167357589002823742743321149009465905758093388504005519146557577754610758273008941425004408336546982217724263804379149164790105974791238714313724833/2423649060322784429427325781134695145171188254071014835854547292008804665298309309732466855086227226407062041785138686270007933852016875799971763699826464703643648000000000000000000000000000",
"walk_upper": "1238573294859426989703690005191161676400763973971251442472940260828820399736298959501691218510829883439582467439498009486293766326631440698061424892390766437950718615016271284953483989152688760169/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EK]w",
"number": "29.13572910598148718252857107954817649258518590793404270943789870398912354578303257926124476486134502",
"walk_lower": "494303477286718620379325479208110871715361099660290448187768880537871651722034296513065348129089170830063194835064365724114222990029474385678110307614399946473805499520384598009904527187646641/16965543422259491005991280467942866016198317778497103850981831044061632657088165168127267985603590584849434292495970803890055536964118130599802345898785252925505536000000000000000000000000000",
"walk_upper": "1098836630008375493103240540279630467823247724544825666321410221435688681778082241148544268890965226755230482118348085004707546518973364132416273816210308459018048087151247172603036119654955116799/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EK^w",
"number": "38.66483722921701877205712499316739727933010147683114916277668278214323980655936379794614093395988383",
"walk_lower": "766246385258654153140115855446909279815837278285891832739749415452646374542286181411712991931562360173653034488627486233084617282003067435057577661309967743299786855775237173147148124139336428506184937710569/19817654493567643155197554763069482711530564723314992198694550685089805929643536722829782409420623487752253204834742920066332833614882168191461416585110216370981723743684961239040000000000000000000000000000",
"walk_upper": "252812921887147803970884952880660797114898091673258513701016634059361942461641207098956396161116800522277314335441244381438732753479038265014562069839290458205501381468276270627200918851337598009229372383367/6538574581043629680510789093039141899226287069302693321584209532867603879484858054791284408619117881507237387760487079970220893295151277938026664283749768575902265052630844702720000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EK`w",
"number": "17.80755456648987379016467134244455725569149274381499709482091029576999990340553785713808862905192889",
"walk_lower": "124275952382574759423711034918273698109819324797391301045165792602333939287739770360746622179536715124161774948562958300281917323323848033164865369946393528004555930938064167784508156216791/6978833164236730154665273742469299060550521504935048889749827661070190315544288427859838743563797032023625788768396052608003100355457890004032227848122275987456000000000000000000000000000",
"walk_upper": "348521686485756736312168817875089169441281806325274881196208638794798480356038003956162693630785000612236254334511372220556845814238429132903225060384334170115237793112053438082750431413600257/19571563584682329271571674354040991776859813399895724888807789523066429370372076371949619476905439475931651495702409495094755297701730464101380703130773024002801664000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EK~o",
"number": "33.69224872483780886410560587838911640651482405033601282281782927685447348654003112435674961343655260",
"walk_lower": "95267884789133801951172792214929721984079162042008670044457921621283784425128625540905236859480819069729101487264799240258660893345962889943355024718729374568533856482261132479219155059401383/2827590570376581834331880077990477669366386296416183975163638507343605442848027528021211330933931764141572382082661800648342589494019688433300390983130875487584256000000000000000000000000000",
"walk_upper": "127068304731746665042474270256273263182364786331631164105297975858468311666236560746459404923175516475204675563713789226657164780758629559911830392208190977600188303947783119623484344589911228031/3771440302768284850631861648023699115400886042159906186073261041094900939670699116874691673199678187012029243221854309704759345867123460432336061493299961725339880652800000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EK~w",
"number": "49.97273078454593505759150576262690774682688316273205843591097877295947555488995240943558763450132564",
"walk_lower": "97748072431043397533877926369532815701620362203478869218729211438183813621976343311537860497562577189546818897489616614104158591954809613405019673299648986229928919540143041894832098625545118660340441544871/1956028235728754389344174236354909981917302492171349879351669937749123702146634793422160341709048552037884731905766833668884799161988369847468919039569320057395598707168905265152000000000000000000000000000",
"walk_upper": "130102684405718762117591519997848177698856702092830374930128580424222655930850512947656892322255790239286815952558679713372838211315673686723458182835464804725162457316140605485738235565445463439346904551692051/2603473581754972092217095908588385185931929617080066689417072687144083647557170910044895414814743622762424578166575655613285667684606520266981131241666764996393541879241812907917312000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "ELpw",
"number": "27.25140317602135512051224133235176242732660827294830313764938722189744634301003906579440341544454475",
"walk_lower": "9831682379591504593751243598950913992799486343770834566932572679377048452826137936663690539433593660300011135193014825698627011140728559715817786650667791507067265018034752479359695897323/360777106268144412673924092885547390030798889494887907516891675578131475961470816972403359608795121421572233758553339795641797702586244138220145579984800700170240000000000000000000000000",
"walk_upper": "313058301081433380849077492484009181214387134979310274297514286884145531181082403404322003001002230030300528947590537253353054754577048190809746982310395907697130259311635231919597672209721207/11487786484216524065281333073480655240331666287419756887216756141014014437010962890267108355771179369515775946457064604644408607575764424100932261630520748478038016000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "ELrw",
"number": "35.82614333907259287257502541600035567916009235109287333372818164242763082219584369125083194954636978",
"walk_lower": "269796249601692773902400957115175553098993533028123449384004262097236899985101739571421001834381116242325065367517497852232498133339227103263751026382129255863595106776907878159505265662285891182029277889637/7530708707555704398975070809966403430381614594859697035503929260334126253264543954675317315579836925345856217837202309625206476773655223912755338302341882220973055022600285270835200000000000000000000000000",
"walk_upper": "65290692403609651284381031621872483849956434992805874750929031427531329796394620976283882443920230130642665818939234480240406736064768422886791646756017682756178961625758858221201972896664623017754729048120279/1822431507228480464551967136011869630152350731956046682591950881000858553290019637031426790370320535933697204716602958929299967379224564186886791869166735497475479315469269035542118400000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "ELv_",
"number": "25.07448931811993836007681611587934920156041802407326148228221960273106925664849670565007558375949823",
"walk_lower": "7603809457919165564184952265519648029425851785093555039788050506819893265729182212454497182234174358029920534104427300601465619893300143770212221071208867518299038207311/303248826384843480035541636018081859445472188952750458701806146763920667678439011250424235110692257873058990177503796676580292402720170112450560000000000000000000000000",
"walk_upper": "2401612830594589461025403899284308109534924151159368016482454747425102433266150743367405344967094949346438154235512791388818430699448516916385787196926868878142256906109911/95779132333477973844960529978482119823651246185498232227323471535134702448075646746143027993093946266773993102448940118994606811292882644552908800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EL~o",
"number": "44.77854864086905495081868397255061673909177601142408878781414795661379633291256473414097625636619366",
"walk_lower": "6383969843297669464015689522506841799179925484928492715178738408067902076752278532968993204900213529654216081737474659209633791630029658985488562960656697241071107959981960329039084786248121/142567591783693201731019163596158537951246367886530284462032193647576745017547606454850991475660425082768355399125805074706349050118639752939515511754497923743744000000000000000000000000000",
"walk_upper": "1688796230436435587002318459215392409029659948006528677395237922255058611677817506276018555444687786494137359614586333923340523148570998472098022582306738096068006148127180050790030727816535818833/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EL~w",
"number": "64.75525033301492372006726967845256650696778467088152184329829911816165945247874605206651602241476298",
"walk_lower": "79164436289413135241305151054530164388722744246224210437128599513033599721052481850387568878466609799849668909023548440518954756454961660281931298517191025238147404165565903189574928280204343100833401422107/1222517647330471493340108897721818738698314057607093674594793711093202313841646745888850213568155345023677957441104271043052999476242731154668074399730825035872249191980565790720000000000000000000000000000",
"walk_upper": "421471458804835532024708624214318595205559890366897696367272663807390884914883413371463416708956230574399637271641371897323422936925771107544444727489605028500714443297998410390588698900920198924921471309969543/6508683954387430230542739771470962964829824042700166723542681717860209118892927275112238537036859056906061445416439139033214169211516300667452828104166912490983854698104532269793280000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "ENzw",
"number": "61.63157148096888473231916484993454975683064376182186660833810862884136603439899719763618775807029953",
"walk_lower": "2578496733400412224652645710604032752885961747999345006075389225562113704757789961576184656875224684136647576514389323877505713852152317510316119258627741410572988863262113472677742669180277143071313229053849/41837270597531691105417060055368907946564525526998316863910718112967368073691910859307318419887982918588090099095568386806702648742529021737529657235232679005405861236668251504640000000000000000000000000000",
"walk_upper": "155999052370724939591485065491543981549600685753960372867561048146507879137846292675359171740951093390267178379120554094589293171106153353675463962885231692613539362040895575800616901772061541255402844522796927/2531154871150667311877732133349818930767153794383398170266598445834525768458360606988092764403222966574579450995281887401805510248923005815120544262731577079827054604818429216030720000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "EN~w",
"number": "86.47788631925013656956812285834191826467675651178400902692774961946849108976813420345278954578892700",
"walk_lower": "3427577744817838563247679840264550732743118003516766728795176969794930025416529530867829123988203130878533446367735067725665995747956114512459377403681563956130927098580167948965637175784786094927629164316757/39635308987135286310395109526138965423061129446629984397389101370179611859287073445659564818841246975504506409669485840132665667229764336382922833170220432741963447487369922478080000000000000000000000000000",
"walk_upper": "7880001235336210856906415952768202134576428290085046709500111853558544128432601391465139156048878997889748393199422920701313233614384880458992303569641035677004448688923163700002084797448795099823801638705630593/91121575361424023227598356800593481507617536597802334129597544050042927664500981851571339518516026796684860235830147946464998368961228209344339593458336774873773965773463451777105920000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "EPTW",
"number": "19.47777036590806522405243511770136293246126850877862048715644024616906419136844048333622514441687051",
"walk_lower": "12267576700729831663077876059556653256202698445417850435599882537740853134031288765020204481074071115038924792330933756296798831874108468920252222852010670567966110776483/629824485568521073919971090191400785002134546286481721919135843278912155947527177212419565229899304813276364214815577712897530374880353310474240000000000000000000000000",
"walk_upper": "4180728801725222981618624771716609646447598616706176339200261969449394043812193054675060586127638065649690374602420569477289288017423613814022844259857097158337157710338072181/214641035559324139386556547681778430524802442701701538421431899710236868186137524358106525732523533583840518542588074806666913864107350006443068620800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "ER^W",
"number": "37.06649006102879756995476665447427813921659934273312612415335089589844903306637928110225787376605137",
"walk_lower": "14292116969116679908182223588191508530240558746433536122320480420972056977436099116803440543449968069960081003557693507733770858652592486404735836715293106700309963768512810993206617265357227/385580532324079341045256374271428773095416313147661451158677978274128014933821935639256090581899786019305324829453881906592171294639048422722780588608755748306944000000000000000000000000000",
"walk_upper": "69897027249162034758955982680409391617994476605307851759820541546805941853848986340638906321796413842946772155999255868922861201933260942663692813158987336528874831892160364004727200183796886059/1885720151384142425315930824011849557700443021079953093036630520547450469835349558437345836599839093506014621610927154852379672933561730216168030746649980862669940326400000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E]~o",
"number": "57.86882059961746446189826019280584720960600013043322048876291170386180884813884486155117680692604824",
"walk_lower": "1726787009383444227825883765341031665079780657068709696622267745085145819505347607883326120540322740049201118590757997502587557583863774394321499687131406354/29839678629891741138186465624454513664245934367296629248971243746448112075038697066857644761586320136918282010916558483479015027140368215739727020263671875",
"walk_upper": "168132761457441567508413954933466366546489035149071884514898992442803427066104982675818967709097820359466584994273770246033569233413899763020061308023288959560434/2905411925028121116098256873042512413752099589914317818736282678357911907655122832787555040559279867299377131869716916484294647753587088209216296672821044921875",
"walk_terms": 116,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "E]~w",
"number": "81.98090426566741387924491566952661054717401684357759540508358597782154382846968507720853449032807677",
"walk_lower": "61737430960675218399898786204006992445679735275792050213652418295935926173702736992794691661906925861873965520777615268365780346077642246978098360532331488911280862499465999357714442412347154819036759360114781/753070870755570439897507080996640343038161459485969703550392926033412625326454395467531731557983692534585621783720230962520647677365522391275533830234188222097305502260028527083520000000000000000000000000000",
"walk_upper": "7470229146241701426387753130684846085927247968370838075851942613808247067018031176128157691090738029286749828014091447472266531265228485079198096542989230300124431651722743507613532462213577600688630072515294751/91121575361424023227598356800593481507617536597802334129597544050042927664500981851571339518516026796684860235830147946464998368961228209344339593458336774873773965773463451777105920000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "E^~w",
"number": "112.4050939022633663779273387904011014294132731580345155708912404719698692287346194809576000190094357",
"walk_lower": "651146168787224111798524710498724269824491085153212716936554004236708761698117623456612634684220002942850778557631986140533226266930983395601923763658198358277022528470122625498156635150119198111587370577769/5792852851965926460750054469204925715678165072968997719618407123333943271741956888211782550446028404112197090644001776634774212902811710702119491001801447862286965402000219439104000000000000000000000000000",
"walk_upper": "223538394478896448681597418073874569278464530106068006054386610358870118321942169728776009244495430953536506912080993932575180239385817154248504053271946318584832205633399966923092291602595959272816489068741/1988685625522130581134839738118583184365288882536061417057999651899671053350086902042150578754169070202637717936057353698494071780035534904939755422486616649362155516662231597056000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 408,
"both_enclosures_within_written_interval": true
},
{
"g": "E_Nw",
"number": "24.05038643267256966421063196673588711111153477498916128128025948013671258563279596522086176519995737",
"walk_lower": "9055822726430344759401079003457237665221008333677868983533916658578181970123545421194738415273020187598867694902311539158349049213569616081391143931876930519955588264348425132093798856015026323529657784763433/376535435377785219948753540498320171519080729742984851775196463016706312663227197733765865778991846267292810891860115481260323838682761195637766915117094111048652751130014263541760000000000000000000000000000",
"walk_upper": "11656963296787996977526920844875805930763212855053427095825573571148510833882436127282588811149313220207053096629571236576210528188923512162472615691975198551535636432232321634557363050400043818507230711990197/484689230645872463976587004258475965466050726584054968774455021542781530130324371550911380417638440407898192743777382693962757281708660688001806348182642419541350881773741764771840000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E_]o",
"number": "16.26295642048483179264337430833774049289370811348800939925864646714617508930273528572597885270012348",
"walk_lower": "932095542683317383589487861526283889376046292481700495452576766284240884507183601151321181564821422756839917193594778900359714218017830765737285640970770214154489128153757/57314028186735417726717369207417471435194243712069836694641361738381006191224973126330180435920836738008149143548217571873675264114112151253155840000000000000000000000000",
"walk_upper": "3141942220836204861874556292903630212163180346844255945517461736934727373968859213601888231287359341336062547155726774961268100679895224451873647793376827303452483144196551/193196251628554580905991492062806868159138112242755660145303240063219503317855557478043677527023882613717838472176484974497672244921107116510412800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "E_]w",
"number": "22.78802175290305718888874946597476069662661449797969730219089547203791494613940011032077784148659492",
"walk_lower": "232579830207229269197694412700298679422383196229533286634832295830813417355429146464639091264977056024135496911445452623494125653210632167025066575236695649654972141971/10206231709323341981735600860691788193464432495004299246409348670640427453668445273533247793728426433862548253834468972378038530838340007808000000000000000000000000000",
"walk_upper": "5687274588057377319691221473760403607915536297400777458081554129950880494592308918499819698702483950958185305975575653002312633172534903789285705139904201308282996290121311/249572983988083681479380647846496296694785767800340129472447803043170372524554492273708508300041211587240892451014269781560176194589928210929024000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E`Lw",
"number": "26.69464300649055905155411841815312454411413035723878169613634522560481095780614865630142914083310885",
"walk_lower": "3538196289596337712426006777409751012589370930203417369643667282983610652081867958387237001028680345971037773619355936147566616664733358701750681127005455963589768036376540637348989132808587/132543307986402273484306878655803640751549357644508623835795555031731505133501290375994281137528051444136205410124771905391058882532172895310955827334259788480512000000000000000000000000000",
"walk_upper": "5900532897053757490414863515515286197288950921111925590936138312132457974177038613274439499840027313648624884287943170334623641365738298196530267799290474023059273126055880710456026816407441/221038089762769882937445004690061135326852379627713931573123419981649764374923757318706141761984139805187385316359615863229050184447877229014444714301620037353472000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E`NG",
"number": "18.40674732464948550871151168074837021436199669810785073751755834508916291729204831188869720087301060",
"walk_lower": "1054964834991077353290444871132384361345006340404839169036459360926837962924703874631074414260999254409576600324549292650722464706946723489581701689176984538174442493330709/57314028186735417726717369207417471435194243712069836694641361738381006191224973126330180435920836738008149143548217571873675264114112151253155840000000000000000000000000",
"walk_upper": "3950843307041584688072716042390779433237048744816122688041540306671008171153016010493373681407442207763864368215437100977077360436402297616828960798973927777590434125790053401/214641035559324139386556547681778430524802442701701538421431899710236868186137524358106525732523533583840518542588074806666913864107350006443068620800000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
},
{
"g": "E`NW",
"number": "23.16353891945850650848323507913523086853143016140714980134432819261481552484372084623807826720007519",
"walk_lower": "58953199122602907727793339589421142902384808968588889935372687882299560683622061492355898755933242806832814019609523103125458245334663599444707391249054727187971078168870050911823664599079/2545086021941117762674959566148044706900437710545620139661240780687313629926217396958786076448183406068021946069002520835591889733591078697840135898407628701696000000000000000000000000000",
"walk_upper": "436799521177937697508322351492974907839780767313797950053669506046118960691172911710791374060487182665711288770118035537541044039438985572685010542170328667913408633521120050162396871202115789389/18857201513841424253159308240118495577004430210799530930366305205474504698353495584373458365998390935060146216109271548523796729335617302161680307466499808626699403264000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E`Nw",
"number": "31.22029660243527291400492183426539869214453286142936793906295724453504451010189320126747668878838965",
"walk_lower": "844963016986275231973756929604052378800453681127760002907302606788360421195947540643875497366688920033988439855956785731754912504612218443587609453773860165209335635165295120954006056803616894499839311511/27064541626435595324259014591074226164893493602370878833796690962566491476242745569363224853835891914989600064104949899821047535574681846946110829478317636014278724250135796121600000000000000000000000000",
"walk_upper": "318749872231351944861629599385340465014547615121901464626148918666691493007624210479363150859563296716351050870367698052809282093352919390048184663056503853511525909148767768172107156584583677132728703632429/10209700320607733694969003563091706611497763204235555644772834067231700578655572196254491822802916167695782659476767276914845755625907922615612279379085352927033497565654168266342400000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E`]o",
"number": "21.60847244926498681792302166404352018033583206247129367074060142939680273032156279585994514583720805",
"walk_lower": "879594175447066167011244228240601814143349519482469517652372971864024983039737425680486392950368080007924805169922444899013280869287958631117890831399929579968065515601/40705985928079131908179949721177181417041366272776872652444148961918328260813191140859503150511957910517151380360949980023917090990136471060480000000000000000000000000",
"walk_upper": "1159516225841340504000902591435890935476329070562570616950064146430032293642303464029044382642893217789646795167198563763705699900351863122971220402836173340028889432352499289/53660258889831034846639136920444607631200610675425384605357974927559217046534381089526631433130883395960129635647018701666728466026837501610767155200000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E`]w",
"number": "29.94554058242009523649510691255405682520545985939103416970471680222268251835531313245568748457644846",
"walk_lower": "6597952844858206415984649360284746915696995137403154991658228112727531886943798520329506324909704781234115813928886223417688464412379182973068966384106424991013474076394358437507378497931881/220331732756616766311575071012245013197380750370092257804958844728073151390755391793860623189657020582460185616830789660909812168365170527270160336347860427603968000000000000000000000000000",
"walk_upper": "1129378186407224050430508415649300414306770354664435443077130564283684360620056936523321927141119077108624837986021383748630780954069199701737022647317378250143545832847930939333593840586314636507/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EaMw",
"number": "22.32442444693333416342760664701302508305497062012640664307266107474621061005274232822004472653759882",
"walk_lower": "152843419019934948687158261051579984216833046527899222348823342073277463957886508632645344124418656304847220505782596575964464074361958464696635403697126130710844178432795521371874235099977/6846466272098261100077191472131907189749119361782527784899851107369504704232512174385499590639059961601870174534290074209061960033945976836078428530583233626112000000000000000000000000000",
"walk_upper": "7135189330107623209562609100670908403194417111061919396910120078006811849946015882497782599760236132279182794871448955955762879876132888135007900062517493210879240999722534097313529965619824883/319613584980363122934903529493533823339058139166093744582479749245330588107686365836838277389803236187460105357784263534301639480264700036638649279093217095367786496000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "Ebnw",
"number": "47.51292179429161374904550587651745647948160123098256645892037650990501828412538734101730873535437195",
"walk_lower": "66383297565433220446431218596697929179015839604296063853782645059199940990561103207180318311787820706299817747220702731929393533579938674206289272367190071168552625862742711136399610417083059361133058918971/1397163025520538849531553025967792844226644637265249913822621384106516930104739138158685958363606108598489094218404881192060570829991692748192085028263800040996856219406360903680000000000000000000000000000",
"walk_upper": "618493183417141314899399663665434606160890577593226426925692904016565850209057798581299025710927125520595401950855287353387175179483399083986882139013269913343040142204224923276418731730187416579845594225396557/13017367908774860461085479542941925929659648085400333447085363435720418237785854550224477074073718113812122890832878278066428338423032601334905656208333824981967709396209064539586560000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "Ejmw",
"number": "45.41032920176610479692696434088890956476438458858066310778301746115886534066699024107768598718015018",
"walk_lower": "33496126603985261827262104885967504433228250350067382892560186081152528024590171289314060090720913073059236542357879679798573935417060213700705784048244120197582358840227430047363000087556449/737632322706934391564838281214907218095579033847700167433992654089636202482094137744663825461025677602149317065042208864785023346266005678252275908642837083717632000000000000000000000000000",
"walk_upper": "1712623457135162451966084160714632534166527212148595219913709754143247605369270867851338578378469564512445705174216030148422915556076714239357220634986170999588966886859420482118641187193490314777/37714403027682848506318616480236991154008860421599061860732610410949009396706991168746916731996781870120292432218543097047593458671234604323360614932999617253398806528000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "Ek]w",
"number": "33.94367187813522733671807211932433799146943644693968612543938710905342668011524979616652586858964823",
"walk_lower": "219631136216411735061642682731918404787932201258469219376665918501236517125819841206774843324938997496099144628179802132287885337770618781838558133153118968924324070401382351154091611511023/6470458971113459575130160361534273842943675735506141819596426790259966688439422260918103732114260329843415061974054463726184415318122856826774350075814360383488000000000000000000000000000",
"walk_upper": "640082660725708189312103537347814598748924574534223544898044449581834147395184431680487884968565942169749030444569690883640409903856737445234464712220940415444899858405195964846489528140392730047/18857201513841424253159308240118495577004430210799530930366305205474504698353495584373458365998390935060146216109271548523796729335617302161680307466499808626699403264000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "EoLW",
"number": "17.24216166690282471357015565801550191665639486698990030744766336573036841520274315905546560919022566",
"walk_lower": "29945992114458103948283161173784491102407040994071913426943842327630368104357485961582637761390270786281412143628347334033805193441966326566743681741801486502306054688553/1736788732931376294749011188103559740460431627638479899837617022375182005794696155343338801088510204182065125562067199147687129215579156098580480000000000000000000000000",
"walk_upper": "1233625145155101592149524824554052110963658053750792473622951584686733014059006634187396762580472205040862773256769768425563181646804075539032168627022219130504880252317123567/71547011853108046462185515893926143508267480900567179473810633236745622728712508119368841910841177861280172847529358268888971288035783335481022873600000000000000000000000000",
"walk_terms": 106,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "Es\\w",
"number": "33.55406416749252290052532486501762561169413211202124322549855113845739913924833615589241354626220498",
"walk_lower": "2710775869651788838071954272070917089601992191245562252153069978995548931981006235347522577587684514182616749166909816643377251165955180747788947598592264408289438031136954203535950266611853/80788302010759480980910859371156504839039608469033827861818243066960155509943643657748895169540907546902068059504622875666931128400562526665725456660882156788121600000000000000000000000000",
"walk_upper": "1855530057521326368441540194766666018971991223811093586763369000431806609848523666931501414802432201988080611456874647659280690577625659239800804999757073565584364835473748595401328473136697903/55299711184285701622168059355186204038136158975951703608112331980863650141799107285552663829907304794897789490056514805055122373418232557658886532159823485708795904000000000000000000000000000",
"walk_terms": 116,
"spectral_accuracy_bits": 409,
"both_enclosures_within_written_interval": true
},
{
"g": "E~~w",
"number": "150.2525563084338150290931988913595839607167232490378282192920291193993722996830750964741458316286194",
"walk_lower": "68678024959678208913855125230321121538287682529095110078828311859538743305762837853454911775234608239113052824626210390997882501564447981075883121590918999861508646662393147745873190094518331216496786037/457083903575644175701270719943577205639970416457095334328986240843803469581564436675881370611593356540197821489249361000100541515983091545517772596504631543163843090069848064000000000000000000000000000",
"walk_upper": "130392853646719603904143393168665214884929915214247796041874300007950712966497687339785883500489954783470672336416393936662948402652385509558922528591400314597101148284402988876178947416825180183428771719650857/867824527251657364072365302862795061977309872360022229805690895714694549185723636681631804938247874254141526055525218537761889228202173422327043747222254998797847293080604302639104000000000000000000000000000",
"walk_terms": 124,
"spectral_accuracy_bits": 410,
"both_enclosures_within_written_interval": true
}
]
}