aa153dd6ceb1698d063abd83a183bad5 sethtc-0.1.0.dsk