TPTP Problem Domain: GRA

`GRA001-1.p`	`GRA002+1.p`	`GRA002+2.p`	`GRA002+3.p`	`GRA002+4.p`	`GRA003+1.p`	`GRA004+1.p`
`GRA005+1.p`	`GRA006+1.p`	`GRA007+1.p`	`GRA007+2.p`	`GRA008+1.p`	`GRA008+2.p`	`GRA009+1.p`
`GRA009+2.p`	`GRA010+1.p`	`GRA010+2.p`	`GRA011+1.p`	`GRA012+1.p`	`GRA013+1.p`	`GRA014+1.p`
`GRA015+1.p`	`GRA016+1.p`	`GRA017+1.p`	`GRA018+1.p`	`GRA019+1.p`	`GRA020+1.p`	`GRA021+1.p`
`GRA022+1.p`	`GRA023+1.p`	`GRA024+1.p`	`GRA025+1.p`	`GRA026+1.p`	`GRA027^1.p`	`GRA028^1.p`
`GRA029^1.p`	`GRA029^2.p`	`GRA030^1.p`	`GRA031^1.p`	`GRA031^2.p`	`GRA032^1.p`	`GRA032^2.p`
`GRA033^1.p`	`GRA033^2.p`	`GRA034^1.p`	`GRA034^2.p`	`GRA035^1.p`	`GRA035^2.p`	`GRA036^1.p`
`GRA036^2.p`	`GRA037^1.p`	`GRA037^2.p`	`GRA038^1.p`	`GRA038^2.p`	`GRA039^1.p`	`GRA039^2.p`
`GRA040^1.p`	`GRA040^2.p`	`GRA041^1.p`	`GRA041^2.p`	`GRA042^1.p`	`GRA042^2.p`	`GRA043^1.p`
`GRA043^2.p`	`GRA044^1.p`	`GRA044^2.p`	`GRA045^1.p`	`GRA045^2.p`	`GRA046^1.p`	`GRA046^2.p`
`GRA047^1.p`	`GRA047^2.p`	`GRA048^1.p`	`GRA048^2.p`	`GRA049^1.p`	`GRA049^2.p`	`GRA050^1.p`
`GRA050^2.p`	`GRA051^1.p`	`GRA051^2.p`	`GRA052^1.p`	`GRA052^2.p`	`GRA053^1.p`	`GRA053^2.p`
`GRA054^1.p`	`GRA054^2.p`	`GRA055^1.p`	`GRA055^2.p`	`GRA056^1.p`	`GRA056^2.p`	`GRA057^1.p`
`GRA057^2.p`	`GRA058^1.p`	`GRA058^2.p`	`GRA059^1.p`	`GRA059^2.p`	`GRA060^1.p`	`GRA060^2.p`
`GRA061^1.p`	`GRA061^2.p`	`GRA062^1.p`	`GRA062^2.p`	`GRA063^1.p`	`GRA063^2.p`	`GRA064^1.p`
`GRA064^2.p`	`GRA065^1.p`	`GRA065^2.p`	`GRA066^1.p`	`GRA066^2.p`	`GRA067^1.p`	`GRA067^2.p`
`GRA068^1.p`	`GRA068^2.p`	`GRA069^1.p`	`GRA069^2.p`	`GRA070^1.p`	`GRA070^2.p`	`GRA071^1.p`
`GRA071^2.p`	`GRA072^1.p`	`GRA072^2.p`	`GRA073^1.p`	`GRA073^2.p`	`GRA074^1.p`	`GRA074^2.p`
`GRA075+1.p`	`GRA076_1.001.p`	`GRA076_1.002.p`	`GRA076_1.005.p`	`GRA076_1.009.p`	`GRA076_1.013.p`	`GRA076_1.017.p`
`GRA077_1.010.p`	`GRA078_1.002.p`	`GRA078_1.018.p`	`GRA079_1.002.p`	`GRA080_1.006.p`	`GRA080_1.014.p`	`GRA081^1.p`
`GRA082^1.p`	`GRA083^1.p`	`GRA084^1.p`	`GRA085^1.p`	`GRA086^1.p`	`GRA087^1.p`	`GRA088^1.p`
`GRA089^1.p`	`GRA090^1.p`	`GRA091^1.p`	`GRA092^1.p`	`GRA093^1.p`	`GRA094^1.p`	`GRA095^1.p`
`GRA096^1.p`	`GRA097^1.p`	`GRA098^1.p`	`GRA099^1.p`	`GRA100^1.p`	`GRA101^1.p`	`GRA102^1.p`
`GRA103^1.p`	`GRA104^1.p`	`GRA105^1.p`	`GRA106^1.p`	`GRA107^1.p`	`GRA108^1.p`	`GRA109^1.p`
`GRA110^1.p`	`GRA111^1.p`	`GRA112^1.p`	`GRA113^1.p`	`GRA114^1.p`	`GRA115^1.p`	`GRA116^1.p`