\setlength{\unitlength}{4144sp}%
%
\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}(4463,3072)(-51,-2683)
\thinlines
\put(1531,-421){\vector( 1, 0){990}}
\put(631,-1501){\vector( 1,-1){540}}
\put(631,-1141){\vector( 1, 1){540}}
\put(2881,-241){\line( 1, 1){270}}
\put(3151, 29){\line( 1, 0){450}}
\put(3601, 29){\vector( 1,-1){270}}
\put(3151,-871){\vector(-1, 1){270}}
\put(3151,-871){\line( 1, 0){450}}
\put(3601,-871){\line( 1, 1){270}}
\put(1801,-2671){\vector(-1, 1){270}}
\put(1801,-2671){\line( 1, 0){450}}
\put(2251,-2671){\line( 1, 1){270}}
\put(1531,-2041){\line( 1, 1){270}}
\put(1801,-1771){\line( 1, 0){450}}
\put(2251,-1771){\vector( 1,-1){270}}
\put(451,-1411){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$P_1$}}}
\put(1351,-2311){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$P_5$}}}
\put(1351,-511){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$P_2$}}}
\put(2701,-511){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$P_3$}}}
\put(2701,-2311){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$P_6$}}}
\put(4051,-511){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$P_4$}}}
\put(2026,-1681){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$x$/$b$}}}
\put(2026,-2581){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$x$/$b$}}}
\put(2026,-331){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$x$/$a$}}}
\put(3376,119){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$x$/$a$}}}
\put(3376,-781){\makebox(0,0)[b]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$x$/$a$}}}
\put(856,-916){\makebox(0,0)[rb]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$1$/$1$}}}
\put(856,-1951){\makebox(0,0)[rb]{\smash{\SetFigFont{20}{24.0}{\familydefault}{\mddefault}{\updefault}$1$/$1$}}}
\end{picture}
