Project Euler #216: Investigating the primality of numbers of the form 2n² - 1