% SZS status Theorem for LAMBDA__R
% SZS output start Proof for LAMBDA__R
  file('i/f/quotient/LAMBDA__RSP',aHLu_BOOLu_CASES)).
  file('i/f/quotient/LAMBDA__RSP',aHLu_FALSITY)).
  file('i/f/quotient/LAMBDA__RSP',ch4s_quotients_LAMBDAu_u_RSP)).
  file('i/f/quotient/LAMBDA__RSP',aHLu_EXT)).
  file('i/f/quotient/LAMBDA__RSP',aHLu_TRUTH)).
% SZS output end Proof for LAMBDA__R
