Simplicial_complex_recognition_problem loading ...