YES

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


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

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


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

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


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

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


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

0 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
1 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
2 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
3 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
4 is interpreted by
 /   \
| 1 1 |
| 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 1 |
| 0 1 |
 \   /
10 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
11 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
12 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
13 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /

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


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

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


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

0 is interpreted by
 /   \
| 1 1 |
| 0 1 |
 \   /
1 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
2 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
3 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
4 is interpreted by
 /   \
| 1 0 |
| 0 1 |
 \   /
5 is interpreted by
 /   \
| 1 1 |
| 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 |
 \   /

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

The system is trivially terminating.