Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Jeff Barnett <jbb@notatt.com>
Newsgroups: comp.theory
Subject: Re: Proof that DDD specifies non-halting behavior --- Mike correcting
 Joes and thus Fred too
Date: Fri, 16 Aug 2024 15:03:43 -0600
Organization: A noiseless patient Spider
Lines: 140
Message-ID: <v9oerj$1iiu2$1@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me>
 <561f876601b0329c0260bac26f8b6dfb6e28647f@i2pn2.org>
 <v9h5af$9jn6$1@dont-email.me>
 <bdfcf881b9a9ce7e2bc197339d14a01beae1116d@i2pn2.org>
 <XYucnXqdgeWiVSH7nZ2dnZfqn_adnZ2d@brightview.co.uk>
 <b8a96bbfe0516cf99b6f38c23fb4eccc3810ee7e@i2pn2.org>
 <v9krc5$uqhs$1@dont-email.me> <v9l7hf$vao1$3@dont-email.me>
 <v9laed$113gd$2@dont-email.me>
 <EbecnaOe1ajC1yP7nZ2dnZfqn_idnZ2d@brightview.co.uk>
 <v9llh9$12l6c$2@dont-email.me> <v9mt9h$1bdeu$3@dont-email.me>
 <P6-cnWf3Z5zzLyL7nZ2dnZfqnPudnZ2d@brightview.co.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
Injection-Date: Fri, 16 Aug 2024 23:03:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1ee6f0fa46e4415f59cf07247640b013";
	logging-data="1657794"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18y0KCYMqWLSSw7/WMgW6OVytmfZ17KLUI="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:r2mAseqPb8AKP3qB48igfU6xlhg=
In-Reply-To: <P6-cnWf3Z5zzLyL7nZ2dnZfqnPudnZ2d@brightview.co.uk>
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: AVG (VPS 240816-2, 8/16/2024), Outbound message
Bytes: 12049

T24gOC8xNi8yMDI0IDI6MTEgUE0sIE1pa2UgVGVycnkgd3JvdGU6DQo+IE9uIDE2LzA4LzIw
MjQgMDc6NTcsIEZyZWQuIFp3YXJ0cyB3cm90ZToNCiAgICAgICAgPEJJRyBTTklQPg0KPj4g
SXQgaXMgY2xlYXIgdGhhdCBvbGNvdHQgZG9lcyBub3QgcmVhbGx5IHJlYWQgd2hhdCBJIHdy
aXRlLiAoT3IgaXMgdmVyeSANCj4+IHNob3J0IG9mIG1lbW9yeS4pDQo+PiBJIG5ldmVyIHNh
aWQgc3VjaCBhIHRoaW5nLg0KPj4gSSByZXBlYXRlZGx5IHRvbGQgdGhhdCB0aGUgc2ltdWxh
dGluZyBISEggYWJvcnRlZCB3aGVuIHRoZSBzaW11bGF0ZWQgDQo+PiBISEggaGFkIG9ubHkg
b25lIGN5Y2xlIHRvIGdvLiBJIG5ldmVyIHNhaWQgdGhhdCB0aGUgc2ltdWxhdGVkIEhISCAN
Cj4+IHJlYWNoZWQgaXQgYWJvcnQgYW5kIGhhbHRlZC4NCj4+IEluIGZhY3QsIEkgc2FpZCB0
aGF0IHRoZSBmYWN0IHRoYXQgdGhlIHNpbXVsYXRpb24gZmFpbHMgdG8gcmVhY2ggdGhlIA0K
Pj4gYWJvcnQgYW5kIGhhbHQgb2YgdGhlIHNpbXVsYXRlZCBISEggcHJvdmVzIHRoYXQgdGhl
IHNpbXVsYXRpb24gaXMgDQo+PiBpbmNvbXBsZXRlIGFuZCBpbmNvcnJlY3QsIGJlY2F1c2Ug
YSBjb21wbGV0ZSBzaW11bGF0aW9uIChzdWNoIGFzIGJ5IA0KPj4gSEhIMSkgc2hvd3MgdGhh
dCB0aGUgc2ltdWxhdGVkIEhISCB3b3VsZCBhYm9ydCBhbmQgaGFsdC4NCj4+DQo+PiBJdCBu
b3cgYmVjb21lcyBjbGVhciB0aGF0IHlvdSBlaXRoZXIgbmV2ZXIgdW5kZXJzdG9vZCB3aGF0
IEkgc2FpZCwgb3IgDQo+PiB5b3VyIG1lbW9yeSBpcyBpbmRlZWQgdmVyeSBzaG9ydC4NCj4+
IEdpdmUgaXQgc29tZSB0aW1lIHRvIHRoaW5rIGFib3V0IHdoYXQgSSBzYXksIHRyeSB0byBl
c2NhcGUgZnJvbSANCj4+IHJlYnV0dGFsIG1vZGUsIGluc3RlYWQgb2YgaWdub3JpbmcgaXQg
aW1tZWRpYXRlbHkuDQo+IA0KPiBUaGF0J3MgYWxsIGNvcnJlY3QuwqAgR29pbmcgZnVydGhl
ciBJJ2xsIHN1Z2dlc3QgdGhhdCBQTyByZWFsbHkgZG9lc24ndCANCj4gInVuZGVyc3RhbmQi
IC9hbnl0aGluZy8gd2l0aCBhbiBhYnN0cmFjdCAvIGxvZ2ljYWwgLyBtYXRoZW1hdGljYWwg
DQo+IGNvbnRlbnQuwqAgSGUgY2FuJ3QgdW5kZXJzdGFuZCBkZWZpbml0aW9ucyBvciB0aGVp
ciByb2xlIGluIHByb29mcywgb3IgDQo+IHRoZSByb2xlIG9mIHByb29mcyBpbiBlc3RhYmxp
c2hpbmcga25vd2xlZGdlLsKgIEknbSBub3Qga2lkZGluZyBvciBiZWluZyANCj4gcnVkZSBv
ciBhbnl0aGluZyBsaWtlIHRoYXQgLSBpdCdzIHNpbXBseSB0aGUgd2F5IGhpcyBicmFpbiB3
b3Jrcy7CoCAqT2YgDQo+IGNvdXJzZSogUE8gZG9lcyBub3QgInJlYWxseSByZWFkIHdoYXQg
eW91IHdyaXRlIi7CoCBTdXJlbHkgeW91IG11c3QgaGF2ZSANCj4gYXQgbGVhc3Qgc3VzcGVj
dGVkIHRoaXMgZm9yIGEgbG9uZyB0aW1lPyHCoCBbSSBkb24ndCBub3RpY2UgYW55IHByb2Js
ZW0gDQo+IHdpdGggUE8ncyBtZW1vcnkuXQ0KPiANCj4gRm9yIFBPIGl0J3MgYWxsIGp1c3Qg
InRoaW5ncyBoZSB0aGlua3MgYXJlIHRydWUiLCBha2EgaGlzIGludHVpdGlvbnMuICANCj4g
VGhvc2Ugd2lsbCBub3QgY2hhbmdlIGFzIGEgcmVzdWx0IG9mIGFueSByZWFzb25pbmcgcHJl
c2VudGVkIHRvIGhpbSwgDQo+IGJlY2F1c2UsIGxpdGVyYWxseSwgUE8gZG9lcyBub3QgcmVn
aXN0ZXIgYW55IHJlYXNvbmluZyBnb2luZyBvbi7CoCBJdCdzIA0KPiBpbXBvc3NpYmxlIHRv
IGZ1bGx5IGltYWdpbmUgIndoYXQgaXQncyBsaWtlIHRvIGJlIFBPIiwganVzdCBsaWtlIGEg
DQo+IHNlZWluZyBwZXJzb24gY2FuJ3QgL3RydWx5LyBpbWFnaW5lIGhvdyBzYXkgYSBibGlu
ZCBwZXJzb24gb3IgDQo+IHNjaGl6b3BocmVuaWMgcGVyY2VpdmVzIHRoZSB3b3JsZCAtIGJ1
dCBhcyBhIHN0YXJ0ZXIsIGltYWdpbmUgeW91J3JlIA0KPiBoZWFyaW5nIGEgZm9yZWlnbiBs
YW5ndWFnZSBhbmQgZG9uJ3QgdW5kZXJzdGFuZCB0aGUgd29yZHMgYmVpbmcgdXNlZC4gIA0K
PiBPSywgeW91IHJlY29nbmlzZSB0aGUgb2RkIHdvcmQgdGhyb3VnaCByZXBldGl0aW9uLCBh
bmQgb3ZlciB0aW1lIHlvdSd2ZSANCj4gZm9ybWVkIHlvdXIgb3duIChpbmNvbXBsZXRlIGFu
ZCBvZnRlbiBpbmNvcnJlY3QpIG9waW5pb25zIG9mICJ3aGF0IHRoZSANCj4gd29yZHMgYXJl
IHRvIGRvIHdpdGgiLCBidXQgdGhhdCdzIGFsbC7CoCBZb3UgY29udmluY2UgeW91cnNlbGYg
eW91IA0KPiB1bmRlcnN0YW5kICJ3aGF0IHRoZSB3b3JkcyBhY3R1YWxseSBtZWFuIiBidXQg
dGhhdCdzIGEgZGVsdXNpb24hwqAgV2hlbiANCj4gcGVvcGxlIHJlcGx5IHRvIHdoYXQgeW91
IHNheSwgeW91IGRvbid0ICJ1bmRlcnN0YW5kIiB3aGF0IHRoZXkncmUgcmVhbGx5IA0KPiBz
YXlpbmcuwqAgb2ssIHlvdSByZWNvZ25pc2Ugc29tZSBvZiB0aGUga2V5d29yZHMsIGFuZCBj
YW4gdGVsbCBmcm9tIHRoZSANCj4gdG9uZSBvZiB0aGUgcmVwbHkgd2hldGhlciB0aGV5IGFy
ZSBhZ3JlZWluZyBvciBkaXNhZ3JlZWluZyB3aXRoIHlvdSwgYnV0IA0KPiB0aGF0J3MgYWJv
dXQgaXQhwqAgWW91IHJlY29nbmlzZSBzb21lIG9mIHRoZSBjb21tb24gb2JqZWN0aW9ucyBw
ZW9wbGUgDQo+IGJyaW5nIHVwLCBhbmQgb3ZlciB0aW1lIHlvdSd2ZSBkZXZlbG9wZWQgc3Rv
Y2sgcGhyYXNlcyB0byByZXBlYXQgYmFjayB0byANCj4gdGhlbSwgYnV0IHRoZXJlJ3Mgbm8g
ImxvZ2ljIiBpbnZvbHZlZC7CoCBZb3UgZG9uJ3QgdGhpbmsgYWxsIHRoaXMgaXMgDQo+IHN0
cmFuZ2UsIGJlY2F1c2UgaXQncyBhbHdheXMgYmVlbiB0aGlzIHdheSBmb3IgeW91LsKgIFlv
dSBkb24ndCBldmVuIA0KPiByZWFsaXNlIGl0J3MgZGlmZmVyZW50IGZvciBldmVyeWJvZHkg
ZWxzZS4uLg0KPiANCj4gVGhlIGFuYWxvZ3kgaXNuJ3QgcGVyZmVjdCwgYmVjYXVzZSBhcyBh
IGZvcmVpZ25lciB5b3Ugd291bGQgc3RpbGwgYmUgDQo+IGZ1bGx5IGNhcGFibGUgb2YgcmVh
c29uaW5nLCBhbmQgeW91IHdvdWxkIHJlYWxpc2UgdGhhdCB5b3UgZG9uJ3QgDQo+IHVuZGVy
c3RhbmQga2V5IHBvaW50cyBhbmQgc28gb24uwqAgSW5zdGVhZCBvZiBhIGxhY2sgb2YgbGFu
Z3VhZ2UgDQo+IHVuZGVyc3RhbmRpbmcsIHRoZSBhbmFsb2d5IHNob3VsZCB1c2UgYSAibGFj
ayBvZiByZWFzb25pbmcgYWJpbGl0eSIgDQo+IHRoZW1lIG9yIHNvbWV0aGluZyBlcXVhbGx5
IGZ1bmRhbWVudGFsLCBidXQgdGhhdCdzIG5vdCBhIGNvbW1vbiANCj4gc2l0dWF0aW9uIHBl
b3BsZSBjYW4gYXBwcmVjaWF0ZSAtIHByYWN0aWNhbGx5IC9ldmVyeWJvZHkvIGluIG91ciBs
aXZlcyANCj4gdGhhdCB3ZSBpbnRlcmFjdCB3aXRoIGhhcyBhbiBhYmlsaXR5IHRvIHJlYXNv
biBjb3JyZWN0bHksIHVuZGVyc3RhbmQgDQo+IGRlZmluaXRpb25zLCB1bmRlcnN0YW5kIHdo
YXQgcGVvcGxlIGFyZSBzYXlpbmcgdG8gdGhlbSBhbmQgd2hhdCB0aGVpciANCj4gYmVsaWVm
cyBhcmUgZXRjLi7CoCBCdXQgUE8gaXMgcmVhbGx5IG5vdCBsaWtlIGFsbCB0aG9zZSBub3Jt
YWwgcGVvcGxlIQ0KPiANCj4gSWYgeW91IGV4cGVjdCB0byBzdWRkZW5seSBjb252aW5jZSBQ
TyBoZSBpcyB3cm9uZywgdGhhdCB3b24ndCBoYXBwZW4uICANCj4gSG93IHRvIGRpc3BlbGwg
YSBmYWxzZSBpbnR1aXRpb24gd2l0aG91dCB1c2luZyByZWFzb25pbmc/wqAgSWYgeW91IGV4
cGVjdCANCj4gdG8gcHJvdmUgdGhhdCBQTyBpcyB3cm9uZywgaGV5IHRoYXQncyBlYXN5IGVu
b3VnaCwgYnV0IG5vdCByZWFsbHkgDQo+IG5lZWRlZCHCoCBOb2JvZHkgd2l0aCBhbnkgdW5k
ZXJzdGFuZGluZyBvZiBIUCBwcm9ibGVtIGlzIHRha2VuIGluIGJ5IFBPJ3MgDQo+IGR1ZmZl
ciBzcGVhay7CoCBFdmVudHVhbGx5IG1vc3QgcG9zdGVycyBqdXN0IGdldCBib3JlZCByZXBl
YXRpbmcgdGhlIHNhbWUgDQo+IGV4cGxhbmF0aW9ucyB0byBoaW0gb3ZlciBhbmQgb3Zlciwg
YW5kIHVtbSBzdG9wIGRvaW5nIGl0LsKgIFtJdCBjYW4gdGFrZSANCj4geWVhcnMgdG8gZ2V0
IHRvdGhhdCBwb2ludC4uLl0NCj4gDQo+IFBlcmhhcHMgYSBjYXNlIGNvdWxkIGJlIG1hZGUg
dGhhdCBjb250aW51YWxseSBkZW1hbmRpbmcgUE8gInByb3ZlcyIgaGlzIA0KPiBjbGFpbXMg
aXMgYSBmb3JtIG9mICJjcnVlbCBhbmQgdW51c3VhbCBwdW5pc2htZW50IiBhcyBldmVyeWJv
ZHkgaGVyZSBieSANCj4gbm93IG11c3QgYXBwcmVjaWF0ZSB0aGF0J3MgZmFyIGJleW9uZCBo
aXMgaW50ZWxsZWN0dWFsIGNhcGFiaWxpdGllcy7CoCBPciANCj4gYXMgYSB3b3JzdCBjYXNl
LCBwZXJoYXBzIGl0IG1pZ2h0IGJlIGNvbXBhcmVkIHdpdGggInRhdW50aW5nIiBhIG1lbnRh
bGx5IA0KPiBoYW5kaWNhcHBlZCAob3IgYXQgbGVhc3QgbWVudGFsbHkgaWxsKSBwZXJzb24s
IHdoaWNoIGlzIG9idmlvdXNseSBub3QgDQo+IG5pY2UgYXQgYWxsLsKgIEJ1dCBQTyB3aWxs
IG5vdCByZWNvZ25pc2UgdGhhdCBoZSBpcyBpbiB0aGF0IHBvc2l0aW9uLCBhbmQgDQo+IHRo
ZSAidGF1bnRlcnMiIG9ubHkgc3VzcGVjdCwgcmF0aGVyIHRoYW4gdHJ1bHkgYmVsaWV2ZSwg
dGhhdCB0aGlzIGlzIGluIA0KPiBmYWN0IHRoZSBzY2VuYXJpby7CoCBTbyBubyBoYXJtIGRv
bmUgcGVyaGFwcy4NCj4gDQo+IEkgdGhpbmsgb3RoZXIgcG9zdGVycyBoZXJlIG11c3Qgd29u
ZGVyIGFib3V0IHRoaXMgZnJvbSB0aW1lIHRvIHRpbWUsIGJ1dCANCj4gdGhlIHRob3VnaHQg
bWFrZXMgdGhlbSB1bmNvbWZvcnRhYmxlIC0gaWYgUE8gcmVhbGx5IC9jYW4ndC8gcmVhc29u
IGxpa2UgDQo+IG5vcm1hbCBwZW9wbGUsIHRoZW4gd2hhdCB3b3VsZCBiZSB0aGUgL3BvaW50
LyBpbiBjb25zdGFudGx5IGFyZ3VpbmcgDQo+IFtub3RlOiBhcmd1aW5nLCBub3QgZGViYXRp
bmcvZGlzY3Vzc2luZ10gYWxsIHRoaXMgd2l0aCBoaW0gb3ZlciBhbmQgb3ZlciANCj4gYW5k
IG92ZXI/wqAgVGhpcyBicmluZ3MgaW50byBxdWVzdGlvbiB0aGVpciBvd24gYmVoYXZpb3Vy
Li4uwqAgRWFzaWVyIA0KPiBwZXJoYXBzIHRvIGZhbGwgYmFjayBvbiBsYXp5IHRoaW5raW5n
IGFuZCBqdXN0IGNhbGwgaGltIGEgbGlhciwgbGF6eSwgDQo+IHdpbGxmdWxseSBpZ25vcmFu
dCBhbmQgc28gb24uDQo+IA0KPiBQZXJoYXBzIHRoZSBraW5kZXN0IGFwcHJvYWNoIHdvdWxk
IGp1c3QgYmUgdG8gbGV0IGhpbSBnZXQgb24gd2l0aCBpdD8gIA0KPiBGb3IgUE8sIEkgZmVl
bCBoZSBoYXMgYWJhbmRvbmVkIGhpcyBsaWZlIHBsYW4gb2YgcHVibGlzaGluZyBoaXMgY2xh
aW1zIA0KPiBpbiBhIHBlZXIgcmV2aWV3ZWQgam91cm5hbC7CoCBJbnN0ZWFkIEkgdGhpbmsg
aGUgaGFzIHNldHRsZWQgZm9yIA0KPiBtYWludGFpbmluZy9yZWluZm9yY2luZyBoaXMgZGVs
dXNpb25zIG9mIGdlbml1c2hvb2QgZm9yIHdoYXRldmVyIHRpbWUgDQo+IHJlbWFpbnMgaW4g
aGlzIGxpZmUuDQo+IA0KPiBJIGtub3cgc29tZSB3aWxsIG5vdCBsaWtlIHRoaXMgYXBwcm9h
Y2ggLSBQTyBpcyBub3QgYSBuaWNlIHBlcnNvbjsgaGUgaXMgDQo+IGFycm9nYW50LCBzZWxm
IGRlbHVkZWQsIGFuZCBpbnN1bHRzIHBvc3RlcnMgdG8gc2F5IG5vdGhpbmcgb2YgdGhvc2Ug
c3VjaCANCj4gYXMgVHVyaW5nL0dvZGVsL1RhcnNraSB3aG8gaGF2ZSBzcGVudCB0aGVpciBs
aXZlcyB0aGlua2luZyBkZWVwbHkgYWJvdXQgDQo+IHRoaW5ncyBhbmQgY2FyZWZ1bGx5IGRl
dmVsb3BpbmcgdGhlaXIgaWRlYXMuwqAgSXQgbWF5IHNlZW0gV3JvbmcgdGhhdCBQTyANCj4g
Y291bGQgbGl2ZSBoaXMgbGlmZSBjYXN1YWxseSBpbnN1bHRpbmcgc3VjaCBwZW9wbGUsIGFu
ZCB0aGVuIGRpZSB3aXRob3V0IA0KPiBnZXR0aW5nIGFueSBjb21lLXVwcGFuY2U7IGl0J3Mg
anVzdCAuLi4gbm90IC4uLiBmYWlyICEhIcKgIDopDQo+IA0KPiBJIHVuZGVyc3RhbmQgdGhh
dCwgYnV0IHN1Z2dlc3QgdGhhdCBub25lIG9mIHRoYXQgcmVhbGx5IG1hdHRlcnMuwqAgUGVv
cGxlIA0KPiBjYW5ub3QgY2hhbmdlIFBPIGludG8gc29tZXRoaW5nIHRoYXQgaGUgaXNuJ3Qu
wqAgV2hlbiBoZSBkaWVzLCBoaXMgDQo+IG1pc3Rha2VzIHdpbGwgYmUgcXVpY2tseSBmb3Jn
b3R0ZW4gYW5kIHRoZSB3b3JsZCB3aWxsIGp1c3QgY2FycmllcyBvbi4gIA0KPiBObyBoYXJt
IGRvbmUuLi4NCkkgYWdyZWUgd2l0aCB2aXJ0dWFsbHkgZXZlcnkgd29yZCB5b3Ugd3JvdGUg
YWJvdmUuIEhvd2V2ZXIsIEkgdGhpbmsgDQp0aGVyZSBpcyBhbm90aGVyIGluZ3JlZGllbnQg
bWl4ZWQgaW50byBQTyB0aGF0IHNob3VsZCBub3QgYmUgb3Zlcmxvb2tlZDogDQpoZSBpcyBl
eHRyYW9yZGluYXJpbHkgbG9uZXNvbWUuIEhlIGlzIG5vdCBhIG5pY2UgcGVyc29uLCBhcyB5
b3UgaGF2ZSANCm9ic2VydmVkLCBhbmQgdGhlIHdheSBoaXMgbWluZCB3b3JrcyBwcmVjbHVk
ZXMgcmF0aW9uYWwgYW5kL29yIGZyaWVuZGx5IA0KY29udmVyc2F0aW9uLiBTbyBoZSBoYXMg
bm8gZnJpZW5kcyBhbmQgaGUgYm90aCB3YW50cyBodW1hbiBjb250YWN0IChldmVuIA0KZWxl
Y3Ryb25pY2FsbHkgLSBob3cgbW9kZXJuKSBhbmQgdG8gcGF5IGJhY2sgdGhvc2Ugd2hvIHNo
dW4gaGltIGFuZCANCnRyZWF0IGhpbSBhcyB0aGUgbWVudGFsIGRlZmVjdGl2ZSB0aGF0IGhl
IHByb2JhYmx5IGlzLg0KDQpTbyB0aGlzIGlzIGhpcyBzb2NpYWwgbGlmZTsgYWxsIG9mIGl0
LiBJdCBpcyBhbHNvIHRoZSB0b3J0dXJlIGNoYW1iZXIgDQphbmQgaW4gaGlzIG1pbmQgaGUn
cyB0aGUgZHVuZ2VvbiBtYXN0ZXIuIEhpcyBtZXRob2Qgb2YgdG9ydHVyaW5nIGFsbCANCm90
aGVycyBpcyBuZXZlciBwcm92aWRpbmcgcG9zaXRpdmUgZmVlZGJhY2sgdG8gdGhvc2Ugd2hv
IHdhbnQgdG8gaGVscCANCmltcHJvdmUgaGltLiBCZXNpZGVzIGhpbXNlbGYsIG1vc3Qgb2Yg
dGhlIG90aGVyIGxvbmcgdGVybSBwYXJ0aWNpcGFudHMgDQppbiB0aGVzZSBmb3J1bXMgdGhp
bmsgb2YgdGhlbXNlbHZlcyBhcyB3aGl0ZSBuaWdodHMuIEFuZCB0aGV5IGFyZSANCnRod2Fy
dGVkIGF0IGV2ZXJ5IHR1cm4gYW5kIHRoYXQgbWFrZXMgdGhlbSB0cnkgaGFyZGVyIHNvIFBP
IHdpbnMgZXZlcnkgDQplbmNvdW50ZXIgaW4gdGhlIGVuZC4NCg0KUGFydCBvZiB3aGF0IEkn
bSBzYXlpbmcgYWJvdmUgaXMgdGhhdCBhbGwgb2YgdXMgd2hvIHBhcnRpY2lwYXRlIGluIHRo
aXMgDQpub25zZW5zZSBoYXZlIHNvbWUgbmVlZHMgdGhhdCBmaXQgaW4gdG8gdGhlIHJlcGV0
aXRpb24uIEFuZCB0aG9zZSBuZWVkcyANCm5vdCBvbmx5IGZpdCBpbiBidXQgYWxzbyBzdWNr
IHVzIGFsbCBpbi4gSSByZWFsbHkgd2lzaCB0aGF0IFVuZGVyd29vZCANCkR1ZGxleSB3YXMg
c3RpbGwgYXJvdW5kIHRvIHdyaXRlIGFub3RoZXIgYm9vayBleHBvc2luZyB0aGUgbXVkZGxl
ZCANCnBzeWNob2xvZ3kgb2YgdGhvc2Ugd2hvIGFyZSBkcmF3biB0byB0aGUgZmxhbWUgb2Yg
bG9naWNhbCBhbmQgDQptYXRoZW1hdGljYWwgaWRlYXMgd2l0aG91dCBhbnkgcmVhbCB1bmRl
cnN0YW5kaW5nLiBQZXJoYXBzIHdlIHNob3VsZCANCmxhYmVsIHRoYXQgd2hvbGUgYmF0Y2gg
YXMgIk1hdGggTW90aHMiLg0KLS0gDQpKZWZmIEJhcm5ldHQNCg0K