{
  "full_class": {
    "constant200": {
      "n": 200,
      "low_action": "B",
      "high_action": "A",
      "low_cut": 106,
      "high_cut": 137,
      "p_minus": "632638322155363/1046892089843750",
      "p_plus": "641169328086883/1046892089843750",
      "probability_enclosures": {
        "-1/5": {
          "low": [
            "999999999999999/1000000000000000",
            "1"
          ],
          "high": [
            "0",
            "1/1000000000000000"
          ],
          "unresolved": [
            "0",
            "1/1000000000000000"
          ],
          "resolution": [
            "999999999999999/1000000000000000",
            "1"
          ]
        },
        "1/5": {
          "low": [
            "53/15625000000000",
            "3393/1000000000000000"
          ],
          "high": [
            "61931676609759/62500000000000",
            "198181365151229/200000000000000"
          ],
          "unresolved": [
            "9093174240463/1000000000000000",
            "568323390029/62500000000000"
          ],
          "resolution": [
            "61931676609971/62500000000000",
            "990906825759537/1000000000000000"
          ]
        }
      },
      "boundary_error_enclosures": [
        [
          "9776514700637/500000000000000",
          "782121176051/40000000000000"
        ],
        [
          "2498963622041/125000000000000",
          "19991708976329/1000000000000000"
        ]
      ]
    },
    "pulse800": {
      "n": 800,
      "low_action": "AB",
      "high_action": "BA",
      "low_cut": 496,
      "high_cut": 584,
      "p_minus": "5225907136982400861/7986274951660156250",
      "p_plus": "2532508301120353299/3630124978027343750",
      "probability_enclosures": {
        "-1/5": {
          "low": [
            "999999999999999/1000000000000000",
            "1"
          ],
          "high": [
            "0",
            "1/1000000000000000"
          ],
          "unresolved": [
            "0",
            "1/1000000000000000"
          ],
          "resolution": [
            "999999999999999/1000000000000000",
            "1"
          ]
        },
        "1/5": {
          "low": [
            "0",
            "1/1000000000000000"
          ],
          "high": [
            "959046375107929/1000000000000000",
            "95904637510793/100000000000000"
          ],
          "unresolved": [
            "4095362489207/100000000000000",
            "40953624892071/1000000000000000"
          ],
          "resolution": [
            "959046375107929/1000000000000000",
            "95904637510793/100000000000000"
          ]
        }
      },
      "boundary_error_enclosures": [
        [
          "11491802532003/500000000000000",
          "22983605064007/1000000000000000"
        ],
        [
          "4884677956919/200000000000000",
          "6105847446149/250000000000000"
        ]
      ]
    },
    "pulse1600": {
      "n": 1600,
      "low_action": "AB",
      "high_action": "BA",
      "low_cut": 1009,
      "high_cut": 1153,
      "p_minus": "5225907136982400861/7986274951660156250",
      "p_plus": "2532508301120353299/3630124978027343750",
      "probability_enclosures": {
        "-1/5": {
          "low": [
            "999999999999999/1000000000000000",
            "1"
          ],
          "high": [
            "0",
            "1/1000000000000000"
          ],
          "unresolved": [
            "0",
            "1/1000000000000000"
          ],
          "resolution": [
            "999999999999999/1000000000000000",
            "1"
          ]
        },
        "1/5": {
          "low": [
            "0",
            "1/1000000000000000"
          ],
          "high": [
            "249869052929099/250000000000000",
            "999476211716397/1000000000000000"
          ],
          "unresolved": [
            "523788283603/1000000000000000",
            "130947070901/250000000000000"
          ],
          "resolution": [
            "249869052929099/250000000000000",
            "999476211716397/1000000000000000"
          ]
        }
      },
      "boundary_error_enclosures": [
        [
          "24838559062783/1000000000000000",
          "97025621339/3906250000000"
        ],
        [
          "23525779179967/1000000000000000",
          "367590299687/15625000000000"
        ]
      ]
    }
  },
  "separated40": {
    "choose_A_at_least": 25,
    "error_intervals": [
      [
        "5801763405891/125000000000000",
        "46414107247129/1000000000000000"
      ],
      [
        "42284526480667/1000000000000000",
        "10571131620167/250000000000000"
      ]
    ],
    "epsilon_max": "1/4",
    "assumed_covariance_separation": "1/10"
  },
  "scope": "Independent accepted founder divisions; known symmetric conditionally independent read errors. Full-class error is unconditional and permits unresolved output. The forty-division rule assumes separation; it cannot certify separation from the data."
}