directory / @ 25:5812985ef721 draft default tip

name size permissions
file failgreedy.txt 38 -rw-r--r--
file gencases.py 223 -rwxr-xr-x
file input.txt 134 -rw-r--r--
file optim.hs 2296 -rwxr-xr-x
file optim.py 6631 -rwxr-xr-x
file problemF.pdf 165566 -rw-r--r--
file randcases.txt 875 -rw-r--r--
file snapshot_input.txt 35 -rw-r--r--
file works.ans 197 -rw-r--r--