diff -r 34feeb53c0ba -r 0315d9983cd0 main_marking3/mk_main3
--- a/main_marking3/mk_main3	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking3/mk_main3	Sat Mar 11 22:01:53 2023 +0000
@@ -11,6 +11,7 @@
   echo $sd
   touch .
   cp ../../../../../main_marking3/re_test.sh .
+  cp ../../../../../main_marking3/re_test0.scala .
   cp ../../../../../main_marking3/re_test1.scala .
   cp ../../../../../main_marking3/re_test2.scala .
   cp ../../../../../main_marking3/re_test3.scala .
@@ -19,8 +20,11 @@
   cp ../../../../../main_marking3/re_test5.scala .
   cp ../../../../../main_marking3/re_test6.scala .
   cp ../../../../../main_marking3/re_test7.scala .
+  cp ../../../../../main_marking3/re_test8.scala .
+  cp ../../../../../main_marking3/re_test9.scala .
   ./re_test.sh output
   rm re_test.sh
+  rm re_test0.scala
   rm re_test1.scala
   rm re_test2.scala
   rm re_test3.scala
@@ -29,6 +33,8 @@
   rm re_test5.scala
   rm re_test6.scala
   rm re_test7.scala
+  rm re_test8.scala
+  rm re_test9.scala
   cd ..
   cd ..
 done