Permission to copy and distribute this publication is granted provided it is not used for commercial purposes and that the
above copyright notice and this paragraph appear in all copies.
The copyright holders make no representation about the suitability of this publication for any purpose. It is provided “as is” without expressed or implied warranty.