TSTP Solution File: SWW603_2 by Isabelle---2016