From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 25498 invoked from network); 8 Aug 2023 16:00:55 -0000 Received: from mail-pl1-x63f.google.com (2607:f8b0:4864:20::63f) by inbox.vuxu.org with ESMTPUTF8; 8 Aug 2023 16:00:55 -0000 Received: by mail-pl1-x63f.google.com with SMTP id d9443c01a7336-1bc0972b0fesf755215ad.0 for ; Tue, 08 Aug 2023 09:00:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20221208; t=1691510452; x=1692115252; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=rFmSEEUHs3AfXjP2oFr8q6g249ZBEe0mIi2ZESE/qsM=; b=To9xDqYfive0Web3GVzWH7Ov/n6boN5o88K62vux2kcR8opSyP0C7pcSA8tbI8PVfx ipUFbp4Q41CHorxRBOgGpSnZnXgyrXNA0QiRUGHoSnybFuF+IwpepnmH44Nhs76X64aZ AdmC1xXFAJPZ/n0I8UTE2oaEzOXaSdzzz1d2NMVQZXiEEcSJLXufTBeI26+2uxacT+ng 1MzIoDN/+Ac2+Ph2R6qkZNABkjPya1D63JXD4POl8r0/yE8qreeSsK6ut/MmeD8S30lq ipXwZP33/EKrXw8CkOKa6Zmy2DjJqXzldvNWsZLIY/mgeJ+DY9XsUbLFMPyO489CpEu5 WSRA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1691510452; x=1692115252; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date:message-id :reply-to; bh=rFmSEEUHs3AfXjP2oFr8q6g249ZBEe0mIi2ZESE/qsM=; b=X6Xm3rxXrZDAJEhJpLpAP/mv/VGXJCzhUUjUNat0L1mH5OcW9R/UPksn/sVuoM/bYL rWvRUAVIvntvVCVTt6+BxWF+U4jNGWh1QAYA7XHGvw4pW88UwetFoSqni3KQd9vRkIQu /uCCYhY5Sr/Czl5eZGYruhNUQuFOUo7AOdxUU5ejV18f1SHlPM6aTiwU86rwJEMDoS0r TTNOpUaq6n7sRuIkV235EOD+IXVV5SFY1jUMvujo/Xc0ZG2s+/NdfPZ+n4oZgS3SZHy2 PaJYEw08mN2QRBwSCH+WyxBXAcJykXmDJFILlbCwEau/xYuCHuzDnIix4FrE9fC1p/45 YT0Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1691510452; x=1692115252; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=rFmSEEUHs3AfXjP2oFr8q6g249ZBEe0mIi2ZESE/qsM=; b=mHZCS4T8rf6k+UND6nGvf9fJbgFxyyZJO525FvVTkQZX83NEObwgV3Ch1oyn+shiZi qzLSqcCPeAI2ks73K0Z080RoqpEGMmx7b056+Z600wzZ89LQMJd8nIC07stJxv8qgTmX fqp6j5Dvv8tuyTYixvUY+SEiXyrSgJWMzY3U3ftv33Lj0A37YxUhbBoLY1+ee0UTaMd6 lCRH1t8xIAkyn++DiF4EwPfOojzsv/eBtaKhqeRp4Rozav3kI0KKyla2e747h0WtoY/d rtXAG5iwY2EBg4x5lNDgoZVODITejtm2tDP8KLchbm/4C2VZxUFrpf4cVIU5ecldXljY Joiw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YzDlrWB9xMzmI3b2X1+ZNHLJGVOgzKycuReDQ7f7UKAfNPdPWsG vaMkI+WyEWoxeSacUih8TJ0= X-Google-Smtp-Source: AGHT+IHBwd+Ab5MpVOD472tm98Its+sJA+QsnXVfsb07+EY0zh6AtOaOMq7SgK2HjULfniVetpKzMA== X-Received: by 2002:a17:902:db10:b0:1ae:221b:5894 with SMTP id m16-20020a170902db1000b001ae221b5894mr576263plx.1.1691510451996; Tue, 08 Aug 2023 09:00:51 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:9e1d:0:b0:687:c6b1:6898 with SMTP id y29-20020aa79e1d000000b00687c6b16898ls1367105pfq.1.-pod-prod-04-us; Tue, 08 Aug 2023 09:00:49 -0700 (PDT) X-Received: by 2002:a05:6870:a8b0:b0:1b3:d79c:f288 with SMTP id eb48-20020a056870a8b000b001b3d79cf288mr6767oab.3.1691510335777; Tue, 08 Aug 2023 08:58:55 -0700 (PDT) Date: Tue, 8 Aug 2023 08:58:54 -0700 (PDT) From: Benedikt Ahrens To: Homotopy Type Theory Message-Id: <78f52ba2-366c-40b1-9a17-a6943c81ede6n@googlegroups.com> Subject: [HoTT] 2nd CFP - CPP 2024 Certified Programs and Proofs MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_124_2040660379.1691510334806" X-Original-Sender: benedikt.ahrens@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , ------=_Part_124_2040660379.1691510334806 Content-Type: multipart/alternative; boundary="----=_Part_125_1657892244.1691510334806" ------=_Part_125_1657892244.1691510334806 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Certified Programs and Proofs (CPP) is an international conference on=20 practical and theoretical topics in all areas that consider formal=20 verification and certification as an essential paradigm for their work. CPP= =20 spans areas of computer science, mathematics, logic, and education. CPP 2024 (https://popl24.sigplan.org/home/CPP-2024) will be held on 15-16= =20 January 2024 and will be co-located with POPL 2024 in London, UK. CPP 2024= =20 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will welcome contributions from all members of the community. The= =20 CPP 2024 organizers will strive to enable both in-person and remote=20 participation, in cooperation with the POPL 2024 organizers. IMPORTANT DATES=20 * Abstract Submission Deadline: 12 September 2023 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 19 September 2023 at 23:59 AoE (UTC-12h) * Notification (tentative): 21 November 2023 * Camera Ready Deadline (tentative): Mid December 2023 (TBA) * Conference: 15-16 January 2024 **** NEW: Submissions at https://cpp2024.hotcrp.com are now open ****=20 Deadlines expire at the end of the day, anywhere on earth. Abstract and=20 submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS=20 Around 10% of the accepted papers at CPP 2024 will be designated as=20 Distinguished Papers. This award highlights papers that the CPP program=20 committee thinks should be read by a broad audience due to their relevance,= =20 originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of= =20 programs and proofs. The following is a non-exhaustive list of topics of=20 interest to CPP: * certified or certifying programming, compilation, linking, OS kernels,=20 runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light,=20 Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and=20 logical frameworks; * higher-order logics, dependent type theory, proof theory, logical=20 systems, separation logics, and logics for security; * verification of correctness and security properties; * formally verified blockchains and smart contracts; * certificates for decision procedures, including linear algebra,=20 polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality,=20 first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal certification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their=20 anonymized paper in PDF format through the HotCRP system at https://cpp2024.hotcrp.com The submissions must be written in English and provide sufficient detail to= =20 allow the program committee to assess the merits of the contribution. They= =20 must be formatted following the ACM SIGPLAN Proceedings format using the=20 acmart style with the sigplan option, which provides a two-column style,=20 using 10 point font for the main text, and a header for double blind review= =20 submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfol= ios=3Dtrue,printccs=3Dfalse,printacmref=3Dfalse} The submitted papers should not exceed 12 pages, including tables and=20 figures, but excluding bibliography and clearly marked appendices. The=20 papers should be self-contained without the appendices. Shorter papers are= =20 welcome and will be given equal consideration. Submissions not conforming= =20 to the requirements concerning format and maximum length may be rejected=20 without further consideration. CPP 2024 will employ a lightweight double-blind reviewing process following= =20 the process from previous years. To facilitate this, the submissions must= =20 adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors=E2=80=99 own related work should be in the third = person=20 (e.g., not "We build on our previous work ..." but rather "We build on the= =20 work of ..."). The purpose of this process is to help the PC and external reviewers come= =20 to an initial judgment about the paper without bias, not to make it=20 impossible for them to discover the authors if they were to try. Nothing=20 should be done in the name of anonymity that weakens the submission or=20 makes the job of reviewing it more difficult. In particular, important=20 background references should not be omitted or anonymized. In addition,=20 authors are free to disseminate their ideas or draft versions of their=20 papers as usual. For example, authors may post drafts of their papers on=20 the web or give talks on their research ideas. Note that POPL 2024 itself= =20 will employ full double-blind reviewing, which differs from the=20 light-weight CPP process. This FAQ from previous SIGPLAN conference=20 addresses many common concerns:=20 https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-R= eviewing-FAQ We strongly encourage the authors to provide any supplementary material=20 that supports the claims made in the paper, such as proof scripts or=20 experimental data. This material must be uploaded at submission time, as an= =20 archive, not via a URL. Two forms of supplementary material may be=20 submitted: (1) Anonymous supplementary material is made available to the reviewers=20 before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers= =20 after they have submitted their first-draft reviews and have learned the=20 identity of the authors. Please use anonymous supplementary material whenever possible, so that it= =20 can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy ( https://www.sigplan.org/Resources/Policies/Republication/) and the ACM=20 Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism)= .=20 Concurrent submissions to other conferences, journals, workshops with=20 proceedings, or similar forums of publication are not allowed. The PC=20 chairs should be informed of closely related work submitted to a conference= =20 or journal in advance of submission. One author of each accepted paper is= =20 expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2024 proceedings will be published by the ACM, and authors of=20 accepted papers will be required to choose one of the following publication= =20 options: (1) Author retains copyright of the work and grants ACM a non-exclusive=20 permission-to-publish license and, optionally, licenses the work under a=20 Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive=20 permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the= =20 paper Gold Open Access, and also encourage such authors to license their=20 work under the CC-BY license. ACM will charge you an article processing fee= =20 for this option (currently, US$700), which you have to pay directly with=20 the ACM. You don=E2=80=99t need to pay this fee if the corresponding author= =E2=80=99s=20 affiliating institution is part of ACM OPEN ( https://libraries.acm.org/subscriptions-access/open-participants). For everyone else, we recommend option (2), which is free and allows you to= =20 achieve Green Open Access, by uploading a preprint of your paper to a=20 repository that guarantees permanent archival such as arXiv or HAL. This is= =20 anyway a good idea for timely dissemination even if you chose option 1.=20 The official CPP 2024 proceedings will also be available via SIGPLAN=20 OpenTOC (http://www.sigplan.org/OpenTOC/#cpp). For ACM=E2=80=99s take on this, see their Copyright Policy ( http://www.acm.org/publications/policies/copyright-policy) and Author=20 Rights (http://authors.acm.org/main.html). Sandrine Blazy, University of Rennes, France (co-chair) Brigitte Pientka, McGill University, Canada (co-chair) ORGANIZERS Amin Timany, Aarhus University, Denmark (conference co-chair) Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair) Sandrine Blazy, University of Rennes (PC co-chair) Brigitte Pientka, McGill University, Canada (PC co-chair) CONTACT For any questions please contact the two PC chairs: Sandrine Blazy Brigitte Pientka =20 --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/78f52ba2-366c-40b1-9a17-a6943c81ede6n%40googlegroups.com= . ------=_Part_125_1657892244.1691510334806 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Certified Programs and Proofs (CPP) is an international conference on=20 practical and theoretical topics in all areas that consider formal=20 verification and certification as an essential paradigm for their work.=20 CPP spans areas of computer science, mathematics, logic, and education.

CPP 2024 (http= s://popl24.sigplan.org/home/CPP-2024) will be held on 15-16 January 2024 and will be co-located with POPL=20 2024 in London, UK. CPP 2024 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

CPP 2024 will welcome=20 contributions from all members of the community. The CPP 2024 organizers will strive to enable both in-person and remote participation, in=20 cooperation with the POPL 2024 organizers.

IMPORTANT DATES=C2=A0=

* Abstract Submission Deadline: 12 September 2023 at 23:59 AoE = (UTC-12h)
* Paper Submission Deadline: 19 September 2023 at 23:59 AoE = (UTC-12h)
* Notification (tentative): 21 November 2023
* Camera R= eady Deadline (tentative): Mid December 2023 (TBA)
* Conference: 15-16= January 2024

**** NEW: Submissions at=C2=A0https://cpp2024.hotcrp.com=C2=A0 are now open ****= =C2=A0

Deadlines expire at the end of the day, anywhere on earth. Abstract and=20 submission deadlines are strict and there will be no extensions.

DISTINGUISHED PAPER AWARDS=C2=A0

Around 10% of the accepted papers at CPP 2024 will be designated as=20 Distinguished Papers. This award highlights papers that the CPP program=20 committee thinks should be read by a broad audience due to their=20 relevance, originality, significance and clarity.

TOPICS OF INTE= REST

We welcome submissions in research areas related to formal certification=20 of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP:
* certified or certifying programming, compilatio= n, linking, OS kernels, runtime systems, security monitors, and hardware;* certified mathematical libraries and mathematical theorems;
* pr= oof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Is= abelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for c= ertified programming;
* program analysis, program verification, and pr= ogram synthesis;
* program logics, type systems, and semantics for cer= tified code;
* logics for certifying concurrent and distributed system= s;
* mechanized metatheory, formalized programming language semantics,= and logical frameworks;
* higher-order logics, dependent type theory,= proof theory, logical systems, separation logics, and logics for security;=
* verification of correctness and security properties;
* formall= y verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra,=20 polynomial systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality, first-ord= er logic, and higher-order unification;
* certificates for program ter= mination;
* formal models of computation;
* mechanized (un)decida= bility and computational complexity proofs;
* formally certified metho= ds for induction and coinduction;
* integration of interactive and aut= omated provers;
* logical foundations of proof assistants;
* appl= ications of AI and machine learning to formal certification;
* user in= terfaces for proof assistants and theorem provers;
* teaching mathemat= ics and computer science with proof assistants.

SUBMISSION GUIDE= LINES

Prior to the paper submission deadline, the authors should upload their=20 anonymized paper in PDF format through the HotCRP system at

https://cpp2024.hotcrp.com

The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution.=20 They must be formatted following the ACM SIGPLAN Proceedings format=20 using the acmart style with the sigplan option, which provides a=20 two-column style, using 10 point font for the main text, and a header=20 for double blind review submission, i.e.,

\documentclass[sigplan= ,10pt,anonymous,review]{acmart}\settopmatter{printfolios=3Dtrue,printccs=3D= false,printacmref=3Dfalse}

The submitted papers should not exceed 12 pages, including tables and=20 figures, but excluding bibliography and clearly marked appendices. The=20 papers should be self-contained without the appendices. Shorter papers=20 are welcome and will be given equal consideration. Submissions not=20 conforming to the requirements concerning format and maximum length may=20 be rejected without further consideration.

CPP=20 2024 will employ a lightweight double-blind reviewing process following=20 the process from previous years. To facilitate this, the submissions=20 must adhere to two rules:
(1) author names and institutions must be om= itted, and
(2) references to authors=E2=80=99 own related work should be in the third per= son=20 (e.g., not "We build on our previous work ..." but rather "We build on=20 the work of ...").

The purpose of this process=20 is to help the PC and external reviewers come to an initial judgment=20 about the paper without bias, not to make it impossible for them to=20 discover the authors if they were to try. Nothing should be done in the=20 name of anonymity that weakens the submission or makes the job of=20 reviewing it more difficult. In particular, important background=20 references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as=20 usual. For example, authors may post drafts of their papers on the web=20 or give talks on their research ideas. Note that POPL 2024 itself will=20 employ full double-blind reviewing, which differs from the light-weight=20 CPP process. =C2=A0This FAQ from previous SIGPLAN conference addresses many= =20 common concerns:=C2=A0https://popl20.sigplan.org/t= rack/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ

= We strongly encourage the authors to provide any supplementary material=20 that supports the claims made in the paper, such as proof scripts or=20 experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be=20 submitted:
(1) Anonymous supplementary material is made available to t= he reviewers before they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned=20 the identity of the authors.

Please use=20 anonymous supplementary material whenever possible, so that it can be=20 taken into account from the beginning of the reviewing process.

= The submitted papers must adhere to the SIGPLAN Republication Policy (https://ww= w.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on = Plagiarism (https://www.acm.org/publications/policies/plagiarism). Concurrent submissions to other conferences, journals, workshops with=20 proceedings, or similar forums of publication are not allowed. The PC=20 chairs should be informed of closely related work submitted to a=20 conference or journal in advance of submission. One author of each=20 accepted paper is expected to present it at the (possibly virtual)=20 conference.

PUBLICATION, COPYRIGHT AND OPEN ACCESS

Th= e CPP 2024 proceedings will be published by the ACM, and authors of=20 accepted papers will be required to choose one of the following=20 publication options:
(1) Author retains copyright of the=20 work and grants ACM a non-exclusive permission-to-publish license and,=20 optionally, licenses the work under a Creative Commons license.
(2) Au= thor retains copyright of the work and grants ACM an exclusive permission-t= o-publish license.
(3) Author transfers copyright of the work to ACM.<= br />
For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license=20 their work under the CC-BY license. ACM will charge you an article=20 processing fee for this option (currently, US$700), which you have to=20 pay directly with the ACM. You don=E2=80=99t need to pay this fee if the=20 corresponding author=E2=80=99s affiliating institution is part of ACM OPEN = (https://libraries.acm.org/subscriptions-access/open-participants).
For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a=20 repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1.=C2=A0

The official CPP 2024 proceedings will also be availab= le via SIGPLAN OpenTOC (htt= p://www.sigplan.org/OpenTOC/#cpp).

For ACM=E2=80=99s take on= this, see their Copyright Policy (http://www.acm.org/publications/policies/copy= right-policy) and Author Rights (http://authors.acm.org/main.html).

Sandrine Blazy, Un= iversity of Rennes, France (co-chair)
Brigitte Pientka, McGill Univers= ity, Canada (co-chair)

ORGANIZERS
Amin Timany, Aarhus Unive= rsity, Denmark (conference co-chair)
Dmitriy Traytel, University of Co= penhagen, Denmark (conference co-chair)
Sandrine Blazy, University of = Rennes (PC co-chair)
Brigitte Pientka, McGill University, Canada (PC c= o-chair)

CONTACT
For any questions please contact the two P= C chairs:
Sandrine Blazy =C2=A0<sandrine.blazy@irisa.fr>
Brigitte Pientka <bpientka@cs.mcgill.ca>=C2=A0

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/78f52ba2-366c-40b1-9a17-a6943c81ede6n%40googl= egroups.com.
------=_Part_125_1657892244.1691510334806-- ------=_Part_124_2040660379.1691510334806--