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 129355D4 for ; Thu, 18 Apr 2019 09:37:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,365,1549926000"; d="scan'208,217";a="379167645" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Apr 2019 11:37:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B623D82691; Thu, 18 Apr 2019 11:37:29 +0200 (CEST) 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 BA488822B9 for ; Thu, 18 Apr 2019 11:37:23 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f51.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A16IjJBEWq1ZCVo7KM1l4F51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zo8iwAkXT6L1XgUPTWs2DsrQY0rOQ6P2rADFIoc7Y9ixbKNoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanJZuJrw/xxbJrXdEZu?= =?us-ascii?q?Rbzn5sKV6Pghrw/Mi98IN//yhKp/4t68tMWrjmcqolSrBVEC4oOH0v6s3xshnD?= =?us-ascii?q?QwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi+i4LtxSB/pky?= =?us-ascii?q?gIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQ2dKQ8RfWDFbAo6k?= =?us-ascii?q?YIQPAegOM+ZWoYf+ulUAswexCBK2C+/z0DJFnGP60bE43uknDArI3BYgH9ULsH?= =?us-ascii?q?nMo9v1N70dUfyrw6nSzDXDaelZ0ir45ojPdxAuv/eMUq9qfsrX1UkvDADFgU+Q?= =?us-ascii?q?qIP/IjiY0ecNs2+e7+V+U+KglnQoqwdtoji0xccjkInIiZgOx1DL8CV22oc1Jd?= =?us-ascii?q?miREFnZt6kFYJduieHPIV4RcMiRntnuCc8yrAeuZ66cjIGx447yBLFdvyHcI6F?= =?us-ascii?q?6Q/gWuaJOTp0mm5pdbalixux8UWs0PDwW8i13VpQridJj9/BvW0X2RPJ8MiIUP?= =?us-ascii?q?5981+h2TmR0wDT7flJIUUumqraL54t278wlp0OvUjaEC/7mFj6gLWZdkUj/eio?= =?us-ascii?q?5ODnbav8qpCAMI90jxnyMqUomsOhHeQ1KhYCU3Sf9Oim17Du/Vf1TKhLg/A3iK?= =?us-ascii?q?XUsI3WKdwepqGjAg9V1ogj6wy4DzejyNkYnn4HLFdbdxKBkofmIVfOIOzjDfe8?= =?us-ascii?q?mVutkC1kyuvJPr3kGJrNL3zDnK39crZ67k5Q0BAzwsxH55JIFrEBJ+r+VVPru9?= =?us-ascii?q?zdCh81Kgi0w+f8CNVhzY4eQmKOAqqBMKzIq1OI5+QvI/ONZIAPojr9JeIltLbS?= =?us-ascii?q?iioykFoZNbSy0IEMICSzF/FiZkGYembEg9EbEG5MsBBoH8Lwj1jXfD1ae3uoXq?= =?us-ascii?q?Q1rhI8DY+gAY7FWpuuia2IlHO4GZhbYGxPDEyXEn75fq2LXv4NbGSZJco3wW9M?= =?us-ascii?q?bqSoV4J0jULmjwT90bcydrOJqB1djorq0Z1O38OWlRw28mYpXcGU0mXITmYt22?= =?us-ascii?q?1VHnk526dwpUE7wVCGg/Ah0q5oUOdL7vYMaT8UcJvVzuh0Edf3A1uTcdKASVLg?= =?us-ascii?q?SdKjU2hoEoABhuQWakM4IO2MywjZ1nPzUbAQnr2PQpcz9/CE0g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A4BADBRLhcgDOmVdFkgyaBKUGBBCiED?= =?us-ascii?q?oEdgl6PLYINjn6JYIFnEB+ETgKGGRsHAQQ0EwEDAQEEAQIBAQEBEwEBCQ0JCCc?= =?us-ascii?q?lDII6IoJvAQUdBh0BGwUHEgMMBgMCCw0gAQkCAiEBAREBBQEcBhMWgw2BaAEDH?= =?us-ascii?q?I1AkAw8ix2BEgUBF4J6BYQ1ChknDV+BOQIHEoEgi0oXgX+BEYIUfj6CGoFvAxG?= =?us-ascii?q?DMYJXBIpPJAabEjcJggiGDIQnhCeDShuCC12FQoxajRWGXIxLDyGBHCljgRRwL?= =?us-ascii?q?yExgjsJgQ+EZYd6glpBMAGOHwIkB4IlAQE?= X-IPAS-Result: =?us-ascii?q?A0A4BADBRLhcgDOmVdFkgyaBKUGBBCiEDoEdgl6PLYINjn6?= =?us-ascii?q?JYIFnEB+ETgKGGRsHAQQ0EwEDAQEEAQIBAQEBEwEBCQ0JCCclDII6IoJvAQUdB?= =?us-ascii?q?h0BGwUHEgMMBgMCCw0gAQkCAiEBAREBBQEcBhMWgw2BaAEDHI1AkAw8ix2BEgU?= =?us-ascii?q?BF4J6BYQ1ChknDV+BOQIHEoEgi0oXgX+BEYIUfj6CGoFvAxGDMYJXBIpPJAabE?= =?us-ascii?q?jcJggiGDIQnhCeDShuCC12FQoxajRWGXIxLDyGBHCljgRRwLyExgjsJgQ+EZYd?= =?us-ascii?q?6glpBMAGOHwIkB4IlAQE?= X-IronPort-AV: E=Sophos;i="5.60,365,1549926000"; d="scan'208,217";a="379167589" X-MGA-submission: =?us-ascii?q?MDGDBIWcgVYqB9jAxKnELKiaLsrrNNLQ1dq2gf?= =?us-ascii?q?9ftAKjTdaLryU+Kp+OjZouMXq6q13FTd/H/GkGugDNRj2cUL9AToyP5d?= =?us-ascii?q?lpG9vbTesEEMBhGIDJ0afWfoIWlXJtc/4f+idBbVWrjDLIPZOYilzWYH?= =?us-ascii?q?CmKsj38G9LkEF4TmYQOLqQkA=3D=3D?= Received: from mail-io1-f51.google.com ([209.85.166.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Apr 2019 11:37:21 +0200 Received: by mail-io1-f51.google.com with SMTP id s7so1384295iom.12 for ; Thu, 18 Apr 2019 02:37:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=jJxK6jtCyBquC5MBAEoeiPbxfRYjlDs9Bf8K1AVaLDk=; b=amlN8JDCffrmOnUpAUfSP1AQxWB5TRyliB618sCCSNPGXjtQ63BPLShIvKWTCPRDzq 1J+thbZsnOZ3cl2oyTu+NVNnMSi+RlbgKCOX8BLWrDzBflFQ1WW8xU9HeKUuPbZkRljS 4zwrVhcl3IsePfJ16lwLGBwQVw58lJMRH6CMIXxHjPd+I1vl4zfmt1+bypnAVtfyEM6T P+fQk52tNiWLcwC0aleW0ksMWzKzrpNklNqxalefypMAwTWj1HtV+xoTJoOwTw3vccfw pGOTbolkcfnXK5f82nu2wJlQUFbBhHcpzcR3DHcPQBSgdouU6sUUasbdRwMpwFN4hPmC /9IA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=jJxK6jtCyBquC5MBAEoeiPbxfRYjlDs9Bf8K1AVaLDk=; b=eX+q9esLdbtH1ODlZU2hEpf9FrysklTdyJp+hYpXmz9LbXkv8gkxOQ2ECbTMZH4aN0 yAJG3unGJ8yVxTJo95lGlKsZ+uo6NJ57hkI2nA9tjRFdxFrxZjWha43mJ5V6atubYczM YY2RuvdAqftHguLbyalZfW3mFzwjViV3416fjyQ6nP0oj9DVW5ELLPqm2R7jE5OSALon ON8cEpq3mCOAmQoxjF0jMR27KBagnt2cd5HBAIhJarmwDnfDGWDk8qtrpay/T+Yr9tDB 6QVebXZ322kI1k8xlRuVFE8FI9fdKldPdcWeX85QGE/gW4WsE6SBIAKfIQucxx3Rvxx2 di8w== X-Gm-Message-State: APjAAAV9hQdSpsD/y86dIbrl/4//Tm/1bWKTMjSsQbXSEeqFg9U1pB6i wUSJNtEsE0yBPNrXBLhlNI5IypIIGMCtYgRPeC0Z3YGR X-Google-Smtp-Source: APXvYqweA/Hl4vBsFpr+0ja0wgrTpHEco+Gu7wcmDZWhT6vv10CLnu6YxDQwMztXxJgVrz8MiUrX07rff8fltARitK4= X-Received: by 2002:a5e:d80e:: with SMTP id l14mr25532169iok.227.1555580240399; Thu, 18 Apr 2019 02:37:20 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Ekaterina Komendantskaya Date: Thu, 18 Apr 2019 10:36:54 +0100 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="000000000000a6145a0586cabf46" Subject: Re: [Caml-list] PPDP'19 Final CFP Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 17493 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: --000000000000a6145a0586cabf46 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Gabriel, Caml list, as promised my update re PPDP and the open access question. The PC and the Steering committee had a careful discussion of the options and prices for buying the ACM open access for PPDP'19. Many voices were in support of open access, for obvious reasons. Some voices were strongly against distributing the cost of of what would be the author's personal copyright and distribution rights onto the shoulders of all PPDP participants. Also the point was made that, as far as the access to the paper is concerned, there are always portals for publishing pre-prints (Arxiv). Finally, some universities and research grants have dedicated funds to buy the gold open access rights for individual papers. So, in the long term, the steering committee will discuss switching from ACM elsewhere, possibly to LIPICS, to avoid the above described dilemma with the cost of the open access. In the short term, i.e. for 2019 we will stay with the ACM and its cheapest option that does not buy gold open access. I very much hope that you will nevertheless submit and attend PPDP'19, and please join the Organising committee meeting at PPDP'19 to voice and re-enforce your message about the need for re-considering PPDP long-term strategy for open access. Best regards, Katya On Fri, 12 Apr 2019 at 13:00, Gabriel Scherer >> wrote: >> >>> Dear Ekaterina (and caml-list), >>> >>> I am considering PPDP for a submission=C2=B9 but, for me personally, th= e >>> ability to retain my author rights and have the paper published as >>> open-access at a reasonable price (cost of operation) is a deciding fac= tor. >>> There is little information on the PPDP website or in the CFP besides t= he >>> fact that it's ACM-published; do I correctly understand that authors >>> wishing to retain their full rights over their work would have to pay t= he >>> standard ACM author-processing charge of $900? >>> >>> =C2=B9: actually two submissions. >>> >>> Best >>> >>> >>> >>> On Fri, Apr 12, 2019 at 12:38 PM Ekaterina Komendantskaya < >>> komendantskaya@gmail.com> wrote: >>> >>>> FINAL CALL FOR PAPERS -- PPDP 2019 >>>> >>>> 21st International Symposium on >>>> >>>> Principles and Practice of Declarative Programming >>>> >>>> 7=E2=80=939 October 2019, Porto, Portugal >>>> >>>> Collocated with FM'19 >>>> >>>> http://ppdp2019.macs.hw.ac.uk >>>> >>>> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >>>> >>>> Important Dates >>>> >>>> --------------- >>>> >>>> Title and abstract registration 26 April 2019 (AoE) >>>> >>>> Paper submission 3 May 2019 (AoE) >>>> >>>> Rebuttal period (48 hours) 3 June 2019 (AoE) >>>> >>>> Author notification 14 June 2019 >>>> >>>> Final paper version 15 July 2019 >>>> >>>> Conference 7=E2=80=939 October 2019 >>>> >>>> About PPDP >>>> >>>> ---------- >>>> >>>> The PPDP 2019 symposium brings together researchers from the >>>> declarative >>>> >>>> programming communities, including those working in the functional, >>>> logic, >>>> >>>> answer-set, and constraint handling programming paradigms. The goal is >>>> to >>>> >>>> stimulate research in the use of logical formalisms and methods for >>>> analyzing, >>>> >>>> performing, specifying, and reasoning about computations, including >>>> mechanisms >>>> >>>> for concurrency, security, static analysis, and verification. >>>> >>>> >>>> Invited Speakers >>>> >>>> ---------------- >>>> >>>> Amal Ahmed Northeastern University, USA >>>> >>>> Title: TBA >>>> >>>> Naoki Kobayashi The University of Tokyo, Japan >>>> >>>> Title: 10 Years of the Higher-Order Model Checking Project >>>> >>>> Scope >>>> >>>> ----- >>>> >>>> Submissions are invited on all topics related to declarative >>>> programming, from >>>> >>>> principles to practice, from foundations to applications. Topics of >>>> interest >>>> >>>> include, but are not limited to >>>> >>>> - Language Design: domain-specific languages; interoperability; >>>> concurrency, >>>> >>>> parallelism and distribution; modules; probabilistic languages; >>>> functional >>>> >>>> languages; reactive languages; database languages; knowledge >>>> representation >>>> >>>> languages; languages with objects; language extensions for tabulation; >>>> metaprogramming. >>>> >>>> - Implementations: abstract machines; interpreters; compilation; >>>> compile-time >>>> >>>> and run-time optimization; memory management. >>>> >>>> - Foundations: types; logical frameworks; monads and effects; >>>> semantics. >>>> >>>> - Analysis and Transformation: partial evaluation; abstract >>>> interpretation; >>>> >>>> control flow; data flow; information flow; termination analysis; >>>> resource >>>> >>>> analysis; type inference and type checking; verification; validation; >>>> >>>> debugging; testing. >>>> >>>> - Tools and Applications: programming and proof environments; >>>> verification >>>> >>>> tools; case studies in proof assistants or interactive theorem provers= ; >>>> >>>> certification; novel applications of declarative programming inside an= d >>>> >>>> outside of CS; declarative programming pearls; practical experience >>>> reports >>>> >>>> and industrial application; education. >>>> >>>> For further information, please visit: >>>> >>>> http://ppdp2019.macs.hw.ac.uk >>>> >>>> >>>> >>>> >>>> >>>> --000000000000a6145a0586cabf46 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear=C2=A0Gabrie= l, Caml list,

as promised my update re PPDP and t= he open access question.

The PC and the Steering c= ommittee had a careful discussion of the options and prices for buying the = ACM open access for PPDP'19.
=C2=A0
=C2=A0Many voic= es were in support of open access, for obvious reasons. Some voices were st= rongly against distributing the cost of of what would be the author's p= ersonal copyright and distribution rights onto the shoulders of all PPDP pa= rticipants. Also the point was made that, as far as the access to the paper= is concerned, there are always portals for publishing pre-prints (Arxiv). = Finally, some universities and research grants have dedicated funds to buy = the gold open access rights for individual papers.

So, in the=C2=A0 long term, the steering committee will discuss switching = from ACM elsewhere, possibly to LIPICS, to avoid the above described dilemm= a with the cost of the open access.

In the short t= erm, i.e. for 2019 we will stay with the ACM and its cheapest option that d= oes not buy gold open access.

I very much hope tha= t you will nevertheless submit and attend PPDP'19, and please join the = Organising committee meeting at PPDP'19=C2=A0
to voice and re= -enforce=C2=A0 your message about the need for re-considering PPDP long-ter= m strategy for open access.=C2=A0 =C2=A0=C2=A0
=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0
B= est regards,
Katya
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0


On Fri, 12 = Apr 2019 at 13:00, Gabriel Scherer <gabriel.scherer@gmail.com> wrote:
Dear Ekaterina (and caml-list),
=
I am considering PPDP for a submission=C2=B9 but, for me per= sonally, the ability to retain my author rights and have the paper publishe= d as open-access at a reasonable price (cost of operation) is a deciding fa= ctor. There is little information on the PPDP website or in the CFP besides= the fact that it's ACM-published; do I correctly understand that autho= rs wishing to retain their full rights over their work would have to pay th= e standard ACM author-processing charge of $900?

=C2=B9: actually two submissions.

Best
<= /div>



On Fri, Apr 12, 2019 at 12:38 PM Ekateri= na Komendantskaya <komendantskaya@gmail.com> wrote:

FINAL CALL FOR PAPERS -- PPDP 2019


21st International Symposium on

Principles and= Practice of Declarative Programming


7=E2=80=939 = October 2019, Porto, Portugal


Collocated with FM&= #39;19


http://ppdp2019.macs.hw.ac.uk


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D <= /p>

Important Dates

---------------


Title and abstract registration 26 April 2019 (AoE) =

Paper submission 3 May 2019 (AoE)

Rebuttal period (48 hours) 3 June 2019 (AoE)

Aut= hor notification 14 June 2019

Final paper version 15 = July 2019

Conference 7=E2=80=939 October 2019 =


About PPDP

----------

<= br>

The PPDP 2019 symposium brings together researchers from the = declarative

programming communities, including those = working in the functional, logic,

answer-set, and con= straint handling programming paradigms. The goal is to

performing, specifying, and reasoning about com= putations, including mechanisms

for concurrency, se= curity, static analysis, and verification.



In= vited Speakers

----------------


Amal Ahmed Northeastern University, USA

<= span style=3D"font-size:10pt;font-family:"Courier New";color:rgb(= 0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian= t-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Title: TB= A

Naoki Kobayashi The Universit= y of Tokyo, Japan

Title: 10 Years of the Hig= her-Order Model Checking Project


Scope

=

-----


Submissions are invited on all t= opics related to declarative programming, from

princi= ples to practice, from foundations to applications. Topics of interest

include, but are not limited to


- Language Design: domain-specific languages; interoperability; concurrenc= y,

parallelism and distribution; modules; probabilist= ic languages; functional

languages; reactive language= s; database languages; knowledge representation

langu= ages; languages with objects; language extensions for tabulation; metaprogr= amming.


- Implementations: abstract machines; int= erpreters; compilation; compile-time

and run-time opt= imization; memory management.


- Foundations: type= s; logical frameworks; monads and effects; semantics.


- Analysis and Transformation: partial evaluation; abstract interpreta= tion;

control flow; data flow; information flow; term= ination analysis; resource

analysis; type inference a= nd type checking; verification; validation;

<= span style=3D"font-size:10pt;font-family:"Courier New";color:rgb(= 0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian= t-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">debugging= ; testing.


- Tools and Applications: programming = and proof environments; verification

tools; case stud= ies in proof assistants or interactive theorem provers;

certification; novel applications of declarative programming inside an= d

outside of CS; declarative programming pearls; prac= tical experience reports

and industrial application; = education.


For fu= rther information, please visit:=C2=A0

http://ppdp2019.macs.hw.ac.uk

<= div dir=3D"ltr">
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0



<= /div>
--000000000000a6145a0586cabf46--