## -*- encoding: utf-8 -*-1## This file (2016-09-23-084958.sagetex.sage) was *autogenerated* from 2016-09-23-084958.tex with sagetex.sty version 2015/08/26 v3.0-92d9f7a.2import sagetex3_st_ = sagetex.SageTeXProcessor('2016-09-23-084958', version='2015/08/26 v3.0-92d9f7a', version_check=True)4try:5_st_.current_tex_line = 96_st_.inline(0, latex(2+4))7except:8_st_.goboom(9)9_st_.endofdoc()101112