':/home/tudattr/.genesis/Documents/Arbeit/Uni-DuE_NCS_SHK/04_-_Projekte/04-5G_IANA/03-demonstration_23-10-31/final/5g-iana-notes/5g-uulm-network-monitoring 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