From 979801312ca3a2e9f5f1c5feb82d74eacde8c8b0 Mon Sep 17 00:00:00 2001 From: Sankalp Gambhir <sankalp.gambhir42@gmail.com> Date: Fri, 7 Mar 2025 13:32:05 +0100 Subject: [PATCH] Ex 2.2: > to >= correction --- info/exercises/ex-02-sol.pdf | Bin 111625 -> 111650 bytes info/exercises/ex-02.pdf | Bin 81865 -> 81876 bytes info/exercises/src/ex-02/ex/cfg.tex | 4 ++-- 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/info/exercises/ex-02-sol.pdf b/info/exercises/ex-02-sol.pdf index 194230c544105acb2b47a1564aae820b2d7fe003..47bb3a8cece402275ad716d843f80b826cb19d13 100644 GIT binary patch delta 6900 zcmV<Q8Vlu#=mw(b29Q1iGc}jt8UYl4tsF~_-nQ}XU-2E+2$m&hhOg9KAnVN*C<>o^ zYa1Xb5F-vY=q*lveP<|2A}NWK>>L*B{XPwc^M1<u_VK1~e|x0|zaKxm`pdI%H{%r; zOLY72^DD#O=$pBL2c@mQIY$bDyM1`M{qv31@SWDqJlvxO{>#Z<k6Qcq@b3?Qe_vot z@CrTM9Dza?N?2>OCWf%YkWc&*wMO9IdOnl9*5)1m=5O(FdP@G5e<RFKSriyK@8KSt z9R8RO%0C425!KZINg=|GA5moIn<3xI(|nWZFv<tbhr+vudrG*ydGP+t^o{(GlUtd@ zkA#ew>TkxVXf6MvWUA8&@Mc|qRF2GyoxYnWoG?E?I{TT=OoTbU7d$P0C2mi@F=TA$ zZc#-Cu9BbuQbEJbqE!*#9IcEepzs%FO6>00fzQ;~o^79}bLGq=!yrF=Cd!#f*3TJB z`efFEStAOe<tOBX#N)^5$Gn@rK|g6z(wymhon?}>MqnqtmZu%-)*|PBN|!MzPwr*` znGJs7qI;P5ly5*J(wWYlB<P)dYKK@epGoiW8NetcsIcGt<8=nXT@VE2U93U=r2#S& z`duip%J4@Gly);Nwq_MQ23tW{HgGGrys`lnD16;h9<Y2A#+Id`<mBniqz35wjPayg z^!toCKr1>6rbRpH{w%?NV;w3lxN7nYF~iFzo>q&JC)d+Odo!N-J3T!s79)QPzDaXj zvJdudVOF#3)zV{vMrT(6wZhJ3Z`gsG#mNYQ<b0o2<g>blL{gXE##t5kwDQ!u|8^D8 zu!y3!HOQ=m7LMGC=YUaxyzffYM6XP9v6;V5lRpjFpOSHf?2=S}<NPUB44veX<Y2^t zJxt$B*3PFs_mwkR4lY=e@q3q9sJ-Iz_nEbi1vzZ{7;BKe2_OXJ!L`itg=XPG+WtM+ z;=wk0@Tq@KYx&V|i5m_Snb=|xS&1vNeSE=ikPZ8)dcc>c6~?e<GucM6ngC{lOctL$ z@~~QQvgn-AtUyVB)B1jXF<PxT>vA=Z_C2;iF|QipZI>~IeLQh0SAl%~<Mln-yZ`l# zjFZ4*{RQNKk=3DoGO{J8&WYzrg9H_KBN16x`2NmUPao66p;^ZY`tI{zU*8+&?u0CN zm;Uezbw`eh(^YKF>4!@b9A^cg1{sD+6FKtm9Vjq6qi@20<x1{>5N2kvaX5p=%)&0S z3h0618n$(65Her8thDTt*w(LLamXG8YmkRN_dTW*rvlN}m`EZD`=v}QpwBX~1o=GR zBC~`Hv}o?ZdvSl%N9dy>hc$5D{TbFr;z->vB~=~CoagK{$Gt-{2CMjvU&_=1`YsHZ z%8!a6l_0-=40vi3wIG9R#A_A!s|w`(fcZgj1zUrBJ4tR8y4iOQq^y_@$LJ8Dp-CU* zJ^^iwt?%nVTjl%#8xFD=!|^*bApJaJE}BR?Wi@OX08eW+3(rLZAZ*ISfL~cakzuY@ z7g_FpPzhO+_+Np%?K4$enCMms@^hc5E+_!1LHbF55wKwc)J$d3ahNkBWUN}$a^c55 zvd9uNz6SZ&jc%x=Bx40Onlp00DFzQxJx;kosPTN7h#I7oAi0{q!a)RfjV;KherAX^ zJ=$pUTr?JKjGO{erIY*D@OmqbkNs<SPTg>G4I3WrZA=xZnT*Do+<i#K1KWD1$5KM% zBE;{1Tg(2%BxE>Ehy0oB_bHc7ako-M@qDyqmBTg;XW=Q|lmad1n@^jr-=EraN~}K9 zY(p0n2Z4nalRaKo+ns`M@`C-6z&pjcO?lwJb4m5=*g;nyea~egBZ&=`fiuyDAEg>( z;JM7y#i~GHii!hd9CJK2_ZxUF)GBgWT!Hj|Jr_t9Gq8~X7u0ytak0Z!Tu;|{a+22f zToPd%USgn)N@I(v+w5|dov>~7@$3ASRDX{4IeXx@bWqsPy17Q-9+rIb&+F-C!);R& z<Vpo#siIt%`?-9s^{wNup=zN`K6dWk&HX{2d%`JicDPjjYoSb!<#|)bV8*xbBz-r3 z>O-QVIxnB$V5T7)^eHE7M}5i(F7dyidD}Mh<F+A@R-VIq$?ZWgLR=1@vl{_zdkwp> zgg8lEM^0_C@5^IC$q30=%TDadpk+Amy!w53?u;z*O&WvvLY3z5&FR$HY?}-<yqG?@ z+U#T(ZMi%su@72TfL<99RteJYT>%Au{xH@cKXwZ$u%y_tGYEeP*<JlMOys?<IXSA1 zJSQ(qW(6`DL~uAXej_hw7$P-#lBERe=yZ~l?fUP7Ml2T)vEkuwgGMYHV{E89*MSui zE};e;*x*ue+3-XXTo*(e0m_E_R%<&Jyz3`qux8gG&`!pe+^p4wMI?VguIUVaBl(>+ z@Te{|K{*?$dyK4xs~2r!4KlDA_6$KcAg4OMl5v1!c{QJQJHF%(%Z!6OLTZNQR)b=X z%L^34EJ6Ml6qcN2nQ#e<@d|^lLHeyonWz|SK=h!bL{7~@%UXEqGmS-w*Qg;-hQdbp z{qYW_UQdHY)*Hs1M{yRev8|DR*~=K$&<-!M={23l!#qRF0Edof-Hi_<Rf&))a}+$& zZ(~oR95ur3_uB}#rZA1J_ah3|`J4bXY#deLpj^wuD%(glTC8N88AhRwiZq<+uA))8 z1u5dhLBX1ubD@Un8;>EUNMcw4^5!rjg6I{|!V&YhpN@m0YaUF>=HTjo^G9=l$i~6y zR)KsTG;7T?mfS^i5F`wjvMriHkN{>W#Tw+LA00S>3lKN_-54t#?SEJ>SGbqLQD`{v z#~_!J#OxC9ywtb$67PcM<hLQ^*Fp9d*dt)eyV6>-J~lbu^eH{9Q`OW_(z9K!Pvp`p zY4{YU)7-k;Z5Yg>Ny}V+^O8=GVISm9=){53W8dX2F_KV>(6k68Wh6-3cp)Vy3p3Jo zS3k<mu1|J_D8ebjmfa_zy961{dN3%fS<^z~Ldc(*^{}rD(A;b=*JfWCBJLA&;E^p0 z5vT@vJDlHgiB*HV4Cc3#vbhT6n?4p9QF6^xf&B98U^U1oA8KNMHgS>8$3=0J#xz&x z+d8N0mY}^sQc)jse|WA`U~Uejr9tU&&ufI!Evv2t(Wq;&tR6P&ll=@XaD`|u=`zY# z3e6Q=#sJKga7CA8Lq|3YE094R#W|q~jmix2C=R%!ajY>1>tfyO$mUe*TKeik)^g6U zQD9h#&fG!VD{#SoW9myZBur{P&56QXwx&VN-fkSG(z_x*xGy6gBoU6Ty4TQpoB{|f zDXCAQ^=4A+N`0R@XVpfVKI+Cu&@b=RcV7^JKdkRHa9>jL$`*Z1ecyedaf<D!p`I#% zZ971@XQIXW@%w5Zm>1V3(S<^ENugpqw|Ps3?-Td=byNd?aZVZ=7P~HscR}9DSlAB= z1Sy3uz@E}fB$hq#(Fks~C1+BWcOnZ)t1vcHAaB-=vDZx>cCZ%68L5>BzITD6A)vH9 zYz;Dqtx@JtvB5IPVzpI46uP1FsfwxdXoBG6R(Bc~z!iFB1wB<SB?xN@L>y>}tYGLE zj!C$nDUySK>R_*2Tt;IOFB?JKv&S1P{(>}+8ZHfd34+p6a@Djh&SVl$IfqN19Jv?r zl3$aV8=#P#$+|>bEcFl;4b%CJnw85%b9Fb45!cPIEC)={DaWqGjcw<K<*Y6=v%1+B zm!11!gmctL;DXorb-O%Q7NM>zzGA4eJT;h%_U3|r%ZdV<!)`V))k$flZro<f-Ct|~ z>97^$>gX+^n08Md2X7I%&AH8cHAp7wR+3!#b`<IS96Ob)gLR5*4)Pvfth}%3vN`*H z(9^8b__%oyBcGG>F#T(9W<1YclkVy1j*DE^n?DxCeKD3`uI$-~2|?kSBkm7AXF3vn zP)x6X;}VWaJsdA?8)^BPwf0_zlV_K=%M;f9matnjTc;=p2z$<Xm~8sdPzHKnYb<Yv zudM*rY!%4Q!<AbZRaYSW;bf|3g%(az0I`|H9hAWQp=mDm({QJh6{E)TGFT8LWm{SX z%{imftD+UiZ+Q=YfDMgo-c*qNrCeF)#L(z}&HKUj3}+QBmLG=wMrWxZY0z&BTsxW? zWY_`+A6Tdj?{ptga4Gy>A&2!qDwYc5W$;3h7#kjvb2LG7Y5D2`-(-(7`Ud3VrDcA@ z0*)N?X5aUC-3t{bob^Hs$_4tVw?$?zRAM>lg-Vc<UZ?~)>4hvCy_|Nz3zb+-dZ7}3 z%gb=d(A$P%|LL!Lu)=ER_i5P|r8uq_p$7S;kHyI9$`LL5_6k0|c~H?Z@Te#@;cJkS z9+fZF=<~p#I#Sr0z`&t;t|BzmAQw%RDJ<UjlK)8Hs>v27oHbdL@-k<>I51g~9nA{K z$YNRltf@f;7R$A|#s<spgN0pS{j)WHNO}n%4EJ{Z6rW1SAG1#VG|*s<xxR)RY}A5N z$ogi`su11Tm0F~<OkN@SG!YjE>tRk=A8N>vp>X7lq2*-XRAO3AszBZk*282kzTw@s zgZR$IPrl_szlSL$9bHi*h?o|Hcd;DxJ)^RgTBAtf8NI4(RkVIzJV%Q)o*%7$A*4HE z!;<nJ<P+(CGHCSthrt`lGLMS;?Av!KD2)_jl1riWe?G9fKPwThB8fl=_0mVgzSc#m zLB27Js$cnVj+}<s`yT9YU?T4a*B+wZ+SROh7WQ4k(Ts&7XQVa)SUc!Cb9U_xM09`% zI8b1VXYHT+vVD;M%5Qf|hX|TY1>-sFfL6HnqxJ_5WjAQ4!Uqe1%zPJob^gNqqaLj6 z=$Xxx^2_H(yUz5u_MlTMER$f}ZmBP|gW<d?vT|TpEB)%>??1fyKR#UW*^_q;Jpwo} zm*E-#6o0i^OK&4L628x`&@slq3|YnJtRld&qX0pWOMFW<fG0o(JAi||?cd+xtDB_Q zWOslZ1j}lEEY|zM=BF<we){19Pk*nkAHKbzJ~`$zXnA`5^MjxV{3K2SB(oe&hHECk zonGHhzn(eQf^$V5Y3ch5eH?v<^xMnj->*L|n}2_M6RNv2YUYeSX{#A<nRixx7u)P0 zd3OitnBlJ4;hUcxJe1h6C%->hRY8<y(t3yt&;St`V!Bi`G6Sln@?C;R>_UuWAfbl* znIU~%jAH;;L*6n(ba^2jA}@|vk$CxQOof&@(H!jan2M83SX)zhAF@w7Gu86)b$Bok zoPTj;YRF&zdUzCC�kb&eljs2nAh)6bx-+H$RVwD9%hv<@Yg5$}z2E!_t_FwoGzS zLw@6+h6W18l2RMl@i8G<Dq1_3utRp>bR&VWW{`Vl!%cSjgiw$bI(I~F2tbD0K)#IG zv7}H%UaiSht&Wgi#&UL?c5fh`K7BXlhJR!LO4p#bUmhNnSsibKDMdlV)yT0IArezw z;3ec5Agi%BvVGD##ZIIURV<nET|##AU4lMeCmfSswwMXWpqX`|hWy5bc{r4U0GY%! zxm}N^pkjx;DTugrQq=)#l7dPqJ5x{z*_nb$$j%f5hQhZzl!8hsJ5x|e<$dhlTz^FO zE~)%6qyl8IT$?^GeO3Cb<s8(Ik7FvrFu}KY=?80CDrKXWNjgOz5KRr)nNAhO`5HLM zrW9<jb%9AXHG(OM(-mY#ye99^q*w)FZ@dm>Q$lvdEjm&KO7Z%SdA!!m3Fq<J`g~tP zI`NuNic*^*jqZ%sp6?2>m+uNh@qhYJ@g00q_^pvMz6G7IVQPumo6$POTBSMDW@#A2 z_3{W{ecYzjK~n4%&#^I)c6s71VCb)bOZXolt<viX-@IIgCP>!Gy($X&lUNTxMYALb z)q=v--A12DK=LMm4U^)gJ$w1ENKDcXk%jBZwB~+=JC`B|Y$fLN9{#`3wSPfgpV&|P zlUTwUFDCy{vJ_LM4A;0S3ekV_-5;9r3~-Ad-y1ePV%ky3xTB{7*R(Rx^`|%bQu@PU z1ky4imXwXRh{!up`X<X2^aP$FMbEF_4{n!7RFI4za_N5wYj05s@wv`ty{5fgq~lL0 zU%VFlO3a3rj8CR>XMM!I(0`;;@XOGbC?KGBjDovK)<#qmAXE(*XKj>ZTL@&8zzDu4 zYony(s2VEctc}z%As!;46eVq}iHwsrlACbPeV0mK#?)jf(@>ejD=MZW=o&JiVkxyz zX;4ANi4+|&5VdJf5-Ir(lcKSgFT(&MIoXR-tplm&>@Z42Qw>g^gMX#Bcgff9ko=9j zsq39oSR1{B=p_OqACIwT^_v(G=&!Dd?zT)<)EU~MOn*9Drk6YHEYp=BdC3&*aaWmM zQQ23fSCD;WdIkC4m<rY0NL^9|frm#hW<m@&v1A+MTPh^S{j0BZjcTAvkth4<5~#={ zX#knES_TFjCj%gg0e_}Z?$^kj8*?YA4v`IVRvrV>z6hvAIWCZa&etgH=kdWb=~&wu z@@Z02`#~+XQW#P(h9cn+LjvmeoDqE@+tsMzcTN$s1Jja}w;a6>iG|rwtDTQT3}C6d zwlXjEn9w-l?~|Muo2;(<`a#9#L?J><S?6JjPx2@xe_uiGV}B}?6v5SqkAet|2i<5W zXe+l7zWO4thJk66`!*J|1E%CwSlDn=NwqMZq#r@<?EREiX9Jn_KwwBaRC8CLU9&o% z04u2XtB_x(^Hf8<Uj_LbiA^LZkZC865JTZ}hV61TA%=t$;t(-Xmyx>5*<|ENk<v(e zh!|CKU>ilh?SJYcB?VcYx-#F!Jf{-frIrBYc`f=wIq&?hDz!Ggq>pP;p&!=g&N4Sg zcw2TVnw(Go@wEUlyl6!*w-kAI-y*?Frkzg|*ZN<4yMaqnl2_!XxhbppDbTsRdue&e zXYePjnx24Lqyn9j^@>8N4Attmly9&$uq)r5*VsDcrhhSZ?9>M46)F{tc5U^fl;_mI z+Vk3VQWKpkM6w^(Er*pKu94@WVFK-4$uYhal|qnTnWYOQQ5(5-qIEw@4A`LBr_0bh ztzwSSUbA=ZW97?gHgGFdhIi`4qVp`L0X9toYNh(s{=}(2U;2Gd!E+V*cb*KN=jp&g zXL}|w&VL}tT+Qq^KMdWM3R&tc?&b4*nN?I;ASF4&Fqf83lY2GCtZE=d4(VqC=d~wm z5ZM!-lsXjBse0_3?v4S9ky0Ewe}R~$z<m4;m90xY#i(c~0R_8iqf8@=XLkjivqkUI zq9m`?`j8Y#$SMY9hGHl{^$GW0Em25dnybOv4S#KzY!LoU3%r$nOW_VWscG0VI!A&Q z)!q{~qomIy6<y77WEvvIBSdG9xr^Gc@Dx*i%R{%&^uPERt<P=b&QEL=x^j5QR92cX z_bvk1$WL)yo4F&V%vxED^=#N@k@zH!EzDCrT=c=woEM?D3Iu1vKs>8F&ryOvim68s zn19_$e!7aTnaw<r)ytC{$JeBfMX{lw8RUfO!<E}krrsD{{DF$AS%jtn)hTr+2s@na z_}3T=$iXG-ouF%kd|HP3iCv#@&4!BOlN~C~d!!O+pUG#`c2>-*Y*QMBa_yQ*GJi7L z<Y{Z$Ja28UoU*p!I8`LK#UY3BB1>5NIe%WG^o>heDx{PoJJBk%gaPv3aUo9OUr_B; zQaQ(vpq3kpyO3aAb8BE;VtwLklVt**^_R3EgEX?f@&r>a`^oDnqm@d&vGDpJ-%1v- z+)IRNE}mBBVE8i4VN^a5w{S$ZNQSPQs%871u@71iuG#;FY_o)R$h8~(sP(pDoqzpy zWFCW0EAurZl`^*-na?5#(h2NnPJDOf2GPs892&oqd@E+hC%u>*cPVazinaB=o5?Ng zVA2g;j5zt%>=jib<W&XNWn7=OPs+?dl}ZzxpSNix9cq?VR&FL~Ws$spbqn!OgaNU> zH86`Xit0C6QQ7aQ{_PeU2<|_l1AnH;L#s26JyrNx(?NU2nT=D&!1*$~KsUGX8liA# zE7=`=wN;lCIoVa0oUsK=jba&`@2`2<R&|}M;Eq&S7eDvyZhxwf&$>)VQX<EO*CnWJ znS_)W-dHGwIjM%E628f4#h=F#;{k)9hLAh^54?8my-652(3ms`aZTEEwtvulmc6%u zrMPu=G))RmQ;k1tttB~%k<~foy(TDsDTnRp>t++TUTjjr9i?X^C0;e8x6yG~40qYB zX6)rrV@S**c}kEN<TqUw9RMy7+5hCa*(tpN5dh2hZc(9xwh<eOh)%>TY)Yu#kxN0< zjJ}hr8p~Buc=T_<9oM5oWPfnfY`mju)I)L`?2*44tM1qnlPKXB{dTAP@|}^5Tj%Va z<Q^c*{jE~}N|@Y2S!_`gsR%6?B2=h-QW4rQX~o?s#pHTiMN>I;N=vB8DYtSlX}vk+ zxg0TT+a??+s@QIMl!vx(>kVB0PRpOy2WNin#%zDP<S(Qgr!r(s9}L%O@%OJE{tt~f zwK0P=8MieV0o9WPGchzUmkzA~9|SWoG%&X@tpU9RLN`M>LPR)0H8VjoH!(9sL^L)u zI6^r^L_#$~LpC`yJ|H|eH$yo>L^we;GeI*qF*8L(G&VFiLODf5LN!A}HaRqxFtPz7 z0XCBXixqzz(l<|BVGxDk8DLG$EYX;ZF*%1dn4F^lvrA4AKLBYPIs^iQF0~~KQGnzM z7ZmQGaZg3fUqDFEBJ;h|JUXLuztJs5MC5;jh_4%Zpch1SZ(m3X2`Z9dV+2IP3WOjE zd@v6)4v+7=4?ychLoC=^D`H3#K1<fxmN<xKw3L4bi7H7y?GKV58B!n>(jXl&U;zA( z30aU0Igkrw@KGga)0XDLCn$hID1u@rfl{c0a+PwwJ^Kt5@C7QN3aX(7YT+x?s|3WJ zH9#XYK{K>KE3`p7bU*;UL8r>pfi38QKIm7O-4e$?$3l~}gD?ccFao162IDXRlQ0F- zD#3qOw;;6R*uAwa-(eQ!RKmxu2tPaaPptg`3lLN}`0I+p0>|l-wTrL>%PQWZE6#=; zzwWJFg*BD)HyhVg9_lP@sJw(NZK~$}wzQ=h2wK`!UF#)z?mCZV9DnX?RMktn4bP4y u0TO{z@sd@qFWkpBSMm<G3_tq{Wo~41baI#HvjG<iF)%SP3MC~)Peuy16({uo delta 6872 zcmV;}8YktV=mv@C29Q1iGBJ@r6@Oeyj~urVzUx=aaRp-;va0xUqy@ZMZ-5}sNw*{h z>;M)lV~yM_=hvr-O?H!<Zn8)6VX@koE*AN*-c>Dq`FPQnzrE6v-;W<&{pH!Xi}4DK zCAxh0`IX^s^u=7jgVNStoFfInT|T^A{`p30_)cqQ9_~>C|K;SbN3DH)_<#3@zpu0= zc!i!WjzFOcHLW#T6H{1X$|wGbS|jjpUDhP8wRy+C`CEKko|3=i-w5R?i$WvoJ=}wn z#UJxR`G=q^(QFNn6e3*s5k<D_40%_c%1)NWC@)kNg?A74lz4md;QgEB8~Gt8yD|xn z#Ee1p7h_bkmj6+M>a+s9SbrClBU8B3cgqPE&JU2*e&#jP!5r@kp4Pt-+RJYYnH#!G zRMCNJZqNX!py6WCst9oItjs5%;0xs>c6aT-YijJ*w$IDDvSzx&AV0h&%9`n}pEH;A zNs)pg5!I#TCuD_$@#FGi-j#3AFVd7GXIWq8JIPWbv<t5FYR9s*-hXo=%NUg>cd>vB zgI`f}4+~Ct2Sjo^%i7BgdMBUSDc6iM={=kQj6#Bj``tfYXA;~cK~UbsmgHX=AXA~= zr6Q{gf7DTFS9q~DtLQP<hRU*nTjAxE4X{$->yhw)<)tw8kcyC#r#FijpdSO{NxA6v zfjM9+G7F|>yU2dI!GB{JsyDbva-k^n@`<NSqvXkLb&=l8r+lZEXGLS=Z{fE{j!XK% z)-4n<%T_HtCTw&z70?Q7QG3G%+^j}M7$oESv@tK@8q$%5cpGO`;MM9?@BTX!M8j7U zy=_T~6k0ekE1n%jL-Kxjt0sD7x{VclpB8%>vOOi^s=G_K8h^{D*Z{iROS%Um8th^D zX3=(D^?59u(Xw;F_87kp!9wj7ufGr0J{M%S?PF|7#wvgiln2*?<txd;^=SM1WQ_;g z$-$@bKCR_P!%b*7P-J4yMea&WnH}>BhMjEK7u5q?qE;Bgp3Y<)$zlSS6*6gj`pCnk z#Yv-cM6(ekNq-yL`BiDP=BUfH80}kZgQ8w7#oHk;hHX4?DA$mD{^RvM+PnXam5hVH zr2Q4;fs(bZeo?a3sg}TVJA*hCcOkj5u;TvCH%}j*hh4Ld4fWmUzrMaV&fUqe++F&^ zuctdQR2;5ix6asIn&3Dp2rbFfU7E<Ahxb5%;f%g>mw(%F4=$mA#meCf9)pELuqx__ z;u_X<>KHPvLntlVB-Zs?xHx2sf-T9z7=4c^#A!(MZ6K0dh5b?xE9$c#)+C=NC^95u zpl5Rr-i!I8F+(2}Ic$l?=FhM^5_{?nl$3QObuQ6s_IrnF3|8?TzZBGp`YudB<wr%4 zYLZ_jn132YJ;@{*@mdA`sv&tl0Y50tU|W)Jmz&!z-Rv6&QdU%leRPP>ok<_XJ^^jZ zZEWj6Tjl%#3<uGSVgDUEl5w0-k|xqlSq)bOfTt~*h3BdO5U$e1fM1zFkzrJujjVe= z$b_s(_%|eP$DoP{6WOXsejbDBf&!qHWE>O$D}OdX3o2h7yE!vs#-c?%3O|mSMZQ7f zTau4M?}l1ZG8SN?IU@I0$>2e#$01h;EuT-zp(bG^NUY{>K@fpWV^8vF92ufbk9Lw= zlE$ixkwZXgWO9ESUSD6w$MH5ihi-Va4I3WrZA=-dS(L__TzyE&1K0V^2vS1iB*gD) z%YXjH#AP^5hxjb|`;=3sxSOe>SU%dK%4r#gqwo}ON`jW-&8MrX-=A7^N>HCEwxNrP zoxpk)lPzA@%ALY*v4Z22z&pjUO}*g6a!K~=*g!WVW6NbCGl?CSi80ZJAElOLV!6yx z#cD`k@rn~>>~lPJ`<qxU)GBgX+>ned7k@|<Gq92YC)9Y-aIwKxoKLrWa*#H*T;gFI z-UOhHN@LGzSnP6^jj-+I@$2lCWPgtKkv*_mIw<VUdbN$pJgo8NpI6h(ira@K$e9Yj znnk%#>bbnG^}XS+p(&v)Hn!C7N`27hnsADn9j=-GmMGI>z1~tWDEwAT(s#2uB!4<; z<MKiW<qYAVPPuS9s#7j>3IFcQ*JVRLFB=kR<=MU0Xit(6;&cF=y}F?5TEng{Ar4Zv zmQ!Es`*NR910gYMU5VWQTALHko85=!LCYfVq*I756lr$f98R5$w#iV3#q!Cm#ZETS zmeYfp`=oRQ=#`Pns!7JRE1<w1#($RN$6-PRmK0ldCgCq3o2%cZfxP!ElC$i{bMV5) zY)EE}2zH0YU)`4!43RoH$+rYs>vXv(JG9>ig;-7?Vu#^xlR_*jW9&|Mt^zA6TvJUd zu)(F|vcp6ITo*(d0qTPMwbTwYc-KxyW6f?&pq+>>nOUnVjY#%_Tvr)J@_##J;8|X3 zf^s%A`<Q7BXD`~umSmzeY#D;?NKRFJCE@^y@>-mBE576p(~N^SLUM*~SCeFq(+d>E ztV#ZuB$gaynQ#*q;}r(ql8j4{(or$kk?2WEi5!}R9$I)BgT_~hx1EMS846dIKW^_} zs`YeiWV~Tsc@$&eI^CM7y??ZE4eel&Rj;c&9>y738aQ-x)?NQVl9k9&rH_JV>TPUk zl%wvl$MrS>&M8bM>tm0?c|Hd~9gMRq9F*%pY@&^%qt!^pnPwE~s7S-9>M9zgdy>je z93-r%I2T%~vGN#lio}OiBySEQB8XlQt%#V%{cs!{-DbfgZ4Rzoe}C2oh^!neZVk!j zNwL-}ZOL6W2TsCpD%-P}I0;}#DYhgpWADHLT!46m@0GIR(fo%6a|?RO9fb~wKPIu9 z1ZFp3=Ow?jH(?hv2fy7>ew{>rfh_{|*wxya<*|$TmQU$v>#C-Tk}i6^J&{whB;kvn zPJQcowqeqbCM|u<n}1}24BH@gLM9H39@{Q=6Oe?Wgr;XGAtOPW#tSJxS;0utU1Kj> zOrOjOQG`>9EwfK@?wVxQ>%pL`W=RW?6Cr=9*Tc3lK)16=Uz=@Zh`4{41B-0=5`kKh zx6}SDr&uk?%cOrxDVl3Yz8Q0o7A5CQ4aqORPDX>A@}WJ<m49EP^L|kbr7_(W#=6cS zyCvv%kVMqSTpuo(3Y6kd8XA-ucNrsGcG*-dh-Oubb@Z?spBzVUfipyVlPsgOrO@0W z%NT%R3Af0yOz6mjVM8*Bqc|osp%a-&9K{ZoG|naFU|ejt9hsc!P0Lt($XbpWt^^p? zq%&6#_Yz$2n1AXL-4PZsU;0F$q^+q@vo{-uDfMoSAKaH6A0!ZtuG!aAdz=CY{ZUe# zMC+?gv8(01RL+`-Hhol$5vO18YizzC0)N=<Yhu16<&`P=_Vi=(g~ln?r|$IBT-bF5 zDA!E1Xg_}6Gz9bD+H!TFy1FD#F`k>eCByrP`*<DYKz|&Q#tvdPgm{<at+a*xBtei= z2m|a1&2q%LCO&Jy6<u;BMR_Nppfn0&Lqqars~CIT)nO-NfgF)q@!)$KIBEh)*~7LZ z6W<!89~C<;lPFeO6-1!Bb3QdbwX`M(PEK{Fb^+XSUKv48*-K5rk^&JYk|HA*I)>vT z+#o3ugMaE^Z`ruC#>8KC7j@4TZ#MV~Qb6iZn%EKqr6uKR&$=3u<$~%yT>9k5ypWgp znoKExLN+Gb5OFosLs%6|%NsQt%2jc7*N+kB&9Dv!EZ!;muGNfP_YLb_UFdpsMH$zb z`>KU=R7l{2*ZFO_JZBc6%`Cp6sk1&c>5Pv0f`99X0;|JrG_mAKsi$t-RhxS}*Z@*t ztJ2lkTSPI<o;*(8B63&jcJI|7nJioB=IXbjNayF+sAL&zLu7Lh_xNh$eG8Y(+4qB< zicI6<)r%N;og|0pUwb{{(tAy^r<Xmh_qy%;u}bc%wgjWHrza)^g<Fic-}o%&Naus9 zdw(5QcT~&ad~n-H$=7VT_tu;|JG@=5u+6uG-K^O<ML|f|a+YSY8GA!%=z(pyyq&(b z0-UooBtK6_ZlzV-kc^v?DW8?IaF_y!T`%q+1?CS;x3Qn5Go>sTEti+cfG8>3pJh^< zGdjI0+K~K~=kO=o(8%OXLpdJGm4QwSoqycCpG?niRMB(!VOno=mbxP?!#xj^B4XfM z>cG(B{RNl&`7Qh7i<K0lA$ckL<6mLc*yVIA`VPjAH;vF6hBdOQDHiAPcHOU5IIH_i z%4zYbcQlIb*IZ8Oeob;x_iK`qx^G$4WVIV~zvgmM_iHXM)6qU}JH-Ao9<tD!q<=cU zf0q5L6mt<Hv?Sk*xfmH3IXcU}Qh`tN{>@n?b__))d`oiDj`7Aid7hXtM+$otn3yro zvAd?0<VKa{6ISn8$?N;Ks%*8wS(Qae>T<k^6O|>IjBJ?9G?wMhnwDguv78}m?6~|s z8IuK;KiiU|(fcr+mSr*2-Tr>eGJo~cM1tAV`Id4r#|lm%%bP(?&Z9d!$cmIkxEn^F zmczx#P?l5Hhn8}tDC{0%=#d<&N=zd`4axh-P?k)ici4S9al)+p<a-pxl|xCS=oUeO zh-oZ$m&;MLF)C}RSBi8!vloP|iq`L6&(S!G=SN!#sY%$d2HFSlMEd^&I)6F;Ve($E zbb;bNeETK^rF>ybGAXqEe*;#JI}~D7BoL^nUdD{r*1AY7$v1{sjq?qTOj8Sa-+~>s zDder()<TR6s+tAQ!oF!Z>TIy*jMRGoYbUkdpvWCu(E%f1M}a+`t!nM-q&@$Y->H_m z40L0?#qEGrxK)An%lvf>W<Je*Cu4XFz6-ute+B=j@+p&X=4wm%mG7eoV|v^wzo`I~ zk6_(yf-M2Q;kYWYaA4T->*nF_KfL-sn;O&`lZ6gF0ya63KoozqT1#&vw-LVYubATs z3(;g1pPTUj8YyESFnqCYaSUh;>>>-u$Sr?A#aB1UVUyhkau|#>&0@X3sv?`8zMc5# zrw=@RUtd4`a6^4^%xTc_^!oLKpa=XUP68ye98QL7CcvFu-%tNMbFKyFiayfP-!JrW z^f#p6UM~N7{l|Z@`42atx;vw0&ghf2ngN%2XXSUX%?^@xcaV-5?y4O={`}xcNgaFg z`=eDAiPB73Pa*?pAQ73wbh&6`22{=E$3!BrOJXDg2{p;rOw!lII0k?<$y+87U0q0r zsEcD(BwhX-bD^b9G=hB@b8(UhYilm=L-lEArdnOT4+Vb%!5LSkCi(Mk5066Y88;Nn z*_sj(g@P`H6bx+>H@}RTD9%jF<@d2l$}z2Eqte4881wNmj5sisywn(jkL9DKqIK*< zK60$njY{uXKKin2Fm-t%0EJ6q#&2VumdvOqmoz1a)sf`au`wK{-5Zk6pMM<kK|(7~ zx+Z%2_2GX}nKj%ulv0$suBIHvE+Q#qu_n0&lGUS*B97cch=l|U#geJsCCP5ROQJ8= ziN=%-EzLw@(9Akfll;boc{l|8fK1|AQm)5=zt~|f@RPPqsv0IHz+ZCN3H&9=PT(&| zb^<>b0!?`c_)9K3fxqPPK2C2gVtSWc{upuridcWHO<$M3D}AkS4r-E5V=lrl!MAkj zBPuPGvhmBLh@l5WQ<Lm0Vv4}HCY;nT0vl{oU{b@3V2W_MBH4l0lpUHJt3d3<>ku|2 z$u8U?kt(8u*MH3MS~n8T@!E1xlXUQ!s1%hpMIPOW*Iw_6WUt;85#jZt;yd&v_^l~t zdJBJ&uu*D3?M<{!SgSN=+AM9lxLzIstjBF?*d<}Nc#h+Mw96BB0Yl#gF5!QKv`Vil z{K#+_h9E^N_pT`TPp}?<T2)CT)PV_G_xOD!0V$gVHcE<{_UdI}k(8t#q6*hlY0do# zcP>p3)Jn?dJ^X)RR)V}fsh{>IvxGI?O#XkPWND_%8Ln|vG@}2@&s=Cq8Q>N_ej;lo zv$Ug<aYxSwu4!fB>!mmPQs%=F1ky4imXeLPNRfA<@=cK|=m|VUj$U8CAKWgFs2~MH z)YAVF*50BO;&Yv4y{5fg<l`ljFWw7&CFa0O!6%d4*&lH)G)W468RilJ0{X-#w3~la zZA3)?p=y$G)kaCNg+NgWjL7#?ZIo0TRl{XmwUGuD#6wJ!qN0s8lX1~TN)zt2?{ewe zSX%;}hRX!6sF{+WYmx~UOQnrkgNkHaNYNn!QHS=VkW%h2DVlisHUt>SDPEjv6G%Ph zgi$JnYDoGFmOkDkU;l=bZ<I~l?4*Cj+UNzM7X(N-9<gW5n}`VXt*fTHZPS&YX1{3D zpANU_<qkXBbS21MGNC>0YSSw&``Yx1WM7+Jk^Fbeg?etJDXAiXIADLB^wFe}Z7APT zBRQU5eWz<wL%KA1vR^KNnmn=wP*~^Y_&18Q$*~JzfN7ljJ!<F1+DYm|WJ7;BYmb3x z-vrdA95={7@-+_oWh|H`A8T8ae4g~w{&*ByD-5|9Lr8cekbverXGEXLb~mc{T~Y+^ zz_cahtw!%dW=Kn2>zz-;3}ETIwkj{pn9wBR?~|Gshpevs`k>-#q7VU7_!8cVPwFV9 zd|!#)$6Tl=f~zS$31T!pUPgaIpsm~neDzIW4Fl6S_ib!w2TaK=SlCEYNxd+hq(3Lz zIr}N^&W2<*1A!s$P|sZv?K-Oi0$4$_Uq$(Sdgy6r_Nz#~L}n8U3S`>JBg|0vnqj+| zO_(833UP=Txywl1)ogO)Nl0m=J;aQ<Ik1hR-*(NBl0cTHsmzZtY!cWER*d0w0T z(9S#mt4gDdZ|URO)aZxxd9uvI5#E-aiXkU7Kzwb03@=6z%p*nK-H%A{l6hx|;#&WU zA2)CrO7e>QG!JF9J_U7d?_OG6vJ76*YUl}ci&dZ_S+6OS%22P4OZx`v0K4k#b&aD_ z9vb7sPGewRp;FUm*HM2@N_kELtUa$&Ck@fLL!|g|-F8^{!!^oWG)$nqYdOYukx~fC zE3-_YWNIVVNwl74NdX&N`*azGr&Y{R*=zRBbF6$>!v=1p%ka*<SWKSfX@E_q0ku>8 zYA<n`&zE`MbMRV)`JJc0=lOJC;j?`vF|HuUT&?WKpN8p6jVyo77WejfzRWr*Es%<w zVVGOXr^)4)V^%dJMGfg!0_VLaYa)s#K52Cb(y4pwNOz|IVWbp?<S!_uB`}NM;j)3* zG*42~P!bgCs*N^{XuP^B(K$!-J}*kjTCERRp(I(&pv=$=1yL>G-m4{o1g5zfyi?G^ zWJBTKZ@^obw*-H8&?!yBnbA2iw5ax;q!|@`CaLLa#F6O`F^UkAJ=QK7!@^Tc^(`N| zg`xk&W3)cE$eo|q3c519WG*YuSbG-(Y}BW?uC3gWrmR}ojP=>DuOjhDKDIDV_2Hri zM{{0`-Z~JR4F}@c<@p>X7^FD$2nMrT#ZOo0n$^rFvU-1cl5u=3`dBm@8k&Qg(0#aa z+sUanhSzPN(rSj#)Sx=0?hIjvr#t>#0|Rn!343SgnnFG;hx$ofUvbTbi{q0WF3x+T z7HMC|XR7V0m{-}RH4N?AHML}3GTYQ?Yuh?+ZLgiOw$eCtB)26Yhj@`Kto=D&<MfS7 zT56<}q&R=kDvX4I<Uiv^oZw$j?^SX+M@Uf1jl~@#Sl8Sdn3vd}_}*kWfzSR+-jKl> z*<bktQ!o3;>uRHwOTMx2{-E4S5wYA$gl;ZMt1}qBOlugmPoymzu`N=dE2nDP{(GE* zR)lNzzhK*Jp&fSZ!XJ&^R;*{g9h*n+X>GnjQfYs4+p+l!NsuJ4qjTarnH!2;&E?SK zo#b1X9iQ|tJML241{G`TeK(6+*ukV5x`;UW*PIpAAmm*I*X6iAZJ(T(2~}!Mbbj8J zl_b=xtgPBh%F1GS|LPXvA%p?3zBMpI7)AY?thnsYRR4C14Gj0o=zwX;&`QQ}rV8I{ zI%t1ooW(dz44f~A7wG0OUQ;L>#!5~{-)+?`MJ{&LC1)G~)1X*_^ZhkXJF2cHE4ZT+ z*3HlTxZ6Kf$g(acB&m>Nqw4}{TOlDOhBp>UV@|puse~VLTJz^)iSYr0pn;G(`+s=Z z*=Lh5a9}WLD8w~+)7irJ+4epLmgd&k(P@8Dc$#|r;b<)>QH-qQn9rJ^{G}YW($~W# zZoSx~ggeU5NGiN)$ZuofvKa2NThG|bqsCB}Maq<5G01PaEIt5S5ZV9ay45MY0TBq6 z<GaO$652s*Xd;q`S=h8te<GKHx*2_ES2eb)BzW|1!5#ObL}YL@Y<!|?)I)X~>QR5b z8>{Zr6BCqhjDEXwe)-PG#;tQsPf8CE=KfZxe<e(5p)9sk6RQX<7$Q_u`>Z0gW73K{ zDaGV^T*Xj1CZ#2+iIiKln7rOdc`lEbwQUOy6kTk$J<5l+aO)ko{*{qGuMf%m+{J8v zyW}sV9H%y9Eg#ov@!wxR{12<9n16#$8MjXv0o9WPGBY(bmnf|P9|STpH8r<OtpU9R zMK(i1Lo-D|GD0*oG&e&sGBGzYGDbr;LpMV>MM6X}J|H|eHbX)~Geto%LNqiqH$yTq zF*h<YMngA4H$yl@LPRn?AYGHegB}AjH#d{7P8EM0(zi}rVGxGl8DLFZa#}DZ=VTKW zmYj38$=MW^3sWG`AW<MzNT9<F02MS8xUhT)Tmp!~EfP0CNrC@&nn&O0JOAhuBO>x1 zA>!+X9_R&8J@_Fcg#;Bzw=n`DVGWib3ViSlW*i>hc^`n*i-uURw^qcED14TzwJmWF z&uD)s7yK%Tr}hVlkOaw)0;!M&=`a8pkO^6k4FSl3QuwG67`CN(@Covv01BZ9ilGGR zp-iRp&7PG*1yn*6R6`BaLLIcjXO+;4J^KO;&<IV?3_)mtRtP~GbU}y8)K6Q`34PG7 zGB+ZQTgO7c+CdnCVHkl?7=v+`fJvBwX_bG)e{R9jgk$g8w#>pDd{x>1<%<0$$I-5} z^RNJmD#w?u2)m<^vqx)}VFgxIyn9!i*E%l#TDuM#Dp$`oZmK+FSlUu~UA45Wn&Vme zuG-dVX-9RVoaDLdJPA5}-`J?C*N2wuXcE8=oQjvEdKY#d|2dWaWIjH{3T19&b99&g SvjG?jFgZ9i3MC~)Peux+r#5N; diff --git a/info/exercises/ex-02.pdf b/info/exercises/ex-02.pdf index 74f714d9d8068d60c2f437aa132fd96c3aa77ff4..4af57628d82238c937075f44b6b6cfac0eb42b4b 100644 GIT binary patch delta 2926 zcmV-!3z786{{+<k1du)gIX96&7Jp4|9K8*`=U42}MqpJW^_eCH?6`h`qR7d&wgK`M zNKgZQ(Oc90`jQ%HM$*nmyKN5(dw1p`MT*~&KK(f9(=YGz<nQClyWc&7JAqdS)|k`F z_jkZg^a)PrQEBT>&KZTlonGEffBvX7K4|UW{*E;AHz(g7wf6D;uP=XGv40S}B5zL4 zpduG)tOczNBdlTM6Mv%Cg#1?*n#OAlpZPC8rN`wh`7ZwxmbWYkM(Ew&p%dbdnNa>1 zEF_wxAsI!4Cw@g4TUJKADsRe47Gfq7Dn#+~{hdj?J=}Z$ad{#i<78Ek^pTjcQvC@) zMQiz=TB%Meq?2_~IRk~ed4E_WTsYrjqW#P?lVFb5g-`3Zr0wM|h0KlIDXQquH9H7s zRM2>`gv$GPnXJqwkmwhSBzBi}uqtZmY1`+8uFy<-805n=Noc0Me$HIdFU1OqMO2%X z-w+B($B)YgK9?ut7i&tEv(VRhPqNhrcF}81?bx=~eQs=-qVmR_EPoqJK(lJm-7k8| zD=<cOXQ939pm*}CopQ~3HhNFbh@i+|!~Nz@w;4ja5ZMwJTgYEDVn&hQMH#Drf9g=$ z6<+MkDtZdGL0NWiE4+*{6jv18j*JH_lcLzGRE*qs^Kmf)@?*t#qg?d+iaB5_HjB`+ zU2MPX;IR$W3*0QZAb$#8e(`4WD0y?EF4mj*lxKQ*S3E|(3%|v3T=EZ&ZlRc2j%w*O zVWV@Xz}8@k+v}i$TU}Eaq~QCsF)!vCl1M{+gR?3CG*oZ?F*HQrEsEZ@kYa@vkHU)Q zgwa6040jcxSI{l2==W)fry<8v1FqV;w5zfFN{vF7eM$QO;(x&&mnVz2Gu7v@aYoC@ zg<3KGIaC&DubBS6vi7+Ur)?i&3mLlrVNf1juPk3#7OkS~uai9<ZD$9s<8@lAG=!_P z;ZPZfJr~(431xQ7F90Xmuy3jddWl+540}G4eI%O+Qg+DX@#!azn-?dK&K1oDN|rW` z^TlaR<j@Gz>VIfIVgreLwTMqc#Q?{6!=+pU`T4KgJF++b9y=Kqf#Ur&^1#X3RKGac znp8{Sxyc|&g;yk@BCbW|XWzViEDxt<9UJt`&)?tPfpa$^mb*z`{3_j1pyG0sIy&QY z3Bhqy5L(DIT|y)kc@4$~<p8>LxruwQ2}N1rPySd}G=J392A;Sru&0}r9V>OHN6P_; z9sLR(jyRf7gSa0n-czb>YJ|Q{eZ-Z{R{CG7zY2Y+0&B?6i3(XE2C!#yhu%xzGh>E6 zD&wdHj{_eBF5EarcS=e9Msnm*x8{s@=)hnV;(x2t4SW+OD&;rDfhxq`Ckh2+I>e*~ z@mwDAqkkIlWuo_>xNU6^AC^7awj1^Xf>BmH1~~7K?F7<C^^Uw+GaH9D)K)pauY!a6 zh2PYnMT`rJ(j^f`IBw9-I{v4ve8uOg;}2(jVW9u9V=}-hZ5Fbw{h;-+phCnJ@@cG6 ziCg@rfqWn9)CJb1X(8h(2-%+zTcz^OabANNGk>-#(`(_|m|5f<1m8k_4AU8D>A?a+ zq$==d-QPiN2dF}5`MfSdP3lNQt|R?58YJY1*h5~&r65N_tFgD_(j``Ni(K=W#wPcd z;r01;{1`98bFD^a%dp}8&c@V&!s0X*^0*;651uzTBb6E=?mGOwx9l&BgQ;@b9O`HB z-+!mvE5+T`R4Q~bYY8)-+i=;P3QXz9a)J4DHs<@kPMMObFPW}McVoz1JY9=viykM_ zHFrk0n>Uex+^Nc1o2jAE`91RT4SSs|$UHq;CUmtKb^1wfUo<z9n!%*W+~e7RBGXCJ zyY$~Sj#%C)U6bf84LJ0&#?>~ql|L@OrhoNR`^8$>wKcX^6V_R4-~H!V;$!LAww)`j z3pJi!y1Yq4L&#akturQzt36%X)YKHV1QvFy2<uoxfoP>m!wcgwniH5u+j99d9p|9I z7V>>skRnnG`8KYIq##YQa6y^}%QwG`xdi?Zx`q8Zt-C;yP|f9SQblp8*30rbDSxAM zIznk6zvcdP!i_*lX04IqvQ_FH3Z31288fk3`JT(yu}C&5XH6&4q*e;bXlNnT5a*yM z<C<D(iUy^}jJPL<-VVM_>!j#94ZKYTb>eJvD9+KWj;%1pYxE}NPV^n*$5pK^X;6;V z^EWv&x;6?`6fTWIT5~IDE}Ej0D1TIQxiAXVkPD+w4Y@E1aqEQETor|CE*D0jn#<eR zV41qNoyPt)<brIl+WCE1_P0_3SCo#ZhP)qh0k1$G$+GXS=u>On$TEqjBtGF=$b}Kr zva7eiNkDam3)~Je38<c3RchlJa-GW}m&U%Dus&SvvNeSZT^55@2ssVX#D8VE=cAU% z%wyU9EVPh`$MUP1Ixgc*4<fSt*%p#|<uL1&wNLq}L4M0N_3OlfIp_KoIc}M`oma&6 zCTEd^;lh?#E-gsU)i8Qpgo|V0j8oQ!7CCbi&b%@7njE`IRNU6Lknzk6*($8=boXJB z-`V+%@3k=GBIk)<t}!I!zJC_L?sGY)Rbo`un%*hW_RNm(tcup}Z_hq6;;4z;?!3Rf z<6T=z{)2iVo$z;d{&jM4$05+ief8~!6ml|tTV_`g*7C^eVfG-2DqILOsJAgAj<qhD z7V;jL)wuKF8ky6fJ&0iYQxdLd<lL-{5JP1fPJ`a!erPxttN=F{(SP(Az}oQy2e`U+ z2U~Q&2su$u&u1Ip_<DShzvWX;nce1-fU~s2F~Hlk)?6nlWnz%~?(Jk@?ZPMXTvomd zzM;P=|KOsB=7P_|*^=_1?9rIWJZ=MO`4kbXyJ!%EhE&*wT9;k3+AfR@uUU1pr(^X4 z3HOFRVQ=WO4Be^`O@Fv_M6-@l1|yo|gL_i3753(r$+<n-ushe!=dnr2^*gqFv6JX? z=y;g4qfrIhK|Xw#oDxLYJ=20X+3Ru8)x<3}?yasD0GI(A+BE_+kV*hO5@46lQG0AT zinWMJWb2R8pk<M3)W>4h7i}eQ1*?O<N)t6?(}eXyO;n(Eg@2b8_`s%$Xa|$QKC*U* zdhj3e;NPIRZtxFL4o0A%J@GXJP=@nHx19C*Tw227@ykdTDc|JF1LHKhe%gk`%M~}1 z6p$lrC{M!CB|9_?Pg^e4Eehx^)s=X*ymxl-D`BcMw5oAEQOS4j%9E58BmzFvtEz|C zyQvWfI3KM$-caA^TO&A?oKqiMl*@;%iLgaV!hS&A-R0`8#tM~n0kqybtjV&t<M8AZ zAl5?7f;5oagznX_Z}c*e1IIqdCD%5&%D0ir%YS%z_aD)MrNe^*3bz9a0SG7rGchwc zmk%-l9|SWoGdZ_1G6CWXMleP&I5;;#Ml~`vMleA|I5kB!H8?~yMKLipFh)W%L_Q!q zFh(#qI5$E@H8M6vFhNB)HAOZxI7Br?F)=nUMnW@0J|JC}u_pl^0yi*|5mXg_9nm>b zLQxQf;cgTWa2C`D&VV=zJV)e;13stFDmS5ln=m$V1z5%gF2G!47hq^+V5;7~ldn$K zsoQm{T14b8CKAuXI81=3)?S39(5E698)MJ`TM$Ag#9<AVU>{m=2*(h?0dzqEy5R_t zkb*Syz%=y23FM$(B~`M&48S0N48bsDAPXZf3S$t!BuuGfZ^ZNN37oB(fmtX(5lS!z zWtfKrSX9aV`nUOOPo-@OmSF`}RYK>Bu<faTTU&uD)KnUuzHk?wR$%QqY`~^Ul<-A# z>$&`~b{lq7u8KC+RqhIwc2ypqEHzZ#J}fzvucW0t)%3HarfT`#(kYw{!MSSn!5`VZ Y%0GxhB1xB_KLH;JG&Bk&B}Gq03M4D03;+NC delta 2915 zcmV-p3!L=S{{+eZ1du)gI5Ckx7Jtib9J>+S`zvNC!w|!&;?uDQ&`8k*g1{^7k{Iv} zU?T!_kzJg8eTuJclG9E0Bv}lkneJ1?D%P8nrynPI`sJOR{Jp%q``t5`6Ig+ul{&qA ze+T?Tp5TNQh1B+Bj1uU~>E-S8=TB1NgOmo&_au?Onego*rS<2(zWi~)f`7AutU4Km zf{d%N8l+T=(29{y{P9u}@?TkKDk~*C@?U;Rm-JTn9{wjRZ)pmcK<|8yCJ?`5LiwYx zkZ6{Mqy!P3_!XgaSsC%FtST!>#8f6!h~ne<UPay(&encPPr^r;uquf9h|E~2_5>ij z*8EScR3in_NgFSWg2G)rB!3AL=QBpy&rCB4W_Vrrw0w)&PJhW|Ze&hgc!Q?dK|m#( z#FHiz*7{?zG9O1lzgQ&Eo3x!4UQ$n6KPS3@X52#;K1`DW&A8XknM?eoSV6IfYSZ!? zfkM>rC4JzrJRzH`DOygVFY}&cs|nbo*P7bCZ7uuU*fM!xl{slP7=MRq(V{sgJ>?ZB z6?P}lPCIB#_*GB2W<4vprDsGCq_E+B_ow$6LYt7VCC0aqzevQ4BD;xFS^)plp`<Ci z*qep7<aC45?BF`^QbLhmQ1pIeJgAuz`Cg^L$dy%}k{OU4E5<5eyxmsJ4%=X}2tC_m z`(+3BZKz)0YRLsr@PFYKt5%N+Z?4pX^=3ZhnN05nj|txczhpTk`UgihSIjI&wfI_K zBXg+0)?ka<ODCLJTr)6;!S`upUd+`+k%syPqlE)#sNVf!Xo$dD<gIQY#R@g<g%!&Q zqk()G?kadIpj%kc?^BAWF2_>^rrNu>tG@h7jY8AD#C?F^!G9LhljQA8^?7WZUUPDx zR*ZiRl||ADroXMMZ7#%V+j`$Z#x6kUghkUU%T|^}i)h>HWRFMP*}?00omvYC?j~&* z6bgLLCG1rQWqQod0Vi3vZK^wZ@lud?TRxM0B%29RcF5@Q@h6L`7e|lI70n8YmNt&_ z#c7r2&<ND(Xn#9m0|obL5ub;O0gmyCOSuN}^Iz}pN#Ff@>||U72Jf$tJ5JW7`s8Fw zQZ0q&Dnm#ryrK{){8D5-+UD(jc{nvo-=Ob){{H<v7;_iIGI#NdU8LI!R9vo7M`xTa z!5OX!Tnm||OYkH-uR&QS3_zDIS8;bXp(rc(lik-94S#jDf+ubZ?CGjy$4VXQQFB0I zN56rGA&w^0AkJgOTZ+|9jgYsgkGRrVOaEK-SD}w8u!j7csE`$+0DCs~Xl)35YRu4j zp$xU)ao_{Tg&XJSPARe9h>l$9)|~Nn9T>Dg{BL!-g74f!rTk`apbGK#i9$iB4l$`g zESHD;sDDO$ndsdKZd)6~$FyhbcEff+P(lZf0nR(5JAve0y%S!onT^96N-d1tR>4mF z!f#5~BF2S9>5_;e95?7!9sko>zT$J$@w=<O(9!?cF)3h`HVawSzSH_>5YA%@`8-x> zh+F)qfqWn9)Hv3qY9Zq)2-%+zTcz^OabANNGk>-#)obC~n3?At1lvM>4AU9O(1SUK zgsQ+^b$>gx9iVWo<@1_^n$(eqTu0hlG)Tx1v4^~lOF@o=T4Ha>rAw^l7P;nAjZJPZ z!^-RJ_%U9F<ywudmZ9DGUi;XBLUI}ndE5}42d^8PkxCU2cO7=yTecU*!BiNjcJ-6| z_kSt(N`A974HY`6rG%N!ZMf`?1!m~Ta)J4DHRk)jPMM;rk4)D>ccaK0p04@0MVHBR z&0Nv#=1rs^cdB8n&D2oI{2tlx4SSs=WS*X-30-YQoqpomhvsIXW>9f5cexr+WIAzr z7ynzw5$T=MH3i+p0f$U$Tx?@q`6c}t*MC#(7i(qH*4SQ^TV}0&_n&8pm(sJXJ6Bp4 zYCOMmd6R~Qkh73kW=t9vdpg?G)D+eP<~FMcZCJzrkwTV+7sh2YCoqe;<??wt&OwDO z<omQBMWhz;ZCnwBf;7s)1!*2E-~Be`;`m4C7WV73?t+knYA$b+DvC?BUY6HM8Gj|? z5lRF3E%&DrZUiD^)*3l3TSMJLuCtpjV<uV(+jIFk7D;<ywCY4kweGlaLoSj-k<cLJ zczxVtL%*?Kr-hF<ok(wGef-C*#zcEXhPRy>f85kyk_2IBIrR!BHMjbHMd7ILOUVtK zIyAc|zF%`W==(L~pzqg^gTBuV3x8^LlkeAD4*Gu0<!x+LOx@~EV}BcRL1{P^+ih94 zw=#qaANr6Q@?p#ctN^(u%eGUYjSX=l%Os9b@Cn;O4#qLf{@4O1VazBlD?7*}j9GTo zP?6S<+guj8Ahp$8^WkQfttlLIS#(k$<m5vWm*q~2S|&4(W&6|6LM9%|uYXGFxQzQN z@W}S3TS)9s-K;~EY=*L1-?wa2zfLTeGo5Xb<3^R6XhCdm;RKM-9c)y?Re{jyG>l%8 zaDFVDGD2I|B4>`m>CwAhlVex$f}80UGM-c+TZNXL?mkYEFgw4py%vUC!YLl8TMP-g zn*`9?Ty_cy?}gT?cZ#?@vwwp#Exfkd+q2D#IBH_IJ0G~7&~7QTcj}3FuHM=C*U5Pq zhd}GM)wdl|$b_L+nizRlPVcoGW)BKcg$scO^)_b2vDSFiLOuYq8uuGqnQ}VRI}vPq zHo+B5IIU_U#8BCa)1cM39U6AV8Ng+|SA7Q1dOSA)CzRRQq8&!aiGPB6KI_=T)=hi< zmd_f)#5B*}uhI_30IQc;bD3k5K0SB4>pXwyeJ4{?R=#nzp}#19=X!<Yg3rR$lJZgL z-f%`;*0FH-6cMyJG=4#D@7+2|I(E5fy{0w1+|<#Y4zqV8+#0pGtx-!Fbyb5AcXTka z3^4|Sk^SRx622Ao?thobX*t`lxz^9)*rdXxH@5s>C*J1J@i6Hby>PmNeEc|>&HJ!> zss(Yfm*b!-i5pwoT3s&yFatKUTLfqzl>l-iz$Tx)+asEzSc|Ac)^;xqY8JUheJW;s zXe)s$Sn2Fdny4YGCbS)Dq5`!mJX+ubn<}Cn%;WmV+9B$3yMN2$c7^J;aXa{M903jO ziLW7mP@Ffq<t&%h;u4a_r$H)GzCV}8v~ghkw2o-g#WEEYkRz=tPu$+sHdGByU9Pev z1$0;0N<2&NU0t_|m?{k|YFy4S@{PChBxZ#W0UzpB)uZFh)CdHekCq+pZ_+IhoJ!8A zj|<9`Khs3mB0wc!KNjw8P<0nl1C?a~wA}Wq$+EcP@MHua)<VsKG*GyI+^b>R=)>3y z4ErFLT<hd2-vKT!|Ka7`e*p1=i6Da$3bzvq0SG7rGBY(amme|#9|STpH8i(EG6CWX zMlwN0IYBu@L@`D%I5jyqF*GnRIW#gtLN`G<I6*NtH9jCbGC@W;K{-T3F-9;rH90sj zG%zqZG%`X$H$gc#K`}QqJ|JC}!6yM90yj02AygHACDFM~LQxRL@fj2qP*LHkfD5j; zT?MWyaK#01X-#aj@J+0E0upNr9>52%wz2aKEG%qnjg_AN*!=RHe3{8fMnvQ{A`;EP z6ikDtmb*ey7*>(AJtNQqdk{b`L}3fo;RqUV0!?VaG4w${48SSGAPxx_gggwv8Dt@; z68G$XFC#DtV~~P0crXqVFbNr$fms#rRvgccjBl&vU>+7=5td*X3a|pJu%?pza<jP` zN3mlIHo%8XmB4pJ&~a4Wtt~<c$||)tSA<nZBWCS3?7*%{^V=1zJIB?Bwfk_Oa{YgR zib^|WsjAX_uvAldeX$g(eEwKER82fus;d?g?k%0e1zf6@+V05Vll%cT(jupqtUm!C N2{JeeB_%~qMhXBXjRXJy diff --git a/info/exercises/src/ex-02/ex/cfg.tex b/info/exercises/src/ex-02/ex/cfg.tex index d4b33a3..f200e3f 100644 --- a/info/exercises/src/ex-02/ex/cfg.tex +++ b/info/exercises/src/ex-02/ex/cfg.tex @@ -5,7 +5,7 @@ generates it: \begin{enumerate} - \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n > 0 \land m > n\}\) + \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n \geq 0 \land m \geq n\}\) \item \(L_2 = \{a^nb^mc^{n+m} \mid n, m \in \naturals\}\) \item \(L_3 = \{w \in \{a, b\}^* \mid \exists m \in \naturals.\; |w| = 2m + 1 \land w_{(m+1)} = a \}\) (\(w\) is of odd length, has \(a\) in the middle) @@ -13,7 +13,7 @@ \begin{solution} \begin{enumerate} - \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n > 0 \land m > n\}\) + \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n \geq 0 \land m \geq n\}\) \begin{align*} S &::= aSb \mid B\\ B &::= bB \mid \epsilon -- GitLab