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