TSTP Solution File: ALG224+4 by Nitpick---2016