TSTP Solution Domain: HAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HAL001+1` 94-61-3-2	`HAL001+2` 94-61-12-6	`HAL002+1` 94-61-27-21	`HAL003+1` 94-64-5-5	`HAL003+2` 94-64-5-5	`HAL003+3` 94-61-40-32	`HAL004+1` 94-61-25-18
`HAL005+1` 94-64-6-6	`HAL006+1` 94-61-22-16	`HAL007+1` 83-61-26-23