let
vectE k = bin (cvect64 (
List
.nth lcase k)) 63.0