UCL: Faculty Position in Programming Principles, Logic, and Verification
"Pym, David" <d.pym-hclig2XLE9Zaa/[email protected]> Sat, 24 Jan 2015 11:56:20 +0000
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <[email protected]> |
--_000_5D16D03795334B53833CEAE33ABB2974uclacuk_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 RmFjdWx0eSBQb3NpdGlvbiBpbiBQcm9ncmFtbWluZyBQcmluY2lwbGVzLCBMb2dpYywgYW5kIFZl cmlmaWNhdGlvbg0KDQpSZWY6MTQ1MDczMQ0KDQpVQ0wgRGVwYXJ0bWVudCAvIERpdmlzaW9uDQpD b21wdXRlciBTY2llbmNlDQoNCkdyYWRlcw0KOC05DQoNCkhvdXJzDQpGdWxsIFRpbWUNCg0KU2Fs YXJ5IChpbmNsdXNpdmUgb2YgTG9uZG9uIGFsbG93YW5jZSkNCkdyYWRlIDg6IMKjNDEsNDMwIC0g wqM0OCw4NzMgcGVyIGFubnVtOw0KR3JhZGUgOTogwqM1MywxMTkgLSDCozU3LDc2MCBwZXIgYW5u dW0NCg0KRHV0aWVzIGFuZCBSZXNwb25zaWJpbGl0aWVzDQoNClRoZSBEZXBhcnRtZW50IG9mIENv bXB1dGVyIFNjaWVuY2UgYXQgVW5pdmVyc2l0eSBDb2xsZWdlIExvbmRvbiAoVUNMKQ0KaW52aXRl cyBhcHBsaWNhdGlvbnMgZm9yIGEgZmFjdWx0eSBwb3NpdGlvbiBpbiB0aGUgYXJlYSBvZiBQcm9n cmFtbWluZyBQcmluY2lwbGVzLA0KTG9naWMsIGFuZCBWZXJpZmljYXRpb24uIFdlIHNlZWsgd29y bGQtY2xhc3MgdGFsZW50OyBjYW5kaWRhdGVzIG11c3QgaGF2ZQ0KYW4gb3V0c3RhbmRpbmcgcmVz ZWFyY2ggdHJhY2sgcmVjb3JkLg0KDQpJbiBQcm9ncmFtbWluZyBQcmluY2lwbGVzLCBMb2dpYywg YW5kIFZlcmlmaWNhdGlvbiwgb3VyIGludGVyZXN0cyBzcGFuIHRoZW9yeQ0KYW5kIHByYWN0aWNl LCBpbmNsdWRpbmcgbG9naWMsIHNlbWFudGljcywgbGFuZ3VhZ2UgZGVzaWduLCBwcm9ncmFtIGFu YWx5c2lzLA0KcHJvZ3JhbSB2ZXJpZmljYXRpb24sIHN5c3RlbXMgdmVyaWZpY2F0aW9uLCBzeXN0 ZW1zIG1vZGVsbGluZywgY29tcGlsYXRpb24sIGFuZA0KdGhlb3JlbSBwcm92aW5nLg0KDQoNCldl IGhhdmUgb3V0c3RhbmRpbmcgY29ubmVjdGlvbnMgd2l0aCBjdXR0aW5nLWVkZ2UgaW5kdXN0cnkg YW5kIGV4Y2VsbGVudA0KY29ubmVjdGlvbnMgd2l0aCBvdGhlciBncm91cHMgYXQgVUNMLCBpbmNs dWRpbmcgU3lzdGVtcyBhbmQgTmV0d29ya3MsDQpJbmZvcm1hdGlvbiBTZWN1cml0eSwgYW5kIFNv ZnR3YXJlIFN5c3RlbXMgRW5naW5lZXJpbmcuDQoNCg0KQ2FuZGlkYXRlcyBzZWVraW5nIHRvIGJl IGFwcG9pbnRlZCBhdCBHcmFkZSA5IHdpbGwgbmVlZCB0byBmdWxmaWwgdGhlIGFkZGl0aW9uYWwN CmNyaXRlcmlhIHNwZWNpZmllZCB3aXRoaW4gdGhlIGZ1cnRoZXIgcGFydGljdWxhcnMgb2YgdGhl IHZhY2FuY3kuDQoNCg0KDQpLZXkgUmVxdWlyZW1lbnRzDQoNCkNhbmRpZGF0ZXMgbXVzdCBob2xk IGFuIGVhcm5lZCBQaC5ELiBpbiBhbiBhcHByb3ByaWF0ZSBhc3BlY3Qgb2YgQ29tcHV0ZXINClNj aWVuY2Ugb3Igb2YgYSBjbG9zZWx5IHJlbGF0ZWQgZmllbGQgYnkgdGhlIHRpbWUgdGhleSBiZWdp biB0aGVpciBhcHBvaW50bWVudC4NCg0KDQpDYW5kaWRhdGVzIHdpbGwgYmUgZXZhbHVhdGVkIGNo aWVmbHkgb24gdGhlIHNpZ25pZmljYW5jZSBhbmQgbm92ZWx0eSBvZiB0aGVpcg0KcmVzZWFyY2gg dG8gZGF0ZSwgYnV0IGFsc28gb24gdGhlaXIgcHJvbWlzZS4NCg0KRnVydGhlciBEZXRhaWxzDQoN CkZ1cnRoZXIgZGV0YWlscyBhYm91dCBVQ0wgQ1MsIHRoZSBwb3N0LCBhbmQgaG93IHRvIGFwcGx5 IG1heSBiZSBmb3VuZCBhdA0KVUNM4oCZcyBKb2JzIHNpdGU6IHd3dy51Y2wuYWMudWs8aHR0cDov L3d3dy51Y2wuYWMudWs+ID4gSm9icyA+IFJlZjogMTQ1MDczMS4NCg0KUXVlc3Rpb25zIGFib3V0 IHRoaXMgdmFjYW5jeSBtYXkgYmUgZGlyZWN0ZWQgdG8gUHJvZi4gRGF2aWQgUHltICAoSGVhZCBv Zg0KUHJvZ3JhbW1pbmcgUHJpbmNpcGxlcywgTG9naWMgYW5kIFZlcmlmaWNhdGlvbiwgZC5weW1A dWNsLmFjLnVrPG1haWx0bzpkLnB5bUB1Y2wuYWMudWs+KSwgb3INClByb2YuIEpvaG4gU2hhd2Ut VGF5bG9yIChIZWFkIG9mIERlcGFydG1lbnQsIGouc2hhd2UtdGF5bG9yQHVjbC5hYy51azxtYWls dG86ai5zaGF3ZS10YXlsb3JAdWNsLmFjLnVrPikuDQoNCg0KDQpXZSBwYXJ0aWN1bGFybHkgd2Vs Y29tZSBmZW1hbGUgYXBwbGljYW50cyBhbmQgdGhvc2UgZnJvbSBhbiBldGhuaWMgbWlub3JpdHks IGFzIHRoZXkgYXJlDQp1bmRlci1yZXByZXNlbnRlZCB3aXRoaW4gVUNMIGF0IHRoaXMgbGV2ZWwu DQoNClVDTCBUYWtpbmcgQWN0aW9uIGZvciBFcXVhbGl0eQ0KDQpDbG9zaW5nIERhdGUNCg0KNiBN YXIgMjAxNQ0KDQpPdXIgZGVwYXJ0bWVudCBob2xkcyBhbiBBdGhlbmEgU1dBTiBCcm9uemUgYXdh cmQsIHdoaWNoIGlsbHVzdHJhdGVzIG91ciBjb21taXRtZW50IHRvDQphZGRyZXNzaW5nIGdlbmRl ciBlcXVhbGl0eS4gVGhpcyBhcHBvaW50bWVudCBpcyBzdWJqZWN0IHRvIFVDTCBUZXJtcyBhbmQg Q29uZGl0aW9ucyBvZg0KU2VydmljZSBmb3IgQWNhZGVtaWMgU3RhZmYuDQoNCi0tDQpQcm9mZXNz b3Igb2YgSW5mb3JtYXRpb24sIExvZ2ljLCBhbmQgU2VjdXJpdHkNCkhlYWQgb2YgUHJvZ3JhbW1p bmcgUHJpbmNpcGxlcywgTG9naWMsIGFuZCBWZXJpZmljYXRpb24NClVuaXZlcnNpdHkgQ29sbGVn ZSBMb25kb24NCg0KZC5weW1AdWNsLmFjLnVrPG1haWx0bzpkLnB5bUB1Y2wuYWMudWs+DQp3d3cu Y3MudWNsLmFjLnVrL3Blb3BsZS9ELlB5bS5odG1sPGh0dHA6Ly93d3cuY3MudWNsLmFjLnVrL3Bl b3BsZS9ELlB5bS5odG1sPg0Kd3d3LmNzLnVjbC5hYy51ay9zdGFmZi9ELlB5bS88aHR0cDovL3d3 dy5jcy51Y2wuYWMudWsvc3RhZmYvRC5QeW0vPg0KDQo= --_000_5D16D03795334B53833CEAE33ABB2974uclacuk_ Content-Type: text/html; charset="utf-8" Content-ID: <BB8B37363D0CDE48B71B77184711E8AD-D1mgQ8lb40VvGL/OgGHhAAZ+Yw5/[email protected]> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdy YXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgLXdlYmtpdC1saW5lLWJy ZWFrOiBhZnRlci13aGl0ZS1zcGFjZTsiIGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iIj4NCjxkaXYg c3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDE0cHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5h OyIgY2xhc3M9IiI+PGIgY2xhc3M9IiI+RmFjdWx0eSBQb3NpdGlvbiBpbiBQcm9ncmFtbWluZyBQ cmluY2lwbGVzLCBMb2dpYywgYW5kIFZlcmlmaWNhdGlvbjwvYj48L2Rpdj4NCjxkaXYgc3R5bGU9 Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDE0cHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyBtaW4t aGVpZ2h0OiAxN3B4OyIgY2xhc3M9IiI+DQo8YiBjbGFzcz0iIj48L2I+PGJyIGNsYXNzPSIiPg0K PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxNHB4OyBmb250LWZh bWlseTogVmVyZGFuYTsiIGNsYXNzPSIiPjxiIGNsYXNzPSIiPlJlZjoxNDUwNzMxJm5ic3A7PC9i PjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTBweDsgZm9udC1m YW1pbHk6IFZlcmRhbmE7IG1pbi1oZWlnaHQ6IDEycHg7IiBjbGFzcz0iIj4NCjxiciBjbGFzcz0i Ij4NCjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTFweDsgZm9u dC1mYW1pbHk6IFZlcmRhbmE7IiBjbGFzcz0iIj48YiBjbGFzcz0iIj5VQ0wgRGVwYXJ0bWVudCAv IERpdmlzaW9uPC9iPjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTog MTBweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IiBjbGFzcz0iIj5Db21wdXRlciBTY2llbmNlPC9k aXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMXB4OyBmb250LWZhbWls eTogVmVyZGFuYTsgbWluLWhlaWdodDogMTNweDsiIGNsYXNzPSIiPg0KPGIgY2xhc3M9IiI+PC9i PjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6 ZTogMTFweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IiBjbGFzcz0iIj48YiBjbGFzcz0iIj5HcmFk ZXM8L2I+PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBm b250LWZhbWlseTogVmVyZGFuYTsiIGNsYXNzPSIiPjgtOTwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFy Z2luOiAwcHg7IGZvbnQtc2l6ZTogMTFweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IG1pbi1oZWln aHQ6IDEzcHg7IiBjbGFzcz0iIj4NCjxiIGNsYXNzPSIiPjwvYj48YnIgY2xhc3M9IiI+DQo8L2Rp dj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDExcHg7IGZvbnQtZmFtaWx5 OiBWZXJkYW5hOyIgY2xhc3M9IiI+PGIgY2xhc3M9IiI+SG91cnM8L2I+PC9kaXY+DQo8ZGl2IHN0 eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVyZGFuYTsi IGNsYXNzPSIiPkZ1bGwgVGltZTwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQt c2l6ZTogMTFweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IG1pbi1oZWlnaHQ6IDEzcHg7IiBjbGFz cz0iIj4NCjxiIGNsYXNzPSIiPjwvYj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9 Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDExcHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyIgY2xh c3M9IiI+PGIgY2xhc3M9IiI+U2FsYXJ5IChpbmNsdXNpdmUgb2YgTG9uZG9uIGFsbG93YW5jZSk8 L2I+PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250 LWZhbWlseTogVmVyZGFuYTsiIGNsYXNzPSIiPkdyYWRlIDg6IMKjNDEsNDMwIC0gwqM0OCw4NzMg cGVyIGFubnVtOyZuYnNwOzwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6 ZTogMTBweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IiBjbGFzcz0iIj5HcmFkZSA5OiDCozUzLDEx OSAtIMKjNTcsNzYwIHBlciBhbm51bTwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZv bnQtc2l6ZTogMTFweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IG1pbi1oZWlnaHQ6IDEzcHg7IiBj bGFzcz0iIj4NCjxiIGNsYXNzPSIiPjwvYj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5 bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDExcHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyIg Y2xhc3M9IiI+PGIgY2xhc3M9IiI+RHV0aWVzIGFuZCBSZXNwb25zaWJpbGl0aWVzPC9iPjwvZGl2 Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTFweDsgZm9udC1mYW1pbHk6 IFZlcmRhbmE7IG1pbi1oZWlnaHQ6IDEzcHg7IiBjbGFzcz0iIj4NCjxiIGNsYXNzPSIiPjwvYj48 YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6 IDE2cHg7IGZvbnQtZmFtaWx5OiBBcmlhbDsiIGNsYXNzPSIiPlRoZSBEZXBhcnRtZW50IG9mIENv bXB1dGVyIFNjaWVuY2UgYXQgVW5pdmVyc2l0eSBDb2xsZWdlIExvbmRvbiAoVUNMKSZuYnNwOzwv ZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9udC1mYW1p bHk6IEFyaWFsOyIgY2xhc3M9IiI+aW52aXRlcyBhcHBsaWNhdGlvbnMgZm9yIGEgZmFjdWx0eSBw b3NpdGlvbiBpbiB0aGUgYXJlYSBvZiBQcm9ncmFtbWluZyBQcmluY2lwbGVzLCZuYnNwOzwvZGl2 Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9udC1mYW1pbHk6 IEFyaWFsOyIgY2xhc3M9IiI+TG9naWMsIGFuZCBWZXJpZmljYXRpb24uIFdlIHNlZWsgd29ybGQt Y2xhc3MgdGFsZW50OyBjYW5kaWRhdGVzIG11c3QgaGF2ZSZuYnNwOzwvZGl2Pg0KPGRpdiBzdHls ZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9udC1mYW1pbHk6IEFyaWFsOyIgY2xh c3M9IiI+YW4gb3V0c3RhbmRpbmcgcmVzZWFyY2ggdHJhY2sgcmVjb3JkLjwvZGl2Pg0KPGRpdiBz dHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTBweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7 IG1pbi1oZWlnaHQ6IDEycHg7IiBjbGFzcz0iIj4NCjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRp diBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9udC1mYW1pbHk6IEFyaWFs OyIgY2xhc3M9IiI+SW4gUHJvZ3JhbW1pbmcgUHJpbmNpcGxlcywgTG9naWMsIGFuZCBWZXJpZmlj YXRpb24sIG91ciBpbnRlcmVzdHMgc3BhbiB0aGVvcnkmbmJzcDs8L2Rpdj4NCjxkaXYgc3R5bGU9 Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDE2cHg7IGZvbnQtZmFtaWx5OiBBcmlhbDsiIGNsYXNz PSIiPmFuZCBwcmFjdGljZSwgaW5jbHVkaW5nIGxvZ2ljLCBzZW1hbnRpY3MsIGxhbmd1YWdlIGRl c2lnbiwgcHJvZ3JhbSBhbmFseXNpcywmbmJzcDs8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjog MHB4OyBmb250LXNpemU6IDE2cHg7IGZvbnQtZmFtaWx5OiBBcmlhbDsiIGNsYXNzPSIiPnByb2dy YW0gdmVyaWZpY2F0aW9uLCBzeXN0ZW1zIHZlcmlmaWNhdGlvbiwgc3lzdGVtcyBtb2RlbGxpbmcs IGNvbXBpbGF0aW9uLCBhbmQmbmJzcDs8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBm b250LXNpemU6IDE2cHg7IGZvbnQtZmFtaWx5OiBBcmlhbDsiIGNsYXNzPSIiPnRoZW9yZW0gcHJv dmluZy4mbmJzcDs8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDEw cHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyBtaW4taGVpZ2h0OiAxMnB4OyIgY2xhc3M9IiI+DQo8 YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6 IDEwcHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyBtaW4taGVpZ2h0OiAxMnB4OyIgY2xhc3M9IiI+ DQo8YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNp emU6IDE2cHg7IGZvbnQtZmFtaWx5OiBBcmlhbDsiIGNsYXNzPSIiPldlIGhhdmUgb3V0c3RhbmRp bmcgY29ubmVjdGlvbnMgd2l0aCBjdXR0aW5nLWVkZ2UgaW5kdXN0cnkgYW5kIGV4Y2VsbGVudCZu YnNwOzwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9u dC1mYW1pbHk6IEFyaWFsOyIgY2xhc3M9IiI+Y29ubmVjdGlvbnMgd2l0aCBvdGhlciBncm91cHMg YXQgVUNMLCBpbmNsdWRpbmcgU3lzdGVtcyBhbmQgTmV0d29ya3MsJm5ic3A7PC9kaXY+DQo8ZGl2 IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxNnB4OyBmb250LWZhbWlseTogQXJpYWw7 IiBjbGFzcz0iIj5JbmZvcm1hdGlvbiBTZWN1cml0eSwgYW5kIFNvZnR3YXJlIFN5c3RlbXMgRW5n aW5lZXJpbmcuJm5ic3A7PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZTogMTBweDsgZm9udC1mYW1pbHk6 IFZlcmRhbmE7IiBjbGFzcz0iIj4mbmJzcDs8L3NwYW4+PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJn aW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVyZGFuYTsgbWluLWhlaWdo dDogMTJweDsiIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IHN0eWxlPSJt YXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVyZGFuYTsgbWluLWhl aWdodDogMTJweDsiIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IHN0eWxl PSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxNnB4OyBmb250LWZhbWlseTogQXJpYWw7IiBjbGFz cz0iIj5DYW5kaWRhdGVzIHNlZWtpbmcgdG8gYmUgYXBwb2ludGVkIGF0IEdyYWRlIDkgd2lsbCBu ZWVkIHRvIGZ1bGZpbCB0aGUgYWRkaXRpb25hbCZuYnNwOzwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFy Z2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9udC1mYW1pbHk6IEFyaWFsOyIgY2xhc3M9IiI+ Y3JpdGVyaWEgc3BlY2lmaWVkIHdpdGhpbiB0aGUgZnVydGhlciBwYXJ0aWN1bGFycyBvZiB0aGUg dmFjYW5jeS48c3BhbiBzdHlsZT0iZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVyZGFu YTsiIGNsYXNzPSIiPiZuYnNwOzwvc3Bhbj48L2Rpdj4NCjxwIHN0eWxlPSJtYXJnaW46IDBweDsg Zm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVyZGFuYTsiIGNsYXNzPSIiPiZuYnNwOzwv cD4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDExcHg7IGZvbnQtZmFtaWx5 OiBWZXJkYW5hOyIgY2xhc3M9IiI+PGIgY2xhc3M9IiI+S2V5IFJlcXVpcmVtZW50czwvYj48L2Rp dj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDExcHg7IGZvbnQtZmFtaWx5 OiBWZXJkYW5hOyBtaW4taGVpZ2h0OiAxM3B4OyIgY2xhc3M9IiI+DQo8YiBjbGFzcz0iIj48L2I+ PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXpl OiAxNnB4OyBmb250LWZhbWlseTogQXJpYWw7IiBjbGFzcz0iIj5DYW5kaWRhdGVzIG11c3QgaG9s ZCBhbiBlYXJuZWQgUGguRC4gaW4gYW4gYXBwcm9wcmlhdGUgYXNwZWN0IG9mIENvbXB1dGVyJm5i c3A7PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxNnB4OyBmb250 LWZhbWlseTogQXJpYWw7IiBjbGFzcz0iIj5TY2llbmNlIG9yIG9mIGEgY2xvc2VseSByZWxhdGVk IGZpZWxkIGJ5IHRoZSB0aW1lIHRoZXkgYmVnaW4gdGhlaXIgYXBwb2ludG1lbnQuPC9kaXY+DQo8 ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVy ZGFuYTsgbWluLWhlaWdodDogMTJweDsiIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0KPC9kaXY+ DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTog VmVyZGFuYTsgbWluLWhlaWdodDogMTJweDsiIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0KPC9k aXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxNnB4OyBmb250LWZhbWls eTogQXJpYWw7IiBjbGFzcz0iIj5DYW5kaWRhdGVzIHdpbGwgYmUgZXZhbHVhdGVkIGNoaWVmbHkg b24gdGhlIHNpZ25pZmljYW5jZSBhbmQgbm92ZWx0eSBvZiB0aGVpciZuYnNwOzwvZGl2Pg0KPGRp diBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9udC1mYW1pbHk6IEFyaWFs OyIgY2xhc3M9IiI+cmVzZWFyY2ggdG8gZGF0ZSwgYnV0IGFsc28gb24gdGhlaXIgcHJvbWlzZS4m bmJzcDs8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDEwcHg7IGZv bnQtZmFtaWx5OiBWZXJkYW5hOyBtaW4taGVpZ2h0OiAxMnB4OyIgY2xhc3M9IiI+DQo8YnIgY2xh c3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDExcHg7 IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyIgY2xhc3M9IiI+PGIgY2xhc3M9IiI+RnVydGhlciBEZXRh aWxzPC9iPjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsg Zm9udC1mYW1pbHk6IEFyaWFsOyBtaW4taGVpZ2h0OiAxOHB4OyIgY2xhc3M9IiI+DQo8YnIgY2xh c3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDE2cHg7 IGZvbnQtZmFtaWx5OiBBcmlhbDsiIGNsYXNzPSIiPkZ1cnRoZXIgZGV0YWlscyBhYm91dCBVQ0wg Q1MsIHRoZSBwb3N0LCBhbmQgaG93IHRvIGFwcGx5IG1heSBiZSBmb3VuZCBhdCZuYnNwOzwvZGl2 Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTZweDsgZm9udC1mYW1pbHk6 IEFyaWFsOyIgY2xhc3M9IiI+VUNM4oCZcyBKb2JzIHNpdGU6DQo8YSBocmVmPSJodHRwOi8vd3d3 LnVjbC5hYy51ayIgY2xhc3M9IiI+d3d3LnVjbC5hYy51azwvYT4gJmd0OyBKb2JzICZndDsgUmVm OiAxNDUwNzMxLiZuYnNwOzwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6 ZTogMTBweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IG1pbi1oZWlnaHQ6IDEycHg7IiBjbGFzcz0i Ij4NCjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQt c2l6ZTogMTZweDsgZm9udC1mYW1pbHk6IEFyaWFsOyIgY2xhc3M9IiI+UXVlc3Rpb25zIGFib3V0 IHRoaXMgdmFjYW5jeSBtYXkgYmUgZGlyZWN0ZWQgdG8gUHJvZi4gRGF2aWQgUHltICZuYnNwOyhI ZWFkIG9mJm5ic3A7PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAx NnB4OyBmb250LWZhbWlseTogQXJpYWw7IiBjbGFzcz0iIj5Qcm9ncmFtbWluZyBQcmluY2lwbGVz LCBMb2dpYyBhbmQgVmVyaWZpY2F0aW9uLA0KPGEgaHJlZj0ibWFpbHRvOmQucHltQHVjbC5hYy51 ayIgY2xhc3M9IiI+ZC5weW1AdWNsLmFjLnVrPC9hPiksIG9yJm5ic3A7PC9kaXY+DQo8ZGl2IHN0 eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxNnB4OyBmb250LWZhbWlseTogQXJpYWw7IiBj bGFzcz0iIj5Qcm9mLiBKb2huIFNoYXdlLVRheWxvciAoSGVhZCBvZiBEZXBhcnRtZW50LA0KPGEg aHJlZj0ibWFpbHRvOmouc2hhd2UtdGF5bG9yQHVjbC5hYy51ayIgY2xhc3M9IiI+ai5zaGF3ZS10 YXlsb3JAdWNsLmFjLnVrPC9hPikuPHNwYW4gc3R5bGU9ImZvbnQtc2l6ZTogMTBweDsgZm9udC1m YW1pbHk6IFZlcmRhbmE7IiBjbGFzcz0iIj4mbmJzcDs8L3NwYW4+PC9kaXY+DQo8cCBzdHlsZT0i bWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTBweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IiBjbGFz cz0iIj4mbmJzcDs8L3A+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4 OyBmb250LWZhbWlseTogVmVyZGFuYTsgY29sb3I6IHJnYig2OCwgNjksIDg4KTsiIGNsYXNzPSIi Pg0KPGIgY2xhc3M9IiI+V2UgcGFydGljdWxhcmx5IHdlbGNvbWUgZmVtYWxlIGFwcGxpY2FudHMg YW5kIHRob3NlIGZyb20gYW4gZXRobmljIG1pbm9yaXR5LCBhcyB0aGV5IGFyZSZuYnNwOzwvYj48 L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDEwcHg7IGZvbnQtZmFt aWx5OiBWZXJkYW5hOyBjb2xvcjogcmdiKDY4LCA2OSwgODgpOyIgY2xhc3M9IiI+DQo8YiBjbGFz cz0iIj51bmRlci1yZXByZXNlbnRlZCB3aXRoaW4gVUNMIGF0IHRoaXMgbGV2ZWwuPC9iPjwvZGl2 Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTBweDsgZm9udC1mYW1pbHk6 IFZlcmRhbmE7IGNvbG9yOiByZ2IoNjgsIDY5LCA4OCk7IG1pbi1oZWlnaHQ6IDEycHg7IiBjbGFz cz0iIj4NCjxiIGNsYXNzPSIiPjwvYj48YnIgY2xhc3M9IiI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9 Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDEwcHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyBjb2xv cjogcmdiKDY4LCA2OSwgODgpOyIgY2xhc3M9IiI+DQo8YiBjbGFzcz0iIj5VQ0wgVGFraW5nIEFj dGlvbiBmb3IgRXF1YWxpdHk8L2I+PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9u dC1zaXplOiAxMXB4OyBmb250LWZhbWlseTogVmVyZGFuYTsgbWluLWhlaWdodDogMTNweDsiIGNs YXNzPSIiPg0KPGIgY2xhc3M9IiI+PC9iPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBzdHls ZT0ibWFyZ2luOiAwcHg7IGZvbnQtc2l6ZTogMTFweDsgZm9udC1mYW1pbHk6IFZlcmRhbmE7IiBj bGFzcz0iIj48YiBjbGFzcz0iIj5DbG9zaW5nIERhdGU8L2I+PC9kaXY+DQo8ZGl2IHN0eWxlPSJt YXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVyZGFuYTsgbWluLWhl aWdodDogMTJweDsiIGNsYXNzPSIiPg0KPGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IHN0eWxl PSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250LWZhbWlseTogVmVyZGFuYTsiIGNs YXNzPSIiPjYgTWFyIDIwMTU8L2Rpdj4NCjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNp emU6IDEwcHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyBjb2xvcjogcmdiKDY4LCA2OSwgODgpOyBt aW4taGVpZ2h0OiAxMnB4OyIgY2xhc3M9IiI+DQo8YiBjbGFzcz0iIj48L2I+PGJyIGNsYXNzPSIi Pg0KPC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zaXplOiAxMHB4OyBmb250 LWZhbWlseTogVmVyZGFuYTsgY29sb3I6IHJnYig2OCwgNjksIDg4KTsiIGNsYXNzPSIiPg0KPGIg Y2xhc3M9IiI+T3VyIGRlcGFydG1lbnQgaG9sZHMgYW4gQXRoZW5hIFNXQU4gQnJvbnplIGF3YXJk LCB3aGljaCBpbGx1c3RyYXRlcyBvdXIgY29tbWl0bWVudCB0byZuYnNwOzwvYj48L2Rpdj4NCjxk aXYgc3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXNpemU6IDEwcHg7IGZvbnQtZmFtaWx5OiBWZXJk YW5hOyBjb2xvcjogcmdiKDY4LCA2OSwgODgpOyIgY2xhc3M9IiI+DQo8YiBjbGFzcz0iIj5hZGRy ZXNzaW5nIGdlbmRlciBlcXVhbGl0eS4gVGhpcyBhcHBvaW50bWVudCBpcyBzdWJqZWN0IHRvIFVD TCBUZXJtcyBhbmQgQ29uZGl0aW9ucyBvZiZuYnNwOzwvYj48L2Rpdj4NCjxkaXYgc3R5bGU9Im1h cmdpbjogMHB4OyBmb250LXNpemU6IDEwcHg7IGZvbnQtZmFtaWx5OiBWZXJkYW5hOyBjb2xvcjog cmdiKDY4LCA2OSwgODgpOyIgY2xhc3M9IiI+DQo8YiBjbGFzcz0iIj5TZXJ2aWNlIGZvciBBY2Fk ZW1pYyBTdGFmZi4mbmJzcDs8L2I+PC9kaXY+DQo8L2Rpdj4NCjxiciBjbGFzcz0iIj4NCjxkaXYg Y2xhc3M9IiI+DQo8ZGl2IHN0eWxlPSJjb2xvcjogcmdiKDAsIDAsIDApOyBsZXR0ZXItc3BhY2lu Zzogbm9ybWFsOyBvcnBoYW5zOiBhdXRvOyB0ZXh0LWFsaWduOiBzdGFydDsgdGV4dC1pbmRlbnQ6 IDBweDsgdGV4dC10cmFuc2Zvcm06IG5vbmU7IHdoaXRlLXNwYWNlOiBub3JtYWw7IHdpZG93czog YXV0bzsgd29yZC1zcGFjaW5nOiAwcHg7IC13ZWJraXQtdGV4dC1zdHJva2Utd2lkdGg6IDBweDsg d29yZC13cmFwOiBicmVhay13b3JkOyAtd2Via2l0LW5ic3AtbW9kZTogc3BhY2U7IC13ZWJraXQt bGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7IiBjbGFzcz0iIj4NCjxkaXYgc3R5bGU9ImNv bG9yOiByZ2IoMCwgMCwgMCk7IGxldHRlci1zcGFjaW5nOiBub3JtYWw7IG9ycGhhbnM6IGF1dG87 IHRleHQtYWxpZ246IHN0YXJ0OyB0ZXh0LWluZGVudDogMHB4OyB0ZXh0LXRyYW5zZm9ybTogbm9u ZTsgd2hpdGUtc3BhY2U6IG5vcm1hbDsgd2lkb3dzOiBhdXRvOyB3b3JkLXNwYWNpbmc6IDBweDsg LXdlYmtpdC10ZXh0LXN0cm9rZS13aWR0aDogMHB4OyB3b3JkLXdyYXA6IGJyZWFrLXdvcmQ7IC13 ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgLXdlYmtpdC1saW5lLWJyZWFrOiBhZnRlci13aGl0ZS1z cGFjZTsiIGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iIj4tLTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5Q cm9mZXNzb3Igb2YgSW5mb3JtYXRpb24sIExvZ2ljLCBhbmQgU2VjdXJpdHk8YnIgY2xhc3M9IiI+ DQpIZWFkIG9mIFByb2dyYW1taW5nIFByaW5jaXBsZXMsIExvZ2ljLCBhbmQgVmVyaWZpY2F0aW9u PGJyIGNsYXNzPSIiPg0KVW5pdmVyc2l0eSBDb2xsZWdlIExvbmRvbjxiciBjbGFzcz0iIj4NCjxi ciBjbGFzcz0iIj4NCjxhIGhyZWY9Im1haWx0bzpkLnB5bUB1Y2wuYWMudWsiIGNsYXNzPSIiPmQu cHltQHVjbC5hYy51azwvYT48YnIgY2xhc3M9IiI+DQo8YSBocmVmPSJodHRwOi8vd3d3LmNzLnVj bC5hYy51ay9wZW9wbGUvRC5QeW0uaHRtbCIgY2xhc3M9IiI+d3d3LmNzLnVjbC5hYy51ay9wZW9w bGUvRC5QeW0uaHRtbDwvYT48YnIgY2xhc3M9IiI+DQo8YSBocmVmPSJodHRwOi8vd3d3LmNzLnVj bC5hYy51ay9zdGFmZi9ELlB5bS8iIGNsYXNzPSIiPnd3dy5jcy51Y2wuYWMudWsvc3RhZmYvRC5Q eW0vPC9hPjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCjwvZGl2Pg0KPGJyIGNsYXNzPSIiPg0KPC9i b2R5Pg0KPC9odG1sPg0K --_000_5D16D03795334B53833CEAE33ABB2974uclacuk_--