[ Eq(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),
  Eq(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),
  Eq(1*k13*x4 + 1*k13*x5 + 1*k13*x19, k13*k74),
  Eq(4*k15*x6 + 4*k15*x10 + 4*k13*x14 + 4*k13*x18 + 4*k15*x22 + 4*k13*x24, k13*k76 + k15*k75) ]