diff -r 34f77b976b88 -r f9686b22db7e progs/matcher/re3.sc
--- a/progs/matcher/re3.sc	Tue Sep 29 21:52:52 2020 +0100
+++ b/progs/matcher/re3.sc	Sat Oct 03 00:51:47 2020 +0100
@@ -102,7 +102,7 @@
 def test1() = {
   println("Test (a?{n}) (a{n})")
 
-  for (i <- 0 to 8000 by 1000) {
+  for (i <- 0 to 9000 by 1000) {
     println(f"$i: ${time_needed(3, matcher(EVIL1(i), "a" * i))}%.5f")
   }
 }