Update lab1.krl