YES 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() -> b10() a10() -> c10() b10() -> d() c10() -> d() Proof: Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [0] [0], [1] [a10] = [0] [0], [0] [c10] = [0] [0], [0] [b10] = [0] [0], [1] [a9] = [0] [0], [0] [c9] = [0] [0], [0] [b9] = [0] [0], [1] [a8] = [0] [0], [0] [c8] = [0] [0], [0] [b8] = [0] [0], [1] [a7] = [0] [0], [0] [c7] = [0] [0], [0] [b7] = [0] [0], [1] [a6] = [0] [0], [0] [c6] = [0] [0], [0] [b6] = [0] [0], [1] [a5] = [0] [0], [0] [c5] = [0] [0], [0] [b5] = [0] [0], [1] [a4] = [0] [0], [0] [c4] = [0] [0], [0] [b4] = [0] [0], [1] [a3] = [0] [0], [0] [c3] = [0] [0], [0] [b3] = [0] [0], [1] [a2] = [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] [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] [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] [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] [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] [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] [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] [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] [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] [1] [0] a10() = [0] >= [0] = b10() [0] [0] [1] [0] a10() = [0] >= [0] = c10() [0] [0] [0] [0] b10() = [0] >= [0] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [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() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [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() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [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() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [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() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [0] [0] problem: b5() -> b6() c5() -> c6() b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [0] [0] problem: b6() -> b7() c6() -> c7() b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [0] [0] problem: b7() -> b8() c7() -> c8() b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [0] [0] problem: b8() -> b9() c8() -> c9() b9() -> b10() c9() -> c10() b10() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [0] [0] problem: b9() -> b10() c9() -> c10() b10() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [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] = d() [0] [0] [0] [0] c10() = [0] >= [0] = d() [0] [0] problem: b10() -> d() c10() -> d() Matrix Interpretation Processor: dimension: 3 interpretation: [0] [d] = [0] [0], [1] [c10] = [0] [0], [1] [b10] = [0] [0] orientation: [1] [0] b10() = [0] >= [0] = d() [0] [0] [1] [0] c10() = [0] >= [0] = d() [0] [0] problem: Qed