TPTP Problem Domain: FLD

`FLD001-3.p`	`FLD002-3.p`	`FLD003-1.p`	`FLD004-1.p`	`FLD005-1.p`	`FLD005-3.p`	`FLD006-1.p`
`FLD006-3.p`	`FLD007-1.p`	`FLD007-3.p`	`FLD008-1.p`	`FLD008-2.p`	`FLD008-3.p`	`FLD008-4.p`
`FLD009-1.p`	`FLD009-3.p`	`FLD010-1.p`	`FLD010-3.p`	`FLD010-5.p`	`FLD011-1.p`	`FLD011-3.p`
`FLD012-1.p`	`FLD012-2.p`	`FLD012-3.p`	`FLD012-4.p`	`FLD013-1.p`	`FLD013-2.p`	`FLD013-3.p`
`FLD013-4.p`	`FLD013-5.p`	`FLD014-1.p`	`FLD014-3.p`	`FLD015-1.p`	`FLD015-3.p`	`FLD016-1.p`
`FLD016-3.p`	`FLD016-5.p`	`FLD017-1.p`	`FLD017-3.p`	`FLD018-1.p`	`FLD018-3.p`	`FLD019-1.p`
`FLD019-3.p`	`FLD020-1.p`	`FLD020-3.p`	`FLD021-1.p`	`FLD021-3.p`	`FLD022-1.p`	`FLD022-3.p`
`FLD023-1.p`	`FLD023-3.p`	`FLD024-1.p`	`FLD024-3.p`	`FLD025-1.p`	`FLD025-2.p`	`FLD025-3.p`
`FLD025-4.p`	`FLD025-5.p`	`FLD026-1.p`	`FLD026-3.p`	`FLD027-1.p`	`FLD027-3.p`	`FLD028-1.p`
`FLD028-3.p`	`FLD029-1.p`	`FLD029-3.p`	`FLD030-1.p`	`FLD030-2.p`	`FLD030-3.p`	`FLD030-4.p`
`FLD031-1.p`	`FLD031-3.p`	`FLD031-5.p`	`FLD032-1.p`	`FLD032-3.p`	`FLD033-1.p`	`FLD033-3.p`
`FLD034-1.p`	`FLD034-3.p`	`FLD035-1.p`	`FLD035-3.p`	`FLD036-1.p`	`FLD036-3.p`	`FLD037-1.p`
`FLD037-3.p`	`FLD038-1.p`	`FLD038-3.p`	`FLD039-1.p`	`FLD039-3.p`	`FLD040-1.p`	`FLD040-3.p`
`FLD040-5.p`	`FLD041-1.p`	`FLD041-2.p`	`FLD041-3.p`	`FLD041-4.p`	`FLD042-1.rm`	`FLD042-3.rm`
`FLD043-1.p`	`FLD043-3.p`	`FLD043-5.p`	`FLD044-1.p`	`FLD044-2.p`	`FLD044-3.p`	`FLD044-4.p`
`FLD045-1.p`	`FLD045-2.p`	`FLD045-3.p`	`FLD045-4.p`	`FLD046-1.p`	`FLD046-3.p`	`FLD047-1.p`
`FLD047-2.p`	`FLD047-3.p`	`FLD047-4.p`	`FLD048-1.p`	`FLD048-2.p`	`FLD048-3.p`	`FLD048-4.p`
`FLD049-1.p`	`FLD049-2.p`	`FLD049-3.p`	`FLD049-4.p`	`FLD050-1.p`	`FLD050-2.p`	`FLD050-3.p`
`FLD050-4.p`	`FLD051-1.p`	`FLD051-2.p`	`FLD051-3.p`	`FLD051-4.p`	`FLD052-1.p`	`FLD052-2.p`
`FLD052-3.p`	`FLD052-4.p`	`FLD053-1.p`	`FLD053-2.p`	`FLD053-3.p`	`FLD053-4.p`	`FLD054-1.p`
`FLD054-2.p`	`FLD054-3.p`	`FLD054-4.p`	`FLD055-1.p`	`FLD055-3.p`	`FLD056-1.p`	`FLD056-3.p`
`FLD057-1.p`	`FLD057-3.p`	`FLD058-1.p`	`FLD058-3.p`	`FLD059-1.p`	`FLD059-2.p`	`FLD059-3.p`
`FLD059-4.p`	`FLD060-1.p`	`FLD060-2.p`	`FLD060-3.p`	`FLD060-4.p`	`FLD061-1.p`	`FLD061-2.p`
`FLD061-3.p`	`FLD061-4.p`	`FLD062-1.p`	`FLD062-3.p`	`FLD063-1.p`	`FLD063-3.p`	`FLD064-1.p`
`FLD064-3.p`	`FLD065-1.p`	`FLD065-3.p`	`FLD066-1.p`	`FLD066-3.p`	`FLD067-1.p`	`FLD067-2.p`
`FLD067-3.p`	`FLD067-4.p`	`FLD068-1.p`	`FLD068-2.p`	`FLD068-3.p`	`FLD068-4.p`	`FLD069-1.p`
`FLD069-3.p`	`FLD070-1.p`	`FLD070-2.p`	`FLD070-3.p`	`FLD070-4.p`	`FLD071-1.p`	`FLD071-2.p`
`FLD071-3.p`	`FLD071-4.p`	`FLD072-1.p`	`FLD072-2.p`	`FLD072-3.p`	`FLD072-4.p`	`FLD073-1.p`
`FLD073-2.p`	`FLD073-3.p`	`FLD073-4.p`	`FLD074-1.p`	`FLD074-2.p`	`FLD074-3.p`	`FLD074-4.p`
`FLD075-1.p`	`FLD075-2.p`	`FLD075-3.p`	`FLD075-4.p`	`FLD076-1.p`	`FLD076-2.p`	`FLD076-3.p`
`FLD076-4.p`	`FLD077-1.p`	`FLD077-2.p`	`FLD077-3.p`	`FLD077-4.p`	`FLD078-1.p`	`FLD078-2.p`
`FLD078-3.p`	`FLD078-4.p`	`FLD079-1.p`	`FLD079-2.p`	`FLD079-3.p`	`FLD079-4.p`	`FLD080-1.p`
`FLD080-2.p`	`FLD080-3.p`	`FLD080-4.p`	`FLD081-1.p`	`FLD081-2.p`	`FLD081-3.p`	`FLD081-4.p`
`FLD082-1.p`	`FLD082-3.p`	`FLD083-1.p`	`FLD083-3.p`	`FLD084-1.p`	`FLD084-3.p`	`FLD085-1.p`
`FLD085-3.p`	`FLD086-1.p`	`FLD086-3.p`	`FLD087-1.p`	`FLD087-3.p`	`FLD088-1.p`	`FLD088-3.p`
`FLD089-1.p`	`FLD089-3.p`	`FLD090-1.p`	`FLD090-3.p`	`FLD091-1.p`	`FLD091-3.p`	`FLD092-1.p`
`FLD092-3.p`	`FLD093-1.p`	`FLD093-3.p`	`FLD094-1.p`	`FLD094-3.p`	`FLD095-1.p`	`FLD095-2.p`
`FLD095-3.p`	`FLD095-4.p`	`FLD096-1.p`	`FLD096-2.p`	`FLD096-3.p`	`FLD096-4.p`	`FLD097-1.p`
`FLD097-2.p`	`FLD097-3.p`	`FLD097-4.p`	`FLD098-1.p`	`FLD098-2.p`	`FLD098-3.p`	`FLD098-4.p`
`FLD099-1.p`	`FLD099-2.p`	`FLD099-3.p`	`FLD099-4.p`	`FLD100-1.p`	`FLD100-2.p`	`FLD100-3.p`
`FLD100-4.p`	`FLD101-1.p`	`FLD102-1.p`