Re: Automatic LIIA Independent of Locking Order

Kevin Venzke via Election-Methods <[email protected]> Fri, 8 May 2026 20:06:47 +0000 (UTC)
Newsgroups gmane.politics.election-methods
Message-ID <[email protected]>
SGkgR3VzdGF2LAoKTGUgbWFyZGkgNSBtYWkgMjAyNiDDoCAwMzoyMjozOCBVVEPiiJI1LCBHdXN0
YXYgVGhvcnplbiB2aWEgRWxlY3Rpb24tTWV0aG9kcyA8ZWxlY3Rpb24tbWV0aG9kc0BsaXN0cy5l
bGVjdG9yYW1hLmNvbT4gYSDDqWNyaXQgOgo+ID4gPiBUaGVyZSBpcyBvbmUsIGFsdGhvdWdoIEkg
ZG9uJ3Qga25vdyBpZiBpdCBpcyBvbiBlbGVjdG93aWtpLgo+ID4gPiBBcHByb3ZhbCBzYXRpc2Zp
ZWQgY2FyZGluYWwgdmVyc2lvbnMgb2YgQUZCK01vbm8rTXV0dWFsIE1ham9yaXR5K0xOLUhlbHAs
Cj4gPiA+IGJ1dCBpZiBkaXNhcHByb3ZhbCBiYWxsb3RzIGFyZSB1c2VkIHJhdGhlciB0aGVuIGFw
cHJvdmFsIGJhbGxvdHMsCj4gPiA+IHdlIGNhbiBjcmVhdGUgdGhlIGZvbGxvd2luZyBzeXN0ZW06
Cj4gPiA+IEV2ZXJ5IHZvdGVyIG1hcmtlcyBhbnkgY2FuZGlkYXRlcyBvZiB0aGUgY2hvaWNlIGFz
IGRpc2FwcHJvdmVkLAo+ID4gPiB0aGUgc3VtIG9mIGRpc2FwcHJvdmFscyBmb3IgZWFjaCBjYW5k
aWRhdGUgaXMgY2FsY3VhbHRlZCwKPiA+ID4gZXZlcnkgY2FuZGlkYXRlIGlzIGFzc2lnbmVkIGEg
c2NvcmUgZXF1YWwgdG8gdGhlaXIgc3VtIG9mIGRpc2FwcHJvdmFscwo+ID4gPiBtdWx0aXBsaWVk
IGJ5IG5lZ2F0aXZlIG9uZS4KPiA+ID4gVGhlIGNhbmRpZGF0ZSB3aXRoIHRoZSBoaWdoZXN0IHNj
b3JlIHdpbnMuCj4gPiA+IFRoaXMgc2F0aXNmaWVzIEFGQitNb25vK011dHVhbCBNYWpvcml0eStM
Ti1IYXJtCj4gPiA+IGFuZCBhbHRob3VnaCBpdCBpcyBmdW5jdGlvbmFsbHkgaWRlbnRpY2FsIHRv
IGFwcHJvdmFsLgo+ID4KPiA+IFRoYXQgc2VlbXMgcHJvYmxlbWF0aWMuIElmIEkgdW5kZXJzdGFu
ZCB5b3UgY29ycmVjdGx5LCB5b3UgZGVyaXZlZCBvbmUgbWV0aG9kIGZyb20KPiA+IGFub3RoZXIs
IGJ1dCBib3RoIHlpZWxkIGV4YWN0bHkgdGhlIHNhbWUgcmVzdWx0cy4gQnV0IHlvdSBzYXkgdGhl
eSBkb24ndCBoYXZlIHRoZQo+ID4gc2FtZSBwcm9wZXJ0aWVzLiBJJ2QgYmUgaW5jbGluZWQgdG8g
Y29uY2x1ZGUgZnJvbSB0aGlzIHRoYXQgQXBwcm92YWwgbXVzdCBhbHJlYWR5Cj4gPiBzYXRpc2Z5
IHRoZSAiY2FyZGluYWwiIExOSGFybSAodGhvdWdoIEkgZG9uJ3Qga25vdyB0aGUgZGVmaW5pdGlv
biBvZiB0aGF0KS4KPsKgCj4gVGhpcyBpcyBiZWNhdXNlIHRoZSBjYXJkaW5hbCBnZW5lcmFsaXph
dGlvbiAod2VsbCwgYWxsIEkgaGF2ZSBzZWVuKQo+IHRyZWF0cyBsb3dlciBzY29yZSBhcyB0aGUg
ImxhdGVyIiBwYXJ0LAo+IG1lYW5pbmcgZ2l2aW5nIG9uZSBtb3JlIGNhbmRpZGF0ZSBhIGRpc2Fw
cHJvdmFsLCBhIG1pbnVzIDEsCj4gY291bnRzIGFzIGdpdmluZyBhICJsYXRlciIgY2FuZGlkYXRl
IGEgbWludXMgMSwKPiB3aGljaCBjYW4ndCBodXJ0IGFuICJlYXJsaWVyIiBjYW5kaWRhdGUsIGJ1
dCBpdCBjYW4gaGVscCB0aGVtLgo+IFRoaW5ncyBsaWtlIHRoaXMgb25seSBoYXBwZW5zIGJlY2F1
c2UgTE4tSGVscC9IYXJtIGlzCj4gZGVwZW5kZW50IG9uIGhvdyB0aGUgYmFsbG90cyBhcmUgY291
bnRlZCBhbmQgaW5mZXJlbnNlIHJ1bGVzIHVzZWQsCj4gc28gdGhlIG1hdGggYmVoaW5kIHRoZSBj
cml0ZXJpYSBjYW4gY2hhbmdlLgo+wqAKPiBGb3IgZXhhbXBsZSBpZiBhIChpbiBteSBvcGluaW9u
IHNpbGx5KSBpbmZlcmVuY2UgcnVsZSBmb3IgY291bnRpbmcKPiBiYWxsb3RzIHdhcyB0aGUgYWxs
IHVubWVudGlvbmVkIGNhbmRpZGF0ZXMgYXJlIHRvIGJlIGNvbnNpZGVyZWQKPiBlcXVhbGx5IHRv
cCByYW5rZWQgYWJvdmUgYWxsIG1lbnRpb25lZCBjYW5kaWRhdGVzLAo+IHRoZW4gdGhpcyB3b3Vs
ZCBhZmZlY3QgTE4tSGVscC9IYXJtIGNvbXBsaWFuY2UsCj4gYXMgZXh0ZW5kaW5nIG9uY2UgbGlz
dGVkIHByZWZlcmVuY2VzIGZvciBvbmUgbW9yZSBjYW5kaWRhdGUKPiBpbiB0b3AgZG93biBvcmRl
ciB3b3VsZCB1bmRlciBhIHJ1bGUgbGlrZSB0aGlzIG1vdmUgdGhlbSBmcm9tIHRvcCB0byBib3R0
b20uCj4gVGhlIGRpc2FwcHJvdmFsIHZvdGluZyBpcyBlc3NlbnRpYWxseSB0aGlzLAo+IGl0IGNo
YW5nZXMgaG93IHRoZSBiYWxsb3RzIGFyZSBjb3VudGVkIGluIGEgd2F5IHRoYXQgY2hhbmdlcyBM
Ti1IZWxwL0hhcm0gY29tcGxpYW5jZS4KPsKgCj4gUGVyc29uYWxseSBJIHRoaW5rIHRoZSBjcml0
ZXJpYSBzaG91bGQgYmUgZGVmaW5lZCAoY2xhcmlmaWVkPykKPiBhcyByYW5rb3JkZXIgYmFsbG90
cyBleGNsdXNpdmUgZm9yIGEgc3BlY2lmaWMgaW5mZXJlbmNlIHJ1bGUuCj4gVGhlIGNhcmRpbmFs
IGdlbmVyYWxpemF0aW9ucyBhcmUgZmluZSwKPiBidXQgSSB3b3VsZCBjYWxsIGZvciBhIHBhaXIg
b2YgZXhwbGljaXRseSByYW5rb3JkZXIgZXhjbHVzaXZlIG9uZQo+IGFuZCBhbiBleHBsaWNpdGx5
IHNlcGFyYXRlIGNhcmRpbmFsIHBhaXIgb2YgY3JpdGVyaWEuCj7CoAo+IEFzIGZvciAidGhleSBi
b3RoIHlpZWxkIHRoZSBzYW1lIHJlc3VsdCIgaXMgbm90IHN0cmljdGx5IHRoZSBjYXNlLgo+IFRo
ZSBzdHJhdGVneSBmb3IgeW91ciBvcHRpbWFsIGRpc2FwcHJvdmFsIHZvdGUgY2FuIGJlIGNhbGN1
bGF0ZWQKPiBieSBhIGJpamVjdGl2ZSBmdW5jdGlvbiBvZiB5b3VyIHN0cmF0ZWdpY2FsbHkgb3B0
aW1hbCB2b3RlIGluIEFwcHJvdmFsLAo+IGJ1dCBpZiB2b3RlcnMgcHJvdmlkZSB0aGUgc2FtZSBi
YWxsb3RzIGluIEFwcHJvdmFsIGFuZCBEaXNhcHByb3ZhbCwKPiAoSSBkb3VidCB0aGlzIHdpbGwg
aGFwcGVuLCBidXQgdGhhdCBpcyB3aGF0IGl0IHRha2VzIHRvIGNvbXByZSBvdXRzaWRlIHN0cmF0
ZWd5LCkKPiB0aGVuIHRoZSBvdXRjb21lIGNhbiBiZSBleHBlY3RlZCB0byBiZSBkaWZmZXJlbnQu
CgpJIG1heSBvciBtYXkgbm90IGJlIGZvbGxvd2luZyB5b3UuIEl0IGtpbmQgb2Ygc291bmRzIGxp
a2UgeW91J3JlIHNheWluZyB0aGF0IHlvdSdyZQpmbGlwcGluZyB0aGUgZGlyZWN0aW9uIG9mIHRo
ZSBiYWxsb3QncyByYXRpbmdzLCBpbiBvcmRlciB0byBnZXQgdGhlIG9wcG9zaXRlIG9mCkxOSGFy
bS9MTkhlbHAuIEJ1dCBpZiB5b3UgZG8gdGhpcywgc3VyZWx5IHRoZSBmbGlwcGVkIG1ldGhvZCBm
YWlscyBtb3N0IG9mIHRoZSBvdGhlcgpjcml0ZXJpYSB5b3Ugd2VyZSB0cnlpbmcgdG8ga2VlcC4g
SXQgd29uJ3QgYmUgbW9ub3RvbmUgaWYgeW91ciB0b3Agc2xvdCBpcyB3aGVyZSB5b3UKcHV0IGRp
c2FwcHJvdmVkIGNhbmRpZGF0ZXMuCgo+ID4gUGVyc29uYWxseSwgSSB3b24ndCBhdHRyaWJ1dGUg
cmFuayBiYWxsb3QgY3JpdGVyaWEgdG8gYSBtZXRob2QgdW5sZXNzIHRoZXJlJ3Mgc29tZQo+ID4g
cmFuayBiYWxsb3QgZXF1aXZhbGVudCBvZiBpdC4gSWYgeW91IGFwcGx5IHRoZW0gdG8gYW4gYXBw
cm92YWwgYmFsbG90LCBzbyB0aGF0IHlvdQo+ID4gYWxsb3cgdGhlIHByZW1pc2UgdGhhdCB2b3Rl
cnMgb25seSBldmVyIGhhdmUgdHdvIGxldmVscyBvZiBwcmVmZXJlbmNlLCBwcm9iYWJseSBtYW55
Cj4gPiBzdHJhbmdlIHRoaW5ncyBiZWNvbWUgY29tcGF0aWJsZS4gKEl0IHdvdWxkIGJlIGhhcmQg
dG8gbmFtZSBhbnkgaW5jb21wYXRpYmlsaXR5Cj4gPiBwcm9vZnMgdGhhdCB3b3VsZCBzdGlsbCB3
b3JrLikKPsKgCj4gWWVzLGxpa2UgYWx3YXlzIGVsZWN0aW5nIE1ham9yaXR5LUJlYXQgQ29uZG9y
Y2V0IHdpbm5lcnMgb2YgdGhlIGJhbGxvdHMgd2hlbiBvbmUgZXhpc3QuCj4gQ29uZGl0aW9uaW5n
IG9uIHJlc3RpY3RlZCB2b3RlciBwcmVmZXJlbmNlcyBzZWVtIHRvIGJlIGEgcHJvYmxlbSBpbiBn
ZW5lcmFsLAo+IGJ1dCBtYW55IGltcGxpY2l0IGFzc3VtcHRpb25zIGFyZSBvZnRlbiBtYWRlLgo+
IFByb2JhYmx5IHRoZSBtb3N0IGNvbW1vbiBvbmUgaXMgdGhhdCB2b3RlcnMgcHJlZmVyIGVsZWN0
aW5nIGFueSBjYW5kaWRhdGUgb3Zlcgo+IGEgbm8gd2lubmVyIHNjZW5hcmlvLCBubyBtYXR0ZXIg
aG93IHRlcnJpYmxlIHRoZXkgdGhpbmsgdGhhdCBjYW5kaWRhdGVzIGFyZS4KClN0cmFuZ2UgaWYg
dGhpcyBpcyBjb21tb24uCgo+ID4gPiBJdCBhcHBlYXJzIHRvIG1lIHNvIGZhciB0aGF0IGJhc2lj
bHkgZXZlcnkgc3lzdGVtIHNhdGlzZnlpbmcKPiA+ID4gTW9ubytMTi1IZWxwL0hhcm0gaGF2ZSBh
IE1vbm8rTE4tSGFybS9IZWxwIGVxdWl2YWxlbnQsCj4gPgo+ID4gVGhhdCBzZWVtcyB1bmxpa2Vs
eSB0byBtZSBiZWNhdXNlIG1vcmUgTE5IZWxwIG1ldGhvZHMgdGhhbiBMTkhhcm0gbWV0aG9kcyBo
YXZlIGJlZW4KPiA+IGRpc2NvdmVyZWQuIEl0J3MgbW9yZSBpbnR1aXRpdmUgdGhhdCBhIG1ldGhv
ZCB3b3VsZCAid2FudCIgdG8gdmlvbGF0ZSBMTkhhcm0gdGhhbgo+ID4gTE5IZWxwLgo+ID4KPiA+
IFRha2UgQnVja2xpbiBmb3IgZXhhbXBsZSwgY291bGQgdGhlcmUgYmUgYSBMTkhhcm0gY291bnRl
cnBhcnQgdG8gdGhhdD8KPsKgCj4gTG9va2luZyBhdCB0aGUgZGVmaW5pdGlvbiBvZiBidWNrbGlu
IG9uIGh0dHBzOi8vZWxlY3Rvd2lraS5vcmcvd2lraS9CdWNrbGluX3ZvdGluZwo+IHRoZSBwYWdl
IGNvdWxkIGJlIG1vcmUgY2xlYXIgYWJvdXQgd2hldGhlciB0aGUgc3lzdGVtIGRlc2NyaWJlZCBv
biBwYWdlCj4gYWN0dWFsbHkgc2F0aXNmaWVzIEFGQiAoSXQgY2xhaW1zIGdyYWRlZCBCdWNrbGlu
IHVzdWFsbHkgY29tcGx5IGJldHRlciB3aXRoIGl0LAo+IGFuZCBhIHNlcGFyYXRlIGxpbmsgZm9y
IGdyYWRlZCBCdWNrbGluIGlzIGFsc28gcHJpdmlkZWQpLgo+IEkgZG9uJ3Qgc2VlIGhvdyB3ZSBj
YW4gaGF2ZSBMTi1IZWxwIHNpbmNlIHlvdSBjYW4ndCBldmVuIGV4dGVuZCB5b3VyCj4gbGF0ZXIg
cHJlZmVyZW5jZXMgd2l0aG91dCBjb25kaXRpb25pbmcgb24gcHJlZmVyZW5jZXMgYW5kL29yIGJy
ZWFraW5nCj4gY2FuZGlkYXRlIHN5bW1ldHJ5IGJ5IHJlc3RpY3RpbmcgdGhlIG51bWJlciBvZiBw
YXJ0aWNpcGF0aW5nIGNhbmRpZGF0ZXMuCgpJZiB5b3Ugd2FudCBBRkIgdGhlbiB5b3UgaGF2ZSB0
byBiZSBjYXJlZnVsIGhvdyB0byBjb3VudCBlcXVhbCByYW5raW5nLiBZb3UgdXNlIHdoYXQKd2Ug
dXNlZCB0byBjYWxsICJFUi1CdWNrbGluICh3aG9sZSkiLiBJZiBhIGJhbGxvdCBsb29rcyBsaWtl
IHRoaXM6CkE9Qj5DPkQ+RS4uLgpUaGVuIHRoZSAiQyIgcHJlZmVyZW5jZSBzaG91bGQgYmUgYWRk
ZWQgaW4gb25seSBmcm9tIHRoZSB0aGlyZCByb3VuZCwgbm90IHRoZQpzZWNvbmQuIFRoaXMgaXMg
YWxzbyBuZWVkZWQgZm9yIG1vbm90b25pY2l0eS4KCkJ1Y2tsaW4gY2xlYXJseSBzYXRpc2ZpZXMg
TE5IZWxwLiBJIGRvbid0IHVuZGVyc3RhbmQgd2hhdCB5b3UncmUgc2F5aW5nIGFib3V0IHlvdXIK
cmVzZXJ2YXRpb25zIGFib3V0IHRoaXMsIGNhbiB5b3UgY2xhcmlmeT8gQXJlIHlvdSB0aGlua2lu
ZyBhYm91dCByYXRpbmdzIGJhbGxvdHM/CgpJbiBCdWNrbGluIHdlIGdyYWR1YWxseSBhZGQgaW4g
bW9yZSBhcHByb3ZhbHMgZm9yIGVhY2ggY2FuZGlkYXRlIHVudGlsIHNvbWVvbmUKcmVhY2hlcyBt
YWpvcml0eS4gVGhlIGFkZGl0aW9ucyBvZiB0aGUgYXBwcm92YWwgYXJlIG5vdCBjb25kaXRpb25h
bCBvbiBhbnl0aGluZwpiZXNpZGVzIHdoYXQgcm91bmQgd2UgYXJlIG9uLgoKSSB3b24ndCBjb21t
ZW50IG9uIGdyYWRlZCBCdWNrbGluICh0aG91Z2ggSSB1bmRlcnN0YW5kIHdoeSBBRkIgd291bGQg
YmVjb21lIGNsZWFyZXIKaW4gdGhhdCBjb250ZXh0KSwganVzdCB0aGUgcmFuayB2ZXJzaW9uIGFi
b3ZlLiBUaG91Z2ggZm9yIExOSGVscCBpdCBkb2Vzbid0IG1hdHRlcgpob3cgZXF1YWwgcmFua2lu
ZyBpcyB0cmVhdGVkIG9yIGlmIGl0J3MgZXZlbiBhbGxvd2VkLiBZb3UganVzdCBuZWVkIHRvIGJl
IGFibGUgdG8KdHJ1bmNhdGUgbG93ZXIgcHJlZmVyZW5jZXMuCgo+IElmIEFGQitNb25vK0xOLUhl
bHArTXV0dWFsIE1ham9yaXR5IGFyZSBoZWxkIGJ5IHNvbWUgdmVyc2lvbgo+IGFsbG93aW5nIGZv
ciB1bmxpbWl0ZWQgcmFua29yZGVyIGFyZSBhbGxvd2VkLAo+IHRoZW4gSSBzYXkgSSBkbyB0aGlu
ayBhbiBMTi1IYXJtIGNvdW50ZXJwYXJ0IGNhbiBiZSBmb3VuZCwKPiB0aG91Z2ggSSBjYW4ndCBz
YXkgaXQgd29uJ3QgYmUgbGlrZSB3aGF0IERpc2FwcHJvdmFsIGlzIHRvIEFwcHJvdmFsCj4gd2l0
aG91dCBrbm93aW5nIHRoZSBkZWZpbml0aW9uIG9mIHRoZSBzeXN0ZW0gaW4gcXVlc3Rpb24sCj4g
c2luY2UgIkJ1Y2tsaW4iIGNsZWFybHkgaXMgbm90IG9uZSBzeXN0ZW0sCj4gYnV0IGEgY2F0ZWdv
cnkgb2YgKHJhbmtvcmRlcj8gY2FyZGluYWw/KSBvbmVzLgoKQXQgb25lIHBvaW50IG9uIHRoaXMg
bGlzdCB0aGVyZSB3YXMgYW4gYXR0ZW1wdCB0byB1bmlmeSByYW5rIGFuZCBjYXJkaW5hbCBCdWNr
bGluCnVuZGVyIGEgc2luZ2xlIChkaWZmZXJlbnQhKSBuYW1lLiBIb3dldmVyLCBCdWNrbGluIGlz
IHVzdWFsbHkgdGhvdWdodCBvZiBhcyBhICpyYW5rKgpiYWxsb3QgbWV0aG9kLiBUaGUgcmF0aW5n
IG1ldGhvZHMgc2hvdWxkIGJlIGNhbGxlZCAibWVkaWFuIHJhdGluZyIgb3Igc29tZXRoaW5nCmVs
c2UsIGluIG15IG9waW5pb24uCgo+IEkgd291bGQgYmUgZWFnZXIgdG8gbG9vayBmb3IgYSBMTi1I
YXJtIHZlcnNpb24gc2luY2UgaXQgbG9va3MgbGlrZQo+IGEgZGVjZW50IHN0YXJ0aW5nIHBvaW50
IGZvciB0aGUgQUZCK01vbm8rTXV0dWFsIE1ham9yaXR5K0xOLUhlbHAvSGFybQo+IEkgd291bGQg
bGlrZSB0byBoYXZlIGZvciBiYXNlbGluZSBjb21wYXJpc29uLAo+IHNpbmNlIEkgcmVjZW50bHkg
Zm91bmQgYSBjb3VudGVyZXhhbXBsZSB0byBteSBsYXN0IGlkZWEgZm9yCj4gYSBNTVBPIG9yZGVy
aW5nIG9mIFJhbmtlZCBQYWlycyB2YXJpYW50IChBRkIrTW9ubyBmYWlsdXJlIGFzIHlvdSBwcmVk
aWN0ZWQpLgo+wqAKPiA+ID4gc28ganVzdCBsaWtlIE1heE1pbihTdXBwb3J0IExvZ2ljYWxPciBF
cXVhbGl0eSkgdHVybmVkIG91dCB0bwo+ID4gPiBiZSBhIExOLUhlbHAgdmVyc2lvbiBvZiBNTVBP
LAo+ID4gPiB0aGVyZSBzaG91bGQgYmUgYSBMTi1IYXJtIHZlcnNpb24gb2YgTWluR1Mgc2ltaWxh
ciB0byBNTVBPLgo+ID4KPiA+IENvbnNpZGVyaW5nIHRoZSBkZWZpbml0aW9ucyBvZiBNaW5HUyBh
bmQgTU1QTywgSSB3b3VsZCBzYXkgdGhleSBhcmUgTE5IZWxwL0xOSGFybQo+ID4gY291bnRlcnBh
cnRzIGFscmVhZHkuIFRoZSBpc3N1ZSBpcyBqdXN0IHRoYXQgTWluR1MgbmVlZGVkIGEgdHdlYWsg
dG8gc2F0aXNmeSBBRkIuCj7CoAo+IERpZCBJIG1pc3N1bmRlcnN0YW5kIHRoZSBwcmV2aW91cyB0
aHJlYWQ/Cj4gSSBnb3QgdGhlIGltcHJlc3Npb24gTWluR1Mgd2FzIGEgQUZCK01vbm8rTE4tSGVs
cCBmcm9tIHdoZW4geW91Cj4gc2FpZCBpdCB3YXMgbGlrZSBNYXhNaW4oU3VwcG9ydCBMb2dpY2Fs
T3IgRXF1YWxpdHkpIGJ1dCBvbmx5IHVzaW5nIGEKPiB0aWVkIGF0IHRoZSB0b3AgcnVsZSB0byBn
ZXQgQUZCLCBidXQgSSBuZXZlciBmb3VuZCBhIHByb3BlciByZWZlcmVuY2UgZm9yIGl0Lgo+IENh
biB5b3UgcGxlYXNlIHByb3ZpZGUgYSBsaW5rIGZvciBtZSB0byByZWFkIHVwIG9uIE1pbkdTIGlm
IHRoZXJlIGlzIG9uZSwKPiBvciB3aGljaGV2ZXIgb25lIHVzZXMgdGhlIHRpZWQgYW5kIHRoZSB0
b3AgcnVsZSB0byBnZXQgQUZCPwo+IEkgc3VwcG9zZSBJIG91Z2h0IHRvIHRyeSBhbmQgY3JlYXRl
IGEgZnJlZXN0YW5kaW5nIHByb29mCj4gb2YgQUZCK01vbm8rTE4tSGVscCBmb3IgTWF4TWluKFN1
cHBvcnQgTG9naWNhbE9yIEVxdWFsaXR5KQo+IGF0IHRoaXMgcG9pbnQgKGFsc28gdGFraW5nIHN1
Z2VzdGlvbnMgZm9yIGEgYmV0dGVyIG5hbWUpLgo+wqAKPiBBbnl3YXlzIEkgY29uc2lkZXIgTWF4
TWluKFN1cHBvcnQgTG9naWNhbE9yIEVxdWFsaXR5KSB0byBiZSB0aGUKPiBMTi1IZWxwIHZlc2lv
biBvZiBNTVBPIChhc3N1bWluZyB0aGUgY3JpdGVyaWEgY29tcGxpYW5jZSBpcyBjb3JyZWN0KS4K
Ck1pbkdTIGlzIGp1c3QgYSBXb29kYWxsIGlkZWEgZnJvbSBhIGRyYWZ0IHBhcGVyLiBUaGUgZGVm
aW5pdGlvbiBpczoKRWxlY3QgdGhlIGNhbmRpZGF0ZSB3aG8gbWF4aW1pemVzIHRoZSBmZXdlc3Qg
dm90ZXMgKmZvciogdGhlbSBpbiBhIHBhaXJ3aXNlIGNvbnRlc3QuCk1NUE8gaXM6CkVsZWN0IHRo
ZSBjYW5kaWRhdGUgd2hvIG1pbmltaXplcyB0aGUgbW9zdCB2b3RlcyAqYWdhaW5zdCogdGhlbSBp
biBhIHBhaXJ3aXNlIGNvbnRlc3QuCgpBbGwgSSdtIHNheWluZyBpcyB0aGV5IHN1cGVyZmljaWFs
bHkgbG9vayBsaWtlIGNvdW50ZXJwYXJ0cy4KCk15IGNvcHkvcGFzdGUgb24gaW1wcm92aW5nIE1p
bkdTIHdhcyB0aGlzIChzbGlnaHRseSBhYnJpZGdlZCk6CgoiTWF4TWluKFBhaXJ3aXNlIFN1cHBv
cnQpOiBXb29kYWxsIGRlZmluZXMgIk1pbkdTIiBhcyB0aGUgbWV0aG9kIHVuZGVyIHdoaWNoIG9u
ZQplbGVjdHMgdGhlIGNhbmRpZGF0ZSBYIHdob3NlIGZld2VzdCB2b3RlcyAocGFpcndpc2UpIGFn
YWluc3Qgc29tZSBvdGhlciBjYW5kaWRhdGUgWQppcyB0aGUgZ3JlYXRlc3QuIFRoaXMgc2F0aXNm
aWVzIFBsdXJhbGl0eSwgTGF0ZXItbm8taGVscCwgTW9uby1yYWlzZSwgYW5kCk1vbm8tYWRkLXRv
cCwgYnV0IG5vdCBtdXR1YWwgbWFqb3JpdHksIGV2ZW4gaW4gdmVyeSBiYXNpYyBzaXR1YXRpb25z
LiAuLi4gRm9yZXN0ClNpbW1vbnMgcHJvcG9zZXMgdG8gYWxsb3cgc29tZSBjYW5kaWRhdGUgWCB0
byBnZXQgYSB2b3RlIGFnYWluc3Qgc29tZSBjYW5kaWRhdGUgWQpldmVuIHdoZW4gdGhleSBhcmUg
Ym90aCByYW5rZWQgZXF1YWwsIGJ1dCBhYm92ZSBib3R0b20uIFN1Y2ggYSB2YXJpYXRpb24gaXMg
Y2FsbGVkCiJNTVBTIiBhbmQgc2F0aXNmaWVzIHRoZSB3ZWFrIEZhdm9yaXRlIEJldHJheWFsIGNy
aXRlcmlvbiAoYXNzdW1pbmcgZXF1YWwgcmFua2luZyBpcwphbGxvd2VkKS4gRm9yIHRoYXQgcmVh
c29uIEkgYW0gdXNpbmcgdGhpcyBydWxlIGFuZCB0aGlzIG5hbWUgZm9yIGJvdGggdGhlIGJhc2lj
Cm1ldGhvZCAuLi4gLiBUaGUgcmVzdWx0cyBvZiB0aGVzZSBtZXRob2RzIGFyZSBzb21ld2hhdCB1
bnVzdWFsLiIKCldoZW4gSSBzdGFydGVkIHdyaXRpbmcgdGhpcyBwb3N0IEkgdGhvdWdodCB0aGF0
IHRoZSBydWxlIHRvIG5vdCBncmFudCB2b3RlcyB0bwpjYW5kaWRhdGVzIHJhbmtlZCBlcXVhbC1i
b3R0b20gd2FzIG1lcmVseSBpbnR1aXRpdmUgKGkuZS4gdGhlIHZvdGVyIHdvdWxkbid0IHdhbnQg
dG8KZ2l2ZSB0aGUgdm90ZXMgdG8gdGhlaXIgbGFzdC1yYW5rZWQgY2FuZGlkYXRlcykgYnV0IGFj
dHVhbGx5IGl0IHNlZW1zIGxpa2UgaXQgaXMKbmVlZGVkIGZvciBMTkhlbHAuCgpTdXBwb3NlIHdl
IGdyYW50IGEgdm90ZSB0byBlYWNoIHNpZGUgZXZlbiB3aGVuIHJhbmtlZCBib3R0b20uIENvbnNp
ZGVyOgowLjQ0NzogQj1DPUQ+QQowLjM0NzogQT5DPkI+RAowLjEzMTogQj5EPkE9QyAtPiBCPkQ+
QT5DCjAuMDczOiBEPkM+QT1CCgpJbml0aWFsbHkgQyB3aW5zICh3b3JzdCB2b3Rlcy1mb3IgaXMg
LjY1MSBhZ2FpbnN0IEEpLiBCdXQgd2hlbiB0aGUgdGhpcmQgZmFjdGlvbgpyYWlzZXMgQSwgQyBs
b3NlcyB2b3RlcyBhZ2FpbnN0IEEsIGFuZCBCIHdpbnMgaW5zdGVhZCAod29yc3Qgdm90ZXMtZm9y
IGJlaW5nIC41NzgKYWdhaW5zdCBDKS4KCihGb3Jlc3QncyBNTVBTIG1ldGhvZCBwaWNrcyBCIGlu
IGJvdGggY2FzZXMuKQoKU28sIGl0IGlzIHByb2JhYmx5IG5lY2Vzc2FyeSB0aGF0IGFkZGluZyBh
IG5ldyBsb3dlciBwcmVmZXJlbmNlIG5vdCByZWR1Y2UgdGhlIGJlc3QKc2NvcmVzIG9mIHRoZSBj
YW5kaWRhdGVzIHdobyByZW1haW4gYXQgdGhlIGJvdHRvbS4KCktldmluCnZvdGluZ21ldGhvZHMu
bmV0Ci0tLS0KRWxlY3Rpb24tTWV0aG9kcyBtYWlsaW5nIGxpc3QgLSBzZWUgaHR0cHM6Ly9lbGVj
dG9yYW1hLmNvbS9lbSBmb3IgbGlzdCBpbmZvCg==