':/home/tudattr/.genesis/Documents/Uni/Studium/2023_Sommersemester/ethfuzz-related-work/2024-10-30
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