3 , ( Circle { shapeStyle = ShapeStyle
5 , styleStrokeColour = RGB 255 255 255
6 , styleFill = RGB 255 255 255
10 , Just [("interface", DoublePoint 0.0 0.25)]
13 , ( TextInEllipse { shapeStyle = ShapeStyle
14 { styleStrokeWidth = 2
15 , styleStrokeColour = RGB 250 0 0
16 , styleFill = RGB 255 255 255
20 , Just [ ("left" , DoublePoint (-0.5) 0.0)
21 , ("up" , DoublePoint 0.0 (-0.5))
22 , ("right", DoublePoint 0.5 0.0)]
25 , ( TextInEllipse { shapeStyle = ShapeStyle
26 { styleStrokeWidth = 2
27 , styleStrokeColour = RGB 250 0 0
28 , styleFill = RGB 255 255 255
32 , Just [("up" , DoublePoint 0.0 (-0.5))]
35 , ( TextInEllipse { shapeStyle = ShapeStyle
36 { styleStrokeWidth = 2
37 , styleStrokeColour = RGB 250 0 0
38 , styleFill = RGB 255 255 255
42 , Just [ ("up" , DoublePoint 0.0 (-0.5) )
43 , ("down" , DoublePoint 0.0 0.5) ]
46 , ( TextInEllipse { shapeStyle = ShapeStyle
47 { styleStrokeWidth = 2
48 , styleStrokeColour = RGB 250 0 0
49 , styleFill = RGB 255 255 255
53 , Just [ ("left" , DoublePoint (-0.5) 0.0)
54 , ("up" , DoublePoint 0.0 (-0.5))
55 , ("right", DoublePoint 0.5 0.0)]
58 , ( TextInEllipse { shapeStyle = ShapeStyle
59 { styleStrokeWidth = 2
60 , styleStrokeColour = RGB 250 0 0
61 , styleFill = RGB 255 255 255
65 , Just [ ("left" , DoublePoint (-0.5) 0.0)
66 , ("up" , DoublePoint 0.0 (-0.5))
67 , ("right", DoublePoint 0.5 0.0)]
70 , ( TextInEllipse { shapeStyle = ShapeStyle
71 { styleStrokeWidth = 2
72 , styleStrokeColour = RGB 250 0 0
73 , styleFill = RGB 255 255 255
77 , Just [ ("down" , DoublePoint 0.0 0.5)
78 , ("left" , DoublePoint (-0.5) 0.0)
79 , ("right", DoublePoint 0.5 0.0)]
82 , ( TextInEllipse { shapeStyle = ShapeStyle
83 { styleStrokeWidth = 2
84 , styleStrokeColour = RGB 250 0 0
85 , styleFill = RGB 255 255 255
89 , Just [ ("right", DoublePoint 0.5 0.0)
90 , ("left" , DoublePoint (-0.5) 0.0)
91 , ("up" , DoublePoint 0.0 (-0.5))]
94 , ( Composite { shapeSegments =
95 [ Circle { shapeStyle = ShapeStyle
96 { styleStrokeWidth = 2
97 , styleStrokeColour = RGB 250 0 0
98 , styleFill = RGB 255 255 255
102 , Arc { shapeStyle = ShapeStyle
103 { styleStrokeWidth = 2
104 , styleStrokeColour = RGB 250 0 0
105 , styleFill = RGB 255 255 255
110 , shapeCenter = DoublePoint 0.0 (-0.18)
112 , Arc { shapeStyle = ShapeStyle
113 { styleStrokeWidth = 2
114 , styleStrokeColour = RGB 250 0 0
115 , styleFill = RGB 255 255 255
120 , shapeCenter = DoublePoint 0.0 0.18
123 , Just [ ("down" , DoublePoint 0.0 0.5) ]