.
black jack double obdf