TPTP Problem Domain: REL

`REL001+1.p`	`REL001-1.p`	`REL002+1.p`	`REL002-1.p`	`REL003+1.p`	`REL003-1.p`	`REL004+1.p`
`REL004-1.p`	`REL004+2.p`	`REL004-2.p`	`REL004+3.p`	`REL004-3.p`	`REL005+1.p`	`REL005-1.p`
`REL005+2.p`	`REL005-2.p`	`REL005+3.p`	`REL005-3.p`	`REL005+4.p`	`REL005-4.p`	`REL006+1.p`
`REL006-1.p`	`REL007+1.p`	`REL007-1.p`	`REL008+1.p`	`REL008-1.p`	`REL008+2.p`	`REL008-2.p`
`REL008+3.p`	`REL008-3.p`	`REL008+4.p`	`REL008-4.p`	`REL009+1.p`	`REL009-1.p`	`REL009+2.p`
`REL009-2.p`	`REL010+1.p`	`REL010-1.p`	`REL010+2.p`	`REL010-2.p`	`REL011+1.p`	`REL011-1.p`
`REL011+2.p`	`REL011-2.p`	`REL012+1.p`	`REL012-1.p`	`REL012+2.p`	`REL012-2.p`	`REL013+1.p`
`REL013-1.p`	`REL014+1.p`	`REL014-1.p`	`REL015+1.p`	`REL015-1.p`	`REL016-10.p`	`REL016+1.p`
`REL016-1.p`	`REL016+2.p`	`REL016-2.p`	`REL016+3.p`	`REL016-3.p`	`REL016+4.p`	`REL016-4.p`
`REL017+1.p`	`REL017-1.p`	`REL017+2.p`	`REL017-2.p`	`REL017+3.p`	`REL017-3.p`	`REL017+4.p`
`REL017-4.p`	`REL018+1.p`	`REL018-1.p`	`REL019+1.p`	`REL019-1.p`	`REL019+2.p`	`REL019-2.p`
`REL020+1.p`	`REL020-1.p`	`REL020+2.p`	`REL020-2.p`	`REL021+1.p`	`REL021-1.p`	`REL021+2.p`
`REL021-2.p`	`REL022+1.p`	`REL022-1.p`	`REL022+2.p`	`REL022-2.p`	`REL023+1.p`	`REL023-1.p`
`REL023+2.p`	`REL023-2.p`	`REL024+1.p`	`REL024-1.p`	`REL024+2.p`	`REL024-2.p`	`REL025+1.p`
`REL025-1.p`	`REL025+2.p`	`REL025-2.p`	`REL026+1.p`	`REL026-1.p`	`REL026+2.p`	`REL026-2.p`
`REL026+3.p`	`REL026-3.p`	`REL026+4.p`	`REL026-4.p`	`REL027+1.p`	`REL027-1.p`	`REL027+2.p`
`REL027-2.p`	`REL027+3.p`	`REL027-3.p`	`REL027+4.p`	`REL027-4.p`	`REL028+1.p`	`REL028-1.p`
`REL028+2.p`	`REL028-2.p`	`REL029-10.p`	`REL029+1.p`	`REL029-1.p`	`REL029+2.p`	`REL029-2.p`
`REL029+3.p`	`REL029-3.p`	`REL029+4.p`	`REL029-4.p`	`REL030+1.p`	`REL030-1.p`	`REL030+2.p`
`REL030-2.p`	`REL030+3.p`	`REL030-3.p`	`REL030+4.p`	`REL030-4.p`	`REL031+1.p`	`REL031-1.p`
`REL031+2.p`	`REL031-2.p`	`REL032+1.p`	`REL032-1.p`	`REL032+2.p`	`REL032-2.p`	`REL033+1.p`
`REL033-1.p`	`REL033+2.p`	`REL033-2.p`	`REL033+3.p`	`REL033-3.p`	`REL033+4.p`	`REL033-4.p`
`REL034+1.p`	`REL034-1.p`	`REL034+2.p`	`REL034-2.p`	`REL035+1.p`	`REL035-1.p`	`REL035+2.p`
`REL035-2.p`	`REL036+1.p`	`REL036-1.p`	`REL036+2.p`	`REL036-2.p`	`REL037+1.p`	`REL037-1.p`
`REL037+2.p`	`REL037-2.p`	`REL038+1.p`	`REL038-1.p`	`REL039+1.p`	`REL039-1.p`	`REL040-10.p`
`REL040+1.p`	`REL040-1.p`	`REL040+2.p`	`REL040-2.p`	`REL040+3.p`	`REL040-3.p`	`REL040+4.p`
`REL040-4.p`	`REL041+1.p`	`REL041-1.p`	`REL041+2.p`	`REL041-2.p`	`REL042+1.p`	`REL042-1.p`
`REL042+2.p`	`REL042-2.p`	`REL043+1.p`	`REL043-1.p`	`REL043+2.p`	`REL043-2.p`	`REL044+1.p`
`REL044-1.p`	`REL044+2.p`	`REL044-2.p`	`REL045+1.p`	`REL045-1.p`	`REL045+2.p`	`REL045-2.p`
`REL046+1.p`	`REL046-1.p`	`REL047+1.p`	`REL047-1.p`	`REL048+1.p`	`REL048-1.p`	`REL049+1.p`
`REL049-1.p`	`REL050+1.p`	`REL050-1.p`	`REL050+2.p`	`REL050-2.p`	`REL050+3.p`	`REL050-3.p`
`REL050+4.p`	`REL050-4.p`	`REL051+1.p`	`REL052+1.p`	`REL053+1.p`	`REL053-1.p`