% SZS status Theorem for fromPath__
% SZS output start Proof for fromPath__
  file('i/f/path/fromPath__11',ch4s_paths_fromPathu_u_11)).
  file('i/f/path/fromPath__11',ah4s_paths_pathu_u_absrepu_u_bijectionsu_c0)).
% SZS output end Proof for fromPath__
