and-elim.ll 436 Bytes