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.2 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, 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 EF242BBC4 for ; Sat, 21 Mar 2009 20:06:02 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwCALPXxElQDPJefGdsb2JhbACCUpFpAYExAQELCQoHEQW+CoN+BmI X-IronPort-AV: E=Sophos;i="4.38,400,1233529200"; d="scan'208,217";a="36945879" Received: from smtp27.orange.fr ([80.12.242.94]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Mar 2009 20:06:02 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2728.orange.fr (SMTP Server) with ESMTP id 69AFF1C00094 for ; Sat, 21 Mar 2009 20:06:01 +0100 (CET) Received: from Thinkpad-R60 (Mix-Lyon-303-2-112.w193-248.abo.wanadoo.fr [193.248.44.112]) by mwinf2728.orange.fr (SMTP Server) with ESMTP id D5C0A1C00082 for ; Sat, 21 Mar 2009 20:05:22 +0100 (CET) X-ME-UUID: 20090321190522875.D5C0A1C00082@mwinf2728.orange.fr Date: Sat, 21 Mar 2009 20:06:25 +0100 From: "Damien Guichard" To: "caml-list@yquem.inria.fr" References: Subject: Re: [Caml-list] calculating a remainder of two church number on lambdacalculs with ocaml Message-ID: <200903212006219065563@orange.fr> X-mailer: Foxmail 6, 10, 201, 20 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon568862151167_=====" X-Spam: no; 0.00; damien:01 guichard:01 ocaml:01 ocaml:01 nat:01 nat:01 mult:01 damien:01 guichard:01 lambda:01 lambda:01 mult:01 2009:98 2009:98 maillist:98 This is a multi-part message in MIME format. --=====003_Dragon568862151167_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 DQpIaSBmZWxsb3cgb2NhbWwgY29kZXIsDQoNCg0KQ2h1cmNoIG51bWVyYWxzIGlzIGEgdW5hcnkg Y29kaW5nIGFuZCBhcyBzdWNoIGlzIGF3ZnVsbHkgaW5lZmZpY2llbnQuDQpNdWx0aXBsaWNhdGlv biB0eXBpY2FsbHkgdXNlcyByZXBlYXRlZCBhZGRpdGlvbi4NCkRpdmlzaW9uL3JlbWFpbmRlciBh bHNvIHR5cGljYWxseSB1c2VzIHJlcGVhdGVkIHN1YnN0cmFjdGlvbi4NCkJlY2F1c2Ugb2YgdGhl IGNyYXBweSB1bmFyeSBjb2RpbmcgdGhlcmUgaXMgbGl0dGxlIHlvdSBjYW4gZG8gdG8gaW1wcm92 ZSBvbiB0aGF0LiANCg0KTXkgYWR2aWNlIGlzIHlvdSBjb3VsZCBnYWluIG11Y2ggYmV0dGVyIGVm ZmljaWVuY3kgdmlhIGEgYmluYXJ5IGNvZGluZy4NCkhlcmUgaXMgaG93IHlvdSBjYW4gZG8gdGhl IGVhc3kgcGFydCA6DQoNCnR5cGUgbmF0ID0NCiAgfCBOdWxsICAgICAgICAgICAoKiAwICopIA0K ICB8IFVuaXQgICAgICAgICAgICgqIDEgKikNCiAgfCBaZXJvIG9mIG5hdCAgICAoKiAwLi4uICop DQogIHwgT25lICBvZiBuYXQgICAgKCogMS4uLiAqKQ0KDQpsZXQgcmVjIGV2ZW4gPSBmdW5jdGlv bg0KICB8IE51bGwgLT4gdHJ1ZQ0KICB8IFVuaXQgLT4gZmFsc2UNCiAgfCBaZXJvIG4gfCBPbmUg IG4gLT4gZXZlbiBuIA0KDQpsZXQgcmVjIGRvdWJsZSA9IGZ1bmN0aW9uDQogIHwgTnVsbCAtPiBa ZXJvIE51bGwNCiAgfCBVbml0IC0+IE9uZSAgTnVsbA0KICB8IFplcm8gbiAtPiBaZXJvIChkb3Vi bGUgbikNCiAgfCBPbmUgIG4gLT4gT25lICAoZG91YmxlIG4pDQoNCmxldCBzdWNjIG4gPSANCiAg bGV0IHJlYyBsb29wID0gZnVuY3Rpb24NCiAgICB8IE51bGwgLT4gVW5pdCxmYWxzZQ0KICAgIHwg VW5pdCAtPiBOdWxsLHRydWUNCiAgICB8IFplcm8gbiAtPiBsZXQgbSxjID0gbG9vcCBuIGluIChp ZiBjIHRoZW4gT25lIG0gZWxzZSBaZXJvIG0pLGZhbHNlICANCiAgICB8IE9uZSAgbiAtPiBsZXQg bSxjID0gbG9vcCBuIGluIChpZiBjIHRoZW4gWmVybyBtIGVsc2UgT25lIG0pLGMgIA0KICBpbg0K ICBsZXQgbSxjID0gbG9vcCBuIGluIGlmIGMgdGhlbiBPbmUgbSBlbHNlIG0NCg0KbGV0IG11bHQg YSBiID0NCiAgbGV0IHJlYyBsb29wID0gZnVuY3Rpb24gDQogICAgfCBOdWxsIC0+IE51bGwsZG91 YmxlIGINCiAgICB8IFVuaXQgLT4gYixkb3VibGUgYg0KICAgIHwgWmVybyBuIC0+IGxldCBkLGMg PSBsb29wIG4gaW4gZCxkb3VibGUgYyANCiAgICB8IE9uZSAgbiAtPiBsZXQgZCxjID0gbG9vcCBu IGluIGFkZCBkIGMsZG91YmxlIGMNCiAgaW4gbGV0IG4sXyA9IGxvb3AgYSBpbiBuDQoNCg0KVGhh dCBpcyBkaXJ0eSB1bnRlc3RlZCBjb2RlIHlldCBpIGhvcGUgeW91IGdldCB0aGUgaWRlYS4NCkFk ZGl0aW9uL3N1YnN0cmFjdGlvbiBhbmQgZGl2aXNpb24gd2lsbCBiZSBzb21ld2hhdCB0cmlja2ll ciBob3dldmVyLg0KDQotIGRhbWllbg0KDQoNCg0KDQoNCkRhbWllbiBHdWljaGFyZA0KMjAwOS0w My0yMQ0KDQoNCg0KRW4gculwb25zZSBhdSBtZXNzYWdlDQpkZSA6IFN1IFpoYW5nDQpkdSA6IDIw MDktMDMtMjEgMTg6MzY6MTENCsAgOiBjYW1sLWxpc3RAeXF1ZW0uaW5yaWEuZnINCkNDIDogDQpT dWpldCA6IFtDYW1sLWxpc3RdIGNhbGN1bGF0aW5nIGEgcmVtYWluZGVyIG9mIHR3byBjaHVyY2gg bnVtYmVyIG9uIGxhbWJkYWNhbGN1bHMgd2l0aCBvY2FtbA0KDQpIaSBPQ2FtbCBoYWNrZXJzLA0K DQpJIGhhdmUgYSBxdWVzdGlvbiBhYm91dCBob3cgY2FuIEkgd3JpdGUgYSBmdW5jdGlvbiB3aGlj aCBjYW4gZ2V0IHRoZSByZW1haW5kZXIgb2YgdHdvIGNodXJjaCBudW1iZXJpYWxzIGluIGxhbWJk YSBjYWxjdWx1cy4gSSBrbm93IHRoaXMgaXMgYSBvY2FtbCBtYWlsbGlzdCwgYnV0IHRoaXMgbGFt YmRhIGNhbGN1bHVzIHNob3VsZCB1c2Ugb2NhbWwgZW5naW5lLCBzbyBpcyB0aGVyZSBhbnlib2R5 IGtub3cgaG93IGNhbiBJIHdyaXRlIHRoaXMgZnVuY3Rpb24/IA0KDQpUaGFua3MhDQoNCg0KDQot LSANClN1IFpoYW5nDQpQSEQgU3R1ZGVudCANCkNvbXB1dGVyIEluZm9ybWF0aW9uIGFuZCBTY2ll bmNlDQpLYW5zYXMgU3RhdGUgVW5pdmVyc2l0eSANCg== --=====003_Dragon568862151167_===== 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+Jm5ic3A7PC9ESVY+DQo8RElW PkhpIGZlbGxvdyBvY2FtbCBjb2Rlciw8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPjxC Uj5DaHVyY2ggbnVtZXJhbHMgaXMgYSB1bmFyeSBjb2RpbmcgYW5kIGFzIHN1Y2ggaXMgYXdmdWxs eSANCmluZWZmaWNpZW50LjxCUj5NdWx0aXBsaWNhdGlvbiB0eXBpY2FsbHkgdXNlcyByZXBlYXRl ZCANCmFkZGl0aW9uLjxCUj5EaXZpc2lvbi9yZW1haW5kZXIgYWxzbyB0eXBpY2FsbHkgdXNlcyBy ZXBlYXRlZCBzdWJzdHJhY3Rpb24uPC9ESVY+DQo8RElWPkJlY2F1c2Ugb2YgdGhlIGNyYXBweSZu YnNwO3VuYXJ5IGNvZGluZyB0aGVyZSBpcyBsaXR0bGUgeW91IGNhbiBkbyB0byANCmltcHJvdmUg b24gdGhhdC4mbmJzcDs8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPk15IGFkdmljZSBp cyB5b3UgY291bGQgZ2FpbiBtdWNoIGJldHRlciBlZmZpY2llbmN5IHZpYSBhIGJpbmFyeSANCmNv ZGluZy48L0RJVj4NCjxESVY+SGVyZSBpcyBob3cgeW91IGNhbiBkbyB0aGUgZWFzeSBwYXJ0IDo8 L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPnR5cGUgbmF0ID08QlI+Jm5ic3A7IHwgDQpO dWxsJm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7 Jm5ic3A7ICgqIDAgKikgDQo8QlI+Jm5ic3A7IHwgVW5pdCZuYnNwOyZuYnNwOyZuYnNwOyZuYnNw OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyAoKiANCjEgKik8QlI+Jm5ic3A7 IHwgWmVybyBvZiBuYXQmbmJzcDsmbmJzcDsmbmJzcDsgKCogMC4uLiAqKTxCUj4mbmJzcDsgfCBP bmUmbmJzcDsgDQpvZiBuYXQmbmJzcDsmbmJzcDsmbmJzcDsgKCogMS4uLiAqKTwvRElWPg0KPERJ Vj4mbmJzcDs8L0RJVj4NCjxESVY+bGV0IHJlYyBldmVuID0gZnVuY3Rpb248QlI+Jm5ic3A7IHwg TnVsbCAtJmd0OyB0cnVlPEJSPiZuYnNwOyB8IFVuaXQgLSZndDsgDQpmYWxzZTxCUj4mbmJzcDsg fCBaZXJvIG4gfCBPbmUmbmJzcDsgbiAtJmd0OyBldmVuIG4gPC9ESVY+DQo8RElWPiZuYnNwOzwv RElWPg0KPERJVj5sZXQgcmVjIGRvdWJsZSA9IGZ1bmN0aW9uPEJSPiZuYnNwOyB8IE51bGwgLSZn dDsgWmVybyBOdWxsPEJSPiZuYnNwOyB8IFVuaXQgDQotJmd0OyBPbmUmbmJzcDsgTnVsbDxCUj4m bmJzcDsgfCBaZXJvIG4gLSZndDsgWmVybyAoZG91YmxlIG4pPEJSPiZuYnNwOyB8IA0KT25lJm5i c3A7IG4gLSZndDsgT25lJm5ic3A7IChkb3VibGUgbik8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+ DQo8RElWPmxldCBzdWNjIG4gPSA8QlI+Jm5ic3A7IGxldCByZWMgbG9vcCA9IGZ1bmN0aW9uPEJS PiZuYnNwOyZuYnNwOyZuYnNwOyB8IA0KTnVsbCAtJmd0OyBVbml0LGZhbHNlPEJSPiZuYnNwOyZu YnNwOyZuYnNwOyB8IFVuaXQgLSZndDsgDQpOdWxsLHRydWU8QlI+Jm5ic3A7Jm5ic3A7Jm5ic3A7 IHwgWmVybyBuIC0mZ3Q7IGxldCBtLGMgPSBsb29wIG4gaW4gKGlmIGMgdGhlbiANCk9uZSBtIGVs c2UgWmVybyBtKSxmYWxzZSZuYnNwOyA8QlI+Jm5ic3A7Jm5ic3A7Jm5ic3A7IHwgT25lJm5ic3A7 IG4gLSZndDsgbGV0IA0KbSxjID0gbG9vcCBuIGluIChpZiBjIHRoZW4gWmVybyBtIGVsc2UgT25l IG0pLGMmbmJzcDsgPEJSPiZuYnNwOyBpbjxCUj4mbmJzcDsgDQpsZXQgbSxjID0gbG9vcCBuIGlu IGlmIGMgdGhlbiBPbmUgbSBlbHNlIG08L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPmxl dCBtdWx0IGEgYiA9PEJSPiZuYnNwOyBsZXQgcmVjIGxvb3AgPSBmdW5jdGlvbiA8QlI+Jm5ic3A7 Jm5ic3A7Jm5ic3A7IHwgDQpOdWxsIC0mZ3Q7IE51bGwsZG91YmxlIGI8QlI+Jm5ic3A7Jm5ic3A7 Jm5ic3A7IHwgVW5pdCAtJmd0OyBiLGRvdWJsZSANCmI8QlI+Jm5ic3A7Jm5ic3A7Jm5ic3A7IHwg WmVybyBuIC0mZ3Q7IGxldCBkLGMgPSBsb29wIG4gaW4gZCxkb3VibGUgYyANCjxCUj4mbmJzcDsm bmJzcDsmbmJzcDsgfCBPbmUmbmJzcDsgbiAtJmd0OyBsZXQgZCxjID0gbG9vcCBuIGluIGFkZCBk IGMsZG91YmxlIA0KYzxCUj4mbmJzcDsgaW4gbGV0IG4sXyA9IGxvb3AgYSBpbiBuPC9ESVY+DQo8 RElWPiZuYnNwOzwvRElWPg0KPERJVj4mbmJzcDs8L0RJVj4NCjxESVY+VGhhdCBpcyBkaXJ0eSB1 bnRlc3RlZCBjb2RlIHlldCBpJm5ic3A7aG9wZSB5b3UgZ2V0IHRoZSBpZGVhLjwvRElWPg0KPERJ Vj5BZGRpdGlvbi9zdWJzdHJhY3Rpb24gYW5kIGRpdmlzaW9uIHdpbGwgYmUgc29tZXdoYXQgdHJp Y2tpZXIgaG93ZXZlci48L0RJVj4NCjxESVY+PEJSPi0gZGFtaWVuPC9ESVY+DQo8RElWPjxGT05U IGZhY2U9VmVyZGFuYSBjb2xvcj0jMDAwMDAwIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8 RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PC9GT05UPjxGT05UIGNvbG9yPSMwMDAwMDA+ PC9GT05UPiZuYnNwOzwvRElWPg0KPERJViBhbGlnbj1sZWZ0Pg0KPERJViBhbGlnbj1sZWZ0PjxG T05UIGZhY2U9VmVyZGFuYSBzaXplPTI+DQo8SFIgc3R5bGU9IldJRFRIOiAxMjJweDsgSEVJR0hU OiAycHgiIFNJWkU9Mj4NCjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgY29sb3I9I2MwYzBjMD48 Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjxTUEFOPkRhbWllbiANCkd1aWNoYXJkPC9TUEFOPjwv Rk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj4yMDA5LTAzLTIxPC9G T05UPjwvRk9OVD48L0RJVj48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj4N CjxIUj4NCjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9 Mj48ST5FbiBy6XBvbnNlIGF1IG1lc3NhZ2U8L0k+PEJSPjxTVFJPTkc+ZGUgDQo6PC9TVFJPTkc+ IFN1IFpoYW5nPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxG T05UIHNpemU9Mj48U1RST05HPmR1IDo8L1NUUk9ORz4gDQoyMDA5LTAzLTIxJm5ic3A7MTg6MzY6 MTE8L0ZPTlQ+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQgc2l6 ZT0yPjxTVFJPTkc+wCA6PC9TVFJPTkc+IA0KY2FtbC1saXN0QHlxdWVtLmlucmlhLmZyPC9GT05U PjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9Mj48U1RS T05HPkNDIDo8L1NUUk9ORz4gPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1W ZXJkYW5hPjxGT05UIHNpemU9Mj48U1RST05HPlN1amV0IDo8L1NUUk9ORz4gW0NhbWwtbGlzdF0g DQpjYWxjdWxhdGluZyBhIHJlbWFpbmRlciBvZiB0d28gY2h1cmNoIG51bWJlciBvbiBsYW1iZGFj YWxjdWxzIHdpdGggDQpvY2FtbDwvRk9OVD48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9 VmVyZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRh bmEgc2l6ZT0yPg0KPERJVj5IaSBPQ2FtbCBoYWNrZXJzLDwvRElWPg0KPERJVj4mbmJzcDs8L0RJ Vj4NCjxESVY+SSBoYXZlIGEgcXVlc3Rpb24gYWJvdXQgaG93IGNhbiBJIHdyaXRlIGEgZnVuY3Rp b24gd2hpY2ggY2FuIGdldCB0aGUgDQpyZW1haW5kZXIgb2YgdHdvIGNodXJjaCBudW1iZXJpYWxz IGluIGxhbWJkYSBjYWxjdWx1cy4gSSBrbm93IHRoaXMgaXMgYSBvY2FtbCANCm1haWxsaXN0LCBi dXQgdGhpcyBsYW1iZGEgY2FsY3VsdXMgc2hvdWxkIHVzZSBvY2FtbCBlbmdpbmUsIHNvIGlzIHRo ZXJlIGFueWJvZHkgDQprbm93IGhvdyBjYW4gSSB3cml0ZSB0aGlzIGZ1bmN0aW9uPyA8L0RJVj4N CjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPlRoYW5rcyE8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+ DQo8RElWPjxCUiBjbGVhcj1hbGw+PEJSPi0tIDxCUj5TdSBaaGFuZzxCUj5QSEQgU3R1ZGVudCA8 QlI+Q29tcHV0ZXIgSW5mb3JtYXRpb24gDQphbmQgU2NpZW5jZTxCUj5LYW5zYXMgU3RhdGUgVW5p dmVyc2l0eSA8QlI+PC9ESVY+PC9GT05UPjwvRElWPjwvQk9EWT48L0hUTUw+DQo= --=====003_Dragon568862151167_=====--