ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

--000000000000421aab063865567f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

*** Apologies for multiple copies ***

=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=3D


*EXTENDED SUBMISSION DEADLINE*

*IMPORTANT DATES (AoE)*

Abstract submission deadline: *30 June 2025 *
Paper submission deadline: *30 June 2025 *
Notification: *20 July 2025 *

=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=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=3D=3D=3D=3D

                                               CALL FOR PAPERS ASPOCP 2025

                  18th Workshop on Answer Set Programming and Other
Computing Paradigms
                                  https://sites.google.com/view/aspocp-2025=
/

                                                        September 12 - 13,
2025


                Affiliated with ICLP 2025, 41th International Conference on
Logic Programming

https://iclp25.demacs.unical.it/


=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=3D=3D=3D


*AIMS AND SCOPE      *



 Since its introduction in the late 1980s, Answer Set Programming (ASP) has
been widely applied to
 various knowledge-intensive tasks and combinatorial search problems. ASP
was found to be
 closely related to SAT, which led to a new method of computing answer sets
using SAT solvers and
 techniques adapted from SAT. This has been a much studied relationship,
and is currently extended
 towards satisfiability modulo theories (SMT). The relationship of ASP to
other computing paradigms,
 such as constraint satisfaction, quantified Boolean formulas (QBF),
Constraint Logic Programming
 (CLP), first-order logic (FOL), and FO(ID) is also the subject of active
research. Consequently, new
 methods of computing answer sets are being developed based on
relationships to these formalisms.


 The practical applications of ASP also foster work on multi-paradigm
problem-solving,
 and in particular language and solver integration. The most prominent
examples in this area
 currently are the integration of ASP with description logics (in the realm
of the Semantic Web) and
 constraint satisfaction (which recently led to the Constraint Answer Set
Programming (CASP)
 research direction). Furthermore, significant research effort is being
devoted to
 delivering ASP-based solutions to real-world problems and end-users. This
includes the development
 of visualization and explanation tools, which are becoming increasingly
important for the
 acceptance of ASP in practice.


 A large body of general results regarding ASP is available and several
efficient ASP solvers have
 been implemented. However, there are still significant challenges in
applying ASP to real life
 applications, and more interest in relating ASP to other computing
paradigms is emerging. This
 workshop will provide opportunities for researchers to identify these
challenges and to exchange
 ideas for overcoming them.

*TOPICS*

 Topics of interests include (but are not limited to):

 - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).

 - ASP and constraint programming.

 - ASP and other logic programming paradigms, e.g., FO(ID).

 - ASP and other nonmonotonic languages, e.g., action languages.

 - ASP and external means of computation.

 - ASP and probabilistic reasoning.

 - ASP and knowledge compilation.

 - ASP and machine learning.

 - New methods of computing answer sets using algorithms or systems of

   other paradigms.

 - Language extensions to ASP.

 - ASP and multi-agent systems.

 - ASP and multi-context systems.

 - Modularity and ASP.

 - ASP and argumentation.

 - Multi-paradigm problem solving involving ASP.

 - Evaluation and comparison of ASP to other paradigms.

 - ASP and related paradigms in applications.
 - Debugging and visualization of ASP programs.
 - Explanations for ASP or using ASP.
 - Hybridizing ASP with procedural approaches.

 - Enhanced grounding or beyond grounding.





*SUBMISSIONS *


 The workshop invites two types of submissions:
  - original papers describing original research.
  - non-original paper already published on formal proceedings or journals.
 Original papers must not exceed 13 pages (excluding references) and must
be formatted using
 the 1-column CEURART style available in the website.

 Authors are requested to clearly specify whether their submission is
original or not with a
 footnote on the first page.
 Authors are invited to submit their manuscripts in PDF via the EasyChair
system at the
 link: https://easychair.org/conferences/?conf=3Diclp25 and selecting the
track "Workshop on
 Answer Set Programming and Other Computing Paradigm".


*IMPORTANT DATES (AoE)*

  Abstract submission deadline:      30 May 2025       *30 June 2025*
  Paper submission deadline:          06 June 2025      *30 June 2025*
  Notification:                                   04 July 2025      *  20
July 2025*




*WORKSHOP CO-CHAIRS*

 Alice Tarzariol, University of Klagenfurt, Klagenfurt, Austria -
[email protected]
 Brais Mu=C3=B1iz, University of Coru=C3=B1a, A Coru=C3=B1a, Spain - brais.=
[email protected]

*PROGRAM COMMITTEE*

- Mario Alviano, University of Calabria
- Pedro Cabalar, University of Coru=C3=B1a
- Tran Cao, New Mexico State University
- Francesco Cauteruccio, University of Salerno
- Stefania Costantini, University of L'Aquila
- Carmine Dodaro, University of Calabria
- Esra Erdem, Sabanci University
- Cristina Feier, Technical University of Cluj-Napoca
- Johannes K. Fichte, Link=C3=B6ping University
- Tobias Geibinger, Vienna University of Technology
- Giovambattista Ianni, University of Calabria
- Tomi Janhunen, Tampere University
- Vladimir Lifschitz, University of Texas
- Marco Maratea, University of Calabria
- Michael Morak, University of Klagenfurt
- Orkunt Sabuncu, Potassco Solutions Turkey
- Konstantin Schekotihin, University of Klagenfurt
- Van-Giang Trinh, Inria Saclay
- Jia-Huai You, University of Alberta
- Johannes P. Wallner, TU Graz

--=20
---------------------------------------------------------------------------=
---------------------------------------
Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica=
=20
dell'Universit=C3=A0 della Calabria
 <https://www.unical.it/5x1000>


--000000000000421aab063865567f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: base64

PGRpdiBkaXI9Imx0ciI+DQo8ZGl2Pjxicj48L2Rpdj48ZGl2PioqKiBBcG9sb2dpZXMgZm9yIG11
bHRpcGxlIGNvcGllcyAqKio8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pg0KPGRpdiBk
aXI9ImF1dG8iPg0KPHByZT49PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PTwvcHJlPg0KPC9kaXY+DQo8ZGl2IGRpcj0i
YXV0byI+PGJyPg0KPC9kaXY+DQo8ZGl2IGRpcj0iYXV0byI+PGI+RVhURU5ERUQgU1VCTUlTU0lP
TiBERUFETElORTwvYj48L2Rpdj4NCjxkaXYgZGlyPSJhdXRvIj48Yj48YnI+DQo8L2I+PC9kaXY+
DQo8ZGl2IGRpcj0iYXV0byI+PGI+SU1QT1JUQU5UIERBVEVTIChBb0UpPC9iPjwvZGl2Pg0KPGRp
diBkaXI9ImF1dG8iPjxicj4NCjwvZGl2Pg0KPGRpdiBkaXI9ImF1dG8iPkFic3RyYWN0IHN1Ym1p
c3Npb24gZGVhZGxpbmU6IDxiPjMwIEp1bmUgMjAyNcKgPC9iPjwvZGl2Pg0KPGRpdiBkaXI9ImF1
dG8iPlBhcGVyIHN1Ym1pc3Npb24gZGVhZGxpbmU6wqA8Yj4zMCBKdW5lIDIwMjXCoDwvYj48L2Rp
dj4NCjxkaXYgZGlyPSJhdXRvIj5Ob3RpZmljYXRpb246wqA8Yj4yMCBKdWx5IDIwMjXCoDwvYj48
L2Rpdj4NCjxkaXYgZGlyPSJhdXRvIj48YnI+DQo8L2Rpdj4NCjxkaXYgZGlyPSJhdXRvIj4NCjxw
cmU+PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT08L3ByZT4NCjwvZGl2Pg0KPGJyPg0KPC9kaXY+DQo8ZGl2Pj09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT3CoDwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+wqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqBDQUxMIEZPUiBQQVBFUlMgQVNQT0NQIDIwMjUgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqDCoDwvZGl2Pg0KPGRpdj7CoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCAx
OHRoIFdvcmtzaG9wIG9uIEFuc3dlciBTZXQgUHJvZ3JhbW1pbmcgYW5kIE90aGVyIENvbXB1dGlu
ZyBQYXJhZGlnbXMgwqAgwqAgwqAgwqAgwqAgwqAgwqDCoDwvZGl2Pg0KPGRpdj48c3BhbiBzdHls
ZT0id2hpdGUtc3BhY2U6cHJlLXdyYXAiPjwvc3Bhbj7CoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoMKgPGEgaHJlZj0iaHR0cHM6Ly9zaXRlcy5nb29nbGUu
Y29tL3ZpZXcvYXNwb2NwLTIwMjUvIiB0YXJnZXQ9Il9ibGFuayI+aHR0cHM6Ly9zaXRlcy5nb29n
bGUuY29tL3ZpZXcvYXNwb2NwLTIwMjUvPC9hPsKgwqA8L2Rpdj4NCjxkaXY+wqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgU2VwdGVtYmVyIDEyIC0gMTMsIDIwMjUgwqAgwqAgwqAgwqAgwqA8L2Rp
dj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PsKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgwqA8L2Rpdj4NCjxkaXY+wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgQWZmaWxpYXRlZCB3
aXRoIElDTFAgMjAyNSwgNDF0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gTG9naWMgUHJv
Z3JhbW1pbmc8L2Rpdj4NCjxkaXY+wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqA8YSBocmVmPSJodHRw
czovL2ljbHAyNS5kZW1hY3MudW5pY2FsLml0LyIgdGFyZ2V0PSJfYmxhbmsiPmh0dHBzOi8vaWNs
cDI1LmRlbWFjcy51bmljYWwuaXQvPC9hPjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqDCoDwvZGl2Pg0KPGRpdj49
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09wqA8L2Rpdj4NCjxkaXY+wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqDCoDwvZGl2Pg0KPGRpdj48Yj5BSU1T
IEFORCBTQ09QRSDCoCDCoCDCoDwvYj7CoMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
PC9kaXY+DQo8ZGl2PsKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgwqA8L2Rpdj4NCjxkaXY+wqBTaW5jZSBpdHMgaW50cm9kdWN0aW9u
IGluIHRoZSBsYXRlIDE5ODBzLCBBbnN3ZXIgU2V0IFByb2dyYW1taW5nIChBU1ApIGhhcyBiZWVu
IHdpZGVseSBhcHBsaWVkIHRvwqA8L2Rpdj4NCjxkaXY+wqB2YXJpb3VzIGtub3dsZWRnZS1pbnRl
bnNpdmUgdGFza3MgYW5kIGNvbWJpbmF0b3JpYWwgc2VhcmNoIHByb2JsZW1zLiBBU1Agd2FzIGZv
dW5kIHRvIGJlPC9kaXY+DQo8ZGl2PsKgY2xvc2VseSByZWxhdGVkIHRvIFNBVCwgd2hpY2ggbGVk
IHRvIGEgbmV3IG1ldGhvZCBvZiBjb21wdXRpbmcgYW5zd2VyIHNldHMgdXNpbmcgU0FUIHNvbHZl
cnMgYW5kPC9kaXY+DQo8ZGl2PsKgdGVjaG5pcXVlcyBhZGFwdGVkIGZyb20gU0FULiBUaGlzIGhh
cyBiZWVuIGEgbXVjaCBzdHVkaWVkIHJlbGF0aW9uc2hpcCwgYW5kIGlzIGN1cnJlbnRseSBleHRl
bmRlZDwvZGl2Pg0KPGRpdj7CoHRvd2FyZHMgc2F0aXNmaWFiaWxpdHkgbW9kdWxvIHRoZW9yaWVz
IChTTVQpLiBUaGUgcmVsYXRpb25zaGlwIG9mIEFTUCB0byBvdGhlciBjb21wdXRpbmcgcGFyYWRp
Z21zLDwvZGl2Pg0KPGRpdj7CoHN1Y2ggYXMgY29uc3RyYWludCBzYXRpc2ZhY3Rpb24sIHF1YW50
aWZpZWQgQm9vbGVhbiBmb3JtdWxhcyAoUUJGKSwgQ29uc3RyYWludCBMb2dpYyBQcm9ncmFtbWlu
ZzwvZGl2Pg0KPGRpdj7CoChDTFApLCBmaXJzdC1vcmRlciBsb2dpYyAoRk9MKSwgYW5kIEZPKElE
KSBpcyBhbHNvIHRoZSBzdWJqZWN0IG9mIGFjdGl2ZSByZXNlYXJjaC4gQ29uc2VxdWVudGx5LCBu
ZXc8L2Rpdj4NCjxkaXY+wqBtZXRob2RzIG9mIGNvbXB1dGluZyBhbnN3ZXIgc2V0cyBhcmUgYmVp
bmcgZGV2ZWxvcGVkIGJhc2VkIG9uIHJlbGF0aW9uc2hpcHMgdG8gdGhlc2UgZm9ybWFsaXNtcy4g
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqA8L2Rpdj4NCjxkaXY+wqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqDCoDwv
ZGl2Pg0KPGRpdj7CoFRoZSBwcmFjdGljYWwgYXBwbGljYXRpb25zIG9mIEFTUCBhbHNvIGZvc3Rl
ciB3b3JrIG9uIG11bHRpLXBhcmFkaWdtIHByb2JsZW0tc29sdmluZyzCoDwvZGl2Pg0KPGRpdj7C
oGFuZCBpbiBwYXJ0aWN1bGFyIGxhbmd1YWdlIGFuZCBzb2x2ZXIgaW50ZWdyYXRpb24uIFRoZSBt
b3N0IHByb21pbmVudCBleGFtcGxlcyBpbiB0aGlzIGFyZWE8L2Rpdj4NCjxkaXY+wqBjdXJyZW50
bHkgYXJlIHRoZSBpbnRlZ3JhdGlvbiBvZiBBU1Agd2l0aCBkZXNjcmlwdGlvbiBsb2dpY3MgKGlu
IHRoZSByZWFsbSBvZiB0aGUgU2VtYW50aWMgV2ViKSBhbmQ8L2Rpdj4NCjxkaXY+wqBjb25zdHJh
aW50IHNhdGlzZmFjdGlvbiAod2hpY2ggcmVjZW50bHkgbGVkIHRvIHRoZSBDb25zdHJhaW50IEFu
c3dlciBTZXQgUHJvZ3JhbW1pbmcgKENBU1ApPC9kaXY+DQo8ZGl2PsKgcmVzZWFyY2ggZGlyZWN0
aW9uKS4gRnVydGhlcm1vcmUsIHNpZ25pZmljYW50IHJlc2VhcmNoIGVmZm9ydCBpcyBiZWluZyBk
ZXZvdGVkIHRvwqA8L2Rpdj4NCjxkaXY+wqBkZWxpdmVyaW5nIEFTUC1iYXNlZCBzb2x1dGlvbnMg
dG8gcmVhbC13b3JsZCBwcm9ibGVtcyBhbmQgZW5kLXVzZXJzLiBUaGlzIGluY2x1ZGVzIHRoZSBk
ZXZlbG9wbWVudDwvZGl2Pg0KPGRpdj7CoG9mIHZpc3VhbGl6YXRpb24gYW5kIGV4cGxhbmF0aW9u
IHRvb2xzLCB3aGljaCBhcmUgYmVjb21pbmcgaW5jcmVhc2luZ2x5IGltcG9ydGFudCBmb3IgdGhl
wqA8L2Rpdj4NCjxkaXY+wqBhY2NlcHRhbmNlIG9mIEFTUCBpbiBwcmFjdGljZS4gwqAgwqAgwqDC
oDwvZGl2Pg0KPGRpdj7CoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoCDCoMKgPC9kaXY+DQo8ZGl2PsKgQSBsYXJnZSBib2R5IG9mIGdlbmVyYWwg
cmVzdWx0cyByZWdhcmRpbmcgQVNQIGlzIGF2YWlsYWJsZSBhbmQgc2V2ZXJhbCBlZmZpY2llbnQg
QVNQIHNvbHZlcnMgaGF2ZTwvZGl2Pg0KPGRpdj7CoGJlZW4gaW1wbGVtZW50ZWQuIEhvd2V2ZXIs
IHRoZXJlIGFyZSBzdGlsbCBzaWduaWZpY2FudCBjaGFsbGVuZ2VzIGluIGFwcGx5aW5nIEFTUCB0
byByZWFsIGxpZmU8L2Rpdj4NCjxkaXY+wqBhcHBsaWNhdGlvbnMsIGFuZCBtb3JlIGludGVyZXN0
IGluIHJlbGF0aW5nIEFTUCB0byBvdGhlciBjb21wdXRpbmcgcGFyYWRpZ21zIGlzIGVtZXJnaW5n
LiBUaGlzwqA8L2Rpdj4NCjxkaXY+wqB3b3Jrc2hvcCB3aWxsIHByb3ZpZGUgb3Bwb3J0dW5pdGll
cyBmb3IgcmVzZWFyY2hlcnMgdG8gaWRlbnRpZnkgdGhlc2UgY2hhbGxlbmdlcyBhbmQgdG8gZXhj
aGFuZ2U8L2Rpdj4NCjxkaXY+wqBpZGVhcyBmb3Igb3ZlcmNvbWluZyB0aGVtLiDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoCDCoCDCoCDCoMKgPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj48
Yj5UT1BJQ1M8L2I+wqDCoMKgPC9kaXY+DQo8ZGl2PsKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgPC9kaXY+DQo8ZGl2PsKgVG9waWNzIG9mIGludGVyZXN0
cyBpbmNsdWRlIChidXQgYXJlIG5vdCBsaW1pdGVkIHRvKTogwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqA8L2Rpdj4NCjxkaXY+wqAtIEFTUCBhbmQgY2xhc3NpY2FsIGxvZ2lj
IGZvcm1hbGlzbXMgKFNBVC9GT0wvUUJGL1NNVC9ETCkuIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgwqA8L2Rpdj4NCjxkaXY+wqAtIEFTUCBhbmQgY29uc3RyYWludCBwcm9ncmFtbWluZy4g
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqA8L2Rpdj4NCjxkaXY+wqAtIEFTUCBhbmQgb3RoZXIgbG9naWMgcHJvZ3JhbW1p
bmcgcGFyYWRpZ21zLCBlLmcuLCBGTyhJRCkuIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
wqA8L2Rpdj4NCjxkaXY+wqAtIEFTUCBhbmQgb3RoZXIgbm9ubW9ub3RvbmljIGxhbmd1YWdlcywg
ZS5nLiwgYWN0aW9uIGxhbmd1YWdlcy4gwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqA8L2Rpdj4NCjxk
aXY+wqAtIEFTUCBhbmQgZXh0ZXJuYWwgbWVhbnMgb2YgY29tcHV0YXRpb24uIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgwqA8L2Rpdj4NCjxk
aXY+wqAtIEFTUCBhbmQgcHJvYmFiaWxpc3RpYyByZWFzb25pbmcuIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgwqA8L2Rpdj4N
CjxkaXY+wqAtIEFTUCBhbmQga25vd2xlZGdlIGNvbXBpbGF0aW9uLiDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoMKgPC9k
aXY+DQo8ZGl2PsKgLSBBU1AgYW5kIG1hY2hpbmUgbGVhcm5pbmcuIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgPC9kaXY+DQo8ZGl2PsKgLSBOZXcgbWV0aG9kcyBvZiBjb21wdXRpbmcgYW5zd2VyIHNldHMg
dXNpbmcgYWxnb3JpdGhtcyBvciBzeXN0ZW1zIG9mIMKgIMKgIMKgIMKgIMKgPC9kaXY+DQo8ZGl2
PsKgIMKgb3RoZXIgcGFyYWRpZ21zLiDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoMKg
PC9kaXY+DQo8ZGl2PsKgLSBMYW5ndWFnZSBleHRlbnNpb25zIHRvIEFTUC4gwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqA8L2Rpdj4NCjxkaXY+wqAtIEFTUCBhbmQgbXVsdGktYWdlbnQgc3lzdGVtcy4gwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqDCoDwvZGl2Pg0KPGRpdj7CoC0gQVNQIGFuZCBtdWx0aS1jb250ZXh0IHN5c3RlbXMu
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgwqA8L2Rpdj4NCjxkaXY+wqAtIE1vZHVsYXJpdHkgYW5kIEFTUC4gwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqA8L2Rpdj4NCjxkaXY+wqAtIEFTUCBhbmQgYXJndW1lbnRh
dGlvbi4gwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqDCoDwvZGl2Pg0KPGRpdj7CoC0gTXVsdGktcGFy
YWRpZ20gcHJvYmxlbSBzb2x2aW5nIGludm9sdmluZyBBU1AuIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgPC9kaXY+DQo8ZGl2PsKgLSBFdmFsdWF0aW9uIGFu
ZCBjb21wYXJpc29uIG9mIEFTUCB0byBvdGhlciBwYXJhZGlnbXMuIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgwqA8L2Rpdj4NCjxkaXY+wqAtIEFTUCBhbmQgcmVsYXRlZCBwYXJh
ZGlnbXMgaW4gYXBwbGljYXRpb25zLiDCoCDCoDwvZGl2Pg0KPGRpdj7CoC0gRGVidWdnaW5nIGFu
ZCB2aXN1YWxpemF0aW9uIG9mIEFTUCBwcm9ncmFtcy48L2Rpdj4NCjxkaXY+wqAtIEV4cGxhbmF0
aW9ucyBmb3IgQVNQIG9yIHVzaW5nIEFTUC4gwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqDCoDwvZGl2Pg0KPGRpdj7CoC0gSHlicmlkaXppbmcgQVNQIHdpdGggcHJv
Y2VkdXJhbCBhcHByb2FjaGVzLiDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoDwvZGl2Pg0KPGRpdj7CoC0gRW5oYW5jZWQgZ3JvdW5kaW5nIG9yIGJleW9u
ZCBncm91bmRpbmcuIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgPC9kaXY+DQo8ZGl2PsKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgwqA8L2Rpdj4NCjxkaXY+wqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqDCoDwvZGl2
Pg0KPGRpdj48Yj5TVUJNSVNTSU9OU8KgPC9iPsKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj7CoFRo
ZSB3b3Jrc2hvcCBpbnZpdGVzIHR3byB0eXBlcyBvZiBzdWJtaXNzaW9uczo8L2Rpdj4NCjxkaXY+
wqAgLSBvcmlnaW5hbCBwYXBlcnMgZGVzY3JpYmluZyBvcmlnaW5hbCByZXNlYXJjaC48L2Rpdj4N
CjxkaXY+wqAgLSBub24tb3JpZ2luYWwgcGFwZXIgYWxyZWFkeSBwdWJsaXNoZWQgb24gZm9ybWFs
IHByb2NlZWRpbmdzIG9yIGpvdXJuYWxzLjwvZGl2Pg0KPGRpdj7CoE9yaWdpbmFsIHBhcGVycyBt
dXN0IG5vdCBleGNlZWQgMTMgcGFnZXMgKGV4Y2x1ZGluZyByZWZlcmVuY2VzKSBhbmQgbXVzdCBi
ZSBmb3JtYXR0ZWQgdXNpbmfCoDwvZGl2Pg0KPGRpdj7CoHRoZSAxLWNvbHVtbiBDRVVSQVJUIHN0
eWxlIGF2YWlsYWJsZSBpbiB0aGUgd2Vic2l0ZS48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8
ZGl2PsKgQXV0aG9ycyBhcmUgcmVxdWVzdGVkIHRvIGNsZWFybHkgc3BlY2lmeSB3aGV0aGVyIHRo
ZWlyIHN1Ym1pc3Npb24gaXMgb3JpZ2luYWwgb3Igbm90IHdpdGggYcKgPC9kaXY+DQo8ZGl2PsKg
Zm9vdG5vdGUgb24gdGhlIGZpcnN0IHBhZ2UuPC9kaXY+DQo8ZGl2PsKgQXV0aG9ycyBhcmUgaW52
aXRlZCB0byBzdWJtaXQgdGhlaXIgbWFudXNjcmlwdHMgaW4gUERGIHZpYSB0aGUgRWFzeUNoYWly
IHN5c3RlbSBhdCB0aGXCoDwvZGl2Pg0KPGRpdj7CoGxpbms6wqA8YSBocmVmPSJodHRwczovL2Vh
c3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9aWNscDI1IiB0YXJnZXQ9Il9ibGFuayI+aHR0
cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPWljbHAyNTwvYT7CoGFuZCBzZWxl
Y3RpbmcgdGhlIHRyYWNrICZxdW90O1dvcmtzaG9wIG9uwqA8L2Rpdj4NCjxkaXY+wqBBbnN3ZXIg
U2V0IFByb2dyYW1taW5nIGFuZCBPdGhlciBDb21wdXRpbmcgUGFyYWRpZ20mcXVvdDsuPC9kaXY+
DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PGI+SU1QT1JUQU5U
IERBVEVTIChBb0UpPC9iPjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+wqAgQWJzdHJh
Y3Qgc3VibWlzc2lvbiBkZWFkbGluZTogwqAgwqAgwqA8c3RyaWtlPjMwIE1heSAyMDI1PC9zdHJp
a2U+wqAgwqAgwqAgwqA8Yj4zMCBKdW5lIDIwMjU8L2I+PC9kaXY+DQo8ZGl2PsKgIFBhcGVyIHN1
Ym1pc3Npb24gZGVhZGxpbmU6IMKgIMKgIMKgIMKgwqA8c3RyaWtlPsKgMDYgSnVuZSAyMDI1PC9z
dHJpa2U+wqAgwqAgwqDCoDxiPjMwIEp1bmUgMjAyNTwvYj48L2Rpdj4NCjxkaXY+wqAgTm90aWZp
Y2F0aW9uOsKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgPHN0cmlrZT4wNCBKdWx5IDIwMjU8L3N0cmlrZT7CoCDCoCDCoMKgPGI+wqAgMjAgSnVseSAy
MDI1PC9iPjwvZGl2Pg0KPGRpdj7CoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoCDCoA0KIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgDQogwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg
wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAN
CiDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC
oCDCoA0KIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg
IMKgIMKgIMKgIMKgIMKgIMKgIMKgwqA8L2Rpdj4NCjxkaXY+PGI+V09SS1NIT1AgQ08tQ0hBSVJT
PC9iPjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+wqBBbGljZSBUYXJ6YXJpb2wsIFVu
aXZlcnNpdHkgb2YgS2xhZ2VuZnVydCwgS2xhZ2VuZnVydCwgQXVzdHJpYSAtwqA8YSBocmVmPSJt
YWlsdG86YWxpY2UudGFyemFyaW9sQGFhdS5hdCIgdGFyZ2V0PSJfYmxhbmsiPmFsaWNlLnRhcnph
cmlvbEBhYXUuYXQ8L2E+PC9kaXY+DQo8ZGl2PsKgQnJhaXMgTXXDsWl6LCBVbml2ZXJzaXR5IG9m
IENvcnXDsWEsIEEgQ29ydcOxYSwgU3BhaW4gLcKgPGEgaHJlZj0ibWFpbHRvOmJyYWlzLm1jYXN0
cm9AdWRjLmVzIiB0YXJnZXQ9Il9ibGFuayI+YnJhaXMubWNhc3Ryb0B1ZGMuZXM8L2E+PC9kaXY+
DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj48Yj5QUk9HUkFNIENPTU1JVFRFRTwvYj48L2Rpdj4N
CjxkaXY+PGI+PGJyPg0KPC9iPjwvZGl2Pg0KPGRpdj4NCjxkaXY+LSBNYXJpbyBBbHZpYW5vLCBV
bml2ZXJzaXR5IG9mIENhbGFicmlhPC9kaXY+DQo8ZGl2Pi0gUGVkcm8gQ2FiYWxhciwgVW5pdmVy
c2l0eSBvZiBDb3J1w7FhPC9kaXY+DQo8ZGl2Pi0gVHJhbiBDYW8sIE5ldyBNZXhpY28gU3RhdGUg
VW5pdmVyc2l0eTwvZGl2Pg0KPGRpdj4tIEZyYW5jZXNjbyBDYXV0ZXJ1Y2NpbywgVW5pdmVyc2l0
eSBvZiBTYWxlcm5vPC9kaXY+DQo8ZGl2Pi0gU3RlZmFuaWEgQ29zdGFudGluaSwgVW5pdmVyc2l0
eSBvZiBMJiMzOTtBcXVpbGE8L2Rpdj4NCjxkaXY+LSBDYXJtaW5lIERvZGFybywgVW5pdmVyc2l0
eSBvZiBDYWxhYnJpYTwvZGl2Pg0KPGRpdj4tIEVzcmEgRXJkZW0sIFNhYmFuY2kgVW5pdmVyc2l0
eTwvZGl2Pg0KPGRpdj4tIENyaXN0aW5hIEZlaWVyLCBUZWNobmljYWwgVW5pdmVyc2l0eSBvZiBD
bHVqLU5hcG9jYTwvZGl2Pg0KPGRpdj4tIEpvaGFubmVzIEsuIEZpY2h0ZSwgTGlua8O2cGluZyBV
bml2ZXJzaXR5PC9kaXY+DQo8ZGl2Pi0gVG9iaWFzIEdlaWJpbmdlciwgVmllbm5hIFVuaXZlcnNp
dHkgb2YgVGVjaG5vbG9neTwvZGl2Pg0KPGRpdj4tIEdpb3ZhbWJhdHRpc3RhIElhbm5pLCBVbml2
ZXJzaXR5IG9mIENhbGFicmlhPC9kaXY+DQo8ZGl2Pi0gVG9taSBKYW5odW5lbiwgVGFtcGVyZSBV
bml2ZXJzaXR5PC9kaXY+DQo8ZGl2Pi0gVmxhZGltaXIgTGlmc2NoaXR6LCBVbml2ZXJzaXR5IG9m
IFRleGFzPC9kaXY+DQo8ZGl2Pi0gTWFyY28gTWFyYXRlYSwgVW5pdmVyc2l0eSBvZiBDYWxhYnJp
YTwvZGl2Pg0KPGRpdj4tIE1pY2hhZWwgTW9yYWssIFVuaXZlcnNpdHkgb2YgS2xhZ2VuZnVydDwv
ZGl2Pg0KPGRpdj4tIE9ya3VudCBTYWJ1bmN1LCBQb3Rhc3NjbyBTb2x1dGlvbnMgVHVya2V5PC9k
aXY+DQo8ZGl2Pi0gS29uc3RhbnRpbiBTY2hla290aWhpbiwgVW5pdmVyc2l0eSBvZiBLbGFnZW5m
dXJ0PC9kaXY+DQo8ZGl2Pi0gVmFuLUdpYW5nIFRyaW5oLCBJbnJpYSBTYWNsYXk8L2Rpdj4NCjxk
aXY+LSBKaWEtSHVhaSBZb3UsIFVuaXZlcnNpdHkgb2YgQWxiZXJ0YTwvZGl2Pg0KPGRpdj4tIEpv
aGFubmVzIFAuIFdhbGxuZXIsIFRVIEdyYXo8L2Rpdj48L2Rpdj4NCg0KPGJyPjwvZGl2Pg0KCjxi
cj4KPGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6QXJpYWwsSGVsdmV0aWNhLHNhbnMtc2VyaWY7Zm9u
dC1zaXplOjEuM2VtIj4tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08c3Bhbj48L3NwYW4+
PHNwYW4+PC9zcGFuPjxzcGFuPjwvc3Bhbj48c3Bhbj48L3NwYW4+PHNwYW4+PC9zcGFuPjxzcGFu
Pjwvc3Bhbj48d2JyPi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLTxzcGFuPjwvc3Bhbj48
c3Bhbj48L3NwYW4+PHNwYW4+PC9zcGFuPjxzcGFuPjwvc3Bhbj48c3Bhbj48L3NwYW4+PHNwYW4+
PC9zcGFuPjx3YnI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tPHNwYW4+PC9zcGFuPjxz
cGFuPjwvc3Bhbj48c3Bhbj48L3NwYW4+PHNwYW4+PC9zcGFuPjxzcGFuPjwvc3Bhbj48c3Bhbj48
L3NwYW4+PHdicj4tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08L2Rpdj48ZGl2Pjxmb250IGZhY2U9
IkFyaWFsLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWYiPjxzcGFuIHN0eWxlPSJmb250LXNpemU6MTNw
eCI+SWwgYmFubmVyIMOoIGdlbmVyYXRvIGF1dG9tYXRpY2FtZW50ZSBkYWwgc2Vydml6aW8gZGkg
cG9zdGEgZWxldHRyb25pY2EgZGVsbCYjMzk7VW5pdmVyc2l0w6AgZGVsbGEgQ2FsYWJyaWE8L3Nw
YW4+PC9mb250PjwvZGl2PjxkaXY+PGZvbnQgZmFjZT0iQXJpYWwsIEhlbHZldGljYSwgc2Fucy1z
ZXJpZiI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxM3B4Ij48YSBocmVmPSJodHRwczovL3d3dy51
bmljYWwuaXQvNXgxMDAwIiB0YXJnZXQ9Il9ibGFuayI+PGltZyBzcmM9Imh0dHBzOi8vd3d3LnVu
aWNhbC5pdC9tZWRpYS9tZWRpYXMvMjAyNC81WDEwMDBfMjAyNF9tYWlsX29rXzIwLndlYnAiIGFs
dD0iaHR0cHM6Ly93d3cudW5pY2FsLml0LzV4MTAwMCI+PC9hPjxicj48L3NwYW4+PC9mb250Pjwv
ZGl2Pg==
--000000000000421aab063865567f--