TPTP Problem Domain: RNG

`RNG001-10.p`	`RNG001-1.p`	`RNG001-2.p`	`RNG001-3.p`	`RNG001-4.p`	`RNG001-5.p`	`RNG002-1.p`
`RNG003-1.p`	`RNG004-10.p`	`RNG004-1.p`	`RNG004-2.p`	`RNG004-3.p`	`RNG005-1.p`	`RNG005-2.p`
`RNG006-10.p`	`RNG006-1.p`	`RNG006-2.p`	`RNG006-3.p`	`RNG007-1.p`	`RNG007-4.p`	`RNG007-5.p`
`RNG008-1.p`	`RNG008-2.p`	`RNG008-3.p`	`RNG008-4.p`	`RNG008-5.p`	`RNG008-6.p`	`RNG008-7.p`
`RNG009-5.p`	`RNG009-7.p`	`RNG010-1.p`	`RNG010-2.p`	`RNG010-5.p`	`RNG010-6.p`	`RNG010-7.p`
`RNG011-5.p`	`RNG012-6.p`	`RNG013-6.p`	`RNG014-6.p`	`RNG015-6.p`	`RNG016-6.p`	`RNG017-6.p`
`RNG018-6.p`	`RNG019-6.p`	`RNG019-7.p`	`RNG020-6.p`	`RNG020-7.p`	`RNG021-6.p`	`RNG021-7.p`
`RNG023-6.p`	`RNG023-7.p`	`RNG024-6.p`	`RNG024-7.p`	`RNG025-1.p`	`RNG025-4.p`	`RNG025-5.p`
`RNG025-6.p`	`RNG025-7.p`	`RNG025-8.p`	`RNG025-9.p`	`RNG026-6.p`	`RNG026-7.p`	`RNG027-10.p`
`RNG027-1.p`	`RNG027-2.p`	`RNG027-5.p`	`RNG027-6.rm`	`RNG027-7.p`	`RNG027-8.p`	`RNG027-9.p`
`RNG028-1.p`	`RNG028-2.p`	`RNG028-5.p`	`RNG028-6.rm`	`RNG028-7.p`	`RNG028-8.p`	`RNG028-9.p`
`RNG029-10.p`	`RNG029-1.p`	`RNG029-2.p`	`RNG029-3.p`	`RNG029-5.p`	`RNG029-6.p`	`RNG029-7.p`
`RNG030-6.p`	`RNG030-7.p`	`RNG031-6.p`	`RNG031-7.p`	`RNG032-6.p`	`RNG032-7.p`	`RNG033-6.p`
`RNG033-7.p`	`RNG033-8.p`	`RNG033-9.p`	`RNG034-1.p`	`RNG035-7.p`	`RNG036-7.p`	`RNG037-1.p`
`RNG037-2.p`	`RNG038-1.p`	`RNG038-2.p`	`RNG039-1.p`	`RNG039-2.p`	`RNG040-1.p`	`RNG040-2.p`
`RNG041-1.p`	`RNG042-1.p`	`RNG042-2.p`	`RNG042-3.p`	`RNG043-1.p`	`RNG043-2.p`	`RNG044+1.p`
`RNG045+1.p`	`RNG046+1.p`	`RNG047+1.p`	`RNG047+2.p`	`RNG048+1.p`	`RNG049+1.p`	`RNG049+2.p`
`RNG050+1.p`	`RNG051+1.p`	`RNG052+1.p`	`RNG052+2.p`	`RNG053+1.p`	`RNG053+2.p`	`RNG054+1.p`
`RNG054+2.p`	`RNG055+1.p`	`RNG055+2.p`	`RNG056+1.p`	`RNG056+2.p`	`RNG057+1.p`	`RNG057+2.p`
`RNG058+1.p`	`RNG058+2.p`	`RNG059+1.p`	`RNG059+2.p`	`RNG060+1.p`	`RNG060+2.p`	`RNG061+1.p`
`RNG061+2.p`	`RNG062+1.p`	`RNG062+2.p`	`RNG063+1.p`	`RNG063+2.p`	`RNG064+1.p`	`RNG064+2.p`
`RNG065+1.p`	`RNG065+2.p`	`RNG066+1.p`	`RNG066+2.p`	`RNG067+1.p`	`RNG067+2.p`	`RNG068+1.p`
`RNG068+2.p`	`RNG069+1.p`	`RNG069+2.p`	`RNG070+1.p`	`RNG070+2.p`	`RNG071+1.p`	`RNG071+2.p`
`RNG072+1.p`	`RNG072+2.p`	`RNG073+1.p`	`RNG073+2.p`	`RNG074+1.p`	`RNG074+2.p`	`RNG075+1.p`
`RNG075+2.p`	`RNG076+1.p`	`RNG076+2.p`	`RNG077+1.p`	`RNG077+2.p`	`RNG078+1.p`	`RNG078+2.p`
`RNG079+1.p`	`RNG079+2.p`	`RNG080+1.p`	`RNG080+2.p`	`RNG081+1.p`	`RNG081+2.p`	`RNG082+1.p`
`RNG083+1.p`	`RNG084+1.p`	`RNG085+2.p`	`RNG086+1.p`	`RNG086+2.p`	`RNG087+1.p`	`RNG087+2.p`
`RNG088+1.p`	`RNG088+2.p`	`RNG089+1.p`	`RNG089+2.p`	`RNG090+1.p`	`RNG090+2.p`	`RNG091+1.p`
`RNG091+2.p`	`RNG092+1.p`	`RNG092+2.p`	`RNG093+1.p`	`RNG093+2.p`	`RNG094+1.p`	`RNG094+2.p`
`RNG095+1.p`	`RNG095+2.p`	`RNG096+1.p`	`RNG096+2.p`	`RNG097+1.p`	`RNG097+2.p`	`RNG098+1.p`
`RNG098+2.p`	`RNG099+1.p`	`RNG099+2.p`	`RNG100+1.p`	`RNG100+2.p`	`RNG101+1.p`	`RNG101+2.p`
`RNG102+1.p`	`RNG102+2.p`	`RNG103+1.p`	`RNG103+2.p`	`RNG104+1.p`	`RNG104+2.p`	`RNG105+1.p`
`RNG105+2.p`	`RNG106+1.p`	`RNG106+2.p`	`RNG107+1.p`	`RNG107+4.p`	`RNG108+1.p`	`RNG108+4.p`
`RNG109+1.p`	`RNG109+4.p`	`RNG110+1.p`	`RNG110+4.p`	`RNG111+1.p`	`RNG111+4.p`	`RNG112+1.p`
`RNG112+4.p`	`RNG113+1.p`	`RNG113+4.p`	`RNG114+1.p`	`RNG114+4.p`	`RNG115+1.p`	`RNG115+4.p`
`RNG116+1.p`	`RNG116+4.p`	`RNG117+1.p`	`RNG117+4.p`	`RNG118+1.p`	`RNG118+4.p`	`RNG119+1.p`
`RNG119+4.p`	`RNG120+1.p`	`RNG120+4.p`	`RNG121+1.p`	`RNG121+4.p`	`RNG122+1.p`	`RNG122+4.p`
`RNG123+1.p`	`RNG123+4.p`	`RNG124+1.p`	`RNG124+4.p`	`RNG125+1.p`	`RNG125+4.p`	`RNG126+1.p`
`RNG126+4.p`	`RNG127+1.p`	`RNG128-1.p`	`RNG129-1.p`