Thread:HubToo/@comment-26852710-20151020005603/@comment-25612015-20151020175131

The file will be in (your server directory)/world/DIM100/region

There are tools out there to convert in game coordinates into region files