Fri, 28 Jan 2011 19:17:40 +0000 urbanc slightly tuned the main lemma and the finiteness proofs
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip