{"_id": "manifold_10_12_301_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "1390a38d-68a8-46c3-a070-282e41dc7968"}, "data": {"name": "manifold_10_12_301_1", "complex": {"INPUT_FACES": [[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]], "PURE": true, "F_VECTOR": [12, 66, 220, 495, 792, 924, 792, 495, 220, 66, 12], "DIM": 10, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]], "N_VERTICES": 12, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11], [0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11], [0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11], [0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11], [0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 11], [0, 1, 2, 3, 5, 4, 6, 7, 8, 9, 10, 11], [0, 1, 2, 4, 3, 5, 6, 7, 8, 9, 10, 11], [0, 1, 3, 2, 4, 5, 6, 7, 8, 9, 10, 11], [0, 2, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[1, 0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 2, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 3, 2, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 4, 3, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 5, 4, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10]]}}]}, "f_vector": ["12", "66", "220", "495", "792", "924", "792", "495", "220", "66", "12"], "aut_group": {"gens": [["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "12", "11"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "11", "10"], ["1", "2", "3", "4", "5", "6", "7", "8", "10", "9"], ["1", "2", "3", "4", "5", "6", "7", "9", "8"], ["1", "2", "3", "4", "5", "6", "8", "7"], ["1", "2", "3", "4", "5", "7", "6"], ["1", "2", "3", "4", "6", "5"], ["1", "2", "3", "5", "4"], ["1", "2", "4", "3"], ["1", "3", "2"], ["2", "1"]], "degree": "12"}, "dim": "10", "betti_numbers": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1"], "n_vertices": "12", "topological_type": "S^10"}, "_refs": {"1390a38d-68a8-46c3-a070-282e41dc7968": {"attrs": {}, "data": {"gens": [["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "12", "11"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "11", "10"], ["1", "2", "3", "4", "5", "6", "7", "8", "10", "9"], ["1", "2", "3", "4", "5", "6", "7", "9", "8"], ["1", "2", "3", "4", "5", "6", "8", "7"], ["1", "2", "3", "4", "5", "7", "6"], ["1", "2", "3", "4", "6", "5"], ["1", "2", "3", "5", "4"], ["1", "2", "4", "3"], ["1", "3", "2"], ["2", "1"]], "degree": "12"}, "_type": "PermGroup"}}}
{"_id": "manifold_10_14_38_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "c8dc1e63-6dec-446c-8e90-687d1c7ecc49"}, "data": {"name": "manifold_10_14_38_1", "complex": {"PURE": true, "INPUT_FACES": [[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14], [1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14], [1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 9, 10, 13, 14], [1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 10, 11, 13, 14], [1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14], [1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14], [1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14], [1, 2, 3, 4, 5, 6, 9, 10, 12, 13, 14], [1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13], [1, 2, 3, 4, 5, 7, 8, 9, 10, 13, 14], [1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13], [1, 2, 3, 4, 5, 7, 8, 10, 11, 13, 14], [1, 2, 3, 4, 5, 7, 8, 11, 12, 13, 14], [1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 5, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 6, 7, 8, 9, 10, 12, 14], [1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14], [1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 14], [1, 2, 3, 4, 6, 7, 9, 10, 12, 13, 14], [1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14], [1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 14], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 7, 8, 9, 10, 12, 13, 14], [1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14], [1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 14], [1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13], [1, 2, 3, 5, 6, 7, 8, 9, 11, 13, 14], [1, 2, 3, 5, 6, 7, 8, 11, 12, 13, 14], [1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13], [1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14], [1, 2, 3, 5, 6, 8, 9, 11, 12, 13, 14], [1, 2, 3, 5, 6, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 7, 8, 9, 10, 11, 13, 14], [1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 14], [1, 2, 3, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 3, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 13, 14], [1, 2, 4, 5, 6, 7, 8, 10, 11, 12, 14], [1, 2, 4, 5, 6, 7, 8, 10, 12, 13, 14], [1, 2, 4, 5, 6, 7, 10, 11, 12, 13, 14], [1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 14], [1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 14], [1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 7, 8, 10, 11, 12, 13, 14], [1, 2, 4, 5, 8, 9, 10, 11, 12, 13, 14], [1, 2, 4, 6, 7, 8, 9, 10, 12, 13, 14], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 5, 6, 7, 8, 9, 10, 11, 13, 14], [1, 2, 5, 6, 7, 8, 10, 11, 12, 13, 14], [1, 2, 5, 6, 8, 9, 10, 11, 12, 13, 14], [1, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14], [1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14], [1, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14], [1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13], [1, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14], [1, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14], [1, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [1, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14], [1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14], [1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14], [1, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14], [1, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14], [1, 3, 5, 6, 7, 8, 9, 11, 12, 13, 14], [1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14], [1, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14], [2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14], [2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14], [2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14], [2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14], [2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 6, 7, 8, 9, 10, 12, 13, 14], [2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14], [2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14], [2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]], "F_VECTOR": [14, 91, 364, 1001, 2002, 2996, 3376, 2814, 1652, 616, 112], "DIM": 10, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 13], [0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 13], [0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 12], [0, 1, 2, 3, 4, 5, 6, 8, 9, 12, 13], [0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 9, 10, 12, 13], [0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 13], [0, 1, 2, 3, 4, 5, 7, 8, 10, 11, 13], [0, 1, 2, 3, 4, 5, 7, 8, 11, 12, 13], [0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 13], [0, 1, 2, 3, 4, 5, 8, 9, 11, 12, 13], [0, 1, 2, 3, 4, 5, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 12], [0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13], [0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12], [0, 1, 2, 3, 4, 6, 7, 9, 10, 12, 13], [0, 1, 2, 3, 4, 6, 7, 10, 11, 12, 13], [0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 7, 8, 9, 10, 12, 13], [0, 1, 2, 3, 4, 7, 8, 10, 11, 12, 13], [0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 5, 6, 7, 8, 9, 11, 13], [0, 1, 2, 3, 5, 6, 7, 8, 11, 12, 13], [0, 1, 2, 3, 5, 6, 7, 9, 10, 11, 13], [0, 1, 2, 3, 5, 6, 8, 9, 11, 12, 13], [0, 1, 2, 3, 5, 6, 9, 10, 11, 12, 13], [0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 13], [0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 6, 7, 8, 9, 11, 12, 13], [0, 1, 2, 3, 6, 7, 9, 10, 11, 12, 13], [0, 1, 2, 3, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 13], [0, 1, 2, 4, 5, 6, 7, 8, 10, 11, 12], [0, 1, 2, 4, 5, 6, 7, 8, 10, 12, 13], [0, 1, 2, 4, 5, 6, 7, 10, 11, 12, 13], [0, 1, 2, 4, 5, 6, 8, 9, 10, 11, 12], [0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 13], [0, 1, 2, 4, 5, 7, 8, 10, 11, 12, 13], [0, 1, 2, 4, 5, 8, 9, 10, 11, 12, 13], [0, 1, 2, 4, 6, 7, 8, 9, 10, 12, 13], [0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 13], [0, 1, 2, 5, 6, 7, 8, 10, 11, 12, 13], [0, 1, 2, 5, 6, 8, 9, 10, 11, 12, 13], [0, 1, 2, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12], [0, 1, 3, 4, 5, 6, 7, 8, 9, 12, 13], [0, 1, 3, 4, 5, 6, 7, 9, 10, 11, 13], [0, 1, 3, 4, 5, 6, 7, 9, 11, 12, 13], [0, 1, 3, 4, 5, 6, 9, 10, 11, 12, 13], [0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 13], [0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13], [0, 1, 3, 4, 6, 7, 8, 9, 10, 11, 12], [0, 1, 3, 4, 6, 7, 9, 10, 11, 12, 13], [0, 1, 3, 4, 7, 8, 9, 10, 11, 12, 13], [0, 1, 3, 5, 6, 7, 8, 9, 11, 12, 13], [0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 4, 5, 6, 7, 8, 9, 10, 12, 13], [0, 1, 4, 5, 6, 7, 9, 10, 11, 12, 13], [0, 1, 4, 5, 7, 8, 9, 10, 11, 12, 13], [0, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13], [0, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13], [0, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13], [0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12], [0, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13], [0, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13], [0, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13], [0, 2, 3, 4, 6, 7, 8, 9, 10, 12, 13], [0, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13], [0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13], [0, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13], [0, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13], [0, 2, 4, 5, 6, 7, 8, 10, 11, 12, 13], [0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13], [0, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13], [0, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [0, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [0, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13], [1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13], [1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13], [1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]], "N_VERTICES": 14, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[0, 1, 2, 10, 4, 5, 6, 7, 8, 9, 3, 11, 12, 13], [0, 1, 9, 3, 4, 5, 6, 7, 8, 2, 10, 11, 12, 13], [7, 1, 2, 3, 4, 5, 6, 0, 8, 9, 10, 11, 12, 13], [3, 2, 1, 0, 6, 5, 4, 10, 9, 8, 7, 13, 12, 11], [6, 0, 1, 2, 3, 4, 5, 13, 7, 8, 9, 10, 11, 12]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[0, 40, 2, 41, 42, 5, 6, 43, 8, 44, 45, 11, 12, 13, 14, 15, 46, 17, 47, 19, 20, 48, 22, 23, 24, 25, 26, 27, 28, 29, 49, 50, 32, 51, 34, 35, 36, 52, 38, 39, 1, 3, 4, 7, 9, 10, 16, 18, 21, 30, 31, 33, 37, 53, 65, 66, 56, 67, 58, 59, 68, 61, 62, 63, 69, 54, 55, 57, 60, 64, 70, 71, 82, 73, 74, 75, 76, 77, 78, 79, 80, 81, 72, 83, 87, 85, 86, 84, 88, 101, 102, 91, 92, 93, 94, 103, 96, 97, 98, 104, 100, 89, 90, 95, 99, 105, 106, 107, 108, 109, 110, 111], [0, 1, 53, 54, 55, 5, 56, 57, 8, 9, 10, 11, 12, 58, 14, 59, 60, 17, 18, 19, 20, 21, 61, 23, 62, 25, 26, 63, 28, 29, 30, 64, 32, 33, 34, 35, 36, 37, 38, 39, 40, 65, 66, 67, 44, 45, 68, 47, 48, 49, 69, 51, 52, 2, 3, 4, 6, 7, 13, 15, 16, 22, 24, 27, 31, 41, 42, 43, 46, 50, 70, 83, 84, 73, 74, 85, 76, 77, 86, 79, 80, 81, 87, 71, 72, 75, 78, 82, 88, 89, 90, 91, 92, 105, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 93, 106, 107, 111, 109, 110, 108], [0, 1, 2, 3, 4, 5, 6, 7, 88, 89, 90, 91, 92, 93, 14, 15, 16, 94, 95, 96, 20, 21, 22, 23, 24, 97, 26, 27, 98, 29, 30, 31, 32, 99, 100, 35, 36, 37, 38, 39, 40, 41, 42, 43, 101, 102, 46, 103, 48, 49, 50, 104, 52, 53, 54, 55, 56, 57, 105, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 106, 107, 108, 109, 77, 78, 79, 110, 81, 82, 83, 84, 111, 86, 87, 8, 9, 10, 11, 12, 13, 17, 18, 19, 25, 28, 33, 34, 44, 45, 47, 51, 58, 73, 74, 75, 76, 80, 85], [0, 8, 5, 12, 11, 2, 6, 13, 1, 10, 9, 4, 3, 7, 29, 32, 34, 30, 33, 31, 20, 25, 23, 22, 24, 21, 36, 38, 37, 14, 17, 19, 15, 18, 16, 35, 26, 28, 27, 39, 88, 92, 91, 93, 90, 89, 100, 99, 97, 94, 96, 95, 98, 70, 74, 73, 71, 75, 72, 79, 80, 77, 78, 81, 76, 107, 106, 108, 110, 109, 53, 56, 58, 55, 54, 57, 64, 61, 62, 59, 60, 63, 105, 83, 85, 84, 86, 111, 40, 45, 44, 42, 41, 43, 49, 51, 50, 48, 52, 47, 46, 102, 101, 104, 103, 82, 66, 65, 67, 69, 68, 87], [1, 4, 5, 6, 7, 10, 12, 13, 0, 2, 3, 8, 9, 11, 21, 23, 24, 20, 22, 25, 30, 31, 32, 33, 34, 29, 37, 38, 36, 40, 42, 43, 45, 41, 44, 48, 49, 50, 51, 52, 55, 56, 57, 58, 53, 54, 62, 61, 64, 66, 67, 65, 69, 70, 71, 72, 74, 75, 73, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 90, 92, 93, 88, 89, 91, 97, 99, 100, 102, 101, 104, 105, 107, 108, 106, 110, 111, 14, 15, 16, 17, 18, 19, 26, 27, 28, 35, 39, 46, 47, 59, 60, 63, 68, 76, 94, 95, 96, 98, 103, 109]]}}]}, "f_vector": ["14", "91", "364", "1001", "2002", "2996", "3376", "2814", "1652", "616", "112"], "aut_group": {"gens": [["1", "2", "3", "11", "5", "6", "7", "8", "9", "10", "4"], ["1", "2", "10", "4", "5", "6", "7", "8", "9", "3"], ["8", "2", "3", "4", "5", "6", "7", "1"], ["4", "3", "2", "1", "7", "6", "5", "11", "10", "9", "8", "14", "13", "12"], ["7", "1", "2", "3", "4", "5", "6", "14", "8", "9", "10", "11", "12", "13"]], "degree": "14"}, "dim": "10", "betti_numbers": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1"], "n_vertices": "14", "topological_type": "S^10"}, "_refs": {"c8dc1e63-6dec-446c-8e90-687d1c7ecc49": {"attrs": {}, "data": {"gens": [["1", "2", "3", "11", "5", "6", "7", "8", "9", "10", "4"], ["1", "2", "10", "4", "5", "6", "7", "8", "9", "3"], ["8", "2", "3", "4", "5", "6", "7", "1"], ["4", "3", "2", "1", "7", "6", "5", "11", "10", "9", "8", "14", "13", "12"], ["7", "1", "2", "3", "4", "5", "6", "14", "8", "9", "10", "11", "12", "13"]], "degree": "14"}, "_type": "PermGroup"}}}
{"_id": "manifold_11_13_9_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "84ba464f-2c1b-46b6-9db8-7d365db97110"}, "data": {"name": "manifold_11_13_9_1", "complex": {"PURE": true, "INPUT_FACES": [[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]], "F_VECTOR": [13, 78, 286, 715, 1287, 1716, 1716, 1287, 715, 286, 78, 13], "DIM": 11, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]], "N_VERTICES": 13, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 5, 4, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 4, 3, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 3, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 2, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[1, 0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 2, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 3, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 4, 3, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 5, 4, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11]]}}]}, "f_vector": ["13", "78", "286", "715", "1287", "1716", "1716", "1287", "715", "286", "78", "13"], "aut_group": {"gens": [["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "13", "12"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "12", "11"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "11", "10"], ["1", "2", "3", "4", "5", "6", "7", "8", "10", "9"], ["1", "2", "3", "4", "5", "6", "7", "9", "8"], ["1", "2", "3", "4", "5", "6", "8", "7"], ["1", "2", "3", "4", "5", "7", "6"], ["1", "2", "3", "4", "6", "5"], ["1", "2", "3", "5", "4"], ["1", "2", "4", "3"], ["1", "3", "2"], ["2", "1"]], "degree": "13"}, "dim": "11", "betti_numbers": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1"], "n_vertices": "13", "topological_type": "S^11"}, "_refs": {"84ba464f-2c1b-46b6-9db8-7d365db97110": {"attrs": {}, "data": {"gens": [["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "13", "12"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "12", "11"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "11", "10"], ["1", "2", "3", "4", "5", "6", "7", "8", "10", "9"], ["1", "2", "3", "4", "5", "6", "7", "9", "8"], ["1", "2", "3", "4", "5", "6", "8", "7"], ["1", "2", "3", "4", "5", "7", "6"], ["1", "2", "3", "4", "6", "5"], ["1", "2", "3", "5", "4"], ["1", "2", "4", "3"], ["1", "3", "2"], ["2", "1"]], "degree": "13"}, "_type": "PermGroup"}}}
{"_id": "manifold_11_14_61_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "b61522bf-4e77-4afe-bda3-854806674469"}, "data": {"name": "manifold_11_14_61_1", "complex": {"PURE": true, "INPUT_FACES": [[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14], [1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14], [1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 14], [1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14], [1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14], [1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]], "F_VECTOR": [14, 91, 364, 1001, 2002, 3003, 3430, 2989, 1960, 931, 294, 49], "DIM": 11, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13], [0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13], [0, 1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13], [0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13], [0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13], [0, 1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13], [0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13], [0, 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13], [0, 1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13], [0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [0, 1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13], [0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13], [0, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13], [0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13], [0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]], "N_VERTICES": 14, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[0, 1, 2, 3, 4, 5, 6, 7, 10, 9, 8, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 11, 10, 9, 12, 13], [0, 1, 2, 3, 4, 5, 8, 7, 6, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 9, 8, 7, 10, 11, 12, 13], [0, 1, 2, 3, 6, 5, 4, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 7, 6, 5, 8, 9, 10, 11, 12, 13], [0, 1, 4, 3, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 5, 4, 3, 6, 7, 8, 9, 10, 11, 12, 13], [0, 3, 2, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 0, 3, 2, 5, 4, 7, 6, 9, 8, 11, 10, 13, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 12, 11]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[0, 1, 6, 7, 4, 8, 2, 3, 5, 9, 11, 10, 12, 13, 14, 15, 16, 18, 17, 19, 20, 21, 22, 23, 24, 25, 27, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 37, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48], [0, 4, 2, 5, 1, 3, 6, 8, 7, 9, 10, 11, 12, 14, 13, 15, 16, 17, 18, 19, 20, 22, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 31, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 44, 43, 45, 46, 47, 48], [0, 1, 2, 3, 4, 5, 12, 13, 14, 9, 10, 15, 6, 7, 8, 11, 16, 17, 19, 18, 20, 21, 22, 23, 24, 25, 26, 28, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39, 38, 40, 41, 42, 43, 44, 45, 46, 47, 48], [0, 1, 2, 3, 9, 10, 6, 7, 11, 4, 5, 8, 12, 13, 15, 14, 16, 17, 18, 19, 20, 21, 23, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 32, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 44, 46, 47, 48], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 20, 21, 22, 23, 16, 17, 18, 24, 12, 13, 14, 15, 19, 25, 26, 27, 29, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 40, 39, 41, 42, 43, 44, 45, 46, 47, 48], [0, 1, 2, 3, 4, 5, 6, 7, 8, 16, 17, 18, 12, 13, 14, 19, 9, 10, 11, 15, 20, 21, 22, 24, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 33, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 46, 45, 47, 48], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 30, 31, 32, 33, 34, 25, 26, 27, 28, 35, 20, 21, 22, 23, 24, 29, 36, 37, 38, 39, 41, 40, 42, 43, 44, 45, 46, 47, 48], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 25, 26, 27, 28, 20, 21, 22, 23, 29, 16, 17, 18, 19, 24, 30, 31, 32, 33, 35, 34, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 47, 46, 48], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 36, 37, 38, 39, 40, 30, 31, 32, 33, 34, 41, 25, 26, 27, 28, 29, 35, 42, 43, 44, 45, 46, 48, 47], [0, 2, 1, 3, 6, 7, 4, 5, 8, 12, 13, 14, 9, 10, 11, 15, 20, 21, 22, 23, 16, 17, 18, 19, 24, 30, 31, 32, 33, 34, 25, 26, 27, 28, 29, 35, 42, 43, 44, 45, 46, 47, 36, 37, 38, 39, 40, 41, 48], [1, 0, 3, 2, 4, 5, 7, 6, 8, 9, 10, 11, 13, 12, 14, 15, 16, 17, 18, 19, 21, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 30, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 43, 42, 44, 45, 46, 47, 48]]}}]}, "f_vector": ["14", "91", "364", "1001", "2002", "3003", "3430", "2989", "1960", "931", "294", "49"], "aut_group": {"gens": [["1", "2", "3", "4", "5", "6", "7", "8", "11", "10", "9"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "12", "11", "10"], ["1", "2", "3", "4", "5", "6", "9", "8", "7"], ["1", "2", "3", "4", "5", "6", "7", "10", "9", "8"], ["1", "2", "3", "4", "7", "6", "5"], ["1", "2", "3", "4", "5", "8", "7", "6"], ["1", "2", "5", "4", "3"], ["1", "2", "3", "6", "5", "4"], ["1", "4", "3", "2"], ["2", "1", "4", "3", "6", "5", "8", "7", "10", "9", "12", "11", "14", "13"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "14", "13", "12"]], "degree": "14"}, "dim": "11", "betti_numbers": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1"], "n_vertices": "14", "topological_type": "S^11"}, "_refs": {"b61522bf-4e77-4afe-bda3-854806674469": {"attrs": {}, "data": {"gens": [["1", "2", "3", "4", "5", "6", "7", "8", "11", "10", "9"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "12", "11", "10"], ["1", "2", "3", "4", "5", "6", "9", "8", "7"], ["1", "2", "3", "4", "5", "6", "7", "10", "9", "8"], ["1", "2", "3", "4", "7", "6", "5"], ["1", "2", "3", "4", "5", "8", "7", "6"], ["1", "2", "5", "4", "3"], ["1", "2", "3", "6", "5", "4"], ["1", "4", "3", "2"], ["2", "1", "4", "3", "6", "5", "8", "7", "10", "9", "12", "11", "14", "13"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "14", "13", "12"]], "degree": "14"}, "_type": "PermGroup"}}}
{"_id": "manifold_11_15_102_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "d66361e5-7a55-490c-9fb8-24e7eb83c24c"}, "data": {"name": "manifold_11_15_102_1", "complex": {"PURE": true, "INPUT_FACES": [[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 15], [1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 15], [1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 14, 15], [1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 9, 11, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 14, 15], [1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15], [1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 15], [1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 15], [1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 9, 10, 11, 13, 14, 15], [1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 15], [1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 14, 15], [1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 15], [1, 2, 3, 4, 5, 7, 8, 9, 12, 13, 14, 15], [1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 14, 15], [1, 2, 3, 4, 5, 7, 9, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 15], [1, 2, 3, 4, 5, 8, 9, 10, 12, 13, 14, 15], [1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 14, 15], [1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 11, 13, 14, 15], [1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 14, 15], [1, 2, 3, 4, 6, 7, 8, 11, 12, 13, 14, 15], [1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 6, 8, 9, 10, 11, 13, 14, 15], [1, 2, 3, 4, 6, 8, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 14, 15], [1, 2, 3, 4, 7, 8, 9, 11, 12, 13, 14, 15], [1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 15], [1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 14, 15], [1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 15], [1, 2, 3, 5, 6, 7, 8, 10, 12, 13, 14, 15], [1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14, 15], [1, 2, 3, 5, 6, 7, 10, 11, 12, 13, 14, 15], [1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13, 15], [1, 2, 3, 5, 7, 8, 9, 10, 12, 13, 14, 15], [1, 2, 3, 5, 7, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 6, 7, 8, 9, 10, 11, 13, 14, 15], [1, 2, 3, 6, 7, 8, 10, 11, 12, 13, 14, 15], [1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15], [1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15], [1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15], [1, 2, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15], [1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15], [1, 2, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15], [1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13, 15], [1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15], [1, 2, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15], [1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15], [1, 2, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15], [1, 2, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15], [1, 2, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15], [1, 2, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15], [1, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], [1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [1, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15], [1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15], [1, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15], [1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15], [1, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15], [1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14, 15], [1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15], [1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15], [1, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], [1, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15], [1, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15], [1, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15], [1, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15], [1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15], [2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15], [2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15], [2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15], [2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 15], [2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15], [2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 15], [2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 14, 15], [2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15], [2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14, 15], [2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15], [2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15], [2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15], [2, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15], [2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15], [2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], [3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15], [3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]], "F_VECTOR": [15, 105, 455, 1365, 3000, 4975, 6300, 6075, 4375, 2250, 750, 125], "DIM": 11, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 14], [0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 14], [0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14], [0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 13, 14], [0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 14], [0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13], [0, 1, 2, 3, 4, 5, 7, 8, 9, 12, 13, 14], [0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 14], [0, 1, 2, 3, 4, 5, 7, 9, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 8, 9, 10, 12, 13, 14], [0, 1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 14], [0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 13, 14], [0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 14], [0, 1, 2, 3, 4, 6, 7, 8, 11, 12, 13, 14], [0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 13, 14], [0, 1, 2, 3, 4, 6, 8, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 14], [0, 1, 2, 3, 4, 7, 8, 9, 11, 12, 13, 14], [0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 14], [0, 1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13], [0, 1, 2, 3, 5, 6, 7, 8, 10, 12, 13, 14], [0, 1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14], [0, 1, 2, 3, 5, 6, 7, 10, 11, 12, 13, 14], [0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 5, 7, 8, 9, 10, 12, 13, 14], [0, 1, 2, 3, 5, 7, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 13, 14], [0, 1, 2, 3, 6, 7, 8, 10, 11, 12, 13, 14], [0, 1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 14], [0, 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13], [0, 1, 2, 4, 5, 6, 7, 8, 9, 12, 13, 14], [0, 1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 14], [0, 1, 2, 4, 5, 6, 7, 9, 11, 12, 13, 14], [0, 1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13], [0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 14], [0, 1, 2, 4, 5, 6, 9, 10, 11, 12, 13, 14], [0, 1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 14], [0, 1, 2, 4, 6, 7, 8, 9, 11, 12, 13, 14], [0, 1, 2, 4, 6, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 5, 6, 7, 8, 9, 10, 12, 13, 14], [0, 1, 2, 5, 6, 7, 9, 10, 11, 12, 13, 14], [0, 1, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14], [0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14], [0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14], [0, 1, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14], [0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14], [0, 1, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14], [0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14], [0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14], [0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14], [0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14], [0, 1, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14], [0, 1, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14], [0, 1, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [0, 1, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [0, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [0, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [0, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14], [0, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14], [0, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14], [0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13], [0, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 14], [0, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14], [0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], [0, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14], [0, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14], [0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 2, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [0, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [0, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [0, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [0, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14], [1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14], [1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14], [1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [1, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]], "N_VERTICES": 15, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[0, 1, 2, 3, 4, 5, 9, 7, 8, 6, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 10, 8, 9, 7, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 11, 9, 10, 8, 12, 13, 14], [0, 1, 2, 6, 4, 5, 3, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 7, 5, 6, 4, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 8, 6, 7, 5, 9, 10, 11, 12, 13, 14], [0, 1, 5, 3, 4, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 2, 1, 3, 5, 4, 6, 8, 7, 9, 11, 10, 12, 14, 13], [1, 0, 2, 4, 3, 5, 7, 6, 8, 10, 9, 11, 13, 12, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 12, 13, 11]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[0, 1, 2, 3, 18, 19, 20, 21, 8, 9, 22, 23, 12, 13, 24, 25, 16, 26, 4, 5, 6, 7, 10, 11, 14, 15, 17, 27, 28, 33, 34, 31, 35, 29, 30, 32, 36, 37, 42, 43, 40, 44, 38, 39, 41, 45, 47, 46, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 70, 71, 68, 72, 66, 67, 69, 73, 75, 74, 76, 77, 78, 79, 80, 81, 86, 87, 84, 88, 82, 83, 85, 89, 91, 90, 92, 93, 94, 95, 96, 98, 97, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124], [0, 1, 12, 13, 4, 5, 14, 15, 8, 16, 10, 17, 2, 3, 6, 7, 9, 11, 18, 19, 24, 25, 22, 26, 20, 21, 23, 27, 31, 29, 32, 28, 30, 33, 35, 34, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 54, 55, 52, 56, 50, 51, 53, 57, 59, 58, 60, 61, 62, 63, 64, 68, 66, 69, 65, 67, 70, 72, 71, 73, 74, 75, 76, 78, 77, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 106, 107, 104, 108, 102, 103, 105, 109, 111, 110, 112, 113, 114, 115, 116, 118, 117, 119, 120, 121, 122, 123, 124], [0, 8, 2, 9, 4, 10, 6, 11, 1, 3, 5, 7, 12, 16, 14, 17, 13, 15, 18, 22, 20, 23, 19, 21, 24, 26, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 40, 38, 41, 37, 39, 42, 44, 43, 45, 46, 47, 48, 52, 50, 53, 49, 51, 54, 56, 55, 57, 58, 59, 60, 62, 61, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 84, 82, 85, 81, 83, 86, 88, 87, 89, 90, 91, 92, 94, 93, 95, 96, 97, 98, 99, 100, 104, 102, 105, 101, 103, 106, 108, 107, 109, 110, 111, 112, 114, 113, 115, 116, 117, 118, 119, 120, 122, 121, 123, 124], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 48, 49, 50, 51, 52, 53, 54, 55, 56, 27, 28, 29, 30, 31, 32, 57, 58, 59, 36, 37, 38, 39, 40, 41, 60, 61, 62, 45, 46, 63, 18, 19, 20, 21, 22, 23, 24, 25, 26, 33, 34, 35, 42, 43, 44, 47, 64, 65, 66, 67, 68, 69, 76, 77, 78, 73, 74, 79, 70, 71, 72, 75, 80, 81, 82, 83, 84, 85, 92, 93, 94, 89, 90, 95, 86, 87, 88, 91, 96, 97, 99, 98, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 36, 37, 38, 39, 40, 41, 18, 19, 20, 21, 22, 23, 42, 43, 44, 27, 28, 29, 30, 45, 46, 33, 34, 47, 12, 13, 14, 15, 16, 17, 24, 25, 26, 31, 32, 35, 48, 49, 50, 51, 52, 53, 60, 61, 62, 57, 58, 63, 54, 55, 56, 59, 64, 65, 66, 67, 73, 74, 70, 71, 75, 68, 69, 72, 76, 77, 79, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 112, 113, 114, 109, 110, 115, 106, 107, 108, 111, 116, 117, 119, 118, 120, 121, 122, 123, 124], [0, 1, 2, 3, 4, 5, 6, 7, 27, 28, 29, 30, 12, 13, 14, 15, 31, 32, 18, 19, 20, 21, 33, 34, 24, 25, 35, 8, 9, 10, 11, 16, 17, 22, 23, 26, 36, 37, 38, 39, 45, 46, 42, 43, 47, 40, 41, 44, 48, 49, 50, 51, 57, 58, 54, 55, 59, 52, 53, 56, 60, 61, 63, 62, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 89, 90, 86, 87, 91, 84, 85, 88, 92, 93, 95, 94, 96, 97, 98, 99, 100, 101, 102, 103, 109, 110, 106, 107, 111, 104, 105, 108, 112, 113, 115, 114, 116, 117, 118, 119, 120, 121, 123, 122, 124], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 64, 65, 66, 67, 68, 69, 70, 71, 72, 36, 37, 38, 39, 40, 41, 42, 43, 44, 73, 74, 75, 48, 49, 50, 51, 52, 53, 54, 55, 56, 76, 77, 78, 60, 61, 62, 79, 27, 28, 29, 30, 31, 32, 33, 34, 35, 45, 46, 47, 57, 58, 59, 63, 80, 81, 82, 83, 84, 85, 86, 87, 88, 96, 97, 98, 92, 93, 94, 99, 89, 90, 91, 95, 100, 101, 102, 103, 104, 105, 106, 107, 108, 116, 117, 118, 112, 113, 114, 119, 109, 110, 111, 115, 120, 121, 122, 124, 123], [0, 2, 1, 3, 4, 6, 5, 7, 12, 13, 14, 15, 8, 9, 10, 11, 16, 17, 18, 20, 19, 21, 24, 25, 22, 23, 26, 36, 37, 38, 39, 40, 41, 42, 43, 44, 27, 28, 29, 30, 31, 32, 33, 34, 35, 45, 46, 47, 48, 50, 49, 51, 54, 55, 52, 53, 56, 60, 61, 62, 57, 58, 59, 63, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 96, 97, 98, 99, 100, 102, 101, 103, 106, 107, 104, 105, 108, 112, 113, 114, 109, 110, 111, 115, 120, 121, 122, 123, 116, 117, 118, 119, 124], [0, 1, 4, 5, 2, 3, 6, 7, 8, 10, 9, 11, 18, 19, 20, 21, 22, 23, 12, 13, 14, 15, 16, 17, 24, 25, 26, 27, 29, 28, 30, 33, 34, 31, 32, 35, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 60, 61, 62, 63, 64, 66, 65, 67, 70, 71, 68, 69, 72, 76, 77, 78, 73, 74, 75, 79, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 120, 121, 122, 123, 124], [1, 0, 3, 2, 5, 4, 7, 6, 8, 9, 10, 11, 13, 12, 15, 14, 16, 17, 19, 18, 21, 20, 22, 23, 25, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 36, 39, 38, 40, 41, 43, 42, 44, 45, 46, 47, 49, 48, 51, 50, 52, 53, 55, 54, 56, 57, 58, 59, 61, 60, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 81, 80, 83, 82, 84, 85, 87, 86, 88, 89, 90, 91, 93, 92, 94, 95, 96, 97, 98, 99, 101, 100, 103, 102, 104, 105, 107, 106, 108, 109, 110, 111, 113, 112, 114, 115, 116, 117, 118, 119, 121, 120, 122, 123, 124]]}}]}, "f_vector": ["15", "105", "455", "1365", "3000", "4975", "6300", "6075", "4375", "2250", "750", "125"], "aut_group": {"gens": [["1", "2", "3", "4", "5", "6", "10", "8", "9", "7"], ["1", "2", "3", "4", "5", "6", "7", "11", "9", "10", "8"], ["1", "2", "3", "4", "5", "6", "7", "8", "12", "10", "11", "9"], ["1", "2", "3", "7", "5", "6", "4"], ["1", "2", "3", "4", "8", "6", "7", "5"], ["1", "2", "3", "4", "5", "9", "7", "8", "6"], ["1", "2", "6", "4", "5", "3"], ["1", "3", "2", "4", "6", "5", "7", "9", "8", "10", "12", "11", "13", "15", "14"], ["2", "1", "3", "5", "4", "6", "8", "7", "9", "11", "10", "12", "14", "13"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "15", "13", "14", "12"]], "degree": "15"}, "dim": "11", "betti_numbers": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1"], "n_vertices": "15", "topological_type": "S^11"}, "_refs": {"d66361e5-7a55-490c-9fb8-24e7eb83c24c": {"attrs": {}, "data": {"gens": [["1", "2", "3", "4", "5", "6", "10", "8", "9", "7"], ["1", "2", "3", "4", "5", "6", "7", "11", "9", "10", "8"], ["1", "2", "3", "4", "5", "6", "7", "8", "12", "10", "11", "9"], ["1", "2", "3", "7", "5", "6", "4"], ["1", "2", "3", "4", "8", "6", "7", "5"], ["1", "2", "3", "4", "5", "9", "7", "8", "6"], ["1", "2", "6", "4", "5", "3"], ["1", "3", "2", "4", "6", "5", "7", "9", "8", "10", "12", "11", "13", "15", "14"], ["2", "1", "3", "5", "4", "6", "8", "7", "9", "11", "10", "12", "14", "13"], ["1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "15", "13", "14", "12"]], "degree": "15"}, "_type": "PermGroup"}}}
{"_id": "manifold_11_15_2_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "dcf3543b-16de-44c4-81c5-c843f88f3d5d"}, "data": {"name": "manifold_11_15_2_1", "complex": {"INPUT_FACES": [[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 15], [1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 15], [1, 2, 3, 4, 5, 6, 7, 9, 10, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 15], [1, 2, 3, 4, 5, 6, 7, 10, 11, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 15], [1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15], [1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 15], [1, 2, 3, 4, 5, 6, 9, 10, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 15], [1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 15], [1, 2, 3, 4, 5, 7, 8, 9, 10, 13, 14, 15], [1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 15], [1, 2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 15], [1, 2, 3, 4, 5, 7, 8, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 15], [1, 2, 3, 4, 5, 8, 9, 10, 11, 13, 14, 15], [1, 2, 3, 4, 5, 8, 9, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 14, 15], [1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 14, 15], [1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 15], [1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 14, 15], [1, 2, 3, 4, 6, 7, 9, 10, 12, 13, 14, 15], [1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 14, 15], [1, 2, 3, 4, 7, 8, 9, 10, 12, 13, 14, 15], [1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 15], [1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 15], [1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 14, 15], [1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 15], [1, 2, 3, 5, 6, 7, 8, 10, 11, 13, 14, 15], [1, 2, 3, 5, 6, 7, 8, 11, 12, 13, 14, 15], [1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 15], [1, 2, 3, 5, 6, 8, 9, 10, 11, 13, 14, 15], [1, 2, 3, 5, 6, 8, 9, 11, 12, 13, 14, 15], [1, 2, 3, 5, 6, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 15], [1, 2, 3, 6, 7, 8, 9, 10, 11, 13, 14, 15], [1, 2, 3, 6, 7, 8, 9, 11, 12, 13, 14, 15], [1, 2, 3, 6, 7, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], [1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15], [1, 2, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15], [1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15], [1, 2, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15], [1, 2, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15], [1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 14, 15], [1, 2, 4, 5, 7, 8, 9, 10, 12, 13, 14, 15], [1, 2, 4, 5, 7, 8, 10, 11, 12, 13, 14, 15], [1, 2, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15], [1, 2, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15], [1, 2, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15], [1, 2, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15], [1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15], [1, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15], [1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15], [1, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15], [1, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15], [1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 15], [1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15], [1, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 15], [1, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15], [1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 15], [1, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14, 15], [1, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15], [1, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 15], [1, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15], [1, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], [1, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15], [1, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15], [1, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], [2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15], [2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15], [2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15], [2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15], [2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15], [2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14, 15], [2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 14, 15], [2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14, 15], [2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15], [2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15], [2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15], [2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15], [2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15], [3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15], [3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15], [3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15], [3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]], "PURE": true, "F_VECTOR": [15, 105, 455, 1365, 3003, 5005, 6420, 6330, 4690, 2478, 840, 140], "DIM": 11, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14], [0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14], [0, 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14], [0, 1, 2, 3, 4, 5, 6, 9, 10, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 13, 14], [0, 1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 7, 8, 10, 11, 13, 14], [0, 1, 2, 3, 4, 5, 7, 8, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 13, 14], [0, 1, 2, 3, 4, 5, 8, 9, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 14], [0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 14], [0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14], [0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 14], [0, 1, 2, 3, 4, 6, 7, 9, 10, 12, 13, 14], [0, 1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 14], [0, 1, 2, 3, 4, 7, 8, 9, 10, 12, 13, 14], [0, 1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 14], [0, 1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13], [0, 1, 2, 3, 5, 6, 7, 8, 10, 11, 13, 14], [0, 1, 2, 3, 5, 6, 7, 8, 11, 12, 13, 14], [0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 13, 14], [0, 1, 2, 3, 5, 6, 8, 9, 11, 12, 13, 14], [0, 1, 2, 3, 5, 6, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 13, 14], [0, 1, 2, 3, 6, 7, 8, 9, 11, 12, 13, 14], [0, 1, 2, 3, 6, 7, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 14], [0, 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 14], [0, 1, 2, 4, 5, 6, 7, 8, 9, 12, 13, 14], [0, 1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 14], [0, 1, 2, 4, 5, 6, 7, 9, 10, 12, 13, 14], [0, 1, 2, 4, 5, 6, 7, 10, 11, 12, 13, 14], [0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 14], [0, 1, 2, 4, 5, 7, 8, 9, 10, 12, 13, 14], [0, 1, 2, 4, 5, 7, 8, 10, 11, 12, 13, 14], [0, 1, 2, 4, 5, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 14], [0, 1, 2, 5, 6, 7, 8, 9, 10, 12, 13, 14], [0, 1, 2, 5, 6, 7, 8, 10, 11, 12, 13, 14], [0, 1, 2, 5, 6, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14], [0, 1, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14], [0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14], [0, 1, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14], [0, 1, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [0, 1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], [0, 1, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14], [0, 1, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14], [0, 1, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [0, 1, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [0, 1, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [0, 1, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14], [0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14], [0, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14], [0, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14], [0, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14], [0, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14], [0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14], [0, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 14], [0, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14], [0, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14], [0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 14], [0, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14], [0, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14], [0, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14], [0, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14], [0, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [0, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [0, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]], "N_VERTICES": 15, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, 14, 13, 12], [14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[0, 112, 91, 134, 133, 70, 106, 139, 55, 128, 127, 86, 85, 111, 40, 101, 138, 65, 132, 90, 30, 123, 122, 81, 80, 110, 51, 50, 105, 69, 20, 97, 137, 61, 131, 89, 36, 126, 84, 54, 14, 119, 118, 77, 76, 109, 47, 46, 104, 68, 27, 26, 100, 64, 39, 8, 94, 136, 58, 130, 88, 33, 125, 83, 53, 17, 121, 79, 49, 29, 5, 116, 115, 74, 73, 108, 44, 43, 103, 67, 24, 23, 99, 63, 38, 12, 11, 96, 60, 35, 19, 2, 92, 135, 56, 129, 87, 31, 124, 82, 52, 15, 120, 78, 48, 28, 6, 117, 75, 45, 25, 13, 1, 114, 113, 72, 71, 107, 42, 41, 102, 66, 22, 21, 98, 62, 37, 10, 9, 95, 59, 34, 18, 4, 3, 93, 57, 32, 16, 7], [1, 4, 5, 6, 7, 10, 12, 13, 14, 15, 16, 17, 18, 19, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 42, 44, 45, 47, 48, 49, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 72, 74, 75, 77, 78, 79, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 114, 116, 117, 119, 120, 121, 123, 124, 125, 126, 128, 129, 130, 131, 132, 134, 135, 136, 137, 138, 139, 0, 2, 3, 8, 9, 11, 20, 21, 23, 26, 40, 41, 43, 46, 50, 70, 71, 73, 76, 80, 85, 112, 113, 115, 118, 122, 127, 133]]}}]}, "f_vector": ["15", "105", "455", "1365", "3003", "5005", "6420", "6330", "4690", "2478", "840", "140"], "aut_group": {"gens": [["12", "11", "10", "9", "8", "7", "6", "5", "4", "3", "2", "1", "15", "14", "13"], ["15", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14"]], "degree": "15"}, "dim": "11", "betti_numbers": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1"], "n_vertices": "15", "topological_type": "S^11"}, "_refs": {"dcf3543b-16de-44c4-81c5-c843f88f3d5d": {"attrs": {}, "data": {"gens": [["12", "11", "10", "9", "8", "7", "6", "5", "4", "3", "2", "1", "15", "14", "13"], ["15", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14"]], "degree": "15"}, "_type": "PermGroup"}}}
{"_id": "manifold_11_15_86_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "002433b2-3804-45fb-906c-ac834850b19f"}, "data": {"name": "manifold_11_15_86_1", "complex": {"INPUT_FACES": [[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 15], [1, 2, 3, 4, 5, 6, 7, 9, 10, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 15], [1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 10, 11, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 15], [1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 15], [1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 14, 15], [1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 15], [1, 2, 3, 4, 5, 6, 9, 10, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 14, 15], [1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 15], [1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 14, 15], [1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 7, 8, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14, 15], [1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 14, 15], [1, 2, 3, 4, 5, 8, 9, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 15], [1, 2, 3, 4, 6, 7, 8, 9, 10, 12, 13, 15], [1, 2, 3, 4, 6, 7, 8, 9, 10, 13, 14, 15], [1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 14, 15], [1, 2, 3, 4, 6, 7, 8, 10, 12, 13, 14, 15], [1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 15], [1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 6, 8, 9, 10, 12, 13, 14, 15], [1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 15], [1, 2, 3, 4, 7, 8, 9, 10, 11, 13, 14, 15], [1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 14, 15], [1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 14, 15], [1, 2, 3, 5, 6, 7, 8, 9, 12, 13, 14, 15], [1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14, 15], [1, 2, 3, 5, 6, 7, 9, 11, 12, 13, 14, 15], [1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 14, 15], [1, 2, 3, 5, 6, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 7, 8, 9, 11, 12, 13, 14, 15], [1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 14, 15], [1, 2, 3, 6, 7, 8, 9, 10, 12, 13, 14, 15], [1, 2, 3, 6, 7, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15], [1, 2, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15], [1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15], [1, 2, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15], [1, 2, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15], [1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13, 15], [1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15], [1, 2, 4, 5, 6, 8, 10, 11, 12, 13, 14, 15], [1, 2, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15], [1, 2, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 15], [1, 2, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], [1, 2, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15], [1, 2, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15], [1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15], [1, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15], [1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15], [1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 15], [1, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15], [1, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15], [1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14, 15], [1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15], [1, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15], [1, 3, 4, 6, 7, 8, 9, 10, 12, 13, 14, 15], [1, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 3, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15], [1, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15], [1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15], [1, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15], [1, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15], [1, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], [2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15], [2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15], [2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15], [2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 15], [2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15], [2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 15], [2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15], [2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 15], [2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14, 15], [2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15], [2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15], [2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], [2, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15], [3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15], [3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15], [3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]], "PURE": true, "F_VECTOR": [15, 105, 455, 1365, 3003, 5000, 6390, 6255, 4590, 2403, 810, 135], "DIM": 11, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13], [0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 13, 14], [0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14], [0, 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 14], [0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 5, 6, 9, 10, 12, 13, 14], [0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 14], [0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13], [0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 14], [0, 1, 2, 3, 4, 5, 7, 8, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 13, 14], [0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 14], [0, 1, 2, 3, 4, 5, 8, 9, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 12, 13], [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 13, 14], [0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 14], [0, 1, 2, 3, 4, 6, 7, 8, 10, 12, 13, 14], [0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 6, 8, 9, 10, 12, 13, 14], [0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 13, 14], [0, 1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 14], [0, 1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 14], [0, 1, 2, 3, 5, 6, 7, 8, 9, 12, 13, 14], [0, 1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14], [0, 1, 2, 3, 5, 6, 7, 9, 11, 12, 13, 14], [0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 14], [0, 1, 2, 3, 5, 6, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 5, 7, 8, 9, 11, 12, 13, 14], [0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 14], [0, 1, 2, 3, 6, 7, 8, 9, 10, 12, 13, 14], [0, 1, 2, 3, 6, 7, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13], [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 13, 14], [0, 1, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13], [0, 1, 2, 4, 5, 6, 7, 8, 10, 11, 13, 14], [0, 1, 2, 4, 5, 6, 7, 8, 11, 12, 13, 14], [0, 1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13], [0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 14], [0, 1, 2, 4, 5, 6, 8, 10, 11, 12, 13, 14], [0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 13, 14], [0, 1, 2, 4, 5, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 2, 4, 6, 7, 8, 10, 11, 12, 13, 14], [0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 13, 14], [0, 1, 2, 5, 6, 7, 8, 9, 11, 12, 13, 14], [0, 1, 2, 5, 6, 8, 9, 10, 11, 12, 13, 14], [0, 1, 2, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14], [0, 1, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14], [0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14], [0, 1, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13], [0, 1, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14], [0, 1, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14], [0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14], [0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14], [0, 1, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14], [0, 1, 3, 4, 6, 7, 8, 9, 10, 12, 13, 14], [0, 1, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 12, 14], [0, 1, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14], [0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [0, 1, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [0, 1, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [0, 1, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [0, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14], [0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13], [0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14], [0, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14], [0, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14], [0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14], [0, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14], [0, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14], [0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13], [0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], [0, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14], [0, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14], [0, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13, 14], [0, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [0, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14], [0, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14], [0, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14], [0, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14], [1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14], [1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 14], [1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 2, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14], [1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14], [1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], [2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14], [2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14], [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]], "N_VERTICES": 15, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[0, 1, 2, 8, 4, 5, 6, 7, 3, 9, 10, 11, 12, 13, 14], [0, 1, 2, 3, 9, 5, 6, 7, 8, 4, 10, 11, 12, 13, 14], [0, 1, 2, 3, 4, 10, 6, 7, 8, 9, 5, 11, 12, 13, 14], [0, 1, 2, 3, 4, 5, 11, 7, 8, 9, 10, 6, 12, 13, 14], [5, 1, 2, 3, 4, 0, 6, 7, 8, 9, 10, 11, 12, 13, 14], [0, 6, 2, 3, 4, 5, 1, 7, 8, 9, 10, 11, 12, 13, 14], [1, 0, 4, 3, 2, 6, 5, 9, 8, 7, 11, 10, 14, 13, 12], [4, 0, 1, 2, 3, 9, 5, 6, 7, 8, 14, 10, 11, 12, 13]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[0, 1, 2, 3, 4, 5, 6, 7, 52, 53, 54, 55, 56, 13, 14, 15, 16, 57, 58, 59, 20, 21, 22, 23, 60, 25, 26, 61, 28, 29, 30, 31, 32, 62, 63, 35, 36, 37, 38, 39, 40, 41, 42, 64, 65, 45, 66, 47, 48, 49, 67, 51, 8, 9, 10, 11, 12, 17, 18, 19, 24, 27, 33, 34, 43, 44, 46, 50, 68, 69, 70, 71, 82, 83, 84, 75, 76, 85, 78, 79, 80, 86, 72, 73, 74, 77, 81, 87, 88, 89, 90, 101, 92, 93, 102, 95, 96, 97, 98, 99, 100, 91, 94, 103, 104, 107, 106, 105, 108, 109, 110, 111, 112, 124, 125, 115, 116, 117, 118, 119, 120, 121, 126, 123, 113, 114, 122, 127, 128, 129, 130, 131, 132, 133, 134], [0, 1, 2, 3, 4, 40, 41, 42, 8, 9, 10, 43, 44, 13, 14, 15, 45, 17, 18, 46, 20, 21, 22, 47, 24, 25, 26, 27, 28, 29, 30, 48, 49, 33, 50, 35, 36, 37, 51, 39, 5, 6, 7, 11, 12, 16, 19, 23, 31, 32, 34, 38, 52, 53, 54, 64, 65, 57, 58, 66, 60, 61, 62, 67, 55, 56, 59, 63, 68, 69, 70, 80, 72, 73, 81, 75, 76, 77, 78, 79, 71, 74, 82, 83, 86, 85, 84, 87, 88, 89, 99, 91, 92, 93, 94, 95, 96, 100, 98, 90, 97, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 120, 121, 113, 122, 115, 116, 117, 123, 119, 111, 112, 114, 118, 124, 126, 125, 127, 128, 129, 130, 133, 132, 131, 134], [0, 1, 28, 29, 30, 5, 31, 32, 8, 9, 33, 11, 34, 13, 14, 35, 16, 17, 18, 19, 20, 36, 37, 38, 24, 25, 39, 27, 2, 3, 4, 6, 7, 10, 12, 15, 21, 22, 23, 26, 40, 48, 49, 43, 50, 45, 46, 51, 41, 42, 44, 47, 52, 53, 62, 55, 63, 57, 58, 59, 60, 61, 54, 56, 64, 67, 66, 65, 68, 69, 78, 71, 72, 73, 74, 75, 79, 77, 70, 76, 80, 81, 82, 83, 84, 85, 86, 87, 95, 96, 97, 91, 92, 98, 94, 88, 89, 90, 93, 100, 99, 101, 102, 103, 106, 105, 104, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134], [0, 20, 2, 21, 22, 5, 6, 23, 8, 24, 10, 11, 12, 13, 25, 26, 16, 17, 27, 19, 1, 3, 4, 7, 9, 14, 15, 18, 28, 36, 37, 31, 38, 33, 34, 39, 29, 30, 32, 35, 40, 41, 47, 43, 44, 45, 46, 42, 48, 51, 50, 49, 52, 60, 54, 55, 56, 57, 61, 59, 53, 58, 62, 63, 64, 65, 66, 67, 68, 75, 76, 71, 72, 77, 74, 69, 70, 73, 79, 78, 80, 81, 82, 85, 84, 83, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 116, 117, 111, 118, 113, 114, 119, 109, 110, 112, 115, 120, 123, 122, 121, 124, 125, 126, 128, 127, 129, 130, 131, 132, 133, 134], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 40, 41, 42, 43, 44, 45, 46, 47, 120, 121, 122, 123, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 124, 125, 64, 65, 66, 126, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 127, 128, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 129, 130, 131, 132, 99, 133, 101, 102, 103, 104, 105, 134, 107, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 48, 49, 50, 51, 62, 63, 67, 78, 79, 95, 96, 97, 98, 100, 106], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 87, 88, 89, 90, 91, 92, 93, 94, 28, 29, 30, 31, 32, 33, 34, 35, 95, 96, 97, 98, 40, 41, 42, 43, 44, 45, 46, 99, 48, 49, 50, 100, 52, 53, 54, 55, 56, 57, 58, 59, 101, 102, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 103, 104, 105, 78, 106, 80, 81, 82, 83, 84, 107, 86, 20, 21, 22, 23, 24, 25, 26, 27, 36, 37, 38, 39, 47, 51, 60, 61, 75, 76, 77, 79, 85, 108, 109, 110, 111, 112, 113, 114, 115, 129, 130, 131, 132, 120, 121, 122, 133, 124, 125, 126, 127, 134, 116, 117, 118, 119, 123, 128], [0, 2, 1, 4, 3, 13, 14, 15, 8, 10, 9, 17, 18, 5, 6, 7, 16, 11, 12, 19, 28, 30, 29, 35, 33, 31, 32, 34, 20, 22, 21, 25, 26, 24, 27, 23, 37, 36, 39, 38, 68, 69, 70, 72, 73, 71, 74, 78, 75, 76, 77, 79, 52, 54, 53, 57, 58, 55, 56, 59, 62, 63, 60, 61, 82, 83, 84, 85, 40, 41, 42, 45, 43, 44, 46, 48, 49, 50, 47, 51, 80, 81, 64, 65, 66, 67, 86, 108, 110, 109, 115, 113, 111, 112, 114, 117, 116, 119, 118, 127, 128, 124, 125, 120, 121, 122, 123, 126, 87, 89, 88, 92, 93, 91, 94, 90, 96, 95, 98, 97, 103, 104, 105, 106, 101, 102, 107, 99, 100, 130, 129, 132, 131, 134, 133], [1, 4, 0, 2, 3, 9, 8, 10, 14, 15, 13, 18, 17, 20, 22, 21, 24, 25, 26, 27, 30, 28, 29, 33, 35, 37, 36, 39, 5, 6, 7, 11, 12, 16, 19, 23, 31, 32, 34, 38, 53, 52, 54, 58, 57, 60, 61, 62, 55, 56, 59, 63, 69, 70, 68, 73, 72, 75, 76, 77, 78, 79, 71, 74, 83, 82, 85, 84, 87, 89, 88, 91, 92, 93, 94, 96, 95, 98, 90, 97, 101, 102, 103, 104, 105, 106, 107, 110, 108, 109, 113, 115, 117, 116, 119, 111, 112, 114, 118, 124, 125, 127, 128, 130, 129, 132, 131, 134, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 64, 65, 66, 67, 80, 81, 86, 99, 100, 120, 121, 122, 123, 126, 133]]}}]}, "f_vector": ["15", "105", "455", "1365", "3003", "5000", "6390", "6255", "4590", "2403", "810", "135"], "aut_group": {"gens": [["1", "2", "3", "9", "5", "6", "7", "8", "4"], ["1", "2", "3", "4", "10", "6", "7", "8", "9", "5"], ["1", "2", "3", "4", "5", "11", "7", "8", "9", "10", "6"], ["1", "2", "3", "4", "5", "6", "12", "8", "9", "10", "11", "7"], ["6", "2", "3", "4", "5", "1"], ["1", "7", "3", "4", "5", "6", "2"], ["2", "1", "5", "4", "3", "7", "6", "10", "9", "8", "12", "11", "15", "14", "13"], ["5", "1", "2", "3", "4", "10", "6", "7", "8", "9", "15", "11", "12", "13", "14"]], "degree": "15"}, "dim": "11", "betti_numbers": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1"], "n_vertices": "15", "topological_type": "S^11"}, "_refs": {"002433b2-3804-45fb-906c-ac834850b19f": {"attrs": {}, "data": {"gens": [["1", "2", "3", "9", "5", "6", "7", "8", "4"], ["1", "2", "3", "4", "10", "6", "7", "8", "9", "5"], ["1", "2", "3", "4", "5", "11", "7", "8", "9", "10", "6"], ["1", "2", "3", "4", "5", "6", "12", "8", "9", "10", "11", "7"], ["6", "2", "3", "4", "5", "1"], ["1", "7", "3", "4", "5", "6", "2"], ["2", "1", "5", "4", "3", "7", "6", "10", "9", "8", "12", "11", "15", "14", "13"], ["5", "1", "2", "3", "4", "10", "6", "7", "8", "9", "15", "11", "12", "13", "14"]], "degree": "15"}, "_type": "PermGroup"}}}
{"_id": "manifold_2_10_3_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "7b75a7be-ac4b-4399-9694-84c2f271aaaf"}, "data": {"name": "manifold_2_10_3_1", "complex": {"PURE": true, "INPUT_FACES": [[1, 2, 3], [1, 2, 10], [1, 3, 7], [1, 5, 7], [1, 5, 9], [1, 9, 10], [2, 3, 4], [2, 4, 8], [2, 6, 8], [2, 6, 10], [3, 4, 5], [3, 5, 9], [3, 7, 9], [4, 5, 6], [4, 6, 10], [4, 8, 10], [5, 6, 7], [6, 7, 8], [7, 8, 9], [8, 9, 10]], "F_VECTOR": [10, 30, 20], "DIM": 2, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2], [0, 1, 9], [0, 2, 6], [0, 4, 6], [0, 4, 8], [0, 8, 9], [1, 2, 3], [1, 3, 7], [1, 5, 7], [1, 5, 9], [2, 3, 4], [2, 4, 8], [2, 6, 8], [3, 4, 5], [3, 5, 9], [3, 7, 9], [4, 5, 6], [5, 6, 7], [6, 7, 8], [7, 8, 9]], "N_VERTICES": 10, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[2, 1, 0, 9, 8, 7, 6, 5, 4, 3], [9, 0, 1, 2, 3, 4, 5, 6, 7, 8]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[0, 6, 2, 12, 11, 10, 1, 9, 8, 7, 5, 4, 3, 19, 15, 14, 18, 17, 16, 13], [1, 5, 9, 14, 15, 19, 0, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 16, 17, 18]]}}]}, "f_vector": ["10", "30", "20"], "aut_group": {"gens": [["3", "2", "1", "10", "9", "8", "7", "6", "5", "4"], ["10", "1", "2", "3", "4", "5", "6", "7", "8", "9"]], "degree": "10"}, "dim": "2", "betti_numbers": ["0", "1", "0"], "n_vertices": "10", "topological_type": "( - ; 2 ) = Klein bottle"}, "_refs": {"7b75a7be-ac4b-4399-9694-84c2f271aaaf": {"attrs": {}, "data": {"gens": [["3", "2", "1", "10", "9", "8", "7", "6", "5", "4"], ["10", "1", "2", "3", "4", "5", "6", "7", "8", "9"]], "degree": "10"}, "_type": "PermGroup"}}}
{"_id": "manifold_2_10_3_2", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "acd4697b-1855-4c79-aa9b-fa2063bc6538"}, "data": {"name": "manifold_2_10_3_2", "complex": {"INPUT_FACES": [[1, 2, 4], [1, 2, 9], [1, 3, 4], [1, 3, 10], [1, 8, 9], [1, 8, 10], [2, 3, 5], [2, 3, 10], [2, 4, 5], [2, 9, 10], [3, 4, 6], [3, 5, 6], [4, 5, 7], [4, 6, 7], [5, 6, 8], [5, 7, 8], [6, 7, 9], [6, 8, 9], [7, 8, 10], [7, 9, 10]], "PURE": true, "F_VECTOR": [10, 30, 20], "DIM": 2, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 3], [0, 1, 8], [0, 2, 3], [0, 2, 9], [0, 7, 8], [0, 7, 9], [1, 2, 4], [1, 2, 9], [1, 3, 4], [1, 8, 9], [2, 3, 5], [2, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 7], [4, 6, 7], [5, 6, 8], [5, 7, 8], [6, 7, 9], [6, 8, 9]], "N_VERTICES": 10, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[1, 0, 9, 8, 7, 6, 5, 4, 3, 2], [3, 2, 1, 0, 9, 8, 7, 6, 5, 4], [9, 0, 1, 2, 3, 4, 5, 6, 7, 8]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[1, 0, 9, 7, 8, 6, 5, 3, 4, 2, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10], [2, 10, 0, 8, 13, 12, 7, 6, 3, 11, 1, 9, 5, 4, 19, 18, 17, 16, 15, 14], [3, 5, 7, 9, 18, 19, 0, 1, 2, 4, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17]]}}]}, "f_vector": ["10", "30", "20"], "aut_group": {"gens": [["2", "1", "10", "9", "8", "7", "6", "5", "4", "3"], ["4", "3", "2", "1", "10", "9", "8", "7", "6", "5"], ["10", "1", "2", "3", "4", "5", "6", "7", "8", "9"]], "degree": "10"}, "dim": "2", "betti_numbers": ["0", "2", "1"], "n_vertices": "10", "topological_type": "( + ; 1 ) = T^2"}, "_refs": {"acd4697b-1855-4c79-aa9b-fa2063bc6538": {"attrs": {}, "data": {"gens": [["2", "1", "10", "9", "8", "7", "6", "5", "4", "3"], ["4", "3", "2", "1", "10", "9", "8", "7", "6", "5"], ["10", "1", "2", "3", "4", "5", "6", "7", "8", "9"]], "degree": "10"}, "_type": "PermGroup"}}}
{"_id": "manifold_2_10_7_1", "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.0-DEV-1ced56693e7fcd800b82f76a91a2ea04736a654a"]}, "_type": {"name": "TransitiveSimplicialComplex", "params": "502cce57-b92a-4795-a545-b1478d34d4b2"}, "data": {"name": "manifold_2_10_7_1", "complex": {"PURE": true, "INPUT_FACES": [[1, 2, 3], [1, 2, 8], [1, 3, 7], [1, 4, 6], [1, 4, 10], [1, 5, 7], [1, 5, 9], [1, 6, 8], [1, 9, 10], [2, 3, 6], [2, 4, 7], [2, 4, 9], [2, 5, 6], [2, 5, 10], [2, 7, 10], [2, 8, 9], [3, 4, 5], [3, 4, 10], [3, 5, 9], [3, 6, 8], [3, 7, 9], [3, 8, 10], [4, 5, 8], [4, 6, 9], [4, 7, 8], [5, 6, 7], [5, 8, 10], [6, 7, 10], [6, 9, 10], [7, 8, 9]], "F_VECTOR": [10, 45, 30], "DIM": 2, "_ns": {"polymake": ["https://polymake.org", "4.14"]}, "VERTEX_INDICES": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], "_type": "topaz::SimplicialComplex", "FACETS": [[0, 1, 2], [0, 1, 7], [0, 2, 6], [0, 3, 5], [0, 3, 9], [0, 4, 6], [0, 4, 8], [0, 5, 7], [0, 8, 9], [1, 2, 5], [1, 3, 6], [1, 3, 8], [1, 4, 5], [1, 4, 9], [1, 6, 9], [1, 7, 8], [2, 3, 4], [2, 3, 9], [2, 4, 8], [2, 5, 7], [2, 6, 8], [2, 7, 9], [3, 4, 7], [3, 5, 8], [3, 6, 7], [4, 5, 6], [4, 7, 9], [5, 6, 9], [5, 8, 9], [6, 7, 8]], "N_VERTICES": 10, "GROUP": [{"_info": {"description": "combinatorial symmetry group"}, "RAYS_ACTION": {"GENERATORS": [[2, 1, 0, 9, 8, 7, 6, 5, 4, 3], [1, 0, 7, 4, 3, 5, 8, 2, 6, 9], [0, 6, 2, 9, 7, 8, 1, 4, 5, 3]]}, "_id": "CombAut", "FACETS_ACTION": {"GENERATORS": [[0, 9, 2, 21, 17, 20, 18, 19, 16, 1, 14, 13, 15, 11, 10, 12, 8, 4, 6, 7, 5, 3, 28, 26, 27, 29, 23, 24, 22, 25], [1, 0, 15, 12, 13, 11, 10, 9, 14, 7, 6, 5, 3, 4, 8, 2, 22, 26, 24, 19, 29, 21, 16, 25, 18, 23, 17, 28, 27, 20], [2, 5, 0, 8, 4, 1, 7, 6, 3, 20, 14, 27, 29, 24, 10, 25, 21, 17, 19, 18, 9, 16, 26, 28, 13, 15, 22, 11, 23, 12]]}}]}, "f_vector": ["10", "45", "30"], "aut_group": {"gens": [["3", "2", "1", "10", "9", "8", "7", "6", "5", "4"], ["2", "1", "8", "5", "4", "6", "9", "3", "7"], ["1", "7", "3", "10", "8", "9", "2", "5", "6", "4"]], "degree": "10"}, "dim": "2", "betti_numbers": ["0", "6", "0"], "n_vertices": "10", "topological_type": "( - ; 7 )"}, "_refs": {"502cce57-b92a-4795-a545-b1478d34d4b2": {"attrs": {}, "data": {"gens": [["3", "2", "1", "10", "9", "8", "7", "6", "5", "4"], ["2", "1", "8", "5", "4", "6", "9", "3", "7"], ["1", "7", "3", "10", "8", "9", "2", "5", "6", "4"]], "degree": "10"}, "_type": "PermGroup"}}}