TSTP Solution File: LAT310+2 by Refute---2015