{
  "local_coefficient_at_HP": "11/6",
  "coefficient_checks": 27,
  "shift_checks": [
    {
      "dim": 4,
      "n": 16,
      "synthetic_F1": -0.2,
      "delta_T": -0.0002490693797139176,
      "linear_delta_T": -0.00024867959858108647,
      "relative_error": 0.001567402935565232
    },
    {
      "dim": 4,
      "n": 32,
      "synthetic_F1": -0.2,
      "delta_T": -6.219420375458418e-05,
      "linear_delta_T": -6.216989964527162e-05,
      "relative_error": 0.0003909304896940746
    },
    {
      "dim": 4,
      "n": 64,
      "synthetic_F1": -0.2,
      "delta_T": -1.5543993027666847e-05,
      "linear_delta_T": -1.5542474911317904e-05,
      "relative_error": 9.767532890392339e-05
    },
    {
      "dim": 4,
      "n": 128,
      "synthetic_F1": -0.2,
      "delta_T": -3.8857135962189204e-06,
      "linear_delta_T": -3.885618727829476e-06,
      "relative_error": 2.441525947083356e-05
    },
    {
      "dim": 4,
      "n": 16,
      "synthetic_F1": 0.2,
      "delta_T": 0.00024829224600741995,
      "linear_delta_T": 0.00024867959858108647,
      "relative_error": 0.001557637119718236
    },
    {
      "dim": 4,
      "n": 32,
      "synthetic_F1": 0.2,
      "delta_T": 6.214563348155844e-05,
      "linear_delta_T": 6.216989964527162e-05,
      "relative_error": 0.0003903201364588993
    },
    {
      "dim": 4,
      "n": 64,
      "synthetic_F1": 0.2,
      "delta_T": 1.5540957387760734e-05,
      "linear_delta_T": 1.5542474911317904e-05,
      "relative_error": 9.763718878930128e-05
    },
    {
      "dim": 4,
      "n": 128,
      "synthetic_F1": 0.2,
      "delta_T": 3.885523868707441e-06,
      "linear_delta_T": 3.885618727829476e-06,
      "relative_error": 2.4412874417012453e-05
    },
    {
      "dim": 5,
      "n": 16,
      "synthetic_F1": -0.2,
      "delta_T": -0.00024926519054657703,
      "linear_delta_T": -0.00024867959858108647,
      "relative_error": 0.002354805013486505
    },
    {
      "dim": 5,
      "n": 32,
      "synthetic_F1": -0.2,
      "delta_T": -6.220637007586793e-05,
      "linear_delta_T": -6.216989964527162e-05,
      "relative_error": 0.0005866252125934501
    },
    {
      "dim": 5,
      "n": 64,
      "synthetic_F1": -0.2,
      "delta_T": -1.55447523082497e-05,
      "linear_delta_T": -1.5542474911317904e-05,
      "relative_error": 0.0001465273030702985
    },
    {
      "dim": 5,
      "n": 128,
      "synthetic_F1": -0.2,
      "delta_T": -3.885761033883828e-06,
      "linear_delta_T": -3.885618727829476e-06,
      "relative_error": 3.662378229041252e-05
    },
    {
      "dim": 5,
      "n": 16,
      "synthetic_F1": 0.2,
      "delta_T": 0.0002480994710125639,
      "linear_delta_T": 0.00024867959858108647,
      "relative_error": 0.0023328313694916947
    },
    {
      "dim": 5,
      "n": 32,
      "synthetic_F1": 0.2,
      "delta_T": 6.213351459222194e-05,
      "linear_delta_T": 6.216989964527162e-05,
      "relative_error": 0.0005852519186501093
    },
    {
      "dim": 5,
      "n": 64,
      "synthetic_F1": 0.2,
      "delta_T": 1.5540198848362774e-05,
      "linear_delta_T": 1.5542474911317904e-05,
      "relative_error": 0.00014644147525522122
    },
    {
      "dim": 5,
      "n": 128,
      "synthetic_F1": 0.2,
      "delta_T": 3.885476442699876e-06,
      "linear_delta_T": 3.885618727829476e-06,
      "relative_error": 3.661839711177617e-05
    }
  ],
  "normalization_counterexample": {
    "synthetic_T0": 0.5949,
    "synthetic_T1": 0,
    "synthetic_sigma0": 1,
    "synthetic_sigma1": -1.5397545806017818,
    "ratio_1_over_N2_coefficient": 0.458
  },
  "status": "All checks passed. Synthetic checks; no experimental fit or determinant."
}