TSTP Solution File: ALG066+1 by Gandalf---c-2.6