% This file was *autogenerated* from SageTex.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %ed2de3e90329b5065ae6ee905f144459% md5sum of corresponding .sage file (minus "goboom", "current_tex_line", and pause/unpause lines)
% This file was *autogenerated* from SageTex.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %ed2de3e90329b5065ae6ee905f144459% md5sum of corresponding .sage file (minus "goboom", "current_tex_line", and pause/unpause lines)