{ 4*k1*x1 + 4*k1*x5 + 4*k1*x6 + 2*k1*x7 + 4*k1*x8 + 4*k1*x9 + 2*k1*x10 + 4*k1*x12 + 4*k1*x13 + 8*k1*x14 + 2*k1*x15 + 2*k1*x16 + 2*k2*x19 + 4*k2*x21 + 6*k2*x22 + 4*k2*x23 + 8*k2*x24 + 2*k2*x25 = k1*k115 + k2*k116,
  4*k1*x1 + 4*k1*x5 + 4*k1*x6 + 2*k1*x7 + 2*k1*x8 + 2*k1*x9 + 2*k1*x12 + 2*k1*x13 + 4*k1*x14 + 4*k1*x15 + 4*k1*x16 + 2*k2*x19 + 2*k2*x20 + 2*k2*x21 + 4*k2*x22 + 4*k2*x23 + 4*k2*x24 + 4*k2*x25 = k1*k117 + k2*k118,
  4*k1*x1 + 4*k1*x5 + 4*k1*x6 + 2*k1*x7 + 2*k1*x8 + 2*k1*x9 + 2*k1*x12 + 4*k1*x14 + 4*k1*x15 + 4*k1*x16 + 2*k2*x19 + 4*k2*x22 + 4*k2*x23 + 4*k2*x24 + 4*k2*x25 + 2*k2*x26 = k1*k119 + k2*k120,
  2*k1*x1 + 2*k1*x5 + 2*k1*x6 + 1*k1*x7 + 1*k1*x11 + 3*k1*x15 + 3*k1*x16 + 1*k2*x19 + 2*k2*x20 + 1*k2*x22 + 2*k2*x23 + 3*k2*x25 = k1*k121 + k2*k122,
  1*k1*x2 + 1*k1*x3 = k1*k123,
  1*k1*x10 + 1*k1*x11 = k1*k124,
  1*k1*x13 + 1*k1*x17 = k1*k125 }