#!/usr/bin/env python3 import sys from sage.doctest.__main__ import main if __name__ == "__main__": sys.exit(main())