Python conversion script for Keccak1600 GF(2) equation.