.-------------------------------------------.      .-----------------------------------------------------.
   | "Keccak State"                              |    | "Keccak State in 64-bit Lanes of AVX-512 Registers"   |
   |-----+-------+-------+-------+-------+-------|    |----------+--------+--------+--------+--------+--------|
   | Row | Col 3 | Col 4 | Col 0 | Col 1 | Col 2 |    | Register | Lane 0 | Lane 1 | Lane 2 | Lane 3 | Lane 4 |
   |-----+-------+-------+-------+-------+-------|    |----------|--------+--------|--------|--------|--------|
   |  2  | s[13] | s[14] | s[10] | s[11] | s[12] |    |   r0     |  s[00] |  s[01] |  s[02] |  s[03] |  s[04] |
   |-----+-------+-------+-------+-------+-------|    |----------|--------|--------|--------|--------|--------|
   |  1  | s[08] | s[09] | s[05] | s[06] | s[07] |    |   r1     |  s[05] |  s[06] |  s[07] |  s[08] |  s[09] |
   |-----+-------+-------+-------+-------+-------| -> |----------|--------|--------|--------|--------|--------|
   |  0  | s[03] | s[04] | s[00] | s[01] | s[02] |    |   r2     |  s[10] |  s[11] |  s[12] |  s[13] |  s[14] |
   |-----+-------+-------+-------+-------+-------|    |----------|--------|--------|--------|--------|--------|
   |  4  | s[23] | s[24] | s[20] | s[21] | s[22] |    |   r3     |  s[15] |  s[16] |  s[17] |  s[18] |  s[19] |
   |-----+-------+-------+-------+-------+-------|    |----------|--------|--------|--------|--------|--------|
   |  3  | s[18] | s[19] | s[15] | s[16] | s[17] |    |   r4     |  s[20] |  s[21] |  s[22] |  s[23] |  s[24] |
    '----+-------+-------+-------+-------+------'      '---------+--------+--------+--------+--------+-------'