YES

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


Applying sparse 2-tiling [Hofbauer/Geser/Waldmann, FSCD 2019].

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


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

0 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
1 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
2 is interpreted by
 /   \
| 1 7 |
| 0 1 |
 \   /
3 is interpreted by
 /   \
| 1 6 |
| 0 1 |
 \   /
4 is interpreted by
 /   \
| 1 5 |
| 0 1 |
 \   /
5 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
6 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
7 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
8 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
9 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
10 is interpreted by
 /   \
| 1 7 |
| 0 1 |
 \   /
11 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
12 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
13 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
14 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
15 is interpreted by
 /     \
|  1 12 |
|  0  1 |
 \     /
16 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
17 is interpreted by
 /   \
| 1 2 |
| 0 1 |
 \   /
18 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
19 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
20 is interpreted by
 /   \
| 1 9 |
| 0 1 |
 \   /
21 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
22 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
23 is interpreted by
 /   \
| 1 2 |
| 0 1 |
 \   /
24 is interpreted by
 /   \
| 1 3 |
| 0 1 |
 \   /
25 is interpreted by
 /   \
| 1 4 |
| 0 1 |
 \   /
26 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
27 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
28 is interpreted by
 /   \
| 1 3 |
| 0 1 |
 \   /
29 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
30 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
31 is interpreted by
 /   \
| 1 9 |
| 0 1 |
 \   /
32 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
33 is interpreted by
 /     \
|  1 10 |
|  0  1 |
 \     /
34 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
35 is interpreted by
 /     \
|  1 14 |
|  0  1 |
 \     /
36 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
37 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
38 is interpreted by
 /   \
| 1 4 |
| 0 1 |
 \   /
39 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
40 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
41 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
42 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
43 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
44 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
45 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
46 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
47 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /

After renaming modulo { 41->0, 26->1, 17->2, 7->3, 19->4, 2->5, 30->6, 5->7, 20->8, 21->9, 22->10 }, 
it remains to prove termination of the 7-rule system
{ 0 1 2 3 4 5 -> 6 0 1 4 2 3 5 ,
  0 1 2 3 4 4 -> 6 0 1 4 2 3 4 ,
  0 1 2 3 4 2 -> 6 0 1 4 2 3 2 ,
  0 1 2 3 4 7 -> 6 0 1 4 2 3 7 ,
  0 1 2 3 4 8 -> 6 0 1 4 2 3 8 ,
  0 1 2 3 4 9 -> 6 0 1 4 2 3 9 ,
  0 1 2 3 4 10 -> 6 0 1 4 2 3 10 }


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

0 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 { 0->0, 1->1, 2->2, 3->3, 4->4, 6->5, 7->6, 8->7, 9->8, 10->9 }, 
it remains to prove termination of the 6-rule system
{ 0 1 2 3 4 4 -> 5 0 1 4 2 3 4 ,
  0 1 2 3 4 2 -> 5 0 1 4 2 3 2 ,
  0 1 2 3 4 6 -> 5 0 1 4 2 3 6 ,
  0 1 2 3 4 7 -> 5 0 1 4 2 3 7 ,
  0 1 2 3 4 8 -> 5 0 1 4 2 3 8 ,
  0 1 2 3 4 9 -> 5 0 1 4 2 3 9 }


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

0 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 1 0 0 0 0 0 |
 \             /
5 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5, 6->6, 7->7, 8->8, 9->9 }, 
it remains to prove termination of the 5-rule system
{ 0 1 2 3 4 2 -> 5 0 1 4 2 3 2 ,
  0 1 2 3 4 6 -> 5 0 1 4 2 3 6 ,
  0 1 2 3 4 7 -> 5 0 1 4 2 3 7 ,
  0 1 2 3 4 8 -> 5 0 1 4 2 3 8 ,
  0 1 2 3 4 9 -> 5 0 1 4 2 3 9 }


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

0 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 1 0 0 0 0 0 |
 \             /
3 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 { 0->0, 1->1, 2->2, 3->3, 4->4, 6->5, 5->6, 7->7, 8->8, 9->9 }, 
it remains to prove termination of the 4-rule system
{ 0 1 2 3 4 5 -> 6 0 1 4 2 3 5 ,
  0 1 2 3 4 7 -> 6 0 1 4 2 3 7 ,
  0 1 2 3 4 8 -> 6 0 1 4 2 3 8 ,
  0 1 2 3 4 9 -> 6 0 1 4 2 3 9 }


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

0 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 { 0->0, 1->1, 2->2, 3->3, 4->4, 7->5, 6->6, 8->7, 9->8 }, 
it remains to prove termination of the 3-rule system
{ 0 1 2 3 4 5 -> 6 0 1 4 2 3 5 ,
  0 1 2 3 4 7 -> 6 0 1 4 2 3 7 ,
  0 1 2 3 4 8 -> 6 0 1 4 2 3 8 }


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

0 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 { 0->0, 1->1, 2->2, 3->3, 4->4, 7->5, 6->6, 8->7 }, 
it remains to prove termination of the 2-rule system
{ 0 1 2 3 4 5 -> 6 0 1 4 2 3 5 ,
  0 1 2 3 4 7 -> 6 0 1 4 2 3 7 }


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

0 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 { 0->0, 1->1, 2->2, 3->3, 4->4, 7->5, 6->6 }, 
it remains to prove termination of the 1-rule system
{ 0 1 2 3 4 5 -> 6 0 1 4 2 3 5 }


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

0 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 is interpreted by
 /             \
| 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 {  }, 
it remains to prove termination of the 0-rule system
{ }

The system is trivially terminating.