[ Eq(x10, Piecewise((25, And(Ge(t, 3600), Le(t, 3660))), (0, True))),
  Eq(1*x6 + 1*x7, k65),
  Eq(1*x14 + 1*x16, k66),
  Eq(1*x15 + 1*x17, k67),
  Eq(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),
  Eq(1*x18 + 1*x36 + 1*x37 + 1*x38 + 1*x43 + 1*x51 + 1*x52, k69),
  Eq(1*x39 + 1*x40 + 1*x41, k70) ]