Does anyone know how to encode dinamic array in the eip712, typehash and datahash part? thx in the typehash i just use uint256[] as a type right?