/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES After renaming modulo the bijection { a ↦ 0, b ↦ 1, c ↦ 2 }, it remains to prove termination of the 3-rule system { 0 1 ⟶ , 0 2 ⟶ 2 1 2 2 , 1 2 ⟶ 0 1 } Applying the dependency pairs transformation. Here, ↑ marks so-called defined symbols. After renaming modulo the bijection { (0,↑) ↦ 0, (2,↓) ↦ 1, (1,↑) ↦ 2, (1,↓) ↦ 3, (0,↓) ↦ 4 }, it remains to prove termination of the 6-rule system { 0 1 ⟶ 2 1 1 , 2 1 ⟶ 0 3 , 2 1 ⟶ 2 , 4 3 →= , 4 1 →= 1 3 1 1 , 3 1 →= 4 3 } Applying sparse tiling TROC(2) [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo the bijection { (5,0) ↦ 0, (0,1) ↦ 1, (1,1) ↦ 2, (5,2) ↦ 3, (2,1) ↦ 4, (1,3) ↦ 5, (1,4) ↦ 6, (1,6) ↦ 7, (0,3) ↦ 8, (3,1) ↦ 9, (3,3) ↦ 10, (3,4) ↦ 11, (3,6) ↦ 12, (2,3) ↦ 13, (2,4) ↦ 14, (2,6) ↦ 15, (0,4) ↦ 16, (4,3) ↦ 17, (0,6) ↦ 18, (4,4) ↦ 19, (4,1) ↦ 20, (4,6) ↦ 21, (5,4) ↦ 22, (5,1) ↦ 23, (5,3) ↦ 24, (5,6) ↦ 25 }, it remains to prove termination of the 84-rule system { 0 1 2 ⟶ 3 4 2 2 , 0 1 5 ⟶ 3 4 2 5 , 0 1 6 ⟶ 3 4 2 6 , 0 1 7 ⟶ 3 4 2 7 , 3 4 2 ⟶ 0 8 9 , 3 4 5 ⟶ 0 8 10 , 3 4 6 ⟶ 0 8 11 , 3 4 7 ⟶ 0 8 12 , 3 4 2 ⟶ 3 4 , 3 4 5 ⟶ 3 13 , 3 4 6 ⟶ 3 14 , 3 4 7 ⟶ 3 15 , 16 17 9 →= 1 , 16 17 10 →= 8 , 16 17 11 →= 16 , 16 17 12 →= 18 , 6 17 9 →= 2 , 6 17 10 →= 5 , 6 17 11 →= 6 , 6 17 12 →= 7 , 14 17 9 →= 4 , 14 17 10 →= 13 , 14 17 11 →= 14 , 14 17 12 →= 15 , 11 17 9 →= 9 , 11 17 10 →= 10 , 11 17 11 →= 11 , 11 17 12 →= 12 , 19 17 9 →= 20 , 19 17 10 →= 17 , 19 17 11 →= 19 , 19 17 12 →= 21 , 22 17 9 →= 23 , 22 17 10 →= 24 , 22 17 11 →= 22 , 22 17 12 →= 25 , 16 20 2 →= 1 5 9 2 2 , 16 20 5 →= 1 5 9 2 5 , 16 20 6 →= 1 5 9 2 6 , 16 20 7 →= 1 5 9 2 7 , 6 20 2 →= 2 5 9 2 2 , 6 20 5 →= 2 5 9 2 5 , 6 20 6 →= 2 5 9 2 6 , 6 20 7 →= 2 5 9 2 7 , 14 20 2 →= 4 5 9 2 2 , 14 20 5 →= 4 5 9 2 5 , 14 20 6 →= 4 5 9 2 6 , 14 20 7 →= 4 5 9 2 7 , 11 20 2 →= 9 5 9 2 2 , 11 20 5 →= 9 5 9 2 5 , 11 20 6 →= 9 5 9 2 6 , 11 20 7 →= 9 5 9 2 7 , 19 20 2 →= 20 5 9 2 2 , 19 20 5 →= 20 5 9 2 5 , 19 20 6 →= 20 5 9 2 6 , 19 20 7 →= 20 5 9 2 7 , 22 20 2 →= 23 5 9 2 2 , 22 20 5 →= 23 5 9 2 5 , 22 20 6 →= 23 5 9 2 6 , 22 20 7 →= 23 5 9 2 7 , 8 9 2 →= 16 17 9 , 8 9 5 →= 16 17 10 , 8 9 6 →= 16 17 11 , 8 9 7 →= 16 17 12 , 5 9 2 →= 6 17 9 , 5 9 5 →= 6 17 10 , 5 9 6 →= 6 17 11 , 5 9 7 →= 6 17 12 , 13 9 2 →= 14 17 9 , 13 9 5 →= 14 17 10 , 13 9 6 →= 14 17 11 , 13 9 7 →= 14 17 12 , 10 9 2 →= 11 17 9 , 10 9 5 →= 11 17 10 , 10 9 6 →= 11 17 11 , 10 9 7 →= 11 17 12 , 17 9 2 →= 19 17 9 , 17 9 5 →= 19 17 10 , 17 9 6 →= 19 17 11 , 17 9 7 →= 19 17 12 , 24 9 2 →= 22 17 9 , 24 9 5 →= 22 17 10 , 24 9 6 →= 22 17 11 , 24 9 7 →= 22 17 12 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 1 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 5 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 6 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 7 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 8 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 9 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 10 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 11 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 12 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 13 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 14 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 15 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 16 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 17 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 18 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 19 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 20 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 21 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 22 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 23 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 24 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 25 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ After renaming modulo the bijection { 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, 16 ↦ 15, 17 ↦ 16, 19 ↦ 17, 20 ↦ 18, 22 ↦ 19, 24 ↦ 20 }, it remains to prove termination of the 74-rule system { 0 1 2 ⟶ 3 4 2 2 , 0 1 5 ⟶ 3 4 2 5 , 0 1 6 ⟶ 3 4 2 6 , 0 1 7 ⟶ 3 4 2 7 , 3 4 2 ⟶ 0 8 9 , 3 4 5 ⟶ 0 8 10 , 3 4 6 ⟶ 0 8 11 , 3 4 7 ⟶ 0 8 12 , 3 4 2 ⟶ 3 4 , 3 4 5 ⟶ 3 13 , 3 4 6 ⟶ 3 14 , 15 16 9 →= 1 , 15 16 10 →= 8 , 15 16 11 →= 15 , 6 16 9 →= 2 , 6 16 10 →= 5 , 6 16 11 →= 6 , 6 16 12 →= 7 , 14 16 9 →= 4 , 14 16 10 →= 13 , 14 16 11 →= 14 , 11 16 9 →= 9 , 11 16 10 →= 10 , 11 16 11 →= 11 , 11 16 12 →= 12 , 17 16 9 →= 18 , 17 16 10 →= 16 , 17 16 11 →= 17 , 19 16 10 →= 20 , 19 16 11 →= 19 , 15 18 2 →= 1 5 9 2 2 , 15 18 5 →= 1 5 9 2 5 , 15 18 6 →= 1 5 9 2 6 , 15 18 7 →= 1 5 9 2 7 , 6 18 2 →= 2 5 9 2 2 , 6 18 5 →= 2 5 9 2 5 , 6 18 6 →= 2 5 9 2 6 , 6 18 7 →= 2 5 9 2 7 , 14 18 2 →= 4 5 9 2 2 , 14 18 5 →= 4 5 9 2 5 , 14 18 6 →= 4 5 9 2 6 , 14 18 7 →= 4 5 9 2 7 , 11 18 2 →= 9 5 9 2 2 , 11 18 5 →= 9 5 9 2 5 , 11 18 6 →= 9 5 9 2 6 , 11 18 7 →= 9 5 9 2 7 , 17 18 2 →= 18 5 9 2 2 , 17 18 5 →= 18 5 9 2 5 , 17 18 6 →= 18 5 9 2 6 , 17 18 7 →= 18 5 9 2 7 , 8 9 2 →= 15 16 9 , 8 9 5 →= 15 16 10 , 8 9 6 →= 15 16 11 , 8 9 7 →= 15 16 12 , 5 9 2 →= 6 16 9 , 5 9 5 →= 6 16 10 , 5 9 6 →= 6 16 11 , 5 9 7 →= 6 16 12 , 13 9 2 →= 14 16 9 , 13 9 5 →= 14 16 10 , 13 9 6 →= 14 16 11 , 13 9 7 →= 14 16 12 , 10 9 2 →= 11 16 9 , 10 9 5 →= 11 16 10 , 10 9 6 →= 11 16 11 , 10 9 7 →= 11 16 12 , 16 9 2 →= 17 16 9 , 16 9 5 →= 17 16 10 , 16 9 6 →= 17 16 11 , 16 9 7 →= 17 16 12 , 20 9 2 →= 19 16 9 , 20 9 5 →= 19 16 10 , 20 9 6 →= 19 16 11 , 20 9 7 →= 19 16 12 } Applying sparse tiling TROC(2) [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo the bijection { (21,0) ↦ 0, (0,1) ↦ 1, (1,2) ↦ 2, (2,2) ↦ 3, (21,3) ↦ 4, (3,4) ↦ 5, (4,2) ↦ 6, (2,5) ↦ 7, (2,6) ↦ 8, (2,22) ↦ 9, (2,7) ↦ 10, (1,5) ↦ 11, (5,22) ↦ 12, (5,9) ↦ 13, (1,6) ↦ 14, (6,16) ↦ 15, (6,17) ↦ 16, (6,18) ↦ 17, (6,22) ↦ 18, (1,7) ↦ 19, (7,22) ↦ 20, (0,8) ↦ 21, (8,9) ↦ 22, (9,2) ↦ 23, (9,5) ↦ 24, (9,6) ↦ 25, (9,22) ↦ 26, (9,7) ↦ 27, (4,5) ↦ 28, (8,10) ↦ 29, (10,22) ↦ 30, (10,9) ↦ 31, (4,6) ↦ 32, (8,11) ↦ 33, (11,16) ↦ 34, (11,17) ↦ 35, (11,18) ↦ 36, (11,22) ↦ 37, (4,7) ↦ 38, (8,12) ↦ 39, (12,22) ↦ 40, (4,22) ↦ 41, (3,13) ↦ 42, (13,22) ↦ 43, (13,9) ↦ 44, (3,14) ↦ 45, (14,16) ↦ 46, (14,17) ↦ 47, (14,18) ↦ 48, (14,22) ↦ 49, (0,15) ↦ 50, (15,16) ↦ 51, (16,9) ↦ 52, (1,22) ↦ 53, (21,15) ↦ 54, (21,1) ↦ 55, (16,10) ↦ 56, (8,22) ↦ 57, (21,8) ↦ 58, (16,11) ↦ 59, (15,17) ↦ 60, (15,18) ↦ 61, (15,22) ↦ 62, (18,6) ↦ 63, (18,2) ↦ 64, (21,6) ↦ 65, (21,2) ↦ 66, (18,5) ↦ 67, (21,5) ↦ 68, (16,12) ↦ 69, (18,7) ↦ 70, (21,7) ↦ 71, (21,14) ↦ 72, (21,4) ↦ 73, (21,13) ↦ 74, (21,11) ↦ 75, (21,9) ↦ 76, (21,10) ↦ 77, (21,12) ↦ 78, (17,17) ↦ 79, (17,16) ↦ 80, (17,18) ↦ 81, (18,22) ↦ 82, (19,17) ↦ 83, (19,18) ↦ 84, (21,17) ↦ 85, (21,18) ↦ 86, (16,22) ↦ 87, (19,16) ↦ 88, (21,16) ↦ 89, (17,22) ↦ 90, (21,19) ↦ 91, (21,20) ↦ 92, (20,22) ↦ 93, (20,9) ↦ 94, (19,22) ↦ 95 }, it remains to prove termination of the 762-rule system { 0 1 2 3 ⟶ 4 5 6 3 3 , 0 1 2 7 ⟶ 4 5 6 3 7 , 0 1 2 8 ⟶ 4 5 6 3 8 , 0 1 2 9 ⟶ 4 5 6 3 9 , 0 1 2 10 ⟶ 4 5 6 3 10 , 0 1 11 12 ⟶ 4 5 6 7 12 , 0 1 11 13 ⟶ 4 5 6 7 13 , 0 1 14 15 ⟶ 4 5 6 8 15 , 0 1 14 16 ⟶ 4 5 6 8 16 , 0 1 14 17 ⟶ 4 5 6 8 17 , 0 1 14 18 ⟶ 4 5 6 8 18 , 0 1 19 20 ⟶ 4 5 6 10 20 , 4 5 6 3 ⟶ 0 21 22 23 , 4 5 6 7 ⟶ 0 21 22 24 , 4 5 6 8 ⟶ 0 21 22 25 , 4 5 6 9 ⟶ 0 21 22 26 , 4 5 6 10 ⟶ 0 21 22 27 , 4 5 28 12 ⟶ 0 21 29 30 , 4 5 28 13 ⟶ 0 21 29 31 , 4 5 32 15 ⟶ 0 21 33 34 , 4 5 32 16 ⟶ 0 21 33 35 , 4 5 32 17 ⟶ 0 21 33 36 , 4 5 32 18 ⟶ 0 21 33 37 , 4 5 38 20 ⟶ 0 21 39 40 , 4 5 6 3 ⟶ 4 5 6 , 4 5 6 7 ⟶ 4 5 28 , 4 5 6 8 ⟶ 4 5 32 , 4 5 6 9 ⟶ 4 5 41 , 4 5 6 10 ⟶ 4 5 38 , 4 5 28 12 ⟶ 4 42 43 , 4 5 28 13 ⟶ 4 42 44 , 4 5 32 15 ⟶ 4 45 46 , 4 5 32 16 ⟶ 4 45 47 , 4 5 32 17 ⟶ 4 45 48 , 4 5 32 18 ⟶ 4 45 49 , 50 51 52 23 →= 1 2 , 50 51 52 24 →= 1 11 , 50 51 52 25 →= 1 14 , 50 51 52 26 →= 1 53 , 50 51 52 27 →= 1 19 , 54 51 52 23 →= 55 2 , 54 51 52 24 →= 55 11 , 54 51 52 25 →= 55 14 , 54 51 52 26 →= 55 53 , 54 51 52 27 →= 55 19 , 50 51 56 30 →= 21 57 , 50 51 56 31 →= 21 22 , 54 51 56 30 →= 58 57 , 54 51 56 31 →= 58 22 , 50 51 59 34 →= 50 51 , 50 51 59 35 →= 50 60 , 50 51 59 36 →= 50 61 , 50 51 59 37 →= 50 62 , 54 51 59 34 →= 54 51 , 54 51 59 35 →= 54 60 , 54 51 59 36 →= 54 61 , 54 51 59 37 →= 54 62 , 14 15 52 23 →= 2 3 , 14 15 52 24 →= 2 7 , 14 15 52 25 →= 2 8 , 14 15 52 26 →= 2 9 , 14 15 52 27 →= 2 10 , 8 15 52 23 →= 3 3 , 8 15 52 24 →= 3 7 , 8 15 52 25 →= 3 8 , 8 15 52 26 →= 3 9 , 8 15 52 27 →= 3 10 , 63 15 52 23 →= 64 3 , 63 15 52 24 →= 64 7 , 63 15 52 25 →= 64 8 , 63 15 52 26 →= 64 9 , 63 15 52 27 →= 64 10 , 32 15 52 23 →= 6 3 , 32 15 52 24 →= 6 7 , 32 15 52 25 →= 6 8 , 32 15 52 26 →= 6 9 , 32 15 52 27 →= 6 10 , 65 15 52 23 →= 66 3 , 65 15 52 24 →= 66 7 , 65 15 52 25 →= 66 8 , 65 15 52 26 →= 66 9 , 65 15 52 27 →= 66 10 , 25 15 52 23 →= 23 3 , 25 15 52 24 →= 23 7 , 25 15 52 25 →= 23 8 , 25 15 52 26 →= 23 9 , 25 15 52 27 →= 23 10 , 14 15 56 30 →= 11 12 , 14 15 56 31 →= 11 13 , 8 15 56 30 →= 7 12 , 8 15 56 31 →= 7 13 , 63 15 56 30 →= 67 12 , 63 15 56 31 →= 67 13 , 32 15 56 30 →= 28 12 , 32 15 56 31 →= 28 13 , 65 15 56 30 →= 68 12 , 65 15 56 31 →= 68 13 , 25 15 56 30 →= 24 12 , 25 15 56 31 →= 24 13 , 14 15 59 34 →= 14 15 , 14 15 59 35 →= 14 16 , 14 15 59 36 →= 14 17 , 14 15 59 37 →= 14 18 , 8 15 59 34 →= 8 15 , 8 15 59 35 →= 8 16 , 8 15 59 36 →= 8 17 , 8 15 59 37 →= 8 18 , 63 15 59 34 →= 63 15 , 63 15 59 35 →= 63 16 , 63 15 59 36 →= 63 17 , 63 15 59 37 →= 63 18 , 32 15 59 34 →= 32 15 , 32 15 59 35 →= 32 16 , 32 15 59 36 →= 32 17 , 32 15 59 37 →= 32 18 , 65 15 59 34 →= 65 15 , 65 15 59 35 →= 65 16 , 65 15 59 36 →= 65 17 , 65 15 59 37 →= 65 18 , 25 15 59 34 →= 25 15 , 25 15 59 35 →= 25 16 , 25 15 59 36 →= 25 17 , 25 15 59 37 →= 25 18 , 14 15 69 40 →= 19 20 , 8 15 69 40 →= 10 20 , 63 15 69 40 →= 70 20 , 32 15 69 40 →= 38 20 , 65 15 69 40 →= 71 20 , 25 15 69 40 →= 27 20 , 45 46 52 23 →= 5 6 , 45 46 52 24 →= 5 28 , 45 46 52 25 →= 5 32 , 45 46 52 26 →= 5 41 , 45 46 52 27 →= 5 38 , 72 46 52 23 →= 73 6 , 72 46 52 24 →= 73 28 , 72 46 52 25 →= 73 32 , 72 46 52 26 →= 73 41 , 72 46 52 27 →= 73 38 , 45 46 56 30 →= 42 43 , 45 46 56 31 →= 42 44 , 72 46 56 30 →= 74 43 , 72 46 56 31 →= 74 44 , 45 46 59 34 →= 45 46 , 45 46 59 35 →= 45 47 , 45 46 59 36 →= 45 48 , 45 46 59 37 →= 45 49 , 72 46 59 34 →= 72 46 , 72 46 59 35 →= 72 47 , 72 46 59 36 →= 72 48 , 72 46 59 37 →= 72 49 , 59 34 52 23 →= 52 23 , 59 34 52 24 →= 52 24 , 59 34 52 25 →= 52 25 , 59 34 52 26 →= 52 26 , 59 34 52 27 →= 52 27 , 75 34 52 23 →= 76 23 , 75 34 52 24 →= 76 24 , 75 34 52 25 →= 76 25 , 75 34 52 26 →= 76 26 , 75 34 52 27 →= 76 27 , 33 34 52 23 →= 22 23 , 33 34 52 24 →= 22 24 , 33 34 52 25 →= 22 25 , 33 34 52 26 →= 22 26 , 33 34 52 27 →= 22 27 , 59 34 56 30 →= 56 30 , 59 34 56 31 →= 56 31 , 75 34 56 30 →= 77 30 , 75 34 56 31 →= 77 31 , 33 34 56 30 →= 29 30 , 33 34 56 31 →= 29 31 , 59 34 59 34 →= 59 34 , 59 34 59 35 →= 59 35 , 59 34 59 36 →= 59 36 , 59 34 59 37 →= 59 37 , 75 34 59 34 →= 75 34 , 75 34 59 35 →= 75 35 , 75 34 59 36 →= 75 36 , 75 34 59 37 →= 75 37 , 33 34 59 34 →= 33 34 , 33 34 59 35 →= 33 35 , 33 34 59 36 →= 33 36 , 33 34 59 37 →= 33 37 , 59 34 69 40 →= 69 40 , 75 34 69 40 →= 78 40 , 33 34 69 40 →= 39 40 , 79 80 52 23 →= 81 64 , 79 80 52 24 →= 81 67 , 79 80 52 25 →= 81 63 , 79 80 52 26 →= 81 82 , 79 80 52 27 →= 81 70 , 83 80 52 23 →= 84 64 , 83 80 52 24 →= 84 67 , 83 80 52 25 →= 84 63 , 83 80 52 26 →= 84 82 , 83 80 52 27 →= 84 70 , 85 80 52 23 →= 86 64 , 85 80 52 24 →= 86 67 , 85 80 52 25 →= 86 63 , 85 80 52 26 →= 86 82 , 85 80 52 27 →= 86 70 , 16 80 52 23 →= 17 64 , 16 80 52 24 →= 17 67 , 16 80 52 25 →= 17 63 , 16 80 52 26 →= 17 82 , 16 80 52 27 →= 17 70 , 35 80 52 23 →= 36 64 , 35 80 52 24 →= 36 67 , 35 80 52 25 →= 36 63 , 35 80 52 26 →= 36 82 , 35 80 52 27 →= 36 70 , 47 80 52 23 →= 48 64 , 47 80 52 24 →= 48 67 , 47 80 52 25 →= 48 63 , 47 80 52 26 →= 48 82 , 47 80 52 27 →= 48 70 , 60 80 52 23 →= 61 64 , 60 80 52 24 →= 61 67 , 60 80 52 25 →= 61 63 , 60 80 52 26 →= 61 82 , 60 80 52 27 →= 61 70 , 79 80 56 30 →= 80 87 , 79 80 56 31 →= 80 52 , 83 80 56 30 →= 88 87 , 83 80 56 31 →= 88 52 , 85 80 56 30 →= 89 87 , 85 80 56 31 →= 89 52 , 16 80 56 30 →= 15 87 , 16 80 56 31 →= 15 52 , 35 80 56 30 →= 34 87 , 35 80 56 31 →= 34 52 , 47 80 56 30 →= 46 87 , 47 80 56 31 →= 46 52 , 60 80 56 30 →= 51 87 , 60 80 56 31 →= 51 52 , 79 80 59 34 →= 79 80 , 79 80 59 35 →= 79 79 , 79 80 59 36 →= 79 81 , 79 80 59 37 →= 79 90 , 83 80 59 34 →= 83 80 , 83 80 59 35 →= 83 79 , 83 80 59 36 →= 83 81 , 83 80 59 37 →= 83 90 , 85 80 59 34 →= 85 80 , 85 80 59 35 →= 85 79 , 85 80 59 36 →= 85 81 , 85 80 59 37 →= 85 90 , 16 80 59 34 →= 16 80 , 16 80 59 35 →= 16 79 , 16 80 59 36 →= 16 81 , 16 80 59 37 →= 16 90 , 35 80 59 34 →= 35 80 , 35 80 59 35 →= 35 79 , 35 80 59 36 →= 35 81 , 35 80 59 37 →= 35 90 , 47 80 59 34 →= 47 80 , 47 80 59 35 →= 47 79 , 47 80 59 36 →= 47 81 , 47 80 59 37 →= 47 90 , 60 80 59 34 →= 60 80 , 60 80 59 35 →= 60 79 , 60 80 59 36 →= 60 81 , 60 80 59 37 →= 60 90 , 91 88 56 30 →= 92 93 , 91 88 56 31 →= 92 94 , 91 88 59 34 →= 91 88 , 91 88 59 35 →= 91 83 , 91 88 59 36 →= 91 84 , 91 88 59 37 →= 91 95 , 50 61 64 3 →= 1 11 13 23 3 3 , 50 61 64 7 →= 1 11 13 23 3 7 , 50 61 64 8 →= 1 11 13 23 3 8 , 50 61 64 9 →= 1 11 13 23 3 9 , 50 61 64 10 →= 1 11 13 23 3 10 , 54 61 64 3 →= 55 11 13 23 3 3 , 54 61 64 7 →= 55 11 13 23 3 7 , 54 61 64 8 →= 55 11 13 23 3 8 , 54 61 64 9 →= 55 11 13 23 3 9 , 54 61 64 10 →= 55 11 13 23 3 10 , 50 61 67 12 →= 1 11 13 23 7 12 , 50 61 67 13 →= 1 11 13 23 7 13 , 54 61 67 12 →= 55 11 13 23 7 12 , 54 61 67 13 →= 55 11 13 23 7 13 , 50 61 63 15 →= 1 11 13 23 8 15 , 50 61 63 16 →= 1 11 13 23 8 16 , 50 61 63 17 →= 1 11 13 23 8 17 , 50 61 63 18 →= 1 11 13 23 8 18 , 54 61 63 15 →= 55 11 13 23 8 15 , 54 61 63 16 →= 55 11 13 23 8 16 , 54 61 63 17 →= 55 11 13 23 8 17 , 54 61 63 18 →= 55 11 13 23 8 18 , 50 61 70 20 →= 1 11 13 23 10 20 , 54 61 70 20 →= 55 11 13 23 10 20 , 14 17 64 3 →= 2 7 13 23 3 3 , 14 17 64 7 →= 2 7 13 23 3 7 , 14 17 64 8 →= 2 7 13 23 3 8 , 14 17 64 9 →= 2 7 13 23 3 9 , 14 17 64 10 →= 2 7 13 23 3 10 , 8 17 64 3 →= 3 7 13 23 3 3 , 8 17 64 7 →= 3 7 13 23 3 7 , 8 17 64 8 →= 3 7 13 23 3 8 , 8 17 64 9 →= 3 7 13 23 3 9 , 8 17 64 10 →= 3 7 13 23 3 10 , 63 17 64 3 →= 64 7 13 23 3 3 , 63 17 64 7 →= 64 7 13 23 3 7 , 63 17 64 8 →= 64 7 13 23 3 8 , 63 17 64 9 →= 64 7 13 23 3 9 , 63 17 64 10 →= 64 7 13 23 3 10 , 32 17 64 3 →= 6 7 13 23 3 3 , 32 17 64 7 →= 6 7 13 23 3 7 , 32 17 64 8 →= 6 7 13 23 3 8 , 32 17 64 9 →= 6 7 13 23 3 9 , 32 17 64 10 →= 6 7 13 23 3 10 , 65 17 64 3 →= 66 7 13 23 3 3 , 65 17 64 7 →= 66 7 13 23 3 7 , 65 17 64 8 →= 66 7 13 23 3 8 , 65 17 64 9 →= 66 7 13 23 3 9 , 65 17 64 10 →= 66 7 13 23 3 10 , 25 17 64 3 →= 23 7 13 23 3 3 , 25 17 64 7 →= 23 7 13 23 3 7 , 25 17 64 8 →= 23 7 13 23 3 8 , 25 17 64 9 →= 23 7 13 23 3 9 , 25 17 64 10 →= 23 7 13 23 3 10 , 14 17 67 12 →= 2 7 13 23 7 12 , 14 17 67 13 →= 2 7 13 23 7 13 , 8 17 67 12 →= 3 7 13 23 7 12 , 8 17 67 13 →= 3 7 13 23 7 13 , 63 17 67 12 →= 64 7 13 23 7 12 , 63 17 67 13 →= 64 7 13 23 7 13 , 32 17 67 12 →= 6 7 13 23 7 12 , 32 17 67 13 →= 6 7 13 23 7 13 , 65 17 67 12 →= 66 7 13 23 7 12 , 65 17 67 13 →= 66 7 13 23 7 13 , 25 17 67 12 →= 23 7 13 23 7 12 , 25 17 67 13 →= 23 7 13 23 7 13 , 14 17 63 15 →= 2 7 13 23 8 15 , 14 17 63 16 →= 2 7 13 23 8 16 , 14 17 63 17 →= 2 7 13 23 8 17 , 14 17 63 18 →= 2 7 13 23 8 18 , 8 17 63 15 →= 3 7 13 23 8 15 , 8 17 63 16 →= 3 7 13 23 8 16 , 8 17 63 17 →= 3 7 13 23 8 17 , 8 17 63 18 →= 3 7 13 23 8 18 , 63 17 63 15 →= 64 7 13 23 8 15 , 63 17 63 16 →= 64 7 13 23 8 16 , 63 17 63 17 →= 64 7 13 23 8 17 , 63 17 63 18 →= 64 7 13 23 8 18 , 32 17 63 15 →= 6 7 13 23 8 15 , 32 17 63 16 →= 6 7 13 23 8 16 , 32 17 63 17 →= 6 7 13 23 8 17 , 32 17 63 18 →= 6 7 13 23 8 18 , 65 17 63 15 →= 66 7 13 23 8 15 , 65 17 63 16 →= 66 7 13 23 8 16 , 65 17 63 17 →= 66 7 13 23 8 17 , 65 17 63 18 →= 66 7 13 23 8 18 , 25 17 63 15 →= 23 7 13 23 8 15 , 25 17 63 16 →= 23 7 13 23 8 16 , 25 17 63 17 →= 23 7 13 23 8 17 , 25 17 63 18 →= 23 7 13 23 8 18 , 14 17 70 20 →= 2 7 13 23 10 20 , 8 17 70 20 →= 3 7 13 23 10 20 , 63 17 70 20 →= 64 7 13 23 10 20 , 32 17 70 20 →= 6 7 13 23 10 20 , 65 17 70 20 →= 66 7 13 23 10 20 , 25 17 70 20 →= 23 7 13 23 10 20 , 45 48 64 3 →= 5 28 13 23 3 3 , 45 48 64 7 →= 5 28 13 23 3 7 , 45 48 64 8 →= 5 28 13 23 3 8 , 45 48 64 9 →= 5 28 13 23 3 9 , 45 48 64 10 →= 5 28 13 23 3 10 , 72 48 64 3 →= 73 28 13 23 3 3 , 72 48 64 7 →= 73 28 13 23 3 7 , 72 48 64 8 →= 73 28 13 23 3 8 , 72 48 64 9 →= 73 28 13 23 3 9 , 72 48 64 10 →= 73 28 13 23 3 10 , 45 48 67 12 →= 5 28 13 23 7 12 , 45 48 67 13 →= 5 28 13 23 7 13 , 72 48 67 12 →= 73 28 13 23 7 12 , 72 48 67 13 →= 73 28 13 23 7 13 , 45 48 63 15 →= 5 28 13 23 8 15 , 45 48 63 16 →= 5 28 13 23 8 16 , 45 48 63 17 →= 5 28 13 23 8 17 , 45 48 63 18 →= 5 28 13 23 8 18 , 72 48 63 15 →= 73 28 13 23 8 15 , 72 48 63 16 →= 73 28 13 23 8 16 , 72 48 63 17 →= 73 28 13 23 8 17 , 72 48 63 18 →= 73 28 13 23 8 18 , 45 48 70 20 →= 5 28 13 23 10 20 , 72 48 70 20 →= 73 28 13 23 10 20 , 59 36 64 3 →= 52 24 13 23 3 3 , 59 36 64 7 →= 52 24 13 23 3 7 , 59 36 64 8 →= 52 24 13 23 3 8 , 59 36 64 9 →= 52 24 13 23 3 9 , 59 36 64 10 →= 52 24 13 23 3 10 , 75 36 64 3 →= 76 24 13 23 3 3 , 75 36 64 7 →= 76 24 13 23 3 7 , 75 36 64 8 →= 76 24 13 23 3 8 , 75 36 64 9 →= 76 24 13 23 3 9 , 75 36 64 10 →= 76 24 13 23 3 10 , 33 36 64 3 →= 22 24 13 23 3 3 , 33 36 64 7 →= 22 24 13 23 3 7 , 33 36 64 8 →= 22 24 13 23 3 8 , 33 36 64 9 →= 22 24 13 23 3 9 , 33 36 64 10 →= 22 24 13 23 3 10 , 59 36 67 12 →= 52 24 13 23 7 12 , 59 36 67 13 →= 52 24 13 23 7 13 , 75 36 67 12 →= 76 24 13 23 7 12 , 75 36 67 13 →= 76 24 13 23 7 13 , 33 36 67 12 →= 22 24 13 23 7 12 , 33 36 67 13 →= 22 24 13 23 7 13 , 59 36 63 15 →= 52 24 13 23 8 15 , 59 36 63 16 →= 52 24 13 23 8 16 , 59 36 63 17 →= 52 24 13 23 8 17 , 59 36 63 18 →= 52 24 13 23 8 18 , 75 36 63 15 →= 76 24 13 23 8 15 , 75 36 63 16 →= 76 24 13 23 8 16 , 75 36 63 17 →= 76 24 13 23 8 17 , 75 36 63 18 →= 76 24 13 23 8 18 , 33 36 63 15 →= 22 24 13 23 8 15 , 33 36 63 16 →= 22 24 13 23 8 16 , 33 36 63 17 →= 22 24 13 23 8 17 , 33 36 63 18 →= 22 24 13 23 8 18 , 59 36 70 20 →= 52 24 13 23 10 20 , 75 36 70 20 →= 76 24 13 23 10 20 , 33 36 70 20 →= 22 24 13 23 10 20 , 79 81 64 3 →= 81 67 13 23 3 3 , 79 81 64 7 →= 81 67 13 23 3 7 , 79 81 64 8 →= 81 67 13 23 3 8 , 79 81 64 9 →= 81 67 13 23 3 9 , 79 81 64 10 →= 81 67 13 23 3 10 , 83 81 64 3 →= 84 67 13 23 3 3 , 83 81 64 7 →= 84 67 13 23 3 7 , 83 81 64 8 →= 84 67 13 23 3 8 , 83 81 64 9 →= 84 67 13 23 3 9 , 83 81 64 10 →= 84 67 13 23 3 10 , 85 81 64 3 →= 86 67 13 23 3 3 , 85 81 64 7 →= 86 67 13 23 3 7 , 85 81 64 8 →= 86 67 13 23 3 8 , 85 81 64 9 →= 86 67 13 23 3 9 , 85 81 64 10 →= 86 67 13 23 3 10 , 16 81 64 3 →= 17 67 13 23 3 3 , 16 81 64 7 →= 17 67 13 23 3 7 , 16 81 64 8 →= 17 67 13 23 3 8 , 16 81 64 9 →= 17 67 13 23 3 9 , 16 81 64 10 →= 17 67 13 23 3 10 , 35 81 64 3 →= 36 67 13 23 3 3 , 35 81 64 7 →= 36 67 13 23 3 7 , 35 81 64 8 →= 36 67 13 23 3 8 , 35 81 64 9 →= 36 67 13 23 3 9 , 35 81 64 10 →= 36 67 13 23 3 10 , 47 81 64 3 →= 48 67 13 23 3 3 , 47 81 64 7 →= 48 67 13 23 3 7 , 47 81 64 8 →= 48 67 13 23 3 8 , 47 81 64 9 →= 48 67 13 23 3 9 , 47 81 64 10 →= 48 67 13 23 3 10 , 60 81 64 3 →= 61 67 13 23 3 3 , 60 81 64 7 →= 61 67 13 23 3 7 , 60 81 64 8 →= 61 67 13 23 3 8 , 60 81 64 9 →= 61 67 13 23 3 9 , 60 81 64 10 →= 61 67 13 23 3 10 , 79 81 67 12 →= 81 67 13 23 7 12 , 79 81 67 13 →= 81 67 13 23 7 13 , 83 81 67 12 →= 84 67 13 23 7 12 , 83 81 67 13 →= 84 67 13 23 7 13 , 85 81 67 12 →= 86 67 13 23 7 12 , 85 81 67 13 →= 86 67 13 23 7 13 , 16 81 67 12 →= 17 67 13 23 7 12 , 16 81 67 13 →= 17 67 13 23 7 13 , 35 81 67 12 →= 36 67 13 23 7 12 , 35 81 67 13 →= 36 67 13 23 7 13 , 47 81 67 12 →= 48 67 13 23 7 12 , 47 81 67 13 →= 48 67 13 23 7 13 , 60 81 67 12 →= 61 67 13 23 7 12 , 60 81 67 13 →= 61 67 13 23 7 13 , 79 81 63 15 →= 81 67 13 23 8 15 , 79 81 63 16 →= 81 67 13 23 8 16 , 79 81 63 17 →= 81 67 13 23 8 17 , 79 81 63 18 →= 81 67 13 23 8 18 , 83 81 63 15 →= 84 67 13 23 8 15 , 83 81 63 16 →= 84 67 13 23 8 16 , 83 81 63 17 →= 84 67 13 23 8 17 , 83 81 63 18 →= 84 67 13 23 8 18 , 85 81 63 15 →= 86 67 13 23 8 15 , 85 81 63 16 →= 86 67 13 23 8 16 , 85 81 63 17 →= 86 67 13 23 8 17 , 85 81 63 18 →= 86 67 13 23 8 18 , 16 81 63 15 →= 17 67 13 23 8 15 , 16 81 63 16 →= 17 67 13 23 8 16 , 16 81 63 17 →= 17 67 13 23 8 17 , 16 81 63 18 →= 17 67 13 23 8 18 , 35 81 63 15 →= 36 67 13 23 8 15 , 35 81 63 16 →= 36 67 13 23 8 16 , 35 81 63 17 →= 36 67 13 23 8 17 , 35 81 63 18 →= 36 67 13 23 8 18 , 47 81 63 15 →= 48 67 13 23 8 15 , 47 81 63 16 →= 48 67 13 23 8 16 , 47 81 63 17 →= 48 67 13 23 8 17 , 47 81 63 18 →= 48 67 13 23 8 18 , 60 81 63 15 →= 61 67 13 23 8 15 , 60 81 63 16 →= 61 67 13 23 8 16 , 60 81 63 17 →= 61 67 13 23 8 17 , 60 81 63 18 →= 61 67 13 23 8 18 , 79 81 70 20 →= 81 67 13 23 10 20 , 83 81 70 20 →= 84 67 13 23 10 20 , 85 81 70 20 →= 86 67 13 23 10 20 , 16 81 70 20 →= 17 67 13 23 10 20 , 35 81 70 20 →= 36 67 13 23 10 20 , 47 81 70 20 →= 48 67 13 23 10 20 , 60 81 70 20 →= 61 67 13 23 10 20 , 21 22 23 3 →= 50 51 52 23 , 21 22 23 7 →= 50 51 52 24 , 21 22 23 8 →= 50 51 52 25 , 21 22 23 9 →= 50 51 52 26 , 21 22 23 10 →= 50 51 52 27 , 58 22 23 3 →= 54 51 52 23 , 58 22 23 7 →= 54 51 52 24 , 58 22 23 8 →= 54 51 52 25 , 58 22 23 9 →= 54 51 52 26 , 58 22 23 10 →= 54 51 52 27 , 21 22 24 12 →= 50 51 56 30 , 21 22 24 13 →= 50 51 56 31 , 58 22 24 12 →= 54 51 56 30 , 58 22 24 13 →= 54 51 56 31 , 21 22 25 15 →= 50 51 59 34 , 21 22 25 16 →= 50 51 59 35 , 21 22 25 17 →= 50 51 59 36 , 21 22 25 18 →= 50 51 59 37 , 58 22 25 15 →= 54 51 59 34 , 58 22 25 16 →= 54 51 59 35 , 58 22 25 17 →= 54 51 59 36 , 58 22 25 18 →= 54 51 59 37 , 21 22 27 20 →= 50 51 69 40 , 58 22 27 20 →= 54 51 69 40 , 11 13 23 3 →= 14 15 52 23 , 11 13 23 7 →= 14 15 52 24 , 11 13 23 8 →= 14 15 52 25 , 11 13 23 9 →= 14 15 52 26 , 11 13 23 10 →= 14 15 52 27 , 7 13 23 3 →= 8 15 52 23 , 7 13 23 7 →= 8 15 52 24 , 7 13 23 8 →= 8 15 52 25 , 7 13 23 9 →= 8 15 52 26 , 7 13 23 10 →= 8 15 52 27 , 67 13 23 3 →= 63 15 52 23 , 67 13 23 7 →= 63 15 52 24 , 67 13 23 8 →= 63 15 52 25 , 67 13 23 9 →= 63 15 52 26 , 67 13 23 10 →= 63 15 52 27 , 28 13 23 3 →= 32 15 52 23 , 28 13 23 7 →= 32 15 52 24 , 28 13 23 8 →= 32 15 52 25 , 28 13 23 9 →= 32 15 52 26 , 28 13 23 10 →= 32 15 52 27 , 68 13 23 3 →= 65 15 52 23 , 68 13 23 7 →= 65 15 52 24 , 68 13 23 8 →= 65 15 52 25 , 68 13 23 9 →= 65 15 52 26 , 68 13 23 10 →= 65 15 52 27 , 24 13 23 3 →= 25 15 52 23 , 24 13 23 7 →= 25 15 52 24 , 24 13 23 8 →= 25 15 52 25 , 24 13 23 9 →= 25 15 52 26 , 24 13 23 10 →= 25 15 52 27 , 11 13 24 12 →= 14 15 56 30 , 11 13 24 13 →= 14 15 56 31 , 7 13 24 12 →= 8 15 56 30 , 7 13 24 13 →= 8 15 56 31 , 67 13 24 12 →= 63 15 56 30 , 67 13 24 13 →= 63 15 56 31 , 28 13 24 12 →= 32 15 56 30 , 28 13 24 13 →= 32 15 56 31 , 68 13 24 12 →= 65 15 56 30 , 68 13 24 13 →= 65 15 56 31 , 24 13 24 12 →= 25 15 56 30 , 24 13 24 13 →= 25 15 56 31 , 11 13 25 15 →= 14 15 59 34 , 11 13 25 16 →= 14 15 59 35 , 11 13 25 17 →= 14 15 59 36 , 11 13 25 18 →= 14 15 59 37 , 7 13 25 15 →= 8 15 59 34 , 7 13 25 16 →= 8 15 59 35 , 7 13 25 17 →= 8 15 59 36 , 7 13 25 18 →= 8 15 59 37 , 67 13 25 15 →= 63 15 59 34 , 67 13 25 16 →= 63 15 59 35 , 67 13 25 17 →= 63 15 59 36 , 67 13 25 18 →= 63 15 59 37 , 28 13 25 15 →= 32 15 59 34 , 28 13 25 16 →= 32 15 59 35 , 28 13 25 17 →= 32 15 59 36 , 28 13 25 18 →= 32 15 59 37 , 68 13 25 15 →= 65 15 59 34 , 68 13 25 16 →= 65 15 59 35 , 68 13 25 17 →= 65 15 59 36 , 68 13 25 18 →= 65 15 59 37 , 24 13 25 15 →= 25 15 59 34 , 24 13 25 16 →= 25 15 59 35 , 24 13 25 17 →= 25 15 59 36 , 24 13 25 18 →= 25 15 59 37 , 11 13 27 20 →= 14 15 69 40 , 7 13 27 20 →= 8 15 69 40 , 67 13 27 20 →= 63 15 69 40 , 28 13 27 20 →= 32 15 69 40 , 68 13 27 20 →= 65 15 69 40 , 24 13 27 20 →= 25 15 69 40 , 42 44 23 3 →= 45 46 52 23 , 42 44 23 7 →= 45 46 52 24 , 42 44 23 8 →= 45 46 52 25 , 42 44 23 9 →= 45 46 52 26 , 42 44 23 10 →= 45 46 52 27 , 74 44 23 3 →= 72 46 52 23 , 74 44 23 7 →= 72 46 52 24 , 74 44 23 8 →= 72 46 52 25 , 74 44 23 9 →= 72 46 52 26 , 74 44 23 10 →= 72 46 52 27 , 42 44 24 12 →= 45 46 56 30 , 42 44 24 13 →= 45 46 56 31 , 74 44 24 12 →= 72 46 56 30 , 74 44 24 13 →= 72 46 56 31 , 42 44 25 15 →= 45 46 59 34 , 42 44 25 16 →= 45 46 59 35 , 42 44 25 17 →= 45 46 59 36 , 42 44 25 18 →= 45 46 59 37 , 74 44 25 15 →= 72 46 59 34 , 74 44 25 16 →= 72 46 59 35 , 74 44 25 17 →= 72 46 59 36 , 74 44 25 18 →= 72 46 59 37 , 42 44 27 20 →= 45 46 69 40 , 74 44 27 20 →= 72 46 69 40 , 56 31 23 3 →= 59 34 52 23 , 56 31 23 7 →= 59 34 52 24 , 56 31 23 8 →= 59 34 52 25 , 56 31 23 9 →= 59 34 52 26 , 56 31 23 10 →= 59 34 52 27 , 77 31 23 3 →= 75 34 52 23 , 77 31 23 7 →= 75 34 52 24 , 77 31 23 8 →= 75 34 52 25 , 77 31 23 9 →= 75 34 52 26 , 77 31 23 10 →= 75 34 52 27 , 29 31 23 3 →= 33 34 52 23 , 29 31 23 7 →= 33 34 52 24 , 29 31 23 8 →= 33 34 52 25 , 29 31 23 9 →= 33 34 52 26 , 29 31 23 10 →= 33 34 52 27 , 56 31 24 12 →= 59 34 56 30 , 56 31 24 13 →= 59 34 56 31 , 77 31 24 12 →= 75 34 56 30 , 77 31 24 13 →= 75 34 56 31 , 29 31 24 12 →= 33 34 56 30 , 29 31 24 13 →= 33 34 56 31 , 56 31 25 15 →= 59 34 59 34 , 56 31 25 16 →= 59 34 59 35 , 56 31 25 17 →= 59 34 59 36 , 56 31 25 18 →= 59 34 59 37 , 77 31 25 15 →= 75 34 59 34 , 77 31 25 16 →= 75 34 59 35 , 77 31 25 17 →= 75 34 59 36 , 77 31 25 18 →= 75 34 59 37 , 29 31 25 15 →= 33 34 59 34 , 29 31 25 16 →= 33 34 59 35 , 29 31 25 17 →= 33 34 59 36 , 29 31 25 18 →= 33 34 59 37 , 56 31 27 20 →= 59 34 69 40 , 77 31 27 20 →= 75 34 69 40 , 29 31 27 20 →= 33 34 69 40 , 80 52 23 3 →= 79 80 52 23 , 80 52 23 7 →= 79 80 52 24 , 80 52 23 8 →= 79 80 52 25 , 80 52 23 9 →= 79 80 52 26 , 80 52 23 10 →= 79 80 52 27 , 88 52 23 3 →= 83 80 52 23 , 88 52 23 7 →= 83 80 52 24 , 88 52 23 8 →= 83 80 52 25 , 88 52 23 9 →= 83 80 52 26 , 88 52 23 10 →= 83 80 52 27 , 89 52 23 3 →= 85 80 52 23 , 89 52 23 7 →= 85 80 52 24 , 89 52 23 8 →= 85 80 52 25 , 89 52 23 9 →= 85 80 52 26 , 89 52 23 10 →= 85 80 52 27 , 15 52 23 3 →= 16 80 52 23 , 15 52 23 7 →= 16 80 52 24 , 15 52 23 8 →= 16 80 52 25 , 15 52 23 9 →= 16 80 52 26 , 15 52 23 10 →= 16 80 52 27 , 34 52 23 3 →= 35 80 52 23 , 34 52 23 7 →= 35 80 52 24 , 34 52 23 8 →= 35 80 52 25 , 34 52 23 9 →= 35 80 52 26 , 34 52 23 10 →= 35 80 52 27 , 46 52 23 3 →= 47 80 52 23 , 46 52 23 7 →= 47 80 52 24 , 46 52 23 8 →= 47 80 52 25 , 46 52 23 9 →= 47 80 52 26 , 46 52 23 10 →= 47 80 52 27 , 51 52 23 3 →= 60 80 52 23 , 51 52 23 7 →= 60 80 52 24 , 51 52 23 8 →= 60 80 52 25 , 51 52 23 9 →= 60 80 52 26 , 51 52 23 10 →= 60 80 52 27 , 80 52 24 12 →= 79 80 56 30 , 80 52 24 13 →= 79 80 56 31 , 88 52 24 12 →= 83 80 56 30 , 88 52 24 13 →= 83 80 56 31 , 89 52 24 12 →= 85 80 56 30 , 89 52 24 13 →= 85 80 56 31 , 15 52 24 12 →= 16 80 56 30 , 15 52 24 13 →= 16 80 56 31 , 34 52 24 12 →= 35 80 56 30 , 34 52 24 13 →= 35 80 56 31 , 46 52 24 12 →= 47 80 56 30 , 46 52 24 13 →= 47 80 56 31 , 51 52 24 12 →= 60 80 56 30 , 51 52 24 13 →= 60 80 56 31 , 80 52 25 15 →= 79 80 59 34 , 80 52 25 16 →= 79 80 59 35 , 80 52 25 17 →= 79 80 59 36 , 80 52 25 18 →= 79 80 59 37 , 88 52 25 15 →= 83 80 59 34 , 88 52 25 16 →= 83 80 59 35 , 88 52 25 17 →= 83 80 59 36 , 88 52 25 18 →= 83 80 59 37 , 89 52 25 15 →= 85 80 59 34 , 89 52 25 16 →= 85 80 59 35 , 89 52 25 17 →= 85 80 59 36 , 89 52 25 18 →= 85 80 59 37 , 15 52 25 15 →= 16 80 59 34 , 15 52 25 16 →= 16 80 59 35 , 15 52 25 17 →= 16 80 59 36 , 15 52 25 18 →= 16 80 59 37 , 34 52 25 15 →= 35 80 59 34 , 34 52 25 16 →= 35 80 59 35 , 34 52 25 17 →= 35 80 59 36 , 34 52 25 18 →= 35 80 59 37 , 46 52 25 15 →= 47 80 59 34 , 46 52 25 16 →= 47 80 59 35 , 46 52 25 17 →= 47 80 59 36 , 46 52 25 18 →= 47 80 59 37 , 51 52 25 15 →= 60 80 59 34 , 51 52 25 16 →= 60 80 59 35 , 51 52 25 17 →= 60 80 59 36 , 51 52 25 18 →= 60 80 59 37 , 80 52 27 20 →= 79 80 69 40 , 88 52 27 20 →= 83 80 69 40 , 89 52 27 20 →= 85 80 69 40 , 15 52 27 20 →= 16 80 69 40 , 34 52 27 20 →= 35 80 69 40 , 46 52 27 20 →= 47 80 69 40 , 51 52 27 20 →= 60 80 69 40 , 92 94 23 3 →= 91 88 52 23 , 92 94 23 7 →= 91 88 52 24 , 92 94 23 8 →= 91 88 52 25 , 92 94 23 9 →= 91 88 52 26 , 92 94 23 10 →= 91 88 52 27 , 92 94 24 12 →= 91 88 56 30 , 92 94 24 13 →= 91 88 56 31 , 92 94 25 15 →= 91 88 59 34 , 92 94 25 16 →= 91 88 59 35 , 92 94 25 17 →= 91 88 59 36 , 92 94 25 18 →= 91 88 59 37 , 92 94 27 20 →= 91 88 69 40 } Applying sparse untiling TROCU(2) after reversal [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo the bijection { 3 ↦ 0, 2 ↦ 1, 1 ↦ 2, 0 ↦ 3, 6 ↦ 4, 5 ↦ 5, 4 ↦ 6, 7 ↦ 7, 8 ↦ 8, 9 ↦ 9, 10 ↦ 10, 12 ↦ 11, 11 ↦ 12, 13 ↦ 13, 15 ↦ 14, 14 ↦ 15, 16 ↦ 16, 17 ↦ 17, 18 ↦ 18, 20 ↦ 19, 19 ↦ 20, 23 ↦ 21, 22 ↦ 22, 21 ↦ 23, 24 ↦ 24, 25 ↦ 25, 26 ↦ 26, 27 ↦ 27, 28 ↦ 28, 30 ↦ 29, 29 ↦ 30, 31 ↦ 31, 32 ↦ 32, 34 ↦ 33, 33 ↦ 34, 35 ↦ 35, 36 ↦ 36, 37 ↦ 37, 38 ↦ 38, 40 ↦ 39, 39 ↦ 40, 41 ↦ 41, 43 ↦ 42, 42 ↦ 43, 44 ↦ 44, 46 ↦ 45, 45 ↦ 46, 47 ↦ 47, 48 ↦ 48, 49 ↦ 49, 52 ↦ 50, 51 ↦ 51, 50 ↦ 52, 53 ↦ 53, 54 ↦ 54, 55 ↦ 55, 56 ↦ 56, 57 ↦ 57, 58 ↦ 58, 59 ↦ 59, 60 ↦ 60, 61 ↦ 61, 62 ↦ 62, 63 ↦ 63, 64 ↦ 64, 65 ↦ 65, 66 ↦ 66, 67 ↦ 67, 68 ↦ 68, 69 ↦ 69, 70 ↦ 70, 71 ↦ 71, 72 ↦ 72, 73 ↦ 73, 74 ↦ 74, 75 ↦ 75, 76 ↦ 76, 77 ↦ 77, 78 ↦ 78, 80 ↦ 79, 79 ↦ 80, 81 ↦ 81, 82 ↦ 82, 83 ↦ 83, 84 ↦ 84, 85 ↦ 85, 86 ↦ 86, 87 ↦ 87, 88 ↦ 88, 89 ↦ 89, 90 ↦ 90, 91 ↦ 91, 93 ↦ 92, 92 ↦ 93, 94 ↦ 94, 95 ↦ 95 }, it remains to prove termination of the 678-rule system { 0 1 2 3 ⟶ 4 5 6 3 3 , 0 1 2 7 ⟶ 4 5 6 3 7 , 0 1 2 8 ⟶ 4 5 6 3 8 , 0 1 2 9 ⟶ 4 5 6 3 9 , 0 1 2 10 ⟶ 4 5 6 3 10 , 0 1 11 12 ⟶ 4 5 6 7 12 , 0 1 11 13 ⟶ 4 5 6 7 13 , 0 1 14 15 ⟶ 4 5 6 8 15 , 0 1 14 16 ⟶ 4 5 6 8 16 , 0 1 14 17 ⟶ 4 5 6 8 17 , 0 1 14 18 ⟶ 4 5 6 8 18 , 0 1 19 20 ⟶ 4 5 6 10 20 , 4 5 6 3 ⟶ 0 21 22 23 , 4 5 6 7 ⟶ 0 21 22 24 , 4 5 6 8 ⟶ 0 21 22 25 , 4 5 6 9 ⟶ 0 21 22 26 , 4 5 6 10 ⟶ 0 21 22 27 , 4 5 28 12 ⟶ 0 21 29 30 , 4 5 28 13 ⟶ 0 21 29 31 , 4 5 32 15 ⟶ 0 21 33 34 , 4 5 32 16 ⟶ 0 21 33 35 , 4 5 32 17 ⟶ 0 21 33 36 , 4 5 32 18 ⟶ 0 21 33 37 , 4 5 38 20 ⟶ 0 21 39 40 , 4 5 6 3 ⟶ 4 5 6 , 4 5 6 7 ⟶ 4 5 28 , 4 5 6 8 ⟶ 4 5 32 , 4 5 6 9 ⟶ 4 5 41 , 4 5 6 10 ⟶ 4 5 38 , 4 5 28 12 ⟶ 4 42 43 , 4 5 28 13 ⟶ 4 42 44 , 4 5 32 15 ⟶ 4 45 46 , 4 5 32 16 ⟶ 4 45 47 , 4 5 32 17 ⟶ 4 45 48 , 4 5 32 18 ⟶ 4 45 49 , 50 51 52 23 →= 1 2 , 50 51 52 24 →= 1 11 , 50 51 52 25 →= 1 14 , 50 51 52 26 →= 1 53 , 50 51 52 27 →= 1 19 , 54 51 52 23 →= 55 2 , 54 51 52 24 →= 55 11 , 54 51 52 25 →= 55 14 , 54 51 52 26 →= 55 53 , 54 51 52 27 →= 55 19 , 50 51 56 30 →= 21 57 , 50 51 56 31 →= 21 22 , 54 51 56 30 →= 58 57 , 54 51 56 31 →= 58 22 , 50 51 59 34 →= 50 51 , 50 51 59 35 →= 50 60 , 50 51 59 36 →= 50 61 , 50 51 59 37 →= 50 62 , 54 51 59 34 →= 54 51 , 54 51 59 35 →= 54 60 , 54 51 59 36 →= 54 61 , 54 51 59 37 →= 54 62 , 14 15 52 23 →= 2 3 , 14 15 52 24 →= 2 7 , 14 15 52 25 →= 2 8 , 14 15 52 26 →= 2 9 , 14 15 52 27 →= 2 10 , 8 15 52 23 →= 3 3 , 8 15 52 24 →= 3 7 , 8 15 52 25 →= 3 8 , 8 15 52 26 →= 3 9 , 8 15 52 27 →= 3 10 , 63 15 52 23 →= 64 3 , 63 15 52 24 →= 64 7 , 63 15 52 25 →= 64 8 , 63 15 52 26 →= 64 9 , 63 15 52 27 →= 64 10 , 32 15 52 23 →= 6 3 , 32 15 52 24 →= 6 7 , 32 15 52 25 →= 6 8 , 32 15 52 26 →= 6 9 , 32 15 52 27 →= 6 10 , 65 15 52 23 →= 66 3 , 65 15 52 24 →= 66 7 , 65 15 52 25 →= 66 8 , 65 15 52 26 →= 66 9 , 65 15 52 27 →= 66 10 , 25 15 52 23 →= 23 3 , 25 15 52 24 →= 23 7 , 25 15 52 25 →= 23 8 , 25 15 52 26 →= 23 9 , 25 15 52 27 →= 23 10 , 14 15 56 30 →= 11 12 , 14 15 56 31 →= 11 13 , 8 15 56 30 →= 7 12 , 8 15 56 31 →= 7 13 , 63 15 56 30 →= 67 12 , 63 15 56 31 →= 67 13 , 32 15 56 30 →= 28 12 , 32 15 56 31 →= 28 13 , 65 15 56 30 →= 68 12 , 65 15 56 31 →= 68 13 , 25 15 56 30 →= 24 12 , 25 15 56 31 →= 24 13 , 14 15 59 34 →= 14 15 , 14 15 59 35 →= 14 16 , 14 15 59 36 →= 14 17 , 14 15 59 37 →= 14 18 , 8 15 59 34 →= 8 15 , 8 15 59 35 →= 8 16 , 8 15 59 36 →= 8 17 , 8 15 59 37 →= 8 18 , 63 15 59 34 →= 63 15 , 63 15 59 35 →= 63 16 , 63 15 59 36 →= 63 17 , 63 15 59 37 →= 63 18 , 32 15 59 34 →= 32 15 , 32 15 59 35 →= 32 16 , 32 15 59 36 →= 32 17 , 32 15 59 37 →= 32 18 , 65 15 59 34 →= 65 15 , 65 15 59 35 →= 65 16 , 65 15 59 36 →= 65 17 , 65 15 59 37 →= 65 18 , 25 15 59 34 →= 25 15 , 25 15 59 35 →= 25 16 , 25 15 59 36 →= 25 17 , 25 15 59 37 →= 25 18 , 14 15 69 40 →= 19 20 , 8 15 69 40 →= 10 20 , 63 15 69 40 →= 70 20 , 32 15 69 40 →= 38 20 , 65 15 69 40 →= 71 20 , 25 15 69 40 →= 27 20 , 45 46 52 23 →= 5 6 , 45 46 52 24 →= 5 28 , 45 46 52 25 →= 5 32 , 45 46 52 26 →= 5 41 , 45 46 52 27 →= 5 38 , 72 46 52 23 →= 73 6 , 72 46 52 24 →= 73 28 , 72 46 52 25 →= 73 32 , 72 46 52 26 →= 73 41 , 72 46 52 27 →= 73 38 , 45 46 56 30 →= 42 43 , 45 46 56 31 →= 42 44 , 72 46 56 30 →= 74 43 , 72 46 56 31 →= 74 44 , 45 46 59 34 →= 45 46 , 45 46 59 35 →= 45 47 , 45 46 59 36 →= 45 48 , 45 46 59 37 →= 45 49 , 72 46 59 34 →= 72 46 , 72 46 59 35 →= 72 47 , 72 46 59 36 →= 72 48 , 72 46 59 37 →= 72 49 , 59 34 52 23 →= 52 23 , 59 34 52 24 →= 52 24 , 59 34 52 25 →= 52 25 , 59 34 52 26 →= 52 26 , 59 34 52 27 →= 52 27 , 75 34 52 23 →= 76 23 , 75 34 52 24 →= 76 24 , 75 34 52 25 →= 76 25 , 75 34 52 26 →= 76 26 , 75 34 52 27 →= 76 27 , 33 34 52 23 →= 22 23 , 33 34 52 24 →= 22 24 , 33 34 52 25 →= 22 25 , 33 34 52 26 →= 22 26 , 33 34 52 27 →= 22 27 , 59 34 56 30 →= 56 30 , 59 34 56 31 →= 56 31 , 75 34 56 30 →= 77 30 , 75 34 56 31 →= 77 31 , 33 34 56 30 →= 29 30 , 33 34 56 31 →= 29 31 , 59 34 59 34 →= 59 34 , 59 34 59 35 →= 59 35 , 59 34 59 36 →= 59 36 , 59 34 59 37 →= 59 37 , 75 34 59 34 →= 75 34 , 75 34 59 35 →= 75 35 , 75 34 59 36 →= 75 36 , 75 34 59 37 →= 75 37 , 33 34 59 34 →= 33 34 , 33 34 59 35 →= 33 35 , 33 34 59 36 →= 33 36 , 33 34 59 37 →= 33 37 , 59 34 69 40 →= 69 40 , 75 34 69 40 →= 78 40 , 33 34 69 40 →= 39 40 , 79 80 52 23 →= 81 64 , 79 80 52 24 →= 81 67 , 79 80 52 25 →= 81 63 , 79 80 52 26 →= 81 82 , 79 80 52 27 →= 81 70 , 83 80 52 23 →= 84 64 , 83 80 52 24 →= 84 67 , 83 80 52 25 →= 84 63 , 83 80 52 26 →= 84 82 , 83 80 52 27 →= 84 70 , 85 80 52 23 →= 86 64 , 85 80 52 24 →= 86 67 , 85 80 52 25 →= 86 63 , 85 80 52 26 →= 86 82 , 85 80 52 27 →= 86 70 , 16 80 52 23 →= 17 64 , 16 80 52 24 →= 17 67 , 16 80 52 25 →= 17 63 , 16 80 52 26 →= 17 82 , 16 80 52 27 →= 17 70 , 35 80 52 23 →= 36 64 , 35 80 52 24 →= 36 67 , 35 80 52 25 →= 36 63 , 35 80 52 26 →= 36 82 , 35 80 52 27 →= 36 70 , 47 80 52 23 →= 48 64 , 47 80 52 24 →= 48 67 , 47 80 52 25 →= 48 63 , 47 80 52 26 →= 48 82 , 47 80 52 27 →= 48 70 , 60 80 52 23 →= 61 64 , 60 80 52 24 →= 61 67 , 60 80 52 25 →= 61 63 , 60 80 52 26 →= 61 82 , 60 80 52 27 →= 61 70 , 79 80 56 30 →= 80 87 , 79 80 56 31 →= 80 52 , 83 80 56 30 →= 88 87 , 83 80 56 31 →= 88 52 , 85 80 56 30 →= 89 87 , 85 80 56 31 →= 89 52 , 16 80 56 30 →= 15 87 , 16 80 56 31 →= 15 52 , 35 80 56 30 →= 34 87 , 35 80 56 31 →= 34 52 , 47 80 56 30 →= 46 87 , 47 80 56 31 →= 46 52 , 60 80 56 30 →= 51 87 , 60 80 56 31 →= 51 52 , 79 80 59 34 →= 79 80 , 79 80 59 35 →= 79 79 , 79 80 59 36 →= 79 81 , 79 80 59 37 →= 79 90 , 83 80 59 34 →= 83 80 , 83 80 59 35 →= 83 79 , 83 80 59 36 →= 83 81 , 83 80 59 37 →= 83 90 , 85 80 59 34 →= 85 80 , 85 80 59 35 →= 85 79 , 85 80 59 36 →= 85 81 , 85 80 59 37 →= 85 90 , 16 80 59 34 →= 16 80 , 16 80 59 35 →= 16 79 , 16 80 59 36 →= 16 81 , 16 80 59 37 →= 16 90 , 35 80 59 34 →= 35 80 , 35 80 59 35 →= 35 79 , 35 80 59 36 →= 35 81 , 35 80 59 37 →= 35 90 , 47 80 59 34 →= 47 80 , 47 80 59 35 →= 47 79 , 47 80 59 36 →= 47 81 , 47 80 59 37 →= 47 90 , 60 80 59 34 →= 60 80 , 60 80 59 35 →= 60 79 , 60 80 59 36 →= 60 81 , 60 80 59 37 →= 60 90 , 91 88 56 30 →= 92 93 , 91 88 56 31 →= 92 94 , 91 88 59 34 →= 91 88 , 91 88 59 35 →= 91 83 , 91 88 59 36 →= 91 84 , 91 88 59 37 →= 91 95 , 50 61 64 3 →= 1 11 13 23 3 3 , 50 61 64 7 →= 1 11 13 23 3 7 , 50 61 64 8 →= 1 11 13 23 3 8 , 50 61 64 9 →= 1 11 13 23 3 9 , 50 61 64 10 →= 1 11 13 23 3 10 , 54 61 64 3 →= 55 11 13 23 3 3 , 54 61 64 7 →= 55 11 13 23 3 7 , 54 61 64 8 →= 55 11 13 23 3 8 , 54 61 64 9 →= 55 11 13 23 3 9 , 54 61 64 10 →= 55 11 13 23 3 10 , 50 61 67 12 →= 1 11 13 23 7 12 , 50 61 67 13 →= 1 11 13 23 7 13 , 54 61 67 12 →= 55 11 13 23 7 12 , 54 61 67 13 →= 55 11 13 23 7 13 , 50 61 63 15 →= 1 11 13 23 8 15 , 50 61 63 16 →= 1 11 13 23 8 16 , 50 61 63 17 →= 1 11 13 23 8 17 , 50 61 63 18 →= 1 11 13 23 8 18 , 54 61 63 15 →= 55 11 13 23 8 15 , 54 61 63 16 →= 55 11 13 23 8 16 , 54 61 63 17 →= 55 11 13 23 8 17 , 54 61 63 18 →= 55 11 13 23 8 18 , 50 61 70 20 →= 1 11 13 23 10 20 , 54 61 70 20 →= 55 11 13 23 10 20 , 14 17 64 3 →= 2 7 13 23 3 3 , 14 17 64 7 →= 2 7 13 23 3 7 , 14 17 64 8 →= 2 7 13 23 3 8 , 14 17 64 9 →= 2 7 13 23 3 9 , 14 17 64 10 →= 2 7 13 23 3 10 , 8 17 64 3 →= 3 7 13 23 3 3 , 8 17 64 7 →= 3 7 13 23 3 7 , 8 17 64 8 →= 3 7 13 23 3 8 , 8 17 64 9 →= 3 7 13 23 3 9 , 8 17 64 10 →= 3 7 13 23 3 10 , 63 17 64 3 →= 64 7 13 23 3 3 , 63 17 64 7 →= 64 7 13 23 3 7 , 63 17 64 8 →= 64 7 13 23 3 8 , 63 17 64 9 →= 64 7 13 23 3 9 , 63 17 64 10 →= 64 7 13 23 3 10 , 32 17 64 3 →= 6 7 13 23 3 3 , 32 17 64 7 →= 6 7 13 23 3 7 , 32 17 64 8 →= 6 7 13 23 3 8 , 32 17 64 9 →= 6 7 13 23 3 9 , 32 17 64 10 →= 6 7 13 23 3 10 , 65 17 64 3 →= 66 7 13 23 3 3 , 65 17 64 7 →= 66 7 13 23 3 7 , 65 17 64 8 →= 66 7 13 23 3 8 , 65 17 64 9 →= 66 7 13 23 3 9 , 65 17 64 10 →= 66 7 13 23 3 10 , 25 17 64 3 →= 23 7 13 23 3 3 , 25 17 64 7 →= 23 7 13 23 3 7 , 25 17 64 8 →= 23 7 13 23 3 8 , 25 17 64 9 →= 23 7 13 23 3 9 , 25 17 64 10 →= 23 7 13 23 3 10 , 14 17 67 12 →= 2 7 13 23 7 12 , 14 17 67 13 →= 2 7 13 23 7 13 , 8 17 67 12 →= 3 7 13 23 7 12 , 8 17 67 13 →= 3 7 13 23 7 13 , 63 17 67 12 →= 64 7 13 23 7 12 , 63 17 67 13 →= 64 7 13 23 7 13 , 32 17 67 12 →= 6 7 13 23 7 12 , 32 17 67 13 →= 6 7 13 23 7 13 , 65 17 67 12 →= 66 7 13 23 7 12 , 65 17 67 13 →= 66 7 13 23 7 13 , 25 17 67 12 →= 23 7 13 23 7 12 , 25 17 67 13 →= 23 7 13 23 7 13 , 14 17 63 15 →= 2 7 13 23 8 15 , 14 17 63 16 →= 2 7 13 23 8 16 , 14 17 63 17 →= 2 7 13 23 8 17 , 14 17 63 18 →= 2 7 13 23 8 18 , 8 17 63 15 →= 3 7 13 23 8 15 , 8 17 63 16 →= 3 7 13 23 8 16 , 8 17 63 17 →= 3 7 13 23 8 17 , 8 17 63 18 →= 3 7 13 23 8 18 , 63 17 63 15 →= 64 7 13 23 8 15 , 63 17 63 16 →= 64 7 13 23 8 16 , 63 17 63 17 →= 64 7 13 23 8 17 , 63 17 63 18 →= 64 7 13 23 8 18 , 32 17 63 15 →= 6 7 13 23 8 15 , 32 17 63 16 →= 6 7 13 23 8 16 , 32 17 63 17 →= 6 7 13 23 8 17 , 32 17 63 18 →= 6 7 13 23 8 18 , 65 17 63 15 →= 66 7 13 23 8 15 , 65 17 63 16 →= 66 7 13 23 8 16 , 65 17 63 17 →= 66 7 13 23 8 17 , 65 17 63 18 →= 66 7 13 23 8 18 , 25 17 63 15 →= 23 7 13 23 8 15 , 25 17 63 16 →= 23 7 13 23 8 16 , 25 17 63 17 →= 23 7 13 23 8 17 , 25 17 63 18 →= 23 7 13 23 8 18 , 14 17 70 20 →= 2 7 13 23 10 20 , 8 17 70 20 →= 3 7 13 23 10 20 , 63 17 70 20 →= 64 7 13 23 10 20 , 32 17 70 20 →= 6 7 13 23 10 20 , 65 17 70 20 →= 66 7 13 23 10 20 , 25 17 70 20 →= 23 7 13 23 10 20 , 45 48 64 3 →= 5 28 13 23 3 3 , 45 48 64 7 →= 5 28 13 23 3 7 , 45 48 64 8 →= 5 28 13 23 3 8 , 45 48 64 9 →= 5 28 13 23 3 9 , 45 48 64 10 →= 5 28 13 23 3 10 , 72 48 64 3 →= 73 28 13 23 3 3 , 72 48 64 7 →= 73 28 13 23 3 7 , 72 48 64 8 →= 73 28 13 23 3 8 , 72 48 64 9 →= 73 28 13 23 3 9 , 72 48 64 10 →= 73 28 13 23 3 10 , 45 48 67 12 →= 5 28 13 23 7 12 , 45 48 67 13 →= 5 28 13 23 7 13 , 72 48 67 12 →= 73 28 13 23 7 12 , 72 48 67 13 →= 73 28 13 23 7 13 , 45 48 63 15 →= 5 28 13 23 8 15 , 45 48 63 16 →= 5 28 13 23 8 16 , 45 48 63 17 →= 5 28 13 23 8 17 , 45 48 63 18 →= 5 28 13 23 8 18 , 72 48 63 15 →= 73 28 13 23 8 15 , 72 48 63 16 →= 73 28 13 23 8 16 , 72 48 63 17 →= 73 28 13 23 8 17 , 72 48 63 18 →= 73 28 13 23 8 18 , 45 48 70 20 →= 5 28 13 23 10 20 , 72 48 70 20 →= 73 28 13 23 10 20 , 59 36 64 3 →= 52 24 13 23 3 3 , 59 36 64 7 →= 52 24 13 23 3 7 , 59 36 64 8 →= 52 24 13 23 3 8 , 59 36 64 9 →= 52 24 13 23 3 9 , 59 36 64 10 →= 52 24 13 23 3 10 , 75 36 64 3 →= 76 24 13 23 3 3 , 75 36 64 7 →= 76 24 13 23 3 7 , 75 36 64 8 →= 76 24 13 23 3 8 , 75 36 64 9 →= 76 24 13 23 3 9 , 75 36 64 10 →= 76 24 13 23 3 10 , 33 36 64 3 →= 22 24 13 23 3 3 , 33 36 64 7 →= 22 24 13 23 3 7 , 33 36 64 8 →= 22 24 13 23 3 8 , 33 36 64 9 →= 22 24 13 23 3 9 , 33 36 64 10 →= 22 24 13 23 3 10 , 59 36 67 12 →= 52 24 13 23 7 12 , 59 36 67 13 →= 52 24 13 23 7 13 , 75 36 67 12 →= 76 24 13 23 7 12 , 75 36 67 13 →= 76 24 13 23 7 13 , 33 36 67 12 →= 22 24 13 23 7 12 , 33 36 67 13 →= 22 24 13 23 7 13 , 59 36 63 15 →= 52 24 13 23 8 15 , 59 36 63 16 →= 52 24 13 23 8 16 , 59 36 63 17 →= 52 24 13 23 8 17 , 59 36 63 18 →= 52 24 13 23 8 18 , 75 36 63 15 →= 76 24 13 23 8 15 , 75 36 63 16 →= 76 24 13 23 8 16 , 75 36 63 17 →= 76 24 13 23 8 17 , 75 36 63 18 →= 76 24 13 23 8 18 , 33 36 63 15 →= 22 24 13 23 8 15 , 33 36 63 16 →= 22 24 13 23 8 16 , 33 36 63 17 →= 22 24 13 23 8 17 , 33 36 63 18 →= 22 24 13 23 8 18 , 59 36 70 20 →= 52 24 13 23 10 20 , 75 36 70 20 →= 76 24 13 23 10 20 , 33 36 70 20 →= 22 24 13 23 10 20 , 79 81 64 3 →= 81 67 13 23 3 3 , 79 81 64 7 →= 81 67 13 23 3 7 , 79 81 64 8 →= 81 67 13 23 3 8 , 79 81 64 9 →= 81 67 13 23 3 9 , 79 81 64 10 →= 81 67 13 23 3 10 , 83 81 64 3 →= 84 67 13 23 3 3 , 83 81 64 7 →= 84 67 13 23 3 7 , 83 81 64 8 →= 84 67 13 23 3 8 , 83 81 64 9 →= 84 67 13 23 3 9 , 83 81 64 10 →= 84 67 13 23 3 10 , 85 81 64 3 →= 86 67 13 23 3 3 , 85 81 64 7 →= 86 67 13 23 3 7 , 85 81 64 8 →= 86 67 13 23 3 8 , 85 81 64 9 →= 86 67 13 23 3 9 , 85 81 64 10 →= 86 67 13 23 3 10 , 16 81 64 3 →= 17 67 13 23 3 3 , 16 81 64 7 →= 17 67 13 23 3 7 , 16 81 64 8 →= 17 67 13 23 3 8 , 16 81 64 9 →= 17 67 13 23 3 9 , 16 81 64 10 →= 17 67 13 23 3 10 , 35 81 64 3 →= 36 67 13 23 3 3 , 35 81 64 7 →= 36 67 13 23 3 7 , 35 81 64 8 →= 36 67 13 23 3 8 , 35 81 64 9 →= 36 67 13 23 3 9 , 35 81 64 10 →= 36 67 13 23 3 10 , 47 81 64 3 →= 48 67 13 23 3 3 , 47 81 64 7 →= 48 67 13 23 3 7 , 47 81 64 8 →= 48 67 13 23 3 8 , 47 81 64 9 →= 48 67 13 23 3 9 , 47 81 64 10 →= 48 67 13 23 3 10 , 60 81 64 3 →= 61 67 13 23 3 3 , 60 81 64 7 →= 61 67 13 23 3 7 , 60 81 64 8 →= 61 67 13 23 3 8 , 60 81 64 9 →= 61 67 13 23 3 9 , 60 81 64 10 →= 61 67 13 23 3 10 , 79 81 67 12 →= 81 67 13 23 7 12 , 79 81 67 13 →= 81 67 13 23 7 13 , 83 81 67 12 →= 84 67 13 23 7 12 , 83 81 67 13 →= 84 67 13 23 7 13 , 85 81 67 12 →= 86 67 13 23 7 12 , 85 81 67 13 →= 86 67 13 23 7 13 , 16 81 67 12 →= 17 67 13 23 7 12 , 16 81 67 13 →= 17 67 13 23 7 13 , 35 81 67 12 →= 36 67 13 23 7 12 , 35 81 67 13 →= 36 67 13 23 7 13 , 47 81 67 12 →= 48 67 13 23 7 12 , 47 81 67 13 →= 48 67 13 23 7 13 , 60 81 67 12 →= 61 67 13 23 7 12 , 60 81 67 13 →= 61 67 13 23 7 13 , 79 81 63 15 →= 81 67 13 23 8 15 , 79 81 63 16 →= 81 67 13 23 8 16 , 79 81 63 17 →= 81 67 13 23 8 17 , 79 81 63 18 →= 81 67 13 23 8 18 , 83 81 63 15 →= 84 67 13 23 8 15 , 83 81 63 16 →= 84 67 13 23 8 16 , 83 81 63 17 →= 84 67 13 23 8 17 , 83 81 63 18 →= 84 67 13 23 8 18 , 85 81 63 15 →= 86 67 13 23 8 15 , 85 81 63 16 →= 86 67 13 23 8 16 , 85 81 63 17 →= 86 67 13 23 8 17 , 85 81 63 18 →= 86 67 13 23 8 18 , 16 81 63 15 →= 17 67 13 23 8 15 , 16 81 63 16 →= 17 67 13 23 8 16 , 16 81 63 17 →= 17 67 13 23 8 17 , 16 81 63 18 →= 17 67 13 23 8 18 , 35 81 63 15 →= 36 67 13 23 8 15 , 35 81 63 16 →= 36 67 13 23 8 16 , 35 81 63 17 →= 36 67 13 23 8 17 , 35 81 63 18 →= 36 67 13 23 8 18 , 47 81 63 15 →= 48 67 13 23 8 15 , 47 81 63 16 →= 48 67 13 23 8 16 , 47 81 63 17 →= 48 67 13 23 8 17 , 47 81 63 18 →= 48 67 13 23 8 18 , 60 81 63 15 →= 61 67 13 23 8 15 , 60 81 63 16 →= 61 67 13 23 8 16 , 60 81 63 17 →= 61 67 13 23 8 17 , 60 81 63 18 →= 61 67 13 23 8 18 , 79 81 70 20 →= 81 67 13 23 10 20 , 83 81 70 20 →= 84 67 13 23 10 20 , 85 81 70 20 →= 86 67 13 23 10 20 , 16 81 70 20 →= 17 67 13 23 10 20 , 35 81 70 20 →= 36 67 13 23 10 20 , 47 81 70 20 →= 48 67 13 23 10 20 , 60 81 70 20 →= 61 67 13 23 10 20 , 21 22 23 3 →= 50 51 52 23 , 21 22 23 7 →= 50 51 52 24 , 21 22 23 8 →= 50 51 52 25 , 21 22 23 9 →= 50 51 52 26 , 21 22 23 10 →= 50 51 52 27 , 58 22 23 3 →= 54 51 52 23 , 58 22 23 7 →= 54 51 52 24 , 58 22 23 8 →= 54 51 52 25 , 58 22 23 9 →= 54 51 52 26 , 58 22 23 10 →= 54 51 52 27 , 21 22 24 12 →= 50 51 56 30 , 21 22 24 13 →= 50 51 56 31 , 58 22 24 12 →= 54 51 56 30 , 58 22 24 13 →= 54 51 56 31 , 21 22 25 15 →= 50 51 59 34 , 21 22 25 16 →= 50 51 59 35 , 21 22 25 17 →= 50 51 59 36 , 21 22 25 18 →= 50 51 59 37 , 58 22 25 15 →= 54 51 59 34 , 58 22 25 16 →= 54 51 59 35 , 58 22 25 17 →= 54 51 59 36 , 58 22 25 18 →= 54 51 59 37 , 21 22 27 20 →= 50 51 69 40 , 58 22 27 20 →= 54 51 69 40 , 11 13 23 3 →= 14 15 52 23 , 11 13 23 7 →= 14 15 52 24 , 11 13 23 8 →= 14 15 52 25 , 11 13 23 9 →= 14 15 52 26 , 11 13 23 10 →= 14 15 52 27 , 7 13 23 3 →= 8 15 52 23 , 7 13 23 7 →= 8 15 52 24 , 7 13 23 8 →= 8 15 52 25 , 7 13 23 9 →= 8 15 52 26 , 7 13 23 10 →= 8 15 52 27 , 67 13 23 3 →= 63 15 52 23 , 67 13 23 7 →= 63 15 52 24 , 67 13 23 8 →= 63 15 52 25 , 67 13 23 9 →= 63 15 52 26 , 67 13 23 10 →= 63 15 52 27 , 28 13 23 3 →= 32 15 52 23 , 28 13 23 7 →= 32 15 52 24 , 28 13 23 8 →= 32 15 52 25 , 28 13 23 9 →= 32 15 52 26 , 28 13 23 10 →= 32 15 52 27 , 68 13 23 3 →= 65 15 52 23 , 68 13 23 7 →= 65 15 52 24 , 68 13 23 8 →= 65 15 52 25 , 68 13 23 9 →= 65 15 52 26 , 68 13 23 10 →= 65 15 52 27 , 24 13 23 3 →= 25 15 52 23 , 24 13 23 7 →= 25 15 52 24 , 24 13 23 8 →= 25 15 52 25 , 24 13 23 9 →= 25 15 52 26 , 24 13 23 10 →= 25 15 52 27 , 42 44 23 3 →= 45 46 52 23 , 42 44 23 7 →= 45 46 52 24 , 42 44 23 8 →= 45 46 52 25 , 42 44 23 9 →= 45 46 52 26 , 42 44 23 10 →= 45 46 52 27 , 74 44 23 3 →= 72 46 52 23 , 74 44 23 7 →= 72 46 52 24 , 74 44 23 8 →= 72 46 52 25 , 74 44 23 9 →= 72 46 52 26 , 74 44 23 10 →= 72 46 52 27 , 56 31 23 3 →= 59 34 52 23 , 56 31 23 7 →= 59 34 52 24 , 56 31 23 8 →= 59 34 52 25 , 56 31 23 9 →= 59 34 52 26 , 56 31 23 10 →= 59 34 52 27 , 77 31 23 3 →= 75 34 52 23 , 77 31 23 7 →= 75 34 52 24 , 77 31 23 8 →= 75 34 52 25 , 77 31 23 9 →= 75 34 52 26 , 77 31 23 10 →= 75 34 52 27 , 29 31 23 3 →= 33 34 52 23 , 29 31 23 7 →= 33 34 52 24 , 29 31 23 8 →= 33 34 52 25 , 29 31 23 9 →= 33 34 52 26 , 29 31 23 10 →= 33 34 52 27 , 80 52 23 3 →= 79 80 52 23 , 80 52 23 7 →= 79 80 52 24 , 80 52 23 8 →= 79 80 52 25 , 80 52 23 9 →= 79 80 52 26 , 80 52 23 10 →= 79 80 52 27 , 88 52 23 3 →= 83 80 52 23 , 88 52 23 7 →= 83 80 52 24 , 88 52 23 8 →= 83 80 52 25 , 88 52 23 9 →= 83 80 52 26 , 88 52 23 10 →= 83 80 52 27 , 89 52 23 3 →= 85 80 52 23 , 89 52 23 7 →= 85 80 52 24 , 89 52 23 8 →= 85 80 52 25 , 89 52 23 9 →= 85 80 52 26 , 89 52 23 10 →= 85 80 52 27 , 15 52 23 3 →= 16 80 52 23 , 15 52 23 7 →= 16 80 52 24 , 15 52 23 8 →= 16 80 52 25 , 15 52 23 9 →= 16 80 52 26 , 15 52 23 10 →= 16 80 52 27 , 34 52 23 3 →= 35 80 52 23 , 34 52 23 7 →= 35 80 52 24 , 34 52 23 8 →= 35 80 52 25 , 34 52 23 9 →= 35 80 52 26 , 34 52 23 10 →= 35 80 52 27 , 46 52 23 3 →= 47 80 52 23 , 46 52 23 7 →= 47 80 52 24 , 46 52 23 8 →= 47 80 52 25 , 46 52 23 9 →= 47 80 52 26 , 46 52 23 10 →= 47 80 52 27 , 51 52 23 3 →= 60 80 52 23 , 51 52 23 7 →= 60 80 52 24 , 51 52 23 8 →= 60 80 52 25 , 51 52 23 9 →= 60 80 52 26 , 51 52 23 10 →= 60 80 52 27 , 80 52 24 12 →= 79 80 56 30 , 80 52 24 13 →= 79 80 56 31 , 88 52 24 12 →= 83 80 56 30 , 88 52 24 13 →= 83 80 56 31 , 89 52 24 12 →= 85 80 56 30 , 89 52 24 13 →= 85 80 56 31 , 15 52 24 12 →= 16 80 56 30 , 15 52 24 13 →= 16 80 56 31 , 34 52 24 12 →= 35 80 56 30 , 34 52 24 13 →= 35 80 56 31 , 46 52 24 12 →= 47 80 56 30 , 46 52 24 13 →= 47 80 56 31 , 51 52 24 12 →= 60 80 56 30 , 51 52 24 13 →= 60 80 56 31 , 80 52 25 15 →= 79 80 59 34 , 80 52 25 16 →= 79 80 59 35 , 80 52 25 17 →= 79 80 59 36 , 80 52 25 18 →= 79 80 59 37 , 88 52 25 15 →= 83 80 59 34 , 88 52 25 16 →= 83 80 59 35 , 88 52 25 17 →= 83 80 59 36 , 88 52 25 18 →= 83 80 59 37 , 89 52 25 15 →= 85 80 59 34 , 89 52 25 16 →= 85 80 59 35 , 89 52 25 17 →= 85 80 59 36 , 89 52 25 18 →= 85 80 59 37 , 15 52 25 15 →= 16 80 59 34 , 15 52 25 16 →= 16 80 59 35 , 15 52 25 17 →= 16 80 59 36 , 15 52 25 18 →= 16 80 59 37 , 34 52 25 15 →= 35 80 59 34 , 34 52 25 16 →= 35 80 59 35 , 34 52 25 17 →= 35 80 59 36 , 34 52 25 18 →= 35 80 59 37 , 46 52 25 15 →= 47 80 59 34 , 46 52 25 16 →= 47 80 59 35 , 46 52 25 17 →= 47 80 59 36 , 46 52 25 18 →= 47 80 59 37 , 51 52 25 15 →= 60 80 59 34 , 51 52 25 16 →= 60 80 59 35 , 51 52 25 17 →= 60 80 59 36 , 51 52 25 18 →= 60 80 59 37 , 80 52 27 20 →= 79 80 69 40 , 88 52 27 20 →= 83 80 69 40 , 89 52 27 20 →= 85 80 69 40 , 15 52 27 20 →= 16 80 69 40 , 34 52 27 20 →= 35 80 69 40 , 46 52 27 20 →= 47 80 69 40 , 51 52 27 20 →= 60 80 69 40 , 92 94 23 3 →= 91 88 52 23 , 92 94 23 7 →= 91 88 52 24 , 92 94 23 8 →= 91 88 52 25 , 92 94 23 9 →= 91 88 52 26 , 92 94 23 10 →= 91 88 52 27 } Applying sparse untiling TROCU(2) [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo the bijection { 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, 35 ↦ 35, 36 ↦ 36, 37 ↦ 37, 38 ↦ 38, 39 ↦ 39, 40 ↦ 40, 41 ↦ 41, 42 ↦ 42, 43 ↦ 43, 44 ↦ 44, 45 ↦ 45, 46 ↦ 46, 47 ↦ 47, 48 ↦ 48, 49 ↦ 49, 50 ↦ 50, 51 ↦ 51, 52 ↦ 52, 53 ↦ 53, 54 ↦ 54, 55 ↦ 55, 56 ↦ 56, 57 ↦ 57, 58 ↦ 58, 59 ↦ 59, 60 ↦ 60, 61 ↦ 61, 62 ↦ 62, 63 ↦ 63, 64 ↦ 64, 65 ↦ 65, 66 ↦ 66, 72 ↦ 67, 73 ↦ 68, 75 ↦ 69, 76 ↦ 70, 79 ↦ 71, 80 ↦ 72, 81 ↦ 73, 67 ↦ 74, 82 ↦ 75, 70 ↦ 76, 83 ↦ 77, 84 ↦ 78, 85 ↦ 79, 86 ↦ 80, 87 ↦ 81, 88 ↦ 82, 89 ↦ 83, 90 ↦ 84, 69 ↦ 85, 68 ↦ 86, 74 ↦ 87, 77 ↦ 88, 92 ↦ 89, 94 ↦ 90, 91 ↦ 91 }, it remains to prove termination of the 597-rule system { 0 1 2 3 ⟶ 4 5 6 3 3 , 0 1 2 7 ⟶ 4 5 6 3 7 , 0 1 2 8 ⟶ 4 5 6 3 8 , 0 1 2 9 ⟶ 4 5 6 3 9 , 0 1 2 10 ⟶ 4 5 6 3 10 , 0 1 11 12 ⟶ 4 5 6 7 12 , 0 1 11 13 ⟶ 4 5 6 7 13 , 0 1 14 15 ⟶ 4 5 6 8 15 , 0 1 14 16 ⟶ 4 5 6 8 16 , 0 1 14 17 ⟶ 4 5 6 8 17 , 0 1 14 18 ⟶ 4 5 6 8 18 , 0 1 19 20 ⟶ 4 5 6 10 20 , 4 5 6 3 ⟶ 0 21 22 23 , 4 5 6 7 ⟶ 0 21 22 24 , 4 5 6 8 ⟶ 0 21 22 25 , 4 5 6 9 ⟶ 0 21 22 26 , 4 5 6 10 ⟶ 0 21 22 27 , 4 5 28 12 ⟶ 0 21 29 30 , 4 5 28 13 ⟶ 0 21 29 31 , 4 5 32 15 ⟶ 0 21 33 34 , 4 5 32 16 ⟶ 0 21 33 35 , 4 5 32 17 ⟶ 0 21 33 36 , 4 5 32 18 ⟶ 0 21 33 37 , 4 5 38 20 ⟶ 0 21 39 40 , 4 5 6 3 ⟶ 4 5 6 , 4 5 6 7 ⟶ 4 5 28 , 4 5 6 8 ⟶ 4 5 32 , 4 5 6 9 ⟶ 4 5 41 , 4 5 6 10 ⟶ 4 5 38 , 4 5 28 12 ⟶ 4 42 43 , 4 5 28 13 ⟶ 4 42 44 , 4 5 32 15 ⟶ 4 45 46 , 4 5 32 16 ⟶ 4 45 47 , 4 5 32 17 ⟶ 4 45 48 , 4 5 32 18 ⟶ 4 45 49 , 50 51 52 23 →= 1 2 , 50 51 52 24 →= 1 11 , 50 51 52 25 →= 1 14 , 50 51 52 26 →= 1 53 , 50 51 52 27 →= 1 19 , 54 51 52 23 →= 55 2 , 54 51 52 24 →= 55 11 , 54 51 52 25 →= 55 14 , 54 51 52 26 →= 55 53 , 54 51 52 27 →= 55 19 , 50 51 56 30 →= 21 57 , 50 51 56 31 →= 21 22 , 54 51 56 30 →= 58 57 , 54 51 56 31 →= 58 22 , 50 51 59 34 →= 50 51 , 50 51 59 35 →= 50 60 , 50 51 59 36 →= 50 61 , 50 51 59 37 →= 50 62 , 54 51 59 34 →= 54 51 , 54 51 59 35 →= 54 60 , 54 51 59 36 →= 54 61 , 54 51 59 37 →= 54 62 , 14 15 52 23 →= 2 3 , 14 15 52 24 →= 2 7 , 14 15 52 25 →= 2 8 , 14 15 52 26 →= 2 9 , 14 15 52 27 →= 2 10 , 8 15 52 23 →= 3 3 , 8 15 52 24 →= 3 7 , 8 15 52 25 →= 3 8 , 8 15 52 26 →= 3 9 , 8 15 52 27 →= 3 10 , 63 15 52 23 →= 64 3 , 63 15 52 24 →= 64 7 , 63 15 52 25 →= 64 8 , 63 15 52 26 →= 64 9 , 63 15 52 27 →= 64 10 , 32 15 52 23 →= 6 3 , 32 15 52 24 →= 6 7 , 32 15 52 25 →= 6 8 , 32 15 52 26 →= 6 9 , 32 15 52 27 →= 6 10 , 65 15 52 23 →= 66 3 , 65 15 52 24 →= 66 7 , 65 15 52 25 →= 66 8 , 65 15 52 26 →= 66 9 , 65 15 52 27 →= 66 10 , 25 15 52 23 →= 23 3 , 25 15 52 24 →= 23 7 , 25 15 52 25 →= 23 8 , 25 15 52 26 →= 23 9 , 25 15 52 27 →= 23 10 , 45 46 52 23 →= 5 6 , 45 46 52 24 →= 5 28 , 45 46 52 25 →= 5 32 , 45 46 52 26 →= 5 41 , 45 46 52 27 →= 5 38 , 67 46 52 23 →= 68 6 , 67 46 52 24 →= 68 28 , 67 46 52 25 →= 68 32 , 67 46 52 26 →= 68 41 , 67 46 52 27 →= 68 38 , 59 34 52 23 →= 52 23 , 59 34 52 24 →= 52 24 , 59 34 52 25 →= 52 25 , 59 34 52 26 →= 52 26 , 59 34 52 27 →= 52 27 , 69 34 52 23 →= 70 23 , 69 34 52 24 →= 70 24 , 69 34 52 25 →= 70 25 , 69 34 52 26 →= 70 26 , 69 34 52 27 →= 70 27 , 33 34 52 23 →= 22 23 , 33 34 52 24 →= 22 24 , 33 34 52 25 →= 22 25 , 33 34 52 26 →= 22 26 , 33 34 52 27 →= 22 27 , 71 72 52 23 →= 73 64 , 71 72 52 24 →= 73 74 , 71 72 52 25 →= 73 63 , 71 72 52 26 →= 73 75 , 71 72 52 27 →= 73 76 , 77 72 52 23 →= 78 64 , 77 72 52 24 →= 78 74 , 77 72 52 25 →= 78 63 , 77 72 52 26 →= 78 75 , 77 72 52 27 →= 78 76 , 79 72 52 23 →= 80 64 , 79 72 52 24 →= 80 74 , 79 72 52 25 →= 80 63 , 79 72 52 26 →= 80 75 , 79 72 52 27 →= 80 76 , 16 72 52 23 →= 17 64 , 16 72 52 24 →= 17 74 , 16 72 52 25 →= 17 63 , 16 72 52 26 →= 17 75 , 16 72 52 27 →= 17 76 , 35 72 52 23 →= 36 64 , 35 72 52 24 →= 36 74 , 35 72 52 25 →= 36 63 , 35 72 52 26 →= 36 75 , 35 72 52 27 →= 36 76 , 47 72 52 23 →= 48 64 , 47 72 52 24 →= 48 74 , 47 72 52 25 →= 48 63 , 47 72 52 26 →= 48 75 , 47 72 52 27 →= 48 76 , 60 72 52 23 →= 61 64 , 60 72 52 24 →= 61 74 , 60 72 52 25 →= 61 63 , 60 72 52 26 →= 61 75 , 60 72 52 27 →= 61 76 , 71 72 56 30 →= 72 81 , 71 72 56 31 →= 72 52 , 77 72 56 30 →= 82 81 , 77 72 56 31 →= 82 52 , 79 72 56 30 →= 83 81 , 79 72 56 31 →= 83 52 , 16 72 56 30 →= 15 81 , 16 72 56 31 →= 15 52 , 35 72 56 30 →= 34 81 , 35 72 56 31 →= 34 52 , 47 72 56 30 →= 46 81 , 47 72 56 31 →= 46 52 , 60 72 56 30 →= 51 81 , 60 72 56 31 →= 51 52 , 71 72 59 34 →= 71 72 , 71 72 59 35 →= 71 71 , 71 72 59 36 →= 71 73 , 71 72 59 37 →= 71 84 , 77 72 59 34 →= 77 72 , 77 72 59 35 →= 77 71 , 77 72 59 36 →= 77 73 , 77 72 59 37 →= 77 84 , 79 72 59 34 →= 79 72 , 79 72 59 35 →= 79 71 , 79 72 59 36 →= 79 73 , 79 72 59 37 →= 79 84 , 16 72 59 34 →= 16 72 , 16 72 59 35 →= 16 71 , 16 72 59 36 →= 16 73 , 16 72 59 37 →= 16 84 , 35 72 59 34 →= 35 72 , 35 72 59 35 →= 35 71 , 35 72 59 36 →= 35 73 , 35 72 59 37 →= 35 84 , 47 72 59 34 →= 47 72 , 47 72 59 35 →= 47 71 , 47 72 59 36 →= 47 73 , 47 72 59 37 →= 47 84 , 60 72 59 34 →= 60 72 , 60 72 59 35 →= 60 71 , 60 72 59 36 →= 60 73 , 60 72 59 37 →= 60 84 , 50 61 64 3 →= 1 11 13 23 3 3 , 50 61 64 7 →= 1 11 13 23 3 7 , 50 61 64 8 →= 1 11 13 23 3 8 , 50 61 64 9 →= 1 11 13 23 3 9 , 50 61 64 10 →= 1 11 13 23 3 10 , 54 61 64 3 →= 55 11 13 23 3 3 , 54 61 64 7 →= 55 11 13 23 3 7 , 54 61 64 8 →= 55 11 13 23 3 8 , 54 61 64 9 →= 55 11 13 23 3 9 , 54 61 64 10 →= 55 11 13 23 3 10 , 50 61 74 12 →= 1 11 13 23 7 12 , 50 61 74 13 →= 1 11 13 23 7 13 , 54 61 74 12 →= 55 11 13 23 7 12 , 54 61 74 13 →= 55 11 13 23 7 13 , 50 61 63 15 →= 1 11 13 23 8 15 , 50 61 63 16 →= 1 11 13 23 8 16 , 50 61 63 17 →= 1 11 13 23 8 17 , 50 61 63 18 →= 1 11 13 23 8 18 , 54 61 63 15 →= 55 11 13 23 8 15 , 54 61 63 16 →= 55 11 13 23 8 16 , 54 61 63 17 →= 55 11 13 23 8 17 , 54 61 63 18 →= 55 11 13 23 8 18 , 50 61 76 20 →= 1 11 13 23 10 20 , 54 61 76 20 →= 55 11 13 23 10 20 , 14 17 64 3 →= 2 7 13 23 3 3 , 14 17 64 7 →= 2 7 13 23 3 7 , 14 17 64 8 →= 2 7 13 23 3 8 , 14 17 64 9 →= 2 7 13 23 3 9 , 14 17 64 10 →= 2 7 13 23 3 10 , 8 17 64 3 →= 3 7 13 23 3 3 , 8 17 64 7 →= 3 7 13 23 3 7 , 8 17 64 8 →= 3 7 13 23 3 8 , 8 17 64 9 →= 3 7 13 23 3 9 , 8 17 64 10 →= 3 7 13 23 3 10 , 63 17 64 3 →= 64 7 13 23 3 3 , 63 17 64 7 →= 64 7 13 23 3 7 , 63 17 64 8 →= 64 7 13 23 3 8 , 63 17 64 9 →= 64 7 13 23 3 9 , 63 17 64 10 →= 64 7 13 23 3 10 , 32 17 64 3 →= 6 7 13 23 3 3 , 32 17 64 7 →= 6 7 13 23 3 7 , 32 17 64 8 →= 6 7 13 23 3 8 , 32 17 64 9 →= 6 7 13 23 3 9 , 32 17 64 10 →= 6 7 13 23 3 10 , 65 17 64 3 →= 66 7 13 23 3 3 , 65 17 64 7 →= 66 7 13 23 3 7 , 65 17 64 8 →= 66 7 13 23 3 8 , 65 17 64 9 →= 66 7 13 23 3 9 , 65 17 64 10 →= 66 7 13 23 3 10 , 25 17 64 3 →= 23 7 13 23 3 3 , 25 17 64 7 →= 23 7 13 23 3 7 , 25 17 64 8 →= 23 7 13 23 3 8 , 25 17 64 9 →= 23 7 13 23 3 9 , 25 17 64 10 →= 23 7 13 23 3 10 , 14 17 74 12 →= 2 7 13 23 7 12 , 14 17 74 13 →= 2 7 13 23 7 13 , 8 17 74 12 →= 3 7 13 23 7 12 , 8 17 74 13 →= 3 7 13 23 7 13 , 63 17 74 12 →= 64 7 13 23 7 12 , 63 17 74 13 →= 64 7 13 23 7 13 , 32 17 74 12 →= 6 7 13 23 7 12 , 32 17 74 13 →= 6 7 13 23 7 13 , 65 17 74 12 →= 66 7 13 23 7 12 , 65 17 74 13 →= 66 7 13 23 7 13 , 25 17 74 12 →= 23 7 13 23 7 12 , 25 17 74 13 →= 23 7 13 23 7 13 , 14 17 63 15 →= 2 7 13 23 8 15 , 14 17 63 16 →= 2 7 13 23 8 16 , 14 17 63 17 →= 2 7 13 23 8 17 , 14 17 63 18 →= 2 7 13 23 8 18 , 8 17 63 15 →= 3 7 13 23 8 15 , 8 17 63 16 →= 3 7 13 23 8 16 , 8 17 63 17 →= 3 7 13 23 8 17 , 8 17 63 18 →= 3 7 13 23 8 18 , 63 17 63 15 →= 64 7 13 23 8 15 , 63 17 63 16 →= 64 7 13 23 8 16 , 63 17 63 17 →= 64 7 13 23 8 17 , 63 17 63 18 →= 64 7 13 23 8 18 , 32 17 63 15 →= 6 7 13 23 8 15 , 32 17 63 16 →= 6 7 13 23 8 16 , 32 17 63 17 →= 6 7 13 23 8 17 , 32 17 63 18 →= 6 7 13 23 8 18 , 65 17 63 15 →= 66 7 13 23 8 15 , 65 17 63 16 →= 66 7 13 23 8 16 , 65 17 63 17 →= 66 7 13 23 8 17 , 65 17 63 18 →= 66 7 13 23 8 18 , 25 17 63 15 →= 23 7 13 23 8 15 , 25 17 63 16 →= 23 7 13 23 8 16 , 25 17 63 17 →= 23 7 13 23 8 17 , 25 17 63 18 →= 23 7 13 23 8 18 , 14 17 76 20 →= 2 7 13 23 10 20 , 8 17 76 20 →= 3 7 13 23 10 20 , 63 17 76 20 →= 64 7 13 23 10 20 , 32 17 76 20 →= 6 7 13 23 10 20 , 65 17 76 20 →= 66 7 13 23 10 20 , 25 17 76 20 →= 23 7 13 23 10 20 , 45 48 64 3 →= 5 28 13 23 3 3 , 45 48 64 7 →= 5 28 13 23 3 7 , 45 48 64 8 →= 5 28 13 23 3 8 , 45 48 64 9 →= 5 28 13 23 3 9 , 45 48 64 10 →= 5 28 13 23 3 10 , 67 48 64 3 →= 68 28 13 23 3 3 , 67 48 64 7 →= 68 28 13 23 3 7 , 67 48 64 8 →= 68 28 13 23 3 8 , 67 48 64 9 →= 68 28 13 23 3 9 , 67 48 64 10 →= 68 28 13 23 3 10 , 45 48 74 12 →= 5 28 13 23 7 12 , 45 48 74 13 →= 5 28 13 23 7 13 , 67 48 74 12 →= 68 28 13 23 7 12 , 67 48 74 13 →= 68 28 13 23 7 13 , 45 48 63 15 →= 5 28 13 23 8 15 , 45 48 63 16 →= 5 28 13 23 8 16 , 45 48 63 17 →= 5 28 13 23 8 17 , 45 48 63 18 →= 5 28 13 23 8 18 , 67 48 63 15 →= 68 28 13 23 8 15 , 67 48 63 16 →= 68 28 13 23 8 16 , 67 48 63 17 →= 68 28 13 23 8 17 , 67 48 63 18 →= 68 28 13 23 8 18 , 45 48 76 20 →= 5 28 13 23 10 20 , 67 48 76 20 →= 68 28 13 23 10 20 , 59 36 64 3 →= 52 24 13 23 3 3 , 59 36 64 7 →= 52 24 13 23 3 7 , 59 36 64 8 →= 52 24 13 23 3 8 , 59 36 64 9 →= 52 24 13 23 3 9 , 59 36 64 10 →= 52 24 13 23 3 10 , 69 36 64 3 →= 70 24 13 23 3 3 , 69 36 64 7 →= 70 24 13 23 3 7 , 69 36 64 8 →= 70 24 13 23 3 8 , 69 36 64 9 →= 70 24 13 23 3 9 , 69 36 64 10 →= 70 24 13 23 3 10 , 33 36 64 3 →= 22 24 13 23 3 3 , 33 36 64 7 →= 22 24 13 23 3 7 , 33 36 64 8 →= 22 24 13 23 3 8 , 33 36 64 9 →= 22 24 13 23 3 9 , 33 36 64 10 →= 22 24 13 23 3 10 , 59 36 74 12 →= 52 24 13 23 7 12 , 59 36 74 13 →= 52 24 13 23 7 13 , 69 36 74 12 →= 70 24 13 23 7 12 , 69 36 74 13 →= 70 24 13 23 7 13 , 33 36 74 12 →= 22 24 13 23 7 12 , 33 36 74 13 →= 22 24 13 23 7 13 , 59 36 63 15 →= 52 24 13 23 8 15 , 59 36 63 16 →= 52 24 13 23 8 16 , 59 36 63 17 →= 52 24 13 23 8 17 , 59 36 63 18 →= 52 24 13 23 8 18 , 69 36 63 15 →= 70 24 13 23 8 15 , 69 36 63 16 →= 70 24 13 23 8 16 , 69 36 63 17 →= 70 24 13 23 8 17 , 69 36 63 18 →= 70 24 13 23 8 18 , 33 36 63 15 →= 22 24 13 23 8 15 , 33 36 63 16 →= 22 24 13 23 8 16 , 33 36 63 17 →= 22 24 13 23 8 17 , 33 36 63 18 →= 22 24 13 23 8 18 , 59 36 76 20 →= 52 24 13 23 10 20 , 69 36 76 20 →= 70 24 13 23 10 20 , 33 36 76 20 →= 22 24 13 23 10 20 , 71 73 64 3 →= 73 74 13 23 3 3 , 71 73 64 7 →= 73 74 13 23 3 7 , 71 73 64 8 →= 73 74 13 23 3 8 , 71 73 64 9 →= 73 74 13 23 3 9 , 71 73 64 10 →= 73 74 13 23 3 10 , 77 73 64 3 →= 78 74 13 23 3 3 , 77 73 64 7 →= 78 74 13 23 3 7 , 77 73 64 8 →= 78 74 13 23 3 8 , 77 73 64 9 →= 78 74 13 23 3 9 , 77 73 64 10 →= 78 74 13 23 3 10 , 79 73 64 3 →= 80 74 13 23 3 3 , 79 73 64 7 →= 80 74 13 23 3 7 , 79 73 64 8 →= 80 74 13 23 3 8 , 79 73 64 9 →= 80 74 13 23 3 9 , 79 73 64 10 →= 80 74 13 23 3 10 , 16 73 64 3 →= 17 74 13 23 3 3 , 16 73 64 7 →= 17 74 13 23 3 7 , 16 73 64 8 →= 17 74 13 23 3 8 , 16 73 64 9 →= 17 74 13 23 3 9 , 16 73 64 10 →= 17 74 13 23 3 10 , 35 73 64 3 →= 36 74 13 23 3 3 , 35 73 64 7 →= 36 74 13 23 3 7 , 35 73 64 8 →= 36 74 13 23 3 8 , 35 73 64 9 →= 36 74 13 23 3 9 , 35 73 64 10 →= 36 74 13 23 3 10 , 47 73 64 3 →= 48 74 13 23 3 3 , 47 73 64 7 →= 48 74 13 23 3 7 , 47 73 64 8 →= 48 74 13 23 3 8 , 47 73 64 9 →= 48 74 13 23 3 9 , 47 73 64 10 →= 48 74 13 23 3 10 , 60 73 64 3 →= 61 74 13 23 3 3 , 60 73 64 7 →= 61 74 13 23 3 7 , 60 73 64 8 →= 61 74 13 23 3 8 , 60 73 64 9 →= 61 74 13 23 3 9 , 60 73 64 10 →= 61 74 13 23 3 10 , 71 73 74 12 →= 73 74 13 23 7 12 , 71 73 74 13 →= 73 74 13 23 7 13 , 77 73 74 12 →= 78 74 13 23 7 12 , 77 73 74 13 →= 78 74 13 23 7 13 , 79 73 74 12 →= 80 74 13 23 7 12 , 79 73 74 13 →= 80 74 13 23 7 13 , 16 73 74 12 →= 17 74 13 23 7 12 , 16 73 74 13 →= 17 74 13 23 7 13 , 35 73 74 12 →= 36 74 13 23 7 12 , 35 73 74 13 →= 36 74 13 23 7 13 , 47 73 74 12 →= 48 74 13 23 7 12 , 47 73 74 13 →= 48 74 13 23 7 13 , 60 73 74 12 →= 61 74 13 23 7 12 , 60 73 74 13 →= 61 74 13 23 7 13 , 71 73 63 15 →= 73 74 13 23 8 15 , 71 73 63 16 →= 73 74 13 23 8 16 , 71 73 63 17 →= 73 74 13 23 8 17 , 71 73 63 18 →= 73 74 13 23 8 18 , 77 73 63 15 →= 78 74 13 23 8 15 , 77 73 63 16 →= 78 74 13 23 8 16 , 77 73 63 17 →= 78 74 13 23 8 17 , 77 73 63 18 →= 78 74 13 23 8 18 , 79 73 63 15 →= 80 74 13 23 8 15 , 79 73 63 16 →= 80 74 13 23 8 16 , 79 73 63 17 →= 80 74 13 23 8 17 , 79 73 63 18 →= 80 74 13 23 8 18 , 16 73 63 15 →= 17 74 13 23 8 15 , 16 73 63 16 →= 17 74 13 23 8 16 , 16 73 63 17 →= 17 74 13 23 8 17 , 16 73 63 18 →= 17 74 13 23 8 18 , 35 73 63 15 →= 36 74 13 23 8 15 , 35 73 63 16 →= 36 74 13 23 8 16 , 35 73 63 17 →= 36 74 13 23 8 17 , 35 73 63 18 →= 36 74 13 23 8 18 , 47 73 63 15 →= 48 74 13 23 8 15 , 47 73 63 16 →= 48 74 13 23 8 16 , 47 73 63 17 →= 48 74 13 23 8 17 , 47 73 63 18 →= 48 74 13 23 8 18 , 60 73 63 15 →= 61 74 13 23 8 15 , 60 73 63 16 →= 61 74 13 23 8 16 , 60 73 63 17 →= 61 74 13 23 8 17 , 60 73 63 18 →= 61 74 13 23 8 18 , 71 73 76 20 →= 73 74 13 23 10 20 , 77 73 76 20 →= 78 74 13 23 10 20 , 79 73 76 20 →= 80 74 13 23 10 20 , 16 73 76 20 →= 17 74 13 23 10 20 , 35 73 76 20 →= 36 74 13 23 10 20 , 47 73 76 20 →= 48 74 13 23 10 20 , 60 73 76 20 →= 61 74 13 23 10 20 , 21 22 23 3 →= 50 51 52 23 , 21 22 23 7 →= 50 51 52 24 , 21 22 23 8 →= 50 51 52 25 , 21 22 23 9 →= 50 51 52 26 , 21 22 23 10 →= 50 51 52 27 , 58 22 23 3 →= 54 51 52 23 , 58 22 23 7 →= 54 51 52 24 , 58 22 23 8 →= 54 51 52 25 , 58 22 23 9 →= 54 51 52 26 , 58 22 23 10 →= 54 51 52 27 , 21 22 24 12 →= 50 51 56 30 , 21 22 24 13 →= 50 51 56 31 , 58 22 24 12 →= 54 51 56 30 , 58 22 24 13 →= 54 51 56 31 , 21 22 25 15 →= 50 51 59 34 , 21 22 25 16 →= 50 51 59 35 , 21 22 25 17 →= 50 51 59 36 , 21 22 25 18 →= 50 51 59 37 , 58 22 25 15 →= 54 51 59 34 , 58 22 25 16 →= 54 51 59 35 , 58 22 25 17 →= 54 51 59 36 , 58 22 25 18 →= 54 51 59 37 , 21 22 27 20 →= 50 51 85 40 , 58 22 27 20 →= 54 51 85 40 , 11 13 23 3 →= 14 15 52 23 , 11 13 23 7 →= 14 15 52 24 , 11 13 23 8 →= 14 15 52 25 , 11 13 23 9 →= 14 15 52 26 , 11 13 23 10 →= 14 15 52 27 , 7 13 23 3 →= 8 15 52 23 , 7 13 23 7 →= 8 15 52 24 , 7 13 23 8 →= 8 15 52 25 , 7 13 23 9 →= 8 15 52 26 , 7 13 23 10 →= 8 15 52 27 , 74 13 23 3 →= 63 15 52 23 , 74 13 23 7 →= 63 15 52 24 , 74 13 23 8 →= 63 15 52 25 , 74 13 23 9 →= 63 15 52 26 , 74 13 23 10 →= 63 15 52 27 , 28 13 23 3 →= 32 15 52 23 , 28 13 23 7 →= 32 15 52 24 , 28 13 23 8 →= 32 15 52 25 , 28 13 23 9 →= 32 15 52 26 , 28 13 23 10 →= 32 15 52 27 , 86 13 23 3 →= 65 15 52 23 , 86 13 23 7 →= 65 15 52 24 , 86 13 23 8 →= 65 15 52 25 , 86 13 23 9 →= 65 15 52 26 , 86 13 23 10 →= 65 15 52 27 , 24 13 23 3 →= 25 15 52 23 , 24 13 23 7 →= 25 15 52 24 , 24 13 23 8 →= 25 15 52 25 , 24 13 23 9 →= 25 15 52 26 , 24 13 23 10 →= 25 15 52 27 , 42 44 23 3 →= 45 46 52 23 , 42 44 23 7 →= 45 46 52 24 , 42 44 23 8 →= 45 46 52 25 , 42 44 23 9 →= 45 46 52 26 , 42 44 23 10 →= 45 46 52 27 , 87 44 23 3 →= 67 46 52 23 , 87 44 23 7 →= 67 46 52 24 , 87 44 23 8 →= 67 46 52 25 , 87 44 23 9 →= 67 46 52 26 , 87 44 23 10 →= 67 46 52 27 , 56 31 23 3 →= 59 34 52 23 , 56 31 23 7 →= 59 34 52 24 , 56 31 23 8 →= 59 34 52 25 , 56 31 23 9 →= 59 34 52 26 , 56 31 23 10 →= 59 34 52 27 , 88 31 23 3 →= 69 34 52 23 , 88 31 23 7 →= 69 34 52 24 , 88 31 23 8 →= 69 34 52 25 , 88 31 23 9 →= 69 34 52 26 , 88 31 23 10 →= 69 34 52 27 , 29 31 23 3 →= 33 34 52 23 , 29 31 23 7 →= 33 34 52 24 , 29 31 23 8 →= 33 34 52 25 , 29 31 23 9 →= 33 34 52 26 , 29 31 23 10 →= 33 34 52 27 , 72 52 23 3 →= 71 72 52 23 , 72 52 23 7 →= 71 72 52 24 , 72 52 23 8 →= 71 72 52 25 , 72 52 23 9 →= 71 72 52 26 , 72 52 23 10 →= 71 72 52 27 , 82 52 23 3 →= 77 72 52 23 , 82 52 23 7 →= 77 72 52 24 , 82 52 23 8 →= 77 72 52 25 , 82 52 23 9 →= 77 72 52 26 , 82 52 23 10 →= 77 72 52 27 , 83 52 23 3 →= 79 72 52 23 , 83 52 23 7 →= 79 72 52 24 , 83 52 23 8 →= 79 72 52 25 , 83 52 23 9 →= 79 72 52 26 , 83 52 23 10 →= 79 72 52 27 , 15 52 23 3 →= 16 72 52 23 , 15 52 23 7 →= 16 72 52 24 , 15 52 23 8 →= 16 72 52 25 , 15 52 23 9 →= 16 72 52 26 , 15 52 23 10 →= 16 72 52 27 , 34 52 23 3 →= 35 72 52 23 , 34 52 23 7 →= 35 72 52 24 , 34 52 23 8 →= 35 72 52 25 , 34 52 23 9 →= 35 72 52 26 , 34 52 23 10 →= 35 72 52 27 , 46 52 23 3 →= 47 72 52 23 , 46 52 23 7 →= 47 72 52 24 , 46 52 23 8 →= 47 72 52 25 , 46 52 23 9 →= 47 72 52 26 , 46 52 23 10 →= 47 72 52 27 , 51 52 23 3 →= 60 72 52 23 , 51 52 23 7 →= 60 72 52 24 , 51 52 23 8 →= 60 72 52 25 , 51 52 23 9 →= 60 72 52 26 , 51 52 23 10 →= 60 72 52 27 , 72 52 24 12 →= 71 72 56 30 , 72 52 24 13 →= 71 72 56 31 , 82 52 24 12 →= 77 72 56 30 , 82 52 24 13 →= 77 72 56 31 , 83 52 24 12 →= 79 72 56 30 , 83 52 24 13 →= 79 72 56 31 , 15 52 24 12 →= 16 72 56 30 , 15 52 24 13 →= 16 72 56 31 , 34 52 24 12 →= 35 72 56 30 , 34 52 24 13 →= 35 72 56 31 , 46 52 24 12 →= 47 72 56 30 , 46 52 24 13 →= 47 72 56 31 , 51 52 24 12 →= 60 72 56 30 , 51 52 24 13 →= 60 72 56 31 , 72 52 25 15 →= 71 72 59 34 , 72 52 25 16 →= 71 72 59 35 , 72 52 25 17 →= 71 72 59 36 , 72 52 25 18 →= 71 72 59 37 , 82 52 25 15 →= 77 72 59 34 , 82 52 25 16 →= 77 72 59 35 , 82 52 25 17 →= 77 72 59 36 , 82 52 25 18 →= 77 72 59 37 , 83 52 25 15 →= 79 72 59 34 , 83 52 25 16 →= 79 72 59 35 , 83 52 25 17 →= 79 72 59 36 , 83 52 25 18 →= 79 72 59 37 , 15 52 25 15 →= 16 72 59 34 , 15 52 25 16 →= 16 72 59 35 , 15 52 25 17 →= 16 72 59 36 , 15 52 25 18 →= 16 72 59 37 , 34 52 25 15 →= 35 72 59 34 , 34 52 25 16 →= 35 72 59 35 , 34 52 25 17 →= 35 72 59 36 , 34 52 25 18 →= 35 72 59 37 , 46 52 25 15 →= 47 72 59 34 , 46 52 25 16 →= 47 72 59 35 , 46 52 25 17 →= 47 72 59 36 , 46 52 25 18 →= 47 72 59 37 , 51 52 25 15 →= 60 72 59 34 , 51 52 25 16 →= 60 72 59 35 , 51 52 25 17 →= 60 72 59 36 , 51 52 25 18 →= 60 72 59 37 , 72 52 27 20 →= 71 72 85 40 , 82 52 27 20 →= 77 72 85 40 , 83 52 27 20 →= 79 72 85 40 , 15 52 27 20 →= 16 72 85 40 , 34 52 27 20 →= 35 72 85 40 , 46 52 27 20 →= 47 72 85 40 , 51 52 27 20 →= 60 72 85 40 , 89 90 23 3 →= 91 82 52 23 , 89 90 23 7 →= 91 82 52 24 , 89 90 23 8 →= 91 82 52 25 , 89 90 23 9 →= 91 82 52 26 , 89 90 23 10 →= 91 82 52 27 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 1 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 5 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 6 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 7 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 8 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 9 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 10 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 11 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 12 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 13 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 14 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 15 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 16 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 17 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 18 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 19 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 20 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 21 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 22 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 23 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 24 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 25 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 26 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 27 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 28 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 29 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 30 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 31 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 32 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 33 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 34 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 35 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 36 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 37 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 38 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 39 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 40 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 41 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 42 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 43 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 44 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 45 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 46 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 47 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 48 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 49 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 50 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 51 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 52 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 53 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 54 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 55 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 56 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 57 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 58 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 59 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 60 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 61 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 62 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 63 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 64 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 65 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 66 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 67 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 68 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 69 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 70 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 71 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 72 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 73 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 74 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 75 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 76 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 77 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 78 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 79 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 80 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 81 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 82 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 83 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 84 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 85 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 86 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 87 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 88 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 89 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 90 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 91 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ After renaming modulo the bijection { 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, 31 ↦ 30, 32 ↦ 31, 33 ↦ 32, 34 ↦ 33, 35 ↦ 34, 36 ↦ 35, 41 ↦ 36, 38 ↦ 37, 42 ↦ 38, 44 ↦ 39, 45 ↦ 40, 46 ↦ 41, 47 ↦ 42, 48 ↦ 43, 50 ↦ 44, 51 ↦ 45, 52 ↦ 46, 53 ↦ 47, 54 ↦ 48, 55 ↦ 49, 56 ↦ 50, 30 ↦ 51, 57 ↦ 52, 58 ↦ 53, 59 ↦ 54, 60 ↦ 55, 61 ↦ 56, 37 ↦ 57, 62 ↦ 58, 63 ↦ 59, 64 ↦ 60, 65 ↦ 61, 66 ↦ 62, 67 ↦ 63, 68 ↦ 64, 69 ↦ 65, 70 ↦ 66, 71 ↦ 67, 72 ↦ 68, 73 ↦ 69, 74 ↦ 70, 75 ↦ 71, 76 ↦ 72, 77 ↦ 73, 78 ↦ 74, 79 ↦ 75, 80 ↦ 76, 81 ↦ 77, 82 ↦ 78, 83 ↦ 79, 84 ↦ 80 }, it remains to prove termination of the 545-rule system { 0 1 2 3 ⟶ 4 5 6 3 3 , 0 1 2 7 ⟶ 4 5 6 3 7 , 0 1 2 8 ⟶ 4 5 6 3 8 , 0 1 2 9 ⟶ 4 5 6 3 9 , 0 1 2 10 ⟶ 4 5 6 3 10 , 0 1 11 12 ⟶ 4 5 6 7 12 , 0 1 11 13 ⟶ 4 5 6 7 13 , 0 1 14 15 ⟶ 4 5 6 8 15 , 0 1 14 16 ⟶ 4 5 6 8 16 , 0 1 14 17 ⟶ 4 5 6 8 17 , 0 1 14 18 ⟶ 4 5 6 8 18 , 0 1 19 20 ⟶ 4 5 6 10 20 , 4 5 6 3 ⟶ 0 21 22 23 , 4 5 6 7 ⟶ 0 21 22 24 , 4 5 6 8 ⟶ 0 21 22 25 , 4 5 6 9 ⟶ 0 21 22 26 , 4 5 6 10 ⟶ 0 21 22 27 , 4 5 28 13 ⟶ 0 21 29 30 , 4 5 31 15 ⟶ 0 21 32 33 , 4 5 31 16 ⟶ 0 21 32 34 , 4 5 31 17 ⟶ 0 21 32 35 , 4 5 6 3 ⟶ 4 5 6 , 4 5 6 7 ⟶ 4 5 28 , 4 5 6 8 ⟶ 4 5 31 , 4 5 6 9 ⟶ 4 5 36 , 4 5 6 10 ⟶ 4 5 37 , 4 5 28 13 ⟶ 4 38 39 , 4 5 31 15 ⟶ 4 40 41 , 4 5 31 16 ⟶ 4 40 42 , 4 5 31 17 ⟶ 4 40 43 , 44 45 46 23 →= 1 2 , 44 45 46 24 →= 1 11 , 44 45 46 25 →= 1 14 , 44 45 46 26 →= 1 47 , 44 45 46 27 →= 1 19 , 48 45 46 23 →= 49 2 , 48 45 46 24 →= 49 11 , 48 45 46 25 →= 49 14 , 48 45 46 26 →= 49 47 , 48 45 46 27 →= 49 19 , 44 45 50 51 →= 21 52 , 44 45 50 30 →= 21 22 , 48 45 50 51 →= 53 52 , 48 45 50 30 →= 53 22 , 44 45 54 33 →= 44 45 , 44 45 54 34 →= 44 55 , 44 45 54 35 →= 44 56 , 44 45 54 57 →= 44 58 , 48 45 54 33 →= 48 45 , 48 45 54 34 →= 48 55 , 48 45 54 35 →= 48 56 , 48 45 54 57 →= 48 58 , 14 15 46 23 →= 2 3 , 14 15 46 24 →= 2 7 , 14 15 46 25 →= 2 8 , 14 15 46 26 →= 2 9 , 14 15 46 27 →= 2 10 , 8 15 46 23 →= 3 3 , 8 15 46 24 →= 3 7 , 8 15 46 25 →= 3 8 , 8 15 46 26 →= 3 9 , 8 15 46 27 →= 3 10 , 59 15 46 23 →= 60 3 , 59 15 46 24 →= 60 7 , 59 15 46 25 →= 60 8 , 59 15 46 26 →= 60 9 , 59 15 46 27 →= 60 10 , 31 15 46 23 →= 6 3 , 31 15 46 24 →= 6 7 , 31 15 46 25 →= 6 8 , 31 15 46 26 →= 6 9 , 31 15 46 27 →= 6 10 , 61 15 46 23 →= 62 3 , 61 15 46 24 →= 62 7 , 61 15 46 25 →= 62 8 , 61 15 46 26 →= 62 9 , 61 15 46 27 →= 62 10 , 25 15 46 23 →= 23 3 , 25 15 46 24 →= 23 7 , 25 15 46 25 →= 23 8 , 25 15 46 26 →= 23 9 , 25 15 46 27 →= 23 10 , 40 41 46 23 →= 5 6 , 40 41 46 24 →= 5 28 , 40 41 46 25 →= 5 31 , 40 41 46 26 →= 5 36 , 40 41 46 27 →= 5 37 , 63 41 46 23 →= 64 6 , 63 41 46 24 →= 64 28 , 63 41 46 25 →= 64 31 , 63 41 46 26 →= 64 36 , 63 41 46 27 →= 64 37 , 54 33 46 23 →= 46 23 , 54 33 46 24 →= 46 24 , 54 33 46 25 →= 46 25 , 54 33 46 26 →= 46 26 , 54 33 46 27 →= 46 27 , 65 33 46 23 →= 66 23 , 65 33 46 24 →= 66 24 , 65 33 46 25 →= 66 25 , 65 33 46 26 →= 66 26 , 65 33 46 27 →= 66 27 , 32 33 46 23 →= 22 23 , 32 33 46 24 →= 22 24 , 32 33 46 25 →= 22 25 , 32 33 46 26 →= 22 26 , 32 33 46 27 →= 22 27 , 67 68 46 23 →= 69 60 , 67 68 46 24 →= 69 70 , 67 68 46 25 →= 69 59 , 67 68 46 26 →= 69 71 , 67 68 46 27 →= 69 72 , 73 68 46 23 →= 74 60 , 73 68 46 24 →= 74 70 , 73 68 46 25 →= 74 59 , 73 68 46 26 →= 74 71 , 73 68 46 27 →= 74 72 , 75 68 46 23 →= 76 60 , 75 68 46 24 →= 76 70 , 75 68 46 25 →= 76 59 , 75 68 46 26 →= 76 71 , 75 68 46 27 →= 76 72 , 16 68 46 23 →= 17 60 , 16 68 46 24 →= 17 70 , 16 68 46 25 →= 17 59 , 16 68 46 26 →= 17 71 , 16 68 46 27 →= 17 72 , 34 68 46 23 →= 35 60 , 34 68 46 24 →= 35 70 , 34 68 46 25 →= 35 59 , 34 68 46 26 →= 35 71 , 34 68 46 27 →= 35 72 , 42 68 46 23 →= 43 60 , 42 68 46 24 →= 43 70 , 42 68 46 25 →= 43 59 , 42 68 46 26 →= 43 71 , 42 68 46 27 →= 43 72 , 55 68 46 23 →= 56 60 , 55 68 46 24 →= 56 70 , 55 68 46 25 →= 56 59 , 55 68 46 26 →= 56 71 , 55 68 46 27 →= 56 72 , 67 68 50 51 →= 68 77 , 67 68 50 30 →= 68 46 , 73 68 50 51 →= 78 77 , 73 68 50 30 →= 78 46 , 75 68 50 51 →= 79 77 , 75 68 50 30 →= 79 46 , 16 68 50 51 →= 15 77 , 16 68 50 30 →= 15 46 , 34 68 50 51 →= 33 77 , 34 68 50 30 →= 33 46 , 42 68 50 51 →= 41 77 , 42 68 50 30 →= 41 46 , 55 68 50 51 →= 45 77 , 55 68 50 30 →= 45 46 , 67 68 54 33 →= 67 68 , 67 68 54 34 →= 67 67 , 67 68 54 35 →= 67 69 , 67 68 54 57 →= 67 80 , 73 68 54 33 →= 73 68 , 73 68 54 34 →= 73 67 , 73 68 54 35 →= 73 69 , 73 68 54 57 →= 73 80 , 75 68 54 33 →= 75 68 , 75 68 54 34 →= 75 67 , 75 68 54 35 →= 75 69 , 75 68 54 57 →= 75 80 , 16 68 54 33 →= 16 68 , 16 68 54 34 →= 16 67 , 16 68 54 35 →= 16 69 , 16 68 54 57 →= 16 80 , 34 68 54 33 →= 34 68 , 34 68 54 34 →= 34 67 , 34 68 54 35 →= 34 69 , 34 68 54 57 →= 34 80 , 42 68 54 33 →= 42 68 , 42 68 54 34 →= 42 67 , 42 68 54 35 →= 42 69 , 42 68 54 57 →= 42 80 , 55 68 54 33 →= 55 68 , 55 68 54 34 →= 55 67 , 55 68 54 35 →= 55 69 , 55 68 54 57 →= 55 80 , 44 56 60 3 →= 1 11 13 23 3 3 , 44 56 60 7 →= 1 11 13 23 3 7 , 44 56 60 8 →= 1 11 13 23 3 8 , 44 56 60 9 →= 1 11 13 23 3 9 , 44 56 60 10 →= 1 11 13 23 3 10 , 48 56 60 3 →= 49 11 13 23 3 3 , 48 56 60 7 →= 49 11 13 23 3 7 , 48 56 60 8 →= 49 11 13 23 3 8 , 48 56 60 9 →= 49 11 13 23 3 9 , 48 56 60 10 →= 49 11 13 23 3 10 , 44 56 70 12 →= 1 11 13 23 7 12 , 44 56 70 13 →= 1 11 13 23 7 13 , 48 56 70 12 →= 49 11 13 23 7 12 , 48 56 70 13 →= 49 11 13 23 7 13 , 44 56 59 15 →= 1 11 13 23 8 15 , 44 56 59 16 →= 1 11 13 23 8 16 , 44 56 59 17 →= 1 11 13 23 8 17 , 44 56 59 18 →= 1 11 13 23 8 18 , 48 56 59 15 →= 49 11 13 23 8 15 , 48 56 59 16 →= 49 11 13 23 8 16 , 48 56 59 17 →= 49 11 13 23 8 17 , 48 56 59 18 →= 49 11 13 23 8 18 , 44 56 72 20 →= 1 11 13 23 10 20 , 48 56 72 20 →= 49 11 13 23 10 20 , 14 17 60 3 →= 2 7 13 23 3 3 , 14 17 60 7 →= 2 7 13 23 3 7 , 14 17 60 8 →= 2 7 13 23 3 8 , 14 17 60 9 →= 2 7 13 23 3 9 , 14 17 60 10 →= 2 7 13 23 3 10 , 8 17 60 3 →= 3 7 13 23 3 3 , 8 17 60 7 →= 3 7 13 23 3 7 , 8 17 60 8 →= 3 7 13 23 3 8 , 8 17 60 9 →= 3 7 13 23 3 9 , 8 17 60 10 →= 3 7 13 23 3 10 , 59 17 60 3 →= 60 7 13 23 3 3 , 59 17 60 7 →= 60 7 13 23 3 7 , 59 17 60 8 →= 60 7 13 23 3 8 , 59 17 60 9 →= 60 7 13 23 3 9 , 59 17 60 10 →= 60 7 13 23 3 10 , 31 17 60 3 →= 6 7 13 23 3 3 , 31 17 60 7 →= 6 7 13 23 3 7 , 31 17 60 8 →= 6 7 13 23 3 8 , 31 17 60 9 →= 6 7 13 23 3 9 , 31 17 60 10 →= 6 7 13 23 3 10 , 61 17 60 3 →= 62 7 13 23 3 3 , 61 17 60 7 →= 62 7 13 23 3 7 , 61 17 60 8 →= 62 7 13 23 3 8 , 61 17 60 9 →= 62 7 13 23 3 9 , 61 17 60 10 →= 62 7 13 23 3 10 , 25 17 60 3 →= 23 7 13 23 3 3 , 25 17 60 7 →= 23 7 13 23 3 7 , 25 17 60 8 →= 23 7 13 23 3 8 , 25 17 60 9 →= 23 7 13 23 3 9 , 25 17 60 10 →= 23 7 13 23 3 10 , 14 17 70 12 →= 2 7 13 23 7 12 , 14 17 70 13 →= 2 7 13 23 7 13 , 8 17 70 12 →= 3 7 13 23 7 12 , 8 17 70 13 →= 3 7 13 23 7 13 , 59 17 70 12 →= 60 7 13 23 7 12 , 59 17 70 13 →= 60 7 13 23 7 13 , 31 17 70 12 →= 6 7 13 23 7 12 , 31 17 70 13 →= 6 7 13 23 7 13 , 61 17 70 12 →= 62 7 13 23 7 12 , 61 17 70 13 →= 62 7 13 23 7 13 , 25 17 70 12 →= 23 7 13 23 7 12 , 25 17 70 13 →= 23 7 13 23 7 13 , 14 17 59 15 →= 2 7 13 23 8 15 , 14 17 59 16 →= 2 7 13 23 8 16 , 14 17 59 17 →= 2 7 13 23 8 17 , 14 17 59 18 →= 2 7 13 23 8 18 , 8 17 59 15 →= 3 7 13 23 8 15 , 8 17 59 16 →= 3 7 13 23 8 16 , 8 17 59 17 →= 3 7 13 23 8 17 , 8 17 59 18 →= 3 7 13 23 8 18 , 59 17 59 15 →= 60 7 13 23 8 15 , 59 17 59 16 →= 60 7 13 23 8 16 , 59 17 59 17 →= 60 7 13 23 8 17 , 59 17 59 18 →= 60 7 13 23 8 18 , 31 17 59 15 →= 6 7 13 23 8 15 , 31 17 59 16 →= 6 7 13 23 8 16 , 31 17 59 17 →= 6 7 13 23 8 17 , 31 17 59 18 →= 6 7 13 23 8 18 , 61 17 59 15 →= 62 7 13 23 8 15 , 61 17 59 16 →= 62 7 13 23 8 16 , 61 17 59 17 →= 62 7 13 23 8 17 , 61 17 59 18 →= 62 7 13 23 8 18 , 25 17 59 15 →= 23 7 13 23 8 15 , 25 17 59 16 →= 23 7 13 23 8 16 , 25 17 59 17 →= 23 7 13 23 8 17 , 25 17 59 18 →= 23 7 13 23 8 18 , 14 17 72 20 →= 2 7 13 23 10 20 , 8 17 72 20 →= 3 7 13 23 10 20 , 59 17 72 20 →= 60 7 13 23 10 20 , 31 17 72 20 →= 6 7 13 23 10 20 , 61 17 72 20 →= 62 7 13 23 10 20 , 25 17 72 20 →= 23 7 13 23 10 20 , 40 43 60 3 →= 5 28 13 23 3 3 , 40 43 60 7 →= 5 28 13 23 3 7 , 40 43 60 8 →= 5 28 13 23 3 8 , 40 43 60 9 →= 5 28 13 23 3 9 , 40 43 60 10 →= 5 28 13 23 3 10 , 63 43 60 3 →= 64 28 13 23 3 3 , 63 43 60 7 →= 64 28 13 23 3 7 , 63 43 60 8 →= 64 28 13 23 3 8 , 63 43 60 9 →= 64 28 13 23 3 9 , 63 43 60 10 →= 64 28 13 23 3 10 , 40 43 70 12 →= 5 28 13 23 7 12 , 40 43 70 13 →= 5 28 13 23 7 13 , 63 43 70 12 →= 64 28 13 23 7 12 , 63 43 70 13 →= 64 28 13 23 7 13 , 40 43 59 15 →= 5 28 13 23 8 15 , 40 43 59 16 →= 5 28 13 23 8 16 , 40 43 59 17 →= 5 28 13 23 8 17 , 40 43 59 18 →= 5 28 13 23 8 18 , 63 43 59 15 →= 64 28 13 23 8 15 , 63 43 59 16 →= 64 28 13 23 8 16 , 63 43 59 17 →= 64 28 13 23 8 17 , 63 43 59 18 →= 64 28 13 23 8 18 , 40 43 72 20 →= 5 28 13 23 10 20 , 63 43 72 20 →= 64 28 13 23 10 20 , 54 35 60 3 →= 46 24 13 23 3 3 , 54 35 60 7 →= 46 24 13 23 3 7 , 54 35 60 8 →= 46 24 13 23 3 8 , 54 35 60 9 →= 46 24 13 23 3 9 , 54 35 60 10 →= 46 24 13 23 3 10 , 65 35 60 3 →= 66 24 13 23 3 3 , 65 35 60 7 →= 66 24 13 23 3 7 , 65 35 60 8 →= 66 24 13 23 3 8 , 65 35 60 9 →= 66 24 13 23 3 9 , 65 35 60 10 →= 66 24 13 23 3 10 , 32 35 60 3 →= 22 24 13 23 3 3 , 32 35 60 7 →= 22 24 13 23 3 7 , 32 35 60 8 →= 22 24 13 23 3 8 , 32 35 60 9 →= 22 24 13 23 3 9 , 32 35 60 10 →= 22 24 13 23 3 10 , 54 35 70 12 →= 46 24 13 23 7 12 , 54 35 70 13 →= 46 24 13 23 7 13 , 65 35 70 12 →= 66 24 13 23 7 12 , 65 35 70 13 →= 66 24 13 23 7 13 , 32 35 70 12 →= 22 24 13 23 7 12 , 32 35 70 13 →= 22 24 13 23 7 13 , 54 35 59 15 →= 46 24 13 23 8 15 , 54 35 59 16 →= 46 24 13 23 8 16 , 54 35 59 17 →= 46 24 13 23 8 17 , 54 35 59 18 →= 46 24 13 23 8 18 , 65 35 59 15 →= 66 24 13 23 8 15 , 65 35 59 16 →= 66 24 13 23 8 16 , 65 35 59 17 →= 66 24 13 23 8 17 , 65 35 59 18 →= 66 24 13 23 8 18 , 32 35 59 15 →= 22 24 13 23 8 15 , 32 35 59 16 →= 22 24 13 23 8 16 , 32 35 59 17 →= 22 24 13 23 8 17 , 32 35 59 18 →= 22 24 13 23 8 18 , 54 35 72 20 →= 46 24 13 23 10 20 , 65 35 72 20 →= 66 24 13 23 10 20 , 32 35 72 20 →= 22 24 13 23 10 20 , 67 69 60 3 →= 69 70 13 23 3 3 , 67 69 60 7 →= 69 70 13 23 3 7 , 67 69 60 8 →= 69 70 13 23 3 8 , 67 69 60 9 →= 69 70 13 23 3 9 , 67 69 60 10 →= 69 70 13 23 3 10 , 73 69 60 3 →= 74 70 13 23 3 3 , 73 69 60 7 →= 74 70 13 23 3 7 , 73 69 60 8 →= 74 70 13 23 3 8 , 73 69 60 9 →= 74 70 13 23 3 9 , 73 69 60 10 →= 74 70 13 23 3 10 , 75 69 60 3 →= 76 70 13 23 3 3 , 75 69 60 7 →= 76 70 13 23 3 7 , 75 69 60 8 →= 76 70 13 23 3 8 , 75 69 60 9 →= 76 70 13 23 3 9 , 75 69 60 10 →= 76 70 13 23 3 10 , 16 69 60 3 →= 17 70 13 23 3 3 , 16 69 60 7 →= 17 70 13 23 3 7 , 16 69 60 8 →= 17 70 13 23 3 8 , 16 69 60 9 →= 17 70 13 23 3 9 , 16 69 60 10 →= 17 70 13 23 3 10 , 34 69 60 3 →= 35 70 13 23 3 3 , 34 69 60 7 →= 35 70 13 23 3 7 , 34 69 60 8 →= 35 70 13 23 3 8 , 34 69 60 9 →= 35 70 13 23 3 9 , 34 69 60 10 →= 35 70 13 23 3 10 , 42 69 60 3 →= 43 70 13 23 3 3 , 42 69 60 7 →= 43 70 13 23 3 7 , 42 69 60 8 →= 43 70 13 23 3 8 , 42 69 60 9 →= 43 70 13 23 3 9 , 42 69 60 10 →= 43 70 13 23 3 10 , 55 69 60 3 →= 56 70 13 23 3 3 , 55 69 60 7 →= 56 70 13 23 3 7 , 55 69 60 8 →= 56 70 13 23 3 8 , 55 69 60 9 →= 56 70 13 23 3 9 , 55 69 60 10 →= 56 70 13 23 3 10 , 67 69 70 12 →= 69 70 13 23 7 12 , 67 69 70 13 →= 69 70 13 23 7 13 , 73 69 70 12 →= 74 70 13 23 7 12 , 73 69 70 13 →= 74 70 13 23 7 13 , 75 69 70 12 →= 76 70 13 23 7 12 , 75 69 70 13 →= 76 70 13 23 7 13 , 16 69 70 12 →= 17 70 13 23 7 12 , 16 69 70 13 →= 17 70 13 23 7 13 , 34 69 70 12 →= 35 70 13 23 7 12 , 34 69 70 13 →= 35 70 13 23 7 13 , 42 69 70 12 →= 43 70 13 23 7 12 , 42 69 70 13 →= 43 70 13 23 7 13 , 55 69 70 12 →= 56 70 13 23 7 12 , 55 69 70 13 →= 56 70 13 23 7 13 , 67 69 59 15 →= 69 70 13 23 8 15 , 67 69 59 16 →= 69 70 13 23 8 16 , 67 69 59 17 →= 69 70 13 23 8 17 , 67 69 59 18 →= 69 70 13 23 8 18 , 73 69 59 15 →= 74 70 13 23 8 15 , 73 69 59 16 →= 74 70 13 23 8 16 , 73 69 59 17 →= 74 70 13 23 8 17 , 73 69 59 18 →= 74 70 13 23 8 18 , 75 69 59 15 →= 76 70 13 23 8 15 , 75 69 59 16 →= 76 70 13 23 8 16 , 75 69 59 17 →= 76 70 13 23 8 17 , 75 69 59 18 →= 76 70 13 23 8 18 , 16 69 59 15 →= 17 70 13 23 8 15 , 16 69 59 16 →= 17 70 13 23 8 16 , 16 69 59 17 →= 17 70 13 23 8 17 , 16 69 59 18 →= 17 70 13 23 8 18 , 34 69 59 15 →= 35 70 13 23 8 15 , 34 69 59 16 →= 35 70 13 23 8 16 , 34 69 59 17 →= 35 70 13 23 8 17 , 34 69 59 18 →= 35 70 13 23 8 18 , 42 69 59 15 →= 43 70 13 23 8 15 , 42 69 59 16 →= 43 70 13 23 8 16 , 42 69 59 17 →= 43 70 13 23 8 17 , 42 69 59 18 →= 43 70 13 23 8 18 , 55 69 59 15 →= 56 70 13 23 8 15 , 55 69 59 16 →= 56 70 13 23 8 16 , 55 69 59 17 →= 56 70 13 23 8 17 , 55 69 59 18 →= 56 70 13 23 8 18 , 67 69 72 20 →= 69 70 13 23 10 20 , 73 69 72 20 →= 74 70 13 23 10 20 , 75 69 72 20 →= 76 70 13 23 10 20 , 16 69 72 20 →= 17 70 13 23 10 20 , 34 69 72 20 →= 35 70 13 23 10 20 , 42 69 72 20 →= 43 70 13 23 10 20 , 55 69 72 20 →= 56 70 13 23 10 20 , 21 22 23 3 →= 44 45 46 23 , 21 22 23 7 →= 44 45 46 24 , 21 22 23 8 →= 44 45 46 25 , 21 22 23 9 →= 44 45 46 26 , 21 22 23 10 →= 44 45 46 27 , 53 22 23 3 →= 48 45 46 23 , 53 22 23 7 →= 48 45 46 24 , 53 22 23 8 →= 48 45 46 25 , 53 22 23 9 →= 48 45 46 26 , 53 22 23 10 →= 48 45 46 27 , 21 22 24 13 →= 44 45 50 30 , 53 22 24 13 →= 48 45 50 30 , 21 22 25 15 →= 44 45 54 33 , 21 22 25 16 →= 44 45 54 34 , 21 22 25 17 →= 44 45 54 35 , 53 22 25 15 →= 48 45 54 33 , 53 22 25 16 →= 48 45 54 34 , 53 22 25 17 →= 48 45 54 35 , 11 13 23 3 →= 14 15 46 23 , 11 13 23 7 →= 14 15 46 24 , 11 13 23 8 →= 14 15 46 25 , 11 13 23 9 →= 14 15 46 26 , 11 13 23 10 →= 14 15 46 27 , 7 13 23 3 →= 8 15 46 23 , 7 13 23 7 →= 8 15 46 24 , 7 13 23 8 →= 8 15 46 25 , 7 13 23 9 →= 8 15 46 26 , 7 13 23 10 →= 8 15 46 27 , 70 13 23 3 →= 59 15 46 23 , 70 13 23 7 →= 59 15 46 24 , 70 13 23 8 →= 59 15 46 25 , 70 13 23 9 →= 59 15 46 26 , 70 13 23 10 →= 59 15 46 27 , 28 13 23 3 →= 31 15 46 23 , 28 13 23 7 →= 31 15 46 24 , 28 13 23 8 →= 31 15 46 25 , 28 13 23 9 →= 31 15 46 26 , 28 13 23 10 →= 31 15 46 27 , 24 13 23 3 →= 25 15 46 23 , 24 13 23 7 →= 25 15 46 24 , 24 13 23 8 →= 25 15 46 25 , 24 13 23 9 →= 25 15 46 26 , 24 13 23 10 →= 25 15 46 27 , 38 39 23 3 →= 40 41 46 23 , 38 39 23 7 →= 40 41 46 24 , 38 39 23 8 →= 40 41 46 25 , 38 39 23 9 →= 40 41 46 26 , 38 39 23 10 →= 40 41 46 27 , 50 30 23 3 →= 54 33 46 23 , 50 30 23 7 →= 54 33 46 24 , 50 30 23 8 →= 54 33 46 25 , 50 30 23 9 →= 54 33 46 26 , 50 30 23 10 →= 54 33 46 27 , 29 30 23 3 →= 32 33 46 23 , 29 30 23 7 →= 32 33 46 24 , 29 30 23 8 →= 32 33 46 25 , 29 30 23 9 →= 32 33 46 26 , 29 30 23 10 →= 32 33 46 27 , 68 46 23 3 →= 67 68 46 23 , 68 46 23 7 →= 67 68 46 24 , 68 46 23 8 →= 67 68 46 25 , 68 46 23 9 →= 67 68 46 26 , 68 46 23 10 →= 67 68 46 27 , 78 46 23 3 →= 73 68 46 23 , 78 46 23 7 →= 73 68 46 24 , 78 46 23 8 →= 73 68 46 25 , 78 46 23 9 →= 73 68 46 26 , 78 46 23 10 →= 73 68 46 27 , 79 46 23 3 →= 75 68 46 23 , 79 46 23 7 →= 75 68 46 24 , 79 46 23 8 →= 75 68 46 25 , 79 46 23 9 →= 75 68 46 26 , 79 46 23 10 →= 75 68 46 27 , 15 46 23 3 →= 16 68 46 23 , 15 46 23 7 →= 16 68 46 24 , 15 46 23 8 →= 16 68 46 25 , 15 46 23 9 →= 16 68 46 26 , 15 46 23 10 →= 16 68 46 27 , 33 46 23 3 →= 34 68 46 23 , 33 46 23 7 →= 34 68 46 24 , 33 46 23 8 →= 34 68 46 25 , 33 46 23 9 →= 34 68 46 26 , 33 46 23 10 →= 34 68 46 27 , 41 46 23 3 →= 42 68 46 23 , 41 46 23 7 →= 42 68 46 24 , 41 46 23 8 →= 42 68 46 25 , 41 46 23 9 →= 42 68 46 26 , 41 46 23 10 →= 42 68 46 27 , 45 46 23 3 →= 55 68 46 23 , 45 46 23 7 →= 55 68 46 24 , 45 46 23 8 →= 55 68 46 25 , 45 46 23 9 →= 55 68 46 26 , 45 46 23 10 →= 55 68 46 27 , 68 46 24 13 →= 67 68 50 30 , 78 46 24 13 →= 73 68 50 30 , 79 46 24 13 →= 75 68 50 30 , 15 46 24 13 →= 16 68 50 30 , 33 46 24 13 →= 34 68 50 30 , 41 46 24 13 →= 42 68 50 30 , 45 46 24 13 →= 55 68 50 30 , 68 46 25 15 →= 67 68 54 33 , 68 46 25 16 →= 67 68 54 34 , 68 46 25 17 →= 67 68 54 35 , 78 46 25 15 →= 73 68 54 33 , 78 46 25 16 →= 73 68 54 34 , 78 46 25 17 →= 73 68 54 35 , 79 46 25 15 →= 75 68 54 33 , 79 46 25 16 →= 75 68 54 34 , 79 46 25 17 →= 75 68 54 35 , 15 46 25 15 →= 16 68 54 33 , 15 46 25 16 →= 16 68 54 34 , 15 46 25 17 →= 16 68 54 35 , 33 46 25 15 →= 34 68 54 33 , 33 46 25 16 →= 34 68 54 34 , 33 46 25 17 →= 34 68 54 35 , 41 46 25 15 →= 42 68 54 33 , 41 46 25 16 →= 42 68 54 34 , 41 46 25 17 →= 42 68 54 35 , 45 46 25 15 →= 55 68 54 33 , 45 46 25 16 →= 55 68 54 34 , 45 46 25 17 →= 55 68 54 35 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 1 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 5 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 6 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 7 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 8 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 9 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 10 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 11 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 12 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 13 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 14 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 15 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 16 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 17 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 18 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 19 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 20 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 21 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 22 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 23 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 24 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 25 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 26 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 27 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 28 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 29 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 30 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 31 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 32 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 33 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 34 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 35 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 36 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 37 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 38 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 39 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 40 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 41 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 42 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 43 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 44 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 45 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 46 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 47 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 48 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 49 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 50 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 51 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 52 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 53 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 54 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 55 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 56 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 57 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 58 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 59 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 60 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 61 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 62 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 63 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 64 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 65 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 66 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 67 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 68 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 69 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 70 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 71 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 72 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 73 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 74 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 75 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 76 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 77 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 78 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 79 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 80 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ After renaming modulo the bijection { 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, 35 ↦ 35, 36 ↦ 36, 37 ↦ 37, 38 ↦ 38, 39 ↦ 39, 40 ↦ 40, 41 ↦ 41, 42 ↦ 42, 43 ↦ 43, 44 ↦ 44, 45 ↦ 45, 46 ↦ 46, 47 ↦ 47, 48 ↦ 48, 49 ↦ 49, 50 ↦ 50, 53 ↦ 51, 54 ↦ 52, 55 ↦ 53, 56 ↦ 54, 59 ↦ 55, 60 ↦ 56, 67 ↦ 57, 68 ↦ 58, 69 ↦ 59, 70 ↦ 60, 71 ↦ 61, 72 ↦ 62, 73 ↦ 63, 74 ↦ 64, 75 ↦ 65, 76 ↦ 66, 78 ↦ 67, 79 ↦ 68 }, it remains to prove termination of the 476-rule system { 0 1 2 3 ⟶ 4 5 6 3 3 , 0 1 2 7 ⟶ 4 5 6 3 7 , 0 1 2 8 ⟶ 4 5 6 3 8 , 0 1 2 9 ⟶ 4 5 6 3 9 , 0 1 2 10 ⟶ 4 5 6 3 10 , 0 1 11 12 ⟶ 4 5 6 7 12 , 0 1 11 13 ⟶ 4 5 6 7 13 , 0 1 14 15 ⟶ 4 5 6 8 15 , 0 1 14 16 ⟶ 4 5 6 8 16 , 0 1 14 17 ⟶ 4 5 6 8 17 , 0 1 14 18 ⟶ 4 5 6 8 18 , 0 1 19 20 ⟶ 4 5 6 10 20 , 4 5 6 3 ⟶ 0 21 22 23 , 4 5 6 7 ⟶ 0 21 22 24 , 4 5 6 8 ⟶ 0 21 22 25 , 4 5 6 9 ⟶ 0 21 22 26 , 4 5 6 10 ⟶ 0 21 22 27 , 4 5 28 13 ⟶ 0 21 29 30 , 4 5 31 15 ⟶ 0 21 32 33 , 4 5 31 16 ⟶ 0 21 32 34 , 4 5 31 17 ⟶ 0 21 32 35 , 4 5 6 3 ⟶ 4 5 6 , 4 5 6 7 ⟶ 4 5 28 , 4 5 6 8 ⟶ 4 5 31 , 4 5 6 9 ⟶ 4 5 36 , 4 5 6 10 ⟶ 4 5 37 , 4 5 28 13 ⟶ 4 38 39 , 4 5 31 15 ⟶ 4 40 41 , 4 5 31 16 ⟶ 4 40 42 , 4 5 31 17 ⟶ 4 40 43 , 44 45 46 23 →= 1 2 , 44 45 46 24 →= 1 11 , 44 45 46 25 →= 1 14 , 44 45 46 26 →= 1 47 , 44 45 46 27 →= 1 19 , 48 45 46 23 →= 49 2 , 48 45 46 24 →= 49 11 , 48 45 46 25 →= 49 14 , 48 45 46 26 →= 49 47 , 48 45 46 27 →= 49 19 , 44 45 50 30 →= 21 22 , 48 45 50 30 →= 51 22 , 44 45 52 33 →= 44 45 , 44 45 52 34 →= 44 53 , 44 45 52 35 →= 44 54 , 48 45 52 33 →= 48 45 , 48 45 52 34 →= 48 53 , 48 45 52 35 →= 48 54 , 14 15 46 23 →= 2 3 , 14 15 46 24 →= 2 7 , 14 15 46 25 →= 2 8 , 14 15 46 26 →= 2 9 , 14 15 46 27 →= 2 10 , 8 15 46 23 →= 3 3 , 8 15 46 24 →= 3 7 , 8 15 46 25 →= 3 8 , 8 15 46 26 →= 3 9 , 8 15 46 27 →= 3 10 , 55 15 46 23 →= 56 3 , 55 15 46 24 →= 56 7 , 55 15 46 25 →= 56 8 , 55 15 46 26 →= 56 9 , 55 15 46 27 →= 56 10 , 31 15 46 23 →= 6 3 , 31 15 46 24 →= 6 7 , 31 15 46 25 →= 6 8 , 31 15 46 26 →= 6 9 , 31 15 46 27 →= 6 10 , 25 15 46 23 →= 23 3 , 25 15 46 24 →= 23 7 , 25 15 46 25 →= 23 8 , 25 15 46 26 →= 23 9 , 25 15 46 27 →= 23 10 , 40 41 46 23 →= 5 6 , 40 41 46 24 →= 5 28 , 40 41 46 25 →= 5 31 , 40 41 46 26 →= 5 36 , 40 41 46 27 →= 5 37 , 52 33 46 23 →= 46 23 , 52 33 46 24 →= 46 24 , 52 33 46 25 →= 46 25 , 52 33 46 26 →= 46 26 , 52 33 46 27 →= 46 27 , 32 33 46 23 →= 22 23 , 32 33 46 24 →= 22 24 , 32 33 46 25 →= 22 25 , 32 33 46 26 →= 22 26 , 32 33 46 27 →= 22 27 , 57 58 46 23 →= 59 56 , 57 58 46 24 →= 59 60 , 57 58 46 25 →= 59 55 , 57 58 46 26 →= 59 61 , 57 58 46 27 →= 59 62 , 63 58 46 23 →= 64 56 , 63 58 46 24 →= 64 60 , 63 58 46 25 →= 64 55 , 63 58 46 26 →= 64 61 , 63 58 46 27 →= 64 62 , 65 58 46 23 →= 66 56 , 65 58 46 24 →= 66 60 , 65 58 46 25 →= 66 55 , 65 58 46 26 →= 66 61 , 65 58 46 27 →= 66 62 , 16 58 46 23 →= 17 56 , 16 58 46 24 →= 17 60 , 16 58 46 25 →= 17 55 , 16 58 46 26 →= 17 61 , 16 58 46 27 →= 17 62 , 34 58 46 23 →= 35 56 , 34 58 46 24 →= 35 60 , 34 58 46 25 →= 35 55 , 34 58 46 26 →= 35 61 , 34 58 46 27 →= 35 62 , 42 58 46 23 →= 43 56 , 42 58 46 24 →= 43 60 , 42 58 46 25 →= 43 55 , 42 58 46 26 →= 43 61 , 42 58 46 27 →= 43 62 , 53 58 46 23 →= 54 56 , 53 58 46 24 →= 54 60 , 53 58 46 25 →= 54 55 , 53 58 46 26 →= 54 61 , 53 58 46 27 →= 54 62 , 57 58 50 30 →= 58 46 , 63 58 50 30 →= 67 46 , 65 58 50 30 →= 68 46 , 16 58 50 30 →= 15 46 , 34 58 50 30 →= 33 46 , 42 58 50 30 →= 41 46 , 53 58 50 30 →= 45 46 , 57 58 52 33 →= 57 58 , 57 58 52 34 →= 57 57 , 57 58 52 35 →= 57 59 , 63 58 52 33 →= 63 58 , 63 58 52 34 →= 63 57 , 63 58 52 35 →= 63 59 , 65 58 52 33 →= 65 58 , 65 58 52 34 →= 65 57 , 65 58 52 35 →= 65 59 , 16 58 52 33 →= 16 58 , 16 58 52 34 →= 16 57 , 16 58 52 35 →= 16 59 , 34 58 52 33 →= 34 58 , 34 58 52 34 →= 34 57 , 34 58 52 35 →= 34 59 , 42 58 52 33 →= 42 58 , 42 58 52 34 →= 42 57 , 42 58 52 35 →= 42 59 , 53 58 52 33 →= 53 58 , 53 58 52 34 →= 53 57 , 53 58 52 35 →= 53 59 , 44 54 56 3 →= 1 11 13 23 3 3 , 44 54 56 7 →= 1 11 13 23 3 7 , 44 54 56 8 →= 1 11 13 23 3 8 , 44 54 56 9 →= 1 11 13 23 3 9 , 44 54 56 10 →= 1 11 13 23 3 10 , 48 54 56 3 →= 49 11 13 23 3 3 , 48 54 56 7 →= 49 11 13 23 3 7 , 48 54 56 8 →= 49 11 13 23 3 8 , 48 54 56 9 →= 49 11 13 23 3 9 , 48 54 56 10 →= 49 11 13 23 3 10 , 44 54 60 12 →= 1 11 13 23 7 12 , 44 54 60 13 →= 1 11 13 23 7 13 , 48 54 60 12 →= 49 11 13 23 7 12 , 48 54 60 13 →= 49 11 13 23 7 13 , 44 54 55 15 →= 1 11 13 23 8 15 , 44 54 55 16 →= 1 11 13 23 8 16 , 44 54 55 17 →= 1 11 13 23 8 17 , 44 54 55 18 →= 1 11 13 23 8 18 , 48 54 55 15 →= 49 11 13 23 8 15 , 48 54 55 16 →= 49 11 13 23 8 16 , 48 54 55 17 →= 49 11 13 23 8 17 , 48 54 55 18 →= 49 11 13 23 8 18 , 44 54 62 20 →= 1 11 13 23 10 20 , 48 54 62 20 →= 49 11 13 23 10 20 , 14 17 56 3 →= 2 7 13 23 3 3 , 14 17 56 7 →= 2 7 13 23 3 7 , 14 17 56 8 →= 2 7 13 23 3 8 , 14 17 56 9 →= 2 7 13 23 3 9 , 14 17 56 10 →= 2 7 13 23 3 10 , 8 17 56 3 →= 3 7 13 23 3 3 , 8 17 56 7 →= 3 7 13 23 3 7 , 8 17 56 8 →= 3 7 13 23 3 8 , 8 17 56 9 →= 3 7 13 23 3 9 , 8 17 56 10 →= 3 7 13 23 3 10 , 55 17 56 3 →= 56 7 13 23 3 3 , 55 17 56 7 →= 56 7 13 23 3 7 , 55 17 56 8 →= 56 7 13 23 3 8 , 55 17 56 9 →= 56 7 13 23 3 9 , 55 17 56 10 →= 56 7 13 23 3 10 , 31 17 56 3 →= 6 7 13 23 3 3 , 31 17 56 7 →= 6 7 13 23 3 7 , 31 17 56 8 →= 6 7 13 23 3 8 , 31 17 56 9 →= 6 7 13 23 3 9 , 31 17 56 10 →= 6 7 13 23 3 10 , 25 17 56 3 →= 23 7 13 23 3 3 , 25 17 56 7 →= 23 7 13 23 3 7 , 25 17 56 8 →= 23 7 13 23 3 8 , 25 17 56 9 →= 23 7 13 23 3 9 , 25 17 56 10 →= 23 7 13 23 3 10 , 14 17 60 12 →= 2 7 13 23 7 12 , 14 17 60 13 →= 2 7 13 23 7 13 , 8 17 60 12 →= 3 7 13 23 7 12 , 8 17 60 13 →= 3 7 13 23 7 13 , 55 17 60 12 →= 56 7 13 23 7 12 , 55 17 60 13 →= 56 7 13 23 7 13 , 31 17 60 12 →= 6 7 13 23 7 12 , 31 17 60 13 →= 6 7 13 23 7 13 , 25 17 60 12 →= 23 7 13 23 7 12 , 25 17 60 13 →= 23 7 13 23 7 13 , 14 17 55 15 →= 2 7 13 23 8 15 , 14 17 55 16 →= 2 7 13 23 8 16 , 14 17 55 17 →= 2 7 13 23 8 17 , 14 17 55 18 →= 2 7 13 23 8 18 , 8 17 55 15 →= 3 7 13 23 8 15 , 8 17 55 16 →= 3 7 13 23 8 16 , 8 17 55 17 →= 3 7 13 23 8 17 , 8 17 55 18 →= 3 7 13 23 8 18 , 55 17 55 15 →= 56 7 13 23 8 15 , 55 17 55 16 →= 56 7 13 23 8 16 , 55 17 55 17 →= 56 7 13 23 8 17 , 55 17 55 18 →= 56 7 13 23 8 18 , 31 17 55 15 →= 6 7 13 23 8 15 , 31 17 55 16 →= 6 7 13 23 8 16 , 31 17 55 17 →= 6 7 13 23 8 17 , 31 17 55 18 →= 6 7 13 23 8 18 , 25 17 55 15 →= 23 7 13 23 8 15 , 25 17 55 16 →= 23 7 13 23 8 16 , 25 17 55 17 →= 23 7 13 23 8 17 , 25 17 55 18 →= 23 7 13 23 8 18 , 14 17 62 20 →= 2 7 13 23 10 20 , 8 17 62 20 →= 3 7 13 23 10 20 , 55 17 62 20 →= 56 7 13 23 10 20 , 31 17 62 20 →= 6 7 13 23 10 20 , 25 17 62 20 →= 23 7 13 23 10 20 , 40 43 56 3 →= 5 28 13 23 3 3 , 40 43 56 7 →= 5 28 13 23 3 7 , 40 43 56 8 →= 5 28 13 23 3 8 , 40 43 56 9 →= 5 28 13 23 3 9 , 40 43 56 10 →= 5 28 13 23 3 10 , 40 43 60 12 →= 5 28 13 23 7 12 , 40 43 60 13 →= 5 28 13 23 7 13 , 40 43 55 15 →= 5 28 13 23 8 15 , 40 43 55 16 →= 5 28 13 23 8 16 , 40 43 55 17 →= 5 28 13 23 8 17 , 40 43 55 18 →= 5 28 13 23 8 18 , 40 43 62 20 →= 5 28 13 23 10 20 , 52 35 56 3 →= 46 24 13 23 3 3 , 52 35 56 7 →= 46 24 13 23 3 7 , 52 35 56 8 →= 46 24 13 23 3 8 , 52 35 56 9 →= 46 24 13 23 3 9 , 52 35 56 10 →= 46 24 13 23 3 10 , 32 35 56 3 →= 22 24 13 23 3 3 , 32 35 56 7 →= 22 24 13 23 3 7 , 32 35 56 8 →= 22 24 13 23 3 8 , 32 35 56 9 →= 22 24 13 23 3 9 , 32 35 56 10 →= 22 24 13 23 3 10 , 52 35 60 12 →= 46 24 13 23 7 12 , 52 35 60 13 →= 46 24 13 23 7 13 , 32 35 60 12 →= 22 24 13 23 7 12 , 32 35 60 13 →= 22 24 13 23 7 13 , 52 35 55 15 →= 46 24 13 23 8 15 , 52 35 55 16 →= 46 24 13 23 8 16 , 52 35 55 17 →= 46 24 13 23 8 17 , 52 35 55 18 →= 46 24 13 23 8 18 , 32 35 55 15 →= 22 24 13 23 8 15 , 32 35 55 16 →= 22 24 13 23 8 16 , 32 35 55 17 →= 22 24 13 23 8 17 , 32 35 55 18 →= 22 24 13 23 8 18 , 52 35 62 20 →= 46 24 13 23 10 20 , 32 35 62 20 →= 22 24 13 23 10 20 , 57 59 56 3 →= 59 60 13 23 3 3 , 57 59 56 7 →= 59 60 13 23 3 7 , 57 59 56 8 →= 59 60 13 23 3 8 , 57 59 56 9 →= 59 60 13 23 3 9 , 57 59 56 10 →= 59 60 13 23 3 10 , 63 59 56 3 →= 64 60 13 23 3 3 , 63 59 56 7 →= 64 60 13 23 3 7 , 63 59 56 8 →= 64 60 13 23 3 8 , 63 59 56 9 →= 64 60 13 23 3 9 , 63 59 56 10 →= 64 60 13 23 3 10 , 65 59 56 3 →= 66 60 13 23 3 3 , 65 59 56 7 →= 66 60 13 23 3 7 , 65 59 56 8 →= 66 60 13 23 3 8 , 65 59 56 9 →= 66 60 13 23 3 9 , 65 59 56 10 →= 66 60 13 23 3 10 , 16 59 56 3 →= 17 60 13 23 3 3 , 16 59 56 7 →= 17 60 13 23 3 7 , 16 59 56 8 →= 17 60 13 23 3 8 , 16 59 56 9 →= 17 60 13 23 3 9 , 16 59 56 10 →= 17 60 13 23 3 10 , 34 59 56 3 →= 35 60 13 23 3 3 , 34 59 56 7 →= 35 60 13 23 3 7 , 34 59 56 8 →= 35 60 13 23 3 8 , 34 59 56 9 →= 35 60 13 23 3 9 , 34 59 56 10 →= 35 60 13 23 3 10 , 42 59 56 3 →= 43 60 13 23 3 3 , 42 59 56 7 →= 43 60 13 23 3 7 , 42 59 56 8 →= 43 60 13 23 3 8 , 42 59 56 9 →= 43 60 13 23 3 9 , 42 59 56 10 →= 43 60 13 23 3 10 , 53 59 56 3 →= 54 60 13 23 3 3 , 53 59 56 7 →= 54 60 13 23 3 7 , 53 59 56 8 →= 54 60 13 23 3 8 , 53 59 56 9 →= 54 60 13 23 3 9 , 53 59 56 10 →= 54 60 13 23 3 10 , 57 59 60 12 →= 59 60 13 23 7 12 , 57 59 60 13 →= 59 60 13 23 7 13 , 63 59 60 12 →= 64 60 13 23 7 12 , 63 59 60 13 →= 64 60 13 23 7 13 , 65 59 60 12 →= 66 60 13 23 7 12 , 65 59 60 13 →= 66 60 13 23 7 13 , 16 59 60 12 →= 17 60 13 23 7 12 , 16 59 60 13 →= 17 60 13 23 7 13 , 34 59 60 12 →= 35 60 13 23 7 12 , 34 59 60 13 →= 35 60 13 23 7 13 , 42 59 60 12 →= 43 60 13 23 7 12 , 42 59 60 13 →= 43 60 13 23 7 13 , 53 59 60 12 →= 54 60 13 23 7 12 , 53 59 60 13 →= 54 60 13 23 7 13 , 57 59 55 15 →= 59 60 13 23 8 15 , 57 59 55 16 →= 59 60 13 23 8 16 , 57 59 55 17 →= 59 60 13 23 8 17 , 57 59 55 18 →= 59 60 13 23 8 18 , 63 59 55 15 →= 64 60 13 23 8 15 , 63 59 55 16 →= 64 60 13 23 8 16 , 63 59 55 17 →= 64 60 13 23 8 17 , 63 59 55 18 →= 64 60 13 23 8 18 , 65 59 55 15 →= 66 60 13 23 8 15 , 65 59 55 16 →= 66 60 13 23 8 16 , 65 59 55 17 →= 66 60 13 23 8 17 , 65 59 55 18 →= 66 60 13 23 8 18 , 16 59 55 15 →= 17 60 13 23 8 15 , 16 59 55 16 →= 17 60 13 23 8 16 , 16 59 55 17 →= 17 60 13 23 8 17 , 16 59 55 18 →= 17 60 13 23 8 18 , 34 59 55 15 →= 35 60 13 23 8 15 , 34 59 55 16 →= 35 60 13 23 8 16 , 34 59 55 17 →= 35 60 13 23 8 17 , 34 59 55 18 →= 35 60 13 23 8 18 , 42 59 55 15 →= 43 60 13 23 8 15 , 42 59 55 16 →= 43 60 13 23 8 16 , 42 59 55 17 →= 43 60 13 23 8 17 , 42 59 55 18 →= 43 60 13 23 8 18 , 53 59 55 15 →= 54 60 13 23 8 15 , 53 59 55 16 →= 54 60 13 23 8 16 , 53 59 55 17 →= 54 60 13 23 8 17 , 53 59 55 18 →= 54 60 13 23 8 18 , 57 59 62 20 →= 59 60 13 23 10 20 , 63 59 62 20 →= 64 60 13 23 10 20 , 65 59 62 20 →= 66 60 13 23 10 20 , 16 59 62 20 →= 17 60 13 23 10 20 , 34 59 62 20 →= 35 60 13 23 10 20 , 42 59 62 20 →= 43 60 13 23 10 20 , 53 59 62 20 →= 54 60 13 23 10 20 , 21 22 23 3 →= 44 45 46 23 , 21 22 23 7 →= 44 45 46 24 , 21 22 23 8 →= 44 45 46 25 , 21 22 23 9 →= 44 45 46 26 , 21 22 23 10 →= 44 45 46 27 , 51 22 23 3 →= 48 45 46 23 , 51 22 23 7 →= 48 45 46 24 , 51 22 23 8 →= 48 45 46 25 , 51 22 23 9 →= 48 45 46 26 , 51 22 23 10 →= 48 45 46 27 , 21 22 24 13 →= 44 45 50 30 , 51 22 24 13 →= 48 45 50 30 , 21 22 25 15 →= 44 45 52 33 , 21 22 25 16 →= 44 45 52 34 , 21 22 25 17 →= 44 45 52 35 , 51 22 25 15 →= 48 45 52 33 , 51 22 25 16 →= 48 45 52 34 , 51 22 25 17 →= 48 45 52 35 , 11 13 23 3 →= 14 15 46 23 , 11 13 23 7 →= 14 15 46 24 , 11 13 23 8 →= 14 15 46 25 , 11 13 23 9 →= 14 15 46 26 , 11 13 23 10 →= 14 15 46 27 , 7 13 23 3 →= 8 15 46 23 , 7 13 23 7 →= 8 15 46 24 , 7 13 23 8 →= 8 15 46 25 , 7 13 23 9 →= 8 15 46 26 , 7 13 23 10 →= 8 15 46 27 , 60 13 23 3 →= 55 15 46 23 , 60 13 23 7 →= 55 15 46 24 , 60 13 23 8 →= 55 15 46 25 , 60 13 23 9 →= 55 15 46 26 , 60 13 23 10 →= 55 15 46 27 , 28 13 23 3 →= 31 15 46 23 , 28 13 23 7 →= 31 15 46 24 , 28 13 23 8 →= 31 15 46 25 , 28 13 23 9 →= 31 15 46 26 , 28 13 23 10 →= 31 15 46 27 , 24 13 23 3 →= 25 15 46 23 , 24 13 23 7 →= 25 15 46 24 , 24 13 23 8 →= 25 15 46 25 , 24 13 23 9 →= 25 15 46 26 , 24 13 23 10 →= 25 15 46 27 , 38 39 23 3 →= 40 41 46 23 , 38 39 23 7 →= 40 41 46 24 , 38 39 23 8 →= 40 41 46 25 , 38 39 23 9 →= 40 41 46 26 , 38 39 23 10 →= 40 41 46 27 , 50 30 23 3 →= 52 33 46 23 , 50 30 23 7 →= 52 33 46 24 , 50 30 23 8 →= 52 33 46 25 , 50 30 23 9 →= 52 33 46 26 , 50 30 23 10 →= 52 33 46 27 , 29 30 23 3 →= 32 33 46 23 , 29 30 23 7 →= 32 33 46 24 , 29 30 23 8 →= 32 33 46 25 , 29 30 23 9 →= 32 33 46 26 , 29 30 23 10 →= 32 33 46 27 , 58 46 23 3 →= 57 58 46 23 , 58 46 23 7 →= 57 58 46 24 , 58 46 23 8 →= 57 58 46 25 , 58 46 23 9 →= 57 58 46 26 , 58 46 23 10 →= 57 58 46 27 , 67 46 23 3 →= 63 58 46 23 , 67 46 23 7 →= 63 58 46 24 , 67 46 23 8 →= 63 58 46 25 , 67 46 23 9 →= 63 58 46 26 , 67 46 23 10 →= 63 58 46 27 , 68 46 23 3 →= 65 58 46 23 , 68 46 23 7 →= 65 58 46 24 , 68 46 23 8 →= 65 58 46 25 , 68 46 23 9 →= 65 58 46 26 , 68 46 23 10 →= 65 58 46 27 , 15 46 23 3 →= 16 58 46 23 , 15 46 23 7 →= 16 58 46 24 , 15 46 23 8 →= 16 58 46 25 , 15 46 23 9 →= 16 58 46 26 , 15 46 23 10 →= 16 58 46 27 , 33 46 23 3 →= 34 58 46 23 , 33 46 23 7 →= 34 58 46 24 , 33 46 23 8 →= 34 58 46 25 , 33 46 23 9 →= 34 58 46 26 , 33 46 23 10 →= 34 58 46 27 , 41 46 23 3 →= 42 58 46 23 , 41 46 23 7 →= 42 58 46 24 , 41 46 23 8 →= 42 58 46 25 , 41 46 23 9 →= 42 58 46 26 , 41 46 23 10 →= 42 58 46 27 , 45 46 23 3 →= 53 58 46 23 , 45 46 23 7 →= 53 58 46 24 , 45 46 23 8 →= 53 58 46 25 , 45 46 23 9 →= 53 58 46 26 , 45 46 23 10 →= 53 58 46 27 , 58 46 24 13 →= 57 58 50 30 , 67 46 24 13 →= 63 58 50 30 , 68 46 24 13 →= 65 58 50 30 , 15 46 24 13 →= 16 58 50 30 , 33 46 24 13 →= 34 58 50 30 , 41 46 24 13 →= 42 58 50 30 , 45 46 24 13 →= 53 58 50 30 , 58 46 25 15 →= 57 58 52 33 , 58 46 25 16 →= 57 58 52 34 , 58 46 25 17 →= 57 58 52 35 , 67 46 25 15 →= 63 58 52 33 , 67 46 25 16 →= 63 58 52 34 , 67 46 25 17 →= 63 58 52 35 , 68 46 25 15 →= 65 58 52 33 , 68 46 25 16 →= 65 58 52 34 , 68 46 25 17 →= 65 58 52 35 , 15 46 25 15 →= 16 58 52 33 , 15 46 25 16 →= 16 58 52 34 , 15 46 25 17 →= 16 58 52 35 , 33 46 25 15 →= 34 58 52 33 , 33 46 25 16 →= 34 58 52 34 , 33 46 25 17 →= 34 58 52 35 , 41 46 25 15 →= 42 58 52 33 , 41 46 25 16 →= 42 58 52 34 , 41 46 25 17 →= 42 58 52 35 , 45 46 25 15 →= 53 58 52 33 , 45 46 25 16 →= 53 58 52 34 , 45 46 25 17 →= 53 58 52 35 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 1 ↦ ⎛ ⎞ ⎜ 1 5 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 3 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 6 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 5 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 6 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 7 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 8 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 9 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 10 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 11 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 12 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 13 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 14 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 15 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 16 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 17 ↦ ⎛ ⎞ ⎜ 1 3 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 18 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 19 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 20 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 21 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 22 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 23 ↦ ⎛ ⎞ ⎜ 1 4 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 24 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 25 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 26 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 27 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 28 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 29 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 30 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 31 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 32 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 33 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 34 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 35 ↦ ⎛ ⎞ ⎜ 1 3 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 36 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 37 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 38 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 39 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 40 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 41 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 42 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 43 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 44 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 45 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 46 ↦ ⎛ ⎞ ⎜ 1 6 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 47 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 48 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 49 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 50 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 51 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 52 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 53 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 54 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 55 ↦ ⎛ ⎞ ⎜ 1 9 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 56 ↦ ⎛ ⎞ ⎜ 1 13 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 57 ↦ ⎛ ⎞ ⎜ 1 6 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 58 ↦ ⎛ ⎞ ⎜ 1 6 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 59 ↦ ⎛ ⎞ ⎜ 1 9 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 60 ↦ ⎛ ⎞ ⎜ 1 9 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 61 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 62 ↦ ⎛ ⎞ ⎜ 1 9 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 63 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 64 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 65 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 66 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 67 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 68 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ After renaming modulo the bijection { 44 ↦ 0, 45 ↦ 1, 50 ↦ 2, 30 ↦ 3, 21 ↦ 4, 22 ↦ 5, 48 ↦ 6, 51 ↦ 7, 52 ↦ 8, 33 ↦ 9, 34 ↦ 10, 53 ↦ 11, 8 ↦ 12, 15 ↦ 13, 46 ↦ 14, 23 ↦ 15, 3 ↦ 16, 24 ↦ 17, 7 ↦ 18, 25 ↦ 19, 26 ↦ 20, 9 ↦ 21, 27 ↦ 22, 10 ↦ 23, 55 ↦ 24, 56 ↦ 25, 57 ↦ 26, 58 ↦ 27, 59 ↦ 28, 60 ↦ 29, 62 ↦ 30, 16 ↦ 31, 17 ↦ 32, 35 ↦ 33, 63 ↦ 34, 67 ↦ 35, 65 ↦ 36, 68 ↦ 37, 42 ↦ 38, 41 ↦ 39, 13 ↦ 40, 12 ↦ 41, 18 ↦ 42, 20 ↦ 43 }, it remains to prove termination of the 251-rule system { 0 1 2 3 →= 4 5 , 6 1 2 3 →= 7 5 , 0 1 8 9 →= 0 1 , 0 1 8 10 →= 0 11 , 6 1 8 9 →= 6 1 , 6 1 8 10 →= 6 11 , 12 13 14 15 →= 16 16 , 12 13 14 17 →= 16 18 , 12 13 14 19 →= 16 12 , 12 13 14 20 →= 16 21 , 12 13 14 22 →= 16 23 , 24 13 14 15 →= 25 16 , 24 13 14 17 →= 25 18 , 24 13 14 19 →= 25 12 , 24 13 14 20 →= 25 21 , 24 13 14 22 →= 25 23 , 19 13 14 15 →= 15 16 , 19 13 14 17 →= 15 18 , 19 13 14 19 →= 15 12 , 19 13 14 20 →= 15 21 , 19 13 14 22 →= 15 23 , 8 9 14 15 →= 14 15 , 8 9 14 17 →= 14 17 , 8 9 14 19 →= 14 19 , 8 9 14 20 →= 14 20 , 8 9 14 22 →= 14 22 , 26 27 14 15 →= 28 25 , 26 27 14 17 →= 28 29 , 26 27 14 19 →= 28 24 , 26 27 14 22 →= 28 30 , 31 27 14 15 →= 32 25 , 31 27 14 17 →= 32 29 , 31 27 14 19 →= 32 24 , 31 27 14 22 →= 32 30 , 10 27 14 15 →= 33 25 , 10 27 14 17 →= 33 29 , 10 27 14 19 →= 33 24 , 10 27 14 22 →= 33 30 , 26 27 2 3 →= 27 14 , 34 27 2 3 →= 35 14 , 36 27 2 3 →= 37 14 , 31 27 2 3 →= 13 14 , 10 27 2 3 →= 9 14 , 38 27 2 3 →= 39 14 , 11 27 2 3 →= 1 14 , 26 27 8 9 →= 26 27 , 26 27 8 10 →= 26 26 , 26 27 8 33 →= 26 28 , 34 27 8 9 →= 34 27 , 34 27 8 10 →= 34 26 , 34 27 8 33 →= 34 28 , 36 27 8 9 →= 36 27 , 36 27 8 10 →= 36 26 , 36 27 8 33 →= 36 28 , 31 27 8 9 →= 31 27 , 31 27 8 10 →= 31 26 , 31 27 8 33 →= 31 28 , 10 27 8 9 →= 10 27 , 10 27 8 10 →= 10 26 , 10 27 8 33 →= 10 28 , 38 27 8 9 →= 38 27 , 38 27 8 10 →= 38 26 , 38 27 8 33 →= 38 28 , 11 27 8 9 →= 11 27 , 11 27 8 10 →= 11 26 , 11 27 8 33 →= 11 28 , 12 32 25 16 →= 16 18 40 15 16 16 , 12 32 25 18 →= 16 18 40 15 16 18 , 12 32 25 12 →= 16 18 40 15 16 12 , 12 32 25 21 →= 16 18 40 15 16 21 , 12 32 25 23 →= 16 18 40 15 16 23 , 24 32 25 16 →= 25 18 40 15 16 16 , 24 32 25 18 →= 25 18 40 15 16 18 , 24 32 25 12 →= 25 18 40 15 16 12 , 24 32 25 21 →= 25 18 40 15 16 21 , 24 32 25 23 →= 25 18 40 15 16 23 , 19 32 25 16 →= 15 18 40 15 16 16 , 19 32 25 18 →= 15 18 40 15 16 18 , 19 32 25 12 →= 15 18 40 15 16 12 , 19 32 25 21 →= 15 18 40 15 16 21 , 19 32 25 23 →= 15 18 40 15 16 23 , 12 32 29 41 →= 16 18 40 15 18 41 , 12 32 29 40 →= 16 18 40 15 18 40 , 24 32 29 41 →= 25 18 40 15 18 41 , 24 32 29 40 →= 25 18 40 15 18 40 , 19 32 29 41 →= 15 18 40 15 18 41 , 19 32 29 40 →= 15 18 40 15 18 40 , 12 32 24 13 →= 16 18 40 15 12 13 , 12 32 24 31 →= 16 18 40 15 12 31 , 12 32 24 32 →= 16 18 40 15 12 32 , 12 32 24 42 →= 16 18 40 15 12 42 , 24 32 24 13 →= 25 18 40 15 12 13 , 24 32 24 31 →= 25 18 40 15 12 31 , 24 32 24 32 →= 25 18 40 15 12 32 , 24 32 24 42 →= 25 18 40 15 12 42 , 19 32 24 13 →= 15 18 40 15 12 13 , 19 32 24 31 →= 15 18 40 15 12 31 , 19 32 24 32 →= 15 18 40 15 12 32 , 19 32 24 42 →= 15 18 40 15 12 42 , 12 32 30 43 →= 16 18 40 15 23 43 , 24 32 30 43 →= 25 18 40 15 23 43 , 19 32 30 43 →= 15 18 40 15 23 43 , 8 33 25 16 →= 14 17 40 15 16 16 , 8 33 25 18 →= 14 17 40 15 16 18 , 8 33 25 12 →= 14 17 40 15 16 12 , 8 33 25 21 →= 14 17 40 15 16 21 , 8 33 25 23 →= 14 17 40 15 16 23 , 8 33 29 41 →= 14 17 40 15 18 41 , 8 33 29 40 →= 14 17 40 15 18 40 , 8 33 24 13 →= 14 17 40 15 12 13 , 8 33 24 31 →= 14 17 40 15 12 31 , 8 33 24 32 →= 14 17 40 15 12 32 , 8 33 24 42 →= 14 17 40 15 12 42 , 8 33 30 43 →= 14 17 40 15 23 43 , 26 28 25 16 →= 28 29 40 15 16 16 , 26 28 25 18 →= 28 29 40 15 16 18 , 26 28 25 12 →= 28 29 40 15 16 12 , 26 28 25 21 →= 28 29 40 15 16 21 , 26 28 25 23 →= 28 29 40 15 16 23 , 31 28 25 16 →= 32 29 40 15 16 16 , 31 28 25 18 →= 32 29 40 15 16 18 , 31 28 25 12 →= 32 29 40 15 16 12 , 31 28 25 21 →= 32 29 40 15 16 21 , 31 28 25 23 →= 32 29 40 15 16 23 , 10 28 25 16 →= 33 29 40 15 16 16 , 10 28 25 18 →= 33 29 40 15 16 18 , 10 28 25 12 →= 33 29 40 15 16 12 , 10 28 25 21 →= 33 29 40 15 16 21 , 10 28 25 23 →= 33 29 40 15 16 23 , 26 28 29 41 →= 28 29 40 15 18 41 , 26 28 29 40 →= 28 29 40 15 18 40 , 31 28 29 41 →= 32 29 40 15 18 41 , 31 28 29 40 →= 32 29 40 15 18 40 , 10 28 29 41 →= 33 29 40 15 18 41 , 10 28 29 40 →= 33 29 40 15 18 40 , 26 28 24 13 →= 28 29 40 15 12 13 , 26 28 24 31 →= 28 29 40 15 12 31 , 26 28 24 32 →= 28 29 40 15 12 32 , 26 28 24 42 →= 28 29 40 15 12 42 , 31 28 24 13 →= 32 29 40 15 12 13 , 31 28 24 31 →= 32 29 40 15 12 31 , 31 28 24 32 →= 32 29 40 15 12 32 , 31 28 24 42 →= 32 29 40 15 12 42 , 10 28 24 13 →= 33 29 40 15 12 13 , 10 28 24 31 →= 33 29 40 15 12 31 , 10 28 24 32 →= 33 29 40 15 12 32 , 10 28 24 42 →= 33 29 40 15 12 42 , 26 28 30 43 →= 28 29 40 15 23 43 , 31 28 30 43 →= 32 29 40 15 23 43 , 10 28 30 43 →= 33 29 40 15 23 43 , 4 5 15 16 →= 0 1 14 15 , 4 5 15 18 →= 0 1 14 17 , 4 5 15 12 →= 0 1 14 19 , 4 5 15 21 →= 0 1 14 20 , 4 5 15 23 →= 0 1 14 22 , 7 5 15 16 →= 6 1 14 15 , 7 5 15 18 →= 6 1 14 17 , 7 5 15 12 →= 6 1 14 19 , 7 5 15 21 →= 6 1 14 20 , 7 5 15 23 →= 6 1 14 22 , 4 5 17 40 →= 0 1 2 3 , 7 5 17 40 →= 6 1 2 3 , 4 5 19 13 →= 0 1 8 9 , 4 5 19 31 →= 0 1 8 10 , 4 5 19 32 →= 0 1 8 33 , 7 5 19 13 →= 6 1 8 9 , 7 5 19 31 →= 6 1 8 10 , 7 5 19 32 →= 6 1 8 33 , 18 40 15 16 →= 12 13 14 15 , 18 40 15 18 →= 12 13 14 17 , 18 40 15 12 →= 12 13 14 19 , 18 40 15 21 →= 12 13 14 20 , 18 40 15 23 →= 12 13 14 22 , 29 40 15 16 →= 24 13 14 15 , 29 40 15 18 →= 24 13 14 17 , 29 40 15 12 →= 24 13 14 19 , 29 40 15 21 →= 24 13 14 20 , 29 40 15 23 →= 24 13 14 22 , 17 40 15 16 →= 19 13 14 15 , 17 40 15 18 →= 19 13 14 17 , 17 40 15 12 →= 19 13 14 19 , 17 40 15 21 →= 19 13 14 20 , 17 40 15 23 →= 19 13 14 22 , 2 3 15 16 →= 8 9 14 15 , 2 3 15 18 →= 8 9 14 17 , 2 3 15 12 →= 8 9 14 19 , 2 3 15 21 →= 8 9 14 20 , 2 3 15 23 →= 8 9 14 22 , 27 14 15 16 →= 26 27 14 15 , 27 14 15 18 →= 26 27 14 17 , 27 14 15 12 →= 26 27 14 19 , 27 14 15 21 →= 26 27 14 20 , 27 14 15 23 →= 26 27 14 22 , 35 14 15 16 →= 34 27 14 15 , 35 14 15 18 →= 34 27 14 17 , 35 14 15 12 →= 34 27 14 19 , 35 14 15 21 →= 34 27 14 20 , 35 14 15 23 →= 34 27 14 22 , 37 14 15 16 →= 36 27 14 15 , 37 14 15 18 →= 36 27 14 17 , 37 14 15 12 →= 36 27 14 19 , 37 14 15 21 →= 36 27 14 20 , 37 14 15 23 →= 36 27 14 22 , 13 14 15 16 →= 31 27 14 15 , 13 14 15 18 →= 31 27 14 17 , 13 14 15 12 →= 31 27 14 19 , 13 14 15 21 →= 31 27 14 20 , 13 14 15 23 →= 31 27 14 22 , 9 14 15 16 →= 10 27 14 15 , 9 14 15 18 →= 10 27 14 17 , 9 14 15 12 →= 10 27 14 19 , 9 14 15 21 →= 10 27 14 20 , 9 14 15 23 →= 10 27 14 22 , 39 14 15 16 →= 38 27 14 15 , 39 14 15 18 →= 38 27 14 17 , 39 14 15 12 →= 38 27 14 19 , 39 14 15 21 →= 38 27 14 20 , 39 14 15 23 →= 38 27 14 22 , 1 14 15 16 →= 11 27 14 15 , 1 14 15 18 →= 11 27 14 17 , 1 14 15 12 →= 11 27 14 19 , 1 14 15 21 →= 11 27 14 20 , 1 14 15 23 →= 11 27 14 22 , 27 14 17 40 →= 26 27 2 3 , 35 14 17 40 →= 34 27 2 3 , 37 14 17 40 →= 36 27 2 3 , 13 14 17 40 →= 31 27 2 3 , 9 14 17 40 →= 10 27 2 3 , 39 14 17 40 →= 38 27 2 3 , 1 14 17 40 →= 11 27 2 3 , 27 14 19 13 →= 26 27 8 9 , 27 14 19 31 →= 26 27 8 10 , 27 14 19 32 →= 26 27 8 33 , 35 14 19 13 →= 34 27 8 9 , 35 14 19 31 →= 34 27 8 10 , 35 14 19 32 →= 34 27 8 33 , 37 14 19 13 →= 36 27 8 9 , 37 14 19 31 →= 36 27 8 10 , 37 14 19 32 →= 36 27 8 33 , 13 14 19 13 →= 31 27 8 9 , 13 14 19 31 →= 31 27 8 10 , 13 14 19 32 →= 31 27 8 33 , 9 14 19 13 →= 10 27 8 9 , 9 14 19 31 →= 10 27 8 10 , 9 14 19 32 →= 10 27 8 33 , 39 14 19 13 →= 38 27 8 9 , 39 14 19 31 →= 38 27 8 10 , 39 14 19 32 →= 38 27 8 33 , 1 14 19 13 →= 11 27 8 9 , 1 14 19 31 →= 11 27 8 10 , 1 14 19 32 →= 11 27 8 33 } The system is trivially terminating.