% SZS status Theorem for v2w__n
% SZS output start Proof for v2w__n
  file('i/f/bitstring/v2w__n2v',ch4s_bitstrings_v2wu_u_n2v)).
  file('i/f/bitstring/v2w__n2v',ah4s_bitstrings_v2nu_u_n2v)).
  file('i/f/bitstring/v2w__n2v',ah4s_bitstrings_n2wu_u_v2n)).
% SZS output end Proof for v2w__n
