/templates3/
drwxr-xr-x [up]
-rw-r--r-- 2019-08-06 12:46 +0100 5538 bf.scala
-rw-r--r-- 2019-08-06 12:46 +0100 2926 knight1.scala
-rw-r--r-- 2019-08-06 12:46 +0100 1221 knight2.scala
-rw-r--r-- 2019-08-06 12:46 +0100 799 knight3.scala
-rw-r--r-- 2019-08-06 12:46 +0100 3455 re.scala