TPTP Problem Domain: GEG

`GEG001+1.p`	`GEG002^1.p`	`GEG003^1.p`	`GEG004^1.p`	`GEG005^1.p`	`GEG006^1.p`	`GEG007^1.p`
`GEG008^1.p`	`GEG009^1.p`	`GEG010^1.p`	`GEG011^1.p`	`GEG012^1.p`	`GEG013^1.p`	`GEG014^1.p`
`GEG015^1.p`	`GEG016^1.p`	`GEG017^1.rm`	`GEG018^1.p`	`GEG019^1.p`	`GEG020^1.p`	`GEG021_1.p`
`GEG022_1.p`	`GEG023_1.p`	`GEG024_1.p`	`GEG025_1.p`