cor[360] = tmp; 

  tmp = -e0[1]; tmp -= e0[4]; tmp += e0[5]; tmp -= e0[12]; tmp -= e0[15]; tmp -= e0[21]; tmp -= e0[24]; tmp -= e0[30]; tmp -= e0[31]; tmp -= e0[32]; tmp -= e0[34]; tmp -= e0[35]; tmp += e0[37]; tmp += e0[42]; tmp += e0[46]; tmp += e0[51]; tmp -= e0[52]; tmp += e0[59];
  cor[359] = tmp; 

  tmp = -e0[2]; tmp += e0[3]; tmp -= e0[10]; tmp -= e0[13]; tmp -= e0[19]; tmp -= e0[22]; tmp -= e0[28]; tmp -= e0[29]; tmp -= e0[30]; tmp -= e0[32]; tmp -= e0[33]; tmp += e0[35]; tmp += e0[40]; tmp += e0[44]; tmp += e0[49]; tmp -= e0[50]; tmp += e0[57]; tmp -= e0[58];
  cor[358] = tmp; 

  tmp = -e0[0]; tmp += e0[1]; tmp -= e0[8]; tmp -= e0[11]; tmp -= e0[17]; tmp -= e0[20]; tmp -= e0[26]; tmp -= e0[27]; tmp -= e0[28]; tmp -= e0[30]; tmp -= e0[31]; tmp += e0[33]; tmp += e0[38]; tmp += e0[42]; tmp += e0[47]; tmp -= e0[48]; tmp += e0[55]; tmp -= e0[56]; tmp -= e0[59];
  cor[357] = tmp; 

  tmp = -e0[6]; tmp -= e0[9]; tmp -= e0[15]; tmp -= e0[18]; tmp -= e0[24]; tmp -= e0[25]; tmp -= e0[26]; tmp -= e0[28]; tmp -= e0[29]; tmp += e0[31]; tmp += e0[36]; tmp += e0[40]; tmp += e0[45]; tmp -= e0[46]; tmp += e0[53]; tmp -= e0[54]; tmp -= e0[57]; tmp -= e0[59];
  cor[356] = tmp; 

  tmp = -e0[4]; tmp -= e0[7]; tmp -= e0[13]; tmp -= e0[16]; tmp -= e0[22]; tmp -= e0[23]; tmp -= e0[24]; tmp -= e0[26]; tmp -= e0[27]; tmp += e0[29]; tmp += e0[34]; tmp += e0[38]; tmp += e0[43]; tmp -= e0[44]; tmp += e0[51]; tmp -= e0[52]; tmp -= e0[55]; tmp -= e0[57];
  cor[355] = tmp; 

  tmp = -e0[2]; tmp -= e0[5]; tmp -= e0[11]; tmp -= e0[14]; tmp -= e0[20]; tmp -= e0[21]; tmp -= e0[22]; tmp -= e0[24]; tmp -= e0[25]; tmp += e0[27]; tmp += e0[32]; tmp += e0[36]; tmp += e0[41]; tmp -= e0[42]; tmp += e0[49]; tmp -= e0[50]; tmp -= e0[53]; tmp -= e0[55]; tmp -= e0[58];
  cor[354] = tmp; 

  tmp = -e0[0]; tmp -= e0[3]; tmp -= e0[9]; tmp -= e0[12]; tmp -= e0[18]; tmp -= e0[19]; tmp -= e0[20]; tmp -= e0[22]; tmp -= e0[23]; tmp += e0[25]; tmp += e0[30]; tmp += e0[34]; tmp += e0[39]; tmp -= e0[40]; tmp += e0[47]; tmp -= e0[48]; tmp -= e0[51]; tmp -= e0[53]; tmp -= e0[56]; tmp += e0[59];
  cor[353] = tmp; 

  tmp = -e0[1]; tmp -= e0[7]; tmp -= e0[10]; tmp -= e0[16]; tmp -= e0[17]; tmp -= e0[18]; tmp -= e0[20]; tmp -= e0[21]; tmp += e0[23]; tmp += e0[28]; tmp += e0[32]; tmp += e0[37]; tmp -= e0[38]; tmp += e0[45]; tmp -= e0[46]; tmp -= e0[49]; tmp -= e0[51]; tmp -= e0[54]; tmp += e0[57];
  cor[352] = tmp; 

  tmp = -e0[5]; tmp -= e0[8]; tmp -= e0[14]; tmp -= e0[15]; tmp -= e0[16]; tmp -= e0[18]; tmp -= e0[19]; tmp += e0[21]; tmp += e0[26]; tmp += e0[30]; tmp += e0[35]; tmp -= e0[36]; tmp += e0[43]; tmp -= e0[44]; tmp -= e0[47]; tmp -= e0[49]; tmp -= e0[52]; tmp += e0[55];
  cor[351] = tmp; 

  tmp = -e0[3]; tmp -= e0[6]; tmp -= e0[12]; tmp -= e0[13]; tmp -= e0[14]; tmp -= e0[16]; tmp -= e0[17]; tmp += e0[19]; tmp += e0[24]; tmp += e0[28]; tmp += e0[33]; tmp -= e0[34]; tmp += e0[41]; tmp -= e0[42]; tmp -= e0[45]; tmp -= e0[47]; tmp -= e0[50]; tmp += e0[53]; tmp -= e0[58]; tmp -= e0[59];
  cor[350] = tmp; 

  tmp = -e0[1]; tmp -= e0[4]; tmp -= e0[10]; tmp -= e0[11]; tmp -= e0[12]; tmp -= e0[14]; tmp -= e0[15]; tmp += e0[17]; tmp += e0[22]; tmp += e0[26]; tmp += e0[31]; tmp -= e0[32]; tmp += e0[39]; tmp -= e0[40]; tmp -= e0[43]; tmp -= e0[45]; tmp -= e0[48]; tmp += e0[51]; tmp -= e0[56]; tmp -= e0[57]; tmp -= e0[59];
  cor[349] = tmp; 

  tmp = -e0[2]; tmp -= e0[8]; tmp -= e0[9]; tmp -= e0[10]; tmp -= e0[12]; tmp -= e0[13]; tmp += e0[15]; tmp += e0[20]; tmp += e0[24]; tmp += e0[29]; tmp -= e0[30]; tmp += e0[37]; tmp -= e0[38]; tmp -= e0[41]; tmp -= e0[43]; tmp -= e0[46]; tmp += e0[49]; tmp -= e0[54]; tmp -= e0[55]; tmp -= e0[57];
  cor[348] = tmp; 

  tmp = -e0[0]; tmp -= e0[6]; tmp -= e0[7]; tmp -= e0[8]; tmp -= e0[10]; tmp -= e0[11]; tmp += e0[13]; tmp += e0[18]; tmp += e0[22]; tmp += e0[27]; tmp -= e0[28]; tmp += e0[35]; tmp -= e0[36]; tmp -= e0[39]; tmp -= e0[41]; tmp -= e0[44]; tmp += e0[47]; tmp -= e0[52]; tmp -= e0[53]; tmp -= e0[55];
  cor[347] = tmp; 

  tmp = -e0[4]; tmp -= e0[5]; tmp -= e0[6]; tmp -= e0[8]; tmp -= e0[9]; tmp += e0[11]; tmp += e0[16]; tmp += e0[20]; tmp += e0[25]; tmp -= e0[26]; tmp += e0[33]; tmp -= e0[34]; tmp -= e0[37]; tmp -= e0[39]; tmp -= e0[42]; tmp += e0[45]; tmp -= e0[50]; tmp -= e0[51]; tmp -= e0[53];
  cor[346] = tmp; 

  tmp = -e0[2]; tmp -= e0[3]; tmp -= e0[4]; tmp -= e0[6]; tmp -= e0[7]; tmp += e0[9]; tmp += e0[14]; tmp += e0[18]; tmp += e0[23]; tmp -= e0[24]; tmp += e0[31]; tmp -= e0[32]; tmp -= e0[35]; tmp -= e0[37]; tmp -= e0[40]; tmp += e0[43]; tmp -= e0[48]; tmp -= e0[49]; tmp -= e0[51];
  cor[345] = tmp; 

  tmp = -e0[0]; tmp -= e0[1]; tmp -= e0[2]; tmp -= e0[4]; tmp -= e0[5]; tmp += e0[7]; tmp += e0[12]; tmp += e0[16]; tmp += e0[21]; tmp -= e0[22]; tmp += e0[29]; tmp -= e0[30]; tmp -= e0[33]; tmp -= e0[35]; tmp -= e0[38]; tmp += e0[41]; tmp -= e0[46]; tmp -= e0[47]; tmp -= e0[49]; tmp += e0[59];
  cor[344] = tmp; 

  tmp = -e0[0]; tmp -= e0[2]; tmp -= e0[3]; tmp += e0[5]; tmp += e0[10]; tmp += e0[14]; tmp += e0[19]; tmp -= e0[20]; tmp += e0[27]; tmp -= e0[28]; tmp -= e0[31]; tmp -= e0[33]; tmp -= e0[36]; tmp += e0[39]; tmp -= e0[44]; tmp -= e0[45]; tmp -= e0[47]; tmp += e0[57];
  cor[343] = tmp; 

  tmp = -e0[0]; tmp -= e0[1]; tmp += e0[3]; tmp += e0[8]; tmp += e0[12]; tmp += e0[17]; tmp -= e0[18]; tmp += e0[25]; tmp -= e0[26]; tmp -= e0[29]; tmp -= e0[31]; tmp -= e0[34]; tmp += e0[37]; tmp -= e0[42]; tmp -= e0[43]; tmp -= e0[45]; tmp += e0[55]; tmp -= e0[58];
  cor[342] = tmp; 

  tmp = e0[1]; tmp += e0[6]; tmp += e0[10]; tmp += e0[15]; tmp -= e0[16]; tmp += e0[23]; tmp -= e0[24]; tmp -= e0[27]; tmp -= e0[29]; tmp -= e0[32]; tmp += e0[35]; tmp -= e0[40]; tmp -= e0[41]; tmp -= e0[43]; tmp += e0[53]; tmp -= e0[56];
  cor[341] = tmp; 

  tmp = e0[4]; tmp += e0[8]; tmp += e0[13]; tmp -= e0[14]; tmp += e0[21]; tmp -= e0[22]; tmp -= e0[25]; tmp -= e0[27]; tmp -= e0[30]; tmp += e0[33]; tmp -= e0[38]; tmp -= e0[39]; tmp -= e0[41]; tmp += e0[51]; tmp -= e0[54]; tmp -= e0[58];
  cor[340] = tmp; 

  tmp = e0[2]; tmp += e0[6]; tmp += e0[11]; tmp -= e0[12]; tmp += e0[19]; tmp -= e0[20]; tmp -= e0[23]; tmp -= e0[25]; tmp -= e0[28]; tmp += e0[31]; tmp -= e0[36]; tmp -= e0[37]; tmp -= e0[39]; tmp += e0[49]; tmp -= e0[52]; tmp -= e0[56]; tmp += e0[58];
  cor[339] = tmp; 

  tmp = e0[0]; tmp += e0[4]; tmp += e0[9]; tmp -= e0[10]; tmp += e0[17]; tmp -= e0[18]; tmp -= e0[21]; tmp -= e0[23]; tmp -= e0[26]; tmp += e0[29]; tmp -= e0[34]; tmp -= e0[35]; tmp -= e0[37]; tmp += e0[47]; tmp -= e0[50]; tmp -= e0[54]; tmp += e0[56]; tmp -= e0[59];
  cor[338] = tmp; 

  tmp = e0[2]; tmp += e0[7]; tmp -= e0[8]; tmp += e0[15]; tmp -= e0[16]; tmp -= e0[19]; tmp -= e0[21]; tmp -= e0[24]; tmp += e0[27]; tmp -= e0[32]; tmp -= e0[33]; tmp -= e0[35]; tmp += e0[45]; tmp -= e0[48]; tmp -= e0[52]; tmp += e0[54]; tmp -= e0[57];
  cor[337] = tmp; 

  tmp = e0[0]; tmp += e0[5]; tmp -= e0[6]; tmp += e0[13]; tmp -= e0[14]; tmp -= e0[17]; tmp -= e0[19]; tmp -= e0[22]; tmp += e0[25]; tmp -= e0[30]; tmp -= e0[31]; tmp -= e0[33]; tmp += e0[43]; tmp -= e0[46]; tmp -= e0[50]; tmp += e0[52]; tmp -= e0[55]; tmp -= e0[59];
  cor[336] = tmp; 

  tmp = e0[3]; tmp -= e0[4]; tmp += e0[11]; tmp -= e0[12]; tmp -= e0[15]; tmp -= e0[17]; tmp -= e0[20]; tmp += e0[23]; tmp -= e0[28]; tmp -= e0[29]; tmp -= e0[31]; tmp += e0[41]; tmp -= e0[44]; tmp -= e0[48]; tmp += e0[50]; tmp -= e0[53]; tmp -= e0[57];
  cor[335] = tmp; 

  tmp = e0[1]; tmp -= e0[2]; tmp += e0[9]; tmp -= e0[10]; tmp -= e0[13]; tmp -= e0[15]; tmp -= e0[18]; tmp += e0[21]; tmp -= e0[26]; tmp -= e0[27]; tmp -= e0[29]; tmp += e0[39]; tmp -= e0[42]; tmp -= e0[46]; tmp += e0[48]; tmp -= e0[51]; tmp -= e0[55]; tmp -= e0[59];
  cor[334] = tmp; 

  tmp = -e0[0]; tmp += e0[7]; tmp -= e0[8]; tmp -= e0[11]; tmp -= e0[13]; tmp -= e0[16]; tmp += e0[19]; tmp -= e0[24]; tmp -= e0[25]; tmp -= e0[27]; tmp += e0[37]; tmp -= e0[40]; tmp -= e0[44]; tmp += e0[46]; tmp -= e0[49]; tmp -= e0[53]; tmp -= e0[57];
  cor[333] = tmp; 

  tmp = e0[5]; tmp -= e0[6]; tmp -= e0[9]; tmp -= e0[11]; tmp -= e0[14]; tmp += e0[17]; tmp -= e0[22]; tmp -= e0[23]; tmp -= e0[25]; tmp += e0[35]; tmp -= e0[38]; tmp -= e0[42]; tmp += e0[44]; tmp -= e0[47]; tmp -= e0[51]; tmp -= e0[55];
  cor[332] = tmp; 

  tmp = e0[3]; tmp -= e0[4]; tmp -= e0[7]; tmp -= e0[9]; tmp -= e0[12]; tmp += e0[15]; tmp -= e0[20]; tmp -= e0[21]; tmp -= e0[23]; tmp += e0[33]; tmp -= e0[36]; tmp -= e0[40]; tmp += e0[42]; tmp -= e0[45]; tmp -= e0[49]; tmp -= e0[53]; tmp -= e0[58];
  cor[331] = tmp; 

  tmp = e0[1]; tmp -= e0[2]; tmp -= e0[5]; tmp -= e0[7]; tmp -= e0[10]; tmp += e0[13]; tmp -= e0[18]; tmp -= e0[19]; tmp -= e0[21]; tmp += e0[31]; tmp -= e0[34]; tmp -= e0[38]; tmp += e0[40]; tmp -= e0[43]; tmp -= e0[47]; tmp -= e0[51]; tmp -= e0[56]; tmp -= e0[59];
  cor[330] = tmp; 

  tmp = -e0[0]; tmp -= e0[3]; tmp -= e0[5]; tmp -= e0[8]; tmp += e0[11]; tmp -= e0[16]; tmp -= e0[17]; tmp -= e0[19]; tmp += e0[29]; tmp -= e0[32]; tmp -= e0[36]; tmp += e0[38]; tmp -= e0[41]; tmp -= e0[45]; tmp -= e0[49]; tmp -= e0[54]; tmp -= e0[57]; tmp -= e0[58];
  cor[329] = tmp; 

  tmp = -e0[1]; tmp -= e0[3]; tmp -= e0[6]; tmp += e0[9]; tmp -= e0[14]; tmp -= e0[15]; tmp -= e0[17]; tmp += e0[27]; tmp -= e0[30]; tmp -= e0[34]; tmp += e0[36]; tmp -= e0[39]; tmp -= e0[43]; tmp -= e0[47]; tmp -= e0[52]; tmp -= e0[55]; tmp -= e0[56];
  cor[328] = tmp; 

  tmp = -e0[1]; tmp -= e0[4]; tmp += e0[7]; tmp -= e0[12]; tmp -= e0[13]; tmp -= e0[15]; tmp += e0[25]; tmp -= e0[28]; tmp -= e0[32]; tmp += e0[34]; tmp -= e0[37]; tmp -= e0[41]; tmp -= e0[45]; tmp -= e0[50]; tmp -= e0[53]; tmp -= e0[54]; tmp += e0[58];
  cor[327] = tmp; 

  tmp = -e0[2]; tmp += e0[5]; tmp -= e0[10]; tmp -= e0[11]; tmp -= e0[13]; tmp += e0[23]; tmp -= e0[26]; tmp -= e0[30]; tmp += e0[32]; tmp -= e0[35]; tmp -= e0[39]; tmp -= e0[43]; tmp -= e0[48]; tmp -= e0[51]; tmp -= e0[52]; tmp += e0[56]; tmp -= e0[58];
  cor[326] = tmp; 

  tmp = -e0[0]; tmp += e0[3]; tmp -= e0[8]; tmp -= e0[9]; tmp -= e0[11]; tmp += e0[21]; tmp -= e0[24]; tmp -= e0[28]; tmp += e0[30]; tmp -= e0[33]; tmp -= e0[37]; tmp -= e0[41]; tmp -= e0[46]; tmp -= e0[49]; tmp -= e0[50]; tmp += e0[54]; tmp -= e0[56];
  cor[325] = tmp; 

  tmp = e0[1]; tmp -= e0[6]; tmp -= e0[7]; tmp -= e0[9]; tmp += e0[19]; tmp -= e0[22]; tmp -= e0[26]; tmp += e0[28]; tmp -= e0[31]; tmp -= e0[35]; tmp -= e0[39]; tmp -= e0[44]; tmp -= e0[47]; tmp -= e0[48]; tmp += e0[52]; tmp -= e0[54];
  cor[324] = tmp; 

  tmp = -e0[4]; tmp -= e0[5]; tmp -= e0[7]; tmp += e0[17]; tmp -= e0[20]; tmp -= e0[24]; tmp += e0[26]; tmp -= e0[29]; tmp -= e0[33]; tmp -= e0[37]; tmp -= e0[42]; tmp -= e0[45]; tmp -= e0[46]; tmp += e0[50]; tmp -= e0[52]; tmp += e0[58];
  cor[323] = tmp; 

  tmp = -e0[2]; tmp -= e0[3]; tmp -= e0[5]; tmp += e0[15]; tmp -= e0[18]; tmp -= e0[22]; tmp += e0[24]; tmp -= e0[27]; tmp -= e0[31]; tmp -= e0[35]; tmp -= e0[40]; tmp -= e0[43]; tmp -= e0[44]; tmp += e0[48]; tmp -= e0[50]; tmp += e0[56];
  cor[322] = tmp; 

  tmp = -e0[0]; tmp -= e0[1]; tmp -= e0[3]; tmp += e0[13]; tmp -= e0[16]; tmp -= e0[20]; tmp += e0[22]; tmp -= e0[25]; tmp -= e0[29]; tmp -= e0[33]; tmp -= e0[38]; tmp -= e0[41]; tmp -= e0[42]; tmp += e0[46]; tmp -= e0[48]; tmp += e0[54];
  cor[321] = tmp; 

  tmp = -e0[1]; tmp += e0[11]; tmp -= e0[14]; tmp -= e0[18]; tmp += e0[20]; tmp -= e0[23]; tmp -= e0[27]; tmp -= e0[31]; tmp -= e0[36]; tmp -= e0[39]; tmp -= e0[40]; tmp += e0[44]; tmp -= e0[46]; tmp += e0[52];
  cor[320] = tmp; 

  tmp = e0[9]; tmp -= e0[12]; tmp -= e0[16]; tmp += e0[18]; tmp -= e0[21]; tmp -= e0[25]; tmp -= e0[29]; tmp -= e0[34]; tmp -= e0[37]; tmp -= e0[38]; tmp += e0[42]; tmp -= e0[44]; tmp += e0[50]; tmp += e0[58]; tmp += e0[59];
  cor[319] = tmp; 

  tmp = e0[7]; tmp -= e0[10]; tmp -= e0[14]; tmp += e0[16]; tmp -= e0[19]; tmp -= e0[23]; tmp -= e0[27]; tmp -= e0[32]; tmp -= e0[35]; tmp -= e0[36]; tmp += e0[40]; tmp -= e0[42]; tmp += e0[48]; tmp += e0[56]; tmp += e0[57];
  cor[318] = tmp; 

  tmp = e0[5]; tmp -= e0[8]; tmp -= e0[12]; tmp += e0[14]; tmp -= e0[17]; tmp -= e0[21]; tmp -= e0[25]; tmp -= e0[30]; tmp -= e0[33]; tmp -= e0[34]; tmp += e0[38]; tmp -= e0[40]; tmp += e0[46]; tmp += e0[54]; tmp += e0[55]; tmp += e0[59];
  cor[317] = tmp; 

  tmp = e0[3]; tmp -= e0[6]; tmp -= e0[10]; tmp += e0[12]; tmp -= e0[15]; tmp -= e0[19]; tmp -= e0[23]; tmp -= e0[28]; tmp -= e0[31]; tmp -= e0[32]; tmp += e0[36]; tmp -= e0[38]; tmp += e0[44]; tmp += e0[52]; tmp += e0[53]; tmp += e0[57]; tmp += e0[58];
  cor[316] = tmp; 

  tmp = e0[1]; tmp -= e0[4]; tmp -= e0[8]; tmp += e0[10]; tmp -= e0[13]; tmp -= e0[17]; tmp -= e0[21]; tmp -= e0[26]; tmp -= e0[29]; tmp -= e0[30]; tmp += e0[34]; tmp -= e0[36]; tmp += e0[42]; tmp += e0[50]; tmp += e0[51]; tmp += e0[55]; tmp += e0[56];
  cor[315] = tmp; 

  tmp = -e0[2]; tmp -= e0[6]; tmp += e0[8]; tmp -= e0[11]; tmp -= e0[15]; tmp -= e0[19]; tmp -= e0[24]; tmp -= e0[27]; tmp -= e0[28]; tmp += e0[32]; tmp -= e0[34]; tmp += e0[40]; tmp += e0[48]; tmp += e0[49]; tmp += e0[53]; tmp += e0[54]; tmp -= e0[58];
  cor[314] = tmp; 

  tmp = -e0[0]; tmp -= e0[4]; tmp += e0[6]; tmp -= e0[9]; tmp -= e0[13]; tmp -= e0[17]; tmp -= e0[22]; tmp -= e0[25]; tmp -= e0[26]; tmp += e0[30]; tmp -= e0[32]; tmp += e0[38]; tmp += e0[46]; tmp += e0[47]; tmp += e0[51]; tmp += e0[52]; tmp -= e0[56];
  cor[313] = tmp; 

  tmp = -e0[2]; tmp += e0[4]; tmp -= e0[7]; tmp -= e0[11]; tmp -= e0[15]; tmp -= e0[20]; tmp -= e0[23]; tmp -= e0[24]; tmp += e0[28]; tmp -= e0[30]; tmp += e0[36]; tmp += e0[44]; tmp += e0[45]; tmp += e0[49]; tmp += e0[50]; tmp -= e0[54];
  cor[312] = tmp; 

  tmp = -e0[0]; tmp += e0[2]; tmp -= e0[5]; tmp -= e0[9]; tmp -= e0[13]; tmp -= e0[18]; tmp -= e0[21]; tmp -= e0[22]; tmp += e0[26]; tmp -= e0[28]; tmp += e0[34]; tmp += e0[42]; tmp += e0[43]; tmp += e0[47]; tmp += e0[48]; tmp -= e0[52]; tmp -= e0[58]; tmp += e0[59];
  cor[311] = tmp; 

  tmp = e0[0]; tmp -= e0[3]; tmp -= e0[7]; tmp -= e0[11]; tmp -= e0[16]; tmp -= e0[19]; tmp -= e0[20]; tmp += e0[24]; tmp -= e0[26]; tmp += e0[32]; tmp += e0[40]; tmp += e0[41]; tmp += e0[45]; tmp += e0[46]; tmp -= e0[50]; tmp -= e0[56]; tmp += e0[57]; tmp += e0[58];
  cor[310] = tmp; 

  tmp = -e0[1]; tmp -= e0[5]; tmp -= e0[9]; tmp -= e0[14]; tmp -= e0[17]; tmp -= e0[18]; tmp += e0[22]; tmp -= e0[24]; tmp += e0[30]; tmp += e0[38]; tmp += e0[39]; tmp += e0[43]; tmp += e0[44]; tmp -= e0[48]; tmp -= e0[54]; tmp += e0[55]; tmp += e0[56];
  cor[309] = tmp; 

  tmp = -e0[3]; tmp -= e0[7]; tmp -= e0[12]; tmp -= e0[15]; tmp -= e0[16]; tmp += e0[20]; tmp -= e0[22]; tmp += e0[28]; tmp += e0[36]; tmp += e0[37]; tmp += e0[41]; tmp += e0[42]; tmp -= e0[46]; tmp -= e0[52]; tmp += e0[53]; tmp += e0[54];
  cor[308] = tmp; 

  tmp = -e0[1]; tmp -= e0[5]; tmp -= e0[10]; tmp -= e0[13]; tmp -= e0[14]; tmp += e0[18]; tmp -= e0[20]; tmp += e0[26]; tmp += e0[34]; tmp += e0[35]; tmp += e0[39]; tmp += e0[40]; tmp -= e0[44]; tmp -= e0[50]; tmp += e0[51]; tmp += e0[52];