Push correct lab4.sql file because the previous one pushed was incomplete and containted mistakes