Add the full spec and an example solution for hw02