[troc]

and those tokens were traded at how many pennies to the dollar ?

[darawk]

They were redeemed by Bitfinex at full face value.