Fully funded PhD student position in logic and formal methods, Barcelona (Spain), Deadline: 5 Sep 2019
Ana De Almeida Gabriel Vieira Borges <[email protected]> Tue, 27 Aug 2019 10:09:03 +0000
| Newsgroups | gmane.science.mathematics.logic.asian |
|---|---|
| Message-ID | <CA+0J9_Pcfs-_=TW-CQNyAjhPKtnjoiRMg0ZPtDjCw4LRfiFngg@mail.gmail.com> |
--===============7881771358402896333== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_CA0J9PcfsTWCQNyAjhPKtnjoiRMg0ZPtDjCw4LRfiFnggmailgmailc_" --_000_CA0J9PcfsTWCQNyAjhPKtnjoiRMg0ZPtDjCw4LRfiFnggmailgmailc_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 VGhlIFVuaXZlcnNpdHkgb2YgQmFyY2Vsb25hIG9mZmVycyBhIFBoRCBwb3NpdGlvbiBpbiBjb2xs YWJvcmF0aW9uIHdpdGggdGhlIENhdGFsYW4gaW5kdXN0cmlhbCBzZWN0b3IuIFRoZSBpbmR1c3Ry aWFsIGNvbXBvbmVudCBvZiB0aGUgUGhEIHJldm9sdmVzIGFyb3VuZCB0aGUgZGV2ZWxvcG1lbnQg YW5kIHZlcmlmaWNhdGlvbiBvZiBsZWdhbCBzb2Z0d2FyZSBpbiBDb3Egd2l0aGluIEZvcm1hbCBW aW5kaWNhdGlvbnMgU0wgKGh0dHA6Ly9mb3JtYWx2aW5kaWNhdGlvbnMuY29tLykuIFRoaXMgd29y ayB3aWxsIGJlIGNvbXBsZW1lbnRlZCB3aXRoIHRoZSBmb3JtYWxpemF0aW9uIG9mIHBhcnRzIG9m IGxvZ2ljL21hdGhlbWF0aWNzLiBUaGUgZ3JvdXAgd2hlcmUgdGhpcyBwcm9qZWN0IHdpbGwgYmUg ZW1iZWRkZWQgd29ya3Mgb24gb3JkaW5hbCBhbmFseXNpcyB2aWEgbW9kYWwgbG9naWMgYW5kIHJl ZmxlY3Rpb24gcHJpbmNpcGxlczsgd2UgZXhwZWN0IGNvbGxhYm9yYXRpb24gd2l0aCB0aGUgbWFp biBncm91cCB0byBhcmlzZSwgYnV0IHdlIGFyZSBvcGVuIHRvIGFsdGVybmF0aXZlIHByb3Bvc2Fs cy4gVGhlIFBoRCBzdHVkZW50IHdpbGwgYmUgcGFydCBvZiBhIGxhcmdlIGFuZCBhY3RpdmUgcmVz ZWFyY2ggZ3JvdXAuIEN1cnJlbnRseSwgdGhlIGdyb3VwIGlzIGxlYWQgYnkgSm9vc3QgSi4gSm9v c3RlbiBhbmQgY29uc2lzdHMgb2YgdGhyZWUgcmVzZWFyY2hlcnMgd2hvIGhhdmUgb3ZlciB0d28g eWVhcnMgb2YgZXhwZXJpZW5jZSB3aXRoIHByb29mIGFzc2lzdGFudHMsIHR5cGUtdGhlb3J5IGFu ZCBwdXJlIGFuZCBhcHBsaWVkIHByb29mIHRoZW9yeS4gVGhlcmUgYXJlIHRocmVlIGZlbGxvdyBQ aEQgc3R1ZGVudHMgd29ya2luZyBvbiByZWxhdGVkIHRvcGljcy4gRnVydGhlcm1vcmUsIHRoZSBw cm9qZWN0IGNvdW50cyB3aXRoIHRocmVlIGp1bmlvciBzY2llbnRpZmljIHN0YWZmIG1lbWJlcnMs IGEgc2VuaW9yIENvcSBkZXZlbG9wZXIgYW5kIGEgdmVyc2F0aWxlIHByb2dyYW1tZXIuIFRoZSBn cm91cCBpcyBlbWJlZGRlZCBpbnRvIHZhcmlvdXMgcmVzZWFyY2ggcHJvamVjdHMsIGluY2x1ZGlu ZyBFdXJvcGVhbiwgTmF0aW9uYWwgYW5kIFJlZ2lvbmFsIGZ1bmRzLiBUaGUgZ2VuZXJhbCBsb2dp YyBsYW5kc2NhcGUgb2YgdGhlIEJhcmNlbG9uYSBtZXRyb3BvbGl0YW4gYXJlYSBpcyByaWNoIGFu ZCBkaXZlcnNlIGFuZCBjb3VudHMgd2l0aCBncm91cHMgYW5kIHNwZWNpYWxpc3RzIGluIGFyZWFz IGxpa2UgYWxnZWJyYWljIGxvZ2ljLCBjb21wdXRhYmlsaXR5IHRoZW9yeSwgZm9ybWFsIGxpbmd1 aXN0aWNzLCBtb2RlbCB0aGVvcnksIGFuZCBzZXQgdGhlb3J5Lg0KDQpXZSBvZmZlciBhIHRocmVl LXllYXIgcG9zaXRpb24gaW4gdGhlIFBoRCBwcm9ncmFtIGluIE1hdGhlbWF0aWNzIGFuZCBDb21w dXRlciBTY2llbmNlIHdoaWNoIGlzIGxvY2F0ZWQgaW4gdGhlIHZlcnkgY2VudGVyIG9mIEJhcmNl bG9uYS4gSWYgYWZ0ZXIgdGhyZWUgeWVhcnMgdGhlIFBoRCBoYXMgbm90IGJlZW4gZmluaXNoZWQs IGJ1dCB0aGVyZSBpcyByZWFsaXN0aWMgZXhwZWN0YXRpb25zIHRoYXQgaXQgd2lsbCBiZSBmaW5p c2hlZCBzb29uLCB0aGUgY29tcGFueSB3aWxsIGNvbnNpZGVyIGNvbnRpbnVpbmcgdGhlIHBvc2l0 aW9uIGluIGl0cyBtYWpvciBjaGFyYWN0ZXJpc3RpY3MuIEFwYXJ0IGZyb20gdGhlIHVzdWFsIFBo RCB0cmFqZWN0b3J5LCB0aGUgY2FuZGlkYXRlcyB3aWxsIHBhcnRpY2lwYXRlIGluIGN1dHRpbmcg ZWRnZSBmb3JtYWxpemF0aW9uIGRldmVsb3BtZW50cyBpbiBhbiBpbmR1c3RyaWFsIHNldHRpbmcu IFRoZSB0cmF2ZWwgYWxsb3dhbmNlcyBjYW4gZXhjZWVkIDIyMDDigqwgcGVyIHllYXIgYW5kIHRo ZSBncm9zcyBzYWxhcnkgdmFyaWVzIGJldHdlZW4gMThLIGFuZCAyMksgcGVyIHllYXIgZGVwZW5k aW5nIG9uIGhvdyBtdWNoIGZpbmFuY2lhbCBzdXBwb3J0IHRoaXMgcHJvamVjdCByZWNlaXZlcyBm cm9tIHRoZSBDYXRhbGFuIGF1dGhvcml0aWVzLg0KDQpXZSBhcmUgbG9va2luZyBmb3IgY2FuZGlk YXRlcyB3aXRoIGEgYmFja2dyb3VuZCBpbiB0aGVvcmV0aWNhbCBjb21wdXRlciBzY2llbmNlIGFu ZC9vciBtYXRoZW1hdGljYWwgbG9naWMuIEl0IGlzIGEgc3RyaWN0IHJlcXVpcmVtZW50IHRvIGhh dmUgZmluaXNoZWQgYSByZWxldmFudCBNYXN0ZXIgd2l0aCBhbiBhdmVyYWdlIHVuZGVyZ3JhZHVh dGUgYW5kIG1hc3RlciBzY29yZSBvZiBhdCBsZWFzdCA2LjUgb3V0IG9mIDEwLiBBcGFydCBmcm9t IHRoZSByZXF1aXJlZCBrbm93bGVkZ2Ugb2YgQ29xIGFuZCBPY2FtbCwgb3RoZXIgSVQgc2tpbGxz IGFyZSByZWNvbW1lbmRlZCwgZXNwZWNpYWxseSBrbm93bGVkZ2UvZXhwZXJpZW5jZSB3aXRoIG90 aGVyIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBQcmV2aW91cyBjb21tZXJjaWFs IHdvcmsgZXhwZXJpZW5jZSBpcyBhIHBsdXMgYW5kIHdvcmtpbmcgcHJvZmljaWVuY3kgaW4gRW5n bGlzaCBpcyBhIG11c3QuDQoNCkludGVyZXN0ZWQgY2FuZGlkYXRlcyBzaG91bGQgbWFrZSB0aGVp ciBmaXJzdCBzdGF0ZW1lbnQgb2YgaW50ZXJlc3QgdGhyb3VnaCB0aGUgb2ZmaWNpYWwgQUdBVVIg c2l0ZSwgd2hlcmUgdGhleSBjYW4gZmlsbCBpbiBhIHByZS1hcHBsaWNhdGlvbi4gQSBkaXJlY3Qg bGluayB0byBpdCBpczoNCmh0dHA6Ly9kb2N0b3JhdHNpbmR1c3RyaWFscy5nZW5jYXQuY2F0L2Zp bGVzL2ZpbGUvYXR0YWNobWVudC83MDE5LzA3Ml9ESV9GVl9VQl9QRTZfUEUxXzIwMTkwNzAxLnBk Zg0KDQoNCkFmdGVyIGEgZmlyc3Qgc2VsZWN0aW9uLCBjYW5kaWRhdGVzIHdpbGwgYmUgYXNrZWQg dG8gZmlsZSB0aGVpciBhcHBsaWNhdGlvbiBwYWNrYWdlIG5vIGxhdGVyIHRoYW4gU2VwdGVtYmVy IDUuIFRoZSBhcHBsaWNhdGlvbiBwYWNrYWdlIHNob3VsZCBjb250YWluOg0KDQooKykgQ1Y7DQoo KykgTW90aXZhdGlvbiBsZXR0ZXI7DQooKykgVHJhbnNjcmlwdCBvZiBvYnRhaW5lZCBhY2FkZW1p YyByZXN1bHRzIGluIHRoZSByZWxldmFudCBtYXN0ZXIgYW5kIHVuZGVyZ3JhZHVhdGU7DQooKykg RW1haWwgYWRkcmVzc2VzIG9mIHRocmVlIHJlZmVyZW5jZXMgdG8gd2hvbSB3ZSBtaWdodCByZWZl ciBpbiBjYXNlIHdlIGNvbnNpZGVyIHRoaXMgZGVzaXJhYmxlLg0KDQpGdXJ0aGVyIGluZm9ybWF0 aW9uIGFib3V0IHRoZSBwb3NpdGlvbiBjYW4gYmUgb2J0YWluZWQgYnkgd3JpdGluZyBhbiBlbWFp bCB0byBBbGVpeCBTb2zDqSBhdCB2YWNhbmNpZXNAZm9ybWFsdmluZGljYXRpb25zLmNvbTxtYWls dG86dmFjYW5jaWVzQGZvcm1hbHZpbmRpY2F0aW9ucy5jb20+Lg0KDQoNCkFxdWVzdCBtaXNzYXRn ZSwgaSBlbHMgZml0eGVycyBhZGp1bnRzIHF1ZSBoaSBwdWd1aSBoYXZlciwgcG90IGNvbnRlbmly IGluZm9ybWFjacOzIGNvbmZpZGVuY2lhbCBvIHByb3RlZ2lkYSBsZWdhbG1lbnQgaSBz4oCZYWRy ZcOnYSBleGNsdXNpdmFtZW50IGEgbGEgcGVyc29uYSBvIGVudGl0YXQgZGVzdGluYXTDoHJpYS4g U2kgbm8gY29uc3RldSBjb20gYSBkZXN0aW5hdGFyaSBmaW5hbCBvIG5vIHRlbml1IGzigJllbmPD oHJyZWMgZGUgcmVicmXigJlsLCBubyBlc3RldSBhdXRvcml0emF0IGEgbGxlZ2lyLWxvLCByZXRl bmlyLWxvLCBtb2RpZmljYXItbG8sIGRpc3RyaWJ1aXItbG8sIGNvcGlhci1sbyBuaSBhIHJldmVs YXItbmUgZWwgY29udGluZ3V0LiBTaSBs4oCZaGV1IHJlYnV0IHBlciBlcnJvciwgaW5mb3JtZXUt bmUgZWwgcmVtaXRlbnQgaSBlbGltaW5ldSBkZWwgc2lzdGVtYSB0YW50IGVsIG1pc3NhdGdlIGNv bSBlbHMgZml0eGVycyBhZGp1bnRzIHF1ZSBoaSBwdWd1aSBoYXZlci4NCg0KRXN0ZSBtZW5zYWpl LCB5IGxvcyBmaWNoZXJvcyBhZGp1bnRvcyBxdWUgcHVlZGEgaW5jbHVpciwgcHVlZGUgY29udGVu ZXIgaW5mb3JtYWNpw7NuIGNvbmZpZGVuY2lhbCBvIGxlZ2FsbWVudGUgcHJvdGVnaWRhIHkgZXN0 w6EgZXhjbHVzaXZhbWVudGUgZGlyaWdpZG8gYSBsYSBwZXJzb25hIG8gZW50aWRhZCBkZXN0aW5h dGFyaWEuIFNpIHVzdGVkIG5vIGNvbnN0YSBjb21vIGRlc3RpbmF0YXJpbyBmaW5hbCBuaSBlcyBs YSBwZXJzb25hIGVuY2FyZ2FkYSBkZSByZWNpYmlybG8sIG5vIGVzdMOhIGF1dG9yaXphZG8gYSBs ZWVybG8sIHJldGVuZXJsbywgbW9kaWZpY2FybG8sIGRpc3RyaWJ1aXJsbyBvIGNvcGlhcmxvLCBu aSBhIHJldmVsYXIgc3UgY29udGVuaWRvLiBTaSBsbyBoYSByZWNpYmlkbyBwb3IgZXJyb3IsIGlu Zm9ybWUgZGUgZWxsbyBhbCByZW1pdGVudGUgeSBlbGltaW5lIGRlbCBzaXN0ZW1hIHRhbnRvIGVs IG1lbnNhamUgY29tbyBsb3MgZmljaGVyb3MgYWRqdW50b3MgcXVlIHB1ZWRhIGNvbnRlbmVyLg0K DQpUaGlzIGVtYWlsIG1lc3NhZ2UgYW5kIGFueSBhdHRhY2htZW50cyBpdCBjYXJyaWVzIG1heSBj b250YWluIGNvbmZpZGVudGlhbCBvciBsZWdhbGx5IHByb3RlY3RlZCBtYXRlcmlhbCBhbmQgYXJl IGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGluZGl2aWR1YWwgb3Igb3JnYW5pemF0aW9uIHRvIHdo b20gdGhleSBhcmUgYWRkcmVzc2VkLiBJZiB5b3UgYXJlIG5vdCB0aGUgaW50ZW5kZWQgcmVjaXBp ZW50IG9mIHRoaXMgbWVzc2FnZSBvciB0aGUgcGVyc29uIHJlc3BvbnNpYmxlIGZvciBwcm9jZXNz aW5nIGl0LCB0aGVuIHlvdSBhcmUgbm90IGF1dGhvcml6ZWQgdG8gcmVhZCwgc2F2ZSwgbW9kaWZ5 LCBzZW5kLCBjb3B5IG9yIGRpc2Nsb3NlIGFueSBwYXJ0IG9mIGl0LiBJZiB5b3UgaGF2ZSByZWNl aXZlZCB0aGUgbWVzc2FnZSBieSBtaXN0YWtlLCBwbGVhc2UgaW5mb3JtIHRoZSBzZW5kZXIgb2Yg dGhpcyBhbmQgZWxpbWluYXRlIHRoZSBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudHMgaXQgY2Fy cmllcyBmcm9tIHlvdXIgYWNjb3VudC4NCg== --_000_CA0J9PcfsTWCQNyAjhPKtnjoiRMg0ZPtDjCw4LRfiFnggmailgmailc_ Content-Type: text/html; charset="utf-8" Content-ID: <5740159BB1974F478D4CB1CA03FEBA57-MxyWWZKIsxacE4WynfumptQqCkab/[email protected]> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+VGhlIFVuaXZlcnNpdHkgb2YgQmFyY2Vsb25hIG9mZmVycyBhIFBoRCBwb3NpdGlvbiBpbiBj b2xsYWJvcmF0aW9uIHdpdGggdGhlIENhdGFsYW4gaW5kdXN0cmlhbCBzZWN0b3IuIFRoZSBpbmR1 c3RyaWFsIGNvbXBvbmVudCBvZiB0aGUgUGhEIHJldm9sdmVzIGFyb3VuZCB0aGUgZGV2ZWxvcG1l bnQgYW5kIHZlcmlmaWNhdGlvbiBvZiBsZWdhbCBzb2Z0d2FyZSBpbiBDb3Egd2l0aGluIEZvcm1h bCBWaW5kaWNhdGlvbnMgU0wNCiAoPGEgaHJlZj0iaHR0cDovL2Zvcm1hbHZpbmRpY2F0aW9ucy5j b20vIj5odHRwOi8vZm9ybWFsdmluZGljYXRpb25zLmNvbS88L2E+KS4gVGhpcyB3b3JrIHdpbGwg YmUgY29tcGxlbWVudGVkIHdpdGggdGhlIGZvcm1hbGl6YXRpb24gb2YgcGFydHMgb2YgbG9naWMv bWF0aGVtYXRpY3MuIFRoZSBncm91cCB3aGVyZSB0aGlzIHByb2plY3Qgd2lsbCBiZSBlbWJlZGRl ZCB3b3JrcyBvbiBvcmRpbmFsIGFuYWx5c2lzIHZpYSBtb2RhbCBsb2dpYyBhbmQNCiByZWZsZWN0 aW9uIHByaW5jaXBsZXM7IHdlIGV4cGVjdCBjb2xsYWJvcmF0aW9uIHdpdGggdGhlIG1haW4gZ3Jv dXAgdG8gYXJpc2UsIGJ1dCB3ZSBhcmUgb3BlbiB0byBhbHRlcm5hdGl2ZSBwcm9wb3NhbHMuIFRo ZSBQaEQgc3R1ZGVudCB3aWxsIGJlIHBhcnQgb2YgYSBsYXJnZSBhbmQgYWN0aXZlIHJlc2VhcmNo IGdyb3VwLiBDdXJyZW50bHksIHRoZSBncm91cCBpcyBsZWFkIGJ5IEpvb3N0IEouIEpvb3N0ZW4g YW5kIGNvbnNpc3RzIG9mIHRocmVlDQogcmVzZWFyY2hlcnMgd2hvIGhhdmUgb3ZlciB0d28geWVh cnMgb2YgZXhwZXJpZW5jZSB3aXRoIHByb29mIGFzc2lzdGFudHMsIHR5cGUtdGhlb3J5IGFuZCBw dXJlIGFuZCBhcHBsaWVkIHByb29mIHRoZW9yeS4gVGhlcmUgYXJlIHRocmVlIGZlbGxvdyBQaEQg c3R1ZGVudHMgd29ya2luZyBvbiByZWxhdGVkIHRvcGljcy4gRnVydGhlcm1vcmUsIHRoZSBwcm9q ZWN0IGNvdW50cyB3aXRoIHRocmVlIGp1bmlvciBzY2llbnRpZmljIHN0YWZmIG1lbWJlcnMsDQog YSBzZW5pb3IgQ29xIGRldmVsb3BlciBhbmQgYSB2ZXJzYXRpbGUgcHJvZ3JhbW1lci4gVGhlIGdy b3VwIGlzIGVtYmVkZGVkIGludG8gdmFyaW91cyByZXNlYXJjaCBwcm9qZWN0cywgaW5jbHVkaW5n IEV1cm9wZWFuLCBOYXRpb25hbCBhbmQgUmVnaW9uYWwgZnVuZHMuIFRoZSBnZW5lcmFsIGxvZ2lj IGxhbmRzY2FwZSBvZiB0aGUgQmFyY2Vsb25hIG1ldHJvcG9saXRhbiBhcmVhIGlzIHJpY2ggYW5k IGRpdmVyc2UgYW5kIGNvdW50cyB3aXRoIGdyb3Vwcw0KIGFuZCBzcGVjaWFsaXN0cyBpbiBhcmVh cyBsaWtlIGFsZ2VicmFpYyBsb2dpYywgY29tcHV0YWJpbGl0eSB0aGVvcnksIGZvcm1hbCBsaW5n dWlzdGljcywgbW9kZWwgdGhlb3J5LCBhbmQgc2V0IHRoZW9yeS48YnI+DQo8YnI+DQpXZSBvZmZl ciBhIHRocmVlLXllYXIgcG9zaXRpb24gaW4gdGhlIFBoRCBwcm9ncmFtIGluIE1hdGhlbWF0aWNz IGFuZCBDb21wdXRlciBTY2llbmNlIHdoaWNoIGlzIGxvY2F0ZWQgaW4gdGhlIHZlcnkgY2VudGVy IG9mIEJhcmNlbG9uYS4gSWYgYWZ0ZXIgdGhyZWUgeWVhcnMgdGhlIFBoRCBoYXMgbm90IGJlZW4g ZmluaXNoZWQsIGJ1dCB0aGVyZSBpcyByZWFsaXN0aWMgZXhwZWN0YXRpb25zIHRoYXQgaXQgd2ls bCBiZSBmaW5pc2hlZCBzb29uLCB0aGUNCiBjb21wYW55IHdpbGwgY29uc2lkZXIgY29udGludWlu ZyB0aGUgcG9zaXRpb24gaW4gaXRzIG1ham9yIGNoYXJhY3RlcmlzdGljcy4gQXBhcnQgZnJvbSB0 aGUgdXN1YWwgUGhEIHRyYWplY3RvcnksIHRoZSBjYW5kaWRhdGVzIHdpbGwgcGFydGljaXBhdGUg aW4gY3V0dGluZyBlZGdlIGZvcm1hbGl6YXRpb24gZGV2ZWxvcG1lbnRzIGluIGFuIGluZHVzdHJp YWwgc2V0dGluZy4gVGhlIHRyYXZlbCBhbGxvd2FuY2VzIGNhbiBleGNlZWQgMjIwMOKCrCBwZXIN CiB5ZWFyIGFuZCB0aGUgZ3Jvc3Mgc2FsYXJ5IHZhcmllcyBiZXR3ZWVuIDE4SyBhbmQgMjJLIHBl ciB5ZWFyIGRlcGVuZGluZyBvbiBob3cgbXVjaCBmaW5hbmNpYWwgc3VwcG9ydCB0aGlzIHByb2pl Y3QgcmVjZWl2ZXMgZnJvbSB0aGUgQ2F0YWxhbiBhdXRob3JpdGllcy48YnI+DQo8YnI+DQpXZSBh cmUgbG9va2luZyBmb3IgY2FuZGlkYXRlcyB3aXRoIGEgYmFja2dyb3VuZCBpbiB0aGVvcmV0aWNh bCBjb21wdXRlciBzY2llbmNlIGFuZC9vciBtYXRoZW1hdGljYWwgbG9naWMuIEl0IGlzIGEgc3Ry aWN0IHJlcXVpcmVtZW50IHRvIGhhdmUgZmluaXNoZWQgYSByZWxldmFudCBNYXN0ZXIgd2l0aCBh biBhdmVyYWdlIHVuZGVyZ3JhZHVhdGUgYW5kIG1hc3RlciBzY29yZSBvZiBhdCBsZWFzdCA2LjUg b3V0IG9mIDEwLiBBcGFydCBmcm9tIHRoZQ0KIHJlcXVpcmVkIGtub3dsZWRnZSBvZiBDb3EgYW5k IE9jYW1sLCBvdGhlciBJVCBza2lsbHMgYXJlIHJlY29tbWVuZGVkLCBlc3BlY2lhbGx5IGtub3ds ZWRnZS9leHBlcmllbmNlIHdpdGggb3RoZXIgZnVuY3Rpb25hbCBwcm9ncmFtbWluZyBsYW5ndWFn ZXMuIFByZXZpb3VzIGNvbW1lcmNpYWwgd29yayBleHBlcmllbmNlIGlzIGEgcGx1cyBhbmQgd29y a2luZyBwcm9maWNpZW5jeSBpbiBFbmdsaXNoIGlzIGEgbXVzdC48YnI+DQo8YnI+DQpJbnRlcmVz dGVkIGNhbmRpZGF0ZXMgc2hvdWxkIG1ha2UgdGhlaXIgZmlyc3Qgc3RhdGVtZW50IG9mIGludGVy ZXN0IHRocm91Z2ggdGhlIG9mZmljaWFsIEFHQVVSIHNpdGUsIHdoZXJlIHRoZXkgY2FuIGZpbGwg aW4gYSBwcmUtYXBwbGljYXRpb24uIEEgZGlyZWN0IGxpbmsgdG8gaXQgaXM6PGJyPg0KPGEgaHJl Zj0iaHR0cDovL2RvY3RvcmF0c2luZHVzdHJpYWxzLmdlbmNhdC5jYXQvZmlsZXMvZmlsZS9hdHRh Y2htZW50LzcwMTkvMDcyX0RJX0ZWX1VCX1BFNl9QRTFfMjAxOTA3MDEucGRmIj5odHRwOi8vZG9j dG9yYXRzaW5kdXN0cmlhbHMuZ2VuY2F0LmNhdC9maWxlcy9maWxlL2F0dGFjaG1lbnQvNzAxOS8w NzJfRElfRlZfVUJfUEU2X1BFMV8yMDE5MDcwMS5wZGY8L2E+PGJyPg0KPGJyPg0KPGJyPg0KQWZ0 ZXIgYSBmaXJzdCBzZWxlY3Rpb24sIGNhbmRpZGF0ZXMgd2lsbCBiZSBhc2tlZCB0byBmaWxlIHRo ZWlyIGFwcGxpY2F0aW9uIHBhY2thZ2Ugbm8gbGF0ZXIgdGhhbiBTZXB0ZW1iZXIgNS4gVGhlIGFw cGxpY2F0aW9uIHBhY2thZ2Ugc2hvdWxkIGNvbnRhaW46PGJyPg0KPGJyPg0KKCYjNDM7KSBDVjs8 YnI+DQooJiM0MzspIE1vdGl2YXRpb24gbGV0dGVyOzxicj4NCigmIzQzOykgVHJhbnNjcmlwdCBv ZiBvYnRhaW5lZCBhY2FkZW1pYyByZXN1bHRzIGluIHRoZSByZWxldmFudCBtYXN0ZXIgYW5kIHVu ZGVyZ3JhZHVhdGU7PGJyPg0KKCYjNDM7KSBFbWFpbCBhZGRyZXNzZXMgb2YgdGhyZWUgcmVmZXJl bmNlcyB0byB3aG9tIHdlIG1pZ2h0IHJlZmVyIGluIGNhc2Ugd2UgY29uc2lkZXIgdGhpcyBkZXNp cmFibGUuPGJyPg0KPGJyPg0KRnVydGhlciBpbmZvcm1hdGlvbiBhYm91dCB0aGUgcG9zaXRpb24g Y2FuIGJlIG9idGFpbmVkIGJ5IHdyaXRpbmcgYW4gZW1haWwgdG8gQWxlaXggU29sw6kgYXQNCjxh IGhyZWY9Im1haWx0bzp2YWNhbmNpZXNAZm9ybWFsdmluZGljYXRpb25zLmNvbSI+dmFjYW5jaWVz QGZvcm1hbHZpbmRpY2F0aW9ucy5jb208L2E+Ljxicj4NCjwvZGl2Pg0KPGJyPg0KPGJyPg0KPGZv bnQgY29sb3I9IiM5OTk5OTkiIHNpemU9IjEiIGZhY2U9IkFyaWFsIj5BcXVlc3QgbWlzc2F0Z2Us IGkgZWxzIGZpdHhlcnMgYWRqdW50cyBxdWUgaGkgcHVndWkgaGF2ZXIsIHBvdCBjb250ZW5pciBp bmZvcm1hY2nDsyBjb25maWRlbmNpYWwgbyBwcm90ZWdpZGEgbGVnYWxtZW50IGkgc+KAmWFkcmXD p2EgZXhjbHVzaXZhbWVudCBhIGxhIHBlcnNvbmEgbyBlbnRpdGF0IGRlc3RpbmF0w6ByaWEuIFNp IG5vIGNvbnN0ZXUgY29tIGEgZGVzdGluYXRhcmkgZmluYWwNCiBvIG5vIHRlbml1IGzigJllbmPD oHJyZWMgZGUgcmVicmXigJlsLCBubyBlc3RldSBhdXRvcml0emF0IGEgbGxlZ2lyLWxvLCByZXRl bmlyLWxvLCBtb2RpZmljYXItbG8sIGRpc3RyaWJ1aXItbG8sIGNvcGlhci1sbyBuaSBhIHJldmVs YXItbmUgZWwgY29udGluZ3V0LiBTaSBs4oCZaGV1IHJlYnV0IHBlciBlcnJvciwgaW5mb3JtZXUt bmUgZWwgcmVtaXRlbnQgaSBlbGltaW5ldSBkZWwgc2lzdGVtYSB0YW50IGVsIG1pc3NhdGdlIGNv bSBlbHMgZml0eGVycyBhZGp1bnRzDQogcXVlIGhpIHB1Z3VpIGhhdmVyLjxicj4NCjxicj4NCkVz dGUgbWVuc2FqZSwgeSBsb3MgZmljaGVyb3MgYWRqdW50b3MgcXVlIHB1ZWRhIGluY2x1aXIsIHB1 ZWRlIGNvbnRlbmVyIGluZm9ybWFjacOzbiBjb25maWRlbmNpYWwgbyBsZWdhbG1lbnRlIHByb3Rl Z2lkYSB5IGVzdMOhIGV4Y2x1c2l2YW1lbnRlIGRpcmlnaWRvIGEgbGEgcGVyc29uYSBvIGVudGlk YWQgZGVzdGluYXRhcmlhLiBTaSB1c3RlZCBubyBjb25zdGEgY29tbyBkZXN0aW5hdGFyaW8gZmlu YWwgbmkgZXMgbGEgcGVyc29uYSBlbmNhcmdhZGENCiBkZSByZWNpYmlybG8sIG5vIGVzdMOhIGF1 dG9yaXphZG8gYSBsZWVybG8sIHJldGVuZXJsbywgbW9kaWZpY2FybG8sIGRpc3RyaWJ1aXJsbyBv IGNvcGlhcmxvLCBuaSBhIHJldmVsYXIgc3UgY29udGVuaWRvLiBTaSBsbyBoYSByZWNpYmlkbyBw b3IgZXJyb3IsIGluZm9ybWUgZGUgZWxsbyBhbCByZW1pdGVudGUgeSBlbGltaW5lIGRlbCBzaXN0 ZW1hIHRhbnRvIGVsIG1lbnNhamUgY29tbyBsb3MgZmljaGVyb3MgYWRqdW50b3MgcXVlIHB1ZWRh IGNvbnRlbmVyLjxicj4NCjxicj4NClRoaXMgZW1haWwgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1l bnRzIGl0IGNhcnJpZXMgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIG9yIGxlZ2FsbHkgcHJvdGVj dGVkIG1hdGVyaWFsIGFuZCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgaW5kaXZpZHVhbCBv ciBvcmdhbml6YXRpb24gdG8gd2hvbSB0aGV5IGFyZSBhZGRyZXNzZWQuIElmIHlvdSBhcmUgbm90 IHRoZSBpbnRlbmRlZCByZWNpcGllbnQgb2YgdGhpcyBtZXNzYWdlIG9yIHRoZSBwZXJzb24NCiBy ZXNwb25zaWJsZSBmb3IgcHJvY2Vzc2luZyBpdCwgdGhlbiB5b3UgYXJlIG5vdCBhdXRob3JpemVk IHRvIHJlYWQsIHNhdmUsIG1vZGlmeSwgc2VuZCwgY29weSBvciBkaXNjbG9zZSBhbnkgcGFydCBv ZiBpdC4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhlIG1lc3NhZ2UgYnkgbWlzdGFrZSwgcGxlYXNl IGluZm9ybSB0aGUgc2VuZGVyIG9mIHRoaXMgYW5kIGVsaW1pbmF0ZSB0aGUgbWVzc2FnZSBhbmQg YW55IGF0dGFjaG1lbnRzIGl0IGNhcnJpZXMNCiBmcm9tIHlvdXIgYWNjb3VudC48L2ZvbnQ+DQo8 cD48L3A+DQo8L2JvZHk+DQo8L2h0bWw+DQo= --_000_CA0J9PcfsTWCQNyAjhPKtnjoiRMg0ZPtDjCw4LRfiFnggmailgmailc_-- --===============7881771358402896333== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQXNpYW4tbG9n aWMgbWFpbGluZyBsaXN0CkFzaWFuLWxvZ2ljQGZvcy5rdWlzLmt5b3RvLXUuYWMuanAKaHR0cDov L3d3dy5mb3Mua3Vpcy5reW90by11LmFjLmpwL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9hc2lh bi1sb2dpYwo= --===============7881771358402896333==--