gistfile1.txt

<?xml version='1.0' ?><certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" noNamespaceSchemaLocation="cpf3.xsd"><cpfVersion>3.0</cpfVersion><lookupTables /><input><trsInput><trs><rules><rule><funapp><name>half</name><funapp><name>0</name></funapp></funapp><funapp><name>0</name></funapp></rule><rule><funapp><name>half</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp><funapp><name>0</name></funapp></rule><rule><funapp><name>half</name><funapp><name>s</name><funapp><name>s</name><var>x</var></funapp></funapp></funapp><funapp><name>s</name><funapp><name>half</name><var>x</var></funapp></funapp></rule><rule><funapp><name>bits</name><funapp><name>0</name></funapp></funapp><funapp><name>0</name></funapp></rule><rule><funapp><name>bits</name><funapp><name>s</name><var>x</var></funapp></funapp><funapp><name>s</name><funapp><name>bits</name><funapp><name>half</name><funapp><name>s</name><var>x</var></funapp></funapp></funapp></funapp></rule></rules></trs></trsInput></input><property><termination /></property><answer><yes /></answer><proof><trsTerminationProof><ruleRemoval><monotonicSemanticPathOrder><generalizedWeightedPathOrder><precedenceList><precedenceListEntry><name>half</name><arity>1</arity><precedence>1</precedence></precedenceListEntry><precedenceListEntry><name>0</name><arity>0</arity><precedence>0</precedence></precedenceListEntry><precedenceListEntry><name>s</name><arity>1</arity><precedence>2</precedence></precedenceListEntry><precedenceListEntry><name>bits</name><arity>1</arity><precedence>0</precedence></precedenceListEntry></precedenceList><maxMonus><interpret><name>half</name><arity>1</arity><maxExt><min>0</min><maxExtEntry><intercept>-5</intercept><slope>1</slope><variable>1</variable></maxExtEntry></maxExt></interpret><interpret><sharp><name>half</name></sharp><arity>1</arity><maxExt><min>3</min><maxExtEntry><intercept>0</intercept><slope>1</slope><variable>1</variable></maxExtEntry></maxExt></interpret><interpret><name>0</name><arity>0</arity><maxExt><min>0</min></maxExt></interpret><interpret><sharp><name>0</name></sharp><arity>0</arity><maxExt><min>0</min></maxExt></interpret><interpret><name>s</name><arity>1</arity><maxExt><min>1</min><maxExtEntry><intercept>5</intercept><slope>1</slope><variable>1</variable></maxExtEntry></maxExt></interpret><interpret><sharp><name>s</name></sharp><arity>1</arity><maxExt><min>2</min><maxExtEntry><intercept>4</intercept><slope>1</slope><variable>1</variable></maxExtEntry></maxExt></interpret><interpret><name>bits</name><arity>1</arity><maxExt><min>7</min><maxExtEntry><intercept>7</intercept><slope>1</slope><variable>1</variable></maxExtEntry></maxExt></interpret><interpret><sharp><name>bits</name></sharp><arity>1</arity><maxExt><min>12</min><maxExtEntry><intercept>9</intercept><slope>1</slope><variable>1</variable></maxExtEntry></maxExt></interpret></maxMonus></generalizedWeightedPathOrder></monotonicSemanticPathOrder><trs><rules><rule><funapp><name>half</name><funapp><name>0</name></funapp></funapp><funapp><name>0</name></funapp></rule><rule><funapp><name>half</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp><funapp><name>0</name></funapp></rule><rule><funapp><name>half</name><funapp><name>s</name><funapp><name>s</name><var>x</var></funapp></funapp></funapp><funapp><name>s</name><funapp><name>half</name><var>x</var></funapp></funapp></rule><rule><funapp><name>bits</name><funapp><name>0</name></funapp></funapp><funapp><name>0</name></funapp></rule><rule><funapp><name>bits</name><funapp><name>s</name><var>x</var></funapp></funapp><funapp><name>s</name><funapp><name>bits</name><funapp><name>half</name><funapp><name>s</name><var>x</var></funapp></funapp></funapp></funapp></rule></rules></trs><trsTerminationProof><rIsEmpty /></trsTerminationProof></ruleRemoval></trsTerminationProof></proof></certificationProblem>