Some puzzle solutions written in python