Submission to the VSComp 2014 competition from ProofInUse team