WISeKey Intl Hldg Option Alert: Dec 17 $7.5 Puts at the Bid: 130 @ $2.02 vs 1 OI; Ref=$6.1202