{
  "table": "T607",
  "skill_manifest": "agents/runs/20261029T103821Z-build-skills/manifest.json",
  "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
  "entry_count": 16,
  "controls_passed": true,
  "partial_fraction_identities_checked": 12,
  "minimum_accuracy_bits": 423,
  "stored_values_checked": true,
  "rows": [
    {
      "algebra": "A1",
      "m": 1,
      "coefficient": "1/6",
      "pi_exponent": 2,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "A1",
      "m": 2,
      "coefficient": "1/90",
      "pi_exponent": 4,
      "accuracy_bits": 426,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "A1",
      "m": 3,
      "coefficient": "1/945",
      "pi_exponent": 6,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "A1",
      "m": 4,
      "coefficient": "1/9450",
      "pi_exponent": 8,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "A2",
      "m": 1,
      "coefficient": "4/2835",
      "pi_exponent": 6,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.3564571615350203585260399362914045973982090077849329591475757312293274177374526836781950114041262837275993019155555925957331191923361458676643509872408861177558143277025411460 +/- 7.73e-176]",
      "tail_bound": "[2.61455228622472514545506662789348791316183392398643245337098158100447252655538062069198115765215350040436477496200750776867663810571830715804911128096718196365314055978101508632541e-7 +/- 4.68e-187]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "A2",
      "m": 2,
      "coefficient": "304/273648375",
      "pi_exponent": 12,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0267842123422283591307705446263054039243882566257573246718533011849000470457779137725132758238418557977459852898745731853818148059168838084011084051635284867922819671231342365 +/- 4.56e-176]",
      "tail_bound": "[6.8664009951592001935643524374263784664531010645021507881870512807618657152819050953552249688938141936552359487325117219581070288836018719160568548908749875631114755091467180425710e-17 +/- 5.27e-196]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "A2",
      "m": 3,
      "coefficient": "131968/116937886440375",
      "pi_exponent": 18,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0027925605470900335017680162764422846334270745904119800885525109749659657221659226131547805509136590878571343188338312817254830988740398672032866059532462759966813406939934825 +/- 6.53e-176]",
      "tail_bound": "[3.82512025994940655448976256994257964503510365750607257613819134162117477785014895080437753162572520618204843233290420403600738427176917914353096971806326170490791740548076764689163e-26 +/- 2.93e-206]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "A2",
      "m": 4,
      "coefficient": "8267008/7060124893837640625",
      "pi_exponent": 24,
      "accuracy_bits": 424,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0003061035762295488236895582915376605302363057526030640089810919633287885311218167077990127616138954018245847716738842695351756077656320426078213333790355389480620860260875022 +/- 3.17e-176]",
      "tail_bound": "[2.57837686237705299468828033852866199813162277929197446788250257054909661334599790002724519069728338323912454690842644669380545642340245529798819655301214481459390686083909322127231e-35 +/- 3.72e-215]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "B2",
      "m": 1,
      "coefficient": "1/8400",
      "pi_exponent": 8,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.1295870257100473145496998110609811405539320950438103122301945000500270529327337940091359355062784038022402656556608608676078681056868284947949593725745424233910588687901529739 +/- 6.89e-176]",
      "tail_bound": "[1.34645293670783193449567411333320948897112876792209007722886090635530010637274316327445013535705842038951585624645619792469538171490467630896236428425052476918477621296095671330997e-11 +/- 5.55e-191]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "B2",
      "m": 2,
      "coefficient": "479/42882840000",
      "pi_exponent": 16,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0056571296062723670506808884547318081001416895424410333025558063356019100404595316181895847610382378026347349832856793808915778997971450109060125747627882724267487669755834139 +/- 5.53e-176]",
      "tail_bound": "[4.37782722770958278096452923864343571623093032928566201321022575081281245098760722044502230678385207036909753844538040046107818035267558320555571542705822007905434640023008153051158e-25 +/- 8.18e-205]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "B2",
      "m": 3,
      "coefficient": "830287/709072845304824000",
      "pi_exponent": 24,
      "accuracy_bits": 424,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0003093514656086519944698354723430441325150444013702216771490879088099397412875558814688293331683393694666082603461697288209025233204452172053569059661885006782396979635062683 +/- 5.81e-176]",
      "tail_bound": "[3.25521727007506492327546030257964396238576570471551187735957448323771451068335039300242748785299204870335347723188513800611304343234746617742918789297948283815373737333389960543853e-38 +/- 5.28e-218]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "B2",
      "m": 4,
      "coefficient": "15426208283/125039541863003367600000000",
      "pi_exponent": 32,
      "accuracy_bits": 424,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0000178297411518597565529229748402789848889109374757473558749485206598205938202773324718069750223587443230603408442622244041347209400155750434092372792973871827879273649276859 +/- 5.97e-176]",
      "tail_bound": "[3.00208715254765685691335368044278461876222236945667991396497165879397804395620972445407495294643796026460436027205408964089089801278896285663218702596059729009618985455343286019812e-51 +/- 4.93e-231]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "G2",
      "m": 1,
      "coefficient": "460/413756343",
      "pi_exponent": 12,
      "accuracy_bits": 425,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0275705271804186591336959890148627389956424850742064307735594360430061142616432771791548050356248768263237658072332276102775240038160980456093917276161022689861658403254507817 +/- 4.48e-176]",
      "tail_bound": "[1.41051475007258461178459622217972309480172839993817154717664335675668672384554889953135563997430165373581360954297423165768095317218988563204827887465432581466411409624665018047685e-19 +/- 2.57e-199]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "G2",
      "m": 2,
      "coefficient": "130650448/111561626244564761265",
      "pi_exponent": 24,
      "accuracy_bits": 424,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0004445242364333708419711023990694319303594142379779147185330585318095596290169481583604420009456680413661330295830140221467023436244228212710750237580174066574231619257954019 +/- 4.40e-176]",
      "tail_bound": "[1.29334750400973703093644882417136013963920763922817294658153040746043440685885650383722669994110325466396061608811271828682891820470412574990752627327277810255532921968483288256250e-40 +/- 3.40e-220]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "G2",
      "m": 3,
      "coefficient": "7160389116760398976/5653641816809442152955684794258337447",
      "pi_exponent": 36,
      "accuracy_bits": 424,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0000086352754377374413642417239207539203180729665753633631747901278210187449418355664279362401128788821424132631183452239536586531639890243263099201598840711827466742933848069 +/- 7.43e-176]",
      "tail_bound": "[2.37147611678506780133439092789925195843163763442101347136371156654863228334871365860384070997089074488247302764731844867787507978105536710640533945765648277636947801890363418107818e-61 +/- 8.39e-241]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    },
    {
      "algebra": "G2",
      "m": 4,
      "coefficient": "12120669558087489732611888384/8845460043390621694115611631781759331380358977362625",
      "pi_exponent": 48,
      "accuracy_bits": 423,
      "published_exact_agreement": true,
      "independent_ball_agreement": true,
      "finite_sum_bound": 256,
      "finite_sum": "[1.0000001741476750517351674089762470145830018813938096382349011120424593829779320506084337284942613932182673572110596003194751675493908063517323721940482096697082691793759297041 +/- 5.48e-176]",
      "tail_bound": "[5.18267448043442846724059272200122270325672744294287233956237856959102252506721322174981696542199756264362555604304041476931348661846439652797813426593597793667743739562558744200272e-82 +/- 8.24e-262]",
      "tail_contains_value": true,
      "stored_interval_contains_independent_ball": true
    }
  ],
  "versions": {
    "SageMath": "10.9",
    "numberdb": "0.1.10"
  }
}