{
  "scope": "Panels B/C: counting Haar on Z/2; panel D: Lebesgue Haar on R; panel A: exact general theorem schematic.",
  "rank_one": [
    [
      1,
      2
    ],
    [
      2,
      4
    ]
  ],
  "diagonal_value": [
    [
      1,
      0
    ],
    [
      0,
      4
    ]
  ],
  "d": [
    [
      1,
      0
    ],
    [
      0,
      3
    ]
  ],
  "e": [
    [
      2,
      -1
    ],
    [
      -1,
      2
    ]
  ],
  "q": [
    [
      1,
      0
    ],
    [
      0,
      2
    ]
  ],
  "phi_q": 7,
  "psi_q": 6,
  "cocycle_time": "pi/log(3)",
  "pi_cocycle_at_time": [
    [
      0,
      -1,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      -1,
      0
    ]
  ],
  "real_group_bound": {
    "formula": "2/(3*epsilon)",
    "valid_domain": "epsilon>0",
    "plotted_epsilon_interval": [
      "1/16",
      "1"
    ],
    "exact_samples": [
      [
        "1/16",
        "32/3"
      ],
      [
        "1/8",
        "16/3"
      ],
      [
        "1/4",
        "8/3"
      ],
      [
        "1/2",
        "4/3"
      ],
      [
        "1",
        "2/3"
      ]
    ]
  },
  "dimensions": [
    3600,
    2600
  ],
  "licence": "CC0-1.0 to the extent of rights held"
}