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