TSTP Solution File: HAL003+3 by DCTP---1.31