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`
`GRA117+1.p`	`GRA117-1.p`	`GRA117^1.p`	`GRA118+1.p`	`GRA118-1.p`	`GRA118^1.p`	`GRA119+1.p`
`GRA119-1.p`	`GRA119^1.p`	`GRA120+1.p`	`GRA120-1.p`	`GRA120^1.p`	`GRA121+1.p`	`GRA121-1.p`
`GRA121^1.p`	`GRA122+1.p`	`GRA122-1.p`	`GRA122^1.p`	`GRA123+1.p`	`GRA123-1.p`	`GRA123^1.p`
`GRA124+1.p`	`GRA124-1.p`	`GRA124^1.p`	`GRA125+1.p`	`GRA125-1.p`	`GRA125^1.p`	`GRA126-1.p`
`GRA126^1.p`	`GRA127-1.p`	`GRA127^1.p`	`GRA128-1.p`	`GRA128^1.p`	`GRA129-1.p`	`GRA129^1.p`
`GRA130-1.p`	`GRA130^1.p`	`GRA131-1.p`	`GRA131^1.p`	`GRA132-1.p`	`GRA132^1.p`	`GRA133-1.p`
`GRA133^1.p`	`GRA134-1.p`	`GRA134^1.p`	`GRA135-1.p`	`GRA135^1.p`	`GRA136-1.p`	`GRA136^1.p`
`GRA137-1.p`	`GRA137^1.p`	`GRA138-1.p`	`GRA138^1.p`	`GRA139-1.p`	`GRA139^1.p`	`GRA140-1.p`
`GRA140^1.p`	`GRA141-1.p`	`GRA141^1.p`	`GRA142-1.p`	`GRA142^1.p`	`GRA143-1.p`	`GRA143^1.p`
`GRA144-1.p`	`GRA144^1.p`	`GRA145-1.p`	`GRA145^1.p`	`GRA146-1.p`	`GRA146^1.p`	`GRA147-1.p`
`GRA147^1.p`	`GRA148-1.p`	`GRA148^1.p`	`GRA149-1.p`	`GRA149^1.p`	`GRA150-1.p`	`GRA150^1.p`
`GRA151-1.p`	`GRA151^1.p`	`GRA152-1.p`	`GRA152^1.p`	`GRA153-1.p`	`GRA153^1.p`	`GRA154-1.p`
`GRA154^1.p`	`GRA155-1.p`	`GRA155^1.p`	`GRA156-1.p`	`GRA156^1.p`	`GRA157-1.p`	`GRA157^1.p`
`GRA158-1.p`	`GRA158^1.p`	`GRA159-1.p`	`GRA159^1.p`	`GRA160-1.p`	`GRA160^1.p`	`GRA161-1.p`
`GRA161^1.p`	`GRA162-1.p`	`GRA162^1.p`	`GRA163-1.p`	`GRA163^1.p`	`GRA164-1.p`	`GRA164^1.p`
`GRA165-1.p`	`GRA165^1.p`	`GRA166-1.p`	`GRA166^1.p`	`GRA167-1.p`	`GRA167^1.p`	`GRA168-1.p`
`GRA168^1.p`	`GRA169-1.p`	`GRA169^1.p`	`GRA170-1.p`	`GRA170^1.p`	`GRA171-1.p`	`GRA171^1.p`
`GRA172-1.p`	`GRA172^1.p`	`GRA173-1.p`	`GRA173^1.p`	`GRA174-1.p`	`GRA174^1.p`	`GRA175-1.p`
`GRA175^1.p`