{ "schemaVersion": 1, "label": "Lemmas", "message": "57 K", "color": "green" }