/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/d2 /usr/lib/debug/.build-id/d2/8fe76fbf571f8a644f5c412a28ce37497b2847 /usr/lib/debug/.build-id/d2/8fe76fbf571f8a644f5c412a28ce37497b2847.debug /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/z3-5.0.0-1.riscv64.debug