/main_marking3/
drwxr-xr-x [up]
-rwxr-xr-x 2021-07-16 23:34 +0100 715 mk
-rw-r--r-- 2021-07-16 23:34 +0100 4974 re.scala
-rwxr-xr-x 2021-07-16 23:34 +0100 9474 re_test.sh
-rw-r--r-- 2021-07-16 23:34 +0100 313 re_test1.scala
-rw-r--r-- 2021-07-16 23:34 +0100 988 re_test2.scala
-rw-r--r-- 2021-07-16 23:34 +0100 995 re_test3.scala
-rw-r--r-- 2021-07-16 23:34 +0100 797 re_test4.scala
-rw-r--r-- 2021-07-16 23:34 +0100 293 re_test5.scala
-rw-r--r-- 2021-07-16 23:34 +0100 179 re_test6.scala
-rw-r--r-- 2021-07-16 23:34 +0100 181 re_test7.scala