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