derived_laws_sbi.v 24.9 KB