TPTP Problem Domain: MGT

`MGT001+1.p`	`MGT001-1.p`	`MGT002+1.p`	`MGT002-1.p`	`MGT003+1.p`	`MGT003-1.p`	`MGT004+1.p`
`MGT004-1.p`	`MGT005+1.p`	`MGT005-1.p`	`MGT005+2.p`	`MGT005-2.p`	`MGT006+1.p`	`MGT006-1.p`
`MGT007+1.p`	`MGT007-1.p`	`MGT008+1.p`	`MGT008-1.p`	`MGT009+1.p`	`MGT009-1.p`	`MGT010+1.p`
`MGT010-1.p`	`MGT011+1.p`	`MGT011-1.p`	`MGT012+1.p`	`MGT012-1.p`	`MGT013+1.p`	`MGT013-1.p`
`MGT014+1.p`	`MGT014-1.p`	`MGT015+1.p`	`MGT015-1.p`	`MGT016+1.p`	`MGT016-1.p`	`MGT017+1.p`
`MGT017-1.p`	`MGT018+1.p`	`MGT018-1.p`	`MGT019+2.p`	`MGT019-2.p`	`MGT020+1.p`	`MGT020-1.p`
`MGT021+1.p`	`MGT021-1.p`	`MGT022+1.p`	`MGT022-1.p`	`MGT022+2.p`	`MGT022-2.p`	`MGT023+1.p`
`MGT023-1.p`	`MGT023+2.p`	`MGT023-2.p`	`MGT024+1.p`	`MGT024-1.p`	`MGT025+1.p`	`MGT025-1.p`
`MGT026+1.p`	`MGT026-1.p`	`MGT027+1.p`	`MGT027-1.p`	`MGT028+1.p`	`MGT028-1.p`	`MGT029+1.p`
`MGT029-1.p`	`MGT030+1.p`	`MGT030-1.p`	`MGT031+1.p`	`MGT031-1.p`	`MGT032+2.p`	`MGT032-2.p`
`MGT033+1.p`	`MGT033-1.p`	`MGT033+2.p`	`MGT033-2.p`	`MGT034+1.p`	`MGT034-1.p`	`MGT034+2.p`
`MGT034-2.p`	`MGT035+1.p`	`MGT035-1.p`	`MGT035+2.p`	`MGT035-2.p`	`MGT036+1.p`	`MGT036-1.p`
`MGT036+2.p`	`MGT036-2.p`	`MGT036+3.p`	`MGT036-3.p`	`MGT037+1.p`	`MGT037-1.p`	`MGT037+2.p`
`MGT037-2.p`	`MGT038-10.p`	`MGT038+1.p`	`MGT038-1.p`	`MGT038+2.p`	`MGT038-2.p`	`MGT039+1.p`
`MGT039-1.p`	`MGT039+2.p`	`MGT039-2.p`	`MGT040+1.p`	`MGT040-1.p`	`MGT040+2.p`	`MGT040-2.p`
`MGT041+2.p`	`MGT041-2.p`	`MGT042+1.p`	`MGT042-1.p`	`MGT043+1.p`	`MGT043-1.p`	`MGT044+1.p`
`MGT044-1.p`	`MGT045+1.p`	`MGT045-1.p`	`MGT046+1.p`	`MGT046-1.p`	`MGT047+1.p`	`MGT047-1.p`
`MGT048+1.p`	`MGT048-1.p`	`MGT049+1.p`	`MGT049-1.p`	`MGT050+1.p`	`MGT050-1.p`	`MGT051+1.p`
`MGT051-1.p`	`MGT052+1.p`	`MGT052-1.p`	`MGT053+1.p`	`MGT053-1.p`	`MGT054+1.p`	`MGT054-1.p`
`MGT055+1.p`	`MGT055-1.p`	`MGT056+1.p`	`MGT056-1.p`	`MGT057+1.p`	`MGT057-1.p`	`MGT058+1.p`
`MGT058-1.p`	`MGT059+1.p`	`MGT059-1.p`	`MGT060+1.p`	`MGT060-1.p`	`MGT061+1.p`	`MGT061-1.p`
`MGT062+1.p`	`MGT062-1.p`	`MGT063+1.p`	`MGT063-1.p`	`MGT064+1.p`	`MGT064-1.p`	`MGT065+1.p`
`MGT065-1.p`	`MGT066+1.p`	`MGT066-1.p`	`MGT067+1.p`