TSTP Solution File: ALG226+2 by Nitpick---2016