tptp.gen 910 Bytes