Loading module Cryptol
Assuming a = 5
3