TSTP Solution Domain: HAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HAL001+1` 89-61-2-1	`HAL001+2` 89-61-16-10	`HAL002+1` 89-61-30-23	`HAL003+1` 89-65-7-7	`HAL003+2` 89-65-7-7	`HAL003+3` 89-61-41-33	`HAL004+1` 89-61-27-20
`HAL005+1` 89-65-8-8	`HAL006+1` 89-61-24-18	`HAL007+1` 78-62-29-24