{
  "table": "T663",
  "manifest": "agents/runs/20261101T235407Z-build-skills/manifest.json",
  "skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "versions": {
    "python": "3.12.3",
    "mpmath": "1.4.1"
  },
  "controls": {
    "density_mass_error": "0.0",
    "density_second_moment_error": "0.0",
    "smyth_agreement": "141.18307",
    "perturbation_rejected": true,
    "smyth": "0.323065947219450514093636510723806394072241840780587016130868470361015112807269842083787609089371392073487291755962435461887672261567406"
  },
  "rows": [
    {
      "k": 0,
      "value": "0.323065947219450514093636510723806394072241840780587016130868470361015112807269842083787609089371392073487291755962435461887672261567406223033142577124471538551446691841865072995167407017143967236557094724515405",
      "precision_agreement": "150.3264828",
      "modular_agreement": "140.5027141",
      "eta_residual": "7.10413e-141",
      "q_tail_bound": "4.8697e-179",
      "tau": "(-0.5 + 0.2886751345948128822545744j)",
      "stored": "0.3230659472194505140936365107238063940722418407805870161308684703610151128072698420837876090893713921",
      "seconds": 0.567
    },
    {
      "k": 1,
      "value": "0.370392929826216113895377116950293254689136404434656816719314544110535235142469104642311243403157040557150114911689131111233088379741833463414156830299485729301889929543853834511188450273681172041192884065965271",
      "precision_agreement": "150.3136057",
      "modular_agreement": "140.2333515",
      "eta_residual": "7.87251e-141",
      "q_tail_bound": "6.95582e-178",
      "tau": "(-0.4387434572558812623827106 + 0.2821009913211424490685452j)",
      "stored": "0.3703929298262161138953771169502932546891364044346568167193145441105352351424691046423112434031570406",
      "seconds": 0.552
    },
    {
      "k": 2,
      "value": "0.541273981692507642460024261838158353412964502109648601279235425687179617784570992037099991117183061504632294451013177408245526779905997275640603183927002116347732046386163745023498299409258861465024704277414978",
      "precision_agreement": "152.674413",
      "modular_agreement": "139.9745637",
      "eta_residual": "1.37725e-280",
      "q_tail_bound": "7.96283e-174",
      "tau": "(-0.3333333333333333333333333 + 0.2357022603955158414669481j)",
      "stored": "0.5412739816925076424600242618381583534129645021096486012792354256871796177845709920370999911171830615",
      "seconds": 0.305
    },
    {
      "k": 3,
      "value": "0.85119848278192973083154628407872509086402943314971843375658732241299808668682120334565117447720473715260153268619072349182942254746842727184326872462848796722059094493119629041089653307634853459766668755696936",
      "precision_agreement": "150.3116094",
      "modular_agreement": "140.4856217",
      "eta_residual": "2.24241e-140",
      "q_tail_bound": "1.29298e-181",
      "tau": "(-0.25 + 0.3227486121839514070982721j)",
      "stored": "0.8511984827819297308315462840787250908640294331497184337565873224129980866868212033456511744772047372",
      "seconds": 0.556
    },
    {
      "k": 4,
      "value": "1.14105410604211695092198957827928001650240590972141582782414588797834186434218638030513816780755222704616895611442233221744478592141396374537563924391237898233466717470621821936652020289008933119349144733001957",
      "precision_agreement": "149.680915",
      "modular_agreement": "139.6706155",
      "eta_residual": "3.23009e-140",
      "q_tail_bound": "3.402e-185",
      "tau": "(-0.1942018279455005962891666 + 0.3590993131284058169422286j)",
      "stored": "1.141054106042116950921989578279280016502405909721415827824145887978341864342186380305138167807552227",
      "seconds": 0.498
    },
    {
      "k": 5,
      "value": "1.4142790195184057410112033475848414452605661945708676718642549900990392630364602877794539047276626101348656929656136104816068454336338656152719523365506557273570962579188488383143874350791221572159769235371181",
      "precision_agreement": "150.3338118",
      "modular_agreement": "139.7026384",
      "eta_residual": "2.10122e-140",
      "q_tail_bound": "5.08005e-187",
      "tau": "(-0.1324164528555444971347112 + 0.3861768373165615279472262j)",
      "stored": "1.414279019518405741011203347584841445260566194570867671864254990099039263036460287779453904727662610",
      "seconds": 0.62
    },
    {
      "k": 6,
      "value": "1.67338930297019673228343062165559807525770712134609610247514785655711398558324949404427947375664083645251864060547589307289640007221030416695650262859898426475594671814215473124139992619223304291891053063414337",
      "precision_agreement": "150.2168165",
      "modular_agreement": "139.585134",
      "eta_residual": "3.149e-140",
      "q_tail_bound": "3.56458e-189",
      "tau": "(0.0 + 0.408248290463863016366214j)",
      "stored": "1.673389302970196732283430621655598075257707121346096102475147856557113985583249494044279473756640836",
      "seconds": 0.516
    },
    {
      "k": 7,
      "value": "1.87087908028512877748391802128978103081155990854438418729662589955567079884953022180140124061751839236894516033334525156812417527020793081181481283107402361810385214065568610794963601870675041658657160886225958",
      "precision_agreement": "149.667429",
      "modular_agreement": "140.1014076",
      "eta_residual": "9.44701e-140",
      "q_tail_bound": "1.88323e-202",
      "tau": "(-2.629067138870400734797288e-162 + 0.552360046672569340220251j)",
      "stored": "1.870879080285128777483918021289781030811559908544384187296625899555670798849530221801401240617518392",
      "seconds": 0.52
    },
    {
      "k": 8,
      "value": "2.02538292151898861000315476516703719087101684183851280398794583602747186041825979548455624971116658470725310962600954971053718804008021162487631596111897505759130255518681920730708725487225101996206487097001254",
      "precision_agreement": "150.2958077",
      "modular_agreement": "139.9320514",
      "eta_residual": "5.24834e-140",
      "q_tail_bound": "2.86466e-208",
      "tau": "(1.456852399336081631039316e-182 + 0.6167683585045031780950793j)",
      "stored": "2.025382921518988610003154765167037190871016841838512803987945836027471860418259795484556249711166585",
      "seconds": 0.536
    },
    {
      "k": 9,
      "value": "2.15599742280205304112594123827256417591926110003662870923211713664478041126942280446605535317724254209912539303272868288020252341600849913275307601396212175281248926272154683654599207753019502224393416893087107",
      "precision_agreement": "150.0069535",
      "modular_agreement": "139.6622533",
      "eta_residual": "2.30927e-139",
      "q_tail_bound": "1.07365e-212",
      "tau": "(9.762962386834335551349615e-150 + 0.6661057467565339196853433j)",
      "stored": "2.155997422802053041125941238272564175919261100036628709232117136644780411269422804466055353177242542",
      "seconds": 0.511
    },
    {
      "k": 10,
      "value": "2.26995383951642395556734580696208784838337718789011983609944321778356907896825266027887519153029196866087146686496440314851192486285280427298809470602994942614608952284222138106082971226206451886818830228127574",
      "precision_agreement": "151.652091",
      "modular_agreement": "140.2802769",
      "eta_residual": "0.0",
      "q_tail_bound": "1.36799e-214",
      "tau": "(0.0 + 0.7071067811865475244008444j)",
      "stored": "2.269953839516423955567345806962087848383377187890119836099443217783569078968252660278875191530291969",
      "seconds": 0.518
    },
    {
      "k": 11,
      "value": "2.37135842517170439392654283137493639672606170928541113237710102292477367677419247288416193071766003447965738676910171090898881241907612832632613951958046209734916470954849386942370468647923587750776356239715854",
      "precision_agreement": "150.7102637",
      "modular_agreement": "139.9576996",
      "eta_residual": "5.87814e-139",
      "q_tail_bound": "1.53042e-217",
      "tau": "(-1.995515251798679426798265e-351 + 0.7425451525847894255202691j)",
      "stored": "2.371358425171704393926542831374936396726061709285411132377101022924773676774192472884161930717660034",
      "seconds": 0.533
    },
    {
      "k": 12,
      "value": "2.46286916405064152104812382000382864394568674608725792186130418500990782819449838681269704764937065045855858131117749279001913461348221824642604210155089371979048946422226416797388267632214490512134157005147843",
      "precision_agreement": "150.44024",
      "modular_agreement": "139.9757653",
      "eta_residual": "1.04967e-139",
      "q_tail_bound": "1.19986e-220",
      "tau": "(1.558996290467718302186144e-353 + 0.7739160866498212713535618j)",
      "stored": "2.462869164050641521048123820003828643945686746087257921861304185009907828194498386812697047649370650",
      "seconds": 0.612
    },
    {
      "k": 18,
      "value": "2.88088850681154780223320792291718824748189092904616167884742439602621878950752352331423573610771346483029551299825580646355833968302753079152165731862668102567344064853717313007530314076224702766305872247079021",
      "precision_agreement": "149.9385226",
      "modular_agreement": "140.1239218",
      "eta_residual": "4.19867e-140",
      "q_tail_bound": "6.49145e-234",
      "tau": "(0.0 + 0.9128709291752768557616163j)",
      "stored": "2.880888506811547802233207922917188247481890929046161678847424396026218789507523523314235736107713465",
      "seconds": 0.472
    }
  ],
  "derivative": {
    "six_times_derivative": "1.516386059151978018156012159681420779955387044452262676566980463658086320353521450401611741209688113926083547676140171244450685495",
    "watson_agreement": "140.46079"
  },
  "exterior_checks": [
    {
      "k": 7,
      "agreement": "140.10141",
      "tail": "9.92279e-154"
    },
    {
      "k": 8,
      "agreement": "139.42389",
      "tail": "7.1147e-154"
    },
    {
      "k": 9,
      "agreement": "139.66225",
      "tail": "8.74741e-154"
    },
    {
      "k": 10,
      "agreement": "140.28028",
      "tail": "3.19272e-154"
    },
    {
      "k": 11,
      "agreement": "139.9577",
      "tail": "6.63544e-154"
    },
    {
      "k": 12,
      "agreement": "139.97577",
      "tail": "2.02851e-154"
    },
    {
      "k": 18,
      "agreement": "139.56553",
      "tail": "6.67062e-155"
    }
  ],
  "arithmetic_relation_residual": "3.0e-100"
}