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