derived_laws_sbi.v 23.5 KB