TSTP Solution Domain: HAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HAL001+1` 97-64-3-2	`HAL001+2` 97-64-13-7	`HAL002+1` 97-64-30-24	`HAL003+1` 97-67-7-7	`HAL003+2` 97-67-7-7	`HAL003+3` 97-64-43-35	`HAL004+1` 97-64-28-21
`HAL005+1` 97-67-8-8	`HAL006+1` 97-64-25-19	`HAL007+1` 86-64-28-25