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`	`SWX122_1.p`	`SWX123_1.p`	`SWX124_1.p`	`SWX125_1.p`
`SWX126_1.p`	`SWX127_1.p`	`SWX128_1.p`	`SWX129_1.p`	`SWX130_1.p`	`SWX131_1.p`	`SWX132_1.p`
`SWX133_1.p`	`SWX134_1.p`	`SWX135_1.p`	`SWX136_1.p`	`SWX137_1.p`	`SWX138_1.p`	`SWX139_1.p`
`SWX140_1.p`	`SWX141_1.p`	`SWX142_1.p`	`SWX143_1.p`	`SWX144_1.p`	`SWX145_1.p`	`SWX146_1.p`
`SWX147_1.p`	`SWX148_1.p`	`SWX149_1.p`	`SWX150_1.p`	`SWX151_1.p`	`SWX152_1.p`	`SWX153_1.p`
`SWX154^1.p`	`SWX155^1.p`	`SWX156^1.p`	`SWX157^1.p`	`SWX158^1.p`	`SWX159^1.p`	`SWX160^1.p`
`SWX161^1.p`	`SWX162^1.p`	`SWX163^1.p`	`SWX164^1.p`	`SWX165^1.p`	`SWX166^1.p`	`SWX167^1.p`
`SWX168^1.p`	`SWX169^1.p`	`SWX170^1.p`	`SWX171^1.p`	`SWX172^1.p`	`SWX173^1.p`	`SWX174^1.p`
`SWX175^1.p`	`SWX176^1.p`	`SWX177^1.p`	`SWX178^1.p`	`SWX179^1.p`	`SWX180^1.p`	`SWX181^1.p`
`SWX182^1.p`	`SWX183^1.p`	`SWX184^1.p`	`SWX185+1.p`	`SWX185-1.p`	`SWX186+1.p`	`SWX186-1.p`
`SWX187+1.p`	`SWX187-1.p`	`SWX188+1.p`	`SWX188-1.p`	`SWX189+1.p`	`SWX189-1.p`	`SWX190+1.p`
`SWX190-1.p`	`SWX191+1.p`	`SWX191-1.p`	`SWX192+1.p`	`SWX192-1.p`	`SWX193+1.p`	`SWX193-1.p`
`SWX194+1.p`	`SWX194-1.p`	`SWX195+1.p`	`SWX195-1.p`	`SWX196+1.p`	`SWX196-1.p`	`SWX197+1.p`
`SWX197-1.p`	`SWX198+1.p`	`SWX198-1.p`	`SWX199+1.p`	`SWX199-1.p`	`SWX200+1.p`	`SWX200-1.p`
`SWX201+1.p`	`SWX201-1.p`	`SWX202+1.p`	`SWX202-1.p`	`SWX203+1.p`	`SWX203-1.p`	`SWX204+1.p`
`SWX204-1.p`	`SWX205+1.p`	`SWX205-1.p`	`SWX206+1.p`	`SWX206-1.p`	`SWX207+1.p`	`SWX207-1.p`
`SWX208+1.p`	`SWX208-1.p`	`SWX209+1.p`	`SWX209-1.p`	`SWX210+1.p`	`SWX210-1.p`	`SWX211+1.p`
`SWX211-1.p`	`SWX212+1.p`	`SWX212-1.p`	`SWX213+1.p`	`SWX213-1.p`	`SWX214+1.p`	`SWX214-1.p`
`SWX215+1.p`	`SWX215-1.p`	`SWX216+1.p`	`SWX216-1.p`	`SWX217+1.p`	`SWX217-1.p`	`SWX218+1.p`
`SWX218-1.p`	`SWX219+1.p`	`SWX219-1.p`	`SWX220+1.p`	`SWX220-1.p`	`SWX221+1.p`	`SWX221-1.p`
`SWX222+1.p`	`SWX222-1.p`	`SWX223+1.p`	`SWX223-1.p`	`SWX224+1.p`	`SWX224-1.p`	`SWX225+1.p`
`SWX225-1.p`	`SWX226+1.p`	`SWX226-1.p`	`SWX227+1.p`	`SWX227-1.p`	`SWX228-1.p`	`SWX228_1.p`
`SWX229-1.p`	`SWX229_1.p`	`SWX230-1.p`	`SWX230_1.p`	`SWX231-1.p`	`SWX231_1.p`	`SWX232-1.p`
`SWX232_1.p`	`SWX233-1.p`	`SWX233_1.p`	`SWX234-1.p`	`SWX234_1.p`	`SWX235-1.p`	`SWX235_1.p`
`SWX236-1.p`	`SWX236_1.p`	`SWX237-1.p`	`SWX237_1.p`	`SWX238-1.p`	`SWX238_1.p`	`SWX239-1.p`
`SWX239_1.p`	`SWX240-1.p`	`SWX240_1.p`	`SWX241-1.p`	`SWX241_1.p`	`SWX242-1.p`	`SWX242_1.p`