log18319(2^512