TSTP Solution File: HAL006+1 by Nitpick---2016