TSTP Solution File: LAT382+1 by Refute---2015