\begin{picture}(0,0)%
\includegraphics{4S4FT2.pdf}%
\end{picture}%
\setlength{\unitlength}{3947sp}%
%
\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}(9666,12624)(-32,-11773)
\put(472,-5835){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}8}%
}}}}
\put(472,-6464){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}3}%
}}}}
\put(813,-6464){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}7}%
}}}}
\put(472,-7035){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}6}%
}}}}
\put(813,-7035){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}2}%
}}}}
\put(472,-7664){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}1}%
}}}}
\put(226,764){\rotatebox{90.0}{\makebox(0,0)[rb]{\smash{{\SetFigFont{11}{13.2}{\familydefault}{\mddefault}{\updefault}{\red\bf$\smiley$~Fun.}}}}}}
\put(376,-7513){\makebox(0,0)[rb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}\rp15}%
}}}}
\put(376,-6378){\makebox(0,0)[rb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}\rp37}%
}}}}
\put(1201,-5836){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}4}%
}}}}
\put(786,-7573){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}5}%
}}}}
\put(1201,-5611){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\vs{4}}%
}}}}
\put(526,-7786){\makebox(0,0)[rb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\vs{1}}%
}}}}
\put(826,-7336){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\vs{2}}%
}}}}
\put(526,-6586){\makebox(0,0)[rb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\vs{3}}%
}}}}
\put(882,-7556){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\vs{5}}%
}}}}
\put(526,-7186){\makebox(0,0)[rb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\vs{6}}%
}}}}
\put(826,-6785){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\vs{7}}%
}}}}
\put(1426,-6286){\rotatebox{90.0}{\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\itdefault}{\color[rgb]{0,0,0}$\varphi_4=-1$}%
}}}}}
\put(2101,-5686){\makebox(0,0)[lb]{\smash{{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\fintexample}%
}}}}
\put(  1,-5236){\makebox(0,0)[lb]{\smash{{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\sltwoexample}%
}}}}
\put(1651,-6286){\makebox(0,0)[lb]{\smash{{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\sltwodefs}%
}}}}
\put(  1,-8236){\makebox(0,0)[lb]{\smash{{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\sltwoZ}%
}}}}
\put(376,-6961){\makebox(0,0)[rb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}\rp62}%
}}}}
\put(1466,-6511){\makebox(0,0)[rb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.69,0,.69}\gp{-1}4}%
}}}}
\put(4801,-5161){\makebox(0,0)[lb]{\smash{{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\slthree}%
}}}}
\put(  1,-10786){\makebox(0,0)[lb]{\smash{{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\Combinatorics}%
}}}}
\put(4801,-10411){\makebox(0,0)[lb]{\smash{{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}\Topology}%
}}}}
\end{picture}%