Is 1 genocchi prime?