.
spartan slots obdd