https://ross.ics.uci.edu/jenkins/user/max.sagebaummax.sagebaummax.sagebaum