{ 1*k1*x3 + 1*k1*x4 = k1*k62,
  1*k1*x5 + 1*k1*x6 = k1*k63,
  1*k1*x7 + 1*k1*x8 = k1*k64,
  1*k1*x9 + 1*k1*x10 = k1*k65,
  1*k1*x11 + 1*k1*x12 = k1*k66,
  1*k1*x13 + 1*k1*x14 = k1*k67,
  1*k1*x15 + 1*k1*x16 = k1*k68,
  1*k1*x17 + 1*k1*x18 = k1*k69,
  1*k1*x20 + 1*k1*x21 = k1*k70,
  1*k1*x22 + 1*k1*x23 = k1*k71,
  1*k1*x24 + 1*k1*x25 = k1*k72 }