diff -r dc0cdfc5fc66 -r fb7472a29058 Spiral.scala
--- a/Spiral.scala	Wed Feb 05 14:50:57 2020 +0000
+++ b/Spiral.scala	Wed Feb 05 22:55:21 2020 +0000
@@ -562,18 +562,24 @@
     val r = ("ab" | (  (("a")%) | "aa")  )
     //val r = ("a"|"b")~("a")
     val s = "aa"
-    for(i <- 1 to s.length-1){
+    for(i <- 0 to s.length-1){
       val ss = s.slice(0, i+1)
       val nangao = bders_simp_rf(ss.toList, internalise(r))
       val easy = (bders(ss.toList, internalise(r)))
+      println("iteration starts")
+      println("bders_simp")
       println(bits_print(nangao))
       println()
+      println("bders")
       println(bits_print(easy))
       println()
+      println("new simp")
       println(bits_print(bsimp_rf(easy)))
-      println()
+      println("iteration ends")
     }
+    println("old simp ders")
     println(bits_print(bsimp(bders(s.toList, internalise(r)))))
+    println("old derssimp")
     println(bits_print(ders_simp(internalise(r), s.toList)))
   }
   def find_re(){