tptp.gen 991 Bytes