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