1 Palette [("interface",(Circle {shapeStyle = ShapeStyle {styleStrokeWidth = 2, styleStrokeColour = RGB 255 255 255, styleFill = RGB 255 255 255}, shapeRadius = 0.25},Just [("interface",DoublePoint 0.0 0.25)],Just [])),("copy",(TextInEllipse {shapeStyle = ShapeStyle {styleStrokeWidth = 1, styleStrokeColour = RGB 0 0 0, styleFill = RGB 192 192 192}, shapeText = "c"},Just [("src",DoublePoint 0.0 0.3),("fst_target",DoublePoint (-0.3) (-0.3)),("snd_target",DoublePoint 0.3 (-0.3))],Nothing)),("duplicator",(Composite {shapeSegments = [Circle {shapeStyle = ShapeStyle {styleStrokeWidth = 2, styleStrokeColour = RGB 250 0 0, styleFill = RGB 255 255 255}, shapeRadius = 0.5},Arc {shapeStyle = ShapeStyle {styleStrokeWidth = 2, styleStrokeColour = RGB 250 0 0, styleFill = RGB 255 255 255}, shapeRadius = 0.2, shapeStart = 70.0, shapeEnd = 270.0, shapeCenter = DoublePoint 0.0 (-0.18)},Arc {shapeStyle = ShapeStyle {styleStrokeWidth = 2, styleStrokeColour = RGB 250 0 0, styleFill = RGB 255 255 255}, shapeRadius = 0.2, shapeStart = 150.0, shapeEnd = 90.0, shapeCenter = DoublePoint 0.0 0.18}]},Just [("down",DoublePoint 0.0 0.5),("copy1",DoublePoint (-0.3) (-0.3)),("copy2",DoublePoint 0.3 (-0.3))],Just [])),("Erase",(Composite {shapeSegments = [Circle {shapeStyle = ShapeStyle {styleStrokeWidth = 2, styleStrokeColour = RGB 250 0 0, styleFill = RGB 255 255 255}, shapeRadius = 0.5},Arc {shapeStyle = ShapeStyle {styleStrokeWidth = 2, styleStrokeColour = RGB 250 0 0, styleFill = RGB 255 255 255}, shapeRadius = 0.2, shapeStart = 90.0, shapeEnd = 270.0, shapeCenter = DoublePoint 0.0 (-0.18)},Arc {shapeStyle = ShapeStyle {styleStrokeWidth = 2, styleStrokeColour = RGB 250 0 0, styleFill = RGB 255 255 255}, shapeRadius = 0.2, shapeStart = 90.0, shapeEnd = 270.0, shapeCenter = DoublePoint 0.0 0.18}]},Just [("down",DoublePoint 0.0 0.5)],Just []))]