tptp2cime.opp.exp 2.88 KB