diff -r 2509c670e3a2 -r 40e22ad45744 progs/re3.scala
--- a/progs/re3.scala	Sun Aug 05 21:52:40 2018 +0100
+++ b/progs/re3.scala	Sun Sep 23 09:02:52 2018 +0100
@@ -250,6 +250,12 @@
   println(i + ": " + "%.5f".format(time_needed(1, matcher(sulzmann, "ab" * i))))
 }
 
+size(ders("".toList, EVIL2))      // 5
+size(ders("a".toList, EVIL2))     // 8
+size(ders("aa".toList, EVIL2))    // 8
+size(ders("aaa".toList, EVIL2))   // 8
+size(ders("aaaa".toList, EVIL2))  // 8
+size(ders("aaaaa".toList, EVIL2)) // 8