{
  "table": "T654",
  "stage": "build",
  "all_passed": true,
  "stored_checked": true,
  "skill_manifest": "agents/runs/20261101T154704Z-build-skills/manifest.json",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  ],
  "versions": {
    "sage": "10.9",
    "mpmath": "1.4.1",
    "numberdb": "0.1.10"
  },
  "companion_sha256": "9e223fc7bad94da3ff22771d6ba3d2f08a0671ef7181d668af185466f8097234",
  "controls": [
    "H=1+t: optimizer 1/2, C^3=27/4",
    "H=(1+t)^3: C=27/4",
    "independent factor optimizer on C_2: t=1/2, C=3/2^(2/3)"
  ],
  "measure": {
    "entries": 25,
    "longest": 140,
    "longest_at": "UT-3-2",
    "block_kb": 4.474609375
  },
  "min_relative_accuracy_bits": 404,
  "rows": [
    {
      "G": "UT-3-2",
      "C_100": "6.871884323462463213677308993801736853130104739273362639977557690022254072431079967572869717814911035",
      "optimizer": "0.62612457579962957232127891693350365635615684250471431810145781738077545890005551022431415268266655515632860942974902324375265492482517111947",
      "root_bracket": [
        "13244908417235442232553235466140531356509103383145532896074707138027826462404124056691922127890510148266944462446075355571695/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "827806776077215139534577216633783209781818961446595806004669196126739153900257753543245132993156884266684028902879709723231/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512"
      ],
      "relative_accuracy_bits": 408,
      "high_precision_accuracy_bits": 541,
      "independent_C_150": "6.87188432346246321367730899380173685313010473927336263997755769002225407243107996757286971781491103506324661134478670937237167374903333239624859801712",
      "L_at_k_1_to_4": [
        "3",
        "13",
        "126",
        "645"
      ]
    },
    {
      "G": "UT-4-2",
      "C_100": "48.09736567800296787307159818315776690357124287128719355162772937527354731768381148509422525722857290",
      "optimizer": "0.7027326005381363059458359443934744614562638931103451459627571163866824900242384376158338306049190305808033655161948533989672709628407683333",
      "root_bracket": [
        "14865458561575311028994141344087955758642070028474785350184922228628671951826580968163897484135979846521717555941221451628135/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "1858182320196913878624267668010994469830258753559348168773115278578583993978322621020487185516997480815214694492652681453517/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024"
      ],
      "relative_accuracy_bits": 407,
      "high_precision_accuracy_bits": 540,
      "independent_C_150": "48.097365678002967873071598183157766903571242871287193551627729375273547317683811485094225257228572901510847501114658230666471902662906839891688369061",
      "L_at_k_1_to_4": [
        "17",
        "569",
        "32867",
        "1237897"
      ]
    },
    {
      "G": "UT-5-2",
      "C_100": "648.0319552988921144630473918365032646538676017274491744874952891708787731783735113216041534758667945",
      "optimizer": "0.75364966010015271729772203540473563286660244991298958243542269528426659982136893340039841294968443491067869436439372010683157626473903904829",
      "root_bracket": [
        "7971273698975168311612941713325648646437231187335822598229693876042939201613686443074784898817748411122599219295067812415951/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "15942547397950336623225883426651297292874462374671645196459387752085878403227372886149569797635496822245198438590135624831903/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "648.031955298892114463047391836503264653867601727449174487495289170878773178373511321604153475866794485208685651266885406012169029254065789334938441271",
      "L_at_k_1_to_4": [
        "173",
        "103717",
        "65294789",
        "30435349393"
      ]
    },
    {
      "G": "UT-6-2",
      "C_100": "16807.67358853206913241971181814783032390479263520450380625350316854194642801626806709207255180976222",
      "optimizer": "0.78980902434491064473135634593228351954813617161793249546670518988587584664390391393958887069224646000090378946620237533085598499955884809008",
      "root_bracket": [
        "16707455031923390305745141611001182754633545525977321665197212988371427164829516973269414682146545410000374781194424734880853/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "8353727515961695152872570805500591377316772762988660832598606494185713582414758486634707341073272705000187390597212367440427/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "16807.6735885320691324197118181478303239047926352045038062535031685419464280162680670920725518097622157526557571464361911387665298637539181116640279057",
      "L_at_k_1_to_4": [
        "4099",
        "60769109",
        "961180137214",
        "12059265702805405"
      ]
    },
    {
      "G": "Heis-2-2",
      "C_100": "24.75178470343125824005484342628627315743717892516126638962910791017117561530235780471274608764635360",
      "optimizer": "0.58975451230145838427880174709607136245143517322836207238807934123504802415773551141859050956428422986962794822937564396942850675913957713535",
      "root_bracket": [
        "6237771847645778513646989769272198089545339074059767363508278716830937872342184554160177967901817412714260012648030045374825/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "12475543695291557027293979538544396179090678148119534727016557433661875744684369108320355935803634825428520025296060090749651/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 407,
      "high_precision_accuracy_bits": 540,
      "independent_C_150": "24.7517847034312582400548434262862731574371789251612663896291079101711756153023578047127460876463535956942115640631580729601917988834668274642122620391",
      "L_at_k_1_to_4": [
        "12",
        "238",
        "5130",
        "114426"
      ]
    },
    {
      "G": "Heis-3-2",
      "C_100": "88.83435156430603179379370069431973545261112160578216885726123402365329094844664556747257362667668639",
      "optimizer": "0.56942971775243539082572734452917674236580986905269433766126313583677930790431620856352356420275756072971695737565528544304245397460448233722",
      "root_bracket": [
        "12045597239257407945446596892951710040962459541560335182224745118483010157950087966726101629095077831599550017657659441541719/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "1505699654907175993180824611618963755120307442695041897778093139810376269743760995840762703636884728949943752207207430192715/2644223875160994395807661232131084159313618731857124877138595181097623164945245383300756841758861139390364848100093433217024"
      ],
      "relative_accuracy_bits": 407,
      "high_precision_accuracy_bits": 540,
      "independent_C_150": "88.8343515643060317937937006943197354526111216057821688572612340236532909484466455674725736266766863938737357225431946874976434721452546479630524078171",
      "L_at_k_1_to_4": [
        "23",
        "2197",
        "212618",
        "10819301"
      ]
    },
    {
      "G": "Heis-4-2",
      "C_100": "318.2817180850548733927628995101174932097180850243854031738762669696539881540476250925225533463168662",
      "optimizer": "0.55653178964026156813414431932752211266867535306615233492658085299488042822020056863911173573869507963933120258016209104881487248122964647491",
      "root_bracket": [
        "2943189290905711597852267883211873510279089798195396263904981906219457321434831822618409344010152615643135746038006664768295/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048",
        "11772757163622846391409071532847494041116359192781585055619927624877829285739327290473637376040610462572542984152026659073181/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "318.281718085054873392762899510117493209718085024385403173876266969653988154047625092522553346316866205744738895022472949877189637202429709150033921302",
      "L_at_k_1_to_4": [
        "102",
        "20064",
        "8938368",
        "2033054060"
      ]
    },
    {
      "G": "UT-3-3",
      "C_100": "21.47947576800258584470520840670338522092640204189410656550916828878690199491355410676860602812368151",
      "optimizer": "0.70227240204541812195824362099706849286161774230661974334985750580685321634174214560373037838280224801291486316164634153229744126020226965532",
      "root_bracket": [
        "7427861809420621413997386329205047874508758536284838602633805708956029488654064792966407826472351174429014005224095510882711/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "14855723618841242827994772658410095749017517072569677205267611417912058977308129585932815652944702348858028010448191021765423/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 407,
      "high_precision_accuracy_bits": 540,
      "independent_C_150": "21.4794757680025858447052084067033852209264020418941065655091682887869019949135541067686060281236815128947240210706643183878695550771734653489350138738",
      "L_at_k_1_to_4": [
        "7",
        "143",
        "3166",
        "45719"
      ]
    },
    {
      "G": "UT-4-3",
      "C_100": "474.2311848672908300633933139992002630631173885081988469938030938206680198787954140225394926323779812",
      "optimizer": "0.76610191788119698856228959867979543087466011057505821684976359496566516345313303833669474528096890882478890714023363965951668987278120656243",
      "root_bracket": [
        "8102979928272354424523527565906422029839405072555523459043255937347055414876777591568393679497038633148078858799234756039667/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "16205959856544708849047055131812844059678810145111046918086511874694110829753555183136787358994077266296157717598469512079335/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "474.231184867290830063393313999200263063117388508198846993803093820668019878795414022539492632377981183953941713357756735556427888279890560955920832465",
      "L_at_k_1_to_4": [
        "131",
        "56829",
        "26058305",
        "9001692513"
      ]
    },
    {
      "G": "UT-5-3",
      "C_100": "29653.78162587403270601056799020657484968312054007333523236436463807257096445689235579631359093120193",
      "optimizer": "0.80762317115564404845551309676392515346381780729119470891671438029440615872498774587936701202290825616231463839627701031025500649622816772727",
      "root_bracket": [
        "8542145885211952553632779583071932341169337601890446463947477999099162155228242709321412501250240818824598842115665446571659/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "17084291770423905107265559166143864682338675203780892927894955998198324310456485418642825002500481637649197684231330893143319/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "29653.7816258740327060105679902065748496831205400733352323643646380725709644568923557963135909312019279368248252450083023412129055658357038676828325305",
      "L_at_k_1_to_4": [
        "7989",
        "171833301",
        "5176382042769",
        "126253927254431961"
      ]
    },
    {
      "G": "UT-6-3",
      "C_100": "5251752.711615232854434831912866602539548581317645194839425758062900655012162796785740827151888863446",
      "optimizer": "0.83670804355430188215890670741440737949226464833937165923811702986704093138186142937491823490093415189629905467580049532614412819939743620203",
      "root_bracket": [
        "17699547082444241613611622321595250228607166807958364414180096958919424999342022993541529514228327482435242856845004597707811/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "4424886770611060403402905580398812557151791701989591103545024239729856249835505748385382378557081870608810714211251149426953/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048"
      ],
      "relative_accuracy_bits": 404,
      "high_precision_accuracy_bits": 537,
      "independent_C_150": "5251752.71161523285443483191286660253954858131764519483942575806290065501216279678574082715188886344618687903712937187690770635674782880478531824466498",
      "L_at_k_1_to_4": [
        "1243106",
        "4737561495232",
        "24225929367253834403",
        "105633384942590083185741408"
      ]
    },
    {
      "G": "Heis-2-3",
      "C_100": "165.0941516845182997818187010657329616404687779795009687011880238066569937801683352889615238376053582",
      "optimizer": "0.67120354362457239726108387090919617868415932582856821633407514539623597083700527725656371932907751466564350363579761397041168922459132167924",
      "root_bracket": [
        "14198499481158067027788334408966675101329069006530820643242334574229601652904689932151967720369924477846670241421693703363453/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "7099249740579033513894167204483337550664534503265410321621167287114800826452344966075983860184962238923335120710846851681727/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "165.094151684518299781818701065732961640468777979500968701188023806656993780168335288961523837605358158805033549009528567544665087178581121664494592435",
      "L_at_k_1_to_4": [
        "66",
        "8616",
        "1229133",
        "181922552"
      ]
    },
    {
      "G": "Heis-3-3",
      "C_100": "1262.167547071019757012100752164338041111287178163528066188878568975495396615305040255918167763320224",
      "optimizer": "0.65368979694057159598179163193297830483006379422168918541855630919876680390662225935673535731906308193305600311027500279959592793042755690203",
      "root_bracket": [
        "6914008672077607056583950321240827487066000279942414212018246157003266921792707205002275747540706538325499135404735060045109/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "13828017344155214113167900642481654974132000559884828424036492314006533843585414410004551495081413076650998270809470120090219/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "1262.16754707101975701210075216433804111128717816352806618887856897549539661530504025591816776332022446976697340668032343267757039727169402163620902608",
      "L_at_k_1_to_4": [
        "379",
        "317619",
        "486841474",
        "466894033767"
      ]
    },
    {
      "G": "Heis-4-3",
      "C_100": "9624.941369464651886484605280352809273304415559641499557923914775823808588570197843919737156664451771",
      "optimizer": "0.64252118142390319125939483231260227248752549984366058427289184615654226696671537646826196953098284102229289774238854441943515198697149271441",
      "root_bracket": [
        "3397939696435467246827498231054258931989008664731720521575361310760873325987649294091392378978508576498441850942263774139331/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048",
        "13591758785741868987309992924217035727956034658926882086301445243043493303950597176365569515914034305993767403769055096557325/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "9624.94136946465188648460528035280927330441555964149955792391477582380858857019784391973715666445177107887792556201613204458447142555128726287175414794",
      "L_at_k_1_to_4": [
        "2179",
        "20117769",
        "195843273724",
        "1204314215997225"
      ]
    },
    {
      "G": "UT-3-5",
      "C_100": "92.01339538488585524963541590693885360052251493362165949824496313943736381986230486879991645938858643",
      "optimizer": "0.78835618223238037650445597603245933288671399729156232431843526442665251266418498927779461916758665320581501944607159932545156563688230753386",
      "root_bracket": [
        "8338360956758527667497232357346502800875761880132026729324870632831305067538594980543781739488986133018980938330808740295733/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "16676721913517055334994464714693005601751523760264053458649741265662610135077189961087563478977972266037961876661617480591467/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "92.0133953848858552496354159069388536005225149336216594982449631394373638198623048687999164593885864285554353404841629502834618303011625038663689499795",
      "L_at_k_1_to_4": [
        "32",
        "2142",
        "212225",
        "16022682"
      ]
    },
    {
      "G": "UT-4-5",
      "C_100": "8782.185149199656007382038167387329344546854656111313696519028895167974481112388277326181731289118231",
      "optimizer": "0.83576638942251673668582017171816902797354803768670458500587634578561135285587702173216783869594597698049980211963690336955107206708578814299",
      "root_bracket": [
        "17679627527744959381065301322149020874480636295749234400508748140958817548405526524915782946244785554841096340743429047417203/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "4419906881936239845266325330537255218620159073937308600127187035239704387101381631228945736561196388710274085185857261854301/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "8782.18514919965600738203816738732934454685465611131369651902889516797448111238827732618173128911823052073435782259087804003342716884644319286883784818",
      "L_at_k_1_to_4": [
        "2510",
        "16279016",
        "142349752151",
        "1043594868777012"
      ]
    },
    {
      "G": "UT-5-5",
      "C_100": "3879794.378110226896476197421457741131930558527965555386737788825392515523054256950795008584776490427",
      "optimizer": "0.86596027450939875463896778297206479212352768962277381828714259897429023965887544866365798117815282962378058228655002530761880963700645604812",
      "root_bracket": [
        "18318342662389766800797621869553912890864417684113317365154129774549209510287139704880331690490151732388832899513837802092813/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "9159171331194883400398810934776956445432208842056658682577064887274604755143569852440165845245075866194416449756918901046407/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096"
      ],
      "relative_accuracy_bits": 404,
      "high_precision_accuracy_bits": 537,
      "independent_C_150": "3879794.3781102268964761974214577411319305585279655553867377888253925155230542569507950085847764904270782975129167825648545843132867533996690847240827",
      "L_at_k_1_to_4": [
        "891664",
        "2866750546316",
        "10001699371150780405",
        "30981924999016527740303156"
      ]
    },
    {
      "G": "Heis-2-5",
      "C_100": "1861.898031152593555562542568459525531895722375875913532030409588070822888483006458417948937764499354",
      "optimizer": "0.76466374266260481803284989672633188424927932634065329121427324086324137275943367048707459129410193413398728954638736992179723605125751481854",
      "root_bracket": [
        "16175536998547378454227865948665444322248234713448077682268514454304404320884916600692713957106673205646094492514406309417253/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "8087768499273689227113932974332722161124117356724038841134257227152202160442458300346356978553336602823047246257203154708627/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "1861.89803115259355556254256845952553189572237587591353203040958807082288848300645841794893776449935432287661276560560304626331616162670160947835391566",
      "L_at_k_1_to_4": [
        "631",
        "924955",
        "1481158870",
        "2464126303487"
      ]
    },
    {
      "G": "Heis-3-5",
      "C_100": "37409.92167542695352582907303669379812802828214534505274532984972666304039728015659235784157740378717",
      "optimizer": "0.75120810838226693500331844733200145554741508178879338946895534390312114130976633533589305690102541257349069689716441702621797013706184677727",
      "root_bracket": [
        "15890899323191345213549336023963636797986307516292207351480276454763448289235994104718351983548088273772028559228255248363905/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "7945449661595672606774668011981818398993153758146103675740138227381724144617997052359175991774044136886014279614127624181953/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "37409.9216754269535258290730366937981280282821453450527453298497266630403972801565923578415774037871713002496700288055337478756611837492647307851503427",
      "L_at_k_1_to_4": [
        "8870",
        "295789270",
        "10554316679471",
        "283729445851359002"
      ]
    },
    {
      "G": "Heis-4-5",
      "C_100": "749146.8594225097175908178169460864019436100436169258312370112596915857358570931868683196062272882908",
      "optimizer": "0.7425932749507565182018116417157060008057508657893463007224307151155354658476530502154969182474865224422211589204750519659862676105706278317",
      "root_bracket": [
        "7854331468635132761490527644547231547820339948710757888589944821390971733016312744742245873997525681040772045698860690347863/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096",
        "15708662937270265522981055289094463095640679897421515777179889642781943466032625489484491747995051362081544091397721380695727/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "749146.859422509717590817816946086401943610043616925831237011259691585735857093186868319606227288290849711619150939792175425264971823000739864184039679",
      "L_at_k_1_to_4": [
        "184664",
        "95666954988",
        "76432681528173389",
        "45504124578474204155120"
      ]
    },
    {
      "G": "UT-3-7",
      "C_100": "242.7629603088535310571037396964003641210380284015266149912659442730815663445094432714566677160509466",
      "optimizer": "0.83579463176106147825581057456622278646469742159393918426237157671435021279449187828344535532054066494726325871059600664468744619615985589588",
      "root_bracket": [
        "17680224960271922463251731824734068952359477255318980327919220294154990012614788536371256949126848009998635522030113108752355/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "4420056240067980615812932956183517238089869313829745081979805073538747503153697134092814237281712002499658880507528277188089/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048"
      ],
      "relative_accuracy_bits": 406,
      "high_precision_accuracy_bits": 539,
      "independent_C_150": "242.762960308853531057103739696400364121038028401526614991265944273081566344509443271456667716050946590564441146843035168462734203298874917981463621172",
      "L_at_k_1_to_4": [
        "89",
        "17179",
        "3629612",
        "794041203"
      ]
    },
    {
      "G": "UT-4-7",
      "C_100": "61409.57277868652091426598168017858182520605792056846408851333603148180458829290088253619236749466819",
      "optimizer": "0.87337881992348856335262011739306925456799843257938868661436981570772137697661248537282176077447319209032137485970307044953695936048557027021",
      "root_bracket": [
        "18475273021612985823449906876632222216871668346171339016474982080564031061349790874555811805493490011599481301896848482914367/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "288676140962702903491404794947378472138619817908927172132421595008812985333590482414934559460835781431241895342138257545537/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "61409.5727786865209142659816801785818252060579205684640885133360314818045882929008825361923674946681899357414023490514979930434014698812567847015576065",
      "L_at_k_1_to_4": [
        "17896",
        "864662046",
        "45550910795602",
        "2494248401062319958"
      ]
    },
    {
      "G": "Heis-2-7",
      "C_100": "9370.183189665322050020831859560473692459914111548664929538072288069932312944109024260606914613775851",
      "optimizer": "0.81675301987447484115793178856476918829322451046347356867924424112780147067889308192658453076072625014315013036132215804775024311144078927444",
      "root_bracket": [
        "17277422682095428296283277474543673742722336371713230946225081456538519065403232629984712843250087502684295516127013913665453/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "8638711341047714148141638737271836871361168185856615473112540728269259532701616314992356421625043751342147758063506956832727/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "9370.18318966532205002083185956047369245991411154866492953807228806993231294410902426060691461377585085005103397270901091328222690266311271046383527735",
      "L_at_k_1_to_4": [
        "2948",
        "21704032",
        "174595297817",
        "1459914431373944"
      ]
    },
    {
      "G": "Heis-3-7",
      "C_100": "358816.1915578654634389851550357498405140279922046074285028184429197844455423080619460136621022951671",
      "optimizer": "0.80590334847818860088151930937054120826790154029601353794723548961243899125479549635281192787626614521487327857256096240429645545031572113317",
      "root_bracket": [
        "17047911000945737102971011520130985967247028814597876348699367835877147099427513163353992963754141096872381777408110527736121/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192",
        "8523955500472868551485505760065492983623514407298938174349683917938573549713756581676996481877070548436190888704055263868061/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "358816.191557865463438985155035749840514027992204607428502818442919784445542308061946013662102295167134137716021684615304427764968520318481955085393786",
      "L_at_k_1_to_4": [
        "100873",
        "28079903831",
        "8577832418338372",
        "2731093601906487090579"
      ]
    },
    {
      "G": "Heis-4-7",
      "C_100": "13689229.36769076704786997922587534591468265631870659284969592830592992084718988701040667934566914958",
      "optimizer": "0.79894563408643479936407498501067148429958349310681213266634395108604086645688464514338763689607535499961122830121362303394905119041625916207",
      "root_bracket": [
        "4225182241213980959504472512236101093673282847379084364976033932359462569350520255745316653305602820651637226032259592301591/5288447750321988791615322464262168318627237463714249754277190362195246329890490766601513683517722278780729696200186866434048",
        "16900728964855923838017890048944404374693131389516337459904135729437850277402081022981266613222411282606548904129038369206365/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192"
      ],
      "relative_accuracy_bits": 405,
      "high_precision_accuracy_bits": 538,
      "independent_C_150": "13689229.3676907670478699792258753459146826563187065928496959283059299208471898870104066793456691495797807806907788685243224259849829656635137211506885",
      "L_at_k_1_to_4": [
        "3517227",
        "36975174233851",
        "428409331600805180619",
        "5184147378384347232918695207"
      ]
    }
  ],
  "builder_run": "20261101T154704Z",
  "program_snippet_checked": true
}