derived_laws_sbi.v 22.7 KB