TPTP Problem Domain: TIM

`TIM001_1.p`	`TIM002_1.p`	`TIM003_1.p`	`TIM004_1.p`	`TIM005_1.p`	`TIM006_1.p`	`TIM007_1.p`
`TIM008_1.p`	`TIM009_1.p`	`TIM010_1.p`	`TIM011_1.p`	`TIM012_1.p`	`TIM013_1.p`	`TIM014_1.p`
`TIM015_1.p`	`TIM016_1.p`	`TIM017_1.p`	`TIM018_1.p`	`TIM019_1.p`	`TIM020_1.p`	`TIM021_1.p`
`TIM022_1.p`	`TIM023_1.p`	`TIM024_1.p`	`TIM025_1.p`	`TIM026_1.p`	`TIM027_1.p`	`TIM028_1.p`
`TIM029_1.p`	`TIM030_1.p`	`TIM031_1.p`	`TIM032_1.p`	`TIM033_1.p`	`TIM034_1.p`	`TIM035_1.p`
`TIM036_1.p`