TSTP Solution Domain: HAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HAL001+1` 100-64-3-2	`HAL001+2` 100-64-14-8	`HAL002+1` 100-64-32-25	`HAL003+1` 100-68-7-7	`HAL003+2` 100-68-7-7	`HAL003+3` 100-64-45-36	`HAL004+1` 100-64-30-22
`HAL005+1` 100-68-8-8	`HAL006+1` 100-64-27-20	`HAL007+1` 89-65-28-24