TSTP Solution File: COM040_5 by Isabelle---2016