@$pb.TagNumber(1) $core.List<$core.int> get assertion => $_getN(0);
@$pb.TagNumber(1) set assertion($core.List<$core.int> v) { $_setBytes(0, v); }