(region 
    (
        (
            (
                (731.713512661542 6116.053483240496) 
                (635.5408742250419 6741.175633077696) 
                (3136.029473573642 7799.074655878997) 
                (4770.964326993841 6885.434590732397) 
                (7463.798203215342 6356.485079331696) 
                (7656.143480088242 5154.327098875697) 
                (6502.071818850442 4144.514395292596) 
                (4819.050646212042 3952.169118419697) 
                (2991.770515918842 3952.169118419697) 
                (3713.065304192542 5106.240779657496) 
                (3184.115792791842 6212.226121676997) 
                (1645.353577808142 5971.794525585797)))))