% SZS status Theorem for toPath__
% SZS output start Proof for toPath__
  file('i/f/path/toPath__11',ch4s_paths_toPathu_u_11)).
  file('i/f/path/toPath__11',ah4s_paths_pathu_u_absrepu_u_bijectionsu_c1)).
  file('i/f/path/toPath__11',aHLu_TRUTH)).
% SZS output end Proof for toPath__
