TSTP Solution Domain: HEN

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`HEN001-1` 98-57-52-36	`HEN001-3` 98-57-51-36	`HEN001-5` 98-56-46-34	`HEN002-1` 98-57-52-36	`HEN002-2` 98-57-52-36	`HEN002-3` 98-57-51-36	`HEN002-4` 98-57-51-36
`HEN002-5` 98-56-46-34	`HEN003-1` 98-57-36-27	`HEN003-2` 98-57-36-29	`HEN003-3` 98-57-44-34	`HEN003-4` 98-57-43-33	`HEN003-5` 98-56-40-33	`HEN004-1` 98-57-26-22
`HEN004-2` 98-57-28-24	`HEN004-3` 98-57-38-30	`HEN004-4` 98-57-39-30	`HEN004-5` 98-56-39-32	`HEN004-6` 98-57-36-29	`HEN005-1` 98-57-31-25	`HEN005-2` 98-57-37-28
`HEN005-3` 98-57-36-27	`HEN005-4` 98-57-36-28	`HEN005-5` 98-56-37-30	`HEN005-6` 98-57-36-29	`HEN006-1` 98-57-27-22	`HEN006-2` 98-57-27-21	`HEN006-3` 98-57-34-27
`HEN006-4` 98-57-37-29	`HEN006-5` 98-56-32-26	`HEN006-6` 98-57-34-27	`HEN006-7` 98-57-28-22	`HEN007-1` 98-57-26-22	`HEN007-2` 98-57-42-32	`HEN007-3` 98-57-34-27
`HEN007-4` 98-57-46-35	`HEN007-5` 98-56-35-28	`HEN007-6` 98-57-38-28	`HEN008-1` 98-57-41-30	`HEN008-2` 98-57-35-25	`HEN008-3` 98-57-43-34	`HEN008-4` 98-57-45-35
`HEN008-5` 98-56-40-31	`HEN008-6` 98-57-44-34	`HEN009-1` 98-57-27-22	`HEN009-2` 98-57-44-31	`HEN009-3` 98-57-33-26	`HEN009-4` 98-57-41-32	`HEN009-5` 98-56-38-31
`HEN009-6` 98-57-33-25	`HEN010-1` 98-57-27-22	`HEN010-10` 86-56-16-13	`HEN010-2` 98-57-37-27	`HEN010-3` 98-57-32-25	`HEN010-4` 98-57-40-31	`HEN010-5` 98-56-34-27
`HEN010-6` 98-57-38-30	`HEN010-7` 98-57-36-27	`HEN011-1` 98-57-20-16	`HEN011-2` 98-57-21-15	`HEN011-3` 98-57-28-20	`HEN011-4` 98-57-33-25	`HEN011-5` 98-56-26-20
`HEN012-1` 98-57-36-29	`HEN012-3` 98-57-44-33	`HEN013-1` 98-59-17-14	`HEN013-2` 98-59-17-13	`HEN013-3` 98-59-16-13