{
  "entries": 96,
  "convolution_matches": 96,
  "low_order_formula_matches": 24,
  "bernoulli_specializations": 12,
  "zeta_specializations_120_dps": 12,
  "positivity": 96,
  "strict_decrease": 88,
  "strict_log_convexity": 80,
  "mutation_control": "detected one changed entry at (7/2,12)",
  "measure": {
    "entries": 96,
    "longest": 52,
    "longest_at": [
      "7/2",
      12
    ],
    "block_kb": 5.45703125
  },
  "root_checks": {
    "root_count_per_order": 32,
    "working_decimal_digits": 80,
    "control_half_order_roots": 32,
    "known_sum_control": "1/6",
    "checked_entries": 96,
    "rows": [
      {
        "nu": "0",
        "n": 1,
        "partial_sum": "0.2468585350057277939169053158262737315739087125875584230032345563870567",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.976658027100119",
        "relative_tail_bound": "0.0128661820498207"
      },
      {
        "nu": "0",
        "n": 2,
        "partial_sum": "0.03124989803085981100753319926968804581397962200132178512136656270898353",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.931367682274245",
        "relative_tail_bound": "3.50346329183339e-6"
      },
      {
        "nu": "0",
        "n": 3,
        "partial_sum": "0.005208333327377561218448328006175151613044290469551579493922672202937969",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.8878918742935",
        "relative_tail_bound": "1.28789132907407e-9"
      },
      {
        "nu": "0",
        "n": 4,
        "partial_sum": "0.0008951822916662526773561072725082312211356300238659531347880229181585551",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.846174679588785",
        "relative_tail_bound": "5.46534547112017e-13"
      },
      {
        "nu": "0",
        "n": 5,
        "partial_sum": "0.0001546223958333333020087583242191822350446146583453629813980556827741912",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.806160301497803",
        "relative_tail_bound": "2.51299359247091e-16"
      },
      {
        "nu": "0",
        "n": 6,
        "partial_sum": "0.00002673113787615740740491489486619251160477458720451539693480117333680556",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.767793800899098",
        "relative_tail_bound": "1.21443787961463e-19"
      },
      {
        "nu": "0",
        "n": 7,
        "partial_sum": "0.00000462204060226521164021143516567392570427774264381900126209161361289349",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.731021246358386",
        "relative_tail_bound": "6.06858549192746e-23"
      },
      {
        "nu": "0",
        "n": 8,
        "partial_sum": "0.0000007992147137879063843419311996596991164455746117537645441755328380176402",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.695789761578472",
        "relative_tail_bound": "3.1059109525307e-26"
      },
      {
        "nu": "0",
        "n": 9,
        "partial_sum": "0.0000001381960787447017944024960807353407909983829716919412470605549073279257",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.662047545511579",
        "relative_tail_bound": "1.61837155081879e-29"
      },
      {
        "nu": "0",
        "n": 10,
        "partial_sum": "0.00000002389617830766034598166443146188503690847562596719391346692187621210326",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.629743883008656",
        "relative_tail_bound": "8.55106037809839e-33"
      },
      {
        "nu": "0",
        "n": 11,
        "partial_sum": "0.00000000413200911859523678119846920483494556438146626795247526384653040275114",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.598829151388661",
        "relative_tail_bound": "4.56878377809956e-36"
      },
      {
        "nu": "0",
        "n": 12,
        "partial_sum": "0.0000000007144866353143031966395845485828888285153985986583320928627857884913731",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.569254824817908",
        "relative_tail_bound": "2.46341948676171e-39"
      },
      {
        "nu": "1/2",
        "n": 1,
        "partial_sum": "0.1635493376664378225488173552867252597481676786733474275259527914685277",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.969154326639516",
        "relative_tail_bound": "0.019299273074731"
      },
      {
        "nu": "1/2",
        "n": 2,
        "partial_sum": "0.01111101147340744747795838782078707670130985311468145878613984536832441",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.910072762762627",
        "relative_tail_bound": "9.8534905082814e-6"
      },
      {
        "nu": "1/2",
        "n": 3,
        "partial_sum": "0.001058201052470453045020239752927534996714590769213785549863603983173367",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.854323781145677",
        "relative_tail_bound": "6.33884013528643e-9"
      },
      {
        "nu": "1/2",
        "n": 4,
        "partial_sum": "0.000105820105819713571522390290655868384150511915148721266015589124521411",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.801737655869402",
        "relative_tail_bound": "4.62339405699008e-12"
      },
      {
        "nu": "1/2",
        "n": 5,
        "partial_sum": "0.00001068889957778843745134668282587346730914685940239230262922527113592868",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.752152204018058",
        "relative_tail_bound": "3.63522069932348e-15"
      },
      {
        "nu": "1/2",
        "n": 6,
        "partial_sum": "0.000001082202140403198601966803086673005717396143506929683193622722126446778",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.705412504806286",
        "relative_tail_bound": "2.99974516682364e-18"
      },
      {
        "nu": "1/2",
        "n": 7,
        "partial_sum": "0.0000001096297392593688889983331186571564437369870961350937188483553717641567",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.661370627535767",
        "relative_tail_bound": "2.55854376116372e-21"
      },
      {
        "nu": "1/2",
        "n": 8,
        "partial_sum": "0.00000001110730439498983953802916887069532563085553481864769070224902102663474",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.619885368058722",
        "relative_tail_bound": "2.2348264211587e-24"
      },
      {
        "nu": "1/2",
        "n": 9,
        "partial_sum": "0.000000001125392325840449642710421397899164296774596523510988965629428692647099",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.580821993445419",
        "relative_tail_bound": "1.98733008160611e-27"
      },
      {
        "nu": "1/2",
        "n": 10,
        "partial_sum": "0.0000000001140257560229609143293190562834702660743483035681848649672994214058683",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.544051994572014",
        "relative_tail_bound": "1.79203077130628e-30"
      },
      {
        "nu": "1/2",
        "n": 11,
        "partial_sum": "0.00000000001155321629950131204826627332406457200403580212619943112799722937864229",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.50945284636324",
        "relative_tail_bound": "1.63402603591973e-33"
      },
      {
        "nu": "1/2",
        "n": 12,
        "partial_sum": "0.000000000001170585340991244197960472226562136059740580002343162111618307579650968",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.476907775441554",
        "relative_tail_bound": "1.50358990398225e-36"
      },
      {
        "nu": "1",
        "n": 1,
        "partial_sum": "0.1219063906619602956078106799575270110880329191349955719913886694317023",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.961780060645986",
        "relative_tail_bound": "0.0257323640996413"
      },
      {
        "nu": "1",
        "n": 2,
        "partial_sum": "0.00520823595106165470489083965593734335296705852738006530835562379316848",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.889472054974882",
        "relative_tail_bound": "2.10207797510003e-5"
      },
      {
        "nu": "1",
        "n": 3,
        "partial_sum": "0.000325520827817203989349524094091212118903246719247345328044460738004985",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.822349533796715",
        "relative_tail_bound": "2.06062612651851e-8"
      },
      {
        "nu": "1",
        "n": 4,
        "partial_sum": "0.00002170138888851703191116531457163146786358073832359105061604388050859072",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.760058172885979",
        "relative_tail_bound": "2.25445500683707e-11"
      },
      {
        "nu": "1",
        "n": 5,
        "partial_sum": "0.000001469364872685157897477196176354208345215126560031540460019149315792342",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.702268646684042",
        "relative_tail_bound": "2.64444248807708e-14"
      },
      {
        "nu": "1",
        "n": 6,
        "partial_sum": "0.00000009990873790922618837038294966562744390515599436088605179934467716378912",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.648673151295107",
        "relative_tail_bound": "3.24929601568004e-17"
      },
      {
        "nu": "1",
        "n": 7,
        "partial_sum": "0.000000006801447119872616291719114782712244879056601040445413055024964524173214",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.598983739242418",
        "relative_tail_bound": "4.1240118533086e-20"
      },
      {
        "nu": "1",
        "n": 8,
        "partial_sum": "0.0000000004631828705796816057955966998899009538612701035855928156759618915493004",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.552931028621387",
        "relative_tail_bound": "5.3592002007132e-23"
      },
      {
        "nu": "1",
        "n": 9,
        "partial_sum": "0.00000000003154633934302071181321036530989058686541416426515271429169493927813203",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.510263056800289",
        "relative_tail_bound": "7.08965309233636e-26"
      },
      {
        "nu": "1",
        "n": 10,
        "partial_sum": "0.000000000002148616522870375738161533396776712271413826903548596366052444060883839",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.470744221472651",
        "relative_tail_bound": "9.51019697277717e-29"
      },
      {
        "nu": "1",
        "n": 11,
        "partial_sum": "0.0000000000001463433048390360922283502076293918201553699689868098725809360585050798",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.43415428953076",
        "relative_tail_bound": "1.28999794372293e-31"
      },
      {
        "nu": "1",
        "n": 12,
        "partial_sum": "0.000000000000009967540287822724200021342987566899266829849915330002238199284336609508",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.400287464890301",
        "relative_tail_bound": "1.76581207563749e-34"
      },
      {
        "nu": "3/2",
        "n": 1,
        "partial_sum": "0.09692970559752931816462134772085158571398344271006840910250375051942544",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.954531621138837",
        "relative_tail_bound": "0.0321654551245517"
      },
      {
        "nu": "3/2",
        "n": 2,
        "partial_sum": "0.002857047657554991634695284584766533567995410509751109364795474885726191",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.869535815830416",
        "relative_tail_bound": "3.83191297544277e-5"
      },
      {
        "nu": "3/2",
        "n": 3,
        "partial_sum": "0.0001269841216723964149210735185126476666167670046252455298812918160175787",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.791877580246433",
        "relative_tail_bound": "5.28236677940536e-8"
      },
      {
        "nu": "3/2",
        "n": 4,
        "partial_sum": "0.000006101834672910527013692314224795276196169803212310532712394929661058316",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.720938344684367",
        "relative_tail_bound": "8.01804825198731e-11"
      },
      {
        "nu": "3/2",
        "n": 5,
        "partial_sum": "0.0000002993831565259881729553822808077910651727680901935477491742061093107113",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.656155585944432",
        "relative_tail_bound": "1.29788560749544e-13"
      },
      {
        "nu": "3/2",
        "n": 6,
        "partial_sum": "0.00000001478256353539800058008128627751603636058474214593259363579029841826695",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.597013321379452",
        "relative_tail_bound": "2.19605390663609e-16"
      },
      {
        "nu": "3/2",
        "n": 7,
        "partial_sum": "0.0000000007314053999394802381141014630020130185645817601208613298216112514283157",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.543037516001892",
        "relative_tail_bound": "3.8349796903779e-19"
      },
      {
        "nu": "3/2",
        "n": 8,
        "partial_sum": "0.00000000003621253426621005413742518245081496916934050511793244871543709472620432",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.493792560412365",
        "relative_tail_bound": "6.85478048768814e-22"
      },
      {
        "nu": "3/2",
        "n": 9,
        "partial_sum": "0.000000000001793318207799074025550775935319630060556083445520554141938307478945899",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.448878198169417",
        "relative_tail_bound": "1.24714398873821e-24"
      },
      {
        "nu": "3/2",
        "n": 10,
        "partial_sum": "0.0000000000000888154741784677882034858606804767471398743491729848891751005347589677",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.407926742364994",
        "relative_tail_bound": "2.30069889740168e-27"
      },
      {
        "nu": "3/2",
        "n": 11,
        "partial_sum": "0.000000000000004398767382057295003237300006768204995566719145671239327351046379525088",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.370600522286198",
        "relative_tail_bound": "4.29171506295204e-30"
      },
      {
        "nu": "3/2",
        "n": 12,
        "partial_sum": "0.0000000000000002178597969994052610240269414199901589077779299252390243051141897454146",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.336589530095022",
        "relative_tail_bound": "8.07895869134985e-33"
      },
      {
        "nu": "2",
        "n": 1,
        "partial_sum": "0.08028596029125226635903078505831009999144926419129557872688712667316658",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.947405541218358",
        "relative_tail_bound": "0.038598546149462"
      },
      {
        "nu": "2",
        "n": 2,
        "partial_sum": "0.001736018024541308612586560909749265022821585190115815316605713119973735",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.850235891046297",
        "relative_tail_bound": "6.3062339253001e-5"
      },
      {
        "nu": "2",
        "n": 3,
        "partial_sum": "0.00005787036525353414064302873637864698408277322493466870588888691011504434",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.762822556476074",
        "relative_tail_bound": "1.15910219616666e-7"
      },
      {
        "nu": "2",
        "n": 4,
        "partial_sum": "0.000002109857252751677986031136059518885185981729869781584968581409639488438",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.684196427922868",
        "relative_tail_bound": "2.31886800703241e-10"
      },
      {
        "nu": "2",
        "n": 5,
        "partial_sum": "0.00000007894023736035241107894791044686455754777241258912577907803720163983795",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.613492740466425",
        "relative_tail_bound": "4.92226908576165e-13"
      },
      {
        "nu": "2",
        "n": 6,
        "partial_sum": "0.00000000297894740417707542422393955622166755483667458575022257344130433243751",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.549931869301345",
        "relative_tail_bound": "1.0897576223228e-15"
      },
      {
        "nu": "2",
        "n": 7,
        "partial_sum": "0.0000000001127539690832394341814518504365078453631531958486444398957804009373968",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.492809576049644",
        "relative_tail_bound": "2.48765065833729e-18"
      },
      {
        "nu": "2",
        "n": 8,
        "partial_sum": "0.000000000004272399473089597350131658584487777565439085519875431571140802776318092",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.441489472248002",
        "relative_tail_bound": "5.81006001103748e-21"
      },
      {
        "nu": "2",
        "n": 9,
        "partial_sum": "0.0000000000001619512963491196462304135216828156015677866049842630301561631159620894",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.395396508602097",
        "relative_tail_bound": "1.38098679860524e-23"
      },
      {
        "nu": "2",
        "n": 10,
        "partial_sum": "0.000000000000006139891639143556614381099956502105875374650974162726700232248746400541",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.35401116606399",
        "relative_tail_bound": "3.32803371010488e-26"
      },
      {
        "nu": "2",
        "n": 11,
        "partial_sum": "0.0000000000000002327880024889371309982001014041049778406285134578769125379597042556227",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.316864216916208",
        "relative_tail_bound": "8.10963453019644e-29"
      },
      {
        "nu": "2",
        "n": 12,
        "partial_sum": "0.000000000000000008826108246056391154005191086636665781708639276215068017005633720851966",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.28353198080214",
        "relative_tail_bound": "1.99417484059351e-31"
      },
      {
        "nu": "5/2",
        "n": 1,
        "partial_sum": "0.06840373689233354696144132661155508795983503335508125966640147134453514",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.940398487919745",
        "relative_tail_bound": "0.0450316371743723"
      },
      {
        "nu": "5/2",
        "n": 2,
        "partial_sum": "0.001133695807774713012207298179151059959268361630526812813138085542944038",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.831545613156554",
        "relative_tail_bound": "9.65642069811578e-5"
      },
      {
        "nu": "5/2",
        "n": 3,
        "partial_sum": "0.00002944900410993377585858489306425555897918150789069748564137233648332228",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.735104804703843",
        "relative_tail_bound": "2.27775655527959e-7"
      },
      {
        "nu": "5/2",
        "n": 4,
        "partial_sum": "0.000000844995985591646667478965903583746454633323924540664722730859891434386",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.649665345684077",
        "relative_tail_bound": "5.7899452366291e-10"
      },
      {
        "nu": "5/2",
        "n": 5,
        "partial_sum": "0.00000002499886807349059417934282475857138763956207686932478441219400831559426",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.573990049301614",
        "relative_tail_bound": "1.55433073545183e-12"
      },
      {
        "nu": "5/2",
        "n": 6,
        "partial_sum": "0.0000000007476001967210690926038017545193834282386105860807487434670384405469825",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.506981680051231",
        "relative_tail_bound": "4.34233518722829e-15"
      },
      {
        "nu": "5/2",
        "n": 7,
        "partial_sum": "0.00000000002244793606704887002150064239964164933201880436295779604300763307779855",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.447664999781035",
        "relative_tail_bound": "1.24952460922141e-17"
      },
      {
        "nu": "5/2",
        "n": 8,
        "partial_sum": "0.0000000000006750941477061688644683809856071767078980888263888423954940347489113908",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.395172794057783",
        "relative_tail_bound": "3.67695341666323e-20"
      },
      {
        "nu": "5/2",
        "n": 9,
        "partial_sum": "0.00000000000002031516754021055025009069859033054473138526701585257123455537366519159",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.348733910845792",
        "relative_tail_bound": "1.10091438740269e-22"
      },
      {
        "nu": "5/2",
        "n": 10,
        "partial_sum": "0.0000000000000006114810562510543020291970267497977664181100021727847763363448246798476",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.307662739234473",
        "relative_tail_bound": "3.34168428319575e-25"
      },
      {
        "nu": "5/2",
        "n": 11,
        "partial_sum": "0.00000000000000001840721722881788377205648825739481540592235433807579994568298824200278",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.271349870212307",
        "relative_tail_bound": "1.02558990842147e-27"
      },
      {
        "nu": "5/2",
        "n": 12,
        "partial_sum": "0.0000000000000000005541282519813755011073240244731300446701309922295689908000230238019705",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.239253778346959",
        "relative_tail_bound": "3.17630493332655e-30"
      },
      {
        "nu": "3",
        "n": 1,
        "partial_sum": "0.05949733142643676108074946142339011651082574719161120957143714975173478",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.933507255512552",
        "relative_tail_bound": "0.0514647281992827"
      },
      {
        "nu": "3",
        "n": 2,
        "partial_sum": "0.0007811609419951798378055720764227567116414655274401650666961034326880681",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.813439707185811",
        "relative_tail_bound": "0.000140138531673336"
      },
      {
        "nu": "3",
        "n": 3,
        "partial_sum": "0.00001627603691320778388315711812762752167980942891822637306872200836186153",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.708649934114081",
        "relative_tail_bound": "4.12125225303702e-7"
      },
      {
        "nu": "3",
        "n": 4,
        "partial_sum": "0.0000003778366812456593788461037204098733871515126340587417299365990061761528",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.617191360876995",
        "relative_tail_bound": "1.29486646546539e-9"
      },
      {
        "nu": "3",
        "n": 5,
        "partial_sum": "0.000000009082612537181500065346473766741841644564425807217454293562475402944304",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.537384535380258",
        "relative_tail_bound": "4.27812029182247e-12"
      },
      {
        "nu": "3",
        "n": 6,
        "partial_sum": "0.0000000002211784349337231287518192176444893793868447672333234798080257717300182",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.467763349768173",
        "relative_tail_bound": "1.46774283902201e-14"
      },
      {
        "nu": "3",
        "n": 7,
        "partial_sum": "0.000000000005413825760022252421100315332774270859672343956274252260659400162963115",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.40704496273026",
        "relative_tail_bound": "5.18104013415663e-17"
      },
      {
        "nu": "3",
        "n": 8,
        "partial_sum": "0.000000000000132794367518639383748711372765496009631984910781826840629504084710538",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.354106297216436",
        "relative_tail_bound": "1.86927335802034e-19"
      },
      {
        "nu": "3",
        "n": 9,
        "partial_sum": "0.000000000000003260142158086853191219390264464032921352514249936778830880333286618262",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.307964119994068",
        "relative_tail_bound": "6.86021012060361e-22"
      },
      {
        "nu": "3",
        "n": 10,
        "partial_sum": "0.00000000000000008006713681327512231993498740293273587805838570505662713710606918104168",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.267757762726522",
        "relative_tail_bound": "2.55207906323846e-24"
      },
      {
        "nu": "3",
        "n": 11,
        "partial_sum": "0.0000000000000000019667098223426776370104800744118868268200562321260491846048981864578",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.232734017943271",
        "relative_tail_bound": "9.59890270416724e-27"
      },
      {
        "nu": "3",
        "n": 12,
        "partial_sum": "0.00000000000000000004831203187327968530364634476188500242043409568313841636132494440151214",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.202233897830399",
        "relative_tail_bound": "3.64315105827192e-29"
      },
      {
        "nu": "7/2",
        "n": 1,
        "partial_sum": "0.05257469032384695595535460856128411626308579187010818618337662317759682",
        "tail_bound": "0.00321654551245517",
        "gap_over_bound": "0.926728759212652",
        "relative_tail_bound": "0.057897819224193"
      },
      {
        "nu": "7/2",
        "n": 2,
        "partial_sum": "0.0005610800907674722418663604983081972706674849238875655473302758119473154",
        "tail_bound": "1.09483227869793e-7",
        "gap_over_bound": "0.795894203319337",
        "relative_tail_bound": "0.000195099112063972"
      },
      {
        "nu": "7/2",
        "n": 3,
        "partial_sum": "0.000009592597601184255134938771839075989234688788868699229691922607253074916",
        "tail_bound": "6.70776733892744e-12",
        "gap_over_bound": "0.683388419877039",
        "relative_tail_bound": "6.99264621781169e-7"
      },
      {
        "nu": "7/2",
        "n": 4,
        "partial_sum": "0.0000001841004456914766413910513310808693955403679557757010199643189323685303",
        "tail_bound": "4.89248048358739e-16",
        "gap_over_bound": "0.586632882593675",
        "relative_tail_bound": "2.6575060465411e-9"
      },
      {
        "nu": "7/2",
        "n": 5,
        "partial_sum": "0.000000003673142713001479382600086648067138391692867740016029863261171227882902",
        "tail_bound": "3.88565089981667e-20",
        "gap_over_bound": "0.503437524096381",
        "relative_tail_bound": "1.05785459575047e-11"
      },
      {
        "nu": "7/2",
        "n": 6,
        "partial_sum": "0.00000000007439655353918949447135047789311357870486446140719760623329167859459848",
        "tail_bound": "3.2463306402007e-24",
        "gap_over_bound": "0.431919662948367",
        "relative_tail_bound": "4.36354976913088e-14"
      },
      {
        "nu": "7/2",
        "n": 7,
        "partial_sum": "0.000000000001516265050929757148869157679586853469225800894336149173612652953627059",
        "tail_bound": "2.80492485420063e-28",
        "gap_over_bound": "0.370456946461421",
        "relative_tail_bound": "1.84989085680019e-16"
      },
      {
        "nu": "7/2",
        "n": 8,
        "partial_sum": "0.00000000000003098562415722706767880719333578796669928424329236458246841426713386821",
        "tail_bound": "2.48228973297755e-32",
        "gap_over_bound": "0.317650557883731",
        "relative_tail_bound": "8.01110127839261e-19"
      },
      {
        "nu": "7/2",
        "n": 9,
        "partial_sum": "0.0000000000000006339496917188583389109578203892825631447468995425604486630512717191446",
        "tail_bound": "2.23652602275139e-36",
        "gap_over_bound": "0.272294360658987",
        "relative_tail_bound": "3.52792351186005e-21"
      },
      {
        "nu": "7/2",
        "n": 10,
        "partial_sum": "0.00000000000000001297702206674796966109257366671240099239439846372560113142856656216402",
        "tail_bound": "2.04337663514609e-40",
        "gap_over_bound": "0.233348504171674",
        "relative_tail_bound": "1.57461135893572e-23"
      },
      {
        "nu": "7/2",
        "n": 11,
        "partial_sum": "0.0000000000000000002657026838713475539612237243458769733475516125614459589114278311644191",
        "tail_bound": "1.88782562319974e-44",
        "gap_over_bound": "0.199916695384699",
        "relative_tail_bound": "7.105030313182e-26"
      },
      {
        "nu": "7/2",
        "n": 12,
        "partial_sum": "0.000000000000000000005440789116161313611073480168529304254029548380849273556958730287965951",
        "tail_bound": "1.76008030046406e-48",
        "gap_over_bound": "0.171226578455735",
        "relative_tail_bound": "3.23497246977634e-28"
      }
    ],
    "limitation": "Numerically indexed roots; this check does not certify 100 digits. Exactness comes from rational coefficient extraction and the canonical product."
  },
  "mode": "generated",
  "skill_manifest": "agents/runs/20261026T235354Z-build-skills/manifest.json",
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "versions": {
    "python": "3.12.3",
    "mpmath": "1.4.1",
    "generator_environment": {
      "python": "3.12.3",
      "numberdb": "0.1.10",
      "sage": "10.9"
    }
  },
  "sha256": {
    "generate.py": "574ffa79ec268d003ead3db9b09fd951b728ce4596b1b7b077e6e11ee6150a72",
    "checks.py": "86703ec392959509997ac79a7bb6f529a9bff4311485137a2daf06678620d119",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b"
  },
  "values": [
    {
      "nu": "0",
      "n": 1,
      "number": "1/4"
    },
    {
      "nu": "0",
      "n": 2,
      "number": "1/32"
    },
    {
      "nu": "0",
      "n": 3,
      "number": "1/192"
    },
    {
      "nu": "0",
      "n": 4,
      "number": "11/12288"
    },
    {
      "nu": "0",
      "n": 5,
      "number": "19/122880"
    },
    {
      "nu": "0",
      "n": 6,
      "number": "473/17694720"
    },
    {
      "nu": "0",
      "n": 7,
      "number": "229/49545216"
    },
    {
      "nu": "0",
      "n": 8,
      "number": "101369/126835752960"
    },
    {
      "nu": "0",
      "n": 9,
      "number": "946523/6849130659840"
    },
    {
      "nu": "0",
      "n": 10,
      "number": "65467219/2739652263936000"
    },
    {
      "nu": "0",
      "n": 11,
      "number": "249045899/60272349806592000"
    },
    {
      "nu": "0",
      "n": 12,
      "number": "9921896851/13886749395438796800"
    },
    {
      "nu": "1/2",
      "n": 1,
      "number": "1/6"
    },
    {
      "nu": "1/2",
      "n": 2,
      "number": "1/90"
    },
    {
      "nu": "1/2",
      "n": 3,
      "number": "1/945"
    },
    {
      "nu": "1/2",
      "n": 4,
      "number": "1/9450"
    },
    {
      "nu": "1/2",
      "n": 5,
      "number": "1/93555"
    },
    {
      "nu": "1/2",
      "n": 6,
      "number": "691/638512875"
    },
    {
      "nu": "1/2",
      "n": 7,
      "number": "2/18243225"
    },
    {
      "nu": "1/2",
      "n": 8,
      "number": "3617/325641566250"
    },
    {
      "nu": "1/2",
      "n": 9,
      "number": "43867/38979295480125"
    },
    {
      "nu": "1/2",
      "n": 10,
      "number": "174611/1531329465290625"
    },
    {
      "nu": "1/2",
      "n": 11,
      "number": "155366/13447856940643125"
    },
    {
      "nu": "1/2",
      "n": 12,
      "number": "236364091/201919571963756521875"
    },
    {
      "nu": "1",
      "n": 1,
      "number": "1/8"
    },
    {
      "nu": "1",
      "n": 2,
      "number": "1/192"
    },
    {
      "nu": "1",
      "n": 3,
      "number": "1/3072"
    },
    {
      "nu": "1",
      "n": 4,
      "number": "1/46080"
    },
    {
      "nu": "1",
      "n": 5,
      "number": "13/8847360"
    },
    {
      "nu": "1",
      "n": 6,
      "number": "11/110100480"
    },
    {
      "nu": "1",
      "n": 7,
      "number": "647/95126814720"
    },
    {
      "nu": "1",
      "n": 8,
      "number": "1133/2446118092800"
    },
    {
      "nu": "1",
      "n": 9,
      "number": "43213/1369826131968000"
    },
    {
      "nu": "1",
      "n": 10,
      "number": "777013/361634098839552000"
    },
    {
      "nu": "1",
      "n": 11,
      "number": "2540291/17358436744298496000"
    },
    {
      "nu": "1",
      "n": 12,
      "number": "31489807/3159235487462326272000"
    },
    {
      "nu": "3/2",
      "n": 1,
      "number": "1/10"
    },
    {
      "nu": "3/2",
      "n": 2,
      "number": "1/350"
    },
    {
      "nu": "3/2",
      "n": 3,
      "number": "1/7875"
    },
    {
      "nu": "3/2",
      "n": 4,
      "number": "37/6063750"
    },
    {
      "nu": "3/2",
      "n": 5,
      "number": "59/197071875"
    },
    {
      "nu": "3/2",
      "n": 6,
      "number": "2753/186232921875"
    },
    {
      "nu": "3/2",
      "n": 7,
      "number": "1654/2261399765625"
    },
    {
      "nu": "3/2",
      "n": 8,
      "number": "8386459/231589949997656250"
    },
    {
      "nu": "3/2",
      "n": 9,
      "number": "28033727/15632321624841796875"
    },
    {
      "nu": "3/2",
      "n": 10,
      "number": "14529522883/163592245803969404296875"
    },
    {
      "nu": "3/2",
      "n": 11,
      "number": "327092834/74360111729077001953125"
    },
    {
      "nu": "3/2",
      "n": 12,
      "number": "47497385017/218018127581059225341796875"
    },
    {
      "nu": "2",
      "n": 1,
      "number": "1/12"
    },
    {
      "nu": "2",
      "n": 2,
      "number": "1/576"
    },
    {
      "nu": "2",
      "n": 3,
      "number": "1/17280"
    },
    {
      "nu": "2",
      "n": 4,
      "number": "7/3317760"
    },
    {
      "nu": "2",
      "n": 5,
      "number": "11/139345920"
    },
    {
      "nu": "2",
      "n": 6,
      "number": "797/267544166400"
    },
    {
      "nu": "2",
      "n": 7,
      "number": "181/1605264998400"
    },
    {
      "nu": "2",
      "n": 8,
      "number": "823/192631799808000"
    },
    {
      "nu": "2",
      "n": 9,
      "number": "2059/12713698787328000"
    },
    {
      "nu": "2",
      "n": 10,
      "number": "839309/136697689361350656000"
    },
    {
      "nu": "2",
      "n": 11,
      "number": "12410417/53312098850926755840000"
    },
    {
      "nu": "2",
      "n": 12,
      "number": "1264807099/143302921711291119697920000"
    },
    {
      "nu": "5/2",
      "n": 1,
      "number": "1/14"
    },
    {
      "nu": "5/2",
      "n": 2,
      "number": "1/882"
    },
    {
      "nu": "5/2",
      "n": 3,
      "number": "1/33957"
    },
    {
      "nu": "5/2",
      "n": 4,
      "number": "47/55621566"
    },
    {
      "nu": "5/2",
      "n": 5,
      "number": "73/2920132215"
    },
    {
      "nu": "5/2",
      "n": 6,
      "number": "8573/11467359208305"
    },
    {
      "nu": "5/2",
      "n": 7,
      "number": "20542/915095264822739"
    },
    {
      "nu": "5/2",
      "n": 8,
      "number": "1686527/2498210072966077470"
    },
    {
      "nu": "5/2",
      "n": 9,
      "number": "2643559/130127354094791858805"
    },
    {
      "nu": "5/2",
      "n": 10,
      "number": "10652488897/17420799529440260097519375"
    },
    {
      "nu": "5/2",
      "n": 11,
      "number": "32220274/1750415263723662497836875"
    },
    {
      "nu": "5/2",
      "n": 12,
      "number": "60024688925533/108322737039493984681444624478625"
    },
    {
      "nu": "3",
      "n": 1,
      "number": "1/16"
    },
    {
      "nu": "3",
      "n": 2,
      "number": "1/1280"
    },
    {
      "nu": "3",
      "n": 3,
      "number": "1/61440"
    },
    {
      "nu": "3",
      "n": 4,
      "number": "13/34406400"
    },
    {
      "nu": "3",
      "n": 5,
      "number": "1/110100480"
    },
    {
      "nu": "3",
      "n": 6,
      "number": "263/1189085184000"
    },
    {
      "nu": "3",
      "n": 7,
      "number": "103/19025362944000"
    },
    {
      "nu": "3",
      "n": 8,
      "number": "15563/117196235735040000"
    },
    {
      "nu": "3",
      "n": 9,
      "number": "55019/16876257945845760000"
    },
    {
      "nu": "3",
      "n": 10,
      "number": "127753/1595573478516326400000"
    },
    {
      "nu": "3",
      "n": 11,
      "number": "3866053/1965746525532114124800000"
    },
    {
      "nu": "3",
      "n": 12,
      "number": "205133491/4246012495149366509568000000"
    },
    {
      "nu": "7/2",
      "n": 1,
      "number": "1/18"
    },
    {
      "nu": "7/2",
      "n": 2,
      "number": "1/1782"
    },
    {
      "nu": "7/2",
      "n": 3,
      "number": "1/104247"
    },
    {
      "nu": "7/2",
      "n": 4,
      "number": "19/103204530"
    },
    {
      "nu": "7/2",
      "n": 5,
      "number": "29/7895146545"
    },
    {
      "nu": "7/2",
      "n": 6,
      "number": "14363/193060018464885"
    },
    {
      "nu": "7/2",
      "n": 7,
      "number": "18442/12162781163287755"
    },
    {
      "nu": "7/2",
      "n": 8,
      "number": "8581361/276946527088062181350"
    },
    {
      "nu": "7/2",
      "n": 9,
      "number": "256771367/405034295866290940224375"
    },
    {
      "nu": "7/2",
      "n": 10,
      "number": "8846081929/681672719942967652397623125"
    },
    {
      "nu": "7/2",
      "n": 11,
      "number": "4297537526/16174234536828596115979966875"
    },
    {
      "nu": "7/2",
      "n": 12,
      "number": "733790620664989/134868417981012754341003822328081875"
    }
  ]
}