From 4d40b32a1b12d84f1e18aa7541623f981e9e1b6d Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Thu, 25 Jun 2020 16:18:42 +0200 Subject: [PATCH] Funktionsaufrufe --- verfahren.pdf | Bin 117016 -> 118062 bytes verfahren.tex | 26 ++++++++++++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/verfahren.pdf b/verfahren.pdf index 8803a9ec90ea747738a2f6f94144d702c4a74892..f42f245bb0c252f1a452691d1a9f7fcc50ee2559 100644 GIT binary patch delta 25229 zcmZU4Q*fYN*ko+mwrxyo+qSJq-k1|xlVoDsHYc_-v2E@5@7CVzUY+h!b#A-+dAd$U z5_C-#G%BUCxFjPh6DJ(y?Beh$96M(sDmpkT3r~6<6DSREsWa}nA&Js`PVWqXg!4B} z#IeD&@!yck#2^32Z*ce=X!Td*jN?;(kaXEL z$@Lo^F&BAK*)R<1TwFS3s{;?UqFlsi+U;M^&;LjP*?bsyW(^YIKwUSYJpV*JG^J5Sz}~gE2c2<-7F#>YsER`-jye=4O~L7}&7}KN z9!`mz>N@SVVMu6se}akykGiG9!|229P52PT{UzQsn}1=!x^uaEM!P zcmfsyzn$#{Q2syeLDfH8?DOgop3L&vqwb6W_&PPSW1?jJS1va!)SRm#VZ>z|$VM={ob zr&}ke^-`6NmSoq=Ms}*3S?4Ua9Njp8DT75gmpPjXHE6^u)eYKieHC!_Hu7>2P-M&e_XK&jw45g6uR52NX?ECJGh2yxp@q zvuXTvHiy$q8vvyd@mNC1H{P+7B#bqdrdh+X1FJ9AcB9nehZF=eA)=f5t%dmIBwed@ z*RWCNMtaR;?%5Icf!S~`jKOAfmN^8}bT}V$)ajlN5Qy*TER+qdGYe~7UR4}IYgKQm zHQ#kstbdNmV--YJeDSJzN)?_r5PHTcc$=~DP>8s;yB!_z#>=8Cf6U$Ewe!L9j%`78 zu{$cVEA*T2*Mn-X*x4pqGWBkG4vPxawtS^Dfd(?!>}%ytD~S*`tiX4`Y@h;hHFEFj z*1uQF=L(v36Uxi0gPM|9Kd>(FewloVS1I$qqj2q@9y>O_UTXoEH(AaXXrh9gGtV zA}31mAGGQ#(ri6%rz8mqptEQsNyxz)4Y`q9LFAZ&3#q?S;L zIvnw%e#uGA;jOu%ix7|f3b_hUbPwPibN7SkRcb^a!H^XclV4R7*$TSLW-Qe__OZQy zRYd6hHEM`C1{*0nhaIFs4YreMqgy=&YrK|qFBkR9^Oi(Zw2R`l=NU!Td?W9ZgoWgPfPerTv%H0)mAiFg4a5yBDEohs1jfUi z-pd3^3p8uXxovQv^c-tB`~I;M#UX(a+Du*;%H+sZr1IR#91>KK#W3?aFR7oFEQplC1MH&kqLH-&N zU{xJn6wSFw@ewRHie0>^LX|0;x_lZPaunS#wdHnk=H?-W??c#ha_U2X&FCliSU|9E z0IF}OpLQH8JI3iRY!4P`abl#ggyxCB5!FO}R#)n(u_U7!@s~6!JHa?|>XefbP;Tzs z(F?%3YWo}tuxL&ojrm3Qc0u>W1BD-M{%B}fXLxL7T_aSj{7T@5@G~yJXK7sX3h5p{ zE*1!UOfc739^}IwAB*Ua%R|tu&r5GU1$@;Q53Cj#=HTNc5|$igNb{ zM&OeZ#BEL>S))LRbqkChB1uv#3~S$aJl)JJ&-V@3h)DUWPswG6W^d?yDo6Vw5xhXa zWEfmNN}t5S80QNLG*}*3p{0W5~X1_qn&Tke-B#)p)3mLx(NL9Pzyx82RzHy ziwPK7^xRKiXVdS;;6=67RylETpo4%$zHas9;hV@K{c7mDvzvlH!b$`SD}1 z1ym|M$zyx(TY84W)!XQBGNp`rVp)l`xxlK48+IrUN3i90Z@UsgX|H3%%x`gKI`Cg6 z|43F71aQqm$QWWiLg_gOstXy50w{??Pbtfm_wR~6ni-Epq6aQ~HeU)(2 zt|@cBs6w7yH5PF|r=)f@NAPyl*)2dV=VBYFdIy?oA~x9aafQ^c&h+$2{tAUHP1zPy z6pHbm8zF>aR)BN&`o~ zSFjpd0%-7U-W7K;YZXCwJXO;+&T$(sNA|4$uCZBnklQGEfB-d@&;oBkMk}@ zVuBm-H6vvTwEPl7@MQi^pJv&%RM`#0oLHrZn(2d*+ju-Ll#c(yFU#@HSIN!RSgb9Hsm`x-5$HA z`iPC8E|o}p%s@zfHfD3u?1(iIH3#)kyI%=_ins|Yg(BaCx{x2xO&RX&jo3M)H{&@F ziu{ReBxM+;VECRgI8AwDviJx@;Hh<*GJT%^OW&O2CM}U>0}T^c0O*!RasE)?rdv^- zmg^w$6bplt&BD+1*sWRyb7MOJ12uRr`~&#`#6FAN8b{}szK)*ln#fo1 z2M&p9UT;PR`Bgqo3puwZV*{OjUWC4saj>w-6Kub>tzKyh6X2Ta5vEnUh1PiT*L6;c ziG+6cbV&kA{@c%4{}wlGQy6%HaHthi%aOIPL{1KHL~ZOca3{oxrz%Z3Q{DRk&#h*B zc7uMwvjusWovr1Hp32QftNFD!iXvUdNtZbuBnku-glLh^+uTHRkTv+Cq3?zexLrSZ zXVuuMyzFg_b|Ck-xNrwOjIu4WIJes3N_Vu@?Cpw)IffP8=wtK5KL{phgOmf0(jzJw z=#)Z3jr{}Z=e}9637((ntqfa;5!vNeYg#br5Z3x$ z{)`W&yt~(bshV^}gjv@!EYW`%)Lk$dTx25vQNFKv1DHvEt_!hZ#<9^oI9bBs+h>&h zm@~vw&Su>JhqZQ~h4cHCEClbH%44A8;AL`dsiZ-uHa^nzyb`ey0FNe1)!e~0_o)5j zeJ3|Vy4&quD_6%X=lN^nQM)n2PoV$`Kv`@gI__)qkeMbN)K<{>NqbK4N9Plcs>&-olG_J>X??l zSy^g-v0ay_bmgq|FPgXzTYo5~z|)sKTgP3tEVb5RGJ#9-TLGiDXf@naiv-)FQaOPP zMwRS@9-tl9I-dE0PPkxONp^We2W3sB!4L(U7Fcj1u0Jt^sGvKiiTNiJV^x9zN%7i9 zkciyS8iz6oO0BzZmX3#9R9jRkDqs{-RbPGbKDJk!SZF|?Dj@?N{C+d0)xtoD{Q8p- zPBJMHJcnCMQh;M3`@<8w$9pIu)cE@BjlXxP?zXT`Em)4RZGJNXRiW!Km)Jz9-iZ=O z|5~~Do2=TR7^o^5&WF>-A_)sSf<{v(vF&2O6^`r8t=~}dIj3c2@yOtwZ=6z+SQwh- zN^9<@&!z9;u{CZQpTrxt&_`<`uFBS*vpDHDZabHiuJ+`SOWBgves<>{Oc85!ROa2U zyT!yVjM)9opKTZqQeG|#6Nn>0+FS|*AOU?nGmGcv zW~#y3jxc*4!Iff;${@u`A26k_pG#=!~+7iFDp7q3@>#*tSqHHLl6;BM~|>1GRWj5uU~XV zELyxlRIHx7lH;*>QMh?||8HU=VdY`r{Xer~v(BU=J~zhJjF$77BhP_pbn~Zf?q!ciVK$vv%FHC6w zjmVV*b66p;jSH2j@*Bq5jUduu44Rh;vIp{rDoD-P!t>027(mb`og(HOq<{w-K*#&SOKQ~uR}UXYmk&8r*?2%4j$9c zU-)!sA;OZ@iv^RPlVMcaLO2#iWRhK7p#4I)GxGVB2=Ccx;S$j7tKd}ZA%Ymd7+4UT z3gnxnbnrG+s&NgsKtpu8Xz_BLp>m^Uj<7nU)qMCI3$Ed5WuRTk#Q-dMiWLEzOD+Oc z2zU^LJUoAPHqHc87?@O_9E&K8en;6m`)^FIA7kt=q{O?5IB-fczr$WRrfM~vv`hkU zrxEt}%|W57TCS=CpGqX9Z}*`|RP;rQ`F-Ve043 zzsW{efWCo%kw2^zEV6O1G^8N~@3N_Sg_&h4ygT?uuRcDKUy;Exua&Tue=FDqO9$mv5K}MUo@7+9E4H% z2oeGO&I7Eq!chiG3g|?fWeqb-D0GQ`7FE)M;BOm5i7sqYZ4lv(tb$ug@22dJGa(Uza z9KIQ&kWaekq{NToJ)3!Yqu`^tXeK;ILxV=6j+@$z<>VWpF_iY5c3$`ggP;oj; z7-$E4-R%A3M&lh$gyc^WCzp2nFN^!);~rsGB3GU-#ABz&%yKW?pT|7{*{8? zHx{2~?*8?Lp*@g!N6AaB-8vglRPHL=$5@7u>wlZM3khRarfO@o(o5m35gLqshrV9^ zn|!<7{+uI~Dj1C*p!|#%i}UkH5vbaCI3c3E4)!fH<$#b7x3H&!&bQ=zQ~3vj@opiK zL>x%R#TXmWR#ALnRY|TasSm6tG;olLEt1y!iKHh=qWeb;A*R1(y)Ym9qg;|nOqs5X zI{v}8Pr5U{=2d)i-?8Si?DGi&bx(DIu_xRWKQlo8XGDRrQ{JG7?ps!*!v~M4-d9DW z0|!C<#_R@7pq<+uDGeJpETYIKL)9`V4HxVmG3kp1N@Uoja9yp4B09h`g`dn0dp@4P zLRy0kXJPfdyENDj@yD4mF8cTkT136g2!AUfT zru$4t+JSx^#2vYGmYrSS>;s>Y9cR)$vOFSR1=GVd28v&M@=c0lvS+yoRj*pO#L7KL zG%({bTGx~9VCFc2NnniP^?*O0$QYRq)|N4WCl`R={3Zv1F=n@Z{jg{kn6M#2{@IS)!zX_=p9>ITv z=RbnpsN&YG4bH~K(ug|cO8X!9pU3EE|DA0A*NWLlSlQWlljC_YAz3-NSUA)B|7W9{ z>7h;_i&pCb)4zqgY2obUg-Arg!h>)Xx=Y&Di4Fsi4k7d3r5EDW)6w=;_xP0`&^5^0 zx1wR7(R)?#doUKl6rfm&0Fb9Mr9wb34Fqg2ee|q|x zSgNiOc_!boqI4rFrlW7QCqOp}0^_fM}Q9PEOv9UK`W zxkCN81LrtQ1*wQ5i2!)%KPQ85Z?5-2L3Dz?L*JjTdckz~Kf2czrx5I~tRP}-)h$xA4FnA`K}(R10Dw1Zy*-fhU13Y1`ci&Jgy4&58-s+r28kui`lD48o88Jz zN();P+pe=$z2OrR%5`=g=_twA&o3dQ68_HUQAUS9WQv6PdiZGubAvBXkl<%PV_0)Y z`>>Jf)E2>76Jb^E=8rqo@26k}(r?2?h<32HwY9a^RUZ%%YLKyoDIof?mO|GsF26Un zuQ!d9@8c&ye;f#WBt}ABGbGF%_}b|3A|ZschbQ>!>xa#YlPDAz=+UxeO`sQvoE`MR z&K&6^NesYR1fNqa2nuzPKm`G|`u+BH%uOzxml;BM(G}47?LTKPi8?<6kDSAQFf6Z;(!GW3Cb0hkE9<=+^WU)PHH z-_Q9hAYc4xa5(e*Bp{#H;oRoOmfRsf!M}jk&mFxlqpdHkl<)ZP@0~33&5Mh#r~L2u z$?roGTPKI(M<-%wNDZDM1iCrEjaLDjdfB?!Y0&!_Ktk)x?8th$9)U7N&%n~2P&L#--53eeUln`f@DuQfq|`>1L)L&3SZnJ zceGzr(n7^M5aXpE*(9&(0q7KYXTlIRCS1)sL!ibBFA51ivwEZ8`$`_ON!FSHbc*+E zAd(nO?VDS~mi1F1L3jI;N}AE~8-;tw5~?Lce-{8WzdEG2?svvOqbwW|U7^~4820Tb zCa8gZ2BDy0^@fOwYioCYx43;Fq&I|7{!CmUhf246$0l%xU&fCmc*P=q@N*Ag-@QIZ;Hq}+JF!#LlAFKu134%t zsviLHd|-kskcaVX1mXHE2FE?L1$ig?g^s4$8IxNcvqVfvqN5Ku1!A1o9wNN$3y{L; z3-$r_fkV#k;G}O`-#;R$;)NYC&}Pn&Lt!4i@W1W2{%+>vlICduz4;0KpUB^z{V-rY z!BYvxR(+Pi{al>=!j6?gQG(hnQlYy_s(_ORueK!I4q3aWoDxp$sGX$+6HVI0lozPQ z_Igu=G|!f0?Udn*{Zi73kBdQL!sLZcQg2MIPkZ=p*_(FKf*cX2z=;K!G!k?g&#Q1% z^4LCWKT2E2wQ8A=D>ba_evv@dQce7u_2>$j$sc7Pf7 z#Fgv9ESQTNaZpWto)$Aq_bOpukdAfP7y2!YrBix?91LRzc^HeI6pn*Gr z75h4hBPq%jhj|QgI>X-COkE3s01+e{$(10k)L=3Oq=QK^Ks!m zk0JENMtDI!_*Z-ZXftu->+~9^d$Mb+* zJOAD*FxF7EnXUbn)!9AT^R9lKZ_g-gONRKICfd@?`Wd2NvZ!!~Q&onf7h3nA=5zM9 zGk+}Hq_mW7PAw(1{bqwLf_kX|zAsNlIA*Ke?hinS*?2xY;$4XGcp#a6hUn-HyE{gkull zCo)3_3^8@cxbFt_nzYAQIY0SVwBu*bHjd(yZ}1#3#A>hOZ`?%KLZUO%5WGjzOKTH`a ziJdI;$47sD8_UjH)$r64@POO#{620V70^s<5gtQn9yF_F-%S3?5!o(DybJMZ$EowE z@0xgsxMsqQU;q0`Pp%xKfOKGn;dzE=rc{2;^Z1t2A9tVzu)m(gqk0e@rqAghZ$$Ym z_e`%Y)QL}Wd|F0jweK7pm23!Fh6%kHen{yVA(SQxb`o^l%eZkZ{~2WW_$b7K zKzLogbmSENzI-_+L0*oWX9=}5>oDzqic*34kHFO zVFpFAJWTD37w_n#oa%ip6skK3Q6He|feueY=Pk?-KRxIh60V4?kUd~n`Beutoan*M zfcGK*jJ!C^q|kCh%afAju~p~&c7$9pkqFhZU*-hc>m z{*?X1z_}miObn1nBdd4PB$*e^p@T1M!k0||7VK&TP9VPA`V2y}2a&9lo#S-59g*1W~|3v*TQvFo+}1pfh< zqLZs|iR4{)8o1Bl=^8bgd5-?6r?uQZsyXuESx@_wUS}hq*%|+@yV=Hf07Op+?N|E@ zfWzS^6-LtZkDxzG$3ZpS>ICKM%Zs|lNJ>D+g0MY|0F4#tdTg2Tq|O<Wq z`xNN`F4i-#XR?WrhJNNj5~F<0-vDiB@OOB>j@j9kBWNtQ028S@w?BuxwCb1^5TMaY<(LZoSI@;-6KSthM0jIXhQwY`XpeLH*!P#-#ys zOE{d>NtvoYEKeH6-YKr8_m8a(eZ&sh4z2U}LQtZ1O}+9{3d@VZPqwQ_fL4`+ySfR% z6~SL*kL@p~r>Q9`s+K(trZVk#_xTU6{ZYFl@EL8V-fv)jt#`Oly(32 z!eM_A@6u~|aa6bbmtpUgbzhTu266>D?iXvhx&lk@1Y$Ho+o3X1ZLyH&Zn2xVlo>ZN zclMQ8x(zzX-1r`wv8uj?dfPNb$CV}3UFLpe_)JyolrJiRnD-iHo3AC9US^h$o z#UF}RfK=f1agbYD_iZir!?85;I*}|ys80v z31bMMgW5BhzRN592SI&m`&2x0OmMe9p_o+&erXEG&xy+RkycJ(SJN6qw~~v00ssR-SWq>Q#V6w8*a;8wRmMV5P`VHF7A#D`1)zk#v@))+XG|ix<9ShToN-937bM39Rp#Jch(j16hDKMLHwUWHr!Gw2xnFv!~72gIG zXt))aQG((q+B^Ybzi<+7DJ(^g8#mLox-OZJw7E425TBB!M<6a1O^dDov0Nj{B`$BI z%b6rvi?HT$m~TXW9JrN?0qW{_xRzl}qz8P&)(1n*={JI{gp7mCS;l#aNz=}ZPD-XC z+bMy!vrb|(Y+Wh4bG6&GbPC~-MPv)7g(ckR38ED0_BO4l9?7EEKBtR8j9mVb>++wS zw|$<{zE&sMz~oi{UslsM%12E2Nw-0`pn5-k+DPbHA7eYse1L-Cp4JP3`Wo-W55|b$ zq)ulUN}`?_8AjfvF+3QdgGZe^dEDO-xWY{fLhk&Nv|6L84YJ3|3qPFTmdWLo<*;T<0fLe=^Dbr?4>;SyAyTp2t6^ZlT zML&P@yz6IlYL#{4VZ4&7D7JOeUD%hiisyMWUXV)^+Jf9k{gGB2Q%CeJ z=XpZv9yy{lRARqO9sW2=K_}uj_KZ`NGd>?rediQwC~c1pg&^=ie^-(EuWshkK~wE@ zD5(FT{n0GlKE1quX;6x$$Ja68Iv~rm`oR-mlu2p&cMf51dK}x4O{=S;-EZYDu>`!W z4d8T3z#=|kBjx>?8rCeD(V6{4>%c3he8xu_0Zz}{+b3-jZJNgMrf0bzSvtG4Js>1CifLV!8fa3d`7wAUBxGzVexLiSvfY^NUO5~IFd5{{Gq=6X zA45%6$TE6#egDIh+vMj<^-QwMi`Z-N-z+W21P{G-Geh(1Nao@y__b37c5d#+07Y;A zS9eO$y`jE!)gq-|PV0mMB>rYSZjjC=e5GZxlip zDD$zPV%a@yL$~3E^P>lIIZHemv}yY_RuN4mIa6+NKj*_!&_VkJXX~^v!=_s(zBD`y z9JQave1@Q#T_xJV?(=1cFWtCW((X+}VQ+?;%J)V!BBeB#W{TgzT4{jURbOdLK+`&> z59vr6epa9FnHg5kp8yn93v@~S1Z8XO+nzUqi^oz&|=vHa|&1&j$`z;OI z37Zmxx#3TKWybkCBh{2b3CtcW#(BK3i+w zuBrdr^ZR2hzp2DHw}$9W7I+kJ;U%Qm#i&>zZ?;<2;=3@$BqW21@>#Q>n{1Ee#Z@0oyUsrX$9w0K|5f>c@y$m)k5~( zFNDD_Dwe*ZcHh<-Kc?&Sb-F?H>NBO`BeO3&U6OFMPZw4Yn6A`5 zE`CA-aB*@^IG$KI@pef6Pz8BFkagDLO&V<*4pr>CGU^ri6r82K{>&kHCg{a6ro1zh z%3BtS)rT`l zdJxR5daptXbsQoJQij8(X$Hn{O}FR!DbF_)vgS*|StaxW>b&-_{@mK$#QEr)56sufXyLU|JM)A--=h$9#o1NFv9(;!bg{dntt}{Z9vR<@1>4H zDlKN%a!IX)Z9{)@%&LZqL6zHKqN-hmm%25t_lPvoO2zz$vN1EKtz(s^4C)J{U#gQVv0PhLn7$+tA!gi7{ zN0_$)rj%u<*%p-q$ghUVGs>HjQjCgp^?Nf*73jTFu54*^6&hwp3k8kIxh_snT?%oz zIzko>(J-8a*Q)vxi(idBx^eq0wEOOa{VI3tP63?S6lVvqI%qmKjJiRq>zl>O4U$Wv zM1Qq@9dL=T?``j?vS_c5%Fok`U#LDo^`Vpi0ZS6jUSV;@?>HjInh1?K_S{m+%S;Dl zxaY@i{Y3(i>G=7UALJgf2gE(f*Aq+;8CglW0}zoPSC|{2_O zGn{H5Z*;D`*CRJAHOo_H!QaUSQmV@T}3g*pn=oMUtz9EFa3zN4d_BtYKYX_-V5!6=I@#IcvfY@*(*G_Agw% zXyeqtfg8Fon~nCGMih6Mx@4d)@Sx@0Knv#`P&^_6!@BtG14Jd=F5EiAs3>a;sn69g z4r?HCI>cGAzH}%v`(INyD&#lYx$XlKWTS{$%`ZgFo5Fk#vNCAX==(Tfw1qbzIuyUE zaxHl{f1~lI_52gc@;bO06Fb)8{p^+x>u<}HepQ1nofdLu2B#`;?!9s({d@YkaMV3Q z^+6P{cUgCtLLUzjKeM}-u!8HlJb!ELlcggO!RT~9jLDlQ>)Wb~oNo9bWoZO-PoIx` zkFfUsCA!!e8|8Y5x_Qjqu~p!2?pr1}qpROfio?4#d9Un$pm7l_#)dS;>$Q~f1;x0T zY;6kr8-lMx2LTJ`uTeA#`;&UL-9B7g`^7NFEt9c$y*PdQuwW>S%T~p)^<*)c1>_}6 zv4&>91i5o^toMqp`3)=66CDePh+O1Xc$dnMo^7w+RUG&jWIhUu+h$H)c+!8dHla1Y z{m1NL-M`vwv;uD~dH|sO;xpbd7ZB!!nUeNOyUSO7v^QfMb~xebrD-0Lm*`}_7KOKV-`s>|2pyN>9o^`6+IrY+EFKOUd_f-X6_szp<0b3lIBo=Nh3NTn zsE^8F#c{?qfqv!OY<~VTmzF`cN_o;>@WuE1{H4WEt7h<{N-)QuGSA5;r}=s`EtiM% zm9`dXBuUiRwjlx(&g}qj-RzP&5{l3h@pDtXlmCjwNpbVMK2MID?zyfbwJ*=0R=mn` z_R?fqThv0ca_bT2k7p<|5jLt!I*xKKPY-q8+%wv!nw+$4Y9@2~YN#dmA*@`lDLCTj z!53Tb8c^0upQ3$a9PK0wqFisJw+kl7)@Q4A^RlCP(dwy?Vm}5N3~@O}vSjj2GAyV7 zX|=Z>N>83M`uV^5Y-)49DZp$&!%1cdBWyWpLXp@~ZSqF>WDlaDF%#Rj1MnBs=5UCr zY!&p~HRBu;sK>Ih6lhd@C{*nF1b9eT8Z=&Jx8K4X&o3_dgAV*CahY}8kuyt8m+RQ3%%c0w8 z9yHv?TY-vdn@}&li@f$^czp9y@s2mH^>y^`iK6Ab90rh~sneWm&CuLoY)b54(*~kCt>M?T z!aA#KYXnR(*pg4zJdXTd8l1Ecjy_)E4Zi?030mwNaf%tM?){lxbOlS#(-Svytv(63 zWg2IO>L7L65uGN1-(PslFS4td#adWa)>zoEoJeOHucork5(}U*vhUq6>+06g3VOf5 z{`*mIi-Y?Q^HOZ|@~AvvF>*sR7S6Z16BUVXV+^;jlgekdN)gP)?f%oDliowt(VRXN zx4FCiv-`)W`Z?FCnG?FeLM3)kl4yvia-1o1lSwkYp7n`S+I}&`lozKs!6m0*;a_h~7BwtOYok7ywB=6#U?{Rj)#(V$fBlTxw zceIa32@O>&I*+azA%)nMR(@FKE0PLRZu63}hZ40J!x6~J;zvo+RZn9JBt5OBe`6v* zr2QH_<}D(cc6rHSbgM4NV4(RPtV@8MLDibHey_||*L^Kld?GzD<{u;ECQ0apOLH~@ z7K5G?Hg$H~`^AR8g!|0G-AuF5vtpN{l^t-~Y^qh63JEm2LB|X*39fL?Hkki%)&m>5>b1#XBRaLKk~n^uZWZDEsu`XGTq4dCHW7a>$NpSK=Hqus2nvHScrc%TnM ztzZ*Cv;QnU#2hjJUnygD4(~=;S7X~MsDUS<`35yZLilB*QQIN92n)(YF(^idZO#`lzGI&O35LZw<^uMz&+{;$Cv7o^m7 z56#sa?WVM>_X}soAQUS{YhLQ%#k*gMD+WSwp z98Bp$v_PCSRacYlz`=nn=2{RCctE{k&xhOiNa*^l-nq$-DX(ibqWwzpd4ENJX74{Q zq%Fe5X7nmX5UR8+Ej{`AvDxa2ohm94IyTY+X)-Z*4u-tqDorr^SKpY9hs~X&ZmU=Op~CNBRv%$q5Lib*$P|sxlktcJw>@lCy68- zYaSND>8rh8{k2CIbA}1*`KNa)GM2b2JLBb`rH1_mv!<#MgcF}drIUY9gu4)_QCm)= zfs*ZLH~Cr6CHBzElAq^Bwp+{~-sRGIOwWM&GInnfH$+*fL__wYR4wA}yk~Vb(L*uF zjDr>LynDBAicGVBRw9NSVBF@r&Fme{j8TBS%NkE;))N%lS~LaT3j5EfoOKOn8<s+bdLZHr&7fV! zIQ?aY9}7ORwnzo^a8>WbgHi|2skG!t~IDP`e&{^$l#6y z*HYq7U}J%`tV|*Wm1?AeSNf2h$Li>@eC7vD1Gy_3FTN~ax8YwYhA^`dVBRuWlLj^m zj}rI@8rY{fOsgm6`;_GXiT`<_Pj`xix6p1wNv2u4NbMhZDct&8$*1HJ!$Ei$egy~U zee=#n8Jj*z?vjn# z;N4L2*;?v&zn!kcjrz{2@c{}bte@{sRE7nKFa57VdurZ`s0rN%rLc7`#rIvAvmXv` z&c-P!rYj}n62%$_)IA7)I$9P;Ck~&sF`iwOET!dk>>vBL<TpSG2Nf|2ZRQDcokKOnmqy1&NOQiX&+NGj` zAN@R?+>tkoKNCNHw3%3QCz+&$_XMRSOR)M`vK1C;acfyTI8>~{;Wwr2r zda7ABN|Ig(xkY(ocljn>mS5-HZu1x5%2L0Qkcwhkz$M26t=HByNZju_;S#auGXijb zeV&8O=+Bw01g@B3SbT~=2UFDIp3V$%R<}m7E@q?4yB8}>)@2@MDqY+-^j@jXTY>>* z{?qI*4*uNB^WukIb&Ww2;a>-u)rgaasEgkGruxt~2SDN*E;?Hyw-E(|=g>D^BCE$j z(<0-_2rN<$1Gd|!xnkPcci?uk#i6CF5@8j_!iFlzs6YZHmDh-=o6UhW;V4$}I!5?? zH-j{tmA%h>X;nsnFW>KL*zrO27AHUpjeku=xpB-t=tfzIh{8I!@B@?&niOAb@`|_0t`qRCj#fY*b4bb1>Tbayy3q*f9r_MUx-Cf-N3T8-O`lOmaQPqO4Bpx*&AqNT~9jWUH)q~Bozs?Wc*4&NsvxxPv_#^4YtxG8^E z$wZY_lS{&SL{@0WxS(yFYvv~I`GFqsPOBWz8Pbc!46d2oV3J;hP?7(JNzL!)ElFFbo(muBkES5yG%nUT%SL4E?Zg@QYLWg5-NhhHfQ;5^;DW+b7 zXvSNN6H~>EVMl<3A`Ss+Ei10U+D0^oU+ETp-TFBwN}`-$(}M6)Xscr`envyZo^R%t zAbhA6A-+BtyQJH-9Lwo=5 zE8QbP0%KEKsA@^BgC?1;d(l3D377 zaP}K#DE=AK#RVvupgQ}zj)Q66+N8Ew0S`^n;46ZF~kxQ-OQGU8)U7 zR~{L=eX04kET?3|{70-yi@i#j)>D)?~KcNAyW27d6lgVyyXAh6D2a8S? z-uy=}W!=AI_EJ|`>F|+MkEd=6x{EaN1?x0q_3f#udwSKWvwF)JNIBd^y2@w>!KF@? zm)ZEp+{nH^?TUUw1WXh#D#-FhD~J|u?r4ou5D*`4uJ2~%2t5Oj!+1HEFlKd}oBGOa z=BvbI@ErhWV56e*-7QVi^+o0SOGU>6=&{_I5;v7<1bv7SOG9_^fHT+5Dq3v>a zg%XAdF0zh(ixZ%Xx88Xp3{Ut+H~XZ$yCF{VF^MBAE! zwLo#FXtCn%6hAne;ts{#T@O%Pi@UqKySp6RU5mTJ?Uk38yxipdn?2dd{F$t*?3wkE zQ^5nJu39?FV5UIqV1r%!B#BQV~@UKWP_nb7LnH-~rsE6EhVhL&mHAA&q67e5Av?xD^OeQ}^V@*P42 z?Eobl`vx;cr(s**`qc*NGpk71qc4Y+P5v>v!xQ<&8b3{Qp~o9pb@9-dz(vIX8xtw+ ziHZ9|FL=Y%PrJ!*MfC^zwzp;^hj5rHt^go)(CA4Nd@V6bXzW=04HF(bV0<4|@V0Yx zg|>?pbF}stB=$TreMd+Be$*liM53cy5UN<(6N{pf6Zer@@>0R5brcR7PA@z~|7Ux; z2XeU(7BWpWUR<{SvHli92BWP6wZp)n=(ZA%g$n~ zPebIu1}{uJA^6?+S`_b5Vwy$lEploF*k3ERuRWsGW;nb=vojbQb7v|+=^gMnVU?HK zz1}u2C~MC-Oc&MkkSz#d=&4xliE%Bp0642GypLkySC&;j21Ua10A@2pzyPs;1f#Zv zCZNI&NN?$5iE}icFPh2UoieWlf4-b~JB9~Nn#i)Qn`+}IR9Y5;Ct&_Lb9`ohBCjyE z^2J68weOP2b68i_2NmcZiT@Ffh7g(1y4Og$=+35$+vP{ZXQ%TsYRsWZ?|JPi`1>cW zO$p?ElFM)=a^c(hB-h%2kY6h|H|F`pv>g7ZyJ-P`YvgA68jvb!Y`t1ear2ZR+Vh9t zdjkxV%(^)}!<3TxQGtgLA6SAu8C#4SoPDR|uJqI@4rBEB300hY_DOS9PX4|sR;JU1 z+}mf^L+lndxr{p7pdeSDFB+A=N}=o^usS3}_E8)3>Jm3|@0Gor83F+CmTZa@6>8B3 zN}xP_aySU}(|VJp4eoc_mh?JsLcIgu_U^S4>nN9zv7)FFk5yE_AfIr@ZK_mHKUVDj+1aQI%oIBvg176BbuHgYRC|PbJr`pxE2inRi zd$7s3sH@H35ucu(nIP22oJ}LWqo~o!H-b^t;#+#0c?`MGI{GTTs|Bl&!9egp=pjPM zNc%Q(qx-%Sv~9~tAHPXy0rdShIYD)v1ko6q$!}$*s>ASx`D$cPp%)y#lYY!TA|Crd zzWgc;6%}H97I9RxUOj0)2Qqj7+8k=B&7hkJs~hyxt(FI7mCS%_{O^+ck#<56X@h8O zPJVt_DT!5K*zx3nRd*{n7JJ~Z@=NQiFhp&`tc5aD%^(ZL2DNhSayV}i)V1$1aWA@~ zQ#yCRR8N~Pvq#v>G~a+#ky(e7ng6&ML>B*J$_H5)+TOH54*u0a!rTmozGve zx1)__v7M$Tb%;-S?+lzAGpziqhTr21hJaH4t<<*L6umBZ|Rw z-O!D#n)yn>$nNi4{W$dkFx02zc`aR*-|0ua63#_o=THB6%f5M2l10=_xOz-*q~{R5 zl%$jg>7;bR36HorV#^Ddcfnn-`IwtqZp~xV40WHRi+0GX@}`3clPVq%$wuX7H3*t? zmMJAzpVEp&5cEKv;rHVd;j|@zY(HZ%^d)xL&>bJs8;R@PsYdx#1|t29qiuAPl%{?i zh>=sdY8Rmvs%T>LKEJV7Mguu@lnTQzvu=S9e)}e-m%k>As`#S$ng+AC_UD-gHgg`i z9XUO#+nm#$$2s7`uil~+K#RBtt4@xN>U3^NEji^dUiay7;vnlJl%1(i=@6^TZQwnHL zT&+2jK9BG(*>p|bthW36R4KKklD!J^7! z5osB9uKwzt3?a0RB{_>55&!k1h9fdfu(Yy`N`A>oiarJgA3Q{y*ThiMyrJg$*%>`4 z9v#PSNb)puo;1{7?GQY*zaV&}xnIhI+XmxnAZ@xH$l#a{$wU>xjSrNyc z9(VT1?+#v`I3?3_=1f6Z`2f{xT=BGk)OFqGKri?^Sa8f zBf)-Ctz@S?U)6mBp%1G^I&_*<;c-^2UOF$vo?LL*+3LiwC6QUF0p*gu^Av0L5$gPt zb3#QNhtWibNXi-loN>$mM6?y%3Vy=?0;u<5QNyHx{2Kv4=JO+UoB>1QgJ`4?-}rQA znzo}C@nWo20Qg0|e9>^HyH60<-h0mGQ%B&ZU}R_5GIDx$wVXI;$d%+pidzMwy}kj_w-+h-oMh^%I<4i+K&$0@m*3ZK7!Sa3nIC-6ShTgL>f`b6+bBuhrI$)RYrRvQ z-q2pr_o3lsM^zXN(VJPo9o#$a`!vrdxftG4W_snF@+b0UkT^1RpOzz9Y)r;H6qADU z0*KDSxR~e@bk^Oa(oBRMw68a?hsn3j8EdrcNm_CE{pT~}!jE!Cfz4MEDD6c zOJs{bo?E|dU@ui#@oO7S11AS* z&qRLS$33SH9^p#6K$t}-KBfnVq@`FdaNk`t@-O^fJffT@>Q**~Y@0WnK8`M$Tv;DN zYc>f(pgPVu2wBa(vkb+||9Q_oO#7RMUZb+@2?* z|Jue?3gbXQ$LYV}s(U`lRieJ=bh1`>UVy4Fp@IW8AS(1gr0l%#jFHRO`WnwcZ1_&q z2#-h*d3A|htKgefh5V*#>K`cEXCo|JoT3LOZkQt`_?UyA#{q@hpVoU2Xr4_h^D}JCkGU+D98sqEk@KQ0ftu z2j=Ui-o(4NifvNSdpYpCM`*;tP601E!d|5AyB^Vm?$O=3QaF8RIz3EmK6C$oub4{? z(bG-~g6H1iT89tSQ}Ch;Cud1>PI3PPIuIui^ESd{WfyLwqj>X4{ygh)AHJ>inc
    %)U5rWgr2L(z4H#9*G1-o5DakCddFXNPPRl!o#7&flQZqdr{ z?nes(t^%ez@i`OqNHUG>Quo`_+q9*CwLH0+vpWcU)M4GVmE6~DI3z|<^DZwqds2K^ z;u?Wd_Qb$4CRTav35vlON}<@UhO3YR%fmvTkv zMSw7@Br2hsGf&>%`-8lw;%jsB{YFI++C-(V{U|}$VDLH{nH)0K+ydORVrWUIqMOnV zO$hEcp{jc@h>Q7X`-cbLWtp$W?-u%nO)*dNB$WN4Y)pl8J8H08>XN#8A4XXd1-VrG zWTqbwWv+H=^Mk``=S|p-qYX8IM>>R|VMjX@cR-3zR;N6&j)vT`)qw0n)Fnyd+hN`~ zb$hx{3fSq2h?R$rZ=#cgvA@eGZGD7njVtpQ6Z|MBs*~~W*Qt}QaWW@6yv2by zO6Av!y>$ZS9x}k-u*;4YceZUX)!0{s2o9Xg1~~^eO;$ zlW`27ln9!Qwdr3)@F^*$A3zk>f%65G{r@r;Sh;z){)gYExoop4iQ~PfHfQ(=xlP>@ zd)lm9COsdM&o8N83Pfy{mdFj+A)_&Udgf`8l*-2$l4fONf>AfJcI7$TXr=$>vFZX4 zXp(c&jKsGKQy!Y}sW80q4Mk?@2P1y@t9rB|QNbO=8z{DA{!Ep!gfz**xAGNI%$0Ow zl?0;fAA=cFf;4ilXVvNI^;d+m8f8BnEfDKc{K$b}qY_J_n$}@O`r2z|!f=ONr@M2W z9Ov{f9s}moXPnkyX3E*5J*YTBkf}CXt0g@?S7)yNq~mwW>xBV*Mgb^-Z%`MPJ~kvgYd*uBJBGe1EB@!h!rwtXNHC$VTp!ECI%9rApnpQBim76 zIyq&#!y+)75i7tXD3Z#CX4CXb#WKL^Sjs8+nIq+6IHgh)X9nae;8<2qa?eDZviRYQ zb%V=c6)LD#u|cSakeDj%~OuT~9chA2;v_k})^^`JdGdg_C?SHy~K%SL|@n zUXtG}5C|49Gpd1PLHnd;h&5lf8Xks7BEVTJ?^X^1`mcZ9R81CD1n@7ys86Q^J-f~_ zGA`0_kDJ>wu=3(fYOmr{a*pS*^+ za?8O}?(RQ^2lsVib~-hFmvRuw4P_PU70#|2c)a-fWcU38SOf0`pAFkyZFrU<;TQOQ?-3G9+ukd zzv#TOgq_L7Mv&G}W$N@Ll-pV%;=y7z4O38w~g54U?IGvQYu5j?Z+NIsEvY)PfJR)NW9u zA;^T@ZaYgm791^PgIlmmF(Hf>UT7#KStfOb_XO`GSQd7w0H4Or2h;I1Ibg>vJ;dkP zCvb1UfhRY1(QQ56K^##>(!;lD_j2r{{G)W(W#H?Jt$FyDFst!%1*9zOV^T2Dm1&=o zR~BmUvLRNRqojQTJnoOneM^mlAqW9^WHI|#nM;_g>E4&)fT4lcu zZ&P@YeLF$AI1WSlw#!xfAi@}aS9oyEbla7?Y~JX_4ttS;;pHB@@wmiS%|M-SrK~}Z zDj4x{5Hp6he}aHQ{*bhKwHvswO~`Sw-x<0f2*1jeBLi{dQx!8Yd!(BbadL6E2}2Yb zu}^)~x12sKo%-s_IU#szMf_~FvSJ0Q>D-DOdr+nYA#4QsM*>xreXQjI1b->cm=Mc4 z_74i^QBEYep)q+@e7gA#ujmNTAjxW1KI&)Eq{7F?Ym-2~o9tIZSy`}Hs|S$$u0h^4 zp*ac-WEs%4a!`L9{t43$^*;543{R@fJJyl*8xXICx2&wU5>;Wb%Z#iU zMM@FBl~ATy&TXHJqx-Q^=<0ObtuCtbXpeK1(LDV1o*rLtFOF@=^l(f)*gig}ooFbi zuyL&iF1IpZfcFnGo-GXJeqJqGe=+VWUx&k$u_%XW-5`~d%PzBU@tlbm^&o%dCeWWF z7r>a4oK#y>Q&IaaWppH__)?I z%|{sRSp$xZV!k==+kfx5*+h+cU;_Gw>aQ@RRH~g`fI*$rU9J(ve5?f3siSj4#G7rW0STXu*Kg=AP^a%2hep0koPAF9QYh$q^{`zdG5PX$s?_QhCyd!~`E!nk&=4tu zUA0Nqm6caq;&18(7zv*K{6F;iML*JsNMMeR3_kjLSfGfymS81E;D6@6xk8l$L!F^T z5yZwZh=HZ+(RFT4M$F=`)75m;J-(`gqESIif@11EKWIx#^)W`OME1FIN88j-In_5h z`P@972-M}dfRfa8pDDLZtH+flgCZsG9|Z)rf?sI_ccva4-~B%Z^sd!jld~=tUy%j( zO<&XXE}LG7KDw2Bu*rGTBhs2TF2A-v85!$dM}Rl4wO;oh+ayefZK-GdAKV4|##SB= zEYz<7Bwig~jSTnt1fQq{_Q(YeFryy0eTFU++f$M2R!eQL_n5lI!n_>%J~%Rz@s<0J zHHvfa zMO(Y4R*v}228pu(o->lIfYxZ5ywOHU79U5&uBAWI>rT4zdpv1x7Zhg^Q`hJvP3dk9 zWjmd&_uEfolpD)0a_nQ>F8-0me2zPA9eM0=$D70;i{qUk&a9aCo zKz@sKxay7(|BJ&9SqaHBpO^ymhE&$Ra(WV-(^l*Xk!w=tRxI1QVIB`hd$)QL8t}&D zBYQtHQ8V%qg5X4TU790&|9U?IXM`1+D(PwNYAG>ER%U05+tbT3s68YP zeur#V<(j0&fejyJHaFZ@uEm456P&rWw<}<^-_%r`y?at_tmMXj5#$N#)igccLdG;yx&vUa=VC2!Be<#4X;8D4 zaiG@OL$aYfJka?cYCsLdK88}hm&uv7g;di4GX{D#zM(5AT1lx|3B71+>UJ!EfdLv%gpaz58#BeSYT>15?6btI=d=KSz%=E3fK-%Jc=O zupyKbzz*a*P=rrDx@UtASJDI>zsV67v%L$`J0lh6<}`junBYzE3($oGoC>*bk7-0Q zUymu=^sdkUtxa8lGqXcxzRB$#>s_)FEw^waebCyjS5+3Hdl>2pMlzpGaLMiSw}At1 ztM}ELvvuSpMji#Cw;1J%Hh>mdz8}mm@>85?f2~xrbmHlnHeNij$X|5d85hy4pe~DP zB&s!unm6Kzvi>$U5*V|W)2`f!sk6yZ!bfF2lur@&0nbLmi}Sy*TsZ!lWt(K$2k?dA zW?@hI+Xo>1uLW{HARfRLmxDt{z{ZBiByR5D=tRoO&GLV!Eu=g=%%uNq-UHQE!`7I; zcxP2z8Wv4QF^nV$(ZnZ;94F{zN|O|}>Ekc0Yq-=FyuC<=Vy=c#zc4Q)Iyprd@r~f& z#;Xo$?E8Lt2hbRPh5P01gy?^Wj;+|2r@FTU($%ozkF6!UG>czsX2FX;REDoW^qc)w z9OQ`it6W@a5-ATKFpN1x1|}7B0n{R)yY~iQ8THzuoWcLu7Ep)l?}_YZCNrD*zLO;h zharUNCW4r5B3Q#gS~W~Fw{g=?$FA%DTjbINMjI=4*P?}$VniPqL};zszI572(t47} z!M>JTm9|co`K8vLG8j7avb9m4A!fgN3m&52?}C5nT-!oOh6mDO+3rZbh$Fl_>M)yK{yE zY3Q{KdtqPn{`M#ORB#~Y)V>_e64nqpVh?+fEEl|aLT$64dYfSKIcjQy_B2+D1sDD- zhhKH73~ozyEYeJY-*N#ygavnD`gjIv4g$k9$4H-lV>>yA4w0(~RghlmPxi3?D{yAJ z68HSHH*vMI+++jZw4S%Kn~QVR@w{2HN@#l0w0$y;`O2MZ4{iZ0{md8Qy#1qBeqiT# zWD=mXRMk@2BOGCS9pEy?^gTl>U0v4Z%D`_8qu;-!03B%}K`viOSqFFV_(tA0(aF88 zJA~2}#aI3M94f3}Sk%D0wDwn;|73COL2^3}=>&_rqfn~h^?@(@(B6c;2H8|^u78PT z?J7-SWhjiuBzVwYWOBd(+Sn2Y^IG6qAaJR!?M;O)*um{DeSJtgUhSWmRpVJ^8A{W* z+J@T=u}URR2vJlMC@|Vd|3pqbm79Y>IWk{kPGsrGfI(R?oDi`fR3^WW-Cl5AmZWJe zQUSG#dcNa)Aan|LJTJ+>u`AvRmtIx9ymEeD1o!S`~$8i^H0dEwU9I1eNB5{Mkfr2V|e7^%LE#kdVOIm*8tklW`uU}9p z4P1Kr;1aYO)J?xP!2A!969J6Wn{ZQH0RlQwps%N?vZEts1 z(gLcLZW4o2D^sZJciV}`$GZiaEY-6^=PEB(Zp-IB=_@SB`mSeZWxD>U0-hf*2LS`5 z|C@BM{SO8^33m`c0OnxVL1a=g_b?`99>VdLRu5dm_F@h}UJ{{LH0 z{vGt+EN)T`E{^{ZCZaeg+bDgkps5lclZqOPcZ=ebQVrw`>H;$eL3l^TnoMXvQ+3iK z!Z!>p1SF&@(aGMR5bTcgiG-W>iG*!#}9p8ip`iFP71H_UU~p_XoS$gJqiL>utVMUiLy-5oG2b_D*_&Q zaqX9(^1s=(!1UaoCVwMkqiVw@bsO8k-TnqJe-7$q#slR20>~OUjeCqqHAaksY&CG~ zk-P&00-<}!wtwaXqDh4)7k{(D;KY9ZTo9lbsL1N3z#j(|PP%rrnMwr0Ec1>#=OE zGizKi^^%&eao=pvo0uhx7}u~lM~*SunPufkN&=ll*zTZZ<7bCl^oxE9eJ902L;U;{ z_^B6W+wW4yjg%jaxL7cc=d2Fd=ysx+U_ANd%;Nhlu&Hc2;sUG_Y4qxTZoyu6m{e9X zUXoNfD9on!(3U#vb+bHgbnv29*_@O*_4+)Cf^NtojzLc?>9&74T#^1YCV`y1!a);O o1tlz^H08-yA2MkxxGPu?6-AzOF$^F^;`()_bCP zN<+wz`HRB`5nOkYX%dH(AV5(5vXOF*oHI#mIQ`>dgZ#y=BceHQpg&z+HvVdbd&>Y= z9NAtP+}=gnaq;64;0I_Mq*;@a5FB`JQ$*OJdLmec+PMjQh(7}DqMXXg%izSQ$N}4` z-TXcJc(_0)b0TRqVBu;W*!WH=iAB$>+jV<|zfIZOm|AHuqJL5LI<1xb`4(W*E;Jtr z4SVy-#s?Sc86r+FGcgoAimr;J!BSH+b7NyCO$jPm=o`CV2>n6+g^9z1YI(V1lvn-> zT$gSS-)isxiB^(y0&h6S)x1I^H&Ig|(VdH?%#)v}8yz(gfR1Xo5fe4cg?;czJgup- zkIl_=O~JBiH8NeqlR}{1k1>h}CuiE9L4X&dYyg}%k-`IudY2_RX$jT1R^7C5bU84_TYC3WU^3%-hH@JH~&a`Jx?yCA1&@nQRFOk%E~GLRTEsrdJThL7e7aS1|){x!5Q3* z*{D+go)#H2Q3X2y++u2yYkCOtBOoJ!pD@BfBpti4xK^z5EkxQ%PT~zVTzN9~uNj^TX{M%xmD1Tmr5i*&N z8)O))AFO*`abRe)n%fP-A@;iXl03m>EguGIH`0q{#g9% zn+a3LA3=xCu>FhEy34`8 zv~<3jG{Jy%n#T6I@(Dw^jp;M3k=aT!bTa)lDfFVS7;#I%!D8cV(|=p$_Xvl?~hUNPA&+`u>g z@R68V{l)R3!yN7$!dRG(EUEPH?rUf0MiuKN&sgMM2oFHGsLtuo@T8%3OjOnsdwI zm_~oX{WSaMdXgAbBi%)qAiLp*RD+pobd~qH`?TCPAY?yx>C6;d=#CfczGh=EEnpyZ z<&5)Y|H^W2dU;+nN1@P_>G)lH=RRQLV1Lgk(NJ{%X;e@q;Z(dAEWGC#6iP={ z>w8Wztj3TNxbjrO>0do-EPU4UA+X2D(wK3Flk*63jY$+D+OdT)fF_D}x;M)nA)~%8 zefp^eq$*^m(O5q&(TCh@9H@MIc?jsEWt{a3}*(Y0wN96o=r+za*PP^KU4Gn~gBs^!_WOiJ%=Iv4e0trqnZHP4^}~l zOuV43zo?dz%(yr1ui%YR6Er12b*p@hy&xY0u@GN~NlaDi?u{g~R4D96qV!U>^5G|x zOw*eFp(Zxhz^tG^L{L$1sO7;L9sieQXQ2?R%fd$vuYm_8vV^PSZ5@GyYSZr0HsuMs zSi%!COTkf8Ca{W&(I)p7@?R~P#q-!&WttCc6O{KN=G=5VCjrBG&80PGAZI%{UGJCq-+HYmcscudXAS)O~@leKaW+SQUGtcCHA`HvfT zgHYsyuomkX&+1@6{h!DU9)kAGTrmlSEJw?NnHsNiH$Mz};@{|HsP^i{-nZ-*>)?-PDD#R0SQQ7C1hcYj>O*ctl|M>aA*pTbY%8h&QRP)aK5%Nt8f+I?)0_ zc_b>E#Lg`?SwanM+%Kb6@ZS^c6}zIAo9Z;b*uup+Vtw%v{Bmq1h1V3VJ{!89zsF;q z?;x1jo4U9F8i6-i14j&SS!6*QzJ9^tTZiSnBmVQ4n3fa>K7lqEx>vB! z%4j`FsD-kq`+T0tIEi8hpDB;WV>XiM_qMoEjx7pJX4y&-??2l-e1}ar7T?Vh1(|Y0 zL%OX+P)tEZ6iGW_KZi^0%vw6s(fNt;3xV7Ils_q0nV?>7i~9a z=2p_q6zWa?$@f4C2b-9#4A}0yl#TN%n-z2Voxng{tP}fjYiP_yq0kMo(hp1a)6YG{VZHColc_F;q;OJH)Uw>C0acTY zKK*ZOXb!Cx2ce`5ef{7PQORN_?)b~Wz%*HR0yBi=6_GUNvnTp~BvUV@n}e6V%Js0h z8mzuBNN3dp%OOsi#Z{XH-=^RL4th1H7UiW)^>;P7bV+LMKc5k9cRpOeox>9vf*_YFQOaCt)1w!L3MYaURv7MO@%OjQ{3HZ zF`3oUq#u{a{=Sy=So}F{bGOuBRquaQ{nn!{t8mUgAmO|SH`tR@WBTZ<&f2)A4h^gQ z9b|K2WBDL7R+dmx_h>@fz7xWGd$?LND)r1FZZREjh5y}B65~t~j{+1W7Mt@_H?Q*nC+<(cuJqqUBzQT;+Wa<6Jo3^AqKTW`p(Hi?naZQtGA)QG9 zhm8-{{U6~>>Qyk3BE2<r3kSEfaB98dHNz?S;XNJL>QNNGo!&!X>KSP~<`n?^z!N+r%=>^t&| zCyG2mO^+r;AIUaSZVaD5VX}ZEsFk|c1q8&v`9-0U^-Eg)c2O2$F}vACSA}5?72&j$ zQNsv@W0TN<&ZnhVgCGllBt4aZ&W#hpSq+#-04MWoB~3xljtRDG!NVofCQP3@=TY8= z3I?Ax6Q!0M=>};Zntm6FC6bDNEe|H$M+_-c6475`V&F3V5s--Bk2;PKCOuaR0SqUv zQgLT6Q-Mabrjm+!MVO4HQI@1zyCBoi5&IE2=v`*S+-7d*qphO(@C4Y?SiH&fn;Zzx zsG{v*fe_vYXs#9nQ;xRK>>xjuaFv_>!v;rKYI!D6QYyuotUdooBScsPjFUCrFTqyW zrCx0UrV2k%Y4o=v#@4s{W!8@y0Mg%neGp*cvj%c|uCxBV6dAaESj#y2!EycFu>S1^h>y{e&a;i{$2S_QL~^M45ii{xS z(;&R+H-0<=BG`cq0MgkCS2Jc6Qc&vP!S!xt?KkSW*#$`ng$bu=yQ%JiDr=VVp(vXF z1xXSoJ|Egn%&I3Os+*7yoLJixE(B^TzMowGWdt8eZ(?RBP+bHJ;NVxZiqg~g*H~4B&&m{`h6*PV+Q7fN*6N*86H2nTU$Xk zuW$}ChN$jHKs$#;G5Ot58BWIoFXiVC9E^RFkb?muTbL~A`?LncH%Am08OSDC3KX1F zVm8BU8!pu~donlZAB?3&bd)?OKPGUxa_PbUl4v*uEOTg-(vC~y+Q~Ad2E704kzOOI zG!83lksP7DYrnn>`c}{AOI0!-uT@h?VNNZYgFZC60YHC$0E3Z~dD5aR&_gqARNPX7 zEA-acN5iAj%lws(ei0WHR77;UXnlmN#*;@Z@V>8rwhH~^(Dx-;g_SAOHtdLVzIt*p z`Xon&sX3ma9PJouI@BM5beTp`m?dn01dH3e7*`gAxBOzgj4Y@CZU1&RdA{6l-F9wC z=bP;g0D=2@t8K&#`*%ln{Tb}Ky*5|e>XR8|A8w!=B3DDCPJ>HTpEWv-3S*MfLSM9EzvMy(jmTz;y2MykJiOH56!On z)%Ntkr^hfIrk%#XpKD_lJU3-KM)kJanRjId^=|jSF4y+2uGVyWtwwQldQ2Rm?A^h2 zzf%r!DL6*geQ(*}7*(k1P`=F`ybXJ)Q@8;t<2)*v?(EdUy{p6@_dN3}NT4X|Foxa5 zffa4aD$0Gqw-2KE3}_40REnr?#8t=fK}eO)bSf!QLZx&n(Xs`K93C|bPpNT1ai!UwsrgJHEBueaYyW6j=7ddCTFVT z2(x$gPfmx8!KbgHOZwfyU3lC1bMwpHz~AVr>ldr1f6L920G{AOeN<05Z1@f#O0&OL z8=lbgLwX&sp!RNKbnUj|AucVPJDWBsJu06%x?PQ8a$G)1Jw3?%=<|zozR%|M;NI8k zweTVxcM$3CD(CaG8d~^a6+i6L+r{UBCa%YYweNL$a$jeB^)=2Q!RUSWca~Q}AnSfl z(*7##pZ}ExG0t_Tf1AF4o*xfjI(HOgF!RPfb<0gdsJQa+_9ngMA=CY|pYQ+Aio&Ac zqGLAfQ7blS@+E&Zt-4gIJ$g@xLc<~eYz5XEQsK+}emVJAxI?FJ@Bh!;Sb2C!SV;aS zixUt)NcMSxZ#E;j!iQw#WleT^!fdwUk0JaI*#8$0wZ0Sl2b})_RY&X=YUMtiUYR~;qJQoHYh~^ z!R8h^K_L(56_!QCp@8vn^MfT2f*tNdI^Q=oL9BtayuM6M;r1YZWON2If<;Y%@k+xc zAkwwA7boLF*_!=Dn10BQ2jg?`21`g!&%Sl=2&fQ*gW%$J1Eb06)DFHZ{5Gxd7wkOl z*f61b6$mZBY;bpT+cz<~y}2>uYV|O34*|i?vqJy^zw1`OI1>=z_EDO^-j}&V#+Qg5 zlw77NmcWp08YcVH&g0VRh|18=z~~wvvx5nA3l!~9a7f_5vWN?qs=<`qA$Z>>L3;); zF#!NED%cp(JN0H?&ldue`}4-1rOnOx?eV34#7jfy2B?idu!)}tQ+0WDF<`2&(S1k? ze{}(Z!q2j+GDCh<_KN{JYF_M7C z`g}m>o7ld0{ZW_`k+GU$NZwLFF|<_mp%shzy0p|Uu}Ui4cYXr#8`xd zI(s*LW$Oh%ZDU4p?(o;Ssh&ci4nTTtX!bO#5~Nr1JC6hryP>+{u`le{zdvcCv|5C#!%%=Vb1rwFB0;1(QS6YA5H+1qiaQY2r;(uDZ8LGOWHg;BFE%(FzbnOF(>pez$`Xq?{v$vm3bcP`1QOGkn_dp6OeP zvriBvD4@~+NLo}bfCR|(iq`aG&ePed0=64sxWC)Ss3AC3Z?IxrO>dBej2mB4r{4$f zq)kt|M)sfixtDNWKc2$zwYwG_I63MuU0(>lct}ZFo`tm`#ppi(zn?kErHBs-@6=!| zKXLh0aWDSci&YQc7nyWw4GZ|>5wz^7BZ>ofL`>R00_W_vzC1D$h>nrZFdLpF_%i`{PO%$-84(&-{M(r;@V%e!tzAEPeeK8FzFx z&>NJi@X$e3m@#S_G`^^aLw-OX_%K+JAZ6@U2&V&jtX4I7UGP8ClYc1af1?;?#9c32 znpgjzRo%meuV0CGu&$dn7sv0)!L7G)>HRYb;~@P_q6DBRRUJcg-7KQ=^c`6zAo!*| zd`12@4k^V2bzQI&!DTq@keDoSSLCy%H7ou$L3Q6hCGNn4Dwf{abl#x%a5-r_|GIK2 zvruEB*6EWhZ@gTy%Hmd^bceNrVLFR2w);eJ*uu8chkc+f;^SFGbPc*U&fvTn??z;B zGkb1Ob{lXt#wOEi&o7wiRiGxcDhf2lWLR@aw?-08mCm|UDf*1Ayto)>v0}p2 zvKM<}qHCN%YjV|5X$pO=A~vn$sQ!oJh*Jcq683XmK^3~=w^y=54v15oTqf*>-f^ML z-F9VMFIPY()mL=r+H}=81w!IVi!u=+ZR>IA_zZ|6w-!KPU*tq}rutxJlDK>L#nWZS z%1HJL7UJ6w7&|tKHqlTyDSD7N@4*({TDl!UAZ*f)m@YU?c=r0sHREnErc&h!=L>Dn z5A(3-@b9f>J|>evL4QaNGQ92xuglfgOaI;Oua3_vp`|PG%q4i#^$du2RKC@fE(gUg zkcI**LIj_kaMttMQOR=pgys`R@X>7dNvs zipWLNAEk31+-JJmA15fZ!w>@%_7r~Gq`p92`}!>JfH^n9h+Wa9owFx&L0P0zRvX#i zbJx%IH(3{xWf4IL>y~*k>};KK)$I;k@Y74)3iM@_QnmxT?Ey*%#mci-f@DaD?^3mb zMseBCqL`WLHO!Ou9=#6*l((h(US-We#WZvKQa{P;9TIjpE%I~Ka!N>cO4MP-mEVAJ zndzrfdtR8WNvb(jmy`GR2Jt$~xrco_$q%)YjYnVGFCWz;QpA_D)&eij;7WmXhoEG2 zE7;jtn*-=rG3&meM*0DB7h{OEcXt3<-bX0(fQJS`b0gcx)j)-6FVfn2ts zwOnf7Zxd*)W~_sjSu5B$wa!=Z6Jmfj9e>47I_FjC=|v62nGq8Yiq8m$_9lgcaf5H` zqBZG~ONIm{ljb}3-&^<3u*4Xz_PK{=V3d||t|{Pf)oEq#*oaHp?TEl^nix9q(u|aY zNTZ<`R1|t*s@}!l1d%mV;m$3{VO;9rG-nK!;T^NMNAp3%uKpGIy^16hkR<@``X1dr zKL5-Le@qQIGj;s?E@g1vdF9CyRsP}PBi>*jDQS~s9CztY7w?c1|NLwm=fj54N15t1 z-_ukM!Vn(bz3aatNO$CbRCW*4UvzI~P2cQYgt`6asy>B6PtRI?qqUP*GZy}4Cak`C z78xUx3Md(YsYA!=m_0`ol@{PIH&i~ISiJ|*IFV-re~_wL#nAz7%>O)MUb?q-%2P8q z0()_k91pBJ3K#L8CVb+Yy?2_-K0W##c|LWFMr6U98{62ty5hfL6hx^+lyz^04#+Td z4AD9HqE?q(3?enElws$U-WYaBNfkFXhHOs(DlfZPEZR0{d2-Dz1RX%cro<_G(9HvE z5xa5XUUQpX6frV?T>l}_;wxoVl8B-Gv3MG}jckIzyst3J^9X1vc_ZxRd*>SA2*M&A zt5Qt-+34f|Pcd@3ygc-l^Kn;=Rj1%cGdjD3D%wb_n|!)bxCZ7ZcdYdbf!w;}PMHyEa58KLC^H-$4U?eU^KZjYZ_HxX_ z%HG?}$@&nG;=fpwxjI!58?Q^NE|v^wuI~H3kLFW$_Bi44dU}Oz)2o@Hq9=JRBnMqQ zFDo~oB)SNdV^93T-(cmv4=4AD$b*&5(94ngClS#__<#GpSyRJ zr{j#Kn9*)5ek1}kT%k$+*5@9&IidM+H9cp2F;omVf==;@-fO zRx2tG(H+ZrJ;Nj&24ou~opi|-RR%IKl5E!)SBy~_EoRZxbQ$1wljm~&DV4d-O77QB zKptuqIY6`uyHkzte}&iJEs5iS9#70BV*Hw+!OB@q10+XcjL^O8*;7)4Kv2RuEHtAS z1z*m)1zQiE>>*Ib_a;o4%@K0XU?J?5bd(QpZEZO0(l6lp%)Er4gmR~D5h$2SW6<=)E5i_T1}*B8xKCe1ocWB&4hf}j?jabc2O zJ`4n+fDOJFCfna2QHwr_y_NXC=u6|%HmUOcmBLN1lsZ(O4!)0Fr zYatJC+HtBDbe1u?m0V19xsqrxT#SE^=N;Lt^1wSNnE9pJG!sX8r_4z*-m8GU49_eH zbVH&0+S}9dECplZI2yveo7aiZ%Zf}7yrO-%Y}=z-Ol~41g7N#C9OnQwhvBSTrA_ee z9a9x^5jrTtx8~>Kv(>I`8F-s3^|fWN?buoM26Gd;iza;?HC4{3*fTu^3f)3&uU2UR z2ve3K2M@J8{aJjo0OY+MPR7zN+gB(c$w$Kb!RoqrW+TT_lf9IVwh+89KU0F-TU?Rw zwJp9h>BCEA)>58fQt*0Iw7tE`+g1~Xexz-t9`2>pc}UXO2C=eDiT*uUT+qa#ct=r~ zXFg+6fjTwqrQ{gtDRiV+L7^;uh&GZH)xx)zNXAO@rF04<<~c&Bcld_%gIyhH{Fa}7 zN~CEecC=AbW76u|J2Zr#JFFhTULQax`7@mjn5{K+yM!6sD8w&viOGv~Saob~c*J6l z`(zfuZ^Ak|(Q!N!N>4Ic)5pqVP!kO@fHDC}B5Cpj2z|oHyri*b{@pa0bg)>J_RCsb zlLiW?cEV6oM+nm!##E|BHz)zQBSOuj(Hg{dSEIbcGZX%IBR|@IwFq#npp(9)?;?2iTEH@+M_u!NLS~ozWm)hID zukREV?6TD@z-C8qy8*6y+oAf}`*W}rwr)_G9dbu^=4vrA9`=b;xH1xW|I2o1gwT?a zg^3&FZdxQ0zT5$=0(VN=>;ekJN1-qMg}#rVDEW}ha5(xt*O4!*yBeg*yJsv*FQH=Jc+cIihC(lO$syFMm z%D^VgpUuZk_=uB#!`cJ@Q-%gNRz7N4$wdpv(2lpztnd9Qb~0>1Tg!VE)zgLEQybXV zI~??|MZMHf#vWDTTuS^bf2sQPql*KswrW*Wa|lI5Q0 zUrm(|DOp*es&H0_1yf;4GfasMkT!7e??b6|;nl6L1vWST(KVEq(A84bo$zTBP!rIw zN!s&el5g?7kxd;&t+f2R?tm_^`dxEXp948Ew)Pi}c_K3dsD|QwJ0n_LSqP@6!*E%1 zyt_k0Ix^p3NEqQTHD^TsyHcnQNhClN8>a6SS2&IsO&{eQ@?c#pqgQy(tnPmVvPQ(@ z#vu~f=;)PP6vXfGfx&&B2eh6lWm)PE3(1k3 zxqbLrpe3pa_zd*slE$82t62v3`FZ|ye%iHGr(jlkb1TlufU;ETiX?{fm3uC!ACkSy zjlR|t@yC{2)w24TH(n=~k(E{V!gY2Nc}4cK%`NLg`916Br$8Hl4-?qtMRPa5)m9M2+00q4b?X+w+PcER*4(~B=h_0^Gg|mo&Tu!T9%b^C-}%W zoHS>Cbtqxa&HKxNGo9NA!kbLge+n#A?hnK`wd6_l|ex6>`<$@0G|X zmy}!oiZ4_u(VX*5Id|?W-oEf6I@xdORiIOAy4IHA@H*F7<;lz#$aRCL4)tBCxl$#k z3R{W=Hc^}MK1%or!@8r-ys`XAIdO$nc~+L`Dpd#jlr#3HEmJ#X>U^*I+zEGu(aTKhPJH6w4hUmK?!nQp?cMbqcQN zlyNkQFY|bP9!3HPLX(aHMb26#4Uj%~#SEfy4P0dLy-^HCKdv22DbGy=Q&Uns+7DVB%mh2qeQ)se%oZHK zH*_WD4tqM-8UMLj9XjV)JQqaQcjn3lluwngf@8l5$*H;`HQ?s>Vr-60rnmNLrdT4Q z?Y|T2=(v3AtYAm$A+S8R9xB$Bt!9k#YRI+YrjXL^?6F?8m%W&Gpkx-t(Kp&L&Tw-AC;!0bE1X}6n8i&D2}cSm`$B*Xq<_95 zKa;1KuqN*9Xe;|ujy^&wQ|}fIiE4DoL6+>cm@I$>)hql)Beb8}5+W`qmRE$neMG4a zpMaX>@5NRtZ@h#Ru6Q49LNdpE5M31SIjlKTwDxH%-FXb!`()tSOrPO|y^@wpQa$a@ zmta^2rfiOq!WCX1U}FniHyj)Rg!_r$de-uj`}@W@>mB7_Ur8F)b9x?>(6RxZ?gHub zBh5i%Y$%wu*BwHp%(vm7QEDVM^l&z1QvZ)|VH^&^k)IlAKE?3G$B`YAQkwnT8%t)4 z3dwhE-ErHY{9_~ENp~3O_^1uK%YdIk$*gz+5`tF-%FFb%Rqp;Sclsj$Ym8p_*G-;P z1*avqY{`9?nVmiGd@uBq#2lImBX0xbC~#fqZd7+OY@SW zbY+?0@&j*CvyoO&Dh|!a`j3<%f8;NP&Os|s+wd_gs!{EseAL-2o`YoD^^XSa-{uKR~%S^6*>A5}heFuUO-zH^|U0*VeTPRKPPg~F2H={o&(q9?q zkjV6`n*1+#N{sJ>fxQ&t^YlSV+jkY95~Vex{Tb6!;`WiPNYzF_)n=GhNXE6D3sf>a z?v?Vla$IM&fvL!N^MH)oZKC#uHJgcWq{Wl70nu!W_sc% zMApau!qi`JU^!8I>NPle5tyl<{LI(3f=vv5&!~x;xbY72U-`hCGOh?*WXW1;jp(a@ zPza*I$NhrFrJ08fV{E0-g!C%~Zf!l$m{x*PN1cgyTCN%}V`@B7F|tx$8Ng5Ekindg zX-9MbQ@1D^Y|3S=P|6G$F7po>=XuU36KD61HbP&u&ShaxG;fugz zY|ceYxioCA*Z4LY zlj}sFUe5Bf!+L@Rv?k0wb?|iiBrNw%F@#0y-uw@Hs)ZM`MTeDGmo;0S@7@)Y03T`Dq*qNKKi_K2_Szp# zH!t^ezmYCstIDUKVRNj~t=65pUA0`e#eYdshKl5NVgl3x9$#*3Wd+gPqAqnP+o3yr z2RP#w>PMJoafZuy$6DFOMAjRPn3NR4M=K-Rsfe-)|K_AkVzi_Gs~;9HbfG`B|Hu#k z^81(|AjgS(y%rYvm*9velA`?fFYDqQZ5UG(+-Tj~PURjx0^tR_KT6rW^3cMqt!OqF z`%|aWYFe~4sn7o@z40ZbJ56j^)6J;*G%kr#KVZ9!Ut%EhZg2gNXU+4|T0Cq&-1qA7 z;Wr@_zE2g@{zU(vv&5QH>P%jP8x=qyOXGJO^HRreNNd zw#?Pa(`Q}MrqX^(l|Evz##>hZ`NpTcmDvKJ5@VI*m&@6e0IGTrDOw2e^L$>P)40;} zIH6w8WhZCvJ>-X`Www&%GUtZ*b;iI8DXlsFsjKk40Md~(*a50T#E9Y@Go<4cND23N ztkU~{Niruo{aHb3Xs{pS2L_bY>0a3H?{{oHX?@jRF<%&F@zl1Dtsk`}*7HokRbAbaf&p1;TjMYs<@b`?wRekE)zXjBkD@-u;R5@G76O zQo^~DJHq42;LNS8<#^rQC$hx_dS|5qm4@r0;nlKG$f|pE z<)q5!pr(!auC8hws}YM&!;|IWtYY{!MDfq^EFhrq^{eUYWtzu+^}-kHmz)-?WmBX&1L4}&fk%_2v>S#6u20FbibjvC7 ztNPp&tax32mEfBT)ZI8WB3WGAI)A?O#z;4~1q6e-pAv2K423)U?IWW*d*uFYHJG&| z#QB=4-Hm$h1{)(@ZvEK+Jjrj(tieAQHkl*)J&Czd23cg_*mM49>jlrfXZ53m{gzeQ z;QncnQOD?tgI1p#$nE3Rb+&VS#qEJEY%%TWJSVqk#eCVmj=6udPM^D>9$J}A-p7Xv zqHkIDvZmc|&z82MvMui?1pQV+{U=}7#_d32N;~{g4mrI(2e+pGo+SsZ#hvNa*E3pwJV{x~D^Uzuwe_l&ZN0^kD+pK0FG#~r2KJ5}38)U) z!;QI3&{2@#5hu9;EXZ<4LNmWcsyCbK4W>U)yAPGEk!8&lB2$j(o^HeswTM}5L0s@r z_&<7tBe;iwxeJ#S>?W%PWd@reaXDlPs$hk20T5ut(oGO=nDS#hhT3o*>JL9Pyl%^V z(R@FXu%}lVoyAtt8KlAU@@9uxW``_OUhP%#6=*0|{heT3RXL zRUBb^pd+uxikfgBjdypY(0ZvuA3v=4GXw+cWOU)A+_F82r zZsVah3dIL7KmC{@iS;Y$(Al~C{sQz*@Ab#Nrxsj%HWWx<$5^%LijUUo5_xx0LtV}3 z7drNaRi3^@&TqY)i$P_Ms2izt--d6c^ZIeEk0Yza-yeYr&dQ(pg-wEtR`m4=cKo!^ zvLkKX3~|L-zc0Xp-t-fOg8#vVOoUHDjkUPRJ#y>97k;`=H$H^Lha-f~Uw4rrt zC1;8;sIM|H_6c+iGFxbe;Ga7N@ZLf|DLqUePq7GB{%Fh&v%IyurBOZe9N;xD^bDK05F!(DFSP;k{r-V13p41r@XbV$3jv^Fx_Fk8PPHd@7MB{Me z({2c4i{!r9*55B5w&yhjG3=9*&S{@DVM?)o-e~ga7L^LgyLSAJn(?VVj-t9-4?NCS zhccmIs>I3FbAXdr%}>=UL3aA~@lOuY`zS0#vrBlf7ekp4`_agpX*d_z6Q4*|pj1*htaX z+WG%gpQ8F{VBuKjzKYSqr^|g&d&||%wTm8&TEJT;bLs_k8bs9(uDGK6h&8#5C^kF-M|5fb> z=*~N@BMc)?uBA)LIzYD@r}5=6h$QKgk`zL-EK4^WU+-E3n#fH3kK4(7B%&Q59Q@Cu zaUuWh{4V6YYwCEe*@Gx6ymNfFLvbV|qEbR~2+Q==PMVl=4kKN|x{*_&{~l1058Mi%ONdx`#B`ViglS zlY^-$FSfi|e2X_?_Q;$|PEtiRR{9t>LF0QzMZY@~VKHNt2ybdCcMhURec3MLzI;>T z&DUaUDXi%*3*!Nfg@2?(Cjw42A1lALyYQ)T*dMR>eqE&nQyYGm@uZX2bp@t+FAOeW zR}YaaPLU6Xq9el&22Cu%JZM;YzJ<|}`#yx!k5)w9NOr!8bo2c*y!BO{4zv~TvB#Py`$ zwD)w9!x6C!Zu);M`Wc)@GgeElKHp^|4$0m&Bz@;IhI0vFdjzgZ^|zLMF$m18ycHfS zQ{=)luDK3lsJ?2aw_$A^z=zMP}Ck%8jgb$J&0;y^Wg9pse_ zNJV&>1|{E~Ym>UU84c1ai76dP%VFtTGNoG5QvAeEWSw91gF^VaW#6hNuiXAt{Mko^ z_S6nMp!@HgRFfj?Uocfa(%BOQQ}t{;cWWgVWNyXKjwB|O69 z`G<=S(T)r4IdzRMf^+q3r(>I`IC+kd5*8pjlRefv4!fpkQ_^iJ01f|KOW^%I$;Cu( zj_B#bz&UKZMw=sol3^`;=cgH31L9R-{61%gPH{~_L4uWZWzROXxYeqeTqB`_@{2bB zgW#^|?j9I8U3t3bKs;FBwn?G0uRw}XN?mu?j%w0&A`NZJM;MKB!PE>;tHdkn!&sM+ zd@GS5azM>;+A=)B9|HwQbWF7AhDyw9NTdXfOM^M1v~JC=8cq~+IyGy{Y{KiU})Yb_yP=L36eVY6*#OvwCA zqwTRR@qRzkZO=~+4kc{((GG zsrrLE<0CFJVb8||(J3NgJ%nzc%;u0da7B??W z)jt`Jk-*qWbS+wbWbhlMbD&3Dw(vvL_e{VK_0n7@57umn)bFCGZ4~Wqe9gvGFbI{W z*{C$V)rjW`HhU&Ve8i^Iq3D4LbU{u-yOp+<*rrgdS@A4IPQeK4Hrs3|yDm|AFdY@O zY0O@!b_tPtA8ZIeT4TRIOI$#^t@=Ncu9r0Em#gIw#3Yld_tpkp5&5en#&z}q>_%}29!b!UQZY_Y?fwbFyT z7#hilTcL|BHAwl5TjiBTlG4%6=8~VOKq{L7-RGfCl?mtf>$P`J&?Y^=urM8)8==Nl zXdv(v{m))Wd|#Tr%lSjiyx&3UEi2G-v$|WBuCLab0X?o7fowyyh(q2h|V+(g^kFBO}X^0hvBg=VF^{)GFY>BXmh@ z=B(1of$Ene2m4gm!8#$TZZoTe zvImft5|>{sy^4IZYExDmXMX1(hs5sX>=p%iy@87JH7TL!^xvLA_0BnYJG~m0tZyM6 zzT8p=g@$QLtvb1FJ(=``B8<5D+V-=j+=-h1ucoKYP6f4d}r(uwV%Z zFb>$WN+`Vu#zOlVAW0k{tG4HL+sjq`BgigfS@}r#B3peT(u-E4?ES}C3{NKxsoGxz zJz2jZ_&MXX03X9d{bgAkjaw#U5CFq^ypCgU-*m6Y~1)TwW#~7XJqOt7U&;HdBwE0EFB)h z=uxhycip3PCk`v~RJrDC(V+W}k^DEgr7(3JIBbj&v9jvN)>2vL(~=kbp`Dw>i$B`y zr1b9~2(EBE%d`z3!D+l`deZ=>y1nyBt4yZk`A4AZ@0C%;n7kiN+wh>Vu27-YKO>s? zGd7%hc<9~#eeHNToOn?vy;bnVc{cP_sfaox*PY+wo4p`RS0Flo$BMJ&Op9?dQ=oVy zwoJnaHPYV6JrhJ`+D_u_Xh5A2wl>ASU?dw)Vq@b!mgzwOmi&{tY#o~Qi$9J$NgPh? zfw?vq9wPyR@*b)iLSM;(^}!l4-{)R2QZR zlK!SukQkr=l5=J!piB0q5+4M1FQ4}IzJ%Vvqey0^eM;EPGMUOxYbygA=}ul)65b^T zet>)4fBCy&>fz<~Nc+O67u z-Ccd^{OGPaRo&-#n`(0ajwTI;AMNoDk`ZJPxw2)8Ib}w3LAIp7e^tU^kn=!TB@@0V zktSGr)J4%t)@EL=sE(Q1q7Cf6JlP_#vzK{Ao#qY5UKh!&l;9c^lc7$TT!RdcbKE1b zcbQ?LY3fa)w~5?T?uvU3TCf%8V$<Y*DE*ywGY*4f_Bk?N4G=b}?2Sgb0?KPdmkG zoP@PfyiK!mN9e={zUik|yIYVL*3<4bh1R!E@I58^d(UAD+eY{?yf@LxX87ZC$PDB> z``R0HquZEq>bo|&vgH=4|P5U!Hv0har>ihUj#NrR%8wnkog29l)muu#e81iVk zIoGgb-5KZr=$R^{WKz)iYXj!uC3HZ6p@XlMGgpxP>%Mh@>Nmu<9q=y%!CLqHuFns) zJ-jHh5;Zdx>jyN9gN%X=_`Z1yNKk&x*z!S*B~%#WE+4aJ2c7OOQ93cq^O7yWYGfB= zzI;XEsmW<_#WYs7&Ra;IU1gK+*$*Qgf6U5L^`cAwcy=rgNO3&rcH^_j1@2ofC5;;t zS-%-{FP{XyD|Z{lGp$f`QW&udd`?*xrQmTR$Is2aR)VFEVNZF+<(KC)SIZ?7zwZ(D zv|K;HuJysg#I=h)WsxJfH2iioiIK-ABND%Vmrpd@Oid(njs{SJ4J!x#3UbVJK#Q)f-qjG7{U!ZrN*DxSWc@>wf=ge%4*+HW%> zb>MWb3!$=NWe`Gio@HnXseD+V?^FK(jOmCHXjBVWjMwcK__cxgdVfX%vBh2!+wSEg zbg2$&3mH2~>E}&Jw^ab~Z%gU~kEIyHzK8)?`mst+3;I6NC(5^R(B)}_t8@6A?;5q7 z5nP^tnWH7?sk(HFLLxpaP`4@&xj?GlQypWxX*#u9f)HbfL|QtZMjVq3q;7P(y;V;{)Q} z<37Y*s(N4^tFeLxKV?XK{CAjBvDJgNUuh7vOl?b@*B@B12yZwlAB#DbNNA}=rq8%^ z=bmn351EjzJD))S&}4~%o$UyBJUX>OfdD;T0-mm_MO@rGCy?w-5esHAB~wn;$pVgU znuh|`(&7)K5xVyeoU*OJV!vg9uB|MWRD1~MR~5&tCaF`K(X(#bED^J`;PrL+DOtY` zEAkByhVtXot`XmJD~1%o@=|Er-;sUg>klmt9-ohORGnq%ubMMqzb(V&4Cn{4k5(m5 zymB;KT6^jQBhn^0wNYT6OW-SDmv}$hjCOIAK#XU)p^Nt@(sxb)x}pONVliu9k|{`I zx^@bVn_oBYA3P-WM>}B;k7Yb>~%trGsJA$H|RPFOFo=GFq`; zFCHG{7l!Zh=n!p2Jx$fza=Ap$yMJjDn#E#r2yz8k6-Z~QjQ0K37<<5u3iqc`*5U}A zUw7MfOD(bmQs}bf_?ZxI=CO4uqHjA_A+ofz=-AV5iulfo<$nz!zO%TVhhvm(5Av_F@PL1YAGt^CYgJrM z3G5!TxmyK+Lq4eBah6OgU{}T0UtHd&JytX2A4`_O8(MI;qMouG^~Z9%I_X1_f)8hM z3YHa?eSVv=^7E@053F&3AtGZ(wZF?Bs_F-dY_-r^)vDg`eHyHMQ{R3#p>fIviz@5) z_r>w?$yc+XIW(Ub5_-km`qe;0Duh z!}vaqNl`riXi~=d(rD)zoM8THLUpKgF!bg!fXe@+no^&(M3$>grFaCwkd!DeYnQLy zGlz8BF#QJY5ncKOq$TkoU8#C!6Yqm{6Mx@~I)*2;#c^Fm$|GTteEZFlX#t7$sotuE z6s1qssl%c43}{JoQjy`YxHJ!o!>a{H!`lj=K_WD>s^QXREAfQZ5zmwLrqc`8ti(Ei zYz57ayIU7k3=j~e1y6dwDd!SD{|9jjd8-EKoj|LnG$O~79isyGaB1E|Tz_gU9JKW9>O zxaWtn%D}=YR;oi9krF6iC&LAX(gb6@rO}!xFlBYEu^YIb&O-Vh=+2gvP|1aG50~&- zNFJk6Fu{$I9#tul_?r({Oa$^X z0UBDKob96VfEGlH0WFZEu)-GGIp-!R5htohMck6Jbx(-iedUQFx8%LP`p;HXY4Q~GTbN4@_Lq~+V#|oGMneejjlhKIwkS0l%(eBFiZ=x_ z97`x5V}nZE53|SOO3;B#{S35?w4Jjp?AEkN05@^OM|uYaoGQjWtLGToCIySO=HcNYr&5-74(B>3bS~m)|dAgpuK5B1FlAc7-<>(9Y84VQKOT z&Dba8k2ePnyUU5?>0BHaS-jPJq~A9bYrxj|_OL5Q65XaS+ssq}@#9I=EaPkP$Xz3g z1aL5^tZ)O48NwhG$r!bKOeAnDSMRN!*oos4RV&0MuX7L~(kpqj&R#S&`S^U^QbFEi zt;Qh%H865%*-x{7b#lI4jsc;sLuWjLXa0lD*=kMhXwmLHxuJ45?#I?UA9}0dLTPsU zk8_%qh!`ia4?mF`XoNQx?>cVW#jBh5cb1J2=YW9lJMo?gQz&rmr!>62pdQjwtkO+p z*DuI$q-EU*39(a#oqr_rQ;O#w&v}UtuBX{VfqP~I9-O~N0s!Zcr+i&q$AI3dC4$mo z>AyH#4Mut5U3j-(g{KGb2XsDyxKsl|&o};XVpU0FkhN`@$${kgwYL-B%i1o7%Ub?p zReVwj<*AlLOrfj+t-r!lCa6o(3om&87#-4*-~340+v6~)_}vly&WNuJS7+y8upXq0 zhXFS73ah35@@Uw=F(QDPkQgI3j4+sECbei#U|P>M*aXdknl{pCvWUx@ev{^P7ONaDd2Za7ex-0-g0a9vY{jZPy)adUqrn|8AYLrT0wHpL-42o~~bI z$_N2(jYaPE>&Odh#x?G=o z2$HQQf_#`V=aOw=bIgXfz?l`~z7`RpoXTETNYGMT71ow`i?L}#-kmR$HW;wkqLco( zKcq0JO{z?d4*da)b4X)ivds!VZ?LyMxCCRQw!|l2nAWQl^M@i!q`1{Vedaj#6luER z{>Iz!s7cGWvCsKF!9H0gzo!j>>aNa6RbCcgouEme+gl6wDIJ<;V1i#iWd?%@RURmG zRt9Y#)d-)03|Q$+62XZ-_xVcluqgYA^vA{kLfc2FB2mN8ttus&nlLiH`$A>Q@o6jJ=nQo0~JFA!C7h$ zJVd^g)toq%+wO{T;|fRtHq+jL(Ih%3MXWyHMhxQIS>6d}!mXR?S2AmyBkNc*paRL? zhlUzbjv`vThwNo$@NM(4v6P0g6FkYCZ}Be3ENHSgY*xqEDx4eXY0sPVI+(o2nh}mw06y7m?B5B(is+MqBm9C z|NPw~#w2KR`b~rsuFe@w3B$ZO5=B^)JU5^Ew?4cdVG#LJR?;kz!%#iC&?Lx1^f~Wv z!4KmJQV9!eqIPOxsE^^Kl^0qma}^NsYmA>Mcx|yVoLP>+4$Rn^w`Uz zVzUvs0I@z6@coIUho28I6C024DDibj--D~$$7dO<-3w1oXz%Y&$HGDZ9Agg~p3kbA zt_B7v50GC4G1ZmgAtUYl+z=#;O9XB*rZ!W!rfw@}>0PLAdvTlcM8bG>9+CDA{N$sr zKJm^r)~M9iQi<=%Byn;x>M^<+JJ&s3=m7{1)s;1yYVbMSqM<(HtG`md^A((kXB$k^ zH23EJ=IjNuSW`P(Twv;xRAS<-I8# zYq(^E0KZ!mjD0WdK&Kar6S`^6HrBd#*CU!2N{?7#9K*fpvtzz(#un|<#}xhYs-bwn z`xoKc&;MpJQk~?&^M0Kk8ex6!93cQtHg2EGoMhXmZdw--0oG}lNx+DsYIu)8 z?lZ$OiS}D2!7T292bz@-IeTtctF*bfy_e$MABTU`W~_6d}JNovm8Yb5te z&YkI$#=%yNlwfLJ7a#nd@y7D1 z6d2x3vL{ecOqX z*6@jkRrcm|;LOh`IIcpu3a6l~3nk>oB(qWW7$DMocHAWbql>PQVu%zcziO5*@Lfb_ zVHF4PA|yKBHFb+ZZ8$3yH%NDBI1a+@UaC36!>t#k>HD2aL!igps09qo0o#bIqP5#D zWD4l_KkF^i3CQb%Otn7JG9Ar(|J?(pehRSP!ll)y1(!9I;hO;yu07vY>>wv-6blfT?umB&MTMHmSfZ+s?(iup=|H{>_x)y?AV)sFP`zUXv$l@fz${sE^j~ zb?+YhW#)SVdZ)F%WeM+xTS(~Evlqz3B-xlFQ<3-PcCTRZwEJh1AtBQAE8>fv@l5$m!qG)dhKiw6hyI{^iEKkvG~^pA51s%S^#su;Lz%E+0M##_ z@KAog{@6vi-j2Xb0wFdjrT~+Wyg%#5-o%m$4YzC56bRGjUsQw6+#&gJZ?^gX@0}1@ zl!fq0RXlKP7UkS0r}khrlgdW7CP+TiItdBb>T6#U8lQyNEYls6HyfmP1dG`ob*=&$ zdwl%P?pD!Fgjcs|>C>t3HWV6br6Tdl)4-955Fw@}l9^krX3}g%}n9e*KzjuH(+-U_z zwk|?PzK0lJ9&ri&f?}MXslT8UoUs<13y-)_^lbO{<$c$TwsOQ!0$*TSCl=zM$WH{)s7_@1m z`+U58f8gX4bU0rVUxlMl;_)Q0hV<(V8LMArW#_lj)Q5aoZyfU-pSWc0sCa+0HO|Bi zZ?)Hj)L01|PU_2Qd>|5+c!Bx_EBtOXo9hof>~zH@9mtCC#I>7l{JPZsm8yTk#P0si z(O}85^(H2H1tU64WBHrNMkGgW=L8SJpy3ddKl&$4t>l7&SA&Ybzwg7vbpu2~R76bP zsA&uC;Q0-f*cBBVNvHH?ge=(*Vd72WwAn&f z`0tHlTZnH}*+D=g(JSs-;>+(04G%iEV>0RqPv@VZ*lOJ}2Vl&vjS$20IlZE(KU{&%l9VxCcAJ({H@YZ2 z-F;UB2evG$*kv%L`6N!!**=8F2i@`pxUZim*-Qk#-QH@ObilBo4dMBJE>;5Lm+)0!mmgY-#&~1GM>|-NZz}#(5#D=`+8PQZJz_x;LoLFC*ujcsP zpKv)IDGJkLY0&@7bt{oSw}jX;{&AGk`{~X!Nroa}cI6;f+gpkcqLd(he^Px%V0`X% z?O5rd%;7h8bs!nJ6wYJYRO}hZ?oqO>cn<0OOwCby>8d+E{`pdAt|VIs2C5NnJvUUX zJ?`k$s%>gH)brKG4j)a!A%BpzpPCaO*O+-oUvelD5bH3D%W&{Ha50MZHNc+-#k!dD zH+xL!C_|H*$e;qG<6&tyDGss9i=o{ZH)Zb^@vHpk=08|;6R1E~rxo6=mT?mWl|u~C zz>Ig*{NJBbAI1WTOuBk$bMCOW;waJoaTO?$gy)$xLC{dWg zLHXV;mEO)m5^G{Lm(_uzvk#`&`5POly*G;8_stwsz_q+W?xN+N){kn-g%HZwgD?rM z3QMuXw%lveN{!?8L?)3Hilt`Q#8%(v2hziR^0?LZxtajByf$(gi zwQziuYUGlzg4P=B_!lB*xDmAn>HI0Y)tB-)5ZLNxw$V6krI|qia|=&^18ULrGiN4@ z!>ZL-8|t(aM|HrgI`IMaS)XWd@rcYz;*Op*P*v#(V>&D;5Vg^^lv=0G@F>CfW|4aq z`^9GJw1~u7fPpl87A7)=U)S?O6Q(CDP9g!{>IJl zke{FCzZK@{K;yQ9+&Dc)>^BQkwz@TGIg+Sh+dr8Da+R=b=|X6lWa=m$ZVkU*Fg6uM z(!@%ME@koPY2vd0k_2t!k+RF9VwJ%Is14^uR) zO8rWuPkx~Qyev)gQZQbmqDnKLyu2>2y!;|tvK@q$`gtI7W+imOj;El)IPgsWkL|KBZ~Q8}g^qR>13Y;3W*5c{4miE#;_e_>bZy>_v1wYj&)41t&6u@L_Z0bSBtf z$>erIZB)B^tEtd}ZhM^dIA8)vvvW3Hm7>x;?pMLz?+OKVM_g{pGxM+%2V$<| z1PV#<@&NgS#A*I_3d8@O^Y@~EOU4i6{kLR{$%-IN4IDY%qy~7<0!;`ejes>ku7U0b zlP%r^KJ7e&^&&zclXtW|G~xTYGiB^UN7qJ97lU+$^EPC3 ze*qN~g4~GC7Xp8b?ALEJjhHQkzJQ`9h13%KybdRXiWThXOyV9yUx@D>T(VBG{~Zz~ zfbC9^TPdU6&u1xk0PK)kL{SR{aAOP)$T`1J0XPykO4e+$bs*P=lCLv4!;J%n(#RdJ28$QjyXDI2sw87&_7A>IlDg07Mor|z1MTl_`Wkm|luhc6;)L3&r=F9j6B=_Blw zBEA=HhbSwCni2MtxWjJO5g47=#gpkSwbN*!B+^2(x$mfdzBwBDAuU#v|HO00{Di-R z_9i?`+S0U`TVtQYoj@c;LP3Z%mw+AL42=g$7M}M_tx2z_@`GlrzBk)DLNo}fZg{OU zx@qm1W+mOYt=x=)SRt_v`roZG?(kTM4tgApJSu${ZZ+5)aslB_>aUWOsL8yHns!cfy;MeKKk_jOfYV z9+5v?rjRp^v+Ejt|E+ZMiAW%;Px~n0$swMye$i#~|IAYUqdw~9ZtCjp?fSQmd3XeX Oyn<+qjB@JoX#WMa!`>AD diff --git a/verfahren.tex b/verfahren.tex index 658f48e..ef6d432 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -86,6 +86,32 @@ \end{itemize} \end{itemize} +\section{Funktionsaufrufe} +\begin{enumerate} + \item Vorbereitung: \begin{enumerate} + \item Argumentauswertung gemäß Übergabemechanismus + \item Sichern von Caller-Save-Registern auf dem Stack + \item Argumente in Registern/auf dem Stack ablegen + \item Funktionsaufruf + \end{enumerate} + \item Prolog: \begin{enumerate} + \item Sichern des alten FP und Allokation des Stackframes + \item Sichern von Callee-Save-Registern im Stackframe + \end{enumerate} + \item Funktionsrumpf + \item Epilog: \begin{enumerate} + \item Ablage des Rückgabewerts in Register/auf dem Stack + \item Restauration von Callee-Save-Registern + \item Freigabe des Stackframes und Restauration des FP + \item Rückkehr + \end{enumerate} + \item Nachbereitung: \begin{enumerate} + \item Abspeichern des Ergebnis an vorgesehener Stelle + \item Entfernen der Argumente vom Stack + \item Restauration der Caller-Save-Register + \end{enumerate} +\end{enumerate} + \section{Geschachtelte Funktionen} \begin{itemize} \item ohne Display: \begin{itemize}