{
  "summary": {
    "table": "T546",
    "mode": "stored",
    "entries": 142,
    "counts_by_order": {
      "2": 1,
      "3": 2,
      "4": 6,
      "5": 21,
      "6": 112
    },
    "exact_count": 13,
    "exact_keys": [
      "A_",
      "Bw",
      "C]",
      "C~",
      "D?{",
      "DF{",
      "D~{",
      "E?NG",
      "EFz_",
      "EIe_",
      "ELv_",
      "E]~o",
      "E~~w"
    ],
    "irrational_count": 129,
    "maximum_interval_width": "3/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
    "working_bits": [
      413
    ],
    "max_150_vs_180_difference": "3.0423937e-150",
    "controls": "graph6 DQc; zero matrix; K2 energy 2; K3 energy 4; K2 trace polynomial x^2-1",
    "structural_counts": {
      "complete": 5,
      "bipartite": 27,
      "complete_bipartite": 9,
      "trees": 13,
      "paths": 5,
      "regular": 11,
      "cycles": 4
    },
    "sibling_key_checks": [
      "T237",
      "T238",
      "T397",
      "T400",
      "T545"
    ],
    "catalogue_set_equality": true,
    "polynomial_checks": 142,
    "all_stored_enclosures_contain_certified_intervals": true,
    "longest_written_value": 101,
    "entries_block_bytes": 19777,
    "verify": "<VerifyReport T546: 142/142 matched, 0 differing, 0 missing, 0 extra>",
    "versions": {
      "sage": "10.9",
      "numberdb": "0.1.10",
      "mpmath": "1.4.1"
    },
    "skill_manifest": "agents/runs/20261027T111010Z-build-skills/manifest.json",
    "skill_local_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
    "skill_live_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
  },
  "records": [
    {
      "params": {
        "g": "A_"
      },
      "number": "2",
      "comment": "This is the complete graph $K_{2}$."
    },
    {
      "params": {
        "g": "BW"
      },
      "number": "2.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145",
      "comment": "This is the complete bipartite graph $K_{1,2}$."
    },
    {
      "params": {
        "g": "Bw"
      },
      "number": "4",
      "comment": "This is the complete graph $K_{3}$."
    },
    {
      "params": {
        "g": "CF"
      },
      "number": "3.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "comment": "This is the complete bipartite graph $K_{1,3}$."
    },
    {
      "params": {
        "g": "CL"
      },
      "number": "4.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "comment": "This is the path $P_{4}$."
    },
    {
      "params": {
        "g": "CN"
      },
      "number": "4.962388608184031245267074482433714361105490433996953456791786281627673844773530106026582365095707850"
    },
    {
      "params": {
        "g": "C]"
      },
      "number": "4",
      "comment": "This is the complete bipartite graph $K_{2,2}$."
    },
    {
      "params": {
        "g": "C^"
      },
      "number": "5.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
    },
    {
      "params": {
        "g": "C~"
      },
      "number": "6",
      "comment": "This is the complete graph $K_{4}$."
    },
    {
      "params": {
        "g": "D?{"
      },
      "number": "4",
      "comment": "This is the complete bipartite graph $K_{1,4}$."
    },
    {
      "params": {
        "g": "D@s"
      },
      "number": "5.226251859505506111426572693708748614335044753397078110195593467632324165844768203807414880770512573"
    },
    {
      "params": {
        "g": "D@{"
      },
      "number": "5.627213005296661630882455124721360484368562409530072110653088354444577673408278880813888259313606972"
    },
    {
      "params": {
        "g": "DBg"
      },
      "number": "5.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "comment": "This is the path $P_{5}$."
    },
    {
      "params": {
        "g": "DBk"
      },
      "number": "5.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272993"
    },
    {
      "params": {
        "g": "DB{"
      },
      "number": "6.040895836088439143157393944332025234449332756993754506055066285763845857942823557660177054423363062"
    },
    {
      "params": {
        "g": "DFw"
      },
      "number": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280470",
      "comment": "This is the complete bipartite graph $K_{2,3}$."
    },
    {
      "params": {
        "g": "DF{"
      },
      "number": "6"
    },
    {
      "params": {
        "g": "DIk"
      },
      "number": "5.595865303863626808126162157727995058694090255464955519723745292601494368151921196459313202005787212"
    },
    {
      "params": {
        "g": "DJk"
      },
      "number": "6.729857197628430364684743172119851451390231216405962831133190349826779811483147325378582591321301198"
    },
    {
      "params": {
        "g": "DJ{"
      },
      "number": "7.028273858670582145387549733924434956104952601490809184443342788418683314583547181516140817592433007"
    },
    {
      "params": {
        "g": "DK["
      },
      "number": "6.428639486755070374830995401697160977815839274438998868662764633018256092866532549591942500683928704"
    },
    {
      "params": {
        "g": "DK{"
      },
      "number": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
    },
    {
      "params": {
        "g": "DLo"
      },
      "number": "6.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "comment": "This is the cycle $C_{5}$."
    },
    {
      "params": {
        "g": "DL{"
      },
      "number": "7.106932641439849271620054204194994275308998787610094381916855823365030930174096340478767938990008305"
    },
    {
      "params": {
        "g": "DNw"
      },
      "number": "6.354819361798569134901586241832665906713962235605703914510435759821252835127490673103397817754782655"
    },
    {
      "params": {
        "g": "DN{"
      },
      "number": "7.362661287209954750951324775777573098056549906376278871133809559524887491648443547650162111134346972"
    },
    {
      "params": {
        "g": "D]{"
      },
      "number": "6.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
    },
    {
      "params": {
        "g": "D^{"
      },
      "number": "7.291502622129181181003231507278520851420518366164900360736668918402137646460567255520785772949087221"
    },
    {
      "params": {
        "g": "Dbk"
      },
      "number": "6.340172973252067445406511528850741850840279259646619907337454812773690100341494779351308368367151965"
    },
    {
      "params": {
        "g": "D~{"
      },
      "number": "8",
      "comment": "This is the complete graph $K_{5}$."
    },
    {
      "params": {
        "g": "E?Bw"
      },
      "number": "4.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "comment": "This is the complete bipartite graph $K_{1,5}$."
    },
    {
      "params": {
        "g": "E?Fg"
      },
      "number": "5.818625822352818929219598264041055142953972376759860602673656935068888676893280775375622774447420654"
    },
    {
      "params": {
        "g": "E?Fw"
      },
      "number": "6.172260395302988182499243274477199753959975655153459902763466262220457154157809499885192523983773815"
    },
    {
      "params": {
        "g": "E?NG"
      },
      "number": "6"
    },
    {
      "params": {
        "g": "E?NW"
      },
      "number": "6.485204316658384165369415260377968108304001967574661845531330742101138747909920767103821641547539684"
    },
    {
      "params": {
        "g": "E?Nw"
      },
      "number": "6.685846165554340416109718021962283266803071289977970214792795219557662739625068406045771876985518948"
    },
    {
      "params": {
        "g": "E?]o"
      },
      "number": "6.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
    },
    {
      "params": {
        "g": "E?]w"
      },
      "number": "6.818643672455629702997220862459284724425074936379497626878139369317389351185575786018775967872227308"
    },
    {
      "params": {
        "g": "E?^o"
      },
      "number": "6.469652731063006471994176723960381140254735347486275713849986057910157391816831967501130651573875401"
    },
    {
      "params": {
        "g": "E?^w"
      },
      "number": "6.892602538996459915510055544713000379505516624355759069718937885622573260677179338179838820195797976"
    },
    {
      "params": {
        "g": "E?~o"
      },
      "number": "5.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566291",
      "comment": "This is the complete bipartite graph $K_{2,4}$."
    },
    {
      "params": {
        "g": "E?~w"
      },
      "number": "6.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122"
    },
    {
      "params": {
        "g": "E@FG"
      },
      "number": "6.155367074350506805140581152073819648013404287075584854078312500749726576990181836909187443334210871"
    },
    {
      "params": {
        "g": "E@JW"
      },
      "number": "6.324555320336758663997787088865437067439110278650433653715009705585188877278476442688496216758600590"
    },
    {
      "params": {
        "g": "E@NW"
      },
      "number": "7.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151"
    },
    {
      "params": {
        "g": "E@Nw"
      },
      "number": "7.711545013271977351697399500659702416275690538745588800623814926427537724208005134409573773047318314"
    },
    {
      "params": {
        "g": "E@QW"
      },
      "number": "6.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280470"
    },
    {
      "params": {
        "g": "E@Rw"
      },
      "number": "7.806423851823106574970432448114188467550628100088665319208433164164272348434497222916668503955372819"
    },
    {
      "params": {
        "g": "E@UW"
      },
      "number": "7.300563079745769490421724785881948628020580469976947594895153966802506808199823876529603885412847695"
    },
    {
      "params": {
        "g": "E@Vw"
      },
      "number": "7.980630624037818356259785136950205553660882817594318091970774715976421647095209526441539773975570397"
    },
    {
      "params": {
        "g": "E@YO"
      },
      "number": "6.987918414869868244200039072033918485058197847171216842924395512774829219651898276607540058612682973",
      "comment": "This is the path $P_{6}$."
    },
    {
      "params": {
        "g": "E@YW"
      },
      "number": "7.207750943219353009888818556059560409327353297054857200428499385595459363423519724010891637748099323"
    },
    {
      "params": {
        "g": "E@]o"
      },
      "number": "7.806423851823106574970432448114188467550628100088665319208433164164272348434497222916668503955372819"
    },
    {
      "params": {
        "g": "E@]w"
      },
      "number": "8.018832738761591386610631737963339899784494878690034205398589556496812742468149398652463981267924772"
    },
    {
      "params": {
        "g": "E@^W"
      },
      "number": "8.118304317665228386691710807538655528101379879940575772334773933102136334644668256594244430217791047"
    },
    {
      "params": {
        "g": "E@^o"
      },
      "number": "7.937221616936039444767967084929373030558664019256204606045984859020947670580602617669582651811894493"
    },
    {
      "params": {
        "g": "E@^w"
      },
      "number": "8.289211745690182279716713083384735694668911097633051140776027498347070226897139745447987010093198975"
    },
    {
      "params": {
        "g": "E@`w"
      },
      "number": "7.342490027239563359100802631051322164323697912576091254810242135124860587773647822194172635512741266"
    },
    {
      "params": {
        "g": "E@ow"
      },
      "number": "7.191688434954841334000599958088537435893160330236880994896402687062374139651169785852916278911606541"
    },
    {
      "params": {
        "g": "E@vw"
      },
      "number": "8.106541021659371939086743316418276507203987495204182847276834605987974869953367425995714730899784461"
    },
    {
      "params": {
        "g": "E@~o"
      },
      "number": "7.252396137054587226752999100157248773655723120526134908903242911301486037695092019788484787918732210"
    },
    {
      "params": {
        "g": "E@~w"
      },
      "number": "8.282672231310728269551879833168888276688194050170545981623850279558514012078022759328958604765507125"
    },
    {
      "params": {
        "g": "EAMw"
      },
      "number": "7.665495618935063797756322036287182121396164814876813815045212087700168706753341842320606804855516022"
    },
    {
      "params": {
        "g": "EA]o"
      },
      "number": "7.766202102101374486312813698521798407680704392514778399975193977189272808177114659749583307852257383"
    },
    {
      "params": {
        "g": "EBYW"
      },
      "number": "6.633249580710799698229865473341373367854177091178707194117364292232969285218087693417686798256581302"
    },
    {
      "params": {
        "g": "EBYw"
      },
      "number": "7.217425947927284760186394673654378480572877889801090344492974153105434015104977780607804884149202046"
    },
    {
      "params": {
        "g": "EBZw"
      },
      "number": "7.362661287209954750951324775777573098056549906376278871133809559524887491648443547650162111134346972"
    },
    {
      "params": {
        "g": "EB]w"
      },
      "number": "8.252738179839737612464051373207287157554623241284084170960354821914988661088281495799106696274487338"
    },
    {
      "params": {
        "g": "EB^w"
      },
      "number": "8.302408025444418287473224762898412568297311819369112714278824318014405427302692234099350984896002587"
    },
    {
      "params": {
        "g": "EBhw"
      },
      "number": "8.045782680109072186491267601562466519328767905059070149638106215470524692600965253960111357678792824"
    },
    {
      "params": {
        "g": "EBjW"
      },
      "number": "8.685846165554340416109718021962283266803071289977970214792795219557662739625068406045771876985518948"
    },
    {
      "params": {
        "g": "EBjw"
      },
      "number": "8.670264050430885468402107495056076867304826990281515189985593048870382652028166563057944032014422476"
    },
    {
      "params": {
        "g": "EBnW"
      },
      "number": "8.944271909999158785636694674925104941762473438446102897083588981642083702551219597657657633515129100"
    },
    {
      "params": {
        "g": "EBn_"
      },
      "number": "8.138805226879111362292207869575203895224268732804641555922402585705256105953877243733115221389054374"
    },
    {
      "params": {
        "g": "EBnw"
      },
      "number": "8.739132120594849621507374998490704448889330471861664128739367324438100982256889153116876289267583598"
    },
    {
      "params": {
        "g": "EB~o"
      },
      "number": "7.620386170314852043228323625548326198059017885243619916429023858032260593433478290346689734936195818"
    },
    {
      "params": {
        "g": "EB~w"
      },
      "number": "8.584803170449242064607406715328122023224441024878576102185271672630531757157080873495281709748105697"
    },
    {
      "params": {
        "g": "ECXw"
      },
      "number": "7.523338239663346370427019854163306575741281777600115302451214085271832036701569405823716322919619631"
    },
    {
      "params": {
        "g": "EC\\w"
      },
      "number": "7.738308315348773670383805702997256015893208880872407551781541807860154608643026642461734201597656333"
    },
    {
      "params": {
        "g": "EENg"
      },
      "number": "7.299261078610975623914039113910742892221665931773083591908072385707430757083736374533830672717314220"
    },
    {
      "params": {
        "g": "EFz_"
      },
      "number": "6",
      "comment": "This is the complete bipartite graph $K_{3,3}$."
    },
    {
      "params": {
        "g": "EFzw"
      },
      "number": "7.532870967705409570985027514093138426965233756567403282873786952836213690429009296991866816226311875"
    },
    {
      "params": {
        "g": "EF~w"
      },
      "number": "8.324555320336758663997787088865437067439110278650433653715009705585188877278476442688496216758600590"
    },
    {
      "params": {
        "g": "EGNW"
      },
      "number": "7.664074803029532747057158884653540033462970954922327949207832494891403889989321265058799135569028912"
    },
    {
      "params": {
        "g": "EGcw"
      },
      "number": "7.415980409830338533606879652048765431723125679222008151999025725997866846644997402768184860464336890"
    },
    {
      "params": {
        "g": "EGdo"
      },
      "number": "7.549245799008978526396499275838955109331020673056416374699026785931968209056785323729425641799010412"
    },
    {
      "params": {
        "g": "EGdw"
      },
      "number": "7.996110202208088649296548044183282356109804636639527218028460526113526505690393759877014291267753958"
    },
    {
      "params": {
        "g": "EHQW"
      },
      "number": "7.465883060453301293440401790148364171688130886385878141588871469089663331556219585299366100151376852"
    },
    {
      "params": {
        "g": "EHUW"
      },
      "number": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
    },
    {
      "params": {
        "g": "EHuw"
      },
      "number": "8.354510433691246187788401585359558778391570287434694899176055214776519327053007578279328703803712386"
    },
    {
      "params": {
        "g": "EI]w"
      },
      "number": "8.058990926761212908838115834846649501974798530504108716962454683345877715253104825203913712418283488"
    },
    {
      "params": {
        "g": "EI_w"
      },
      "number": "6.602720495543138223533364444482982175157738827615102828121493293368231195114831269210201956142121332"
    },
    {
      "params": {
        "g": "EIe_"
      },
      "number": "8",
      "comment": "This is the cycle $C_{6}$."
    },
    {
      "params": {
        "g": "EImo"
      },
      "number": "6.928203230275509174109785366023489467771221015241522512223227917807732067635200148324584747028994303"
    },
    {
      "params": {
        "g": "EImw"
      },
      "number": "8.046818857603472256363449670096762058722726648012348385626430368601773044836061219778305751385064794"
    },
    {
      "params": {
        "g": "EIno"
      },
      "number": "7.588281363810870083867019888914995428791358802425634930417824258987032738163709843802822516519548946"
    },
    {
      "params": {
        "g": "EInw"
      },
      "number": "8.367008185346933250462298986186914545934939727716523965011213296334176546664038375918551229919433391"
    },
    {
      "params": {
        "g": "EJYW"
      },
      "number": "7.790213031855061353869725602536475764102620319110589315638878498097052329235981808662338895609605228"
    },
    {
      "params": {
        "g": "EJ]w"
      },
      "number": "8.887495848379203243067883913332089078513561870548240015203006509128877100982839912866213975640921379"
    },
    {
      "params": {
        "g": "EJ^w"
      },
      "number": "9.068140393445463126483212946635742070269240186529834309262143445342071325533196542867782417849343863"
    },
    {
      "params": {
        "g": "EJeg"
      },
      "number": "8.292528739883944684658270131431140891024954258374657402464973434885330990741814151863067442169780297"
    },
    {
      "params": {
        "g": "EJmw"
      },
      "number": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
    },
    {
      "params": {
        "g": "EJnW"
      },
      "number": "8.761374662616505798953755051538595622962943212525710753837704533664513123196992781931969406533695082"
    },
    {
      "params": {
        "g": "EJnw"
      },
      "number": "9.276221012466257272166994242136815173338707924309142017682447983631636716250095373369971638541906003"
    },
    {
      "params": {
        "g": "EJqw"
      },
      "number": "8.704443792558203844348564992206169557842158505943969604542220567359967330513681795557752191807169533"
    },
    {
      "params": {
        "g": "EJ~o"
      },
      "number": "8.558904631537212739523092317723424403178210058006062496244089250360348058732807645131710872469640256"
    },
    {
      "params": {
        "g": "EJ~w"
      },
      "number": "9.493136493991434602315200217327588875522945350062650619343390089511901699328955007644280581127120015"
    },
    {
      "params": {
        "g": "EKNG"
      },
      "number": "7.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566291"
    },
    {
      "params": {
        "g": "EK\\w"
      },
      "number": "8.707711570861656477116674698043461334364756173301840070083373106868484215602215603448230936081400335"
    },
    {
      "params": {
        "g": "EK]w"
      },
      "number": "8.857845879539719904560491040046454396527738352950486278443571922436654516035091859988808189129889247"
    },
    {
      "params": {
        "g": "EK^w"
      },
      "number": "9.234333538695950085007351467523637631750705453965059451783156359499421538367025967587646511778901190"
    },
    {
      "params": {
        "g": "EK`w"
      },
      "number": "7.535762184188808718471296330939752238636840905964136670315087039861977668057514493128118235045419170"
    },
    {
      "params": {
        "g": "EK~o"
      },
      "number": "8.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122"
    },
    {
      "params": {
        "g": "EK~w"
      },
      "number": "9.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566291"
    },
    {
      "params": {
        "g": "ELpw"
      },
      "number": "8.957679683723196469180846030462219229876300364763588355076722450660040818668371691885174680674497794"
    },
    {
      "params": {
        "g": "ELrw"
      },
      "number": "9.371115440565935589212915486874335254813131680536391705407179625322962606190239851908547682966845020"
    },
    {
      "params": {
        "g": "ELv_"
      },
      "number": "8"
    },
    {
      "params": {
        "g": "EL~o"
      },
      "number": "8.663237301241977881970097591651014317600787295629976118492720710385104237287242176217299779758002187"
    },
    {
      "params": {
        "g": "EL~w"
      },
      "number": "9.474121328551627543198229735454653111600656048068112031877802560055097191813384324490153379272557755"
    },
    {
      "params": {
        "g": "ENzw"
      },
      "number": "8.858814602077679498235114893473357941217628001603362900070613546266982993360655737824941126813517542"
    },
    {
      "params": {
        "g": "EN~w"
      },
      "number": "9.607084991365190977216903789249965914517164530450806808595762597256895230005584465079200660115220155"
    },
    {
      "params": {
        "g": "EPTW"
      },
      "number": "7.732396525018045010947988461973182812471801511545760923956833409722234152217432395652790061322564501"
    },
    {
      "params": {
        "g": "ER^W"
      },
      "number": "8.756632523518574745450033524416842167824236448466767125367357678789859778593661785616210345326052979"
    },
    {
      "params": {
        "g": "E]~o"
      },
      "number": "8"
    },
    {
      "params": {
        "g": "E]~w"
      },
      "number": "8.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122"
    },
    {
      "params": {
        "g": "E^~w"
      },
      "number": "9.403124237432848686488217674621813264520420132621018885529272626668182758196876074289354302249869963"
    },
    {
      "params": {
        "g": "E_Nw"
      },
      "number": "8.213373930418942300937140671668059228136271707449090014846760917362711189270989274955147776282623690"
    },
    {
      "params": {
        "g": "E_]o"
      },
      "number": "7.564563854420212122516857986342222147547235306566398575893406308353486152439460940160291590543418702"
    },
    {
      "params": {
        "g": "E_]w"
      },
      "number": "7.418550718873845678458263334247781867040053478730873310775911706109062107227028689458838668987775115"
    },
    {
      "params": {
        "g": "E`Lw"
      },
      "number": "8.426782210190877937441515962573110255546985758387040718781980295871188396833727559392869250275773756"
    },
    {
      "params": {
        "g": "E`NG"
      },
      "number": "8.292528739883944684658270131431140891024954258374657402464973434885330990741814151863067442169780297"
    },
    {
      "params": {
        "g": "E`NW"
      },
      "number": "8.698355190948984576147920653150570895697895170588746921672812701273068274726596613790680694577927923"
    },
    {
      "params": {
        "g": "E`Nw"
      },
      "number": "9.203358263766308504928740720375662412400114174479743900804985469463782944844475863965579788572641874"
    },
    {
      "params": {
        "g": "E`]o"
      },
      "number": "8.818643672455629702997220862459284724425074936379497626878139369317389351185575786018775967872227308"
    },
    {
      "params": {
        "g": "E`]w"
      },
      "number": "8.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
    },
    {
      "params": {
        "g": "EaMw"
      },
      "number": "8.182694489906029904975478778099991313301995815079856779410620038593184843719248132354145133606157821"
    },
    {
      "params": {
        "g": "Ebnw"
      },
      "number": "8.978577143620157525585873060909698482336131678965986231073132910341349868285232838686803378771021181"
    },
    {
      "params": {
        "g": "Ejmw"
      },
      "number": "8.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145"
    },
    {
      "params": {
        "g": "Ek]w"
      },
      "number": "8.755422416913548648976315770728372961290390146882261791084206989648956280090617007302950962310014388"
    },
    {
      "params": {
        "g": "EoLW"
      },
      "number": "8.389762986525928263657805858015282898065057334380609371575904559128536166110804118691284157147071123"
    },
    {
      "params": {
        "g": "Es\\w"
      },
      "number": "7.435482234928008190257458925909355675319276537159085057594381136795997924564337448889409938510939521"
    },
    {
      "params": {
        "g": "E~~w"
      },
      "number": "10",
      "comment": "This is the complete graph $K_{6}$."
    }
  ],
  "evidence": [
    {
      "g": "A_",
      "characteristic_polynomial": "x^2 - 1",
      "written": "2",
      "exact": true,
      "certified_lower": "2",
      "certified_upper": "2",
      "independent_180_digits": "2.0",
      "independent_difference": "0.0"
    },
    {
      "g": "BW",
      "characteristic_polynomial": "x^3 - 2*x",
      "written": "2.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145",
      "exact": false,
      "certified_lower": "14957989064813680174811888539262565214839526121845123411906475201328708691186221396706759438971534032434847432953319595611403/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048",
      "certified_upper": "3739497266203420043702972134815641303709881530461280852976618800332177172796555349176689859742883508108711858238329898902851/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "2.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145470027692461824594049849672111701474425288243",
      "independent_difference": "4.5101838e-152"
    },
    {
      "g": "Bw",
      "characteristic_polynomial": "x^3 - 3*x - 2",
      "written": "4",
      "exact": true,
      "certified_lower": "4",
      "certified_upper": "4",
      "independent_180_digits": "4.0",
      "independent_difference": "6.1098727e-151"
    },
    {
      "g": "CF",
      "characteristic_polynomial": "x^4 - 3*x^2",
      "written": "3.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "exact": false,
      "certified_lower": "4579930098365506519763379694046638588764471352636645496722460308884364771845629576726767638933448066574434529158191912137673/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "18319720393462026079053518776186554355057885410546581986889841235537459087382518306907070555733792266297738116632767648550693/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048",
      "independent_180_digits": "3.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151351252282830813406059939890189997904957623311",
      "independent_difference": "1.3420928e-151"
    },
    {
      "g": "CL",
      "characteristic_polynomial": "x^4 - 3*x^2 + 1",
      "written": "4.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "exact": false,
      "certified_lower": "739083041573487641968322057064693960645116160777588291983371734071515469343607972466803387374774487413985829338879249975407/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "5912664332587901135746576456517551685160929286220706335866973872572123754748863779734427098998195899311886634711033999803257/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "4.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756454993901635230154756700850653544889414772717272",
      "independent_difference": "4.7463064e-151"
    },
    {
      "g": "CN",
      "characteristic_polynomial": "x^4 - 4*x^2 - 2*x + 1",
      "written": "4.962388608184031245267074482433714361105490433996953456791786281627673844773530106026582365095707850",
      "exact": false,
      "certified_lower": "13121666435587152568218588154446535385455044991142498079167697927109740262244125445589087577394937432915013333089558557519853/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "13121666435587152568218588154446535385455044991142498079167697927109740262244125445589087577394937432915013333089558557519855/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "4.962388608184031245267074482433714361105490433996953456791786281627673844773530106026582365095707849636031038128493137118609644499580563586278155",
      "independent_difference": "8.2850324e-151"
    },
    {
      "g": "C]",
      "characteristic_polynomial": "x^4 - 4*x^2",
      "written": "4",
      "exact": true,
      "certified_lower": "4",
      "certified_upper": "4",
      "independent_180_digits": "4.0",
      "independent_difference": "6.1098727e-151"
    },
    {
      "g": "C^",
      "characteristic_polynomial": "x^4 - 5*x^2 - 4*x",
      "written": "5.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297",
      "exact": false,
      "certified_lower": "1693329776278727617792318061348109945428537786238937733395690460990858789258791222054872146877946772333600398018848096576807/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "13546638210229820942338544490784879563428302289911501867165523687926870314070329776438977175023574178668803184150784772614457/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "5.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684296684544040939214141615301420840415868363079548",
      "independent_difference": "2.492845e-151"
    },
    {
      "g": "C~",
      "characteristic_polynomial": "x^4 - 6*x^2 - 8*x - 3",
      "written": "6",
      "exact": true,
      "certified_lower": "6",
      "certified_upper": "6",
      "independent_180_digits": "6.0",
      "independent_difference": "0.0"
    },
    {
      "g": "D?{",
      "characteristic_polynomial": "x^5 - 4*x^3",
      "written": "4",
      "exact": true,
      "certified_lower": "4",
      "certified_upper": "4",
      "independent_180_digits": "4.0",
      "independent_difference": "0.0"
    },
    {
      "g": "D@s",
      "characteristic_polynomial": "x^5 - 4*x^3 + 2*x",
      "written": "5.226251859505506111426572693708748614335044753397078110195593467632324165844768203807414880770512573",
      "exact": false,
      "certified_lower": "13819379944509002214252308797981245848247883759866136875581824818771853436448945307195904925671918351646356886612104445735389/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "13819379944509002214252308797981245848247883759866136875581824818771853436448945307195904925671918351646356886612104445735391/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "5.226251859505506111426572693708748614335044753397078110195593467632324165844768203807414880770512572985549257774965755726500751123487197393509725",
      "independent_difference": "4.5236804e-151"
    },
    {
      "g": "D@{",
      "characteristic_polynomial": "x^5 - 5*x^3 - 2*x^2 + 2*x",
      "written": "5.627213005296661630882455124721360484368562409530072110653088354444577673408278880813888259313606972",
      "exact": false,
      "certified_lower": "14879610979221883900044574783509921038531709792684790146014495810051308569016695418151226195546551910778562693247152303756123/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "14879610979221883900044574783509921038531709792684790146014495810051308569016695418151226195546551910778562693247152303756125/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "5.627213005296661630882455124721360484368562409530072110653088354444577673408278880813888259313606972160430499297401986269557052737180087406531281",
      "independent_difference": "4.3246543e-151"
    },
    {
      "g": "DBg",
      "characteristic_polynomial": "x^5 - 4*x^3 + 3*x",
      "written": "5.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "exact": false,
      "certified_lower": "7224153973526500915571040926177722748078090084493770373861055489981987936790874960027524480692309205964799377258285345354697/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "14448307947053001831142081852355445496156180168987540747722110979963975873581749920055048961384618411929598754516570690709395/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "5.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151351252282830813406059939890189997904957623311",
      "independent_difference": "1.0877653e-150"
    },
    {
      "g": "DBk",
      "characteristic_polynomial": "x^5 - 5*x^3 - 2*x^2 + 3*x",
      "written": "5.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272993",
      "exact": false,
      "certified_lower": "15446549098286956876503661839556052237078692273400902275127296712798703446307960494625644392247023348106942966622383721510305/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "3861637274571739219125915459889013059269673068350225568781824178199675861576990123656411098061755837026735741655595930377577/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "5.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272992643022358174837323880283945989144881568749377",
      "independent_difference": "5.6627087e-151"
    },
    {
      "g": "DB{",
      "characteristic_polynomial": "x^5 - 6*x^3 - 4*x^2 + 2*x",
      "written": "6.040895836088439143157393944332025234449332756993754506055066285763845857942823557660177054423363062",
      "exact": false,
      "certified_lower": "15973480997145687769089398750880829651372114384694415273062526979905110054522384724256851212025769876606404225688802436870857/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "15973480997145687769089398750880829651372114384694415273062526979905110054522384724256851212025769876606404225688802436870859/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.040895836088439143157393944332025234449332756993754506055066285763845857942823557660177054423363062006396637476012116810399780692583890137609172",
      "independent_difference": "1.4988265e-150"
    },
    {
      "g": "DFw",
      "characteristic_polynomial": "x^5 - 6*x^3",
      "written": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280470",
      "exact": false,
      "certified_lower": "12953998519658485193613588576679675994778503649885558806600740150754601952459263405124730112359578546762212795545375408416379/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "3238499629914621298403397144169918998694625912471389701650185037688650488114815851281182528089894636690553198886343852104095/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228378249717730919675514683251568",
      "independent_difference": "3.2976423e-151"
    },
    {
      "g": "DF{",
      "characteristic_polynomial": "x^5 - 7*x^3 - 6*x^2",
      "written": "6",
      "exact": true,
      "certified_lower": "6",
      "certified_upper": "6",
      "independent_180_digits": "6.0",
      "independent_difference": "6.1098727e-151"
    },
    {
      "g": "DIk",
      "characteristic_polynomial": "x^5 - 5*x^3 + 2*x",
      "written": "5.595865303863626808126162157727995058694090255464955519723745292601494368151921196459313202005787212",
      "exact": false,
      "certified_lower": "7398360319330617351876910608112006668582433902379583850919531838135729404260275093781614882478324833659601333275452743178569/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "3699180159665308675938455304056003334291216951189791925459765919067864702130137546890807441239162416829800666637726371589285/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "5.595865303863626808126162157727995058694090255464955519723745292601494368151921196459313202005787212171781138481451397634180228606334926944969798",
      "independent_difference": "2.6488821e-151"
    },
    {
      "g": "DJk",
      "characteristic_polynomial": "x^5 - 6*x^3 - 4*x^2 + 3*x + 2",
      "written": "6.729857197628430364684743172119851451390231216405962831133190349826779811483147325378582591321301198",
      "exact": false,
      "certified_lower": "17795249078393158242478384081627418381564585506839823491947367733841137892514036309973600359992595467233494823145408175372163/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "8897624539196579121239192040813709190782292753419911745973683866920568946257018154986800179996297733616747411572704087686083/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.729857197628430364684743172119851451390231216405962831133190349826779811483147325378582591321301198190723832018718041217388894034840639144306027",
      "independent_difference": "2.7190331e-151"
    },
    {
      "g": "DJ{",
      "characteristic_polynomial": "x^5 - 7*x^3 - 8*x^2 + 2",
      "written": "7.028273858670582145387549733924434956104952601490809184443342788418683314583547181516140817592433007",
      "exact": false,
      "certified_lower": "18584329538266641772429930335435930594653496044912400343725928617731155624418490632843509109554052144743009241411744575880319/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "18584329538266641772429930335435930594653496044912400343725928617731155624418490632843509109554052144743009241411744575880321/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.028273858670582145387549733924434956104952601490809184443342788418683314583547181516140817592433006823375360542130408737228092015118244599092901",
      "independent_difference": "1.4432226e-150"
    },
    {
      "g": "DK[",
      "characteristic_polynomial": "x^5 - 5*x^3 - 2*x^2 + 4*x + 2",
      "written": "6.428639486755070374830995401697160977815839274438998868662764633018256092866532549591942500683928704",
      "exact": false,
      "certified_lower": "4249690503920119573117180772040082133259332326967427634913618621437284280477717407365815218283120031099448612134438716158829/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "8499381007840239146234361544080164266518664653934855269827237242874568560955434814731630436566240062198897224268877432317659/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.428639486755070374830995401697160977815839274438998868662764633018256092866532549591942500683928703868006440178839180051466055873159717830409763",
      "independent_difference": "4.4961845e-151"
    },
    {
      "g": "DK{",
      "characteristic_polynomial": "x^5 - 6*x^3 - 4*x^2 + 5*x + 4",
      "written": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297",
      "exact": false,
      "certified_lower": "2354385745068976216744233369380880985256942469203218952680339256265264580495102567880061357317662057181191610043871454881063/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "9417542980275904866976933477523523941027769876812875810721357025061058321980410271520245429270648228724766440175485819524253/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684296684544040939214141615301420840415868363079548",
      "independent_difference": "9.7269005e-151"
    },
    {
      "g": "DLo",
      "characteristic_polynomial": "x^5 - 5*x^3 + 5*x - 2",
      "written": "6.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "exact": false,
      "certified_lower": "1069611025968611941444279711081079480559318502259728901625696131708718364961763645379397992594632129837781435351390929127535/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "8556888207748895531554237688648635844474548018077831213005569053669746919694109163035183940757057038702251482811127433020281/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756454993901635230154756700850653544889414772717272",
      "independent_difference": "1.3635663e-151"
    },
    {
      "g": "DL{",
      "characteristic_polynomial": "x^5 - 7*x^3 - 6*x^2 + 3*x + 2",
      "written": "7.106932641439849271620054204194994275308998787610094381916855823365030930174096340478767938990008305",
      "exact": false,
      "certified_lower": "2349040121207030018384182711470014940243071396206607472447303194007032913025923654689175258255580832096056320799021560879345/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "18792320969656240147073461691760119521944571169652859779578425552056263304207389237513402066044646656768450566392172487034763/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.106932641439849271620054204194994275308998787610094381916855823365030930174096340478767938990008305110594793520146833225492180170442237751502987",
      "independent_difference": "2.075278e-152"
    },
    {
      "g": "DNw",
      "characteristic_polynomial": "x^5 - 7*x^3 - 4*x^2 + 2*x",
      "written": "6.354819361798569134901586241832665906713962235605703914510435759821252835127490673103397817754782655",
      "exact": false,
      "certified_lower": "16803565078803129750964458101485315443938817372838641923864410068829504152620304902496892960998208209889524518343524500277115/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "16803565078803129750964458101485315443938817372838641923864410068829504152620304902496892960998208209889524518343524500277117/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.354819361798569134901586241832665906713962235605703914510435759821252835127490673103397817754782655465862790788347819045375017961064685997616518",
      "independent_difference": "5.0124355e-151"
    },
    {
      "g": "DN{",
      "characteristic_polynomial": "x^5 - 8*x^3 - 10*x^2 - x + 2",
      "written": "7.362661287209954750951324775777573098056549906376278871133809559524887491648443547650162111134346972",
      "exact": false,
      "certified_lower": "19468524760364141695605995925088690844126109409440541247963198892375794079425785957540481887410341847268935654544837659541029/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "19468524760364141695605995925088690844126109409440541247963198892375794079425785957540481887410341847268935654544837659541031/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.362661287209954750951324775777573098056549906376278871133809559524887491648443547650162111134346972238028353126621399301291238459554946223693446",
      "independent_difference": "5.0302427e-151"
    },
    {
      "g": "D]{",
      "characteristic_polynomial": "x^5 - 8*x^3 - 8*x^2",
      "written": "6.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "exact": false,
      "certified_lower": "1069611025968611941444279711081079480559318502259728901625696131708718364961763645379397992594632129837781435351390929127535/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "17113776415497791063108475377297271688949096036155662426011138107339493839388218326070367881514114077404502965622254866040561/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756454993901635230154756700850653544889414772717272",
      "independent_difference": "1.3635663e-151"
    },
    {
      "g": "D^{",
      "characteristic_polynomial": "x^5 - 9*x^3 - 14*x^2 - 6*x",
      "written": "7.291502622129181181003231507278520851420518366164900360736668918402137646460567255520785772949087221",
      "exact": false,
      "certified_lower": "9640182659616487636094553165827493643362920577481915035708272520283519339061656189615590261304268317510632071207774742775259/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "19280365319232975272189106331654987286725841154963830071416545040567038678123312379231180522608536635021264142415549485550519/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.291502622129181181003231507278520851420518366164900360736668918402137646460567255520785772949087221230129156676994926191487059777254429568854781",
      "independent_difference": "1.8266061e-151"
    },
    {
      "g": "Dbk",
      "characteristic_polynomial": "x^5 - 6*x^3 - 2*x^2 + 4*x",
      "written": "6.340172973252067445406511528850741850840279259646619907337454812773690100341494779351308368367151965",
      "exact": false,
      "certified_lower": "2095604593565448181174867070177907981213399383191805302925948380366657557209021161884784491424553448795625247042919860199025/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "8382418374261792724699468280711631924853597532767221211703793521466630228836084647539137965698213795182500988171679440796101/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.340172973252067445406511528850741850840279259646619907337454812773690100341494779351308368367151965149415476262899435186891436188857541428444833",
      "independent_difference": "1.9903821e-151"
    },
    {
      "g": "D~{",
      "characteristic_polynomial": "x^5 - 10*x^3 - 20*x^2 - 15*x - 4",
      "written": "8",
      "exact": true,
      "certified_lower": "8",
      "certified_upper": "8",
      "independent_180_digits": "8.0",
      "independent_difference": "0.0"
    },
    {
      "g": "E?Bw",
      "characteristic_polynomial": "x^6 - 5*x^4",
      "written": "4.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "exact": false,
      "certified_lower": "739083041573487641968322057064693960645116160777588291983371734071515469343607972466803387374774487413985829338879249975407/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "11825328665175802271493152913035103370321858572441412671733947745144247509497727559468854197996391798623773269422067999606513/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "4.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756454993901635230154756700850653544889414772717272",
      "independent_difference": "1.3635663e-151"
    },
    {
      "g": "E?Fg",
      "characteristic_polynomial": "x^6 - 5*x^4 + 3*x^2",
      "written": "5.818625822352818929219598264041055142953972376759860602673656935068888676893280775375622774447420654",
      "exact": false,
      "certified_lower": "1923218665011699829361868113591423697897853245909291844119600990759014798091661328750696174695305066898897711030781837736229/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "7692874660046799317447472454365694791591412983637167376478403963036059192366645315002784698781220267595590844123127350944917/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "5.818625822352818929219598264041055142953972376759860602673656935068888676893280775375622774447420654240605085626063983721561127008911502178996702",
      "independent_difference": "2.3284726e-151"
    },
    {
      "g": "E?Fw",
      "characteristic_polynomial": "x^6 - 6*x^4 - 2*x^3 + 3*x^2",
      "written": "6.172260395302988182499243274477199753959975655153459902763466262220457154157809499885192523983773815",
      "exact": false,
      "certified_lower": "16320838300970798544116717095843709005239185033547181177818056343404253613122335537071810183746512438975113133506720115527759/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "16320838300970798544116717095843709005239185033547181177818056343404253613122335537071810183746512438975113133506720115527761/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.172260395302988182499243274477199753959975655153459902763466262220457154157809499885192523983773815381824829844123579633604430762325204001112447",
      "independent_difference": "1.672152e-151"
    },
    {
      "g": "E?NG",
      "characteristic_polynomial": "x^6 - 5*x^4 + 4*x^2",
      "written": "6",
      "exact": true,
      "certified_lower": "6",
      "certified_upper": "6",
      "independent_180_digits": "6.0",
      "independent_difference": "0.0"
    },
    {
      "g": "E?NW",
      "characteristic_polynomial": "x^6 - 6*x^4 - 2*x^3 + 5*x^2",
      "written": "6.485204316658384165369415260377968108304001967574661845531330742101138747909920767103821641547539684",
      "exact": false,
      "certified_lower": "8574166044702620589820704557838064995636057702095592878590042773429481066526709099851820849839426336390735599967032903888223/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "17148332089405241179641409115676129991272115404191185757180085546858962133053418199703641699678852672781471199934065807776449/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.485204316658384165369415260377968108304001967574661845531330742101138747909920767103821641547539683978784719405751204798481175844598192401381249",
      "independent_difference": "2.0336953e-151"
    },
    {
      "g": "E?Nw",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 4*x^2",
      "written": "6.685846165554340416109718021962283266803071289977970214792795219557662739625068406045771876985518948",
      "exact": false,
      "certified_lower": "8839437028306186651020570320008289568747265059256733768980868157845290145824980947259112259130850335514157068416203027652437/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "4419718514153093325510285160004144784373632529628366884490434078922645072912490473629556129565425167757078534208101513826219/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "6.685846165554340416109718021962283266803071289977970214792795219557662739625068406045771876985518948337602026219906968636588686346756394542046821",
      "independent_difference": "6.0933774e-151"
    },
    {
      "g": "E?]o",
      "characteristic_polynomial": "x^6 - 6*x^4 + 5*x^2",
      "written": "6.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "exact": false,
      "certified_lower": "1069611025968611941444279711081079480559318502259728901625696131708718364961763645379397992594632129837781435351390929127535/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "8556888207748895531554237688648635844474548018077831213005569053669746919694109163035183940757057038702251482811127433020281/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756454993901635230154756700850653544889414772717272",
      "independent_difference": "1.3583312e-150"
    },
    {
      "g": "E?]w",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 5*x^2",
      "written": "6.818643672455629702997220862459284724425074936379497626878139369317389351185575786018775967872227308",
      "exact": false,
      "certified_lower": "18030020394922619357099136881499333667902091112104252635435051426595455707591343802706861967188689636750805523464087398587833/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "4507505098730654839274784220374833416975522778026063158858762856648863926897835950676715491797172409187701380866021849646959/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "6.818643672455629702997220862459284724425074936379497626878139369317389351185575786018775967872227307647109081548359524377565166895202675827160223",
      "independent_difference": "4.1976688e-152"
    },
    {
      "g": "E?^o",
      "characteristic_polynomial": "x^6 - 7*x^4 + 3*x^2",
      "written": "6.469652731063006471994176723960381140254735347486275713849986057910157391816831967501130651573875401",
      "exact": false,
      "certified_lower": "4276802553869333418762348771133923189113905071859699118316813006197230839587775286642112044547742670395929108180985043229937/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "8553605107738666837524697542267846378227810143719398236633626012394461679175550573284224089095485340791858216361970086459875/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.46965273106300647199417672396038114025473534748627571384998605791015739181683196750113065157387540114406937485551505661069565688495356061268078",
      "independent_difference": "3.9375201e-151"
    },
    {
      "g": "E?^w",
      "characteristic_polynomial": "x^6 - 8*x^4 - 6*x^3 + 3*x^2",
      "written": "6.892602538996459915510055544713000379505516624355759069718937885622573260677179338179838820195797976",
      "exact": false,
      "certified_lower": "9112792097804864115190129252190629001758372493086307105323113597526874511515156441515315710758980012416641139938751258172801/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "4556396048902432057595064626095314500879186246543153552661556798763437255757578220757657855379490006208320569969375629086401/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "6.892602538996459915510055544713000379505516624355759069718937885622573260677179338179838820195797976247838868985701325992508522660966192711153346",
      "independent_difference": "5.0532872e-153"
    },
    {
      "g": "E?~o",
      "characteristic_polynomial": "x^6 - 8*x^4",
      "written": "5.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566291",
      "exact": false,
      "certified_lower": "14957989064813680174811888539262565214839526121845123411906475201328708691186221396706759438971534032434847432953319595611403/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "3739497266203420043702972134815641303709881530461280852976618800332177172796555349176689859742883508108711858238329898902851/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "5.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566290940055384923649188099699344223402948850576486",
      "independent_difference": "7.0119095e-151"
    },
    {
      "g": "E?~w",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3",
      "written": "6.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122",
      "exact": false,
      "certified_lower": "17834133577494878266077551323486796700607190768654302161126115427507965118486806178986334652302404633599742646637819267745215/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "278658337148357472907461739429481198446987355760223471267595553554811954976356346546661478942225072399995978853715926058519/41315998049390537434494706752048189989275292685267576205290549704650361952269459114074325652482205302974450751563959894016",
      "independent_180_digits": "6.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122419557476945650837869934822615203403401618532",
      "independent_difference": "1.5053484e-151"
    },
    {
      "g": "E@FG",
      "characteristic_polynomial": "x^6 - 5*x^4 + 5*x^2",
      "written": "6.155367074350506805140581152073819648013404287075584854078312500749726576990181836909187443334210871",
      "exact": false,
      "certified_lower": "4069042144594372453903032157553656868129964575928025926390562725672398391913248881901724490277961249887267805249045338186097/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "16276168578377489815612128630214627472519858303712103705562250902689593567652995527606897961111844999549071220996181352744391/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.155367074350506805140581152073819648013404287075584854078312500749726576990181836909187443334210870543811396616622654301303986078822430627391273",
      "independent_difference": "4.474409e-151"
    },
    {
      "g": "E@JW",
      "characteristic_polynomial": "x^6 - 6*x^4 + 4*x^2",
      "written": "6.324555320336758663997787088865437067439110278650433653715009705585188877278476442688496216758600590",
      "exact": false,
      "certified_lower": "16723540177810948262005797367620457544393128175495425534173776198783878707232129034610187761399108291882493914504249181912387/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "8361770088905474131002898683810228772196564087747712767086888099391939353616064517305093880699554145941246957252124590956195/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.324555320336758663997787088865437067439110278650433653715009705585188877278476442688496216758600590374694568305680110297097712060907760029381039",
      "independent_difference": "1.6852787e-150"
    },
    {
      "g": "E@NW",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 6*x^2 + 4*x",
      "written": "7.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151",
      "exact": false,
      "certified_lower": "9868377848687495311378702158308806907391708816350895250999650671079611101736120343328281322451170345355164225358378778571721/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "4934188924343747655689351079154403453695854408175447625499825335539805550868060171664140661225585172677582112679189389285861/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "7.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151351252282830813406059939890189997904957623311",
      "independent_difference": "1.3420928e-151"
    },
    {
      "g": "E@Nw",
      "characteristic_polynomial": "x^6 - 8*x^4 - 8*x^3 + 3*x^2 + 4*x",
      "written": "7.711545013271977351697399500659702416275690538745588800623814926427537724208005134409573773047318314",
      "exact": false,
      "certified_lower": "5097762859618117477993210111575312852303821331271458769574460904673073640782914973636390934643263278005917389335808595793317/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "10195525719236234955986420223150625704607642662542917539148921809346147281565829947272781869286526556011834778671617191586635/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.711545013271977351697399500659702416275690538745588800623814926427537724208005134409573773047318313659831465773291641624406914582328345790787099",
      "independent_difference": "5.4735564e-151"
    },
    {
      "g": "E@QW",
      "characteristic_polynomial": "x^6 - 5*x^4 + 5*x^2 - 1",
      "written": "6.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280470",
      "exact": false,
      "certified_lower": "9121223134990236992614455520470922156702870556799904280438965256474924141174877085863121897938650412771471245872781137425213/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "18242446269980473985228911040941844313405741113599808560877930512949848282349754171726243795877300825542942491745562274850429/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228378249717730919675514683251568",
      "independent_difference": "1.5031976e-150"
    },
    {
      "g": "E@Rw",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 7*x^2 + 4*x - 1",
      "written": "7.806423851823106574970432448114188467550628100088665319208433164164272348434497222916668503955372819",
      "exact": false,
      "certified_lower": "1290120770538556948353066968446066062330592461391353430243397725098291082333682092434528076695873142615486443236972199294229/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "20641932328616911173649071495137056997289479382261654883894363601572657317338913478952449227133970281847783091791555188707667/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.806423851823106574970432448114188467550628100088665319208433164164272348434497222916668503955372819381390878313245478119747847562436695672576441",
      "independent_difference": "8.6617262e-151"
    },
    {
      "g": "E@UW",
      "characteristic_polynomial": "x^6 - 6*x^4 - 2*x^3 + 6*x^2 - 1",
      "written": "7.300563079745769490421724785881948628020580469976947594895153966802506808199823876529603885412847695",
      "exact": false,
      "certified_lower": "19304323197582642358899097182666385977741621633363974377687185345808601855090838257822233917482158814841196985898727797412213/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "2413040399697830294862387147833298247217702704170496797210898168226075231886354782227779239685269851855149623237340974676527/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "7.300563079745769490421724785881948628020580469976947594895153966802506808199823876529603885412847695409044044763372161058356207560595622152460963",
      "independent_difference": "4.2952881e-151"
    },
    {
      "g": "E@Vw",
      "characteristic_polynomial": "x^6 - 8*x^4 - 6*x^3 + 6*x^2 + 2*x - 1",
      "written": "7.980630624037818356259785136950205553660882817594318091970774715976421647095209526441539773975570397",
      "exact": false,
      "certified_lower": "21102574034921785006016466547873264226454501323017883619854494118982465708290424575420004909541739393521264433248759834331445/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "21102574034921785006016466547873264226454501323017883619854494118982465708290424575420004909541739393521264433248759834331449/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.980630624037818356259785136950205553660882817594318091970774715976421647095209526441539773975570397389065653096424621374188090339650477265204892",
      "independent_difference": "1.139618e-150"
    },
    {
      "g": "E@YO",
      "characteristic_polynomial": "x^6 - 5*x^4 + 6*x^2 - 1",
      "written": "6.987918414869868244200039072033918485058197847171216842924395512774829219651898276607540058612682973",
      "exact": false,
      "certified_lower": "1154851294392254770785829864305932495870426995883522019480994075802444962447628792412093439877651594797253542853916158251967/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "4619405177569019083143319457223729983481707983534088077923976303209779849790515169648373759510606379189014171415664633007869/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "6.987918414869868244200039072033918485058197847171216842924395512774829219651898276607540058612682973336464737673396344073085834043092582086675183",
      "independent_difference": "9.1170965e-151"
    },
    {
      "g": "E@YW",
      "characteristic_polynomial": "x^6 - 6*x^4 + 5*x^2 - 1",
      "written": "7.207750943219353009888818556059560409327353297054857200428499385595459363423519724010891637748099323",
      "exact": false,
      "certified_lower": "19058907130274790099036825219288721588189305520889399471854559814516920037272591073090061036116005129872496894908953776501203/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "19058907130274790099036825219288721588189305520889399471854559814516920037272591073090061036116005129872496894908953776501207/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.207750943219353009888818556059560409327353297054857200428499385595459363423519724010891637748099322546487714949400829118333063044641098030314901",
      "independent_difference": "1.0871054e-150"
    },
    {
      "g": "E@]o",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 7*x^2 + 4*x - 1",
      "written": "7.806423851823106574970432448114188467550628100088665319208433164164272348434497222916668503955372819",
      "exact": false,
      "certified_lower": "1290120770538556948353066968446066062330592461391353430243397725098291082333682092434528076695873142615486443236972199294229/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "20641932328616911173649071495137056997289479382261654883894363601572657317338913478952449227133970281847783091791555188707667/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.806423851823106574970432448114188467550628100088665319208433164164272348434497222916668503955372819381390878313245478119747847562436695672576441",
      "independent_difference": "3.5580192e-151"
    },
    {
      "g": "E@]w",
      "characteristic_polynomial": "x^6 - 8*x^4 - 8*x^3 + 4*x^2 + 4*x - 1",
      "written": "8.018832738761591386610631737963339899784494878690034205398589556496812742468149398652463981267924772",
      "exact": false,
      "certified_lower": "5300897244689006252332450888730314999199773087273664794549142434954590075948322075486424826714324983068842892598912592170477/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "2650448622344503126166225444365157499599886543636832397274571217477295037974161037743212413357162491534421446299456296085239/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.018832738761591386610631737963339899784494878690034205398589556496812742468149398652463981267924771832127337296571540203277942785818510716657241",
      "independent_difference": "1.0116516e-150"
    },
    {
      "g": "E@^W",
      "characteristic_polynomial": "x^6 - 8*x^4 - 6*x^3 + 7*x^2 + 4*x - 1",
      "written": "8.118304317665228386691710807538655528101379879940575772334773933102136334644668256594244430217791047",
      "exact": false,
      "certified_lower": "10733307051296491328011597453281049892335558275698388353064866635295715984954096569409277503855969241496094584463575406478241/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "2683326762824122832002899363320262473083889568924597088266216658823928996238524142352319375963992310374023646115893851619561/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.118304317665228386691710807538655528101379879940575772334773933102136334644668256594244430217791047223283592385968546934475402241179395220935894",
      "independent_difference": "9.1288076e-151"
    },
    {
      "g": "E@^o",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 6*x^2 + 2*x - 1",
      "written": "7.937221616936039444767967084929373030558664019256204606045984859020947670580602617669582651811894493",
      "exact": false,
      "certified_lower": "20987790901946228046407328016122993338506276531935005459368595210833318362190476472574703084976012493495937353856844129228275/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "20987790901946228046407328016122993338506276531935005459368595210833318362190476472574703084976012493495937353856844129228279/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.937221616936039444767967084929373030558664019256204606045984859020947670580602617669582651811894493413696506547211928541935373720886230918124392",
      "independent_difference": "1.9128469e-150"
    },
    {
      "g": "E@^w",
      "characteristic_polynomial": "x^6 - 9*x^4 - 10*x^3 + 3*x^2 + 4*x - 1",
      "written": "8.289211745690182279716713083384735694668911097633051140776027498347070226897139745447987010093198975",
      "exact": false,
      "certified_lower": "10959265802109462486924010348546542296026647807200418810881285313373670514544404809938948602910473742579834662228423941741001/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "2739816450527365621731002587136635574006661951800104702720321328343417628636101202484737150727618435644958665557105985435251/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.289211745690182279716713083384735694668911097633051140776027498347070226897139745447987010093198974904999189648789199639002315164732089608941928",
      "independent_difference": "5.7086801e-153"
    },
    {
      "g": "E@`w",
      "characteristic_polynomial": "x^6 - 6*x^4 - 2*x^3 + 6*x^2 + 2*x - 1",
      "written": "7.342490027239563359100802631051322164323697912576091254810242135124860587773647822194172635512741266",
      "exact": false,
      "certified_lower": "9707593716579176762184376207030913657532325702585950879746598928422041306886094892157707042183570592279602684116007778249285/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "19415187433158353524368752414061827315064651405171901759493197856844082613772189784315414084367141184559205368232015556498573/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.342490027239563359100802631051322164323697912576091254810242135124860587773647822194172635512741266475338043376416577191993060265951744879976161",
      "independent_difference": "3.2819706e-151"
    },
    {
      "g": "E@ow",
      "characteristic_polynomial": "x^6 - 6*x^4 - 2*x^3 + 7*x^2 + 4*x",
      "written": "7.191688434954841334000599958088537435893160330236880994896402687062374139651169785852916278911606541",
      "exact": false,
      "certified_lower": "4754108565606699384155933787217156255108610943089661868375427405328988511392755249456860880417384826944874059549037326165341/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "19016434262426797536623735148868625020434443772358647473501709621315954045571020997827443521669539307779496238196149304661367/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.191688434954841334000599958088537435893160330236880994896402687062374139651169785852916278911606541455492014744457885260424748024125454207381022",
      "independent_difference": "3.1509949e-151"
    },
    {
      "g": "E@vw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3 + 6*x^2 + 4*x",
      "written": "8.106541021659371939086743316418276507203987495204182847276834605987974869953367425995714730899784461",
      "exact": false,
      "certified_lower": "10717754657221855536355141882278859729441028977555238559410801235194414258762978953850615267019635285753247556514292849002575/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "10717754657221855536355141882278859729441028977555238559410801235194414258762978953850615267019635285753247556514292849002577/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.106541021659371939086743316418276507203987495204182847276834605987974869953367425995714730899784461129923738494613268572198695820993897640931374",
      "independent_difference": "9.6749712e-151"
    },
    {
      "g": "E@~o",
      "characteristic_polynomial": "x^6 - 9*x^4 - 4*x^3 + 4*x^2",
      "written": "7.252396137054587226752999100157248773655723120526134908903242911301486037695092019788484787918732210",
      "exact": false,
      "certified_lower": "4794239754431276714373309625247840846906555493232857141854770637054323937816556420847541350582408059355553768397979880911009/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "9588479508862553428746619250495681693813110986465714283709541274108647875633112841695082701164816118711107536795959761822019/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.252396137054587226752999100157248773655723120526134908903242911301486037695092019788484787918732209687420192210306926937173478023570968171512317",
      "independent_difference": "1.5993832e-150"
    },
    {
      "g": "E@~w",
      "characteristic_polynomial": "x^6 - 10*x^4 - 12*x^3 + x^2 + 4*x",
      "written": "8.282672231310728269551879833168888276688194050170545981623850279558514012078022759328958604765507125",
      "exact": false,
      "certified_lower": "10950619832082407022769640110220215999297687768729339820394699526764732764918815342866841889657554005148630078193362766436947/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "10950619832082407022769640110220215999297687768729339820394699526764732764918815342866841889657554005148630078193362766436949/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.282672231310728269551879833168888276688194050170545981623850279558514012078022759328958604765507125285601927492466519879970145548946401285966026",
      "independent_difference": "4.0297273e-152"
    },
    {
      "g": "EAMw",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 6*x^2 + 2*x - 1",
      "written": "7.665495618935063797756322036287182121396164814876813815045212087700168706753341842320606804855516022",
      "exact": false,
      "certified_lower": "20269286530530099604412162937429885949350910489044667432641370978133841845602721895330002701823887906072935822324797716892773/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "20269286530530099604412162937429885949350910489044667432641370978133841845602721895330002701823887906072935822324797716892777/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.665495618935063797756322036287182121396164814876813815045212087700168706753341842320606804855516021780470204477393359739982634699742738566864219",
      "independent_difference": "4.9970844e-151"
    },
    {
      "g": "EA]o",
      "characteristic_polynomial": "x^6 - 7*x^4 - 2*x^3 + 8*x^2 + 2*x - 1",
      "written": "7.766202102101374486312813698521798407680704392514778399975193977189272808177114659749583307852257383",
      "exact": false,
      "certified_lower": "5133894254425489275543050518228242689947480692871400422535813448772732505650431799920471108512269691239655703650158327697359/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "20535577017701957102172202072912970759789922771485601690143253795090930022601727199681884434049078764958622814600633310789441/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.766202102101374486312813698521798407680704392514778399975193977189272808177114659749583307852257383381346815941593485921303926191790424874318784",
      "independent_difference": "1.8126618e-150"
    },
    {
      "g": "EBYW",
      "characteristic_polynomial": "x^6 - 7*x^4 + 4*x^2",
      "written": "6.633249580710799698229865473341373367854177091178707194117364292232969285218087693417686798256581302",
      "exact": false,
      "certified_lower": "8769898455608576020445081459710008556081803053223491964848085137851496555149920650086520444292808372694807777268708533225605/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "17539796911217152040890162919420017112163606106446983929696170275702993110299841300173040888585616745389615554537417066451213/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.63324958071079969822986547334137336785417709117870719411736429223296928521808769341768679825658130181402511569905491318455087956971509495955865",
      "independent_difference": "9.4550957e-151"
    },
    {
      "g": "EBYw",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 6*x^2",
      "written": "7.217425947927284760186394673654378480572877889801090344492974153105434015104977780607804884149202046",
      "exact": false,
      "certified_lower": "19084490008715798256581604094126478642952550457018657769708921750154234282849922837068236520949207309514259422257972880385259/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "9542245004357899128290802047063239321476275228509328884854460875077117141424961418534118260474603654757129711128986440192631/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.217425947927284760186394673654378480572877889801090344492974153105434015104977780607804884149202045934483802665525210144079785857060242201374149",
      "independent_difference": "3.1547549e-151"
    },
    {
      "g": "EBZw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3 + 4*x^2",
      "written": "7.362661287209954750951324775777573098056549906376278871133809559524887491648443547650162111134346972",
      "exact": false,
      "certified_lower": "19468524760364141695605995925088690844126109409440541247963198892375794079425785957540481887410341847268935654544837659541029/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "19468524760364141695605995925088690844126109409440541247963198892375794079425785957540481887410341847268935654544837659541031/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.362661287209954750951324775777573098056549906376278871133809559524887491648443547650162111134346972238028353126621399301291238459554946223693446",
      "independent_difference": "1.07963e-151"
    },
    {
      "g": "EB]w",
      "characteristic_polynomial": "x^6 - 9*x^4 - 10*x^3 + 4*x^2 + 6*x",
      "written": "8.252738179839737612464051373207287157554623241284084170960354821914988661088281495799106696274487338",
      "exact": false,
      "certified_lower": "5455521832646230616408764665230810431261099531642915047857628458762117000914451957609812063864162963770302788514840260643011/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "1363880458161557654102191166307702607815274882910728761964407114690529250228612989402453015966040740942575697128710065160753/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "independent_180_digits": "8.252738179839737612464051373207287157554623241284084170960354821914988661088281495799106696274487338181362264877652708018238854466943266354404496",
      "independent_difference": "1.6252073e-150"
    },
    {
      "g": "EB^w",
      "characteristic_polynomial": "x^6 - 10*x^4 - 14*x^3 - x^2 + 4*x",
      "written": "8.302408025444418287473224762898412568297311819369112714278824318014405427302692234099350984896002587",
      "exact": false,
      "certified_lower": "686044547569011858907138005159416406561613941148821859221240114295448636873021645160063499457961960122884663491782995295799/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "certified_upper": "5488356380552094871257104041275331252492911529190574873769920914363589094984173161280507995663695680983077307934263962366393/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.302408025444418287473224762898412568297311819369112714278824318014405427302692234099350984896002587269894232344904302068576412972679334298869876",
      "independent_difference": "1.2407972e-150"
    },
    {
      "g": "EBhw",
      "characteristic_polynomial": "x^6 - 8*x^4 - 6*x^3 + 8*x^2 + 6*x",
      "written": "8.045782680109072186491267601562466519328767905059070149638106215470524692600965253960111357678792824",
      "exact": false,
      "certified_lower": "5318712664275305550250641908654194967438642571491992457546251312866564611484455227675527345478888272289681380872743401383641/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "2659356332137652775125320954327097483719321285745996228773125656433282305742227613837763672739444136144840690436371700691821/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.045782680109072186491267601562466519328767905059070149638106215470524692600965253960111357678792824138134177475608191604608612959587600922563406",
      "independent_difference": "2.0678183e-150"
    },
    {
      "g": "EBjW",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 11*x^2 + 4*x - 4",
      "written": "8.685846165554340416109718021962283266803071289977970214792795219557662739625068406045771876985518948",
      "exact": false,
      "certified_lower": "11483660903467181046828231552139373728060883791113858646119463338942913310770226330559869100889711474904521916516296460869461/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11483660903467181046828231552139373728060883791113858646119463338942913310770226330559869100889711474904521916516296460869463/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.685846165554340416109718021962283266803071289977970214792795219557662739625068406045771876985518948337602026219906968636588686346756394542046821",
      "independent_difference": "6.0933774e-151"
    },
    {
      "g": "EBjw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3 + 9*x^2 + 8*x - 1",
      "written": "8.670264050430885468402107495056076867304826990281515189985593048870382652028166563057944032014422476",
      "exact": false,
      "certified_lower": "2865764900762426914403927097489533148949064456654850117219701239340472039941329798044311558244271492136286188839494913342969/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "5731529801524853828807854194979066297898128913309700234439402478680944079882659596088623116488542984272572377678989826685939/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.670264050430885468402107495056076867304826990281515189985593048870382652028166563057944032014422475544648425304571710154962831809574564375618941",
      "independent_difference": "6.7227916e-151"
    },
    {
      "g": "EBnW",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3 + 9*x^2 + 6*x - 4",
      "written": "8.944271909999158785636694674925104941762473438446102897083588981642083702551219597657657633515129100",
      "exact": false,
      "certified_lower": "739083041573487641968322057064693960645116160777588291983371734071515469343607972466803387374774487413985829338879249975407/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "certified_upper": "5912664332587901135746576456517551685160929286220706335866973872572123754748863779734427098998195899311886634711033999803257/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.94427190999915878563669467492510494176247343844610289708358898164208370255121959765765763351512909987803270460309513401701307089778829545434544",
      "independent_difference": "9.4926129e-151"
    },
    {
      "g": "EBn_",
      "characteristic_polynomial": "x^6 - 8*x^4 - 2*x^3 + 10*x^2 - 2*x - 1",
      "written": "8.138805226879111362292207869575203895224268732804641555922402585705256105953877243733115221389054374",
      "exact": false,
      "certified_lower": "10760411548099420016527234252359795552919182977215946374220210831861111634820331309555543180708749111252416927871660752594033/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "2690102887024855004131808563089948888229795744303986593555052707965277908705082827388885795177187277813104231967915188148509/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.138805226879111362292207869575203895224268732804641555922402585705256105953877243733115221389054373916545323161920032712691767562839281008806443",
      "independent_difference": "5.526203e-151"
    },
    {
      "g": "EBnw",
      "characteristic_polynomial": "x^6 - 10*x^4 - 12*x^3 + 4*x^2 + 6*x - 1",
      "written": "8.739132120594849621507374998490704448889330471861664128739367324438100982256889153116876289267583598",
      "exact": false,
      "certified_lower": "722131931295725995839468985337304346892569372070655014875767009876829038342777109802393874262447301527977394429019530693645/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "certified_upper": "5777055450365807966715751882698434775140554976565240119006136079014632306742216878419150994099578412223819155432156245549161/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.739132120594849621507374998490704448889330471861664128739367324438100982256889153116876289267583597693492733042230124886217369066766524595244099",
      "independent_difference": "8.4707785e-151"
    },
    {
      "g": "EB~o",
      "characteristic_polynomial": "x^6 - 10*x^4 - 8*x^3 + 4*x^2",
      "written": "7.620386170314852043228323625548326198059017885243619916429023858032260593433478290346689734936195818",
      "exact": false,
      "certified_lower": "20150007049493187507107762454746669052067347179729152321502952700680756485383051999611470492526870448210170483192137598601581/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "1259375440593324219194235153421666815754209198733072020093934543792547280336440749975716905782929403013135655199508599912599/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "independent_180_digits": "7.62038617031485204322832362554832619805901788524361991642902385803226059343347829034668973493619581777578503253301029907026532495260600589585259",
      "independent_difference": "9.8383042e-151"
    },
    {
      "g": "EB~w",
      "characteristic_polynomial": "x^6 - 11*x^4 - 16*x^3 - 2*x^2 + 4*x",
      "written": "8.584803170449242064607406715328122023224441024878576102185271672630531757157080873495281709748105697",
      "exact": false,
      "certified_lower": "11350070753429842771221683824576920807607414504470690494167044585009967742521983977817514563960778482798165825375533553898033/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11350070753429842771221683824576920807607414504470690494167044585009967742521983977817514563960778482798165825375533553898035/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.584803170449242064607406715328122023224441024878576102185271672630531757157080873495281709748105696872956815246587592641975635507109630985203799",
      "independent_difference": "9.7124357e-151"
    },
    {
      "g": "ECXw",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 7*x^2 + 4*x",
      "written": "7.523338239663346370427019854163306575741281777600115302451214085271832036701569405823716322919619631",
      "exact": false,
      "certified_lower": "19893390594229507729428993928445377412753688094444212228670124666676286281237290454459360240043268866576561010620973168490885/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "2486673824278688466178624241055672176594211011805526528583765583334535785154661306807420030005408608322070126327621646061361/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "7.523338239663346370427019854163306575741281777600115302451214085271832036701569405823716322919619631122759398745389715624760087027252032944387412",
      "independent_difference": "6.048298e-151"
    },
    {
      "g": "EC\\w",
      "characteristic_polynomial": "x^6 - 8*x^4 - 6*x^3 + 5*x^2 + 4*x",
      "written": "7.738308315348773670383805702997256015893208880872407551781541807860154608643026642461734201597656333",
      "exact": false,
      "certified_lower": "20461819600802080563003216112866678326002220947877809474714120222164912659128599562146618309268782039578406125137331274379047/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "10230909800401040281501608056433339163001110473938904737357060111082456329564299781073309154634391019789203062568665637189525/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.738308315348773670383805702997256015893208880872407551781541807860154608643026642461734201597656332551876045675357780863961649423778793326369943",
      "independent_difference": "2.0782744e-151"
    },
    {
      "g": "EENg",
      "characteristic_polynomial": "x^6 - 8*x^4 - 2*x^3 + 7*x^2",
      "written": "7.299261078610975623914039113910742892221665931773083591908072385707430757083736374533830672717314220",
      "exact": false,
      "certified_lower": "2412610051887066713623734353751978269622774513579742593703738244734392071414570860561319067431513254958361193856617705217661/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "19300880415096533708989874830015826156982196108637940749629905957875136571316566884490552539452106039666889550852941641741291/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.299261078610975623914039113910742892221665931773083591908072385707430757083736374533830672717314219834058100058143955519528424623618467999730039",
      "independent_difference": "8.2877064e-151"
    },
    {
      "g": "EFz_",
      "characteristic_polynomial": "x^6 - 9*x^4",
      "written": "6",
      "exact": true,
      "certified_lower": "6",
      "certified_upper": "6",
      "independent_180_digits": "6.0",
      "independent_difference": "1.2219745e-150"
    },
    {
      "g": "EFzw",
      "characteristic_polynomial": "x^6 - 11*x^4 - 12*x^3",
      "written": "7.532870967705409570985027514093138426965233756567403282873786952836213690429009296991866816226311875",
      "exact": false,
      "certified_lower": "19918597261313747964394921819666343026137181677856593614129403371656130277661968666541351204621326436390033847204564885795401/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "19918597261313747964394921819666343026137181677856593614129403371656130277661968666541351204621326436390033847204564885795403/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.532870967705409570985027514093138426965233756567403282873786952836213690429009296991866816226311874884583747723038292104245681913965650855230816",
      "independent_difference": "1.0021001e-150"
    },
    {
      "g": "EF~w",
      "characteristic_polynomial": "x^6 - 12*x^4 - 20*x^3 - 9*x^2",
      "written": "8.324555320336758663997787088865437067439110278650433653715009705585188877278476442688496216758600590",
      "exact": false,
      "certified_lower": "5502996982033234263405279957970656465755091409802418822112741640244781259280654950302925361229207642665805902676109012086609/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "11005993964066468526810559915941312931510182819604837644225483280489562518561309900605850722458415285331611805352218024173219/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.324555320336758663997787088865437067439110278650433653715009705585188877278476442688496216758600590374694568305680110297097712060907760029381039",
      "independent_difference": "1.4768313e-151"
    },
    {
      "g": "EGNW",
      "characteristic_polynomial": "x^6 - 7*x^4 - 2*x^3 + 7*x^2 - 1",
      "written": "7.664074803029532747057158884653540033462970954922327949207832494891403889989321265058799135569028912",
      "exact": false,
      "certified_lower": "10132764787595242956100667701387022769074550940913528360580171800994973689994906527839489736593829668651533693754825504343443/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "10132764787595242956100667701387022769074550940913528360580171800994973689994906527839489736593829668651533693754825504343445/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.664074803029532747057158884653540033462970954922327949207832494891403889989321265058799135569028911592955500688922169189096260420168105436545618",
      "independent_difference": "6.4364457e-151"
    },
    {
      "g": "EGcw",
      "characteristic_polynomial": "x^6 - 6*x^4 - 2*x^3 + 7*x^2 + 2*x - 1",
      "written": "7.415980409830338533606879652048765431723125679222008151999025725997866846644997402768184860464336890",
      "exact": false,
      "certified_lower": "19609512457399597135297888320325818664795254266222464069511548790864174538451695571176239666155401617083571144033937774880973/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "19609512457399597135297888320325818664795254266222464069511548790864174538451695571176239666155401617083571144033937774880977/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.415980409830338533606879652048765431723125679222008151999025725997866846644997402768184860464336890302996874716796381027891425174875707012943192",
      "independent_difference": "6.7602812e-151"
    },
    {
      "g": "EGdo",
      "characteristic_polynomial": "x^6 - 6*x^4 - 2*x^3 + 8*x^2 + 4*x - 1",
      "written": "7.549245799008978526396499275838955109331020673056416374699026785931968209056785323729425641799010412",
      "exact": false,
      "certified_lower": "19961895981198378625074916362706774200883851840229117934243115060030604964980763434173961293556948870670273856779705527718929/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "4990473995299594656268729090676693550220962960057279483560778765007651241245190858543490323389237217667568464194926381929733/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "7.549245799008978526396499275838955109331020673056416374699026785931968209056785323729425641799010411931442581898502780495216784618088037368005794",
      "independent_difference": "1.320891e-152"
    },
    {
      "g": "EGdw",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 9*x^2 + 6*x - 1",
      "written": "7.996110202208088649296548044183282356109804636639527218028460526113526505690393759877014291267753958",
      "exact": false,
      "certified_lower": "165183636758570583245331260999102909315195948949477136937216344637476820634924509563824673583020801105868222118573393073475/20657999024695268717247353376024094994637646342633788102645274852325180976134729557037162826241102651487225375781979947008",
      "certified_upper": "5285876376274258663850600351971293098086270366383268381990923028399258260317584306042389554656665635387783107794348578351201/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "7.996110202208088649296548044183282356109804636639527218028460526113526505690393759877014291267753957787944350751109192860588513909092764337424101",
      "independent_difference": "3.5062391e-151"
    },
    {
      "g": "EHQW",
      "characteristic_polynomial": "x^6 - 6*x^4 + 8*x^2 - 2*x - 1",
      "written": "7.465883060453301293440401790148364171688130886385878141588871469089663331556219585299366100151376852",
      "exact": false,
      "certified_lower": "4935366559402663233792955820536375523843695989702623374467503239681720886354962716033939524978016810131736706062538878278093/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "2467683279701331616896477910268187761921847994851311687233751619840860443177481358016969762489008405065868353031269439139047/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "7.465883060453301293440401790148364171688130886385878141588871469089663331556219585299366100151376851797389000802296834950622147918789508437353105",
      "independent_difference": "1.1255395e-150"
    },
    {
      "g": "EHUW",
      "characteristic_polynomial": "x^6 - 7*x^4 - 2*x^3 + 8*x^2",
      "written": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297",
      "exact": false,
      "certified_lower": "2354385745068976216744233369380880985256942469203218952680339256265264580495102567880061357317662057181191610043871454881063/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "9417542980275904866976933477523523941027769876812875810721357025061058321980410271520245429270648228724766440175485819524253/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684296684544040939214141615301420840415868363079548",
      "independent_difference": "2.492845e-151"
    },
    {
      "g": "EHuw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 6*x^3 + 8*x^2 + 2*x - 1",
      "written": "8.354510433691246187788401585359558778391570287434694899176055214776519327053007578279328703803712386",
      "exact": false,
      "certified_lower": "5522798988512006726948437226905429015715646073800335697306087519829128123676637374040540016009163109936272480186180290999231/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "11045597977024013453896874453810858031431292147600671394612175039658256247353274748081080032018326219872544960372360581998465/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.354510433691246187788401585359558778391570287434694899176055214776519327053007578279328703803712385967984977607734351275622456133141711512872175",
      "independent_difference": "1.6916778e-150"
    },
    {
      "g": "EI]w",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3 + 5*x^2 + 4*x",
      "written": "8.058990926761212908838115834846649501974798530504108716962454683345877715253104825203913712418283488",
      "exact": false,
      "certified_lower": "665930506820244624143165303871338725842710912600819773103051026269252218456672064847101443564544462819906467828634558194819/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "certified_upper": "5327444054561956993145322430970709806741687300806558184824408210154017747653376518776811548516355702559251742629076465558553/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.058990926761212908838115834846649501974798530504108716962454683345877715253104825203913712418283488032622141931001493452188392058431691274279212",
      "independent_difference": "2.0805678e-150"
    },
    {
      "g": "EI_w",
      "characteristic_polynomial": "x^6 - 6*x^4 + 6*x^2",
      "written": "6.602720495543138223533364444482982175157738827615102828121493293368231195114831269210201956142121332",
      "exact": false,
      "certified_lower": "17459071175329998179958838228724675861911894573287700633031294517837353083596281774695690319219646731591016800495654436798607/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "8729535587664999089979419114362337930955947286643850316515647258918676541798140887347845159609823365795508400247827218399305/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "6.602720495543138223533364444482982175157738827615102828121493293368231195114831269210201956142121331853060227793778350268422748625534071554451",
      "independent_difference": "1.71659e-150"
    },
    {
      "g": "EIe_",
      "characteristic_polynomial": "x^6 - 6*x^4 + 9*x^2 - 4",
      "written": "8",
      "exact": true,
      "certified_lower": "8",
      "certified_upper": "8",
      "independent_180_digits": "8.0",
      "independent_difference": "0.0"
    },
    {
      "g": "EImo",
      "characteristic_polynomial": "x^6 - 8*x^4 + 4*x^2",
      "written": "6.928203230275509174109785366023489467771221015241522512223227917807732067635200148324584747028994303",
      "exact": false,
      "certified_lower": "4579930098365506519763379694046638588764471352636645496722460308884364771845629576726767638933448066574434529158191912137673/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "18319720393462026079053518776186554355057885410546581986889841235537459087382518306907070555733792266297738116632767648550695/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "6.928203230275509174109785366023489467771221015241522512223227917807732067635200148324584747028994302702504565661626812119879780379995809915246622",
      "independent_difference": "2.6841855e-151"
    },
    {
      "g": "EImw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 6*x^3 + 6*x^2 + 4*x",
      "written": "8.046818857603472256363449670096762058722726648012348385626430368601773044836061219778305751385064794",
      "exact": false,
      "certified_lower": "5319397635592704840832480023527728432692303062251792910588718499058636302235480452938400259489842122921326362531761096748007/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "664924704449088105104060002940966054086537882781474113823589812382329537779435056617300032436230265365165795316470137093501/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "independent_180_digits": "8.046818857603472256363449670096762058722726648012348385626430368601773044836061219778305751385064794228576093146156278874470202730739162721513354",
      "independent_difference": "4.9597604e-151"
    },
    {
      "g": "EIno",
      "characteristic_polynomial": "x^6 - 9*x^4 - 4*x^3 + 7*x^2",
      "written": "7.588281363810870083867019888914995428791358802425634930417824258987032738163709843802822516519548946",
      "exact": false,
      "certified_lower": "2508139344203491804208711614374684989491642370062034679911703603865267489872524062679322278114322295246971214112280719462925/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "20065114753627934433669692914997479915933138960496277439293628830922139918980192501434578224914578361975769712898245755703403/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.58828136381087008386701988891499542879135880242563493041782425898703273816370984380282251651954894589882685489251610713344311876589010437140604",
      "independent_difference": "9.1859575e-151"
    },
    {
      "g": "EInw",
      "characteristic_polynomial": "x^6 - 10*x^4 - 10*x^3 + 5*x^2 + 4*x",
      "written": "8.367008185346933250462298986186914545934939727716523965011213296334176546664038375918551229919433391",
      "exact": false,
      "certified_lower": "1382765175460114217901340705665966665060796363911392331438231338827498140841787045327293905743098686474881734221325659849575/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "5531060701840456871605362822663866660243185455645569325752925355309992563367148181309175622972394745899526936885302639398301/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.367008185346933250462298986186914545934939727716523965011213296334176546664038375918551229919433391344121713974773325327874500703584312347154588",
      "independent_difference": "2.1353863e-151"
    },
    {
      "g": "EJYW",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 7*x^2 + 4*x",
      "written": "7.790213031855061353869725602536475764102620319110589315638878498097052329235981808662338895609605228",
      "exact": false,
      "certified_lower": "5149766822855367352942156616037883695163028796496350533051173343766809347708164292453244534764536723473576176554638719087917/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "20599067291421469411768626464151534780652115185985402132204693375067237390832657169812978139058146893894304706218554876351671/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "independent_180_digits": "7.790213031855061353869725602536475764102620319110589315638878498097052329235981808662338895609605227871989362281665437033657595990823380136657752",
      "independent_difference": "3.4169843e-151"
    },
    {
      "g": "EJ]w",
      "characteristic_polynomial": "x^6 - 10*x^4 - 14*x^3 + 8*x + 3",
      "written": "8.887495848379203243067883913332089078513561870548240015203006509128877100982839912866213975640921379",
      "exact": false,
      "certified_lower": "2937566089084813286643804286690341884469013631663908041005342815233025869374554214691114735579638365544835945509985582480295/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "5875132178169626573287608573380683768938027263327816082010685630466051738749108429382229471159276731089671891019971164960591/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.887495848379203243067883913332089078513561870548240015203006509128877100982839912866213975640921379173582892270891242526219374679405860905034464",
      "independent_difference": "3.9376676e-151"
    },
    {
      "g": "EJ^w",
      "characteristic_polynomial": "x^6 - 11*x^4 - 20*x^3 - 9*x^2 + 4*x + 3",
      "written": "9.068140393445463126483212946635742070269240186529834309262143445342071325533196542867782417849343863",
      "exact": false,
      "certified_lower": "11989096665830153446610428102527060245053155545952078483881563435483399742749745758390855111585865244523459269029099966307913/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11989096665830153446610428102527060245053155545952078483881563435483399742749745758390855111585865244523459269029099966307915/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "9.068140393445463126483212946635742070269240186529834309262143445342071325533196542867782417849343863413302951671300750560015838817653494095143667",
      "independent_difference": "1.8533154e-150"
    },
    {
      "g": "EJeg",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 12*x^2 + 8*x",
      "written": "8.292528739883944684658270131431140891024954258374657402464973434885330990741814151863067442169780297",
      "exact": false,
      "certified_lower": "10963651239729920959274013060993364051787971614955051226837674290314165109587430309204214340435192714073511235496615244257547/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "10963651239729920959274013060993364051787971614955051226837674290314165109587430309204214340435192714073511235496615244257549/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.292528739883944684658270131431140891024954258374657402464973434885330990741814151863067442169780296821279975292638000109789562301699379382911554",
      "independent_difference": "5.2187984e-151"
    },
    {
      "g": "EJmw",
      "characteristic_polynomial": "x^6 - 10*x^4 - 12*x^3 + 5*x^2 + 12*x + 4",
      "written": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297",
      "exact": false,
      "certified_lower": "3015441713859224815696148677413652025085347152167500171964988051539670371731413913705250567757377342028782822068894813185319/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "12061766855436899262784594709654608100341388608670000687859952206158681486925655654821002271029509368115131288275579252741277/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684296684544040939214141615301420840415868363079548",
      "independent_difference": "2.492845e-151"
    },
    {
      "g": "EJnW",
      "characteristic_polynomial": "x^6 - 10*x^4 - 10*x^3 + 8*x^2 + 8*x",
      "written": "8.761374662616505798953755051538595622962943212525710753837704533664513123196992781931969406533695082",
      "exact": false,
      "certified_lower": "5791759015530291705730491312866917576727155358359886535839806805649533387789117624881488882029125093204029170967375008298113/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "2895879507765145852865245656433458788363577679179943267919903402824766693894558812440744441014562546602014585483687504149057/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.761374662616505798953755051538595622962943212525710753837704533664513123196992781931969406533695082035712025459165853819713518929145172719438634",
      "independent_difference": "7.0372086e-152"
    },
    {
      "g": "EJnw",
      "characteristic_polynomial": "x^6 - 11*x^4 - 16*x^3 + x^2 + 10*x + 3",
      "written": "9.276221012466257272166994242136815173338707924309142017682447983631636716250095373369971638541906003",
      "exact": false,
      "certified_lower": "3066050634054171213529584475242665451834949177658158150144746066340694946280033887851739142583859217791821331454813874267723/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "6132101268108342427059168950485330903669898355316316300289492132681389892560067775703478285167718435583642662909627748535447/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "9.27622101246625727216699424213681517333870792430914201768244798363163671625009537336997163854190600296547381115548198184690046723491909596728662",
      "independent_difference": "1.5982322e-150"
    },
    {
      "g": "EJqw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 6*x^3 + 11*x^2 + 8*x - 1",
      "written": "8.704443792558203844348564992206169557842158505943969604542220567359967330513681795557752191807169533",
      "exact": false,
      "certified_lower": "11508249048139658300783957351550819951328339229225809976135729037700331585583436213165345775180932258079485003095446071182203/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11508249048139658300783957351550819951328339229225809976135729037700331585583436213165345775180932258079485003095446071182205/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.704443792558203844348564992206169557842158505943969604542220567359967330513681795557752191807169533129922474038290603530832188814579187481233447",
      "independent_difference": "9.1144621e-151"
    },
    {
      "g": "EJ~o",
      "characteristic_polynomial": "x^6 - 11*x^4 - 14*x^3 + 4*x",
      "written": "8.558904631537212739523092317723424403178210058006062496244089250360348058732807645131710872469640256",
      "exact": false,
      "certified_lower": "707239374123022236147838867679342668849446514494942427451680805637980327544247840167708662796730169865353912838320317087949/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "certified_upper": "5657914992984177889182710941434741350795572115959539419613446445103842620353982721341669302373841358922831302706562536703593/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.558904631537212739523092317723424403178210058006062496244089250360348058732807645131710872469640255683534432063573541608412713300258281475187038",
      "independent_difference": "6.2991823e-151"
    },
    {
      "g": "EJ~w",
      "characteristic_polynomial": "x^6 - 12*x^4 - 22*x^3 - 9*x^2 + 6*x + 4",
      "written": "9.493136493991434602315200217327588875522945350062650619343390089511901699328955007644280581127120015",
      "exact": false,
      "certified_lower": "12550989083787143597556396578285141472026162369636541178410997397965317732222862915771169101391438696423046934943292194016333/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "12550989083787143597556396578285141472026162369636541178410997397965317732222862915771169101391438696423046934943292194016335/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "9.493136493991434602315200217327588875522945350062650619343390089511901699328955007644280581127120014787270913519465605304214661590266430531937879",
      "independent_difference": "6.036798e-151"
    },
    {
      "g": "EKNG",
      "characteristic_polynomial": "x^6 - 7*x^4 + 7*x^2 - 1",
      "written": "7.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566291",
      "exact": false,
      "certified_lower": "20246436815135668966427211003524733533466763585559373166183665563523955021076712163308273122489256311215577129153506462045449/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "5061609203783917241606802750881183383366690896389843291545916390880988755269178040827068280622314077803894282288376615511363/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "7.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566290940055384923649188099699344223402948850576486",
      "independent_difference": "5.207836e-151"
    },
    {
      "g": "EK\\w",
      "characteristic_polynomial": "x^6 - 9*x^4 - 10*x^3 + 5*x^2 + 10*x + 3",
      "written": "8.707711570861656477116674698043461334364756173301840070083373106868484215602215603448230936081400335",
      "exact": false,
      "certified_lower": "11512569416844019571029277733385195229035332436238153616980382649385857916033817003675473172955521699173437344156943920900077/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11512569416844019571029277733385195229035332436238153616980382649385857916033817003675473172955521699173437344156943920900079/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.707711570861656477116674698043461334364756173301840070083373106868484215602215603448230936081400334581360950659171682362136220164455877414775075",
      "independent_difference": "7.7828851e-151"
    },
    {
      "g": "EK]w",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3 + 10*x^2 + 12*x + 3",
      "written": "8.857845879539719904560491040046454396527738352950486278443571922436654516035091859988808189129889247",
      "exact": false,
      "certified_lower": "11711063778587682463992725295707443435896938522264892328345840751547775295700588995214107017011169610919640134792475907078969/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "2927765944646920615998181323926860858974234630566223082086460187886943823925147248803526754252792402729910033698118976769743/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.85784587953971990456049104004645439652773835295048627844357192243665451603509185998880818912988924703247310864488213850433783448546743198062982",
      "independent_difference": "5.2406671e-151"
    },
    {
      "g": "EK^w",
      "characteristic_polynomial": "x^6 - 10*x^4 - 12*x^3 + 7*x^2 + 14*x + 4",
      "written": "9.234333538695950085007351467523637631750705453965059451783156359499421538367025967587646511778901190",
      "exact": false,
      "certified_lower": "6104411303554935882333373769400203110149764590264479457153437545164970930768509146886489378172958105918288129887169504447797/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "12208822607109871764666747538800406220299529180528958914306875090329941861537018293772978756345916211836576259774339008895597/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "9.234333538695950085007351467523637631750705453965059451783156359499421538367025967587646511778901189610609875488353966590033437698858474832878288",
      "independent_difference": "2.9472995e-150"
    },
    {
      "g": "EK`w",
      "characteristic_polynomial": "x^6 - 7*x^4 - 2*x^3 + 8*x^2 + 4*x",
      "written": "7.535762184188808718471296330939752238636840905964136670315087039861977668057514493128118235045419170",
      "exact": false,
      "certified_lower": "19926242284967411000983654056600568954528214990374963250747525584466665186916688340217318396959221204719815491947500599160249/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "4981560571241852750245913514150142238632053747593740812686881396116666296729172085054329599239805301179953872986875149790063/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "7.535762184188808718471296330939752238636840905964136670315087039861977668057514493128118235045419169729168644444446266963980788909451828206864613",
      "independent_difference": "1.35553e-150"
    },
    {
      "g": "EK~o",
      "characteristic_polynomial": "x^6 - 10*x^4 - 8*x^3 + 9*x^2 + 8*x",
      "written": "8.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122",
      "exact": false,
      "certified_lower": "11561290663908433528846436893874482509617214116184275957701652894851605724188648472793924167910063456190236171419003067089631/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "361290333247138547776451152933577578425537941130758623678176652964112678880895264774810130247189483005944880356843845846551/41315998049390537434494706752048189989275292685267576205290549704650361952269459114074325652482205302974450751563959894016",
      "independent_180_digits": "8.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122419557476945650837869934822615203403401618532",
      "independent_difference": "2.2934143e-150"
    },
    {
      "g": "EK~w",
      "characteristic_polynomial": "x^6 - 11*x^4 - 16*x^3 + 3*x^2 + 16*x + 7",
      "written": "9.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566291",
      "exact": false,
      "certified_lower": "12767442282728828879021266733893450926047000524636811460230427962859600675483601464954893403003489294998153412676846664239749/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "6383721141364414439510633366946725463023500262318405730115213981429800337741800732477446701501744647499076706338423332119875/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "9.656854249492380195206754896838792314278687501507792292706718951962929913848428155401550137310566290940055384923649188099699344223402948850576486",
      "independent_difference": "2.3537454e-150"
    },
    {
      "g": "ELpw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 6*x^3 + 11*x^2 + 4*x - 4",
      "written": "8.957679683723196469180846030462219229876300364763588355076722450660040818668371691885174680674497794",
      "exact": false,
      "certified_lower": "2960763810718182652955409092482567617925454094120219553122895623815114363805233247574563522314637148868619212376720156525609/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "11843055242872730611821636369930270471701816376480878212491582495260457455220932990298254089258548595474476849506880626102439/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.957679683723196469180846030462219229876300364763588355076722450660040818668371691885174680674497793894330736559545184530674473932349290773129924",
      "independent_difference": "3.5897538e-152"
    },
    {
      "g": "ELrw",
      "characteristic_polynomial": "x^6 - 10*x^4 - 10*x^3 + 10*x^2 + 8*x - 5",
      "written": "9.371115440565935589212915486874335254813131680536391705407179625322962606190239851908547682966845020",
      "exact": false,
      "certified_lower": "12389663592417143732553370744857389682550181111163485739167343947949424730978495482296792155177985172692993032483721704011445/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "1548707949052142966569171343107173710318772638895435717395917993493678091372311935287099019397248146586624129060465213001431/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "independent_180_digits": "9.371115440565935589212915486874335254813131680536391705407179625322962606190239851908547682966845019576205554754775945258224266368569662410424288",
      "independent_difference": "4.6612086e-151"
    },
    {
      "g": "ELv_",
      "characteristic_polynomial": "x^6 - 9*x^4 - 4*x^3 + 12*x^2",
      "written": "8",
      "exact": true,
      "certified_lower": "8",
      "certified_upper": "8",
      "independent_180_digits": "8.0",
      "independent_difference": "2.4439491e-150"
    },
    {
      "g": "EL~o",
      "characteristic_polynomial": "x^6 - 11*x^4 - 12*x^3 + 5*x^2 + 4*x",
      "written": "8.663237301241977881970097591651014317600787295629976118492720710385104237287242176217299779758002187",
      "exact": false,
      "certified_lower": "11453769454064668861389554989299917080631027008740267649428780009231976797044105895985280317377080334748025364459331710581579/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11453769454064668861389554989299917080631027008740267649428780009231976797044105895985280317377080334748025364459331710581581/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.663237301241977881970097591651014317600787295629976118492720710385104237287242176217299779758002187040063211647606429715979620333105936099441937",
      "independent_difference": "2.2531617e-151"
    },
    {
      "g": "EL~w",
      "characteristic_polynomial": "x^6 - 12*x^4 - 20*x^3 - 4*x^2 + 8*x + 3",
      "written": "9.474121328551627543198229735454653111600656048068112031877802560055097191813384324490153379272557755",
      "exact": false,
      "certified_lower": "3131462226641026644866374866548006825700132033132560058518772833403107554312620786712531824178941342974501756171612241134713/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "12525848906564106579465499466192027302800528132530240234075091333612430217250483146850127296715765371898007024686448964538855/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "9.474121328551627543198229735454653111600656048068112031877802560055097191813384324490153379272557755302539368578077804846230176616337040532639678",
      "independent_difference": "2.5368039e-152"
    },
    {
      "g": "ENzw",
      "characteristic_polynomial": "x^6 - 12*x^4 - 18*x^3 - 3*x^2 + 4*x",
      "written": "8.858814602077679498235114893473357941217628001603362900070613546266982993360655737824941126813517542",
      "exact": false,
      "certified_lower": "5856172269109661059566223508811874820623252108638960820807482040627193863355237405196239701495951362581008207751368946254757/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "11712344538219322119132447017623749641246504217277921641614964081254387726710474810392479402991902725162016415502737892509517/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.858814602077679498235114893473357941217628001603362900070613546266982993360655737824941126813517542239060582319011102751162239120293203749391812",
      "independent_difference": "1.8401063e-150"
    },
    {
      "g": "EN~w",
      "characteristic_polynomial": "x^6 - 13*x^4 - 26*x^3 - 15*x^2 + 2*x + 3",
      "written": "9.607084991365190977216903789249965914517164530450806808595762597256895230005584465079200660115220155",
      "exact": false,
      "certified_lower": "12701641752434346834774603649931639294773939946754515506001444278082463179177209316415316787370463916664997899646410102494855/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "12701641752434346834774603649931639294773939946754515506001444278082463179177209316415316787370463916664997899646410102494857/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "9.607084991365190977216903789249965914517164530450806808595762597256895230005584465079200660115220154647027057538662984698652555655788123514610327",
      "independent_difference": "3.1645818e-151"
    },
    {
      "g": "EPTW",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 8*x^2 + 6*x",
      "written": "7.732396525018045010947988461973182812471801511545760923956833409722234152217432395652790061322564501",
      "exact": false,
      "certified_lower": "20446187503664621930463846899716547135115181525804592620569153387692329980611039513848736684955437813832315724248029583360821/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "2555773437958077741307980862464568391889397690725574077571144173461541247576379939231092085619429726729039465531003697920103/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "7.732396525018045010947988461973182812471801511545760923956833409722234152217432395652790061322564500560006487542834246166952394849351791920279539",
      "independent_difference": "1.7759667e-151"
    },
    {
      "g": "ER^W",
      "characteristic_polynomial": "x^6 - 10*x^4 - 10*x^3 + 6*x^2 + 6*x - 1",
      "written": "8.756632523518574745450033524416842167824236448466767125367357678789859778593661785616210345326052979",
      "exact": false,
      "certified_lower": "5788624196174770777581153772620888382204698650705725095167293763863678358444670665513183468449481704897042100957182681138579/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "11577248392349541555162307545241776764409397301411450190334587527727356716889341331026366936898963409794084201914365362277161/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.756632523518574745450033524416842167824236448466767125367357678789859778593661785616210345326052978933745946780543704103650675274153009810690537",
      "independent_difference": "1.8602345e-150"
    },
    {
      "g": "E]~o",
      "characteristic_polynomial": "x^6 - 12*x^4 - 16*x^3",
      "written": "8",
      "exact": true,
      "certified_lower": "8",
      "certified_upper": "8",
      "independent_180_digits": "8.0",
      "independent_difference": "1.2219745e-150"
    },
    {
      "g": "E]~w",
      "characteristic_polynomial": "x^6 - 13*x^4 - 24*x^3 - 12*x^2",
      "written": "8.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122",
      "exact": false,
      "certified_lower": "11561290663908433528846436893874482509617214116184275957701652894851605724188648472793924167910063456190236171419003067089631/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "361290333247138547776451152933577578425537941130758623678176652964112678880895264774810130247189483005944880356843845846551/41315998049390537434494706752048189989275292685267576205290549704650361952269459114074325652482205302974450751563959894016",
      "independent_180_digits": "8.744562646538028659850611468218929318220264457982792367699877470565900721457404627027125365596788122419557476945650837869934822615203403401618532",
      "independent_difference": "1.3725094e-150"
    },
    {
      "g": "E^~w",
      "characteristic_polynomial": "x^6 - 14*x^4 - 32*x^3 - 27*x^2 - 8*x",
      "written": "9.403124237432848686488217674621813264520420132621018885529272626668182758196876074289354302249869963",
      "exact": false,
      "certified_lower": "6215991402431239377846102954081592807993670962120520097605701111296818467932367081946029126358721439990569828589597488349751/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "12431982804862478755692205908163185615987341924241040195211402222593636935864734163892058252717442879981139657179194976699503/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "9.403124237432848686488217674621813264520420132621018885529272626668182758196876074289354302249869963170811832503797183262469744372514211233098836",
      "independent_difference": "1.1655613e-150"
    },
    {
      "g": "E_Nw",
      "characteristic_polynomial": "x^6 - 8*x^4 - 6*x^3 + 9*x^2 + 8*x",
      "written": "8.213373930418942300937140671668059228136271707449090014846760917362711189270989274955147776282623690",
      "exact": false,
      "certified_lower": "10858999721219331578927807829566494806563129756766412758609954280121232264563132762270389011828996194039252653526569717203787/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "10858999721219331578927807829566494806563129756766412758609954280121232264563132762270389011828996194039252653526569717203789/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.213373930418942300937140671668059228136271707449090014846760917362711189270989274955147776282623690473916795536700741855748791016790785086501582",
      "independent_difference": "5.8672845e-151"
    },
    {
      "g": "E_]o",
      "characteristic_polynomial": "x^6 - 7*x^4 + 9*x^2 - 4*x",
      "written": "7.564563854420212122516857986342222147547235306566398575893406308353486152439460940160291590543418702",
      "exact": false,
      "certified_lower": "20002400349037801564214356067102086813914417929241220405955966650914376461091769832736772409531819567179194871595211940481745/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "5000600087259450391053589016775521703478604482310305101488991662728594115272942458184193102382954891794798717898802985120437/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "7.564563854420212122516857986342222147547235306566398575893406308353486152439460940160291590543418702496211716616040160141596526302250862575112332",
      "independent_difference": "3.0423937e-150"
    },
    {
      "g": "E_]w",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 8*x^2",
      "written": "7.418550718873845678458263334247781867040053478730873310775911706109062107227028689458838668987775115",
      "exact": false,
      "certified_lower": "19616308929938980946798498780014432954417786193159518524530215513690000284839551379719154478435752174068774832072192947340965/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "2452038616242372618349812347501804119302223274144939815566276939211250035604943922464894309804469021758596854009024118417621/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "7.418550718873845678458263334247781867040053478730873310775911706109062107227028689458838668987775115102099265000843725353789638349841147616387876",
      "independent_difference": "2.4526808e-152"
    },
    {
      "g": "E`Lw",
      "characteristic_polynomial": "x^6 - 8*x^4 - 8*x^3 + 6*x^2 + 10*x + 3",
      "written": "8.426782210190877937441515962573110255546985758387040718781980295871188396833727559392869250275773756",
      "exact": false,
      "certified_lower": "1392643669435540778745377590954358398303715898753059990578209839243277688136791511991887241016424482956632134157392861098275/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "5570574677742163114981510363817433593214863595012239962312839356973110752547166047967548964065697931826528536629571444393101/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.426782210190877937441515962573110255546985758387040718781980295871188396833727559392869250275773756374833646001176733642078047949199697727276879",
      "independent_difference": "8.5138511e-151"
    },
    {
      "g": "E`NG",
      "characteristic_polynomial": "x^6 - 7*x^4 - 4*x^3 + 11*x^2 + 12*x + 3",
      "written": "8.292528739883944684658270131431140891024954258374657402464973434885330990741814151863067442169780297",
      "exact": false,
      "certified_lower": "10963651239729920959274013060993364051787971614955051226837674290314165109587430309204214340435192714073511235496615244257547/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "10963651239729920959274013060993364051787971614955051226837674290314165109587430309204214340435192714073511235496615244257549/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.292528739883944684658270131431140891024954258374657402464973434885330990741814151863067442169780296821279975292638000109789562301699379382911554",
      "independent_difference": "7.0009471e-151"
    },
    {
      "g": "E`NW",
      "characteristic_polynomial": "x^6 - 8*x^4 - 6*x^3 + 11*x^2 + 14*x + 4",
      "written": "8.698355190948984576147920653150570895697895170588746921672812701273068274726596613790680694577927923",
      "exact": false,
      "certified_lower": "11500199235268937680872176420701634078941958395416934707391067980832895784227840753028979584472603056651636904893345056661751/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11500199235268937680872176420701634078941958395416934707391067980832895784227840753028979584472603056651636904893345056661753/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.698355190948984576147920653150570895697895170588746921672812701273068274726596613790680694577927922976515521598661715996230820224718169341354566",
      "independent_difference": "1.2493999e-151"
    },
    {
      "g": "E`Nw",
      "characteristic_polynomial": "x^6 - 9*x^4 - 10*x^3 + 9*x^2 + 18*x + 7",
      "written": "9.203358263766308504928740720375662412400114174479743900804985469463782944844475863965579788572641874",
      "exact": false,
      "certified_lower": "6083934913177777368106158580173418704561974742133334504970890504600987529701117006054098282435946033835689559834841339302599/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "760491864147222171013269822521677338070246842766666813121361313075123441212639625756762285304493254229461194979355167412825/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "independent_180_digits": "9.203358263766308504928740720375662412400114174479743900804985469463782944844475863965579788572641873606095137141185500293358422962804909919950638",
      "independent_difference": "4.6497517e-151"
    },
    {
      "g": "E`]o",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 12*x^2 + 4*x - 5",
      "written": "8.818643672455629702997220862459284724425074936379497626878139369317389351185575786018775967872227308",
      "exact": false,
      "certified_lower": "2914808518155576018589307418220187748316166071977312798714030223598837754685229321163546956338301489441441902458034283127735/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "certified_upper": "11659234072622304074357229672880750993264664287909251194856120894395351018740917284654187825353205957765767609832137132510943/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.818643672455629702997220862459284724425074936379497626878139369317389351185575786018775967872227307647109081548359524377565166895202675827160223",
      "independent_difference": "5.6901059e-151"
    },
    {
      "g": "E`]w",
      "characteristic_polynomial": "x^6 - 9*x^4 - 8*x^3 + 8*x^2 + 8*x",
      "written": "8.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550",
      "exact": false,
      "certified_lower": "1400139010363736240920237365097465000473520843741869511268020529345921260579919318291992597814489772261577041363902608279663/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "certified_upper": "11201112082909889927361898920779720003788166749934956090144164234767370084639354546335940782515918178092616330911220866237305/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756454993901635230154756700850653544889414772717272",
      "independent_difference": "1.3583312e-150"
    },
    {
      "g": "EaMw",
      "characteristic_polynomial": "x^6 - 8*x^4 - 4*x^3 + 9*x^2 + 4*x - 1",
      "written": "8.182694489906029904975478778099991313301995815079856779410620038593184843719248132354145133606157821",
      "exact": false,
      "certified_lower": "10818438066678919368340621139940498084526070039152909584074841074913874584531179590223977595751430881849571120883216061123979/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "5409219033339459684170310569970249042263035019576454792037420537456937292265589795111988797875715440924785560441608030561991/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "independent_180_digits": "8.182694489906029904975478778099991313301995815079856779410620038593184843719248132354145133606157820977200043470804288291505239036452805162039651",
      "independent_difference": "7.1025743e-151"
    },
    {
      "g": "Ebnw",
      "characteristic_polynomial": "x^6 - 11*x^4 - 14*x^3 + 4*x^2 + 8*x",
      "written": "8.978577143620157525585873060909698482336131678965986231073132910341349868285232838686803378771021181",
      "exact": false,
      "certified_lower": "11870684024067612531432346479806697601942549258992111730590854980909151522951019848218817385873347074923990319617082312405433/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "11870684024067612531432346479806697601942549258992111730590854980909151522951019848218817385873347074923990319617082312405435/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "8.978577143620157525585873060909698482336131678965986231073132910341349868285232838686803378771021181239867181640797029689948031109895591516675944",
      "independent_difference": "1.192302e-150"
    },
    {
      "g": "Ejmw",
      "characteristic_polynomial": "x^6 - 11*x^4 - 12*x^3 + 3*x^2 + 4*x - 1",
      "written": "8.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145",
      "exact": false,
      "certified_lower": "5836084445843201615562977915604446890825368863016327742196202171812523333816145749539480192509733463139903201269305099276961/661055968790248598951915308032771039828404682964281219284648795274405791236311345825189210439715284847591212025023358304256",
      "certified_upper": "2918042222921600807781488957802223445412684431508163871098101085906261666908072874769740096254866731569951600634652549638481/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128",
      "independent_180_digits": "8.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145470027692461824594049849672111701474425288243",
      "independent_difference": "5.6588543e-151"
    },
    {
      "g": "Ek]w",
      "characteristic_polynomial": "x^6 - 10*x^4 - 8*x^3 + 9*x^2 + 4*x - 1",
      "written": "8.755422416913548648976315770728372961290390146882261791084206989648956280090617007302950962310014388",
      "exact": false,
      "certified_lower": "11575648495961291545324509129808255388633372329259081228692143797768164057580898040490574380052817406593418032839237907231917/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "723478030997580721582781820613015961789585770578692576793258987360510253598806127530660898753301087912088627052452369201995/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032",
      "independent_180_digits": "8.75542241691354864897631577072837296129039014688226179108420698964895628009061700730295096231001438801104744924147543615823147149690409068602493",
      "independent_difference": "2.1815405e-151"
    },
    {
      "g": "EoLW",
      "characteristic_polynomial": "x^6 - 7*x^4 - 2*x^3 + 11*x^2 + 2*x - 4",
      "written": "8.389762986525928263657805858015282898065057334380609371575904559128536166110804118691284157147071123",
      "exact": false,
      "certified_lower": "11092205797956933822143243181742577872190096524997178354107498819185486793622899185688535208919826093415167358891752786832677/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "certified_upper": "1386525724744616727767905397717822234023762065624647294263437352398185849202862398211066901114978261676895919861469098354085/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064",
      "independent_180_digits": "8.389762986525928263657805858015282898065057334380609371575904559128536166110804118691284157147071123349130064692064474704630070341083414732579308",
      "independent_difference": "6.27932e-151"
    },
    {
      "g": "Es\\w",
      "characteristic_polynomial": "x^6 - 10*x^4 - 6*x^3 + 3*x^2",
      "written": "7.435482234928008190257458925909355675319276537159085057594381136795997924564337448889409938510939521",
      "exact": false,
      "certified_lower": "19661079648932069132825148579217661320666420370789881264283891628104010455962675526549909897143103828537667254667420682165551/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024",
      "certified_upper": "9830539824466034566412574289608830660333210185394940632141945814052005227981337763274954948571551914268833627333710341082777/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
      "independent_180_digits": "7.435482234928008190257458925909355675319276537159085057594381136795997924564337448889409938510939520737376299475844086904301926757488729821966504",
      "independent_difference": "1.8617699e-151"
    },
    {
      "g": "E~~w",
      "characteristic_polynomial": "x^6 - 15*x^4 - 40*x^3 - 45*x^2 - 24*x - 5",
      "written": "10",
      "exact": true,
      "certified_lower": "10",
      "certified_upper": "10",
      "independent_180_digits": "10.0",
      "independent_difference": "1.2219745e-150"
    }
  ]
}