{ 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 }