lab1 tex