{ x26 = piecewise(k16, t > k17, k15),
  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,
  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,
  1*k18*x7 + 1*k18*x8 + 1*k18*x10 + 1*k19*x13 + 1*k19*x14 + 1*k19*x20 = k18*k26 + k19*k27,
  1*k19*x23 + 1*k19*x24 + 1*k19*x25 = k19*k28 }