TSTP Solution File: SWV629_5 by Isabelle-HOT---2016