{
  "classification": "Certified finite constructive upper bounds and rate-transfer identity; no cofinal decay estimate",
  "precision_bits": 384,
  "kernel_cutoff": 128,
  "kernel_order": 24,
  "source_sha256": "ab6f545a384426202051268b2c9b45629630e373d7a0cfbef8c386564af83d41",
  "kernel_sha256": "0f70a98cf11b61054ff1f0ba855c3e5be383eddc95468ac87d5eea51288974c5",
  "rows": [
    {
      "N": 16,
      "seconds": 0.203,
      "values": {
        "E_N": "[3.194767768109205273935131839275966013e-5 +/- 5.63e-42]",
        "eta": "[6.7578479601541846533359797193260613407e-5 +/- 3.57e-43]",
        "tail_projection_norm_squared": "[0.873562697480118842450982973398277069905301 +/- 5.08e-43]",
        "optimal_normalization_cost": "[5.2278456010422114790914645898811911096e-9 +/- 6.45e-47]",
        "normalized_optimal_error": "[3.195290552669309495083040985734954132e-5 +/- 4.52e-42]",
        "relative_normalization_cost": "[0.00016363773458676982754556006966192882806 +/- 6.04e-42]",
        "rate_transfer_factor": "[1.144737524718720841535480814129231331610653 +/- 8.20e-43]",
        "uniform_rate_transfer_factor": "[3.2704652784539879935132841942642084128676270864 +/- 1.21e-47]",
        "explicit_trial_error": "[3.19529055266930949508304098573495674699320e-5 +/- 6.79e-47]",
        "rounding_energy": "[2.615350613549075799582e-38 +/- 4.29e-60]",
        "scaled_log_error": "[8.85922655061024522502563544437199333472944e-5 +/- 7.59e-47]"
      },
      "rational_coefficients": [
        "-4431040465346912353531477/4431645796267982680227840",
        "4631891056301803597/4611686018427387904",
        "17875910509862883501/18446744073709551616",
        "462160678354890631/4611686018427387904",
        "13984233223637477731/18446744073709551616",
        "-676702305334031599/1152921504606846976",
        "3063767408045201699/4611686018427387904",
        "-382875270270958667/4611686018427387904",
        "1895816779951868391/18446744073709551616",
        "-1891591153447820187/4611686018427387904",
        "6874871336888101827/18446744073709551616",
        "130445363942251781/9223372036854775808",
        "1713387281792361675/4611686018427387904",
        "-6126347959918006797/18446744073709551616",
        "-1188436345131423743/2305843009213693952",
        "10424717767721778059/18446744073709551616"
      ],
      "optimal_coefficients": [
        "[-0.99963375875562058370140887489604417276512339 +/- 1.37e-45]",
        "[1.00399950909971511828333766845565948712895401 +/- 5.86e-45]",
        "[0.9690362230297999804982090112703769154503903 +/- 3.25e-44]",
        "[0.1003460453717104397959806519874132240630123 +/- 3.27e-44]",
        "[0.7580041710602108725890333214566923827602247 +/- 3.97e-44]",
        "[-0.5867975871897500518475144741833227245922559 +/- 7.43e-44]",
        "[0.6642668994993390214253422976662566950909188 +/- 6.29e-44]",
        "[-0.0829860489593760552323846174352827372985303 +/- 6.74e-44]",
        "[0.102711683206258096458114439729930543662151 +/- 1.02e-43]",
        "[-0.410036641363352059333459144260785870619404 +/- 1.67e-43]",
        "[0.372653294539028274205000255047065498028485 +/- 3.61e-43]",
        "[0.014064369811647299849708566040131264969167 +/- 3.00e-43]",
        "[0.371496350497293257467216211357322452368084 +/- 6.13e-43]",
        "[-0.331982112650208330028403232640868966413133 +/- 6.02e-43]",
        "[-0.515424928123817905986517275807800105574594 +/- 4.34e-43]",
        "[0.565110797329863039319169915858961480467459 +/- 1.42e-43]"
      ],
      "gates": {
        "full_Gram": true,
        "constrained_normal_equations": true,
        "sharp_rate_transfer": true,
        "exact_rational_zero_tail": true,
        "rational_trial_full_energy": true,
        "rounding_energy_below_1e_minus_30": true
      }
    },
    {
      "N": 64,
      "seconds": 3.36,
      "values": {
        "E_N": "[1.9758498848339044931093888638682217e-5 +/- 3.85e-40]",
        "eta": "[4.64174162255234788596538732234209486e-5 +/- 5.05e-41]",
        "tail_projection_norm_squared": "[0.8736432827442556773455011300090068330125 +/- 5.44e-41]",
        "optimal_normalization_cost": "[2.46619709852929325314600161600946770e-9 +/- 4.25e-45]",
        "normalized_optimal_error": "[1.9760965045437574224347034640298227e-5 +/- 4.91e-40]",
        "relative_normalization_cost": "[0.00012481702772357165828057138013791933 +/- 4.72e-39]",
        "rate_transfer_factor": "[1.1446319335951823698116949234616819868236 +/- 6.24e-41]",
        "uniform_rate_transfer_factor": "[3.2704652784539879935132841942642084128676270864 +/- 1.21e-47]",
        "explicit_trial_error": "[1.97609650454375742243470346402985114495716e-5 +/- 6.16e-47]",
        "rounding_energy": "[2.84768773922207657547e-37 +/- 8.60e-58]",
        "scaled_log_error": "[8.2183543238332116758384911857098728904770e-5 +/- 2.30e-46]"
      },
      "rational_coefficients": [
        "-13089594673008677030402634515167982767725443/13090621031132529390123692860164026243481600",
        "1155917791487078127/1152921504606846976",
        "9037996551635033711/9223372036854775808",
        "1216494561661824981/18446744073709551616",
        "7738567054292676507/9223372036854775808",
        "-6638141270781417705/9223372036854775808",
        "6946879430455323769/9223372036854775808",
        "-133386621507680203/18446744073709551616",
        "616675418716368231/18446744073709551616",
        "-11560771164698618773/18446744073709551616",
        "3086675038794220319/4611686018427387904",
        "-783992691057316023/9223372036854775808",
        "11017559175051511915/18446744073709551616",
        "-9488640218262781093/18446744073709551616",
        "-10060226307381320457/18446744073709551616",
        "1315590680680164997/18446744073709551616",
        "8781016045865461911/18446744073709551616",
        "-1635053513079213843/18446744073709551616",
        "4809169157315685227/9223372036854775808",
        "1323278020994399627/18446744073709551616",
        "-10346224947589785853/18446744073709551616",
        "-8467490620182152583/18446744073709551616",
        "9981711738869289285/18446744073709551616",
        "985499424513258247/18446744073709551616",
        "-942168420678786541/18446744073709551616",
        "-7136236907784795293/18446744073709551616",
        "-18540548362820265/9223372036854775808",
        "-1119529478920606207/18446744073709551616",
        "6714521181463138141/18446744073709551616",
        "7579007159409324723/18446744073709551616",
        "7800029422985505921/18446744073709551616",
        "-4435936559189822031/18446744073709551616",
        "-2812832905025810369/9223372036854775808",
        "-4660630632569006475/18446744073709551616",
        "-3155599061542287049/9223372036854775808",
        "185647765469413801/1152921504606846976",
        "3636454804142875199/9223372036854775808",
        "-7446808892575019629/18446744073709551616",
        "-5978118956831544765/18446744073709551616",
        "-1545840685888091751/18446744073709551616",
        "2880988083879383097/9223372036854775808",
        "8682039028121371585/18446744073709551616",
        "2404331778656475637/18446744073709551616",
        "404706055368969695/18446744073709551616",
        "523448560356796259/18446744073709551616",
        "-4147908505589444761/9223372036854775808",
        "2030315761640036869/9223372036854775808",
        "-516339934298776381/9223372036854775808",
        "321174410315291225/18446744073709551616",
        "2147225295427193631/18446744073709551616",
        "-4421298276404624877/18446744073709551616",
        "5418181612330811/288230376151711744",
        "3367247911031555315/9223372036854775808",
        "908403413184973627/18446744073709551616",
        "-1369934289462803279/4611686018427387904",
        "107879378444125693/2305843009213693952",
        "-555306853114046761/2305843009213693952",
        "-5074765424391665073/18446744073709551616",
        "3902721803413357047/18446744073709551616",
        "-59313644853915155/9223372036854775808",
        "4090305456545778305/18446744073709551616",
        "-7391949043290875575/18446744073709551616",
        "-58759746782840243/1152921504606846976",
        "481216069793805507/1152921504606846976"
      ],
      "optimal_coefficients": [
        "[-0.99976384604638554294618100722292647210996373 +/- 1.17e-45]",
        "[1.00233673704211651194028664125127259126351891 +/- 8.44e-45]",
        "[0.9798871363834688142036010404934449756474397 +/- 2.93e-44]",
        "[0.0660413942691251233531379761830610080823809 +/- 3.05e-44]",
        "[0.838948581986499143176917492510218105241083 +/- 4.02e-43]",
        "[-0.719588348101830629807259734236158310458528 +/- 1.28e-43]",
        "[0.753110976986726254642244310163716577681154 +/- 2.83e-43]",
        "[-0.007201159218289221120229199289018690491106 +/- 6.25e-43]",
        "[0.033368730709517925815783671088680218830757 +/- 3.38e-43]",
        "[-0.626557438576513209673318243787424225083193 +/- 5.02e-43]",
        "[0.669249738281985410164949650408398728436759 +/- 6.29e-43]",
        "[-0.085055705497270145507654056523698287201160 +/- 5.58e-43]",
        "[0.597207066400278242892926107370641905018759 +/- 8.67e-43]",
        "[-0.514249209744870015473691167363498660640976 +/- 8.97e-43]",
        "[-0.54536284606117818104175827375008348237345 +/- 5.06e-42]",
        "[0.07130777703763068810156475036030788394822 +/- 2.89e-42]",
        "[0.47597707262620485979226424945924323279677 +/- 2.31e-42]",
        "[-0.08858210801103047825842211212967646151259 +/- 1.54e-42]",
        "[0.52136573818920275977604403781420359296490 +/- 5.69e-42]",
        "[0.07166102643635782446815759308843716609637 +/- 4.23e-42]",
        "[-0.56084933747207610024277682455264637634771 +/- 5.71e-42]",
        "[-0.45889556111777264228277835352915874331779 +/- 5.08e-42]",
        "[0.54104010943465595945301489143982262852934 +/- 7.13e-42]",
        "[0.05340408719770657714886857511271756636012 +/- 6.07e-42]",
        "[-0.05108062842581150838597624372602343764696 +/- 6.54e-42]",
        "[-0.38675057131483892775501633395611062622201 +/- 7.42e-42]",
        "[-0.00200880849390653913184744080682432665813 +/- 8.88e-42]",
        "[-0.06071992474472277654747801608483844038616 +/- 8.81e-42]",
        "[0.3639640965256776478385600470265213546426 +/- 5.13e-41]",
        "[0.41078327601242918818665767011134826862621 +/- 8.26e-42]",
        "[0.4227838690730131283020278826806437250247 +/- 5.14e-41]",
        "[-0.2404124227955166469460303752167111490387 +/- 5.09e-41]",
        "[-0.30497383491987675754241636196521459850836 +/- 8.80e-42]",
        "[-0.2525796493849027951280311658884146191659 +/- 1.17e-41]",
        "[-0.34211678113048194909594746198146521023153 +/- 9.16e-42]",
        "[0.1610076867516512385366955350856446967981 +/- 3.89e-41]",
        "[0.3942319927015188259168088426997044153219 +/- 5.10e-41]",
        "[-0.4036044553229438257187630492261882348672 +/- 3.22e-41]",
        "[-0.3240797060935312582298456578042260153410 +/- 1.72e-41]",
        "[-0.0838008070286607173173693401180173207190 +/- 5.86e-41]",
        "[0.3123445601440146468321483784086873380811 +/- 3.57e-41]",
        "[0.4705808311681780857974100276227588389599 +/- 3.68e-41]",
        "[0.1303457770326934278756879921520400730810 +/- 4.28e-41]",
        "[0.0218747338144303031642986403730433566225 +/- 4.95e-41]",
        "[0.0284002606258835064398393069750071737270 +/- 2.40e-41]",
        "[-0.4496234358978984438958266459148923013841 +/- 3.01e-41]",
        "[0.2201078887454169288445855019496417001308 +/- 4.97e-41]",
        "[-0.0559802315077511829394261351848717282078 +/- 2.64e-41]",
        "[0.0174193800685236680690734445462670645606 +/- 5.41e-41]",
        "[0.1164014295040437384821923521351665619643 +/- 3.52e-41]",
        "[-0.2396952783484727463931690117235524335903 +/- 4.38e-41]",
        "[0.0187628256312214712136413552967979010114 +/- 4.54e-41]",
        "[0.3650601625098861914098349061728898788070 +/- 2.62e-41]",
        "[0.0492363952659262187586207397977969979221 +/- 6.38e-41]",
        "[-0.2970378675227194026247311943788738948525 +/- 2.02e-41]",
        "[0.0467638082965750628664099458809951021473 +/- 4.11e-41]",
        "[-0.2408419808879901225396828863966914659747 +/- 7.06e-41]",
        "[-0.2750356393404556716746708766970305528467 +/- 4.31e-41]",
        "[0.2115598308740576514214277496607512810969 +/- 6.26e-41]",
        "[-0.0063809754365442861645418894234632490748 +/- 6.13e-41]",
        "[0.2217104942007905981666743269819673762006 +/- 5.73e-41]",
        "[-0.4006525546112591284068259133840685085699 +/- 6.92e-41]",
        "[-0.0508672888721483611786685242567706114950 +/- 6.46e-41]",
        "[0.4172103188455923232998659403105275075405 +/- 5.26e-41]"
      ],
      "gates": {
        "full_Gram": true,
        "constrained_normal_equations": true,
        "sharp_rate_transfer": true,
        "exact_rational_zero_tail": true,
        "rational_trial_full_energy": true,
        "rounding_energy_below_1e_minus_30": true
      }
    },
    {
      "N": 256,
      "seconds": 64.883,
      "values": {
        "E_N": "[1.41424167390901796560441032518723e-5 +/- 8.92e-38]",
        "eta": "[3.303864079516702028177854557060191e-5 +/- 3.86e-39]",
        "tail_projection_norm_squared": "[0.87368409652123895560018080305445758660 +/- 8.66e-39]",
        "optimal_normalization_cost": "[1.249366664608320743420316902259962e-9 +/- 7.43e-43]",
        "normalized_optimal_error": "[1.4143666105754787976787523568775e-5 +/- 5.00e-37]",
        "relative_normalization_cost": "[8.8341808027409035153739925149593e-5 +/- 8.88e-37]",
        "rate_transfer_factor": "[1.1445784626064672207888564206487241051 +/- 3.91e-38]",
        "uniform_rate_transfer_factor": "[3.2704652784539879935132841942642084128676270864 +/- 1.21e-47]",
        "explicit_trial_error": "[1.41436661057547879767875235687760576279454e-5 +/- 4.53e-47]",
        "rounding_energy": "[1.482945811066809144e-36 +/- 9.87e-55]",
        "scaled_log_error": "[7.8429138271881540411912485338180895985534e-5 +/- 5.40e-46]"
      },
      "rational_coefficients": [
        "-20504957351874319856968445223829804774904319486953093121985912021666428772637300646346410083565742268524471619660732333737388023/20506004298282019015318426258682904782816280978562586049853366704436950635952305893144493567188342943310586556555050562774630400",
        "18482615887738942971/18446744073709551616",
        "18175530740267502805/18446744073709551616",
        "876909092164431983/18446744073709551616",
        "16335437352477430729/18446744073709551616",
        "-7410337351004677073/9223372036854775808",
        "15381598474006094507/18446744073709551616",
        "-391298390858428619/18446744073709551616",
        "2498454148040185/72057594037927936",
        "-6681123439158601837/9223372036854775808",
        "6758429313703830699/9223372036854775808",
        "-378822485533911417/18446744073709551616",
        "12667372326837780671/18446744073709551616",
        "-12064865168549620239/18446744073709551616",
        "-12278613948789088079/18446744073709551616",
        "302972776631139071/9223372036854775808",
        "6032026379591680219/9223372036854775808",
        "-464634725608577841/9223372036854775808",
        "5988968175911548625/9223372036854775808",
        "-163612353379311085/4611686018427387904",
        "-11599992492132352239/18446744073709551616",
        "-10041039507728164379/18446744073709551616",
        "2784038696056412225/4611686018427387904",
        "147351491342089795/9223372036854775808",
        "43746775745646877/4611686018427387904",
        "-9720423802847208943/18446744073709551616",
        "-1027660434709162965/18446744073709551616",
        "-117911096941028799/2305843009213693952",
        "2600795530364043501/4611686018427387904",
        "9882981322122820285/18446744073709551616",
        "9627888313691692807/18446744073709551616",
        "56976825236708567/4611686018427387904",
        "-2282449935936833737/4611686018427387904",
        "-8642350578189711413/18446744073709551616",
        "-2914251604771380959/4611686018427387904",
        "103497047957469019/18446744073709551616",
        "5537781028744864177/9223372036854775808",
        "-10093257450297325947/18446744073709551616",
        "-4219318223683211409/9223372036854775808",
        "484691427900958263/18446744073709551616",
        "9885221853081111367/18446744073709551616",
        "4980763135273769519/9223372036854775808",
        "6651198493556327167/18446744073709551616",
        "-787773668145564339/18446744073709551616",
        "175463824153846353/18446744073709551616",
        "-9401487898268687795/18446744073709551616",
        "8246653186100326937/18446744073709551616",
        "-331549394754744949/4611686018427387904",
        "159975974640305041/18446744073709551616",
        "1313048755373982967/18446744073709551616",
        "-8871522269507333257/18446744073709551616",
        "-605362431750637303/18446744073709551616",
        "8856627362898445781/18446744073709551616",
        "2231893926149236959/18446744073709551616",
        "-4369670634515338387/9223372036854775808",
        "1462807462437578891/18446744073709551616",
        "-7699751156390988937/18446744073709551616",
        "-2210335726200470043/4611686018427387904",
        "4152167765570012335/9223372036854775808",
        "-570740845454191441/18446744073709551616",
        "975814596023167151/2305843009213693952",
        "-435613679359677503/1152921504606846976",
        "6390626558182387/9223372036854775808",
        "-240980515653092365/18446744073709551616",
        "-8612261821326277891/18446744073709551616",
        "3481404311562742397/9223372036854775808",
        "8307150847553882977/18446744073709551616",
        "-198061411085976329/2305843009213693952",
        "-4417242939627416315/9223372036854775808",
        "157103630292514031/288230376151711744",
        "2144409508035202257/4611686018427387904",
        "-1927548422212585323/18446744073709551616",
        "8000813860810194227/18446744073709551616",
        "-8822750749525421569/18446744073709551616",
        "1303100391918410613/18446744073709551616",
        "115209615337804533/4611686018427387904",
        "-9431377120677122573/18446744073709551616",
        "5964043386297095321/18446744073709551616",
        "465324998771138803/1152921504606846976",
        "1196780124378211433/18446744073709551616",
        "661199644074003139/18446744073709551616",
        "-4375256882478347149/9223372036854775808",
        "7089225895478614885/18446744073709551616",
        "-236079397545009705/9223372036854775808",
        "-4912836020021917097/9223372036854775808",
        "262738956184878101/9223372036854775808",
        "-1118213410551355643/2305843009213693952",
        "1049085473049052295/18446744073709551616",
        "7325412071572293627/18446744073709551616",
        "948974214392828579/18446744073709551616",
        "-7173521997786977535/18446744073709551616",
        "726255919012289275/9223372036854775808",
        "-4069093458077290955/9223372036854775808",
        "-3908870535132922471/18446744073709551616",
        "-6188532549169123367/18446744073709551616",
        "-735916233321487331/18446744073709551616",
        "1123718532153531771/2305843009213693952",
        "-1243724792940437057/18446744073709551616",
        "-1888830400776974315/18446744073709551616",
        "-3369441333246633091/18446744073709551616",
        "6454185524389556175/18446744073709551616",
        "4757771347502634821/18446744073709551616",
        "3977343331734330781/9223372036854775808",
        "1044665531036525851/18446744073709551616",
        "8548800707615266079/18446744073709551616",
        "-5958091782540037045/18446744073709551616",
        "2786025638110755493/9223372036854775808",
        "-1159033568388692787/18446744073709551616",
        "4316746083689244597/18446744073709551616",
        "6641957485032800955/18446744073709551616",
        "-10354207420531596381/18446744073709551616",
        "-545546899016088089/9223372036854775808",
        "1004557042114241299/2305843009213693952",
        "6148375274548176831/18446744073709551616",
        "-6410137771953268749/18446744073709551616",
        "135126041812878571/4611686018427387904",
        "11241246428961957/2305843009213693952",
        "-4817316346296499731/18446744073709551616",
        "-3538023527664660761/9223372036854775808",
        "203381713134214921/4611686018427387904",
        "-887604365152320309/18446744073709551616",
        "-4233152880468290645/18446744073709551616",
        "-390207019709756071/1152921504606846976",
        "11666411586237955/9223372036854775808",
        "-62977582624755501/18446744073709551616",
        "545287509879489419/9223372036854775808",
        "-815902793296119299/2305843009213693952",
        "2787319394889945691/4611686018427387904",
        "-2750236219005166005/18446744073709551616",
        "4191159989256488047/18446744073709551616",
        "5719776066314912935/18446744073709551616",
        "-146182201393545511/2305843009213693952",
        "-3686500721599806869/9223372036854775808",
        "-6469790332859880143/18446744073709551616",
        "1905325707972365077/18446744073709551616",
        "2575922000345674223/18446744073709551616",
        "292553231311060663/1152921504606846976",
        "6025495207042883929/18446744073709551616",
        "5791607385062791165/18446744073709551616",
        "528666479418570045/9223372036854775808",
        "-4067323342228076119/18446744073709551616",
        "-4034784485376385937/18446744073709551616",
        "-5015705378555427063/18446744073709551616",
        "792908265202501205/4611686018427387904",
        "-799743815819380241/2305843009213693952",
        "-2967033801288393637/9223372036854775808",
        "985661838058639763/9223372036854775808",
        "-280953373403809211/9223372036854775808",
        "3937554839784191425/18446744073709551616",
        "-3169762166694872345/18446744073709551616",
        "1526885727951034157/9223372036854775808",
        "74173732833553987/9223372036854775808",
        "-1217787523674752221/9223372036854775808",
        "10045906702395314017/18446744073709551616",
        "-5123026637267737725/18446744073709551616",
        "315894676193062257/2305843009213693952",
        "2242116504989733431/9223372036854775808",
        "-4845761043458754109/18446744073709551616",
        "-3016824467745415011/9223372036854775808",
        "-778903343475353131/4611686018427387904",
        "-1088266112930364591/4611686018427387904",
        "-1585571078797473953/18446744073709551616",
        "5238755831954145871/18446744073709551616",
        "-873895671259988371/9223372036854775808",
        "1284455893113376939/4611686018427387904",
        "-2557333801040949473/18446744073709551616",
        "595603947969910679/4611686018427387904",
        "-921394659602100083/18446744073709551616",
        "961453867378342761/9223372036854775808",
        "-745137038103499847/18446744073709551616",
        "4934064710679779303/18446744073709551616",
        "-5836096842094358401/18446744073709551616",
        "2938288302826095419/9223372036854775808",
        "1128983444848631041/2305843009213693952",
        "-212769043181205685/18446744073709551616",
        "-346400920021244797/9223372036854775808",
        "-3004865883188187717/18446744073709551616",
        "-6954221740959597309/18446744073709551616",
        "75363560682652705/288230376151711744",
        "-84226049009487231/18446744073709551616",
        "2168429795521233491/9223372036854775808",
        "844864631622137485/4611686018427387904",
        "-1819977734577487697/9223372036854775808",
        "-439261778597485579/9223372036854775808",
        "-6148627924671165797/18446744073709551616",
        "7365724004626033031/18446744073709551616",
        "-347749387706050127/2305843009213693952",
        "-635599330287183725/4611686018427387904",
        "-933981706700863413/9223372036854775808",
        "10013969400434974003/18446744073709551616",
        "283247616253032907/18446744073709551616",
        "3408605763379785777/18446744073709551616",
        "161520276754938703/576460752303423488",
        "-7509641296936035009/18446744073709551616",
        "4555697758400144553/18446744073709551616",
        "-2019200883298941311/18446744073709551616",
        "2641269396173772005/18446744073709551616",
        "916599799359314029/18446744073709551616",
        "3321776596872293621/9223372036854775808",
        "1107835663424044503/4611686018427387904",
        "-3133840143381992867/9223372036854775808",
        "-4927215897983527741/18446744073709551616",
        "-3383396717093563117/18446744073709551616",
        "-855711165688618533/18446744073709551616",
        "25753319728443987/9223372036854775808",
        "-7163186489089289353/18446744073709551616",
        "648150897226300589/9223372036854775808",
        "-3449688184982710785/18446744073709551616",
        "-640317425858887011/2305843009213693952",
        "-3423259549696756691/9223372036854775808",
        "592456153159014007/2305843009213693952",
        "28654536603032945/9223372036854775808",
        "-5344972465126048797/18446744073709551616",
        "-2094228428635381961/18446744073709551616",
        "-1353712495865709711/18446744073709551616",
        "543138771230827577/9223372036854775808",
        "-1748541991345372005/18446744073709551616",
        "-4601535104517308435/18446744073709551616",
        "-2319990177140740119/9223372036854775808",
        "2277497966052454119/18446744073709551616",
        "-660924896174206901/4611686018427387904",
        "2772629513423289953/4611686018427387904",
        "-751042412096283259/9223372036854775808",
        "572623847575451873/18446744073709551616",
        "-670320009099317519/18446744073709551616",
        "-8612455016593515511/18446744073709551616",
        "3859522210270109883/18446744073709551616",
        "1309381489690378555/18446744073709551616",
        "907230113205060197/4611686018427387904",
        "1651323134129873691/4611686018427387904",
        "1914611130017711397/9223372036854775808",
        "-1131565292129584355/18446744073709551616",
        "6499271339881630081/18446744073709551616",
        "54481937181573233/18446744073709551616",
        "-5642989336260860211/18446744073709551616",
        "-2869690716567309887/18446744073709551616",
        "-2389316147128936745/9223372036854775808",
        "861125729821845075/2305843009213693952",
        "546509085220116441/2305843009213693952",
        "-189335893420915753/2305843009213693952",
        "716260673828495653/4611686018427387904",
        "1283747360968736839/18446744073709551616",
        "189515994855208485/18446744073709551616",
        "-358717906844422543/4611686018427387904",
        "-257650522253663203/18446744073709551616",
        "3601772181575000343/9223372036854775808",
        "-1164635955996161145/9223372036854775808",
        "-208927207142140595/2305843009213693952",
        "-5099699265092296695/18446744073709551616",
        "446997093366733123/4611686018427387904",
        "3262915194046513625/18446744073709551616",
        "-20219631634218615/4611686018427387904",
        "-1317408669072163557/9223372036854775808",
        "-2439443909780394599/18446744073709551616",
        "1557168892050646755/576460752303423488",
        "-49168408786562059485/18446744073709551616"
      ],
      "optimal_coefficients": [
        "[-0.99983665536348129358783609047190676923359764 +/- 1.56e-45]",
        "[1.0017580745815991711638159783950324043247989 +/- 1.70e-44]",
        "[0.9852867158908924922927674587320255172044026 +/- 5.45e-44]",
        "[0.0476069705616355416876363154999231506687026 +/- 7.89e-44]",
        "[0.885492231937279302911941046529890143907047 +/- 4.58e-43]",
        "[-0.803336272488245339681773724277299136362332 +/- 5.63e-43]",
        "[0.833779075739764992354491301679173864183823 +/- 7.06e-43]",
        "[-0.021187839327931161992593683182510682678091 +/- 5.68e-43]",
        "[0.034624443058165540603467409064286780152271 +/- 6.69e-43]",
        "[-0.72424512471659777779323431172812462140209 +/- 4.95e-42]",
        "[0.73269772357815292738837934842989073761893 +/- 3.03e-42]",
        "[-0.02058711759808644256880397519649504851853 +/- 5.52e-42]",
        "[0.68665013215112541214859930841409168810742 +/- 3.07e-42]",
        "[-0.65391714051420182241798755200956864625840 +/- 3.55e-42]",
        "[-0.66562595281949732427390162684129764686831 +/- 7.28e-42]",
        "[0.03284754297093146980365828570282949242321 +/- 4.83e-42]",
        "[0.65394512709381529074825834253152462820429 +/- 8.99e-42]",
        "[-0.05033144028216540708210418062842525897840 +/- 6.78e-42]",
        "[0.64927906417048046856740678765771115483672 +/- 8.78e-42]",
        "[-0.03552307524161406892581740844406228190523 +/- 8.77e-42]",
        "[-0.6288286673736893974854609068361905268371 +/- 4.34e-41]",
        "[-0.5442212742191096312820833777217600573492 +/- 3.55e-41]",
        "[0.6036503502112664283936745304165538392593 +/- 5.94e-41]",
        "[0.0159533481780186839029594203863873422449 +/- 3.49e-41]",
        "[0.0094800030081799249377449189954318167970 +/- 3.06e-41]",
        "[-0.5268448593708610340780902416719932442609 +/- 3.22e-41]",
        "[-0.0557057902915953811905542269138477465013 +/- 1.75e-41]",
        "[-0.0511805444636331553310534030022828766022 +/- 2.17e-41]",
        "[0.5639222662621614979761875936520314945927 +/- 4.66e-41]",
        "[0.5357032144659013040238562395110989813495 +/- 6.22e-41]",
        "[0.5218897427616513817369330539077081596538 +/- 3.58e-41]",
        "[0.0123546971633936825804338317839893970219 +/- 3.68e-41]",
        "[-0.4949273487379005806374728690219900453958 +/- 7.44e-41]",
        "[-0.4684066535300863826274606787701780728762 +/- 7.55e-41]",
        "[-0.6318914973608904538549160709115051518266 +/- 9.86e-41]",
        "[0.0056069540958192127053304517259163232172 +/- 6.34e-41]",
        "[0.600364465553818467425482645983251839728 +/- 1.08e-40]",
        "[-0.547060860000451401381966564190711575278 +/- 5.12e-40]",
        "[-0.4574591070033579294278124022325742359810 +/- 8.97e-41]",
        "[0.026259054460056204641272593800114522414 +/- 5.46e-40]",
        "[0.5358384951429325511422135538395401015293 +/- 8.77e-41]",
        "[0.539959847770663962331577951908344610529 +/- 5.60e-40]",
        "[0.3605389145144729463910069153963121587713 +/- 8.93e-41]",
        "[-0.042743390898922811541077276090536890161 +/- 4.56e-40]",
        "[0.009542082484402968054322512072519331418 +/- 2.69e-40]",
        "[-0.509579955442225723815798153129458756501 +/- 4.61e-40]",
        "[0.447021644277060444254865968426600046033 +/- 3.25e-40]",
        "[-0.071883383517582178968503237715124931905 +/- 2.18e-40]",
        "[0.008674733473120245024645400536749140224 +/- 5.37e-40]",
        "[0.071182717081671837137896909819926004030 +/- 3.78e-40]",
        "[-0.480923801913017960845640855619609540319 +/- 5.68e-40]",
        "[-0.032844455544596412186913789244914978058 +/- 2.52e-40]",
        "[0.480079327018939930513584020567995576877 +/- 5.12e-40]",
        "[0.120985118742717245003595838496073278769 +/- 4.78e-40]",
        "[-0.473723902610758076992270184603531002633 +/- 3.63e-40]",
        "[0.079281901200900194049639458406104134102 +/- 6.72e-40]",
        "[-0.417401863866948369348071010435859256521 +/- 4.34e-40]",
        "[-0.479214714325780965278578284301871247027 +/- 5.74e-40]",
        "[0.450141480618018556043388073969965782405 +/- 6.14e-40]",
        "[-0.030907750473573188270347399738425153302 +/- 3.60e-40]",
        "[0.423158803006650186849785504197365040985 +/- 3.21e-40]",
        "[-0.377755202835886681353163854056826721425 +/- 5.54e-40]",
        "[0.000717979192441257061647140561786347217 +/- 6.46e-40]",
        "[-0.013072866191179104012510651639513195900 +/- 3.44e-40]",
        "[-0.466839132859736534047226108508842415000 +/- 7.12e-40]",
        "[0.377408328826242254194179106649102490249 +/- 4.95e-40]",
        "[0.450300290200307081590138040747460584676 +/- 7.47e-40]",
        "[-0.085919231969704748641316472081397219817 +/- 7.27e-40]",
        "[-0.478903666930087186989061055476789612345 +/- 6.55e-40]",
        "[0.544983422529854969066151436141351734154 +/- 8.11e-40]",
        "[0.464958225814047097970042812900748173646 +/- 7.49e-40]",
        "[-0.104476507070150347650630212096917385725 +/- 9.10e-40]",
        "[0.433694755367219209262510496895836374612 +/- 5.54e-40]",
        "[-0.478199572530815249839918276033692948727 +/- 9.27e-40]",
        "[0.070636382306355680722156466271119965265 +/- 5.91e-40]",
        "[0.024943937894959745944584416047836490246 +/- 8.95e-40]",
        "[-0.511241694515003399948665303275230902567 +/- 7.56e-40]",
        "[0.323271527388861496680343288463859411340 +/- 6.31e-40]",
        "[0.40358351814902811869173532096432837334 +/- 5.06e-39]",
        "[0.06486988933108534945710007006556985709 +/- 1.08e-39]",
        "[0.035839133964378273907450723097768744590 +/- 9.16e-40]",
        "[-0.474286081759399874215259207361856551534 +/- 8.96e-40]",
        "[0.384274192328464192827846690719266716939 +/- 6.29e-40]",
        "[-0.02556829148306861970483723492330106133 +/- 2.31e-39]",
        "[-0.532622577755171282963879969067112919585 +/- 7.25e-40]",
        "[0.028531662828648121801740160555954347667 +/- 9.36e-40]",
        "[-0.48493647882807220903589168727535174640 +/- 5.32e-39]",
        "[0.05685604184838911349229854913656918881 +/- 2.25e-39]",
        "[0.397078657565923650215385717171865870336 +/- 7.77e-40]",
        "[0.051406319735646575187624404000786498513 +/- 8.90e-40]",
        "[-0.388836860528784216013423878705424814195 +/- 9.17e-40]",
        "[0.07871787311658964803242290756837197921 +/- 2.44e-39]",
        "[-0.44115614110155699736108677183643557999 +/- 5.47e-39]",
        "[-0.21184979721835155718741367120937399428 +/- 1.43e-39]",
        "[-0.33546214444738715393072192974391346517 +/- 1.23e-39]",
        "[-0.039889461856134056202548215721257140738 +/- 9.89e-40]",
        "[0.487288333192730495249638678761376227486 +/- 9.72e-40]",
        "[-0.06742455956463667886217745807960440488 +/- 4.65e-39]",
        "[-0.10235504198909704953251903942000319436 +/- 3.02e-39]",
        "[-0.18264446142370735499695456670547454939 +/- 2.34e-39]",
        "[0.34986043855826547078427753702320398830 +/- 5.33e-39]",
        "[0.25787705954210113827006219047474690143 +/- 3.76e-39]",
        "[0.43119400384270001000860013751642819817 +/- 4.45e-39]",
        "[0.05660737710593535078394654080332025211 +/- 4.20e-39]",
        "[0.46342881750179500548054055382418362386 +/- 5.25e-39]",
        "[-0.32291905851279849006260250971021452422 +/- 1.87e-39]",
        "[0.30202924001318743443807166419297156123 +/- 1.50e-39]",
        "[-0.06282601373003607589016293531824146151 +/- 6.28e-39]",
        "[0.23399784191422185172836076902576677429 +/- 2.78e-39]",
        "[0.35999430478840432013830506508080928670 +/- 3.84e-39]",
        "[-0.56127985979592905488194736591482646757 +/- 4.28e-39]",
        "[-0.05914017133586983498238183113871909993 +/- 4.70e-39]",
        "[0.43563114844004938941047078371030992760 +/- 5.61e-39]",
        "[0.33325802221547527391351367459736740097 +/- 2.92e-39]",
        "[-0.34747369052669497962448214775441191169 +/- 6.02e-39]",
        "[0.02927149559510130244664362976715851544 +/- 4.42e-39]",
        "[0.00489768989706214212976599115695738803 +/- 3.17e-39]",
        "[-0.26108725050148031637066718869999540399 +/- 2.39e-39]",
        "[-0.38356687438562741430688387652064703919 +/- 2.67e-39]",
        "[0.04411126999274298406310698195822788188 +/- 4.16e-39]",
        "[-0.04811093304465208843546968743696284144 +/- 2.02e-39]",
        "[-0.22942241342520714462523912670852236922 +/- 6.20e-39]",
        "[-0.33844747392599469223210255867109733271 +/- 3.86e-39]",
        "[0.00123464038673226726515125502297489647 +/- 3.92e-39]",
        "[-0.00341513833463559596992130277836409347 +/- 6.28e-39]",
        "[0.05909622864275721533370110290786247976 +/- 2.61e-39]",
        "[-0.35383338297310385768811068811572251341 +/- 2.30e-39]",
        "[0.60438420828399764022640355585706985912 +/- 2.75e-39]",
        "[-0.14910884778615616076077347716785588909 +/- 2.23e-39]",
        "[0.22715304969504551248953818861245894070 +/- 6.47e-39]",
        "[0.31006167022634503648803284582321037828 +/- 2.88e-39]",
        "[-0.06335395852522545278673250154114907388 +/- 2.24e-39]",
        "[-0.39967081493622550681226401874443629662 +/- 4.93e-39]",
        "[-0.35068194555296240637403263735856379572 +/- 3.94e-39]",
        "[0.10328012138081351073605011224869364508 +/- 4.56e-39]",
        "[0.13961584662298878766998257755301344701 +/- 6.18e-39]",
        "[0.25373408749065900683286354410423677196 +/- 5.62e-39]",
        "[0.32660771998645152052464248400694754777 +/- 6.18e-39]",
        "[0.31394886377716549961852514644660376915 +/- 6.09e-39]",
        "[0.05735162788615856320305667789426202586 +/- 5.48e-39]",
        "[-0.22049233398172205549264181297872832652 +/- 4.56e-39]",
        "[-0.21867258402146957541770815782282554240 +/- 2.80e-39]",
        "[-0.27188851557830604714282418794664087328 +/- 4.73e-39]",
        "[0.17191084924718006378972654194655722238 +/- 2.38e-39]",
        "[-0.34683316961024590850932601811309017968 +/- 2.25e-39]",
        "[-0.32163409276590854897801958249463463034 +/- 7.02e-39]",
        "[0.10685684432188519852158502683171047113 +/- 2.37e-39]",
        "[-0.03049342091883371583015923643197218224 +/- 6.64e-39]",
        "[0.21345696950631026881186314361971743923 +/- 3.71e-39]",
        "[-0.17182998953127998325941076327818239706 +/- 5.86e-39]",
        "[0.16553408629442780938654459548445985643 +/- 2.48e-39]",
        "[0.00803424782173867823125784510342497183 +/- 3.87e-39]",
        "[-0.13200466958753274395038192161857562386 +/- 4.69e-39]",
        "[0.54452965729086385807336215456514440906 +/- 5.72e-39]",
        "[-0.27771347273432908824112810488366988261 +/- 3.34e-39]",
        "[0.13702337667762344528030762505259695078 +/- 3.63e-39]",
        "[0.24307102648522764804354527460556979185 +/- 5.46e-39]",
        "[-0.26265073841236049644094653165857020332 +/- 5.73e-39]",
        "[-0.32707455390424185050230045669761314423 +/- 5.78e-39]",
        "[-0.16888384325381760352809640451952400760 +/- 4.56e-39]",
        "[-0.23596899652729895826719203908804874707 +/- 6.68e-39]",
        "[-0.08595174447021708973377134631346422859 +/- 5.60e-39]",
        "[0.28397998294029793934990049628659038383 +/- 6.48e-39]",
        "[-0.09477689082423617353078347598184578914 +/- 4.94e-39]",
        "[0.27852058500187546074798814518692714983 +/- 4.99e-39]",
        "[-0.13858821217530754690142796794568500078 +/- 4.09e-39]",
        "[0.12915007853989938343267938236345146936 +/- 3.19e-39]",
        "[-0.04993188362344897031401837173050498427 +/- 3.92e-39]",
        "[0.10422678714059337545946049385836145165 +/- 5.63e-39]",
        "[-0.04043358639946582013153776297000223779 +/- 4.88e-39]",
        "[0.26748067122938992918634295548701244006 +/- 4.75e-39]",
        "[-0.31638374837802430768311062480381442372 +/- 5.67e-39]",
        "[0.31855945523354020406787905616546827243 +/- 4.20e-39]",
        "[0.48957901647097604331764482038377397826 +/- 5.90e-39]",
        "[-0.01153090693423647803343297035082355281 +/- 3.90e-39]",
        "[-0.03755305576059541282798879723364927305 +/- 4.20e-39]",
        "[-0.16289950751852564591056896002784641087 +/- 4.82e-39]",
        "[-0.37693064150743545810987319160420293599 +/- 4.74e-39]",
        "[0.26145951134324758026367164741376236767 +/- 6.80e-39]",
        "[-0.00455755643225542457346345912672911207 +/- 5.68e-39]",
        "[0.23509203751496827768097474674455301432 +/- 4.47e-39]",
        "[0.18314902328403070518558020109401854233 +/- 6.23e-39]",
        "[-0.19732277857699694735138250480640613248 +/- 7.67e-39]",
        "[-0.04762765786366010921169725168338051197 +/- 7.99e-39]",
        "[-0.33329500979518640985794117084487800352 +/- 8.17e-39]",
        "[0.39925294511871366645954464049119070770 +/- 8.54e-39]",
        "[-0.15079894035317459858051850451124068683 +/- 8.34e-39]",
        "[-0.13783660506575873109494560604074726237 +/- 5.02e-39]",
        "[-0.10125910552328474054186543491599800703 +/- 7.55e-39]",
        "[0.54280368018577661924886294175138726365 +/- 7.73e-39]",
        "[0.01534511114960959827907932758887649150 +/- 7.57e-39]",
        "[0.18477061886535143850008560429100136983 +/- 4.68e-39]",
        "[0.28018503004393557039935324082390215884 +/- 4.52e-39]",
        "[-0.40703319723803167339203985970829820011 +/- 4.58e-39]",
        "[0.24697001462054003179889964451109349936 +/- 6.30e-39]",
        "[-0.10945326859034488920121893758500140419 +/- 6.06e-39]",
        "[0.14317040388863436350994879335352579679 +/- 4.96e-39]",
        "[0.04965621256803483710935900725454737625 +/- 7.36e-39]",
        "[0.36013126382832324059733035328147888592 +/- 7.88e-39]",
        "[0.24020979307561005980048604689550519232 +/- 4.75e-39]",
        "[-0.33977040549420087584821949450521413285 +/- 7.33e-39]",
        "[-0.26706370002452005076090890560531303957 +/- 5.33e-39]",
        "[-0.18341256315475322815806806441162563225 +/- 7.88e-39]",
        "[-0.04636192221773635626361765885475817771 +/- 6.74e-39]",
        "[0.00279328573402920104623458623329683359 +/- 4.34e-39]",
        "[-0.38826790742665877745844822177996732808 +/- 6.06e-39]",
        "[0.07028216478341307559176326146466159816 +/- 5.26e-39]",
        "[-0.18699686095444710533634348034555332893 +/- 6.42e-39]",
        "[-0.27767623790949218855418313818678282062 +/- 7.03e-39]",
        "[-0.3711264757017428607097341119094778900 +/- 3.92e-38]",
        "[0.25692605117994926168207270162824671603 +/- 7.06e-39]",
        "[0.00308073132689089634532192578886928047 +/- 8.13e-39]",
        "[-0.28975722923180583524826135932701013523 +/- 4.55e-39]",
        "[-0.11348517429496758849595713782425596002 +/- 6.63e-39]",
        "[-0.07338634692076550985094271528978966202 +/- 7.62e-39]",
        "[0.05887865372389589304961087255529034567 +/- 7.58e-39]",
        "[-0.09477618344990383693925408249538027783 +/- 9.03e-39]",
        "[-0.24940943512058150613649626659724143453 +/- 8.36e-39]",
        "[-0.25154086515074683011648247308427539833 +/- 7.20e-39]",
        "[0.12348158694524900055190648081026636409 +/- 8.75e-39]",
        "[-0.14330609850145978080422007257893645868 +/- 9.12e-39]",
        "[0.60116622138437258050912301510852270033 +/- 9.04e-39]",
        "[-0.08143051706533626722996713553469558408 +/- 5.66e-39]",
        "[0.03103079593448832088865455279954419527 +/- 6.52e-39]",
        "[-0.03632400953501758965474884694457699917 +/- 8.39e-39]",
        "[-0.46683042960646070990708696359846659512 +/- 9.21e-39]",
        "[0.2092121304839507679946093757970882678 +/- 4.96e-38]",
        "[0.0710090577552796256580043678013568975 +/- 1.09e-38]",
        "[0.19671564198791108858612406199234643360 +/- 6.77e-39]",
        "[0.35803027258765037004231676469559419160 +/- 7.18e-39]",
        "[0.20758906510734262378400577095299235646 +/- 8.36e-39]",
        "[-0.06133653628211803770553097304027853970 +/- 6.64e-39]",
        "[0.35230829451468227652696992652958811855 +/- 6.05e-39]",
        "[0.0029273232168761330533752455508453962 +/- 5.13e-38]",
        "[-0.30588864166113717676746575970799578130 +/- 9.75e-39]",
        "[-0.15558193981871698354543580595612826408 +/- 8.97e-39]",
        "[-0.2590595404992869816817954400668536106 +/- 2.06e-38]",
        "[0.37340501665866664327784258775037579346 +/- 7.50e-39]",
        "[0.23700596467842947827729070579256265007 +/- 8.09e-39]",
        "[-0.0821049888430372994559844369874643992 +/- 4.44e-38]",
        "[0.15530656536893835707740878944101555659 +/- 8.83e-39]",
        "[0.06959433406438860710965158570271421268 +/- 8.68e-39]",
        "[0.01027710995496887601959079052065210499 +/- 9.47e-39]",
        "[-0.07780804082972272916107228109234115295 +/- 8.89e-39]",
        "[-0.01396730540594296270522487704210133101 +/- 9.05e-39]",
        "[0.39047870705839774953518242153874560494 +/- 8.54e-39]",
        "[-0.1262708694271257155478725767060886045 +/- 3.55e-38]",
        "[-0.0906108288547915278470420213625522106 +/- 3.70e-38]",
        "[-0.2764537075819829576876404325381296839 +/- 4.49e-38]",
        "[0.0969207538796049622072032377401141965 +/- 3.60e-38]",
        "[0.1768713118048374835695412984960771268 +/- 5.61e-38]",
        "[-0.0043871820546851543616943053757004590 +/- 5.39e-38]",
        "[-0.1428213346739705199691787442198225031 +/- 4.83e-38]",
        "[-0.1322067280307072813797317060893370396 +/- 1.16e-38]",
        "[2.7011736903008291935557634689374784443 +/- 5.57e-38]",
        "[-2.66530759801185775881935284404014563620 +/- 4.56e-39]"
      ],
      "gates": {
        "full_Gram": true,
        "constrained_normal_equations": true,
        "sharp_rate_transfer": true,
        "exact_rational_zero_tail": true,
        "rational_trial_full_energy": true,
        "rounding_energy_below_1e_minus_30": true
      }
    }
  ]
}
