ちなみにその数は、1961年にフィッシャー(fischer)によって12988816個と解っている。