(xy 9 -9.75) (xy -9 -9.75) (xy -9 -15.75) (xy 9 -15.75) ...