Update lab6.krl