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