{ 1*k62*x1 + 1*k62*x2 + 1*k62*x6 + 1*k62*x8 + 1*k62*x9 + 1*k62*x10 + 1*k62*x11 + 1*k62*x12 + 1*k62*x13 + 1*k62*x14 + 1*k62*x15 + 1*k62*x16 + 1*k62*x17 + 1*k62*x18 + 1*k62*x19 + 1*k62*x20 = k62*k64,
  1*k62*x3 + 1*k62*x4 + 1*k62*x5 + 1*k62*x6 + 1*k62*x8 + 1*k62*x9 + 1*k62*x10 + 1*k62*x11 + 1*k62*x12 + 1*k62*x14 + 1*k62*x15 + 1*k62*x16 + 1*k62*x18 + 1*k62*x19 + 1*k62*x20 = k62*k65,
  1*k62*x3 + 1*k62*x6 + 1*k62*x7 + 1*k62*x8 + 1*k62*x14 + 1*k62*x18 = k62*k66,
  1*k62*x13 + 1*k62*x14 + 1*k62*x15 + 1*k62*x16 + 1*k62*x17 + 1*k62*x18 + 1*k62*x19 + 1*k62*x20 + 1*k63*x21 = k62*k67 + k63*k68 }