{
  "group": "R semidirect_2 Z",
  "multiplication": "(b,n)(d,m)=(b+2^n*d,n+m)",
  "left_Haar_density_on_level_n": "2^(-n) db",
  "modular_function": "Delta(b,n)=2^(-n)",
  "coset_index_k": 1,
  "source_level_n": -1,
  "source_interval": [
    0,
    1
  ],
  "source_measure_density": 2,
  "source_amplitude": 1,
  "target_measure_density": 1,
  "target_amplitude_exact": "sqrt(2)",
  "source_squared_norm": 2,
  "target_squared_norm": 2,
  "general_unitary": "(T xi)_k(h)=2^(k/2) xi(h,-k,k)",
  "proof_locator": "OA-FLOW-L55, (OA1)-(OA6)",
  "drawing": "Heights are function amplitudes; squared norms use the labelled measures."
}