// -*- C++ -*-
// Some table values

(
    (0 0)
    (20 1)
);

// ************************************************************************* //