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