{ "schemaVersion": 1, "label": "Lemmas", "message": "14", "color": "black" }