Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes
This work is concerned with the modelling of industrial processes, described by Pipe and Instrumentation Diagrams (P&ID) and narratives as specified in the norm ISA 5.1, by Interpreted Petri Nets (IPN). In a previous work, a modeling methodology was introduced in order to translate a P&ID re...
- Autores:
-
Rozo-Ibañez, D.
Ruíz-León, J.
Guevara-Lozano, D.
Vázquez, C. R.
Rios, Y. Yuliana
- Tipo de recurso:
- Fecha de publicación:
- 2020
- Institución:
- Universidad Tecnológica de Bolívar
- Repositorio:
- Repositorio Institucional UTB
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.utb.edu.co:20.500.12585/10027
- Acceso en línea:
- https://hdl.handle.net/20.500.12585/10027
https://ieeexplore.ieee.org/document/9299209
- Palabra clave:
- P&ID
Petri nets
ISA
Industrial processes
LEMB
- Rights
- closedAccess
- License
- http://purl.org/coar/access_right/c_14cb
id |
UTB2_0d88de69c3a6350872cdeb93ceefc2a5 |
---|---|
oai_identifier_str |
oai:repositorio.utb.edu.co:20.500.12585/10027 |
network_acronym_str |
UTB2 |
network_name_str |
Repositorio Institucional UTB |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes |
title |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes |
spellingShingle |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes P&ID Petri nets ISA Industrial processes LEMB |
title_short |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes |
title_full |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes |
title_fullStr |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes |
title_full_unstemmed |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes |
title_sort |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes |
dc.creator.fl_str_mv |
Rozo-Ibañez, D. Ruíz-León, J. Guevara-Lozano, D. Vázquez, C. R. Rios, Y. Yuliana |
dc.contributor.author.none.fl_str_mv |
Rozo-Ibañez, D. Ruíz-León, J. Guevara-Lozano, D. Vázquez, C. R. Rios, Y. Yuliana |
dc.subject.keywords.spa.fl_str_mv |
P&ID Petri nets ISA Industrial processes |
topic |
P&ID Petri nets ISA Industrial processes LEMB |
dc.subject.armarc.none.fl_str_mv |
LEMB |
description |
This work is concerned with the modelling of industrial processes, described by Pipe and Instrumentation Diagrams (P&ID) and narratives as specified in the norm ISA 5.1, by Interpreted Petri Nets (IPN). In a previous work, a modeling methodology was introduced in order to translate a P&ID representation into an IPN. Now, herein the proposed methodology is enriched with the inclusion of errors detection and recovery stages that allow to remove errors involuntarily introduced by engineers in the P&ID and the process and operation narratives. In particular, the detection stage searches for omitted or inconsistent information involuntarily introduced in the narratives. Every omitted or inconsistent information is referred as an error. The errors are detected by evaluating logical predicates given in a list of predicates, which can be extended to include new type of errors. The recovery stage is then implemented by the execution of functions that focus on removing the detected errors. These functions fix the information in some tables, this information is then propagated to the narratives and the derived IPN models, in order to make consistent the information in the model. |
publishDate |
2020 |
dc.date.issued.none.fl_str_mv |
2020-12-25 |
dc.date.accessioned.none.fl_str_mv |
2021-02-16T15:11:19Z |
dc.date.available.none.fl_str_mv |
2021-02-16T15:11:19Z |
dc.date.submitted.none.fl_str_mv |
2021-02-12 |
dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/lecture |
dc.type.hasVersion.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.spa.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_8544 |
status_str |
publishedVersion |
dc.identifier.citation.spa.fl_str_mv |
D. Rozo-Ibañez, J. Ruiz-León, D. Guevara-Lozano, C. R. Vázquez and Y. Yuliana Rios, "Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes," 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE), Mexico City, 2020, pp. 1-6, doi: 10.1109/CCE50788.2020.9299209. |
dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/20.500.12585/10027 |
dc.identifier.url.none.fl_str_mv |
https://ieeexplore.ieee.org/document/9299209 |
dc.identifier.doi.none.fl_str_mv |
10.1109/CCE50788.2020.9299209 |
dc.identifier.instname.spa.fl_str_mv |
Universidad Tecnológica de Bolívar |
dc.identifier.reponame.spa.fl_str_mv |
Repositorio Universidad Tecnológica de Bolívar |
identifier_str_mv |
D. Rozo-Ibañez, J. Ruiz-León, D. Guevara-Lozano, C. R. Vázquez and Y. Yuliana Rios, "Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes," 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE), Mexico City, 2020, pp. 1-6, doi: 10.1109/CCE50788.2020.9299209. 10.1109/CCE50788.2020.9299209 Universidad Tecnológica de Bolívar Repositorio Universidad Tecnológica de Bolívar |
url |
https://hdl.handle.net/20.500.12585/10027 https://ieeexplore.ieee.org/document/9299209 |
dc.language.iso.spa.fl_str_mv |
eng |
language |
eng |
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.none.fl_str_mv |
6 páginas |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
dc.publisher.place.spa.fl_str_mv |
Cartagena de Indias |
dc.source.spa.fl_str_mv |
2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE) |
institution |
Universidad Tecnológica de Bolívar |
bitstream.url.fl_str_mv |
https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/1/171.pdf https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/2/license.txt https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/3/171.pdf.txt https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/4/171.pdf.jpg |
bitstream.checksum.fl_str_mv |
4d7299626891e0f2254c8e0769ed99d1 e20ad307a1c5f3f25af9304a7a7c86b6 2269fd2803277740514f5f3444a5e15b 9600e50be4c493dfd4f173c621d8e6ae |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional UTB |
repository.mail.fl_str_mv |
repositorioutb@utb.edu.co |
_version_ |
1814021553311973376 |
spelling |
Rozo-Ibañez, D.46bd9c5f-ac20-4642-ae83-213757421c23Ruíz-León, J.8ff70e88-9803-4538-a9c1-dce536bcf4b8Guevara-Lozano, D.b1dc15fb-c04e-45f3-9581-6269838fb44cVázquez, C. R.808b2b87-7080-4729-afdd-84c922409dc8Rios, Y. Yuliana2e5d244a-ee96-4d51-8441-17659df20a442021-02-16T15:11:19Z2021-02-16T15:11:19Z2020-12-252021-02-12D. Rozo-Ibañez, J. Ruiz-León, D. Guevara-Lozano, C. R. Vázquez and Y. Yuliana Rios, "Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes," 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE), Mexico City, 2020, pp. 1-6, doi: 10.1109/CCE50788.2020.9299209.https://hdl.handle.net/20.500.12585/10027https://ieeexplore.ieee.org/document/929920910.1109/CCE50788.2020.9299209Universidad Tecnológica de BolívarRepositorio Universidad Tecnológica de BolívarThis work is concerned with the modelling of industrial processes, described by Pipe and Instrumentation Diagrams (P&ID) and narratives as specified in the norm ISA 5.1, by Interpreted Petri Nets (IPN). In a previous work, a modeling methodology was introduced in order to translate a P&ID representation into an IPN. Now, herein the proposed methodology is enriched with the inclusion of errors detection and recovery stages that allow to remove errors involuntarily introduced by engineers in the P&ID and the process and operation narratives. In particular, the detection stage searches for omitted or inconsistent information involuntarily introduced in the narratives. Every omitted or inconsistent information is referred as an error. The errors are detected by evaluating logical predicates given in a list of predicates, which can be extended to include new type of errors. The recovery stage is then implemented by the execution of functions that focus on removing the detected errors. These functions fix the information in some tables, this information is then propagated to the narratives and the derived IPN models, in order to make consistent the information in the model.6 páginasapplication/pdfeng2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processesinfo:eu-repo/semantics/lectureinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_8544http://purl.org/coar/version/c_970fb48d4fbd8a85P&IDPetri netsISAIndustrial processesLEMBinfo:eu-repo/semantics/closedAccesshttp://purl.org/coar/access_right/c_14cbCartagena de IndiasInvestigadoresD. Popescu, S. Rugaber, N. Medvidovic y DM Berry, "Reducir las ambigüedades en las especificaciones de requisitos mediante modelos orientados a objetos creados automáticamente" en Monterey Workshop, Springer, vol. 5320, págs.103-124, 2007.F. Pittke, H. Leopold y J. Mendling, "Detección automática y resolución de ambigüedad léxica en modelos de proceso", IEEE Transactions on Software Engineering , vol. 41, no. 6, págs. 526-544, 2015.I. Rivera-Rangel, A. Ramírez-Treviño, LI Aguirre-Salas y J. Ruiz-Leon, "Caracterización geométrica de la observabilidad en redes de Petri interpretadas", Kybernetika , vol. 41, no. 5, págs. 553-574, 2005.A. Ramirez-Trevino, E. Ruiz-Beltran, I. Rivera-Rangel y E. Lopez-Mellado, "Diagnóstico de fallas en línea de sistemas de eventos discretos. Un enfoque basado en la red de Petri", IEEE Transactions on Automation Science and Engineering , vol. 4, no. 1, págs. 31-39, 2007M. Skoldstam, K. Akesson y M. Fabian, "Modelado de sistemas de eventos discretos utilizando autómatas finitos con variables", Decisión y Control 2007 46ª Conferencia IEEE , págs. 3387-3392, 2007.N. Kim, D. Shin, R. Wysk y L. Rothrock, "Uso de autómatas de estado finito (fsa) para el modelado formal de prestaciones en sistemas de fabricación cooperativos entre humanos y máquinas", International Journal of Production Research , vol. 48, no. 5, págs. 1303-1320, 2010.HA Awad, "Modelado de procesos de productividad industrial", J. Eng. Sci. JES , vol. 10, págs. 763-781, 2010.L.-P. Chung y C.-T. Chang, "Modelos de Petri-net para el análisis integral de peligros de los procesos de mocvd", Computadoras e ingeniería química , vol. 35, no. 2, págs. 356-371, 2011.T. Murata, "Redes de Petri: análisis de propiedades y aplicaciones", Actas del IEEE , vol. 77, no. 4, págs. 541-580, 1989.SG Powell, KR Baker y B. Lawson, "Errores en hojas de cálculo operativas: una revisión del estado del arte", 42ª Conferencia Internacional de Hawái sobre Ciencias de Sistemas , 2009, págs. 1-8, 2009.E. Kamsties y B. Peach, "Taming ambiguity in natural language requirements", Actas de la decimotercera conferencia internacional sobre ingeniería y aplicaciones de software y sistemas , 2000.E. Kamsties, DM Berry, B. Paech, E. Kamsties, D. Berry y B. Paech, "Detección de ambigüedades en documentos de requisitos mediante inspecciones", Actas del primer taller sobre inspección en ingeniería de software (WISE'01) , págs. 68-80, 2001.E. Kamsties, "Comprensión de la ambigüedad en la ingeniería de requisitos" en Ingeniería y gestión de requisitos de software, Springer, págs. 245-266, 2005.F. Shull, GH Travassos, J. Carver y VR Basili, "Evolución de un conjunto de técnicas para las inspecciones oo", Tech. Rep. , 1999.B. Anda y DI Sjøberg, "Hacia una técnica de inspección para modelos de casos de uso", Actas de la 14ª conferencia internacional sobre ingeniería de software e ingeniería del conocimiento , págs. 127-134, 2002.D. Rozo-Ibañez, J. Ruiz-Leon, D. Guevara-Lozano y CR Vázquez, "Petri net model of industrial process from a p & id description", 7th IEEE International Conference on Control Decision and Information Technologies (CoDIT2020) , 2020M. Toghraei, "Principios del desarrollo de p & id: los consejos proporcionados aquí agilizarán los esfuerzos para desarrollar diagramas de tuberías e instrumentación", Ingeniería Química , vol. 121, no. 4, págs. 62-72, 2014.http://purl.org/coar/resource_type/c_c94fORIGINAL171.pdf171.pdfAbstractapplication/pdf83260https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/1/171.pdf4d7299626891e0f2254c8e0769ed99d1MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-83182https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/2/license.txte20ad307a1c5f3f25af9304a7a7c86b6MD52TEXT171.pdf.txt171.pdf.txtExtracted texttext/plain1308https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/3/171.pdf.txt2269fd2803277740514f5f3444a5e15bMD53THUMBNAIL171.pdf.jpg171.pdf.jpgGenerated Thumbnailimage/jpeg56027https://repositorio.utb.edu.co/bitstream/20.500.12585/10027/4/171.pdf.jpg9600e50be4c493dfd4f173c621d8e6aeMD5420.500.12585/10027oai:repositorio.utb.edu.co:20.500.12585/100272021-02-16 16:05:14.205Repositorio Institucional UTBrepositorioutb@utb.edu.coQXV0b3Jpem8gKGF1dG9yaXphbW9zKSBhIGxhIEJpYmxpb3RlY2EgZGUgbGEgSW5zdGl0dWNpw7NuIHBhcmEgcXVlIGluY2x1eWEgdW5hIGNvcGlhLCBpbmRleGUgeSBkaXZ1bGd1ZSBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsLCBsYSBvYnJhIG1lbmNpb25hZGEgY29uIGVsIGZpbiBkZSBmYWNpbGl0YXIgbG9zIHByb2Nlc29zIGRlIHZpc2liaWxpZGFkIGUgaW1wYWN0byBkZSBsYSBtaXNtYSwgY29uZm9ybWUgYSBsb3MgZGVyZWNob3MgcGF0cmltb25pYWxlcyBxdWUgbWUobm9zKSBjb3JyZXNwb25kZShuKSB5IHF1ZSBpbmNsdXllbjogbGEgcmVwcm9kdWNjacOzbiwgY29tdW5pY2FjacOzbiBww7pibGljYSwgZGlzdHJpYnVjacOzbiBhbCBww7pibGljbywgdHJhbnNmb3JtYWNpw7NuLCBkZSBjb25mb3JtaWRhZCBjb24gbGEgbm9ybWF0aXZpZGFkIHZpZ2VudGUgc29icmUgZGVyZWNob3MgZGUgYXV0b3IgeSBkZXJlY2hvcyBjb25leG9zIHJlZmVyaWRvcyBlbiBhcnQuIDIsIDEyLCAzMCAobW9kaWZpY2FkbyBwb3IgZWwgYXJ0IDUgZGUgbGEgbGV5IDE1MjAvMjAxMiksIHkgNzIgZGUgbGEgbGV5IDIzIGRlIGRlIDE5ODIsIExleSA0NCBkZSAxOTkzLCBhcnQuIDQgeSAxMSBEZWNpc2nDs24gQW5kaW5hIDM1MSBkZSAxOTkzIGFydC4gMTEsIERlY3JldG8gNDYwIGRlIDE5OTUsIENpcmN1bGFyIE5vIDA2LzIwMDIgZGUgbGEgRGlyZWNjacOzbiBOYWNpb25hbCBkZSBEZXJlY2hvcyBkZSBhdXRvciwgYXJ0LiAxNSBMZXkgMTUyMCBkZSAyMDEyLCBsYSBMZXkgMTkxNSBkZSAyMDE4IHkgZGVtw6FzIG5vcm1hcyBzb2JyZSBsYSBtYXRlcmlhLgoKQWwgcmVzcGVjdG8gY29tbyBBdXRvcihlcykgbWFuaWZlc3RhbW9zIGNvbm9jZXIgcXVlOgoKLSBMYSBhdXRvcml6YWNpw7NuIGVzIGRlIGNhcsOhY3RlciBubyBleGNsdXNpdmEgeSBsaW1pdGFkYSwgZXN0byBpbXBsaWNhIHF1ZSBsYSBsaWNlbmNpYSB0aWVuZSB1bmEgdmlnZW5jaWEsIHF1ZSBubyBlcyBwZXJwZXR1YSB5IHF1ZSBlbCBhdXRvciBwdWVkZSBwdWJsaWNhciBvIGRpZnVuZGlyIHN1IG9icmEgZW4gY3VhbHF1aWVyIG90cm8gbWVkaW8sIGFzw60gY29tbyBsbGV2YXIgYSBjYWJvIGN1YWxxdWllciB0aXBvIGRlIGFjY2nDs24gc29icmUgZWwgZG9jdW1lbnRvLgoKLSBMYSBhdXRvcml6YWNpw7NuIHRlbmRyw6EgdW5hIHZpZ2VuY2lhIGRlIGNpbmNvIGHDsW9zIGEgcGFydGlyIGRlbCBtb21lbnRvIGRlIGxhIGluY2x1c2nDs24gZGUgbGEgb2JyYSBlbiBlbCByZXBvc2l0b3JpbywgcHJvcnJvZ2FibGUgaW5kZWZpbmlkYW1lbnRlIHBvciBlbCB0aWVtcG8gZGUgZHVyYWNpw7NuIGRlIGxvcyBkZXJlY2hvcyBwYXRyaW1vbmlhbGVzIGRlbCBhdXRvciB5IHBvZHLDoSBkYXJzZSBwb3IgdGVybWluYWRhIHVuYSB2ZXogZWwgYXV0b3IgbG8gbWFuaWZpZXN0ZSBwb3IgZXNjcml0byBhIGxhIGluc3RpdHVjacOzbiwgY29uIGxhIHNhbHZlZGFkIGRlIHF1ZSBsYSBvYnJhIGVzIGRpZnVuZGlkYSBnbG9iYWxtZW50ZSB5IGNvc2VjaGFkYSBwb3IgZGlmZXJlbnRlcyBidXNjYWRvcmVzIHkvbyByZXBvc2l0b3Jpb3MgZW4gSW50ZXJuZXQgbG8gcXVlIG5vIGdhcmFudGl6YSBxdWUgbGEgb2JyYSBwdWVkYSBzZXIgcmV0aXJhZGEgZGUgbWFuZXJhIGlubWVkaWF0YSBkZSBvdHJvcyBzaXN0ZW1hcyBkZSBpbmZvcm1hY2nDs24gZW4gbG9zIHF1ZSBzZSBoYXlhIGluZGV4YWRvLCBkaWZlcmVudGVzIGFsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwgZGUgbGEgSW5zdGl0dWNpw7NuLCBkZSBtYW5lcmEgcXVlIGVsIGF1dG9yKHJlcykgdGVuZHLDoW4gcXVlIHNvbGljaXRhciBsYSByZXRpcmFkYSBkZSBzdSBvYnJhIGRpcmVjdGFtZW50ZSBhIG90cm9zIHNpc3RlbWFzIGRlIGluZm9ybWFjacOzbiBkaXN0aW50b3MgYWwgZGUgbGEgSW5zdGl0dWNpw7NuIHNpIGRlc2VhIHF1ZSBzdSBvYnJhIHNlYSByZXRpcmFkYSBkZSBpbm1lZGlhdG8uCgotIExhIGF1dG9yaXphY2nDs24gZGUgcHVibGljYWNpw7NuIGNvbXByZW5kZSBlbCBmb3JtYXRvIG9yaWdpbmFsIGRlIGxhIG9icmEgeSB0b2RvcyBsb3MgZGVtw6FzIHF1ZSBzZSByZXF1aWVyYSBwYXJhIHN1IHB1YmxpY2FjacOzbiBlbiBlbCByZXBvc2l0b3Jpby4gSWd1YWxtZW50ZSwgbGEgYXV0b3JpemFjacOzbiBwZXJtaXRlIGEgbGEgaW5zdGl0dWNpw7NuIGVsIGNhbWJpbyBkZSBzb3BvcnRlIGRlIGxhIG9icmEgY29uIGZpbmVzIGRlIHByZXNlcnZhY2nDs24gKGltcHJlc28sIGVsZWN0csOzbmljbywgZGlnaXRhbCwgSW50ZXJuZXQsIGludHJhbmV0LCBvIGN1YWxxdWllciBvdHJvIGZvcm1hdG8gY29ub2NpZG8gbyBwb3IgY29ub2NlcikuCgotIExhIGF1dG9yaXphY2nDs24gZXMgZ3JhdHVpdGEgeSBzZSByZW51bmNpYSBhIHJlY2liaXIgY3VhbHF1aWVyIHJlbXVuZXJhY2nDs24gcG9yIGxvcyB1c29zIGRlIGxhIG9icmEsIGRlIGFjdWVyZG8gY29uIGxhIGxpY2VuY2lhIGVzdGFibGVjaWRhIGVuIGVzdGEgYXV0b3JpemFjacOzbi4KCi0gQWwgZmlybWFyIGVzdGEgYXV0b3JpemFjacOzbiwgc2UgbWFuaWZpZXN0YSBxdWUgbGEgb2JyYSBlcyBvcmlnaW5hbCB5IG5vIGV4aXN0ZSBlbiBlbGxhIG5pbmd1bmEgdmlvbGFjacOzbiBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gRW4gY2FzbyBkZSBxdWUgZWwgdHJhYmFqbyBoYXlhIHNpZG8gZmluYW5jaWFkbyBwb3IgdGVyY2Vyb3MgZWwgbyBsb3MgYXV0b3JlcyBhc3VtZW4gbGEgcmVzcG9uc2FiaWxpZGFkIGRlbCBjdW1wbGltaWVudG8gZGUgbG9zIGFjdWVyZG9zIGVzdGFibGVjaWRvcyBzb2JyZSBsb3MgZGVyZWNob3MgcGF0cmltb25pYWxlcyBkZSBsYSBvYnJhIGNvbiBkaWNobyB0ZXJjZXJvLgoKLSBGcmVudGUgYSBjdWFscXVpZXIgcmVjbGFtYWNpw7NuIHBvciB0ZXJjZXJvcywgZWwgbyBsb3MgYXV0b3JlcyBzZXLDoW4gcmVzcG9uc2FibGVzLCBlbiBuaW5nw7puIGNhc28gbGEgcmVzcG9uc2FiaWxpZGFkIHNlcsOhIGFzdW1pZGEgcG9yIGxhIGluc3RpdHVjacOzbi4KCi0gQ29uIGxhIGF1dG9yaXphY2nDs24sIGxhIGluc3RpdHVjacOzbiBwdWVkZSBkaWZ1bmRpciBsYSBvYnJhIGVuIMOtbmRpY2VzLCBidXNjYWRvcmVzIHkgb3Ryb3Mgc2lzdGVtYXMgZGUgaW5mb3JtYWNpw7NuIHF1ZSBmYXZvcmV6Y2FuIHN1IHZpc2liaWxpZGFkCgo= |