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