Mon, 08 Nov 2010 01:13:09 +0000 slight tuning of proof by Chunhan
urbanc [Mon, 08 Nov 2010 01:13:09 +0000] rev 19
slight tuning of proof by Chunhan
(0) -10 -1 +1 +10 +30 +100 +300 tip