[ x[10] = piecewise(And(t >= 3600, t <= 3660), 25, 0),
  1*x[6] + 1*x[7] = k[65],
  1*x[14] + 1*x[16] = k[66],
  1*x[15] + 1*x[17] = k[67],
  1*x[16] + 1*x[17] + 1*x[19] + 1*x[23] + 2*x[24] + 3*x[25] + 4*x[26] + 4*x[27] + 1*x[28] + 2*x[29] + 3*x[30] + 4*x[31] + 1*x[32] + 2*x[33] + 3*x[34] + 4*x[35] + 4*x[36] + 4*x[37] + 4*x[38] = k[68],
  1*x[18] + 1*x[36] + 1*x[37] + 1*x[38] + 1*x[43] + 1*x[51] + 1*x[52] = k[69],
  1*x[39] + 1*x[40] + 1*x[41] = k[70] ]