/assoc.goo/1.9/Thu Mar 28 02:02:38 2002//
/pipe.goo/1.2/Thu Jul 18 03:50:44 2002//
/priority-queue.goo/1.11/Wed Sep 11 21:32:53 2002//
/treap.goo/1.2/Thu Sep 19 00:28:42 2002//
D
