% SZS status Theorem for inter__LN_
% SZS output start Proof for inter__LN_
  file('i/f/sptree/inter__LN_c1',ch4s_sptrees_interu_u_LNu_c1)).
  file('i/f/sptree/inter__LN_c1',ah4s_sptrees_LN0)).
  file('i/f/sptree/inter__LN_c1',ah4s_sptrees_interu_u_defu_c0)).
% SZS output end Proof for inter__LN_
