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