[
  {
    "input": {
      "n": 4,
      "q": "3/20",
      "epsilon": "1/4",
      "max_steps": 8
    },
    "expected": {
      "first_threshold_step": 2,
      "sufficient_certificate_step": 4
    }
  },
  {
    "input": {
      "n": 4,
      "q": "1/100",
      "epsilon": "1/4",
      "max_steps": 80
    },
    "expected": {
      "first_threshold_step": 35,
      "sufficient_certificate_step": 69
    }
  },
  {
    "input": {
      "n": 6,
      "q": "1/5",
      "epsilon": "19/100",
      "max_steps": 8
    },
    "expected": {
      "first_threshold_step": 3
    }
  },
  {
    "input": {
      "n": 6,
      "q": "21/100",
      "epsilon": "19/100",
      "max_steps": 8
    },
    "expected": {
      "first_threshold_step": 2
    }
  },
  {
    "input": {
      "n": 6,
      "q": "5/24",
      "epsilon": "19/100",
      "max_steps": 1
    },
    "expected": {
      "status": "CAP_REACHED",
      "first_threshold_step": null
    }
  },
  {
    "input": {
      "n": 6,
      "q": "5/24",
      "epsilon": "19/100",
      "max_steps": 8
    },
    "expected": {
      "first_threshold_step": 3,
      "sufficient_certificate_step": 4
    }
  }
]