% This file was *autogenerated* from minimal.sagetex.sage with % sagetex.py version 2012/01/16 v2.3.3-69dcb0eb93de %732aa74deae2f81c5234a2022b00170a% md5sum of corresponding .sage file (minus "goboom" and pause/unpause lines)
