[ 1*x[1] + 1*x[3] + 1*x[4] + 1*x[7] + 1*x[8] + 1*x[10] + 1*x[12] + 1*x[33] = k[44],
  1*x[2] + 1*x[3] + 1*x[4] + 1*x[7] + 1*x[31] = k[45],
  1*x[9] + 1*x[10] + 1*x[32] + 1*x[33] = k[46],
  1*x[11] + 1*x[12] = k[47],
  2*x[15] + 2*x[16] + 2*x[17] + 2*x[18] + 2*x[19] + 1*x[20] + 1*x[23] = k[48],
  2*x[15] + 2*x[16] + 2*x[17] + 2*x[18] + 2*x[19] + 1*x[21] + 1*x[22] + 1*x[23] = k[49],
  1*x[24] + 1*x[25] + 1*x[26] = k[50],
  1*x[29] + 1*x[30] = k[51] ]