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