YES
CERTIFIED

Tool output:
YES
<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="cpf3HTML.xsl"?>
<certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="cpf3.xsd"><cpfVersion>3.0</cpfVersion><lookupTables><ruleTable><indexToRule><index>1</index><rule><funapp><name>a</name><funapp><name>c</name><var>x</var></funapp></funapp><funapp><name>b</name><funapp><name>b</name><var>x</var></funapp></funapp></rule></indexToRule><indexToRule><index>2</index><rule><funapp><name>a</name><funapp><name>c</name><var>x</var></funapp></funapp><funapp><name>b</name><funapp><name>a</name><var>x</var></funapp></funapp></rule></indexToRule><indexToRule><index>3</index><rule><funapp><name>b</name><funapp><name>a</name><var>x</var></funapp></funapp><funapp><name>c</name><funapp><name>c</name><var>x</var></funapp></funapp></rule></indexToRule><indexToRule><index>4</index><rule><funapp><name>c</name><funapp><name>b</name><var>x</var></funapp></funapp><funapp><name>c</name><funapp><name>b</name><var>x</var></funapp></funapp></rule></indexToRule><indexToRule><index>5</index><rule><funapp><name>b</name><funapp><name>b</name><var>x</var></funapp></funapp><funapp><name>b</name><funapp><name>c</name><var>x</var></funapp></funapp></rule></indexToRule><indexToRule><index>6</index><rule><funapp><name>b</name><funapp><name>c</name><var>x</var></funapp></funapp><funapp><name>c</name><funapp><name>b</name><var>x</var></funapp></funapp></rule></indexToRule><indexToRule><index>7</index><rule><funapp><name>c</name><funapp><name>c</name><var>x</var></funapp></funapp><funapp><name>b</name><funapp><name>c</name><var>x</var></funapp></funapp></rule></indexToRule></ruleTable></lookupTables><input><trsWithSignature><signature><symbol><name>a</name><arity>1</arity></symbol><symbol><name>b</name><arity>1</arity></symbol><symbol><name>c</name><arity>1</arity></symbol></signature><trs><rules><ruleIndex>1</ruleIndex><ruleIndex>2</ruleIndex><ruleIndex>3</ruleIndex><ruleIndex>4</ruleIndex><ruleIndex>5</ruleIndex><ruleIndex>6</ruleIndex><ruleIndex>7</ruleIndex></rules></trs></trsWithSignature></input><property><confluence /></property><answer><yes /></answer><proof><crProof><compositionalPcpRuleLabeling><ruleLabelingFunction><ruleLabelingFunctionEntry><ruleIndex>1</ruleIndex><label>11</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>2</ruleIndex><label>8</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>3</ruleIndex><label>7</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>4</ruleIndex><label>1</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>5</ruleIndex><label>5</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>6</ruleIndex><label>2</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>7</ruleIndex><label>8</label></ruleLabelingFunctionEntry></ruleLabelingFunction><ruleLabelingFunction><ruleLabelingFunctionEntry><ruleIndex>1</ruleIndex><label>9</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>2</ruleIndex><label>3</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>3</ruleIndex><label>7</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>4</ruleIndex><label>3</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>5</ruleIndex><label>10</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>6</ruleIndex><label>4</label></ruleLabelingFunctionEntry><ruleLabelingFunctionEntry><ruleIndex>7</ruleIndex><label>6</label></ruleLabelingFunctionEntry></ruleLabelingFunction><joinsRS><joinSequences><critPairInfo><left><funapp><name>b</name><funapp><name>a</name><var>y1</var></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><var>y1</var></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>b</name><var>y1</var></funapp></funapp></right><overlapPositions><positionInTerm /></overlapPositions><labels><maxLeft>8</maxLeft><right>9</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>a</name><var>y1</var></funapp></funapp><funapp><name>c</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>b</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>c</name><funapp><name>b</name><var>y1</var></funapp></funapp><funapp><name>b</name><funapp><name>c</name><var>y1</var></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>1</maxLeft><right>9</right></labels><intermediateTerms><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>8</maxLeft><right>9</right></labels><intermediateTerms><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><var>y1</var></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><var>y1</var></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>a</name><var>y1</var></funapp></funapp></right><overlapPositions><positionInTerm /></overlapPositions><labels><maxLeft>11</maxLeft><right>3</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>c</name><funapp><name>b</name><var>y1</var></funapp></funapp><funapp><name>b</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>c</name><funapp><name>c</name><var>y1</var></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>1</maxLeft><right>3</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>a</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>8</maxLeft><right>3</right></labels><intermediateTerms><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>a</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>11</maxLeft><right>7</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>a</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>8</maxLeft><right>7</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>7</maxLeft><right>3</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>5</maxLeft><right>3</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>2</maxLeft><right>3</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>7</maxLeft><right>10</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>5</maxLeft><right>10</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>2</maxLeft><right>10</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>1</maxLeft><right>4</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>8</maxLeft><right>4</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>1</maxLeft><right>6</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>8</maxLeft><right>6</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo></joinSequences></joinsRS><joinsSR><joinSequences><critPairInfo><left><funapp><name>b</name><funapp><name>a</name><var>y1</var></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><var>y1</var></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>b</name><var>y1</var></funapp></funapp></right><overlapPositions><positionInTerm /></overlapPositions><labels><maxLeft>3</maxLeft><right>11</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>a</name><var>y1</var></funapp></funapp><funapp><name>c</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>b</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>b</name><funapp><name>b</name><var>y1</var></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>3</maxLeft><right>11</right></labels><intermediateTerms><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>6</maxLeft><right>11</right></labels><intermediateTerms><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><var>y1</var></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><var>y1</var></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>a</name><var>y1</var></funapp></funapp></right><overlapPositions><positionInTerm /></overlapPositions><labels><maxLeft>9</maxLeft><right>8</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>c</name><funapp><name>b</name><var>y1</var></funapp></funapp><funapp><name>b</name><funapp><name>c</name><var>y1</var></funapp></funapp><funapp><name>c</name><funapp><name>c</name><var>y1</var></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>3</maxLeft><right>8</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>a</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>a</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>a</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>6</maxLeft><right>8</right></labels><intermediateTerms><funapp><name>a</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>a</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>a</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>9</maxLeft><right>7</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>a</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>3</maxLeft><right>7</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>7</maxLeft><right>1</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>10</maxLeft><right>1</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>4</maxLeft><right>1</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>7</maxLeft><right>5</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>a</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>10</maxLeft><right>5</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>4</maxLeft><right>5</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>3</maxLeft><right>2</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>b</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>6</maxLeft><right>2</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>3</maxLeft><right>8</right></labels><intermediateTerms><funapp><name>b</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo><critPairInfo><left><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></left><peak><funapp><name>c</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></peak><right><funapp><name>b</name><funapp><name>c</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></right><overlapPositions><positionInTerm><position>1</position></positionInTerm></overlapPositions><labels><maxLeft>6</maxLeft><right>8</right></labels><intermediateTerms><funapp><name>c</name><funapp><name>c</name><funapp><name>b</name><var>x1_1</var></funapp></funapp></funapp><funapp><name>c</name><funapp><name>b</name><funapp><name>c</name><var>x1_1</var></funapp></funapp></funapp></intermediateTerms></critPairInfo></joinSequences></joinsSR><trs><rules /></trs><crProof><orthogonal /></crProof></compositionalPcpRuleLabeling></crProof></proof><metaInformation><toolInfos><toolInfo>Hakusan</toolInfo><toolInfo>version: 0.11</toolInfo></toolInfos></metaInformation></certificationProblem>