{ x26 = k60*x11 + k60*x13,
  x27 = k61*x12 + k61*x13,
  x28 = k65*x15,
  x29 = k64*x18 + k64*x19,
  x30 = k63*x17 + k63*x19,
  x31 = k66*x25,
  x32 = k68*x21 + k68*x23,
  x33 = k67*x22 + k67*x23,
  x34 = k62*x5 }