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