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+1.p SWW469^1.p SWW469_1.p SWW469+5.p SWW469_5.p SWW470+1.p SWW470^1.p
SWW470_1.p SWW470+2.p SWW470^2.p SWW470_2.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+2.p SWW471^2.p SWW471_2.p SWW471+3.p SWW471^3.p SWW471_3.p SWW471+5.p
SWW471_5.p SWW471+6.p SWW471+7.p SWW472+1.p SWW472^1.p SWW472_1.p SWW472+2.p
SWW472^2.p SWW472_2.p SWW472+3.p SWW472^3.p SWW472_3.p SWW472+5.p SWW472+6.p
SWW472+7.p SWW473+1.p SWW473^1.p SWW473_1.p SWW473+2.p SWW473^2.p SWW473_2.p
SWW473+3.p SWW473^3.p SWW473_3.p SWW473+5.p SWW473+6.p SWW473+7.p SWW474+1.p
SWW474^1.p SWW474_1.p SWW474+2.p SWW474^2.p SWW474_2.p SWW474+3.p SWW474^3.p
SWW474_3.p SWW474+5.p SWW474+6.p SWW474+7.p SWW475+1.p SWW475^1.p SWW475_1.p
SWW475+2.p SWW475^2.p SWW475_2.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+2.p
SWW476^2.p SWW476_2.p SWW476+3.p SWW476^3.p SWW476_3.p SWW476+5.p SWW476_5.p
SWW476+6.p SWW476+7.p SWW477+1.p SWW477^1.p SWW477_1.p SWW477+2.p SWW477^2.p
SWW477_2.p SWW477+3.p SWW477^3.p SWW477_3.p SWW477+5.p SWW477_5.p SWW477+6.p
SWW477+7.p SWW478+1.p SWW478^1.p SWW478_1.p SWW478+2.p SWW478^2.p SWW478_2.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