diff -r 2be8c4c77418 -r b153c04834eb progs/re3.scala
--- a/progs/re3.scala	Sun Sep 30 23:38:38 2018 +0100
+++ b/progs/re3.scala	Mon Oct 01 01:11:42 2018 +0100
@@ -129,13 +129,6 @@
 size(ders("aaaaa".toList, EVIL2)) // 8
 
 
-// test: ("a" | "aa")*
-val EVIL3 = STAR(ALT(CHAR('a'), SEQ(CHAR('a'), CHAR('a'))))
-
-for (i <- 1 to 29 by 1) {
-  println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL3, "a" * i))) + 
-	  " size: " + size(ders(("a" * i).toList, EVIL3)))
-}