F_93, 2^64, F_94