( line 
   (
      ( -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 )
      ( 3472.0  13427.0  3643.0  13248.0 )
      ( 3643.0  13248.0  3699.0  13148.0 )
      ( 3677.0  11754.0  3683.0  11621.0 )
      ( 3677.0  11754.0  3704.0  11883.0 )
      ( 3683.0  11621.0  3809.0  11037.0 )
      ( 3699.0  13148.0  3719.0  13043.0 )
      ( 3704.0  11883.0  3757.0  12017.0 )
      ( 3719.0  13043.0  3729.0  12826.0 )
      ( 3729.0  12826.0  3769.0  12689.0 )
      ( 3750.0  12451.0  3770.0  12208.0 )
      ( 3750.0  12451.0  3771.0  12570.0 )
      ( 3757.0  12017.0  3779.0  12121.0 )
      ( 3769.0  12689.0  3771.0  12570.0 )
      ( 3770.0  12208.0  3779.0  12121.0 )
      ( 3809.0  11037.0  3883.0  10683.0 )
      ( 3853.0  10396.0  3857.0  10315.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 )
      ( 9341.0  9704.0  9356.0  9665.0 )
      ( 9341.0  9704.0  9396.0  9871.0 )
      ( 9356.0  9665.0  9391.0  9654.0 )
      ( 9357.0  10176.0  9411.0  10056.0 )
      ( 9391.0  9654.0  9883.0  9494.0 )
      ( 9396.0  9871.0  9421.0  9953.0 )
      ( 9411.0  10056.0  9421.0  9953.0 )
      ( 13534.0  3734.0  13582.0  3543.0 )
      ( 13536.0  4156.0  13614.0  4298.0 )
      ( 13537.0  5639.0  13540.0  5518.0 )
      ( 13537.0  5639.0  13552.0  5740.0 )
      ( 13540.0  5518.0  13592.0  5253.0 )
      ( 13582.0  3543.0  13645.0  3266.0 )
      ( 13592.0  5253.0  13614.0  5145.0 )
      ( 13614.0  4298.0  13643.0  4410.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 )
      ( 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 )
      ( 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 )))