mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-24 08:24:19 +03:00
7 lines
216 B
Plaintext
7 lines
216 B
Plaintext
Loading module Cryptol
|
|
Assuming a = 5
|
|
Assuming b = 5
|
|
[[0x01, 0x02, 0x03, 0x04, 0x05], [0x06, 0x07, 0x08, 0x09, 0x0a],
|
|
[0x0b, 0x0c, 0x0d, 0x0e, 0x0f], [0x10, 0x11, 0x12, 0x13, 0x14],
|
|
[0x15, 0x16, 0x17, 0x18, 0x00]]
|