let maxE = bin (cvect64 (7,7)) 63.0