TPTP Problem Domain: HEN

`HEN001-1.p`	`HEN001-3.p`	`HEN001-5.p`	`HEN002-1.p`	`HEN002-2.p`	`HEN002-3.p`	`HEN002-4.p`
`HEN002-5.p`	`HEN003-1.p`	`HEN003-2.p`	`HEN003-3.p`	`HEN003-4.p`	`HEN003-5.p`	`HEN004-1.p`
`HEN004-2.p`	`HEN004-3.p`	`HEN004-4.p`	`HEN004-5.p`	`HEN004-6.p`	`HEN005-1.p`	`HEN005-2.p`
`HEN005-3.p`	`HEN005-4.p`	`HEN005-5.p`	`HEN005-6.p`	`HEN006-1.p`	`HEN006-2.p`	`HEN006-3.p`
`HEN006-4.p`	`HEN006-5.p`	`HEN006-6.p`	`HEN006-7.p`	`HEN007-1.p`	`HEN007-2.p`	`HEN007-3.p`
`HEN007-4.p`	`HEN007-5.p`	`HEN007-6.p`	`HEN008-1.p`	`HEN008-2.p`	`HEN008-3.p`	`HEN008-4.p`
`HEN008-5.p`	`HEN008-6.p`	`HEN009-1.p`	`HEN009-2.p`	`HEN009-3.p`	`HEN009-4.p`	`HEN009-5.p`
`HEN009-6.p`	`HEN010-10.p`	`HEN010-1.p`	`HEN010-2.p`	`HEN010-3.p`	`HEN010-4.p`	`HEN010-5.p`
`HEN010-6.p`	`HEN010-7.p`	`HEN011-1.p`	`HEN011-2.p`	`HEN011-3.p`	`HEN011-4.p`	`HEN011-5.p`
`HEN012-1.p`	`HEN012-3.p`	`HEN013-1.p`	`HEN013-2.p`	`HEN013-3.p`