gistfile1.txt

<?xml version='1.0' ?><certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" noNamespaceSchemaLocation="cpf3.xsd"><cpfVersion>3.0</cpfVersion><input><trsInput><trs><rules><rule><funapp><name>f</name><funapp><name>f</name><var>x</var></funapp></funapp><funapp><name>f</name><funapp><name>g</name><funapp><name>f</name><var>x</var></funapp></funapp></funapp></rule></rules></trs></trsInput></input><property><termination /></property><answer><yes /></answer><proof><trsTerminationProof><ruleRemoval><monotonicSemanticPathOrder><generalizedWeightedPathOrder><precedenceList><precedenceListEntry><name>f</name><arity>1</arity><precedence>0</precedence></precedenceListEntry><precedenceListEntry><name>g</name><arity>1</arity><precedence>1</precedence></precedenceListEntry></precedenceList><interpretation><type><polynomial><domain><naturals /></domain><degree>1</degree></polynomial></type><interpret><name>f</name><arity>1</arity><sum><product><integer>1</integer><variable>1</variable></product><integer>1</integer></sum></interpret><interpret><name>g</name><arity>1</arity><integer>0</integer></interpret><interpret><sharp><name>f</name></sharp><arity>1</arity><sum><product><integer>1</integer><variable>1</variable></product><integer>1</integer></sum></interpret><interpret><sharp><name>g</name></sharp><arity>1</arity><variable>1</variable></interpret></interpretation></generalizedWeightedPathOrder></monotonicSemanticPathOrder><trs><rules /></trs><trsTerminationProof><rIsEmpty /></trsTerminationProof></ruleRemoval></trsTerminationProof></proof></certificationProblem>