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