Fixed thurston lifting, except bad BRUTEFORCEFACTORIZATION@