<?xml version="1.0" encoding="UTF-8" standalone="no"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" type="termination" xsi:noNamespaceSchemaLocation="/xtc.xsd"> <trs> <rules> <rule> <lhs> <funapp> <name>f</name> <arg> <funapp> <name>0</name> </funapp> </arg> <arg> <var>Y</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>f</name> <arg> <funapp> <name>s</name> <arg> <var>Y</var> </arg> </funapp> </arg> <arg> <funapp> <name>s</name> <arg> <var>Y</var> </arg> </funapp> </arg> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>f</name> <arg> <funapp> <name>s</name> <arg> <var>X</var> </arg> </funapp> </arg> <arg> <var>Y</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>f</name> <arg> <var>X</var> </arg> <arg> <var>Y</var> </arg> </funapp> </rhs> </rule> </rules> <signature> <funcsym> <name>f</name> <arity>2</arity> </funcsym> <funcsym> <name>0</name> <arity>0</arity> </funcsym> <funcsym> <name>s</name> <arity>1</arity> </funcsym> </signature> </trs> <strategy>FULL</strategy> <metainformation> <originalfilename>epayet-nonloop-1.trs</originalfilename> </metainformation> </problem>
content may be truncated. 'popout' for larger text window.