YES After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5 }, it remains to prove termination of the 30-rule system { 0 0 1 0 -> 2 3 4 , 3 5 1 1 2 1 -> 3 3 3 1 3 1 , 0 0 3 3 5 5 4 -> 2 3 3 0 3 4 , 0 4 0 0 4 4 5 -> 3 5 4 1 2 4 , 5 5 5 2 5 2 4 4 3 -> 5 0 1 5 0 4 5 2 , 0 4 3 0 1 1 1 4 1 0 -> 2 5 0 2 2 1 0 5 1 3 , 0 4 5 2 1 5 3 0 1 1 -> 5 3 0 2 3 0 5 0 0 0 , 3 3 1 4 2 0 3 5 0 0 -> 0 1 1 2 5 3 1 2 2 2 , 4 5 2 2 1 5 2 4 5 0 -> 4 2 5 4 1 4 5 5 5 0 , 0 1 1 3 4 4 0 4 1 5 5 -> 0 2 4 4 5 5 5 3 2 4 0 , 2 1 1 3 5 5 4 1 0 4 4 1 -> 2 5 5 3 4 2 0 4 0 1 2 0 , 4 4 5 1 1 1 3 2 5 5 4 1 -> 4 2 1 0 2 0 0 0 4 3 3 1 , 4 5 2 1 0 5 2 0 2 5 0 4 -> 3 0 0 5 3 2 0 0 2 0 0 4 , 5 2 2 4 2 5 1 4 5 4 0 4 -> 2 4 5 5 5 4 3 2 5 3 1 4 , 0 4 1 5 4 3 5 5 0 0 5 1 2 -> 0 3 5 4 5 0 5 2 0 4 2 4 , 2 2 2 1 0 2 2 5 1 0 1 5 1 -> 5 4 0 3 2 5 0 1 2 4 3 3 , 0 2 5 5 1 2 2 5 5 0 5 2 1 0 -> 2 0 5 5 5 0 1 2 3 4 0 1 1 , 2 4 1 3 4 1 0 0 3 2 4 4 1 2 -> 3 4 5 1 4 4 4 5 4 5 1 4 3 1 , 0 3 3 2 0 2 2 3 4 0 5 1 2 5 1 2 -> 0 1 0 1 3 0 1 1 2 2 4 0 3 4 4 , 2 2 0 0 2 0 5 2 4 0 4 3 2 5 2 0 -> 4 5 4 1 3 5 1 3 0 2 5 0 2 5 3 , 1 4 4 3 4 5 3 5 1 2 5 0 4 4 4 0 4 -> 1 2 3 3 1 0 1 1 1 0 3 3 3 3 5 3 4 , 3 0 2 0 3 2 3 3 0 4 3 0 0 2 0 2 0 -> 3 5 5 3 2 1 2 2 2 0 3 0 4 5 1 1 , 4 0 4 3 3 5 2 1 3 5 5 3 2 4 5 1 0 -> 4 4 5 5 4 2 2 0 2 1 5 2 1 5 4 5 0 , 1 2 4 3 4 4 2 2 1 4 2 1 3 1 5 1 5 3 -> 1 0 3 2 0 0 1 3 0 3 4 0 0 0 3 5 3 , 4 5 5 5 4 0 0 3 3 4 4 3 3 5 5 3 1 0 -> 3 3 2 5 1 1 5 4 1 5 1 2 5 4 1 2 1 , 1 1 1 3 0 3 5 0 5 1 1 4 2 2 0 3 2 3 3 -> 3 5 2 2 4 4 1 2 4 3 0 5 5 0 0 1 2 2 3 , 0 2 1 3 1 2 0 3 4 2 2 5 3 0 1 3 3 5 3 2 -> 1 3 1 0 2 5 3 1 1 3 1 5 0 1 1 0 3 0 3 , 1 0 0 3 2 0 4 5 1 1 2 5 0 1 0 2 1 4 3 2 -> 3 1 1 4 4 5 4 3 1 0 3 0 4 0 1 0 2 2 2 1 , 0 0 3 3 3 1 1 0 0 2 5 0 4 5 1 4 2 4 1 0 5 -> 1 2 3 0 5 2 3 0 3 5 4 1 4 4 5 0 1 1 1 5 , 0 5 3 1 0 2 1 4 5 1 1 0 1 1 3 2 5 4 3 0 4 -> 1 1 5 5 4 2 3 5 3 1 0 0 5 3 5 5 4 1 3 4 } The system was reversed. After renaming modulo { 0->0, 1->1, 4->2, 3->3, 2->4, 5->5 }, it remains to prove termination of the 30-rule system { 0 1 0 0 -> 2 3 4 , 1 4 1 1 5 3 -> 1 3 1 3 3 3 , 2 5 5 3 3 0 0 -> 2 3 0 3 3 4 , 5 2 2 0 0 2 0 -> 2 4 1 2 5 3 , 3 2 2 4 5 4 5 5 5 -> 4 5 2 0 5 1 0 5 , 0 1 2 1 1 1 0 3 2 0 -> 3 1 5 0 1 4 4 0 5 4 , 1 1 0 3 5 1 4 5 2 0 -> 0 0 0 5 0 3 4 0 3 5 , 0 0 5 3 0 4 2 1 3 3 -> 4 4 4 1 3 5 4 1 1 0 , 0 5 2 4 5 1 4 4 5 2 -> 0 5 5 5 2 1 2 5 4 2 , 5 5 1 2 0 2 2 3 1 1 0 -> 0 2 4 3 5 5 5 2 2 4 0 , 1 2 2 0 1 2 5 5 3 1 1 4 -> 0 4 1 0 2 0 4 2 3 5 5 4 , 1 2 5 5 4 3 1 1 1 5 2 2 -> 1 3 3 2 0 0 0 4 0 1 4 2 , 2 0 5 4 0 4 5 0 1 4 5 2 -> 2 0 0 4 0 0 4 3 5 0 0 3 , 2 0 2 5 2 1 5 4 2 4 4 5 -> 2 1 3 5 4 3 2 5 5 5 2 4 , 4 1 5 0 0 5 5 3 2 5 1 2 0 -> 2 4 2 0 4 5 0 5 2 5 3 0 , 1 5 1 0 1 5 4 4 0 1 4 4 4 -> 3 3 2 4 1 0 5 4 3 0 2 5 , 0 1 4 5 0 5 5 4 4 1 5 5 4 0 -> 1 1 0 2 3 4 1 0 5 5 5 0 4 , 4 1 2 2 4 3 0 0 1 2 3 1 2 4 -> 1 3 2 1 5 2 5 2 2 2 1 5 2 3 , 4 1 5 4 1 5 0 2 3 4 4 0 4 3 3 0 -> 2 2 3 0 2 4 4 1 1 0 3 1 0 1 0 , 0 4 5 4 3 2 0 2 4 5 0 4 0 0 4 4 -> 3 5 4 0 5 4 0 3 1 5 3 1 2 5 2 , 2 0 2 2 2 0 5 4 1 5 3 5 2 3 2 2 1 -> 2 3 5 3 3 3 3 0 1 1 1 0 1 3 3 4 1 , 0 4 0 4 0 0 3 2 0 3 3 4 3 0 4 0 3 -> 1 1 5 2 0 3 0 4 4 4 1 4 3 5 5 3 , 0 1 5 2 4 3 5 5 3 1 4 5 3 3 2 0 2 -> 0 5 2 5 1 4 5 1 4 0 4 4 2 5 5 2 2 , 3 5 1 5 1 3 1 4 2 1 4 4 2 2 3 2 4 1 -> 3 5 3 0 0 0 2 3 0 3 1 0 0 4 3 0 1 , 0 1 3 5 5 3 3 2 2 3 3 0 0 2 5 5 5 2 -> 1 4 1 2 5 4 1 5 1 2 5 1 1 5 4 3 3 , 3 3 4 3 0 4 4 2 1 1 5 0 5 3 0 3 1 1 1 -> 3 4 4 1 0 0 5 5 0 3 2 4 1 2 2 4 4 5 3 , 4 3 5 3 3 1 0 3 5 4 4 2 3 0 4 1 3 1 4 0 -> 3 0 3 0 1 1 0 5 1 3 1 1 3 5 4 0 1 3 1 , 4 3 2 1 4 0 1 0 5 4 1 1 5 2 0 4 3 0 0 1 -> 1 4 4 4 0 1 0 2 0 3 0 1 3 2 5 2 2 1 1 3 , 5 0 1 2 4 2 1 5 2 0 5 4 0 0 1 1 3 3 3 0 0 -> 5 1 1 1 0 5 2 2 1 2 5 3 0 3 4 5 0 3 4 1 , 2 0 3 2 5 4 3 1 1 0 1 1 5 2 1 4 0 1 3 5 0 -> 2 3 1 2 5 5 3 5 0 0 1 3 5 3 4 2 5 5 1 1 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 1 | | 0 1 | \ / 2 is interpreted by / \ | 1 1 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 1 | | 0 1 | \ / 5 is interpreted by / \ | 1 1 | | 0 1 | \ / After renaming modulo { 1->0, 4->1, 5->2, 3->3, 0->4, 2->5 }, it remains to prove termination of the 15-rule system { 0 1 0 0 2 3 -> 0 3 0 3 3 3 , 4 0 5 0 0 0 4 3 5 4 -> 3 0 2 4 0 1 1 4 2 1 , 0 0 4 3 2 0 1 2 5 4 -> 4 4 4 2 4 3 1 4 3 2 , 4 4 2 3 4 1 5 0 3 3 -> 1 1 1 0 3 2 1 0 0 4 , 4 2 5 1 2 0 1 1 2 5 -> 4 2 2 2 5 0 5 2 1 5 , 2 2 0 5 4 5 5 3 0 0 4 -> 4 5 1 3 2 2 2 5 5 1 4 , 0 5 5 4 0 5 2 2 3 0 0 1 -> 4 1 0 4 5 4 1 5 3 2 2 1 , 0 5 2 2 1 3 0 0 0 2 5 5 -> 0 3 3 5 4 4 4 1 4 0 1 5 , 5 4 2 1 4 1 2 4 0 1 2 5 -> 5 4 4 1 4 4 1 3 2 4 4 3 , 5 4 5 2 5 0 2 1 5 1 1 2 -> 5 0 3 2 1 3 5 2 2 2 5 1 , 1 0 5 5 1 3 4 4 0 5 3 0 5 1 -> 0 3 5 0 2 5 2 5 5 5 0 2 5 3 , 5 4 5 5 5 4 2 1 0 2 3 2 5 3 5 5 0 -> 5 3 2 3 3 3 3 4 0 0 0 4 0 3 3 1 0 , 4 0 2 5 1 3 2 2 3 0 1 2 3 3 5 4 5 -> 4 2 5 2 0 1 2 0 1 4 1 1 5 2 2 5 5 , 3 3 1 3 4 1 1 5 0 0 2 4 2 3 4 3 0 0 0 -> 3 1 1 0 4 4 2 2 4 3 5 1 0 5 5 1 1 2 3 , 1 3 5 0 1 4 0 4 2 1 0 0 2 5 4 1 3 4 4 0 -> 0 1 1 1 4 0 4 5 4 3 4 0 3 5 2 5 5 0 0 3 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 13: 0 is interpreted by / \ | 1 0 1 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 1 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 1 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 1 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 2 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 1 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 1 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 1 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 3 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 1 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 4 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 5 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 1 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 1 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | \ / After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5 }, it remains to prove termination of the 14-rule system { 0 1 0 0 2 3 -> 0 3 0 3 3 3 , 4 0 5 0 0 0 4 3 5 4 -> 3 0 2 4 0 1 1 4 2 1 , 0 0 4 3 2 0 1 2 5 4 -> 4 4 4 2 4 3 1 4 3 2 , 4 4 2 3 4 1 5 0 3 3 -> 1 1 1 0 3 2 1 0 0 4 , 4 2 5 1 2 0 1 1 2 5 -> 4 2 2 2 5 0 5 2 1 5 , 2 2 0 5 4 5 5 3 0 0 4 -> 4 5 1 3 2 2 2 5 5 1 4 , 0 5 5 4 0 5 2 2 3 0 0 1 -> 4 1 0 4 5 4 1 5 3 2 2 1 , 5 4 2 1 4 1 2 4 0 1 2 5 -> 5 4 4 1 4 4 1 3 2 4 4 3 , 5 4 5 2 5 0 2 1 5 1 1 2 -> 5 0 3 2 1 3 5 2 2 2 5 1 , 1 0 5 5 1 3 4 4 0 5 3 0 5 1 -> 0 3 5 0 2 5 2 5 5 5 0 2 5 3 , 5 4 5 5 5 4 2 1 0 2 3 2 5 3 5 5 0 -> 5 3 2 3 3 3 3 4 0 0 0 4 0 3 3 1 0 , 4 0 2 5 1 3 2 2 3 0 1 2 3 3 5 4 5 -> 4 2 5 2 0 1 2 0 1 4 1 1 5 2 2 5 5 , 3 3 1 3 4 1 1 5 0 0 2 4 2 3 4 3 0 0 0 -> 3 1 1 0 4 4 2 2 4 3 5 1 0 5 5 1 1 2 3 , 1 3 5 0 1 4 0 4 2 1 0 0 2 5 4 1 3 4 4 0 -> 0 1 1 1 4 0 4 5 4 3 4 0 3 5 2 5 5 0 0 3 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 13: 0 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 1 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 1 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 1 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 1 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 2 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 1 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 1 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 3 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 4 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 1 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 1 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 1 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 5 is interpreted by / \ | 1 0 1 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | \ / After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5 }, it remains to prove termination of the 13-rule system { 0 1 0 0 2 3 -> 0 3 0 3 3 3 , 4 0 5 0 0 0 4 3 5 4 -> 3 0 2 4 0 1 1 4 2 1 , 0 0 4 3 2 0 1 2 5 4 -> 4 4 4 2 4 3 1 4 3 2 , 4 4 2 3 4 1 5 0 3 3 -> 1 1 1 0 3 2 1 0 0 4 , 4 2 5 1 2 0 1 1 2 5 -> 4 2 2 2 5 0 5 2 1 5 , 2 2 0 5 4 5 5 3 0 0 4 -> 4 5 1 3 2 2 2 5 5 1 4 , 0 5 5 4 0 5 2 2 3 0 0 1 -> 4 1 0 4 5 4 1 5 3 2 2 1 , 5 4 5 2 5 0 2 1 5 1 1 2 -> 5 0 3 2 1 3 5 2 2 2 5 1 , 1 0 5 5 1 3 4 4 0 5 3 0 5 1 -> 0 3 5 0 2 5 2 5 5 5 0 2 5 3 , 5 4 5 5 5 4 2 1 0 2 3 2 5 3 5 5 0 -> 5 3 2 3 3 3 3 4 0 0 0 4 0 3 3 1 0 , 4 0 2 5 1 3 2 2 3 0 1 2 3 3 5 4 5 -> 4 2 5 2 0 1 2 0 1 4 1 1 5 2 2 5 5 , 3 3 1 3 4 1 1 5 0 0 2 4 2 3 4 3 0 0 0 -> 3 1 1 0 4 4 2 2 4 3 5 1 0 5 5 1 1 2 3 , 1 3 5 0 1 4 0 4 2 1 0 0 2 5 4 1 3 4 4 0 -> 0 1 1 1 4 0 4 5 4 3 4 0 3 5 2 5 5 0 0 3 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 13: 0 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 1 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 1 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 1 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 1 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 1 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 2 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 1 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | \ / 3 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 4 is interpreted by / \ | 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 1 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / 5 is interpreted by / \ | 1 0 1 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 1 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 1 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 | \ / After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5 }, it remains to prove termination of the 12-rule system { 0 1 0 0 2 3 -> 0 3 0 3 3 3 , 4 0 5 0 0 0 4 3 5 4 -> 3 0 2 4 0 1 1 4 2 1 , 0 0 4 3 2 0 1 2 5 4 -> 4 4 4 2 4 3 1 4 3 2 , 4 4 2 3 4 1 5 0 3 3 -> 1 1 1 0 3 2 1 0 0 4 , 4 2 5 1 2 0 1 1 2 5 -> 4 2 2 2 5 0 5 2 1 5 , 2 2 0 5 4 5 5 3 0 0 4 -> 4 5 1 3 2 2 2 5 5 1 4 , 0 5 5 4 0 5 2 2 3 0 0 1 -> 4 1 0 4 5 4 1 5 3 2 2 1 , 1 0 5 5 1 3 4 4 0 5 3 0 5 1 -> 0 3 5 0 2 5 2 5 5 5 0 2 5 3 , 5 4 5 5 5 4 2 1 0 2 3 2 5 3 5 5 0 -> 5 3 2 3 3 3 3 4 0 0 0 4 0 3 3 1 0 , 4 0 2 5 1 3 2 2 3 0 1 2 3 3 5 4 5 -> 4 2 5 2 0 1 2 0 1 4 1 1 5 2 2 5 5 , 3 3 1 3 4 1 1 5 0 0 2 4 2 3 4 3 0 0 0 -> 3 1 1 0 4 4 2 2 4 3 5 1 0 5 5 1 1 2 3 , 1 3 5 0 1 4 0 4 2 1 0 0 2 5 4 1 3 4 4 0 -> 0 1 1 1 4 0 4 5 4 3 4 0 3 5 2 5 5 0 0 3 } Applying sparse 2-tiling [Hofbauer/Geser/Waldmann, FSCD 2019]. After renaming modulo { (0,0)->0, (0,1)->1, (1,0)->2, (0,2)->3, (2,3)->4, (3,0)->5, (0,3)->6, (3,3)->7, (3,1)->8, (3,2)->9, (3,4)->10, (3,5)->11, (3,7)->12, (2,0)->13, (4,0)->14, (5,0)->15, (6,0)->16, (0,4)->17, (0,5)->18, (4,3)->19, (5,4)->20, (2,4)->21, (1,1)->22, (1,4)->23, (4,2)->24, (2,1)->25, (4,1)->26, (1,2)->27, (1,3)->28, (4,4)->29, (4,5)->30, (1,5)->31, (4,7)->32, (1,7)->33, (5,3)->34, (6,4)->35, (6,3)->36, (2,5)->37, (2,2)->38, (2,7)->39, (5,1)->40, (6,1)->41, (5,2)->42, (5,5)->43, (5,7)->44, (0,7)->45, (6,5)->46 }, it remains to prove termination of the 581-rule system { 0 1 2 0 3 4 5 -> 0 6 5 6 7 7 5 , 0 1 2 0 3 4 8 -> 0 6 5 6 7 7 8 , 0 1 2 0 3 4 9 -> 0 6 5 6 7 7 9 , 0 1 2 0 3 4 7 -> 0 6 5 6 7 7 7 , 0 1 2 0 3 4 10 -> 0 6 5 6 7 7 10 , 0 1 2 0 3 4 11 -> 0 6 5 6 7 7 11 , 0 1 2 0 3 4 12 -> 0 6 5 6 7 7 12 , 2 1 2 0 3 4 5 -> 2 6 5 6 7 7 5 , 2 1 2 0 3 4 8 -> 2 6 5 6 7 7 8 , 2 1 2 0 3 4 9 -> 2 6 5 6 7 7 9 , 2 1 2 0 3 4 7 -> 2 6 5 6 7 7 7 , 2 1 2 0 3 4 10 -> 2 6 5 6 7 7 10 , 2 1 2 0 3 4 11 -> 2 6 5 6 7 7 11 , 2 1 2 0 3 4 12 -> 2 6 5 6 7 7 12 , 13 1 2 0 3 4 5 -> 13 6 5 6 7 7 5 , 13 1 2 0 3 4 8 -> 13 6 5 6 7 7 8 , 13 1 2 0 3 4 9 -> 13 6 5 6 7 7 9 , 13 1 2 0 3 4 7 -> 13 6 5 6 7 7 7 , 13 1 2 0 3 4 10 -> 13 6 5 6 7 7 10 , 13 1 2 0 3 4 11 -> 13 6 5 6 7 7 11 , 13 1 2 0 3 4 12 -> 13 6 5 6 7 7 12 , 5 1 2 0 3 4 5 -> 5 6 5 6 7 7 5 , 5 1 2 0 3 4 8 -> 5 6 5 6 7 7 8 , 5 1 2 0 3 4 9 -> 5 6 5 6 7 7 9 , 5 1 2 0 3 4 7 -> 5 6 5 6 7 7 7 , 5 1 2 0 3 4 10 -> 5 6 5 6 7 7 10 , 5 1 2 0 3 4 11 -> 5 6 5 6 7 7 11 , 5 1 2 0 3 4 12 -> 5 6 5 6 7 7 12 , 14 1 2 0 3 4 5 -> 14 6 5 6 7 7 5 , 14 1 2 0 3 4 8 -> 14 6 5 6 7 7 8 , 14 1 2 0 3 4 9 -> 14 6 5 6 7 7 9 , 14 1 2 0 3 4 7 -> 14 6 5 6 7 7 7 , 14 1 2 0 3 4 10 -> 14 6 5 6 7 7 10 , 14 1 2 0 3 4 11 -> 14 6 5 6 7 7 11 , 14 1 2 0 3 4 12 -> 14 6 5 6 7 7 12 , 15 1 2 0 3 4 5 -> 15 6 5 6 7 7 5 , 15 1 2 0 3 4 8 -> 15 6 5 6 7 7 8 , 15 1 2 0 3 4 9 -> 15 6 5 6 7 7 9 , 15 1 2 0 3 4 7 -> 15 6 5 6 7 7 7 , 15 1 2 0 3 4 10 -> 15 6 5 6 7 7 10 , 15 1 2 0 3 4 11 -> 15 6 5 6 7 7 11 , 15 1 2 0 3 4 12 -> 15 6 5 6 7 7 12 , 16 1 2 0 3 4 5 -> 16 6 5 6 7 7 5 , 16 1 2 0 3 4 8 -> 16 6 5 6 7 7 8 , 16 1 2 0 3 4 9 -> 16 6 5 6 7 7 9 , 16 1 2 0 3 4 7 -> 16 6 5 6 7 7 7 , 16 1 2 0 3 4 10 -> 16 6 5 6 7 7 10 , 16 1 2 0 3 4 11 -> 16 6 5 6 7 7 11 , 16 1 2 0 3 4 12 -> 16 6 5 6 7 7 12 , 17 14 18 15 0 0 17 19 11 20 14 -> 6 5 3 21 14 1 22 23 24 25 2 , 17 14 18 15 0 0 17 19 11 20 26 -> 6 5 3 21 14 1 22 23 24 25 22 , 17 14 18 15 0 0 17 19 11 20 24 -> 6 5 3 21 14 1 22 23 24 25 27 , 17 14 18 15 0 0 17 19 11 20 19 -> 6 5 3 21 14 1 22 23 24 25 28 , 17 14 18 15 0 0 17 19 11 20 29 -> 6 5 3 21 14 1 22 23 24 25 23 , 17 14 18 15 0 0 17 19 11 20 30 -> 6 5 3 21 14 1 22 23 24 25 31 , 17 14 18 15 0 0 17 19 11 20 32 -> 6 5 3 21 14 1 22 23 24 25 33 , 23 14 18 15 0 0 17 19 11 20 14 -> 28 5 3 21 14 1 22 23 24 25 2 , 23 14 18 15 0 0 17 19 11 20 26 -> 28 5 3 21 14 1 22 23 24 25 22 , 23 14 18 15 0 0 17 19 11 20 24 -> 28 5 3 21 14 1 22 23 24 25 27 , 23 14 18 15 0 0 17 19 11 20 19 -> 28 5 3 21 14 1 22 23 24 25 28 , 23 14 18 15 0 0 17 19 11 20 29 -> 28 5 3 21 14 1 22 23 24 25 23 , 23 14 18 15 0 0 17 19 11 20 30 -> 28 5 3 21 14 1 22 23 24 25 31 , 23 14 18 15 0 0 17 19 11 20 32 -> 28 5 3 21 14 1 22 23 24 25 33 , 21 14 18 15 0 0 17 19 11 20 14 -> 4 5 3 21 14 1 22 23 24 25 2 , 21 14 18 15 0 0 17 19 11 20 26 -> 4 5 3 21 14 1 22 23 24 25 22 , 21 14 18 15 0 0 17 19 11 20 24 -> 4 5 3 21 14 1 22 23 24 25 27 , 21 14 18 15 0 0 17 19 11 20 19 -> 4 5 3 21 14 1 22 23 24 25 28 , 21 14 18 15 0 0 17 19 11 20 29 -> 4 5 3 21 14 1 22 23 24 25 23 , 21 14 18 15 0 0 17 19 11 20 30 -> 4 5 3 21 14 1 22 23 24 25 31 , 21 14 18 15 0 0 17 19 11 20 32 -> 4 5 3 21 14 1 22 23 24 25 33 , 10 14 18 15 0 0 17 19 11 20 14 -> 7 5 3 21 14 1 22 23 24 25 2 , 10 14 18 15 0 0 17 19 11 20 26 -> 7 5 3 21 14 1 22 23 24 25 22 , 10 14 18 15 0 0 17 19 11 20 24 -> 7 5 3 21 14 1 22 23 24 25 27 , 10 14 18 15 0 0 17 19 11 20 19 -> 7 5 3 21 14 1 22 23 24 25 28 , 10 14 18 15 0 0 17 19 11 20 29 -> 7 5 3 21 14 1 22 23 24 25 23 , 10 14 18 15 0 0 17 19 11 20 30 -> 7 5 3 21 14 1 22 23 24 25 31 , 10 14 18 15 0 0 17 19 11 20 32 -> 7 5 3 21 14 1 22 23 24 25 33 , 29 14 18 15 0 0 17 19 11 20 14 -> 19 5 3 21 14 1 22 23 24 25 2 , 29 14 18 15 0 0 17 19 11 20 26 -> 19 5 3 21 14 1 22 23 24 25 22 , 29 14 18 15 0 0 17 19 11 20 24 -> 19 5 3 21 14 1 22 23 24 25 27 , 29 14 18 15 0 0 17 19 11 20 19 -> 19 5 3 21 14 1 22 23 24 25 28 , 29 14 18 15 0 0 17 19 11 20 29 -> 19 5 3 21 14 1 22 23 24 25 23 , 29 14 18 15 0 0 17 19 11 20 30 -> 19 5 3 21 14 1 22 23 24 25 31 , 29 14 18 15 0 0 17 19 11 20 32 -> 19 5 3 21 14 1 22 23 24 25 33 , 20 14 18 15 0 0 17 19 11 20 14 -> 34 5 3 21 14 1 22 23 24 25 2 , 20 14 18 15 0 0 17 19 11 20 26 -> 34 5 3 21 14 1 22 23 24 25 22 , 20 14 18 15 0 0 17 19 11 20 24 -> 34 5 3 21 14 1 22 23 24 25 27 , 20 14 18 15 0 0 17 19 11 20 19 -> 34 5 3 21 14 1 22 23 24 25 28 , 20 14 18 15 0 0 17 19 11 20 29 -> 34 5 3 21 14 1 22 23 24 25 23 , 20 14 18 15 0 0 17 19 11 20 30 -> 34 5 3 21 14 1 22 23 24 25 31 , 20 14 18 15 0 0 17 19 11 20 32 -> 34 5 3 21 14 1 22 23 24 25 33 , 35 14 18 15 0 0 17 19 11 20 14 -> 36 5 3 21 14 1 22 23 24 25 2 , 35 14 18 15 0 0 17 19 11 20 26 -> 36 5 3 21 14 1 22 23 24 25 22 , 35 14 18 15 0 0 17 19 11 20 24 -> 36 5 3 21 14 1 22 23 24 25 27 , 35 14 18 15 0 0 17 19 11 20 19 -> 36 5 3 21 14 1 22 23 24 25 28 , 35 14 18 15 0 0 17 19 11 20 29 -> 36 5 3 21 14 1 22 23 24 25 23 , 35 14 18 15 0 0 17 19 11 20 30 -> 36 5 3 21 14 1 22 23 24 25 31 , 35 14 18 15 0 0 17 19 11 20 32 -> 36 5 3 21 14 1 22 23 24 25 33 , 0 0 17 19 9 13 1 27 37 20 14 -> 17 29 29 24 21 19 8 23 19 9 13 , 0 0 17 19 9 13 1 27 37 20 26 -> 17 29 29 24 21 19 8 23 19 9 25 , 0 0 17 19 9 13 1 27 37 20 24 -> 17 29 29 24 21 19 8 23 19 9 38 , 0 0 17 19 9 13 1 27 37 20 19 -> 17 29 29 24 21 19 8 23 19 9 4 , 0 0 17 19 9 13 1 27 37 20 29 -> 17 29 29 24 21 19 8 23 19 9 21 , 0 0 17 19 9 13 1 27 37 20 30 -> 17 29 29 24 21 19 8 23 19 9 37 , 0 0 17 19 9 13 1 27 37 20 32 -> 17 29 29 24 21 19 8 23 19 9 39 , 2 0 17 19 9 13 1 27 37 20 14 -> 23 29 29 24 21 19 8 23 19 9 13 , 2 0 17 19 9 13 1 27 37 20 26 -> 23 29 29 24 21 19 8 23 19 9 25 , 2 0 17 19 9 13 1 27 37 20 24 -> 23 29 29 24 21 19 8 23 19 9 38 , 2 0 17 19 9 13 1 27 37 20 19 -> 23 29 29 24 21 19 8 23 19 9 4 , 2 0 17 19 9 13 1 27 37 20 29 -> 23 29 29 24 21 19 8 23 19 9 21 , 2 0 17 19 9 13 1 27 37 20 30 -> 23 29 29 24 21 19 8 23 19 9 37 , 2 0 17 19 9 13 1 27 37 20 32 -> 23 29 29 24 21 19 8 23 19 9 39 , 13 0 17 19 9 13 1 27 37 20 14 -> 21 29 29 24 21 19 8 23 19 9 13 , 13 0 17 19 9 13 1 27 37 20 26 -> 21 29 29 24 21 19 8 23 19 9 25 , 13 0 17 19 9 13 1 27 37 20 24 -> 21 29 29 24 21 19 8 23 19 9 38 , 13 0 17 19 9 13 1 27 37 20 19 -> 21 29 29 24 21 19 8 23 19 9 4 , 13 0 17 19 9 13 1 27 37 20 29 -> 21 29 29 24 21 19 8 23 19 9 21 , 13 0 17 19 9 13 1 27 37 20 30 -> 21 29 29 24 21 19 8 23 19 9 37 , 13 0 17 19 9 13 1 27 37 20 32 -> 21 29 29 24 21 19 8 23 19 9 39 , 5 0 17 19 9 13 1 27 37 20 14 -> 10 29 29 24 21 19 8 23 19 9 13 , 5 0 17 19 9 13 1 27 37 20 26 -> 10 29 29 24 21 19 8 23 19 9 25 , 5 0 17 19 9 13 1 27 37 20 24 -> 10 29 29 24 21 19 8 23 19 9 38 , 5 0 17 19 9 13 1 27 37 20 19 -> 10 29 29 24 21 19 8 23 19 9 4 , 5 0 17 19 9 13 1 27 37 20 29 -> 10 29 29 24 21 19 8 23 19 9 21 , 5 0 17 19 9 13 1 27 37 20 30 -> 10 29 29 24 21 19 8 23 19 9 37 , 5 0 17 19 9 13 1 27 37 20 32 -> 10 29 29 24 21 19 8 23 19 9 39 , 14 0 17 19 9 13 1 27 37 20 14 -> 29 29 29 24 21 19 8 23 19 9 13 , 14 0 17 19 9 13 1 27 37 20 26 -> 29 29 29 24 21 19 8 23 19 9 25 , 14 0 17 19 9 13 1 27 37 20 24 -> 29 29 29 24 21 19 8 23 19 9 38 , 14 0 17 19 9 13 1 27 37 20 19 -> 29 29 29 24 21 19 8 23 19 9 4 , 14 0 17 19 9 13 1 27 37 20 29 -> 29 29 29 24 21 19 8 23 19 9 21 , 14 0 17 19 9 13 1 27 37 20 30 -> 29 29 29 24 21 19 8 23 19 9 37 , 14 0 17 19 9 13 1 27 37 20 32 -> 29 29 29 24 21 19 8 23 19 9 39 , 15 0 17 19 9 13 1 27 37 20 14 -> 20 29 29 24 21 19 8 23 19 9 13 , 15 0 17 19 9 13 1 27 37 20 26 -> 20 29 29 24 21 19 8 23 19 9 25 , 15 0 17 19 9 13 1 27 37 20 24 -> 20 29 29 24 21 19 8 23 19 9 38 , 15 0 17 19 9 13 1 27 37 20 19 -> 20 29 29 24 21 19 8 23 19 9 4 , 15 0 17 19 9 13 1 27 37 20 29 -> 20 29 29 24 21 19 8 23 19 9 21 , 15 0 17 19 9 13 1 27 37 20 30 -> 20 29 29 24 21 19 8 23 19 9 37 , 15 0 17 19 9 13 1 27 37 20 32 -> 20 29 29 24 21 19 8 23 19 9 39 , 16 0 17 19 9 13 1 27 37 20 14 -> 35 29 29 24 21 19 8 23 19 9 13 , 16 0 17 19 9 13 1 27 37 20 26 -> 35 29 29 24 21 19 8 23 19 9 25 , 16 0 17 19 9 13 1 27 37 20 24 -> 35 29 29 24 21 19 8 23 19 9 38 , 16 0 17 19 9 13 1 27 37 20 19 -> 35 29 29 24 21 19 8 23 19 9 4 , 16 0 17 19 9 13 1 27 37 20 29 -> 35 29 29 24 21 19 8 23 19 9 21 , 16 0 17 19 9 13 1 27 37 20 30 -> 35 29 29 24 21 19 8 23 19 9 37 , 16 0 17 19 9 13 1 27 37 20 32 -> 35 29 29 24 21 19 8 23 19 9 39 , 17 29 24 4 10 26 31 15 6 7 5 -> 1 22 22 2 6 9 25 2 0 17 14 , 17 29 24 4 10 26 31 15 6 7 8 -> 1 22 22 2 6 9 25 2 0 17 26 , 17 29 24 4 10 26 31 15 6 7 9 -> 1 22 22 2 6 9 25 2 0 17 24 , 17 29 24 4 10 26 31 15 6 7 7 -> 1 22 22 2 6 9 25 2 0 17 19 , 17 29 24 4 10 26 31 15 6 7 10 -> 1 22 22 2 6 9 25 2 0 17 29 , 17 29 24 4 10 26 31 15 6 7 11 -> 1 22 22 2 6 9 25 2 0 17 30 , 17 29 24 4 10 26 31 15 6 7 12 -> 1 22 22 2 6 9 25 2 0 17 32 , 23 29 24 4 10 26 31 15 6 7 5 -> 22 22 22 2 6 9 25 2 0 17 14 , 23 29 24 4 10 26 31 15 6 7 8 -> 22 22 22 2 6 9 25 2 0 17 26 , 23 29 24 4 10 26 31 15 6 7 9 -> 22 22 22 2 6 9 25 2 0 17 24 , 23 29 24 4 10 26 31 15 6 7 7 -> 22 22 22 2 6 9 25 2 0 17 19 , 23 29 24 4 10 26 31 15 6 7 10 -> 22 22 22 2 6 9 25 2 0 17 29 , 23 29 24 4 10 26 31 15 6 7 11 -> 22 22 22 2 6 9 25 2 0 17 30 , 23 29 24 4 10 26 31 15 6 7 12 -> 22 22 22 2 6 9 25 2 0 17 32 , 21 29 24 4 10 26 31 15 6 7 5 -> 25 22 22 2 6 9 25 2 0 17 14 , 21 29 24 4 10 26 31 15 6 7 8 -> 25 22 22 2 6 9 25 2 0 17 26 , 21 29 24 4 10 26 31 15 6 7 9 -> 25 22 22 2 6 9 25 2 0 17 24 , 21 29 24 4 10 26 31 15 6 7 7 -> 25 22 22 2 6 9 25 2 0 17 19 , 21 29 24 4 10 26 31 15 6 7 10 -> 25 22 22 2 6 9 25 2 0 17 29 , 21 29 24 4 10 26 31 15 6 7 11 -> 25 22 22 2 6 9 25 2 0 17 30 , 21 29 24 4 10 26 31 15 6 7 12 -> 25 22 22 2 6 9 25 2 0 17 32 , 10 29 24 4 10 26 31 15 6 7 5 -> 8 22 22 2 6 9 25 2 0 17 14 , 10 29 24 4 10 26 31 15 6 7 8 -> 8 22 22 2 6 9 25 2 0 17 26 , 10 29 24 4 10 26 31 15 6 7 9 -> 8 22 22 2 6 9 25 2 0 17 24 , 10 29 24 4 10 26 31 15 6 7 7 -> 8 22 22 2 6 9 25 2 0 17 19 , 10 29 24 4 10 26 31 15 6 7 10 -> 8 22 22 2 6 9 25 2 0 17 29 , 10 29 24 4 10 26 31 15 6 7 11 -> 8 22 22 2 6 9 25 2 0 17 30 , 10 29 24 4 10 26 31 15 6 7 12 -> 8 22 22 2 6 9 25 2 0 17 32 , 29 29 24 4 10 26 31 15 6 7 5 -> 26 22 22 2 6 9 25 2 0 17 14 , 29 29 24 4 10 26 31 15 6 7 8 -> 26 22 22 2 6 9 25 2 0 17 26 , 29 29 24 4 10 26 31 15 6 7 9 -> 26 22 22 2 6 9 25 2 0 17 24 , 29 29 24 4 10 26 31 15 6 7 7 -> 26 22 22 2 6 9 25 2 0 17 19 , 29 29 24 4 10 26 31 15 6 7 10 -> 26 22 22 2 6 9 25 2 0 17 29 , 29 29 24 4 10 26 31 15 6 7 11 -> 26 22 22 2 6 9 25 2 0 17 30 , 29 29 24 4 10 26 31 15 6 7 12 -> 26 22 22 2 6 9 25 2 0 17 32 , 20 29 24 4 10 26 31 15 6 7 5 -> 40 22 22 2 6 9 25 2 0 17 14 , 20 29 24 4 10 26 31 15 6 7 8 -> 40 22 22 2 6 9 25 2 0 17 26 , 20 29 24 4 10 26 31 15 6 7 9 -> 40 22 22 2 6 9 25 2 0 17 24 , 20 29 24 4 10 26 31 15 6 7 7 -> 40 22 22 2 6 9 25 2 0 17 19 , 20 29 24 4 10 26 31 15 6 7 10 -> 40 22 22 2 6 9 25 2 0 17 29 , 20 29 24 4 10 26 31 15 6 7 11 -> 40 22 22 2 6 9 25 2 0 17 30 , 20 29 24 4 10 26 31 15 6 7 12 -> 40 22 22 2 6 9 25 2 0 17 32 , 35 29 24 4 10 26 31 15 6 7 5 -> 41 22 22 2 6 9 25 2 0 17 14 , 35 29 24 4 10 26 31 15 6 7 8 -> 41 22 22 2 6 9 25 2 0 17 26 , 35 29 24 4 10 26 31 15 6 7 9 -> 41 22 22 2 6 9 25 2 0 17 24 , 35 29 24 4 10 26 31 15 6 7 7 -> 41 22 22 2 6 9 25 2 0 17 19 , 35 29 24 4 10 26 31 15 6 7 10 -> 41 22 22 2 6 9 25 2 0 17 29 , 35 29 24 4 10 26 31 15 6 7 11 -> 41 22 22 2 6 9 25 2 0 17 30 , 35 29 24 4 10 26 31 15 6 7 12 -> 41 22 22 2 6 9 25 2 0 17 32 , 17 24 37 40 27 13 1 22 27 37 15 -> 17 24 38 38 37 15 18 42 25 31 15 , 17 24 37 40 27 13 1 22 27 37 40 -> 17 24 38 38 37 15 18 42 25 31 40 , 17 24 37 40 27 13 1 22 27 37 42 -> 17 24 38 38 37 15 18 42 25 31 42 , 17 24 37 40 27 13 1 22 27 37 34 -> 17 24 38 38 37 15 18 42 25 31 34 , 17 24 37 40 27 13 1 22 27 37 20 -> 17 24 38 38 37 15 18 42 25 31 20 , 17 24 37 40 27 13 1 22 27 37 43 -> 17 24 38 38 37 15 18 42 25 31 43 , 17 24 37 40 27 13 1 22 27 37 44 -> 17 24 38 38 37 15 18 42 25 31 44 , 23 24 37 40 27 13 1 22 27 37 15 -> 23 24 38 38 37 15 18 42 25 31 15 , 23 24 37 40 27 13 1 22 27 37 40 -> 23 24 38 38 37 15 18 42 25 31 40 , 23 24 37 40 27 13 1 22 27 37 42 -> 23 24 38 38 37 15 18 42 25 31 42 , 23 24 37 40 27 13 1 22 27 37 34 -> 23 24 38 38 37 15 18 42 25 31 34 , 23 24 37 40 27 13 1 22 27 37 20 -> 23 24 38 38 37 15 18 42 25 31 20 , 23 24 37 40 27 13 1 22 27 37 43 -> 23 24 38 38 37 15 18 42 25 31 43 , 23 24 37 40 27 13 1 22 27 37 44 -> 23 24 38 38 37 15 18 42 25 31 44 , 21 24 37 40 27 13 1 22 27 37 15 -> 21 24 38 38 37 15 18 42 25 31 15 , 21 24 37 40 27 13 1 22 27 37 40 -> 21 24 38 38 37 15 18 42 25 31 40 , 21 24 37 40 27 13 1 22 27 37 42 -> 21 24 38 38 37 15 18 42 25 31 42 , 21 24 37 40 27 13 1 22 27 37 34 -> 21 24 38 38 37 15 18 42 25 31 34 , 21 24 37 40 27 13 1 22 27 37 20 -> 21 24 38 38 37 15 18 42 25 31 20 , 21 24 37 40 27 13 1 22 27 37 43 -> 21 24 38 38 37 15 18 42 25 31 43 , 21 24 37 40 27 13 1 22 27 37 44 -> 21 24 38 38 37 15 18 42 25 31 44 , 10 24 37 40 27 13 1 22 27 37 15 -> 10 24 38 38 37 15 18 42 25 31 15 , 10 24 37 40 27 13 1 22 27 37 40 -> 10 24 38 38 37 15 18 42 25 31 40 , 10 24 37 40 27 13 1 22 27 37 42 -> 10 24 38 38 37 15 18 42 25 31 42 , 10 24 37 40 27 13 1 22 27 37 34 -> 10 24 38 38 37 15 18 42 25 31 34 , 10 24 37 40 27 13 1 22 27 37 20 -> 10 24 38 38 37 15 18 42 25 31 20 , 10 24 37 40 27 13 1 22 27 37 43 -> 10 24 38 38 37 15 18 42 25 31 43 , 10 24 37 40 27 13 1 22 27 37 44 -> 10 24 38 38 37 15 18 42 25 31 44 , 29 24 37 40 27 13 1 22 27 37 15 -> 29 24 38 38 37 15 18 42 25 31 15 , 29 24 37 40 27 13 1 22 27 37 40 -> 29 24 38 38 37 15 18 42 25 31 40 , 29 24 37 40 27 13 1 22 27 37 42 -> 29 24 38 38 37 15 18 42 25 31 42 , 29 24 37 40 27 13 1 22 27 37 34 -> 29 24 38 38 37 15 18 42 25 31 34 , 29 24 37 40 27 13 1 22 27 37 20 -> 29 24 38 38 37 15 18 42 25 31 20 , 29 24 37 40 27 13 1 22 27 37 43 -> 29 24 38 38 37 15 18 42 25 31 43 , 29 24 37 40 27 13 1 22 27 37 44 -> 29 24 38 38 37 15 18 42 25 31 44 , 20 24 37 40 27 13 1 22 27 37 15 -> 20 24 38 38 37 15 18 42 25 31 15 , 20 24 37 40 27 13 1 22 27 37 40 -> 20 24 38 38 37 15 18 42 25 31 40 , 20 24 37 40 27 13 1 22 27 37 42 -> 20 24 38 38 37 15 18 42 25 31 42 , 20 24 37 40 27 13 1 22 27 37 34 -> 20 24 38 38 37 15 18 42 25 31 34 , 20 24 37 40 27 13 1 22 27 37 20 -> 20 24 38 38 37 15 18 42 25 31 20 , 20 24 37 40 27 13 1 22 27 37 43 -> 20 24 38 38 37 15 18 42 25 31 43 , 20 24 37 40 27 13 1 22 27 37 44 -> 20 24 38 38 37 15 18 42 25 31 44 , 35 24 37 40 27 13 1 22 27 37 15 -> 35 24 38 38 37 15 18 42 25 31 15 , 35 24 37 40 27 13 1 22 27 37 40 -> 35 24 38 38 37 15 18 42 25 31 40 , 35 24 37 40 27 13 1 22 27 37 42 -> 35 24 38 38 37 15 18 42 25 31 42 , 35 24 37 40 27 13 1 22 27 37 34 -> 35 24 38 38 37 15 18 42 25 31 34 , 35 24 37 40 27 13 1 22 27 37 20 -> 35 24 38 38 37 15 18 42 25 31 20 , 35 24 37 40 27 13 1 22 27 37 43 -> 35 24 38 38 37 15 18 42 25 31 43 , 35 24 37 40 27 13 1 22 27 37 44 -> 35 24 38 38 37 15 18 42 25 31 44 , 3 38 13 18 20 30 43 34 5 0 17 14 -> 17 30 40 28 9 38 38 37 43 40 23 14 , 3 38 13 18 20 30 43 34 5 0 17 26 -> 17 30 40 28 9 38 38 37 43 40 23 26 , 3 38 13 18 20 30 43 34 5 0 17 24 -> 17 30 40 28 9 38 38 37 43 40 23 24 , 3 38 13 18 20 30 43 34 5 0 17 19 -> 17 30 40 28 9 38 38 37 43 40 23 19 , 3 38 13 18 20 30 43 34 5 0 17 29 -> 17 30 40 28 9 38 38 37 43 40 23 29 , 3 38 13 18 20 30 43 34 5 0 17 30 -> 17 30 40 28 9 38 38 37 43 40 23 30 , 3 38 13 18 20 30 43 34 5 0 17 32 -> 17 30 40 28 9 38 38 37 43 40 23 32 , 27 38 13 18 20 30 43 34 5 0 17 14 -> 23 30 40 28 9 38 38 37 43 40 23 14 , 27 38 13 18 20 30 43 34 5 0 17 26 -> 23 30 40 28 9 38 38 37 43 40 23 26 , 27 38 13 18 20 30 43 34 5 0 17 24 -> 23 30 40 28 9 38 38 37 43 40 23 24 , 27 38 13 18 20 30 43 34 5 0 17 19 -> 23 30 40 28 9 38 38 37 43 40 23 19 , 27 38 13 18 20 30 43 34 5 0 17 29 -> 23 30 40 28 9 38 38 37 43 40 23 29 , 27 38 13 18 20 30 43 34 5 0 17 30 -> 23 30 40 28 9 38 38 37 43 40 23 30 , 27 38 13 18 20 30 43 34 5 0 17 32 -> 23 30 40 28 9 38 38 37 43 40 23 32 , 38 38 13 18 20 30 43 34 5 0 17 14 -> 21 30 40 28 9 38 38 37 43 40 23 14 , 38 38 13 18 20 30 43 34 5 0 17 26 -> 21 30 40 28 9 38 38 37 43 40 23 26 , 38 38 13 18 20 30 43 34 5 0 17 24 -> 21 30 40 28 9 38 38 37 43 40 23 24 , 38 38 13 18 20 30 43 34 5 0 17 19 -> 21 30 40 28 9 38 38 37 43 40 23 19 , 38 38 13 18 20 30 43 34 5 0 17 29 -> 21 30 40 28 9 38 38 37 43 40 23 29 , 38 38 13 18 20 30 43 34 5 0 17 30 -> 21 30 40 28 9 38 38 37 43 40 23 30 , 38 38 13 18 20 30 43 34 5 0 17 32 -> 21 30 40 28 9 38 38 37 43 40 23 32 , 9 38 13 18 20 30 43 34 5 0 17 14 -> 10 30 40 28 9 38 38 37 43 40 23 14 , 9 38 13 18 20 30 43 34 5 0 17 26 -> 10 30 40 28 9 38 38 37 43 40 23 26 , 9 38 13 18 20 30 43 34 5 0 17 24 -> 10 30 40 28 9 38 38 37 43 40 23 24 , 9 38 13 18 20 30 43 34 5 0 17 19 -> 10 30 40 28 9 38 38 37 43 40 23 19 , 9 38 13 18 20 30 43 34 5 0 17 29 -> 10 30 40 28 9 38 38 37 43 40 23 29 , 9 38 13 18 20 30 43 34 5 0 17 30 -> 10 30 40 28 9 38 38 37 43 40 23 30 , 9 38 13 18 20 30 43 34 5 0 17 32 -> 10 30 40 28 9 38 38 37 43 40 23 32 , 24 38 13 18 20 30 43 34 5 0 17 14 -> 29 30 40 28 9 38 38 37 43 40 23 14 , 24 38 13 18 20 30 43 34 5 0 17 26 -> 29 30 40 28 9 38 38 37 43 40 23 26 , 24 38 13 18 20 30 43 34 5 0 17 24 -> 29 30 40 28 9 38 38 37 43 40 23 24 , 24 38 13 18 20 30 43 34 5 0 17 19 -> 29 30 40 28 9 38 38 37 43 40 23 19 , 24 38 13 18 20 30 43 34 5 0 17 29 -> 29 30 40 28 9 38 38 37 43 40 23 29 , 24 38 13 18 20 30 43 34 5 0 17 30 -> 29 30 40 28 9 38 38 37 43 40 23 30 , 24 38 13 18 20 30 43 34 5 0 17 32 -> 29 30 40 28 9 38 38 37 43 40 23 32 , 42 38 13 18 20 30 43 34 5 0 17 14 -> 20 30 40 28 9 38 38 37 43 40 23 14 , 42 38 13 18 20 30 43 34 5 0 17 26 -> 20 30 40 28 9 38 38 37 43 40 23 26 , 42 38 13 18 20 30 43 34 5 0 17 24 -> 20 30 40 28 9 38 38 37 43 40 23 24 , 42 38 13 18 20 30 43 34 5 0 17 19 -> 20 30 40 28 9 38 38 37 43 40 23 19 , 42 38 13 18 20 30 43 34 5 0 17 29 -> 20 30 40 28 9 38 38 37 43 40 23 29 , 42 38 13 18 20 30 43 34 5 0 17 30 -> 20 30 40 28 9 38 38 37 43 40 23 30 , 42 38 13 18 20 30 43 34 5 0 17 32 -> 20 30 40 28 9 38 38 37 43 40 23 32 , 0 18 43 20 14 18 42 38 4 5 0 1 2 -> 17 26 2 17 30 20 26 31 34 9 38 25 2 , 0 18 43 20 14 18 42 38 4 5 0 1 22 -> 17 26 2 17 30 20 26 31 34 9 38 25 22 , 0 18 43 20 14 18 42 38 4 5 0 1 27 -> 17 26 2 17 30 20 26 31 34 9 38 25 27 , 0 18 43 20 14 18 42 38 4 5 0 1 28 -> 17 26 2 17 30 20 26 31 34 9 38 25 28 , 0 18 43 20 14 18 42 38 4 5 0 1 23 -> 17 26 2 17 30 20 26 31 34 9 38 25 23 , 0 18 43 20 14 18 42 38 4 5 0 1 31 -> 17 26 2 17 30 20 26 31 34 9 38 25 31 , 0 18 43 20 14 18 42 38 4 5 0 1 33 -> 17 26 2 17 30 20 26 31 34 9 38 25 33 , 2 18 43 20 14 18 42 38 4 5 0 1 2 -> 23 26 2 17 30 20 26 31 34 9 38 25 2 , 2 18 43 20 14 18 42 38 4 5 0 1 22 -> 23 26 2 17 30 20 26 31 34 9 38 25 22 , 2 18 43 20 14 18 42 38 4 5 0 1 27 -> 23 26 2 17 30 20 26 31 34 9 38 25 27 , 2 18 43 20 14 18 42 38 4 5 0 1 28 -> 23 26 2 17 30 20 26 31 34 9 38 25 28 , 2 18 43 20 14 18 42 38 4 5 0 1 23 -> 23 26 2 17 30 20 26 31 34 9 38 25 23 , 2 18 43 20 14 18 42 38 4 5 0 1 31 -> 23 26 2 17 30 20 26 31 34 9 38 25 31 , 2 18 43 20 14 18 42 38 4 5 0 1 33 -> 23 26 2 17 30 20 26 31 34 9 38 25 33 , 13 18 43 20 14 18 42 38 4 5 0 1 2 -> 21 26 2 17 30 20 26 31 34 9 38 25 2 , 13 18 43 20 14 18 42 38 4 5 0 1 22 -> 21 26 2 17 30 20 26 31 34 9 38 25 22 , 13 18 43 20 14 18 42 38 4 5 0 1 27 -> 21 26 2 17 30 20 26 31 34 9 38 25 27 , 13 18 43 20 14 18 42 38 4 5 0 1 28 -> 21 26 2 17 30 20 26 31 34 9 38 25 28 , 13 18 43 20 14 18 42 38 4 5 0 1 23 -> 21 26 2 17 30 20 26 31 34 9 38 25 23 , 13 18 43 20 14 18 42 38 4 5 0 1 31 -> 21 26 2 17 30 20 26 31 34 9 38 25 31 , 13 18 43 20 14 18 42 38 4 5 0 1 33 -> 21 26 2 17 30 20 26 31 34 9 38 25 33 , 5 18 43 20 14 18 42 38 4 5 0 1 2 -> 10 26 2 17 30 20 26 31 34 9 38 25 2 , 5 18 43 20 14 18 42 38 4 5 0 1 22 -> 10 26 2 17 30 20 26 31 34 9 38 25 22 , 5 18 43 20 14 18 42 38 4 5 0 1 27 -> 10 26 2 17 30 20 26 31 34 9 38 25 27 , 5 18 43 20 14 18 42 38 4 5 0 1 28 -> 10 26 2 17 30 20 26 31 34 9 38 25 28 , 5 18 43 20 14 18 42 38 4 5 0 1 23 -> 10 26 2 17 30 20 26 31 34 9 38 25 23 , 5 18 43 20 14 18 42 38 4 5 0 1 31 -> 10 26 2 17 30 20 26 31 34 9 38 25 31 , 5 18 43 20 14 18 42 38 4 5 0 1 33 -> 10 26 2 17 30 20 26 31 34 9 38 25 33 , 14 18 43 20 14 18 42 38 4 5 0 1 2 -> 29 26 2 17 30 20 26 31 34 9 38 25 2 , 14 18 43 20 14 18 42 38 4 5 0 1 22 -> 29 26 2 17 30 20 26 31 34 9 38 25 22 , 14 18 43 20 14 18 42 38 4 5 0 1 27 -> 29 26 2 17 30 20 26 31 34 9 38 25 27 , 14 18 43 20 14 18 42 38 4 5 0 1 28 -> 29 26 2 17 30 20 26 31 34 9 38 25 28 , 14 18 43 20 14 18 42 38 4 5 0 1 23 -> 29 26 2 17 30 20 26 31 34 9 38 25 23 , 14 18 43 20 14 18 42 38 4 5 0 1 31 -> 29 26 2 17 30 20 26 31 34 9 38 25 31 , 14 18 43 20 14 18 42 38 4 5 0 1 33 -> 29 26 2 17 30 20 26 31 34 9 38 25 33 , 15 18 43 20 14 18 42 38 4 5 0 1 2 -> 20 26 2 17 30 20 26 31 34 9 38 25 2 , 15 18 43 20 14 18 42 38 4 5 0 1 22 -> 20 26 2 17 30 20 26 31 34 9 38 25 22 , 15 18 43 20 14 18 42 38 4 5 0 1 27 -> 20 26 2 17 30 20 26 31 34 9 38 25 27 , 15 18 43 20 14 18 42 38 4 5 0 1 28 -> 20 26 2 17 30 20 26 31 34 9 38 25 28 , 15 18 43 20 14 18 42 38 4 5 0 1 23 -> 20 26 2 17 30 20 26 31 34 9 38 25 23 , 15 18 43 20 14 18 42 38 4 5 0 1 31 -> 20 26 2 17 30 20 26 31 34 9 38 25 31 , 15 18 43 20 14 18 42 38 4 5 0 1 33 -> 20 26 2 17 30 20 26 31 34 9 38 25 33 , 16 18 43 20 14 18 42 38 4 5 0 1 2 -> 35 26 2 17 30 20 26 31 34 9 38 25 2 , 16 18 43 20 14 18 42 38 4 5 0 1 22 -> 35 26 2 17 30 20 26 31 34 9 38 25 22 , 16 18 43 20 14 18 42 38 4 5 0 1 27 -> 35 26 2 17 30 20 26 31 34 9 38 25 27 , 16 18 43 20 14 18 42 38 4 5 0 1 28 -> 35 26 2 17 30 20 26 31 34 9 38 25 28 , 16 18 43 20 14 18 42 38 4 5 0 1 23 -> 35 26 2 17 30 20 26 31 34 9 38 25 23 , 16 18 43 20 14 18 42 38 4 5 0 1 31 -> 35 26 2 17 30 20 26 31 34 9 38 25 31 , 16 18 43 20 14 18 42 38 4 5 0 1 33 -> 35 26 2 17 30 20 26 31 34 9 38 25 33 , 1 2 18 43 40 28 10 29 14 18 34 5 18 40 2 -> 0 6 11 15 3 37 42 37 43 43 15 3 37 34 5 , 1 2 18 43 40 28 10 29 14 18 34 5 18 40 22 -> 0 6 11 15 3 37 42 37 43 43 15 3 37 34 8 , 1 2 18 43 40 28 10 29 14 18 34 5 18 40 27 -> 0 6 11 15 3 37 42 37 43 43 15 3 37 34 9 , 1 2 18 43 40 28 10 29 14 18 34 5 18 40 28 -> 0 6 11 15 3 37 42 37 43 43 15 3 37 34 7 , 1 2 18 43 40 28 10 29 14 18 34 5 18 40 23 -> 0 6 11 15 3 37 42 37 43 43 15 3 37 34 10 , 1 2 18 43 40 28 10 29 14 18 34 5 18 40 31 -> 0 6 11 15 3 37 42 37 43 43 15 3 37 34 11 , 1 2 18 43 40 28 10 29 14 18 34 5 18 40 33 -> 0 6 11 15 3 37 42 37 43 43 15 3 37 34 12 , 22 2 18 43 40 28 10 29 14 18 34 5 18 40 2 -> 2 6 11 15 3 37 42 37 43 43 15 3 37 34 5 , 22 2 18 43 40 28 10 29 14 18 34 5 18 40 22 -> 2 6 11 15 3 37 42 37 43 43 15 3 37 34 8 , 22 2 18 43 40 28 10 29 14 18 34 5 18 40 27 -> 2 6 11 15 3 37 42 37 43 43 15 3 37 34 9 , 22 2 18 43 40 28 10 29 14 18 34 5 18 40 28 -> 2 6 11 15 3 37 42 37 43 43 15 3 37 34 7 , 22 2 18 43 40 28 10 29 14 18 34 5 18 40 23 -> 2 6 11 15 3 37 42 37 43 43 15 3 37 34 10 , 22 2 18 43 40 28 10 29 14 18 34 5 18 40 31 -> 2 6 11 15 3 37 42 37 43 43 15 3 37 34 11 , 22 2 18 43 40 28 10 29 14 18 34 5 18 40 33 -> 2 6 11 15 3 37 42 37 43 43 15 3 37 34 12 , 25 2 18 43 40 28 10 29 14 18 34 5 18 40 2 -> 13 6 11 15 3 37 42 37 43 43 15 3 37 34 5 , 25 2 18 43 40 28 10 29 14 18 34 5 18 40 22 -> 13 6 11 15 3 37 42 37 43 43 15 3 37 34 8 , 25 2 18 43 40 28 10 29 14 18 34 5 18 40 27 -> 13 6 11 15 3 37 42 37 43 43 15 3 37 34 9 , 25 2 18 43 40 28 10 29 14 18 34 5 18 40 28 -> 13 6 11 15 3 37 42 37 43 43 15 3 37 34 7 , 25 2 18 43 40 28 10 29 14 18 34 5 18 40 23 -> 13 6 11 15 3 37 42 37 43 43 15 3 37 34 10 , 25 2 18 43 40 28 10 29 14 18 34 5 18 40 31 -> 13 6 11 15 3 37 42 37 43 43 15 3 37 34 11 , 25 2 18 43 40 28 10 29 14 18 34 5 18 40 33 -> 13 6 11 15 3 37 42 37 43 43 15 3 37 34 12 , 8 2 18 43 40 28 10 29 14 18 34 5 18 40 2 -> 5 6 11 15 3 37 42 37 43 43 15 3 37 34 5 , 8 2 18 43 40 28 10 29 14 18 34 5 18 40 22 -> 5 6 11 15 3 37 42 37 43 43 15 3 37 34 8 , 8 2 18 43 40 28 10 29 14 18 34 5 18 40 27 -> 5 6 11 15 3 37 42 37 43 43 15 3 37 34 9 , 8 2 18 43 40 28 10 29 14 18 34 5 18 40 28 -> 5 6 11 15 3 37 42 37 43 43 15 3 37 34 7 , 8 2 18 43 40 28 10 29 14 18 34 5 18 40 23 -> 5 6 11 15 3 37 42 37 43 43 15 3 37 34 10 , 8 2 18 43 40 28 10 29 14 18 34 5 18 40 31 -> 5 6 11 15 3 37 42 37 43 43 15 3 37 34 11 , 8 2 18 43 40 28 10 29 14 18 34 5 18 40 33 -> 5 6 11 15 3 37 42 37 43 43 15 3 37 34 12 , 26 2 18 43 40 28 10 29 14 18 34 5 18 40 2 -> 14 6 11 15 3 37 42 37 43 43 15 3 37 34 5 , 26 2 18 43 40 28 10 29 14 18 34 5 18 40 22 -> 14 6 11 15 3 37 42 37 43 43 15 3 37 34 8 , 26 2 18 43 40 28 10 29 14 18 34 5 18 40 27 -> 14 6 11 15 3 37 42 37 43 43 15 3 37 34 9 , 26 2 18 43 40 28 10 29 14 18 34 5 18 40 28 -> 14 6 11 15 3 37 42 37 43 43 15 3 37 34 7 , 26 2 18 43 40 28 10 29 14 18 34 5 18 40 23 -> 14 6 11 15 3 37 42 37 43 43 15 3 37 34 10 , 26 2 18 43 40 28 10 29 14 18 34 5 18 40 31 -> 14 6 11 15 3 37 42 37 43 43 15 3 37 34 11 , 26 2 18 43 40 28 10 29 14 18 34 5 18 40 33 -> 14 6 11 15 3 37 42 37 43 43 15 3 37 34 12 , 40 2 18 43 40 28 10 29 14 18 34 5 18 40 2 -> 15 6 11 15 3 37 42 37 43 43 15 3 37 34 5 , 40 2 18 43 40 28 10 29 14 18 34 5 18 40 22 -> 15 6 11 15 3 37 42 37 43 43 15 3 37 34 8 , 40 2 18 43 40 28 10 29 14 18 34 5 18 40 27 -> 15 6 11 15 3 37 42 37 43 43 15 3 37 34 9 , 40 2 18 43 40 28 10 29 14 18 34 5 18 40 28 -> 15 6 11 15 3 37 42 37 43 43 15 3 37 34 7 , 40 2 18 43 40 28 10 29 14 18 34 5 18 40 23 -> 15 6 11 15 3 37 42 37 43 43 15 3 37 34 10 , 40 2 18 43 40 28 10 29 14 18 34 5 18 40 31 -> 15 6 11 15 3 37 42 37 43 43 15 3 37 34 11 , 40 2 18 43 40 28 10 29 14 18 34 5 18 40 33 -> 15 6 11 15 3 37 42 37 43 43 15 3 37 34 12 , 41 2 18 43 40 28 10 29 14 18 34 5 18 40 2 -> 16 6 11 15 3 37 42 37 43 43 15 3 37 34 5 , 41 2 18 43 40 28 10 29 14 18 34 5 18 40 22 -> 16 6 11 15 3 37 42 37 43 43 15 3 37 34 8 , 41 2 18 43 40 28 10 29 14 18 34 5 18 40 27 -> 16 6 11 15 3 37 42 37 43 43 15 3 37 34 9 , 41 2 18 43 40 28 10 29 14 18 34 5 18 40 28 -> 16 6 11 15 3 37 42 37 43 43 15 3 37 34 7 , 41 2 18 43 40 28 10 29 14 18 34 5 18 40 23 -> 16 6 11 15 3 37 42 37 43 43 15 3 37 34 10 , 41 2 18 43 40 28 10 29 14 18 34 5 18 40 31 -> 16 6 11 15 3 37 42 37 43 43 15 3 37 34 11 , 41 2 18 43 40 28 10 29 14 18 34 5 18 40 33 -> 16 6 11 15 3 37 42 37 43 43 15 3 37 34 12 , 18 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 0 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 18 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 1 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 18 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 3 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 18 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 6 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 18 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 17 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 18 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 18 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 18 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 45 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 45 , 31 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 0 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 31 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 1 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 31 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 3 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 31 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 6 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 31 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 17 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 31 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 18 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 31 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 45 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 45 , 37 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 0 -> 37 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 37 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 1 -> 37 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 37 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 3 -> 37 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 37 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 6 -> 37 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 37 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 17 -> 37 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 37 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 18 -> 37 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 37 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 45 -> 37 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 45 , 11 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 0 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 11 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 1 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 11 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 3 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 11 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 6 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 11 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 17 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 11 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 18 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 11 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 45 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 45 , 30 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 0 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 30 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 1 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 30 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 3 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 30 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 6 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 30 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 17 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 30 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 18 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 30 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 45 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 45 , 43 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 0 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 43 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 1 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 43 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 3 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 43 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 6 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 43 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 17 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 43 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 18 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 43 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 45 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 45 , 46 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 0 -> 46 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 46 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 1 -> 46 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 46 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 3 -> 46 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 46 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 6 -> 46 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 46 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 17 -> 46 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 46 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 18 -> 46 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 46 20 30 43 43 20 24 25 2 3 4 9 37 34 11 43 15 45 -> 46 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 45 , 17 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 15 -> 17 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 15 , 17 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 40 -> 17 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 40 , 17 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 42 -> 17 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 42 , 17 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 34 -> 17 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 34 , 17 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 20 -> 17 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 20 , 17 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 43 -> 17 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 43 , 17 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 44 -> 17 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 44 , 23 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 15 -> 23 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 15 , 23 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 40 -> 23 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 40 , 23 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 42 -> 23 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 42 , 23 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 34 -> 23 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 34 , 23 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 20 -> 23 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 20 , 23 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 43 -> 23 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 43 , 23 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 44 -> 23 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 44 , 21 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 15 -> 21 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 15 , 21 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 40 -> 21 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 40 , 21 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 42 -> 21 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 42 , 21 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 34 -> 21 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 34 , 21 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 20 -> 21 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 20 , 21 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 43 -> 21 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 43 , 21 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 44 -> 21 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 44 , 10 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 15 -> 10 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 15 , 10 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 40 -> 10 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 40 , 10 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 42 -> 10 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 42 , 10 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 34 -> 10 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 34 , 10 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 20 -> 10 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 20 , 10 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 43 -> 10 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 43 , 10 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 44 -> 10 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 44 , 29 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 15 -> 29 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 15 , 29 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 40 -> 29 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 40 , 29 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 42 -> 29 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 42 , 29 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 34 -> 29 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 34 , 29 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 20 -> 29 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 20 , 29 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 43 -> 29 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 43 , 29 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 44 -> 29 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 44 , 20 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 15 -> 20 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 15 , 20 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 40 -> 20 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 40 , 20 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 42 -> 20 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 42 , 20 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 34 -> 20 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 34 , 20 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 20 -> 20 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 20 , 20 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 43 -> 20 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 43 , 20 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 44 -> 20 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 44 , 35 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 15 -> 35 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 15 , 35 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 40 -> 35 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 40 , 35 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 42 -> 35 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 42 , 35 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 34 -> 35 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 34 , 35 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 20 -> 35 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 20 , 35 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 43 -> 35 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 43 , 35 14 3 37 40 28 9 38 4 5 1 27 4 7 11 20 30 44 -> 35 24 37 42 13 1 27 13 1 23 26 22 31 42 38 37 43 44 , 6 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 0 -> 6 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 5 , 6 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 1 -> 6 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 8 , 6 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 3 -> 6 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 9 , 6 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 6 -> 6 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 7 , 6 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 17 -> 6 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 10 , 6 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 18 -> 6 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 11 , 6 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 45 -> 6 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 12 , 28 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 0 -> 28 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 5 , 28 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 1 -> 28 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 8 , 28 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 3 -> 28 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 9 , 28 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 6 -> 28 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 7 , 28 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 17 -> 28 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 10 , 28 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 18 -> 28 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 11 , 28 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 45 -> 28 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 12 , 4 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 0 -> 4 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 5 , 4 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 1 -> 4 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 8 , 4 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 3 -> 4 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 9 , 4 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 6 -> 4 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 7 , 4 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 17 -> 4 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 10 , 4 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 18 -> 4 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 11 , 4 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 45 -> 4 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 12 , 7 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 0 -> 7 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 5 , 7 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 1 -> 7 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 8 , 7 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 3 -> 7 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 9 , 7 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 6 -> 7 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 7 , 7 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 17 -> 7 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 10 , 7 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 18 -> 7 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 11 , 7 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 45 -> 7 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 12 , 19 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 0 -> 19 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 5 , 19 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 1 -> 19 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 8 , 19 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 3 -> 19 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 9 , 19 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 6 -> 19 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 7 , 19 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 17 -> 19 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 10 , 19 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 18 -> 19 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 11 , 19 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 45 -> 19 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 12 , 34 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 0 -> 34 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 5 , 34 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 1 -> 34 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 8 , 34 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 3 -> 34 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 9 , 34 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 6 -> 34 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 7 , 34 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 17 -> 34 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 10 , 34 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 18 -> 34 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 11 , 34 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 45 -> 34 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 12 , 36 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 0 -> 36 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 5 , 36 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 1 -> 36 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 8 , 36 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 3 -> 36 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 9 , 36 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 6 -> 36 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 7 , 36 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 17 -> 36 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 10 , 36 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 18 -> 36 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 11 , 36 7 8 28 10 26 22 31 15 0 3 21 24 4 10 19 5 0 0 45 -> 36 8 22 2 17 29 24 38 21 19 11 40 2 18 43 40 22 27 4 12 , 1 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 0 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 5 , 1 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 1 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 8 , 1 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 3 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 9 , 1 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 6 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 7 , 1 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 17 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 10 , 1 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 18 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 11 , 1 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 45 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 12 , 22 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 0 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 5 , 22 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 1 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 8 , 22 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 3 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 9 , 22 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 6 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 7 , 22 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 17 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 10 , 22 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 18 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 11 , 22 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 45 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 12 , 25 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 0 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 5 , 25 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 1 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 8 , 25 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 3 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 9 , 25 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 6 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 7 , 25 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 17 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 10 , 25 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 18 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 11 , 25 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 45 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 12 , 8 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 0 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 5 , 8 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 1 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 8 , 8 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 3 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 9 , 8 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 6 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 7 , 8 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 17 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 10 , 8 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 18 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 11 , 8 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 45 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 12 , 26 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 0 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 5 , 26 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 1 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 8 , 26 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 3 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 9 , 26 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 6 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 7 , 26 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 17 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 10 , 26 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 18 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 11 , 26 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 45 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 12 , 40 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 0 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 5 , 40 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 1 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 8 , 40 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 3 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 9 , 40 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 6 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 7 , 40 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 17 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 10 , 40 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 18 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 11 , 40 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 45 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 12 , 41 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 0 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 5 , 41 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 1 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 8 , 41 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 3 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 9 , 41 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 6 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 7 , 41 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 17 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 10 , 41 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 18 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 11 , 41 28 11 15 1 23 14 17 24 25 2 0 3 37 20 26 28 10 29 14 45 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 42 37 43 15 0 6 12 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 1 | | 0 1 | \ / 2 is interpreted by / \ | 1 1 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 1 | | 0 1 | \ / 5 is interpreted by / \ | 1 1 | | 0 1 | \ / 6 is interpreted by / \ | 1 1 | | 0 1 | \ / 7 is interpreted by / \ | 1 1 | | 0 1 | \ / 8 is interpreted by / \ | 1 1 | | 0 1 | \ / 9 is interpreted by / \ | 1 1 | | 0 1 | \ / 10 is interpreted by / \ | 1 1 | | 0 1 | \ / 11 is interpreted by / \ | 1 1 | | 0 1 | \ / 12 is interpreted by / \ | 1 1 | | 0 1 | \ / 13 is interpreted by / \ | 1 1 | | 0 1 | \ / 14 is interpreted by / \ | 1 1 | | 0 1 | \ / 15 is interpreted by / \ | 1 1 | | 0 1 | \ / 16 is interpreted by / \ | 1 1 | | 0 1 | \ / 17 is interpreted by / \ | 1 1 | | 0 1 | \ / 18 is interpreted by / \ | 1 1 | | 0 1 | \ / 19 is interpreted by / \ | 1 1 | | 0 1 | \ / 20 is interpreted by / \ | 1 1 | | 0 1 | \ / 21 is interpreted by / \ | 1 1 | | 0 1 | \ / 22 is interpreted by / \ | 1 1 | | 0 1 | \ / 23 is interpreted by / \ | 1 1 | | 0 1 | \ / 24 is interpreted by / \ | 1 1 | | 0 1 | \ / 25 is interpreted by / \ | 1 1 | | 0 1 | \ / 26 is interpreted by / \ | 1 1 | | 0 1 | \ / 27 is interpreted by / \ | 1 1 | | 0 1 | \ / 28 is interpreted by / \ | 1 1 | | 0 1 | \ / 29 is interpreted by / \ | 1 1 | | 0 1 | \ / 30 is interpreted by / \ | 1 1 | | 0 1 | \ / 31 is interpreted by / \ | 1 1 | | 0 1 | \ / 32 is interpreted by / \ | 1 1 | | 0 1 | \ / 33 is interpreted by / \ | 1 1 | | 0 1 | \ / 34 is interpreted by / \ | 1 1 | | 0 1 | \ / 35 is interpreted by / \ | 1 1 | | 0 1 | \ / 36 is interpreted by / \ | 1 0 | | 0 1 | \ / 37 is interpreted by / \ | 1 1 | | 0 1 | \ / 38 is interpreted by / \ | 1 0 | | 0 1 | \ / 39 is interpreted by / \ | 1 0 | | 0 1 | \ / 40 is interpreted by / \ | 1 1 | | 0 1 | \ / 41 is interpreted by / \ | 1 1 | | 0 1 | \ / 42 is interpreted by / \ | 1 1 | | 0 1 | \ / 43 is interpreted by / \ | 1 1 | | 0 1 | \ / 44 is interpreted by / \ | 1 0 | | 0 1 | \ / 45 is interpreted by / \ | 1 1 | | 0 1 | \ / 46 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5, 6->6, 7->7, 8->8, 9->9, 10->10, 11->11, 12->12, 13->13, 14->14, 15->15, 16->16, 17->17, 18->18, 19->19, 20->20, 21->21, 22->22, 23->23, 24->24, 25->25, 26->26, 27->27, 28->28, 29->29, 30->30, 31->31, 32->32, 33->33, 34->34, 37->35, 35->36, 40->37, 41->38, 38->39, 43->40, 42->41, 45->42, 46->43, 44->44 }, it remains to prove termination of the 427-rule system { 0 1 2 0 3 4 5 -> 0 6 5 6 7 7 5 , 0 1 2 0 3 4 8 -> 0 6 5 6 7 7 8 , 0 1 2 0 3 4 9 -> 0 6 5 6 7 7 9 , 0 1 2 0 3 4 7 -> 0 6 5 6 7 7 7 , 0 1 2 0 3 4 10 -> 0 6 5 6 7 7 10 , 0 1 2 0 3 4 11 -> 0 6 5 6 7 7 11 , 0 1 2 0 3 4 12 -> 0 6 5 6 7 7 12 , 2 1 2 0 3 4 5 -> 2 6 5 6 7 7 5 , 2 1 2 0 3 4 8 -> 2 6 5 6 7 7 8 , 2 1 2 0 3 4 9 -> 2 6 5 6 7 7 9 , 2 1 2 0 3 4 7 -> 2 6 5 6 7 7 7 , 2 1 2 0 3 4 10 -> 2 6 5 6 7 7 10 , 2 1 2 0 3 4 11 -> 2 6 5 6 7 7 11 , 2 1 2 0 3 4 12 -> 2 6 5 6 7 7 12 , 13 1 2 0 3 4 5 -> 13 6 5 6 7 7 5 , 13 1 2 0 3 4 8 -> 13 6 5 6 7 7 8 , 13 1 2 0 3 4 9 -> 13 6 5 6 7 7 9 , 13 1 2 0 3 4 7 -> 13 6 5 6 7 7 7 , 13 1 2 0 3 4 10 -> 13 6 5 6 7 7 10 , 13 1 2 0 3 4 11 -> 13 6 5 6 7 7 11 , 13 1 2 0 3 4 12 -> 13 6 5 6 7 7 12 , 5 1 2 0 3 4 5 -> 5 6 5 6 7 7 5 , 5 1 2 0 3 4 8 -> 5 6 5 6 7 7 8 , 5 1 2 0 3 4 9 -> 5 6 5 6 7 7 9 , 5 1 2 0 3 4 7 -> 5 6 5 6 7 7 7 , 5 1 2 0 3 4 10 -> 5 6 5 6 7 7 10 , 5 1 2 0 3 4 11 -> 5 6 5 6 7 7 11 , 5 1 2 0 3 4 12 -> 5 6 5 6 7 7 12 , 14 1 2 0 3 4 5 -> 14 6 5 6 7 7 5 , 14 1 2 0 3 4 8 -> 14 6 5 6 7 7 8 , 14 1 2 0 3 4 9 -> 14 6 5 6 7 7 9 , 14 1 2 0 3 4 7 -> 14 6 5 6 7 7 7 , 14 1 2 0 3 4 10 -> 14 6 5 6 7 7 10 , 14 1 2 0 3 4 11 -> 14 6 5 6 7 7 11 , 14 1 2 0 3 4 12 -> 14 6 5 6 7 7 12 , 15 1 2 0 3 4 5 -> 15 6 5 6 7 7 5 , 15 1 2 0 3 4 8 -> 15 6 5 6 7 7 8 , 15 1 2 0 3 4 9 -> 15 6 5 6 7 7 9 , 15 1 2 0 3 4 7 -> 15 6 5 6 7 7 7 , 15 1 2 0 3 4 10 -> 15 6 5 6 7 7 10 , 15 1 2 0 3 4 11 -> 15 6 5 6 7 7 11 , 15 1 2 0 3 4 12 -> 15 6 5 6 7 7 12 , 16 1 2 0 3 4 5 -> 16 6 5 6 7 7 5 , 16 1 2 0 3 4 8 -> 16 6 5 6 7 7 8 , 16 1 2 0 3 4 9 -> 16 6 5 6 7 7 9 , 16 1 2 0 3 4 7 -> 16 6 5 6 7 7 7 , 16 1 2 0 3 4 10 -> 16 6 5 6 7 7 10 , 16 1 2 0 3 4 11 -> 16 6 5 6 7 7 11 , 16 1 2 0 3 4 12 -> 16 6 5 6 7 7 12 , 17 14 18 15 0 0 17 19 11 20 14 -> 6 5 3 21 14 1 22 23 24 25 2 , 17 14 18 15 0 0 17 19 11 20 26 -> 6 5 3 21 14 1 22 23 24 25 22 , 17 14 18 15 0 0 17 19 11 20 24 -> 6 5 3 21 14 1 22 23 24 25 27 , 17 14 18 15 0 0 17 19 11 20 19 -> 6 5 3 21 14 1 22 23 24 25 28 , 17 14 18 15 0 0 17 19 11 20 29 -> 6 5 3 21 14 1 22 23 24 25 23 , 17 14 18 15 0 0 17 19 11 20 30 -> 6 5 3 21 14 1 22 23 24 25 31 , 17 14 18 15 0 0 17 19 11 20 32 -> 6 5 3 21 14 1 22 23 24 25 33 , 23 14 18 15 0 0 17 19 11 20 14 -> 28 5 3 21 14 1 22 23 24 25 2 , 23 14 18 15 0 0 17 19 11 20 26 -> 28 5 3 21 14 1 22 23 24 25 22 , 23 14 18 15 0 0 17 19 11 20 24 -> 28 5 3 21 14 1 22 23 24 25 27 , 23 14 18 15 0 0 17 19 11 20 19 -> 28 5 3 21 14 1 22 23 24 25 28 , 23 14 18 15 0 0 17 19 11 20 29 -> 28 5 3 21 14 1 22 23 24 25 23 , 23 14 18 15 0 0 17 19 11 20 30 -> 28 5 3 21 14 1 22 23 24 25 31 , 23 14 18 15 0 0 17 19 11 20 32 -> 28 5 3 21 14 1 22 23 24 25 33 , 21 14 18 15 0 0 17 19 11 20 14 -> 4 5 3 21 14 1 22 23 24 25 2 , 21 14 18 15 0 0 17 19 11 20 26 -> 4 5 3 21 14 1 22 23 24 25 22 , 21 14 18 15 0 0 17 19 11 20 24 -> 4 5 3 21 14 1 22 23 24 25 27 , 21 14 18 15 0 0 17 19 11 20 19 -> 4 5 3 21 14 1 22 23 24 25 28 , 21 14 18 15 0 0 17 19 11 20 29 -> 4 5 3 21 14 1 22 23 24 25 23 , 21 14 18 15 0 0 17 19 11 20 30 -> 4 5 3 21 14 1 22 23 24 25 31 , 21 14 18 15 0 0 17 19 11 20 32 -> 4 5 3 21 14 1 22 23 24 25 33 , 10 14 18 15 0 0 17 19 11 20 14 -> 7 5 3 21 14 1 22 23 24 25 2 , 10 14 18 15 0 0 17 19 11 20 26 -> 7 5 3 21 14 1 22 23 24 25 22 , 10 14 18 15 0 0 17 19 11 20 24 -> 7 5 3 21 14 1 22 23 24 25 27 , 10 14 18 15 0 0 17 19 11 20 19 -> 7 5 3 21 14 1 22 23 24 25 28 , 10 14 18 15 0 0 17 19 11 20 29 -> 7 5 3 21 14 1 22 23 24 25 23 , 10 14 18 15 0 0 17 19 11 20 30 -> 7 5 3 21 14 1 22 23 24 25 31 , 10 14 18 15 0 0 17 19 11 20 32 -> 7 5 3 21 14 1 22 23 24 25 33 , 29 14 18 15 0 0 17 19 11 20 14 -> 19 5 3 21 14 1 22 23 24 25 2 , 29 14 18 15 0 0 17 19 11 20 26 -> 19 5 3 21 14 1 22 23 24 25 22 , 29 14 18 15 0 0 17 19 11 20 24 -> 19 5 3 21 14 1 22 23 24 25 27 , 29 14 18 15 0 0 17 19 11 20 19 -> 19 5 3 21 14 1 22 23 24 25 28 , 29 14 18 15 0 0 17 19 11 20 29 -> 19 5 3 21 14 1 22 23 24 25 23 , 29 14 18 15 0 0 17 19 11 20 30 -> 19 5 3 21 14 1 22 23 24 25 31 , 29 14 18 15 0 0 17 19 11 20 32 -> 19 5 3 21 14 1 22 23 24 25 33 , 20 14 18 15 0 0 17 19 11 20 14 -> 34 5 3 21 14 1 22 23 24 25 2 , 20 14 18 15 0 0 17 19 11 20 26 -> 34 5 3 21 14 1 22 23 24 25 22 , 20 14 18 15 0 0 17 19 11 20 24 -> 34 5 3 21 14 1 22 23 24 25 27 , 20 14 18 15 0 0 17 19 11 20 19 -> 34 5 3 21 14 1 22 23 24 25 28 , 20 14 18 15 0 0 17 19 11 20 29 -> 34 5 3 21 14 1 22 23 24 25 23 , 20 14 18 15 0 0 17 19 11 20 30 -> 34 5 3 21 14 1 22 23 24 25 31 , 20 14 18 15 0 0 17 19 11 20 32 -> 34 5 3 21 14 1 22 23 24 25 33 , 0 0 17 19 9 13 1 27 35 20 14 -> 17 29 29 24 21 19 8 23 19 9 13 , 0 0 17 19 9 13 1 27 35 20 26 -> 17 29 29 24 21 19 8 23 19 9 25 , 0 0 17 19 9 13 1 27 35 20 19 -> 17 29 29 24 21 19 8 23 19 9 4 , 0 0 17 19 9 13 1 27 35 20 29 -> 17 29 29 24 21 19 8 23 19 9 21 , 0 0 17 19 9 13 1 27 35 20 30 -> 17 29 29 24 21 19 8 23 19 9 35 , 2 0 17 19 9 13 1 27 35 20 14 -> 23 29 29 24 21 19 8 23 19 9 13 , 2 0 17 19 9 13 1 27 35 20 26 -> 23 29 29 24 21 19 8 23 19 9 25 , 2 0 17 19 9 13 1 27 35 20 19 -> 23 29 29 24 21 19 8 23 19 9 4 , 2 0 17 19 9 13 1 27 35 20 29 -> 23 29 29 24 21 19 8 23 19 9 21 , 2 0 17 19 9 13 1 27 35 20 30 -> 23 29 29 24 21 19 8 23 19 9 35 , 13 0 17 19 9 13 1 27 35 20 14 -> 21 29 29 24 21 19 8 23 19 9 13 , 13 0 17 19 9 13 1 27 35 20 26 -> 21 29 29 24 21 19 8 23 19 9 25 , 13 0 17 19 9 13 1 27 35 20 19 -> 21 29 29 24 21 19 8 23 19 9 4 , 13 0 17 19 9 13 1 27 35 20 29 -> 21 29 29 24 21 19 8 23 19 9 21 , 13 0 17 19 9 13 1 27 35 20 30 -> 21 29 29 24 21 19 8 23 19 9 35 , 5 0 17 19 9 13 1 27 35 20 14 -> 10 29 29 24 21 19 8 23 19 9 13 , 5 0 17 19 9 13 1 27 35 20 26 -> 10 29 29 24 21 19 8 23 19 9 25 , 5 0 17 19 9 13 1 27 35 20 19 -> 10 29 29 24 21 19 8 23 19 9 4 , 5 0 17 19 9 13 1 27 35 20 29 -> 10 29 29 24 21 19 8 23 19 9 21 , 5 0 17 19 9 13 1 27 35 20 30 -> 10 29 29 24 21 19 8 23 19 9 35 , 14 0 17 19 9 13 1 27 35 20 14 -> 29 29 29 24 21 19 8 23 19 9 13 , 14 0 17 19 9 13 1 27 35 20 26 -> 29 29 29 24 21 19 8 23 19 9 25 , 14 0 17 19 9 13 1 27 35 20 19 -> 29 29 29 24 21 19 8 23 19 9 4 , 14 0 17 19 9 13 1 27 35 20 29 -> 29 29 29 24 21 19 8 23 19 9 21 , 14 0 17 19 9 13 1 27 35 20 30 -> 29 29 29 24 21 19 8 23 19 9 35 , 15 0 17 19 9 13 1 27 35 20 14 -> 20 29 29 24 21 19 8 23 19 9 13 , 15 0 17 19 9 13 1 27 35 20 26 -> 20 29 29 24 21 19 8 23 19 9 25 , 15 0 17 19 9 13 1 27 35 20 19 -> 20 29 29 24 21 19 8 23 19 9 4 , 15 0 17 19 9 13 1 27 35 20 29 -> 20 29 29 24 21 19 8 23 19 9 21 , 15 0 17 19 9 13 1 27 35 20 30 -> 20 29 29 24 21 19 8 23 19 9 35 , 16 0 17 19 9 13 1 27 35 20 14 -> 36 29 29 24 21 19 8 23 19 9 13 , 16 0 17 19 9 13 1 27 35 20 26 -> 36 29 29 24 21 19 8 23 19 9 25 , 16 0 17 19 9 13 1 27 35 20 19 -> 36 29 29 24 21 19 8 23 19 9 4 , 16 0 17 19 9 13 1 27 35 20 29 -> 36 29 29 24 21 19 8 23 19 9 21 , 16 0 17 19 9 13 1 27 35 20 30 -> 36 29 29 24 21 19 8 23 19 9 35 , 17 29 24 4 10 26 31 15 6 7 5 -> 1 22 22 2 6 9 25 2 0 17 14 , 17 29 24 4 10 26 31 15 6 7 8 -> 1 22 22 2 6 9 25 2 0 17 26 , 17 29 24 4 10 26 31 15 6 7 9 -> 1 22 22 2 6 9 25 2 0 17 24 , 17 29 24 4 10 26 31 15 6 7 7 -> 1 22 22 2 6 9 25 2 0 17 19 , 17 29 24 4 10 26 31 15 6 7 10 -> 1 22 22 2 6 9 25 2 0 17 29 , 17 29 24 4 10 26 31 15 6 7 11 -> 1 22 22 2 6 9 25 2 0 17 30 , 17 29 24 4 10 26 31 15 6 7 12 -> 1 22 22 2 6 9 25 2 0 17 32 , 23 29 24 4 10 26 31 15 6 7 5 -> 22 22 22 2 6 9 25 2 0 17 14 , 23 29 24 4 10 26 31 15 6 7 8 -> 22 22 22 2 6 9 25 2 0 17 26 , 23 29 24 4 10 26 31 15 6 7 9 -> 22 22 22 2 6 9 25 2 0 17 24 , 23 29 24 4 10 26 31 15 6 7 7 -> 22 22 22 2 6 9 25 2 0 17 19 , 23 29 24 4 10 26 31 15 6 7 10 -> 22 22 22 2 6 9 25 2 0 17 29 , 23 29 24 4 10 26 31 15 6 7 11 -> 22 22 22 2 6 9 25 2 0 17 30 , 23 29 24 4 10 26 31 15 6 7 12 -> 22 22 22 2 6 9 25 2 0 17 32 , 21 29 24 4 10 26 31 15 6 7 5 -> 25 22 22 2 6 9 25 2 0 17 14 , 21 29 24 4 10 26 31 15 6 7 8 -> 25 22 22 2 6 9 25 2 0 17 26 , 21 29 24 4 10 26 31 15 6 7 9 -> 25 22 22 2 6 9 25 2 0 17 24 , 21 29 24 4 10 26 31 15 6 7 7 -> 25 22 22 2 6 9 25 2 0 17 19 , 21 29 24 4 10 26 31 15 6 7 10 -> 25 22 22 2 6 9 25 2 0 17 29 , 21 29 24 4 10 26 31 15 6 7 11 -> 25 22 22 2 6 9 25 2 0 17 30 , 21 29 24 4 10 26 31 15 6 7 12 -> 25 22 22 2 6 9 25 2 0 17 32 , 10 29 24 4 10 26 31 15 6 7 5 -> 8 22 22 2 6 9 25 2 0 17 14 , 10 29 24 4 10 26 31 15 6 7 8 -> 8 22 22 2 6 9 25 2 0 17 26 , 10 29 24 4 10 26 31 15 6 7 9 -> 8 22 22 2 6 9 25 2 0 17 24 , 10 29 24 4 10 26 31 15 6 7 7 -> 8 22 22 2 6 9 25 2 0 17 19 , 10 29 24 4 10 26 31 15 6 7 10 -> 8 22 22 2 6 9 25 2 0 17 29 , 10 29 24 4 10 26 31 15 6 7 11 -> 8 22 22 2 6 9 25 2 0 17 30 , 10 29 24 4 10 26 31 15 6 7 12 -> 8 22 22 2 6 9 25 2 0 17 32 , 29 29 24 4 10 26 31 15 6 7 5 -> 26 22 22 2 6 9 25 2 0 17 14 , 29 29 24 4 10 26 31 15 6 7 8 -> 26 22 22 2 6 9 25 2 0 17 26 , 29 29 24 4 10 26 31 15 6 7 9 -> 26 22 22 2 6 9 25 2 0 17 24 , 29 29 24 4 10 26 31 15 6 7 7 -> 26 22 22 2 6 9 25 2 0 17 19 , 29 29 24 4 10 26 31 15 6 7 10 -> 26 22 22 2 6 9 25 2 0 17 29 , 29 29 24 4 10 26 31 15 6 7 11 -> 26 22 22 2 6 9 25 2 0 17 30 , 29 29 24 4 10 26 31 15 6 7 12 -> 26 22 22 2 6 9 25 2 0 17 32 , 20 29 24 4 10 26 31 15 6 7 5 -> 37 22 22 2 6 9 25 2 0 17 14 , 20 29 24 4 10 26 31 15 6 7 8 -> 37 22 22 2 6 9 25 2 0 17 26 , 20 29 24 4 10 26 31 15 6 7 9 -> 37 22 22 2 6 9 25 2 0 17 24 , 20 29 24 4 10 26 31 15 6 7 7 -> 37 22 22 2 6 9 25 2 0 17 19 , 20 29 24 4 10 26 31 15 6 7 10 -> 37 22 22 2 6 9 25 2 0 17 29 , 20 29 24 4 10 26 31 15 6 7 11 -> 37 22 22 2 6 9 25 2 0 17 30 , 20 29 24 4 10 26 31 15 6 7 12 -> 37 22 22 2 6 9 25 2 0 17 32 , 36 29 24 4 10 26 31 15 6 7 5 -> 38 22 22 2 6 9 25 2 0 17 14 , 36 29 24 4 10 26 31 15 6 7 8 -> 38 22 22 2 6 9 25 2 0 17 26 , 36 29 24 4 10 26 31 15 6 7 9 -> 38 22 22 2 6 9 25 2 0 17 24 , 36 29 24 4 10 26 31 15 6 7 7 -> 38 22 22 2 6 9 25 2 0 17 19 , 36 29 24 4 10 26 31 15 6 7 10 -> 38 22 22 2 6 9 25 2 0 17 29 , 36 29 24 4 10 26 31 15 6 7 11 -> 38 22 22 2 6 9 25 2 0 17 30 , 36 29 24 4 10 26 31 15 6 7 12 -> 38 22 22 2 6 9 25 2 0 17 32 , 39 39 13 18 20 30 40 34 5 0 17 14 -> 21 30 37 28 9 39 39 35 40 37 23 14 , 39 39 13 18 20 30 40 34 5 0 17 26 -> 21 30 37 28 9 39 39 35 40 37 23 26 , 39 39 13 18 20 30 40 34 5 0 17 24 -> 21 30 37 28 9 39 39 35 40 37 23 24 , 39 39 13 18 20 30 40 34 5 0 17 19 -> 21 30 37 28 9 39 39 35 40 37 23 19 , 39 39 13 18 20 30 40 34 5 0 17 29 -> 21 30 37 28 9 39 39 35 40 37 23 29 , 39 39 13 18 20 30 40 34 5 0 17 30 -> 21 30 37 28 9 39 39 35 40 37 23 30 , 39 39 13 18 20 30 40 34 5 0 17 32 -> 21 30 37 28 9 39 39 35 40 37 23 32 , 0 18 40 20 14 18 41 39 4 5 0 1 2 -> 17 26 2 17 30 20 26 31 34 9 39 25 2 , 0 18 40 20 14 18 41 39 4 5 0 1 22 -> 17 26 2 17 30 20 26 31 34 9 39 25 22 , 0 18 40 20 14 18 41 39 4 5 0 1 27 -> 17 26 2 17 30 20 26 31 34 9 39 25 27 , 0 18 40 20 14 18 41 39 4 5 0 1 28 -> 17 26 2 17 30 20 26 31 34 9 39 25 28 , 0 18 40 20 14 18 41 39 4 5 0 1 23 -> 17 26 2 17 30 20 26 31 34 9 39 25 23 , 0 18 40 20 14 18 41 39 4 5 0 1 31 -> 17 26 2 17 30 20 26 31 34 9 39 25 31 , 0 18 40 20 14 18 41 39 4 5 0 1 33 -> 17 26 2 17 30 20 26 31 34 9 39 25 33 , 2 18 40 20 14 18 41 39 4 5 0 1 2 -> 23 26 2 17 30 20 26 31 34 9 39 25 2 , 2 18 40 20 14 18 41 39 4 5 0 1 22 -> 23 26 2 17 30 20 26 31 34 9 39 25 22 , 2 18 40 20 14 18 41 39 4 5 0 1 27 -> 23 26 2 17 30 20 26 31 34 9 39 25 27 , 2 18 40 20 14 18 41 39 4 5 0 1 28 -> 23 26 2 17 30 20 26 31 34 9 39 25 28 , 2 18 40 20 14 18 41 39 4 5 0 1 23 -> 23 26 2 17 30 20 26 31 34 9 39 25 23 , 2 18 40 20 14 18 41 39 4 5 0 1 31 -> 23 26 2 17 30 20 26 31 34 9 39 25 31 , 2 18 40 20 14 18 41 39 4 5 0 1 33 -> 23 26 2 17 30 20 26 31 34 9 39 25 33 , 13 18 40 20 14 18 41 39 4 5 0 1 2 -> 21 26 2 17 30 20 26 31 34 9 39 25 2 , 13 18 40 20 14 18 41 39 4 5 0 1 22 -> 21 26 2 17 30 20 26 31 34 9 39 25 22 , 13 18 40 20 14 18 41 39 4 5 0 1 27 -> 21 26 2 17 30 20 26 31 34 9 39 25 27 , 13 18 40 20 14 18 41 39 4 5 0 1 28 -> 21 26 2 17 30 20 26 31 34 9 39 25 28 , 13 18 40 20 14 18 41 39 4 5 0 1 23 -> 21 26 2 17 30 20 26 31 34 9 39 25 23 , 13 18 40 20 14 18 41 39 4 5 0 1 31 -> 21 26 2 17 30 20 26 31 34 9 39 25 31 , 13 18 40 20 14 18 41 39 4 5 0 1 33 -> 21 26 2 17 30 20 26 31 34 9 39 25 33 , 5 18 40 20 14 18 41 39 4 5 0 1 2 -> 10 26 2 17 30 20 26 31 34 9 39 25 2 , 5 18 40 20 14 18 41 39 4 5 0 1 22 -> 10 26 2 17 30 20 26 31 34 9 39 25 22 , 5 18 40 20 14 18 41 39 4 5 0 1 27 -> 10 26 2 17 30 20 26 31 34 9 39 25 27 , 5 18 40 20 14 18 41 39 4 5 0 1 28 -> 10 26 2 17 30 20 26 31 34 9 39 25 28 , 5 18 40 20 14 18 41 39 4 5 0 1 23 -> 10 26 2 17 30 20 26 31 34 9 39 25 23 , 5 18 40 20 14 18 41 39 4 5 0 1 31 -> 10 26 2 17 30 20 26 31 34 9 39 25 31 , 5 18 40 20 14 18 41 39 4 5 0 1 33 -> 10 26 2 17 30 20 26 31 34 9 39 25 33 , 14 18 40 20 14 18 41 39 4 5 0 1 2 -> 29 26 2 17 30 20 26 31 34 9 39 25 2 , 14 18 40 20 14 18 41 39 4 5 0 1 22 -> 29 26 2 17 30 20 26 31 34 9 39 25 22 , 14 18 40 20 14 18 41 39 4 5 0 1 27 -> 29 26 2 17 30 20 26 31 34 9 39 25 27 , 14 18 40 20 14 18 41 39 4 5 0 1 28 -> 29 26 2 17 30 20 26 31 34 9 39 25 28 , 14 18 40 20 14 18 41 39 4 5 0 1 23 -> 29 26 2 17 30 20 26 31 34 9 39 25 23 , 14 18 40 20 14 18 41 39 4 5 0 1 31 -> 29 26 2 17 30 20 26 31 34 9 39 25 31 , 14 18 40 20 14 18 41 39 4 5 0 1 33 -> 29 26 2 17 30 20 26 31 34 9 39 25 33 , 15 18 40 20 14 18 41 39 4 5 0 1 2 -> 20 26 2 17 30 20 26 31 34 9 39 25 2 , 15 18 40 20 14 18 41 39 4 5 0 1 22 -> 20 26 2 17 30 20 26 31 34 9 39 25 22 , 15 18 40 20 14 18 41 39 4 5 0 1 27 -> 20 26 2 17 30 20 26 31 34 9 39 25 27 , 15 18 40 20 14 18 41 39 4 5 0 1 28 -> 20 26 2 17 30 20 26 31 34 9 39 25 28 , 15 18 40 20 14 18 41 39 4 5 0 1 23 -> 20 26 2 17 30 20 26 31 34 9 39 25 23 , 15 18 40 20 14 18 41 39 4 5 0 1 31 -> 20 26 2 17 30 20 26 31 34 9 39 25 31 , 15 18 40 20 14 18 41 39 4 5 0 1 33 -> 20 26 2 17 30 20 26 31 34 9 39 25 33 , 16 18 40 20 14 18 41 39 4 5 0 1 2 -> 36 26 2 17 30 20 26 31 34 9 39 25 2 , 16 18 40 20 14 18 41 39 4 5 0 1 22 -> 36 26 2 17 30 20 26 31 34 9 39 25 22 , 16 18 40 20 14 18 41 39 4 5 0 1 27 -> 36 26 2 17 30 20 26 31 34 9 39 25 27 , 16 18 40 20 14 18 41 39 4 5 0 1 28 -> 36 26 2 17 30 20 26 31 34 9 39 25 28 , 16 18 40 20 14 18 41 39 4 5 0 1 23 -> 36 26 2 17 30 20 26 31 34 9 39 25 23 , 16 18 40 20 14 18 41 39 4 5 0 1 31 -> 36 26 2 17 30 20 26 31 34 9 39 25 31 , 16 18 40 20 14 18 41 39 4 5 0 1 33 -> 36 26 2 17 30 20 26 31 34 9 39 25 33 , 1 2 18 40 37 28 10 29 14 18 34 5 18 37 2 -> 0 6 11 15 3 35 41 35 40 40 15 3 35 34 5 , 1 2 18 40 37 28 10 29 14 18 34 5 18 37 22 -> 0 6 11 15 3 35 41 35 40 40 15 3 35 34 8 , 1 2 18 40 37 28 10 29 14 18 34 5 18 37 27 -> 0 6 11 15 3 35 41 35 40 40 15 3 35 34 9 , 1 2 18 40 37 28 10 29 14 18 34 5 18 37 28 -> 0 6 11 15 3 35 41 35 40 40 15 3 35 34 7 , 1 2 18 40 37 28 10 29 14 18 34 5 18 37 23 -> 0 6 11 15 3 35 41 35 40 40 15 3 35 34 10 , 1 2 18 40 37 28 10 29 14 18 34 5 18 37 31 -> 0 6 11 15 3 35 41 35 40 40 15 3 35 34 11 , 1 2 18 40 37 28 10 29 14 18 34 5 18 37 33 -> 0 6 11 15 3 35 41 35 40 40 15 3 35 34 12 , 22 2 18 40 37 28 10 29 14 18 34 5 18 37 2 -> 2 6 11 15 3 35 41 35 40 40 15 3 35 34 5 , 22 2 18 40 37 28 10 29 14 18 34 5 18 37 22 -> 2 6 11 15 3 35 41 35 40 40 15 3 35 34 8 , 22 2 18 40 37 28 10 29 14 18 34 5 18 37 27 -> 2 6 11 15 3 35 41 35 40 40 15 3 35 34 9 , 22 2 18 40 37 28 10 29 14 18 34 5 18 37 28 -> 2 6 11 15 3 35 41 35 40 40 15 3 35 34 7 , 22 2 18 40 37 28 10 29 14 18 34 5 18 37 23 -> 2 6 11 15 3 35 41 35 40 40 15 3 35 34 10 , 22 2 18 40 37 28 10 29 14 18 34 5 18 37 31 -> 2 6 11 15 3 35 41 35 40 40 15 3 35 34 11 , 22 2 18 40 37 28 10 29 14 18 34 5 18 37 33 -> 2 6 11 15 3 35 41 35 40 40 15 3 35 34 12 , 25 2 18 40 37 28 10 29 14 18 34 5 18 37 2 -> 13 6 11 15 3 35 41 35 40 40 15 3 35 34 5 , 25 2 18 40 37 28 10 29 14 18 34 5 18 37 22 -> 13 6 11 15 3 35 41 35 40 40 15 3 35 34 8 , 25 2 18 40 37 28 10 29 14 18 34 5 18 37 27 -> 13 6 11 15 3 35 41 35 40 40 15 3 35 34 9 , 25 2 18 40 37 28 10 29 14 18 34 5 18 37 28 -> 13 6 11 15 3 35 41 35 40 40 15 3 35 34 7 , 25 2 18 40 37 28 10 29 14 18 34 5 18 37 23 -> 13 6 11 15 3 35 41 35 40 40 15 3 35 34 10 , 25 2 18 40 37 28 10 29 14 18 34 5 18 37 31 -> 13 6 11 15 3 35 41 35 40 40 15 3 35 34 11 , 25 2 18 40 37 28 10 29 14 18 34 5 18 37 33 -> 13 6 11 15 3 35 41 35 40 40 15 3 35 34 12 , 8 2 18 40 37 28 10 29 14 18 34 5 18 37 2 -> 5 6 11 15 3 35 41 35 40 40 15 3 35 34 5 , 8 2 18 40 37 28 10 29 14 18 34 5 18 37 22 -> 5 6 11 15 3 35 41 35 40 40 15 3 35 34 8 , 8 2 18 40 37 28 10 29 14 18 34 5 18 37 27 -> 5 6 11 15 3 35 41 35 40 40 15 3 35 34 9 , 8 2 18 40 37 28 10 29 14 18 34 5 18 37 28 -> 5 6 11 15 3 35 41 35 40 40 15 3 35 34 7 , 8 2 18 40 37 28 10 29 14 18 34 5 18 37 23 -> 5 6 11 15 3 35 41 35 40 40 15 3 35 34 10 , 8 2 18 40 37 28 10 29 14 18 34 5 18 37 31 -> 5 6 11 15 3 35 41 35 40 40 15 3 35 34 11 , 8 2 18 40 37 28 10 29 14 18 34 5 18 37 33 -> 5 6 11 15 3 35 41 35 40 40 15 3 35 34 12 , 26 2 18 40 37 28 10 29 14 18 34 5 18 37 2 -> 14 6 11 15 3 35 41 35 40 40 15 3 35 34 5 , 26 2 18 40 37 28 10 29 14 18 34 5 18 37 22 -> 14 6 11 15 3 35 41 35 40 40 15 3 35 34 8 , 26 2 18 40 37 28 10 29 14 18 34 5 18 37 27 -> 14 6 11 15 3 35 41 35 40 40 15 3 35 34 9 , 26 2 18 40 37 28 10 29 14 18 34 5 18 37 28 -> 14 6 11 15 3 35 41 35 40 40 15 3 35 34 7 , 26 2 18 40 37 28 10 29 14 18 34 5 18 37 23 -> 14 6 11 15 3 35 41 35 40 40 15 3 35 34 10 , 26 2 18 40 37 28 10 29 14 18 34 5 18 37 31 -> 14 6 11 15 3 35 41 35 40 40 15 3 35 34 11 , 26 2 18 40 37 28 10 29 14 18 34 5 18 37 33 -> 14 6 11 15 3 35 41 35 40 40 15 3 35 34 12 , 37 2 18 40 37 28 10 29 14 18 34 5 18 37 2 -> 15 6 11 15 3 35 41 35 40 40 15 3 35 34 5 , 37 2 18 40 37 28 10 29 14 18 34 5 18 37 22 -> 15 6 11 15 3 35 41 35 40 40 15 3 35 34 8 , 37 2 18 40 37 28 10 29 14 18 34 5 18 37 27 -> 15 6 11 15 3 35 41 35 40 40 15 3 35 34 9 , 37 2 18 40 37 28 10 29 14 18 34 5 18 37 28 -> 15 6 11 15 3 35 41 35 40 40 15 3 35 34 7 , 37 2 18 40 37 28 10 29 14 18 34 5 18 37 23 -> 15 6 11 15 3 35 41 35 40 40 15 3 35 34 10 , 37 2 18 40 37 28 10 29 14 18 34 5 18 37 31 -> 15 6 11 15 3 35 41 35 40 40 15 3 35 34 11 , 37 2 18 40 37 28 10 29 14 18 34 5 18 37 33 -> 15 6 11 15 3 35 41 35 40 40 15 3 35 34 12 , 38 2 18 40 37 28 10 29 14 18 34 5 18 37 2 -> 16 6 11 15 3 35 41 35 40 40 15 3 35 34 5 , 38 2 18 40 37 28 10 29 14 18 34 5 18 37 22 -> 16 6 11 15 3 35 41 35 40 40 15 3 35 34 8 , 38 2 18 40 37 28 10 29 14 18 34 5 18 37 27 -> 16 6 11 15 3 35 41 35 40 40 15 3 35 34 9 , 38 2 18 40 37 28 10 29 14 18 34 5 18 37 28 -> 16 6 11 15 3 35 41 35 40 40 15 3 35 34 7 , 38 2 18 40 37 28 10 29 14 18 34 5 18 37 23 -> 16 6 11 15 3 35 41 35 40 40 15 3 35 34 10 , 38 2 18 40 37 28 10 29 14 18 34 5 18 37 31 -> 16 6 11 15 3 35 41 35 40 40 15 3 35 34 11 , 38 2 18 40 37 28 10 29 14 18 34 5 18 37 33 -> 16 6 11 15 3 35 41 35 40 40 15 3 35 34 12 , 18 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 0 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 18 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 1 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 18 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 3 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 18 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 6 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 18 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 17 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 18 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 18 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 18 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 42 -> 18 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 42 , 31 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 0 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 31 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 1 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 31 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 3 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 31 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 6 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 31 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 17 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 31 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 18 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 31 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 42 -> 31 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 42 , 35 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 0 -> 35 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 35 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 1 -> 35 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 35 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 3 -> 35 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 35 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 6 -> 35 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 35 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 17 -> 35 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 35 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 18 -> 35 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 35 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 42 -> 35 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 42 , 11 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 0 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 11 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 1 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 11 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 3 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 11 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 6 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 11 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 17 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 11 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 18 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 11 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 42 -> 11 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 42 , 30 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 0 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 30 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 1 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 30 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 3 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 30 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 6 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 30 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 17 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 30 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 18 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 30 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 42 -> 30 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 42 , 40 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 0 -> 40 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 40 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 1 -> 40 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 40 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 3 -> 40 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 40 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 6 -> 40 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 40 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 17 -> 40 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 40 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 18 -> 40 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 40 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 42 -> 40 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 42 , 43 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 0 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 0 , 43 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 1 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 1 , 43 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 3 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 3 , 43 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 6 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 6 , 43 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 17 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 17 , 43 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 18 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 18 , 43 20 30 40 40 20 24 25 2 3 4 9 35 34 11 40 15 42 -> 43 34 9 4 7 7 7 10 14 0 0 17 14 6 7 8 2 42 , 17 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 15 -> 17 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 15 , 17 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 37 -> 17 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 37 , 17 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 41 -> 17 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 41 , 17 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 34 -> 17 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 34 , 17 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 20 -> 17 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 20 , 17 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 40 -> 17 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 40 , 17 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 44 -> 17 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 44 , 23 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 15 -> 23 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 15 , 23 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 37 -> 23 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 37 , 23 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 41 -> 23 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 41 , 23 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 34 -> 23 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 34 , 23 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 20 -> 23 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 20 , 23 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 40 -> 23 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 40 , 23 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 44 -> 23 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 44 , 21 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 15 -> 21 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 15 , 21 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 37 -> 21 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 37 , 21 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 41 -> 21 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 41 , 21 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 34 -> 21 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 34 , 21 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 20 -> 21 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 20 , 21 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 40 -> 21 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 40 , 21 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 44 -> 21 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 44 , 10 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 15 -> 10 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 15 , 10 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 37 -> 10 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 37 , 10 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 41 -> 10 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 41 , 10 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 34 -> 10 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 34 , 10 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 20 -> 10 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 20 , 10 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 40 -> 10 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 40 , 10 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 44 -> 10 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 44 , 29 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 15 -> 29 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 15 , 29 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 37 -> 29 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 37 , 29 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 41 -> 29 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 41 , 29 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 34 -> 29 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 34 , 29 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 20 -> 29 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 20 , 29 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 40 -> 29 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 40 , 29 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 44 -> 29 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 44 , 20 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 15 -> 20 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 15 , 20 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 37 -> 20 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 37 , 20 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 41 -> 20 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 41 , 20 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 34 -> 20 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 34 , 20 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 20 -> 20 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 20 , 20 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 40 -> 20 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 40 , 20 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 44 -> 20 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 44 , 36 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 15 -> 36 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 15 , 36 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 37 -> 36 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 37 , 36 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 41 -> 36 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 41 , 36 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 34 -> 36 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 34 , 36 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 20 -> 36 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 20 , 36 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 40 -> 36 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 40 , 36 14 3 35 37 28 9 39 4 5 1 27 4 7 11 20 30 44 -> 36 24 35 41 13 1 27 13 1 23 26 22 31 41 39 35 40 44 , 1 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 0 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 5 , 1 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 1 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 8 , 1 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 3 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 9 , 1 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 6 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 7 , 1 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 17 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 10 , 1 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 18 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 11 , 1 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 42 -> 0 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 12 , 22 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 0 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 5 , 22 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 1 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 8 , 22 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 3 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 9 , 22 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 6 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 7 , 22 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 17 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 10 , 22 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 18 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 11 , 22 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 42 -> 2 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 12 , 25 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 0 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 5 , 25 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 1 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 8 , 25 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 3 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 9 , 25 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 6 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 7 , 25 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 17 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 10 , 25 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 18 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 11 , 25 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 42 -> 13 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 12 , 8 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 0 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 5 , 8 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 1 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 8 , 8 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 3 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 9 , 8 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 6 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 7 , 8 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 17 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 10 , 8 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 18 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 11 , 8 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 42 -> 5 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 12 , 26 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 0 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 5 , 26 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 1 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 8 , 26 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 3 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 9 , 26 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 6 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 7 , 26 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 17 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 10 , 26 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 18 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 11 , 26 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 42 -> 14 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 12 , 37 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 0 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 5 , 37 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 1 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 8 , 37 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 3 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 9 , 37 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 6 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 7 , 37 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 17 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 10 , 37 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 18 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 11 , 37 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 42 -> 15 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 12 , 38 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 0 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 5 , 38 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 1 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 8 , 38 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 3 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 9 , 38 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 6 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 7 , 38 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 17 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 10 , 38 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 18 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 11 , 38 28 11 15 1 23 14 17 24 25 2 0 3 35 20 26 28 10 29 14 42 -> 16 1 22 22 23 14 17 30 20 19 10 14 6 11 41 35 40 15 0 6 12 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 1 | | 0 1 | \ / 2 is interpreted by / \ | 1 1 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 1 | | 0 1 | \ / 5 is interpreted by / \ | 1 1 | | 0 1 | \ / 6 is interpreted by / \ | 1 0 | | 0 1 | \ / 7 is interpreted by / \ | 1 1 | | 0 1 | \ / 8 is interpreted by / \ | 1 1 | | 0 1 | \ / 9 is interpreted by / \ | 1 1 | | 0 1 | \ / 10 is interpreted by / \ | 1 1 | | 0 1 | \ / 11 is interpreted by / \ | 1 1 | | 0 1 | \ / 12 is interpreted by / \ | 1 1 | | 0 1 | \ / 13 is interpreted by / \ | 1 1 | | 0 1 | \ / 14 is interpreted by / \ | 1 1 | | 0 1 | \ / 15 is interpreted by / \ | 1 1 | | 0 1 | \ / 16 is interpreted by / \ | 1 1 | | 0 1 | \ / 17 is interpreted by / \ | 1 1 | | 0 1 | \ / 18 is interpreted by / \ | 1 1 | | 0 1 | \ / 19 is interpreted by / \ | 1 1 | | 0 1 | \ / 20 is interpreted by / \ | 1 1 | | 0 1 | \ / 21 is interpreted by / \ | 1 1 | | 0 1 | \ / 22 is interpreted by / \ | 1 1 | | 0 1 | \ / 23 is interpreted by / \ | 1 1 | | 0 1 | \ / 24 is interpreted by / \ | 1 1 | | 0 1 | \ / 25 is interpreted by / \ | 1 1 | | 0 1 | \ / 26 is interpreted by / \ | 1 1 | | 0 1 | \ / 27 is interpreted by / \ | 1 1 | | 0 1 | \ / 28 is interpreted by / \ | 1 1 | | 0 1 | \ / 29 is interpreted by / \ | 1 1 | | 0 1 | \ / 30 is interpreted by / \ | 1 1 | | 0 1 | \ / 31 is interpreted by / \ | 1 1 | | 0 1 | \ / 32 is interpreted by / \ | 1 1 | | 0 1 | \ / 33 is interpreted by / \ | 1 1 | | 0 1 | \ / 34 is interpreted by / \ | 1 1 | | 0 1 | \ / 35 is interpreted by / \ | 1 1 | | 0 1 | \ / 36 is interpreted by / \ | 1 1 | | 0 1 | \ / 37 is interpreted by / \ | 1 1 | | 0 1 | \ / 38 is interpreted by / \ | 1 1 | | 0 1 | \ / 39 is interpreted by / \ | 1 0 | | 0 1 | \ / 40 is interpreted by / \ | 1 1 | | 0 1 | \ / 41 is interpreted by / \ | 1 1 | | 0 1 | \ / 42 is interpreted by / \ | 1 1 | | 0 1 | \ / 43 is interpreted by / \ | 1 0 | | 0 1 | \ / 44 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { 23->0, 14->1, 18->2, 15->3, 0->4, 17->5, 19->6, 11->7, 20->8, 28->9, 5->10, 3->11, 21->12, 1->13, 22->14, 24->15, 25->16, 2->17, 26->18, 27->19, 29->20, 30->21, 31->22, 32->23, 33->24, 4->25, 10->26, 7->27, 34->28, 9->29, 13->30, 35->31, 8->32, 16->33, 36->34, 6->35, 12->36, 37->37, 38->38, 39->39, 40->40, 41->41, 44->42 }, it remains to prove termination of the 224-rule system { 0 1 2 3 4 4 5 6 7 8 1 -> 9 10 11 12 1 13 14 0 15 16 17 , 0 1 2 3 4 4 5 6 7 8 18 -> 9 10 11 12 1 13 14 0 15 16 14 , 0 1 2 3 4 4 5 6 7 8 15 -> 9 10 11 12 1 13 14 0 15 16 19 , 0 1 2 3 4 4 5 6 7 8 6 -> 9 10 11 12 1 13 14 0 15 16 9 , 0 1 2 3 4 4 5 6 7 8 20 -> 9 10 11 12 1 13 14 0 15 16 0 , 0 1 2 3 4 4 5 6 7 8 21 -> 9 10 11 12 1 13 14 0 15 16 22 , 0 1 2 3 4 4 5 6 7 8 23 -> 9 10 11 12 1 13 14 0 15 16 24 , 12 1 2 3 4 4 5 6 7 8 1 -> 25 10 11 12 1 13 14 0 15 16 17 , 12 1 2 3 4 4 5 6 7 8 18 -> 25 10 11 12 1 13 14 0 15 16 14 , 12 1 2 3 4 4 5 6 7 8 15 -> 25 10 11 12 1 13 14 0 15 16 19 , 12 1 2 3 4 4 5 6 7 8 6 -> 25 10 11 12 1 13 14 0 15 16 9 , 12 1 2 3 4 4 5 6 7 8 20 -> 25 10 11 12 1 13 14 0 15 16 0 , 12 1 2 3 4 4 5 6 7 8 21 -> 25 10 11 12 1 13 14 0 15 16 22 , 12 1 2 3 4 4 5 6 7 8 23 -> 25 10 11 12 1 13 14 0 15 16 24 , 26 1 2 3 4 4 5 6 7 8 1 -> 27 10 11 12 1 13 14 0 15 16 17 , 26 1 2 3 4 4 5 6 7 8 18 -> 27 10 11 12 1 13 14 0 15 16 14 , 26 1 2 3 4 4 5 6 7 8 15 -> 27 10 11 12 1 13 14 0 15 16 19 , 26 1 2 3 4 4 5 6 7 8 6 -> 27 10 11 12 1 13 14 0 15 16 9 , 26 1 2 3 4 4 5 6 7 8 20 -> 27 10 11 12 1 13 14 0 15 16 0 , 26 1 2 3 4 4 5 6 7 8 21 -> 27 10 11 12 1 13 14 0 15 16 22 , 26 1 2 3 4 4 5 6 7 8 23 -> 27 10 11 12 1 13 14 0 15 16 24 , 20 1 2 3 4 4 5 6 7 8 1 -> 6 10 11 12 1 13 14 0 15 16 17 , 20 1 2 3 4 4 5 6 7 8 18 -> 6 10 11 12 1 13 14 0 15 16 14 , 20 1 2 3 4 4 5 6 7 8 15 -> 6 10 11 12 1 13 14 0 15 16 19 , 20 1 2 3 4 4 5 6 7 8 6 -> 6 10 11 12 1 13 14 0 15 16 9 , 20 1 2 3 4 4 5 6 7 8 20 -> 6 10 11 12 1 13 14 0 15 16 0 , 20 1 2 3 4 4 5 6 7 8 21 -> 6 10 11 12 1 13 14 0 15 16 22 , 20 1 2 3 4 4 5 6 7 8 23 -> 6 10 11 12 1 13 14 0 15 16 24 , 8 1 2 3 4 4 5 6 7 8 1 -> 28 10 11 12 1 13 14 0 15 16 17 , 8 1 2 3 4 4 5 6 7 8 18 -> 28 10 11 12 1 13 14 0 15 16 14 , 8 1 2 3 4 4 5 6 7 8 15 -> 28 10 11 12 1 13 14 0 15 16 19 , 8 1 2 3 4 4 5 6 7 8 6 -> 28 10 11 12 1 13 14 0 15 16 9 , 8 1 2 3 4 4 5 6 7 8 20 -> 28 10 11 12 1 13 14 0 15 16 0 , 8 1 2 3 4 4 5 6 7 8 21 -> 28 10 11 12 1 13 14 0 15 16 22 , 8 1 2 3 4 4 5 6 7 8 23 -> 28 10 11 12 1 13 14 0 15 16 24 , 4 4 5 6 29 30 13 19 31 8 1 -> 5 20 20 15 12 6 32 0 6 29 30 , 4 4 5 6 29 30 13 19 31 8 18 -> 5 20 20 15 12 6 32 0 6 29 16 , 4 4 5 6 29 30 13 19 31 8 6 -> 5 20 20 15 12 6 32 0 6 29 25 , 4 4 5 6 29 30 13 19 31 8 20 -> 5 20 20 15 12 6 32 0 6 29 12 , 4 4 5 6 29 30 13 19 31 8 21 -> 5 20 20 15 12 6 32 0 6 29 31 , 17 4 5 6 29 30 13 19 31 8 1 -> 0 20 20 15 12 6 32 0 6 29 30 , 17 4 5 6 29 30 13 19 31 8 18 -> 0 20 20 15 12 6 32 0 6 29 16 , 17 4 5 6 29 30 13 19 31 8 6 -> 0 20 20 15 12 6 32 0 6 29 25 , 17 4 5 6 29 30 13 19 31 8 20 -> 0 20 20 15 12 6 32 0 6 29 12 , 17 4 5 6 29 30 13 19 31 8 21 -> 0 20 20 15 12 6 32 0 6 29 31 , 30 4 5 6 29 30 13 19 31 8 1 -> 12 20 20 15 12 6 32 0 6 29 30 , 30 4 5 6 29 30 13 19 31 8 18 -> 12 20 20 15 12 6 32 0 6 29 16 , 30 4 5 6 29 30 13 19 31 8 6 -> 12 20 20 15 12 6 32 0 6 29 25 , 30 4 5 6 29 30 13 19 31 8 20 -> 12 20 20 15 12 6 32 0 6 29 12 , 30 4 5 6 29 30 13 19 31 8 21 -> 12 20 20 15 12 6 32 0 6 29 31 , 10 4 5 6 29 30 13 19 31 8 1 -> 26 20 20 15 12 6 32 0 6 29 30 , 10 4 5 6 29 30 13 19 31 8 18 -> 26 20 20 15 12 6 32 0 6 29 16 , 10 4 5 6 29 30 13 19 31 8 6 -> 26 20 20 15 12 6 32 0 6 29 25 , 10 4 5 6 29 30 13 19 31 8 20 -> 26 20 20 15 12 6 32 0 6 29 12 , 10 4 5 6 29 30 13 19 31 8 21 -> 26 20 20 15 12 6 32 0 6 29 31 , 1 4 5 6 29 30 13 19 31 8 1 -> 20 20 20 15 12 6 32 0 6 29 30 , 1 4 5 6 29 30 13 19 31 8 18 -> 20 20 20 15 12 6 32 0 6 29 16 , 1 4 5 6 29 30 13 19 31 8 6 -> 20 20 20 15 12 6 32 0 6 29 25 , 1 4 5 6 29 30 13 19 31 8 20 -> 20 20 20 15 12 6 32 0 6 29 12 , 1 4 5 6 29 30 13 19 31 8 21 -> 20 20 20 15 12 6 32 0 6 29 31 , 3 4 5 6 29 30 13 19 31 8 1 -> 8 20 20 15 12 6 32 0 6 29 30 , 3 4 5 6 29 30 13 19 31 8 18 -> 8 20 20 15 12 6 32 0 6 29 16 , 3 4 5 6 29 30 13 19 31 8 6 -> 8 20 20 15 12 6 32 0 6 29 25 , 3 4 5 6 29 30 13 19 31 8 20 -> 8 20 20 15 12 6 32 0 6 29 12 , 3 4 5 6 29 30 13 19 31 8 21 -> 8 20 20 15 12 6 32 0 6 29 31 , 33 4 5 6 29 30 13 19 31 8 1 -> 34 20 20 15 12 6 32 0 6 29 30 , 33 4 5 6 29 30 13 19 31 8 18 -> 34 20 20 15 12 6 32 0 6 29 16 , 33 4 5 6 29 30 13 19 31 8 6 -> 34 20 20 15 12 6 32 0 6 29 25 , 33 4 5 6 29 30 13 19 31 8 20 -> 34 20 20 15 12 6 32 0 6 29 12 , 33 4 5 6 29 30 13 19 31 8 21 -> 34 20 20 15 12 6 32 0 6 29 31 , 5 20 15 25 26 18 22 3 35 27 10 -> 13 14 14 17 35 29 16 17 4 5 1 , 5 20 15 25 26 18 22 3 35 27 32 -> 13 14 14 17 35 29 16 17 4 5 18 , 5 20 15 25 26 18 22 3 35 27 29 -> 13 14 14 17 35 29 16 17 4 5 15 , 5 20 15 25 26 18 22 3 35 27 27 -> 13 14 14 17 35 29 16 17 4 5 6 , 5 20 15 25 26 18 22 3 35 27 26 -> 13 14 14 17 35 29 16 17 4 5 20 , 5 20 15 25 26 18 22 3 35 27 7 -> 13 14 14 17 35 29 16 17 4 5 21 , 5 20 15 25 26 18 22 3 35 27 36 -> 13 14 14 17 35 29 16 17 4 5 23 , 0 20 15 25 26 18 22 3 35 27 10 -> 14 14 14 17 35 29 16 17 4 5 1 , 0 20 15 25 26 18 22 3 35 27 32 -> 14 14 14 17 35 29 16 17 4 5 18 , 0 20 15 25 26 18 22 3 35 27 29 -> 14 14 14 17 35 29 16 17 4 5 15 , 0 20 15 25 26 18 22 3 35 27 27 -> 14 14 14 17 35 29 16 17 4 5 6 , 0 20 15 25 26 18 22 3 35 27 26 -> 14 14 14 17 35 29 16 17 4 5 20 , 0 20 15 25 26 18 22 3 35 27 7 -> 14 14 14 17 35 29 16 17 4 5 21 , 0 20 15 25 26 18 22 3 35 27 36 -> 14 14 14 17 35 29 16 17 4 5 23 , 12 20 15 25 26 18 22 3 35 27 10 -> 16 14 14 17 35 29 16 17 4 5 1 , 12 20 15 25 26 18 22 3 35 27 32 -> 16 14 14 17 35 29 16 17 4 5 18 , 12 20 15 25 26 18 22 3 35 27 29 -> 16 14 14 17 35 29 16 17 4 5 15 , 12 20 15 25 26 18 22 3 35 27 27 -> 16 14 14 17 35 29 16 17 4 5 6 , 12 20 15 25 26 18 22 3 35 27 26 -> 16 14 14 17 35 29 16 17 4 5 20 , 12 20 15 25 26 18 22 3 35 27 7 -> 16 14 14 17 35 29 16 17 4 5 21 , 12 20 15 25 26 18 22 3 35 27 36 -> 16 14 14 17 35 29 16 17 4 5 23 , 26 20 15 25 26 18 22 3 35 27 10 -> 32 14 14 17 35 29 16 17 4 5 1 , 26 20 15 25 26 18 22 3 35 27 32 -> 32 14 14 17 35 29 16 17 4 5 18 , 26 20 15 25 26 18 22 3 35 27 29 -> 32 14 14 17 35 29 16 17 4 5 15 , 26 20 15 25 26 18 22 3 35 27 27 -> 32 14 14 17 35 29 16 17 4 5 6 , 26 20 15 25 26 18 22 3 35 27 26 -> 32 14 14 17 35 29 16 17 4 5 20 , 26 20 15 25 26 18 22 3 35 27 7 -> 32 14 14 17 35 29 16 17 4 5 21 , 26 20 15 25 26 18 22 3 35 27 36 -> 32 14 14 17 35 29 16 17 4 5 23 , 20 20 15 25 26 18 22 3 35 27 10 -> 18 14 14 17 35 29 16 17 4 5 1 , 20 20 15 25 26 18 22 3 35 27 32 -> 18 14 14 17 35 29 16 17 4 5 18 , 20 20 15 25 26 18 22 3 35 27 29 -> 18 14 14 17 35 29 16 17 4 5 15 , 20 20 15 25 26 18 22 3 35 27 27 -> 18 14 14 17 35 29 16 17 4 5 6 , 20 20 15 25 26 18 22 3 35 27 26 -> 18 14 14 17 35 29 16 17 4 5 20 , 20 20 15 25 26 18 22 3 35 27 7 -> 18 14 14 17 35 29 16 17 4 5 21 , 20 20 15 25 26 18 22 3 35 27 36 -> 18 14 14 17 35 29 16 17 4 5 23 , 8 20 15 25 26 18 22 3 35 27 10 -> 37 14 14 17 35 29 16 17 4 5 1 , 8 20 15 25 26 18 22 3 35 27 32 -> 37 14 14 17 35 29 16 17 4 5 18 , 8 20 15 25 26 18 22 3 35 27 29 -> 37 14 14 17 35 29 16 17 4 5 15 , 8 20 15 25 26 18 22 3 35 27 27 -> 37 14 14 17 35 29 16 17 4 5 6 , 8 20 15 25 26 18 22 3 35 27 26 -> 37 14 14 17 35 29 16 17 4 5 20 , 8 20 15 25 26 18 22 3 35 27 7 -> 37 14 14 17 35 29 16 17 4 5 21 , 8 20 15 25 26 18 22 3 35 27 36 -> 37 14 14 17 35 29 16 17 4 5 23 , 34 20 15 25 26 18 22 3 35 27 10 -> 38 14 14 17 35 29 16 17 4 5 1 , 34 20 15 25 26 18 22 3 35 27 32 -> 38 14 14 17 35 29 16 17 4 5 18 , 34 20 15 25 26 18 22 3 35 27 29 -> 38 14 14 17 35 29 16 17 4 5 15 , 34 20 15 25 26 18 22 3 35 27 27 -> 38 14 14 17 35 29 16 17 4 5 6 , 34 20 15 25 26 18 22 3 35 27 26 -> 38 14 14 17 35 29 16 17 4 5 20 , 34 20 15 25 26 18 22 3 35 27 7 -> 38 14 14 17 35 29 16 17 4 5 21 , 34 20 15 25 26 18 22 3 35 27 36 -> 38 14 14 17 35 29 16 17 4 5 23 , 39 39 30 2 8 21 40 28 10 4 5 1 -> 12 21 37 9 29 39 39 31 40 37 0 1 , 39 39 30 2 8 21 40 28 10 4 5 18 -> 12 21 37 9 29 39 39 31 40 37 0 18 , 39 39 30 2 8 21 40 28 10 4 5 15 -> 12 21 37 9 29 39 39 31 40 37 0 15 , 39 39 30 2 8 21 40 28 10 4 5 6 -> 12 21 37 9 29 39 39 31 40 37 0 6 , 39 39 30 2 8 21 40 28 10 4 5 20 -> 12 21 37 9 29 39 39 31 40 37 0 20 , 39 39 30 2 8 21 40 28 10 4 5 21 -> 12 21 37 9 29 39 39 31 40 37 0 21 , 39 39 30 2 8 21 40 28 10 4 5 23 -> 12 21 37 9 29 39 39 31 40 37 0 23 , 4 2 40 8 1 2 41 39 25 10 4 13 17 -> 5 18 17 5 21 8 18 22 28 29 39 16 17 , 4 2 40 8 1 2 41 39 25 10 4 13 14 -> 5 18 17 5 21 8 18 22 28 29 39 16 14 , 4 2 40 8 1 2 41 39 25 10 4 13 19 -> 5 18 17 5 21 8 18 22 28 29 39 16 19 , 4 2 40 8 1 2 41 39 25 10 4 13 9 -> 5 18 17 5 21 8 18 22 28 29 39 16 9 , 4 2 40 8 1 2 41 39 25 10 4 13 0 -> 5 18 17 5 21 8 18 22 28 29 39 16 0 , 4 2 40 8 1 2 41 39 25 10 4 13 22 -> 5 18 17 5 21 8 18 22 28 29 39 16 22 , 4 2 40 8 1 2 41 39 25 10 4 13 24 -> 5 18 17 5 21 8 18 22 28 29 39 16 24 , 17 2 40 8 1 2 41 39 25 10 4 13 17 -> 0 18 17 5 21 8 18 22 28 29 39 16 17 , 17 2 40 8 1 2 41 39 25 10 4 13 14 -> 0 18 17 5 21 8 18 22 28 29 39 16 14 , 17 2 40 8 1 2 41 39 25 10 4 13 19 -> 0 18 17 5 21 8 18 22 28 29 39 16 19 , 17 2 40 8 1 2 41 39 25 10 4 13 9 -> 0 18 17 5 21 8 18 22 28 29 39 16 9 , 17 2 40 8 1 2 41 39 25 10 4 13 0 -> 0 18 17 5 21 8 18 22 28 29 39 16 0 , 17 2 40 8 1 2 41 39 25 10 4 13 22 -> 0 18 17 5 21 8 18 22 28 29 39 16 22 , 17 2 40 8 1 2 41 39 25 10 4 13 24 -> 0 18 17 5 21 8 18 22 28 29 39 16 24 , 30 2 40 8 1 2 41 39 25 10 4 13 17 -> 12 18 17 5 21 8 18 22 28 29 39 16 17 , 30 2 40 8 1 2 41 39 25 10 4 13 14 -> 12 18 17 5 21 8 18 22 28 29 39 16 14 , 30 2 40 8 1 2 41 39 25 10 4 13 19 -> 12 18 17 5 21 8 18 22 28 29 39 16 19 , 30 2 40 8 1 2 41 39 25 10 4 13 9 -> 12 18 17 5 21 8 18 22 28 29 39 16 9 , 30 2 40 8 1 2 41 39 25 10 4 13 0 -> 12 18 17 5 21 8 18 22 28 29 39 16 0 , 30 2 40 8 1 2 41 39 25 10 4 13 22 -> 12 18 17 5 21 8 18 22 28 29 39 16 22 , 30 2 40 8 1 2 41 39 25 10 4 13 24 -> 12 18 17 5 21 8 18 22 28 29 39 16 24 , 10 2 40 8 1 2 41 39 25 10 4 13 17 -> 26 18 17 5 21 8 18 22 28 29 39 16 17 , 10 2 40 8 1 2 41 39 25 10 4 13 14 -> 26 18 17 5 21 8 18 22 28 29 39 16 14 , 10 2 40 8 1 2 41 39 25 10 4 13 19 -> 26 18 17 5 21 8 18 22 28 29 39 16 19 , 10 2 40 8 1 2 41 39 25 10 4 13 9 -> 26 18 17 5 21 8 18 22 28 29 39 16 9 , 10 2 40 8 1 2 41 39 25 10 4 13 0 -> 26 18 17 5 21 8 18 22 28 29 39 16 0 , 10 2 40 8 1 2 41 39 25 10 4 13 22 -> 26 18 17 5 21 8 18 22 28 29 39 16 22 , 10 2 40 8 1 2 41 39 25 10 4 13 24 -> 26 18 17 5 21 8 18 22 28 29 39 16 24 , 1 2 40 8 1 2 41 39 25 10 4 13 17 -> 20 18 17 5 21 8 18 22 28 29 39 16 17 , 1 2 40 8 1 2 41 39 25 10 4 13 14 -> 20 18 17 5 21 8 18 22 28 29 39 16 14 , 1 2 40 8 1 2 41 39 25 10 4 13 19 -> 20 18 17 5 21 8 18 22 28 29 39 16 19 , 1 2 40 8 1 2 41 39 25 10 4 13 9 -> 20 18 17 5 21 8 18 22 28 29 39 16 9 , 1 2 40 8 1 2 41 39 25 10 4 13 0 -> 20 18 17 5 21 8 18 22 28 29 39 16 0 , 1 2 40 8 1 2 41 39 25 10 4 13 22 -> 20 18 17 5 21 8 18 22 28 29 39 16 22 , 1 2 40 8 1 2 41 39 25 10 4 13 24 -> 20 18 17 5 21 8 18 22 28 29 39 16 24 , 3 2 40 8 1 2 41 39 25 10 4 13 17 -> 8 18 17 5 21 8 18 22 28 29 39 16 17 , 3 2 40 8 1 2 41 39 25 10 4 13 14 -> 8 18 17 5 21 8 18 22 28 29 39 16 14 , 3 2 40 8 1 2 41 39 25 10 4 13 19 -> 8 18 17 5 21 8 18 22 28 29 39 16 19 , 3 2 40 8 1 2 41 39 25 10 4 13 9 -> 8 18 17 5 21 8 18 22 28 29 39 16 9 , 3 2 40 8 1 2 41 39 25 10 4 13 0 -> 8 18 17 5 21 8 18 22 28 29 39 16 0 , 3 2 40 8 1 2 41 39 25 10 4 13 22 -> 8 18 17 5 21 8 18 22 28 29 39 16 22 , 3 2 40 8 1 2 41 39 25 10 4 13 24 -> 8 18 17 5 21 8 18 22 28 29 39 16 24 , 33 2 40 8 1 2 41 39 25 10 4 13 17 -> 34 18 17 5 21 8 18 22 28 29 39 16 17 , 33 2 40 8 1 2 41 39 25 10 4 13 14 -> 34 18 17 5 21 8 18 22 28 29 39 16 14 , 33 2 40 8 1 2 41 39 25 10 4 13 19 -> 34 18 17 5 21 8 18 22 28 29 39 16 19 , 33 2 40 8 1 2 41 39 25 10 4 13 9 -> 34 18 17 5 21 8 18 22 28 29 39 16 9 , 33 2 40 8 1 2 41 39 25 10 4 13 0 -> 34 18 17 5 21 8 18 22 28 29 39 16 0 , 33 2 40 8 1 2 41 39 25 10 4 13 22 -> 34 18 17 5 21 8 18 22 28 29 39 16 22 , 33 2 40 8 1 2 41 39 25 10 4 13 24 -> 34 18 17 5 21 8 18 22 28 29 39 16 24 , 5 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 3 -> 5 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 3 , 5 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 37 -> 5 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 37 , 5 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 41 -> 5 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 41 , 5 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 28 -> 5 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 28 , 5 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 8 -> 5 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 8 , 5 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 40 -> 5 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 40 , 5 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 42 -> 5 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 42 , 0 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 3 -> 0 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 3 , 0 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 37 -> 0 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 37 , 0 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 41 -> 0 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 41 , 0 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 28 -> 0 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 28 , 0 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 8 -> 0 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 8 , 0 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 40 -> 0 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 40 , 0 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 42 -> 0 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 42 , 12 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 3 -> 12 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 3 , 12 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 37 -> 12 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 37 , 12 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 41 -> 12 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 41 , 12 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 28 -> 12 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 28 , 12 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 8 -> 12 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 8 , 12 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 40 -> 12 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 40 , 12 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 42 -> 12 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 42 , 26 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 3 -> 26 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 3 , 26 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 37 -> 26 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 37 , 26 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 41 -> 26 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 41 , 26 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 28 -> 26 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 28 , 26 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 8 -> 26 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 8 , 26 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 40 -> 26 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 40 , 26 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 42 -> 26 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 42 , 20 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 3 -> 20 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 3 , 20 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 37 -> 20 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 37 , 20 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 41 -> 20 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 41 , 20 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 28 -> 20 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 28 , 20 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 8 -> 20 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 8 , 20 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 40 -> 20 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 40 , 20 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 42 -> 20 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 42 , 8 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 3 -> 8 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 3 , 8 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 37 -> 8 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 37 , 8 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 41 -> 8 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 41 , 8 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 28 -> 8 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 28 , 8 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 8 -> 8 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 8 , 8 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 40 -> 8 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 40 , 8 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 42 -> 8 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 42 , 34 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 3 -> 34 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 3 , 34 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 37 -> 34 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 37 , 34 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 41 -> 34 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 41 , 34 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 28 -> 34 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 28 , 34 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 8 -> 34 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 8 , 34 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 40 -> 34 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 40 , 34 1 11 31 37 9 29 39 25 10 13 19 25 27 7 8 21 42 -> 34 15 31 41 30 13 19 30 13 0 18 14 22 41 39 31 40 42 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 1 | | 0 1 | \ / 2 is interpreted by / \ | 1 1 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 1 | | 0 1 | \ / 5 is interpreted by / \ | 1 1 | | 0 1 | \ / 6 is interpreted by / \ | 1 1 | | 0 1 | \ / 7 is interpreted by / \ | 1 1 | | 0 1 | \ / 8 is interpreted by / \ | 1 1 | | 0 1 | \ / 9 is interpreted by / \ | 1 1 | | 0 1 | \ / 10 is interpreted by / \ | 1 1 | | 0 1 | \ / 11 is interpreted by / \ | 1 1 | | 0 1 | \ / 12 is interpreted by / \ | 1 1 | | 0 1 | \ / 13 is interpreted by / \ | 1 1 | | 0 1 | \ / 14 is interpreted by / \ | 1 0 | | 0 1 | \ / 15 is interpreted by / \ | 1 1 | | 0 1 | \ / 16 is interpreted by / \ | 1 0 | | 0 1 | \ / 17 is interpreted by / \ | 1 1 | | 0 1 | \ / 18 is interpreted by / \ | 1 1 | | 0 1 | \ / 19 is interpreted by / \ | 1 1 | | 0 1 | \ / 20 is interpreted by / \ | 1 1 | | 0 1 | \ / 21 is interpreted by / \ | 1 1 | | 0 1 | \ / 22 is interpreted by / \ | 1 1 | | 0 1 | \ / 23 is interpreted by / \ | 1 1 | | 0 1 | \ / 24 is interpreted by / \ | 1 0 | | 0 1 | \ / 25 is interpreted by / \ | 1 1 | | 0 1 | \ / 26 is interpreted by / \ | 1 1 | | 0 1 | \ / 27 is interpreted by / \ | 1 1 | | 0 1 | \ / 28 is interpreted by / \ | 1 1 | | 0 1 | \ / 29 is interpreted by / \ | 1 1 | | 0 1 | \ / 30 is interpreted by / \ | 1 1 | | 0 1 | \ / 31 is interpreted by / \ | 1 1 | | 0 1 | \ / 32 is interpreted by / \ | 1 1 | | 0 1 | \ / 33 is interpreted by / \ | 1 1 | | 0 1 | \ / 34 is interpreted by / \ | 1 1 | | 0 1 | \ / 35 is interpreted by / \ | 1 0 | | 0 1 | \ / 36 is interpreted by / \ | 1 1 | | 0 1 | \ / 37 is interpreted by / \ | 1 1 | | 0 1 | \ / 38 is interpreted by / \ | 1 0 | | 0 1 | \ / 39 is interpreted by / \ | 1 0 | | 0 1 | \ / 40 is interpreted by / \ | 1 1 | | 0 1 | \ / 41 is interpreted by / \ | 1 1 | | 0 1 | \ / 42 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { 4->0, 5->1, 6->2, 29->3, 30->4, 13->5, 19->6, 31->7, 8->8, 1->9, 20->10, 15->11, 12->12, 32->13, 0->14, 25->15, 21->16, 17->17, 10->18, 26->19, 3->20, 33->21, 34->22, 39->23, 2->24, 40->25, 28->26, 37->27, 9->28, 18->29, 23->30 }, it remains to prove termination of the 35-rule system { 0 0 1 2 3 4 5 6 7 8 9 -> 1 10 10 11 12 2 13 14 2 3 4 , 0 0 1 2 3 4 5 6 7 8 2 -> 1 10 10 11 12 2 13 14 2 3 15 , 0 0 1 2 3 4 5 6 7 8 10 -> 1 10 10 11 12 2 13 14 2 3 12 , 0 0 1 2 3 4 5 6 7 8 16 -> 1 10 10 11 12 2 13 14 2 3 7 , 17 0 1 2 3 4 5 6 7 8 9 -> 14 10 10 11 12 2 13 14 2 3 4 , 17 0 1 2 3 4 5 6 7 8 2 -> 14 10 10 11 12 2 13 14 2 3 15 , 17 0 1 2 3 4 5 6 7 8 10 -> 14 10 10 11 12 2 13 14 2 3 12 , 17 0 1 2 3 4 5 6 7 8 16 -> 14 10 10 11 12 2 13 14 2 3 7 , 4 0 1 2 3 4 5 6 7 8 9 -> 12 10 10 11 12 2 13 14 2 3 4 , 4 0 1 2 3 4 5 6 7 8 2 -> 12 10 10 11 12 2 13 14 2 3 15 , 4 0 1 2 3 4 5 6 7 8 10 -> 12 10 10 11 12 2 13 14 2 3 12 , 4 0 1 2 3 4 5 6 7 8 16 -> 12 10 10 11 12 2 13 14 2 3 7 , 18 0 1 2 3 4 5 6 7 8 9 -> 19 10 10 11 12 2 13 14 2 3 4 , 18 0 1 2 3 4 5 6 7 8 2 -> 19 10 10 11 12 2 13 14 2 3 15 , 18 0 1 2 3 4 5 6 7 8 10 -> 19 10 10 11 12 2 13 14 2 3 12 , 18 0 1 2 3 4 5 6 7 8 16 -> 19 10 10 11 12 2 13 14 2 3 7 , 9 0 1 2 3 4 5 6 7 8 9 -> 10 10 10 11 12 2 13 14 2 3 4 , 9 0 1 2 3 4 5 6 7 8 2 -> 10 10 10 11 12 2 13 14 2 3 15 , 9 0 1 2 3 4 5 6 7 8 10 -> 10 10 10 11 12 2 13 14 2 3 12 , 9 0 1 2 3 4 5 6 7 8 16 -> 10 10 10 11 12 2 13 14 2 3 7 , 20 0 1 2 3 4 5 6 7 8 9 -> 8 10 10 11 12 2 13 14 2 3 4 , 20 0 1 2 3 4 5 6 7 8 2 -> 8 10 10 11 12 2 13 14 2 3 15 , 20 0 1 2 3 4 5 6 7 8 10 -> 8 10 10 11 12 2 13 14 2 3 12 , 20 0 1 2 3 4 5 6 7 8 16 -> 8 10 10 11 12 2 13 14 2 3 7 , 21 0 1 2 3 4 5 6 7 8 9 -> 22 10 10 11 12 2 13 14 2 3 4 , 21 0 1 2 3 4 5 6 7 8 2 -> 22 10 10 11 12 2 13 14 2 3 15 , 21 0 1 2 3 4 5 6 7 8 10 -> 22 10 10 11 12 2 13 14 2 3 12 , 21 0 1 2 3 4 5 6 7 8 16 -> 22 10 10 11 12 2 13 14 2 3 7 , 23 23 4 24 8 16 25 26 18 0 1 9 -> 12 16 27 28 3 23 23 7 25 27 14 9 , 23 23 4 24 8 16 25 26 18 0 1 29 -> 12 16 27 28 3 23 23 7 25 27 14 29 , 23 23 4 24 8 16 25 26 18 0 1 11 -> 12 16 27 28 3 23 23 7 25 27 14 11 , 23 23 4 24 8 16 25 26 18 0 1 2 -> 12 16 27 28 3 23 23 7 25 27 14 2 , 23 23 4 24 8 16 25 26 18 0 1 10 -> 12 16 27 28 3 23 23 7 25 27 14 10 , 23 23 4 24 8 16 25 26 18 0 1 16 -> 12 16 27 28 3 23 23 7 25 27 14 16 , 23 23 4 24 8 16 25 26 18 0 1 30 -> 12 16 27 28 3 23 23 7 25 27 14 30 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 1 | | 0 1 | \ / 2 is interpreted by / \ | 1 0 | | 0 1 | \ / 3 is interpreted by / \ | 1 0 | | 0 1 | \ / 4 is interpreted by / \ | 1 1 | | 0 1 | \ / 5 is interpreted by / \ | 1 1 | | 0 1 | \ / 6 is interpreted by / \ | 1 1 | | 0 1 | \ / 7 is interpreted by / \ | 1 1 | | 0 1 | \ / 8 is interpreted by / \ | 1 1 | | 0 1 | \ / 9 is interpreted by / \ | 1 1 | | 0 1 | \ / 10 is interpreted by / \ | 1 0 | | 0 1 | \ / 11 is interpreted by / \ | 1 0 | | 0 1 | \ / 12 is interpreted by / \ | 1 0 | | 0 1 | \ / 13 is interpreted by / \ | 1 0 | | 0 1 | \ / 14 is interpreted by / \ | 1 0 | | 0 1 | \ / 15 is interpreted by / \ | 1 0 | | 0 1 | \ / 16 is interpreted by / \ | 1 1 | | 0 1 | \ / 17 is interpreted by / \ | 1 1 | | 0 1 | \ / 18 is interpreted by / \ | 1 1 | | 0 1 | \ / 19 is interpreted by / \ | 1 0 | | 0 1 | \ / 20 is interpreted by / \ | 1 1 | | 0 1 | \ / 21 is interpreted by / \ | 1 1 | | 0 1 | \ / 22 is interpreted by / \ | 1 0 | | 0 1 | \ / 23 is interpreted by / \ | 1 0 | | 0 1 | \ / 24 is interpreted by / \ | 1 1 | | 0 1 | \ / 25 is interpreted by / \ | 1 0 | | 0 1 | \ / 26 is interpreted by / \ | 1 1 | | 0 1 | \ / 27 is interpreted by / \ | 1 0 | | 0 1 | \ / 28 is interpreted by / \ | 1 0 | | 0 1 | \ / 29 is interpreted by / \ | 1 0 | | 0 1 | \ / 30 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { }, it remains to prove termination of the 0-rule system { } The system is trivially terminating.