Estructura de los PLARI-Semigrupos

El siguiente trabajo consiste en crear una estructura para los semigrupos primitivos amplios a izquierda. Para esto, es necesario tener en cuenta las extensiones de las relaciones de Green $\mathcal{R}^*,\mathcal{L}^*$ entre otras. Recuerdece que un semigrupo es un conjunto $S$ con una operación int...

Full description

Autores:
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2017
Institución:
Universidad Distrital Francisco José de Caldas
Repositorio:
RIUD: repositorio U. Distrital
Idioma:
spa
OAI Identifier:
oai:repository.udistrital.edu.co:11349/7204
Acceso en línea:
http://hdl.handle.net/11349/7204
Palabra clave:
Semigrupos Inversos
Extensiones de las Relaciones de Green
Semigrupos de Matrices de Rees en Bloques
Semigrupos primitivos
Matemáticas - Tesis y disertaciones académicas
Semigrupos
Álgebra abstracta
Teoría de los grupos
Inverse Semigroups
Extensions of the Green Relations
Semigroups of Rees Matrices in Blocks
Primitive semigroups
Rights
License
Atribución-NoComercial-SinDerivadas 4.0 Internacional
id UDISTRITA2_42785216dbac268769f97e89e4ec1431
oai_identifier_str oai:repository.udistrital.edu.co:11349/7204
network_acronym_str UDISTRITA2
network_name_str RIUD: repositorio U. Distrital
repository_id_str
dc.title.spa.fl_str_mv Estructura de los PLARI-Semigrupos
dc.title.titleenglish.spa.fl_str_mv Structure of PLARI-Semigroups
title Estructura de los PLARI-Semigrupos
spellingShingle Estructura de los PLARI-Semigrupos
Semigrupos Inversos
Extensiones de las Relaciones de Green
Semigrupos de Matrices de Rees en Bloques
Semigrupos primitivos
Matemáticas - Tesis y disertaciones académicas
Semigrupos
Álgebra abstracta
Teoría de los grupos
Inverse Semigroups
Extensions of the Green Relations
Semigroups of Rees Matrices in Blocks
Primitive semigroups
title_short Estructura de los PLARI-Semigrupos
title_full Estructura de los PLARI-Semigrupos
title_fullStr Estructura de los PLARI-Semigrupos
title_full_unstemmed Estructura de los PLARI-Semigrupos
title_sort Estructura de los PLARI-Semigrupos
dc.contributor.advisor.spa.fl_str_mv Cifuentes Vargas, Verónica
dc.subject.spa.fl_str_mv Semigrupos Inversos
Extensiones de las Relaciones de Green
Semigrupos de Matrices de Rees en Bloques
Semigrupos primitivos
topic Semigrupos Inversos
Extensiones de las Relaciones de Green
Semigrupos de Matrices de Rees en Bloques
Semigrupos primitivos
Matemáticas - Tesis y disertaciones académicas
Semigrupos
Álgebra abstracta
Teoría de los grupos
Inverse Semigroups
Extensions of the Green Relations
Semigroups of Rees Matrices in Blocks
Primitive semigroups
dc.subject.lemb.spa.fl_str_mv Matemáticas - Tesis y disertaciones académicas
Semigrupos
Álgebra abstracta
Teoría de los grupos
dc.subject.keyword.spa.fl_str_mv Inverse Semigroups
Extensions of the Green Relations
Semigroups of Rees Matrices in Blocks
Primitive semigroups
description El siguiente trabajo consiste en crear una estructura para los semigrupos primitivos amplios a izquierda. Para esto, es necesario tener en cuenta las extensiones de las relaciones de Green $\mathcal{R}^*,\mathcal{L}^*$ entre otras. Recuerdece que un semigrupo es un conjunto $S$ con una operación interna $\cdot$ tal que para cualquier $x,y,z\in S$ se tiene, $(x\cdot y)\cdot z=x\cdot(y\cdot z)$. Se dice que para $a,b\in S$,\ \ $a\mathcal{R}^*b$ si y sólo si para todo $x,y\in S^1$\footnote{El termino “1” en $S^1$ significa que el semigrupo $S$ es tiene elemento identidad $1$.} \ \ $ax=ay$ si y sólo si $bx=by$. Tambien se dice que $a\mathcal{L}^*b$ si y sólo si para todo $x,y\in S^1$ se debe tener que $xa=ya$ si y sólo si $xb=yb$. Un elemento $e$ de un semigrupo $S$ es llamado idempotente cuando bajo la operación interna $\cdot$ de $S$, \ \ $e^2=e$. Se dirá que un semigrupo $S$ es amplio a izquierda cuando cada $\mathcal{R}^*-clase$ de $S$ tiene al menos un idempotentes y todos los idempotentes de $S$ conmutan entre si. Además se debe tener que para $a,e^2 \in S$,\ \ $ae=(ae)^\dagger a$ \footnote{El simbolo $\dagger$ denotado como $(t)^\dagger$ indica a idempotente de la $\mathcal{R}^*_{t}-clase$. }. Se puede ver que si $S$ es amplio, cada $\mathcal{R}-clase$ tiene un único idempotente y por lo tanto $(ae)^\dagger$ es único. Se denotará $E(S)$ el conjunto de los idempotentes de $S$ y adicionalmente se les dotará a sus sus elementos de un orden $\leq$ llamado orden natural donde $e\leq f$ si y sólo si $ef=fe=e$. Se definirá a un idempotente $e\in S$ como primitivo si y sólo si para culaquier, $f\leq e$ se debe tener que $f=e$ o $f=0$ si $S$ es un semigrupo con $0.$ Se dirá que $S$ es primitivo si todos sus idempotentes son primitivos. En la parte final del trabajo se construira una matriz de Rees en bloques primitiva amplia y se creará un isomorfismo de dicha matriz con los semigrupos primitivos amplios a izquierda en los que $aS\neq \{0\}$, denominados como en \cite{AG06a} los $PLARI-semigrupos.$
publishDate 2017
dc.date.accessioned.none.fl_str_mv 2017-12-05T20:52:56Z
dc.date.available.none.fl_str_mv 2017-12-05T20:52:56Z
dc.date.created.spa.fl_str_mv 2017-08-27
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.coar.spa.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/7204
url http://hdl.handle.net/11349/7204
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/7204/6/trabajo-de-grado.pdf.jpg
http://repository.udistrital.edu.co/bitstream/11349/7204/1/trabajo-de-grado.pdf
http://repository.udistrital.edu.co/bitstream/11349/7204/2/license_url
http://repository.udistrital.edu.co/bitstream/11349/7204/3/license_text
http://repository.udistrital.edu.co/bitstream/11349/7204/4/license_rdf
http://repository.udistrital.edu.co/bitstream/11349/7204/5/license.txt
bitstream.checksum.fl_str_mv dbf1d9ea5fdc11000d714b58b505960d
f5cd68f1d13975479b61bb21ffef7d2d
321f3992dd3875151d8801b773ab32ed
d41d8cd98f00b204e9800998ecf8427e
d41d8cd98f00b204e9800998ecf8427e
da5c6a3ca62d5dd4853000a60fee7083
bitstream.checksumAlgorithm.fl_str_mv 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_ 1803712628984381440
spelling Cifuentes Vargas, VerónicaPerdomo Leiva, Sebastian2017-12-05T20:52:56Z2017-12-05T20:52:56Z2017-08-27http://hdl.handle.net/11349/7204El siguiente trabajo consiste en crear una estructura para los semigrupos primitivos amplios a izquierda. Para esto, es necesario tener en cuenta las extensiones de las relaciones de Green $\mathcal{R}^*,\mathcal{L}^*$ entre otras. Recuerdece que un semigrupo es un conjunto $S$ con una operación interna $\cdot$ tal que para cualquier $x,y,z\in S$ se tiene, $(x\cdot y)\cdot z=x\cdot(y\cdot z)$. Se dice que para $a,b\in S$,\ \ $a\mathcal{R}^*b$ si y sólo si para todo $x,y\in S^1$\footnote{El termino “1” en $S^1$ significa que el semigrupo $S$ es tiene elemento identidad $1$.} \ \ $ax=ay$ si y sólo si $bx=by$. Tambien se dice que $a\mathcal{L}^*b$ si y sólo si para todo $x,y\in S^1$ se debe tener que $xa=ya$ si y sólo si $xb=yb$. Un elemento $e$ de un semigrupo $S$ es llamado idempotente cuando bajo la operación interna $\cdot$ de $S$, \ \ $e^2=e$. Se dirá que un semigrupo $S$ es amplio a izquierda cuando cada $\mathcal{R}^*-clase$ de $S$ tiene al menos un idempotentes y todos los idempotentes de $S$ conmutan entre si. Además se debe tener que para $a,e^2 \in S$,\ \ $ae=(ae)^\dagger a$ \footnote{El simbolo $\dagger$ denotado como $(t)^\dagger$ indica a idempotente de la $\mathcal{R}^*_{t}-clase$. }. Se puede ver que si $S$ es amplio, cada $\mathcal{R}-clase$ tiene un único idempotente y por lo tanto $(ae)^\dagger$ es único. Se denotará $E(S)$ el conjunto de los idempotentes de $S$ y adicionalmente se les dotará a sus sus elementos de un orden $\leq$ llamado orden natural donde $e\leq f$ si y sólo si $ef=fe=e$. Se definirá a un idempotente $e\in S$ como primitivo si y sólo si para culaquier, $f\leq e$ se debe tener que $f=e$ o $f=0$ si $S$ es un semigrupo con $0.$ Se dirá que $S$ es primitivo si todos sus idempotentes son primitivos. En la parte final del trabajo se construira una matriz de Rees en bloques primitiva amplia y se creará un isomorfismo de dicha matriz con los semigrupos primitivos amplios a izquierda en los que $aS\neq \{0\}$, denominados como en \cite{AG06a} los $PLARI-semigrupos.$In the following work consist in create a structure for the primitive left ample semigroups. For this, it is necessary to consider the extent of Green relationships $ \mathcal{R}^*, \mathcal{L}^* $ between others. Remember that a semigroup is set with inner operation $ \cdot $ such as for all $ x, y, z \in S $ we have, $ (x \cdot y) \ cdot z = x \cdot (y \cdot z )$. Will be say that for $ a, b \in S $, \ \ $ a \mathcal{R}^* b $ if and only if, for all $ x, and \in S^1 $ \ \ $ ax = ay $ if and only if $ bx = by $. Also, will be say that $ a \mathcal{L}^*b $ if and only if for all $ x, y \in S^1$ we have that $ xa = ya $ if and only if $xb = yb$. A element $ e $ front to semigroup $ S $ it's called idempotent when $ e^2 = e$. Will be say that semigroups it's left ample when each $\mathcal{R}^*-class $ it has at most to idempotent and all idempotent commute. Also must comply that $ ae = (ae)^\dagger a $, with $a,e^2=e\in S$. will be denote $E(S)$ the set of all idempotents from $S$ and additionally we will give its elements a order $\leq$ called natural order when $e\leq f$ if and only if $ef=fe=e$ will be defined an a idempotent as a primitive if for all $e\leq f$ it implies $f=e$ or $f=0$. Will be that a semigroups is primitive if all its idempotents are primitive. In the final part of the work will be Build a primitive ample Rees matrix and will be create a isomorphism with the primitive ample semigroups in which $aS\neq\{0\}.$ for $a\in S$ called as in \cite{AG06a} PLARI-semigroups.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_abf2Semigrupos InversosExtensiones de las Relaciones de GreenSemigrupos de Matrices de Rees en BloquesSemigrupos primitivosMatemáticas - Tesis y disertaciones académicasSemigruposÁlgebra abstractaTeoría de los gruposInverse SemigroupsExtensions of the Green RelationsSemigroups of Rees Matrices in BlocksPrimitive semigroupsEstructura de los PLARI-SemigruposStructure of PLARI-Semigroupsinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fTHUMBNAILtrabajo-de-grado.pdf.jpgtrabajo-de-grado.pdf.jpgIM Thumbnailimage/jpeg5619http://repository.udistrital.edu.co/bitstream/11349/7204/6/trabajo-de-grado.pdf.jpgdbf1d9ea5fdc11000d714b58b505960dMD56open accessORIGINALtrabajo-de-grado.pdftrabajo-de-grado.pdfapplication/pdf1075841http://repository.udistrital.edu.co/bitstream/11349/7204/1/trabajo-de-grado.pdff5cd68f1d13975479b61bb21ffef7d2dMD51open accessCC-LICENSElicense_urllicense_urltext/plain; charset=utf-843http://repository.udistrital.edu.co/bitstream/11349/7204/2/license_url321f3992dd3875151d8801b773ab32edMD52open accesslicense_textlicense_texttext/html; charset=utf-80http://repository.udistrital.edu.co/bitstream/11349/7204/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53open accesslicense_rdflicense_rdfapplication/rdf+xml; charset=utf-80http://repository.udistrital.edu.co/bitstream/11349/7204/4/license_rdfd41d8cd98f00b204e9800998ecf8427eMD54open accessLICENSElicense.txtlicense.txttext/plain; charset=utf-87163http://repository.udistrital.edu.co/bitstream/11349/7204/5/license.txtda5c6a3ca62d5dd4853000a60fee7083MD55open access11349/7204oai:repository.udistrital.edu.co:11349/72042023-10-03 10:31:56.694open accessRepositorio Institucional Universidad Distrital - RIUDrepositorio@udistrital.edu.coTElDRU5DSUEgWSBBVVRPUklaQUNJw5NOIEVTUEVDSUFMIFBBUkEgUFVCTElDQVIgWSBQRVJNSVRJUiBMQSBDT05TVUxUQSBZIFVTTyBERSBDT05URU5JRE9TIEVOIEVMIFJFUE9TSVRPUklPIElOU1RJVFVDSU9OQUwgREUgTEEgVU5JVkVSU0lEQUQgRElTVFJJVEFMClTDqXJtaW5vcyB5IGNvbmRpY2lvbmVzIGRlIHVzbyBwYXJhIHB1YmxpY2FjacOzbiBkZSBvYnJhcyBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIChSSVVEKQoKQ29tbyB0aXR1bGFyKGVzKSBkZWwob3MpIGRlcmVjaG8ocykgZGUgYXV0b3IsIGNvbmZpZXJvIChlcmltb3MpIGEgbGEgVW5pdmVyc2lkYWQgRGlzdHJpdGFsIEZyYW5jaXNjbyBKb3PDqSBkZSBDYWxkYXMgKGVuIGFkZWxhbnRlLCBMQSBVTklWRVJTSURBRCkgdW5hIGxpY2VuY2lhIHBhcmEgdXNvIG5vIGV4Y2x1c2l2YSwgbGltaXRhZGEgeSBncmF0dWl0YSBzb2JyZSBsYSBvYnJhIHF1ZSBpbnRlZ3JhcsOhIGVsIFJlcG9zaXRvcmlvIEluc3RpdHVjaW9uYWwgKGVuIGFkZWxhbnRlLCBSSVVEKSwgZGUgYWN1ZXJkbyBhIGxhcyBzaWd1aWVudGVzIHJlZ2xhcywgbGFzIGN1YWxlcyBkZWNsYXJvIChhbW9zKSBjb25vY2VyIHkgYWNlcHRhcjoKCmEpCUVzdGFyw6EgdmlnZW50ZSBhIHBhcnRpciBkZSBsYSBmZWNoYSBlbiBxdWUgc2UgaW5jbHV5YSBlbiBlbCBSSVVEIHkgaGFzdGEgcG9yIHVuIHBsYXpvIGRlIGRpZXogKDEwKSBBw7FvcywgcHJvcnJvZ2FibGUgaW5kZWZpbmlkYW1lbnRlIHBvciBlbCB0aWVtcG8gcXVlIGR1cmUgZWwgZGVyZWNobyBQYXRyaW1vbmlhbCBkZWwgYXV0b3I7IGxhIGN1YWwgcG9kcsOhIGRhcnNlIHBvciB0ZXJtaW5hZGEgcHJldmlhIHNvbGljaXR1ZCBhIExBIFVOSVZFUlNJREFEIHBvciBlc2NyaXRvIGNvbiB1bmEgYW50ZWxhY2nDs24gZGUgZG9zICgyKSBtZXNlcyBhbnRlcyBkZWwgdmVuY2ltaWVudG8gZGVsIHBsYXpvIGluaWNpYWwgbyBlbCBkZSBzdShzKSBwcsOzcnJvZ2EocykuICAKCmIpCUxBIFVOSVZFUlNJREFEIHBvZHLDoSBwdWJsaWNhciBsYSBvYnJhIGVuIGxhcyBkaXN0aW50YXMgdmVyc2lvbmVzIHJlcXVlcmlkYXMgcG9yIGVsIFJJVUQgKGRpZ2l0YWwsIGltcHJlc28sIGVsZWN0csOzbmljbyB1IG90cm8gbWVkaW8gY29ub2NpZG8gbyBwb3IgY29ub2NlcikgTEEgVU5JVkVSU0lEQUQgbm8gc2Vyw6EgcmVzcG9uc2FibGUgZW4gZWwgZXZlbnRvIHF1ZSBlbCBkb2N1bWVudG8gYXBhcmV6Y2EgcmVmZXJlbmNpYWRvIGVuIG1vdG9yZXMgZGUgYsO6c3F1ZWRhIG8gcmVwb3NpdG9yaW9zIGRpZmVyZW50ZXMgYWwgUklVRCwgdW5hIHZleiBlbChvcykgYXV0b3IoZXMpIHNvbGljaXRlbiBzdSBlbGltaW5hY2nDs24gZGVsIFJJVUQsIGRhZG8gcXVlIGxhIG1pc21hIHNlcsOhIHB1YmxpY2FkYSBlbiBJbnRlcm5ldC4gCgpjKQlMYSBhdXRvcml6YWNpw7NuIHNlIGhhY2UgYSB0w610dWxvIGdyYXR1aXRvLCBwb3IgbG8gdGFudG8sIGxvcyBhdXRvcmVzIHJlbnVuY2lhbiBhIHJlY2liaXIgYmVuZWZpY2lvIGFsZ3VubyBwb3IgbGEgcHVibGljYWNpw7NuLCBkaXN0cmlidWNpw7NuLCBjb211bmljYWNpw7NuIHDDumJsaWNhIHkgY3VhbHF1aWVyIG90cm8gdXNvIHF1ZSBzZSBoYWdhIGVuIGxvcyB0w6lybWlub3MgZGUgbGEgcHJlc2VudGUgbGljZW5jaWEgeSBkZSBsYSBsaWNlbmNpYSBkZSB1c28gY29uIHF1ZSBzZSBwdWJsaWNhIChDcmVhdGl2ZSBDb21tb25zKS4KCmQpCUxvcyBjb250ZW5pZG9zIHB1YmxpY2Fkb3MgZW4gZWwgUklVRCBzb24gb2JyYShzKSBvcmlnaW5hbChlcykgc29icmUgbGEgY3VhbChlcykgZWwob3MpIGF1dG9yKGVzKSBjb21vIHRpdHVsYXJlcyBkZSBsb3MgZGVyZWNob3MgZGUgYXV0b3IsIGFzdW1lbiB0b3RhbCByZXNwb25zYWJpbGlkYWQgcG9yIGVsIGNvbnRlbmlkbyBkZSBzdSBvYnJhIGFudGUgTEEgVU5JVkVSU0lEQUQgeSBhbnRlIHRlcmNlcm9zLiBFbiB0b2RvIGNhc28gTEEgVU5JVkVSU0lEQUQgc2UgY29tcHJvbWV0ZSBhIGluZGljYXIgc2llbXByZSBsYSBhdXRvcsOtYSBpbmNsdXllbmRvIGVsIG5vbWJyZSBkZWwgYXV0b3IgeSBsYSBmZWNoYSBkZSBwdWJsaWNhY2nDs24uCgplKQlMQSBVTklWRVJTSURBRCBwb2Ryw6EgaW5jbHVpciBsYSBvYnJhIGVuIGxvcyDDrW5kaWNlcyB5IGJ1c2NhZG9yZXMgcXVlIGVzdGltZW4gbmVjZXNhcmlvcyBwYXJhIG1heGltaXphciBsYSB2aXNpYmlsaWRhZCBlbCB1c28geSBlbCBpbXBhY3RvIGRlIGxhIHByb2R1Y2Npw7NuIGNpZW50w61maWNhLCBhcnTDrXN0aWNhIHkgYWNhZMOpbWljYSBlbiBsYSBjb211bmlkYWQgbG9jYWwsIG5hY2lvbmFsIG8gaW50ZXJuYWNpb25hbC4gCgoKZikJTEEgVU5JVkVSU0lEQUQgcG9kcsOhIGNvbnZlcnRpciBsYSBvYnJhIGEgY3VhbHF1aWVyIG1lZGlvIG8gZm9ybWF0byBjb24gZWwgZmluIGRlIHN1IHByZXNlcnZhY2nDs24gZW4gZWwgdGllbXBvIHF1ZSBsYSBwcmVzZW50ZSBsaWNlbmNpYSB5IGxhIGRlIHN1cyBwcsOzcnJvZ2FzLgoKCkNvbiBiYXNlIGVuIGxvIGFudGVyaW9yIGF1dG9yaXpvKGFtb3MpLCBhIGZhdm9yIGRlbCBSSVVEIHkgZGUgc3VzIHVzdWFyaW9zLCBsYSBwdWJsaWNhY2nDs24geSBjb25zdWx0YSBkZSBsYSBzaWd1aWVudGUgb2JyYToKClRpdHVsbyAJCkF1dG9yCUFwZWxsaWRvcwlOb21icmVzCjEJCQoyCQkKMwkJCiAKCmcpCUF1dG9yaXpvKGFtb3MpLCBxdWUgbGEgb2JyYSBzZWEgcHVlc3RhIGEgZGlzcG9zaWNpw7NuIGRlbCBww7pibGljbyBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsb3MgbGl0ZXJhbGVzIGFudGVyaW9yZXMsIGJham8gbG9zIGzDrW1pdGVzIGRlZmluaWRvcyBwb3IgTEEgVU5JVkVSU0lEQUQsIGVuIGxhcyDigJxDb25kaWNpb25lcyBkZSB1c28gZGUgZXN0cmljdG8gY3VtcGxpbWllbnRv4oCdIGRlIGxvcyByZWN1cnNvcyBwdWJsaWNhZG9zIGVuIGVsIFJJVUQsIGN1eW8gdGV4dG8gY29tcGxldG8gc2UgcHVlZGUgY29uc3VsdGFyIGVuIGh0dHA6Ly9yZXBvc2l0b3J5LnVkaXN0cml0YWwuZWR1LmNvLwoKaCkJQ29ub3pjbyhjZW1vcykgeSBhY2VwdG8oYW1vcykgcXVlIG90b3JnbyhhbW9zKSB1bmEgbGljZW5jaWEgZXNwZWNpYWwgcGFyYSBwdWJsaWNhY2nDs24gZGUgb2JyYXMgZW4gZWwgUmVwb3NpdG9yaW8gSW5zdGl0dWNpb25hbCBkZSBsYSBVbml2ZXJzaWRhZCBEaXN0cml0YWwgRnJhbmNpc2NvIEpvc8OpIGRlIENhbGRhcywgbGljZW5jaWEgICBkZSBsYSBjdWFsIGhlIChoZW1vcykgb2J0ZW5pZG8gdW5hIGNvcGlhLgoKaSkJTWFuaWZpZXN0byhhbW9zKSBtaSAobnVlc3RybykgdG90YWwgYWN1ZXJkbyBjb24gbGFzIGNvbmRpY2lvbmVzIGRlIHVzbyB5IHB1YmxpY2FjacOzbiBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIHF1ZSBzZSBkZXNjcmliZW4geSBleHBsaWNhbiBlbiBlbCBwcmVzZW50ZSBkb2N1bWVudG8uCgpqKQlDb25vemNvKGNlbW9zKSBsYSBub3JtYXRpdmlkYWQgaW50ZXJuYSBkZSAgTEEgVU5JVkVSU0lEQUQ7IGVuIGNvbmNyZXRvLCBlbCBBY3VlcmRvIDAwNCBkZSAyMDEyIGRlbCBDU1UsIEFjdWVyZG8gMDIzIGRlIDIwMTIgZGVsIENTVSBzb2JyZSBQb2zDrXRpY2EgRWRpdG9yaWFsLCBBY3VlcmRvIDAyNiAgZGVsIDMxIGRlIGp1bGlvIGRlIDIwMTIgc29icmUgZWwgcHJvY2VkaW1pZW50byBwYXJhIGxhIHB1YmxpY2FjacOzbiBkZSB0ZXNpcyBkZSBwb3N0Z3JhZG8gZGUgbG9zIGVzdHVkaWFudGVzIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzLCAgQWN1ZXJkbyAwMzAgZGVsIDAzIGRlIGRpY2llbWJyZSBkZSAyMDEzIHBvciBtZWRpbyBkZWwgY3VhbCBzZSBjcmVhIGVsIFJlcG9zaXRvcmlvIEluc3RpdHVjaW9uYWwgZGUgbGEgVW5pdmVyc2lkYWQgRGlzdHJpdGFsIEZyYW5jaXNjbyBKb3PDqSBkZSBDYWxkYXMsIEFjdWVyZG8gMDM4IGRlIDIwMTUgMjAxNSDigJxwb3IgZWwgY3VhbCBzZSBtb2RpZmljYSBlbCBBY3VlcmRvIDAzMSBkZSAyMDE0IGRlIDIwMTQgcXVlIHJlZ2xhbWVudGEgZWwgdHJhYmFqbyBkZSBncmFkbyBwYXJhIGxvcyBlc3R1ZGlhbnRlcyBkZSBwcmVncmFkbyBkZSBsYSBVbml2ZXJzaWRhZCBEaXN0cml0YWwgRnJhbmNpc2NvIEpvc8OpIGRlIENhbGRhcyB5IHNlIGRpY3RhbiBvdHJhcyBkaXJlY3RyaWNlc+KAnSB5IGxhcyBkZW3DoXMgbm9ybWFzIGNvbmNvcmRhbnRlIHkgY29tcGxlbWVudGFyaWFzIHF1ZSByaWdlbiBhbCByZXNwZWN0bywgZXNwZWNpYWxtZW50ZSBsYSBsZXkgMjMgZGUgMTk4MiwgbGEgbGV5IDQ0IGRlIDE5OTMgeSBsYSBkZWNpc2nDs24gQW5kaW5hIDM1MSBkZSAxOTkzLiBFc3RvcyBkb2N1bWVudG9zIHBvZHLDoW4gc2VyIGNvbnN1bHRhZG9zIHkgZGVzY2FyZ2Fkb3MgZW4gZWwgcG9ydGFsIHdlYiBkZSBsYSBiaWJsaW90ZWNhIGh0dHA6Ly9zaXN0ZW1hZGViaWJsaW90ZWNhcy51ZGlzdHJpdGFsLmVkdS5jby8gIAoKaykJQWNlcHRvKGFtb3MpIHF1ZSBMQSBVTklWRVJTSURBRCBubyBzZSByZXNwb25zYWJpbGl6YSBwb3IgbGFzIGluZnJhY2Npb25lcyBhIGxhIHByb3BpZWRhZCBpbnRlbGVjdHVhbCBvIERlcmVjaG9zIGRlIEF1dG9yIGNhdXNhZGFzIHBvciBsb3MgdGl0dWxhcmVzIGRlIGxhIHByZXNlbnRlIExpY2VuY2lhIHkgZGVjbGFyYW1vcyBxdWUgbWFudGVuZHLDqSAoZW1vcykgaW5kZW1uZSBhIExBIFVOSVZFUlNJREFEIHBvciBsYXMgcmVjbGFtYWNpb25lcyBsZWdhbGVzIGRlIGN1YWxxdWllciB0aXBvIHF1ZSBsbGVnYXJlbiBhIHByZXNlbnRhcnNlIHBvciB2aW9sYWNpw7NuIGRlIGRlcmVjaG9zIGEgbGEgcHJvcGllZGFkIGludGVsZWN0dWFsIG8gZGUgQXV0b3IgcmVsYWNpb25hZG9zIGNvbiBsb3MgZG9jdW1lbnRvcyByZWdpc3RyYWRvcyBlbiBlbCBSSVVELgoKbCkJRWwgKGxvcykgYXV0b3IoZXMpIG1hbmlmaWVzdGEobW9zKSBxdWUgbGEgb2JyYSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBlcyBvcmlnaW5hbCwgZGUgZXhjbHVzaXZhIGF1dG9yw61hLCB5IHNlIHJlYWxpesOzIHNpbiB2aW9sYXIgbyB1c3VycGFyIGRlcmVjaG9zIGRlIGF1dG9yIGRlIHRlcmNlcm9zOyBkZSB0YWwgc3VlcnRlLCBlbiBjYXNvIGRlIHByZXNlbnRhcnNlIGN1YWxxdWllciByZWNsYW1hY2nDs24gbyBhY2Npw7NuIHBvciBwYXJ0ZSBkZSB1biB0ZXJjZXJvIGVuIGN1YW50byBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBzb2JyZSBsYSBvYnJhLCBlbCAobG9zKSBlc3R1ZGlhbnRlKHMpIOKAkyBhdXRvcihlcykgYXN1bWlyw6EobikgdG9kYSBsYSByZXNwb25zYWJpbGlkYWQgeSBzYWxkcsOhKG4pIGVuIGRlZmVuc2EgZGUgbG9zIGRlcmVjaG9zIGFxdcOtIGF1dG9yaXphZG9zLiBQYXJhIHRvZG9zIGxvcyBlZmVjdG9zLCBMQSBVTklWRVJTSURBRCBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlLiAgIAoKCm0pCUVsIChsb3MpIGF1dG9yKGVzKSBtYW5pZmllc3RhKG1vcykgcXVlIGNvbm96Y28oY2Vtb3MpIGxhIGF1dG9ub23DrWEgeSBsb3MgZGVyZWNob3MsIHF1ZSBwb3NlZShtb3MpIHNvYnJlIGxhIG9icmEgeSwgY29tbyB0YWwsIGVzIChzb21vcykgcmVzcG9uc2FibGUocykgZGVsIGFsY2FuY2UganVyw61kaWNvIHkgbGVnYWwsIGRlIGVzY29nZXIgbGEgb3BjacOzbiBkZSBsYSBwdWJsaWNhY2nDs24gbyBkZSByZXN0cmljY2nDs24gZGUgbGEgcHVibGljYWNpw7NuIGRlbCBkb2N1bWVudG8gcmVnaXN0cmFkbyBlbiBlbCBSSVVELgoKCgoKU0kgRUwgRE9DVU1FTlRPIFNFIEJBU0EgRU4gVU4gVFJBQkFKTyBRVUUgSEEgU0lETyBQQVRST0NJTkFETyBPIEFQT1lBRE8gUE9SIFVOQSBBR0VOQ0lBIE8gVU5BIE9SR0FOSVpBQ0nDk04sIENPTiBFWENFUENJw5NOIERFIExBIFVOSVZFUlNJREFEIERJU1RSSVRBTCBGUkFOQ0lTQ08gSk9TRSBERSBDQUxEQVMsIExPUyBBVVRPUkVTIEdBUkFOVElaQU4gUVVFIFNFIEhBIENVTVBMSURPIENPTiBMT1MgCkRFUkVDSE9TIFkgT0JMSUdBQ0lPTkVTIFJFUVVFUklET1MgUE9SIEVMIFJFU1BFQ1RJVk8gQ09OVFJBVE8gTyBBQ1VFUkRPLgoKCgoKCgoKCgoKCgoKCgoKCgoKCgpFbiBjb25zdGFuY2lhIGRlIGxvIGFudGVyaW9yLCBmaXJtbyhhbW9zKSBlbCBwcmVzZW50ZSBkb2N1bWVudG8sIGVuIGxhIGNpdWRhZCBkZSBCb2dvdMOhLCBELkMuLCBhIGxvcyAKCgpGSVJNQSBERSBMT1MgVElUVUxBUkVTIERFIERFUkVDSE9TIERFIEFVVE9SCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18gICBDLkMuIE5vLiBfX19fX19fX19fX19fX19fX18KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fICAgQy5DLiBOby4gX19fX19fX19fX19fX19fX19fCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXyAgIEMuQy4gTm8uIF9fX19fX19fX19fX19fX19fXwoKCgpDb3JyZW8gRWxlY3Ryw7NuaWNvIEluc3RpdHVjaW9uYWwgZGVsIChkZSBsb3MpIEF1dG9yKGVzKToKCkF1dG9yCUNvcnJlbyBFbGVjdHLDs25pY28gCjEJCjIJCjMJCgpOb21icmUgZGUgRGlyZWN0b3IoZXMpIGRlIEdyYWRvOgoKMQkKMgkKMwkKCk5vbWJyZSBGYWN1bHRhZCB5IFByb3llY3RvIEN1cnJpY3VsYXI6CgpGYWN1bHRhZAlQcm95ZWN0byBDdXJyaWN1bGFyCgkKCgoKCgoKCk5vdGE6IEVuIGNhc28gcXVlIG5vIGVzdMOpIGRlIGFjdWVyZG8gY29uIGxhcyBjb25kaWNpb25lcyBkZSBsYSBwcmVzZW50ZSBsaWNlbmNpYSwgeSBtYW5pZmllc3RlIGFsZ3VuYSByZXN0cmljY2nDs24gc29icmUgbGEgb2JyYSwganVzdGlmaXF1ZSBsb3MgbW90aXZvcyBwb3IgbG9zIGN1YWxlcyBlbCBkb2N1bWVudG8geSBzdXMgYW5leG9zIG5vIHB1ZWRlbiBzZXIgcHVibGljYWRvcyBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIERpc3RyaXRhbCBGcmFuY2lzY28gSm9zw6kgZGUgQ2FsZGFzIFJJVUQuCgoKU2kgcmVxdWllcmUgbcOhcyBlc3BhY2lvLCBwdWVkZSBhbmV4YXIgdW5hIGNvcGlhIHNpbWlsYXIgYSBlc3RhIGhvamEKCgo=