A fork of the official sage project for AUTH experimentation