1.13/1.00	MAYBE
1.13/1.00	(REJECTED)
1.13/1.00	<?xml version="1.0"?>
1.13/1.00	<?xml-stylesheet type="text/xsl" href="cpfHTML.xsl"?>
1.13/1.00	<certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"xsi:noNamespaceSchemaLocation="../xml/cpf.xsd">
1.13/1.00	<input>
1.13/1.00	 <trsInput>
1.13/1.00	  <trs>
1.13/1.00	   <rules>
1.13/1.00	    <rule>
1.13/1.00	     <lhs>
1.13/1.00	      <funapp>
1.13/1.00	       <name>f</name>
1.13/1.00	       <arg>
1.13/1.00	        <var>x</var>
1.13/1.00	       </arg>
1.13/1.00	       <arg>
1.13/1.00	        <var>y</var>
1.13/1.00	       </arg>
1.13/1.00	      </funapp>
1.13/1.00	     </lhs>
1.13/1.00	     <rhs>
1.13/1.00	      <funapp>
1.13/1.00	       <name>f</name>
1.13/1.00	       <arg>
1.13/1.00	        <funapp>
1.13/1.00	         <name>g</name>
1.13/1.00	         <arg>
1.13/1.00	          <var>x</var>
1.13/1.00	         </arg>
1.13/1.00	        </funapp>
1.13/1.00	       </arg>
1.13/1.00	       <arg>
1.13/1.00	        <funapp>
1.13/1.00	         <name>g</name>
1.13/1.00	         <arg>
1.13/1.00	          <var>x</var>
1.13/1.00	         </arg>
1.13/1.00	        </funapp>
1.13/1.00	       </arg>
1.13/1.00	      </funapp>
1.13/1.00	     </rhs>
1.13/1.00	    </rule>
1.13/1.00	    <rule>
1.13/1.00	     <lhs>
1.13/1.00	      <funapp>
1.13/1.00	       <name>f</name>
1.13/1.00	       <arg>
1.13/1.00	        <var>x</var>
1.13/1.00	       </arg>
1.13/1.00	       <arg>
1.13/1.00	        <var>x</var>
1.13/1.00	       </arg>
1.13/1.00	      </funapp>
1.13/1.00	     </lhs>
1.13/1.00	     <rhs>
1.13/1.00	      <funapp>
1.13/1.00	       <name>a</name>
1.13/1.00	      </funapp>
1.13/1.00	     </rhs>
1.13/1.00	    </rule>
1.13/1.00	    <rule>
1.13/1.00	     <lhs>
1.13/1.00	      <funapp>
1.13/1.00	       <name>g</name>
1.13/1.00	       <arg>
1.13/1.00	        <var>x</var>
1.13/1.00	       </arg>
1.13/1.00	      </funapp>
1.13/1.00	     </lhs>
1.13/1.00	     <rhs>
1.13/1.00	      <var>x</var>
1.13/1.00	     </rhs>
1.13/1.00	    </rule>
1.13/1.00	   </rules>
1.13/1.00	  </trs>
1.13/1.00	 </trsInput>
1.13/1.00	</input>
1.13/1.00	<cpfVersion>2.1</cpfVersion>
1.13/1.00	<origin>
1.13/1.00	 <proofOrigin>
1.13/1.00	  <tool>
1.13/1.00	   <name>ACP</name>
1.13/1.00	   <version>0.70</version>
1.13/1.00	  </tool>
1.13/1.00	 </proofOrigin>
1.13/1.00	</origin>
1.13/1.00	</certificationProblem>
1.13/1.01	EOF