% This file was *autogenerated* from 40-sagetex.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %4face86fcebe6eed5bb3284f36c56a9a% 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 2015/08/26 v3.0-92d9f7a %4face86fcebe6eed5bb3284f36c56a9a% md5sum of corresponding .sage file (minus "goboom", "current_tex_line", and pause/unpause lines)