Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids
En el análisis de imágenes digitales, una estrategia utilizada para abordar las propiedades espaciales y topológicas es definir objetos de imagen, como se les conoce en la comunidad de percepción remota, que agrupen píxeles como elementos más gruesos del espacio geométrico o superpíxeles. Este proce...
- Autores:
- Tipo de recurso:
- Doctoral thesis
- Fecha de publicación:
- 2019
- Institución:
- Universidad Distrital Francisco José de Caldas
- Repositorio:
- RIUD: repositorio U. Distrital
- Idioma:
- spa
- OAI Identifier:
- oai:repository.udistrital.edu.co:11349/14486
- Acceso en línea:
- http://hdl.handle.net/11349/14486
- Palabra clave:
- Complejo cartesiano
Espacio localmente finito
Matroide orientado
Segmentación de imagen
Doctorado en Ingeniería - Tesis y disertaciones académicas
Segmentación de imágenes
Procesamiento digital de imágenes
Procesamiento de imágenes
Cartesian complexes
Image segmentation
Locally finite spaces
Oriented matroids
- Rights
- License
- Atribución-NoComercial-SinDerivadas 4.0 Internacional
id |
UDISTRITA2_7e46381f1dd763988a4f8df29feed7f6 |
---|---|
oai_identifier_str |
oai:repository.udistrital.edu.co:11349/14486 |
network_acronym_str |
UDISTRITA2 |
network_name_str |
RIUD: repositorio U. Distrital |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids |
dc.title.titleenglish.spa.fl_str_mv |
Desarrollo de un método alternativo para segmentación de imágenes multiespectrales con base en los complejos cartesianos y sus matroides orientados asociados |
title |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids |
spellingShingle |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids Complejo cartesiano Espacio localmente finito Matroide orientado Segmentación de imagen Doctorado en Ingeniería - Tesis y disertaciones académicas Segmentación de imágenes Procesamiento digital de imágenes Procesamiento de imágenes Cartesian complexes Image segmentation Locally finite spaces Oriented matroids |
title_short |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids |
title_full |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids |
title_fullStr |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids |
title_full_unstemmed |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids |
title_sort |
Development of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroids |
dc.contributor.advisor.spa.fl_str_mv |
Lizarazo Salcedo, Iván Alberto |
dc.subject.spa.fl_str_mv |
Complejo cartesiano Espacio localmente finito Matroide orientado Segmentación de imagen |
topic |
Complejo cartesiano Espacio localmente finito Matroide orientado Segmentación de imagen Doctorado en Ingeniería - Tesis y disertaciones académicas Segmentación de imágenes Procesamiento digital de imágenes Procesamiento de imágenes Cartesian complexes Image segmentation Locally finite spaces Oriented matroids |
dc.subject.lemb.spa.fl_str_mv |
Doctorado en Ingeniería - Tesis y disertaciones académicas Segmentación de imágenes Procesamiento digital de imágenes Procesamiento de imágenes |
dc.subject.keyword.spa.fl_str_mv |
Cartesian complexes Image segmentation Locally finite spaces Oriented matroids |
description |
En el análisis de imágenes digitales, una estrategia utilizada para abordar las propiedades espaciales y topológicas es definir objetos de imagen, como se les conoce en la comunidad de percepción remota, que agrupen píxeles como elementos más gruesos del espacio geométrico o superpíxeles. Este proceso se conoce como segmentación de imágenes. En este proceso es común agrupar píxeles cercanos usando grafos (a, b)-conectados como definiciones de vecindad. Tal enfoque, sin embargo, no puede cumplir algunos axiomas topológicos necesarios para asegurar una representación correcta de las relaciones de conexión. Los límites de superpíxeles pueden presentar ambigüedades debido a que los contornos unidimensionales están representados por píxeles, los cuales son bidimensionales. La complejidad inherente de los algoritmos de segmentación, además del gran volumen de datos típico de las imágenes de alta resolución, hacen que se requieran considerables recursos informáticos. Como resultado de lo anterior, los algoritmos geométricos tradicionalmente utilizados para la segmentación de imágenes funcionan con base en entidades bidimensionales (es decir, no hay entidades de 0 o 1 dimensiones para construir los límites) y, por lo tanto, toman decisiones con base en relaciones topológicas representadas ambiguamente. Esta investigación logró diseñar conceptualmente e implementar computacionalmente un método alternativo para la segmentación de imágenes multiespectrales basado en los espacios axiomáticos localmente finitos (ALFS, por su sigla en inglés) proporcionados por los complejos cartesianos, y el cual toma en cuenta las propiedades topológicas y geométricas. Este modelo de representación alternativa proporciona un espacio geométrico que cumple con la topología digital T0 libre de ambigüedades topológicas, sobre el cual se construye una nueva forma de segmentar datos de imágenes. El modelo propuesto se desarrolla e implementa de tal manera que el subconjunto requerido de características geométricas se transforman en estructuras combinatorias las cuales codifican las características topológicas y geométricas presentes en los semiespacios combinatorios usando su matroide orientado asociado. El enfoque propuesto utiliza una arquitectura por capas la cual va desde un nivel físico, pasando luego por un nivel lógico de abstracción geoespacial y luego a través del nivel lógico complejo cartesiano. Además, existe una capa de matroides orientados compuesta por elementos conceptuales en términos de combinatoria que codifican características relevantes para la segmentación de imágenes multiespectrales. Primero, se lleva a cabo una tarea de detección de bordes usando un análisis de textura y cálculo de gradiente orientado multi-escala, luego un análisis de afinidad espectral que incluye la aplicación de filtros derivativos orientados para obtener finalmente un mapa de probabilidad de límite usando un espacio complejo cartesiano en lugar de la representación de imagen convencional basada en píxeles. De esta manera, se construye un marco computacional mediante el cual es posible la representación de una imagen digital multiespectral de una manera que explícitamente toma en cuenta las propiedades topológicas para una mejor segmentación de imágenes. La evaluación de exactitud de los límites producidos por el enfoque propuesto se llevó a cabo a través de dos estratégias de validación: (1) generalización de escala de los segmentos para llevarlos a la escala de la verdad de terreno de segmentación disponible y (2) comparación entre los resultados obtenidos a partir del enfoque propuesto y a partir de superpixeles convencionales. Los resultados muestran que, aparte de la representación de píxeles convencional, es posible segmentar una imagen con base en un espacio digital topológicamente correcto, al mismo tiempo que se aprovechan las características combinatorias de sus matroides orientados asociados. Si bien es cierto que la precisión producida a partir de complejos cartesianos aún no supera la obtenida a partir del enfoque convencional basado en píxeles, el enfoque propuesto por esta investigación logra una mejor cobertura y precisión promedio. Esto permite afirmar que el modelo propuesto e implementado como parte de la investigación aquí presentada constituye una alternativa confiable para la segmentación de imágenes multiespectrales. Se pudo confirmar que el uso de los espacios axiomáticos localmente finitos y sus matroides asociados permite una segmentación topológico-geométrica de la imagen. |
publishDate |
2019 |
dc.date.accessioned.none.fl_str_mv |
2019-03-27T18:51:51Z |
dc.date.available.none.fl_str_mv |
2019-03-27T18:51:51Z |
dc.date.created.spa.fl_str_mv |
2019-02-05 |
dc.type.degree.spa.fl_str_mv |
Investigación-Innovación |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_db06 |
format |
http://purl.org/coar/resource_type/c_db06 |
dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/11349/14486 |
url |
http://hdl.handle.net/11349/14486 |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.rights.*.fl_str_mv |
Atribución-NoComercial-SinDerivadas 4.0 Internacional |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
dc.rights.acceso.spa.fl_str_mv |
Abierto (Texto Completo) |
rights_invalid_str_mv |
Atribución-NoComercial-SinDerivadas 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/ Abierto (Texto Completo) http://purl.org/coar/access_right/c_abf2 |
dc.format.mimetype.spa.fl_str_mv |
pdf |
institution |
Universidad Distrital Francisco José de Caldas |
bitstream.url.fl_str_mv |
http://repository.udistrital.edu.co/bitstream/11349/14486/7/ValeroMedinaJos%c3%a9Antonio2019.pdf.jpg http://repository.udistrital.edu.co/bitstream/11349/14486/8/ValeroMedinaJos%c3%a9Antonio2019Anexo.pdf.jpg http://repository.udistrital.edu.co/bitstream/11349/14486/3/license_url http://repository.udistrital.edu.co/bitstream/11349/14486/4/license_text http://repository.udistrital.edu.co/bitstream/11349/14486/5/license_rdf http://repository.udistrital.edu.co/bitstream/11349/14486/6/license.txt http://repository.udistrital.edu.co/bitstream/11349/14486/1/ValeroMedinaJos%c3%a9Antonio2019.pdf http://repository.udistrital.edu.co/bitstream/11349/14486/2/ValeroMedinaJos%c3%a9Antonio2019Anexo.pdf |
bitstream.checksum.fl_str_mv |
9c26eeb14739716d2bf588eadd2ca92e 9f0d1567119071925d6eaaa1a330e591 321f3992dd3875151d8801b773ab32ed d41d8cd98f00b204e9800998ecf8427e d41d8cd98f00b204e9800998ecf8427e da5c6a3ca62d5dd4853000a60fee7083 87cf543e0848e5cc1598dc1ee8ffc86d 420202f188349519d42df97c0fe4f5d2 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional Universidad Distrital - RIUD |
repository.mail.fl_str_mv |
repositorio@udistrital.edu.co |
_version_ |
1803712610615427072 |
spelling |
Lizarazo Salcedo, Iván AlbertoValero Medina, José Antonio2019-03-27T18:51:51Z2019-03-27T18:51:51Z2019-02-05http://hdl.handle.net/11349/14486En el análisis de imágenes digitales, una estrategia utilizada para abordar las propiedades espaciales y topológicas es definir objetos de imagen, como se les conoce en la comunidad de percepción remota, que agrupen píxeles como elementos más gruesos del espacio geométrico o superpíxeles. Este proceso se conoce como segmentación de imágenes. En este proceso es común agrupar píxeles cercanos usando grafos (a, b)-conectados como definiciones de vecindad. Tal enfoque, sin embargo, no puede cumplir algunos axiomas topológicos necesarios para asegurar una representación correcta de las relaciones de conexión. Los límites de superpíxeles pueden presentar ambigüedades debido a que los contornos unidimensionales están representados por píxeles, los cuales son bidimensionales. La complejidad inherente de los algoritmos de segmentación, además del gran volumen de datos típico de las imágenes de alta resolución, hacen que se requieran considerables recursos informáticos. Como resultado de lo anterior, los algoritmos geométricos tradicionalmente utilizados para la segmentación de imágenes funcionan con base en entidades bidimensionales (es decir, no hay entidades de 0 o 1 dimensiones para construir los límites) y, por lo tanto, toman decisiones con base en relaciones topológicas representadas ambiguamente. Esta investigación logró diseñar conceptualmente e implementar computacionalmente un método alternativo para la segmentación de imágenes multiespectrales basado en los espacios axiomáticos localmente finitos (ALFS, por su sigla en inglés) proporcionados por los complejos cartesianos, y el cual toma en cuenta las propiedades topológicas y geométricas. Este modelo de representación alternativa proporciona un espacio geométrico que cumple con la topología digital T0 libre de ambigüedades topológicas, sobre el cual se construye una nueva forma de segmentar datos de imágenes. El modelo propuesto se desarrolla e implementa de tal manera que el subconjunto requerido de características geométricas se transforman en estructuras combinatorias las cuales codifican las características topológicas y geométricas presentes en los semiespacios combinatorios usando su matroide orientado asociado. El enfoque propuesto utiliza una arquitectura por capas la cual va desde un nivel físico, pasando luego por un nivel lógico de abstracción geoespacial y luego a través del nivel lógico complejo cartesiano. Además, existe una capa de matroides orientados compuesta por elementos conceptuales en términos de combinatoria que codifican características relevantes para la segmentación de imágenes multiespectrales. Primero, se lleva a cabo una tarea de detección de bordes usando un análisis de textura y cálculo de gradiente orientado multi-escala, luego un análisis de afinidad espectral que incluye la aplicación de filtros derivativos orientados para obtener finalmente un mapa de probabilidad de límite usando un espacio complejo cartesiano en lugar de la representación de imagen convencional basada en píxeles. De esta manera, se construye un marco computacional mediante el cual es posible la representación de una imagen digital multiespectral de una manera que explícitamente toma en cuenta las propiedades topológicas para una mejor segmentación de imágenes. La evaluación de exactitud de los límites producidos por el enfoque propuesto se llevó a cabo a través de dos estratégias de validación: (1) generalización de escala de los segmentos para llevarlos a la escala de la verdad de terreno de segmentación disponible y (2) comparación entre los resultados obtenidos a partir del enfoque propuesto y a partir de superpixeles convencionales. Los resultados muestran que, aparte de la representación de píxeles convencional, es posible segmentar una imagen con base en un espacio digital topológicamente correcto, al mismo tiempo que se aprovechan las características combinatorias de sus matroides orientados asociados. Si bien es cierto que la precisión producida a partir de complejos cartesianos aún no supera la obtenida a partir del enfoque convencional basado en píxeles, el enfoque propuesto por esta investigación logra una mejor cobertura y precisión promedio. Esto permite afirmar que el modelo propuesto e implementado como parte de la investigación aquí presentada constituye una alternativa confiable para la segmentación de imágenes multiespectrales. Se pudo confirmar que el uso de los espacios axiomáticos localmente finitos y sus matroides asociados permite una segmentación topológico-geométrica de la imagen.In digital image analysis, a strategy used to address spatial and topological properties is to define image objects, as they are known in the remote sensing community, grouping pixels as coarser geometric space elements or super pixels. This process is known as image segmentation. In this process it is common to group near pixels based on (a, b)-connected graphs as neighborhood definitions. Such an approach, however, cannot meet some topological axioms needed to ensure a correct representation of connectedness relationships. Super pixel boundaries may present ambiguities because one-dimensional contours are represented by pixels, which are 2-dimensional. The inherent complexity of segmentation algorithms along with the high volume of data of the high resolution images, demand considerable computing resources. Because of the above, geometric algorithms traditionally used for image segmentation work on 2-dimensional entities (i.e., there are neither 0-dimensional nor 1-dimensional entities to build boundaries on) and, therefore, take decisions based on topological relationships ambiguously represented. This research managed to conceptually design and computationally implement an alternative method for multispectral image segmentation based on axiomatic locally finite spaces (ALFS) provided by cartesian complexes, which take into account topological and geometric properties. This alternative representation model provides a geometric space that complies with the T 0 digital topology free of topological ambiguities, on which a novel way for segmenting imagery data is built. Proposed model is developed and implemented in such a way that the required subset of geometrical characteristics are transformed into combinatorial structures encoding topological and geometric features present in combinatorial half spaces using its oriented matroid. The proposed approach uses a layered architecture going from a physical level, going next through the logical geospatial abstraction level and then through the cartesian complex logical level. Additionally, there is a layer oforiented matroids composed of conceptual elements in terms of combinatorics for encoding relevant features to multispectral image segmentation. First, it is conducted an edge detection task using a multi-scale texture analysis and oriented gradient calculation, next a spectral affinity analysis, including oriented derivative filter appliance to finally obtain a probability contour map using a cartesian complex space rather than the pixel conventional image representation. Therefore, a computational framework by which it is possible the representation of a multispectral digital image in a way that explicitly takes into account topological properties in order to better conduct image segmentation was produced. Accuracy assessment of boundaries produced by proposing approach was carried out through two validation strategies: (1) segment scale generalization to the scale of the available segmentation ground truth and (2) proposed approach versus conventional pixel boundary detection benchmarking. The results show that, by departing from the conventional pixel representation, it is possible to segment an image based on a topologically correct digital space, while simultaneously taking advantage of combinatorial features of their associated oriented matroids. Even though the precision produced from cartesian complexes still does not exceed that obtained from the conventional approach based on pixels, the approach here proposed does achieve a better recall and average precision. This permits to affirm that the model proposed and implemented as part of the research here presented constitutes a reliable alternative for the segmentation of multispectral images. It was possible to confirm that the usage of axiomatic locally finite spaces and their associated matroids enables image topological-geometric segmentation.pdfspaAtribución-NoComercial-SinDerivadas 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Abierto (Texto Completo)http://purl.org/coar/access_right/c_abf2Complejo cartesianoEspacio localmente finitoMatroide orientadoSegmentación de imagenDoctorado en Ingeniería - Tesis y disertaciones académicasSegmentación de imágenesProcesamiento digital de imágenesProcesamiento de imágenesCartesian complexesImage segmentationLocally finite spacesOriented matroidsDevelopment of an alternative method for multispectral image segmentation based on cartesian complexes and its associated oriented matroidsDesarrollo de un método alternativo para segmentación de imágenes multiespectrales con base en los complejos cartesianos y sus matroides orientados asociadosInvestigación-Innovacióninfo:eu-repo/semantics/doctoralThesishttp://purl.org/coar/resource_type/c_db06THUMBNAILValeroMedinaJoséAntonio2019.pdf.jpgValeroMedinaJoséAntonio2019.pdf.jpgIM Thumbnailimage/jpeg6639http://repository.udistrital.edu.co/bitstream/11349/14486/7/ValeroMedinaJos%c3%a9Antonio2019.pdf.jpg9c26eeb14739716d2bf588eadd2ca92eMD57open accessValeroMedinaJoséAntonio2019Anexo.pdf.jpgValeroMedinaJoséAntonio2019Anexo.pdf.jpgIM Thumbnailimage/jpeg4635http://repository.udistrital.edu.co/bitstream/11349/14486/8/ValeroMedinaJos%c3%a9Antonio2019Anexo.pdf.jpg9f0d1567119071925d6eaaa1a330e591MD58open accessCC-LICENSElicense_urllicense_urltext/plain; charset=utf-843http://repository.udistrital.edu.co/bitstream/11349/14486/3/license_url321f3992dd3875151d8801b773ab32edMD53open accesslicense_textlicense_texttext/html; charset=utf-80http://repository.udistrital.edu.co/bitstream/11349/14486/4/license_textd41d8cd98f00b204e9800998ecf8427eMD54open accesslicense_rdflicense_rdfapplication/rdf+xml; charset=utf-80http://repository.udistrital.edu.co/bitstream/11349/14486/5/license_rdfd41d8cd98f00b204e9800998ecf8427eMD55open accessLICENSElicense.txtlicense.txttext/plain; charset=utf-87163http://repository.udistrital.edu.co/bitstream/11349/14486/6/license.txtda5c6a3ca62d5dd4853000a60fee7083MD56open accessORIGINALValeroMedinaJoséAntonio2019.pdfValeroMedinaJoséAntonio2019.pdfTesis de Doctoradoapplication/pdf30987803http://repository.udistrital.edu.co/bitstream/11349/14486/1/ValeroMedinaJos%c3%a9Antonio2019.pdf87cf543e0848e5cc1598dc1ee8ffc86dMD51open accessValeroMedinaJoséAntonio2019Anexo.pdfValeroMedinaJoséAntonio2019Anexo.pdfAnexoapplication/pdf1362442http://repository.udistrital.edu.co/bitstream/11349/14486/2/ValeroMedinaJos%c3%a9Antonio2019Anexo.pdf420202f188349519d42df97c0fe4f5d2MD52open access11349/14486oai:repository.udistrital.edu.co:11349/144862023-06-09 14:22:14.289open accessRepositorio Institucional Universidad Distrital - RIUDrepositorio@udistrital.edu.coTElDRU5DSUEgWSBBVVRPUklaQUNJw5NOIEVTUEVDSUFMIFBBUkEgUFVCTElDQVIgWSBQRVJNSVRJUiBMQSBDT05TVUxUQSBZIFVTTyBERSBDT05URU5JRE9TIEVOIEVMIFJFUE9TSVRPUklPIElOU1RJVFVDSU9OQUwgREUgTEEgVU5JVkVSU0lEQUQgRElTVFJJVEFMClTDqXJtaW5vcyB5IGNvbmRpY2lvbmVzIGRlIHVzbyBwYXJhIHB1YmxpY2FjacOzbiBkZSBvYnJhcyBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIChSSVVEKQoKQ29tbyB0aXR1bGFyKGVzKSBkZWwob3MpIGRlcmVjaG8ocykgZGUgYXV0b3IsIGNvbmZpZXJvIChlcmltb3MpIGEgbGEgVW5pdmVyc2lkYWQgRGlzdHJpdGFsIEZyYW5jaXNjbyBKb3PDqSBkZSBDYWxkYXMgKGVuIGFkZWxhbnRlLCBMQSBVTklWRVJTSURBRCkgdW5hIGxpY2VuY2lhIHBhcmEgdXNvIG5vIGV4Y2x1c2l2YSwgbGltaXRhZGEgeSBncmF0dWl0YSBzb2JyZSBsYSBvYnJhIHF1ZSBpbnRlZ3JhcsOhIGVsIFJlcG9zaXRvcmlvIEluc3RpdHVjaW9uYWwgKGVuIGFkZWxhbnRlLCBSSVVEKSwgZGUgYWN1ZXJkbyBhIGxhcyBzaWd1aWVudGVzIHJlZ2xhcywgbGFzIGN1YWxlcyBkZWNsYXJvIChhbW9zKSBjb25vY2VyIHkgYWNlcHRhcjoKCmEpCUVzdGFyw6EgdmlnZW50ZSBhIHBhcnRpciBkZSBsYSBmZWNoYSBlbiBxdWUgc2UgaW5jbHV5YSBlbiBlbCBSSVVEIHkgaGFzdGEgcG9yIHVuIHBsYXpvIGRlIGRpZXogKDEwKSBBw7FvcywgcHJvcnJvZ2FibGUgaW5kZWZpbmlkYW1lbnRlIHBvciBlbCB0aWVtcG8gcXVlIGR1cmUgZWwgZGVyZWNobyBQYXRyaW1vbmlhbCBkZWwgYXV0b3I7IGxhIGN1YWwgcG9kcsOhIGRhcnNlIHBvciB0ZXJtaW5hZGEgcHJldmlhIHNvbGljaXR1ZCBhIExBIFVOSVZFUlNJREFEIHBvciBlc2NyaXRvIGNvbiB1bmEgYW50ZWxhY2nDs24gZGUgZG9zICgyKSBtZXNlcyBhbnRlcyBkZWwgdmVuY2ltaWVudG8gZGVsIHBsYXpvIGluaWNpYWwgbyBlbCBkZSBzdShzKSBwcsOzcnJvZ2EocykuICAKCmIpCUxBIFVOSVZFUlNJREFEIHBvZHLDoSBwdWJsaWNhciBsYSBvYnJhIGVuIGxhcyBkaXN0aW50YXMgdmVyc2lvbmVzIHJlcXVlcmlkYXMgcG9yIGVsIFJJVUQgKGRpZ2l0YWwsIGltcHJlc28sIGVsZWN0csOzbmljbyB1IG90cm8gbWVkaW8gY29ub2NpZG8gbyBwb3IgY29ub2NlcikgTEEgVU5JVkVSU0lEQUQgbm8gc2Vyw6EgcmVzcG9uc2FibGUgZW4gZWwgZXZlbnRvIHF1ZSBlbCBkb2N1bWVudG8gYXBhcmV6Y2EgcmVmZXJlbmNpYWRvIGVuIG1vdG9yZXMgZGUgYsO6c3F1ZWRhIG8gcmVwb3NpdG9yaW9zIGRpZmVyZW50ZXMgYWwgUklVRCwgdW5hIHZleiBlbChvcykgYXV0b3IoZXMpIHNvbGljaXRlbiBzdSBlbGltaW5hY2nDs24gZGVsIFJJVUQsIGRhZG8gcXVlIGxhIG1pc21hIHNlcsOhIHB1YmxpY2FkYSBlbiBJbnRlcm5ldC4gCgpjKQlMYSBhdXRvcml6YWNpw7NuIHNlIGhhY2UgYSB0w610dWxvIGdyYXR1aXRvLCBwb3IgbG8gdGFudG8sIGxvcyBhdXRvcmVzIHJlbnVuY2lhbiBhIHJlY2liaXIgYmVuZWZpY2lvIGFsZ3VubyBwb3IgbGEgcHVibGljYWNpw7NuLCBkaXN0cmlidWNpw7NuLCBjb211bmljYWNpw7NuIHDDumJsaWNhIHkgY3VhbHF1aWVyIG90cm8gdXNvIHF1ZSBzZSBoYWdhIGVuIGxvcyB0w6lybWlub3MgZGUgbGEgcHJlc2VudGUgbGljZW5jaWEgeSBkZSBsYSBsaWNlbmNpYSBkZSB1c28gY29uIHF1ZSBzZSBwdWJsaWNhIChDcmVhdGl2ZSBDb21tb25zKS4KCmQpCUxvcyBjb250ZW5pZG9zIHB1YmxpY2Fkb3MgZW4gZWwgUklVRCBzb24gb2JyYShzKSBvcmlnaW5hbChlcykgc29icmUgbGEgY3VhbChlcykgZWwob3MpIGF1dG9yKGVzKSBjb21vIHRpdHVsYXJlcyBkZSBsb3MgZGVyZWNob3MgZGUgYXV0b3IsIGFzdW1lbiB0b3RhbCByZXNwb25zYWJpbGlkYWQgcG9yIGVsIGNvbnRlbmlkbyBkZSBzdSBvYnJhIGFudGUgTEEgVU5JVkVSU0lEQUQgeSBhbnRlIHRlcmNlcm9zLiBFbiB0b2RvIGNhc28gTEEgVU5JVkVSU0lEQUQgc2UgY29tcHJvbWV0ZSBhIGluZGljYXIgc2llbXByZSBsYSBhdXRvcsOtYSBpbmNsdXllbmRvIGVsIG5vbWJyZSBkZWwgYXV0b3IgeSBsYSBmZWNoYSBkZSBwdWJsaWNhY2nDs24uCgplKQlMQSBVTklWRVJTSURBRCBwb2Ryw6EgaW5jbHVpciBsYSBvYnJhIGVuIGxvcyDDrW5kaWNlcyB5IGJ1c2NhZG9yZXMgcXVlIGVzdGltZW4gbmVjZXNhcmlvcyBwYXJhIG1heGltaXphciBsYSB2aXNpYmlsaWRhZCBlbCB1c28geSBlbCBpbXBhY3RvIGRlIGxhIHByb2R1Y2Npw7NuIGNpZW50w61maWNhLCBhcnTDrXN0aWNhIHkgYWNhZMOpbWljYSBlbiBsYSBjb211bmlkYWQgbG9jYWwsIG5hY2lvbmFsIG8gaW50ZXJuYWNpb25hbC4gCgoKZikJTEEgVU5JVkVSU0lEQUQgcG9kcsOhIGNvbnZlcnRpciBsYSBvYnJhIGEgY3VhbHF1aWVyIG1lZGlvIG8gZm9ybWF0byBjb24gZWwgZmluIGRlIHN1IHByZXNlcnZhY2nDs24gZW4gZWwgdGllbXBvIHF1ZSBsYSBwcmVzZW50ZSBsaWNlbmNpYSB5IGxhIGRlIHN1cyBwcsOzcnJvZ2FzLgoKCkNvbiBiYXNlIGVuIGxvIGFudGVyaW9yIGF1dG9yaXpvKGFtb3MpLCBhIGZhdm9yIGRlbCBSSVVEIHkgZGUgc3VzIHVzdWFyaW9zLCBsYSBwdWJsaWNhY2nDs24geSBjb25zdWx0YSBkZSBsYSBzaWd1aWVudGUgb2JyYToKClRpdHVsbyAJCkF1dG9yCUFwZWxsaWRvcwlOb21icmVzCjEJCQoyCQkKMwkJCiAKCmcpCUF1dG9yaXpvKGFtb3MpLCBxdWUgbGEgb2JyYSBzZWEgcHVlc3RhIGEgZGlzcG9zaWNpw7NuIGRlbCBww7pibGljbyBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsb3MgbGl0ZXJhbGVzIGFudGVyaW9yZXMsIGJham8gbG9zIGzDrW1pdGVzIGRlZmluaWRvcyBwb3IgTEEgVU5JVkVSU0lEQUQsIGVuIGxhcyDigJxDb25kaWNpb25lcyBkZSB1c28gZGUgZXN0cmljdG8gY3VtcGxpbWllbnRv4oCdIGRlIGxvcyByZWN1cnNvcyBwdWJsaWNhZG9zIGVuIGVsIFJJVUQsIGN1eW8gdGV4dG8gY29tcGxldG8gc2UgcHVlZGUgY29uc3VsdGFyIGVuIGh0dHA6Ly9yZXBvc2l0b3J5LnVkaXN0cml0YWwuZWR1LmNvLwoKaCkJQ29ub3pjbyhjZW1vcykgeSBhY2VwdG8oYW1vcykgcXVlIG90b3JnbyhhbW9zKSB1bmEgbGljZW5jaWEgZXNwZWNpYWwgcGFyYSBwdWJsaWNhY2nDs24gZGUgb2JyYXMgZW4gZWwgUmVwb3NpdG9yaW8gSW5zdGl0dWNpb25hbCBkZSBsYSBVbml2ZXJzaWRhZCBEaXN0cml0YWwgRnJhbmNpc2NvIEpvc8OpIGRlIENhbGRhcywgbGljZW5jaWEgICBkZSBsYSBjdWFsIGhlIChoZW1vcykgb2J0ZW5pZG8gdW5hIGNvcGlhLgoKaSkJTWFuaWZpZXN0byhhbW9zKSBtaSAobnVlc3RybykgdG90YWwgYWN1ZXJkbyBjb24gbGFzIGNvbmRpY2lvbmVzIGRlIHVzbyB5IHB1YmxpY2FjacOzbiBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIHF1ZSBzZSBkZXNjcmliZW4geSBleHBsaWNhbiBlbiBlbCBwcmVzZW50ZSBkb2N1bWVudG8uCgpqKQlDb25vemNvKGNlbW9zKSBsYSBub3JtYXRpdmlkYWQgaW50ZXJuYSBkZSAgTEEgVU5JVkVSU0lEQUQ7IGVuIGNvbmNyZXRvLCBlbCBBY3VlcmRvIDAwNCBkZSAyMDEyIGRlbCBDU1UsIEFjdWVyZG8gMDIzIGRlIDIwMTIgZGVsIENTVSBzb2JyZSBQb2zDrXRpY2EgRWRpdG9yaWFsLCBBY3VlcmRvIDAyNiAgZGVsIDMxIGRlIGp1bGlvIGRlIDIwMTIgc29icmUgZWwgcHJvY2VkaW1pZW50byBwYXJhIGxhIHB1YmxpY2FjacOzbiBkZSB0ZXNpcyBkZSBwb3N0Z3JhZG8gZGUgbG9zIGVzdHVkaWFudGVzIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzLCAgQWN1ZXJkbyAwMzAgZGVsIDAzIGRlIGRpY2llbWJyZSBkZSAyMDEzIHBvciBtZWRpbyBkZWwgY3VhbCBzZSBjcmVhIGVsIFJlcG9zaXRvcmlvIEluc3RpdHVjaW9uYWwgZGUgbGEgVW5pdmVyc2lkYWQgRGlzdHJpdGFsIEZyYW5jaXNjbyBKb3PDqSBkZSBDYWxkYXMsIEFjdWVyZG8gMDM4IGRlIDIwMTUgMjAxNSDigJxwb3IgZWwgY3VhbCBzZSBtb2RpZmljYSBlbCBBY3VlcmRvIDAzMSBkZSAyMDE0IGRlIDIwMTQgcXVlIHJlZ2xhbWVudGEgZWwgdHJhYmFqbyBkZSBncmFkbyBwYXJhIGxvcyBlc3R1ZGlhbnRlcyBkZSBwcmVncmFkbyBkZSBsYSBVbml2ZXJzaWRhZCBEaXN0cml0YWwgRnJhbmNpc2NvIEpvc8OpIGRlIENhbGRhcyB5IHNlIGRpY3RhbiBvdHJhcyBkaXJlY3RyaWNlc+KAnSB5IGxhcyBkZW3DoXMgbm9ybWFzIGNvbmNvcmRhbnRlIHkgY29tcGxlbWVudGFyaWFzIHF1ZSByaWdlbiBhbCByZXNwZWN0bywgZXNwZWNpYWxtZW50ZSBsYSBsZXkgMjMgZGUgMTk4MiwgbGEgbGV5IDQ0IGRlIDE5OTMgeSBsYSBkZWNpc2nDs24gQW5kaW5hIDM1MSBkZSAxOTkzLiBFc3RvcyBkb2N1bWVudG9zIHBvZHLDoW4gc2VyIGNvbnN1bHRhZG9zIHkgZGVzY2FyZ2Fkb3MgZW4gZWwgcG9ydGFsIHdlYiBkZSBsYSBiaWJsaW90ZWNhIGh0dHA6Ly9zaXN0ZW1hZGViaWJsaW90ZWNhcy51ZGlzdHJpdGFsLmVkdS5jby8gIAoKaykJQWNlcHRvKGFtb3MpIHF1ZSBMQSBVTklWRVJTSURBRCBubyBzZSByZXNwb25zYWJpbGl6YSBwb3IgbGFzIGluZnJhY2Npb25lcyBhIGxhIHByb3BpZWRhZCBpbnRlbGVjdHVhbCBvIERlcmVjaG9zIGRlIEF1dG9yIGNhdXNhZGFzIHBvciBsb3MgdGl0dWxhcmVzIGRlIGxhIHByZXNlbnRlIExpY2VuY2lhIHkgZGVjbGFyYW1vcyBxdWUgbWFudGVuZHLDqSAoZW1vcykgaW5kZW1uZSBhIExBIFVOSVZFUlNJREFEIHBvciBsYXMgcmVjbGFtYWNpb25lcyBsZWdhbGVzIGRlIGN1YWxxdWllciB0aXBvIHF1ZSBsbGVnYXJlbiBhIHByZXNlbnRhcnNlIHBvciB2aW9sYWNpw7NuIGRlIGRlcmVjaG9zIGEgbGEgcHJvcGllZGFkIGludGVsZWN0dWFsIG8gZGUgQXV0b3IgcmVsYWNpb25hZG9zIGNvbiBsb3MgZG9jdW1lbnRvcyByZWdpc3RyYWRvcyBlbiBlbCBSSVVELgoKbCkJRWwgKGxvcykgYXV0b3IoZXMpIG1hbmlmaWVzdGEobW9zKSBxdWUgbGEgb2JyYSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBlcyBvcmlnaW5hbCwgZGUgZXhjbHVzaXZhIGF1dG9yw61hLCB5IHNlIHJlYWxpesOzIHNpbiB2aW9sYXIgbyB1c3VycGFyIGRlcmVjaG9zIGRlIGF1dG9yIGRlIHRlcmNlcm9zOyBkZSB0YWwgc3VlcnRlLCBlbiBjYXNvIGRlIHByZXNlbnRhcnNlIGN1YWxxdWllciByZWNsYW1hY2nDs24gbyBhY2Npw7NuIHBvciBwYXJ0ZSBkZSB1biB0ZXJjZXJvIGVuIGN1YW50byBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBzb2JyZSBsYSBvYnJhLCBlbCAobG9zKSBlc3R1ZGlhbnRlKHMpIOKAkyBhdXRvcihlcykgYXN1bWlyw6EobikgdG9kYSBsYSByZXNwb25zYWJpbGlkYWQgeSBzYWxkcsOhKG4pIGVuIGRlZmVuc2EgZGUgbG9zIGRlcmVjaG9zIGFxdcOtIGF1dG9yaXphZG9zLiBQYXJhIHRvZG9zIGxvcyBlZmVjdG9zLCBMQSBVTklWRVJTSURBRCBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlLiAgIAoKCm0pCUVsIChsb3MpIGF1dG9yKGVzKSBtYW5pZmllc3RhKG1vcykgcXVlIGNvbm96Y28oY2Vtb3MpIGxhIGF1dG9ub23DrWEgeSBsb3MgZGVyZWNob3MsIHF1ZSBwb3NlZShtb3MpIHNvYnJlIGxhIG9icmEgeSwgY29tbyB0YWwsIGVzIChzb21vcykgcmVzcG9uc2FibGUocykgZGVsIGFsY2FuY2UganVyw61kaWNvIHkgbGVnYWwsIGRlIGVzY29nZXIgbGEgb3BjacOzbiBkZSBsYSBwdWJsaWNhY2nDs24gbyBkZSByZXN0cmljY2nDs24gZGUgbGEgcHVibGljYWNpw7NuIGRlbCBkb2N1bWVudG8gcmVnaXN0cmFkbyBlbiBlbCBSSVVELgoKCgoKU0kgRUwgRE9DVU1FTlRPIFNFIEJBU0EgRU4gVU4gVFJBQkFKTyBRVUUgSEEgU0lETyBQQVRST0NJTkFETyBPIEFQT1lBRE8gUE9SIFVOQSBBR0VOQ0lBIE8gVU5BIE9SR0FOSVpBQ0nDk04sIENPTiBFWENFUENJw5NOIERFIExBIFVOSVZFUlNJREFEIERJU1RSSVRBTCBGUkFOQ0lTQ08gSk9TRSBERSBDQUxEQVMsIExPUyBBVVRPUkVTIEdBUkFOVElaQU4gUVVFIFNFIEhBIENVTVBMSURPIENPTiBMT1MgCkRFUkVDSE9TIFkgT0JMSUdBQ0lPTkVTIFJFUVVFUklET1MgUE9SIEVMIFJFU1BFQ1RJVk8gQ09OVFJBVE8gTyBBQ1VFUkRPLgoKCgoKCgoKCgoKCgoKCgoKCgoKCgpFbiBjb25zdGFuY2lhIGRlIGxvIGFudGVyaW9yLCBmaXJtbyhhbW9zKSBlbCBwcmVzZW50ZSBkb2N1bWVudG8sIGVuIGxhIGNpdWRhZCBkZSBCb2dvdMOhLCBELkMuLCBhIGxvcyAKCgpGSVJNQSBERSBMT1MgVElUVUxBUkVTIERFIERFUkVDSE9TIERFIEFVVE9SCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18gICBDLkMuIE5vLiBfX19fX19fX19fX19fX19fX18KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fICAgQy5DLiBOby4gX19fX19fX19fX19fX19fX19fCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXyAgIEMuQy4gTm8uIF9fX19fX19fX19fX19fX19fXwoKCgpDb3JyZW8gRWxlY3Ryw7NuaWNvIEluc3RpdHVjaW9uYWwgZGVsIChkZSBsb3MpIEF1dG9yKGVzKToKCkF1dG9yCUNvcnJlbyBFbGVjdHLDs25pY28gCjEJCjIJCjMJCgpOb21icmUgZGUgRGlyZWN0b3IoZXMpIGRlIEdyYWRvOgoKMQkKMgkKMwkKCk5vbWJyZSBGYWN1bHRhZCB5IFByb3llY3RvIEN1cnJpY3VsYXI6CgpGYWN1bHRhZAlQcm95ZWN0byBDdXJyaWN1bGFyCgkKCgoKCgoKCk5vdGE6IEVuIGNhc28gcXVlIG5vIGVzdMOpIGRlIGFjdWVyZG8gY29uIGxhcyBjb25kaWNpb25lcyBkZSBsYSBwcmVzZW50ZSBsaWNlbmNpYSwgeSBtYW5pZmllc3RlIGFsZ3VuYSByZXN0cmljY2nDs24gc29icmUgbGEgb2JyYSwganVzdGlmaXF1ZSBsb3MgbW90aXZvcyBwb3IgbG9zIGN1YWxlcyBlbCBkb2N1bWVudG8geSBzdXMgYW5leG9zIG5vIHB1ZWRlbiBzZXIgcHVibGljYWRvcyBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIFJJVUQuCgoKU2kgcmVxdWllcmUgbcOhcyBlc3BhY2lvLCBwdWVkZSBhbmV4YXIgdW5hIGNvcGlhIHNpbWlsYXIgYSBlc3RhIGhvamEKCgo= |