From 2fe8b529854a93dd7b908cae6701c116ed31fe2d Mon Sep 17 00:00:00 2001 From: quirinecker Date: Sat, 11 Oct 2025 16:21:45 +0200 Subject: [PATCH] finished the second and third task --- index.pdf | Bin 59537 -> 77740 bytes index.typ | 67 +- task3.2.excalidraw | 1637 ++++++++++++++++++++++++++++++++++++++++++++ task3.2.svg | 5 + 4 files changed, 1708 insertions(+), 1 deletion(-) create mode 100644 task3.2.excalidraw create mode 100644 task3.2.svg diff --git a/index.pdf b/index.pdf index 18d37d666d634697c5bfb4676cf38aa4e5381809..0d50e6658cd00b89a6e2afb3cfc269fc45b4ab68 100644 GIT binary patch delta 48123 zcmZsib8K#1*ROYN+qP}nw(WM;?p@n=xvO2(WeY|Q_LgN2=# zjpg5Pv2hZ!vHqL?)YypG*oZkf{#pG`I9Pdz**N|U2N##Y|M?*n7GN(Z1}F~?aN1T7 zhz^DV;C9d;N&SHu@ugDkG22hLB0UtJebCoxv_6|(slfp8@;dFc6?*$H`fl=7HI;Pq zsx%{5#uk#w&SX^K!J6Y3i;p}1NtZ;*QL#y8SDi%gSheBw)Ny5SVmLYZ+dB4@(OltJ z7Xa~sTZP}T#jf~K^&YdHZ4v^ZWM8X)+tJGk2sjoENV>EwB+@xEuGFx>b*jlCuZNV| zGMEdY^QmZVs7K{{>j1KwRiybB-O%7I7b^+scjo@;7Q{&-lSOcdHFu;Sy0Thcr^|vc z^OT>1naI*GxAV7boVyU(GqGNW^9II77|hf9QT4noSCFI)g*$cD%cTW4_#5g)Ly`9a zjAC&~!X!>TI$Dy=>HJH^(LC*jb3GiZ{f56E{GyunWxmSop?f`dv#tCvPDqpqPjONp zWm|vKE02iquxB?2o2LaMkCQQ=M6qFkuHmW+uLmu0Q$VHu*|CSQIz>gVwE7JJ?G0+k zJ%c_6cL#pQ&5Js=&%*R34gj5L`yn7~su#G!#vn3h1+qr$1hytB)@llcP>Mc>a~HjW za)vR7LyP`1Eq@) z2yn3p`RT5 z<|F%TgO(nEDIXeexYPGlx(}?^yje~DhXb+b2u8swn8Q#*vH2tLS(bvJxp0*2$0T8o zID8mZ`R7wd$DZQ-kKH_QSh{{hIvn2{hWKmhv+v=TZxO_mULh>M$q@@vV|a@Xzz%MN zkjahc`3@gzU}`mPX~t6g=K64OhOlfzooCD zPRBSjx>CekZal;4m^1Ls@b{-V?D?8_Hzv?lqnZW9w@PAmx?}VNk|iy(C;e`l%Be~l{Uu%5F>Ty@SEg9e0e1e| z?o?A0;Gn=+w%FysTW(7*(|XS5mmUAdG3G=sFN1*+D8uG? zf|IUYF860Dr(sYbFMl+?N1|Pfv|3ZFdX2V$GA$+|H%w}P!y{ze{0km*Ad9af+o5Fr z*n7+dCsm$ecyz8Iajd+OIM4m`LZV^el5Wr)fEy=b7xQV*)>OH%;*h&WUT9d@av9y> zG#SWe@JBvigqX5gq>?f7oh}?mv!$0(&~1jpdRnr6^7KXaY;Sg5$V{bYx9;_^oJus< z*d6F4CJ@NRE&c-p+GVp9QrQi#@kB}zzwvT;6~rWi=g?xTJW$@+Mq5K^U>2ZAx_rz6 zAc@H+ZC$XxNT5RNjBsVz0baWq;*(5rXvhZF_k*TfHMwcEc|WEq#Itsd1MBr2sQ;YH z2;To}MrZ8H?qedMhdxja@kk}07n0__C~gVyvdNUSp^9;++2idhZeLu_nD-$T$!G{b zDnC5Y;~0djN}+8z-e(D$dp(zXur1sGlpV#{;a5<{t_~UK7HyZchafRs7LSg+m3?*g zII&}8));>nQE!LXZ3!=(6K})i{Z{mMMj${KT116C0@ z)!JF(tpp^)m|M<#Q`{fexvL0}sxGi)c!CIVoDy7H`cG7+y%m^mHyHZwKhq)sUZ^jQ z;xnk=#WN>7s6fak$z zJiS+W@w-2+ZoqtmFm>g*p>tVqCE8rR<2|)`gK7o%!f9$5 zY|gKeY^?~ZpH5gu#4Q(JYBr+*F!tm}Ir)7`<>@IK8)N3@>(Q+=n^Uai@Rh8mj~{6# z5Y0_YofUm9uKHtCNte~-4{g2uEQ5(^AKnnX!SqZ7KQNCVf()VpAWVpYVWTrvkFl6f zKrMOE2I)T&qe3ByhMxu3{(ke`!>Tn{Wf|i@(A5S%NqaJlCs>tx4p<}t!h%r;z8s|> z{Y1Wqzko4*%$7oq#1k>ov=;F#)LAPTPqs_0P$&3$j$z4Ko>i0DLFszUd@@J)o~MqN zoCNviU}wtrf&~eGy1T&^q)3twIe*JyzJsmHcTUrT?r0QaMGM@3SJB^w69$*=z|v`? z`yWh0oD2+)<1Hnha}Iw4e!=twY&KiFz}0_FMI_^K%SQypn_0E!8k`Mhy?~EPWRS#&JHT+OU-ZAEXlxILE z2WdCtki)Z~utno^MzZsMPGe0=ylr!O!;9NQ=}1Jvrek#js{UfkLttWD$Bu|r4`(nl zx@^(THWcl_Pk=XGw`bWcA;OI})r5b*be+!cM&r)=fKMk$%E8{|+@dj?P4Q}PN^-XU zqSd<{fizGR7+2mf4T)x?e36iKieKP*2QB+7F*GIXNRcoJ~(>LYvE>vJ(0?jC2dPBP`^Vch@0`> z!>!xuCplhJyQynu7d4cG+YajBNhYMUdL%N$UCn^llTHIyrj`=LG!VNMN;I>^KwVRt zK%@i#vBr>&3?f2-RPJ+7F8j&oMWo&lhLN=i1caB&3#sig)rI;-A&pC5STp%b#Tb_M z)IIDz98ZG$Zbfa4#3& z?$r^gJM+FZmCD#q^@}q-IkMDT*);`sXU>OAf*9B#PAT08YDIWVoSQl&A0s1u_UIG6 zFhW}x<8j}Fh;=xWG%nQkjytnEh@T+Vl++bgSDj<|>R-L7@^;bAVtY{YI;p^enKs8V zp_a83Hrt&aL2>|t`OId5I1eQ@Xq^qHmT|@=x-LI`NR)2aDsRSG^PT`L){K{1&=@R2 zAq^pMah_~Q&p3TwF6E&RFoXxj9Ke)gcn4%MeZkbFC$s8%!x zs=gGwk(rEo8W96Wpi`mDrkk9a(%5;w(_P~)X@PSm|4!)vGdv9|v_YI+bI?ro7x>z|1?-uo#J_-Tans0;xwoUsgkpgca8Eow4u}>OzY=33qc46 zF|*nRKWuL#+oGQDqzP?afPEmGJ#wozob(7jku%Xi^ z2bGB?mn+%9z_=Kf>E8wBVL}7G7>l()EB(&jMBjHzv?22CRSZ2`F>SXgs|`a(9cPp_ zl%iGVpDqSM<2T)DhIYc~qCRQ5L~a9(>00cJ_D0<8M!)IFkiBa-w6aPMRW9HFbA$$z zq=`ZMlsL#Qr@ORDM5~KSf-jgJ>hqZ{k&)NiYnZbhbXVyKgrk(aypn)g&RTsV33Y2c zc#GmL76+qon3h*>wO2+zW>6s}gwK>k7I5Szw0J-Nkygy<*}s?=iRJnT3Yk%@JZ})_ zY*tih%D=P=i4WWjDt!Dt+*}*8+$yTW5JhzoPa`6SI7H)>zaP0S?BWZ9A>8qntJrLz z57;arBd(x1bGZ<3nJWP^Lxdfgq_ni-6t1$WixjkmQLenzma`uRp%HA`Q! z*-|>0iQA4443IGpmDi_kZ2<+$h|QZ)+CenO9wzp`H+Z2`HaD-UhJ3TWdnGiO@4Bp` zguB8{X3?7LN06#eq6?+XwU;X@*^I{yzq`f;DE+1OJVEZGL3;pj+-m5|2U!$w9Q}<` zja+||K(wDocp=Sywh!CZjFLo$m@6^MWkadbPMuBVaQIP(cJ2IpfcNHDA=df_vJm`A?fO`A0cW zZWsDoa{|}pZS3hz_4@orHQ7A&{4fXe@;W?qa#J{u&|K^S!lM6Zos{`}{B1=fJfo0$ z(|1ZR>Gm$=^orD-YiYo84q&0fyAq+!`jt|n^(bfj)(=2+03k{RZ>_a`(9W76q6G2=~Kz?wOVS76C4%d zkmys4guV;>VL|vhdLL-Oefso(QV3S#Ny+SGe(P?zJC9Iae;fMKX{KZv+q^&PgfE1N zIe~?QWe*H6ImG-vZ$!(KXB9!|-TZL$i)L7yU#KQUD3Am14x5qn_3s44YO(6}Uc4|= zq+d)R^qtIZLYZILO&y4uvP;Oui`)oC4c**Xb3C;+j$$S?nZ?9&1)Y*^i6ce9lL{ZI z#|GLTGzv=ZN5maA;I4~adk?;+I-cFdfl>brgc&?QbEU%lf+T(1fy#t4`{!e42Nk{R zbwz!!#=ie^Wj%#hj~!eix4vFkNi!m$(AG_U?QbTxgZ0tX07n+RMM3P_OHsCS)lOYq z+jV-MteTWm!W@OsctZD_5V67>Cwtw}O{{L<%QW1S*wj=uyTO}&Blil{h_eSDmBXm_ z5@;%b2M?f;{EIM#%>-Yqv+z{;eB5l88Ls4U$!PHF_Tp9=^ffTE_vsXYoXF4$?(3Ql zw9;PdVq{J_l^wL6i%K?RixoUxK_1PT$ zk_?KcSWQZV>|LHK&~$>vxfxa{kf3EH!W?XXpiM7Yi#%h+7z}u&jfnICSZFS;y4WuLlpmz>0qvijRuv}& z&8dnwJOBlSL$I-3++VLm2ZeaUDKk;*tIEs*FPo6cKz{8MHM#*H1`f}BL)RLq>Kq3^ zlR37rTk3^_csqutaY&X_3uzfKA!h{9D#t4F^&L%hI8?kuk*V*FVKoAg?|iL#=#;g# z9PAiSZG|xg2V0wWe?uxxADl-fsO|5{NGFD081x~7!}?=%W!?8leT@I9f9=ba2ylP8 zwV%KRlw{oF)4V1i8m5%UW3C^XQSbq<2##k&NvM+_Z|qp0XV@6|rHV=z;(8TycU1pwO;VylPKuHf z;0bxSjMvrUWUlsx55Da+r+{x0@JN%qxC%Aj6)S7<_X269_uw@GWgpiUdTg)hBhz2@ z1lzgGL7<{ZIxfuTi6-CroIm?p=%ct8;y;{+ISB;|xG9AFKP0gbz3LzK1BuD`9}p?6 zqNAcN1I)uv0b&1_L;?$iQGvrk*gz&sD#-u6hz+dE1_yd!+JbQW2SI{jy@Q$(bF=*$ zPEHnLZuWn}%ELv>&GB#8IsbWa{u?f4R$}gd$~^z6@h}tr6HX4+{~JMa{zE_irJnr! zu*Aen@)nL(Zq~$H?4181NkHnP;yyEa__IIkEGP`7Ji)rm4-)bdiL>As>R&qPLl&fS zqjgL^-s%=k2B}q!n*`BM>o7wcYEa8Wg1^^=#A7I;Z9bt(@xm~f# z2A|9JyMVHp7R;LiKcxqnqStR(OToV|`3I&ukDW(hTL3EtB8NXr(YbI(^;rWN<)h%8 zB5L781vdEbwJDZ`Zft)@a~ z;Z^0Lb^Ni%LFkiO6>!RZcFy{xD0Q!tm7}G`;)jcoPWy`M!`EcUnei21KS3s)s2!Tr zvx(lbzCaYX^RUj)(J|*}FvVyNwCpG@$p)*S9OYmP{!jhLaVh84GNPeBd~t zEfA-zC3BJc<1elmLRgj^WQmf=V~yAW%CG};m-7fB`4A6>2bc@C zmdg{5szY@g_I0=i&Ct%B%)=vakhwnwLlmE_KH*JLZ13yF+mIUr)zO{^jGdv-Mg3qn zgpY@}>_R2g4GtxV8I$Ic@-U-M)qG3L@!7RBBHNZEQY;+JZcwWoJfv>j@luF)3i;cu zf6>Xfv3_fT%(QzuQf&+HsccffK!9&bNaVoak&0}-N3`n{Xd|V z3ZO2r>}k3}y7!iGZrh-Bg+UWdP0EQZ;zPCY2bH)x$&gcERiS0;QlR_!q6CxUQahOJbr(lg+Sha$N$!S4QDcbmBZs|d6e?~n&<9@%{9|MH#cYDP?rF3v;XO( zKV|uSvJ<$>`3f}><|DP9$5870<~ya&tP%h?|?b z{WMm-fHUiz&V3xYShk$~^|=J67yMy_t#%%UFo#0&)l<(zA02}b9T}f_x^t5e0w^4e zcZ2JurrQS1Wm&Y)$jV?IoFX0J%LHWIw3!Z|J?=y0VJ|3oC0`x#=J%f@MEFb1Qe(gt z`-6FG8n*O4@bP)A3|G7Q&DNjSk0&Vj%I}2o84x|wn2{DnwWl>_x<@z!_|5Fkk0!+B z34LuVZDiDak1r|_9%XPZ=jnbd0Q%H=zvy<19F*>Jd-gZt8AciT(FXj(*1s>Rtd<4V zzxCTDb(cA6lDb~I*tb+ZC_W~S|5CD2&g8VYn)VOvMYTq9!4U8ye4K<;Gr=pWDs+6B z?wBu+SC+_U6y&`QF@;_Y0p)%V1u${DH0(5!U9?fTB z)GGOQ4;aje0ani=4ND)mX-4K6-W|nQj}8Gsvk-8Bg!F+vBgnw3-8DeSlP59ENkkq? zcoY2z%#-Ub=x?(?K6yle@v+|7Cf>?EJ!2N_reY%aA6gg3@7)h9jM*Gb`X!;@pN8{6 zyv+)i6@O`>hj?3%nj`KI05GaoIm{CDnm6vIoKNm~Ron~M8VwT?z#2@;n^1L2OH`2d zI+q`O=7Rt2SCGtC zsb1W}jU$$k0>$hak)F2+!`!IiI<}Uni>aBdm}EL7(qPP9lar9R1gN~l(>%MzROzJc z4IlNrfeLoZ)1PvTG{$LJ zI*m+Go%Z@2s(3&%vqHV77c1;lIk~u0mtfQgYhoAMY`}lf@mE=35)8-D#?e;OS5wm- zYDuDIa8Qy`h97hh11=zY6n0=L%?34goHwHao)DLXi21$A2u}py8Z=NZ=t?`=8>=F@`t#8Xu$eTKJBqO-?NirIvXS1a3#a(`Q zvK66%j0b_?ujuym_HKl>ye<+i-C(Tk;|C2Xa25pQH0&as0XoYe*68@xvchr%%WX7~ zead-5A~6}|A5+KKG{&uGNXivk5=XryR`&i%BsB6a8|k>hbbZ1sf%0~=<@36lBW-Et zX=#g_=DWl!Q2(hPE+99-B~;{aPu!uv^l}au-fMT=;2PGRm#esoX?RF6tRbQ1C}z92 zeaggh$dO4T0VK;h!onI9>IZvAHio>fxzmOezPt>z@qBqQ$TdgA37e zbAoQ8EbIR@TyV}0JSZxBci*gy_w0GUg$n7jL*_$T3N~ujj?pGh!}C@T>yj}wHPfut zubCMl16MI?^%FKtvv1nI)6aMNJYmqH%bH`+P+Ke<1vDAZE%=RqxoWSBlNJseljGv9 z$7J0M6f|kW*+gqegx~H|dXTJ>hl0b*t%WU+l015l=#q;Um^m%MUWk@7z7-qPbBH^u zmQg^D&RlO~x0r&BJ4fIk81K(13liH2A4ojoxT#qth%;B9Jw?VwV zhDpG*1Cmq-W%^afJ$l9x302!b@&r6T&##K}Q(#(g@+B;$+9S_sQmoYoz2Qx=Hp~)a&!_3 zFVjlzy{Gck(6y8bZvz+f`nBm6C(=doC6sd3fRQ9OFBfZ6Ez6lyt3~yS#@k$fbr+0P zbSs&-J%-GKZ^@lbjZ*uHh6-NLQ`n^t|BcLC7?5krYyszzs-EvQhh_X=u(&_x%j5A5 zTG?xXX`Omtz#t-hnGAKv?zKKdo6rO>(1SZ+Mr@?WH6Kw+)KiEtxZDh0w3!e`e#OcS zfNY)}>kwbahuwPm8-6yexQcm))9yVxC&^z!fu$lPP8!9F{WXa^Jdd<uBq=7Y`*X9sH83!rZVAaKXlqe7tDn-(Zj zK3tF6tw^#AEQp4+0SmYpjdoJHv^NYwY%%qZa#9qkE$$i8^rODdp%DyTdTdR$UuT_mJIkYFC z)U-UZPT68b8?;M}t`dU^ss|p;KztmhVQOHtZd+g$)boNfK*Xv!#+eg&Rn@_^A98?7`c5cN-cB_JjDedK3BfNNa;9d zT_^8suDc)(c>i*}EOP>7n`yne#X(RreU%4&voTAr9HVWsXk6>~RP?jA7!AD;txB4# zacZV+^+NEu8)ad?b;Akz5xj?}OmiFJHweEoR2K}llfK{Nq!0}$AY~!KMQ)-pPUB@R zSE5$-Y~*PRvb9lON(|QJRnR$POSZNS zn?Q8<*#yH6W2ARTc#0tm?n7a(KMBSc2=(lq zt=SK6BJ@%MBhSLSh3jTpjODCWe41&FD_2m&K4jt**xp20P*_;nRvnd?HN=~rOhAN@ zh7%?gU73(1{ERl45=W{-B1fhs1I?Wu#pBn(o2g4G!A%?jK#mMcX2;<(piPOIU-UT{ z+V_Iylfc;N>`1b+?LZ`jn&a3!*|p`6OjRAy9K{Ys=MRyuTqs{z+1mT)$S(9Tr{o!v zU$SO{?eKm;Tq0Xu`N*q55gbGvKO_}B17Zc&uAv=Y%lUXqIA{-rC=vLAasOU-u%))Y zqMXKRgSndmEV!9E^=%zkZ}{Jv+&r{j9A%R>G+O3$AlEX<#W0XJ0v8LE2}kuDAtopL z@adqv>VnQgb{v?|-uK>^2a+7q;z8K68ro-MQ)5TS@=UxuLNtUe)F?A~{$`lS2nuZ$ zPs}F&mbaQrap6!Yqu0b-T2Kxn0|s-<{gTFW1G#PoNH?>_rIo6bvE%L?U7oG+iZxn- zyOX9Df_{Rf)RTR=D&wN1BoX2f;^L*aOS1n8F4w~4R z>-)n1n3Odd9_0PaXLkVkF^3R(Io2Z)y!h>Io6fFR_Y11EE={ZUBdt%@s8DEM661Dq zGA4Rr@^x56<)e)nbPDjKl;^zD2&>2X%_UXbx62hV4hnS)xdvm$EmylcQLM@%bD0Ki zaltOj;1bhuEf?ke+mI>v@kFd+|{oA~Tp4_Ofod;=H zD&R2FZ6z|IQI$h^E!59puZ|%dDWHq>33F@9ma&EmX>plIpudx=*3}WAzUQTQq_Qid8wv?v(CDZ^ zVv=S>6X#=--lV!RdK4(h)*G#q9$2c3Y)UL9nJBp`TpGev=l*QNsh8XNc1l(C)eT;d4=%gZmJc!891X04-kGt0O9%D z&ER18Z(;MS~O+oRtoT3(IO)VeVd$!fp&?Lp2x zq{gDIE?vj!qi%xO1!5o)Oy*THep*`Fmhb!#`NzeiCzd|(ILgfXqt9R+Fb|zCTZDxo zH5Jh@a}zJl@k+X^BVs2K?5g$mcRlXsAR`E6_2Cjamd27K4%(u5Fs+Q%z~D*2Tl}X^ zs7wvkY1CtI9O0zbO7Y`iz%;nm{;E*?*Zs@yg-mdDR z#tK9xIt2xKiu!_~`HB=&K-Yu$5)(&}B&DWBfv&xkDmWolmPX_RQtd}Z6`sV zh@?wOOFM^8vAQiA;MD#YL$~5!-dEbbI9&_|7MG>zTN3&XiCoDg&FOXPQ7;ae*>9|V z9>u9y-oRcN%Y1|ZI7&OH=W`fcgY<6IBFL0A#%lE`m5czIuzWxR43%{(9Yyks$>nN* zwsR2D%`OIrNO)C*w8!D;BkCHdX_^|tDd7>LL!oH+H`#TB=1U=PkMRheHt5#>T*4{s z7m&K3_#sLTr0y8~Bwc|Y*{0!hi$=$$fMi3e({cAMsn`_;s7GJXghxyAXOz0k))|fd z?z~9Xl=k<&;aJ+*Nj3Gvp9#R4f?_m=F%E_aL?~&Q^6t!LSF=pjq1&diQ4}2ItVSve zQRE&C|2YkUr@WGVZ2*>^2f5vEeRJop<@mc(^;AlbJ(UeI2SAJ~|oh8O->Jn_sOfa>GslfznJ1XO)2gnCLXOVG6APmls4mJk;^uQzHD` zop!m@JROkMFXfCw%A%E(t;g3PKsMIy;?HP5#J^F;GVla3;^pAyk0_IGUsVkRkVw)= zG%!mX1yCs=Sx!8W46aC}-z{XjxK)>5Y+hODIQT znIEGA4lNIcj}v)rO(X&Qep+{1*sN1ruIE|&+m}`1;hGiB zZV_~Z7j-9ylP}P!$Ko`YG!PRchpekpwc)|gWiz+~~_UE*$X_xl7&gO++-LedX7 z-_Y>p!z?%5eT-f7Qf0S$+1dpy%mxK{3f}w4cRWCq`w)5{4MX(CiuDcxyw3lSFcM5w zR8C$&=3DKea-&^^D_sQwOWYsW=T427-%-6qqC0nxT##rodMe;EK z1SkbLTdtxaAh*NkI-C`<%GeNF|2Sf>g$-mH<7L5#Hp&o5#q75h%oy z6lh^6U`n+M>u1n6s2Ou}n^iW17BylhuH9UHN;u2~vfWdZk6Q@G1I3IVD=SUJ>Z0_Y z-4qw1X~;Xha_#R<^!Wy>`S!LKzt=_qUWHIo3%E_4SdO6cXW3BM`D__*+aQ0>XVU_o zci?X@4}wbTqr;3j3PMaBd@MSjb}yvGcOt^VXbL5ln#XB@wEm95QxbHlzhlQnDlmKC z2>e<{$Ab^ZZsra3HMF!;56x0u6M}^mN=n+EUL3GOB*acx5vN_t@1@hOQ{zMdss|cz z80x2E*_&tR&DVW+KU|Z}sGBvdj84y(5ORvw-sXTq6$BUb(%RZX8R7O9O9PPQI+$o( zK4~%1)Ebt*P~hPpSfuc?f>vQtg0USnJ&K3PIbdY4`{k8l6wuFDW67b~68eTSg@VhW zS>ioGeUVN5+O)9;!h*h%%;?+!vQq;E4m&(A^>P(6#GJd5A&go|0Z3&;`N=GADu}jL z{7^FoEe9G;6{EjR@m1G-;mr+GUVIYxn^0ng#M*7P} ztfa%3n`|l!Ruk6C${OdDM1-k{aBr~meN1>9s#hxPm=SwqM624~>=g_Ym|eR~Z!}ZP z4Msd{W$tq3r8nGr%Ip*hQG(#jm)6vLCb73llHn_Y8bef$Aou0~LisL!{G22!VwA;m zS5P0+rnBUB`00Zl_b^U5in(?q?m6DR7E&^p_GzCg{abNREM3wmDBk6S(OqU@0k_#U zXGuD@H)4%oH4+z)YM`FKl;!OcMG2HfN{!fMjy`>j)+7*?-3-fO^TvSdqqX~-%B9I&6KxDWm| ziM`3KMOmMP%w60D)4SryZ9jH98q2%KJt25L)`xl~hELl8c)^o%6M)HVG~n|B4~5L z^B5PvG$W4WLa;>WIq~hLnXohyyB$hdcieqpUfrlQRf_vk^CCb82_7x%C}^X2oe^n8YHw>MK4R$vv}78Ml;SDzKF=qRt(k)uOhV9Q z-0vnCihiFhLkkS;QvnJmmSIur% zre#t$CdWw_GPa!AIU{E9%3Hwe4qbmu_!R_`6=$&xXald0e~e$f0dqVOda z)hQjEcCVH>RpI&5Dn0KGHXqX_flHa;8&84I!@+!^-G3k&FI+PpWxgL)T|xlqmI^`% zU(hlDs{PZLmQ1elZ^|BVqBrzREBL#dfO$<}mt1c{d9m}<*9Uw5SrOxjSf0nYbQF5g zE_1*bZZo5NmzA3$kF3rjgMiuBMeWnVK}%f_*v;NZ)B+{KD_9+~+Z2-tP6#lZeSSr_ zR{{0<<1YuYC)E2J)sWW*Pe`G#mgh?nGnWwn%?ybSPP<@FRfhmk^Erg7hT!QPqK52~ zE7H&T;%}fs!VjK{bErQ%x(KbbrB@rLf9sJ$5Z9l&P%kT0;Sw*G`!hJ-mgkOMTDQ9$ zoZ{K~a2U}Wf5)H;Hj5>eh&)-MmK=}lf(H1RdimRm%muhBfUT}-dn4K(teTwzYzxf* z9A%8cac)%<7z>~7z8kbvN%tZV2%r4iaetWVH0$OFO^+IDFpGvPfxUgh@Us<~*JNIb zxw3Yo96l4&9Ce;j>$-)~;KrcX)vI~e-=b-%WyJlv>s(&nNBNLkB{DZuUKlc`$O;N_uxIlz;#oZKZ9T8WOEd_YNU6 zzY&O@pRB@eP#dr~&@YZ*e0}CG=x60Tn-_0IdDeu~f}W{RPQi$bKVKmP!xL|#Ta7~H z$3zGSrRpHS{d_O=?o3)i7rz*mhs*A;3`S?ZYJD+RmdgNd{X+E1>4mw6RB@$%J-Pk< zG)sl9``KmXQ!OOHBSW>(D@`D;bJD=p{#!I{VTC<^R)fBdBh$Q_AB3%;L(=&CR=-tn z>J%8J8s6MYm)22dS4LBYhV4RH7qyK{I~`Y@Mv7|q(O5FMIy)l5RCm@_%Uzk;6ZQIf zC(&gfq7m}S@SgN+aAo}R363J*fu4A0fGsgKO*YIT#=wR!!+c8Z!1ACC@wP9f+|)u_ zvw}{l+8PuAu#u1Ok;Mmhx@k$nFRX8FI7P6e=ct+4bRk6jl}b+ojIO66Y}s|f(Bi~b z(RHp%UvVPE2D>qrGt;Mf@8IiwEY(XiQH%`Bf6 zB4oB|*(0y6b=?A3%ngTe_3dS?j2F5gryC_|r)cFE*(aVK_$)Z2pASod)mC+V`T09N z#B$WHb5>DdGFTe7mh`4v)CZNGXe^={!!)*l*`zI6b(B?M+Wl1*dKb2eP&hnevPKb?_~Q)g2NMbelhm@5{KgT)Vzgx8a3hm6=u9gi!33K>dHXW zEoy(G1c5SHm8I@l$d1T~?gyy@^JWo+n#yG6-(-ce|4!S(97 z&z0&bz>m7a(~hCODK%*Gl>XK08-~yWZU*me@5)f+-rIdC^Bm0F3Vc5UkXZ_KT^uIU znWPQ2IWC}c);tODKffCDVr>enZ;>#s-gRH#BqZUs5v@#7QmP-p3TCgo#|kM$0(emz z;96q%1)1Vt9x+oHG{|r+aZ4%q>phaiRrEnAeBRUV7=u*hy-k2_V7*Masg za#$Tt9ZcWdBE}%7siQ@%OzmS>{@Meop(a10J9fSeM=1dUATMl6x3-mtVaJYsmRu{3 zQW&O>-i}`nmU0cY3!WzTHBCv^$Ddf>F3!s*--p$O^~~+8{9K3Gz;fyBS#&-}w@Ha~ z1NHlw$H-@Mj^uyUV7~MjZ-4W+v!2bL_~a&jJ0@kEB;_cd<{b}ENw3SR-t6hb5e(~X zWMA+HYo7p2d%l?y>VL3hLq4Hq`wx7TnQU+mKa@|uUJwJ%Pz*AHOT>=ekb0BN<^*$uW$(T z!f*jnoOS{hcm$mm8H18$%MBA6phl>=AbD9R)Xxd~uMKtg{y$s8yk+ecF_6<^5Vc)y z8X69W;l{bJ(f%wjx(X&=Jj z;Hp9`vw94*F`=U1;K(MC+>1)S61L-k9+(2!0)ukGXJrw?{St(-8%JA@E5g|WPk+t& z{nAqJu+=8QxTs9t615k8{Ddf;X`Q7PJ2xrqT^n0eyp_Mh`YljWC=l>v!e%Tj!=gQT zLL=}~L|27xG@P8aTqd+(DEX3ls>QXt%5(H_lvA<; zshX2lOW)_<{$>j-V`e4ycKTpc)yP@a@268>p`t9Ix+{bw

b}$`!X`CIlvB<7(2K z&5W0r>zv>NukZH=T!rJ%PTFSo-sy5yE zQe~QY6IBud>OI!~@-UEIYOfbSZ{rlJwX7G-}IG_C_j=Z`p*3NmUuXL zUzHeX=J{s47M9GzV?szUs=`JMj~mbN!BM|QUN5Jx3db^FmO z*O_x=9!lFk{_ugG>L(fi-nrKl_YIpZL&F$iFb@Yri%=wK35)C?85c zVuutE7dVN7VEy6(i9H%C?u0vca~R8%`6f70ITdI%_W;@_n&UbeOIBd^a@=pp!B&&_pCqk&_R<>%$TL`0jXx`1$2?h`>EVM=X{i zjT!6>ZzEP+1XtSvC}(FN_n>)Bkq-G8>jmsIrz1ozQ-wN>~{3C|sst$C=a&V4IOt8tkDCMPV`56Sq|5OkK{$I9b* zCu9F{;RmbQU}UVYWBp>q)L<`7ZatXbQMcLgngZvINK}PBKucn6Re-r1IHD3s_qh^f z2v6GPD$Lg?HCM!n?1Ev&q(+V+S9Gujk%(~IgGkk=w$L$Vi|^GvvvF8^<3rBHNyqmK zw|q?{Ypr~DlF!>H+tT6~ow!Gnig-8ccNm=Bj-}?cl~sS+U!w+|ZFoTKrb-laoKwFz zl@Ht}-E*+GI?A|bL}Nrrhjiu*gOB6|iop`iC-m!?++_(USV#(q2c1?y^E*X&QS_nl zXyP1&PAOLA&&I8cIBPv4U86sl>u!E-B{^X6ahuf-IOjLtLXpulbpNVXKsa2)BtqE# z*pmO3`>#+kPUrkpI0mTf`5P zl^N({%LvNF0nD|<0@6xgfN^sDm*JQqr}U5E820>$kqd#^XlzTR2ntOymnLg)gDk;z zp4=u+{!84O{_T47$rG+{PJPeWkLWnt?m5@rcgt`?<1(vL8esjn7w&N;=UMN!;@;TU zsG+9_wH%u;qfx^v5n;FZ=)lva!oXFjpq3!${x^k4?NE{DTTZ9#x#Lw9`X9rQ2f@tu zrhnPz<0j%5zpPBgfmX>dL8`d-JteP(=&Yq(b0p-wM7Je^*fC=|Ol&$&;B*OibzX87 zCesbEl_{gHkzV-wrIX()J>Sb0U($1h{av%zTtkg2a{_S0^tEkrk#NQj`(8uaN_DrO zRa2Yg=^lXkuJx18eKP`%G!+nET2sEa?aln%#>dTpHJDerr(8rk4{a zVtT3+?x@ufu-w(T8uyf^=ic~~x8C=n)HO!!yPn?b=`YPiVsI|LE!hM~fl~bZJ7tC9 zgtcHOu!eM=$66$3D9s#pFj^b314<=*pr-u(kWE}XG_B}IK1Dm2&L045O3=-Y-mEo& z3P^IU*UcfyZa?fGfiC#&SR^ZdMr9;DZ+B6oIF&&46ue-JV&ji|HVks!TjRO%%w~z0 z;gHl*MiJ}!fl+>jzs+_pZN0Ilx=rR~EoC#x)pN=DycQie6%4wpZnouOG2u*NF_w(& z8$<%G*zjL2?LucR*iC?;gD>N;UAE+LeN>a3FZeCjcA+iRnJLtgltQ*7Y$jE2uE+#XRwa(IaNCbxc-0e-l48^_|lBnwN3c-37X7d5<> zba9NAF=|*>@K`$IK~7jEg@|J;3~D$>WbRU+rnCE4JhUA7#RTPSwT7bqb*rv^s#>IeR>hu@{!(c-(VxF>NYr4!&3_sM4ftw}1pnWDE(`c4+Q!ULe zF=)6OGCxWQXgLfMN;YJ%U^HklsqUYs5|9#s&8(r3#Sl_^#=Yb&$oCZ|$hquq7n}Em z%JW5~W#2MyE2o|_$P-X=sRtlKtykC)jH^69LuB#FzygP9tnXpGyUokV)$4(WZbH|4 zJ9yETKZwa7xzJ}W0(y^?;j^;;J|Kz3Q}15l1-Xk=?z;;NZhlGcMm-eNPX&33lO zqpHKb`2tpNv$Kak1bsEgDP1YalqgFms2eJREBh|-+~tWh2N)^V`V@$G!@HbUTwVWA z>dN06dl6i3`$DyR!Q%PGUZWawe{k#Q-so?$a8dsAa)g{mW-<-aF-a!uN&p@PadvjlE$Xm%Rj3Bxu+dri8`_Ld~cK{6! zZWq|5Z5C0#fqSWQNK|ovqylN~MgFE)kqJr=q3g$UVHMVV#w@wr{rLGli|>T>oB{vi zng?0BQ8S&D%&TR)*T9fv(gQkcwfvm^#cNvbTc2RUGhg(yuQ!v)F0i8A3?I3HSgM2uI(=sk_Y0v}imusJaMtweZkn{Xg-B+qt@H{I)68-Fq2 zh+#>qNy>q4L}4$R+YKT8Wk}=JZZcK9dX=3)_-_EK;|LMpjBA}_^aGUB7JxmpAn4A* zksX6Mc!r(p7NEQ_!H>c8z7dlQ;z!0!Bhi-bd-{XyvTE*RFThJql751gHF)deX$^Fh zD6BK`TnpRZTr61z)mV>PqqkPFDqN;T@-dqvdgom6c@|0-A){yQn1ssMHmG2${Yoz2 z$guzV`QTRmFkPo7i6?@65?y^5V-q~|kIxw0=iT*mg^2SjVzKX9fm4#SG?dfE5X@5^ zLFi%bu1@|(pW;RCmgECa+GH)AxXS<{BXhA<_6c+xbm^#idM^<2YpmIWQ1LbnQu!%R zRWrDGDRTDXvoIdTFtUO$nOuT|5Tg5+S9JH$@36Z(r6_&$i7c67^UNLOBk@dfNd<(G zJG9Io3UC|?M~~X2Ap<+RD^88xS_h8xs^-309U7q#h8LRD{cft4ht*xyYcGH@C?1YD zBszQskx$t(m?=pjY)2yjwSaz86K^a=X%EiDKU((p_ZNlP@4n>e(x>>EL|#R43pE}^ z7W`@b3U-g`vP3>Hrp~WC{OR)g3kP4Ps?)C+v=Sr;i81u)J16GjeQHH=VB#hYeUR)_ zf~!heMkIH|&>1Xgn%P~RKQc`i^y^h$&dPr8B`Typ3>c8c6~oZa-%=UvmGxERYmrDs ze)(>uA5i*T|Nd6q&N^uzZ9kVxDh)L|A!QD(OMl$ir{4k?HKA6i41{yuM)a1eVuIiTD&o?A442dteq|2Ss;-rMQphdAWTd0Pd&%gHu6jrtU)1GbghclT8~S4Z9BrG1 zy>~mEz;45<3q7=~>00hg>rpO`|xuuo42uEW|}?eBU+ zbg7Sn$$o%6ixYN^&PrTM*57amaw8-+kc8E_QYvR9$6rMk&2&%eM8VLNM+XY{(jN@W z!GCP*?bLjx&IhUUM!0n>|CUg&>NlBa*1o81g}Dth8|gY$K3FNqm$g_GXmxSc^OdjY z5$O>bX8c-_3YBjF!p8r|&81nfhaG3Kw@&}jUycfJx)aoUzKy5m?)yA6Z!7+EKl>Le?wAQh4 zc@K4T@BI5xl5Kq!x!2wAu$P9qSl>b)x1g6rW#8dvCnG#A-~=TU^C!+BH%(pN@m)Rp zBL`qdg@o&?L@wK~0JFolXz^?$DRcQeIH(W{k~FVS!B-05Wo~r0jjF+#gxs}fV_#YF z_uXSOldVY4B8ow>Q=Tu5gZ(^Cm>m?sMP&BN8`WNne;99|FJ0BNN>}(WedO{b&?)L7 zOSow1H|DYB0TL`nsLxpirD6@R6I7MjS^=@w(l*eY4$W-R$B;3($m%;HJ4cXge!(vA z#T3DO7NJqns+3S?CC*0h=MuC0O`@hEw+}z4)NImkZ^{*r>)JX~56zi*bTw4#EY?9J zB>AGrQu7Gf3O`OeZ%QnK;Qr1j{N?n`%y`k%yPTK21+v4C6iTYzwg8aB1-&9l?G+sy zRS9w1_t@#8upr_%Yb?#GK0>mz3MqnC!+Tk4h(ta|Dd542H!l5>GTi8!Gw33PZB+WEwY zoCXyJ03r7>C>d%IMpY65$8;emoRWFe>H;UKRC>EK{%-6p+-mFK;M8K%DmDT^qYD4r zC~QD(W=(CxzSX<)GF{yMfFz6k_K3$V+vkh1y|-skw7z<+Q&DOgAl;@MB1)?_Yvd);=)R5gsYTz&Bas?F;z#MlZ^BtZwVL;4hFV3M(f`Q5-mS>4= zn1g3jh$dITzr~~5u5TEujgew#ze}8)nDByaaB)3Ed?>E$xcE8o;G*=8qHn3Z`%|lX z@)o*oysX=?PPl9~Q5sQ_?G*A<^l?8>Tp`J_BaNfKrW4IlWr=9aavOA=ck; z;3_;cd^o%~{0LqeJX3@d1*r%wX)>(zQG?hrKgdGZscLBItjlWS@1M1t^+xl%sWH#p zsAkJ$h@!qbU!TcZS;i@+F+fN0kL?(n-DA|_3AeC^)BTywynakB1NnFC9$c7nJ_=M3 zUCk3DY0U786=50b6KC6Eil$&Nha`C(KyY5-%^A~skH0QUOHWHZxz(pf|A#{Z<7 zm8l24JoP)jRgTw40E&VDDG1?+W+k1-g!AmI@wuLa$l?91P7HpvJA4`8%oK}UX(qIh zF*hTAm^?;0;+?QVm_Wv^{fLW8LVcn zwTo^8mN)AGH|J3rBGUdc)C$cyvWQ5d^n0Ph^EWJt3X+DTc)w(%RF<#+KuFpFSEfB} zhDER65dPb*KwqiDhl3g3Gq$Lbvc9DZrSD+8YsTvHhnO|K?VPbV&mQr;NYTTTL>jUI z;;yFAzu7Ph)Lc@c8wF>CXfr~CJ9Fpp7ppq--RQXAKdSw*?fSR(TDlP5rwKl5jcb71B1gs5DHOaDkb{Vq{=URQBL|Rv! zh14k_e&>S-=4DBeTS>_Ux07bqrgoPd_mxB=^jux(DBZ)U%d%;%C(Bz{3b-tTn(?or zh*m<2n(`ez_%pMWP%Ubd+qo6Hebw1}jauUwfR2vgvMh6AV%Hxf;BlV6sY+(gSILz;qwOEeY zAnl1#*foWcoRNLUw6N4P#v00`K`k9fzxZX-Yg81U@v|Dl&*I05w~7(2;CBS8%$-Do zRY#4K_U7mOmo9wuK<+&|UUjqb^OQnE#xAwKyPKvrfiQBVC}N9DeeQg}yWEc1O*pFz zxdB#~uBi6MS2jx?Xu(-YNv3`?Bw3lg8Gdbc!|72hdNnmKZkwy{1^V*UADgw6o4Q5P zU7ZpHX^NfSG7i7Fh$ELJL}lsqe+dhx&j4rMrs6}>J<9ks3^ac)0*7}r@`L}13^pSB zLphnbx`3j@9z|hn)IY169;JUtcILgqVB&uqhTPb zKoXCVt!be7Gh|0PR6ib>EqH?O*g%)0LPqAQ)9FZ^m>2?z{l=+?dM)|9-pMkJFXhQZ zqzBss#%EM*2_SV^jcSpg?C3iWx^2zLbFg9ffz$lik=wKUVYrzum z54Nj{s>97Q;KP#_zM;`@Gr(!Br_)l}z8_eu5{WypVZOMeaMo|(c{k1cx=x7n?Aw_jU=7Xk7>6}AIn;KaHn34dBflK zBpw4nm+91ldve>I%3c1b zNnDb-{}-5;OwS1o++>Z3@W@YJ9bjB*P(zp|3P%b?^pmVUvo$>U@b};y9-tk%cJt1J zTblwaI+M^d9rrXt#A{uDb7E(l%=$(XPn&$4f$be(?MCaGK;#g75k0A~m}%mVzpHPH zVG~k@%Yrm!h3D|f6vZ(zp8QPhvwV~-Y(%4_*MFlR9DPpdtLPSDXvk07oz`W+v`AHD z6y3D|E3$6st8gc(B8m}8pF63GKdD2XAM2mgzB{Vxq`GGoO2@WBs&P~j3+C)#mmacy z1GJ*D=(W-{?q!oT?+bzH`>qzTO?B5$0g~*WOZ?%8xAhd?zezm*y@G{}a0$-|1}hHW3rHLY>*l!i?5*O)HR!9r+W3&r9}>w$G#kZPl(Fa{RrNBI_t1oa706Z!XW;^+v3}L!hmY0<9O7Y+6>=4zu*iIT3 zDXpt-W_r6DR$Xd2Dxx2>8_Xd;SHjK@rV%p=yhW5eD-)!7p8TrVWl<+ASmy9tTM&J< zmLjsY;7RJDVD8Z6*ZOie+frYu+r};^aAxe5=F>0q_s{Q}l<>_88VF9N7Df09$C6PE z1${6^^1Fd0%&uxCy_HAb>kl(t();%#e7$8dp~<#a7SrzT@EW3BoYn zU*9HZJC%KZ78wfSysA$0G7@kf)Rh6tL!G~pE%r&WHof0qUtZAvmK~hRB>*1UGdQ;F zO9cL^qm86hxXSo#jHBs_v}!?T7C88F-Pjj09Q>q0gM|^6A&p^!9vhcO2ZbSNEc!z* z@8*JweucsrZ_Lo}H%}91A=(PwPyLbiMRu!o=DUUR1?h_&JcXSO*KHp9N`{>MltjQ| z9trwthRmgo=9}1j<7a1VOrXKGO_=L%Z)fh}D^~#UqFG*pG`Dk{clcA;1%6Af%0O$* zkPEXf_6tV!gA|i|MH`a4B`)h84LA&2=w7HE*AZ6cnYrK{`WN1Pg-{LfMz#9)p3=;2 zHv^1s21*>3E1BC`-Wza48nZ8?4Hv%B^z35;DCh=kP zx_pk7ww#!ZqOtjV?#TFC*StGpME2%XmVj*9@frC=;XX#REYSNeFRg4FrQR0Y(4KF` z3AhCii=sy(cbKj8uL-Q940eTz#h8v`ABifF`s6R7nuSYoDAoCrN_W{*N0wse(|CUGJ>u9HroRV>5wbC-A=*ZoWnZ?dsg+Jk**5fI z3H^d1iV{yk$Z5oOYnCl1dS$p+x!$GLQiGfBB-yHGK6hH-chSz`@|DsQHFt*aJ~M8*c$*G}ytjJR z{wh`0B}zvBgtzA0ce@M+Ni1A#oF|=7_J{v-vs?e=^q}+jtSa*CND5^>%Qy;Oy(XS5 zE{{p{v>ESSG~hQDR|6+KOdn2@w;euw7~T;!3eTMr`U1V?vd>-4@^*{DYnYf4r$WQ6 zvuDDaP>0~gn|aD$GTgF;Xoq$m`I9_u-yzb~jZ7yp_RL9J27Tr0`Y!^hNCsNv3lxtT zT*pWb0<#tX#jS zI7o3r`OCp7MEeX%`D8+)Ug$oRI36M{uFd>5bQuD^vp*k9)(t_&Yzps3`M_-8HqxpO zSe%YixdE?Q7;R_-UMrccUeo;Y4TN@lY|IUtW$ubhpWjD z78lZT>M1yD2te+-EKPlWjG4emy`-`lUjQK5n!Wpi_nDItV7>17K}(hrT&mlcAbvd<0T$_-nBPbJke zSAIIRkOt+(@2<3fuSnJt8}8EtssNt;J|ec?VE-v$aKFQRLY%mzrwsC%+9~dQytZVR z6U;QP#i&v_p2wzvTCwwgiunh)}OAf+!uMbxYyVwzcL%n#iV(Q z8II^+obkf1x9>_s+I2;DNf-N*tBhla9JYW^<0$f{ zflo<6=en9rY3Qk5m3Cdh{mYc@v->((r)agIhD0v=k{_o!sz9_w&r0>!dwPe_6=mW zBhY76wmUld3>-E5c(3OYa5_I|!^-nzPu9#D$2B)8?xB=E5$~06M@67)=Zc@BYA5kn zQ?Xt?jD(MYWi7FBl#uaHq();U6C9VAvaWO7bpgkCth&8c1_IxBTYAAk!)FpClXM)d z4gSB)=Kb`}bcL+W+FN#|67Me_Z~rdu6DvHPoeSTWPce73dDxmftO&0&PE~0D*HZhl zSO^`$x@)N2hs{Y|N!sO)7)(%224Gn?ox)~iDsaGGU-+ixHNX~ru%QC?;~Zk2HQegr z&{BQ;MHi|8SXpGj^=Adrq(hT?nGHs$HDSg#?(yg4a{l_gjU5`3@XbJbhzS4adnfwh z8r6JU{t!kWjPgcf3v$3ZXox&4Y-)E>l7x7*(qe0PQ>1?}I-3$v^W+;%S)goa?UwW+ zs$AY(5vbf45&3%(r>3la6>GDnj2YML|B~MbVf zHEBaGgOW*DJ!Z4OHW}7+kpcyhK+SP>@&vZz$bF*j+Cag!_HpdcW5>FlgWQ_qnyFq8 zKUt;&umx{zR#l^|_g{;LWO@hd8Y0b!=TTn}@|By-)EI|s05+a&%twW}U;)L+lgbF^ zeJ+L6Q+QhK(t|yC60R+Ch!>xYWq=rZIypLVWt?IP33Y6n8Etx;VU6gUS`O0YBjv!sla-&WE6F&z4o zG*)9Xr#D$Z;0DeGz4$|jxz>DPPJ;!tQ47D?`DxRT zw9{CXhEdfl_nZQ2&nN%9=2G&EN|^Y3Emsw-rr)qJg}ehbH??`duqGXe%BZOoK*Ia0 zCa!LY&I!4bhhJYEDoPxXgUU=L5MP(iLfgz~zKvHY79M-K-m+`mQrG$iqRL~wuvE3I zl&d0q&w|w_t}=I^S*bC_XQcFL9;cfqO`2lq$C<6#P-ouu34t@6z8@dbV5@Ud5kma+ zuh4H>q7F9#d!(5d-~!S35!vX10JDaeD>;n;*>@?$-u3p+^MyQ!l@x;1(C0_!r~j_ivUoWGA;C1WGA`=7J3gL#I+&U_Iww>}2#gEG06w!yBZYZQ zt2owd_7;7`-ciyjIOm=ymp*aRi~4D((lF7_GRZ_HOYRyc#$LEzX*J z5SDk0QLm_yjN`wn;*azLuAsTp?fwX&cP~$D_m$)APY3eL@v~*Apurl!X86SKg?6f| zV3oAeGe~(67wy^em0!M^A%LgEP|OK|T9ehoT4qwxYUxHxS=R#Hgt4p!>rNbc*Au7q z=9H8lo~mXdWFi?He||78V_Dph!)W01>?Cf61=fkUIz(a(|6?_TzZ#^SZu z1TUN$ottIX%_^L*kiZ&A$nzH1^7R(}W)d@7#7Vjv&zqQzvQ~7)uS6BEC&(bY02M98 zsbfSsXCt_}-2Of}vs_=zanV6i<&TI_=v?AOHE} zm=~QQwQcj)(E;Dr&dk9HYqF*YRc+eciK!IcWpeF4q;1i#K|n$oM>gy86d#q$clA+; zF!9`tsx3Lrq#Z4rqR!bJ{tCPCXeS_Hz&c< zopyt*?Ec@H-8U}VwPsP}!DxbkuZuQYR6+MQa^Baf0X=V0Cb5Pp@5DrWog6=wR2Wtn zu7LyAI0ia^@URJAEk@?4fxTYkc-yJLY zgyFQ6T!;QmcQCGhy#D+5HwIeDrV$a(;Jw+J<_c=(;jc&uAd;fmFt1ugHh-zNY zmr$G4tcOvKf16sX)L9N-U+4H+trJjdG;+&iPIZir7X%BHWT(+}Qg zir48!5d|2$uxfS@IZwBV4u{Fx8!_*nuhSR^$B+rniH-G{hYX!4JN&R!s^qjxm=x!A{UW8-t z4WG@THCD|^;qaF^m=(f}Yt>&!F&T#>mU%;DReZ_~cdw!#$kdUM3k+p5lvV?DOSqb@+g-xnzNMS%(h?r8ETled$%g*NR=q@~w@ zsqZ&?!Zt*Al5^_KLvdN|*&(=L0hGpou?#ex{8L%qa;~j!SN}0+dhEm4)bezYZ(Xa-E_7Z~E}y z*spu4;xaXV-?;kRsvC!7qP!v&xU9V}mIJ-=7LZqN#r1QNLC|pp?k3%$VDr1ieso#@ z-#H!Lz$cZNm0Y)|Ukx7T0v6^x=ZL^vq+vI1Jp&X;z%$}S%l09J!w=fE7G0_}Lx)2a z;CTUe+YN7x>A;?o8op_;n-OI*1NOZ$mHg$Icumgl-P9qVN5QVyE`WqS2QFl(|5wRH zkLDD_TS%wFxs{(o1$rfRcNebryKerKV8A8$wl=i7Ssypzo5v?6fQU(_69&)^=_~m9 z5Z)sR{oag9{u0m=g!)j6-uWOP@!;QcxbL}ri~3+g>%D@7fBmb5KEvGM0z;B#XbS^s zlITMpA36TS#9qcjjy@NJti00l2Y1D=G1XL8F2dWZ`O4hb=uji+}@5IUr$ ztB;Gv(8|b+;%A&<*#D*RBlbiq#R=gg3XNelEBa z;&X0#r3Q9J`?HI{unEhJ)g9!awPla!#`aK#WrcgTWQXb2Y}kgjv1Ep}VS%v9aFx6W z3hH7AS_ExRAvUtPM~U7gIpnl{YHYW{ZVc=zGkXAmr{lHzqj&`M6au8hD@$LBjjC%f z+^-)uz7~5w{!|>ed%`$)IMqKORGtHw5O zTY%p8r0K&jg;ER`qj&AaM<_Q_>@~m&z){x<#K9}C?|x^|=-GmjjlSxI)tLPCz^n21 zMd>3|>@c}k3FgI5G!8&ZVsTIEVMoMfA4H8e?$*Zu&AzVaj*`Xmi5*wYT(R3=MJ0qKsz=2LyO7TS zK41iqiZz8tjaiPPHxL~69W1ghz>y2L45t3bn;_DRCA?=hZX4*`wZk1TfDG713}y_< zK@46pU9)IZ$0jZp1IM4a%KKH#5E?8m;_Y(_NVp9Sa zu|}}k)8ZlJ?t8%GH$=$qU1AsW-xZ85rm;cblXO3sO3=iT!D2^9DVC{BSY${(W$L1d z9fHLM>sunOx#y&d(!FKigH^)H^r(ds@g0i=eS;xwF|Lla3E1QN=3^sWCwYX6NHo8# zc0;tnAB2p!vYU9G`8)cQuHN`}k|=tB1O|_|Go(3*g|R;X34KikLY*RI;?fM&hOZex zW&cF@U;-0h0sWn3l?FPlIC0n^)Bts|dy*8<3wA8%cdQ8+2aK4F85t#>jT!9VslTnk zz;gv61CO&Ta>_NF8A8fyEju2P{|F>i*IA@!xBvQ9+-*^9w|Wc-@JSV3U^TwrWNHmiqju_`3ZK{t};{PFrwFGD9th-2a0sFt6<1;ET{&&s)N7jm+ zqfR-q7ZNl!iwqhEhpnT}#XSV3f7to)oD+)S(-++3s_ygW=? zEId41y8m#)${V^kS-O*IvoNu+uyAp3v2(I;vwv*wqkOcmv9NG*@_@X(*g$7~m|#5r zZsVWLeg))XD4NhZPSuZ62UVJ_neg?YU907OW;Wk1$)NXn}V|F_G^6uKs?pCNM zmdN*Y!hTg`!v`gGv(u|2W=cDLw+$s^v;Dn@AHLE9c$nAEbbi=;e|oq$?YrDuX3-1x zXu`q^|EgYZQ@PW{hPjy4oG@`%;(iony?g~}zH^=D{`|xPC)CQg5POAS;#~Punr+Uc z1Sk|V2VJY|U8wXk2KyZ)uYZBn#ue-VTuFd67mg)+FaI8UOAeL8Hf)R;jXys3Jtu{h zqz^vos8o7t7b(4J3kh~o3HnMa9O=1 z*F_Om@2=LHhZF)`G#q{;0)zEE*}I2W+(Pc1qYvE(5YWCB*%E0Eq0RJAJ4x&?pPHN> zcD{Bry-D4sfGvqHM@L}3%FD}<_wet?L*<-)s8VSRN59+@#DcYj!WK)NB!NY#N zZa=Wf%Z|7=hF9GDeeO!)QO+_EHuKtzPMy_SWtYYKD8!bNSw#klALPl2kh5B&tRTgZ z!iu2}{$7HhAka;kF|Xly6?+{#1?;!gooA*1w-`w==t{%y z9K#BUFfT?~C=&l@Wy1{hQ-GWqKCDLfdiQJfEr%(~uVQKarfzB^!c_8Yv|OHGoRjaY z)^}F!>TD?(g7DqnOc}uUwq-NyO8+R8#Fi~H7h+GLOtPJ8US{20XkG%Q3tmx-3<}x^ zvpa*e5OVQ@ZX7>b11agsVu617*x!(eas$soBO$|zHU2_z_$Rsi5Oi>|8q0?~S-C=M z`=@o`FQfgj&me7A1X)y^{8s&1YDYux$EWb{GWO-l&tY;T4vVCaG`}8L=LjEYz&2{u zd?ys(z!m=9L$qqevJNT56o99Pjtcr!GB?+w9zdIvA_?G$-29pS91G+-?YSWCuFMPF zI;~R@MlFpQX{6%OcY}2yakFegG{}rrrxUOzg7JQ-n>Xgd!9T)h3UPDv8HFY;VRRsh z6~Y8jpOBmESnVR_APj=*A&0@%qs7}?Yo#WGD+bqnPf1fGPzXo1>1K3gs%FIe`az7Y zZpIM)$DI1W&B*Sf0{*Ry>;iw`X<=tO->oY7UeM!2Gf=5DAa|^Nf*JZEgTJ-q!E?H6 zkR4i|q?0(#_FHILyw_|%9qk4Au<*1fuxhd&QF;n@o1Wnj9_)E%EF6f3Y;-tI^2m&h z-7%~6F)n5Em4Ud=N4~HOws|7{iq_u^851YJ`Gq#`Hzcsk@L3hHGR>g&Ugr;KVu^~C zCDx0RnG}>rbRhN~e>@5mvYOzqRRnP}Rps=oBFa^-4W4gmAiuA;keaqE>e;BMm=jN*iXF@$cIKQZA zijC3}%~C+L(v`PS7OXgvLAIL`Uic?${Dk&NyGpUYN)m$v6>JLGUWa=%4$9x19zB7j z2pD^2V#JOa%I(uB=8bF`S&v6O!KE@7g-T)_YSAlIVTzEill{p@;$ToYiKi4v8Q9LW zPRWj(*-jo#myTaKu}Jbim^z$6-;?xOHq5;5nV$hmRhC{}W-$7|#^nT8pOhV}yc{N_ zc{)qFjZAx0cQzsfU=t^pTf4yt$uMgWx&GiJuf%M-(w+C)k{>ur*X-Zo(%6cGn zsus}0UojFLN8%RTvdSMyLZPAuJx!9o!_fK51dcKeQqC-#fx<{HyYC`vbdb+Zj3_(Q zC~Og+G^OwMOVTXNSnKu*;SMO#8(FoC$ibz3Dkf#&s+mT0kx)hB%0<>d5zRTjB^RPS zD#ObY&+Ny4+Is1_R7G64PIoZ1E=u0F9sznd>!-Q@w!WdvOX?qP)p2+xjF)DIqbNPt z{B(+AQcA!{jb@sbgwJh}Yc7o27`Hdu@tG=!OV3U|Cij7uTF7=(T4?=>LsmFZSgwF` zjioJprFH1Gk$L$kUhail7n3k!xik@mq$u*F7@qb5X-8KU;VH>{qoKb0>39zyB5-f~ z8LR#(*M7PT4z8ZD_BxA8aj~7BtY&hUv-V>ECJ(0RCq5M9L0+u7f&AB&pA`O`kdj_7>}I$^6B6XLD=T{5Un2F1 zdmLfzysh+TtE9i(!Umo6_T#gFB2*vOPdlsd%k36`i4r?nFQ@$^VXOd2}Sd7%n%g*4#R{p5sR7n=a z)T^h4ZG7NAn2M?|W;lEi3~{Q50s?`|Cc(}0ZGsnL*E z$exw-^2GP6wDD~Nk||D(=GMsx7|HyIj|@OtewM{47C0Z|h}G{>Q-;+}Mvk13%w=VU z5+U(ECVe65I3C~^+$6%eOa=H~=`jxzMRz5Cv?31;r=QXh%2r@d*76$D9ts`TM6zuw;zPuBp2e z?7|qAFypa)^X8|CF8ycLzPBCv=K`kwXB5i1P~K23FAS3!Pf#qtMVxLrlv}s+Zv5oW zHgn~i&oPiMaY+JX=;*rrUx&S1;Ihabv_|aEu*vJ-;1-Y2FSc@#bZU6IellX-(=+pY z=&qzlEq=zrtfH=kC<-)+{}GW_S<&0lioZ0X(*7>gymFEkL5jv8=Cu<+!&=?QKnWZB zl#D-?C4KHO$IKT4w4yVOowi0qOFk>kOe}!)ck-u}li~8@){dNn!?}IY^m^{E=)438 z!UYtNVW_hzVJh}kkZrPTfUfpoe=v1k2{E2i-CEXGnEm-FV#91VLTkUI%w7#sDG%_| z_#jOk|4NALwB2BEJ^bocY4Sf6@noV7!s26Rt=|Sf`|;6tKWV>=z9_9fpfCUfRvpQm zfs(9rqTyCuJ{_h08Kp2)mV9=_?TfG@QQts<2g9nqAq}5dEc6(e`RTzEu}C-B7cCPi z%4(Q_Kq-92@VSx)1KoUfF*8<*WX#QvQ2)Lfa5eIzc#17t*gis4H$9`n&;Pdq-T;p< zYmFg0+0!7n3y>zGTxec;$}!P14dXux!}g3Y?PxhSrP}CfnlWdXY9d7~H0^-M9GVjG zvZE7P^6hh@H{NEJ)?j8Z8(u@8knNOR(lxvOUehu@gE=2Yfwv5;;O%3~;~5m%VyKIt zFb_fS-5c4^oaRTc)4vt)e{aocNQM>ljMX&tlxTRFD`_!_mFrTX=bIP){%q@1UnO2j zx-1A&6~4v}&{XYerqws~QSLl3QTEMtg`%vGMMV7Zrq0QxWMJ?&EeZ6y(=# zCtMnsw>s>mR_^yDZV}t{@H8MS5<^_V{Bi~;rL+3FZEcD2s)x5X>$E_I4h4XZ*NCZA zpxCwKjE%1t!3#WZXyj~NE+*+9Nj;~6;M6UCVG zJ|%6CKIsJ&G%4bRAEhwH-Xu<)&z(p3bu_CTF;D~$#su{Z%jHm8^`K>!vv*qNy4kp~ zh6gd$f!iK`O+`TC_vfF9_kUkq9!UtCN-!||%q+{eE@}>a#1B%SX(9Ec8 z)z&9$te=eWKH2ArJp`b?ET$Tm420s-*j@pKO9n8qs8dv)L1WV$@g)n+sJAe%&u1-OD@C&w6zO4Ta`-`9-JqFU6zcJ!e%OY%?Ly$qH$|a z$&dM!0R0cZL#w}Eh=WztveQ7o$Q3gK5$2$Qtrc3$JVPk=7tWAPC*|t06TvU zTWE&xbpD~zgzi>Wj7IxMsQU!(AB8zMiXrC8K+#~-($8Mgo-6P_2s>tulyc|OF?x86 z*u^q6{LYiaj0u3fV*_v|gb^XVorKHqPh}nQgW?XNL{gWl;@r|3D=4dI3g*PYFch54 zG>6V1umHnmaT2U_9)fN&r#8x*L>T1H=*bx3Y7YEbTM^jZ__7{dSj^UkB~&$zE1crF z+qrE&r-eV70Qk>P@zA1X^G3(r*RGFuPpBh94{n2nd;ubXu$L^w^ApO9d#gMMEEhAb z=kve%L*G>;q}4S)^oJC|Iaodfh%lfz{!OO`A(`f*`n5&9R2|A*NAMXa3v zA+i4u+kZ&>zmXFEB6iXL5bM8)^M7WM{10*c*C+Ka;$jto*ZjvJ_kWP%zfPY25a)l0 z>p#T%FJfi+5B-lr-v5x~egC>*Z$uuTk{hA>98tV*PK0-2XXZ z<@m3U=RZgPx@8yppT2*lW@BOH1?A^B{PS{N_I=2le;h0RugrOrnzagnDgHM^L-K(? z365%f%I2+hUTz)dme#7ju}UiDlp;EQb|`9-?k_kgz+!62h*2ev#F{ukeeL`F85JKE zvRoV@>byTdHl-5&`>}q zo8;BWPRcBdq3IW(()ziMlKb>}B6YdIZ$G%*>v7R=h*(o+gbw;sD_Tne_110Qz^VED+;mJ`pwnnMJTU^~%!V_S*x(Krf7#xU3$wW{Rnq)s81`pM zU_($q2&KdgT790#&Hwp)-Br(vr_4#jJ+S*)d9NdQ*yAnq+G96q_}PC54eZ|h;#LH9 z`t?KQJmgcL)w8k%Uc`enW}AF2Ao!oCWLpRkvD9+5CN3P8K5c=#zFgTO7%=H{=L5QR)E3k9?ht*>}A9ms$W|5BhFV~`OY2lI(T zJjXDe5{F34@3#x~Ig7oItS$~vBzqUAD;k~dz%90w6Z9j0!T;_OXo&Dl-&@*3L$EFo-%yaAE$8?kZap3 zn{l1&#`nZ{$cu6CQS*`EP4sO6w{4HF7~MQ%M=;03Gxr)~?njw%YWg@r4&}!$t4HS( zTS9-YU1=pPHQn8`9t)GdR}IDtGN6NwO->WVzW zWUndW@R%4^JQ~=D;xtvh_-C8GSZ8y$ijiWV{B(%bK0l&D?>d9U6ihNrcg4)GT5HFB zG-eM>e%=+_BkEvi!9yX@ZGs;=_Dnvu+HXv7$T6V&1rbMS-{VoS=td+@{^}otYIVK9 z|5w*n2Sl~Jf78<4p>#^_vI~fGN~d&pcL^@t-5@9}AxJ18NSAbXgS4b{y^G$j_o}~l z|Jr$G=BdeZ=6s%+^3S)Kx+Oo(z7d-?WL=dMrXI7YqKGQ`oGPs_Sy)C_&^0|(OQAjKE_GY@yy++W)-%nsKi(@Y&dE6FoN|8`d6 z_A#T(vl!F7n?Bu8th{aW{kLo%>M7#^nbO7ZQZFXg8??p-NX#kDb0^&+po?TNKU&C> zv&0GBL@~>f6=F{@gnha+r*K+vqlx|a2a}rUrUosnWo7JkPdPE&{auA3eN~YK1g*Tf zd|v@ONgEWY(pFt$jTyiS;8>BAytL&p@VwAx!BzY{*>p34J$=H*65;b5du}yvr&;aU zTMgfQP-LcShZOZteS9#tja1(d2UtttH92P9%&L`(8glh4@$dm1pO2g^-Sfm@3l5_$7tA(& z#nYEkrIRI&wi2s)HuHNUvM6!M>J5$rJp+O@;Hkz-O=>g;CjqiMt z=rnqg0R}BsCq5Yc?TQ;ao%DT>yk`?)W6w#)JqtZ5oDiho3|_}99y3X0Vk1D@DZcbE z7tRHmz6C!Tr0MY<4|uDzG=i2%*m-DqOZ2!Ro}jZl#4+76U~T%SCKz({E)f98}Zvw}s(=`0P5w1|Lc;ygRz02WXryRNVjcn*-G-x_o! z7k?x};Ve;(_Im|e-rm^+V)LM>Mdd9lEu$)?gx+y`0N4#X;LZ#R2*_paf~#GS=X$24 zs-B^*5=juZ;EZ5kCwl6Y5M|*n`$-F9Kmw`tZIHQ(L{##sbP$VFe!(+_;t6KgZL8cM zf-ED*X<{mCs*Xmdpx`i=s+KTPl%GDk<$)1ac8F?J$Hh^rvKrY{AnXIB@9%BHre%_! zP+nl(LGSwxfy(VDEG>nYp&~U3t)-tAd51U{2I3I z9Vh-5l_>%hncR=dyFE*}l~uCyFOq}Yq0!6gA%(lU;w zlgCz1*2|~1N#LaX2`7iLn=hujy_rMezqk#PWOrNob;K}U0fGYz8yWACP9FI&++m&t zv>4LHIO0bceZK81FoPQyeew~6NJBkN(8K)B7Zn|MDF)kPlXnoUf|Kc0{=oJ`bX&hG zA*3eF&L-V5zCgVW9@$QG$V(=Gexn0c4hkALb}Y%776#0dP|`>d&l7IMOf2i$(X8 zdqnI&GpSY^%qK)Kl_Iw>aKx8WQlb~q3U7l7G{#HIkXy5V-z4E+cc-1*Hsd8u-9s;m zvXIiaoW9LmkDYkj0uS5rjZ8|fsDb0XoTr9l?f0lW^d$49>W`?;CyH6EuHUVGKY)mT zw{a9|6-T5`=s7pg6oQHUl6UvS=IL2u<+-!ac@C*CJ{h9X^xNjPTba@&l2fJfc<~mv zDLgD(UWGVU%}v;2-Ia*KdDWLM1$6o0b7UsRPleQR@RMv zxvZNd=Ysa_q*}$+ImUkDF_pP(1qIOk_Jfo-ODbFRo)S{woFypsOuDtkwnF$0tYJSiv z%C{z`t|07|6b=Qi7Qzq*SmT_cfC!7rm<1Kv#-@Je>Q zsxv((=by|{f?G!_wb`y+eYenoJu(zxLGyak{^ND;C~oC$c|g?WA89|98kA=Yi5}FH z$n@ywtRpi=U1F*OR_5qb-kl4f&Ar|meWQQbLEa|o zV4p4ki-n|OVtVJTPTC6Fv1 zFLoAUTL!wDEr)r75sX{Hov;O~o(&0v=U=XciS-XQzhfi;Xr;s4jAL==;_x=q&v;+i z`4b(u`lb^v_)J}Y_m*J_y0f`lAFWAk{5owA;u)LXc=Fx0vSq(*L-)La_sY}bY<2z0 z{S}z|Sq8lp5B<1a9&&3+o<)^e3{jxJ6&u3&=!UZHLQRL`` zW71@f|O+*i+|+RM}NwJvq}q^u@J;{zIti`FnJl5HSg&b!a5 zX=d1x^a&P8B=s{eyzAa1cl)`?;x=`^AZ*0Y>!$)v#rZ3WY-UA^j|1CrBU^-%<0?eoR zoVQzCdDuK)>W0g9m=HYhdF8?0D1xfUC3Am_98E0eM~>*_cCOXH%p)}8TuQ=Pv;J60 z0164y@`KI}l~L%`90(a&-aS+!INI<&I36AmJ68zpf*`P_7hTbQ272H$k_jRSayM5w zj+NAd0?h7W|?x3_)OFWTxX&3^Ihk;h=W<9gZ8yAdL1~YA&U$ z%5G5#DH4Iwx8bU(2?HnL`ms0XbDDj5Y0$CDt6?=Mnvu&;zB>-Lx-HlM{aH)bCA>VG z+TVnz!I*y15fbtmv4SPl)NfWjj)~`jLr@yD>|W%x{kF-;FFer^SocAvkk@b^Y{cuC zB$s9BK{6@i&HBqXiTJoSgI@BNA87M8?#VO+i|C-&Pc#;JdJ`QU)muBJ05H= z;To)<6QK(;3FN80McU`*Z{He!5gmFqC5FSp_dXae`Q_VV{{vhkzZY)Vwu4t`iy*-K zqlZuDtI*#+?^TIp z)ZY-li5q#ZTlCsl{z-}YQVNsk&cYIQIjI?YtCe09k2uZBuB2;5XM&9*EmK=7@B0~k zydB$byNa~FiVNjBIiW9ljrm#=RiAt5YcsX1R`wM7zA3hel(y)^K?;a`{`p9qpv^c*CTsg?(152T3~B z{fj2$t&j~2RvI1J3me9+fy7z7%4NUlY>U^=wkvYUdy8kHomx(I9%r;E9+rLg+Z^YT zA^qOX8a#01HX7mC09w+0qq(yjUI8Gpxb~Q9aG-_+vX*!#MQ3^*jvJe_z4GFKAI92^ zh&SS@vfj%%hcg{3bCM-W?BV$yK`O_9l@g3DhSMr0pMPw=`gkCXCieAwh~uhM$?!^DGjUN=mWfLt&m_h)lvW`a-46~xp*RN!T6(mAn^H4WC_3G z$AL1^OmS`@wdq$xn<{scL8oang*U?63$=QJ!N+|2oSQKY&neu~Eo=;L!51U4W8@MW zgewhv_KgI{r3%glv1afTRug_Euh!l;?S}V5%4*r4ss~9QcY2u4_q{n=S1C&4-Dcl8 z?`UONcKQxDH+`VOH9f3NYwgj$MDgm!PTj0VAcX=wK&(kCz~o8*B^>&q%pZgRP5QB zKx$@1-)*^t9L-C%?XwiLeRkQ;@K(%%;Q)AC8wHA{8zU8*v#uprPprtqY zj%_0Q<5M0qxM0jT8c#B>!fedm+w$RcSU!`|HrO7=KU2MCj_!)at`1QzL@K=mB`6za zpRAOlKjTOh`F7D$oM8**=XGKDaymD8!3Xg?ueT*MJSka=*(QkDJc!V6bd8KI=xd(D zhofkp^<8zZ{rck0(XaiJb!)M{I&i(LlZ5D;O(biZME~LuCMQ^rv~-ZGPzS?ImwDWO zqnh8kU?Hhe1@|aksO8gDS0_?DrttZ?gEsfFPSeiSR;9>k16vG*wvvX(=~(F-L4L?K z6~FKkMvUas@gRf|T~p>QWz-Qiy|P+1Hqc6C?G!QEY$8`XatIl@*dYi%0~!|p(k3aP zmUf_7Sym&6c?F%HGnbY*G(xWSAsZ;isdg&)B?m9NuNFN}kyWSlj1(NLD!v(afI3O) z>QHo-kkZnEfu|yI@D5#`rS(HdNDpMm+s_ZjKbxy|3cq*BNJbrr=zbnPKL@>Uszk@6 zr4ES3C$MuULH#0R`;NWE0&AqaP*LKflLs4*VCnLSF|m$S@;4a>SX? zRp#n9&al>bW18&x5D71LtSFQB#H2;`Q8%>WVWG>PbK1ey&%dnrJ^7x&U=P^<2k5#z zres1jI6_Bbr+Jdp@~M|{+o&y#azM~Da{rz0ygp4UL5GCq`d1@JUE{m=f=TSMQwmMg z4J-zs6y-f@o)_BfdkwI*vlo#JQKsu~_@kj=5~j;DSIX9k_@^IAV!rT1=cKT*IeKsE zmUpjh$Dcu7@4&S+oh@r3`Sn6(hMY1PTxp{Xl~h$x(41eJTDiUup;dh@N*j>Xu7S@5 znO2KkyHO~l%sxh!In<1ii_tLrROxpv+q@nSdDg%}cJ~4;6hDnW-$qY1>f8ah`|~E6 zd489_ullomrIj_)lyzdmj0t^1s{jq@2^_WjyqC*x>UL^H%-<>5v}$J|Ao<*;?4#md z@!Ze}`PmSYRf@{Co5z>571D#%XKMnvk;L@)pP2G>PrIhh^5*n6)BAje4RbU~hsXP4 z$Ni!iadvt2O>p&1*(BrXN86w626+kw=Jec|(z(V{aB&=Jmh~8)dkr&)2<5=IA+6z< zya~UEbX88uOPf_4&!EA8K<+|R=u9=U7oNIb*z0EFjBw~^OD!1i6(?FqJ&|J2II-U< zr*Qo4y~huC$0x!*M_p1;_lcY0>BxtV`L;3*Q3z#z2xVqD*A-f&;q(@&de@V8eqEwB zKpH(yR%@cuMnBc@`uujbZf&KH^`VQ(Z&*s?r$F|_&V)DELrgqg^kacehmu$m<3x`= zBVkHp-HEtUuk=Jp*_5U|U1Q7@jxH%&#Ct2|bHvOxTE-(p8Pkmp&SHd>Olj0Ov zO4-EW5py>ZV!}MySVNGAii(F9Su5Palh!DH8y#nE1?NAV@F2&(xgyR?)v|NKSdn1` zmvQa-WpWCm*zyh!SMvw=Y2Bh)K-{Gi`4n^8oDd|QlAFRmwP>q4AYRG> zdF$Pvz?1$-D)*h(ER zzcxYAEu|hkueAhtjOaLlX1owZONU|w%X^8XIN+w*@hCJM?a34}w@G|f@vv>DoB1{D zSi*)04^mw}zoBI}FjKW&Ee?FdR;D6mVVSQrcI<;gJH7r$!E#OHGfUE<8h4JLBaCRG zuj^;KFbSo^q#-i=X=Ge_Rvg6zkTOE)-ntM(gK@y8R#oEjB(af?Nb&}EreOKkR_V_z z;|~ppFupceTpYghAnmUb3{h$x#c+2JC^t(=AXoZ<0B1Ibzx1% zUS9MCB&cK|&qf6^C|ww&@xluw0<2R;zgaH(5<4(XX2o;N&Xa@_GYSAr%@tnjAUmi* zq)+Oq7^aX?{kg0IZGDmzM@e~RhI&PhFdE9keVMM+C-z;I5zLBJKf`MhHGz@{lcx_p zG8O9YSPEjHd_mQx>a0Il*xz10SZL*>z&@G1%x(=7A$yp08yN1dnTa85O9M;%+RG1p zVjroJ9@E@cF}$@|hzOM<-{VcKJVv7h_Ic;Sm=Dhyt(j%gA0dUYRVj%9YgQgS*6gfXx@RE9B9*!P+!d0!| zaY49H>h-Jc!m`Prfgy&hD6AeFgOkS$daxf3N>m}I(@x=Rw4<8H?Q*ziC z94i@`3hY0x5IGSGDi!h*pLSIm#e)zUD}I0Qb=P@csa~>H@@DC2xMpods^6A2vOxTclb@dzE5<2l2R$K-R&Mo3U2S~S<%dVbjaWKD5886yp1&|MRcIg9yp z_sxBL%7TJPu$!zLu6x(Rq9z?1@*J+T$ZA6IX$-YEXFrw5f_^m*@l*8*qUEh96>QfH5N3%OU%dG$ zSV!R&wWfuvE~S5AT&jCK<@GrhbCK4NsOVurr<0+_CGhPr7Yb41R?)-U9PGv*$DOYh zgrXN_C+67cZ~;FS6raI=7nGlvlmBBu`S@c&L57D$5C7ki0{N;n?>q;@hBP&`=1YIc zZy&DN#eHUJNx~UuZi9a2%bAAKst5&^wsDWuLT?==R_D^Z-CFGGZq~_X<_wR`m)|f(j--d# z?2b5G+`M@0b2Ye~f5jjro$E|jYx${ChiAf+iM&Xs^0cu|EkirkhNXK80M0PqNGa*s zxUnfUvKe@mnc1X&>!D$#K^=F2 z>CtzE+(oVRsj6~ zqnKoDQ6`Pda3;(M;f!fa&1E1=@~5KMb{bR-BMr92@)coNjZlT|1m0v{UR`>ZQ9H;IuVO66FnMhnWblf zO5*&bhPi~%NeIvN<2+B8e#)VJghlBp-A44H8YQYYmc;i+1hwKY-sAkA(7xrvlHyYp6MPRG`^ z#L8>TkEige*@=Pfm^cXH=*V;Qd{NdE3sx5#Yj8-3M0pQ2=y}k+n0%HSN0A%p+!)k` z8~MLIvQhrt2+-zVF*yuvU(q|So@Nl$7&@&m5QI`K zh#N3^$6?~6AL>ZIbjFc?W$$;lD<_T*wh2cE@s>$3`bqa*x>zh|_=}lP77L8$u2^D^07=*)n)b1IY z_(y|r+oCSLsFzP|*=%)JZ5%!)_%dNqxs!;v`-b}_B0!yT9Fd^@NuH~u2ULXP$Al@g zia8#(PNbe|r6p!kA4g%uO=m#y-NJ}SBdFWLR$gp^;8n0pVuX?*A(@ekr*hxp_Y@HL z506{(Db;|L3NvV)NQuLWQF=egF%r741EaLFUcuq;GK2E)s3 zO*s`j*j(n9-X`%wbOusiU?k1+Y7zEmLaSSC;b5}9*=RpPsufwJG6+V(2R30zl?=uh zC}D_a6hzBPh$4z-e@hSg#&O0Eo4JF^mlLg41#^@z3)A;dSGsC4Zka0822UwQD!w77 zh5PY0-?zR-Yj!423#bd(=Uz?*L%yzX_bbGf`1%p1(fas%2{p+we0G7M*V)U<(b-dP zV{=t~dh?P#3HLN&Wi8quW+>g*-Bru1`)F0Y31UzMoyp@fdgJ7<*dX9W! z=wKs^FFOs5Ar989s~9sxd@(pxL|sNe*wi`Ry{F-;voyGCwnuL(9c~%^2`y?^BT^JC~yug4foG%I@L|JAy)XHWO ze!=gM@zerYB_5u3i%E-iVef}Wt4I4b?dOy|Trqq?g=Mm@_4*_nhI7N!*>ZmY9bU_^ z$%f6g%tt)x#Z=%@cE)f=iFx)X?aM`sgr&n6BoXqFn~!xIR^7rI=c}&H54X=WLz#SkCj8TQBco7l`R57&&FPE1&XH2-jsk z<>P^K)7MX!-~0R|IQGT}hxC+7{$f~w5wf7Ohwh>_vfz8&qK6O?7Cf4{bD@*jziKrN zXQ20)vhc~E(MJ>|5piaWvMQ$&zKLf!}^y&Mw2m5+JK8O0&|`6*Qi>}2e6i}`a`@%Wt86Oez&3Q zZW@fm{X!*f`7!0A4<}~uS^Ka94>@MYF}9|{@}dutpgNaPY1PfC+}YB6N6h=HZ}ri* z4Cv2CP7Y`ZT$7*O6&6(}f8VdRf1)77D_*O_hgWy*?!ExIX)^W`*ukJvx28W1c=Yu_ z>C1-m$-$SDppp0+vUAh>XXak4Ta0ftnTgSgtV^Dg(j5k>1K!Y(MoUGa2vUod-h}=Z zWuk*PS)l}|wO{fAQFt6PDo}tct7S6Ak=W^5Lp+_;S6Ij}U*ZBb16P|_aDe<*l3!AX zM*_bHdcZ-BO>d?>&o*uF$sa>wW^}7h-R{br&Cg@xf6u;~R+MjBjK~(hK>n)sD%uus zo78a?QT*JS z->RB>%;uAu%g2)g$gPjf zm0R@;#GZHrRw+Bm7vdqhJWv$At}De+b(E%ceHe$=MxjPbi;_R_s8<)xNdg5huqng= zOA^wtR%OgxcRWHnxD15X?>j)u zHyqc(Z~w=Ogh^nNthYanMx9A*t6Ga0CBdN7_MX`oxa4f9mmF!%3v&I+$5M{e6p*K zR!k9z$N#M010n^Y5=TeoT5h$|WCs)68JUI z`rB$6(yPR2_%+;d^%n;x=%kNmTr`WAiR`C(A@md3J|8hznU_+oQWP!A zP0`7GM?2^eQRPL=9-N&_vMpDDp7lyacGtv38TRkRpv}0SMWA0pn3CK)AD$6G#FOWm za+z+n>&A1WXRmJ7VR{|*vDZHAtFJ8bg`Rg%O@XmiUp;C+v+$&UXktxOiZt0JOqn=w z*pkype4zYc^puf#bZGzcHs`9@;Fpz7s&02oVS%Rz7q?X1SeU{EA(Y3w9Ujv?4;<{m zV2%xfk&WffiB=5tx*&?yRE-+3kW%ZZwSW*@ry%`EYweBha0H#|%A%)zW&Dzs^e^B| z`+|ft-Vf8~nTj#85YpxdzcPm@t>5ent=LD5_mWw62ybB{xsL6fh)5hvZugJ#Q%xpE zld$S;$_iKVZI4&75V{Q!QpCrlM=lIY9%CTDl^)m)P3`QX)EDewRTb$Gf`k_;19u<1 zqaD}$LhWW4c)3}!y@G*h0h5WZ*C}qFj9r|^MFiMpMMDg$uj(dEnckHS%cj?za3|c6 z;Rg5WEWF#a{s2D!{#y1<#z{Q*T>gbfLo6a*RsG%vgS;}N5xH64rM9e8Mcg@Arov=* zf&{udZ!P4Ki|1Bd22zqi z_z0q6hmv>49@3NeDpOIp0LbU?Bt{QByV%Vse@>MzU@(Vw1tZJ2Pe+GdL?-Ow<@3QvQJI zxEAyoS0ObE2OOLsvsMTwrv96aiS@=Kn!&JUjv^5x(-uIEPIV8Hs?t|{(&xNEX{x+5 zjB30zFk+&twCC_i$N>qXnB(2A#$;Xq!Xz&M$U$U@l@T2PiR3d^Y76AM zyd+&GKQdQL5v#*Yf9%?A@w5f0Op0)@KoSWJ`bsLVVB8V;_6=l3;%20;VeBgvHWo&U zOs^Jhl?;uodg7BHmC3IIJ5C#}b;oTRwVh~LS)DS5R zh)O_Q$|4SO8&$vcV}W1MbTT#WGB{lU+%nZ}oL z6bm=cL$V=Fyn)-tYGYbnJe14!S-}_YDe6j_7rvP09Pa4&+tZjzZ z8+_X?yVDkn{f1_RqNQVgRp6~TF5$53!NW?#LYo8Gp2w92v2O#A~ZmE7EGS3!tlQ3gFg(y@Ppyyn_BA;wXrn4nt`!v1T0?TR&Z<+2xy@ zG+G$v{&$+#0G$%XvOcC<kF6`?5x7pbT>xywHEfcW5mE*ZL&IrJuf@Y9gpN#f@13m`*K^^CrRTWinEeba^G3BA;{& zvoaB%-&#z>@5}iQ`fLbDH-bYPIY=a=2s{eATN|;Z)Ana&wpQ9+7=3R`L#!vw&kP*+=pdR{+R~_!2Eb4 zm>@7q1o;mW?t8G$PbUAN-WUCsvxb6^m8mgQlY4c28U=f2a&qT7mtu7bxK8e}ZHUp-IrMaGaHe199AE{>K+T&HH&xD%7z*%YqY*XJz1^xSSuZ_~ob{ng8nh zQ$f(L_WS7y08~NBguFQ(SWtrC903mK7w?~<015E(if|yn4<-N2{K=au!E0U#4g|c< zl>f60e%Iq)H>z5?*qBl>a&S?~*xNxTQ&(#jOM5#?Q%gHjCrU{tLt9%z7fb5|^7%)k zTs#0aE^b~ZVvOUr0R#H8)qkqPd6ELaTx{H&Jokh7cdp<+xc;>5mo5M0%JnB#WB?~G8yFhMDWPu;8e0k} zVQC(h?cav^*(ZOw>E}q|{O?o*;z^)f5ESGDadC12SU9*CI5>XDkh3=tyPp#n#rU{5 zxVSkvI5~eW^Pf2f#9Q@x0SHHE<)LQ!+*#3t*IHhV+ZqU9H#L>w5l+}#V)*}M(JjA+ zPMhP)y2zX$J}yo^PAGzJh3nsh%Ze!+7#iUVFJW&5=l*pD?5YR>=+|VX;Ob%n?M2Q| zRAGX~DlHtCGvVbbDFh4+W(6I!_diNI4AdWgz+6BssONv9ar1(}f0hFQIH7>V-^+nO zTu}7jA2c2y4|M4N#t+O12102G@M~ZQFYlkypzy!@vG`jJ4o<-R)b%?J#C4D3{DTJM zf=-ve(Kx}p_kHO%8V4B23mt|W9FYH*&cOo!{wai$hZFo~WoX|7{AoHDFE13>`MVHK z9uUV5A^(xV$qV55uMDVs4h{emTlrt&PZ|LH7Y%q1_WWH402-p~PX(b(!}X_N0FdXe zb_Hgd0;26BO*aM#}j19|U5r~N_W0{_+6Kmh13`&t$|Mol}RKq{p z4#>;@{hbB^K&R$EX&}H~of^ag;)47=Hb8%MF6emq%L`B%*PqIOIeGsYe_-eh z%D-6*)fLPI=KY5T`DF>1i}!EA0M5VK9Spd~BmZtO7&;*SY&tN28w!E`vmEFTrJ?=@ z1Hkud;QjAkWdOYQ+oa!VKn}oPmH;{L_g#OK191E~BEUf4|1ADj1`xyn=KrfQ&tJVC zI#)o!*nbECad3hXZZ;^~!JPMtqO!fc3+4SJ`Oj|D&diqteldD@go5Hrry) delta 32132 zcmZ6yQ;;se)~313#xC2oZQHhO`zzbFtzEWl+qUhRbN=q>j+wm5h_x>ACUZqT@x0Z$ zpb7IJe@PWY#Aq4m*r7@N|FfW>*%SVzC`H|J=e(_`gIvsUdnIluCO&c1j@+(9l8Ef_0r&S~>&PzRE zTXC@ynkuCOE@?a^Pl(O6dcoZ1S!Ze;=CtDBiiLIDy4p}oDO`(337gGkao(LPGxu4!)$wjT5rCBY z{a3c^$KZdwH9RE&xdQcN7zr?lae~qo;W{RBZ234?Gdc%T9#B$(P!>Q^yr%tz2vP!L zlkubO1V{Jr=vMm#ZI7@`fh~V*1;ENR{v7AiKD6ZHvbZE)7wjkVsDyU$xPbQZsDOw4 zXV3hofax`RTd@B-#q|1C1>=51H$Q!0Yc*sLokPW6=_j(qvlMB^ynC@?`aarAbLf3~ z=K71z*Md%yBnXC*^a+d#!py;vR8PPUC{c&QK;j6zq@8#~X&@e9b5F zn(6-x;m!`@4ruUr^1AiCIm+N~Q@W!^vxW~JZ|G|8c=a_Eq55a+ z+^dB9tTID}wlqUs52^&6Wdt8TPKCyJARWQKXV}T$_h8$C?!24*88a|?k^OuSKEsIn zc?S58!Tk__AF87@0SF#^dvjOIjjL0oX8O=P1RA7oD&^vHoUb!*8Jnzt+jasPi#>Px z@Z7(?-1?rQAnp{m9Ij=28!RWC3?ru_!^S|R>wJU9)9SE+^1qVdgupn6{anERAbrG# zeyCRf5bt|!FLZZO74b0vP>h$o0gu4*$>T8BgSX>^3)U$Rzis7*A z?5z)ns|h1R55DKX{gFk*6Y`N@!Fq!udNE{8PBZQs4E0Ut=})*ZEzc`z>pRjw9Z_8v zs0rqQb1c#7kfuv688>br_eEA+4Rqz%CSVKs!@aHBZN4v!_-PR(Qh9%R_g?V+40D>gUzCT+pcnTz2xNx zdVTEBLA`v(utB5x)E|9gV_A8}u>A*5a5r)B^DH@-LkzFU!wl_7C$7IBvCK9GlJ)GF ztdixWXs#<4+W8;Abwon0S48|eyldK|oQ=3Ag=e%7Z9?R{3FbEj)nweQN~r>SZ0=mE zH0T_M#|H-c6}QASue%52Z+G<%G~O-56805P_AntVq`*8(Pcs49ZOmq6;@(+FnLE6% zd@7R~Hn^5x(X{Tn>4fLYD~XrkU+ku6UlZx=k$zC7cK0U09tq#K-fIP8gOGj=*_x6D zky(drcS^H_v1-&}NUH~v`nk+!jF{5Uj%E@BxgpT6Hzd>_u%!rZ9SACTL^*NIbD*xN z5=HK@L?w4gke!u{8(TSBd6~rG+Fem4VB=1|rQno#(pVy%QjQLb?v-+8>M1T0rQ0PD zqboAQwuv@?A|MD~Z)8$N26irp-FMeQRg-U21fi1O|51#=Xo}e)vGZoE~d}n=biLvP!E_HUM`_}L!APtM?v$(j)zU_|W=cLKK zA?>jupKKPL@;Bn~!rt#6v>-`n&H&?Oa)g8Bm8b}y_VCclw%>*W1|1q#`&RPVM#m#N&OG;7(cqSgZ}T^`>r^gCxB6Bqxya>+rVA zyi-ccDRb;;rdzhtD#62D(Hwh4L3wdyn{;zcL76Uq=aS?Geq1zZPLU< zE|vH-uJzDB7SxN*sScHBDX zd&fcp{U=Pz=dTbS5M24%J9%o|0qK38y2_Un7EurA zg@ZjmrPQ9#ZTTh%0yt~%*LDE>JMdT3n>-=l<39M%6c)uCXnN-iPtR?Bn(eO=ZwZ4tNVCo(W>BljA1v0M+*<-7U*sONp3Qd(*Wv*WxV2;|HBUWKXjjNXqVbW~z z!k*#lMpY9yQ%427L?YTZ`Iykj5gsDoMosNb*^(e&c}Z= zAtXG`3PSRX*H5TJ!wlb5-@!OL5}yD{b-1_-ijSL!zDddUOUa@ytD2}8+=3Krm6)xF zsOg5whYpo(Z1s0rkbpY8?UKe7-4_XK^pgZR-FN5CU{N+j%CbP zyXZN|X<`Fa1Nx2vu8TmBhRVaw5SO%YZ{_4}=MzL|nmMV;JNX2nOlpTAth+YTK@eVq z|I)A!+<*Yn!w{UdT_7UE{DmOMJtFvob~RM5OC~LnZuXMnGQ{%*P-RTBI8nFjRWq`L zhfK^!Er#41h2l(5E^mMgUrg?zg98qBR^|bJ>*zFq!D;sO~M}xJO&YRv>`wVh2(LMtr%1fpPNh9 z7&5a!S=iLtZ9THQF*$grWQE_e#v zswNcNDAE<`2Lkad0~4duS3X?2;mI;0Jv-(KsSw@Z{JzD@y^*OsP+*pW+1hzCI{b`? zd~^{6UM{wZ6Ho3lb-<_o7Ji>wP98y#{%tM`b)QU^H5$+yEyBBD`2E)l(lFXAQ=klP z+{WLJb!LZJfcNi}PL`+;R*YC?vC;B;We()A%i=Ky*SF=hz@np%%ATVXd!o8RZPVhv zj+!R!fi7pCK)g;UKnm&Zh^R~S$F%J2VC&AFFro|p=x2M~A6)+gMMoXWs0T#8b@kP2 z!g=2jrwM@KmB7;Hax(DjvT9tSnFbDIR9b6|Pi#)NyRVn0oxZ%YZ&6IkqT9e33)i&V z&@jgY!oiLmX;dQp30NUWlv1v&c1+EsEYGG}Q{y{9zd&$09O^`419b9R?m!ECT*;vc z2&LEJ8W{c4AhE8&3&bq~jwoJ$3>%)F5dBXdm;>OA-tAsi<>iOZ!GTAsf>UG74*-A z#9>+L`cYhOw6vpRq}L`!Ltj=!NtR3|~x_`*{=Bs(PnjKrv{@;o#eZtG^c>KH zB~n$uq~-`VTw-0pu#5Zk{cLm1kG?fM9(>?MX~Dd1qhYMyy7-M9;aGgw;vds`q%R*W z>r&G%x%32|s=ohS^SfG%#s5<5BHCpG!>EC=+kz>tL!BU+cvfDpJ!dd5$Nc+C0+SW3 zJFe~-rP5W^WlXgbZlBAu1{~KIrw^DB2s1b)KY$_tp|)|eCWcP{W-*V{Rm@Enla7XQ z)zTV0znOyInQE2Uowdvrq8?r6*mWr{bx>A9nkm(zoZO19+_ly4SS-zK%;+*Dt{>8< z1V`NK$8)S*IcQ4M7nU=q*ke}1rSOWf=Hcpg@bE_fhWy;RhvPx{gHBJ6Gzw@O-th1# zwaI2_QqpPk>}BBjZZT@e2qPUB^z`krhV;8Z!rTdTrFUQA%LBVT#Awa_VdOjVvxg4qOw~6? z3$>Ssk|iMNd}OyBA;8u{?PdQ$@kYQ#A(qym40Lf18BDsl+nz#c17KSR@h@A0`>5`2~}fI@|g@IHw_ds@K1FJ!)Z-Oa1s*| zCAZ9(Z73Zrt9Bb^y(cH{2-{0=;%cuQ7pT<77G#H?_5Shlzh3>% zrx`h+A0r7N3=`~suuD=gdNnfR{};IYhoLb27tE-MhzMzjB;{i$0x|!W%m6d8CMjaD z{T~?ff9e=X24bK|o|slZEdK*#K(Ic6|9?=1^?yMbc1D)}fikL-b_Wb7+mEQZqNE)L zchvATR3wlhM)P4(tc{^-3<(4g4;pu`#-BR*Sh6H|qdhO4I>vZ@J~req+PB*x-$z%A zuFrF5c8T3Lne&5#m2{zvRUho9)s3s`HyNz9x-PZm>t@Xr6FX^kl?N;u?ltfF;|sWx z7kY>s8f-4UzJQk`eN(_gkTGmsd4z2>IsGThVO-BqnssMGZEnV$f$n-WAB5w!g%pm> z$G&81?vsLA3n^I(LKiV%25nTXf)D-7j;Tghw@Wv-eWma;O6Ap@0_o%I(<0#d<7Hq( zagDg~#y{hArK6=f*2V|*)7FWbWqKSeA$n9%ef^CS4sf#TW6r6jbgiULt0(q7GMkWR7Op5T6| zY7)@pK(_!nDDg~}ff}(u;2#zh>f)*bEn;Tb%GJN5XEkCSP%1E283L>j-oVQ^og@mS z`OF2Nmbl53ZL;|xMdIL;j>XpD2r1w`z}{E~0OH_elm%9oi@g;l803KzIg&_#>OsaDff)X%SEX{voARXS?v-HK z4K&*~X?K@oHBj~MZ}&gsk>|XB&~G0r*Zv1YN#LS_aaOg~LF21uA~VW2xD!<4A-z2OXc-bA@rc+CX89rIadM@31$YCN5D zT~I!~U;Z=JbMU(iV?@pY__CTMMrBn|XSEvX2_)<9HTd_9z0JKHfho?9*BA5?-p|H; zS${OGmi4mvZalH)?II$*eT8ey{)>o#hIxtu_~{AxNT}Fssi3Eg0(5kASIo3BJUK(u z?wZ=^$~LA#HPPTXC#D}R)5(*K#a81k@VD(T9!VAl-G%9k^e=PBy|hYHDzhORE?ycQ zi)Ob?yOp=7R^4?w@v`pLqT-;oAzQKI00UT~R!0Ahs!zA}wQ|$%gRdeEi_GFaUeB_O zU-;X<#))~DZ%5YN0mcY1-^ciZzZTxmfQwjf?iP&BHx~>5bnk73Fv5iTuLrA zPtpCl2e@CfN5tDhd$ePA)k-m;p6w=@}Ye%B2T~bKtqHv z85S8YYsJ;DEB%dc#no|VQmYIf&v6VTb=lX$1f{(x`=eaMFKHW|SmWM%<)j7?}%<?W@id^tuZx_?oCqIr>*v;Fs)#@67v@>hB5CVgi;jI)ww$)MmPJ%()qRRAZ^RCte~T8Qqbrarep+r)rw>jO%M>Bm%>AL4FS*eIGvY6_mwy3GES%+F^4YZ|r7$R*iBX=qGRJ4Uh7^_$}X zqB*tIZC#oYhTmyeHHO3RvSA}Qw1uFJgbs_sX`!ZBuUlfHL{aFG*H@i;$>zUr#BX0g z^8BuVHK6?VjcJkUMGObdc_YaxGNRU9p+m^B!jVRzHQxP~h;%QT9%K@1p6gPoRHx4} zE6*?Xtv9NXE%}H0Vd32-%o?y{O@xgB-jc|QHk0A4N+%+&E}-!GuF&fwq$LvJGnB<> zP!;ab^Mr&-yzbp{XDCb=i{zJ){|Kd(25JaF-3%{3qDieOa@nV>{#eI_!2D4KDWvyY zB_LkOz5jI4qhIqXsYB?rFIRO<>&=W~7r@OMuR zP!~~F50g{TEt8`l(8X4c5!6R5cDajR-}Uc)v3xKQ^hK5VOWSIBnqX>T*GZs?7@Ybf z8lygNM9Lx0D-kh~v^HzlH=-$=o2DF)9W=^+{48hmkT+y9VMjVULk0=vmXyUat#9BY zga|C`R|MSqw3F&5C@WWtlXkoU7AjO#lml6L!SxyV?wZGiQ7{VRETOw@Fs8TMmMC2rd39+Ah4{6&}8^Yt1EP^UQhXj_IaEoRIZ?-Wt zrnDffWl#^}qT(ZduECuM&|CS>W+V{hu;M6xs_<5xjNo;6uW6cDDk;d^?>!I!wSE3m z9ZfLzi{e3^1cFJ>rpi1AK$mf6{$z2_j3w73#)#A~pS#St4sz2hm|E2y_#YS?qpm1f z6K2>`HfuvANfNRstq~^lXDSLLr=+GSYp5zZrQEvp>H^)9q!Ry?is8zJ2p0bPXv(i~ z`{nh)X@gIN+Ix3yCCa;S(;F%k>Jnr_qJouR$Jz^px<9D!ek529U}0rPSw)OVag?Uy z$YW;KzM#d9OnB(`F)5o2Gd780lMYks?H^Y?Sx{?et>P_Fe0CRk?tw8P8Fpf=hLo$5jV#ybb2s%h}uN1=6|A zUMT%`@pYB-EGas1d|u-y(Nn6OD+<dpkdJKMRYVb&7E1#zsP_i$T!CT?e!4!U<@6B1L9?TV*S<0z}pd0l2ASfH{z$>blX_%>Kaj+|<=b~oO zEkZ_&HHE_h1RXE%v>WeDc!wX6IFEostw6Y|V6s(D5B(6mK&n6+F%sz$#+Jx%s{ezv zh)cktK4l%}Et0VcW$hGu!VrobfzM1lxgu1}E?td4`gY}lvoM?%yqAH`& zHO{u}KrHNATK@Ea170kJKtEV>hqsO5%s$tRrcU^moGO=i4Y(IN=hY@sN;1VZvqeC zLd(sKZSH6Vg)Rr}knW{StJgN8Y4VoyS~ zDU}Bpp$>iJKd+@rS`%vmbfXBpk|VM)QG;=~h2*m%^cmnN-C2>0`o!YciV|v+r5?gw zoqkoq6cWNDK`25Zlkn7RLd40jbmY&r!wwrjvCISEt;KFkMwVT`g`a70+O9{=TB&MC zM>d;LBm(=GD@AX5*ewlZ#g7!rh8yzxxN$;Gd=OQ!r4qw|bNWtoW#Gt}ZU`ZW0Pj$Q-vw4`q`!qB!qM>D@YnxDfpvBL zd|}_`h#hj)&MERtXM?8IB&(si0-elT1xzDJB}1oOs(>&`m9+986RX3+Lb04p4g1<3 zZ%-E?L#}ptU#mo`ij==oS6AEIW(6KlAcx}Q;$RR@H5PazTO2&p((u4vH>qDm+Xd63Uj?t}^F(tjtL5C)V8M#N^kTQmT0{Of9& zMx)+_6Nb$ZRh8x^Y*h1)G4H|HCNL5@tENy$0STE{BAl@Q%KYb!7tcrRTmtp$q7td& z>w-z}>|m#_%@FQ19n~j9rZoR7XCc12hAczXa2Z9voU&Xkpo|qyn&6X^!|?@Xt6HW+ zCo(E#fd?rHyzEF#e8x|>wM-3=STRFV7y2}|784jO+eH3kqW|?Ee)n;I+wOUcRfHzq zrY9p+gpvTN)4!8bu~?$mHC*@sdna$!IoN%QGu9E>%)InH?{lc-I&X3?d@eoO>)^a; zUa&O(7NwYU@9zFFliAVnoCS&`Juw%FLR8@v%Qn)H64jhn9^EV2)T#xLx+oufejb%O zcr|mKsU}oU>ss=F<6m>W8(U?qN<~dV6OElPiFX~R67AN(vuJ{>1eKx0h)P6+;baPA zsRSoO?uxDH_=VnkaJ`*4JAMdTje*Xt?C3BCt)-tIYfh~CJ0*j#4y1c?9_ER|S9Rx4 z2%?oLL6$}d8KPsJth@$*KASw-BY6hV%r!Uh3h|&r*FNTFkZs^%cFS3EZVO(moS4WI zmwIE$X%cgfk4j->O46`myTczdk6`_<;VoFjiq?XD1c#CV^BM@cDfErTK41-B>T<}U zXEwENRN2xk;Dh2D^7$9F2X&{h3W1Nq7#eI*VIgam8dIlwvh)O~vGzMYzF*vji3j*` zIq+|2KUuO*R9iaOeSVvCQeyzN;ULqEewKl^72)0)R)8(>xd=RptS0N2^%Bq}%=bX_ zaN1myRWy`3SmkB3NHsa@MZAIu2;11(i@QfOR)v~badr^M_PSijfS8wWtp5Ch7VJT> z-!VP{|N6`1QLX{L=(esBun1I3Z*>23@g{bftmq9gSi%(y4iJf5Sp6G{*XqLLft&Rx zK7UTc8L*k-maHOw%P*f+@>5_>#z8vg;3A_@LFKMyK-dY+B^XEL**tnVRR6jI6;$yE zDOZp~rGzHAZzJ#+ErnGoM#CODQk>kcZG4+gCj+2xNn-$TC7f=pF4$Fz_}5JP%v`=Q zk+e;1qbW6oNh_3}N;pQ=F1TM#wt(-p3dscUOSr^`KcjPY!(s8M5 z^PYq9{jP*nth3&PRccP@%e6`xEeJ5Iewiy<=zBg0RX01hj3dxR7o{@Ej+rWkBC7;| zVLG2A+E^p1R`HhhqNWCiqZ*xe2sYe$ zZvdgz&5++-A8c#4fZ0I(U%LZ*+K$ny`cC(3J*Sep9ivZl_4>`RfZ4mMtVwuWE1gy! zZ>?egV!Ka_OAJC!5HZ_Cj9Ai$K#SvqiYe!DaYa5yZN^s52k2e=?;Mdz8a$FCK;bk7D`sB2n<3;PB)<4 zis5exA@}fneK|slZnHH*?O{Car-`@84+p>}rjgsFVkpahaTlmD07B!>ngQ%ypd>Bx zPGvq#lc?=H<%?97@~rc8RnSE~cE2-$j&mPSGW@Ies^A-Wfja|um(Okz{#A_sr-|APeKNj zKL@z5RUm(dsAp0m@4#0ON*Uw0*Y^qByPxpi_xnDx`Oi6Ac^4eDIKoH$VaUa$vrLQ2 zyR?*~ajxhrtO~feUvPdwM|(QhU-bb=ZZ@%N=kiA1;i43lO~==T1b()n;;yKU4fa4L z)6vcRI*pE^Ry4?jSIT1AIf23TQ|BPkJ3{ z`hB#_sYfS&Q`#vL)To9HP|=V@+dW&psso33sOT97P$WcdB(`zIMc>TreLw)OyHk>> zv45VJ=SIZB7e5muYSow7n-*dQ$#ov~f?K$87KtTt(2H!0{G?pE!zwqA%mpaCXVIZa zO>fxp7H-kcgD+&j+y#y1GVh0^+ytBy5r$<>^MO6w+Wy=Ww=M?sZ>n;KUXJH+hgP1) zPYC8~5qF$=o#k#8tnkAGrJ(@ePmCcJLiV>@z4x53RjGb^o!a$OjR*C>tZswu`z}fH z1JHfoy1>~LVAv^u!&d?ZeaLc^)zdl=g7bo4_Eg%C`P#u^^Jr*lNyF}Im__YxMmK(e z*U7%)5^O(zvDP1I3;U`qL5JO3M9Z(AYO$rD%k{f55A&;nhZ*-=+m-=E9AxZTIguE_ zI#C!Ru@ff_(QTf^WKzg_2t@+1;%rjHVq5u492XLINFF7|`i(7~ZO*u{T&tZyz$${m zl}nSjOuIP_WIAVr;c>H&f+$A&_PmA=55f6;xRp78eW>e7cvWR%h;6&tlcQk9SG;Pf!LY7x|gDAj3Sh>kaVx%e=O(7lo*9aVMp1yo|%NBrRa4I5j@>xfM} zv8vP+bKKlx#a3F?dTl;fNktXbn}W&Em8+#<%P)j(cm{-w+!est(@ak7_tuX7-_(c$pj*N=j%Nr4D8dm%I|Fo~Xax2sfi?yX1}~E`xe8H}P0-vBe9z*` z7$jyxri(|oC3k@T4^XAX;O>O*VYGSw`d4b;1l}~Hij08OXRQB}G?Su<*BCcLpD+rw zvf1Viup*vhj+OI2HxF+B7ZIC{iD=mrmS&rB-bFnm-2|la9ASgCdoEYT+$DsLIGrSseZqi=reI0Z+xi^h>i(7 z%MLyl+i!ru&8#G-Qdna<=6am(Krm-3)QQ1oCb&2+QgieW-*|L*u`p!YG2$on=<;F> zd_i8qmQhQ|G9qb<(dK$$horm>W@T*b^$6J z8c#>9O3YLR*(%z|{)h|ZTSw3d@yfSO zvqt$i!2tS*oqsL#8SSIQ_)3NgR`-mEZd=$0ZhJZF57lamxN+Sccm-S56s)=kB134m z?|*2B$at6NWy5!yQ=_CIp^Z7#C4GfJ-HLGBT_=ifLl?doSHL6>3ERJ<7;$fWHUP^Si57z(o)uaPDr&897|c)CLhN}GZqjiDfB^0& zxl|jNQFDNb=i*<;`2KL%o0auD5+QZ+Jxoy^WfEGO_y2Ctyn`KWJntkemd9m$$5bU&o^;si%>p~YZg$?BJJ_zWkur8i zMUtUObm9 z%mvIC6y*hmjkgUeZ(bE?5H+V7R*u=u3*aVQh;@osT zRb*;miGR@xU{^|>2l`E6##J|27=i;KLtHUd5s`F;uBzlGs%|gvBFzS5UT=J%(K!I| zeSy}GRG0KXsHNt9lhT;qGsTN(L7X{DAa4V@;E`?&^nb&-@Br0&6!Xito+Q)LDQ!sPtU|a{D47Kl|8I_{s3R3rt`l9VZPsguyp?Is~<1t@H>;?8O@n4 z)>790Sj8Z|`{71g8~b76#R49$wP*G@V6u;ep&-1*_SR?zU}+!N8!4Fi0}!E+l87%C zqijA|S>aU7jgLL+(A-Z}ep$putq|!2f?TReahJZ|J+|m76(I$}KmfkHZ83NBb!v4h z8AfK#wWuY-r%L>T@733;H9g`HUBJyVGL~>nl4eIY(XLG+3XpxE^;*vSyT8agISWY9 z9Uq%&mTGpds1V2+CSz_XR@~3%3>C`DYip9NF@KU*AeN7)h)?jj^ZdEqDk6lGVhR;29{ibs5xV=&-AF@^tJ^zXf0u}q;`?mN_JK;I4w6x z#jcDg7rW2^#awM){v>)XRdlFcUw`7|_`_pCUhUnPoc6J=M*>LY$4d{hBgL!VrH57F#8usZugu(a1x;C6xo<&?<0SGb#2z!iA_%Q_$O+P} zvvPMO1JXCMcXb$b1=YD6%*`vWUeTwrYI%k+F1B9va{%s^H?j=B%vVc{WWn?lQZ1+| z=&2Z}ULioTo2cLs4`|#GJV5WwajI%To0Z9G{Zi$Hu;3Izhhe5C9hCiw0WFahqGdR znj2@j9|6D`U-u`ob+>(XCp^8)oMywR&CYsqWiFkX7lA^i@B!PLE{v#PA*WAg@za_m zAsH&Q6oZ)(kf4$kKdXgtf%C6)MQ#z7Q>CnCk!p=~w|ur#w&%lD!={eMCXzxD{bayB zN1sv}9h~*ma@O=*o+Da}UB07XJ*RyQjhpla?tpYh8K&Q_kDYN6H_rv8f1H=EZ@4hU zR7&#+#EXSV#>j1c{gm7wcao>ww*ltzJKtvxHnSsIPKMMlor{_u^FK)(ZZI=g|CxF^ zN{^ndGwax4GVkX$H$oPI0dz&@_J2wbn`4^<;DM4%Bc1o zFT>+;0N^cj`QFw%5n6(<$@QH<+_d{zTL3v(7et;Gg87H3R1kAR5vf;0nC-$?1LY2S zA=-&qkoBM~yMzAF?}yrG&0?}7)e20+I!s!yJSjosk$Qg=yVUGztMX_Eg8B{lpLKTR z=Z0#g#*xCb8+7-GkG76!?yP-{gX@s}9qV#ay`LoVJ%=CpJJGtVqifXXVc3I_2*8Ov z&W-zL|A-$Ah^vVM-`d!S*B;Q!uf+=Inzb&r@FMinrgCL`!G1iKU)wCNCX8)qGwB-3uN4|D7U#ulgYoMov>%Vn%bm1Li1w*0AAk$_rr96a z2fCFPq^U30a_)!7r?WyEbTO*}EFEL@%3XCYNf5N~G{qf{eiQiK(n+>TAJqNm}4 z26Q+)#nQwt24fVbjm9)V`f@0G;$TCiQ0*x2N^HDhlAz@ z&PU9P@q&BrFirP+W34p-2_UoPf40_BIIyl~tLHkoy#ABLWBH5F$ac=QXRc19z9r4rmI2hX_4q$m024*|+(!W@Z z2^JGde0^*p&~E67oRDQsX|rPmZ=25&5>iPtplDvs78O-AsN_z5lfSeKHtl`az#{GB zWY$1XN}+`~6+xWtlXPy;dsVyM(lVdjyPW1Q1thvrp zo!Q!7U)CHheL+Fx5a4(A=dKB`3c+)QfyhKBL&(o5qIn~0*b7}#IF?Oe6tFtL&Zhp4 z*RKYyPEP5J6xmh?RZL@vf{L^9E&-Hvzt5b7@LoLF>MSteRx-+^JZ%;I6n>0cD&Iu;IyCGTwre}5nF#l4oJ{&fXc=5iPz3(w)9BDNXJq?XnAU|}3pE92p&=*~=ZT%x6DGX#tjn)|Yt1Rm982{JP`mcu-56SkwZLXv^0*nMaDsVwTIZ;iGBmr^W{|VTk05K%pi~ZN) zf=OC+L->Eo=i)xVjGRg45_G_93`qs<=s^EFN5{s<@IT6y%KuWfPN{idNIDFR$cHSe zprL>zXg(Aw%vKPw$&eh0$Tk1#Y;Da|S{3uf-X3N4BD{lsKTwcdl+O@?MUzpi9S~|{&*s_P+{tuV^MNauQqI_BfU>5`zd<7zZJm3Q) z3seQEdf<#D=NJv}CLp2z1Q=tv)bRq?2VX3rk`a>~r<{94s{au6$O>RigSld2 zD0$5G^%al?S;d~4oedOdE%3~XF4!5FC7wiZN%B&PJ%R=WTM1^Qn+w6Fm-Ug5oMiMR z1UGjuId`T`u;3jb(2Qsw^IAj?wMhxK{9|27`dF<^?p3C?XhC#^b?h*DMIeYA_ z)o0IuGR{%v=PKkV;Z}rhX3I6?i5!r=M~Sgd=yU!yY~6TpYFzI4-_-@fT-)25K3#`c zWv!@(I}wN}O#l<?fNU#-_k0Ah0ND!t2>?A@$V^0zvJO+#zNTHc38csuC1RDlK zSWZD#D58s)0EXZok_s2jK1$~*hY2_pnW=%pm$-$usE z&A(r%&a{^_7z}WzrF72C4)7FW1tFLlv&ev`c>yR-^ zNTP|$Y`BudOg_qH+7tMC4OQ@XI+e?=uS4M{Eg{9)vkTxk%@}v?=yF#fDt2WTD#lO} z=UbY=>OlLaTqlpKIZjKw6;u?9Gy0mn@-Nm;LVZ4HZAb3wtut_|7`jWmu}(E^_vA6+ zttrrErKj5eb_|$9hL4nd+|$Nayb-9kBrj3K>u*KPhbv0?Xy@UZHso`>{NcGwL(Gj> zWC+KJO#>i$keVHb5-^n4UxuHM;!#b!Ic8&1#jG9h*emdoq_iNy=A=GuVS`UX?!Xrv z3_g+{bHt`px!>WeT(=8V+!A3^NG(B}F^XJiFe@!Yyb51&Gm47HlwgB~6%s?mf44!g z)yEz@6yaK^>a<6t(qmf|W+`q5`Hs>{PZBqP%m6^2Sv1<|rw^_w4kTs>kRdM%5u2By zB7vwtESnqt0==eCSskT4BA>%@Lba3&=Jv=7XWp!?Nss^Daxe^M0A1w)%d=haqXzCR zjPL<q-_4~Gkk|~ zWhs=uC0OS}_BtH=`@W`fd&kIkyQuA577OT5cR0}hh4MxwlaFMFOPXsi+bqXjxa#R145bTXS4qO30Y|n)}u=I2W#GSjc5hApi1&-vb7z zO6IuP^Zst`u?G{iLgt0(C`dGnLhI!|LX#rhUzmhhKpfhiaN=9mge-ZKLSxy>Nzl0M28wzL!+5X4D@ZN7LN$xXBw za+M@A5SJ(kpF0rO+l!ylB(Fq)c?qb$ET@nySS&U_HP63$mMAk&`b*7~8{qHx+!PJAS%l-q90;JvW<0384b8TsdP zafluiFqDr&^Pkw0B!xb%DdF;m22v)H^#gl3(z84FrL%U!bgB({bBL0-l9ZDaL|3?y z7((U^d|V&#cFs6Go(7}K)0V^cUfDue>MQ=k=wD1Q5ZIP?<43gsL-*Bcmk{~rtIWnu zZ8MLqd=uAE*60yd2U=@?tq(wIer@%Gi&pV;HwHbSjiA63GK ze%AQ*FC#zP37%nNQozEz)xJCuMw>fP`UarA+O)n_^>HYE`!Q|G4jD^hGf6G0Axby{6)sjJYEDqfAgyQF zm(bCy@{(3Hfs8pS5=v0)M)sIrDXOWET;^@X78e_1*Rg!4VrJB3H_vJWp|~4rKhTA$ z6;W4WttegAX;!M)#nQu7#MQ)A#l_`P8xEbWG$Q(c>iWvSsFI~^CJAwOcXyeIJ8^gS z5O+7o#9fI@h!A%ru0Y&{cml-T4MO}IcJJ=J%YN_qHC^4+^;FxL(_LM~LW5FV0=)nw zP^f9Gn|V(1b&*MT^+6SEa&a~A?dnr-jSFs<_rc1?z!Hus5+Bd8)E76!4DAdIuKOOl zO7AZByLm%1Aub$*PZRSm1~*LfvX{!)>8yUbUbhFW5ag{)N_7zozf>iOT6_L3HZMER z1k=>En0iWU+dZhA4cXTH`3JFmnsrGKxcbA!W1=9`1gfW8kdzrKdW7<_^OJx8x)(2M z8Yo8)Ibli^c#0UXBO4gX^Don@bgpU@a-z zj8YzltTb8mBDnKeCV_bGJfa+f ze9pZ6XxL5W=E<*|4=II53E<@=qD#?C1MLR0;~5Hy5-I}Oc@#sjgXL=9lcMs3p@iJd zrJr8*2fGgewanRpJ3+Vc6YAM^cX9utDLg>y4$1*F#no`a=UBt zRbo@dZGZk=avQS^?5nNqHrOH!V7YgfqBVAMF>{K3GZllwMUDS@n&LqRf&CVW| zOo-d4%b0rYeHhX=_X{oPQD_Qcomi)q(d~H+SmGwwv4w(ln*+_4#HQft(NlUuR(7>RXhpk5hhSL_%ZccnJ}&u51M>~kKMNcYwiN?Tg^xczzIiIT<>C?t)g;XGOlr8P zZz``-Dk0j44I}hQ3l}~)I0iQcrUUzImyi^mtd<_wNC1xB3n5FLn%q}C$YDW)6i7ufA3!BpJO>m)*3j zq~PV!NIUp&6>VA6!osT-jqaFl!m-u6dVPPSQIP%aYBx7m^x@j$C?xmB($Ze2aTRL# zE_i~p9A1D^U@VhhLUMLmiAnO%=p}_2$)LpAki;E&FzJPF=~B1oFJ&)NL-)q@bNWsG zlB%2G7(F{DhqL`sEJu3U$DbBAbGa_29sYN`M#A80{mq-p_}rW?W1{9yW{|~FU|Pkq zy}W^(8FdvFS0f&xm_h}AO6#+T`NIVH7)I=+5Vx$!YJY9iud3xG!`p6|QPG)WNVLK9 z8OCt1bSa}pROHK}TU;14y?dN9oDEj2XhFxi-xAhzJ&mWqy2rt=WC>M!503P#CsRLS zHOIlZ7dR6fM(MN6mU zq{Bus42t-yj3)03T9-QlyL20k%#A-jM0nl&5EOa*F1@_=;!)5or$Y@*U`&J8-yfTS z&faJp*B43kbM)u%38a`f1~2A3Oa}V0ye({SQl}?J>KN+U0hdV2tYi z1HKgsJx1`yNQ3%x@t}k8LOhE;$HtH|@$aM<@Fon=7bu>143#Tn*mL4=*xlXAPEsbF zfwAv|c`9$_XKdhPc`!Oon+yA^)cO@gNQT8?+Ty@?v)`v`+WD5%N5wVH1(vc46D#>Qe4GclISy)wR1LS6@GMr!xCnTAia*>V8z~ ztna)jD$|Pd&F&hld7ryDJh)#yIg#Tce7D^u{?!}CPZ-WGu6+-QU`{wGb;#t=D;&8! z0eext9q@ej2OqF(xkg$H!?Dr-U64%{m|}Y#DAr4M&Vftppl70dxh>8F zB3jas`lwQ4u`(~#oYk4)zY&Mj+;t<0Vcwefc=kFuFjI`(d^zl9?fm0RS37#;!b_TGK9d%UPUm9==x?LeDn^vlONXI66b@)bmUA_jZu6Df& z|4=!Cc^K3QYk8`75mky7?PbwOL4=2f#igQ->#n?``=WDR;hnF5g$94cBF!76DQ5H; zqmQS1pT(7m@kujPnzmpKeA(^^*U8hiw2YPLhYuupfNKbE2)7y;!!_EW#ssFWQ8L!J zTh%PYmyg+{D*+e6bBWA*U-dM>njRtEd++;%Johudnv@E**M1OL-@AXe+T16>w0GGf z$DrD1Rsi3oQ)D%SexA`2E^o`p$n^>Elc`3X}n@3Lsfvsj?;J| zeXbmEIl(98Fh`@RTya*~{WgZms{>X~*CRDysFd-l@w2*1((82-M8DoT@Fet3XoZ>& ziJa_bylRWFYuAl)iac^xC&cdwp)Cm#rf%6gQ>|Qv2pDBVeg*mKQjZglL{7_73WAXn z1=>!_*(WFF6b*@stBZs0PBJMpH+@hp#G4e^w~a*_e46gLCXtYfSFUF6gaUnb_Ic*x1>Fd5mgJUv1NnmuA?TiKl<( zp8>|p3u^%ONPongJ> zDI<)e*TmtINoPjky9!cZwN<;Mrd6JkQkMj=5gmWjo>Q?9@5Ux;yS^<=b26!Wzzbdo)63W;jdt+Y@hRDp+R+&d&bZV| zuf#)Hq7v5`Gh{L4jGC+}aJnHi>zmvekwR4vv$~ORAI)c9IupCWCLDiPkuYZkF{@PW zoGf}JZR9qqx(w3+4y<>Y=}gIb7@VbpYTpwDuV&Q)I&ZhD2OXBab-5gUiS6E%WN&FB z*ZEetQv!5Bz9j~Oo<3haw%klAJ_$UXKMdXv-aie4r5rAK*#H}}U5J6r_@iM-MykSS z!I*K{lAJo96-`))()Y?FsJ!12#7F4l(|>%bO4q5FmvL$eV|k^9ESMRk&5qgxYUnk7 z>9n^Sy|5B+`tnkNYT^m@)t2h&0Pjo)&B5Yn*^NMrHpLY9R4x>KB(9y?FzvnQPBEj! z`>S|hl*QEx^}*iT2iLfBwWH*MbYOlxEv8K>(A4>9Iu+x?$6Ip=?Z|dPb~eJ7uCWoj z4Jm}a_n%aRMGK7BK5B*p$li-Oi82TqZz1NysYu3%Kjpm`8;LSst8Okt|u1-R*_V zy)EpF+!7R^Bc49wj=S70N2L&#PQ5*!MBSL)E~(o{xTKLT{One-uupv&HDf>(r&K=H zJh@KKh_&AWkucp^$6*ki`7PN8fBzeYc}M}-yVeR5aN{k?J`r!bK;o$JguCl89%HOl zp9JatiTp-!t8MK|c2M^-n%qYnFy*>$UEP;TlT0MidQBJrJY_U&bRzY@V0K`Pvt!318{+aY}qvPMQ=Q|&xu^Z6!CfQj{KL*~Q(9!ighECvmC%@L^41Kt-%{t;W7GIdAYZU%) zvmg4Une5d=ZO1kIE4~dr6f4FzsH&-JQrRImY_2sy*l++w)fBnTqIq=K=SEeM!a*el zvr^!t^{MFMy2_j7((JF+Q9|p+UF{==&Gwsx(RYwzArI@-`iJP~Q?C)Ym+g-n&K8$EUJnrh zHy0)>veop7o7MOoiKpiI9UYl&diXM`J$VT@G3MOOtc>V--(U4o=(3tl!cT>+e${_( z@vZWR_bz{qwg`Gd(ZEYrC6h*N!NbFr-sQj?}|8+ zeS1xL!c&RoGdkr9_?o%PM~LWQ;#H@Yz-Ytj%&G4qHUiX0TdQ}tnBN%cMZZE&E@iW3 zYlYg?iF6kf2r|75@VsgFLR?CNXi4SDX<|Lp)-r-qjLpQZOeeLQKQ;N`NoLYdmxT~% z+1)bCy`OXBH5}gQuhi3w5jNwu;uGu(|m-RMCc@bM<4{k!Q z@GV&95R6@LK9ixYH&{C2vY?KZ=U&FyG%Q!}=e2E^EzapWxpGi^%@fwy~=nM7YA zZ|9!Lt}H*Zn?#z~yDg5MOS2UvpplSWII8Y`^{KJG`WPj51 zV4X*KN{JQ-6_9@3eP|hmiwrrx_cib2HzDRoTquWq;*+fAJj-Jf4A$XbC4{YHzgUOC z=o02{xU9=x%0a+~K+@A|nb?dkXQ~aw9%g6zj35|!ABWOk-B(E+NQiw@qPF;h?33`Mhu-$M#zH z`du~ek#ea-DPna`pwC3h(+Y9i0y@!l`BKh`=&*R20OMv58)lwk^OC{LtAw0M9lI2}_ zr<=KP|E9x9XD2b`H{;-*le&zF+%s%#k{9-5rvsffRiKai zaq%(DM056TjpOF)@}8a59npJ!P9SF^6<4Y!H<4g$b2H_ds5R<(!6`68C32#}FlD25 zQz3yrB#~4kU_K*xyDQ+n-cqJ*P*c=$kVE9)a`e>E1P7;SXIp6d2JevlYuT$3ix1bO zD2Jiv0w>$=*6|%~!wkE}GlELHNa~jC%frMxIN}YB$oH}$yq#EW+Y2OPPHK+ht)c>rt^$)gu*g+q9j zib9?%PFbj!QL~#-_|mwlYf6^sty(<%?Htg??n;gM-lE8cvj5!=?sky;IJ@hNNo2r} zR=&gzAMT_Ff7Z%!AzwYmtr^_pR!JD?YctxNz$69RHdye*LKzs8A=HTdQkp=5hDtJF z*1Y-Iusew{{dj~@TLb$n<9dEj`yeFBoV|uTr+A6$O~i(huf1@ev+jFCg!dOz9zG|{ zI2!k2l2C(1hZ`)unv)rVfbSG8N8Yi02qOv(nKJlIMyF{&&3u!SkQVM`N9-ygEIayG zO^?a|y6bAm*OcHH|2>NB$)xfvULq;gP0;~c;e~Y*4XzWv^o>A6s^-MXCqu+*2IBV- zCUQET_Z#6WA>X&)Y`T3I_FSvRg@c=tH-Ab~?X|kK{!mB_pV2+ zcIRpfLXe0v(zcR(GwgaH+9va5TEY|So5IJn2-m}In9w|Mrs~e%x_Tc4u90N$*@vOn z&_3yn1r0+c(@dIUNX;m{fId051zv%p?uY5Y1C*;L&Q?@SG_;5;s*)r+ zDlm!@*>dj?Q7N$)Z=k~)W%ij^Vup5)YB?cp*g~?Zr6lGi0|sH0al-twpE}fqSf{BA z<{c)Nxb|7#g4!C4W`X;SN;492{|T|#0o%w|B#yBe#hlZzWAq+F78j^*W!_1iOb)J8 z57U0-lB0AE!E=0*P#wKU6TD@Sd-Ia~-DJ}6mVBygz^molv7Se=y15kLcv%?t_u=!x z$Ijd)44ZtD8!mt!T5>Lq%Cg8b!!So&NOz*qTJNU)!SrT^#koOR*6XLFM?6^jD!qY7 zKOY=PujP-wo$kj?m6hSbTh{9P?raE<_z7x|fXM?vhK2hB`b8;KtFKlsyhd9jzOFpM z2&g`yRWfoEJT8=Q6(I!fQswulXe6&NzL6(qco^cmh@ub2EfR@B6=xSN>1U-$>e!Sg zPhihW1*5e>zEHR=Kv3z{`6tA$ZeI^!rfP`lR294@ClCFZ(4WB?7e|AG`CXrpXaP_Y zwfv)+g5@f%m{%kECNv(`?nyP;TuAAz2@~Zpv#DAB4)jL(CrL%qiyseDx_kRYR4ari*Kr#b^2iwtZOx z?5^qErMZkfrKqCnYp9`#MA;@z_$q@vtFB)XyUP`R*3B}#8d`&eXMptFL62?D*h6u$ zB*Wn02Z=~6&(K2)jMu%v42zawu{y2oHW)hkv?2 z9zu|#7CctAhveYel#yJRPbIw{QL;Yv-rDMbxKWv*)2= z86M$caY5UtG5Fo}yAb42LgA0N>C5W^VEFL-y0C6Z_(^U(&Q(fQ&YloK1>xPFH}DzY z)LffjKk`Q+cn_j6bIyQyM00PtvCJid3=oWUb3`f8m}{>m{LEL*@9e@}h$WmEV|hW{ zMbX~o*rCyVv`US=DX8?Egp+1pZM!(xaR=}};hgpob`n{JfA$xb+BIBvgQp=92IJ$< z3GYP662+NuW_QylniGcR>k#&saVq1%^ALI>!Z$|%9%#Y=`coev(t8w054Tdt4}@3! z9Uq=2Mf&(f=Bd(N4Ip$ib#P_yh@CDJrJUfecTrFk!LKA+rTLN1PsL%}UlBXmH*gg5-%8z@)pnikq z-45!Gm96t%6E^CW8V*~W@|5zI$hkhbm31BK$k56iel>>^Kyf~Q6h(c$G~ z3X}RMxu~?|jF6GaF~u;C`0H~dNJI6uoLEB%Qx%kOrFfz&Fo!8&n54EOTG_M_C!c4{ z(JpFq+lO!-5m-M*33M?x8%WFY=nkXF7&AjYn;^8ujFaJn_az`MK+K0nL_1@L^CKt_ zN4#(rOWbA*jj3ienH29%<7Y(mT&K(ux1gl9OAa>c->Zs!=EH@rh}X(4?gj(I3sueY zYRqfRZod0?nb>%@`oNKJFQ%gb>-2|-R*~$VCR+co!D8_0L;TCxR!XhnFY~OF9dD`> z9dG78Tx{V2Kq*IFf7xbbLfvUW?XgnwdvU2K$N{IKZE-z#71?v_>_l)NdAKgd$fdhp?RxVb^UEQ3uGkGSw9}buFrhoUWjK4)@3GrbLgVXrBBEYBV=EpZgj*UYA zXsPS2?q>fcoeTcy<|o^Li$Gvy!-UrirAT1b`4{WZ)xpUxKm9y@cwCU2CZgSP2(QDt|y-onMspp z3Y#m?%l3R-L_8uUG4dn5ASA`Yd-XxPhw;;$x(Sz4g^h8?c0IFsJw@kB#C!2LgFXmV zuyp&@atYy7Gt9jt;Ae!nHGD{qQ=hB}9pS)jH++Ny^`Al1>(7&0%?u>ly>w=QdDly2 zhA_R>U3@k<$y$oC&p%d-0hbQiHcav6#LBzq!}JOsnGN0f%B@$jQh8*3PI5nZt#Byu zCQ6p7A-2u5!byXOMrlXy=yK~M*j+8+aBnO$-uQT7qA`oOsbli*vy2nPzv3 z!$pqURlhz%`W=%rdZT6PPwAD0Gp93qg3l%sv$j>cqa|RcZ&|FV1qElz-(#Yc)}7>W zl%vO4j91FU-|{i}uR;`^Y&$mii#P}^YDiI}NYuxl2l{CroBy-|CP_Pf;%sn4f}n8s zLOslDysCHY@RiZO^@PPnnPWVwwI09oZrTj6mt5}p>NbvCg(w^K5{~=aGuIg}{tf5x zkjXKlkcJSrZq+F^Q}W>@osyxHB#U>@?jC8@M0xFMfycp@1u#PN1AOT$#rhMNSL^|` z=k9qz6!?qYk_SVpMoyCJB2Gf&W)(h6!aTP_SA@<|U>H?OE_3DAE0(DEl&y$sT zB}gRCGKg_j7Fyj3Tui9l^85Nn$G>P80MHPJF@mNQo!i%m($}87^}7NlBB?^S!YRYj z&Ox;BaM`WhkpAl=dNbr{z03Pq;4>l(lwQKmLe5>DmVxHBsa>!&0$;|H+Cs)sQDJ8` zJZ84R*3X1n!ct!p&@{>1VxRp?pT|Io0y{cq+NEb4)>ExYYTy^>h(cFIzr#|AiafuMlP=KZi`D`}mV^rm{5y!Tm zFkmqcHn6@kh;4@oZ&L)b52lm~yc_QkI*14-kc+)Lf>d7G*S6QhWhwZEW%p&>>=p2P zB)F(Z%PfH1mAiFBc!)6n`WkGiHo%AQg#jbWXDj}Uzc=k$2xgBk?i5h8fG1#HAj!VdK|wM-G-yAS4eRRtH7J7I@gg(oyk6HLqVY=ILr}} zX*#*Dii!J(Gap)~@1_-ag!5zKVt(%T4Dh3j-@famB+*J-IeE#4RO0)11~s-71d4%) zR(9an>f6#bGxf5+bI04RGR)S0WOX#x|Is3iPbNf{#TK}fuE8tUQy@P9bBpR4% zzi0tVCZv9%G8BPe9ck^yT;7i^m`>0{wjDCMpwAzfKa;Z$``JM&9cY`Z7@>0UV>9-3 zCoiT^uJPge&|)+i>uX_W6JMgIM5->l%j;P34_p4bZTGgCW2?1&!qgD#5%}snT$dT3-SKqHB z*tdLIkU}}entf8SH*K>Pi@*_b;o3`dwaM|$e(CA<$agbslujzU$-B|X@6t{dRjuk_ zmgEdeRxuy?GHW~6{b;B}_Cz@mtZk>!C19d2cDWmRBL(7-eXt_>s1-!Fe8r9|;bs&V z%JGTdeFPgdi-KgygX$TI+uf{zuCX_pGlv7axyV#4XWvIma;;W{^2r?8b>!qJl}(ZQ z@}rSHYzx=768rEqFyW~OY_=8snKL<0BZ650xRzEWi>xE5tKJQDufyuW!5+hc1 zm3*$Jt6{IPjvNE>e&mKF?K-S}V4_T>aQ*;)my!Zl!Car~tT8rj>{SSG#fS4m6Fv7g zxW-u;llbCEA2XBsX8u!ZCG$!7PifLbGAhSYgL2}ggD*-7eUhWn7DTDGoKnaABL~?| zJi={hPKgc+tU^Zxt_5qKJwEi4`?oE4YMyd6iW1+eeo0ZSOvUa=VxjxXZE2X zTd|`tqERu4r6y4^zEzkVR06|S?c`ECh(=!EOMo&7^%?Qndzrg=@kgHU zhrFS-LlHcZ*@4p;D+0maOlZ2(UKSSlwauz7=x%=>;!KI?#DE)aSCyOm+KbZ=X7-E6MpICb0=YPdnFN!=n~Ohj4vPS%PAYK#qvY?CU{u; zZP<84EW+(Z;5T@XvM{(;E=wGHPT46nwhmJ3{kV8HdgW=a3)r&L$WdSniW?=OQy|Kj znqh7R;PCQzi{plbBIeZFa1^~Z?eV#MpN)dh4yQx3+bm{qZKhFUJKq4wb&_MJw6|}D zbS^Eg-O`WXue)*A>5B2r3i>GzOg}`Jt_j*p+)X|C)T`$AHmrw6#Sv2dj|5C#Vw+mA z%f6xK>(X3AiSJUvCFWwB%VG;8%cT0J! zfGqwKd6Jm{n8~1gMc60YMKcd;nzM&rZpBP6CY4Z5h>^qZ+~wd*#O=!SL>T6YSdzgx z8M0{fH8TNvL4SI>hJHl>WTbUcp-aRv%h^9Ez`vYQESsZa z4yZjjKTSxLh#cZZ0KiR2`a%8QuN(gV>+7a{4&&EH9s(RUKmQ+>9~$(pMW2K9 z#La~T5ow~`X6@6R?@122>5vGs29x)mF?R<%yMYgbeMS$W)|^RNq-IdFf5k>x=c%HS zH@nCvKq;M&DViKc7jQu6S3*yjA>t>_j7UmiCzEFFD1z@rEgCF2dFtR7ErTnXNVBCE z@P*$o#v1>-*=BvZu0{Y}?XFjw^%p#_fyn6H=IroRyru2et*ahysX5wOhRxSBLDF4a zsU5-&Thbvz(qwUGqW(|4Rv0XMd6mc)iKw38aButY>z%VM;EFK8rtfFVAgULEMHX_x zCHZvk?9s~5g*`{v*1q9W8%lbjo}J9XP$9ZD6&OU|>nRNAZ6?Ukj{ zFnH#%t{{+)ppc(@_YFi?p4b;$%{_*8#ek$SLlyNl(^-fyJ}e?>g4juB$+`+72d&^+ zj}x}=bjD6ZQ}FrS;(mTvml|TzwU?LVaroQ(ANfoLKi*?7q`y^1DOblFEpH-sMN554 z>)*FPeL0J(ezzE+cDE=v#(_=o4ov+NU)Dt_V~<>39~QfbqDN+S=#ss@LlBH(6T&w4 zMc|p_?sI-peoS$xJbT%}(}oTG&Ca1qV{innw1oLMZ*L^+3aNtO_yd{cj17GuwUjoN znForf<-r@P5#P9Gw5c7lDM1_{7G1>CD_mE0T!hvA83dl~Y2;n?$HTV~S75jBEZ%U2 zaXOpAYF*A*WV9RDj<{ernjmH2&&hb#&F8b_?>_U10zRjsjfHMEzaex2K=c>x@Ss3)k-7ce4?w9H71zY zK^Pq)dRCaN-;wRCih|G=^r8(uEo|vzLak5yJfBG@;9^TMs8XR~G6yWu&HD*ARiDQ3 zupumS{u5TD3HckBt#EBPrS+Ejz)}H3Xbul7;;wKyim95TW;L+nQpFR7|poKej;Amz~g7oQZ7UgAKAYT&5jUOdU0~a2? zT`h>I|E|x={!F^ElwSmV8v_~<;r$#(iuUz_tm}z=gk(Y%7cN6r_eXMStqb_5r}H%M z`z1PW=Qp#>S1p^0uSAR^B^Sh*3BP%?lLQLuTn&>QKb?OII(e6k_fTpQ>P)$B{keIv ze&eALXHtEO&(^dA$W;f(CZh`=!a~=KR3Ou$sye#uurQ4OIAs_PCaXy6rM`b3u+|bx zmu%&^_gIhc)LQnVjp-!^WolH+sAS0b16K#{cO0%$e9qvyn#v6;E^WA;tyLKruP%1a z2+`+Guk;e0RoV!gBj<&i;$eeCm0ez~i}+Jzv)U&lNcavs3pR(%N_hbHgY+i?qi<7W$>uy6l)=#N4E_mBxhogo!K4A9ex)UVRBk&|#mkmjy z+Z%G7tw0_A%sgHq5^#c3U9R8i)*$0=8l>;(|wl@+hL3rZU zgD*Pf!dkIymBHE#5f!@Fb8dF-F9_aCqs0s6{cNDDf_Zs-aTj0giL}ScvlnM3AW{Pn zu!JnT8J}B8^@88?!I0shKcEy%v(OGlJ3UaH5ThFCS3RC^JPjY$InXXh)=A!uP&gfD z4$dEjd;a7_>X7@M0Zd2fohcQ_fylR>IjMdp#QV+`XNblj+dw$NS1ATdR}2T;YJH9a zseu9f&u*E(|Mfnx-^GXJ=jZw38r`;zsmlx}CU~-xGb-Op$*EG<13;Q`5Z zFuovpbG}!=`j<_9Z|H|@l~oonS|^6=?&Q^V$7)U}>Q`{wi8}L^m42F|n~745PN_$8 zD|3+UG;%fbjp zyNs~DidRmI@tHwWN&i&MwE`X<#wb+PU44RE>v9n^tI9wLp=!ZPh3}B>f^}49wDQv? z;uG^IYj>5f>?#D_e%GO5FEd~oE8dbJtR=z+a#%U#@z7O6qIbh|ZD>>`V}8Wd!Q_xd z*|5f#CJ-WhY#v7Wu~qzXkDp-_$Q4ARBdLVi*SBY#s+Y+6MT@J{lMI~YMx^t6oQu$& zm>V6aV_FoedN@c!&3o#xO=*d<^hzaBl{&`!nVaJZiB^*JEa7r;uNRp}7J!aNE^1u& zrQ1qw)Yl?7=7p`0{-|t2UY2HcExBuA;G0)0Z{o0CU`go?^T2bfz78-J`_Zg2stzxT zMcjfGG_9-kfl~0+BrXG-EO5_+K~ZWWns0}>)H-n5-T3X@%K6I^<~n8kB*OXEqvg`_ zok}TrcZ_c`w90o84)y8#6S>c^xnDL{hB_29uAaZ2`+91*KB~fbmX6ViU0`CxwWA>r z*G$0@^Eq?n`5Zp~D>tTcqdPnwaEC&2TRHbT&|$ubv`QRrE6G<~Fy6xa$(pFMYwlNx zl9ojl_HWg;mxl)?x9?Qc@8qab>q`Z{puh1#RruO2d(6 z!vZlrUE{ktkzl;vq3vAko(knWs^VJF-<+8s&h?q+Un+agTMF~2Ow(_9hnD6;r+TjxWxHjdw%PqH`nRu1ruBk>=%(=uW;iSdZm!FT6 zch+%Rig&G+GCr%HTH@BzU#;?ff?72`!lWq6&ismD>fz~bl_JoMnnGBMo=gr8c}oDm z0PsM{2>>LV{|H?Q{1y2W8u1iaSQr_)`7Q6nNy+{9R=B(q7bUkq3i=WWM1T;00t4iR za1sJ=AyFs*bg-VPg}s%fC*>bCX#8SUGxzkga(AW#{(0U2rAYgF%4&L=ds$+h{MNrixFRD1d0MUr0WV=;fFOt)4HR}I3ILfw#?IXX3i{6*>rj3r^M52?xOhR4 zuyH|hNdZbJB-a>_KpFr774Xl~g%$azXDXOe4+CA zAyX7k2;*b`J{V}?7apsf&p>;k^Mid@+b3O?aJ|I=|6N( zgn=sit1_zp!v7=tzwrOW3*v#G&;rOHE|dTT=m88D6#x$l^mmPa3IIaZC;@5^JyHMx z=HFR=*2V+Tr2?o!!UzC(kZT$MHr9W;;Lk1tL5OJqB#=W=sOnO*0B(3rPEH;k5abmt zfSlyd-z=Qm44j-y|2rr^ynjT6X&I&kP{QErEAS|(sCdiSxU+EkzvOn(l7U`;wt+m+ z0~r3VJYfbvEp#RwF#wDaIXMM6c?6*{)foZY|4qd*0<2&_&_KgDkmpPQtY2SYgiHWQ zJkZ~RPSwlP(asrq!~_IFT$li~U=Tkt6!L!_N?s6%2SjO&_9qPl2U~ilc! z$0zU$CK$^7cen9y0R?_9$ivP1YbO0u2oF^A-)REee7}PR@^bx}7XRcGfcl~TFYT9n zPEH^v6ytx1|Di$W%kMNOz~5U71mxy|t}4HtzZC)U@^Ssn3*zMZU%`JcfOx>%|0V*t z1%5{j9e@971t^X8cflawzk46V3vKJ)0D^v1_=^VB|8LYF5QzWxaSVb^nty2m;{Ub! z{(An)%gf0PeOLZQh32W1T~j^3K*SlpttN{3j_zX~_8h mUlBz_m?;16tUvxxczBw-d-}RtStEn^p(_Y79i6nQ%>M%!#*-%i diff --git a/index.typ b/index.typ index 5a2d101..c8e584f 100644 --- a/index.typ +++ b/index.typ @@ -10,7 +10,7 @@ = Exercise 01 #let question(body) = block( - fill: luma(240), + fill: luma(255), inset: 8pt, radius: 4pt )[ @@ -139,4 +139,69 @@ We have the following Recursion: - AsignOp: { ";" } - CondTerm: { "&&", Follow(CondTerm) } = { "&&", CondFact } +== 02 Konstruktion einer Grammatik +#question[ +Geben Sie eine EBNF-Grammatik an, die folgende Beschreibung abdeckt. Es handelt sich dabei um eine fiktive +Schachnotation. Bilden Sie dabei beliebig viele Non-Terminalklassen, mindestens jedoch eine für jedes fett +geschriebene Wort. +Ein Spiel setzt sich aus mindestens einem Zug zusammen, wobei Züge durch Beistriche (“,”) getrennt sind. +Nach dem letzten Zug steht ein Strichpunkt (“;”). +Ein Zug beginnt mit einer Figur, gefolgt von einer Position (Startposition). Darauf folgt ein Bindestrich (“-”), +gefolgt von einer weiteren Position (Zielposition). Sollte durch den Zug eine Figur geschlagen worden sein, +folgt ein “x”. Unabhängig davon, ob eine Figur geschlagen wurde, folgt gegebenenfalls die Information, ob der +Gegner Schach ( + ) oder Schach-Matt ( \# ) steht. Ein Spieler kann nicht gleichzeitig Schach und Schach-Matt +stehen. +Beispielzüge: Ka1-a2, Qf5-h7x\#, Pb2-c3x, Rh1-h6+, Bb5-d7x+ +Eine Figur ist entweder ein König (“K”), eine Königin (“Q”), ein Turm (“R”), ein Läufer (“B”), ein Springer +(“N”), oder ein Bauer (“P”). +Eine Position ist eine Spalte, gefolgt von einer Zeile. +Eine Spalte ist ein Buchstabe zwischen a und h (a, b, c, d, e, f, g, h). +Eine Zeile ist eine Zahl zwischen 1 und 8 (1, 2, 3, 4, 5, 6, 7, 8). + +] + +```ebnf +Game = Turn { "," Turn} ";". +Turn = Character Position "-" Position ["x"] ["+" | "#"]. +Character = “K” | “Q” | “R” | “B” | “N” | “P”. +Position = Column Row. +Column = "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h". +Row = "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8". +``` + +== 03 Beseitigung von Linksrekursionen + +#question[ + + Wo befinden sich in der folgenden Grammatik Linksrekursionen? Geben Sie die Produktionen an. + + Wie könnte man die Linksrekursionen entfernen? Geben Sie eine umgeformte EBNF Grammatik ohne Linksrekursionen an. Ersetzten Sie die Linksrekursionen dabei durch Iterationen. + + ```ebnf + Object = ident ":" "{" Props "}" ";". + Props = ident ":" Value | Props "," ident ":" Value . + Value = "’" text "’" | Value "+" "’" text "’" | ε . + ``` + + Beispielsätze: + ``` + alice : { name: ’Alice’, greeting: ’welcome’ + ’alice’ }; + bob: { name: ’Bob’, greeting: ’hello’ + ’to’ + ’bob’ }; + test: { noValue: , emptyValue: ’empty’, plusValue: + ’plus’ }; + ``` +] + +=== Task 1 + +- line 2: Props is left recursive +- line 3: Value is left recursive + +=== Task 2 + +```ebnf +Props = ident ":" Value { "," ident ":" Value } ";". +Value = (ε | "’" text "’") {"+" "’" text "’"}. +``` + +#figure( + image("task3.2.svg"), +) diff --git a/task3.2.excalidraw b/task3.2.excalidraw new file mode 100644 index 0000000..5e340d5 --- /dev/null +++ b/task3.2.excalidraw @@ -0,0 +1,1637 @@ +{ + "type": "excalidraw", + "version": 2, + "source": "https://excalidraw.com", + "elements": [ + { + "id": "ooTHOjvM-YpLBDzR09WfU", + "type": "text", + "x": 184, + "y": 163, + "width": 55.79999923706055, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0m", + "roundness": null, + "seed": 1368180872, + "version": 11, + "versionNonce": 1988077704, + "isDeleted": false, + "boundElements": [ + { + "id": "mN2H4svI7ZdwlCLd_keaV", + "type": "arrow" + }, + { + "id": "4O1y_-YVyZLhb0FRx1GA4", + "type": "arrow" + } + ], + "updated": 1760191349595, + "link": null, + "locked": false, + "text": "Props", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Props", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "RpX3CNU6vM2JhrzMnotZd", + "type": "text", + "x": 311.0890851222055, + "y": 165.0091935262418, + "width": 133.96665954589844, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0n", + "roundness": null, + "seed": 1152208632, + "version": 183, + "versionNonce": 789338504, + "isDeleted": false, + "boundElements": [ + { + "id": "mN2H4svI7ZdwlCLd_keaV", + "type": "arrow" + } + ], + "updated": 1760191270720, + "link": null, + "locked": false, + "text": "ident \":\" Value", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "ident \":\" Value", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "mN2H4svI7ZdwlCLd_keaV", + "type": "arrow", + "x": 246.13648342865184, + "y": 177.3160022681783, + "width": 57.43177412903691, + "height": 0, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0o", + "roundness": { + "type": 2 + }, + "seed": 729212920, + "version": 48, + "versionNonce": 1236986504, + "isDeleted": false, + "boundElements": null, + "updated": 1760191270720, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 57.43177412903691, + 0 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "ooTHOjvM-YpLBDzR09WfU", + "focus": 0.14528018145426194, + "gap": 6.336484191591296 + }, + "endBinding": { + "elementId": "RpX3CNU6vM2JhrzMnotZd", + "focus": 0.015455300645078893, + "gap": 7.520827564516765 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "zkAHyg7kYfZ9Ln7V16tg0", + "type": "text", + "x": 317.2424894931737, + "y": 229.2780836230212, + "width": 223.13333129882812, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0q", + "roundness": null, + "seed": 341920760, + "version": 32, + "versionNonce": 508188296, + "isDeleted": false, + "boundElements": [ + { + "id": "4O1y_-YVyZLhb0FRx1GA4", + "type": "arrow" + }, + { + "id": "OnKSkkbbjWkh-ci2dIIMp", + "type": "arrow" + }, + { + "id": "FPlLov0-rAQIbrb9XA_eZ", + "type": "arrow" + } + ], + "updated": 1760191496003, + "link": null, + "locked": false, + "text": "Props \",\" ident \":\" Value", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Props \",\" ident \":\" Value", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "4O1y_-YVyZLhb0FRx1GA4", + "type": "arrow", + "x": 246.13648342865184, + "y": 194.40879218753452, + "width": 61.53404370968241, + "height": 39.6552726129064, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0r", + "roundness": { + "type": 2 + }, + "seed": 945261304, + "version": 48, + "versionNonce": 545871752, + "isDeleted": false, + "boundElements": null, + "updated": 1760191349595, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 61.53404370968241, + 39.6552726129064 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "ooTHOjvM-YpLBDzR09WfU", + "focus": -0.10350130008710122, + "gap": 9.015951755631045 + }, + "endBinding": { + "elementId": "zkAHyg7kYfZ9Ln7V16tg0", + "focus": -0.8335821384520133, + "gap": 9.571962354839457 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "Vu17GN6KxHks2auX0N3mS", + "type": "text", + "x": 639.9543631706196, + "y": 227.91066042947276, + "width": 301.29998779296875, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0s", + "roundness": null, + "seed": 752175096, + "version": 71, + "versionNonce": 1040444408, + "isDeleted": false, + "boundElements": [ + { + "id": "OnKSkkbbjWkh-ci2dIIMp", + "type": "arrow" + } + ], + "updated": 1760191417278, + "link": null, + "locked": false, + "text": "ident \":\" Value \",\" indet \":\" Value", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "ident \":\" Value \",\" indet \":\" Value", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "OnKSkkbbjWkh-ci2dIIMp", + "type": "arrow", + "x": 547.653297606096, + "y": 242.95231555850626, + "width": 84.78023800000688, + "height": 0, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0t", + "roundness": { + "type": 2 + }, + "seed": 1473466616, + "version": 49, + "versionNonce": 89131768, + "isDeleted": false, + "boundElements": null, + "updated": 1760191417278, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 84.78023800000688, + 0 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "zkAHyg7kYfZ9Ln7V16tg0", + "focus": 0.0939385548388062, + "gap": 7.277476814094143 + }, + "endBinding": { + "elementId": "Vu17GN6KxHks2auX0N3mS", + "focus": -0.20333241032268037, + "gap": 7.520827564516708 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "J2GJM-EfQxQjabzGMG9Y0", + "type": "text", + "x": 648.1589023319106, + "y": 292.8632621230264, + "width": 390.4666748046875, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0u", + "roundness": null, + "seed": 1536863624, + "version": 84, + "versionNonce": 1530497928, + "isDeleted": false, + "boundElements": [ + { + "id": "FPlLov0-rAQIbrb9XA_eZ", + "type": "arrow" + }, + { + "id": "J_Wn7rV54u3G-vgOzdCOT", + "type": "arrow" + }, + { + "id": "VGzNgz1jHvfd4BDzVvH_t", + "type": "arrow" + } + ], + "updated": 1760191652148, + "link": null, + "locked": false, + "text": "Props \",\" ident \":\" Value \",\" ident \":\" Value", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Props \",\" ident \":\" Value \",\" ident \":\" Value", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "FPlLov0-rAQIbrb9XA_eZ", + "type": "arrow", + "x": 547.653297606096, + "y": 259.36139388108825, + "width": 90.93364237097512, + "height": 41.70640740322915, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0v", + "roundness": { + "type": 2 + }, + "seed": 572123784, + "version": 39, + "versionNonce": 382616968, + "isDeleted": false, + "boundElements": null, + "updated": 1760191496003, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 90.93364237097512, + 41.70640740322915 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "zkAHyg7kYfZ9Ln7V16tg0", + "focus": -0.5799331364818409, + "gap": 8.880404460101001 + }, + "endBinding": { + "elementId": "J2GJM-EfQxQjabzGMG9Y0", + "focus": -0.8784306678295771, + "gap": 9.571962354839457 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "CWt8OxHzIJGGCTayeKn_2", + "type": "text", + "x": 1113.766499735175, + "y": 289.4447041391551, + "width": 468.6333312988281, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0w", + "roundness": null, + "seed": 2036023688, + "version": 85, + "versionNonce": 372934648, + "isDeleted": false, + "boundElements": [ + { + "id": "J_Wn7rV54u3G-vgOzdCOT", + "type": "arrow" + } + ], + "updated": 1760191588972, + "link": null, + "locked": false, + "text": "ident \":\" Value \",\" ident \":\" Value \",\" ident \":\" Value", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "ident \":\" Value \",\" ident \":\" Value \",\" ident \":\" Value", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "J_Wn7rV54u3G-vgOzdCOT", + "type": "arrow", + "x": 1046.7627632512992, + "y": 303.80264767141443, + "width": 61.53404370968224, + "height": 0.6837115967742307, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0x", + "roundness": { + "type": 2 + }, + "seed": 2106780040, + "version": 38, + "versionNonce": 1730815736, + "isDeleted": false, + "boundElements": null, + "updated": 1760191588972, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 61.53404370968224, + -0.6837115967742307 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "J2GJM-EfQxQjabzGMG9Y0", + "focus": 0.04765462368625593, + "gap": 8.13718611470108 + }, + "endBinding": { + "elementId": "CWt8OxHzIJGGCTayeKn_2", + "focus": 0.09865654384945934, + "gap": 5.469692774193618 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "NPuTJTyp8_APAhBeO9rxZ", + "type": "text", + "x": 1122.4292050749573, + "y": 358.57181394512395, + "width": 557.7999877929688, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0y", + "roundness": null, + "seed": 146991864, + "version": 97, + "versionNonce": 1331841416, + "isDeleted": false, + "boundElements": [ + { + "id": "VGzNgz1jHvfd4BDzVvH_t", + "type": "arrow" + } + ], + "updated": 1760191652148, + "link": null, + "locked": false, + "text": "Props \",\" ident \":\" Value \",\" ident \":\" Value \",\" ident \":\" Value", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Props \",\" ident \":\" Value \",\" ident \":\" Value \",\" ident \":\" Value", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "VGzNgz1jHvfd4BDzVvH_t", + "type": "arrow", + "x": 1046.4324001072994, + "y": 326.11484515685345, + "width": 66.49720434670076, + "height": 41.95656940922771, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b0z", + "roundness": { + "type": 2 + }, + "seed": 1224248824, + "version": 68, + "versionNonce": 974051976, + "isDeleted": false, + "boundElements": null, + "updated": 1760191652148, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 66.49720434670076, + 41.95656940922771 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "J2GJM-EfQxQjabzGMG9Y0", + "focus": -0.7912349947175604, + "gap": 11.362893578347432 + }, + "endBinding": { + "elementId": "NPuTJTyp8_APAhBeO9rxZ", + "focus": -0.9495597610335218, + "gap": 9.499600620957153 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "NaiSkK8n5mFw4cDaECMJK", + "type": "line", + "x": 1697.6269268115132, + "y": 404.81313967250566, + "width": 1525.756051914124, + "height": 2.2737367544323206e-13, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b11", + "roundness": { + "type": 2 + }, + "seed": 1107983096, + "version": 114, + "versionNonce": 1915884536, + "isDeleted": false, + "boundElements": null, + "updated": 1760191801573, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + -1525.756051914124, + -2.2737367544323206e-13 + ] + ], + "lastCommittedPoint": null, + "startBinding": null, + "endBinding": null, + "startArrowhead": null, + "endArrowhead": null, + "polygon": false + }, + { + "id": "1mdEY4muRoEfbjg8zGFMI", + "type": "text", + "x": 183.13923313397996, + "y": 435.44910987847186, + "width": 48.54999923706055, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b12", + "roundness": null, + "seed": 316741256, + "version": 12, + "versionNonce": 1251429768, + "isDeleted": false, + "boundElements": [ + { + "id": "6n6twIxvZ1yed2ouiiXhl", + "type": "arrow" + }, + { + "id": "F6hePFn9pvpM1nJQzbhP2", + "type": "arrow" + }, + { + "id": "Du5G3HM9FtRDu67tp_daD", + "type": "arrow" + } + ], + "updated": 1760191947268, + "link": null, + "locked": false, + "text": "Value", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Value", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "-dGpj_oknQcoSSWD4tcAN", + "type": "text", + "x": 303.70966524501193, + "y": 433.7745205435963, + "width": 102.51667022705078, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b13", + "roundness": null, + "seed": 892084472, + "version": 103, + "versionNonce": 1479218568, + "isDeleted": false, + "boundElements": [ + { + "id": "6n6twIxvZ1yed2ouiiXhl", + "type": "arrow" + } + ], + "updated": 1760191957310, + "link": null, + "locked": false, + "text": "\"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "\"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "N9P4HhDu13bADdfhtaB9S", + "type": "text", + "x": 309.84982613955515, + "y": 481.7794148100255, + "width": 192.89999389648438, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b14", + "roundness": null, + "seed": 574910600, + "version": 158, + "versionNonce": 110448008, + "isDeleted": false, + "boundElements": [ + { + "id": "F6hePFn9pvpM1nJQzbhP2", + "type": "arrow" + }, + { + "id": "drhsnUeztY6auqt9gbLUs", + "type": "arrow" + }, + { + "id": "mP6QnKmlciPkT1WwjsDTU", + "type": "arrow" + }, + { + "id": "QUUvzn1iQTjhJkPN4cgih", + "type": "arrow" + } + ], + "updated": 1760192077779, + "link": null, + "locked": false, + "text": "Value \"+\" \"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Value \"+\" \"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "iAQ7x8JEIZdYB9nSnwf9T", + "type": "text", + "x": 576.1095303847508, + "y": 576.6728104529673, + "width": 153.9166717529297, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b148", + "roundness": null, + "seed": 463961336, + "version": 202, + "versionNonce": 70617992, + "isDeleted": false, + "boundElements": [ + { + "id": "QUUvzn1iQTjhJkPN4cgih", + "type": "arrow" + } + ], + "updated": 1760192077779, + "link": null, + "locked": false, + "text": "ε \"+\" \"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "ε \"+\" \"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "uH9Ld3XxvAqnBl32AvE-p", + "type": "text", + "x": 566.6201908204565, + "y": 482.89580769994245, + "width": 246.86666870117188, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b14G", + "roundness": null, + "seed": 1010704888, + "version": 202, + "versionNonce": 1559074440, + "isDeleted": false, + "boundElements": [ + { + "id": "drhsnUeztY6auqt9gbLUs", + "type": "arrow" + } + ], + "updated": 1760192068823, + "link": null, + "locked": false, + "text": "\"’\" text \"’\" \"+\" \"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "\"’\" text \"’\" \"+\" \"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "wdEB_vBhk3kSxUpMTBf7A", + "type": "text", + "x": 570.527565935166, + "y": 531.4588984113304, + "width": 337.25, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b14V", + "roundness": null, + "seed": 1004616440, + "version": 257, + "versionNonce": 1416212984, + "isDeleted": false, + "boundElements": [ + { + "id": "mP6QnKmlciPkT1WwjsDTU", + "type": "arrow" + }, + { + "id": "8I8NgO2agPBsrzscmViHJ", + "type": "arrow" + }, + { + "id": "ERbKu9DS16CSBs10y4pWh", + "type": "arrow" + }, + { + "id": "kILwbRs2lDm9QAymrIAOh", + "type": "arrow" + } + ], + "updated": 1760192177677, + "link": null, + "locked": false, + "text": "Value \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Value \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "S4xcE_C7B2df3OclwnvGS", + "type": "text", + "x": 967.0831281134967, + "y": 532.6753265161719, + "width": 391.2166748046875, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b14d", + "roundness": null, + "seed": 1256587400, + "version": 304, + "versionNonce": 1478526968, + "isDeleted": false, + "boundElements": [ + { + "id": "8I8NgO2agPBsrzscmViHJ", + "type": "arrow" + } + ], + "updated": 1760192170187, + "link": null, + "locked": false, + "text": "\"’\" text \"’\" \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "\"’\" text \"’\" \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "SYyOXo8PySM9yrFMmUSfG", + "type": "text", + "x": 970.7324124280212, + "y": 572.8174539759416, + "width": 481.6000061035156, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b14h", + "roundness": null, + "seed": 787004920, + "version": 331, + "versionNonce": 1603253896, + "isDeleted": false, + "boundElements": [ + { + "id": "ERbKu9DS16CSBs10y4pWh", + "type": "arrow" + } + ], + "updated": 1760192173819, + "link": null, + "locked": false, + "text": "Value \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "Value \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "rarV6e4zvKh8iWR5f6n0y", + "type": "text", + "x": 973.7734826901251, + "y": 616.6088657502359, + "width": 298.26666259765625, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b14j", + "roundness": null, + "seed": 1584902280, + "version": 370, + "versionNonce": 732926968, + "isDeleted": false, + "boundElements": [ + { + "id": "kILwbRs2lDm9QAymrIAOh", + "type": "arrow" + } + ], + "updated": 1760192177677, + "link": null, + "locked": false, + "text": "ε \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "ε \"+\" \"’\" text \"’\" \"+\" \"’\" text \"’\"", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "FtH35svFXOVUmw3ZjsAis", + "type": "text", + "x": 314.3153976992231, + "y": 529.2261126314964, + "width": 9.566666603088379, + "height": 25, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b15", + "roundness": null, + "seed": 596163976, + "version": 173, + "versionNonce": 1332662152, + "isDeleted": false, + "boundElements": [ + { + "id": "Du5G3HM9FtRDu67tp_daD", + "type": "arrow" + } + ], + "updated": 1760191964802, + "link": null, + "locked": false, + "text": "ε", + "fontSize": 20, + "fontFamily": 5, + "textAlign": "left", + "verticalAlign": "top", + "containerId": null, + "originalText": "ε", + "autoResize": true, + "lineHeight": 1.25 + }, + { + "id": "6n6twIxvZ1yed2ouiiXhl", + "type": "arrow", + "x": 240.6334669647037, + "y": 450.84658847469825, + "width": 58.05243027568201, + "height": 0.49742645271379615, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b18", + "roundness": { + "type": 2 + }, + "seed": 816342776, + "version": 41, + "versionNonce": 1950295176, + "isDeleted": false, + "boundElements": null, + "updated": 1760191957310, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 58.05243027568201, + 0.49742645271379615 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "1mdEY4muRoEfbjg8zGFMI", + "focus": 0.2057043211103076, + "gap": 8.944234593663197 + }, + "endBinding": { + "elementId": "-dGpj_oknQcoSSWD4tcAN", + "focus": -0.42898289909372644, + "gap": 5.023768004626163 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "F6hePFn9pvpM1nJQzbhP2", + "type": "arrow", + "x": 241.05852324523875, + "y": 458.6241285516853, + "width": 63.209338444731884, + "height": 38.626847530965165, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b19", + "roundness": { + "type": 2 + }, + "seed": 1321620728, + "version": 72, + "versionNonce": 1561844472, + "isDeleted": false, + "boundElements": null, + "updated": 1760192001440, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 63.209338444731884, + 38.626847530965165 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "1mdEY4muRoEfbjg8zGFMI", + "focus": -0.3657507486107369, + "gap": 9.369290874198233 + }, + "endBinding": { + "elementId": "N9P4HhDu13bADdfhtaB9S", + "focus": -0.9237551684223961, + "gap": 6.698357339501513 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "Du5G3HM9FtRDu67tp_daD", + "type": "arrow", + "x": 238.2393565895046, + "y": 468.9366594113515, + "width": 65.4703086555075, + "height": 77.69967444419575, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b1A", + "roundness": { + "type": 2 + }, + "seed": 2132241800, + "version": 101, + "versionNonce": 2130419336, + "isDeleted": false, + "boundElements": null, + "updated": 1760191964802, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 65.4703086555075, + 77.69967444419575 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "1mdEY4muRoEfbjg8zGFMI", + "focus": -0.38156376107984624, + "gap": 10.724572477342804 + }, + "endBinding": { + "elementId": "FtH35svFXOVUmw3ZjsAis", + "focus": -1.2738165566718744, + "gap": 10.605732454211022 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "drhsnUeztY6auqt9gbLUs", + "type": "arrow", + "x": 512.4751356594838, + "y": 492.38514726423693, + "width": 48.00489426642946, + "height": 0.558196444958412, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b1F", + "roundness": { + "type": 2 + }, + "seed": 458010248, + "version": 43, + "versionNonce": 1111476104, + "isDeleted": false, + "boundElements": null, + "updated": 1760192068823, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 48.00489426642946, + 0.558196444958412 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "N9P4HhDu13bADdfhtaB9S", + "focus": -0.22970021956591358, + "gap": 9.725315623444317 + }, + "endBinding": { + "elementId": "uH9Ld3XxvAqnBl32AvE-p", + "focus": 0.06787061543412386, + "gap": 6.1401608945432145 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "mP6QnKmlciPkT1WwjsDTU", + "type": "arrow", + "x": 511.35874276956696, + "y": 498.3220709370247, + "width": 51.96228698860085, + "height": 43.86535269372166, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b1G", + "roundness": { + "type": 2 + }, + "seed": 514040, + "version": 61, + "versionNonce": 1785660040, + "isDeleted": false, + "boundElements": null, + "updated": 1760192139216, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 51.96228698860085, + 43.86535269372166 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "N9P4HhDu13bADdfhtaB9S", + "focus": -0.899790589440471, + "gap": 8.608922733527379 + }, + "endBinding": { + "elementId": "wdEB_vBhk3kSxUpMTBf7A", + "focus": -0.9500290436232276, + "gap": 7.814750229418792 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "QUUvzn1iQTjhJkPN4cgih", + "type": "arrow", + "x": 504.66038543006516, + "y": 515.2712015075347, + "width": 62.51800183534988, + "height": 73.68193073451948, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b1H", + "roundness": { + "type": 2 + }, + "seed": 807821704, + "version": 39, + "versionNonce": 1218600072, + "isDeleted": false, + "boundElements": null, + "updated": 1760192077779, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 62.51800183534988, + 73.68193073451948 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "N9P4HhDu13bADdfhtaB9S", + "focus": -0.7524034718534994, + "gap": 8.705856597409147 + }, + "endBinding": { + "elementId": "iAQ7x8JEIZdYB9nSnwf9T", + "focus": -0.9787435168288029, + "gap": 8.93114311933573 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "8I8NgO2agPBsrzscmViHJ", + "type": "arrow", + "x": 916.7086568084676, + "y": 542.7112733492313, + "width": 41.259231753104814, + "height": 0.9823626607882261, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b1K", + "roundness": { + "type": 2 + }, + "seed": 234235784, + "version": 34, + "versionNonce": 1842358008, + "isDeleted": false, + "boundElements": null, + "updated": 1760192170187, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 41.259231753104814, + 0.9823626607882261 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "wdEB_vBhk3kSxUpMTBf7A", + "focus": -0.3315283380522067, + "gap": 8.931090873301628 + }, + "endBinding": { + "elementId": "S4xcE_C7B2df3OclwnvGS", + "focus": -0.19773928263102072, + "gap": 9.115239551924333 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "ERbKu9DS16CSBs10y4pWh", + "type": "arrow", + "x": 915.7262941476794, + "y": 557.4467132610545, + "width": 46.17104505704583, + "height": 29.470879823646214, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b1L", + "roundness": { + "type": 2 + }, + "seed": 514642312, + "version": 81, + "versionNonce": 1990584200, + "isDeleted": false, + "boundElements": null, + "updated": 1760192173819, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 46.17104505704583, + 29.470879823646214 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "wdEB_vBhk3kSxUpMTBf7A", + "focus": -0.8259082662720157, + "gap": 8.010973311622939 + }, + "endBinding": { + "elementId": "SYyOXo8PySM9yrFMmUSfG", + "focus": -0.9683490671072499, + "gap": 8.835073223296035 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + }, + { + "id": "kILwbRs2lDm9QAymrIAOh", + "type": "arrow", + "x": 910.3232995133442, + "y": 565.7967958777542, + "width": 54.521127673745696, + "height": 60.415303638474825, + "angle": 0, + "strokeColor": "#1e1e1e", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 1, + "opacity": 100, + "groupIds": [], + "frameId": null, + "index": "b1M", + "roundness": { + "type": 2 + }, + "seed": 1839183864, + "version": 51, + "versionNonce": 1766896376, + "isDeleted": false, + "boundElements": null, + "updated": 1760192177677, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + 54.521127673745696, + 60.415303638474825 + ] + ], + "lastCommittedPoint": null, + "startBinding": { + "elementId": "wdEB_vBhk3kSxUpMTBf7A", + "focus": -0.8419051833378127, + "gap": 9.680761051310565 + }, + "endBinding": { + "elementId": "rarV6e4zvKh8iWR5f6n0y", + "focus": -0.9690451407260857, + "gap": 8.929055503035215 + }, + "startArrowhead": null, + "endArrowhead": "arrow", + "elbowed": false + } + ], + "appState": { + "gridSize": 20, + "gridStep": 5, + "gridModeEnabled": false, + "viewBackgroundColor": "#ffffff", + "lockedMultiSelections": {} + }, + "files": {} +} \ No newline at end of file diff --git a/task3.2.svg b/task3.2.svg new file mode 100644 index 0000000..04618ed --- /dev/null +++ b/task3.2.svg @@ -0,0 +1,5 @@ + + +Propsident ":" ValueProps "," ident ":" Valueident ":" Value "," indet ":" ValueProps "," ident ":" Value "," ident ":" Valueident ":" Value "," ident ":" Value "," ident ":" ValueProps "," ident ":" Value "," ident ":" Value "," ident ":" ValueValue"’" text "’"Value "+" "’" text "’"ε "+" "’" text "’""’" text "’" "+" "’" text "’"Value "+" "’" text "’" "+" "’" text "’""’" text "’" "+" "’" text "’" "+" "’" text "’"Value "+" "’" text "’" "+" "’" text "’" "+" "’" text "’"ε "+" "’" text "’" "+" "’" text "’"ε \ No newline at end of file