Return-Path: Received: from [192.168.0.19] (unknown [78.193.84.193]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) (Authenticated sender: andre) by mail.lipn.univ-paris13.fr (Postfix) with ESMTPSA id 2C6A482228; Mon, 26 Jun 2023 11:15:30 +0200 (CEST) Content-Type: multipart/alternative; boundary="------------w55Bz6bTq9tOLryQUNZdnJ2G" Message-ID: <0c06823a-3a0d-a7d8-d785-051f22a7492a@lipn.univ-paris13.fr> Date: Mon, 26 Jun 2023 11:15:29 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Subject: Re: LIPIcs, Volume 262, ECRTS 2023 - Paper No 19 (id: 18401) approved Content-Language: fr, en-US To: publishing@dagstuhl.de Cc: Julio Medina , Sophie Quinton References: From: =?UTF-8?B?w4l0aWVubmUgQW5kcsOp?= Organization: =?UTF-8?Q?Universit=c3=a9_Sorbonne_Paris_Nord?= In-Reply-To: X-LIPN-MailScanner-Information: Please contact the ISP for more information X-LIPN-MailScanner-ID: 2C6A482228.A4D24 X-LIPN-MailScanner: Found to be clean X-LIPN-MailScanner-From: etienne.andre@lipn.univ-paris13.fr X-Spam-Status: No This is a multi-part message in MIME format. --------------w55Bz6bTq9tOLryQUNZdnJ2G Content-Type: text/plain; charset="utf-8"; format="flowed" Content-Transfer-Encoding: base64 RGVhciBEYWdzdHVobCBQdWJsaXNoaW5nIFRlYW0sCgpBcyBhIGtpbmQgcmVtaW5kZXIsIGhvdyBj YW4gd2Ugc2VuZCB5b3UgdGhlIGNoYW5nZXMgcmVxdWVzdHMgYXMgaW5jbHVkZWQgCmluIFNvcGhp ZSdzIGVtYWlsIGJlbG93LCB0byBvdXIgInJlZ3VsYXIiIHBhcGVyIDE4NDAxLCB3aGljaCBvbmUg b2YgdGhlIApudW1lcm91cyBhdXRob3JzIHNlZW1pbmdseSB2YWxpZGF0ZWQgYnkgbWlzdGFrZSBs YXN0IHdlZWs/CgoodGhlICJhcnRpZmFjdCIgcGFwZXIgd2FzIHZhbGlkYXRlZCBub3JtYWxseSBv biBGcmlkYXkgYnkgbXlzZWxmKQoKdGhhbmsgeW91IQoKQmVzdCwKCsOJdGllbm5lIEFuZHLDqQpV bml2ZXJzaXTDqSBTb3Jib25uZSBQYXJpcyBOb3JkCmh0dHBzOi8vbGlwbi51bml2LXBhcmlzMTMu ZnIvfmFuZHJlLwoKTGUgMjMvMDYvMjAyMyDDoCAxNTozNCwgU29waGllIFF1aW50b24gYSDDqWNy aXTCoDoKPgo+IERlYXIgRGFnc3R1aGwgUHVibGlzaGluZyBUZWFtLAo+Cj4gQ2FuIHlvdSBwbGVh c2UgbGV0IG1lIGtub3cgd2hvIGFwcHJvdmVkIHRoZSBwYXBlciBhbmQgYWxzbyBzZW5kIG1lIHRo ZSAKPiByZWxldmFudCBpbmZvcm1hdGlvbiByZWdhcmRpbmcgdGhlIGFzc29jaWF0ZWQgYXJ0aWZh Y3Q/IFRoZXJlIGFyZSBtYW55IAo+IGF1dGhvcnMgb2YgdGhpcyBwYXBlciAoSSBhbSBvbmUgb2Yg dGhlIHRocmVlIGNvcnJlc3BvbmRpbmcgYXV0aG9ycykgCj4gYW5kIEkgd291bGQgbGlrZSB0byBo YXZlIGEgYml0IG9mIHZpc2liaWxpdHkgYXMgdG8gd2hpY2ggY2hhbmdlcyBoYXZlIAo+IGJlZW4g cmVxdWVzdGVkIGJlZm9yZSBhcHByb3ZhbC4KPgo+IEluIHBhcnRpY3VsYXIsIHdlIGhhZCB0aGUg Y2hhbmdlIHJlcXVlc3RzIGJlbG93IGluIHRoZSBwaXBlbGluZToKPgo+ICpGb3IgdGhlIGFydGlm YWN0OioKPgo+ICgxKSBjaGFuZ2UgdGhlIENhbnRhYnJpYSBhZmZpbGlhdGlvbiwgc28gdGhhdCBp dCBsb29rcyBsaWtlIAo+ICJVbml2ZXJzaWRhZCBkZSBDYW50YWJyaWEiCj4KPiAoMikgdGhlIGxh c3QgbGluZSBpbiBwYWdlIDMgc2F5czogImEgemlwIGZpbGUgd2l0aCBhbGwgdGhlIG1vZGVscyB1 c2VkIAo+IFs5XTogbWFzdG1vZGVscy56aXAuIiwgd2Ugd291bGQgbGlrZSBpdCB0byBzYXk6ICJh IHppcCBmaWxlIHdpdGggYWxsIAo+IHRoZSBtb2RlbHMgdXNlZCBhbmQgdGhlIHJlc3VsdHMgb2J0 YWluZWQgWzldOiBtYXN0bW9kZWxzLnppcC4iCj4KPiAoMykgSW4gdGhlIG5hbWUgb2YgSnVhbiBS aXZhcyBwbGVhc2UgYWRkIHRoZSBpbml0aWFsIE0gc28gdGhhdCBpdCAKPiBsb29rcyBsaWtlICJK dWFuIE0uIFJpdmFzIi4KPgo+ICpGb3IgdGhlIHBhcGVyOioKPgo+ICoqCj4KPiAoMSkgY2hhbmdl IHRoZSBDYW50YWJyaWEgYWZmaWxpYXRpb24sIHNvIHRoYXQgaXQgbG9va3MgbGlrZSAKPiAiVW5p dmVyc2lkYWQgZGUgQ2FudGFicmlhIgo+Cj4gKDIpIG1vdmUgdGhlIGNvcnJlc3BvbmRpbmcgYXV0 aG9yIGZvb3Rub3RlIGJlbG93IHRoZSBsaXN0IG9mIGF1dGhvcnMgCj4gdG8gYXZvaWQgdGhlIHN0 cmFuZ2UgZ2FwIGluIHRoZSBsZWZ0IGNvbHVtbiBvZiBhdXRob3IgbmFtZXMuCj4KPiAoMykgSW4g dGhlIG5hbWUgb2YgSnVhbiBSaXZhcyBwbGVhc2UgYWRkIHRoZSBpbml0aWFsIE0gc28gdGhhdCBp dCAKPiBsb29rcyBsaWtlICJKdWFuIE0uIFJpdmFzIi4KPgo+ICg0KSBJcyBpdCBwb3NzaWJsZSB0 byBhZGQgdGhlIGFja25vd2xlZGdlbWVudHMvZnVuZGluZyBwYXJhZ3JhcGhzPyAKPiBMaWtlIHRo ZSBhcnRpZmFjdCBwZGYsIHdoaWNoIGhhcyB0aGF0IGdyZXkgZnJhbWUgd2l0aCBzb21lIG1ldGFk YXRhIGxpa2U6Cj4KPiBGdW5kaW5nIMOJdGllbm5lIEFuZHLDqTogUGFydGlhbGx5IHN1cHBvcnRl ZCBieSB0aGUgQU5SLU5SRiAKPiBGcmVuY2gtU2luZ2Fwb3JlYW4gcmVzZWFyY2ggcHJvZ3JhbQo+ IFByb01pUyAoQU5SLTE5LUNFMjUtMDAxNSAvIDIwMTkgQU5SIE5SRiAwMDkyKSBhbmQgQU5SIEJp c29VUyAKPiAoQU5SLTIyLUNFNDgtMDAxMikuCj4KPiBBY2tub3dsZWRnZW1lbnRzIFRoaXMgd29y ayB3YXMgcGFydGlhbGx5IHN1cHBvcnRlZCBieSBNQ0lOLyBBRUkgCj4gLzEwLjEzMDM5LzUwMTEw MDAxMTAzMy8gRkVERVIKPiDigJxVbmEgbWFuZXJhIGRlIGhhY2VyIEV1cm9wYeKAnSB1bmRlciBn cmFudCBQSUQyMDIxLTEyNDUwMk9CLUM0MiAKPiAoUFJFU0VDUkVMKSBhbmQgYnkgdGhlIEFJRE9h UnQKPiBwcm9qZWN0LCBhbiBFQ1NFTCBKb2ludCBVbmRlci10YWtpbmcgKEpVKSB1bmRlciBncmFu dCBhZ3JlZW1lbnQgTm8uIAo+IDEwMTAwNzM1MC4KPgo+IE9uIHRoZSBDYW50YWJyaWEgc2lkZSwg YXQgbGVhc3QgdGhlIEFja25vd2xlZGdlbWVudHMgcGFyYWdyYXBoIHNob3VsZCAKPiBiZSBhZGRl ZC4KPgo+IFByb2JhYmx5IGZyb20gw4l0aWVubmUncyBzaWRlIHRoZSBkZW5vbWluYXRlZCBGdW5k aW5nIHBhcmFncmFwaCBzaG91bGQgCj4gYXBwZWFyIGFsc28uCj4KPiBJIENDIEp1bGlvIGFuZCDD iXRpZW5uZSwgYXMgdGhleSBhcmUgdGhlIG1vc3QgZGlyZWN0bHkgaW1wYWN0ZWQgYnkgdGhpcy4K Pgo+IEJlc3QgcmVnYXJkcyBhbmQgc29ycnkgZm9yIHRoZSBtZXNzLAo+IFNvcGhpZQo+Cj4gT24g MjMvMDYvMjAyMyAxNTowNCwgcHVibGlzaGluZ0BkYWdzdHVobC5kZSB3cm90ZToKPj4gRGVhciBT b3BoaWUgUXVpbnRvbiwKPj4KPj4gVGhhbmsgeW91IGZvciBhcHByb3ZpbmcgdGhlIHBhcGVyCj4+ Cj4+ICBGcm9tIEZNVFYgdG8gV0FURVJTOiBMZXNzb25zIExlYXJuZWQgZnJvbSB0aGUgRmlyc3Qg VmVyaWZpY2F0aW9uIENoYWxsZW5nZSBhdCBFQ1JUUwo+PiB0byBhcHBlYXIgaW4gTElQSWNzLCBW b2x1bWUgMjYyLCBFQ1JUUyAyMDIzLgo+Pgo+PiBXZSB3aWxsIG5vdGlmeSB5b3UgYXMgc29vbiBh cyB0aGUgdm9sdW1lIGlzIG9mZmljaWFsbHkgcHVibGlzaGVkLgo+Pgo+PiBTaW5jZXJlbHksCj4+ IFlvdXIgRGFnc3R1aGwgUHVibGlzaGluZyBUZWFtCj4gLS0gCj4gLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQo+IFNvcGhpZSBRdWludG9uCj4gSU5SSUEgR3Jlbm9ibGUgLSBS aMO0bmUtQWxwZXMKPiA2NTUgQXZlbnVlIGRlIGwnRXVyb3BlIC0gTW9udGJvbm5vdAo+IDM4MzM0 IFN0IElzbWllciBDZWRleCAtIEZSQU5DRQo+IGh0dHBzOi8vdGVhbS5pbnJpYS5mci9zcGFkZXMv cXVpbnRvbi8KPiAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t --------------w55Bz6bTq9tOLryQUNZdnJ2G Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWw+CiAgPGhlYWQ+CiAgICA8bWV0YSBodHRwLWVxdWl2PSJDb250ZW50LVR5cGUiIGNvbnRl bnQ9InRleHQvaHRtbDsgY2hhcnNldD1VVEYtOCI+CiAgPC9oZWFkPgogIDxib2R5PgogICAgPHA+ RGVhciBEYWdzdHVobCBQdWJsaXNoaW5nIFRlYW0sPC9wPgogICAgPHA+QXMgYSBraW5kIHJlbWlu ZGVyLCBob3cgY2FuIHdlIHNlbmQgeW91IHRoZSBjaGFuZ2VzIHJlcXVlc3RzIGFzCiAgICAgIGlu Y2x1ZGVkIGluIFNvcGhpZSdzIGVtYWlsIGJlbG93LCB0byBvdXIgInJlZ3VsYXIiIHBhcGVyIDE4 NDAxLAogICAgICB3aGljaCBvbmUgb2YgdGhlIG51bWVyb3VzIGF1dGhvcnMgc2VlbWluZ2x5IHZh bGlkYXRlZCBieSBtaXN0YWtlCiAgICAgIGxhc3Qgd2Vlaz88L3A+CiAgICA8cD4odGhlICJhcnRp ZmFjdCIgcGFwZXIgd2FzIHZhbGlkYXRlZCBub3JtYWxseSBvbiBGcmlkYXkgYnkgbXlzZWxmKTwv cD4KICAgIDxwPnRoYW5rIHlvdSE8L3A+CiAgICA8cD5CZXN0LDxicj4KICAgIDwvcD4KICAgIDxw PjwvcD4KICAgIDxwcmUgY2xhc3M9Im1vei1zaWduYXR1cmUiIGNvbHM9IjcyIj7DiXRpZW5uZSBB bmRyw6kKVW5pdmVyc2l0w6kgU29yYm9ubmUgUGFyaXMgTm9yZAo8YSBjbGFzcz0ibW96LXR4dC1s aW5rLWZyZWV0ZXh0IiBocmVmPSJodHRwczovL2xpcG4udW5pdi1wYXJpczEzLmZyL35hbmRyZS8i Pmh0dHBzOi8vbGlwbi51bml2LXBhcmlzMTMuZnIvfmFuZHJlLzwvYT4KPC9wcmU+CiAgICA8ZGl2 IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPkxlIDIzLzA2LzIwMjMgw6AgMTU6MzQsIFNvcGhpZSBR dWludG9uIGEKICAgICAgw6ljcml0wqA6PGJyPgogICAgPC9kaXY+CiAgICA8YmxvY2txdW90ZSB0 eXBlPSJjaXRlIgogICAgICBjaXRlPSJtaWQ6YWI2YjQ0ZmItZjRmMi0yYTU3LTFiOGQtMjU5YTk1 YWYxMWNlQGlucmlhLmZyIj4KICAgICAgPG1ldGEgaHR0cC1lcXVpdj0iQ29udGVudC1UeXBlIiBj b250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9VVRGLTgiPgogICAgICA8cD5EZWFyIERhZ3N0dWhs IFB1Ymxpc2hpbmcgVGVhbSw8L3A+CiAgICAgIDxwPkNhbiB5b3UgcGxlYXNlIGxldCBtZSBrbm93 IHdobyBhcHByb3ZlZCB0aGUgcGFwZXIgYW5kIGFsc28gc2VuZAogICAgICAgIG1lIHRoZSByZWxl dmFudCBpbmZvcm1hdGlvbiByZWdhcmRpbmcgdGhlIGFzc29jaWF0ZWQgYXJ0aWZhY3Q/CiAgICAg ICAgVGhlcmUgYXJlIG1hbnkgYXV0aG9ycyBvZiB0aGlzIHBhcGVyIChJIGFtIG9uZSBvZiB0aGUg dGhyZWUKICAgICAgICBjb3JyZXNwb25kaW5nIGF1dGhvcnMpIGFuZCBJIHdvdWxkIGxpa2UgdG8g aGF2ZSBhIGJpdCBvZgogICAgICAgIHZpc2liaWxpdHkgYXMgdG8gd2hpY2ggY2hhbmdlcyBoYXZl IGJlZW4gcmVxdWVzdGVkIGJlZm9yZQogICAgICAgIGFwcHJvdmFsLjwvcD4KICAgICAgPHA+SW4g cGFydGljdWxhciwgd2UgaGFkIHRoZSBjaGFuZ2UgcmVxdWVzdHMgYmVsb3cgaW4gdGhlCiAgICAg ICAgcGlwZWxpbmU6PC9wPgogICAgICA8Yj5Gb3IgdGhlIGFydGlmYWN0OjwvYj4KICAgICAgPHA+ KDEpIGNoYW5nZSB0aGUgQ2FudGFicmlhIGFmZmlsaWF0aW9uLCBzbyB0aGF0IGl0IGxvb2tzIGxp a2UKICAgICAgICAiVW5pdmVyc2lkYWQgZGUgQ2FudGFicmlhIjxicj4KICAgICAgPC9wPgogICAg ICA8cD4oMikgdGhlIGxhc3QgbGluZSBpbiBwYWdlIDMgc2F5czogImEgemlwIGZpbGUgd2l0aCBh bGwgdGhlCiAgICAgICAgbW9kZWxzIHVzZWQgWzldOiBtYXN0bW9kZWxzLnppcC4iLCB3ZSB3b3Vs ZCBsaWtlIGl0IHRvIHNheTogImEKICAgICAgICB6aXAgZmlsZSB3aXRoIGFsbCB0aGUgbW9kZWxz IHVzZWQgYW5kIHRoZSByZXN1bHRzIG9idGFpbmVkIFs5XToKICAgICAgICBtYXN0bW9kZWxzLnpp cC4iPC9wPgogICAgICA8cD4oMykgSW4gdGhlIG5hbWUgb2YgSnVhbiBSaXZhcyBwbGVhc2UgYWRk IHRoZSBpbml0aWFsIE0gc28gdGhhdAogICAgICAgIGl0IGxvb2tzIGxpa2UgIkp1YW4gTS4gUml2 YXMiLsKgIDwvcD4KICAgICAgPHA+PGI+Rm9yIHRoZSBwYXBlcjo8L2I+PC9wPgogICAgICA8Yj4g PC9iPgogICAgICA8cD4oMSkgY2hhbmdlIHRoZSBDYW50YWJyaWEgYWZmaWxpYXRpb24sIHNvIHRo YXQgaXQgbG9va3MgbGlrZQogICAgICAgICJVbml2ZXJzaWRhZCBkZSBDYW50YWJyaWEiPGJyPgog ICAgICA8L3A+CiAgICAgICgyKSBtb3ZlIHRoZSBjb3JyZXNwb25kaW5nIGF1dGhvciBmb290bm90 ZSBiZWxvdyB0aGUgbGlzdCBvZgogICAgICBhdXRob3JzIHRvIGF2b2lkIHRoZSBzdHJhbmdlIGdh cCBpbiB0aGUgbGVmdCBjb2x1bW4gb2YgYXV0aG9yCiAgICAgIG5hbWVzLjxicj4KICAgICAgPHA+ KDMpIEluIHRoZSBuYW1lIG9mIEp1YW4gUml2YXMgcGxlYXNlIGFkZCB0aGUgaW5pdGlhbCBNIHNv IHRoYXQKICAgICAgICBpdCBsb29rcyBsaWtlICJKdWFuIE0uIFJpdmFzIi7CoCA8L3A+CiAgICAg IDxwPig0KSBJcyBpdCBwb3NzaWJsZSB0byBhZGQgdGhlIGFja25vd2xlZGdlbWVudHMvZnVuZGlu ZwogICAgICAgIHBhcmFncmFwaHM/IExpa2UgdGhlIGFydGlmYWN0IHBkZiwgd2hpY2ggaGFzIHRo YXQgZ3JleSBmcmFtZQogICAgICAgIHdpdGggc29tZSBtZXRhZGF0YSBsaWtlOjwvcD4KICAgICAg PHA+RnVuZGluZyDDiXRpZW5uZSBBbmRyw6k6IFBhcnRpYWxseSBzdXBwb3J0ZWQgYnkgdGhlIEFO Ui1OUkYKICAgICAgICBGcmVuY2gtU2luZ2Fwb3JlYW4gcmVzZWFyY2ggcHJvZ3JhbTxicj4KICAg ICAgICBQcm9NaVMgKEFOUi0xOS1DRTI1LTAwMTUgLyAyMDE5IEFOUiBOUkYgMDA5MikgYW5kIEFO UiBCaXNvVVMKICAgICAgICAoQU5SLTIyLUNFNDgtMDAxMikuPC9wPgogICAgICA8cD5BY2tub3ds ZWRnZW1lbnRzIFRoaXMgd29yayB3YXMgcGFydGlhbGx5IHN1cHBvcnRlZCBieSBNQ0lOLyBBRUkK ICAgICAgICAvMTAuMTMwMzkvNTAxMTAwMDExMDMzLyBGRURFUjxicj4KICAgICAgICDigJxVbmEg bWFuZXJhIGRlIGhhY2VyIEV1cm9wYeKAnSB1bmRlciBncmFudCBQSUQyMDIxLTEyNDUwMk9CLUM0 MgogICAgICAgIChQUkVTRUNSRUwpIGFuZCBieSB0aGUgQUlET2FSdDxicj4KICAgICAgICBwcm9q ZWN0LCBhbiBFQ1NFTCBKb2ludCBVbmRlci10YWtpbmcgKEpVKSB1bmRlciBncmFudCBhZ3JlZW1l bnQKICAgICAgICBOby4gMTAxMDA3MzUwLjwvcD4KICAgICAgPHA+T24gdGhlIENhbnRhYnJpYSBz aWRlLCBhdCBsZWFzdCB0aGUgQWNrbm93bGVkZ2VtZW50cyBwYXJhZ3JhcGgKICAgICAgICBzaG91 bGQgYmUgYWRkZWQuPC9wPgogICAgICA8cD5Qcm9iYWJseSBmcm9tIMOJdGllbm5lJ3Mgc2lkZSB0 aGUgZGVub21pbmF0ZWQgRnVuZGluZyBwYXJhZ3JhcGgKICAgICAgICBzaG91bGQgYXBwZWFyIGFs c28uPC9wPgogICAgICA8cD5JIENDIEp1bGlvIGFuZCDDiXRpZW5uZSwgYXMgdGhleSBhcmUgdGhl IG1vc3QgZGlyZWN0bHkgaW1wYWN0ZWQKICAgICAgICBieSB0aGlzLjwvcD4KICAgICAgPHA+QmVz dCByZWdhcmRzIGFuZCBzb3JyeSBmb3IgdGhlIG1lc3MsPGJyPgogICAgICAgIFNvcGhpZTxicj4K ICAgICAgPC9wPgogICAgICA8ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDIzLzA2LzIw MjMgMTU6MDQsIDxhCiAgICAgICAgICBjbGFzcz0ibW96LXR4dC1saW5rLWFiYnJldmlhdGVkIG1v ei10eHQtbGluay1mcmVldGV4dCIKICAgICAgICAgIGhyZWY9Im1haWx0bzpwdWJsaXNoaW5nQGRh Z3N0dWhsLmRlIiBtb3otZG8tbm90LXNlbmQ9InRydWUiPnB1Ymxpc2hpbmdAZGFnc3R1aGwuZGU8 L2E+CiAgICAgICAgd3JvdGU6PGJyPgogICAgICA8L2Rpdj4KICAgICAgPGJsb2NrcXVvdGUgdHlw ZT0iY2l0ZSIKICAgICAgICBjaXRlPSJtaWQ6ZmFhMGVkZmU3NjllNGJlY2M3MDM4NWZiZDkxZmYw YTRAZGFnc3R1aGwuZGUiPgogICAgICAgIDxwcmUgY2xhc3M9Im1vei1xdW90ZS1wcmUiIHdyYXA9 IiI+RGVhciBTb3BoaWUgUXVpbnRvbiwKClRoYW5rIHlvdSBmb3IgYXBwcm92aW5nIHRoZSBwYXBl cgoKPkZyb20gRk1UViB0byBXQVRFUlM6IExlc3NvbnMgTGVhcm5lZCBmcm9tIHRoZSBGaXJzdCBW ZXJpZmljYXRpb24gQ2hhbGxlbmdlIGF0IEVDUlRTCnRvIGFwcGVhciBpbiBMSVBJY3MsIFZvbHVt ZSAyNjIsIEVDUlRTIDIwMjMuCgpXZSB3aWxsIG5vdGlmeSB5b3UgYXMgc29vbiBhcyB0aGUgdm9s dW1lIGlzIG9mZmljaWFsbHkgcHVibGlzaGVkLgoKU2luY2VyZWx5LApZb3VyIERhZ3N0dWhsIFB1 Ymxpc2hpbmcgVGVhbQo8L3ByZT4KICAgICAgPC9ibG9ja3F1b3RlPgogICAgICA8cHJlIGNsYXNz PSJtb3otc2lnbmF0dXJlIiBjb2xzPSI3MiI+LS0gCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0KU29waGllIFF1aW50b24KSU5SSUEgR3Jlbm9ibGUgLSBSaMO0bmUtQWxwZXMK NjU1IEF2ZW51ZSBkZSBsJ0V1cm9wZSAtIE1vbnRib25ub3QKMzgzMzQgU3QgSXNtaWVyIENlZGV4 IC0gRlJBTkNFCjxhIGNsYXNzPSJtb3otdHh0LWxpbmstZnJlZXRleHQiIGhyZWY9Imh0dHBzOi8v dGVhbS5pbnJpYS5mci9zcGFkZXMvcXVpbnRvbi8iIG1vei1kby1ub3Qtc2VuZD0idHJ1ZSI+aHR0 cHM6Ly90ZWFtLmlucmlhLmZyL3NwYWRlcy9xdWludG9uLzwvYT4KLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLTwvcHJlPgogICAgPC9ibG9ja3F1b3RlPgogIDwvYm9keT4KPC9o dG1sPgo= --------------w55Bz6bTq9tOLryQUNZdnJ2G--