svn - Revision 56998: /packages/root/etc/proof/utils/pq2