bimap package:hw-prim is:exact