TSTP Solution File: ALG151+1 by Nitpick---2016