TSTP Solution File: ALG218+3 by Nitpick---2016