TSTP Solution Domain: HEN

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HEN001-1` 89-54-50-34	`HEN001-3` 89-54-49-34	`HEN001-5` 89-53-44-32	`HEN002-1` 89-54-50-34	`HEN002-2` 89-54-49-33	`HEN002-3` 89-54-49-34	`HEN002-4` 89-54-49-34
`HEN002-5` 89-53-44-32	`HEN003-1` 89-54-33-24	`HEN003-2` 89-54-32-25	`HEN003-3` 89-54-41-31	`HEN003-4` 89-54-42-32	`HEN003-5` 89-53-34-27	`HEN004-1` 89-54-25-21
`HEN004-2` 89-54-26-22	`HEN004-3` 89-54-36-29	`HEN004-4` 89-54-37-28	`HEN004-5` 89-53-35-28	`HEN004-6` 89-54-35-28	`HEN005-1` 89-54-29-24	`HEN005-2` 89-54-36-27
`HEN005-3` 89-54-36-27	`HEN005-4` 89-54-34-26	`HEN005-5` 89-53-33-26	`HEN005-6` 89-54-33-27	`HEN006-1` 89-54-25-21	`HEN006-2` 89-54-26-20	`HEN006-3` 89-54-31-25
`HEN006-4` 89-54-36-28	`HEN006-5` 89-53-30-24	`HEN006-6` 89-54-31-25	`HEN006-7` 89-54-27-21	`HEN007-1` 89-54-24-21	`HEN007-2` 89-54-39-29	`HEN007-3` 89-54-32-26
`HEN007-4` 89-54-44-33	`HEN007-5` 89-53-32-25	`HEN007-6` 89-54-35-25	`HEN008-1` 89-54-35-25	`HEN008-2` 89-54-33-23	`HEN008-3` 89-54-38-30	`HEN008-4` 89-54-41-31
`HEN008-5` 89-53-37-28	`HEN008-6` 89-54-40-30	`HEN009-1` 89-54-25-21	`HEN009-2` 89-54-41-28	`HEN009-3` 89-54-30-24	`HEN009-4` 89-54-39-30	`HEN009-5` 89-53-36-29
`HEN009-6` 89-54-31-23	`HEN010-1` 89-54-25-21	`HEN010-10` 77-53-17-15	`HEN010-2` 89-54-35-25	`HEN010-3` 89-54-29-23	`HEN010-4` 89-54-39-30	`HEN010-5` 89-53-32-25
`HEN010-6` 89-54-36-28	`HEN010-7` 89-54-34-25	`HEN011-1` 89-54-19-16	`HEN011-2` 89-54-20-15	`HEN011-3` 89-54-26-19	`HEN011-4` 89-54-31-23	`HEN011-5` 89-53-26-20
`HEN012-1` 89-54-31-24	`HEN012-3` 89-54-41-30	`HEN013-1` 89-56-18-13	`HEN013-2` 89-56-18-12	`HEN013-3` 89-56-17-13