Implement `src/Lab.sol` and `test/Lab.t.sol` using lab.md, then compare with ../solution.