\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}(6719,3498)(2776,-4519)
{\color[rgb]{0,0,0}\thicklines
\put(3976,-4261){\oval(450,450)}
}%
{\color[rgb]{0,0,0}\put(3976,-1336){\oval(450,450)}
}%
{\color[rgb]{0,0,0}\put(7351,-1261){\oval(450,450)}
}%
{\color[rgb]{0,0,0}\put(7201,-4261){\oval(450,450)}
}%
{\color[rgb]{0,0,0}\put(4351,-4261){\vector( 1, 0){2550}}
}%
{\color[rgb]{0,0,0}\put(6976,-4036){\vector(-1, 1){2587.500}}
}%
{\color[rgb]{0,0,0}\put(3901,-1636){\vector( 0,-1){2250}}
}%
{\color[rgb]{0,0,0}\put(4201,-4036){\vector( 1, 1){2737.500}}
}%
{\color[rgb]{0,0,0}\put(7051,-1261){\vector(-1, 0){2700}}
}%
{\color[rgb]{0,0,0}\put(7426,-1561){\vector( 0,-1){2325}}
}%
\put(2776,-4411){\makebox(0,0)[lb]{\smash{{\SetFigFont{20}{24.0}{\rmdefault}{\bfdefault}{\updefault}{\color[rgb]{0,0,0}king}%
}}}}
\put(7726,-4411){\makebox(0,0)[lb]{\smash{{\SetFigFont{20}{24.0}{\rmdefault}{\bfdefault}{\updefault}{\color[rgb]{0,0,0}not a king}%
}}}}
\put(7876,-1411){\makebox(0,0)[lb]{\smash{{\SetFigFont{20}{24.0}{\rmdefault}{\bfdefault}{\updefault}{\color[rgb]{0,0,0}king}%
}}}}
\put(2776,-1411){\makebox(0,0)[lb]{\smash{{\SetFigFont{20}{24.0}{\rmdefault}{\bfdefault}{\updefault}{\color[rgb]{0,0,0}king}%
}}}}
\end{picture}%
