| Errata: | - Table 7:
 - 
Our throw-away algorithm had a small programming error;
points were compared instead of their x-coordinates. Therefore, the numbers
are a bit smaller—the corrected last column should be:
210 13.1 
215 13.0 
220 13.0 
225 13.1 
230 13.2 [Authors’ version corrected, 25 October 2019]  
  |