From eb180beddecedd3f0686d76b3ab9434bd2426aa5 Mon Sep 17 00:00:00 2001 From: Sankalp Gambhir <sankalp.gambhir42@gmail.com> Date: Fri, 7 Mar 2025 14:57:09 +0100 Subject: [PATCH] Ex 1.1: typo aab -> abv --- info/exercises/ex-01-sol.pdf | Bin 138164 -> 138332 bytes info/exercises/src/ex-01/ex/languages.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/info/exercises/ex-01-sol.pdf b/info/exercises/ex-01-sol.pdf index 93662d1e647e8072f1ab46dc7070f31f9464331d..f44876473069f634e8481a8ecaf348073f1d790c 100644 GIT binary patch delta 10170 zcma)iV{j!*w{>!2+qP}nwrz9b<iz%gZQGh;;)!j0lFY=`e9!ZKZ{0ul&+T7p?_Slr zs;j&9T3y}N3A^0|n~VwC^P_7Pyg&f0Qqi@lAV%Q<xY$7lel(C=tXw=GwJXe49O^|# zU?7XCHrfuxFE7^{COTOBROB#KiAB6p9L}82C5=xf>7tPa;Thd_YZ;sVnm#v*@x(oo z`!-zDweSfM96qBHkBGr^cYMNbj>OtaoRE9ccuajOw;+}Jn4<nvSp9E#qxM|ou`AAt zQnDSxfZ2fuT~TTtL-*iIe#upo5KOQzp#GiVAtT-XG-SAygI)-xs~cbvyQ_rKJ2p$I z+gf)3mN(51&J_(jTKa*1-mW|>*+R4}ZdeTHk{|$@7Z*>%>4r{3-y}^5hAkCz(G7O% zLTqENzi@ze?Px{7EE+5u!gGG+fWi%jwPa1~l|~SmPz;94KR@>Y`%S!lr0u5+q#zaC z#rrkUHf^7@Sg|y2VIG=_024qx-c%?H?Ucji9}C`=fqB=nqKxQx<7(ADhxmK;m>;u9 zff?m88qn5X4tCE|D`4CKVMove+0sJQH4)oZ^hkw2&E8l6)%v2RpWGC->iB}r^lL$O zp_>aIBu)$PygcYCRz6j*-MXs=rr3(b_b}%iY4c0wE@tuhV6tI|4{#VS*8~&Y_oc7R zhX&vNbl7bZMZk{=szUSS*tKuBJsj)x8bbCN9F7QSEh=qL8`Yad6|10-sNN;LwFU=C zJ%BNr2gIDo4%>PtkLjb$v(N*Km~ixnR9UbPvR*H=iEQvVHk(H%Uv#m6<AR`K%5@Jd z*fczA5_tpWJL@{(pJQkZRY~f#xVeL{Wq9UQ$w~*NtV9u@$Cvyel@{yZXd|*b^FYES z>ts{-;)U>OTe{HV1a`>7_)sSXa-MLy9{bf&*q%eoJQuAj4t=5qkWJfVUQ1vza~{Bu zwY;x^K@QHXd(<+qt_}iNxQwa6?_3_$CD_nH$#Q8iSF=#Jl&)61OLKOZuBI10JGgnI zomejdlhI*u4Hd+3S|7q-K_<BN%|2fh^HyQ0<8Hrxx)2NYr{w`Aq@%TW2z{?C4(H(+ zmoPKlb&HO4pE$TTl$)3tgZ4hnjeAz(fyy@lbe75^%d``61Qr^gr5_(QFEib(JMlf; zj1;6XvK9=TJ6cTEJxJxe3v1`(uI~8{<oDQY599=Hr`%E!W)6=>0!nM<+`3b8bdIPP zcZR!9nviUXaU50wCuncLUyR{Avzb>haDJgEyVD4<g?<ZrseYVa(yVrO3Dnj-ZjLEt ziE7_8#EZ*3d|NYsG0_pJmT9x&3OV<-VfE3vbZ~>_&tCREn<dMJaV=#jz7(0LezPzZ ziDpxsvrh4q!8-{O59Pt$kN3Pr9=MyRPh4KNrmQIHL&PLbk5@BmbN)-z<u$~f#PAeB zr6OvUy^B9z&&#`>SrL<WveQ{$FBa0j-yYuZh<8sutfj^RQ#UlG;#^*5;+DSab2_*k z|2n(f8zoPp%SnuyB4RxmoM`TbbUDgs)){18s@-I_dPwK6`g-7{eyu*X`s*xmPv-F5 zIBO%NBvWsoyNxo-D@fd^Qu3|jZ^vOZQdmwUxrzA2$DcZtH^+jG!)-@`g@O~E&_EqF z-dE5kcaq{IP;o>AP8S6n9lBVbtrNxK#Z0qcM><mp-iT8hCzA&fnC()tR2#eTP?z)@ zVB1T9z0(FIY{dk|0PWS>ykHzH3QQucasGUgA(Q+yAxfd{zpOk{FtydMcoEj*67yqr zuz_r_^so<Caydab0gF7Ypzi8dG3beWdj(g|Q8a5Ah^_n7g#0GD<K+bBC!}g2bRjTg zkL!xJyzH_Ly~6an1x<<_3Dwtr$BjOX*L-#9!DE+i8e!d0xv1#(WVN<}p9fZZ@vysJ z>F*aTXU+kh7I|fkR-=_Ik@#<MOT>9!EFJEbJb5eiS{P|QU}v6F@2`K04M1Z(<wj&L zEKNR-z|htlD6ZF3uPl!otMA)4HZri8eM@yVBJm(ddMmCUl#&l}l63SraB$1^ZR?7q z!E6-Lc2eOTHu^tC;e~Lx1N&{d@6=>=Ig001Aox?~FBC~%JaaHzOVJh$5c@`44RPZZ zU{^n}m^7f2>`zUqx(A!YC5L=3D=}rxvIX~;fDbEbx4s`+T?S$&;eSFq07Rp#;~abE z*l4|{u`Q|jb=`;bzc?}S@w(<2B&h3()U+$?ATuzW76;Q;#G?xP;&dufkwxraqaybv zPUgk@=f*isQIJk|_(u@prixH#lwXGC*$mXljB{{n(3)oE$KS^oHnoEjr|W!4HDw^Q zfHUddlf+65ul0NC0&~Vcn>97IIGqHFg5r9uXnbM@=JQmvJj{Qh7%WtNljx4Gv7CE9 z3j0`c5R*!GiuW+!_fm5W*<~Nk`*#23);GU!3E-VpkKcruWE!%ioK!og3vd}#Y!^)T zXcsNqmi6D2Pi7QxgHL^Z+OE5`me50)1&)-@g6}rpGEPg)N|~$*mp@i5sRyej#cvwL zP>u3o2pbr!M$9TfV_g#Z3K!WclhoGWz?iUilgypedoUZmY42_+G!y2haNK7v%}~e4 zm-6re8L>Q{R1?yS>cG?u`gnm9&!B>3C87hy-X%3HX}NpeDYd|fyMS@%%zmOxV3Fzp z8a3!8%S9w9Mr5RHqFh_4xW<u<#UaY%<@~*bkYEbK(yJj^(2e3?^Rs}RZ_`>;b48-a zPaYa{&U|Z#di+a$;QVRoGt8}1<u9u8`-|NB2$j{WUag$oaCs2+h97;r3&G+uin2gV zCk<{9{z0R~S7=RTsa?9lG-#;?cvAN3SnWpZ*6x%p%;}>3)Fu`j(~D>8RKu!J&&wN1 z;>+4nPyvO$upLh&h2_it`AcG0y)6nuw|FLqNk~@*SME@{Q*D8z!5orf_|2WtVAcQ1 zCZk!!0Q~x&Yd<wK=j;%8(yG^6LEl`kXS;50SV*K}w!p?Q_2BBPr%RszoHq=+Ybk0? z&01qCzO5;8dRgWyJ=F^FQ0c{ffC>L|ou<Ojk{N)Ncv(gP!Pl&!qliFc#N02?s9v)< z9-g8w`5~_8`^sKj7;(=;P2z4v?x#(!72Q{eau()Okut>OKcN!>G1gEc%{4>pJEx;& z#e)&B1``eo8SmjMkciv|)D#UCuLgs}r-P<AdpGF_>^{lGVs9Am7BdSnj}Y{L^xx%% zo<yH}5GkX2nG-Dyu+ZE3FoIGJubc_F>R5UCPJVCjG06A&7#|YYz&)2C;A&rA)~_M# z-s2fC?$E)5{zkWiy4U6EXyev`8{jL^IvnVE0wz-pGokP5c9i)J-0H<&+CQyF`Vc~U z>2S(-TEEP5E@W=%*-^KHzojd?b%I;l@973x8MjdtpZ1siMzSVUw#x=z_?&$ArR-^A zuY8Uh5tGt+7v$wZ<E&ev@n)FNDKbEG&!+hiRTVoC5T%bM4?P?Xf1s}L{nK0i-JfW3 z9GH;gUsM`jp|)@aY%KiCwC#YwLFcvnG3C=00$c0VwwR#K`&f~}f9wR^Z9EM_W2dvQ z&V}>Iowo&|O{_}o|I~|~N$!@TCMWciT3XugiuSyh&x5dJVlQwN4L&5a3!OFE1YscK zFG20UZQ-ro;zROmr1|)ZGegqhEcKPJg)KSe4#KT?ViS-7b=|+SMX4qkO6}nO#By)I z%XV#<xioBD)OALF>6oRuI7$h^8OxPN?Dbe!)qJj7iBgegZvXk)-ffZvGE<&Q{7Rwb zh0Z?!PcNmOH%S6aR0_t9La7iz;iN~jq=pSXGV_z!-SMH{JG*f2rGx%&&EvH4Rhq&@ zR?FIHhw?Q6@S2T~n0VYyD^C#5th^*QPs1#7h;kR6Pb*K;9v=;Pv8a2|%1%drFzZxv ziLDrZ{bj?78~Uy-FDSwPmzSjp{{mh&?|QxS5v&o8D4rTi;=@x|<`exn-ztmUGOyq~ zpTc-V#OE32-Kd$O<mOQXoChxRoi=5kqdh<MpEdGLAZ$pS>{^f+19L~t-bKO7PHe3X zW5hO>v`@-e=F?j}kV?6#+=iDs5+0t0+l_7l+f%rGR+7@-2DDWCCl}QDp|ofy55Ntl z)#$&Q5U@?0@zgJ#jJ4)<8D$42r^t?$Y%T%b_G&8!Tk;=SF_A3zWTs!t3;LyLZ@GUD zc19Ef+QJ<4x*&m%3<Wh3P<%3`snOJESfiVK$thnxJ^T06U0GM*^2*8Z#t;mb`}6ki zUiB853)qO5PciR)i33wjpFCA#nQ{B9pT<O?>v5(Fo>o9eI@7zVbXlD`(*=uMdkr#7 z&SUSU#%51xCwv5r>q0xvGCH<Kt^OFA!Vd1h!5gKU*N-`8V=+O$)6E#H*u90dw^gBm zY$eq-iOXQ7^kJ=5uP<iO;&48FjxG&__$&vP#dIp`{F#ZzTXcbNh1oNNR%NXp3)~vV z<TSMQTpO^4_Kvlh5K&;N0{SEemf8yE97evAn<+n#jViFaqR~rpwR*K@EwgZ&N%e(+ z^i-;+nhf?{@N0*3#3;9^<g7z<u^XAz8HvI)9#-ab)as)@+q28J^Dgci5u=^k5odxS z+ttYO?;Eo>M8|uAljKdQ!*WH>zovV3zsJ-Nr3bfB{K<FSVUi_)=@T$h{X681p7{o2 zps{>kX;^D|sli1ha%~jICX(;1p;ep&j9}0(6rKzkT&{YFcQ)Oxpx&O6KS8Rm$uI;4 zM3Cm=DrNS_SnXHq!3|M`VjCsxKDz8GRM9w#_S=RNs_rnUap2S#hNSv_#^RcdXl%eu zs$6>~W*l;y^fJPJUWE4%lfd0)Oy98>fM^22q<L;uCDNEbMr0Cr>b2eRb6o0yhH>Y2 zKF|c87SkzrOd53-M{nXi-I6I{a!Xn@KSGT<99lZ~V?{V&A;(d_X$<iuo&~3d$jReK zRlHtdQ;X+5ugbn6MH=)NXUhd)&zaLKajsJH9{sWIk(g|&DK_sj{iYFbbGCI?aCziE zpV5(Zc-3K^_{8U>qHw)mk<SSZjP^4Hh>sbnXpCva1z<gUieoNk+B7H@89symI@*_~ z`B@ygGOS#;;BK>c{5oh-=wptIrTY|Wb(p{C#1|a40~PU5Z}&F|?zLN|2U*th4+cp} zQ*R`~SQ~|IXWCgm;??j)LOa2ZMW>&qU46`5IZ7XUt<}{pRxqqx%F${=lBb(%;h=jG zcR*-4yp^-1ho`%hnbW_>#oQjAoA+PG+=|7|fDYi{{13KMM8g2^{)=f_%S=$=!T&#H z+b#hKwEs^o#akHyR2xqZg7X&vVI_#Q#`w1*gZR_wT5V#b0RLgrf~NoAgRbLg!1+Ko zH6pFr3CA#?+Ds(SZ$H9Ti}XEkkV6R_I5&t5kr<MVmxt|Nvkv^OXW)XthZ!{2ctf!Q zKR)iQ09%bSsSUtZdm6$f7U#F5h)_&d)H&I^_IA(B_5>i?>8NfU1$cbq*9viH)1pPF zk;A#GC1YbQ;1#pUXxq9#L7DXpqYR<LvD6`mI~=5)+fn2xiNa+P#@%LwgVP=oQvkl= zamXmmLZk7MX@TZolrfOa*q44w!$M`49HQ5GO}ZK~=&NCJ%K(Pt72Vw;6m8ypAzOaK zs4P+N<9LijIq8cK5-K7{hBN?eXmJT;pE!z=Ae>TNtTakfRF6JhvP{w_*aH3=?|wpg zK~z6-oc}83G2k>%9T58q?6Xe>r9fAnhCs?xLsa?Z7m$qR2QDNP1fvq$!#W{;MGU+U zb#cvLI4r&pc1%-F*bOWnF$m2aFs<?fCfV{x+VBS?HUAz27AP%JZo%R+{9U63@VDNa zV7Lrkd_B!FIP3%|O%|>K8R2NS`UZv$cW00S(r&d?!4&&)qX~W})SR^p$}2&fHat99 zEg1*t9vGHHzK(I#21iWM)CR|F;UQ42l@v_@gG~XMeRLkaZ^nYUeT^6(WqQb%Co#Xl zXAOSFclJW<vloU@28F;=>``OW1tC+<8vImtU>N#3I7?8a04sF8PcL3IRHh1X8-g3k zc0i+@h}t1$PzR3yRU3G{!Lcxa`I&k0uKqAL0tET8)s3BKE~fZ=^*tX`1cVISsL?&f z=7RHRI7@GDJD*}_Lh*Pw3lGsaeSGtH^YQQ)RhpPtLkeQ!;l21{S?S$mPzM~J={of_ znZ>gCj(#oqH^4APg)t88dSC~$<gXX2xWB$~t-1b8O1Q#tuetH=Y~*MjhY#C*PZu$Y zGH_BLTH__^kd$j1jY)3(9YY~UEIhayZ$Q7S`^|*pD>5lQK6+$7UQzbx{Ewx&Mo&_Q z0;g~F{)=E+t9}XYaY;;exMN$UDj$Xu#(eaxqUX(`wL?r<#_ZXhbV_nKe_9lGjHM{t ztRzf$@NC8(S?YAAEwBW?oET~*EiX+wA|R!U9uw!;P+6YQE@ET^>s0P8a!pN^(kOe& zJIhr~X68x}y=sdOz&GLnt#6s{4kp4W+Yz;X#XkPK`jQ`EgfR_ei$Wv%@4Pq@-6S!V zhVk{dRd%Lp76-m{k5zZZYnIv(hyy*oK1TXqJ3xQ0L`{~fptP4&Cz^h)DC+(lcA%f^ ztw4-RFJTQJbX%}4?upZPY8vT&joPJm`L>~l_@3J@+8}S&D^4S-XLLdMu`9v2XOw`& z?P5YwAW7J&lurJ#Wnof&PtU(+p7&Um#EE&co9M9%!znMmfPH~ldVTApBrIj@baNz& zGAt?EmS|AmWn7_ITEAVrI@?cR5eOfUe=XlEu{1gUr|s@*zU|Je(7rRlI6PTp(cAgl z$W|~)*6E>?ui>Q5+R2f>_IyO5v&ghFAN`?N8P2*;e@(hE&m3d6V8d1uTyWpI<Tg5L z*Sh2z0F(?@fvJ}0KBzX;6=)t*=j62pSAl1qfIq(-+j}{v5^2zf<9xgC3XHQZ#7CVG zPU1JRRgue?wFt!7)I**P@Jvpl#YvzT{BGYyP`^>u&CNC`8<d?Ewd&*Jwt8A}Kt!_m zS3@cn=GEw+zqF@AeBhS#0Da&}H}U&nCk09x@%b)xHu5gH#(E`wWdoD?ZT7THiBe1I z9=dgjkg^^>L4u_`b8gJjBCywxwZN}!Ldt=VYT|Tp75QDfp}n1pU6na2Z8;wW%E)$T zHM3+^>IiJw1&m`sSs}NU!VaoY<oB!hnp<@{4R>mPc31uPyXGh13!k~pASw4Bas7|I zLw$d)i37U-N>%fdEbt%f%2boQKn*rLb11Q_?7pPHTtLTd$M<hfO9Kl>S0YvZ*1dQO zGVXpC)Z1_5b#3qgj(kSv&dfVS!d9KQezUtU!7pmU<JUrQ2r(VNtC&HZYs@XSV>)sO zsDgst0Yv18R>4WyhwN{^xpQf8$Z~~gI%Hg|XgHC4m8m7|2sMAqnBNO*jIHyGwfCtc zgde!_GMo-?yj0NJOaU)>!Wv&r4j*1-Mx#uOzXus9E2yjNVU=!81e1XVZJB?g`?pLN zRbr>yEt?LSzDOWI|13IsP3Ew5+Ylkz{?Lz?`K#F^>?X(vG~8YusDcLF-uUq6U`BU* zS!o4)LafY_A!zgH{WPlc5iY>|$hXA0sl>4%Of568(`SG&>jW0oj#8<Jzr>w4^%1Mc z=sw~jj;(Z74#a*<m>M(Q3SgP2_Y((8Ost&P-?~NWL^NDa?NwU9GV|I1WufYPtw(7s z{xFFwyqP|n9WE`5q3@kGZI3=Ebj!MJ3l-?Jx*Sg2etYfaMgQEhUK@@725edVjMm%P zR*Y@@jWp`p{}VVTt?p%`%@OtSsc2Uj=};;C79@BbZJ_NpfGaE#_|5Ou-D)-sXNdNM zcj5|f=(bXv*D1m^pbB-j+*<~c;3C?zG>AXcJ10OOSc2%s7aD*!oV4`ify9g_9{GRw zeKrnmQdZJ`6@Z{1DT}n7qbKOb4-e#&DFV*(pO*bQGXVC#oj<u~3mlX<K@TdgkpsO< zh_$lR1`~i7R_R*T$2tKZ!*xl}(gZbVY+baKZ}J`iWN<*&s<jFO0GS>AD-!TQMe9_c zi6gOA=nYL+Q1vB!Yxuz~IH>dw-9PmRKov)nAfzkNR`}y07?9uxUF*{295{f7<6i;t zkB$({tY-yB0=?I8wklm+Apv-}{-aVXKQI89Wg*~Lt?^%E?3u1b;MkqRtl*IpneRXU zfhL;Zl1!OVC;!0i5b!SI%zu`|>WnM`_o4;o&721ZV0NNSfO`>w^JTgffn#;%pMbLw z0{GZF|Cxe>hhS%A&0IqO1jF#KadL68b7mSN0to*n2tfp-An^RVZSEePq?~-2#YNyG zkQ{96oc|Fr?fM(;1U%S*&pP{Rd1=cDL{;+T@^``=<}#P-^g^ndGFN!9mg}14XP0M& zoPJaW*jO9v6Jw+9IC;Hbl$ojJ@d`6t%GvIU`Vkd2ISON1lkwg!$I}(qg`s?xw=u#E ztjWgP8YtMwf`Mb{X4|R?As18$Zi=!F+4C>gYz7EG>bf$RiEx||eYOduNl4-HFhTrK z+eECkC`r0isYXw130{qAl^8e;antApMLK27;j~CwK&-ARUnE1}B7_b9BOywtT}%)% zR6F`y7ndRd&Adgn7j%!f$gt3{R~{Z!aUy71H-@>=4EgX6W2;rB%_{C9Cbm0vACX7( z%A6@sl}3Hg6pThJttpQ@kjWz_{=jTPGnCH*SyFe(7ikCbz8a~*qQIbq<6gXCj!~F! z0V_<4tYB^W{RWIrJuDEBAVr^D*h&AwltCF<g-G)|=>~ICW1bOuE`l{5B6P1Y`g08o zZCA8r)(t?KN74M6CA*vt060qVBlLd2t-uF{$l%uLk76+V#vt~^&j<mZWJacsl+(Yv z+n5t+JwDzdx0tAXb$ldepq>h7&S9B)YCJNy-~--XE%g@ek`T|hjB^xR^&2HrzCsc$ z-6{=g@;&XFeqkY8)0^7p%rmF_%7ZY;WZYn(-f-072Av&^<}wbvwwOcv=c4LdAhrTi z-ETiPW;iW+2}_f7HvZs^U^Bj|<W*3zWcN>2;vu3~se6S-?Dg}`{(zb<dSV%Pco;VK z)~TJRB=7p3r*yjZ`Wrf+kxZiht>ZnC3g(EMVI1Yc7(P%a5)oHd)Z<S75Z+1Uw6c{D z!NxNDIu=kJgHGiKcD<{u_5gcPc%%m8&Un%O;qGEHFo)MHJn4LA-u^M>_0)K#vk^^2 zlCidt>bY0#Ns^)&H_F*t{wYhw1s7x%u@3R0z)1G|IU4-auJZB>_*UuLBg0QhDH$t| zrAyE7Wb06Vus^E7ywFy?fl)sJCXq#$*%G9ZQdd5olp?L$d&ZA>zFm-XO=k#f*lAq4 zsx8qfoU!+E+5tN9)IU$-ugKwfMRpCN%H!#l1;|vk&v;67=mW<o&!pxb?Vf!<Rbqdt z(n+aT@V5kB47d|aKHF2|AT{&nD6jt@iLpuQv?j=0jpPQaemsXBe&&|pjaO4u4aXKU z%yu8vT!%VFD{&((L){$&%<==R7t?-RYk~o{MP_2G3CB_el08pgrxbF@R?JI(kQD)y zcHlwJWX%p)?>Cc658#xzQ&~d2k?Trb?W!gs<`x9VCmMwoYa9x3hU(lEBXaM=+u`s~ zoEqzNmh0?d2)cxH#=1Dh*jy^VD+ukAU8{4kn=(?HE2I!75wml0>ZO1i>UXRq<}p%~ z;#}P9jPabxb|lf&_W^Q9zQho<a<X@v$z57gVUmW!sk2cyvJJ+=YZy)Z0QwYLy*Ns` z@3b^;>J!#V1vR!{`b|pDDH~K&_q3d;tq5T;w&ZL-2{{kRF}W5r@%aip$$Ol!?}aDj zR?BTt+tYL^6Xb}sTl#=}e!gE@b`0Oh-*=S8r;2l=Dw?g;G#}i}db#3uO04B-W1+B) zO$X73lxj`YzN+Cf%w~8r8TB2jbUA^ZqwYx?{#0@9-zG|aqtNP^H`fQAY+AL)FUc8& zg8mYmGq`jF7b6oiD*R&bLo|&fSVTZpRGJ7pX{w-`rfAn|s~ZDeR_{W}*3QRSsNa;^ z%W9P~z^*9L1=brPjekdl_xWQ^bsg0`Jb30^Nn=wV$d{$k7!?4nC7_xhf#|j`=wp9` zVCxky=ouh}@&Z7XWwKGNxkRkEMAR2a=Ro}ReF9^fTBRxJDV!|sd0Vu06RGWk%vm(p z6Eh~gUW_Es@}LMP*NNzZ$hPwn`ryG9E`MzGOo`?4-nv^n#+Bk|`EI&eGwhTVoaWH) zG5Qy)05yCgas1)jyN!&^jIZo=oVfz6m*<2TL~Jjb(Wbv@yq*ND_Ao7XNu2p`A^a$W zpNnX-8iA_gajBZ1<t=fn(q_^6-zL+<w~SC<T0FpH8nPBJq{>BUUI&@}vI&(}0+OYg z3{qj-K{ex8_n&ilazd1Vv;x;SE{Iq}bB&CWwA(iQm|p_{g)uM9L*=>GuC;OiU5hMi z_zib0tSXQ`8rh*AyqtR{T>Y<Y+OEZuu&NT0W+{+RRbmBA85NpZ=Vze!bHnQ-L^!R# z1tjxX1gs%25rr$V<VXS|!s$n^lQz6sR>fkRc05lo_-|K8d-<InxaAsR<FJ7~ykkuw z-yKPtLn8rk+`p_cFV9nR?~QYpM9q61;c1gDJxpnyGrcS6WD!>hiThV{1N9gDq3J3o zu){en?vSm6Xmvqt6x$Y01r)k!0-+}=*RUvqKfk_!wSNVHpG)_{!<~XeV3B2D)#vtN z>1Pwr*wADis92r~d%d#SSj>)piC<qcZ_#Pj2N!h#fTm+11>u%so{V@s_tDgek0)%E zp8;zdo)I+Bg-o#l{Do%1O|GreW3`AECycKw3KcJfSWpVidh8Yxc~l5lPKmF;CdktH zu$?y`hzi(zOrY>Z%(XufglLG1qI)~Ku~B(%DkWelN$eym@F~gd889CS+BDRgA}lA1 z#WF*y0bbhvUUcI83b=WFyw|V|;DjYe*KQK?e5avb8-(1jlRY^4h-}NB4v7p-`JL3u zra9ZMTyeCe{uqz}g*$!j!DejTYWMU`FU$-au9-0RgE7Q>)zSSm#XkIF#U$&_yCcuL zo~omH^>*WS;ufK06;)8xS~8%B&==ie!^|RZ5A6A}p=06m`1i-~CC~il%Mz((xJ~bF z@{_F3Y6k|&#-Z9S_{$E4+1S*{N8@F!-7-ICtxfozmGQ^5SKnLc4~bd#c0!ewMePG1 zTVmev)C4C3Q^x2%!U&n6hA#EXXfo!Y>_L@Z-rh0j)>E*zp>V>n^GK>WbjIZ#kIB!U z$LJ)Eu4IX^7q9W|wJs|$jzx=-g2L2|v3WYE(Ap%fw-yk?*`0fG4E6HDVSs&P=lwj* z-TVCYfbkWvLlEzXpIgbdL$SCva3}}lcERo2`4bbV&v?I8S9_`r{&9RWvoYRUh@A9{ z5+!<px_}rs1?PskXgMw+WuT;_uVas#k9rki10K!TyZKTddOvZdQYphyJTq9t-CM=t z_8^y?EYHre2`-au{NvW3#=_Dd-=sGu8V1X^&q(btE-eTTtC88{WXfDB01q5^{@G<u zT0(vH`goy$7F66U^zQ6+?eQFVMZ2)I?HebsSK!aG^wcG=d*-}3?VI~b!MLYn7`WRq zm#eDEvF5bv?!WsvvT)Y$zP&X)tYtH^<2d&n=jCnsPvEo~HBa9P1?RO?sqj75$ON{> z#!W`j`fbqfU$;*VJ`&~ItesB48J>~4q@&zA(`e*-0oLJt@7Hg<;py73W3hXIBXKD{ zjPbVjR4E=rDo**2BHQ&9wD+;Jq;Xr4cMC4jlN8$fOcyb)v4`q{v42`^x05t6>W5g8 zC!g5gLEl{Lha`1oG;+^Aa{}x2#$zzc<j(VP?kBF;YHn9xbMd8r_epUAcaA8i6?^j& zbw8Zx(OJoj^<_fA#5&>JM?7s}@tb`laN+PFcd2nvEptu9e!03)So0fxL~lHmph|dc zCU19S!^%2u^}s7OJBdM2dgs$6Z@15ok@9__R!gx-+D$S4rZvRuq;<x;GS<fwfp;q@ z4sLgB&7e!LjbnJF-Ck`2(y9jEcPy$WiXS_vEz<_5Y^jPSJNXu;Iw}An4(F<qGxyFq zUu%-G{I*Z<8^lo%Nw-oZ0yi=UCS_1|Ci<<X<cuv_d(r*P^A%rOE-h{G8&&u%ZE<e* z$f5$bet^7^#&4GZ#D;Zu8#BAimN6k2KXHB2nZ&5@EPU6>C4TAxX}_H(vyav1Ljh1{ z&N^1c`m)F;xnC0<+b6yS)FKHTeyVOnel+Yvo(K91k~Ny^T4K~3{l!9LdT$HvY)_$d z!6L=C|B-*KCWp0Kn!^9NQI`78*Oq!=7j>pT3$j8hrD9TzYq$Dj%^a>oP2XH@el~nq z(k_)JpPuu#KGFYaHsKne-;g}_P0I=r@N2Ae(npX(gXrFK_5B+V5APeKVb!ba&DC8! zfg}ce%eGe};@LR(;8#$NtCO=N!QOBbxv}YMDEUI+-EJrO-@c8Vl`XRw7eI!>&dN?| zM9QLJ=VwLw56(Qm1z?-;{p0D>Nm=BatzG^}vi>)cBsCxvWaZ*z<>h1N66fRN6qDeQ z5*KF`ljP&$<zQvy5tCx$5&pkWj6ereBtUjPQek1z{|@;7z9;)^5-m=-D5+tN-?k$g zEJzqQ*RpK-Z*3VQsgJH0*Zg{PzFa7|P-~Q(Mx;cdR$LXujm@f(4E3};6+!)km>-eF zM^BlZrnCaC9fR7RH*E^P&3(p1e<(-}@frrhp{Acfh_?%x3u(f`0Uw$>^X=gnBf#3} zQ*XyJ#GuYrB_NhtIsw`(bs<`e4AtBc;2lkw0HZC*_8fZ(&z8DS`~8e2=vDDZimfUi zt11mS1mSspe1k!txX?|<d{ye-3z?iEyns{Y8l-tZeR2e0o0!0HF+{+Pa(cf>5XljA zVZk1@mssYc>VS7Pkm{vuXTNZ1;2wD$4yLGzo$o~Dccd}xAaNJ8e=!O3urO}$rz<pa z&34drC!#nW@}L<nK;{6KFbabea+noBbAXu_dCywI{%y&HIIPtbnR$pR{e90ohd7NQ zNg?P8UU5h(oyNuD$WG~4Z=rYX02&x<o2uMuQ*-CeMx5Ob#PZF&7b>xloQp0%<Gugk zYaWyBJ1uBfJ*h}0EO1YL=QhN0Ba22^tDVg>I`;eW=NZc`mAZ5pV=2218i9v5`Cgd! z<qrz2M)tz7v5%df*KF6^0J|3J^oWCX-51o?_oZIRNqtT1)_zB=Kg7@Uwft}6wRsn% zXpNhiCS1NN^bK$42|B(jBtpjDY)hW|$R(uR<BxImTFFuIFIUR$%s%pvtX@$>D6LO3 U;|KsG@LZg%@KjV%D$?-(52WRVpa1{> delta 9978 zcmaL5Wl$W>6R;WF-QC?6cNPs2+#Q0uTY$xa23_3UA;4n6CAfQVcXtc$=Ks5^tE;-I z`!HQk_jFIqmzkEeR>Z~@!~|S$y)9F{*f9ze_djBUsG>#?ff-PlV0k(DxDtVQ5F+{+ zSWu0vE{4!Aq?Ll+mSS=nMj@Drf+J2wHeH@?Wo0j`Kg6R90x}crCSoTYw0w7EV=LBQ zJ^N?PeT?SlJ`BfF9BQvx)Matj$Ft{0Ut~;0FsZ2QoRbHZMVm^4PZWr47F^M*7Lu8j z+vV}8meCOeK4y16WvsdMLe-vN>WRZDd;+1`jkrfal7qN$Fq3L5;S_oXkQjBgqLZ?j zsPXqR&EBZ<Ro!TNWMB!2XAULGQqaZXpz7Jt5js10FO-B(khqNZhy@g^L#3gpBX2s) zpnh)yrbinqe<JlPPqJeM!D}E}x2{jYnquz6_cC4(v;C#L{Y39kTDA*S_sulk;20zr z8?@zPozDOUREa8NDO1GTA}O$uUS*Jm1{M-F+Af|ky-(?@51(oaU;pgwPgxMV{V5DS z#SCKqB~ncTJ^hmUX?(N#!e<$^_)8D=@M!oJJxfx^Vww%-SVt!A_>Q$aP!e4qvaML0 zFGnMDxM-t<T!1)L6R{gE<jY~^I0h<{rH11=X|stlIG%P;_`0#B_FD<@@1&1f6|~p* zt+ufgGV~zLPv1FcCL7Y10@=L@pQ44rD3Z$+Bw<rH3<CJckhnHkJZmDUu=F_862H*j znQ%&YGcc`@*L1l>s6`V*MD{X0UFC=#O@`7zUDA`w`39cZ`(rlU*cw}3wMan_rEqoA zDJ?2YtMqS-j=zSp>R%{H<XQ{G6spY~;AvE?A`2w>zK8aD;3_ZfdLxUEWI$1SeRqkz zcU8&+hA@T6;sEkW5X1RKF>Sb!n`<K1FzJsf_2Q|IqBUH)w9F>0JzJG?W^&y}9|qc7 zkX?F{Z`x{U>3;9yg9RHJ(EUN`8cN5lDdamht)odD)$yWLvJhn*+3$WsN&sV`6qzH^ zYEh^CKQHd4w!#m_ru<(w2wMU8eeOnOi%2q9-8_yg7#pK!dci?T_{zW@D=&ibh8PbZ zO`!4aZqhZou;p(STo)Zo0^DYExIk!@h-cz=%@&$^Hz8$NJ@$q=H%U-w+SlOSBy5&L zuDn@8Y14gG&jf0ML>ocz=j1qp86)~BzfI-oDj&haX`8ub-j{6vhfX(eXTM>@j-C42 zEuFE2dJ}}LFfx4&H?Ex3o7400o5NbyJy11BdCDx)*G#qXG+jUOvYP?}St--MC@RB= z)W9PBtLA#LD*dtHMkUCS+B}1nsO0uK=|E(~l!baxUb5~_XAW_0Gb67~A*-#$#vol- z?rm@S*FQHk?j*ZRrrx`l0Zdy)Zz9S|q~UyF0kK9RgyW&fb^UTAo!@TnZzmh&D=Oi0 zBKjgXk5rQX)bh9m`Z1l0qQY2sTkWHS_<2}bcL@BARjmcQHRXc}Egt4?b_@b<cRYS# zPw0~hzWDz2u1B<tF5TUBLs0T{adTkrS#7mE)2bW0t8D&E6tJ(9Aubxn6v*te+`T&G zKdfIvVC7YOWVz_f&Wco;lc%b~l-PCDUE^WbpMOv>oR%O25<UfsWtG+N@UO}?T0f_l zZfc<_zgu)q(9D5^aIRIL7o~#2faTib=lz6%gelf7GnQaUg4l(UeY9SagRIKCN_9Tb zQ=0ZqD;JS6{EogVdMG^#!A1@ajRe%wn>3M?2HkIJh**Ar>BxEVCXM>Tn^F$&3+0(U zb)9>i{pYK40S<U9&mxtt--inss)YTHiaQa#d1diQFzG=}`zfN;p<=2nMg}3q81uUE zFL8Cm@P_cb_ax0g&#^WK=|m+M>0Ev9Y-GB)^n0GSY;W{iXud2QM#grx%7vs2Lm9`T zy6kmE;lS@C6PK~oadYDiI`<D4U)OgU5z0PdV%J{KtUc`)VCl$v1lMl@-$6%<#r00M zI*9Kmtj3_ut!gXam#$*6gKR534*tK(SbcPtJg3VTyR^Z`dT5+TSOM5-(a~0t&`rc_ zd~=MZ<B@9mSOw=9_%8L5Q{TVjUFy|-n@@aHV!WLTilc25!a)?vp@&<u3A@9G;ou@A z7&PYz@dU|?X^Mk0p9z?qIIA%eT{d2r24;Ner@TQZ0iK%v<R5$&+Ny$P?fEql2wdaW z<KAsDziWRLR$DOG*R~=HjY%`Wv)_#-AhFmar`Qq)?@MQSxL7t#&oEr>q*N3asSx)S zY<s&2dQ5NJUjKNO3iWM4zwX-s9Q8-xba8r&r)ox~(TCf?I&j}zcU?y}<K@$E+mj<M z^h$uV-1l<|<-ja~r!Di75CS(=t$DsLtLWvMJ5I|;#ycE5Wf}|Fgf~Unced-Q>_yDW zx9?Y!A9wnyYL+CsYpLi)xQ6*H<6PG39UxK;kGr-{=#b>XhhVoDPU0vxRRNYw11=3V zm3>3DX$Jn;+!k!wF_r8Pi!M=K`;KMR#ZVBpYlVA|w}S|Zd!qYHT9b;c=usms<vdN1 zmyWr->txuJcA95_1{gRXB$pdsmN^$uc{0$OrgSmn?t7YzlGc^-_@K@z$FMi<zvBUs zFPuF>o1{>L%MsP2u_Ry#n#bpu+#G%@X7JRI6BxVj&`eRA6`6F?G-(jotnV#xjsWp7 zYWjqY(25<bPJP|M;IehA(9$SpHW(jU*(L~l=wciiyn)TgVWCx7``qf)U8WS*OoXd- zk6E6Z)N9eED1rwo*f#In_U86sx^_M%9tIH$oE3AG&v0L~Q(ttc$dhT#9o<<Czk3Uv zQ{Fj8f-jeSI!*7+UpcnX-^ae)YXsQ|G6{L(`fK@T`i`1r`Bgn<n1A}dKGFQFxon-f zZq$>|O++*`8#-$3IH<7~^RdzSF<pmyz74Bw12Iv=Sj3Y}YMpV^yo;$K>>aP`A{|M+ z&wb6XJe$+*5&rk=8?GR$`X<i~i?tOB)rb7V&4f$VLt45X!{Y$aYy<pM1rQC-Qho>P zQ8Dd-r;<$vvki$D??kz;*4ElwE!-QF*{kqAB>Ifb<a@u+@vwyQ*&N=Sq+D9e<zyAl z(%I@Ton;_ZX@`Ht{8ZmDJ~+M=fF;V3!YsWpC3g!Hnfbh(+PPQN1NBu$t0>bdzT>c} zydevz>l8*37JBek2btWE5r~;mqCoQ#bS!RY;_W%dYS-G$1TxXmW_v!Tc)et<V2G$Q z35;cw^^163;c(FTFEJf6z16=)aLQq26TufM)^!Fl2Q5#b8aJmzFt3J=xorGf^ZN1u zW&V2}$5(Mn4$ic98l_ZSuG@bmcPzM`Zo;i1UXSkD&sQ=mzo8IVuYsQS-ydoRd0Kt# zVL&RdU5*CUBo9Jmt7RzFPA!_5lK#lH{yKfUtxoI`_t!+pn78EW>qDLx72ZGk4n>PQ zx^dPsGBt!`&CK^|I`Y=nqFz&ueu(Mpo=-Us`J>`}P*s`(HVd@Fl6pA{BwOdzoj-DB z-;E<~u1$7#$&VO|Y(biL&!>kVl$Mp>O3`Gz9{_SE%Dzgn8jn0&<xbmTbl)ssEx~QQ z{E8Nj*Mv+r+TjCjG)-l(GYH?D+rlX+3USDA=8i{zoqD|;`|y)q%nt@q%zOd4%zTZs zhrO`SK@X_bcQ1Ia4*1?Ld~_SR2`IqP0iK^W<6AtdRxXmfIiLYq#8gA)ajJP59W{P< zx9{2Zvh>*ww?a$RJgHeQT{Z4eFFwVa->*xt`!5U|c^BC1@3+B8ifn*({p=f*-V*iL zgx4hIz)^A&8Ep%e$z9A(sx!cq&vS=;>c7|%%I$uHY+H86kdky>8totQch!t`+lfNJ z!u!!erDsjQYCv<ZgWpgiB8FV`@fcKObt{hO4>i*ZIHOu5mGKx-GG)U;d2DJuv{q8I zIZFi>Je10z`2xK%VuMB4%1n02+sKyFls#nG(Y>lx1tinpRAuL5Xgc4vN;(z%;_elR zdC@UECTCsE%svFa`#TciBtH0<^^u0hbl@RzWM#(5zk-?~`6RcfXG=`}M90(|w6rk< zLUvB@6sf#pv5fbgOF9EjO`>q@j)~%83qty$z8ESrzzI>Dwnkc@1iA?|2Dsm(cFSif z%6|&Qv>YW6^F^4b&roL3)SE#)tkI>Hu%N|BWYoUn2wWOPN>H-ysNSa`zHCq@%an_s zwKJ$Cm<GjCA)ZtEKh{tM>HfL&{92s%9dIJ;IjXcXCO%@j{vN2Jv#^ee2g7iT$l&_5 z)dOQ_X*J+c!{P8u&S80A)#OM8dps9iVdg$$X?%llIR8Fmd9KT^VLN)6gc<JkA$nP( z?O^r3d|<+dVw`0>w?V{u7q7i+_5BFC#@@?0WE5omg`KbqNi6SUd4eTUZpu)&Uh-P_ zMSrvHkRO6{;%7rvSK`)cw>Y^8N1MzkXAkdf7lq}1{-v$qcQr)tmzc46gv-dYztLg^ zvcQT}wBa7CObtCruwtxZirp6GCp)=Qn(T2qrhrlu6+L0>KLu6u&;)Ac9uT{w(F{}^ z8hnuSm|O|$Xttfqgz~n&$iOa@u{x}*fDG5`?D*`=p+&6{>wt76;V(W&a+XHGdkWM{ zPHF*BLOvgJvHLqOH_4GM!Ic`)xP=Q2<9eRnQai6&QxSH8S8*p!Z9AOpZjd(v>WRsd z@{an4seQEHd$K*ALqKKe-eG4I$3fYxQzeM`uHMBmdQ5JaBb^v8Zw3u@Z9dFEucD(s zYa!`0o&&QOr|4Myu^d%|mj&1=IbC=<)BZm34e9<j+Au+E0!(E)o!x<C3X3Y>rwJC# z4<BY>;Pdg@<czw1sec+=fk{rn(k_kJMv~sUrTtAYM$ggvx?kk1XWmo!b?JhFvJ~hx zC&ix2h<wVl2=qfxy~{G%)4|Z>Gk+Q*fYG*10Z+GX%<Iddw%m0DeDD@wp_2mP&^4(l zfK&cBbC_pyy-(Wac7vFyyVpfAjfHz;YDe$PB6DyB*1BU|$@_DLHm~Lnf@-JeYlp6h zT2erEcW`s#0Iqino_pg|{WpC-1b)zYF_OeQ3=SsXz%LU}tG`#(T82}Y-zDO13BBKj zAwhwlBLqapt0wm{k4+T@(@$Z%zx>8=FYjp}V8yvib{c~sJ!5AqcK-7Ep*TF%IqNA= zXrK2K8Me-A$XQC(+g2j-Xz4<s?OeTnMBctoq-g&onIm8;MUTy0E&{6jik^l^dA}h7 z^mv{1@hPP?L=f51$->>k&C<;Af8=a#hs?(XhRS1rU<<KeL-X<f$5u*MIMDq6V@61U z2_`ZW;6L-SZ7doT=YJUItqcRU^kxFXeUpIZ;s<9}ibKM`HK9Xs{nv_HM9V;f*Zr8l zKIg>XvmXp#*>4gMjo3W|uy8aJ#583S3Wf_H`0pfZus{kbxU7-~Ql96J_%Hf@S5Yco zg#wGGF+uTyv9`%!xdeFui9lRXr=FwpssQ%;g-LIGyFl1MLO;K0y+oEnTd&h&bg_4* z@eGDj;RKP(d5;&yd3U$9#c~p<uj0~ifsM2RM#SySI4T_kz|454sl8WCUBoDhn$nc+ zYYAiZ3DZhXkRru1I#w$c&z*ERU*KzMinp3zk$;0kl_?j5S(>Gf#%vJ83}02K0FU#T z*JrDaO^}@Hw+3Jo?%$`}Ky6h-=ss0U=#y8t1M65fDK&*z&jd6%O=&6Q2O`Nt?F@en zK<@D^cMJ;6{t<QLjOv1<gJ?-;*PzkcvvpR$cQytztFUCmBV0<B6=OLy10s&f!lao6 zgk%T3BDqm7ma&HS;c<ePqZN~Mu;__>=m51?H=V6XvTFY5Dub}yJt>?6Tw#$YB7bub zbr@+TQRyqf?xAFX#o#w^E9RuUE(L^)u3Cki$zdD2hlo9t22ayGCIC=qS-`4f5mDDC z?G>yUjzV}njHDyLVQuJ6jP+p3p%#>Q#=RDs?(Sl|6Anxg#sm>#u>ul^i|P=}aj0Zv zCE*y%sbW6l%_XF1{>s%MhV(Kz7eMdC*AeL@b0$PGO{t<ziSngTN|KtzKK>|E-Lyu@ zqg47$M9sYeuaY2RO2{4&fyLy)MAaZ~ju9P(%78f!M+6s>kG1wW0hjCvF;#}+C8!xo zjQs5mOuSis9RnIT{Z4FB?mdiCRJ-ux)~0>AFeSbev}8ig%p1u2YiRR!z~5+Mi6w=v z=hUw0sj;I*n=&9^*V2<eN5sTGoHZ0A_RX<3>~}F%&m*-p5)@)UtaI~`!`si6kMKTa zh9^3|GHyw}51y>17ZK=NcqJgoo-NiN$O67AGYq&KOA*uy>|X(JS_ffu09;Tr711mx z8Zo{Laih`}D`Wk!oW=6hhmVVFXG=Mgx7J`@hC)qE3m&o4P@uIhnru82DtLFO@9<4u z(;i;(o2eS{Gh#a&-tl`GJG_s{y0<W*YTt*SMO-elC{vslE~Iby3}_%y1aF-aGLf_p z;s(<Xu!GbvtC!;nHnh?0iq=Pg6!n2D2yow6<f1`#05oI{f)@S-Vyk!)BSUIP)s)GY z`y=CwkpS<U(V4L5!5u+GSA6ZRE%l%CTs~>JwvNMtxL1R;N2%!K?HVPMr5&8UzCdx- zGi5ZCTQ0oT_>C~Qx6g|GOj55w_Uy76vu80g;UG`KYGEmxI0*)JnQx$cbd18BB_>rW zVg?enh*n7t4`S;|^~N!waLveOB)_4nH}z_;cBke^=|*s4Ut;>LYIIJfcJRa8=plHD z_aNP_CBBvkw*kGsa}9N2u(}4a$>!2&>S_O#Uw54{cO^t}4MX9I0b##&?qE723X-~1 z36kWg{PasR(rbBZ^t(+~fjld$hBBjE$(DuZiZ~tUC*QXt*trtjGI$SzYZuWc*|q^W zj~IqIw(zfZ5+Wz(R)}Pb_WVBi@u3`2l9O&8^T`#su{6C!b{>R|10^M5u7kE;74DmT zoD-McBzX#HOibQ6v>Lx9h)X}hEHufzO@hW?U$pIbI;7J+Z&%FHtiIh1AI#qkdnoZ< z6lJ~G?J40S&#*)Ik`-s5%2*A4$O0@)s-w_^p42%v{Hj@G3`pss6c?Jw0}AF>Q*+`p zk?D)hw-kFZGpAqN8cJ+PgZ345sa6aoO8Am^BVXonK^SCdexmi@yY=7a_oJ5!ub{~B zK(8@|F`PMrt{>zx@8rGwZydJVPtkmc7*w{ezbO#W1M-e#D`E$isHfk1=`kKbVyu_q z<=(;pg9HnpvX+JWm_y$8oP?d6JGp8(;dQh(Cqzld@QL{*6`}lA62CcggWz(*cC!t% zYvV?ewhg|5fgx?vMp0D<yvQ2pD3Bi|Y)cMbi$0oL70`)o?EK=_eZ2pW^U!;uuG#p7 zpsO{h(608zt8yPA8GGfzx!X&fF)RPAI6cMn-pSu(3LWQ<hu5*RnCFo3Wlzr!TRyB| z2e)qZj$W}%i)o@zCTnyOS-Be&=>$~2=C%~n%Cg<tk^Y|xckkl%K6zmnS)hpf!s`V; zK-Pv>*5(v*oufabR_q<;>~1*33QNkVb9diETky}E>f_%NNk*n-uh~Xk^ggiw-6f4* zNZZ}x&II0b&!S$Pq40C}X%Lfzr)LW-$14Q1&2oSKV04rU_F=6RS_FrH&Zi-N<X)}w zlb;pPHT%j%YP}oZT$4;R?LfDi^H`g{J7dVX?U^6H$~8!<%Bt>fVqUhF*LS4ui-<o0 ze0A6c9w?fdKN$5zMaC=RvC(LJjSsCEm?F5VvZS_MOYb!LA2nz`c=Ir>w1swENxMWo z-u|A*>`ofWnms#4#h19e;3FF>mATBp<OTIboROQl%r(BEHvgSK6$2gJh(bGKpgW&z ze#*=3;gZdf06Ufed#2gLa(wPJf6%v_li!0gceC1ogvZm+u43zem6y7j*PE}$scXF# zCxL7w>?;m8aepS457ab@jaV5jvtl+k-r-e@ImDC?7~x66$t;}Jt+fO1@fM;^SeIvX zN{wE2Y}RIVwC|6;g|nSB&~f@r0ilH<a$A2bV8tw6KZWLynbs9KTVDaYFEs?3aN|^z zw?CkaPBHDli6c1BJly}w=U}x;d1xLUNOom62{aGye<?m}umu{-Soy#DffO7xLI=*O zlz{Ay+@gRD2N@d{5uw4tBhp}{KXl;Y5g?@Dk0v5`X@MESxxE1eM*719X38T0tMAf+ z-Tp{Gns@UNzzEw+5YXuq6c}xn`Cru`0ruPlLY~hr(7;-!%n+=<*w9dbG__zTT!_Fs z6#(3Nj+SN^429I<%n21v1I^F(-(CxfCX_TAnED;R#WEPGl{`(K6AG^dkPqd>nD(IY z4?BmUyhzhjf}!wR<oBVtNYhC3|6u|Y^c4~emmqgqC<=5C0v{I_4-YRO4H*@h^#4)V zP@xl1IVm}0ZQa~GD0u+?l{PQ{0l`EGJW!Lqf%|GRcHraBo+3{n{3v10x#J%>ukvff zT_y7L7>(lsB62O!Zs5D6M+3~l&kC9jLs8U7x}U!Fx5Us{u+u3LrDgj16AzLNwOA?? zu#sux9_13T6Y4PCj_#1S!+z1GB#t49bIrREjnkqoF;l{koHiT^1EeE_xIQh0Ac2PJ zWfke?k{P4roub6SvpBt66>wj!mGs#kTIDl56r@-+DxeIC(y^I%c{FAfc~C=1s}Ga} zODH+NKg1Dd+n%_xWN4H78B8>$IK>-`DOK7a(jzCKy`qIrCye_@HQQR*e%~5bV8x8n z%VCB;txjaZA#5SuWr9q;h#qat;)3ja4+N?|ePbBboybO=Y#3)k8OZ)BMmLacy<w-Q zY_XB3I+gKg!Rc|ck=}`+9a&&X@hH|KC$+-kXIpmq5Z}e45|P<eUxg=Af=r!)Cl!;+ zL)zdoO4r86D>b8AO^Xpj!*UuC?NO8570=hVQedxE>@GzizJ0RTs=RuM=Lov*Jh0+_ zdav7TB+o>v1Ov`c<s)b?RjxkYM*;1Z#?YSaZgFC=33?YJ)(<DraMkkFqZ^exabKr@ z+L2UFEyz~$!>VchQvO4^$tbuNyD(VNRD>pB7tl6voil-j?v9I!TOfz2Q@X;5=LPJu znijy&N4(sEvL?HcRM_%n4g!f^<Q+(Jqq{Saer~r5-%pvs^+=+n$_MqY;n90j)t{#u z`Rv>Jp<riQj!!#LdXYG>jW0d^`O_3uxsdWFZhVx+1#^EI!)#M3-ISv|t50PmKSorR z;2F2|w<f^`euX&tH&hZ@2V#17{C<kW?nqK)0*#oa;hhvz8g1%c=^fBhzbyP91r?E$ z1S+qscCj4~*5rL*{P5-P{<cif&$PUC9%3CpH(m@Aj!)jSn$%bZF&fEn9d*+>vbDZ9 znlcEO{q*Z{W;X6vDF;kBN|LaJQNQ!u>mpHR&GwmNcViu>+l;wy#ZI2Nvj0+q)TVR^ z8MW{2Zv5<S*gIPlu^s`<Eqgo*aLC1&cV)9xzF#iG(oCu3cD(KWP16}-fXMUhANR@! z25?W>ObWEKXH?QtkWF-j+y?jQ`B82$%@d@aH6$dHrWX0PRkw{4IlPN-)QWS|pC{4L zro#7E?hOD)2#WfT?*$MBljbbNewmh|CW-G7XRD?BE*lUSk}m}@;^hUM#tfASN;49@ zbiXauqjxy5rxhqlUj+ilCTgRPdBco>!RF8BTY`#l4S=5qj|RpS{wYADaaJ?_1tnVi z=G=+NGB|-l%9G0z=%y%at+v>!N$qQw>3%3@DS4gO9RsAL&h)@cuB6xnnO}zfUtc41 zAY=YLNlP(R{y@;;<<Dx01pV7*fxKz2V%0334~Y_N;Mh;e)$1TudChrS8}+{=$2v0( zP*P-k#yZnF^Qfliyji86N^AE5@#^TCs)AzYc{OMw4%D5Yi?s-~^uO!se<^52r!pr| ztkkV)btV6i(1BjB@NnL@ee^bV3yB%*BApo238>#fEg%NnQ^;?LNS_GdPdg5T*banT zM8U=Rx1z(B==WkyZdh?XMIeWhx3@@#;2Tf_Z@<Y&<_)!*Z7rIaf)ofbDakC&E$ydK z$dc?3;Z}^u+}aZD!!+iwg<^TD+=mr)XhdAfG2<*3)Gy7Ge$J5MU(GMB(G>Qd_^A4L z+T(VMcL;!f`RKiBo=Ml!;R^dDK%fTBf3TmU<9^kmh+aU)&Eku03S`86{L_gx;6xIA z-l?{Bc#R(2RH;_IucCNR?#z@CkwlfRbgYUOiI<)-@2aj9@%=Xuz()p+Nms}?w1Ijk zsT7(WV+g*bKxq3udll;LZ2$Ut<Tkv$OT#nY6nX`8gbu6b(o)%fuT9p`eZpCYrq)k^ zT=<si46INyP_^6ZRBP)$C(F<DK-2uV4I-|LyMi_QQDi_v@6k5eRsT|sZN^K??b5_< zv1J!n&V?%~Rt>2`^J%eHrb3xh_rn>AHVh^UmM|g`(9z4VsXFF;^3~E&_1wD`5(b|M zVfKOkuEO<!@;b!*ADTC?UOOc|SN!$zIG0;85y{4gm6&da?!AKzSyc-pSwez+RSlkY zeomFBJ8qV^dPEN+bGn2NsetJ{iogh4HQl?qI?jvFeY-h&dV*8=7DUAav}@B>UAWyN z#)oHu5a4CQXO#;`Jd?TxKiTf?%p5vE;hup)d37bAQaj8?NK*gyCjFpGV<noP$7yuA zG1}jy(^nPGOB?Xv8}KvT_Di%LBR#-leWp+xe9B9sQ>16jXs{Se5?tf!f9ci@(If12 zdYee%V0|7;0>Rt60NP?V+CD^${rz39FC4E5&t0kG#fry{5N--~JH<#BE=EZ%%1J?L z>_{=3Zw9O8o&+(Q6rG@lBU1dlyFS?xmOqs3Z;>OO0HEpvk-xqnxT%O}8j~~W!xP-Q z_xIE$`wR12j4in-XVIl^^KjYj-#GvuL9ji5V)GM$<uxApOUE#m>oc6<`v?J~xn<m_ z!_&{z&+8?<V*vppnFx!5QI7n#UNdM@Z_~TSX?5MmLA>4P^<~-pPvA=}0dpS&#(CI} z)Mt?ogZyTovk>NLHPNhL!2DtV#ErBDeO-&>*jp|6BhO-N>az$gYg&v$vQ8KBgn+vy ztL$#ajV?Ku12e+oi*3dhfrdIPO-YfKyO+_A23Nk$%GJGQc|MM`tLNf$>^acLgpc0% z(6I8{Um*j0h^^q{=v0-Gtnw%KI^Dgz!RMu$gNEP0%rzyHXlVbp9F9?kwH48{4a-O4 zobLYax^JBsU%uY*yirGDoc<1VFc$Y&UBw~eHNgdUI3DC+KP_M1#_$t#ljf0=KL*cJ z6%~lcy8dP=8PN`lF3rfSHqHPoKZe!8<kC?#9O=53?fE~vuRo9A=(^9_Pe7e0io6sn zeWuGGm<TIUV%UBX&iraIm%X`~nr?vS+o7lC8I!C`WVySrKWDDSF3<j!klit=O=dB_ z=jht>*D&0q;gY>8pv}8vtkxs>=*w{jmC>e=-(m5&!jjQ(DN{E8_sxFL?RjVw%c_?p z4zk^L8`J8Bk=Ntak;0?V@t5uGN_RS=67RGPd4IC)xJ&FffUo1P_K5u)hk3lNV1Z>! z_N9gaQLm0H;kE|;t8hD0wlzMsO}Dfw`u0i1@H5W#U{0k#J;NC(-4YvV`M-Mf#yGzt zigjI{N3ZXC3`HAd9+ICxku&eR%ST(dco%L#@@A9oC>G^Za-00G$3X*m;?z*wJLk@{ zkx()G{fU$aN-e33m=@rC1XkmInGm8nA37o={IFD91WCnc3eGtTWM1hijEOHAkwFJs z2(r+re@Y9XGglX}ZJe?$FsIk}@$mlNqQ%GO#uqeqjLDK|ZmGbXnJK@L)@YlH8|pH! znm-I|<+W9vr<8umgbuNJFpIM}fw#AK%l@cL#~owWKk>~<N2cL4;mbiiwVcByq`>OV z15FSV6^@tj<6Yd*6Uh!z80uT-5<8RslZR*Y84pU1NfVT7)$lK^hH+}~_;aV*P?}M` zpqSxw-wX~3I=rt<^QBTly55b)s({kqH^H5Z#aCH^F$+li@ioC@CC1ksJe!3GyleXM z6RCjJGn@;HB8;KAU-*cYVuh7Y;=L24iYPX#>GB%Cj?|Gn4ZX@OqEDt7kvx3W$*0MP z$D{cb?TIrMQ=o3MPp3@_Z?kNSw(EFZjd5!487Yrf?cl_lcoA1S=y);>Gu`cdxjb(p zmB?$hR(YHUm-&nZ%sCU^UmSObeUb|{vW<RD#_3AR*!zlL^le?AF{@0D{k=!y6d$m; z@yk`g2<6cxnErr{4sBHYuN4vGNs}XjrULyNCQ=$va%kB4SyKLwIdmuuD7h%P|E+&! zb!TUfe`WwBC#5<ihrE-O^FNLI|JJ1cd5TDJ@d)w)`MCg6(m+l=0RWc(C#MXM6UZec z$;~Yb0EqqnyCD2uK1Tl=Y{Kwzae))P@jzs=zf?5U2nV+>+x_rz)bQm<E#)M7(bf=T zFbPy$hv3wJUw8)lM$;uM-I0sD!tpD{e@{Pg5W;-Vq0*!e(`DkrryndoeB@Kv;NJXo zn494{G5$_xbxdg(TxIH{5&vUP^}<S!4M!IriNs8FY`@q|9hpV9Hdu>QC#ku|>JMnt zny!bZF+m%gSrBCj-_XN!tk3uz(Ck2S+==J3jK6M27RonkGz{ge$g-Y!*k}o}2PAN& za|~fF4<|1FE>s=?Zv$)8F;a77bm+RS*>c!kLN<NEH(gY5QJCcvK~{(31r+w^b!tiE z60Jvg=o9;cfv|;78U~FDWFQUccLAZtwTk-xENUx2h?C?X4c&EtR+gl=>t_-`vo`%S z*=H$m`EVDk-1UiI8{07S)ak2<xyj%w^;CP~B|K{XmllEn0iTSR4t5(q5?NE+i`Fl9 zgU7J1^q2NyqVF`fw69>x{IK8?I4za$MfN}=jedo-=-um}9reB4MskgxHX5Mewu!Fj z&}EavUwmJVweoce#vKC%&=16=@xys)KHW1PHVY6V#Be7%JM-4SGUMGiDLU_L$<g1G zX=wQ2Rj$2@%`~iZzU8RLzM6Kc*StcQN`xLqh7|5ExVuw`*Sg_LWL5rxv1O2PnN*7< z5}{>~$#N~khBleS9Y3IonXQ<u|Gz_dcMmf+4<9#6D`YNier`cdWI8$-6<Or}1Gn`4 ABLDyZ diff --git a/info/exercises/src/ex-01/ex/languages.tex b/info/exercises/src/ex-01/ex/languages.tex index ff0a1fa..7cdbda2 100644 --- a/info/exercises/src/ex-01/ex/languages.tex +++ b/info/exercises/src/ex-01/ex/languages.tex @@ -134,7 +134,7 @@ such that \(w_1 = a\), \(w_2 = a\), and \(w_{i + 2} = v_i\) for \(1 \le i \le m\). Since \(m < |v|\) and \(|v| = |w| - 2\), \(m + 2 < |w|\). QED. - \item \(w = aab\): by the same argument as the previous case, \(v\) has a decomposition + \item \(w = abv\): by the same argument as the previous case, \(v\) has a decomposition into words in \(\{a, ab\}\), \(v = v_1\ldots v_m\) for some \(m < |v|\) and \(v_i \in \{a, ab\}\). -- GitLab