tptp2cime.opp.exp 2.2 KB