WISeKey International Holding Ltd的已發行普通股總數。