TPTP Problem Domain: PRV

`PRV000+1.p`	`PRV000+1.s`	`PRV001+1.p`	`PRV001+1.s`	`PRV002+1.p`	`PRV002+1.s`	`PRV003+1.p`
`PRV003+1.s`	`PRV004+1.p`	`PRV004+1.s`	`PRV005+1.p`	`PRV005+1.s`	`PRV006+1.p`	`PRV006+1.s`
`PRV007+1.p`	`PRV007+1.s`	`PRV008+1.p`	`PRV008+1.s`	`PRV009+1.p`	`PRV009+1.s`	`PRV010+1.p`
`PRV010+1.s`	`PRV011+1.p`	`PRV011+1.s`	`PRV012+1.p`	`PRV012+1.s`	`PRV013+1.p`	`PRV013+1.s`
`PRV014+1.p`	`PRV014+1.s`	`PRV015+1.p`	`PRV015+1.s`	`PRV016+1.p`	`PRV016+1.s`	`PRV017+1.p`
`PRV017+1.s`	`PRV018+1.p`	`PRV018+1.s`	`PRV019+1.p`	`PRV019+1.s`	`PRV020+1.p`	`PRV020+1.s`
`PRV021+1.p`	`PRV021+1.s`	`PRV022+1.p`	`PRV022+1.s`	`PRV023+1.p`	`PRV023+1.s`	`PRV024+1.p`
`PRV024+1.s`	`PRV025+1.p`	`PRV025+1.s`	`PRV026+1.p`	`PRV026+1.s`	`PRV027+1.p`	`PRV027+1.s`
`PRV028+1.p`	`PRV028+1.s`	`PRV029+1.p`	`PRV029+1.s`	`PRV030+1.p`	`PRV030+1.s`	`PRV031+1.p`
`PRV031+1.s`	`PRV032+1.p`	`PRV032+1.s`	`PRV033+1.p`	`PRV033+1.s`	`PRV034+1.p`	`PRV034+1.s`
`PRV035+1.p`	`PRV035+1.s`	`PRV036+1.p`	`PRV036+1.s`	`PRV037+1.p`	`PRV037+1.s`	`PRV038+1.p`
`PRV038+1.s`	`PRV039+1.p`	`PRV039+1.s`	`PRV040+1.p`	`PRV040+1.s`	`PRV041+1.p`	`PRV041+1.s`
`PRV042+1.p`	`PRV042+1.s`	`PRV043+1.p`	`PRV043+1.s`	`PRV044+1.p`	`PRV044+1.s`	`PRV045+1.p`
`PRV045+1.s`	`PRV046+1.p`	`PRV046+1.s`	`PRV047+1.p`	`PRV047+1.s`	`PRV048+1.p`	`PRV048+1.s`
`PRV049+1.p`	`PRV049+1.s`	`PRV050+1.p`	`PRV050+1.s`	`PRV051+1.p`	`PRV051+1.s`	`PRV052+1.p`
`PRV052+1.s`	`PRV053+1.p`	`PRV053+1.s`	`PRV054+1.p`	`PRV054+1.s`	`PRV055+1.p`	`PRV055+1.s`
`PRV056+1.p`	`PRV056+1.s`	`PRV057+1.p`	`PRV057+1.s`	`PRV058+1.p`	`PRV058+1.s`	`PRV059+1.p`
`PRV059+1.s`	`PRV060+1.p`	`PRV060+1.s`	`PRV061+1.p`	`PRV061+1.s`	`PRV062+1.p`	`PRV062+1.s`
`PRV063+1.p`	`PRV063+1.s`	`PRV064+1.p`	`PRV064+1.s`	`PRV065+1.p`	`PRV065+1.s`	`PRV066+1.p`
`PRV066+1.s`	`PRV067+1.p`	`PRV067+1.s`	`PRV068+1.p`	`PRV068+1.s`	`PRV069+1.p`	`PRV069+1.s`
`PRV070+1.p`	`PRV070+1.s`	`PRV071+1.p`	`PRV071+1.s`	`PRV072+1.p`	`PRV072+1.s`	`PRV073+1.p`
`PRV073+1.s`	`PRV074+1.p`	`PRV074+1.s`	`PRV075+1.p`	`PRV075+1.s`	`PRV076+1.p`	`PRV076+1.s`
`PRV077+1.p`	`PRV077+1.s`	`PRV078+1.p`	`PRV078+1.s`	`PRV079+1.p`	`PRV079+1.s`	`PRV080+1.p`
`PRV080+1.s`	`PRV081+1.p`	`PRV081+1.s`	`PRV082+1.p`	`PRV082+1.s`	`PRV083+1.p`	`PRV083+1.s`
`PRV084+1.p`	`PRV084+1.s`	`PRV085+1.p`	`PRV085+1.s`	`PRV086+1.p`	`PRV086+1.s`	`PRV087+1.p`
`PRV087+1.s`	`PRV088+1.p`	`PRV088+1.s`	`PRV089+1.p`	`PRV089+1.s`	`PRV090+1.p`	`PRV090+1.s`
`PRV091+1.p`	`PRV091+1.s`	`PRV092+1.p`	`PRV092+1.s`	`PRV093+1.p`	`PRV093+1.s`	`PRV094+1.p`
`PRV094+1.s`	`PRV095+1.p`	`PRV095+1.s`	`PRV096+1.p`	`PRV096+1.s`	`PRV097+1.p`	`PRV097+1.s`
`PRV098+1.p`	`PRV098+1.s`	`PRV099+1.p`	`PRV099+1.s`