% 7-point lasy. design_size := 7; input b-lasy;