<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?>
<problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd" type="termination">
<trs>
<rules>
<rule>
<lhs>
<funapp>
<name>M_1</name>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>M_1</name>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_2</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<var>s</var>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_3</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<var>s</var>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_4</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<var>s</var>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_5</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_5</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_5</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_7</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<var>s</var>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_8</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<var>s</var>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_9</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<var>s</var>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_11</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_11</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_11</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<var>s</var>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_2</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_2</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_2</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_3</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_3</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_3</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_4</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_4</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_4</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_5</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_7</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_5</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_7</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_5</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_7</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_8</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_8</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_8</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_6</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_7</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_7</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_7</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_8</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_8</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_8</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_9</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_9</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_9</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_2</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_2</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_2</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_11</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_3</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_11</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_3</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_11</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_3</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_1</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>*top*_0</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>h_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>tail_0</name>
<arg>
<funapp>
<name>h_1</name>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>tail_1</name>
<arg>
<funapp>
<name>cons_10</name>
<arg>
<funapp>
<name>1_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>cons_1</name>
<arg>
<funapp>
<name>0_0</name>
</funapp>
</arg>
<arg>
<funapp>
<name>h_0</name>
<arg>
<var>s</var>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</arg>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_2</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_3</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_4</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_5</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_6</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_7</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_8</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_9</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_10</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_11</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
<rule>
<lhs>
<funapp>
<name>cons_1</name>
<arg>
<var>x</var>
</arg>
<arg>
<var>s</var>
</arg>
</funapp>
</lhs>
<rhs>
<funapp>
<name>garbage_collection_0</name>
</funapp>
</rhs>
</rule>
</rules>
<signature>
<funcsym>
<name>M_1</name>
<arity>0</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>h_1</name>
<arity>1</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_1</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>0_0</name>
<arity>0</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>tail_0</name>
<arity>1</arity>
<replacementmap>
<entry>1</entry>
</replacementmap>
</funcsym>
<funcsym>
<name>tail_1</name>
<arity>1</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_2</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_3</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_4</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>*top*_0</name>
<arity>1</arity>
<replacementmap>
<entry>1</entry>
</replacementmap>
</funcsym>
<funcsym>
<name>cons_5</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>h_0</name>
<arity>1</arity>
<replacementmap>
<entry>1</entry>
</replacementmap>
</funcsym>
<funcsym>
<name>cons_6</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_7</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_8</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_9</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_10</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>cons_11</name>
<arity>2</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>1_0</name>
<arity>0</arity>
<replacementmap/>
</funcsym>
<funcsym>
<name>garbage_collection_0</name>
<arity>0</arity>
<replacementmap/>
</funcsym>
</signature>
</trs>
<strategy>FULL</strategy>
<metainformation>
<originalfilename>./TRS/endrullis08/morse.trs</originalfilename>
</metainformation>
</problem>
