TPTP Problem Domain: SWW

`SWW000_1.p`	`SWW001_1.p`	`SWW002_1.p`	`SWW003_1.p`	`SWW004_1.p`	`SWW005_1.p`	`SWW006_1.p`
`SWW007_1.p`	`SWW008_1.p`	`SWW009_1.p`	`SWW010_1.p`	`SWW011_1.p`	`SWW012_1.p`	`SWW013_1.p`
`SWW014_1.p`	`SWW015_1.p`	`SWW016_1.p`	`SWW017_1.p`	`SWW018_1.p`	`SWW019_1.p`	`SWW020_1.p`
`SWW021_1.p`	`SWW022_1.p`	`SWW023_1.p`	`SWW024_1.p`	`SWW025_1.p`	`SWW026_1.p`	`SWW027_1.p`
`SWW028_1.p`	`SWW029_1.p`	`SWW030_1.p`	`SWW031_1.p`	`SWW032_1.p`	`SWW033_1.p`	`SWW034_1.p`
`SWW035_1.p`	`SWW036_1.p`	`SWW037_1.p`	`SWW038_1.p`	`SWW039_1.p`	`SWW040_1.p`	`SWW041_1.p`
`SWW042_1.p`	`SWW043_1.p`	`SWW044_1.p`	`SWW045_1.p`	`SWW046_1.p`	`SWW047_1.p`	`SWW048_1.p`
`SWW049_1.p`	`SWW050_1.p`	`SWW051_1.p`	`SWW052_1.p`	`SWW053_1.p`	`SWW054_1.p`	`SWW055_1.p`
`SWW056_1.p`	`SWW057_1.p`	`SWW058_1.p`	`SWW059_1.p`	`SWW060_1.p`	`SWW061_1.p`	`SWW062_1.p`
`SWW063_1.p`	`SWW064_1.p`	`SWW065_1.p`	`SWW066_1.p`	`SWW067_1.p`	`SWW068_1.p`	`SWW069_1.p`
`SWW070_1.p`	`SWW071_1.p`	`SWW072_1.p`	`SWW073_1.p`	`SWW074_1.p`	`SWW075_1.p`	`SWW076_1.p`
`SWW077_1.p`	`SWW078_1.p`	`SWW079_1.p`	`SWW080_1.p`	`SWW081_1.p`	`SWW082_1.p`	`SWW083_1.p`
`SWW084_1.p`	`SWW085_1.p`	`SWW086_1.p`	`SWW087_1.p`	`SWW088_1.p`	`SWW089_1.p`	`SWW090_1.p`
`SWW091_1.p`	`SWW092_1.p`	`SWW093_1.p`	`SWW094_1.p`	`SWW095+1.p`	`SWW096+1.p`	`SWW097+1.p`
`SWW098+1.p`	`SWW099+1.p`	`SWW100+1.p`	`SWW101+1.p`	`SWW102+1.p`	`SWW103+1.p`	`SWW104+1.rm`
`SWW105+1.rm`	`SWW106+1.rm`	`SWW107+1.rm`	`SWW108+1.rm`	`SWW109+1.rm`	`SWW110+1.rm`	`SWW111+1.rm`
`SWW112+1.rm`	`SWW113+1.rm`	`SWW114+1.rm`	`SWW115+1.rm`	`SWW116+1.rm`	`SWW117+1.rm`	`SWW118+1.rm`
`SWW119+1.rm`	`SWW120+1.rm`	`SWW121+1.rm`	`SWW122+1.rm`	`SWW123+1.rm`	`SWW124+1.rm`	`SWW125+1.rm`
`SWW126+1.rm`	`SWW127+1.rm`	`SWW128+1.rm`	`SWW129+1.rm`	`SWW130+1.rm`	`SWW131+1.rm`	`SWW132+1.rm`
`SWW133+1.rm`	`SWW134+1.rm`	`SWW135+1.rm`	`SWW136+1.rm`	`SWW137+1.rm`	`SWW138+1.rm`	`SWW139+1.rm`
`SWW140+1.rm`	`SWW141+1.rm`	`SWW142+1.rm`	`SWW143+1.rm`	`SWW144+1.rm`	`SWW145+1.rm`	`SWW146+1.rm`
`SWW147+1.rm`	`SWW148+1.rm`	`SWW149+1.rm`	`SWW150+1.rm`	`SWW151+1.rm`	`SWW152+1.rm`	`SWW153+1.rm`
`SWW154+1.rm`	`SWW155+1.rm`	`SWW156+1.rm`	`SWW157+1.rm`	`SWW158+1.rm`	`SWW159+1.rm`	`SWW160+1.rm`
`SWW161+1.rm`	`SWW162+1.rm`	`SWW163+1.rm`	`SWW164+1.rm`	`SWW165+1.rm`	`SWW166+1.rm`	`SWW167+1.rm`
`SWW168+1.rm`	`SWW169+1.rm`	`SWW170+1.rm`	`SWW171+1.p`	`SWW172+1.p`	`SWW173+1.p`	`SWW174+1.p`
`SWW175+1.p`	`SWW176+1.p`	`SWW177+1.p`	`SWW178+1.p`	`SWW179+1.p`	`SWW180+1.p`	`SWW181+1.p`
`SWW182+1.p`	`SWW183+1.p`	`SWW184+1.p`	`SWW185+1.p`	`SWW186+1.p`	`SWW187+1.p`	`SWW188+1.p`
`SWW189+1.p`	`SWW190+1.p`	`SWW191+1.p`	`SWW192+1.p`	`SWW193+1.p`	`SWW194+1.p`	`SWW195+1.p`
`SWW196+1.p`	`SWW197+1.p`	`SWW198+1.p`	`SWW199+1.p`	`SWW200+1.p`	`SWW201+1.p`	`SWW202+1.p`
`SWW203+1.p`	`SWW204+1.p`	`SWW205+1.p`	`SWW206+1.p`	`SWW207+1.p`	`SWW208+1.p`	`SWW209+1.p`
`SWW210+1.p`	`SWW211+1.p`	`SWW212+1.p`	`SWW213+1.p`	`SWW214+1.p`	`SWW215+1.p`	`SWW216+1.p`
`SWW217+1.p`	`SWW218+1.p`	`SWW219+1.p`	`SWW220+1.p`	`SWW221+1.p`	`SWW222+1.p`	`SWW223+1.p`
`SWW224+1.p`	`SWW225+1.p`	`SWW226+1.p`	`SWW227+1.p`	`SWW228+1.p`	`SWW229+1.p`	`SWW230+1.p`
`SWW231+1.p`	`SWW232+1.p`	`SWW233+1.p`	`SWW234+1.p`	`SWW235+1.p`	`SWW236+1.p`	`SWW237+1.p`
`SWW238+1.p`	`SWW239+1.p`	`SWW240+1.p`	`SWW241+1.p`	`SWW242+1.p`	`SWW243+1.p`	`SWW244+1.p`
`SWW245+1.p`	`SWW246+1.p`	`SWW247+1.p`	`SWW248+1.p`	`SWW249+1.p`	`SWW250+1.p`	`SWW251+1.p`
`SWW252+1.p`	`SWW253+1.p`	`SWW254+1.p`	`SWW255+1.p`	`SWW256+1.p`	`SWW257+1.p`	`SWW258+1.p`
`SWW259+1.p`	`SWW260+1.p`	`SWW261+1.p`	`SWW262+1.p`	`SWW263+1.p`	`SWW264+1.p`	`SWW265+1.p`
`SWW266+1.p`	`SWW267+1.p`	`SWW268+1.p`	`SWW269+1.p`	`SWW270+1.p`	`SWW271+1.p`	`SWW272+1.p`
`SWW273+1.p`	`SWW274+1.p`	`SWW275+1.p`	`SWW276+1.p`	`SWW277+1.p`	`SWW278+1.p`	`SWW279+1.p`
`SWW280+1.p`	`SWW281+1.p`	`SWW282+1.p`	`SWW283+1.p`	`SWW284+1.p`	`SWW285+1.p`	`SWW286+1.p`
`SWW287+1.p`	`SWW288+1.p`	`SWW289+1.p`	`SWW290+1.p`	`SWW291+1.p`	`SWW292+1.p`	`SWW293+1.p`
`SWW294+1.p`	`SWW295+1.p`	`SWW296+1.p`	`SWW297+1.p`	`SWW298+1.p`	`SWW299+1.p`	`SWW300+1.p`
`SWW301+1.p`	`SWW302+1.p`	`SWW303+1.p`	`SWW304+1.p`	`SWW305+1.p`	`SWW306+1.p`	`SWW307+1.p`
`SWW308+1.p`	`SWW309+1.p`	`SWW310+1.p`	`SWW311+1.p`	`SWW312+1.p`	`SWW313+1.p`	`SWW314+1.p`
`SWW315+1.p`	`SWW316+1.p`	`SWW317+1.p`	`SWW318+1.p`	`SWW319+1.p`	`SWW320+1.p`	`SWW321+1.p`
`SWW322+1.p`	`SWW323+1.p`	`SWW324+1.p`	`SWW325+1.p`	`SWW326+1.p`	`SWW327+1.p`	`SWW328+1.p`
`SWW329+1.p`	`SWW330+1.p`	`SWW331+1.p`	`SWW332+1.p`	`SWW333+1.p`	`SWW334+1.p`	`SWW335+1.p`
`SWW336+1.p`	`SWW337+1.p`	`SWW338+1.p`	`SWW339+1.p`	`SWW340+1.p`	`SWW341+1.p`	`SWW342+1.p`
`SWW343+1.p`	`SWW344+1.p`	`SWW345+1.p`	`SWW346+1.p`	`SWW347+1.p`	`SWW348+1.p`	`SWW349+1.p`
`SWW350+1.p`	`SWW351+1.p`	`SWW352+1.p`	`SWW353+1.p`	`SWW354+1.p`	`SWW355+1.p`	`SWW356+1.p`
`SWW357+1.p`	`SWW358+1.p`	`SWW359+1.p`	`SWW360+1.p`	`SWW361+1.p`	`SWW362+1.p`	`SWW363+1.p`
`SWW364+1.p`	`SWW365+1.p`	`SWW366+1.p`	`SWW367+1.p`	`SWW368+1.p`	`SWW369+1.p`	`SWW370+1.p`
`SWW371+1.p`	`SWW372+1.p`	`SWW373+1.p`	`SWW374+1.p`	`SWW375+1.p`	`SWW376+1.p`	`SWW377+1.p`
`SWW378+1.p`	`SWW379+1.p`	`SWW380+1.p`	`SWW381+1.p`	`SWW382+1.p`	`SWW383+1.p`	`SWW384+1.p`
`SWW385+1.p`	`SWW386+1.p`	`SWW387+1.p`	`SWW388+1.p`	`SWW389+1.p`	`SWW390+1.p`	`SWW391+1.p`
`SWW392+1.p`	`SWW393+1.p`	`SWW394+1.p`	`SWW395+1.p`	`SWW396+1.p`	`SWW397-1.p`	`SWW398-1.p`
`SWW399-1.p`	`SWW400-1.p`	`SWW401-1.p`	`SWW402-1.p`	`SWW403-1.p`	`SWW404-1.p`	`SWW405-1.p`
`SWW406-1.p`	`SWW407-1.p`	`SWW408-1.p`	`SWW409-1.p`	`SWW410-1.p`	`SWW411-1.p`	`SWW412-1.p`
`SWW413-1.p`	`SWW414-1.p`	`SWW415-1.p`	`SWW416-1.p`	`SWW417-1.p`	`SWW418-1.p`	`SWW419-1.p`
`SWW420-1.p`	`SWW421-1.p`	`SWW422-1.p`	`SWW423-1.p`	`SWW424-1.p`	`SWW425-1.p`	`SWW426-1.p`
`SWW427-1.p`	`SWW428-1.p`	`SWW429-1.p`	`SWW430-1.p`	`SWW431-1.p`	`SWW432-1.p`	`SWW433-1.p`
`SWW434-1.p`	`SWW435-1.p`	`SWW436-1.p`	`SWW437-1.p`	`SWW438-1.p`	`SWW439-1.p`	`SWW440-1.p`
`SWW441-1.p`	`SWW442-1.p`	`SWW443-1.p`	`SWW444-1.p`	`SWW445-1.p`	`SWW446-1.p`	`SWW447-1.p`
`SWW448-1.p`	`SWW449-1.p`	`SWW450-1.p`	`SWW451-1.p`	`SWW452-1.p`	`SWW453-1.p`	`SWW454-1.p`
`SWW455-1.p`	`SWW456-1.p`	`SWW457-1.p`	`SWW458-1.p`	`SWW459-1.p`	`SWW460-1.p`	`SWW461-1.p`
`SWW462-1.p`	`SWW463-1.p`	`SWW464-1.p`	`SWW465-1.p`	`SWW466-1.p`	`SWW467-1.p`	`SWW468-1.p`
`SWW469_10.p`	`SWW469+1.p`	`SWW469^1.p`	`SWW469_1.p`	`SWW469+5.p`	`SWW469_5.p`	`SWW470_10.p`
`SWW470+1.p`	`SWW470^1.p`	`SWW470_1.p`	`SWW470_20.p`	`SWW470+2.p`	`SWW470^2.p`	`SWW470_2.p`
`SWW470_30.p`	`SWW470+3.p`	`SWW470^3.p`	`SWW470_3.p`	`SWW470+5.p`	`SWW470_5.p`	`SWW470+6.p`
`SWW470+7.p`	`SWW471+1.p`	`SWW471^1.p`	`SWW471_1.p`	`SWW471_20.p`	`SWW471+2.p`	`SWW471^2.p`
`SWW471_2.p`	`SWW471_30.p`	`SWW471+3.p`	`SWW471^3.p`	`SWW471_3.p`	`SWW471+5.p`	`SWW471_5.p`
`SWW471+6.p`	`SWW471+7.p`	`SWW472_10.p`	`SWW472+1.p`	`SWW472^1.p`	`SWW472_1.p`	`SWW472_20.p`
`SWW472+2.p`	`SWW472^2.p`	`SWW472_2.p`	`SWW472_30.p`	`SWW472+3.p`	`SWW472^3.p`	`SWW472_3.p`
`SWW472+5.p`	`SWW472+6.p`	`SWW472+7.p`	`SWW473_10.p`	`SWW473+1.p`	`SWW473^1.p`	`SWW473_1.p`
`SWW473_20.p`	`SWW473+2.p`	`SWW473^2.p`	`SWW473_2.p`	`SWW473_30.p`	`SWW473+3.p`	`SWW473^3.p`
`SWW473_3.p`	`SWW473+5.p`	`SWW473+6.p`	`SWW473+7.p`	`SWW474_10.p`	`SWW474+1.p`	`SWW474^1.p`
`SWW474_1.p`	`SWW474_20.p`	`SWW474+2.p`	`SWW474^2.p`	`SWW474_2.p`	`SWW474_30.p`	`SWW474+3.p`
`SWW474^3.p`	`SWW474_3.p`	`SWW474+5.p`	`SWW474+6.p`	`SWW474+7.p`	`SWW475_10.p`	`SWW475+1.p`
`SWW475^1.p`	`SWW475_1.p`	`SWW475_20.p`	`SWW475+2.p`	`SWW475^2.p`	`SWW475_2.p`	`SWW475_30.p`
`SWW475+3.p`	`SWW475^3.p`	`SWW475_3.p`	`SWW475+5.p`	`SWW475_5.p`	`SWW475+6.p`	`SWW475+7.p`
`SWW476+1.p`	`SWW476^1.p`	`SWW476_1.p`	`SWW476_20.p`	`SWW476+2.p`	`SWW476^2.p`	`SWW476_2.p`
`SWW476_30.p`	`SWW476+3.p`	`SWW476^3.p`	`SWW476_3.p`	`SWW476+5.p`	`SWW476_5.p`	`SWW476+6.p`
`SWW476+7.p`	`SWW477_10.p`	`SWW477+1.p`	`SWW477^1.p`	`SWW477_1.p`	`SWW477_20.p`	`SWW477+2.p`
`SWW477^2.p`	`SWW477_2.p`	`SWW477_30.p`	`SWW477+3.p`	`SWW477^3.p`	`SWW477_3.p`	`SWW477+5.p`
`SWW477_5.p`	`SWW477+6.p`	`SWW477+7.p`	`SWW478_10.p`	`SWW478+1.p`	`SWW478^1.p`	`SWW478_1.p`
`SWW478_20.p`	`SWW478+2.p`	`SWW478^2.p`	`SWW478_2.p`	`SWW478_30.p`	`SWW478+3.p`	`SWW478^3.p`
`SWW478_3.p`	`SWW478+5.p`	`SWW478+6.p`	`SWW478+7.p`	`SWW479_5.p`	`SWW480_5.p`	`SWW481_5.p`
`SWW482_5.p`	`SWW483_5.p`	`SWW484_5.p`	`SWW485_5.p`	`SWW486_5.p`	`SWW487_5.p`	`SWW488_5.p`
`SWW490_5.p`	`SWW491_5.p`	`SWW492_5.p`	`SWW493_5.p`	`SWW494_5.p`	`SWW495_5.p`	`SWW496_5.p`
`SWW497_5.p`	`SWW498_5.p`	`SWW499_5.p`	`SWW500_5.p`	`SWW501_5.p`	`SWW502_5.p`	`SWW503_5.p`
`SWW504_5.p`	`SWW505_5.p`	`SWW506_5.p`	`SWW507_5.p`	`SWW508_5.p`	`SWW509_5.p`	`SWW510_5.p`
`SWW511_5.p`	`SWW512_5.p`	`SWW513_5.p`	`SWW514_5.p`	`SWW515_5.p`	`SWW516_5.p`	`SWW517_5.p`
`SWW518_5.p`	`SWW519_5.p`	`SWW520_5.p`	`SWW521_5.p`	`SWW522_5.p`	`SWW523_5.p`	`SWW524_5.p`
`SWW525_5.p`	`SWW526_5.p`	`SWW527_5.p`	`SWW528_5.p`	`SWW529_5.p`	`SWW530_5.p`	`SWW531_5.p`
`SWW532_5.p`	`SWW533_5.p`	`SWW534_5.p`	`SWW535_5.p`	`SWW536_5.p`	`SWW537_5.p`	`SWW538_5.p`
`SWW539_5.p`	`SWW540_5.p`	`SWW541_5.p`	`SWW542_5.p`	`SWW543_5.p`	`SWW544_5.p`	`SWW545_5.p`
`SWW546_5.p`	`SWW547_5.p`	`SWW548_5.p`	`SWW549_5.p`	`SWW550_5.p`	`SWW551_5.p`	`SWW552_5.p`
`SWW553_5.p`	`SWW554_5.p`	`SWW555_5.p`	`SWW556_5.p`	`SWW557_5.p`	`SWW558_5.p`	`SWW559_5.p`
`SWW560_5.p`	`SWW561_5.p`	`SWW562_5.p`	`SWW563_5.p`	`SWW564_5.p`	`SWW565_5.p`	`SWW566_5.p`
`SWW567_5.p`	`SWW568_5.p`	`SWW569_5.p`	`SWW570_5.p`	`SWW571_5.p`	`SWW572_5.p`	`SWW573_2.p`
`SWW574_2.p`	`SWW575_2.p`	`SWW576_2.p`	`SWW577_2.p`	`SWW578_2.p`	`SWW579_2.p`	`SWW580_2.p`
`SWW581_2.p`	`SWW582_2.p`	`SWW583_2.p`	`SWW584_2.p`	`SWW585_2.p`	`SWW586_2.p`	`SWW587_2.p`
`SWW588_2.p`	`SWW589_2.p`	`SWW590_2.p`	`SWW591_2.p`	`SWW592_2.p`	`SWW593_2.p`	`SWW594_2.p`
`SWW595_2.p`	`SWW596_2.p`	`SWW597_2.p`	`SWW598_2.p`	`SWW599_2.p`	`SWW600_2.p`	`SWW601_2.p`
`SWW602_2.p`	`SWW603_2.p`	`SWW604_2.p`	`SWW605_2.p`	`SWW606_2.p`	`SWW607_2.p`	`SWW608_2.p`
`SWW609_2.p`	`SWW610_2.p`	`SWW611_2.p`	`SWW612_2.p`	`SWW613_2.p`	`SWW614_2.p`	`SWW615_2.p`
`SWW616_2.p`	`SWW617_2.p`	`SWW618_2.p`	`SWW619_2.p`	`SWW620_2.p`	`SWW621_2.p`	`SWW622_2.p`
`SWW623_2.p`	`SWW624_2.p`	`SWW625_2.p`	`SWW626_2.p`	`SWW627_2.p`	`SWW628_2.p`	`SWW629_2.p`
`SWW630_2.p`	`SWW631_2.p`	`SWW632_2.p`	`SWW633_2.p`	`SWW634_2.p`	`SWW635_2.p`	`SWW636_2.p`
`SWW637_2.p`	`SWW638_2.p`	`SWW639_2.p`	`SWW640_2.p`	`SWW641_2.p`	`SWW642_2.p`	`SWW643_2.p`
`SWW644_2.p`	`SWW645_2.p`	`SWW646_2.p`	`SWW647_2.p`	`SWW648_2.p`	`SWW649_2.p`	`SWW650_2.p`
`SWW651_2.p`	`SWW652_2.p`	`SWW653_2.p`	`SWW654_2.p`	`SWW655_2.p`	`SWW656_2.p`	`SWW657_2.p`
`SWW658_2.p`	`SWW659_2.p`	`SWW660_2.p`	`SWW661_2.p`	`SWW662_2.p`	`SWW663_2.p`	`SWW664_2.p`
`SWW665_2.p`	`SWW666_2.p`	`SWW667_2.p`	`SWW668_2.p`	`SWW669_2.p`	`SWW670_2.p`	`SWW671_2.p`
`SWW672_2.p`	`SWW673+1.p`	`SWW674^1.p`	`SWW675-1.p`	`SWW676_1.p`	`SWW677_1.p`	`SWW678_1.p`
`SWW679_1.p`	`SWW680_1.p`	`SWW681_1.p`	`SWW682_1.p`	`SWW683_1.p`	`SWW684_1.p`	`SWW685_1.p`
`SWW686_1.p`	`SWW687_1.p`	`SWW688_1.p`	`SWW689_1.p`	`SWW690_1.p`	`SWW691_1.p`	`SWW692_1.p`
`SWW693_1.p`	`SWW694_1.p`	`SWW695_1.p`	`SWW696_1.p`	`SWW697_1.p`	`SWW698_1.p`	`SWW699_1.p`
`SWW700_1.p`	`SWW701_1.p`	`SWW702_1.p`	`SWW703_1.p`	`SWW704_1.p`	`SWW705_1.p`	`SWW706_1.p`
`SWW707_1.p`	`SWW708_1.p`	`SWW709_1.p`	`SWW710_1.p`	`SWW711_1.p`	`SWW712_1.p`	`SWW713_1.p`
`SWW714_1.p`	`SWW715_1.p`	`SWW716_1.p`	`SWW717_1.p`	`SWW718_1.p`	`SWW719_1.p`	`SWW720_1.p`
`SWW721_1.p`	`SWW722_1.p`	`SWW723_1.p`	`SWW724_1.p`	`SWW725_1.p`	`SWW726_1.p`	`SWW727_1.p`
`SWW728_1.p`	`SWW729_1.p`	`SWW730_1.p`	`SWW731_1.p`	`SWW732_1.p`	`SWW733_1.p`	`SWW734_1.p`
`SWW735_1.p`	`SWW736_1.p`	`SWW737_1.p`	`SWW738_1.p`	`SWW739_1.p`	`SWW740_1.p`	`SWW741_1.p`
`SWW742_1.p`	`SWW743_1.p`	`SWW744_1.p`	`SWW745_1.p`	`SWW746_1.p`	`SWW747_1.p`	`SWW748_1.p`
`SWW749_1.p`	`SWW750_1.p`	`SWW751_1.p`	`SWW752_1.p`	`SWW753_1.p`	`SWW754_1.p`	`SWW755_1.p`
`SWW756_1.p`	`SWW757_1.p`	`SWW758_1.p`	`SWW759_1.p`	`SWW760_1.p`	`SWW761_1.p`	`SWW762_1.p`
`SWW763_1.p`	`SWW764_1.p`	`SWW765_1.p`	`SWW766_1.p`	`SWW767_1.p`	`SWW768_1.p`	`SWW769_1.p`
`SWW770_1.p`	`SWW771_1.p`	`SWW772_1.p`	`SWW773_1.p`	`SWW774_1.p`	`SWW775_1.p`	`SWW776_1.p`
`SWW777_1.p`	`SWW778_1.p`	`SWW779_1.p`	`SWW780_1.p`	`SWW781_1.p`	`SWW782_1.p`	`SWW783_1.p`
`SWW784_1.p`	`SWW785_1.p`	`SWW786_1.p`	`SWW787_1.p`	`SWW788_1.p`	`SWW789_1.p`	`SWW790_1.p`
`SWW791_1.p`	`SWW792_1.p`	`SWW793_1.p`	`SWW794_1.p`	`SWW795_1.p`	`SWW796_1.p`	`SWW797_1.p`
`SWW798_1.p`	`SWW799_1.p`	`SWW800_1.p`	`SWW801_1.p`	`SWW802_1.p`	`SWW803_1.p`	`SWW804_1.p`
`SWW805_1.p`	`SWW806_1.p`	`SWW807_1.p`	`SWW808_1.p`	`SWW809_1.p`	`SWW810_1.p`	`SWW811_1.p`
`SWW812_1.p`	`SWW813_1.p`	`SWW814_1.p`	`SWW815_1.p`	`SWW816_1.p`	`SWW817_1.p`	`SWW818_1.p`
`SWW819_1.p`	`SWW820_1.p`	`SWW821_1.p`	`SWW822_1.p`	`SWW823_1.p`	`SWW824_1.p`	`SWW825_1.p`
`SWW826_1.p`	`SWW827_1.p`	`SWW828_1.p`	`SWW829_1.p`	`SWW830_1.p`	`SWW831_1.p`	`SWW832_1.p`
`SWW833_1.p`	`SWW834_1.p`	`SWW835_1.p`	`SWW836_1.p`	`SWW837_1.p`	`SWW838_1.p`	`SWW839_1.p`
`SWW840_1.p`	`SWW841_1.p`	`SWW842_1.p`	`SWW843_1.p`	`SWW844_1.p`	`SWW845_1.p`	`SWW846_1.p`
`SWW847_1.p`	`SWW848+1.p`	`SWW849+1.p`	`SWW850+1.p`	`SWW851+1.p`	`SWW852+1.p`	`SWW853+1.p`
`SWW854+1.p`	`SWW855+1.p`	`SWW856+1.p`	`SWW857+1.p`	`SWW858+1.p`	`SWW859+1.p`	`SWW860+1.p`
`SWW861+1.p`	`SWW862+1.p`	`SWW863+1.p`	`SWW864+1.p`	`SWW865+1.p`	`SWW866+1.p`	`SWW867+1.p`
`SWW868+1.p`	`SWW869+1.p`	`SWW870+1.p`	`SWW871+1.p`	`SWW872+1.p`	`SWW873+1.p`	`SWW874+1.p`
`SWW875+1.p`	`SWW876+1.p`	`SWW877+1.p`	`SWW878+1.p`	`SWW879+1.p`	`SWW880+1.p`	`SWW881+1.p`
`SWW882+1.p`	`SWW883+1.p`	`SWW884+1.p`	`SWW885+1.p`	`SWW886+1.p`	`SWW887+1.p`	`SWW888+1.p`
`SWW889+1.p`	`SWW890+1.p`	`SWW891+1.p`	`SWW892+1.p`	`SWW893+1.p`	`SWW894+1.p`	`SWW895+1.p`
`SWW896+1.p`	`SWW897+1.p`	`SWW898+1.p`	`SWW899+1.p`	`SWW900+1.p`	`SWW901+1.p`	`SWW902+1.p`
`SWW903+1.p`	`SWW904+1.p`	`SWW905+1.p`	`SWW906+1.p`	`SWW907+1.p`	`SWW908+1.p`	`SWW909+1.p`
`SWW910+1.p`	`SWW911+1.p`	`SWW912+1.p`	`SWW913+1.p`	`SWW914+1.p`	`SWW915+1.p`	`SWW916+1.p`
`SWW917+1.p`	`SWW918+1.p`	`SWW919+1.p`	`SWW920+1.p`	`SWW921+1.p`	`SWW922+1.p`	`SWW923+1.p`
`SWW924+1.p`	`SWW925+1.p`	`SWW926+1.p`	`SWW927+1.p`	`SWW928+1.p`	`SWW929+1.p`	`SWW930+1.p`
`SWW931+1.p`	`SWW932+1.p`	`SWW933+1.p`	`SWW934+1.p`	`SWW935+1.p`	`SWW936+1.p`	`SWW937+1.p`
`SWW938+1.p`	`SWW939+1.p`	`SWW940+1.p`	`SWW941+1.p`	`SWW942+1.p`	`SWW943+1.p`	`SWW944+1.p`
`SWW945+1.p`	`SWW946+1.p`	`SWW947+1.p`	`SWW948+1.p`	`SWW949+1.p`	`SWW950+1.p`	`SWW951+1.p`
`SWW952+1.p`	`SWW953+1.p`	`SWW954+1.p`	`SWW955+1.p`	`SWW956+1.p`	`SWW957+1.p`	`SWW958+1.p`
`SWW959+1.p`	`SWW960+1.p`	`SWW961+1.p`	`SWW962+1.p`	`SWW963+1.p`	`SWW964+1.p`	`SWW965+1.p`
`SWW966+1.p`	`SWW967+1.p`	`SWW968+1.p`	`SWW969+1.p`	`SWW970+1.p`	`SWW971^15.p`	`SWW971_15.p`
`SWW971^5.p`	`SWW971_5.p`