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