Another coefficient format for GF(2) Keccak1600