{ 1*k2*x4 + 1*k2*x5 + 1*k2*x7 = k2*k51,
  1*k2*x4 + 1*k2*x6 + 1*k2*x9 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24 + 1*k2*x33 = k2*k52,
  1*k2*x8 + 1*k2*x9 + 1*k2*x10 + 1*k2*x12 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24 = k2*k53,
  1*k2*x8 + 1*k2*x9 + 1*k2*x11 + 1*k2*x12 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24 = k2*k54,
  1*k2*x8 + 1*k2*x9 + 1*k2*x13 + 1*k2*x15 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24 = k2*k55,
  1*k2*x8 + 1*k2*x9 + 1*k2*x14 + 1*k2*x15 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x23 + 1*k2*x24 + 1*k2*x26 = k2*k56,
  1*k2*x16 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24 = k2*k57,
  1*k2*x25 + 1*k2*x26 = k2*k58,
  1*k2*x27 + 1*k2*x28 + 1*k1*x29 = k1*k60 + k2*k59,
  1*k2*x30 + 1*k2*x31 + 1*k2*x32 + 1*k2*x33 + 1*k2*x34 = k2*k61,
  1*k2*x34 + 1*k2*x35 = k2*k62 }