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 99C6E7FE44 for ; Tue, 5 Jul 2016 15:00:19 +0200 (CEST) IronPort-PHdr: 9a23:Nxue6x1RslU8lW25smDT+DRfVm0co7zxezQtwd8ZsekVLPad9pjvdHbS+e9qxAeQG96Ks7Qe16GL7ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNSOxJnqn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4yqV+6DxdsO4N8MtJUKOyP/hpDO8QMDNzPGkv/szkqBTrSAKT5j0aW2oRgxMNHk7M51f4RsTLvzP+p9Z6jWO6Osv5R7d8azSr6aghAEvomicOMTFjoTz/gMh3i6dRrQiu4Rpy39iHTpuSMa80XqTbctkdDVhBV8BeH2xrJqSbSqEiNcVGdbkD9sHZimtP51PqBRusDeXgkG4VrnXy2qo/2ek7HkfA0RB2TIFGi2jdsNigbPRaauuy1qSdkWTO Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Neutral smtp.pra=hzhang295@bloomberg.net; spf=Pass smtp.mailfrom=hzhang295@bloomberg.net; spf=None smtp.helo=postmaster@mgnj5.bloomberg.net Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of hzhang295@bloomberg.net does not assert whether or not 69.191.244.207 is permitted sender) identity=pra; client-ip=69.191.244.207; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="hzhang295@bloomberg.net"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of hzhang295@bloomberg.net designates 69.191.244.207 as permitted sender) identity=mailfrom; client-ip=69.191.244.207; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="hzhang295@bloomberg.net"; 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@mgnj5.bloomberg.net) identity=helo; client-ip=69.191.244.207; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="postmaster@mgnj5.bloomberg.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DOAAAXrntXe8/0v0VcDgiDfnyoF4Fag0OHCgVHhDqBdyKFdh6BFzgUAQEBAQEBAQERAQEJDQoIIS+CMoIaAQEUARMEBkELGxUCAQ0dAgQdAh8FBwMhCAqIBAMXBQmiAodxAQFmhiWEbwMKhA4BAQEBAQUBAQEBASKFL4VFgkOCFIJqgloFhlIMhyaKWyoIAQEBFoEOhGSBMYR9hEiMcogXh3MegnF6OzwyAQGIdwEBAQ X-IPAS-Result: A0DOAAAXrntXe8/0v0VcDgiDfnyoF4Fag0OHCgVHhDqBdyKFdh6BFzgUAQEBAQEBAQERAQEJDQoIIS+CMoIaAQEUARMEBkELGxUCAQ0dAgQdAh8FBwMhCAqIBAMXBQmiAodxAQFmhiWEbwMKhA4BAQEBAQUBAQEBASKFL4VFgkOCFIJqgloFhlIMhyaKWyoIAQEBFoEOhGSBMYR9hEiMcogXh3MegnF6OzwyAQGIdwEBAQ X-IronPort-AV: E=Sophos;i="5.26,579,1459807200"; d="scan'208,217";a="225652159" Received: from mgnj5.bloomberg.net ([69.191.244.207]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Jul 2016 15:00:18 +0200 X-BB-Reception-Complete: 05 Jul 2016 09:00:15 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 243933458 Received: from p057.bloomberg.com (HELO p057) ([10.126.157.205]) by mgnj5.bloomberg.net with SMTP; 05 Jul 2016 09:00:15 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj5:25; conid=7 Date: Tue, 5 Jul 2016 13:00:15 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: garrigue@math.nagoya-u.ac.jp Cc: caml-list@inria.fr, gabriel.scherer@gmail.com, nicolas.ojeda.bar@lexifi.com MIME-Version: 1.0 Message-ID: <577BAF5F0231008C00390341_0_52513@p057> X-BLP-GUID: 577BAF5F0231008C003903410000 Content-Type: multipart/alternative; boundary="BOUNDARY_577BAF5F0231008C00390341_0_48727_p057" Content-ID: Subject: Re: [Caml-list] question: what is the recommended use case of `val` in class type --BOUNDARY_577BAF5F0231008C00390341_0_48727_p057 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 SGkgSmFjcXVlcywgdGhhbmtzIGZvciB5b3VyIGV4dGVuc2lvbi4gSSBlbmRl ZCB1cCB1c2luZyBhdHRyaWJ1dGVzIGZvciBGRkksIGxpa2UKCiAgIG1ldGhv ZCBoZWlnaHQgOiBpbnQgW0BAc2V0XQoKICBhbmQgcGVvcGxlIGNhbiB1c2Ug YHgjI2hlaWdodCM9IDMwYCwgdGhlIGFkdmFudGFnZSBpcyB0aGF0IHBlb3Bs ZSBkb24ndCBuZWVkIHJlbWVtYmVyIHRoZSBuYW1lIG1hbmdsaW5nLCB0aGUg bmljZSB0aGluZyBpcyB0aGF0IHdlIGdlbmVyYXRlIHNpZ25hdHVyZSBsaWtl IHRoaXMoc2ltcGxpZmllZCkKICAgCiAgIG1ldGhvZCBoZWlnaHQgOiBpbnQg CiAgIG1ldGhvZCBoZWlnaHQjPSBpbnQgLT4gdW5pdAoKICBUaGlzIGV2ZW4g d29ya3Mgd2l0aCBtZXJsaW4gYXV0by1jb21waWxldGlvbiA6ICkKRnJvbTog Z2FycmlndWVAbWF0aC5uYWdveWEtdS5hYy5qcCBBdDogMDcvMDMvMTYgMDI6 MjQ6MjUKVG86IEhPTkdCTyBaSEFORyAoQkxPT01CRVJHLyA3MzEgTEVYKQpD YzogY2FtbC1saXN0QGlucmlhLmZyLCBnYWJyaWVsLnNjaGVyZXJAZ21haWwu Y29tLCBuaWNvbGFzLm9qZWRhLmJhckBsZXhpZmkuY29tClN1YmplY3Q6IFJl OiBbQ2FtbC1saXN0XSBxdWVzdGlvbjogd2hhdCBpcyB0aGUgcmVjb21tZW5k ZWQgdXNlIGNhc2Ugb2YgYHZhbGAgaW4gY2xhc3MgdHlwZQoKSGkgSG9uZ28s CgpZb3UgbWF5IHdhbnQgdG8gaGF2ZSBhIGxvb2sgYXQgYSBzbWFsbCBjYW1s cDQgc3ludGF4IGV4dGVuc2lvbiBJIHdyb3RlIGEgbG9uZyB0aW1lIGFnbywK d2hpY2ggYWxsb3dzIHRvIGRvIHdoYXQgeW91IHNheS4KVXNpbmcgaXQsIG9u ZSB3b3VsZCB3cml0ZToKCiAgICAgdmFsIG11dGFibGUgeCB3aXRoIGFjY2Vz c29yCgp0byBzYXkgdGhhdCBpdCBjYW4gYmUgYWNjZXNzZWQgdGhyb3VnaCB0 aGUgeCBhbmQgeF9zZXQgbWV0aG9kcy4KClRoZSBjb2RlIGlzIGhlcmU6Cmh0 dHA6Ly93d3cubWF0aC5uYWdveWEtdS5hYy5qcC9+Z2FycmlndWUvY29kZS9v Y2FtbC5odG1sCgpOb3RlIHRoYXQgSSBkaWRu4oCZdCB0cnkgdG8gc3VwcG9y dCBmdW5jdGlvbmFsIHN0YXRlIGNoYW5nZXMsIGkuZS4gYWRkaW5nIGEgbWV0 aG9kCiAgICBtZXRob2QgeF91cGQgeOKAmSA9IHs8IHggPSB44oCZID59CgpK YWNxdWVzCgpPbiAyMDE2LzA3LzAzIDAyOjIzLCBIb25nYm8gWmhhbmcgKEJM T09NQkVSRy8gNzMxIExFWCkgd3JvdGU6Cj4gCj4gSGkgTmljb2xhcywgdGhh bmtzISBJdCBtYXRjaGVzIHdpdGggbXkgZXhwZWN0YXRpb24uCj4gSSBhbSB0 aGlua2luZyBvZiBvdmVycmlkaW5nIHN1Y2ggc3ludGF4IGZvciBidWNrbGVz Y3JpcHQgRkZJLCB3ZSBjYW4gdXNlIGVpdGhlcgo+IAo+IGNsYXNzIHR5cGUg dCA9IG9iamVjdCB2YWwgbXV0YWJsZSB4IDogaW50IGVuZCAKPiBvcgo+IGNs YXNzIHR5cGUgdCA9IG9iamVjdCBtZXRob2QgeCA6IGludCBtZXRob2QgeF9z ZXQgOiBpbnQgLT4gdW5pdCBlbmQKPiAKPiBDdXJyZW50bHkgSSB0aGluayB0 aGUgZm9ybWVyIGxvb2tzIGJldHRlciwgc2luY2UgdGhlIHVzZXIgY2FuIHRl bGwgaXQgaXMgZ2V0dGVyIG9yIHNldHRlciB3aXRob3V0IHJlbHlpbmcgb24g bmFtaW5nIGNvbnZlbnRpb24KPiBGcm9tOiBuaWNvbGFzLm9qZWRhLmJhckBs ZXhpZmkuY29tIEF0OiAwNy8wMi8xNiAxMzowODoyOAo+IFRvOiBIT05HQk8g WkhBTkcgKEJMT09NQkVSRy8gNzMxIExFWCkKPiBDYzogY2FtbC1saXN0QGlu cmlhLmZyLCBnYWJyaWVsLnNjaGVyZXJAZ21haWwuY29tCj4gU3ViamVjdDog UmU6IFtDYW1sLWxpc3RdIHF1ZXN0aW9uOiB3aGF0IGlzIHRoZSByZWNvbW1l bmRlZCB1c2UgY2FzZSBvZiBgdmFsYCBpbiBjbGFzcyB0eXBlCj4gSGkgSG9u Z2JvLAo+IAo+IEFzIHlvdSBvYnNlcnZlZCwgYHZhbGAgY2FuIGJlIHVzZWQg dmlhIGluaGVyaXRhbmNlIHRvIGV4cG9zZSBzb21lIHByaXZhdGUgc3RhdGUg dG8gc3ViY2xhc3NlcyB3aXRob3V0IGV4cG9zaW5nIGl0IHRvIHRoZSBvdXRz aWRlLgo+IAo+IENoZWVycwo+IE5pY29sYXMKPiAKPiBPbiBTYXQsIEp1bCAy LCAyMDE2IGF0IDc6MDIgUE0sIEhvbmdibyBaaGFuZyAoQkxPT01CRVJHLyA3 MzEgTEVYKSA8aHpoYW5nMjk1QGJsb29tYmVyZy5uZXQ+IHdyb3RlOgo+IFRo YW5rcyBmb3IgeW91ciByZXBseS4gQnV0IGlmIGB2YWxgIGlzIG5vdCBhY2Nl c3NpYmxlIGZyb20gb3V0c2lkZSwgd2h5IGl0IGlzIHRoZSBwYXJ0IG9mIGNs YXNzIHR5cGUgc2lnbmF0dXJlLCBhbnkgcmVhc29uIGZvciB0aGlzIGRlc2ln bj8KPiAKPiBGcm9tOiBnYWJyaWVsLnNjaGVyZXJAZ21haWwuY29tIEF0OiAw Ny8wMi8xNiAxMzowMDozNAo+IFRvOiBIT05HQk8gWkhBTkcgKEJMT09NQkVS Ry8gNzMxIExFWCkKPiBDYzogY2FtbC1saXN0QGlucmlhLmZyCj4gU3ViamVj dDogUmU6IFtDYW1sLWxpc3RdIHF1ZXN0aW9uOiB3aGF0IGlzIHRoZSByZWNv bW1lbmRlZCB1c2UgY2FzZSBvZiBgdmFsYCBpbiBjbGFzcyB0eXBlCj4gT2Jq ZWN0cyBoYXZlIHNvbWUgcHJpdmF0ZSBzdGF0ZSwgYW5kIHRoZXkgZXhwb3Nl IG1ldGhvZHMgdGhhdCBjYW4gYmUgY2FsbGVkIGZyb20gdGhlIG91dHNpZGUu ICJ2YWwiIGZpZWxkcyBjb3JyZXNwb25kIHRvIHN1Y2ggcHJpdmF0ZSBzdGF0 ZSwgdGhleSBhcmUgbm90IGFjY2Vzc2libGUgZnJvbSBvdXRzaWRlIGFuZCBh cmUgdGh1cyBub3QgcGFydCBvZiBhbiBvYmplY3QncyB0eXBlLgo+IAo+IFlv dSBjYW4gYWx3YXlzIGV4cG9zZSBhIHZhbHVlIGZpZWxkIHRvIHRoZSBvdXRz aWRlIHRocm91Z2ggYSAiZ2V0dGVyIiBtZXRob2QgdG8gYWNjZXNzIGl0IChh bmQgYSAic2V0dGVyIiBtZXRob2QgdG8gbXV0YXRlIGl0IGlmIHJlbGV2YW50 KSwgYnV0IHRoYXQgaXMgb2Z0ZW4gY29uc2lkZXJlZCBkdWJpb3VzIG9iamVj dC1vcmllbnRlZCBzdHlsZSAtLSBpdCB0ZW5kcyB0byBnbyBhZ2FpbnN0IGdv b2QgZW5jYXBzdWxhdGlvbi4KPiAKPiBPbiBTYXQsIEp1bCAyLCAyMDE2IGF0 IDEyOjQ1IFBNLCBIb25nYm8gWmhhbmcgKEJMT09NQkVSRy8gNzMxIExFWCkg PGh6aGFuZzI5NUBibG9vbWJlcmcubmV0PiB3cm90ZToKPiBEZWFyIGFsbCwK PiAgICAgSSBoYXZlIGEgcXVlc3Rpb24gYWJvdXQgdmFsIGluIGNsYXNzIHR5 cGUsIGlzIGl0IG9ubHkgdXNlZnVsIGluIGluaGVyaXRhbmNlPwo+ICAgICBm b3IgZXhhbXBsZQo+ICAKPiAgICAgY2xhc3MgdHlwZSB0ZXh0ID0gb2JqZWN0 IHZhbCBtdXRhYmxlIHRleHQgOiBzdHJpbmcgZW5kICAgICAgCj4gIAo+ICAg ICBsZXQgZiAoeCA6IHRleHQgKSA9IHgjdGV4dDs7ICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgCj4gICAgICAgICAgICAgICAgICAgICAgIF4gICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgCj4gRXJyb3I6IFRoaXMgZXhwcmVzc2lv biBoYXMgdHlwZSB0ZXh0ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCj4gICAgICAgIEl0 IGhhcyBubyBtZXRob2QgdGV4dCAgIAo+ICAgICBUaGFua3MgLS0gSG9uZ2Jv Cj4gCj4gCgoKLS0gCkNhbWwtbGlzdCBtYWlsaW5nIGxpc3QuICBTdWJzY3Jp cHRpb24gbWFuYWdlbWVudCBhbmQgYXJjaGl2ZXM6Cmh0dHBzOi8vc3ltcGEu aW5yaWEuZnIvc3ltcGEvYXJjL2NhbWwtbGlzdApCZWdpbm5lcidzIGxpc3Q6 IGh0dHA6Ly9ncm91cHMueWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVy cwpCdWcgcmVwb3J0czogaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwt YnVncwoK --BOUNDARY_577BAF5F0231008C00390341_0_48727_p057 Content-Type: text/html; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PHRpdGxlPjwvdGl0bGU+PC9oZWFkPjxib2R5PjwhLS0g cnRlLXZlcnNpb24gMC4yIDk5NDc1NTE2MzcyOTQwMDhiNzdiY2UyNWViNjgz ZGFjIC0tPjxkaXYgY2xhc3M9InJ0ZS1zdHlsZS1tYWludGFpbmVyIiBzdHls ZT0iZm9udC1mYW1pbHk6IEFyaWFsOyB3aGl0ZS1zcGFjZTogcHJlLXdyYXA7 IGZvbnQtc2l6ZTogc21hbGw7IGNvbG9yOiByZ2IoMCwgMCwgMCk7ImRhdGEt Y29sb3I9Imdsb2JhbC1kZWZhdWx0IiBiYmctY29sb3I9ImRlZmF1bHQiIGRh dGEtYmItZm9udC1zaXplPSJtZWRpdW0iIGJiZy1mb250LXNpemU9Im1lZGl1 bSIgYmJnLWZvbnQtZmFtaWx5PSJub3JtYWwiPkhpIEphY3F1ZXMsIHRoYW5r cyBmb3IgeW91ciBleHRlbnNpb24uIEkgZW5kZWQgdXAgdXNpbmcgYXR0cmli dXRlcyBmb3IgRkZJLCBsaWtlPGRpdj48YnI+PC9kaXY+PGRpdj4gICBtZXRo b2QgaGVpZ2h0IDogaW50IFtAQHNldF08L2Rpdj48ZGl2Pjxicj48L2Rpdj48 ZGl2PiAgYW5kIHBlb3BsZSBjYW4gdXNlIGB4IzxhIGJiZy1kZXN0aW5hdGlv bj0icnRlOmJpbmQic3BlbGxjaGVjaz0iZmFsc2UiIGRhdGEtYXV0by10YWc9 IiMiIGhyZWY9IiNoZWlnaHQiZGF0YS1kZXN0aW5hdGlvbj0icnRlOmJpbmQi PiNoZWlnaHQ8L2E+Iz0gMzBgLCB0aGUgYWR2YW50YWdlIGlzIHRoYXQgcGVv cGxlIGRvbid0IG5lZWQgcmVtZW1iZXIgdGhlIG5hbWUgbWFuZ2xpbmcsIHRo ZSBuaWNlIHRoaW5nIGlzIHRoYXQgd2UgZ2VuZXJhdGUgc2lnbmF0dXJlIGxp a2UgdGhpcyhzaW1wbGlmaWVkKTwvZGl2PjxkaXY+ICAmbmJzcDs8L2Rpdj48 ZGl2PiAgIG1ldGhvZCBoZWlnaHQgOiBpbnQmbmJzcDs8L2Rpdj48ZGl2PiAg IG1ldGhvZCBoZWlnaHQjPSBpbnQgLSZndDsgdW5pdDxicj48ZGl2IGNsYXNz PSJydGUtc3R5bGUtbWFpbnRhaW5lciIgc3R5bGU9ImZvbnQtc2l6ZTogc21h bGw7IGZvbnQtZmFtaWx5OiAnQ291cmllciBOZXcnLCBDb3VyaWVyOyBjb2xv cjogcmdiKDAsIDAsIDApOyJkYXRhLWNvbG9yPSJnbG9iYWwtZGVmYXVsdCIg YmJnLWNvbG9yPSJkZWZhdWx0IiBkYXRhLWJiLWZvbnQtc2l6ZT0ibWVkaXVt IiBiYmctZm9udC1zaXplPSJtZWRpdW0iIGJiZy1mb250LWZhbWlseT0iZml4 ZWQtd2lkdGgiPjxicj48L2Rpdj48ZGl2IGNsYXNzPSJydGUtc3R5bGUtbWFp bnRhaW5lciIgc3R5bGU9ImZvbnQtc2l6ZTogc21hbGw7IGZvbnQtZmFtaWx5 OiAnQ291cmllciBOZXcnLCBDb3VyaWVyOyBjb2xvcjogcmdiKDAsIDAsIDAp OyJkYXRhLWNvbG9yPSJnbG9iYWwtZGVmYXVsdCIgYmJnLWNvbG9yPSJkZWZh dWx0IiBkYXRhLWJiLWZvbnQtc2l6ZT0ibWVkaXVtIiBiYmctZm9udC1zaXpl PSJtZWRpdW0iIGJiZy1mb250LWZhbWlseT0iZml4ZWQtd2lkdGgiPiAgVGhp cyBldmVuIHdvcmtzIHdpdGggbWVybGluIGF1dG8tY29tcGlsZXRpb24gOiAp PGJyPjxkaXYgY2xhc3M9ImJiZy1ydGUtZm9sZC1jb250ZW50IiBkYXRhLWhl YWRlcj0iRnJvbTogZ2FycmlndWVAbWF0aC5uYWdveWEtdS5hYy5qcCBBdDog MDcvMDMvMTYgMDI6MjQ6MjUiZGF0YS1kaWdlc3Q9IkZyb206IGdhcnJpZ3Vl QG1hdGgubmFnb3lhLXUuYWMuanAgQXQ6IDA3LzAzLzE2IDAyOjI0OjI1IiBz dHlsZT0iIj48ZGl2IGNsYXNzPSJiYmctcnRlLWZvbGQtc3VtbWFyeSI+RnJv bTogZ2FycmlndWVAbWF0aC5uYWdveWEtdS5hYy5qcCBBdDogMDcvMDMvMTYg MDI6MjQ6MjU8L2Rpdj48ZGl2PlRvOiA8YSBzcGVsbGNoZWNrPSJmYWxzZSIg YmJnLWRlc3RpbmF0aW9uPSJtYWlsdG86aHpoYW5nMjk1QGJsb29tYmVyZy5u ZXQiIGhyZWY9Im1haWx0bzpoemhhbmcyOTVAYmxvb21iZXJnLm5ldCI+SE9O R0JPIFpIQU5HIChCTE9PTUJFUkcvIDczMSBMRVgpPC9hPjxicj5DYzogPGEg c3BlbGxjaGVjaz0iZmFsc2UiYmJnLWRlc3RpbmF0aW9uPSJtYWlsdG86cnRl OmJpbmQiIGhyZWY9Im1haWx0bzpjYW1sLWxpc3RAaW5yaWEuZnIiPmNhbWwt bGlzdEBpbnJpYS5mcjwvYT4sIDxhIHNwZWxsY2hlY2s9ImZhbHNlIiBiYmct ZGVzdGluYXRpb249Im1haWx0bzpydGU6YmluZCIgaHJlZj0ibWFpbHRvOmdh YnJpZWwuc2NoZXJlckBnbWFpbC5jb20iPmdhYnJpZWwuc2NoZXJlckBnbWFp bC5jb208L2E+LCA8YSBzcGVsbGNoZWNrPSJmYWxzZSJiYmctZGVzdGluYXRp b249Im1haWx0bzpydGU6YmluZCIgaHJlZj0ibWFpbHRvOm5pY29sYXMub2pl ZGEuYmFyQGxleGlmaS5jb20iPm5pY29sYXMub2plZGEuYmFyQGxleGlmaS5j b208L2E+PGJyPlN1YmplY3Q6IFJlOiBbQ2FtbC1saXN0XSBxdWVzdGlvbjog d2hhdCBpcyB0aGUgcmVjb21tZW5kZWQgdXNlIGNhc2Ugb2YgYHZhbGAgaW4g Y2xhc3MgdHlwZTxicj48L2Rpdj48L2Rpdj48YmxvY2txdW90ZT5IaSBIb25n byw8YnI+PGJyPllvdSBtYXkgd2FudCB0byBoYXZlIGEgbG9vayBhdCBhIHNt YWxsIGNhbWxwNCBzeW50YXggZXh0ZW5zaW9uIEkgd3JvdGUgYSBsb25nIHRp bWUgYWdvLDxicj53aGljaCBhbGxvd3MgdG8gZG8gd2hhdCB5b3Ugc2F5Ljxi cj5Vc2luZyBpdCwgb25lIHdvdWxkIHdyaXRlOjxicj48YnI+ICAgICB2YWwg bXV0YWJsZSB4IHdpdGggYWNjZXNzb3I8YnI+PGJyPnRvIHNheSB0aGF0IGl0 IGNhbiBiZSBhY2Nlc3NlZCB0aHJvdWdoIHRoZSB4IGFuZCB4X3NldCBtZXRo b2RzLjxicj48YnI+VGhlIGNvZGUgaXMgaGVyZTo8YnI+PGEgYmJnLWRlc3Rp bmF0aW9uPSJydGU6YmluZCJzcGVsbGNoZWNrPSJmYWxzZSIgaHJlZj0iaHR0 cDovL3d3dy5tYXRoLm5hZ295YS11LmFjLmpwL35nYXJyaWd1ZS9jb2RlL29j YW1sLmh0bWwiZGF0YS1kZXN0aW5hdGlvbj0icnRlOmJpbmQiPmh0dHA6Ly93 d3cubWF0aC5uYWdveWEtdS5hYy5qcC9+Z2FycmlndWUvY29kZS9vY2FtbC5o dG1sPC9hPjxicj48YnI+Tm90ZSB0aGF0IEkgZGlkbuKAmXQgdHJ5IHRvIHN1 cHBvcnQgZnVuY3Rpb25hbCBzdGF0ZSBjaGFuZ2VzLCBpLmUuIGFkZGluZyBh IG1ldGhvZDxicj4gICAgbWV0aG9kIHhfdXBkIHjigJkgPSB7Jmx0OyB4ID0g eOKAmSAmZ3Q7fTxicj48YnI+SmFjcXVlczxicj48YnI+T24gMjAxNi8wNy8w MyAwMjoyMywgSG9uZ2JvIFpoYW5nIChCTE9PTUJFUkcvIDczMSBMRVgpIHdy b3RlOjxicj4mZ3Q7IDxicj4mZ3Q7IEhpIE5pY29sYXMsIHRoYW5rcyEgSXQg bWF0Y2hlcyB3aXRoIG15IGV4cGVjdGF0aW9uLjxicj4mZ3Q7IEkgYW0gdGhp bmtpbmcgb2Ygb3ZlcnJpZGluZyBzdWNoIHN5bnRheCBmb3IgYnVja2xlc2Ny aXB0IEZGSSwgd2UgY2FuIHVzZSBlaXRoZXI8YnI+Jmd0OyA8YnI+Jmd0OyBj bGFzcyB0eXBlIHQgPSBvYmplY3QgdmFsIG11dGFibGUgeCA6IGludCBlbmQg PGJyPiZndDsgb3I8YnI+Jmd0OyBjbGFzcyB0eXBlIHQgPSBvYmplY3QgbWV0 aG9kIHggOiBpbnQgbWV0aG9kIHhfc2V0IDogaW50IC0mZ3Q7IHVuaXQgZW5k PGJyPiZndDsgPGJyPiZndDsgQ3VycmVudGx5IEkgdGhpbmsgdGhlIGZvcm1l ciBsb29rcyBiZXR0ZXIsIHNpbmNlIHRoZSB1c2VyIGNhbiB0ZWxsIGl0IGlz IGdldHRlciBvciBzZXR0ZXIgd2l0aG91dCByZWx5aW5nIG9uIG5hbWluZyBj b252ZW50aW9uPGJyPiZndDsgRnJvbTogPGEgc3BlbGxjaGVjaz0iZmFsc2Ui YmJnLWRlc3RpbmF0aW9uPSJtYWlsdG86cnRlOmJpbmQiIGhyZWY9Im1haWx0 bzpuaWNvbGFzLm9qZWRhLmJhckBsZXhpZmkuY29tIiBkYXRhLWRlc3RpbmF0 aW9uPSJtYWlsdG86cnRlOmJpbmQiPm5pY29sYXMub2plZGEuYmFyQGxleGlm aS5jb208L2E+IEF0OiAwNy8wMi8xNiAxMzowODoyODxicj4mZ3Q7IFRvOiBI T05HQk8gWkhBTkcgKEJMT09NQkVSRy8gNzMxIExFWCk8YnI+Jmd0OyBDYzog PGEgc3BlbGxjaGVjaz0iZmFsc2UiYmJnLWRlc3RpbmF0aW9uPSJtYWlsdG86 cnRlOmJpbmQiIGhyZWY9Im1haWx0bzpjYW1sLWxpc3RAaW5yaWEuZnIiZGF0 YS1kZXN0aW5hdGlvbj0ibWFpbHRvOnJ0ZTpiaW5kIj5jYW1sLWxpc3RAaW5y aWEuZnI8L2E+LCA8YSBzcGVsbGNoZWNrPSJmYWxzZSJiYmctZGVzdGluYXRp b249Im1haWx0bzpydGU6YmluZCIgaHJlZj0ibWFpbHRvOmdhYnJpZWwuc2No ZXJlckBnbWFpbC5jb20iIGRhdGEtZGVzdGluYXRpb249Im1haWx0bzpydGU6 YmluZCI+Z2FicmllbC5zY2hlcmVyQGdtYWlsLmNvbTwvYT48YnI+Jmd0OyBT dWJqZWN0OiBSZTogW0NhbWwtbGlzdF0gcXVlc3Rpb246IHdoYXQgaXMgdGhl IHJlY29tbWVuZGVkIHVzZSBjYXNlIG9mIGB2YWxgIGluIGNsYXNzIHR5cGU8 YnI+Jmd0OyBIaSBIb25nYm8sPGJyPiZndDsgPGJyPiZndDsgQXMgeW91IG9i c2VydmVkLCBgdmFsYCBjYW4gYmUgdXNlZCB2aWEgaW5oZXJpdGFuY2UgdG8g ZXhwb3NlIHNvbWUgcHJpdmF0ZSBzdGF0ZSB0byBzdWJjbGFzc2VzIHdpdGhv dXQgZXhwb3NpbmcgaXQgdG8gdGhlIG91dHNpZGUuPGJyPiZndDsgPGJyPiZn dDsgQ2hlZXJzPGJyPiZndDsgTmljb2xhczxicj4mZ3Q7IDxicj4mZ3Q7IE9u IFNhdCwgSnVsIDIsIDIwMTYgYXQgNzowMiBQTSwgSG9uZ2JvIFpoYW5nIChC TE9PTUJFUkcvIDczMSBMRVgpICZsdDs8YSBzcGVsbGNoZWNrPSJmYWxzZSJi YmctZGVzdGluYXRpb249Im1haWx0bzpydGU6YmluZCIgaHJlZj0ibWFpbHRv Omh6aGFuZzI5NUBibG9vbWJlcmcubmV0IiBkYXRhLWRlc3RpbmF0aW9uPSJt YWlsdG86cnRlOmJpbmQiPmh6aGFuZzI5NUBibG9vbWJlcmcubmV0PC9hPiZn dDsgd3JvdGU6PGJyPiZndDsgVGhhbmtzIGZvciB5b3VyIHJlcGx5LiBCdXQg aWYgYHZhbGAgaXMgbm90IGFjY2Vzc2libGUgZnJvbSBvdXRzaWRlLCB3aHkg aXQgaXMgdGhlIHBhcnQgb2YgY2xhc3MgdHlwZSBzaWduYXR1cmUsIGFueSBy ZWFzb24gZm9yIHRoaXMgZGVzaWduPzxicj4mZ3Q7IDxicj4mZ3Q7IEZyb206 IDxhIHNwZWxsY2hlY2s9ImZhbHNlImJiZy1kZXN0aW5hdGlvbj0ibWFpbHRv OnJ0ZTpiaW5kIiBocmVmPSJtYWlsdG86Z2FicmllbC5zY2hlcmVyQGdtYWls LmNvbSIgZGF0YS1kZXN0aW5hdGlvbj0ibWFpbHRvOnJ0ZTpiaW5kIj5nYWJy aWVsLnNjaGVyZXJAZ21haWwuY29tPC9hPiBBdDogMDcvMDIvMTYgMTM6MDA6 MzQ8YnI+Jmd0OyBUbzogSE9OR0JPIFpIQU5HIChCTE9PTUJFUkcvIDczMSBM RVgpPGJyPiZndDsgQ2M6IDxhIHNwZWxsY2hlY2s9ImZhbHNlImJiZy1kZXN0 aW5hdGlvbj0ibWFpbHRvOnJ0ZTpiaW5kIiBocmVmPSJtYWlsdG86Y2FtbC1s aXN0QGlucmlhLmZyImRhdGEtZGVzdGluYXRpb249Im1haWx0bzpydGU6Ymlu ZCI+Y2FtbC1saXN0QGlucmlhLmZyPC9hPjxicj4mZ3Q7IFN1YmplY3Q6IFJl OiBbQ2FtbC1saXN0XSBxdWVzdGlvbjogd2hhdCBpcyB0aGUgcmVjb21tZW5k ZWQgdXNlIGNhc2Ugb2YgYHZhbGAgaW4gY2xhc3MgdHlwZTxicj4mZ3Q7IE9i amVjdHMgaGF2ZSBzb21lIHByaXZhdGUgc3RhdGUsIGFuZCB0aGV5IGV4cG9z ZSBtZXRob2RzIHRoYXQgY2FuIGJlIGNhbGxlZCBmcm9tIHRoZSBvdXRzaWRl LiAidmFsIiBmaWVsZHMgY29ycmVzcG9uZCB0byBzdWNoIHByaXZhdGUgc3Rh dGUsIHRoZXkgYXJlIG5vdCBhY2Nlc3NpYmxlIGZyb20gb3V0c2lkZSBhbmQg YXJlIHRodXMgbm90IHBhcnQgb2YgYW4gb2JqZWN0J3MgdHlwZS48YnI+Jmd0 OyA8YnI+Jmd0OyBZb3UgY2FuIGFsd2F5cyBleHBvc2UgYSB2YWx1ZSBmaWVs ZCB0byB0aGUgb3V0c2lkZSB0aHJvdWdoIGEgImdldHRlciIgbWV0aG9kIHRv IGFjY2VzcyBpdCAoYW5kIGEgInNldHRlciIgbWV0aG9kIHRvIG11dGF0ZSBp dCBpZiByZWxldmFudCksIGJ1dCB0aGF0IGlzIG9mdGVuIGNvbnNpZGVyZWQg ZHViaW91cyBvYmplY3Qtb3JpZW50ZWQgc3R5bGUgLS0gaXQgdGVuZHMgdG8g Z28gYWdhaW5zdCBnb29kIGVuY2Fwc3VsYXRpb24uPGJyPiZndDsgPGJyPiZn dDsgT24gU2F0LCBKdWwgMiwgMjAxNiBhdCAxMjo0NSBQTSwgSG9uZ2JvIFpo YW5nIChCTE9PTUJFUkcvIDczMSBMRVgpICZsdDs8YSBzcGVsbGNoZWNrPSJm YWxzZSJiYmctZGVzdGluYXRpb249Im1haWx0bzpydGU6YmluZCIgaHJlZj0i bWFpbHRvOmh6aGFuZzI5NUBibG9vbWJlcmcubmV0IiBkYXRhLWRlc3RpbmF0 aW9uPSJtYWlsdG86cnRlOmJpbmQiPmh6aGFuZzI5NUBibG9vbWJlcmcubmV0 PC9hPiZndDsgd3JvdGU6PGJyPiZndDsgRGVhciBhbGwsPGJyPiZndDsgICAg IEkgaGF2ZSBhIHF1ZXN0aW9uIGFib3V0IHZhbCBpbiBjbGFzcyB0eXBlLCBp cyBpdCBvbmx5IHVzZWZ1bCBpbiBpbmhlcml0YW5jZT88YnI+Jmd0OyAgICAg Zm9yIGV4YW1wbGU8YnI+Jmd0OyAgPGJyPiZndDsgICAgIGNsYXNzIHR5cGUg dGV4dCA9IG9iamVjdCB2YWwgbXV0YWJsZSB0ZXh0IDogc3RyaW5nIGVuZCAg ICAgIDxicj4mZ3Q7ICA8YnI+Jmd0OyAgICAgbGV0IGYgKHggOiB0ZXh0ICkg PSB4PGEgc3BlbGxjaGVjaz0iZmFsc2UiYmJnLWRlc3RpbmF0aW9uPSJydGU6 YmluZCIgZGF0YS1hdXRvLXRhZz0iIyIgaHJlZj0iI3RleHQiZGF0YS1kZXN0 aW5hdGlvbj0icnRlOmJpbmQiPiN0ZXh0PC9hPjs7ICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgPGJyPiZndDsgICAgICAgICAgICAgICAgICAgICAgIF4gICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgPGJyPiZndDsgRXJyb3I6IFRo aXMgZXhwcmVzc2lvbiBoYXMgdHlwZSB0ZXh0ICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg PGJyPiZndDsgICAgICAgIEl0IGhhcyBubyBtZXRob2QgdGV4dCAgIDxicj4m Z3Q7ICAgICBUaGFua3MgLS0gSG9uZ2JvPGJyPiZndDsgPGJyPiZndDsgPGJy Pjxicj48YnI+PGJyPi0tIDxicj5DYW1sLWxpc3QgbWFpbGluZyBsaXN0LiAg U3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQgYW5kIGFyY2hpdmVzOjxicj48YSBi YmctZGVzdGluYXRpb249InJ0ZTpiaW5kInNwZWxsY2hlY2s9ImZhbHNlIiBo cmVmPSJodHRwczovL3N5bXBhLmlucmlhLmZyL3N5bXBhL2FyYy9jYW1sLWxp c3QiIGRhdGEtZGVzdGluYXRpb249InJ0ZTpiaW5kIj5odHRwczovL3N5bXBh LmlucmlhLmZyL3N5bXBhL2FyYy9jYW1sLWxpc3Q8L2E+PGJyPkJlZ2lubmVy J3MgbGlzdDogPGEgYmJnLWRlc3RpbmF0aW9uPSJydGU6YmluZCJzcGVsbGNo ZWNrPSJmYWxzZSIgaHJlZj0iaHR0cDovL2dyb3Vwcy55YWhvby5jb20vZ3Jv dXAvb2NhbWxfYmVnaW5uZXJzIiBkYXRhLWRlc3RpbmF0aW9uPSJydGU6Ymlu ZCI+aHR0cDovL2dyb3Vwcy55YWhvby5jb20vZ3JvdXAvb2NhbWxfYmVnaW5u ZXJzPC9hPjxicj5CdWcgcmVwb3J0czogPGEgYmJnLWRlc3RpbmF0aW9uPSJy dGU6YmluZCJzcGVsbGNoZWNrPSJmYWxzZSIgaHJlZj0iaHR0cDovL2NhbWwu aW5yaWEuZnIvYmluL2NhbWwtYnVncyJkYXRhLWRlc3RpbmF0aW9uPSJydGU6 YmluZCI+aHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVnczwvYT48 YnI+PC9ibG9ja3F1b3RlPjwvZGl2PjwvZGl2PjwvZGl2PjwvYm9keT48L2h0 bWw+ --BOUNDARY_577BAF5F0231008C00390341_0_48727_p057--