\documentclass[12pt]{article}
\usepackage[pdftex]{color}
\usepackage[paperwidth=165mm,paperheight=105mm]{geometry}
\usepackage{amssymb}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{165mm}
\setlength{\textheight}{105mm}
\setlength{\oddsidemargin}{-23mm}
\setlength{\parindent}{0cm}
\setlength{\unitlength}{1cm}
\pagestyle{empty}

\definecolor{fValAnnLink}       {rgb}{0.99, 0.60, 0.40}
\definecolor{fValAnn}           {rgb}{0.70, 0.00, 0.00}
\definecolor{bPgm}              {rgb}{0.95, 0.95, 0.99}
\definecolor{fPgmCode}          {rgb}{0.00, 0.00, 0.20}
\definecolor{fPgmFlow}          {rgb}{0.00, 0.00, 0.50}

\newcommand{\prog}{\large\tt}
\newcommand{\valAnn}{\large}
\newcommand{\Z}{Z\hspace{-0.63em}Z}
\newcommand{\Int}{{\sf Int}}
\newcommand{\set}[1]{\{#1\}}

\begin{picture}(16,10)
\textcolor{bPgm}{\put(0.300,0.300){\makebox(0.000,0.000)[bl]{\rule{8.9cm}{9.4cm}}}}%
\thicklines%
\textcolor{fPgmFlow}{\put(4.500,9.500){\vector(0,-1){0.850}}}%
\textcolor{fPgmFlow}{\put(4.500,8.500){\makebox(0.000,0.000){%
        \prog $\bullet$}}}%
\textcolor{fPgmFlow}{\put(4.500,8.500){\vector(0,-1){0.600}}}%
\textcolor{fPgmCode}{\put(4.500,7.500){\makebox(0.000,0.000){%
        \prog while (x>1) \{}}}%
\textcolor{fPgmFlow}{\put(4.500,7.100){\vector(0,-1){1.200}}}%
\textcolor{fPgmCode}{\put(4.500,5.500){\makebox(0.000,0.000){%
        \prog if (x\%2==0)}}}%
\textcolor{fPgmFlow}{\put(4.100,5.100){\vector(-1,-1){1.200}}}%
\textcolor{fPgmCode}{\put(3.500,3.500){\makebox(0.000,0.000)[r]{%
        \prog x=x/2;}}}%
\textcolor{fPgmCode}{\put(4.500,3.500){\makebox(0.000,0.000){%
        \prog else}}}%
\textcolor{fPgmFlow}{\put(4.900,5.100){\vector(1,-1){1.200}}}%
\textcolor{fPgmCode}{\put(5.500,3.500){\makebox(0.000,0.000)[l]{%
        \prog x=x*3+1;}}}%
\textcolor{fPgmFlow}{\put(2.900,3.100){\vector(1,-1){1.500}}}%
\textcolor{fPgmFlow}{\put(6.100,3.100){\vector(-1,-1){1.500}}}%
\textcolor{fPgmCode}{\put(2.000,1.500){\makebox(0.000,0.000){%
        \prog \}}}}%
\textcolor{fPgmFlow}{\put(4.500,1.500){\makebox(0.000,0.000){%
        \prog $\bullet$}}}%
\textcolor{fPgmFlow}{\put(4.500,1.500){\line(0,-1){1.000}}}%
\textcolor{fPgmFlow}{\put(4.500,0.500){\line(-1,0){4.000}}}%
\textcolor{fPgmFlow}{\put(0.500,0.500){\line(0,1){8.000}}}%
\textcolor{fPgmFlow}{\put(0.500,8.500){\vector(1,0){3.850}}}%
\textcolor{fPgmFlow}{\put(6.700,7.500){\line(1,0){2.300}}}%
\textcolor{fPgmFlow}{\put(9.000,7.500){\vector(0,-1){7.000}}}%
\thinlines%
\textcolor{fValAnnLink}{\put(4.500,9.250){\line(1,0){5.000}}}%
\textcolor{fValAnn}{\put(9.500,9.250){\makebox(0.000,0.000)[l]{%
        \valAnn $A=\Int$}}}%
\textcolor{fValAnnLink}{\put(4.500,8.250){\line(1,0){5.000}}}%
\textcolor{fValAnn}{\put(9.500,8.250){\makebox(0.000,0.000)[l]{%
        \valAnn $B=A \cup I$}}}%
\textcolor{fValAnnLink}{\put(4.500,6.500){\line(1,0){4.400}}}%
\textcolor{fValAnnLink}{\put(9.100,6.500){\line(1,0){0.400}}}%
\textcolor{fValAnn}{\put(9.500,6.500){\makebox(0.000,0.000)[l]{%
        \valAnn $C=B \cap \set{n \in \Int \mid n > 1}$}}}%
\textcolor{fValAnnLink}{\put(3.900,4.900){\line(1,0){1.100}}}%
\textcolor{fValAnnLink}{\put(5.200,4.900){\line(1,0){3.700}}}%
\textcolor{fValAnnLink}{\put(9.100,4.900){\line(1,0){0.400}}}%
\textcolor{fValAnn}{\put(9.500,4.900){\makebox(0.000,0.000)[l]{%
        \valAnn $E=C \cap \set{2 \cdot n \mid n \in \Int}$}}}%
\textcolor{fValAnnLink}{\put(5.800,4.200){\line(1,0){3.100}}}%
\textcolor{fValAnnLink}{\put(9.100,4.200){\line(1,0){0.400}}}%
\textcolor{fValAnn}{\put(9.500,4.200){\makebox(0.000,0.000)[l]{%
        \valAnn $F=C \cap \set{2 \cdot n + 1 \mid n \in \Int}$}}}%
\textcolor{fValAnnLink}{\put(3.100,2.900){\line(1,0){2.700}}}%
\textcolor{fValAnnLink}{\put(6.000,2.900){\line(1,0){2.900}}}%
\textcolor{fValAnnLink}{\put(9.100,2.900){\line(1,0){0.400}}}%
\textcolor{fValAnn}{\put(9.500,2.900){\makebox(0.000,0.000)[l]{%
        \valAnn $G=\set{n/2 \mid n \in E}$}}}%
\textcolor{fValAnnLink}{\put(5.200,2.200){\line(1,0){3.700}}}%
\textcolor{fValAnnLink}{\put(9.100,2.200){\line(1,0){0.400}}}%
\textcolor{fValAnn}{\put(9.500,2.200){\makebox(0.000,0.000)[l]{%
        \valAnn $H=\set{3 \cdot n+1 \mid n \in F}$}}}%
\textcolor{fValAnnLink}{\put(9.000,5.700){\line(1,0){0.500}}}%
\textcolor{fValAnn}{\put(9.500,5.700){\makebox(0.000,0.000)[l]{%
        \valAnn $D=B \cap \set{n \in \Int \mid n \leqslant 1}$}}}%
\textcolor{fValAnnLink}{\put(4.500,1.000){\line(1,0){4.400}}}%
\textcolor{fValAnnLink}{\put(9.100,1.000){\line(1,0){0.400}}}%
\textcolor{fValAnn}{\put(9.500,1.000){\makebox(0.000,0.000)[l]{%
        \valAnn $I = G \cup H$}}}%
\end{picture}
\end{document}