% SZS status Theorem for SI
% SZS output start Proof for SI
  file('i/f/float/SIGN',ch4s_floats_SIGN)).
  file('i/f/float/SIGN',ah4s_pairs_PAIR)).
  file('i/f/float/SIGN',ah4s_ieees_sign0)).
% SZS output end Proof for SI
