488 lines
20 KiB
Plaintext
488 lines
20 KiB
Plaintext
|
|
(
|
|
(rel
|
|
(tuple
|
|
(
|
|
(GeoData region)
|
|
(Stretch line)
|
|
(Start point)
|
|
(Middle point)
|
|
(Onborder bool)
|
|
(NotOnBorder bool))))
|
|
(
|
|
(
|
|
(
|
|
(
|
|
(
|
|
(-3525.0 13474.0)
|
|
(-3471.0 13359.0)
|
|
(-3315.0 13071.0)
|
|
(-3184.0 12919.0)
|
|
(-3173.0 12862.0)
|
|
(-3183.0 12768.0)
|
|
(-3140.0 12601.0)
|
|
(-3112.0 12582.0)
|
|
(-3077.0 12536.0)
|
|
(-3078.0 12497.0)
|
|
(-3080.0 12361.0)
|
|
(-3086.0 12312.0)
|
|
(-3096.0 12316.0)
|
|
(-3110.0 12383.0)
|
|
(-3100.0 12474.0)
|
|
(-3124.0 12474.0)
|
|
(-3139.0 12444.0)
|
|
(-3151.0 12364.0)
|
|
(-3128.0 12286.0)
|
|
(-3135.0 12276.0)
|
|
(-3105.0 12245.0)
|
|
(-3101.0 12203.0)
|
|
(-3133.0 12081.0)
|
|
(-3144.0 12059.0)
|
|
(-3225.0 11729.0)
|
|
(-3234.0 11677.0)
|
|
(-3243.0 11630.0)
|
|
(-3242.0 11593.0)
|
|
(-3256.0 11590.0)
|
|
(-3268.0 11570.0)
|
|
(-3260.0 11553.0)
|
|
(-3269.0 11486.0)
|
|
(-3301.0 11399.0)
|
|
(-3303.0 11384.0)
|
|
(-3291.0 11380.0)
|
|
(-3299.0 11330.0)
|
|
(-3323.0 11162.0)
|
|
(-3254.0 11146.0)
|
|
(-3254.0 11176.0)
|
|
(-3235.0 11179.0)
|
|
(-3223.0 11218.0)
|
|
(-3190.0 11273.0)
|
|
(-3139.0 11398.0)
|
|
(-3171.0 11407.0)
|
|
(-3173.0 11392.0)
|
|
(-3225.0 11285.0)
|
|
(-3240.0 11287.0)
|
|
(-3231.0 11332.0)
|
|
(-3192.0 11557.0)
|
|
(-3124.0 11896.0)
|
|
(-3040.0 12224.0)
|
|
(-3010.0 12289.0)
|
|
(-3008.0 12410.0)
|
|
(-3019.0 12580.0)
|
|
(-3076.0 12808.0)
|
|
(-3186.0 13010.0)
|
|
(-3380.0 13363.0)
|
|
(-3410.0 13503.0)
|
|
(-3411.0 13632.0)
|
|
(-3394.0 13731.0)
|
|
(-3327.0 13841.0)
|
|
(-3266.0 13921.0)
|
|
(-3037.0 14104.0)
|
|
(-2904.0 14220.0)
|
|
(-2891.0 14275.0)
|
|
(-2816.0 14446.0)
|
|
(-2826.0 14528.0)
|
|
(-2831.0 14540.0)
|
|
(-2838.0 14619.0)
|
|
(-2853.0 14640.0)
|
|
(-2864.0 14704.0)
|
|
(-2898.0 14699.0)
|
|
(-2895.0 14684.0)
|
|
(-2899.0 14630.0)
|
|
(-2878.0 14566.0)
|
|
(-2893.0 14457.0)
|
|
(-2946.0 14342.0)
|
|
(-3051.0 14187.0)
|
|
(-3152.0 14086.0)
|
|
(-3253.0 14015.0)
|
|
(-3287.0 13997.0)
|
|
(-3423.0 13824.0)
|
|
(-3491.0 13699.0)
|
|
(-3525.0 13585.0))))
|
|
(
|
|
(-2891.152879581152 14470.42240837696 -2849.0 14461.0)
|
|
(-2849.0 14461.0 -2817.794984601848 14460.71887373515))
|
|
(-2891.152879581152 14470.42240837696)
|
|
(-2854.849082587468 14462.30744199014)
|
|
TRUE
|
|
FALSE)
|
|
(
|
|
(
|
|
(
|
|
(
|
|
(10558.0 12119.0)
|
|
(10581.0 12107.0)
|
|
(10684.0 12097.0)
|
|
(10736.0 12064.0)
|
|
(10822.0 12051.0)
|
|
(10843.0 12024.0)
|
|
(10831.0 11992.0)
|
|
(10866.0 11963.0)
|
|
(10939.0 11997.0)
|
|
(11067.0 12071.0)
|
|
(11142.0 12108.0)
|
|
(11268.0 12093.0)
|
|
(11375.0 12029.0)
|
|
(11553.0 11934.0)
|
|
(11554.0 11914.0)
|
|
(11648.0 11872.0)
|
|
(11700.0 11841.0)
|
|
(11890.0 11678.0)
|
|
(12013.0 11569.0)
|
|
(12128.0 11483.0)
|
|
(12233.0 11397.0)
|
|
(12420.0 11250.0)
|
|
(12533.0 11162.0)
|
|
(12595.0 11111.0)
|
|
(12680.0 11022.0)
|
|
(12795.0 10945.0)
|
|
(12937.0 10870.0)
|
|
(12961.0 10870.0)
|
|
(13111.0 10760.0)
|
|
(13266.0 10625.0)
|
|
(13343.0 10570.0)
|
|
(13512.0 10480.0)
|
|
(13554.0 10452.0)
|
|
(13565.0 10420.0)
|
|
(13585.0 10401.0)
|
|
(13609.0 10413.0)
|
|
(13624.0 10404.0)
|
|
(13648.0 10414.0)
|
|
(13688.0 10398.0)
|
|
(13728.0 10354.0)
|
|
(13774.0 10296.0)
|
|
(13794.0 10267.0)
|
|
(13846.0 10268.0)
|
|
(13900.0 10252.0)
|
|
(14063.0 10202.0)
|
|
(14204.0 10155.0)
|
|
(14276.0 10110.0)
|
|
(14367.0 10075.0)
|
|
(14449.0 10037.0)
|
|
(14497.0 9997.0)
|
|
(14456.0 9949.0)
|
|
(14459.0 9917.0)
|
|
(14522.0 9842.0)
|
|
(14634.0 9783.0)
|
|
(14770.0 9719.0)
|
|
(14927.0 9639.0)
|
|
(15073.0 9580.0)
|
|
(15219.0 9537.0)
|
|
(15311.0 9455.0)
|
|
(15452.0 9298.0)
|
|
(15466.0 9221.0)
|
|
(15510.0 9106.0)
|
|
(15623.0 9013.0)
|
|
(15648.0 9003.0)
|
|
(15666.0 9078.0)
|
|
(15584.0 9118.0)
|
|
(15548.0 9181.0)
|
|
(15574.0 9216.0)
|
|
(15633.0 9220.0)
|
|
(15737.0 9181.0)
|
|
(15756.0 9294.0)
|
|
(15729.0 9301.0)
|
|
(15657.0 9349.0)
|
|
(15589.0 9436.0)
|
|
(15500.0 9555.0)
|
|
(15368.0 9671.0)
|
|
(15274.0 9701.0)
|
|
(15074.0 9763.0)
|
|
(15021.0 9789.0)
|
|
(14741.0 9955.0)
|
|
(14549.0 10055.0)
|
|
(14456.0 10168.0)
|
|
(14460.0 10210.0)
|
|
(14189.0 10352.0)
|
|
(13931.0 10480.0)
|
|
(13525.0 10673.0)
|
|
(13307.0 10777.0)
|
|
(13095.0 10913.0)
|
|
(13075.0 10912.0)
|
|
(12832.0 11047.0)
|
|
(12667.0 11179.0)
|
|
(12452.0 11360.0)
|
|
(12310.0 11455.0)
|
|
(12138.0 11575.0)
|
|
(11823.0 11846.0)
|
|
(11684.0 11927.0)
|
|
(11457.0 12058.0)
|
|
(11300.0 12165.0)
|
|
(11149.0 12157.0)
|
|
(10938.0 12125.0)
|
|
(10902.0 12095.0)
|
|
(10755.0 12109.0)
|
|
(10580.0 12139.0))))
|
|
(
|
|
(13249.08621407747 10639.73136193253 13287.0 10675.0)
|
|
(13287.0 10675.0 13327.97826386023 10766.99202091071))
|
|
(13249.08621407747 10639.73136193253)
|
|
(13296.9539411827 10697.34558224688)
|
|
TRUE
|
|
FALSE)
|
|
(
|
|
(
|
|
(
|
|
(
|
|
(10558.0 12119.0)
|
|
(10581.0 12107.0)
|
|
(10684.0 12097.0)
|
|
(10736.0 12064.0)
|
|
(10822.0 12051.0)
|
|
(10843.0 12024.0)
|
|
(10831.0 11992.0)
|
|
(10866.0 11963.0)
|
|
(10939.0 11997.0)
|
|
(11067.0 12071.0)
|
|
(11142.0 12108.0)
|
|
(11268.0 12093.0)
|
|
(11375.0 12029.0)
|
|
(11553.0 11934.0)
|
|
(11554.0 11914.0)
|
|
(11648.0 11872.0)
|
|
(11700.0 11841.0)
|
|
(11890.0 11678.0)
|
|
(12013.0 11569.0)
|
|
(12128.0 11483.0)
|
|
(12233.0 11397.0)
|
|
(12420.0 11250.0)
|
|
(12533.0 11162.0)
|
|
(12595.0 11111.0)
|
|
(12680.0 11022.0)
|
|
(12795.0 10945.0)
|
|
(12937.0 10870.0)
|
|
(12961.0 10870.0)
|
|
(13111.0 10760.0)
|
|
(13266.0 10625.0)
|
|
(13343.0 10570.0)
|
|
(13512.0 10480.0)
|
|
(13554.0 10452.0)
|
|
(13565.0 10420.0)
|
|
(13585.0 10401.0)
|
|
(13609.0 10413.0)
|
|
(13624.0 10404.0)
|
|
(13648.0 10414.0)
|
|
(13688.0 10398.0)
|
|
(13728.0 10354.0)
|
|
(13774.0 10296.0)
|
|
(13794.0 10267.0)
|
|
(13846.0 10268.0)
|
|
(13900.0 10252.0)
|
|
(14063.0 10202.0)
|
|
(14204.0 10155.0)
|
|
(14276.0 10110.0)
|
|
(14367.0 10075.0)
|
|
(14449.0 10037.0)
|
|
(14497.0 9997.0)
|
|
(14456.0 9949.0)
|
|
(14459.0 9917.0)
|
|
(14522.0 9842.0)
|
|
(14634.0 9783.0)
|
|
(14770.0 9719.0)
|
|
(14927.0 9639.0)
|
|
(15073.0 9580.0)
|
|
(15219.0 9537.0)
|
|
(15311.0 9455.0)
|
|
(15452.0 9298.0)
|
|
(15466.0 9221.0)
|
|
(15510.0 9106.0)
|
|
(15623.0 9013.0)
|
|
(15648.0 9003.0)
|
|
(15666.0 9078.0)
|
|
(15584.0 9118.0)
|
|
(15548.0 9181.0)
|
|
(15574.0 9216.0)
|
|
(15633.0 9220.0)
|
|
(15737.0 9181.0)
|
|
(15756.0 9294.0)
|
|
(15729.0 9301.0)
|
|
(15657.0 9349.0)
|
|
(15589.0 9436.0)
|
|
(15500.0 9555.0)
|
|
(15368.0 9671.0)
|
|
(15274.0 9701.0)
|
|
(15074.0 9763.0)
|
|
(15021.0 9789.0)
|
|
(14741.0 9955.0)
|
|
(14549.0 10055.0)
|
|
(14456.0 10168.0)
|
|
(14460.0 10210.0)
|
|
(14189.0 10352.0)
|
|
(13931.0 10480.0)
|
|
(13525.0 10673.0)
|
|
(13307.0 10777.0)
|
|
(13095.0 10913.0)
|
|
(13075.0 10912.0)
|
|
(12832.0 11047.0)
|
|
(12667.0 11179.0)
|
|
(12452.0 11360.0)
|
|
(12310.0 11455.0)
|
|
(12138.0 11575.0)
|
|
(11823.0 11846.0)
|
|
(11684.0 11927.0)
|
|
(11457.0 12058.0)
|
|
(11300.0 12165.0)
|
|
(11149.0 12157.0)
|
|
(10938.0 12125.0)
|
|
(10902.0 12095.0)
|
|
(10755.0 12109.0)
|
|
(10580.0 12139.0))))
|
|
(
|
|
(10937.38151739101 11996.24618618211 10942.72373477798 12125.71639579569))
|
|
(10937.38151739101 11996.24618618211)
|
|
(10940.05262608449 12060.9812909889)
|
|
TRUE
|
|
FALSE)
|
|
(
|
|
(
|
|
(
|
|
(
|
|
(10558.0 12119.0)
|
|
(10581.0 12107.0)
|
|
(10684.0 12097.0)
|
|
(10736.0 12064.0)
|
|
(10822.0 12051.0)
|
|
(10843.0 12024.0)
|
|
(10831.0 11992.0)
|
|
(10866.0 11963.0)
|
|
(10939.0 11997.0)
|
|
(11067.0 12071.0)
|
|
(11142.0 12108.0)
|
|
(11268.0 12093.0)
|
|
(11375.0 12029.0)
|
|
(11553.0 11934.0)
|
|
(11554.0 11914.0)
|
|
(11648.0 11872.0)
|
|
(11700.0 11841.0)
|
|
(11890.0 11678.0)
|
|
(12013.0 11569.0)
|
|
(12128.0 11483.0)
|
|
(12233.0 11397.0)
|
|
(12420.0 11250.0)
|
|
(12533.0 11162.0)
|
|
(12595.0 11111.0)
|
|
(12680.0 11022.0)
|
|
(12795.0 10945.0)
|
|
(12937.0 10870.0)
|
|
(12961.0 10870.0)
|
|
(13111.0 10760.0)
|
|
(13266.0 10625.0)
|
|
(13343.0 10570.0)
|
|
(13512.0 10480.0)
|
|
(13554.0 10452.0)
|
|
(13565.0 10420.0)
|
|
(13585.0 10401.0)
|
|
(13609.0 10413.0)
|
|
(13624.0 10404.0)
|
|
(13648.0 10414.0)
|
|
(13688.0 10398.0)
|
|
(13728.0 10354.0)
|
|
(13774.0 10296.0)
|
|
(13794.0 10267.0)
|
|
(13846.0 10268.0)
|
|
(13900.0 10252.0)
|
|
(14063.0 10202.0)
|
|
(14204.0 10155.0)
|
|
(14276.0 10110.0)
|
|
(14367.0 10075.0)
|
|
(14449.0 10037.0)
|
|
(14497.0 9997.0)
|
|
(14456.0 9949.0)
|
|
(14459.0 9917.0)
|
|
(14522.0 9842.0)
|
|
(14634.0 9783.0)
|
|
(14770.0 9719.0)
|
|
(14927.0 9639.0)
|
|
(15073.0 9580.0)
|
|
(15219.0 9537.0)
|
|
(15311.0 9455.0)
|
|
(15452.0 9298.0)
|
|
(15466.0 9221.0)
|
|
(15510.0 9106.0)
|
|
(15623.0 9013.0)
|
|
(15648.0 9003.0)
|
|
(15666.0 9078.0)
|
|
(15584.0 9118.0)
|
|
(15548.0 9181.0)
|
|
(15574.0 9216.0)
|
|
(15633.0 9220.0)
|
|
(15737.0 9181.0)
|
|
(15756.0 9294.0)
|
|
(15729.0 9301.0)
|
|
(15657.0 9349.0)
|
|
(15589.0 9436.0)
|
|
(15500.0 9555.0)
|
|
(15368.0 9671.0)
|
|
(15274.0 9701.0)
|
|
(15074.0 9763.0)
|
|
(15021.0 9789.0)
|
|
(14741.0 9955.0)
|
|
(14549.0 10055.0)
|
|
(14456.0 10168.0)
|
|
(14460.0 10210.0)
|
|
(14189.0 10352.0)
|
|
(13931.0 10480.0)
|
|
(13525.0 10673.0)
|
|
(13307.0 10777.0)
|
|
(13095.0 10913.0)
|
|
(13075.0 10912.0)
|
|
(12832.0 11047.0)
|
|
(12667.0 11179.0)
|
|
(12452.0 11360.0)
|
|
(12310.0 11455.0)
|
|
(12138.0 11575.0)
|
|
(11823.0 11846.0)
|
|
(11684.0 11927.0)
|
|
(11457.0 12058.0)
|
|
(11300.0 12165.0)
|
|
(11149.0 12157.0)
|
|
(10938.0 12125.0)
|
|
(10902.0 12095.0)
|
|
(10755.0 12109.0)
|
|
(10580.0 12139.0))))
|
|
(
|
|
(11348.77271169009 12044.68735001714 11357.22101197374 12126.0022402472))
|
|
(11348.77271169009 12044.68735001714)
|
|
(11352.99686183191 12085.34479513217)
|
|
TRUE
|
|
FALSE)
|
|
(
|
|
(
|
|
(
|
|
(
|
|
(4038.0 8538.0)
|
|
(4041.0 8516.0)
|
|
(4056.0 8511.0)
|
|
(4144.0 8523.0)
|
|
(4193.0 8512.0)
|
|
(4247.0 8523.0)
|
|
(4271.0 8516.0)
|
|
(4293.0 8524.0)
|
|
(4337.0 8525.0)
|
|
(4360.0 8508.0)
|
|
(4414.0 8512.0)
|
|
(4480.0 8516.0)
|
|
(4585.0 8516.0)
|
|
(4661.0 8527.0)
|
|
(4695.0 8528.0)
|
|
(4702.0 8563.0)
|
|
(4687.0 8572.0)
|
|
(4587.0 8560.0)
|
|
(4560.0 8564.0)
|
|
(4528.0 8559.0)
|
|
(4491.0 8563.0)
|
|
(4457.0 8547.0)
|
|
(4437.0 8559.0)
|
|
(4371.0 8545.0)
|
|
(4345.0 8533.0)
|
|
(4303.0 8537.0)
|
|
(4268.0 8558.0)
|
|
(4231.0 8562.0)
|
|
(4138.0 8545.0)
|
|
(4074.0 8549.0))))
|
|
(
|
|
(4317.541371925498 8524.557758452853 4317.950043999188 8535.576186285791))
|
|
(4317.541371925498 8524.557758452853)
|
|
(4317.745707962344 8530.066972369321)
|
|
TRUE
|
|
FALSE)))
|