TPTP Problem Domain: DAT

`DAT001_1.p`	`DAT002^1.p`	`DAT002_1.p`	`DAT003_1.p`	`DAT004_1.p`	`DAT005_1.p`	`DAT006_1.p`
`DAT007_1.p`	`DAT008_1.p`	`DAT009_1.p`	`DAT010_1.p`	`DAT011_1.p`	`DAT012_1.p`	`DAT013_1.p`
`DAT014_1.p`	`DAT015_1.p`	`DAT016_1.p`	`DAT017_1.p`	`DAT018_1.p`	`DAT019_1.p`	`DAT020_1.p`
`DAT021_1.p`	`DAT022_1.p`	`DAT023_1.p`	`DAT024_1.p`	`DAT025_1.p`	`DAT026_1.p`	`DAT027_1.p`
`DAT028_1.p`	`DAT029_1.p`	`DAT030_1.p`	`DAT031_1.p`	`DAT032_1.p`	`DAT033_1.p`	`DAT034_1.p`
`DAT035_1.p`	`DAT036_1.p`	`DAT037_1.p`	`DAT038_1.p`	`DAT039_1.p`	`DAT040_1.p`	`DAT041_1.p`
`DAT042_1.p`	`DAT043_1.p`	`DAT044_1.p`	`DAT045_1.p`	`DAT046_1.p`	`DAT047_1.p`	`DAT048_1.p`
`DAT049_1.p`	`DAT050_1.p`	`DAT051_1.p`	`DAT052_1.p`	`DAT053_1.p`	`DAT054_1.p`	`DAT055_1.p`
`DAT056^1.p`	`DAT056^2.p`	`DAT057_1.p`	`DAT058_1.p`	`DAT059_1.p`	`DAT060_1.p`	`DAT061_1.p`
`DAT062_1.p`	`DAT063_1.p`	`DAT064_1.p`	`DAT065_1.p`	`DAT066_1.p`	`DAT067_1.p`	`DAT068_1.p`
`DAT069_1.p`	`DAT070_1.p`	`DAT071_1.p`	`DAT072_1.p`	`DAT073_1.p`	`DAT074_1.p`	`DAT075_1.p`
`DAT076_1.p`	`DAT077_1.p`	`DAT078_1.p`	`DAT079_1.p`	`DAT080_1.p`	`DAT081_1.p`	`DAT082_1.p`
`DAT083_1.p`	`DAT084_1.p`	`DAT085_1.p`	`DAT086_1.p`	`DAT087_1.p`	`DAT088_1.p`	`DAT089_1.p`
`DAT090_1.p`	`DAT091_1.p`	`DAT092_1.p`	`DAT093_1.p`	`DAT094_1.p`	`DAT095_1.p`	`DAT097_1.p`
`DAT098_1.p`	`DAT099_1.p`	`DAT100_1.p`	`DAT101_1.p`	`DAT102_1.p`	`DAT103_1.p`	`DAT104_1.p`
`DAT105_1.p`	`DAT106_1.p`	`DAT107_1.p`	`DAT108_1.p`	`DAT109_1.p`	`DAT110_1.p`	`DAT111_1.p`
`DAT112_1.p`	`DAT113^1.p`	`DAT114^1.p`	`DAT115^1.p`	`DAT117^1.p`	`DAT118^1.p`	`DAT119^1.p`
`DAT120^1.p`	`DAT121^1.p`	`DAT122^1.p`	`DAT123^1.p`	`DAT124^1.p`	`DAT125^1.p`	`DAT126^1.p`
`DAT127^1.p`	`DAT128^1.p`	`DAT129^1.p`	`DAT130^1.p`	`DAT131^1.p`	`DAT132^1.p`	`DAT133^1.p`
`DAT134^1.p`	`DAT135^1.p`	`DAT136^1.p`	`DAT137^1.p`	`DAT138^1.p`	`DAT139^1.p`	`DAT140^1.p`
`DAT141^1.p`	`DAT142^1.p`	`DAT143^1.p`	`DAT144^1.p`	`DAT145^1.p`	`DAT146^1.p`	`DAT147^1.p`
`DAT148^1.p`	`DAT149^1.p`	`DAT150^1.p`	`DAT151^1.p`	`DAT152^1.p`	`DAT153^1.p`	`DAT154^1.p`
`DAT155^1.p`	`DAT156^1.p`	`DAT157^1.p`	`DAT158^1.p`	`DAT159^1.p`	`DAT160^1.p`	`DAT161^1.p`
`DAT162^1.p`	`DAT163^1.p`	`DAT164^1.p`	`DAT165^1.p`	`DAT166^1.p`	`DAT167^1.p`	`DAT168^1.p`
`DAT169^1.p`	`DAT170^1.p`	`DAT171^1.p`	`DAT172^1.p`	`DAT173^1.p`	`DAT174^1.p`	`DAT175^1.p`
`DAT176^1.p`	`DAT177^1.p`	`DAT178^1.p`	`DAT179^1.p`	`DAT180^1.p`	`DAT181^1.p`	`DAT182^1.p`
`DAT183^1.p`	`DAT184^1.p`	`DAT185^1.p`	`DAT186^1.p`	`DAT187^1.p`	`DAT188^1.p`	`DAT189^1.p`
`DAT190^1.p`	`DAT191^1.p`	`DAT192^1.p`	`DAT193^1.p`	`DAT194^1.p`	`DAT195^1.p`	`DAT196^1.p`
`DAT197^1.p`	`DAT198^1.p`	`DAT199^1.p`	`DAT200^1.p`	`DAT201^1.p`	`DAT202^1.p`	`DAT203^1.p`
`DAT204^1.p`	`DAT205^1.p`	`DAT206^1.p`	`DAT207^1.p`	`DAT208^1.p`	`DAT209^1.p`	`DAT210^1.p`
`DAT211^1.p`	`DAT212^1.p`	`DAT213^1.p`	`DAT214^1.p`	`DAT215^1.p`	`DAT216^1.p`	`DAT217^1.p`
`DAT218^1.p`	`DAT219^1.p`	`DAT220^1.p`	`DAT221^1.p`	`DAT222^1.p`	`DAT223^1.p`	`DAT224^1.p`
`DAT225^1.p`	`DAT226^1.p`	`DAT227^1.p`	`DAT228^1.p`	`DAT229^1.p`	`DAT230^1.p`	`DAT231^1.p`
`DAT232^1.p`	`DAT233^1.p`	`DAT234^1.p`	`DAT235^1.p`	`DAT236^1.p`	`DAT237^1.p`	`DAT238^1.p`
`DAT239^1.p`	`DAT240^1.p`	`DAT241^1.p`	`DAT242^1.p`	`DAT243^1.p`	`DAT244^1.p`	`DAT245^1.p`
`DAT246^1.p`	`DAT247^1.p`	`DAT248^1.p`	`DAT249^1.p`	`DAT250^1.p`	`DAT251^1.p`	`DAT252^1.p`
`DAT253^1.p`	`DAT254^1.p`	`DAT255^1.p`	`DAT256^1.p`	`DAT257^1.p`	`DAT258^1.p`	`DAT259^1.p`
`DAT260^1.p`	`DAT261^1.p`	`DAT262^1.p`	`DAT263^1.p`	`DAT264^1.p`	`DAT265^1.p`	`DAT266^1.p`
`DAT267^1.p`	`DAT268^1.p`	`DAT269^1.p`	`DAT270^1.p`	`DAT271^1.p`	`DAT272^1.p`	`DAT273^1.p`
`DAT274^1.p`	`DAT275^1.p`	`DAT276^1.p`	`DAT277^1.p`	`DAT278^1.p`	`DAT279^1.p`	`DAT280^1.p`
`DAT281^1.p`	`DAT282^1.p`	`DAT283^1.p`	`DAT284^1.p`	`DAT285^1.p`	`DAT286^1.p`	`DAT287^1.p`
`DAT288^1.p`	`DAT289^1.p`	`DAT290^1.p`	`DAT291^1.p`	`DAT292^1.p`	`DAT293^1.p`	`DAT294^1.p`
`DAT295^1.p`	`DAT296^1.p`	`DAT297^1.p`	`DAT298^1.p`	`DAT299^1.p`	`DAT300^1.p`	`DAT301^1.p`
`DAT302^1.p`	`DAT303^1.p`	`DAT304^1.p`	`DAT305^1.p`	`DAT306^1.p`	`DAT307^1.p`	`DAT308^1.p`
`DAT309^1.p`	`DAT310^1.p`	`DAT311^1.p`	`DAT312^1.p`	`DAT313^1.p`	`DAT314^1.p`	`DAT315^1.p`
`DAT316^1.p`	`DAT317^1.p`	`DAT318^1.p`	`DAT319^1.p`	`DAT320^1.p`	`DAT321^1.p`	`DAT322^1.p`
`DAT323^1.p`	`DAT324^1.p`	`DAT325^1.p`	`DAT326^1.p`	`DAT327^1.p`	`DAT328^1.p`	`DAT329_1.p`
`DAT330_1.p`	`DAT331_1.p`	`DAT332_1.p`	`DAT333^3.p`	`DAT333_3.p`	`DAT333^6.p`	`DAT334^12.p`
`DAT334^19.p`	`DAT334_19.p`	`DAT334^21.p`	`DAT334_21.p`	`DAT334^23.p`	`DAT334_23.p`	`DAT334^8.p`
`DAT334_8.p`	`DAT335^12.p`	`DAT335^18.p`	`DAT335^2.p`	`DAT335_2.p`