{
  "shortcut": {
    "order": 4,
    "physical_status": "incompatible",
    "certificate": "f(f(x))-g(x)=x*(x-1)*(3*x*x+9*x+2)/24 < 0 on (0,1)",
    "single_deletions": [
      {
        "omitted": 0,
        "state": [
          "31/32",
          "251/256",
          "31/32",
          "19/20"
        ],
        "minimum_production": "103/32768"
      },
      {
        "omitted": 1,
        "state": [
          "31/32",
          "19/20",
          "31/32",
          "19/20"
        ],
        "minimum_production": "11/2560"
      },
      {
        "omitted": 2,
        "state": [
          "251/256",
          "31/32",
          "19/20",
          "31/32"
        ],
        "minimum_production": "103/32768"
      },
      {
        "omitted": 3,
        "state": [
          "2023/2048",
          "251/256",
          "31/32",
          "19/20"
        ],
        "minimum_production": "4495/2097152"
      }
    ],
    "direction_state": [
      "19/20",
      "941/1000",
      "1881/2000",
      "47/50"
    ],
    "minimum_forward_current": "1/2000",
    "independent_doubled_complexes": [
      "467/500",
      "7521/8000",
      "7517/8000",
      "7513/8000"
    ],
    "minimum_relaxed_production": "1/8000"
  },
  "fan_subfamilies": [
    {
      "selected": [],
      "status": "compatible",
      "state": [
        "1/10",
        "1/2",
        "17/25",
        "141/200",
        "141/200"
      ],
      "method": "box_endpoint"
    },
    {
      "selected": [
        0
      ],
      "status": "compatible",
      "state": [
        "33497245397707/39066296407218",
        "3486704462198697442113951650934263955619/4968502086459581420074578128072066263686",
        "239826702788138939601567154440985376846353/357732150225089862245369625221188770985392",
        "141/200",
        "141/200"
      ],
      "method": "exact_sign_cells",
      "degree": 33,
      "cells_checked": 5
    },
    {
      "selected": [
        1
      ],
      "status": "compatible",
      "state": [
        "9/10",
        "447903/560000",
        "17/25",
        "3102741/4480000",
        "141/200"
      ],
      "method": "box_endpoint"
    },
    {
      "selected": [
        2
      ],
      "status": "compatible",
      "state": [
        "9/10",
        "1637/2000",
        "17/25",
        "141/200",
        "19/25"
      ],
      "method": "box_endpoint"
    },
    {
      "selected": [
        0,
        1
      ],
      "status": "compatible",
      "state": [
        "113268656912739/128455493926000",
        "202201743589495285005141503768058686357566795598239341359/272276860014961951751210616320411226443362576000000000000",
        "71/100",
        "13/20",
        "141/200"
      ],
      "method": "exact_sign_cells",
      "degree": 113,
      "cells_checked": 13
    },
    {
      "selected": [
        0,
        2
      ],
      "status": "compatible",
      "state": [
        "183253161845/214133176632",
        "99198164587180106924304033521466449/137461131640014957019272045484311552",
        "2273265518764893891725624389049585567/3299067159360358968462529091623477248",
        "141/200",
        "1109872589240262819794897932097162039/1649533579680179484231264545811738624"
      ],
      "method": "exact_sign_cells",
      "degree": 91,
      "cells_checked": 13
    },
    {
      "selected": [
        1,
        2
      ],
      "status": "compatible",
      "state": [
        "9/10",
        "1637/2000",
        "17/25",
        "33281/48000",
        "19/25"
      ],
      "method": "box_endpoint"
    },
    {
      "selected": [
        0,
        1,
        2
      ],
      "status": "incompatible",
      "method": "exact_sign_cells",
      "degree": 212,
      "cells_checked": 37
    }
  ],
  "fixed_reference_robustness": {
    "status": "certified",
    "radius": "1/1000000",
    "negative_split_bounds": [
      "-34607/2816000",
      "-2353/384000"
    ],
    "full_family_production_upper_bound": "-1199/200000",
    "deletion_reference_margins": [
      "311253/3276800000",
      "10809/8000000",
      "429509/25000000"
    ],
    "deletion_uniform_lower_bound": "294869/3276800000",
    "independent_complex_reference_margin": "201/100000",
    "independent_complex_uniform_lower_bound": "401/200000"
  }
}