( region ( ( ( ( 5174.969135626282 10226.09641786784 ) ( 4751.258065743784 11098.44273821416 ) ( 5100.196593882312 11322.76036344607 ) ( 5623.604386090105 12394.50012844298 ) ( 5698.376927834074 13391.46735169592 ) ( 5740.242897784634 14375.317645534069 ) ( 5675.0 14364.0 ) ( 5175.0 14469.0 ) ( 5162.0 14498.0 ) ( 5130.0 14524.0 ) ( 5100.0 14519.0 ) ( 5087.0 14551.0 ) ( 5134.0 14567.0 ) ( 5260.0 14614.0 ) ( 5301.0 14642.0 ) ( 5320.0 14669.0 ) ( 5287.0 14720.0 ) ( 5336.0 14739.0 ) ( 5369.0 14690.0 ) ( 5386.0 14705.0 ) ( 5443.0 14756.0 ) ( 5506.0 14817.0 ) ( 5595.0 14873.0 ) ( 5587.0 14890.0 ) ( 5560.0 14911.0 ) ( 5513.0 14910.0 ) ( 5376.0 14900.0 ) ( 5271.0 14885.0 ) ( 5269.0 14851.0 ) ( 5287.0 14826.0 ) ( 5298.0 14797.0 ) ( 5333.0 14744.0 ) ( 5285.0 14723.0 ) ( 5254.0 14774.0 ) ( 5181.0 14743.0 ) ( 5138.0 14794.0 ) ( 5146.0 14873.0 ) ( 5118.0 14921.0 ) ( 5164.0 14957.0 ) ( 5191.0 14940.0 ) ( 5285.0 14937.0 ) ( 5402.0 14955.0 ) ( 5547.0 14958.0 ) ( 5613.0 14952.0 ) ( 5749.0 14891.0 ) ( 5716.0 14841.0 ) ( 5618.0 14822.0 ) ( 5561.0 14754.0 ) ( 5635.0 14740.0 ) ( 5821.840243179339 14692.606377339875 ) ( 6271.633081204514 15485.09852052709 ) ( 7418.145387945392 15734.34032634032 ) ( 8788.975319918181 16133.1272156415 ) ( 10209.65361305362 16482.06574378002 ) ( 11605.40772560773 16307.59647971076 ) ( 12702.07167118596 15609.7194234337 ) ( 13699.0388944389 14861.994005994 ) ( 15094.79300699301 13216.99808762665 ) ( 15618.2007992008 12195.10668379239 ) ( 15044.94464583037 10774.42839065696 ) ( 14421.84013129728 9254.053375196227 ) ( 14297.21922839066 8406.631235431229 ) ( 14272.29504780934 7235.194748109027 ) ( 12951.3134769992 6861.332039389176 ) ( 11455.86264211979 6537.317691831971 ) ( 10134.88107130965 6562.241872413295 ) ( 8863.747861662152 7110.573845202411 ) ( 7567.690471433332 7484.436553922262 ) ( 6645.495789924366 7733.678359735497 ) ( 5523.90766376481 7708.754179154174 ) ( 4925.727329813048 7758.60254031682 ) ( 5125.120774463636 8680.797221825787 ) ( 5199.893316207606 9403.598458684168 )) ( ( 5741.223924818753 14398.371780835882 ) ( 5334.0 14480.0 ) ( 5364.0 14582.0 ) ( 5745.743039982055 14504.570987173453 )) ( ( 5429.0 14617.0 ) ( 5419.0 14630.0 ) ( 5491.0 14708.0 ) ( 5795.687615056114 14646.527937313242 ) ( 5748.225288996721 14562.90383901812 ) ( 5747.800075634305 14552.91132500135 )))))