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