<?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>intersect'ii'in</name><arg><funapp><name>cons</name><arg><var>X</var></arg><arg><var>X0</var></arg></funapp></arg><arg><funapp><name>cons</name><arg><var>X</var></arg><arg><var>X1</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>intersect'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>intersect'ii'in</name><arg><var>Xs</var></arg><arg><funapp><name>cons</name><arg><var>X0</var></arg><arg><var>Ys</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>u'1'1</name><arg><funapp><name>intersect'ii'in</name><arg><var>Xs</var></arg><arg><var>Ys</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'1'1</name><arg><funapp><name>intersect'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>intersect'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>intersect'ii'in</name><arg><funapp><name>cons</name><arg><var>X0</var></arg><arg><var>Xs</var></arg></funapp></arg><arg><var>Ys</var></arg></funapp></lhs><rhs><funapp><name>u'2'1</name><arg><funapp><name>intersect'ii'in</name><arg><var>Xs</var></arg><arg><var>Ys</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'2'1</name><arg><funapp><name>intersect'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>intersect'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>if</name><arg><var>A</var></arg><arg><var>B</var></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'3'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>x'2b</name><arg><funapp><name>x'2d</name><arg><var>B</var></arg></funapp></arg><arg><var>A</var></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'3'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>iff</name><arg><var>A</var></arg><arg><var>B</var></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'4'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>x'2a</name><arg><funapp><name>if</name><arg><var>A</var></arg><arg><var>B</var></arg></funapp></arg><arg><funapp><name>if</name><arg><var>B</var></arg><arg><var>A</var></arg></funapp></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'4'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>x'2a</name><arg><var>F1</var></arg><arg><var>F2</var></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'5'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><var>F1</var></arg><arg><funapp><name>cons</name><arg><var>F2</var></arg><arg><var>Fs</var></arg></funapp></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'5'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>x'2b</name><arg><var>F1</var></arg><arg><var>F2</var></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'6'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><var>F1</var></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg><arg><var>F2</var></arg><arg><var>Fs</var></arg><arg><var>Gs</var></arg><arg><var>NF</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'6'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg><arg><var>F2</var></arg><arg><var>Fs</var></arg><arg><var>Gs</var></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'6'2</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><var>F2</var></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'6'2</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>x'2d</name><arg><var>F1</var></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'7'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><var>F1</var></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'7'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><funapp><name>if</name><arg><var>A</var></arg><arg><var>B</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'8'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><funapp><name>x'2b</name><arg><funapp><name>x'2d</name><arg><var>B</var></arg></funapp></arg><arg><var>A</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'8'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><funapp><name>iff</name><arg><var>A</var></arg><arg><var>B</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'9'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><funapp><name>x'2a</name><arg><funapp><name>if</name><arg><var>A</var></arg><arg><var>B</var></arg></funapp></arg><arg><funapp><name>if</name><arg><var>B</var></arg><arg><var>A</var></arg></funapp></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'9'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>p</name><arg><var>V</var></arg></funapp></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><funapp><name>sequent</name><arg><var>Left</var></arg><arg><var>Right</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>u'10'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><var>Gs</var></arg></funapp></arg><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><funapp><name>p</name><arg><var>V</var></arg></funapp></arg><arg><var>Left</var></arg></funapp></arg><arg><var>Right</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'10'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><funapp><name>x'2b</name><arg><var>G1</var></arg><arg><var>G2</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'11'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><var>G1</var></arg><arg><funapp><name>cons</name><arg><var>G2</var></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'11'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><funapp><name>x'2a</name><arg><var>G1</var></arg><arg><var>G2</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'12'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><var>G1</var></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg><arg><var>Fs</var></arg><arg><var>G2</var></arg><arg><var>Gs</var></arg><arg><var>NF</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'12'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg><arg><var>Fs</var></arg><arg><var>G2</var></arg><arg><var>Gs</var></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'12'2</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><var>G2</var></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'12'2</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><var>Fs</var></arg><arg><funapp><name>cons</name><arg><funapp><name>x'2d</name><arg><var>G1</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><var>NF</var></arg></funapp></lhs><rhs><funapp><name>u'13'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>cons</name><arg><var>G1</var></arg><arg><var>Fs</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><var>NF</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'13'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>nil</name></funapp></arg><arg><funapp><name>cons</name><arg><funapp><name>p</name><arg><var>V</var></arg></funapp></arg><arg><var>Gs</var></arg></funapp></arg></funapp></arg><arg><funapp><name>sequent</name><arg><var>Left</var></arg><arg><var>Right</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>u'14'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>nil</name></funapp></arg><arg><var>Gs</var></arg></funapp></arg><arg><funapp><name>sequent</name><arg><var>Left</var></arg><arg><funapp><name>cons</name><arg><funapp><name>p</name><arg><var>V</var></arg></funapp></arg><arg><var>Right</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'14'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>nil</name></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg><arg><funapp><name>sequent</name><arg><var>F1</var></arg><arg><var>F2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>u'15'1</name><arg><funapp><name>intersect'ii'in</name><arg><var>F1</var></arg><arg><var>F2</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'15'1</name><arg><funapp><name>intersect'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>reduce'ii'out</name></funapp></rhs></rule><rule><lhs><funapp><name>tautology'i'in</name><arg><var>F</var></arg></funapp></lhs><rhs><funapp><name>u'16'1</name><arg><funapp><name>reduce'ii'in</name><arg><funapp><name>sequent</name><arg><funapp><name>nil</name></funapp></arg><arg><funapp><name>cons</name><arg><var>F</var></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>sequent</name><arg><funapp><name>nil</name></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>u'16'1</name><arg><funapp><name>reduce'ii'out</name></funapp></arg></funapp></lhs><rhs><funapp><name>tautology'i'out</name></funapp></rhs></rule></rules><signature><funcsym><name>intersect'ii'in</name><arity>2</arity></funcsym><funcsym><name>cons</name><arity>2</arity></funcsym><funcsym><name>intersect'ii'out</name><arity>0</arity></funcsym><funcsym><name>u'1'1</name><arity>1</arity></funcsym><funcsym><name>u'2'1</name><arity>1</arity></funcsym><funcsym><name>reduce'ii'in</name><arity>2</arity></funcsym><funcsym><name>sequent</name><arity>2</arity></funcsym><funcsym><name>if</name><arity>2</arity></funcsym><funcsym><name>u'3'1</name><arity>1</arity></funcsym><funcsym><name>x'2b</name><arity>2</arity></funcsym><funcsym><name>x'2d</name><arity>1</arity></funcsym><funcsym><name>reduce'ii'out</name><arity>0</arity></funcsym><funcsym><name>iff</name><arity>2</arity></funcsym><funcsym><name>u'4'1</name><arity>1</arity></funcsym><funcsym><name>x'2a</name><arity>2</arity></funcsym><funcsym><name>u'5'1</name><arity>1</arity></funcsym><funcsym><name>u'6'1</name><arity>5</arity></funcsym><funcsym><name>u'6'2</name><arity>1</arity></funcsym><funcsym><name>u'7'1</name><arity>1</arity></funcsym><funcsym><name>u'8'1</name><arity>1</arity></funcsym><funcsym><name>u'9'1</name><arity>1</arity></funcsym><funcsym><name>p</name><arity>1</arity></funcsym><funcsym><name>u'10'1</name><arity>1</arity></funcsym><funcsym><name>u'11'1</name><arity>1</arity></funcsym><funcsym><name>u'12'1</name><arity>5</arity></funcsym><funcsym><name>u'12'2</name><arity>1</arity></funcsym><funcsym><name>u'13'1</name><arity>1</arity></funcsym><funcsym><name>nil</name><arity>0</arity></funcsym><funcsym><name>u'14'1</name><arity>1</arity></funcsym><funcsym><name>u'15'1</name><arity>1</arity></funcsym><funcsym><name>tautology'i'in</name><arity>1</arity></funcsym><funcsym><name>u'16'1</name><arity>1</arity></funcsym><funcsym><name>tautology'i'out</name><arity>0</arity></funcsym></signature></trs><strategy>FULL</strategy><metainformation><originalfilename>./TRS/secret05/cime5.trs</originalfilename></metainformation></problem>
content may be truncated. 'popout' for larger text window.
