{
  "group_product": "(a,b)(c,d)=(ac,b+ad)",
  "left_haar": "da db / a^2",
  "left_euclidean_jacobian": "a0**2",
  "right_euclidean_jacobian": "a0",
  "right_haar_mass_ratio": "1/a0",
  "g": [
    2,
    1
  ],
  "R_vertices": [
    [
      1,
      0
    ],
    [
      2,
      0
    ],
    [
      2,
      1
    ],
    [
      1,
      1
    ]
  ],
  "Rg_vertices": [
    [
      2,
      1
    ],
    [
      4,
      2
    ],
    [
      4,
      3
    ],
    [
      2,
      2
    ]
  ],
  "euclidean_areas": {
    "R": 1,
    "Rg": 2
  },
  "haar_masses": {
    "R": "1/2",
    "Rg": "1/4"
  },
  "indicator_identity": "U_g 1_(Rg) = 1/sqrt(2) * 1_R",
  "input_norm_squared": "1/4",
  "output_norm_squared": "1/4",
  "pure_state_difference_eigenvalues": [
    "-sqrt(2)/4",
    "sqrt(2)/4"
  ],
  "pure_state_difference_norm": "sqrt(2)/2",
  "all_exact_assertions_pass": true
}