TSTP Solution File: SYO451^6 by Isabelle---2016