tptp2cime.exp 1.08 KB