Solutions to CS194 problems (Hilfinger's Programming for Blood)