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]
|