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