% This file was *autogenerated* from 40-sagetex.sagetex.sage with % sagetex.py version 2020/08/12 v3.5 %c2b72a4195c6f23b8a54bf4b06fa3b0b% md5sum of corresponding .sage file (minus "goboom", "current_tex_line", and pause/unpause lines)
% This file was *autogenerated* from 40-sagetex.sagetex.sage with % sagetex.py version 2020/08/12 v3.5 %c2b72a4195c6f23b8a54bf4b06fa3b0b% md5sum of corresponding .sage file (minus "goboom", "current_tex_line", and pause/unpause lines)