TSTP Solution File: TOP031+2 by Isabelle---2016