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