Update lab9.sql