answered 12 years ago
It's a bzip2'ed file - apparently a tar.bz2 file, to be precise. See http://ask.sagemath.org/question/961/large-worksheet-upload-to-notebook, among others.
tar.bz2