PROC Dot(a) IS 
  VAR b ~ R2.Plus(a, (8.3312, 0.7584915)) IN 
    SAVE PS IN 
      Circle.Draw(a, b); 
      PS.SetColor(Color.Red); 
      PS.Fill() 
    END 
  END 
END;

UI PointTool(Dot);

PROC Cmd0() IS 
  IF 
    VAR 
      a = (-158.29282, 321.5994), b = (-47.715057, 307.9466), 
      c = (139.35826, 341.32013), d = (-156.77805, 236.64862), 
      e = (-87.098915, 153.9733), f ~ (-130.89215, 205.93463), 
      g = (-28.02313, 156.24876), h = (174.95522, 339.04465), 
      i = (-151.47638, 271.53912), j = (104.5187, 136.52805), 
      k ~ (36.00653, 265.7131), l = (-100.73179, 41.716904), 
      m = (-38.626476, 56.88669), n ~ (-53.79626, 118.992), 
      o ~ (-132.7111, -13.641155), p = (72.708664, 49.301796), 
      q = (28.02313, 49.301796), r ~ (28.02313, 93.98733), 
      s ~ (103.60393, 17.01744), t = (-94.67274, -106.188484), 
      u = (-38.626476, -113.014885), v ~ (-66.37926, -57.32887) 
    IN 
      Slider.OnLine(a, b, c, d, f, e) AND 
      Slider.OnCurve(a, b, c, g, h, i, j, k) AND 
      Angle.Right(l, m, n) AND 
      Slider.OnCircle(a, b, c, l, m, o) AND 
      Angle.Right(r, q, p) AND 
      Slider.OnCircleCC(a, b, c, p, q, s) AND 
      Slider.OnSemiCC(a, b, c, t, u, v) AND 
      (l, m) CONG (m, n) AND 
      (r, q) CONG (q, p) -> 
        Slider.Draw(a, b, c); 
        PS.SetWidth(2); 
        Arrow.Straight(d, e); 
        Dot(f); 
        PS.MoveTo(g); 
        PS.CurveTo(h, i, j); 
        PS.Stroke(); 
        Arrow.Head(i, j); 
        Dot(k); 
        Circle.Draw(l, m); 
        PS.Stroke(); 
        Arrow.Head(n, m); 
        Dot(o); 
        Circle.Draw(p, q); 
        PS.Stroke(); 
        Arrow.Head(r, q); 
        Dot(s); 
        PS.MoveTo(u); 
        Circle.DrawQuarterCC(t); 
        Circle.DrawQuarterCC(t); 
        PS.Stroke(); 
        Dot(v) 
    END 
  FI 
END;