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