is (11^(2^18)-2) prime