Sat, 06 Nov 2010 23:31:53 +0000 the ALT case is done;
wu [Sat, 06 Nov 2010 23:31:53 +0000] rev 18
the ALT case is done; the other two cases: the relation is defined by not proved on inj part.
Wed, 03 Nov 2010 22:08:50 +0000 added more experiments
urbanc [Wed, 03 Nov 2010 22:08:50 +0000] rev 17
added more experiments
(0) -10 -2 +2 +10 +30 +100 +300 tip