maximal compact subgroup of

12 triples
GPTKB property