TPTP Problem Domain: AGT

`AGT001+1.p`	`AGT001+2.p`	`AGT002+1.p`	`AGT002+2.p`	`AGT003+1.p`	`AGT003+2.p`	`AGT004+1.p`
`AGT004+2.p`	`AGT005+1.p`	`AGT005+2.p`	`AGT006+1.p`	`AGT006+2.p`	`AGT007+1.p`	`AGT007+2.p`
`AGT008+1.p`	`AGT008+2.p`	`AGT009+1.p`	`AGT009+2.p`	`AGT010+1.p`	`AGT010+2.p`	`AGT011+1.p`
`AGT011+2.p`	`AGT012+1.p`	`AGT012+2.p`	`AGT013+1.p`	`AGT013+2.p`	`AGT014+1.p`	`AGT014+2.p`
`AGT015+1.p`	`AGT015+2.p`	`AGT016+1.p`	`AGT016+2.p`	`AGT017+1.p`	`AGT017+2.p`	`AGT018+1.p`
`AGT018+2.p`	`AGT019+1.p`	`AGT019+2.p`	`AGT020+1.p`	`AGT020+2.p`	`AGT021+1.p`	`AGT021+2.p`
`AGT022+1.p`	`AGT022+2.p`	`AGT023+1.p`	`AGT023+2.p`	`AGT024+1.p`	`AGT024+2.p`	`AGT025+1.p`
`AGT025+2.p`	`AGT026+1.p`	`AGT026+2.p`	`AGT027^1.p`	`AGT027^2.p`	`AGT028^1.p`	`AGT028^2.p`
`AGT029^1.p`	`AGT030^1.p`	`AGT031^1.p`	`AGT031^2.p`	`AGT032^1.p`	`AGT032^2.p`	`AGT033^1.p`
`AGT033^2.p`	`AGT034^1.p`	`AGT034^2.p`	`AGT035^1.p`	`AGT035^2.p`	`AGT036^1.p`	`AGT037^1.p`
`AGT037^2.p`	`AGT038^1.p`	`AGT039^1.p`	`AGT040^1.p`	`AGT041^1.p`	`AGT042-10.p`	`AGT042+1.p`