[102088] in tlhIngan-Hol
[Tlhingan-hol] canonicity and transitivity
daemon@ATHENA.MIT.EDU (De'vID)
Mon Nov 9 12:52:05 2015
Date: Mon, 9 Nov 2015 18:51:46 +0100
From: "De'vID" <de.vid.jonpin@gmail.com>
To: tlhIngan-Hol <tlhingan-hol@kli.org>
Errors-To: tlhingan-hol-bounces@kli.org
RXZlcnlvbmUncyBpbiBhZ3JlZW1lbnQgdGhhdCBwdWJsaXNoZWQgd29ya3MgYXV0aG9yZWQgYnkg
b3IgY29uc3VsdGVkCm9uIGJ5IE9rcmFuZCwgbGlrZSBUaGUgS2xpbmdvbiBEaWN0aW9uYXJ5LCBL
bGluZ29uIGZvciB0aGUgR2FsYWN0aWMKVHJhdmVsZXIsIFRoZSBLbGluZ29uIFdheSwgQ29udmVy
c2F0aW9uYWwgS2xpbmdvbiwgYW5kIFBvd2VyIEtsaW5nb24sCnRoZSBTdGFyIFRyZWs6IEtsaW5n
b24gZ2FtZSwgYW5kIHRoZSBCaXJkIG9mIFByZXkgcG9zdGVyIGFyZSBjYW5vbiwKY29ycmVjdD8g
U29tZW9uZSBzdGlja2luZyB0byBvbmx5IHRob3NlIHNvdXJjZXMgd291bGQgYmUgcHJvZHVjaW5n
CktsaW5nb24gdW5kZXJzdG9vZCBieSBldmVyeW9uZSAoaS5lLiwgZXZlcnlvbmUgYWRoZXJpbmcg
dG8gc3RyaWN0Ck9rcmFuZGlhbiBLbGluZ29uKS4gKEkgaG9wZSB0aGF0J3MgYW4gdW5jb250cm92
ZXJzaWFsIHN0YXRlbWVudCEpCgpQdWJsaXNoZWQgaW50ZXJ2aWV3cyBpbiBIb2xRZUQgYW5kIHRo
ZSBxZXBIb20gYm9va2xldCB3aXRoIE9rcmFuZCBhbHNvCnNlZW0gdG8gYmUgYWNjZXB0ZWQgdW5p
dmVyc2FsbHkgYXMgY2Fub24uIFRoZXNlIGFsc28gc2VlbSB0byBiZQphY2NlcHRlZCBhcyBoYXZp
bmcgdGhlIHNhbWUgZGVncmVlIG9mIGNhbm9uaWNpdHksIGlmIHlvdSB3aWxsLCBhcyB0aGUKc291
cmNlcyBsaXN0ZWQgYWJvdmUuIFRoZSBvbmx5IGRpZmZlcmVuY2UgaXMgdGhhdCB0aGV5IGFyZSBu
b3QgYXMKd2lkZWx5IGF2YWlsYWJsZSB0byB0aGUgZ2VuZXJhbCBwdWJsaWMuIChXZWxsLCBJIHN1
cHBvc2UgbmVpdGhlciBhcmUKdGhlIHRhcGVzIGFuZCBTdGFyIFRyZWs6IEtsaW5nb24gcmVhbGx5
IGFsbCB0aGF0IGFjY2Vzc2libGUgbm93LiBCdXQKdGhlIHBvaW50IGlzIHRoYXQgd2hlcmVhcyB0
aGUgYWJvdmUgc291cmNlcyBjYW4gYmUgZWFzaWx5IGZvdW5kIGJ5IHRoZQpnZW5lcmFsIHB1Ymxp
Yywgb25lIGhhcyB0byBhdCBsZWFzdCBhbHJlYWR5IGtub3cgYWJvdXQgdGhlIEtMSSBvciB0aGUK
R2VybWFueSBxZXBIb20gdG8gaGF2ZSBhY2Nlc3MgdG8gdGhlc2UgbGF0dGVyIHNvdXJjZXMuKQoK
SXQgc2VlbXMgbGlrZSBhbGwgbGluZXMgc3Bva2VuIG9uIFRoZSBPcmlnaW5hbCBTZXJpZXMgZmls
bXMgYXJlCnVuaXZlcnNhbGx5IGNvbnNpZGVyZWQgY2Fub24sIHRvby4gSSB0aGluayB0aGVyZSBt
YXkgYmUgc29tZQp1bmNlcnRhaW50eSB3aXRoIHdvcmRzIHVzZWQgaW4gbGF0ZXIgZmlsbXMgb24g
d2hpY2ggT2tyYW5kIGRpZG4ndApjb25zdWx0LCBwcmltYXJpbHkgU3RhciBUcmVrOiBJbnN1cnJl
Y3Rpb24uIE9rcmFuZCBoaW1zZWxmIHNlZW1zIHRvCnRha2UgdGhlIGF0dGl0dWRlIHRoYXQgd2hh
dGV2ZXIgc3Bva2VuIG9uIHNjcmVlbiBpcyAicmlnaHQiLCBldmVuIGlmCndlIGRvbid0IGtub3cg
dGhlIEtsaW5nb24gInNwZWxsaW5nIiBvZiB3aGF0J3Mgc2FpZC4gU2F5aW5nIHRoYXQgdGhlcmUK
YXJlIGRpYWxlY3RzIHNlZW1zIHRvIGJlIGhpcyBvdXQgZm9yIHBocmFzZXMgb3Igd29yZHMgdGhh
dCBtYWtlIG5vCmdyYW1tYXRpY2FsIG9yIHBob25vbG9naWNhbCBzZW5zZSBpbiB0aGUgbGFuZ3Vh
Z2UgaGUgZGV2aXNlZC4KCkFuZCBub3cgd2UgY29tZSB0byBzb21lIGdyZXlpc2ggYXJlYXMuIFRo
ZSBIYWxsbWFyayBjb21tZXJjaWFsIGlzCmFjY2VwdGVkIGFzIGNhbm9uIGFzIGZhciBhcyB0aGUg
S2xpbmdvbiBwaHJhc2VzIGdvLCBhcyBleGFtcGxlcyBvZgp3ZWxsLWZvcm1lZCBLbGluZ29uLCBi
dXQgYmVjYXVzZSB0aGVyZSdzIG5vdCBhIG9uZS10by1vbmUgbWFwcGluZyB3aXRoCnRoZSBFbmds
aXNoIHN1YnRpdGxlcywgdGhlIHRyYW5zbGF0aW9ucyBkb24ndCBzZWVtIHRvIGhhdmUgcXVpdGUg
dGhlCnNhbWUgY2Fub25pY2FsIHN0YXR1cyBhcyBwdWJsaXNoZWQgd29ya3MgaW4gd2hpY2ggT2ty
YW5kIGNsZWFybHkgZ2l2ZXMKYW4gRW5nbGlzaCBnbG9zcyBvciBleHBsYW5hdGlvbi4gU29tZSB3
b3JkcyBmcm9tIEtsaW5nb24gTW9ub3BvbHkgYWxzbwpzZWVtIHRvIGZhbGwgaW50byB0aGlzIGNh
dGVnb3J5OiB7Z2hheX0gYW5kIHt2YWJEb3R9IGhhdmUgbm8gZ2l2ZW4KRW5nbGlzaCBkZWZpbml0
aW9uLCBhbmQgdGhlaXIgbWVhbmluZyBoYXMgYmVlbiBpbmZlcnJlZCBmcm9tIHRoZWlyCnVzYWdl
LiBUaGUgS2xpbmdvbiBwYXJ0IG9mIHRoZSBwYXEnYmF0bGggd2FzIHdyaXR0ZW4gYnkgT2tyYW5k
IGFuZApwcm9vZi1yZWFkIGJ5IEtMSSBtZW1iZXJzLCB3b3JraW5nIGZyb20gYW4gRW5nbGlzaCBv
cmlnaW5hbCB0ZXh0IGJ5CkZsb3JpcyBTY2jDtm5mZWxkIGV0IGFsLiwgSSBiZWxpZXZlLiBJdCBz
ZWVtcyB0byBiZSBhY2NlcHRlZCBhcyBjYW5vbiwKdGhvdWdoIEkgdGhpbmsgYSBmZXcgcGVvcGxl
IGFyZSB1bmNlcnRhaW4gYXMgdG8gd2hldGhlciBldmVyeXRoaW5nIGluCml0IHJlZmxlY3RzIGNv
cnJlY3QgdXNhZ2UuIChEb2VzIHRoYXQgc2VlbSBsaWtlIGEgY29ycmVjdCBhc3Nlc3NtZW50PykK
ClRoZXJlIGFyZSBhbHNvIHNvbWUgb3RoZXIgcHJvamVjdHMgb24gd2hpY2ggT2tyYW5kIHByb3Zp
ZGVkIGhlbHAsIGJ1dAp3YXMgbm90IHRoZSBwcmltYXJ5IGF1dGhvci4gVGhlIEtsaW5nb24gaW4g
dGhlIFRhbGsgTm93ISBzb2Z0d2FyZSB3YXMKZG9uZSBtb3N0bHkgYnkgcWUnU2FuIChJcyB0aGF0
IHJpZ2h0PykgYnV0IHdpdGggT2tyYW5kJ3MgaGVscCBmb3IKY2xhcmlmaWNhdGlvbiBvciB0byBz
dXBwbHkgYW55IHZvY2FidWxhcnkgdGhhdCdzIG1pc3NpbmcuIFRoZXJlJ3Mgc29tZQpkaXNhZ3Jl
ZW1lbnQgYXMgdG8gd2hldGhlciB0aGUgdGVybSAob3IgZGVzY3JpcHRpb24pIGZvciAiaGFtYnVy
Z2VyIgpiZWxvbmdzIGluIGRpZmZlcmVudCBraW5kcyBvZiBkYXRhYmFzZXMgb3IgZGljdGlvbmFy
aWVzLCBidXQKdGhhbmtmdWxseSB0aGUgZGlzYWdyZWVtZW50cyBhcmUgYWJvdXQgRWFydGggdGhp
bmdzIHRoYXQgZG9uJ3QgcmVhbGx5Cm1hdHRlciB0byBLbGluZ29ucy4gVGhlIEtsaW5nb24gc3Vi
dGl0bGUgdHJhY2sgZm9yIHRoZSBGZXN0aXZhbCBvZiB0aGUKU3Bva2VuIE5lcmQgRFZEIHdhcyBk
b25lIGJ5IG15c2VsZiAocHJvb2ZyZWFkIGJ5IGxvZ2hhRCksIHdpdGggT2tyYW5kCnN1cHBseWlu
ZyBjbGFyaWZpY2F0aW9ucyBhbmQgdm9jYWJ1bGFyeSB3aGVuIGl0IHdhcyBuZWVkZWQuIEkKZm9y
d2FyZGVkIHRoZSBwYXJ0cyBvZiBNYXJjIE9rcmFuZCdzIGVtYWlscyBhYm91dCB0aGUgcHJvamVj
dApjb250YWluaW5nIHRoZSBuZXcgdm9jYWJ1bGFyeSBhbmQgZXhwbGFuYXRpb24gdG8gdGhlIEtM
SSBtYWlsaW5nIGxpc3QsCmFuZCB0aG9zZSBzZWVtIHRvIGJlIGFjY2VwdGVkIHdpdGggdGhlIHNh
bWUgY2Fub25pY2l0eSBhcyBhbnkgb2YgaGlzCnB1Ymxpc2hlZCB3b3Jrcy4gSSBhbHNvIHdvcmtl
ZCB3aXRoIHNvbWUgdm9sdW50ZWVycyBvbiBHb29nbGUncwpLbGluZ29uIFVJLCBhbmQgc29tZSBw
ZW9wbGUgdm9sdW50ZWVyZWQgdG8gdHJhbnNsYXRlZCBGYWNlYm9vaydzIFVJIGFzCndlbGwuIE1h
cmMgT2tyYW5kIGFza2VkIG1lIHRvIHN1cHBseSBoaW0gd2l0aCBhIGxpc3Qgb2YgcmVxdWlyZWQK
dm9jYWJ1bGFyeSBmb3IgdGhlc2UgcHJvamVjdHMuIChIZSBhc2tlZCBtZSBiZWNhdXNlIEkgd2Fz
IGNvb3JkaW5hdGluZwp0aGUgR29vZ2xlIHByb2plY3QsIGFuZCBoZSByZXF1ZXN0ZWQgYWxzbyB0
aGUgdm9jYWJ1bGFyeSBmb3IgRmFjZWJvb2sKdG8gYmUgZmFpciBvciBuZXV0cmFsIC0gSSBmb3Jn
ZXQgaGlzIGV4YWN0IHdvcmRpbmcuIEknbSBzdXJlIG90aGVycwpoYXZlIGFza2VkIGhpbSBhYm91
dCB0aG9zZSB3b3JkcyBhcyB3ZWxsLikgTWFueSBvZiB0aG9zZSB3b3JkcwpzdWJzZXF1ZW50bHkg
YXBwZWFyZWQgaW4gdGhlIDIwMTQgcWVwSG9tIGJvb2tsZXQuCgpIYXZlIEkgbWlzc2VkIGFueSBv
dGhlciBjYW5vbiBzb3VyY2VzPyAoVGhlcmUgYXJlIHZhcmlvdXMKbWlzY2VsbGFuZW91cyB0aGlu
Z3MgbGlrZSBmYW4gbWFnYXppbmVzIGFuZCB0cmFkaW5nIGNhcmRzLCBidXQgSQpiZWxpZXZlIHRo
ZSBLbGluZ29uIHRleHQgaW4gdGhlc2UgaGF2ZSBhbGwgYmVlbiBwdWJsaXNoZWQgaW4gSG9sUWVE
LikKRG9lcyB0aGUgYWJvdmUgc2VlbSBjb3JyZWN0PwoKTm93LCBNYXJjIE9rcmFuZCBoYXMgYWxz
byBtYWRlIGEgbnVtYmVyIG9mIHZlcmJhbCB1dHRlcmFuY2VzIGF0IHRoZQpxZXBIb20gYW5kIHFl
cCdhJyB3aGVuIGRpc2N1c3NpbmcgZ3JhbW1hciB3aXRoIHN0dWRlbnRzLiAoSSBoYXZlIGJlZW4K
dG8gc2V2ZXJhbCBxZXBIb21tZXksIGFuZCBJIHByZXN1bWUgc2ltaWxhciBzaXR1YXRpb25zIG9j
Y3VyIGF0IHRoZQpxZXAnYScuIEhvd2V2ZXIsIHRoZXJlIGlzIGEgdmVyeSBoaWdoIHByb3BvcnRp
b24gb2YgYmVnaW5uZXJzIGF0IHRoZQpxZXBIb20sIHdoaWNoIHBlcmhhcHMgc2tld3MgaXQgdG93
YXJkcyBkaXNjdXNzaW9ucyBvZiBiYXNpYyBncmFtbWFyLikKVGhlc2UgYXJlIG1vc3RseSBvZmYt
dGhlLWN1ZmYgcmVtYXJrcyBpbiByZXNwb25zZSB0byBzdHVkZW50CnF1ZXN0aW9ucy4gU2luY2Ug
dGhlc2UgYXJlIG5vdCBwcmVwYXJlZCByZW1hcmtzLCBhbmQgbWF5YmUgc29tZXRpbWVzCmhlJ2xs
IGFjY2VwdCBhIHN1Z2dlc3Rpb24gdG8gYmUgcG9saXRlLCBvciBoZSBjYW4gZ2V0IGNvbmZ1c2Vk
IG9yCmNoYW5nZSBoaXMgbWluZCBsYXRlciwgb2J2aW91c2x5IHdoYXQgaGUgc2F5cyBpbiBzdWNo
IHNpdHVhdGlvbnMKY2Fubm90IGJlIHRha2VuIHRvIGJlIGFzIGF1dGhvcml0YXRpdmUgYXMgaW4g
YSBmb3JtYWwgaW50ZXJ2aWV3IG9yIGluCmhpcyBvd24gcHVibGlzaGVkIHdvcmtzLiBCdXQgSSB3
YXMgcHJlc2VudCB3aGVuIGhlIHdhcyBhc2tlZCBhYm91dAp0cmFuc2l0aXZpdHksIGFuZCBoZSBz
dGF0ZWQgdGhhdCBzb21lIEtsaW5nb24gdmVyYnMgY2FuIHRha2Ugb2JqZWN0cwpldmVuIGlmIGl0
J3Mgbm90IGFwcGFyZW50IGZyb20gdGhlIEVuZ2xpc2ggZ2xvc3MsIGFuZCB0aGF0IHdoZW4gaGUK
d3JvdGUgdGhlIEVuZ2xpc2ggZGVmaW5pdGlvbnMgaGUgZGlkbid0IHJlYWxseSBoYXZlIHRyYW5z
aXRpdml0eSBpbgptaW5kLgoKTm93LCB0aGlzIG1heSBub3QgYmUgcGFydGljdWxhcmx5IGhlbHBm
dWwsIGJlY2F1c2UgaGUgZGlkbid0IGdpdmUgYQpsaXN0IG9mIHZlcmJzIHdpdGggdGhpcyBwcm9w
ZXJ0eS4gSGUgd2FzIGFza2VkIGFib3V0IHNvbWUgc3BlY2lmaWMKdmVyYnMsIHNvbWUgb2Ygd2hp
Y2ggaGUgYXNzZW50ZWQgY2FuIHRha2Ugb2JqZWN0cywgYW5kIG90aGVycyB3aGljaCBoZQpyZWpl
Y3RlZCBhcyB0YWtpbmcgb2JqZWN0cyAob3IgYXMgdGFraW5nIGNlcnRhaW4gdGhpbmdzIGFzIG9i
amVjdHMpLgpPbmUgb2YgdGhlc2Ugd2FzIHtIZWdofSwgb3IgcmF0aGVyLCBJIHRoaW5rIGhlIHdh
cyBhc2tlZCAiQ2FuIHlvdSBzYXkKJ2hlIGRpZWQgYW4gaG9ub3JhYmxlIGRlYXRoPyciIG9yIHNv
bWV0aGluZyBsaWtlIHRoaXMgKG1heWJlIGl0IHdhcwoiZ2xvcmlvdXMiIG9yICJoZXJvaWMiLCBi
dXQgaXQgd2FzIHNvbWV0aGluZyBhbG9uZyB0aG9zZSBsaW5lcykgaW4KRW5nbGlzaCwgYW5kIGhl
IGFuc3dlcmVkIHllcy4gTm93LCBvYnZpb3VzbHksIHlvdSBjYW4gYWxyZWFkeSBleHByZXNzCnRo
YXQgaWRlYSBpbiBhbm90aGVyIHdheToge2JhdGxoIEhlZ2h9LiBCdXQgaW4gdGhlIGNvbnRleHQg
b2YgdGhlCmRpc2N1c3Npb24sIEkgZG9uJ3QgdGhpbmsgaGUgd2FzIHNheWluZywgIlllcywgeW91
IGNhbiBzYXkgdGhhdCBpbgpLbGluZ29uLCBidXQgdXNpbmcge2JhdGxofS4iIEkgaW50ZXJwcmV0
IGhpcyBhbnN3ZXIgdG8gbWVhbiwgIlllcywgeW91CmNhbiBzYXkgc29tZXRoaW5nIGxpa2Uge0hl
Z2ggcXV2IEhlZ2h9LiIgSGUgZGlkIG5vdCBleHBsaWNpdGx5IHNheQp0aGlzLCBhbmQgSSB0aGlu
ayBtYXliZSB0aGUgcXVlc3Rpb25lciBkaWRuJ3QgZXZlbiBtZW50aW9uIHRoZSBLbGluZ29uCnZl
cmIge0hlZ2h9LCBidXQgSSB0aGluayB0aGF0J3MgdGhlIG1vc3QgcmVhc29uYWJsZSBpbnRlcnBy
ZXRhdGlvbiBvZgpoaXMgYW5zd2VyLiAoSXQgbWF5IGV2ZW4gYmUgdGhhdCB7SGVnaCBxdXYgSGVn
aH0gaXMgYSBzdHVwaWQgd2F5IHRvCmV4cHJlc3MgdGhlIGlkZWEuIEJ1dCB0aGF0J3MgYSBkaWZm
ZXJlbnQgcXVlc3Rpb24gZnJvbSB3aGV0aGVyIGl0J3MKZ3JhbW1hdGljYWwuKQoKSGUgYWxzbyBz
YWlkIHRoYXQgdmVyYnMgd2hpY2ggYXJlIGFib3V0IHN0YXRlbWVudHMgd291bGQgdGFrZSB0aG9z
ZQpzdGF0ZW1lbnQgYXMgb2JqZWN0cyB1c2luZyB7J2UnfSBvciBzb21ldGhpbmcgYWxvbmcgdGhv
c2UgbGluZXMuIEkKZGlkbid0IHJlY29yZCBoaXMgd29yZGluZywgYW5kIHRoaXMgaXMgb25seSBt
eSBpbnRlcnByZXRhdGlvbiBvZiB3aGF0CmhlIHNhaWQuIEFnYWluLCBoZSBkaWRuJ3Qgc3VwcGx5
IGEgbGlzdCBvZiBzdWNoIHZlcmJzLiBNeSBpbXByZXNzaW9uCm9mIHRoZSBkaXNjdXNzaW9uIGlz
IHRoYXQgdGhpcyB3b3VsZCBhcHBseSB0byB2ZXJicyBsaWtlIHsnSXB9LAp7bGF5J30sIHtuZXB9
LCBhbmQge3ZJdH0uIE9idmlvdXNseSwgb25lIGNhbiBhbHJlYWR5IHNheSBzb21ldGhpbmcKbGlr
ZSwge3Z1bHFhbmdhbiBqSUggaklqYXRsaERJJyBqSW5lcH0gb3Igc29tZXRoaW5nIGxpa2UgdGhh
dC4gVGhlCnF1ZXN0aW9uIHdhcyB3aGV0aGVyIG9uZSBjYW4gc2F5IHt2dWxxYW5nYW4gaklIICdl
JyB2SW5lcH0sIGFuZCBteQp1bmRlcnN0YW5kaW5nIGlzIHRoZSBhbnN3ZXIgaXMgeWVzLiBIZSBl
eHBsYWluZWQgdGhlIGRpZmZlcmVuY2UKYmV0d2VlbiB7Z2hldH0gYW5kIHtyZUh9IGFuZCB3aGF0
IG9iamVjdHMgdGhleSBjYW4gdGFrZS4gSGUgY29uZmlybWVkCnRoYXQge1F1an0gInBsYXkgYSBn
YW1lIiBjYW4gdGFrZSB0aGUgZ2FtZSBhcyBpdHMgb2JqZWN0LiAoVGhpcyBpcwpwYXJ0aWFsbHkg
d2h5IEkgdGhpbmsgdGhlIGZhY3QgdGhhdCB0aGUgZGVmaW5pdGlvbiBvZiB7cm9qfSAibWFrZQpw
ZWFjZSIgYWxyZWFkeSBpbmNsdWRlcyBpdHMgb2JqZWN0IGlzIG5vIHJlYXNvbiB0byBiZWxpZXZl
IHRoYXQgaXQKY2Fubm90IHRha2UgYSBub3VuIGxpa2Uge3JvakhvbX0gYXMgaXRzIG9iamVjdC4g
SSBoYXZlIG5vICpwcmVmZXJlbmNlKgp0aGF0IGl0IHNob3VsZCBkbyB0aGlzLiBCdXQgdGhpcyBp
cyBob3cgSSBpbnRlcnByZXQgT2tyYW5kJ3MKZXhwbGFuYXRpb24gb2YgaG93IHN1Y2ggdmVyYnMg
d29yazogdGhhdCBpZiB0aGUgZ2xvc3Mgc2F5cyAiW3ZlcmJdIGEKW25vdW5dIiwgdGhlbiBnZW5l
cmFsbHkgaGlzIGludGVudGlvbiB3YXMgZm9yIHRoZSB2ZXJiIHRvIChvcHRpb25hbGx5KQp0YWtl
IHRoYXQgbm91biBhcyBpdHMgb2JqZWN0LiB7cm9qIHJvan0gc291bmRzIHN0cmFuZ2UsIGJ1dCBp
dCBpcyBubwpsZXNzIHN0cmFuZ2UgdGhhbiB7UXVqIFF1an0sIHdoaWNoLCBiYXNlZCBvbiB3aGF0
IE9rcmFuZCBzYWlkIGFib3V0CntRdWp9LCBpcyBncmFtbWF0aWNhbCBLbGluZ29uLikKClRoZSBv
bmUgInN0YXRlbWVudCIgdmVyYiB0aGF0IEkgcmVtZW1iZXIgY2xlYXJseSB0aGF0IGhlIGFzc2Vu
dGVkIHRvCmFzIHdvcmtpbmcgbGlrZSB0aGlzIHdhcyB7UW9jaH0gImRpc2FncmVlIi4gbG9naGFE
IHdyb3RlIGRvd24ge21hUW9jaAonZScgd0lRb2NoYmUnfSwgYW5kIE9rcmFuZCBhZ3JlZWQgdGhh
dCB0aGF0IHdhcyBhIGNvcnJlY3Qgc2VudGVuY2UKd2l0aCB0aGUgaW50ZW5kZWQgbWVhbmluZy4g
VGhlIGxhc3QgdGltZSB0aGlzIGNhbWUgdXAsIGEgYnVuY2ggb2YKcGVvcGxlIHNhaWQgdGhhdCB0
aGV5IHdvbid0IGFjY2VwdCBPa3JhbmQncyBhc3NlbnQgdG8gd2hhdCBzb21lb25lCmVsc2UgaGFz
IGNvbXBvc2VkIHRvIGJlIGFuIGVuZG9yc2VtZW50IG9mIGl0cyBjb3JyZWN0bmVzcywgYmVjYXVz
ZQpPa3JhbmQgd2lsbCBhc3NlbnQgdG8gdGhpbmdzIHRvIGJlIHBvbGl0ZSwgYW5kIGhlJ3MgYXNz
ZW50ZWQgdG8KY29udHJhZGljdG9yeSB0aGluZ3MgdG8gZGlmZmVyZW50IHBlb3BsZS4gVGhpcyBp
cyB0cnVlLCBhbmQgSQp1bmRlcnN0YW5kIHdoeSBvbmUgaGFzIHRvIGJlIGNhcmVmdWwgYWJvdXQg
dGhhdC4gQnV0IHRoaXMgd2Fzbid0IGEKc3B1ciBvZiB0aGUgbW9tZW50IHRoaW5nIGJ5IE9rcmFu
ZC4gSXQgdG9vayBwbGFjZSBpbiB0aGUgY29udGV4dCBvZiBhCm11Y2ggbG9uZ2VyIGNvbnZlcnNh
dGlvbiAoYWN0dWFsbHksIHNldmVyYWwgY29udmVyc2F0aW9ucyB0aHJvdWdob3V0CnRoZSBxZXBI
b20pIGFib3V0IHRyYW5zaXRpdml0eSwgd2hlcmUgaGUgd2FzIHRhbGtpbmcgYWJvdXQgdmVyYnMg
d2hpY2gKbWlnaHQgbm90IGxvb2sgbGlrZSB0aGV5IHRha2Ugb2JqZWN0cyBiYXNlZCBvbiB0aGVp
ciBkZWZpbml0aW9ucywgYnV0CmRvLiBBbmQgaGUgZGlkbid0IGFjY2VwdCBldmVyeSBzaW5nbGUg
c3VnZ2VzdGlvbi4gSGUgcmVqZWN0ZWQsIGZvcgppbnN0YW5jZSwgdGhlIHN1Z2dlc3Rpb24gdGhh
dCB7cmVIfSB0YWtlcyBhIHNlbnRlbmNlLWFzLW9iamVjdCAod2l0aAp7J2UnfSkgZGVzY3JpYmlu
ZyB0aGUgcGxheSBhY3Rpdml0eSwgc3VnZ2VzdGluZyB0byB1c2Uge3JlSHRhSHZJU30KaW5zdGVh
ZCB3aXRoIHN1Y2ggYSBzZW50ZW5jZS4gSGUgd2FzIGFza2VkIGFib3V0IGEgbnVtYmVyIG9mIHZl
cmJzLCBoZQp0aG91Z2h0IGFib3V0IGVhY2ggb25lLCBhbmQgcmVqZWN0ZWQgc29tZSBzdWdnZXN0
aW9ucyB3aGlsZSBhc3NlbnRpbmcKdG8gb3RoZXJzLiBUaGF0J3Mgd2h5IEkgdGhpbmsgdGhlcmUn
cyBhIHN0cm9uZyBjYXNlIHRoYXQgdGhlIG9iamVjdCBvZgp7UW9jaH0gaXMgdGhlIHN0YXRlbWVu
dCAocmVmZXJyZWQgdG8gd2l0aCB7J2UnfSkgdG8gd2hpY2ggdGhlIHN1YmplY3RzCmRpc2FncmVl
LiBPa3JhbmQgd2FzIHNwZWNpZmljYWxseSBhc2tlZCBhYm91dCB0aGlzLCBpbiB0aGUgY29udGV4
dCBvZgphIGNvbnZlcnNhdGlvbiBpbiB3aGljaCBoZSBoYWQgYWxyZWFkeSByZWplY3RlZCBzaW1p
bGFyIHN1Z2dlc3Rpb25zCmFib3V0IG90aGVyIHZlcmJzLCBidXQgYXNzZW50ZWQgd2hlbiBwcmVz
ZW50ZWQgd2l0aCBhIHdyaXR0ZW4gS2xpbmdvbgpleGFtcGxlLgoKTm9uZSBvZiB0aGlzIGlzIGNh
bm9uLiBPa3JhbmQgY291bGQsIGlmIGFza2VkIG9uIGFub3RoZXIgb2NjYXNpb24KYWJvdXQgdGhl
IGV4YWN0IHNhbWUgcXVlc3Rpb25zLCBmb3JnZXQgaGlzIHByZXZpb3VzIGV4cGxhbmF0aW9ucyAo
b3IKY2hhbmdlIGhpcyBtaW5kKSBhbmQgZ2l2ZSBjb21wbGV0ZWx5IG9wcG9zaXRlIGFuc3dlcnMu
IFRoaXMgaXMgdHJ1ZS4KQnV0IEkgYWxzbyBmaW5kIGl0IHVubGlrZWx5LCBiZWNhdXNlIGhlIGhh
ZCB0aGUgd2hvbGUgcWVwSG9tIHRvIHRoaW5rCmFib3V0IHRoZSBxdWVzdGlvbiBvZiB0cmFuc2l0
aXZpdHkgYW5kIHZlcmJzIHdoaWNoIHRha2UgeydlJ30gYXMgYW4Kb2JqZWN0LCBhbmQgY291bGQn
dmUgY2hhbmdlZCBoaXMgbWluZCBhdCBhbnkgdGltZSwgYnV0IGRpZG4ndC4gSGUgd2FzCnByZXR0
eSBjb25zaXN0ZW50IGluIHdoYXQgaGUgc2FpZCwgd2hpY2ggaXMgYWxzbyBjb25zaXN0ZW50IHdp
dGggd2hhdApoZSdzIHNhaWQgb24gcHJldmlvdXMgYW5kIGxhdGVyIG9jY2FzaW9ucy4gSWYgSSAo
b3IgbG9naGFEIG9yIG9uZSBvZgp0aGUgb3RoZXIgcGVvcGxlIHdobyB3YXMgcHJlc2VudCkgaGFk
IHdyaXR0ZW4gdGhlIGRpc2N1c3Npb24gdXAgYW5kCnRpZGllZCBpdCB1cCwgc2hvd2VkIGl0IHRv
IE9rcmFuZCBmb3IgYXBwcm92YWwgKG9yIGF0IGxlYXN0IGNvbmZpcm1lZAp3aXRoIG90aGVyIHBl
b3BsZSB3aG8gd2VyZSBwcmVzZW50IHRoYXQgaXQgd2FzIGFuIGFjY3VyYXRlIHN1bW1hcnkgb2YK
d2hhdCB3YXMgc2FpZCksIGFuZCBoYWQgaXQgcHJpbnRlZCBpbiB0aGUgcWVwSG9tIGJvb2tsZXQs
IGl0IHdvdWxkIChJCnRoaW5rPykgYmUgYWNjZXB0ZWQgYXMgY2Fub24uIE9mIGNvdXJzZSwgaXQg
d2FzIHRvbyBsYXRlIGZvciB0aGF0LCBhcwp0aGUgcWVwSG9tIGJvb2tsZXRzIGFyZSBwcmludGVk
IGJlZm9yZSB0aGUgY29uZmVyZW5jZSBpdHNlbGYuIEJ1dAptYXliZSB3ZSBzaG91bGQgaGF2ZSBk
b25lIHRoYXQuIE1heWJlLCBpbiBhZGRpdGlvbiB0byBwcmUtcWVwSG9tIChhbmQKcWVwJ2EnKSBj
b25mZXJlbmNlIGJvb2tsZXRzLCB3ZSBuZWVkIGEgcG9zdC1xZXBIb20gKGFuZCBxZXAnYScpCnN1
bW1hcnkgb2YgdGhpbmdzIE9rcmFuZCBzYWlkIGR1cmluZyB0aGUgZXZlbnQsIGFwcHJvdmVkIGJ5
IGhpbSwgdG8gYmUKZGlzdHJpYnV0ZWQgdG8gbWVtYmVycyBvZiBLTEkuCgpJIGNvbXBsZXRlbHkg
dW5kZXJzdGFuZCB0aGUgbmVlZCB0byBiZSBjb25zZXJ2YXRpdmUgaW4gb3JkZXIgbm90IHRvCmZy
YWdtZW50IHRoZSBjb21tdW5pdHkuIEJ1dCBJIHRoaW5rIHRoYXQgdGhpcyBpbnRyb2R1Y2VzIGFu
b3RoZXIKcHJvYmxlbSwgYXMgZGlmZmVyZW50IHBlb3BsZSBoYXZlIGRpZmZlcmVudCBvcHBvcnR1
bml0aWVzIHRvIGxlYXJuCnRoaW5ncyBmcm9tIE1hcmMgT2tyYW5kIHRoYXQgb3RoZXJzIGRvbid0
IGhhdmUuIEZvciBleGFtcGxlLCBhdCB0aGUKc2FtZSBxZXBIb20gd2hlcmUgSSBoZWFyZCBPa3Jh
bmQncyBleHBsYW5hdGlvbiBvZiB0cmFuc2l0aXZpdHksIEkKbGVhcm5lZCBmb3VyIG5ldyB0ZXJt
cyBmb3IgYm9keSBwYXJ0cyBmcm9tICdJU3F1Jywgd2hpY2ggc2hlIGhhZAphcHBhcmVudGx5IGNv
cGllZCBmcm9tIG90aGVyIHBlb3BsZSB0byB3aG9tIE1hcmMgT2tyYW5kIGhhZCByZXZlYWxlZAp0
aGVtIGF0IHRoZSBwcmV2aW91cyBxZXAnYScuIFRoZXNlIHdvcmRzIGV4aXN0ZWQgb25seSBpbiB0
aGUgbWVtb3J5IG9mCnRoZSBwZW9wbGUgdG8gd2hvbSB0aGV5IHdlcmUgcmV2ZWFsZWQgYW5kIHRo
b3NlIHRoZXkgdG9sZCwgdW50aWwKKEFGQUlLKSBJIHBvc3RlZCB0aGVtIHRvIHRoZSBLTEkgbWFp
bGluZyBsaXN0IGFza2luZyBmb3IgdGhlaXIgb3JpZ2luLgpJZiBJIChvciBzb21lb25lIGVsc2Up
IGhhZCBub3QgZG9uZSB0aGF0LCB0aG9zZSB3b3JkcyB3b3VsZCBoYXZlCnJlbWFpbmVkIHVua25v
d24gZXhjZXB0IHRvIGEgZmV3IHBlb3BsZS4gKFNlYXJjaCB0aGUgYXJjaGl2ZSBmb3IKeydJdnRJ
SH0sIHtyYWptYSd9LCB7J2VRd2F5fSwgYW5kIHtjaGEnbmVIfS4pCgpCdXQgaWYgeydJdnRJSH0g
aXMgY2Fub24gYmVjYXVzZSBzb21lb25lIGhlYXJkIE1PIHNheSB0aGF0IGl0J3MgYSB3b3JkCmF0
IHNvbWUgcWVwJ2EnLCB0aGVuIHdoeSBpc24ndCBpdCBjYW5vbiB0aGF0IHtRdWp9ICJwbGF5IGEg
Z2FtZSIgY2FuCnRha2UgYSBnYW1lIGFzIGl0cyBvYmplY3Q/IElmIHNvbWVvbmUgYXNrcyBPa3Jh
bmQgZm9yIGEgd29yZCBmb3IgImhpcCIKYW5kIGdldHMgYmFjayB7J0l2dElIfSwgaXQncyBhcHBh
cmVudGx5IGNhbm9uLiBBdCBsZWFzdCwgb25jZSBpdHMKcHJvdmlkZW5jZSB3YXMgdHJhY2VkIGJh
Y2sgdG8gT2tyYW5kLCBub2JvZHkgb2JqZWN0ZWQgdG8gaXRzCmNhbm9uaWNpdHkgdGhhdCBJIGtu
b3cgb2YuIElmIE9rcmFuZCBoYXMgYSBkaXNjdXNzaW9uIGFib3V0IHZlcmJzIHRoYXQKdGFrZSBz
dGF0ZW1lbnRzIGFzIG9iamVjdHMsIGFuZCBzb21lb25lIGFza3MgaGltIGluIHRoZSBjb250ZXh0
IG9mCnN1Y2ggYSBkaXNjdXNzaW9uIGFib3V0IHRoZSBvYmplY3Qgb2Yge1FvY2h9IGFuZCBoZSBh
Z3JlZXMgdGhhdCBpdCdzCnRoZSBzdGF0ZW1lbnQgdGhhdCB0aGUgc3ViamVjdChzKSBkaXNhZ3Jl
ZSB3aXRoLCBob3cgaXMgdGhpcyBmYWN0SGV5Cmxlc3MgY2Fub25pY2FsIHRoYW4geydJdnRJSH0/
IElzIGl0IHRoYXQgbmV3IHdvcmRzIGFyZSBtb3JlIGVhc2lseQphY2NlcHRlZCB0aGFuIGNsYXJp
ZmljYXRpb25zIGFib3V0IGdyYW1tYXIgb3IgZXhpc3Rpbmcgd29yZHM/IElzIGl0CnRoYXQgdGhl
cmUgaXMgYSBiZWxpZWYgdGhhdCBPa3JhbmQgc2F0IGRvd24gYW5kIGNhcmVmdWxseSB0aG91Z2h0
IHVwIGEKd29yZCBmb3IgImhpcCIsIHdoZXJlYXMgaGlzIGNsYXJpZmljYXRpb24gb2Yge1FvY2h9
IHdhcyBzcG9udGFuZW91cz8KSXMgaXQgdGhhdCBoZSBpcyBtZXJlbHkgYWZmaXJtaW5nIHdoYXQg
c29tZW9uZSBlbHNlIGhhcyBpbmZlcnJlZCBmcm9tCndoYXQgaGUganVzdCBzYWlkLCBhcyBvcHBv
c2VkIHRvIG1ha2luZyB0aGUgc3RhdGVtZW50IGhpbXNlbGY/CgpJIGRvbid0IGtub3cgdGhlIGNp
cmN1bXN0YW5jZXMgd2hpY2ggbGVkIHRvIHRoZSByZXZlbGF0aW9uIG9mCnsnSXZ0SUh9LCBidXQg
cHJlc3VtYWJseSBPa3JhbmQgaGFkIGJlZW4gYXNrZWQgZm9yIGJvZHkgcGFydCB3b3JkcwpiZWZv
cmUsIGFuZCBoYWQgdGhvdWdodCBhYm91dCBzb21lIG9mIHRoZW0uIChJIHByZXN1bWUgaGUnZCBw
dXQgc29tZQp0aG91Z2h0IGludG8geydJdnRJSH0gYmVjYXVzZSBpdCBjb250YWlucyBhIHB1bi4p
IEkgZG8ga25vdyB0aGUKY2lyY3Vtc3RhbmNlcyB1bmRlciB3aGljaCBNTyBzdGF0ZWQgdGhhdCB7
UXVqfSB0YWtlcyBhbiBvYmplY3QgYW5kCmFncmVlZCB0aGF0IHtRb2NofSBkb2VzIHRvbywgYW5k
IHRoYXQgd2FzIGluIHRoZSBjb250ZXh0IG9mIGEgcWVwSG9tCndoZXJlIHRyYW5zaXRpdml0eSB3
YXMgb25lIG9mIHRoZSBwcmltYXJ5IHRvcGljcyB1bmRlciBkaXNjdXNzaW9uLCBhbmQKaGUgaGFk
IGF0IGxlYXN0IHRoZSBvcHBvcnR1bml0eSBvZiBhIGZldyBkYXlzIHRvIHRoaW5rIGFib3V0IGl0
IChhbmQKcmV0cmFjdCBhbnl0aGluZyBoZSBjaGFuZ2VkIGhpcyBtaW5kIG9uKS4gSGUgaGFkIGF0
IGxlYXN0IGNvbWUKcHJlcGFyZWQgdG8gc3BlYWsgb24gdGhlIG9iamVjdHMgb2YgdmVyYnMgaGF2
aW5nIHRvIGRvIHdpdGggdHJ1dGgsCmRlY2VwdGlvbiwgcGxheWluZywgYW5kIHByZXRlbnNlLCBh
dCBsZWFzdCBhY2NvcmRpbmcgdG8gbXkgaW1wcmVzc2lvbi4KbG9naGFEJ3Mgc3VnZ2VzdGlvbiBv
ZiB0aGUgdmVyYiB7UW9jaH0gYW5kIE9rcmFuZCdzIHJlYWN0aW9uIHRvIGl0cwp1c2UgbWlnaHQg
aGF2ZSBiZWVuIHNwb250YW5lb3VzLCBidXQgQUZBSUNULCBPa3JhbmQgY29uc2lkZXJlZCBpdCBh
bmQKYWNjZXB0ZWQgaXQgdG8gYmUgYSBjb3JyZWN0IGV4YW1wbGUgb2YgdGhlIGdlbmVyYWwgcHJp
bmNpcGxlIGhlIHdhcwpleHBsYWluaW5nLiBUbyBtZSwgaXQgc2VlbXMgbGlrZSB0aGlzIGlzIGFz
IGZpcm0gYXMgdGhlIGNhbm9uaWNpdHkgb2YKeydJdnRJSH0uIChBbmQgZXNwZWNpYWxseSBzaW5j
ZSwgZnJvbSBteSBwZXJzcGVjdGl2ZSwgeydJdnRJSH0gaXMKaGVhcnNheSwgd2hlcmVhcyBJIHdh
cyB0aGVyZSB3aGVuIE9rcmFuZCBleHBsYWluZWQgYWJvdXQgdmVyYgp0cmFuc2l0aXZpdHkuKSBB
dCB0aGUgc2FtZSBxZXBIb20sIE9rcmFuZCBjb25maXJtZWQgdGhhdCB7Z2h1cn0gYW5kCntudXB9
IGFyZSBpbnRyYW5zaXRpdmUuIEhlIGFsc28gc2FpZCB0aGF0IHtESW5nfSB3b3JrZWQgaW4gdGhl
IHNhbWUKd2F5IGFzIHtqSXJ9IGdyYW1tYXRpY2FsbHkuIChBdCB0aGUgdGltZSwgSSB0aG91Z2h0
IHRoaXMgd2FzIGEKbm9uLWFuc3dlciwgYnV0IHdlIGFjdHVhbGx5IGtuZXcgdGhhdCB7aklyfSBp
cyBpbnRyYW5zaXRpdmUgZnJvbSBLR1QsCndoaWNoIG1lYW5zIHRoYXQge0RJbmd9IGlzIGludHJh
bnNpdGl2ZSkuIFRoZXNlIGZhY3RzIHNlZW0gdG8gaGF2ZQpiZWVuIGFjY2VwdGVkIHdpdGhvdXQg
cmVzZXJ2YXRpb24gd2hlbiBwb3N0ZWQgdG8gdGhlIG1haWxpbmcgbGlzdC4gSXQKc2VlbXMgdGhh
dCB0aGVyZSBpcyBzb21lIGluY29uc2lzdGVuY3kgYmV0d2VlbiB3aGF0IHBlb3BsZSBhcmUgd2ls
bGluZwp0byBhY2NlcHQgYXMgbmV3IGluZm9ybWF0aW9uIGNvbWluZyBmcm9tIE9rcmFuZCBiYXNl
ZCBvbiBoZWFyc2F5LgoKV2hhdCBjYW4gYmUgZG9uZSB0byBmaXggdGhpcz8gSSBhZ3JlZSB0aGF0
LCBpbiB0aGUgYWJzZW5jZSBvZiBmdXJ0aGVyCmluZm9ybWF0aW9uLCBvbmUgaGFzIHRvIGdvIGJ5
IHdoYXQncyBwcmludGVkLiBCdXQgT2tyYW5kIGhhcywgaW4gZmFjdCwKdmVyYmFsbHkgZ2l2ZW4g
dXMgbW9yZSBpbmZvcm1hdGlvbiBhYm91dCBzb21lIHRoaW5ncyB0aGFuIGFyZSBhY3R1YWxseQpw
dWJsaXNoZWQgaW4gcHJpbnQgKG9yIGVsZWN0cm9uaWNhbGx5KS4gQWJzb2x1dGUgcmVmdXNhbCB0
byBhY2NlcHQgYXMKY2Fub24gYW55dGhpbmcgd2hpY2ggaXNuJ3QgaW4gd3JpdGluZyBzcGxpdHMg
dGhlIGNvbW11bml0eSBpbiBhbm90aGVyCndheTogcGVvcGxlIHdobyB3ZXJlIHByZXNlbnQgYXQg
Y2VydGFpbiBjb252ZXJzYXRpb25zIGF0IHFlcEhvbSAyMDExCihpbmNsdWRpbmcgbG9naGFEIGFu
ZCBteXNlbGYpIGNvbnNpZGVyIGl0IGFzIGNvbmZpcm1lZCB0aGF0IGNlcnRhaW4KdmVyYnMgd29y
ayBpbiBjZXJ0YWluIHdheXMsIGJlY2F1c2UgT2tyYW5kIGV4cGxhaW5lZCB0aGVpciB1c2FnZSwg
YW5kCmFuc3dlcmVkIHF1ZXN0aW9ucyB3aGVuIGFza2VkIGFib3V0IHNwZWNpZmljIHZlcmJzIGFu
ZCB3aGV0aGVyIHRoZXkKd29ya2VkIHRoZSB3YXkgaGUgaGFkIGRlc2NyaWJlZC4gQWJzb2x1dGUg
cmVmdXNhbCB0byBnZW5lcmFsaXNlIGZyb20Kc3BlY2lmaWNzIGFsc28gcGFyYWx5c2VzIHRoZSBs
YW5ndWFnZS4gSWYge1F1an0gY2FuIHRha2Uge1F1an0gYXMgYW4Kb2JqZWN0LCBhbmQgaWYge2do
b2J9IGNhbiB0YWtlIHtub0h9IGFzIGFuIG9iamVjdCwgYW5kIGlmIE9rcmFuZCBoYXMKZXhwbGFp
bmVkIHRoYXQgdmVyYnMgb2YgdGhlIGZvcm0gIlt2ZXJiXSBhIFtub3VuXSIgY2FuIHRha2UgdGhp
bmdzIG9mCnR5cGUgIltub3VuXSIgYXMgb2JqZWN0cywgaXQgc3RyaWtlcyBtZSBhcyBnb29kIGV2
aWRlbmNlIHRoYXQge3Jvan0KY2FuIHRha2Uge3Jvan0gYXMgaXRzIG9iamVjdC4gVGhlIG9ubHkg
bGVnaXRpbWF0ZSBvYmplY3Rpb24gaGVyZSBzZWVtcwp0byBiZSB0aGF0IHdoYXQgT2tyYW5kIHNh
eXMgaXNuJ3QgbmVjZXNzYXJpbHkgY2Fub24gdW5sZXNzIGl0J3MgaW4KcHJpbnQuIChJdCAic291
bmRzIG9kZCIgZG9lc24ndCBzdHJpa2UgbWUgYXMgYSBsZWdpdGltYXRlIG9iamVjdGlvbiwKYmVj
YXVzZSBvZiB7UXVqIFF1an0uKSBUaGF0J3MgcGVyZmVjdGx5IGZhaXIsIGJlY2F1c2UgaGUgY2Fu
IHNheQp0aGluZ3Mgd2hpY2ggaGUgbWlnaHQgY2hhbmdlIGhpcyBtaW5kIG9uLiBJdCBtaWdodCBq
dXN0IGJlIHRoYXQge3Jvan0KZG9lc24ndCB3b3JrIHRoZSB3YXkgaGUgZXhwbGFpbmVkIGFib3V0
IG90aGVyIHZlcmJzIGxpa2UgaXQsIGFuZCB0byBiZQpzYWZlIHdlIHNob3VsZCBub3QgYXNzdW1l
IHRoYXQgYW55IHZlcmIgd29ya3MgbGlrZSB0aGlzIHVudGlsIGhlJ3MKZXhwbGljaXRseSBjb25m
aXJtZWQgaXQuIEJ1dCBpZiBoZSBoYXMgc2FpZCBzb21ldGhpbmcgdG8gbXVsdGlwbGUKcGVvcGxl
IGNvbnNpc3RlbnRseSwgYXQgd2hhdCBwb2ludCBjYW4gd2UgY291bnQgaXQgYXMgY2Fub24sIG9y
IGF0CmxlYXN0IGEgdmVyeSBnb29kIGd1aWRlbGluZSBhcyB0byBob3cgdG8gaW50ZXJwcmV0IGNh
bm9uPyBXZSBhcmUgdmVyeQp1bmxpa2VseSB0byByZWNlaXZlIGNhbm9uaWNhbCBleGFtcGxlcyBp
bGx1c3RyYXRpbmcgZXZlcnkgcG9zc2libGUKdXNhZ2Ugb2YgZXZlcnkgdmVyYiwgc28gd2UgaGF2
ZSB0byBtYWtlIGFzc3VtcHRpb25zIG9yIGdlbmVyYWxpc2UKc29tZXdoYXQuCgpJIHdhbnQgdG8g
ZW1waGFzaXNlIHRoYXQgSSAqZG8gbm90IGNhcmUqIGFuZCAqZG8gbm90IGhhdmUgYQpwcmVmZXJl
bmNlKiBmb3Igd2hldGhlciB7SGVnaH0sIHtyb2p9LCBvciBzb21lIG90aGVyIHZlcmJzIGNhbiB0
YWtlCm9iamVjdHMuIEJ1dCBJIGJlbGlldmUgdGhhdCB0aGV5IGRvLCBiYXNlZCBvbiB3aGF0IE1h
cmMgT2tyYW5kIGhhcwp0b2xkIG11bHRpcGxlIHBlb3BsZSBjb25zaXN0ZW50bHkgKG5vdCBqdXN0
IGF0IHRoZSBvbmUgcWVwSG9tKSwgdGhvdWdoCm5vdCBpbiBwcmludC4KCihNYXliZSB0aGUgc29s
dXRpb24gdG8gdGhpcyBpcyBmb3IgbWUgdG8gd3JpdGUgdXAgc29tZXRoaW5nIGFib3V0IHdoYXQK
SSBiZWxpZXZlIE1hcmMgT2tyYW5kIGhhcyBleHBsYWluZWQgYWJvdXQgdHJhbnNpdGl2aXR5IGFu
ZCB2ZXJiCm9iamVjdHMgb24gcHJpb3Igb2NjYXNpb25zLCBhc2sgaGltIHRvIGFwcHJvdmUgb3Ig
Y29ycmVjdCBpdCwgYW5kCmZvcm1hbGx5IHByaW50IGl0IGluIG5leHQgeWVhcidzIHFlcEhvbSBi
b29rbGV0IG9yIHNvbWV0aGluZywgc2luY2UKSG9sUWVEIGRvZXNuJ3QgZXhpc3QgYW55IG1vcmUu
KQoKLS0gCkRlJ3ZJRAoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX18KVGxoaW5nYW4taG9sIG1haWxpbmcgbGlzdApUbGhpbmdhbi1ob2xAa2xpLm9yZwpodHRw
Oi8vbWFpbC5rbGkub3JnL21haWxtYW4vbGlzdGluZm8vdGxoaW5nYW4taG9sCg==
