{
  "observation_3_1": {
    "rows": [
      {
        "d": 6,
        "n_coalitions": 64,
        "max_abs_phi_f_minus_phi_odd": 1.1102230246251565e-16,
        "max_abs_phi_even": 4.85722573273506e-17,
        "phi_scale": 0.3393945800119243
      },
      {
        "d": 6,
        "n_coalitions": 64,
        "max_abs_phi_f_minus_phi_odd": 1.6653345369377348e-16,
        "max_abs_phi_even": 5.551115123125783e-17,
        "phi_scale": 1.113351766884731
      },
      {
        "d": 6,
        "n_coalitions": 64,
        "max_abs_phi_f_minus_phi_odd": 1.1102230246251565e-16,
        "max_abs_phi_even": 5.551115123125783e-17,
        "phi_scale": 0.4977411284794928
      },
      {
        "d": 6,
        "n_coalitions": 64,
        "max_abs_phi_f_minus_phi_odd": 2.220446049250313e-16,
        "max_abs_phi_even": 5.551115123125783e-17,
        "phi_scale": 0.7623591186680925
      },
      {
        "d": 8,
        "n_coalitions": 256,
        "max_abs_phi_f_minus_phi_odd": 2.220446049250313e-16,
        "max_abs_phi_even": 1.1102230246251565e-16,
        "phi_scale": 0.5449695480411628
      },
      {
        "d": 8,
        "n_coalitions": 256,
        "max_abs_phi_f_minus_phi_odd": 1.1102230246251565e-16,
        "max_abs_phi_even": 5.551115123125783e-17,
        "phi_scale": 0.38261493273474495
      },
      {
        "d": 8,
        "n_coalitions": 256,
        "max_abs_phi_f_minus_phi_odd": 1.6653345369377348e-16,
        "max_abs_phi_even": 5.551115123125783e-17,
        "phi_scale": 0.3322223424013073
      },
      {
        "d": 8,
        "n_coalitions": 256,
        "max_abs_phi_f_minus_phi_odd": 3.3306690738754696e-16,
        "max_abs_phi_even": 2.0816681711721685e-17,
        "phi_scale": 0.5963532769698892
      },
      {
        "d": 9,
        "n_coalitions": 512,
        "max_abs_phi_f_minus_phi_odd": 1.1102230246251565e-16,
        "max_abs_phi_even": 8.326672684688674e-17,
        "phi_scale": 0.4074128459828362
      },
      {
        "d": 9,
        "n_coalitions": 512,
        "max_abs_phi_f_minus_phi_odd": 2.7755575615628914e-16,
        "max_abs_phi_even": 1.1102230246251565e-16,
        "phi_scale": 0.40130603430751716
      },
      {
        "d": 9,
        "n_coalitions": 512,
        "max_abs_phi_f_minus_phi_odd": 1.6653345369377348e-16,
        "max_abs_phi_even": 4.163336342344337e-17,
        "phi_scale": 0.4976026770451441
      },
      {
        "d": 9,
        "n_coalitions": 512,
        "max_abs_phi_f_minus_phi_odd": 1.6653345369377348e-16,
        "max_abs_phi_even": 2.7755575615628914e-17,
        "phi_scale": 0.35904349166723654
      },
      {
        "d": 10,
        "n_coalitions": 1024,
        "max_abs_phi_f_minus_phi_odd": 1.1102230246251565e-16,
        "max_abs_phi_even": 2.7755575615628914e-17,
        "phi_scale": 0.5213126543609996
      },
      {
        "d": 10,
        "n_coalitions": 1024,
        "max_abs_phi_f_minus_phi_odd": 1.1102230246251565e-16,
        "max_abs_phi_even": 2.7755575615628914e-17,
        "phi_scale": 0.26900019395712393
      },
      {
        "d": 10,
        "n_coalitions": 1024,
        "max_abs_phi_f_minus_phi_odd": 1.3877787807814457e-16,
        "max_abs_phi_even": 5.551115123125783e-17,
        "phi_scale": 0.5077426032459944
      },
      {
        "d": 10,
        "n_coalitions": 1024,
        "max_abs_phi_f_minus_phi_odd": 8.326672684688674e-17,
        "max_abs_phi_even": 5.551115123125783e-17,
        "phi_scale": 0.5434948908381397
      }
    ],
    "max_diff_overall": 3.3306690738754696e-16,
    "max_phi_even_overall": 1.1102230246251565e-16,
    "n_games": 16
  },
  "theorem_3_2": {
    "rows": [
      {
        "d": 8,
        "n_pairs": 50,
        "n_samples": 100,
        "per_pair_max_abs_contribution": 0.0,
        "per_pair_exactly_zero": true,
        "paired_interleaved_max_abs_cross_gram": 0.0,
        "paired_interleaved_exactly_zero": true,
        "paired_blocked_max_abs_cross_gram": 4.475586568020162e-16,
        "gram_diagonal_scale": 2.329166666666667,
        "unpaired_max_abs_cross_gram": 1.1416666666666666,
        "gram_block_shape": [
          40,
          40
        ]
      },
      {
        "d": 8,
        "n_pairs": 200,
        "n_samples": 400,
        "per_pair_max_abs_contribution": 0.0,
        "per_pair_exactly_zero": true,
        "paired_interleaved_max_abs_cross_gram": 0.0,
        "paired_interleaved_exactly_zero": true,
        "paired_blocked_max_abs_cross_gram": 7.8236028766554e-16,
        "gram_diagonal_scale": 8.462500000000004,
        "unpaired_max_abs_cross_gram": 2.2583333333333324,
        "gram_block_shape": [
          40,
          40
        ]
      },
      {
        "d": 10,
        "n_pairs": 50,
        "n_samples": 100,
        "per_pair_max_abs_contribution": 0.0,
        "per_pair_exactly_zero": true,
        "paired_interleaved_max_abs_cross_gram": 0.0,
        "paired_interleaved_exactly_zero": true,
        "paired_blocked_max_abs_cross_gram": 1.5308934675495323e-16,
        "gram_diagonal_scale": 0.7057142857142853,
        "unpaired_max_abs_cross_gram": 0.20428571428571426,
        "gram_block_shape": [
          40,
          40
        ]
      },
      {
        "d": 10,
        "n_pairs": 200,
        "n_samples": 400,
        "per_pair_max_abs_contribution": 0.0,
        "per_pair_exactly_zero": true,
        "paired_interleaved_max_abs_cross_gram": 0.0,
        "paired_interleaved_exactly_zero": true,
        "paired_blocked_max_abs_cross_gram": 4.2717565595928875e-16,
        "gram_diagonal_scale": 2.22785714285714,
        "unpaired_max_abs_cross_gram": 0.3835714285714287,
        "gram_block_shape": [
          40,
          40
        ]
      }
    ],
    "all_per_pair_exactly_zero": true,
    "all_interleaved_exactly_zero": true,
    "max_blocked_roundoff": 7.8236028766554e-16,
    "max_unpaired": 2.2583333333333324
  },
  "theorem_3_5": {
    "rows": [
      {
        "d": 7,
        "trial": 0,
        "n_basis": 8,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 1.247890679678676e-13,
        "phi_scale": 0.5359723815317714,
        "efficiency_err": 1.1102230246251565e-16
      },
      {
        "d": 7,
        "trial": 0,
        "n_basis": 11,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 1.13464793116691e-13,
        "phi_scale": 0.5359723815317714,
        "efficiency_err": 0.0
      },
      {
        "d": 7,
        "trial": 0,
        "n_basis": 16,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 1.197930643570544e-13,
        "phi_scale": 0.5359723815317714,
        "efficiency_err": 1.1102230246251565e-16
      },
      {
        "d": 7,
        "trial": 0,
        "n_basis": 28,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 1.0147438445073931e-13,
        "phi_scale": 0.5359723815317714,
        "efficiency_err": 2.220446049250313e-16
      },
      {
        "d": 7,
        "trial": 1,
        "n_basis": 8,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 1.0252909632413321e-13,
        "phi_scale": 0.33206798304911866,
        "efficiency_err": 0.0
      },
      {
        "d": 7,
        "trial": 1,
        "n_basis": 11,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 1.0225154056797692e-13,
        "phi_scale": 0.33206798304911866,
        "efficiency_err": 0.0
      },
      {
        "d": 7,
        "trial": 1,
        "n_basis": 16,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 1.1446399383885364e-13,
        "phi_scale": 0.33206798304911866,
        "efficiency_err": 4.996003610813204e-16
      },
      {
        "d": 7,
        "trial": 1,
        "n_basis": 28,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 8.465450562766819e-14,
        "phi_scale": 0.33206798304911866,
        "efficiency_err": 3.3306690738754696e-16
      },
      {
        "d": 7,
        "trial": 2,
        "n_basis": 8,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 1.2995160503237457e-13,
        "phi_scale": 0.3887204196078375,
        "efficiency_err": 5.551115123125783e-17
      },
      {
        "d": 7,
        "trial": 2,
        "n_basis": 11,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 1.2362333379201118e-13,
        "phi_scale": 0.3887204196078375,
        "efficiency_err": 4.996003610813204e-16
      },
      {
        "d": 7,
        "trial": 2,
        "n_basis": 16,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 1.2656542480726785e-13,
        "phi_scale": 0.3887204196078375,
        "efficiency_err": 1.1102230246251565e-16
      },
      {
        "d": 7,
        "trial": 2,
        "n_basis": 28,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 1.0186296250935811e-13,
        "phi_scale": 0.3887204196078375,
        "efficiency_err": 1.1102230246251565e-16
      },
      {
        "d": 8,
        "trial": 0,
        "n_basis": 9,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 1.2223555501122974e-13,
        "phi_scale": 0.5032188822079993,
        "efficiency_err": 1.3322676295501878e-15
      },
      {
        "d": 8,
        "trial": 0,
        "n_basis": 12,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 1.2218004385999848e-13,
        "phi_scale": 0.5032188822079993,
        "efficiency_err": 1.1102230246251565e-15
      },
      {
        "d": 8,
        "trial": 0,
        "n_basis": 17,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 1.2770340340750863e-13,
        "phi_scale": 0.5032188822079993,
        "efficiency_err": 4.440892098500626e-16
      },
      {
        "d": 8,
        "trial": 0,
        "n_basis": 29,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 1.0638712133470563e-13,
        "phi_scale": 0.5032188822079993,
        "efficiency_err": 4.440892098500626e-16
      },
      {
        "d": 8,
        "trial": 1,
        "n_basis": 9,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 9.097236852717572e-14,
        "phi_scale": 0.5270748100097702,
        "efficiency_err": 1.3322676295501878e-15
      },
      {
        "d": 8,
        "trial": 1,
        "n_basis": 12,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 8.137934770502397e-14,
        "phi_scale": 0.5270748100097702,
        "efficiency_err": 1.7763568394002505e-15
      },
      {
        "d": 8,
        "trial": 1,
        "n_basis": 17,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 7.443351490721284e-14,
        "phi_scale": 0.5270748100097702,
        "efficiency_err": 0.0
      },
      {
        "d": 8,
        "trial": 1,
        "n_basis": 29,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 6.726910695142863e-14,
        "phi_scale": 0.5270748100097702,
        "efficiency_err": 0.0
      },
      {
        "d": 8,
        "trial": 2,
        "n_basis": 9,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 6.745992653378607e-14,
        "phi_scale": 0.37285783039186643,
        "efficiency_err": 6.661338147750939e-16
      },
      {
        "d": 8,
        "trial": 2,
        "n_basis": 12,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 5.365152766501069e-14,
        "phi_scale": 0.37285783039186643,
        "efficiency_err": 6.661338147750939e-16
      },
      {
        "d": 8,
        "trial": 2,
        "n_basis": 17,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 5.0959236830294685e-14,
        "phi_scale": 0.37285783039186643,
        "efficiency_err": 6.661338147750939e-16
      },
      {
        "d": 8,
        "trial": 2,
        "n_basis": 29,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 7.821521208484228e-14,
        "phi_scale": 0.37285783039186643,
        "efficiency_err": 2.220446049250313e-16
      },
      {
        "d": 9,
        "trial": 0,
        "n_basis": 10,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 6.378231276471524e-14,
        "phi_scale": 0.3622663403926335,
        "efficiency_err": 2.4424906541753444e-15
      },
      {
        "d": 9,
        "trial": 0,
        "n_basis": 13,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 6.986078382453798e-14,
        "phi_scale": 0.3622663403926335,
        "efficiency_err": 1.5543122344752192e-15
      },
      {
        "d": 9,
        "trial": 0,
        "n_basis": 18,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 7.91033905045424e-14,
        "phi_scale": 0.3622663403926335,
        "efficiency_err": 4.440892098500626e-16
      },
      {
        "d": 9,
        "trial": 0,
        "n_basis": 30,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 4.705957845629882e-14,
        "phi_scale": 0.3622663403926335,
        "efficiency_err": 0.0
      },
      {
        "d": 9,
        "trial": 1,
        "n_basis": 10,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 9.037215420448774e-14,
        "phi_scale": 0.29907403539854743,
        "efficiency_err": 4.163336342344337e-16
      },
      {
        "d": 9,
        "trial": 1,
        "n_basis": 13,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 7.815970093361102e-14,
        "phi_scale": 0.29907403539854743,
        "efficiency_err": 1.6653345369377348e-16
      },
      {
        "d": 9,
        "trial": 1,
        "n_basis": 18,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 8.365530490550555e-14,
        "phi_scale": 0.29907403539854743,
        "efficiency_err": 8.326672684688674e-17
      },
      {
        "d": 9,
        "trial": 1,
        "n_basis": 30,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 8.79296635503124e-14,
        "phi_scale": 0.29907403539854743,
        "efficiency_err": 2.498001805406602e-16
      },
      {
        "d": 9,
        "trial": 2,
        "n_basis": 10,
        "extra_beyond_singletons": 0,
        "max_abs_phi_err": 9.520162436160717e-14,
        "phi_scale": 0.4660598003758516,
        "efficiency_err": 6.661338147750939e-16
      },
      {
        "d": 9,
        "trial": 2,
        "n_basis": 13,
        "extra_beyond_singletons": 3,
        "max_abs_phi_err": 7.294165271787278e-14,
        "phi_scale": 0.4660598003758516,
        "efficiency_err": 6.661338147750939e-16
      },
      {
        "d": 9,
        "trial": 2,
        "n_basis": 18,
        "extra_beyond_singletons": 8,
        "max_abs_phi_err": 1.0663692151524629e-13,
        "phi_scale": 0.4660598003758516,
        "efficiency_err": 2.220446049250313e-16
      },
      {
        "d": 9,
        "trial": 2,
        "n_basis": 30,
        "extra_beyond_singletons": 20,
        "max_abs_phi_err": 5.1514348342607263e-14,
        "phi_scale": 0.4660598003758516,
        "efficiency_err": 0.0
      }
    ],
    "max_phi_err_overall": 1.2995160503237457e-13,
    "max_efficiency_err": 2.4424906541753444e-15,
    "n_regressions": 36,
    "negative_control_missing_singleton": {
      "max_abs_phi_err": 0.32068593061971,
      "phi_scale": 0.6389493532889731
    }
  }
}