TSTP Solution File: SYO140^5 by Isabelle---2016