{ 1*k13*x1 + 1*k13*x2 + 1*k13*x5 + 1*k15*x11 + 1*k15*x13 + 1*k13*x16 + 1*k13*x19 + 1*k15*x20 = k13*k70 + k15*k71,
  4*k13*x2 + 4*k13*x5 + 4*k15*x7 + 4*k15*x9 + 4*k15*x10 + 4*k13*x12 + 4*k15*x13 + 4*k13*x14 + 4*k13*x26 = k13*k72 + k15*k73,
  1*k13*x4 + 1*k13*x5 + 1*k13*x19 = k13*k74,
  4*k15*x6 + 4*k15*x10 + 4*k13*x14 + 4*k13*x18 + 4*k15*x22 + 4*k13*x24 = k13*k76 + k15*k75 }