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