{"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Comp", "label": "Comp"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Diff", "label": "Diff"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Set", "label": "Set"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Top", "label": "Top"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Top*", "label": "Top*"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Vect_k", "label": "Vect_k"}, "construction": {"value": "binary sum", "label": "binary sum"}}