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