TPTP Problem Domain: BOO

`BOO001-1.p`	`BOO002-1.p`	`BOO002-2.p`	`BOO003-1.p`	`BOO003-2.p`	`BOO003-4.p`	`BOO004-10.p`
`BOO004-1.p`	`BOO004-2.p`	`BOO004-4.p`	`BOO005-1.p`	`BOO005-2.p`	`BOO005-4.p`	`BOO006-1.p`
`BOO006-2.p`	`BOO006-4.p`	`BOO007-1.p`	`BOO007-2.p`	`BOO007-4.p`	`BOO008-10.p`	`BOO008-1.p`
`BOO008-2.p`	`BOO008-3.p`	`BOO008-4.p`	`BOO009-1.p`	`BOO009-2.p`	`BOO009-4.p`	`BOO010-1.p`
`BOO010-2.p`	`BOO010-4.p`	`BOO011-1.p`	`BOO011-2.p`	`BOO011-4.p`	`BOO012-1.p`	`BOO012-2.p`
`BOO012-3.p`	`BOO012-4.p`	`BOO013-1.p`	`BOO013-2.p`	`BOO013-3.p`	`BOO013-4.p`	`BOO014-10.p`
`BOO014-1.p`	`BOO014-2.p`	`BOO014-3.p`	`BOO014-4.p`	`BOO015-10.p`	`BOO015-1.p`	`BOO015-2.p`
`BOO015-4.p`	`BOO016-1.p`	`BOO016-2.p`	`BOO017-10.p`	`BOO017-1.p`	`BOO017-2.p`	`BOO018-4.p`
`BOO019-1.p`	`BOO020-1.p`	`BOO021-1.p`	`BOO022-1.p`	`BOO023-1.p`	`BOO024-1.p`	`BOO025-1.p`
`BOO026-1.p`	`BOO027-1.p`	`BOO028-1.p`	`BOO029-1.p`	`BOO030-1.p`	`BOO031-1.p`	`BOO032-1.p`
`BOO033-1.p`	`BOO034-1.p`	`BOO035-1.p`	`BOO036-1.p`	`BOO037-1.p`	`BOO037-2.p`	`BOO037-3.p`
`BOO038-1.p`	`BOO039-1.p`	`BOO040-1.p`	`BOO041-1.p`	`BOO042-1.p`	`BOO043-1.p`	`BOO044-1.p`
`BOO045-1.p`	`BOO046-10.p`	`BOO046-1.p`	`BOO047-10.p`	`BOO047-1.p`	`BOO048-1.p`	`BOO049-1.p`
`BOO050-1.p`	`BOO051-10.p`	`BOO051-1.p`	`BOO052-1.p`	`BOO053-1.p`	`BOO054-1.p`	`BOO055-1.p`
`BOO056-10.p`	`BOO056-1.p`	`BOO057-10.p`	`BOO057-1.p`	`BOO058-1.p`	`BOO059-1.p`	`BOO060-1.p`
`BOO061-1.p`	`BOO066-1.p`	`BOO067-1.p`	`BOO068-1.p`	`BOO069-1.p`	`BOO070-1.p`	`BOO071-1.p`
`BOO072-1.p`	`BOO073-1.p`	`BOO074-1.p`	`BOO075-1.p`	`BOO076-1.p`	`BOO077-1.p`	`BOO078-1.p`
`BOO079-1.p`	`BOO080-1.p`	`BOO081-1.p`	`BOO082-1.p`	`BOO083-1.p`	`BOO084-1.p`	`BOO085-1.p`
`BOO086-1.p`	`BOO087-1.p`	`BOO088-1.p`	`BOO089-1.p`	`BOO090-1.p`	`BOO091-1.p`	`BOO092-1.p`
`BOO093-1.p`	`BOO094-1.p`	`BOO095-1.p`	`BOO096-1.p`	`BOO097-1.p`	`BOO098-1.p`	`BOO099-1.p`
`BOO100-1.p`	`BOO101-1.p`	`BOO102-1.p`	`BOO103-1.p`	`BOO104-1.p`	`BOO105-1.p`	`BOO106-1.p`
`BOO107-1.p`	`BOO108-1.p`	`BOO109+1.p`