l1, l2, l3, r, sqr32, x1, x2, x3, xa, xb, xc, y1, y2, y3, ya, yb, yc, 
r-5
xa+r
ya
2*xb-r
-r*sqr32+yb
2*xc-r
r*sqr32+yc
4*sqr32^2-3
(x1-xa)^2+(y1-ya)^2-l1
(x2-xb)^2+(y2-yb)^2-l2
(x3-xc)^2+(y3-yc)^2-l3
(x1-x2)^2+(y1-y2)^2-1
(x1-x3)^2+(y1-y3)^2-1
(x2-x3)^2+(y2-y3)^2-1
