TSTP Solution File: ALG218+3 by Refute---2015