TSTP Solution File: ITP232^4 by Nitpick---2016