carat2crystcatQ:=
[ [ [ 1, 1, 1 ], [ 1, 1, 2 ] ], 
  [ [ 2, 1, 1 ], [ 2, 1, 2 ], [ 2, 2, 1 ], [ 2, 2, 2 ], [ 2, 3, 1 ], 
      [ 2, 3, 2 ], [ 2, 4, 4 ], [ 2, 4, 1 ], [ 2, 4, 3 ], [ 2, 4, 2 ] ], 
  [ [ 3, 1, 1 ], [ 3, 1, 2 ], [ 3, 2, 1 ], [ 3, 2, 2 ], [ 3, 2, 3 ], 
      [ 3, 3, 1 ], [ 3, 3, 2 ], [ 3, 3, 3 ], [ 3, 4, 7 ], [ 3, 4, 1 ], 
      [ 3, 4, 2 ], [ 3, 4, 5 ], [ 3, 4, 4 ], [ 3, 4, 6 ], [ 3, 4, 3 ], 
      [ 3, 6, 3 ], [ 3, 5, 5 ], [ 3, 6, 5 ], [ 3, 6, 6 ], [ 3, 6, 4 ], 
      [ 3, 6, 7 ], [ 3, 5, 1 ], [ 3, 6, 1 ], [ 3, 6, 2 ], [ 3, 5, 3 ], 
      [ 3, 5, 4 ], [ 3, 5, 2 ], [ 3, 7, 1 ], [ 3, 7, 2 ], [ 3, 7, 4 ], 
      [ 3, 7, 3 ], [ 3, 7, 5 ] ], 
  [ [ 4, 1, 1 ], [ 4, 1, 2 ], [ 4, 2, 1 ], [ 4, 2, 2 ], [ 4, 2, 3 ], 
      [ 4, 3, 1 ], [ 4, 3, 2 ], [ 4, 4, 3 ], [ 4, 4, 1 ], [ 4, 4, 2 ], 
      [ 4, 4, 4 ], [ 4, 6, 3 ], [ 4, 5, 1 ], [ 4, 6, 2 ], [ 4, 6, 1 ], 
      [ 4, 5, 2 ], [ 4, 10, 1 ], [ 4, 16, 1 ], [ 4, 7, 7 ], [ 4, 7, 2 ], 
      [ 4, 7, 1 ], [ 4, 7, 3 ], [ 4, 7, 5 ], [ 4, 7, 6 ], [ 4, 7, 4 ], 
      [ 4, 13, 5 ], [ 4, 13, 6 ], [ 4, 13, 7 ], [ 4, 13, 8 ], [ 4, 12, 5 ], 
      [ 4, 13, 9 ], [ 4, 13, 10 ], [ 4, 12, 1 ], [ 4, 13, 2 ], [ 4, 13, 1 ], 
      [ 4, 13, 3 ], [ 4, 13, 4 ], [ 4, 12, 4 ], [ 4, 12, 3 ], [ 4, 12, 2 ], 
      [ 4, 19, 2 ], [ 4, 19, 1 ], [ 4, 18, 2 ], [ 4, 18, 3 ], [ 4, 18, 4 ], 
      [ 4, 19, 3 ], [ 4, 19, 5 ], [ 4, 18, 5 ], [ 4, 19, 4 ], [ 4, 19, 6 ], 
      [ 4, 18, 1 ], [ 4, 11, 1 ], [ 4, 11, 2 ], [ 4, 17, 2 ], [ 4, 17, 1 ], 
      [ 4, 8, 5 ], [ 4, 9, 3 ], [ 4, 9, 4 ], [ 4, 9, 5 ], [ 4, 9, 6 ], 
      [ 4, 9, 7 ], [ 4, 8, 1 ], [ 4, 8, 2 ], [ 4, 8, 3 ], [ 4, 8, 4 ], 
      [ 4, 9, 1 ], [ 4, 9, 2 ], [ 4, 14, 4 ], [ 4, 15, 2 ], [ 4, 15, 3 ], 
      [ 4, 15, 1 ], [ 4, 14, 5 ], [ 4, 14, 7 ], [ 4, 14, 6 ], [ 4, 14, 8 ], 
      [ 4, 14, 9 ], [ 4, 15, 4 ], [ 4, 15, 5 ], [ 4, 15, 8 ], [ 4, 14, 10 ], 
      [ 4, 15, 10 ], [ 4, 15, 7 ], [ 4, 15, 9 ], [ 4, 15, 6 ], 
      [ 4, 15, 11 ], [ 4, 15, 12 ], [ 4, 14, 1 ], [ 4, 14, 2 ], 
      [ 4, 14, 3 ], [ 4, 20, 2 ], [ 4, 20, 1 ], [ 4, 20, 3 ], [ 4, 20, 5 ], 
      [ 4, 20, 10 ], [ 4, 20, 8 ], [ 4, 20, 6 ], [ 4, 20, 13 ], 
      [ 4, 20, 7 ], [ 4, 20, 12 ], [ 4, 20, 11 ], [ 4, 20, 14 ], 
      [ 4, 20, 4 ], [ 4, 20, 9 ], [ 4, 20, 18 ], [ 4, 20, 16 ], 
      [ 4, 20, 17 ], [ 4, 20, 20 ], [ 4, 20, 21 ], [ 4, 20, 19 ], 
      [ 4, 20, 15 ], [ 4, 20, 22 ], [ 4, 21, 2 ], [ 4, 21, 3 ], 
      [ 4, 23, 11 ], [ 4, 22, 2 ], [ 4, 22, 3 ], [ 4, 22, 4 ], [ 4, 23, 1 ], 
      [ 4, 22, 5 ], [ 4, 21, 4 ], [ 4, 22, 6 ], [ 4, 23, 2 ], [ 4, 22, 7 ], 
      [ 4, 23, 4 ], [ 4, 23, 3 ], [ 4, 23, 6 ], [ 4, 22, 8 ], [ 4, 22, 9 ], 
      [ 4, 22, 10 ], [ 4, 23, 5 ], [ 4, 21, 1 ], [ 4, 23, 7 ], 
      [ 4, 22, 11 ], [ 4, 23, 8 ], [ 4, 23, 9 ], [ 4, 23, 10 ], 
      [ 4, 22, 1 ], [ 4, 24, 1 ], [ 4, 24, 2 ], [ 4, 25, 2 ], [ 4, 25, 1 ], 
      [ 4, 24, 3 ], [ 4, 24, 4 ], [ 4, 25, 3 ], [ 4, 25, 4 ], [ 4, 25, 5 ], 
      [ 4, 24, 5 ], [ 4, 25, 8 ], [ 4, 25, 9 ], [ 4, 25, 10 ], [ 4, 25, 6 ], 
      [ 4, 25, 7 ], [ 4, 25, 11 ], [ 4, 33, 16 ], [ 4, 32, 17 ], 
      [ 4, 33, 11 ], [ 4, 32, 2 ], [ 4, 32, 4 ], [ 4, 32, 3 ], 
      [ 4, 32, 18 ], [ 4, 32, 19 ], [ 4, 32, 20 ], [ 4, 33, 12 ], 
      [ 4, 32, 5 ], [ 4, 33, 3 ], [ 4, 33, 2 ], [ 4, 33, 1 ], [ 4, 33, 13 ], 
      [ 4, 32, 8 ], [ 4, 32, 9 ], [ 4, 32, 10 ], [ 4, 32, 7 ], [ 4, 32, 6 ], 
      [ 4, 32, 21 ], [ 4, 32, 11 ], [ 4, 33, 5 ], [ 4, 33, 6 ], 
      [ 4, 33, 4 ], [ 4, 33, 14 ], [ 4, 33, 15 ], [ 4, 32, 14 ], 
      [ 4, 32, 12 ], [ 4, 32, 13 ], [ 4, 32, 15 ], [ 4, 33, 7 ], 
      [ 4, 32, 1 ], [ 4, 32, 16 ], [ 4, 33, 10 ], [ 4, 33, 8 ], 
      [ 4, 33, 9 ], [ 4, 26, 2 ], [ 4, 26, 1 ], [ 4, 30, 1 ], [ 4, 30, 12 ], 
      [ 4, 29, 9 ], [ 4, 30, 11 ], [ 4, 30, 10 ], [ 4, 29, 1 ], 
      [ 4, 30, 3 ], [ 4, 30, 4 ], [ 4, 30, 2 ], [ 4, 30, 13 ], [ 4, 30, 5 ], 
      [ 4, 29, 2 ], [ 4, 29, 4 ], [ 4, 29, 3 ], [ 4, 30, 6 ], [ 4, 30, 7 ], 
      [ 4, 29, 6 ], [ 4, 30, 9 ], [ 4, 29, 5 ], [ 4, 30, 8 ], [ 4, 29, 7 ], 
      [ 4, 29, 8 ], [ 4, 28, 1 ], [ 4, 28, 2 ], [ 4, 31, 4 ], [ 4, 31, 5 ], 
      [ 4, 31, 6 ], [ 4, 31, 1 ], [ 4, 31, 7 ], [ 4, 31, 2 ], [ 4, 31, 3 ], 
      [ 4, 27, 2 ], [ 4, 27, 3 ], [ 4, 27, 4 ], [ 4, 27, 1 ] ] ];
carat2crystcatZ:=
[ [ [ 1 ], [ 1 ] ], 
  [ [ 1 ], [ 1 ], [ 1, 2 ], [ 1, 2 ], [ 1 ], [ 1 ], [ 1 ], [ 1 ], [ 1 ], 
      [ 2, 1 ] ], 
  [ [ 1 ], [ 1 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2, 3, 4 ], 
      [ 1, 2, 3, 4, 5 ], [ 1, 2, 3, 4 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], 
      [ 1, 2 ], [ 1, 2 ], [ 2, 4, 1, 3 ], [ 1, 2 ], [ 1 ], [ 2, 1, 3 ], 
      [ 1 ], [ 1, 2 ], [ 1 ], [ 1 ], [ 2, 1 ], [ 1 ], [ 1 ], [ 2, 1, 3 ], 
      [ 3, 1, 2 ], [ 2, 1 ], [ 2, 1, 3 ], [ 2, 1, 3 ], [ 2, 1, 3 ], 
      [ 2, 1, 3 ], [ 2, 1, 3 ] ], 
  [ [ 1 ], [ 1 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2, 3 ], [ 1, 2, 3 ], 
      [ 1, 3, 2, 6, 4, 5 ], [ 1, 3, 2, 6, 4, 5 ], [ 1, 4, 3, 2, 7, 5, 6 ], 
      [ 1, 3, 2, 6, 4, 5 ], [ 1, 2, 6, 8, 3, 5, 7, 4 ], 
      [ 2, 3, 9, 4, 10, 13, 5, 6, 8, 11, 12, 7, 1 ], 
      [ 1, 3, 2, 8, 9, 12, 4, 5, 7, 11, 10, 6 ], 
      [ 1, 3, 8, 2, 9, 12, 4, 5, 7, 10, 11, 6 ], 
      [ 2, 3, 7, 9, 4, 6, 8, 5, 1 ], [ 1 ], [ 1, 2, 3 ], [ 1, 2 ], [ 1, 2 ], 
      [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 1, 3, 2, 4 ], 
      [ 1, 3, 2, 5, 4 ], [ 1, 4, 3, 2, 6, 5 ], 
      [ 2, 7, 5, 4, 12, 9, 1, 8, 6, 3, 11, 10 ], [ 1, 4, 3, 2, 6, 5 ], 
      [ 2, 7, 5, 11, 9, 3, 6, 4, 10, 8, 1 ], [ 1, 3, 2, 5, 4 ], 
      [ 1, 3, 2, 5, 4 ], [ 2, 5, 4, 3, 7, 6, 1 ], [ 1, 3, 4, 2, 6, 5 ], 
      [ 1, 4, 3, 2, 6, 5 ], [ 1, 4, 3, 2, 6, 5 ], [ 1, 4, 3, 2, 6, 5 ], 
      [ 3, 6, 9, 4, 12, 10, 1, 2, 7, 8, 5, 13, 11 ], 
      [ 3, 6, 8, 5, 12, 10, 1, 2, 7, 9, 4, 13, 11 ], [ 2, 4, 3, 6, 5, 1 ], 
      [ 1, 2 ], [ 1, 2 ], [ 2, 5, 3, 4, 1 ], [ 4, 5, 1, 3, 6, 2, 7 ], 
      [ 2, 5, 1, 3, 4 ], [ 1, 2 ], [ 1, 2 ], [ 4, 5, 1, 3, 6, 2, 7 ], 
      [ 2, 3, 1, 4 ], [ 1, 2 ], [ 2, 3, 1 ], [ 1 ], [ 1 ], [ 2, 1 ], 
      [ 3, 1, 2 ], [ 3, 1, 2 ], [ 1 ], [ 1 ], [ 1 ], [ 1, 2 ], [ 1 ], 
      [ 2, 1 ], [ 2, 1 ], [ 2, 3, 1 ], [ 2, 1, 3 ], [ 1 ], [ 1 ], 
      [ 3, 4, 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 3, 4, 1, 2 ], 
      [ 3, 5, 1, 2, 4, 6 ], [ 4, 6, 1, 2, 3, 5 ], [ 4, 6, 1, 2, 3, 5 ], 
      [ 3, 6, 1, 2, 4, 5 ], [ 1, 2 ], [ 2, 4, 1, 3 ], [ 1, 2 ], 
      [ 4, 6, 1, 2, 3, 5 ], [ 1, 3, 2, 4 ], [ 2, 4, 1, 3 ], [ 1, 2 ], 
      [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 3, 4, 1, 2 ], [ 3, 4, 1, 2 ], 
      [ 6, 8, 2, 4, 5, 7, 1, 3 ], [ 1 ], [ 1 ], [ 2, 1 ], [ 1 ], [ 1, 2 ], 
      [ 1 ], [ 1 ], [ 3, 1, 4, 2 ], [ 2, 1 ], [ 2, 4, 1, 3 ], [ 2, 1 ], 
      [ 1 ], [ 1, 2 ], [ 1, 2 ], [ 1 ], [ 2, 1 ], [ 2, 1 ], [ 4, 3, 2, 1 ], 
      [ 2, 1 ], [ 1 ], [ 1 ], [ 1 ], [ 2, 1 ], [ 3, 1, 4, 2 ], [ 1 ], 
      [ 2, 1 ], [ 2, 1, 3 ], [ 2, 1, 3 ], [ 1 ], [ 4, 1, 5, 3, 2 ], 
      [ 2, 1 ], [ 2, 1, 3 ], [ 1 ], [ 2, 1, 3 ], [ 1 ], [ 1 ], [ 2, 1 ], 
      [ 2, 1, 3, 4 ], [ 2, 1, 4, 3, 5 ], [ 2, 1, 3, 4 ], [ 1, 2 ], [ 2, 1 ], 
      [ 1 ], [ 2, 1, 4, 3 ], [ 1 ], [ 2, 1 ], [ 1, 2 ], [ 2, 1 ], 
      [ 3, 4, 1, 2, 6, 5 ], [ 3, 4, 1, 2, 6, 5 ], [ 2, 3, 1, 5, 4 ], 
      [ 2, 3, 1, 5, 4 ], [ 3, 4, 1, 2, 6, 5 ], [ 3, 4, 1, 2, 6, 5 ], 
      [ 1, 5, 2, 3, 4 ], [ 1, 5, 2, 3, 4 ], [ 1, 5, 2, 3, 4 ], 
      [ 3, 4, 1, 2, 6, 5 ], [ 2, 3, 1, 5, 4 ], [ 2, 3, 1, 5, 4 ], 
      [ 2, 3, 1, 5, 4 ], [ 1, 5, 2, 3, 4 ], [ 1, 5, 2, 3, 4 ], 
      [ 2, 3, 1, 5, 4 ], [ 1 ], [ 2, 1 ], [ 1 ], [ 2, 1 ], [ 2, 1 ], 
      [ 2, 1 ], [ 3, 1, 2 ], [ 3, 2, 1 ], [ 2, 1, 3 ], [ 1 ], [ 3, 2, 1 ], 
      [ 1 ], [ 1 ], [ 1 ], [ 1 ], [ 2, 1 ], [ 5, 3, 4, 2, 1 ], [ 2, 1 ], 
      [ 2, 1 ], [ 2, 1 ], [ 2, 3, 1 ], [ 3, 2, 1 ], [ 1 ], [ 1 ], [ 1 ], 
      [ 1, 2 ], [ 1 ], [ 3, 1, 4, 2 ], [ 2, 1 ], [ 3, 2, 4, 1 ], [ 2, 1 ], 
      [ 1 ], [ 2, 1 ], [ 2, 1, 3 ], [ 1 ], [ 1 ], [ 1 ], [ 1 ], [ 1 ], 
      [ 1 ], [ 2, 1 ], [ 2, 1, 3 ], [ 1 ], [ 1 ], [ 3, 2, 1 ], [ 1 ], 
      [ 2, 1 ], [ 1 ], [ 1 ], [ 1 ], [ 2, 1 ], [ 3, 4, 2, 1 ], 
      [ 4, 3, 5, 2, 1 ], [ 1 ], [ 1 ], [ 2, 1, 3 ], [ 1 ], [ 2, 1 ], [ 1 ], 
      [ 4, 3, 2, 1 ], [ 4, 3, 2, 1 ], [ 1 ], [ 1 ], [ 1, 2 ], [ 1, 2 ], 
      [ 1, 2 ], [ 2, 3, 1, 4 ], [ 1, 2 ], [ 1, 2 ], [ 1, 2 ], [ 1 ], 
      [ 2, 1 ], [ 1 ], [ 1 ] ] ];