0.00/0.04	YES
0.00/0.04	<?xml version="1.0" encoding="UTF-8"?> <certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../xml/cpf.xsd"><input><infeasibilityInput><rules><rule><lhs><funapp><name>f</name><arg><funapp><name>c</name><arg><var>x</var></arg></funapp></arg><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><var>y</var></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>a</name><arg><funapp><name>a</name><arg><var>x</var></arg></funapp></arg></funapp></rhs><conditions><condition><lhs><funapp><name>c</name><arg><funapp><name>f</name><arg><var>x</var></arg><arg><var>y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>c</name><arg><funapp><name>a</name><arg><funapp><name>b</name></funapp></arg></funapp></arg></funapp></rhs></condition></conditions></rule><rule><lhs><funapp><name>f</name><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><var>x</var></arg></funapp></arg></funapp></arg></funapp></arg><arg><var>y</var></arg></funapp></lhs><rhs><funapp><name>a</name><arg><var>y</var></arg></funapp></rhs><conditions><condition><lhs><funapp><name>c</name><arg><funapp><name>f</name><arg><funapp><name>c</name><arg><var>x</var></arg></funapp></arg><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><var>y</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>c</name><arg><funapp><name>a</name><arg><funapp><name>a</name><arg><funapp><name>b</name></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></condition></conditions></rule><rule><lhs><funapp><name>h</name><arg><funapp><name>b</name></funapp></arg></funapp></lhs><rhs><funapp><name>b</name></funapp></rhs><conditions/></rule><rule><lhs><funapp><name>h</name><arg><funapp><name>a</name><arg><funapp><name>a</name><arg><var>x</var></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>a</name><arg><funapp><name>b</name></funapp></arg></funapp></rhs><conditions><condition><lhs><funapp><name>h</name><arg><var>x</var></arg></funapp></lhs><rhs><funapp><name>b</name></funapp></rhs></condition></conditions></rule></rules><probs><rules><rule><lhs><funapp><name>c</name><arg><funapp><name>f</name><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><var>x1</var></arg></funapp></arg></funapp></arg><arg><var>y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>c</name><arg><funapp><name>a</name><arg><funapp><name>b</name></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>c</name><arg><funapp><name>f</name><arg><funapp><name>c</name><arg><var>x1</var></arg></funapp></arg><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><funapp><name>c</name><arg><var>y</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>c</name><arg><funapp><name>a</name><arg><funapp><name>a</name><arg><funapp><name>b</name></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule></rules></probs></infeasibilityInput></input><cpfVersion>2.2</cpfVersion><proof><infeasibilityProof><ifritRules><rules><rule><lhs><funapp><name>h</name><arg><funapp><name>a</name><arg><funapp><name>a</name><arg><var>x</var></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>a</name><arg><funapp><name>b</name></funapp></arg></funapp></rhs><conditions><condition><lhs><funapp><name>h</name><arg><var>x</var></arg></funapp></lhs><rhs><funapp><name>b</name></funapp></rhs></condition></conditions></rule><rule><lhs><funapp><name>h</name><arg><funapp><name>b</name></funapp></arg></funapp></lhs><rhs><funapp><name>b</name></funapp></rhs><conditions/></rule></rules><infeasibilityProof><infeasibleCompoundConditions><name>|</name><nonreachabilityProof><nonreachableTcap></nonreachableTcap></nonreachabilityProof></infeasibleCompoundConditions></infeasibilityProof></ifritRules></infeasibilityProof></proof><origin><proofOrigin><tool><name>nonreach</name><version>1.3.0.0</version></tool></proofOrigin></origin></certificationProblem>
0.00/0.04	EOF