A formal library of set relations and its application to synchronous languages
Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and execution of binary set relations is presented. The formal library consists of a...
- Autores:
-
Rocha, Camilo
Muñoz, César
Dowek, Gilles
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2011
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/1900
- Acceso en línea:
- https://repositorio.escuelaing.edu.co/handle/001/1900
- Palabra clave:
- Establecer relaciones
Synchronous languages
Semántica de pasos pequeños
Semántica lógica
Ejecución del plan
Set relations
Small-step semantics
Rewriting logic semantics
Plan execution
Lenguajes síncronos
- Rights
- closedAccess
- License
- http://purl.org/coar/access_right/c_14cb
| id |
ESCUELAIG2_09f2ba0420bb4eee4653eb3a2c9b6846 |
|---|---|
| oai_identifier_str |
oai:repositorio.escuelaing.edu.co:001/1900 |
| network_acronym_str |
ESCUELAIG2 |
| network_name_str |
Repositorio Institucional ECI |
| repository_id_str |
|
| dc.title.eng.fl_str_mv |
A formal library of set relations and its application to synchronous languages |
| title |
A formal library of set relations and its application to synchronous languages |
| spellingShingle |
A formal library of set relations and its application to synchronous languages Establecer relaciones Synchronous languages Semántica de pasos pequeños Semántica lógica Ejecución del plan Set relations Small-step semantics Rewriting logic semantics Plan execution Lenguajes síncronos |
| title_short |
A formal library of set relations and its application to synchronous languages |
| title_full |
A formal library of set relations and its application to synchronous languages |
| title_fullStr |
A formal library of set relations and its application to synchronous languages |
| title_full_unstemmed |
A formal library of set relations and its application to synchronous languages |
| title_sort |
A formal library of set relations and its application to synchronous languages |
| dc.creator.fl_str_mv |
Rocha, Camilo Muñoz, César Dowek, Gilles |
| dc.contributor.author.none.fl_str_mv |
Rocha, Camilo Muñoz, César Dowek, Gilles |
| dc.contributor.researchgroup.spa.fl_str_mv |
Informática |
| dc.subject.armarc.spa.fl_str_mv |
Establecer relaciones Synchronous languages Semántica de pasos pequeños Semántica lógica Ejecución del plan |
| topic |
Establecer relaciones Synchronous languages Semántica de pasos pequeños Semántica lógica Ejecución del plan Set relations Small-step semantics Rewriting logic semantics Plan execution Lenguajes síncronos |
| dc.subject.proposal.eng.fl_str_mv |
Set relations Small-step semantics Rewriting logic semantics Plan execution |
| dc.subject.proposal.spa.fl_str_mv |
Lenguajes síncronos |
| description |
Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and execution of binary set relations is presented. The formal library consists of a set of theories written in the Prototype Verification System (PVS) that contains definitions and proofs of properties, such as determinism and compositionality, for synchronous relations. The paper also proposes a serialization procedure that enables the simulation of synchronous set relations via set rewriting systems. The library and the serialization procedure are illustrated with the rewriting logic semantics of the Plan Execution Interchange Language (PLEXIL), a rich synchronous plan execution language developed by NASA to support autonomous spacecraft operations. |
| publishDate |
2011 |
| dc.date.issued.none.fl_str_mv |
2011 |
| dc.date.accessioned.none.fl_str_mv |
2021-12-03T18:31:03Z |
| dc.date.available.none.fl_str_mv |
2021-12-03T18:31:03Z |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.issn.none.fl_str_mv |
03043975 |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.escuelaing.edu.co/handle/001/1900 |
| identifier_str_mv |
03043975 |
| url |
https://repositorio.escuelaing.edu.co/handle/001/1900 |
| dc.language.iso.spa.fl_str_mv |
eng |
| language |
eng |
| dc.relation.citationendpage.spa.fl_str_mv |
4866 |
| dc.relation.citationissue.spa.fl_str_mv |
37 |
| dc.relation.citationstartpage.spa.fl_str_mv |
4853 |
| dc.relation.citationvolume.spa.fl_str_mv |
412 |
| dc.relation.indexed.spa.fl_str_mv |
N/A |
| dc.relation.ispartofjournal.eng.fl_str_mv |
Theoretical Computer Science |
| dc.relation.references.spa.fl_str_mv |
M. AlTurki, J. Meseguer, Reduction semantics and formal analysis of Orc programs, Electr. Notes Theor. Comput. Sci. 200 (3) (2008) 25–41. F. Baader, T. Nipkow, Term Rewriting and all that, Cambridge University Press, Cambridge, 1998. J.-P. Banâtre, D.L. Métayer, The GAMMA model and its discipline of programming, Science of Computer Programming 15 (1) (1990) 55–77. G. Berry, The foundations of Esterel, in: Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge, MA, USA, 2000, pp. 425–454. G. Berry, G. Boudol, The chemical abstract machine, Theoretical Computer Science 96 (1) (1992) 217–248. P. Caspi, D. Pilaud, N. Halbwachs, J.A. Plaice, Lustre: a declarative language for real-time programming, in: POPL’87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages, ACM, New York, NY, USA, 1987, pp. 178–188. M. Clavel, F. Durán, S. Eker, J. Meseguer, P. Lincoln, N. Martí-Oliet, C. Talcott, All About Maude — A High-Performance Logical Framework, 1st ed., in: LNCS, vol. 4350, Springer, 2007. S. Dajani-Brown, D. Cofer, A. Bouali, Formal verification of an avionics sensor voter using SCADE, in: Y. Lakhnech, S. Yovine (Eds.), FORMATS/FTRTFT, in: Lecture Notes in Computer Science, vol. 3253, Springer, 2004, pp. 5–20. R. De Simone, A. Ressouche, Compositional semantics of Esterel and verification by compositional reductions, Lecture Notes in Computer Science 818 (1994) 441–454. N. Dershowitz, J.P. Jouannaud, Rewrite systems, in: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), The MIT Press, 1990, pp. 243–320. G. Dowek, C. Muñoz, C. Păsăreanu, A formal analysis framework for PLEXIL, in: Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems, September 2007, pp. 45–51. G. Dowek, C. Muñoz, C. Păsăreanu, A small-step semantics of PLEXIL, Technical Report 2008-11, National Institute of Aerospace, Hampton, VA, 2008. G. Dowek, C. Muñoz, C. Rocha, Rewriting logic semantics of a plan execution language, CoRR abs/1002.2872, 2010. T. Estlin, A. Jónsson, C. Păsăreanu, R. Simmons, K. Tso, V. Verna, Plan Execution Interchange Language (PLEXIL), Technical Memorandum TM-2006- 213483, NASA, 2006. P.L. Guernic, T. Gautier, M.L. Borgne, C.L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE 79 (9) (1991) 1321–1336. K. Harbusch, P. Poller, Structural translation with synchronous rewriting systems, Technical Report RT-94-01, Université Paris 7, Paris, France, 1994. D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming 8 (3) (1987) 231–274. K. Heninger, Specifying software requirements for complex systems: new techniques and their application, IEEE Transactions on Software Engineering 6 (1) (1980) 2–13. D. Lucanu, Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions, Electronic Notes in Theoretical Computer Science 237 (2009) 107–125. G. Lüttgen, M. Beeck, R. Cleaveland, A compositional approach to statecharts semantics, in: ACM SIGSOFT 8th Intl. Symposium on Foundations of Software Engineering (FSE 2000), in: ACM Software Engineering Notes, vols. 25, 6, ACM Press, San Diego, California, November 2000, pp. 120–129. G. Lüttgen, M. Mendler, Axiomatizing an algebra of step reactions for synchronous languages, in: L. Brim, P. Jancar, M. Kretínský, A. Kucera (Eds.), CONCUR, in: Lecture Notes in Computer Science, vol. 2421, Springer, 2002, pp. 386–401. J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science 96 (1) (1992) 73–155. J. Meseguer, Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems, in: S.F. Smith, C.L. Talcott (Eds.), FMOODS, in: IFIP Conference Proceedings, vol. 177, Kluwer, 2000, p. 89. J. Meseguer, G. Rosu, The rewriting logic semantics project, Theoretical Computer Science 373 (3) (2007) 213–237. R. Owen, S. Giorgio, Synchronous models of language, in: Proceedings of the 34th annual meeting on Association for Computational Linguistics, Association for Computational Linguistics, Morristown, NJ, USA, 1996, pp. 116–123. S. Owre, J. Rushby, N. Shankar, PVS: a prototype verification system, in: D. Kapur (Ed.), 11th International Conference on Automated Deduction (CADE), in: Lecture Notes in Artificial Intelligence, vol. 607, Springer-Verlag, Saratoga, NY, June 1992, pp. 748–752. G.D. Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming 60–61 (2004) 17–139. P. Sampath, A.C. Rajeev, S. Ramesh, K.C. Shashidhar, Testing model-processing tools for embedded systems, in: IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2007, pp. 203–214. T. Serbanuta, G. Stefanescu, G. Rosu, Defining and executing P systems with structured data in k, in: D.W. Corne, P. Frisco, G. Paun, G. Rozenberg, A. Salomaa (Eds.), Workshop on Membrane Computing, in: Lecture Notes in Computer Science, vol. 5391, Springer, 2008, pp. 374–393. O. Tardieu, A deterministic logical semantics for pure esterel, ACM Transactions on Programming Languages and Systems 29 (2) (2007) 8. P. Viry, Equational rules for rewriting logic, Theoretical Computer Science 285 (2002) 487–517. |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_14cb |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/closedAccess |
| eu_rights_str_mv |
closedAccess |
| rights_invalid_str_mv |
http://purl.org/coar/access_right/c_14cb |
| dc.format.extent.spa.fl_str_mv |
14 páginas. |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Elsevier B.V. |
| institution |
Escuela Colombiana de Ingeniería Julio Garavito |
| bitstream.url.fl_str_mv |
https://repositorio.escuelaing.edu.co/bitstream/001/1900/5/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.pdf.txt https://repositorio.escuelaing.edu.co/bitstream/001/1900/4/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.png https://repositorio.escuelaing.edu.co/bitstream/001/1900/6/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.pdf.jpg https://repositorio.escuelaing.edu.co/bitstream/001/1900/3/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.pdf https://repositorio.escuelaing.edu.co/bitstream/001/1900/2/license.txt |
| bitstream.checksum.fl_str_mv |
1362aa37bb2add37ec7223760f9db97d 24d79a606f7fb8aed3c4e9c2ee9465f5 fa528a0038b957c83dd4ea23ffef0801 c3f0427d3f0571bc550d6cb7ca26bf93 5a7ca94c2e5326ee169f979d71d0f06e |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Escuela Colombiana de Ingeniería Julio Garavito |
| repository.mail.fl_str_mv |
repositorio.eci@escuelaing.edu.co |
| _version_ |
1814355602631032832 |
| spelling |
Rocha, Camiloebfd407af468605647a49186059da397600Muñoz, César70953c4ce36fbd95e2df915d4688e3b1600Dowek, Gilles76d5ba62f6773dccda4db68e64e2b416600Informática2021-12-03T18:31:03Z2021-12-03T18:31:03Z201103043975https://repositorio.escuelaing.edu.co/handle/001/1900Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and execution of binary set relations is presented. The formal library consists of a set of theories written in the Prototype Verification System (PVS) that contains definitions and proofs of properties, such as determinism and compositionality, for synchronous relations. The paper also proposes a serialization procedure that enables the simulation of synchronous set relations via set rewriting systems. The library and the serialization procedure are illustrated with the rewriting logic semantics of the Plan Execution Interchange Language (PLEXIL), a rich synchronous plan execution language developed by NASA to support autonomous spacecraft operations.Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and execution of binary set relations is presented. The formal library consists of a set of theories written in the Prototype Verification System (PVS) that contains definitions and proofs of properties, such as determinism and compositionality, for synchronous relations. The paper also proposes a serialization procedure that enables the simulation of synchronous set relations via set rewriting systems. The library and the serialization procedure are illustrated with the rewriting logic semantics of the Plan Execution Interchange Language (PLEXIL), a rich synchronous plan execution language developed by NASA to support autonomous spacecraft operations.14 páginas.application/pdfengElsevier B.V.A formal library of set relations and its application to synchronous languagesArtículo de revistainfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Textinfo:eu-repo/semantics/articlehttp://purl.org/redcol/resource_type/ARThttp://purl.org/coar/version/c_970fb48d4fbd8a854866374853412N/ATheoretical Computer ScienceM. AlTurki, J. Meseguer, Reduction semantics and formal analysis of Orc programs, Electr. Notes Theor. Comput. Sci. 200 (3) (2008) 25–41.F. Baader, T. Nipkow, Term Rewriting and all that, Cambridge University Press, Cambridge, 1998.J.-P. Banâtre, D.L. Métayer, The GAMMA model and its discipline of programming, Science of Computer Programming 15 (1) (1990) 55–77.G. Berry, The foundations of Esterel, in: Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge, MA, USA, 2000, pp. 425–454.G. Berry, G. Boudol, The chemical abstract machine, Theoretical Computer Science 96 (1) (1992) 217–248.P. Caspi, D. Pilaud, N. Halbwachs, J.A. Plaice, Lustre: a declarative language for real-time programming, in: POPL’87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages, ACM, New York, NY, USA, 1987, pp. 178–188.M. Clavel, F. Durán, S. Eker, J. Meseguer, P. Lincoln, N. Martí-Oliet, C. Talcott, All About Maude — A High-Performance Logical Framework, 1st ed., in: LNCS, vol. 4350, Springer, 2007.S. Dajani-Brown, D. Cofer, A. Bouali, Formal verification of an avionics sensor voter using SCADE, in: Y. Lakhnech, S. Yovine (Eds.), FORMATS/FTRTFT, in: Lecture Notes in Computer Science, vol. 3253, Springer, 2004, pp. 5–20.R. De Simone, A. Ressouche, Compositional semantics of Esterel and verification by compositional reductions, Lecture Notes in Computer Science 818 (1994) 441–454.N. Dershowitz, J.P. Jouannaud, Rewrite systems, in: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), The MIT Press, 1990, pp. 243–320.G. Dowek, C. Muñoz, C. Păsăreanu, A formal analysis framework for PLEXIL, in: Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems, September 2007, pp. 45–51.G. Dowek, C. Muñoz, C. Păsăreanu, A small-step semantics of PLEXIL, Technical Report 2008-11, National Institute of Aerospace, Hampton, VA, 2008.G. Dowek, C. Muñoz, C. Rocha, Rewriting logic semantics of a plan execution language, CoRR abs/1002.2872, 2010.T. Estlin, A. Jónsson, C. Păsăreanu, R. Simmons, K. Tso, V. Verna, Plan Execution Interchange Language (PLEXIL), Technical Memorandum TM-2006- 213483, NASA, 2006.P.L. Guernic, T. Gautier, M.L. Borgne, C.L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE 79 (9) (1991) 1321–1336.K. Harbusch, P. Poller, Structural translation with synchronous rewriting systems, Technical Report RT-94-01, Université Paris 7, Paris, France, 1994.D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming 8 (3) (1987) 231–274.K. Heninger, Specifying software requirements for complex systems: new techniques and their application, IEEE Transactions on Software Engineering 6 (1) (1980) 2–13.D. Lucanu, Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions, Electronic Notes in Theoretical Computer Science 237 (2009) 107–125.G. Lüttgen, M. Beeck, R. Cleaveland, A compositional approach to statecharts semantics, in: ACM SIGSOFT 8th Intl. Symposium on Foundations of Software Engineering (FSE 2000), in: ACM Software Engineering Notes, vols. 25, 6, ACM Press, San Diego, California, November 2000, pp. 120–129.G. Lüttgen, M. Mendler, Axiomatizing an algebra of step reactions for synchronous languages, in: L. Brim, P. Jancar, M. Kretínský, A. Kucera (Eds.), CONCUR, in: Lecture Notes in Computer Science, vol. 2421, Springer, 2002, pp. 386–401.J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science 96 (1) (1992) 73–155.J. Meseguer, Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems, in: S.F. Smith, C.L. Talcott (Eds.), FMOODS, in: IFIP Conference Proceedings, vol. 177, Kluwer, 2000, p. 89.J. Meseguer, G. Rosu, The rewriting logic semantics project, Theoretical Computer Science 373 (3) (2007) 213–237.R. Owen, S. Giorgio, Synchronous models of language, in: Proceedings of the 34th annual meeting on Association for Computational Linguistics, Association for Computational Linguistics, Morristown, NJ, USA, 1996, pp. 116–123.S. Owre, J. Rushby, N. Shankar, PVS: a prototype verification system, in: D. Kapur (Ed.), 11th International Conference on Automated Deduction (CADE), in: Lecture Notes in Artificial Intelligence, vol. 607, Springer-Verlag, Saratoga, NY, June 1992, pp. 748–752.G.D. Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming 60–61 (2004) 17–139.P. Sampath, A.C. Rajeev, S. Ramesh, K.C. Shashidhar, Testing model-processing tools for embedded systems, in: IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2007, pp. 203–214.T. Serbanuta, G. Stefanescu, G. Rosu, Defining and executing P systems with structured data in k, in: D.W. Corne, P. Frisco, G. Paun, G. Rozenberg, A. Salomaa (Eds.), Workshop on Membrane Computing, in: Lecture Notes in Computer Science, vol. 5391, Springer, 2008, pp. 374–393.O. Tardieu, A deterministic logical semantics for pure esterel, ACM Transactions on Programming Languages and Systems 29 (2) (2007) 8.P. Viry, Equational rules for rewriting logic, Theoretical Computer Science 285 (2002) 487–517.info:eu-repo/semantics/closedAccesshttp://purl.org/coar/access_right/c_14cbEstablecer relacionesSynchronous languagesSemántica de pasos pequeñosSemántica lógicaEjecución del planSet relationsSmall-step semanticsRewriting logic semanticsPlan executionLenguajes síncronosTEXTA formal library of set relations and its application to synchronous languages.pdf.txtA formal library of set relations and its application to synchronous languages.pdf.txtExtracted texttext/plain60997https://repositorio.escuelaing.edu.co/bitstream/001/1900/5/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.pdf.txt1362aa37bb2add37ec7223760f9db97dMD55metadata only accessTHUMBNAILA formal library of set relations and its application to synchronous languages.pngA formal library of set relations and its application to synchronous languages.pngimage/png148967https://repositorio.escuelaing.edu.co/bitstream/001/1900/4/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.png24d79a606f7fb8aed3c4e9c2ee9465f5MD54open accessA formal library of set relations and its application to synchronous languages.pdf.jpgA formal library of set relations and its application to synchronous languages.pdf.jpgGenerated Thumbnailimage/jpeg14571https://repositorio.escuelaing.edu.co/bitstream/001/1900/6/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.pdf.jpgfa528a0038b957c83dd4ea23ffef0801MD56metadata only accessORIGINALA formal library of set relations and its application to synchronous languages.pdfA formal library of set relations and its application to synchronous languages.pdfArtículo de revistaapplication/pdf381196https://repositorio.escuelaing.edu.co/bitstream/001/1900/3/A%20formal%20library%20of%20set%20relations%20and%20its%20application%20to%20synchronous%20languages.pdfc3f0427d3f0571bc550d6cb7ca26bf93MD53metadata only accessLICENSElicense.txtlicense.txttext/plain; charset=utf-81881https://repositorio.escuelaing.edu.co/bitstream/001/1900/2/license.txt5a7ca94c2e5326ee169f979d71d0f06eMD52open access001/1900oai:repositorio.escuelaing.edu.co:001/19002022-11-22 03:00:42.408metadata only accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coU0kgVVNURUQgSEFDRSBQQVJURSBERUwgR1JVUE8gREUgUEFSRVMgRVZBTFVBRE9SRVMgREUgTEEgQ09MRUNDScOTTiAiUEVFUiBSRVZJRVciLCBPTUlUQSBFU1RBIExJQ0VOQ0lBLgoKQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCAKY29uZmVyZW5jaWEsIGxpYnJvLCBpbWFnZW4sIGZvdG9ncmFmw61hLCBhdWRpbywgcHJlc2VudGFjacOzbiB1IG90cm8gKGVuICAgIGFkZWxhbnRlIGRvY3VtZW50bykgcXVlIGVuIGxhIGZlY2hhIAplbnRyZWdvIGVuIGZvcm1hdG8gZGlnaXRhbCwgeSBsZSBwZXJtaXRvIGRlIGZvcm1hIGluZGVmaW5pZGEgcXVlIGxvIHB1YmxpcXVlIGVuIGVsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwsIAplbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZQphbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIAp1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbDsgeSBwYXJhIHVzb3MgZW4gcmVkZXMsIGludGVybmV0LCBleHRyYW5ldCwgeSBjdWFscXVpZXIgCmZvcm1hdG8gbyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyLgpFbiBtaSBjYWxpZGFkIGRlIGF1dG9yLCBleHByZXNvIHF1ZSBlbCBkb2N1bWVudG8gb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsbyBlbGFib3LDqSBzaW4gCnF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCAKdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgw6lsLiBFbiBjYXNvIGRlIHF1ZWphIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyByZWZlcmVudGUgYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgCmVsIGRvY3VtZW50byBlbiBjdWVzdGnDs24sIGFzdW1pcsOpIGxhIHJlc3BvbnNhYmlsaWRhZCB0b3RhbCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MuIEVzdG8gCnNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgCnBvZHLDoSBjb3BpYXIgYXBhcnRlcyBkZWwgdGV4dG8sIGNvbiBlbCBjb21wcm9taXNvIGRlIGNpdGFyIHNpZW1wcmUgbGEgZnVlbnRlLCBsYSBjdWFsIGluY2x1eWUgZWwgdMOtdHVsbyBkZWwgdHJhYmFqbyB5IGVsIAphdXRvci5Fc3RhIGF1dG9yaXphY2nDs24gbm8gaW1wbGljYSByZW51bmNpYSBhIGxhIGZhY3VsdGFkIHF1ZSB0ZW5nbyBkZSBwdWJsaWNhciB0b3RhbCBvIHBhcmNpYWxtZW50ZSBsYSBvYnJhIGVuIG90cm9zIAptZWRpb3MuRXN0YSBhdXRvcml6YWNpw7NuIGVzdMOhIHJlc3BhbGRhZGEgcG9yIGxhcyBmaXJtYXMgZGVsIChsb3MpIGF1dG9yKGVzKSBkZWwgZG9jdW1lbnRvLiAKU8OtIGF1dG9yaXpvIChhbWJvcykK |