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