/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 50-rule system
{ 0 1 2 ⟶ 0 3 1 2 ,
  0 1 2 ⟶ 1 0 2 1 ,
  0 1 2 ⟶ 2 1 4 0 ,
  0 1 2 ⟶ 0 2 1 3 3 ,
  0 1 2 ⟶ 0 2 4 1 3 ,
  0 1 2 ⟶ 1 0 2 5 4 ,
  0 1 2 ⟶ 2 1 1 0 3 ,
  0 1 2 ⟶ 2 1 3 4 0 ,
  0 1 2 ⟶ 2 1 4 3 0 ,
  0 1 2 ⟶ 4 0 3 1 2 ,
  0 1 2 ⟶ 4 1 0 3 2 ,
  0 1 2 ⟶ 4 4 2 1 0 ,
  0 1 2 ⟶ 0 0 4 1 2 5 ,
  0 1 2 ⟶ 0 4 5 1 2 5 ,
  0 1 2 ⟶ 0 5 2 3 1 4 ,
  0 1 2 ⟶ 1 0 2 2 3 4 ,
  0 1 2 ⟶ 1 1 4 0 3 2 ,
  0 1 2 ⟶ 2 0 0 3 3 1 ,
  0 1 2 ⟶ 2 0 3 4 1 5 ,
  0 1 2 ⟶ 2 3 2 0 4 1 ,
  0 1 2 ⟶ 2 5 3 0 3 1 ,
  0 1 2 ⟶ 3 2 5 3 1 0 ,
  0 1 2 ⟶ 3 4 0 5 1 2 ,
  0 1 2 ⟶ 5 5 4 2 1 0 ,
  0 0 1 2 ⟶ 0 0 2 4 1 ,
  0 0 1 2 ⟶ 0 2 1 5 0 4 ,
  0 0 1 2 ⟶ 1 0 2 3 5 0 ,
  0 0 1 2 ⟶ 5 1 2 0 4 0 ,
  0 0 5 2 ⟶ 5 3 0 3 0 2 ,
  0 1 2 0 ⟶ 1 2 4 0 0 ,
  0 1 2 0 ⟶ 0 4 1 0 0 2 ,
  0 1 2 2 ⟶ 3 3 0 2 1 2 ,
  0 1 5 2 ⟶ 2 5 1 0 3 ,
  0 1 5 2 ⟶ 0 5 5 3 1 2 ,
  0 1 5 2 ⟶ 1 3 5 0 2 2 ,
  0 5 2 2 ⟶ 3 0 2 1 5 2 ,
  1 0 1 2 ⟶ 0 4 1 2 1 ,
  1 0 1 2 ⟶ 1 2 1 3 0 ,
  1 0 1 2 ⟶ 0 3 1 4 1 2 ,
  1 0 1 2 ⟶ 4 1 4 1 0 2 ,
  5 0 1 2 ⟶ 0 2 1 3 5 ,
  5 0 1 2 ⟶ 2 0 3 1 5 ,
  5 0 1 2 ⟶ 5 3 1 0 3 2 ,
  5 0 1 2 ⟶ 5 5 1 0 2 4 ,
  0 1 0 2 2 ⟶ 3 0 2 1 0 2 ,
  0 1 2 5 2 ⟶ 3 5 1 2 2 0 ,
  0 1 3 0 0 ⟶ 0 0 4 1 3 0 ,
  0 1 4 2 2 ⟶ 0 2 4 1 5 2 ,
  0 1 4 2 2 ⟶ 0 2 4 2 1 1 ,
  1 3 0 1 2 ⟶ 1 3 4 1 0 2 }

The system was reversed.

After renaming modulo the bijection { 2 ↦ 0, 1 ↦ 1, 0 ↦ 2, 3 ↦ 3, 4 ↦ 4, 5 ↦ 5 },
it remains to prove termination of the 50-rule system
{ 0 1 2 ⟶ 0 1 3 2 ,
  0 1 2 ⟶ 1 0 2 1 ,
  0 1 2 ⟶ 2 4 1 0 ,
  0 1 2 ⟶ 3 3 1 0 2 ,
  0 1 2 ⟶ 3 1 4 0 2 ,
  0 1 2 ⟶ 4 5 0 2 1 ,
  0 1 2 ⟶ 3 2 1 1 0 ,
  0 1 2 ⟶ 2 4 3 1 0 ,
  0 1 2 ⟶ 2 3 4 1 0 ,
  0 1 2 ⟶ 0 1 3 2 4 ,
  0 1 2 ⟶ 0 3 2 1 4 ,
  0 1 2 ⟶ 2 1 0 4 4 ,
  0 1 2 ⟶ 5 0 1 4 2 2 ,
  0 1 2 ⟶ 5 0 1 5 4 2 ,
  0 1 2 ⟶ 4 1 3 0 5 2 ,
  0 1 2 ⟶ 4 3 0 0 2 1 ,
  0 1 2 ⟶ 0 3 2 4 1 1 ,
  0 1 2 ⟶ 1 3 3 2 2 0 ,
  0 1 2 ⟶ 5 1 4 3 2 0 ,
  0 1 2 ⟶ 1 4 2 0 3 0 ,
  0 1 2 ⟶ 1 3 2 3 5 0 ,
  0 1 2 ⟶ 2 1 3 5 0 3 ,
  0 1 2 ⟶ 0 1 5 2 4 3 ,
  0 1 2 ⟶ 2 1 0 4 5 5 ,
  0 1 2 2 ⟶ 1 4 0 2 2 ,
  0 1 2 2 ⟶ 4 2 5 1 0 2 ,
  0 1 2 2 ⟶ 2 5 3 0 2 1 ,
  0 1 2 2 ⟶ 2 4 2 0 1 5 ,
  0 5 2 2 ⟶ 0 2 3 2 3 5 ,
  2 0 1 2 ⟶ 2 2 4 0 1 ,
  2 0 1 2 ⟶ 0 2 2 1 4 2 ,
  0 0 1 2 ⟶ 0 1 0 2 3 3 ,
  0 5 1 2 ⟶ 3 2 1 5 0 ,
  0 5 1 2 ⟶ 0 1 3 5 5 2 ,
  0 5 1 2 ⟶ 0 0 2 5 3 1 ,
  0 0 5 2 ⟶ 0 5 1 0 2 3 ,
  0 1 2 1 ⟶ 1 0 1 4 2 ,
  0 1 2 1 ⟶ 2 3 1 0 1 ,
  0 1 2 1 ⟶ 0 1 4 1 3 2 ,
  0 1 2 1 ⟶ 0 2 1 4 1 4 ,
  0 1 2 5 ⟶ 5 3 1 0 2 ,
  0 1 2 5 ⟶ 5 1 3 2 0 ,
  0 1 2 5 ⟶ 0 3 2 1 3 5 ,
  0 1 2 5 ⟶ 4 0 2 1 5 5 ,
  0 0 2 1 2 ⟶ 0 2 1 0 2 3 ,
  0 5 0 1 2 ⟶ 2 0 0 1 5 3 ,
  2 2 3 1 2 ⟶ 2 3 1 4 2 2 ,
  0 0 4 1 2 ⟶ 0 5 1 4 0 2 ,
  0 0 4 1 2 ⟶ 1 1 0 4 0 2 ,
  0 1 2 3 1 ⟶ 0 2 1 4 3 1 }

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

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 2 ⎟
    ⎜ 0 1 ⎟
    ⎝     ⎠

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The system is trivially terminating.