TSTP Solution File: COM105_5 by Isabelle---2016