% SZS status Theorem for PAIRED__BETA__T
% SZS output start Proof for PAIRED__BETA__T
  file('i/f/util_prob/PAIRED__BETA__THM',ch4s_utilu_u_probs_PAIREDu_u_BETAu_u_THM)).
  file('i/f/util_prob/PAIRED__BETA__THM',ah4s_pairs_ABSu_u_PAIRu_u_THM)).
  file('i/f/util_prob/PAIRED__BETA__THM',ah4s_pairs_SND0)).
  file('i/f/util_prob/PAIRED__BETA__THM',ah4s_pairs_FST0)).
  file('i/f/util_prob/PAIRED__BETA__THM',ah4s_pairs_UNCURRYu_u_DEF)).
% SZS output end Proof for PAIRED__BETA__T
