% SZS status Theorem for ORD__
% SZS output start Proof for ORD__
  file('i/f/string/ORD__11',ch4s_strings_ORDu_u_11)).
  file('i/f/string/ORD__11',ah4s_strings_charu_u_BIJu_c0)).
% SZS output end Proof for ORD__
