Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias

En general, es conocido que resolver sistemas de ecuaciones diferenciales puede llegar a ser una tarea muy compleja, y en ocasiones, resulta imposible obtener soluciones explícitas. Y aún cuando esto sea posible, puede ser muy complicado estudiar dichas soluciones. Debido a esto, es de gran importan...

Full description

Autores:
Hernández Suarique, Juan Sebastián
Niño Mateus, Eduar Fernando
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2024
Institución:
Universidad Distrital Francisco José de Caldas
Repositorio:
RIUD: repositorio U. Distrital
Idioma:
spa
OAI Identifier:
oai:repository.udistrital.edu.co:11349/42297
Acceso en línea:
http://hdl.handle.net/11349/42297
Palabra clave:
Sistemas de ecuaciones diferenciales ordinarias
Teorema de existencia y unicidad
Diagramas de fase
Matriz fundamental
Matemáticas -- Tesis y disertaciones académicas
Ecuaciones diferenciales lineales
Teoría cualitativa y cuantitativa de ecuaciones diferenciales ordinarias
Análisis de estabilidad y diagramas de fase
Ordinary differential equation systems
Existence and uniqueness theorem
Phase diagrams
Fundamental matrix
Rights
License
Abierto (Texto Completo)
id UDISTRITA2_a1e6948953496b6bbf69c470933f96ed
oai_identifier_str oai:repository.udistrital.edu.co:11349/42297
network_acronym_str UDISTRITA2
network_name_str RIUD: repositorio U. Distrital
repository_id_str
dc.title.none.fl_str_mv Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
dc.title.titleenglish.none.fl_str_mv Basic elements of the analytical and qualitative theory of ordinary differential equations
title Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
spellingShingle Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
Sistemas de ecuaciones diferenciales ordinarias
Teorema de existencia y unicidad
Diagramas de fase
Matriz fundamental
Matemáticas -- Tesis y disertaciones académicas
Ecuaciones diferenciales lineales
Teoría cualitativa y cuantitativa de ecuaciones diferenciales ordinarias
Análisis de estabilidad y diagramas de fase
Ordinary differential equation systems
Existence and uniqueness theorem
Phase diagrams
Fundamental matrix
title_short Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
title_full Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
title_fullStr Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
title_full_unstemmed Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
title_sort Elementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinarias
dc.creator.fl_str_mv Hernández Suarique, Juan Sebastián
Niño Mateus, Eduar Fernando
dc.contributor.advisor.none.fl_str_mv Bolaños Rivera, Yudy Marcela
dc.contributor.author.none.fl_str_mv Hernández Suarique, Juan Sebastián
Niño Mateus, Eduar Fernando
dc.subject.none.fl_str_mv Sistemas de ecuaciones diferenciales ordinarias
Teorema de existencia y unicidad
Diagramas de fase
Matriz fundamental
topic Sistemas de ecuaciones diferenciales ordinarias
Teorema de existencia y unicidad
Diagramas de fase
Matriz fundamental
Matemáticas -- Tesis y disertaciones académicas
Ecuaciones diferenciales lineales
Teoría cualitativa y cuantitativa de ecuaciones diferenciales ordinarias
Análisis de estabilidad y diagramas de fase
Ordinary differential equation systems
Existence and uniqueness theorem
Phase diagrams
Fundamental matrix
dc.subject.lemb.none.fl_str_mv Matemáticas -- Tesis y disertaciones académicas
Ecuaciones diferenciales lineales
Teoría cualitativa y cuantitativa de ecuaciones diferenciales ordinarias
Análisis de estabilidad y diagramas de fase
dc.subject.keyword.none.fl_str_mv Ordinary differential equation systems
Existence and uniqueness theorem
Phase diagrams
Fundamental matrix
description En general, es conocido que resolver sistemas de ecuaciones diferenciales puede llegar a ser una tarea muy compleja, y en ocasiones, resulta imposible obtener soluciones explícitas. Y aún cuando esto sea posible, puede ser muy complicado estudiar dichas soluciones. Debido a esto, es de gran importancia contar con diferentes herramientas de estudio desde el punto de vista cuantitativo y cualitativo. Este trabajo realiza un estudio sobre los conceptos fundamentales de la teoría de los sistemas de ecuaciones ordinarias diferenciales lineales (SEDL) utilizando dos enfoques que son el cuantitativo y el cualitativo; y pretende servir de guía integral y esencial para comprender y aplicar estos conceptos en las diferentes áreas de estudio. Comenzamos el estudio con los teoremas que nos permiten garantizar la existencia, unicidad y la forma de calcular las soluciones de los sistemas de ecuaciones lineales, que son fundamentales en la teoría de los SED, ya que establecen condiciones bajo las cuales es posible encontrar una solución única y válida para un sistema dado. También abordamos las formas de Jordan que nos permitirán hallar la solución de un sistema de ecuaciones diferenciales lineales con coeficientes constantes, utilizando los valores y vectores propios de la matriz de coeficientes del sistema. Finalmente, presentamos una clasificación completa de los diagramas de fase de los sistemas de ecuaciones diferenciales lineales en el plano.
publishDate 2024
dc.date.accessioned.none.fl_str_mv 2024-10-28T15:59:50Z
dc.date.available.none.fl_str_mv 2024-10-28T15:59:50Z
dc.date.created.none.fl_str_mv 2024-09-27
dc.type.none.fl_str_mv bachelorThesis
dc.type.degree.none.fl_str_mv Monografía
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/11349/42297
url http://hdl.handle.net/11349/42297
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.references.none.fl_str_mv Arrowsmith D; Place C. Dynamical systems - Differential equations, maps and chaotic behaviour. Chapman and Hall, 1992
Horn R. Johnson C. Matrix Analysis - Second Edition. Cambridge University Press, 2012
Moya L; Rojas E. Ecuaciones diferenciales Ordinarias -técnicas de resolución. Universidad nacional, 2020
Grossman S; Flores J. Álgebra Lineal, séptima edición. McGraw-Hill, 2012
Gómez A; Calderón G; Arango J. Ecuaciones diferenciales para estudiantes de ciencias e ingenierías. Universidad del Valle
Napoles J. El legado histórico de las ecuaciones diferenciales ordinarias. Boletín de Matemáticas volumen V, 1999
L. Perko. Differential Equations and Dynamical Systems. Text in applied mathematics. Springer New York, NY, 2001
Boyce W; Diprima R. Elementary Differential Equations fourth edition. Wiley, 1986
Hirsxh M; Smale S; Devaney R. Differential Equations, Dynamical Systems An Introduction to Chaos - second edition. Elseiver, 2004
W. Rudin. Principles of mathematical analysis, Third Edition. McGraw-Hill, 1976
Roman S. Advanced Linear Algebra - Third Edition. Springer, 2007
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.acceso.none.fl_str_mv Abierto (Texto Completo)
rights_invalid_str_mv Abierto (Texto Completo)
http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.none.fl_str_mv pdf
institution Universidad Distrital Francisco José de Caldas
bitstream.url.fl_str_mv https://repository.udistrital.edu.co/bitstreams/8c8d9da8-7a29-497d-8f9a-e5e1c595aa76/download
https://repository.udistrital.edu.co/bitstreams/27ce3e3d-98c5-4c84-9e6c-dce68587090e/download
https://repository.udistrital.edu.co/bitstreams/df860277-8695-4271-9388-2a0353cc20c0/download
bitstream.checksum.fl_str_mv 997daf6c648c962d566d7b082dac908d
a911cb4acf1ef6bd9409bf096bd27048
7204a7eaa718e12aa5cf79d6f1c652ba
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Universidad Distrital
repository.mail.fl_str_mv repositorio@udistrital.edu.co
_version_ 1837007152065019904
spelling Bolaños Rivera, Yudy MarcelaHernández Suarique, Juan SebastiánNiño Mateus, Eduar Fernando2024-10-28T15:59:50Z2024-10-28T15:59:50Z2024-09-27http://hdl.handle.net/11349/42297En general, es conocido que resolver sistemas de ecuaciones diferenciales puede llegar a ser una tarea muy compleja, y en ocasiones, resulta imposible obtener soluciones explícitas. Y aún cuando esto sea posible, puede ser muy complicado estudiar dichas soluciones. Debido a esto, es de gran importancia contar con diferentes herramientas de estudio desde el punto de vista cuantitativo y cualitativo. Este trabajo realiza un estudio sobre los conceptos fundamentales de la teoría de los sistemas de ecuaciones ordinarias diferenciales lineales (SEDL) utilizando dos enfoques que son el cuantitativo y el cualitativo; y pretende servir de guía integral y esencial para comprender y aplicar estos conceptos en las diferentes áreas de estudio. Comenzamos el estudio con los teoremas que nos permiten garantizar la existencia, unicidad y la forma de calcular las soluciones de los sistemas de ecuaciones lineales, que son fundamentales en la teoría de los SED, ya que establecen condiciones bajo las cuales es posible encontrar una solución única y válida para un sistema dado. También abordamos las formas de Jordan que nos permitirán hallar la solución de un sistema de ecuaciones diferenciales lineales con coeficientes constantes, utilizando los valores y vectores propios de la matriz de coeficientes del sistema. Finalmente, presentamos una clasificación completa de los diagramas de fase de los sistemas de ecuaciones diferenciales lineales en el plano.In general, it is well known that solving systems of differential equations can be a very complex task, and sometimes it is impossible to obtain explicit solutions. Even when this is possible, studying such solutions can be very complicated. Because of this, it is very important to have different tools for study from both quantitative and qualitative perspectives. This work conducts a study of the fundamental concepts of the theory of linear ordinary differential equation systems (LODES) using two approaches: quantitative and qualitative. It aims to serve as an integral and essential guide to understanding and applying these concepts in different fields of study. We begin the study with theorems that allow us to guarantee the existence, uniqueness, and method for calculating the solutions of linear equation systems, which are fundamental in the theory of ODEs, as they establish conditions under which it is possible to find a unique and valid solution for a given system. We also address Jordan forms, which will allow us to find the solution of a system of linear differential equations with constant coefficients, using the eigenvalues and eigenvectors of the system's coefficient matrix. Finally, we present a complete classification of phase diagrams of linear differential equation systems in the plane.pdfspaSistemas de ecuaciones diferenciales ordinariasTeorema de existencia y unicidadDiagramas de faseMatriz fundamentalMatemáticas -- Tesis y disertaciones académicasEcuaciones diferenciales linealesTeoría cualitativa y cuantitativa de ecuaciones diferenciales ordinariasAnálisis de estabilidad y diagramas de faseOrdinary differential equation systemsExistence and uniqueness theoremPhase diagramsFundamental matrixElementos básicos de la teoría analítica y cualitativa de las ecuaciones diferenciales ordinariasBasic elements of the analytical and qualitative theory of ordinary differential equationsbachelorThesisMonografíainfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fAbierto (Texto Completo)http://purl.org/coar/access_right/c_abf2Arrowsmith D; Place C. Dynamical systems - Differential equations, maps and chaotic behaviour. Chapman and Hall, 1992Horn R. Johnson C. Matrix Analysis - Second Edition. Cambridge University Press, 2012Moya L; Rojas E. Ecuaciones diferenciales Ordinarias -técnicas de resolución. Universidad nacional, 2020Grossman S; Flores J. Álgebra Lineal, séptima edición. McGraw-Hill, 2012Gómez A; Calderón G; Arango J. Ecuaciones diferenciales para estudiantes de ciencias e ingenierías. Universidad del ValleNapoles J. El legado histórico de las ecuaciones diferenciales ordinarias. Boletín de Matemáticas volumen V, 1999L. Perko. Differential Equations and Dynamical Systems. Text in applied mathematics. Springer New York, NY, 2001Boyce W; Diprima R. Elementary Differential Equations fourth edition. Wiley, 1986Hirsxh M; Smale S; Devaney R. Differential Equations, Dynamical Systems An Introduction to Chaos - second edition. Elseiver, 2004W. Rudin. Principles of mathematical analysis, Third Edition. McGraw-Hill, 1976Roman S. Advanced Linear Algebra - Third Edition. Springer, 2007LICENSElicense.txtlicense.txttext/plain; charset=utf-87167https://repository.udistrital.edu.co/bitstreams/8c8d9da8-7a29-497d-8f9a-e5e1c595aa76/download997daf6c648c962d566d7b082dac908dMD53ORIGINALHernandezSuariqueJuanSebastian2024.pdfHernandezSuariqueJuanSebastian2024.pdfTrabajo de Gradoapplication/pdf2200967https://repository.udistrital.edu.co/bitstreams/27ce3e3d-98c5-4c84-9e6c-dce68587090e/downloada911cb4acf1ef6bd9409bf096bd27048MD52Licencia de uso y publicacion.pdfLicencia de uso y publicacion.pdfapplication/pdf269052https://repository.udistrital.edu.co/bitstreams/df860277-8695-4271-9388-2a0353cc20c0/download7204a7eaa718e12aa5cf79d6f1c652baMD5411349/42297oai:repository.udistrital.edu.co:11349/422972024-10-28 10:59:52.787open.accesshttps://repository.udistrital.edu.coRepositorio Universidad Distritalrepositorio@udistrital.edu.coTElDRU5DSUEgWSBBVVRPUklaQUNJw5NOIEVTUEVDSUFMIFBBUkEgUFVCTElDQVIgWSBQRVJNSVRJUiBMQSBDT05TVUxUQSBZIFVTTyBERSBDT05URU5JRE9TIEVOIEVMIFJFUE9TSVRPUklPIElOU1RJVFVDSU9OQUwgREUgTEEgVU5JVkVSU0lEQUQgRElTVFJJVEFMCgpUw6lybWlub3MgeSBjb25kaWNpb25lcyBkZSB1c28gcGFyYSBwdWJsaWNhY2nDs24gZGUgb2JyYXMgZW4gZWwgUmVwb3NpdG9yaW8gSW5zdGl0dWNpb25hbCBkZSBsYSBVbml2ZXJzaWRhZCBEaXN0cml0YWwgRnJhbmNpc2NvIEpvc8OpIGRlIENhbGRhcyAoUklVRCkKCkNvbW8gdGl0dWxhcihlcykgZGVsKG9zKSBkZXJlY2hvKHMpIGRlIGF1dG9yLCBjb25maWVybyAoZXJpbW9zKSBhIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIChlbiBhZGVsYW50ZSwgTEEgVU5JVkVSU0lEQUQpIHVuYSBsaWNlbmNpYSBwYXJhIHVzbyBubyBleGNsdXNpdmEsIGxpbWl0YWRhIHkgZ3JhdHVpdGEgc29icmUgbGEgb2JyYSBxdWUgaW50ZWdyYXLDoSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIChlbiBhZGVsYW50ZSwgUklVRCksIGRlIGFjdWVyZG8gYSBsYXMgc2lndWllbnRlcyByZWdsYXMsIGxhcyBjdWFsZXMgZGVjbGFybyAoYW1vcykgY29ub2NlciB5IGFjZXB0YXI6CgphKQlFc3RhcsOhIHZpZ2VudGUgYSBwYXJ0aXIgZGUgbGEgZmVjaGEgZW4gcXVlIHNlIGluY2x1eWEgZW4gZWwgUklVRCB5IGhhc3RhIHBvciB1biBwbGF6byBkZSBkaWV6ICgxMCkgQcOxb3MsIHByb3Jyb2dhYmxlIGluZGVmaW5pZGFtZW50ZSBwb3IgZWwgdGllbXBvIHF1ZSBkdXJlIGVsIGRlcmVjaG8gUGF0cmltb25pYWwgZGVsIGF1dG9yOyBsYSBjdWFsIHBvZHLDoSBkYXJzZSBwb3IgdGVybWluYWRhIHByZXZpYSBzb2xpY2l0dWQgYSBMQSBVTklWRVJTSURBRCBwb3IgZXNjcml0byBjb24gdW5hIGFudGVsYWNpw7NuIGRlIGRvcyAoMikgbWVzZXMgYW50ZXMgZGVsIHZlbmNpbWllbnRvIGRlbCBwbGF6byBpbmljaWFsIG8gZWwgZGUgc3UocykgcHLDs3Jyb2dhKHMpLgoKYikJTEEgVU5JVkVSU0lEQUQgcG9kcsOhIHB1YmxpY2FyIGxhIG9icmEgZW4gbGFzIGRpc3RpbnRhcyB2ZXJzaW9uZXMgcmVxdWVyaWRhcyBwb3IgZWwgUklVRCAoZGlnaXRhbCwgaW1wcmVzbywgZWxlY3Ryw7NuaWNvIHUgb3RybyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyKSBMQSBVTklWRVJTSURBRCBubyBzZXLDoSByZXNwb25zYWJsZSBlbiBlbCBldmVudG8gcXVlIGVsIGRvY3VtZW50byBhcGFyZXpjYSByZWZlcmVuY2lhZG8gZW4gbW90b3JlcyBkZSBiw7pzcXVlZGEgbyByZXBvc2l0b3Jpb3MgZGlmZXJlbnRlcyBhbCBSSVVELCB1bmEgdmV6IGVsKG9zKSBhdXRvcihlcykgc29saWNpdGVuIHN1IGVsaW1pbmFjacOzbiBkZWwgUklVRCwgZGFkbyBxdWUgbGEgbWlzbWEgc2Vyw6EgcHVibGljYWRhIGVuIEludGVybmV0LgoKYykJTGEgYXV0b3JpemFjacOzbiBzZSBoYWNlIGEgdMOtdHVsbyBncmF0dWl0bywgcG9yIGxvIHRhbnRvLCBsb3MgYXV0b3JlcyByZW51bmNpYW4gYSByZWNpYmlyIGJlbmVmaWNpbyBhbGd1bm8gcG9yIGxhIHB1YmxpY2FjacOzbiwgZGlzdHJpYnVjacOzbiwgY29tdW5pY2FjacOzbiBww7pibGljYSB5IGN1YWxxdWllciBvdHJvIHVzbyBxdWUgc2UgaGFnYSBlbiBsb3MgdMOpcm1pbm9zIGRlIGxhIHByZXNlbnRlIGxpY2VuY2lhIHkgZGUgbGEgbGljZW5jaWEgZGUgdXNvIGNvbiBxdWUgc2UgcHVibGljYSAoQ3JlYXRpdmUgQ29tbW9ucykuCgpkKQlMb3MgY29udGVuaWRvcyBwdWJsaWNhZG9zIGVuIGVsIFJJVUQgc29uIG9icmEocykgb3JpZ2luYWwoZXMpIHNvYnJlIGxhIGN1YWwoZXMpIGVsKG9zKSBhdXRvcihlcykgY29tbyB0aXR1bGFyZXMgZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCBhc3VtZW4gdG90YWwgcmVzcG9uc2FiaWxpZGFkIHBvciBlbCBjb250ZW5pZG8gZGUgc3Ugb2JyYSBhbnRlIExBIFVOSVZFUlNJREFEIHkgYW50ZSB0ZXJjZXJvcy4gRW4gdG9kbyBjYXNvIExBIFVOSVZFUlNJREFEIHNlIGNvbXByb21ldGUgYSBpbmRpY2FyIHNpZW1wcmUgbGEgYXV0b3LDrWEgaW5jbHV5ZW5kbyBlbCBub21icmUgZGVsIGF1dG9yIHkgbGEgZmVjaGEgZGUgcHVibGljYWNpw7NuLgoKZSkJTEEgVU5JVkVSU0lEQUQgcG9kcsOhIGluY2x1aXIgbGEgb2JyYSBlbiBsb3Mgw61uZGljZXMgeSBidXNjYWRvcmVzIHF1ZSBlc3RpbWVuIG5lY2VzYXJpb3MgcGFyYSBtYXhpbWl6YXIgbGEgdmlzaWJpbGlkYWQgZWwgdXNvIHkgZWwgaW1wYWN0byBkZSBsYSBwcm9kdWNjacOzbiBjaWVudMOtZmljYSwgYXJ0w61zdGljYSB5IGFjYWTDqW1pY2EgZW4gbGEgY29tdW5pZGFkIGxvY2FsLCBuYWNpb25hbCBvIGludGVybmFjaW9uYWwuCgoKZikJTEEgVU5JVkVSU0lEQUQgcG9kcsOhIGNvbnZlcnRpciBsYSBvYnJhIGEgY3VhbHF1aWVyIG1lZGlvIG8gZm9ybWF0byBjb24gZWwgZmluIGRlIHN1IHByZXNlcnZhY2nDs24gZW4gZWwgdGllbXBvIHF1ZSBsYSBwcmVzZW50ZSBsaWNlbmNpYSB5IGxhIGRlIHN1cyBwcsOzcnJvZ2FzLgoKCkNvbiBiYXNlIGVuIGxvIGFudGVyaW9yIGF1dG9yaXpvKGFtb3MpLCBhIGZhdm9yIGRlbCBSSVVEIHkgZGUgc3VzIHVzdWFyaW9zLCBsYSBwdWJsaWNhY2nDs24geSBjb25zdWx0YSBkZSBsYSBzaWd1aWVudGUgb2JyYToKClRpdHVsbwoKQXV0b3IgICAgICAgQXBlbGxpZG9zICAgICAgICAgTm9tYnJlcwoKMQoKMgoKMwoKCmcpCUF1dG9yaXpvKGFtb3MpLCBxdWUgbGEgb2JyYSBzZWEgcHVlc3RhIGEgZGlzcG9zaWNpw7NuIGRlbCBww7pibGljbyBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsb3MgbGl0ZXJhbGVzIGFudGVyaW9yZXMsIGJham8gbG9zIGzDrW1pdGVzIGRlZmluaWRvcyBwb3IgTEEgVU5JVkVSU0lEQUQsIGVuIGxhcyDigJxDb25kaWNpb25lcyBkZSB1c28gZGUgZXN0cmljdG8gY3VtcGxpbWllbnRv4oCdIGRlIGxvcyByZWN1cnNvcyBwdWJsaWNhZG9zIGVuIGVsIFJJVUQsIGN1eW8gdGV4dG8gY29tcGxldG8gc2UgcHVlZGUgY29uc3VsdGFyIGVuIGh0dHA6Ly9yZXBvc2l0b3J5LnVkaXN0cml0YWwuZWR1LmNvLwoKaCkJQ29ub3pjbyhjZW1vcykgeSBhY2VwdG8oYW1vcykgcXVlIG90b3JnbyhhbW9zKSB1bmEgbGljZW5jaWEgZXNwZWNpYWwgcGFyYSBwdWJsaWNhY2nDs24gZGUgb2JyYXMgZW4gZWwgUmVwb3NpdG9yaW8gSW5zdGl0dWNpb25hbCBkZSBsYSBVbml2ZXJzaWRhZCBEaXN0cml0YWwgRnJhbmNpc2NvIEpvc8OpIGRlIENhbGRhcywgbGljZW5jaWEgICBkZSBsYSBjdWFsIGhlIChoZW1vcykgb2J0ZW5pZG8gdW5hIGNvcGlhLgoKaSkJTWFuaWZpZXN0byhhbW9zKSBtaSAobnVlc3RybykgdG90YWwgYWN1ZXJkbyBjb24gbGFzIGNvbmRpY2lvbmVzIGRlIHVzbyB5IHB1YmxpY2FjacOzbiBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIHF1ZSBzZSBkZXNjcmliZW4geSBleHBsaWNhbiBlbiBlbCBwcmVzZW50ZSBkb2N1bWVudG8uCgpqKQlDb25vemNvKGNlbW9zKSBsYSBub3JtYXRpdmlkYWQgaW50ZXJuYSBkZSAgTEEgVU5JVkVSU0lEQUQ7IGVuIGNvbmNyZXRvLCBlbCBBY3VlcmRvIDAwNCBkZSAyMDEyIGRlbCBDU1UsIEFjdWVyZG8gMDIzIGRlIDIwMTIgZGVsIENTVSBzb2JyZSBQb2zDrXRpY2EgRWRpdG9yaWFsLCBBY3VlcmRvIDAyNiAgZGVsIDMxIGRlIGp1bGlvIGRlIDIwMTIgc29icmUgZWwgcHJvY2VkaW1pZW50byBwYXJhIGxhIHB1YmxpY2FjacOzbiBkZSB0ZXNpcyBkZSBwb3N0Z3JhZG8gZGUgbG9zIGVzdHVkaWFudGVzIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzLCAgQWN1ZXJkbyAwMzAgZGVsIDAzIGRlIGRpY2llbWJyZSBkZSAyMDEzIHBvciBtZWRpbyBkZWwgY3VhbCBzZSBjcmVhIGVsIFJlcG9zaXRvcmlvIEluc3RpdHVjaW9uYWwgZGUgbGEgVW5pdmVyc2lkYWQgRGlzdHJpdGFsIEZyYW5jaXNjbyBKb3PDqSBkZSBDYWxkYXMsIEFjdWVyZG8gMDM4IGRlIDIwMTUgMjAxNSDigJxwb3IgZWwgY3VhbCBzZSBtb2RpZmljYSBlbCBBY3VlcmRvIDAzMSBkZSAyMDE0IGRlIDIwMTQgcXVlIHJlZ2xhbWVudGEgZWwgdHJhYmFqbyBkZSBncmFkbyBwYXJhIGxvcyBlc3R1ZGlhbnRlcyBkZSBwcmVncmFkbyBkZSBsYSBVbml2ZXJzaWRhZCBEaXN0cml0YWwgRnJhbmNpc2NvIEpvc8OpIGRlIENhbGRhcyB5IHNlIGRpY3RhbiBvdHJhcyBkaXJlY3RyaWNlc+KAnSB5IGxhcyBkZW3DoXMgbm9ybWFzIGNvbmNvcmRhbnRlIHkgY29tcGxlbWVudGFyaWFzIHF1ZSByaWdlbiBhbCByZXNwZWN0bywgZXNwZWNpYWxtZW50ZSBsYSBsZXkgMjMgZGUgMTk4MiwgbGEgbGV5IDQ0IGRlIDE5OTMgeSBsYSBkZWNpc2nDs24gQW5kaW5hIDM1MSBkZSAxOTkzLiBFc3RvcyBkb2N1bWVudG9zIHBvZHLDoW4gc2VyIGNvbnN1bHRhZG9zIHkgZGVzY2FyZ2Fkb3MgZW4gZWwgcG9ydGFsIHdlYiBkZSBsYSBiaWJsaW90ZWNhIGh0dHA6Ly9zaXN0ZW1hZGViaWJsaW90ZWNhcy51ZGlzdHJpdGFsLmVkdS5jby8KCmspCUFjZXB0byhhbW9zKSBxdWUgTEEgVU5JVkVSU0lEQUQgbm8gc2UgcmVzcG9uc2FiaWxpemEgcG9yIGxhcyBpbmZyYWNjaW9uZXMgYSBsYSBwcm9waWVkYWQgaW50ZWxlY3R1YWwgbyBEZXJlY2hvcyBkZSBBdXRvciBjYXVzYWRhcyBwb3IgbG9zIHRpdHVsYXJlcyBkZSBsYSBwcmVzZW50ZSBMaWNlbmNpYSB5IGRlY2xhcmFtb3MgcXVlIG1hbnRlbmRyw6kgKGVtb3MpIGluZGVtbmUgYSBMQSBVTklWRVJTSURBRCBwb3IgbGFzIHJlY2xhbWFjaW9uZXMgbGVnYWxlcyBkZSBjdWFscXVpZXIgdGlwbyBxdWUgbGxlZ2FyZW4gYSBwcmVzZW50YXJzZSBwb3IgdmlvbGFjacOzbiBkZSBkZXJlY2hvcyBhIGxhIHByb3BpZWRhZCBpbnRlbGVjdHVhbCBvIGRlIEF1dG9yIHJlbGFjaW9uYWRvcyBjb24gbG9zIGRvY3VtZW50b3MgcmVnaXN0cmFkb3MgZW4gZWwgUklVRC4KCmwpCUVsIChsb3MpIGF1dG9yKGVzKSBtYW5pZmllc3RhKG1vcykgcXVlIGxhIG9icmEgb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwsIGRlIGV4Y2x1c2l2YSBhdXRvcsOtYSwgeSBzZSByZWFsaXrDsyBzaW4gdmlvbGFyIG8gdXN1cnBhciBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvczsgZGUgdGFsIHN1ZXJ0ZSwgZW4gY2FzbyBkZSBwcmVzZW50YXJzZSBjdWFscXVpZXIgcmVjbGFtYWNpw7NuIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyBlbiBjdWFudG8gYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgbGEgb2JyYSwgZWwgKGxvcykgZXN0dWRpYW50ZShzKSDigJMgYXV0b3IoZXMpIGFzdW1pcsOhKG4pIHRvZGEgbGEgcmVzcG9uc2FiaWxpZGFkIHkgc2FsZHLDoShuKSBlbiBkZWZlbnNhIGRlIGxvcyBkZXJlY2hvcyBhcXXDrSBhdXRvcml6YWRvcy4gUGFyYSB0b2RvcyBsb3MgZWZlY3RvcywgTEEgVU5JVkVSU0lEQUQgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KCgptKQlFbCAobG9zKSBhdXRvcihlcykgbWFuaWZpZXN0YShtb3MpIHF1ZSBjb25vemNvKGNlbW9zKSBsYSBhdXRvbm9tw61hIHkgbG9zIGRlcmVjaG9zLCBxdWUgcG9zZWUobW9zKSBzb2JyZSBsYSBvYnJhIHksIGNvbW8gdGFsLCBlcyAoc29tb3MpIHJlc3BvbnNhYmxlKHMpIGRlbCBhbGNhbmNlIGp1csOtZGljbyB5IGxlZ2FsLCBkZSBlc2NvZ2VyIGxhIG9wY2nDs24gZGUgbGEgcHVibGljYWNpw7NuIG8gZGUgcmVzdHJpY2Npw7NuIGRlIGxhIHB1YmxpY2FjacOzbiBkZWwgZG9jdW1lbnRvIHJlZ2lzdHJhZG8gZW4gZWwgUklVRC4KCgoKCgoKU0kgRUwgRE9DVU1FTlRPIFNFIEJBU0EgRU4gVU4gVFJBQkFKTyBRVUUgSEEgU0lETyBQQVRST0NJTkFETyBPIEFQT1lBRE8gUE9SIFVOQSBBR0VOQ0lBIE8gVU5BIE9SR0FOSVpBQ0nDk04sIENPTiBFWENFUENJw5NOIERFIExBIFVOSVZFUlNJREFEIERJU1RSSVRBTCBGUkFOQ0lTQ08gSk9TRSBERSBDQUxEQVMsIExPUyBBVVRPUkVTIEdBUkFOVElaQU4gUVVFIFNFIEhBIENVTVBMSURPIENPTiBMT1MKREVSRUNIT1MgWSBPQkxJR0FDSU9ORVMgUkVRVUVSSURPUyBQT1IgRUwgUkVTUEVDVElWTyBDT05UUkFUTyBPIEFDVUVSRE8uCgoKCgoKCgoKCgoKCgoKCgoKCgoKCkVuIGNvbnN0YW5jaWEgZGUgbG8gYW50ZXJpb3IsIGZpcm1vKGFtb3MpIGVsIHByZXNlbnRlIGRvY3VtZW50bywgZW4gbGEgY2l1ZGFkIGRlIEJvZ290w6EsIEQuQy4sIGEgbG9zCgoKRklSTUEgREUgTE9TIFRJVFVMQVJFUyBERSBERVJFQ0hPUyBERSBBVVRPUgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fICAgQy5DLiBOby4gX19fX19fX19fX19fX19fX19fCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18gICBDLkMuIE5vLiBfX19fX19fX19fX19fX19fX18KCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXyAgIEMuQy4gTm8uIF9fX19fX19fX19fX19fX19fXwoKCgpDb3JyZW8gRWxlY3Ryw7NuaWNvIEluc3RpdHVjaW9uYWwgZGVsIChkZSBsb3MpIEF1dG9yKGVzKToKCkF1dG9yCSAgICAgIENvcnJlbyBFbGVjdHLDs25pY28KCjEKCjIKCjMKCk5vbWJyZSBkZSBEaXJlY3RvcihlcykgZGUgR3JhZG86CgoxCgoyCgozCgpOb21icmUgRmFjdWx0YWQgeSBQcm95ZWN0byBDdXJyaWN1bGFyOgoKRmFjdWx0YWQJUHJveWVjdG8gQ3VycmljdWxhcgoKCgoKCgoKCk5vdGE6IEVuIGNhc28gcXVlIG5vIGVzdMOpIGRlIGFjdWVyZG8gY29uIGxhcyBjb25kaWNpb25lcyBkZSBsYSBwcmVzZW50ZSBsaWNlbmNpYSwgeSBtYW5pZmllc3RlIGFsZ3VuYSByZXN0cmljY2nDs24gc29icmUgbGEgb2JyYSwganVzdGlmaXF1ZSBsb3MgbW90aXZvcyBwb3IgbG9zIGN1YWxlcyBlbCBkb2N1bWVudG8geSBzdXMgYW5leG9zIG5vIHB1ZWRlbiBzZXIgcHVibGljYWRvcyBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIFJJVUQuCgoKU2kgcmVxdWllcmUgbcOhcyBlc3BhY2lvLCBwdWVkZSBhbmV4YXIgdW5hIGNvcGlhIHNpbWlsYXIgYSBlc3RhIGhvamEK