{
  "GMM": {
    "efficient_beta": [
      [
        "7/6"
      ],
      [
        "8/3"
      ]
    ],
    "identity_beta": [
      [
        "4/3"
      ],
      [
        "7/3"
      ]
    ],
    "efficient_covariance_n": [
      [
        "5/6",
        "-2/3"
      ],
      [
        "-2/3",
        "4/3"
      ]
    ],
    "identity_covariance_n": [
      [
        "1",
        "-1"
      ],
      [
        "-1",
        "2"
      ]
    ],
    "efficient_objective": "1/6",
    "transformed_covariance": [
      [
        "5",
        "4",
        "0"
      ],
      [
        "4",
        "5",
        "1"
      ],
      [
        "0",
        "1",
        "1"
      ]
    ],
    "transformed_weight": [
      [
        "1",
        "-1",
        "1"
      ],
      [
        "-1",
        "5/4",
        "-5/4"
      ],
      [
        "1",
        "-5/4",
        "9/4"
      ]
    ],
    "matrix_families": 45
  },
  "2SLS": {
    "beta": [
      [
        "1"
      ],
      [
        "2"
      ]
    ],
    "structural_residual": [
      [
        "1/2"
      ],
      [
        "-1/2"
      ],
      [
        "-3/2"
      ],
      [
        "3/2"
      ]
    ],
    "second_stage_residual": [
      [
        "2"
      ],
      [
        "-2"
      ],
      [
        "-3"
      ],
      [
        "3"
      ]
    ],
    "HC0": [
      [
        "5/4",
        "1"
      ],
      [
        "1",
        "5/4"
      ]
    ],
    "wrong_stage_HC0": [
      [
        "13/2",
        "5/2"
      ],
      [
        "5/2",
        "13/2"
      ]
    ],
    "delete_columns_1_3_beta": [
      [
        "1"
      ],
      [
        "3"
      ]
    ]
  },
  "empirical_likelihood": {
    "three_point_n3_coverage": "31/64",
    "three_point_R_distribution": {
      "0": "33/64",
      "1": "13/64",
      "8/9": "3/16",
      "1/2": "3/32"
    },
    "binary_n4_coverage": "7/8",
    "ordered_tables": 3279,
    "log_2_bounds": [
      "9443662622785393135066238615529291327296/13624325233720948163518982443619506174725",
      "29380283715332334197983861603998305670257/42386789616020727619836834269038463654700"
    ],
    "general_target_brackets": [
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "-11/5",
        "lambda": [
          "15732480934023099885/18446744073709551616",
          "3933120233505774975/4611686018427387904"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "-7/5",
        "lambda": [
          "13356895423611681465/36893488147419103232",
          "1669611927951460185/4611686018427387904"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "-3/5",
        "lambda": [
          "4887968053800132335/27670116110564327424",
          "1221992013450033085/6917529027641081856"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "1/5",
        "lambda": [
          "289995223280281955/4611686018427387904",
          "2319961786242255645/36893488147419103232"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "1",
        "lambda": [
          "-123977089411487785/4611686018427387904",
          "-247954178822975569/9223372036854775808"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "9/5",
        "lambda": [
          "-4189449308224407835/36893488147419103232",
          "-2094724654112203915/18446744073709551616"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "13/5",
        "lambda": [
          "-4039602008128560145/18446744073709551616",
          "-1009900502032140035/4611686018427387904"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "17/5",
        "lambda": [
          "-7268194674443943015/18446744073709551616",
          "-14536389348887886015/36893488147419103232"
        ]
      },
      {
        "x": [
          -3,
          -1,
          2,
          5
        ],
        "theta": "21/5",
        "lambda": [
          "-8078867430040368795/9223372036854775808",
          "-16157734860080737575/18446744073709551616"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "-7/10",
        "lambda": [
          "563515943423495005/288230376151711744",
          "4508127547387960045/2305843009213693952"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "-2/5",
        "lambda": [
          "56647817723685165/72057594037927936",
          "5438190501473775845/6917529027641081856"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "-1/10",
        "lambda": [
          "75195933792139655/216172782113783808",
          "3609404822022703445/10376293541461622784"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "1/5",
        "lambda": [
          "155683413931208185/1729382256910270464",
          "1245467311449665485/13835058055282163712"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "1/2",
        "lambda": [
          "-356715154943391899/3458764513820540928",
          "-178357577471695949/1729382256910270464"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "4/5",
        "lambda": [
          "-3989592988662611225/13835058055282163712",
          "-332466082388550935/1152921504606846976"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "11/10",
        "lambda": [
          "-602643845607655845/1152921504606846976",
          "-677974326308612825/1297036692682702848"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "7/5",
        "lambda": [
          "-4277629041641770695/4611686018427387904",
          "-2138814520820885345/2305843009213693952"
        ]
      },
      {
        "x": [
          -1,
          0,
          2
        ],
        "theta": "17/10",
        "lambda": [
          "-1189820663919687775/576460752303423488",
          "-4759282655678751095/2305843009213693952"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "-7/5",
        "lambda": [
          "1036370100452526045/1152921504606846976",
          "4145480401810104185/4611686018427387904"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "-4/5",
        "lambda": [
          "663025616408334275/1729382256910270464",
          "1768068310422224735/4611686018427387904"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "-1/5",
        "lambda": [
          "31875520504900925/162129586585337856",
          "453340736069702045/2305843009213693952"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "2/5",
        "lambda": [
          "2396060588768000785/27670116110564327424",
          "399343431461333465/4611686018427387904"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "1",
        "lambda": [
          "0",
          "0"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "8/5",
        "lambda": [
          "-399343431461333465/4611686018427387904",
          "-2396060588768000785/27670116110564327424"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "11/5",
        "lambda": [
          "-453340736069702045/2305843009213693952",
          "-31875520504900925/162129586585337856"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "14/5",
        "lambda": [
          "-1768068310422224735/4611686018427387904",
          "-663025616408334275/1729382256910270464"
        ]
      },
      {
        "x": [
          -2,
          -2,
          1,
          4,
          4
        ],
        "theta": "17/5",
        "lambda": [
          "-4145480401810104185/4611686018427387904",
          "-1036370100452526045/1152921504606846976"
        ]
      }
    ]
  },
  "Anderson_Rubin": {
    "ray_quadratic": [
      "-15/4",
      "-3",
      "5"
    ],
    "root_brackets": [
      [
        "-1623/1000",
        "-811/500"
      ],
      [
        "411/500",
        "823/1000"
      ]
    ],
    "empty_polynomial": [
      "1",
      "0",
      "5"
    ],
    "whole_polynomial": [
      "-4",
      "0",
      "-4"
    ],
    "control_residual_dimension": 4,
    "control_denominator_df": 2,
    "ignored_control_F": "27/100"
  },
  "status": "PASS",
  "checks": 18497,
  "scope": "Exact finite matrix identities, rational root brackets, and full finite sampling laws; asymptotic and Gaussian laws are proved in the pages, not by enumeration."
}