From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 8D7AE82673 for ; Sun, 14 Apr 2019 06:45:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.mailfrom=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.helo=postmaster@lists.nasa.gov 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" IronPort-PHdr: =?us-ascii?q?9a23=3AJWIDoRx2masTFKrXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0usVLfad9pjvdHbS+e9qxAeQG9mCsrQe1aGG6+igATVGvc/Z9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMq8Uam5VuJ6c+xhbKvndDZu?= =?us-ascii?q?BayX91KV6JkBvw+9u88IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?= =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?= =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7TctMAQWpKQ9hfWSpPDIih?= =?us-ascii?q?a4cDFusMMeNeooLgpVUBsAG+CBGsCu3xyTFGiHH50qIn3eQ5EwzI3hEsEtwSvH?= =?us-ascii?q?rbsNr6KrwSXPupzKbT1zjPc+9a1Dn/5YXObxsvoeuMXbV1ccfJzEcvDQLFjk6M?= =?us-ascii?q?qYzkOTOey+YCs3ac7+pmU+KglXMspR12ojmux8cjlJPJjZ8Sx1DH9SR52oE1JN?= =?us-ascii?q?y5SEFle96pC5pQuDuBN4tqWMwiX39ntDwkxbIbpJ62ZS4Hw4kpyR7YbvyIaYmI?= =?us-ascii?q?4hT7WeaXOzh4n2hqdKiwhxa170is0vH8Wdex0FZSqSpFiMPDtnQJ1xzU5ciHS+?= =?us-ascii?q?dy8l2m2TaV2ADe7PxPL0MslafDNpIt3L09moAOvUnDHyL6glv6gaCSe0k+5OSk?= =?us-ascii?q?9eDqbq3nq5KYLYN5iQHzPr4zlsG7Bek0KAwDUmad9O+hzrPs51f5T69PjvAukq?= =?us-ascii?q?nWrpTaJcMDq669Ag9VyZoj6w2lAzegytsYhmMIIEhKeBKAkYjlI1DOIPbmAvej?= =?us-ascii?q?m1mgjSlnyvPcMrH8ApjAL2LPnKnucLt58UJQ1hQ/wNRH65JREL4BIfbzWkHrtN?= =?us-ascii?q?zfCx80KwK0w+P+BNpn0IMeX2WPArKfMKzOr1CI4/wgI++QZI8OoTryMP8l5+Po?= =?us-ascii?q?jXAlh1AdZrKk3Z8WaHCjAvRmOF+VYXz2jdcaC2gGpAU+TOv0iFGaSz5ce26yX7?= =?us-ascii?q?4g5jE8EI+pF4jDRoG3gLObwSe7GoFWa3tHC1CNFHfnbJ+EVO0WZCKTJM9hiD0E?= =?us-ascii?q?WqK7R48vzxGkrBX6xKZ/LurI5i0Ysoru1NZw5+3SiR4y7id5D9+d0mGIV2F7hH?= =?us-ascii?q?kERz4w3KBloExy0E2P0aZig68QKNpI+vkcUhsmLYWOiKt+CsvuQUTHd8yADlmh?= =?us-ascii?q?XJKjCDA1S9s3hNgWf0d6Hc7lgBWG1iysBKITnLGOCZoo6fHh2WPsLZN4wnfCyK?= =?us-ascii?q?5zgVxjS81JMnCgjaN6+g7PHMvTnlyEmr22XaAdxzLWsmGK1mPIs0ZGBxVtW6fI?= =?us-ascii?q?VmxKe03NsN7i7VnDRbL9NbNyPA4EwMiELbZMYdDsgFNaX9/nOc/CeCS3kny5Qx?= =?us-ascii?q?mP2OCido3vLkYH3T7BCU5Moh4U+3CLfTI5FCasuSqKDy10EkDublnE8OBltHqn?= =?us-ascii?q?Qwk5wxzcPB4p7Ka85hNA3a/UcPgUxL9R/Xl4+mdEWW2l1teTMOKu4g9ofaFSe9?= =?us-ascii?q?Q4uQkV0WPCqxc7OJW7JuZtgUBMKl0q7XOr7A1+D8B7qeZvrH4uy1Mse6aZy09a?= =?us-ascii?q?MTWRxpm2NbrJeDCroEKfLpXO01Sb6+64v78V4a1m+VHipx2yUEwr6Hwh3N5LgS?= =?us-ascii?q?OR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AEAAD4ubJce+X5nIBQDAoaAQEBAQECA?= =?us-ascii?q?QEBAQcCAQEBAYFRBQEBAQELAQGBPCmBEgOBKYQOiBxfjBWEAosgiUsUgWgOARg?= =?us-ascii?q?LgTQhgw6FXxwGAQQwCQ4BAwEBCgECAQEBARMBAQsLCgcpIwxCAQ4BgWgFAgMfB?= =?us-ascii?q?4JiBgEBGgYRDAEBBAgCFggGBgIDAQIGAggcAg8PBAQCAgIBASQJAwEFAQwjBgI?= =?us-ascii?q?BAQEUAgIEgjZLASYBgWEBBAqOYpAMPIoscYEvgnkBAQWCR4MKAQeBRQkSeScBi?= =?us-ascii?q?0kRBnKBDYERJwyEIQGBXAMCgRsQAQcIAwGDKYJXiH4GgW+CNoVikyoJggeGCYd?= =?us-ascii?q?BhEcggmWCdIV4EokQg12FBYkwg3WBDYhtAgQCBAUCBg8hgQ4ggR1xMxoIHRM7g?= =?us-ascii?q?mwJggEYH4QigRWDFYVdIgExAQGJPIRkDRcHKoF7AQE?= X-IPAS-Result: =?us-ascii?q?A0AEAAD4ubJce+X5nIBQDAoaAQEBAQECAQEBAQcCAQEBAYF?= =?us-ascii?q?RBQEBAQELAQGBPCmBEgOBKYQOiBxfjBWEAosgiUsUgWgOARgLgTQhgw6FXxwGA?= =?us-ascii?q?QQwCQ4BAwEBCgECAQEBARMBAQsLCgcpIwxCAQ4BgWgFAgMfB4JiBgEBGgYRDAE?= =?us-ascii?q?BBAgCFggGBgIDAQIGAggcAg8PBAQCAgIBASQJAwEFAQwjBgIBAQEUAgIEgjZLA?= =?us-ascii?q?SYBgWEBBAqOYpAMPIoscYEvgnkBAQWCR4MKAQeBRQkSeScBi0kRBnKBDYERJwy?= =?us-ascii?q?EIQGBXAMCgRsQAQcIAwGDKYJXiH4GgW+CNoVikyoJggeGCYdBhEcggmWCdIV4E?= =?us-ascii?q?okQg12FBYkwg3WBDYhtAgQCBAUCBg8hgQ4ggR1xMxoIHRM7gmwJggEYH4QigRW?= =?us-ascii?q?DFYVdIgExAQGJPIRkDRcHKoF7AQE?= X-IronPort-AV: E=Sophos;i="5.60,348,1549926000"; d="scan'208";a="302805899" X-MGA-submission: =?us-ascii?q?MDGASgfl5+QOJooNRY2GKNHOypFeggXCDLnedw?= =?us-ascii?q?CQAcLoW2vsunDWkL2nwMP7b9iyIMvs4QS/HCdfX8GBVgYbtvxRlaUZKk?= =?us-ascii?q?ygmzDfgaYznhjeGZ7osEZdBT9W65yD1f1zgGsVKtJDxghDN7MJ2IMkEb?= =?us-ascii?q?YFPEeh9oBTLI71Ra/Criz4cw=3D=3D?= Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Apr 2019 06:45:00 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 699B4133A3E; Sun, 14 Apr 2019 00:44:21 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lists.nasa.gov; h=content-type:content-type:content-transfer-encoding :list-subscribe:list-help:list-post:list-unsubscribe:list-id :precedence:subject:subject:content-language:mime-version :user-agent:date:date:message-id:from:from:received:received :received:received:received:received:received; s=mail; t= 1555217056; x=1557031457; bh=8Rl4w7g+xhGM8/MWoemp2Zm3f/oLmpUvpzf 9ClTbJnE=; b=VQyhSDvnEUz8RQ3vn7r7ncYGQuBieCswEFMemAP3j7lHY3rKk8d hU1ziAZDWvUwrpHLgNSvtYxRpzzzGwxptBbDf7os5AMKHd0nB2EDqi3XHJeWQ3cE bXIr9M9MyJ6tzm589UnTH3g3HF15nLZtstOHUItZBTDCNUVUar4L2WQw= X-Virus-Scanned: amavisd-new at lists.nasa.gov Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10026) with LMTP id W4pDkNU0cLa9; Sun, 14 Apr 2019 00:44:16 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 8DAFD1DEE1; Sun, 14 Apr 2019 00:44:03 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 27ACA12B46 for ; Sun, 14 Apr 2019 00:44:01 -0400 (EDT) X-Virus-Scanned: amavisd-new at lists.nasa.gov Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with LMTP id qnY1SsW-Obwq for ; Sun, 14 Apr 2019 00:43:59 -0400 (EDT) Received: from mail-vk1-xa2f.google.com (mail-vk1-xa2f.google.com [IPv6:2607:f8b0:4864:20::a2f]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by lists.nasa.gov (Postfix) with ESMTPS id 3F06411DCD for ; Sun, 14 Apr 2019 00:43:59 -0400 (EDT) Received: by mail-vk1-xa2f.google.com with SMTP id d15so2977947vka.8 for ; Sat, 13 Apr 2019 21:43:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=iastate.edu; s=google20150603; h=from:subject:to:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=nCwOAfJJJRuYRWeeGFS9sgBEdVZ6mcPHba/SnsZ3TwI=; b=GW/T4U5sX2T4bbvmIwYH871TtMQBhLZica4kPQgIJW6f8obHHyyU7Jkrl0kC77re1O 0/+ag6oPpmuzwRg5LVU1RMcGop3a3neDD8WaMEp0eng0YeJiYMEuv0aKuLDl8xB/ADjW 9Pl9zBSOey3nI4q70Wu/RLf1QdsLzKKUMGZC8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=nCwOAfJJJRuYRWeeGFS9sgBEdVZ6mcPHba/SnsZ3TwI=; b=P1L5KXJHi5YOhUHbwnCx3IdVafu0ksD6MX8tFSh4oWj7HfVZNY96NwEHinshHsXz+h m3CM4LRT805I7N4koRKA03nVn29O0oBM+37Dic5euPLhEbe+O5OMFFFCSF6A0mhyBPr5 3yPVlgxpvUaq0Jm6FDIbiCxOVpdfCIHglVkhrWwBdnUBmJeAXc68EuBEF28MLyLyT1vj 7PftaG0nhQPqDckB1Wx4dj56w1HNDSYmvNPjdQz2e7946MzgcL5XDOy2hoTSyyu+HqRR sUIeRGBglUUQw6CIy//vvulKUve0ihic0jskoG64A2W8mADvqkBb1QbLZBqmFN9Az5QG GNyA== X-Gm-Message-State: APjAAAUnAjrZeMLVbat4oJGWxBcA0XqdnEHHWMAjaLTYDWNJymBlm0Uo YXVOSqK9vs8lE7j5F6LPxXZMI7WJCpw= X-Google-Smtp-Source: APXvYqzFLz39/ZqP/H5SETfGOyb5VGkcUHcs3gKGWXvJXk+306B+LShR2TbhV+ImP5EITc9aZrNNYQ== X-Received: by 2002:a1f:1691:: with SMTP id 139mr36124079vkw.25.1555217038323; Sat, 13 Apr 2019 21:43:58 -0700 (PDT) Received: from [172.18.180.182] ([69.85.199.93]) by smtp.gmail.com with ESMTPSA id b9sm12052544vkb.23.2019.04.13.21.43.57 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 13 Apr 2019 21:43:57 -0700 (PDT) From: Kristin Yvonne Rozier To: fm-announcements@lists.nasa.gov Message-ID: Date: Sat, 13 Apr 2019 23:43:55 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 Content-Language: en-US X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.29 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" X-Validation-by: kyrozier@iastate.edu Subject: [Caml-list] [fm-announcements] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKgogwqDCoMKgwqAgVGhlIEVsZXZlbnRoIE5BU0EgRm9ybWFsIE1l dGhvZHMgU3ltcG9zaXVtCgpodHRwczovL3JvYm9uYXV0LmpzYy5uYXNhLmdv di9SMi9wYWdlcy9uZm0yMDE5Lmh0bWwKCiDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgNyAtIDkgTWF5IDIwMTkKIMKgwqDCoMKgwqDC oMKgIFJpY2UgVW5pdmVyc2l0eSwgSG91c3RvbiwgVGV4YXMsIFVTQQoqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqCgoqIE5vIHJlZ2lzdHJhdGlvbiBmZWUhICoKClRoZW1lIG9mIHRoZSBT eW1wb3NpdW06Ci0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tClRoZSB3aWRlc3By ZWFkIHVzZSBhbmQgaW5jcmVhc2luZyBjb21wbGV4aXR5IG9mIG1pc3Npb24t Y3JpdGljYWwgYW5kIApzYWZldHktY3JpdGljYWwgc3lzdGVtcyBhdCBOQVNB IGFuZCBpbiB0aGUgYWVyb3NwYWNlIGluZHVzdHJ5IHJlcXVpcmUgCmFkdmFu Y2VkIHRlY2huaXF1ZXMgdGhhdCBhZGRyZXNzIHRoZXNlIHN5c3RlbXMnIHNw ZWNpZmljYXRpb24sIGRlc2lnbiwgCnZlcmlmaWNhdGlvbiwgdmFsaWRhdGlv biwgYW5kIGNlcnRpZmljYXRpb24gcmVxdWlyZW1lbnRzLiBUaGUgTkFTQSAK Rm9ybWFsIE1ldGhvZHMgU3ltcG9zaXVtIChORk0pIGlzIGEgZm9ydW0gdG8g Zm9zdGVyIGNvbGxhYm9yYXRpb24gCmJldHdlZW4gdGhlb3JldGljaWFucyBh bmQgcHJhY3RpdGlvbmVycyBmcm9tIE5BU0EsIGFjYWRlbWlhLCBhbmQgCmlu ZHVzdHJ5LiBORk0ncyBnb2FscyBhcmUgdG8gaWRlbnRpZnkgY2hhbGxlbmdl cyBhbmQgdG8gcHJvdmlkZSAKc29sdXRpb25zIGZvciBhY2hpZXZpbmcgYXNz dXJhbmNlIGZvciBzdWNoIGNyaXRpY2FsIHN5c3RlbXMuCgpOZXcgZGV2ZWxv cG1lbnRzIGFuZCBlbWVyZ2luZyBhcHBsaWNhdGlvbnMgbGlrZSBhdXRvbm9t b3VzIHNvZnR3YXJlIGZvciAKdW5jcmV3ZWQgZGVlcCBzcGFjZSBodW1hbiBo YWJpdGF0cywgY2FyZXRha2VyIHJvYm90aWNzLCBVbm1hbm5lZCBBZXJpYWwg ClN5c3RlbXMgKFVBUyksIFVBUyBUcmFmZmljIE1hbmFnZW1lbnQgKFVUTSks IGFuZCB0aGUgbmVlZCBmb3IgCnN5c3RlbS13aWRlIGZhdWx0IGRldGVjdGlv biwgZGlhZ25vc2lzLCBhbmQgcHJvZ25vc3RpY3MgcHJvdmlkZSBuZXcgCmNo YWxsZW5nZXMgZm9yIHN5c3RlbSBzcGVjaWZpY2F0aW9uLCBkZXZlbG9wbWVu dCwgYW5kIHZlcmlmaWNhdGlvbiAKYXBwcm9hY2hlcy4gVGhlIGZvY3VzIG9m IHRoZXNlIHN5bXBvc2l1bXMgYXJlIG9uIGZvcm1hbCB0ZWNobmlxdWVzIGFu ZCAKb3RoZXIgYXBwcm9hY2hlcyBmb3Igc29mdHdhcmUgYXNzdXJhbmNlLCBp bmNsdWRpbmcgdGhlaXIgdGhlb3J5LCBjdXJyZW50IApjYXBhYmlsaXRpZXMg YW5kIGxpbWl0YXRpb25zLCBhcyB3ZWxsIGFzIHRoZWlyIHBvdGVudGlhbCBh cHBsaWNhdGlvbiB0byAKYWVyb3NwYWNlLCByb2JvdGljcywgYW5kIG90aGVy IE5BU0EtcmVsZXZhbnQgc2FmZXR5LWNyaXRpY2FsIHN5c3RlbXMgCmR1cmlu ZyBhbGwgc3RhZ2VzIG9mIHRoZSBzb2Z0d2FyZSBsaWZlLWN5Y2xlLgoKVGhl IE5BU0EgRm9ybWFsIE1ldGhvZHMgU3ltcG9zaXVtIGlzIGFuIGFubnVhbCBl dmVudCBvcmdhbml6ZWQgYnkgdGhlIApOQVNBIEZvcm1hbCBNZXRob2RzIChO Rk0pIFN0ZWVyaW5nIENvbW1pdHRlZSwgY29tcHJpc2VkIG9mIHJlc2VhcmNo ZXJzIApzcGFubmluZyBzZXZlcmFsIE5BU0EgY2VudGVycy4gTkZNIDIwMTkg CihodHRwczovL3JvYm9uYXV0LmpzYy5uYXNhLmdvdi9SMi9wYWdlcy9uZm0y MDE5Lmh0bWwpIGlzIGJlaW5nIApjby1vcmdhbml6ZWQgYnkgUmljZSBVbml2 ZXJzaXR5IGFuZCBOQVNBLSBKb2huc29uIFNwYWNlIENlbnRlciBpbiAKSG91 c3RvbiwgVFguCgoKTG9jYXRpb24gJiBDb3N0OgotLS0tLS0tLS0tLS0tLS0t ClRoZXJlIHdpbGwgYmUgbm8gcmVnaXN0cmF0aW9uIGZlZSBmb3IgcGFydGlj aXBhbnRzLiBBbGwgaW50ZXJlc3RlZCAKaW5kaXZpZHVhbHMsIGluY2x1ZGlu ZyBub24tVVMgY2l0aXplbnMsIGFyZSB3ZWxjb21lIHRvIGF0dGVuZCwgdG8g bGlzdGVuIAp0byB0aGUgdGFsa3MsIGFuZCB0byBwYXJ0aWNpcGF0ZSBpbiBk aXNjdXNzaW9uczsgaG93ZXZlciwgYWxsIGF0dGVuZGVlcyAKbXVzdCByZWdp c3Rlci4KClRoZSBzeW1wb3NpdW0gd2lsbCB0YWtlIHBsYWNlIGluIHRoZSBN Y011cnRyeSBBdWRpdG9yaXVtLCBSaWNlIApVbml2ZXJzaXR5LCBIb3VzdG9u LCBUZXhhcywgVVNBLCBNYXkgNy0tOSwgMjAxOS4gVHJhdmVsIGluZm9ybWF0 aW9uIGNhbiAKYmUgZm91bmQgYXQ6IGh0dHBzOi8vcm9ib25hdXQuanNjLm5h c2EuZ292L1IyL3BhZ2VzL25mbTIwMTkuaHRtbC4KCgpLZXlub3RlIFNwZWFr ZXJzOgotLS0tLS0tLS0tLS0tLS0tLQoqIFZpcmdpbmllIFdpZWxzLCBPTkVS QSwgRnJhbmNlCiogUmljaGFyZCBNdXJyYXksIENhbFRlY2gsIFVTQQoqIE5B U0EgUGFuZWw6IENoYWxsZW5nZXMgZm9yIEZ1dHVyZSBFeHBsb3JhdGlvbgot LSBLaW1iZXJseSBIYW1idWNoZW4sIFNwYWNlIFRlY2hub2xvZ3kgUHJpbmNp cGxlIFRlY2hub2xvZ2lzdCBmb3IgUm9ib3RpY3MKLS0gRW1pbHkgTmVsc29u LCBEZXB1dHkgQ2hpZWYsIEZsaWdodCBEaXJlY3RvciBCcmFuY2gKLS0gSm9l IENhcmFtLCBHYXRld2F5IFN5c3RlbXMgRW5naW5lZXJpbmcgYW5kIEludGVn cmF0aW9uIExlYWQKLS0gQmlsbCBPdGhvbiwgR2F0ZXdheSBWZXJpZmljYXRp b24gYW5kIFZhbGlkYXRpb24gTGVhZAoKCk9yZ2FuaXplcnM6Ci0tLS0tLS0t LS0tCk1vc2hlIFkuIFZhcmRpIChHZW5lcmFsIENoYWlyKQpKdWxpYSBCYWRn ZXIgKFBDIENoYWlyKQpLcmlzdGluIFl2b25uZSBSb3ppZXIgKFBDIENoYWly KQoKClByb2dyYW1tZSBDb21taXR0ZWU6Ci0tLS0tLS0tLS0tLS0tLS0tLS0t CkVyaWthIMOBYnJhaMOhbSwgUldUSCBBYWNoZW4gVW5pdmVyc2l0eSwgR2Vy bWFueQpEaXJrIEJleWVyLCBMTVUgTXVuaWNoLCBHZXJtYW55CkFybWluIEJp ZXJlLCBKb2hhbm5lcyBLZXBsZXIgVW5pdmVyc2l0eSBMaW56LCBBdXN0cmlh Ck5pa29sYWogQmpvcm5lciwgTWljcm9zb2Z0LCBVU0EKU3lsdmllIEJvbGRv LCBJTlJJQSwgRnJhbmNlCkpvbmF0aGFuIEJvd2VuLCBMb25kb24gU291dGgg QmFuayBVbml2ZXJzaXR5LCBVSwpHaWFuZnJhbmNvIENpYXJkbywgSW93YSBT dGF0ZSBVbml2ZXJzaXR5LCBVUwpEYXJyZW4gQ29mZXIsIFJvY2t3ZWxsIENv bGxpbnMsIFVTQQpGcmVkZXJpYyBEYWRlYXUsIEZFTVRPLVNULCBGcmFuY2UK RXdlbiBEZW5uZXksIE5BU0EsIFVTCkdpbGxlcyBEb3dlaywgSU5SSUEgYW5k IEVOUyBQYXJpcy1TYWNsYXksIEZyYW5jZQpTdGV2ZW4gRHJhZ2VyLCBBRlJM LCBVUwpDYXRoZXJpbmUgRHVib2lzLCBFTlNJSUUtU2Ftb3ZhciwgRnJhbmNl CkFsZXhhbmRyZSBEdXJldC1MdXR6LCBMUkRFL0VQSVRBLCBGcmFuY2UKQWFy b24gRHV0bGUsIE5BU0EsIFVTCk1hcmNvIEdhcmlvLCBTaWVtZW5zIENvcnBv cmF0ZSBUZWNobm9sb2d5LCBVU0EKQWx3eW4gR29vZGxvZSwgTkFTQSwgVVMK QXJpZSBHdXJmaW5rZWwsIFVuaXZlcnNpdHkgb2YgV2F0ZXJsb28sIENhbmFk YQpKb2huIEhhcnJpc29uLCBBbWF6b24gV2ViIFNlcnZpY2VzLCBVU0EKS2xh dXMgSGF2ZWx1bmQsIEpQTC9OQVNBLCBVU0EKQ29uc3RhbmNlIEhlaXRtZXll ciwgTmF2YWwgUmVzZWFyY2ggTGFib3JhdG9yeSwgVVNBCk1hcmlla2UgSHVp c21hbiwgVW5pdmVyc2l0eSBvZiBUd2VudGUsIFRoZSBOZXRoZXJsYW5kcwpT aGFmYWdoIEphZmVyLCBFbWJyeS1SaWRkbGUgVW5pdmVyc2l0eSwgVVNBClhp YW9xaW5nIEppbiwgVG95b3RhIFRlY2huaWNhbCBDZW50ZXIsIFVTQQpSYWpl ZXYgSm9zaGksIEpQTC9OQVNBLCBVU0EKTGF1cmEgS292YWNzLCBWaWVubmEg VW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBBdXN0cmlhCkpvZSBMZXNsaWUt SHVyZCwgSW50ZWwsIFVTClBhbmFnaW90aXMgTWFub2xpb3MsIE5vcnRoZWFz dGVybiBVbml2ZXJzaXR5LCBVU0EKQ3Jpc3RpYW4gTWF0dGFyZWksIFN0YW5m b3JkIFVuaXZlcnNpdHksIFVTClN0ZWZhbiBNaXRzY2gsIENhcm5lZ2llIE1l bGxvbiBVbml2ZXJzaXR5LCBVUwpDZXNhciBNdW5veiwgTkFTQSwgVVMKQW50 aG9ueSBOYXJrYXdpY3osIE5BU0EsIFVTCk5lY21peWUgT3pheSwgVW5pdmVy c2l0eSBvZiBNaWNoaWdhbiwgVVNBCkNvcmluYSBQYXNhcmVhbnUsIENNVS9O QVNBLCBVU0EKTGVlIFBpa2UsIFVTQQpKb2hhbm4gU2NodW1hbm4sIFNHVCwg VVNBCkNyaXN0aW5hIFNlY2VsZWFudSwgTWFsYXJkYWxlbiBVbml2ZXJzaXR5 LCBTd2VkZW4KQmVybmhhcmQgU3RlZmZlbiwgVW5pdmVyc2l0eSBvZiBEb3J0 bXVuZCwgR2VybWFueQpTdGVmYW5vIFRvbmV0dGEsIEZCSy1JUlNULCBJdGFs eQpVZnVrIFRvcGN1LCBVbml2ZXJzaXR5IG9mIFRleGFzIGF0IEF1c3Rpbiwg VVNBCkNocmlzdG9waCBUb3JlbnMsIEdlcm1hbiBBZXJvc3BhY2UgQ2VudGVy LCBHZXJtYW55Ck1pY2hhZWwgV2F0c29uLCBOQVNBLCBVU0EKSHVhbiBYdSwg VW5pdmVyc2l0eSBvZiBNYXJ5bGFuZCwgVVMKCi0tIAogIF9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgX18K ICAgICAgICAgICAgL1wgICAgICAgICAgICAgICAgICAgICAgIFwgXF9fX19f CiAgICAgICAgICAgLyAgXCAgICAgICAgICAgICAgICAgICAjIyNbPT1fX19f Xz4KICAgICAgICAgIC8gICAgXCAgICAgICAgICAgICAgICAgICAgIC9fLyAg ICAgIF9fCiAgICAgICAgIC8gIF9fICBcICAgICAgICAgICAgICAgICAgICAg ICAgICAgICBcIFxfX19fXwogICAgICAgICB8ICggICkgfCAgICAgICAgICAg ICAgICAgICAgICAgICAgIyMjWz09X19fX18+CiAgICAgICAgL3wgL1wvXCB8 XCAgICAgICAgICAgICAgICAgICAgICAgICAgICAvXy8KICAgICAgIC8gfCB8 ICB8IHwgXAogICAgICAvICB8PXw9PXw9fCAgXCAgICAgICBLcmlzdGluIFl2 b25uZSBSb3ppZXIsIFBoLkQuCiAgICAvICAgIHwgfCAgfCB8ICAgIFwgICAg ICAgQXNzdCBQcm9mZXNzb3IsIElvd2EgU3RhdGUgVW5pdmVyc2l0eQogICAv IFVTQSB8IH58fH4gfE5BU0EgXCAgICBEZXBhcnRtZW50cyBvZiBBZXJvc3Bh Y2UgRW5naW5lZXJpbmcsCiAgfF9fX19fX3wgIH5+ICB8X19fX19ffCAgICAg Q29tcHV0ZXIgU2NpZW5jZSwgTWF0aGVtYXRpY3MsIGFuZAogICAgICAgICAo X198fF9fKSAgICAgICAgICAgIEVsZWN0cmljYWwgYW5kIENvbXB1dGVyIEVu Z2luZWVyaW5nCiAgICAgICAgIC9fXCAgL19cICAgICAgICAgIFZpcnR1YWwg UmVhbGl0eSBBcHBsaWNhdGlvbnMgQ2VudGVyCiAgICAgICAgICEhISAgISEh aHR0cDovL3RlbXBvcmFsbG9naWMub3JnL2t5cgogICAgICAgICAgICAgICAg ICAgICAgICAgICAKCi0tLQpUbyBvcHQtb3V0IGZyb20gdGhpcyBtYWlsaW5n IGxpc3QsIHNlbmQgYW4gZW1haWwgdG8KCmZtLWFubm91bmNlbWVudHMtcmVx dWVzdEBsaXN0cy5uYXNhLmdvdgoKd2l0aCB0aGUgd29yZCAndW5zdWJzY3Jp YmUnIGFzIHN1YmplY3Qgb3IgaW4gdGhlIGJvZHkuIFlvdSBjYW4gYWxzbyBt YWtlIHRoZSByZXF1ZXN0IGJ5IGNvbnRhY3RpbmcKCmZtLWFubm91bmNlbWVu dHMtb3duZXJAbGlzdHMubmFzYS5nb3YgCg==