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