puts "TODO OCC25593 ALL: Faulty shapes in variables faulty_1 to faulty_4 "

restore [locate_data_file wrong_checkshape_2.brep] a