/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 { 0 ↦ 0, 1 ↦ 1, 2 ↦ 2, 3 ↦ 3, 4 ↦ 4, 5 ↦ 5 },
it remains to prove termination of the 46-rule system
{ 0 1 2 ⟶ 1 0 0 2 ,
  0 1 2 ⟶ 1 0 3 2 ,
  0 1 2 ⟶ 1 0 0 3 2 ,
  0 1 2 ⟶ 4 5 1 0 2 ,
  0 5 2 ⟶ 5 0 0 2 ,
  0 5 2 ⟶ 5 5 0 2 ,
  0 5 2 ⟶ 5 0 3 3 2 ,
  0 5 3 ⟶ 5 0 0 3 ,
  0 5 3 ⟶ 5 5 0 3 ,
  0 0 5 2 ⟶ 0 2 0 3 5 5 ,
  0 1 2 3 ⟶ 1 3 2 0 3 ,
  0 1 2 4 ⟶ 4 5 1 0 2 ,
  0 1 4 2 ⟶ 4 4 1 0 2 ,
  0 4 1 2 ⟶ 0 4 5 5 1 2 ,
  0 5 2 3 ⟶ 5 0 3 2 3 ,
  1 2 1 2 ⟶ 1 1 5 2 2 ,
  4 0 1 2 ⟶ 4 1 0 0 2 ,
  4 3 0 2 ⟶ 4 0 0 3 2 ,
  4 3 1 2 ⟶ 3 2 5 4 1 1 ,
  0 0 1 2 3 ⟶ 3 2 1 0 0 3 ,
  0 0 1 3 2 ⟶ 1 0 2 0 0 3 ,
  0 0 1 3 3 ⟶ 0 0 3 1 0 3 ,
  0 0 1 5 2 ⟶ 1 5 0 0 3 2 ,
  0 1 2 1 2 ⟶ 1 1 0 2 2 2 ,
  0 1 4 5 2 ⟶ 4 1 0 3 2 5 ,
  0 5 0 1 2 ⟶ 1 2 0 1 5 0 ,
  0 5 1 0 2 ⟶ 1 5 0 0 3 2 ,
  0 5 1 4 3 ⟶ 1 0 3 5 4 5 ,
  0 5 1 4 3 ⟶ 4 5 5 1 0 3 ,
  0 5 3 1 2 ⟶ 0 1 5 0 2 3 ,
  0 5 3 1 2 ⟶ 5 0 1 4 3 2 ,
  0 5 3 4 2 ⟶ 3 2 0 3 5 4 ,
  0 5 4 3 2 ⟶ 0 0 4 3 2 5 ,
  1 2 5 2 3 ⟶ 5 1 2 3 3 2 ,
  1 3 0 5 2 ⟶ 0 5 1 0 3 2 ,
  1 3 0 5 2 ⟶ 1 3 0 0 2 5 ,
  1 3 3 4 2 ⟶ 5 1 3 3 2 4 ,
  4 3 0 2 3 ⟶ 0 3 3 3 2 4 ,
  4 3 0 5 3 ⟶ 5 4 3 5 0 3 ,
  4 3 3 1 2 ⟶ 1 3 0 4 3 2 ,
  5 2 3 0 2 ⟶ 4 5 0 2 3 2 ,
  5 2 3 1 2 ⟶ 2 3 2 4 1 5 ,
  5 3 0 2 2 ⟶ 5 3 3 2 0 2 ,
  5 3 0 5 2 ⟶ 5 5 3 0 2 4 ,
  5 3 1 2 2 ⟶ 5 1 3 2 2 2 ,
  5 3 1 5 2 ⟶ 2 5 5 1 5 3 }

Applying sparse tiling TRFC(2) [Geser/Hofbauer/Waldmann, FSCD 2019].

After renaming modulo the bijection { (0,0) ↦ 0, (0,1) ↦ 1, (1,2) ↦ 2, (2,0) ↦ 3, (1,0) ↦ 4, (0,2) ↦ 5, (2,1) ↦ 6, (2,2) ↦ 7, (2,3) ↦ 8, (2,4) ↦ 9, (2,5) ↦ 10, (2,7) ↦ 11, (1,1) ↦ 12, (3,0) ↦ 13, (3,1) ↦ 14, (4,0) ↦ 15, (4,1) ↦ 16, (5,0) ↦ 17, (5,1) ↦ 18, (6,0) ↦ 19, (6,1) ↦ 20, (0,3) ↦ 21, (3,2) ↦ 22, (0,4) ↦ 23, (4,5) ↦ 24, (1,4) ↦ 25, (3,4) ↦ 26, (4,4) ↦ 27, (5,4) ↦ 28, (6,4) ↦ 29, (0,5) ↦ 30, (5,2) ↦ 31, (1,5) ↦ 32, (3,5) ↦ 33, (5,5) ↦ 34, (6,5) ↦ 35, (3,3) ↦ 36, (5,3) ↦ 37, (3,7) ↦ 38, (5,7) ↦ 39, (1,3) ↦ 40, (4,2) ↦ 41, (4,3) ↦ 42, (4,7) ↦ 43, (1,7) ↦ 44, (6,3) ↦ 45, (0,7) ↦ 46, (6,2) ↦ 47 },
it remains to prove termination of the 2254-rule system
{ 0 1 2 3 ⟶ 1 4 0 5 3 ,
  0 1 2 6 ⟶ 1 4 0 5 6 ,
  0 1 2 7 ⟶ 1 4 0 5 7 ,
  0 1 2 8 ⟶ 1 4 0 5 8 ,
  0 1 2 9 ⟶ 1 4 0 5 9 ,
  0 1 2 10 ⟶ 1 4 0 5 10 ,
  0 1 2 11 ⟶ 1 4 0 5 11 ,
  4 1 2 3 ⟶ 12 4 0 5 3 ,
  4 1 2 6 ⟶ 12 4 0 5 6 ,
  4 1 2 7 ⟶ 12 4 0 5 7 ,
  4 1 2 8 ⟶ 12 4 0 5 8 ,
  4 1 2 9 ⟶ 12 4 0 5 9 ,
  4 1 2 10 ⟶ 12 4 0 5 10 ,
  4 1 2 11 ⟶ 12 4 0 5 11 ,
  3 1 2 3 ⟶ 6 4 0 5 3 ,
  3 1 2 6 ⟶ 6 4 0 5 6 ,
  3 1 2 7 ⟶ 6 4 0 5 7 ,
  3 1 2 8 ⟶ 6 4 0 5 8 ,
  3 1 2 9 ⟶ 6 4 0 5 9 ,
  3 1 2 10 ⟶ 6 4 0 5 10 ,
  3 1 2 11 ⟶ 6 4 0 5 11 ,
  13 1 2 3 ⟶ 14 4 0 5 3 ,
  13 1 2 6 ⟶ 14 4 0 5 6 ,
  13 1 2 7 ⟶ 14 4 0 5 7 ,
  13 1 2 8 ⟶ 14 4 0 5 8 ,
  13 1 2 9 ⟶ 14 4 0 5 9 ,
  13 1 2 10 ⟶ 14 4 0 5 10 ,
  13 1 2 11 ⟶ 14 4 0 5 11 ,
  15 1 2 3 ⟶ 16 4 0 5 3 ,
  15 1 2 6 ⟶ 16 4 0 5 6 ,
  15 1 2 7 ⟶ 16 4 0 5 7 ,
  15 1 2 8 ⟶ 16 4 0 5 8 ,
  15 1 2 9 ⟶ 16 4 0 5 9 ,
  15 1 2 10 ⟶ 16 4 0 5 10 ,
  15 1 2 11 ⟶ 16 4 0 5 11 ,
  17 1 2 3 ⟶ 18 4 0 5 3 ,
  17 1 2 6 ⟶ 18 4 0 5 6 ,
  17 1 2 7 ⟶ 18 4 0 5 7 ,
  17 1 2 8 ⟶ 18 4 0 5 8 ,
  17 1 2 9 ⟶ 18 4 0 5 9 ,
  17 1 2 10 ⟶ 18 4 0 5 10 ,
  17 1 2 11 ⟶ 18 4 0 5 11 ,
  19 1 2 3 ⟶ 20 4 0 5 3 ,
  19 1 2 6 ⟶ 20 4 0 5 6 ,
  19 1 2 7 ⟶ 20 4 0 5 7 ,
  19 1 2 8 ⟶ 20 4 0 5 8 ,
  19 1 2 9 ⟶ 20 4 0 5 9 ,
  19 1 2 10 ⟶ 20 4 0 5 10 ,
  19 1 2 11 ⟶ 20 4 0 5 11 ,
  0 1 2 3 ⟶ 1 4 21 22 3 ,
  0 1 2 6 ⟶ 1 4 21 22 6 ,
  0 1 2 7 ⟶ 1 4 21 22 7 ,
  0 1 2 8 ⟶ 1 4 21 22 8 ,
  0 1 2 9 ⟶ 1 4 21 22 9 ,
  0 1 2 10 ⟶ 1 4 21 22 10 ,
  0 1 2 11 ⟶ 1 4 21 22 11 ,
  4 1 2 3 ⟶ 12 4 21 22 3 ,
  4 1 2 6 ⟶ 12 4 21 22 6 ,
  4 1 2 7 ⟶ 12 4 21 22 7 ,
  4 1 2 8 ⟶ 12 4 21 22 8 ,
  4 1 2 9 ⟶ 12 4 21 22 9 ,
  4 1 2 10 ⟶ 12 4 21 22 10 ,
  4 1 2 11 ⟶ 12 4 21 22 11 ,
  3 1 2 3 ⟶ 6 4 21 22 3 ,
  3 1 2 6 ⟶ 6 4 21 22 6 ,
  3 1 2 7 ⟶ 6 4 21 22 7 ,
  3 1 2 8 ⟶ 6 4 21 22 8 ,
  3 1 2 9 ⟶ 6 4 21 22 9 ,
  3 1 2 10 ⟶ 6 4 21 22 10 ,
  3 1 2 11 ⟶ 6 4 21 22 11 ,
  13 1 2 3 ⟶ 14 4 21 22 3 ,
  13 1 2 6 ⟶ 14 4 21 22 6 ,
  13 1 2 7 ⟶ 14 4 21 22 7 ,
  13 1 2 8 ⟶ 14 4 21 22 8 ,
  13 1 2 9 ⟶ 14 4 21 22 9 ,
  13 1 2 10 ⟶ 14 4 21 22 10 ,
  13 1 2 11 ⟶ 14 4 21 22 11 ,
  15 1 2 3 ⟶ 16 4 21 22 3 ,
  15 1 2 6 ⟶ 16 4 21 22 6 ,
  15 1 2 7 ⟶ 16 4 21 22 7 ,
  15 1 2 8 ⟶ 16 4 21 22 8 ,
  15 1 2 9 ⟶ 16 4 21 22 9 ,
  15 1 2 10 ⟶ 16 4 21 22 10 ,
  15 1 2 11 ⟶ 16 4 21 22 11 ,
  17 1 2 3 ⟶ 18 4 21 22 3 ,
  17 1 2 6 ⟶ 18 4 21 22 6 ,
  17 1 2 7 ⟶ 18 4 21 22 7 ,
  17 1 2 8 ⟶ 18 4 21 22 8 ,
  17 1 2 9 ⟶ 18 4 21 22 9 ,
  17 1 2 10 ⟶ 18 4 21 22 10 ,
  17 1 2 11 ⟶ 18 4 21 22 11 ,
  19 1 2 3 ⟶ 20 4 21 22 3 ,
  19 1 2 6 ⟶ 20 4 21 22 6 ,
  19 1 2 7 ⟶ 20 4 21 22 7 ,
  19 1 2 8 ⟶ 20 4 21 22 8 ,
  19 1 2 9 ⟶ 20 4 21 22 9 ,
  19 1 2 10 ⟶ 20 4 21 22 10 ,
  19 1 2 11 ⟶ 20 4 21 22 11 ,
  0 1 2 3 ⟶ 1 4 0 21 22 3 ,
  0 1 2 6 ⟶ 1 4 0 21 22 6 ,
  0 1 2 7 ⟶ 1 4 0 21 22 7 ,
  0 1 2 8 ⟶ 1 4 0 21 22 8 ,
  0 1 2 9 ⟶ 1 4 0 21 22 9 ,
  0 1 2 10 ⟶ 1 4 0 21 22 10 ,
  0 1 2 11 ⟶ 1 4 0 21 22 11 ,
  4 1 2 3 ⟶ 12 4 0 21 22 3 ,
  4 1 2 6 ⟶ 12 4 0 21 22 6 ,
  4 1 2 7 ⟶ 12 4 0 21 22 7 ,
  4 1 2 8 ⟶ 12 4 0 21 22 8 ,
  4 1 2 9 ⟶ 12 4 0 21 22 9 ,
  4 1 2 10 ⟶ 12 4 0 21 22 10 ,
  4 1 2 11 ⟶ 12 4 0 21 22 11 ,
  3 1 2 3 ⟶ 6 4 0 21 22 3 ,
  3 1 2 6 ⟶ 6 4 0 21 22 6 ,
  3 1 2 7 ⟶ 6 4 0 21 22 7 ,
  3 1 2 8 ⟶ 6 4 0 21 22 8 ,
  3 1 2 9 ⟶ 6 4 0 21 22 9 ,
  3 1 2 10 ⟶ 6 4 0 21 22 10 ,
  3 1 2 11 ⟶ 6 4 0 21 22 11 ,
  13 1 2 3 ⟶ 14 4 0 21 22 3 ,
  13 1 2 6 ⟶ 14 4 0 21 22 6 ,
  13 1 2 7 ⟶ 14 4 0 21 22 7 ,
  13 1 2 8 ⟶ 14 4 0 21 22 8 ,
  13 1 2 9 ⟶ 14 4 0 21 22 9 ,
  13 1 2 10 ⟶ 14 4 0 21 22 10 ,
  13 1 2 11 ⟶ 14 4 0 21 22 11 ,
  15 1 2 3 ⟶ 16 4 0 21 22 3 ,
  15 1 2 6 ⟶ 16 4 0 21 22 6 ,
  15 1 2 7 ⟶ 16 4 0 21 22 7 ,
  15 1 2 8 ⟶ 16 4 0 21 22 8 ,
  15 1 2 9 ⟶ 16 4 0 21 22 9 ,
  15 1 2 10 ⟶ 16 4 0 21 22 10 ,
  15 1 2 11 ⟶ 16 4 0 21 22 11 ,
  17 1 2 3 ⟶ 18 4 0 21 22 3 ,
  17 1 2 6 ⟶ 18 4 0 21 22 6 ,
  17 1 2 7 ⟶ 18 4 0 21 22 7 ,
  17 1 2 8 ⟶ 18 4 0 21 22 8 ,
  17 1 2 9 ⟶ 18 4 0 21 22 9 ,
  17 1 2 10 ⟶ 18 4 0 21 22 10 ,
  17 1 2 11 ⟶ 18 4 0 21 22 11 ,
  19 1 2 3 ⟶ 20 4 0 21 22 3 ,
  19 1 2 6 ⟶ 20 4 0 21 22 6 ,
  19 1 2 7 ⟶ 20 4 0 21 22 7 ,
  19 1 2 8 ⟶ 20 4 0 21 22 8 ,
  19 1 2 9 ⟶ 20 4 0 21 22 9 ,
  19 1 2 10 ⟶ 20 4 0 21 22 10 ,
  19 1 2 11 ⟶ 20 4 0 21 22 11 ,
  0 1 2 3 ⟶ 23 24 18 4 5 3 ,
  0 1 2 6 ⟶ 23 24 18 4 5 6 ,
  0 1 2 7 ⟶ 23 24 18 4 5 7 ,
  0 1 2 8 ⟶ 23 24 18 4 5 8 ,
  0 1 2 9 ⟶ 23 24 18 4 5 9 ,
  0 1 2 10 ⟶ 23 24 18 4 5 10 ,
  0 1 2 11 ⟶ 23 24 18 4 5 11 ,
  4 1 2 3 ⟶ 25 24 18 4 5 3 ,
  4 1 2 6 ⟶ 25 24 18 4 5 6 ,
  4 1 2 7 ⟶ 25 24 18 4 5 7 ,
  4 1 2 8 ⟶ 25 24 18 4 5 8 ,
  4 1 2 9 ⟶ 25 24 18 4 5 9 ,
  4 1 2 10 ⟶ 25 24 18 4 5 10 ,
  4 1 2 11 ⟶ 25 24 18 4 5 11 ,
  3 1 2 3 ⟶ 9 24 18 4 5 3 ,
  3 1 2 6 ⟶ 9 24 18 4 5 6 ,
  3 1 2 7 ⟶ 9 24 18 4 5 7 ,
  3 1 2 8 ⟶ 9 24 18 4 5 8 ,
  3 1 2 9 ⟶ 9 24 18 4 5 9 ,
  3 1 2 10 ⟶ 9 24 18 4 5 10 ,
  3 1 2 11 ⟶ 9 24 18 4 5 11 ,
  13 1 2 3 ⟶ 26 24 18 4 5 3 ,
  13 1 2 6 ⟶ 26 24 18 4 5 6 ,
  13 1 2 7 ⟶ 26 24 18 4 5 7 ,
  13 1 2 8 ⟶ 26 24 18 4 5 8 ,
  13 1 2 9 ⟶ 26 24 18 4 5 9 ,
  13 1 2 10 ⟶ 26 24 18 4 5 10 ,
  13 1 2 11 ⟶ 26 24 18 4 5 11 ,
  15 1 2 3 ⟶ 27 24 18 4 5 3 ,
  15 1 2 6 ⟶ 27 24 18 4 5 6 ,
  15 1 2 7 ⟶ 27 24 18 4 5 7 ,
  15 1 2 8 ⟶ 27 24 18 4 5 8 ,
  15 1 2 9 ⟶ 27 24 18 4 5 9 ,
  15 1 2 10 ⟶ 27 24 18 4 5 10 ,
  15 1 2 11 ⟶ 27 24 18 4 5 11 ,
  17 1 2 3 ⟶ 28 24 18 4 5 3 ,
  17 1 2 6 ⟶ 28 24 18 4 5 6 ,
  17 1 2 7 ⟶ 28 24 18 4 5 7 ,
  17 1 2 8 ⟶ 28 24 18 4 5 8 ,
  17 1 2 9 ⟶ 28 24 18 4 5 9 ,
  17 1 2 10 ⟶ 28 24 18 4 5 10 ,
  17 1 2 11 ⟶ 28 24 18 4 5 11 ,
  19 1 2 3 ⟶ 29 24 18 4 5 3 ,
  19 1 2 6 ⟶ 29 24 18 4 5 6 ,
  19 1 2 7 ⟶ 29 24 18 4 5 7 ,
  19 1 2 8 ⟶ 29 24 18 4 5 8 ,
  19 1 2 9 ⟶ 29 24 18 4 5 9 ,
  19 1 2 10 ⟶ 29 24 18 4 5 10 ,
  19 1 2 11 ⟶ 29 24 18 4 5 11 ,
  0 30 31 3 ⟶ 30 17 0 5 3 ,
  0 30 31 6 ⟶ 30 17 0 5 6 ,
  0 30 31 7 ⟶ 30 17 0 5 7 ,
  0 30 31 8 ⟶ 30 17 0 5 8 ,
  0 30 31 9 ⟶ 30 17 0 5 9 ,
  0 30 31 10 ⟶ 30 17 0 5 10 ,
  0 30 31 11 ⟶ 30 17 0 5 11 ,
  4 30 31 3 ⟶ 32 17 0 5 3 ,
  4 30 31 6 ⟶ 32 17 0 5 6 ,
  4 30 31 7 ⟶ 32 17 0 5 7 ,
  4 30 31 8 ⟶ 32 17 0 5 8 ,
  4 30 31 9 ⟶ 32 17 0 5 9 ,
  4 30 31 10 ⟶ 32 17 0 5 10 ,
  4 30 31 11 ⟶ 32 17 0 5 11 ,
  3 30 31 3 ⟶ 10 17 0 5 3 ,
  3 30 31 6 ⟶ 10 17 0 5 6 ,
  3 30 31 7 ⟶ 10 17 0 5 7 ,
  3 30 31 8 ⟶ 10 17 0 5 8 ,
  3 30 31 9 ⟶ 10 17 0 5 9 ,
  3 30 31 10 ⟶ 10 17 0 5 10 ,
  3 30 31 11 ⟶ 10 17 0 5 11 ,
  13 30 31 3 ⟶ 33 17 0 5 3 ,
  13 30 31 6 ⟶ 33 17 0 5 6 ,
  13 30 31 7 ⟶ 33 17 0 5 7 ,
  13 30 31 8 ⟶ 33 17 0 5 8 ,
  13 30 31 9 ⟶ 33 17 0 5 9 ,
  13 30 31 10 ⟶ 33 17 0 5 10 ,
  13 30 31 11 ⟶ 33 17 0 5 11 ,
  15 30 31 3 ⟶ 24 17 0 5 3 ,
  15 30 31 6 ⟶ 24 17 0 5 6 ,
  15 30 31 7 ⟶ 24 17 0 5 7 ,
  15 30 31 8 ⟶ 24 17 0 5 8 ,
  15 30 31 9 ⟶ 24 17 0 5 9 ,
  15 30 31 10 ⟶ 24 17 0 5 10 ,
  15 30 31 11 ⟶ 24 17 0 5 11 ,
  17 30 31 3 ⟶ 34 17 0 5 3 ,
  17 30 31 6 ⟶ 34 17 0 5 6 ,
  17 30 31 7 ⟶ 34 17 0 5 7 ,
  17 30 31 8 ⟶ 34 17 0 5 8 ,
  17 30 31 9 ⟶ 34 17 0 5 9 ,
  17 30 31 10 ⟶ 34 17 0 5 10 ,
  17 30 31 11 ⟶ 34 17 0 5 11 ,
  19 30 31 3 ⟶ 35 17 0 5 3 ,
  19 30 31 6 ⟶ 35 17 0 5 6 ,
  19 30 31 7 ⟶ 35 17 0 5 7 ,
  19 30 31 8 ⟶ 35 17 0 5 8 ,
  19 30 31 9 ⟶ 35 17 0 5 9 ,
  19 30 31 10 ⟶ 35 17 0 5 10 ,
  19 30 31 11 ⟶ 35 17 0 5 11 ,
  0 30 31 3 ⟶ 30 34 17 5 3 ,
  0 30 31 6 ⟶ 30 34 17 5 6 ,
  0 30 31 7 ⟶ 30 34 17 5 7 ,
  0 30 31 8 ⟶ 30 34 17 5 8 ,
  0 30 31 9 ⟶ 30 34 17 5 9 ,
  0 30 31 10 ⟶ 30 34 17 5 10 ,
  0 30 31 11 ⟶ 30 34 17 5 11 ,
  4 30 31 3 ⟶ 32 34 17 5 3 ,
  4 30 31 6 ⟶ 32 34 17 5 6 ,
  4 30 31 7 ⟶ 32 34 17 5 7 ,
  4 30 31 8 ⟶ 32 34 17 5 8 ,
  4 30 31 9 ⟶ 32 34 17 5 9 ,
  4 30 31 10 ⟶ 32 34 17 5 10 ,
  4 30 31 11 ⟶ 32 34 17 5 11 ,
  3 30 31 3 ⟶ 10 34 17 5 3 ,
  3 30 31 6 ⟶ 10 34 17 5 6 ,
  3 30 31 7 ⟶ 10 34 17 5 7 ,
  3 30 31 8 ⟶ 10 34 17 5 8 ,
  3 30 31 9 ⟶ 10 34 17 5 9 ,
  3 30 31 10 ⟶ 10 34 17 5 10 ,
  3 30 31 11 ⟶ 10 34 17 5 11 ,
  13 30 31 3 ⟶ 33 34 17 5 3 ,
  13 30 31 6 ⟶ 33 34 17 5 6 ,
  13 30 31 7 ⟶ 33 34 17 5 7 ,
  13 30 31 8 ⟶ 33 34 17 5 8 ,
  13 30 31 9 ⟶ 33 34 17 5 9 ,
  13 30 31 10 ⟶ 33 34 17 5 10 ,
  13 30 31 11 ⟶ 33 34 17 5 11 ,
  15 30 31 3 ⟶ 24 34 17 5 3 ,
  15 30 31 6 ⟶ 24 34 17 5 6 ,
  15 30 31 7 ⟶ 24 34 17 5 7 ,
  15 30 31 8 ⟶ 24 34 17 5 8 ,
  15 30 31 9 ⟶ 24 34 17 5 9 ,
  15 30 31 10 ⟶ 24 34 17 5 10 ,
  15 30 31 11 ⟶ 24 34 17 5 11 ,
  17 30 31 3 ⟶ 34 34 17 5 3 ,
  17 30 31 6 ⟶ 34 34 17 5 6 ,
  17 30 31 7 ⟶ 34 34 17 5 7 ,
  17 30 31 8 ⟶ 34 34 17 5 8 ,
  17 30 31 9 ⟶ 34 34 17 5 9 ,
  17 30 31 10 ⟶ 34 34 17 5 10 ,
  17 30 31 11 ⟶ 34 34 17 5 11 ,
  19 30 31 3 ⟶ 35 34 17 5 3 ,
  19 30 31 6 ⟶ 35 34 17 5 6 ,
  19 30 31 7 ⟶ 35 34 17 5 7 ,
  19 30 31 8 ⟶ 35 34 17 5 8 ,
  19 30 31 9 ⟶ 35 34 17 5 9 ,
  19 30 31 10 ⟶ 35 34 17 5 10 ,
  19 30 31 11 ⟶ 35 34 17 5 11 ,
  0 30 31 3 ⟶ 30 17 21 36 22 3 ,
  0 30 31 6 ⟶ 30 17 21 36 22 6 ,
  0 30 31 7 ⟶ 30 17 21 36 22 7 ,
  0 30 31 8 ⟶ 30 17 21 36 22 8 ,
  0 30 31 9 ⟶ 30 17 21 36 22 9 ,
  0 30 31 10 ⟶ 30 17 21 36 22 10 ,
  0 30 31 11 ⟶ 30 17 21 36 22 11 ,
  4 30 31 3 ⟶ 32 17 21 36 22 3 ,
  4 30 31 6 ⟶ 32 17 21 36 22 6 ,
  4 30 31 7 ⟶ 32 17 21 36 22 7 ,
  4 30 31 8 ⟶ 32 17 21 36 22 8 ,
  4 30 31 9 ⟶ 32 17 21 36 22 9 ,
  4 30 31 10 ⟶ 32 17 21 36 22 10 ,
  4 30 31 11 ⟶ 32 17 21 36 22 11 ,
  3 30 31 3 ⟶ 10 17 21 36 22 3 ,
  3 30 31 6 ⟶ 10 17 21 36 22 6 ,
  3 30 31 7 ⟶ 10 17 21 36 22 7 ,
  3 30 31 8 ⟶ 10 17 21 36 22 8 ,
  3 30 31 9 ⟶ 10 17 21 36 22 9 ,
  3 30 31 10 ⟶ 10 17 21 36 22 10 ,
  3 30 31 11 ⟶ 10 17 21 36 22 11 ,
  13 30 31 3 ⟶ 33 17 21 36 22 3 ,
  13 30 31 6 ⟶ 33 17 21 36 22 6 ,
  13 30 31 7 ⟶ 33 17 21 36 22 7 ,
  13 30 31 8 ⟶ 33 17 21 36 22 8 ,
  13 30 31 9 ⟶ 33 17 21 36 22 9 ,
  13 30 31 10 ⟶ 33 17 21 36 22 10 ,
  13 30 31 11 ⟶ 33 17 21 36 22 11 ,
  15 30 31 3 ⟶ 24 17 21 36 22 3 ,
  15 30 31 6 ⟶ 24 17 21 36 22 6 ,
  15 30 31 7 ⟶ 24 17 21 36 22 7 ,
  15 30 31 8 ⟶ 24 17 21 36 22 8 ,
  15 30 31 9 ⟶ 24 17 21 36 22 9 ,
  15 30 31 10 ⟶ 24 17 21 36 22 10 ,
  15 30 31 11 ⟶ 24 17 21 36 22 11 ,
  17 30 31 3 ⟶ 34 17 21 36 22 3 ,
  17 30 31 6 ⟶ 34 17 21 36 22 6 ,
  17 30 31 7 ⟶ 34 17 21 36 22 7 ,
  17 30 31 8 ⟶ 34 17 21 36 22 8 ,
  17 30 31 9 ⟶ 34 17 21 36 22 9 ,
  17 30 31 10 ⟶ 34 17 21 36 22 10 ,
  17 30 31 11 ⟶ 34 17 21 36 22 11 ,
  19 30 31 3 ⟶ 35 17 21 36 22 3 ,
  19 30 31 6 ⟶ 35 17 21 36 22 6 ,
  19 30 31 7 ⟶ 35 17 21 36 22 7 ,
  19 30 31 8 ⟶ 35 17 21 36 22 8 ,
  19 30 31 9 ⟶ 35 17 21 36 22 9 ,
  19 30 31 10 ⟶ 35 17 21 36 22 10 ,
  19 30 31 11 ⟶ 35 17 21 36 22 11 ,
  0 30 37 13 ⟶ 30 17 0 21 13 ,
  0 30 37 14 ⟶ 30 17 0 21 14 ,
  0 30 37 22 ⟶ 30 17 0 21 22 ,
  0 30 37 36 ⟶ 30 17 0 21 36 ,
  0 30 37 26 ⟶ 30 17 0 21 26 ,
  0 30 37 33 ⟶ 30 17 0 21 33 ,
  0 30 37 38 ⟶ 30 17 0 21 38 ,
  4 30 37 13 ⟶ 32 17 0 21 13 ,
  4 30 37 14 ⟶ 32 17 0 21 14 ,
  4 30 37 22 ⟶ 32 17 0 21 22 ,
  4 30 37 36 ⟶ 32 17 0 21 36 ,
  4 30 37 26 ⟶ 32 17 0 21 26 ,
  4 30 37 33 ⟶ 32 17 0 21 33 ,
  4 30 37 38 ⟶ 32 17 0 21 38 ,
  3 30 37 13 ⟶ 10 17 0 21 13 ,
  3 30 37 14 ⟶ 10 17 0 21 14 ,
  3 30 37 22 ⟶ 10 17 0 21 22 ,
  3 30 37 36 ⟶ 10 17 0 21 36 ,
  3 30 37 26 ⟶ 10 17 0 21 26 ,
  3 30 37 33 ⟶ 10 17 0 21 33 ,
  3 30 37 38 ⟶ 10 17 0 21 38 ,
  13 30 37 13 ⟶ 33 17 0 21 13 ,
  13 30 37 14 ⟶ 33 17 0 21 14 ,
  13 30 37 22 ⟶ 33 17 0 21 22 ,
  13 30 37 36 ⟶ 33 17 0 21 36 ,
  13 30 37 26 ⟶ 33 17 0 21 26 ,
  13 30 37 33 ⟶ 33 17 0 21 33 ,
  13 30 37 38 ⟶ 33 17 0 21 38 ,
  15 30 37 13 ⟶ 24 17 0 21 13 ,
  15 30 37 14 ⟶ 24 17 0 21 14 ,
  15 30 37 22 ⟶ 24 17 0 21 22 ,
  15 30 37 36 ⟶ 24 17 0 21 36 ,
  15 30 37 26 ⟶ 24 17 0 21 26 ,
  15 30 37 33 ⟶ 24 17 0 21 33 ,
  15 30 37 38 ⟶ 24 17 0 21 38 ,
  17 30 37 13 ⟶ 34 17 0 21 13 ,
  17 30 37 14 ⟶ 34 17 0 21 14 ,
  17 30 37 22 ⟶ 34 17 0 21 22 ,
  17 30 37 36 ⟶ 34 17 0 21 36 ,
  17 30 37 26 ⟶ 34 17 0 21 26 ,
  17 30 37 33 ⟶ 34 17 0 21 33 ,
  17 30 37 38 ⟶ 34 17 0 21 38 ,
  19 30 37 13 ⟶ 35 17 0 21 13 ,
  19 30 37 14 ⟶ 35 17 0 21 14 ,
  19 30 37 22 ⟶ 35 17 0 21 22 ,
  19 30 37 36 ⟶ 35 17 0 21 36 ,
  19 30 37 26 ⟶ 35 17 0 21 26 ,
  19 30 37 33 ⟶ 35 17 0 21 33 ,
  19 30 37 38 ⟶ 35 17 0 21 38 ,
  0 30 37 13 ⟶ 30 34 17 21 13 ,
  0 30 37 14 ⟶ 30 34 17 21 14 ,
  0 30 37 22 ⟶ 30 34 17 21 22 ,
  0 30 37 36 ⟶ 30 34 17 21 36 ,
  0 30 37 26 ⟶ 30 34 17 21 26 ,
  0 30 37 33 ⟶ 30 34 17 21 33 ,
  0 30 37 38 ⟶ 30 34 17 21 38 ,
  4 30 37 13 ⟶ 32 34 17 21 13 ,
  4 30 37 14 ⟶ 32 34 17 21 14 ,
  4 30 37 22 ⟶ 32 34 17 21 22 ,
  4 30 37 36 ⟶ 32 34 17 21 36 ,
  4 30 37 26 ⟶ 32 34 17 21 26 ,
  4 30 37 33 ⟶ 32 34 17 21 33 ,
  4 30 37 38 ⟶ 32 34 17 21 38 ,
  3 30 37 13 ⟶ 10 34 17 21 13 ,
  3 30 37 14 ⟶ 10 34 17 21 14 ,
  3 30 37 22 ⟶ 10 34 17 21 22 ,
  3 30 37 36 ⟶ 10 34 17 21 36 ,
  3 30 37 26 ⟶ 10 34 17 21 26 ,
  3 30 37 33 ⟶ 10 34 17 21 33 ,
  3 30 37 38 ⟶ 10 34 17 21 38 ,
  13 30 37 13 ⟶ 33 34 17 21 13 ,
  13 30 37 14 ⟶ 33 34 17 21 14 ,
  13 30 37 22 ⟶ 33 34 17 21 22 ,
  13 30 37 36 ⟶ 33 34 17 21 36 ,
  13 30 37 26 ⟶ 33 34 17 21 26 ,
  13 30 37 33 ⟶ 33 34 17 21 33 ,
  13 30 37 38 ⟶ 33 34 17 21 38 ,
  15 30 37 13 ⟶ 24 34 17 21 13 ,
  15 30 37 14 ⟶ 24 34 17 21 14 ,
  15 30 37 22 ⟶ 24 34 17 21 22 ,
  15 30 37 36 ⟶ 24 34 17 21 36 ,
  15 30 37 26 ⟶ 24 34 17 21 26 ,
  15 30 37 33 ⟶ 24 34 17 21 33 ,
  15 30 37 38 ⟶ 24 34 17 21 38 ,
  17 30 37 13 ⟶ 34 34 17 21 13 ,
  17 30 37 14 ⟶ 34 34 17 21 14 ,
  17 30 37 22 ⟶ 34 34 17 21 22 ,
  17 30 37 36 ⟶ 34 34 17 21 36 ,
  17 30 37 26 ⟶ 34 34 17 21 26 ,
  17 30 37 33 ⟶ 34 34 17 21 33 ,
  17 30 37 38 ⟶ 34 34 17 21 38 ,
  19 30 37 13 ⟶ 35 34 17 21 13 ,
  19 30 37 14 ⟶ 35 34 17 21 14 ,
  19 30 37 22 ⟶ 35 34 17 21 22 ,
  19 30 37 36 ⟶ 35 34 17 21 36 ,
  19 30 37 26 ⟶ 35 34 17 21 26 ,
  19 30 37 33 ⟶ 35 34 17 21 33 ,
  19 30 37 38 ⟶ 35 34 17 21 38 ,
  0 0 30 31 3 ⟶ 0 5 3 21 33 34 17 ,
  0 0 30 31 6 ⟶ 0 5 3 21 33 34 18 ,
  0 0 30 31 7 ⟶ 0 5 3 21 33 34 31 ,
  0 0 30 31 8 ⟶ 0 5 3 21 33 34 37 ,
  0 0 30 31 9 ⟶ 0 5 3 21 33 34 28 ,
  0 0 30 31 10 ⟶ 0 5 3 21 33 34 34 ,
  0 0 30 31 11 ⟶ 0 5 3 21 33 34 39 ,
  4 0 30 31 3 ⟶ 4 5 3 21 33 34 17 ,
  4 0 30 31 6 ⟶ 4 5 3 21 33 34 18 ,
  4 0 30 31 7 ⟶ 4 5 3 21 33 34 31 ,
  4 0 30 31 8 ⟶ 4 5 3 21 33 34 37 ,
  4 0 30 31 9 ⟶ 4 5 3 21 33 34 28 ,
  4 0 30 31 10 ⟶ 4 5 3 21 33 34 34 ,
  4 0 30 31 11 ⟶ 4 5 3 21 33 34 39 ,
  3 0 30 31 3 ⟶ 3 5 3 21 33 34 17 ,
  3 0 30 31 6 ⟶ 3 5 3 21 33 34 18 ,
  3 0 30 31 7 ⟶ 3 5 3 21 33 34 31 ,
  3 0 30 31 8 ⟶ 3 5 3 21 33 34 37 ,
  3 0 30 31 9 ⟶ 3 5 3 21 33 34 28 ,
  3 0 30 31 10 ⟶ 3 5 3 21 33 34 34 ,
  3 0 30 31 11 ⟶ 3 5 3 21 33 34 39 ,
  13 0 30 31 3 ⟶ 13 5 3 21 33 34 17 ,
  13 0 30 31 6 ⟶ 13 5 3 21 33 34 18 ,
  13 0 30 31 7 ⟶ 13 5 3 21 33 34 31 ,
  13 0 30 31 8 ⟶ 13 5 3 21 33 34 37 ,
  13 0 30 31 9 ⟶ 13 5 3 21 33 34 28 ,
  13 0 30 31 10 ⟶ 13 5 3 21 33 34 34 ,
  13 0 30 31 11 ⟶ 13 5 3 21 33 34 39 ,
  15 0 30 31 3 ⟶ 15 5 3 21 33 34 17 ,
  15 0 30 31 6 ⟶ 15 5 3 21 33 34 18 ,
  15 0 30 31 7 ⟶ 15 5 3 21 33 34 31 ,
  15 0 30 31 8 ⟶ 15 5 3 21 33 34 37 ,
  15 0 30 31 9 ⟶ 15 5 3 21 33 34 28 ,
  15 0 30 31 10 ⟶ 15 5 3 21 33 34 34 ,
  15 0 30 31 11 ⟶ 15 5 3 21 33 34 39 ,
  17 0 30 31 3 ⟶ 17 5 3 21 33 34 17 ,
  17 0 30 31 6 ⟶ 17 5 3 21 33 34 18 ,
  17 0 30 31 7 ⟶ 17 5 3 21 33 34 31 ,
  17 0 30 31 8 ⟶ 17 5 3 21 33 34 37 ,
  17 0 30 31 9 ⟶ 17 5 3 21 33 34 28 ,
  17 0 30 31 10 ⟶ 17 5 3 21 33 34 34 ,
  17 0 30 31 11 ⟶ 17 5 3 21 33 34 39 ,
  19 0 30 31 3 ⟶ 19 5 3 21 33 34 17 ,
  19 0 30 31 6 ⟶ 19 5 3 21 33 34 18 ,
  19 0 30 31 7 ⟶ 19 5 3 21 33 34 31 ,
  19 0 30 31 8 ⟶ 19 5 3 21 33 34 37 ,
  19 0 30 31 9 ⟶ 19 5 3 21 33 34 28 ,
  19 0 30 31 10 ⟶ 19 5 3 21 33 34 34 ,
  19 0 30 31 11 ⟶ 19 5 3 21 33 34 39 ,
  0 1 2 8 13 ⟶ 1 40 22 3 21 13 ,
  0 1 2 8 14 ⟶ 1 40 22 3 21 14 ,
  0 1 2 8 22 ⟶ 1 40 22 3 21 22 ,
  0 1 2 8 36 ⟶ 1 40 22 3 21 36 ,
  0 1 2 8 26 ⟶ 1 40 22 3 21 26 ,
  0 1 2 8 33 ⟶ 1 40 22 3 21 33 ,
  0 1 2 8 38 ⟶ 1 40 22 3 21 38 ,
  4 1 2 8 13 ⟶ 12 40 22 3 21 13 ,
  4 1 2 8 14 ⟶ 12 40 22 3 21 14 ,
  4 1 2 8 22 ⟶ 12 40 22 3 21 22 ,
  4 1 2 8 36 ⟶ 12 40 22 3 21 36 ,
  4 1 2 8 26 ⟶ 12 40 22 3 21 26 ,
  4 1 2 8 33 ⟶ 12 40 22 3 21 33 ,
  4 1 2 8 38 ⟶ 12 40 22 3 21 38 ,
  3 1 2 8 13 ⟶ 6 40 22 3 21 13 ,
  3 1 2 8 14 ⟶ 6 40 22 3 21 14 ,
  3 1 2 8 22 ⟶ 6 40 22 3 21 22 ,
  3 1 2 8 36 ⟶ 6 40 22 3 21 36 ,
  3 1 2 8 26 ⟶ 6 40 22 3 21 26 ,
  3 1 2 8 33 ⟶ 6 40 22 3 21 33 ,
  3 1 2 8 38 ⟶ 6 40 22 3 21 38 ,
  13 1 2 8 13 ⟶ 14 40 22 3 21 13 ,
  13 1 2 8 14 ⟶ 14 40 22 3 21 14 ,
  13 1 2 8 22 ⟶ 14 40 22 3 21 22 ,
  13 1 2 8 36 ⟶ 14 40 22 3 21 36 ,
  13 1 2 8 26 ⟶ 14 40 22 3 21 26 ,
  13 1 2 8 33 ⟶ 14 40 22 3 21 33 ,
  13 1 2 8 38 ⟶ 14 40 22 3 21 38 ,
  15 1 2 8 13 ⟶ 16 40 22 3 21 13 ,
  15 1 2 8 14 ⟶ 16 40 22 3 21 14 ,
  15 1 2 8 22 ⟶ 16 40 22 3 21 22 ,
  15 1 2 8 36 ⟶ 16 40 22 3 21 36 ,
  15 1 2 8 26 ⟶ 16 40 22 3 21 26 ,
  15 1 2 8 33 ⟶ 16 40 22 3 21 33 ,
  15 1 2 8 38 ⟶ 16 40 22 3 21 38 ,
  17 1 2 8 13 ⟶ 18 40 22 3 21 13 ,
  17 1 2 8 14 ⟶ 18 40 22 3 21 14 ,
  17 1 2 8 22 ⟶ 18 40 22 3 21 22 ,
  17 1 2 8 36 ⟶ 18 40 22 3 21 36 ,
  17 1 2 8 26 ⟶ 18 40 22 3 21 26 ,
  17 1 2 8 33 ⟶ 18 40 22 3 21 33 ,
  17 1 2 8 38 ⟶ 18 40 22 3 21 38 ,
  19 1 2 8 13 ⟶ 20 40 22 3 21 13 ,
  19 1 2 8 14 ⟶ 20 40 22 3 21 14 ,
  19 1 2 8 22 ⟶ 20 40 22 3 21 22 ,
  19 1 2 8 36 ⟶ 20 40 22 3 21 36 ,
  19 1 2 8 26 ⟶ 20 40 22 3 21 26 ,
  19 1 2 8 33 ⟶ 20 40 22 3 21 33 ,
  19 1 2 8 38 ⟶ 20 40 22 3 21 38 ,
  0 1 2 9 15 ⟶ 23 24 18 4 5 3 ,
  0 1 2 9 16 ⟶ 23 24 18 4 5 6 ,
  0 1 2 9 41 ⟶ 23 24 18 4 5 7 ,
  0 1 2 9 42 ⟶ 23 24 18 4 5 8 ,
  0 1 2 9 27 ⟶ 23 24 18 4 5 9 ,
  0 1 2 9 24 ⟶ 23 24 18 4 5 10 ,
  0 1 2 9 43 ⟶ 23 24 18 4 5 11 ,
  4 1 2 9 15 ⟶ 25 24 18 4 5 3 ,
  4 1 2 9 16 ⟶ 25 24 18 4 5 6 ,
  4 1 2 9 41 ⟶ 25 24 18 4 5 7 ,
  4 1 2 9 42 ⟶ 25 24 18 4 5 8 ,
  4 1 2 9 27 ⟶ 25 24 18 4 5 9 ,
  4 1 2 9 24 ⟶ 25 24 18 4 5 10 ,
  4 1 2 9 43 ⟶ 25 24 18 4 5 11 ,
  3 1 2 9 15 ⟶ 9 24 18 4 5 3 ,
  3 1 2 9 16 ⟶ 9 24 18 4 5 6 ,
  3 1 2 9 41 ⟶ 9 24 18 4 5 7 ,
  3 1 2 9 42 ⟶ 9 24 18 4 5 8 ,
  3 1 2 9 27 ⟶ 9 24 18 4 5 9 ,
  3 1 2 9 24 ⟶ 9 24 18 4 5 10 ,
  3 1 2 9 43 ⟶ 9 24 18 4 5 11 ,
  13 1 2 9 15 ⟶ 26 24 18 4 5 3 ,
  13 1 2 9 16 ⟶ 26 24 18 4 5 6 ,
  13 1 2 9 41 ⟶ 26 24 18 4 5 7 ,
  13 1 2 9 42 ⟶ 26 24 18 4 5 8 ,
  13 1 2 9 27 ⟶ 26 24 18 4 5 9 ,
  13 1 2 9 24 ⟶ 26 24 18 4 5 10 ,
  13 1 2 9 43 ⟶ 26 24 18 4 5 11 ,
  15 1 2 9 15 ⟶ 27 24 18 4 5 3 ,
  15 1 2 9 16 ⟶ 27 24 18 4 5 6 ,
  15 1 2 9 41 ⟶ 27 24 18 4 5 7 ,
  15 1 2 9 42 ⟶ 27 24 18 4 5 8 ,
  15 1 2 9 27 ⟶ 27 24 18 4 5 9 ,
  15 1 2 9 24 ⟶ 27 24 18 4 5 10 ,
  15 1 2 9 43 ⟶ 27 24 18 4 5 11 ,
  17 1 2 9 15 ⟶ 28 24 18 4 5 3 ,
  17 1 2 9 16 ⟶ 28 24 18 4 5 6 ,
  17 1 2 9 41 ⟶ 28 24 18 4 5 7 ,
  17 1 2 9 42 ⟶ 28 24 18 4 5 8 ,
  17 1 2 9 27 ⟶ 28 24 18 4 5 9 ,
  17 1 2 9 24 ⟶ 28 24 18 4 5 10 ,
  17 1 2 9 43 ⟶ 28 24 18 4 5 11 ,
  19 1 2 9 15 ⟶ 29 24 18 4 5 3 ,
  19 1 2 9 16 ⟶ 29 24 18 4 5 6 ,
  19 1 2 9 41 ⟶ 29 24 18 4 5 7 ,
  19 1 2 9 42 ⟶ 29 24 18 4 5 8 ,
  19 1 2 9 27 ⟶ 29 24 18 4 5 9 ,
  19 1 2 9 24 ⟶ 29 24 18 4 5 10 ,
  19 1 2 9 43 ⟶ 29 24 18 4 5 11 ,
  0 1 25 41 3 ⟶ 23 27 16 4 5 3 ,
  0 1 25 41 6 ⟶ 23 27 16 4 5 6 ,
  0 1 25 41 7 ⟶ 23 27 16 4 5 7 ,
  0 1 25 41 8 ⟶ 23 27 16 4 5 8 ,
  0 1 25 41 9 ⟶ 23 27 16 4 5 9 ,
  0 1 25 41 10 ⟶ 23 27 16 4 5 10 ,
  0 1 25 41 11 ⟶ 23 27 16 4 5 11 ,
  4 1 25 41 3 ⟶ 25 27 16 4 5 3 ,
  4 1 25 41 6 ⟶ 25 27 16 4 5 6 ,
  4 1 25 41 7 ⟶ 25 27 16 4 5 7 ,
  4 1 25 41 8 ⟶ 25 27 16 4 5 8 ,
  4 1 25 41 9 ⟶ 25 27 16 4 5 9 ,
  4 1 25 41 10 ⟶ 25 27 16 4 5 10 ,
  4 1 25 41 11 ⟶ 25 27 16 4 5 11 ,
  3 1 25 41 3 ⟶ 9 27 16 4 5 3 ,
  3 1 25 41 6 ⟶ 9 27 16 4 5 6 ,
  3 1 25 41 7 ⟶ 9 27 16 4 5 7 ,
  3 1 25 41 8 ⟶ 9 27 16 4 5 8 ,
  3 1 25 41 9 ⟶ 9 27 16 4 5 9 ,
  3 1 25 41 10 ⟶ 9 27 16 4 5 10 ,
  3 1 25 41 11 ⟶ 9 27 16 4 5 11 ,
  13 1 25 41 3 ⟶ 26 27 16 4 5 3 ,
  13 1 25 41 6 ⟶ 26 27 16 4 5 6 ,
  13 1 25 41 7 ⟶ 26 27 16 4 5 7 ,
  13 1 25 41 8 ⟶ 26 27 16 4 5 8 ,
  13 1 25 41 9 ⟶ 26 27 16 4 5 9 ,
  13 1 25 41 10 ⟶ 26 27 16 4 5 10 ,
  13 1 25 41 11 ⟶ 26 27 16 4 5 11 ,
  15 1 25 41 3 ⟶ 27 27 16 4 5 3 ,
  15 1 25 41 6 ⟶ 27 27 16 4 5 6 ,
  15 1 25 41 7 ⟶ 27 27 16 4 5 7 ,
  15 1 25 41 8 ⟶ 27 27 16 4 5 8 ,
  15 1 25 41 9 ⟶ 27 27 16 4 5 9 ,
  15 1 25 41 10 ⟶ 27 27 16 4 5 10 ,
  15 1 25 41 11 ⟶ 27 27 16 4 5 11 ,
  17 1 25 41 3 ⟶ 28 27 16 4 5 3 ,
  17 1 25 41 6 ⟶ 28 27 16 4 5 6 ,
  17 1 25 41 7 ⟶ 28 27 16 4 5 7 ,
  17 1 25 41 8 ⟶ 28 27 16 4 5 8 ,
  17 1 25 41 9 ⟶ 28 27 16 4 5 9 ,
  17 1 25 41 10 ⟶ 28 27 16 4 5 10 ,
  17 1 25 41 11 ⟶ 28 27 16 4 5 11 ,
  19 1 25 41 3 ⟶ 29 27 16 4 5 3 ,
  19 1 25 41 6 ⟶ 29 27 16 4 5 6 ,
  19 1 25 41 7 ⟶ 29 27 16 4 5 7 ,
  19 1 25 41 8 ⟶ 29 27 16 4 5 8 ,
  19 1 25 41 9 ⟶ 29 27 16 4 5 9 ,
  19 1 25 41 10 ⟶ 29 27 16 4 5 10 ,
  19 1 25 41 11 ⟶ 29 27 16 4 5 11 ,
  0 23 16 2 3 ⟶ 0 23 24 34 18 2 3 ,
  0 23 16 2 6 ⟶ 0 23 24 34 18 2 6 ,
  0 23 16 2 7 ⟶ 0 23 24 34 18 2 7 ,
  0 23 16 2 8 ⟶ 0 23 24 34 18 2 8 ,
  0 23 16 2 9 ⟶ 0 23 24 34 18 2 9 ,
  0 23 16 2 10 ⟶ 0 23 24 34 18 2 10 ,
  0 23 16 2 11 ⟶ 0 23 24 34 18 2 11 ,
  4 23 16 2 3 ⟶ 4 23 24 34 18 2 3 ,
  4 23 16 2 6 ⟶ 4 23 24 34 18 2 6 ,
  4 23 16 2 7 ⟶ 4 23 24 34 18 2 7 ,
  4 23 16 2 8 ⟶ 4 23 24 34 18 2 8 ,
  4 23 16 2 9 ⟶ 4 23 24 34 18 2 9 ,
  4 23 16 2 10 ⟶ 4 23 24 34 18 2 10 ,
  4 23 16 2 11 ⟶ 4 23 24 34 18 2 11 ,
  3 23 16 2 3 ⟶ 3 23 24 34 18 2 3 ,
  3 23 16 2 6 ⟶ 3 23 24 34 18 2 6 ,
  3 23 16 2 7 ⟶ 3 23 24 34 18 2 7 ,
  3 23 16 2 8 ⟶ 3 23 24 34 18 2 8 ,
  3 23 16 2 9 ⟶ 3 23 24 34 18 2 9 ,
  3 23 16 2 10 ⟶ 3 23 24 34 18 2 10 ,
  3 23 16 2 11 ⟶ 3 23 24 34 18 2 11 ,
  13 23 16 2 3 ⟶ 13 23 24 34 18 2 3 ,
  13 23 16 2 6 ⟶ 13 23 24 34 18 2 6 ,
  13 23 16 2 7 ⟶ 13 23 24 34 18 2 7 ,
  13 23 16 2 8 ⟶ 13 23 24 34 18 2 8 ,
  13 23 16 2 9 ⟶ 13 23 24 34 18 2 9 ,
  13 23 16 2 10 ⟶ 13 23 24 34 18 2 10 ,
  13 23 16 2 11 ⟶ 13 23 24 34 18 2 11 ,
  15 23 16 2 3 ⟶ 15 23 24 34 18 2 3 ,
  15 23 16 2 6 ⟶ 15 23 24 34 18 2 6 ,
  15 23 16 2 7 ⟶ 15 23 24 34 18 2 7 ,
  15 23 16 2 8 ⟶ 15 23 24 34 18 2 8 ,
  15 23 16 2 9 ⟶ 15 23 24 34 18 2 9 ,
  15 23 16 2 10 ⟶ 15 23 24 34 18 2 10 ,
  15 23 16 2 11 ⟶ 15 23 24 34 18 2 11 ,
  17 23 16 2 3 ⟶ 17 23 24 34 18 2 3 ,
  17 23 16 2 6 ⟶ 17 23 24 34 18 2 6 ,
  17 23 16 2 7 ⟶ 17 23 24 34 18 2 7 ,
  17 23 16 2 8 ⟶ 17 23 24 34 18 2 8 ,
  17 23 16 2 9 ⟶ 17 23 24 34 18 2 9 ,
  17 23 16 2 10 ⟶ 17 23 24 34 18 2 10 ,
  17 23 16 2 11 ⟶ 17 23 24 34 18 2 11 ,
  19 23 16 2 3 ⟶ 19 23 24 34 18 2 3 ,
  19 23 16 2 6 ⟶ 19 23 24 34 18 2 6 ,
  19 23 16 2 7 ⟶ 19 23 24 34 18 2 7 ,
  19 23 16 2 8 ⟶ 19 23 24 34 18 2 8 ,
  19 23 16 2 9 ⟶ 19 23 24 34 18 2 9 ,
  19 23 16 2 10 ⟶ 19 23 24 34 18 2 10 ,
  19 23 16 2 11 ⟶ 19 23 24 34 18 2 11 ,
  0 30 31 8 13 ⟶ 30 17 21 22 8 13 ,
  0 30 31 8 14 ⟶ 30 17 21 22 8 14 ,
  0 30 31 8 22 ⟶ 30 17 21 22 8 22 ,
  0 30 31 8 36 ⟶ 30 17 21 22 8 36 ,
  0 30 31 8 26 ⟶ 30 17 21 22 8 26 ,
  0 30 31 8 33 ⟶ 30 17 21 22 8 33 ,
  0 30 31 8 38 ⟶ 30 17 21 22 8 38 ,
  4 30 31 8 13 ⟶ 32 17 21 22 8 13 ,
  4 30 31 8 14 ⟶ 32 17 21 22 8 14 ,
  4 30 31 8 22 ⟶ 32 17 21 22 8 22 ,
  4 30 31 8 36 ⟶ 32 17 21 22 8 36 ,
  4 30 31 8 26 ⟶ 32 17 21 22 8 26 ,
  4 30 31 8 33 ⟶ 32 17 21 22 8 33 ,
  4 30 31 8 38 ⟶ 32 17 21 22 8 38 ,
  3 30 31 8 13 ⟶ 10 17 21 22 8 13 ,
  3 30 31 8 14 ⟶ 10 17 21 22 8 14 ,
  3 30 31 8 22 ⟶ 10 17 21 22 8 22 ,
  3 30 31 8 36 ⟶ 10 17 21 22 8 36 ,
  3 30 31 8 26 ⟶ 10 17 21 22 8 26 ,
  3 30 31 8 33 ⟶ 10 17 21 22 8 33 ,
  3 30 31 8 38 ⟶ 10 17 21 22 8 38 ,
  13 30 31 8 13 ⟶ 33 17 21 22 8 13 ,
  13 30 31 8 14 ⟶ 33 17 21 22 8 14 ,
  13 30 31 8 22 ⟶ 33 17 21 22 8 22 ,
  13 30 31 8 36 ⟶ 33 17 21 22 8 36 ,
  13 30 31 8 26 ⟶ 33 17 21 22 8 26 ,
  13 30 31 8 33 ⟶ 33 17 21 22 8 33 ,
  13 30 31 8 38 ⟶ 33 17 21 22 8 38 ,
  15 30 31 8 13 ⟶ 24 17 21 22 8 13 ,
  15 30 31 8 14 ⟶ 24 17 21 22 8 14 ,
  15 30 31 8 22 ⟶ 24 17 21 22 8 22 ,
  15 30 31 8 36 ⟶ 24 17 21 22 8 36 ,
  15 30 31 8 26 ⟶ 24 17 21 22 8 26 ,
  15 30 31 8 33 ⟶ 24 17 21 22 8 33 ,
  15 30 31 8 38 ⟶ 24 17 21 22 8 38 ,
  17 30 31 8 13 ⟶ 34 17 21 22 8 13 ,
  17 30 31 8 14 ⟶ 34 17 21 22 8 14 ,
  17 30 31 8 22 ⟶ 34 17 21 22 8 22 ,
  17 30 31 8 36 ⟶ 34 17 21 22 8 36 ,
  17 30 31 8 26 ⟶ 34 17 21 22 8 26 ,
  17 30 31 8 33 ⟶ 34 17 21 22 8 33 ,
  17 30 31 8 38 ⟶ 34 17 21 22 8 38 ,
  19 30 31 8 13 ⟶ 35 17 21 22 8 13 ,
  19 30 31 8 14 ⟶ 35 17 21 22 8 14 ,
  19 30 31 8 22 ⟶ 35 17 21 22 8 22 ,
  19 30 31 8 36 ⟶ 35 17 21 22 8 36 ,
  19 30 31 8 26 ⟶ 35 17 21 22 8 26 ,
  19 30 31 8 33 ⟶ 35 17 21 22 8 33 ,
  19 30 31 8 38 ⟶ 35 17 21 22 8 38 ,
  1 2 6 2 3 ⟶ 1 12 32 31 7 3 ,
  1 2 6 2 6 ⟶ 1 12 32 31 7 6 ,
  1 2 6 2 7 ⟶ 1 12 32 31 7 7 ,
  1 2 6 2 8 ⟶ 1 12 32 31 7 8 ,
  1 2 6 2 9 ⟶ 1 12 32 31 7 9 ,
  1 2 6 2 10 ⟶ 1 12 32 31 7 10 ,
  1 2 6 2 11 ⟶ 1 12 32 31 7 11 ,
  12 2 6 2 3 ⟶ 12 12 32 31 7 3 ,
  12 2 6 2 6 ⟶ 12 12 32 31 7 6 ,
  12 2 6 2 7 ⟶ 12 12 32 31 7 7 ,
  12 2 6 2 8 ⟶ 12 12 32 31 7 8 ,
  12 2 6 2 9 ⟶ 12 12 32 31 7 9 ,
  12 2 6 2 10 ⟶ 12 12 32 31 7 10 ,
  12 2 6 2 11 ⟶ 12 12 32 31 7 11 ,
  6 2 6 2 3 ⟶ 6 12 32 31 7 3 ,
  6 2 6 2 6 ⟶ 6 12 32 31 7 6 ,
  6 2 6 2 7 ⟶ 6 12 32 31 7 7 ,
  6 2 6 2 8 ⟶ 6 12 32 31 7 8 ,
  6 2 6 2 9 ⟶ 6 12 32 31 7 9 ,
  6 2 6 2 10 ⟶ 6 12 32 31 7 10 ,
  6 2 6 2 11 ⟶ 6 12 32 31 7 11 ,
  14 2 6 2 3 ⟶ 14 12 32 31 7 3 ,
  14 2 6 2 6 ⟶ 14 12 32 31 7 6 ,
  14 2 6 2 7 ⟶ 14 12 32 31 7 7 ,
  14 2 6 2 8 ⟶ 14 12 32 31 7 8 ,
  14 2 6 2 9 ⟶ 14 12 32 31 7 9 ,
  14 2 6 2 10 ⟶ 14 12 32 31 7 10 ,
  14 2 6 2 11 ⟶ 14 12 32 31 7 11 ,
  16 2 6 2 3 ⟶ 16 12 32 31 7 3 ,
  16 2 6 2 6 ⟶ 16 12 32 31 7 6 ,
  16 2 6 2 7 ⟶ 16 12 32 31 7 7 ,
  16 2 6 2 8 ⟶ 16 12 32 31 7 8 ,
  16 2 6 2 9 ⟶ 16 12 32 31 7 9 ,
  16 2 6 2 10 ⟶ 16 12 32 31 7 10 ,
  16 2 6 2 11 ⟶ 16 12 32 31 7 11 ,
  18 2 6 2 3 ⟶ 18 12 32 31 7 3 ,
  18 2 6 2 6 ⟶ 18 12 32 31 7 6 ,
  18 2 6 2 7 ⟶ 18 12 32 31 7 7 ,
  18 2 6 2 8 ⟶ 18 12 32 31 7 8 ,
  18 2 6 2 9 ⟶ 18 12 32 31 7 9 ,
  18 2 6 2 10 ⟶ 18 12 32 31 7 10 ,
  18 2 6 2 11 ⟶ 18 12 32 31 7 11 ,
  20 2 6 2 3 ⟶ 20 12 32 31 7 3 ,
  20 2 6 2 6 ⟶ 20 12 32 31 7 6 ,
  20 2 6 2 7 ⟶ 20 12 32 31 7 7 ,
  20 2 6 2 8 ⟶ 20 12 32 31 7 8 ,
  20 2 6 2 9 ⟶ 20 12 32 31 7 9 ,
  20 2 6 2 10 ⟶ 20 12 32 31 7 10 ,
  20 2 6 2 11 ⟶ 20 12 32 31 7 11 ,
  23 15 1 2 3 ⟶ 23 16 4 0 5 3 ,
  23 15 1 2 6 ⟶ 23 16 4 0 5 6 ,
  23 15 1 2 7 ⟶ 23 16 4 0 5 7 ,
  23 15 1 2 8 ⟶ 23 16 4 0 5 8 ,
  23 15 1 2 9 ⟶ 23 16 4 0 5 9 ,
  23 15 1 2 10 ⟶ 23 16 4 0 5 10 ,
  23 15 1 2 11 ⟶ 23 16 4 0 5 11 ,
  25 15 1 2 3 ⟶ 25 16 4 0 5 3 ,
  25 15 1 2 6 ⟶ 25 16 4 0 5 6 ,
  25 15 1 2 7 ⟶ 25 16 4 0 5 7 ,
  25 15 1 2 8 ⟶ 25 16 4 0 5 8 ,
  25 15 1 2 9 ⟶ 25 16 4 0 5 9 ,
  25 15 1 2 10 ⟶ 25 16 4 0 5 10 ,
  25 15 1 2 11 ⟶ 25 16 4 0 5 11 ,
  9 15 1 2 3 ⟶ 9 16 4 0 5 3 ,
  9 15 1 2 6 ⟶ 9 16 4 0 5 6 ,
  9 15 1 2 7 ⟶ 9 16 4 0 5 7 ,
  9 15 1 2 8 ⟶ 9 16 4 0 5 8 ,
  9 15 1 2 9 ⟶ 9 16 4 0 5 9 ,
  9 15 1 2 10 ⟶ 9 16 4 0 5 10 ,
  9 15 1 2 11 ⟶ 9 16 4 0 5 11 ,
  26 15 1 2 3 ⟶ 26 16 4 0 5 3 ,
  26 15 1 2 6 ⟶ 26 16 4 0 5 6 ,
  26 15 1 2 7 ⟶ 26 16 4 0 5 7 ,
  26 15 1 2 8 ⟶ 26 16 4 0 5 8 ,
  26 15 1 2 9 ⟶ 26 16 4 0 5 9 ,
  26 15 1 2 10 ⟶ 26 16 4 0 5 10 ,
  26 15 1 2 11 ⟶ 26 16 4 0 5 11 ,
  27 15 1 2 3 ⟶ 27 16 4 0 5 3 ,
  27 15 1 2 6 ⟶ 27 16 4 0 5 6 ,
  27 15 1 2 7 ⟶ 27 16 4 0 5 7 ,
  27 15 1 2 8 ⟶ 27 16 4 0 5 8 ,
  27 15 1 2 9 ⟶ 27 16 4 0 5 9 ,
  27 15 1 2 10 ⟶ 27 16 4 0 5 10 ,
  27 15 1 2 11 ⟶ 27 16 4 0 5 11 ,
  28 15 1 2 3 ⟶ 28 16 4 0 5 3 ,
  28 15 1 2 6 ⟶ 28 16 4 0 5 6 ,
  28 15 1 2 7 ⟶ 28 16 4 0 5 7 ,
  28 15 1 2 8 ⟶ 28 16 4 0 5 8 ,
  28 15 1 2 9 ⟶ 28 16 4 0 5 9 ,
  28 15 1 2 10 ⟶ 28 16 4 0 5 10 ,
  28 15 1 2 11 ⟶ 28 16 4 0 5 11 ,
  29 15 1 2 3 ⟶ 29 16 4 0 5 3 ,
  29 15 1 2 6 ⟶ 29 16 4 0 5 6 ,
  29 15 1 2 7 ⟶ 29 16 4 0 5 7 ,
  29 15 1 2 8 ⟶ 29 16 4 0 5 8 ,
  29 15 1 2 9 ⟶ 29 16 4 0 5 9 ,
  29 15 1 2 10 ⟶ 29 16 4 0 5 10 ,
  29 15 1 2 11 ⟶ 29 16 4 0 5 11 ,
  23 42 13 5 3 ⟶ 23 15 0 21 22 3 ,
  23 42 13 5 6 ⟶ 23 15 0 21 22 6 ,
  23 42 13 5 7 ⟶ 23 15 0 21 22 7 ,
  23 42 13 5 8 ⟶ 23 15 0 21 22 8 ,
  23 42 13 5 9 ⟶ 23 15 0 21 22 9 ,
  23 42 13 5 10 ⟶ 23 15 0 21 22 10 ,
  23 42 13 5 11 ⟶ 23 15 0 21 22 11 ,
  25 42 13 5 3 ⟶ 25 15 0 21 22 3 ,
  25 42 13 5 6 ⟶ 25 15 0 21 22 6 ,
  25 42 13 5 7 ⟶ 25 15 0 21 22 7 ,
  25 42 13 5 8 ⟶ 25 15 0 21 22 8 ,
  25 42 13 5 9 ⟶ 25 15 0 21 22 9 ,
  25 42 13 5 10 ⟶ 25 15 0 21 22 10 ,
  25 42 13 5 11 ⟶ 25 15 0 21 22 11 ,
  9 42 13 5 3 ⟶ 9 15 0 21 22 3 ,
  9 42 13 5 6 ⟶ 9 15 0 21 22 6 ,
  9 42 13 5 7 ⟶ 9 15 0 21 22 7 ,
  9 42 13 5 8 ⟶ 9 15 0 21 22 8 ,
  9 42 13 5 9 ⟶ 9 15 0 21 22 9 ,
  9 42 13 5 10 ⟶ 9 15 0 21 22 10 ,
  9 42 13 5 11 ⟶ 9 15 0 21 22 11 ,
  26 42 13 5 3 ⟶ 26 15 0 21 22 3 ,
  26 42 13 5 6 ⟶ 26 15 0 21 22 6 ,
  26 42 13 5 7 ⟶ 26 15 0 21 22 7 ,
  26 42 13 5 8 ⟶ 26 15 0 21 22 8 ,
  26 42 13 5 9 ⟶ 26 15 0 21 22 9 ,
  26 42 13 5 10 ⟶ 26 15 0 21 22 10 ,
  26 42 13 5 11 ⟶ 26 15 0 21 22 11 ,
  27 42 13 5 3 ⟶ 27 15 0 21 22 3 ,
  27 42 13 5 6 ⟶ 27 15 0 21 22 6 ,
  27 42 13 5 7 ⟶ 27 15 0 21 22 7 ,
  27 42 13 5 8 ⟶ 27 15 0 21 22 8 ,
  27 42 13 5 9 ⟶ 27 15 0 21 22 9 ,
  27 42 13 5 10 ⟶ 27 15 0 21 22 10 ,
  27 42 13 5 11 ⟶ 27 15 0 21 22 11 ,
  28 42 13 5 3 ⟶ 28 15 0 21 22 3 ,
  28 42 13 5 6 ⟶ 28 15 0 21 22 6 ,
  28 42 13 5 7 ⟶ 28 15 0 21 22 7 ,
  28 42 13 5 8 ⟶ 28 15 0 21 22 8 ,
  28 42 13 5 9 ⟶ 28 15 0 21 22 9 ,
  28 42 13 5 10 ⟶ 28 15 0 21 22 10 ,
  28 42 13 5 11 ⟶ 28 15 0 21 22 11 ,
  29 42 13 5 3 ⟶ 29 15 0 21 22 3 ,
  29 42 13 5 6 ⟶ 29 15 0 21 22 6 ,
  29 42 13 5 7 ⟶ 29 15 0 21 22 7 ,
  29 42 13 5 8 ⟶ 29 15 0 21 22 8 ,
  29 42 13 5 9 ⟶ 29 15 0 21 22 9 ,
  29 42 13 5 10 ⟶ 29 15 0 21 22 10 ,
  29 42 13 5 11 ⟶ 29 15 0 21 22 11 ,
  23 42 14 2 3 ⟶ 21 22 10 28 16 12 4 ,
  23 42 14 2 6 ⟶ 21 22 10 28 16 12 12 ,
  23 42 14 2 7 ⟶ 21 22 10 28 16 12 2 ,
  23 42 14 2 8 ⟶ 21 22 10 28 16 12 40 ,
  23 42 14 2 9 ⟶ 21 22 10 28 16 12 25 ,
  23 42 14 2 10 ⟶ 21 22 10 28 16 12 32 ,
  23 42 14 2 11 ⟶ 21 22 10 28 16 12 44 ,
  25 42 14 2 3 ⟶ 40 22 10 28 16 12 4 ,
  25 42 14 2 6 ⟶ 40 22 10 28 16 12 12 ,
  25 42 14 2 7 ⟶ 40 22 10 28 16 12 2 ,
  25 42 14 2 8 ⟶ 40 22 10 28 16 12 40 ,
  25 42 14 2 9 ⟶ 40 22 10 28 16 12 25 ,
  25 42 14 2 10 ⟶ 40 22 10 28 16 12 32 ,
  25 42 14 2 11 ⟶ 40 22 10 28 16 12 44 ,
  9 42 14 2 3 ⟶ 8 22 10 28 16 12 4 ,
  9 42 14 2 6 ⟶ 8 22 10 28 16 12 12 ,
  9 42 14 2 7 ⟶ 8 22 10 28 16 12 2 ,
  9 42 14 2 8 ⟶ 8 22 10 28 16 12 40 ,
  9 42 14 2 9 ⟶ 8 22 10 28 16 12 25 ,
  9 42 14 2 10 ⟶ 8 22 10 28 16 12 32 ,
  9 42 14 2 11 ⟶ 8 22 10 28 16 12 44 ,
  26 42 14 2 3 ⟶ 36 22 10 28 16 12 4 ,
  26 42 14 2 6 ⟶ 36 22 10 28 16 12 12 ,
  26 42 14 2 7 ⟶ 36 22 10 28 16 12 2 ,
  26 42 14 2 8 ⟶ 36 22 10 28 16 12 40 ,
  26 42 14 2 9 ⟶ 36 22 10 28 16 12 25 ,
  26 42 14 2 10 ⟶ 36 22 10 28 16 12 32 ,
  26 42 14 2 11 ⟶ 36 22 10 28 16 12 44 ,
  27 42 14 2 3 ⟶ 42 22 10 28 16 12 4 ,
  27 42 14 2 6 ⟶ 42 22 10 28 16 12 12 ,
  27 42 14 2 7 ⟶ 42 22 10 28 16 12 2 ,
  27 42 14 2 8 ⟶ 42 22 10 28 16 12 40 ,
  27 42 14 2 9 ⟶ 42 22 10 28 16 12 25 ,
  27 42 14 2 10 ⟶ 42 22 10 28 16 12 32 ,
  27 42 14 2 11 ⟶ 42 22 10 28 16 12 44 ,
  28 42 14 2 3 ⟶ 37 22 10 28 16 12 4 ,
  28 42 14 2 6 ⟶ 37 22 10 28 16 12 12 ,
  28 42 14 2 7 ⟶ 37 22 10 28 16 12 2 ,
  28 42 14 2 8 ⟶ 37 22 10 28 16 12 40 ,
  28 42 14 2 9 ⟶ 37 22 10 28 16 12 25 ,
  28 42 14 2 10 ⟶ 37 22 10 28 16 12 32 ,
  28 42 14 2 11 ⟶ 37 22 10 28 16 12 44 ,
  29 42 14 2 3 ⟶ 45 22 10 28 16 12 4 ,
  29 42 14 2 6 ⟶ 45 22 10 28 16 12 12 ,
  29 42 14 2 7 ⟶ 45 22 10 28 16 12 2 ,
  29 42 14 2 8 ⟶ 45 22 10 28 16 12 40 ,
  29 42 14 2 9 ⟶ 45 22 10 28 16 12 25 ,
  29 42 14 2 10 ⟶ 45 22 10 28 16 12 32 ,
  29 42 14 2 11 ⟶ 45 22 10 28 16 12 44 ,
  0 0 1 2 8 13 ⟶ 21 22 6 4 0 21 13 ,
  0 0 1 2 8 14 ⟶ 21 22 6 4 0 21 14 ,
  0 0 1 2 8 22 ⟶ 21 22 6 4 0 21 22 ,
  0 0 1 2 8 36 ⟶ 21 22 6 4 0 21 36 ,
  0 0 1 2 8 26 ⟶ 21 22 6 4 0 21 26 ,
  0 0 1 2 8 33 ⟶ 21 22 6 4 0 21 33 ,
  0 0 1 2 8 38 ⟶ 21 22 6 4 0 21 38 ,
  4 0 1 2 8 13 ⟶ 40 22 6 4 0 21 13 ,
  4 0 1 2 8 14 ⟶ 40 22 6 4 0 21 14 ,
  4 0 1 2 8 22 ⟶ 40 22 6 4 0 21 22 ,
  4 0 1 2 8 36 ⟶ 40 22 6 4 0 21 36 ,
  4 0 1 2 8 26 ⟶ 40 22 6 4 0 21 26 ,
  4 0 1 2 8 33 ⟶ 40 22 6 4 0 21 33 ,
  4 0 1 2 8 38 ⟶ 40 22 6 4 0 21 38 ,
  3 0 1 2 8 13 ⟶ 8 22 6 4 0 21 13 ,
  3 0 1 2 8 14 ⟶ 8 22 6 4 0 21 14 ,
  3 0 1 2 8 22 ⟶ 8 22 6 4 0 21 22 ,
  3 0 1 2 8 36 ⟶ 8 22 6 4 0 21 36 ,
  3 0 1 2 8 26 ⟶ 8 22 6 4 0 21 26 ,
  3 0 1 2 8 33 ⟶ 8 22 6 4 0 21 33 ,
  3 0 1 2 8 38 ⟶ 8 22 6 4 0 21 38 ,
  13 0 1 2 8 13 ⟶ 36 22 6 4 0 21 13 ,
  13 0 1 2 8 14 ⟶ 36 22 6 4 0 21 14 ,
  13 0 1 2 8 22 ⟶ 36 22 6 4 0 21 22 ,
  13 0 1 2 8 36 ⟶ 36 22 6 4 0 21 36 ,
  13 0 1 2 8 26 ⟶ 36 22 6 4 0 21 26 ,
  13 0 1 2 8 33 ⟶ 36 22 6 4 0 21 33 ,
  13 0 1 2 8 38 ⟶ 36 22 6 4 0 21 38 ,
  15 0 1 2 8 13 ⟶ 42 22 6 4 0 21 13 ,
  15 0 1 2 8 14 ⟶ 42 22 6 4 0 21 14 ,
  15 0 1 2 8 22 ⟶ 42 22 6 4 0 21 22 ,
  15 0 1 2 8 36 ⟶ 42 22 6 4 0 21 36 ,
  15 0 1 2 8 26 ⟶ 42 22 6 4 0 21 26 ,
  15 0 1 2 8 33 ⟶ 42 22 6 4 0 21 33 ,
  15 0 1 2 8 38 ⟶ 42 22 6 4 0 21 38 ,
  17 0 1 2 8 13 ⟶ 37 22 6 4 0 21 13 ,
  17 0 1 2 8 14 ⟶ 37 22 6 4 0 21 14 ,
  17 0 1 2 8 22 ⟶ 37 22 6 4 0 21 22 ,
  17 0 1 2 8 36 ⟶ 37 22 6 4 0 21 36 ,
  17 0 1 2 8 26 ⟶ 37 22 6 4 0 21 26 ,
  17 0 1 2 8 33 ⟶ 37 22 6 4 0 21 33 ,
  17 0 1 2 8 38 ⟶ 37 22 6 4 0 21 38 ,
  19 0 1 2 8 13 ⟶ 45 22 6 4 0 21 13 ,
  19 0 1 2 8 14 ⟶ 45 22 6 4 0 21 14 ,
  19 0 1 2 8 22 ⟶ 45 22 6 4 0 21 22 ,
  19 0 1 2 8 36 ⟶ 45 22 6 4 0 21 36 ,
  19 0 1 2 8 26 ⟶ 45 22 6 4 0 21 26 ,
  19 0 1 2 8 33 ⟶ 45 22 6 4 0 21 33 ,
  19 0 1 2 8 38 ⟶ 45 22 6 4 0 21 38 ,
  0 0 1 40 22 3 ⟶ 1 4 5 3 0 21 13 ,
  0 0 1 40 22 6 ⟶ 1 4 5 3 0 21 14 ,
  0 0 1 40 22 7 ⟶ 1 4 5 3 0 21 22 ,
  0 0 1 40 22 8 ⟶ 1 4 5 3 0 21 36 ,
  0 0 1 40 22 9 ⟶ 1 4 5 3 0 21 26 ,
  0 0 1 40 22 10 ⟶ 1 4 5 3 0 21 33 ,
  0 0 1 40 22 11 ⟶ 1 4 5 3 0 21 38 ,
  4 0 1 40 22 3 ⟶ 12 4 5 3 0 21 13 ,
  4 0 1 40 22 6 ⟶ 12 4 5 3 0 21 14 ,
  4 0 1 40 22 7 ⟶ 12 4 5 3 0 21 22 ,
  4 0 1 40 22 8 ⟶ 12 4 5 3 0 21 36 ,
  4 0 1 40 22 9 ⟶ 12 4 5 3 0 21 26 ,
  4 0 1 40 22 10 ⟶ 12 4 5 3 0 21 33 ,
  4 0 1 40 22 11 ⟶ 12 4 5 3 0 21 38 ,
  3 0 1 40 22 3 ⟶ 6 4 5 3 0 21 13 ,
  3 0 1 40 22 6 ⟶ 6 4 5 3 0 21 14 ,
  3 0 1 40 22 7 ⟶ 6 4 5 3 0 21 22 ,
  3 0 1 40 22 8 ⟶ 6 4 5 3 0 21 36 ,
  3 0 1 40 22 9 ⟶ 6 4 5 3 0 21 26 ,
  3 0 1 40 22 10 ⟶ 6 4 5 3 0 21 33 ,
  3 0 1 40 22 11 ⟶ 6 4 5 3 0 21 38 ,
  13 0 1 40 22 3 ⟶ 14 4 5 3 0 21 13 ,
  13 0 1 40 22 6 ⟶ 14 4 5 3 0 21 14 ,
  13 0 1 40 22 7 ⟶ 14 4 5 3 0 21 22 ,
  13 0 1 40 22 8 ⟶ 14 4 5 3 0 21 36 ,
  13 0 1 40 22 9 ⟶ 14 4 5 3 0 21 26 ,
  13 0 1 40 22 10 ⟶ 14 4 5 3 0 21 33 ,
  13 0 1 40 22 11 ⟶ 14 4 5 3 0 21 38 ,
  15 0 1 40 22 3 ⟶ 16 4 5 3 0 21 13 ,
  15 0 1 40 22 6 ⟶ 16 4 5 3 0 21 14 ,
  15 0 1 40 22 7 ⟶ 16 4 5 3 0 21 22 ,
  15 0 1 40 22 8 ⟶ 16 4 5 3 0 21 36 ,
  15 0 1 40 22 9 ⟶ 16 4 5 3 0 21 26 ,
  15 0 1 40 22 10 ⟶ 16 4 5 3 0 21 33 ,
  15 0 1 40 22 11 ⟶ 16 4 5 3 0 21 38 ,
  17 0 1 40 22 3 ⟶ 18 4 5 3 0 21 13 ,
  17 0 1 40 22 6 ⟶ 18 4 5 3 0 21 14 ,
  17 0 1 40 22 7 ⟶ 18 4 5 3 0 21 22 ,
  17 0 1 40 22 8 ⟶ 18 4 5 3 0 21 36 ,
  17 0 1 40 22 9 ⟶ 18 4 5 3 0 21 26 ,
  17 0 1 40 22 10 ⟶ 18 4 5 3 0 21 33 ,
  17 0 1 40 22 11 ⟶ 18 4 5 3 0 21 38 ,
  19 0 1 40 22 3 ⟶ 20 4 5 3 0 21 13 ,
  19 0 1 40 22 6 ⟶ 20 4 5 3 0 21 14 ,
  19 0 1 40 22 7 ⟶ 20 4 5 3 0 21 22 ,
  19 0 1 40 22 8 ⟶ 20 4 5 3 0 21 36 ,
  19 0 1 40 22 9 ⟶ 20 4 5 3 0 21 26 ,
  19 0 1 40 22 10 ⟶ 20 4 5 3 0 21 33 ,
  19 0 1 40 22 11 ⟶ 20 4 5 3 0 21 38 ,
  0 0 1 40 36 13 ⟶ 0 0 21 14 4 21 13 ,
  0 0 1 40 36 14 ⟶ 0 0 21 14 4 21 14 ,
  0 0 1 40 36 22 ⟶ 0 0 21 14 4 21 22 ,
  0 0 1 40 36 36 ⟶ 0 0 21 14 4 21 36 ,
  0 0 1 40 36 26 ⟶ 0 0 21 14 4 21 26 ,
  0 0 1 40 36 33 ⟶ 0 0 21 14 4 21 33 ,
  0 0 1 40 36 38 ⟶ 0 0 21 14 4 21 38 ,
  4 0 1 40 36 13 ⟶ 4 0 21 14 4 21 13 ,
  4 0 1 40 36 14 ⟶ 4 0 21 14 4 21 14 ,
  4 0 1 40 36 22 ⟶ 4 0 21 14 4 21 22 ,
  4 0 1 40 36 36 ⟶ 4 0 21 14 4 21 36 ,
  4 0 1 40 36 26 ⟶ 4 0 21 14 4 21 26 ,
  4 0 1 40 36 33 ⟶ 4 0 21 14 4 21 33 ,
  4 0 1 40 36 38 ⟶ 4 0 21 14 4 21 38 ,
  3 0 1 40 36 13 ⟶ 3 0 21 14 4 21 13 ,
  3 0 1 40 36 14 ⟶ 3 0 21 14 4 21 14 ,
  3 0 1 40 36 22 ⟶ 3 0 21 14 4 21 22 ,
  3 0 1 40 36 36 ⟶ 3 0 21 14 4 21 36 ,
  3 0 1 40 36 26 ⟶ 3 0 21 14 4 21 26 ,
  3 0 1 40 36 33 ⟶ 3 0 21 14 4 21 33 ,
  3 0 1 40 36 38 ⟶ 3 0 21 14 4 21 38 ,
  13 0 1 40 36 13 ⟶ 13 0 21 14 4 21 13 ,
  13 0 1 40 36 14 ⟶ 13 0 21 14 4 21 14 ,
  13 0 1 40 36 22 ⟶ 13 0 21 14 4 21 22 ,
  13 0 1 40 36 36 ⟶ 13 0 21 14 4 21 36 ,
  13 0 1 40 36 26 ⟶ 13 0 21 14 4 21 26 ,
  13 0 1 40 36 33 ⟶ 13 0 21 14 4 21 33 ,
  13 0 1 40 36 38 ⟶ 13 0 21 14 4 21 38 ,
  15 0 1 40 36 13 ⟶ 15 0 21 14 4 21 13 ,
  15 0 1 40 36 14 ⟶ 15 0 21 14 4 21 14 ,
  15 0 1 40 36 22 ⟶ 15 0 21 14 4 21 22 ,
  15 0 1 40 36 36 ⟶ 15 0 21 14 4 21 36 ,
  15 0 1 40 36 26 ⟶ 15 0 21 14 4 21 26 ,
  15 0 1 40 36 33 ⟶ 15 0 21 14 4 21 33 ,
  15 0 1 40 36 38 ⟶ 15 0 21 14 4 21 38 ,
  17 0 1 40 36 13 ⟶ 17 0 21 14 4 21 13 ,
  17 0 1 40 36 14 ⟶ 17 0 21 14 4 21 14 ,
  17 0 1 40 36 22 ⟶ 17 0 21 14 4 21 22 ,
  17 0 1 40 36 36 ⟶ 17 0 21 14 4 21 36 ,
  17 0 1 40 36 26 ⟶ 17 0 21 14 4 21 26 ,
  17 0 1 40 36 33 ⟶ 17 0 21 14 4 21 33 ,
  17 0 1 40 36 38 ⟶ 17 0 21 14 4 21 38 ,
  19 0 1 40 36 13 ⟶ 19 0 21 14 4 21 13 ,
  19 0 1 40 36 14 ⟶ 19 0 21 14 4 21 14 ,
  19 0 1 40 36 22 ⟶ 19 0 21 14 4 21 22 ,
  19 0 1 40 36 36 ⟶ 19 0 21 14 4 21 36 ,
  19 0 1 40 36 26 ⟶ 19 0 21 14 4 21 26 ,
  19 0 1 40 36 33 ⟶ 19 0 21 14 4 21 33 ,
  19 0 1 40 36 38 ⟶ 19 0 21 14 4 21 38 ,
  0 0 1 32 31 3 ⟶ 1 32 17 0 21 22 3 ,
  0 0 1 32 31 6 ⟶ 1 32 17 0 21 22 6 ,
  0 0 1 32 31 7 ⟶ 1 32 17 0 21 22 7 ,
  0 0 1 32 31 8 ⟶ 1 32 17 0 21 22 8 ,
  0 0 1 32 31 9 ⟶ 1 32 17 0 21 22 9 ,
  0 0 1 32 31 10 ⟶ 1 32 17 0 21 22 10 ,
  0 0 1 32 31 11 ⟶ 1 32 17 0 21 22 11 ,
  4 0 1 32 31 3 ⟶ 12 32 17 0 21 22 3 ,
  4 0 1 32 31 6 ⟶ 12 32 17 0 21 22 6 ,
  4 0 1 32 31 7 ⟶ 12 32 17 0 21 22 7 ,
  4 0 1 32 31 8 ⟶ 12 32 17 0 21 22 8 ,
  4 0 1 32 31 9 ⟶ 12 32 17 0 21 22 9 ,
  4 0 1 32 31 10 ⟶ 12 32 17 0 21 22 10 ,
  4 0 1 32 31 11 ⟶ 12 32 17 0 21 22 11 ,
  3 0 1 32 31 3 ⟶ 6 32 17 0 21 22 3 ,
  3 0 1 32 31 6 ⟶ 6 32 17 0 21 22 6 ,
  3 0 1 32 31 7 ⟶ 6 32 17 0 21 22 7 ,
  3 0 1 32 31 8 ⟶ 6 32 17 0 21 22 8 ,
  3 0 1 32 31 9 ⟶ 6 32 17 0 21 22 9 ,
  3 0 1 32 31 10 ⟶ 6 32 17 0 21 22 10 ,
  3 0 1 32 31 11 ⟶ 6 32 17 0 21 22 11 ,
  13 0 1 32 31 3 ⟶ 14 32 17 0 21 22 3 ,
  13 0 1 32 31 6 ⟶ 14 32 17 0 21 22 6 ,
  13 0 1 32 31 7 ⟶ 14 32 17 0 21 22 7 ,
  13 0 1 32 31 8 ⟶ 14 32 17 0 21 22 8 ,
  13 0 1 32 31 9 ⟶ 14 32 17 0 21 22 9 ,
  13 0 1 32 31 10 ⟶ 14 32 17 0 21 22 10 ,
  13 0 1 32 31 11 ⟶ 14 32 17 0 21 22 11 ,
  15 0 1 32 31 3 ⟶ 16 32 17 0 21 22 3 ,
  15 0 1 32 31 6 ⟶ 16 32 17 0 21 22 6 ,
  15 0 1 32 31 7 ⟶ 16 32 17 0 21 22 7 ,
  15 0 1 32 31 8 ⟶ 16 32 17 0 21 22 8 ,
  15 0 1 32 31 9 ⟶ 16 32 17 0 21 22 9 ,
  15 0 1 32 31 10 ⟶ 16 32 17 0 21 22 10 ,
  15 0 1 32 31 11 ⟶ 16 32 17 0 21 22 11 ,
  17 0 1 32 31 3 ⟶ 18 32 17 0 21 22 3 ,
  17 0 1 32 31 6 ⟶ 18 32 17 0 21 22 6 ,
  17 0 1 32 31 7 ⟶ 18 32 17 0 21 22 7 ,
  17 0 1 32 31 8 ⟶ 18 32 17 0 21 22 8 ,
  17 0 1 32 31 9 ⟶ 18 32 17 0 21 22 9 ,
  17 0 1 32 31 10 ⟶ 18 32 17 0 21 22 10 ,
  17 0 1 32 31 11 ⟶ 18 32 17 0 21 22 11 ,
  19 0 1 32 31 3 ⟶ 20 32 17 0 21 22 3 ,
  19 0 1 32 31 6 ⟶ 20 32 17 0 21 22 6 ,
  19 0 1 32 31 7 ⟶ 20 32 17 0 21 22 7 ,
  19 0 1 32 31 8 ⟶ 20 32 17 0 21 22 8 ,
  19 0 1 32 31 9 ⟶ 20 32 17 0 21 22 9 ,
  19 0 1 32 31 10 ⟶ 20 32 17 0 21 22 10 ,
  19 0 1 32 31 11 ⟶ 20 32 17 0 21 22 11 ,
  0 1 2 6 2 3 ⟶ 1 12 4 5 7 7 3 ,
  0 1 2 6 2 6 ⟶ 1 12 4 5 7 7 6 ,
  0 1 2 6 2 7 ⟶ 1 12 4 5 7 7 7 ,
  0 1 2 6 2 8 ⟶ 1 12 4 5 7 7 8 ,
  0 1 2 6 2 9 ⟶ 1 12 4 5 7 7 9 ,
  0 1 2 6 2 10 ⟶ 1 12 4 5 7 7 10 ,
  0 1 2 6 2 11 ⟶ 1 12 4 5 7 7 11 ,
  4 1 2 6 2 3 ⟶ 12 12 4 5 7 7 3 ,
  4 1 2 6 2 6 ⟶ 12 12 4 5 7 7 6 ,
  4 1 2 6 2 7 ⟶ 12 12 4 5 7 7 7 ,
  4 1 2 6 2 8 ⟶ 12 12 4 5 7 7 8 ,
  4 1 2 6 2 9 ⟶ 12 12 4 5 7 7 9 ,
  4 1 2 6 2 10 ⟶ 12 12 4 5 7 7 10 ,
  4 1 2 6 2 11 ⟶ 12 12 4 5 7 7 11 ,
  3 1 2 6 2 3 ⟶ 6 12 4 5 7 7 3 ,
  3 1 2 6 2 6 ⟶ 6 12 4 5 7 7 6 ,
  3 1 2 6 2 7 ⟶ 6 12 4 5 7 7 7 ,
  3 1 2 6 2 8 ⟶ 6 12 4 5 7 7 8 ,
  3 1 2 6 2 9 ⟶ 6 12 4 5 7 7 9 ,
  3 1 2 6 2 10 ⟶ 6 12 4 5 7 7 10 ,
  3 1 2 6 2 11 ⟶ 6 12 4 5 7 7 11 ,
  13 1 2 6 2 3 ⟶ 14 12 4 5 7 7 3 ,
  13 1 2 6 2 6 ⟶ 14 12 4 5 7 7 6 ,
  13 1 2 6 2 7 ⟶ 14 12 4 5 7 7 7 ,
  13 1 2 6 2 8 ⟶ 14 12 4 5 7 7 8 ,
  13 1 2 6 2 9 ⟶ 14 12 4 5 7 7 9 ,
  13 1 2 6 2 10 ⟶ 14 12 4 5 7 7 10 ,
  13 1 2 6 2 11 ⟶ 14 12 4 5 7 7 11 ,
  15 1 2 6 2 3 ⟶ 16 12 4 5 7 7 3 ,
  15 1 2 6 2 6 ⟶ 16 12 4 5 7 7 6 ,
  15 1 2 6 2 7 ⟶ 16 12 4 5 7 7 7 ,
  15 1 2 6 2 8 ⟶ 16 12 4 5 7 7 8 ,
  15 1 2 6 2 9 ⟶ 16 12 4 5 7 7 9 ,
  15 1 2 6 2 10 ⟶ 16 12 4 5 7 7 10 ,
  15 1 2 6 2 11 ⟶ 16 12 4 5 7 7 11 ,
  17 1 2 6 2 3 ⟶ 18 12 4 5 7 7 3 ,
  17 1 2 6 2 6 ⟶ 18 12 4 5 7 7 6 ,
  17 1 2 6 2 7 ⟶ 18 12 4 5 7 7 7 ,
  17 1 2 6 2 8 ⟶ 18 12 4 5 7 7 8 ,
  17 1 2 6 2 9 ⟶ 18 12 4 5 7 7 9 ,
  17 1 2 6 2 10 ⟶ 18 12 4 5 7 7 10 ,
  17 1 2 6 2 11 ⟶ 18 12 4 5 7 7 11 ,
  19 1 2 6 2 3 ⟶ 20 12 4 5 7 7 3 ,
  19 1 2 6 2 6 ⟶ 20 12 4 5 7 7 6 ,
  19 1 2 6 2 7 ⟶ 20 12 4 5 7 7 7 ,
  19 1 2 6 2 8 ⟶ 20 12 4 5 7 7 8 ,
  19 1 2 6 2 9 ⟶ 20 12 4 5 7 7 9 ,
  19 1 2 6 2 10 ⟶ 20 12 4 5 7 7 10 ,
  19 1 2 6 2 11 ⟶ 20 12 4 5 7 7 11 ,
  0 1 25 24 31 3 ⟶ 23 16 4 21 22 10 17 ,
  0 1 25 24 31 6 ⟶ 23 16 4 21 22 10 18 ,
  0 1 25 24 31 7 ⟶ 23 16 4 21 22 10 31 ,
  0 1 25 24 31 8 ⟶ 23 16 4 21 22 10 37 ,
  0 1 25 24 31 9 ⟶ 23 16 4 21 22 10 28 ,
  0 1 25 24 31 10 ⟶ 23 16 4 21 22 10 34 ,
  0 1 25 24 31 11 ⟶ 23 16 4 21 22 10 39 ,
  4 1 25 24 31 3 ⟶ 25 16 4 21 22 10 17 ,
  4 1 25 24 31 6 ⟶ 25 16 4 21 22 10 18 ,
  4 1 25 24 31 7 ⟶ 25 16 4 21 22 10 31 ,
  4 1 25 24 31 8 ⟶ 25 16 4 21 22 10 37 ,
  4 1 25 24 31 9 ⟶ 25 16 4 21 22 10 28 ,
  4 1 25 24 31 10 ⟶ 25 16 4 21 22 10 34 ,
  4 1 25 24 31 11 ⟶ 25 16 4 21 22 10 39 ,
  3 1 25 24 31 3 ⟶ 9 16 4 21 22 10 17 ,
  3 1 25 24 31 6 ⟶ 9 16 4 21 22 10 18 ,
  3 1 25 24 31 7 ⟶ 9 16 4 21 22 10 31 ,
  3 1 25 24 31 8 ⟶ 9 16 4 21 22 10 37 ,
  3 1 25 24 31 9 ⟶ 9 16 4 21 22 10 28 ,
  3 1 25 24 31 10 ⟶ 9 16 4 21 22 10 34 ,
  3 1 25 24 31 11 ⟶ 9 16 4 21 22 10 39 ,
  13 1 25 24 31 3 ⟶ 26 16 4 21 22 10 17 ,
  13 1 25 24 31 6 ⟶ 26 16 4 21 22 10 18 ,
  13 1 25 24 31 7 ⟶ 26 16 4 21 22 10 31 ,
  13 1 25 24 31 8 ⟶ 26 16 4 21 22 10 37 ,
  13 1 25 24 31 9 ⟶ 26 16 4 21 22 10 28 ,
  13 1 25 24 31 10 ⟶ 26 16 4 21 22 10 34 ,
  13 1 25 24 31 11 ⟶ 26 16 4 21 22 10 39 ,
  15 1 25 24 31 3 ⟶ 27 16 4 21 22 10 17 ,
  15 1 25 24 31 6 ⟶ 27 16 4 21 22 10 18 ,
  15 1 25 24 31 7 ⟶ 27 16 4 21 22 10 31 ,
  15 1 25 24 31 8 ⟶ 27 16 4 21 22 10 37 ,
  15 1 25 24 31 9 ⟶ 27 16 4 21 22 10 28 ,
  15 1 25 24 31 10 ⟶ 27 16 4 21 22 10 34 ,
  15 1 25 24 31 11 ⟶ 27 16 4 21 22 10 39 ,
  17 1 25 24 31 3 ⟶ 28 16 4 21 22 10 17 ,
  17 1 25 24 31 6 ⟶ 28 16 4 21 22 10 18 ,
  17 1 25 24 31 7 ⟶ 28 16 4 21 22 10 31 ,
  17 1 25 24 31 8 ⟶ 28 16 4 21 22 10 37 ,
  17 1 25 24 31 9 ⟶ 28 16 4 21 22 10 28 ,
  17 1 25 24 31 10 ⟶ 28 16 4 21 22 10 34 ,
  17 1 25 24 31 11 ⟶ 28 16 4 21 22 10 39 ,
  19 1 25 24 31 3 ⟶ 29 16 4 21 22 10 17 ,
  19 1 25 24 31 6 ⟶ 29 16 4 21 22 10 18 ,
  19 1 25 24 31 7 ⟶ 29 16 4 21 22 10 31 ,
  19 1 25 24 31 8 ⟶ 29 16 4 21 22 10 37 ,
  19 1 25 24 31 9 ⟶ 29 16 4 21 22 10 28 ,
  19 1 25 24 31 10 ⟶ 29 16 4 21 22 10 34 ,
  19 1 25 24 31 11 ⟶ 29 16 4 21 22 10 39 ,
  0 30 17 1 2 3 ⟶ 1 2 3 1 32 17 0 ,
  0 30 17 1 2 6 ⟶ 1 2 3 1 32 17 1 ,
  0 30 17 1 2 7 ⟶ 1 2 3 1 32 17 5 ,
  0 30 17 1 2 8 ⟶ 1 2 3 1 32 17 21 ,
  0 30 17 1 2 9 ⟶ 1 2 3 1 32 17 23 ,
  0 30 17 1 2 10 ⟶ 1 2 3 1 32 17 30 ,
  0 30 17 1 2 11 ⟶ 1 2 3 1 32 17 46 ,
  4 30 17 1 2 3 ⟶ 12 2 3 1 32 17 0 ,
  4 30 17 1 2 6 ⟶ 12 2 3 1 32 17 1 ,
  4 30 17 1 2 7 ⟶ 12 2 3 1 32 17 5 ,
  4 30 17 1 2 8 ⟶ 12 2 3 1 32 17 21 ,
  4 30 17 1 2 9 ⟶ 12 2 3 1 32 17 23 ,
  4 30 17 1 2 10 ⟶ 12 2 3 1 32 17 30 ,
  4 30 17 1 2 11 ⟶ 12 2 3 1 32 17 46 ,
  3 30 17 1 2 3 ⟶ 6 2 3 1 32 17 0 ,
  3 30 17 1 2 6 ⟶ 6 2 3 1 32 17 1 ,
  3 30 17 1 2 7 ⟶ 6 2 3 1 32 17 5 ,
  3 30 17 1 2 8 ⟶ 6 2 3 1 32 17 21 ,
  3 30 17 1 2 9 ⟶ 6 2 3 1 32 17 23 ,
  3 30 17 1 2 10 ⟶ 6 2 3 1 32 17 30 ,
  3 30 17 1 2 11 ⟶ 6 2 3 1 32 17 46 ,
  13 30 17 1 2 3 ⟶ 14 2 3 1 32 17 0 ,
  13 30 17 1 2 6 ⟶ 14 2 3 1 32 17 1 ,
  13 30 17 1 2 7 ⟶ 14 2 3 1 32 17 5 ,
  13 30 17 1 2 8 ⟶ 14 2 3 1 32 17 21 ,
  13 30 17 1 2 9 ⟶ 14 2 3 1 32 17 23 ,
  13 30 17 1 2 10 ⟶ 14 2 3 1 32 17 30 ,
  13 30 17 1 2 11 ⟶ 14 2 3 1 32 17 46 ,
  15 30 17 1 2 3 ⟶ 16 2 3 1 32 17 0 ,
  15 30 17 1 2 6 ⟶ 16 2 3 1 32 17 1 ,
  15 30 17 1 2 7 ⟶ 16 2 3 1 32 17 5 ,
  15 30 17 1 2 8 ⟶ 16 2 3 1 32 17 21 ,
  15 30 17 1 2 9 ⟶ 16 2 3 1 32 17 23 ,
  15 30 17 1 2 10 ⟶ 16 2 3 1 32 17 30 ,
  15 30 17 1 2 11 ⟶ 16 2 3 1 32 17 46 ,
  17 30 17 1 2 3 ⟶ 18 2 3 1 32 17 0 ,
  17 30 17 1 2 6 ⟶ 18 2 3 1 32 17 1 ,
  17 30 17 1 2 7 ⟶ 18 2 3 1 32 17 5 ,
  17 30 17 1 2 8 ⟶ 18 2 3 1 32 17 21 ,
  17 30 17 1 2 9 ⟶ 18 2 3 1 32 17 23 ,
  17 30 17 1 2 10 ⟶ 18 2 3 1 32 17 30 ,
  17 30 17 1 2 11 ⟶ 18 2 3 1 32 17 46 ,
  19 30 17 1 2 3 ⟶ 20 2 3 1 32 17 0 ,
  19 30 17 1 2 6 ⟶ 20 2 3 1 32 17 1 ,
  19 30 17 1 2 7 ⟶ 20 2 3 1 32 17 5 ,
  19 30 17 1 2 8 ⟶ 20 2 3 1 32 17 21 ,
  19 30 17 1 2 9 ⟶ 20 2 3 1 32 17 23 ,
  19 30 17 1 2 10 ⟶ 20 2 3 1 32 17 30 ,
  19 30 17 1 2 11 ⟶ 20 2 3 1 32 17 46 ,
  0 30 18 4 5 3 ⟶ 1 32 17 0 21 22 3 ,
  0 30 18 4 5 6 ⟶ 1 32 17 0 21 22 6 ,
  0 30 18 4 5 7 ⟶ 1 32 17 0 21 22 7 ,
  0 30 18 4 5 8 ⟶ 1 32 17 0 21 22 8 ,
  0 30 18 4 5 9 ⟶ 1 32 17 0 21 22 9 ,
  0 30 18 4 5 10 ⟶ 1 32 17 0 21 22 10 ,
  0 30 18 4 5 11 ⟶ 1 32 17 0 21 22 11 ,
  4 30 18 4 5 3 ⟶ 12 32 17 0 21 22 3 ,
  4 30 18 4 5 6 ⟶ 12 32 17 0 21 22 6 ,
  4 30 18 4 5 7 ⟶ 12 32 17 0 21 22 7 ,
  4 30 18 4 5 8 ⟶ 12 32 17 0 21 22 8 ,
  4 30 18 4 5 9 ⟶ 12 32 17 0 21 22 9 ,
  4 30 18 4 5 10 ⟶ 12 32 17 0 21 22 10 ,
  4 30 18 4 5 11 ⟶ 12 32 17 0 21 22 11 ,
  3 30 18 4 5 3 ⟶ 6 32 17 0 21 22 3 ,
  3 30 18 4 5 6 ⟶ 6 32 17 0 21 22 6 ,
  3 30 18 4 5 7 ⟶ 6 32 17 0 21 22 7 ,
  3 30 18 4 5 8 ⟶ 6 32 17 0 21 22 8 ,
  3 30 18 4 5 9 ⟶ 6 32 17 0 21 22 9 ,
  3 30 18 4 5 10 ⟶ 6 32 17 0 21 22 10 ,
  3 30 18 4 5 11 ⟶ 6 32 17 0 21 22 11 ,
  13 30 18 4 5 3 ⟶ 14 32 17 0 21 22 3 ,
  13 30 18 4 5 6 ⟶ 14 32 17 0 21 22 6 ,
  13 30 18 4 5 7 ⟶ 14 32 17 0 21 22 7 ,
  13 30 18 4 5 8 ⟶ 14 32 17 0 21 22 8 ,
  13 30 18 4 5 9 ⟶ 14 32 17 0 21 22 9 ,
  13 30 18 4 5 10 ⟶ 14 32 17 0 21 22 10 ,
  13 30 18 4 5 11 ⟶ 14 32 17 0 21 22 11 ,
  15 30 18 4 5 3 ⟶ 16 32 17 0 21 22 3 ,
  15 30 18 4 5 6 ⟶ 16 32 17 0 21 22 6 ,
  15 30 18 4 5 7 ⟶ 16 32 17 0 21 22 7 ,
  15 30 18 4 5 8 ⟶ 16 32 17 0 21 22 8 ,
  15 30 18 4 5 9 ⟶ 16 32 17 0 21 22 9 ,
  15 30 18 4 5 10 ⟶ 16 32 17 0 21 22 10 ,
  15 30 18 4 5 11 ⟶ 16 32 17 0 21 22 11 ,
  17 30 18 4 5 3 ⟶ 18 32 17 0 21 22 3 ,
  17 30 18 4 5 6 ⟶ 18 32 17 0 21 22 6 ,
  17 30 18 4 5 7 ⟶ 18 32 17 0 21 22 7 ,
  17 30 18 4 5 8 ⟶ 18 32 17 0 21 22 8 ,
  17 30 18 4 5 9 ⟶ 18 32 17 0 21 22 9 ,
  17 30 18 4 5 10 ⟶ 18 32 17 0 21 22 10 ,
  17 30 18 4 5 11 ⟶ 18 32 17 0 21 22 11 ,
  19 30 18 4 5 3 ⟶ 20 32 17 0 21 22 3 ,
  19 30 18 4 5 6 ⟶ 20 32 17 0 21 22 6 ,
  19 30 18 4 5 7 ⟶ 20 32 17 0 21 22 7 ,
  19 30 18 4 5 8 ⟶ 20 32 17 0 21 22 8 ,
  19 30 18 4 5 9 ⟶ 20 32 17 0 21 22 9 ,
  19 30 18 4 5 10 ⟶ 20 32 17 0 21 22 10 ,
  19 30 18 4 5 11 ⟶ 20 32 17 0 21 22 11 ,
  0 30 18 25 42 13 ⟶ 1 4 21 33 28 24 17 ,
  0 30 18 25 42 14 ⟶ 1 4 21 33 28 24 18 ,
  0 30 18 25 42 22 ⟶ 1 4 21 33 28 24 31 ,
  0 30 18 25 42 36 ⟶ 1 4 21 33 28 24 37 ,
  0 30 18 25 42 26 ⟶ 1 4 21 33 28 24 28 ,
  0 30 18 25 42 33 ⟶ 1 4 21 33 28 24 34 ,
  0 30 18 25 42 38 ⟶ 1 4 21 33 28 24 39 ,
  4 30 18 25 42 13 ⟶ 12 4 21 33 28 24 17 ,
  4 30 18 25 42 14 ⟶ 12 4 21 33 28 24 18 ,
  4 30 18 25 42 22 ⟶ 12 4 21 33 28 24 31 ,
  4 30 18 25 42 36 ⟶ 12 4 21 33 28 24 37 ,
  4 30 18 25 42 26 ⟶ 12 4 21 33 28 24 28 ,
  4 30 18 25 42 33 ⟶ 12 4 21 33 28 24 34 ,
  4 30 18 25 42 38 ⟶ 12 4 21 33 28 24 39 ,
  3 30 18 25 42 13 ⟶ 6 4 21 33 28 24 17 ,
  3 30 18 25 42 14 ⟶ 6 4 21 33 28 24 18 ,
  3 30 18 25 42 22 ⟶ 6 4 21 33 28 24 31 ,
  3 30 18 25 42 36 ⟶ 6 4 21 33 28 24 37 ,
  3 30 18 25 42 26 ⟶ 6 4 21 33 28 24 28 ,
  3 30 18 25 42 33 ⟶ 6 4 21 33 28 24 34 ,
  3 30 18 25 42 38 ⟶ 6 4 21 33 28 24 39 ,
  13 30 18 25 42 13 ⟶ 14 4 21 33 28 24 17 ,
  13 30 18 25 42 14 ⟶ 14 4 21 33 28 24 18 ,
  13 30 18 25 42 22 ⟶ 14 4 21 33 28 24 31 ,
  13 30 18 25 42 36 ⟶ 14 4 21 33 28 24 37 ,
  13 30 18 25 42 26 ⟶ 14 4 21 33 28 24 28 ,
  13 30 18 25 42 33 ⟶ 14 4 21 33 28 24 34 ,
  13 30 18 25 42 38 ⟶ 14 4 21 33 28 24 39 ,
  15 30 18 25 42 13 ⟶ 16 4 21 33 28 24 17 ,
  15 30 18 25 42 14 ⟶ 16 4 21 33 28 24 18 ,
  15 30 18 25 42 22 ⟶ 16 4 21 33 28 24 31 ,
  15 30 18 25 42 36 ⟶ 16 4 21 33 28 24 37 ,
  15 30 18 25 42 26 ⟶ 16 4 21 33 28 24 28 ,
  15 30 18 25 42 33 ⟶ 16 4 21 33 28 24 34 ,
  15 30 18 25 42 38 ⟶ 16 4 21 33 28 24 39 ,
  17 30 18 25 42 13 ⟶ 18 4 21 33 28 24 17 ,
  17 30 18 25 42 14 ⟶ 18 4 21 33 28 24 18 ,
  17 30 18 25 42 22 ⟶ 18 4 21 33 28 24 31 ,
  17 30 18 25 42 36 ⟶ 18 4 21 33 28 24 37 ,
  17 30 18 25 42 26 ⟶ 18 4 21 33 28 24 28 ,
  17 30 18 25 42 33 ⟶ 18 4 21 33 28 24 34 ,
  17 30 18 25 42 38 ⟶ 18 4 21 33 28 24 39 ,
  19 30 18 25 42 13 ⟶ 20 4 21 33 28 24 17 ,
  19 30 18 25 42 14 ⟶ 20 4 21 33 28 24 18 ,
  19 30 18 25 42 22 ⟶ 20 4 21 33 28 24 31 ,
  19 30 18 25 42 36 ⟶ 20 4 21 33 28 24 37 ,
  19 30 18 25 42 26 ⟶ 20 4 21 33 28 24 28 ,
  19 30 18 25 42 33 ⟶ 20 4 21 33 28 24 34 ,
  19 30 18 25 42 38 ⟶ 20 4 21 33 28 24 39 ,
  0 30 18 25 42 13 ⟶ 23 24 34 18 4 21 13 ,
  0 30 18 25 42 14 ⟶ 23 24 34 18 4 21 14 ,
  0 30 18 25 42 22 ⟶ 23 24 34 18 4 21 22 ,
  0 30 18 25 42 36 ⟶ 23 24 34 18 4 21 36 ,
  0 30 18 25 42 26 ⟶ 23 24 34 18 4 21 26 ,
  0 30 18 25 42 33 ⟶ 23 24 34 18 4 21 33 ,
  0 30 18 25 42 38 ⟶ 23 24 34 18 4 21 38 ,
  4 30 18 25 42 13 ⟶ 25 24 34 18 4 21 13 ,
  4 30 18 25 42 14 ⟶ 25 24 34 18 4 21 14 ,
  4 30 18 25 42 22 ⟶ 25 24 34 18 4 21 22 ,
  4 30 18 25 42 36 ⟶ 25 24 34 18 4 21 36 ,
  4 30 18 25 42 26 ⟶ 25 24 34 18 4 21 26 ,
  4 30 18 25 42 33 ⟶ 25 24 34 18 4 21 33 ,
  4 30 18 25 42 38 ⟶ 25 24 34 18 4 21 38 ,
  3 30 18 25 42 13 ⟶ 9 24 34 18 4 21 13 ,
  3 30 18 25 42 14 ⟶ 9 24 34 18 4 21 14 ,
  3 30 18 25 42 22 ⟶ 9 24 34 18 4 21 22 ,
  3 30 18 25 42 36 ⟶ 9 24 34 18 4 21 36 ,
  3 30 18 25 42 26 ⟶ 9 24 34 18 4 21 26 ,
  3 30 18 25 42 33 ⟶ 9 24 34 18 4 21 33 ,
  3 30 18 25 42 38 ⟶ 9 24 34 18 4 21 38 ,
  13 30 18 25 42 13 ⟶ 26 24 34 18 4 21 13 ,
  13 30 18 25 42 14 ⟶ 26 24 34 18 4 21 14 ,
  13 30 18 25 42 22 ⟶ 26 24 34 18 4 21 22 ,
  13 30 18 25 42 36 ⟶ 26 24 34 18 4 21 36 ,
  13 30 18 25 42 26 ⟶ 26 24 34 18 4 21 26 ,
  13 30 18 25 42 33 ⟶ 26 24 34 18 4 21 33 ,
  13 30 18 25 42 38 ⟶ 26 24 34 18 4 21 38 ,
  15 30 18 25 42 13 ⟶ 27 24 34 18 4 21 13 ,
  15 30 18 25 42 14 ⟶ 27 24 34 18 4 21 14 ,
  15 30 18 25 42 22 ⟶ 27 24 34 18 4 21 22 ,
  15 30 18 25 42 36 ⟶ 27 24 34 18 4 21 36 ,
  15 30 18 25 42 26 ⟶ 27 24 34 18 4 21 26 ,
  15 30 18 25 42 33 ⟶ 27 24 34 18 4 21 33 ,
  15 30 18 25 42 38 ⟶ 27 24 34 18 4 21 38 ,
  17 30 18 25 42 13 ⟶ 28 24 34 18 4 21 13 ,
  17 30 18 25 42 14 ⟶ 28 24 34 18 4 21 14 ,
  17 30 18 25 42 22 ⟶ 28 24 34 18 4 21 22 ,
  17 30 18 25 42 36 ⟶ 28 24 34 18 4 21 36 ,
  17 30 18 25 42 26 ⟶ 28 24 34 18 4 21 26 ,
  17 30 18 25 42 33 ⟶ 28 24 34 18 4 21 33 ,
  17 30 18 25 42 38 ⟶ 28 24 34 18 4 21 38 ,
  19 30 18 25 42 13 ⟶ 29 24 34 18 4 21 13 ,
  19 30 18 25 42 14 ⟶ 29 24 34 18 4 21 14 ,
  19 30 18 25 42 22 ⟶ 29 24 34 18 4 21 22 ,
  19 30 18 25 42 36 ⟶ 29 24 34 18 4 21 36 ,
  19 30 18 25 42 26 ⟶ 29 24 34 18 4 21 26 ,
  19 30 18 25 42 33 ⟶ 29 24 34 18 4 21 33 ,
  19 30 18 25 42 38 ⟶ 29 24 34 18 4 21 38 ,
  0 30 37 14 2 3 ⟶ 0 1 32 17 5 8 13 ,
  0 30 37 14 2 6 ⟶ 0 1 32 17 5 8 14 ,
  0 30 37 14 2 7 ⟶ 0 1 32 17 5 8 22 ,
  0 30 37 14 2 8 ⟶ 0 1 32 17 5 8 36 ,
  0 30 37 14 2 9 ⟶ 0 1 32 17 5 8 26 ,
  0 30 37 14 2 10 ⟶ 0 1 32 17 5 8 33 ,
  0 30 37 14 2 11 ⟶ 0 1 32 17 5 8 38 ,
  4 30 37 14 2 3 ⟶ 4 1 32 17 5 8 13 ,
  4 30 37 14 2 6 ⟶ 4 1 32 17 5 8 14 ,
  4 30 37 14 2 7 ⟶ 4 1 32 17 5 8 22 ,
  4 30 37 14 2 8 ⟶ 4 1 32 17 5 8 36 ,
  4 30 37 14 2 9 ⟶ 4 1 32 17 5 8 26 ,
  4 30 37 14 2 10 ⟶ 4 1 32 17 5 8 33 ,
  4 30 37 14 2 11 ⟶ 4 1 32 17 5 8 38 ,
  3 30 37 14 2 3 ⟶ 3 1 32 17 5 8 13 ,
  3 30 37 14 2 6 ⟶ 3 1 32 17 5 8 14 ,
  3 30 37 14 2 7 ⟶ 3 1 32 17 5 8 22 ,
  3 30 37 14 2 8 ⟶ 3 1 32 17 5 8 36 ,
  3 30 37 14 2 9 ⟶ 3 1 32 17 5 8 26 ,
  3 30 37 14 2 10 ⟶ 3 1 32 17 5 8 33 ,
  3 30 37 14 2 11 ⟶ 3 1 32 17 5 8 38 ,
  13 30 37 14 2 3 ⟶ 13 1 32 17 5 8 13 ,
  13 30 37 14 2 6 ⟶ 13 1 32 17 5 8 14 ,
  13 30 37 14 2 7 ⟶ 13 1 32 17 5 8 22 ,
  13 30 37 14 2 8 ⟶ 13 1 32 17 5 8 36 ,
  13 30 37 14 2 9 ⟶ 13 1 32 17 5 8 26 ,
  13 30 37 14 2 10 ⟶ 13 1 32 17 5 8 33 ,
  13 30 37 14 2 11 ⟶ 13 1 32 17 5 8 38 ,
  15 30 37 14 2 3 ⟶ 15 1 32 17 5 8 13 ,
  15 30 37 14 2 6 ⟶ 15 1 32 17 5 8 14 ,
  15 30 37 14 2 7 ⟶ 15 1 32 17 5 8 22 ,
  15 30 37 14 2 8 ⟶ 15 1 32 17 5 8 36 ,
  15 30 37 14 2 9 ⟶ 15 1 32 17 5 8 26 ,
  15 30 37 14 2 10 ⟶ 15 1 32 17 5 8 33 ,
  15 30 37 14 2 11 ⟶ 15 1 32 17 5 8 38 ,
  17 30 37 14 2 3 ⟶ 17 1 32 17 5 8 13 ,
  17 30 37 14 2 6 ⟶ 17 1 32 17 5 8 14 ,
  17 30 37 14 2 7 ⟶ 17 1 32 17 5 8 22 ,
  17 30 37 14 2 8 ⟶ 17 1 32 17 5 8 36 ,
  17 30 37 14 2 9 ⟶ 17 1 32 17 5 8 26 ,
  17 30 37 14 2 10 ⟶ 17 1 32 17 5 8 33 ,
  17 30 37 14 2 11 ⟶ 17 1 32 17 5 8 38 ,
  19 30 37 14 2 3 ⟶ 19 1 32 17 5 8 13 ,
  19 30 37 14 2 6 ⟶ 19 1 32 17 5 8 14 ,
  19 30 37 14 2 7 ⟶ 19 1 32 17 5 8 22 ,
  19 30 37 14 2 8 ⟶ 19 1 32 17 5 8 36 ,
  19 30 37 14 2 9 ⟶ 19 1 32 17 5 8 26 ,
  19 30 37 14 2 10 ⟶ 19 1 32 17 5 8 33 ,
  19 30 37 14 2 11 ⟶ 19 1 32 17 5 8 38 ,
  0 30 37 14 2 3 ⟶ 30 17 1 25 42 22 3 ,
  0 30 37 14 2 6 ⟶ 30 17 1 25 42 22 6 ,
  0 30 37 14 2 7 ⟶ 30 17 1 25 42 22 7 ,
  0 30 37 14 2 8 ⟶ 30 17 1 25 42 22 8 ,
  0 30 37 14 2 9 ⟶ 30 17 1 25 42 22 9 ,
  0 30 37 14 2 10 ⟶ 30 17 1 25 42 22 10 ,
  0 30 37 14 2 11 ⟶ 30 17 1 25 42 22 11 ,
  4 30 37 14 2 3 ⟶ 32 17 1 25 42 22 3 ,
  4 30 37 14 2 6 ⟶ 32 17 1 25 42 22 6 ,
  4 30 37 14 2 7 ⟶ 32 17 1 25 42 22 7 ,
  4 30 37 14 2 8 ⟶ 32 17 1 25 42 22 8 ,
  4 30 37 14 2 9 ⟶ 32 17 1 25 42 22 9 ,
  4 30 37 14 2 10 ⟶ 32 17 1 25 42 22 10 ,
  4 30 37 14 2 11 ⟶ 32 17 1 25 42 22 11 ,
  3 30 37 14 2 3 ⟶ 10 17 1 25 42 22 3 ,
  3 30 37 14 2 6 ⟶ 10 17 1 25 42 22 6 ,
  3 30 37 14 2 7 ⟶ 10 17 1 25 42 22 7 ,
  3 30 37 14 2 8 ⟶ 10 17 1 25 42 22 8 ,
  3 30 37 14 2 9 ⟶ 10 17 1 25 42 22 9 ,
  3 30 37 14 2 10 ⟶ 10 17 1 25 42 22 10 ,
  3 30 37 14 2 11 ⟶ 10 17 1 25 42 22 11 ,
  13 30 37 14 2 3 ⟶ 33 17 1 25 42 22 3 ,
  13 30 37 14 2 6 ⟶ 33 17 1 25 42 22 6 ,
  13 30 37 14 2 7 ⟶ 33 17 1 25 42 22 7 ,
  13 30 37 14 2 8 ⟶ 33 17 1 25 42 22 8 ,
  13 30 37 14 2 9 ⟶ 33 17 1 25 42 22 9 ,
  13 30 37 14 2 10 ⟶ 33 17 1 25 42 22 10 ,
  13 30 37 14 2 11 ⟶ 33 17 1 25 42 22 11 ,
  15 30 37 14 2 3 ⟶ 24 17 1 25 42 22 3 ,
  15 30 37 14 2 6 ⟶ 24 17 1 25 42 22 6 ,
  15 30 37 14 2 7 ⟶ 24 17 1 25 42 22 7 ,
  15 30 37 14 2 8 ⟶ 24 17 1 25 42 22 8 ,
  15 30 37 14 2 9 ⟶ 24 17 1 25 42 22 9 ,
  15 30 37 14 2 10 ⟶ 24 17 1 25 42 22 10 ,
  15 30 37 14 2 11 ⟶ 24 17 1 25 42 22 11 ,
  17 30 37 14 2 3 ⟶ 34 17 1 25 42 22 3 ,
  17 30 37 14 2 6 ⟶ 34 17 1 25 42 22 6 ,
  17 30 37 14 2 7 ⟶ 34 17 1 25 42 22 7 ,
  17 30 37 14 2 8 ⟶ 34 17 1 25 42 22 8 ,
  17 30 37 14 2 9 ⟶ 34 17 1 25 42 22 9 ,
  17 30 37 14 2 10 ⟶ 34 17 1 25 42 22 10 ,
  17 30 37 14 2 11 ⟶ 34 17 1 25 42 22 11 ,
  19 30 37 14 2 3 ⟶ 35 17 1 25 42 22 3 ,
  19 30 37 14 2 6 ⟶ 35 17 1 25 42 22 6 ,
  19 30 37 14 2 7 ⟶ 35 17 1 25 42 22 7 ,
  19 30 37 14 2 8 ⟶ 35 17 1 25 42 22 8 ,
  19 30 37 14 2 9 ⟶ 35 17 1 25 42 22 9 ,
  19 30 37 14 2 10 ⟶ 35 17 1 25 42 22 10 ,
  19 30 37 14 2 11 ⟶ 35 17 1 25 42 22 11 ,
  0 30 37 26 41 3 ⟶ 21 22 3 21 33 28 15 ,
  0 30 37 26 41 6 ⟶ 21 22 3 21 33 28 16 ,
  0 30 37 26 41 7 ⟶ 21 22 3 21 33 28 41 ,
  0 30 37 26 41 8 ⟶ 21 22 3 21 33 28 42 ,
  0 30 37 26 41 9 ⟶ 21 22 3 21 33 28 27 ,
  0 30 37 26 41 10 ⟶ 21 22 3 21 33 28 24 ,
  0 30 37 26 41 11 ⟶ 21 22 3 21 33 28 43 ,
  4 30 37 26 41 3 ⟶ 40 22 3 21 33 28 15 ,
  4 30 37 26 41 6 ⟶ 40 22 3 21 33 28 16 ,
  4 30 37 26 41 7 ⟶ 40 22 3 21 33 28 41 ,
  4 30 37 26 41 8 ⟶ 40 22 3 21 33 28 42 ,
  4 30 37 26 41 9 ⟶ 40 22 3 21 33 28 27 ,
  4 30 37 26 41 10 ⟶ 40 22 3 21 33 28 24 ,
  4 30 37 26 41 11 ⟶ 40 22 3 21 33 28 43 ,
  3 30 37 26 41 3 ⟶ 8 22 3 21 33 28 15 ,
  3 30 37 26 41 6 ⟶ 8 22 3 21 33 28 16 ,
  3 30 37 26 41 7 ⟶ 8 22 3 21 33 28 41 ,
  3 30 37 26 41 8 ⟶ 8 22 3 21 33 28 42 ,
  3 30 37 26 41 9 ⟶ 8 22 3 21 33 28 27 ,
  3 30 37 26 41 10 ⟶ 8 22 3 21 33 28 24 ,
  3 30 37 26 41 11 ⟶ 8 22 3 21 33 28 43 ,
  13 30 37 26 41 3 ⟶ 36 22 3 21 33 28 15 ,
  13 30 37 26 41 6 ⟶ 36 22 3 21 33 28 16 ,
  13 30 37 26 41 7 ⟶ 36 22 3 21 33 28 41 ,
  13 30 37 26 41 8 ⟶ 36 22 3 21 33 28 42 ,
  13 30 37 26 41 9 ⟶ 36 22 3 21 33 28 27 ,
  13 30 37 26 41 10 ⟶ 36 22 3 21 33 28 24 ,
  13 30 37 26 41 11 ⟶ 36 22 3 21 33 28 43 ,
  15 30 37 26 41 3 ⟶ 42 22 3 21 33 28 15 ,
  15 30 37 26 41 6 ⟶ 42 22 3 21 33 28 16 ,
  15 30 37 26 41 7 ⟶ 42 22 3 21 33 28 41 ,
  15 30 37 26 41 8 ⟶ 42 22 3 21 33 28 42 ,
  15 30 37 26 41 9 ⟶ 42 22 3 21 33 28 27 ,
  15 30 37 26 41 10 ⟶ 42 22 3 21 33 28 24 ,
  15 30 37 26 41 11 ⟶ 42 22 3 21 33 28 43 ,
  17 30 37 26 41 3 ⟶ 37 22 3 21 33 28 15 ,
  17 30 37 26 41 6 ⟶ 37 22 3 21 33 28 16 ,
  17 30 37 26 41 7 ⟶ 37 22 3 21 33 28 41 ,
  17 30 37 26 41 8 ⟶ 37 22 3 21 33 28 42 ,
  17 30 37 26 41 9 ⟶ 37 22 3 21 33 28 27 ,
  17 30 37 26 41 10 ⟶ 37 22 3 21 33 28 24 ,
  17 30 37 26 41 11 ⟶ 37 22 3 21 33 28 43 ,
  19 30 37 26 41 3 ⟶ 45 22 3 21 33 28 15 ,
  19 30 37 26 41 6 ⟶ 45 22 3 21 33 28 16 ,
  19 30 37 26 41 7 ⟶ 45 22 3 21 33 28 41 ,
  19 30 37 26 41 8 ⟶ 45 22 3 21 33 28 42 ,
  19 30 37 26 41 9 ⟶ 45 22 3 21 33 28 27 ,
  19 30 37 26 41 10 ⟶ 45 22 3 21 33 28 24 ,
  19 30 37 26 41 11 ⟶ 45 22 3 21 33 28 43 ,
  0 30 28 42 22 3 ⟶ 0 0 23 42 22 10 17 ,
  0 30 28 42 22 6 ⟶ 0 0 23 42 22 10 18 ,
  0 30 28 42 22 7 ⟶ 0 0 23 42 22 10 31 ,
  0 30 28 42 22 8 ⟶ 0 0 23 42 22 10 37 ,
  0 30 28 42 22 9 ⟶ 0 0 23 42 22 10 28 ,
  0 30 28 42 22 10 ⟶ 0 0 23 42 22 10 34 ,
  0 30 28 42 22 11 ⟶ 0 0 23 42 22 10 39 ,
  4 30 28 42 22 3 ⟶ 4 0 23 42 22 10 17 ,
  4 30 28 42 22 6 ⟶ 4 0 23 42 22 10 18 ,
  4 30 28 42 22 7 ⟶ 4 0 23 42 22 10 31 ,
  4 30 28 42 22 8 ⟶ 4 0 23 42 22 10 37 ,
  4 30 28 42 22 9 ⟶ 4 0 23 42 22 10 28 ,
  4 30 28 42 22 10 ⟶ 4 0 23 42 22 10 34 ,
  4 30 28 42 22 11 ⟶ 4 0 23 42 22 10 39 ,
  3 30 28 42 22 3 ⟶ 3 0 23 42 22 10 17 ,
  3 30 28 42 22 6 ⟶ 3 0 23 42 22 10 18 ,
  3 30 28 42 22 7 ⟶ 3 0 23 42 22 10 31 ,
  3 30 28 42 22 8 ⟶ 3 0 23 42 22 10 37 ,
  3 30 28 42 22 9 ⟶ 3 0 23 42 22 10 28 ,
  3 30 28 42 22 10 ⟶ 3 0 23 42 22 10 34 ,
  3 30 28 42 22 11 ⟶ 3 0 23 42 22 10 39 ,
  13 30 28 42 22 3 ⟶ 13 0 23 42 22 10 17 ,
  13 30 28 42 22 6 ⟶ 13 0 23 42 22 10 18 ,
  13 30 28 42 22 7 ⟶ 13 0 23 42 22 10 31 ,
  13 30 28 42 22 8 ⟶ 13 0 23 42 22 10 37 ,
  13 30 28 42 22 9 ⟶ 13 0 23 42 22 10 28 ,
  13 30 28 42 22 10 ⟶ 13 0 23 42 22 10 34 ,
  13 30 28 42 22 11 ⟶ 13 0 23 42 22 10 39 ,
  15 30 28 42 22 3 ⟶ 15 0 23 42 22 10 17 ,
  15 30 28 42 22 6 ⟶ 15 0 23 42 22 10 18 ,
  15 30 28 42 22 7 ⟶ 15 0 23 42 22 10 31 ,
  15 30 28 42 22 8 ⟶ 15 0 23 42 22 10 37 ,
  15 30 28 42 22 9 ⟶ 15 0 23 42 22 10 28 ,
  15 30 28 42 22 10 ⟶ 15 0 23 42 22 10 34 ,
  15 30 28 42 22 11 ⟶ 15 0 23 42 22 10 39 ,
  17 30 28 42 22 3 ⟶ 17 0 23 42 22 10 17 ,
  17 30 28 42 22 6 ⟶ 17 0 23 42 22 10 18 ,
  17 30 28 42 22 7 ⟶ 17 0 23 42 22 10 31 ,
  17 30 28 42 22 8 ⟶ 17 0 23 42 22 10 37 ,
  17 30 28 42 22 9 ⟶ 17 0 23 42 22 10 28 ,
  17 30 28 42 22 10 ⟶ 17 0 23 42 22 10 34 ,
  17 30 28 42 22 11 ⟶ 17 0 23 42 22 10 39 ,
  19 30 28 42 22 3 ⟶ 19 0 23 42 22 10 17 ,
  19 30 28 42 22 6 ⟶ 19 0 23 42 22 10 18 ,
  19 30 28 42 22 7 ⟶ 19 0 23 42 22 10 31 ,
  19 30 28 42 22 8 ⟶ 19 0 23 42 22 10 37 ,
  19 30 28 42 22 9 ⟶ 19 0 23 42 22 10 28 ,
  19 30 28 42 22 10 ⟶ 19 0 23 42 22 10 34 ,
  19 30 28 42 22 11 ⟶ 19 0 23 42 22 10 39 ,
  1 2 10 31 8 13 ⟶ 30 18 2 8 36 22 3 ,
  1 2 10 31 8 14 ⟶ 30 18 2 8 36 22 6 ,
  1 2 10 31 8 22 ⟶ 30 18 2 8 36 22 7 ,
  1 2 10 31 8 36 ⟶ 30 18 2 8 36 22 8 ,
  1 2 10 31 8 26 ⟶ 30 18 2 8 36 22 9 ,
  1 2 10 31 8 33 ⟶ 30 18 2 8 36 22 10 ,
  1 2 10 31 8 38 ⟶ 30 18 2 8 36 22 11 ,
  12 2 10 31 8 13 ⟶ 32 18 2 8 36 22 3 ,
  12 2 10 31 8 14 ⟶ 32 18 2 8 36 22 6 ,
  12 2 10 31 8 22 ⟶ 32 18 2 8 36 22 7 ,
  12 2 10 31 8 36 ⟶ 32 18 2 8 36 22 8 ,
  12 2 10 31 8 26 ⟶ 32 18 2 8 36 22 9 ,
  12 2 10 31 8 33 ⟶ 32 18 2 8 36 22 10 ,
  12 2 10 31 8 38 ⟶ 32 18 2 8 36 22 11 ,
  6 2 10 31 8 13 ⟶ 10 18 2 8 36 22 3 ,
  6 2 10 31 8 14 ⟶ 10 18 2 8 36 22 6 ,
  6 2 10 31 8 22 ⟶ 10 18 2 8 36 22 7 ,
  6 2 10 31 8 36 ⟶ 10 18 2 8 36 22 8 ,
  6 2 10 31 8 26 ⟶ 10 18 2 8 36 22 9 ,
  6 2 10 31 8 33 ⟶ 10 18 2 8 36 22 10 ,
  6 2 10 31 8 38 ⟶ 10 18 2 8 36 22 11 ,
  14 2 10 31 8 13 ⟶ 33 18 2 8 36 22 3 ,
  14 2 10 31 8 14 ⟶ 33 18 2 8 36 22 6 ,
  14 2 10 31 8 22 ⟶ 33 18 2 8 36 22 7 ,
  14 2 10 31 8 36 ⟶ 33 18 2 8 36 22 8 ,
  14 2 10 31 8 26 ⟶ 33 18 2 8 36 22 9 ,
  14 2 10 31 8 33 ⟶ 33 18 2 8 36 22 10 ,
  14 2 10 31 8 38 ⟶ 33 18 2 8 36 22 11 ,
  16 2 10 31 8 13 ⟶ 24 18 2 8 36 22 3 ,
  16 2 10 31 8 14 ⟶ 24 18 2 8 36 22 6 ,
  16 2 10 31 8 22 ⟶ 24 18 2 8 36 22 7 ,
  16 2 10 31 8 36 ⟶ 24 18 2 8 36 22 8 ,
  16 2 10 31 8 26 ⟶ 24 18 2 8 36 22 9 ,
  16 2 10 31 8 33 ⟶ 24 18 2 8 36 22 10 ,
  16 2 10 31 8 38 ⟶ 24 18 2 8 36 22 11 ,
  18 2 10 31 8 13 ⟶ 34 18 2 8 36 22 3 ,
  18 2 10 31 8 14 ⟶ 34 18 2 8 36 22 6 ,
  18 2 10 31 8 22 ⟶ 34 18 2 8 36 22 7 ,
  18 2 10 31 8 36 ⟶ 34 18 2 8 36 22 8 ,
  18 2 10 31 8 26 ⟶ 34 18 2 8 36 22 9 ,
  18 2 10 31 8 33 ⟶ 34 18 2 8 36 22 10 ,
  18 2 10 31 8 38 ⟶ 34 18 2 8 36 22 11 ,
  20 2 10 31 8 13 ⟶ 35 18 2 8 36 22 3 ,
  20 2 10 31 8 14 ⟶ 35 18 2 8 36 22 6 ,
  20 2 10 31 8 22 ⟶ 35 18 2 8 36 22 7 ,
  20 2 10 31 8 36 ⟶ 35 18 2 8 36 22 8 ,
  20 2 10 31 8 26 ⟶ 35 18 2 8 36 22 9 ,
  20 2 10 31 8 33 ⟶ 35 18 2 8 36 22 10 ,
  20 2 10 31 8 38 ⟶ 35 18 2 8 36 22 11 ,
  1 40 13 30 31 3 ⟶ 0 30 18 4 21 22 3 ,
  1 40 13 30 31 6 ⟶ 0 30 18 4 21 22 6 ,
  1 40 13 30 31 7 ⟶ 0 30 18 4 21 22 7 ,
  1 40 13 30 31 8 ⟶ 0 30 18 4 21 22 8 ,
  1 40 13 30 31 9 ⟶ 0 30 18 4 21 22 9 ,
  1 40 13 30 31 10 ⟶ 0 30 18 4 21 22 10 ,
  1 40 13 30 31 11 ⟶ 0 30 18 4 21 22 11 ,
  12 40 13 30 31 3 ⟶ 4 30 18 4 21 22 3 ,
  12 40 13 30 31 6 ⟶ 4 30 18 4 21 22 6 ,
  12 40 13 30 31 7 ⟶ 4 30 18 4 21 22 7 ,
  12 40 13 30 31 8 ⟶ 4 30 18 4 21 22 8 ,
  12 40 13 30 31 9 ⟶ 4 30 18 4 21 22 9 ,
  12 40 13 30 31 10 ⟶ 4 30 18 4 21 22 10 ,
  12 40 13 30 31 11 ⟶ 4 30 18 4 21 22 11 ,
  6 40 13 30 31 3 ⟶ 3 30 18 4 21 22 3 ,
  6 40 13 30 31 6 ⟶ 3 30 18 4 21 22 6 ,
  6 40 13 30 31 7 ⟶ 3 30 18 4 21 22 7 ,
  6 40 13 30 31 8 ⟶ 3 30 18 4 21 22 8 ,
  6 40 13 30 31 9 ⟶ 3 30 18 4 21 22 9 ,
  6 40 13 30 31 10 ⟶ 3 30 18 4 21 22 10 ,
  6 40 13 30 31 11 ⟶ 3 30 18 4 21 22 11 ,
  14 40 13 30 31 3 ⟶ 13 30 18 4 21 22 3 ,
  14 40 13 30 31 6 ⟶ 13 30 18 4 21 22 6 ,
  14 40 13 30 31 7 ⟶ 13 30 18 4 21 22 7 ,
  14 40 13 30 31 8 ⟶ 13 30 18 4 21 22 8 ,
  14 40 13 30 31 9 ⟶ 13 30 18 4 21 22 9 ,
  14 40 13 30 31 10 ⟶ 13 30 18 4 21 22 10 ,
  14 40 13 30 31 11 ⟶ 13 30 18 4 21 22 11 ,
  16 40 13 30 31 3 ⟶ 15 30 18 4 21 22 3 ,
  16 40 13 30 31 6 ⟶ 15 30 18 4 21 22 6 ,
  16 40 13 30 31 7 ⟶ 15 30 18 4 21 22 7 ,
  16 40 13 30 31 8 ⟶ 15 30 18 4 21 22 8 ,
  16 40 13 30 31 9 ⟶ 15 30 18 4 21 22 9 ,
  16 40 13 30 31 10 ⟶ 15 30 18 4 21 22 10 ,
  16 40 13 30 31 11 ⟶ 15 30 18 4 21 22 11 ,
  18 40 13 30 31 3 ⟶ 17 30 18 4 21 22 3 ,
  18 40 13 30 31 6 ⟶ 17 30 18 4 21 22 6 ,
  18 40 13 30 31 7 ⟶ 17 30 18 4 21 22 7 ,
  18 40 13 30 31 8 ⟶ 17 30 18 4 21 22 8 ,
  18 40 13 30 31 9 ⟶ 17 30 18 4 21 22 9 ,
  18 40 13 30 31 10 ⟶ 17 30 18 4 21 22 10 ,
  18 40 13 30 31 11 ⟶ 17 30 18 4 21 22 11 ,
  20 40 13 30 31 3 ⟶ 19 30 18 4 21 22 3 ,
  20 40 13 30 31 6 ⟶ 19 30 18 4 21 22 6 ,
  20 40 13 30 31 7 ⟶ 19 30 18 4 21 22 7 ,
  20 40 13 30 31 8 ⟶ 19 30 18 4 21 22 8 ,
  20 40 13 30 31 9 ⟶ 19 30 18 4 21 22 9 ,
  20 40 13 30 31 10 ⟶ 19 30 18 4 21 22 10 ,
  20 40 13 30 31 11 ⟶ 19 30 18 4 21 22 11 ,
  1 40 13 30 31 3 ⟶ 1 40 13 0 5 10 17 ,
  1 40 13 30 31 6 ⟶ 1 40 13 0 5 10 18 ,
  1 40 13 30 31 7 ⟶ 1 40 13 0 5 10 31 ,
  1 40 13 30 31 8 ⟶ 1 40 13 0 5 10 37 ,
  1 40 13 30 31 9 ⟶ 1 40 13 0 5 10 28 ,
  1 40 13 30 31 10 ⟶ 1 40 13 0 5 10 34 ,
  1 40 13 30 31 11 ⟶ 1 40 13 0 5 10 39 ,
  12 40 13 30 31 3 ⟶ 12 40 13 0 5 10 17 ,
  12 40 13 30 31 6 ⟶ 12 40 13 0 5 10 18 ,
  12 40 13 30 31 7 ⟶ 12 40 13 0 5 10 31 ,
  12 40 13 30 31 8 ⟶ 12 40 13 0 5 10 37 ,
  12 40 13 30 31 9 ⟶ 12 40 13 0 5 10 28 ,
  12 40 13 30 31 10 ⟶ 12 40 13 0 5 10 34 ,
  12 40 13 30 31 11 ⟶ 12 40 13 0 5 10 39 ,
  6 40 13 30 31 3 ⟶ 6 40 13 0 5 10 17 ,
  6 40 13 30 31 6 ⟶ 6 40 13 0 5 10 18 ,
  6 40 13 30 31 7 ⟶ 6 40 13 0 5 10 31 ,
  6 40 13 30 31 8 ⟶ 6 40 13 0 5 10 37 ,
  6 40 13 30 31 9 ⟶ 6 40 13 0 5 10 28 ,
  6 40 13 30 31 10 ⟶ 6 40 13 0 5 10 34 ,
  6 40 13 30 31 11 ⟶ 6 40 13 0 5 10 39 ,
  14 40 13 30 31 3 ⟶ 14 40 13 0 5 10 17 ,
  14 40 13 30 31 6 ⟶ 14 40 13 0 5 10 18 ,
  14 40 13 30 31 7 ⟶ 14 40 13 0 5 10 31 ,
  14 40 13 30 31 8 ⟶ 14 40 13 0 5 10 37 ,
  14 40 13 30 31 9 ⟶ 14 40 13 0 5 10 28 ,
  14 40 13 30 31 10 ⟶ 14 40 13 0 5 10 34 ,
  14 40 13 30 31 11 ⟶ 14 40 13 0 5 10 39 ,
  16 40 13 30 31 3 ⟶ 16 40 13 0 5 10 17 ,
  16 40 13 30 31 6 ⟶ 16 40 13 0 5 10 18 ,
  16 40 13 30 31 7 ⟶ 16 40 13 0 5 10 31 ,
  16 40 13 30 31 8 ⟶ 16 40 13 0 5 10 37 ,
  16 40 13 30 31 9 ⟶ 16 40 13 0 5 10 28 ,
  16 40 13 30 31 10 ⟶ 16 40 13 0 5 10 34 ,
  16 40 13 30 31 11 ⟶ 16 40 13 0 5 10 39 ,
  18 40 13 30 31 3 ⟶ 18 40 13 0 5 10 17 ,
  18 40 13 30 31 6 ⟶ 18 40 13 0 5 10 18 ,
  18 40 13 30 31 7 ⟶ 18 40 13 0 5 10 31 ,
  18 40 13 30 31 8 ⟶ 18 40 13 0 5 10 37 ,
  18 40 13 30 31 9 ⟶ 18 40 13 0 5 10 28 ,
  18 40 13 30 31 10 ⟶ 18 40 13 0 5 10 34 ,
  18 40 13 30 31 11 ⟶ 18 40 13 0 5 10 39 ,
  20 40 13 30 31 3 ⟶ 20 40 13 0 5 10 17 ,
  20 40 13 30 31 6 ⟶ 20 40 13 0 5 10 18 ,
  20 40 13 30 31 7 ⟶ 20 40 13 0 5 10 31 ,
  20 40 13 30 31 8 ⟶ 20 40 13 0 5 10 37 ,
  20 40 13 30 31 9 ⟶ 20 40 13 0 5 10 28 ,
  20 40 13 30 31 10 ⟶ 20 40 13 0 5 10 34 ,
  20 40 13 30 31 11 ⟶ 20 40 13 0 5 10 39 ,
  1 40 36 26 41 3 ⟶ 30 18 40 36 22 9 15 ,
  1 40 36 26 41 6 ⟶ 30 18 40 36 22 9 16 ,
  1 40 36 26 41 7 ⟶ 30 18 40 36 22 9 41 ,
  1 40 36 26 41 8 ⟶ 30 18 40 36 22 9 42 ,
  1 40 36 26 41 9 ⟶ 30 18 40 36 22 9 27 ,
  1 40 36 26 41 10 ⟶ 30 18 40 36 22 9 24 ,
  1 40 36 26 41 11 ⟶ 30 18 40 36 22 9 43 ,
  12 40 36 26 41 3 ⟶ 32 18 40 36 22 9 15 ,
  12 40 36 26 41 6 ⟶ 32 18 40 36 22 9 16 ,
  12 40 36 26 41 7 ⟶ 32 18 40 36 22 9 41 ,
  12 40 36 26 41 8 ⟶ 32 18 40 36 22 9 42 ,
  12 40 36 26 41 9 ⟶ 32 18 40 36 22 9 27 ,
  12 40 36 26 41 10 ⟶ 32 18 40 36 22 9 24 ,
  12 40 36 26 41 11 ⟶ 32 18 40 36 22 9 43 ,
  6 40 36 26 41 3 ⟶ 10 18 40 36 22 9 15 ,
  6 40 36 26 41 6 ⟶ 10 18 40 36 22 9 16 ,
  6 40 36 26 41 7 ⟶ 10 18 40 36 22 9 41 ,
  6 40 36 26 41 8 ⟶ 10 18 40 36 22 9 42 ,
  6 40 36 26 41 9 ⟶ 10 18 40 36 22 9 27 ,
  6 40 36 26 41 10 ⟶ 10 18 40 36 22 9 24 ,
  6 40 36 26 41 11 ⟶ 10 18 40 36 22 9 43 ,
  14 40 36 26 41 3 ⟶ 33 18 40 36 22 9 15 ,
  14 40 36 26 41 6 ⟶ 33 18 40 36 22 9 16 ,
  14 40 36 26 41 7 ⟶ 33 18 40 36 22 9 41 ,
  14 40 36 26 41 8 ⟶ 33 18 40 36 22 9 42 ,
  14 40 36 26 41 9 ⟶ 33 18 40 36 22 9 27 ,
  14 40 36 26 41 10 ⟶ 33 18 40 36 22 9 24 ,
  14 40 36 26 41 11 ⟶ 33 18 40 36 22 9 43 ,
  16 40 36 26 41 3 ⟶ 24 18 40 36 22 9 15 ,
  16 40 36 26 41 6 ⟶ 24 18 40 36 22 9 16 ,
  16 40 36 26 41 7 ⟶ 24 18 40 36 22 9 41 ,
  16 40 36 26 41 8 ⟶ 24 18 40 36 22 9 42 ,
  16 40 36 26 41 9 ⟶ 24 18 40 36 22 9 27 ,
  16 40 36 26 41 10 ⟶ 24 18 40 36 22 9 24 ,
  16 40 36 26 41 11 ⟶ 24 18 40 36 22 9 43 ,
  18 40 36 26 41 3 ⟶ 34 18 40 36 22 9 15 ,
  18 40 36 26 41 6 ⟶ 34 18 40 36 22 9 16 ,
  18 40 36 26 41 7 ⟶ 34 18 40 36 22 9 41 ,
  18 40 36 26 41 8 ⟶ 34 18 40 36 22 9 42 ,
  18 40 36 26 41 9 ⟶ 34 18 40 36 22 9 27 ,
  18 40 36 26 41 10 ⟶ 34 18 40 36 22 9 24 ,
  18 40 36 26 41 11 ⟶ 34 18 40 36 22 9 43 ,
  20 40 36 26 41 3 ⟶ 35 18 40 36 22 9 15 ,
  20 40 36 26 41 6 ⟶ 35 18 40 36 22 9 16 ,
  20 40 36 26 41 7 ⟶ 35 18 40 36 22 9 41 ,
  20 40 36 26 41 8 ⟶ 35 18 40 36 22 9 42 ,
  20 40 36 26 41 9 ⟶ 35 18 40 36 22 9 27 ,
  20 40 36 26 41 10 ⟶ 35 18 40 36 22 9 24 ,
  20 40 36 26 41 11 ⟶ 35 18 40 36 22 9 43 ,
  23 42 13 5 8 13 ⟶ 0 21 36 36 22 9 15 ,
  23 42 13 5 8 14 ⟶ 0 21 36 36 22 9 16 ,
  23 42 13 5 8 22 ⟶ 0 21 36 36 22 9 41 ,
  23 42 13 5 8 36 ⟶ 0 21 36 36 22 9 42 ,
  23 42 13 5 8 26 ⟶ 0 21 36 36 22 9 27 ,
  23 42 13 5 8 33 ⟶ 0 21 36 36 22 9 24 ,
  23 42 13 5 8 38 ⟶ 0 21 36 36 22 9 43 ,
  25 42 13 5 8 13 ⟶ 4 21 36 36 22 9 15 ,
  25 42 13 5 8 14 ⟶ 4 21 36 36 22 9 16 ,
  25 42 13 5 8 22 ⟶ 4 21 36 36 22 9 41 ,
  25 42 13 5 8 36 ⟶ 4 21 36 36 22 9 42 ,
  25 42 13 5 8 26 ⟶ 4 21 36 36 22 9 27 ,
  25 42 13 5 8 33 ⟶ 4 21 36 36 22 9 24 ,
  25 42 13 5 8 38 ⟶ 4 21 36 36 22 9 43 ,
  9 42 13 5 8 13 ⟶ 3 21 36 36 22 9 15 ,
  9 42 13 5 8 14 ⟶ 3 21 36 36 22 9 16 ,
  9 42 13 5 8 22 ⟶ 3 21 36 36 22 9 41 ,
  9 42 13 5 8 36 ⟶ 3 21 36 36 22 9 42 ,
  9 42 13 5 8 26 ⟶ 3 21 36 36 22 9 27 ,
  9 42 13 5 8 33 ⟶ 3 21 36 36 22 9 24 ,
  9 42 13 5 8 38 ⟶ 3 21 36 36 22 9 43 ,
  26 42 13 5 8 13 ⟶ 13 21 36 36 22 9 15 ,
  26 42 13 5 8 14 ⟶ 13 21 36 36 22 9 16 ,
  26 42 13 5 8 22 ⟶ 13 21 36 36 22 9 41 ,
  26 42 13 5 8 36 ⟶ 13 21 36 36 22 9 42 ,
  26 42 13 5 8 26 ⟶ 13 21 36 36 22 9 27 ,
  26 42 13 5 8 33 ⟶ 13 21 36 36 22 9 24 ,
  26 42 13 5 8 38 ⟶ 13 21 36 36 22 9 43 ,
  27 42 13 5 8 13 ⟶ 15 21 36 36 22 9 15 ,
  27 42 13 5 8 14 ⟶ 15 21 36 36 22 9 16 ,
  27 42 13 5 8 22 ⟶ 15 21 36 36 22 9 41 ,
  27 42 13 5 8 36 ⟶ 15 21 36 36 22 9 42 ,
  27 42 13 5 8 26 ⟶ 15 21 36 36 22 9 27 ,
  27 42 13 5 8 33 ⟶ 15 21 36 36 22 9 24 ,
  27 42 13 5 8 38 ⟶ 15 21 36 36 22 9 43 ,
  28 42 13 5 8 13 ⟶ 17 21 36 36 22 9 15 ,
  28 42 13 5 8 14 ⟶ 17 21 36 36 22 9 16 ,
  28 42 13 5 8 22 ⟶ 17 21 36 36 22 9 41 ,
  28 42 13 5 8 36 ⟶ 17 21 36 36 22 9 42 ,
  28 42 13 5 8 26 ⟶ 17 21 36 36 22 9 27 ,
  28 42 13 5 8 33 ⟶ 17 21 36 36 22 9 24 ,
  28 42 13 5 8 38 ⟶ 17 21 36 36 22 9 43 ,
  29 42 13 5 8 13 ⟶ 19 21 36 36 22 9 15 ,
  29 42 13 5 8 14 ⟶ 19 21 36 36 22 9 16 ,
  29 42 13 5 8 22 ⟶ 19 21 36 36 22 9 41 ,
  29 42 13 5 8 36 ⟶ 19 21 36 36 22 9 42 ,
  29 42 13 5 8 26 ⟶ 19 21 36 36 22 9 27 ,
  29 42 13 5 8 33 ⟶ 19 21 36 36 22 9 24 ,
  29 42 13 5 8 38 ⟶ 19 21 36 36 22 9 43 ,
  23 42 13 30 37 13 ⟶ 30 28 42 33 17 21 13 ,
  23 42 13 30 37 14 ⟶ 30 28 42 33 17 21 14 ,
  23 42 13 30 37 22 ⟶ 30 28 42 33 17 21 22 ,
  23 42 13 30 37 36 ⟶ 30 28 42 33 17 21 36 ,
  23 42 13 30 37 26 ⟶ 30 28 42 33 17 21 26 ,
  23 42 13 30 37 33 ⟶ 30 28 42 33 17 21 33 ,
  23 42 13 30 37 38 ⟶ 30 28 42 33 17 21 38 ,
  25 42 13 30 37 13 ⟶ 32 28 42 33 17 21 13 ,
  25 42 13 30 37 14 ⟶ 32 28 42 33 17 21 14 ,
  25 42 13 30 37 22 ⟶ 32 28 42 33 17 21 22 ,
  25 42 13 30 37 36 ⟶ 32 28 42 33 17 21 36 ,
  25 42 13 30 37 26 ⟶ 32 28 42 33 17 21 26 ,
  25 42 13 30 37 33 ⟶ 32 28 42 33 17 21 33 ,
  25 42 13 30 37 38 ⟶ 32 28 42 33 17 21 38 ,
  9 42 13 30 37 13 ⟶ 10 28 42 33 17 21 13 ,
  9 42 13 30 37 14 ⟶ 10 28 42 33 17 21 14 ,
  9 42 13 30 37 22 ⟶ 10 28 42 33 17 21 22 ,
  9 42 13 30 37 36 ⟶ 10 28 42 33 17 21 36 ,
  9 42 13 30 37 26 ⟶ 10 28 42 33 17 21 26 ,
  9 42 13 30 37 33 ⟶ 10 28 42 33 17 21 33 ,
  9 42 13 30 37 38 ⟶ 10 28 42 33 17 21 38 ,
  26 42 13 30 37 13 ⟶ 33 28 42 33 17 21 13 ,
  26 42 13 30 37 14 ⟶ 33 28 42 33 17 21 14 ,
  26 42 13 30 37 22 ⟶ 33 28 42 33 17 21 22 ,
  26 42 13 30 37 36 ⟶ 33 28 42 33 17 21 36 ,
  26 42 13 30 37 26 ⟶ 33 28 42 33 17 21 26 ,
  26 42 13 30 37 33 ⟶ 33 28 42 33 17 21 33 ,
  26 42 13 30 37 38 ⟶ 33 28 42 33 17 21 38 ,
  27 42 13 30 37 13 ⟶ 24 28 42 33 17 21 13 ,
  27 42 13 30 37 14 ⟶ 24 28 42 33 17 21 14 ,
  27 42 13 30 37 22 ⟶ 24 28 42 33 17 21 22 ,
  27 42 13 30 37 36 ⟶ 24 28 42 33 17 21 36 ,
  27 42 13 30 37 26 ⟶ 24 28 42 33 17 21 26 ,
  27 42 13 30 37 33 ⟶ 24 28 42 33 17 21 33 ,
  27 42 13 30 37 38 ⟶ 24 28 42 33 17 21 38 ,
  28 42 13 30 37 13 ⟶ 34 28 42 33 17 21 13 ,
  28 42 13 30 37 14 ⟶ 34 28 42 33 17 21 14 ,
  28 42 13 30 37 22 ⟶ 34 28 42 33 17 21 22 ,
  28 42 13 30 37 36 ⟶ 34 28 42 33 17 21 36 ,
  28 42 13 30 37 26 ⟶ 34 28 42 33 17 21 26 ,
  28 42 13 30 37 33 ⟶ 34 28 42 33 17 21 33 ,
  28 42 13 30 37 38 ⟶ 34 28 42 33 17 21 38 ,
  29 42 13 30 37 13 ⟶ 35 28 42 33 17 21 13 ,
  29 42 13 30 37 14 ⟶ 35 28 42 33 17 21 14 ,
  29 42 13 30 37 22 ⟶ 35 28 42 33 17 21 22 ,
  29 42 13 30 37 36 ⟶ 35 28 42 33 17 21 36 ,
  29 42 13 30 37 26 ⟶ 35 28 42 33 17 21 26 ,
  29 42 13 30 37 33 ⟶ 35 28 42 33 17 21 33 ,
  29 42 13 30 37 38 ⟶ 35 28 42 33 17 21 38 ,
  23 42 36 14 2 3 ⟶ 1 40 13 23 42 22 3 ,
  23 42 36 14 2 6 ⟶ 1 40 13 23 42 22 6 ,
  23 42 36 14 2 7 ⟶ 1 40 13 23 42 22 7 ,
  23 42 36 14 2 8 ⟶ 1 40 13 23 42 22 8 ,
  23 42 36 14 2 9 ⟶ 1 40 13 23 42 22 9 ,
  23 42 36 14 2 10 ⟶ 1 40 13 23 42 22 10 ,
  23 42 36 14 2 11 ⟶ 1 40 13 23 42 22 11 ,
  25 42 36 14 2 3 ⟶ 12 40 13 23 42 22 3 ,
  25 42 36 14 2 6 ⟶ 12 40 13 23 42 22 6 ,
  25 42 36 14 2 7 ⟶ 12 40 13 23 42 22 7 ,
  25 42 36 14 2 8 ⟶ 12 40 13 23 42 22 8 ,
  25 42 36 14 2 9 ⟶ 12 40 13 23 42 22 9 ,
  25 42 36 14 2 10 ⟶ 12 40 13 23 42 22 10 ,
  25 42 36 14 2 11 ⟶ 12 40 13 23 42 22 11 ,
  9 42 36 14 2 3 ⟶ 6 40 13 23 42 22 3 ,
  9 42 36 14 2 6 ⟶ 6 40 13 23 42 22 6 ,
  9 42 36 14 2 7 ⟶ 6 40 13 23 42 22 7 ,
  9 42 36 14 2 8 ⟶ 6 40 13 23 42 22 8 ,
  9 42 36 14 2 9 ⟶ 6 40 13 23 42 22 9 ,
  9 42 36 14 2 10 ⟶ 6 40 13 23 42 22 10 ,
  9 42 36 14 2 11 ⟶ 6 40 13 23 42 22 11 ,
  26 42 36 14 2 3 ⟶ 14 40 13 23 42 22 3 ,
  26 42 36 14 2 6 ⟶ 14 40 13 23 42 22 6 ,
  26 42 36 14 2 7 ⟶ 14 40 13 23 42 22 7 ,
  26 42 36 14 2 8 ⟶ 14 40 13 23 42 22 8 ,
  26 42 36 14 2 9 ⟶ 14 40 13 23 42 22 9 ,
  26 42 36 14 2 10 ⟶ 14 40 13 23 42 22 10 ,
  26 42 36 14 2 11 ⟶ 14 40 13 23 42 22 11 ,
  27 42 36 14 2 3 ⟶ 16 40 13 23 42 22 3 ,
  27 42 36 14 2 6 ⟶ 16 40 13 23 42 22 6 ,
  27 42 36 14 2 7 ⟶ 16 40 13 23 42 22 7 ,
  27 42 36 14 2 8 ⟶ 16 40 13 23 42 22 8 ,
  27 42 36 14 2 9 ⟶ 16 40 13 23 42 22 9 ,
  27 42 36 14 2 10 ⟶ 16 40 13 23 42 22 10 ,
  27 42 36 14 2 11 ⟶ 16 40 13 23 42 22 11 ,
  28 42 36 14 2 3 ⟶ 18 40 13 23 42 22 3 ,
  28 42 36 14 2 6 ⟶ 18 40 13 23 42 22 6 ,
  28 42 36 14 2 7 ⟶ 18 40 13 23 42 22 7 ,
  28 42 36 14 2 8 ⟶ 18 40 13 23 42 22 8 ,
  28 42 36 14 2 9 ⟶ 18 40 13 23 42 22 9 ,
  28 42 36 14 2 10 ⟶ 18 40 13 23 42 22 10 ,
  28 42 36 14 2 11 ⟶ 18 40 13 23 42 22 11 ,
  29 42 36 14 2 3 ⟶ 20 40 13 23 42 22 3 ,
  29 42 36 14 2 6 ⟶ 20 40 13 23 42 22 6 ,
  29 42 36 14 2 7 ⟶ 20 40 13 23 42 22 7 ,
  29 42 36 14 2 8 ⟶ 20 40 13 23 42 22 8 ,
  29 42 36 14 2 9 ⟶ 20 40 13 23 42 22 9 ,
  29 42 36 14 2 10 ⟶ 20 40 13 23 42 22 10 ,
  29 42 36 14 2 11 ⟶ 20 40 13 23 42 22 11 ,
  30 31 8 13 5 3 ⟶ 23 24 17 5 8 22 3 ,
  30 31 8 13 5 6 ⟶ 23 24 17 5 8 22 6 ,
  30 31 8 13 5 7 ⟶ 23 24 17 5 8 22 7 ,
  30 31 8 13 5 8 ⟶ 23 24 17 5 8 22 8 ,
  30 31 8 13 5 9 ⟶ 23 24 17 5 8 22 9 ,
  30 31 8 13 5 10 ⟶ 23 24 17 5 8 22 10 ,
  30 31 8 13 5 11 ⟶ 23 24 17 5 8 22 11 ,
  32 31 8 13 5 3 ⟶ 25 24 17 5 8 22 3 ,
  32 31 8 13 5 6 ⟶ 25 24 17 5 8 22 6 ,
  32 31 8 13 5 7 ⟶ 25 24 17 5 8 22 7 ,
  32 31 8 13 5 8 ⟶ 25 24 17 5 8 22 8 ,
  32 31 8 13 5 9 ⟶ 25 24 17 5 8 22 9 ,
  32 31 8 13 5 10 ⟶ 25 24 17 5 8 22 10 ,
  32 31 8 13 5 11 ⟶ 25 24 17 5 8 22 11 ,
  10 31 8 13 5 3 ⟶ 9 24 17 5 8 22 3 ,
  10 31 8 13 5 6 ⟶ 9 24 17 5 8 22 6 ,
  10 31 8 13 5 7 ⟶ 9 24 17 5 8 22 7 ,
  10 31 8 13 5 8 ⟶ 9 24 17 5 8 22 8 ,
  10 31 8 13 5 9 ⟶ 9 24 17 5 8 22 9 ,
  10 31 8 13 5 10 ⟶ 9 24 17 5 8 22 10 ,
  10 31 8 13 5 11 ⟶ 9 24 17 5 8 22 11 ,
  33 31 8 13 5 3 ⟶ 26 24 17 5 8 22 3 ,
  33 31 8 13 5 6 ⟶ 26 24 17 5 8 22 6 ,
  33 31 8 13 5 7 ⟶ 26 24 17 5 8 22 7 ,
  33 31 8 13 5 8 ⟶ 26 24 17 5 8 22 8 ,
  33 31 8 13 5 9 ⟶ 26 24 17 5 8 22 9 ,
  33 31 8 13 5 10 ⟶ 26 24 17 5 8 22 10 ,
  33 31 8 13 5 11 ⟶ 26 24 17 5 8 22 11 ,
  24 31 8 13 5 3 ⟶ 27 24 17 5 8 22 3 ,
  24 31 8 13 5 6 ⟶ 27 24 17 5 8 22 6 ,
  24 31 8 13 5 7 ⟶ 27 24 17 5 8 22 7 ,
  24 31 8 13 5 8 ⟶ 27 24 17 5 8 22 8 ,
  24 31 8 13 5 9 ⟶ 27 24 17 5 8 22 9 ,
  24 31 8 13 5 10 ⟶ 27 24 17 5 8 22 10 ,
  24 31 8 13 5 11 ⟶ 27 24 17 5 8 22 11 ,
  34 31 8 13 5 3 ⟶ 28 24 17 5 8 22 3 ,
  34 31 8 13 5 6 ⟶ 28 24 17 5 8 22 6 ,
  34 31 8 13 5 7 ⟶ 28 24 17 5 8 22 7 ,
  34 31 8 13 5 8 ⟶ 28 24 17 5 8 22 8 ,
  34 31 8 13 5 9 ⟶ 28 24 17 5 8 22 9 ,
  34 31 8 13 5 10 ⟶ 28 24 17 5 8 22 10 ,
  34 31 8 13 5 11 ⟶ 28 24 17 5 8 22 11 ,
  35 31 8 13 5 3 ⟶ 29 24 17 5 8 22 3 ,
  35 31 8 13 5 6 ⟶ 29 24 17 5 8 22 6 ,
  35 31 8 13 5 7 ⟶ 29 24 17 5 8 22 7 ,
  35 31 8 13 5 8 ⟶ 29 24 17 5 8 22 8 ,
  35 31 8 13 5 9 ⟶ 29 24 17 5 8 22 9 ,
  35 31 8 13 5 10 ⟶ 29 24 17 5 8 22 10 ,
  35 31 8 13 5 11 ⟶ 29 24 17 5 8 22 11 ,
  30 31 8 14 2 3 ⟶ 5 8 22 9 16 32 17 ,
  30 31 8 14 2 6 ⟶ 5 8 22 9 16 32 18 ,
  30 31 8 14 2 7 ⟶ 5 8 22 9 16 32 31 ,
  30 31 8 14 2 8 ⟶ 5 8 22 9 16 32 37 ,
  30 31 8 14 2 9 ⟶ 5 8 22 9 16 32 28 ,
  30 31 8 14 2 10 ⟶ 5 8 22 9 16 32 34 ,
  30 31 8 14 2 11 ⟶ 5 8 22 9 16 32 39 ,
  32 31 8 14 2 3 ⟶ 2 8 22 9 16 32 17 ,
  32 31 8 14 2 6 ⟶ 2 8 22 9 16 32 18 ,
  32 31 8 14 2 7 ⟶ 2 8 22 9 16 32 31 ,
  32 31 8 14 2 8 ⟶ 2 8 22 9 16 32 37 ,
  32 31 8 14 2 9 ⟶ 2 8 22 9 16 32 28 ,
  32 31 8 14 2 10 ⟶ 2 8 22 9 16 32 34 ,
  32 31 8 14 2 11 ⟶ 2 8 22 9 16 32 39 ,
  10 31 8 14 2 3 ⟶ 7 8 22 9 16 32 17 ,
  10 31 8 14 2 6 ⟶ 7 8 22 9 16 32 18 ,
  10 31 8 14 2 7 ⟶ 7 8 22 9 16 32 31 ,
  10 31 8 14 2 8 ⟶ 7 8 22 9 16 32 37 ,
  10 31 8 14 2 9 ⟶ 7 8 22 9 16 32 28 ,
  10 31 8 14 2 10 ⟶ 7 8 22 9 16 32 34 ,
  10 31 8 14 2 11 ⟶ 7 8 22 9 16 32 39 ,
  33 31 8 14 2 3 ⟶ 22 8 22 9 16 32 17 ,
  33 31 8 14 2 6 ⟶ 22 8 22 9 16 32 18 ,
  33 31 8 14 2 7 ⟶ 22 8 22 9 16 32 31 ,
  33 31 8 14 2 8 ⟶ 22 8 22 9 16 32 37 ,
  33 31 8 14 2 9 ⟶ 22 8 22 9 16 32 28 ,
  33 31 8 14 2 10 ⟶ 22 8 22 9 16 32 34 ,
  33 31 8 14 2 11 ⟶ 22 8 22 9 16 32 39 ,
  24 31 8 14 2 3 ⟶ 41 8 22 9 16 32 17 ,
  24 31 8 14 2 6 ⟶ 41 8 22 9 16 32 18 ,
  24 31 8 14 2 7 ⟶ 41 8 22 9 16 32 31 ,
  24 31 8 14 2 8 ⟶ 41 8 22 9 16 32 37 ,
  24 31 8 14 2 9 ⟶ 41 8 22 9 16 32 28 ,
  24 31 8 14 2 10 ⟶ 41 8 22 9 16 32 34 ,
  24 31 8 14 2 11 ⟶ 41 8 22 9 16 32 39 ,
  34 31 8 14 2 3 ⟶ 31 8 22 9 16 32 17 ,
  34 31 8 14 2 6 ⟶ 31 8 22 9 16 32 18 ,
  34 31 8 14 2 7 ⟶ 31 8 22 9 16 32 31 ,
  34 31 8 14 2 8 ⟶ 31 8 22 9 16 32 37 ,
  34 31 8 14 2 9 ⟶ 31 8 22 9 16 32 28 ,
  34 31 8 14 2 10 ⟶ 31 8 22 9 16 32 34 ,
  34 31 8 14 2 11 ⟶ 31 8 22 9 16 32 39 ,
  35 31 8 14 2 3 ⟶ 47 8 22 9 16 32 17 ,
  35 31 8 14 2 6 ⟶ 47 8 22 9 16 32 18 ,
  35 31 8 14 2 7 ⟶ 47 8 22 9 16 32 31 ,
  35 31 8 14 2 8 ⟶ 47 8 22 9 16 32 37 ,
  35 31 8 14 2 9 ⟶ 47 8 22 9 16 32 28 ,
  35 31 8 14 2 10 ⟶ 47 8 22 9 16 32 34 ,
  35 31 8 14 2 11 ⟶ 47 8 22 9 16 32 39 ,
  30 37 13 5 7 3 ⟶ 30 37 36 22 3 5 3 ,
  30 37 13 5 7 6 ⟶ 30 37 36 22 3 5 6 ,
  30 37 13 5 7 7 ⟶ 30 37 36 22 3 5 7 ,
  30 37 13 5 7 8 ⟶ 30 37 36 22 3 5 8 ,
  30 37 13 5 7 9 ⟶ 30 37 36 22 3 5 9 ,
  30 37 13 5 7 10 ⟶ 30 37 36 22 3 5 10 ,
  30 37 13 5 7 11 ⟶ 30 37 36 22 3 5 11 ,
  32 37 13 5 7 3 ⟶ 32 37 36 22 3 5 3 ,
  32 37 13 5 7 6 ⟶ 32 37 36 22 3 5 6 ,
  32 37 13 5 7 7 ⟶ 32 37 36 22 3 5 7 ,
  32 37 13 5 7 8 ⟶ 32 37 36 22 3 5 8 ,
  32 37 13 5 7 9 ⟶ 32 37 36 22 3 5 9 ,
  32 37 13 5 7 10 ⟶ 32 37 36 22 3 5 10 ,
  32 37 13 5 7 11 ⟶ 32 37 36 22 3 5 11 ,
  10 37 13 5 7 3 ⟶ 10 37 36 22 3 5 3 ,
  10 37 13 5 7 6 ⟶ 10 37 36 22 3 5 6 ,
  10 37 13 5 7 7 ⟶ 10 37 36 22 3 5 7 ,
  10 37 13 5 7 8 ⟶ 10 37 36 22 3 5 8 ,
  10 37 13 5 7 9 ⟶ 10 37 36 22 3 5 9 ,
  10 37 13 5 7 10 ⟶ 10 37 36 22 3 5 10 ,
  10 37 13 5 7 11 ⟶ 10 37 36 22 3 5 11 ,
  33 37 13 5 7 3 ⟶ 33 37 36 22 3 5 3 ,
  33 37 13 5 7 6 ⟶ 33 37 36 22 3 5 6 ,
  33 37 13 5 7 7 ⟶ 33 37 36 22 3 5 7 ,
  33 37 13 5 7 8 ⟶ 33 37 36 22 3 5 8 ,
  33 37 13 5 7 9 ⟶ 33 37 36 22 3 5 9 ,
  33 37 13 5 7 10 ⟶ 33 37 36 22 3 5 10 ,
  33 37 13 5 7 11 ⟶ 33 37 36 22 3 5 11 ,
  24 37 13 5 7 3 ⟶ 24 37 36 22 3 5 3 ,
  24 37 13 5 7 6 ⟶ 24 37 36 22 3 5 6 ,
  24 37 13 5 7 7 ⟶ 24 37 36 22 3 5 7 ,
  24 37 13 5 7 8 ⟶ 24 37 36 22 3 5 8 ,
  24 37 13 5 7 9 ⟶ 24 37 36 22 3 5 9 ,
  24 37 13 5 7 10 ⟶ 24 37 36 22 3 5 10 ,
  24 37 13 5 7 11 ⟶ 24 37 36 22 3 5 11 ,
  34 37 13 5 7 3 ⟶ 34 37 36 22 3 5 3 ,
  34 37 13 5 7 6 ⟶ 34 37 36 22 3 5 6 ,
  34 37 13 5 7 7 ⟶ 34 37 36 22 3 5 7 ,
  34 37 13 5 7 8 ⟶ 34 37 36 22 3 5 8 ,
  34 37 13 5 7 9 ⟶ 34 37 36 22 3 5 9 ,
  34 37 13 5 7 10 ⟶ 34 37 36 22 3 5 10 ,
  34 37 13 5 7 11 ⟶ 34 37 36 22 3 5 11 ,
  35 37 13 5 7 3 ⟶ 35 37 36 22 3 5 3 ,
  35 37 13 5 7 6 ⟶ 35 37 36 22 3 5 6 ,
  35 37 13 5 7 7 ⟶ 35 37 36 22 3 5 7 ,
  35 37 13 5 7 8 ⟶ 35 37 36 22 3 5 8 ,
  35 37 13 5 7 9 ⟶ 35 37 36 22 3 5 9 ,
  35 37 13 5 7 10 ⟶ 35 37 36 22 3 5 10 ,
  35 37 13 5 7 11 ⟶ 35 37 36 22 3 5 11 ,
  30 37 13 30 31 3 ⟶ 30 34 37 13 5 9 15 ,
  30 37 13 30 31 6 ⟶ 30 34 37 13 5 9 16 ,
  30 37 13 30 31 7 ⟶ 30 34 37 13 5 9 41 ,
  30 37 13 30 31 8 ⟶ 30 34 37 13 5 9 42 ,
  30 37 13 30 31 9 ⟶ 30 34 37 13 5 9 27 ,
  30 37 13 30 31 10 ⟶ 30 34 37 13 5 9 24 ,
  30 37 13 30 31 11 ⟶ 30 34 37 13 5 9 43 ,
  32 37 13 30 31 3 ⟶ 32 34 37 13 5 9 15 ,
  32 37 13 30 31 6 ⟶ 32 34 37 13 5 9 16 ,
  32 37 13 30 31 7 ⟶ 32 34 37 13 5 9 41 ,
  32 37 13 30 31 8 ⟶ 32 34 37 13 5 9 42 ,
  32 37 13 30 31 9 ⟶ 32 34 37 13 5 9 27 ,
  32 37 13 30 31 10 ⟶ 32 34 37 13 5 9 24 ,
  32 37 13 30 31 11 ⟶ 32 34 37 13 5 9 43 ,
  10 37 13 30 31 3 ⟶ 10 34 37 13 5 9 15 ,
  10 37 13 30 31 6 ⟶ 10 34 37 13 5 9 16 ,
  10 37 13 30 31 7 ⟶ 10 34 37 13 5 9 41 ,
  10 37 13 30 31 8 ⟶ 10 34 37 13 5 9 42 ,
  10 37 13 30 31 9 ⟶ 10 34 37 13 5 9 27 ,
  10 37 13 30 31 10 ⟶ 10 34 37 13 5 9 24 ,
  10 37 13 30 31 11 ⟶ 10 34 37 13 5 9 43 ,
  33 37 13 30 31 3 ⟶ 33 34 37 13 5 9 15 ,
  33 37 13 30 31 6 ⟶ 33 34 37 13 5 9 16 ,
  33 37 13 30 31 7 ⟶ 33 34 37 13 5 9 41 ,
  33 37 13 30 31 8 ⟶ 33 34 37 13 5 9 42 ,
  33 37 13 30 31 9 ⟶ 33 34 37 13 5 9 27 ,
  33 37 13 30 31 10 ⟶ 33 34 37 13 5 9 24 ,
  33 37 13 30 31 11 ⟶ 33 34 37 13 5 9 43 ,
  24 37 13 30 31 3 ⟶ 24 34 37 13 5 9 15 ,
  24 37 13 30 31 6 ⟶ 24 34 37 13 5 9 16 ,
  24 37 13 30 31 7 ⟶ 24 34 37 13 5 9 41 ,
  24 37 13 30 31 8 ⟶ 24 34 37 13 5 9 42 ,
  24 37 13 30 31 9 ⟶ 24 34 37 13 5 9 27 ,
  24 37 13 30 31 10 ⟶ 24 34 37 13 5 9 24 ,
  24 37 13 30 31 11 ⟶ 24 34 37 13 5 9 43 ,
  34 37 13 30 31 3 ⟶ 34 34 37 13 5 9 15 ,
  34 37 13 30 31 6 ⟶ 34 34 37 13 5 9 16 ,
  34 37 13 30 31 7 ⟶ 34 34 37 13 5 9 41 ,
  34 37 13 30 31 8 ⟶ 34 34 37 13 5 9 42 ,
  34 37 13 30 31 9 ⟶ 34 34 37 13 5 9 27 ,
  34 37 13 30 31 10 ⟶ 34 34 37 13 5 9 24 ,
  34 37 13 30 31 11 ⟶ 34 34 37 13 5 9 43 ,
  35 37 13 30 31 3 ⟶ 35 34 37 13 5 9 15 ,
  35 37 13 30 31 6 ⟶ 35 34 37 13 5 9 16 ,
  35 37 13 30 31 7 ⟶ 35 34 37 13 5 9 41 ,
  35 37 13 30 31 8 ⟶ 35 34 37 13 5 9 42 ,
  35 37 13 30 31 9 ⟶ 35 34 37 13 5 9 27 ,
  35 37 13 30 31 10 ⟶ 35 34 37 13 5 9 24 ,
  35 37 13 30 31 11 ⟶ 35 34 37 13 5 9 43 ,
  30 37 14 2 7 3 ⟶ 30 18 40 22 7 7 3 ,
  30 37 14 2 7 6 ⟶ 30 18 40 22 7 7 6 ,
  30 37 14 2 7 7 ⟶ 30 18 40 22 7 7 7 ,
  30 37 14 2 7 8 ⟶ 30 18 40 22 7 7 8 ,
  30 37 14 2 7 9 ⟶ 30 18 40 22 7 7 9 ,
  30 37 14 2 7 10 ⟶ 30 18 40 22 7 7 10 ,
  30 37 14 2 7 11 ⟶ 30 18 40 22 7 7 11 ,
  32 37 14 2 7 3 ⟶ 32 18 40 22 7 7 3 ,
  32 37 14 2 7 6 ⟶ 32 18 40 22 7 7 6 ,
  32 37 14 2 7 7 ⟶ 32 18 40 22 7 7 7 ,
  32 37 14 2 7 8 ⟶ 32 18 40 22 7 7 8 ,
  32 37 14 2 7 9 ⟶ 32 18 40 22 7 7 9 ,
  32 37 14 2 7 10 ⟶ 32 18 40 22 7 7 10 ,
  32 37 14 2 7 11 ⟶ 32 18 40 22 7 7 11 ,
  10 37 14 2 7 3 ⟶ 10 18 40 22 7 7 3 ,
  10 37 14 2 7 6 ⟶ 10 18 40 22 7 7 6 ,
  10 37 14 2 7 7 ⟶ 10 18 40 22 7 7 7 ,
  10 37 14 2 7 8 ⟶ 10 18 40 22 7 7 8 ,
  10 37 14 2 7 9 ⟶ 10 18 40 22 7 7 9 ,
  10 37 14 2 7 10 ⟶ 10 18 40 22 7 7 10 ,
  10 37 14 2 7 11 ⟶ 10 18 40 22 7 7 11 ,
  33 37 14 2 7 3 ⟶ 33 18 40 22 7 7 3 ,
  33 37 14 2 7 6 ⟶ 33 18 40 22 7 7 6 ,
  33 37 14 2 7 7 ⟶ 33 18 40 22 7 7 7 ,
  33 37 14 2 7 8 ⟶ 33 18 40 22 7 7 8 ,
  33 37 14 2 7 9 ⟶ 33 18 40 22 7 7 9 ,
  33 37 14 2 7 10 ⟶ 33 18 40 22 7 7 10 ,
  33 37 14 2 7 11 ⟶ 33 18 40 22 7 7 11 ,
  24 37 14 2 7 3 ⟶ 24 18 40 22 7 7 3 ,
  24 37 14 2 7 6 ⟶ 24 18 40 22 7 7 6 ,
  24 37 14 2 7 7 ⟶ 24 18 40 22 7 7 7 ,
  24 37 14 2 7 8 ⟶ 24 18 40 22 7 7 8 ,
  24 37 14 2 7 9 ⟶ 24 18 40 22 7 7 9 ,
  24 37 14 2 7 10 ⟶ 24 18 40 22 7 7 10 ,
  24 37 14 2 7 11 ⟶ 24 18 40 22 7 7 11 ,
  34 37 14 2 7 3 ⟶ 34 18 40 22 7 7 3 ,
  34 37 14 2 7 6 ⟶ 34 18 40 22 7 7 6 ,
  34 37 14 2 7 7 ⟶ 34 18 40 22 7 7 7 ,
  34 37 14 2 7 8 ⟶ 34 18 40 22 7 7 8 ,
  34 37 14 2 7 9 ⟶ 34 18 40 22 7 7 9 ,
  34 37 14 2 7 10 ⟶ 34 18 40 22 7 7 10 ,
  34 37 14 2 7 11 ⟶ 34 18 40 22 7 7 11 ,
  35 37 14 2 7 3 ⟶ 35 18 40 22 7 7 3 ,
  35 37 14 2 7 6 ⟶ 35 18 40 22 7 7 6 ,
  35 37 14 2 7 7 ⟶ 35 18 40 22 7 7 7 ,
  35 37 14 2 7 8 ⟶ 35 18 40 22 7 7 8 ,
  35 37 14 2 7 9 ⟶ 35 18 40 22 7 7 9 ,
  35 37 14 2 7 10 ⟶ 35 18 40 22 7 7 10 ,
  35 37 14 2 7 11 ⟶ 35 18 40 22 7 7 11 ,
  30 37 14 32 31 3 ⟶ 5 10 34 18 32 37 13 ,
  30 37 14 32 31 6 ⟶ 5 10 34 18 32 37 14 ,
  30 37 14 32 31 7 ⟶ 5 10 34 18 32 37 22 ,
  30 37 14 32 31 8 ⟶ 5 10 34 18 32 37 36 ,
  30 37 14 32 31 9 ⟶ 5 10 34 18 32 37 26 ,
  30 37 14 32 31 10 ⟶ 5 10 34 18 32 37 33 ,
  30 37 14 32 31 11 ⟶ 5 10 34 18 32 37 38 ,
  32 37 14 32 31 3 ⟶ 2 10 34 18 32 37 13 ,
  32 37 14 32 31 6 ⟶ 2 10 34 18 32 37 14 ,
  32 37 14 32 31 7 ⟶ 2 10 34 18 32 37 22 ,
  32 37 14 32 31 8 ⟶ 2 10 34 18 32 37 36 ,
  32 37 14 32 31 9 ⟶ 2 10 34 18 32 37 26 ,
  32 37 14 32 31 10 ⟶ 2 10 34 18 32 37 33 ,
  32 37 14 32 31 11 ⟶ 2 10 34 18 32 37 38 ,
  10 37 14 32 31 3 ⟶ 7 10 34 18 32 37 13 ,
  10 37 14 32 31 6 ⟶ 7 10 34 18 32 37 14 ,
  10 37 14 32 31 7 ⟶ 7 10 34 18 32 37 22 ,
  10 37 14 32 31 8 ⟶ 7 10 34 18 32 37 36 ,
  10 37 14 32 31 9 ⟶ 7 10 34 18 32 37 26 ,
  10 37 14 32 31 10 ⟶ 7 10 34 18 32 37 33 ,
  10 37 14 32 31 11 ⟶ 7 10 34 18 32 37 38 ,
  33 37 14 32 31 3 ⟶ 22 10 34 18 32 37 13 ,
  33 37 14 32 31 6 ⟶ 22 10 34 18 32 37 14 ,
  33 37 14 32 31 7 ⟶ 22 10 34 18 32 37 22 ,
  33 37 14 32 31 8 ⟶ 22 10 34 18 32 37 36 ,
  33 37 14 32 31 9 ⟶ 22 10 34 18 32 37 26 ,
  33 37 14 32 31 10 ⟶ 22 10 34 18 32 37 33 ,
  33 37 14 32 31 11 ⟶ 22 10 34 18 32 37 38 ,
  24 37 14 32 31 3 ⟶ 41 10 34 18 32 37 13 ,
  24 37 14 32 31 6 ⟶ 41 10 34 18 32 37 14 ,
  24 37 14 32 31 7 ⟶ 41 10 34 18 32 37 22 ,
  24 37 14 32 31 8 ⟶ 41 10 34 18 32 37 36 ,
  24 37 14 32 31 9 ⟶ 41 10 34 18 32 37 26 ,
  24 37 14 32 31 10 ⟶ 41 10 34 18 32 37 33 ,
  24 37 14 32 31 11 ⟶ 41 10 34 18 32 37 38 ,
  34 37 14 32 31 3 ⟶ 31 10 34 18 32 37 13 ,
  34 37 14 32 31 6 ⟶ 31 10 34 18 32 37 14 ,
  34 37 14 32 31 7 ⟶ 31 10 34 18 32 37 22 ,
  34 37 14 32 31 8 ⟶ 31 10 34 18 32 37 36 ,
  34 37 14 32 31 9 ⟶ 31 10 34 18 32 37 26 ,
  34 37 14 32 31 10 ⟶ 31 10 34 18 32 37 33 ,
  34 37 14 32 31 11 ⟶ 31 10 34 18 32 37 38 ,
  35 37 14 32 31 3 ⟶ 47 10 34 18 32 37 13 ,
  35 37 14 32 31 6 ⟶ 47 10 34 18 32 37 14 ,
  35 37 14 32 31 7 ⟶ 47 10 34 18 32 37 22 ,
  35 37 14 32 31 8 ⟶ 47 10 34 18 32 37 36 ,
  35 37 14 32 31 9 ⟶ 47 10 34 18 32 37 26 ,
  35 37 14 32 31 10 ⟶ 47 10 34 18 32 37 33 ,
  35 37 14 32 31 11 ⟶ 47 10 34 18 32 37 38 }

The system was filtered by the following matrix interpretation
of type E_J with J = {1,...,2} and dimension 2:

0 ↦ ⎛     ⎞
    ⎜ 1 3 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

1 ↦ ⎛     ⎞
    ⎜ 1 3 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

2 ↦ ⎛     ⎞
    ⎜ 1 4 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

3 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

4 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

5 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

6 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

7 ↦ ⎛     ⎞
    ⎜ 1 3 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

8 ↦ ⎛     ⎞
    ⎜ 1 3 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

9 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

10 ↦ ⎛     ⎞
     ⎜ 1 1 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

11 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

12 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

13 ↦ ⎛     ⎞
     ⎜ 1 1 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

14 ↦ ⎛     ⎞
     ⎜ 1 2 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

15 ↦ ⎛     ⎞
     ⎜ 1 1 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

16 ↦ ⎛     ⎞
     ⎜ 1 1 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

17 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

18 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

19 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

20 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

21 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

22 ↦ ⎛     ⎞
     ⎜ 1 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 2 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

29 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

30 ↦ ⎛     ⎞
     ⎜ 1 5 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

31 ↦ ⎛     ⎞
     ⎜ 1 5 ⎟
     ⎜ 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 2 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

38 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

39 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

40 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

41 ↦ ⎛     ⎞
     ⎜ 1 4 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

42 ↦ ⎛     ⎞
     ⎜ 1 4 ⎟
     ⎜ 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 ⎟
     ⎝     ⎠

After renaming modulo the bijection { 3 ↦ 0, 30 ↦ 1, 17 ↦ 2, 1 ↦ 3, 2 ↦ 4, 10 ↦ 5, 6 ↦ 6, 32 ↦ 7, 13 ↦ 8, 14 ↦ 9, 34 ↦ 10, 37 ↦ 11, 31 ↦ 12, 18 ↦ 13 },
it remains to prove termination of the 4-rule system
{ 0 1 2 3 4 5 ⟶ 6 4 0 3 7 2 1 ,
  8 1 2 3 4 5 ⟶ 9 4 0 3 7 2 1 ,
  10 11 9 7 12 0 ⟶ 12 5 10 13 7 11 8 ,
  10 11 9 7 12 6 ⟶ 12 5 10 13 7 11 9 }

The system was filtered by the following matrix interpretation
of type E_J with J = {1,...,2} and dimension 7:

0 ↦ ⎛               ⎞
    ⎜ 1 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 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 1 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 1 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 1 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎝               ⎠

4 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 1 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎝               ⎠

5 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎝               ⎠

6 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎝               ⎠

7 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
     ⎜ 0 1 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 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 0 ⎟
     ⎜ 0 1 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 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 0 ⎟
     ⎜ 0 1 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 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 0 ⎟
     ⎜ 0 1 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎝               ⎠

After renaming modulo the bijection { 8 ↦ 0, 1 ↦ 1, 2 ↦ 2, 3 ↦ 3, 4 ↦ 4, 5 ↦ 5, 9 ↦ 6, 0 ↦ 7, 7 ↦ 8, 10 ↦ 9, 11 ↦ 10, 12 ↦ 11, 13 ↦ 12, 6 ↦ 13 },
it remains to prove termination of the 3-rule system
{ 0 1 2 3 4 5 ⟶ 6 4 7 3 8 2 1 ,
  9 10 6 8 11 7 ⟶ 11 5 9 12 8 10 0 ,
  9 10 6 8 11 13 ⟶ 11 5 9 12 8 10 6 }

The system was filtered by the following matrix interpretation
of type E_J with J = {1,...,2} and dimension 2:

0 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

1 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

2 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

3 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

4 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

5 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

6 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

7 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

8 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

9 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

10 ↦ ⎛     ⎞
     ⎜ 1 1 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

11 ↦ ⎛     ⎞
     ⎜ 1 1 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

12 ↦ ⎛     ⎞
     ⎜ 1 0 ⎟
     ⎜ 0 1 ⎟
     ⎝     ⎠

13 ↦ ⎛     ⎞
     ⎜ 1 1 ⎟
     ⎜ 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 },
it remains to prove termination of the 2-rule system
{ 0 1 2 3 4 5 ⟶ 6 4 7 3 8 2 1 ,
  9 10 6 8 11 7 ⟶ 11 5 9 12 8 10 0 }

The system was filtered by the following matrix interpretation
of type E_J with J = {1,...,2} and dimension 7:

0 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎝               ⎠

6 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 1 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎝               ⎠

7 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎝               ⎠

8 ↦ ⎛               ⎞
    ⎜ 1 0 0 0 0 0 0 ⎟
    ⎜ 0 1 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 1 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎜ 0 0 0 0 0 0 0 ⎟
    ⎝               ⎠

9 ↦ ⎛               ⎞
    ⎜ 1 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 0 ⎟
    ⎜ 0 0 0 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 0 ⎟
     ⎜ 0 1 0 0 0 0 0 ⎟
     ⎜ 0 0 0 1 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 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 0 ⎟
     ⎜ 0 1 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 1 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎝               ⎠

12 ↦ ⎛               ⎞
     ⎜ 1 0 0 0 0 0 0 ⎟
     ⎜ 0 1 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 0 0 0 0 ⎟
     ⎜ 0 0 0 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 },
it remains to prove termination of the 1-rule system
{ 0 1 2 3 4 5 ⟶ 6 4 7 3 8 2 1 }

The system was filtered by the following matrix interpretation
of type E_J with J = {1,...,2} and dimension 2:

0 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

1 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

2 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

3 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

4 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

5 ↦ ⎛     ⎞
    ⎜ 1 1 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

6 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

7 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

8 ↦ ⎛     ⎞
    ⎜ 1 0 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

After renaming modulo the bijection {  },
it remains to prove termination of the 0-rule system
{ }

The system is trivially terminating.