EFGT, simple modulo 4096