TPTP Problem Domain: ANA

`ANA001-1.p`	`ANA002-1.p`	`ANA002-2.p`	`ANA002-3.p`	`ANA002-4.p`	`ANA003-1.p`	`ANA003-2.p`
`ANA003-3.p`	`ANA003-4.p`	`ANA004-10.p`	`ANA004-1.p`	`ANA004-2.p`	`ANA004-3.p`	`ANA004-4.p`
`ANA004-5.p`	`ANA005-10.p`	`ANA005-1.p`	`ANA005-2.p`	`ANA005-3.p`	`ANA005-4.p`	`ANA005-5.p`
`ANA006-1.p`	`ANA006-2.p`	`ANA007-1.p`	`ANA007-2.p`	`ANA008-1.rm`	`ANA008-2.rm`	`ANA009-1.p`
`ANA009-2.p`	`ANA010-1.p`	`ANA010-2.p`	`ANA011-1.rm`	`ANA011-2.rm`	`ANA012-1.p`	`ANA012-2.p`
`ANA013-1.p`	`ANA013-2.p`	`ANA014-1.p`	`ANA014-2.p`	`ANA015-1.p`	`ANA015-2.p`	`ANA016-1.p`
`ANA016-2.p`	`ANA017-1.p`	`ANA017-2.p`	`ANA018-1.p`	`ANA018-2.p`	`ANA019-1.p`	`ANA019-2.p`
`ANA020-1.p`	`ANA020-2.p`	`ANA021-1.p`	`ANA021-2.p`	`ANA022-1.p`	`ANA022-2.p`	`ANA023-10.p`
`ANA023-1.p`	`ANA023-2.p`	`ANA024-1.p`	`ANA024-2.p`	`ANA025-1.p`	`ANA025-2.p`	`ANA026-1.p`
`ANA026-2.p`	`ANA027-1.p`	`ANA027-2.p`	`ANA028-1.p`	`ANA028-2.p`	`ANA029-1.p`	`ANA029-2.p`
`ANA030-1.p`	`ANA030-2.p`	`ANA031-1.p`	`ANA031-2.p`	`ANA032-1.p`	`ANA032-2.p`	`ANA033-1.p`
`ANA034-10.p`	`ANA034-1.p`	`ANA034-2.p`	`ANA035-1.p`	`ANA035-2.p`	`ANA036-1.p`	`ANA037-1.p`
`ANA037-2.p`	`ANA038-1.p`	`ANA038-2.p`	`ANA039-1.p`	`ANA039-2.p`	`ANA040-1.rm`	`ANA040-2.rm`
`ANA041-1.p`	`ANA041-2.p`	`ANA042-1.p`	`ANA042-2.p`	`ANA043-1.p`	`ANA043-2.p`	`ANA044-1.p`
`ANA044-2.p`	`ANA045-1.p`	`ANA045-2.p`	`ANA046^1.p`	`ANA047^1.p`	`ANA048^1.p`	`ANA049^1.p`
`ANA050^1.p`	`ANA051^1.p`	`ANA052^1.p`	`ANA053^1.p`	`ANA054^1.p`	`ANA055^1.p`	`ANA056^1.p`
`ANA057^1.p`	`ANA058^1.p`	`ANA059^1.p`	`ANA060^1.p`	`ANA061^1.p`	`ANA062^1.p`	`ANA063^1.p`
`ANA064^1.p`	`ANA065^1.p`	`ANA066^1.p`	`ANA067^1.p`	`ANA068^1.p`	`ANA069^1.p`	`ANA070^1.p`
`ANA071^1.p`	`ANA072^1.p`	`ANA073^1.p`	`ANA074^1.p`	`ANA075^1.p`	`ANA076^1.p`	`ANA077^1.p`
`ANA078^1.p`	`ANA079^1.p`	`ANA080^1.p`	`ANA081^1.p`	`ANA082^1.p`	`ANA083^1.p`	`ANA084^1.p`
`ANA085^1.p`	`ANA086^1.p`	`ANA087^1.p`	`ANA088^1.p`	`ANA089^1.p`	`ANA090^1.p`	`ANA091^1.p`
`ANA092^1.p`	`ANA093^1.p`	`ANA094^1.p`	`ANA095^1.p`	`ANA096^1.p`	`ANA097^1.p`	`ANA098^1.p`
`ANA099^1.p`	`ANA100^1.p`	`ANA101^1.p`	`ANA102^1.p`	`ANA103^1.p`	`ANA104^1.p`	`ANA105^1.p`
`ANA106^1.p`	`ANA107^1.p`	`ANA108^1.p`	`ANA109^1.p`	`ANA110^1.p`	`ANA111^1.p`	`ANA112^1.p`
`ANA113^1.p`	`ANA114^1.p`	`ANA115^1.p`	`ANA116^1.p`	`ANA117^1.p`	`ANA118^1.p`	`ANA119^1.p`
`ANA120^1.p`	`ANA121^1.p`	`ANA122^1.p`	`ANA123^1.p`	`ANA124^1.p`	`ANA125^1.p`	`ANA126^1.p`
`ANA127^1.p`	`ANA128^1.p`	`ANA129^1.p`	`ANA130^1.p`	`ANA131^1.p`	`ANA132^1.p`	`ANA133-1.p`
`ANA134_1.002.008.p`	`ANA134_1.002.016.p`	`ANA134_1.002.032.p`	`ANA134_1.004.016.p`	`ANA134_1.004.032.p`	`ANA134_1.004.064.p`	`ANA134_1.008.032.p`
`ANA134_1.008.064.p`	`ANA134_1.008.128.p`	`ANA135_1.p`	`ANA136_1.p`	`ANA137_1.p`	`ANA138_1.p`	`ANA139_1.p`
`ANA140_1.p`	`ANA141_1.p`	`ANA142_1.p`	`ANA143_1.002.008.p`	`ANA143_1.002.016.p`	`ANA143_1.002.032.p`	`ANA143_1.004.016.p`
`ANA143_1.004.032.p`	`ANA143_1.004.064.p`	`ANA143_1.008.032.p`	`ANA143_1.008.064.p`	`ANA143_1.008.128.p`