\setlength{\unitlength}{0.00087489in}
%
\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%
{\renewcommand{\dashlinestretch}{30}
\begin{picture}(4699,7344)(0,-10)
\put(3443,6327){\blacken\ellipse{90}{90}}
\put(3443,6327){\ellipse{90}{90}}
\put(3443,6326){\ellipse{158}{158}}
\path(1422,7005)(1422,5205)
\dashline{60.000}(981,5412)(81,4962)
\dashline{60.000}(2772,5430)(1872,4980)
\dashline{60.000}(72,4980)(1872,4980)
\dashline{60.000}(972,5430)(2772,5430)
\dashline{60.000}(522,5205)(2322,5205)
\dashline{60.000}(972,4980)(1872,5430)
\dashline{60.000}(72,4980)(72,5880)
\dashline{60.000}(522,5205)(522,6105)
\dashline{60.000}(972,5430)(972,6330)
\dashline{60.000}(1872,5430)(1872,6330)
\dashline{60.000}(2772,5430)(2772,6330)
\dashline{60.000}(2322,5205)(2322,6105)
\dashline{60.000}(1872,4980)(1872,5880)
\dashline{60.000}(972,4980)(972,5880)
\path(522,6105)(2322,6105)
\path(1872,6330)(1422,6105)
\path(1422,6105)(972,5880)
\dashline{60.000}(972,5880)(972,6780)(1872,7230)(1872,6330)
\dashline{60.000}(522,6105)(522,7005)(2322,7005)(2322,6105)
\dashline{60.000}(981,6312)(81,5862)
\dashline{60.000}(2772,6330)(1872,5880)
\dashline{60.000}(2772,7230)(1872,6780)
\dashline{60.000}(972,7230)(72,6780)
\dashline{60.000}(72,5880)(72,6780)(1872,6780)(1872,5880)
\dashline{60.000}(72,5880)(1872,5880)
\dashline{60.000}(972,6330)(2772,6330)
\dashline{60.000}(972,6330)(972,7230)(2772,7230)(2772,6330)
\put(837,5700){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}1}}}
\put(2457,5970){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}2}}}
\put(1332,7050){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}3}}}
\path(1422,4530)(1422,2730)
\dashline{60.000}(981,2937)(81,2487)
\dashline{60.000}(2772,2955)(1872,2505)
\dashline{60.000}(72,2505)(1872,2505)
\dashline{60.000}(972,2955)(2772,2955)
\dashline{60.000}(522,2730)(2322,2730)
\dashline{60.000}(972,2505)(1872,2955)
\dashline{60.000}(72,2505)(72,3405)
\dashline{60.000}(522,2730)(522,3630)
\dashline{60.000}(972,2955)(972,3855)
\dashline{60.000}(1872,2955)(1872,3855)
\dashline{60.000}(2772,2955)(2772,3855)
\dashline{60.000}(2322,2730)(2322,3630)
\dashline{60.000}(1872,2505)(1872,3405)
\dashline{60.000}(972,2505)(972,3405)
\path(522,3630)(2322,3630)
\path(1872,3855)(1422,3630)
\path(1422,3630)(972,3405)
\dashline{60.000}(972,3405)(972,4305)(1872,4755)(1872,3855)
\dashline{60.000}(522,3630)(522,4530)(2322,4530)(2322,3630)
\dashline{60.000}(981,3837)(81,3387)
\dashline{60.000}(2772,3855)(1872,3405)
\dashline{60.000}(2772,4755)(1872,4305)
\dashline{60.000}(972,4755)(72,4305)
\dashline{60.000}(72,3405)(72,4305)(1872,4305)(1872,3405)
\dashline{60.000}(72,3405)(1872,3405)
\dashline{60.000}(972,3855)(2772,3855)
\dashline{60.000}(972,3855)(972,4755)(2772,4755)(2772,3855)
\put(837,3225){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}1}}}
\put(2457,3495){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}2}}}
\put(1332,4575){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}3}}}
\path(1422,2055)(1422,255)
\dashline{60.000}(981,462)(81,12)
\dashline{60.000}(2772,480)(1872,30)
\dashline{60.000}(72,30)(1872,30)
\dashline{60.000}(972,480)(2772,480)
\dashline{60.000}(522,255)(2322,255)
\dashline{60.000}(972,30)(1872,480)
\dashline{60.000}(72,30)(72,930)
\dashline{60.000}(522,255)(522,1155)
\dashline{60.000}(972,480)(972,1380)
\dashline{60.000}(1872,480)(1872,1380)
\dashline{60.000}(2772,480)(2772,1380)
\dashline{60.000}(2322,255)(2322,1155)
\dashline{60.000}(1872,30)(1872,930)
\dashline{60.000}(972,30)(972,930)
\path(522,1155)(2322,1155)
\path(1872,1380)(1422,1155)
\path(1422,1155)(972,930)
\dashline{60.000}(972,930)(972,1830)(1872,2280)(1872,1380)
\dashline{60.000}(522,1155)(522,2055)(2322,2055)(2322,1155)
\dashline{60.000}(981,1362)(81,912)
\dashline{60.000}(2772,1380)(1872,930)
\dashline{60.000}(2772,2280)(1872,1830)
\dashline{60.000}(972,2280)(72,1830)
\dashline{60.000}(72,930)(72,1830)(1872,1830)(1872,930)
\dashline{60.000}(72,930)(1872,930)
\dashline{60.000}(972,1380)(2772,1380)
\dashline{60.000}(972,1380)(972,2280)(2772,2280)(2772,1380)
\put(837,750){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}1}}}
\put(2457,1020){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}2}}}
\put(1332,2100){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}3}}}
\put(3447,7230){\ellipse{134}{134}}
\put(3447,6780){\blacken\ellipse{90}{90}}
\put(3447,6780){\ellipse{90}{90}}
\put(975,7241){\blacken\ellipse{90}{90}}
\put(975,7241){\ellipse{90}{90}}
\put(1883,4998){\blacken\ellipse{90}{90}}
\put(1883,4998){\ellipse{90}{90}}
\put(2317,7009){\ellipse{134}{134}}
\put(2775,6341){\ellipse{134}{134}}
\put(975,6791){\ellipse{134}{134}}
\put(75,5891){\ellipse{134}{134}}
\put(525,5224){\ellipse{134}{134}}
\put(1860,5441){\ellipse{134}{134}}
\put(1875,4765){\ellipse{134}{134}}
\put(975,2522){\ellipse{134}{134}}
\put(1875,4307){\blacken\ellipse{90}{90}}
\put(1875,4307){\ellipse{90}{90}}
\put(2768,2957){\blacken\ellipse{90}{90}}
\put(2768,2957){\ellipse{90}{90}}
\put(2325,3625){\ellipse{134}{134}}
\put(967,940){\ellipse{134}{134}}
\put(2317,1157){\ellipse{134}{134}}
\put(1425,2050){\ellipse{134}{134}}
\put(1875,1839){\blacken\ellipse{90}{90}}
\put(1875,1839){\ellipse{90}{90}}
\put(3807,6285){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}both}}}
\put(3807,6735){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}disjunctive}}}
\put(3807,7185){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}conjunctive}}}
\end{picture}
}