a(n)*a(n+8) = a(n+1)*a(n+7) + a(n+2)*a(n+6) - a(n+3)*a(n+5) + a(n+4)^2 for all n in Z.
a(n)*a(n+9) = -a(n+1)*a(n+8) + 3*a(n+2)*a(n+7) + a(n+3)*a(n+6) + a(n+4)*a(n+5) for all n in Z.
0 = + a(n+6)*a(n+3)*a(n) - a(n+6)*a(n+2)*a(n+1) - a(n+5)*a(n+4)*a(n) - a(n+5)*a(n+3)*a(n+1) + 2*a(n+5)*a(n+2)^2 + 2*a(n+4)^2*a(n+1) - 3*a(n+4)*a(n+3)*a(n+2) + a(n+3)^3 for all n in Z.