<?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>test</name><arg><var>x_0</var></arg><arg><var>y</var></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>test</name><arg><var>x_0</var></arg><arg><var>y</var></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>append</name><arg><var>l1_2</var></arg><arg><var>l2_1</var></arg></funapp></lhs><rhs><funapp><name>match_0</name><arg><var>l1_2</var></arg><arg><var>l2_1</var></arg><arg><var>l1_2</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_0</name><arg><var>l1_2</var></arg><arg><var>l2_1</var></arg><arg><funapp><name>Nil</name></funapp></arg></funapp></lhs><rhs><var>l2_1</var></rhs></rule><rule><lhs><funapp><name>match_0</name><arg><var>l1_2</var></arg><arg><var>l2_1</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>l</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>Cons</name><arg><var>x</var></arg><arg><funapp><name>append</name><arg><var>l</var></arg><arg><var>l2_1</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>part</name><arg><var>a_4</var></arg><arg><var>l_3</var></arg></funapp></lhs><rhs><funapp><name>match_1</name><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><var>l_3</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_1</name><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><funapp><name>Nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>Pair</name><arg><funapp><name>Nil</name></funapp></arg><arg><funapp><name>Nil</name></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_1</name><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>l'</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>match_2</name><arg><var>x</var></arg><arg><var>l'</var></arg><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><funapp><name>part</name><arg><var>a_4</var></arg><arg><var>l'</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_2</name><arg><var>x</var></arg><arg><var>l'</var></arg><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><funapp><name>Pair</name><arg><var>l1</var></arg><arg><var>l2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>match_3</name><arg><var>l1</var></arg><arg><var>l2</var></arg><arg><var>x</var></arg><arg><var>l'</var></arg><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><funapp><name>test</name><arg><var>a_4</var></arg><arg><var>x</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_3</name><arg><var>l1</var></arg><arg><var>l2</var></arg><arg><var>x</var></arg><arg><var>l'</var></arg><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><funapp><name>False</name></funapp></arg></funapp></lhs><rhs><funapp><name>Pair</name><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>l1</var></arg></funapp></arg><arg><var>l2</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_3</name><arg><var>l1</var></arg><arg><var>l2</var></arg><arg><var>x</var></arg><arg><var>l'</var></arg><arg><var>a_4</var></arg><arg><var>l_3</var></arg><arg><funapp><name>True</name></funapp></arg></funapp></lhs><rhs><funapp><name>Pair</name><arg><var>l1</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>l2</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>quick</name><arg><var>l_5</var></arg></funapp></lhs><rhs><funapp><name>match_4</name><arg><var>l_5</var></arg><arg><var>l_5</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_4</name><arg><var>l_5</var></arg><arg><funapp><name>Nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>Nil</name></funapp></rhs></rule><rule><lhs><funapp><name>match_4</name><arg><var>l_5</var></arg><arg><funapp><name>Cons</name><arg><var>a</var></arg><arg><var>l'</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>match_5</name><arg><var>a</var></arg><arg><var>l'</var></arg><arg><var>l_5</var></arg><arg><funapp><name>part</name><arg><var>a</var></arg><arg><var>l'</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>match_5</name><arg><var>a</var></arg><arg><var>l'</var></arg><arg><var>l_5</var></arg><arg><funapp><name>Pair</name><arg><var>l1</var></arg><arg><var>l2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>append</name><arg><funapp><name>quick</name><arg><var>l1</var></arg></funapp></arg><arg><funapp><name>Cons</name><arg><var>a</var></arg><arg><funapp><name>quick</name><arg><var>l2</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule></rules><signature><funcsym><name>test</name><arity>2</arity></funcsym><funcsym><name>True</name><arity>0</arity></funcsym><funcsym><name>False</name><arity>0</arity></funcsym><funcsym><name>append</name><arity>2</arity></funcsym><funcsym><name>match_0</name><arity>3</arity></funcsym><funcsym><name>Nil</name><arity>0</arity></funcsym><funcsym><name>Cons</name><arity>2</arity></funcsym><funcsym><name>part</name><arity>2</arity></funcsym><funcsym><name>match_1</name><arity>3</arity></funcsym><funcsym><name>Pair</name><arity>2</arity></funcsym><funcsym><name>match_2</name><arity>5</arity></funcsym><funcsym><name>match_3</name><arity>7</arity></funcsym><funcsym><name>quick</name><arity>1</arity></funcsym><funcsym><name>match_4</name><arity>2</arity></funcsym><funcsym><name>match_5</name><arity>4</arity></funcsym></signature></trs><strategy>FULL</strategy><metainformation><originalfilename>./TRS/Cime/quick.trs</originalfilename></metainformation></problem>
content may be truncated. 'popout' for larger text window.