F_47, 2^32, F_48