Problem: a1() -> b1() a1() -> c1() b1() -> b2() c1() -> c2() a2() -> b2() a2() -> c2() b2() -> b3() c2() -> c3() a3() -> b3() a3() -> c3() b3() -> b4() c3() -> c4() a4() -> b4() a4() -> c4() b4() -> b5() c4() -> c5() a5() -> b5() a5() -> c5() b5() -> b6() c5() -> c6() a6() -> b6() a6() -> c6() b6() -> b7() c6() -> c7() a7() -> b7() a7() -> c7() b7() -> b8() c7() -> c8() a8() -> b8() a8() -> c8() b8() -> b9() c8() -> c9() a9() -> b9() a9() -> c9() b9() -> b10() c9() -> c10() a10() -> b11() b10() -> b11() c10() -> b11() Proof: sorted: (order) 0:a1() -> b1() a1() -> c1() b1() -> b2() c1() -> c2() b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 1:a2() -> b2() a2() -> c2() b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 2:a3() -> b3() a3() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 3:a4() -> b4() a4() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 4:a5() -> b5() a5() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 5:a6() -> b6() a6() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 6:a7() -> b7() a7() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 7:a8() -> b8() a8() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 8:a9() -> b9() a9() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() 9:a10() -> b11() ----- sorts [1>2, 1>3, 2>6, 3>5, 4>5, 4>6, 5>8, 6>9, 7>8, 7>9, 8>11, 9>12, 10>11, 10>12, 11>14, 12>15, 13>14, 13>15, 14>17, 15>18, 16>17, 16>18, 17>20, 18>21, 19>20, 19>21, 20>23, 21>24, 22>23, 22>24, 23>26, 24>27, 25>26, 25>27, 26>29, 27>28, 28>31, 29>31, 30>31] sort attachment (non-strict) a1 : 1 b1 : 2 c1 : 3 b2 : 6 c2 : 5 a2 : 4 b3 : 9 c3 : 8 a3 : 7 b4 : 12 c4 : 11 a4 : 10 b5 : 15 c5 : 14 a5 : 13 b6 : 18 c6 : 17 a6 : 16 b7 : 21 c7 : 20 a7 : 19 b8 : 24 c8 : 23 a8 : 22 b9 : 27 c9 : 26 a9 : 25 b10 : 28 c10 : 29 a10 : 30 b11 : 31 ----- 0:a1() -> b1() a1() -> c1() b1() -> b2() c1() -> c2() b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a1() -> b1() a1() -> c1() b1() -> b2() c1() -> c2() b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [0] [c3] = [0] [0], [0] [b3] = [0] [0], [0] [c2] = [0] [0], [0] [b2] = [0] [0], [0] [c1] = [0] [0], [0] [b1] = [0] [0], [1] [a1] = [0] [0] orientation: [1] [0] a1() = [0] >= [0] = b1() [0] [0] [1] [0] a1() = [0] >= [0] = c1() [0] [0] [0] [0] b1() = [0] >= [0] = b2() [0] [0] [0] [0] c1() = [0] >= [0] = c2() [0] [0] [0] [0] b2() = [0] >= [0] = b3() [0] [0] [0] [0] c2() = [0] >= [0] = c3() [0] [0] [0] [0] b3() = [0] >= [0] = b4() [0] [0] [0] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b1() -> b2() c1() -> c2() b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [0] [c3] = [0] [0], [0] [b3] = [0] [0], [0] [c2] = [0] [0], [0] [b2] = [0] [0], [1] [c1] = [0] [0], [1] [b1] = [0] [0] orientation: [1] [0] b1() = [0] >= [0] = b2() [0] [0] [1] [0] c1() = [0] >= [0] = c2() [0] [0] [0] [0] b2() = [0] >= [0] = b3() [0] [0] [0] [0] c2() = [0] >= [0] = c3() [0] [0] [0] [0] b3() = [0] >= [0] = b4() [0] [0] [0] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [0] [c3] = [0] [0], [0] [b3] = [0] [0], [1] [c2] = [0] [0], [1] [b2] = [0] [0] orientation: [1] [0] b2() = [0] >= [0] = b3() [0] [0] [1] [0] c2() = [0] >= [0] = c3() [0] [0] [0] [0] b3() = [0] >= [0] = b4() [0] [0] [0] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [1] [c3] = [0] [0], [1] [b3] = [0] [0] orientation: [1] [0] b3() = [0] >= [0] = b4() [0] [0] [1] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [1] [c4] = [0] [0], [1] [b4] = [0] [0] orientation: [1] [0] b4() = [0] >= [0] = b5() [0] [0] [1] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [1] [c5] = [0] [0], [1] [b5] = [0] [0] orientation: [1] [0] b5() = [0] >= [0] = b6() [0] [0] [1] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [c6] = [0] [0], [1] [b6] = [0] [0] orientation: [1] [0] b6() = [0] >= [0] = b7() [0] [0] [1] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [c7] = [0] [0], [1] [b7] = [0] [0] orientation: [1] [0] b7() = [0] >= [0] = b8() [0] [0] [1] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 1:a2() -> b2() a2() -> c2() b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a2() -> b2() a2() -> c2() b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [0] [c3] = [0] [0], [0] [b3] = [0] [0], [1] [a2] = [0] [0], [0] [c2] = [0] [0], [0] [b2] = [0] [0] orientation: [1] [0] a2() = [0] >= [0] = b2() [0] [0] [1] [0] a2() = [0] >= [0] = c2() [0] [0] [0] [0] b2() = [0] >= [0] = b3() [0] [0] [0] [0] c2() = [0] >= [0] = c3() [0] [0] [0] [0] b3() = [0] >= [0] = b4() [0] [0] [0] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b2() -> b3() c2() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [0] [c3] = [0] [0], [0] [b3] = [0] [0], [1] [c2] = [0] [0], [1] [b2] = [0] [0] orientation: [1] [0] b2() = [0] >= [0] = b3() [0] [0] [1] [0] c2() = [0] >= [0] = c3() [0] [0] [0] [0] b3() = [0] >= [0] = b4() [0] [0] [0] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [1] [c3] = [0] [0], [1] [b3] = [0] [0] orientation: [1] [0] b3() = [0] >= [0] = b4() [0] [0] [1] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [1] [c4] = [0] [0], [1] [b4] = [0] [0] orientation: [1] [0] b4() = [0] >= [0] = b5() [0] [0] [1] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [1] [c5] = [0] [0], [1] [b5] = [0] [0] orientation: [1] [0] b5() = [0] >= [0] = b6() [0] [0] [1] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [c6] = [0] [0], [1] [b6] = [0] [0] orientation: [1] [0] b6() = [0] >= [0] = b7() [0] [0] [1] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [c7] = [0] [0], [1] [b7] = [0] [0] orientation: [1] [0] b7() = [0] >= [0] = b8() [0] [0] [1] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 2:a3() -> b3() a3() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a3() -> b3() a3() -> c3() b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [1] [a3] = [0] [0], [0] [c3] = [0] [0], [0] [b3] = [0] [0] orientation: [1] [0] a3() = [0] >= [0] = b3() [0] [0] [1] [0] a3() = [0] >= [0] = c3() [0] [0] [0] [0] b3() = [0] >= [0] = b4() [0] [0] [0] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b3() -> b4() c3() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [1] [c3] = [0] [0], [1] [b3] = [0] [0] orientation: [1] [0] b3() = [0] >= [0] = b4() [0] [0] [1] [0] c3() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [1] [c4] = [0] [0], [1] [b4] = [0] [0] orientation: [1] [0] b4() = [0] >= [0] = b5() [0] [0] [1] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [1] [c5] = [0] [0], [1] [b5] = [0] [0] orientation: [1] [0] b5() = [0] >= [0] = b6() [0] [0] [1] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [c6] = [0] [0], [1] [b6] = [0] [0] orientation: [1] [0] b6() = [0] >= [0] = b7() [0] [0] [1] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [c7] = [0] [0], [1] [b7] = [0] [0] orientation: [1] [0] b7() = [0] >= [0] = b8() [0] [0] [1] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 3:a4() -> b4() a4() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a4() -> b4() a4() -> c4() b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [1] [a4] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0] orientation: [1] [0] a4() = [0] >= [0] = b4() [0] [0] [1] [0] a4() = [0] >= [0] = c4() [0] [0] [0] [0] b4() = [0] >= [0] = b5() [0] [0] [0] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b4() -> b5() c4() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [1] [c4] = [0] [0], [1] [b4] = [0] [0] orientation: [1] [0] b4() = [0] >= [0] = b5() [0] [0] [1] [0] c4() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [1] [c5] = [0] [0], [1] [b5] = [0] [0] orientation: [1] [0] b5() = [0] >= [0] = b6() [0] [0] [1] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [c6] = [0] [0], [1] [b6] = [0] [0] orientation: [1] [0] b6() = [0] >= [0] = b7() [0] [0] [1] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [c7] = [0] [0], [1] [b7] = [0] [0] orientation: [1] [0] b7() = [0] >= [0] = b8() [0] [0] [1] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 4:a5() -> b5() a5() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a5() -> b5() a5() -> c5() b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [1] [a5] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0] orientation: [1] [0] a5() = [0] >= [0] = b5() [0] [0] [1] [0] a5() = [0] >= [0] = c5() [0] [0] [0] [0] b5() = [0] >= [0] = b6() [0] [0] [0] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [1] [c5] = [0] [0], [1] [b5] = [0] [0] orientation: [1] [0] b5() = [0] >= [0] = b6() [0] [0] [1] [0] c5() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [c6] = [0] [0], [1] [b6] = [0] [0] orientation: [1] [0] b6() = [0] >= [0] = b7() [0] [0] [1] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [c7] = [0] [0], [1] [b7] = [0] [0] orientation: [1] [0] b7() = [0] >= [0] = b8() [0] [0] [1] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 5:a6() -> b6() a6() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a6() -> b6() a6() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [a6] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0] orientation: [1] [0] a6() = [0] >= [0] = b6() [0] [0] [1] [0] a6() = [0] >= [0] = c6() [0] [0] [0] [0] b6() = [0] >= [0] = b7() [0] [0] [0] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [c6] = [0] [0], [1] [b6] = [0] [0] orientation: [1] [0] b6() = [0] >= [0] = b7() [0] [0] [1] [0] c6() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [c7] = [0] [0], [1] [b7] = [0] [0] orientation: [1] [0] b7() = [0] >= [0] = b8() [0] [0] [1] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 6:a7() -> b7() a7() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a7() -> b7() a7() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [a7] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0] orientation: [1] [0] a7() = [0] >= [0] = b7() [0] [0] [1] [0] a7() = [0] >= [0] = c7() [0] [0] [0] [0] b7() = [0] >= [0] = b8() [0] [0] [0] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [c7] = [0] [0], [1] [b7] = [0] [0] orientation: [1] [0] b7() = [0] >= [0] = b8() [0] [0] [1] [0] c7() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 7:a8() -> b8() a8() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a8() -> b8() a8() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [a8] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0] orientation: [1] [0] a8() = [0] >= [0] = b8() [0] [0] [1] [0] a8() = [0] >= [0] = c8() [0] [0] [0] [0] b8() = [0] >= [0] = b9() [0] [0] [0] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [c8] = [0] [0], [1] [b8] = [0] [0] orientation: [1] [0] b8() = [0] >= [0] = b9() [0] [0] [1] [0] c8() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 8:a9() -> b9() a9() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Church Rosser Transformation Processor (kb): a9() -> b9() a9() -> c9() b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() critical peaks: joinable Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [a9] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0] orientation: [1] [0] a9() = [0] >= [0] = b9() [0] [0] [1] [0] a9() = [0] >= [0] = c9() [0] [0] [0] [0] b9() = [0] >= [0] = b10() [0] [0] [0] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [c9] = [0] [0], [1] [b9] = [0] [0] orientation: [1] [0] b9() = [0] >= [0] = b10() [0] [0] [1] [0] c9() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = b11() [0] [0] [0] [0] c10() = [0] >= [0] = b11() [0] [0] problem: b10() -> b11() c10() -> b11() Matrix Interpretation Processor: dim=3 interpretation: [0] [b11] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = b11() [0] [0] [1] [0] c10() = [0] >= [0] = b11() [0] [0] problem: Qed 9:a10() -> b11() Church Rosser Transformation Processor: strict: weak: critical peaks: 0 Qed