x 6 .5e-4 6e3 2d
.561 -.684 1.334 .734 .5142 .9532
circle(2,0,0)+circle(1,-1,-1)
line(1,2)
line(1,3)
x[4]-2*x[3]
+sv:
x[3]
2*x[5]