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