/README/1.1.1.1/Thu Feb  6 19:01:29 2003//
/p-queue.ord/1.1.1.1/Thu Feb  6 19:01:28 2003//
/p-queue.ordnusmv/1.1.1.1/Thu Feb  6 19:01:28 2003//
/p-queue.smv/1.1.1.1/Thu Feb  6 19:01:28 2003//
D
