F_32/2^30