0.00/0.05	YES
0.00/0.05	<?xml version="1.0"?>
0.00/0.05	<?xml-stylesheet type="text/xsl" href="cpfHTML.xsl"?>
0.00/0.05	<certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../xml/cpf.xsd">
0.00/0.05	<input>
0.00/0.05	 <trsInput>
0.00/0.05	  <trs>
0.00/0.05	   <rules>
0.00/0.05	    <rule>
0.00/0.05	     <lhs>
0.00/0.05	      <funapp>
0.00/0.05	       <name>or</name>
0.00/0.05	       <arg>
0.00/0.05	        <funapp>
0.00/0.05	         <name>true</name>
0.00/0.05	        </funapp>
0.00/0.05	       </arg>
0.00/0.05	       <arg>
0.00/0.05	        <funapp>
0.00/0.05	         <name>true</name>
0.00/0.05	        </funapp>
0.00/0.05	       </arg>
0.00/0.05	      </funapp>
0.00/0.05	     </lhs>
0.00/0.05	     <rhs>
0.00/0.05	      <funapp>
0.00/0.05	       <name>true</name>
0.00/0.05	      </funapp>
0.00/0.05	     </rhs>
0.00/0.05	    </rule>
0.00/0.05	    <rule>
0.00/0.05	     <lhs>
0.00/0.05	      <funapp>
0.00/0.05	       <name>or</name>
0.00/0.05	       <arg>
0.00/0.05	        <var>x</var>
0.00/0.05	       </arg>
0.00/0.05	       <arg>
0.00/0.05	        <var>y</var>
0.00/0.05	       </arg>
0.00/0.05	      </funapp>
0.00/0.05	     </lhs>
0.00/0.05	     <rhs>
0.00/0.05	      <funapp>
0.00/0.05	       <name>or</name>
0.00/0.05	       <arg>
0.00/0.05	        <var>y</var>
0.00/0.05	       </arg>
0.00/0.05	       <arg>
0.00/0.05	        <var>x</var>
0.00/0.05	       </arg>
0.00/0.05	      </funapp>
0.00/0.05	     </rhs>
0.00/0.05	    </rule>
0.00/0.05	   </rules>
0.00/0.05	  </trs>
0.00/0.05	 </trsInput>
0.00/0.05	</input>
0.00/0.05	<cpfVersion>2.1</cpfVersion>
0.00/0.05	<proof>
0.00/0.05	 <crProof>
0.00/0.05	  <developmentClosed/>
0.00/0.05	 </crProof>
0.00/0.05	</proof>
0.00/0.05	<origin>
0.00/0.05	 <proofOrigin>
0.00/0.05	  <tool>
0.00/0.05	   <name>ACP</name>
0.00/0.05	   <version>0.71</version>
0.00/0.05	  </tool>
0.00/0.05	 </proofOrigin>
0.00/0.05	</origin>
0.00/0.05	</certificationProblem>
0.00/0.06	EOF