Update lab1.pl