Update lab6_2.krl