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