% SZS status Theorem for VAL
% SZS output start Proof for VAL
  file('i/f/float/VALOF',ah4s_pairs_PAIR)).
  file('i/f/float/VALOF',ah4s_ieees_exponent0)).
  file('i/f/float/VALOF',ah4s_ieees_fraction0)).
  file('i/f/float/VALOF',aHLu_FALSITY)).
  file('i/f/float/VALOF',aHLu_BOOLu_CASES)).
  file('i/f/float/VALOF',ah4s_ieees_valof0)).
  file('i/f/float/VALOF',ah4s_ieees_sign0)).
  file('i/f/float/VALOF',ch4s_floats_VALOF)).
  file('i/f/float/VALOF',ah4s_bools_TRUTH)).
% SZS output end Proof for VAL
