TSTP Solution File: ARI659_1 by Isabelle---2016