diff -r 27f71d2755f0 -r 0367aa7c764b progs/re4.scala
--- a/progs/re4.scala	Thu Sep 26 14:19:23 2019 +0100
+++ b/progs/re4.scala	Mon Sep 30 12:27:15 2019 +0100
@@ -95,7 +95,7 @@
 
 
 // test: (a?{n}) (a{n})
-for (i <- 0 to 7000000 by 500000) {
+for (i <- 0 to 11000 by 1000) {
   println(f"$i: ${time_needed(2, matcher(EVIL1(i), "a" * i))}%.5f")
 }