@$pb.TagNumber(14) $core.int get progressStride => $_getIZ(13);
@$pb.TagNumber(14) set progressStride($core.int value) => $_setSignedInt32(13, value);