shortest_edit_script