Solutions to exercises in TI III (2012/13)