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...

Full description

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=