158 lines
7.7 KiB
Plaintext
158 lines
7.7 KiB
Plaintext
|
|
(
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Elem sline))))
|
|
(
|
|
(
|
|
(
|
|
(
|
|
(-3560.0 14235.0 -3544.0 14312.0)
|
|
(-3544.0 14312.0 -3512.0 14394.0)
|
|
(-3512.0 14394.0 -3423.0 14495.0)
|
|
(-3423.0 14495.0 -3278.0 14555.0)
|
|
(-3278.0 14555.0 -3175.0 14554.0)
|
|
(-3175.0 14554.0 -3019.0 14499.0)
|
|
(-3019.0 14499.0 -2849.0 14461.0)
|
|
(-2849.0 14461.0 -2738.0 14460.0)
|
|
(-2738.0 14460.0 -2616.0 14488.0)
|
|
(-2616.0 14488.0 -2449.0 14474.0)
|
|
(-2449.0 14474.0 -2320.0 14423.0)
|
|
(-2320.0 14423.0 -2179.0 14352.0)
|
|
(-2179.0 14352.0 -2051.0 14345.0)
|
|
(-2051.0 14345.0 -1829.0 14385.0)
|
|
(-1829.0 14385.0 -1288.0 14532.0)
|
|
(-1288.0 14532.0 -1090.0 14581.0)
|
|
(-1090.0 14581.0 -946.0 14597.0)
|
|
(-946.0 14597.0 -523.0 14522.0)
|
|
(-523.0 14522.0 -267.0 14501.0)
|
|
(-267.0 14501.0 863.0 14383.0)
|
|
(863.0 14383.0 1429.0 14388.0)
|
|
(1429.0 14388.0 2158.0 14382.0)
|
|
(2158.0 14382.0 2354.0 14384.0)
|
|
(2354.0 14384.0 2508.0 14392.0)
|
|
(2508.0 14392.0 2626.0 14385.0)
|
|
(2626.0 14385.0 2823.0 14355.0)
|
|
(2823.0 14355.0 3035.0 14320.0)
|
|
(3035.0 14320.0 3166.0 14269.0)
|
|
(3166.0 14269.0 3269.0 14165.0)
|
|
(3269.0 14165.0 3324.0 14013.0)
|
|
(3324.0 14013.0 3353.0 13710.0)
|
|
(3353.0 13710.0 3393.0 13573.0)
|
|
(3393.0 13573.0 3472.0 13427.0)
|
|
(3472.0 13427.0 3643.0 13248.0)
|
|
(3643.0 13248.0 3699.0 13148.0)
|
|
(3699.0 13148.0 3719.0 13043.0)
|
|
(3719.0 13043.0 3729.0 12826.0)
|
|
(3729.0 12826.0 3769.0 12689.0)
|
|
(3769.0 12689.0 3771.0 12570.0)
|
|
(3750.0 12451.0 3771.0 12570.0)
|
|
(3750.0 12451.0 3770.0 12208.0)
|
|
(3770.0 12208.0 3779.0 12121.0)
|
|
(3757.0 12017.0 3779.0 12121.0)
|
|
(3704.0 11883.0 3757.0 12017.0)
|
|
(3677.0 11754.0 3704.0 11883.0)
|
|
(3677.0 11754.0 3683.0 11621.0)
|
|
(3683.0 11621.0 3809.0 11037.0)
|
|
(3809.0 11037.0 3883.0 10683.0)
|
|
(3883.0 10683.0 3886.0 10585.0)
|
|
(3853.0 10396.0 3886.0 10585.0)
|
|
(3853.0 10396.0 3857.0 10315.0)
|
|
(3857.0 10315.0 3904.0 10079.0)
|
|
(3904.0 10079.0 3941.0 9861.0)
|
|
(3941.0 9861.0 3975.0 9780.0)
|
|
(3975.0 9780.0 4072.0 9636.0)
|
|
(4072.0 9636.0 4381.0 9276.0)
|
|
(4381.0 9276.0 4761.0 8892.0)
|
|
(4761.0 8892.0 4813.0 8864.0)
|
|
(4813.0 8864.0 4911.0 8866.0)
|
|
(4911.0 8866.0 5220.0 8880.0)
|
|
(5220.0 8880.0 5505.0 8963.0)
|
|
(5505.0 8963.0 6126.0 9130.0)
|
|
(6126.0 9130.0 6187.0 9131.0)
|
|
(6187.0 9131.0 6805.0 9248.0)
|
|
(6805.0 9248.0 7392.0 9350.0)
|
|
(7392.0 9350.0 7451.0 9347.0)
|
|
(7451.0 9347.0 7546.0 9341.0)
|
|
(7546.0 9341.0 7829.0 9404.0)
|
|
(7829.0 9404.0 7911.0 9473.0)
|
|
(7911.0 9473.0 7956.0 9535.0)
|
|
(7956.0 9535.0 8023.0 9608.0)
|
|
(8023.0 9608.0 8106.0 9642.0)
|
|
(8106.0 9642.0 8238.0 9660.0)
|
|
(8238.0 9660.0 8302.0 9669.0)
|
|
(8302.0 9669.0 8372.0 9700.0)
|
|
(8372.0 9700.0 8434.0 9761.0)
|
|
(8434.0 9761.0 8470.0 9821.0)
|
|
(8470.0 9821.0 8518.0 9960.0)
|
|
(8518.0 9960.0 8568.0 10131.0)
|
|
(8568.0 10131.0 8664.0 10234.0)
|
|
(8664.0 10234.0 8802.0 10294.0)
|
|
(8802.0 10294.0 8988.0 10323.0)
|
|
(8988.0 10323.0 9116.0 10304.0)
|
|
(9116.0 10304.0 9156.0 10268.0)
|
|
(9156.0 10268.0 9282.0 10221.0)
|
|
(9282.0 10221.0 9357.0 10176.0)
|
|
(9357.0 10176.0 9411.0 10056.0)
|
|
(9411.0 10056.0 9421.0 9953.0)
|
|
(9396.0 9871.0 9421.0 9953.0)
|
|
(9341.0 9704.0 9396.0 9871.0)
|
|
(9341.0 9704.0 9356.0 9665.0)
|
|
(9356.0 9665.0 9391.0 9654.0)
|
|
(9391.0 9654.0 9883.0 9494.0)
|
|
(9883.0 9494.0 10473.0 9318.0)
|
|
(10473.0 9318.0 10600.0 9330.0)
|
|
(10600.0 9330.0 10684.0 9295.0)
|
|
(10684.0 9295.0 10766.0 9257.0)
|
|
(10766.0 9257.0 11490.0 9121.0)
|
|
(11490.0 9121.0 11621.0 9087.0)
|
|
(11621.0 9087.0 11837.0 8980.0)
|
|
(11837.0 8980.0 12390.0 8600.0)
|
|
(12390.0 8600.0 12518.0 8482.0)
|
|
(12518.0 8482.0 12693.0 8321.0)
|
|
(12693.0 8321.0 12797.0 8161.0)
|
|
(12797.0 8161.0 12871.0 7943.0)
|
|
(12871.0 7943.0 12953.0 7688.0)
|
|
(12953.0 7688.0 13029.0 7475.0)
|
|
(13029.0 7475.0 13049.0 7140.0)
|
|
(13049.0 7140.0 13113.0 6695.0)
|
|
(13113.0 6695.0 13262.0 6390.0)
|
|
(13262.0 6390.0 13525.0 5848.0)
|
|
(13525.0 5848.0 13552.0 5740.0)
|
|
(13537.0 5639.0 13552.0 5740.0)
|
|
(13537.0 5639.0 13540.0 5518.0)
|
|
(13540.0 5518.0 13592.0 5253.0)
|
|
(13592.0 5253.0 13614.0 5145.0)
|
|
(13614.0 5145.0 13642.0 5007.0)
|
|
(13642.0 5007.0 13662.0 4761.0)
|
|
(13643.0 4410.0 13662.0 4761.0)
|
|
(13614.0 4298.0 13643.0 4410.0)
|
|
(13536.0 4156.0 13614.0 4298.0)
|
|
(13491.0 4000.0 13536.0 4156.0)
|
|
(13491.0 3899.0 13491.0 4000.0)
|
|
(13491.0 3899.0 13534.0 3734.0)
|
|
(13534.0 3734.0 13582.0 3543.0)
|
|
(13582.0 3543.0 13645.0 3266.0)
|
|
(13645.0 3266.0 13717.0 3038.0)
|
|
(13717.0 3038.0 13837.0 2806.0)
|
|
(13837.0 2806.0 13933.0 2673.0)
|
|
(13933.0 2673.0 14074.0 2513.0)
|
|
(14074.0 2513.0 14217.0 2383.0)
|
|
(14217.0 2383.0 14394.0 2266.0)
|
|
(14394.0 2266.0 14600.0 2157.0)
|
|
(14600.0 2157.0 14780.0 2104.0)
|
|
(14780.0 2104.0 14965.0 2062.0)
|
|
(14965.0 2062.0 15177.0 2037.0)
|
|
(15177.0 2037.0 15373.0 2039.0)
|
|
(15373.0 2039.0 15757.0 2072.0)
|
|
(15757.0 2072.0 15899.0 2080.0)
|
|
(15899.0 2080.0 16013.0 2050.0)
|
|
(16013.0 2050.0 16097.0 2018.0)
|
|
(16097.0 2018.0 16229.0 1927.0)
|
|
(16229.0 1927.0 16344.0 1818.0)
|
|
(16344.0 1818.0 16436.0 1672.0)
|
|
(16436.0 1672.0 16673.0 1387.0)
|
|
(16673.0 1387.0 16821.0 1252.0))
|
|
TRUE))))
|