/core_marking1/
drwxr-xr-x [up]
-rw-r--r-- 2022-08-04 16:53 +0200 1050 collatz.scala
-rwxr-xr-x 2022-08-04 16:53 +0200 3444 collatz_test.sh
-rw-r--r-- 2022-08-04 16:53 +0200 117 collatz_test1.scala
-rw-r--r-- 2022-08-04 16:53 +0200 334 collatz_test2.scala
-rw-r--r-- 2022-08-04 16:53 +0200 94 collatz_test3.scala
-rwxr-xr-x 2022-08-04 16:53 +0200 501 mk_core1