From: "Zhijie Hou (Fujitsu)" <houzj.fnst@fujitsu.com>
To: Michail Nikolaev <michail.nikolaev@gmail.com>, Amit Kapila
	<amit.kapila16@gmail.com>
CC: "Hayato Kuroda (Fujitsu)" <kuroda.hayato@fujitsu.com>, PostgreSQL Hackers
	<pgsql-hackers@postgresql.org>, Andres Freund <andres@anarazel.de>
Subject: RE: [BUG?] check_exclusion_or_unique_constraint false negative
Thread-Topic: [BUG?] check_exclusion_or_unique_constraint false negative
Thread-Index:
 AQHa1hf2I1N/WowEakeCyYyi4A1osrIBWK2AgAUDp4CACw/bAIAAljaAgAA68gCAAUcyAIAAzIOAgARDzACAAA+BAIAKfdlA
Date: Mon, 12 Aug 2024 03:32:32 +0000
Message-ID:
 <OS0PR01MB5716FFD8DBBADB55E8E6935994852@OS0PR01MB5716.jpnprd01.prod.outlook.com>
References:
 <CANtu0oiktqQ2pwExoXqDpByXNCJa-KE5vQRodTRnmFHN_+qwHg@mail.gmail.com>
 <CANtu0ohU2XRV9shtu14CffLPDS1x10q7ebOGf-vX0p+45_L8jw@mail.gmail.com>
 <CANtu0oh0tspW-xWzDGWP9ehz96KPt9aUP1c9JYhdBYxKsB0jpA@mail.gmail.com>
 <CANtu0ohUB9ky45iiMAYN1fGyt82+cg=+UYBom=P7drb+=97G9w@mail.gmail.com>
 <TYAPR01MB56921C9C3D21B0D62FF76330F5B22@TYAPR01MB5692.jpnprd01.prod.outlook.com>
 <CANtu0og=5v4j8onS4nyJ4zMPdh-EPFxmiEi5PLoyZrmqHA6RKw@mail.gmail.com>
 <CAA4eK1Jfb0xviXYon-_TvHNKeAY7ngAeo++Knu-0RPR6EkSBjA@mail.gmail.com>
 <CANtu0ohHmYXsK5bxU9Thcq1FbELLAk0S2Zap0r8AnU3OTmcCOA@mail.gmail.com>
 <CAA4eK1+_V1PWXrrgAM01p+CByP6JwYRxejZrcxOu83a-v_+zZg@mail.gmail.com>
 <CANtu0ogDDQnXbrv6p7Xtc2dT_MZ1fjdPgB9-0B5Lw1b4pQGd2A@mail.gmail.com>
In-Reply-To:
 <CANtu0ogDDQnXbrv6p7Xtc2dT_MZ1fjdPgB9-0B5Lw1b4pQGd2A@mail.gmail.com>
Accept-Language: en-AS, ja-JP, en-US
Content-Language: ja-JP
msip_labels:
 =?utf-8?B?TVNJUF9MYWJlbF9hNzI5NWNjMS1kMjc5LTQyYWMtYWI0ZC0zYjBmNGZlY2Uw?=
 =?utf-8?B?NTBfQWN0aW9uSWQ9N2MxNGVmM2ItMTM2My00YTczLTk4YzYtMjlmZDllZGYz?=
 =?utf-8?B?MDUzO01TSVBfTGFiZWxfYTcyOTVjYzEtZDI3OS00MmFjLWFiNGQtM2IwZjRm?=
 =?utf-8?B?ZWNlMDUwX0NvbnRlbnRCaXRzPTA7TVNJUF9MYWJlbF9hNzI5NWNjMS1kMjc5?=
 =?utf-8?B?LTQyYWMtYWI0ZC0zYjBmNGZlY2UwNTBfRW5hYmxlZD10cnVlO01TSVBfTGFi?=
 =?utf-8?B?ZWxfYTcyOTVjYzEtZDI3OS00MmFjLWFiNGQtM2IwZjRmZWNlMDUwX01ldGhv?=
 =?utf-8?B?ZD1TdGFuZGFyZDtNU0lQX0xhYmVsX2E3Mjk1Y2MxLWQyNzktNDJhYy1hYjRk?=
 =?utf-8?B?LTNiMGY0ZmVjZTA1MF9OYW1lPUZVSklUU1UtUkVTVFJJQ1RFROKAiztNU0lQ?=
 =?utf-8?B?X0xhYmVsX2E3Mjk1Y2MxLWQyNzktNDJhYy1hYjRkLTNiMGY0ZmVjZTA1MF9T?=
 =?utf-8?B?ZXREYXRlPTIwMjQtMDgtMTJUMDM6MjQ6NTBaO01TSVBfTGFiZWxfYTcyOTVj?=
 =?utf-8?B?YzEtZDI3OS00MmFjLWFiNGQtM2IwZjRmZWNlMDUwX1NpdGVJZD1hMTlmMTIx?=
 =?utf-8?Q?d-81e1-4858-a9d8-736e267fd4c7;?=
authentication-results: dkim=none (message not signed)
 header.d=none;dmarc=none action=none header.from=fujitsu.com;
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: OS0PR01MB5716:EE_|OS3PR01MB10298:EE_
x-ms-office365-filtering-correlation-id: 2193b6ef-9ddf-45cc-c362-08dcba7f6684
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam:
 BCL:0;ARA:13230040|376014|366016|1800799024|38070700018|1580799027;
x-microsoft-antispam-message-info:
 =?utf-8?B?RXdWdHFxbjdyZnhFVG1RMytSc1hodUVhSzVKMDdPZUw2anBxMWJ0T1BkM0k0?=
 =?utf-8?B?T243clBTaGFOblVZOEVFYmhDRkhLN1o0T3lrbU9nWkNYSHVETG9RbWY2cFoz?=
 =?utf-8?B?YXpEbTlDTWN0UGVKL2RiWHI1eFNSRHEzUzI2TDJqZGx6L3l1VTVoaHdmWEl1?=
 =?utf-8?B?c2x6MmJ0UjZaVjFBSlltaHFXWjVTdnRWT0JJM0RhM0NTaWkxWjZCUWI1OGR1?=
 =?utf-8?B?VVE1VWhYa0UxTzAzRE1uOGs1eDVyd0VwR1ZmdlAvbnVXYlV6NXRBT29aSTBO?=
 =?utf-8?B?YXFIK3FCT2VmQjFVQ21oV2hsTFRzSElxVjBpbE5VdU9ldldwVGs2OVlyUDY2?=
 =?utf-8?B?a0RKaENkVHBxUkRzcmRnYlNDNUpRWnQ5Z3ZGbVB2TmxNekE4NjJMYm8zb3JK?=
 =?utf-8?B?eGhCaDg4SFlJamgxZW14aS9STGFJWEZqcW1MWTVQUGdhalpwMktPMjFDWmpF?=
 =?utf-8?B?TW9zTFl6UDVubFJSV1R0ZjBWVDFkMGtCeGplVm52SnBYMzlIRWFMZzNFMzN2?=
 =?utf-8?B?K0Yrc092ODlKOTYvNURRaVJDeE13TTJndjhjaWgxZy9XOHZHVFhTejcxVjB1?=
 =?utf-8?B?SVA1WE5hYlBWZDljeFdJT2s5Y0FIS1BiR0kzTmNncWQveDFSbWg3dnZQcEZm?=
 =?utf-8?B?ZHRrcVNKaVBycUwwbk5rYUY2c2tWR1VOUHk5Z1hqU1VQc01vK1VZc3hxRHdZ?=
 =?utf-8?B?UlRFYkVRK0dET3V6S0xkQlpIWjh6dzh1RXUyU1N4TDA5VWl2RERoQWdHNWpm?=
 =?utf-8?B?KzRCcnFsMVVkR2JZQlFLSmtabVAyWUxkYVhTQ3F1bnllZWlGSGptSmFONFZs?=
 =?utf-8?B?MW5YZUJPNkhUeTlYdkdrQW1jVExpekNWaWpBdVNFMmRveEhkL3dEdkQzVzJY?=
 =?utf-8?B?U1BvWEd6dTZnWmVoL1pFdUhJMWlIRmVtTm9PbWhyTytlZFNNUkRvTWZFdU94?=
 =?utf-8?B?bW1xcnhvYUpuNHEvWGNMdFBwakRzSVpyWHB3Y0VwbUo0YktmckNCUUkydnZN?=
 =?utf-8?B?Z0JqelFtWFZKN3BRcmVleHpZdmRReHR6ejFYOUwwQlgzZVBFb0d1c2g2aWoy?=
 =?utf-8?B?cEVsbzFNYmxSa05NUHQwOFhJMXZzWlpHT3AxbUVrRzJLLzU0SFhWVlFwbER6?=
 =?utf-8?B?SlZ0K0NWZE80UXM5ZzdXMVhtMy9RSG1iNVlUb1E2MThjUVh0OEdiQmEyT3d2?=
 =?utf-8?B?WG9ZTjRWMlNzQ3FVSHg0T2dVWjNPcjNBbnNPR1h3MURjRTR1c0hmYU10eHlP?=
 =?utf-8?B?UXBCWVNxMDBGRlVqVStyM3JBZUxXOG5pbDBCZG1PWW95WGRBWGRRMXBMcWQ2?=
 =?utf-8?B?L0FMUVhucjBkWkd3MUphakJQRzRIbHNkSW5QMXdCNlNObUdVU2FTeFB2M1NU?=
 =?utf-8?B?N0Y4TVJiM1B4MkFiU21mU1VGTXUyWnIzcVZOYk9Ub2Y4eUIwL05uQjFRbmdM?=
 =?utf-8?B?MThVaUJGaVRmNmJ3ODUra0VTbFJlSDM1Wks5b0h6clZmeFI2TktIY3JSYkFG?=
 =?utf-8?B?MEg4OFJRVlEzUktOckEzRVN3NDB6OWlIOGV1emp1a3JzeDJ5RlpGQU9la3Q3?=
 =?utf-8?B?QjhkSlFINTNHT2VMdytNWlhWaUVRT3RIZjdaaE9GcjI4OGVBRTQ2RlYzalhW?=
 =?utf-8?B?WXBDMkdwSysxQ09aaFF4NWtHeW5zQlJGc0E3UHBMc2NtbHFLSHI1OW0zc3dz?=
 =?utf-8?B?WTVvbFJxMmZKVGF4VWxCVXVLRVR6OVkrL3dDVXR6WW51TVdHRURIaEtyU213?=
 =?utf-8?B?SHk5V2lFUmhacFRjd1VhNjVkeCtoNFlUYkpLZXlCNlNPVDJvNXJlV2dzZlVO?=
 =?utf-8?B?cm1lUDgwYXNweWxGQmJsSE95cW1FdzUrb0ZxSFo3dHZNUEJ1aS9hWEhLYnYx?=
 =?utf-8?B?TnFCSnM1Qkl3L1pwUnJ2eVdScDMvQ2dZQ2NxaEducTlRYmZNbFhXUVhScHNt?=
 =?utf-8?Q?/qFGuxHzb3U=3D?=
x-forefront-antispam-report:
 CIP:255.255.255.255;CTRY:;LANG:ja;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:OS0PR01MB5716.jpnprd01.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(366016)(1800799024)(38070700018)(1580799027);DIR:OUT;SFP:1101;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0:
 =?utf-8?B?ZFB0WHlveE5jWUxGSXV0WlJObHFKUHYxNDlHMkNHQklTaURlQkEzNXJ4ZFpS?=
 =?utf-8?B?YzJ0am41eU1yMXZaOEN1eHpmU0lBSmtTOHVSckl2ZWFUWU4xWDlMSnc2ZE1D?=
 =?utf-8?B?YnN1RHdKMVhTWGsvY1RQVHFXQWd5WGRPSytGTi9JVVAxTk5LSW5YSHRCUXhi?=
 =?utf-8?B?cDR6VVhZZERaOWNUem9pVkNZd0t5YzBxRlAxSGpIcDRvZnBQZXZMQnptSEZ4?=
 =?utf-8?B?Z1NwOWhXM2Q1RTlQK2tWU1BTVTgwKzBIZzJZM3Vwb0VBaks5K09HS014c0h5?=
 =?utf-8?B?d1d1S0Y4V3p1eVpUV2RIaHc5aElOYTVTQ2VrTk9nY05PcHdNL01wWXJ6QlZ2?=
 =?utf-8?B?T3J4MTZ3ZEFFZitWcHNKcUdlakRXNmxLek9sN0MxejdSdjVwMlR6OHMrYzZZ?=
 =?utf-8?B?V3A0Ty9WZi94YVE4U3dZQUl3OWh3ZGowSUFPZUp0bE15eUlzUkxYaGtMczZ0?=
 =?utf-8?B?UjdXcGJhN3c1VUd0cGRteDNrREFpeUhud0g3MzdVRjU4cGk3VEpBNy9aNnFj?=
 =?utf-8?B?bFdMSUxnV2FGbVgvelpZTkplSXZlbFhmdVdLdTN0NStlUmMxd1ZsM0M5Y0Iv?=
 =?utf-8?B?UXV5TjNYQXVsbzFod1MxUjM1U1FySm8xUkJsTUUrUGluNUYvQTJJajA1RE1K?=
 =?utf-8?B?TlU4YXFrVHp1ZGZ2aWtzVWdadHpwK0RNNWt1cE9JVjRMWHNhU0VTUEVaUHlU?=
 =?utf-8?B?TWNJQVpNa3pCaUZaZmFjdmt2RDhiVFB2RWg4NFNpSWxreDZvcmJJcjEyMlgx?=
 =?utf-8?B?QTFoenU1TDZEaFNBcWd3b1dtR2grSk9LSFhFM1JmTWprN1JiaVhsQkFGTkYr?=
 =?utf-8?B?N1dPamR3bTlOdkZUYmxSdTJCUlhsWFo2ajNrdjZxRmhjNENEK0tJdkRlTlMw?=
 =?utf-8?B?SThrS2RKckZRN3owakRqMTNzcU4vekRia0N0Z2gxcjJieUg1MUdTR0htR0dG?=
 =?utf-8?B?U0JqMUp0dUVaenBpU25kbmw5UFhhTEtXR01NNDhWSlpDOVNlRVhQMDYrbU94?=
 =?utf-8?B?N2pGRFU4b1RmbFRlMEp4MllWd3JmRGx0dUNFc1BrZGJ5b0M4REZGRG5iVmJ0?=
 =?utf-8?B?Zi82alFkWFg5QlBua0N1ZStOam0zenRuS0psWmMybXZlOFIvN25wdXcrQWcz?=
 =?utf-8?B?RXlxZGVrOFpoc05hdVcvYmtvVnpRWUk3ZlNSWUFaNkNmN1hMYTByZEJMMHIv?=
 =?utf-8?B?VWZWRzgzNkUrRmhJTzhwUHhyTHRmcWFBQlJxUUNQVEwxdHJ0Nm1CNXEzK29l?=
 =?utf-8?B?ZWxQdkpORmY5SUNhVEFXazQ5SVNpbG9xWTNOd2Jrbll3TGdMOFhoRVBRNk54?=
 =?utf-8?B?TWdrWDZDd2ZuNWdFVUVyOHBvdWVhRHFEYktTM1VoQWpnOE03ZGwremNLOElh?=
 =?utf-8?B?elFpNThDOEdQa05aOVdFcngrdVFJc1dWTGRwdzZZclQrYVNyeGt1Q2EvckV2?=
 =?utf-8?B?R0J0MmVCUFl4VEZZRFhvSUgwMmJWV0NtdUhhUjJsTTJLckVxSEY2eE9KTkxa?=
 =?utf-8?B?Q3JQYWdOOVBOZXVVTVlMQXBodC8yTHhXQzhSTkRJQUQveGN3dGxYU2Z3MVpJ?=
 =?utf-8?B?OXZGWE5BN0VhNW05OGdYVGZzKzl4QUliRS9pRElyV0VraDlyRWtxVkFCYisw?=
 =?utf-8?B?bmNyaURSNVQyNzJzZTF2amxYT3VHeGU1ZElEejVSNjlIOXpncDRNRnpBNnZh?=
 =?utf-8?B?YmJwT3pkUEN4U0taQmhRT2tCRVhMZHVOS3VJRFlpQ2szNUhEN05MdGR6M1JM?=
 =?utf-8?B?UVV1dERzRmd2Tkc4ZHEvVzdoaHlER1JIdGVzdlZhK0ZHM0RIbGlFYmxqOW9r?=
 =?utf-8?B?YmNmOWIrbUFBcVFOZjlwTVFIVldMN0pUQmNFL25GUmRUSFdvVC9keEpMRmVW?=
 =?utf-8?B?WlVYVDB6SzU2VmxXU0RhNDVYYzVhRWlUc2RibmtCeHk2Q2hFZHFFREhxbkdl?=
 =?utf-8?B?RjRwejl6cnQ4ZlhNMG9HZFMwOFdLT2phektDYUxKMlJWOXpPWXc4MFlpMXZM?=
 =?utf-8?B?YUhLZ1E3T2V2U2xVdzhyWHBVR1FXUjFWM2UyYktNeThHSXVsMnlPZ1dJMHY2?=
 =?utf-8?B?d0tqUFZ2TmJudTJBakZaNkovZVg1cTZRdFZ3SXpOanVYWG1lSmsxd2QwdzNO?=
 =?utf-8?Q?V/212uGF1fvR/a16d9hwHelDD?=
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0:
	e2qQLh1mUBs286a3d2tRkEABy4cFN2clnqeDo5s+lEBxr5oFBG/vPxGt2ueRQYs86os5USpNee80e7H8umZSCw4Yb1SGT9sam6bvdSX4DGjD7qbW6jfXJTKU6V7yM1tzcfb2Sh3y6zAjhBEOwKjVQtnpeaLsPe0ePyB5Kpsz5oXyQ2h0fJwmS2xhY0qMrnYvBt7UXs6Q5D77QXngyu62BLDOOFjxauQwtwHt3OPH66QPL6r2y5Q/yvrEL4FTBtpkTHjZ2bO9s1iVkIZ/a+w9RwlXjDuuQs06cY5LuIHFXQQuYs9TSyZhxcl08oSZIulG19WA/Gj5pJ5wWGCHSZwbJqbRSpFdRQoepHv7NPRIWhjUmPf/m9/IP8Ph7hTM1OC6C7D0UPbfeVuw1Jg5l1cDEoZaI1TTr1+ahS44/8cFn3RkXXp7o/JpABO1cw0JsxPXz87mN4RmshERaIPI+yGJwaRf1JwtZH7pTvNCqhJjkOGvqi4U1FAsCTJ/Y7U+PzdhqfikFYjeFDvFN7e7a3Yzas2ZxLF5S2nAfh6hXtCIAu1cDCkfSNgj5WF7cH1S0zw5gkCA6r/YnF10dD7b0q4F54JrZy6B0haPmMIaLLLYf+E/92h0rnVdSXpR46O7iyH4
X-OriginatorOrg: fujitsu.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: OS0PR01MB5716.jpnprd01.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 2193b6ef-9ddf-45cc-c362-08dcba7f6684
X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Aug 2024 03:32:32.2904
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: a19f121d-81e1-4858-a9d8-736e267fd4c7
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: CnDB/qPTGvFZPcH4giLUGXOrORj1/AEO74MQjm9DkOQ0xBcJs6PMhYU4gs3DQoq3DOkyHkugCFXyv8x/AZgflA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: OS3PR01MB10298
List-Id: <pgsql-hackers.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-hackers@lists.postgresql.org>
List-Owner: <mailto:pgsql-hackers-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-hackers>
Archived-At: <https://www.postgresql.org/message-id/OS0PR01MB5716FFD8DBBADB55E8E6935994852%40OS0PR01MB5716.jpnprd01.prod.outlook.com>
Precedence: bulk

SGksDQoNClRoYW5rcyBmb3IgcmVwb3J0aW5nIHRoZSBpc3N1ZSAhDQoNCkkgdHJpZWQgdG8gcmVw
cm9kdWNlIHRoaXMgaW4gbG9naWNhbCByZXBsaWNhdGlvbiBidXQgZmFpbGVkLiBJZiBwb3NzaWJs
ZSwNCmNvdWxkIHlvdSBwbGVhc2Ugc2hhcmUgc29tZSBzdGVwcyB0byByZXByb2R1Y2UgaXQgaW4g
bG9naWNhbHJlcCBjb250ZXh0ID8NCg0KSW4gbXkgdGVzdCwgaWYgdGhlIHR1cGxlIGlzIHVwZGF0
ZWQgYW5kIG5ldyB0dXBsZSBpcyBpbiB0aGUgc2FtZSBwYWdlLA0KaGVhcGFtX2luZGV4X2ZldGNo
X3R1cGxlIHNob3VsZCBmaW5kIHRoZSBuZXcgdHVwbGUgdXNpbmcgSE9UIGNoYWluLiBTbywgaXQn
cyBhDQpiaXQgdW5jbGVhciB0byBtZSBob3cgdGhlIHVwZGF0ZWQgdHVwbGUgaXMgbWlzc2luZy4g
TWF5YmUgSSBtaXNzZWQgc29tZSBvdGhlcg0KY29uZGl0aW9ucyBmb3IgdGhpcyBpc3N1ZS4NCg0K
SXQgd291bGQgYmUgYmV0dGVyIGlmIHdlIGNhbiByZXByb2R1Y2UgdGhpcyBieSBhZGRpbmcgc29t
ZSBicmVha3BvaW50cyB1c2luZw0KZ2RiLCB3aGljaCBtYXkgaGVscCB1cyB0byB3cml0ZSBhIHRh
cCB0ZXN0IHVzaW5nIGluamVjdGlvbiBwb2ludCB0byByZXByb2R1Y2UNCnRoaXMgcmVsaWFibHku
IEkgc2VlIHRoZSB0YXAgdGVzdCB5b3Ugc2hhcmVkIHVzZWQgcGdiZW5jaCB0byByZXByb2R1Y2Ug
dGhpcywNCml0IHdvcmtzLCBidXQgSXQgd291bGQgYmUgZ3JlYXQgaWYgd2UgY2FuIGFuYWx5emUg
dGhlIGlzc3VlIG1vcmUgZGVlcGx5IGJ5DQpkZWJ1Z2dpbmcgdGhlIGNvZGUuDQoNCkFuZCBJIGhh
dmUgZmV3IHF1ZXN0aW9ucyByZWxhdGVkIHRoZSBzdGVwcyB5b3Ugc2hhcmVkOg0KDQo+ICogU2Vz
c2lvbiAxIHJlYWRzIGEgQi10cmVlIHBhZ2UgdXNpbmcgU25hcHNob3REaXJ0eSBhbmQgY29waWVz
IGl0ZW0gWCB0byB0aGUgYnVmZmVyLg0KPiAqIFNlc3Npb24gMiB1cGRhdGVzIGl0ZW0gWCwgaW5z
ZXJ0aW5nIGEgbmV3IFRJRCBZIGludG8gdGhlIHNhbWUgcGFnZS4NCj4gKiBTZXNzaW9uIDIgY29t
bWl0cyBpdHMgdHJhbnNhY3Rpb24uDQo+ICogU2Vzc2lvbiAxIHN0YXJ0cyB0byBmZXRjaCBmcm9t
IHRoZSBoZWFwIGFuZCB0cmllcyB0byBmZXRjaCBYLCBidXQgaXQgd2FzDQo+ICAgYWxyZWFkeSBk
ZWxldGVkIGJ5IHNlc3Npb24gMi4gU28sIGl0IGdvZXMgdG8gdGhlIEItdHJlZSBmb3IgdGhlIG5l
eHQgVElELg0KPiAqIFRoZSBCLXRyZWUgZ29lcyB0byB0aGUgbmV4dCBwYWdlLCBza2lwcGluZyBZ
Lg0KPiAqIFRoZXJlZm9yZSwgdGhlIHNlYXJjaCBmaW5kcyBub3RoaW5nLCBidXQgdHVwbGUgWSBp
cyBzdGlsbCBhbGl2ZS4NCg0KSSBhbSB3b25kZXJpbmcgYXQgd2hpY2ggcG9pbnQgc2hvdWxkIHRo
ZSB1cGRhdGUgaGFwcGVuID8gc2hvdWxkIGl0IGhhcHBlbiBhZnRlcg0KY2FsbGluZyBpbmRleF9n
ZXRuZXh0X3RpZCBhbmQgYmVmb3JlIGluZGV4X2ZldGNoX2hlYXAgPyBJdCB3b3VsZCBiZSBncmVh
dCBpZg0KeW91IGNvdWxkIGdpdmUgbW9yZSBkZXRhaWxzIGluIGFib3ZlIHN0ZXBzLiBUaGFua3Mg
IQ0KDQpCZXN0IFJlZ2FyZHMsDQpIb3UgemoNCg==