TSTP Solution File: COM126+1 by Refute---2015