.
k link black jack obdd