File formats related to SageMath