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