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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 86EBD7F84F for ; Wed, 26 Feb 2014 22:57:57 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BAARjDlOAnPnlnGdsb2JhbABXA4NBV4MDugiECIEFFg4BAQEBAQgLCQkUKIIpBgEBGgYREggCGAYEBgEDAwECBQECJAIFFgMEBAICAgEBBQMCAQIBCQ0JFhYNBgIBAQEUAgIEh1gNqQOgYBcEgSWMSREBaIIdDzGBSQSJSYwXglZMlSqBSQcXBhw X-IPAS-Result: Ap4BAARjDlOAnPnlnGdsb2JhbABXA4NBV4MDugiECIEFFg4BAQEBAQgLCQkUKIIpBgEBGgYREggCGAYEBgEDAwECBQECJAIFFgMEBAICAgEBBQMCAQIBCQ0JFhYNBgIBAQEUAgIEh1gNqQOgYBcEgSWMSREBaIIdDzGBSQSJSYwXglZMlSqBSQcXBhw X-IronPort-AV: E=Sophos;i="4.97,550,1389740400"; d="scan'208";a="50649330" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Feb 2014 22:57:55 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id B1BC7602357; Wed, 26 Feb 2014 16:56:38 -0500 (EST) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id v+sEobk3bTyK; Wed, 26 Feb 2014 16:56:38 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 1258A6022B9; Wed, 26 Feb 2014 16:56:36 -0500 (EST) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 74F9360225A for ; Wed, 26 Feb 2014 16:56:33 -0500 (EST) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 0bk8XXTH-a13 for ; Wed, 26 Feb 2014 16:56:33 -0500 (EST) Received: from ndmsnpf02.ndc.nasa.gov (ndmsnpf02.ndc.nasa.gov [198.117.0.122]) by lists.nasa.gov (Postfix) with ESMTP id 53D5B602238 for ; Wed, 26 Feb 2014 16:56:33 -0500 (EST) Received: from ndmsppt102.ndc.nasa.gov (ndmsppt102.ndc.nasa.gov [198.117.0.67]) by ndmsnpf02.ndc.nasa.gov (Postfix) with ESMTP id B8F7DE801B; Wed, 26 Feb 2014 15:56:37 -0600 (CST) Received: from NDMSCHT102.ndc.nasa.gov (ndmscht102-pub.ndc.nasa.gov [198.117.0.202]) by ndmsppt102.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id s1QLuXsS014365; Wed, 26 Feb 2014 15:56:33 -0600 Received: from logique.ndc.nasa.gov (67.180.226.0) by smtp02.ndc.nasa.gov (198.117.0.202) with Microsoft SMTP Server (TLS) id 14.3.174.1; Wed, 26 Feb 2014 15:56:33 -0600 Message-ID: <530E630C.9030001@nasa.gov> Date: Wed, 26 Feb 2014 13:56:28 -0800 From: Kristin Yvonne Rozier User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130108 Thunderbird/10.0.12 MIME-Version: 1.0 To: X-Originating-IP: [67.180.226.0] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.11.87, 1.0.14, 0.0.0000 definitions=2014-02-26_05:2014-02-26,2014-02-26,1970-01-01 signatures=0 Cc: "Badger, Julia M \(JSC-ER411\)" X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: kristin.y.rozier@nasa.gov Subject: [Caml-list] [fm-announcements] NFM 2014 Call for Participation UGxlYXNlIGZpbmQgdGhlIE5GTSAyMDE0IENhbGwgZm9yIFBhcnRpY2lwYXRp b24gYmVsb3cuIFdpdGggbm8gCnJlZ2lzdHJhdGlvbiBmZWUgYW5kIHZlcnkg cmVhc29uYWJsZSBjb3N0cyBmb3IgYWNjb21tb2RhdGlvbnMgdGhpcyAKY29u ZmVyZW5jZSBpcyBhbiBleGNlbGxlbnQgdmFsdWUgdG8gYXR0ZW5kIGV2ZW4g d2l0aG91dCBwcmVzZW50aW5nIGEgCnBhcGVyLiBJdCBpcyBhbHNvIGEgZ3Jl YXQgcGxhY2UgdG8gYnJpbmcgc3R1ZGVudHMgZm9yIGV4cG9zdXJlIHRvIApy ZWFsLXdvcmxkIGFwcGxpY2F0aW9ucyEKCgoqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKgogICAgICBUaGUgU2l4 dGggTkFTQSBGb3JtYWwgTWV0aG9kcyBTeW1wb3NpdW0KCiAgICAgICAgIGh0 dHA6Ly93d3cuTkFTQUZvcm1hbE1ldGhvZHMub3JnLwoKICAgICAgICAgICAg ICAgMjkgQXByaWwgLSAxIE1heSAyMDE0CiAgIE5BU0EgSm9obnNvbiBTcGFj ZSBDZW50ZXIsIEhvdXN0b24sIFRleGFzLCBVU0EKKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKClJlZ2lzdHJh dGlvbiAoZnJlZSEpCi0tLS0tLS0tLS0tLS0tLS0tLS0tClRoZXJlIHdpbGwg YmUgbm8gcmVnaXN0cmF0aW9uIGZlZSBmb3IgcGFydGljaXBhbnRzLiBBbGwg aW50ZXJlc3RlZCAKaW5kaXZpZHVhbHMsIGluY2x1ZGluZyBub24tVVMgY2l0 aXplbnMsIGFyZSB3ZWxjb21lIHRvIGF0dGVuZCwgdG8gbGlzdGVuIAp0byB0 aGUgdGFsa3MsIGFuZCB0byBwYXJ0aWNpcGF0ZSBpbiBkaXNjdXNzaW9uczsg aG93ZXZlciwgYWxsIGF0dGVuZGVlcyAKbXVzdCByZWdpc3Rlci4KClJlZ2lz dHJhdGlvbiBVUkw6IGh0dHA6Ly93d3cubmFzYWZvcm1hbG1ldGhvZHMub3Jn Lz9wYWdlX2lkPTE2MAoKV2Ugc3Ryb25nbHkgZW5jb3VyYWdlIHBhcnRpY2lw YW50cyB0byByZWdpc3RlciBlYXJseSBhbmQgcmVzZXJ2ZSAKYWNjb21vZGF0 aW9ucy4gQSBibG9jayBvZiBob3RlbCByb29tcyBhcmUgYXZhaWxhYmxlIGF0 ICQ5OC4wMCBwZXIgbmlnaHQgCmZvciByZXNlcnZhdGlvbnMgbWFkZSBiZWZv cmUgQXByaWwgNy4gVGhlIHJlZ2lzdHJhdGlvbiBkZWFkbGluZSBpcyBBcHJp bCAyMi4KCgpQYW5lbDogIkZ1dHVyZSBEaXJlY3Rpb25zIG9mIFNwZWNpZmlj YXRpb25zIGZvciBGb3JtYWwgTWV0aG9kcyIKLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t ClBhbmVsaXN0czoKICAgICBNYXR0IER3eWVyLCBVbml2ZXJzaXR5IG9mIE5l YnJhc2thLCBVU0EKICAgICBIYWRhcyBLcmVzcy1HYXppdCwgQ29ybmVsbCBV bml2ZXJzaXR5LCBVU0EKICAgICBNb3NoZSBZLiBWYXJkaSwgUmljZSBVbml2 ZXJzaXR5LCBVU0EKUGFuZWwgRGVzY3JpcHRpb246IFNwZWNpZmljYXRpb25z IGFyZSByZXF1aXJlZCBmb3IgYWxsIGFwcGxpY2F0aW9ucyBvZiAKZm9ybWFs IG1ldGhvZHMgeWV0IGV4dHJhY3Rpbmcgc3BlY2lmaWNhdGlvbnMgZm9yIHJl YWwtbGlmZSBzYWZldHkgCmNyaXRpY2FsIHN5c3RlbXMgb2Z0ZW4gcHJvdmVz IHRvIGJlIGEgaHVnZSBib3R0bGVuZWNrIG9yIGV2ZW4gYW4gCmluc3VybW91 bnRhYmxlIGh1cmRsZSB0byB0aGUgYXBwbGljYXRpb24gb2YgZm9ybWFsIG1l dGhvZHMgaW4gcHJhY3RpY2UuIApUaGlzIGlzIHRoZSBzdGF0ZSBmb3Igc2Fm ZXR5LWNyaXRpY2FsIHN5c3RlbXMgdG9kYXkgYW5kIGFzIHRoZXNlIHN5c3Rl bXMgCmdyb3cgbW9yZSBjb21wbGV4LCBtb3JlIHBlcnZhc2l2ZSwgYW5kIG1v cmUgcG93ZXJmdWwgaW4gdGhlIGZ1dHVyZSwgCnRoZXJlIGlzIG5vdCBhIGNs ZWFyIHBhdGggZXZlbiBmb3IgbWFpbnRhaW5pbmcgdGhlIGJsZWFrIHN0YXR1 cyBxdW8uIApUaGVyZWZvcmUsIHdlIHByb3Bvc2UgaGlnaGxpZ2h0aW5nIHRo aXMgaXNzdWUgaW4gdGhlIGhvbWUgb2YgYW4gCmltcG9ydGFudCBjcml0aWNh bCBzeXN0ZW0sIHRoZSBNaXNzaW9uIENvbnRyb2wgQ2VudGVyIG9mIE5BU0En cyBtb3N0IApmYW1vdXMgY3JpdGljYWwgc3lzdGVtcywgYW5kIGFza2luZyBv dXIgcGFuZWxpc3RzIHdoZXJlIHdlIGNhbiBnbyBmcm9tIGhlcmUuCgoKS2V5 bm90ZSBTcGVha2VyczoKLS0tLS0tLS0tLS0tLS0tLS0KKiAiTkFTQSBGdXR1 cmUgQ2hhbGxlbmdlcyBpbiBGb3JtYWwgTWV0aG9kcyIgYnkgQmlsbCBNY0Fs bGlzdGVyLCBDaGllZiwgClNhZmV0eSBhbmQgTWlzc2lvbiBBc3N1cmFuY2Us IEludGVybmF0aW9uYWwgU3BhY2UgU3RhdGlvbiBTYWZldHkgUGFuZWxzLCAK QXZpb25pY3MgYW5kIFNvZnR3YXJlIEJyYW5jaAoqICJUaGVvcmVtIFByb3Zp bmcgYW5kIHRoZSBSZWFsIE51bWJlcnM6IE92ZXJ2aWV3IGFuZCBDaGFsbGVu Z2VzIiBieSAKTGFycnkgUGF1bHNvbiwgVW5pdmVyc2l0eSBvZiBDYW1icmlk Z2UsIFVLCiogIkNvbXBvc2l0aW9uYWwgVGVtcG9yYWwgU3ludGhlc2lzIiBi eSBNb3NoZSBZLiBWYXJkaSwgUmljZSBVbml2ZXJzaXR5LCBVU0EKCgpBY2Nl cHRlZCBQYXBlcnM6Ci0tLS0tLS0tLS0tLS0tLS0KKiAgIERhcnJlbiBDb2Zl ciBhbmQgU3RldmVuIE1pbGxlcgogICAgICJETy0zMzMgQ2VydGlmaWNhdGlv biBDYXNlIFN0dWRpZXMiCiogICBBbmRyw6kgRGUgTWF0b3MgUGVkcm8sIERh dmlkIFBlcmVpcmEsIEx1w61zIE1pZ3VlbCBQaW5obyBhbmQgSm9yZ2UgClNv dXNhIFBpbnRvCiAgICAgIkEgQ29tcG9zaXRpb25hbCBNb25pdG9yaW5nIEZy YW1ld29yayBmb3IgSGFyZCBSZWFsLVRpbWUgU3lzdGVtcyIKKiAgIFBlZHJv IEFudG9uaW5vLCBNYXJjZWwgVmluaWNpdXMgTWVkZWlyb3MgT2xpdmVpcmEs IEF1Z3VzdG8gU2FtcGFpbywgCktsYXVzIEtyaXN0ZW5zZW4gYW5kIEplcmVt eSBXLiBCcnlhbnMKICAgICAiTGVhZGVyc2hpcCBFbGVjdGlvbjogYW4gSW5k dXN0cmlhbCBTb1MgQXBwbGljYXRpb24gb2YgCkNvbXBvc2l0aW9uYWwgRGVh ZGxvY2sgVmVyaWZpY2F0aW9uIgoqICAgTGFycyBOb3NjaGluc2tpLCBDaHJp c3RpbmUgUml6a2FsbGFoIGFuZCBLdXJ0IE1laGxob3JuCiAgICAgIlZlcmlm aWNhdGlvbiBvZiBDZXJ0aWZ5aW5nIENvbXB1dGF0aW9ucyB0aHJvdWdoIEF1 dG9Db3JyZXMgYW5kIFNpbXBsIgoqICAgUm9iZXJ0IE0uIEhpZXJvbnMgYW5k IFVyYXogQ2VuZ2l6IFR1cmtlcgogICAgICJEaXN0aW5ndWlzaGluZyBTZXF1 ZW5jZXMgZm9yIFBhcnRpYWxseSBTcGVjaWZpZWQgRlNNcyIKKiAgIFNlcHBv IEhvcnNtYW5oZWltbywgTWFyeWFtIEthbWFsaSwgTWlra28gS29sZWhtYWlu ZW4sIE1hdHMgTmVvdml1cywgCiAgTHVpZ2lhIFBldHJlLCBNYXVubyBSw7Zu a2vDtiBhbmQgUGV0dGVyIFNhbmR2aWsKICAgICAiT24gUHJvdmluZyBSZWNv dmVyYWJpbGl0eSBvZiBTbWFydCBFbGVjdHJpY2FsIEdyaWRzIgoqICAgRHVz dGluIEhvZmZtYW4sIEFkaXRpIFRhZ29yZSwgRGllZ28gWmFjY2FpIGFuZCBC cnVjZSBXZWlkZQogICAgICJQcm92aWRpbmcgRWFybHkgV2FybmluZ3Mgb2Yg U3BlY2lmaWNhdGlvbiBQcm9ibGVtcyIKKiAgIEJqw7ZybiBCYXJ0ZWxzCiAg ICAgIk1lY2hhbml6ZWQsIENvbXBvc2l0aW9uYWwgVmVyaWZpY2F0aW9uIG9m IExvdy1MZXZlbCBDb2RlIgoqICAgRmFiaWFuIEltbWxlcgogICAgICJGb3Jt YWxseSBWZXJpZmllZCBFbmNsb3N1cmVzIG9mIFNvbHV0aW9ucyBvZiBPcmRp bmFyeSBEaWZmZXJlbnRpYWwgCkVxdWF0aW9ucyIKKiAgIE1vaGFtZWQgWW91 c3JpIGFuZCBTb2ZpZW5lIFRhaGFyCiAgICAgIk9uIHRoZSBRdWFudHVtIEZv cm1hbGl6YXRpb24gb2YgQ29oZXJlbnQgTGlnaHQgaW4gSE9MIgoqICAgSGVy bsOhbiBWYW56ZXR0byBhbmQgU3RlcGhhbiBNZXJ6CiAgICAgIlR5cGUgSW5m ZXJlbmNlIHdpdGggUmVmaW5lbWVudHMgVHlwZXMgZm9yIFRMQSsiCiogICBN YXR0aGV3IERhbmlzaCBhbmQgSG9uZ3dlaSBYaQogICAgICJVc2luZyBsaWdo dHdlaWdodCB0aGVvcmVtIHByb3ZpbmcgaW4gYW4gYXN5bmNocm9ub3VzIHN5 c3RlbXMgY29udGV4dCIKKiAgIEFib3ViYWtyIEFjaHJhZiBFbCBHaGF6aSwg TWF0dGlhcyBVbGJyaWNoLCBDaHJpc3RvcGggR2xhZGlzY2gsIApTaG11ZWwg VHlzemJlcm93aWN6IGFuZCBNYW5hIFRhZ2hkaXJpCiAgICAgIkpLZWxsb3k6 IEEgUHJvb2YgQXNzaXN0YW50IGZvciBSZWxhdGlvbmFsIFNwZWNpZmljYXRp b25zIG9mIEphdmEgClByb2dyYW1zIgoqICAgQW5kcmV3IFNvZ29rb24sIFBh dWwgSmFja3NvbiwgTGF3cmVuY2UgUGF1bHNvbiBhbmQgSmFtZXMgQnJpZGdl CiAgICAgIlZlcmlmeWluZyBIeWJyaWQgU3lzdGVtcyBJbnZvbHZpbmcgVHJh bnNjZW5kZW50YWwgRnVuY3Rpb25zIgoqICAgV2lsbGlhbSBEZW5tYW4KICAg ICBWZXJpZnlpbmcgTm9ucG9seW5vbWlhbCBIeWJyaWQgU3lzdGVtcyBieSBR dWFsaXRhdGl2ZSBBYnN0cmFjdGlvbiAKYW5kIEF1dG9tYXRlZCBUaGVvcmVt IFByb3ZpbmciCiogICBQYW9sbyBNYXNjaSwgWWkgWmhhbmcsIFBhdHJpY2sg T2xhZGltZWppLCBFbnJpY28gROKAmVVyc28sIFBhdWwgSm9uZXMsIApIYXJv bGQgVGhpbWJsZWJ5LCBQYXVsIEN1cnpvbiBhbmQgQ2luemlhIEJlcm5hcmRl c2NoaQogICAgICJDb21iaW5pbmcgUFZTaW8gd2l0aCBTdGF0ZWZsb3ciCiog ICBMb8OvYyBDb3JyZW5zb24KICAgICAiUWVkOiBDb21wdXRpbmcgd2hhdCBS ZW1haW5zIHRvIGJlIFByb3ZlZCIKKiAgIEV0aGVsIEJhcmRzbGV5IGFuZCBB bGFzdGFpciBEb25hbGRzb24KICAgICAiV2FycHMgYW5kIEF0b21pY3M6IEJl eW9uZCBCYXJyaWVyIFN5bmNocm9uaXphdGlvbiBpbiB0aGUgClZlcmlmaWNh dGlvbiBvZiBHUFUgS2VybmVscyIKKiAgIFRlbWVzZ2hlbiBLYWhzYWksIFBp ZXJyZS1Mb2ljIEdhcm9jaGUsIEZhbGsgSG93YXIgYW5kIFhhdmllciBUaGly aW91eAogICAgICJUZXN0aW5nLWJhc2VkIGNvbXBpbGVyIHZhbGlkYXRpb24g Zm9yIHN5bmNocm9ub3VzIGxhbmd1YWdlcyIKKiAgIEpvaGFubiBTY2h1bWFu biBhbmQgU3RlZmFuLUFsZXhhbmRlciBTY2huZWlkZXIKICAgICAiQXV0b21h dGVkIFRlc3RjYXNlIEdlbmVyYXRpb24gZm9yIE51bWVyaWNhbCBTdXBwb3J0 IEZ1bmN0aW9ucyBpbiAKRW1iZWRkZWQgU3lzdGVtcyIKKiAgIEx1YyBFbmdl bGVuIGFuZCBBbnRvbiBXaWpzCiAgICAgIlJFRklORVI6IFRvd2FyZHMgRm9y bWFsIFZlcmlmaWNhdGlvbiBvZiBNb2RlbCBUcmFuc2Zvcm1hdGlvbnMiCiog ICBGcmFuY28gTWF6emFudGksIEdpb3JnaW8gT3JvbnpvIFNwYWdub2xvIGFu ZCBBbGVzc2lvIEZlcnJhcmkKICAgICAiRGVzaWduIG9mIGEgRGVhZGxvY2st ZnJlZSBUcmFpbiBTY2hlZHVsZXI6IGEgTW9kZWwgQ2hlY2tpbmcgQXBwcm9h Y2giCiogICBBZHJpw6AgR2FzY8OzbiBhbmQgQXNoaXNoIFRpd2FyaQogICAg ICJBIFN5bnRoZXNpemVkIEFsZ29yaXRobSBmb3IgSW50ZXJhY3RpdmUgQ29u c2lzdGVuY3kiCiogICBDaHJpc3RlbCBCYWllciwgTWFyY3VzIERhdW0sIENs ZW1lbnMgRHVic2xhZmYsIEpvYWNoaW0gS2xlaW4gYW5kIApTYXNjaGEgS2x1 ZXBwZWxob2x6CiAgICAgIkVuZXJneS1VdGlsaXR5IFF1YW50aWxlcyIKKiAg IEdyaWdvcnkgRmVkeXVrb3ZpY2gsIEFyaWUgR3VyZmlua2VsIGFuZCBOYXRh c2hhIFNoYXJ5Z2luYQogICAgICJJbmNyZW1lbnRhbCBWZXJpZmljYXRpb24g b2YgQ29tcGlsZXIgT3B0aW1pemF0aW9ucyIKKiAgIFBldGVyIEdqw7hsIEpl bnNlbiwgS2ltIEd1bGRzdHJhbmQgTGFyc2VuLCBKaXJpIFNyYmEsIE1hdGhp YXMgR3J1bmQgClPDuHJlbnNlbiBhbmQgSmFrb2IgSGFhaHIgVGFhbmt2aXN0 CiAgICAgIk1lbW9yeSBFZmZpY2llbnQgRGF0YSBTdHJ1Y3R1cmVzIGZvciBF eHBsaWNpdCBWZXJpZmljYXRpb24gb2YgClRpbWVkIFN5c3RlbXMiCiogICBT dGVwaGFuIEFybHQsIENpbmR5IFJ1YmlvLUdvbnrDoWxleiwgUGhpbGlwcCBS dWVtbWVyLCBNYXJ0aW4gU2Now6RmIAphbmQgTmF0YXJhamFuIFNoYW5rYXIK ICAgICAiVGhlIEdyYWR1YWwgVmVyaWZpZXIiCiogICBCb2dkYW4gTWloYWls YSBhbmQgQXhlbCBTaW1vbi4KICAgICAiU3ludGhlc2l6aW5nIFByZWRpY2F0 ZXMgZnJvbSBBYnN0cmFjdCBEb21haW4gTG9zc2VzIgoqICAgTnVubyBDYXJ2 YWxobywgQ3Jpc3RpYW5vIERhIFNpbHZhIFNvdXNhLCBKb3JnZSBTb3VzYSBQ aW50byBhbmQgQWFyb24gClRvbWIKICAgICAiRm9ybWFsIFZlcmnvrIFjYXRp b24gb2Yga0xJQkMgd2l0aCB0aGUgV1AgRnJhbWEtQyBwbHVnLWluIgoKLS0g CiAgX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fCiAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICBfXwogICAgICAgICAgICAvXCAgICAgICAgICAgICAgICAg ICAgICAgXCBcX19fX18KICAgICAgICAgICAvICBcICAgICAgICAgICAgICAg ICAgICMjI1s9PV9fX19fPgogICAgICAgICAgLyAgICBcICAgICAgICAgICAg ICAgICAgICAgL18vICAgICAgX18KICAgICAgICAgLyAgX18gIFwgICAgICAg ICAgICAgICAgICAgICAgICAgICAgIFwgXF9fX19fCiAgICAgICAgIHwgKCAg KSB8ICAgICAgICAgICAgICAgICAgICAgICAgICAjIyNbPT1fX19fXz4KICAg ICAgICAvfCAvXC9cIHxcICAgICAgICAgICAgICAgICAgICAgICAgICAgIC9f LwogICAgICAgLyB8IHwgIHwgfCBcCiAgICAgIC8gIHw9fD09fD18ICBcICAg ICAgIEtyaXN0aW4gWXZvbm5lIFJvemllciwgUGguRC4KICAgIC8gICAgfCB8 ICB8IHwgICAgXCAgICAgICBSZXNlYXJjaCBDb21wdXRlciBTY2llbnRpc3QK ICAgLyBVU0EgfCB+fHx+IHxOQVNBIFwgICAgTkFTQSBBbWVzIFJlc2VhcmNo IENlbnRlcgogIHxfX19fX198ICB+fiAgfF9fX19fX3wgICAgIFBob25lOiAo NjUwKSA2MDQtMzE5NwogICAgICAgICAoX198fF9fKSAgICAgICAgICAgIEZh eDogICAoNjUwKSA2MDQtMzU5NAogICAgICAgICAvX1wgIC9fXAogICAgICAg ICAhISEgICEhISAgICAgICAgICBodHRwOi8vdGkuYXJjLm5hc2EuZ292L3By b2ZpbGUva3lyb3ppZXIvCgoKQW55IG9waW5pb25zIGV4cHJlc3NlZCBpbiB0 aGlzIGVtYWlsIGFyZSBteSBvd24uCi0tLQpUbyBvcHQtb3V0IGZyb20gdGhp cyBtYWlsaW5nIGxpc3QsIHNlbmQgYW4gZW1haWwgdG8KCmZtLWFubm91bmNl bWVudHMtcmVxdWVzdEBsaXN0cy5uYXNhLmdvdgoKd2l0aCB0aGUgd29yZCAn dW5zdWJzY3JpYmUnIGFzIHN1YmplY3Qgb3IgaW4gdGhlIGJvZHkuIFlvdSBj YW4gYWxzbyBtYWtlIHRoZSByZXF1ZXN0IGJ5IGNvbnRhY3RpbmcKCmZtLWFu bm91bmNlbWVudHMtb3duZXJAbGlzdHMubmFzYS5nb3Yg