TPTP Problem Domain: SWB

`SWB001+1.p`	`SWB001+2.p`	`SWB001+3.p`	`SWB001+4.p`	`SWB002+1.p`	`SWB002+2.p`	`SWB002+3.p`
`SWB002+4.p`	`SWB003+1.p`	`SWB003+2.p`	`SWB003+3.p`	`SWB003+4.p`	`SWB004-10.p`	`SWB004+1.p`
`SWB004+2.p`	`SWB004+3.p`	`SWB004+4.p`	`SWB005-10.p`	`SWB005+1.p`	`SWB005+2.p`	`SWB005+3.p`
`SWB005+4.p`	`SWB006-10.p`	`SWB006+1.p`	`SWB006+2.p`	`SWB006+3.p`	`SWB006+4.p`	`SWB007-10.p`
`SWB007+1.p`	`SWB007+2.p`	`SWB007+3.p`	`SWB007+4.p`	`SWB008-10.p`	`SWB008+1.p`	`SWB008+2.p`
`SWB008+3.p`	`SWB008+4.p`	`SWB009-10.p`	`SWB009+1.p`	`SWB009+2.p`	`SWB009+3.p`	`SWB009+4.p`
`SWB010-10.p`	`SWB010+1.p`	`SWB010+2.p`	`SWB010+3.p`	`SWB010+4.p`	`SWB011+1.p`	`SWB011+2.p`
`SWB011+3.p`	`SWB011+4.p`	`SWB012-10.p`	`SWB012+1.p`	`SWB012+2.p`	`SWB012+3.p`	`SWB012+4.p`
`SWB013-10.p`	`SWB013+1.p`	`SWB013+2.p`	`SWB013+3.p`	`SWB013+4.p`	`SWB014-10.p`	`SWB014+1.p`
`SWB014+2.p`	`SWB014+3.p`	`SWB014+4.p`	`SWB015-10.p`	`SWB015+1.p`	`SWB015+2.p`	`SWB015+3.p`
`SWB015+4.p`	`SWB016-10.p`	`SWB016+1.p`	`SWB016+2.p`	`SWB016+3.p`	`SWB016+4.p`	`SWB017-10.p`
`SWB017+1.p`	`SWB017+2.p`	`SWB017+3.p`	`SWB017+4.p`	`SWB018-10.p`	`SWB018+1.p`	`SWB018+2.p`
`SWB018+3.p`	`SWB018+4.p`	`SWB019+1.p`	`SWB019+2.p`	`SWB019+3.p`	`SWB019+4.p`	`SWB020-10.p`
`SWB020+1.p`	`SWB020+2.p`	`SWB020+3.p`	`SWB020+4.p`	`SWB021-10.p`	`SWB021+1.p`	`SWB021+2.p`
`SWB021+3.p`	`SWB021+4.p`	`SWB022-10.p`	`SWB022+1.p`	`SWB022+2.p`	`SWB022+3.p`	`SWB022+4.p`
`SWB023-10.p`	`SWB023+1.p`	`SWB023+2.p`	`SWB023+3.p`	`SWB023+4.p`	`SWB024-10.p`	`SWB024+1.p`
`SWB024+2.p`	`SWB024+3.p`	`SWB024+4.p`	`SWB025-10.p`	`SWB025+1.p`	`SWB025+2.p`	`SWB025+3.p`
`SWB025+4.p`	`SWB026-10.p`	`SWB026+1.p`	`SWB026+2.p`	`SWB026+3.p`	`SWB026+4.p`	`SWB027-10.p`
`SWB027+1.p`	`SWB027+2.p`	`SWB027+3.p`	`SWB027+4.p`	`SWB028-10.p`	`SWB028+1.p`	`SWB028+2.p`
`SWB028+3.p`	`SWB028+4.p`	`SWB029-10.p`	`SWB029+1.p`	`SWB029+2.p`	`SWB029+3.p`	`SWB029+4.p`
`SWB030+1.p`	`SWB030+2.p`	`SWB030+3.p`	`SWB030+4.p`	`SWB031+1.p`	`SWB031+2.p`	`SWB031+3.p`
`SWB031+4.p`	`SWB032-10.p`	`SWB032+1.p`	`SWB032+2.p`	`SWB032+3.p`	`SWB032+4.p`	`SWB033+1.p`
`SWB034+1.p`	`SWB035+1.p`	`SWB036+1.p`	`SWB037+1.p`	`SWB038+1.p`	`SWB039+1.p`	`SWB040+1.p`
`SWB041+1.p`	`SWB042+1.p`	`SWB043+1.p`	`SWB044+1.p`	`SWB045+1.p`	`SWB046+1.p`	`SWB047+1.p`
`SWB048+1.p`	`SWB049+1.p`	`SWB050+1.p`	`SWB051+1.p`	`SWB052+1.p`	`SWB053+1.p`	`SWB054+1.p`
`SWB055+1.p`	`SWB056+1.p`	`SWB057+1.p`	`SWB058+1.p`	`SWB059+1.p`	`SWB060+1.p`	`SWB061+1.p`
`SWB062+1.p`	`SWB063+1.p`	`SWB064+1.p`	`SWB065+1.p`	`SWB066+1.p`	`SWB067+1.p`	`SWB068+1.p`
`SWB069+1.p`	`SWB070+1.p`	`SWB071+1.p`	`SWB072+1.p`	`SWB073+1.p`	`SWB074+1.p`	`SWB075+1.p`
`SWB076+1.p`	`SWB077+1.p`	`SWB078+1.p`	`SWB079+1.p`	`SWB080+1.p`	`SWB081+1.p`	`SWB082+1.p`
`SWB083+1.p`	`SWB084+1.p`	`SWB085+1.p`	`SWB086+1.p`	`SWB087+1.p`	`SWB088+1.p`	`SWB089+1.p`
`SWB090+1.p`	`SWB091+1.p`	`SWB092+1.p`	`SWB093+1.p`	`SWB094+1.p`	`SWB095+1.p`	`SWB096+1.p`
`SWB097+1.p`	`SWB098+1.p`	`SWB099+1.p`	`SWB100+1.p`	`SWB101+1.p`	`SWB102+1.p`	`SWB103+1.p`
`SWB104+1.p`	`SWB105+1.p`	`SWB106+1.p`	`SWB107+1.p`	`SWB108+1.p`	`SWB109^15.p`	`SWB109_15.p`
`SWB109^3.p`	`SWB109_3.p`