Carmicheal hardcoded