{"c": "FinOrd", "d": "FinSet", "e": "Set", "path": "skeleton + full"}
{"c": "Perm", "d": "FinSet", "e": "Set", "path": "core + full"}
{"c": "Mat_k", "d": "FinVect_k", "e": "Vect_k", "path": "skeleton + full"}
{"c": "Hilb\u2080", "d": "Hilb", "e": "Ban_k", "path": "core + full"}