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