[ Eq(x26, Piecewise((k16, Gt(t, k17)), (k15, True))), Eq(1*k18*x2 + 1*k18*x3 + 2*k18*x6 + 1*k18*x7 + 1*k18*x9 + 2*k19*x12 + 1*k19*x13 + 1*k19*x15 + 1*k19*x16 + 1*k19*x19, k18*k22 + k19*k23), Eq(1*k18*x4 + 1*k18*x5 + 1*k18*x9 + 1*k18*x10 + 2*k18*x11 + 1*k19*x17 + 1*k19*x18 + 1*k19*x19 + 1*k19*x20 + 2*k19*x21, k18*k24 + k19*k25), Eq(1*k18*x7 + 1*k18*x8 + 1*k18*x10 + 1*k19*x13 + 1*k19*x14 + 1*k19*x20, k18*k26 + k19*k27), Eq(1*k19*x23 + 1*k19*x24 + 1*k19*x25, k19*k28) ]