{
  "group": "G=(C2 x C2) semidirect C2; tat=b",
  "subgroups": {
    "H": "<a,b>",
    "K": "<b>"
  },
  "points": [
    "K",
    "aK",
    "tK",
    "btK"
  ],
  "left_action_permutations": {
    "a": [
      1,
      0,
      2,
      3
    ],
    "b": [
      0,
      1,
      3,
      2
    ],
    "t": [
      2,
      3,
      0,
      1
    ]
  },
  "quotient_q": [
    0,
    0,
    1,
    1
  ],
  "quotient_q_prime": [
    1,
    1,
    0,
    0
  ],
  "identity_fibre_kernels": {
    "q": "<b>",
    "q_prime": "<a>"
  }
}