{
  "group": "R x Z",
  "subgroup": "R x {0}",
  "displayed_cosets": [
    -2,
    -1,
    0,
    1,
    2
  ],
  "horizontal_window": [
    -3,
    3
  ],
  "corner_indices": [
    -1,
    0,
    1
  ],
  "formula": "(Ind_H^G N) rtimes G = (N rtimes H) bar_tensor B(l2(G/H))",
  "finite_compression_only": true
}