## -*- encoding: utf-8 -*-12# This file was *autogenerated* from the file german.sagetex.sage3from sage.all_cmdline import * # import sage library45_sage_const_39 = Integer(39); _sage_const_2 = Integer(2); _sage_const_0 = Integer(0)## This file (german.sagetex.sage) was *autogenerated* from german.tex with sagetex.sty version 2015/08/26 v3.0-92d9f7a.6import sagetex7_st_ = sagetex.SageTeXProcessor('german', version='2015/08/26 v3.0-92d9f7a', version_check=True)8try:9_st_.current_tex_line = _sage_const_3910_st_.inline(_sage_const_0 , latex(_sage_const_2 +_sage_const_2 ))11except:12_st_.goboom(_sage_const_39 )13_st_.endofdoc()14151617