Again: 1 is not a prime number.
No longer using nand2v.