dresdner_20_branches_sliced.smv 828 KB