TPTP Problem Domain: PRO

`PRO001+1.p`	`PRO001+2.p`	`PRO001+3.p`	`PRO001+4.p`	`PRO002+1.p`	`PRO002+2.p`	`PRO002+3.p`
`PRO002+4.p`	`PRO003+1.p`	`PRO003+2.p`	`PRO003+3.p`	`PRO003+4.p`	`PRO004+1.p`	`PRO004+2.p`
`PRO004+3.p`	`PRO004+4.p`	`PRO005+1.p`	`PRO005+2.p`	`PRO005+3.p`	`PRO005+4.p`	`PRO006+1.p`
`PRO006+2.p`	`PRO006+3.p`	`PRO006+4.p`	`PRO007+1.p`	`PRO007+2.p`	`PRO007+3.p`	`PRO007+4.p`
`PRO008+1.p`	`PRO008+2.p`	`PRO008+3.p`	`PRO008+4.p`	`PRO009+1.p`	`PRO009+2.p`	`PRO009+3.p`
`PRO009+4.p`	`PRO010+1.p`	`PRO010+2.p`	`PRO010+3.p`	`PRO010+4.p`	`PRO011+1.p`	`PRO011+2.p`
`PRO011+3.p`	`PRO011+4.p`	`PRO012+1.p`	`PRO012+2.p`	`PRO012+3.p`	`PRO012+4.p`	`PRO013+1.p`
`PRO013+2.p`	`PRO013+3.p`	`PRO013+4.p`	`PRO014+1.p`	`PRO014+2.p`	`PRO014+3.p`	`PRO014+4.p`
`PRO015+1.p`	`PRO015+2.p`	`PRO015+3.p`	`PRO015+4.p`	`PRO016+1.p`	`PRO016+2.p`	`PRO016+3.p`
`PRO016+4.p`	`PRO017+1.p`	`PRO017+2.p`	`PRO017+3.p`	`PRO017+4.p`	`PRO018+1.p`	`PRO018+2.p`
`PRO018+3.p`	`PRO018+4.p`	`PRO019^1.p`	`PRO020^1.p`	`PRO021^1.p`	`PRO022^1.p`	`PRO023^1.p`
`PRO024^1.p`	`PRO025^1.p`	`PRO026^1.p`	`PRO027^1.p`	`PRO028^1.p`	`PRO029^16.p`	`PRO030_1.p`
`PRO031_1.p`	`PRO032_1.p`	`PRO033_1.p`