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