From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 979B57EE89 for ; Wed, 25 Oct 2017 16:35:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vadim@radovel.ru; spf=Pass smtp.mailfrom=vadim@radovel.ru; spf=None smtp.helo=postmaster@forward2o.cmail.yandex.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vadim@radovel.ru) identity=pra; client-ip=37.9.109.243; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="vadim@radovel.ru"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of vadim@radovel.ru designates 37.9.109.243 as permitted sender) identity=mailfrom; client-ip=37.9.109.243; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="vadim@radovel.ru"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@forward2o.cmail.yandex.net) identity=helo; client-ip=37.9.109.243; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="postmaster@forward2o.cmail.yandex.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A1qb91B2fsMYASn0+smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segXKfad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL3WbmHC57CYTFxPjLkI1?= =?us-ascii?q?Y72tQs+Bx/iwgsGs8pubTAJUgyS2YbJuN13irBvensgbjIYkLbw+nF+BhVBBfu?= =?us-ascii?q?Ae4GppIVOVkF7Y59ystMpo+iFU/vYg7NJoUKPgfq1+Q6YOXxo8NGVg+sTntBzr?= =?us-ascii?q?VwKD4WURViMMj0kbSzPZ5Q33C8+i+hDxsfBwjWzDZZX7?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CpAQCjoPBZe/NtCSVbHAEBBAEBCgEBF?= =?us-ascii?q?QEBAQECAQEBAQgBAQEBglURS4FVJ4N6gQSCEpYUgXqIS4gthVKCAQqFOwIIEge?= =?us-ascii?q?ETEMUAQEBAQEBAQEBAQESAQEJDQoHKC+COAUBHgEFgjwBBAEjBA0MAQE3AQQLC?= =?us-ascii?q?QIODAImAgICHzYGARKKCAMNCQOLWpx8a4FtOoMIAQEFhC4Ng0QBAQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBAQEBAQEVCIEPgh+BNlGFVoENgl6Bb0UIAgaCd4JhkmWOVzyPfoR5g?= =?us-ascii?q?hWJfIcVjQ2IdIE5NoF8gQlPgmSCTYIVc4o1gVUBAQE?= X-IPAS-Result: =?us-ascii?q?A0CpAQCjoPBZe/NtCSVbHAEBBAEBCgEBFQEBAQECAQEBAQg?= =?us-ascii?q?BAQEBglURS4FVJ4N6gQSCEpYUgXqIS4gthVKCAQqFOwIIEgeETEMUAQEBAQEBA?= =?us-ascii?q?QEBAQESAQEJDQoHKC+COAUBHgEFgjwBBAEjBA0MAQE3AQQLCQIODAImAgICHzY?= =?us-ascii?q?GARKKCAMNCQOLWpx8a4FtOoMIAQEFhC4Ng0QBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEVCIEPgh+BNlGFVoENgl6Bb0UIAgaCd4JhkmWOVzyPfoR5ghWJfIcVjQ2IdIE?= =?us-ascii?q?5NoF8gQlPgmSCTYIVc4o1gVUBAQE?= X-IronPort-AV: E=Sophos;i="5.43,431,1503352800"; d="scan'208,217";a="297877406" Received: from forward2o.cmail.yandex.net ([37.9.109.243]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Oct 2017 16:35:55 +0200 Received: from mxback8j.mail.yandex.net (mxback8j.mail.yandex.net [IPv6:2a02:6b8:0:1619::111]) by forward2o.cmail.yandex.net (Yandex) with ESMTP id 9DDA321262; Wed, 25 Oct 2017 17:35:53 +0300 (MSK) Received: from web13g.yandex.ru (web13g.yandex.ru [2a02:6b8:0:1402::23]) by mxback8j.mail.yandex.net (nwsmtp/Yandex) with ESMTP id xa5sYXvw1h-Zqg8LAgt; Wed, 25 Oct 2017 17:35:52 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=radovel.ru; s=mail; t=1508942152; bh=/qZVLpSql/ZYWlPes/Ovu42iSKJbf1O06LAi4kpW/fA=; h=From:To:Cc:In-Reply-To:References:Subject:Message-Id:Date; b=bHQAutMuZyQwt0KkHxlv9WR5hUIPuSPPq5BQ2jt2tfuI/cUuFYE/SOwYWWp/OOGPe NCPnHF1f4IzC7Ac4jG+PbxBhv52XJ2VhQYAIKsH+228J57lt0V1LFptAvoNkOht+nT oDZBAb18vZU1vbWb5d0P/ghGR/bi94vAUyWf5Zdg= Received: by web13g.yandex.ru with HTTP; Wed, 25 Oct 2017 17:35:52 +0300 From: vadim@radovel.ru To: Ivan Gotovchits , OCaml Mailing List Cc: Gabriel Scherer , =?utf-8?B?Q2hyaXN0b3BoIEjDtmdlcg==?= In-Reply-To: References: <341271508938027@web34g.yandex.ru> MIME-Version: 1.0 Message-Id: <572961508942152@web13g.yandex.ru> X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Wed, 25 Oct 2017 17:35:52 +0300 Content-Transfer-Encoding: base64 Content-Type: text/html; charset=utf-8 Subject: Re: [Caml-list] classes not optimized? PGRpdj5JdmFuLCB0aGFuayB5b3UgZm9yIGFuc3dlci48L2Rpdj48ZGl2PkRv IHlvdSBtZWFuLCB0aGF0IGluIHRoZSBmb2xsb3dpbmcgZXhhbXBsZSBtZXRo b2QgaXMgcmVzb2x2ZWQoZGlzcGF0Y2hlZD8pIGF0IGNvbXBpbGUgdGltZT8g SWYgc2l6ZSBvZiBgb2JqZWN0c2AgbGlzdCBpcyB2ZXJ5IGJpZywgdGhlcmUg YXJlIG1hbnkgZGlmZmVyZW50IGltcGxlbWVudGF0aW9uIG9mIGBJdGVyZmFj ZWAgc2lnbmF0dXJlIGFuZCB0aGlzIG1vZHVsZXMgY29udGFpbiBsb3RzIG9m IGZ1bmN0aW9ucyBhbmQgImhlYXZ5IiB2YWx1ZXMgaW5zaWRlIC0gaXMgdGhp cyBlZmZpY2llbnQgaW1wbGVtZW50YXRpb24gb2YgdGhpcyBraW5kIG9mIHBv bHltb3JwaGljIGNvZGU/PC9kaXY+PGRpdj7CoDwvZGl2PjxkaXY+YGBgPGRp dj5tb2R1bGUgdHlwZSBJbnRlcmZhY2UgPSBzaWc8L2Rpdj48ZGl2PsKgIHZh bCBtZXRob2RfYSA6IGludCAtJmd0OyBpbnQ8L2Rpdj48ZGl2PmVuZDwvZGl2 PjxkaXY+wqA8L2Rpdj48ZGl2Pm1vZHVsZSBJbXBsMSA6IEludGVyZmFjZSA9 IHN0cnVjdDwvZGl2PjxkaXY+wqAgbGV0IG1ldGhvZF9hIHggPSB4ICsgMTwv ZGl2PjxkaXY+ZW5kPC9kaXY+PGRpdj7CoDwvZGl2PjxkaXY+bW9kdWxlIElt cGwyIDogSW50ZXJmYWNlID0gc3RydWN0PC9kaXY+PGRpdj7CoCBsZXQgbWV0 aG9kX2EgeCA9IHggKiAyPC9kaXY+PGRpdj5lbmQ8L2Rpdj48ZGl2PsKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoCDCoDwvZGl2PjxkaXY+bGV0IG9iamVjdHMgPTwvZGl2PjxkaXY+wqAg Wyhtb2R1bGUgSW1wbDE6IEludGVyZmFjZSk7IChtb2R1bGUgSW1wbDI6IElu dGVyZmFjZSldPC9kaXY+PGRpdj7CoDwvZGl2PjxkaXY+bGV0ICgpID08L2Rp dj48ZGl2PsKgIGxldCBhY3Rpb24gbSA9PC9kaXY+PGRpdj7CoMKgwqAgbGV0 IG1vZHVsZSBNID0gKHZhbCBtOiBJbnRlcmZhY2UpIGluPC9kaXY+PGRpdj7C oMKgwqAgcHJpbnRfaW50IEBAIE0ubWV0aG9kX2EgMsKgwqAgwqA8L2Rpdj48 ZGl2PsKgIGluPC9kaXY+PGRpdj7CoCBMaXN0Lml0ZXIgYWN0aW9uIG9iamVj dHM8L2Rpdj48ZGl2PjxiciAvPmBgYDwvZGl2PjwvZGl2PjxkaXY+wqA8L2Rp dj48ZGl2PjI1LjEwLjIwMTcsIDE2OjUwLCAiSXZhbiBHb3RvdmNoaXRzIiAm bHQ7aXZnQGllZWUub3JnJmd0Ozo8L2Rpdj48YmxvY2txdW90ZSB0eXBlPSJj aXRlIj48ZGl2PmEgdHlwbzogIihpLmUuLCB0aGUgbWV0aG9kIGNhbiBiZSBy ZXNvbHZlZCBpbiBydW50aW1lKSIgc2hvdWxkIGJlIHJlYWQgYXMgIihpLmUu LCB0aGUgbWV0aG9kIGNhbiBiZSByZXNvbHZlZCBhdCBjb21waWxlIHRpbWUp IjwvZGl2PjxkaXY+wqA8ZGl2Pk9uIFdlZCwgT2N0IDI1LCAyMDE3IGF0IDk6 NDggQU0sIEl2YW4gR290b3ZjaGl0cyA8c3Bhbj4mbHQ7PGEgdGFyZ2V0PSJf YmxhbmsiIGhyZWY9Im1haWx0bzppdmdAaWVlZS5vcmciPml2Z0BpZWVlLm9y ZzwvYT4mZ3Q7PC9zcGFuPiB3cm90ZTo8YmxvY2txdW90ZSBzdHlsZT0ibWFy Z2luOjAgMCAwIDAuOGV4O2JvcmRlci1sZWZ0OjFweCAjY2NjIHNvbGlkO3Bh ZGRpbmctbGVmdDoxZXg7Ij48ZGl2PsKgPGRpdj7CoDxkaXY+PHNwYW4+T24g V2VkLCBPY3QgMjUsIDIwMTcgYXQgOToyNyBBTSwgPHNwYW4+Jmx0OzxhIHRh cmdldD0iX2JsYW5rIiBocmVmPSJtYWlsdG86dmFkaW1AcmFkb3ZlbC5ydSI+ dmFkaW1AcmFkb3ZlbC5ydTwvYT4mZ3Q7PC9zcGFuPiB3cm90ZTo8L3NwYW4+ PGJsb2NrcXVvdGUgc3R5bGU9Im1hcmdpbjowIDAgMCAwLjhleDtib3JkZXIt bGVmdDoxcHggI2NjYyBzb2xpZDtwYWRkaW5nLWxlZnQ6MWV4OyI+PGRpdj48 c3Bhbj7CoDwvc3Bhbj48L2Rpdj48ZGl2PjxzcGFuPkV4Y3VzZSBtZSwgZG9l cyB0aGlzIG1lYW4gdGhhdCBJIHNob3VsZCB1c2UgbW9kdWxlcyBpbnN0ZWFk IG9mIG9iamVjdHMgaWYgaXRzIHBvc2libGUuIEZvciBleGFtcGxlOiBJIGhh dmUgYSBiaWcgbGlzdCBvZiBkaWZmZXJlbnQgbW9kdWxlcyB3aXRoIHRoZSBz YW1lIHNpZ25hdHVyZSBjb250YWluaW5nIHNvbWUgdmFsdWVzIGFuZCBmdW5j dGlvbnMgaW5zaWRlIC0gd291bGQgaXQgZ2l2ZSB0aGUgYmVzdCBwZXJmb3Jt YW5jZSBpbiBPQ2FtbCBjb21wYXJpbmcgdG8gY2xhc3Nlcywgb2JqZWN0cywg ZXRjPzwvc3Bhbj48L2Rpdj48L2Jsb2NrcXVvdGU+PGRpdj7CoDwvZGl2Pjxk aXY+wqA8L2Rpdj48ZGl2PklmIHlvdSBjYW4gc29sdmUgeW91ciBwcm9ibGVt IHdpdGhvdXQgcmVseWluZyBvbiBvYmplY3RzLCB0aGVuIGl0IGlzIGJldHRl ciBub3QgdG8gdXNlIHRoZW0uIFRoZXJlIGlzIG5vdGhpbmcgd3Jvbmcgd2l0 aCB0aGVtLiBJdCBqdXN0IGJlY2F1c2UgaXQgaXMgYSB2ZXJ5IHBvd2VyZnVs IG1lY2hhbmlzbSwgdGhhdCBzb21ldGltZXMgaXMgbm90IGVhc3kgdG8gY29u dHJvbC4gVGhleSBnaXZlIHlvdSBhbiBleHRyYSBmbGV4aWJpbGl0eSBzbyB0 aGF0IHlvdSBjYW4gZXhwcmVzcyBtb3JlIGNvbXBsZXggYWJzdHJhY3Rpb25z LCBidXQgdGhpcyBjb21lcyB3aXRoIGEgcHJpY2UuIEdpdmVuIHlvdXIgcGFy dGljdWxhciBleGFtcGxlLCB5ZXMsIGNhbGxpbmcgYSBmdW5jdGlvbiBpcyBm YXN0ZXIsIHRoYW4gY2FsbGluZyBhIG1ldGhvZCwgYXMgdGhlIGxhdHRlciBp bnRyb2R1Y2VzIGFuIGV4dHJhIGxheWVyIG9mIGluZGlyZWN0aW9uIHZpYSB0 aGUgdmlydHVhbCBtZXRob2QgdGFibGUuIE1vcmVvdmVyLCBpZiBhIGZ1bmN0 aW9uIGlzIGtub3cgYXQgY29tcGlsZSB0aW1lLCBpdCBjYW4gYmUgaW5saW5l ZCwgdGhhdCBtYXkgcHJvdmlkZSBldmVuIGZ1cnRoZXIgb3B0aW1pemF0aW9u IG9wcG9ydHVuaXRpZXMuIEl0IGlzIHZlcnkgaGFyZCBpbiBnZW5lcmFsIHRv IGlubGluZSBhIG1ldGhvZCwgYXMgYSBjb21waWxlciBuZWVkcyBhIHByb29m IHRoYXQgdGhpcyBhbmQgb25seSB0aGlzIG1ldGhvZCB3aWxsIGJlIGNhbGxl ZCBpbiBydW50aW1lLiBNb3Jlb3ZlciwgaWYgaXQgaXMgdGhlIGNhc2UgKGku ZS4sIHRoZSBtZXRob2QgY2FuIGJlIHJlc29sdmVkIGluIHJ1bnRpbWUpLCB0 aGVuIGl0IGlzIGEgc2lnbmFsIHRoYXQgYW4gb2JqZWN0IHNob3VsZCBub3Qg YmUgdXNlZCBhdCBhbGwuIEJhc2ljYWxseSwgb2JqZWN0cyBzaG91bGQgYmUg dXNlZCB3aGVuIHlvdSBuZWVkIGFuIG9wZW4gcmVjdXJzaW9uIHdpdGggcnVu dGltZSBkaXNwYXRjaC4gVGhpcyBpcyBhIHZlcnkgcmFyZSBjYXNlLCBpbiBm YWN0LsKgPC9kaXY+PGRpdj48ZGl2PjxkaXY+wqA8L2Rpdj48ZGl2PsKgPC9k aXY+PGRpdj7CoDwvZGl2PjxibG9ja3F1b3RlIHN0eWxlPSJtYXJnaW46MCAw IDAgMC44ZXg7Ym9yZGVyLWxlZnQ6MXB4ICNjY2Mgc29saWQ7cGFkZGluZy1s ZWZ0OjFleDsiPjxkaXY+wqA8L2Rpdj48ZGl2PjI1LjEwLjIwMTcsIDEyOjQ1 LCAiR2FicmllbCBTY2hlcmVyIiAmbHQ7PGEgdGFyZ2V0PSJfYmxhbmsiIGhy ZWY9Im1haWx0bzpnYWJyaWVsLnNjaGVyZXJAZ21haWwuY29tIj5nYWJyaWVs LnNjaGVyZXJAZ21haWwuY29tPC9hPiZndDs6PC9kaXY+PGRpdj48ZGl2Pjxi bG9ja3F1b3RlIHR5cGU9ImNpdGUiPjxkaXY+PGRpdj48ZGl2Pk9iamVjdC1v cmllbnRlZCBjb2RlIHRlbmRzIHRvIGdlbmVyYXRlIGxhcmdlIGludGVybWVk aWF0ZSByZXByZXNlbnRhdGlvbnMsIHRvbyBsYXJnZSB0byBiZSBpbmxpbmVk IGFuZCB0b28gY29tcGxleCB0byBiZSBwYXJ0aWFsbHkgZXZhbHVhdGVkIGF0 IGNvbXBpbGUtdGltZS4gSSB3b3VsZG4ndCBleHBlY3QgdGhpcyBzb3J0IG9m IG9wdGltaXphdGlvbiB0byB3b3JrLjxiciAvPsKgPC9kaXY+WW91IG1pZ2h0 IGhhdmUgYmV0dGVyIGx1Y2sgd2l0aCBmaXJzdC1jbGFzcyBtb2R1bGVzIGlm IHlvdSB3YW50IHNvbWUgc29ydCBvZiB0dXBsZSBzdWJ0eXBpbmcuPGJyIC8+ KFBlcmZvcm1hbmNlIG1vZGVsOiB3aXRoIG1vZHVsZXMsIHN1YnR5cGluZyBj b2VyY2lvbnMgYXJlIGNvbXBpbGVkIGFzIGEgZmllbGQtcmVvcmRlcmluZyBj b3B5LDxiciAvPnNvIHRoZSBydW50aW1lIGNvc3QgaXMgb24gdGhlIGNvZXJj aW9uIHJhdGhlciB0aGFuIHRoZSBmaWVsZCBhY2Nlc3MuKTxiciAvPjxiciAv PiZndDsgQWxzbyBhcyBhIHJlbGF0ZWQgcXVlc3Rpb24sIGlzIHRoZXJlIGEg d2F5IHRvIGhhdmUgdGhlIGxvb2t1cCBzZW1hbnRpY3Mgb2YgbWV0aG9kcyB3 aXRob3V0IHRoZSBvcGVuIHJlY3Vyc2lvbiBwYXJ0PzxiciAvPsKgPC9kaXY+ V2UgY291bGQgYWRkIHJvdy10eXBlZCBleHRlbnNpYmxlIHJlY29yZHMgdG8g dGhlIGxhbmd1YWdlLiBHaXZlbiBob3cgbGl0dGxlIHRoZSBvYmplY3Qtb3Jp ZW50ZWQgbGF5ZXIgaXMgdXNlZCBpbiBwcmFjdGljZSwgSSBhbSBub3Qgc3Vy ZSB0aGF0IHRoaXMgaGlnaGx5IHdvcmstZGVtYW5kaW5nIGFkZGl0aW9uIHdv dWxkIGJlIGEgZ29vZCB1c2Ugb2YgYSBjb250cmlidXRvcidzIHRpbWUgLS0g YW5kIGl0cyB1dGlsaXR5IHdvdWxkIGhhdmUgdG8gYmUgd2VpZ2h0ZWQgYWdh aW5zdCB0aGUgY29tcGxleGl0eSBjb3N0IG9mIGFkZGluZyB5ZXQgYW5vdGhl ciBraW5kIG9mIHByb2R1Y3Qgc3RydWN0dXJlLjwvZGl2PjxkaXY+wqA8ZGl2 Pk9uIFdlZCwgT2N0IDI1LCAyMDE3IGF0IDExOjMxIEFNLCBDaHJpc3RvcGgg SMO2Z2VyIDxzcGFuPiZsdDs8YSB0YXJnZXQ9Il9ibGFuayIgaHJlZj0ibWFp bHRvOmNocmlzdG9waC5ob2VnZXJAY2VsZXJhb25lLmNvbSI+Y2hyaXN0b3Bo LmhvZWdlckBjZWxlcmFvbmUuY29tPC9hPiZndDs8L3NwYW4+IHdyb3RlOjxi bG9ja3F1b3RlIHN0eWxlPSJtYXJnaW46MCAwIDAgMC44ZXg7Ym9yZGVyLWxl ZnQ6MXB4ICNjY2Mgc29saWQ7cGFkZGluZy1sZWZ0OjFleDsiPjxkaXY+PGRp dj48ZGl2PjxkaXY+PGRpdj48ZGl2PkRlYXIgT0NhbWwgdXNlcnMsPGJyIC8+ wqA8L2Rpdj5jb25zaWRlciB0aGUgZm9sbG93aW5nIG1pY3JvYmVuY2htYXJr OjwvZGl2PjxkaXY+wqA8L2Rpdj48ZGl2PiZsdDtzbmlwJmd0OzwvZGl2Pjxk aXY+Y2xhc3MgcyAoeiA6IHN0cmluZynCoCAoeSA6IGludCnCoCAoeCA6IGlu dCkgPTxiciAvPsKgIG9iamVjdCBtZXRob2QgeiA9IHogbWV0aG9kIHkgPSB5 IG1ldGhvZCB4ID0geDxiciAvPmVuZDxiciAvPjxiciAvPnR5cGUgdCA9IHsg eCA6IGludDsgeSA6IGludDsgeiA6IHN0cmluZ308YnIgLz48YnIgLz5sZXQg Zm9vX3MgXyA9PGJyIC8+wqAobmV3IHMpICJFeGFtcGxlIiAwIDE8YnIgLz48 YnIgLz5sZXQgZm9vX3QgXyA9IHt4PTE7IHk9MDsgej0iRXhhbXBsZSJ9PGJy IC8+PGJyIC8+bGV0IG9uZV9zIF8gPSAoZm9vX3MgKCkpI3g8YnIgLz48YnIg Lz5sZXQgb25lX3QgXyA9IChmb29fdCAoKSkueDxiciAvPjxiciAvPmxldCBm YWMgPTxiciAvPsKgIGxldCByZWMgZmFjIG4gPTxiciAvPsKgwqDCoCBsZXQg ZiA9PGJyIC8+wqDCoMKgwqDCoCBsZXQgcmVjIGYgbiBhID0gaWYgbiAmbHQ7 PSAxIHRoZW4gYSBlbHNlIGYgKG4gLSAob25lX3MgKCkpKSAobiAqIGEpwqAg aW4gZiAoKiBjaGFuZ2Ugb25lX3QgdG8gb25lX3Mgb3IgdmljZS12ZXJzYSAq KTxiciAvPsKgwqDCoMKgwqDCoCBpbjxiciAvPsKgwqDCoCBmIG4gMcKgIGlu PGJyIC8+wqAgZmFjPGJyIC8+bGV0IGJlbmNoID08YnIgLz7CoCBsZXQgcmVj IGJlbmNoIG4gYSA9PGJyIC8+wqDCoMKgIGlmIG4gJmx0Oz0gMDxiciAvPsKg wqDCoCB0aGVuIGE8YnIgLz7CoMKgwqAgZWxzZSAobGV0IHggPSBhICZhbXA7 JmFtcDsgKChmYWMgMjApID09ICgyMCAqIChmYWMgMTkpKSnCoCBpbiBiZW5j aCAobiAtIDEpIHgpwqAgaW48YnIgLz7CoCBiZW5jaDxiciAvPmxldCB0ZXN0 ID0gYmVuY2ggPHNwYW4+PHNwYW4+MTAwMDAwMDA8L3NwYW4+PC9zcGFuPiB0 cnVlPGJyIC8+bGV0IG1haW4gXyA9IHRlc3Q8L2Rpdj48ZGl2PiZsdDsvc25p cCZndDs8L2Rpdj48ZGl2PsKgPC9kaXY+SWYgSSBydW4gaXQgd2l0aCBvY2Ft bG9wdCA0LjA1LjArZmxhbWJkYSBhbmQgLU8zLCB0aGUgdmVyc2lvbiB0aGF0 IHVzZXMgb25lX3MgdGFrZXMgYWJvdXQgNy41cyB3aGVyZWFzIHRoZSBvbmUg d2l0aCBvbmVfdCB1c2VzIDAuMzVzLiBJIGtub3cgdGhhdCBvYmplY3QgbWV0 aG9kIGxvb2t1cCBpcyBtb3JlIGNvc3RseSB0aGFuIHJlY29yZHMsIG9mIGNv dXJzZS4gVGhpcyBwYXJ0aWN1bGFyIGNhc2UgYmFmZmxlcyBtZSwgdGhvdWdo LiBXaHkgaXMgdGhlIGNsYXNzIG5vdCBjb21wbGV0ZWx5IGlubGluZWQ/PGJy IC8+wqA8L2Rpdj5BbHNvIGFzIGEgcmVsYXRlZCBxdWVzdGlvbiwgaXMgdGhl cmUgYSB3YXkgdG8gaGF2ZSB0aGUgbG9va3VwIHNlbWFudGljcyBvZiBtZXRo b2RzIHdpdGhvdXQgdGhlIG9wZW4gcmVjdXJzaW9uIHBhcnQ/IFRoYXQgaXMs IGNhbiBJIGhhdmUgYSBjbGFzcyB0aGF0IGNvbnNpc3RzIG9mIHZhbHVlcywg bm90IG1ldGhvZHM/IEl0IHdvdWxkIGxvdmUgdG8gaGF2ZSBvcGVuIHR1cGxl cyBpbiBzb21lIGNhc2VzLiBGb3IgZXhhbXBsZSwgSSdkIGxpa2UgdG8gd3Jp dGUgYSBmdW5jdGlvbiB0aGF0IHRha2VzIGEgdHVwbGUgb2YgYW55IGxlbmd0 aCwgYmVjYXVzZSBpdCBvbmx5IG5lZWRzIHRoZSBmaXJzdCBlbGVtZW50Ljxi ciAvPsKgPC9kaXY+dGhhbmtzLDxiciAvPsKgPC9kaXY+Q2hyaXN0b3BoPGRp dj48ZGl2PjxkaXY+PGRpdj7CoDwvZGl2PjwvZGl2PjwvZGl2PjwvZGl2Pjwv ZGl2PjwvYmxvY2txdW90ZT48L2Rpdj48L2Rpdj48L2Jsb2NrcXVvdGU+PC9k aXY+PC9kaXY+PC9ibG9ja3F1b3RlPjwvZGl2PjwvZGl2PjwvZGl2PjwvZGl2 PjwvZGl2PjwvYmxvY2txdW90ZT48L2Rpdj48L2Rpdj48L2Jsb2NrcXVvdGU+