(1+isqrt(3))^6