{'ext_certificates': 1320, 'reduced_to_boundary_of_5simplex': 1320, 'failures': [], 'completion_T_reduced_to_boundary_of_4simplex': [('Z14_5', True), ('n10_line_27137', True)], 'seconds': 12}
