/hws/
drwxr-xr-x [up]
-rw-r--r-- 2023-10-21 09:09 +0100 129481 Der.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 7160 Der.tex
-rwxr-xr-x 2023-10-21 09:09 +0100 966 build.sc
-rw-r--r-- 2023-10-21 09:09 +0100 135450 hw01.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 5529 hw01.tex
-rw-r--r-- 2023-10-21 09:09 +0100 123075 hw02.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 10632 hw02.tex
-rw-r--r-- 2023-10-21 09:09 +0100 129075 hw03.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 11042 hw03.tex
-rw-r--r-- 2023-10-21 09:09 +0100 130146 hw04.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 12164 hw04.tex
-rw-r--r-- 2023-10-21 09:09 +0100 129376 hw05.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 4672 hw05.tex
-rw-r--r-- 2023-10-21 09:09 +0100 121284 hw06.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 3759 hw06.tex
-rw-r--r-- 2023-10-21 09:09 +0100 109787 hw07.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 3451 hw07.tex
-rw-r--r-- 2023-10-21 09:09 +0100 75009 hw08.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 2131 hw08.tex
-rw-r--r-- 2023-10-21 09:09 +0100 128860 hw09.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 5535 hw09.tex
-rw-r--r-- 2023-10-21 09:09 +0100 76933 proof.pdf
-rw-r--r-- 2023-10-21 09:09 +0100 7449 proof.tex
-rwxr-xr-x 2023-10-21 09:09 +0100 254 upload