0.00/0.03	YES
0.00/0.03	<?xml version="1.0"?>
0.00/0.03	<?xml-stylesheet type="text/xsl" href="cpfHTML.xsl"?>
0.00/0.03	<certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"xsi:noNamespaceSchemaLocation="../xml/cpf.xsd">
0.00/0.03	<input>
0.00/0.03	 <trsInput>
0.00/0.03	  <trs>
0.00/0.03	   <rules>
0.00/0.03	    <rule>
0.00/0.03	     <lhs>
0.00/0.03	      <funapp>
0.00/0.03	       <name>max</name>
0.00/0.03	       <arg>
0.00/0.03	        <var>x</var>
0.00/0.03	       </arg>
0.00/0.03	       <arg>
0.00/0.03	        <funapp>
0.00/0.03	         <name>0</name>
0.00/0.03	        </funapp>
0.00/0.03	       </arg>
0.00/0.03	      </funapp>
0.00/0.03	     </lhs>
0.00/0.03	     <rhs>
0.00/0.03	      <var>x</var>
0.00/0.03	     </rhs>
0.00/0.03	    </rule>
0.00/0.03	    <rule>
0.00/0.03	     <lhs>
0.00/0.03	      <funapp>
0.00/0.03	       <name>max</name>
0.00/0.03	       <arg>
0.00/0.03	        <funapp>
0.00/0.03	         <name>0</name>
0.00/0.03	        </funapp>
0.00/0.03	       </arg>
0.00/0.03	       <arg>
0.00/0.03	        <var>y</var>
0.00/0.03	       </arg>
0.00/0.03	      </funapp>
0.00/0.03	     </lhs>
0.00/0.03	     <rhs>
0.00/0.03	      <var>y</var>
0.00/0.03	     </rhs>
0.00/0.03	    </rule>
0.00/0.03	    <rule>
0.00/0.03	     <lhs>
0.00/0.03	      <funapp>
0.00/0.03	       <name>max</name>
0.00/0.03	       <arg>
0.00/0.03	        <funapp>
0.00/0.03	         <name>s</name>
0.00/0.03	         <arg>
0.00/0.03	          <var>x</var>
0.00/0.03	         </arg>
0.00/0.03	        </funapp>
0.00/0.03	       </arg>
0.00/0.03	       <arg>
0.00/0.03	        <funapp>
0.00/0.03	         <name>s</name>
0.00/0.03	         <arg>
0.00/0.03	          <var>y</var>
0.00/0.03	         </arg>
0.00/0.03	        </funapp>
0.00/0.03	       </arg>
0.00/0.03	      </funapp>
0.00/0.03	     </lhs>
0.00/0.03	     <rhs>
0.00/0.03	      <funapp>
0.00/0.03	       <name>s</name>
0.00/0.03	       <arg>
0.00/0.03	        <funapp>
0.00/0.03	         <name>max</name>
0.00/0.03	         <arg>
0.00/0.03	          <var>y</var>
0.00/0.03	         </arg>
0.00/0.03	         <arg>
0.00/0.03	          <var>x</var>
0.00/0.03	         </arg>
0.00/0.03	        </funapp>
0.00/0.03	       </arg>
0.00/0.03	      </funapp>
0.00/0.03	     </rhs>
0.00/0.03	    </rule>
0.00/0.03	    <rule>
0.00/0.03	     <lhs>
0.00/0.03	      <funapp>
0.00/0.03	       <name>max</name>
0.00/0.03	       <arg>
0.00/0.03	        <var>x</var>
0.00/0.03	       </arg>
0.00/0.03	       <arg>
0.00/0.03	        <var>y</var>
0.00/0.03	       </arg>
0.00/0.03	      </funapp>
0.00/0.03	     </lhs>
0.00/0.03	     <rhs>
0.00/0.03	      <funapp>
0.00/0.03	       <name>max</name>
0.00/0.03	       <arg>
0.00/0.03	        <var>y</var>
0.00/0.03	       </arg>
0.00/0.03	       <arg>
0.00/0.03	        <var>x</var>
0.00/0.03	       </arg>
0.00/0.03	      </funapp>
0.00/0.03	     </rhs>
0.00/0.03	    </rule>
0.00/0.03	   </rules>
0.00/0.03	  </trs>
0.00/0.03	 </trsInput>
0.00/0.03	</input>
0.00/0.03	<cpfVersion>2.1</cpfVersion>
0.00/0.03	<proof>
0.00/0.03	 <crProof>
0.00/0.03	  <stronglyClosed>3</stronglyClosed>
0.00/0.03	 </crProof>
0.00/0.03	</proof>
0.00/0.03	<origin>
0.00/0.03	 <proofOrigin>
0.00/0.03	  <tool>
0.00/0.03	   <name>ACP</name>
0.00/0.03	   <version>0.70</version>
0.00/0.03	  </tool>
0.00/0.04	 </proofOrigin>
0.00/0.04	</origin>
0.00/0.04	</certificationProblem>
0.03/0.05	EOF