module Package10 where
x = emptyUFM