@$pb.TagNumber(5) $4.Formula get formula => $_getN(4);
@$pb.TagNumber(5) set formula($4.Formula v) { $_setField(5, v); }