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