From 64923ee3262fb3b7dee506c0c5ad9d87aa38bbfc Mon Sep 17 00:00:00 2001
From: jrtechs <jrtechs@hotmail.com>
Date: Tue, 6 Nov 2018 16:45:18 -0500
Subject: [PATCH] Updated my cs review blog post with information on DFA
 minification, the pumping lemma and Context free languages.

---
 .../programming/CS -Theory-Exam-2-Review.md   |  97 -------
 .../programming/cs-theory-exam-2-review.md    | 256 ++++++++++++++++++
 .../media/CSTHEORY/DFAMinification.png        | Bin 0 -> 23792 bytes
 .../programming/media/CSTHEORY/MinTable2.svg  |   1 +
 .../media/CSTHEORY/MinificationTable.svg      |   1 +
 .../programming/media/CSTHEORY/MinimalDFA.svg |   1 +
 .../media/CSTHEORY/PumpingLemmaExample.svg    |   1 +
 .../media/CSTHEORY/PumpingLemmaTheory.svg     |   1 +
 8 files changed, 261 insertions(+), 97 deletions(-)
 delete mode 100644 blogContent/posts/programming/CS -Theory-Exam-2-Review.md
 create mode 100644 blogContent/posts/programming/cs-theory-exam-2-review.md
 create mode 100644 blogContent/posts/programming/media/CSTHEORY/DFAMinification.png
 create mode 100644 blogContent/posts/programming/media/CSTHEORY/MinTable2.svg
 create mode 100644 blogContent/posts/programming/media/CSTHEORY/MinificationTable.svg
 create mode 100644 blogContent/posts/programming/media/CSTHEORY/MinimalDFA.svg
 create mode 100644 blogContent/posts/programming/media/CSTHEORY/PumpingLemmaExample.svg
 create mode 100644 blogContent/posts/programming/media/CSTHEORY/PumpingLemmaTheory.svg

diff --git a/blogContent/posts/programming/CS -Theory-Exam-2-Review.md b/blogContent/posts/programming/CS -Theory-Exam-2-Review.md
deleted file mode 100644
index a359d11..0000000
--- a/blogContent/posts/programming/CS -Theory-Exam-2-Review.md	
+++ /dev/null
@@ -1,97 +0,0 @@
-This a very high level review post that I am making for myself and other people taking CS Theory.
-If you want to lean about the theory behind the content in this blog post I recommed looking else where.
-This post will cover how to solve typical problems relating to topics covered by my second CS Theory exam.
-
-## Myhill-Nerode Theorem
-
-### Definition
-L is regular if and only if it has a finite index. The index is the maximum number of elements thar are pairwise distibguishable.
-Two strings are said to be pairwise distinguishable if you can append something to both of the strings and it makes one string
-accepted by the language and the other string non-accepting. 
-The size of an index set X equals the number of equivalence classes it has. Each element in the language is accepted by only
-one equivalence class.
-
-### Problem Approach
-
-Prove that language L is regular.
-
-1) Define a set X which is infinite in size - this doesn;t necesarrily need to be in the language.
-
-2) Make a general argument that show that each element in X is pairwise distinguishable.
-Pick any two elements x, y in X and show that if you append z to them one is accepted by the language and 
-the other is not in the language.
-
-### Example
-
-Prove the following language is non-regular:
-
-$$
-L={ww^r | w \in {0,1}^*}
-$$
-
-answer:
-
-1)
-
-$$
-X = {(01)^i | i \geq 0}
-$$
-
-Pick any 2 elements of X and show pairwise distinguishable
-
-$$
-x = (01)^i, y = (01)^j  | i \neq j
-$$
-
-suppose we pick
-$$
-z = (10)^i\\
-xz \in L\\
-yz \notin L
-$$
-
-
-## DFA minimization algorithm
-
-Types of Problems:
-- Prove DFA is minimal
-- Minimize the DFA
-
-The argument for DFA minimization comes from the Myhill-Nerode theorem. Given
-a DFA, if you can form a set of strings which represent each state and they are all 
-pairwise distinguishable, then the DFA is minimal with that many states.
-
-
-### Prove DFA is minimal
-
-For these types of problems you simply construct a table and show that each state is pairwise distinguishable.
-To show pairwise distinguishability you have to show that there exists a string where if appened to one element 
-makes it accepted by the language but pushes the other string out of the language.
-
-ex: Prove the following DFA is minimal.
-
-![DFA Example](media/CSTHEORY/DFAMinimalProof.png)
-
-$$
-X = {\epsilon, b, bb, ba}
-$$
-
-![DFA Example](media/CSTHEORY/Table.png)
-
-
-### Minimize the DFA
-
-
-
-## Pumping lemma for regular languages
-
-## Context-free grammars, closure properties for CFLs
-
-## Parse trees, ambiguity
-
-## Chomsky Normal Form
-
-## Pushdown automata
-
-## Construction to convert CFG to a PDA
-
diff --git a/blogContent/posts/programming/cs-theory-exam-2-review.md b/blogContent/posts/programming/cs-theory-exam-2-review.md
new file mode 100644
index 0000000..1ac7947
--- /dev/null
+++ b/blogContent/posts/programming/cs-theory-exam-2-review.md
@@ -0,0 +1,256 @@
+This a very high level review post that I am making for myself and other people taking CS Theory.
+If you want to lean about the theory behind the content in this blog post I recommed looking else where.
+This post will cover how to solve typical problems relating to topics covered by my second CS Theory exam.
+
+# Myhill-Nerode Theorem
+
+## Definition
+L is regular if and only if it has a finite index. The index is the maximum number of elements thar are pairwise distibguishable.
+Two strings are said to be pairwise distinguishable if you can append something to both of the strings and it makes one string
+accepted by the language and the other string non-accepting. 
+The size of an index set X equals the number of equivalence classes it has. Each element in the language is accepted by only
+one equivalence class.
+
+## Problem Approach
+
+Prove that language L is regular.
+
+1) Define a set X which is infinite in size - this doesn;t necesarrily need to be in the language.
+
+2) Make a general argument that show that each element in X is pairwise distinguishable.
+Pick any two elements x, y in X and show that if you append z to them one is accepted by the language and 
+the other is not in the language.
+
+## Example
+
+Prove the following language is non-regular:
+
+$$
+L={ww^r | w \in {0,1}^*}
+$$
+
+answer:
+
+1)
+
+$$
+X = {(01)^i | i \geq 0}
+$$
+
+Pick any 2 elements of X and show pairwise distinguishable
+
+$$
+x = (01)^i, y = (01)^j  | i \neq j
+$$
+
+suppose we pick
+$$
+z = (10)^i\\
+xz \in L\\
+yz \notin L
+$$
+
+
+# DFA minimization algorithm
+
+Types of Problems:
+- Prove DFA is minimal
+- Minimize the DFA
+
+The argument for DFA minimization comes from the Myhill-Nerode theorem. Given
+a DFA, if you can form a set of strings which represent each state and they are all 
+pairwise distinguishable, then the DFA is minimal with that many states.
+
+
+## Prove DFA is minimal
+
+For these types of problems you simply construct a table and show that each state is pairwise distinguishable.
+To show pairwise distinguishably you have to show that there exists a string where if appended to one element 
+makes it accepted by the language but pushes the other string out of the language.
+
+### Example
+
+Prove the following DFA is minimal.
+
+![DFA Example](media/CSTHEORY/DFAMinimalProof.png)
+
+Find a set of strings which represent the minimal path to each state in the DFA.
+
+$$
+X = \{\epsilon, b, bb, ba\}
+$$
+
+Show that each state is pairwise distinguishable.
+
+![DFA Example](media/CSTHEORY/DFAMinimalTable.png)
+
+
+## Minimize the DFA
+
+To use this concept of being indistinguishable to minimize a DFA, you can use a table to keep track which
+states are distinguishable from each other. The states which are not indistinguishable can 
+be combined. To solve one of these problems you start by creating a table which compares each of the 
+states in the DFA. You then go through and mark the states which are indistinguishable -- start with 
+the ones with different accepting statuses. Then you continue marking off states where if you transition with
+a symbol on the DFA you are distinguishable and the other state is non-distinguishable according to the table.
+
+### Example
+
+Minify the Following DFA:
+
+![DFA Example](media/CSTHEORY/DFAMinification.png)
+
+After marking the states with different accepting criteria as being distinguishable you get this table:
+
+![Half Complete Table](media/CSTHEORY/MinificationTable.svg)
+
+
+After looping through all pairs and marking them on the table if there exists symbol which results in one state 
+to be distinguishable and one to be indistinguishable you get this table:
+
+![Min TableTable](media/CSTHEORY/MinTable2.svg)
+
+According to the table you are able to combine {D, A, B}, {C, F}, and {E, G}.
+
+Minimal DFA:
+
+![Min DFA](media/CSTHEORY/MinimalDFA.svg)
+
+
+# Pumping lemma for regular languages
+
+The pumping lemma cannot prove that a language is regular, however, you can use it
+to show that some languages are non-regular. This theory gets at the idea that if
+a regular language is long enough/infinite, it will have a state somewhere which is
+repeated on the path that accepts the string.
+
+The accepted strings can be divided into three parts:
+
+- Symbols leading up to the loop
+- Symbols which complete a loop and come back to start of loop
+- Symbols at the end of the string
+
+![Min DFA](media/CSTHEORY/PumpingLemmaTheory.svg)
+
+
+
+To Show that a language L is not regular using pumping lemma:
+
+- Proof by Contradiction
+- Assume L is regular
+- Choose a representative string S which is just barely in the language and is represented in terms of p. 
+- Express S = xyz such that |xy| < p and y > 0
+- Show that you can pump y some amount of times such that it is not in the language.
+- This contradicts the pumping lemma.
+- The assumption that L is regular is wrong.
+- L must not be regular.
+
+
+## Example
+
+Show that the following language is non-regular.
+
+$$
+{0^n1^n | n \geq 0}
+$$
+
+Proof by contradiction
+
+Assume that L is regular.
+
+Let p be the pumping length associated with L
+
+$$
+S = o^p1^p
+$$
+
+S is valid since
+
+$$
+|s| \geq p, S \in L
+$$
+
+For any valid decomposition
+
+S = xyz
+
+such that |xy| <= p and |y| > 0
+
+Consider:
+
+$$
+xy^2z
+$$
+
+By the pumping lemma this should be in the language but it is not. Therefore our assumption that the
+language is regular is false. 
+
+![Min DFA](media/CSTHEORY/PumpingLemmaExample.svg)
+
+# Context-free grammars, closure properties for CFLs
+
+The context-free grammars are a superset of the regular languages. This means that CFG's can represent 
+some non-regular languages and every regular language is also a CFL. Contest-free Languages are defined by Context-Free Grammars and accepted using
+Pushdown Automata machines.
+
+Context Free Grammars are Represented using:
+
+- **Terminals** = Set of symbols in that language
+- **Variables** = Set of symbols representing categories
+- **Start Symbol** = Variable which you start with- written on top
+- **Substitution Rules** = Set of rules that recursively define the language.
+
+## Example 1
+
+Grammar G:
+
+$$
+A \rightarrow 0A1 \\
+A \rightarrow B \\
+B \rightarrow \# \\
+$$
+
+
+This grammar describes the following language:
+
+$$
+L = \{0^k\#1^k | k \geq 0\}
+$$
+
+## Example 2
+
+Give CFG for non-Palindromes
+
+$$
+S \rightarrow aXb | bXa | aSa | bSb | ab | ba \\
+X \rightarrow aX | bX | a | b \\
+$$
+
+
+In this example, the S rule states in that recursive state until something that is not a palindrome is found.
+Once you exit the S state, you can finish by appending anything to the middle of the string. 
+
+
+## Example 3
+
+Give CFG for the following language:
+
+$$
+\{a^ib^jc^kd^l | i+k = j + l\}
+$$
+
+$$
+S \rightarrow aSd | XYZ \\
+X \rightarrow aXb | \epsilon\\
+Y \rightarrow bYc | \epsilon\\
+Z \rightarrow cZd | \epsilon
+$$
+
+# Parse trees, ambiguity
+
+# Chomsky Normal Form
+
+# Pushdown automata
+
+# Construction to convert CFG to a PDA
+
diff --git a/blogContent/posts/programming/media/CSTHEORY/DFAMinification.png b/blogContent/posts/programming/media/CSTHEORY/DFAMinification.png
new file mode 100644
index 0000000000000000000000000000000000000000..3818ce52bfdfc7135b87a097ab2b011ca6b8b8a2
GIT binary patch
literal 23792
zcmce-RY051(*_Eqv_%TEK!6rXp*X?a-Q5Xp!L4ZV7I#mO;9i{IP@u&M!QG*_L($@#
z@cVz~>fE1;<bAWVJ2PuDv(HW<RF!33W4^;gK|y&fCo8Frg7O@Mf`Uf#3R!@HMUDCe
z`FL(6rX+@fQWJ-DXNr#e{n1=jT?qxnn+65tYcLAR4YKI#4ho7pD+<b<2?`2-Dhdjb
zb4H7rAd>LROhHBx<uNR7umkxE!&w&Oih@E6d-|Ztxd$a93tzg)DM`It!+L?w%M{TS
zB!PmWzb+>!ruk+5u&oX2Vz^<2R-KwcIsEm%l0NERTJOr_z~ax?O2-RXrQ_N0WGTjH
zm44<3_n>dGyrRo2%UKSI)NE8;-2zM)hTDo^5~^_K-?Pu_k53Pzr*Y*UhoNm}tQ>n?
zP8*H;)-PKsoxemuDTy#JMs`ay2Z-#||36=f#7`oVMM0z!Q7wpCx-j_HoUd@=+@U-=
zJD$gI>oRtQyok;VbTm<{<euja1cf#P6><tGR-X&dOi^=D!E9phv;rP9)ml!g!kQ~Z
zbw$63g0M$r((bB&dpZxIsHUjj(7<e8!(Fb8y{NPwM60kAc5hrzb6z6MzDmE4U?;Vm
zehA*G<Gd9iLUBS0&hchYsK2CrFn)#g>OEZ)>b#sfVrp%am_;ZAEcyxS)f;44H%AcT
z^h5W`P?Ut6_O#h?G1?zgRR9{cMjKy@_Fck}v9yAP*7gko_2V;yS)d@|Mi|B*nSFjy
zdvZyBXS^nMf6%M6_psxM`V+|wqlGu}_am_BBc;YObxyy_ld9Vy)xAWF86Di8?m0l|
zok&im_7JIEd4pFMGEleT@LZ;kuX2EwJFdHxcXS*)<DdKA;G>RwgX`u;2JA;l+A0{_
zKe(c>zCf5o2rpF;sRyYyG5xg40eV=ke`1S`hOK!VXTSJLt_on(%vUGfTX&MC7MFZ}
zhmJ4{GK+S^@%ZIV-^+*+hh!*<Ik0*thE{<71v|M%utzR}_x2x(Gj4JZ?>73g@n=7f
zP15%Q1qo!=pQ(I<6HCXQh&(p(;2?Jahbo}<{3K%I5JnMWRyT->`wgB-ZMb;yBb&K>
z?G)t?CS8<T=|GU<`vSeMaiSna_FnPpsgb@nxc}7*7AK^e#6Vd<&LpKQWg1)F+sXh8
zl$S^mR8emu<K&9+QBeNAqKo2tKE?-rodNhmrV4PyYX&;&eGL-@MUN$sRq*pO(cz+Y
zASX0G)~qxxGJpP}3iS`3D!`n|?L7pmv<VYM0V#Lv&6c4Q!K#V&A3{}thGw$AbRZz$
z4-xX+B3T25sTuaw7+Fh9n<SC*jU&NdOu_0<yaLGDhas1rEIGi?5}N@&jJ@HXjL3I7
z8;(yP&6Wo#6jBs~*()>pj{pV~Y~<Q|{`pFr)Bx3lm@bMUT%+<?55*tCFGjCX!KjTd
zM#?C1fPbd{cyV=!Rso4(nV$XRRt0c~f_}Ckd;4q*uZipbTlG2r=Ff^J^3wgEY2+Av
zBa8UolOFSb&wiDsr{Xso$e-aq-?-3e?1Kc5il8f_qej(%2*4HlWvn>KJp{b{*uXJq
zwRCB<zvIuqY%i3J(Xk4~@5}QhFWgg+>jyi77`J`5I2t4k;<La=?jaTextCB>n4qPE
z)1^E@Uam-?fZ1fE3A?CDu+b$rHrE&tS<j)Oph1f84Co67msM3E2=%!cd2-K3No6bp
zXb^Vv@8kNUf@H@i2>|dpn5}Q84(~@ALlaP7M^Xz6dS_Dr($)$DH5&<XG<DwaG-}z5
ziK_yVHq?CiF6Mu04C9tll=?Op3Cl(4HMRE=b!j>&JH&E*m}gM2*MEgDdyA=+qgw3z
z27Kv{nzD{{rKBHoyfYJsU|7A;qdleDza5-kFtd)Dj0i#QtMAOTpWi2jGsuS0#7(8k
zo|YPFtvLFcsssRs-@m{}WsY4t5z!8;Ygf)zmZJtfv4@_oac~NU{qnTSGE0WYX(24b
z6lQpO&K-xBh<sWpm9VfnPm>{aww`_H%}5EBB<s27opvU&Z?Krg2=}OAGcThjrWl+f
z9m;M0amJDRbYoD|<0bd7x}eQpcld=>*!{K{-`(`qg@^5OWwm%3436v6sE4nQ;AA4X
z6@AY;6Tru!0<{w}?AFsx$>~&PKX?y)TsMoXRK=L9T@$sSpo{t(IWg|?;Phf3XSsK#
z7uJVLuV#Q=%H)^32vK0;3_<eQ;$y_agR0ONHaFN(iC47anNt=r_PbC0a6~po?`?Gx
zj1efngW{$KOX^TfU=maYykV1&Do)j5dJeAnmJAKLzQpM~6-!CjjVwsf+6R_&>f<L#
zd(9xHvqs$gT#J(YEtM13<UTKcGC93^GhPIXhVQYl_rWNAnO-UZ+=#(RE?ua_3@MCk
zUXA{AX$0b{-%ZD37v3#tRuCH}kYsnR1hE=ZNh~i9iP)%76dP+b*?y8O86f(wDUtYM
zv)EXQ9~koOf>$=|v1NgBPsZoY&QqCjtB;I-?slXb)LhKwAu?_np%l$2<bagJRbWIV
zVARU4B6nDD8>0!<n47-bD>KqmQK4om-3k*Jk5DtsdX_ZqfU3z{lgoZ1hb0C&$YnR{
zsFRu!x%{o<`EvuFW`wBW{pZ<QTuODF!1g?-WI%?7ri?zYrZc|Fr3bl2VXvmXX@*Y)
zR5f&sZqc_Db7s1hj(`VlPirPxW@~9rqjLT1Q3V?st#*^tCw`rgJjuwb1D}}sI&z0p
z4idAsQ0>1nbm5KS;G9F(@){S}7A=^%&Ytbry2V%4MJ_&AyYjMB;L8hF6crbXvm>&2
zdI0|S1wQ$99AAYp-+`tA)gQlKtTX9&;Ll~7w8O4SkaMkk<r#3Ml7gA|c<%I&xzD&B
z>PxQA*X@AaoS4Z!meOBH7O*0Sme0|O0_z(m_>Klp7X=-hx?0)|gG(u2@-rTr_e^6>
z(JnPMldQmD26Oqb0})4#_y9emfs5-&s|fh#S>+#=vSCr^>{kJ_wpVgbuG=?;3e~0r
z={<0&jq=zM{i(UeEA}WLsUCf%3J^Ge&CPd&mY=20?E&m!A0!(aoFjj)Hclw-PyUHX
zOSZ$V^Y9PRGM%d)eX9z<BF&uB6Q)gE)-wQN4eWK&Z|VgoIpY<vn91WD-(+=KWRIX?
zF(K{Na9Uc0U*?Ln<vwMYQT&SzxEce?yYzlmpVVcEj#gax+tyXwMFP4g)8P^O%n#Ln
ztQso+i0T45>N3@hA49kd6BIKsMCuA_-eXqiS)<cM$yr-Ag!1crJ}Yj;1JpYwuC9|S
z-qAv3nmIe_dLpWUy4J6ezK6B;f)j4KB=>Q4c*gE=KI;y*VkOYQVYiZuN5V2!3%O%+
z(&zY<6x-7pET(UCg-Hy*{rgoCH0^U<MP@M2(tz#g+rolX@#G+`2d4!#_2m^Z8yQ#b
z=Y4tXYzc6fEytngRWlHke>S;KVL(pS978>It5Rl(JO49Yp9ontySRsK<w|Lrff>6(
zx2=gGraIK*9uykO2KnzTa<XnG-ScJG{p;Ne>N5~tPp}`v7G@Wvzw4)OjYWqgWNF!e
z2#x#`Tcb<m4i!(`F`Fa#XKmp%=<ebzwpX9mTpnBa51gx%1Kc2n&FRGt+JjX#?|}Py
z^Vbx>-Fgh5B%OnokY<|suAi>;dpayO8mk6*E4r)x1vBH_Uvyps_X2#I8DFq32`Ak)
z=qn5b2AxFu11#fnfpxm6bMG!~D9o`ts_+MPq`Jq9U165FiJsq8Yeq*@yYHr=QRgnR
zzry3qd@ai~E5|RYIOR5re%y);upJ!~2bwp0^0Up#1_Z+K%)plW#17zL<Gn5a4@n$W
zXTLX|8}&I~1z6%?$@zm`A;iN9(<-F;`k^NwgW}vTaVUO2n-aPGmufJ}g4}<7)!eo9
z4MI)bA7UnOs^b{nR92ZrAWY8=GsuzLRexDnmd#*eBoUpG&uJw!wFjf$q{`IM%{Aa9
zhrBA|(BDkPraAUd|5D&Y`#j0FHzQE)|A;ScIrN)@Uk77H8}+eE^;^9W*#%9Nb0cjS
z#jl>h>AwYqW?J#9^^vr^%|H>P+06YqFsR+Jx(RpI?|tiN)(EDc!$LK%Z1BcmNs+2B
zw@d>#>OB<>xGxUbZ;nRG$#f2Y6R^^BysS;O;P!g25H2KE9Qp!098je(R#%YbNstz^
zo!egO((!9#H<{PnEE!>!ar*^#{)(4&3z>$go4Hi`$SxZ6Yz|KI=Nv|4p49+X>g?Yc
zk?V8~eqVs&C2vwXzI+M5PFdg0?qvL)YXZ6H_wrK3FMDd$bul>2nG8I_a~)8YXOQkm
z%>qqZnN5kSLhV>n=MaCTJf8Vq>ths88E~jK^ZeJO^L|hp$`Pp?-<qw~EQ#2Lt1Bm@
z`GW?Y*nR6C)Ly-LSINQZg5&m%J7jtJTERYz>q+yU=9Y|MQBBy{go0slYcap#_Z4(4
zhLD1={?4AWh=+%zzL1D!2CkD}S3Hfv2WAd^ENw%g?eJ!YF|W=Ztv~C6esH9#8SrAQ
zg<$`Jvs3MYt_m46M%GMkEs<6mI#HcIhuDxGR(G*ag2{gAPDfuk3IroX4|m#F+HLu~
z<ymi4$ldr1(^x@H6dzXH`C;%sIfGv1nH{{A_Fxf)p-%V~5Y&M8vdjyk3e|d1`WacU
zQ+kL(o>a9`Z8>rYy1X?)8*PeV6O`@Y8KRtcg^kdDcq+y*Vvagi#)1_kY(|+o7lRDC
zbEAUb89^xnYpoNBF6~#55?Y~hA+~8!Pul#lbq)*O{F2nBT1e}Yn{%<OheL1BVi7l*
zTQiv#LQFg)b9H#VUAOW`M+V`NQBi+m#bv1DGLqAi#@a)+`zkTcpbj~w1gUfK5jm%r
z3=U(X*U8wC62bmSs9?|&2^&em1ksr9vF%A^#+K3KV@48h@V;^tQcG5sk%&UhQ^q&2
zdXV9s6%Qfg<<*f<vP^w}q&%!y2hb^Pg1;?fp$d2>o;^2jxxQ{SM*nI5aONhjunv!&
zDd@q!a|xFw8QhN?Z~VUlEAo9VP38uWBJOn|_F~bM&uo&K4rLb1Q(mu@Xz&s0Vjydi
z`B^D<P-$zoCDBWez<@oAjyxpCVsun|_OH1#s2#bH_;6+@1SRpwZ+FKA4z9r#T#;$;
zcrv!%Ik_R#f?#nF6u7Zy`Qh!=pf+2xaC4hp841{?WInM!a&4PJ3sAu=d7kzRA^vQ_
zBz&(k-9}9Nl9YpPfJGJ}6|}>V3*>w*TwCwW5LJJZQez#yWu6N}o+ILadZxY_qD$~d
zOddD-+!qbE(ELZw3C<m<6$Qzf2-QMz4#kjBYv4gk3tK@|St+9Sr42#a4*O#XKfcnE
zr--}FpDLg+av(`*&eJNoG{qHJm}x1}OG%}uVm&@u`*&0V^9RJ;vUC0?tZoaKn>Lp&
z16r}7t^Fk~J41C3h_ld4%kySm7;q8?MTVDClZ=hB;JsG+$ulGlvEE&y`|#-MJflQg
zYIc;<4bs-u;*kH18<fDPpd)XS?~N)7@<&D5nrlh*$UtSC0-G9RT}eaBetp$(V2W@*
z>UE(e)XgnsvZvc3i#mA|c?80o^{C}-YBD|7P*+kfy$R3xk)sKv<;yh30AHgghddj!
z*E-KbB<aj*Xctp$qRzFv83E$h{CKDB`AD3dX#An&mj2_y^Tlia+Ipul9dYXZvddF;
zOQz}ELs?E#530AK+_hRzDe|&f8lRr@tT}$`EctXD$(BBox^aN1k{T;&5gnc=k(-qs
zNywlW7jLcBWL1W|-ej_ISCfS7+vyEje3MgrRJY2{+&0P9y^mtrj_m8)o=RzLo#g6j
zYOKzf4JLnBS@9Z~SSu1yTD0QZeq=`vPkb~+*Hfn+F6qq1C8lC;cxBhwfWc}CL*ef@
zuK-%y-rE>EdaF}2zIVO<hK*>^4|Zn=$8ctNh3cmKOCKcP@`Dkgz@<`3EbJJ}%;*^S
zQ<<FuMVUSSD|5n$I#f7!pcdFXRKa`xrnW%d{opt&c=bfdN%sm1`>x2{`Gx^KnLa_b
z@Aa>cG3E2h#cY}#DJ@$$$n-pp@$}(4pbIIsi_rd`?k||KkWCV&QKr>q_<12B>CTtV
zM@?t`!6IJ{LY;b?YT_(T8WqLs_E{Ag6wff=>MN(NW)oEe^t+#o<O1(@NPnOL+3<gd
zKR+|f!VXQku|irvF<A)shTK8fv;A5F6sk9YWeD;n{MMhQNRE#iDbK5*>7uMUu2|F*
zdAqBz|8&}M!9zn(o?#bgM26C2zc#!vE-huqnn2$Yl>VU0v;Ojz%0vs|CvSh7Jq3>T
z8AfOGw{$qC1*4rNGyo<e63)Sw^!+mnT{_dOM-_)nfRbM=(#R0^CWp{nh%gMS0J8I~
z9?#U|q-P3Bf6MlH+4WME7ei}H5Co(Qngjn6{|O=P@wMmE2)mM<?~Hf3{%$vzL#ghs
zY;8%_o1zFPA<{15n2CZ~0v%5}Y$g0MeF}iN**KnLm0=N8Pu>7;uk>vFfUNX9V|j$V
zF0QE$4Q#qF*16TmUP;Ep__PtbC5sIV5<{M43pFt?pNfLs6%7lM>wJqkJMT|NM$a#E
zHK3O1bMuK%Ye2*6e_T-n8{EFye@TTSXE-VZs-CPk-n70!s=W&z8mz=z`N^$it&aZJ
z)Rfi49&2lTZrVmyJIq_UQd4PKS+2kIiL2@21hwh-jC%&f7Tp|S{?wq{=5qOe3U4W+
zx~A9$1)A3ybkaZT=aX)Ea-O8YUX(#z@2rDjO+(>eR%J&Iu7hX2?oZthOsgo8z4i(s
zshW`;><>!UZN%FLcfJ|4=R)rwtu%qomCPpp%(h1!A6y7Rm2ckzIP^z48NO4jLT^ZR
zhQE9?>k|JU5*}-k*>94Ce&c@fBLg~yYSEDP-9)oA(f+A}1Vv1S9}E^*URZiPcih*l
zu+XlmXF`gO?ewLjFQYyF_#*@0IH239aPSo0@L{f~QTm2PWCW*7B-ZNn;QyF(oIslW
zE>=e3oxiDb-dT|e?3f-P00wO_ctPA>BtqF_apl;-=`o06^$blNs^&D(SFwPMur^uC
zts3BjZGNLM?`WIeBI5&S$*ddjzWRyei_er*45A{zcM1r<{-PqtaxfDj3W^O%tJvDv
z!EtYu9KO65WAA^wdkSQD?P1chMzg42s6Oj!bEWd->;D!#_kS91Qek}TZRgCZF9$MI
zYHN!v`NboRDb3q>xc5&A@EYi_>huVNhA;XU@xeHE-*N?g*=a;hAg#$ech<J@e9hs1
zzSGg>6#c}we1LYcCl~p3#XkUJ#3qzhmW(AMR-&n<hZwg|xotw|iHO3XAG7vl6&oXp
zU>8uafH}|n<k^2ZIEMu;eMy>VGUO$R+MDDq)Od7DL5i{ZIjCKmjN_V2eMU7Px%b!c
zxK{NKVjR(x^g0~HvLXF}t#Y~lb<p@EPVd)6Eq2@DkWOvriBMJ%%^j9M-=fKBW8|+X
z0gy18kwqE5PJc-o08<|{X(9IspLC9zOSi~>c%s#d)-%9#w74;@H|9lbWW$KK7^8wn
z4=@e&F>vOJ!|~I%S33r>3jgBr9?y>rA5YtO6QK8v)YjlP8ltK1`!3Gj1@zic;=RTx
z0N)`VNAvBqY&wEH{uDj001lmhs8Y1}_=S(@S2HkRQedvKt`B?`z&dBw7DXB9Qg)p5
z$(FnhuBifMtKLJ_T1D0>R~V?X#~dl>u@rUdi^0|dA)#0KPeZhV4Yw-cD2C94UQ5wQ
z;r8;s{ZQ?~LLoPSKyARu;2%sh^5LgoO-X8<cwJ#!o9X`WV_~}&6SVtZ4i-rr99x5*
znTx~V>(rn&jgELsGJtWZ2~0p82ma(^!|oJ3uh&-svL+H^9LRnGYB@$V=b~B$A70Y*
zzvj+Ydp)Xv+t~yOQ;cJHvHOZue#B|~ald2sOVuD#U05|lswgAe+<i>*+Ilk~bYO6r
zGKWmUxI||D@5p{4?schsO5yN0ks8H4|HQ~@N{Byx1N?3m3Flg8B`9l30c2R-G0QEA
zPBgMe^9XXcJl4i`0B2_-JDJB~j+0AtR$(A=yI<lW7zUsn**v~+)J?WpNS73GVT{tH
z1NL=^!P;3igUr`PP>4(B6skskXZKdH^PD&`RyioR1^~D@^h5UTSfdpis6zb<k}K?2
zL!6f1H1!rRjwoi!oj|hhjma9HCxcn~8>^j>ar^ZhCcm`6`_B{``(K9qd-JQYI7f<4
zybk>=`yA4M$sdS7bOT1|=%%J@wNu$K%tUzW>XH2lAK3${vpzuk0np;Pb~h;&Wo^b`
zqKJ^abxJJoT-4S6_TgRBmq(2m4t<SF4*l=`-`(`t#jX>~u)nM^g;lN3&arFik%)D8
z?>0zM?{2mOC&~Yj<N{lX_dHq8Q|1(g4+p0^y*Mr7lq)j=6=i&Ow;sRr4-7-sn-%hR
zT2ALws58r(C?^0*;`!aAzy}GC$0%aYDETf0t8>l6(r#$dkS93unRQ)ZN~4>Mc2jKX
zW(}s$(!c9J^uJ^2tTXgWB4hp8k<pGr?(*A^RCcC->$i@@9Qr{H?S>YS&nxYs=sc?M
z=RSGVGjsX(_Na`G7JyA7{}jBOxreG?xlizX2oKKz!UQd-zeA*ws7*if)YhMYEg312
z8Vug2GykqUj(ZnMrZ&NS>c_I9_!kP5veBG>Ypk(?jwJ*~y=}x118MKVd=nw3Hba(j
zy2$fg%yD8{CYxr2H&gcA?)~}9K3XF1EOpF_M^w^FZr<g*qp}r<IhFn%Y(=&U#)8<r
znSG}U1<$j`Y{4l({ie-nb9+YyuVy&+mN$l0dxR(VoQh<KGRxbtjvRLP#_Zm>b+j+L
zfe6}857ySMsH^l!e7xiZ1Wt2+E8z@2v(?MjW^Np{7nPlq0rv!jN9|&J$CG;vy;heA
zuTLSF*_U`25UCed{f`yek6YPxA4D$0?;Q1Z3`v(#JObf^JL#vn3^rbpe+>uiU%S%`
z2#3-H@Ir=S(N}nS>ex?frIXs2ieU!3$x_}bb2*V19m1!N*DoJW&Z%?`aon$Ma&>s?
zYV}@#y(sr6{UTjzwrw&^11$I3LZsLQ-<ql=>KyL9-k;w)`MrjJk`$^pxqZY2f%ieP
zzBg7~8xjKZ>Z-`&-1Icp@<M`(fIiPC=?2Kh_SWCP4Ud01l@HrPaz_tCq$sk4x0<}+
z@X~HrLn-25v&#z7bYr*;Gl)no94plvs!|~>ve+MOH%cX9I@hDTWmopphC0&Ft7SO+
zxc2Z(k4mff6E_&OX;UYrHyOAE(@ffrfGOq!dvZBl$l5~daPl=04H`yk=i6L6x|kq^
z_$}HBOjWj@o4?vQSlYcdy|(;OtOXq+pc#Un5GvWyL;8i<eImp`7KgX8x9T^1f6U#~
z5R3rZDdX#xKKhBrg+NQH%?KorA*^ImKm3vB^XnH*f%9$2r04pTj8S_50&ua4g+(<F
zg!p)y%41_2?bVVb$U8srv>P#~9ee9^J=(q1A<mU}sPZB%R-Cde2n#pV1(GPSM89eK
zX~||%PO<fO^UErr3uVI=DvdPNX2^++7}HD|g`%v(!95_X;bk-;kGBG7D<k3SY;2+U
zm|C}20XkkR#jA$*1qqlbsmrgW`n<v7(0AhCUVYw1y+nBZ#-aH#3BghO<{kd;Se2Rh
zgR{_1O+W<?IGQZ7v_9o8Cts}=j<!T3IEp_H_Zc*e`yq3w&F$O{M?u%ok?6;)PRT1}
zQ0R7Sw#<gP2(_ubrCm+!?MZK+zSBNa9^n4EXjv#csfE&y$8`pB$p4Fl4(wGXpQwYw
zx%mx=1;SH0lQ{@5@0X`t^QtuF-x75W{w|A2*%q%vY@B4?S}>A=z3hwC1^h{8lobc<
zAtJ-_2FDz>@2iI**1PIXj?Wdt+%>&7XX{?Zbnm>H@{Nl@Q-fA2rj{Vqy~C{<5Gm^r
z_@+{-pmu9oiT}F<Uk8=(m$<+9h5pE=3I&xenXls|7iL>f3%AFOe%#>DuTj~dz2B(Q
zBUiXf-Hq4goELe`9zAe|t76I<*H&C`*apX*AkMiCromAivKP`PYoeGkr>(qq@*j3<
zdhqZWlo1koqih&s<Ia@7@;V}maeyPNS4o@T(yC!O!z!sB-|n@;Np#-`0QY8V^^TOp
zy8df|C3G(2s4vN<0yr_(z_&8ZmY!BI3i12#f`K24)L1Kcy<Toia4%g4ygAZoDd`fq
z@+nnF8vyAydE^%nsdaa$#vQS5W2yRXg%bx&!cWew)JW74DK3e|UK3jX*via^$Y;HW
zAFgLhUuuJrE5Fnn3=i5L?q_^X{hj>J=65WM<V+;pFeaDd?ip^(V+qv!_1a9f04KS7
zkPs-oOjD#xC5s^{GRRs$8r#Lq((XD#7O_aa-s96E7=>^1QjG|7{;Q7X#8nv*o%ss?
z(+loT{z-RxHYe(!A~dUz{Q=(2_Oyz7yQ>)_1nnvL9(Bly=ZgqG&5HUdW(qvf9}Q9I
zm^2V>eB+=5+9^6INsNj+Bzuqah8eOq-Vbo~rgm-IvEF0ddB~SwvE|L8bnD-b4)zzv
zd+}|<Rh%_yU^aF!)kDN*59wPi|6zNiK?rQ8cj<pnBKThDV;(TFV<{P9T<D;IFtbJf
zzN@z-Bc9$fj6`tRZ+0qKesR?o`e#urAK9>d{)Fv)KW>U)*Hx9@UMY&auv?BUIWfmV
zy@+9jeNR4ID8}(!#ezPgR)r29Sax6YIBYu0IR&rom6Do}LAy?0BE*qb-sebZhosD_
zF|12(EIqo*867(aWSiUIcL;w~c;*;I>zm%zS@7QULgFaDr!i)oTSIZJbJx{VE2b&V
zk^1XQPZ!&^-F)8+6fi}P9`qZ1+7QWGSOQUxtAnZDPm|3nF(M>_(cBE5wY5yc(_bH~
z5}DzqA?^Q^gqEp?3#QoILYSFz<n=;h4gD(}6v4@zYo<Jp%sIe<MFUVdSFNJOdx1J;
z;Tdfjxwy`^SV5PcF_S}*eHaz&j_atUnm-%O7jDlF?-C6WQ-!3qW+IW4#Nc;a$9dJ>
zRFQh=WsgS)SBLHH%IXkwgt&r-6_`yJbemKWx`H)QpQ#~@Mg*Y4VrtX|=)>Nu*l)Ni
zi_AckrO896F+jRGz`8{}korFUSDw0q16PNJDWl7t9=M35TjTi01zn@3Zq>rwE`Pf@
zb{o@X@1NG3#!x`YG_`Vnw$|qY3oN2(wB~!)EW3&J(GHY_W?Uv}cC~LEqZ=NsjYBfc
z6Oiq{bMNKknuFn&FZU%pM+9fuAlg1@efPM!il#hI-F(j&H8d3Nr2VNHf295(yk32=
zG=GOY^aw5rvTm+{Zz%iU*qZHMxjNKL37<#SK1YZn{2)C?NRed@O<~#lG!0Gj;1@iT
zuO)Dw22=-BO6Q>_RWWlZ`oXV~sr3!Tu~Y_f#ME5{?fNjGJfDQ$*v(}IjnrRUQGK!b
z29I}H_zdYhMY6M_Uo`)hTT6n;cPn4E=uS<%)__>cOOr~dEO5qMdP!R*=xo!xFVEU-
z2<f>&*6)$G-0$<-St>uNe*f92<*njp9q{LgK}yhoJy{d33!nmjn__23g2xb}sHqHo
z$KSC;Y6jL=`*s`8H&7TGNNUe?QpEU+;9e*UadFA>sa?0`>S4RZ?aQJH8G7p&HbQ(r
z2-0(EaY({we&-=F<FHX=B&^0eX@Nw`tecDBO|#KgRK_^nm%=lC2b?o(1-X`=iINKy
z9Gm&An+oA|%yFURP>m)Z2(`Px&7s*qSCGR=1<(bv#MuwD?4q!+$xQTHe%!Yht~s2a
zz&%<!*zOn=etH^P7W8Txw-k-kLE4uU7<DZSCIR<rsqIUB*jm_80JV5ep5O(1Cp+S;
z9DhLSMwASe&Fl7(z=(><vFe8e!!x#H5o^{QYe`rL^%`d)$@mi_*bjZr5as+saD-7|
zyYA0jk#l|K1eGd4&#?qJ%>7B2w+fgBOJg_2{`|F~30Ztp3|xmh-zKRrDs)+jV`ekv
zq9NDya92k|c<WF&?l8kZ{NED-_}|3;D)UsbyBanMl>r6E8}U(TJ|pi(7L`GZ+_kdG
z3<JbHY%VNVH1y>B?a76Ma4Pv);17#>LdRktGtVdG3{5D)oq#7Fci0A`4nRl3yNw#q
z?rY+&t_bA)0LG}zFC#0xqat9%t#<VPTl5V+I?juWbFk*dvDVE8{=CS07qj2+(e`O4
z*&7tL_Rl*h(?^}@T@xK?tkx~sQKW8LBG$fe<gF#c3-0o!2itCC`r813UXDdT`k>Uc
zXt*18u_3E0NX?}x#3ajy9xDpnTN<QG!!=vz&-}S8#02%%N5N{DAqrzZaZtvwyIuii
z>0fMcvp7sjjXS`O!<K|crFWIdM;vsu=|pY1>6{BBBL1|_dH?FwQ2`Jws?b>+<TB%v
z`J<)WRTRXWqs&;fMSm|quh2z#E>H;+Bsh8h;gaeZ!X?YU)WDKs<VG2xUR{#(K?hLD
zm|C`$iKKjB<Ey$p=x<Mg|LqGx5*pNAE?^0uCT|K3)m4|yMbY5w)Sm?nOQH4t<Ma6q
zq4rqe{ec~&_x_D4^bC1E9a~xCd8Y&7v&IDRS{+xzUqK-ha^&&9vA}#P0ui!&j5tfO
zAX3gh%$c>Gx*+*j2N(P!EA@C(FkjpkOXrYF+~a&;P|%CTLf1<iMulF_Yv^4AM<zN_
zV^fBhf?Dw|zvM!94b$dIU^FAE67N1+hVj~0<Vp0wyz?AMa?@~q(1b$n3HC?0RyY+@
zBLH**=>KI54PsJBiH3AJsPl;R6vN90=Oej=zdEE#(ddbLv5A2yM+t581{tdwNpyB8
zhbXT#p@cz5%U%wX)-_&4CY^LIN`puXLG8(4YVy_xgW`;(z(^^54s=z3nPWb%a{4Ed
zXE!cVYDLu)mRMT7O%N#l*Bu@+vYEk@qX+~{z1@6c;8};U2&7b6IRAwW4T9t0#|qq{
z(bg{<yIxK+2$hX+9Zq(rVOS6F{UQiMiVR*Kc3dy=xb+)e)_d8vXP5(dP}hD*ub%+2
z`WEY)<Zcqziru-Hmt!|(<#x`JVV(?0<b;qZiV!4ie<D4~0~+MD`}UaYwqX@q=Z=}%
z3XF54l-%BS{0r4zquKxY!IW{}mX9gbqI4!N>@}Fe4U;{sU5VbcshjX?B=76G?3|fz
zSV+v^kZ*IXzG^C7=lB_zGC!^WZBmulNYB{W#;J)~+~}q9M`l~Ncz|-6qKaO{c%|@6
zGP`OCOh_`A&tRTsVtm;dnKx8|QDlD=^N_)QomPf577E8cA!s2$R&dECLcGOPgl14=
zjnJpO?kZcra-dT<+u41CB+_B&u6{st7ViAelds7I?p}c+Q<=lCz^IIi5}+n~GhHPr
zeN`y)c+QRL|5XJyKH5@x9X5a1Ia0}G#L~ji*&%0Gh$$;A4dKoH{S6*0-kEQ07QXF@
zDBb~TKlC7sb2Ol0QQz3%q(_P%w?s9IbbL%SFa|oa-7xmZ_T<=XvC90EB>dXCWcsw>
zH3-L36WW1~J3nTeAW)c?MxLZ|n6SZ@OikdJ3pCiOuN+z9sscuA6=PfQEp7@9e3UdK
z1l>)iz~?@(toU?QAg>c>Ou$|u#RmK_Gb7t<l|VD7KK&~Zk2B*&tpwrq{JiTz;-`wg
zHZU;4t09{w8SH85ZL9nwI#4qJo`)viqG38yIy-EVn)w|qheQAxI5+f!59G$mmus?4
zYO#(`*Q(`_H5~h)dg&9C=Ut+pH-1N{mjj%9?l!o@uSi-OGv5dyi+I7?@Ttb9M8Tk1
zwqzeUIjiFmmIO3~xiJxG9z}Gcu2&}{^XgNvYZ){BajF1Y$2?%?1@+xrDc?f+og{Le
z8q2h_d6-F*wnO2nXy6*@<^-7r&Wgm0T4pVg2n9V?xgBv(iRr_}_)iH?!*D=7r|H5^
zCw{W>3kF~$763My3*49##DrU#<^o~c9eVtP!5MZ?2iGa--xL_V3xmR)cm0LmLg1YG
zFn9Y*3+chlq`@0`?me2L+GbDP7arf>vu3V+jTI9*5xJ>86MfMN27Jm*i>4&An>Ywc
z(oBE|?VP;a;!XFLgytFOdm!4tq8NzV+xT$I;RVh<&$j_<l6;~WqRRTs7Xv@pJyijK
zu-AmJ@23~ApB5t%>=<bhQz?%BBc`}IfA~q66VAh8cHg|kPU?#>zDtm_vSy1zk{m(`
zm{Xb%8S{HvHwOrh+4eS9`D*uW{-UIg`i-(bGT6!Z3kh+C9(chI!-4ZRF#Frv{>Iu%
z_7qt2-!WvKfU~YgXv9*-#VvW(?_O8KQ>8kp^E_G$b4MGIrDtG@?H7p7KNZIJbSe&l
zGe`v2GW6?oO;kMcl79Gga>%dcl8xWkjTPJJ{b`dc#HCxfa79gB4}B!xMN!aVcKqx^
z=}!m4j|;H?b0QjvyjjQTrRz^`KbVs97C0M&So}BT8?yF8rLazTf_{~1akVft4;dqE
zK-l#t`&)xsaM#FJ%l&5V=D;cw&6AeN$_1oG$PCb|EvvU4XU&%Ha7fzA5w;D;5EPjg
zCwM(VaJuDsub*o0w=CYDWVb<=@hvi602#qs$?(=*8{o42_R*B8v56CJVS>JUfm9Ni
zb*S;EENd?^BZB{v`ASQ+SQHSU&iL>SIjqR6tnn2)=iBBZ-UHv8KUNf(!MWjiy1G|<
zssI;cn#f!}mPpqAq+itvZCc^jiW2GE7jfj0LMHIl(n7CK49*5t-;J!a@AQV#aTt9H
zgvTROMie`?GjI2s8xkgYgL@`N;^W>V?Dk>(r#)+{EnP>}eq`DNT!Fd2M8<~gfC8y}
za}c~~ae}AYXEDZj<f2`rM#i*#qx@4e?b8^?s~nq#5710|r!=0NHE(U!&ANj&h>Akr
zyC4-|C1x{O<!RY}IhR6leQj{&q6cgR1{7H+*!~qjl97v%^aJnY!NAF#e<kCLJ^^R2
zLyDC8yP<XQ|D^I}1j7zFj*qv!Wv>=Xfbyht?&j=qSjZKDgAo71JS^6d=|C=koV+1c
zbRC`X9_jX`#Au_`;LVSuD$OBqUWL^ohuhh+-obKO9w>>KPF(cjz2akJJVzTj>tfa>
zOQR}4hknuYSbjDinE%*C8KK|wevGH!g}rJ!r01IIGQKGU-Xy<zG`lHS!-&{U=yp$R
z_hYv>pV~gE0RAE;vQ5&biz*{HIx4y|M6gpSvlsth&daG1rhOHv=!^ya>{jR6sy}+E
zMI-I`>v|EfSidgG!bBZNfseG>n6w@2D?&CVRztNe!X<_7Bv?w5lQB$W|D$4)wbT!N
zlSA`qrB^>|_2=0&Q!ocLSeF!1i?Ldu{QK=Y_p|>^(dGmD$+FMrZ)u;!0JdmEugUG(
z`nu#-q1YdhRycq(_>IJmN6?ZVu3mBBHWCWuW@}MS9zT5*7QCNL2;flzyrf_Jw2<^~
zCFtaS&z?$hXsb;b$W%iBczNP7x+n=cD0aU6wA}N}C!TNrlspKJn~zV=hQ0t^Z7qQv
z4x@{@CvfyHAbI>L6z^A}3~$Pu<9i`f6{@bM_Z<ja`|-6Y0<NpF`oT_1$OYGXUe<)g
zg`T5tdAKrc5SuNK!Ubtd18@p7<YaLP*>IQ8)~L|dS?WEc(2*phzb;%#QTHpKbUygN
ztGjs@3~r$jJ5yu&AMFySFM%|Z)A{d*_<xc2ouk$Sfn}6$gNc9Pae1mi+a{K*>2QnO
zW0%ne#yd51>4d&NLsA;m0I+TBOPTi~I4eQDmTr_ptTLt)$<U5_{TUHzUS!}B0BrZb
zjSCR)#|5^$nKrL7x8(J6$Sf%ZDtwCJ94M7{zOVV<tN^oQzZc<*V0}<pbIv}%a8DUG
zD}0~g>%>OC9l4r^uu^%XwK2k&=@{hkpRX%H!swh5gw%e73$q^*$(Ff&dYw4^TT;y8
z&s2FYYJA59-(N*$-b>^SE>}&s_-5K_YF+!US{6Frult&I6;;&j+BInd^30-k$jivB
z1Vee%It2+65MwdlO`XJX>W8n~mYLb)q83B%Z~4P$;))|MyrwGmz$@C<b%3=WtM}_9
z)gwhq))Tynum%+^u6C}I?tW2Pq=j{3$@e367_`J+<5$;v=s5o;U~cei0+S9#rmVY?
zoYWHBfG5jmJF#Y?F+-#*eWp_W+IqzcxE5Uta%(<yHOFliJe@3e8DrJEBYz}ank3wV
zq|Lk(Z*AA!r(wR@O3QHREi%kR2Wv1jTC`Mb4w{A*@4K?knK95Zz1^aR5<TvTq&ptA
zU~=!u{aZg#SMKuaPyD=G<o+&JDeQ3`3eWfq8fJ`ohh|Qdz^KtUY_)upe>-qlLB_Bf
zgiK$B9FPZ)i6y*<QQAkb=fCSJhNm8`e^}!<yQn%Rkedl?PpF6(;**$6xw(`{Vg3@2
z{)?`aVCp-SA-03pGnlO#iw)ZimkdpRTeF)|(0`W-jKM$lvliWybOGEz6}y}!(#Z>{
zkNaQ0W^$AHlPJ)^ZpiW7<4k<FYeGa0;dhN|8Ve^ZrG_a9<yo}0gy43I*;3sksLFdz
zj5Khv*4xLKUtn$rhV;@t_CqK#okBB4_hBMQsfT>ThTC8(3^ZT*V;bf=3~nw3{xcF|
z_*A!p1S3Abu5p~G98R)^P*tS>X9k{oZAoRC1X+F}4&aihsIKB^7TJay=m7Mp9;*b;
zZd!F-mMk-Qp3#lHvg7uf+}3*M=S#?Q{9#erk;?m_weY4+7M!|!6K1&aXkZU{KfktF
zWN@G){DbfWRq7~=wd|7RhYw5Rh|hU@bK{8pdy}~$!|Max%5Fqi1<?p#vEa_TX>Zn-
zquJ)+A_ac#e&Z&uJp^y%X%=dgi>E15)HY-SDVxs~`3p9UJjU4y3Mp`t?QPUB`wM&A
zo0I?4sR1=u+&E4=+5n<Nz|<A<WFvn@mN)W~HkRY3%B=Z2i8GdcGfesSoLhKyJ{DN@
z7nT0N@9A+=Y0jMYh>9CY7~1f+(hq&STvC}5oR5wJb`33W+?{)o1w))8nJ<M;UDn*P
zg)#vL-Z@skiY74USs3GR)oqi9j7Jbfofl3&I_a3?L6f2(pUiF_g6o$zu$;WdKfDjj
z^gPXG<u|bA8PCL<{caQJ1miAVur7YJm;XT51$q<&#|X!6MEQwv<NEfhJDtW$?#@N!
z9WA%=Gl{1C9w^Wwvr1(a8);Mm%WdCbrY~k{?mU(#*khBj%Mz*FC(kg{t+e%ThSXvy
zoueD4Ide{Jlf)(JTV1U@3Mh8xZP_7aCqpSKeTz!}Y`0)Qe7%57_Z^X!2P^{fFkt1?
z?;;P<j7-F=$U|EIHKpPS=g$-+aKesvph0it8H%;90B!rcX8lch1D|4B|NMAV?TPzJ
z<=rgE$>lBe_U81CQ4xnmT=wDIGJ1Qepz=tul9moug!fGLlGww%CO1FRF(W=qsmW%{
z{vVA_%8LU%0g+Xw$HR7!e|sh8<&wb@>O0qU-^-6Q2$wZ!qmK3)v2oWIzcDC4SERir
z6Sc-Ej1QHJ%2h<XlUnWUM$_TR0y2V=PD&T_e|s>T&V6U=J{=LLFNxi3-_kKnnF$Qn
z^6-I<m5%23C|GtqVd3XH4|4&o@QTN8Twpm5$J7H(&!OzwXbqd)>+0`rH#TSM>_nBV
z{tt3dZo2JxUElqIO9|PGN4vAW?td8Kjzn4~MNAbyH%oI$LNgmtGi!g+&YegMZof(M
zhX}U>`PS~L>lgLuT*_Ab-4Tlt@!YBlaIfK+gTkZ5hKI9Yp6?c5MRv3*1x^Eh#z!>3
zrf6{zBF8wV14TWJU3uQG;)e0aKadTbb-33*HIg-5{O3~^R!Oz&R`bs>>$htdr+4RK
z(bn+r?GDa62k+cbTL{Jd+lB8u*MlH-zh+j<O+6<#6F4HT&5&me>3f}a5zL>QYLbWy
zw?WWb6jzuB&BAdRh`;!vr)Zq!Y&>QhG9eT^(G=L+V6dmuPylowkn&Lpg#?@%-$7`3
zuHrCPNH^8rpV1ESnptXe&Fy&=eYp#ueKDn9d|eljF6L3e)BIo?-8>Gnmje~?q1~>*
z6lo6how%1FP=2SBlD3+0HcM`<th>|zv0aIjEh{GV*QZT_J*qLzFe{4Te>D2)&<)Wu
z{qLmJr&lCX%GQ~e=Y(0hyTlwYy}r`n4$9U^Z`+Wyd};|CZYq+G6-7})2&Lj%`UAQF
zSDsPS-|`>2kHpg3<1#}X#^ry3KU;Cvt5>G^^~XCm+OWl`C6gvgs^lKXWI+CnT+%G4
zL9NUW-+(SYDIM!QN;76=<@_RCDuV7g*7ECndW+|i2?rM{Si|JY;-KA0^Nup0EZ8@k
zrRwRRJBv-hcPB3G+cYgo6;n%=?hWbnN>N@v)Q>A$jvA!oYYu<K!hfW%;CQ8R-8w`B
zicwH(X9IY<2a7JBm@i!KA~7GUGVw!Iycg{fapB5xQG{R{V}wh2q&n-$dk%wlCU3^2
zh;R6~_c<Y#d*oNWsY5`5ci2kA_S<BVRs}tg@MIS7+}!x7=)BTw)6XP>_a<T?CWo!$
zQjIp|Q#Mm8=Jw`;&DCzbMU(^KvbFaS1;vEmF-sA$#j&5><iC4R0Tu+&e*f}!xDOAe
zmn^6H?iNjZi_&1-7Feq?NsA}T7Vi<`9U+?~o$@@<6=eaJ2J*JU+1x$2OGOQgdu;%;
zle*nICC2?<or@_$3aVi~Ne*;Tee8U-r&VPM`EM8gF8v;>?tgaD{1#zs)}f>Bbmyom
z*+M?Z0PeMVrd3<-$+-=7I86#4_9N7{A$cq8R1b`&s&v#?{WuNe<degtL1$9kbBdq7
ztFF187np?&8i8izpK?_t>EsNSikRh%;H(#SE1j$U)nI!k?<-xOmp(}q^a=s|Lwy>0
zz40khHy(K=iKoq>jv73j6$);{$f4&EQnWk12#CF)(bs^AY-bZd$JJ{XKAem3GNmi|
z$OwgBAH3C_<DB@%J;#tf+@ghhL35h}RM%@F<LE)ck6kun4toew;;Pj`>mT-dc4KKh
z(pBPB+aGq78j69tAv`D@=0#tcfp<pLR-^WN%>8N|GY1df{{nU{RJ$!*y(|4@5|%A|
z5Q&Cf=kIF^Z`Y}Q7yz!TYZ$?#QnlZ^Iu%ci1T*Z@ZFV)v&^jz%2fy@Aa$p#M)b}0u
zW`?E><QY{*AGp34Dq@DobuYvR#wqC!1?(N*pr*QC9v?rcFvaCsV$(6rd`U!~Z3Lwy
zSx|Bl7_;B2)1ve7VX(I^ZG1kkS2cAPXLPu{0<+fuRW4DxV?IlY*4y?44)9cLw}x@T
zS`GuI1PQshE9$W5%k^cBLzn%W4(Jtp8nli=64VH2tAbTf9s&*bwuwWI7<eyUaV&Y6
znNAp$r8lPvRUQAChdrw;1|t7kxG1%8ReteY9Tsy^OsHe#hCu=_W6+iw&$s4w&s-ig
z8c?(^o$3hd77L!XtG{Xk3-};h3UfCj6dTGj`x*Xu6?^0nAXBa*R`?8tiiU+c8;d);
zio6xXcBw?m>O<;lr}|3a1|4#H)pMJ1YWM6qNqo0`OCu%cJMdVeyFWi-3jAAV=wHHY
znH9Eog1?{pVF>6K0~rPiL!m^c9~*teIBw~Ahk;-4(V~dvc!n;%Opv52*=>tROmO3H
zPo==i3=cCsUf+5rF)=78C%xVm!IezIn;4*OjOW?@TgUWE>*O+LE?I2)oGk8h_4fv(
zGfmML=GHuPW?*6%=m`bf2La$rLj~U<=mWJe{K#aj1chzYv6<4LBL{x#qrg^aazBlk
zO373y@b~=GourN3*|YqL!UE0t01|4C%$K@B!=2M!3w0ZRKdtF-ceN>%H41FQ$7B{%
z>&w1asezP7{Pk|qPPWAw4you1uZgluKqQIh(V=Q&61DU}Cb9vHt&QKefV_uF)9t=0
zPH-tOMVrhXa6$1_5Sd;y?)MwBa6fN{KLXbI%U#}&S^zgxllNSkzp+h$Deh3S)@fw|
zX0Ha4J}Dgh7H(g})J2v5{d&Xp|B&9pPv!)Ebmu#R6-sA~0e`-ny5tF{h>$735aMlA
zFpEj(8vTw}@`axz#Y%6EUbXF;&aV>;POz4dRDXj|bJ%5V#Z2dB;iS{Cjf@jqscfvQ
zV;pKw^2kIRG@rWqn`fw#g5DWts7TT6wt_a+L9b)R`G^;reA(-etgW9LQpomaNBe}4
zW)GQkH0UX;<2wO7N_s|%94zy^g?Z7dZX0@5aNUF`<HG%sQp0zk<?<!MNzT@;%}#OA
z9hb#%1k52<yAuJ(!x?e4#&G!8`iaZoc8STBE0l9XhruC&sfjU?@ys{I+-ik@&j|)k
z==~SMTmQYN4jXZDeEqfqX=WIrYNY5bUe714iyIIg>Qn46-`?Pn(*AJpX3N+Q9wuyU
zN8>E!_8a+fNW3vx_j*^v7*#vQ@^8qb&iLmDm-RNh<cP1i^pjdLd|D`e4?lQQ+`OOZ
z7+e<s$D2>p#8p=LYrk*3bGFWZx6HOSQax1)PgU}7KzxqCs$CPGl>=@&3Dbw)0bZ~)
ztRqEo5y}(;_2l|;mGu4cX@a;**9b`-fN3BtKwymv4BPz%kI2<ng2-LLv|sYE*eNpg
zKvHxXl*6^m-8L^sslrtp5n6ZJ*cG_oL+uItF^1OGuMGjSRz2KPF{|mlyP<)TEvV~e
z{VQs|3iOlUc>bH+31(F9D7~%L&a^vPL|?nS0di~bD?6YmE-!i1Fvu%^d!DU4Eo-n>
zoRO?1?^-dr6mDonLGWdv?oR=5WMRFsBj8JMgM(Yju}Odv+z{M+^XC9;JwVUJf5Xh=
zfctt53z$|&P{N!zSm^Da5krNR=_6VKbc>zzsyqL7#@!szxPQ(#W~KwOZ*jY?{ri?0
zBt^@j8G&uOl_M~}h4p5$5FISn%otS`3ia#{8puj?^n4Oi<B&b(={0S<R&M+JmyCK_
zS4f&#f3k#g?{>)ta>w+Q)}DnToyM*a_NJK+_5X|rJYO>%U#_H!4S{M}dFJ3l23Kx*
z%to6_yo_abDx?rNDX-7%Xk4KYx(8&l)ZI#J+wL+G(isCYNeec1Iu*D-?}F6Yb6C|X
zNgCR!7$$<Jb~?lH$&vqzd5JikU?r%JYyaM}iMY^L@o#d0I&67F4}aWaP_P`*%<m=8
z(yBMB8dRl^$_+Bl0csNUh=QJjoKA@sh2XJrUQDv~|1N3t8%UzYB#|fpC9Kg-xDO7j
z+6w2hsDH~rf&}HKq}WuU&~lz@l@tHobp;FzC6xvzC>VB<>T+X&myfTpIR{6SQ&_hP
zW;#R`&qHLFx9r70%deAD^yzIN;Hx`hXzsq!hY)H9fiwcyD&b!~o^kWq>&ab5VN%j*
zZ<M$&Vx-OFK@38qZ`BkzjF5n*yB2nGVS(*;`sMc%7W@AS*(a8_J}n@Sxj&*CuhWp1
z3Agzhk41BYf!5)BdBl<unr;0R%rp}I4kJgmc@0TL4Gz=nyH|X#4OL1Pfd!80#<Uhw
zU*@$`<+GWF*t>jIbAWaop+!Ng#rBu83o!cyOVZ)~w&$jeK7|eB8>Mrh4AN9OfDjc#
zUKm_QIPx1@^@2twS;WN23GNO9A6Xq42D*^Pe4+Vl2A>9awh<ArPL8+?5nv}vH4Z@j
zvDuKg{8zK)gI@>QJehYMeeDm*4ESy{+~DxYX^RXkMHu1dDUz_}QGkH!e6CoC{{0+w
z#!6nXu^H~rLKYFsI-4L{0KB)W)Rh{|9MlHYF)0~!?#vl?F2z1#RTIO{F@oqZHPy`S
z?odq`v0!al+a|uHwcQu=-5oYjRYJLLN!hPVS+67HK}LkN4`b3Fir{y`Xc1h4na`wI
z?g_i=V#H^NUL5`6IU=Kn<8-<_%&;&HRN{!=BG$Z?(!3}?#XS7hZfXx#@^*NspgrxP
zk7h_DKygHCpF}_KJGn*`(sSk<?sc-+Y!MY%@zeJR8eZFxyWl1BB1}W9kJ%JEY`K3Z
z>P+BDS|Te<!XTE@*wO&^v8~-*pz2*GKCz9g2&C}Fr_%;i)0wwFS`k!`ovK801RfZH
zyu&mH@808t=^jo$NY)!+=Y2no&i`4$cuPy(!j6~KF8?xYLT7ieh&xLVbfHO=A{<o%
zk7i-YUT_BS)a`&iDnI-5TWbTWmLa+FPxlq!D>OJoz}$}?m#>_)0UyHHGed@IJI>ai
z=)JK4D={mE7PWtA86P(PpJuKzs;QvchAI-2-V~$;0tAInMWpv8NDWPp1Vrhe6zN@p
zfD%A@6OfLfgH%Nzp@UMT_uf1BuHRa3t@nPs|L;$7=gyh3?wWh<%sG4Sg0j`5-sSPJ
z$LbU827j)i%2?S#_I^L}tFGAE{`=kWa#+vA`H2Z7Pct!(#?tAx;}M}*w!@rKT&$~U
zH{OP(KVaX#YeszO<Ii=^On+;t^0)Enp>dWGioQ6;nM>)PZ{@9WG>JN&c_>6`XcN3&
z3Cq;NC0*xivNd2G^m)|lRG!RQ!h1-jYDZwLucLy4-{aqs^YmZSTujRQe1%g;ddCnZ
zDs~z_&)*iNHQD+L5GbzBF;F~CuQ(BMs&8y7j-qkcmPL)QYrT#4*71LO%6eOPdq;LS
zqPa-8Q(a^&`%>D6Q@i=|Lz_47hD2M}x@W--rVxmEfuYW4X-lmY=oydcN6j2wUIKii
z%6gAX-iLs)Pkj=SaWo7we^(v#?>VzN9%g@+k{q5!X3*B~zRXNrI^{9#(kE;(3B6tc
z`$0t1+UXmHZW<fQd-0Pon?E7(o;{i7sBvfiq(oykkV{D_%V|rUu9tySAsLPD$q?!u
zCV8{x@L;nm&y%7(`?%>v+63nK(2%Asqxt;DMw6oXgK4`by1>@MWtEkpzM4-bTDHf<
z(HLV^S7ucfRePg1e>>h~VtDO${y(RxIc^2`<YJ6_-`k$<a<tt(;ody3ZTogn8<X$o
zRQzdY8hM{@>Yv{hK<%9?RfaEhTr@?PSK7~=UtPv@vP>GJmi|~=Zl;}RiL&j(Eeg;0
zS7uTOC;6u6h&>9PmJm%P?=1e}UC!Jo&N@B586Bb6&>}IOjK#>56RkM^f-oUv%Cp8r
z-6vg({F+{+=EI6+oU1&>%BPWbxcTaxzJG-2jWc<j6z#hOf9|H>7pL+&1X#Nl(#n9Z
z<914TQ{P;^@3E_Nw{J}W_b&^Qh~-|7mF}<FW=%}}?0&mO4Vi!$rsM2lmi*GK&hjFV
z9N4s{GxVZd(|6AzWu{bTzc(&lib%QF4R*h#xcj@KQtOIEvC@8hdz9N*HY`Yc=Dj^@
z2x)-!Wk8LjB!G$VRvoEE+bvZcj>h;{1=;G)l@#RpKbW2Nw(0E=v)YBfU8xE1L`xYk
zoUrN{-<Nq4kolTCQ`3>sBXv2(zu)Utxu-C&6;^~ydD6e2J^>zYk_{V^Wa`S?QdQ_I
zw#Py0nw|IRE^zu`8WUX_sy?x+xpf6ReN7ZK#jDyzz{<s|$x^k}eu=v@D>Hu^=a{13
zQqJjl$#ZY|Pw69rzO^s>oveDJE(fa*xJ<rTmgi22zN6Uyzg3$?k6IMjsmKZ#-b_k*
z+HzIT`XN~#<vL0I`a_%ja7S8C8^36f)37Tm!jl}l735)(k&=Dn_t1a7if%u~0Xw;u
zLNWAb#XhaG>9Q<zKMC_YWJ%n|Gxw|aMz!>WukB280b_3|cK4O!BZZ%wRK|M`?(VGd
zH)sz-YtB6m_a+}(A%{&o=~*l>$4hU0;{Wi2%SBi9q;6cF(}eZ^>0tv-zdsY4^co`c
zx-H-IoP9f}YJQNUgZ{l*Su8QWXHB&I>Tt9yBczi><NS>RaIiLP06R8SMLS5n7@hC4
zA50Il*y4;y2vhBEMUXNcffE_6S646$Y_S@eSc<P3rIAvmn(`a4T%*1_es2tV&Dr7%
zDwrO*GR%F+)a13BlN=PTw6}GHyuTitWbHz9B%N=J8q!w`msvkMz`R1a&X{<;!+BS-
z@wTLs{>fK-Y5zV}U?qLHFnQd-3}>-u`$^%vIW*lh{1s}j!1^>Y<H%jU6X#qYUu(~1
zCcOLNrzdOCf<B`Ule`%|kJhv3_lUopGu9ntJ+$tXIPG*bAK&%{^_x^A^^N#v)G<V{
zy)Qpy7|wm$64F%j#C<3Dbs4PL+1oxnF$26Z`01vtcs0A=L3!6Hq|B#OXjm#T;_zg2
zdK!6xoA>lqt1swFE1S?8aZE|pey@qY1UvlBeWPzLtZQv?cIdSFM^J1#p~JJF<2f)a
z;xQN0R-DziSsff}G!mL;t-F1p;(Rl4Fy$9XZe!fV+jwRuKqLjYiXFU_J}M?Xj{JEY
zV_Z*rL-SBChm8*Ar5Yb#2G4giPOhhsq`3K};pc_^d)*}&)OXxdk8=m;R5CtTM+*+s
z(%ThB(kH*EEG2EL)TX@Q!y@^ge$&rM&<|c89fUjZfRJk4xap_uWBE<@!s!@@cFix!
zxSG0IFdc6TIyz{(y{MVaf|i)7;*#1XypE6U9EVNO5y%SYrmthR*{Yf|9E@7?lUYOv
z_Y<17x){Y1v57lAUyoE%QTS@B^t(N0KHIbZeW_;Y5ow@eQ#T9~HeR<bVv?A6mkghz
z-MFWmPSz01*v(|Umf3G+!XiplWVU<zUwq;~m*EOV`o!KrCTYK(+|s1kQA$NgPiL`)
zBG*p#0Ase?{=6l~g(fkniSqcLv0q7axrql?NvCDmX;q<z$n%fQKcuc*0(~p&3(a!H
z0@_5ZA5Nt9C?U)#Df8v-69IgY>Ko|5$Oox0t|Ibk-1ILq;7p8;?KAn6_t_RqO?pF@
zUO2-UQLYk0;kVr_7^T=)nSu^b!<H(-$#wh5obh@IP6~!2$63-3pG@ISw?1;z@Y#w#
zoJ#FcM)+ptXX#RYS^MLDa65YTtfo*cuO`i(QtYYm)9k;w_rLCGWLe4F8AF1uIchrJ
z#*afanTE~ZdswXcdRR>b0g-R`C-rq&Q=yUd^1dV+N4Eoz@WF_x-KKrq10hGszwf4z
z;<)*M#x#X8-=h5v32c_NQN1MAN`J{qsY71BO8IbW8=6W!+TtqVZqH2NU9n~E&`+0h
z3e{x$iLc|`ZWz#GWvW&G`VE0C)a9q%VN9xtOaPJ;G3JWNPs9c7`a;)_X$xc>t{xpS
zjunziu%VKBvv!#g%|g`G_=v8%<>{XwsX8CD=~jB5Sg)p<cjJtS^BPR0EA53(X4fOn
z6JT7~8-k(Hn6SaG9;3PzjEl+DJmM=9dv-u7qwojHAW5U7OY=dIx?#@eOVfMs@6V-{
zbo#%&$ldS9$mX1nskmZ!V?SVfY<0bQbuG%G{d4&93_<U{RF;fal^?9iCmI@ZS&AAa
zp!x%nMrUwbXsxeyx6$*8rWg@3n#XsCtdsNh`;K|spE8KwfIKURkM)peXg=8=@Ba3-
zehB+NQaKW0KTk2%-uk{?e2)8uyHXJ}g@~F<57~PHsI_Dkj8;%l^w10R5dFs+o$lg}
zQs+?R#13cWca<efexH_PACDVc?qT|mWH5A=`|L#7$V6J%nbaN)#3!I>NP{-<M9yzH
z-xaylUY*q2Ezx=8nwC3j4l=2W7*$VgGvsgk>nw{k?d3dJz(<gj>octl_QsKbA=?3Z
z*0IANhmWa`PI0-9N(B{<wx}%EwQciZ)*kcCpPY=JrhAy5cRo9Ldy7iZW?1Cbw{LOU
zZfw2U`p$0d^94ss!6IIz63NNfu3XkDt)kMw&qboHmv1QF^ZR_3x!4SsbRL$v)s^3I
zqINS+(A5<t0+*IbSqa#9=?s@Z-OMjs(v}blxc}?1vG>T+SQ)O`xoGW1DR57|rkT1@
z^H5`D`vM6=z<FTO+xU7uyhEG|RC;^bt0kZojSC-C{X6<DY2Q!sztfZInSxsFDf3Nw
z@&R|3IcjE%I99c73t*KYhV9lbGSahvl<0MHbLqaFF&}b?@xo!Ex}Rr?%F$G?fdR-#
zA)6$;Me(`sg|6OQLVe=T_%zupr4QvW<%t8L0>v6H3=EU=%58`KLBF4kRoDwSp08)&
z|EU7KXaAF!M><vTh%>;ac_LL>N_-|DAzvan6HClY*+gY{O%n$hk{+P9ipvxid<oDH
zZw>u;CFY^$c*IknY=f0Z&c+hop|tl<Xco6E=154jR1&IJzL*-zf2sNF<;=`TYDqGr
zPi3XdLKtk}3|B?nl(=U)Yu5sm?AdaVT5IcX<}C(1XoB)~6j|Z3+n`~sw{m4$knAmO
z+d^1GUn~izi-9en^znvE+zHQtK_ZvkG!clqX+r<CRp1Jkwy9e>LHTx&f;4ffe2PPL
z;<u>mX=FZ*bAbbxDQGw5dgk&%-@4?b=NEL_G_nlG8C%e77S0y9VK69rF0oc=gQ_MO
z^>v0Dqt1p|A8%2E*i~8R7tr;BL!M@_@zcl}9Onu?Y%&TQ$edz~c>O}c%tafRhhd^D
zvqnFNh5KR^&T4@fQg?>ipqOJaA>h`gwc5V8TEKgnAQo3~Rw`#iRw3{xi)ZabeZc74
zWG{6oLAK0SzV{<?D~%Fm*ShsFpgM>)ohvhKs~O__^w5<TG!=_^QcUWM`e1RbRt>74
zq*hMSd7cwmkL@x5H<*IPl-pL><+gF0ji#X+uRyIgNOj7sk8zw5R2*n<t8)=_K0X0i
z4%-KrAzcYhwcGjlx}PDCkoVf{cR@9xB{ko@vS35q-<hBw|G2Mrw01(UUBbGn9VAxq
z8KeAr3JB7}dBWY0;NC=zFh(3_W!=~@MJuUdkAU551h#8gfi4ncQm|Z!Qk#2+?fNE>
z8+8XXWo77gy%39y*5ekz6SPK#o0T_6;5hTb^w;l#bawe4{@qhYgwqWXw!&E(JLY1s
zmnDz!MCBslfId?NS%F0#?L9tp$zx|V&AZC>xEC@cpx>(xx7;#z)e$uky!qI)XLFyu
zT@?BKd82&tU~qzF9>FV28_tXVh@hgC>OdgvJP&r)QSkW$Rk}!V6M<Dm6e20@hX@Mc
z{K`ImdO6B0iUl-$NMXUSgFzXZ78PJCCZq`hy`!MEE7;Ql*egdtATSDvQk=E*fUPik
z19yfvGnmci&It)BG=7!~9d@ds5FZk)izEu7Z7GNVOmEqh(OfpRL{0M^$}iIzdB2YN
zX5+D0SS$_;6T~V?{M>x#A~NRa=0BVF&*(!wNhrxw6vuK+_gPRTj#J=NI^hne*q|ha
zaB$ZE;lHUvJbUlZ;YQ9`5iE`Yg!~h1(}9>T#mbq2s9>p!bl3dg&m>bB7(3wZS1i<i
zZj6gKkoC^b_&#4F20lU9Bqc!w!DLkBk5{Oms=!CzU14}|O9IId;kG8Da^A)(lTLS3
z8-ioDtg90C$tVrdEby;C%tzPr<0l|o&gZbncVwVXDitwdfRGbJQ0q||fzS^s)td_@
zP_lnLUVL!>^X`<J_}_J--htyr097dVk~!+d!l4p~Fn48&OM*Ha`{la=yWs5o&n*1}
z$+S^ewG*lf+P24Eq*trRR1k~XB_?&vWS|}{PD;}52mq%-EOph!%0#nFVy7&J%Mqu}
zw!0mwv)w_l8iyhIW#>Y4=NPEb1!f0X*?|(eq{w9G5H0DL;DXmh$XF@K`=SOg%Ie^v
zes%+2sH8x!K7*m(^0!8ozymKm7o*SuSir<sEFB|A)w<>TnRXy<zaSpM`DBx_m0)bg
z#h*3@m_HV((WK^1-~zgSlr}?L2z&XF&Gbs%%7glXwa=Llc*$@5D+;j{UdeyK<(OU#
z#)1iRW*<Mj2(d~~K3d4JzfG+8-S_kHjX8ewkXN(=LC}Er(67JTNR*zoyIM^k71Q%4
z4d<Bv8~7y>{p21u2;Vhk3B+9#LrY-+=XB|U>>&7#MtYC{I%Pf9QK{9PJl1saUT7Ii
z-ww>lIV+M7!AdtLfSynZjU+qOT+rXyiU*X2fEuxO{Lhj{|G5;l*wokmi+=l`f`H$q
zUCW9#hJ>1Wm-g=+#JwqH1Qj*G1NEj?NN*Q5l)Mu0W$x~=OY>bmJRP;SPiCtipR@x|
z#fwVj%%N}s?}q+-22dyglCB81ThIehOL44p9Z)>e@084<_X-+qcaufwO=iy3fR4M?
z6z-{RpXf7Gw}73%Ryqr3N<SX)ql;u02B=z@XTp{;aPWFT$P`0s!q1E8;#7XLn;F1k
z=Lebm*jX%{FT>@;=!H%an$QGROqn3ABZ-~Bvub4RZg!|Mkyb|nib6%IL^A>WVog>p
zNktBsf{9ZZEPgULT`7<<hz$QHVQFx3e)1id-9&*JfP`1YlO>zC26KKoc7fuVXqIf$
z3_@LHgGRliW0z>5XeE@}6$?2TAt$?a5LSzV9$w!ntjG{oA&1E5O4ij2izBO3h&drs
z1t>MncaUyDj~d2W^yg{=vEM$>)+u)P5cS9HRA<5cbQxH)Q_QjiTg4N07EGE0u|0)I
zHM)^TA}_hQE6GGa5|Ql?&W#J*z=I?dGAdHSmiZJB%~V(o1L9*+0^hZdSy2iA(FI&}
zlYgL<p>4^DHw%XD@&Ko}1$mErXyv%QABctJ@(&cc_%XA)EE-)5xYg3?CW;y8-@kJm
zq>kh^XlNz_)DeGwxS$j6rD5V4Q&S^EjVr`BwV6PzND;K;A~YZ65aN1ov*LB13A939
z)BRS-21b-!b@%8a@L8<;n)L(}j=fZR-6wAbg1{pf%_p}gp!nM<#1n+j!uFU@Zrwx+
zIWrI|Hk;#AT~0SKU2B5ow~FU%sCe^tCUz*^2~%TLz*(optn9jV&e=nRdI+i_F;}iW
zm}xr-!?GyU03Em5FA{mg);K}&!r|l-gndJR)Z;+_2+&8UB1yA>?o@Ts<J{8J&2Wv<
zoPpuXmLdTF-#>7M@HQt=b}G_@CkwXnsfwh@-HK74-6P`T02qo#+?#M?J7Gv$whf8{
zNDTzPW`c*`wTjn*L+NxAHLLcs+X|zsLe}5>r<R&yrS^x~axiMKF0_$EfgFlQjTA=d
zxwh2OoW8?NG1Pk4XTyjOp>#oz#SdO>v6?0XIE8lIZlsfsYB^&G$Bn1c58N*RvQkH`
zuE*$&o4%Z#6;scR58%2CQX{SA-0ne2tf7pjayURA3`3UCqkJ;8rRRu|fQh{V=sn3F
z>s?7YmwrMm>c3Cb2?Fp^(ILv1{nY3=&@-(`!<`J55I|=2!D3~?h-W~Z(@m8W9RNNn
zBwF|~leX*u@fb<NJ~8fj6klp;4uu~VaZH{Mpz_+O%L`SUA!8XX2GFk>sksz>w3xEb
z?MJ8z0^D;ZOtv$D%8@Ui1=nv7-WTV3Gm*6MC$K!ntoRjkJ0WV}q~4PxS+K+x20tMx
ztWrWkFZ}?WH?eTjqdIQMFHn|yo!`kuN86~NXl);{pAd~#k(y+OkeGB+K;bmGEbZz2
zu9fqclt2m#1QG6erqSya6_Wk>Yj~dHpjHI{7$*77m1#EZ6CBZ^Wlcp&=0t#URr=et
zGGDsFs&Di9zWK8o&RMYSRh+5}V+LAQT0A7X^#lw>>;D*0NMeWWhZHVR-yQP=p<J~u
zs2I6D>P56BMF*O&fKD6H1RsDg{{}uAq8~H$A%=n}8=gWu23OkS`5NKVtfP$cl)4P!
z(nZRv1E|iCz)<)!K<!BLI;>aXgEu&MZFb4s*<{ycu%+m&G!IoxCWs$dU<zN5Lof|7
z#6~-zZ%jb+$M4^tmCFF(+T&FjEigvyM|o56!b0zb$#((8z8Vj}EG<`k6khJj_;IZu
z2<u||BEJr*F|hvp{XMJ#0VeE`-{blvy{NP@?~J^^--1faiE#5oIZyqTY(`>RyV#u(
zK_Om1jDnXURuH5YJz7Zp!v;-)3?qf2RS#n=8OJw+J2T_#X!WA~CE;1HjKN>At<ch}
z``m|=XdXaUkdK1^wMVr#*36Wr9P$khvGh|^v!W(K?ZpoU1bop<%T3;9`EDb6`>6m=
zAodhLAfu^*<$PbY&5^MrzS$2a#&ozhNM&B0LFLQ0Wx|cA*@WXBX2A#sYWsg^VmQhh
zyLaLA6Dhrf082vevCr!dqZV_5t+`=T(sxL4G&EO_%2N~GyZAkfUd?<|fz%*xjsn(E
z_Ff-nbTPC%Zk+YjzLqjdmmXO6!JmuqF#mNRqX4KC*UQr;Kowo5`E?Ur);eDw^=zuB
z8&%ihnj_Dd|0>-y_1^?&8LWc_DHl%-I4`}d=n@QQ6LtfHRI^~URuo`Mv|v<a5rcL9
zGoMIu#w?gb&a2{0W)3C26vG5E9yuDv1iO?sobFppQ2ZaJ(2PF`H$P!%+K&t^E+4CZ
zUWsStrwGJO(Q)wm$;XtR<-82rD3<!M8caWa!HBGPmSumD1v|;7HB87Gbnp}JvG}A%
z*V)B8sPvUW%z05*mtj{GB~vZhL1&0GGz6<W)D^b05!RO<zZt1xlMg7<rpk-vw*DB5
zmb^=pr%|VI{ANKcVO;A-WgH(O=p06fA@Lp7{A*?2$99J{Zy_o%CR(VWsMDEkA$?Hx
zY#?55!Hv(=cM1x;HzW?6DoNS6W%(`vUJ-cNQPIo1v9#+b`Rgq`+~-6Teuk@s@P3pr
zFr<#uAipZ-yWi?qW{o#8d>Mbmr%$sy&he#{>=fq2IKn>mrf8#erHoR^JE|XYMExy^
z1aA^S!CBb>p`z&R?&y^k#~(zaNw+CLC<4#`(f^~LgTF+kG(q#KSu|)s0UY9?Y~q2m
z_CQJ5xS@bQ5L`%DQcze}P)OWB_@R`TxRj`vfRGU2z&^${9sI8bj?PGXTkrq7!NL&9
R6QBV|U0Fw|Ou;JnzW^!n75V@G

literal 0
HcmV?d00001

diff --git a/blogContent/posts/programming/media/CSTHEORY/MinTable2.svg b/blogContent/posts/programming/media/CSTHEORY/MinTable2.svg
new file mode 100644
index 0000000..55d0613
--- /dev/null
+++ b/blogContent/posts/programming/media/CSTHEORY/MinTable2.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="557" height="579"><g transform="translate(-977 -1016)" lucid:page-tab-id="F76pm8xk11aE"><path d="M0 0h1760v2656H0z" fill="#fff"/><path d="M1032.22 1040h80v80h-80zM1032.22 1120h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,1037.2222222222222,1125.0000000002328) translate(30 39.1)"/><path d="M1032.22 1200h80v80h-80zM1032.22 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1037.2222222222222,1285.0000000006985) translate(30 39.1)"/><path d="M1032.22 1360h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,1037.2222222222222,1365.0000000009313) translate(30 39.1)"/><path d="M1032.22 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1037.2222222222222,1445.0000000011642) translate(30 39.1)"/><path d="M1112.22 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1117.2222222222222,1285.0000000006985) translate(30 39.1)"/><path d="M1112.22 1360h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,1117.2222222222222,1365.0000000009313) translate(30 39.1)"/><path d="M1112.22 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1117.2222222222222,1445.0000000011642) translate(30 39.1)"/><path d="M1192.22 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1197.2222222222222,1285.0000000006985) translate(30 39.1)"/><path d="M1192.22 1360h80v80h-80zM1192.22 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1197.2222222222222,1445.0000000011642) translate(30 39.1)"/><path d="M1272.22 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1277.2222222222222,1285.0000000006985) translate(30 39.1)"/><path d="M1272.22 1360h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,1277.2222222222222,1365.0000000009313) translate(30 39.1)"/><path d="M1272.22 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1277.2222222222222,1445.0000000011642) translate(30 39.1)"/><path d="M1352.22 1360h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1357.2222222222222,1365.0000000009313) translate(30 39.1)"/><path d="M1352.22 1440h80v80h-80zM1432.22 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,1437.2222222222222,1445.0000000011642) translate(30 39.1)"/><path d="M1112.22 1120h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,1117.2222222222222,1125.0000000002328) translate(30 39.1)"/><path d="M1112.22 1200h80v80h-80zM1192.22 1200h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,1197.2222222222222,1205.0000000004657) translate(30 39.1)"/><path d="M1052.22 1540h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#c" transform="matrix(1,0,0,1,1057.2222222222222,1545) translate(6.111111111111111 21.333333333333336)"/><path d="M1132.22 1540h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,1137.2222222222222,1545) translate(6.111111111111111 21.333333333333336)"/><path d="M1212.22 1540h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,1217.2222222222222,1545) translate(5.4074074074074066 21.333333333333336)"/><path d="M1292.22 1538H1320v42h-27.78z" fill="#fff" fill-opacity="0"/><use xlink:href="#f" transform="matrix(1,0,0,1,1297.2222222222222,1543) translate(0 21.333333333333336)"/><path d="M1378.33 1538h27.78v42h-27.77z" fill="#fff" fill-opacity="0"/><use xlink:href="#g" transform="matrix(1,0,0,1,1383.3333333333333,1543) translate(0 21.333333333333336)"/><path d="M1458.33 1538h27.78v42h-27.77z" fill="#fff" fill-opacity="0"/><use xlink:href="#h" transform="matrix(1,0,0,1,1463.3333333333333,1543) translate(0 21.333333333333336)"/><path d="M992.22 1459H1020v42h-27.78z" fill="#fff" fill-opacity="0"/><use xlink:href="#i" transform="matrix(1,0,0,1,997.2222222222222,1464.0000000012806) translate(0 21.333333333333336)"/><path d="M992.22 1379H1020v42h-27.78z" fill="#fff" fill-opacity="0"/><use xlink:href="#h" transform="matrix(1,0,0,1,997.2222222222222,1384.0000000010477) translate(0 21.333333333333336)"/><path d="M992.22 1299H1020v42h-27.78z" fill="#fff" fill-opacity="0"/><use xlink:href="#g" transform="matrix(1,0,0,1,997.2222222222222,1304.000000000815) translate(0 21.333333333333336)"/><path d="M980 1060h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,985,1065.0000000001164) translate(6.111111111111111 21.333333333333336)"/><path d="M980 1141h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,985,1146.0000000003492) translate(5.4074074074074066 21.333333333333336)"/><path d="M992.22 1219H1020v42h-27.78z" fill="#fff" fill-opacity="0"/><use xlink:href="#f" transform="matrix(1,0,0,1,997.2222222222222,1224.000000000582) translate(0 21.333333333333336)"/><defs><path d="M101-251c82-7 93 87 43 132L82-64C71-53 59-42 53-27h129V0H18c2-99 128-94 128-182 0-28-16-43-45-43s-46 15-49 41l-32-3c6-41 34-60 81-64" id="j"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#j" id="a"/><path d="M27 0v-27h64v-190l-56 39v-29l58-41h29v221h61V0H27" id="k"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#k" id="b"/><path d="M205 0l-28-72H64L36 0H1l101-248h38L239 0h-34zm-38-99l-47-123c-12 45-31 82-46 123h93" id="l"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#l" id="c"/><path d="M160-131c35 5 61 23 61 61C221 17 115-2 30 0v-248c76 3 177-17 177 60 0 33-19 50-47 57zm-97-11c50-1 110 9 110-42 0-47-63-36-110-37v79zm0 115c55-2 124 14 124-45 0-56-70-42-124-44v89" id="m"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#m" id="d"/><path d="M212-179c-10-28-35-45-73-45-59 0-87 40-87 99 0 60 29 101 89 101 43 0 62-24 78-52l27 14C228-24 195 4 139 4 59 4 22-46 18-125c-6-104 99-153 187-111 19 9 31 26 39 46" id="n"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#n" id="e"/><path d="M30-248c118-7 216 8 213 122C240-48 200 0 122 0H30v-248zM63-27c89 8 146-16 146-99s-60-101-146-95v194" id="o"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#o" id="f"/><path d="M30 0v-248h187v28H63v79h144v27H63v87h162V0H30" id="p"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#p" id="g"/><path d="M63-220v92h138v28H63V0H30v-248h175v28H63" id="q"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#q" id="h"/><path d="M143 4C61 4 22-44 18-125c-5-107 100-154 193-111 17 8 29 25 37 43l-32 9c-13-25-37-40-76-40-61 0-88 39-88 99 0 61 29 100 91 101 35 0 62-11 79-27v-45h-74v-28h105v86C228-13 192 4 143 4" id="r"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#r" id="i"/></defs></g></svg>
\ No newline at end of file
diff --git a/blogContent/posts/programming/media/CSTHEORY/MinificationTable.svg b/blogContent/posts/programming/media/CSTHEORY/MinificationTable.svg
new file mode 100644
index 0000000..7fc28bc
--- /dev/null
+++ b/blogContent/posts/programming/media/CSTHEORY/MinificationTable.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="567" height="581"><g transform="translate(-94 -1012)" lucid:page-tab-id="F76pm8xk11aE"><path d="M0 0h1760v2656H0z" fill="#fff"/><path d="M160 1040h80v80h-80zM160 1120h80v80h-80zM160 1200h80v80h-80zM160 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,165,1285.0000000006985) translate(30 39.1)"/><path d="M160 1360h80v80h-80zM160 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,165,1445.0000000011642) translate(30 39.1)"/><path d="M240 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,245,1285.0000000006985) translate(30 39.1)"/><path d="M240 1360h80v80h-80zM240 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,245,1445.0000000011642) translate(30 39.1)"/><path d="M320 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,325,1285.0000000006985) translate(30 39.1)"/><path d="M320 1360h80v80h-80zM320 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,325,1445.0000000011642) translate(30 39.1)"/><path d="M400 1280h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,405,1285.0000000006985) translate(30 39.1)"/><path d="M400 1360h80v80h-80zM400 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,405,1445.0000000011642) translate(30 39.1)"/><path d="M480 1360h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,485,1365.0000000009313) translate(30 39.1)"/><path d="M480 1440h80v80h-80zM560 1440h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,565,1445.0000000011642) translate(30 39.1)"/><path d="M240 1120h80v80h-80zM240 1200h80v80h-80zM320 1200h80v80h-80z" stroke="#000" stroke-width="2" fill="#fff"/><path d="M180 1540h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#b" transform="matrix(1,0,0,1,185,1545) translate(6.111111111111111 21.333333333333336)"/><path d="M260 1540h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#c" transform="matrix(1,0,0,1,265,1545) translate(6.111111111111111 21.333333333333336)"/><path d="M340 1540h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,345,1545) translate(5.4074074074074066 21.333333333333336)"/><path d="M420 1538h27.78v42H420z" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,425,1543) translate(0 21.333333333333336)"/><path d="M506.1 1538h27.8v42h-27.8z" fill="#fff" fill-opacity="0"/><use xlink:href="#f" transform="matrix(1,0,0,1,511.1111111111111,1543) translate(0 21.333333333333336)"/><path d="M586.1 1538h27.8v42h-27.8z" fill="#fff" fill-opacity="0"/><use xlink:href="#g" transform="matrix(1,0,0,1,591.1111111111111,1543) translate(0 21.333333333333336)"/><path d="M120 1459h27.78v42H120z" fill="#fff" fill-opacity="0"/><use xlink:href="#h" transform="matrix(1,0,0,1,125,1464.0000000012806) translate(0 21.333333333333336)"/><path d="M120 1379h27.78v42H120z" fill="#fff" fill-opacity="0"/><use xlink:href="#g" transform="matrix(1,0,0,1,125,1384.0000000010477) translate(0 21.333333333333336)"/><path d="M120 1299h27.78v42H120z" fill="#fff" fill-opacity="0"/><use xlink:href="#f" transform="matrix(1,0,0,1,125,1304.000000000815) translate(0 21.333333333333336)"/><path d="M107.78 1060h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#c" transform="matrix(1,0,0,1,112.77777777777777,1065.0000000001164) translate(6.111111111111111 21.333333333333336)"/><path d="M107.78 1141h40v40h-40z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,112.77777777777777,1146.0000000003492) translate(5.4074074074074066 21.333333333333336)"/><path d="M120 1219h27.78v42H120z" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,125,1224.000000000582) translate(0 21.333333333333336)"/><defs><path d="M27 0v-27h64v-190l-56 39v-29l58-41h29v221h61V0H27" id="i"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#i" id="a"/><path d="M205 0l-28-72H64L36 0H1l101-248h38L239 0h-34zm-38-99l-47-123c-12 45-31 82-46 123h93" id="j"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#j" id="b"/><path d="M160-131c35 5 61 23 61 61C221 17 115-2 30 0v-248c76 3 177-17 177 60 0 33-19 50-47 57zm-97-11c50-1 110 9 110-42 0-47-63-36-110-37v79zm0 115c55-2 124 14 124-45 0-56-70-42-124-44v89" id="k"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#k" id="c"/><path d="M212-179c-10-28-35-45-73-45-59 0-87 40-87 99 0 60 29 101 89 101 43 0 62-24 78-52l27 14C228-24 195 4 139 4 59 4 22-46 18-125c-6-104 99-153 187-111 19 9 31 26 39 46" id="l"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#l" id="d"/><path d="M30-248c118-7 216 8 213 122C240-48 200 0 122 0H30v-248zM63-27c89 8 146-16 146-99s-60-101-146-95v194" id="m"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#m" id="e"/><path d="M30 0v-248h187v28H63v79h144v27H63v87h162V0H30" id="n"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#n" id="f"/><path d="M63-220v92h138v28H63V0H30v-248h175v28H63" id="o"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#o" id="g"/><path d="M143 4C61 4 22-44 18-125c-5-107 100-154 193-111 17 8 29 25 37 43l-32 9c-13-25-37-40-76-40-61 0-88 39-88 99 0 61 29 100 91 101 35 0 62-11 79-27v-45h-74v-28h105v86C228-13 192 4 143 4" id="p"/><use transform="matrix(0.07407407407407408,0,0,0.07407407407407408,0,0)" xlink:href="#p" id="h"/></defs></g></svg>
\ No newline at end of file
diff --git a/blogContent/posts/programming/media/CSTHEORY/MinimalDFA.svg b/blogContent/posts/programming/media/CSTHEORY/MinimalDFA.svg
new file mode 100644
index 0000000..9dbe1c2
--- /dev/null
+++ b/blogContent/posts/programming/media/CSTHEORY/MinimalDFA.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="801" height="471"><g transform="translate(-279 -2112)" lucid:page-tab-id="F76pm8xk11aE"><path d="M0 0h1760v2656H0z" fill="#fff"/><path d="M1060 2340c0 44.18-35.82 80-80 80s-80-35.82-80-80 35.82-80 80-80 80 35.82 80 80z" stroke="#000" stroke-width="2" fill="#fff"/><path d="M1050 2340c0 38.66-31.34 70-70 70s-70-31.34-70-70 31.34-70 70-70 70 31.34 70 70z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,915,2275) translate(52 68.60000000000001)"/><path d="M790 2480c0 44.18-35.82 80-80 80s-80-35.82-80-80 35.82-80 80-80 80 35.82 80 80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,635,2405) translate(63.05 78.60000000000001)"/><path d="M520 2320c0 44.18-35.82 80-80 80s-80-35.82-80-80 35.82-80 80-80 80 35.82 80 80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#c" transform="matrix(1,0,0,1,365,2245) translate(56.525 78.60000000000001)"/><path d="M260 2320l84.43-.55" stroke="#000" stroke-width="2" fill="none"/><path d="M359.43 2319.35l-14.24 4.73-.07-9.27z" stroke="#000" stroke-width="2"/><path d="M928.58 2277.43l-6.73-8.22-6.73-7.53-6.73-6.95-6.77-6.4-6.8-5.93-6.84-5.5-6.92-5.06-7-4.7-7.1-4.35-7.24-4.03-7.38-3.7-7.55-3.4-7.75-3.13-7.98-2.82-8.24-2.53-8.53-2.24-8.87-1.93-9.25-1.6-9.68-1.28-10.16-.9-10.7-.5-11.34-.05-12.03.45-12.83 1.02-13.74 1.67-14.78 2.43-15.95 3.32-17.3 4.35-18.85 5.6-20.6 7.07-22.6 8.83-24.84 10.94-27.34 13.4-26.74 14.55" stroke="#000" stroke-width="2" fill="none"/><path d="M930 2277.58l-1.25 1-.3.26-.64-.77 1.54-1.28zM526.38 2272.74l-14.68 3.08 10.06-11.12z"/><path d="M527.93 2273.43l-19.04 4 13.04-14.42zm-13.43.78l10.32-2.16-3.24-5.65z"/><path d="M899 2340l-16.12.32-12.7.8-10.55 1.1-9.06 1.33-7.97 1.52-7.14 1.67-6.5 1.8-5.95 1.95-5.54 2.05-5.2 2.18-4.9 2.3-4.68 2.45-4.48 2.6-4.3 2.72-4.2 2.9-4.06 3.1-3.98 3.3-3.92 3.52-3.87 3.8-3.84 4.1-3.83 4.43-3.84 4.84-.5.66" stroke="#000" stroke-width="2" fill="none"/><path d="M900 2340v.98l-.98.02-.04-2 1.05-.02zM765.33 2398.63l-11.78 9.3 4.07-14.44z"/><path d="M767.03 2398.57l-15.28 12.05 5.28-18.73zm-11.68 6.66l8.28-6.53-5.42-3.62z"/><path d="M791 2480l22.78-.43 15.1-.94 11.67-1.22 9.58-1.4 8.17-1.55 7.15-1.67 6.38-1.78 5.76-1.87 5.26-1.96 4.87-2.05 4.54-2.13 4.25-2.23 4-2.32 3.83-2.42 3.63-2.53 3.5-2.65 3.36-2.78 3.25-2.93 3.15-3.1 3.08-3.27 3-3.48 2.96-3.74 2.88-4 .07-.08" stroke="#000" stroke-width="2" fill="none"/><path d="M791.02 2481l-1.05.02.03-1.02v-.98l.98-.02zM937.6 2429.22l-7.97-4.73 11.26-9.92z"/><path d="M938.28 2430.78l-10.35-6.13 14.6-12.85zm-6.96-6.45l5.6 3.33 2.32-10.3z"/><path d="M517.1 2344.93l12.9 4.04 10.83 3.9 9.5 3.9 8.63 3.96 8.1 4.14 7.92 4.47 8.05 5 8.68 5.93 10.28 7.65 15.18 12.38 17.44 15.24" stroke="#000" stroke-width="2" fill="none"/><path d="M517.4 2343.97l-.6 1.9-1-.3.34-.95.28-.96zM645.9 2425.4l-13.8-5.9 6.1-6.97z"/><path d="M648.33 2427.54l-17.9-7.65 7.92-9.07zm-14.57-8.4l9.7 4.14-5.4-9.06z"/><path d="M629 2480l-11.3-.23-10.07-.63-9.1-.96-8.3-1.22-7.64-1.46-7.1-1.66-6.62-1.84-6.22-2.02-5.9-2.2-5.58-2.34-5.35-2.52-5.14-2.68-4.97-2.87-4.8-3.05-4.68-3.25-4.57-3.47-4.48-3.7-4.42-4-4.37-4.26-4.32-4.62-4.32-5-4.3-5.44-4.33-5.95-4.35-6.55-.27-.46" stroke="#000" stroke-width="2" fill="none"/><path d="M630.03 2479.03l-.03.97v.68l.02.35-1.05-.03.06-2zM490.17 2404.7l-8.05 4.6-3.06-14.7z"/><path d="M491.86 2404.87l-10.44 5.97-3.96-19.05zm-9.04 2.87l5.66-3.24-7.8-7.1z"/><path d="M744 2140h52v40h-52z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,749,2145) translate(16 18.6)"/><path d="M440 2205c0 22.1-17.9 40-40 40s-40-17.9-40-40 17.9-40 40-40 40 17.9 40 40z" stroke="#000" stroke-width="2" fill="#fff"/><path d="M391.16 2165l-.22-1.53.1-.82" stroke="#000" stroke-width="2" fill="none"/><path d="M391.76 2165.8l-.16.12-2.93.77-.5-.67 2.38-1.82z"/><path d="M404.07 2156.4l-10.86 10.35-4-8.36z" stroke="#000" stroke-width="2"/><path d="M308 2165h52v40h-52z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,313,2169.999999999767) translate(16 18.6)"/><path d="M500 2460h52v40h-52z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,505,2465) translate(16 18.6)"/><path d="M858 2480h52v40h-52z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,863,2485) translate(16 18.6)"/><path d="M780 2320h52v40h-52z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,785,2325) translate(16 18.6)"/><path d="M568 2340h52v40h-52z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,573,2345) translate(16 18.6)"/><defs><path d="M30 0v-248h187v28H63v79h144v27H63v87h162V0H30" id="f"/><path d="M143 4C61 4 22-44 18-125c-5-107 100-154 193-111 17 8 29 25 37 43l-32 9c-13-25-37-40-76-40-61 0-88 39-88 99 0 61 29 100 91 101 35 0 62-11 79-27v-45h-74v-28h105v86C228-13 192 4 143 4" id="g"/><g id="a"><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#f"/><use transform="matrix(0.05,0,0,0.05,12,0)" xlink:href="#g"/></g><path d="M212-179c-10-28-35-45-73-45-59 0-87 40-87 99 0 60 29 101 89 101 43 0 62-24 78-52l27 14C228-24 195 4 139 4 59 4 22-46 18-125c-6-104 99-153 187-111 19 9 31 26 39 46" id="h"/><path d="M63-220v92h138v28H63V0H30v-248h175v28H63" id="i"/><g id="b"><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#h"/><use transform="matrix(0.05,0,0,0.05,12.950000000000001,0)" xlink:href="#i"/></g><path d="M30-248c118-7 216 8 213 122C240-48 200 0 122 0H30v-248zM63-27c89 8 146-16 146-99s-60-101-146-95v194" id="j"/><path d="M205 0l-28-72H64L36 0H1l101-248h38L239 0h-34zm-38-99l-47-123c-12 45-31 82-46 123h93" id="k"/><path d="M160-131c35 5 61 23 61 61C221 17 115-2 30 0v-248c76 3 177-17 177 60 0 33-19 50-47 57zm-97-11c50-1 110 9 110-42 0-47-63-36-110-37v79zm0 115c55-2 124 14 124-45 0-56-70-42-124-44v89" id="l"/><g id="c"><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#j"/><use transform="matrix(0.05,0,0,0.05,12.950000000000001,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,24.950000000000003,0)" xlink:href="#l"/></g><path d="M101-251c68 0 85 55 85 127S166 4 100 4C33 4 14-52 14-124c0-73 17-127 87-127zm-1 229c47 0 54-49 54-102s-4-102-53-102c-51 0-55 48-55 102 0 53 5 102 54 102" id="m"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#m" id="d"/><path d="M27 0v-27h64v-190l-56 39v-29l58-41h29v221h61V0H27" id="n"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#n" id="e"/></defs></g></svg>
\ No newline at end of file
diff --git a/blogContent/posts/programming/media/CSTHEORY/PumpingLemmaExample.svg b/blogContent/posts/programming/media/CSTHEORY/PumpingLemmaExample.svg
new file mode 100644
index 0000000..2b0a8f4
--- /dev/null
+++ b/blogContent/posts/programming/media/CSTHEORY/PumpingLemmaExample.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="227" height="150"><g transform="translate(-370 -1063)" lucid:page-tab-id="a_9pyKiZSkFJ"><path d="M0 0h1760v1360H0z" fill="#fff"/><path d="M320 1113.4h320v53.2H320z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#a" transform="matrix(1,0,0,1,325,1118.4) translate(58.95 25.6)"/><use xlink:href="#b" transform="matrix(1,0,0,1,325,1118.4) translate(86.45 25.6)"/><use xlink:href="#c" transform="matrix(1,0,0,1,325,1118.4) translate(176.45 25.6)"/><g fill="none"><path d="M420 1120v-60h80v60z"/><path d="M500 1120c0-2.76-2.24-5-5-5h-30c-2.76 0-5-2.24-5-5 0 2.76-2.24 5-5 5h-30c-2.76 0-5 2.24-5 5" stroke="#000" stroke-width="2"/></g><path d="M400 1067.5h120v45H400z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,405,1072.5) translate(50 21.1)"/><g fill="none"><path d="M500 1120v-60h74.65v60z"/><path d="M574.65 1120c0-2.58-2.1-4.67-4.67-4.67h-28c-2.57 0-4.66-2.08-4.66-4.66 0 2.58-2.1 4.66-4.66 4.66h-28c-2.57 0-4.66 2.1-4.66 4.67" stroke="#000" stroke-width="2"/></g><path d="M480 1067.5h116.67v45H480z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,485,1072.5) translate(48.5 21.1)"/><g fill="none"><path d="M461.85 1160v23.34H420V1160z"/><path d="M420 1160c0 1.44 1.17 2.62 2.62 2.62h15.7c1.44 0 2.6 1.17 2.6 2.6 0-1.43 1.18-2.6 2.62-2.6h15.7c1.44 0 2.6-1.18 2.6-2.62" stroke="#000" stroke-width="2"/></g><g fill="none"><path d="M490 1161.67v20h-20v-20z"/><path d="M470 1161.67c0 .7.56 1.25 1.25 1.25h7.5c.7 0 1.25.56 1.25 1.25 0-.7.56-1.25 1.25-1.25h7.5c.7 0 1.25-.56 1.25-1.25" stroke="#000" stroke-width="2"/></g><g fill="none"><path d="M575 1160v20h-75v-20z"/><path d="M500 1160c0 2.6 2.1 4.7 4.7 4.7h28.12c2.58 0 4.68 2.1 4.68 4.68 0-2.6 2.1-4.7 4.7-4.7h28.12c2.6 0 4.7-2.1 4.7-4.68" stroke="#000" stroke-width="2"/></g><path d="M424.68 1161.67h32.5v40h-32.5z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#e" transform="matrix(1,0,0,1,429.6782789598826,1166.6688863873574) translate(7 18.6)"/><path d="M463.75 1161.67h32.5v40h-32.5z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#f" transform="matrix(1,0,0,1,468.7516647904995,1166.6688863873574) translate(7 18.6)"/><path d="M515 1161.67h32.5v40H515z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><g><use xlink:href="#g" transform="matrix(1,0,0,1,520.0066591620348,1166.6688863873574) translate(7 18.6)"/></g><defs><path d="M185-189c-5-48-123-54-124 2 14 75 158 14 163 119 3 78-121 87-175 55-17-10-28-26-33-46l33-7c5 56 141 63 141-1 0-78-155-14-162-118-5-82 145-84 179-34 5 7 8 16 11 25" id="h"/><path d="M18-150v-26h174v26H18zm0 90v-26h174v26H18" id="i"/><g id="a"><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#h"/><use transform="matrix(0.05,0,0,0.05,12,0)" xlink:href="#i"/></g><path d="M101-251c68 0 85 55 85 127S166 4 100 4C33 4 14-52 14-124c0-73 17-127 87-127zm-1 229c47 0 54-49 54-102s-4-102-53-102c-51 0-55 48-55 102 0 53 5 102 54 102" id="j"/><path d="M33 0v-38h34V0H33" id="k"/><g id="b"><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#j"/><use transform="matrix(0.05,0,0,0.05,10,0)" xlink:href="#j"/><use transform="matrix(0.05,0,0,0.05,20,0)" xlink:href="#j"/><use transform="matrix(0.05,0,0,0.05,30,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,35,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,40,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,45,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,50,0)" xlink:href="#j"/><use transform="matrix(0.05,0,0,0.05,60,0)" xlink:href="#j"/><use transform="matrix(0.05,0,0,0.05,70,0)" xlink:href="#j"/></g><path d="M27 0v-27h64v-190l-56 39v-29l58-41h29v221h61V0H27" id="l"/><g id="c"><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#l"/><use transform="matrix(0.05,0,0,0.05,8.65,0)" xlink:href="#l"/><use transform="matrix(0.05,0,0,0.05,17.3,0)" xlink:href="#l"/><use transform="matrix(0.05,0,0,0.05,27.3,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,32.3,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,37.3,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,42.3,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,47.3,0)" xlink:href="#l"/><use transform="matrix(0.05,0,0,0.05,55.94999999999999,0)" xlink:href="#l"/><use transform="matrix(0.05,0,0,0.05,64.6,0)" xlink:href="#l"/></g><path d="M115-194c55 1 70 41 70 98S169 2 115 4C84 4 66-9 55-30l1 105H24l-1-265h31l2 30c10-21 28-34 59-34zm-8 174c40 0 45-34 45-75s-6-73-45-74c-42 0-51 32-51 76 0 43 10 73 51 73" id="m"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#m" id="d"/><path d="M141 0L90-78 38 0H4l68-98-65-92h35l48 74 47-74h35l-64 92 68 98h-35" id="n"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#n" id="e"/><path d="M179-190L93 31C79 59 56 82 12 73V49c39 6 53-20 64-50L1-190h34L92-34l54-156h33" id="o"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#o" id="f"/><path d="M9 0v-24l116-142H16v-24h144v24L44-24h123V0H9" id="p"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#p" id="g"/></defs></g></svg>
\ No newline at end of file
diff --git a/blogContent/posts/programming/media/CSTHEORY/PumpingLemmaTheory.svg b/blogContent/posts/programming/media/CSTHEORY/PumpingLemmaTheory.svg
new file mode 100644
index 0000000..d74d152
--- /dev/null
+++ b/blogContent/posts/programming/media/CSTHEORY/PumpingLemmaTheory.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="990" height="341"><g transform="translate(-235 -273)" lucid:page-tab-id="a_9pyKiZSkFJ"><path d="M0 0h1760v1360H0z" fill="#fff"/><path d="M1198 500c0 44.18-35.82 80-80 80-44.2 0-80-35.82-80-80s35.8-80 80-80c44.18 0 80 35.82 80 80z" stroke="#000" stroke-width="2" fill="#fff"/><path d="M1188 500c0 38.66-31.35 70-70 70-38.67 0-70-31.34-70-70s31.33-70 70-70c38.65 0 70 31.34 70 70z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#a" transform="matrix(1,0,0,1,1052.9937571607281,435) translate(58.525 68.60000000000001)"/><path d="M820 500c0 44.18-35.82 80-80 80s-80-35.82-80-80 35.82-80 80-80 80 35.82 80 80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#b" transform="matrix(1,0,0,1,665,425) translate(69 78.60000000000001)"/><path d="M780 380c0 22.1-17.9 40-40 40s-40-17.9-40-40 17.9-40 40-40 40 17.9 40 40z" stroke="#000" stroke-width="2" fill="#fff"/><path d="M731.16 340" stroke="#000" stroke-width="2" fill="none"/><path d="M731.16 341h-3v-2h3z"/><path d="M736.76 340l-14.26 4.64v-9.28z" stroke="#000" stroke-width="2"/><path d="M480 500c0 44.18-35.82 80-80 80s-80-35.82-80-80 35.82-80 80-80 80 35.82 80 80z" stroke="#000" stroke-width="2" fill="#fff"/><use xlink:href="#c" transform="matrix(1,0,0,1,325,425) translate(69 78.60000000000001)"/><path d="M240 500h60.76" stroke="#000" stroke-width="2" fill="none"/><path d="M315.76 500l-14.26 4.64v-9.28z"/><path d="M319 500l-18.5 6v-12zm-16.5 3.26l10.03-3.26-10.03-3.26z"/><path d="M481 500h159.76" stroke="#000" stroke-width="2" fill="none"/><path d="M481 501h-1.03l.03-1v-.68l-.02-.32H481zM655.76 500l-14.26 4.64v-9.28z"/><path d="M659 500l-18.5 6v-12zm-16.5 3.26l10.03-3.26-10.03-3.26z"/><path d="M821 500h207.76" stroke="#000" stroke-width="2" fill="none"/><path d="M821 501h-1.03l.03-1v-.68l-.02-.32H821zM1043.76 500l-14.27 4.64v-9.28z"/><path d="M1047 500l-18.5 6v-12zm-16.5 3.26l10.02-3.26-10.03-3.26z"/><path d="M685 280h110v60H685z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#d" transform="matrix(1,0,0,1,690,285) translate(2.299999999999997 28.6)"/><use xlink:href="#e" transform="matrix(1,0,0,1,690,285) translate(16.299999999999997 28.6)"/><use xlink:href="#f" transform="matrix(1,0,0,1,690,285) translate(31.799999999999997 28.6)"/><path d="M500 440h110v60H500z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#g" transform="matrix(1,0,0,1,505,445) translate(2.299999999999997 28.6)"/><use xlink:href="#e" transform="matrix(1,0,0,1,505,445) translate(16.299999999999997 28.6)"/><use xlink:href="#f" transform="matrix(1,0,0,1,505,445) translate(31.799999999999997 28.6)"/><path d="M870 440h110v60H870z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><g><use xlink:href="#g" transform="matrix(1,0,0,1,875,445) translate(2.299999999999997 28.6)"/><use xlink:href="#e" transform="matrix(1,0,0,1,875,445) translate(16.299999999999997 28.6)"/><use xlink:href="#f" transform="matrix(1,0,0,1,875,445) translate(31.799999999999997 28.6)"/></g><defs><path d="M212-179c-10-28-35-45-73-45-59 0-87 40-87 99 0 60 29 101 89 101 43 0 62-24 78-52l27 14C228-24 195 4 139 4 59 4 22-46 18-125c-6-104 99-153 187-111 19 9 31 26 39 46" id="h"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#h" id="a"/><path d="M160-131c35 5 61 23 61 61C221 17 115-2 30 0v-248c76 3 177-17 177 60 0 33-19 50-47 57zm-97-11c50-1 110 9 110-42 0-47-63-36-110-37v79zm0 115c55-2 124 14 124-45 0-56-70-42-124-44v89" id="i"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#i" id="b"/><path d="M205 0l-28-72H64L36 0H1l101-248h38L239 0h-34zm-38-99l-47-123c-12 45-31 82-46 123h93" id="j"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#j" id="c"/><path d="M179-190L93 31C79 59 56 82 12 73V49c39 6 53-20 64-50L1-190h34L92-34l54-156h33" id="k"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#k" id="d"/><path d="M18-150v-26h174v26H18zm0 90v-26h174v26H18" id="l"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#l" id="e"/><path d="M135-143c-3-34-86-38-87 0 15 53 115 12 119 90S17 21 10-45l28-5c4 36 97 45 98 0-10-56-113-15-118-90-4-57 82-63 122-42 12 7 21 19 24 35" id="m"/><path d="M210-169c-67 3-38 105-44 169h-31v-121c0-29-5-50-35-48C34-165 62-65 56 0H25l-1-190h30c1 10-1 24 2 32 10-44 99-50 107 0 11-21 27-35 58-36 85-2 47 119 55 194h-31v-121c0-29-5-49-35-48" id="n"/><path d="M115-194c53 0 69 39 70 98 0 66-23 100-70 100C84 3 66-7 56-30L54 0H23l1-261h32v101c10-23 28-34 59-34zm-8 174c40 0 45-34 45-75 0-40-5-75-45-74-42 0-51 32-51 76 0 43 10 73 51 73" id="o"/><path d="M100-194c62-1 85 37 85 99 1 63-27 99-86 99S16-35 15-95c0-66 28-99 85-99zM99-20c44 1 53-31 53-75 0-43-8-75-51-75s-53 32-53 75 10 74 51 75" id="p"/><path d="M24 0v-261h32V0H24" id="q"/><g id="f"><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#m"/><use transform="matrix(0.05,0,0,0.05,9,0)" xlink:href="#k"/><use transform="matrix(0.05,0,0,0.05,18,0)" xlink:href="#n"/><use transform="matrix(0.05,0,0,0.05,32.95,0)" xlink:href="#o"/><use transform="matrix(0.05,0,0,0.05,42.95,0)" xlink:href="#p"/><use transform="matrix(0.05,0,0,0.05,52.95,0)" xlink:href="#q"/><use transform="matrix(0.05,0,0,0.05,56.900000000000006,0)" xlink:href="#m"/></g><path d="M141 0L90-78 38 0H4l68-98-65-92h35l48 74 47-74h35l-64 92 68 98h-35" id="r"/><use transform="matrix(0.05,0,0,0.05,0,0)" xlink:href="#r" id="g"/></defs></g></svg>
\ No newline at end of file