tptp.gen 776 Bytes