From f5b6f61609cd2efa126c0f6f41ea9d711fcad4bf Mon Sep 17 00:00:00 2001 From: Isabell Pflug Date: Wed, 6 Jul 2022 16:26:40 +0200 Subject: [PATCH] :sparkles: added automatons to tikz graphs cheat sheet --- examples/tikz-graphs_cheat-sheet.pdf | Bin 76324 -> 77033 bytes examples/tikz-graphs_cheat-sheet.tex | 10 +++++----- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/examples/tikz-graphs_cheat-sheet.pdf b/examples/tikz-graphs_cheat-sheet.pdf index 1ce0d414134664c128e73d2f938a1c9b18b14c9f..7f74a3243f59276db9a37eac4173947e1422f17a 100644 GIT binary patch delta 17097 zcmZs?V~j3L6D>Nn_Sm*Pdu-dbZQ~i+wr7uR+qP}nI`5Zr|J>x%uS%*@-7B?HS>35F zUIIH`2a8t+NXKq6!fl_Tb_lSd0uucN{XLke=3L!GTdyl#cT*d#h7xj27$u@Wo(JOT z=6wqB`H9=|5Vq3beH^ajveHP*FbYQrr*58%QEb3<94Plh=ZBHHiudGtw_4SKuG~;< zii>!mkamDrZ(C4@&CnQVj_XryOKVxS(ntz~UzkJz@iYoDdLlWI8<^q>vOqQ$8o)-( zj4`IL-r4~j;QKID9^e)NE`wackWN-BOcPK;1se(~#MdolwaZBK+>~Sf>?9_i9vt&Q z)o#28qV;bU8p!j9>p=ggb(Tc%mdh|F_P>_bwQ7posuhc81{nk4z zB`Cz@S(xWA4IC>c2CVv;7qljo)`6e;nV1x`xFVNt>|!gtEv18$!+^ukmQGw{vs!F` z8Sd>YE<^oV9#>NrPo&bgVax*mprkrq8+j&*?GH(-lFikay3}}2kBo)(7_xAxa#Bd&`aJV;e4URzya7hGBP`=|=Wn8DRT&!+l*v_?_%pD^RP1={SjNWLL zJcd@pwA~vYMv<0ck#(LgPogcyP#J_4ROW;1V~wf7WuMPI+(Ry}uJv|W4(U5MR-Ylf zQ(RvsdQqL-{f%8(K5wbEygNXSLoW*H7Q)hw496}(kB%Rp?JHYY97mU_y^hT2(WBev zGZqK1_dWaQ`^%)y@QSfYW@2X7jsV#K3{nKXVyN9+~Aw!FmB zP4y#8L;Ln3rpUH=NV!Q-u{Oqwk%e27YT`@P9G(XekT;F(t2rrAW()|irC(R<9f+dU z_|OIbx-xmEzh6MKXq6p}(5cl5&HKM788=XI$&zdc^LUWVyAivPP7`y4~^a)f7ikFxdk~^phcSFSa1J}*>~l9I z`)!nG%*GA+3j>ZyasZ7XuV?hMA5GBT8Gq|`W(Bo3ST5@)Jm}_BPKeX%Ds;v6T*Jsi z3+tuxO(w7U>PQ=yP^~!HmqhUtbpIlm&T2wBjU=DOqwNN_1g!4LsSsL+CQ=Z%Wnh>o zf+AX=ZAv(bReV6~x1Y59B&kgg3xbwcar^FDp+Cv}`DaKaqus(hw(Vg(s#`ut4sU3eGf<+M~rajB;fTb%}&e9JH%pr!WeMW1jWe@3taz~erSb~Lzgr?o-m~d*`OsVZ|7fB z9CM*@co#A9(gl#|s-})?xnsZ-bxaZ2yWOV~Qylbu`WL@h8Z9)87X!i}HY1Cd)eplx z+pN&-Ux#~j6GXp(9_wu?tWd{VX{ zW99{_8e;2ms+A=~e%gpE3G64+YeowEPtVA&F~R0uoCMI$J#mEDwmQDx%+EERB(~s7 zniE}I8B&d+u5^u5h}M7JePP-MUh0})Wo1GJt4bijo=R${&84V-23Mdmg=&CZhX-hn(D+Mpt3%lB|J@j47ngb$PTvC~-^2$2ORsZnsGNUXt!Au(; z?_N6zrRp@>$glMFAA5bF_ms2cEqOull(|a#o%EpKn~8y)^geoo2uVe>FG*6Ku?E`X z)ia)0(MC~LNfYk}FEVmIJq<^h;l^{hp;CIxB^aS<*UW-*hU0q}RN{-pvZ$!GG37?> zR00I`{@zzWu0Yzf#a4fBeGbLX4?lQ86yfZtH_!b?1o9ANeV1@M_OBNo z!%FRU>#)LAoMH#=_HX5bk$LBkqNO52%bFk9;R*QQ`M))-WtXQw^SGvR^ zRx*1QH#B*A`&oLi*KtObF5j0WC>e?ohM%G<`yUZ0|Eco>-tN!C5aoO6wzW-Nv4tKY z#}Enlc>&)~EHHlkyKzBk?DCed9TD4WMZNIB`Kj+&?^b6-|QiGu2!$(!RlA0a& zRRW43V4Zd+ZsLslEw^OuhAH*AuU>nU-3+??L_;SqbvX53^7yGb?H%q0K zpq69T&)@B*-mZ#5J;hy)+O^TNZEV0|zJqU$E3I)#;)^|oms!J56DSBI# zai>lU?2_U_$3H7lNL#0B)yj;a^+C`R+<61t)mqUQ!b}M0RaUpxLo}6pOf@I&uMJX| zK7b*^eV7>R+Co?&y06{!3Q1~GDYNWysSMacKu^B}z)b z_4lZJ3QB30Jd)UspB8=$F$vy^wY1tTKZ3lmKHm#`w5@D8lkyB|XR-0(WT?TS*y=dH zN$?r9^2!IADy{LQ?qe^t8*L^Y#&QiCBH;1R)vY}2pf~@Z(P&h((YhN&NCeI)qKyaj z_ZU^5m7Bgo*BT%FeuJ0w_n1we)w{|wgL;8vt;_$U(G0OjHUpe--MK^dzPH&KiV^QI z-@dH_jZ-vAao*7p^xQN{QtXF-ygEl^ zw6H`IN(xc33u^bC;xci#JHX`#AYmb1rXK4(zV5yrz?BeOtJx#LDq=MrqZQiPq(>?n ziGPg3FVPL`#Wc52d`B~oGD%KI2J8pO^uF=vs(3@mq7;HI?2WqI53Bx%6Hbopf#U@+ z`Uyl&|G!|OLOAO-pUW>u2SWw#N_RbVCZv!r^ftya{%AHco)22I6mSj&fJLJEiJS6y zlLO&a6(-X{m5g~0-^ycew#(&n+MTzi`Z^c5<EHE7rgU*H)$mWLYi9@THAwJ5PJL-VT@aCg ziJqbM3g%@0c;+RUjkhBe&VE9E*fNOc6Sb(@$rp^L4E2067pwG9Bb<5KSVq;tP`rDy zSgayCoiS9d9$DUYlP)>H9B$KO53F=`T$2I~G_1)Dq7S&`$X=I{!o&&bHX*L74^CCZ zJ3UUp9}&zeKL}&aSMi#OD;x^rCn2FL_$JBx<+2oYOqu(k*mZ` z8Tsq?^`tXLFpxErk?g$n8duQv*hhpnCg5lt_C)KLiWEsEWT=U5(AyX&Zyw^#BAGot z@0!)IKB;Jn5?~oV*SOb>NztXg!&wbfVcx|dEZ!1nLhMq7%jlzL+B(4nkD?KZ8(^ew zNiGm;n`CqH*3<+Dwst7i)gNcHFr01Id8w{5L9j^+?T}JqHBErdfFc3MnZ(Bi$(5a) z464y8IH_q7^4;l)7xw-p2p&Gw1Tb`%2Q#8a)!){QdtvfbIetbmHSyA4?BEf>$*;OJ zveAR}gc;u8kw@KhUL)Wuqwn%7;P+oPwg{P2>*FxKYL@^ox64FcXe)#>t=ZC@BPgys z!I#jS;yAVP=i$@og}mg;0?J$b1vW`K7OVz^Vb8GN>1}c?QZ}oZei;NBys^3Vj-i&v zTi}c6WWAvRld5FdHU5@xf{_I2QJ@IL1(^I<(n=oz6EMt4So}&Hesk3OlV>eUE;RxT z3{DTbll})lYoL)VDlEV8Z_uhP2_1iR8K`br&OF9sVkG%WigAF@4FUV=Gm}gly+2iW zr%#YtgW#X-d}g(C*s@umYIA#i?r6#Wg#7xdVNhsa%3}{UV};;A>zJNf#?VnXI-9N6 zqyKrLTa%jh4t_>;LQ%(H=Hvxun9WS8?mee>KfW4ZW*2~O@E#XxE_xki;fZ~OiGNUg z9+0NLMJT#^Sa_%F9UnafY4C%cnxWcD(5Jy?#dokufY)o*{OWCF(h?PS|9~c=tOEFJ zAoXr+^UYefB2`Srk%#VZ+7Vc9f| zffEa008i5-+GGH7Z5&J_3sS!)F-ODEDsFQjU9ps*@8U%6%G9u5yBL=feN& zUO9Ph0jw2|8Kr#lQi6*BkNjFqK-mXyEsEvTWvODsQTY7Wu*<~ZPW}TEQxg0R zBUu-f%wJ$pN(lkE7KS@vAXmYOqeU<;C*|ZLwv?`fdErXGUYR#a^ugXQe9sThFF*K* z!T3V*^8r`Xeb{r&gZNb|7EN2sU}8@X%i^_4nD?9 zCJE~J-8k$kA#G&@;vP*J$3S4!5u)flzvN@#rZX=-tuTbi~AzNk`!wNIq$(wDqIOMTv1tqn$7NGxJB06F?m@X$Z*O2@EftgD^lyy}FH4UdEQ=k`A?M~U zF;#hhta~)TmkWlW$hRb=+%~^6v-r?2@2B!1rAKb&<+pqo73&bgzc7#G%Wm3B)a4{VBOwg^33Nw*5Px7gSnZxE(~)lQ!mZM-faWLZtIex zbC1;EL<$vCDR963!WY8~;jJZhR}X z&hDP!&;K((e;tccV|Vn-t)588np^ke{Mj1e{dqE(#8Figa2?^0(M(W{lS(m@uy@aK5iZ7A<3_-noy(a(d zur)a6=BJ5LvrY1-yUv%ZhkofkL!=OP(A_BA^l&L5`xc(0ZJ?vn-6Znthk!4AzqX9O z>BR|YIeehIW97@Jg8)z-Kk7+*5}HQXJ=>Sjjtkgm)gMn5>mCJM_kd+M!~= zbZU8SRZ?SvUs3*$va!h@vT(T#miWZo2b}8FvjyE|^Mcx=r2MXWbMfU#&A$XVD-2_n zrc_ph8J4q=RFH+wV6>WicRFZ|3+fNF^0ET_hUANA?%ROW|IgK0kOY>7GQ z4Ln6LPVi5>4W{I^OPXTc^~aeNDD@5iUV0mS#^U=2@6^5Fa-^^IW#E7~W@Vfa6$jN3 zA-%H4wkI5{Rh4cm*j?knxBBEMFasL5Cl~e)k@uPD^>`+oIKGgcL~|;RosA?{qyJEb zJWBsVbuoiT+xtDKB0J{LJ64IKwajwZPR{5_lvfI^rdn0O(Kh?vLfC&Uf`IXTY^>h? zoDhTttXa7NNW0?N*a<29@mG%B7nN>0*#98`=WJG12Jv|TLcGq$D+?;W$oRp=b4UA< zzp2y`ih1r1iFkvc4;mpK+~?rkCa6_GGTaI^au`F<0SjR=A)T84i}klS~D7fnV5pk z`i>b(s(CzEJ;0`d9hmYoeNI(GYFUInF`dJaCXdAc3`+k_l%P@^@BbDcw2rv1ps)ZfLeOH2u|tJN)=+`%e|w z)JChTn26d4jgn75@0moa#`h*Jvy_%HzyI^%Eri1~IyCSy;Bt;TkwZ{@X1NO;nL|%RYyR!}If)a?CQDiCReV-JGH;~!f zG5f+O>Uyx;bdUuO+YJzrqA$1eHt)kURU~Pt!XjxJiGZ}{g93HIOvl=C0HJPFGTX6T zLK@uw$Eb1_Dv^%1f`nFWlITIy&U$3x9k^a9A{QN%^xgvT|Bl&P;X(%jZhU*wG_)iZgUJuQ{~&BD z$eE;$O#+ZA#1}9ij3XDY3;nNkIL)Dp>JXOxeETJf#pSHWaAZltgWY+tqDtQ1M-;ln zd?;f*@86yL+&y%=MoO5QMPB^Gff|lbD$So~OOhG8+-Yv}SIE~!LwmfU=NZVza6~l% ztGr^fj9_|M!+Cf0j&^oyRyiMuTs%(;rH{t%YynUc?pmmgh;UPxm1>7;vGF@%XUN2f2U$LFD)L(g-3UZbaS{(+SX9g@T4xpI8hh z*aKjq2~_s^P}MPeps)Z(t}nTme3ABtyq1%(wg7ylmo!LM4L96Lxp5~_I-#KU$80mb zljav%Z{E$4ALLTm$J-jOZZT_M`@WziibRe13C-;65yZHQzp=WYoRt~%es_|}lv>mv z3zA+`p9$)n$TIQP`uW`nG1_o6qZ(a z5HWF0CC2){S5m_LEe>=;T=fxbnfl&e?1oyDmbc+osI(SNOahk_&+YNOebI4mUv&3o zsi>N^h0Pig%m%)9b7m~HUeV-TV>i+f>dR;-mojNunHsBIRTTtFIUTCgo88-u-hf~I zPV+IRP-Ka}cvb};j#DGS)O+9!aQ>kP>&|4I4IDRW%{JANCG1#OyEaJe3EU7z7hN)%M0$v%K!5`S>0S^O<{)^Y!cqu`b{_b7%r~ zNLhh=Yme?QVD4IBzTCC+?G9_s(Lm+kr@>kzTj8aIB^p8(hL6m~hW7}uY1t=|70LZq#Hg{mq32v)yd-V1bU^(y*wHK#5wo4#!n1u%-)EJu%5 z&4-e<9uzAohRe7mnrDO37tVO(P=*wD^bx97p#}(E1=ZLTvf>4%%3VjfngX`->n$i$ zyQ)@PFB}TwbMKms%~ZJ{_uJU+>SiR`$z4OQW!H z<7HTY9ExNhbC&TQ3Tw}PHvw*<^T&t!H}J4vUh&nTWUXE?H&#yc9Xko_Is;`PLb+a@ zwdaV@S5Bi^4Gw<;=q!%;&K~a3T{h|3RJ+y#r`J)u9WG|cxIEYzv_FA*I!UjKa2sv! zTn(5q!%Z)YIsJ6kw=sF5@G;eSptQCejR9E?j5$^)|? z;DQvKKP-$_1J8^O$8Y8%vQ#>Op#K%{6t+LqF)G;VlhGFf1W-mlLW#i|CYy^3i-f$8 z9RF9L1nh6q*8Bz1(Tui4LUhW(enP*FNm5GF%rl{OC@zEsq4#pG@4v`R%@0liA_yCf z;AL=J+xH2%__|-ADsv&~uzmM}xi_58^~^fcEdj%3-*i4lR9N)jAyVji&)GcR0T zK||eYwkr!SR0DTc46dUj70^%(t|Nbk3id?|CW8y7Y%3VJec7bevbLsK(fU!-z7Sg0 z^6o7lc>Q^W)wuSx`rJBg=QzT8kdZT+;k@O%^^^w?6Mj6CfPwVivEi`O{yJQXysBQR z^zTfR%O$N+eUSuq4OZFHABx`>1>g0AXjUczM2m52nF%HQO0iY%N2?M$XUesG%ozj_2 zGot|1q~x@7{De9;tfrBVq?e8@KJ`I9A+59cs>xpR`CHoOH2V95`p1O&)sX|{pvQ+Q zQt$Ml{_gR4I>!{R3O0%2WoU+0?SOP@ViDdQ!J9uwWvSxj121Fuzl@^s1KQPhDdLpA zXoe4WKp|Vp&fQ@?8B$pE?ubu{l*=&hN8?^sAeb2AAiL5`_KveJ6g^^ey#2H+Y!EZg0x*wQ^NzA>iJSbPuZ6 zN^S4d$@>BOOkjR(LodN+yH=ZPHs+fsClxp!N-e_MViAZ_p!SoTH( z9Nh@knh~`AQaaBmkF!c1YscDGdwB!yHphcX;cx2n&GLk&i?BnZaU0}6dY%U6`h{K3 zb`$0L`g3r5sifw*?I^`-!huJPG>fm$qaKu9GwNNc>pN8nXr2dCj*NrK zPT=NL8*$Hb(AD%vCcz+#ft_IxFa(RXfqeXenf5DWhNgelH%w84E>E<#DLWngqzUtMuud`eJn1uf}V~ z@|khDOiU`%Ezw-RC@$|M1GNB6*2gNBuY+yw)+;U_2!x==M?@Sk!9_M+kdY4?wC)F4Kh9~x`(4LOYweMF|a5l zN7qA3_6i?^-J`S(A-{NsDa7i{I zcD-U!{%N_5ffpX;q_EnEFKRi;nuU0u74VX)K-P1onAVLv=*S1?4H<6;R*jbi$O%EQ z2)G;Ka?_H&c=ajV8XmxS^IS8-K|CZ)JNCFMw^QIFqK9j9oi@U&^rL`Tmsnon5aB79 zNv8`)H)=IMLe{?H+x~bKgP)5K%Ea1V(7BVv5W?>05bOq2Otx{a9P*5HW_g$S$>#nL zF`5LFpUnuLJyurmj($zVz0SGN6hi$NET`RU4p{7s0`;)?JRkt1lyjm#yI^h1BC|9x zPZ00s1^>x)oZoE;a4BM>-f$Dj53kC?|BAiS?^%y7(Tow4}Rocot8z~ zpp=(H6C<*h8+5*O29ljjie7}xgQ}Q#aA-QQRn$X6bcT#q2QZL9xNJf-oNl8rcT&aj zrIIPt2&%E%XBr^hgp>hjmF@t{;Rw&qqO@)kekV;xUPM@&HB4~!H=56fKGeAYPR_q_ zjmmQ2`D6SNooT0Y^(s>`?j|UMU+!h4AJ%b{g3oSr?SyQPmmmY}p^V&5gyHNCR}8NS zF+l0^gaI0kZPxwy)EXURqzg3O-F!8B$={hj?)&I0 z*(U6nA#GRA#ea-gMXU7!`SRz((@eGICHZDxGiNdl9fLi*eC9;VV3vBSuJ?`J{I<$XqHUd`|_8c}sfdG=2frIqM4^ycMK5wjjA;j|0aoJH7^K zS+^(%PHuA7F&<>5Z^olprhKs;447~SZ3T*89Ld~)V{d2sFDQXgn_PGP42W;PERg(c zt&}|Sj53$~LQd4q=`PUVSJf>TPJ{bUOrEN79TkoZckuX>aw`lGA-_-n{<>ahxFyhY z=1BsU!^kL2_lG~JsiUH3uq2Dgj(*-h9dxlw?5o>r8%#vj`5Sqfzns#ronqa?HcK4# zwkV2Luc4GfnCHTZKTzr^u%A3xQMa!sr{=JdG$%rV$_a^56l-@Y;7iK=f;U?lt}Ifu zv~!bdzy(sF5?|}fQlf#!-$$C7zI0ABrq2NrY9Bh!som=~5%wGCAu_-#fX5r~}IdkiYWd(;K_Qq8R>@!h$%57Shgrgrf)xrLadLKP;NV@N;* zse=P4B%;Gto8C;OxBA*OsB$rGIjk;3;5qN2KT)viO2X^n;n#W!DRPlJvhZmEo4ElB zd0jIFf9Goyx0crQ&@Wp6o?1;0V}zL97?!N)PI_N9Q$Y3Gm)-C($yM&c$M(7l`xvd+ zy^qxdqn;`0SSPNR-dhbW_QW+E-6z0aAPpy9bn#$U2wron@(p@nVJ*`?rpNnblo_ob z7#zmy!fEyW68p;uMdL!zXX^*Eq}Ik(Si=pb@w?CMH>SZ9akam7uaDx?PL<5J>0fO5 zP7{_)sX7I)GF;`jEMv-~6tlDwY)1Z~xFG)b;Iq8FHZsmDu1Oqw4ulxjAQZp_ihGvGIEfb5CU|qtvucn(Qnwd)jMUp$n9Ia$eBO>Hjrn&u?br~H%(1kH0 zRA}!1Gzh+lOF?h6iZp$`GiO?U9xd1U zsW7aZJybfHd8Nutam>#MsT{}Ppx0|xYO`buI@mD@FGYG8K<@+^rw4p~>cVc6QK#FW zX_SwUr{0Py{fdxOadc)TMO$`XuyJSi2OQ~wbO_V3+3^0#XjQV8t0w#*DmV$h&{8Hd z12KtXxgG3Jz*W&U{wj&NIB0&`AQIe5j}&EYW1><|-f`pO&T7BEA8&eK)!sr^ENG(> z;s6%@TS+SY^bY-Lq6kP}@)z{*k9?Cz{5Y7NHx9Ep*Q$E8@{9XXf4CSP4gZ5CYBoGN zVPvFCT48@NE`zPyh;8{>^n0dclse^g#6dm@EygH zROV+ExbQ9dX-J1_)PQ!v#L%i$BzeVI`l~{Yrf1~Nsk@0hAc`^eS!eT-YgnG=o4W(? zTeW`XLGQ3Lt{Z@NY3WuD68KhYO&t`wM7K>nC;EyuC%Qyv(5|F0n}_6z2T0GG7xOhh8s~Y=uN87`P=Cj`noK(scO4Cg%A_&+%rm(Ir@sVEcf)wqkPC8^dFcmZo8Pjy}!<7^h_Ft61iz^nU;T1`X22O4 zs^)cgQHHVrAzu&a#Iifg)kl}Mdo+GCtQt6SKfheYNbGe@^QunjPykAAW|@=R>UcYU z5mtsxG|riJSF;urSm#_fz6ebNs3M_j*Ywqlx8r39;cvy4;!ifvl}UUr52?!Z8A{xt zZvd{)1>R9h$a?tyqG1qWYa(mv(kHDk$JG-|EpfXvAQ<-8oR09yI+E`8N}Z_7H$QV( zQI3YJ1scR=t0WaeuL@eN|q1mAvy*w(L6TE`pVzaP85y3XC7~&AC-aL$FwkerIMw# z+7Y45WdyXy>i%C3aO8BQ=*jcR)4G4b@*_0H(G6W{3Fxk~sLS0Eb_zoK^gX4taFiOI zLl>C1GUkN~(huUVWM!YkO{JA26^*P!^SW}R-0-fua%_P<;K-R=^_{|HH2>)9r~%Xr z`hBBcXUft0-=!UnOKRz%-!;zYyK#4Lm1f`AypP{ch_f;cvtYWkYA5(Q*Iv-FO~qK; z%$PlHWu{9W{p*uM^tu~lvtSTNnL5>@YHVC5cLhoIaZBs9rQLAv4RL&Mkon>)CAyHb z(`~%Dx@MfaZT3US8oShvbJhl`cmY{n%KG+|vnvL`xQI$d8b=}E4pMeznMC|i<-Zz7 z&TVve+}JOjpJnd0)6-GGawTxUBQCy+GT7seng{(Vzig+Svrv(Ch=ak@#s~6!;vcuY@GmZ>oVNvcr7u zVjl7IQug}lclp5q&km?zVupJEK!}Gv#(z*sEo_VGF5b|W zBNFZ=@0@L))$O!avu^<#Mgh(=`}uNn0FC=G-x&|<(DbOSj7}3vXKFsZ7#%KqihC~E9+=^l$uga~FPFuE!oVFF+rD3kjWi~lS!$e(-232it=fITHyXIOV> zoXt6K!H&Z46@dK1YfWp&L>QiH*r#r>avUZy2_zx2%otmC=If!6oQMc_-jGR>pWXkj zLicZSx!U3g$aVnFN_uuLH;om<0zwv4r3e*xUp!GGD{#^>yA2Ce0bW(h@0jd%(x{O4 zQ!5$^F&xd^ms-5W%&H5 z3%N7&=ryoQNP5#!Ftj=cpSbB*MS--;zdRoH;R8_!k@VoS7GoCis$v*Jj4Jax5;01S zL$_PQ#sE6oWm=t~Sq$CQY&n*Bq4iAa?#p3z)nfQ1;imrN=ynL4FBs zBsi`1=A5q`8|?_y>K0}nk5+84RU#2(#W%m*Ap^_=7vY~ZKlCowrE$IAQuj-x8^GTe zjtvBPQf1iZZ{~rYa?wf@kfuifa2xzdzMws{KjH0q4{;qRE{7#|=j1I0c0B9D+njh8hF+cEXGq)vtq1R^!4=& zI?Rwz8RL%r_=F5Yj&Od);!nJD0BGJAIv`m)>OcS~WcQKAivaAD z$hc;kB?zpmVPNL0VytJR*cJ32ij(KvuDyHS1RO054W*x&YmV|VmH4h3q>Pbv{O;!jU%t+@UBrQWj?3kZfNp32qPg`pa zEyslt=OR^>#c|pz{zvI`8k_!L8&1k zqmO)bzOa)YcX+knusfBu?rP9U?YNu?c_iaMhV{qO6F31wLFA&Auf#SqWd2NqggrDdFYy$M zRsbUgLL~3d3ZYCOO22ftcQ})$Z=aHhBvQY$0NcD`H1~l5l88dMqc|>1Ae5?+OuTV! zAk=qAa>S2NMZ}NM7N|G?gj51J2_wC<&jtKxhz(BU^_0v*?Yhwt-@36V&pP>8w#a>q zzF`}sktifFuTxLGnbUOlMc(Lbmbpon8vw+Vrib1r%2sy*#?H*dnD&kXOz?j_TwLHb z05jA7Ym#DG%Tjqu0{MHUwk)o$(`D6HL`DW|6w@1G6YdS$n6F6?Vt7wYzV&YH^YYbH zvLf|kWN#bZ7_X$NDovAtMY?1qnq@NCNQtEY)LACDk4Fm*R))JD3@q40h|wH%Fa;55 z7;V)^T7$;{a2Cu@1wNP;zaoGp;z2kpgwvldi%F7E?Cc;TSg@Q(bz#M+8~|-UoEqHI zN0$@~`dv)H0~AgkJ=$cb?9o@4*TwsP}kTZMK5X6iSsDn8`a0&A-XehQk3s5+&*nm9xj#=Fn2$C7H2AeE6 zzJ^8=pd9=yzZHz)DOLnXeqbNu#{v5WT?9&_KO53P_6o>B!UADW!JnLA9~VewD6>&jYsa&#O7{W{)Bf<_{5ARhHu6b{nUxG{JLA9Rza+>8 zB$4|GLg=LWU#Q3n=egBT>{)|Z&KhD~>&^zLV|??Dm~}Pt3a)lxz6>E4xOYDr;BGvD zfj1-b{`bdYzOpXRP`)CMcQG@S4IJUnF<~g-wR|P znCrO<1XBk2z!Q{_zmEmRoQi7uAvZuAz^dNuPpN|_#!HMzWr}CFp&f? zZ$y&=u#Epwb=B8)L%X)!ChMQl_bi zXNot2?%W(fOD#CGnott#t{puq7Bm^X{C;7gkh<HblE#adiz(_O4YOe=4y@5F=`0A!bq~uNyN%^Uh+qH|A zd%ty)bPe1ix|%tuY-a3Uvhts@ej1dvfBv1`4yuj{W`jX{Yfh+B92=$o!uSWe>S(I0 zYfM%s>RfGUsyvCQb-EkpD-oD{p5DP?$OB{p{le zh=wuYHMpc-+1OU=z__X6lA(ceMV~n|s?2UF)l^D4S zGKwL}t4RRaxxPihf??cT$(Mu^WJu!UXHaeuVVBdP#e=;Yg#d~!PbKFhk;93Ox&OxjHW!$Re5t`b+uIO-(5SNfzlAFI(b@j^zXr1Tg8(M6JqEC#` z1dzDzfk-QDgbHAF=9>hSHo*o7c?uo}c}Wxt?n;1N7}(Mo8UaF%`St!tl6|{Bb)YY6 zYsRU$inU7Zf?qdfvykX)wO3?Gq#+{c)m6*olH#$lU06PSB*+6kKm=XOtYL1WpHw`j zgtsWlX$xP#7^zC}A}=^~Ke172$YP|})k2$gpQu6z%#tP@`KY5DU4M=4u;lf6JRhHq zUIF<0{B(SXp+YygW~=V4po#5xIz{oS1D~q!o5R|qn<;hjlpA#@iDEamvh?NQ!<#?- z22ZS$wf0hG-Gu;JJ>KZt2Q^yph!FQ-nLK6Ow5%Cfe+ z#TAV$u7HPwXU4FDXwOD;Xhvmec#EV0^MB*3%`bGe8)N_upR7L1+0eX5jih;wyyQcB z8}HkSxAbcP-fow~j%mI{k-LxT`|KA%%Wlz2Bvaxzkw`*eROST5Yz<4H z#Aed`x%WVJlG#JQ8}Ms>_H9P#@H$E)3n;WsX!=ALughG$Fjlu=^K027XKB5Swh3sQ z$B*qv{#ZaR0VzeNYu8COrd7W+t(kzy;&HR)uytqfDrrmbYJj^Z9)8s7AtyFM*xrjjpye+7jEV&udM);~LB!g9T3N@fMsX_yfTA+VqRXM_n#NyFT3(H?{ zF)XAwKbDZ@-*Q0>YCV?&Up2yv9j>6fyu2PC?}$q-d?-r4`)kx@rRlsem6y=h6|n`P zo_ir=>-AXxf!2JGUR05|!#WH>TQ4483kqL9kJ=k8yO-eE8+gHC54TI|TL(9XAcrB! z5+Z;GQcPKNmHJO;8fA$bk=*T|ID!{(%Z?28t-16p&RM)6u-Z~;T0 zkShkRm07tX^Q{?a3;0oO@|F-#Qx{ zY}{;}Y}x(G^ZutYOz>&Y!@tbVW^1M5OK ze?^gY2cjK>@th%!y$zK5%5Ti`??%Q0M9}7NW8>P4{%#Mq??abyslM^QrREHwyHV!F z@e(t9m+HsY`kSk_x3i<=!!8vKg?eS)0qRYqaN~rIsfLRBU#ee_vb;#{KI+i6Y!iTf z1CiXj`U=DEi1vGLqvQO&(6^zhFhiHe%gyWSEe=CfmYyx;{5%JtY)DflNOR96SZ@YO zJa-zW;mpT_S+=P(eA;8EeB-v^&$%-DOlZ@+r`#>rH|WQYo+!);KNR{0{qC=|8;)xR zOjn0E96alQ%3&pv`q`n(a-$lSXFY&jHp)#)C(YJuvB;9|Eslb$omtD1r_8=E#{RML z!Ayu7XxYxnxZn{-H36ZEP0|QGCrebEC1Gw}7Jeo~9H^Ce#5^EG(}1-X8q*`se_hky z#jWhKc&yi^UnroN;dWxv z2TB)>83b9J!epqef^k$)^WVc4m&QiGk97RY7rDxH||Jje$tX1=h z_AM`5xjgcz`_)U2Z{>JB(8~5beye__r?C~UnmE7M*K+knxTw8O z&t2%YvcSZ$<*m7QPs`qVJoDaa*>M96}CPDr#PF(5+a=_v#=!?}bH5jJGdx_)cin zjc88uIILN*K$c0MMejv(9fvdfmQ@vXZ-1D*X!8@TkH7NlPXUK}0n>4TCb_8(RKsvd_#L=vUa9>}D*E(s{@*!zR=%t0HG z1je8Z9NtXzV#r7@hKSgdTVY?pCD1G%{%Wsp9{6E=arPS9? V|D(w$%WY<2Zpx*q>gw;t1pt9F6LVzEb#FQE*1?)d4O`O%=>$V`*POa+c|r;r=$7+Mjn zxa4|)HfgDsOBVn-;O#8b0)5gzGmHTqF?R2wAQR@RLEWJcwsB2pQKSifPiL?gAtxZA zP2F_ggyz|sb?~9&`@On8_oyMIhOUUCi;6dGJF-+o?unB7$=8ZObiH-?Zbxw-U$6f5 zjO66pqsXhek2J#DcNPm}c1L$Wx8^m(yuD^c;+7qVE#>85QeCL?94(B%`i=ojIJb7IVXz(Jw}?(|@vNbFw)Zq)7Y|aCE~DildXAvjoLg%})-6 z(`NA84(MH=SctMt5nGe;qRVJ`aQITA?L+lZ$qWg|KN`qyz#nkf?sqW_Kh`U@ud z)E5~6Y4!K(t5~LnBy2v*cAz7L=x}b@GOh2J=^S2VIl0@wtp{{K+D9O1>xV!Ri3SEx ztTkb`$$`ANU9*D}e(1~v25!J*^}`Hnu!EQu%NENupz`gV-zOYj+HJ3WxU1HcjVGG~ z2}#oJ2x~u=aJ(Gj=fC%ScLI09R)Lz;?X(pu~fD!sG(E! z%_b%oXv}l#e)j!!&IHUdkpsb1v(gG6xqBG~WY6WF zSW%d(QfrAtXR^|aO)bj3D)e_4od4r!{5@TG(W5-1Kq&RwEm)@>fwU?78ZrPNl8@?c zVqrP6s-;)SCenQIfJ?ny1Ox>#$R>|J!PMwH9e;B$rm7MTe^4{6;^$0LuAhh^3S}dZ zsF3Ai#T_;4lQz>%xDiwd@XW?nO>=uRtOTxzbw`69V-R+P>Uri8Tu<}3UuoT@2?UuE zG#gPs`$1%>=!R-eUltJ8x1j?K7_~;TLU)CejbU*oBy`_?SZ{ESMxULKm)13v$29v5 z!m1&`%*N^+!M&wmnJ|&V3;~Js319=MUGmC4J<=*zt|G3xLTW!S2&5oX4NR1M;MSn* zrWuk+YyuOph}^V|NHxF|%OY$`T1nM?lWugJ4Zp?z9_u$f@7-g>mCsLx!+bO{8Pf&$Flo=CL2Y$vXr9WVhiI^K(-x~-Gi{J_q3qLgVA^GlOSb^|R zMODW{`FaHtgr5KhbB{Xbtc6P=-jK=ad)|4;$n~x$C$pZbGd$mU2~~~LbwBrS;k^sp zXICwKDvAm+tM^S;@P_)kQG6j+WGt=Lt*rqH2 zgKlyu5k_O@Y)tTKA>6^zkA~tUOpDbt*d6poUUEPC&sKmso@QK6lgHbXJy`u>x^c^j zt6%Daj4l5NfBh1H(|YCX!1q4aZ@SpA^$3}WdExibv}r4QME6iR&;1zxBpfmdy6Blyh0jP6pmFlFQd_Ml21{huMo?#^N5 z>@mokWYi3Hpe_)GKYpgl+9bqAWl53aXP;khX~%H-F5W#pf5>;8eAgbMbqZTD@5R4; zNKSn2Zo^XF8d9=an!=jfnK`>SnH$^w4`pxiD~Sx69+Wdl8CnY1JCPdL?d19hC5WH2jUb3eLUW( z(kRJm!ar_q=jQ=M!TmnQmv_gR@glAdOVUp^t@9LD(B*I3Ex|7DIdSbx8e5M)f6}v? zcx9lbVbRt9o40UY=K$#XTPn5woY+x2t~Kq=?~uHe#?Xsg;-=Serw0F--BGU`4VLuk zU;5PXo5pXdI=+-N*~h*taKqOedb#gd5vu#^eRWh_4;$!^!46^>hTn>h?29M|@PwY- z(!=v8O?kC+?OMLK<-f1HwgkKkugwDdzFkML0Ppuf1MY#7O_Y8Riw|&`nnX$>NJ?{G z($Mt~$wj*RuHNLt$YF60T4Be$Hl5NPcvC2}WOsoO?>3#n#C&WhIOV2ix5O0n8*GdF zE^l#)Xh3|gRtlnI`0t5`RMdyN6T5VX*ccrqdbLi%a^Fd7$VKy>b z(aoQarez{Qb?NLo0b!iBck9<*=s2gfe$8f&Z~HfFPtzm0eJjn$n5>6#b+SAhUB96@ z_}Ue|NXW!AbLtms(oJx5uQR_FYfbAeTGQQZJ%LuD7H27b_-_b=JOo~bRQ>gwcv6%2 zxbV2J-Ja~-DD#n_Mw^KNGJ}q=!=BE=DDyaaMpbby@+_=cpXLkW=AR89l->$0IA1Mp zh@d5=gbxVxSlq`;D867yaa)r9fiS2R$OP`RVIqWVv^!HUdw%y%iV$<|Vh9t%xK*tq zXu#g@C`9RQWc)=mlef=h5<_VGd1cR}QTQq9X2=GJ-{Gi3l6Tk?8r;W|7|AW>S<$c@ zTthgV%byNJoezcp_XqLnk5%`hph z4&lHnm=8WoBzI-QvG(EVDSLj%MMSfxumF7Vr&xKVQPxQL)*@~~I3MW@-L0qpiP={! z@j3hzkYGT3_TQi|Dq(?K3(|Uz|7DbQoUMIj7fV8|9 zKG+>|O(mRW5ahjaC6)BSZR!1f2lGCkBftv64kw;d@ga7 zcwbGM18nnIme8G3^*e64b#o_RxKWQ>MRuIRYP1B$IFjCq6Fu79|< z3C;%nPpki{8fe2}Qsc0x$x96BVncOupb8^m^RE;;~%w@}&R zkHEUIV_j0=8g-9#cx}T@7dBO=<`s7pNQGr5r>JCeq#3D8B|ejnfqBa~4+54}C}Duf zwiTsNjBV2IqnAd9e!$Y9NPl~j$!d4{we3RJxEz0lA-Y{cgU(zTCIgxZ0&jv4_eZY$ z#AHylPVrH7vyAUncf2U@NmMj+yz0l;ZW+vk8P#xoGvQDjxO3)n0Zd!nll&9Gq)c8;LB z@Pt^vaEjyB`7?`<&LHBgXcbW2>@T!V*52QgkPqP!UuHyviSqXvQt# zT5mgGB|A?TxKs2i2?0~V8nJKm&+=ICj481;coSwdGpLf5pAg2X59Dt2!K0A}td|He1Q6xU>$_nzkVP3m1qn??fLnWFiJSPa^z1w0^S-kcz zp3@;7b}7tSx6$H!!?+>CXz{nj(nKp$^sMQXdy1TPt=upnzUT374v)v zCsI0tx#W4%;Z?#qF8?pC%HqldXX>Mi)s$>!^b6y|58&$@LY| zCZWgc5P`}CKLh0UBh=Wa56Dr?ZpP}vJ52Op@evvDIs0nE;oUB9!(F2X5u}7)gArv76mtw9N$s{~oQ8372x}HG<0oa?5`f?$D>V{wD4OHby>~iZ~ zbqOyjfKvuS{ePDgCoi2ki&+YnlSW;>c$BQ9NzU*=e->HY#HlVf>iKVhVVY8h(*3&a ziPQac#Li!n+nVFOujTj!7y?d#o;;IT<9%zKDJ%djx{t?}`!O+neMw}!AY@S9X38@O zOLkDn;(CHJUKfL2PY>6jo&EUk46*0-Tfh$yfb%SUf_(tC0ko;5=CY)%P827J=l>Ez-on-?uCu{-{W&A>bWa;OE#a4zsC@aarDdQrD9wet|t2AN=?H%{?0* z5MU&@cbymR_pdBfiL#*GZ1pOLH?`_FsR;XN_(VFTPlD+QGY`Y7%{Xv4w(+ZS(qhUK zF#dG(5bVU$C@g2szj#(4A3;#IO=@vui4-0`AkL!UgUmz&9_$Op*Jz9|1tP=&)k&KK zsP`4EW>~LAM2dk?)QrDEFc=zJ?i+n>;D}SY6VoCxat$9}3dr>Kqv&4fp8FCT@t^g7 z{24GyRf@jpLfOOFH;ah>SR_5?N@()=&kyrRj=sIFuwt*La*M$Jzua)O7_>GwYVhC~ zRZAs#%|Y}oItg%54IxFrxIiJ0{{C`u@^*t!(Ey8c%Ln~U#sKW#ky41KUqHk|<}?gN{Gg>YL1? z*Y29St@9Ijf*)=+kBt-ge<-UuDeBf(EmAf8#KFx^SU#uV0z*^}67cmKdr0XF4$Hs% zsHfBmlT7W1^yTZK+qw=E{ew8niS20^|Vvpi-f8m_wT_(E^5fQ&}9y_U_6z<|H)=@I5(6by3 z^=1>D1iI`}jRMIj=)vN2YNf%kIYxQU5{Yc2rNjRnms@W%O1L#-ruY?80=CU^k7hZ!>JNAr6uIdM;;Fi&%AP*HpFZcm&&!liLk~P+f-&UaP&kzvKn%ew>?r+`Rj{p z`&~6H-ed%1!sbkBn*MH1R_uj;8J@ccAo>e^ZY;j(j;?IGD*mYILQoiW!>zk zd1W4a6@L#TOV&?NUb#r8p39AI%D|+Tg`#5c$|Pka5#cQA$D^@_2Tr%Q*x%^cF>lec z!5T4c|gV?kAXAlxlt^;}yCBA4(u;(=>0WgpwNs#N8mxQ=mfQeMx z^p#HlA2#-#9#c>1^;h1=;Gx{s%fI8axPfWLfn{5cGmNQz+p%!Cu0%cAF(AU1a8KwYIu94*{(k4Zipu=zorxyJDkmu>_? z<`gnSt#1?BAkK)pj1LrJjyZY~0X;*M`l7zK`3srzI*SOc#_`Ane5X+LfeoFF$^7O@ z;TXHlWtc$HfnC#os6OiOAAcwxm?CzxL&|kkNty1IU-{(o>}$XEyt!O2Md4F*?U>4X zy36LL4AW~M*(Hv`euo#*j0_jVE^(QV9SWZpB@1ba!Qduw8pODUk>Q*-0S(Nr_%&Bs z)P$$#*`n+^Iiw1M@tsdbKaU)W#ZdA`b$RR=@*I`HDE00| zNo_}ed_uv8=tKp}FJ{3}mq~>&G}0F9XQnI6WrG;zRX-p5?W!kJ?Ms*sz?f7Oh z+P(}W#H_wa=p7k5AF@170X8gsnUnk>$&FC~n%$ErcN}TTx(u7?{WFPsbDM`hLz0+7 z{%w{y<;3f)!@FdRzZr zX!M_b{ly)=e0AjQrLOs>$z~>cAtH%#2=2f#OgVZzbjDhG>~$~y2zZI*Fdb6%KJ>a+ z#HPw@NigM(5Mw63Xpf2iE9`t6)w;zH5X`@682R8^2D@ujl-)@5n0S|_C+e%&0O7;H za(Fj9vuA%hRoQ`cO!-QGLE#Rq6tqd4C+xfcp_`aG3Ui!N)x z{H1pg$W=;`J^m}!r}=Ub@hb14PO;RBrYiJWqOa?ZI)0rN+rinb4RLG62HD;isOF*1 zNa&3r7VRw$ajH{P{nI_F(-tK+Tk2IM*u_?u1iz*!)-Eq&I#p{0 z-z3f@?y`Duu!j$Hjgva8_a`>kNk79)tPx$_A3x{=$LO@iukYsQ-#yvR9hN>nazyUm z-iWA59*`1A)Mt|LaQVR4IQ|DlMFh^oVW{C3+251Vma_p`ZYqoVt!(9*qv^D{56pd)oAp`FubruQ9 zyv5JLx0k=n%y|3s0<+i(oKX!ZYVJ`OrtqJ3ayK4+QI_5fS_%iXcJ}r(L?=@k-9WlH zPq+fF#z9bu;`6m4u#wk&S+$GLuB?U>R~naBdxMkrJZ_bi^wv@$BiX*fY?Ye5QJgxoGm@cce&uft=;Ettv{ z%&C&#M@;-L3slMOpG@7VA@6E>Fu;xY=nGj*!!!C$;R{D@Qga`~dJW$2*UcY=i2ze> zYHf}=Qnqy7Y0o3`t@BZ*g@)}jM#nX_ZvnNMWh?rfm;wcFn!19N1}^SRLB0xG{0>Mb zDf8a1S*lA|CmN7B?FG)K6kX(-i5AVof6Mkknw6}0>GcUl1U|uH3nWe$%s`C>xZw;O z?Nw;P;=~oX##JP5l;|Z+{~B&ihzN-TiO=Qknz;FdhAEhl@*cdIuUa1LC##!Z-1Ii8 zVWN}}mzh1ZZh)DSQ~}9A>&nAEsD@3JYNQP$9PFA(nr^0%W;fd<(pgZu>f{*rCdp~E zTO${NO#%RPW&aQ>t%4j?r7|N-k zu8~sw6pgrzLH`Jw`4z-Y>QdVb<2G^vMed4LGf$vqA#CwGPhffSY5g~dIUqidMz?<= z^H~u*5y)k5iVZ!FtX{)ffF(0YMj%Ri0ijlS1+hh2{C~2Db7%Z60M;zC#CwLqUn~xn z8%g?3hxQlCjbp(a(xibLr+>i-+7A@2n=4Zn=gnK!f&!>n#?cu@`*3ZYXytG*CP&Pu ztR+lcP86rk#ePyQLO_;_6hp(C^qh`U%FL4(oi221Yc3(+X1S?^O#IR>MZ|jB!!hJF z(7u7K(~S1NV^JH^ zZ7a7m{;X^67+hEX$f~iFiHGl}J6yHjsgyP1bTVqrssZ!)tz|Loq}?1R*_OuoxEDg* zR{1-$Y8v0`=N}}<3tVoSq?hvYmRrsz*Nek}^bX67(w59_`1NDu7AiOHti3~%Sog8b zV-L?ZX@i@3D}egLDs`-2ap-SDXMK$};*&{g*cPicVac@guv{oBNlH1ndC;!BQ?_gE z7G%l|<=`9!87{Ne5HWa7PTXomI71Rx!Rw5Y|I1o@B7HzCiLAz1Q_V%OAu2lG-bq&? zC{^(>qS1}vg%Np(h#x8pEnwQCcg;KeDWooM7<$Qy4*ZxJ7Q>%FIr9(EvT$e>kqCAO z$Cb|g6GXlr1djeXTEGK2DMgLI)tIeFY*khU2W9-6IO9K$Vb3G`w8rBnfPX;Sj2xJ{ z*8T&*$bKVjy+74HF67rst#{~;ve=A6{mJ~DB)A_T!D19eh-%hQi1VDf1cjZSn5ap0 zb5b``_<%|Z1?5^}=x?wChaiM{&C4}S#63o6czjtx0t@B)e@jMV((DVOq~g!$*tq{K zeg*d_nwLv$KJ1Vcw_pJL=k>i%*%L$S9Ja(6SZLG^nU@I^w3Hcj$|(_sZTTomU5m5j zCi+9O zOPVAW0%v3AVoE|G!2q;iw9uBj^N7Fh z3;h6BGYcaR6Iyu|((3nzt}iQ761MqkRaK=?*|ephtCOO!zUCfExYgnQ!_Bki@^kCC zEA2q`ZZbRjp7;Ck`90@`Nmn;|WM5wAa`*ITmu14au!UvAkQuQ5!nfC!YTPh1?`n(9 z8SjR@`02(ntgu^`j39fjT~6=Rbevb;LSPV?NeQPWNY;lAzn{`&gw~}?upD7si*AT$X&XwrQGNMtjA`tmcR<5O3x(~t zm3O1PV2I8ie(2n}30&5CugiF1Tnk%oiP2@Ydu}~PgkhZWP-e{~%wzo;lQl08FJPMm z3IHB>5XdXjl}p^M_~!}uD-o&|ly&m&(~`>xO#+{x=8HRmiG~p>O$oM#qLB%}tGM>}s{ewVQJ;tI zRbl3#3wFDK3lQaTCWo}h_$BzRM#l4m0^ho3Pf4Ral(q*qtLtFzD$@!7kgPI;aSd?^ zc(0cg=KE22kG1gm@}rl$oMqnKWyT^qqzfqfHW%dZeOCV_BnU6$UrUM7lnPg$=+V&k z>S_3_j37O8x8w}XCjZNj>LXJ)bUeta_jJ9EGvkD*5KJ4X1D`C)i4}C7asy5ls3yp_ zfkfzmi0mdx+A8d`e5lISoKDI^sIJ!oILY1(1$v)g!1~sdp>K`Kz?Oua-x}E_(iSV% zK8fsEQh%L&nc}YY0pXi1^uj){U5E(%l%iKZVIzYTbui!Nnoe>(%9qb@&@+iQ{!Z8y zkbrUS#&uxT{2|zqt1!!n3{ed=fPkL>b4;*MpDX-X`sywo3u9A?)`6F}wma z2-uIH&V`(Z8#2}{Cv{{!Ulq5I;Foz}>Jm+h$YrY6zoOJ_luF$}4+yr+_(gGQ0T)g% z@VybP7`;kb5={%)Cheo4mN27XZmp;T@Z8LuTlQM61b`GQQWTu9f=QwPe~QS|*r?s5 zoD=<;(+{_Pw43WvJHB@>flO^cnhM*$Ih+nuJB3ZIpVpuGr+kg9OraYCmfnrCjT^-* zBwL>Mm1uwiXeQj|Zle8;%}l79kg&AHsLztk5&N@fkGGE-B|hzxBE*_m7l*KHRm2m* zGeuYGQ}3$7=`q1()iDy3`aDb@v5>xBZONKizn-qQ+fUs67hKeQm^e#72sC>I2!ErQ{@Zu3yg-F(t(u1O$6;o&t}Q^Kw(v-0HC% zUb>xmGkyD;dGKeLr9TcT6Cc+h;`<#4FiIeRENUnwLe-coBKX1legj3K2T9>Txgj+@ ziEckTeQO~9dcBQao9+X+vQ1vV_!J@L!d!O|oooraSA))jQ7k3ftgVcZNr&<4EeU^v zL+wH94n7v>%GhB|eg%IsEK{Renmn<4CyZXj;8^`2C7kr<_$+Ogr+DDOM{RZ#!XuJL znan=}8A4=1HHL6Fk123-M%&a{-CB`1uzTWF6T%_@Z|8~-W!D6reBt?~E}if6Tj${| zvtld+G@oAgtVlBdYSah=WU~jy<~scTf(*%wMU%C3I;~8~0#TW8P182siOAivtzh!B z#gqL~Wti~pAGihWhImDqT$%U$ltzK;Yz3iy=}sA~gHwBVxksRgo%%gRw?%aX52 zU-Rd?zt+I<914Jm-ykKW-AJ=s5Jdv3$upxmZYmfM4PKPigB7}&+5z%yg zo3!_Cg?wf})hF<3&o82PKql<*xGjZ_Nc%K?c88%|#IBfEsh1c(wy%fBx1Fp;Eloqr z{6u{WR$6T}|17h<9(SB%81?qgGw4Hg@I#e6QgZ6=n3M9uh{KVN!C=BAv@4W>x`}S@ zMeiCJ9BH6WC>uLyDDU?YR-%%_zJYY}RJsHj2lgn)7*4X+1cNQP^oq$<2kpIywTZL( zuT)GBX;>*UXx0_SA5bqU z@L+LF7g=Q4O&1IRHF8N5jviJUVsH`^CWt6_mDM1T8Ab36o&&j9O_3ObWY$zaM{F-g z-Wzc96_;yeOOW!i48Bxw!y}j_b~TDKDf)#U!0ilvbUV9wMmur}h9UocKgt)cD&hRL zkZRj0!cF{5bK?CKMPpTls@;xg7*@S3tf`_Yg~e=)@z=~Ul6LQ0v;~5I3tv$^EDUpE z)bo5(!-EqFi+p~ta4>klF_L)f$U@zKrwKS7&Hb+=#1*M)H_G9{oxkOm>h|V>)S~S+ zC}yHTc`v#o6$W`$1^FTOAp}M8ha4|8c~AROpRKISc|f6y_d1Rdc|(j)nmihuCWUzs z6@|6f*pRl zcZZ3W2Iw*`4FUM8&eRuN(8xsS{Mdlrs^mgH+uyh`rsmm7dWFs)N?oju#Ju4;%S(HC z4@@SrUGYD>5@={GwTeRszmjxt&Mc(ip>zs8H9p+N!EgQv;< zF?|tPK({xd64+|*YQ>wO+c%ouVZW&ujEt!h+CGKj?J4t;W0QWbNG==5ru3TdmtHaD z_F==agw}gZ5m~rU^+Diqfit{4Gx}yJE_S}cF1*Ot&1>(U5{#6WZx==(E>syi9vco% z-$BRp*E?roQEUahZ@2}0jRjy+V*$~D9jk`26OZRfQ@m~vP@N%pbL*^G zP0IeMTOghPCW(N@}#gG-( zYX`x95nD+0yXp^@b{>v=0XOXKm`?n!{IGQgh!uWsvo%6m*T?8;K|CPa*s2+KS{AhZ z16+fJkBPaPST#@f2(KO?gUy@3vNuCAxhd<*`{qlZ^%L`N-*=A|H+jaYD=s0`1j46} z8{-CJ=pK$BF|V1Rcg3P9e+ERzO-P@8ez;BsBO(MInY(I7vbTx3S*@XVT43zSLXWq| z94rI7n+nyrVhVebEfugANawOoxPwEtE9P%&S?z%Pr*q1Zz|i8LwILNv`w7(mfrVWy z*h}(;O(j6nJ*fTu!2yD>K;EI`ARAQ+QW$OZ0sDjw|M*W8yi0|dH03Pa+bs>R+_@_m-p@iusW+f0$8!3-VQ}O0t-nGb- zB}8eN76FrkpkJbKx8&`da0&ege|Lp+mv5Q2f~sDuVpX8F+f=uR>8#E_LRhRPQq!av z%_2FRQ|KNJb3>Ji%qg~Tty|;}DPQ;y&q$6<{@MWkwMD)oRv{tf5zQ0g`C|0md&vhj zW2yQRCv1+CJQ6q?tREjYfzuSt4#~6JeKZKhWAJlIm>w2Yye%%93a6xLov&dk16f^A z+%ULU_7%U|4e3_gL1ooxWDMJ*^N|46hK|Nyd%#l`vW4VIl(~FH)!RBWXiO9PD84t` zR_}iHAl}4Z$o^2)a~^+vNo4C_RgUS_CI8!8t-aS$cLN+K{JL+8#(SgW^))~}ra%?; z!jJjjVoWfIPqL;SFV5UT18;r^@f8+X?}(F70D%Z$cJPCstJ-0A?Qc~O@PUMJy#6X2 zdsUM%6^r#w(D#Uy9rI2cu9!CzHi#|U5Gpo13anJF6^u2KkBCuFDE@VLmkmaai?w%^ z1TCT~dI}Vdo0gX*O;cgo*s!}{ghdsmB>Gn9PhEBB7+lptJQ6+oZ{nd!0z=1Z+HO*o0q0oqQRdIvl z1h$>5S_`9KKBHEx88Ks(@24i(|g8mkMxt8ek&` z{-CZgCqbYs_PCJkJtW}R=U|$VJqEs}8r-fuPyLgM?9BNJW;5PVJ;ZU{nM?f@>PMReU_N?*d zehFx5n4z`H=XLK=|LhK=ELxd$DJc*ac_3$DPLXjn>-_zd#t^TFqVf~}-Du~h<+?zi zpx{AtdD;2yrT32U4nJuMYvu%Z#w?-Stu&8WTK3sw1i>10qncs6il*rZfxo5bX^8W- zG_k-l#|XZgojt>bAFP@BVhUkZ9Q)5CNns$%OVN-*P_Sj#dUk4Y3$K+%nE40$#6a7; z5}wWS6dr}p7xZ@wejssFVR=te1YY;3{bWVU-1LLe4bk-V1K6bx?&Kh6V0`GOnwh+0 z|GL?$axZ>i##y}vaYh)g-tM@q|EZY=hUopPsLjf$MyTcxD0kav@8nE5ZDe=~NIa03 zAjX|P$7vKr+y#wYPyRR}j4_0u4haImJK}3H}8)|A4#EdmLjIbA*RJV za+v$1Zz=p?MiSS30LNhCQ$yA}Ml>+$0=E&^)&h-^B><~~f`k|^Th&0cd?-02o#=Xs zf3lpQEF>rDgD9s1GYWy)Us{c$rn4({b>Q;5G+sy2ursTll1#BPtM1~yN7{Q)@Mh;N8tF476 zz#CGCeN{^>C(sHPbBL=1jq^ky?3d4u8B)GO98wK~me9~k_aQLif`2DvMI~lCpbG8? zX;iX9kPjA)<1~B2^JYv~$|G=7@?!9|8Si&y;Q!Z?s?9UTM4GAUL2fOaY3!d~S}Oa( zc=P$0^TFqpGZs$!Ve0OBR3eZfzV~QkPFiZiQI}hne*hW>I~rAtwhi`4BqIPul-4Dy zPYZP1lCOF(|H_YGc!HeRBu88Vq(>TxJ|BK!htfBEUAM`is}8lNikJ%WzE078;=?f00FL$>c}JCURwNQT;W8ZjaVUBwr(K&qbD2f^?nxDwC^U!HB= zv1!zG=~a*or#z1SS^e7?8R5ttw@@^8nqCcUKdO|4J+2YQgNKYN;ae_x<0O^7t8i1i z5am2f_2S5`!Lm_*bf@&F8lTsmV?Wy#X64a1V;x*F1_lT|5lg2T1^>H|C(cXC;V_1F zLt~Fs^F{6AE-Svw`oGb}qW^U#Wyn56xoEPVMTkFVJKvj>A9R-6Ch0TXNvxjy`c(Q^ z-lf~zvK2&aQBUKoc-2uk*?6&gS$tk@@K+Q~j`Ft|ji!DLT_57I{Twp}5f3QgaCJ-WB;PV8fu`GxpA=t;@VWHY^W;mwpKeSmC zPxwWze{@k91WgZG1~kC4PWWK{qY%Bup-kwL<$!oSy~EEs;22@Z=@M?CV4T*;LU3RH zhi_ZAxh*q$N!cuKqu4g0zk4niS^TVigO!LZ-QNJpReJ=^&d$l2)J!21BbEoS$uf!>rZWPC{!*y2EjX3%p-n{+ zzgw@6<424+t}h&WFH}Moorml&H7Q(Ca1ZQvBKR;2@Nq7D zX9MEalev&WB+0&g>A|GvQtJF|5u9M*(vCRSRzdnOp!T8`*AQbLE|KJIwc*0k%|$rT zBM-f`5|mw&AHkDn+WUu}Wc<_U%NlUV4`uM!05*J7*~Hs7Q;+*JNND6<^=O2@_5cpi zgvx))w#R+#dE-Ej_!`dDd7^A(mGMlST&%$lvuAziZBX6s_{=Qqsa7c0=dg`N%yY8f z3~RJQJ~f1CrV#??hD z9)CaZAPnr^@y5!-UipDI>+@3WHaHv1^0Y)<@1MT$QAKCL7uMwOyPKDnbdros&?d;t7wc5_IMox@~z|<$uN6_llSRb*h z6=B8PwbWQ|{f4b`$=B<dHZ_?*a4Dg8(28V9{L={x$}P z;NHKDH8Khv3$7?lrx4T4Tt2PYy1zylP;)O@UsMb*Evdq!7gNs1ayF4@{`(gJ>}2=k z52PcC^T<89xh*k3bdV|}hJzAFxU_2jv^4&?jNzsbmWY^_RJ$I00k)hy#i%+#LGUHj z1zBD-|INn#E)f=q=nlA)aSA8X62~UafnLNTF0ac=hXIWpUnw`K(*NYoa0&IA-luh{ zm*0OIJFcjkA)3q<_b&#)x0>OsRKNN+33N0P6_VX<#@)#I-Els(C$qa3_waSm~ z+~anFVyGoAwuMfv6QIE3E3N`T9~VeL!X-(7+-wXh1zqCcm&2~9{TQJojVSu&?y82k z)!22!4<}L9$aB-4`LAlxW|3`HPGJRv9_`D8YM97DNX$ohp9lb1&F zGADb3g7RK0(m>gTCx0tFBU0#c3&cid&hpSPu-k<^Q~}@=ri8N!(A&eUEk~proV+rt zBQBRmvu^6x>n=c#DTbyks&jV^Cu^p6SN2>A4#=(;sSJMoeT?<5f%I2W=I{BlSzD|7 zV|USh05uTq=${06uN*zXAKQ{#=Oml)bKN}^mVp+S=qI0-a#(Y0(+O$*uVFW&>Wa7_ z!U=;}Z%V+rn|IMCPAEpAWysPA+};44(ds-YRjctqiSkCO=nu0P2^#iLM9Oe!H^&WH z(0k*z2THTUd*dM&!4dVZ-zPiPuo$5*42jTQv$^{3Z0-jQZj?7|i-v2+a(*@jJ>HM+ zV^M`>2R>*u+*F}DH@N3m$g3`%woA8b)&C`Bx_yAnbVuh?+|c==7vtU9gt&qC?PjNe z=^eL0$Kd%#*bUDTG=^S@M7P*p!#V|9$^R4Og|XC#I4+u;z| zTXt%51}`*KWLwILU9)t=IyhR&e)FTYX`FP8GW53yG4?IG-`k`NbubjvxTuD{j##d6 zEO@-H-@dcL24e-iQNG#jXQH3FSJ@psUT{!kkZTeR^hhATIPn)arSOol=knF{F3+RD@shMqhsrjT{#!e{aMLIGUbxpx}QH{o)BzZ@pR|3d%53c<0&VI)(DbSr&Q1Gf& z!R38eD3T9-sxiw2iJvjnI*s#tCBIqo2qz!#zCBcueg>tM1|3nJyfk-K*aMUgU{S3B zJc~^3y6Optoe0tZ@uJmfB2KvCBR@SKlBky1u>2*(u(eLsg-nVZ+p|jE z9K10{Tw2|y;_a<}jp7Bs2M9*v>D? zbe!%uvQS&gs!pwVkJ$?6&75A%g#DJS)r`aSIz|=`zdZS|m%Sh0xPh}e-XAE|qB<)} zT^oh`xvO1kg@%KZSC52UKc=rH2{Au!yH}&X@Wzrin`g}0<^4to4}o%R)tOsP$u~355a$lXd=t+GnjBNGqoSb(0Wf5@X_E787OS5*1-* zXA%|@W*6b$mJk*fWn$%K;}#Ym=KKF=(NF5rAp~RL{x8)2FHa+wYvTYDLLa{M77h26 zrISXMB{xB;L#v}|mO{>-EphG)#ZsE}22T;Wlt!0{B|QSNwqGr}Gq|0PqQlMp5~5rq z!w*1*|9VlDf@N2NGbju4x)BCzEDPUuV-rEU=*O%SWu+4(r;VaRsSDi`K~OEG|6?gTJW>}] +\begin{tikzpicture}[every initial by arrow/.style={->>,thick}] \node[state,initial] (q_0) {$q_0$}; \node[state, accepting] (q_1) [above right=of q_0] {$q_1$}; \node[state] (q_2) [below right=of q_0] {$q_2$}; \node[state, accepting] (q_3) [right=of q_2] {$q_3$}; - \path[->] (q_0) edge node [above left] {0} (q_1) + \path[->, thick] (q_0) edge node [above left] {0} (q_1) edge node [below left] {1} (q_2) (q_1) edge [loop above] node {0} () (q_2) edge [loop below] node {1} ()