{
  "licence": "CC0-1.0 to the extent of rights held",
  "scope": "Exact commutative infinite example; density window is a finite sample.",
  "proof_locators": [
    "CZ11",
    "CZ15",
    "CZ32",
    "CZ35-CZ39"
  ],
  "indices": [
    -6,
    -5,
    -4,
    -3,
    -2,
    -1,
    0,
    1,
    2,
    3,
    4,
    5,
    6
  ],
  "h_rationals": [
    "1/64",
    "1/32",
    "1/16",
    "1/8",
    "1/4",
    "1/2",
    "1",
    "2",
    "4",
    "8",
    "16",
    "32",
    "64"
  ],
  "p4_indices": [
    -2,
    -1,
    0,
    1,
    2
  ],
  "cocycle_t0": "pi/(2 log 2)",
  "exact_phases_residue_0_1_2_3": [
    [
      1,
      0
    ],
    [
      0,
      1
    ],
    [
      -1,
      0
    ],
    [
      0,
      -1
    ]
  ],
  "domain_values": {
    "phi_xx": "2",
    "phi_h_xx": "infinity",
    "phi_yy": "infinity",
    "phi_h_yy": "1"
  },
  "trace_scaling": {
    "beta_a_n": "a_(n-1)",
    "beta_H": "H/2",
    "tau_beta": "tau/2"
  },
  "finite_geometric_checks": [
    {
      "N": 1,
      "phi_xx_partial": "3/2",
      "phi_h_xx_partial": 2,
      "phi_h_yy_partial": "1/2"
    },
    {
      "N": 2,
      "phi_xx_partial": "7/4",
      "phi_h_xx_partial": 3,
      "phi_h_yy_partial": "3/4"
    },
    {
      "N": 4,
      "phi_xx_partial": "31/16",
      "phi_h_xx_partial": 5,
      "phi_h_yy_partial": "15/16"
    },
    {
      "N": 8,
      "phi_xx_partial": "511/256",
      "phi_h_xx_partial": 9,
      "phi_h_yy_partial": "255/256"
    },
    {
      "N": 16,
      "phi_xx_partial": "131071/65536",
      "phi_h_xx_partial": 17,
      "phi_h_yy_partial": "65535/65536"
    }
  ]
}