% SZS status Theorem for TRIANGLE__2D__N
% SZS output start Proof for TRIANGLE__2D__N
  file('i/f/util_prob/TRIANGLE__2D__NUM',aHLu_TRUTH)).
  file('i/f/util_prob/TRIANGLE__2D__NUM',ah4s_bools_NOTu_u_CLAUSESu_c1)).
  file('i/f/util_prob/TRIANGLE__2D__NUM',ch4s_utilu_u_probs_TRIANGLEu_u_2Du_u_NUM)).
  file('i/f/util_prob/TRIANGLE__2D__NUM',ah4s_bools_EQu_u_CLAUSESu_c3)).
  file('i/f/util_prob/TRIANGLE__2D__NUM',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/util_prob/TRIANGLE__2D__NUM',ah4s_arithmetics_LESSu_u_EQu_u_EXISTS)).
  file('i/f/util_prob/TRIANGLE__2D__NUM',ah4s_arithmetics_ADDu_u_COMM)).
% SZS output end Proof for TRIANGLE__2D__N
