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 sympa.inria.fr (Postfix) with ESMTPS id B42977F61D; Wed, 26 Oct 2016 09:53:38 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=Peter.Hoefner@data61.csiro.au; spf=Pass smtp.mailfrom=prvs=10020b7d6=Peter.Hoefner@data61.csiro.au; spf=None smtp.helo=postmaster@vic-MTAout5.csiro.au Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Peter.Hoefner@data61.csiro.au designates 150.229.64.42 as permitted sender) identity=pra; client-ip=150.229.64.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="prvs=10020b7d6=Peter.Hoefner@data61.csiro.au"; x-sender="Peter.Hoefner@data61.csiro.au"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of prvs=10020b7d6=Peter.Hoefner@data61.csiro.au designates 150.229.64.42 as permitted sender) identity=mailfrom; client-ip=150.229.64.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="prvs=10020b7d6=Peter.Hoefner@data61.csiro.au"; x-sender="prvs=10020b7d6=Peter.Hoefner@data61.csiro.au"; 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@vic-MTAout5.csiro.au) identity=helo; client-ip=150.229.64.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="prvs=10020b7d6=Peter.Hoefner@data61.csiro.au"; x-sender="postmaster@vic-MTAout5.csiro.au"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AhMdiSxZpFCqZfeK39PsYea//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsW8bnLW6fgltlLVR4KTs6sC0LuM9f6wEjVav97B6ClEK8McEUddyI?= =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx/KejLjrvsWKK0UR2XvuKY91eUGOoBncrI82hoZsLKsr4hfAvnIWIq?= =?us-ascii?q?Jd3mJyIhSagkCvyN23+cs3yylMtuhn18lNX6P3ZYw0RKBRUm1gOHs0/sqtvASV?= =?us-ascii?q?HljH3WcVTmhDykkAOAPC9hyvB8r8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BYdgD0XxBYeipA5ZZcHRgHCwEBFgEBB?= =?us-ascii?q?QEBglwWAQEBAQFnDm0BAQ6IHJt5gnWPWYIPgjCCRYFvgUccgWRBEgEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBCwsLBR8wQhKBXwQDAxWCFx0GHQEBJhIRAQZBAwIEMBQTBBOIUwINl?= =?us-ascii?q?W6cT2eESQEBBYguAQEBAQEBGAiIOggBhAuCZyMugh8LLSyCL5oaAYYsiXSQBIx?= =?us-ascii?q?3hBQlCoYKcoIWhBgyAgyBeAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BYdgD0XxBYeipA5ZZcHRgHCwEBFgEBBQEBglwWAQEBAQF?= =?us-ascii?q?nDm0BAQ6IHJt5gnWPWYIPgjCCRYFvgUccgWRBEgEBAQEBAQEBAQEBEgEBCwsLB?= =?us-ascii?q?R8wQhKBXwQDAxWCFx0GHQEBJhIRAQZBAwIEMBQTBBOIUwINlW6cT2eESQEBBYg?= =?us-ascii?q?uAQEBAQEBGAiIOggBhAuCZyMugh8LLSyCL5oaAYYsiXSQBIx3hBQlCoYKcoIWh?= =?us-ascii?q?BgyAgyBeAEBAQ?= X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.31,549,1473112800"; d="scan'208,217";a="242386532" Received: from vic-mtaout5.csiro.au ([150.229.64.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Oct 2016 09:53:34 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=data61.csiro.au; i=@data61.csiro.au; q=dns/txt; s=dkim; t=1477468416; x=1509004416; h=from:to:subject:date:message-id:mime-version; bh=QMu4Ek+3JmSU1GrMLARacob6tCMDxiXZzRZySngFY2E=; b=Fx+0fGI11nqiw7QMvTCmu2prMChXnNf98F4p05f9OUIdWiqJS/Xvhb5Y 1Uuws6mItZ41+MYhcZ0lWOKodGXHvq5g+0eIPCQZq7L7ZCiSGz+D9n6Hh vbN26ZZkf8++95euaL1lrdfMHA5wxawJFXNkmxlCmIW6b6v1+DZik0HTU 8=; X-SBRS: None X-IronPort-AV: E=Sophos;i="5.31,549,1473084000"; d="scan'208,217";a="72227584" Received: from exch1-cdc.nexus.csiro.au ([IPv6:2405:b000:601:13::247:31]) by vic-ironport-int.csiro.au with ESMTP/TLS/AES256-SHA; 26 Oct 2016 18:53:25 +1100 Received: from exch3-cdc.nexus.csiro.au (2405:b000:601:13::247:33) by exch1-cdc.nexus.csiro.au (2405:b000:601:13::247:31) with Microsoft SMTP Server (TLS) id 15.0.1178.4; Wed, 26 Oct 2016 18:53:25 +1100 Received: from exch3-cdc.nexus.csiro.au ([fe80::904e:bd90:e203:e87b]) by exch3-cdc.nexus.csiro.au ([fe80::904e:bd90:e203:e87b%17]) with mapi id 15.00.1178.000; Wed, 26 Oct 2016 18:53:25 +1100 From: To: Thread-Topic: MARS 2017 - Models for Formal Analysis of Real Systems Thread-Index: AQHSL14H8tfDKgMke06kCxpD2itQKw== Date: Wed, 26 Oct 2016 07:53:25 +0000 Message-ID: Accept-Language: en-AU, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3226) x-ms-exchange-messagesentrepresentingtype: 1 x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [2405:b000:601:170::2:4] Content-Type: multipart/alternative; boundary="_000_F61BB40F01B34B5D920413E76C903CDAdata61csiroau_" MIME-Version: 1.0 X-Validation-by: peter.hoefner@data61.csiro.au Subject: [Caml-list] CfP: MARS 2017 - Models for Formal Analysis of Real Systems --_000_F61BB40F01B34B5D920413E76C903CDAdata61csiroau_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Rmlyc3QgQ2FsbCBmb3IgUGFwZXJzOg0KDQogICAgICAgICAgICAgICAgICAg ICAgICAgICAgIFdvcmtzaG9wIG9uDQogICAgICAgICAgICAgIE1vZGVscyBm b3IgRm9ybWFsIEFuYWx5c2lzIG9mIFJlYWwgU3lzdGVtcw0KICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAoTUFSUyAyMDE3KQ0KDQogICAgICAgICAg ICAgICAgICAgICAgIEFmZmlsaWF0ZWQgV2l0aCBFVEFQUyAyMDE3DQoNCiAg ICAgICAgICAgICAgICAgICAgIEFwcmlsIDI5LCAyMDE3IFVwcHNhbGEsIFN3 ZWRlbg0KDQogICAgICAgICAgICAgICAgICAgaHR0cDovL21hcnMtd29ya3No b3Aub3JnL21hcnMyMDE3Lw0KDQpBSU06DQpMb2dpY3MgYW5kIHRlY2huaXF1 ZXMgZm9yIGF1dG9tYXRlZCByZWFzb25pbmcgaGF2ZSBvZnRlbiBiZWVuDQpk ZXZlbG9wZWQgd2l0aCBmb3JtYWwgYW5hbHlzaXMgYW5kIGZvcm1hbCB2ZXJp ZmljYXRpb24gaW4gbWluZC4NClRvIHNob3cgYXBwbGljYWJpbGl0eSwgdG95 IGV4YW1wbGVzIG9yIHRpbnkgY2FzZSBzdHVkaWVzIGFyZQ0KdHlwaWNhbGx5 IHByZXNlbnRlZCBpbiByZXNlYXJjaCBwYXBlcnMuIFNpbmNlIHRoZSB0aGVv cnkgbmVlZHMNCnRvIGJlIGRldmVsb3BlZCBmaXJzdCwgdGhpcyBhcHByb2Fj aCBpcyByZWFzb25hYmxlLg0KICAgSG93ZXZlciwgdG8gc2hvdyB0aGF0IGEg ZGV2ZWxvcGVkIGFwcHJvYWNoIGFjdHVhbGx5IHNjYWxlcyB0bw0KcmVhbCBz eXN0ZW1zLCBsYXJnZSBjYXNlIHN0dWRpZXMgYXJlIGVzc2VudGlhbC4gVGhl IGRldmVsb3BtZW50DQpvZiBmb3JtYWwgbW9kZWxzIG9mIHJlYWwgc3lzdGVt cyB1c3VhbGx5IHJlcXVpcmVzIGEgcGVyZmVjdA0KdW5kZXJzdGFuZGluZyBv ZiBpbmZvcm1hbCBkZXNjcmlwdGlvbnMgb2YgdGhlIHN5c3RlbcOi4oKs4oCd c29tZXRpbWVzDQpmb3VuZCBpbiBSRkNzIG9yIG90aGVyIHN0YW5kYXJkIGRv Y3VtZW50c8Oi4oKs4oCdd2hpY2ggYXJlIHVzdWFsbHkganVzdA0Kd3JpdHRl biBpbiBFbmdsaXNoLiBCYXNlZCBvbiB0aGUgdHlwZSBvZiBzeXN0ZW0sIGFu IGFkZXF1YXRlDQpzcGVjaWZpY2F0aW9uIGZvcm1hbGlzbSBuZWVkcyB0byBi ZSBjaG9zZW4sIGFuZCB0aGUgaW5mb3JtYWwNCnNwZWNpZmljYXRpb24gdHJh bnNsYXRlZCBpbnRvIGl0LiBBYnN0cmFjdGlvbiBmcm9tIHVuaW1wb3J0YW50 DQpkZXRhaWxzIHRoZW4geWllbGRzIGFuIGFjY3VyYXRlLCBmb3JtYWwgbW9k ZWwgb2YgdGhlIHJlYWwgc3lzdGVtLg0KICAgVGhlIHByb2Nlc3Mgb2YgZGV2 ZWxvcGluZyBhIGRldGFpbGVkIGFuZCBhY2N1cmF0ZSBtb2RlbCB1c3VhbGx5 DQp0YWtlcyBhIGxhcmdlIGFtb3VudCBvZiB0aW1lLCBvZnRlbiBtb250aHMg b3IgeWVhcnM7IHdpdGhvdXQgZXZlbg0Kc3RhcnRpbmcgYSBmb3JtYWwgYW5h bHlzaXMuIFdoZW4gcHVibGlzaGluZyB0aGUgcmVzdWx0cyBvbiBhIGZvcm1h bA0KYW5hbHlzaXMgaW4gYSBzY2llbnRpZmljIHBhcGVyLCBkZXRhaWxzIG9m IHRoZSBtb2RlbCBoYXZlIHRvIGJlIHNraXBwZWQNCmR1ZSB0byBsYWNrIG9m IHNwYWNlLCBhbmQgb2Z0ZW4gdGhlIGxlc3NvbnMgbGVhcm50IGZyb20gbW9k ZWxsaW5nIGFyZQ0Kbm90IGRpc2N1c3NlZCBzaW5jZSB0aGV5IGFyZSBub3Qg dGhlIG1haW4gZm9jdXMgb2YgdGhlIHBhcGVyLg0KICAgVGhlIHdvcmtzaG9w IGFpbXMgYXQgZGlzY3Vzc2luZyBleGFjdGx5IHRoZXNlIHVubWVudGlvbmVk IGxlc3NvbnMuDQpFeGFtcGxlcyBhcmU6DQogICogV2hpY2ggZm9ybWFsaXNt IGlzIGNob3NlbiwgYW5kIHdoeT8NCiAgKiBXaGljaCBhYnN0cmFjdGlvbnMg aGF2ZSB0byBiZSBtYWRlIGFuZCB3aHk/DQogICogSG93IGFyZSBpbXBvcnRh bnQgY2hhcmFjdGVyaXN0aWNzIG9mIHRoZSBzeXN0ZW0gbW9kZWxsZWQ/DQog ICogV2VyZSB0aGVyZSBhbnkgY29tcGxpY2F0aW9ucyB3aGlsZSBtb2RlbGxp bmcgdGhlIHN5c3RlbT8NCiAgKiBXaGljaCBtZWFzdXJlcyB3ZXJlIHRha2Vu IHRvIGd1YXJhbnRlZSB0aGUgYWNjdXJhY3kgb2YgdGhlIG1vZGVsPw0KDQpU aGUgd29ya3Nob3AgZW1waGFzaXNlcyBtb2RlbGxpbmcgb3ZlciB2ZXJpZmlj YXRpb24uIEluIHBhcnRpY3VsYXIsDQp3ZSBpbnZpdGUgcGFwZXJzIHRoYXQg cHJlc2VudCBmdWxsIE1vZGVscyBvZiBSZWFsIFN5c3RlbXMsIHdoaWNoIG1h eQ0KbGF5IHRoZSBiYXNpcyBmb3IgZnV0dXJlIGZvcm1hbCBhbmFseXNpcy4g VGhlIHdvcmtzaG9wIHdpbGwgYnJpbmcNCnRvZ2V0aGVyIHJlc2VhcmNoZXJz IGZyb20gZGlmZmVyZW50IGNvbW11bml0aWVzIHRoYXQgYWxsIGFpbSBhdCB2 ZXJpZnlpbmcNCnJlYWwgc3lzdGVtcyBhbmQgYXJlIGRldmVsb3BpbmcgZm9y bWFsIG1vZGVscyBmb3Igc3VjaCBzeXN0ZW1zLiBBcmVhcyB3aGVyZQ0KbGFy Z2UgbW9kZWxzIG9mdGVuIG9jY3VyIGFyZSB3aXRoaW4gbmV0d29ya3MsICh0 cnVzdHdvcnRoeSkgc3lzdGVtcyBhbmQNCnNvZnR3YXJlIHZlcmlmaWNhdGlv biAoZnJvbSBieXRlIGNvZGUgdXAgdG8gcHJvZ3JhbW1pbmctIGFuZCBzcGVj aWZpY2F0aW9uDQpsYW5ndWFnZXMpLiBBbiBhaW0gb2YgdGhlIHdvcmtzaG9w IGlzIHRvIHByZXNlbnQgZGlmZmVyZW50IG1vZGVsbGluZw0KYXBwcm9hY2hl cyBhbmQgZGlzY3VzcyBwcm9zIGFuZCBjb25zIGZvciBlYWNoIG9mIHRoZW0u DQoNCg0KU1VCTUlTU0lPTjoNCg0KU3VibWlzc2lvbnMgbXVzdCBiZSB1bnB1 Ymxpc2hlZCBhbmQgbm90IGJlIHN1Ym1pdHRlZCBmb3IgcHVibGljYXRpb24g ZWxzZXdoZXJlLg0KQ29udHJpYnV0aW9ucyBhcmUgbGltaXRlZCB0byA4IHBh Z2VzIEVQVENTIHN0eWxlIChub3QgY291bnRpbmcgdGhlIGFwcGVuZGljZXMp LA0KYnV0IHNob3J0ZXIgZXh0ZW5kZWQgYWJzdHJhY3RzIGFyZSB3ZWxjb21l LiBBcHBlbmRpY2VzIChvZiBhcmJpdHJhcnkgbGVuZ3RoKSBjYW4NCmJlIHVz ZWQgdG8gcHJlc2VudCBhbGwgZGV0YWlscyBvZiBhIGZvcm1hbGlzZWQgbW9k ZWw7IHRoZSBhcHBlbmRpY2VzIHdpbGwgYmUgcGFydA0Kb2YgdGhlIHByb2Nl ZWRpbmdzLiBJbiBjYXNlIGEgZm9ybWFsIG1vZGVsIGlzIHByZXNlbnRlZCB0 aGF0IGlzIG1vZGVsbGVkIGluIHNvbWUNCmZvcm1hbGlzbSBvciB0b29sLCBz dWNoIGFzIHRpbWVkIGF1dG9tYXRhIGZvciBVcHBhYWwgb3IgZm9ybWFsIHBy b29mcyBmb3IgSXNhYmVsbGUvSE9MLA0KdGhlc2UgbW9kZWxzIGhhdmUgdG8g YmUgc3VibWl0dGVkIGFzIHdlbGwuIFRoZXkgd2lsbCBiZSBwdWJsaXNoZWQg YXMgcGFydCBvZiB0aGUNCnByb2NlZWRpbmdzLCBhbmQgd2lsbCBiZSBtYWRl IGF2YWlsYWJsZSBpbiBvdXIgUmVwb3NpdG9yeSBvZiBNb2RlbHMgZm9yIEZv cm1hbA0KQW5hbHlzaXMgb2YgUmVhbCBTeXN0ZW1zIChodHRwOi8vbWFycy13 b3Jrc2hvcC5vcmcvcmVwb3NpdG9yeS5odG1sKS4NClN1Ym1pc3Npb25zIG11 c3QgYmUgaW4gRW5nbGlzaCBhbmQgc3VibWl0dGVkIGluIFBERiBmb3JtYXQg dmlhIEVhc3lDaGFpcg0KKGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJl bmNlcy8/Y29uZj1tYXJzMjAxNykuDQogICBBbGwgc3VibWlzc2lvbnMgd2ls bCBiZSBwZWVyIHJldmlld2VkIGJ5IGF0IGxlYXN0IHRocmVlIHJlZmVyZWVz IGJhc2VkIG9uIHRoZWlyDQpub3ZlbHR5LCByZWxldmFuY2UgYW5kIHRlY2hu aWNhbCBtZXJpdC4gVGhlIHByb2NlZWRpbmdzIChpbmNsdWRpbmcgdGhlIGVs ZWN0cm9uaWMNCm1vZGVscykgd2lsbCBiZSBwdWJsaXNoZWQgYXMgcGFydCBv ZiB0aGUgb3BlbiBhY2Nlc3Mgc2VyaWVzIEVsZWN0cm9uaWMgUHJvY2VlZGlu Z3MNCmluIFRoZW9yZXRpY2FsIENvbXB1dGVyIFNjaWVuY2UgKEVQVENTKS4N Cg0KDQpJTVBPUlRBTlQgREFURVMgKEFvRSk6DQoNCiAqIFN1Ym1pc3Npb246 IEZyaWRheSAxMyBKYW51YXJ5IDIwMTcNCiAqIE5vdGlmaWNhdGlvbjogTW9u ZGF5IDEzIEZlYnJ1YXJ5IDIwMTcNCiAqIEZpbmFsIHZlcnNpb246IE1vbmRh eSAyNyBGZWJydWFyeSAyMDE3DQogKiBXb3Jrc2hvcDogU2F0dXJkYXkgMjkg QXByaWwgMjAxNw0KDQoNClBST0dSQU1NRSBDT01NSVRURUU6DQoNCkh1YmVy dCBHYXJhdmVsICAgICAgICAgIChJTlJJQSwgRnJhbmNlKQ0KSmFuIEZyaXNv IEdyb290ZSAgICAgICAgIChFaW5kaG92ZW4gVW5pdmVyc2l0eSBvZiBUZWNo bm9sb2d5LCBUaGUgTmV0aGVybGFuZHMpDQpIb2xnZXIgSGVybWFubnMgKGNv LWNoYWlyKSAoU2FhcmxhbmQgVW5pdmVyc2l0eSwgR2VybWFueSkNClBldGVy IEhvZWZuZXIgKGNvLWNoYWlyKSAoRGF0YTYxLCBDU0lSTywgQXVzdHJhbGlh KQ0KR2VyYXJkIEhvbHptYW5uICAgICAgICAgIChOQVNBL0pQTCwgVVNBKQ0K UGF2ZWwgS3JjYWwgICAgICAgICAgICAgKExsb3lkJ3MgUmVnaXN0ZXIsIFN3 ZWRlbikNCktpbSBHLiBMYXJzZW4gICAgICAgICAgIChBYWxib3JnIFVuaXZl cnNpdHksIERlbm1hcmspDQpEYXZpZCBQYXJrZXIgICAgICAgICAgICAoVW5p dmVyc2l0eSBvZiBCaXJtaW5naGFtLCBVbml0ZWQgS2luZ2RvbSkNCkZyaXRz IFZhYW5kcmFnZXIgICAgICAgIChSYWRib3VkIFVuaXZlcnNpdHksIFRoZSBO ZXRoZXJsYW5kcykNCk1hcmNlbCBWZXJob2VmICAgICAgICAgIChFdXJvcGVh biBTcGFjZSBBZ2VuY3ksIEVTVEVDLCBUaGUgTmV0aGVybGFuZHMpDQoNCg0K Q09OVEFDVDoNCg0KICAgbWFyczIwMTdAbWFycy13b3Jrc2hvcC5vcmc8bWFp bHRvOm1hcnMyMDE3QG1hcnMtd29ya3Nob3Aub3JnPg0KDQo= --_000_F61BB40F01B34B5D920413E76C903CDAdata61csiroau_ Content-Type: text/html; charset="utf-8" Content-ID: <92ED2E783D3389468084A4D11A16E3E4@csiro.au> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlw ZSIgY29udGVudD0idGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVh ZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJr aXQtbmJzcC1tb2RlOiBzcGFjZTsgLXdlYmtpdC1saW5lLWJyZWFrOiBhZnRl ci13aGl0ZS1zcGFjZTsiIGNsYXNzPSIiPg0KPHByZSBzdHlsZT0id29yZC13 cmFwOiBicmVhay13b3JkOyB3aGl0ZS1zcGFjZTogcHJlLXdyYXA7IiBjbGFz cz0iIj5GaXJzdCBDYWxsIGZvciBQYXBlcnM6DQoNCiAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgV29ya3Nob3Agb24NCiAgICAgICAgICAgICAgTW9k ZWxzIGZvciBGb3JtYWwgQW5hbHlzaXMgb2YgUmVhbCBTeXN0ZW1zDQogICAg ICAgICAgICAgICAgICAgICAgICAgICAgIChNQVJTIDIwMTcpDQoNCiAgICAg ICAgICAgICAgICAgICAgICAgQWZmaWxpYXRlZCBXaXRoIEVUQVBTIDIwMTcN Cg0KICAgICAgICAgICAgICAgICAgICAgQXByaWwgMjksIDIwMTcgVXBwc2Fs YSwgU3dlZGVuDQoNCgkJICAgPGEgaHJlZj0iaHR0cDovL21hcnMtd29ya3No b3Aub3JnL21hcnMyMDE3LyIgY2xhc3M9IiI+aHR0cDovL21hcnMtd29ya3No b3Aub3JnL21hcnMyMDE3LzwvYT4NCg0KQUlNOiANCkxvZ2ljcyBhbmQgdGVj aG5pcXVlcyBmb3IgYXV0b21hdGVkIHJlYXNvbmluZyBoYXZlIG9mdGVuIGJl ZW4gDQpkZXZlbG9wZWQgd2l0aCBmb3JtYWwgYW5hbHlzaXMgYW5kIGZvcm1h bCB2ZXJpZmljYXRpb24gaW4gbWluZC4gDQpUbyBzaG93IGFwcGxpY2FiaWxp dHksIHRveSBleGFtcGxlcyBvciB0aW55IGNhc2Ugc3R1ZGllcyBhcmUgDQp0 eXBpY2FsbHkgcHJlc2VudGVkIGluIHJlc2VhcmNoIHBhcGVycy4gU2luY2Ug dGhlIHRoZW9yeSBuZWVkcyANCnRvIGJlIGRldmVsb3BlZCBmaXJzdCwgdGhp cyBhcHByb2FjaCBpcyByZWFzb25hYmxlLiANCiAgIEhvd2V2ZXIsIHRvIHNo b3cgdGhhdCBhIGRldmVsb3BlZCBhcHByb2FjaCBhY3R1YWxseSBzY2FsZXMg dG8gDQpyZWFsIHN5c3RlbXMsIGxhcmdlIGNhc2Ugc3R1ZGllcyBhcmUgZXNz ZW50aWFsLiBUaGUgZGV2ZWxvcG1lbnQgDQpvZiBmb3JtYWwgbW9kZWxzIG9m IHJlYWwgc3lzdGVtcyB1c3VhbGx5IHJlcXVpcmVzIGEgcGVyZmVjdCANCnVu ZGVyc3RhbmRpbmcgb2YgaW5mb3JtYWwgZGVzY3JpcHRpb25zIG9mIHRoZSBz eXN0ZW3DouKCrOKAnXNvbWV0aW1lcyANCmZvdW5kIGluIFJGQ3Mgb3Igb3Ro ZXIgc3RhbmRhcmQgZG9jdW1lbnRzw6LigqzigJ13aGljaCBhcmUgdXN1YWxs eSBqdXN0IA0Kd3JpdHRlbiBpbiBFbmdsaXNoLiBCYXNlZCBvbiB0aGUgdHlw ZSBvZiBzeXN0ZW0sIGFuIGFkZXF1YXRlIA0Kc3BlY2lmaWNhdGlvbiBmb3Jt YWxpc20gbmVlZHMgdG8gYmUgY2hvc2VuLCBhbmQgdGhlIGluZm9ybWFsIA0K c3BlY2lmaWNhdGlvbiB0cmFuc2xhdGVkIGludG8gaXQuIEFic3RyYWN0aW9u IGZyb20gdW5pbXBvcnRhbnQgDQpkZXRhaWxzIHRoZW4geWllbGRzIGFuIGFj Y3VyYXRlLCBmb3JtYWwgbW9kZWwgb2YgdGhlIHJlYWwgc3lzdGVtLg0KICAg VGhlIHByb2Nlc3Mgb2YgZGV2ZWxvcGluZyBhIGRldGFpbGVkIGFuZCBhY2N1 cmF0ZSBtb2RlbCB1c3VhbGx5IA0KdGFrZXMgYSBsYXJnZSBhbW91bnQgb2Yg dGltZSwgb2Z0ZW4gbW9udGhzIG9yIHllYXJzOyB3aXRob3V0IGV2ZW4gDQpz dGFydGluZyBhIGZvcm1hbCBhbmFseXNpcy4gV2hlbiBwdWJsaXNoaW5nIHRo ZSByZXN1bHRzIG9uIGEgZm9ybWFsIA0KYW5hbHlzaXMgaW4gYSBzY2llbnRp ZmljIHBhcGVyLCBkZXRhaWxzIG9mIHRoZSBtb2RlbCBoYXZlIHRvIGJlIHNr aXBwZWQgDQpkdWUgdG8gbGFjayBvZiBzcGFjZSwgYW5kIG9mdGVuIHRoZSBs ZXNzb25zIGxlYXJudCBmcm9tIG1vZGVsbGluZyBhcmUgDQpub3QgZGlzY3Vz c2VkIHNpbmNlIHRoZXkgYXJlIG5vdCB0aGUgbWFpbiBmb2N1cyBvZiB0aGUg cGFwZXIuDQogICBUaGUgd29ya3Nob3AgYWltcyBhdCBkaXNjdXNzaW5nIGV4 YWN0bHkgdGhlc2UgdW5tZW50aW9uZWQgbGVzc29ucy4gDQpFeGFtcGxlcyBh cmU6DQogICogV2hpY2ggZm9ybWFsaXNtIGlzIGNob3NlbiwgYW5kIHdoeT8N CiAgKiBXaGljaCBhYnN0cmFjdGlvbnMgaGF2ZSB0byBiZSBtYWRlIGFuZCB3 aHk/DQogICogSG93IGFyZSBpbXBvcnRhbnQgY2hhcmFjdGVyaXN0aWNzIG9m IHRoZSBzeXN0ZW0gbW9kZWxsZWQ/DQogICogV2VyZSB0aGVyZSBhbnkgY29t cGxpY2F0aW9ucyB3aGlsZSBtb2RlbGxpbmcgdGhlIHN5c3RlbT8NCiAgKiBX aGljaCBtZWFzdXJlcyB3ZXJlIHRha2VuIHRvIGd1YXJhbnRlZSB0aGUgYWNj dXJhY3kgb2YgdGhlIG1vZGVsPw0KDQpUaGUgd29ya3Nob3AgZW1waGFzaXNl cyBtb2RlbGxpbmcgb3ZlciB2ZXJpZmljYXRpb24uIEluIHBhcnRpY3VsYXIs IA0Kd2UgaW52aXRlIHBhcGVycyB0aGF0IHByZXNlbnQgZnVsbCBNb2RlbHMg b2YgUmVhbCBTeXN0ZW1zLCB3aGljaCBtYXkgDQpsYXkgdGhlIGJhc2lzIGZv ciBmdXR1cmUgZm9ybWFsIGFuYWx5c2lzLiBUaGUgd29ya3Nob3Agd2lsbCBi cmluZyANCnRvZ2V0aGVyIHJlc2VhcmNoZXJzIGZyb20gZGlmZmVyZW50IGNv bW11bml0aWVzIHRoYXQgYWxsIGFpbSBhdCB2ZXJpZnlpbmcgDQpyZWFsIHN5 c3RlbXMgYW5kIGFyZSBkZXZlbG9waW5nIGZvcm1hbCBtb2RlbHMgZm9yIHN1 Y2ggc3lzdGVtcy4gQXJlYXMgd2hlcmUgDQpsYXJnZSBtb2RlbHMgb2Z0ZW4g b2NjdXIgYXJlIHdpdGhpbiBuZXR3b3JrcywgKHRydXN0d29ydGh5KSBzeXN0 ZW1zIGFuZCANCnNvZnR3YXJlIHZlcmlmaWNhdGlvbiAoZnJvbSBieXRlIGNv ZGUgdXAgdG8gcHJvZ3JhbW1pbmctIGFuZCBzcGVjaWZpY2F0aW9uIA0KbGFu Z3VhZ2VzKS4gQW4gYWltIG9mIHRoZSB3b3Jrc2hvcCBpcyB0byBwcmVzZW50 IGRpZmZlcmVudCBtb2RlbGxpbmcgDQphcHByb2FjaGVzIGFuZCBkaXNjdXNz IHByb3MgYW5kIGNvbnMgZm9yIGVhY2ggb2YgdGhlbS4NCg0KDQpTVUJNSVNT SU9OOg0KDQpTdWJtaXNzaW9ucyBtdXN0IGJlIHVucHVibGlzaGVkIGFuZCBu b3QgYmUgc3VibWl0dGVkIGZvciBwdWJsaWNhdGlvbiBlbHNld2hlcmUuIA0K Q29udHJpYnV0aW9ucyBhcmUgbGltaXRlZCB0byA4IHBhZ2VzIEVQVENTIHN0 eWxlIChub3QgY291bnRpbmcgdGhlIGFwcGVuZGljZXMpLCANCmJ1dCBzaG9y dGVyIGV4dGVuZGVkIGFic3RyYWN0cyBhcmUgd2VsY29tZS4gQXBwZW5kaWNl cyAob2YgYXJiaXRyYXJ5IGxlbmd0aCkgY2FuIA0KYmUgdXNlZCB0byBwcmVz ZW50IGFsbCBkZXRhaWxzIG9mIGEgZm9ybWFsaXNlZCBtb2RlbDsgdGhlIGFw cGVuZGljZXMgd2lsbCBiZSBwYXJ0IA0Kb2YgdGhlIHByb2NlZWRpbmdzLiBJ biBjYXNlIGEgZm9ybWFsIG1vZGVsIGlzIHByZXNlbnRlZCB0aGF0IGlzIG1v ZGVsbGVkIGluIHNvbWUgDQpmb3JtYWxpc20gb3IgdG9vbCwgc3VjaCBhcyB0 aW1lZCBhdXRvbWF0YSBmb3IgVXBwYWFsIG9yIGZvcm1hbCBwcm9vZnMgZm9y IElzYWJlbGxlL0hPTCwgDQp0aGVzZSBtb2RlbHMgaGF2ZSB0byBiZSBzdWJt aXR0ZWQgYXMgd2VsbC4gVGhleSB3aWxsIGJlIHB1Ymxpc2hlZCBhcyBwYXJ0 IG9mIHRoZSANCnByb2NlZWRpbmdzLCBhbmQgd2lsbCBiZSBtYWRlIGF2YWls YWJsZSBpbiBvdXIgUmVwb3NpdG9yeSBvZiBNb2RlbHMgZm9yIEZvcm1hbCAN CkFuYWx5c2lzIG9mIFJlYWwgU3lzdGVtcyAoPGEgaHJlZj0iaHR0cDovL21h cnMtd29ya3Nob3Aub3JnL3JlcG9zaXRvcnkuaHRtbCIgY2xhc3M9IiI+aHR0 cDovL21hcnMtd29ya3Nob3Aub3JnL3JlcG9zaXRvcnkuaHRtbDwvYT4pLg0K U3VibWlzc2lvbnMgbXVzdCBiZSBpbiBFbmdsaXNoIGFuZCBzdWJtaXR0ZWQg aW4gUERGIGZvcm1hdCB2aWEgRWFzeUNoYWlyDQooPGEgaHJlZj0iaHR0cHM6 Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPW1hcnMyMDE3IiBj bGFzcz0iIj5odHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2Nv bmY9bWFyczIwMTc8L2E+KS4gDQogICBBbGwgc3VibWlzc2lvbnMgd2lsbCBi ZSBwZWVyIHJldmlld2VkIGJ5IGF0IGxlYXN0IHRocmVlIHJlZmVyZWVzIGJh c2VkIG9uIHRoZWlyIA0Kbm92ZWx0eSwgcmVsZXZhbmNlIGFuZCB0ZWNobmlj YWwgbWVyaXQuIFRoZSBwcm9jZWVkaW5ncyAoaW5jbHVkaW5nIHRoZSBlbGVj dHJvbmljIA0KbW9kZWxzKSB3aWxsIGJlIHB1Ymxpc2hlZCBhcyBwYXJ0IG9m IHRoZSBvcGVuIGFjY2VzcyBzZXJpZXMgRWxlY3Ryb25pYyBQcm9jZWVkaW5n cyANCmluIFRoZW9yZXRpY2FsIENvbXB1dGVyIFNjaWVuY2UgKEVQVENTKS4N Cg0KDQpJTVBPUlRBTlQgREFURVMgKEFvRSk6DQoNCiAqIFN1Ym1pc3Npb246 IEZyaWRheSAxMyBKYW51YXJ5IDIwMTcNCiAqIE5vdGlmaWNhdGlvbjogTW9u ZGF5IDEzIEZlYnJ1YXJ5IDIwMTcNCiAqIEZpbmFsIHZlcnNpb246IE1vbmRh eSAyNyBGZWJydWFyeSAyMDE3DQogKiBXb3Jrc2hvcDogU2F0dXJkYXkgMjkg QXByaWwgMjAxNyANCg0KDQpQUk9HUkFNTUUgQ09NTUlUVEVFOg0KDQpIdWJl cnQgR2FyYXZlbCAgICAgICAgICAoSU5SSUEsIEZyYW5jZSkNCkphbiBGcmlz byBHcm9vdGUJIChFaW5kaG92ZW4gVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5 LCBUaGUgTmV0aGVybGFuZHMpDQpIb2xnZXIgSGVybWFubnMJKGNvLWNoYWly KSAoU2FhcmxhbmQgVW5pdmVyc2l0eSwgR2VybWFueSkNClBldGVyIEhvZWZu ZXIgKGNvLWNoYWlyKSAoRGF0YTYxLCBDU0lSTywgQXVzdHJhbGlhKQ0KR2Vy YXJkIEhvbHptYW5uCSAgICAgICAgIChOQVNBL0pQTCwgVVNBKQ0KUGF2ZWwg S3JjYWwgICAgICAgICAgICAgKExsb3lkJ3MgUmVnaXN0ZXIsIFN3ZWRlbikN CktpbSBHLiBMYXJzZW4gICAgICAgICAgIChBYWxib3JnIFVuaXZlcnNpdHks IERlbm1hcmspDQpEYXZpZCBQYXJrZXIgICAgICAgICAgICAoVW5pdmVyc2l0 eSBvZiBCaXJtaW5naGFtLCBVbml0ZWQgS2luZ2RvbSkNCkZyaXRzIFZhYW5k cmFnZXIgICAgICAgIChSYWRib3VkIFVuaXZlcnNpdHksIFRoZSBOZXRoZXJs YW5kcykNCk1hcmNlbCBWZXJob2VmICAgICAgICAgIChFdXJvcGVhbiBTcGFj ZSBBZ2VuY3ksIEVTVEVDLCBUaGUgTmV0aGVybGFuZHMpDQoNCg0KQ09OVEFD VDoNCg0KICAgPGEgaHJlZj0ibWFpbHRvOm1hcnMyMDE3QG1hcnMtd29ya3No b3Aub3JnIiBjbGFzcz0iIj5tYXJzMjAxN0BtYXJzLXdvcmtzaG9wLm9yZzwv YT48L3ByZT4NCjxkaXYgY2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+ DQo8L2JvZHk+DQo8L2h0bWw+DQo= --_000_F61BB40F01B34B5D920413E76C903CDAdata61csiroau_--