[
  {
    "N": 2,
    "interval": [
      "1/10",
      "1/10"
    ],
    "checks": [
      {
        "protected_division": "1/10",
        "exposure": {
          "baseline_residual": [
            "-3481505031511/100000000000000000",
            "-229934377943/20000000000000000",
            "-1213436145339/200000000000000000",
            "-41711575071043/100000000000000000",
            "-5829270267419/40000000000000000",
            "-543353797206511/200000000000000000"
          ],
          "control_slack": [
            "86017349990117/1676601975000000",
            "22815870426167/419150493750000",
            "25107416571351/1117734650000000",
            "0",
            "1413078295249073/3353203950000000",
            "129968154576927/223546930000000"
          ],
          "continuation_residual": [
            "-3481505031511/100000000000000000",
            "-229934377943/20000000000000000",
            "-1213436145339/200000000000000000",
            "-41711575071043/100000000000000000",
            "-5829270267419/40000000000000000",
            "-543353797206511/200000000000000000"
          ]
        },
        "weighted_slack": [
          "18802447/2500000000",
          "731979/125000000",
          "106017/20000000",
          "4464621/100000000",
          "11410761/500000000",
          "142651771/2500000000"
        ]
      },
      {
        "protected_division": "1/10",
        "exposure": {
          "baseline_residual": [
            "-3481505031511/100000000000000000",
            "-229934377943/20000000000000000",
            "-1213436145339/200000000000000000",
            "-41711575071043/100000000000000000",
            "-5829270267419/40000000000000000",
            "-543353797206511/200000000000000000"
          ],
          "control_slack": [
            "86017349990117/1676601975000000",
            "22815870426167/419150493750000",
            "25107416571351/1117734650000000",
            "0",
            "1413078295249073/3353203950000000",
            "129968154576927/223546930000000"
          ],
          "continuation_residual": [
            "-3481505031511/100000000000000000",
            "-229934377943/20000000000000000",
            "-1213436145339/200000000000000000",
            "-41711575071043/100000000000000000",
            "-5829270267419/40000000000000000",
            "-543353797206511/200000000000000000"
          ]
        },
        "weighted_slack": [
          "18802447/2500000000",
          "731979/125000000",
          "106017/20000000",
          "4464621/100000000",
          "11410761/500000000",
          "142651771/2500000000"
        ]
      }
    ],
    "scope": "Same witness at both endpoints; affine dependence extends inequalities through this fixed-parameter interval."
  },
  {
    "N": 2,
    "interval": [
      "2/25",
      "1/10"
    ],
    "checks": [
      {
        "protected_division": "2/25",
        "exposure": {
          "baseline_residual": [
            "-3019172965439/100000000000000000",
            "-31181650319/3125000000000000",
            "-1053592038879/200000000000000000",
            "-36108102297051/125000000000000000",
            "-25248259967991/200000000000000000",
            "-234789783849473/125000000000000000"
          ],
          "control_slack": [
            "74449063292097/1558509475000000",
            "315986943013157/6234037900000000",
            "65237017775293/3117018950000000",
            "0",
            "2441258738377859/6234037900000000",
            "841987984102613/1558509475000000"
          ],
          "continuation_residual": [
            "-3019172965439/100000000000000000",
            "-31181650319/3125000000000000",
            "-1053592038879/200000000000000000",
            "-36108102297051/125000000000000000",
            "-25248259967991/200000000000000000",
            "-234789783849473/125000000000000000"
          ]
        },
        "weighted_slack": [
          "18802447/2500000000",
          "731979/125000000",
          "106017/20000000",
          "7302327/100000000",
          "11410761/500000000",
          "82535749/625000000"
        ]
      },
      {
        "protected_division": "1/10",
        "exposure": {
          "baseline_residual": [
            "-3019172965439/100000000000000000",
            "-31181650319/3125000000000000",
            "-1053592038879/200000000000000000",
            "-68149129797051/100000000000000000",
            "-25248259967991/200000000000000000",
            "-412112811349473/100000000000000000"
          ],
          "control_slack": [
            "74449063292097/1558509475000000",
            "315986943013157/6234037900000000",
            "65237017775293/3117018950000000",
            "0",
            "2441258738377859/6234037900000000",
            "841987984102613/1558509475000000"
          ],
          "continuation_residual": [
            "-3019172965439/100000000000000000",
            "-31181650319/3125000000000000",
            "-1053592038879/200000000000000000",
            "-68149129797051/100000000000000000",
            "-25248259967991/200000000000000000",
            "-412112811349473/100000000000000000"
          ]
        },
        "weighted_slack": [
          "18802447/2500000000",
          "731979/125000000",
          "106017/20000000",
          "4464621/100000000",
          "11410761/500000000",
          "142651771/2500000000"
        ]
      }
    ],
    "scope": "Same witness at both endpoints; affine dependence extends inequalities through this fixed-parameter interval."
  },
  {
    "N": 4,
    "interval": [
      "1/10",
      "1/10"
    ],
    "checks": [
      {
        "protected_division": "1/10",
        "exposure": {
          "baseline_residual": [
            "-510383042951/4000000000000000",
            "-763573101449/20000000000000000",
            "-3470730768461/200000000000000000",
            "-3913690351689/400000000000000000",
            "-5056148312077/800000000000000000",
            "-17859715548033/20000000000000000",
            "-63410985273017/200000000000000000",
            "-55547896880991/400000000000000000",
            "-57887408180569/800000000000000000",
            "-359067519282107/100000000000000000",
            "-30386151461699/20000000000000000",
            "-544961616151269/800000000000000000",
            "-410067287497301/80000000000000000",
            "-2303127695480353/800000000000000000",
            "-4769055474716761/800000000000000000"
          ],
          "control_slack": [
            "68885173833361/749974690000000",
            "19233331944177/187493672500000",
            "156620706271861/3749873450000000",
            "193618106752687/7499746900000000",
            "72125063799043/3749873450000000",
            "0",
            "1611732637766377/3749873450000000",
            "2434871911289241/7499746900000000",
            "376109606315453/1874936725000000",
            "2270932970885251/3749873450000000",
            "388410361316941/1874936725000000",
            "355627455857511/749974690000000",
            "4909179523922503/7499746900000000",
            "2446501162081331/7499746900000000",
            "313268353750883/468734181250000"
          ],
          "continuation_residual": [
            "-510383042951/4000000000000000",
            "-763573101449/20000000000000000",
            "-3470730768461/200000000000000000",
            "-3913690351689/400000000000000000",
            "-5056148312077/800000000000000000",
            "-17859715548033/20000000000000000",
            "-63410985273017/200000000000000000",
            "-55547896880991/400000000000000000",
            "-57887408180569/800000000000000000",
            "-359067519282107/100000000000000000",
            "-30386151461699/20000000000000000",
            "-544961616151269/800000000000000000",
            "-410067287497301/80000000000000000",
            "-2303127695480353/800000000000000000",
            "-4769055474716761/800000000000000000"
          ]
        },
        "weighted_slack": [
          "2531101/1250000000",
          "39277/31250000",
          "604963/625000000",
          "4173401/5000000000",
          "30619/40000000",
          "30522707/2500000000",
          "31847209/5000000000",
          "3883699/1000000000",
          "13283131/5000000000",
          "40074041/2500000000",
          "6805539/625000000",
          "13608237/2000000000",
          "44510199/2500000000",
          "137055687/10000000000",
          "187707529/10000000000"
        ]
      },
      {
        "protected_division": "1/10",
        "exposure": {
          "baseline_residual": [
            "-510383042951/4000000000000000",
            "-763573101449/20000000000000000",
            "-3470730768461/200000000000000000",
            "-3913690351689/400000000000000000",
            "-5056148312077/800000000000000000",
            "-17859715548033/20000000000000000",
            "-63410985273017/200000000000000000",
            "-55547896880991/400000000000000000",
            "-57887408180569/800000000000000000",
            "-359067519282107/100000000000000000",
            "-30386151461699/20000000000000000",
            "-544961616151269/800000000000000000",
            "-410067287497301/80000000000000000",
            "-2303127695480353/800000000000000000",
            "-4769055474716761/800000000000000000"
          ],
          "control_slack": [
            "68885173833361/749974690000000",
            "19233331944177/187493672500000",
            "156620706271861/3749873450000000",
            "193618106752687/7499746900000000",
            "72125063799043/3749873450000000",
            "0",
            "1611732637766377/3749873450000000",
            "2434871911289241/7499746900000000",
            "376109606315453/1874936725000000",
            "2270932970885251/3749873450000000",
            "388410361316941/1874936725000000",
            "355627455857511/749974690000000",
            "4909179523922503/7499746900000000",
            "2446501162081331/7499746900000000",
            "313268353750883/468734181250000"
          ],
          "continuation_residual": [
            "-510383042951/4000000000000000",
            "-763573101449/20000000000000000",
            "-3470730768461/200000000000000000",
            "-3913690351689/400000000000000000",
            "-5056148312077/800000000000000000",
            "-17859715548033/20000000000000000",
            "-63410985273017/200000000000000000",
            "-55547896880991/400000000000000000",
            "-57887408180569/800000000000000000",
            "-359067519282107/100000000000000000",
            "-30386151461699/20000000000000000",
            "-544961616151269/800000000000000000",
            "-410067287497301/80000000000000000",
            "-2303127695480353/800000000000000000",
            "-4769055474716761/800000000000000000"
          ]
        },
        "weighted_slack": [
          "2531101/1250000000",
          "39277/31250000",
          "604963/625000000",
          "4173401/5000000000",
          "30619/40000000",
          "30522707/2500000000",
          "31847209/5000000000",
          "3883699/1000000000",
          "13283131/5000000000",
          "40074041/2500000000",
          "6805539/625000000",
          "13608237/2000000000",
          "44510199/2500000000",
          "137055687/10000000000",
          "187707529/10000000000"
        ]
      }
    ],
    "scope": "Same witness at both endpoints; affine dependence extends inequalities through this fixed-parameter interval."
  }
]