TPTP Problem Domain: CAT

`CAT001-10.p`	`CAT001-1.p`	`CAT001-2.p`	`CAT001-3.p`	`CAT001-4.p`	`CAT002-10.p`	`CAT002-1.p`
`CAT002-2.p`	`CAT002-3.p`	`CAT002-4.p`	`CAT003-1.p`	`CAT003-2.p`	`CAT003-3.p`	`CAT003-4.p`
`CAT004-1.p`	`CAT004-2.p`	`CAT004-3.p`	`CAT004-4.p`	`CAT005-1.p`	`CAT005-3.p`	`CAT005-4.p`
`CAT006-1.p`	`CAT006-3.p`	`CAT006-4.p`	`CAT007-1.p`	`CAT007-3.p`	`CAT008-1.p`	`CAT009-1.p`
`CAT009-3.p`	`CAT009-4.p`	`CAT010-10.p`	`CAT010-1.p`	`CAT010-4.p`	`CAT011-1.p`	`CAT011-2.p`
`CAT011-3.p`	`CAT011-4.p`	`CAT012-1.p`	`CAT012-3.p`	`CAT012-4.p`	`CAT013-1.p`	`CAT013-3.p`
`CAT013-4.p`	`CAT014-1.p`	`CAT014-2.p`	`CAT014-3.p`	`CAT014-4.p`	`CAT015-3.p`	`CAT015-4.p`
`CAT016-3.p`	`CAT016-4.p`	`CAT017-3.p`	`CAT017-4.p`	`CAT018-1.p`	`CAT018-3.p`	`CAT018-4.p`
`CAT019-10.p`	`CAT019-1.p`	`CAT019-2.p`	`CAT019-3.p`	`CAT019-4.p`	`CAT019-5.p`	`CAT019-6.rm`
`CAT020-1.p`	`CAT020-2.p`	`CAT020-3.p`	`CAT020-4.p`	`CAT021+1.p`	`CAT021+2.p`	`CAT021+3.p`
`CAT021+4.p`	`CAT022+1.p`	`CAT022+2.p`	`CAT022+3.p`	`CAT022+4.p`	`CAT023+1.p`	`CAT023+2.p`
`CAT023+3.p`	`CAT023+4.p`	`CAT024+1.p`	`CAT024+2.p`	`CAT024+3.p`	`CAT024+4.p`	`CAT025+1.p`
`CAT025+2.p`	`CAT025+3.p`	`CAT025+4.p`	`CAT026+1.p`	`CAT026+2.p`	`CAT026+3.p`	`CAT026+4.p`
`CAT027+1.p`	`CAT027+2.p`	`CAT027+3.p`	`CAT027+4.p`	`CAT028+1.p`	`CAT028+2.p`	`CAT028+3.p`
`CAT028+4.p`	`CAT029+1.p`	`CAT029+2.p`	`CAT029+3.p`	`CAT029+4.p`	`CAT030+1.p`	`CAT030+2.p`
`CAT030+3.p`	`CAT030+4.p`	`CAT031+1.p`	`CAT031+2.p`	`CAT031+3.p`	`CAT031+4.p`	`CAT032+1.p`
`CAT032+2.p`	`CAT032+3.p`	`CAT032+4.p`	`CAT033+1.p`	`CAT033+2.p`	`CAT033+3.p`	`CAT033+4.p`
`CAT034+1.p`	`CAT034+2.p`	`CAT034+3.p`	`CAT034+4.p`	`CAT035+1.p`	`CAT035+2.p`	`CAT035+3.p`
`CAT035+4.p`	`CAT036+1.p`	`CAT036+2.p`	`CAT036+3.p`	`CAT036+4.p`	`CAT037+1.p`	`CAT037+2.p`
`CAT037+3.p`	`CAT037+4.p`	`CAT038^1.p`	`CAT038^2.p`