This applet ensures that the table is consistent (using Algorithm 20), because this is required by the partial normalisation algorithm.
There are some corrections to this algorithm as published in the book. See the errata.
