[Cyan]<PreISLCedar>Stolfi>Juno>StolfiProcs.juno!1

QuarterEllipse(a, b, c)

: if k == (1., 0.552) rel (a, b, c)
, f == (0.552, 1.) rel (a, b, c)
| T
-> stroke (c, f, k, b) fi

Ellipse(a, b, c)

: if e == (0., 1.) rel (a, b, c)
, d == (0., - 1.) rel (a, b, c)
, c == (- 1., - 0.) rel (a, b, c)
| T
-> QuarterEllipse(a, b, e)
; QuarterEllipse(a, e, c)
; QuarterEllipse(a, c, d)
; QuarterEllipse(a, d, b) fi

FillQuarterEllipse(a, b, c)

: if k == (1., 0.552) rel (a, b, c)
, f == (0.552, 1.) rel (a, b, c)
| T
-> fill (c, f, k, b), (b, a), (a, c) fi

FillEllipse(a, b, c)

: if d == (- 1, 0) rel (a, b, c)
, e == (0, - 1) rel (a, b, c)
| T
-> FillQuarterEllipse(a, b, c)
; FillQuarterEllipse(a, c, d)
; FillQuarterEllipse(a, d, e)
; FillQuarterEllipse(a, e, b) fi

FillLune(a, b1, b2, c)

: if k1 == (1., 0.552) rel (a, b1, c)
, f1 == (0.552, 1.) rel (a, b1, c)
, k2 == (1., 0.552) rel (a, b2, c)
, f2 == (0.552, 1.) rel (a, b2, c)
| T
-> fill (c, f1, k1, b1), (b1, b2), (b2, k2, f2, c) fi

QuarterCircle(a, b)

: if c == (0, 1) rel (a, b) | T
-> QuarterEllipse(a, b, c) fi

Circle(a, b)

: if c == (0, 1) rel (a, b) | T -> Ellipse(a, b, c) fi

stroke4(a, b, c, d): black paint stroke (a, b, c, d)

Coeur(a, b)

: if f == (0.3185, 0.9218) rel (a, b)
, e == (- 0.4127, 0.4211) rel (a, b)
, d == (- 0.4127, - 0.4211) rel (a, b)
, c == (0.3185, - 0.9218) rel (a, b)
| (c, f) para (d, e)
and (a, e) cong (d, a)
and (a, f) cong (c, a)
and (b, f) cong (c, b)
-> red paint fill (a, d, c, b), (b, f, e, a) fi

QuarterBody(a, b)

: if k == (1., 0.552) rel (a, b)
, f == (0.552, 1.) rel (a, b)
, c == (0., 1.) rel (a, b)
| T
-> black paint
stroke (c, f, k, b)
; fill (a, c), (c, f, k, b), (b, a) fi

QuarterFilledElipse(a, b, c)

: if k == (1., 0.552) rel (a, b, c)
, f == (0.552, 1.) rel (a, b, c)
| T
-> fill (b, k, f, c), (c, a), (a, b)
; black paint draw (b, k, f, c) fi

FilledEllipses(a, b, c, x)

: if y == (1, 0.9) rel (a, x, b)
, z == (0.9, 1) rel (a, c, x)
| T
-> FilledEllipse(a, b, c); FilledEllipse(x, y, z) fi

Eyes(m, r, h, p)

: if l == (- 1, 0) rel (m, r, h)
, b == (1.55, 0) rel (m, r, h)
, c == (1, 1) rel (m, r, h)
, k == (2, 1) rel (r, m, p)
, d == (1, 0.33) rel (m, p, r)
, e == (1, 0.6) rel (m, p, h)
| T
-> cyan paint
FilledEllipses(r, b, c, l)
; black paint FilledEllipses(p, d, e, k) fi

Curl(a, b)

: if f == (0.95, - 0.1) rel (a, b)
, e == (1., - 0.05) rel (a, b)
, d == (1., 0.05) rel (a, b)
, c == (0.95, 0.1) rel (a, b)
| T
-> black paint stroke (c, d, e, f) fi

Smile(a, b)

: if e == (1, 0.57) rel (a, b)
, h == (0.3, 0.53) rel (a, b)
, k == (- 0.12, 0.17) rel (a, b)
, f == (1, 0.6) rel (a, b)
, i == (0.3, 0.57) rel (a, b)
| T
-> black paint
fill (b, e, h, k), (k, i, f, b)
; black paint
round ends
stroke (b, e, h, k)
; round ends stroke (k, i, f, b); Curl(h, k) fi

Body(a, b)

: if e == (0., 1.) rel (a, b)
, d == (0., - 1.) rel (a, b)
, c == (- 1., - 0.) rel (a, b)
, m == (0.48, - 0.53) rel (a, b)
, r == (0.37, - 0.45) rel (a, b)
, h == (0.37, - 0.65) rel (a, b)
, p == (0.38, - 0.46) rel (a, b)
| T
-> QuarterBody(a, e)
; QuarterBody(a, c)
; QuarterBody(a, d)
; QuarterBody(a, b)
; Eyes(m, r, h, p)
; Smile(a, b) fi

UncoloredThing(center, base)

: if lhip == (0.4, 0.29) rel (center, base)
, lheel == (1.15, 0.55) rel (center, base)
, ltoe == (1.25, - 0.65) rel (center, base)
, nose == (0.219, - 0.5661) rel (center, base)
, rhip == (0.18, - 0.06) rel (center, base)
, rheel == (0.9, 0.2) rel (center, base)
, rtoe == (0.98, - 0.93) rel (center, base)
, w == (0.01, 0) rel (center, base)
| T
-> center, w width
round ends
Leg(rhip, rheel, rtoe)
; Body(center, nose)
; Leg(lhip, lheel, ltoe) fi

Thing(a, b): lightred paint UncoloredThing(a, b)

ThingPlaced(a, b)

: if e == (0.5209, 0.3603) rel (a, b)
, d == (0.3612, 0.4803) rel (a, b)
, c == (0.6806, 0.2402) rel (a, b)
| (e, c) cong (d, e)
and (c, b) cong (d, c)
and hor (b, d)
and hor (c, d)
and ver (a, d)
-> Thing(c, b) fi

Dot(x): 6 width round ends black paint stroke (x, x)

Dots(x, y): red paint draw (x, y)

ThigsGalore(a)

: if a5 == (- 23., - 514.) rel (a)
, a4 == (- 28., - 197.) rel (a)
, a3 == (- 29., - 488.) rel (a)
, a2 == (- 29., - 56.) rel (a)
, a1 == (- 29., - 12.) rel (a)
, a0 == (- 30., - 340.) rel (a)
, z == (- 31., - 119.) rel (a)
, y == (- 32., - 243.) rel (a)
, x == (- 33., - 365.) rel (a)
, w == (- 33., - 584.) rel (a)
, v == (- 34., - 143.) rel (a)
, u == (- 35., - 273.) rel (a)
, t == (- 40., - 406.) rel (a)
, s == (- 43., - 449.) rel (a)
, r == (- 45., - 475.) rel (a)
, q == (- 46., - 171.) rel (a)
, p == (- 47., 16.) rel (a)
, o == (- 49., - 41.) rel (a)
, n == (- 51., - 303.) rel (a)
, m == (- 51., - 78.) rel (a)
, l == (- 54., - 615.) rel (a)
, k == (- 71., - 115.) rel (a)
, j == (- 73., - 440.) rel (a)
, i == (- 82., - 545.) rel (a)
, h == (- 91., - 225.) rel (a)
, g == (- 124., - 359.) rel (a)
, f == (- 133., - 505.) rel (a)
, e == (- 204., - 261.) rel (a)
, d == (- 208., - 605.) rel (a)
, c == (- 320., 22.) rel (a)
| T
-> ThingPlaced(a, z)
; ThingPlaced(a, q)
; ThingPlaced(a, y)
; ThingPlaced(a, n)
; ThingPlaced(a, a0)
; ThingPlaced(a, x)
; ThingPlaced(a, s)
; ThingPlaced(a, a3)
; ThingPlaced(a, i)
; ThingPlaced(a, j)
; ThingPlaced(a, g)
; ThingPlaced(a, h)
; ThingPlaced(a, w)
; ThingPlaced(a, a5)
; ThingPlaced(a, t)
; ThingPlaced(a, u)
; ThingPlaced(a, a4)
; ThingPlaced(a, r)
; ThingPlaced(a, l)
; ThingPlaced(a, f)
; ThingPlaced(a, d)
; ThingPlaced(a, e)
; ThingPlaced(a, v)
; ThingPlaced(a, m)
; ThingPlaced(a, k)
; ThingPlaced(a, a2)
; ThingPlaced(a, o)
; ThingPlaced(a, c)
; ThingPlaced(a, p)
; ThingPlaced(a, a1) fi