TPTP Problem Domain: PUZ

`PUZ001_10.p`	`PUZ001_11.p`	`PUZ001_12.p`	`PUZ001+1.p`	`PUZ001-1.p`	`PUZ001+2.p`	`PUZ001-2.p`
`PUZ001-3.p`	`PUZ001_4.p`	`PUZ001_5.p`	`PUZ001_6.p`	`PUZ001_7.p`	`PUZ001_8.p`	`PUZ001_9.p`
`PUZ002-1.p`	`PUZ003-1.p`	`PUZ004-1.p`	`PUZ005+1.p`	`PUZ005-1.p`	`PUZ006-1.p`	`PUZ007-1.p`
`PUZ008-1.p`	`PUZ008-2.p`	`PUZ008-3.p`	`PUZ009-1.p`	`PUZ010-1.p`	`PUZ011-1.p`	`PUZ012_10.p`
`PUZ012-1.p`	`PUZ012_1.p`	`PUZ013-1.p`	`PUZ014-1.p`	`PUZ015-10.p`	`PUZ015-1.p`	`PUZ015-2.003.rm`
`PUZ015-2.006.p`	`PUZ015-3.p`	`PUZ016-1.p`	`PUZ016-2.003.rm`	`PUZ016-2.004.p`	`PUZ016-2.005.p`	`PUZ017-1.p`
`PUZ018_10.p`	`PUZ018-1.p`	`PUZ018_1.p`	`PUZ018-2.p`	`PUZ019-1.p`	`PUZ020-1.p`	`PUZ021-1.p`
`PUZ022-1.p`	`PUZ023-1.p`	`PUZ024-1.p`	`PUZ025-1.p`	`PUZ026-1.p`	`PUZ027-1.p`	`PUZ028-1.p`
`PUZ028-2.p`	`PUZ028-3.p`	`PUZ028-4.p`	`PUZ028-5.p`	`PUZ028-6.p`	`PUZ029-1.p`	`PUZ030-0.rm`
`PUZ030-1.p`	`PUZ030-2.p`	`PUZ031_10.p`	`PUZ031+1.p`	`PUZ031-1.p`	`PUZ031_1.p`	`PUZ031+2.p`
`PUZ031+3.p`	`PUZ031^5.p`	`PUZ032-1.p`	`PUZ033-1.p`	`PUZ034-1.003.p`	`PUZ034-1.004.p`	`PUZ034+2.rm`
`PUZ034+3.rm`	`PUZ035-1.p`	`PUZ035-2.p`	`PUZ035-3.p`	`PUZ035-4.p`	`PUZ035-5.p`	`PUZ035-6.p`
`PUZ035-7.p`	`PUZ036-1.005.p`	`PUZ037-1.p`	`PUZ037-2.p`	`PUZ037-3.p`	`PUZ038-1.p`	`PUZ039-10.p`
`PUZ039-1.p`	`PUZ040-1.p`	`PUZ041-1.p`	`PUZ042-1.p`	`PUZ043-1.p`	`PUZ044-1.p`	`PUZ045-1.p`
`PUZ046-1.p`	`PUZ047+1.p`	`PUZ047-1.p`	`PUZ047^5.p`	`PUZ048-1.p`	`PUZ049-10.p`	`PUZ049-1.p`
`PUZ050-1.p`	`PUZ051-10.p`	`PUZ051-1.p`	`PUZ052-1.p`	`PUZ053-1.p`	`PUZ054-10.p`	`PUZ054-1.p`
`PUZ055-1.p`	`PUZ056-10.020.p`	`PUZ056-10.030.p`	`PUZ056-1.p`	`PUZ056-2.005.p`	`PUZ056-2.010.p`	`PUZ056-2.015.p`
`PUZ056-2.020.p`	`PUZ056-2.022.p`	`PUZ056-2.025.p`	`PUZ056-2.027.p`	`PUZ056-2.030.p`	`PUZ057-1.p`	`PUZ058-1.p`
`PUZ059-1.p`	`PUZ060+1.p`	`PUZ061+1.p`	`PUZ062-1.p`	`PUZ062-2.p`	`PUZ063-1.p`	`PUZ063-2.p`
`PUZ064-1.p`	`PUZ064-2.p`	`PUZ065+1.p`	`PUZ066+1.p`	`PUZ067+1.p`	`PUZ068+1.p`	`PUZ068-1.p`
`PUZ068+2.p`	`PUZ069+1.p`	`PUZ069-1.p`	`PUZ069+2.p`	`PUZ070+1.p`	`PUZ070-1.p`	`PUZ071+1.p`
`PUZ071-1.p`	`PUZ072+1.p`	`PUZ072-1.p`	`PUZ073+1.p`	`PUZ074+1.p`	`PUZ075+1.p`	`PUZ076+1.p`
`PUZ077+1.p`	`PUZ078+1.p`	`PUZ079+2.p`	`PUZ080+2.p`	`PUZ081^1.p`	`PUZ081^2.p`	`PUZ081^3.p`
`PUZ081_8.p`	`PUZ082^1.p`	`PUZ082_8.p`	`PUZ083^1.p`	`PUZ083_8.p`	`PUZ084^1.p`	`PUZ085^1.p`
`PUZ086^1.p`	`PUZ087^1.p`	`PUZ087^2.p`	`PUZ088^5.p`	`PUZ089^5.rm`	`PUZ090^5.p`	`PUZ091^5.p`
`PUZ092^5.p`	`PUZ093^5.p`	`PUZ094^5.p`	`PUZ095^5.p`	`PUZ096^5.p`	`PUZ097^5.p`	`PUZ098^5.p`
`PUZ099^5.p`	`PUZ100^5.p`	`PUZ101^5.p`	`PUZ102^5.p`	`PUZ103^5.p`	`PUZ104^5.p`	`PUZ105^5.p`
`PUZ106^5.p`	`PUZ107^5.p`	`PUZ108^5.p`	`PUZ109^5.p`	`PUZ110^5.p`	`PUZ111^5.p`	`PUZ112^5.p`
`PUZ113^5.p`	`PUZ114^5.p`	`PUZ115^5.p`	`PUZ116^5.p`	`PUZ117^5.p`	`PUZ118^5.p`	`PUZ119^5.p`
`PUZ120^5.p`	`PUZ121^5.p`	`PUZ122^5.p`	`PUZ123^5.p`	`PUZ124^5.p`	`PUZ125^5.p`	`PUZ126^5.p`
`PUZ127^5.p`	`PUZ128+1.p`	`PUZ128+2.p`	`PUZ129+2.p`	`PUZ130_10.p`	`PUZ130+1.p`	`PUZ130_1.p`
`PUZ131-10.p`	`PUZ131_10.p`	`PUZ131+1.p`	`PUZ131_1.p`	`PUZ132+1.p`	`PUZ133+1.p`	`PUZ133+2.p`
`PUZ133_2.p`	`PUZ133+3.p`	`PUZ134_10.p`	`PUZ134_1.p`	`PUZ134_20.p`	`PUZ134_2.p`	`PUZ135_10.p`
`PUZ135_1.p`	`PUZ135_20.p`	`PUZ135_2.p`	`PUZ136^1.p`	`PUZ137^1.p`	`PUZ137_8.p`	`PUZ138+2.p`
`PUZ139_1.p`	`PUZ140^1.p`	`PUZ140^2.p`	`PUZ141^1.p`	`PUZ142^1.p`	`PUZ143^1.p`	`PUZ144^1.p`
`PUZ145^1.p`	`PUZ146^1.p`	`PUZ147^1.p`	`PUZ148^1.p`	`PUZ149^13.p`	`PUZ149_13.p`	`PUZ150^18.p`
`PUZ151_1.p`	`PUZ152_1.p`	`PUZ153+1.p`	`PUZ154^1.p`	`PUZ155_1.p`	`PUZ156_1.p`	`PUZ157_1.p`
`PUZ157_2.p`	`PUZ158_1.p`	`PUZ158_2.p`	`PUZ159_1.p`	`PUZ160_1.p`	`PUZ161_1.p`	`PUZ162_1.p`
`PUZ163_1.p`	`PUZ164-1.p`	`PUZ164-2.p`