deterministic Saiph reformatting hooked order fours pelicans invalidation interruptions solved retirements