added pregenerated BlahTeX files