<?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="complexity"><trs><rules><rule><lhs><funapp><name>fstsplit</name><arg><funapp><name>0</name></funapp></arg><arg><var>x</var></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>fstsplit</name><arg><funapp><name>s</name><arg><var>n</var></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>fstsplit</name><arg><funapp><name>s</name><arg><var>n</var></arg></funapp></arg><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>cons</name><arg><var>h</var></arg><arg><funapp><name>fstsplit</name><arg><var>n</var></arg><arg><var>t</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>sndsplit</name><arg><funapp><name>0</name></funapp></arg><arg><var>x</var></arg></funapp></lhs><rhs><var>x</var></rhs></rule><rule><lhs><funapp><name>sndsplit</name><arg><funapp><name>s</name><arg><var>n</var></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>sndsplit</name><arg><funapp><name>s</name><arg><var>n</var></arg></funapp></arg><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>sndsplit</name><arg><var>n</var></arg><arg><var>t</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>empty</name><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>true</name></funapp></rhs></rule><rule><lhs><funapp><name>empty</name><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>false</name></funapp></rhs></rule><rule><lhs><funapp><name>leq</name><arg><funapp><name>0</name></funapp></arg><arg><var>m</var></arg></funapp></lhs><rhs><funapp><name>true</name></funapp></rhs></rule><rule><lhs><funapp><name>leq</name><arg><funapp><name>s</name><arg><var>n</var></arg></funapp></arg><arg><funapp><name>0</name></funapp></arg></funapp></lhs><rhs><funapp><name>false</name></funapp></rhs></rule><rule><lhs><funapp><name>leq</name><arg><funapp><name>s</name><arg><var>n</var></arg></funapp></arg><arg><funapp><name>s</name><arg><var>m</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>leq</name><arg><var>n</var></arg><arg><var>m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>length</name><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>0</name></funapp></rhs></rule><rule><lhs><funapp><name>length</name><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>s</name><arg><funapp><name>length</name><arg><var>t</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>app</name><arg><funapp><name>nil</name></funapp></arg><arg><var>x</var></arg></funapp></lhs><rhs><var>x</var></rhs></rule><rule><lhs><funapp><name>app</name><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg><arg><var>x</var></arg></funapp></lhs><rhs><funapp><name>cons</name><arg><var>h</var></arg><arg><funapp><name>app</name><arg><var>t</var></arg><arg><var>x</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>map_f</name><arg><var>pid</var></arg><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>map_f</name><arg><var>pid</var></arg><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>app</name><arg><funapp><name>f</name><arg><var>pid</var></arg><arg><var>h</var></arg></funapp></arg><arg><funapp><name>map_f</name><arg><var>pid</var></arg><arg><var>t</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>head</name><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg></funapp></lhs><rhs><var>h</var></rhs></rule><rule><lhs><funapp><name>tail</name><arg><funapp><name>cons</name><arg><var>h</var></arg><arg><var>t</var></arg></funapp></arg></funapp></lhs><rhs><var>t</var></rhs></rule><rule><lhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></lhs><rhs><funapp><name>if_1</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>empty</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><var>st_1</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_1</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>false</name></funapp></arg></funapp></lhs><rhs><funapp><name>ring</name><arg><funapp><name>sndsplit</name><arg><var>m</var></arg><arg><var>st_1</var></arg></funapp></arg><arg><funapp><name>cons</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><var>st_1</var></arg></funapp></arg><arg><var>in_2</var></arg></funapp></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></lhs><rhs><funapp><name>if_2</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>leq</name><arg><var>m</var></arg><arg><funapp><name>length</name><arg><var>st_2</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_2</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>true</name></funapp></arg></funapp></lhs><rhs><funapp><name>if_3</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>empty</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><var>st_2</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_3</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>false</name></funapp></arg></funapp></lhs><rhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><funapp><name>sndsplit</name><arg><var>m</var></arg><arg><var>st_2</var></arg></funapp></arg><arg><funapp><name>cons</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><var>st_2</var></arg></funapp></arg><arg><var>in_3</var></arg></funapp></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_2</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>false</name></funapp></arg></funapp></lhs><rhs><funapp><name>if_4</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>empty</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><funapp><name>app</name><arg><funapp><name>map_f</name><arg><funapp><name>two</name></funapp></arg><arg><funapp><name>head</name><arg><var>in_2</var></arg></funapp></arg></funapp></arg><arg><var>st_2</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_4</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>false</name></funapp></arg></funapp></lhs><rhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><funapp><name>tail</name><arg><var>in_2</var></arg></funapp></arg><arg><funapp><name>sndsplit</name><arg><var>m</var></arg><arg><funapp><name>app</name><arg><funapp><name>map_f</name><arg><funapp><name>two</name></funapp></arg><arg><funapp><name>head</name><arg><var>in_2</var></arg></funapp></arg></funapp></arg><arg><var>st_2</var></arg></funapp></arg></funapp></arg><arg><funapp><name>cons</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><funapp><name>app</name><arg><funapp><name>map_f</name><arg><funapp><name>two</name></funapp></arg><arg><funapp><name>head</name><arg><var>in_2</var></arg></funapp></arg></funapp></arg><arg><var>st_2</var></arg></funapp></arg></funapp></arg><arg><var>in_3</var></arg></funapp></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></lhs><rhs><funapp><name>if_5</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>empty</name><arg><funapp><name>map_f</name><arg><funapp><name>two</name></funapp></arg><arg><funapp><name>head</name><arg><var>in_2</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_5</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>true</name></funapp></arg></funapp></lhs><rhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><funapp><name>tail</name><arg><var>in_2</var></arg></funapp></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></lhs><rhs><funapp><name>if_6</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>leq</name><arg><var>m</var></arg><arg><funapp><name>length</name><arg><var>st_3</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_6</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>true</name></funapp></arg></funapp></lhs><rhs><funapp><name>if_7</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>empty</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><var>st_3</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_7</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>false</name></funapp></arg></funapp></lhs><rhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><funapp><name>sndsplit</name><arg><var>m</var></arg><arg><var>st_3</var></arg></funapp></arg><arg><var>m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_6</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>false</name></funapp></arg></funapp></lhs><rhs><funapp><name>if_8</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>empty</name><arg><funapp><name>fstsplit</name><arg><var>m</var></arg><arg><funapp><name>app</name><arg><funapp><name>map_f</name><arg><funapp><name>three</name></funapp></arg><arg><funapp><name>head</name><arg><var>in_3</var></arg></funapp></arg></funapp></arg><arg><var>st_3</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_8</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>false</name></funapp></arg></funapp></lhs><rhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><funapp><name>tail</name><arg><var>in_3</var></arg></funapp></arg><arg><funapp><name>sndsplit</name><arg><var>m</var></arg><arg><funapp><name>app</name><arg><funapp><name>map_f</name><arg><funapp><name>three</name></funapp></arg><arg><funapp><name>head</name><arg><var>in_3</var></arg></funapp></arg></funapp></arg><arg><var>st_3</var></arg></funapp></arg></funapp></arg><arg><var>m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></lhs><rhs><funapp><name>if_9</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>empty</name><arg><funapp><name>map_f</name><arg><funapp><name>three</name></funapp></arg><arg><funapp><name>head</name><arg><var>in_3</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>if_9</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><var>in_3</var></arg><arg><var>st_3</var></arg><arg><var>m</var></arg><arg><funapp><name>true</name></funapp></arg></funapp></lhs><rhs><funapp><name>ring</name><arg><var>st_1</var></arg><arg><var>in_2</var></arg><arg><var>st_2</var></arg><arg><funapp><name>tail</name><arg><var>in_3</var></arg></funapp></arg><arg><var>st_3</var></arg><arg><var>m</var></arg></funapp></rhs></rule></rules><signature><funcsym><name>fstsplit</name><arity>2</arity></funcsym><funcsym><name>0</name><arity>0</arity></funcsym><funcsym><name>nil</name><arity>0</arity></funcsym><funcsym><name>s</name><arity>1</arity></funcsym><funcsym><name>cons</name><arity>2</arity></funcsym><funcsym><name>sndsplit</name><arity>2</arity></funcsym><funcsym><name>empty</name><arity>1</arity></funcsym><funcsym><name>true</name><arity>0</arity></funcsym><funcsym><name>false</name><arity>0</arity></funcsym><funcsym><name>leq</name><arity>2</arity></funcsym><funcsym><name>length</name><arity>1</arity></funcsym><funcsym><name>app</name><arity>2</arity></funcsym><funcsym><name>map_f</name><arity>2</arity></funcsym><funcsym><name>f</name><arity>2</arity></funcsym><funcsym><name>head</name><arity>1</arity></funcsym><funcsym><name>tail</name><arity>1</arity></funcsym><funcsym><name>ring</name><arity>6</arity></funcsym><funcsym><name>if_1</name><arity>7</arity></funcsym><funcsym><name>if_2</name><arity>7</arity></funcsym><funcsym><name>if_3</name><arity>7</arity></funcsym><funcsym><name>if_4</name><arity>7</arity></funcsym><funcsym><name>two</name><arity>0</arity></funcsym><funcsym><name>if_5</name><arity>7</arity></funcsym><funcsym><name>if_6</name><arity>7</arity></funcsym><funcsym><name>if_7</name><arity>7</arity></funcsym><funcsym><name>if_8</name><arity>7</arity></funcsym><funcsym><name>three</name><arity>0</arity></funcsym><funcsym><name>if_9</name><arity>7</arity></funcsym></signature></trs><strategy>INNERMOST</strategy><startterm><constructor-based/></startterm><metainformation><originalfilename>./TRS/AProVE/AAECC-ring.trs</originalfilename></metainformation></problem>
content may be truncated. 'popout' for larger text window.
