tptp.gen 956 Bytes