{
  "source": {
    "ages": [
      130,
      105,
      90,
      70,
      65,
      62,
      65,
      67,
      52
    ],
    "caps": [
      1307,
      1177,
      1072,
      982,
      912,
      847,
      785,
      720,
      653
    ],
    "lives": [
      930,
      912,
      905,
      910,
      895,
      847,
      365,
      720,
      653
    ]
  },
  "diagnostic_reallocation": {
    "ages": [
      130,
      105,
      90,
      70,
      65,
      42,
      65,
      87,
      52
    ],
    "caps": [
      1307,
      1177,
      1072,
      982,
      912,
      847,
      805,
      740,
      653
    ],
    "lives": [
      930,
      912,
      905,
      910,
      895,
      847,
      365,
      740,
      653
    ]
  },
  "output_difference": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    20,
    0
  ],
  "scope": "formal positive-age counterexample, not an admitted manuscript state"
}