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