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