{
  "construction_states_checked": 64,
  "interlacing_instances": 60,
  "threshold_instances": 375,
  "routh_census_nmax": 6,
  "example_n3": [
    {
      "u": "3/8",
      "E": "1/2",
      "F": "4/3",
      "S3": 0.0224926614481409,
      "S3_plus_Y3": 0.05248287671232877,
      "Hprime": -0.13324400721660995,
      "kinase_bound": "19/20",
      "phosphatase_bound": "1/3",
      "flux": "2/3"
    },
    {
      "u": "1",
      "E": "1",
      "F": "1",
      "S3": 0.11929696527397676,
      "S3_plus_Y3": 0.23859393054795353,
      "Hprime": 0.013149972632731254,
      "kinase_bound": "9/10",
      "phosphatase_bound": "1/2",
      "flux": "1"
    },
    {
      "u": "15/8",
      "E": "3/2",
      "F": "4/5",
      "S3": 0.30922114608555284,
      "S3_plus_Y3": 0.5565980629539952,
      "Hprime": -0.005613779332197411,
      "kinase_bound": "17/20",
      "phosphatase_bound": "3/5",
      "flux": "6/5"
    },
    {
      "u": "3",
      "E": "2",
      "F": "2/3",
      "S3": 0.5910748184530087,
      "S3_plus_Y3": 0.9851246974216812,
      "Hprime": 0.0078031446940959705,
      "kinase_bound": "4/5",
      "phosphatase_bound": "2/3",
      "flux": "4/3"
    },
    {
      "u": "35/8",
      "E": "5/2",
      "F": "4/7",
      "S3": 0.9519454078942031,
      "S3_plus_Y3": 1.4959142124051763,
      "Hprime": -0.06497530008717617,
      "kinase_bound": "3/4",
      "phosphatase_bound": "5/7",
      "flux": "10/7"
    }
  ],
  "checks_passed": 3239
}