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