{ x10 = piecewise(25, and(t >= 3600, t <= 3660), 0),
  1*x6 + 1*x7 = k65,
  1*x14 + 1*x16 = k66,
  1*x15 + 1*x17 = k67,
  1*x16 + 1*x17 + 1*x19 + 1*x23 + 2*x24 + 3*x25 + 4*x26 + 4*x27 + 1*x28 + 2*x29 + 3*x30 + 4*x31 + 1*x32 + 2*x33 + 3*x34 + 4*x35 + 4*x36 + 4*x37 + 4*x38 = k68,
  1*x18 + 1*x36 + 1*x37 + 1*x38 + 1*x43 + 1*x51 + 1*x52 = k69,
  1*x39 + 1*x40 + 1*x41 = k70 }