tptp2cime.exp 2.88 KB