TPTP Problem Domain: COL

`COL001-1.p`	`COL001-2.p`	`COL002-10.p`	`COL002-1.p`	`COL002-2.p`	`COL002-3.p`	`COL002-4.p`
`COL002-5.p`	`COL003-10.p`	`COL003-12.p`	`COL003-13.p`	`COL003-14.p`	`COL003-15.p`	`COL003-16.p`
`COL003-17.p`	`COL003-18.p`	`COL003-19.p`	`COL003-1.p`	`COL003-20.p`	`COL003-2.p`	`COL003-3.p`
`COL003-4.p`	`COL003-5.p`	`COL003-6.p`	`COL003-7.p`	`COL003-8.p`	`COL003-9.p`	`COL004-1.p`
`COL004-2.rm`	`COL004-3.p`	`COL005-1.p`	`COL006-1.p`	`COL006-2.p`	`COL006-3.p`	`COL006-4.p`
`COL006-5.p`	`COL006-6.p`	`COL006-7.p`	`COL007-1.p`	`COL008-1.p`	`COL009-1.p`	`COL010-1.p`
`COL011-1.p`	`COL012-1.p`	`COL013-1.p`	`COL014-1.p`	`COL015-1.p`	`COL016-1.p`	`COL017-1.p`
`COL018-1.p`	`COL019-1.p`	`COL020-1.p`	`COL021-1.p`	`COL022-1.p`	`COL023-1.p`	`COL024-1.p`
`COL025-1.p`	`COL026-1.p`	`COL027-1.p`	`COL028-1.rm`	`COL029-1.p`	`COL030-1.p`	`COL031-1.p`
`COL032-1.p`	`COL033-1.p`	`COL034-1.p`	`COL035-1.p`	`COL036-1.p`	`COL037-1.p`	`COL038-1.p`
`COL039-1.p`	`COL040-1.rm`	`COL041-1.p`	`COL042-10.p`	`COL042-1.p`	`COL042-2.p`	`COL042-3.p`
`COL042-4.p`	`COL042-5.p`	`COL042-6.p`	`COL042-7.p`	`COL042-8.p`	`COL042-9.p`	`COL043-1.p`
`COL043-2.p`	`COL043-3.p`	`COL044-10.p`	`COL044-1.p`	`COL044-2.p`	`COL044-3.p`	`COL044-4.p`
`COL044-5.p`	`COL044-6.p`	`COL044-7.p`	`COL044-8.p`	`COL044-9.p`	`COL045-1.p`	`COL046-1.p`
`COL047-1.p`	`COL048-1.p`	`COL049-1.p`	`COL050-1.p`	`COL051-1.p`	`COL052-1.p`	`COL052-2.p`
`COL053-1.p`	`COL054-1.p`	`COL055-1.p`	`COL056-1.p`	`COL057-1.p`	`COL058-1.p`	`COL058-2.p`
`COL058-3.p`	`COL059-1.p`	`COL060-1.p`	`COL060-2.p`	`COL060-3.p`	`COL061-1.p`	`COL061-2.p`
`COL061-3.p`	`COL062-1.p`	`COL062-2.p`	`COL062-3.p`	`COL063-1.p`	`COL063-2.p`	`COL063-3.p`
`COL063-4.p`	`COL063-5.p`	`COL063-6.p`	`COL064-10.p`	`COL064-11.p`	`COL064-1.p`	`COL064-2.p`
`COL064-3.p`	`COL064-4.p`	`COL064-5.p`	`COL064-6.p`	`COL064-7.p`	`COL064-8.p`	`COL064-9.p`
`COL065-1.p`	`COL066-1.p`	`COL066-2.p`	`COL066-3.p`	`COL067-1.p`	`COL068-1.p`	`COL069-1.p`
`COL070-1.p`	`COL071-1.p`	`COL072-1.rm`	`COL073-1.p`	`COL074-1.p`	`COL074-2.p`	`COL074-3.p`
`COL075-1.p`	`COL075-2.p`	`COL076-1.p`	`COL076-2.p`	`COL077-1.p`	`COL078-1.p`	`COL078-2.p`
`COL079-1.p`	`COL079-2.p`	`COL080-1.p`	`COL080-2.p`	`COL081-1.p`	`COL081-2.p`	`COL082-1.p`
`COL083-1.p`	`COL084-1.p`	`COL085-1.p`	`COL086-1.p`	`COL087-1.p`	`COL088-1.p`	`COL088-2.p`
`COL089-1.p`	`COL089-2.p`	`COL090-1.p`	`COL090-2.p`	`COL090-3.p`	`COL091-1.p`	`COL091-2.p`
`COL092-1.p`	`COL092-2.p`	`COL093-1.p`	`COL093-2.p`	`COL094-1.p`	`COL094-2.p`	`COL095-1.p`
`COL095-2.p`	`COL096-1.p`	`COL096-2.p`	`COL097-1.p`	`COL097-2.p`	`COL098-1.p`	`COL098-2.p`
`COL099-1.p`	`COL099-2.p`	`COL100-1.p`	`COL100-2.p`	`COL101-1.p`	`COL101-2.p`	`COL102-1.p`
`COL102-2.p`	`COL103-1.p`	`COL103-2.p`	`COL104-1.p`	`COL104-2.p`	`COL105-1.p`	`COL105-2.p`
`COL106-1.p`	`COL106-2.p`	`COL107-1.p`	`COL108-1.p`	`COL109-1.p`	`COL109-2.p`	`COL110-1.p`
`COL110-2.p`	`COL111-1.p`	`COL111-2.p`	`COL112-1.p`	`COL112-2.p`	`COL113-1.p`	`COL113-2.p`
`COL114-1.p`	`COL114-2.p`	`COL115-1.p`	`COL115-2.p`	`COL116-1.p`	`COL116-2.p`	`COL117-1.p`
`COL117-2.p`	`COL118-1.p`	`COL118-2.p`	`COL119-1.p`	`COL119-2.p`	`COL120-1.p`	`COL120-2.p`
`COL121-1.p`	`COL121-2.p`	`COL122-1.p`	`COL122-2.p`	`COL123-1.p`	`COL123-2.p`	`COL124-1.p`
`COL124-2.p`	`COL125+1.p`	`COL125^1.p`	`COL126^1.p`	`COL127+1.p`	`COL128+1.p`	`COL129+1.p`
`COL130+1.p`	`COL131+1.p`	`COL132+1.p`	`COL133+1.p`	`COL134+1.p`	`COL135+1.p`