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