':/home/tudattr a:/home/tudattr/Documents/Arbeit/Uni-DuE_NCS_SHK/04_-_Projekte s:/home/tudattr/Pictures/Screenshots u:/home/tudattr/.genesis/Documents/Uni/Studium e:/home/tudattr/.genesis/Documents/Fachschaft/Berufungskomission/Pohl/Sitzungen r:/home/tudattr/.genesis/Documents/Uni/Studium/2023_Sommersemester/ethfuzz-evaluation/eval_ityfuzz/contracts/VeriSmart-benchmarks m:/run/media/tudattr