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