994301ae2b747c97c62976da5a9092ada57893f3
-rw-r--r-- 13 skeleton.rkt
-rw-r--r-- 1028 skeleton.tex
-rw-r--r-- 150 skeleton.xml