TPTP Problem Domain: TOP

`TOP001-1.p`	`TOP001-2.p`	`TOP002-1.p`	`TOP002-2.p`	`TOP003-1.p`	`TOP003-2.p`	`TOP004-1.p`
`TOP004-2.p`	`TOP005-1.p`	`TOP005-2.p`	`TOP006-1.p`	`TOP007-1.p`	`TOP008-1.p`	`TOP009-1.p`
`TOP010-1.p`	`TOP011-1.p`	`TOP012-1.p`	`TOP013-1.p`	`TOP014-1.p`	`TOP015-1.p`	`TOP016-1.p`
`TOP017-1.p`	`TOP018-1.p`	`TOP019-1.p`	`TOP020+1.p`	`TOP021+1.p`	`TOP022+1.p`	`TOP023+1.p`
`TOP023+2.p`	`TOP023+3.p`	`TOP023+4.p`	`TOP024+1.p`	`TOP024+2.p`	`TOP024+3.p`	`TOP024+4.p`
`TOP025+1.p`	`TOP025+2.p`	`TOP025+3.p`	`TOP025+4.p`	`TOP026+1.p`	`TOP026+2.p`	`TOP026+3.p`
`TOP026+4.p`	`TOP027+1.p`	`TOP027+2.p`	`TOP027+3.p`	`TOP027+4.p`	`TOP028+1.p`	`TOP028+2.p`
`TOP028+3.p`	`TOP028+4.p`	`TOP029+1.p`	`TOP029+2.p`	`TOP029+3.p`	`TOP029+4.p`	`TOP030+1.p`
`TOP030+2.p`	`TOP030+3.p`	`TOP030+4.p`	`TOP031+1.p`	`TOP031+2.p`	`TOP031+3.p`	`TOP031+4.p`
`TOP032+1.p`	`TOP032+2.p`	`TOP032+3.p`	`TOP032+4.p`	`TOP033+1.p`	`TOP033+2.p`	`TOP033+3.p`
`TOP033+4.p`	`TOP034+1.p`	`TOP034+2.p`	`TOP034+3.p`	`TOP034+4.p`	`TOP035+1.p`	`TOP035+2.p`
`TOP035+3.p`	`TOP035+4.p`	`TOP036+1.p`	`TOP036+2.p`	`TOP036+3.p`	`TOP036+4.p`	`TOP037+1.p`
`TOP037+2.p`	`TOP037+3.p`	`TOP037+4.p`	`TOP038+1.p`	`TOP038+2.p`	`TOP038+3.p`	`TOP038+4.p`
`TOP039+1.p`	`TOP039+2.p`	`TOP039+3.p`	`TOP039+4.p`	`TOP040+1.p`	`TOP040+2.p`	`TOP040+3.p`
`TOP040+4.p`	`TOP041+1.p`	`TOP041+2.p`	`TOP041+3.p`	`TOP041+4.p`	`TOP042+1.p`	`TOP042+2.p`
`TOP042+3.p`	`TOP042+4.p`	`TOP043+1.p`	`TOP043+2.p`	`TOP043+3.p`	`TOP043+4.p`	`TOP044+1.p`
`TOP044+2.p`	`TOP044+3.p`	`TOP044+4.p`	`TOP045+1.p`	`TOP045+2.p`	`TOP045+3.p`	`TOP045+4.p`
`TOP046+1.p`	`TOP046+2.p`	`TOP046+3.p`	`TOP046+4.p`	`TOP047+1.p`	`TOP047+2.p`	`TOP047+3.p`
`TOP047+4.p`	`TOP048+1.p`	`TOP048+2.p`	`TOP048+3.p`	`TOP048+4.p`	`TOP049-1.p`	`TOP050-1.p`
`TOP051-1.p`	`TOP052-1.p`	`TOP053-1.p`