{"c": "FinOrd", "d": "FinSet", "e": "Set", "path": "skeleton + full"}
{"c": "Perm", "d": "FinSet", "e": "Set", "path": "core + full"}