(
    (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))))