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