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