% SZS status Theorem for NUM__2D__BIJ__NZ__ALT__I
% SZS output start Proof for NUM__2D__BIJ__NZ__ALT__I
  file('i/f/util_prob/NUM__2D__BIJ__NZ__ALT__INV',aHLu_FALSITY)).
  file('i/f/util_prob/NUM__2D__BIJ__NZ__ALT__INV',ah4s_bools_IMPu_u_ANTISYMu_u_AX)).
  file('i/f/util_prob/NUM__2D__BIJ__NZ__ALT__INV',ch4s_utilu_u_probs_NUMu_u_2Du_u_BIJu_u_NZu_u_ALTu_u_INV)).
  file('i/f/util_prob/NUM__2D__BIJ__NZ__ALT__INV',ah4s_utilu_u_probs_BIJu_u_SYM)).
  file('i/f/util_prob/NUM__2D__BIJ__NZ__ALT__INV',ah4s_utilu_u_probs_NUMu_u_2Du_u_BIJu_u_NZu_u_ALT)).
% SZS output end Proof for NUM__2D__BIJ__NZ__ALT__I
