TPTP Problem Domain: NUN

`NUN000_5.p`	`NUN001_5.p`	`NUN002_5.p`	`NUN003_5.p`	`NUN004_5.p`	`NUN005_5.p`	`NUN006_5.p`
`NUN007_5.p`	`NUN008_5.p`	`NUN009_5.p`	`NUN010_5.p`	`NUN011_5.p`	`NUN012_5.p`	`NUN013_5.p`
`NUN014_5.p`	`NUN015_5.p`	`NUN016_5.p`	`NUN017_5.p`	`NUN018_5.p`	`NUN019+1.p`	`NUN020+1.p`
`NUN021^1.p`	`NUN022^1.p`	`NUN023^1.p`	`NUN023^2.p`	`NUN024^1.p`	`NUN024^2.p`	`NUN025^1.p`
`NUN025^2.p`	`NUN025^3.p`	`NUN026^1.p`	`NUN027^1.p`	`NUN028^1.p`	`NUN029^1.p`	`NUN030^1.p`
`NUN031^1.p`	`NUN032^1.p`	`NUN033^1.p`	`NUN034^1.p`	`NUN035^1.p`	`NUN036^1.p`	`NUN037^1.p`
`NUN038^1.p`	`NUN039^1.p`	`NUN040^1.p`	`NUN041^1.p`	`NUN042^1.p`	`NUN043^1.p`	`NUN044^1.p`
`NUN045^1.p`	`NUN046^1.p`	`NUN047^1.p`	`NUN048^1.p`	`NUN049^1.p`	`NUN050^1.p`	`NUN051^1.p`
`NUN052^1.p`	`NUN053^4.p`	`NUN054+1.p`	`NUN054+2.p`	`NUN055+1.p`	`NUN055+2.p`	`NUN056+1.p`
`NUN056+2.p`	`NUN057+1.p`	`NUN057+2.p`	`NUN058+1.p`	`NUN058+2.p`	`NUN059+1.p`	`NUN059+2.p`
`NUN060+1.p`	`NUN060+2.p`	`NUN061+1.p`	`NUN061+2.p`	`NUN062+1.p`	`NUN062+2.p`	`NUN063+1.p`
`NUN063+2.p`	`NUN064+1.p`	`NUN064+2.p`	`NUN065+1.p`	`NUN065+2.p`	`NUN066+1.p`	`NUN066+2.p`
`NUN067+1.p`	`NUN067+2.p`	`NUN068+1.p`	`NUN068+2.p`	`NUN069+1.p`	`NUN069+2.p`	`NUN070+1.p`
`NUN070+2.p`	`NUN071+1.p`	`NUN071+2.p`	`NUN072+1.p`	`NUN072+2.p`	`NUN073+1.p`	`NUN073+2.p`
`NUN074+1.p`	`NUN074+2.p`	`NUN075+1.p`	`NUN075+2.p`	`NUN076+1.p`	`NUN076+2.p`	`NUN077+1.p`
`NUN077+2.p`	`NUN078+1.p`	`NUN078+2.p`	`NUN079+1.p`	`NUN079+2.p`	`NUN080+1.p`	`NUN080+2.p`
`NUN081+1.p`	`NUN081+2.p`	`NUN082+1.p`	`NUN082+2.p`	`NUN083+1.p`	`NUN083+2.p`	`NUN084+1.p`
`NUN084+2.p`	`NUN085+1.p`	`NUN085+2.p`	`NUN086+1.p`	`NUN086+2.p`	`NUN087+1.p`	`NUN087+2.p`
`NUN088+1.p`	`NUN088+2.p`	`NUN088+3.p`	`NUN089+1.p`	`NUN089+2.p`	`NUN090+1.p`	`NUN090+2.p`
`NUN091+1.p`	`NUN092+1.p`	`NUN092+2.p`	`NUN093^1.p`	`NUN094^1.p`	`NUN095^1.p`	`NUN096^1.p`
`NUN097^1.p`	`NUN098^1.p`	`NUN099^1.p`	`NUN100^1.p`	`NUN101^1.p`	`NUN102^1.p`	`NUN103^1.p`
`NUN104^1.p`	`NUN105^1.p`	`NUN106^1.p`	`NUN107^1.p`	`NUN108^1.p`	`NUN109^1.p`	`NUN110^1.p`
`NUN111^1.p`	`NUN112^1.p`	`NUN113^1.p`	`NUN114^1.p`	`NUN115^1.p`	`NUN116^1.p`	`NUN117^1.p`
`NUN118^1.p`	`NUN119^1.p`	`NUN120^1.p`	`NUN121^1.p`	`NUN122^1.p`	`NUN123^1.p`	`NUN124^1.p`
`NUN125^1.p`	`NUN126^1.p`	`NUN127^1.p`	`NUN128^1.p`	`NUN129^1.p`	`NUN130^1.p`	`NUN131^1.p`
`NUN132^1.p`	`NUN133-1.p`	`NUN134-1.p`