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.0 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id B5D55BBAF for ; Fri, 9 Oct 2009 16:18:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An4BAG/jzkpQDPIajmdsb2JhbACCKC2WfwGBLwEBAQEJCwgJEQW/Y4QqBIR5 X-IronPort-AV: E=Sophos;i="4.44,532,1249250400"; d="scan'208,217";a="48299141" Received: from smtp20.orange.fr ([80.12.242.26]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Oct 2009 16:18:47 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2003.orange.fr (SMTP Server) with ESMTP id 0F913200007A for ; Fri, 9 Oct 2009 16:18:47 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2003.orange.fr (SMTP Server) with ESMTP id F3F60200005A for ; Fri, 9 Oct 2009 16:18:46 +0200 (CEST) Received: from Lenovo-R60 (Mix-Lyon-121-3-75.w193-250.abo.wanadoo.fr [193.250.69.75]) by mwinf2003.orange.fr (SMTP Server) with ESMTP id 356672000202 for ; Fri, 9 Oct 2009 16:18:17 +0200 (CEST) X-ME-UUID: 20091009141817218.356672000202@mwinf2003.orange.fr Date: Fri, 9 Oct 2009 16:18:16 +0200 From: "Damien Guichard" To: "caml-list@yquem.inria.fr" References: <891bd3390910081840p37e8c786g60b2c15d2c06ae60@mail.gmail.com>, <7d8707de0910090033q4a14a108w62f13d7735994923@mail.gmail.com>, <891bd3390910090258l61aa7947p67a10c4adcc3312a@mail.gmail.com> Subject: Re: [Caml-list] Improving OCaml's choice of type to display Message-ID: <200910091618143281094@orange.fr> X-mailer: Foxmail 6, 10, 201, 20 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon306003438617_=====" X-Spam: no; 0.00; damien:01 guichard:01 ocaml's:01 yaron:01 ocaml:01 ocaml:01 additionnal:01 expressivity:01 damien:01 yaron:01 minsky:01 andrej:01 ocaml's:01 andrej:01 minsky:01 This is a multi-part message in MIME format. --=====003_Dragon306003438617_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 DQpIaSBZYXJvbiwNCg0KSSB0aGluayB5b3UgYmV0dGVyIHRoaW5rIHR3aWNlIGFib3V0IHRoZSBw cm9ibGVtIGluIGdlbmVyYWwgKHJhdGhlciB0aGFuIHRoZSBwYXJ0aWN1bGFyIG5lZWRzIG9mIENv cmUpIGJlZm9yZSBwcm9wb3Npbmcgc29tZSBjb250cm92ZXJzaWFsIHR5cGUgZGlzcGxheSBpbXBy b3ZlbWVudC4NCg0KSW1hZ2luZSBteSBjb2RlIGlzOg0KDQogIHR5cGUgY29sb3IgPSBpbnQgDQoN CiAgbGV0IGJsYWNrIDogY29sb3IgPSAwIA0KDQpUaGVuLCBmb2xsb3dpbmcgeW91ciBwcm9wb3Np dGlvbiwgZXZhbHVhdGluZyBibGFjayBzaG91bGQgZ2l2ZSBtZSBhbiBpbnQgcmF0aGVyIHRoYW4g YSBjb2xvciBiZWNhdXNlIGludCBpcyBzaG9ydGVyIGFuZCB0aGVyZWZvcmUgbmljZXIuDQoNClNv LCBub3csIHdoYXQncyB0aGUgcG9pbnQgaW4gdGhlIGNvbG9yIHR5cGUgZGVjbGFyYXRpb24gPw0K VGhlcmUgaXMgbm9uZSwgdHlwZSBhbGlhc2luZyBiZWNvbWVzIHVzZWxlc3MgYmVjYXVzZSB5b3Ug Y2FuJ3QgZXhwb3NlIGl0Lg0KQ2FsbCBtZSBjcmF6eSBidXQgaSB3aGlzaCBpIGNhbiB1c2UgbW9y ZSB0aGFuIDMgY2hhcmFjdGVycyBhcyBhIHR5cGUgbmFtZS4gDQoNClNvIHlvdSB3YW50IGl0IHRv IGJlIGRpc3BsYXllZCBhcyBhbiBJbnQudCByYXRoZXIgdGhhbiBhbiBJbnQuY29tcGFyYWJsZSA/ DQpUaGVuIGp1c3QgZGVjbGFyZSBpdCBhcyBJbnQudCByYXRoZXIgdGhhbiBJbnQuY29tcGFyYWJs ZSwgb3IgY2hvb3NlIGFub3RoZXIgc2hvcnRlciBuYW1lLCBpdCdzIG5vdCBhbiBPQ2FtbCBpc3N1 ZSwgaXRzJyBhIENvcmUgaXNzdWUuDQoob2J2aW91c2x5IGl0IHdvdWxkIHJlYWxseSBoZWxwIGlm IG5vIGVuZ2xpc2ggd29yZCB3b3VsZCBiZSBtb3JlIHRoYW4gNiBjaGFyYWN0ZXJzIGJ1dCBPY2Ft bCBjYW4ndCBiZSBibGFtZWQgZm9yIHRoYXQpDQoNCkkgbWVhbiwgd2hlbiBkZXNpZ25pbmcgYW4g ZWxhYm9yYXRlIHNvZnR3YXJlIGxpYnJhcnksIHlvdSBoYXZlIHRvIG1ha2UgY2hvaWNlcywgYW5k IG9mdGVuLCBubyBtYXR0ZXIgaG93IGdvb2QgT0NhbWwgaXMsIHNvbWUgY2hvaWNlcyB3aWxsIGJl IGNvbXByb21pc2VzLiBZb3UgaGF2ZSB0byBwaWNrIHRoZSBsZXNzZXIgYmV0d2VlbiBzZXZlcmFs IGV2aWxzIGFuZCBsaXZlIHdpdGggaXQuDQoNCkkgaGF2ZSBsZWFybmVkIHRoYXQgd2hlbiBwcm9n cmFtbWluZyBPY2FtbC1JZGFobywgc3VkZGVubHkgbW9kdWxlIG5hbWVzIGJlY29tZSBsb25nZXIs IG1vZHVsZSB0eXBlcyBiZWNvbWUgbW9yZSBjb21wb3NpdGVkLCBkYXRhIHR5cGVzIGJlY29tZSBt b3JlIHN1YnRsZSwgYW5kIHNvIG9uIGFuZCBzbyBvbi4uLg0KIA0KQmxhbWluZyBPQ2FtbCBpcyBh IHRvbyBlYXN5IHBhdGguDQoNCkF0IG9uZSBjZXJ0YWluIHBvaW50IHlvdSBoYXZlIHRvIGZhY2Ug dGhlIHZlcmJvc2l0eSB5b3UgaGF2ZSBjcmVhdGVkIGFuZCBkZWNpZGUgd2hldGhlciB0aGUgYWRk aXRpb25uYWwgZXhwcmVzc2l2aXR5IHdvcnRocyB0aGUgcHJpY2UuDQpJZiB5b3UgdGhpbmsgaXQg ZG9lcyB0aGVuIGl0J3Mgb2ssIGlmIG5vdCB0aGVuIGp1c3QgYW1lbmQsIGlmIGFtZW5kaW5nIGRv ZXNuJ3QgaGVscCB0aGVuIGNvbnNpZGVyIHJlZmFjdG9yaW5nLg0KU2VlayB0aGUgYmVzdCBleHBy ZXNzaXZlbmVzcy92ZXJib3NpdHkgcmF0aW8gd2l0aG91dCBzYWNyaWZ5aW5nIHRvbyBtdWNoIGZ1 bmN0aW9uYWxpdHkuDQpUaGF0J3MgeW91ciBqb2IgYXMgYSBsaWJyYXJ5IGRlc2lnbmVyLg0KDQoN Ci0gZGFtaWVuDQoNCg0KDQoNCg0KRW4gculwb25zZSBhdSBtZXNzYWdlDQpkZSA6IFlhcm9uIE1p bnNreQ0KZHUgOiAyMDA5LTEwLTA5IDExOjU4OjExDQrAIDogQW5kcmVqIEJhdWVyDQpDQyA6IGNh bWwtbGlzdEB5cXVlbS5pbnJpYS5mcg0KU3VqZXQgOiBSZTogW0NhbWwtbGlzdF0gSW1wcm92aW5n IE9DYW1sJ3MgY2hvaWNlIG9mIHR5cGUgdG8gZGlzcGxheQ0KDQpXZWxsLCBpZiB3ZSdyZSBwaWNr aW5nIGhldXJpc3RpY3MsIHRoZSBmZXdlc3QgbnVtYmVyIG9mIGNoYXJhY3RlcnMgd291bGRuJ3Qg YmUgY3JhenkgZWl0aGVyLiAgR2l2ZW4gdGhlIGNob2ljZSBiZXR3ZWVuIEludC50IGFuZCBJbnQu Y29tcGFyYWJsZSAod2hpY2ggYXJlIGFsaWFzZXMgZm9yIHRoZSBzYW1lIHR5cGUpLCBJJ2QgcHJl ZmVyIHRvIHNlZSBJbnQudC4NCg0KeQ0KDQoNCk9uIEZyaSwgT2N0IDksIDIwMDkgYXQgMzozMyBB TSwgQW5kcmVqIEJhdWVyIDxhbmRyZWouYmF1ZXJAYW5kcmVqLmNvbT4gd3JvdGU6DQoNCk9uIEZy aSwgT2N0IDksIDIwMDkgYXQgMzo0MCBBTSwgWWFyb24gTWluc2t5IDx5bWluc2t5QGdtYWlsLmNv bT4gd3JvdGU6DQo+IENob29zaW5nIHNob3J0ZXIgbmFtZXMuDQoNCkJ5IHdoaWNoIHlvdSBwcm9i YWJseSBtZWFuICJ0aGUgZmV3ZXN0IG51bWJlciBvZiBkb3RzIChtb2R1bGUNCnByb2plY3Rpb25z KSIuIEl0IG1pZ2h0IGJlIGEgYml0IGFubm95aW5nIGlmIHRoZSBjb2RlIHRoYXQgcHJpbnRzDQpk b2Vzbid0IGtub3cgd2hhdCBtb2R1bGVzIGFyZSBvcGVuLiBXaGF0IGRvIHRoZSBJTlJJQSBwcmll c3RzIHNheT8NCg0KQW5kcmVqDQo= --=====003_Dragon306003438617_===== 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 YW5hIGNvbG9yPSMwMDAwZmYgc2l6ZT0yPjwvRk9OVD48L0RJVj4NCjxESVYgYWxpZ249bGVmdD48 Rk9OVCBjb2xvcj0jYzBjMGMwPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjwvRk9O VD48L0ZPTlQ+PC9ESVY+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PEZP TlQgY29sb3I9IzAwMDAwMD48L0ZPTlQ+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBm YWNlPVZlcmRhbmEgc2l6ZT0yPjxGT05UIGNvbG9yPSMwMDAwMDA+SGkgWWFyb24sPC9GT05UPjwv Rk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj48Rk9OVCBjb2xvcj0j MDAwMDAwPjwvRk9OVD48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFu YSBzaXplPTI+SSB0aGluayB5b3UgYmV0dGVyIHRoaW5rIHR3aWNlIGFib3V0IHRoZSBwcm9ibGVt IA0KaW4gZ2VuZXJhbCAocmF0aGVyIHRoYW4gdGhlIHBhcnRpY3VsYXIgbmVlZHMgb2YgQ29yZSkg YmVmb3JlIHByb3Bvc2luZyANCnNvbWUmbmJzcDtjb250cm92ZXJzaWFsIHR5cGUgZGlzcGxheSBp bXByb3ZlbWVudC48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+ PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPkltYWdp bmUgbXkgY29kZSBpczo8L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXpl PTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPSJDb3VyaWVyIE5ldyIgc2l6 ZT0yPiZuYnNwOyB0eXBlIGNvbG9yID0gaW50IDwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFj ZT0iQ291cmllciBOZXciIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05UIGZh Y2U9VmVyZGFuYSBzaXplPTI+PEZPTlQgZmFjZT0iQ291cmllciBOZXciPiZuYnNwOyBsZXQgYmxh Y2sgOiBjb2xvciANCj0gMDwvRk9OVD4mbmJzcDs8L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZh Y2U9VmVyZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZl cmRhbmEgc2l6ZT0yPlRoZW4sIGZvbGxvd2luZyB5b3VyIHByb3Bvc2l0aW9uLCBldmFsdWF0aW5n IA0KPEVNPmJsYWNrPC9FTT4mbmJzcDtzaG91bGQgZ2l2ZSBtZSBhbiA8RU0+aW50PC9FTT4gcmF0 aGVyIHRoYW4gYSA8RU0+Y29sb3I8L0VNPiANCmJlY2F1c2UgPEVNPmludDwvRU0+IGlzIHNob3J0 ZXIgYW5kIHRoZXJlZm9yZSBuaWNlci48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVy ZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEg c2l6ZT0yPlNvLCBub3csIHdoYXQncyB0aGUgcG9pbnQgaW4gdGhlIDxFTT5jb2xvcjwvRU0+IA0K dHlwZSBkZWNsYXJhdGlvbiA/PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEg c2l6ZT0yPlRoZXJlIGlzIG5vbmUsIDwvRk9OVD48Rk9OVCBmYWNlPVZlcmRhbmEgDQpzaXplPTI+ dHlwZSBhbGlhc2luZyBiZWNvbWVzIHVzZWxlc3MgYmVjYXVzZSB5b3UgY2FuJ3QgZXhwb3NlIGl0 LjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj5DYWxsIG1lIGNy YXp5Jm5ic3A7YnV0IGkgd2hpc2ggaSBjYW4gdXNlIG1vcmUgDQp0aGFuIDMgY2hhcmFjdGVycyBh cyBhJm5ic3A7dHlwZSBuYW1lLiZuYnNwOzwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1W ZXJkYW5hIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFu YSBzaXplPTI+U28geW91IHdhbnQgaXQgdG8gYmUgZGlzcGxheWVkIGFzIA0KYW4mbmJzcDs8RU0+ SW50LnQ8L0VNPiByYXRoZXIgdGhhbiBhbiZuYnNwOzxFTT5JbnQuY29tcGFyYWJsZTwvRU0+IA0K PzwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj5UaGVuIGp1c3Qg ZGVjbGFyZSBpdCBhcyA8RU0+SW50LnQ8L0VNPiByYXRoZXIgDQp0aGFuIDxFTT5JbnQuY29tcGFy YWJsZTwvRU0+LCBvciBjaG9vc2UgYW5vdGhlciZuYnNwO3Nob3J0ZXIgbmFtZSwgaXQncyBub3Qg YW4gDQpPQ2FtbCBpc3N1ZSwgaXRzJyBhIENvcmUgaXNzdWUuPC9GT05UPjwvRElWPg0KPERJVj48 Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPihvYnZpb3VzbHkgaXQgd291bGQgcmVhbGx5IGhlbHAg aWYgbm8gZW5nbGlzaCANCndvcmQgd291bGQgYmUgbW9yZSB0aGFuIDYgY2hhcmFjdGVycyBidXQg T2NhbWwgY2FuJ3QgYmUgYmxhbWVkIGZvciANCnRoYXQpPC9GT05UPjwvRElWPg0KPERJVj48Rk9O VCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFj ZT1WZXJkYW5hIHNpemU9Mj5JIG1lYW4sJm5ic3A7d2hlbiBkZXNpZ25pbmcgYW4gDQplbGFib3Jh dGUmbmJzcDtzb2Z0d2FyZSBsaWJyYXJ5LCB5b3UgaGF2ZSB0byBtYWtlIGNob2ljZXMsIGFuZCBv ZnRlbiwgbm8gbWF0dGVyIA0KaG93IGdvb2QmbmJzcDtPQ2FtbCBpcywgc29tZSBjaG9pY2VzIHdp bGwgYmUgY29tcHJvbWlzZXMuIFlvdSBoYXZlIHRvIHBpY2sgdGhlIA0KbGVzc2VyIGJldHdlZW4g c2V2ZXJhbCBldmlscyBhbmQgbGl2ZSB3aXRoIGl0LjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQg ZmFjZT1WZXJkYW5hIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9 VmVyZGFuYSBzaXplPTI+SSBoYXZlIGxlYXJuZWQgdGhhdCB3aGVuIHByb2dyYW1taW5nIDxBIA0K aHJlZj0iaHR0cHM6Ly9mb3JnZS5vY2FtbGNvcmUub3JnL3Byb2plY3RzL29jYW1sLWlkYWhvLyI+ T2NhbWwtSWRhaG88L0E+LCANCnN1ZGRlbmx5IG1vZHVsZSBuYW1lcyBiZWNvbWUgbG9uZ2VyLCBt b2R1bGUgdHlwZXMgYmVjb21lIG1vcmUgY29tcG9zaXRlZCwgZGF0YSANCnR5cGVzIGJlY29tZSBt b3JlIHN1YnRsZSwgYW5kIHNvIG9uIGFuZCBzbyBvbi4uLjwvRk9OVD48L0RJVj4NCjxESVY+Jm5i c3A7PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+QmxhbWluZyBPQ2FtbCBp cyBhIHRvbyBlYXN5IHBhdGguPC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEg c2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9 Mj5BdCZuYnNwO29uZSBjZXJ0YWluJm5ic3A7cG9pbnQgeW91IGhhdmUgdG8gZmFjZSANCnRoZSB2 ZXJib3NpdHkgPFU+eW91PC9VPiBoYXZlIGNyZWF0ZWQgYW5kIGRlY2lkZSB3aGV0aGVyIHRoZSBh ZGRpdGlvbm5hbCANCmV4cHJlc3Npdml0eSB3b3J0aHMgdGhlIHByaWNlLjwvRk9OVD48L0RJVj4N CjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj5JZiB5b3UgdGhpbmsgaXQgZG9lcyB0aGVu IGl0J3Mgb2ssIGlmIG5vdCB0aGVuIA0KanVzdCBhbWVuZCwgaWYgYW1lbmRpbmcgZG9lc24ndCBo ZWxwIHRoZW4gY29uc2lkZXIgcmVmYWN0b3JpbmcuPC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBm YWNlPVZlcmRhbmEgc2l6ZT0yPlNlZWsgdGhlIGJlc3QgZXhwcmVzc2l2ZW5lc3MvdmVyYm9zaXR5 IHJhdGlvIA0Kd2l0aG91dCBzYWNyaWZ5aW5nIHRvbyBtdWNoIGZ1bmN0aW9uYWxpdHkuPC9GT05U PjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPlRoYXQncyB5b3VyIGpvYiBh cyBhIGxpYnJhcnkgDQpkZXNpZ25lci48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVy ZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEg c2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9 Mj48Rk9OVCBjb2xvcj0jMDAwMDAwPi0gDQo8RU0+ZGFtaWVuPC9FTT48L0ZPTlQ+PC9ESVY+DQo8 RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PEZPTlQgY29sb3I9I2MwYzBjMD48L0ZPTlQ+ PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjxGT05U IGNvbG9yPSNjMGMwYzA+PC9GT05UPiZuYnNwOzwvRElWPjwvRk9OVD4NCjxESVY+DQo8SFI+DQo8 L0RJVj48L0ZPTlQ+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYT48Rk9OVCBzaXplPTI+PEk+RW4g culwb25zZSBhdSBtZXNzYWdlPC9JPjxCUj48U1RST05HPmRlIA0KOjwvU1RST05HPiBZYXJvbiBN aW5za3k8L0ZPTlQ+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQg c2l6ZT0yPjxTVFJPTkc+ZHUgOjwvU1RST05HPiANCjIwMDktMTAtMDkmbmJzcDsxMTo1ODoxMTwv Rk9OVD48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYT48Rk9OVCBzaXplPTI+ PFNUUk9ORz7AIDo8L1NUUk9ORz4gQW5kcmVqIA0KQmF1ZXI8L0ZPTlQ+PC9GT05UPjwvRElWPg0K PERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQgc2l6ZT0yPjxTVFJPTkc+Q0MgOjwvU1RST05H PiANCmNhbWwtbGlzdEB5cXVlbS5pbnJpYS5mcjwvRk9OVD48L0ZPTlQ+PC9ESVY+DQo8RElWPjxG T05UIGZhY2U9VmVyZGFuYT48Rk9OVCBzaXplPTI+PFNUUk9ORz5TdWpldCA6PC9TVFJPTkc+IFJl OiBbQ2FtbC1saXN0XSANCkltcHJvdmluZyBPQ2FtbCdzIGNob2ljZSBvZiB0eXBlIHRvIGRpc3Bs YXk8L0ZPTlQ+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjwv Rk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj5XZWxsLCBp ZiB3ZSdyZSBwaWNraW5nIGhldXJpc3RpY3MsIHRoZSBmZXdlc3QgDQpudW1iZXIgb2YgY2hhcmFj dGVycyB3b3VsZG4ndCBiZSBjcmF6eSBlaXRoZXIuJm5ic3A7IEdpdmVuIHRoZSBjaG9pY2UgYmV0 d2VlbiANCkludC50IGFuZCBJbnQuY29tcGFyYWJsZSAod2hpY2ggYXJlIGFsaWFzZXMgZm9yIHRo ZSBzYW1lIHR5cGUpLCBJJ2QgcHJlZmVyIHRvIA0Kc2VlIEludC50LjxCUj48QlI+eTxCUj48QlI+ DQo8RElWIGNsYXNzPWdtYWlsX3F1b3RlPk9uIEZyaSwgT2N0IDksIDIwMDkgYXQgMzozMyBBTSwg QW5kcmVqIEJhdWVyIDxTUEFOIA0KZGlyPWx0cj4mbHQ7PEEgDQpocmVmPSJtYWlsdG86YW5kcmVq LmJhdWVyQGFuZHJlai5jb20iPmFuZHJlai5iYXVlckBhbmRyZWouY29tPC9BPiZndDs8L1NQQU4+ IA0Kd3JvdGU6PEJSPg0KPEJMT0NLUVVPVEUgY2xhc3M9Z21haWxfcXVvdGUgDQpzdHlsZT0iUEFE RElORy1MRUZUOiAxZXg7IE1BUkdJTjogMHB0IDBwdCAwcHQgMC44ZXg7IEJPUkRFUi1MRUZUOiBy Z2IoMjA0LDIwNCwyMDQpIDFweCBzb2xpZCI+T24gDQogIEZyaSwgT2N0IDksIDIwMDkgYXQgMzo0 MCBBTSwgWWFyb24gTWluc2t5ICZsdDs8QSANCiAgaHJlZj0ibWFpbHRvOnltaW5za3lAZ21haWwu Y29tIj55bWluc2t5QGdtYWlsLmNvbTwvQT4mZ3Q7IHdyb3RlOjxCUj4mZ3Q7IA0KICBDaG9vc2lu ZyBzaG9ydGVyIG5hbWVzLjxCUj48QlI+Qnkgd2hpY2ggeW91IHByb2JhYmx5IG1lYW4gInRoZSBm ZXdlc3QgbnVtYmVyIA0KICBvZiBkb3RzIChtb2R1bGU8QlI+cHJvamVjdGlvbnMpIi4gSXQgbWln aHQgYmUgYSBiaXQgYW5ub3lpbmcgaWYgdGhlIGNvZGUgdGhhdCANCiAgcHJpbnRzPEJSPmRvZXNu J3Qga25vdyB3aGF0IG1vZHVsZXMgYXJlIG9wZW4uIFdoYXQgZG8gdGhlIElOUklBIHByaWVzdHMg DQogIHNheT88QlI+PEZPTlQgDQpjb2xvcj0jODg4ODg4PjxCUj5BbmRyZWo8QlI+PC9GT05UPjwv QkxPQ0tRVU9URT48L0RJVj48QlI+PC9GT05UPjwvRElWPjwvQk9EWT48L0hUTUw+DQo= --=====003_Dragon306003438617_=====--