2.90/1.84	YES
2.90/1.85	<?xml version="1.0"?><?xml-stylesheet type="text/xsl" href="cpfHTML.xsl"?>
2.90/1.85	<certificationProblem>
2.90/1.85	 <input>
2.90/1.85	  <ctrsInput>
2.90/1.85	   <conditionalRules>
2.90/1.85	    <conditionalRule>
2.90/1.85	     <rule>
2.90/1.85	      <lhs>
2.90/1.85	       <funapp>
2.90/1.85	        <name>f</name>
2.90/1.85	        <arg>
2.90/1.85	         <var>x</var>
2.90/1.85	        </arg>
2.90/1.85	       </funapp>
2.90/1.85	      </lhs>
2.90/1.85	      <rhs>
2.90/1.85	       <funapp>
2.90/1.85	        <name>a</name>
2.90/1.85	       </funapp>
2.90/1.85	      </rhs>
2.90/1.85	     </rule>
2.90/1.85	     <rule>
2.90/1.85	      <lhs>
2.90/1.85	       <var>x</var>
2.90/1.85	      </lhs>
2.90/1.85	      <rhs>
2.90/1.85	       <funapp>
2.90/1.85	        <name>b</name>
2.90/1.85	       </funapp>
2.90/1.85	      </rhs>
2.90/1.85	     </rule>
2.90/1.85	    </conditionalRule>
2.90/1.85	   </conditionalRules>
2.90/1.85	  </ctrsInput>
2.90/1.85	 </input>
2.90/1.85	 <cpfVersion>2.4</cpfVersion>
2.90/1.85	 <proof>
2.90/1.85	  <conditionalCrProof>
2.90/1.85	   <al94>
2.90/1.85	    <quasiReductiveProof>
2.90/1.85	     <unraveling>
2.90/1.85	      <unravelingInformation>
2.90/1.85	       <unravelingEntry>
2.90/1.85	        <conditionalRule>
2.90/1.85	         <rule>
2.90/1.85	          <lhs>
2.90/1.85	           <funapp>
2.90/1.85	            <name>f</name>
2.90/1.85	            <arg>
2.90/1.85	             <var>x</var>
2.90/1.85	            </arg>
2.90/1.85	           </funapp>
2.90/1.85	          </lhs>
2.90/1.85	          <rhs>
2.90/1.85	           <funapp>
2.90/1.85	            <name>a</name>
2.90/1.85	           </funapp>
2.90/1.85	          </rhs>
2.90/1.85	         </rule>
2.90/1.85	         <rule>
2.90/1.85	          <lhs>
2.90/1.85	           <var>x</var>
2.90/1.85	          </lhs>
2.90/1.85	          <rhs>
2.90/1.85	           <funapp>
2.90/1.85	            <name>b</name>
2.90/1.85	           </funapp>
2.90/1.85	          </rhs>
2.90/1.85	         </rule>
2.90/1.85	        </conditionalRule>
2.90/1.85	        <rule>
2.90/1.85	         <lhs>
2.90/1.85	          <funapp>
2.90/1.85	           <name>f</name>
2.90/1.85	           <arg>
2.90/1.85	            <var>x</var>
2.90/1.85	           </arg>
2.90/1.85	          </funapp>
2.90/1.85	         </lhs>
2.90/1.85	         <rhs>
2.90/1.85	          <funapp>
2.90/1.85	           <name>U1</name>
2.90/1.85	           <arg>
2.90/1.85	            <var>x</var>
2.90/1.85	           </arg>
2.90/1.85	           <arg>
2.90/1.85	            <var>x</var>
2.90/1.85	           </arg>
2.90/1.85	          </funapp>
2.90/1.85	         </rhs>
2.90/1.85	        </rule>
2.90/1.85	        <rule>
2.90/1.85	         <lhs>
2.90/1.85	          <funapp>
2.90/1.85	           <name>U1</name>
2.90/1.85	           <arg>
2.90/1.85	            <funapp>
2.90/1.85	             <name>b</name>
2.90/1.85	            </funapp>
2.90/1.85	           </arg>
2.90/1.85	           <arg>
2.90/1.85	            <var>x</var>
2.90/1.85	           </arg>
2.90/1.85	          </funapp>
2.90/1.85	         </lhs>
2.90/1.85	         <rhs>
2.90/1.85	          <funapp>
2.90/1.85	           <name>a</name>
2.90/1.85	          </funapp>
2.90/1.85	         </rhs>
2.90/1.85	        </rule>
2.90/1.85	       </unravelingEntry>
2.90/1.85	      </unravelingInformation>
2.90/1.85	      <trsTerminationProof>
2.90/1.85	       <ruleRemoval>
2.90/1.85	        <orderingConstraintProof>
2.90/1.85	         <redPair>
2.90/1.85	          <interpretation>
2.90/1.85	           <type>
2.90/1.85	            <polynomial>
2.90/1.85	             <domain>
2.90/1.85	              <matrices>
2.90/1.85	               <dimension>3</dimension>
2.90/1.85	               <strictDimension>1</strictDimension>
2.90/1.85	               <domain>
2.90/1.85	                <naturals/>
2.90/1.85	               </domain>
2.90/1.85	              </matrices>
2.90/1.85	             </domain>
2.90/1.85	             <degree>1</degree>
2.90/1.85	            </polynomial>
2.90/1.85	           </type>
2.90/1.85	           <interpret>
2.90/1.85	            <name>a</name>
2.90/1.85	            <arity>0</arity>
2.90/1.85	            <polynomial>
2.90/1.85	             <sum>
2.90/1.85	              <polynomial>
2.90/1.85	               <coefficient>
2.90/1.85	                <matrix>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                </matrix>
2.90/1.85	               </coefficient>
2.90/1.85	              </polynomial>
2.90/1.85	             </sum>
2.90/1.85	            </polynomial>
2.90/1.85	           </interpret>
2.90/1.85	           <interpret>
2.90/1.85	            <name>b</name>
2.90/1.85	            <arity>0</arity>
2.90/1.85	            <polynomial>
2.90/1.85	             <sum>
2.90/1.85	              <polynomial>
2.90/1.85	               <coefficient>
2.90/1.85	                <matrix>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>2</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                </matrix>
2.90/1.85	               </coefficient>
2.90/1.85	              </polynomial>
2.90/1.85	             </sum>
2.90/1.85	            </polynomial>
2.90/1.85	           </interpret>
2.90/1.85	           <interpret>
2.90/1.85	            <name>U1</name>
2.90/1.85	            <arity>2</arity>
2.90/1.85	            <polynomial>
2.90/1.85	             <sum>
2.90/1.85	              <polynomial>
2.90/1.85	               <product>
2.90/1.85	                <polynomial>
2.90/1.85	                 <coefficient>
2.90/1.85	                  <matrix>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>1</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                  </matrix>
2.90/1.85	                 </coefficient>
2.90/1.85	                </polynomial>
2.90/1.85	                <polynomial>
2.90/1.85	                 <variable>1</variable>
2.90/1.85	                </polynomial>
2.90/1.85	               </product>
2.90/1.85	              </polynomial>
2.90/1.85	              <polynomial>
2.90/1.85	               <product>
2.90/1.85	                <polynomial>
2.90/1.85	                 <coefficient>
2.90/1.85	                  <matrix>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>2</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                  </matrix>
2.90/1.85	                 </coefficient>
2.90/1.85	                </polynomial>
2.90/1.85	                <polynomial>
2.90/1.85	                 <variable>2</variable>
2.90/1.85	                </polynomial>
2.90/1.85	               </product>
2.90/1.85	              </polynomial>
2.90/1.85	              <polynomial>
2.90/1.85	               <coefficient>
2.90/1.85	                <matrix>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>1</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                </matrix>
2.90/1.85	               </coefficient>
2.90/1.85	              </polynomial>
2.90/1.85	             </sum>
2.90/1.85	            </polynomial>
2.90/1.85	           </interpret>
2.90/1.85	           <interpret>
2.90/1.85	            <name>f</name>
2.90/1.85	            <arity>1</arity>
2.90/1.85	            <polynomial>
2.90/1.85	             <sum>
2.90/1.85	              <polynomial>
2.90/1.85	               <product>
2.90/1.85	                <polynomial>
2.90/1.85	                 <coefficient>
2.90/1.85	                  <matrix>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>3</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                   <vector>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                    <coefficient>
2.90/1.85	                     <integer>0</integer>
2.90/1.85	                    </coefficient>
2.90/1.85	                   </vector>
2.90/1.85	                  </matrix>
2.90/1.85	                 </coefficient>
2.90/1.85	                </polynomial>
2.90/1.85	                <polynomial>
2.90/1.85	                 <variable>1</variable>
2.90/1.85	                </polynomial>
2.90/1.85	               </product>
2.90/1.85	              </polynomial>
2.90/1.85	              <polynomial>
2.90/1.85	               <coefficient>
2.90/1.85	                <matrix>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>2</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                 <vector>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                  <coefficient>
2.90/1.85	                   <integer>0</integer>
2.90/1.85	                  </coefficient>
2.90/1.85	                 </vector>
2.90/1.85	                </matrix>
2.90/1.85	               </coefficient>
2.90/1.85	              </polynomial>
2.90/1.85	             </sum>
2.90/1.85	            </polynomial>
2.90/1.85	           </interpret>
2.90/1.85	          </interpretation>
2.90/1.85	         </redPair>
2.90/1.85	        </orderingConstraintProof>
2.90/1.85	        <trs>
2.90/1.85	         <rules/>
2.90/1.85	        </trs>
2.90/1.85	        <trsTerminationProof>
2.90/1.85	         <rIsEmpty/>
2.90/1.85	        </trsTerminationProof>
2.90/1.85	       </ruleRemoval>
2.90/1.85	      </trsTerminationProof>
2.90/1.85	     </unraveling>
2.90/1.85	    </quasiReductiveProof>
2.90/1.85	    <contextJoinableCCPs/>
2.90/1.85	    <infeasibleConditions/>
2.90/1.85	    <unfeasibleCCPs/>
2.90/1.85	   </al94>
2.90/1.85	  </conditionalCrProof>
2.90/1.85	 </proof>
2.90/1.85	 <origin>
2.90/1.85	  <proofOrigin>
2.90/1.85	   <tool>
2.90/1.85	    <name>ConCon</name>
2.90/1.85	    <version>concon 1.4.0.0</version>
2.90/1.85	    <strategy>concon -s --cert --conf A theBenchmark.trs 58</strategy>
2.90/1.85	   </tool>
2.90/1.85	  </proofOrigin>
2.90/1.85	 </origin>
2.90/1.85	</certificationProblem>
2.93/1.87	EOF