Ctfl-aut ⚡ Full Version