--- a/Spiral.scala	Fri Jan 10 22:35:08 2020 +0000
+++ b/Spiral.scala	Sat Jan 11 22:17:27 2020 +0000
@@ -571,7 +571,7 @@
       bsimp_print(easy)
     }
     println(bits_print(bsimp(bders(s.toList, internalise(r)))))
-    println(bits_print(ders_simp(internalise(r), s.toList))
+    println(bits_print(ders_simp(internalise(r), s.toList)))
   }
   def find_re(){
     for (i <- 1 to 10000){