TPTP Problem Domain: SYP

`SYP000^1.p`	`SYP001^1.p`	`SYP002^1.p`	`SYP003^1.p`	`SYP004^1.p`	`SYP005^1.p`	`SYP006^1.p`
`SYP007^1.p`	`SYP008_1.p`	`SYP009_1.p`	`SYP010_1.p`	`SYP011_1.p`	`SYP012_1.p`	`SYP013_1.p`
`SYP014_1.p`	`SYP015_1.p`	`SYP016_1.p`	`SYP017_1.p`	`SYP018_1.p`	`SYP019_1.p`	`SYP020_1.p`
`SYP021_1.p`	`SYP022_1.p`	`SYP023_1.p`	`SYP024_1.p`	`SYP025_1.p`	`SYP026_1.p`	`SYP027_1.p`
`SYP028_1.p`	`SYP029_1.p`	`SYP030_1.p`	`SYP031_1.p`	`SYP032_1.p`	`SYP033_1.p`	`SYP034_1.p`
`SYP035_1.p`	`SYP036_1.p`	`SYP037_1.p`	`SYP038_1.p`	`SYP039_1.p`	`SYP040_1.p`	`SYP041_1.p`
`SYP042_1.p`	`SYP043_1.p`	`SYP044_1.p`	`SYP045_1.p`	`SYP046_1.p`	`SYP047_1.p`	`SYP048_1.p`
`SYP049_1.p`	`SYP050_1.p`	`SYP051_1.p`	`SYP052_1.p`	`SYP053_1.p`	`SYP054_1.p`	`SYP055_1.p`
`SYP056_1.p`	`SYP057_1.p`	`SYP058_1.p`	`SYP059_1.p`	`SYP060_1.p`	`SYP061_1.p`	`SYP062_1.p`
`SYP063_1.p`	`SYP064_1.p`	`SYP065_1.p`	`SYP066_1.p`	`SYP067_1.p`	`SYP068_1.p`	`SYP069_1.p`
`SYP070_1.p`	`SYP071_1.p`	`SYP072_1.p`	`SYP073_1.p`	`SYP074_1.p`	`SYP075_1.p`	`SYP076_1.p`
`SYP077_1.p`	`SYP078_1.p`	`SYP079_1.p`	`SYP080_1.p`	`SYP081_1.p`	`SYP082_1.p`	`SYP083_1.p`
`SYP084_1.p`	`SYP085_1.p`	`SYP086_1.p`	`SYP087_1.p`	`SYP088_1.p`	`SYP089_1.p`	`SYP090_1.p`
`SYP091_1.p`	`SYP092_1.p`	`SYP093_1.p`	`SYP094_1.p`	`SYP095_1.p`	`SYP096_1.p`	`SYP097_1.p`
`SYP098_1.p`	`SYP099_1.p`	`SYP100_1.p`	`SYP101_1.p`	`SYP102_1.p`	`SYP103_1.p`	`SYP104_1.p`
`SYP105_1.p`	`SYP106_1.p`	`SYP107_1.p`	`SYP108_1.p`	`SYP109_1.p`	`SYP110_1.p`	`SYP111_1.p`
`SYP112_1.p`	`SYP113_1.p`	`SYP114_1.p`	`SYP115_1.p`	`SYP116_1.p`	`SYP117^1.p`	`SYP118^1.p`
`SYP119^1.p`