TPTP Problem Domain: SWV

`SWV001-1.p`	`SWV002-1.p`	`SWV003-1.p`	`SWV004-1.p`	`SWV005-1.p`	`SWV006-1.p`	`SWV007-1.p`
`SWV008-1.p`	`SWV009-1.p`	`SWV010+1.p`	`SWV010-1.p`	`SWV010^7.p`	`SWV011+1.p`	`SWV011-1.p`
`SWV012+1.p`	`SWV012-1.p`	`SWV013+1.p`	`SWV013-1.p`	`SWV014+1.p`	`SWV014-1.p`	`SWV015-10.p`
`SWV015+1.p`	`SWV015-1.p`	`SWV016+1.p`	`SWV016-1.p`	`SWV017+1.p`	`SWV017-1.p`	`SWV018+1.p`
`SWV018-1.p`	`SWV019-1.p`	`SWV020-1.p`	`SWV021-10.p`	`SWV021-1.p`	`SWV022+1.p`	`SWV023+1.p`
`SWV024+1.p`	`SWV025+1.p`	`SWV026+1.p`	`SWV027+1.p`	`SWV028+1.p`	`SWV029+1.p`	`SWV030+1.p`
`SWV031+1.p`	`SWV032+1.p`	`SWV033+1.p`	`SWV034+1.p`	`SWV035+1.p`	`SWV036+1.p`	`SWV037+1.p`
`SWV038+1.p`	`SWV039+1.p`	`SWV040+1.p`	`SWV041+1.p`	`SWV042+1.p`	`SWV043+1.p`	`SWV044+1.p`
`SWV045+1.p`	`SWV046+1.p`	`SWV047+1.p`	`SWV048+1.p`	`SWV049+1.p`	`SWV050+1.p`	`SWV051+1.p`
`SWV052+1.p`	`SWV053+1.p`	`SWV054+1.p`	`SWV055+1.p`	`SWV056+1.p`	`SWV057+1.p`	`SWV058+1.p`
`SWV059+1.p`	`SWV060+1.p`	`SWV061+1.p`	`SWV061^7.p`	`SWV062+1.p`	`SWV063+1.p`	`SWV064+1.p`
`SWV065+1.p`	`SWV066+1.p`	`SWV067+1.p`	`SWV067^7.p`	`SWV068+1.p`	`SWV069+1.p`	`SWV070+1.p`
`SWV071+1.p`	`SWV072+1.p`	`SWV073+1.p`	`SWV073^7.p`	`SWV074+1.p`	`SWV075+1.p`	`SWV076+1.p`
`SWV077+1.p`	`SWV078+1.p`	`SWV079+1.p`	`SWV079^7.p`	`SWV080+1.p`	`SWV081+1.p`	`SWV082+1.p`
`SWV083+1.p`	`SWV084+1.p`	`SWV085+1.p`	`SWV085^7.p`	`SWV086+1.p`	`SWV087+1.p`	`SWV088+1.p`
`SWV089+1.p`	`SWV090+1.p`	`SWV091+1.p`	`SWV091^7.p`	`SWV092+1.p`	`SWV093+1.p`	`SWV094+1.p`
`SWV095+1.p`	`SWV096+1.p`	`SWV097+1.p`	`SWV097^7.p`	`SWV098+1.p`	`SWV099+1.p`	`SWV100+1.p`
`SWV101+1.p`	`SWV102+1.p`	`SWV103+1.p`	`SWV103^7.p`	`SWV104+1.p`	`SWV105+1.p`	`SWV106+1.p`
`SWV107+1.p`	`SWV107^7.p`	`SWV108+1.p`	`SWV109+1.p`	`SWV110+1.p`	`SWV111+1.p`	`SWV112+1.p`
`SWV113+1.p`	`SWV114+1.p`	`SWV115+1.p`	`SWV116+1.p`	`SWV117+1.p`	`SWV118+1.p`	`SWV119+1.p`
`SWV120+1.p`	`SWV121+1.p`	`SWV122+1.p`	`SWV123+1.p`	`SWV124+1.p`	`SWV125+1.p`	`SWV126+1.p`
`SWV127+1.p`	`SWV128+1.p`	`SWV129+1.p`	`SWV130+1.p`	`SWV131+1.p`	`SWV132+1.p`	`SWV133+1.p`
`SWV134+1.p`	`SWV135+1.p`	`SWV136+1.p`	`SWV137+1.p`	`SWV138+1.p`	`SWV139+1.p`	`SWV140+1.p`
`SWV141+1.p`	`SWV142+1.p`	`SWV143+1.p`	`SWV144+1.p`	`SWV145+1.p`	`SWV146+1.p`	`SWV147+1.p`
`SWV148+1.p`	`SWV149+1.p`	`SWV150+1.p`	`SWV151+1.p`	`SWV152+1.p`	`SWV153+1.p`	`SWV154+1.p`
`SWV155+1.p`	`SWV156+1.p`	`SWV157+1.p`	`SWV158+1.p`	`SWV159+1.p`	`SWV160+1.p`	`SWV161+1.p`
`SWV162+1.p`	`SWV163+1.p`	`SWV164+1.p`	`SWV165+1.p`	`SWV166+1.p`	`SWV167+1.p`	`SWV168+1.p`
`SWV169+1.p`	`SWV170+1.p`	`SWV171+1.p`	`SWV172+1.p`	`SWV173+1.p`	`SWV174+1.p`	`SWV175+1.p`
`SWV176+1.p`	`SWV177+1.p`	`SWV178+1.p`	`SWV179+1.p`	`SWV180+1.p`	`SWV181+1.p`	`SWV182+1.p`
`SWV183+1.p`	`SWV184+1.p`	`SWV185+1.p`	`SWV186+1.p`	`SWV187+1.p`	`SWV188+1.p`	`SWV189+1.p`
`SWV190+1.p`	`SWV191+1.p`	`SWV192+1.p`	`SWV193+1.p`	`SWV194+1.p`	`SWV195+1.p`	`SWV196+1.p`
`SWV197+1.p`	`SWV198+1.p`	`SWV199+1.p`	`SWV200+1.p`	`SWV201+1.p`	`SWV202+1.p`	`SWV203+1.p`
`SWV204+1.p`	`SWV205+1.p`	`SWV206+1.p`	`SWV207+1.p`	`SWV208+1.p`	`SWV209+1.p`	`SWV210+1.p`
`SWV211+1.p`	`SWV212+1.p`	`SWV213+1.p`	`SWV214+1.p`	`SWV215+1.p`	`SWV216+1.p`	`SWV217+1.p`
`SWV218+1.p`	`SWV219+1.p`	`SWV220+1.p`	`SWV221+1.p`	`SWV222+1.p`	`SWV223+1.p`	`SWV224+1.p`
`SWV225+1.p`	`SWV226+1.p`	`SWV227+1.p`	`SWV228+1.p`	`SWV229+1.p`	`SWV230+1.p`	`SWV231+1.p`
`SWV232+1.p`	`SWV233+1.p`	`SWV234-10.p`	`SWV234+1.p`	`SWV234+2.p`	`SWV235+1.p`	`SWV236+1.p`
`SWV237+1.p`	`SWV238-10.p`	`SWV238+1.p`	`SWV239-1.p`	`SWV239-2.p`	`SWV240-1.p`	`SWV240-2.p`
`SWV241-1.p`	`SWV241-2.p`	`SWV242-1.p`	`SWV242-2.p`	`SWV243-1.p`	`SWV243-2.p`	`SWV244-1.p`
`SWV244-2.p`	`SWV245-1.p`	`SWV245-2.p`	`SWV246-1.p`	`SWV246-2.p`	`SWV247-1.p`	`SWV247-2.p`
`SWV248-1.p`	`SWV248-2.p`	`SWV249-1.p`	`SWV249-2.p`	`SWV250-1.p`	`SWV250-2.p`	`SWV251-1.p`
`SWV251-2.p`	`SWV252-1.p`	`SWV252-2.p`	`SWV253-1.p`	`SWV253-2.p`	`SWV254-1.p`	`SWV254-2.p`
`SWV255-1.p`	`SWV255-2.p`	`SWV256-1.p`	`SWV256-2.p`	`SWV257-1.p`	`SWV257-2.p`	`SWV258-1.p`
`SWV258-2.p`	`SWV259-1.p`	`SWV259-2.p`	`SWV260-1.p`	`SWV260-2.p`	`SWV261-1.p`	`SWV261-2.p`
`SWV262-1.p`	`SWV262-2.p`	`SWV263-1.p`	`SWV263-2.p`	`SWV264-1.p`	`SWV264-2.p`	`SWV265-1.p`
`SWV265-2.p`	`SWV266-1.p`	`SWV266-2.p`	`SWV267-1.p`	`SWV267-2.p`	`SWV268-1.p`	`SWV268-2.p`
`SWV269-1.p`	`SWV269-2.p`	`SWV270-1.p`	`SWV270-2.p`	`SWV271-1.p`	`SWV271-2.p`	`SWV272-1.p`
`SWV272-2.p`	`SWV273-1.p`	`SWV273-2.p`	`SWV274-1.p`	`SWV274-2.p`	`SWV275-1.p`	`SWV275-2.p`
`SWV276-1.p`	`SWV276-2.p`	`SWV277-1.p`	`SWV277-2.p`	`SWV278-1.p`	`SWV278-2.p`	`SWV279-1.p`
`SWV279-2.p`	`SWV280-1.p`	`SWV280-2.p`	`SWV281-1.p`	`SWV281-2.p`	`SWV282-1.p`	`SWV282-2.p`
`SWV283-1.p`	`SWV283-2.p`	`SWV284-1.p`	`SWV284-2.p`	`SWV285-1.rm`	`SWV285-2.rm`	`SWV286-1.p`
`SWV286-2.p`	`SWV287-1.p`	`SWV287-2.p`	`SWV288-1.p`	`SWV288-2.p`	`SWV289-1.p`	`SWV289-2.p`
`SWV290-1.p`	`SWV290-2.p`	`SWV291-1.p`	`SWV291-2.p`	`SWV292-1.p`	`SWV292-2.p`	`SWV293-1.p`
`SWV293-2.p`	`SWV294-1.p`	`SWV294-2.p`	`SWV295-1.p`	`SWV295-2.p`	`SWV296-1.p`	`SWV296-2.p`
`SWV297-1.p`	`SWV298-1.p`	`SWV298-2.p`	`SWV299-1.p`	`SWV299-2.p`	`SWV300-1.p`	`SWV300-2.p`
`SWV301-1.p`	`SWV301-2.p`	`SWV302-1.p`	`SWV302-2.p`	`SWV303-1.p`	`SWV303-2.p`	`SWV304-1.p`
`SWV304-2.p`	`SWV305-1.p`	`SWV305-2.p`	`SWV306-1.p`	`SWV306-2.p`	`SWV307-1.p`	`SWV307-2.p`
`SWV308-1.p`	`SWV308-2.p`	`SWV309-1.p`	`SWV309-2.p`	`SWV310-1.p`	`SWV310-2.p`	`SWV311-1.p`
`SWV311-2.p`	`SWV312-1.p`	`SWV312-2.p`	`SWV313-1.p`	`SWV313-2.p`	`SWV314-1.p`	`SWV314-2.p`
`SWV315-1.p`	`SWV315-2.p`	`SWV316-1.p`	`SWV316-2.p`	`SWV317-1.p`	`SWV317-2.p`	`SWV318-1.p`
`SWV318-2.p`	`SWV319-1.p`	`SWV319-2.p`	`SWV320-1.p`	`SWV320-2.p`	`SWV321-1.p`	`SWV321-2.p`
`SWV322-1.p`	`SWV322-2.p`	`SWV323-1.p`	`SWV323-2.p`	`SWV324-1.p`	`SWV324-2.p`	`SWV325-1.p`
`SWV325-2.p`	`SWV326-1.p`	`SWV326-2.p`	`SWV327-1.p`	`SWV327-2.p`	`SWV328-1.p`	`SWV328-2.p`
`SWV329-1.p`	`SWV329-2.p`	`SWV330-1.p`	`SWV330-2.p`	`SWV331-1.p`	`SWV331-2.p`	`SWV332-1.p`
`SWV332-2.p`	`SWV333-1.p`	`SWV333-2.p`	`SWV334-1.p`	`SWV334-2.p`	`SWV335-1.p`	`SWV335-2.p`
`SWV336-1.p`	`SWV336-2.p`	`SWV337-1.p`	`SWV337-2.p`	`SWV338-1.p`	`SWV338-2.p`	`SWV339-1.p`
`SWV339-2.p`	`SWV340-1.p`	`SWV340-2.p`	`SWV341-1.p`	`SWV341-2.p`	`SWV342-1.p`	`SWV342-2.p`
`SWV343-1.p`	`SWV343-2.p`	`SWV344-1.p`	`SWV344-2.p`	`SWV345-1.p`	`SWV345-2.p`	`SWV346-1.p`
`SWV346-2.p`	`SWV347-1.p`	`SWV347-2.p`	`SWV348-1.p`	`SWV348-2.p`	`SWV349-1.p`	`SWV349-2.p`
`SWV350-1.p`	`SWV350-2.p`	`SWV351-1.p`	`SWV351-2.p`	`SWV352-1.p`	`SWV352-2.p`	`SWV353-1.p`
`SWV353-2.p`	`SWV354-1.p`	`SWV354-2.p`	`SWV355-1.p`	`SWV355-2.p`	`SWV356-1.p`	`SWV356-2.p`
`SWV357-1.p`	`SWV357-2.p`	`SWV358-1.p`	`SWV358-2.p`	`SWV359-1.p`	`SWV359-2.p`	`SWV360-1.p`
`SWV360-2.p`	`SWV361-1.p`	`SWV361-2.p`	`SWV362-1.p`	`SWV362-2.p`	`SWV363-1.p`	`SWV363-2.p`
`SWV364-1.p`	`SWV364-2.p`	`SWV365+1.p`	`SWV366+1.p`	`SWV367+1.p`	`SWV368+1.p`	`SWV369+1.p`
`SWV370+1.p`	`SWV371+1.p`	`SWV372+1.p`	`SWV372+2.p`	`SWV373+1.p`	`SWV374+1.p`	`SWV375+1.p`
`SWV376+1.p`	`SWV377+1.p`	`SWV378+1.p`	`SWV379+1.p`	`SWV380+1.p`	`SWV381+1.p`	`SWV381+2.p`
`SWV381+3.p`	`SWV381+4.p`	`SWV382+1.p`	`SWV383+1.p`	`SWV384+1.p`	`SWV385+1.p`	`SWV386+1.p`
`SWV387+1.p`	`SWV388+1.p`	`SWV389+1.p`	`SWV390+1.p`	`SWV391+1.p`	`SWV392+1.p`	`SWV393+1.p`
`SWV394+1.p`	`SWV395+1.p`	`SWV396+1.p`	`SWV397+1.p`	`SWV398+1.p`	`SWV399+1.p`	`SWV400+1.p`
`SWV401+1.p`	`SWV402+1.p`	`SWV403+1.p`	`SWV404+1.p`	`SWV405+1.p`	`SWV406+1.p`	`SWV407+1.p`
`SWV408+1.p`	`SWV408+2.p`	`SWV409+1.p`	`SWV410+1.p`	`SWV411+1.p`	`SWV412+1.p`	`SWV413+1.p`
`SWV414+1.p`	`SWV415+1.p`	`SWV415+2.p`	`SWV416+1.p`	`SWV416+2.p`	`SWV417+1.p`	`SWV417+2.p`
`SWV418-1.060.p`	`SWV418-1.100.p`	`SWV418-1.300.p`	`SWV418-1.500.p`	`SWV418-1.580.p`	`SWV418-1.700.p`	`SWV418-1.820.p`
`SWV418-1.900.p`	`SWV419-1.005.p`	`SWV419-1.010.p`	`SWV419-1.020.p`	`SWV419-1.030.p`	`SWV419-1.035.p`	`SWV419-1.040.p`
`SWV419-1.045.p`	`SWV419-1.050.p`	`SWV420-1.005.p`	`SWV420-1.010.p`	`SWV420-1.020.p`	`SWV420-1.030.p`	`SWV420-1.035.p`
`SWV420-1.040.p`	`SWV420-1.045.p`	`SWV420-1.050.p`	`SWV421-1.060.p`	`SWV421-1.065.p`	`SWV421-1.100.p`	`SWV421-1.105.p`
`SWV421-1.200.p`	`SWV421-1.205.p`	`SWV421-1.300.p`	`SWV421-1.305.p`	`SWV421-1.360.p`	`SWV421-1.365.p`	`SWV421-1.400.p`
`SWV421-1.405.p`	`SWV421-1.460.p`	`SWV421-1.465.p`	`SWV421-1.500.p`	`SWV421-1.505.p`	`SWV422-1.060.p`	`SWV422-1.065.p`
`SWV422-1.100.p`	`SWV422-1.105.p`	`SWV422-1.200.p`	`SWV422-1.205.p`	`SWV422-1.300.p`	`SWV422-1.305.p`	`SWV422-1.360.p`
`SWV422-1.365.p`	`SWV422-1.400.p`	`SWV422-1.405.p`	`SWV422-1.460.p`	`SWV422-1.465.p`	`SWV422-1.500.p`	`SWV422-1.505.p`
`SWV423-1.010.p`	`SWV423-1.020.p`	`SWV423-1.050.p`	`SWV423-1.100.p`	`SWV423-1.150.p`	`SWV423-1.200.p`	`SWV423-1.250.p`
`SWV423-1.300.p`	`SWV424-1.050.p`	`SWV424-1.100.p`	`SWV424-1.200.p`	`SWV424-1.300.p`	`SWV424-1.350.p`	`SWV424-1.400.p`
`SWV424-1.450.p`	`SWV424-1.500.p`	`SWV425^1.p`	`SWV425^2.p`	`SWV426^1.p`	`SWV426^2.p`	`SWV426^3.p`
`SWV426^4.p`	`SWV427^1.p`	`SWV427^2.p`	`SWV428^1.p`	`SWV428^2.p`	`SWV429^1.p`	`SWV429^2.p`
`SWV430^1.p`	`SWV430^2.p`	`SWV431^1.p`	`SWV431^2.p`	`SWV432^1.p`	`SWV432^2.p`	`SWV433^1.p`
`SWV433^2.p`	`SWV434^3.p`	`SWV434^4.p`	`SWV435^3.p`	`SWV435^4.p`	`SWV436^3.p`	`SWV436^4.p`
`SWV437+1.p`	`SWV437^1.p`	`SWV438+1.p`	`SWV438^1.p`	`SWV439+1.p`	`SWV439^1.p`	`SWV440+1.p`
`SWV440^1.p`	`SWV441^1.p`	`SWV442^1.p`	`SWV443^1.p`	`SWV444^1.p`	`SWV445^1.p`	`SWV446^1.p`
`SWV447^1.p`	`SWV448+1.p`	`SWV449+1.p`	`SWV450+1.p`	`SWV451+1.p`	`SWV452+1.p`	`SWV453+1.p`
`SWV454+1.p`	`SWV455+1.p`	`SWV456+1.p`	`SWV457+1.p`	`SWV458+1.p`	`SWV459+1.p`	`SWV460+1.p`
`SWV461+1.p`	`SWV462+1.p`	`SWV463+1.p`	`SWV464+1.p`	`SWV465+1.p`	`SWV466+1.p`	`SWV467+1.p`
`SWV468+1.p`	`SWV469+1.p`	`SWV470+1.p`	`SWV471+1.p`	`SWV472+1.p`	`SWV473+1.p`	`SWV474+1.p`
`SWV475+1.p`	`SWV476+1.p`	`SWV477+1.p`	`SWV478+1.p`	`SWV479+1.p`	`SWV480+1.p`	`SWV481+1.p`
`SWV482+1.p`	`SWV482+2.p`	`SWV483+1.p`	`SWV483+2.p`	`SWV484+1.p`	`SWV484+2.p`	`SWV485+1.p`
`SWV485+2.p`	`SWV486+1.p`	`SWV486+2.p`	`SWV486+3.p`	`SWV487+1.p`	`SWV487+3.p`	`SWV488+2.p`
`SWV488+3.p`	`SWV489+3.p`	`SWV490+3.p`	`SWV491+3.p`	`SWV491+4.p`	`SWV492+1.p`	`SWV493-1.030.p`
`SWV493-1.040.p`	`SWV493-1.050.p`	`SWV494-1.030.p`	`SWV494-1.040.p`	`SWV494-1.050.p`	`SWV495-1.030.p`	`SWV495-1.040.p`
`SWV495-1.050.p`	`SWV496-1.030.p`	`SWV496-1.040.p`	`SWV496-1.050.p`	`SWV497-1.030.p`	`SWV497-1.040.p`	`SWV497-1.050.p`
`SWV498-1.030.p`	`SWV498-1.040.p`	`SWV498-1.050.p`	`SWV499-1.030.p`	`SWV499-1.040.p`	`SWV499-1.050.p`	`SWV500-1.030.p`
`SWV500-1.040.p`	`SWV500-1.050.p`	`SWV501-1.030.p`	`SWV501-1.040.p`	`SWV501-1.050.p`	`SWV502-1.030.p`	`SWV502-1.040.p`
`SWV502-1.050.p`	`SWV503-1.030.p`	`SWV503-1.040.p`	`SWV503-1.050.p`	`SWV504-1.030.p`	`SWV504-1.040.p`	`SWV504-1.050.p`
`SWV505-1.030.p`	`SWV505-1.040.p`	`SWV505-1.050.p`	`SWV506-1.030.p`	`SWV506-1.040.p`	`SWV506-1.050.p`	`SWV507-1.030.p`
`SWV507-1.040.p`	`SWV507-1.050.p`	`SWV508-1.030.p`	`SWV508-1.040.p`	`SWV508-1.050.p`	`SWV509-1.030.p`	`SWV509-1.040.p`
`SWV509-1.050.p`	`SWV510-1.030.p`	`SWV510-1.040.p`	`SWV510-1.050.p`	`SWV511-1.030.p`	`SWV511-1.040.p`	`SWV511-1.050.p`
`SWV512-1.030.p`	`SWV512-1.040.p`	`SWV512-1.050.p`	`SWV513-1.030.p`	`SWV513-1.040.p`	`SWV513-1.050.p`	`SWV514-1.030.p`
`SWV514-1.040.p`	`SWV514-1.050.p`	`SWV515-1.030.p`	`SWV515-1.040.p`	`SWV515-1.050.p`	`SWV516-1.030.p`	`SWV516-1.040.p`
`SWV516-1.050.p`	`SWV517-1.030.p`	`SWV517-1.040.p`	`SWV517-1.050.p`	`SWV518-1.030.p`	`SWV518-1.040.p`	`SWV518-1.050.p`
`SWV519-1.030.p`	`SWV519-1.040.p`	`SWV519-1.050.p`	`SWV520-1.030.p`	`SWV520-1.040.p`	`SWV520-1.050.p`	`SWV521-1.030.p`
`SWV521-1.040.p`	`SWV521-1.050.p`	`SWV522-1.030.p`	`SWV522-1.040.p`	`SWV522-1.050.p`	`SWV523-1.030.p`	`SWV523-1.040.p`
`SWV523-1.050.p`	`SWV524-1.030.p`	`SWV524-1.040.p`	`SWV524-1.050.p`	`SWV525-1.030.p`	`SWV525-1.040.p`	`SWV525-1.050.p`
`SWV526-1.030.p`	`SWV526-1.040.p`	`SWV526-1.050.p`	`SWV527-1.030.p`	`SWV527-1.040.p`	`SWV527-1.050.p`	`SWV528-1.030.p`
`SWV528-1.040.p`	`SWV528-1.050.p`	`SWV529-1.030.p`	`SWV529-1.040.p`	`SWV529-1.050.p`	`SWV530-1.030.p`	`SWV530-1.040.p`
`SWV530-1.050.p`	`SWV531-1.004.p`	`SWV531-1.007.p`	`SWV531-1.010.p`	`SWV532-1.004.p`	`SWV532-1.007.p`	`SWV532-1.010.p`
`SWV533-1.004.p`	`SWV533-1.007.p`	`SWV533-1.010.p`	`SWV534-1.004.p`	`SWV534-1.007.p`	`SWV534-1.010.p`	`SWV535-1.004.p`
`SWV535-1.007.p`	`SWV535-1.010.p`	`SWV536-1.004.p`	`SWV536-1.007.p`	`SWV536-1.010.p`	`SWV537-1.004.p`	`SWV537-1.007.p`
`SWV537-1.010.p`	`SWV538-1.004.p`	`SWV538-1.007.p`	`SWV538-1.010.p`	`SWV539-1.004.p`	`SWV539-1.007.p`	`SWV539-1.010.p`
`SWV540-1.004.p`	`SWV540-1.007.p`	`SWV540-1.010.p`	`SWV541-1.004.p`	`SWV541-1.007.p`	`SWV541-1.010.p`	`SWV542-1.004.p`
`SWV542-1.007.p`	`SWV542-1.010.p`	`SWV543-1.004.p`	`SWV543-1.007.p`	`SWV543-1.010.p`	`SWV544-1.004.p`	`SWV544-1.007.p`
`SWV544-1.010.p`	`SWV545-1.004.p`	`SWV545-1.007.p`	`SWV545-1.010.p`	`SWV546-1.004.p`	`SWV546-1.007.p`	`SWV546-1.010.p`
`SWV547-1.004.p`	`SWV547-1.007.p`	`SWV547-1.010.p`	`SWV548-1.004.p`	`SWV548-1.007.p`	`SWV548-1.010.p`	`SWV549-1.004.p`
`SWV549-1.007.p`	`SWV549-1.010.p`	`SWV550-1.004.p`	`SWV550-1.007.p`	`SWV550-1.010.p`	`SWV551-1.004.p`	`SWV551-1.007.p`
`SWV551-1.010.p`	`SWV552-1.004.p`	`SWV552-1.007.p`	`SWV552-1.010.p`	`SWV553-1.004.p`	`SWV553-1.007.p`	`SWV553-1.010.p`
`SWV554-1.004.p`	`SWV554-1.007.p`	`SWV554-1.010.p`	`SWV555-1.004.p`	`SWV555-1.007.p`	`SWV555-1.010.p`	`SWV556-1.004.p`
`SWV556-1.007.p`	`SWV556-1.010.p`	`SWV557-1.004.p`	`SWV557-1.007.p`	`SWV557-1.010.p`	`SWV558-1.004.p`	`SWV558-1.007.p`
`SWV558-1.010.p`	`SWV559-1.004.p`	`SWV559-1.007.p`	`SWV559-1.010.p`	`SWV560-1.004.p`	`SWV560-1.007.p`	`SWV560-1.010.p`
`SWV561-1.004.p`	`SWV561-1.007.p`	`SWV561-1.010.p`	`SWV562-1.004.p`	`SWV562-1.007.p`	`SWV562-1.010.p`	`SWV563-1.004.p`
`SWV563-1.007.p`	`SWV563-1.010.p`	`SWV564-1.004.p`	`SWV564-1.007.p`	`SWV564-1.010.p`	`SWV565-1.004.p`	`SWV565-1.007.p`
`SWV565-1.010.p`	`SWV566-1.004.p`	`SWV566-1.007.p`	`SWV566-1.010.p`	`SWV567-1.013.p`	`SWV567-1.014.p`	`SWV567-1.015.p`
`SWV568-1.030.p`	`SWV568-1.040.p`	`SWV568-1.050.p`	`SWV569-1.030.p`	`SWV569-1.040.p`	`SWV569-1.050.p`	`SWV570-1.043.p`
`SWV570-1.046.p`	`SWV570-1.049.p`	`SWV571-1.043.p`	`SWV571-1.046.p`	`SWV571-1.049.p`	`SWV572-1.p`	`SWV573-1.p`
`SWV573_5.p`	`SWV574-1.p`	`SWV575-1.p`	`SWV576-1.p`	`SWV577-1.p`	`SWV577_5.p`	`SWV578-1.p`
`SWV579-1.p`	`SWV580-1.p`	`SWV581-1.p`	`SWV581_5.p`	`SWV582-1.p`	`SWV583-1.p`	`SWV584-1.p`
`SWV585-1.p`	`SWV585_5.p`	`SWV586-1.p`	`SWV587-1.p`	`SWV588-1.p`	`SWV589-1.p`	`SWV589_5.p`
`SWV590-1.p`	`SWV591-1.p`	`SWV592-1.p`	`SWV593-1.p`	`SWV593_5.p`	`SWV594-1.p`	`SWV595-1.p`
`SWV596-1.p`	`SWV597-1.p`	`SWV597_5.p`	`SWV598-1.p`	`SWV599-1.p`	`SWV600-1.p`	`SWV601-1.p`
`SWV601_5.p`	`SWV602-1.p`	`SWV603-1.p`	`SWV604-1.p`	`SWV605-1.p`	`SWV605_5.p`	`SWV606-1.p`
`SWV607-1.p`	`SWV608-1.p`	`SWV609-1.p`	`SWV609_5.p`	`SWV610-1.p`	`SWV611-1.p`	`SWV612-1.p`
`SWV613-1.p`	`SWV613_5.p`	`SWV614-1.p`	`SWV615-1.p`	`SWV616-1.p`	`SWV617-1.p`	`SWV617_5.p`
`SWV618-1.p`	`SWV619-1.p`	`SWV620-1.p`	`SWV621-1.p`	`SWV621_5.p`	`SWV622-1.p`	`SWV623-1.p`
`SWV624-1.p`	`SWV625-1.p`	`SWV625_5.p`	`SWV626-1.p`	`SWV627-1.p`	`SWV628-1.p`	`SWV629-1.p`
`SWV629_5.p`	`SWV630-1.p`	`SWV631-1.p`	`SWV632-1.p`	`SWV633-1.p`	`SWV633_5.p`	`SWV634-1.p`
`SWV635-1.p`	`SWV636-1.p`	`SWV637-1.p`	`SWV637_5.p`	`SWV638-1.p`	`SWV639-1.p`	`SWV640-1.p`
`SWV641-1.p`	`SWV641_5.p`	`SWV642-1.p`	`SWV643-1.p`	`SWV644-1.p`	`SWV645-1.p`	`SWV645_5.p`
`SWV646-1.p`	`SWV647-1.p`	`SWV648-1.p`	`SWV649-1.p`	`SWV649_5.p`	`SWV650-1.p`	`SWV651-1.p`
`SWV652-1.p`	`SWV653-1.p`	`SWV653_5.p`	`SWV654-1.p`	`SWV655-1.p`	`SWV656-1.p`	`SWV657-1.p`
`SWV657_5.p`	`SWV658-1.p`	`SWV659-1.p`	`SWV660-1.p`	`SWV661-1.p`	`SWV661_5.p`	`SWV662-1.p`
`SWV663-1.p`	`SWV664-1.p`	`SWV665-1.p`	`SWV665_5.p`	`SWV666-1.p`	`SWV667-1.p`	`SWV668-1.p`
`SWV669-1.p`	`SWV669_5.p`	`SWV670-1.p`	`SWV671-1.p`	`SWV672-1.p`	`SWV673-1.p`	`SWV674-1.p`
`SWV675-1.p`	`SWV676-1.p`	`SWV677-1.p`	`SWV678-1.p`	`SWV679-1.p`	`SWV680-1.p`	`SWV681-1.p`
`SWV682-1.p`	`SWV683-1.p`	`SWV684-1.p`	`SWV685-1.p`	`SWV686-1.p`	`SWV687-1.p`	`SWV688-1.p`
`SWV689-1.p`	`SWV690-1.p`	`SWV691-1.p`	`SWV692-1.p`	`SWV693-1.p`	`SWV694-1.p`	`SWV695-1.p`
`SWV696-1.p`	`SWV697-1.p`	`SWV698-1.p`	`SWV699-1.p`	`SWV700-1.p`	`SWV701-1.p`	`SWV702-1.p`
`SWV703-1.p`	`SWV704-1.p`	`SWV705-1.p`	`SWV706-1.p`	`SWV707-1.p`	`SWV708-1.p`	`SWV709-1.p`
`SWV710-1.p`	`SWV711-1.p`	`SWV712-1.p`	`SWV713-1.p`	`SWV714-1.p`	`SWV715-1.p`	`SWV716-1.p`
`SWV717-1.p`	`SWV718-1.p`	`SWV718_5.p`	`SWV719-1.p`	`SWV720-1.p`	`SWV721-1.p`	`SWV722-1.p`
`SWV723-1.p`	`SWV723_5.p`	`SWV724-1.p`	`SWV725-1.p`	`SWV726-1.p`	`SWV727-1.p`	`SWV727_5.p`
`SWV728-1.p`	`SWV729-1.p`	`SWV730-1.p`	`SWV731-1.p`	`SWV731_5.p`	`SWV732-1.p`	`SWV733-1.p`
`SWV734-1.p`	`SWV735-1.p`	`SWV735_5.p`	`SWV736-1.p`	`SWV737-1.p`	`SWV738-1.p`	`SWV739-1.p`
`SWV739_5.p`	`SWV740-1.p`	`SWV741-1.p`	`SWV742-1.p`	`SWV743-1.p`	`SWV743_5.p`	`SWV744-1.p`
`SWV745-1.p`	`SWV746-1.p`	`SWV747-1.p`	`SWV747_5.p`	`SWV748-1.p`	`SWV749-1.p`	`SWV750-1.p`
`SWV751-1.p`	`SWV751_5.p`	`SWV752-1.p`	`SWV753-1.p`	`SWV754-1.p`	`SWV755-1.p`	`SWV755_5.p`
`SWV756-1.p`	`SWV757-1.p`	`SWV758-1.p`	`SWV759-1.p`	`SWV759_5.p`	`SWV760-1.p`	`SWV761-1.p`
`SWV762-1.p`	`SWV763-1.p`	`SWV763_5.p`	`SWV764-1.p`	`SWV765-1.p`	`SWV766-1.p`	`SWV767-1.p`
`SWV767_5.p`	`SWV768-1.p`	`SWV769-1.p`	`SWV770-1.p`	`SWV771-1.p`	`SWV771_5.p`	`SWV772-1.p`
`SWV773-1.p`	`SWV774-1.p`	`SWV775-1.p`	`SWV775_5.p`	`SWV776-1.p`	`SWV777-1.p`	`SWV778-1.p`
`SWV779-1.p`	`SWV779_5.p`	`SWV780-1.p`	`SWV781-1.p`	`SWV782-1.p`	`SWV783-1.p`	`SWV783_5.p`
`SWV784-1.p`	`SWV785-1.p`	`SWV786-1.p`	`SWV787-1.p`	`SWV787_5.p`	`SWV788-1.p`	`SWV789-1.p`
`SWV790-1.p`	`SWV791-1.p`	`SWV791_5.p`	`SWV792-1.p`	`SWV793-1.p`	`SWV794-1.p`	`SWV795-1.p`
`SWV795_5.p`	`SWV796-1.p`	`SWV797-1.p`	`SWV798-1.p`	`SWV799-1.p`	`SWV799_5.p`	`SWV800-1.p`
`SWV801-1.p`	`SWV802-1.p`	`SWV803-1.p`	`SWV803_5.p`	`SWV804-1.p`	`SWV805-1.p`	`SWV806-1.p`
`SWV807-1.p`	`SWV807_5.p`	`SWV808-1.p`	`SWV809-1.p`	`SWV810-1.p`	`SWV811-1.p`	`SWV811_5.p`
`SWV812-1.p`	`SWV813-1.p`	`SWV814-1.p`	`SWV815-1.p`	`SWV815_5.p`	`SWV816-1.p`	`SWV817-1.p`
`SWV818-1.p`	`SWV819-1.p`	`SWV820-1.p`	`SWV821-1.p`	`SWV822-1.p`	`SWV823-1.p`	`SWV824-1.p`
`SWV825-1.p`	`SWV826-1.p`	`SWV827-1.p`	`SWV828-1.p`	`SWV829-1.p`	`SWV830-1.p`	`SWV831-1.p`
`SWV832-1.p`	`SWV833-1.p`	`SWV834-1.p`	`SWV835-1.p`	`SWV836-1.p`	`SWV837-1.p`	`SWV838-1.p`
`SWV839-1.p`	`SWV840-1.p`	`SWV841-1.p`	`SWV842-1.p`	`SWV843-1.p`	`SWV844-1.p`	`SWV845-1.p`
`SWV846-1.p`	`SWV847-1.p`	`SWV848-1.p`	`SWV849-1.p`	`SWV850-1.p`	`SWV851-1.p`	`SWV852-1.p`
`SWV853-1.p`	`SWV854-1.p`	`SWV855-1.p`	`SWV856-1.p`	`SWV857-1.p`	`SWV858-1.p`	`SWV859-1.p`
`SWV860-1.p`	`SWV861-1.p`	`SWV862-1.p`	`SWV863-1.p`	`SWV864-1.p`	`SWV865-1.p`	`SWV866-1.p`
`SWV867-1.p`	`SWV868-1.p`	`SWV869-1.p`	`SWV870-1.p`	`SWV871-1.p`	`SWV872-1.p`	`SWV873-1.p`
`SWV874-1.p`	`SWV875-1.p`	`SWV876-1.p`	`SWV877-1.p`	`SWV878-1.p`	`SWV879-1.p`	`SWV880-1.p`
`SWV881-1.p`	`SWV882-1.p`	`SWV883-1.p`	`SWV884-1.p`	`SWV885-1.p`	`SWV886-1.p`	`SWV887-1.p`
`SWV888-1.p`	`SWV889-1.p`	`SWV890-1.p`	`SWV891-1.p`	`SWV892-1.p`	`SWV893-1.p`	`SWV894-1.p`
`SWV895-1.p`	`SWV896-1.p`	`SWV897-1.p`	`SWV898-1.p`	`SWV899-1.p`	`SWV900-1.p`	`SWV901-1.p`
`SWV902-1.p`	`SWV903-1.p`	`SWV904-1.p`	`SWV905-1.p`	`SWV906-1.p`	`SWV907-1.p`	`SWV908-1.p`
`SWV909-1.p`	`SWV910-1.p`	`SWV911-1.p`	`SWV912-1.p`	`SWV913-1.p`	`SWV914-1.p`	`SWV915-1.p`
`SWV916-1.p`	`SWV917-1.p`	`SWV918-10.p`	`SWV918-1.p`	`SWV919-1.p`	`SWV920-10.p`	`SWV920-1.p`
`SWV921-1.p`	`SWV922-1.p`	`SWV923-1.p`	`SWV924-1.p`	`SWV925-1.p`	`SWV926-1.p`	`SWV927-1.p`
`SWV928-1.p`	`SWV929-1.p`	`SWV930-1.p`	`SWV931-1.p`	`SWV932-1.p`	`SWV933-1.p`	`SWV934-1.p`
`SWV935-1.p`	`SWV936-1.p`	`SWV937-1.p`	`SWV938-1.p`	`SWV939-1.p`	`SWV940-1.p`	`SWV941-1.p`
`SWV942-1.p`	`SWV943-1.p`	`SWV944-1.p`	`SWV945-1.p`	`SWV946-1.p`	`SWV947-1.p`	`SWV948-1.p`
`SWV949-1.p`	`SWV950-1.p`	`SWV951-1.p`	`SWV952-1.p`	`SWV953-1.p`	`SWV954-1.p`	`SWV955-1.p`
`SWV956-1.p`	`SWV957-1.p`	`SWV958-1.p`	`SWV959-1.p`	`SWV960-1.p`	`SWV961-1.p`	`SWV962-1.p`
`SWV963-1.p`	`SWV964-1.p`	`SWV965-1.p`	`SWV966-1.p`	`SWV967-1.p`	`SWV968-1.p`	`SWV969-1.p`
`SWV970-1.p`	`SWV971-1.p`	`SWV972-1.p`	`SWV973-10.p`	`SWV973-1.p`	`SWV974-1.p`	`SWV975-1.p`
`SWV976-1.p`	`SWV977-1.p`	`SWV978-1.p`	`SWV979-1.p`	`SWV980-1.p`	`SWV981-1.p`	`SWV982-1.p`
`SWV983-1.p`	`SWV984-1.p`	`SWV985-1.p`	`SWV986-1.p`	`SWV987-1.p`	`SWV988-1.p`	`SWV989-1.p`
`SWV990-1.p`	`SWV991-1.p`	`SWV992-1.p`	`SWV993-1.p`	`SWV994-1.p`	`SWV995-1.p`	`SWV996_1.p`
`SWV997_1.p`	`SWV998_1.p`	`SWV999_1.p`