TSTP Solution File: SWW552_5 by Isabelle---2016