# Region file format: CIAO version 1.0 circle(5114.7324,5215.7535,100) circle(5395.1472,4857.9037,100) circle(3418.167,3621.5772,100) circle(3059.3352,3010.9504,100) circle(3439.0776,1467.114,100) circle(2574.5541,7458.2011,100) circle(4148.23,4047.4226,100)