4 ^ (2 * 257)