From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 2ECBB5D4 for ; Sun, 14 Apr 2019 20:17:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,350,1549926000"; d="scan'208";a="378578414" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Apr 2019 22:17:43 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D1DEC82691; Sun, 14 Apr 2019 22:17:43 +0200 (CEST) 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 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-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 Reply-To: Kristin Yvonne Rozier X-Loop: caml-list@inria.fr X-Sequence: 17489 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKgogwqDC oMKgwqAgVGhlIEVsZXZlbnRoIE5BU0EgRm9ybWFsIE1ldGhvZHMgU3ltcG9zaXVtCgpodHRwczov L3JvYm9uYXV0LmpzYy5uYXNhLmdvdi9SMi9wYWdlcy9uZm0yMDE5Lmh0bWwKCiDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgNyAtIDkgTWF5IDIwMTkKIMKgwqDCoMKgwqDCoMKg IFJpY2UgVW5pdmVyc2l0eSwgSG91c3RvbiwgVGV4YXMsIFVTQQoqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgoqIE5vIHJlZ2lzdHJhdGlvbiBmZWUh ICoKClRoZW1lIG9mIHRoZSBTeW1wb3NpdW06Ci0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tClRoZSB3 aWRlc3ByZWFkIHVzZSBhbmQgaW5jcmVhc2luZyBjb21wbGV4aXR5IG9mIG1pc3Npb24tY3JpdGlj YWwgYW5kIApzYWZldHktY3JpdGljYWwgc3lzdGVtcyBhdCBOQVNBIGFuZCBpbiB0aGUgYWVyb3Nw YWNlIGluZHVzdHJ5IHJlcXVpcmUgCmFkdmFuY2VkIHRlY2huaXF1ZXMgdGhhdCBhZGRyZXNzIHRo ZXNlIHN5c3RlbXMnIHNwZWNpZmljYXRpb24sIGRlc2lnbiwgCnZlcmlmaWNhdGlvbiwgdmFsaWRh dGlvbiwgYW5kIGNlcnRpZmljYXRpb24gcmVxdWlyZW1lbnRzLiBUaGUgTkFTQSAKRm9ybWFsIE1l dGhvZHMgU3ltcG9zaXVtIChORk0pIGlzIGEgZm9ydW0gdG8gZm9zdGVyIGNvbGxhYm9yYXRpb24g CmJldHdlZW4gdGhlb3JldGljaWFucyBhbmQgcHJhY3RpdGlvbmVycyBmcm9tIE5BU0EsIGFjYWRl bWlhLCBhbmQgCmluZHVzdHJ5LiBORk0ncyBnb2FscyBhcmUgdG8gaWRlbnRpZnkgY2hhbGxlbmdl cyBhbmQgdG8gcHJvdmlkZSAKc29sdXRpb25zIGZvciBhY2hpZXZpbmcgYXNzdXJhbmNlIGZvciBz dWNoIGNyaXRpY2FsIHN5c3RlbXMuCgpOZXcgZGV2ZWxvcG1lbnRzIGFuZCBlbWVyZ2luZyBhcHBs aWNhdGlvbnMgbGlrZSBhdXRvbm9tb3VzIHNvZnR3YXJlIGZvciAKdW5jcmV3ZWQgZGVlcCBzcGFj ZSBodW1hbiBoYWJpdGF0cywgY2FyZXRha2VyIHJvYm90aWNzLCBVbm1hbm5lZCBBZXJpYWwgClN5 c3RlbXMgKFVBUyksIFVBUyBUcmFmZmljIE1hbmFnZW1lbnQgKFVUTSksIGFuZCB0aGUgbmVlZCBm b3IgCnN5c3RlbS13aWRlIGZhdWx0IGRldGVjdGlvbiwgZGlhZ25vc2lzLCBhbmQgcHJvZ25vc3Rp Y3MgcHJvdmlkZSBuZXcgCmNoYWxsZW5nZXMgZm9yIHN5c3RlbSBzcGVjaWZpY2F0aW9uLCBkZXZl bG9wbWVudCwgYW5kIHZlcmlmaWNhdGlvbiAKYXBwcm9hY2hlcy4gVGhlIGZvY3VzIG9mIHRoZXNl IHN5bXBvc2l1bXMgYXJlIG9uIGZvcm1hbCB0ZWNobmlxdWVzIGFuZCAKb3RoZXIgYXBwcm9hY2hl cyBmb3Igc29mdHdhcmUgYXNzdXJhbmNlLCBpbmNsdWRpbmcgdGhlaXIgdGhlb3J5LCBjdXJyZW50 IApjYXBhYmlsaXRpZXMgYW5kIGxpbWl0YXRpb25zLCBhcyB3ZWxsIGFzIHRoZWlyIHBvdGVudGlh bCBhcHBsaWNhdGlvbiB0byAKYWVyb3NwYWNlLCByb2JvdGljcywgYW5kIG90aGVyIE5BU0EtcmVs ZXZhbnQgc2FmZXR5LWNyaXRpY2FsIHN5c3RlbXMgCmR1cmluZyBhbGwgc3RhZ2VzIG9mIHRoZSBz b2Z0d2FyZSBsaWZlLWN5Y2xlLgoKVGhlIE5BU0EgRm9ybWFsIE1ldGhvZHMgU3ltcG9zaXVtIGlz IGFuIGFubnVhbCBldmVudCBvcmdhbml6ZWQgYnkgdGhlIApOQVNBIEZvcm1hbCBNZXRob2RzIChO Rk0pIFN0ZWVyaW5nIENvbW1pdHRlZSwgY29tcHJpc2VkIG9mIHJlc2VhcmNoZXJzIApzcGFubmlu ZyBzZXZlcmFsIE5BU0EgY2VudGVycy4gTkZNIDIwMTkgCihodHRwczovL3JvYm9uYXV0LmpzYy5u YXNhLmdvdi9SMi9wYWdlcy9uZm0yMDE5Lmh0bWwpIGlzIGJlaW5nIApjby1vcmdhbml6ZWQgYnkg UmljZSBVbml2ZXJzaXR5IGFuZCBOQVNBLSBKb2huc29uIFNwYWNlIENlbnRlciBpbiAKSG91c3Rv biwgVFguCgoKTG9jYXRpb24gJiBDb3N0OgotLS0tLS0tLS0tLS0tLS0tClRoZXJlIHdpbGwgYmUg bm8gcmVnaXN0cmF0aW9uIGZlZSBmb3IgcGFydGljaXBhbnRzLiBBbGwgaW50ZXJlc3RlZCAKaW5k aXZpZHVhbHMsIGluY2x1ZGluZyBub24tVVMgY2l0aXplbnMsIGFyZSB3ZWxjb21lIHRvIGF0dGVu ZCwgdG8gbGlzdGVuIAp0byB0aGUgdGFsa3MsIGFuZCB0byBwYXJ0aWNpcGF0ZSBpbiBkaXNjdXNz aW9uczsgaG93ZXZlciwgYWxsIGF0dGVuZGVlcyAKbXVzdCByZWdpc3Rlci4KClRoZSBzeW1wb3Np dW0gd2lsbCB0YWtlIHBsYWNlIGluIHRoZSBNY011cnRyeSBBdWRpdG9yaXVtLCBSaWNlIApVbml2 ZXJzaXR5LCBIb3VzdG9uLCBUZXhhcywgVVNBLCBNYXkgNy0tOSwgMjAxOS4gVHJhdmVsIGluZm9y bWF0aW9uIGNhbiAKYmUgZm91bmQgYXQ6IGh0dHBzOi8vcm9ib25hdXQuanNjLm5hc2EuZ292L1Iy L3BhZ2VzL25mbTIwMTkuaHRtbC4KCgpLZXlub3RlIFNwZWFrZXJzOgotLS0tLS0tLS0tLS0tLS0t LQoqIFZpcmdpbmllIFdpZWxzLCBPTkVSQSwgRnJhbmNlCiogUmljaGFyZCBNdXJyYXksIENhbFRl Y2gsIFVTQQoqIE5BU0EgUGFuZWw6IENoYWxsZW5nZXMgZm9yIEZ1dHVyZSBFeHBsb3JhdGlvbgot LSBLaW1iZXJseSBIYW1idWNoZW4sIFNwYWNlIFRlY2hub2xvZ3kgUHJpbmNpcGxlIFRlY2hub2xv Z2lzdCBmb3IgUm9ib3RpY3MKLS0gRW1pbHkgTmVsc29uLCBEZXB1dHkgQ2hpZWYsIEZsaWdodCBE aXJlY3RvciBCcmFuY2gKLS0gSm9lIENhcmFtLCBHYXRld2F5IFN5c3RlbXMgRW5naW5lZXJpbmcg YW5kIEludGVncmF0aW9uIExlYWQKLS0gQmlsbCBPdGhvbiwgR2F0ZXdheSBWZXJpZmljYXRpb24g YW5kIFZhbGlkYXRpb24gTGVhZAoKCk9yZ2FuaXplcnM6Ci0tLS0tLS0tLS0tCk1vc2hlIFkuIFZh cmRpIChHZW5lcmFsIENoYWlyKQpKdWxpYSBCYWRnZXIgKFBDIENoYWlyKQpLcmlzdGluIFl2b25u ZSBSb3ppZXIgKFBDIENoYWlyKQoKClByb2dyYW1tZSBDb21taXR0ZWU6Ci0tLS0tLS0tLS0tLS0t LS0tLS0tCkVyaWthIMOBYnJhaMOhbSwgUldUSCBBYWNoZW4gVW5pdmVyc2l0eSwgR2VybWFueQpE aXJrIEJleWVyLCBMTVUgTXVuaWNoLCBHZXJtYW55CkFybWluIEJpZXJlLCBKb2hhbm5lcyBLZXBs ZXIgVW5pdmVyc2l0eSBMaW56LCBBdXN0cmlhCk5pa29sYWogQmpvcm5lciwgTWljcm9zb2Z0LCBV U0EKU3lsdmllIEJvbGRvLCBJTlJJQSwgRnJhbmNlCkpvbmF0aGFuIEJvd2VuLCBMb25kb24gU291 dGggQmFuayBVbml2ZXJzaXR5LCBVSwpHaWFuZnJhbmNvIENpYXJkbywgSW93YSBTdGF0ZSBVbml2 ZXJzaXR5LCBVUwpEYXJyZW4gQ29mZXIsIFJvY2t3ZWxsIENvbGxpbnMsIFVTQQpGcmVkZXJpYyBE YWRlYXUsIEZFTVRPLVNULCBGcmFuY2UKRXdlbiBEZW5uZXksIE5BU0EsIFVTCkdpbGxlcyBEb3dl aywgSU5SSUEgYW5kIEVOUyBQYXJpcy1TYWNsYXksIEZyYW5jZQpTdGV2ZW4gRHJhZ2VyLCBBRlJM LCBVUwpDYXRoZXJpbmUgRHVib2lzLCBFTlNJSUUtU2Ftb3ZhciwgRnJhbmNlCkFsZXhhbmRyZSBE dXJldC1MdXR6LCBMUkRFL0VQSVRBLCBGcmFuY2UKQWFyb24gRHV0bGUsIE5BU0EsIFVTCk1hcmNv IEdhcmlvLCBTaWVtZW5zIENvcnBvcmF0ZSBUZWNobm9sb2d5LCBVU0EKQWx3eW4gR29vZGxvZSwg TkFTQSwgVVMKQXJpZSBHdXJmaW5rZWwsIFVuaXZlcnNpdHkgb2YgV2F0ZXJsb28sIENhbmFkYQpK b2huIEhhcnJpc29uLCBBbWF6b24gV2ViIFNlcnZpY2VzLCBVU0EKS2xhdXMgSGF2ZWx1bmQsIEpQ TC9OQVNBLCBVU0EKQ29uc3RhbmNlIEhlaXRtZXllciwgTmF2YWwgUmVzZWFyY2ggTGFib3JhdG9y eSwgVVNBCk1hcmlla2UgSHVpc21hbiwgVW5pdmVyc2l0eSBvZiBUd2VudGUsIFRoZSBOZXRoZXJs YW5kcwpTaGFmYWdoIEphZmVyLCBFbWJyeS1SaWRkbGUgVW5pdmVyc2l0eSwgVVNBClhpYW9xaW5n IEppbiwgVG95b3RhIFRlY2huaWNhbCBDZW50ZXIsIFVTQQpSYWplZXYgSm9zaGksIEpQTC9OQVNB LCBVU0EKTGF1cmEgS292YWNzLCBWaWVubmEgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBBdXN0 cmlhCkpvZSBMZXNsaWUtSHVyZCwgSW50ZWwsIFVTClBhbmFnaW90aXMgTWFub2xpb3MsIE5vcnRo ZWFzdGVybiBVbml2ZXJzaXR5LCBVU0EKQ3Jpc3RpYW4gTWF0dGFyZWksIFN0YW5mb3JkIFVuaXZl cnNpdHksIFVTClN0ZWZhbiBNaXRzY2gsIENhcm5lZ2llIE1lbGxvbiBVbml2ZXJzaXR5LCBVUwpD ZXNhciBNdW5veiwgTkFTQSwgVVMKQW50aG9ueSBOYXJrYXdpY3osIE5BU0EsIFVTCk5lY21peWUg T3pheSwgVW5pdmVyc2l0eSBvZiBNaWNoaWdhbiwgVVNBCkNvcmluYSBQYXNhcmVhbnUsIENNVS9O QVNBLCBVU0EKTGVlIFBpa2UsIFVTQQpKb2hhbm4gU2NodW1hbm4sIFNHVCwgVVNBCkNyaXN0aW5h IFNlY2VsZWFudSwgTWFsYXJkYWxlbiBVbml2ZXJzaXR5LCBTd2VkZW4KQmVybmhhcmQgU3RlZmZl biwgVW5pdmVyc2l0eSBvZiBEb3J0bXVuZCwgR2VybWFueQpTdGVmYW5vIFRvbmV0dGEsIEZCSy1J UlNULCBJdGFseQpVZnVrIFRvcGN1LCBVbml2ZXJzaXR5IG9mIFRleGFzIGF0IEF1c3RpbiwgVVNB CkNocmlzdG9waCBUb3JlbnMsIEdlcm1hbiBBZXJvc3BhY2UgQ2VudGVyLCBHZXJtYW55Ck1pY2hh ZWwgV2F0c29uLCBOQVNBLCBVU0EKSHVhbiBYdSwgVW5pdmVyc2l0eSBvZiBNYXJ5bGFuZCwgVVMK Ci0tIAogIF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fXwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgX18KICAgICAg ICAgICAgL1wgICAgICAgICAgICAgICAgICAgICAgIFwgXF9fX19fCiAgICAgICAgICAgLyAgXCAg ICAgICAgICAgICAgICAgICAjIyNbPT1fX19fXz4KICAgICAgICAgIC8gICAgXCAgICAgICAgICAg ICAgICAgICAgIC9fLyAgICAgIF9fCiAgICAgICAgIC8gIF9fICBcICAgICAgICAgICAgICAgICAg ICAgICAgICAgICBcIFxfX19fXwogICAgICAgICB8ICggICkgfCAgICAgICAgICAgICAgICAgICAg ICAgICAgIyMjWz09X19fX18+CiAgICAgICAgL3wgL1wvXCB8XCAgICAgICAgICAgICAgICAgICAg ICAgICAgICAvXy8KICAgICAgIC8gfCB8ICB8IHwgXAogICAgICAvICB8PXw9PXw9fCAgXCAgICAg ICBLcmlzdGluIFl2b25uZSBSb3ppZXIsIFBoLkQuCiAgICAvICAgIHwgfCAgfCB8ICAgIFwgICAg ICAgQXNzdCBQcm9mZXNzb3IsIElvd2EgU3RhdGUgVW5pdmVyc2l0eQogICAvIFVTQSB8IH58fH4g fE5BU0EgXCAgICBEZXBhcnRtZW50cyBvZiBBZXJvc3BhY2UgRW5naW5lZXJpbmcsCiAgfF9fX19f X3wgIH5+ICB8X19fX19ffCAgICAgQ29tcHV0ZXIgU2NpZW5jZSwgTWF0aGVtYXRpY3MsIGFuZAog ICAgICAgICAoX198fF9fKSAgICAgICAgICAgIEVsZWN0cmljYWwgYW5kIENvbXB1dGVyIEVuZ2lu ZWVyaW5nCiAgICAgICAgIC9fXCAgL19cICAgICAgICAgIFZpcnR1YWwgUmVhbGl0eSBBcHBsaWNh dGlvbnMgQ2VudGVyCiAgICAgICAgICEhISAgISEhaHR0cDovL3RlbXBvcmFsbG9naWMub3JnL2t5 cgogICAgICAgICAgICAgICAgICAgICAgICAgICAKCi0tLQpUbyBvcHQtb3V0IGZyb20gdGhpcyBt YWlsaW5nIGxpc3QsIHNlbmQgYW4gZW1haWwgdG8KCmZtLWFubm91bmNlbWVudHMtcmVxdWVzdEBs aXN0cy5uYXNhLmdvdgoKd2l0aCB0aGUgd29yZCAndW5zdWJzY3JpYmUnIGFzIHN1YmplY3Qgb3Ig aW4gdGhlIGJvZHkuIFlvdSBjYW4gYWxzbyBtYWtlIHRoZSByZXF1ZXN0IGJ5IGNvbnRhY3RpbmcK CmZtLWFubm91bmNlbWVudHMtb3duZXJAbGlzdHMubmFzYS5nb3YgCg==