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