( line 
   (
      ( 5188.2568072044705  9787.603255787628  5286.0  9841.0 )
      ( 5286.0  9841.0  5452.0  9877.0 )
      ( 5452.0  9877.0  5475.0  9914.0 )
      ( 5474.0  9961.0  5475.0  9914.0 )
      ( 5474.0  9961.0  5539.0  10024.0 )
      ( 5539.0  10024.0  5690.0  10173.0 )
      ( 5690.0  10173.0  5877.0  10486.0 )
      ( 5877.0  10486.0  5981.0  10663.0 )
      ( 5981.0  10663.0  6017.0  10689.0 )
      ( 6017.0  10689.0  6078.0  10692.0 )
      ( 6078.0  10692.0  6301.0  10601.0 )
      ( 6301.0  10601.0  6557.0  10543.0 )
      ( 6557.0  10543.0  7000.0  10370.0 )
      ( 7000.0  10370.0  7311.0  10520.0 )
      ( 7311.0  10520.0  7579.0  10400.0 )
      ( 7579.0  10400.0  7653.0  10372.0 )
      ( 7653.0  10372.0  7694.0  10378.0 )
      ( 7694.0  10378.0  7772.0  10417.0 )
      ( 7772.0  10417.0  7838.0  10426.0 )
      ( 7838.0  10426.0  8138.0  10386.0 )
      ( 8138.0  10386.0  8248.0  10395.0 )
      ( 8248.0  10395.0  8395.0  10394.0 )
      ( 8395.0  10394.0  8464.0  10390.0 )
      ( 8464.0  10390.0  8567.0  10380.0 )
      ( 8567.0  10380.0  8727.0  10384.0 )
      ( 8727.0  10384.0  8862.0  10350.0 )
      ( 8862.0  10350.0  8985.0  10360.0 )
      ( 8985.0  10360.0  9085.0  10365.0 )
      ( 9085.0  10365.0  9194.0  10313.0 )
      ( 9194.0  10313.0  9395.0  10233.0 )
      ( 9395.0  10233.0  9503.0  10214.0 )
      ( 9503.0  10214.0  9582.0  10220.0 )
      ( 9582.0  10220.0  9963.0  10290.0 )
      ( 9963.0  10290.0  10529.0  10306.0 )
      ( 10529.0  10306.0  10962.0  10340.0 )
      ( 10962.0  10340.0  11114.0  10338.0 )
      ( 11114.0  10338.0  11370.0  10398.0 )
      ( 11370.0  10398.0  11880.0  10417.0 )
      ( 11880.0  10417.0  12076.0  10426.0 )
      ( 12076.0  10426.0  12230.0  10437.0 )
      ( 12230.0  10437.0  12274.0  10436.0 )
      ( 12274.0  10436.0  12328.0  10442.0 )
      ( 12328.0  10442.0  12755.0  10552.0 )
      ( 12755.0  10552.0  12986.0  10636.0 )
      ( 12986.0  10636.0  13036.0  10615.0 )
      ( 13036.0  10615.0  13107.0  10610.0 )
      ( 13107.0  10610.0  13193.0  10611.0 )
      ( 13193.0  10611.0  13244.0  10635.0 )
      ( 13244.0  10635.0  13287.0  10675.0 )
      ( 13287.0  10675.0  13336.0  10785.0 )
      ( 13336.0  10785.0  13506.0  11159.0 )))