CREATE TABLE gps_qrep (
	c_class	text,	-- The {{KNOWL('columns.gps_crep.label', 'label')}} for the subgroup class in $\GL_n(\C)$
	carat_label	text,	-- `n.i`, where `n` is the dimension, `i` is an index for the `Q`-class as in the CARAT GAP package (see Hoshi-Yamasaki, Rationality Problem for Algebraic Tori for examples)
	decomposition	jsonb,	-- List of pairs `(label, m)` giving the decomposition as a direct sum of irreducible `Q[G]`-modules. `label` is the {{KNOWL('columns.gps_qrep.label', 'label')}} for the corresponding $\GL_n(\Q)$-class, and $m$ the multiplicity
	dim	smallint,	-- The dimension, ie the $n$ for which this is a subgroup of $\GL_n(\Q)$
	gens	jsonb,	-- A list of matrices generating the group, with the order matching {{KNOWL('columns.gps_groups.perm_gens', 'perm_gens')}} for the group (in the non-solvable case) or the {{KNOWL('columns.gps_groups.pc_code', 'presentation')}} (in the solvable case). We always choose representatives so that the entries are integral.
	group	text,	-- The {{KNOWL('group.label', 'label')}} as an abstract group
	id	bigint,	-- 
	irreducible	boolean,	-- Whether the corresponding `Q[G]`-module is irreducible
	label	text,	-- label of the first rational character having this group as its image
	order	numeric 	-- The {{KNOWL('group.order', 'order')}} of the group
);