(3 * 9 ^ 16 - 1) / 2