TSTP Solution Domain: HAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HAL001+1` 99-66-4-3	`HAL001+2` 99-66-14-8	`HAL002+1` 99-66-32-25	`HAL003+1` 99-69-7-7	`HAL003+2` 99-69-7-7	`HAL003+3` 99-66-45-36	`HAL004+1` 99-66-30-22
`HAL005+1` 99-69-8-8	`HAL006+1` 99-66-27-20	`HAL007+1` 88-66-28-25