From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,MIME_BASE64_TEXT autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 6DA9DBC37 for ; Thu, 17 Sep 2009 05:06:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUDALJEsUpQDPIvjWdsb2JhbACCKS2NGYoGAYEtAQEBAQkJCgkRBcMshBgF X-IronPort-AV: E=Sophos;i="4.44,401,1249250400"; d="scan'208,217";a="34442445" Received: from smtp21.orange.fr ([80.12.242.47]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 Sep 2009 05:05:59 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2111.orange.fr (SMTP Server) with ESMTP id 4C5F62000088 for ; Thu, 17 Sep 2009 05:05:59 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2111.orange.fr (SMTP Server) with ESMTP id 3FAAD2000089 for ; Thu, 17 Sep 2009 05:05:59 +0200 (CEST) Received: from Lenovo-R60 (Mix-Lyon-303-1-176.w193-248.abo.wanadoo.fr [193.248.43.176]) by mwinf2111.orange.fr (SMTP Server) with ESMTP id E54382000088 for ; Thu, 17 Sep 2009 05:05:55 +0200 (CEST) X-ME-UUID: 20090917030555939.E54382000088@mwinf2111.orange.fr Date: Thu, 17 Sep 2009 05:05:54 +0200 From: "Damien Guichard" To: "caml-list@yquem.inria.fr" References: <4AB11511.2050506@cs.unibo.it>, <002e01ca36fd$37656c60$a6304520$@metastack.com>, <4AB15AD4.4030809@cs.unibo.it> Subject: [Caml-list] Re: Sets and home-made ordered types Message-ID: <200909170505535936286@orange.fr> X-mailer: Foxmail 6, 10, 201, 20 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon358877677108_=====" X-Spam: no; 0.00; damien:01 guichard:01 home-made:01 datatype:01 memoized:01 damien:01 guichard:01 home-made:01 model:01 intersection:01 node:01 ord:01 first-order:01 pervasives:01 cstr:01 This is a multi-part message in MIME format. --=====003_Dragon358877677108_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 SGkgTWF0dGhpYXMsDQoNCkkgZ3Vlc3Mgd2hhdCB5b3UgYWN0dWFsbHkgbmVlZCBpcyBub3QgYSB3 ZWlyZCBzZXQgZGF0YXR5cGUgYnV0IHNvbWUgbWVtb2l6ZWQgZnVuY3Rpb24gb2YgdHlwZSB0IC0+ IHQuDQoNCldoYXQgaSBwcm9wb3NlIGlzIHRoZSBmb2xsb3dpbmcgY29kZSA6DQoNCnR5cGUgdCA9 IEYgb2YgdCB8IEcgb2YgdCAqIHQgfCBBIHwgQg0KDQpsZXQgdG9wX21vc3QgKCkgPQ0KICBsZXQg ZiA9IHJlZiBOb25lIGFuZCBnID0gcmVmIE5vbmUgaW4NCiAgZnVuIHggLT4NCiAgbWF0Y2ggeCB3 aXRoDQogIHwgRiBfIC0+IChtYXRjaCAhZiB3aXRoIE5vbmUgLT4gZiA6PSBTb21lIHg7IHggfCBT b21lIHkgLT4geSkgDQogIHwgRyBfIC0+IChtYXRjaCAhZyB3aXRoIE5vbmUgLT4gZyA6PSBTb21l IHg7IHggfCBTb21lIHkgLT4geSkNCiAgfCBBIC0+IEENCiAgfCBCIC0+IEINCg0KVGhlbiB0b3Bf bW9zdCAoKSBnaXZlcyB5b3UgYSBmdW5jdGlvbiB3aXRoIHRoZSBleHBlY3RlZCBiZWhhdmlvci4N Cg0KSG9wZSBpdCBoZWxwcywNCg0KLSBkYW1pZW4NCg0KDQoNCg0KRGFtaWVuIEd1aWNoYXJkDQoy MDA5LTA5LTE3DQoNCg0KDQpFbiBy6XBvbnNlIGF1IG1lc3NhZ2UNCmRlIDogTWF0dGhpYXMgUHVl Y2gNCmR1IDogMjAwOS0wOS0xNiAyMzozODo0Mw0KwCA6IGNhbWwtbGlzdEB5cXVlbS5pbnJpYS5m cg0KQ0MgOiANClN1amV0IDogUmU6IFtDYW1sLWxpc3RdIFNldHMgYW5kIGhvbWUtbWFkZSBvcmRl cmVkIHR5cGVzDQoNCg0KRGF2aWQgQWxsc29wcCBhIOljcml0IDoNCj4gSXMgaXQgbm90IHBvc3Np YmxlIHRvIG1vZGVsIHlvdXIgcmVxdWlyZW1lbnQgdXNpbmcgTWFwLk1ha2UgaW5zdGVhZCAtIHdo ZXJlDQo+IHRoZSBrZXlzIHJlcHJlc2VudCB0aGUgZXF1aXZhbGVuY2UgY2xhc3NlcyBhbmQgdGhl IHZhbHVlcyB3aGF0ZXZlciBkYXRhDQo+IHlvdSdyZSBhc3NvY2lhdGluZyB3aXRoIHRoZW0/IA0K DQpZZXMsIHRoYXQncyBleGFjdGx5IHRoZSB3b3JrYXJvdW5kIEkgZW5kZWQgdXAgdXNpbmcsIGFs dGhvdWdoIEknbSBub3QNCnZlcnkgaGFwcHkgd2l0aCBpdCBiZWNhdXNlLCBhbW9uZyBvdGhlciB0 aGluZ3MsIHRoZXNlIGtleXMvY2xhc3MNCmRpc2NpbWluYW50IGdldCBkdXBsaWNhdGVkIChvbmNl IGluc2lkZSB0aGUga2V5LCBvbmNlIGluc2lkZSB0aGUNCmVsZW1lbnQpLiBJJ20gZ2V0dGluZyBt b3JlIGNvbmNyZXRlIGJlbG93Lg0KDQo+IEluIHRlcm1zIG9mIGEgc3RyaWN0bHkgcHVyZSBpbXBs ZW1lbnRhdGlvbiBvZiBhIGZ1bmN0aW9uYWwgU2V0LCBpdCB3b3VsZCBiZQ0KPiBvZGQgdG8gaGF2 ZSBhICJmaW5kIiBmdW5jdGlvbiAtIHlvdSdsbCBhbHNvIGdldCBzb21lIGludGVyZXN0aW5nIHVu ZGVmaW5lZA0KPiBiZWhhdmlvdXIgd2l0aCB0aGVzZSBzZXRzIGlmIHlvdSB0cnkgdG8gb3BlcmF0 aW9ucyBsaWtlIHVuaW9uIGFuZA0KPiBpbnRlcnNlY3Rpb24gYnV0IEkgZ3Vlc3MgeW91J3JlIGFs cmVhZHkgaGFwcHkgd2l0aCB0aGF0ISANCg0KSXQgc2VlbXMgdG8gbWUgcmF0aGVyIG5hdHVyYWwg dG8gaGF2ZSBpdDogb3RoZXJ3aXNlLCB3aGF0J3MgdGhlIHBvaW50IG9mDQpiZWluZyBhYmxlIHRv IHByb3ZpZGUgeW91ciBvd24gY29tcGFyZSwgYmVzaWRlIGp1c3QgY2hlY2tpbmcgZm9yDQptZW1i ZXJzaGlwIG9mIHRoZSBjbGFzcz8gVGhlIGltcGxlbWVudGF0aW9uIG9mIHRoZSBmdW5jdGlvbiBp cw0Kc3RyYWlnaHRmb3J3YXJkOiBqdXN0IGNvcHkgbWVtIGFuZCAgbWFrZSBpdCByZXR1cm4gdGhl IGVsZW1lbnQgaW4gY2FzZQ0Kb2Ygc3VjY2VzczoNCg0KbGV0IHJlYyBmaW5kIHggPSBmdW5jdGlv bg0KICAgICBFbXB0eSAtID4gcmFpc2UgTm90X2ZvdW5kDQogICB8IE5vZGUobCwgdiwgciwgXykg LSA+DQogICAgICAgbGV0IGMgPSBPcmQuY29tcGFyZSB4IHYgaW4NCiAgICAgICBpZiBjID0gMCB0 aGVuIHYgZWxzZQ0KICAgICAgICAgZmluZCB4IChpZiBjICA8IDAgdGhlbiBsIGVsc2UgcikNCg0K Rm9yIHVuaW9uIGFuZCBpbnRlciwgSSBkb24ndCBzZWUgaG93IHRoZWlyIGJlaGF2aW9yIHdvdWxk IGJlIHVuZGVmaW5lZCwNCnNpbmNlIG5laXRoZXIgdGhlIGRhdGFzdHJ1Y3R1cmUgbm9yIHRoZSBm dW5jdGlvbnMgYXJlIGNoYW5nZWQuDQoNCg0KSGVyZSBpcyB3aGF0IEkgd2FudCB0byBkbzogR2l2 ZW4gYSBwdXJlbHkgZmlyc3Qtb3JkZXIgZGF0YXN0cnVjdHVyZSwNCmxldCdzIHNheToNCnR5cGUg dCA9IEYgb2YgdCB8IEcgb2YgdCAqIHQgfCBBIHwgQg0KSSB3YW50IHRvIGluZGV4IHZhbHVlcyBv ZiB0eXBlIHQgYWNjb3JkaW5nIHRvIHRoZWlyIGZpcnN0IGNvbnN0cnVjdG9yLg0KU28gaW4gbXkg c2V0IHN0cnVjdHVyZSwgdGhlcmUgd2lsbCBiZSBhdCBtb3N0IG9uZSB0ZXJtIHN0YXJ0aW5nIHdp dGgNCmVhY2ggY29uc3RydWN0b3IsIGFuZDoNCmZpbmQgKEYoQSkpIChhZGQgKEYoQikpIGVtcHR5 KSB3aWxsIHJldHVybiBGKEIpDQoNCldpdGggYSBTZXQuZmluZCwgaXQncyBlYXN5Og0KDQpsZXQg Y29tcGFyZSB4IHkgPSBtYXRjaCB4LHkgd2l0aA0KfCAoRixGIHwgRyxHIHwgQSxBIHwgQixCKSAt ID4gMA0KfCBfIC0gPiBQZXJ2YXNpdmVzLmNvbXBhcmUgeCB5DQoNCm1vZHVsZSBTID0gU2V0Lk1h a2UgLi4uDQoNCldpdGggdGhlIE1hcCBzb2x1dGlvbiwgaSdtIG9ibGlnZWQgdG8gZGVmaW5lOg0K DQp0eXBlIGNzdHIgPSBGJyB8IEcnIHwgQScgfCBCJw0KbGV0IGNzdHJfb2YgeCA9IEYgXyAtID4g RicgfCBHIF8gLSA+IEcnIGV0Yy4NCg0KYW5kIHRoZW4gbWFrZSBhIE1hcCA6IGNzdHIgfC0tID4g dCwgd2hpY2ggZHVwbGljYXRlcyB0aGUgb2NjdXJyZW5jZSBvZg0KdGhlIGNvbnN0cnVjdG9yIChG JyBpbiB0aGUga2V5LCBGIGluIHRoZSBlbGVtZW50KS4gQmVzaWRlcywgSSdtDQpyZXNwb25zaWJs ZSBmb3IgbWFraW5nIHN1cmUgdGhhdCB0aGUgcGFpciBlLmcuIChHJywgRihBKSkgaXMgbm90IGFk ZGVkLg0KDQpUaGFua3MgZm9yIHlvdXIgYW5zd2VyIGFueXdheSENCg0KLS0gTWF0dGhpYXMNCg0K DQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KQ2FtbC1s aXN0IG1haWxpbmcgbGlzdC4gU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQ6DQpodHRwOi8veXF1ZW0u aW5yaWEuZnIvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2NhbWwtbGlzdA0KQXJjaGl2ZXM6IGh0 dHA6Ly9jYW1sLmlucmlhLmZyDQpCZWdpbm5lcidzIGxpc3Q6IGh0dHA6Ly9ncm91cHMueWFob28u Y29tL2dyb3VwL29jYW1sX2JlZ2lubmVycw0KQnVnIHJlcG9ydHM6IGh0dHA6Ly9jYW1sLmlucmlh LmZyL2Jpbi9jYW1sLWJ1Z3MNCg== --=====003_Dragon358877677108_===== Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: base64 PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDQuMCBUcmFuc2l0aW9uYWwv L0VOIj4NCjxIVE1MPjxIRUFEPg0KPE1FVEEgaHR0cC1lcXVpdj1Db250ZW50LVR5cGUgY29udGVu dD0idGV4dC9odG1sOyBjaGFyc2V0PWlzby04ODU5LTEiPg0KPE1FVEEgY29udGVudD0iTVNIVE1M IDYuMDAuMjkwMC4yOTYzIiBuYW1lPUdFTkVSQVRPUj4NCjxTVFlMRT5AZm9udC1mYWNlIHsNCglm b250LWZhbWlseTogU2ltU3VuOw0KfQ0KQGZvbnQtZmFjZSB7DQoJZm9udC1mYW1pbHk6IFRhaG9t YTsNCn0NCkBmb250LWZhY2Ugew0KCWZvbnQtZmFtaWx5OiBAU2ltU3VuOw0KfQ0KQHBhZ2UgU2Vj dGlvbjEge3NpemU6IDU5NS4zcHQgODQxLjlwdDsgbWFyZ2luOiA3Mi4wcHQgOTAuMHB0IDcyLjBw dCA5MC4wcHQ7IGxheW91dC1ncmlkOiAxNS42cHQ7IH0NClAuTXNvTm9ybWFsIHsNCglURVhULUpV U1RJRlk6IGludGVyLWlkZW9ncmFwaDsgRk9OVC1TSVpFOiAxMC41cHQ7IE1BUkdJTjogMGNtIDBj bSAwcHQ7IEZPTlQtRkFNSUxZOiAiVGltZXMgTmV3IFJvbWFuIjsgVEVYVC1BTElHTjoganVzdGlm eQ0KfQ0KTEkuTXNvTm9ybWFsIHsNCglURVhULUpVU1RJRlk6IGludGVyLWlkZW9ncmFwaDsgRk9O VC1TSVpFOiAxMC41cHQ7IE1BUkdJTjogMGNtIDBjbSAwcHQ7IEZPTlQtRkFNSUxZOiAiVGltZXMg TmV3IFJvbWFuIjsgVEVYVC1BTElHTjoganVzdGlmeQ0KfQ0KRElWLk1zb05vcm1hbCB7DQoJVEVY VC1KVVNUSUZZOiBpbnRlci1pZGVvZ3JhcGg7IEZPTlQtU0laRTogMTAuNXB0OyBNQVJHSU46IDBj bSAwY20gMHB0OyBGT05ULUZBTUlMWTogIlRpbWVzIE5ldyBSb21hbiI7IFRFWFQtQUxJR046IGp1 c3RpZnkNCn0NCkE6bGluayB7DQoJQ09MT1I6IGJsdWU7IFRFWFQtREVDT1JBVElPTjogdW5kZXJs aW5lDQp9DQpTUEFOLk1zb0h5cGVybGluayB7DQoJQ09MT1I6IGJsdWU7IFRFWFQtREVDT1JBVElP TjogdW5kZXJsaW5lDQp9DQpBOnZpc2l0ZWQgew0KCUNPTE9SOiBwdXJwbGU7IFRFWFQtREVDT1JB VElPTjogdW5kZXJsaW5lDQp9DQpTUEFOLk1zb0h5cGVybGlua0ZvbGxvd2VkIHsNCglDT0xPUjog cHVycGxlOyBURVhULURFQ09SQVRJT046IHVuZGVybGluZQ0KfQ0KU1BBTi5FbWFpbFN0eWxlMTcg ew0KCUZPTlQtV0VJR0hUOiBub3JtYWw7IENPTE9SOiB3aW5kb3d0ZXh0OyBGT05ULVNUWUxFOiBu b3JtYWw7IEZPTlQtRkFNSUxZOiBWZXJkYW5hOyBURVhULURFQ09SQVRJT046IG5vbmU7IG1zby1z dHlsZS10eXBlOiBwZXJzb25hbC1jb21wb3NlDQp9DQpESVYuU2VjdGlvbjEgew0KCXBhZ2U6IFNl Y3Rpb24xDQp9DQpCTE9DS1FVT1RFIHsNCglNQVJHSU4tVE9QOiAwcHg7IE1BUkdJTi1CT1RUT006 IDBweDsgTUFSR0lOLUxFRlQ6IDJlbQ0KfQ0KT0wgew0KCU1BUkdJTi1UT1A6IDBweDsgTUFSR0lO LUJPVFRPTTogMHB4DQp9DQpVTCB7DQoJTUFSR0lOLVRPUDogMHB4OyBNQVJHSU4tQk9UVE9NOiAw cHgNCn0NCjwvU1RZTEU+DQo8L0hFQUQ+DQo8Qk9EWT4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5h IGNvbG9yPSMwMDAwZmYgc2l6ZT0yPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJk YW5hIGNvbG9yPSMwMDAwZmYgc2l6ZT0yPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1W ZXJkYW5hIGNvbG9yPSMwMDAwMDAgc2l6ZT0yPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgY29s b3I9IzAwMDAwMCBzaXplPTI+SGkgTWF0dGhpYXMsPC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBj b2xvcj0jMDAwMDAwPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5h IGNvbG9yPSMwMDAwMDAgc2l6ZT0yPkkmbmJzcDtndWVzcyZuYnNwO3doYXQgeW91IGFjdHVhbGx5 IA0KbmVlZCBpcyBub3QgYSB3ZWlyZCBzZXQgZGF0YXR5cGUgYnV0IHNvbWUgbWVtb2l6ZWQgZnVu Y3Rpb24gb2YgdHlwZSA8RU0+dDwvRU0+IA0KLSZndDsgPEVNPnQ8L0VNPi48L0ZPTlQ+PC9ESVY+ DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJ Vj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPldoYXQgaSBwcm9wb3NlIGlzIHRoZSBmb2xsb3dp bmcgY29kZSANCjo8L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+ PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPSJDb3VyaWVyIE5ldyIgc2l6ZT0y PnR5cGUgdCA9IEYgb2YgdCB8IEcgb2YgdCAqIHQgfCBBIHwgDQpCPC9GT05UPjwvRElWPg0KPERJ Vj48Rk9OVCBmYWNlPSJDb3VyaWVyIE5ldyIgc2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxE SVY+PEZPTlQgZmFjZT0iQ291cmllciBOZXciIHNpemU9Mj5sZXQgdG9wX21vc3QgKCkgPTxCUj4m bmJzcDsgbGV0IGYgPSByZWYgDQpOb25lIGFuZCBnID0gcmVmIE5vbmUgaW48QlI+Jm5ic3A7IGZ1 biB4IC0mZ3Q7PEJSPiZuYnNwOyBtYXRjaCB4IHdpdGg8QlI+Jm5ic3A7IA0KfCBGIF8gLSZndDsg KG1hdGNoICFmIHdpdGggTm9uZSAtJmd0OyBmIDo9IFNvbWUgeDsgeCB8IFNvbWUgeSAtJmd0OyB5 KSANCjxCUj4mbmJzcDsgfCBHIF8gLSZndDsgKG1hdGNoICFnIHdpdGggTm9uZSAtJmd0OyBnIDo9 IFNvbWUgeDsgeCB8IFNvbWUgeSAtJmd0OyANCnkpPEJSPiZuYnNwOyB8IEEgLSZndDsgQTxCUj4m bmJzcDsgfCBCIC0mZ3Q7IEI8L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBz aXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0y PlRoZW4gPEVNPnRvcF9tb3N0ICgpPC9FTT4gZ2l2ZXMgeW91IGEgZnVuY3Rpb24gDQp3aXRoIHRo ZSBleHBlY3RlZCBiZWhhdmlvci48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFu YSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6 ZT0yPkhvcGUgaXQgaGVscHMsPC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEg c2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9 Mj4tIDxFTT5kYW1pZW48L0VNPjwvRk9OVD48L0RJVj48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05U IGZhY2U9VmVyZGFuYSBzaXplPTI+PC9GT05UPjxGT05UIGNvbG9yPSMwMDAwMDA+PC9GT05UPiZu YnNwOzwvRElWPg0KPERJViBhbGlnbj1sZWZ0Pg0KPERJViBhbGlnbj1sZWZ0PjxGT05UIGZhY2U9 VmVyZGFuYSBzaXplPTI+DQo8SFIgc3R5bGU9IldJRFRIOiAxMjJweDsgSEVJR0hUOiAycHgiIFNJ WkU9Mj4NCjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgY29sb3I9I2MwYzBjMD48Rk9OVCBmYWNl PVZlcmRhbmEgc2l6ZT0yPjxTUEFOPkRhbWllbiANCkd1aWNoYXJkPC9TUEFOPjwvRk9OVD48L0RJ Vj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj4yMDA5LTA5LTE3PC9GT05UPjwvRk9O VD48L0RJVj48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj4NCjxIUj4NCjwv Rk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9Mj48ST5FbiBy 6XBvbnNlIGF1IG1lc3NhZ2U8L0k+PEJSPjxTVFJPTkc+ZGUgDQo6PC9TVFJPTkc+IE1hdHRoaWFz IFB1ZWNoPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05U IHNpemU9Mj48U1RST05HPmR1IDo8L1NUUk9ORz4gDQoyMDA5LTA5LTE2Jm5ic3A7MjM6Mzg6NDM8 L0ZPTlQ+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQgc2l6ZT0y PjxTVFJPTkc+wCA6PC9TVFJPTkc+IA0KY2FtbC1saXN0QHlxdWVtLmlucmlhLmZyPC9GT05UPjwv Rk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9Mj48U1RST05H PkNDIDo8L1NUUk9ORz4gPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJk YW5hPjxGT05UIHNpemU9Mj48U1RST05HPlN1amV0IDo8L1NUUk9ORz4gUmU6IFtDYW1sLWxpc3Rd IA0KU2V0cyBhbmQgaG9tZS1tYWRlIG9yZGVyZWQgdHlwZXM8L0ZPTlQ+PC9GT05UPjwvRElWPg0K PERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+ PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPkRhdmlk Jm5ic3A7QWxsc29wcCZuYnNwO2EmbmJzcDvpY3JpdCZuYnNwOzo8L0RJVj4NCjxESVY+Jmd0OyZu YnNwO0lzJm5ic3A7aXQmbmJzcDtub3QmbmJzcDtwb3NzaWJsZSZuYnNwO3RvJm5ic3A7bW9kZWwm bmJzcDt5b3VyJm5ic3A7cmVxdWlyZW1lbnQmbmJzcDt1c2luZyZuYnNwO01hcC5NYWtlJm5ic3A7 aW5zdGVhZCZuYnNwOy0mbmJzcDt3aGVyZTwvRElWPg0KPERJVj4mZ3Q7Jm5ic3A7dGhlJm5ic3A7 a2V5cyZuYnNwO3JlcHJlc2VudCZuYnNwO3RoZSZuYnNwO2VxdWl2YWxlbmNlJm5ic3A7Y2xhc3Nl cyZuYnNwO2FuZCZuYnNwO3RoZSZuYnNwO3ZhbHVlcyZuYnNwO3doYXRldmVyJm5ic3A7ZGF0YTwv RElWPg0KPERJVj4mZ3Q7Jm5ic3A7eW91J3JlJm5ic3A7YXNzb2NpYXRpbmcmbmJzcDt3aXRoJm5i c3A7dGhlbT8mbmJzcDs8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPlllcywmbmJzcDt0 aGF0J3MmbmJzcDtleGFjdGx5Jm5ic3A7dGhlJm5ic3A7d29ya2Fyb3VuZCZuYnNwO0kmbmJzcDtl bmRlZCZuYnNwO3VwJm5ic3A7dXNpbmcsJm5ic3A7YWx0aG91Z2gmbmJzcDtJJ20mbmJzcDtub3Q8 L0RJVj4NCjxESVY+dmVyeSZuYnNwO2hhcHB5Jm5ic3A7d2l0aCZuYnNwO2l0Jm5ic3A7YmVjYXVz ZSwmbmJzcDthbW9uZyZuYnNwO290aGVyJm5ic3A7dGhpbmdzLCZuYnNwO3RoZXNlJm5ic3A7a2V5 cy9jbGFzczwvRElWPg0KPERJVj5kaXNjaW1pbmFudCZuYnNwO2dldCZuYnNwO2R1cGxpY2F0ZWQm bmJzcDsob25jZSZuYnNwO2luc2lkZSZuYnNwO3RoZSZuYnNwO2tleSwmbmJzcDtvbmNlJm5ic3A7 aW5zaWRlJm5ic3A7dGhlPC9ESVY+DQo8RElWPmVsZW1lbnQpLiZuYnNwO0knbSZuYnNwO2dldHRp bmcmbmJzcDttb3JlJm5ic3A7Y29uY3JldGUmbmJzcDtiZWxvdy48L0RJVj4NCjxESVY+Jm5ic3A7 PC9ESVY+DQo8RElWPiZndDsmbmJzcDtJbiZuYnNwO3Rlcm1zJm5ic3A7b2YmbmJzcDthJm5ic3A7 c3RyaWN0bHkmbmJzcDtwdXJlJm5ic3A7aW1wbGVtZW50YXRpb24mbmJzcDtvZiZuYnNwO2EmbmJz cDtmdW5jdGlvbmFsJm5ic3A7U2V0LCZuYnNwO2l0Jm5ic3A7d291bGQmbmJzcDtiZTwvRElWPg0K PERJVj4mZ3Q7Jm5ic3A7b2RkJm5ic3A7dG8mbmJzcDtoYXZlJm5ic3A7YSZuYnNwOyJmaW5kIiZu YnNwO2Z1bmN0aW9uJm5ic3A7LSZuYnNwO3lvdSdsbCZuYnNwO2Fsc28mbmJzcDtnZXQmbmJzcDtz b21lJm5ic3A7aW50ZXJlc3RpbmcmbmJzcDt1bmRlZmluZWQ8L0RJVj4NCjxESVY+Jmd0OyZuYnNw O2JlaGF2aW91ciZuYnNwO3dpdGgmbmJzcDt0aGVzZSZuYnNwO3NldHMmbmJzcDtpZiZuYnNwO3lv dSZuYnNwO3RyeSZuYnNwO3RvJm5ic3A7b3BlcmF0aW9ucyZuYnNwO2xpa2UmbmJzcDt1bmlvbiZu YnNwO2FuZDwvRElWPg0KPERJVj4mZ3Q7Jm5ic3A7aW50ZXJzZWN0aW9uJm5ic3A7YnV0Jm5ic3A7 SSZuYnNwO2d1ZXNzJm5ic3A7eW91J3JlJm5ic3A7YWxyZWFkeSZuYnNwO2hhcHB5Jm5ic3A7d2l0 aCZuYnNwO3RoYXQhJm5ic3A7PC9ESVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj5JdCZuYnNw O3NlZW1zJm5ic3A7dG8mbmJzcDttZSZuYnNwO3JhdGhlciZuYnNwO25hdHVyYWwmbmJzcDt0byZu YnNwO2hhdmUmbmJzcDtpdDombmJzcDtvdGhlcndpc2UsJm5ic3A7d2hhdCdzJm5ic3A7dGhlJm5i c3A7cG9pbnQmbmJzcDtvZjwvRElWPg0KPERJVj5iZWluZyZuYnNwO2FibGUmbmJzcDt0byZuYnNw O3Byb3ZpZGUmbmJzcDt5b3VyJm5ic3A7b3duJm5ic3A7Y29tcGFyZSwmbmJzcDtiZXNpZGUmbmJz cDtqdXN0Jm5ic3A7Y2hlY2tpbmcmbmJzcDtmb3I8L0RJVj4NCjxESVY+bWVtYmVyc2hpcCZuYnNw O29mJm5ic3A7dGhlJm5ic3A7Y2xhc3M/Jm5ic3A7VGhlJm5ic3A7aW1wbGVtZW50YXRpb24mbmJz cDtvZiZuYnNwO3RoZSZuYnNwO2Z1bmN0aW9uJm5ic3A7aXM8L0RJVj4NCjxESVY+c3RyYWlnaHRm b3J3YXJkOiZuYnNwO2p1c3QmbmJzcDtjb3B5Jm5ic3A7bWVtJm5ic3A7YW5kJm5ic3A7Jm5ic3A7 bWFrZSZuYnNwO2l0Jm5ic3A7cmV0dXJuJm5ic3A7dGhlJm5ic3A7ZWxlbWVudCZuYnNwO2luJm5i c3A7Y2FzZTwvRElWPg0KPERJVj5vZiZuYnNwO3N1Y2Nlc3M6PC9ESVY+DQo8RElWPiZuYnNwOzwv RElWPg0KPERJVj5sZXQmbmJzcDtyZWMmbmJzcDtmaW5kJm5ic3A7eCZuYnNwOz0mbmJzcDtmdW5j dGlvbjwvRElWPg0KPERJVj4mbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDtFbXB0eSZuYnNw Oy0gDQomZ3Q7Jm5ic3A7cmFpc2UmbmJzcDtOb3RfZm91bmQ8L0RJVj4NCjxESVY+Jm5ic3A7Jm5i c3A7Jm5ic3A7fCZuYnNwO05vZGUobCwmbmJzcDt2LCZuYnNwO3IsJm5ic3A7XykmbmJzcDstICZn dDs8L0RJVj4NCjxESVY+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7 bGV0Jm5ic3A7YyZuYnNwOz0mbmJzcDtPcmQuY29tcGFyZSZuYnNwO3gmbmJzcDt2Jm5ic3A7aW48 L0RJVj4NCjxESVY+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7aWYm bmJzcDtjJm5ic3A7PSZuYnNwOzAmbmJzcDt0aGVuJm5ic3A7diZuYnNwO2Vsc2U8L0RJVj4NCjxE SVY+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7 ZmluZCZuYnNwO3gmbmJzcDsoaWYmbmJzcDtjJm5ic3A7IA0KJmx0OyZuYnNwOzAmbmJzcDt0aGVu Jm5ic3A7bCZuYnNwO2Vsc2UmbmJzcDtyKTwvRElWPg0KPERJVj4mbmJzcDs8L0RJVj4NCjxESVY+ Rm9yJm5ic3A7dW5pb24mbmJzcDthbmQmbmJzcDtpbnRlciwmbmJzcDtJJm5ic3A7ZG9uJ3QmbmJz cDtzZWUmbmJzcDtob3cmbmJzcDt0aGVpciZuYnNwO2JlaGF2aW9yJm5ic3A7d291bGQmbmJzcDti ZSZuYnNwO3VuZGVmaW5lZCw8L0RJVj4NCjxESVY+c2luY2UmbmJzcDtuZWl0aGVyJm5ic3A7dGhl Jm5ic3A7ZGF0YXN0cnVjdHVyZSZuYnNwO25vciZuYnNwO3RoZSZuYnNwO2Z1bmN0aW9ucyZuYnNw O2FyZSZuYnNwO2NoYW5nZWQuPC9ESVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj4mbmJzcDs8 L0RJVj4NCjxESVY+SGVyZSZuYnNwO2lzJm5ic3A7d2hhdCZuYnNwO0kmbmJzcDt3YW50Jm5ic3A7 dG8mbmJzcDtkbzombmJzcDtHaXZlbiZuYnNwO2EmbmJzcDtwdXJlbHkmbmJzcDtmaXJzdC1vcmRl ciZuYnNwO2RhdGFzdHJ1Y3R1cmUsPC9ESVY+DQo8RElWPmxldCdzJm5ic3A7c2F5OjwvRElWPg0K PERJVj50eXBlJm5ic3A7dCZuYnNwOz0mbmJzcDtGJm5ic3A7b2YmbmJzcDt0Jm5ic3A7fCZuYnNw O0cmbmJzcDtvZiZuYnNwO3QmbmJzcDsqJm5ic3A7dCZuYnNwO3wmbmJzcDtBJm5ic3A7fCZuYnNw O0I8L0RJVj4NCjxESVY+SSZuYnNwO3dhbnQmbmJzcDt0byZuYnNwO2luZGV4Jm5ic3A7dmFsdWVz Jm5ic3A7b2YmbmJzcDt0eXBlJm5ic3A7dCZuYnNwO2FjY29yZGluZyZuYnNwO3RvJm5ic3A7dGhl aXImbmJzcDtmaXJzdCZuYnNwO2NvbnN0cnVjdG9yLjwvRElWPg0KPERJVj5TbyZuYnNwO2luJm5i c3A7bXkmbmJzcDtzZXQmbmJzcDtzdHJ1Y3R1cmUsJm5ic3A7dGhlcmUmbmJzcDt3aWxsJm5ic3A7 YmUmbmJzcDthdCZuYnNwO21vc3QmbmJzcDtvbmUmbmJzcDt0ZXJtJm5ic3A7c3RhcnRpbmcmbmJz cDt3aXRoPC9ESVY+DQo8RElWPmVhY2gmbmJzcDtjb25zdHJ1Y3RvciwmbmJzcDthbmQ6PC9ESVY+ DQo8RElWPmZpbmQmbmJzcDsoRihBKSkmbmJzcDsoYWRkJm5ic3A7KEYoQikpJm5ic3A7ZW1wdHkp Jm5ic3A7d2lsbCZuYnNwO3JldHVybiZuYnNwO0YoQik8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+ DQo8RElWPldpdGgmbmJzcDthJm5ic3A7U2V0LmZpbmQsJm5ic3A7aXQncyZuYnNwO2Vhc3k6PC9E SVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj5sZXQmbmJzcDtjb21wYXJlJm5ic3A7eCZuYnNw O3kmbmJzcDs9Jm5ic3A7bWF0Y2gmbmJzcDt4LHkmbmJzcDt3aXRoPC9ESVY+DQo8RElWPnwmbmJz cDsoRixGJm5ic3A7fCZuYnNwO0csRyZuYnNwO3wmbmJzcDtBLEEmbmJzcDt8Jm5ic3A7QixCKSZu YnNwOy0gDQomZ3Q7Jm5ic3A7MDwvRElWPg0KPERJVj58Jm5ic3A7XyZuYnNwOy0gJmd0OyZuYnNw O1BlcnZhc2l2ZXMuY29tcGFyZSZuYnNwO3gmbmJzcDt5PC9ESVY+DQo8RElWPiZuYnNwOzwvRElW Pg0KPERJVj5tb2R1bGUmbmJzcDtTJm5ic3A7PSZuYnNwO1NldC5NYWtlJm5ic3A7Li4uPC9ESVY+ DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj5XaXRoJm5ic3A7dGhlJm5ic3A7TWFwJm5ic3A7c29s dXRpb24sJm5ic3A7aSdtJm5ic3A7b2JsaWdlZCZuYnNwO3RvJm5ic3A7ZGVmaW5lOjwvRElWPg0K PERJVj4mbmJzcDs8L0RJVj4NCjxESVY+dHlwZSZuYnNwO2NzdHImbmJzcDs9Jm5ic3A7RicmbmJz cDt8Jm5ic3A7RycmbmJzcDt8Jm5ic3A7QScmbmJzcDt8Jm5ic3A7Qic8L0RJVj4NCjxESVY+bGV0 Jm5ic3A7Y3N0cl9vZiZuYnNwO3gmbmJzcDs9Jm5ic3A7RiZuYnNwO18mbmJzcDstIA0KJmd0OyZu YnNwO0YnJm5ic3A7fCZuYnNwO0cmbmJzcDtfJm5ic3A7LSAmZ3Q7Jm5ic3A7RycmbmJzcDtldGMu PC9ESVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj5hbmQmbmJzcDt0aGVuJm5ic3A7bWFrZSZu YnNwO2EmbmJzcDtNYXAmbmJzcDs6Jm5ic3A7Y3N0ciZuYnNwO3wtLSANCiZndDsmbmJzcDt0LCZu YnNwO3doaWNoJm5ic3A7ZHVwbGljYXRlcyZuYnNwO3RoZSZuYnNwO29jY3VycmVuY2UmbmJzcDtv ZjwvRElWPg0KPERJVj50aGUmbmJzcDtjb25zdHJ1Y3RvciZuYnNwOyhGJyZuYnNwO2luJm5ic3A7 dGhlJm5ic3A7a2V5LCZuYnNwO0YmbmJzcDtpbiZuYnNwO3RoZSZuYnNwO2VsZW1lbnQpLiZuYnNw O0Jlc2lkZXMsJm5ic3A7SSdtPC9ESVY+DQo8RElWPnJlc3BvbnNpYmxlJm5ic3A7Zm9yJm5ic3A7 bWFraW5nJm5ic3A7c3VyZSZuYnNwO3RoYXQmbmJzcDt0aGUmbmJzcDtwYWlyJm5ic3A7ZS5nLiZu YnNwOyhHJywmbmJzcDtGKEEpKSZuYnNwO2lzJm5ic3A7bm90Jm5ic3A7YWRkZWQuPC9ESVY+DQo8 RElWPiZuYnNwOzwvRElWPg0KPERJVj5UaGFua3MmbmJzcDtmb3ImbmJzcDt5b3VyJm5ic3A7YW5z d2VyJm5ic3A7YW55d2F5ITwvRElWPg0KPERJVj4mbmJzcDs8L0RJVj4NCjxESVY+LS0mbmJzcDtN YXR0aGlhczwvRElWPg0KPERJVj4mbmJzcDs8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElW Pl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fPC9ESVY+DQo8 RElWPkNhbWwtbGlzdCZuYnNwO21haWxpbmcmbmJzcDtsaXN0LiZuYnNwO1N1YnNjcmlwdGlvbiZu YnNwO21hbmFnZW1lbnQ6PC9ESVY+DQo8RElWPjxBIA0KaHJlZj0iaHR0cDovL3lxdWVtLmlucmlh LmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9jYW1sLWxpc3QiPmh0dHA6Ly95cXVlbS5pbnJp YS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1saXN0PC9BPjwvRElWPg0KPERJVj5B cmNoaXZlczombmJzcDs8QSANCmhyZWY9Imh0dHA6Ly9jYW1sLmlucmlhLmZyIj5odHRwOi8vY2Ft bC5pbnJpYS5mcjwvQT48L0RJVj4NCjxESVY+QmVnaW5uZXIncyZuYnNwO2xpc3Q6Jm5ic3A7PEEg DQpocmVmPSJodHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnMiPmh0 dHA6Ly9ncm91cHMueWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVyczwvQT48L0RJVj4NCjxE SVY+QnVnJm5ic3A7cmVwb3J0czombmJzcDs8QSANCmhyZWY9Imh0dHA6Ly9jYW1sLmlucmlhLmZy L2Jpbi9jYW1sLWJ1Z3MiPmh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3M8L0E+PC9E SVY+DQo8RElWPiZuYnNwOzwvRElWPjwvRk9OVD48L0RJVj48L0JPRFk+PC9IVE1MPg0K --=====003_Dragon358877677108_=====--