
cc :=
{ 2764704969122480332183023710, 
  1426812863410945994275055814, 
  6027144457473674894930859790 };

