TPTP Problem Domain: SEU


SEU000+1.rm SEU001+1.rm SEU002+1.p SEU003+1.p SEU004+1.p SEU005+1.rm SEU006+1.rm
SEU007+1.p SEU008+1.p SEU009+1.p SEU010+1.p SEU011+1.p SEU012+1.p SEU013+1.p
SEU014+1.p SEU015+1.p SEU016+1.p SEU017+1.p SEU018+1.p SEU019+1.p SEU020+1.p
SEU021+1.rm SEU022+1.rm SEU023+1.p SEU024+1.rm SEU025+1.p SEU026+1.p SEU027+1.p
SEU028+1.p SEU029+1.rm SEU030+1.p SEU031+1.p SEU032+1.p SEU033+1.p SEU034+1.p
SEU035+1.rm SEU036+1.rm SEU037+1.p SEU038+1.rm SEU039+1.p SEU040+1.p SEU041+1.p
SEU042+1.p SEU043+1.p SEU044+1.p SEU045+1.p SEU046+1.p SEU047+1.p SEU048+1.p
SEU049+1.p SEU050+1.p SEU051+1.p SEU052+1.p SEU053+1.p SEU054+1.p SEU055+1.p
SEU056+1.p SEU057+1.p SEU058+1.p SEU059+1.p SEU060+1.p SEU061+1.p SEU062+1.p
SEU063+1.p SEU064+1.rm SEU065+1.rm SEU066+1.rm SEU067+1.p SEU068+1.p SEU069+1.p
SEU070+1.p SEU071+1.p SEU072+1.p SEU073+1.p SEU074+1.p SEU075+1.p SEU076+1.p
SEU077+1.p SEU078+1.p SEU079+1.p SEU080+1.p SEU081+1.p SEU082+1.rm SEU083+1.p
SEU084+1.rm SEU085+1.p SEU086+1.rm SEU087+1.rm SEU088+1.p SEU089+1.p SEU090+1.p
SEU091+1.p SEU092+1.p SEU093+1.p SEU094+1.p SEU095+1.rm SEU096+1.p SEU097+1.p
SEU098+1.p SEU099+1.p SEU100+1.p SEU101+1.p SEU102+1.p SEU103+1.p SEU104+1.p
SEU105+1.p SEU106+1.p SEU107+1.p SEU108+1.p SEU109+1.p SEU110+1.p SEU111+1.p
SEU112+1.p SEU113+1.p SEU114+1.p SEU115+1.p SEU116+1.p SEU117+1.p SEU118+1.p
SEU119+1.p SEU119+2.p SEU120+1.p SEU120+2.p SEU121+1.p SEU121+2.p SEU122+1.p
SEU122+2.p SEU123+1.p SEU123+2.p SEU124+1.p SEU124+2.p SEU125+1.p SEU125+2.p
SEU126+1.p SEU126+2.p SEU127+1.p SEU127+2.p SEU128+1.p SEU128+2.p SEU129+1.p
SEU129+2.p SEU130+1.p SEU130+2.p SEU131+1.p SEU131+2.p SEU132+1.p SEU132+2.p
SEU133+1.p SEU133+2.p SEU134+1.p SEU134+2.p SEU135+1.p SEU135+2.p SEU136+1.p
SEU136+2.p SEU137+1.p SEU137+2.p SEU138+1.p SEU138+2.p SEU139+1.p SEU139+2.p
SEU140+1.p SEU140+2.p SEU141+1.p SEU141+2.p SEU142+1.p SEU142+2.p SEU143+1.p
SEU143+2.p SEU144+1.p SEU144+2.p SEU145+1.p SEU145+2.p SEU146+1.p SEU146+2.p
SEU147+1.p SEU147+2.p SEU147+3.p SEU148+1.p SEU148+2.p SEU148+3.p SEU149+1.p
SEU149+2.p SEU149+3.p SEU150+1.p SEU150+2.p SEU150+3.p SEU151+1.p SEU151+2.p
SEU151+3.p SEU152+1.p SEU152+2.p SEU153+1.p SEU153+2.p SEU154+1.p SEU154+2.p
SEU155+1.p SEU155+2.p SEU156+1.p SEU156+2.p SEU156+3.p SEU157+1.p SEU157+2.p
SEU158+1.p SEU158+2.p SEU158+3.p SEU159+1.p SEU159+2.p SEU159+3.p SEU160+1.p
SEU160+2.p SEU160+3.p SEU161+1.p SEU161+2.p SEU161+3.p SEU162+1.p SEU162+2.p
SEU162+3.p SEU163+1.p SEU163+2.p SEU163+3.p SEU164+1.p SEU164+2.p SEU164+3.p
SEU165+1.p SEU165+2.p SEU165+3.p SEU166+1.p SEU166+2.p SEU166+3.p SEU167+1.p
SEU167+2.p SEU167+3.p SEU168+1.p SEU168+2.p SEU168+3.p SEU169+1.p SEU169+2.p
SEU170+1.p SEU170+2.p SEU171+1.p SEU171+2.p SEU172+1.p SEU172+2.p SEU173+1.p
SEU173+2.p SEU174+1.p SEU174+2.p SEU175+1.p SEU175+2.p SEU176+1.p SEU176+2.p
SEU177+1.p SEU177+2.p SEU178+1.p SEU178+2.p SEU179+1.p SEU179+2.p SEU180+1.p
SEU180+2.p SEU181+1.p SEU181+2.p SEU182+1.p SEU182+2.p SEU183+1.p SEU183+2.p
SEU184+1.p SEU184+2.p SEU185+1.p SEU185+2.p SEU186+1.p SEU186+2.p SEU187+1.p
SEU187+2.p SEU188+1.p SEU188+2.p SEU189+1.p SEU189+2.p SEU190+1.p SEU190+2.p
SEU191+1.p SEU191+2.p SEU192+1.p SEU192+2.p SEU193+1.p SEU193+2.p SEU194+1.p
SEU194+2.p SEU195+1.p SEU195+2.p SEU196+1.p SEU196+2.p SEU197+1.p SEU197+2.p
SEU198+1.p SEU198+2.p SEU199+1.p SEU199+2.p SEU200+1.p SEU200+2.p SEU201+1.p
SEU201+2.p SEU202+1.p SEU202+2.p SEU203+1.p SEU203+2.p SEU204+1.p SEU204+2.p
SEU205+1.p SEU205+2.p SEU206+1.p SEU206+2.p SEU207+1.p SEU207+2.p SEU208+1.p
SEU208+2.p SEU209+1.p SEU209+2.p SEU210+1.p SEU210+2.p SEU211+1.p SEU211+2.p
SEU212+1.p SEU212+2.p SEU212+3.p SEU213+1.p SEU213+2.p SEU213+3.p SEU214+1.p
SEU214+2.p SEU214+3.p SEU215+1.p SEU215+2.p SEU215+3.p SEU216+1.p SEU216+2.p
SEU216+3.p SEU217+1.p SEU217+2.p SEU217+3.p SEU218+1.p SEU218+2.p SEU218+3.p
SEU219+1.p SEU219+2.p SEU219+3.p SEU220+1.p SEU220+2.p SEU220+3.p SEU221+1.p
SEU221+2.p SEU221+3.p SEU222+1.p SEU222+2.p SEU222+3.p SEU223+1.p SEU223+2.p
SEU223+3.p SEU224+1.p SEU224+2.p SEU225+1.p SEU225+2.p SEU225+3.p SEU226+1.p
SEU226+2.p SEU226+3.p SEU227+1.p SEU227+2.p SEU227+3.p SEU228+1.p SEU228+2.p
SEU228+3.p SEU229+1.p SEU229+2.p SEU229+3.p SEU230+1.p SEU230+2.p SEU230+3.p
SEU231+1.p SEU231+2.p SEU231+3.p SEU232+1.p SEU232+2.p SEU232+3.p SEU233+1.p
SEU233+2.p SEU233+3.p SEU234+1.p SEU234+2.p SEU234+3.p SEU235+1.p SEU235+2.p
SEU235+3.p SEU236+1.p SEU236+2.p SEU236+3.p SEU237+1.p SEU237+2.p SEU237+3.p
SEU238+1.p SEU238+2.p SEU238+3.p SEU239+1.p SEU239+2.p SEU240+1.p SEU240+2.p
SEU241+1.p SEU241+2.p SEU242+1.p SEU242+2.p SEU243+1.p SEU243+2.p SEU244+1.p
SEU244+2.p SEU245+1.p SEU245+2.p SEU246+1.p SEU246+2.p SEU247+1.p SEU247+2.p
SEU248+1.p SEU248+2.p SEU249+1.p SEU249+2.p SEU250+1.p SEU250+2.p SEU251+1.p
SEU251+2.p SEU252+1.p SEU252+2.p SEU253+1.p SEU253+2.p SEU254+1.p SEU254+2.p
SEU255+1.p SEU255+2.p SEU256+1.p SEU256+2.p SEU257+1.p SEU257+2.p SEU258+1.p
SEU258+2.p SEU259+1.p SEU259+2.p SEU260+1.p SEU260+2.p SEU261+1.p SEU261+2.p
SEU262+1.p SEU262+2.p SEU263+1.p SEU263+2.p SEU264+1.p SEU264+2.p SEU265+1.p
SEU265+2.p SEU266+1.p SEU266+2.p SEU267+1.p SEU267+2.p SEU268+1.p SEU268+2.p
SEU269+1.p SEU269+2.p SEU270+1.p SEU270+2.p SEU271+1.p SEU271+2.p SEU272+1.p
SEU272+2.p SEU273+1.p SEU273+2.p SEU274+1.p SEU274+2.p SEU275+1.p SEU275+2.p
SEU276+1.p SEU276+2.p SEU277+1.p SEU277+2.p SEU278+1.p SEU278+2.p SEU279+1.p
SEU279+2.p SEU280+1.p SEU280+2.p SEU281+1.p SEU281+2.p SEU282+1.p SEU282+2.p
SEU283+1.p SEU283+2.p SEU284+1.p SEU284+2.p SEU285+1.p SEU285+2.p SEU286+1.p
SEU286+2.p SEU287+1.p SEU287+2.p SEU288+1.p SEU288+2.p SEU289+1.p SEU289+2.p
SEU290+1.p SEU290+2.p SEU291+1.p SEU291+2.p SEU292+1.p SEU292+2.p SEU293+1.p
SEU293+2.p SEU294+1.p SEU294+2.p SEU294+3.p SEU295+1.p SEU295+2.p SEU295+3.p
SEU296+1.p SEU296+2.p SEU296+3.p SEU297+1.p SEU297+2.p SEU298+1.p SEU298+2.p
SEU299+1.p SEU299+2.p SEU300+1.p SEU300+2.p SEU301+1.p SEU301+2.p SEU302+1.p
SEU302+2.p SEU302+3.p SEU303+1.p SEU303+2.p SEU303+3.p SEU304+1.p SEU304+2.p
SEU305+1.p SEU305+2.p SEU306+1.p SEU306+2.p SEU307+1.p SEU307+2.p SEU308+1.p
SEU308+2.p SEU309+1.p SEU309+2.p SEU310+1.p SEU310+2.p SEU311+1.p SEU311+2.p
SEU312+1.p SEU312+2.p SEU313+1.p SEU313+2.p SEU314+1.p SEU314+2.p SEU315+1.p
SEU315+2.p SEU316+1.p SEU316+2.p SEU317+1.p SEU317+2.p SEU318+1.p SEU318+2.p
SEU319+1.p SEU319+2.p SEU320+1.p SEU320+2.p SEU321+1.p SEU321+2.p SEU322+1.p
SEU322+2.p SEU323-10.p SEU323+1.p SEU323+2.p SEU324+1.p SEU324+2.p SEU325+1.p
SEU325+2.p SEU326+1.p SEU326+2.p SEU327+1.p SEU327+2.p SEU328+1.p SEU328+2.p
SEU329+1.p SEU329+2.p SEU330+1.p SEU330+2.p SEU331+1.p SEU331+2.p SEU332+1.p
SEU332+2.p SEU333+1.p SEU333+2.p SEU334+1.p SEU334+2.p SEU335+1.p SEU335+2.p
SEU336+1.p SEU336+2.p SEU337+1.p SEU337+2.p SEU338+1.p SEU338+2.p SEU339+1.p
SEU339+2.p SEU340+1.p SEU340+2.p SEU341+1.p SEU341+2.p SEU342+1.p SEU342+2.p
SEU343+1.p SEU343+2.p SEU344+1.p SEU344+2.p SEU345+1.p SEU345+2.p SEU346+1.p
SEU346+2.p SEU347+1.p SEU347+2.p SEU348+1.p SEU348+2.p SEU349+1.p SEU349+2.p
SEU350+1.p SEU350+2.p SEU351+1.p SEU351+2.p SEU352+1.p SEU352+2.p SEU353+1.p
SEU353+2.p SEU354+1.p SEU354+2.p SEU355+1.p SEU355+2.p SEU356+1.p SEU356+2.p
SEU357+1.p SEU357+2.p SEU358+1.p SEU358+2.p SEU359+1.p SEU359+2.p SEU360+1.p
SEU360+2.p SEU361+1.p SEU361+2.p SEU362+1.p SEU362+2.p SEU363+1.p SEU363+2.p
SEU364+1.p SEU364+2.p SEU365+1.p SEU365+2.p SEU366+1.p SEU366+2.p SEU367+1.p
SEU367+2.p SEU368+1.p SEU368+2.p SEU369+1.p SEU369+2.p SEU370+1.p SEU370+2.p
SEU371+1.p SEU371+2.p SEU372+1.p SEU372+2.p SEU373+1.p SEU373+2.p SEU374+1.p
SEU374+2.p SEU375+1.p SEU375+2.p SEU376+1.p SEU376+2.p SEU377+1.p SEU377+2.p
SEU378+1.p SEU378+2.p SEU379+1.p SEU379+2.p SEU380+1.p SEU380+2.p SEU381+1.p
SEU381+2.p SEU382+1.p SEU382+2.p SEU383+1.p SEU383+2.p SEU384+1.p SEU384+2.p
SEU385+1.p SEU385+2.p SEU386+1.p SEU386+2.p SEU387+1.p SEU387+2.p SEU388+1.p
SEU388+2.p SEU389+1.p SEU389+2.p SEU390+1.p SEU390+2.p SEU391+1.p SEU391+2.p
SEU392+1.p SEU392+2.p SEU393+1.p SEU393+2.p SEU394+1.p SEU394+2.p SEU395+1.p
SEU395+2.p SEU396+1.p SEU396+2.p SEU397+1.p SEU397+2.p SEU398+1.p SEU398+2.p
SEU399+1.p SEU399+2.p SEU400+1.p SEU400+2.p SEU401+1.p SEU401+2.p SEU402+1.p
SEU402+2.p SEU403+1.p SEU403+2.p SEU404+1.p SEU404+2.p SEU405+1.p SEU405+2.p
SEU406+1.p SEU406+2.p SEU406+3.p SEU406+4.p SEU407+1.p SEU407+2.p SEU407+3.p
SEU407+4.p SEU408+1.p SEU408+2.p SEU408+3.p SEU408+4.p SEU409+1.p SEU409+2.p
SEU409+3.p SEU409+4.p SEU410+1.p SEU410+2.p SEU410+3.p SEU410+4.p SEU411+1.p
SEU411+2.p SEU411+3.p SEU411+4.p SEU412+1.p SEU412+2.p SEU412+3.p SEU412+4.p
SEU413+1.p SEU413+2.p SEU413+3.p SEU413+4.p SEU414+1.p SEU414+2.p SEU414+3.p
SEU414+4.p SEU415+1.p SEU415+2.p SEU415+3.p SEU415+4.p SEU416+1.p SEU416+2.p
SEU416+3.p SEU416+4.p SEU417+1.p SEU417+2.p SEU417+3.p SEU417+4.p SEU418+1.p
SEU418+2.p SEU418+3.p SEU418+4.p SEU419+1.p SEU419+2.p SEU419+3.p SEU419+4.p
SEU420+1.p SEU420+2.p SEU420+3.p SEU420+4.p SEU421+1.p SEU421+2.p SEU421+3.p
SEU421+4.p SEU422+1.p SEU422+2.p SEU422+3.p SEU422+4.p SEU423+1.p SEU423+2.p
SEU423+3.p SEU423+4.p SEU424+1.p SEU424+2.p SEU424+3.p SEU424+4.p SEU425+1.p
SEU425+2.p SEU425+3.p SEU425+4.p SEU426+1.p SEU426+2.p SEU426+3.p SEU426+4.p
SEU427+1.p SEU427+2.p SEU427+3.p SEU427+4.p SEU428+1.p SEU428+2.p SEU428+3.p
SEU428+4.p SEU429+1.p SEU429+2.p SEU429+3.p SEU429+4.p SEU430+1.p SEU430+2.p
SEU430+3.p SEU430+4.p SEU431+1.p SEU431+2.p SEU431+3.p SEU431+4.p SEU432+1.p
SEU432+2.p SEU432+3.p SEU432+4.p SEU433+1.p SEU433+2.p SEU433+3.p SEU433+4.p
SEU434+1.p SEU434+2.p SEU434+3.p SEU434+4.p SEU435+1.p SEU435+2.p SEU435+3.p
SEU435+4.p SEU436+1.p SEU436+2.p SEU436+3.p SEU436+4.p SEU437+1.p SEU437+2.p
SEU437+3.p SEU437+4.p SEU438+1.p SEU438+2.p SEU438+3.p SEU438+4.p SEU439+1.p
SEU439+2.p SEU439+3.p SEU439+4.p SEU440+1.p SEU440+2.p SEU440+3.p SEU440+4.p
SEU441+1.p SEU441+2.p SEU441+3.p SEU441+4.p SEU442+1.p SEU442+2.p SEU442+3.p
SEU442+4.p SEU443+1.p SEU443+2.p SEU443+3.p SEU443+4.p SEU444+1.p SEU444+2.p
SEU444+3.p SEU444+4.p SEU445+1.p SEU445+2.p SEU445+3.p SEU445+4.p SEU446+1.p
SEU446+2.p SEU446+3.p SEU446+4.p SEU447+1.p SEU447+2.p SEU447+3.p SEU447+4.p
SEU448+1.p SEU448+2.p SEU448+3.p SEU448+4.p SEU449+1.p SEU449+2.p SEU449+3.p
SEU449+4.p SEU450+1.p SEU450+2.p SEU450+3.p SEU450+4.p SEU451+1.p SEU451+2.p
SEU451+3.p SEU451+4.p SEU452^1.p SEU453^1.p SEU454^1.p SEU455^1.p SEU456^1.p
SEU457^1.p SEU458^1.p SEU459^1.p SEU460^1.p SEU461^1.p SEU462^1.p SEU463^1.p
SEU464^1.p SEU465^1.p SEU466^1.p SEU467^1.p SEU468^1.p SEU469^1.p SEU470^1.p
SEU471^1.p SEU472^1.p SEU473^1.p SEU474^1.p SEU475^1.p SEU476^1.p SEU477^1.p
SEU478^1.p SEU479^1.p SEU480^1.p SEU481^1.p SEU482^1.p SEU483^1.p SEU484^1.p
SEU485^1.p SEU486^1.p SEU487^1.p SEU488^1.p SEU489^1.p SEU490^1.p SEU491^1.p
SEU492^1.p SEU493^1.p SEU494^1.p SEU495^1.p SEU496^1.p SEU497^1.p SEU498^1.p
SEU499^1.p SEU499^2.p SEU500^1.p SEU500^2.p SEU501^1.p SEU501^2.p SEU502^1.p
SEU502^2.p SEU503^1.p SEU503^2.p SEU504^1.p SEU504^2.p SEU505^1.p SEU505^2.p
SEU506^1.p SEU506^2.p SEU507^1.p SEU507^2.rm SEU508^1.p SEU508^2.p SEU509^1.p
SEU509^2.p SEU510^1.p SEU510^2.p SEU511^1.p SEU511^2.p SEU512^1.p SEU512^2.p
SEU513^1.p SEU513^2.p SEU514^1.p SEU514^2.p SEU515^1.p SEU515^2.p SEU516^1.p
SEU516^2.p SEU517^1.p SEU517^2.p SEU518^1.p SEU518^2.p SEU519^1.p SEU519^2.p
SEU520^1.p SEU520^2.rm SEU521^1.p SEU521^2.p SEU522^1.p SEU522^2.p SEU523^1.p
SEU523^2.p SEU524^1.p SEU524^2.p SEU525^1.p SEU525^2.p SEU526^1.p SEU526^2.p
SEU527^1.p SEU527^2.p SEU528^1.p SEU528^2.p SEU529^1.p SEU529^2.p SEU530^1.p
SEU530^2.p SEU531^1.p SEU531^2.p SEU532^1.p SEU532^2.p SEU533^1.p SEU533^2.p
SEU534^1.p SEU534^2.p SEU535^1.p SEU535^2.p SEU536^1.p SEU536^2.p SEU537^1.p
SEU537^2.p SEU538^1.p SEU538^2.p SEU539^1.p SEU539^2.p SEU540^1.p SEU540^2.p
SEU541^1.p SEU541^2.p SEU542^1.p SEU542^2.rm SEU543^1.p SEU543^2.rm SEU544^1.p
SEU544^2.p SEU545^1.p SEU545^2.p SEU546^1.p SEU546^2.p SEU547^1.p SEU547^2.p
SEU548^1.p SEU548^2.p SEU549^1.p SEU549^2.p SEU550^1.p SEU550^2.p SEU551^1.p
SEU551^2.p SEU551^3.p SEU552^1.p SEU552^2.p SEU553^1.p SEU553^2.p SEU554^1.p
SEU554^2.rm SEU555^1.p SEU555^2.rm SEU556^1.p SEU556^2.rm SEU557^1.p SEU557^2.p
SEU558^1.p SEU558^2.p SEU559^1.p SEU559^2.p SEU560^1.p SEU560^2.p SEU561^1.p
SEU561^2.p SEU562^1.p SEU562^2.p SEU563^1.p SEU563^2.p SEU564^1.p SEU564^2.p
SEU565^1.p SEU565^2.p SEU566^1.p SEU566^2.p SEU567^1.p SEU567^2.p SEU568^1.p
SEU568^2.p SEU569^1.p SEU569^2.p SEU570^1.p SEU570^2.p SEU571^1.p SEU571^2.p
SEU572^1.p SEU572^2.p SEU573^1.p SEU573^2.p SEU574^1.p SEU574^2.p SEU575^1.p
SEU575^2.p SEU576^1.p SEU576^2.p SEU577^1.p SEU577^2.p SEU578^1.p SEU578^2.p
SEU579^1.p SEU579^2.p SEU580^1.p SEU580^2.p SEU581^1.p SEU581^2.p SEU582^1.p
SEU582^2.p SEU583^1.p SEU583^2.rm SEU584^1.p SEU584^2.p SEU585^1.p SEU585^2.p
SEU586^1.p SEU586^2.p SEU587^1.p SEU587^2.p SEU588^1.p SEU588^2.p SEU589^1.p
SEU589^2.p SEU590^1.p SEU590^2.p SEU591^1.p SEU591^2.p SEU592^1.p SEU592^2.p
SEU593^1.p SEU593^2.p SEU594^1.p SEU594^2.p SEU595^1.p SEU595^2.p SEU596^1.p
SEU596^2.p SEU597^1.p SEU597^2.p SEU598^1.p SEU598^2.p SEU599^1.p SEU599^2.p
SEU600^1.p SEU600^2.p SEU601^1.p SEU601^2.p SEU602^1.p SEU602^2.p SEU603^1.p
SEU603^2.p SEU604^1.p SEU604^2.p SEU605^1.p SEU605^2.p SEU606^1.p SEU606^2.p
SEU607^1.p SEU607^2.p SEU608^1.p SEU608^2.p SEU609^1.p SEU609^2.p SEU610^1.p
SEU610^2.p SEU611^1.p SEU611^2.p SEU612^1.p SEU612^2.p SEU613^1.p SEU613^2.p
SEU614^1.p SEU614^2.p SEU615^1.p SEU615^2.p SEU616^1.p SEU616^2.rm SEU617^1.p
SEU617^2.p SEU618^1.p SEU618^2.p SEU619^1.p SEU619^2.p SEU620^1.p SEU620^2.p
SEU621^1.p SEU621^2.p SEU622^1.p SEU622^2.p SEU623^1.p SEU623^2.p SEU624^1.p
SEU624^2.rm SEU625^1.p SEU625^2.p SEU626^1.p SEU626^2.p SEU627^1.p SEU627^2.p
SEU628^1.p SEU628^2.p SEU629^1.p SEU629^2.p SEU630^1.p SEU630^2.p SEU631^1.p
SEU631^2.p SEU632^1.p SEU632^2.p SEU633^1.p SEU633^2.p SEU634^1.p SEU634^2.p
SEU635^1.p SEU635^2.p SEU636^1.p SEU636^2.p SEU637^1.p SEU637^2.p SEU638^1.p
SEU638^2.p SEU639^1.p SEU639^2.p SEU640^1.p SEU640^2.p SEU641^1.p SEU641^2.p
SEU642^1.p SEU642^2.p SEU643^1.p SEU643^2.p SEU644^1.p SEU644^2.p SEU645^1.p
SEU645^2.p SEU646^1.p SEU646^2.p SEU647^1.p SEU647^2.p SEU648^1.p SEU648^2.p
SEU649^1.p SEU649^2.p SEU650^1.p SEU650^2.p SEU651^1.p SEU651^2.p SEU652^1.p
SEU652^2.p SEU653^1.p SEU653^2.p SEU654^1.p SEU654^2.p SEU655^1.p SEU655^2.p
SEU656^1.p SEU656^2.p SEU657^1.p SEU657^2.p SEU658^1.p SEU658^2.p SEU659^1.p
SEU659^2.p SEU660^1.p SEU660^2.p SEU661^1.p SEU661^2.p SEU662^1.p SEU662^2.p
SEU663^1.p SEU663^2.p SEU664^1.p SEU664^2.p SEU665^1.p SEU665^2.p SEU666^1.p
SEU666^2.p SEU667^1.p SEU667^2.p SEU668^1.p SEU668^2.p SEU669^1.p SEU669^2.p
SEU670^1.p SEU670^2.p SEU671^1.p SEU671^2.p SEU672^1.p SEU672^2.p SEU673^1.p
SEU673^2.p SEU674^1.p SEU674^2.p SEU675^1.p SEU675^2.p SEU676^1.p SEU676^2.p
SEU677^1.p SEU677^2.p SEU678^1.p SEU678^2.p SEU679^1.p SEU679^2.p SEU680^1.p
SEU680^2.p SEU681^1.p SEU681^2.p SEU682^1.p SEU682^2.p SEU683^1.p SEU683^2.p
SEU684^1.p SEU684^2.p SEU685^1.p SEU685^2.p SEU686^1.p SEU686^2.p SEU687^1.p
SEU687^2.p SEU688^1.p SEU688^2.p SEU689^1.p SEU689^2.p SEU690^1.p SEU690^2.p
SEU691^1.p SEU691^2.p SEU692^1.p SEU692^2.p SEU693^1.p SEU693^2.p SEU694^1.p
SEU694^2.p SEU695^1.p SEU695^2.p SEU696^1.p SEU696^2.p SEU697^1.p SEU697^2.p
SEU698^1.p SEU698^2.rm SEU699^1.p SEU699^2.p SEU700^1.p SEU700^2.p SEU701^1.p
SEU701^2.p SEU702^1.p SEU702^2.p SEU703^1.p SEU703^2.p SEU704^1.p SEU704^2.p
SEU705^1.p SEU705^2.p SEU706^1.p SEU706^2.p SEU707^1.p SEU707^2.p SEU708^1.p
SEU708^2.p SEU709^1.p SEU709^2.p SEU710^1.p SEU710^2.rm SEU711^1.p SEU711^2.p
SEU712^1.p SEU712^2.p SEU713^1.p SEU713^2.p SEU714^1.p SEU714^2.p SEU715^1.p
SEU715^2.p SEU716^1.p SEU716^2.p SEU717^1.p SEU717^2.p SEU718^1.p SEU718^2.p
SEU719^1.p SEU719^2.p SEU720^1.p SEU720^2.p SEU721^1.p SEU721^2.p SEU722^1.p
SEU722^2.p SEU723^1.p SEU723^2.p SEU724^1.p SEU724^2.p SEU725^1.p SEU725^2.p
SEU726^1.p SEU726^2.p SEU727^1.p SEU727^2.p SEU728^1.p SEU728^2.p SEU729^1.p
SEU729^2.p SEU730^1.p SEU730^2.p SEU731^1.p SEU731^2.p SEU732^1.p SEU732^2.p
SEU733^1.p SEU733^2.p SEU734^1.p SEU734^2.p SEU735^1.p SEU735^2.p SEU736^1.p
SEU736^2.p SEU737^1.p SEU737^2.p SEU738^1.p SEU738^2.p SEU739^1.p SEU739^2.p
SEU740^1.p SEU740^2.p SEU741^1.p SEU741^2.p SEU742^1.p SEU742^2.p SEU743^1.p
SEU743^2.p SEU744^1.p SEU744^2.p SEU745^1.p SEU745^2.p SEU746^1.p SEU746^2.p
SEU747^1.p SEU747^2.p SEU748^1.p SEU748^2.rm SEU749^1.p SEU749^2.p SEU750^1.p
SEU750^2.p SEU751^1.p SEU751^2.p SEU752^1.p SEU752^2.p SEU753^1.p SEU753^2.p
SEU754^1.p SEU754^2.p SEU755^1.p SEU755^2.p SEU756^1.p SEU756^2.p SEU757^1.p
SEU757^2.p SEU758^1.p SEU758^2.p SEU759^1.p SEU759^2.p SEU760^1.p SEU760^2.p
SEU761^1.p SEU761^2.p SEU762^1.p SEU762^2.p SEU763^1.p SEU763^2.rm SEU764^1.p
SEU764^2.p SEU765^1.p SEU765^2.rm SEU766^1.p SEU766^2.rm SEU767^1.p SEU767^2.rm
SEU768^1.p SEU768^2.p SEU769^1.p SEU769^2.p SEU770^1.p SEU770^2.p SEU771^1.p
SEU771^2.p SEU772^1.p SEU772^2.rm SEU773^1.p SEU773^2.p SEU774^1.p SEU774^2.p
SEU775^1.p SEU775^2.p SEU776^1.p SEU776^2.p SEU777^1.p SEU777^2.p SEU778^1.p
SEU778^2.p SEU779^1.p SEU779^2.p SEU780^1.p SEU780^2.p SEU781^1.p SEU781^2.p
SEU782^1.p SEU782^2.p SEU783^1.p SEU783^2.p SEU784^1.p SEU784^2.p SEU785^1.p
SEU785^2.p SEU786^1.p SEU786^2.p SEU787^1.p SEU787^2.p SEU788^1.p SEU788^2.p
SEU789^1.p SEU789^2.p SEU790^1.p SEU790^2.p SEU791^1.p SEU791^2.p SEU792^1.p
SEU792^2.p SEU793^1.p SEU793^2.p SEU794^1.p SEU794^2.p SEU795^1.p SEU795^2.p
SEU796^1.p SEU796^2.p SEU797^1.p SEU797^2.p SEU798^1.p SEU798^2.p SEU799^1.p
SEU799^2.p SEU800^1.p SEU800^2.p SEU801^1.p SEU801^2.p SEU802^1.p SEU802^2.p
SEU803^1.p SEU803^2.p SEU804^1.p SEU804^2.p SEU805^1.p SEU805^2.p SEU806^1.p
SEU806^2.p SEU807^1.p SEU807^2.p SEU808^1.p SEU808^2.p SEU809^1.p SEU809^2.p
SEU810^1.p SEU810^2.p SEU811^1.p SEU811^2.p SEU812^1.p SEU812^2.p SEU813^1.p
SEU813^2.p SEU814^1.p SEU814^2.p SEU815^1.p SEU815^2.p SEU816^1.p SEU816^2.p
SEU817^1.p SEU817^2.p SEU818^1.p SEU818^2.p SEU819^1.p SEU819^2.p SEU820^1.p
SEU820^2.p SEU821^1.p SEU821^2.p SEU822^1.p SEU822^2.p SEU823^1.p SEU823^2.p
SEU824^1.p SEU824^2.p SEU824^3.p SEU825^3.p SEU826^1.p SEU827^1.p SEU828^1.p
SEU829^1.p SEU831^5.p SEU832^5.p SEU833^5.p SEU834^5.p SEU835^5.rm SEU836^5.p
SEU837^5.rm SEU839^5.p SEU840^5.rm SEU841^5.p SEU842^5.p SEU843^5.p SEU844^5.p
SEU845^5.p SEU846^5.p SEU847^5.p SEU848^5.p SEU849^5.p SEU850^5.p SEU851^5.p
SEU852^5.p SEU853^5.p SEU854^5.p SEU855^5.p SEU856^5.p SEU857^5.p SEU858^5.p
SEU859^5.p SEU860^5.p SEU861^5.p SEU862^5.p SEU863^5.p SEU864^5.p SEU865^5.p
SEU866^5.p SEU867^5.p SEU868^5.p SEU869^5.p SEU871^5.p SEU872^5.p SEU873^5.p
SEU874^5.p SEU875^5.p SEU876^5.p SEU877^5.p SEU878^5.p SEU879^5.p SEU880^5.p
SEU881^5.p SEU882^5.p SEU883^5.p SEU884^5.p SEU885^5.p SEU886^5.p SEU887^5.p
SEU888^5.p SEU889^5.p SEU890^5.p SEU891^5.p SEU892^5.p SEU893^5.p SEU894^5.p
SEU895^5.p SEU896^5.p SEU897^5.p SEU898^5.p SEU899^5.p SEU900^5.rm SEU901^5.p
SEU902^5.p SEU903^5.p SEU904^5.p SEU905^5.p SEU906^5.p SEU907^5.p SEU908^5.p
SEU909^5.p SEU910^5.p SEU911^5.p SEU912^5.p SEU913^5.p SEU914^5.p SEU915^5.p
SEU916^5.p SEU917^5.p SEU918^5.p SEU919^5.p SEU920^5.p SEU921^5.p SEU922^5.p
SEU923^5.p SEU924^5.p SEU925^5.p SEU925^6.rm SEU926^5.p SEU927^5.p SEU928^5.p
SEU929^5.p SEU930^5.p SEU931^5.p SEU932^5.p SEU933^5.p SEU934^5.p SEU934^6.rm
SEU935^5.p SEU936^5.p SEU937^5.p SEU938^5.p SEU939^5.p SEU940^5.p SEU941^5.p
SEU942^5.p SEU943^5.p SEU944^5.p SEU945^5.p SEU946^5.p SEU947^5.p SEU948^5.p
SEU949^5.p SEU950^5.p SEU951^5.p SEU952^5.rm SEU953^5.p SEU954^5.p SEU955^5.p
SEU956^5.p SEU957^5.p SEU958^5.p SEU959^5.p SEU960^5.p SEU961^5.p SEU962^5.rm
SEU963^5.p SEU964^5.rm SEU965^5.p SEU966^5.p SEU967^5.p SEU968^5.p SEU969^5.p
SEU970^5.p SEU971^5.p SEU972^5.p SEU973^5.p SEU974^5.p SEU975^5.p SEU976^5.p
SEU977^5.p SEU978^5.p SEU979^5.p SEU980^5.rm SEU980^6.p SEU981^5.rm SEU982^5.p
SEU983^5.p SEU984^5.p SEU985^5.p SEU986^5.p SEU987^5.p SEU988^5.p SEU989^5.p
SEU990^5.p SEU991^5.p SEU992^5.p SEU993^5.p SEU994^5.p SEU995^5.p SEU996^5.p
SEU997^5.p SEU998^5.p SEU999^5.p