{"category": {"value": "CompBoolAlg", "label": "CompBoolAlg"}, "op": {"value": "FinSet", "label": "FinSet"}}