/trivmix/
../
Trivmix.hs