TSTP Solution File: ITP275_2 by Isabelle---2016