0.00/0.20	MAYBE
0.00/0.20	(UNSUPPORTED)
0.00/0.20	<?xml version="1.0"?>
0.00/0.20	<?xml-stylesheet type="text/xsl" href="cpfHTML.xsl"?>
0.00/0.20	<certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../xml/cpf.xsd">
0.00/0.20	<input>
0.00/0.20	 <commutationInput>
0.00/0.20	  <signature>
0.00/0.20	   <symbol>
0.00/0.20	    <name>+</name>
0.00/0.20	    <arity>2</arity>
0.00/0.20	   </symbol>
0.00/0.20	   <symbol>
0.00/0.20	    <name>0</name>
0.00/0.20	    <arity>0</arity>
0.00/0.20	   </symbol>
0.00/0.20	   <symbol>
0.00/0.20	    <name>s</name>
0.00/0.20	    <arity>1</arity>
0.00/0.20	   </symbol>
0.00/0.20	  </signature>
0.00/0.20	  <trs>
0.00/0.20	   <rules>
0.00/0.20	    <rule>
0.00/0.20	     <lhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>+</name>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>0</name>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>0</name>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </lhs>
0.00/0.20	     <rhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>0</name>
0.00/0.20	      </funapp>
0.00/0.20	     </rhs>
0.00/0.20	    </rule>
0.00/0.20	    <rule>
0.00/0.20	     <lhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>+</name>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>s</name>
0.00/0.20	         <arg>
0.00/0.20	          <var>x</var>
0.00/0.20	         </arg>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	       <arg>
0.00/0.20	        <var>y</var>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </lhs>
0.00/0.20	     <rhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>s</name>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>+</name>
0.00/0.20	         <arg>
0.00/0.20	          <var>x</var>
0.00/0.20	         </arg>
0.00/0.20	         <arg>
0.00/0.20	          <var>y</var>
0.00/0.20	         </arg>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </rhs>
0.00/0.20	    </rule>
0.00/0.20	    <rule>
0.00/0.20	     <lhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>+</name>
0.00/0.20	       <arg>
0.00/0.20	        <var>x</var>
0.00/0.20	       </arg>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>s</name>
0.00/0.20	         <arg>
0.00/0.20	          <var>y</var>
0.00/0.20	         </arg>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </lhs>
0.00/0.20	     <rhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>s</name>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>+</name>
0.00/0.20	         <arg>
0.00/0.20	          <var>y</var>
0.00/0.20	         </arg>
0.00/0.20	         <arg>
0.00/0.20	          <var>x</var>
0.00/0.20	         </arg>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </rhs>
0.00/0.20	    </rule>
0.00/0.20	    <rule>
0.00/0.20	     <lhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>s</name>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>s</name>
0.00/0.20	         <arg>
0.00/0.20	          <var>x</var>
0.00/0.20	         </arg>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </lhs>
0.00/0.20	     <rhs>
0.00/0.20	      <var>x</var>
0.00/0.20	     </rhs>
0.00/0.20	    </rule>
0.00/0.20	   </rules>
0.00/0.20	  </trs>
0.00/0.20	  <trs>
0.00/0.20	   <rules>
0.00/0.20	    <rule>
0.00/0.20	     <lhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>+</name>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>0</name>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	       <arg>
0.00/0.20	        <var>y</var>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </lhs>
0.00/0.20	     <rhs>
0.00/0.20	      <var>y</var>
0.00/0.20	     </rhs>
0.00/0.20	    </rule>
0.00/0.20	    <rule>
0.00/0.20	     <lhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>+</name>
0.00/0.20	       <arg>
0.00/0.20	        <var>x</var>
0.00/0.20	       </arg>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>s</name>
0.00/0.20	         <arg>
0.00/0.20	          <var>y</var>
0.00/0.20	         </arg>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </lhs>
0.00/0.20	     <rhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>s</name>
0.00/0.20	       <arg>
0.00/0.20	        <funapp>
0.00/0.20	         <name>+</name>
0.00/0.20	         <arg>
0.00/0.20	          <var>y</var>
0.00/0.20	         </arg>
0.00/0.20	         <arg>
0.00/0.20	          <var>x</var>
0.00/0.20	         </arg>
0.00/0.20	        </funapp>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </rhs>
0.00/0.20	    </rule>
0.00/0.20	    <rule>
0.00/0.20	     <lhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>+</name>
0.00/0.20	       <arg>
0.00/0.20	        <var>x</var>
0.00/0.20	       </arg>
0.00/0.20	       <arg>
0.00/0.20	        <var>y</var>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </lhs>
0.00/0.20	     <rhs>
0.00/0.20	      <funapp>
0.00/0.20	       <name>+</name>
0.00/0.20	       <arg>
0.00/0.20	        <var>y</var>
0.00/0.20	       </arg>
0.00/0.20	       <arg>
0.00/0.20	        <var>x</var>
0.00/0.20	       </arg>
0.00/0.20	      </funapp>
0.00/0.20	     </rhs>
0.00/0.20	    </rule>
0.00/0.20	   </rules>
0.00/0.20	  </trs>
0.00/0.20	 </commutationInput>
0.00/0.20	</input>
0.00/0.20	<cpfVersion>2.1</cpfVersion>
0.00/0.20	<origin>
0.00/0.20	 <proofOrigin>
0.00/0.20	  <tool>
0.00/0.20	   <name>ACP</name>
0.00/0.20	   <version>0.71</version>
0.00/0.20	  </tool>
0.00/0.20	 </proofOrigin>
0.00/0.20	</origin>
0.00/0.20	</certificationProblem>
0.00/0.20	EOF