[ Eq(1728*k5*x1 + 864*k5*x2 + 864*k5*x3 + 864*k5*x4 + 864*k5*x6 + 864*k5*x7 + 864*k5*x8 + 864*k5*x10 + 864*k5*x14, k5*k27),
  Eq(1*k5*x10 + 1*k5*x11, k5*k28),
  Eq(1*k5*x12 + 1*k5*x13, k5*k29),
  Eq(1*k5*x12 + 1*k6*x16 + 1*k6*x17 + 1*k6*x19, k5*k30 + k6*k31) ]