tokens: Las cifras aparecen en documentos presentados a la Comisión estadounidense de valores en bolsa ( SEC ) , según los cuales Allen todavía piensa desprenderse de algo más de mil acciones , cuyo valor asciende a 75,8 millones de dólares .