TSTP Solution Domain: HAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HAL001+1` 97-65-3-2	`HAL001+2` 97-65-14-8	`HAL002+1` 97-65-32-26	`HAL003+1` 97-69-7-7	`HAL003+2` 97-69-7-7	`HAL003+3` 97-65-45-37	`HAL004+1` 97-65-30-23
`HAL005+1` 97-69-7-7	`HAL006+1` 97-65-27-21	`HAL007+1` 86-66-28-24