\begin{picture}(0,0)%
\epsfig{file=Figures/ROP.pstex}%
\end{picture}%
\setlength{\unitlength}{1579sp}%
%
\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}(16866,6452)(-2306,-12314)
\put(9451,-10636){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(i_4)$}}%
}}}}
\put(9451,-9586){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(i_1)$}}%
}}}}
\put(9451,-6436){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(i_2)$}}%
}}}}
\put(10126,-11161){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$i_1$}}%
}}}}
\put(11176,-11161){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$i_2$}}%
}}}}
\put(12226,-11161){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$i_3$}}%
}}}}
\put(13276,-11161){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$i_4$}}%
}}}}
\put(14326,-11161){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$i_5$}}%
}}}}
\put(9451,-7486){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(i_5)$}}%
}}}}
\put(9451,-8536){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\pi(i_3)$}}%
}}}}
\put(3451,-9661){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_4$}}%
}}}}
\put(-641,-7404){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_1$}}%
}}}}
\put(-2275,-9338){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_1$}}%
}}}}
\put(-650,-9873){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_2$}}%
}}}}
\put(5009,-7304){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_1$}}%
}}}}
\put(3375,-9238){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_1$}}%
}}}}
\put(5000,-9773){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_2$}}%
}}}}
\put(3452,-8771){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_1$}}%
}}}}
\put(988,-7670){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_2$}}%
}}}}
\put(6414,-7234){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_2$}}%
}}}}
\put(6545,-7634){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_2$}}%
}}}}
\put(6449,-8232){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_5$}}%
}}}}
\put(4097,-9029){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$e_3$}}%
}}}}
\put(10726,-6961){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(13876,-10111){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(10726,-10111){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(13801,-6961){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$\emptyset$}}%
}}}}
\put(13426,-9961){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_1$}}%
}}}}
\put(11701,-6886){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$v_2$}}%
}}}}
\put(10876,-8536){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_1$}}%
}}}}
\put(13801,-8536){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\normalsize{$f_2$}}%
}}}}
\put(12167,-12235){\makebox(0,0)[rb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}\normalsize{(c)}}}}}
\put(-954,-12247){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}\normalsize{(a)}}}}}
\put(4639,-12260){\makebox(0,0)[lb]{\smash{{\SetFigFont{5}{6.0}{\rmdefault}{\mddefault}{\updefault}\normalsize{(b)}}}}}
\end{picture}%