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