% SZS status Theorem for UNWIND__EXISTS__T
% SZS output start Proof for UNWIND__EXISTS__T
  file('i/f/quantHeuristics/UNWIND__EXISTS__THM',ch4s_quantHeuristicss_UNWINDu_u_EXISTSu_u_THM)).
% SZS output end Proof for UNWIND__EXISTS__T
