{ 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,
  1*k5*x10 + 1*k5*x11 = k5*k28,
  1*k5*x12 + 1*k5*x13 = k5*k29,
  1*k5*x12 + 1*k6*x16 + 1*k6*x17 + 1*k6*x19 = k5*k30 + k6*k31 }