TPTP Problem Domain: SWX

`SWX000_1.p`	`SWX001_1.p`	`SWX002_1.p`	`SWX003_1.p`	`SWX004_1.p`	`SWX005_1.p`	`SWX006_1.p`
`SWX007_1.p`	`SWX008_1.p`	`SWX009_1.p`	`SWX010_1.p`	`SWX011_1.p`	`SWX012_1.p`	`SWX013_1.p`
`SWX014_1.p`	`SWX015_1.p`	`SWX016_1.p`	`SWX017_1.p`	`SWX018_1.p`	`SWX019_1.p`	`SWX020_1.p`
`SWX021_1.p`	`SWX022+1.p`	`SWX023+1.p`	`SWX024+1.p`	`SWX025+1.p`	`SWX026+1.p`	`SWX027+1.p`
`SWX028+1.p`	`SWX029+1.p`	`SWX030+1.p`	`SWX031+1.p`	`SWX032+1.p`	`SWX033+1.p`	`SWX034+1.p`
`SWX035+1.p`	`SWX036+1.p`	`SWX037+1.p`	`SWX038+1.p`	`SWX039+1.p`	`SWX040+1.p`	`SWX041+1.p`
`SWX042+1.p`	`SWX043+1.p`	`SWX044+1.p`	`SWX045+1.p`	`SWX046+1.p`	`SWX047+1.p`	`SWX048+1.p`
`SWX049+1.p`	`SWX050+1.p`	`SWX051+1.p`	`SWX052+1.p`	`SWX053+1.p`	`SWX054+1.p`	`SWX055+1.p`
`SWX056+1.p`	`SWX057+1.p`	`SWX058+1.p`	`SWX059+1.p`	`SWX060+1.p`	`SWX061+1.p`	`SWX062+1.p`
`SWX063+1.p`	`SWX064+1.p`	`SWX065+1.p`	`SWX066+1.p`	`SWX067+1.p`	`SWX068+1.p`	`SWX069+1.p`
`SWX070+1.p`	`SWX071+1.p`	`SWX072_1.p`	`SWX073_1.p`	`SWX074_1.p`	`SWX075_1.p`	`SWX076_1.p`
`SWX077_1.p`	`SWX078_1.p`	`SWX079_1.p`	`SWX080_1.p`	`SWX081_1.p`	`SWX082_1.p`	`SWX083_1.p`
`SWX084_1.p`	`SWX085_1.p`	`SWX086_1.p`	`SWX087_1.p`	`SWX088_1.p`	`SWX089_1.p`	`SWX090_1.p`
`SWX091_1.p`	`SWX092_1.p`	`SWX093_1.p`	`SWX094_1.p`	`SWX095_1.p`	`SWX096_1.p`	`SWX097_1.p`
`SWX098_1.p`	`SWX099_1.p`	`SWX100_1.p`	`SWX101_1.p`	`SWX102_1.p`	`SWX103_1.p`	`SWX104_1.p`
`SWX105_1.p`	`SWX106_1.p`	`SWX107_1.p`	`SWX108_1.p`	`SWX109_1.p`	`SWX110_1.p`	`SWX111_1.p`
`SWX112_1.p`	`SWX113_1.p`	`SWX114_1.p`	`SWX115_1.p`	`SWX116_1.p`	`SWX117_1.p`	`SWX118_1.p`
`SWX119_1.p`	`SWX120_1.p`	`SWX121_1.p`