Update lab6Combined.v