\begin{picture}(0,0)%
\includegraphics{LOP.pstex}%
\end{picture}%
\setlength{\unitlength}{1381sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(10875,6542)(2551,-12308)
\put(13426,-9361){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(e)$}}%
}}}}
\put(13426,-8311){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(c)$}}%
}}}}
\put(13426,-7261){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(a)$}}%
}}}}
\put(13426,-6211){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(d)$}}%
}}}}
\put(12751,-10936){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e$}}%
}}}}
\put(11701,-10936){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$d$}}%
}}}}
\put(10651,-10936){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$c$}}%
}}}}
\put(9601,-10936){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$b$}}%
}}}}
\put(8551,-10936){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$a$}}%
}}}}
\put(13426,-10411){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(a)$}}%
}}}}
\put(12301,-6661){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(2551,-7636){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_1$}}%
}}}}
\put(5926,-9436){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_2$}}%
}}}}
\put(3226,-9361){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_2$}}%
}}}}
\put(3301,-6886){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_2$}}%
}}}}
\put(5251,-10486){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_5$}}%
}}}}
\put(5326,-7786){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_4$}}%
}}}}
\put(4426,-8011){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_3$}}%
}}}}
\put(12526,-8836){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_2$}}%
}}}}
\put(8926,-7636){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_1$}}%
}}}}
\put(10651,-9961){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_1$}}%
}}}}
\put(10651,-6736){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_2$}}%
}}}}
\put(8851,-6736){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(8776,-9961){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(12226,-9961){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(4201,-7411){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_2$}}%
}}}}
\put(4051,-9811){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_1$}}%
}}}}
\put(5432,-12254){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}\normalsize{(a)}}}}}
\put(11267,-12254){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}\normalsize{(b)}}}}}
\end{picture}%