/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 2 1 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 , 2 1 ⟶ 0 3 , 2 1 ⟶ 2 , 4 3 →= , 4 1 →= 1 1 3 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 , 0 1 5 ⟶ 3 4 5 , 0 1 6 ⟶ 3 4 6 , 0 1 7 ⟶ 3 4 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 2 5 9 2 , 16 20 5 →= 1 2 5 9 5 , 16 20 6 →= 1 2 5 9 6 , 16 20 7 →= 1 2 5 9 7 , 6 20 2 →= 2 2 5 9 2 , 6 20 5 →= 2 2 5 9 5 , 6 20 6 →= 2 2 5 9 6 , 6 20 7 →= 2 2 5 9 7 , 14 20 2 →= 4 2 5 9 2 , 14 20 5 →= 4 2 5 9 5 , 14 20 6 →= 4 2 5 9 6 , 14 20 7 →= 4 2 5 9 7 , 11 20 2 →= 9 2 5 9 2 , 11 20 5 →= 9 2 5 9 5 , 11 20 6 →= 9 2 5 9 6 , 11 20 7 →= 9 2 5 9 7 , 19 20 2 →= 20 2 5 9 2 , 19 20 5 →= 20 2 5 9 5 , 19 20 6 →= 20 2 5 9 6 , 19 20 7 →= 20 2 5 9 7 , 22 20 2 →= 23 2 5 9 2 , 22 20 5 →= 23 2 5 9 5 , 22 20 6 →= 23 2 5 9 6 , 22 20 7 →= 23 2 5 9 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 , 0 1 5 ⟶ 3 4 5 , 0 1 6 ⟶ 3 4 6 , 0 1 7 ⟶ 3 4 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 2 5 9 2 , 15 18 5 →= 1 2 5 9 5 , 15 18 6 →= 1 2 5 9 6 , 15 18 7 →= 1 2 5 9 7 , 6 18 2 →= 2 2 5 9 2 , 6 18 5 →= 2 2 5 9 5 , 6 18 6 →= 2 2 5 9 6 , 6 18 7 →= 2 2 5 9 7 , 14 18 2 →= 4 2 5 9 2 , 14 18 5 →= 4 2 5 9 5 , 14 18 6 →= 4 2 5 9 6 , 14 18 7 →= 4 2 5 9 7 , 11 18 2 →= 9 2 5 9 2 , 11 18 5 →= 9 2 5 9 5 , 11 18 6 →= 9 2 5 9 6 , 11 18 7 →= 9 2 5 9 7 , 17 18 2 →= 18 2 5 9 2 , 17 18 5 →= 18 2 5 9 5 , 17 18 6 →= 18 2 5 9 6 , 17 18 7 →= 18 2 5 9 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, (4,5) ↦ 13, (5,9) ↦ 14, (1,6) ↦ 15, (6,16) ↦ 16, (4,6) ↦ 17, (6,17) ↦ 18, (6,18) ↦ 19, (6,22) ↦ 20, (1,7) ↦ 21, (7,22) ↦ 22, (4,7) ↦ 23, (0,8) ↦ 24, (8,9) ↦ 25, (9,2) ↦ 26, (9,5) ↦ 27, (9,6) ↦ 28, (9,22) ↦ 29, (9,7) ↦ 30, (8,10) ↦ 31, (10,22) ↦ 32, (10,9) ↦ 33, (8,11) ↦ 34, (11,16) ↦ 35, (11,17) ↦ 36, (11,18) ↦ 37, (11,22) ↦ 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 , 0 1 2 7 ⟶ 4 5 6 7 , 0 1 2 8 ⟶ 4 5 6 8 , 0 1 2 9 ⟶ 4 5 6 9 , 0 1 2 10 ⟶ 4 5 6 10 , 0 1 11 12 ⟶ 4 5 13 12 , 0 1 11 14 ⟶ 4 5 13 14 , 0 1 15 16 ⟶ 4 5 17 16 , 0 1 15 18 ⟶ 4 5 17 18 , 0 1 15 19 ⟶ 4 5 17 19 , 0 1 15 20 ⟶ 4 5 17 20 , 0 1 21 22 ⟶ 4 5 23 22 , 4 5 6 3 ⟶ 0 24 25 26 , 4 5 6 7 ⟶ 0 24 25 27 , 4 5 6 8 ⟶ 0 24 25 28 , 4 5 6 9 ⟶ 0 24 25 29 , 4 5 6 10 ⟶ 0 24 25 30 , 4 5 13 12 ⟶ 0 24 31 32 , 4 5 13 14 ⟶ 0 24 31 33 , 4 5 17 16 ⟶ 0 24 34 35 , 4 5 17 18 ⟶ 0 24 34 36 , 4 5 17 19 ⟶ 0 24 34 37 , 4 5 17 20 ⟶ 0 24 34 38 , 4 5 23 22 ⟶ 0 24 39 40 , 4 5 6 3 ⟶ 4 5 6 , 4 5 6 7 ⟶ 4 5 13 , 4 5 6 8 ⟶ 4 5 17 , 4 5 6 9 ⟶ 4 5 41 , 4 5 6 10 ⟶ 4 5 23 , 4 5 13 12 ⟶ 4 42 43 , 4 5 13 14 ⟶ 4 42 44 , 4 5 17 16 ⟶ 4 45 46 , 4 5 17 18 ⟶ 4 45 47 , 4 5 17 19 ⟶ 4 45 48 , 4 5 17 20 ⟶ 4 45 49 , 50 51 52 26 →= 1 2 , 50 51 52 27 →= 1 11 , 50 51 52 28 →= 1 15 , 50 51 52 29 →= 1 53 , 50 51 52 30 →= 1 21 , 54 51 52 26 →= 55 2 , 54 51 52 27 →= 55 11 , 54 51 52 28 →= 55 15 , 54 51 52 29 →= 55 53 , 54 51 52 30 →= 55 21 , 50 51 56 32 →= 24 57 , 50 51 56 33 →= 24 25 , 54 51 56 32 →= 58 57 , 54 51 56 33 →= 58 25 , 50 51 59 35 →= 50 51 , 50 51 59 36 →= 50 60 , 50 51 59 37 →= 50 61 , 50 51 59 38 →= 50 62 , 54 51 59 35 →= 54 51 , 54 51 59 36 →= 54 60 , 54 51 59 37 →= 54 61 , 54 51 59 38 →= 54 62 , 15 16 52 26 →= 2 3 , 15 16 52 27 →= 2 7 , 15 16 52 28 →= 2 8 , 15 16 52 29 →= 2 9 , 15 16 52 30 →= 2 10 , 8 16 52 26 →= 3 3 , 8 16 52 27 →= 3 7 , 8 16 52 28 →= 3 8 , 8 16 52 29 →= 3 9 , 8 16 52 30 →= 3 10 , 63 16 52 26 →= 64 3 , 63 16 52 27 →= 64 7 , 63 16 52 28 →= 64 8 , 63 16 52 29 →= 64 9 , 63 16 52 30 →= 64 10 , 17 16 52 26 →= 6 3 , 17 16 52 27 →= 6 7 , 17 16 52 28 →= 6 8 , 17 16 52 29 →= 6 9 , 17 16 52 30 →= 6 10 , 65 16 52 26 →= 66 3 , 65 16 52 27 →= 66 7 , 65 16 52 28 →= 66 8 , 65 16 52 29 →= 66 9 , 65 16 52 30 →= 66 10 , 28 16 52 26 →= 26 3 , 28 16 52 27 →= 26 7 , 28 16 52 28 →= 26 8 , 28 16 52 29 →= 26 9 , 28 16 52 30 →= 26 10 , 15 16 56 32 →= 11 12 , 15 16 56 33 →= 11 14 , 8 16 56 32 →= 7 12 , 8 16 56 33 →= 7 14 , 63 16 56 32 →= 67 12 , 63 16 56 33 →= 67 14 , 17 16 56 32 →= 13 12 , 17 16 56 33 →= 13 14 , 65 16 56 32 →= 68 12 , 65 16 56 33 →= 68 14 , 28 16 56 32 →= 27 12 , 28 16 56 33 →= 27 14 , 15 16 59 35 →= 15 16 , 15 16 59 36 →= 15 18 , 15 16 59 37 →= 15 19 , 15 16 59 38 →= 15 20 , 8 16 59 35 →= 8 16 , 8 16 59 36 →= 8 18 , 8 16 59 37 →= 8 19 , 8 16 59 38 →= 8 20 , 63 16 59 35 →= 63 16 , 63 16 59 36 →= 63 18 , 63 16 59 37 →= 63 19 , 63 16 59 38 →= 63 20 , 17 16 59 35 →= 17 16 , 17 16 59 36 →= 17 18 , 17 16 59 37 →= 17 19 , 17 16 59 38 →= 17 20 , 65 16 59 35 →= 65 16 , 65 16 59 36 →= 65 18 , 65 16 59 37 →= 65 19 , 65 16 59 38 →= 65 20 , 28 16 59 35 →= 28 16 , 28 16 59 36 →= 28 18 , 28 16 59 37 →= 28 19 , 28 16 59 38 →= 28 20 , 15 16 69 40 →= 21 22 , 8 16 69 40 →= 10 22 , 63 16 69 40 →= 70 22 , 17 16 69 40 →= 23 22 , 65 16 69 40 →= 71 22 , 28 16 69 40 →= 30 22 , 45 46 52 26 →= 5 6 , 45 46 52 27 →= 5 13 , 45 46 52 28 →= 5 17 , 45 46 52 29 →= 5 41 , 45 46 52 30 →= 5 23 , 72 46 52 26 →= 73 6 , 72 46 52 27 →= 73 13 , 72 46 52 28 →= 73 17 , 72 46 52 29 →= 73 41 , 72 46 52 30 →= 73 23 , 45 46 56 32 →= 42 43 , 45 46 56 33 →= 42 44 , 72 46 56 32 →= 74 43 , 72 46 56 33 →= 74 44 , 45 46 59 35 →= 45 46 , 45 46 59 36 →= 45 47 , 45 46 59 37 →= 45 48 , 45 46 59 38 →= 45 49 , 72 46 59 35 →= 72 46 , 72 46 59 36 →= 72 47 , 72 46 59 37 →= 72 48 , 72 46 59 38 →= 72 49 , 59 35 52 26 →= 52 26 , 59 35 52 27 →= 52 27 , 59 35 52 28 →= 52 28 , 59 35 52 29 →= 52 29 , 59 35 52 30 →= 52 30 , 75 35 52 26 →= 76 26 , 75 35 52 27 →= 76 27 , 75 35 52 28 →= 76 28 , 75 35 52 29 →= 76 29 , 75 35 52 30 →= 76 30 , 34 35 52 26 →= 25 26 , 34 35 52 27 →= 25 27 , 34 35 52 28 →= 25 28 , 34 35 52 29 →= 25 29 , 34 35 52 30 →= 25 30 , 59 35 56 32 →= 56 32 , 59 35 56 33 →= 56 33 , 75 35 56 32 →= 77 32 , 75 35 56 33 →= 77 33 , 34 35 56 32 →= 31 32 , 34 35 56 33 →= 31 33 , 59 35 59 35 →= 59 35 , 59 35 59 36 →= 59 36 , 59 35 59 37 →= 59 37 , 59 35 59 38 →= 59 38 , 75 35 59 35 →= 75 35 , 75 35 59 36 →= 75 36 , 75 35 59 37 →= 75 37 , 75 35 59 38 →= 75 38 , 34 35 59 35 →= 34 35 , 34 35 59 36 →= 34 36 , 34 35 59 37 →= 34 37 , 34 35 59 38 →= 34 38 , 59 35 69 40 →= 69 40 , 75 35 69 40 →= 78 40 , 34 35 69 40 →= 39 40 , 79 80 52 26 →= 81 64 , 79 80 52 27 →= 81 67 , 79 80 52 28 →= 81 63 , 79 80 52 29 →= 81 82 , 79 80 52 30 →= 81 70 , 83 80 52 26 →= 84 64 , 83 80 52 27 →= 84 67 , 83 80 52 28 →= 84 63 , 83 80 52 29 →= 84 82 , 83 80 52 30 →= 84 70 , 85 80 52 26 →= 86 64 , 85 80 52 27 →= 86 67 , 85 80 52 28 →= 86 63 , 85 80 52 29 →= 86 82 , 85 80 52 30 →= 86 70 , 18 80 52 26 →= 19 64 , 18 80 52 27 →= 19 67 , 18 80 52 28 →= 19 63 , 18 80 52 29 →= 19 82 , 18 80 52 30 →= 19 70 , 36 80 52 26 →= 37 64 , 36 80 52 27 →= 37 67 , 36 80 52 28 →= 37 63 , 36 80 52 29 →= 37 82 , 36 80 52 30 →= 37 70 , 47 80 52 26 →= 48 64 , 47 80 52 27 →= 48 67 , 47 80 52 28 →= 48 63 , 47 80 52 29 →= 48 82 , 47 80 52 30 →= 48 70 , 60 80 52 26 →= 61 64 , 60 80 52 27 →= 61 67 , 60 80 52 28 →= 61 63 , 60 80 52 29 →= 61 82 , 60 80 52 30 →= 61 70 , 79 80 56 32 →= 80 87 , 79 80 56 33 →= 80 52 , 83 80 56 32 →= 88 87 , 83 80 56 33 →= 88 52 , 85 80 56 32 →= 89 87 , 85 80 56 33 →= 89 52 , 18 80 56 32 →= 16 87 , 18 80 56 33 →= 16 52 , 36 80 56 32 →= 35 87 , 36 80 56 33 →= 35 52 , 47 80 56 32 →= 46 87 , 47 80 56 33 →= 46 52 , 60 80 56 32 →= 51 87 , 60 80 56 33 →= 51 52 , 79 80 59 35 →= 79 80 , 79 80 59 36 →= 79 79 , 79 80 59 37 →= 79 81 , 79 80 59 38 →= 79 90 , 83 80 59 35 →= 83 80 , 83 80 59 36 →= 83 79 , 83 80 59 37 →= 83 81 , 83 80 59 38 →= 83 90 , 85 80 59 35 →= 85 80 , 85 80 59 36 →= 85 79 , 85 80 59 37 →= 85 81 , 85 80 59 38 →= 85 90 , 18 80 59 35 →= 18 80 , 18 80 59 36 →= 18 79 , 18 80 59 37 →= 18 81 , 18 80 59 38 →= 18 90 , 36 80 59 35 →= 36 80 , 36 80 59 36 →= 36 79 , 36 80 59 37 →= 36 81 , 36 80 59 38 →= 36 90 , 47 80 59 35 →= 47 80 , 47 80 59 36 →= 47 79 , 47 80 59 37 →= 47 81 , 47 80 59 38 →= 47 90 , 60 80 59 35 →= 60 80 , 60 80 59 36 →= 60 79 , 60 80 59 37 →= 60 81 , 60 80 59 38 →= 60 90 , 91 88 56 32 →= 92 93 , 91 88 56 33 →= 92 94 , 91 88 59 35 →= 91 88 , 91 88 59 36 →= 91 83 , 91 88 59 37 →= 91 84 , 91 88 59 38 →= 91 95 , 50 61 64 3 →= 1 2 7 14 26 3 , 50 61 64 7 →= 1 2 7 14 26 7 , 50 61 64 8 →= 1 2 7 14 26 8 , 50 61 64 9 →= 1 2 7 14 26 9 , 50 61 64 10 →= 1 2 7 14 26 10 , 54 61 64 3 →= 55 2 7 14 26 3 , 54 61 64 7 →= 55 2 7 14 26 7 , 54 61 64 8 →= 55 2 7 14 26 8 , 54 61 64 9 →= 55 2 7 14 26 9 , 54 61 64 10 →= 55 2 7 14 26 10 , 50 61 67 12 →= 1 2 7 14 27 12 , 50 61 67 14 →= 1 2 7 14 27 14 , 54 61 67 12 →= 55 2 7 14 27 12 , 54 61 67 14 →= 55 2 7 14 27 14 , 50 61 63 16 →= 1 2 7 14 28 16 , 50 61 63 18 →= 1 2 7 14 28 18 , 50 61 63 19 →= 1 2 7 14 28 19 , 50 61 63 20 →= 1 2 7 14 28 20 , 54 61 63 16 →= 55 2 7 14 28 16 , 54 61 63 18 →= 55 2 7 14 28 18 , 54 61 63 19 →= 55 2 7 14 28 19 , 54 61 63 20 →= 55 2 7 14 28 20 , 50 61 70 22 →= 1 2 7 14 30 22 , 54 61 70 22 →= 55 2 7 14 30 22 , 15 19 64 3 →= 2 3 7 14 26 3 , 15 19 64 7 →= 2 3 7 14 26 7 , 15 19 64 8 →= 2 3 7 14 26 8 , 15 19 64 9 →= 2 3 7 14 26 9 , 15 19 64 10 →= 2 3 7 14 26 10 , 8 19 64 3 →= 3 3 7 14 26 3 , 8 19 64 7 →= 3 3 7 14 26 7 , 8 19 64 8 →= 3 3 7 14 26 8 , 8 19 64 9 →= 3 3 7 14 26 9 , 8 19 64 10 →= 3 3 7 14 26 10 , 63 19 64 3 →= 64 3 7 14 26 3 , 63 19 64 7 →= 64 3 7 14 26 7 , 63 19 64 8 →= 64 3 7 14 26 8 , 63 19 64 9 →= 64 3 7 14 26 9 , 63 19 64 10 →= 64 3 7 14 26 10 , 17 19 64 3 →= 6 3 7 14 26 3 , 17 19 64 7 →= 6 3 7 14 26 7 , 17 19 64 8 →= 6 3 7 14 26 8 , 17 19 64 9 →= 6 3 7 14 26 9 , 17 19 64 10 →= 6 3 7 14 26 10 , 65 19 64 3 →= 66 3 7 14 26 3 , 65 19 64 7 →= 66 3 7 14 26 7 , 65 19 64 8 →= 66 3 7 14 26 8 , 65 19 64 9 →= 66 3 7 14 26 9 , 65 19 64 10 →= 66 3 7 14 26 10 , 28 19 64 3 →= 26 3 7 14 26 3 , 28 19 64 7 →= 26 3 7 14 26 7 , 28 19 64 8 →= 26 3 7 14 26 8 , 28 19 64 9 →= 26 3 7 14 26 9 , 28 19 64 10 →= 26 3 7 14 26 10 , 15 19 67 12 →= 2 3 7 14 27 12 , 15 19 67 14 →= 2 3 7 14 27 14 , 8 19 67 12 →= 3 3 7 14 27 12 , 8 19 67 14 →= 3 3 7 14 27 14 , 63 19 67 12 →= 64 3 7 14 27 12 , 63 19 67 14 →= 64 3 7 14 27 14 , 17 19 67 12 →= 6 3 7 14 27 12 , 17 19 67 14 →= 6 3 7 14 27 14 , 65 19 67 12 →= 66 3 7 14 27 12 , 65 19 67 14 →= 66 3 7 14 27 14 , 28 19 67 12 →= 26 3 7 14 27 12 , 28 19 67 14 →= 26 3 7 14 27 14 , 15 19 63 16 →= 2 3 7 14 28 16 , 15 19 63 18 →= 2 3 7 14 28 18 , 15 19 63 19 →= 2 3 7 14 28 19 , 15 19 63 20 →= 2 3 7 14 28 20 , 8 19 63 16 →= 3 3 7 14 28 16 , 8 19 63 18 →= 3 3 7 14 28 18 , 8 19 63 19 →= 3 3 7 14 28 19 , 8 19 63 20 →= 3 3 7 14 28 20 , 63 19 63 16 →= 64 3 7 14 28 16 , 63 19 63 18 →= 64 3 7 14 28 18 , 63 19 63 19 →= 64 3 7 14 28 19 , 63 19 63 20 →= 64 3 7 14 28 20 , 17 19 63 16 →= 6 3 7 14 28 16 , 17 19 63 18 →= 6 3 7 14 28 18 , 17 19 63 19 →= 6 3 7 14 28 19 , 17 19 63 20 →= 6 3 7 14 28 20 , 65 19 63 16 →= 66 3 7 14 28 16 , 65 19 63 18 →= 66 3 7 14 28 18 , 65 19 63 19 →= 66 3 7 14 28 19 , 65 19 63 20 →= 66 3 7 14 28 20 , 28 19 63 16 →= 26 3 7 14 28 16 , 28 19 63 18 →= 26 3 7 14 28 18 , 28 19 63 19 →= 26 3 7 14 28 19 , 28 19 63 20 →= 26 3 7 14 28 20 , 15 19 70 22 →= 2 3 7 14 30 22 , 8 19 70 22 →= 3 3 7 14 30 22 , 63 19 70 22 →= 64 3 7 14 30 22 , 17 19 70 22 →= 6 3 7 14 30 22 , 65 19 70 22 →= 66 3 7 14 30 22 , 28 19 70 22 →= 26 3 7 14 30 22 , 45 48 64 3 →= 5 6 7 14 26 3 , 45 48 64 7 →= 5 6 7 14 26 7 , 45 48 64 8 →= 5 6 7 14 26 8 , 45 48 64 9 →= 5 6 7 14 26 9 , 45 48 64 10 →= 5 6 7 14 26 10 , 72 48 64 3 →= 73 6 7 14 26 3 , 72 48 64 7 →= 73 6 7 14 26 7 , 72 48 64 8 →= 73 6 7 14 26 8 , 72 48 64 9 →= 73 6 7 14 26 9 , 72 48 64 10 →= 73 6 7 14 26 10 , 45 48 67 12 →= 5 6 7 14 27 12 , 45 48 67 14 →= 5 6 7 14 27 14 , 72 48 67 12 →= 73 6 7 14 27 12 , 72 48 67 14 →= 73 6 7 14 27 14 , 45 48 63 16 →= 5 6 7 14 28 16 , 45 48 63 18 →= 5 6 7 14 28 18 , 45 48 63 19 →= 5 6 7 14 28 19 , 45 48 63 20 →= 5 6 7 14 28 20 , 72 48 63 16 →= 73 6 7 14 28 16 , 72 48 63 18 →= 73 6 7 14 28 18 , 72 48 63 19 →= 73 6 7 14 28 19 , 72 48 63 20 →= 73 6 7 14 28 20 , 45 48 70 22 →= 5 6 7 14 30 22 , 72 48 70 22 →= 73 6 7 14 30 22 , 59 37 64 3 →= 52 26 7 14 26 3 , 59 37 64 7 →= 52 26 7 14 26 7 , 59 37 64 8 →= 52 26 7 14 26 8 , 59 37 64 9 →= 52 26 7 14 26 9 , 59 37 64 10 →= 52 26 7 14 26 10 , 75 37 64 3 →= 76 26 7 14 26 3 , 75 37 64 7 →= 76 26 7 14 26 7 , 75 37 64 8 →= 76 26 7 14 26 8 , 75 37 64 9 →= 76 26 7 14 26 9 , 75 37 64 10 →= 76 26 7 14 26 10 , 34 37 64 3 →= 25 26 7 14 26 3 , 34 37 64 7 →= 25 26 7 14 26 7 , 34 37 64 8 →= 25 26 7 14 26 8 , 34 37 64 9 →= 25 26 7 14 26 9 , 34 37 64 10 →= 25 26 7 14 26 10 , 59 37 67 12 →= 52 26 7 14 27 12 , 59 37 67 14 →= 52 26 7 14 27 14 , 75 37 67 12 →= 76 26 7 14 27 12 , 75 37 67 14 →= 76 26 7 14 27 14 , 34 37 67 12 →= 25 26 7 14 27 12 , 34 37 67 14 →= 25 26 7 14 27 14 , 59 37 63 16 →= 52 26 7 14 28 16 , 59 37 63 18 →= 52 26 7 14 28 18 , 59 37 63 19 →= 52 26 7 14 28 19 , 59 37 63 20 →= 52 26 7 14 28 20 , 75 37 63 16 →= 76 26 7 14 28 16 , 75 37 63 18 →= 76 26 7 14 28 18 , 75 37 63 19 →= 76 26 7 14 28 19 , 75 37 63 20 →= 76 26 7 14 28 20 , 34 37 63 16 →= 25 26 7 14 28 16 , 34 37 63 18 →= 25 26 7 14 28 18 , 34 37 63 19 →= 25 26 7 14 28 19 , 34 37 63 20 →= 25 26 7 14 28 20 , 59 37 70 22 →= 52 26 7 14 30 22 , 75 37 70 22 →= 76 26 7 14 30 22 , 34 37 70 22 →= 25 26 7 14 30 22 , 79 81 64 3 →= 81 64 7 14 26 3 , 79 81 64 7 →= 81 64 7 14 26 7 , 79 81 64 8 →= 81 64 7 14 26 8 , 79 81 64 9 →= 81 64 7 14 26 9 , 79 81 64 10 →= 81 64 7 14 26 10 , 83 81 64 3 →= 84 64 7 14 26 3 , 83 81 64 7 →= 84 64 7 14 26 7 , 83 81 64 8 →= 84 64 7 14 26 8 , 83 81 64 9 →= 84 64 7 14 26 9 , 83 81 64 10 →= 84 64 7 14 26 10 , 85 81 64 3 →= 86 64 7 14 26 3 , 85 81 64 7 →= 86 64 7 14 26 7 , 85 81 64 8 →= 86 64 7 14 26 8 , 85 81 64 9 →= 86 64 7 14 26 9 , 85 81 64 10 →= 86 64 7 14 26 10 , 18 81 64 3 →= 19 64 7 14 26 3 , 18 81 64 7 →= 19 64 7 14 26 7 , 18 81 64 8 →= 19 64 7 14 26 8 , 18 81 64 9 →= 19 64 7 14 26 9 , 18 81 64 10 →= 19 64 7 14 26 10 , 36 81 64 3 →= 37 64 7 14 26 3 , 36 81 64 7 →= 37 64 7 14 26 7 , 36 81 64 8 →= 37 64 7 14 26 8 , 36 81 64 9 →= 37 64 7 14 26 9 , 36 81 64 10 →= 37 64 7 14 26 10 , 47 81 64 3 →= 48 64 7 14 26 3 , 47 81 64 7 →= 48 64 7 14 26 7 , 47 81 64 8 →= 48 64 7 14 26 8 , 47 81 64 9 →= 48 64 7 14 26 9 , 47 81 64 10 →= 48 64 7 14 26 10 , 60 81 64 3 →= 61 64 7 14 26 3 , 60 81 64 7 →= 61 64 7 14 26 7 , 60 81 64 8 →= 61 64 7 14 26 8 , 60 81 64 9 →= 61 64 7 14 26 9 , 60 81 64 10 →= 61 64 7 14 26 10 , 79 81 67 12 →= 81 64 7 14 27 12 , 79 81 67 14 →= 81 64 7 14 27 14 , 83 81 67 12 →= 84 64 7 14 27 12 , 83 81 67 14 →= 84 64 7 14 27 14 , 85 81 67 12 →= 86 64 7 14 27 12 , 85 81 67 14 →= 86 64 7 14 27 14 , 18 81 67 12 →= 19 64 7 14 27 12 , 18 81 67 14 →= 19 64 7 14 27 14 , 36 81 67 12 →= 37 64 7 14 27 12 , 36 81 67 14 →= 37 64 7 14 27 14 , 47 81 67 12 →= 48 64 7 14 27 12 , 47 81 67 14 →= 48 64 7 14 27 14 , 60 81 67 12 →= 61 64 7 14 27 12 , 60 81 67 14 →= 61 64 7 14 27 14 , 79 81 63 16 →= 81 64 7 14 28 16 , 79 81 63 18 →= 81 64 7 14 28 18 , 79 81 63 19 →= 81 64 7 14 28 19 , 79 81 63 20 →= 81 64 7 14 28 20 , 83 81 63 16 →= 84 64 7 14 28 16 , 83 81 63 18 →= 84 64 7 14 28 18 , 83 81 63 19 →= 84 64 7 14 28 19 , 83 81 63 20 →= 84 64 7 14 28 20 , 85 81 63 16 →= 86 64 7 14 28 16 , 85 81 63 18 →= 86 64 7 14 28 18 , 85 81 63 19 →= 86 64 7 14 28 19 , 85 81 63 20 →= 86 64 7 14 28 20 , 18 81 63 16 →= 19 64 7 14 28 16 , 18 81 63 18 →= 19 64 7 14 28 18 , 18 81 63 19 →= 19 64 7 14 28 19 , 18 81 63 20 →= 19 64 7 14 28 20 , 36 81 63 16 →= 37 64 7 14 28 16 , 36 81 63 18 →= 37 64 7 14 28 18 , 36 81 63 19 →= 37 64 7 14 28 19 , 36 81 63 20 →= 37 64 7 14 28 20 , 47 81 63 16 →= 48 64 7 14 28 16 , 47 81 63 18 →= 48 64 7 14 28 18 , 47 81 63 19 →= 48 64 7 14 28 19 , 47 81 63 20 →= 48 64 7 14 28 20 , 60 81 63 16 →= 61 64 7 14 28 16 , 60 81 63 18 →= 61 64 7 14 28 18 , 60 81 63 19 →= 61 64 7 14 28 19 , 60 81 63 20 →= 61 64 7 14 28 20 , 79 81 70 22 →= 81 64 7 14 30 22 , 83 81 70 22 →= 84 64 7 14 30 22 , 85 81 70 22 →= 86 64 7 14 30 22 , 18 81 70 22 →= 19 64 7 14 30 22 , 36 81 70 22 →= 37 64 7 14 30 22 , 47 81 70 22 →= 48 64 7 14 30 22 , 60 81 70 22 →= 61 64 7 14 30 22 , 24 25 26 3 →= 50 51 52 26 , 24 25 26 7 →= 50 51 52 27 , 24 25 26 8 →= 50 51 52 28 , 24 25 26 9 →= 50 51 52 29 , 24 25 26 10 →= 50 51 52 30 , 58 25 26 3 →= 54 51 52 26 , 58 25 26 7 →= 54 51 52 27 , 58 25 26 8 →= 54 51 52 28 , 58 25 26 9 →= 54 51 52 29 , 58 25 26 10 →= 54 51 52 30 , 24 25 27 12 →= 50 51 56 32 , 24 25 27 14 →= 50 51 56 33 , 58 25 27 12 →= 54 51 56 32 , 58 25 27 14 →= 54 51 56 33 , 24 25 28 16 →= 50 51 59 35 , 24 25 28 18 →= 50 51 59 36 , 24 25 28 19 →= 50 51 59 37 , 24 25 28 20 →= 50 51 59 38 , 58 25 28 16 →= 54 51 59 35 , 58 25 28 18 →= 54 51 59 36 , 58 25 28 19 →= 54 51 59 37 , 58 25 28 20 →= 54 51 59 38 , 24 25 30 22 →= 50 51 69 40 , 58 25 30 22 →= 54 51 69 40 , 11 14 26 3 →= 15 16 52 26 , 11 14 26 7 →= 15 16 52 27 , 11 14 26 8 →= 15 16 52 28 , 11 14 26 9 →= 15 16 52 29 , 11 14 26 10 →= 15 16 52 30 , 7 14 26 3 →= 8 16 52 26 , 7 14 26 7 →= 8 16 52 27 , 7 14 26 8 →= 8 16 52 28 , 7 14 26 9 →= 8 16 52 29 , 7 14 26 10 →= 8 16 52 30 , 67 14 26 3 →= 63 16 52 26 , 67 14 26 7 →= 63 16 52 27 , 67 14 26 8 →= 63 16 52 28 , 67 14 26 9 →= 63 16 52 29 , 67 14 26 10 →= 63 16 52 30 , 13 14 26 3 →= 17 16 52 26 , 13 14 26 7 →= 17 16 52 27 , 13 14 26 8 →= 17 16 52 28 , 13 14 26 9 →= 17 16 52 29 , 13 14 26 10 →= 17 16 52 30 , 68 14 26 3 →= 65 16 52 26 , 68 14 26 7 →= 65 16 52 27 , 68 14 26 8 →= 65 16 52 28 , 68 14 26 9 →= 65 16 52 29 , 68 14 26 10 →= 65 16 52 30 , 27 14 26 3 →= 28 16 52 26 , 27 14 26 7 →= 28 16 52 27 , 27 14 26 8 →= 28 16 52 28 , 27 14 26 9 →= 28 16 52 29 , 27 14 26 10 →= 28 16 52 30 , 11 14 27 12 →= 15 16 56 32 , 11 14 27 14 →= 15 16 56 33 , 7 14 27 12 →= 8 16 56 32 , 7 14 27 14 →= 8 16 56 33 , 67 14 27 12 →= 63 16 56 32 , 67 14 27 14 →= 63 16 56 33 , 13 14 27 12 →= 17 16 56 32 , 13 14 27 14 →= 17 16 56 33 , 68 14 27 12 →= 65 16 56 32 , 68 14 27 14 →= 65 16 56 33 , 27 14 27 12 →= 28 16 56 32 , 27 14 27 14 →= 28 16 56 33 , 11 14 28 16 →= 15 16 59 35 , 11 14 28 18 →= 15 16 59 36 , 11 14 28 19 →= 15 16 59 37 , 11 14 28 20 →= 15 16 59 38 , 7 14 28 16 →= 8 16 59 35 , 7 14 28 18 →= 8 16 59 36 , 7 14 28 19 →= 8 16 59 37 , 7 14 28 20 →= 8 16 59 38 , 67 14 28 16 →= 63 16 59 35 , 67 14 28 18 →= 63 16 59 36 , 67 14 28 19 →= 63 16 59 37 , 67 14 28 20 →= 63 16 59 38 , 13 14 28 16 →= 17 16 59 35 , 13 14 28 18 →= 17 16 59 36 , 13 14 28 19 →= 17 16 59 37 , 13 14 28 20 →= 17 16 59 38 , 68 14 28 16 →= 65 16 59 35 , 68 14 28 18 →= 65 16 59 36 , 68 14 28 19 →= 65 16 59 37 , 68 14 28 20 →= 65 16 59 38 , 27 14 28 16 →= 28 16 59 35 , 27 14 28 18 →= 28 16 59 36 , 27 14 28 19 →= 28 16 59 37 , 27 14 28 20 →= 28 16 59 38 , 11 14 30 22 →= 15 16 69 40 , 7 14 30 22 →= 8 16 69 40 , 67 14 30 22 →= 63 16 69 40 , 13 14 30 22 →= 17 16 69 40 , 68 14 30 22 →= 65 16 69 40 , 27 14 30 22 →= 28 16 69 40 , 42 44 26 3 →= 45 46 52 26 , 42 44 26 7 →= 45 46 52 27 , 42 44 26 8 →= 45 46 52 28 , 42 44 26 9 →= 45 46 52 29 , 42 44 26 10 →= 45 46 52 30 , 74 44 26 3 →= 72 46 52 26 , 74 44 26 7 →= 72 46 52 27 , 74 44 26 8 →= 72 46 52 28 , 74 44 26 9 →= 72 46 52 29 , 74 44 26 10 →= 72 46 52 30 , 42 44 27 12 →= 45 46 56 32 , 42 44 27 14 →= 45 46 56 33 , 74 44 27 12 →= 72 46 56 32 , 74 44 27 14 →= 72 46 56 33 , 42 44 28 16 →= 45 46 59 35 , 42 44 28 18 →= 45 46 59 36 , 42 44 28 19 →= 45 46 59 37 , 42 44 28 20 →= 45 46 59 38 , 74 44 28 16 →= 72 46 59 35 , 74 44 28 18 →= 72 46 59 36 , 74 44 28 19 →= 72 46 59 37 , 74 44 28 20 →= 72 46 59 38 , 42 44 30 22 →= 45 46 69 40 , 74 44 30 22 →= 72 46 69 40 , 56 33 26 3 →= 59 35 52 26 , 56 33 26 7 →= 59 35 52 27 , 56 33 26 8 →= 59 35 52 28 , 56 33 26 9 →= 59 35 52 29 , 56 33 26 10 →= 59 35 52 30 , 77 33 26 3 →= 75 35 52 26 , 77 33 26 7 →= 75 35 52 27 , 77 33 26 8 →= 75 35 52 28 , 77 33 26 9 →= 75 35 52 29 , 77 33 26 10 →= 75 35 52 30 , 31 33 26 3 →= 34 35 52 26 , 31 33 26 7 →= 34 35 52 27 , 31 33 26 8 →= 34 35 52 28 , 31 33 26 9 →= 34 35 52 29 , 31 33 26 10 →= 34 35 52 30 , 56 33 27 12 →= 59 35 56 32 , 56 33 27 14 →= 59 35 56 33 , 77 33 27 12 →= 75 35 56 32 , 77 33 27 14 →= 75 35 56 33 , 31 33 27 12 →= 34 35 56 32 , 31 33 27 14 →= 34 35 56 33 , 56 33 28 16 →= 59 35 59 35 , 56 33 28 18 →= 59 35 59 36 , 56 33 28 19 →= 59 35 59 37 , 56 33 28 20 →= 59 35 59 38 , 77 33 28 16 →= 75 35 59 35 , 77 33 28 18 →= 75 35 59 36 , 77 33 28 19 →= 75 35 59 37 , 77 33 28 20 →= 75 35 59 38 , 31 33 28 16 →= 34 35 59 35 , 31 33 28 18 →= 34 35 59 36 , 31 33 28 19 →= 34 35 59 37 , 31 33 28 20 →= 34 35 59 38 , 56 33 30 22 →= 59 35 69 40 , 77 33 30 22 →= 75 35 69 40 , 31 33 30 22 →= 34 35 69 40 , 80 52 26 3 →= 79 80 52 26 , 80 52 26 7 →= 79 80 52 27 , 80 52 26 8 →= 79 80 52 28 , 80 52 26 9 →= 79 80 52 29 , 80 52 26 10 →= 79 80 52 30 , 88 52 26 3 →= 83 80 52 26 , 88 52 26 7 →= 83 80 52 27 , 88 52 26 8 →= 83 80 52 28 , 88 52 26 9 →= 83 80 52 29 , 88 52 26 10 →= 83 80 52 30 , 89 52 26 3 →= 85 80 52 26 , 89 52 26 7 →= 85 80 52 27 , 89 52 26 8 →= 85 80 52 28 , 89 52 26 9 →= 85 80 52 29 , 89 52 26 10 →= 85 80 52 30 , 16 52 26 3 →= 18 80 52 26 , 16 52 26 7 →= 18 80 52 27 , 16 52 26 8 →= 18 80 52 28 , 16 52 26 9 →= 18 80 52 29 , 16 52 26 10 →= 18 80 52 30 , 35 52 26 3 →= 36 80 52 26 , 35 52 26 7 →= 36 80 52 27 , 35 52 26 8 →= 36 80 52 28 , 35 52 26 9 →= 36 80 52 29 , 35 52 26 10 →= 36 80 52 30 , 46 52 26 3 →= 47 80 52 26 , 46 52 26 7 →= 47 80 52 27 , 46 52 26 8 →= 47 80 52 28 , 46 52 26 9 →= 47 80 52 29 , 46 52 26 10 →= 47 80 52 30 , 51 52 26 3 →= 60 80 52 26 , 51 52 26 7 →= 60 80 52 27 , 51 52 26 8 →= 60 80 52 28 , 51 52 26 9 →= 60 80 52 29 , 51 52 26 10 →= 60 80 52 30 , 80 52 27 12 →= 79 80 56 32 , 80 52 27 14 →= 79 80 56 33 , 88 52 27 12 →= 83 80 56 32 , 88 52 27 14 →= 83 80 56 33 , 89 52 27 12 →= 85 80 56 32 , 89 52 27 14 →= 85 80 56 33 , 16 52 27 12 →= 18 80 56 32 , 16 52 27 14 →= 18 80 56 33 , 35 52 27 12 →= 36 80 56 32 , 35 52 27 14 →= 36 80 56 33 , 46 52 27 12 →= 47 80 56 32 , 46 52 27 14 →= 47 80 56 33 , 51 52 27 12 →= 60 80 56 32 , 51 52 27 14 →= 60 80 56 33 , 80 52 28 16 →= 79 80 59 35 , 80 52 28 18 →= 79 80 59 36 , 80 52 28 19 →= 79 80 59 37 , 80 52 28 20 →= 79 80 59 38 , 88 52 28 16 →= 83 80 59 35 , 88 52 28 18 →= 83 80 59 36 , 88 52 28 19 →= 83 80 59 37 , 88 52 28 20 →= 83 80 59 38 , 89 52 28 16 →= 85 80 59 35 , 89 52 28 18 →= 85 80 59 36 , 89 52 28 19 →= 85 80 59 37 , 89 52 28 20 →= 85 80 59 38 , 16 52 28 16 →= 18 80 59 35 , 16 52 28 18 →= 18 80 59 36 , 16 52 28 19 →= 18 80 59 37 , 16 52 28 20 →= 18 80 59 38 , 35 52 28 16 →= 36 80 59 35 , 35 52 28 18 →= 36 80 59 36 , 35 52 28 19 →= 36 80 59 37 , 35 52 28 20 →= 36 80 59 38 , 46 52 28 16 →= 47 80 59 35 , 46 52 28 18 →= 47 80 59 36 , 46 52 28 19 →= 47 80 59 37 , 46 52 28 20 →= 47 80 59 38 , 51 52 28 16 →= 60 80 59 35 , 51 52 28 18 →= 60 80 59 36 , 51 52 28 19 →= 60 80 59 37 , 51 52 28 20 →= 60 80 59 38 , 80 52 30 22 →= 79 80 69 40 , 88 52 30 22 →= 83 80 69 40 , 89 52 30 22 →= 85 80 69 40 , 16 52 30 22 →= 18 80 69 40 , 35 52 30 22 →= 36 80 69 40 , 46 52 30 22 →= 47 80 69 40 , 51 52 30 22 →= 60 80 69 40 , 92 94 26 3 →= 91 88 52 26 , 92 94 26 7 →= 91 88 52 27 , 92 94 26 8 →= 91 88 52 28 , 92 94 26 9 →= 91 88 52 29 , 92 94 26 10 →= 91 88 52 30 , 92 94 27 12 →= 91 88 56 32 , 92 94 27 14 →= 91 88 56 33 , 92 94 28 16 →= 91 88 59 35 , 92 94 28 18 →= 91 88 59 36 , 92 94 28 19 →= 91 88 59 37 , 92 94 28 20 →= 91 88 59 38 , 92 94 30 22 →= 91 88 69 40 } 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 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 2 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 3 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 4 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 5 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 6 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 7 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 8 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 9 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 10 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 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 1 ⎟ ⎜ 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 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 26 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 27 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 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 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 35 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 36 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 37 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 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 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 51 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 52 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 53 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 54 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 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 3 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 64 ↦ ⎛ ⎞ ⎜ 1 4 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 65 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 66 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 67 ↦ ⎛ ⎞ ⎜ 1 3 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 68 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 69 ↦ ⎛ ⎞ ⎜ 1 1 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 70 ↦ ⎛ ⎞ ⎜ 1 4 ⎟ ⎜ 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 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 80 ↦ ⎛ ⎞ ⎜ 1 2 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 81 ↦ ⎛ ⎞ ⎜ 1 3 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 82 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 83 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 84 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 85 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 86 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 87 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 88 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 89 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 90 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 91 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 92 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 93 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 94 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ 95 ↦ ⎛ ⎞ ⎜ 1 0 ⎟ ⎜ 0 1 ⎟ ⎝ ⎠ After renaming modulo the bijection { 50 ↦ 0, 51 ↦ 1, 56 ↦ 2, 33 ↦ 3, 24 ↦ 4, 25 ↦ 5, 54 ↦ 6, 58 ↦ 7, 59 ↦ 8, 35 ↦ 9, 36 ↦ 10, 60 ↦ 11, 8 ↦ 12, 16 ↦ 13, 52 ↦ 14, 26 ↦ 15, 3 ↦ 16, 27 ↦ 17, 7 ↦ 18, 28 ↦ 19, 29 ↦ 20, 9 ↦ 21, 30 ↦ 22, 10 ↦ 23, 63 ↦ 24, 64 ↦ 25, 15 ↦ 26, 32 ↦ 27, 11 ↦ 28, 12 ↦ 29, 14 ↦ 30, 67 ↦ 31, 17 ↦ 32, 13 ↦ 33, 65 ↦ 34, 68 ↦ 35, 18 ↦ 36, 37 ↦ 37, 19 ↦ 38, 38 ↦ 39, 20 ↦ 40, 69 ↦ 41, 40 ↦ 42, 22 ↦ 43, 70 ↦ 44, 45 ↦ 45, 46 ↦ 46, 42 ↦ 47, 44 ↦ 48, 72 ↦ 49, 74 ↦ 50, 47 ↦ 51, 75 ↦ 52, 77 ↦ 53, 34 ↦ 54, 31 ↦ 55, 79 ↦ 56, 80 ↦ 57, 81 ↦ 58, 83 ↦ 59, 88 ↦ 60, 85 ↦ 61, 89 ↦ 62, 91 ↦ 63, 92 ↦ 64, 94 ↦ 65 }, it remains to prove termination of the 469-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 , 26 13 2 27 →= 28 29 , 26 13 2 3 →= 28 30 , 12 13 2 27 →= 18 29 , 12 13 2 3 →= 18 30 , 24 13 2 27 →= 31 29 , 24 13 2 3 →= 31 30 , 32 13 2 27 →= 33 29 , 32 13 2 3 →= 33 30 , 34 13 2 27 →= 35 29 , 34 13 2 3 →= 35 30 , 19 13 2 27 →= 17 29 , 19 13 2 3 →= 17 30 , 26 13 8 9 →= 26 13 , 26 13 8 10 →= 26 36 , 26 13 8 37 →= 26 38 , 26 13 8 39 →= 26 40 , 12 13 8 9 →= 12 13 , 12 13 8 10 →= 12 36 , 12 13 8 37 →= 12 38 , 12 13 8 39 →= 12 40 , 24 13 8 9 →= 24 13 , 24 13 8 10 →= 24 36 , 24 13 8 37 →= 24 38 , 24 13 8 39 →= 24 40 , 32 13 8 9 →= 32 13 , 32 13 8 10 →= 32 36 , 32 13 8 37 →= 32 38 , 32 13 8 39 →= 32 40 , 34 13 8 9 →= 34 13 , 34 13 8 10 →= 34 36 , 34 13 8 37 →= 34 38 , 34 13 8 39 →= 34 40 , 19 13 8 9 →= 19 13 , 19 13 8 10 →= 19 36 , 19 13 8 37 →= 19 38 , 19 13 8 39 →= 19 40 , 12 13 41 42 →= 23 43 , 24 13 41 42 →= 44 43 , 19 13 41 42 →= 22 43 , 45 46 2 3 →= 47 48 , 49 46 2 3 →= 50 48 , 45 46 8 9 →= 45 46 , 45 46 8 10 →= 45 51 , 49 46 8 9 →= 49 46 , 49 46 8 10 →= 49 51 , 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 , 8 9 2 27 →= 2 27 , 8 9 2 3 →= 2 3 , 52 9 2 27 →= 53 27 , 52 9 2 3 →= 53 3 , 54 9 2 27 →= 55 27 , 54 9 2 3 →= 55 3 , 8 9 8 9 →= 8 9 , 8 9 8 10 →= 8 10 , 8 9 8 37 →= 8 37 , 8 9 8 39 →= 8 39 , 52 9 8 9 →= 52 9 , 52 9 8 10 →= 52 10 , 52 9 8 37 →= 52 37 , 52 9 8 39 →= 52 39 , 54 9 8 9 →= 54 9 , 54 9 8 10 →= 54 10 , 54 9 8 37 →= 54 37 , 54 9 8 39 →= 54 39 , 8 9 41 42 →= 41 42 , 56 57 14 15 →= 58 25 , 56 57 14 17 →= 58 31 , 56 57 14 19 →= 58 24 , 56 57 14 22 →= 58 44 , 36 57 14 15 →= 38 25 , 36 57 14 17 →= 38 31 , 36 57 14 19 →= 38 24 , 36 57 14 22 →= 38 44 , 10 57 14 15 →= 37 25 , 10 57 14 17 →= 37 31 , 10 57 14 19 →= 37 24 , 10 57 14 22 →= 37 44 , 56 57 2 3 →= 57 14 , 59 57 2 3 →= 60 14 , 61 57 2 3 →= 62 14 , 36 57 2 3 →= 13 14 , 10 57 2 3 →= 9 14 , 51 57 2 3 →= 46 14 , 11 57 2 3 →= 1 14 , 56 57 8 9 →= 56 57 , 56 57 8 10 →= 56 56 , 56 57 8 37 →= 56 58 , 59 57 8 9 →= 59 57 , 59 57 8 10 →= 59 56 , 59 57 8 37 →= 59 58 , 61 57 8 9 →= 61 57 , 61 57 8 10 →= 61 56 , 61 57 8 37 →= 61 58 , 36 57 8 9 →= 36 57 , 36 57 8 10 →= 36 56 , 36 57 8 37 →= 36 58 , 10 57 8 9 →= 10 57 , 10 57 8 10 →= 10 56 , 10 57 8 37 →= 10 58 , 51 57 8 9 →= 51 57 , 51 57 8 10 →= 51 56 , 51 57 8 37 →= 51 58 , 11 57 8 9 →= 11 57 , 11 57 8 10 →= 11 56 , 11 57 8 37 →= 11 58 , 63 60 2 3 →= 64 65 , 63 60 8 9 →= 63 60 , 63 60 8 10 →= 63 59 , 12 38 25 16 →= 16 16 18 30 15 16 , 12 38 25 18 →= 16 16 18 30 15 18 , 12 38 25 12 →= 16 16 18 30 15 12 , 12 38 25 21 →= 16 16 18 30 15 21 , 12 38 25 23 →= 16 16 18 30 15 23 , 24 38 25 16 →= 25 16 18 30 15 16 , 24 38 25 18 →= 25 16 18 30 15 18 , 24 38 25 12 →= 25 16 18 30 15 12 , 24 38 25 21 →= 25 16 18 30 15 21 , 24 38 25 23 →= 25 16 18 30 15 23 , 19 38 25 16 →= 15 16 18 30 15 16 , 19 38 25 18 →= 15 16 18 30 15 18 , 19 38 25 12 →= 15 16 18 30 15 12 , 19 38 25 21 →= 15 16 18 30 15 21 , 19 38 25 23 →= 15 16 18 30 15 23 , 12 38 31 29 →= 16 16 18 30 17 29 , 12 38 31 30 →= 16 16 18 30 17 30 , 24 38 31 29 →= 25 16 18 30 17 29 , 24 38 31 30 →= 25 16 18 30 17 30 , 19 38 31 29 →= 15 16 18 30 17 29 , 19 38 31 30 →= 15 16 18 30 17 30 , 12 38 24 13 →= 16 16 18 30 19 13 , 12 38 24 36 →= 16 16 18 30 19 36 , 12 38 24 38 →= 16 16 18 30 19 38 , 12 38 24 40 →= 16 16 18 30 19 40 , 24 38 24 13 →= 25 16 18 30 19 13 , 24 38 24 36 →= 25 16 18 30 19 36 , 24 38 24 38 →= 25 16 18 30 19 38 , 24 38 24 40 →= 25 16 18 30 19 40 , 19 38 24 13 →= 15 16 18 30 19 13 , 19 38 24 36 →= 15 16 18 30 19 36 , 19 38 24 38 →= 15 16 18 30 19 38 , 19 38 24 40 →= 15 16 18 30 19 40 , 12 38 44 43 →= 16 16 18 30 22 43 , 24 38 44 43 →= 25 16 18 30 22 43 , 19 38 44 43 →= 15 16 18 30 22 43 , 8 37 25 16 →= 14 15 18 30 15 16 , 8 37 25 18 →= 14 15 18 30 15 18 , 8 37 25 12 →= 14 15 18 30 15 12 , 8 37 25 21 →= 14 15 18 30 15 21 , 8 37 25 23 →= 14 15 18 30 15 23 , 8 37 31 29 →= 14 15 18 30 17 29 , 8 37 31 30 →= 14 15 18 30 17 30 , 8 37 24 13 →= 14 15 18 30 19 13 , 8 37 24 36 →= 14 15 18 30 19 36 , 8 37 24 38 →= 14 15 18 30 19 38 , 8 37 24 40 →= 14 15 18 30 19 40 , 8 37 44 43 →= 14 15 18 30 22 43 , 56 58 25 16 →= 58 25 18 30 15 16 , 56 58 25 18 →= 58 25 18 30 15 18 , 56 58 25 12 →= 58 25 18 30 15 12 , 56 58 25 21 →= 58 25 18 30 15 21 , 56 58 25 23 →= 58 25 18 30 15 23 , 36 58 25 16 →= 38 25 18 30 15 16 , 36 58 25 18 →= 38 25 18 30 15 18 , 36 58 25 12 →= 38 25 18 30 15 12 , 36 58 25 21 →= 38 25 18 30 15 21 , 36 58 25 23 →= 38 25 18 30 15 23 , 10 58 25 16 →= 37 25 18 30 15 16 , 10 58 25 18 →= 37 25 18 30 15 18 , 10 58 25 12 →= 37 25 18 30 15 12 , 10 58 25 21 →= 37 25 18 30 15 21 , 10 58 25 23 →= 37 25 18 30 15 23 , 56 58 31 29 →= 58 25 18 30 17 29 , 56 58 31 30 →= 58 25 18 30 17 30 , 36 58 31 29 →= 38 25 18 30 17 29 , 36 58 31 30 →= 38 25 18 30 17 30 , 10 58 31 29 →= 37 25 18 30 17 29 , 10 58 31 30 →= 37 25 18 30 17 30 , 56 58 24 13 →= 58 25 18 30 19 13 , 56 58 24 36 →= 58 25 18 30 19 36 , 56 58 24 38 →= 58 25 18 30 19 38 , 56 58 24 40 →= 58 25 18 30 19 40 , 36 58 24 13 →= 38 25 18 30 19 13 , 36 58 24 36 →= 38 25 18 30 19 36 , 36 58 24 38 →= 38 25 18 30 19 38 , 36 58 24 40 →= 38 25 18 30 19 40 , 10 58 24 13 →= 37 25 18 30 19 13 , 10 58 24 36 →= 37 25 18 30 19 36 , 10 58 24 38 →= 37 25 18 30 19 38 , 10 58 24 40 →= 37 25 18 30 19 40 , 56 58 44 43 →= 58 25 18 30 22 43 , 36 58 44 43 →= 38 25 18 30 22 43 , 10 58 44 43 →= 37 25 18 30 22 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 29 →= 0 1 2 27 , 4 5 17 30 →= 0 1 2 3 , 7 5 17 29 →= 6 1 2 27 , 7 5 17 30 →= 6 1 2 3 , 4 5 19 13 →= 0 1 8 9 , 4 5 19 36 →= 0 1 8 10 , 4 5 19 38 →= 0 1 8 37 , 4 5 19 40 →= 0 1 8 39 , 7 5 19 13 →= 6 1 8 9 , 7 5 19 36 →= 6 1 8 10 , 7 5 19 38 →= 6 1 8 37 , 7 5 19 40 →= 6 1 8 39 , 4 5 22 43 →= 0 1 41 42 , 7 5 22 43 →= 6 1 41 42 , 28 30 15 16 →= 26 13 14 15 , 28 30 15 18 →= 26 13 14 17 , 28 30 15 12 →= 26 13 14 19 , 28 30 15 21 →= 26 13 14 20 , 28 30 15 23 →= 26 13 14 22 , 18 30 15 16 →= 12 13 14 15 , 18 30 15 18 →= 12 13 14 17 , 18 30 15 12 →= 12 13 14 19 , 18 30 15 21 →= 12 13 14 20 , 18 30 15 23 →= 12 13 14 22 , 31 30 15 16 →= 24 13 14 15 , 31 30 15 18 →= 24 13 14 17 , 31 30 15 12 →= 24 13 14 19 , 31 30 15 21 →= 24 13 14 20 , 31 30 15 23 →= 24 13 14 22 , 33 30 15 16 →= 32 13 14 15 , 33 30 15 18 →= 32 13 14 17 , 33 30 15 12 →= 32 13 14 19 , 33 30 15 21 →= 32 13 14 20 , 33 30 15 23 →= 32 13 14 22 , 35 30 15 16 →= 34 13 14 15 , 35 30 15 18 →= 34 13 14 17 , 35 30 15 12 →= 34 13 14 19 , 35 30 15 21 →= 34 13 14 20 , 35 30 15 23 →= 34 13 14 22 , 17 30 15 16 →= 19 13 14 15 , 17 30 15 18 →= 19 13 14 17 , 17 30 15 12 →= 19 13 14 19 , 17 30 15 21 →= 19 13 14 20 , 17 30 15 23 →= 19 13 14 22 , 28 30 17 29 →= 26 13 2 27 , 28 30 17 30 →= 26 13 2 3 , 18 30 17 29 →= 12 13 2 27 , 18 30 17 30 →= 12 13 2 3 , 31 30 17 29 →= 24 13 2 27 , 31 30 17 30 →= 24 13 2 3 , 33 30 17 29 →= 32 13 2 27 , 33 30 17 30 →= 32 13 2 3 , 35 30 17 29 →= 34 13 2 27 , 35 30 17 30 →= 34 13 2 3 , 17 30 17 29 →= 19 13 2 27 , 17 30 17 30 →= 19 13 2 3 , 28 30 19 13 →= 26 13 8 9 , 28 30 19 36 →= 26 13 8 10 , 28 30 19 38 →= 26 13 8 37 , 28 30 19 40 →= 26 13 8 39 , 18 30 19 13 →= 12 13 8 9 , 18 30 19 36 →= 12 13 8 10 , 18 30 19 38 →= 12 13 8 37 , 18 30 19 40 →= 12 13 8 39 , 31 30 19 13 →= 24 13 8 9 , 31 30 19 36 →= 24 13 8 10 , 31 30 19 38 →= 24 13 8 37 , 31 30 19 40 →= 24 13 8 39 , 33 30 19 13 →= 32 13 8 9 , 33 30 19 36 →= 32 13 8 10 , 33 30 19 38 →= 32 13 8 37 , 33 30 19 40 →= 32 13 8 39 , 35 30 19 13 →= 34 13 8 9 , 35 30 19 36 →= 34 13 8 10 , 35 30 19 38 →= 34 13 8 37 , 35 30 19 40 →= 34 13 8 39 , 17 30 19 13 →= 19 13 8 9 , 17 30 19 36 →= 19 13 8 10 , 17 30 19 38 →= 19 13 8 37 , 17 30 19 40 →= 19 13 8 39 , 28 30 22 43 →= 26 13 41 42 , 18 30 22 43 →= 12 13 41 42 , 31 30 22 43 →= 24 13 41 42 , 33 30 22 43 →= 32 13 41 42 , 35 30 22 43 →= 34 13 41 42 , 17 30 22 43 →= 19 13 41 42 , 47 48 15 16 →= 45 46 14 15 , 47 48 15 18 →= 45 46 14 17 , 47 48 15 12 →= 45 46 14 19 , 47 48 15 21 →= 45 46 14 20 , 47 48 15 23 →= 45 46 14 22 , 50 48 15 16 →= 49 46 14 15 , 50 48 15 18 →= 49 46 14 17 , 50 48 15 12 →= 49 46 14 19 , 50 48 15 21 →= 49 46 14 20 , 50 48 15 23 →= 49 46 14 22 , 47 48 17 29 →= 45 46 2 27 , 47 48 17 30 →= 45 46 2 3 , 50 48 17 29 →= 49 46 2 27 , 50 48 17 30 →= 49 46 2 3 , 47 48 19 13 →= 45 46 8 9 , 47 48 19 36 →= 45 46 8 10 , 47 48 19 38 →= 45 46 8 37 , 47 48 19 40 →= 45 46 8 39 , 50 48 19 13 →= 49 46 8 9 , 50 48 19 36 →= 49 46 8 10 , 50 48 19 38 →= 49 46 8 37 , 50 48 19 40 →= 49 46 8 39 , 47 48 22 43 →= 45 46 41 42 , 50 48 22 43 →= 49 46 41 42 , 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 , 53 3 15 16 →= 52 9 14 15 , 53 3 15 18 →= 52 9 14 17 , 53 3 15 12 →= 52 9 14 19 , 53 3 15 21 →= 52 9 14 20 , 53 3 15 23 →= 52 9 14 22 , 55 3 15 16 →= 54 9 14 15 , 55 3 15 18 →= 54 9 14 17 , 55 3 15 12 →= 54 9 14 19 , 55 3 15 21 →= 54 9 14 20 , 55 3 15 23 →= 54 9 14 22 , 2 3 17 29 →= 8 9 2 27 , 2 3 17 30 →= 8 9 2 3 , 53 3 17 29 →= 52 9 2 27 , 53 3 17 30 →= 52 9 2 3 , 55 3 17 29 →= 54 9 2 27 , 55 3 17 30 →= 54 9 2 3 , 2 3 19 13 →= 8 9 8 9 , 2 3 19 36 →= 8 9 8 10 , 2 3 19 38 →= 8 9 8 37 , 2 3 19 40 →= 8 9 8 39 , 53 3 19 13 →= 52 9 8 9 , 53 3 19 36 →= 52 9 8 10 , 53 3 19 38 →= 52 9 8 37 , 53 3 19 40 →= 52 9 8 39 , 55 3 19 13 →= 54 9 8 9 , 55 3 19 36 →= 54 9 8 10 , 55 3 19 38 →= 54 9 8 37 , 55 3 19 40 →= 54 9 8 39 , 2 3 22 43 →= 8 9 41 42 , 53 3 22 43 →= 52 9 41 42 , 55 3 22 43 →= 54 9 41 42 , 57 14 15 16 →= 56 57 14 15 , 57 14 15 18 →= 56 57 14 17 , 57 14 15 12 →= 56 57 14 19 , 57 14 15 21 →= 56 57 14 20 , 57 14 15 23 →= 56 57 14 22 , 60 14 15 16 →= 59 57 14 15 , 60 14 15 18 →= 59 57 14 17 , 60 14 15 12 →= 59 57 14 19 , 60 14 15 21 →= 59 57 14 20 , 60 14 15 23 →= 59 57 14 22 , 62 14 15 16 →= 61 57 14 15 , 62 14 15 18 →= 61 57 14 17 , 62 14 15 12 →= 61 57 14 19 , 62 14 15 21 →= 61 57 14 20 , 62 14 15 23 →= 61 57 14 22 , 13 14 15 16 →= 36 57 14 15 , 13 14 15 18 →= 36 57 14 17 , 13 14 15 12 →= 36 57 14 19 , 13 14 15 21 →= 36 57 14 20 , 13 14 15 23 →= 36 57 14 22 , 9 14 15 16 →= 10 57 14 15 , 9 14 15 18 →= 10 57 14 17 , 9 14 15 12 →= 10 57 14 19 , 9 14 15 21 →= 10 57 14 20 , 9 14 15 23 →= 10 57 14 22 , 46 14 15 16 →= 51 57 14 15 , 46 14 15 18 →= 51 57 14 17 , 46 14 15 12 →= 51 57 14 19 , 46 14 15 21 →= 51 57 14 20 , 46 14 15 23 →= 51 57 14 22 , 1 14 15 16 →= 11 57 14 15 , 1 14 15 18 →= 11 57 14 17 , 1 14 15 12 →= 11 57 14 19 , 1 14 15 21 →= 11 57 14 20 , 1 14 15 23 →= 11 57 14 22 , 57 14 17 29 →= 56 57 2 27 , 57 14 17 30 →= 56 57 2 3 , 60 14 17 29 →= 59 57 2 27 , 60 14 17 30 →= 59 57 2 3 , 62 14 17 29 →= 61 57 2 27 , 62 14 17 30 →= 61 57 2 3 , 13 14 17 29 →= 36 57 2 27 , 13 14 17 30 →= 36 57 2 3 , 9 14 17 29 →= 10 57 2 27 , 9 14 17 30 →= 10 57 2 3 , 46 14 17 29 →= 51 57 2 27 , 46 14 17 30 →= 51 57 2 3 , 1 14 17 29 →= 11 57 2 27 , 1 14 17 30 →= 11 57 2 3 , 57 14 19 13 →= 56 57 8 9 , 57 14 19 36 →= 56 57 8 10 , 57 14 19 38 →= 56 57 8 37 , 57 14 19 40 →= 56 57 8 39 , 60 14 19 13 →= 59 57 8 9 , 60 14 19 36 →= 59 57 8 10 , 60 14 19 38 →= 59 57 8 37 , 60 14 19 40 →= 59 57 8 39 , 62 14 19 13 →= 61 57 8 9 , 62 14 19 36 →= 61 57 8 10 , 62 14 19 38 →= 61 57 8 37 , 62 14 19 40 →= 61 57 8 39 , 13 14 19 13 →= 36 57 8 9 , 13 14 19 36 →= 36 57 8 10 , 13 14 19 38 →= 36 57 8 37 , 13 14 19 40 →= 36 57 8 39 , 9 14 19 13 →= 10 57 8 9 , 9 14 19 36 →= 10 57 8 10 , 9 14 19 38 →= 10 57 8 37 , 9 14 19 40 →= 10 57 8 39 , 46 14 19 13 →= 51 57 8 9 , 46 14 19 36 →= 51 57 8 10 , 46 14 19 38 →= 51 57 8 37 , 46 14 19 40 →= 51 57 8 39 , 1 14 19 13 →= 11 57 8 9 , 1 14 19 36 →= 11 57 8 10 , 1 14 19 38 →= 11 57 8 37 , 1 14 19 40 →= 11 57 8 39 , 57 14 22 43 →= 56 57 41 42 , 60 14 22 43 →= 59 57 41 42 , 62 14 22 43 →= 61 57 41 42 , 13 14 22 43 →= 36 57 41 42 , 9 14 22 43 →= 10 57 41 42 , 46 14 22 43 →= 51 57 41 42 , 1 14 22 43 →= 11 57 41 42 , 64 65 15 16 →= 63 60 14 15 , 64 65 15 18 →= 63 60 14 17 , 64 65 15 12 →= 63 60 14 19 , 64 65 15 21 →= 63 60 14 20 , 64 65 15 23 →= 63 60 14 22 , 64 65 17 29 →= 63 60 2 27 , 64 65 17 30 →= 63 60 2 3 , 64 65 19 13 →= 63 60 8 9 , 64 65 19 36 →= 63 60 8 10 , 64 65 19 38 →= 63 60 8 37 , 64 65 19 40 →= 63 60 8 39 , 64 65 22 43 →= 63 60 41 42 } The system is trivially terminating.