SP age cap inequalities.json

{
  "positivity": [
    "m>0",
    "s>0",
    "k>0",
    "460-3m-s-k>0",
    "127-m>0"
  ],
  "nonclipped_bounds": [
    "m>=48",
    "m+k>=63",
    "2m+s<=402"
  ],
  "integer_m_range": [
    48,
    126
  ],
  "witnesses": [
    [
      96,
      105,
      141,
      70,
      48,
      79,
      48,
      67,
      52
    ],
    [
      130,
      105,
      90,
      70,
      65,
      62,
      65,
      67,
      52
    ],
    [
      252,
      1,
      80,
      1,
      126,
      1,
      126,
      67,
      52
    ]
  ],
  "outputs": [
    [
      930,
      912,
      905,
      910,
      895,
      847,
      365,
      720,
      653
    ],
    [
      930,
      912,
      905,
      910,
      895,
      847,
      365,
      720,
      653
    ],
    [
      930,
      912,
      905,
      910,
      895,
      847,
      365,
      720,
      653
    ]
  ],
  "scope": "formal positive-age alternatives, not newly admitted source biographies"
}