YES

certificate:
<?xml version='1.0' ?><certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="cpf3.xsd"><cpfVersion>3.0</cpfVersion><lookupTables /><input><infeasibilityInput><ctrs><conditionType><oriented /></conditionType><rules><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><var>y</var><var>y</var></funapp><var>x</var></funapp><conditions><condition><var>n</var><funapp><name>s</name><var>n&#39;</var></funapp></condition><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>s</name><var>z</var></funapp></condition><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></conditions></rule><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><var>y</var><var>y</var></funapp><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp><conditions><condition><var>n</var><funapp><name>s</name><var>n&#39;</var></funapp></condition><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>0</name></funapp></condition><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></conditions></rule><rule><funapp><name>power</name><var>x</var><funapp><name>0</name></funapp></funapp><funapp><name>s</name><funapp><name>0</name></funapp></funapp><conditions /></rule><rule><funapp><name>div</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>s</name><var>q</var></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>false</name></funapp></condition><condition><funapp><name>div</name><funapp><name>minus</name><var>x</var><var>y</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><var>q</var></condition></conditions></rule><rule><funapp><name>div</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>0</name></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>true</name></funapp></condition></conditions></rule><rule><funapp><name>div</name><funapp><name>0</name></funapp><funapp><name>s</name><var>x</var></funapp></funapp><funapp><name>0</name></funapp><conditions /></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><var>x</var><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>y</var></funapp><var>x</var></funapp><funapp><name>false</name></funapp></condition></conditions></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>mod</name><funapp><name>minus</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>s</name><var>y</var></funapp></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>y</var></funapp><var>x</var></funapp><funapp><name>true</name></funapp></condition></conditions></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>0</name></funapp></funapp><var>x</var><conditions /></rule><rule><funapp><name>mod</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>0</name></funapp><conditions /></rule><rule><funapp><name>minus</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>minus</name><var>x</var><var>y</var></funapp><conditions /></rule><rule><funapp><name>minus</name><var>x</var><funapp><name>0</name></funapp></funapp><var>x</var><conditions /></rule><rule><funapp><name>minus</name><funapp><name>0</name></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>0</name></funapp><conditions /></rule><rule><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>lte</name><var>x</var><var>y</var></funapp><conditions /></rule><rule><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><funapp><name>0</name></funapp></funapp><funapp><name>false</name></funapp><conditions /></rule><rule><funapp><name>lte</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>true</name></funapp><conditions /></rule><rule><funapp><name>mult</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>add</name><funapp><name>mult</name><var>x</var><var>y</var></funapp><var>y</var></funapp><conditions /></rule><rule><funapp><name>mult</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>0</name></funapp><conditions /></rule><rule><funapp><name>add</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>s</name><funapp><name>add</name><var>x</var><var>y</var></funapp></funapp><conditions /></rule><rule><funapp><name>add</name><funapp><name>0</name></funapp><var>x</var></funapp><var>x</var><conditions /></rule></rules></ctrs><infeasibilityQuery><rule><funapp><name>0</name></funapp><funapp><name>s</name><var>x1</var></funapp></rule><rule><funapp><name>mod</name><funapp><name>0</name></funapp><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>s</name><var>x2</var></funapp></rule><rule><funapp><name>power</name><var>x3</var><funapp><name>div</name><funapp><name>0</name></funapp><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>x5</var></rule></infeasibilityQuery></infeasibilityInput></input><property><infeasibility /></property><answer><yes /></answer><proof><infeasibilityProof><infeasibleEquation><rule><funapp><name>0</name></funapp><funapp><name>s</name><var>x1</var></funapp></rule><nonreachabilityProof><nonreachableCorewritePair><interpretation><type><polynomial><domain><negativeIntegers /></domain><degree>1</degree></polynomial></type><interpret><name>power</name><arity>2</arity><sum><integer>0</integer><product><integer>0</integer><variable>1</variable></product><product><integer>0</integer><variable>2</variable></product></sum></interpret><interpret><name>mult</name><arity>2</arity><sum><integer>0</integer><product><integer>0</integer><variable>1</variable></product><product><integer>0</integer><variable>2</variable></product></sum></interpret><interpret><name>s</name><arity>1</arity><sum><integer>-1</integer><product><integer>0</integer><variable>1</variable></product></sum></interpret><interpret><name>0</name><arity>0</arity><integer>-2</integer></interpret><interpret><name>div</name><arity>2</arity><sum><integer>0</integer><product><integer>0</integer><variable>1</variable></product><product><integer>1</integer><variable>2</variable></product></sum></interpret><interpret><name>mod</name><arity>2</arity><sum><integer>0</integer><product><integer>0</integer><variable>1</variable></product><product><integer>0</integer><variable>2</variable></product></sum></interpret><interpret><name>minus</name><arity>2</arity><sum><integer>0</integer><product><integer>0</integer><variable>1</variable></product><product><integer>0</integer><variable>2</variable></product></sum></interpret><interpret><name>lte</name><arity>2</arity><sum><integer>0</integer><product><integer>0</integer><variable>1</variable></product><product><integer>0</integer><variable>2</variable></product></sum></interpret><interpret><name>false</name><arity>0</arity><integer>0</integer></interpret><interpret><name>true</name><arity>0</arity><integer>0</integer></interpret><interpret><name>add</name><arity>2</arity><sum><integer>0</integer><product><integer>0</integer><variable>1</variable></product><product><integer>0</integer><variable>2</variable></product></sum></interpret></interpretation></nonreachableCorewritePair></nonreachabilityProof></infeasibleEquation></infeasibilityProof></proof></certificationProblem>