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