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