Re: Questions about Majority-Beat vs Plurality-Beat Condorcet

T24gV2VkLCA4IEFwciAyMDI2IDIwOjA5OjMwICswMDAwIChVVEMpDQpLZXZpbiBWZW56a2UgPHN0
ZXBqYWtAeWFob28uZnI+IHdyb3RlOg0KDQo+IEhpIEd1c3RhdiwNCj4gDQo+IExlIGx1bmRpIDYg
YXZyaWwgMjAyNiDDoCAxNjozMDowMSBVVEPiiJI1LCBHdXN0YXYgVGhvcnplbiB2aWEgRWxlY3Rp
b24tTWV0aG9kcyA8ZWxlY3Rpb24tbWV0aG9kc0BsaXN0cy5lbGVjdG9yYW1hLmNvbT4gYSDDqWNy
aXQgOg0KPiA+ID4gT2ssIEkgc2VlLiBJZiBJIHVzZSBzb21lIG9sZCBXb29kYWxsIHRlcm1pbm9s
b2d5IEkgYW0gZmFtaWxpYXIgd2l0aDoNCj4gPiA+IENvbmRvcmNldChuZXQpID0gUEItQ29uZG9y
Y2V0DQo+ID4gPiBDb25kb3JjZXQoZ3Jvc3MpID0gTUItQ29uZG9yY2V0DQo+ID4gPg0KPiA+ID4g
TUItQ29uZG9yY2V0IGlzIGluZGVlZCBjb21wYXRpYmxlIHdpdGggQUZCLiBGb3IgYSBiZXR0ZXIt
a25vd24gZXhhbXBsZSBjb25zaWRlciBNTVBPDQo+ID4gPiBhLmsuYS4gIk1pbk1heCAocGFpcndp
c2Ugb3Bwb3NpdGlvbikuIg0KPiA+wqANCj4gPiBWZXJ5IGludGVyZXN0aW5nIGFib3V0IG5ldCB2
cyBncm9zcyBhbHJlYWR5IGJlaW5nIHN0dWRpZWQuDQo+ID4gSSBjaG9vc2UgdG8gYXNrIGFib3V0
IElDQSBvdmVyIE1NUE8gYmVjYXVzZSBpdCB3YXMgY2xlYXIgdGhleSBzYXRpc2ZpZWQgTUItQ29u
ZG9yY2V0IGNyaXRlcmlhLg0KPiANCj4gRm9yIE1NUE8sIG9ic2VydmUgdGhhdCB0aGUgTUItQ29u
ZG9yY2V0IHdpbm5lciB3aWxsIGJlIHRoZSBvbmx5IGNhbmRpZGF0ZSB3aXRoIGENCj4gc2NvcmUg
bGVzcyB0aGFuIGEgbWFqb3JpdHkgKGFuZCB0aGUgbG93IHNjb3JlIHdpbnMpLg0KDQpUaGFua3Mg
Zm9yIHRoZSBpbnB1dCwgd2FzIGFibGUgdG8gd29yayBvdXQgYSBwcm9vZiBmcm9tIHRoZSBoaW50
Lg0KSSBkb2VzIG5vdCBzYXkgb24gdGhlIHdpa2ksIGJ1dCBhbSBJIGNvcnJlY3QgdGhhdCBNTVBP
IHNhdGlzZnkgTW9ub3RvbmljaXR5DQphbmQgTXV0dWFsIE1ham9yaXR5IGFzIHdlbGw/DQooRWxl
Y3Rvd2lraSBvbmx5IHNheXMgTWluTWF4KFdWKSBwYXNzZXMgdGhlIGZpcnN0IGFuZCBmYWlscyB0
aGUgb3RoZXIuKQ0KQmVjYXVzZSBpZiBzbywgdGhlbiB3ZSB0aGVuIGhhdmUgYSBrbm93biBNQi1D
b25kb3JjZXQgQ3JpdGVyaWEgY29tcGF0YWJpbGl0eQ0Kd2l0aCBBRkIgYW5kIDMgb2YgdGhlIDQg
TW9ub3RvbmljaXR5LCBNdXR1YWwgTWFqb3JpdHksIExOLUhhcm0sIExOLUhlbHAsDQphbGwgYXQg
dGhlIHNhbWUgdGltZSB1bmRlciBheGlvbSBvZiBkaXNjcmltaW5hdGlvbi9kZWNpc2l2ZW5lc3Ms
DQphbmQgd2l0aCB0aGF0IGEgdmFsdWVhYmxlIHJlZmVyZW5jZSBjb21wYXJpc29uIHRvZ2V0aGVy
IHdpdGggREFDLg0KDQo+ID4gPiA+ID4gPiBJdCBpcyBhbHNvIG5vdCBtZW50aW9uZWQgaWYgYW55
IG9mIHRoZSBzYXRpc2Z5IFBhcnRpY2lwYXRpb24gbGVhZGluZyB0byB0aGUgbmV4dCBxdWVzdGlv
bnMuDQo+ID4gPiA+ID4NCj4gPiA+ID4gPiBEZWZpbml0ZWx5IG5vdC4gVmVyeSBmZXcgbWV0aG9k
cyBzYXRpc2Z5IFBhcnRpY2lwYXRpb24sIGNlcnRhaW5seSBub3Qgb25lcyB0aGF0DQo+ID4gPiA+
ID4gcmVzZW1ibGUgQ29uZG9yY2V0LiBUaGUgbW9zdCBjb21wbGljYXRlZCBQYXJ0aWNpcGF0aW9u
IG1ldGhvZHMgYXJlIERBQyBhbmQgRFNDLg0KPiA+ID4gPsKgDQo+ID4gPiA+IFllYWgsIFBhcnRp
Y2lwYXRpb24gaXMgY2xlYXJseSBhIHJhcmUgYW5kIGRpZmZpY3VsdCBvbmUuDQo+ID4gPiA+IEkg
d2FzIHRoaW5raW5nIHNpbmNlIE1CLUNvbmRvcmNldCB0dXJuZWQgb3V0IHRvIGJlIGNvbXBhdGli
bGUgd2l0aCBBRkIsDQo+ID4gPiA+IG1heWJlIGl0IHdvdWxkIGFsc28gYmUgY29tcGF0aWJsZSB3
aXRoIFBhcnRpY2lwYXRpb24sDQo+ID4gPiA+IGFuZCBpZiBhbnkgb2YgdGhlIElDQTpzIGFyZSBj
b21wYXRpYmxlIHdpdGggYm90aCBJIHdvdWxkIGhhdmUgYSBnb29kDQo+ID4gPiA+IHN0YXJ0aW5n
IHBvaW50IGZvciBmaWd1cmluZyBvdXQgd2hhdCBpdCB0YWtlcyBvZiBhIHN5c3RlbSB0byBzYXRp
c2Z5IGFsbCB0aHJlZS4NCj4gPiA+ID4gQWdhaW4gKG15IGJhZCBmb3IgYmVpbmcgdW5jbGVhciBh
Ym91dCBQQiB2cyBNQikgc2luY2UgdGhlIElDQTpzIG9ubHkgc2F0aXNmeQ0KPiA+ID4gPiBNQi1D
b25kb3JjZXQgY3JpdGVyaWEgd2hpbGUgZmFpbGluZyBQQi1Db25kb3JjZXQgY3JpdGVyaWEsDQo+
ID4gPiA+IGl0IGlzIHVuY2xlYXIgaWYgdGhleSBzYXRpc2Z5IG9yIGZhaWwgcGFydGljaXBhdGlv
biBzaW5jZSB0aGUgdXN1YWwNCj4gPiA+ID4gUEItQ29uZG9yY2V0IGNyaXRlcmlhIGltcGx5IGZh
aWxpbmcgUGFydGljaXBhdGlvbiBpcyBub3QgcmVsZXZhbnQgaGVyZS4NCj4gPiA+DQo+ID4gPiBB
Y2NvcmRpbmcgdG8gV29vZGFsbCwgTUItQ29uZG9yY2V0IGlzIGluY29tcGF0aWJsZSB3aXRoIFBh
cnRpY2lwYXRpb24gYW5kDQo+ID4gPiBMYXRlci1uby1oZWxwLiAoU2VlIGFnYWluIE1NUE8gZm9y
IE1CLUNvbmRvcmNldCdzIGNvbXBhdGliaWxpdHkgd2l0aCBMYXRlci1uby1oYXJtLikNCj4gPiA+
DQo+ID4gPiBBcyBmb3Igd2hhdCBkb2VzIGl0IHRha2UgdG8gc2F0aXNmeSBQYXJ0aWNpcGF0aW9u
OiBBbGwgdGhlIG1ldGhvZHMgdGhhdCBzYXRpc2Z5IGl0DQo+ID4gPiBzZWVtIHRvIHN1bSB1cCBw
b2ludHMgaW4gdmVyeSBtb2Rlc3Qgd2F5cy4gREFDIGFuZCBEU0MgaGF2ZSB0aGUgZmVlbGluZyBv
ZiBhbG1vc3QNCj4gPiA+IGhhdmluZyBiZWVuIHNwZWNpZmljYWxseSBkZXNpZ25lZCB0byBzYXRp
c2Z5IFBhcnRpY2lwYXRpb24uDQo+ID7CoA0KPiA+IFNvIG11Y2ggZm9yIHRoZSBob3BlIG9mIE1C
LUNvbmRvcmNldCBjcml0ZXJpYSBjb21wYXRhYmlsaXR5IHdpdGgNCj4gPiBMTi1IZWxwIGFuZCBQ
YXJ0aWNpcGF0aW9uIHVuZGVyIGF4aW9tIG9mIGRpc2NyaW1pbmF0aW9uL2RlY2lzaXZlbmVzcw0K
PiA+IChtb3N0IGNvbW1vbiBuYW1lcyBJIGZvdW5kIGZvciB0aGUgYXNzdW1wdGlvbiBvZiB1c2lu
ZyByYW5kb21uZXNzIG9ubHkgZm9yIHRpZQ0KPiA+IGJyZWFraW5nIGJ1dCBzdGlsbCByZXF1aXJl
IGV4YWN0bHkgb25lIHdpbm5lcikuDQo+ID7CoA0KPiA+IFNwZWFraW5nIGFib3V0IE1NUE8sIEkg
d29uZGVyIGlmIGEgZGlmZmVyZW50IE1pbk1heCwNCj4gPiBmb3IgY2FuZGlkYXRlIEEsIGZpbmQg
dGhlIG9wcG9uZW50LCBCLCB3aGljaCBtaW5pbWl6ZXMgdihBPkIpDQo+ID4gYW5kIGdpdmUgYSB0
aGUgc2NvcmUgdihBPkIpIC8gVG90YWwgbnVtYmVyIG9mIHZvdGVycy4NCj4gPiBSZXBlYXQgZm9y
IGVhY2ggY2FuZGlkYXRlIGFuZCBlbGVjdCB0aGUgb25lIHdpdGggdGhlIGhpZ2hlc3Qgc2NvcmUu
DQo+ID7CoA0KPiA+IFRoaXMgTWluTWF4LCAob3IgcmF0aGVyIE1heE1pbj8pIHNhdGlzZnkgTUIt
Q29uZG9yY2V0IGNyaXRlcmlhIHdoaWxlDQo+ID4gZmFpbGluZyBQQi1Db25kb3JjZXQgY3JpdGVy
aWEgYW5kIGZlZWxzIHNpbWlsYXIgdG8gTU1QTywNCj4gPiBidXQgSSBjYW4ndCBmaWd1cmUgb3V0
IGlmIGl0IHN0aWxsIHBhc3NlcyBBRkIgYW5kIExOLUhhcm0uDQo+ID4gTm90IG11Y2ggZGlmZmVy
ZW50IHRvIE1NUE8sIGJ1dCBpdCB3YXMgdGhlIHNtYWxlc3QgY2hhbmdlDQo+ID4gSSBjb3VsZCBm
aWd1cmUgb3V0IHRvIG1ha2UgaXQgb2Jpb3VzIGl0IHBhc3NlcyBNQi1Db25kb3JjZXQNCj4gPiBj
cml0ZXJpYSB3aGlsZSBzdGlsbCBmYWlsaW5nIHRoZSBQQi1Db25kb3JjZXQgb25lLg0KPiANCj4g
VGhhdCBhcHBlYXJzIHRvIGJlIGEgbWV0aG9kIFdvb2RhbGwgY2FsbHMgTWluR1MsIGJ1dCBoZSBk
b2Vzbid0IHByZXNjcmliZSBhDQo+IGRpdmlzaW9uIChJIGRvbid0IHRoaW5rIHRoZSBkaXZpc2lv
biBkb2VzIGFueXRoaW5nPykuIFRoYXQgc2F0aXNmaWVzIExhdGVyLW5vLWhlbHANCj4gcmF0aGVy
IHRoYW4gTGF0ZXItbm8taGFybS4gQXMgSSByZWNhbGwsIHRoZXJlIGlzIGEgd2F5IHRvIHNhdGlz
ZnkgQUZCIHNpbWlsYXIgdG8gdGhlDQo+IHRpZWQtYXQtdGhlLXRvcCBydWxlLg0KDQpUaGUgZGl2
aXNvbiBpcyB0byBkaXNjdXJhZ2Ugc29tZW9uZSBmcm9tIHN1YnRseSBjaGFuZ2luZyBob3cgdm90
ZXMgYXJlIGNvdW50ZWQNCmluIHN1Y2ggYSB3YXkgdGhlIHN5c3RlbSBhbGxvd3MgYSB3aW5uZXIg
cGFpcndpc2UgYmVhdCBlYWNoIG9wcG9uZW50IHdpdGhvdXQNCmFjdHVhbHkgbWFqb3JpdHkgc3Vw
cG9ydCAoYSBoYWJpdCBmcm9tIGV4cGVyaWVuY2UpLg0KWW91IGFyZSBjb3JyZWN0IGl0IG1ha2Vz
IG5vIGRpZmZlcmVuY2UgYW5kIHByb2JhYmx5IGJldHRlciBvZiB3aXRob3V0LA0Kb3IgYXQgbGVh
c3QgSSB0aGluayBzbyBzaW5jZSBJIGNvdWxkIG5vdCBmaW5kIE1pbkdTIG9uIGVsZWN0b3dpa2ks
DQphbmQgc2VhcmNoIGVuZ2luZXMgd2VudCBvZmYgdG9waWMuDQpBbSBJIGNvcnJlY3QgdGhhdCBp
dCBzYXRpc2ZpZXMgTW9ub3RvbmljaXR5IGJ1dCBmYWlscyBBRkI/DQpFeGFtaW5pbmcgaXQgbW9y
ZSBjbG9zZWx5LCBpdCBsb29rcyB0byBtZSB0aGF0IGluIG9yZGVyIHRvIGdldA0KTUItQ29uZHJj
ZXQgY3JpdGVyaWEgKyBBRkIgKyBNb25vdG9uaWNpdHkgKyBMTi1IZWxwICsgTXV0dWFsIE1ham9y
aXR5DQp1bmRlciBheGlvbSBvZiBkaXNjcmltaW5hdGlvbi9kZWNpc2l2ZW5lc3MNCndlIG5lZWQg
c29tZXRoaW5nIGxpa2UgTWF4TWluKFBhaXJ3aXNlIFN1cHBvcnQgT3IgRXF1YWxpdHkpLA0KcmF0
aGVyIHRoZW4gdGhlIE1heE1pbihQYWlyd2lzZSBTdXBwb3J0KSBhYm92ZSwNCmJ1dCBJIGNhbid0
IGZpZ3VyZSBvdXQgYSBjb21wbGV0ZSBwcm9vZi4NCldvdWxkIG1ha2UgZm9yIGEgc2Vjb25kIGdy
ZWF0IHJlZmVyZW5jZSBmb3IgY29tcGFyaXNvbiB0b2dldGhlciB3aXRoIERTQy4NCg0KPiA+IEFz
IGZvciB5b3VyIG5vdGUgb24gUGFydGljaXBhdGlvbiwgSSBoYXZlIGZvdW5kIHRoZSB0aGVvcmVt
IG9uDQo+ID4gb25seSBzeXN0ZW1zIGVxdWl2YWxlbnQgdG8gd2VpZ2h0ZWQgcG9zaXN0aW9uIG1l
dGhvZHMgcGFzcw0KPiA+IENvbnNpc3RlbmN5IGNyaXRlcmlvbiBpZiB0aGUgdXNlIGV4Y2x1c2l2
ZWx5IHJhbmstb3JkZXIgYmFsbG90IGluZm9ybWF0aW9uLA0KPiA+IHNvIHRoZSByYXJpdHkgb3V0
c2lkZSBzdW1taW5nIHVwIHBvaW50cyBpcy4NCj4gPiBJIGhhdmUgbm90IGJlZW4gYWJsZSB0byBm
aWd1cmUgb3V0IHRoZSB0cmljayBiZWhpbmQgREFDIGFuZCBEU0MgZW5vdWdoDQo+ID4gdG8gY3Jl
YXRlIG91dGhlciBzeXN0ZW0gdGFpbG9yZCB0byBwYXNzIFBhcnRpY2lwYXRpb24gdW5kZXINCj4g
PiBheGlvbSBvZiBkaXNjcmltaW5hdGlvbi9kZWNpc2l2ZW5lc3MuDQo+ID7CoA0KPiA+ID4gPiBU
aGFua3MgZm9yIHRoZSBpbnB1dCBvbiB0aGUgZGVzaXJhYmxpbGl0eSBvZiBNb25vdGluaWNpdHkr
TE4tSGVscCtIYXJtLg0KPiA+ID4gPiBQZXJzb25hbGx5IEkgdGhpbmsgdGhlIGtub3dsZWRnZSBv
ZiBob3cgdG8gY3JlYXRlIHN5c3RlbSBzYXRpc2Z5aW5nIHRob29zZSB0aHJlZQ0KPiA+ID4gPiBj
cml0ZXJpYSB3b3VsZCBiZSBkZXNpcmFibGUgZXZlbiBpZiB3b3VsZCByZWplY3QgdGhvc2UgZm9y
IE11dHVhbCBNYWpvcml0eS4NCj4gPiA+DQo+ID4gPiBXZWxsLCB3aXRoIHRoaXMgY2hvaWNlIG9m
IGNyaXRlcmlhLCB5b3UgY29uY2VkZSB0aGF0IHlvdSB3b24ndCB1c2UgdGhlIGxvd2VyDQo+ID4g
PiBwcmVmZXJlbmNlcyB0byByZXNwZWN0IGEgbXV0dWFsIG1ham9yaXR5LiBBbmQgd2Uga25vdyB0
aGF0IG1vdmluZyB0b3dhcmRzIENvbmRvcmNldA0KPiA+ID4gd2lsbCBiZSBwcm9ibGVtYXRpYy4g
U28gd2hhdCBpcyBpdCB0aGF0IHdlIGNvdWxkIGRvIHdpdGggdGhlIGxvd2VyIHByZWZlcmVuY2Vz
Pw0KPiA+ID4gTWF5YmUgc29tZSB0aW55IHVzYWdlIG9mIGxvd2VyIHByZWZlcmVuY2VzIHdvdWxk
IHN0aWxsIGJlIHBvc3NpYmxlLiBJdCdzIGFuDQo+ID4gPiBpbnRlcmVzdGluZyBxdWVzdGlvbi4N
Cj4gPsKgDQo+ID4gSSBjb25jZWRlIHRoZSBsb3dlciBwcmVmZXJlbmNlcyB3b3VsZCBub3QgYmUg
dXNlZCB0byByZXNwZWN0IGEgbXV0dWFsIG1ham9yaXR5LA0KPiA+IHRob3VnaCBJIHN0aWxsIHRo
aW5rIHRoZXkgb3VnaHQgdG8gYmUgdXNlZCB0byB3aGF0ZXZlciBleHRlbnQgdGhleSBjYW4gd2l0
aG91dA0KPiA+IHNhY3JpZmljaW5nIGluY2VudGl2ZXMgdG8gYmUgaG9uZXN0L3N0cmF0ZWd5PT5o
b25lc3R5Lg0KPiA+IE5vIGlkZWEgd2hhdCB0aGF0IG1pZ2h0IGJlIHVuZGVyIGF4aW9tIG9mIGRp
c2NyaW1pbmF0aW9uL2RlY2lzaXZlbmVzcyBob3dldmVyLg0KPiANCj4gSW5jaWRlbnRhbGx5LCBJ
IGZvcmdvdCBhbm90aGVyIG1ldGhvZCB0aGF0IHNhdGlzZmllcyB0aGVzZSB0aHJlZS4gQ3JhaWcg
Q2FyZXkncyBJRlBQDQo+IChJbXByb3ZlZCBGUFRQKSBzYXRpc2ZpZXMgdGhlbSB3aGVuIGRlZmlu
ZWQgbGlrZSB0aGlzOg0KPiBJZiAwIG9yIDEgY2FuZGlkYXRlIGhhcyBtb3JlIHRoYW4gYSB0aGly
ZCBvZiB0aGUgZmlyc3QgcHJlZmVyZW5jZXMsIHRoZW4gdGhlIGZpcnN0DQo+IHByZWZlcmVuY2Ug
d2lubmVyIHdpbnMuIE90aGVyd2lzZSwgZWxlY3QgdGhlIHdpbm5lciBvZiB0aGUgcGFpcndpc2Ug
Y29udGVzdCBiZXR3ZWVuDQo+IHRoZSB0b3AgdHdvIGNhbmRpZGF0ZXMgKGJhc2VkIG9uIGZpcnN0
IHByZWZlcmVuY2VzKS4NCj4gDQo+IFNvLCB3ZSBsYWNrIG11dHVhbCBtYWpvcml0eSBldmVuIHdp
dGggdGhyZWUgY2FuZGlkYXRlcywgYnV0IHdlIG5ldmVyIHZpb2xhdGUNCj4gbW9ub3RvbmljaXR5
Lg0KPiANCj4gPiA+ID4gPiA+IFRoZSBuby13aW5uZXIgb3V0Y29tZSBhcHBlYXJzIHRvIGJlIGZv
dW5kIGV4dHJlbWVseSB1bmFjY2VwdGFibGUgdG8gdGhlDQo+ID4gPiA+ID4gPiBwb2ludCBmdWxs
IGRldGVybWluaXNtIGlzIHRocm93biBvdXQgd2l0aG91dCB0aG91Z2h0IHRvIHNpbXBseSB0byBw
cmV2ZW50IGl0LA0KPiA+ID4gPiA+ID4gc28gSSBoYXZlIGJlZW4gdW5hYmxlIHRvIGZpbmQgb3Bp
bmlvbnMgb24gdGhpcyBzY2VuYXJpby4NCj4gPiA+ID4gPg0KPiA+ID4gPiA+IFdlbGwsIGluIG15
IHZpZXcgdGhlIHBvc3NpYmlsaXR5IG9mIGEgbm8td2lubmVyIG91dGNvbWUgbWVhbnMgdGhhdCB3
ZSBkb24ndCBrbm93IGhvdw0KPiA+ID4gPiA+IHRvIGFwcGx5IG91ciBjcml0ZXJpYSBhbnltb3Jl
LiBBIGNyaXRlcmlvbiBsaWtlIExOSGFybSBpcyBzdXBwb3NlZCB0byBndWFyYW50ZWUgdGhhdA0K
PiA+ID4gPiA+IGEgdm90ZXIgd29uJ3QgaHVydCB0aGVtc2VsdmVzIGJ5IHByb3ZpZGluZyBhZGRp
dGlvbmFsIGluZm8uIElmIHRoZXkgcHJvdmlkZSB0aGUgaW5mbw0KPiA+ID4gPiA+IGFuZCBjYXVz
ZSB0aGUgcmVzdWx0IHRvIGJlIChvciBubyBsb25nZXIgYmUpICJuby13aW5uZXIsIiB3aGF0IGRv
ZXMgdGhhdCBtZWFuIHdydA0KPiA+ID4gPiA+IHRoZSBwcmVtaXNlIG9mIHRoZSBjcml0ZXJpb24/
DQo+ID4gPiA+wqANCj4gPiA+ID4gWWVzLCBtb3N0IGNyaXRlcmEgYWJvdXQgd2hpY2ggY2FuZGlk
YXRlIHdpbnMgaGF2ZSB0byBiZSByZWRlZmluZWQgZm9yDQo+ID4gPiA+IGZ1bGx5IGRldGVybWlu
aXN0YyBzeXN0ZW0gc2luY2UgdGhleSBvdGhlcndpc2UgYXV0by1mYWlsLg0KPiA+ID4gPsKgDQo+
ID4gPiA+ID4gRXZlbiBpZiB3ZSBjaG9vc2UgYW4gYW5zd2VyIHRvIHRoYXQgcXVlc3Rpb24sIEkg
cmVhbGx5IGRvdWJ0IHRoaXMgd2lsbCB1bmxvY2sgc29tZQ0KPiA+ID4gPiA+IHZhbHVhYmxlIGNy
aXRlcmlvbiBjb21wYXRpYmlsaXRpZXMgZm9yIHVzLg0KPiA+ID4gPsKgDQo+ID4gPiA+IE1CLUNv
bmRvcmNldCBwb3RlbnRpYWxseSBjb21wYXRpYmxlIHdpdGggUGFydGljaXBhdGluK0xOLUhlbHAr
SGFybSBub3QgYSBiaWcgZGVhbD8NCj4gPiA+ID4gSXQgd291bGQgbWVhbiB0aGF0IGl0IGlzIHRo
ZSBQbHVyYWxpdHktQmVhdGluZyByYXRoZXIgdGhlIHRoZSBwYWlyd2lzZSB3aW5uZXIgY29uY2Vw
dA0KPiA+ID4gPiB0aGF0IGlzIHRoZSBwcm9ibGVtLCB3aGljaCBJIHRoaW5rIHRoZSBmb2xsb3dp
bmcgZXhhbXBsZSBzaG91bGQgbWFrZSBjbGVhcjoNCj4gPiA+DQo+ID4gPiBJdCB3b3VsZCBiZSBh
IGJpZyBkZWFsLCBidXQgSSBkb24ndCBiZWxpZXZlIHRoZSBwcm9wZXJ0aWVzIGFjdHVhbGx5IHdv
dWxkIGJlDQo+ID4gPiBjb21wYXRpYmxlLiBJIHRoaW5rIHlvdSdyZSBzZWVpbmcgdGhlIHByb29m
cyBhbmQgdGhpbmtpbmcgbm9uLWRldGVybWluaXNtIGlzIHRoZQ0KPiA+ID4gcHJvYmxlbSwgYnV0
IEkgdGhpbmsgYnkgbWFraW5nIGFkanVzdG1lbnRzIChsaWtlICJuby13aW5uZXIiIG91dGNvbWUp
IHlvdSBhcmUNCj4gPiA+IHByb2JhYmx5IGp1c3QgbWFraW5nIHRoZSBwcm9vZnMgaGFyZGVyIHRv
IGZpbmQsIG5vdCBlbmFibGluZyBuZXcgY29tcGF0aWJpbGl0aWVzLg0KPiA+wqANCj4gPiBBY3R1
YWxseSB0aGUgb3Bwb3NpdGUsIE1CLUNvbmRvcmNldCBjcml0ZXJpYSBjb21wYXRhYmlsaXR5IGNh
biBiZSBxdWl0ZSBzaW1wbGUNCj4gPiB1bmRlciB0aGUgYXNzdW1wdGlvbiBvZiBmdWxsIGRldGVy
bWluaXNtIGFuZCBhIG5vIHdpbm5lciBzY2VuYXJpby4NCj4gPsKgDQo+ID4gTUItQ29uZG9yY2V0
ICsgTW9ub3RpbmljaXR5ICsgTE4tSGVscCtIYXJtOg0KPiA+IEZpcnN0IGFzc3VtZSBmb3IgZWFj
aCBwcm92aWRlZCBiYWxsb3QgYSBjb21wbGV0ZSByYW5rLW9yZGVyIGlzIGNyZWF0ZWQgYnkNCj4g
PiBhcHBlbmRpbmcgYW55IHVubGlzdGVkIGNhbmRpZGF0ZXMgZXF1YWxseSB0byBib3R0b20gcmFu
ay4NCj4gPiBUaGVuIGZvciB0aGUgcnVsZSBvZiBzZWxlY3Rpbmcgb3VyIG91dGNvbWUsIHdlIGVs
ZWN0IGENCj4gPiBNQi1Db25kb3JjZXQgd2lubmVyIG9mIHRoZSBiYWxsb3RzIGlmIG9uZSBleGlz
dCwgb3RoZXJ3aXNlIG5vb25lIHdpbnMuDQo+ID7CoA0KPiA+IEJlY2F1c2Ugd2UgdXNlIE1ham9y
aXR5LUJlYXQgcmF0aGVyIHRoZSBQbHVyYWxpdHktQmVhdCwNCj4gPiBGb3IgdGhlIGNob2ljZSBv
ZiBhbnkgY2FuZGlkYXRlLCBBLCB3ZSBjYW4gYXJiaXRyYXJpbHkgY2hhbmdlDQo+ID4gdGhlIHJl
bGF0aXZlIG9yZGVyIG9mIGNhbmRpZGF0ZXMgcmFua2VkIHN0cmljdGx5IGJlbG93IEEgd2l0aG91
dA0KPiA+IGNoYW5naW5nIHRoZSBvdXRjb21lIG9mIGFueSBwYWlyd2lzZSBtYXRjaHVwIGludm9s
dmluZyBBLg0KPiA+IFRoaXMgaW1wbGllcyBlbGFib3JhdGluZyBvbiBsYXRlciBwcmVmZXJlbmNl
cyBkb2VzIG5vdCBjaGFuZ2UNCj4gPiBpZiBzb21lIGNhbmRpZGF0ZSBpcyBvciBpcyBub3QgYSBN
Qi1Db25kb3JjZXQgd2lubmVyLA0KPiA+IG9yIGluIHRlcm1zIG9mIHByb2JhYmlsaXR5IGl0IHJl
bWFpbnMgMCBvciAxLA0KPiA+IHNvIHdlIHNhdGlzZnkgYm90aCBMTi1IZWxwK0hhcm0gKExhdGVy
IE5vIENhcmU/KS4NCj4gDQo+IE5vdCBleGFjdGx5ICJubyBjYXJlIjogSXQncyBhbGxvd2VkIGZv
ciBhZGRpbmcgYSBwcmVmZXJlbmNlIGZvciBYIHRvIHNodWZmbGUgdGhlIHdpbg0KPiBhbW9uZyBY
IG9yIGFueSB3b3JzZSBjYW5kaWRhdGUuIEFuZCB0aGUgdm90ZXIgbWlnaHQgYmVuZWZpdCBmcm9t
IGl0Lg0KPiANCj4gSW4gb25lIG9mIG15IGFwcGxpY2F0aW9ucyBJIGhhdmUgYSBmdW4gY3JpdGVy
aW9uLCBSRUxQLCAicmF0aW9uYWwgZWZmZWN0IG9mIGxvd2VyDQo+IHByZWZlcmVuY2VzLCIgd2hp
Y2ggc3RhdGVzIHRoYXQgYWRkaW5nIGEgbG93ZXIgcHJlZmVyZW5jZSBYIHNob3VsZCBlaXRoZXIg
bW92ZSB0aGUNCj4gd2luIHRvIFggb3IgbGVhdmUgdGhlIHJlc3VsdCB1bmNoYW5nZWQuIFRoaXMg
aW1wbGllcyBMTkhlbHAuIEFuZCB0aGVuIEkgaGF2ZSBhDQo+IGhhcmRlciBjcml0ZXJpb24gREVM
UCAoImRlc2lyYWJsZSBlZmZlY3Qgb2YgbG93ZXIgcHJlZmVyZW5jZXMiKSB3aGljaCByZXF1aXJl
cyBib3RoDQo+IExOSGFybSBhbmQgUkVMUC4gKEkgZG9uJ3QgdGhpbmsgYW55dGhpbmcgaW50ZXJl
c3Rpbmcgc2F0aXNmaWVzIERFTFAsIGJ1dCBmYWlsdXJlcw0KPiBjb3VsZCBiZSB1c2VkIGFzIGEg
bWV0cmljLikNCg0KUkVMUCBhbmQgREVMUCBsb29rcyBsaWtlIHRoZSBjcml0ZXJpYSByZXByZXNl
bnRpbmcgdGhlIGJlbmVmaXRzIExOLUhlbHAvSGFybQ0KaXMgb2Z0ZW4gdGhvdWdodCB0byBicmlu
Zy4gVGhleSBzZWVtIGxpa2UgYW1hemluZyBob25lc3R5IGNyaXRlcmEsDQpSRUxQOnMgc2ltcGxp
Y2l0eSBldmVuIG1vcmUgc28uIEdvaW5nIHRvIGhhdmUgdG8gdHJ5IHRvIHNlZSBpZiBteSBhY3R1
YWwNCnBhcml3aXNlIG1hdGNodXAgc3lzdGVtIGZvciBmdWxsIGRldGVybWluaXNtIEkgaGF2ZSBi
ZWVuIHdvcmtpbmcgb24gc2F0aXNmeSB0aGVtLg0KDQoNCj4gPiBGdXRoZXJtb3JlIGJlY2F1c2Ug
aW5jcmVhc2luZyB0aGUgcmFuayBvZiBhIGNhbmRpZGF0ZQ0KPiA+IGNhbm5vdCBtYWtlIHRoZW0g
bG9vc2UgcGFpcndpc2UgbWF0Y2h1cCwNCj4gPiBhbmQgbG93ZXJpbmcgdGhlbSBjYW5ub3QgbWFr
ZSB0aGVtIHdpbiwNCj4gPiBhbiBhbHJlYWR5IE1CLUNvbmRvcmNldCB3aW5uZXIgY2Fubm90IGhh
dmUgdGhlaXINCj4gPiAicHJvYmFiaWxpdHkgb2Ygd2lubmluZyIgbG93ZXJlZCBieSBiZWluZyB1
cHJhbmtlZCwNCj4gPiBhbmQgYSBub24tTUItQ29uZG9yY2V0IHdpbm5lciBjYW5ub3QgaGF2ZSB0
aGVpcg0KPiA+ICJwcm9iYWJpbGl0eSBvZiB3aW5uaW5nIiBpbmNyZWFzZWQgYnkgYmVpbmcgZG93
bnJhbmtlZCwNCj4gPiBzbyB3ZSBhbHNvIGhhdmUgbW9ub3RvbmljaXR5Lg0KPiA+wqANCj4gPiBU
aGlzIHByb29mIHRha2VzIGZ1bGwgYWR2YW50YWdlIG9mIHRoZSBwcm9jZXNzIGZvciBpbmZlcmlu
ZyBwcmVmZXJlbmNlcw0KPiA+IGZyb20gdGhlIGJhbGxvdHMsIGluIGFkZGl0aW9uIHRoZSB0aGUg
ZnVsbHkgZGV0ZXJtaW5pc3RpYw0KPiA+IGVtYmFyY2Ugb2YgYSBubyB3aW5uZXIgb3V0Y29tZS4N
Cj4gDQo+ID4gUC5TOiBUaGUgYWJvdmUgZXhhbXBsZSBzeXN0ZW0gb2YgZWxlY3RpbmcgYSBNQi1D
b25kb3JjZXQgd2lubmVyIG9mIHRoZSBiYWxsb3RzIHdoZW4gb25lDQo+ID4gZXhpc3QsIGFuZCBv
dGhlcndpc2Ugbm8gd2lubmVyLCBhY3R1YWxseSBoYXZlIHRlcnJpYmxlIHN0cmF0ZWd5IHByb2Js
ZW1zIGlmIGFueSB2b3Rlcg0KPiA+IGNhbid0IGJlIGFzc3VtZWQgKHdpdGhvdXQgcXVlc3Rpb24g
bm9yIGRvdWJ0KSB0byB0aGluayB0aGUgbm8gd2lubmVyIG91dGNvbWUgYXMNCj4gPiBiYWQgYXMg
bGV0dGluZyBhIHVuaXF1ZSBwYXJldG8gbG9vc2VyIHdpbi4gKEFuZCBldmVuIHRoZW4gbm90IHRo
YXQgZ3JlYXQuKQ0KPiANCj4gT2ssIEkgc2VlIHdoYXQgeW91J3JlIHNheWluZyB3aXRoIHRoaXMg
cHJvb2YuDQo+IA0KPiA+IFlvdSBhbHNvIGdldCBzb21lIHZlcnNpb25zIG9mIFBhcnRpY2lwYXRp
b24gd2l0aCB0aGUgYWJvdmUgc3lzdGVtLA0KPiA+IGJ1dCB0byBwcm92ZSBpdCBnZXRzIHNvbWV3
aGF0IG1lc3N5Lg0KPiA+IEkgZG8gbm90IGtub3cgaWYgdGhlIGV4YW1wbGUgc3lzdGVtIGFib3Zl
IHNhdGlzZnkgQUZCLg0KPiA+IEl0IGdldHMgbXVjaCBtZXNzaWVyIGlmIHdlIGFsc28gd2FudCB0
byBwcm92ZSBjb21wYXRhYmlsaXR5DQo+ID4gZm9yIGEgZ2VuZXJhbGl6YXRpb24gdGhhdCBpbmNs
dWRlcyB0cmVhdGluZyB0aGUgbm8gd2lubmVyIG91dGNvbWUNCj4gPiBhcyBhICh2aXJ0dWFsPykg
Y2FuZGlkYXRlLg0KPiANCj4gU2luY2UgdGhlIGJhbGxvdHMgZG9uJ3QgY29sbGVjdCBpbmZvIG9u
IHdoYXQgYW55b25lIHRoaW5rcyBhYm91dCB0aGUgbm8td2lubmVyDQo+IG91dGNvbWUsIEkgZG9u
J3QgdGhpbmsgdGhhdCBjYW4gYmUgZG9uZS4gWW91IGNhbiBnbyBiYWNrIHRvIHJlcXVpcmluZyB0
aGF0IG5vLXdpbm5lcg0KPiBvdXRjb21lcyBhcmUgYWN0dWFsbHkgYSBwcm9iYWJpbGl0eSBkaXN0
cmlidXRpb24sIGJ1dCB0aGVuIGluY29tcGF0aWJpbGl0eSBwcm9vZnMNCj4gd2lsbCBzdGFydCB0
byB3b3JrIGFnYWluLg0KDQpJbiB0aGUgYWJvdmUgZXhhbXBsZSBpdCBpcyBhc3N1bWVkIGV2ZXJ5
b25lIHByZWZlcmVzIGFueSBjYW5kaWRhdGVzIGFib3ZlIG5vIHdpbm5lciwNCmFuZCBzaW5jZSBp
dCBpcyBwcmFjdGljYWxseSBhbHdheXMgYXNzdW1lZCBpbXBsaWNpdGx5IHdoZW5ldmVyIA0KYXhp
b20gb2YgZGlzY3JpbWluYXRpb24vZGVjaXNpdmVuZXNzIGlzIHVzZWQgd2l0aG91dCBhIG5vIHdp
bm5lciBvcHRpb24gb24gdGhlIGJhbGxvdHMsDQpJIHRoaW5rIGl0IGlzIGEganVzdGlmaWVkIG9u
ZSB0byBtYWtlIGFzIHdlbGwgZm9yIHB1cnBvc2Ugb2YgcHJvdmluZyBjb21wYXRhYmlsaXR5Lg0K
U28gdGhlIHBhcnQgYWJvdXQgZ2VuZXJhbGl6aW5nIGludG8gdHJlYXRpbmcgdGhlIG5vIHdpbm5l
ciBvdXRjb21lIGFzIGEgdmlydHVhbCBjYW5kaWRhdGUsDQp0aGF0IGlzIGFkZGluZyB0aGUgb3V0
Y29tZSB0byB0aGUgYmFsbG90IGZvciByYW5raW5nIGRlc3BpdGUgbm90IGJlaW5nIGEgY2FuZGlk
YXRlLA0KaXMgd2hhdCB3b3VsZCBtYWtlIGl0IG1lc3N5IHNpbmNlIHdlIGdldCBzbyBtYW55IGVk
Z2UgY2FzZXMgZG8gdG8gbGFjayBvZg0KZnVsbCBvdXRjb21lIHN5bW1ldHJ5Lg0KSSB0aGluayB0
aGF0IGEgbm8gd2lubmVyIHNob3VsZCBhbHdheXMgYmUgYW4gb3B0aW9uIHdoZW5ldmVyIHZvdGVy
cyBjYW4NCnByZWZlciBpdCB0byBzb21lIGNhbmRpZGF0ZSAoYW5kIGFsbW9zdCBhbGwgc3RyYXRl
Z3kgYXJvdW5kIHByZXZlbnRpbmcgImJhZCIgY2FuZGlkYXRlcw0KZnJvbSB3aW5pbmcgY2FuIGJl
IHNvbHZlZCB3aXRoIHN1Y2ggYSBzaW1wbGUgbWVhc3N1cmUsDQp5b3UgZG9uJ3QgZXZlbiBuZWVk
IHRvIGJlIGZ1bGx5IGRldGVybWluaXN0aWMpLg0KDQo+IFRoZSBtZXRob2QgKHRoYXQgeW91IHN0
YXRlZCkgcHJvYmFibHkgZG9lcyBzYXRpc2Z5IEFGQiBpZiB5b3UncmUgdXNpbmcgdGhlIHNhbWUN
Cj4gZ2VuZXJhbGl6YXRpb24gdGhhdCB0cmFuc2l0aW9ucyBiZXR3ZWVuICJuby13aW5uZXIiIGFu
ZCAidGhlcmUgaXMgYSB3aW5uZXIiIGFyZQ0KPiBvdXRzaWRlIHRoZSBzY29wZSBvZiB0aGUgY3Jp
dGVyaW9uLg0KDQpBbGwgbXkgYXRlbXB0cyB0byBwcm92ZS9kaXNwcm92ZSBBRkIgY29tcGF0YWJp
bGl0eSBpbiBmdWxseSBkZXRlcm1pbmlzdGljIHN5c3RlbXMNCmJhc2ljYWxseSBjb21lcyBkb3du
IHRvIGlmIEFGQiBpcyBjb21wYXRpYmxlIHdpdGggZnVsbHkgZGV0ZXJtaW5pc3RpYyBzeXN0ZW1z
IGF0IGFsbCwNCndoaWNoIEkgYW0gY3VycmV0bHkgc3R1Y2sgb24uIA0KKEkgcHJvYmFibHkganVz
dCBuZWVkIGEgYmV0dGVyIG1ldGhvZCwgYmVlbiB0cnlpbmcgdG8gYWRhcHQgdGhlIHN0cmF0ZWd5
DQptZW50aW9uZWQgb24gaHR0cHM6Ly9yYW5nZXZvdGluZy5vcmcvRkJDc3VydmV5Lmh0bWwgYnV0
IG5vdCBzdWNjZWRlZCwNCm9yIG1heWJlIGp1c3QgZmlndXJlIG91dCBob3cgdG8gbWFrZSB1c2Ug
b2YgaXQgcHJvcGVybHksDQphcyBjcmVhdGluZyBwcm9vZnMgaGF2ZSBuZXZlciBiZWVuIG15IHN0
cm9uZyBzdWl0LikNCg0KPiA+ID4gPiBZZXMgdGhlIGV4YW1wbGUgaXMgdHJpdmlhbGx5IHByZXZl
bnRlZCBieSBhZGRpbmcgYSBjb3VudGluZyBydWxlDQo+ID4gPiA+IHRvIGFwcGVuZCBhbGwgdW5s
aXN0ZWQgY2FuZGlkYXRlcyBlYXVhbGx5IHRvIGJvdHRvbSByYW5rLA0KPiA+ID4gPiB0byBkaWZm
ZXJlbnRpYXRlIHRoZSBjb25jZXB0IG9mIHBhcml3aXNlIHdpbm5lciBmcm9tIE1pbm9yaXR5IHZz
IE1ham9yaXR5LUJlYXRpbmcuDQo+ID4gPiA+DQo+ID4gPiA+IEJlaW5nIGFibGUgdG8gc2hvdyBj
b21wYXRhYmlsaXR5IGJldHdlZW4gYW4gImFsbCBwYWlyd2lzZSBtYXRjaHVwIHdpbm5lciIgY3Jp
dGVyaWENCj4gPiA+ID4gYW5kIGFueSBvZiB0aGUgY3JpdGVyaWEgdGhlIFBCLUNvbmRvcmNldCBj
cml0ZXJpYSBpcyBpbmNvbXBhdGlibGUgd2l0aA0KPiA+ID4gPiBsb29rcyB0byBtZSBsaWtlIHNv
bWV0aGluZyBvZiBncmVhdCB2YWx1ZS4NCj4gPiA+DQo+ID4gPiBIb3cgc3Ryb25nbHkgZG8geW91
IHN0aWxsIGJlbGlldmUgdGhhdCwgaWYgdGhlICJ1bmxpc3RlZCA9IGJvdHRvbSIgcnVsZSBpcyB1
c2VkPw0KPiA+wqANCj4gPiBJZiB0aGlzIHNtYWxsIGRldGFpbCBvZiBNYWpvcml0eSB2cyBQbHVy
YWxpdHkgaXMgYWxsIGl0IHRha2VzIHRvIGNyZWF0ZSBhIHN5c3RlbQ0KPiA+IHdoZXJlIGNvbXBs
ZXRlICgrIHN0cmljdCkgaG9uZXN0eSBpcyBhbHdheXMgYSB1bmlxdWUgc3Ryb25nIG5hc2ggZXF1
aWxpYnJpdW0gd2hlbiBhDQo+ID4gYWxsIHBhaXJ3aXNlIG1hdGNodXAgd2lubmVyIG9mIHRoZSB0
cnVlIHByZWZlcmVuY2VzIGV4aXN0DQo+ID4gKHdoaWNoIGl0IHN1cHBvc2VkbHkgYWxtb3N0IGFs
d2F5cyBkb2VzIGlmIG15IHVuZGVyc3RhbmRpbmcgaXMgY29ycmVjdCksDQo+ID4gYW5kIGhvbmVz
dHkgaW5jZW50aXZlcyBvbiBwYXIgd2l0aCBBcHByb3ZhbCB2b3Rpbmcgd2hlbiBvbmUgZG9lcyBu
b3QsDQo+ID4gd2hpbGUgc3RpbGwgcmV0YWluaW5nIGF4aW9tIG9mIGRpc2NyaW1pbmF0aW9uL2Rl
c2Npc2l2ZW5lc3MsDQo+ID4gdGhlbiBJIHNheSBpdCBpcyB3b3J0aCBrbm93aW5nIGFib3V0LA0K
PiA+IGV2ZW4gaWYgb25seSBmb3IgYSBiYXNlbGluZSBmb3IgY29tcGFyaW5nIG90aGVyIHN5c3Rl
bXMuDQo+IA0KPiBPaywgSSBzZWUuDQo+IA0KPiBLZXZpbg0KPiB2b3RpbmdtZXRob2RzLm5ldA0K
PiANCiBUaGFua3MgYWdhaW4gZm9yIGFsbCB0aGUgaW5wdXQuDQpJdCBoYXZlIGJlZW4gdmVyeSB1
c2VmdWwuDQoNCkd1c3Rhdg0KLS0tLQpFbGVjdGlvbi1NZXRob2RzIG1haWxpbmcgbGlzdCAtIHNl
ZSBodHRwczovL2VsZWN0b3JhbWEuY29tL2VtIGZvciBsaXN0IGluZm8K