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