a6z8 + a4z8 + a7z7 + 2a5z7 + a3z7−6a6z6−6a4z6−6a7z5−11a5z5−5a3z5 + 11a6z4 + 12a4z4 + a2z4 + 10a7z3 + 16a5z3 + 6a3z3−8a6z2−12a4z2−4a2z2−4a7z−6a5z−2a3z + 2a6 + 4a4 + 2a2 + 1