category,category_label,construction,construction_label
Ab,Ab,binary sum,binary sum
CRing,CRing,binary sum,binary sum
Comp,Comp,binary sum,binary sum
Diff,Diff,binary sum,binary sum
Grp,Grp,binary sum,binary sum
Set,Set,binary sum,binary sum
Top,Top,binary sum,binary sum
Top*,Top*,binary sum,binary sum
Vect_k,Vect_k,binary sum,binary sum