% SZS status Theorem for can__get__b
% SZS output start Proof for can__get__b
  file('i/f/int_arith/can__get__big',aHLu_TRUTH)).
  file('i/f/int_arith/can__get__big',aHLu_FALSITY)).
  file('i/f/int_arith/can__get__big',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/int_arith/can__get__big',ch4s_intu_u_ariths_canu_u_getu_u_big)).
  file('i/f/int_arith/can__get__big',ah4s_bools_IMPu_u_ANTISYMu_u_AX)).
  file('i/f/int_arith/can__get__big',ah4s_intu_u_ariths_canu_u_getu_u_small)).
  file('i/f/int_arith/can__get__big',ah4s_integers_INTu_u_LTu_u_SUBu_u_RADD)).
% SZS output end Proof for can__get__b
