directory /src/ @ 6:d5bbd682ba77 draft default tip

name size permissions
[up] drwxr-xr-x
file mz_1_merge_by_k.sci 1700 -rw-r--r--
file mz_1_out_of_k.sci 551 -rw-r--r--