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