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