/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 2 , 0 2 1 ⟶ 1 0 0 2 , 1 1 ⟶ } Applying the dependency pairs transformation. Here, ↑ marks so-called defined symbols. After renaming modulo the bijection { (0,↑) ↦ 0, (1,↑) ↦ 1, (2,↓) ↦ 2, (1,↓) ↦ 3, (0,↓) ↦ 4 }, it remains to prove termination of the 7-rule system { 0 ⟶ 1 2 , 0 2 3 ⟶ 1 4 4 2 , 0 2 3 ⟶ 0 4 2 , 0 2 3 ⟶ 0 2 , 4 →= 3 2 , 4 2 3 →= 3 4 4 2 , 3 3 →= } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 1 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ After renaming modulo the bijection { 0 ↦ 0, 2 ↦ 1, 3 ↦ 2, 4 ↦ 3 }, it remains to prove termination of the 5-rule system { 0 1 2 ⟶ 0 3 1 , 0 1 2 ⟶ 0 1 , 3 →= 2 1 , 3 1 2 →= 2 3 3 1 , 2 2 →= } Applying sparse tiling TROC(2) [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo the bijection { (4,0) ↦ 0, (0,1) ↦ 1, (1,2) ↦ 2, (2,1) ↦ 3, (0,3) ↦ 4, (3,1) ↦ 5, (1,1) ↦ 6, (2,2) ↦ 7, (2,3) ↦ 8, (1,3) ↦ 9, (0,2) ↦ 10, (3,2) ↦ 11, (3,3) ↦ 12, (4,3) ↦ 13, (4,2) ↦ 14, (4,1) ↦ 15 }, it remains to prove termination of the 51-rule system { 0 1 2 3 ⟶ 0 4 5 6 , 0 1 2 7 ⟶ 0 4 5 2 , 0 1 2 8 ⟶ 0 4 5 9 , 0 1 2 3 ⟶ 0 1 6 , 0 1 2 7 ⟶ 0 1 2 , 0 1 2 8 ⟶ 0 1 9 , 4 5 →= 10 3 6 , 4 11 →= 10 3 2 , 4 12 →= 10 3 9 , 9 5 →= 2 3 6 , 9 11 →= 2 3 2 , 9 12 →= 2 3 9 , 8 5 →= 7 3 6 , 8 11 →= 7 3 2 , 8 12 →= 7 3 9 , 12 5 →= 11 3 6 , 12 11 →= 11 3 2 , 12 12 →= 11 3 9 , 13 5 →= 14 3 6 , 13 11 →= 14 3 2 , 13 12 →= 14 3 9 , 4 5 2 3 →= 10 8 12 5 6 , 4 5 2 7 →= 10 8 12 5 2 , 4 5 2 8 →= 10 8 12 5 9 , 9 5 2 3 →= 2 8 12 5 6 , 9 5 2 7 →= 2 8 12 5 2 , 9 5 2 8 →= 2 8 12 5 9 , 8 5 2 3 →= 7 8 12 5 6 , 8 5 2 7 →= 7 8 12 5 2 , 8 5 2 8 →= 7 8 12 5 9 , 12 5 2 3 →= 11 8 12 5 6 , 12 5 2 7 →= 11 8 12 5 2 , 12 5 2 8 →= 11 8 12 5 9 , 13 5 2 3 →= 14 8 12 5 6 , 13 5 2 7 →= 14 8 12 5 2 , 13 5 2 8 →= 14 8 12 5 9 , 10 7 3 →= 1 , 10 7 7 →= 10 , 10 7 8 →= 4 , 2 7 3 →= 6 , 2 7 7 →= 2 , 2 7 8 →= 9 , 7 7 3 →= 3 , 7 7 7 →= 7 , 7 7 8 →= 8 , 11 7 3 →= 5 , 11 7 7 →= 11 , 11 7 8 →= 12 , 14 7 3 →= 15 , 14 7 7 →= 14 , 14 7 8 →= 13 } 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 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 13 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 14 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 15 ↦ ⎛ ⎞ ⎜ 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 }, it remains to prove termination of the 50-rule system { 0 1 2 3 ⟶ 0 4 5 6 , 0 1 2 7 ⟶ 0 4 5 2 , 0 1 2 8 ⟶ 0 4 5 9 , 0 1 2 3 ⟶ 0 1 6 , 0 1 2 7 ⟶ 0 1 2 , 0 1 2 8 ⟶ 0 1 9 , 4 5 →= 10 3 6 , 4 11 →= 10 3 2 , 4 12 →= 10 3 9 , 9 5 →= 2 3 6 , 9 11 →= 2 3 2 , 9 12 →= 2 3 9 , 8 5 →= 7 3 6 , 8 11 →= 7 3 2 , 8 12 →= 7 3 9 , 12 5 →= 11 3 6 , 12 11 →= 11 3 2 , 12 12 →= 11 3 9 , 13 5 →= 14 3 6 , 13 11 →= 14 3 2 , 13 12 →= 14 3 9 , 4 5 2 3 →= 10 8 12 5 6 , 4 5 2 7 →= 10 8 12 5 2 , 4 5 2 8 →= 10 8 12 5 9 , 9 5 2 3 →= 2 8 12 5 6 , 9 5 2 7 →= 2 8 12 5 2 , 9 5 2 8 →= 2 8 12 5 9 , 8 5 2 3 →= 7 8 12 5 6 , 8 5 2 7 →= 7 8 12 5 2 , 8 5 2 8 →= 7 8 12 5 9 , 12 5 2 3 →= 11 8 12 5 6 , 12 5 2 7 →= 11 8 12 5 2 , 12 5 2 8 →= 11 8 12 5 9 , 13 5 2 3 →= 14 8 12 5 6 , 13 5 2 7 →= 14 8 12 5 2 , 13 5 2 8 →= 14 8 12 5 9 , 10 7 3 →= 1 , 10 7 7 →= 10 , 10 7 8 →= 4 , 2 7 3 →= 6 , 2 7 7 →= 2 , 2 7 8 →= 9 , 7 7 3 →= 3 , 7 7 7 →= 7 , 7 7 8 →= 8 , 11 7 3 →= 5 , 11 7 7 →= 11 , 11 7 8 →= 12 , 14 7 7 →= 14 , 14 7 8 →= 13 } Applying sparse tiling TROC(2) [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo the bijection { (15,0) ↦ 0, (0,1) ↦ 1, (1,2) ↦ 2, (2,3) ↦ 3, (3,16) ↦ 4, (0,4) ↦ 5, (4,5) ↦ 6, (5,6) ↦ 7, (6,16) ↦ 8, (3,2) ↦ 9, (6,2) ↦ 10, (3,6) ↦ 11, (6,6) ↦ 12, (3,9) ↦ 13, (6,9) ↦ 14, (2,7) ↦ 15, (7,16) ↦ 16, (5,2) ↦ 17, (2,16) ↦ 18, (7,3) ↦ 19, (7,7) ↦ 20, (7,8) ↦ 21, (2,8) ↦ 22, (8,16) ↦ 23, (5,9) ↦ 24, (9,16) ↦ 25, (8,5) ↦ 26, (9,5) ↦ 27, (8,11) ↦ 28, (9,11) ↦ 29, (8,12) ↦ 30, (9,12) ↦ 31, (1,6) ↦ 32, (1,9) ↦ 33, (5,16) ↦ 34, (0,10) ↦ 35, (10,3) ↦ 36, (15,4) ↦ 37, (15,10) ↦ 38, (4,11) ↦ 39, (11,16) ↦ 40, (11,3) ↦ 41, (11,7) ↦ 42, (11,8) ↦ 43, (4,12) ↦ 44, (12,16) ↦ 45, (12,5) ↦ 46, (12,11) ↦ 47, (12,12) ↦ 48, (15,9) ↦ 49, (15,2) ↦ 50, (10,8) ↦ 51, (10,7) ↦ 52, (14,8) ↦ 53, (14,7) ↦ 54, (15,8) ↦ 55, (15,7) ↦ 56, (13,12) ↦ 57, (13,11) ↦ 58, (15,12) ↦ 59, (15,11) ↦ 60, (15,13) ↦ 61, (13,5) ↦ 62, (15,14) ↦ 63, (14,3) ↦ 64, (1,16) ↦ 65, (15,1) ↦ 66, (10,16) ↦ 67, (4,16) ↦ 68, (15,6) ↦ 69, (15,3) ↦ 70, (15,5) ↦ 71, (14,16) ↦ 72, (13,16) ↦ 73 }, it remains to prove termination of the 740-rule system { 0 1 2 3 4 ⟶ 0 5 6 7 8 , 0 1 2 3 9 ⟶ 0 5 6 7 10 , 0 1 2 3 11 ⟶ 0 5 6 7 12 , 0 1 2 3 13 ⟶ 0 5 6 7 14 , 0 1 2 15 16 ⟶ 0 5 6 17 18 , 0 1 2 15 19 ⟶ 0 5 6 17 3 , 0 1 2 15 20 ⟶ 0 5 6 17 15 , 0 1 2 15 21 ⟶ 0 5 6 17 22 , 0 1 2 22 23 ⟶ 0 5 6 24 25 , 0 1 2 22 26 ⟶ 0 5 6 24 27 , 0 1 2 22 28 ⟶ 0 5 6 24 29 , 0 1 2 22 30 ⟶ 0 5 6 24 31 , 0 1 2 3 4 ⟶ 0 1 32 8 , 0 1 2 3 9 ⟶ 0 1 32 10 , 0 1 2 3 11 ⟶ 0 1 32 12 , 0 1 2 3 13 ⟶ 0 1 32 14 , 0 1 2 15 16 ⟶ 0 1 2 18 , 0 1 2 15 19 ⟶ 0 1 2 3 , 0 1 2 15 20 ⟶ 0 1 2 15 , 0 1 2 15 21 ⟶ 0 1 2 22 , 0 1 2 22 23 ⟶ 0 1 33 25 , 0 1 2 22 26 ⟶ 0 1 33 27 , 0 1 2 22 28 ⟶ 0 1 33 29 , 0 1 2 22 30 ⟶ 0 1 33 31 , 5 6 34 →= 35 36 11 8 , 5 6 17 →= 35 36 11 10 , 5 6 7 →= 35 36 11 12 , 5 6 24 →= 35 36 11 14 , 37 6 34 →= 38 36 11 8 , 37 6 17 →= 38 36 11 10 , 37 6 7 →= 38 36 11 12 , 37 6 24 →= 38 36 11 14 , 5 39 40 →= 35 36 9 18 , 5 39 41 →= 35 36 9 3 , 5 39 42 →= 35 36 9 15 , 5 39 43 →= 35 36 9 22 , 37 39 40 →= 38 36 9 18 , 37 39 41 →= 38 36 9 3 , 37 39 42 →= 38 36 9 15 , 37 39 43 →= 38 36 9 22 , 5 44 45 →= 35 36 13 25 , 5 44 46 →= 35 36 13 27 , 5 44 47 →= 35 36 13 29 , 5 44 48 →= 35 36 13 31 , 37 44 45 →= 38 36 13 25 , 37 44 46 →= 38 36 13 27 , 37 44 47 →= 38 36 13 29 , 37 44 48 →= 38 36 13 31 , 33 27 34 →= 2 3 11 8 , 33 27 17 →= 2 3 11 10 , 33 27 7 →= 2 3 11 12 , 33 27 24 →= 2 3 11 14 , 13 27 34 →= 9 3 11 8 , 13 27 17 →= 9 3 11 10 , 13 27 7 →= 9 3 11 12 , 13 27 24 →= 9 3 11 14 , 24 27 34 →= 17 3 11 8 , 24 27 17 →= 17 3 11 10 , 24 27 7 →= 17 3 11 12 , 24 27 24 →= 17 3 11 14 , 14 27 34 →= 10 3 11 8 , 14 27 17 →= 10 3 11 10 , 14 27 7 →= 10 3 11 12 , 14 27 24 →= 10 3 11 14 , 49 27 34 →= 50 3 11 8 , 49 27 17 →= 50 3 11 10 , 49 27 7 →= 50 3 11 12 , 49 27 24 →= 50 3 11 14 , 33 29 40 →= 2 3 9 18 , 33 29 41 →= 2 3 9 3 , 33 29 42 →= 2 3 9 15 , 33 29 43 →= 2 3 9 22 , 13 29 40 →= 9 3 9 18 , 13 29 41 →= 9 3 9 3 , 13 29 42 →= 9 3 9 15 , 13 29 43 →= 9 3 9 22 , 24 29 40 →= 17 3 9 18 , 24 29 41 →= 17 3 9 3 , 24 29 42 →= 17 3 9 15 , 24 29 43 →= 17 3 9 22 , 14 29 40 →= 10 3 9 18 , 14 29 41 →= 10 3 9 3 , 14 29 42 →= 10 3 9 15 , 14 29 43 →= 10 3 9 22 , 49 29 40 →= 50 3 9 18 , 49 29 41 →= 50 3 9 3 , 49 29 42 →= 50 3 9 15 , 49 29 43 →= 50 3 9 22 , 33 31 45 →= 2 3 13 25 , 33 31 46 →= 2 3 13 27 , 33 31 47 →= 2 3 13 29 , 33 31 48 →= 2 3 13 31 , 13 31 45 →= 9 3 13 25 , 13 31 46 →= 9 3 13 27 , 13 31 47 →= 9 3 13 29 , 13 31 48 →= 9 3 13 31 , 24 31 45 →= 17 3 13 25 , 24 31 46 →= 17 3 13 27 , 24 31 47 →= 17 3 13 29 , 24 31 48 →= 17 3 13 31 , 14 31 45 →= 10 3 13 25 , 14 31 46 →= 10 3 13 27 , 14 31 47 →= 10 3 13 29 , 14 31 48 →= 10 3 13 31 , 49 31 45 →= 50 3 13 25 , 49 31 46 →= 50 3 13 27 , 49 31 47 →= 50 3 13 29 , 49 31 48 →= 50 3 13 31 , 22 26 34 →= 15 19 11 8 , 22 26 17 →= 15 19 11 10 , 22 26 7 →= 15 19 11 12 , 22 26 24 →= 15 19 11 14 , 21 26 34 →= 20 19 11 8 , 21 26 17 →= 20 19 11 10 , 21 26 7 →= 20 19 11 12 , 21 26 24 →= 20 19 11 14 , 51 26 34 →= 52 19 11 8 , 51 26 17 →= 52 19 11 10 , 51 26 7 →= 52 19 11 12 , 51 26 24 →= 52 19 11 14 , 43 26 34 →= 42 19 11 8 , 43 26 17 →= 42 19 11 10 , 43 26 7 →= 42 19 11 12 , 43 26 24 →= 42 19 11 14 , 53 26 34 →= 54 19 11 8 , 53 26 17 →= 54 19 11 10 , 53 26 7 →= 54 19 11 12 , 53 26 24 →= 54 19 11 14 , 55 26 34 →= 56 19 11 8 , 55 26 17 →= 56 19 11 10 , 55 26 7 →= 56 19 11 12 , 55 26 24 →= 56 19 11 14 , 22 28 40 →= 15 19 9 18 , 22 28 41 →= 15 19 9 3 , 22 28 42 →= 15 19 9 15 , 22 28 43 →= 15 19 9 22 , 21 28 40 →= 20 19 9 18 , 21 28 41 →= 20 19 9 3 , 21 28 42 →= 20 19 9 15 , 21 28 43 →= 20 19 9 22 , 51 28 40 →= 52 19 9 18 , 51 28 41 →= 52 19 9 3 , 51 28 42 →= 52 19 9 15 , 51 28 43 →= 52 19 9 22 , 43 28 40 →= 42 19 9 18 , 43 28 41 →= 42 19 9 3 , 43 28 42 →= 42 19 9 15 , 43 28 43 →= 42 19 9 22 , 53 28 40 →= 54 19 9 18 , 53 28 41 →= 54 19 9 3 , 53 28 42 →= 54 19 9 15 , 53 28 43 →= 54 19 9 22 , 55 28 40 →= 56 19 9 18 , 55 28 41 →= 56 19 9 3 , 55 28 42 →= 56 19 9 15 , 55 28 43 →= 56 19 9 22 , 22 30 45 →= 15 19 13 25 , 22 30 46 →= 15 19 13 27 , 22 30 47 →= 15 19 13 29 , 22 30 48 →= 15 19 13 31 , 21 30 45 →= 20 19 13 25 , 21 30 46 →= 20 19 13 27 , 21 30 47 →= 20 19 13 29 , 21 30 48 →= 20 19 13 31 , 51 30 45 →= 52 19 13 25 , 51 30 46 →= 52 19 13 27 , 51 30 47 →= 52 19 13 29 , 51 30 48 →= 52 19 13 31 , 43 30 45 →= 42 19 13 25 , 43 30 46 →= 42 19 13 27 , 43 30 47 →= 42 19 13 29 , 43 30 48 →= 42 19 13 31 , 53 30 45 →= 54 19 13 25 , 53 30 46 →= 54 19 13 27 , 53 30 47 →= 54 19 13 29 , 53 30 48 →= 54 19 13 31 , 55 30 45 →= 56 19 13 25 , 55 30 46 →= 56 19 13 27 , 55 30 47 →= 56 19 13 29 , 55 30 48 →= 56 19 13 31 , 44 46 34 →= 39 41 11 8 , 44 46 17 →= 39 41 11 10 , 44 46 7 →= 39 41 11 12 , 44 46 24 →= 39 41 11 14 , 30 46 34 →= 28 41 11 8 , 30 46 17 →= 28 41 11 10 , 30 46 7 →= 28 41 11 12 , 30 46 24 →= 28 41 11 14 , 31 46 34 →= 29 41 11 8 , 31 46 17 →= 29 41 11 10 , 31 46 7 →= 29 41 11 12 , 31 46 24 →= 29 41 11 14 , 48 46 34 →= 47 41 11 8 , 48 46 17 →= 47 41 11 10 , 48 46 7 →= 47 41 11 12 , 48 46 24 →= 47 41 11 14 , 57 46 34 →= 58 41 11 8 , 57 46 17 →= 58 41 11 10 , 57 46 7 →= 58 41 11 12 , 57 46 24 →= 58 41 11 14 , 59 46 34 →= 60 41 11 8 , 59 46 17 →= 60 41 11 10 , 59 46 7 →= 60 41 11 12 , 59 46 24 →= 60 41 11 14 , 44 47 40 →= 39 41 9 18 , 44 47 41 →= 39 41 9 3 , 44 47 42 →= 39 41 9 15 , 44 47 43 →= 39 41 9 22 , 30 47 40 →= 28 41 9 18 , 30 47 41 →= 28 41 9 3 , 30 47 42 →= 28 41 9 15 , 30 47 43 →= 28 41 9 22 , 31 47 40 →= 29 41 9 18 , 31 47 41 →= 29 41 9 3 , 31 47 42 →= 29 41 9 15 , 31 47 43 →= 29 41 9 22 , 48 47 40 →= 47 41 9 18 , 48 47 41 →= 47 41 9 3 , 48 47 42 →= 47 41 9 15 , 48 47 43 →= 47 41 9 22 , 57 47 40 →= 58 41 9 18 , 57 47 41 →= 58 41 9 3 , 57 47 42 →= 58 41 9 15 , 57 47 43 →= 58 41 9 22 , 59 47 40 →= 60 41 9 18 , 59 47 41 →= 60 41 9 3 , 59 47 42 →= 60 41 9 15 , 59 47 43 →= 60 41 9 22 , 44 48 45 →= 39 41 13 25 , 44 48 46 →= 39 41 13 27 , 44 48 47 →= 39 41 13 29 , 44 48 48 →= 39 41 13 31 , 30 48 45 →= 28 41 13 25 , 30 48 46 →= 28 41 13 27 , 30 48 47 →= 28 41 13 29 , 30 48 48 →= 28 41 13 31 , 31 48 45 →= 29 41 13 25 , 31 48 46 →= 29 41 13 27 , 31 48 47 →= 29 41 13 29 , 31 48 48 →= 29 41 13 31 , 48 48 45 →= 47 41 13 25 , 48 48 46 →= 47 41 13 27 , 48 48 47 →= 47 41 13 29 , 48 48 48 →= 47 41 13 31 , 57 48 45 →= 58 41 13 25 , 57 48 46 →= 58 41 13 27 , 57 48 47 →= 58 41 13 29 , 57 48 48 →= 58 41 13 31 , 59 48 45 →= 60 41 13 25 , 59 48 46 →= 60 41 13 27 , 59 48 47 →= 60 41 13 29 , 59 48 48 →= 60 41 13 31 , 61 62 34 →= 63 64 11 8 , 61 62 17 →= 63 64 11 10 , 61 62 7 →= 63 64 11 12 , 61 62 24 →= 63 64 11 14 , 61 58 40 →= 63 64 9 18 , 61 58 41 →= 63 64 9 3 , 61 58 42 →= 63 64 9 15 , 61 58 43 →= 63 64 9 22 , 61 57 45 →= 63 64 13 25 , 61 57 46 →= 63 64 13 27 , 61 57 47 →= 63 64 13 29 , 61 57 48 →= 63 64 13 31 , 5 6 17 3 4 →= 35 51 30 46 7 8 , 5 6 17 3 9 →= 35 51 30 46 7 10 , 5 6 17 3 11 →= 35 51 30 46 7 12 , 5 6 17 3 13 →= 35 51 30 46 7 14 , 37 6 17 3 4 →= 38 51 30 46 7 8 , 37 6 17 3 9 →= 38 51 30 46 7 10 , 37 6 17 3 11 →= 38 51 30 46 7 12 , 37 6 17 3 13 →= 38 51 30 46 7 14 , 5 6 17 15 16 →= 35 51 30 46 17 18 , 5 6 17 15 19 →= 35 51 30 46 17 3 , 5 6 17 15 20 →= 35 51 30 46 17 15 , 5 6 17 15 21 →= 35 51 30 46 17 22 , 37 6 17 15 16 →= 38 51 30 46 17 18 , 37 6 17 15 19 →= 38 51 30 46 17 3 , 37 6 17 15 20 →= 38 51 30 46 17 15 , 37 6 17 15 21 →= 38 51 30 46 17 22 , 5 6 17 22 23 →= 35 51 30 46 24 25 , 5 6 17 22 26 →= 35 51 30 46 24 27 , 5 6 17 22 28 →= 35 51 30 46 24 29 , 5 6 17 22 30 →= 35 51 30 46 24 31 , 37 6 17 22 23 →= 38 51 30 46 24 25 , 37 6 17 22 26 →= 38 51 30 46 24 27 , 37 6 17 22 28 →= 38 51 30 46 24 29 , 37 6 17 22 30 →= 38 51 30 46 24 31 , 33 27 17 3 4 →= 2 22 30 46 7 8 , 33 27 17 3 9 →= 2 22 30 46 7 10 , 33 27 17 3 11 →= 2 22 30 46 7 12 , 33 27 17 3 13 →= 2 22 30 46 7 14 , 13 27 17 3 4 →= 9 22 30 46 7 8 , 13 27 17 3 9 →= 9 22 30 46 7 10 , 13 27 17 3 11 →= 9 22 30 46 7 12 , 13 27 17 3 13 →= 9 22 30 46 7 14 , 24 27 17 3 4 →= 17 22 30 46 7 8 , 24 27 17 3 9 →= 17 22 30 46 7 10 , 24 27 17 3 11 →= 17 22 30 46 7 12 , 24 27 17 3 13 →= 17 22 30 46 7 14 , 14 27 17 3 4 →= 10 22 30 46 7 8 , 14 27 17 3 9 →= 10 22 30 46 7 10 , 14 27 17 3 11 →= 10 22 30 46 7 12 , 14 27 17 3 13 →= 10 22 30 46 7 14 , 49 27 17 3 4 →= 50 22 30 46 7 8 , 49 27 17 3 9 →= 50 22 30 46 7 10 , 49 27 17 3 11 →= 50 22 30 46 7 12 , 49 27 17 3 13 →= 50 22 30 46 7 14 , 33 27 17 15 16 →= 2 22 30 46 17 18 , 33 27 17 15 19 →= 2 22 30 46 17 3 , 33 27 17 15 20 →= 2 22 30 46 17 15 , 33 27 17 15 21 →= 2 22 30 46 17 22 , 13 27 17 15 16 →= 9 22 30 46 17 18 , 13 27 17 15 19 →= 9 22 30 46 17 3 , 13 27 17 15 20 →= 9 22 30 46 17 15 , 13 27 17 15 21 →= 9 22 30 46 17 22 , 24 27 17 15 16 →= 17 22 30 46 17 18 , 24 27 17 15 19 →= 17 22 30 46 17 3 , 24 27 17 15 20 →= 17 22 30 46 17 15 , 24 27 17 15 21 →= 17 22 30 46 17 22 , 14 27 17 15 16 →= 10 22 30 46 17 18 , 14 27 17 15 19 →= 10 22 30 46 17 3 , 14 27 17 15 20 →= 10 22 30 46 17 15 , 14 27 17 15 21 →= 10 22 30 46 17 22 , 49 27 17 15 16 →= 50 22 30 46 17 18 , 49 27 17 15 19 →= 50 22 30 46 17 3 , 49 27 17 15 20 →= 50 22 30 46 17 15 , 49 27 17 15 21 →= 50 22 30 46 17 22 , 33 27 17 22 23 →= 2 22 30 46 24 25 , 33 27 17 22 26 →= 2 22 30 46 24 27 , 33 27 17 22 28 →= 2 22 30 46 24 29 , 33 27 17 22 30 →= 2 22 30 46 24 31 , 13 27 17 22 23 →= 9 22 30 46 24 25 , 13 27 17 22 26 →= 9 22 30 46 24 27 , 13 27 17 22 28 →= 9 22 30 46 24 29 , 13 27 17 22 30 →= 9 22 30 46 24 31 , 24 27 17 22 23 →= 17 22 30 46 24 25 , 24 27 17 22 26 →= 17 22 30 46 24 27 , 24 27 17 22 28 →= 17 22 30 46 24 29 , 24 27 17 22 30 →= 17 22 30 46 24 31 , 14 27 17 22 23 →= 10 22 30 46 24 25 , 14 27 17 22 26 →= 10 22 30 46 24 27 , 14 27 17 22 28 →= 10 22 30 46 24 29 , 14 27 17 22 30 →= 10 22 30 46 24 31 , 49 27 17 22 23 →= 50 22 30 46 24 25 , 49 27 17 22 26 →= 50 22 30 46 24 27 , 49 27 17 22 28 →= 50 22 30 46 24 29 , 49 27 17 22 30 →= 50 22 30 46 24 31 , 22 26 17 3 4 →= 15 21 30 46 7 8 , 22 26 17 3 9 →= 15 21 30 46 7 10 , 22 26 17 3 11 →= 15 21 30 46 7 12 , 22 26 17 3 13 →= 15 21 30 46 7 14 , 21 26 17 3 4 →= 20 21 30 46 7 8 , 21 26 17 3 9 →= 20 21 30 46 7 10 , 21 26 17 3 11 →= 20 21 30 46 7 12 , 21 26 17 3 13 →= 20 21 30 46 7 14 , 51 26 17 3 4 →= 52 21 30 46 7 8 , 51 26 17 3 9 →= 52 21 30 46 7 10 , 51 26 17 3 11 →= 52 21 30 46 7 12 , 51 26 17 3 13 →= 52 21 30 46 7 14 , 43 26 17 3 4 →= 42 21 30 46 7 8 , 43 26 17 3 9 →= 42 21 30 46 7 10 , 43 26 17 3 11 →= 42 21 30 46 7 12 , 43 26 17 3 13 →= 42 21 30 46 7 14 , 53 26 17 3 4 →= 54 21 30 46 7 8 , 53 26 17 3 9 →= 54 21 30 46 7 10 , 53 26 17 3 11 →= 54 21 30 46 7 12 , 53 26 17 3 13 →= 54 21 30 46 7 14 , 55 26 17 3 4 →= 56 21 30 46 7 8 , 55 26 17 3 9 →= 56 21 30 46 7 10 , 55 26 17 3 11 →= 56 21 30 46 7 12 , 55 26 17 3 13 →= 56 21 30 46 7 14 , 22 26 17 15 16 →= 15 21 30 46 17 18 , 22 26 17 15 19 →= 15 21 30 46 17 3 , 22 26 17 15 20 →= 15 21 30 46 17 15 , 22 26 17 15 21 →= 15 21 30 46 17 22 , 21 26 17 15 16 →= 20 21 30 46 17 18 , 21 26 17 15 19 →= 20 21 30 46 17 3 , 21 26 17 15 20 →= 20 21 30 46 17 15 , 21 26 17 15 21 →= 20 21 30 46 17 22 , 51 26 17 15 16 →= 52 21 30 46 17 18 , 51 26 17 15 19 →= 52 21 30 46 17 3 , 51 26 17 15 20 →= 52 21 30 46 17 15 , 51 26 17 15 21 →= 52 21 30 46 17 22 , 43 26 17 15 16 →= 42 21 30 46 17 18 , 43 26 17 15 19 →= 42 21 30 46 17 3 , 43 26 17 15 20 →= 42 21 30 46 17 15 , 43 26 17 15 21 →= 42 21 30 46 17 22 , 53 26 17 15 16 →= 54 21 30 46 17 18 , 53 26 17 15 19 →= 54 21 30 46 17 3 , 53 26 17 15 20 →= 54 21 30 46 17 15 , 53 26 17 15 21 →= 54 21 30 46 17 22 , 55 26 17 15 16 →= 56 21 30 46 17 18 , 55 26 17 15 19 →= 56 21 30 46 17 3 , 55 26 17 15 20 →= 56 21 30 46 17 15 , 55 26 17 15 21 →= 56 21 30 46 17 22 , 22 26 17 22 23 →= 15 21 30 46 24 25 , 22 26 17 22 26 →= 15 21 30 46 24 27 , 22 26 17 22 28 →= 15 21 30 46 24 29 , 22 26 17 22 30 →= 15 21 30 46 24 31 , 21 26 17 22 23 →= 20 21 30 46 24 25 , 21 26 17 22 26 →= 20 21 30 46 24 27 , 21 26 17 22 28 →= 20 21 30 46 24 29 , 21 26 17 22 30 →= 20 21 30 46 24 31 , 51 26 17 22 23 →= 52 21 30 46 24 25 , 51 26 17 22 26 →= 52 21 30 46 24 27 , 51 26 17 22 28 →= 52 21 30 46 24 29 , 51 26 17 22 30 →= 52 21 30 46 24 31 , 43 26 17 22 23 →= 42 21 30 46 24 25 , 43 26 17 22 26 →= 42 21 30 46 24 27 , 43 26 17 22 28 →= 42 21 30 46 24 29 , 43 26 17 22 30 →= 42 21 30 46 24 31 , 53 26 17 22 23 →= 54 21 30 46 24 25 , 53 26 17 22 26 →= 54 21 30 46 24 27 , 53 26 17 22 28 →= 54 21 30 46 24 29 , 53 26 17 22 30 →= 54 21 30 46 24 31 , 55 26 17 22 23 →= 56 21 30 46 24 25 , 55 26 17 22 26 →= 56 21 30 46 24 27 , 55 26 17 22 28 →= 56 21 30 46 24 29 , 55 26 17 22 30 →= 56 21 30 46 24 31 , 44 46 17 3 4 →= 39 43 30 46 7 8 , 44 46 17 3 9 →= 39 43 30 46 7 10 , 44 46 17 3 11 →= 39 43 30 46 7 12 , 44 46 17 3 13 →= 39 43 30 46 7 14 , 30 46 17 3 4 →= 28 43 30 46 7 8 , 30 46 17 3 9 →= 28 43 30 46 7 10 , 30 46 17 3 11 →= 28 43 30 46 7 12 , 30 46 17 3 13 →= 28 43 30 46 7 14 , 31 46 17 3 4 →= 29 43 30 46 7 8 , 31 46 17 3 9 →= 29 43 30 46 7 10 , 31 46 17 3 11 →= 29 43 30 46 7 12 , 31 46 17 3 13 →= 29 43 30 46 7 14 , 48 46 17 3 4 →= 47 43 30 46 7 8 , 48 46 17 3 9 →= 47 43 30 46 7 10 , 48 46 17 3 11 →= 47 43 30 46 7 12 , 48 46 17 3 13 →= 47 43 30 46 7 14 , 57 46 17 3 4 →= 58 43 30 46 7 8 , 57 46 17 3 9 →= 58 43 30 46 7 10 , 57 46 17 3 11 →= 58 43 30 46 7 12 , 57 46 17 3 13 →= 58 43 30 46 7 14 , 59 46 17 3 4 →= 60 43 30 46 7 8 , 59 46 17 3 9 →= 60 43 30 46 7 10 , 59 46 17 3 11 →= 60 43 30 46 7 12 , 59 46 17 3 13 →= 60 43 30 46 7 14 , 44 46 17 15 16 →= 39 43 30 46 17 18 , 44 46 17 15 19 →= 39 43 30 46 17 3 , 44 46 17 15 20 →= 39 43 30 46 17 15 , 44 46 17 15 21 →= 39 43 30 46 17 22 , 30 46 17 15 16 →= 28 43 30 46 17 18 , 30 46 17 15 19 →= 28 43 30 46 17 3 , 30 46 17 15 20 →= 28 43 30 46 17 15 , 30 46 17 15 21 →= 28 43 30 46 17 22 , 31 46 17 15 16 →= 29 43 30 46 17 18 , 31 46 17 15 19 →= 29 43 30 46 17 3 , 31 46 17 15 20 →= 29 43 30 46 17 15 , 31 46 17 15 21 →= 29 43 30 46 17 22 , 48 46 17 15 16 →= 47 43 30 46 17 18 , 48 46 17 15 19 →= 47 43 30 46 17 3 , 48 46 17 15 20 →= 47 43 30 46 17 15 , 48 46 17 15 21 →= 47 43 30 46 17 22 , 57 46 17 15 16 →= 58 43 30 46 17 18 , 57 46 17 15 19 →= 58 43 30 46 17 3 , 57 46 17 15 20 →= 58 43 30 46 17 15 , 57 46 17 15 21 →= 58 43 30 46 17 22 , 59 46 17 15 16 →= 60 43 30 46 17 18 , 59 46 17 15 19 →= 60 43 30 46 17 3 , 59 46 17 15 20 →= 60 43 30 46 17 15 , 59 46 17 15 21 →= 60 43 30 46 17 22 , 44 46 17 22 23 →= 39 43 30 46 24 25 , 44 46 17 22 26 →= 39 43 30 46 24 27 , 44 46 17 22 28 →= 39 43 30 46 24 29 , 44 46 17 22 30 →= 39 43 30 46 24 31 , 30 46 17 22 23 →= 28 43 30 46 24 25 , 30 46 17 22 26 →= 28 43 30 46 24 27 , 30 46 17 22 28 →= 28 43 30 46 24 29 , 30 46 17 22 30 →= 28 43 30 46 24 31 , 31 46 17 22 23 →= 29 43 30 46 24 25 , 31 46 17 22 26 →= 29 43 30 46 24 27 , 31 46 17 22 28 →= 29 43 30 46 24 29 , 31 46 17 22 30 →= 29 43 30 46 24 31 , 48 46 17 22 23 →= 47 43 30 46 24 25 , 48 46 17 22 26 →= 47 43 30 46 24 27 , 48 46 17 22 28 →= 47 43 30 46 24 29 , 48 46 17 22 30 →= 47 43 30 46 24 31 , 57 46 17 22 23 →= 58 43 30 46 24 25 , 57 46 17 22 26 →= 58 43 30 46 24 27 , 57 46 17 22 28 →= 58 43 30 46 24 29 , 57 46 17 22 30 →= 58 43 30 46 24 31 , 59 46 17 22 23 →= 60 43 30 46 24 25 , 59 46 17 22 26 →= 60 43 30 46 24 27 , 59 46 17 22 28 →= 60 43 30 46 24 29 , 59 46 17 22 30 →= 60 43 30 46 24 31 , 61 62 17 3 4 →= 63 53 30 46 7 8 , 61 62 17 3 9 →= 63 53 30 46 7 10 , 61 62 17 3 11 →= 63 53 30 46 7 12 , 61 62 17 3 13 →= 63 53 30 46 7 14 , 61 62 17 15 16 →= 63 53 30 46 17 18 , 61 62 17 15 19 →= 63 53 30 46 17 3 , 61 62 17 15 20 →= 63 53 30 46 17 15 , 61 62 17 15 21 →= 63 53 30 46 17 22 , 61 62 17 22 23 →= 63 53 30 46 24 25 , 61 62 17 22 26 →= 63 53 30 46 24 27 , 61 62 17 22 28 →= 63 53 30 46 24 29 , 61 62 17 22 30 →= 63 53 30 46 24 31 , 35 52 19 4 →= 1 65 , 35 52 19 9 →= 1 2 , 35 52 19 11 →= 1 32 , 35 52 19 13 →= 1 33 , 38 52 19 4 →= 66 65 , 38 52 19 9 →= 66 2 , 38 52 19 11 →= 66 32 , 38 52 19 13 →= 66 33 , 35 52 20 16 →= 35 67 , 35 52 20 19 →= 35 36 , 35 52 20 20 →= 35 52 , 35 52 20 21 →= 35 51 , 38 52 20 16 →= 38 67 , 38 52 20 19 →= 38 36 , 38 52 20 20 →= 38 52 , 38 52 20 21 →= 38 51 , 35 52 21 23 →= 5 68 , 35 52 21 26 →= 5 6 , 35 52 21 28 →= 5 39 , 35 52 21 30 →= 5 44 , 38 52 21 23 →= 37 68 , 38 52 21 26 →= 37 6 , 38 52 21 28 →= 37 39 , 38 52 21 30 →= 37 44 , 2 15 19 4 →= 32 8 , 2 15 19 9 →= 32 10 , 2 15 19 11 →= 32 12 , 2 15 19 13 →= 32 14 , 9 15 19 4 →= 11 8 , 9 15 19 9 →= 11 10 , 9 15 19 11 →= 11 12 , 9 15 19 13 →= 11 14 , 17 15 19 4 →= 7 8 , 17 15 19 9 →= 7 10 , 17 15 19 11 →= 7 12 , 17 15 19 13 →= 7 14 , 10 15 19 4 →= 12 8 , 10 15 19 9 →= 12 10 , 10 15 19 11 →= 12 12 , 10 15 19 13 →= 12 14 , 50 15 19 4 →= 69 8 , 50 15 19 9 →= 69 10 , 50 15 19 11 →= 69 12 , 50 15 19 13 →= 69 14 , 2 15 20 16 →= 2 18 , 2 15 20 19 →= 2 3 , 2 15 20 20 →= 2 15 , 2 15 20 21 →= 2 22 , 9 15 20 16 →= 9 18 , 9 15 20 19 →= 9 3 , 9 15 20 20 →= 9 15 , 9 15 20 21 →= 9 22 , 17 15 20 16 →= 17 18 , 17 15 20 19 →= 17 3 , 17 15 20 20 →= 17 15 , 17 15 20 21 →= 17 22 , 10 15 20 16 →= 10 18 , 10 15 20 19 →= 10 3 , 10 15 20 20 →= 10 15 , 10 15 20 21 →= 10 22 , 50 15 20 16 →= 50 18 , 50 15 20 19 →= 50 3 , 50 15 20 20 →= 50 15 , 50 15 20 21 →= 50 22 , 2 15 21 23 →= 33 25 , 2 15 21 26 →= 33 27 , 2 15 21 28 →= 33 29 , 2 15 21 30 →= 33 31 , 9 15 21 23 →= 13 25 , 9 15 21 26 →= 13 27 , 9 15 21 28 →= 13 29 , 9 15 21 30 →= 13 31 , 17 15 21 23 →= 24 25 , 17 15 21 26 →= 24 27 , 17 15 21 28 →= 24 29 , 17 15 21 30 →= 24 31 , 10 15 21 23 →= 14 25 , 10 15 21 26 →= 14 27 , 10 15 21 28 →= 14 29 , 10 15 21 30 →= 14 31 , 50 15 21 23 →= 49 25 , 50 15 21 26 →= 49 27 , 50 15 21 28 →= 49 29 , 50 15 21 30 →= 49 31 , 15 20 19 4 →= 3 4 , 15 20 19 9 →= 3 9 , 15 20 19 11 →= 3 11 , 15 20 19 13 →= 3 13 , 20 20 19 4 →= 19 4 , 20 20 19 9 →= 19 9 , 20 20 19 11 →= 19 11 , 20 20 19 13 →= 19 13 , 52 20 19 4 →= 36 4 , 52 20 19 9 →= 36 9 , 52 20 19 11 →= 36 11 , 52 20 19 13 →= 36 13 , 42 20 19 4 →= 41 4 , 42 20 19 9 →= 41 9 , 42 20 19 11 →= 41 11 , 42 20 19 13 →= 41 13 , 54 20 19 4 →= 64 4 , 54 20 19 9 →= 64 9 , 54 20 19 11 →= 64 11 , 54 20 19 13 →= 64 13 , 56 20 19 4 →= 70 4 , 56 20 19 9 →= 70 9 , 56 20 19 11 →= 70 11 , 56 20 19 13 →= 70 13 , 15 20 20 16 →= 15 16 , 15 20 20 19 →= 15 19 , 15 20 20 20 →= 15 20 , 15 20 20 21 →= 15 21 , 20 20 20 16 →= 20 16 , 20 20 20 19 →= 20 19 , 20 20 20 20 →= 20 20 , 20 20 20 21 →= 20 21 , 52 20 20 16 →= 52 16 , 52 20 20 19 →= 52 19 , 52 20 20 20 →= 52 20 , 52 20 20 21 →= 52 21 , 42 20 20 16 →= 42 16 , 42 20 20 19 →= 42 19 , 42 20 20 20 →= 42 20 , 42 20 20 21 →= 42 21 , 54 20 20 16 →= 54 16 , 54 20 20 19 →= 54 19 , 54 20 20 20 →= 54 20 , 54 20 20 21 →= 54 21 , 56 20 20 16 →= 56 16 , 56 20 20 19 →= 56 19 , 56 20 20 20 →= 56 20 , 56 20 20 21 →= 56 21 , 15 20 21 23 →= 22 23 , 15 20 21 26 →= 22 26 , 15 20 21 28 →= 22 28 , 15 20 21 30 →= 22 30 , 20 20 21 23 →= 21 23 , 20 20 21 26 →= 21 26 , 20 20 21 28 →= 21 28 , 20 20 21 30 →= 21 30 , 52 20 21 23 →= 51 23 , 52 20 21 26 →= 51 26 , 52 20 21 28 →= 51 28 , 52 20 21 30 →= 51 30 , 42 20 21 23 →= 43 23 , 42 20 21 26 →= 43 26 , 42 20 21 28 →= 43 28 , 42 20 21 30 →= 43 30 , 54 20 21 23 →= 53 23 , 54 20 21 26 →= 53 26 , 54 20 21 28 →= 53 28 , 54 20 21 30 →= 53 30 , 56 20 21 23 →= 55 23 , 56 20 21 26 →= 55 26 , 56 20 21 28 →= 55 28 , 56 20 21 30 →= 55 30 , 39 42 19 4 →= 6 34 , 39 42 19 9 →= 6 17 , 39 42 19 11 →= 6 7 , 39 42 19 13 →= 6 24 , 28 42 19 4 →= 26 34 , 28 42 19 9 →= 26 17 , 28 42 19 11 →= 26 7 , 28 42 19 13 →= 26 24 , 29 42 19 4 →= 27 34 , 29 42 19 9 →= 27 17 , 29 42 19 11 →= 27 7 , 29 42 19 13 →= 27 24 , 47 42 19 4 →= 46 34 , 47 42 19 9 →= 46 17 , 47 42 19 11 →= 46 7 , 47 42 19 13 →= 46 24 , 58 42 19 4 →= 62 34 , 58 42 19 9 →= 62 17 , 58 42 19 11 →= 62 7 , 58 42 19 13 →= 62 24 , 60 42 19 4 →= 71 34 , 60 42 19 9 →= 71 17 , 60 42 19 11 →= 71 7 , 60 42 19 13 →= 71 24 , 39 42 20 16 →= 39 40 , 39 42 20 19 →= 39 41 , 39 42 20 20 →= 39 42 , 39 42 20 21 →= 39 43 , 28 42 20 16 →= 28 40 , 28 42 20 19 →= 28 41 , 28 42 20 20 →= 28 42 , 28 42 20 21 →= 28 43 , 29 42 20 16 →= 29 40 , 29 42 20 19 →= 29 41 , 29 42 20 20 →= 29 42 , 29 42 20 21 →= 29 43 , 47 42 20 16 →= 47 40 , 47 42 20 19 →= 47 41 , 47 42 20 20 →= 47 42 , 47 42 20 21 →= 47 43 , 58 42 20 16 →= 58 40 , 58 42 20 19 →= 58 41 , 58 42 20 20 →= 58 42 , 58 42 20 21 →= 58 43 , 60 42 20 16 →= 60 40 , 60 42 20 19 →= 60 41 , 60 42 20 20 →= 60 42 , 60 42 20 21 →= 60 43 , 39 42 21 23 →= 44 45 , 39 42 21 26 →= 44 46 , 39 42 21 28 →= 44 47 , 39 42 21 30 →= 44 48 , 28 42 21 23 →= 30 45 , 28 42 21 26 →= 30 46 , 28 42 21 28 →= 30 47 , 28 42 21 30 →= 30 48 , 29 42 21 23 →= 31 45 , 29 42 21 26 →= 31 46 , 29 42 21 28 →= 31 47 , 29 42 21 30 →= 31 48 , 47 42 21 23 →= 48 45 , 47 42 21 26 →= 48 46 , 47 42 21 28 →= 48 47 , 47 42 21 30 →= 48 48 , 58 42 21 23 →= 57 45 , 58 42 21 26 →= 57 46 , 58 42 21 28 →= 57 47 , 58 42 21 30 →= 57 48 , 60 42 21 23 →= 59 45 , 60 42 21 26 →= 59 46 , 60 42 21 28 →= 59 47 , 60 42 21 30 →= 59 48 , 63 54 20 16 →= 63 72 , 63 54 20 19 →= 63 64 , 63 54 20 20 →= 63 54 , 63 54 20 21 →= 63 53 , 63 54 21 23 →= 61 73 , 63 54 21 26 →= 61 62 , 63 54 21 28 →= 61 58 , 63 54 21 30 →= 61 57 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 1 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 13 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 14 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 15 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 16 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 23 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 ⎟ ⎝ ⎠ After renaming modulo the bijection { 0 ↦ 0, 1 ↦ 1, 2 ↦ 2, 3 ↦ 3, 9 ↦ 4, 5 ↦ 5, 6 ↦ 6, 7 ↦ 7, 10 ↦ 8, 11 ↦ 9, 12 ↦ 10, 13 ↦ 11, 14 ↦ 12, 15 ↦ 13, 19 ↦ 14, 17 ↦ 15, 20 ↦ 16, 21 ↦ 17, 22 ↦ 18, 26 ↦ 19, 24 ↦ 20, 27 ↦ 21, 28 ↦ 22, 29 ↦ 23, 30 ↦ 24, 31 ↦ 25, 32 ↦ 26, 33 ↦ 27, 34 ↦ 28, 35 ↦ 29, 36 ↦ 30, 8 ↦ 31, 37 ↦ 32, 38 ↦ 33, 39 ↦ 34, 40 ↦ 35, 18 ↦ 36, 41 ↦ 37, 42 ↦ 38, 43 ↦ 39, 44 ↦ 40, 45 ↦ 41, 25 ↦ 42, 46 ↦ 43, 47 ↦ 44, 48 ↦ 45, 49 ↦ 46, 50 ↦ 47, 51 ↦ 48, 52 ↦ 49, 53 ↦ 50, 54 ↦ 51, 55 ↦ 52, 56 ↦ 53, 57 ↦ 54, 58 ↦ 55, 59 ↦ 56, 60 ↦ 57, 61 ↦ 58, 62 ↦ 59, 63 ↦ 60, 64 ↦ 61, 66 ↦ 62, 69 ↦ 63, 4 ↦ 64, 70 ↦ 65, 16 ↦ 66, 23 ↦ 67, 71 ↦ 68 }, it remains to prove termination of the 633-rule system { 0 1 2 3 4 ⟶ 0 5 6 7 8 , 0 1 2 3 9 ⟶ 0 5 6 7 10 , 0 1 2 3 11 ⟶ 0 5 6 7 12 , 0 1 2 13 14 ⟶ 0 5 6 15 3 , 0 1 2 13 16 ⟶ 0 5 6 15 13 , 0 1 2 13 17 ⟶ 0 5 6 15 18 , 0 1 2 18 19 ⟶ 0 5 6 20 21 , 0 1 2 18 22 ⟶ 0 5 6 20 23 , 0 1 2 18 24 ⟶ 0 5 6 20 25 , 0 1 2 3 4 ⟶ 0 1 26 8 , 0 1 2 3 9 ⟶ 0 1 26 10 , 0 1 2 3 11 ⟶ 0 1 26 12 , 0 1 2 13 14 ⟶ 0 1 2 3 , 0 1 2 13 16 ⟶ 0 1 2 13 , 0 1 2 13 17 ⟶ 0 1 2 18 , 0 1 2 18 19 ⟶ 0 1 27 21 , 0 1 2 18 22 ⟶ 0 1 27 23 , 0 1 2 18 24 ⟶ 0 1 27 25 , 5 6 28 →= 29 30 9 31 , 5 6 15 →= 29 30 9 8 , 5 6 7 →= 29 30 9 10 , 5 6 20 →= 29 30 9 12 , 32 6 28 →= 33 30 9 31 , 32 6 15 →= 33 30 9 8 , 32 6 7 →= 33 30 9 10 , 32 6 20 →= 33 30 9 12 , 5 34 35 →= 29 30 4 36 , 5 34 37 →= 29 30 4 3 , 5 34 38 →= 29 30 4 13 , 5 34 39 →= 29 30 4 18 , 32 34 35 →= 33 30 4 36 , 32 34 37 →= 33 30 4 3 , 32 34 38 →= 33 30 4 13 , 32 34 39 →= 33 30 4 18 , 5 40 41 →= 29 30 11 42 , 5 40 43 →= 29 30 11 21 , 5 40 44 →= 29 30 11 23 , 5 40 45 →= 29 30 11 25 , 32 40 41 →= 33 30 11 42 , 32 40 43 →= 33 30 11 21 , 32 40 44 →= 33 30 11 23 , 32 40 45 →= 33 30 11 25 , 27 21 28 →= 2 3 9 31 , 27 21 15 →= 2 3 9 8 , 27 21 7 →= 2 3 9 10 , 27 21 20 →= 2 3 9 12 , 11 21 28 →= 4 3 9 31 , 11 21 15 →= 4 3 9 8 , 11 21 7 →= 4 3 9 10 , 11 21 20 →= 4 3 9 12 , 20 21 28 →= 15 3 9 31 , 20 21 15 →= 15 3 9 8 , 20 21 7 →= 15 3 9 10 , 20 21 20 →= 15 3 9 12 , 12 21 28 →= 8 3 9 31 , 12 21 15 →= 8 3 9 8 , 12 21 7 →= 8 3 9 10 , 12 21 20 →= 8 3 9 12 , 46 21 28 →= 47 3 9 31 , 46 21 15 →= 47 3 9 8 , 46 21 7 →= 47 3 9 10 , 46 21 20 →= 47 3 9 12 , 27 23 35 →= 2 3 4 36 , 27 23 37 →= 2 3 4 3 , 27 23 38 →= 2 3 4 13 , 27 23 39 →= 2 3 4 18 , 11 23 35 →= 4 3 4 36 , 11 23 37 →= 4 3 4 3 , 11 23 38 →= 4 3 4 13 , 11 23 39 →= 4 3 4 18 , 20 23 35 →= 15 3 4 36 , 20 23 37 →= 15 3 4 3 , 20 23 38 →= 15 3 4 13 , 20 23 39 →= 15 3 4 18 , 12 23 35 →= 8 3 4 36 , 12 23 37 →= 8 3 4 3 , 12 23 38 →= 8 3 4 13 , 12 23 39 →= 8 3 4 18 , 46 23 35 →= 47 3 4 36 , 46 23 37 →= 47 3 4 3 , 46 23 38 →= 47 3 4 13 , 46 23 39 →= 47 3 4 18 , 27 25 41 →= 2 3 11 42 , 27 25 43 →= 2 3 11 21 , 27 25 44 →= 2 3 11 23 , 27 25 45 →= 2 3 11 25 , 11 25 41 →= 4 3 11 42 , 11 25 43 →= 4 3 11 21 , 11 25 44 →= 4 3 11 23 , 11 25 45 →= 4 3 11 25 , 20 25 41 →= 15 3 11 42 , 20 25 43 →= 15 3 11 21 , 20 25 44 →= 15 3 11 23 , 20 25 45 →= 15 3 11 25 , 12 25 41 →= 8 3 11 42 , 12 25 43 →= 8 3 11 21 , 12 25 44 →= 8 3 11 23 , 12 25 45 →= 8 3 11 25 , 46 25 41 →= 47 3 11 42 , 46 25 43 →= 47 3 11 21 , 46 25 44 →= 47 3 11 23 , 46 25 45 →= 47 3 11 25 , 18 19 28 →= 13 14 9 31 , 18 19 15 →= 13 14 9 8 , 18 19 7 →= 13 14 9 10 , 18 19 20 →= 13 14 9 12 , 17 19 28 →= 16 14 9 31 , 17 19 15 →= 16 14 9 8 , 17 19 7 →= 16 14 9 10 , 17 19 20 →= 16 14 9 12 , 48 19 28 →= 49 14 9 31 , 48 19 15 →= 49 14 9 8 , 48 19 7 →= 49 14 9 10 , 48 19 20 →= 49 14 9 12 , 39 19 28 →= 38 14 9 31 , 39 19 15 →= 38 14 9 8 , 39 19 7 →= 38 14 9 10 , 39 19 20 →= 38 14 9 12 , 50 19 28 →= 51 14 9 31 , 50 19 15 →= 51 14 9 8 , 50 19 7 →= 51 14 9 10 , 50 19 20 →= 51 14 9 12 , 52 19 28 →= 53 14 9 31 , 52 19 15 →= 53 14 9 8 , 52 19 7 →= 53 14 9 10 , 52 19 20 →= 53 14 9 12 , 18 22 35 →= 13 14 4 36 , 18 22 37 →= 13 14 4 3 , 18 22 38 →= 13 14 4 13 , 18 22 39 →= 13 14 4 18 , 17 22 35 →= 16 14 4 36 , 17 22 37 →= 16 14 4 3 , 17 22 38 →= 16 14 4 13 , 17 22 39 →= 16 14 4 18 , 48 22 35 →= 49 14 4 36 , 48 22 37 →= 49 14 4 3 , 48 22 38 →= 49 14 4 13 , 48 22 39 →= 49 14 4 18 , 39 22 35 →= 38 14 4 36 , 39 22 37 →= 38 14 4 3 , 39 22 38 →= 38 14 4 13 , 39 22 39 →= 38 14 4 18 , 50 22 35 →= 51 14 4 36 , 50 22 37 →= 51 14 4 3 , 50 22 38 →= 51 14 4 13 , 50 22 39 →= 51 14 4 18 , 52 22 35 →= 53 14 4 36 , 52 22 37 →= 53 14 4 3 , 52 22 38 →= 53 14 4 13 , 52 22 39 →= 53 14 4 18 , 18 24 41 →= 13 14 11 42 , 18 24 43 →= 13 14 11 21 , 18 24 44 →= 13 14 11 23 , 18 24 45 →= 13 14 11 25 , 17 24 41 →= 16 14 11 42 , 17 24 43 →= 16 14 11 21 , 17 24 44 →= 16 14 11 23 , 17 24 45 →= 16 14 11 25 , 48 24 41 →= 49 14 11 42 , 48 24 43 →= 49 14 11 21 , 48 24 44 →= 49 14 11 23 , 48 24 45 →= 49 14 11 25 , 39 24 41 →= 38 14 11 42 , 39 24 43 →= 38 14 11 21 , 39 24 44 →= 38 14 11 23 , 39 24 45 →= 38 14 11 25 , 50 24 41 →= 51 14 11 42 , 50 24 43 →= 51 14 11 21 , 50 24 44 →= 51 14 11 23 , 50 24 45 →= 51 14 11 25 , 52 24 41 →= 53 14 11 42 , 52 24 43 →= 53 14 11 21 , 52 24 44 →= 53 14 11 23 , 52 24 45 →= 53 14 11 25 , 40 43 28 →= 34 37 9 31 , 40 43 15 →= 34 37 9 8 , 40 43 7 →= 34 37 9 10 , 40 43 20 →= 34 37 9 12 , 24 43 28 →= 22 37 9 31 , 24 43 15 →= 22 37 9 8 , 24 43 7 →= 22 37 9 10 , 24 43 20 →= 22 37 9 12 , 25 43 28 →= 23 37 9 31 , 25 43 15 →= 23 37 9 8 , 25 43 7 →= 23 37 9 10 , 25 43 20 →= 23 37 9 12 , 45 43 28 →= 44 37 9 31 , 45 43 15 →= 44 37 9 8 , 45 43 7 →= 44 37 9 10 , 45 43 20 →= 44 37 9 12 , 54 43 28 →= 55 37 9 31 , 54 43 15 →= 55 37 9 8 , 54 43 7 →= 55 37 9 10 , 54 43 20 →= 55 37 9 12 , 56 43 28 →= 57 37 9 31 , 56 43 15 →= 57 37 9 8 , 56 43 7 →= 57 37 9 10 , 56 43 20 →= 57 37 9 12 , 40 44 35 →= 34 37 4 36 , 40 44 37 →= 34 37 4 3 , 40 44 38 →= 34 37 4 13 , 40 44 39 →= 34 37 4 18 , 24 44 35 →= 22 37 4 36 , 24 44 37 →= 22 37 4 3 , 24 44 38 →= 22 37 4 13 , 24 44 39 →= 22 37 4 18 , 25 44 35 →= 23 37 4 36 , 25 44 37 →= 23 37 4 3 , 25 44 38 →= 23 37 4 13 , 25 44 39 →= 23 37 4 18 , 45 44 35 →= 44 37 4 36 , 45 44 37 →= 44 37 4 3 , 45 44 38 →= 44 37 4 13 , 45 44 39 →= 44 37 4 18 , 54 44 35 →= 55 37 4 36 , 54 44 37 →= 55 37 4 3 , 54 44 38 →= 55 37 4 13 , 54 44 39 →= 55 37 4 18 , 56 44 35 →= 57 37 4 36 , 56 44 37 →= 57 37 4 3 , 56 44 38 →= 57 37 4 13 , 56 44 39 →= 57 37 4 18 , 40 45 41 →= 34 37 11 42 , 40 45 43 →= 34 37 11 21 , 40 45 44 →= 34 37 11 23 , 40 45 45 →= 34 37 11 25 , 24 45 41 →= 22 37 11 42 , 24 45 43 →= 22 37 11 21 , 24 45 44 →= 22 37 11 23 , 24 45 45 →= 22 37 11 25 , 25 45 41 →= 23 37 11 42 , 25 45 43 →= 23 37 11 21 , 25 45 44 →= 23 37 11 23 , 25 45 45 →= 23 37 11 25 , 45 45 41 →= 44 37 11 42 , 45 45 43 →= 44 37 11 21 , 45 45 44 →= 44 37 11 23 , 45 45 45 →= 44 37 11 25 , 54 45 41 →= 55 37 11 42 , 54 45 43 →= 55 37 11 21 , 54 45 44 →= 55 37 11 23 , 54 45 45 →= 55 37 11 25 , 56 45 41 →= 57 37 11 42 , 56 45 43 →= 57 37 11 21 , 56 45 44 →= 57 37 11 23 , 56 45 45 →= 57 37 11 25 , 58 59 28 →= 60 61 9 31 , 58 59 15 →= 60 61 9 8 , 58 59 7 →= 60 61 9 10 , 58 59 20 →= 60 61 9 12 , 58 55 35 →= 60 61 4 36 , 58 55 37 →= 60 61 4 3 , 58 55 38 →= 60 61 4 13 , 58 55 39 →= 60 61 4 18 , 58 54 41 →= 60 61 11 42 , 58 54 43 →= 60 61 11 21 , 58 54 44 →= 60 61 11 23 , 58 54 45 →= 60 61 11 25 , 5 6 15 3 4 →= 29 48 24 43 7 8 , 5 6 15 3 9 →= 29 48 24 43 7 10 , 5 6 15 3 11 →= 29 48 24 43 7 12 , 32 6 15 3 4 →= 33 48 24 43 7 8 , 32 6 15 3 9 →= 33 48 24 43 7 10 , 32 6 15 3 11 →= 33 48 24 43 7 12 , 5 6 15 13 14 →= 29 48 24 43 15 3 , 5 6 15 13 16 →= 29 48 24 43 15 13 , 5 6 15 13 17 →= 29 48 24 43 15 18 , 32 6 15 13 14 →= 33 48 24 43 15 3 , 32 6 15 13 16 →= 33 48 24 43 15 13 , 32 6 15 13 17 →= 33 48 24 43 15 18 , 5 6 15 18 19 →= 29 48 24 43 20 21 , 5 6 15 18 22 →= 29 48 24 43 20 23 , 5 6 15 18 24 →= 29 48 24 43 20 25 , 32 6 15 18 19 →= 33 48 24 43 20 21 , 32 6 15 18 22 →= 33 48 24 43 20 23 , 32 6 15 18 24 →= 33 48 24 43 20 25 , 27 21 15 3 4 →= 2 18 24 43 7 8 , 27 21 15 3 9 →= 2 18 24 43 7 10 , 27 21 15 3 11 →= 2 18 24 43 7 12 , 11 21 15 3 4 →= 4 18 24 43 7 8 , 11 21 15 3 9 →= 4 18 24 43 7 10 , 11 21 15 3 11 →= 4 18 24 43 7 12 , 20 21 15 3 4 →= 15 18 24 43 7 8 , 20 21 15 3 9 →= 15 18 24 43 7 10 , 20 21 15 3 11 →= 15 18 24 43 7 12 , 12 21 15 3 4 →= 8 18 24 43 7 8 , 12 21 15 3 9 →= 8 18 24 43 7 10 , 12 21 15 3 11 →= 8 18 24 43 7 12 , 46 21 15 3 4 →= 47 18 24 43 7 8 , 46 21 15 3 9 →= 47 18 24 43 7 10 , 46 21 15 3 11 →= 47 18 24 43 7 12 , 27 21 15 13 14 →= 2 18 24 43 15 3 , 27 21 15 13 16 →= 2 18 24 43 15 13 , 27 21 15 13 17 →= 2 18 24 43 15 18 , 11 21 15 13 14 →= 4 18 24 43 15 3 , 11 21 15 13 16 →= 4 18 24 43 15 13 , 11 21 15 13 17 →= 4 18 24 43 15 18 , 20 21 15 13 14 →= 15 18 24 43 15 3 , 20 21 15 13 16 →= 15 18 24 43 15 13 , 20 21 15 13 17 →= 15 18 24 43 15 18 , 12 21 15 13 14 →= 8 18 24 43 15 3 , 12 21 15 13 16 →= 8 18 24 43 15 13 , 12 21 15 13 17 →= 8 18 24 43 15 18 , 46 21 15 13 14 →= 47 18 24 43 15 3 , 46 21 15 13 16 →= 47 18 24 43 15 13 , 46 21 15 13 17 →= 47 18 24 43 15 18 , 27 21 15 18 19 →= 2 18 24 43 20 21 , 27 21 15 18 22 →= 2 18 24 43 20 23 , 27 21 15 18 24 →= 2 18 24 43 20 25 , 11 21 15 18 19 →= 4 18 24 43 20 21 , 11 21 15 18 22 →= 4 18 24 43 20 23 , 11 21 15 18 24 →= 4 18 24 43 20 25 , 20 21 15 18 19 →= 15 18 24 43 20 21 , 20 21 15 18 22 →= 15 18 24 43 20 23 , 20 21 15 18 24 →= 15 18 24 43 20 25 , 12 21 15 18 19 →= 8 18 24 43 20 21 , 12 21 15 18 22 →= 8 18 24 43 20 23 , 12 21 15 18 24 →= 8 18 24 43 20 25 , 46 21 15 18 19 →= 47 18 24 43 20 21 , 46 21 15 18 22 →= 47 18 24 43 20 23 , 46 21 15 18 24 →= 47 18 24 43 20 25 , 18 19 15 3 4 →= 13 17 24 43 7 8 , 18 19 15 3 9 →= 13 17 24 43 7 10 , 18 19 15 3 11 →= 13 17 24 43 7 12 , 17 19 15 3 4 →= 16 17 24 43 7 8 , 17 19 15 3 9 →= 16 17 24 43 7 10 , 17 19 15 3 11 →= 16 17 24 43 7 12 , 48 19 15 3 4 →= 49 17 24 43 7 8 , 48 19 15 3 9 →= 49 17 24 43 7 10 , 48 19 15 3 11 →= 49 17 24 43 7 12 , 39 19 15 3 4 →= 38 17 24 43 7 8 , 39 19 15 3 9 →= 38 17 24 43 7 10 , 39 19 15 3 11 →= 38 17 24 43 7 12 , 50 19 15 3 4 →= 51 17 24 43 7 8 , 50 19 15 3 9 →= 51 17 24 43 7 10 , 50 19 15 3 11 →= 51 17 24 43 7 12 , 52 19 15 3 4 →= 53 17 24 43 7 8 , 52 19 15 3 9 →= 53 17 24 43 7 10 , 52 19 15 3 11 →= 53 17 24 43 7 12 , 18 19 15 13 14 →= 13 17 24 43 15 3 , 18 19 15 13 16 →= 13 17 24 43 15 13 , 18 19 15 13 17 →= 13 17 24 43 15 18 , 17 19 15 13 14 →= 16 17 24 43 15 3 , 17 19 15 13 16 →= 16 17 24 43 15 13 , 17 19 15 13 17 →= 16 17 24 43 15 18 , 48 19 15 13 14 →= 49 17 24 43 15 3 , 48 19 15 13 16 →= 49 17 24 43 15 13 , 48 19 15 13 17 →= 49 17 24 43 15 18 , 39 19 15 13 14 →= 38 17 24 43 15 3 , 39 19 15 13 16 →= 38 17 24 43 15 13 , 39 19 15 13 17 →= 38 17 24 43 15 18 , 50 19 15 13 14 →= 51 17 24 43 15 3 , 50 19 15 13 16 →= 51 17 24 43 15 13 , 50 19 15 13 17 →= 51 17 24 43 15 18 , 52 19 15 13 14 →= 53 17 24 43 15 3 , 52 19 15 13 16 →= 53 17 24 43 15 13 , 52 19 15 13 17 →= 53 17 24 43 15 18 , 18 19 15 18 19 →= 13 17 24 43 20 21 , 18 19 15 18 22 →= 13 17 24 43 20 23 , 18 19 15 18 24 →= 13 17 24 43 20 25 , 17 19 15 18 19 →= 16 17 24 43 20 21 , 17 19 15 18 22 →= 16 17 24 43 20 23 , 17 19 15 18 24 →= 16 17 24 43 20 25 , 48 19 15 18 19 →= 49 17 24 43 20 21 , 48 19 15 18 22 →= 49 17 24 43 20 23 , 48 19 15 18 24 →= 49 17 24 43 20 25 , 39 19 15 18 19 →= 38 17 24 43 20 21 , 39 19 15 18 22 →= 38 17 24 43 20 23 , 39 19 15 18 24 →= 38 17 24 43 20 25 , 50 19 15 18 19 →= 51 17 24 43 20 21 , 50 19 15 18 22 →= 51 17 24 43 20 23 , 50 19 15 18 24 →= 51 17 24 43 20 25 , 52 19 15 18 19 →= 53 17 24 43 20 21 , 52 19 15 18 22 →= 53 17 24 43 20 23 , 52 19 15 18 24 →= 53 17 24 43 20 25 , 40 43 15 3 4 →= 34 39 24 43 7 8 , 40 43 15 3 9 →= 34 39 24 43 7 10 , 40 43 15 3 11 →= 34 39 24 43 7 12 , 24 43 15 3 4 →= 22 39 24 43 7 8 , 24 43 15 3 9 →= 22 39 24 43 7 10 , 24 43 15 3 11 →= 22 39 24 43 7 12 , 25 43 15 3 4 →= 23 39 24 43 7 8 , 25 43 15 3 9 →= 23 39 24 43 7 10 , 25 43 15 3 11 →= 23 39 24 43 7 12 , 45 43 15 3 4 →= 44 39 24 43 7 8 , 45 43 15 3 9 →= 44 39 24 43 7 10 , 45 43 15 3 11 →= 44 39 24 43 7 12 , 54 43 15 3 4 →= 55 39 24 43 7 8 , 54 43 15 3 9 →= 55 39 24 43 7 10 , 54 43 15 3 11 →= 55 39 24 43 7 12 , 56 43 15 3 4 →= 57 39 24 43 7 8 , 56 43 15 3 9 →= 57 39 24 43 7 10 , 56 43 15 3 11 →= 57 39 24 43 7 12 , 40 43 15 13 14 →= 34 39 24 43 15 3 , 40 43 15 13 16 →= 34 39 24 43 15 13 , 40 43 15 13 17 →= 34 39 24 43 15 18 , 24 43 15 13 14 →= 22 39 24 43 15 3 , 24 43 15 13 16 →= 22 39 24 43 15 13 , 24 43 15 13 17 →= 22 39 24 43 15 18 , 25 43 15 13 14 →= 23 39 24 43 15 3 , 25 43 15 13 16 →= 23 39 24 43 15 13 , 25 43 15 13 17 →= 23 39 24 43 15 18 , 45 43 15 13 14 →= 44 39 24 43 15 3 , 45 43 15 13 16 →= 44 39 24 43 15 13 , 45 43 15 13 17 →= 44 39 24 43 15 18 , 54 43 15 13 14 →= 55 39 24 43 15 3 , 54 43 15 13 16 →= 55 39 24 43 15 13 , 54 43 15 13 17 →= 55 39 24 43 15 18 , 56 43 15 13 14 →= 57 39 24 43 15 3 , 56 43 15 13 16 →= 57 39 24 43 15 13 , 56 43 15 13 17 →= 57 39 24 43 15 18 , 40 43 15 18 19 →= 34 39 24 43 20 21 , 40 43 15 18 22 →= 34 39 24 43 20 23 , 40 43 15 18 24 →= 34 39 24 43 20 25 , 24 43 15 18 19 →= 22 39 24 43 20 21 , 24 43 15 18 22 →= 22 39 24 43 20 23 , 24 43 15 18 24 →= 22 39 24 43 20 25 , 25 43 15 18 19 →= 23 39 24 43 20 21 , 25 43 15 18 22 →= 23 39 24 43 20 23 , 25 43 15 18 24 →= 23 39 24 43 20 25 , 45 43 15 18 19 →= 44 39 24 43 20 21 , 45 43 15 18 22 →= 44 39 24 43 20 23 , 45 43 15 18 24 →= 44 39 24 43 20 25 , 54 43 15 18 19 →= 55 39 24 43 20 21 , 54 43 15 18 22 →= 55 39 24 43 20 23 , 54 43 15 18 24 →= 55 39 24 43 20 25 , 56 43 15 18 19 →= 57 39 24 43 20 21 , 56 43 15 18 22 →= 57 39 24 43 20 23 , 56 43 15 18 24 →= 57 39 24 43 20 25 , 58 59 15 3 4 →= 60 50 24 43 7 8 , 58 59 15 3 9 →= 60 50 24 43 7 10 , 58 59 15 3 11 →= 60 50 24 43 7 12 , 58 59 15 13 14 →= 60 50 24 43 15 3 , 58 59 15 13 16 →= 60 50 24 43 15 13 , 58 59 15 13 17 →= 60 50 24 43 15 18 , 58 59 15 18 19 →= 60 50 24 43 20 21 , 58 59 15 18 22 →= 60 50 24 43 20 23 , 58 59 15 18 24 →= 60 50 24 43 20 25 , 29 49 14 4 →= 1 2 , 29 49 14 9 →= 1 26 , 29 49 14 11 →= 1 27 , 33 49 14 4 →= 62 2 , 33 49 14 9 →= 62 26 , 33 49 14 11 →= 62 27 , 29 49 16 14 →= 29 30 , 29 49 16 16 →= 29 49 , 29 49 16 17 →= 29 48 , 33 49 16 14 →= 33 30 , 33 49 16 16 →= 33 49 , 33 49 16 17 →= 33 48 , 29 49 17 19 →= 5 6 , 29 49 17 22 →= 5 34 , 29 49 17 24 →= 5 40 , 33 49 17 19 →= 32 6 , 33 49 17 22 →= 32 34 , 33 49 17 24 →= 32 40 , 2 13 14 4 →= 26 8 , 2 13 14 9 →= 26 10 , 2 13 14 11 →= 26 12 , 4 13 14 4 →= 9 8 , 4 13 14 9 →= 9 10 , 4 13 14 11 →= 9 12 , 15 13 14 4 →= 7 8 , 15 13 14 9 →= 7 10 , 15 13 14 11 →= 7 12 , 8 13 14 4 →= 10 8 , 8 13 14 9 →= 10 10 , 8 13 14 11 →= 10 12 , 47 13 14 4 →= 63 8 , 47 13 14 9 →= 63 10 , 47 13 14 11 →= 63 12 , 2 13 16 14 →= 2 3 , 2 13 16 16 →= 2 13 , 2 13 16 17 →= 2 18 , 4 13 16 14 →= 4 3 , 4 13 16 16 →= 4 13 , 4 13 16 17 →= 4 18 , 15 13 16 14 →= 15 3 , 15 13 16 16 →= 15 13 , 15 13 16 17 →= 15 18 , 8 13 16 14 →= 8 3 , 8 13 16 16 →= 8 13 , 8 13 16 17 →= 8 18 , 47 13 16 14 →= 47 3 , 47 13 16 16 →= 47 13 , 47 13 16 17 →= 47 18 , 2 13 17 19 →= 27 21 , 2 13 17 22 →= 27 23 , 2 13 17 24 →= 27 25 , 4 13 17 19 →= 11 21 , 4 13 17 22 →= 11 23 , 4 13 17 24 →= 11 25 , 15 13 17 19 →= 20 21 , 15 13 17 22 →= 20 23 , 15 13 17 24 →= 20 25 , 8 13 17 19 →= 12 21 , 8 13 17 22 →= 12 23 , 8 13 17 24 →= 12 25 , 47 13 17 19 →= 46 21 , 47 13 17 22 →= 46 23 , 47 13 17 24 →= 46 25 , 13 16 14 64 →= 3 64 , 13 16 14 4 →= 3 4 , 13 16 14 9 →= 3 9 , 13 16 14 11 →= 3 11 , 16 16 14 64 →= 14 64 , 16 16 14 4 →= 14 4 , 16 16 14 9 →= 14 9 , 16 16 14 11 →= 14 11 , 49 16 14 64 →= 30 64 , 49 16 14 4 →= 30 4 , 49 16 14 9 →= 30 9 , 49 16 14 11 →= 30 11 , 38 16 14 64 →= 37 64 , 38 16 14 4 →= 37 4 , 38 16 14 9 →= 37 9 , 38 16 14 11 →= 37 11 , 51 16 14 64 →= 61 64 , 51 16 14 4 →= 61 4 , 51 16 14 9 →= 61 9 , 51 16 14 11 →= 61 11 , 53 16 14 64 →= 65 64 , 53 16 14 4 →= 65 4 , 53 16 14 9 →= 65 9 , 53 16 14 11 →= 65 11 , 13 16 16 66 →= 13 66 , 13 16 16 14 →= 13 14 , 13 16 16 16 →= 13 16 , 13 16 16 17 →= 13 17 , 16 16 16 66 →= 16 66 , 16 16 16 14 →= 16 14 , 16 16 16 16 →= 16 16 , 16 16 16 17 →= 16 17 , 49 16 16 66 →= 49 66 , 49 16 16 14 →= 49 14 , 49 16 16 16 →= 49 16 , 49 16 16 17 →= 49 17 , 38 16 16 66 →= 38 66 , 38 16 16 14 →= 38 14 , 38 16 16 16 →= 38 16 , 38 16 16 17 →= 38 17 , 51 16 16 66 →= 51 66 , 51 16 16 14 →= 51 14 , 51 16 16 16 →= 51 16 , 51 16 16 17 →= 51 17 , 53 16 16 66 →= 53 66 , 53 16 16 14 →= 53 14 , 53 16 16 16 →= 53 16 , 53 16 16 17 →= 53 17 , 13 16 17 67 →= 18 67 , 13 16 17 19 →= 18 19 , 13 16 17 22 →= 18 22 , 13 16 17 24 →= 18 24 , 16 16 17 67 →= 17 67 , 16 16 17 19 →= 17 19 , 16 16 17 22 →= 17 22 , 16 16 17 24 →= 17 24 , 49 16 17 67 →= 48 67 , 49 16 17 19 →= 48 19 , 49 16 17 22 →= 48 22 , 49 16 17 24 →= 48 24 , 38 16 17 67 →= 39 67 , 38 16 17 19 →= 39 19 , 38 16 17 22 →= 39 22 , 38 16 17 24 →= 39 24 , 51 16 17 67 →= 50 67 , 51 16 17 19 →= 50 19 , 51 16 17 22 →= 50 22 , 51 16 17 24 →= 50 24 , 53 16 17 67 →= 52 67 , 53 16 17 19 →= 52 19 , 53 16 17 22 →= 52 22 , 53 16 17 24 →= 52 24 , 34 38 14 4 →= 6 15 , 34 38 14 9 →= 6 7 , 34 38 14 11 →= 6 20 , 22 38 14 4 →= 19 15 , 22 38 14 9 →= 19 7 , 22 38 14 11 →= 19 20 , 23 38 14 4 →= 21 15 , 23 38 14 9 →= 21 7 , 23 38 14 11 →= 21 20 , 44 38 14 4 →= 43 15 , 44 38 14 9 →= 43 7 , 44 38 14 11 →= 43 20 , 55 38 14 4 →= 59 15 , 55 38 14 9 →= 59 7 , 55 38 14 11 →= 59 20 , 57 38 14 4 →= 68 15 , 57 38 14 9 →= 68 7 , 57 38 14 11 →= 68 20 , 34 38 16 14 →= 34 37 , 34 38 16 16 →= 34 38 , 34 38 16 17 →= 34 39 , 22 38 16 14 →= 22 37 , 22 38 16 16 →= 22 38 , 22 38 16 17 →= 22 39 , 23 38 16 14 →= 23 37 , 23 38 16 16 →= 23 38 , 23 38 16 17 →= 23 39 , 44 38 16 14 →= 44 37 , 44 38 16 16 →= 44 38 , 44 38 16 17 →= 44 39 , 55 38 16 14 →= 55 37 , 55 38 16 16 →= 55 38 , 55 38 16 17 →= 55 39 , 57 38 16 14 →= 57 37 , 57 38 16 16 →= 57 38 , 57 38 16 17 →= 57 39 , 34 38 17 19 →= 40 43 , 34 38 17 22 →= 40 44 , 34 38 17 24 →= 40 45 , 22 38 17 19 →= 24 43 , 22 38 17 22 →= 24 44 , 22 38 17 24 →= 24 45 , 23 38 17 19 →= 25 43 , 23 38 17 22 →= 25 44 , 23 38 17 24 →= 25 45 , 44 38 17 19 →= 45 43 , 44 38 17 22 →= 45 44 , 44 38 17 24 →= 45 45 , 55 38 17 19 →= 54 43 , 55 38 17 22 →= 54 44 , 55 38 17 24 →= 54 45 , 57 38 17 19 →= 56 43 , 57 38 17 22 →= 56 44 , 57 38 17 24 →= 56 45 , 60 51 16 14 →= 60 61 , 60 51 16 16 →= 60 51 , 60 51 16 17 →= 60 50 , 60 51 17 19 →= 58 59 , 60 51 17 22 →= 58 55 , 60 51 17 24 →= 58 54 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 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 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 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 1 ⎟ ⎜ 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 1 ⎟ ⎜ 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 1 ⎟ ⎜ 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 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 65 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 66 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 67 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 68 ↦ ⎛ ⎞ ⎜ 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, 29 ↦ 28, 30 ↦ 29, 32 ↦ 30, 33 ↦ 31, 34 ↦ 32, 37 ↦ 33, 38 ↦ 34, 39 ↦ 35, 40 ↦ 36, 43 ↦ 37, 44 ↦ 38, 45 ↦ 39, 46 ↦ 40, 47 ↦ 41, 48 ↦ 42, 49 ↦ 43, 50 ↦ 44, 51 ↦ 45, 52 ↦ 46, 53 ↦ 47, 54 ↦ 48, 55 ↦ 49, 56 ↦ 50, 57 ↦ 51, 58 ↦ 52, 59 ↦ 53, 60 ↦ 54, 61 ↦ 55, 62 ↦ 56, 63 ↦ 57, 64 ↦ 58, 65 ↦ 59, 66 ↦ 60, 67 ↦ 61, 68 ↦ 62 }, it remains to prove termination of the 573-rule system { 0 1 2 3 4 ⟶ 0 5 6 7 8 , 0 1 2 3 9 ⟶ 0 5 6 7 10 , 0 1 2 3 11 ⟶ 0 5 6 7 12 , 0 1 2 13 14 ⟶ 0 5 6 15 3 , 0 1 2 13 16 ⟶ 0 5 6 15 13 , 0 1 2 13 17 ⟶ 0 5 6 15 18 , 0 1 2 18 19 ⟶ 0 5 6 20 21 , 0 1 2 18 22 ⟶ 0 5 6 20 23 , 0 1 2 18 24 ⟶ 0 5 6 20 25 , 0 1 2 3 4 ⟶ 0 1 26 8 , 0 1 2 3 9 ⟶ 0 1 26 10 , 0 1 2 3 11 ⟶ 0 1 26 12 , 0 1 2 13 14 ⟶ 0 1 2 3 , 0 1 2 13 16 ⟶ 0 1 2 13 , 0 1 2 13 17 ⟶ 0 1 2 18 , 0 1 2 18 19 ⟶ 0 1 27 21 , 0 1 2 18 22 ⟶ 0 1 27 23 , 0 1 2 18 24 ⟶ 0 1 27 25 , 5 6 15 →= 28 29 9 8 , 5 6 7 →= 28 29 9 10 , 5 6 20 →= 28 29 9 12 , 30 6 15 →= 31 29 9 8 , 30 6 7 →= 31 29 9 10 , 30 6 20 →= 31 29 9 12 , 5 32 33 →= 28 29 4 3 , 5 32 34 →= 28 29 4 13 , 5 32 35 →= 28 29 4 18 , 30 32 33 →= 31 29 4 3 , 30 32 34 →= 31 29 4 13 , 30 32 35 →= 31 29 4 18 , 5 36 37 →= 28 29 11 21 , 5 36 38 →= 28 29 11 23 , 5 36 39 →= 28 29 11 25 , 30 36 37 →= 31 29 11 21 , 30 36 38 →= 31 29 11 23 , 30 36 39 →= 31 29 11 25 , 27 21 15 →= 2 3 9 8 , 27 21 7 →= 2 3 9 10 , 27 21 20 →= 2 3 9 12 , 11 21 15 →= 4 3 9 8 , 11 21 7 →= 4 3 9 10 , 11 21 20 →= 4 3 9 12 , 20 21 15 →= 15 3 9 8 , 20 21 7 →= 15 3 9 10 , 20 21 20 →= 15 3 9 12 , 12 21 15 →= 8 3 9 8 , 12 21 7 →= 8 3 9 10 , 12 21 20 →= 8 3 9 12 , 40 21 15 →= 41 3 9 8 , 40 21 7 →= 41 3 9 10 , 40 21 20 →= 41 3 9 12 , 27 23 33 →= 2 3 4 3 , 27 23 34 →= 2 3 4 13 , 27 23 35 →= 2 3 4 18 , 11 23 33 →= 4 3 4 3 , 11 23 34 →= 4 3 4 13 , 11 23 35 →= 4 3 4 18 , 20 23 33 →= 15 3 4 3 , 20 23 34 →= 15 3 4 13 , 20 23 35 →= 15 3 4 18 , 12 23 33 →= 8 3 4 3 , 12 23 34 →= 8 3 4 13 , 12 23 35 →= 8 3 4 18 , 40 23 33 →= 41 3 4 3 , 40 23 34 →= 41 3 4 13 , 40 23 35 →= 41 3 4 18 , 27 25 37 →= 2 3 11 21 , 27 25 38 →= 2 3 11 23 , 27 25 39 →= 2 3 11 25 , 11 25 37 →= 4 3 11 21 , 11 25 38 →= 4 3 11 23 , 11 25 39 →= 4 3 11 25 , 20 25 37 →= 15 3 11 21 , 20 25 38 →= 15 3 11 23 , 20 25 39 →= 15 3 11 25 , 12 25 37 →= 8 3 11 21 , 12 25 38 →= 8 3 11 23 , 12 25 39 →= 8 3 11 25 , 40 25 37 →= 41 3 11 21 , 40 25 38 →= 41 3 11 23 , 40 25 39 →= 41 3 11 25 , 18 19 15 →= 13 14 9 8 , 18 19 7 →= 13 14 9 10 , 18 19 20 →= 13 14 9 12 , 17 19 15 →= 16 14 9 8 , 17 19 7 →= 16 14 9 10 , 17 19 20 →= 16 14 9 12 , 42 19 15 →= 43 14 9 8 , 42 19 7 →= 43 14 9 10 , 42 19 20 →= 43 14 9 12 , 35 19 15 →= 34 14 9 8 , 35 19 7 →= 34 14 9 10 , 35 19 20 →= 34 14 9 12 , 44 19 15 →= 45 14 9 8 , 44 19 7 →= 45 14 9 10 , 44 19 20 →= 45 14 9 12 , 46 19 15 →= 47 14 9 8 , 46 19 7 →= 47 14 9 10 , 46 19 20 →= 47 14 9 12 , 18 22 33 →= 13 14 4 3 , 18 22 34 →= 13 14 4 13 , 18 22 35 →= 13 14 4 18 , 17 22 33 →= 16 14 4 3 , 17 22 34 →= 16 14 4 13 , 17 22 35 →= 16 14 4 18 , 42 22 33 →= 43 14 4 3 , 42 22 34 →= 43 14 4 13 , 42 22 35 →= 43 14 4 18 , 35 22 33 →= 34 14 4 3 , 35 22 34 →= 34 14 4 13 , 35 22 35 →= 34 14 4 18 , 44 22 33 →= 45 14 4 3 , 44 22 34 →= 45 14 4 13 , 44 22 35 →= 45 14 4 18 , 46 22 33 →= 47 14 4 3 , 46 22 34 →= 47 14 4 13 , 46 22 35 →= 47 14 4 18 , 18 24 37 →= 13 14 11 21 , 18 24 38 →= 13 14 11 23 , 18 24 39 →= 13 14 11 25 , 17 24 37 →= 16 14 11 21 , 17 24 38 →= 16 14 11 23 , 17 24 39 →= 16 14 11 25 , 42 24 37 →= 43 14 11 21 , 42 24 38 →= 43 14 11 23 , 42 24 39 →= 43 14 11 25 , 35 24 37 →= 34 14 11 21 , 35 24 38 →= 34 14 11 23 , 35 24 39 →= 34 14 11 25 , 44 24 37 →= 45 14 11 21 , 44 24 38 →= 45 14 11 23 , 44 24 39 →= 45 14 11 25 , 46 24 37 →= 47 14 11 21 , 46 24 38 →= 47 14 11 23 , 46 24 39 →= 47 14 11 25 , 36 37 15 →= 32 33 9 8 , 36 37 7 →= 32 33 9 10 , 36 37 20 →= 32 33 9 12 , 24 37 15 →= 22 33 9 8 , 24 37 7 →= 22 33 9 10 , 24 37 20 →= 22 33 9 12 , 25 37 15 →= 23 33 9 8 , 25 37 7 →= 23 33 9 10 , 25 37 20 →= 23 33 9 12 , 39 37 15 →= 38 33 9 8 , 39 37 7 →= 38 33 9 10 , 39 37 20 →= 38 33 9 12 , 48 37 15 →= 49 33 9 8 , 48 37 7 →= 49 33 9 10 , 48 37 20 →= 49 33 9 12 , 50 37 15 →= 51 33 9 8 , 50 37 7 →= 51 33 9 10 , 50 37 20 →= 51 33 9 12 , 36 38 33 →= 32 33 4 3 , 36 38 34 →= 32 33 4 13 , 36 38 35 →= 32 33 4 18 , 24 38 33 →= 22 33 4 3 , 24 38 34 →= 22 33 4 13 , 24 38 35 →= 22 33 4 18 , 25 38 33 →= 23 33 4 3 , 25 38 34 →= 23 33 4 13 , 25 38 35 →= 23 33 4 18 , 39 38 33 →= 38 33 4 3 , 39 38 34 →= 38 33 4 13 , 39 38 35 →= 38 33 4 18 , 48 38 33 →= 49 33 4 3 , 48 38 34 →= 49 33 4 13 , 48 38 35 →= 49 33 4 18 , 50 38 33 →= 51 33 4 3 , 50 38 34 →= 51 33 4 13 , 50 38 35 →= 51 33 4 18 , 36 39 37 →= 32 33 11 21 , 36 39 38 →= 32 33 11 23 , 36 39 39 →= 32 33 11 25 , 24 39 37 →= 22 33 11 21 , 24 39 38 →= 22 33 11 23 , 24 39 39 →= 22 33 11 25 , 25 39 37 →= 23 33 11 21 , 25 39 38 →= 23 33 11 23 , 25 39 39 →= 23 33 11 25 , 39 39 37 →= 38 33 11 21 , 39 39 38 →= 38 33 11 23 , 39 39 39 →= 38 33 11 25 , 48 39 37 →= 49 33 11 21 , 48 39 38 →= 49 33 11 23 , 48 39 39 →= 49 33 11 25 , 50 39 37 →= 51 33 11 21 , 50 39 38 →= 51 33 11 23 , 50 39 39 →= 51 33 11 25 , 52 53 15 →= 54 55 9 8 , 52 53 7 →= 54 55 9 10 , 52 53 20 →= 54 55 9 12 , 52 49 33 →= 54 55 4 3 , 52 49 34 →= 54 55 4 13 , 52 49 35 →= 54 55 4 18 , 52 48 37 →= 54 55 11 21 , 52 48 38 →= 54 55 11 23 , 52 48 39 →= 54 55 11 25 , 5 6 15 3 4 →= 28 42 24 37 7 8 , 5 6 15 3 9 →= 28 42 24 37 7 10 , 5 6 15 3 11 →= 28 42 24 37 7 12 , 30 6 15 3 4 →= 31 42 24 37 7 8 , 30 6 15 3 9 →= 31 42 24 37 7 10 , 30 6 15 3 11 →= 31 42 24 37 7 12 , 5 6 15 13 14 →= 28 42 24 37 15 3 , 5 6 15 13 16 →= 28 42 24 37 15 13 , 5 6 15 13 17 →= 28 42 24 37 15 18 , 30 6 15 13 14 →= 31 42 24 37 15 3 , 30 6 15 13 16 →= 31 42 24 37 15 13 , 30 6 15 13 17 →= 31 42 24 37 15 18 , 5 6 15 18 19 →= 28 42 24 37 20 21 , 5 6 15 18 22 →= 28 42 24 37 20 23 , 5 6 15 18 24 →= 28 42 24 37 20 25 , 30 6 15 18 19 →= 31 42 24 37 20 21 , 30 6 15 18 22 →= 31 42 24 37 20 23 , 30 6 15 18 24 →= 31 42 24 37 20 25 , 27 21 15 3 4 →= 2 18 24 37 7 8 , 27 21 15 3 9 →= 2 18 24 37 7 10 , 27 21 15 3 11 →= 2 18 24 37 7 12 , 11 21 15 3 4 →= 4 18 24 37 7 8 , 11 21 15 3 9 →= 4 18 24 37 7 10 , 11 21 15 3 11 →= 4 18 24 37 7 12 , 20 21 15 3 4 →= 15 18 24 37 7 8 , 20 21 15 3 9 →= 15 18 24 37 7 10 , 20 21 15 3 11 →= 15 18 24 37 7 12 , 12 21 15 3 4 →= 8 18 24 37 7 8 , 12 21 15 3 9 →= 8 18 24 37 7 10 , 12 21 15 3 11 →= 8 18 24 37 7 12 , 40 21 15 3 4 →= 41 18 24 37 7 8 , 40 21 15 3 9 →= 41 18 24 37 7 10 , 40 21 15 3 11 →= 41 18 24 37 7 12 , 27 21 15 13 14 →= 2 18 24 37 15 3 , 27 21 15 13 16 →= 2 18 24 37 15 13 , 27 21 15 13 17 →= 2 18 24 37 15 18 , 11 21 15 13 14 →= 4 18 24 37 15 3 , 11 21 15 13 16 →= 4 18 24 37 15 13 , 11 21 15 13 17 →= 4 18 24 37 15 18 , 20 21 15 13 14 →= 15 18 24 37 15 3 , 20 21 15 13 16 →= 15 18 24 37 15 13 , 20 21 15 13 17 →= 15 18 24 37 15 18 , 12 21 15 13 14 →= 8 18 24 37 15 3 , 12 21 15 13 16 →= 8 18 24 37 15 13 , 12 21 15 13 17 →= 8 18 24 37 15 18 , 40 21 15 13 14 →= 41 18 24 37 15 3 , 40 21 15 13 16 →= 41 18 24 37 15 13 , 40 21 15 13 17 →= 41 18 24 37 15 18 , 27 21 15 18 19 →= 2 18 24 37 20 21 , 27 21 15 18 22 →= 2 18 24 37 20 23 , 27 21 15 18 24 →= 2 18 24 37 20 25 , 11 21 15 18 19 →= 4 18 24 37 20 21 , 11 21 15 18 22 →= 4 18 24 37 20 23 , 11 21 15 18 24 →= 4 18 24 37 20 25 , 20 21 15 18 19 →= 15 18 24 37 20 21 , 20 21 15 18 22 →= 15 18 24 37 20 23 , 20 21 15 18 24 →= 15 18 24 37 20 25 , 12 21 15 18 19 →= 8 18 24 37 20 21 , 12 21 15 18 22 →= 8 18 24 37 20 23 , 12 21 15 18 24 →= 8 18 24 37 20 25 , 40 21 15 18 19 →= 41 18 24 37 20 21 , 40 21 15 18 22 →= 41 18 24 37 20 23 , 40 21 15 18 24 →= 41 18 24 37 20 25 , 18 19 15 3 4 →= 13 17 24 37 7 8 , 18 19 15 3 9 →= 13 17 24 37 7 10 , 18 19 15 3 11 →= 13 17 24 37 7 12 , 17 19 15 3 4 →= 16 17 24 37 7 8 , 17 19 15 3 9 →= 16 17 24 37 7 10 , 17 19 15 3 11 →= 16 17 24 37 7 12 , 42 19 15 3 4 →= 43 17 24 37 7 8 , 42 19 15 3 9 →= 43 17 24 37 7 10 , 42 19 15 3 11 →= 43 17 24 37 7 12 , 35 19 15 3 4 →= 34 17 24 37 7 8 , 35 19 15 3 9 →= 34 17 24 37 7 10 , 35 19 15 3 11 →= 34 17 24 37 7 12 , 44 19 15 3 4 →= 45 17 24 37 7 8 , 44 19 15 3 9 →= 45 17 24 37 7 10 , 44 19 15 3 11 →= 45 17 24 37 7 12 , 46 19 15 3 4 →= 47 17 24 37 7 8 , 46 19 15 3 9 →= 47 17 24 37 7 10 , 46 19 15 3 11 →= 47 17 24 37 7 12 , 18 19 15 13 14 →= 13 17 24 37 15 3 , 18 19 15 13 16 →= 13 17 24 37 15 13 , 18 19 15 13 17 →= 13 17 24 37 15 18 , 17 19 15 13 14 →= 16 17 24 37 15 3 , 17 19 15 13 16 →= 16 17 24 37 15 13 , 17 19 15 13 17 →= 16 17 24 37 15 18 , 42 19 15 13 14 →= 43 17 24 37 15 3 , 42 19 15 13 16 →= 43 17 24 37 15 13 , 42 19 15 13 17 →= 43 17 24 37 15 18 , 35 19 15 13 14 →= 34 17 24 37 15 3 , 35 19 15 13 16 →= 34 17 24 37 15 13 , 35 19 15 13 17 →= 34 17 24 37 15 18 , 44 19 15 13 14 →= 45 17 24 37 15 3 , 44 19 15 13 16 →= 45 17 24 37 15 13 , 44 19 15 13 17 →= 45 17 24 37 15 18 , 46 19 15 13 14 →= 47 17 24 37 15 3 , 46 19 15 13 16 →= 47 17 24 37 15 13 , 46 19 15 13 17 →= 47 17 24 37 15 18 , 18 19 15 18 19 →= 13 17 24 37 20 21 , 18 19 15 18 22 →= 13 17 24 37 20 23 , 18 19 15 18 24 →= 13 17 24 37 20 25 , 17 19 15 18 19 →= 16 17 24 37 20 21 , 17 19 15 18 22 →= 16 17 24 37 20 23 , 17 19 15 18 24 →= 16 17 24 37 20 25 , 42 19 15 18 19 →= 43 17 24 37 20 21 , 42 19 15 18 22 →= 43 17 24 37 20 23 , 42 19 15 18 24 →= 43 17 24 37 20 25 , 35 19 15 18 19 →= 34 17 24 37 20 21 , 35 19 15 18 22 →= 34 17 24 37 20 23 , 35 19 15 18 24 →= 34 17 24 37 20 25 , 44 19 15 18 19 →= 45 17 24 37 20 21 , 44 19 15 18 22 →= 45 17 24 37 20 23 , 44 19 15 18 24 →= 45 17 24 37 20 25 , 46 19 15 18 19 →= 47 17 24 37 20 21 , 46 19 15 18 22 →= 47 17 24 37 20 23 , 46 19 15 18 24 →= 47 17 24 37 20 25 , 36 37 15 3 4 →= 32 35 24 37 7 8 , 36 37 15 3 9 →= 32 35 24 37 7 10 , 36 37 15 3 11 →= 32 35 24 37 7 12 , 24 37 15 3 4 →= 22 35 24 37 7 8 , 24 37 15 3 9 →= 22 35 24 37 7 10 , 24 37 15 3 11 →= 22 35 24 37 7 12 , 25 37 15 3 4 →= 23 35 24 37 7 8 , 25 37 15 3 9 →= 23 35 24 37 7 10 , 25 37 15 3 11 →= 23 35 24 37 7 12 , 39 37 15 3 4 →= 38 35 24 37 7 8 , 39 37 15 3 9 →= 38 35 24 37 7 10 , 39 37 15 3 11 →= 38 35 24 37 7 12 , 48 37 15 3 4 →= 49 35 24 37 7 8 , 48 37 15 3 9 →= 49 35 24 37 7 10 , 48 37 15 3 11 →= 49 35 24 37 7 12 , 50 37 15 3 4 →= 51 35 24 37 7 8 , 50 37 15 3 9 →= 51 35 24 37 7 10 , 50 37 15 3 11 →= 51 35 24 37 7 12 , 36 37 15 13 14 →= 32 35 24 37 15 3 , 36 37 15 13 16 →= 32 35 24 37 15 13 , 36 37 15 13 17 →= 32 35 24 37 15 18 , 24 37 15 13 14 →= 22 35 24 37 15 3 , 24 37 15 13 16 →= 22 35 24 37 15 13 , 24 37 15 13 17 →= 22 35 24 37 15 18 , 25 37 15 13 14 →= 23 35 24 37 15 3 , 25 37 15 13 16 →= 23 35 24 37 15 13 , 25 37 15 13 17 →= 23 35 24 37 15 18 , 39 37 15 13 14 →= 38 35 24 37 15 3 , 39 37 15 13 16 →= 38 35 24 37 15 13 , 39 37 15 13 17 →= 38 35 24 37 15 18 , 48 37 15 13 14 →= 49 35 24 37 15 3 , 48 37 15 13 16 →= 49 35 24 37 15 13 , 48 37 15 13 17 →= 49 35 24 37 15 18 , 50 37 15 13 14 →= 51 35 24 37 15 3 , 50 37 15 13 16 →= 51 35 24 37 15 13 , 50 37 15 13 17 →= 51 35 24 37 15 18 , 36 37 15 18 19 →= 32 35 24 37 20 21 , 36 37 15 18 22 →= 32 35 24 37 20 23 , 36 37 15 18 24 →= 32 35 24 37 20 25 , 24 37 15 18 19 →= 22 35 24 37 20 21 , 24 37 15 18 22 →= 22 35 24 37 20 23 , 24 37 15 18 24 →= 22 35 24 37 20 25 , 25 37 15 18 19 →= 23 35 24 37 20 21 , 25 37 15 18 22 →= 23 35 24 37 20 23 , 25 37 15 18 24 →= 23 35 24 37 20 25 , 39 37 15 18 19 →= 38 35 24 37 20 21 , 39 37 15 18 22 →= 38 35 24 37 20 23 , 39 37 15 18 24 →= 38 35 24 37 20 25 , 48 37 15 18 19 →= 49 35 24 37 20 21 , 48 37 15 18 22 →= 49 35 24 37 20 23 , 48 37 15 18 24 →= 49 35 24 37 20 25 , 50 37 15 18 19 →= 51 35 24 37 20 21 , 50 37 15 18 22 →= 51 35 24 37 20 23 , 50 37 15 18 24 →= 51 35 24 37 20 25 , 52 53 15 3 4 →= 54 44 24 37 7 8 , 52 53 15 3 9 →= 54 44 24 37 7 10 , 52 53 15 3 11 →= 54 44 24 37 7 12 , 52 53 15 13 14 →= 54 44 24 37 15 3 , 52 53 15 13 16 →= 54 44 24 37 15 13 , 52 53 15 13 17 →= 54 44 24 37 15 18 , 52 53 15 18 19 →= 54 44 24 37 20 21 , 52 53 15 18 22 →= 54 44 24 37 20 23 , 52 53 15 18 24 →= 54 44 24 37 20 25 , 28 43 14 4 →= 1 2 , 28 43 14 9 →= 1 26 , 28 43 14 11 →= 1 27 , 31 43 14 4 →= 56 2 , 31 43 14 9 →= 56 26 , 31 43 14 11 →= 56 27 , 28 43 16 14 →= 28 29 , 28 43 16 16 →= 28 43 , 28 43 16 17 →= 28 42 , 31 43 16 14 →= 31 29 , 31 43 16 16 →= 31 43 , 31 43 16 17 →= 31 42 , 28 43 17 19 →= 5 6 , 28 43 17 22 →= 5 32 , 28 43 17 24 →= 5 36 , 31 43 17 19 →= 30 6 , 31 43 17 22 →= 30 32 , 31 43 17 24 →= 30 36 , 2 13 14 4 →= 26 8 , 2 13 14 9 →= 26 10 , 2 13 14 11 →= 26 12 , 4 13 14 4 →= 9 8 , 4 13 14 9 →= 9 10 , 4 13 14 11 →= 9 12 , 15 13 14 4 →= 7 8 , 15 13 14 9 →= 7 10 , 15 13 14 11 →= 7 12 , 8 13 14 4 →= 10 8 , 8 13 14 9 →= 10 10 , 8 13 14 11 →= 10 12 , 41 13 14 4 →= 57 8 , 41 13 14 9 →= 57 10 , 41 13 14 11 →= 57 12 , 2 13 16 14 →= 2 3 , 2 13 16 16 →= 2 13 , 2 13 16 17 →= 2 18 , 4 13 16 14 →= 4 3 , 4 13 16 16 →= 4 13 , 4 13 16 17 →= 4 18 , 15 13 16 14 →= 15 3 , 15 13 16 16 →= 15 13 , 15 13 16 17 →= 15 18 , 8 13 16 14 →= 8 3 , 8 13 16 16 →= 8 13 , 8 13 16 17 →= 8 18 , 41 13 16 14 →= 41 3 , 41 13 16 16 →= 41 13 , 41 13 16 17 →= 41 18 , 2 13 17 19 →= 27 21 , 2 13 17 22 →= 27 23 , 2 13 17 24 →= 27 25 , 4 13 17 19 →= 11 21 , 4 13 17 22 →= 11 23 , 4 13 17 24 →= 11 25 , 15 13 17 19 →= 20 21 , 15 13 17 22 →= 20 23 , 15 13 17 24 →= 20 25 , 8 13 17 19 →= 12 21 , 8 13 17 22 →= 12 23 , 8 13 17 24 →= 12 25 , 41 13 17 19 →= 40 21 , 41 13 17 22 →= 40 23 , 41 13 17 24 →= 40 25 , 13 16 14 58 →= 3 58 , 13 16 14 4 →= 3 4 , 13 16 14 9 →= 3 9 , 13 16 14 11 →= 3 11 , 16 16 14 58 →= 14 58 , 16 16 14 4 →= 14 4 , 16 16 14 9 →= 14 9 , 16 16 14 11 →= 14 11 , 43 16 14 58 →= 29 58 , 43 16 14 4 →= 29 4 , 43 16 14 9 →= 29 9 , 43 16 14 11 →= 29 11 , 34 16 14 58 →= 33 58 , 34 16 14 4 →= 33 4 , 34 16 14 9 →= 33 9 , 34 16 14 11 →= 33 11 , 45 16 14 58 →= 55 58 , 45 16 14 4 →= 55 4 , 45 16 14 9 →= 55 9 , 45 16 14 11 →= 55 11 , 47 16 14 58 →= 59 58 , 47 16 14 4 →= 59 4 , 47 16 14 9 →= 59 9 , 47 16 14 11 →= 59 11 , 13 16 16 60 →= 13 60 , 13 16 16 14 →= 13 14 , 13 16 16 16 →= 13 16 , 13 16 16 17 →= 13 17 , 16 16 16 60 →= 16 60 , 16 16 16 14 →= 16 14 , 16 16 16 16 →= 16 16 , 16 16 16 17 →= 16 17 , 43 16 16 60 →= 43 60 , 43 16 16 14 →= 43 14 , 43 16 16 16 →= 43 16 , 43 16 16 17 →= 43 17 , 34 16 16 60 →= 34 60 , 34 16 16 14 →= 34 14 , 34 16 16 16 →= 34 16 , 34 16 16 17 →= 34 17 , 45 16 16 60 →= 45 60 , 45 16 16 14 →= 45 14 , 45 16 16 16 →= 45 16 , 45 16 16 17 →= 45 17 , 47 16 16 60 →= 47 60 , 47 16 16 14 →= 47 14 , 47 16 16 16 →= 47 16 , 47 16 16 17 →= 47 17 , 13 16 17 61 →= 18 61 , 13 16 17 19 →= 18 19 , 13 16 17 22 →= 18 22 , 13 16 17 24 →= 18 24 , 16 16 17 61 →= 17 61 , 16 16 17 19 →= 17 19 , 16 16 17 22 →= 17 22 , 16 16 17 24 →= 17 24 , 43 16 17 61 →= 42 61 , 43 16 17 19 →= 42 19 , 43 16 17 22 →= 42 22 , 43 16 17 24 →= 42 24 , 34 16 17 61 →= 35 61 , 34 16 17 19 →= 35 19 , 34 16 17 22 →= 35 22 , 34 16 17 24 →= 35 24 , 45 16 17 61 →= 44 61 , 45 16 17 19 →= 44 19 , 45 16 17 22 →= 44 22 , 45 16 17 24 →= 44 24 , 47 16 17 61 →= 46 61 , 47 16 17 19 →= 46 19 , 47 16 17 22 →= 46 22 , 47 16 17 24 →= 46 24 , 32 34 14 4 →= 6 15 , 32 34 14 9 →= 6 7 , 32 34 14 11 →= 6 20 , 22 34 14 4 →= 19 15 , 22 34 14 9 →= 19 7 , 22 34 14 11 →= 19 20 , 23 34 14 4 →= 21 15 , 23 34 14 9 →= 21 7 , 23 34 14 11 →= 21 20 , 38 34 14 4 →= 37 15 , 38 34 14 9 →= 37 7 , 38 34 14 11 →= 37 20 , 49 34 14 4 →= 53 15 , 49 34 14 9 →= 53 7 , 49 34 14 11 →= 53 20 , 51 34 14 4 →= 62 15 , 51 34 14 9 →= 62 7 , 51 34 14 11 →= 62 20 , 32 34 16 14 →= 32 33 , 32 34 16 16 →= 32 34 , 32 34 16 17 →= 32 35 , 22 34 16 14 →= 22 33 , 22 34 16 16 →= 22 34 , 22 34 16 17 →= 22 35 , 23 34 16 14 →= 23 33 , 23 34 16 16 →= 23 34 , 23 34 16 17 →= 23 35 , 38 34 16 14 →= 38 33 , 38 34 16 16 →= 38 34 , 38 34 16 17 →= 38 35 , 49 34 16 14 →= 49 33 , 49 34 16 16 →= 49 34 , 49 34 16 17 →= 49 35 , 51 34 16 14 →= 51 33 , 51 34 16 16 →= 51 34 , 51 34 16 17 →= 51 35 , 32 34 17 19 →= 36 37 , 32 34 17 22 →= 36 38 , 32 34 17 24 →= 36 39 , 22 34 17 19 →= 24 37 , 22 34 17 22 →= 24 38 , 22 34 17 24 →= 24 39 , 23 34 17 19 →= 25 37 , 23 34 17 22 →= 25 38 , 23 34 17 24 →= 25 39 , 38 34 17 19 →= 39 37 , 38 34 17 22 →= 39 38 , 38 34 17 24 →= 39 39 , 49 34 17 19 →= 48 37 , 49 34 17 22 →= 48 38 , 49 34 17 24 →= 48 39 , 51 34 17 19 →= 50 37 , 51 34 17 22 →= 50 38 , 51 34 17 24 →= 50 39 , 54 45 16 14 →= 54 55 , 54 45 16 16 →= 54 45 , 54 45 16 17 →= 54 44 , 54 45 17 19 →= 52 53 , 54 45 17 22 →= 52 49 , 54 45 17 24 →= 52 48 } 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 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 5 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 13 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 14 ↦ ⎛ ⎞ ⎜ 1 4 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 15 ↦ ⎛ ⎞ ⎜ 1 5 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 16 ↦ ⎛ ⎞ ⎜ 1 5 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 17 ↦ ⎛ ⎞ ⎜ 1 4 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 18 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 19 ↦ ⎛ ⎞ ⎜ 1 5 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 20 ↦ ⎛ ⎞ ⎜ 1 5 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 21 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 22 ↦ ⎛ ⎞ ⎜ 1 5 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 23 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 24 ↦ ⎛ ⎞ ⎜ 1 5 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 25 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 26 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 27 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 28 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 29 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 30 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 31 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 32 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 33 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 34 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 35 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 36 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 37 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 38 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 39 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 40 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 49 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 50 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 51 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 52 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 ⎟ ⎝ ⎠ After renaming modulo the bijection { 11 ↦ 0, 21 ↦ 1, 7 ↦ 2, 4 ↦ 3, 3 ↦ 4, 9 ↦ 5, 10 ↦ 6, 20 ↦ 7, 15 ↦ 8, 12 ↦ 9, 8 ↦ 10, 23 ↦ 11, 33 ↦ 12, 34 ↦ 13, 13 ↦ 14, 35 ↦ 15, 18 ↦ 16, 25 ↦ 17, 37 ↦ 18, 19 ↦ 19, 14 ↦ 20, 17 ↦ 21, 16 ↦ 22, 22 ↦ 23, 24 ↦ 24 }, it remains to prove termination of the 108-rule system { 0 1 2 →= 3 4 5 6 , 7 1 2 →= 8 4 5 6 , 9 1 2 →= 10 4 5 6 , 0 11 12 →= 3 4 3 4 , 0 11 13 →= 3 4 3 14 , 0 11 15 →= 3 4 3 16 , 7 11 12 →= 8 4 3 4 , 7 11 13 →= 8 4 3 14 , 7 11 15 →= 8 4 3 16 , 9 11 12 →= 10 4 3 4 , 9 11 13 →= 10 4 3 14 , 9 11 15 →= 10 4 3 16 , 0 17 18 →= 3 4 0 1 , 7 17 18 →= 8 4 0 1 , 9 17 18 →= 10 4 0 1 , 16 19 2 →= 14 20 5 6 , 21 19 2 →= 22 20 5 6 , 15 19 2 →= 13 20 5 6 , 16 23 12 →= 14 20 3 4 , 16 23 13 →= 14 20 3 14 , 16 23 15 →= 14 20 3 16 , 21 23 12 →= 22 20 3 4 , 21 23 13 →= 22 20 3 14 , 21 23 15 →= 22 20 3 16 , 15 23 12 →= 13 20 3 4 , 15 23 13 →= 13 20 3 14 , 15 23 15 →= 13 20 3 16 , 16 24 18 →= 14 20 0 1 , 21 24 18 →= 22 20 0 1 , 15 24 18 →= 13 20 0 1 , 24 18 2 →= 23 12 5 6 , 17 18 2 →= 11 12 5 6 , 0 1 8 4 3 →= 3 16 24 18 2 10 , 0 1 8 4 5 →= 3 16 24 18 2 6 , 0 1 8 4 0 →= 3 16 24 18 2 9 , 7 1 8 4 3 →= 8 16 24 18 2 10 , 7 1 8 4 5 →= 8 16 24 18 2 6 , 7 1 8 4 0 →= 8 16 24 18 2 9 , 9 1 8 4 3 →= 10 16 24 18 2 10 , 9 1 8 4 5 →= 10 16 24 18 2 6 , 9 1 8 4 0 →= 10 16 24 18 2 9 , 0 1 8 14 20 →= 3 16 24 18 8 4 , 0 1 8 14 22 →= 3 16 24 18 8 14 , 0 1 8 14 21 →= 3 16 24 18 8 16 , 7 1 8 14 20 →= 8 16 24 18 8 4 , 7 1 8 14 22 →= 8 16 24 18 8 14 , 7 1 8 14 21 →= 8 16 24 18 8 16 , 9 1 8 14 20 →= 10 16 24 18 8 4 , 9 1 8 14 22 →= 10 16 24 18 8 14 , 9 1 8 14 21 →= 10 16 24 18 8 16 , 0 1 8 16 19 →= 3 16 24 18 7 1 , 0 1 8 16 23 →= 3 16 24 18 7 11 , 0 1 8 16 24 →= 3 16 24 18 7 17 , 7 1 8 16 19 →= 8 16 24 18 7 1 , 7 1 8 16 23 →= 8 16 24 18 7 11 , 7 1 8 16 24 →= 8 16 24 18 7 17 , 9 1 8 16 19 →= 10 16 24 18 7 1 , 9 1 8 16 23 →= 10 16 24 18 7 11 , 9 1 8 16 24 →= 10 16 24 18 7 17 , 16 19 8 4 3 →= 14 21 24 18 2 10 , 16 19 8 4 5 →= 14 21 24 18 2 6 , 16 19 8 4 0 →= 14 21 24 18 2 9 , 21 19 8 4 3 →= 22 21 24 18 2 10 , 21 19 8 4 5 →= 22 21 24 18 2 6 , 21 19 8 4 0 →= 22 21 24 18 2 9 , 15 19 8 4 3 →= 13 21 24 18 2 10 , 15 19 8 4 5 →= 13 21 24 18 2 6 , 15 19 8 4 0 →= 13 21 24 18 2 9 , 16 19 8 14 20 →= 14 21 24 18 8 4 , 16 19 8 14 22 →= 14 21 24 18 8 14 , 16 19 8 14 21 →= 14 21 24 18 8 16 , 21 19 8 14 20 →= 22 21 24 18 8 4 , 21 19 8 14 22 →= 22 21 24 18 8 14 , 21 19 8 14 21 →= 22 21 24 18 8 16 , 15 19 8 14 20 →= 13 21 24 18 8 4 , 15 19 8 14 22 →= 13 21 24 18 8 14 , 15 19 8 14 21 →= 13 21 24 18 8 16 , 16 19 8 16 19 →= 14 21 24 18 7 1 , 16 19 8 16 23 →= 14 21 24 18 7 11 , 16 19 8 16 24 →= 14 21 24 18 7 17 , 21 19 8 16 19 →= 22 21 24 18 7 1 , 21 19 8 16 23 →= 22 21 24 18 7 11 , 21 19 8 16 24 →= 22 21 24 18 7 17 , 15 19 8 16 19 →= 13 21 24 18 7 1 , 15 19 8 16 23 →= 13 21 24 18 7 11 , 15 19 8 16 24 →= 13 21 24 18 7 17 , 24 18 8 4 3 →= 23 15 24 18 2 10 , 24 18 8 4 5 →= 23 15 24 18 2 6 , 24 18 8 4 0 →= 23 15 24 18 2 9 , 17 18 8 4 3 →= 11 15 24 18 2 10 , 17 18 8 4 5 →= 11 15 24 18 2 6 , 17 18 8 4 0 →= 11 15 24 18 2 9 , 24 18 8 14 20 →= 23 15 24 18 8 4 , 24 18 8 14 22 →= 23 15 24 18 8 14 , 24 18 8 14 21 →= 23 15 24 18 8 16 , 17 18 8 14 20 →= 11 15 24 18 8 4 , 17 18 8 14 22 →= 11 15 24 18 8 14 , 17 18 8 14 21 →= 11 15 24 18 8 16 , 24 18 8 16 19 →= 23 15 24 18 7 1 , 24 18 8 16 23 →= 23 15 24 18 7 11 , 24 18 8 16 24 →= 23 15 24 18 7 17 , 17 18 8 16 19 →= 11 15 24 18 7 1 , 17 18 8 16 23 →= 11 15 24 18 7 11 , 17 18 8 16 24 →= 11 15 24 18 7 17 , 23 13 20 3 →= 19 8 , 23 13 20 0 →= 19 7 , 11 13 20 3 →= 1 8 , 11 13 20 0 →= 1 7 } The system is trivially terminating.