{
  "native_dimensions": [
    3600,
    2400
  ],
  "group": "(b,a)(c,r)=(b+ac,ar)",
  "left_haar": "db da / a^2",
  "ambient_modular": "a^-1",
  "subgroup": "H={(0,r):r>0}",
  "subgroup_left_haar": "dr/r",
  "subgroup_modular": 1,
  "quotient": "R_b",
  "section": "sigma(b)=(b,1)",
  "rho": "a=e^u",
  "quotient_measure": "db",
  "plot_coordinates": {
    "b_range": [
      -2.5,
      2.5
    ],
    "u_range": [
      -1.4,
      1.8
    ],
    "cosets": [
      -2,
      -1,
      0,
      1,
      2
    ],
    "sample_arrow": {
      "b": 1,
      "u_start": 0.35,
      "u_end": 1.35,
      "c": "e",
      "ambient_amplitude": "e^-1/2"
    }
  },
  "finite_matrix_scope": "Symbolic 3x3 sample of an arbitrary finite-basis compression; no numerical operator or finite-dimensional theorem restriction.",
  "logical_scope": "lcsc G, closed H, arbitrary N and normal continuous beta; stabilization of the defined induced system only."
}