TSTP Solution File: LAT130-1 by SRASS---0.1