From 6da277f993c5c9724df438582276618bb8afceac 2015-06-25 10:01:41 From: Hannes Muehleisen Date: 2015-06-25 10:01:41 Subject: [PATCH] mc3 --- diff --git a/defer.pdf b/defer.pdf index fc8d122fef1d9e73afa8920313d367373bbc3060..53bc24bae5c0caf93f828ccf55c32a7889dbb0e6 100644 GIT binary patch delta 5075 zcmV;^6D;iLR_Io+d=LgoQ&CqzO0$9xPXPu>Q&CqzO0(Ay6ajzoPqHlgJ^5LZ71@$) zSyF7v_OmTHu^l^3;v_b~iH+lY2_YnS2_p#%~_fi^%WZ6liy6uwyqrES7C z?H>A}K!0v%OLN-pCa_ClY41Fl@LA5Do;^ML#+p0#Gjs3UduQIf@s=BI90ddH02Y*y z4a3)i`dI#o;Mjl2*cK^+YaIYw$*SvDZ^+<=C;-1_^|f19W$>IA0J5Ytqr)pRI9x^; zUW0@TPHGXBt=X{UrVMU5g|On7D5Kl}O{MrY(nKY-@d4DVAl!FCpG0uAg39WY?V(g1%T`~hV-AXwCA_1717tT06{ z5{p*FzuCA^%Y3aeJoF*22w~ezLpwF4H*w!;i&zv%1T1DF9{x> zV$%JnkC^&M^I0!>xQ{3;Msf+otJGRjYqMGdxuj$fkjOrP?9-6Hw#;X!jelWStWPr3 z+5|~M0$YDCGg^$-QEVN>76T76^haA?W&nQ_YT<5d-;M1Z43AI?0&GOeMx<;+%0{Gc zumZ7O)UX0E7Um;Hwa!CF7SR<4fcY=tcImYE6{vUgOVu zjcvWg=3Zlcukm@(0OiPLmArD}i{-{-x$%i|<1OXJv2tT&Irg4_PGmo!)?ZVkPUDB2 z#_x9;ALumh>@?ooXAZb6*PaqPh3bYgP_WmA*ha0Is-M6eQp%zkD;MyZ<3HnF|{YjkmKT|z(Vl@f09GW zMSoI@;5XhR^VFpHP5^;o6@M96F8-paQ#^$uyxKPvL6Ym8ydg+6WQpr>#B~*2;s}xt zDkjli5fK*!o);GcZV=~ZGXPGim|0wYzY*LjZJTe4KbX_q*zD0Pl~k} zAyw&C<)4x`HfJ-S)W2QjE(VA1+W?UTv*AT6NAzB7gD@oEj6XdRfv1VIy zPLrjsJ@y6FkV+hi`M&5WPVDbm)SviP@j#-6HqyldU5U^l>FWLy55bKE~+a|b;YT!UCJ(17oB~4?V{GrU+`?X z@y6wwH!lZ%3ov{a6ywjv-VeC|>EGe+JpTTaYQ+-(@=`CRf6A8NnmI;)OsY8wZg9Xh zcmUrg+u&UYffe`h-;pN7kHJ~^70iRH;1sT{r^p-_haRYd4Wtpu$WI^)arl2ayo5cr z!bX&Bhp&PYdp(za1!-Y;3X<>vzK4sU5&ChIJK;e36g&cdfQ#uz(|>{>>_mw-)4zoP z>_9F9c5vaC>)?7)$!tmQh9=ba06Yipl7e&-8eJq_u z-7?IER+WDU9)d^V8+0b{I+iIoPZp7-tjyM?jp>^7C6qUz*A(c2tFgxhxCLkO0K5jL zvHS|PmXk19Os*$8$T)eOX=QUcf$vFw1+CPgzZZ`S1m_tct>h|lGx;VtMb3~9 z8HO=4BI@)qyP1cvoMg^0Z?bl_m@Q|Mf*LCUqLZ!~F9Fb#-WogvHb!RLlO7u^0<&|I zOdA*hX_I9eN`Kt0GP%?#i6zC3B733DT9BWYn`1GXvW2q7bdDkm9nG zcq1lDNpjVKer(?rlLw^4d9~fGw)d%RBetDR>>$N$Yky)=f(%LVMEls9@%T`zvVxpY z(0lsI3QP|4Miw170d2$E@O1!fR3e_R%dvQ(P{ua$SXX>_WukXMe>_&?bPiNjBuLwc zd`$x6)`ZD7)1CIiZQHf5A9Yt&ti?Bb0`4%Zlvm!7RN$H++8VyPKfw+UB$y$p!{SR= z#gf z+Mbz3=Ede3S|=rRa;v;%eBBWG92WLZ+7-L{21!6~|74+3s3MgWCv4jroamGjl`WMm z6gD_*+cWUJ+cNZ@oTSjU{nW1!b}hW(7eaN*9e-$MLK;z($Y|?qT8++z@sZi+K70lU z&T?%+*ETe6uE%&Jc$Zn0#xLS$(U5%p&!43X&rmcj^F^Rc8qO;jk-%k|$qxKRtLRFC zuD5@JkbfSa=e;DvicjEMhF!6|G70509oELMHzM8&B+PPRYgUESj#jtRxJl#Ec*n|d zsTy5cg8}DUDn!QU_&@-sv#5V9)_wiXgfdWclf@k;0iu)b9U4B(*z8A}D`z1;kQoKf zpgVAgf$?!V=AwStnK(HyHfUt(fWz;ZM*LZsZ^1G4F6cs9xs#b5IXfo1$SLOAYyrn`-{$w>8N-RE(EITm z%Hk+(#~9MVYw&YaaR4WDu%PF;4whx?I*rglpirxO-`T#<=93K{8aA935B{9|Sn|?G zeAh?MB-vkHcA*Uf&sf0C;j-{XDWW*Y0ajnl=?(~bqt$9>4-ic?2nTe9lU*Mde|)~v zB3qmxCz-yJyp(FaGo_G|TvkfCGu1*~zLVehtp4NwERT&d*^O!m#+U3@npH z>^u~5{BvX$ILVQThj2QDJyYg$Hk?Ltl;qUa?e6ybwwYg}>WEBEuS_+p;@5mM_VFCp z)BH*(f}}Ffm4lZr*O9fk>`G?8f9V6$2YDQC(&XivTzQ;Nn}@z7wnBXt$8&pT{az*%Hq_gG#id>%iqi}45{OcXl;XQs>_TsRNS_Qo?dJNlvd zyd}q4M=UvYId!yU{(<=i0&ljXjcr>M2WQs01fxC#I=vx_H?bk2GiXADe=}nRJ|FR! zqvoj3cPrU62!opkaxODN%HASXagU z8nZJ=!p}+?Me~S;)jZGW@pNxsbQ7j*)ir|`2BXtc(AvbSHpWoPOsf3kR|8rx&37nu=U z3nqvwWx`8kWLv5B?Xv7`vY^c-V9w65V5SP%$4n+DG+Tb*y!HgK!pv&GWiXSg%~3R@ z+vlsU%5~;bFXvnGtOX4u-+7E2Js!1vUG=u^?W(t`|ExP-Wm>AO zsGenYhz?lo@FHB;DMdYtB@nuHBa z&2qWHN(9DbbZgu>Zj#NpL1^MiAivC70tMDwx4DFP%2@-r34v@A->fYGizlyy=BS#X z1hbSTs`}iD4-8_;5)JwgT^Othhsq*hSE$ybW^aBTX0D)-OWmQ`aIgl?&eYK;70JgQ zNcLnvh%jB7yY@vre^sqpQ}ETRNp4>0`k>#hcjXsXR(z)+{1U0`e|Yd^3(etT+TeSs&tsMb^H z?r&_B!dnL!{J5uUp&YAh{Ql3vZ@59lEgMYD28T;3lO@R}f0=u&4%@{hf8}O z0}jDeruV4Pkh1RMJ)-oE*>nPLtK9*0A3SfyT`=0*+^t5yeDVBca?yMdomE|xgL6km zsD5CZNXVkPMCxr6mR9{m2&mq=#k3G>K)~h9BFnmNODKLqg#>< z65pHUFx+Em>nMsS9dp~1NVu}BD39k1@t#~$O}xokf72w2R+G@v9c}QI>wBq_vgERW z|L)4OmCW4AB$=Za+m&!6&~mqOR$=BUNO`uM%k^{wc#isTKK0?0dF;a2ppCw%K5kH# z(g*8q^LaD6R^41P+bm?9oXJItp9~IGS7AC1Qm>+qF$1ZK)%~*=zhr6tS*gP_c}QIz zx)KcBe`zyO_=NN^#o1#o_f+QRXV3La@;o!LZ{F%gDZewaV&u`V*t{^+xHOXQy0%4e zh3l?Pg;vz&IoCIiRfYyqb#@`Qcqzko`Z-><8DskF-B-oi-7Q^ZO}BMEk{X^9)Y=`| z@FH?_*uT(M7)il`KGtqG#C8(f!TM|3!qe}}f2${UnyVOB_IK=e@%E<{o>c}4?cH`} zfA-_qj9n`_%{5{$;B0pCu4ac*DrMWi5tPat^$tmr{q>F-8bYofL%7f6uXH(bIaUbf zn7mC^k4XsDI3<0pQ0sODYPli@M(){gj>jKhS=`^#6X6iiY+j?!I*hU3C{ ze@mSOUvg@e(*W>;oVv%DJ>@ogxy@Zd3hkakZwc|y9fNKYn=lfeWPZ4r)D#qxFA4|7 z?MgI=YfhaZw?UVi?LDwuV6U$2>5I+2wmz0x+)=MAX=p4BEAdnpdE222U5#06cQcG^ zs1fzLdzVPno_VjPD(5Q1;m|j(B2O*Ze^hP_O`n}x%{b7L1n;f@ZyD}~24YrDyeAO6 z<{@}pRzSQ=fT=1D_dEMb`{l8M-P~^exZ`;7YnpSOoOWTZX|8#Wl?#U=a!9Y$=tCN- zR<92gtpjb64!Gc_gn{Q~bZ`vwsr5VYnf{vkM}6|gCoPtm^&3HK`X z07CM!3Ej`>a>0X$C*(weiQv^0e_b>*khp_+{KO+rxtWy|$z_oeB5%1vA&0M_xO$eG zvglH7iO+X8=Qfjx(H zIJki4!_@UXe#YTo7+X$mixepuD!o)$qR%x54o6mL6W%S#OC`a9YeRj~Jfkq0X??EF zLOdICFtAp<8I9qsSTEj-(SLptq~duK9}TvkbJ2pOEuFr;wHrn^S1#PRVfecL1~>C8 z%9AN5r3W=IH#IgjFtgPtGXg^~VKg=|GhsMlVK8AfH8*27Fk)e1WMyV#FgGwaG&VIp p3Oq4kG&V6aVK`!8Fkv<|H)A(2Vqs!rWoBeBH!wFeHZ_w=D;+gPw&wr< delta 5088 zcmV<66Cdp8R_Io+d=LgkS3+4!OS6IyPXPu-S3+4!OS9Jz6ajy-ElZYVzb8LSvLjov zElY}R*?zVqC$?k9Nu0zcII(e@FCl~kFQFt2h5QUGDU?7$D9{E7rEO#rg2Fcop|nld zrrkq76zIJ1s(5C!1(tiE>Zstlg<0zj6uW^{OE28YWC z!)uU`!AUK`(lr~l+?2sBrw~?LyK!WOpK};-`-b70X7t0`h)dTEZy3$U7v~`?y?*27 zEg8Is@@HRv!|04W=?Bofn&Ew_CfLq`O`w7OpaTZXSQ>u-gg>Ax2Ly}ytp57qjuocp zMPkva_%|DusqkNi=e>~{x_qzkpuPeLx{u{4)IbVJ#@A9qsUhRRD;%{SR#{1?_9emV zQ%t%a^$}AaX+B#{9_}Mbi;-MH@hY{J)Y`1pKrSg+1SGOgAp11ruPyT#YU5uR7VDD? zwKhT0kidV|%ZwJ|brf4ivBki{4E@p8ml?nxg<7~9+jnDo2g4)Of&d$lvJoj8k+Kmf z9IQaB7d5OvjD`7#QLXb;tO~Ja#Hv&*fZ76x1yoFAw39@uJV$;{y2-+4OyVn>vc(rj z7wLv;KqS?ZyXK28k;g#-Be`3xzoKMI#&;#-TathAZprv%$@mhv1A38tty&W$yVv;h zUSnIYvANe+-)nrHG(Z`$StYN`_+ptcS!R5q%y>(gajeW(S%$qQpcC0osP)$rsnhsj zr}6up#s@l$J3EaxcN$l98eN^nYn;YXr?Jp!Op@)#P4}4gnLvllWBZKv>_ghcr>g^E zOOiDF$1_3ER}mJIWbb5O1%lfq`<@b8tmIZG=LpVd2b7}&L~;wnRJfH?sqiLJrSku2 zGEk0_nH4mD!B5;sE`^}VmLaH)QZfTIlYJf(=Z~SG>GC8YlVWO5k|D>%OM!*r2mU07 zl#BkP7Qt`Ilgv|-;yVEZicS1wV7d5lgfT1sE)V4PX+gtBk{Pn7l+w@>`#&>2 z%_y(&tJAA)nkV{jdfahwR$sMPf+~qpDK1_utPmCp5g{a02_C^M6bnT{o;F8o)@ExB zTD?|(tJP>ZE#|E@FPZ+e;sabtc^WeX8jjYS+BW0rAh?ET4GhsTm|97a-kBhG<&QPn zn{%2hb?vb)sD@PHP|Wv5Pf=oj*P{N!w~7W5HMEf~8t6)d7D-q4pCIp%-^XJo$Tg7-?@G+;?N5?(@wG{0tQ}5&D3o~)2?=Ew1-cST)N!C3NwE{qM*)t* zgrS^{gDD$U#r9^z0yqka#VDX+QxH(a0?d>u_68N3*i#;lO_XDWBD^2=s3LoKKNUfT zXDqM6uCa*#Rw$)UkSf*gDt$s7s7M_s7(|gKtOoigYJw;*5v)TLK@t`~!OWZ2Qq={u}zt6D`QT8%9HUWp?ef<-Ml+oDaGG$p@#(+M( z>#j}l&*<8FMc1agzChPqbg)fS*Dkex-{*A2DSH>y6{ou5RM#$Lm#T}-KE8HQ>*g^Mi7t=pwi*d~yqdz9q90dH4va$&)WHVQ2&LpF5QaE^d>vlG z9$R4}%C^H-!G*n^OTU7&FgyiG_yFI-MbHTSILe)HAbkoRfj_{-^rPuNK@fJL#GC2g zLI8FkmjMU3am;maJ*i~2q<2FT>U#j5gLg@Ox(TdM3sH!{YFGms;5xV+c`w47@H67X z*;GOm>S>3ia0lEA_d^1{M?~^}CGrrbORq_o$unLGfm z!D%eNLak*aOcs;t$qq73UT0d_Tu$J7(qBOhyi-)9L@j*)w?F zaAV{nSZ1S+W>^4=U;tJB{jF47x6}g#wlbj-F z$cGHWm>CgumNUDVhq0Vw&MUCtQs!?(UaU7JOp+|W;~M|8!Q`h za9g-9asR@d;ojn=xPRw9;LUs$znEX5v1^lK8%lpY?ozqLC5gpF&O%3l-Ij07%gwQv zP1#06mR_e7G(5-RF{vUhw+~4P&rpK%$aCjbQd}NJ!tkdELkS5~{y zNGfp65N!=#-Jf8G2NKK>)nV}^Y;r7NyZL|j_D|4{Tk$(T#Y`~n_Tka-_JlHY2Rfai zLlhgn6R|G(mQ64_2l^9aCmKhMP;Jl5BJ*N%53Q3DI=NL|Grn#JeGUuzCmo7IeS;*R zw|}xgDNvEhiWBzj4K8%biOQDB7780&_U#$?-fbEBPfk*3-+t=X2)h|iOXC;uvuH>@|L4zAhG!@m zxA`JaCJpD6j7Z=z&146Dqg8YzLD$m3?C&)Doon=5A_Kad#(&!9VSh=K8OI_9E&*_AjsK3+IZ*F*+S68JnpnIR;B ziqKR^k{!L+7lG_5qy*U|yU>$E9z7Q>?lx#->VU)VnMVBCm~X)`_Acl`TA7oV9yvQ9 zyT~c#+iX6^aNp+l;Tgk)r_lTH9LnM-ZO0hW!E5kyRB-|)bg-c3xek_P96F8AL7+gZ zd*9W*(C(899~ysL7BBu>{8;kRM|{^u&m`GjUUs7m1kYH&&Ec}}Mk%5=$pKbh&FKyZ zdZW$eU=I*YH3$cE1%_@^&||*PO~<>?6CaJ8gJu<(s;(k9ywzoqEv}G@Oy5afO10jZ zQpiazE2Z3-Y9TM*N%e5)cbNdc2IthI*nwr|=P(RmSp0uj2A0Vp4ju|P{y8!WT;#~a zLpYs+o+&V(%b|tgl^nvMvJdQVM@~kFz9_Q2Mp>K)3K%Ygj^ehVw)?Q#KuxIHBugTM_&*rUp zhaC#I3Jrhk9?J^_&*SHH5gs9gi6Up<%#`_q3+JKP(Rjx0KtD8}x8&IBh$W{kr;fJF zKQRA5;LQ%Sv2Cm3bM9>J{CK9Z{GY3OlHQ|Vjbv2Ufh~|-vdl!EPe7>5$?0xdbzfJ8Tr-yo~9UCwI z#zt--E1&$@gDWF9=*~U;=E1|Mv#Brn2Mnn{(iCIx3j^5K`Q_L$!cIlJi6y*I!|52- z2!w3TF&bH71OvsXCU`Kqi1=&L7ybWiVhCzs<>Zcb|y*qSxKX49?`Ix z=NW%Jp6(5dZo-tUx@PdgV03y4nwv4{E=DbNs%OwSb-VpO4kHKHHevV%b;Ok$v;?iP znljAdl$E^Sy5h$_et7yMw{Ny0(gPB}yj-nymK3{cJuFFcjY_;Us z@*9ZNb&MQ69<>^b`7K9N3;3>TPoDhI!~T44EoN$0`fu!B_86`W1zLzfS@kE+B@ZKb z+ck_qKBzxf_oV*GtRu!3bU)Oc4xFxfTlaR=Th)Koov$)2)mBu`vN^>(5rQTYF?BQ4 z_``M86(&7s^0awDx8QFIXK9-nvs#3fIs7PYnunPyXyg)4 zs5Ts|!Lu`UG)hIR*aOMl3PFxMVxo#?12g2R1G9IXmmt4@XxoURBoSC=3|tw6pV#4W;b| zw#RQzZLH7tW*63a3q1Xetx|aFAcG(GbS;!&m5ty3S@;b%sCZ<9soCIkOQo_T*(HB- zugz({$0>13jjVkw&MIXA6ywiVDP|jtG*>yz*K|5V@Lp}ZH1>IM1KhxB*NAPX; zk>U&&)Jlv+dLo;dUp_y|m>bO9Vh`IKscdtWzl8VkC7@uGoe;%a`FSN=Jve)$($aco znIuP=oeh%QQSa=QWP`-_W;qS_nA$oDBTC2IHYF0SEG^9AIYYcB*Hja4vekbyiK5LU z^mIoX%FFb<)Ja)#X~2JX<=IMRZe^0pQHoS@d>)P@(4qr?7%zJf>!7WAV>a2H4lI*W{*3b}g z^%%l^CV!>dnai<4FvnEhWb>MYV2w-C*9x^Bcc7LlbYkS54d;0M0hY!6Jv|W);Z74Z z)13zQ%;_lIWoS4qoVS0}S@0#NW;qQ2Kgg+jjM-aeca+&Z#iYRDEhsN0KDuMjZDJEf z;*-n|Hr51P8D@z(0OTtP# z)kWTR>Oxmz7CSr)BO7W&z3$#6Qnh#9tEtMl3UNC1jjPC0OE!O%*+SE2=TtigX@M2&Uga`z!If{P> zPH6>f3g%PvFGIq;NIbks}Vl*&fWM(xoIAt?rG-fq4 zG-YEnW-(%9VKg)_J_AO; diff --git a/identity-noopt.pdf b/identity-noopt.pdf index fde0db2ce8a03fd7edf6cc487e099b2acbe449e2..f6d3f05f3b6bd98af72988f3c58add2caf404c43 100644 GIT binary patch delta 5479 zcmai&Wl$Rqlg4o<1Pv}BxI+TLtyqI=u@)^(ahF1hLvex^D6WMf#frO2ihFU26^fQ3 zckj*J%+3G3ncFY>%(K7Uc|LES!LUKnO9TrX&^~2&2_-JhNMv7XuSvEdA~>SAU}81m zJ;tVdM1Tjsn)S($Jyy7CQd0L_K2Yp78*V<%PA@#mR7M+*J-O zXI>yJ*P8l*{(6b!Z~5FdKX^P%EiiU9_1#?WZvqbKc3w=0zel6;z!Q;55=&n(jXmx! zT^4)Mrr@xw!8SRjcRE*LD3^SwhX_{x&VmQEZ6En{^RQE?Ga6KC+t`>c*p_6?Cn9GU zvAe2Mz>lewK=9r7`k%9Ksg<}k1jzmFT2=p{Iw+X2EeAUnlL#0tsO@AK z#U@YKVKJ1zso&0jUA;S0dvWmQJp(LgZgImWL=7&d)HO}uS7FLd7rnW(hKLcpd^LhH z@;UO8u5HyHa{1`o7S2~q}igVKm^m=fnEa|yh0v+NT3!;h~%y-0TMzAqYlj;OP%R12$~Bp<%7 ztOJ|ibUR}P0xY|K)bqva-~P^KmN|{t%XIc@&a}8rXsZ>QmM=~MI<`=nc|UEpSoZP} zwkr`@uMZFcvifIe{f3?$p}7#n#%iws&J|Z*WyRE4Q7S;Jddo1WTgEssU(TH!wO}7> z&<_$sE6k21Su*P>A_#>Q7(-Yfk*Z8JAr6T;g$-g}6KSHu4gf7>syJD#gnA*TuxRQ{ zOyxpOx58URh;1(lXKGxc*cPn}%l47N7K64OE71Cl7<<|xAR8R&15E98st8sX@Qj{} zckr?r&22xriJ%U6?eI4|D*vJidymhO$7PW?s?=?g5ZPm(llJU2A@1`0OkYh{?sLq? zufzK+a^7)&Q7lMro>~=mGWs^#$IKr=4}#BC5>*g?hyfhGgz#-#tUbLvY%HDsrCi@Q z;tPWz;D2>-m?)A7%Mw!vCe{#veV<@NE5KbbE{y%z%R2&^=)Hc6> zl?jOhL}C!LAU^`R5X9Gh)rsX#H3_(2<(M%2{Lr9$Z2Y*)O0-$V0^Tr_ti-7;4qK54 ztuu2L_V`dlb3g*dQ={+bN^;&uVj7|Y{G|L2HUR|+#UyJnx}PzZ)I_U$oL7)o0tNSA z>iUZTtdl88WqI6ZIa6#}J|uPX&t3BUl2a~JU0!;CMf=4t5K>D;?13+Lv>InPjfb9! z?Z>rr>YK=7Lc>dtsW=bb)M`<6iap5G`_Ynk@*g}3gi_JFxOMF@Z%7@V6NV|%D2{@4 zaguwx-}NuoM*WFKK?tF(3l8`O;YMh6%-9zeuAqJ?{6U>;okCJ`7RDrl?~ke&H-nXa zr(zCF)wO712wkaf-n71c2u z+k8R&C+QstK8VH8dOD&d>>ahE;X#6hVMe1;_V;-jc0+l!-eIHfJTZb7_++egRM@YI zja4NPNwLL0pa)6lO$vX&hAy}Y^JUQ|(J}tD6yyY>&nepgAf<5yQ-l8X^nn*m`;nn6 zt(gUQukltWl24opctdd#9n8Y@!&pG$+NvDM%u2tQbBkfAHL#tlLS;f*(_9udGji(l zbWW$K{o_#THt9hZ!$nUSJF3COs5i$7!;caO;FFg9gZGn3HH&Ab=Tnb%7s(;1{KM_F zvSbv_=kKN1QnDUTzScMbsG2e@5*yji<2_>zZvOq;(*sXVlxDvPgzhElst*!=5WOr(W29DC1s z$0LEcKd$qqgc)77rJLwz6S}H3->1ZhNl>$$p-i|1-;}xsm3A|@;q1@HS_=aDUY5V7 zD5k9+7U;%h^25-yi1&s>*At#OyID9?FBH0hCvXMiscW`na){=pW2%osA5cPWcru}H zQDudUVN^}|{gNozP+SqF3=BH4x`~q7l$Hu%l(Tl&gEY>U9;Fnr>JV#AY*{QzD4-j^ z1=tzW&e$V)_V&#Xs-*z$ufzMLS|BJC$wL!{fKNwG^^Ij}_H`BPHY(;jR%p!XFDu55 zd--sFg9eBNFyDDz;t`zNKT)ddSrC4XIH|=PYM?TU5d9%~P$kz$?H-Gi+I7F2T~VhE+@x9(QBKL*w4mBD~8*gi*4 z@hZL+(A%<-rH>>Pi);$SU5~i2pl4>q95U8C9A?-7{WkT8%wa(kagHjxFWT`p#s`qi za2?WL5jhvl{G|VunFs$>^r`rh9q0{Jebr*r66qYr;Yo7maPP48PUrBsz1k(}KnNO1DBhyAsFvVi7>m7{HLwCq8>Z>_%aA%DyaDwb=6^ zos*fOU&~Q@Du9et!|yojg~YUMg9^t_Hnov}`jB@>`uc+Fx)RpMzd_LT%T8A8(INogu79h!aX6Z3> zsmc3`2;a0FR+{=c?Kh~zsk^=}gyJ^I8$7I597U``sDRm5keA=~o*sxo1W5Rza7hB^?zGuoarUj_AIJPViLVnP&t zGa=4!whQFAKH)bCm2AV3ydsE*knCgTJxEsT@RVfx)~r?-up^`XCq)TQH9b(KHaKCO zJHjU@giB{Ka{X}=N9A}45%VGg1)@1xi!h39A5)!8uhEQglH0XrBVV&BigtFI%qwXx zrZ@}_*({N^_q6{--xwoegPWXR?FrLY*C+AqfgVM2Ir^z5xbD-O}}38Ve;6J2Uc>O2dQ#k97?E6-f{G}ZLq=^WlXUU@K(j|^EUuG9uy*EnKlVFJ$2IWZc*eb`kCa3gg!gC?IquvfG!K2I zAo|I;Nw!R1F9}ve9nXnRT~}2V*~&=9N)I=u%xVN5Z>~Lhf&A~dB5gUj*!IR|Z_Qt+ zBG@ym(8UP$9ump9d9K{vgTq64F8b~8QoIF$I?V%;8o^nFDDG4PgKE(aVgN13d^rY_QGX^IufqQQ>9BkBop^v15MVg`J9eL5hp z`Ly24)_gUXZ8qDaSm*ZhDJ5d;k%r*!BNsu&#{8ukWnQ>M#u#PI?Nfu>E*0;1=QE=F zgrz|#v^nx_Y+jD7z?etqEUK*ldxKs-f_b}}?RdT;3M2sC3Cxg^VjAcSMAO3ZLxq)v zK2^a>V4o3r_A)+ezx~Z$t(v|`Bo0>cDo%~tT9+mE?c^C3Sp0jY9&*=^xYddrd}x2< zRLVA@2oC<>V==1%J1{DZDdqZTP~yUzREY}SvbS&E+t=zibY-~F5;nVOrX6}9IZON- zZwTe#|D8==>hzA`So?O+&S}i{%YB_)^_G= z>vv$gk;9%h)dWeoGdD@Y(Sd}kf^%4P&-9OS*hjunjLpv_?ei~#45VA#Pntjf$%}oQ z|7bTj757&ohGH&Hs7Whr$Wh1)mKV~k(RJQCK|SW$_8zaY30wJ1>zCEE6Ke>GiR zn-X9N!n$EpS7G!mo-T62F>N`8`BytP)66c@$X*Qd{O=^c(EfVohp1A`zyP^CY2S;{ z`g=f+c#Pwesxx^@+^XdDRc7hQFJ6s_6(P3H-rQX`?CparVk+BbUUnaTTfq7F6qt{h~ z+S%j%n}jB<_8fm5Orb?6eDd{>sm4A@yF#lNTs)VZ{Z04Ny;O^~MF6)Plf$!1U z5}hBI!oc3M!|9oHZn~pb>|&_MT9(-o-NK`*rg@t3x0U1}I;Y>$gTAGoRYZVa^HdHA zN0b~AmNC?yqn@g_o3lYY{BLBMi=GP}9!lqZTV}2T97^Q{TuNidpr8TaCp|OnIL8!1 z=FFcCWFa$ln}%oT(*xRr2Gj>!v~vXjkw@(hA_7xN_ z4!gGN&U=ehd7e#W6-rYHN_Kna_1h00NK<36!TZ1GVNtt=huK}aEgbmoI7{|YI zRa(*W$|Ub7T%gnCo8PwP6C1u!7F8ct$axQ}Im0F6qo`gObV+&p=g)xBdrUPIkt{vl zk%W3$U0ZJNXIb3dSu<*U;1ix9#8ma$roBa5>ts3Ul>tXrb%zP7V;b%ahD)Fl+s_x0 zAeU#eI*tL-lg1RE$xPoao$xAcKTEC9v^J)Qx2cp!{t=Y;VSoUXr9dsB9?YHXX8JvU z&zhqHsi8jx&H5nc;LO0NrT?{Ys}Ln&TLBge;yG)shL|_3`=zfL*z4m{BdXSJb0cKs zU6LjwnXQr&eUm1RyC*m*oVSk-%uMQD6(UM~r{PddrE<0achpb~9lvVsT7KbWFZx=@ zhhImXj5qC@E!TF-%~GxurqgDe0nN91Cq_EGP8xFVc>|MK;%DrvN#Ug_^5#nJa-l>o zZR3}YUQ*59Zo!1-+#3&<5g(kaa>_)sc+E17MkI6KyAfO@-dFR-UoC7IfaK@+cEz2V zMAKE<8Sx8k4~A~a+mB-)ykQhAwNQa!5^U#ZQ$j8>iYL+d*;Zxt`=p{~65(A~%gY)? zsu(+y{2EI^u=rRCI#)Vt1~klie>%XeAZr`A_?{h8eQ6JX@#oJAL>KCl*4cphaVsO^ z!C*8yw>NK!+B+NLT^T!L2N4PLQZ9m=_Q;X9;K){$gc~w*f5G|Z9zK9n(n=feF%ZH> zXYCu_yFh*wK|B5nO3K5Wk)Nl98J_}Kc4nzP_-HiO#VZ7jG_=kq96mLMd@lQK5@A}k zx3lt*C;jS)L;-#fkG;b}t zmTOpN8$m~(K$deTisnIse4IUlhf*jWs@6`zcmjUi3mlQW%K7)#02KD$zX4$w42opo zjKmd&hzg4cLy)zc`RJlZ9WEe+AQ+%yD*see{)3tE10N|2vUw4DE-e9P>7(|KO;dQ zLXiK%6M-U=xq;}y$P#WDi#Nj75K)Mgt(B;?wXKyk#8OyD%*yINo3)Lwkg%w&48GL= ii-1kRGBWs{UX~tSejYZq_)v&2Oc0-qO-bto{(k_-a2A~a delta 5478 zcmaivXEYpKyM~DxBYGQ#Xrq@Iy^UT*jp#j$-a8=}b@V!7MDIk@Ai5Ny_mJo%MDG!V z;CsKb&ROf6_x;v7``5j$eLs6&&!ADSQJMh~q(UM&Aib|VNK9+0zlvWguflhD@9v6715*_PFZ=el?>xGzoLn9e~SJS!FPX@0K#lz@(OubTaIAF)EvHl)i`dHPF5C4tO4Hp^03HCyDw z@2+;ox;%fFEYbzmLvzu*Z?gFYU>0+t_+mg#z`jd+P+U`n@V_{|RvuPQA%Yir#w6;JxXQe?)Aq}h4% zqXS3USL`MezEb7IH(Y+Fb)@J}$W*HRWkmUuAIYkY3g!djASMK#E)-x!IH~`Ezc2`( z8{b0xN_o5r!Rp`2Z0>na@Vw+}KS>DLv^JKCDkVeFuyFV^3(1i!FIFtK+40H}qj3I| z54~zR@e+Q=80&zxShbk;SEM^OS_b2-kSzNQn+ujR8bc7i1r#S+VvYlVCDZFudBNll zG~eqANwLO)XxWU<1z5zN@AE?U`(}W)8h$$U-CGmpaUS-%U_{+WuMcsibsKlgA=kxh ztBow1ayY-pwJJ%WXK1djXs&i?S~V{Hs4~` zrsQ+kj!hzw_L2}O&;N4$n&KUuw!g$HELjl#O_4i}ENy(t1A?AB5Dq$gq*ooXNtNf> zVDOO}|2RrD6Ka+z$If_z8{pdOwRJrC*2~7YEK1w!`)UH^JgyN%0$bTA?Q+yg(o8A4 zz&!q7<1?`s(PS=w!aPty4pXRc!t>CK@dKTebmcW_mOEbj%rRbZJpqrI{%2^-`qKwD zSSkvzkZNMY_vd66a|tC*Woa=_qV^;j6zmTZ?yKwUk=L~HcE_z~Y+Qy1q7XC_t__X| zM5HMa*9GwJfIcQo!dEp`G}Y8>iXekw|4;5Cm&C^Z`cc~O5xls&Z~NIwCczA<}kI0`vvJAhwzE9*hd6@ zc<{-U3`{W*D_kfq`CK`en83p~GdTNmOtFL<@%(Q@- zd?*Mk&Lf$|fB<0^96UwCc+M)33(lD}8%RBotx7Ia^LS;2Pt)oeQFl^F<-H~)Yw8+d zKc-cQPF@z{GkrQ!GFee>Bor+|DU=bj+LLid!ELN%5$ z44hb`toML=byGg(N42OG0p};Uf3vZ!x?Pz!t#gi{267&m=RCR;VW1IZ0F9yW0+h0r z(;UR3hfv0p7aRxbSo}zu)FbG@a#XXcS^~_%J^RluYC+7iwT(}915Rq#kp!yJR+}#9 zq1&_(GSC#qpbC!HrYs?k7bCacnwehN$$RMD&}Wx7YOV$H4KB@FLOHfTDxT5u(v=Z- zzQ_VJ_025Bv2re$Y-Z5CL(P>*HDJZ*)I|iwJ3sRX?q%;(59OQ zOGr@l?Tt?INk6nn=o(%=Y4-gF=q1*xqeh7m-lZ{ASb=`5{A4EMUpkig*|z#s#MiMQ z<_jaH9bNEa$rVo{=9nOLr2E6qvN#agM%!@^(^kRh!CFDx)4A9#jTbjkR40cP>^;MW z9~_KmQA0IPj|9-lG_gohiI<~1rNjnFdBPg=aZOQcpbX!lIMk;}BJ>VT{DBUT$OI=| zv?2ku_RS7P)X15A@BgHux!zv2@?0?(W57yVvTMn&H%}bqu?;5>UMs9s7o8QI-dJW#VZTMq4o3(QHN%@S1CY$L>K|<sRmB`(j&Z0Fp;0<=TMfVVifygTz)P zmN39IzTMoSV5r&-sm3KhAO6Wxj87LyEIAuIN3W4fElif|1UN$~W?-rPRL+qsqW4!JIJmUT(k{3$W5?e?L7p_QM~4ReGkW@*vDBg7Isw zZChbYY@#kcjm3aqI(=X2r=TmCR)q8#@pvumkR2WBwJtUe6c|%7E(bZObUAov&2NA(IO&&Ipf!om zaii$LyTPXPk*Uv9o@%QJcZ_OJ)`NQE3j_y59^Mds@XN+VS~ifmcWcF`-g?oguF)+V zF+QhViSmw1BL+E2zGe$ddodU|1oTPylU%~Z_SvSeeMW3gU8}OncSgE7S*Ox>2NBHF zof?)ARuGhJIar5yY@=pSSk}c17+Q&g}V1kZkL=%6%|QYR`2ds6`O)nw7*EkjcGPfbFZNiL5s| z((lUOk8|gS>?*o(>Ky6vdDzD zSmz|a#_W~iSAl1UT*NCJU-!;D<G412@^Q-|J(wg>$hE*toiK>(;%qsyWq2+wOxX4l6tJO@B)OCGHzbLF)M9%tv$)_MGpV0 zi@LfPk`tVh^zalvG*9Qv(>Erlep@{SxYN!$*f_PXExKQ|H3`rS-?@EItoA*9=ENQt zkJpVbrt#>nJH{WE1k*edlvle$N&kvZ! ze7Joq4(|!ezI+-6PWm{59)*umf++-IOLCMTfB79fASP*6&0A`~{nfqiEgc?g%E~?; zZ4K9;Zb*_@0Pb0GwP+s`<9z|82n0qb@7+Y>Q4sp;Dc&jjw=)SWj$h~;ELt|;1_nF~ z*rO!^1fo<-CfP8-+W{JWo*3m{gQ3}H;6$=azRM8nTTr(l(c$$2{gS*#-M77uGUl3) zl*t06FrlxVfJT}i%*!f%%Y2IY$l)Oku8sj!^2ND4m}ZbV@61D-Ud4e206ruf8{)gA-Ij7sF#zdBQ0t-D^C&afqgUfXLN z87`r1I~B3&gvW0)`OZIu>}*WncNZb))~S?D^pQ$`{Wn6C*r-tmJY5ylIL z2&Azw_#IlXHOf#oqzzzhA~p3uF=i8}RvZ~g6Xfc-pSQy8PE?_eXaHzOvIJDu>Py8; z&CbT?N%TL|Ca-&j$e(N{^AFf&S*3Kvn<&a{h_73>X&(dTM=D8)%H)ahO~lhNahw=N zN+=LU@v+8gWV^Zab`avK|&J@%7DyQ|#e5$n_U zU;yS;nC9YEpGM$)?JkB-=Apj;hTr1!-f?|c&?GyQ5_HAblpKUr%^eOf(doOSxV5b+ z4O9a3NLCZ6^hapU)xIEwSs?~51%jR{CWKyM6%d}35In)VH%`@XHbKIsLJm59{OoCN z>+EBC{3l@t&JFzBjbu6sG0uM0aJl~K!7s0CWtih{P{z5_@OG-X|hp^ zQd?iFR%2P2*|7AsZ)(zGY@#rDc2(-A(536hQ#9pfx97ox93lLbp<+(2ha?7DunRmnqqsu9oI8>#+)F-*V39jnkw10y!+Yiw4XN z-=_RmPz(6xQN2ofhHb>;LbFx_u*nVF0cm|c&)Rtx4UP7GW|f%?YjA2Hha6s(qcXpdm2u?G z^0a_eR)P!_D@K$u#wb;4ez2V4#@jDmlWON*oJY#MINEw?{~H+TOEFvUa)HYW*dBPW z57k~=HOYoyR%soo6Gfwq!e@L@-+z)2vntSTz5a3a49dycY=l8QZ^NfD}x;lqqz4d1#zmEb=P8m!ZvPO6THB2ST;; zS*@@MpIETmQ|hST_hN>t2_!i#T?;%n8+$Xl$P*%5s!bnna)nEFX|2eir(4V$orCf4 z<+?by4%D06+qf(%ZwY+q%W_RF8Na)R<+^k+$0?y*D556onaC z^o4k+McB>EzL4>6Q85C}1j+o`c|k-`YI{z&7*)AJJjd(Mqbxgxw62)=RKJE(lvtcp z3z^gxsa68I{VArxX@NntoKsFZ4&On_nbsvI+TYmr@7t2m0j!a~_WRV+>Hobo7PV!zXU-48{E%!8saD z+$?A#a4tXhit_xe%W(RuLm}WusFllYeo79l6`_QX%I;2PA1dD z`)huR$G@-A-&-s&*}S<63I3zaeKwqqE=$*~Pae5Ic14ebqw@*4AzT$CuUd1sG4qZU z=NkZ#W5?-xlcKO^koT#9j)5s0{E!XH94Db2=Y%QtCi<3@gm;xY5bj`=dhs%|nt>rR zue9TIkL>JN32aV_by9XS9<%!7W%h4pKNAzN2(mKVgepxk80|&NMh*5TgbeqDDlumA z3&ttPLi2BKV~t~jtWm-55@%Pkr*j78gbjM6cQ_L?rjr9?mME%9XU>E3ns`jW9bexr znkMv9a_Q#}zU84GG4N;oc*8`UNGl^03vtW-V<58LQKm39q!Y}UTb*SqL>)D~ASGK+ z?d1AdrPO~^Pr>WjXwB2yrpKZCl&`aPvYHBlH0nH+1|XxCm~#V_`&l0!Gw04nwcTF44{7@Sl)06N$5|^=Rl)mZPYk`{6&(1E@8!odg zNb321i6`y_CS3yG(18-E!vKBey}jCb=Z~XO99-Y2$Kj#*pd#Y|L5BLkoBFl1{#y); zEUi=&;-Fa1>^%6zol%;T)R?J>qR&tin?=o&#bwyp>$OF^0L4U`yk)PQyiXPwM~_ck zz!raKy!h9eqVND`1GYAP_S-Qa?%B^|WLT+O;acMRIbS*1$z*bEgFO>=%+>JQ;n4B7 z({6q}TKY5+L66YiZ?VD-MGaTKi`Zb z`pdG4pxmYE;A`lnnNVJrubzEFPQmxwFS4#UrcZvf6LlJm4Yi6J^X>l2%~EfWG}@g_bCk2PdT_+K-Y3A(`8$J zo1M;BZM0LlcL}^%OIVS<2gF^Q(4Zf3F+LC$MssnY2!x>`B9c&HbPHDzI-Q%6Mog3$ z^6$g!!A$gD0U`ns7DI<|b0Wq5eglPyN&cOQKp@b6u>a753W@#WJz+@+$UkSH|NRH@ ze<_LnCHQwuapAwqKp{e6LVxT1#UzCP!Gt0IfrP?=RViD&lRJUsa5-nf*5LKV5SUBzoY2=FV+uH3f)5h!&FEoMG2>4 zo?tbeNC*pYJmw^{U}7?$zDp@edCJQvn>Ylhmc|!$Q8ybr0;`{YTnq@rdl~D0RP{6R z$NK)s{$l-w;Zf)B;H%Y_N1+$1dzCG_TkM)~$xmKQb|}=*;0CXiqE8S1%2?x@<=jKB zs0lNQ>#q$f;q_ZZGw*4jWi>DR2P z9rlefKAyaG1>aG0_%-Q^!-1jGyqNY~tC(NHW|g+maU2>u=D|i2Xa%yuKeVs5zh58D zbX?u-p6S*sI>vW(QISFg?db(zRIZWu1ewfuvt}c--JE7WHtMetY466)E;{e`eat-J zci$d5w&PBp=xY@_nmd?%lv>cjEw0Slms%3aGe^HSeb6zI_8V53pz{0$9UzgYW9xvj z=!i4G=cSsgjx>Mnd6BFvMnhj zE2`%aQ~JZ>t-lMF__XSSzmdH6A}L$$-c3pKoQ&H?IQiv+PGk7H-Fa<4r8o<( zRs17X1nD93&!D`j3C@?1xm@6)Wcxw9T3jIMkdLTf+PY|o>egLv>T=3AQ>tGa%C&Ao zkCE%<0I_#1@F8jB4B1n*vxN|f6XdSQt4Pb~UDneh^}wmr4RR}QAkiAPDRBFhhV$84 zS_3XwdGlF3ML&J~=M<6$nDrkl+tWjORS&{bADquL51OHqb7Z~ zAAcCUpZ`a6Uu(vv$Ppbr)`1LPtkGp|67Y}Q5cBndU52O@9XW9e>}QBs8H9b z$R^c1kM9*6vw~(WNiUkG=x>^5lb!tm%H=C>%)8Liw{R5Ey7EUWK3M+>o zINjglA}rYFz7yGmQ(7I3!`%P4EM()Qz!R!atyGvzvJEG(;GojK!yb~9Zy;Y70y64? zT~VZZfm;rV-vLB6RhTW?A2CBa)Px)<@j5@G44K-c+E-r-#7;o`mInZQo6smt{ZSUBDuoF`ZbVdfBEbJd)@O zS7WD2yv6|HiANO#Bz6ST7Y{iWQwZA>d%Ut1{UYFPH2Z`9X=-@KgFA0mMT)M<`5p+> zH;ni~FG<_AJyoa8kH){Y>4@eR_Xa6ePg48VRF~!&3fjz~)7VeAI{7(Qdq|plAiiDs zm@BP)NSOVDOCoudSHENOx+hs-dZ~jk>?`fzCdbTHRy9kO4SyarHfoQUYBkD^{)uoF z7Qo19H%6nX3gGVbwHA%M$w~`y#juNjJQ=y~3f>n#gA2?FGK%PZj}bCcS5KLr-1>!S z9RGPV7n#F)>QFOq_jbHr#!oY(+&q`c!#*zH81ImOZ;ke2q|R*$Lhm+#Bf9=rP$!OM z4Om^ZJ*>(US^kV@R7(_>{y3U3`k0ipm)#vkG$Pwm(;eMmo6?m65?7!yXioU;Lph^D z+OTq;YCs?Bcua4d@EE~<$E;9G#=Dw)N52wO)WSIL%V2J>O=GV0ekS``aZMwXs(bX9 z>>=aTQ{s$QRQR<_Auz}a=}Vp?lOV=bo}krx{22wgd}xYgd$|=V?ptZtuqO_tPJ5Ir z9%Zr9L$lv>U&D`~Gp380CpfwNq1+%<|AuQ$JlQ1Y*;P;PF&Lr1l}xzWCq>Q!Cw`}U z<{xa$D4t}e60E4M8)=G8Qq1f<0Ha9OD8R9sMxQM;+u?i`TC%8nr+l+d$|QyQXRdR1 zN|`rolAM@tx|kKekzK*auX^vB>viW#oHApLE@sq!DtML#TZD zkm=4;BppVvf{(DW7fx|uWR06&5C1azQUYq+_e5$c{wdD!l!7QDt**GSX@~wCFFf*| zGshVQThq*c>F)vV1V`B28s9#CaZZ;fSBd@w6``F}XVZy)_#iHpX|MG3Hs}FmHz#Y) zLdSiM?m-EFBr0j65=em~_7x6By$6;JU(u;O6kzaNDo2EV)WEQo=@}hOTliDjXl6~H z?I@lXpGP=1ITSj){V|`YyeU^9iaA`snj`iv7p8*TZ~tCy5b!T2KjCxUcAFWzI14BZs}B4E6lt z(Tj=Dr0ke?<{Ff!G6}=3sPJZ`krR=>)Z;q$pcq%o%4nYH#wFtDpLP(dF3Bu5{8n{ckmJTDY zy;@IPYNII-5=2oMu?*)wZd!usXX}V`g{IsxNcXVR-&3Kvap&7q7{TX!}LPeN0i*8C2OeL-lxh?()G>;G-KK7e<)X zsY=9p<43&vttF;#FU=AjSlUmN2UAkNjuNNy>P_sf#yM0t=tv*U?c|wwP7ZplGA~Qs z8WX5xjrET78;&>Hlb`?M>>e~W+9lsl^EeyZ z`7jhPsvdM65N&*+6B%_##-tR6CDd5tcVliNCZ9!98Ng(YSGtMX83ImtzT0ZQMjB+8 z_7bI{4IkBvlTv3rcL-c#8=GQA5b0XErlumuwYNJ22z^u5#GX#%ZzEL-L2Nhp3oO)a z1Y~Lq9`ulAzVlYC5f-^_3XnMKT6VLo4%qQ6msAKb){Au<`HW+ZjVnnYroKit6ua&= zVJSAf0=>xLNh+L3t{%a_c2NY7eQ=SUvY0OA z#TTQPy&D}zrM5{I7wXe*WTHXD-x7qd1O%w@hg_@N>>Nx(?5T6A_-|;gA<9fVs>(EJ zAD|f?9=)BULE4R~YohH$-vA_&#$)T|n%r z9o_oKr#xHQb+R45QaZ$X#a$Pv*&Ps@DA%Ln9d8$p4hN;#lS5rLxDr9a89}qOU%EeLKc5sr zJ7<5W13^usqfXq$>J*GK;F$TP9v+7{Gk=>Igk*5M*U6xU zIG?6Uoa3-XPIK5c7MUGtIFU>Q9VUp7CZtBqU`q`A}A|2_R@o0@2{+lhStfq>Y!ue<^o7_W8g>{5C zYRN9gxTc~;NCE+D*-MIk@Gn{1H@OmXFS^)@f3{m z;oHb^lj2U8+{|pUW-= zjZENF)FYh5kfS>F4}GlJF5KmrUdR&g_X~Ry$PgbI+{81*k zs^x~xB`zsv8NtG*!X0yor}!-S{8K(nCW5~dtkhcOjp9OUB)Lr9MJc9Qr{dAaxY>Mb z{c84Xx>lCBD_eVd`YbcVTC7TjXVBslD_uiU<(8``JwIZ>Z%pF0JG=@xsGmy@Fisnz zx0NYdK&%)xfPPph_!+<)O&jG~po*~f)qGvMJr_M~j=~j#^d;~tMr2d08w>boNe>`S zVyJX~!)|?eAJQ(3KKcCDrLbPV0~oCKvktjz>^|GXS0nAEX_M6{w&6RX*5UObB&~Hc z2o)@S!M62&t0p9%%CdM2G{r1hIyF7=MTkHbvGe-#w8!DNmeGNsQejEPMQaJG5z=i) zvb~CTNkEMazDq@6_;Zt1;@Hw1U)*_{!3DZi9=9@p$_hwTS~Q*; zL$nv|M|d}M6X}+SH;~RAw3SR9G-eO@;xx%nen6Kp+5snXU$PG$q@-hygN@aKD@b|~ z)pZLJT5o5fU#iPJfAejzsXns_afzFfzPnuV4z~sbKN4*7Z%B_g?CYsnZNcyd_x|n+ z!%+ddS_YRpYe6%}PjvHnb?;Z-G`-~@tbZ8>(RkS6V)*g-<#VNxXO3vBUg@4tZnE=l z$=d@7D#G^$&d2NG3F&8OHwpdC)3Z-wh*(xT3zzEk>n*o4x)l8_I!~=FoXyR^);_c_ z*s%E7ZormHnJ^l+HUkQ`n9R4>a#_^raQjJTm)!AenNRc$Q0e=@(z?Q42_K{wUR2;t z)Bg7Gh7D^Gl?~+FEal^?Dp;(tPg$!;|GLsV7fW2eeyB6c*hZVo4wZo?0vyZwy zZDP#fMH;zIrlBsW1k`4sC)XoPI!6WdbtragD$$mMVBQCxhhWO7DLBqpaT9rWShx#?QP@xzju zZ2g-OEjy4P+qMSMMBN%@Mq980#|6Ly1VB#o*&fY!b%23ozt^_`D84^JU;4~zB}G>s zaXW2>?51`ZI%4?eUYiUfp37u^ru+Ts%=moew45!9Y_x&^^KNVwTbaG2Q1bxUfO_*K zJFx|vRPRC8&!2^{96PkIe%^zlmD~nKp~se%)NsEnJ^`eK)hG0XO204-V{%1S2^{Z) zQAJ{69#5W#nZ3{Xzcy$%4TD@?^nM>DxR?cFwYra7hPA2pr<%BnyMUo!|~&u%m>W s1V~a=3ML0p0x0}Xh0}&pNeSTR5A*d8@^x|sfWcA_057kazB=Il0Jv%fhX4Qo delta 4724 zcmaiqXEYlCqlSyxt0gqH7&VI!Vk>GBwO5rS_TDQhw%WuhRVzmAy+^BN?NPI}_g+O6 zb-vyX!8alg_a=2A9JK{rSfbA{jnxxqMLE3H#?mI^zLO_eQ$l?-q3d zdqW&K`*^RN%-az6XbeY=3+`*?-Gg`m*!n4+f-4IZM!fWu@qDw#l9t*pKPvckjDgI? z-EaL~JtJjT`esTN(3m-k`NGFk=)2e&x687|gZ?vWBBpZJU8W2!c*8>g##c$JrZQMG zFT67khlI>{|B=2$K0n^$*gO7rem(~ZohQ=ZGV8nOzy88^=#1ST(`UylSG!mCOsW%a zFd2DN>#9@tV#`b?vq$YC$+z&L_wxSsWHIXao!dvSf)fsM+r!Od7#n1NPzfNI;s~oE z_aNUaNKy!9Z`ZfVz}ywN6L8-AVFAQn604sZau7eMz2q(G4`k|{m3PuPCF1PVJrE-~ zP0OSAL7=$MO;8<@aEI63yoD7CL;pDvJkqC*Dx{=Ov2X$eW`<7KFwz(gVJ*C^?C8?_ zOSoTmA6`KFmdzr`zHkFy=5{d)as?z#wyz;F)|KtBCO~CN<1_9K!dkl&RX4nH-P$O{ zmtZhoh7u`QlcH3e(V*zlsYUOT=7X%C-sDGZ=tZBU;X;a-WG&LnzBZ#6?^?vtbYGiU ztT$etq%HW0IaJI_?#0{}K#SOtuXEc<=>%z=%;TwEm zjAK)ok3FWi3gzo(-Rj^gRzA&?QI+Md;*e>c~1>GT|YVm~ZDra9E0 zXzdXRL1JjcUk(k*f+FtIP?WcYD2Ce>3mdupI)7Z6f+?FW3+fKU6oB6c97~ES+s#l;GT#$Q01>vD8 z31b9|IFEUV)JKgHW>U@H^nzzw`2{y^QZR=Yu8YZtR{S8MgtIok5`AT9Iha5b!~Lel zfOetGO^pqBTDW69FDkUzPg2yt#*=a{Fdb7@AZ?O75XKf%!M2u9LP($I61Q_kqFGb$a~3+ip3m`GoT7yxT=~KGwCli zyJE8(H&{Hm$y;!L51nG!U=)~iLjJz_0>{NJ=hq3>;XM_KnFSbn-#vCZ5tI)VlGgt4 zY!jRx)pTe~-7z%VG~6_M*b-UEgsBt7RKD=|k~>eLe)s}YnP=uCu2NDa>Mz`Ye-Ag)1D{L0yQG|O3!8-Z*@sT)&vZ{sCnCRvyelY=E^X_Ue_;iAK z9xWHfpbfcRMVpS{@a?}LD34At&1hk`vpWg$BbEhGQw0r%s-Ma~N>^a12tQa8*zCkT z`G$HtF0~pi+%S#n370wyxqTUqe$L+-A>C_7^)A|4h)~8j^4@2|ZtQEusS$#s8Uv-; z?p=F@>wF0aR<4zb*+V3}q%nbQgt)%VS-3jc$JC#nK zTeAS4(|^;8|M7gE(YX-crWnEMZnkc@?ziqd@*a0e=pTq*56<-Ku^F5p!4}FGGPn9} zWX8fW4*mIkh!vJH>ifVZ0|_^~wTiRrRQay_Usk-4plxJ?g}d)v=^s^u{rYmRS@grV zNj<;i8pL*at)>D4xe&FD{9{^VMaJ;O297w9q8k8tEfDyKr3cunCYw;71xY>_9Ni@L zz+|(n=m4zqj2rArj*FSQJwhdwIyH7C{Jp^DXqaH$^;F^n;Rl(Rz8KLM3*N}omCsH6 zsP)(lyfd?n0jm7ochMGHuskU3Z{?vqfL-6@SU7BCm8!)g;W7`BF_Eiyikr^9J2UJ? z2FrKN?Uu;)l(S@ncra=LqlI-91A7yL#8MvF_aVp0rlM~$HNJ7ErzewJvA4z^4xB$h z`;!g01BZ3ah5ci*K__rJ&Lqe39A^MmB9kVG#bU`#b%0 zlRNh8Ox#rDB%&1$X&j0l&i1h}NwCJvDJVw*YFogAQZTepZkx>0o-Qi36Lm<_?Vj+{ z^mu%e?gDG@j*W}Y74G9%3j`2P@)0euMHQx(Tfc(sKU11Dz~HJ2+(Z{9r2^0b8dP{Y zc)8Qv`2H|yrqxzptBVcrrxb2rIJL^w6{NLO!{wmHxz>_Uz;2(^jcso`6fyjA#j-|f z)hh{$tE_$CwYvG$u23~b$u7a=>(Qeu&gi@kJ%pj_ub6)hVk^6M5w-7Z#DRm2#%!=C z)hyH>CAL$of-bL)_8*jTKWEViLW@3yI`2IWi_FB5#pXG?eJCZ zTO}>e>%4s03lMJwK@Nj-;#`4C(C?q+Jd^G*Qx4*kRC?+=TXdjxVXZNW4y=R%c%mUH zis)wGz1MQAJnISfF+D`EwcMu z|0x|~s@E9F1?^eys^xKB!*h&Z+*fVlZ{i>V%zKCd!b(r-O6jYa2PdxU+KXL7j^N@U zw*Yf>!R7FWpm08c+jtq7UFQhKwV?+rkUM`3VFbL<$AD__;cl`Ij_6DUC zPU9LJv5W%>M8~FyT6Rmt5}SBU;H^>eo; zDb!+C8Nagtb#o#J=8(T*?^kpV4eQ&3X zX^V5gMl1zC@vZjnN*V!ItyaZqeCuM#X{15x-7=u@i)@k3jIo}Tsyj5DXzSqU7!$^+ zuNH?ZkN)YzJ46nEfN^lDp^Bqg$9g-;8LS&`8c|>8T-&A*#|KO-Zcl zWx<+Dx$ZfBQ<-{o3GVeT;o zhadHCZ!XlZaV+PP>sCdI1K#Ct{gaLa35M?kWxd-m6`4j3F6Ac7moGkb7Pd%m&3!V( z=Aa?+Mn?1JU;9_h&kP!=W2QX#VxKR5yVT0|efKOP1CJ-SFS`2F>WY7vZp6>@0Xs2M z{WiUg_np%0i?Yl8k9ts`tHw%FE9fAqfiz&r>5|I3`HbU2`LEQ7$!PB7en6x0N9O`j zQ*~@n+JY!S)`WTv=Lgy z_2DoYS@Li{V{zL8IoDTrxiRIsKRk%)3fTF({Nv{`*EaSGS43s!azfwMn&F$GmaEjX z-#8tWfr1}8sre*^24y}ekJgNz>O@NRKzt;ZULQG${Y>0&jlySLjS~)|M9XKJe*F>Z zFKJ|K>?pAPXP>~6X`p#FtHeE!x5N&u4K6vJg*I;+l2+ z7kp0u`cw8=f1@k{C=Q*l#u)x9>NmN2qDnbCO@<}l0Zo}=(zOG~fn$mPUZTgib~-1O z+S-PO-S&MAQ01Kl{p#6A>IMdlEIra7O6{eoH{;5)f3kCvK3SKZQv)=sNYlU<4j7MY zL}rfOo6V6S^^dxcir24Y+KUA$cj^|)o?S_ATQf+mUwW3;SMbr}mp9u4bvVGSi>>|d zgX?*zs=w=4Z;loLoCTD-Kcc;GoEMko@Xeg!^A#RGIVbjGQ)KoT>ldYB8ROa{)wv7@ z;5J;JQc~#WH8pP?o{6FcWOGb4JWhjOY^D9n{zty7&$p%o5(e9vQZz!3N+G-|qo!mu z6$8%pHQW{CHl#)`pG+B0G@5fy#X|{jNJoAgNlzt^E>{zzF!9P~31IRV)b`V8vyKO1y zStLr85cN9E&I*FYM@{sy%|(4|)FrI@RTECEqTd1^EJA+cw5{t{N(K9N`E;DAp%8!n zFn{i)Z5VNm30ElkbkB#Hlaw;7jC=ba*Qz21B(Zj}^7QhshNr+m09+^}#TOJwC<2B+ zB)}pmkJ)l@g~aNM*l=-lMZ{Qz{xen=R+9e(A#qVr=zlxte>*V|q5tZ{#2_g*?6MXJ zF(eX<5Vi(eNr0_{kq`t@6k!7uvW6g_Vn}N+T$V)o|4mrUS!HEOJiXu^UVa|dHYDQW OU@!?Mr;@fZ$^QV?3D;}@ diff --git a/identity.pdf b/identity.pdf index fd7b32ed9eb0048ac73bfc51d79fe0aa186f6737..4f30a0920855f11868cd3ea9b75a837e5011e28f 100644 GIT binary patch delta 27 dcmaE(_C{@j1)HgXrKzRSL_0AkYh#p recycling-noopt.pdf dot recycling-opt.dot $DOTOPTS > recycling-opt.pdf -dot identity-noopt.dot $DOTOPTS > identity-noopt.pdf +dot identity-noopt.dot -Granksep=0.3 $DOTOPTS > identity-noopt.pdf dot identity-opt.dot $DOTOPTS > identity-opt.pdf dot pushdown-noopt.dot $DOTOPTS > pushdown-noopt.pdf diff --git a/makeplots.R b/makeplots.R index b627d0b3f7d988bc8eba5a45896cb9f2d7e4578c..0427845d0cb65f65557882bb652b1b3ada730e17 100755 --- a/makeplots.R +++ b/makeplots.R @@ -27,6 +27,33 @@ se <- function(x) sqrt(var(x)/length(x)) +# survey +d <- all %>% filter(exp=="survey") %>% group_by(sys, s, conf) %>% + summarize(meant=mean(timesec), se=se(timesec)) %>% + mutate(tool=paste(sys,conf), + datasize=sapply(s, switch, alabama=47512, california=1060060, acs3yr=9093077)) %>% + filter(tool == "Renjin jitopt" | sys != "Renjin") + +print(d %>% select(sys,s,meant) %>% arrange(s)) + +limits <- aes(ymax = meant + se, ymin=meant - se, width=2) + +pdf("survey.pdf",width=10,height=7) +ggplot(d,aes(datasize,meant,group=tool)) + + geom_point(size=4) + geom_line(size=1.5, aes(group=tool, linetype=tool)) + + geom_pointrange(limits) + + #scale_y_log10(breaks=ybreaks, labels=ylabels) + + scale_x_log10(breaks=c(47512,1060060,9093077)) + + + xlab("Dataset Size (elements, log scale)") + ylab("Execution Time (s)") + theme + + annotate("text", x=10^6.6, y=45, label="GNU R", family="serif", size=10)+ + annotate("text", x=10^6.4, y=100, label="sqlsurvey", family="serif", size=10)+ + annotate("text", x=10^6.8, y=15, label="Renjin", family="serif", size=10) + + #scale_color_brewer(palette=cBrwPl) + + #guides(colour=guide_legend(keywidth=3.5)) + +dev.off() @@ -79,7 +106,6 @@ dev.off() # dev.off() -stop() # recycling d <- all %>% filter(exp=="recycling", s > 5) %>% group_by(exp, sys, s, conf) %>% summarize(meant=mean(timesec), se=se(timesec)) %>% @@ -105,33 +131,6 @@ p <- ggplot(d,aes(datasize,meant,group=tool)) + print(p) dev.off() -# survey -d <- all %>% filter(exp=="survey") %>% group_by(sys, s, conf) %>% - summarize(meant=mean(timesec), se=se(timesec)) %>% - mutate(tool=paste(sys,conf), - datasize=sapply(s, switch, alabama=47512, california=1060060, acs3yr=9093077)) %>% - filter(tool == "Renjin jitopt" | sys != "Renjin") - -print(d) - -limits <- aes(ymax = meant + se, ymin=meant - se, width=2) - -pdf("survey.pdf",width=10,height=7) -ggplot(d,aes(datasize,meant,group=tool)) + - geom_point(size=4) + geom_line(size=1.5, aes(group=tool, linetype=tool)) + - geom_pointrange(limits) + - #scale_y_log10(breaks=ybreaks, labels=ylabels) + - scale_x_log10(breaks=c(47512,1060060,9093077)) + - - xlab("Dataset Size (elements, log scale)") + ylab("Execution Time (s)") + theme + - annotate("text", x=10^6.6, y=45, label="GNU R", family="serif", size=10)+ - annotate("text", x=10^6.4, y=100, label="sqlsurvey", family="serif", size=10)+ - annotate("text", x=10^6.8, y=15, label="Renjin", family="serif", size=10) - - #scale_color_brewer(palette=cBrwPl) + - #guides(colour=guide_legend(keywidth=3.5)) - -dev.off() # # identity @@ -163,7 +162,7 @@ dev.off() # pushdown -d <- all %>% filter(exp=="pushdown", s > 4) %>% group_by(exp, sys, s) %>% +d <- all %>% filter(exp=="pushdown", s > 5) %>% group_by(exp, sys, s) %>% summarize(meant=mean(timesec), se=se(timesec)) %>% mutate(tool=sys, datasize=10^as.integer(s)) @@ -179,7 +178,7 @@ p <- ggplot(d,aes(datasize,meant,group=tool)) + scale_x_log10(breaks=xbreaks, labels=xlabels) + xlab("Dataset Size (elements, log scale)") + ylab("Execution Time (s)") + theme + - annotate("text", x=10^7.5, y=5, label="GNU R", family="serif", size=10)+ + annotate("text", x=10^7.6, y=5, label="GNU R", family="serif", size=10)+ annotate("text", x=10^7.6, y=.4, label="Renjin ", family="serif", size=10) print(p) diff --git a/operators.R b/operators.R index 0554065ef317983cf90ffba3a7da84a8b0c685df..60c93d053eea38be1e0189ab0605ede6152252cf 100644 --- a/operators.R +++ b/operators.R @@ -20,4 +20,5 @@ for (s in 4:sm) { log.result("operators", sys, conf, s, r, timing) clearResultRecycler() } -} \ No newline at end of file +} + diff --git a/operators.pdf b/operators.pdf index 6b815659d6c4e84074b7ad04a02dc6ff077658d9..7489ef920e54aa1b9312aac56bb1fd61ac81bef8 100644 GIT binary patch delta 29 ecmaE-_D*er1-q$%rKzQn=|p=`7;|H^urL6Kp9lN^ delta 29 ecmaE-_D*er1-prXrKz!@*+hF$7;|H^urL6J<_GQo diff --git a/parallel-tree.pdf b/parallel-tree.pdf index 629159353dcb11ef71da7cb4eea8e7699c027b9b..a63090207f9c57d1ea86be9e1441f183b7d8076d 100644 GIT binary patch delta 6174 zcmaiqRZx@xqd<|6?(S}o?vU1?}LA|+w}-s>@;6JUG~gvyj=CnNs2L(uLjps>ot%%-~<@{ z0U<1wys!&mKVZ2wFphbm!=?2c<&@Q=S?i;O?(}|M8D*UCIG2VqGg{qS%A^>QcSe}P z`AU(->+F?Tx9jfWSt}OivQZrd>?#MH2Mf2=UO{|PKX%7kZ{-xM{8bJx;c0`cVbtz@ zr7#(5#58UG0i+guh8s7dA_a~$nccen2vNHRH`0WhP6dY25Mnz?zweTIN8r$?hO{sF ztp@|cN?u%2l{#;!LkVA0^Rp-T^=I{y&P#m3S^ZcS*Y3!*0THc~N35AMV2h)O^G~H) zY9_cZzj^e8SjdFcY zt#N%aEaKf43>q6aS_BkJzydePIAw^AVu2f9k!~$}v64hlK$tBy}Wt-bRrrQn+a zIgqf8Ru^N&xFV<34s&aV-PZ-Fvzu>B_DPk?NEU;o3+Je3epx>Ouhvhmm`|@3lGhVs z8}##EPRB~0T?bZ&fsNsRwXuEmv3r}t=4-=T;6teTs}*{o(*Yl6P=d2)DMYtf7Xj^( zYI|Z2f^Yc?JN>b?l?Rq-|JT4*yPu3+Okpd&;pxrcMR(O0VFMlsV}NTD1E~^@9rA8a zrz?d(71~;AH24qLs;q~rsH3h6!O3kcS^1?!$v(hNYnbpnNBeow;YG%&F8q;sjU%!F z1X|)V4kj)}SBy7nUp-f%@{7eEfb3_^W8J9M9I3T6E%*?pHY01#%Sk7E)piOBOrVRd zHGkQxCGO^VPy4HfM?{dCV7RhEq0T;d9Yx{dItab)T2Bc0q`8mA)n3@#dun1E+^dvx zBlj3Hjzq;gV$=TBDtOp8)4R|u`d)DbFQDGs*v+tOd0RKMUv`zUV>-YsVVbh_$M1Lw zomzH}5kmQyRWrnEB7Orm?MUyoYorT~J<*G4hKkXKmP7u%-;4Ht<@cSMYg>Ccob>N6 zR;w&uQ?;D{tvpFbPE}s6dzC^%9f_Uu(K&0ZPv~2!wIbuGC{!1DW!rSFScU`Nyhifk zy*xKSL=~A8ldYbuAV$NH@N!2FsKG8dS_cro?ufW_@jAZr-DJP*=Z0+oc!;|w? zc+$`jK1`b-C@Y9VFkiSWO_Rq<7L5*OjVKpM#o&-M z`)xH09x)PIwrhP~R1Xeq*n8d<0dFITAsgFJx~XA3#^zT)bIMbt7v9DN-NyJsxRPHf z96JMG+0$T3w=o+akEiFS1GCB_qq?<>)SF~s%{cmCpimasR2umj!ca9@-E3XDoQz2S zrh^K7LGEOUbyY3iVz_$+zV|5K?J@*#75Ax*{3A93c0LMS^uHpvUB=#t(d{HDeeB&? zFhS1DF3u(1a;7(-!oh80fu5Ufcd0oCK9>O4!p}nsoJkEXHog4UCZ`f~0loC%@PTwt zO8USrZ#SnwmLbDo?WYnxkr5o^#xD<^rgty2HJLqgnzEjcsX6hpbA zR`qqJTf9EWrXZi4=W9Q~pzA>NwR&@u%lF^c?ZyY!Cxg{K!d>`3j?9&{xnT!!!K{yGh-%A+1`a6Ol1oKKWFSO@| zHBVDK?-Ap*fsl1q?e$$y*1~pF;0A!90rElu$%-#W4RdNGzFtNAI*>>$sCV`Y*+mA3ZUh(c^pw69m8(sU6wK4T#0-IFc>XQ}Hv^=W8ez(}I zlg1G9jeRjaSE?a?#_)g~yuX+Q+OqPa#Eq;UNeDv-YIoc*MMBDk4HfkJ6dn*%%zrDe z=%nQY&p!m8*GT5t&jrCY3rjN!Ne2B^4xOf5`#NKj)vdC!0LB=bRoecdGpW6&Z)8{e zdZE3T?~Z+bf z77VdRs-ibcyBJTNK=q6ZQr1q-Xrh~gKPNh;H$`*AY60xemvOHq)dugeA;zlowkSdqtJA zBty5RYO7IP1zLfn!$WrJ*co;;fLE5h7CGt5Mz77_ zwENZIWy|zQOOR!YS**YAsNiI_pXL0K^tGJ5&}>}^THG714lL_;%!NeR@6J_$9b#!c zLoa33CEx?yfpp6cZyy56;TVn5ja+3YiLBny&K*yCAFaErUUI0GiwxPQ37szKcpE3? z7?!aRdTNaF@|P>i<0{IwbDp0k@qQR<0aJNgo=Qv25r$q>VoGD~mBwxk`%A<;zb^|- zSM8N&Wnhh*0@CH2(51(9ZQ_NU7uJTbOcFp6H3%>5(UkdZr&-HxDbHeMlF7kcl+5dN z<+he4>7Tdg7NQ1hhf=N@Dq<*zv;tK$aYd0G>E%JfX!jDbeiTwYO1QB(lm|-uLt(+g z3$sd^<}Ka^iVS(+cHe-w;?mx=Mq#w1&dN~<5!1YAz;bJ2HLP1ge(KgHd9bcpQgN@2 z=N*x6d`|%qrFLfppNe<9_~)z21>7XE`j_#$6%i@Pz zJ(j)5lX6CM1yx+2mocezEO{(n7y@DJsmQs_fsvfm?#m(>nDwU$`LZTsm7lm(nUx5P z#T59y02ttXR#E3o{*@#Zk;|(4oC#6_~D^QN09lR)ZBV?@Yg+Wk9N&n>)2&~Au9-+zeCeb7fSdh`gfXVwBQH^d0 zv#`iW6;TF8%D25w@04!Iby*kOUKet9YT%TO;M1s*m;2{lf&J0mXUwy9OYBm+i0`*& zdtY-i-kL}J#XbQ8_0=$;f!dGIIz*T{jkdOSvtLWQ&-8hWE0(=Nq&sspqUoidlj5B) z5MXG}taBiwp%Mq3_gpHSHcQ{ojqx-0B%GEO`iYl6G<2BLEJpEgdV6p%ZRw%OFvbJF z_Z}rJlq80sxMq0##2_y|aj1Y5p28=Za^xI?zQ*cvz3Rz``QX2)!m zO+ZT2)IU;8UB|S1&fa7rGfBlfK#2E;T!jf`oR^?|L*BmDlfCyY-Dy~RJukNuu^hHEXpT_SCmO>=66JeW;?1dFc$7uY(b zDc=s}vpGQ_M(HL5GC}=nG?+PvYjY$rx}G`3w&LN(wetE%-rEyY7P_P!JHSKQ)YLeWAuj_xB*VsN9z0^bfviH4n<>no689G5t?i zwX%Qq)WC7az{q$qaYpB#GNyP8@ zmoiGx?`W;H`qVWcckd+1a*Q~DkI`>iR#(B%Z^7MbMtnJKM#+CD!jk~Q1p<1Z22TxJ z8D&;cg}6ffsz;2HGZYBXv-kOuI}Qz* zCF`Q;Vv3{R#QrW@E&9w1S0$>K2mQVT@qV`w`!uq)WP(Pj+Q#87@YlivoUs}ni#$L< zc$(%+Z6l+Wb)_~EUnl_B_>=7@LKi{vpn1Mpg>oT>yns>8wUXdiR@rPBopgRoyUp~X zDef{BRQ9DQgX&KaA%&md0?Xree~6{t!oRi54c1ACeJ~KM)>yJj#gTi zap3kIRDz06l3-|MaN4}T)KUF{Nor0m<>s*3wpae9F$iVu_{ZxB9q9aGURXYmx4 zbZp;k!+#hT@L~r#2w{oa_b_JOkepnrmRvQ3@9|1W8A7C0{Dj`UQsW2EF+#bbo3gS4 z!u0PGHo;rye$Yv0pJOv(56Y2!t#Du4cPzyO^o%3Dx<4yRePi|f@q$iFfe2;fvVG8<)K$w8J`t$>NE`)MsC z;Gta25|0D#6EN94ubWkJ^sCc(QaM>H3X8M+3yZQyP{r-jP@8&qjUV94hRw~{^b!>~ zA)0G`h7N}m%gYw-!qkgMjMvhfNN%^C*|bph(BQ<5Si<3gleH&ItbAE}u8Nak%%k6( z@_o-MviM`!`S|L0GsJG|WI){X2HQr5;4Nt|eIP(Tx?zsuzs0Kz0lD?Rl*7~4%q@`X z=%FPp)UG(JR@m9)@HLJ#WVwFTq1~!l&&*cN=9_*&j4-XRtwh%-FwORIsHb)Oj#2z4 z@U}Xd{5F7TB=eGtw~$-&i`Fu2;TbwKiy+8VJ8-A=4yl7UTspsSzx*plqL1J~i2El` zFa(%!ZMENOz9cCDd7_(WoPug?eB?zMZFsS&Dd5_Xt}xrX+^2|m&nS$UMWfM!OX$=$ zar1J7FN+OHno&ig=$SR+y!s?Too~#yTvvS}67m`g%cQWD8Ow!P3s213B9WJJ>{d;u zxIWmgks`_VUl2~_Yo@zSGGkgz%Zb3V4d8qT&8LsCqybu;vfF&yzEoScLA4-+LXkjS z7H}&*FC{mAoOGO8MDf%GIj2QtHpHK=*7YWN5q_d4!?bbmzFs$^WE%ZPdhaMxnNGyB zU$%jXb?1iRKYCX+Z1GX)ff|ieFDL-|_Q=r&87}h;y8kL9QIFvt{Zny57-k^b1AO($ z7UF_2b!U`1rnDMkCXYif5+5k1v#!WVI}W*3sBi=_h4BL+eJyk}QAR?n?P<4u7hbwc zx-c1SyhLhF?{mt_!&D2>f}j}^KA(AHS|r3uMmEa{`ychD1et3zC3;CalRE><>6)eD zv((zJAdf}grbp9}t`U2cUabT|!0BWnUIi_YsAd-}Br(c?OtmM>LODeNmA40U?d!RF zE*00^$ySz8gLwkh4Qh>)nHYsPKX{X==2i&%UMqBL8|8JL)eveJPJi!BqBAdeB))84thIAArJffr$rJV=n|(zdSWZCiaAYFK zfQ&jT36(=yHW;`H4Z`Aaw4Bz-`~^>8cNA z<3jmJA#x<6EE-WEY?Kg^MmYp}{m6IrF;}_Hlc+1*z5ezr^&PI(6d?_vrDt9S&pl>k zOJ9#!L!KKm=`=*lEv9{d%{*PUA^p3%{?|50?l_MADa_|b{&gEalHtRbjM-1A=5Dih zRpBt!v)ASAs23r5*CcGc@?TYaQ!ri-rM`Dt|L6xau4V2P>5xO+?ioM4-x%mr_SYz; zQ^)Lj2vs#0YhL8XYgJL7h03wcqA`e9i1}YBp78wJuMmGbo|8`lV{soHj`Tev7afWT zRaA;fZAm)8GUoDA92vW{{8t(q$u{Y=8JZKkBUPOoP_A!sq$QOI2G7363n8n{3n32O z%lnTcWUjR}Obk@$#WOcj9TadQ%SaJ&MWXmd5lfeg6)Fakh`NFk+>MT#NN1wx52ywS z3MYe7DdMtef~mCty&c|zGacJb3@u$W8<*;R$)-pbdU7V3<1IP9$+t0Ar2OMi(7x zRw@tdTE3JM9kH8?KvNFK@BOcD@*cF7#Cbfw^$Vedp_xM|2f<-EOf*N3_e`Ai3uC;| zx70n^lGA|n92j{Fxl7GTA)qP(Y^@a3;JT0mmX835=IQbz=Bdrfjjj1B8xq@rO-pO& zz9vxW1Q=*1I%>=f=CT2-qn2{9P$8J`t(@YHdG;nF_7lUf2ELYaI)BRqV1fPX-UZ> zS*y3_>0LUYzm;e5_iuU6Z9&beXR|z2miogVzpZUjLXWH!jog{)8w0CNQ%Hv-w}(#v zBTxJ<$<1$XUqjxz`A+SN6!8shTb27%QS0m4K~{cnwmt_xkcnN?Hm2`dH8>6t`O*v|K`u@TXxmW@UZ<*QJ*l;^8L5~z4XLC zm_PAJ+KNFdsf(_Zu!O7t9iNt`IQE2udI`z9W9S2UDAcMnxM*fdDEqhihi$l%?u2mX zL!y$j(>tdHJd%a998Tru-32*-HIfB z8{Dqa7kNjE=f-qxOmK`oA3yUU&a+abPG!W@%Z1T@$vi2r9Cg@A+klf+bH+5+jiXRl zqV7x6cP1WcficAO<>?hMJUHGj?#!>kj;8T`36z* z$%-IkE3^K}{2EMdw9|ZY4aaueoaW9>3D3`ymdqZ7EWj-!ASl3{M!``C&nwW}!vX(J zM?ipv`+uNur9t~&;o;#C68!Hb^52b@U*x|&USYm8+z*l#ymlfy0^EXpg0^;cHiEoD zJc1%Tg2L7|0{pfjc6NNil4#=p??PirBPogI_1V(%v!AD}9U2c0KOZ+5Bcr^g0@{B7 D`+dyk delta 6139 zcmai$RZ!Fc!}X<+?(S~brIC)M8zh(RkXX9@($d`x(z$d<3xaeAxO7R0grtDJ&-cx| zSI@*RmVbok5F>dLb@ethA}OT*%__vaNH{|BWtF@@O-Ky8%VS13 z2?g-uq$W{JV(+LnRPZ-?E@kE9`hAtaF|1$stkLA6*mutHB6N1k|04A6ySPc$k6@J2 zh#A?)`L5P`iB!5xOL$<7$BTrS3s2W8fu4jWvrk~*x6!ZG&J&E>j5DdK=}~v0SyB35 zYC+~BA}y#$wV>J|5n%GG?`rjUFY(&j1`6P3!BF*fitW_btuywA(O|L8##5+xYI#?d zO#!gEgYd0|-%56tovq+#%xCbu`p(U{VJJK-jbAT^-Y1Jh;sn<~-;q`@MaLvNF?pVE z_<@!`k5-uNwm%6QnGilaU>apu+P6@VVix7`{8s>jp`coshYqsMHagppwBrCMm59! zmqYf~k@xw9_j!fvZwy(OF1ClqF1hJL2zH74?!MhV;|w&vh)T!men;zXQxRsLXX&(K zV@igM%u!dbI`WFxcM!rPV&-1?O-bhp^#mD*4QAMa1BX1C@uVg}HUjsfflD)cCDC6? zNT`yS`?=G(!de4eqg3oEV2o$+y2ou9z$?puyg4#EBmFD`cMy*{+{-UsK=ctpB~7nm zIxLj2hSUo&XE6q&{N7udvU-$fCHeKH7D|1HU`yDGN;D;2-zO2bdqJ#P_a7$-V)pDL zO~D^qIJBgsT%^uMAp)krS%F7rSLav|vQa?g@4{QwZLBkF*2O4*eNF49Mj>1A(%6yr2bpJEH&;_S_n~=V#?+y=SidB+DXadF zt4EJ7XX+r4=H+cu3cC!!#(OhW{-yY&L_$}{sjHVi!G?kjE=ijHv8h-31{JfvT~o8* zx60Mi2+iG#njjV{?X?%Eww9aG*>uyIzW9Q1&zkBFMKfC+85R zMK3q@5{Lv#w-ilMzNxMLdf(nb#>Ao+Q}*3BD&ga6WE**YqV{nI^)p$*h>_SbeK${9 zu2)KX634Abac;`-)3NmoCdO`xt+1VpiI8RSxSzObZg#=CERuRrr0FddYkX;Lj{Qup zxg=QwIkj+sl!q31F8jnxHSZiQ+eLZtMfot9^ko~;b1Kez=HU;6=JHQ}llfH3-sm0U zy_UMaaPq+F7meOZIKI%k`iCYmf0;5PA#gv;8_a}~tdhbEe($0Ev-4J613rW8-kHXW zACGC4=y%KW(~POJ9|ev5gq6p7N*KgqAvuF=lJmB!L(5r^wg{{St zc(4Na($h}wzVy4Hvp4nNG%?e;K(F7{D23gR0@#<*lNu`#NL&o4*2XyMR;&#XW(58u zTM=Eaf4tcV*E?83h3$xRQ~!#jc+NDQOge~7Wa?q*!EvZSo$}m*J_uLu>OT-Kq~%Pw zs;XaGf#W{W3cRLbd8T_{lth*x8bq}i^~M{Y&;ZB!&6BE1n-o7&oe0+mBbi#$%^JTJ z1$J{b@S8_ec?K1lqFH1e(#|Fvz#0}6RL3|mw$-d25YEGz3o4!^-M<|iCtBU)z7MF9 zk%y!Y{>z^t#A_%jX-}1k^??0yV2f5Q!-mD$Gq^9Xdw8} z=s5`MH!i#B0M-=Cfi8xi6`Nuiy>Gwybqa=+OyZFB@}`+5`s|1piwa+uBdIgPYC82q z%H(VB_~+V|q09=W#4x{^ULvVwVLWx!;VcX|+34^)@x@^>v){B1seeQDlNn99>7o>=n3WV0wDqG|K zO2L{Q+g6w(DaA=3nwqH@wc%kP=`MUsmh79!FR+~yam-81Ll1@YYSruht`n-1pPe+0 z85gQ$*>gIDkC{t>#t(DBW6a64{g}u7So6efj5Q|(LZAY%W^&!_Qj%2fg)WY0l1k6$ zbSHO4%s@3a!dTur$eMKmkm2g+WBo6=h1n$`N%cjfc2NKH_gdGwR|Kz(DN*N`N(wKL ztLdPf*dp;=X6h)ii}nep+>xyN$2jaSrEq`D6ci^CP9{(rGfkYmcuR^Hg7V}%rDN_m zKC12fuBMs=LiI$0ZM)<2!FhvtX)KVUvxpWtv98}rqJ2lPQFZDM+-#GPTUn>9ofWN; zRs>go>XZ-4U|$lGJ*NXkzf=w4^WQUdSw<)7&Q@)O?^fl`!>GBSG`61((JXUBfL#fORYg+!Ziw@@NtjIR=^ z4d`scp4%)2^wPQ!mOVmMPCqGE-d0H2H0YnT;93rqC`l#5`3GO06uqA)L|`*8DZwnR zK2W?{%JkpyXir}e<3RL5FdtWIaxcah3t<%6ltIHG+B8^zlD{$4_;)c5E;(5^ZSWXt zCtGH(YI}kEn#jh6jGJpKuUw>{R;|+KAPvCG)`TvVLxs6q@xPJg2cP z9WvB6Bj*%f`L=7n42PA;uLF8u@_%HP+#v92GRj6bhuE>}FS^g0Jn zX9Xb#fJ+$FCybUm+G(^03-at6()&5q6ME3T&TYj$vL_t{?aRdrwSk{0xs2cM<~!@O zY6t?F`VP^Fu578SMj_T7rvg2jOS7?vafPLJas_w96~S`!xB}w0aaPtJUq2|)fS+IJ z^I7xSN^^0-(qR9Aq8#R@qJR|h&l(IUrl_lP6!QAs`Q`SKN>d$u-9nKIPGQCnyI+aK zA=z7=BVjLYafa&;nzpVQOH3%c+NDkIJjcL2F|-$iiCCRdQx#?2$8u4%kDeMn?BU`@ z{(G%~(i33h2+@Z1w!*t>d&`;zUrdawt!&|@vxbHwTIXl-Cep~IML$C(qU0D|`@;%~ zy-!er)Px6g{>st4bVYAq;Jsi3G{aqlY|H2_#8GLR%Q+$MtPTsmMy2cd6lO|S>j76L zkR?KIskO<9kJM~Fk!pFVq6V?$oluHCMZWG$`^uJHYA~)uXw`yMvm)G=!@oGO-sewk z^vC_)D}8EHjp!eFk9Im^5Rww6toB~&JzUE$<%C0ww z3@b5t72FxW)$}I)mg#T%-0)2_^(6d3t7yqWQU=}kN4`FrAfoe~#4!>|)})k3Kx&bf}eV^fp4iR?Sw}hgG-6E-Pxm2JM}wm#YFIb-h2j6hQAaGMZ$~ zIP^-tRV+B+wBg4$pmYw#HBqt)#_*rM?%6y9)~*hk!%Eg5T6Y@Ug7_AH=2hM?y=ZU! zwgSFUjj>~FA^Q2fB)lp_>(riOkIzucCuJ7SzS}?a9a=Ch7YgT8bU#l&Gx1Gycu#fP zU*m2hU9-1^<(D|L7id6A0dy&~#5caHxpR1BBklV+9i$|__9CjY zSexM*KwxQWxh(i8YTu#}%|N9p_a$8FaAq*D>DS%4;ih9?MmB;P_$PN?r{z)EaXDRt zFGTyXtgxf=|5wKT_ICCXJ)tgJ+MDMp z3XUZg9Y$hAPR_yX4pJ&9W<)j#2FJ zuDl9)<|m8}l26~x9Aes=k?(}}*xnKZ$5>f49U$TW?jZH1`;Ks$ycUH<(+ZUNpc;T4?y@v{L2h zSkMOl(vtfw)thm(b}gq!Gp}v>2{jU0ZC{h1RSYfmcWP#ID8(ti55B64rM?Pc`<(NW z3S1(P605V!SaPC%o=Xz)&M;$}g$%fM?wNVlafE>Vq^L0W#x_$u4r#FSQ(}eN3F6fe zz3M{yh1=B^FhvI5r7>lfh{X=A;8H*k7UqlnEH|Qny_Se!ZkCOQ4N992+_A^;(|5B9 zYHBSkQ(h;|STAVVUgO4}#T^81L^vKJ8!FZD|Valj&I|)4H^_-4k z`3ggCtX{fyJu zFR*D=LORPK@cmOoUKo~EuJS+}019(+enOr-l=(1oYROfxUpiLQYz&Gnm z35HWX7~7p15NIfi1AnLI%zi|CKBqma!Hqel!sFGxQS0A=JrzM3aNS`uy(UK=B}7nK zToa{K(l_9zYc7|Os3-2n?T=AnAf0!I3MgK|##FZ_7w<_fvWhvM06oy#x;$onPHqv? zh9K?-VXAUxzI*ftdsZsei5u_!?a4q_6z6M1etS@pv~j8C?{DPT_SEqqV^0aSdtzu2 ztqTUJw6m^OBghu7lZ8aAR4Cub@IkWX*^f>3%V5$QG8E=|yX10bp_^53{qof~xG~m1 zhU*zkG#B$O2m3`j(6b0toaugFZ|^;v>M?bQll1O*}?d&5+m)=vwdbLfh%6T=tu{M?`8f5l*Y}gXT)nI%oVh8r_Xcy z({Oah_&j`W&ATdDyFZDx2dtEjKwzEPq?y`Z57>`HrCLDV>NYJBZL&pB-PFU=I_DNN z5g+}4vY0Yltc;Rf_i_DPN8?MeV54ITF3Tz^4NL3pv~`9-IpL4%nbIHW!RC6F%a?5j z2?tWW#M7?8i3hlZBdj@Xb%Io_BJM2*XLNeD^>NkfP+Zr?RWX$fGawp0=C5j9114?lBl6S+6*%_$XN7zkMH~ zDs;$^hPLX7P)5rUk?siuhcM8}{IuI!V9Zi$%i8<@i9zLDIjF6L!Xee97!=Xy=N8%CV|MUU$lq;hy}%MZI9AtQCIlO!f_$KmOw< zS6QH1g%0WEf#aD8gfuU^j5B4KYRa|oZADDM3R%9nL5&-EmvTPy_EG;5456TT^?6bl zd7A~bF67o9s~XKE{(b6EL2hD%1N{`uIB)}0Jqch)RYQTW&@R4mb|Lim@>6Re#J`pUq_ou06<~jTG<6%{ zvZIev=OXrKM!VjBxN_aFO@BSg28FLGFXhs+C?jWebIY58>UMhs=!lr}osxgs_Lk!L zuaTm(Y$mqzx1&X~!OAA1sfWx{4Kvj@YT-|MlHvi7U1Gj++9S$;(BWzf72H@GkpPO-&3z6z5hZsQ}~ z%Et~+mqz7_k0-0D(Zl;{VM=|C@mY!T;3* zi-=?}@kv{OY`~%p!eWA85jzJFaZzg_aWMe_5inTDM$}#yEFd6_CHa3=7@!Q&(pWGb YYj2+bZ+izU5J(6lh{ejPqz%FPA09QWzyJUM diff --git a/parallel.pdf b/parallel.pdf index 8dab483615fac91963d11ae01651234445a6a8e6..f81a79fa0224c45da1cfedd21275b78225a1a46b 100644 GIT binary patch delta 29 ecmdm>zCnG01-q$%rKzQn$wYfm7;|HEs4xI~vzCnG01-pr%v8l0v(L{Su7;|HEs4xI}76+mL diff --git a/pushdown-noopt.pdf b/pushdown-noopt.pdf index 845bea8a64f1451db0bc6aa638d3f070f2079b94..9b53514cfd11db4a05f978ba5241d39f52566d53 100644 GIT binary patch delta 7317 zcmai&RacY&qlE=gIt1yKW{4q%?iPlYZia4HioVj{yl^@FU~qJ7gqedMPk13X-e@ zm?1&p9U)*|L-=ABxu9R)n0H(`VX}(s7&5-rFeStK^mMZLFW{!ldTKeg!Nk6@!`OQ2 zKHZ7x)oTYNBE++nzrBQy0|%SRHEtF0tYb84;Fw|C9$P0g8v!Vat;$0da zspzEcM)Si$6e;d#YlH)Gm*+|(?fOX2XC4rgyEOO_V@uaJWcrT}W$y}Y1=lIFw26LO zG?Jff=~v&H0M3ObFe@9RyU*@hh1{^+H=sfe4Rz7H{IypzkpbIyFVVV3@(k;M_UlH) zByAEeOcGu7aR*#`DeKC`r&*=C4|zb0#oJpwPAGj5z;L z&O4)sEIf#v@p5D;sOP zu<{t1ywXP$+I%TD-yqtdZ%Uhjy#w(mVQ@?abZnxo5moS16b5x@4LlR*t?rEsFp zK~f7Qmau#s8!X?D*83*l+Xz>I#ix?oS^1EN%iSFY3?IuYo^Mk0vBHe+-ILM9*5Zc; zdfN|g?eBd2ASNR}&LzdV_fCy}=hoP=ktGb~OxyC3HH6OQtl3d~pBr+c&0!UsBhoJs zO#7_39<(B<7G{HkH4SFgM~`piQSr3G;cF&yxLQbCSmL+n!1&1zXx}Qw@&}l#u2tR6 z{yy;*tSo3>cRU+y*~+WhMtC7+lb2l2N!eR#*yA=D#?}95RJ5(m6J<|NC(&d#R4AAZ zMRYbpg~g>M3{U!y9MA4Xh2XI{ORoC`Z>st}Ns1Yv$~G#JdU}1)CDG|IS}#vgv1Jk|T=it`~q7znk=U5~x4nGQMcB@(CF-*gmSY&2|GT-UkQZ@VDBUinCD zpmeiR^xvBfeVZG;Rvpas@{p4T<=;g|vZc;?Turv?{33_Wojzx+9+8p_R3uvD-e(>) zH^G!NSLmGp?Dm;<`P;i!*9<0#9Yec0lN7m}2@c^>cp^X1sU(0}bg>{smpsasZ*#B* zw07*SP*NA{44L&Wq0p~pDd>=&5p$9pcch;rF-4F$x1(rvqhSV{!Ze!|#2VEfDloFX zq8Q4EAB70*_iA}|2bU(eyb8c2)m<^Tc2kZ*y9e{!O$yxZmU}nB}=^ zL-x<|WwUEM)U|*UX|0aGRS1HS&!vYNzM9TO&oOg6B+e+Oh;lCFUQserzVQ$z-H7&1 z)o|3v@z)qMRj{qp-NJDDfJF45&|!!!!$?=(NI`Q%pdD~G=*=5(}t zm(b!~-U3fP_bqge;Ao8Muu?W!v9L|%B3Sr5?xw6jbo0~O$^3C6IWZeTv1T|yVL_8ltRUb8W%&C5|cn3&p)z?AWoT#6F0vn z&o}oT9Jo!Tq2qB(Au|07yHDL2$FL%-BbX%^r`<(MF#TF-ZLll`b-hM;;CR5iUOW;P z;BU%m3wg+1vpsozLUBWUk~f;isx_fGq0=@8`73z^``h<;_4xS_6&xWF08rW9-_PPo zkNc1R_?em-^yT{PeS0=o^NgM^t`EV5nA`qIeU*<4JF8<(9st(G5gLsDa^! zHy`uh+gBECb%vAUSYhi{4JpcU!N$e&r*?!x<|&`%ww#X%w|jmI5MQch>O)tb#ZWH& zv44>hznlAVmC~%RcV)Jy1<+Yiv>chpjUL3EC&l%DkfYT%q;I?(xHaJFN}*XCKk2=n zOzAR+ie${p5e}|kxXWMp|r;ZYvL40du`*A17w)QNm9(&7Zf6s{p>P zvWBBued`SL`fF^groo-xzVL(kWhDcD;h*zz9S#{Sb!{M(6Bz_EKE{bH>r4#$uQrV+ z`zPh+oj#Cn+#a~t9++cqBgDlIi>aDs6I8N&PfY3Mn8ik`8AHrZ#6RO!i&)9v0B(+X zAFY{e4p#imVQj0rhMSnVz7NH;X|6RU%l)yu9w_L4Uv%qaQOi7v1l9ANa2IPxL4i*kCYm-tOcdx}Qp%8bvc@k zve6lP%~3N2a446Y6P~%hACWC_@b_d;U11xgNY_b!Gp)M?#g&7j``P6SVU%RkAN=*c zKKF?hqX3owb8i9Pl)o~qnKY->uY8cWM5& zt60MP7ax~upSfT8Y5HL3Kc=;&T%1+;rOaQUj#OjdP9L-}m|Y@&pbPp2#y49%PBwXO zqDIH&HJux}x9vv)p^opK7y?L*uD~SHeovd=yxU#*r-?rR<|yEp_!goW<|z7Ge|o3{ z!8kqvc(+MYgUp>#!!)XUOI&#}7-vTk5Lhr+r-k#5``T<7#k}V{>6O)$Y(Ow$k&hGz z*8agv##el>o^23gLY{u}<)10$m2cJpri z4YJoHQ55!bBu5n1;9Bkc^%M8jmOY4Or5>Me&_1rxhKlo?SU`Z)n8Xo}jm^*bIlS`9 zx0tszJ42R*e7;%@niJ)fM8y*$sM1j$XR8KTP1Fvgtf@~m56QkmO9S7;n`KtGFE0>4 z4`Qb{{@=eiMscNfZ`s^GnjyDPNk0m(5m5scmw`9rS+^sVznopWL6pGN4LUFGJUKf2 z$;B?a8gC;Y;L$E417fPK7DQ$0E%O~$OG`(OotE)a=0Uw)Dhto5)q0I-t^Y>iL_^(F zGxhQ_&Vi~i#ag>vnNF+E_CrB7+7KGBOy?2J_yW3P%Zg-&491jv;nJA+x?cNF@4RJG z6ZJu;9W@)-;B8VF8J)0nz8E~8n{t?!d({zL?z8TkqZboNfXw^e;;C3Yju^>4-9BAC z+Y7h|dV6RN=ntA5a#jvQ_nT-HBL?GTuB2}_=E|0XX<}oa(EDRj`3#Ic>Vm9*%k+;U zHgB>kEgW$#5i1phw1fX(^Q1V|R{e6pG+A+exjFM1MucX3>&)}wPwv5pgzfA#J~iO; z`SzmoYUgS4r&oPLwOs*WDe=JViHX>9)+goX3;XTjt&#jN6IxC5i(Y}G1l3ndfp%OL zy>^23ziK9WP$;!<2Em;&7d5fK(-8hMtZN(AKGfw5j(dj!U!V*XlPH+BiTNi%7_s9|LHiZXC?iH<49qb_B=oWIpF-T3q#Bl@ zrS;kqWG#|cm+t=moGaYvjNzACU17Qk1nuzJg zla@&+u4n*O|EywjuHtgv+3H<~{VAmB3)7#E>giH#s@`Q;*Su$n=ClLy{COU&4)l(f zXK+WKODI7Q&R_472n9rgqyxj3q2sfoN@aGV5#vH?!n`pGft;m4^^E=B!^>ztnDTHQ zEVvskK=?UK!$8AcQ{C%-Z7WyD2co zLL}gL;8ZQ_Gz#EnD1{&j1}3|@Qa$`nWY=XKA@#nbGEK>0#M?w2tzB)MH>@BjX5RO5 zgi^;hZ$O~34?87PiPLfCWq+|UzWz~bEun|5wl*3~tJ%(~;dj=BFHv?L(lIc!N`y8w zU$#)Uui*b8xyTem;sTfQX%9`7=nGgsTh)GNK}&Y8Hqr(5Q;k3Sn_RZ~jGd>gFPlk6 zTWJ)zx;Y&NryHCoR8>u2rPhL^^m?jV8EfoH!g`djSo1|zl7F0L^@VJd3GW19zRlx< z`^#-D!g0BUx}`nu=8>rAC_F;5-jo_oS>G63336!$nOPVy<7tFZGI1-s9gL>SrO8rI zP0UhQSy2N(PlOke)9gEFhE&t0@2~|Ww`xooNeXGs(&~Z(A7wANdsKw~8lm`v4Dx8i zP@s%Tl!Zz7=#(;BgeG+zkW4j$h#Z$LJkL3;b-I`q@Q+;vV%qrrWz=Rqv`w*>&u_;j z6E!|P$y>*ZAF^&0tkf#`4~Va}dHG3xjvvGt4h93~InkmhV(m5Fidmkq7hDq`4}BMI z47(ZvlKXW28eCpnff_&_AZ~37r#YMhJ}Zauxjowq4r6QAR+8ee$-^jC7z(a$Y~~WV z=oj%>1hL_8ULTSYG-rlvSUKIy0Gn{8hRQvmxNyeO!(pidtbpP09kJYY66>6R}jQ_)5wy&}>=rQL(dJ>EvAz6qcn^ z1vpKeFEcb`rG@6o-vE+x&hKl&8XJ`$g$#vBsiehJT`!TkHd!9hhmDcqFDyM%2D}~c zANQia!6MOT-%y=116XbRG_J#4F#+*{Wt%07j)}&R8kX(agS=${)jH^`z3510 zZRV!f?DIlJ>8y>13UT>7mp)~==Ypo6>#hJ^SQa9h?!jQUL0J z$6ZNPK`<^*r~i&8v98)(_Z|PJGE10Rp?g~R#?UA2r4J>^?J}tb6KsM!0mUaft2#$z z7ke+e51gG>Ce>-69HY9(y%%>Ol& z7}^c@q37&zsa-%M_4<*JdQ-f-#tbRVl2tX?FRd}{pT~t)4b8g4^-QsrEn8Vrff@kXe>qo%1Q* z>F{=sN^8t+_j*@eyJJ>Juk4h#g{R%oCmJ@foxaFtbD&HseP98#k-xN&|ANTbFm(cZ zBb!&5yf?}#>^pEhz77u>823R=>%j89m8jw<(DhL7(jmm}$7Q!t)B{6d@>sgy;YdE- zdQkFO-V)B(8xfwU%bDH4ctCxGwMy?D(1~x^6+wnIU@K0_&RS6pVvBHU35Z`XESqBH z6q(za2G9F{Y$_}3R5|FdnAiFZ6>}IL-Gc^|4%+{LZ13>T&xrfl9(|2topA^KZa0Uf zAUW`OXP7$`+3@&v&;Jz-HR1yexiNE2LXC)K-1_Y>>nI9)3)OPrfD1!KiiC+E&H#_8 zfVx(6GJCX(q-w%%b?f-rlP{^(`H=}!v5i(74=S44U-j8{WF2$`=Q@wmsOYc z&KjGLpQTSG-J04`AE2r!Bu#Q~wjC*YHi$x*M6f)*|NDdRl*7`i@H}ddF2hUme%|Zd z_^rU9$r`_YtI29FAavZXz!2Yq&`%bOSM{e>RAC1Av@FG7mb_EqUtJ~>9i?C5KeS{f zqS(Q%Xx!(MC=9Z@k-7Y&Tk?1FJMDFFgYyZ6)Sb)($h+4K;{%z_#K1am1sOwS{3>Zt_cg zQsilug%{lHG1N`6c%8?D4RgYqT~9=dkt(*ziPXpHc}2u}=XO=qz@QO}VKQ9cWb>S{HAoQp;Cx{D?li7aUIJm~RV z#5!K3G(BOuM(o_EGKkZhc#Y5zVgjORB2U@k-Z6=Qe5r%II$ZA8-cFyV&)^7!#xb3g zSnfd7fmb=VB^^JjnNqdS~xqqQxDyr#J^@0%~|v`pFA#j9J4 zCsMx5{NrZznL=)8T%2gxCz4uX)`H8@kd~*lgPI1L(Mm`O-tCTDS3Dyk|QTVDuh4@qpf7;;pq0!_??TJe`{!%~IBZ$-;C( zy;52&&bj`J2qBXoM!n~c$#dPCnb!EnkCpcMBdvE6SONPQqWW26uz>Lx3DQIY?c^g< zrc`KW&0zD|&t8E7YHkPq{c}iRR;`zsgNq6fL zzuxgQgWRA`GH{PzYeUh!K{ji+B`lc9ccHZeRYp=uR0+5VDx7?h|MBoxEQ(?e(S_&5oE;!0(E`$rEei z>}0rO8Ws9BeN-9Q;#}FoewUAM9BUX*UL~qpPAZ;ddeJeNpSf#@EKCPhq#@qHJ(x4Je>HV$8_*{hXUOXx)gUDUnv`72;5%k z-H@Nuc`z9zpCuI6*!ke{*pN_*YnN@3=SQsbdp!0>sYP=#X zI`XYXUuT?sNMgUAc;;A1kYWyE+DUcvOLxHrqJKu1FkqeGp5dbF_b{iBRLkica(#a` ztt?i%6#k{TA{t|)msOFom^TZQVJPRwJ!o(qM0%?#5c3fezG1V%iv44Q4tJqZm~i{Z z1sU@`bc>rImV2o1dy{KB=$r%6*5exHGvVl~k(`uw>&_m#RmXUr5XHrSO{j3+hoXhM zeWX@cV3Ynm2kH9F;r^a-n)-f+R1%VgHSXmQ+3TKtNI{E(wufwHo6-Q#&p6TMDfs|3 z+5L3RbRGBKufQYefSxSW$+uLI><8@K0*p_%Uaa!|&yiYvrxS6XmxX~3uCXOckHB-C z(5u&n4TxnLSC#VzWR7eH@$ixEhNIpx3R>Abd05o zd0ht$9)x6qw6QBdS#@8~wKk$($nh{h;Dj7DN@PC1gf6yFR0x;(U_gYfeFhX>*3PmtskGXQZ0{pzZ zJUkXK3v;j;x0yLuz|4~0QVc`n|5a#=XvD-YKD(Q_xqG`=T48W;@pJQHFfhof%3=H$ Db1fW= delta 7310 zcmaiqRZtWFqecM{X{5VT$)!PB$)&qfmae5GR=T?z1f+B6EHzaPKn*ZYhqJq)2O zdD09R4$$LKl2mR?R@cZ4Rc~-ydM$~`>{R%BCUdP%nv@f}MUXHsf4+gT+K?C zY$CQ=$^x;^{-sWV_+6iwZ_d_?ksOYiZfecnW*SlNfeyqL8=gr>ceX*2%y!t8;Mj`T z=ZwX4$GNPhps&Jj{GS`>Z`MDB43XFVqQHXI%h}|WE{rvh3>vm;V!<3Os>9N<`)uW+ z=67g6wK0RBNX1+y0Skwvt~`HT((NzcsN(PU^@f&UjcPCu-0) zi;pH+4U}F|?N}NlfBqfTSb_#MBW205kq^Tg%p6tS$=LZdz)evG!D4j_UGAL1s0(*_ zZ_1$|Dn<>7nnF=a0ynBHVX1{apeICJ;P=dz7vgRxfH#V5#!lv^na3mR1vJY$Dxxj)B3SmHb`BY-q8C7w5%j@s-R#*0jvj>{#NSUiTT32`u9856jI=R)+=Fp$PPz zKN0WJw=2Wj){!D+xCCJ9K@lfcv%_EBN+Hh+Z!lJ-4*BdirsGb6uQvDLnd~5krlsazy)4IC-vh38>-@T+p4Sf{Uaa|7_e>w{=+DmV)U>CG zNj+&syhhnGBnI5Y>WeM=vp9pzn1H-?E{z<@D zBfLp-D||0~1)GuOql%~qk`cwNbc~z(o39Mzi4UIKq*FxGd zERPB3XQ||ctkm+a)_yEjQQsyX8*gy%XNtvWnPXOHm+@}rD#G5=L5u!UugJ(EzQLG= z@5nvfI7p`j_U~TRy;Ft!s6oH{}lP zOWm9QTa2!!wzECdupbE4J!jj%Cxy68Tb%*rOK*zp-*E?W-6Pk(DUs}V!S3BE%LbrG z8J|G*Z~Yu;)+X?u02TT~!P`M9mvrZ>IopioXsl0HY6^@?34QCA?3u{ReTq#rHlsvj z;aTeMsubSrr4-2EGz}DAV&0PlFRrxU^t>gw{|10l4A^fQC=AH{iRhj|+7KSY^>^w)_d?nSUxH!vSS}W) zk`B|Y4L5!8V;lbYmp|i|Traski8-2VBfe|q$bYc>wviS3@S>!gnG;;sZm(~ZG82fZ zhXOm3a$0vyowX)SeVX99m!7tINLNC-+w~2ZV&0{B+vGgU4(gc4( z*yl6qyU9ygK7ZmEpsCsx+}o4>hujr)QRljZqWSqCN#H9MIZIh4Xld%IGVAzLq7u$n zC-Rno0z$OJgY>T~xy0LP*t6&hHgg?w;LoVlfn1xK>WN8RCxxwiiPS)5IH55EgF|$dw$DUJuEZqOd$RXwdj5sFdyWlo;-Vj@yq;CBNE@ zMcWs_gZm*l!hb0l1jboa=mDxG&+oZl59*U4A98#>2hj{Zpt@)KW_UtPTfWyo%t@gS z(1ZpxH$QElj)TsYZd|$KVQU$hCQyq~v$fPzskMw&K{7)kXhA^%$7H^O2d6y`$D}QI z+`O3K)S?ooFl`|meE}#rdA=mbm0JtMIn+4hDyC|RrZQ%W0&B|uD8WB=q<7=R8O%2* z!CJOKK4yV`WnTRvnDS{f(4Q7U|1K$k@gEKA7OP8g>*(~Axcuw)i!CzZK|ZeGX;kto zyAf~X9{2yMvt!zTCasyu9Oy<_$#leLCSo`aA)FPmtDUWd(cP zqn-Oof`0BQIWk0y!q_TU%_Z05iHCP>H2AE``}86%sM!V?{H1ZT+9CnK{|j`LMl4j6Hl1I{OCj`-0xE6R|aZ5|(58iD1 zCQ7T3)`|nTmQ@bE#>$Bj4Fa<*7LTqDW?fC8R2drII_3zpaZ|(dadW??zpAuROJO<9 zX1hMaYNDtl)A2{p44*StL~XoVhuxVg%9@y@4bfhJ1lumEnK2O7j`_f&mN)JlZs&8! z#BEU4ZPP(b#GGFWFUN6l>8tDpMoTYi|Lv?u^)HMv$$VGmmxa6OlZ?_OYBOn;OerJ8 zwyTlMc_(R@YE?kfQtumwGmi`v9`8F3*54)yRLn9(;)AjvE3DfZB0@t56!LgECXp&K zaZKYm?ri-|Q3_)7U>l!XtgQr$?-W!^S7#dm<|yUZN*I8hruKT_Ahg$cLVj;2iATV} znS1T;u$gxFeBwl?aG~<9ydmrCS62dTJY|`yo%zp+x%$T4lvoo;^UN*){d7pSH(L&H8AJrB*Mhm z2(%jr^B@~hgykmU;wzZGxrIbGD(uFD{2BCc1gzl^ z?hzF#Ur!WK5SWRqNQ#9j<&{jM>8gKYvdqRxk$U$s607rtRdwP|?)I;D75^bPcE;E} ztftX5jVct{P7q0Y*b`g?^|57GehOXd5Y*4_0~J0kk6JFaG%31pXz zFtR1tKipSeJr)Pev9A^*1|xS*Y44Up5S(m?G+l}&W$L9n9|u|5;^bXxJUMlr*ujzL z1;~1TQK|!v{U7YIQIBgPk-?Qr?v-_6>WA2mYRx8|a@__2Nxia!%VHI20MjI%9|1^K zh9p*D>5SM}KQ&>qy7x#UYF5%^yFVK^U`v&ccBo+fwdv9pk=otetixhz*lbpM%q;G> z50T~URr$Uc3-LaF)mNMy)(Sx;?tmhD1Z3AX8NR=dG$(8BW{(FoY^JhvN)tz89H9_E z`!qrxTfJ!8`YF%({OzQ+L;Peu)6?Lb5FepuY(c@QC>a9V5@2LP-LQ7T6GCecsIB1) zU0x7f>{_#TTg&z58PX^1?cRU;+`m-RxJujU((Mv!qWmueSi<>P5=gCV5-5823Zb#P zb{~q-Bf=CHP?#nv89|=6));>e4by`qEavz^*DQ6`p-C(w+HkCc+-k?LpYe~FH`IqC zbw5W9-jRec9lZ^gPyVN_;uNmk{zlF^3>s^q2MN zN;Owb{hpdB$J?t=e%BZ`;boLOOGVmQp6^NJYLsN*|hb3_YdpxCkZHI+gN_ z2Fx5A2IQxGUV(7zNZx;fNDTW`Q_7zKseI~~jpESKclZrH;<&i(WCI+NQ)varVntM! zfqNv0zX?l7S#C*)y)3VO0CJ$Uuz?k8a8X;^530n5zZ_MJ>sib?Ldo_HIx`nqH;X~& z(9j73zQAv`9aVkeLIu@=<=?c|fPA9S!fN>)2Nd_S*GhH2LV{QzAvVd9?ppe-mTK1W zi^QP(OGV4X8ppSrl0WDHwz8i};xX7|u!1l3M|`+z3Ht4hM^xH9lIBf16a>#!q-jwIu5Ty^kz+{p#LCXJOS`L>^3^ zD6TAo*CC_vMZy#k_g56k3agg?U1T-O5d!EuR=01d>}EK+gk0$xc$H&{*r_41x+BDc zH|4`w_N-SgLNbD}Y3;T6&=3+EJsoA9YNrLfJtgpl`^n3keVb;Ramn(3Azsygx}>x; zHTG`NagiB7d;qm7j;e|(Ho&RW*^Dp)a!+-GT%Dccj1c5X#gjfp;*U0y9yW1!3@$N1 zRuS#1Nep``<%58`8+o0DoMCo_WdW_EP5TNZ96O-j=hm1^{EfY@<3w~-R3Xle>GFyl z2iug4#_MPt020)%=)+=;T^Z6s2XK?#rfe7cJ?4EN-7-(pw3nog?C_nA-ki6}GFz-Z zoXQt9ItIe20c^_Lj_93$64M^Z0_ki|qu**TX&){xp;lJOl=BnG;mDjlysfITXGpW9 z(Vj^f%U#?QpKYD+;ML*tL}TFj@i>3xkBA@%4lufA(h_R^zwMoy+koXhLz`w z4B)Ad*zB7sHxRaY1vN%}z)ZiZHqrl^W$GOOxrKE2j$<1BX}9>C2hwbD0|%~u&M~@B zuBn~I%>q}+i1eR_gBn2P8T~-)%3`sn^o*HyV_`B^a+9e!nxw+otb) zIYCOmj~4|_2QQQ#y1%P_>T3Hi%G1b2gkCWiPiVk|1shIMf3H^}q@>3Lb1Khx)%;hu zk`8G^ukJU`{nQWJqdi>#+^}dYyj4QZN=8(MN3kC`?UGwL{#wuNG z-tn<5k64>OIx)_xH(n>)HhR6RON3{xi}9U87rBjj&z;kpRg18MG}2ZCJi`mPl=LxlC=`I>^e#r%q!(TA`BqCFHH-h<%fs|4VAj_G1tk zXk55P@q4<>!iZXDuEF#Vi<*&!s9p=8BdW+{>P|_N@_o)S0cuKU)Ks<&Ua$c_S_R|@ zA1iHI_ttztQl$JoR59^{TnDOP?F1s#_P}8X1i@w-!4QFOk{Xrm$4Q3|90ex27Zou$ z;w=cZFK{^wKU;?gZ9P+6)4V*-lc;yEM0k_X&AFDd-RVG?OP`opQp~yDLCSC&p8U)0 zntATMP2%jd@WmF&M(6zqeoCC2YDnw4popNgiJ%ET<)K}=-BUGdyH*R|ADgwUOaUB< znyF*UW>L8+tHmi%Ea1wA>NObo<=W%M$wfK2XNty!XK5y=Zl6{3M==56ikV^gP-s`| z&^IT~!x5IR;a)W>xBoH>!yZGoqm|nW$1vMMaC0nwwQr9xig2Yx;mEWshCr-?F>G|% z?Zdy_m*TLW$d!KB$G1;aCA@mhJo#vZI+>hN?&^@mY%_c@*9{(tHo~JJajO8V<n6#y(mRYxqvYM6SA& z-KCj{SB#VZgP0fbG((S$vAR7;V%scd*_JG=th9?~4%F3*(^I(q$f>K@AK&lS#cQjq zXvo=&B`TVpF(+|AKpE`%tJi;_zuW^?169ou3Z9^vjIp&)m0z{9Z%f--dMAax4}3fMa$)age%B z^3095y&01esB)Z)euCUAmOl$DSg_^XYt1I_hKKJaAElqN+D-01Rgdj{uA#xvS}y=s z*;7yw{bjDIeF9xuXsOcM5GZ?^zNsUx>#E3qT?Ja<#cC&&tzRAxTMclS8}-46ZlJO` zJ8x=DF93fV4MfsE2e^Sw!HF4+x<;A%Y@}RaSYcu87Qav*#~@&~PjA8r1)7gmc~MF4 z1W&1PSUwz{>-h+F2=8Cno*pz_@E;OYENTWWY`5|INr%dhr3&Z4Lj#aq{HnGk_wuQ{ zBXZieZcC!v98gC!KYSU`RMvcJNuzkH@q^K_r)-lkI% z_WD_J-kT&P#RZ7Yl}^7@TlDxH9T1^mg_Ra&kY4=S{gZ-|*S_eL+A89TZNo|9#_~|( zqS|(Ya8}E$p)x}&H;Y+&8%)|3Z0monu4+M};iYQt>QG1WIaV9w7qxqwc6L=+k5$9N z$Uu;(X;ZJZw5Ae<$9b?StHam1o8nxaPh|>37;%*E77g1Zb)>w2fPNE8LmF0iRt@epG4Rb!#uN84#A{4(f zZg=j$vxH1IRcTS_ab!nz0{iT+$s$G2RR!41MiNw*8!;yzp1MFE{}Cf*F? zcf7n-EW8_nbNM#e@6^d@l_75Yrc=h)7M(ah&Oy-6eZ%Ta^4)k77M>#270O$Pq8}eQ z^HFB&NZT`~inpAuFnk@|0(c^Lf}GI7M)j}VD% znU}|<- z6omuscWCiittBHY#NUWYEHETfTX2-A<9P#cA!^%isR22eH&wE zeG95NJn|MwkFad8+OJRLf-9_wJ)UIar4U7iQIJ{Ec*;$D?rG8=6tJ3`{x4yLb)y2U^eMEYoR=TfAW^?I zc*4VC*L*QCWib-!yE@cUChNp0i z{~MjxZ|aJ`7#bGJb?e-89Z^k?cXJ<7!B68HpH>~(R?R{*AB%ig#~f164@^80WC>Wum%snG_H2jiU8jKO|9X`dt24+ zLD*~G2OMk~qgwS*Fo*&U0T!2V?}*cztQcz&)Mo<3f{U%C27>53$E`~jIAJy8vSVgs za3~m4W;xcTklob4?YE$r#9)K;l>BvH!Sp{3ETW8905cA;!hw14&j>fKazoAP$uBd= z&%rpiJ}LM_=cYv`NOtw_&~{aV%x@{?GyzpDmHitvmb)njCY^;4tDoF{A0HW?kN&0m z?8MIH60r0Z8#Bj^U!k7@a;OapbOT(y*w$9+V|G5d*L1zBYfLq#LKskoO55in&PHX> ztNwhO?c~HqjK;zwbDRhfpveIQ^q^0ytH|g(B32VGLZgW{JbQD$nbY>%&V~Eju)*Hd zdED0D;|u(@RCx-L5(6Hk}}K@{*Dj8&o2VtOVQ#iMCOIwa=t;<;HBgFpV2wf zVg4@w0Q`b{|LKJP(+Thi{zoSu#FL`HEn#lS$NN=)&stD~M^IQmz)J8d$Wll^$U+z- sENICCva*oC6#IV@Iukkx2~2kn3$TX|*cyZh00;quFqxTU)#Nb$3whWn-T(jq diff --git a/pushdown-opt.pdf b/pushdown-opt.pdf index 73af5b4f42435429dd4da173462d4884d8323cca..f992c2a7ebc0c4d048e084ca20f5b2f6dae5f376 100644 GIT binary patch delta 7354 zcmaiYz3%Pg*p84Hl~F==NwQNE9_O3o?hH?B zVg!=YiX2sDn;0D}bY3<-!5Pyw+nA#w|NY%ux(K@X=mqu@^%FZ-Z=76+^l8EUgak*z z@qDT12Im3d!W87Cj~I~8NAMw(-hFNpul@?}HA1xaXPrAG`L;)JGZf1;cwnBJV>_OO zrBU;1q$A<-UID+q6?imrE+>xMVs6G8QZsI1@n;2kK{V|57^~!N=O*9;I(m^P+w;tY z6Np-qpS37-vOVO>RT0j+=S=jsnZa9Dvr?Wj&g_%(GeoLcnr8xOx9Yj;u zr;Q?Br7+?Y{y*gIE&+e*9(7Vb*vIWWV`l%RTH6_HS*hz7;nBhm?^98=6e^Ts?s+H4 zcxE%@(Rg`moP5dT$b43ZimEN#4ow3t1p<)e_>(@SKKZV&P)m`xB_SS{aKwdB zXN*z1B85h|eD)=F#$8gwM9TODlN_da!p9)y8ctm7weRo?S%y8`;gB2@Vag(?u}EM4XZaQ<-x=6$H1tQychK--KSOAlP;ym~8uW z>M4$RFInEOV%T(D`upcz8X{bG#O_r7c+69!?0fh^n5kA%)tXl=s*^cW&6p zP^Hnb_p+t&*knhO*8wgxZa&Ez+S`O%r{VI;gybDNvG~%f!I@XXg_f5ok+0 zqWJ!l#d{Wc$*O`Owu2D za|Nm|r>t*<$|0eRKlP3FcWN3eXk?+chjzubSw%D#PC#k|6VYq!cq6|hr2tfn7`d_3 z^Gm6Y=-CagSzyB}~>L2OVuAlTYAz?h( zX3QA-A_ya%TfpQBJ2;@5VVZM4y z;w#>?^?Gj~H}g$dSdI~sZW)&#Pih61UWQdbHF`5H?RL`{sNO8)utt83Xtu`#M+&)srhAeXb;}RKG89z>;-p zEqcBattUc?gexH8yK;c`u=bnvHGB*PC1SCqmEnAzqolpN;lNYUzH&BJ_&%@Qg|Z5)$nU)w^m|2#tvpoukx=Au}jIo zS9=L8qDuB)N2aAj^;)kr#<>eWvCum6?4n`-9WkWx(Cl6~&M1k5pUZ`r|s< zIp4Z%s=QuBW@%=vZ#ir}?09%y@h{Ea1H>OI(ts!N+1rIu`pERh^l2*`LA1M5pW6T_ zyOLdHXEw!A=t%kS4#Tk`+R*NSmVhlse^I};*md12l97B%hNX*SImY3WQD4Bm?Ry3l ze#fK}C@TiNOQUjUfirH9zr1X4Yn5v#tjmMIs((eK4aZsXZ`r;gH1Y5aF1*Swu9L{JcU1P_) z{xHlrHhzOY_*zxQepnIlviCFizW!xIi-mN3PPd5GB+svya_J%KX*|l{o@v@jW2wx< zmy3=CpVq9<$TMx0gZJ&xs(_J9$#-s7Zr7rHo6%-gvw!zljtEW7nc3$3TSY_oWZM{p z%%6KrS)o1ao`x^<9zeESV~8^Ux)jz*lqN))(_o-^va3JMSUkR!)AB01|J!9_*^<d5Aznzu13+BJ&N+XQU<(ZGcea_f z>G@Q*G40`b&7cqV(OVI;C<4DdY%X^FUTvg^VUPD(S~Naqv}TPRyKB}f9-@n}+|op1 z3o~R=5wi;$v4sgkSZej_oqgaCFRWct(@)Pkx15w=uKld-QBg;kUL8-`PxF`V_xuZA zyv3xqEs(BJ82}`2OtMtemBkRR`b*Un((P|g#03kq{naX3o!#Q*PsIPEyjq_)H$?

ao&|P2 zV|_d3j(+DXsWscJoMIJ7aRv!?X+0taGk8$y0nPmUANo47Rd8zVZN)VD)YR2ey#)<$ zE!_CKFgraiXmQZZ<>O{>t8JOhz2dpa1uc|<lN+-wEGFF67;?R=MFiM=uvxBCdN2Xeof$Qt-G(DZJ zS)Qy-=4Uw(=@H3tn9yH~QTr=X=W>v*+(LAs6aHyx&~(x?Zm!5OeQ(DlR-Ntp@(NIc zpwO|bDCbaNlg_d7)|blVYVa3<*{vJ z86%tiJe=3tO{LXQ_UBvFwW~U6R7-t#n(o-RkQ&}>tTelmgqBXF-q1?q*W^c}^3eBq{puYBA)&B#Hjn@?y3Vzrks{HglX}3;P)Vm4D*qmc+l#In%}Am@ZWIJCW#9ewK-$2B2 zEpils)g~X3Ez;=_Hfb~$?0AX;c$U}IRgostP2g5C&t)*`EhekLe2j!%g1 zkPI-GtO#@ha`M*iqkWanNQ}d&QFrR^ujs^CL)T`%WqIxkly-P#IBzxs(c+!3Z%mcL zNqnH^vQoSGY}0@HrVT5lqPeiu(*rOYGI{dkSMQt5;YquZ219^x!#hdjMQjjHOE&9Zx+Q4vWGoLwc|8e1cf#c=KicW8*Ia0)%Ih;}b23uS`O zWX*fuiKT%-o6bloN7sVTAdjceeNW9>ohG!s862x7T#kJ_s6HUBj*1ug(G+T5UqFc? zk6>SdAZ~Cq`UH`n?`fORzI?$!wwT_3r%)q^A&`Ba#~KxWZHR)3g_LZxkT;418%dPS ztNTgZEQf>DjZl?Zy9%M3M-6SSad;P?XY1;tm)F1)E+cED%QzowQP)twsU3GLO-1{r zwqmN63KPFLS_SB9s&-o=!Alj!W8E={{=Bi%0n*kkz_Ia9S&fLuIRZoO<=xU-xNBFkX@%z<*lelU58#rm#rtu;j#noV z-gGdfkeyb*h$|yMP<9UF35*rG1Yli=nj)&(O?X>v7yu^}QA?I!ya1^}6mgq)3)*c^ zpO*chQNr}E{Py3rNUwaGNaG32WOa#<+=zl_U@NkxuY*d)p*Ub76SC78`^Qb z`$Tx;GYKRtbU1dQTG+(3qGFgM7D9X^r%i>M@(BhG;>`Oa(s{T=A23t=QoqXB8UFQQ z_a8E=cL4UfTap0Lo(Hq~G>0fI-;HM5KPlPkTS2Zy)pS5pQ{CBxl=!zNM*|}Eg*3Ax zu75}Wp7(GvlZEWw(S;{sxSSGQ?!*r2TsM9E9`C4Oven#u@(_DB_qtnqt01@5qTH<9 zB(a{!E7@16M zPGe81^gFGoQ?*>nW~xU{E>^=Q<0h#r(s{FDZ-mB$x)$fwsn$f#b82Bf4uz>BUniWk`;Z_ zjw16YTu<@D)Ke+_f(TNxjo=A&8dXhcTbM}l+VeX$?+zNwc?!>tLC%I4L&=(nA#AxTz;Ut`u;>Tnl1buZ0~5aBy?*LFd`T2M0iow&1hh7@>wCP zcwEsAbp`zrRca!YT0Df{xvB_zRnTnlx#n{YW<};}zFK_@l()i)6U+fvk;%<$wWPoM zM|zVH^oAU2cibQDwKZeWm}?>(NKF7dC{(xL{lR+;)3iBWZ)Ohmh54YrT+C!7A5zjX zh*^>hJ}R^H=iYk;aAoBNl(z={ulY6uOaVFhE>rw zVT_a*6@8D%uZWvejz_(DOAd|4Q3ow6GczkK@3q+Err+8@3IRKb0^E z@(<Cv`Uk~q z<+1h?+niWljSu3hnQfPBcz%_%fsk(vo}!W|+(Rt6)`&?Yv%ac*}m zC}Cy2PA%P#f|FP`&rptxN2h$NRm5yvQ@Y6fHF*BnbH2JlaG#eVxiy3|1zL%s8>BuXZF|=&o zt-yM2p}l6CE8Pr#@%DDxUm1U4H{VnD+|+rX;v>rBoZ3Bh7V>~tsiJ0jgqH6NL36G{ z#v?a@9bJQXa)5H_7%Ikr_tcz^v2HW90Za6b3sI~j7js&%LH^3yM3=aXJ2_1r19;Yh zbWEEI`0I|-=aRj1CU?JN|klD8;f)QJbq`&bHC4O0d;oci6l6%1f%Ay~qDT z?K)^TI7(c*{?eduwDIL{*MU+%${3s+%@H-oT=F!<{`(Z;f+W)~5>B4K)~>FN?3%YH z@-@;2GZ)Q>@YisD$Wl~a&c)^Gpo=-v2i2|^zn&#x&uidsK)Z|UE^kwmXa8%3wQ{H; z;eUS26*}F0oU}O!-Q+dC@3bb-CF{mv*dZ3Kw_J`g=1K%ZYf4teEM;7KGk1l;IvKr` zpWXr$XY<4P47&D8tMW7NGBg?%oW0WwuB)E#M47&!g`Q>nv!#_#?kIY5!ccoRt>ckY z_zvcG#2pX#@Ktk-=FYbZXI5oxO>9T;E)?#UgMKTXVx~xoTG@```zDS4qJhPX<8j5v zJ}~xcgz;MF9KZQUGl+h`GSU)f-6bN;vU1Ah9?-Cv)+mu=^6uD?UKoU*^h;*c4mBGc zBz!EAO8BPbszNEGd;OFR@Gf1C>Cl@q#4lzfuDAqtq%IoJWMC6f6QvVXZDgEE@~B1- z|EUEps|inhBVl3xcKhn+5AR4><{NMQ_zaKNf&WaU;91!^;mBqX+Am+Tr*Ok{AE=>n zbT&JmMam^fn!y3g^RvU<{;S;5F{Du@4#sL?Pp#r6MS;{-QfMXr8%C8T6=?PG=ZzQJ z7)Brg$U(ng=VG-lyQ_ht?c>2*H{2b{JS&Inv^xBM>{Rv?H$xF|ehTNYl9mF?x~{|w z$x92>8Ed-yf((!|!&W=Z9F5#3iy%GKgC*X~x3>KuKOV2E(C=Bs?8tM*ZO-|Jpg6yf zt5aL1<4WxgSB9~#$%1BZ}D zF$YcTe9W8_d-#=0pU;y|A7^kX|A5qh6pI5|p`~>vwOREr%R^Xmj?B!(J59$wBKI}{ z4WZ`I8kL+vA=GE8T}6Dm5{zccrn;nc=^*jYJ=S-9Aq?Pg*1>u1z3OpW6${F<#%r?h z5~`k%8e`i*hPA*p++lQ4`cWhR;N4Sv^IlD0C`Cw@;fR1lS0biSHZ`fhg)J0)nWCyN z7viXp{|8$ST`61QCp`=owQwo%cZ1Oana?>d8A+DV#RJ-zU{Hq6DE*4!P|M)8J*hnz zsO_wn)6q0e-Y|aU^yfp-L{I z)(e8XxZxZ#DJEBN(;|aKl1I5CF~Ix~urQcES)V5liNEm=4+@eNKLh{&2ZJjE_Wu|V zNC*P@?@aW+Gq8}*fAzo+kz`dqNlR-XTd07D9Yl~{0AeF3#4q?C0fRw;q96!ZR1|C{ mi7ozrRv63}Bqg!EysbRF{XK2%ut6Y*02rHZtyH$GP7|W_|IgfVVa)n;K_BzOp?+>=9~#p|1-orLb+t@lfLrM|SqPROOHtE`XssiDVseN+{w>wTRGb{+ck64PnD4u-z1wGNWxuyP>Z}>^;|Yrm2|J zz<$>JV$Lb{ALD8LY)8h^f2(a~g1>N3)tIVFzd&54Suxkgqep0GQc45LQYlI@`kJ5Y z$^I`x$J?P=#yhGh$x|B+j-F&qNDlB06F{aS90`#1jj+d#Baa%wl-LOiLyTeb#Iv1pMkjC3GMh}H)vBRF{i6ehQZxAR`R<E_ z4;**$);@N4moPDL&43R#T2@S13=a7CCoD4fPF#X$kUObTnm=Sw-vbv}VUPAB5neJsHX1LB zKE@;#OWIeSP<{fin2xP)^OK)Yk_69Mm8W!Q9-L*V2vDybH*5d>yPWr@HX22Ggvsys z^NASxQEx3z93u5|+8UT6Rt)j2bor`EJ{C5|#xsYXRnD8`D!UZCAUYLpje<4}D$_+y zZf8{Vw7}qMCAPm^$XZzZ`?U+Dj$8A=BY`^*SXr%k0I#2U^D>uot~p$ewrv;H;Ozd| zorNqSUlC2T*Rv#Tw2Z54s#bNZ%;V=zPp47jH&=b5FqJgY{{ak7e)^RDTqmmM-_4G( z`-RREj?X512c(gx1QkuIR?S*Val{`|sndzIY+Ca9$T-nA?o+y?*R(Vo{{mV3CPcF+ zp#jIAO2e;C-Gq!Hpx{IA85bAI)~nghL$7hbGC!CW)Hy1W^pUF^TGC-xA`px&MYV^* z_oC#kLM%udmj@IV5WL|SBukOY7h_UA9ZS3b@Fdnx_r7F04;L-)%1% zIt?;oTsIm_9cSBXeHJ!+kGDOJ@k49{K^0sV+y6|-VfaOka9)Nko&y??zrYMo8!2`{ z_X{RSOUYC0BgH-m)FFQ!cs0lI|B$vRA^e714t-MbCJ96UZ}RbkwcIjg!u5l2Y>n~C zL-eoIfU;nGZ(PIP&*F8&D=mG$MEVR_e;A5u;|ZW5w}w8~5gZkuN-rT}mMZp&K9K3l zlgYk*rgA1|@#elI`DiB5h~uz?4om7rT}3%K{xr9yoNz7pk+o0yD_A3;UKBxs5|R72 zt2P36e{Q57(Rx@u4yLObS}BhbBhz<36IKBj7vO;sYuI5IOEFtFPZ#+*DL8G>3DfnO z>jnQ!zG_#)m2XdmOrg}-QCL2h1_6Ni93*~0Hj11xbT1H_)MgHQY{jTLr0#RX-ojlx zXKo!LxoC#B8lNNZQTRLei%7h*@0zVLr$;y6ku8l~cbLVpRls z9sHSS;N5Q*Z}fF&^Ak=iPM&rojt!5j(ARwMZ|zKf(o^V(t!IYdIIP$AXJw7rcK%26 zEB~YLx$e2_@}4jEXhS5h`j58$v|FU;Ab@0FjGIYPXQS)@D(*}uwfSN6%-{h=DAeU! zGU;w(7Dv+Yu+)`-Yjh4JU`9C9_mRg+$c_7&u$wj$Jl;{2ecRw;Pt=jol^+lr5WP~V zTcKO|)M6{~%G>j0DPKQ}RDM0rpMDC8xW>&pwV_PcHXu6qb;q4XT=-R120bd-x1=$1V3-5V&oW6-KOdna z<|Zl49A`=X>?_hmKq#r0Q2e%Euz!B1%sP!Q^j_c*z8f%8N1JRV6vi<(|AD@N@NmcW zI__$T&=|cGcAheBvQL*{98_(k2P_Hs@0`fo8QlFlsa*t|9UTR|NbZH(z^h2BK4+|} z)M=6$6v{V z*#Q3Es|-TgE>pQq59dc`K+dVEH8Lkr#kYN%N*yCLJP(63V!vCVl}rTeFpcf?Y{q=a zBn-iVBI-UthWIVLng<%F%R5@>6tkXR<+eASqO(zH+h+q0THxK`aHHrQMPSE-khEe{N=YtHNA<3gde@zRcZD9;KH;a*afRp-d6Gjo;38`e$7P zVTzSqO$)zp>>S+FLFkrk-@&bBG;FHv zbvALlb+J}{TUr;Ooi;bdM!Q!MyWE;pNF2j+ad11YE5-l&r3OX&W&1)>0RQ$0`sU1B z;sjTOq0Is(IkVSUf#t$6+vK@PR9(glyBuGGCH5xG9e0oY={oPXL3mf7iwoRU8DCYT ziBr`s0cC+mpQ>omVzm0N84sL@!7UrPh(S#kUKSn#WmgFR4b3YeDYwml5p;TzyzT0B zH@_|7<;5JY_6^$0vgqGRBCXBK2DgtwClDVO9ld<8us+S%!Pw0SAxk$~qr+COPa!k7 zOer&1TU$i&$tl3SR$$b};Yg>L7(|G~{3+c_=+1~SEhr!l%~{z?-=>X-XpAUVC^<%k zdq+v6g+T@i6v`^T4liJw#AF(c{($M(O;4;kBUIFgKDynz+Ln2EXWF`|bT^y)sH#`< zt#$i7DU|V@3|Z?{54)yY_K*`hFO)+|4f*fOdy4a^*4HXNbnKAsC?7=p9j!1cVv@jo z=Z#RlDsl@iQIZ9p@&1QBN~VNzm2Q|m>KBGjKP zm*(yh{l;jQ^AY`#+sEX$e?#7x>E6>ciJRof7H+-mB*}}Dw=FQGl)Yp7q0w_Iy@jcj zAlp?mt6}#mT;8$84A#XJUb6dG2I*#T56v!}fT)dvD4V>wQNr49gwsOb*_dPM#jaJt z<<-i8OKV2I?>j&13)Ea@wIMEc^Di85I>e{{RF6ruOt!{Rr|&Kg_J1hiH(5ElU z_TXqNO0g=<(YI*J5pmLcl$!%wn0nu?WMK}e>Ui4Hb*gpan_7lHha{QB5r^dNph+#* zHm&3;a^DAAR&b74Dt&szI?O(dT86TY+Y?0s0f^}6Em_2-&GW{H!VNEFRdbfL6`mD7 z&GXw$ypP6_^(=vY$EbJW%;MCI!k!zR8-yJh7ZH$edJ%yTfz-|`_p8^gncaVp1hsUy zz7>gi^xqQTe~cADC@oQIhsZ0ruPvJgD_X3m6ynRD2*!1YGEo#xukrR*SYwUkQW_Bf zCKQ<|c(jDCmxUEa43*Rap%vg0N+2zu%+2bZ8MvgH@`6w@&&_P+ExF|Hv4CIq&`X8zNd-F*N*V zstj|#OdbgwH;$nfJWYz_!M}I`` zk)1`0)wH6tJmsmky0ld@>q{otHQ?&aiY7F*uot3{1;O;l%$tpIRi{CD`q|A?0}laJ zeEnPFv5VH92EfUzxJ|khl~m(DvP++=@@x|QU0+g|;ctJ@2*340$WWc+5I}%G)ARAK zNczWTr}w=SGMV{Z;U1wtzB~cXT@Cg$5No`e;Nyqy=wW3(MP z4)W(kfN4wkj$dfVuPR&mRF2fUmRc_k5wgWW#DMPPyp_dfADsFbOc<-9_*c#x{@X6{ z3_Ol+3<`g}_cUU5vyKPf;!~R$fZk54qP~f_2IqehCQ}E@%BghwV?kb#(5vZXFM(h`?sRwH-=Y$o# zq#TpH_#o15WqxNX!&nX;7(fWB{pU*Yf@rlQ|evbdN}6>Mq z+SXCJMPVO=UrO^G9z-y8;Y9Vcm8*nhP%DC=N}l@@|*KiT%MYU`-r(Mw+!1jnap zX;>L!eu$XSp$1Hr7n)Dw!)3F>lP{_z2hJ|m2}4un=F#&BJOcL$lsGc7$mkFDeQ46ZhGX)tFBhA9uAhn zsRmf1D4z42Q5xccXojZBWP8)UI%DriSp+K2l2KWRBY|a+JCZ0PaiQS@7|f+pEhO() z=Q$!@{1RWm{57Zfe*^N!;Yl8aBHze7bH*u%2)W}!gIlQtRoba+oW#3s()*AGTT-c= zeI!C8Id(rpL4%`=Q-cTW{$Rk360D7d@|;?GVWr~nO@8B*{Zs~1P6n4|P->b;r1=Kf z5!k8GZURisS4Mhr^j`C{<(m5O_|Mln?M5-q&V_zeX(kA3>Mq{hljkYCHC0BY*p9K> z&l{+=?`KYy4U)WZW* zM*w&9V*ko=Y1T~g%;EG(y?DHiYc&lf@Uvwibm5dJ)&}edNs5WXxFUSF8**H?xPpCE6@IY-7A2;A@iTmC z!SYwOtWo9u|O6xHl8STt;uwYb}?Pf)$YYak7bo8sDED z4eDF0u2$YFSH#dPD0i*H)J(Qm_|-_pRKme@!p*Q~Pw%Sn#fJg?9=di3IUr(oXL$z; zAtv+s1IIJr#YK?5!MDq!qQHEHuaV@s}594DU8)H5g`3G@r5b!rPeM435{iL)WNvdLa_SE}2n#}~UZer6Vx-GM4;sREy z@}AIhrHXW{u$u?$p))+DQpr5-nu?m<7uMG|UuPQZZ^4_I3)>%6VS8h56O8Jcbra8* zlIn5KC_rM6bK~8_>9*vR)qpZ*OV4fVte@9K(f7qdHs?=ZU-$Q4T>#z%xvLkXV{Ky9 z$#-U;l{46!o`A}vTvQc-SRnbJSVDS0U#VIe_tpA&uV{nfM>%&oE|P#}{N5KXx45XO#5`%2ONf4|DE#v%_T z38k>GiqDEJmJsE4ZnXg5np-RDDASVU_Ss>N>V2XNlF`K}^2f<{@M3h&gI z-Fo&4$3q}iVAdn`%+1Z5KR)e>F%_CS(dKNO%tg~y76T184DNc+#tF8@yo2(8qn@(? zpUfQf;6rYxL_b}>H79(047HW(&d6Rl8Nqq= zO|qNvx$$EXqKsf3pSUe-_{ZPr=~9^FZbdyUTm?l;dmbH_ zlyp+~|3FfB?A%kwY~H=Qwi;R}V*IsGAi6mcmzPX)6Lw?V8Atj1eg-MSgRRF^5@#QvZ}H-#y3UNm#44h2(Q0*ei$vtscSGt;vX@;isKyG3&$Ix zd`&co5KXV8zfJ85u?-2p-qn+?)6bzuw!gz`70@{!Uiv)3OmUAJp%EMMwN1H!Nc5*@ zbR3@|wZy1HCxdDMD|g2T`5HaQ?CdHxW9qAkw@l!BhFY7$5qC)uY$@R}r^Y1<}#hKX1!?qa^2vOsEtr6nS z*!~+CBcK-OyE^h$z`&~RCf&SN=cUm3KwY9C#$ua#_w5IEx~V-L4Yfp+rcIRwS^aZQ zEWq~RYI1(_)x2~Ut$BT|rJ&Pf!r>SbL&I@;k;#^TmB;_~SBodw#^c#=z%-HqV)m#4 zocR^AhuuCG-Z-HdJ;24AKxL3%P{np`azuMa$o^WKx3xq1B5hg_;z z)mi&s;#d=s3mkiPZ8`FQKMzh|aZ9SVpb7J1h4A~dZ$yBaZWx)0@fo6_){`J9Ej!23 z$y}ZKZri%wZL*~^?Yc(`#2P1Wt35=!C6ykx7EONTy>7mq%Mz%2j$(peL(6 z+|U}LNfE8ChV4X$ZvAkxkeq~F;Ja}8WidV-3z3;DF+<`_?*|3UofGBK67B4$0{Al7BX_@-xtZ2$j4j!7tA|R>1T{$YYQ~at}#1wFYcD;pt1(|uQ_7gg;J833P^NGsFdGL4FB>>Tow)#(z44YA9+sY+0`xzkaHK%_ z53sRuaD)GE#tTlNWW~Yb`acaP4=6>3Rmhl=oz0Y&%@hm<@tB)}EV#iS6EhIVoXgyT sn}f%cheHTO;QyUa7*Gfap}4u5xVn40T3Dj6v2n9=qfk>zDoLUI7b?I)D*ylh diff --git a/pushdown.pdf b/pushdown.pdf index 2163b7ab5a9c2067c906f48a21f726e7777d9be8..54e2a3d2ea813956850d078c7b1c77a9a9ded12d 100644 GIT binary patch delta 942 zcmdm~c2{+R1-q$%rKzQn=|p=`I5YYVv$?tPWGhCsdTB#}eec)LNLHG9@cnVqDN2f> zD^pg>H83yoo~psA<#~10{(Z^Sb89#7<{U}fYb{y-`26FK<_`-vWu|@D{NqxU-}dX` z#uYcjWF(U>$ZhAJeXG_?zTo`%b%)lo)rp&zA9zrG@ZqF+sRt!}8_v7d%sq0k>&GRZ z*6YQroB6n_93)HX#kM#lAINAAYnsHhm+SKWgU?J?v48BJ$kY5y!eR3!i@!%S^`9!| zF05fYchTxs%Gc?lCrl%Hr`^e(v1VC--s3Be_SDGg>AL5hypVClkg+HAg{{Whi6@hp zu1F_n^hfQ#ci`fWS@j2AGyd7PFHX*Xg?{H9^RGvXYL|Z6RPumnjr;5R#8?lb)}m5)xDN_%w55-4{;sos;tJFiY@JjlGl7W%c;xHkqoN-gtuL z8L#=Txz`$UxEtM$NX}eqw!-4hb{HM2Sg~5*;iFgDG3^@pybC5~eo*Q@Ub;0>&uoISftOPIH;Xl|*teG6 zoA@d6CP!()A|?6o{*B91&Xt5(&zY<%$#qKh3>#u>LsZCswQbH?A#7=TGP1)1*Q$Trl_U4b?su#`v-OBmX zwZ+@?-z}bhar5iu>#7P~(7Dr7x-F^Fb*Z1!gu6HI{Lbb*@h|7y-}hnNZmn8N9$#Hq z`SD@W6x*CFb9*ADt6uF{p`I0Ws=f4ewtZUcOBa@U>o00eZ*Pm6xv}hB+}bO-cSE5~ zQ|yc1jBkEzf8a4!VAb;6i(+%m%?_3i&)nMoefRI&t<66l<+E;|oE5ru_1V1NjA8!v z8u$LL+BNqZXRpG=sGmz*Jv>UTFs``1{93uO<$q(=U&l>X%GJFU^Ox3G?oeN=)?J#g zRh6$iAdW9>=?_-+6;;{mH}7WY<+V37Hd8PF0fjsTE-=Hu(8$mdL(JI37*ovLY;wDh jrM7{&A-bH2v5^Ian2Dj$Id}1-prXrKz!@*+hF$I5YYVvxS-IWGhCs`r8fy`+kR?ndp&v^ZUB>3q?3r zdZ@0eV&LnTr4=X?GHF$4eQo-;#N%qMHwsSNia&P$%$qkhVFy?_A`YB?bo$);l;Tpm z*5AI063=DIuAlvD)#;yJePr`x?_bvsy?^ve%%Vo0CFVhXAV;74f#*s#eTQGAR7k9Q z`7z}1mdC9B9HO7q%SxP`!;o!L%(dmxndx7Cnn&z^_Nx0&`vac#yHhZHp+s1yL>j-J4&P?kf3F@PMZ{jVE3?zLKRa(%!An z_4;X{Et-)<7}%+9b$QHNV@ z1g@T0w)Pg!JLIIQsr92%3uBhbTxBTy8nAAe;uEIpX?fq7gspzO7JR-}y6c!u$5qe0X7gNK zuJ|ktDf+S`=LqMvqNSlPR(sA%(7t{nVr%Xb&PjXf%bBa@>mC(LuGlg&z(e0?rj?Ia z`i&F8?I%C+NLRixh@6+GT)#bLYeis5$se_8%WuqIv+6kSjnxOf{yde!ciz17vt(q( z^{#_uOQ$!!`K+?BU3ytJV<_kHOY&I}ixZU=FMF}o`p$-}lcqND?0#syEskZ=a!db| z`}*f6^7_1ryUd#y!R7lrDKl&0*8cL_yM6bz-u#o#YwrGaQ{2_pZ=W&i$k#8}w>!1g z_@%YUflk@e$F2E1UCq@S#Z?5W9)7)eb3W$-)t@W&{ogv*e%-=Z4NeyE6T_vyJQQ2i zy*E(vAER^R#Uq>JS$cWxjf^Z53_w63Pk{@}FfcSWG{g`yF*d~%GqaeiEo7-}Xl9Hq dXJTSxfFWjTU^2O1$c4+yz?e%_)z#mP3ji9&)dv6o diff --git a/recycling-noopt.pdf b/recycling-noopt.pdf index 78f7ef433e0a38aca402638bcadab427a91e605d..70a07f4f3b02c680064e94371a33642b9d4a4a61 100644 GIT binary patch delta 5321 zcmaiwRZyIZf`owpK@teA!CeO#7$A6Xch|sRgM1uCMx`tM9bWwJV?Ap(|=>=t(NpyuwpJ{=ck=FMtflzhYD%=wyAXLjFU2 zn!zz{5^B`nPfOQPjcMndVl{G*aTzDI-Njy(Y+um`TgX5N#1ryEyT= zS^IkGchi1qyB8@KDS>>9M*M4&Q+ip#YxI;ZCV0RDtEqVoJ*(KT!SN}*2fX&ei8$<#oG= zfJ1`aH@`?5$+|w)8{y5tmYYBADU15M%+*uKL2nhXBraT|uB+0_4PGxxz6z$rB?Vd7 zBX7W?TiIxme%d_EC%Tmh^m7r^=oSGr?oB8!Ubbr#$z1^M=?wMMEIr*Rxp*M?AdTXS zA{4||DDIk`Q`@7Q7=*4yZcH_lbh8b&JZ5&ZSw+Oc>FSP#h^%l~nz9f~jIUi~hM8$% zq$!1d(E|2no$3@X=@vZVW9kmpKhVgO)@^D@E4KB8qZrYtEcTU@%*>I@une$%&2bff346QJa@0&V_#ZTiR7Stgpx|tBo zf;UQY?BlN=fDV51)#=wGV4)1CGy-fIo)es&nw{F(j5_-BE2<9IVfXxtU#2}P{>I>) zS3=z7fm7OE6S1j{z2zAMx7uqjHNPaaxL0vcR~RQr$3U1fH*JHzkxZqWPgf+)1~60> zqrSm~uf8$HkTv;YF@4$(6=B*oldJUO6^lGsKotvY{LBl9Trh}xD!IM>fS(q-h=Iu& ze~=!r9*k%nx);3l;QQU z3*ED*nPFhkNP8`Dm-C9WvOOy}@X7BCp^FB9{(|SmwJ|EYM(Xl?2suLG+>^UpRr{ zivD^JF8zIo6~gZd4_@^m1kZkvg-fbx=}E;x=3h#u%R1!muNB)@&4wEKf%Od|{Dn9L zF~wB1a}}YTNU=Phw|~7_U$+zp56xc*p3N5ikT-=7c{_m{0>WKrxjKb}UhDPgxb`hc zl_@w(65F~Pmg(l|*nM8H51&~yQ=;lD(k|uE$kLcH&iknX5y2RzO?f3<`v#|se`t+0 z?t9)R$GQ6MMxmwT+X$GtB!I*8A@fRmIM|1{0CB2~GZ4vC}FF}>7^LO+NfyX2k{4BG~g-Hk3pg4xl-4_$MT6-lAXbD z!t?X!!FI~KDatzy1|T8)g}E_y5ilzu80qj>o&le*s8D4 z_(oGR-UaT-CB%sY2F(cM@XsABrIPf^Yaa;jSQxoU2nbyG7c)~JY>^C1iAp1Jbm*78 zCa)Wq#j}q(-A$Hp;X&o!wHG{!kGS$y3)~o4@3@ND72Fw%%3FT55SrB9480AvIlYar z*;5fLTdMj*RQMGo_rzb(x9s?pI%>=lXFJK?Cuyia22xA{;6?kORgbmzCIiVlY^b)c z6H{Q}E$$Y)nqn>JoxaQa7tYX6eput(73NecNH#7`qB6UkkkMck7;TxlG#tf3zI%RC z23Cb#Pv^|+i*~$lxOl7-g59GP6LjN3T^^t-pZ$}&OL~#-jOCGv%Z7U78Tp$FvukVe zlipd6=`UV&00-x16J9+YcMV?)?pEQcq$lwjQ{E!vrvyPS4f2r%VSVS`M!38W@>)P9 z9>sM(HuCQo%#jVJMqDZ+GPs22xz~9m8@EWxDu&Y3x5$MP)8jD%&)3h&qlgE@Y$>Nm z{8)|?9<&P<2q&Zp8rYzyWj3zpa`VWM8| zO#SCUPgr$xKR^aj^|5VMX|2Pf&~WWEZ}_!Gt!DVMQ(rC8pLPEPs&5Zd!2=sDNv1)7 z#Y{z!yWyrh~&??wbWHci=VF>v9#rM_GUj{wT}`c9~|EwKP}Ezzl65g zoV9Lt4$6VXq~1GLz9a5IDwQ#F*6bgUcA;e2AiO_O@x&hQ(HV?kJGKcJWfF`r8WbEN zI~VrKv>+wu$yF7siS|OBvDL`q!N<^4*|t#?`!W9=U5hsXm4!z;=U zxD~mM9sWv?U9pei2v&Gy4l@daq9sF=her(RLHDN#l*8r-w`V2!b) zU859&6{eGx6(dln*fZ7j!S)2`*b>0uqwb`F;*8f&Z)M!jL%C!v1%)Kr12eoSqqZJx zyK8QRD3kH|&8IDz-}~tYV=^SpXwd5}qqP@L>uQ)n>wYE>k`Se+$bN69F-t7i;kPFW zANY0uYe9%*a9q-0hj4HFYPuN`5Rx5Di*Ajqk)DZ&MO$*hP{`c)8S`be00QJu7PzIy zB?XZ7wq8kT5+Vfgb7GhTIg~B#%%v#bA;J}#^jN7ihrKzL|13zz8_E%UQ$`Q`wIU=S zoI$DVc{Id|*;a5dx4j|ZjL_=hb$j!t{|}Ndi<~AG34ubBaxd?+zMQLV*-8T_URitL z&#N`>WVbir4p#4MMr0?HzbpYbiH-v~gooF2&YkHdK`q#GVGgINN|n%?S_Rw=x}#s&c}~NHd8Pw;t1Rc zshdqciONI@L~B&nXDz;dX5hst=X)Fq`~`CM6Yr0|7pt`OxZQGQ)A^mc z8$oMz9>)8GvOF7X!6>mHUa^gV6Ao3!&Q@{j#6177qrO;wf9TKcY}ZQ6>S)}ofJi?4 zcWf*#I#$IMr`bk6X7(0}YpI1XdA&%@sKE;d?LU3V<>ot)TrB`<8xEO9pYQJdQ0k@Q zGU;Y38{&67}W0)EBtxrzZ-4qL)Tl#x> zhm;|1ure=_Pdc49w*l6!{?ApGk_Ec%RUBFw1)I$nKLNXoXWLU_t1Hi4v#=}E$T7h- zk|VH5q@>ZY{iqveO_0PSOt9swu4G_ZPfY#B_slKjX(t%xw@g;FZ*p=Esd^&KK~_BD zjy;Q3(G21i^WnWx(SqF!+S!dM41;h{>DUkPq)hc`p`=#FdL8 zahUr01J>s@45CVhovKkPA0n!U3qkBDbHwz4Q~T|vnKlgv@j*zK__3|^0yEXBqW4`% zbUthsD0~rOASun_P191^mXf+X`!_8zstz>fyo4#739hOSjZ+xbOc&h8scLxGqn^ku z;^IO-8j&0wd9-Ja{<8Fk&!*+~8pBu}X&J9s0oO;X(q9s0OYjdh>Z>yw9K_n9*HMY>FCti>IyBR#_o(bbVvymC4@x; zNbfQg1P2@=H1kiB6Q+Ijl$l(217+o^3QcF;IZAO~TfK}@nHSJdf8FrVq$zv&ei0V8 z2^go7=SzIZ5y5||KUuyTxSZH~VmSrBIQW0@+Cy;$x2AsOF*nXHb1tk|xV5DECQHxb z0lx2^3i8gy;qP18%KCoM*K@bz=>Qj*r*cm|fBNID*~8V)apL)2D-kL&?XGV^6neN= z91t+S5gN7lJkM>?>gK+5xi-9j_Qm4T9)K-HpR~%yHBI8n{7wS$uC|W!L-0q*QQo)w zO7Kk8H!`QC+@2Hxk4rK06sC3d>FB6yek%H=sT4b-En{2k z;8R%ge^zooyG}UXb}Cl;F;1BugWS6MT?(1-JpxjURT(q-JlVGSE$jGx6XFPL0c4Tr zq)l{;3n)|Nlo)vVHgXf$N$emWJ@oeKZ-hj8&RF-p!g30Ef@iDDW{SeK-VJ%fv=Atm z*>KTob0<9EgtjGFxWL)`!8N)}q}h(89zN8(6m^aTNNS6eXs>I|+)ZX6NcfCWl}v)d znDmnQW`&I~P7Q}P7=Mg!8;-sKJSRp6TDld7ScyrOv0ymavV^E5=7%*4r8i5cYgXEe zluHj}m7k-?)0IMlVt|gNKI}b}eyv-b-v1V@_Ai4|bYw;MFeySI7nSJg4)m>7J>@u*{Oqf*SrnGofJ9oXld8>+mU0J^g<@wE{@auRRd@Fcm7t`iD1kK1JCJB z4j1kao_u00Zt+aVa8D7~3CZ6UXRth}HAU~)(P^u_4&TBqHW)lsZzvg2yJ(17RkAq8 z9)k9*nR{K=rJ^dggbtu{ANvzSXW^_OQ)Q?VlV)ZGQ|{-C{G8E1+H}`eMf|m_JX)C5 ztn}~0$={4C-Y;!-ymHfD6*ogVo~RB=dq?BnT__h656v2dU>Aj^T=s8Xsz^vb~OtXQx1cQ0i$`Oy2=%Up}X0U9kV{|2U8t zDEvVXr)Wfa{(F~QqcNeFlu6IRUgCUnDkUu5D(NZlLM@`%gs1I8;)gRBZ_+6tK9ayPlj z*+P|&mWfX zG!IX@7&qHSrEpF~qhy&DY0iTrypWVs{Rgw9wEy-p` zVfjp*_Rys$%>4KX&K@`k4fV4P-Ej>&yMxpXAPhp^As2xA&Vn~05_;%tgrxx?!g8HP zAZ449jpto+#>@e}y=$|S$4633I9+yJ5IVjdC^5PbGAzg!M<>H!DTUy)VX?ZX)fV_I zG<0lUyv3UHcKok(5IbjUO=bUzg;(ixr=T^Q%IW-Z`C#|n=^B}WwU|xuPMG+ zZ?_O0Nm{sH+?m7jhsPcpTEw#@eMsJ(+I_Ggt;Ee%;K)*o=o3YK#PJ!|QnU5`mzTG` z&Ql$6!p!ecAmBIy=AhSLkRVt942s)j&P3tms|jX7LDmHG(SZI}G)^>F{|!7KkRboR znb5x(55M5QdOQ%GxMfx`a{*o}2o%BxwSs)&x3mzj5ahRj@bmFnLj-s%_`sh)Vpt#k i-wKThjhGnL7dH!6H&0h9Thj~9Z)$S9*Gi}gQ`202~; delta 5359 zcmaitbx;%zw}z2YmhSFY8WxrkSfr&(x?zc>Swdumm0HlHF$gIs0YMr?LPFRTknWb0 zmRK6T@Au8U|J-|L?wK=Zo_Xed=Nvt`cv5piMXY71X04}JPe846@4wlUM)n>OL#&oA z@WPBG8_ZW&tTQW6IM|e!q^=R^Mmu@}#=ad>{sW9_SZFDpL)Gswq%TkvxA{XcWeSLJ z-0r^8;J1SX#8TVY!c}`wuG}IRpQwh>DizgC=1Z^+>WF{D!7(Sawr#`uqQYyT>C_f} z8qM?~{O)q_+vNIooEhG;crBzhYI0-ykh<$okOv+z8e8KY-2W>lDCC$qwlSxfVrZB& z#icE{e|S*(a)oU&PJ+yr8T)t6Pt&U2cPBYl`joKCdd`n6YXvBTHz>lVO&I30B9gL* zqJK5q89Myk8ACvzfCkTm`Cta2ZYYen*}vX|tzm zfV%sy?Tq0W=>%VS)@i9Q+{tXCsVa>UP9Kx*dTTQC-9I);VWSgE4y0`orvgRU`)CMK zq)tjo=9s>}Qxlsj$*N3V>n3?LWN3&eYe#B_V?TH#UiZ(DUy~NcpLDS->vXRzke;a?LwVcMq;dcE_Y$*8w%ggxhb8I_zN zaT&FucO8;`DNj3ET8fpsutcgY=SU_#yTE58hlKQ#Bt5n^t%fxYsSc z+}#!egLe#RrLZ2jGG=&s$8X1;jsv|)s-T&7lRW3hB*j4`Wo-T#Z>s3E#7*V7W6!q> zX~C5@x3Jr*+rjIgQ{5PUphJPpG80KEuPNj%_Ac_)_LksU?l<6~wt(j#paY*HfcJi48PX+zQyG#tS;9zQVB5NaG@Fl^s+${VZBh;m7KiJ$apL%77J zYeqGIVuX$9gIj=Si4IOYi%pc>yS|COcMv)9t7j7$1At4eT(p*%Lgwq``H^MtM}Ea| zKI@NC*la{UJ_S2Lg;jVF(we@3Xu^J9;J9xHS}*MwSdq!|(7Y zR+OAuJ*D+Y8iAh%zoDuMkzhPYOwP|vZdQwFinZx$L82KNI^!nTp@>hUyNxp<16gOV z`xHn^>o<_9xfgQ-=#OknsVnFXdV9YH=F*kI4F3bAG2W%vf@&I<@CY(#yp?w+D1X_@ zC8bZuN?&*93Xe!`71VYpPJM^e$E{;h{=M86$9C5$ok;_?b2hnFw~cct0@^)m1(|G} zPmS9>e8z|oqx7qUPss4<#T|MxU1rLn2(6g_ZnJnHe+z6PnZ5E+8!b}^<&)puZk(|^FLwR^wj~@OIi>3V6252{ zK+ojYnag_|65^TZmx>V^)^z%XJvhr)IHZXE9=&t!ufw)u7Qhfmbi7O~9}~0#le*vQ z4AF2Vg~hQP(LPY8X{V5IM%&lWKT}*0aq6=ea&y$OW6DE;TT`wA_#4y!CC^DXe&t2= zEuRG_T!rB%sbasSu2$_LJ6>?&c-}<80}2L`YLddTa%Uo_v?C}xgAOT#273z$v$=># ztSF0Wh}!WSHD=L=4A+U%HF6FQ3i1rCh|j*?9CBd}3A!>mfGHo3>WXHPYUsqK6ZZDI z7vIM{T^Z`pZ#Q!2pRF^S5#45RW*D&8(q5qsV{2DM;D2_`Mxmidkah1XA2W-5-vI~J zNZxRRXb!6=v8L};(;4y0=3(q(pN+l6NHX}LtTTGOSnmO!rpG_ZH$4s>i8O8nFHI>udyG6U8 ziJR@l?Y-^K6+kd@4d;Q9_Lg?dvXz#ABI+pJ@3;{xRkcMj;L@N%Qp7i^OHlOAGQ*Fl z)nL&=W#BTiK5(RBbA>33!1s#Wt_yTVeaUU~H-=uBn#+WSH?W~ThVL;W2ZA9rGI2;M zoktzYJA*X9rAnk1WpZ$*xT=&&=JE_>Oku5$r1i(vl=V3!y-=>75;5}3FaLBlkd0AE z4KjS*WeEuk;d)IkmS?P*<|Cx%* zh6`V42JM>dRylB4@K=g}5<0&-O-PkMfW1_4I6frv5nO>?#--7Ixl-7de%;MN52h1n zQaA$zZ;>8_JhL$@vZxKyuP}O*8xy_D_S)PqaNka%3ay^NbV=x9%s@490pqYP*h8hB zAcYJ`6s96jW;s&_hlHD9!dk%3Jm5-5ODziN#hew4!9r3e zQSGsf94-An2kZ%ivgYG@O?c_%g4!^?KFOU)(eHu37_|H3C_W51n|RgP30sCDshBTK zGu%wGO#e>i*X_e8dL|gV5)k4tro~5E> zBDxw4Aq<0B?w#j{qQRUH0z$-B)n7YIY;rQLO3=n`KEUd`zcye&hvx@lnT5=Wz0NIU zuOD|mi_pNx8w3>*9C)58!!SEYJp-zv^?Tuqdg>pJ==P;{x6K#9SEDH=KC*xwo z1@@Z8ev`BE@WB-hEih;coU<+Ahqh=Qjc=aX^~5wEg39^d<^MO} z-2W(Gt)(RY=uoslK~0$rd2@Fha12!X6iL22@br*_lZd`c=sE4K>Q-lXl>i{Lb#>UX zXMJZ@E(QPk#b5GIh(KV^9L4_Rog5|F#ia4*qsOvLL6%TJ80umNXrvk!_^zG6uv;6N zoi!v|KPEh1Hf*Dq2jT2F2BNRR`{>kL##vfXy0XTB_M%(k72imMGl;^2fS2Dz#rixv~ zL`UUUzN_iJV+&?_cg?X`mtsklg{ht6UD>u- zDlS!?^r_#zhD!U;mRC8!fLa}US}fFVkKh5JrK?0{KPkOTY7UT z9t;%-miIq?$ERHC+8bho#8~#kfcSyk@*e8!NSrva zzu}ZTgn`v@Kz-PgueVyuQGV9ge>|$x%9brSpgm09k=1|De{;4-+^oH$&CqLl9XG}P z*>!uA>~RZ4WhIY^vhADHLl&hG(A-^b3Hn{NVa_7bk@=gGc%nm+!PQ7EBTS0X=0gI@ z@#hAI=LDoC(bnn(uJ6Wa{As;OMPpsr!pnNCxA=(P(0=(+0nqglH8=JWf@fDGRK69% z19Ce_R?Ib+JB89)QXhutgUklh4}UoBe`V*i(rNn4$CAj75}#(Gn9%4-HqPiT@2O`p za(l0Z{1l4H?&{Q1DjLD#wJavI<(hp%z}WAOk2CDf+n}X#h z#O+t({W|d$2Te~D2>U*5Xox6Ev_2mhRffu$ZJv<(IPTYmXv>lRn3S-#oHKD)kx20J zc(ZNm^^kKhb<2`g-wTT7@Nt4GZQl^@h3^V-CKpwONsTWjjRG z2H65QrbV#IYoC=mfhZ8E5pyQdJ`t#Q++}-xv)-55KYs9rCi1L`n54)jhAHwU*Rsls zcyVrLT|IGX0$fMSL@u>0);qXY%NcAuzBCkK``f%ElKUp}D~(Iu-V^$- zE!ST3rz`l|-LSFglG-;GEm965#_vY&A3Ka`(zY=4HEA-B#+hIg6yz8NA$4#!btGQ= zs_wS=!~7ueWZK|J{>99#^Lpd>&0g-1XItTt^5pN(U40+DnXaynY~D2&_ef63lv_x5 z$8S{m)9beIR>pHu9{ZxDs``2OlLz1D1 z^Za3E+(PPZaMRg%&%th_s5BV(5h>OT>qcY$axd{1S@RK)UdmlFXd-8epN`b9-R;s z^MzGW=wbCK6+HS$tG=7qA@`w7wFPNY>kA!EJOc(1{HwVl)Hw!IEy+r4!H6pU;M3iC z;$Bo9--&*7^UVFixXfa+12~}ykm_30Om{vppX3S34EH2NmrZ1$Y_<#nQ?$OQ*odyI z$;k13@15;x5~ofLDjxF+=1$VA9E;P{)17Bwb7Db%E1qPh2KC7y*+~BIxac$(ZzeOK zQuk^$NCtHVjbwz;9meC!tkk?|skRNTx4^T#?k=Lx9AAMTQqpW)B(JSsJrT<^z+R(B z#H2BE&|d6y^N&yEo~go*HNDjb?qY&etaLVGkpuoERI{SBDWbJ@hSU(wGF+yT2sO`g zLn+fO)%y{+)tWxiV@o2ws}W!s^j@8xSZylkp}m@cp(Q5y0dJ=fU-0Pgqu+pyBWgzN z3wL+Z;sj0ogw{Q>IG?y~CNmX9Q!H7|O9zI!4f2r6 z3wBF`5KmrBb4?+~J~hXuuxH%f_2t*qlu~mWS4=rc&Y$9tntN)+E;X00nsqIoe4p{T zmS&oz#@h7xLR(VSbRP=Evkdp`TqMEd5$BhN)+=N)|rYfr9q?u9nSq2ih~bTwy5?)#|yvlRDhcwG$)1GXH+`Ke`}! z`HXQPh!aR&PSPDDEh{PS40Q&($b+HMU`cs5Sy>qwNp~3;SqMPs|BZ0jb3q`0pkQZs Wa2VXp9RQM)mX-nV^J^Mu0saMSAScWK diff --git a/recycling-opt.pdf b/recycling-opt.pdf index 83eecb4fb6dc5e465c853dbaad2dcf27ca42221a..e4219e06e0c149442e803150591eb64a6bda39ec 100644 GIT binary patch delta 4585 zcmV`iwv)0E_8S!d z^SSC}P#{<0Yg6D`yE$1JqUX#NTGzfhopWNR@LUoh>5*PuxlNb|H0gIDs z6I6d&*xD9$N(=iese(LY)1j0+_W3+En#cYukG(OEU6;oe=3(s-XhQbSOnKm{`HXbqTGVC;f29t+(vb%O-*||eSKCUiG z{`O1>=k}CyQL=5c&4c7eqis)cb*W?%hLlXUSqx#d)Mnvm&2D5DjCxLUb(4w|M}O1Aoxm1eZac%h=)0Ob=8-Er7Jg3B z0tbkn><#I-M|``vhke_)2Ww>Z10`~Mcecr7Pd*kN;kIEjYrIi1f0VnnMAD$+R$zu({pE{m)4WpULtr@5*y_GFX` zNPpEwxzdF4Vz1o2qM8|;8@s1C!WFa?aXF}xgbKNN%b2T}c}xXU#`qa0<6yFxEG9*5 zRvXoNb&^`ER;yKNg&O@)~1&JKceNQ!|XY6@K|O5&SE zvLkI>t+m!%V+u5ce<13T3%kPZA9}LHJAa$!wu_Hvb%@1MBA(UJESAmXuWUa`J|mw- z!bizjiF9DzPCkpY%H{TOM~AgpoYB%AC1)f3QDpRYiy?`577N5sHwrY1^W}CRAB)0A zp-m##4pk2MQak9f<+9kegqROoL9wtzB(XE#lf``08CmSKBsQ`&KN23v#|TA~UVqps zi)>YTB@qNXVYwfxhDUrDp_Eo6e%WrnR+Jmck{c>1L6I7aI@(8yOHg2>q*!MAzF~V3 z?A8RkRc0^zhV4zTA4sqtK=uzo{68t{t^e0*9a?zLrhSoKA<`v8dhzWNx3BB7ibIQe zeq_@<5`!0MXV>DMK8besiuVY;VSjOx5ave~%Jsg--Y2ma3gHph7inuB*%#^!k1h-? zj0iZOhqmlk9r=!~ZI^Ye-thyvc1Vq_mUL~A>wQmGL}G7|bVVdx5lPpU&=y&j)cZ*P z-1;>?@T|S=xE(ICjz&4k|HGia#S{uI=YEa+Za11^oY4I9Jg;EGY7?wdF48Tgb1$ocI z+wePr=N%{nKk8|K1+X1D4=O;hPw}C$MtN)O(b$>zviP3($@t%~ z_Y|Ht960h77%EXmEzE(r&;d&j>lLzp{1gtt2pmQ1-iG(!LzsXV$;N(Gka}_jSx+7! zC&(%C6-7}-ibI|G)UDM07>-k?sJH11I*ZPui|9r4o%H?m0e{7AlcCHCXh&+r)Jp%i1 zew5-_`~&pN5ENn1Vz?PGEWiLEm(!6e0TnX%xRB= zGwt?{LXSwM_6Unb5b8yPd$PJz50`C6Ydh*L^ndi@&Mw0Cq$R?V?a>e{?vhg7SGJ3E zcZW!INjgk!(ISLJ%lc2P-()YPBDZ~uDN>Gx?%v@BG1RpkL6@>!Qm*?p%r#59tVnI{ zXcx(5G)^)?wms2{#Kz|6TF#3apnJMkqtxK}2Y2A59OX%b7yYQR~Jk zJ41qUw6LzQPNG$I>&68A>_>_6-yD~yb>oTOBW-TIj0=%;3yo-|$oI%f1hlnMih3(y zxTg}~!>5B_FZ)H!)UILU6q5!VQx2fj4br&r!~AgLl3~7qlV=N4WU1-B_~(tu2-jF8yCZxa?m+xcpy2xZ<*< z-$A$%ZLW|I4*dTiJmp&mD_;dW^*AiTw;bOVDgX+khw%;5JD?d~AAaW)A5hFEQCoE`06EbdEsWDenHIe<^mOw6$e?%5 z?=x<=eT-g2nEi|GLxXR|_Qx(h7JFy6z3NGlg;xo(e?8@B&os0r1)4&z+2Gr>4m^&73cHe&+bZcWtr+z$lvpoj@^Y65}ebC^s2hl&d1m zVm49JW;M^gWkFT)-f0`B%y}#0zODa3dSd6-Z5)`MWxsCyJEVtjM+n(%Zy$~QCH5p@ z)k1zue@&zGI4*oh3)M8qP(r#w86^i18QF?6#}rHFq- z`LJI!)P$@+)3ePKMJO6C2!N(^lPw)11z;x!M()KPrO(2~tT>FdL4xSsI@9akV0@*> zPfCbDPA-X6Emih?y-sfXaO`=i2mQr>W0=dle~?Qy-F%6nn^bp-^JDR?vYjBa@KFW ze@NC$>}4gz73F27Qm31g*~xgU<>ystI#*C6V(j^1M~a|aTofop6r1CJrMJdSA;`&T`)4W-gjzzY<%L3@qB0SEY5|A;29szj4>&g%$5Kat@CwS$4+5F zo-9TFse_@anpz<*$wC;)!8%n=vyDIzD?!Q#)x4&8XVB%ZAB@3It|ZARIV(!MUaccFtI+?{&t8f+ z)NH;b+rc|3r-ZBN8RZLG=Wiq%f2abdw`27}x2-9#qC2>3-qO6O8JWJMfVwh`t;%iq z>Bh({u~k#jT>8vXSGu#kx}Gl|?4)1?;H*)KI^-~hIccOExzb1(&zl3%0F8Cx5_!rL2;gsW36mBu9Gc85yVeZEoMm)^ z-j0#hl%4DZ1J61o=!wzoMyyFEE-Z+sgq)8!C5#bv#Iqu?0?If;i9oG?#_Jc#l9E{7 zUViPpPwnoT5`?}rBN&U-BHWZr9@Pdwuu6%2T9^ltaw<9)*Yr1zNnS?_80Deo^T zKXAYAeY;XmyJzH6f?D^UqD5=d?KEZcmX<7A_AYyIk>97VC~{oIe?GxND@&&+%!MXW zT2jbNsd2gNx*Ubi>u_B^aeu z_uSY;a&D5yfLhA}d7d&)g%bjK7?rzAouo2B`^WKc6BFM(kwXh5l5!1qJ~H~ zGJ29qOQ1?lY9OvMTiHdavQl%2Szab4L8rXcd5+AIBs14qctwuUp~A(L;v>2=oof5N zOl5v!*W+(a{CrK<_WF&t?YV;<;Zq%?rrJx<_SB?|B&D9}4-8gae7&xePqa3qu#NhANT5RE0nLS?9pKF&`GwKlx@zYwa*p=-hB z=W{b^ZP~owuC@7i;gTEY3vPG5kYS=#F2BNriJi6MLuU1h-DVF4ng^q_x?SrmQ4;@Sj6d zEcu$sBWSiOr$~RkN_~=_crWxOQs0YN%uAddul+F#wMi)H83|dHZ?G_awjtaLp5YL zV>2>jGi7BrG-5I{V>LNrH8x>1HDY5pGB!0eWj+c#HDowrGcsf|Wo0)sVlp#hH92E7 THeob1Vq-WmHZ?V6ljtcOvAnk1 delta 4609 zcmV+c68`OlRE1QqLk|W@w^$fCiI?ce1;7V%fPvMLw=R zO8)jt3Fr2db5XKww9SL$N26^|aP_HV6XcUU6do@2J|wG0YtJAYE5Iu=myed5!P3gn zwnbdMhLlXUSqx#d)Mnvm?QUcjjCxLU^^=JdM}Iq=JAo~{+;)b0(RVd>%p+HLEc~3L z1r88D*&EVvkN9?T5Bs)p57x@;2TJ7j?rf9Eo_s7k!fnH5)_9|2{wQ~CiKIctt-uzS zdz!f(EZ!S3a9&RZH`n(pH^+A^H#?!JDJ-`*&38=h*55*GeHK^m%i?NkPjl5_?8zt> zkbkO=a-|97#a_94MYS_HH+D~Pgezz(;&MzjPWy0#=&GWSxk!B ztTw9k>Lj&RtyZhl3N`wzIwczaeaHJW>iL_DjbSuC5&U)g??d`3Qv zgpZQ566wIaoqQH)mCNnnjt*553YB9g8xp)Im5srQlo zxeaT6;8}a!b&J-lSp>?pKq;Fc3tuaJ7bFA3Kf!kl-!EbfcmhCP?D_a_>3?jTGl!*@ ziq!?d2{zaOcjJDt0X~8Rh8b`LoWQyD1eprMFbe`OKx!bD{07P) z0{6iSSYr@Yp==}k1ngMrSo|d{D~Bf_3g>Yj&Vm|f$5w8GpTzr0VS{* zCEkwz5qvO&TnaM4fo(2_Ykx=~wKje$)S|w-;TU{G(&Dv{3Z)Q)Ff4;U7=V><3-X?a zx8ZjL&pS{Ee$>+l3t&6!hPyz7Ul5MmK<-s&;(hVuFdr>gj`en7Z{C2<;IG6)UL>!^ zZSlkLIO-Ol5*lRwKDZb5!-G;!;8hG~V2sQq3uu8ZjkEFM_yv?VAb)BhXof4X#sJ)i zJ-HiRfs+_MMy+|IoXjKFkRdWmUZoo7WCf#~6~7s+R3qLs7-pmWYtYi2um>?b08e3f z8Qw(XHAJB5sUd2dHqjx)9Ob(BP4R>A7vituh$umi_%~yi0c+uU*b3XQKfB-vyaeyy zSbYf-gds*^K^qQ}4}Zy@D4sbW$``nlkvY} z?}ZWNrqiGadpif(a0HjadKv3s$(PWcL+}iSBWTsL z@En{%+x`IK=yMkl2aSw_6_N0h011*>v~vmxlO{a&%qDF(J_|@Y=_bp`2C|XdLiS;} zm+Z%W9L8{zJbz10k~hfjFq|QO#_$!Tq!`Ld36zrxQOy_@VCbfLs6MKn8lZMyc$7Lw z9j2l*(6w|U-Hkz{kJE3{zoS2<|DniGtX15g_;fACo?_mEQN;LZ?9;cO9vGzVq`roY)Kr{jzkkF%?^o0`9ElC&5P2ApdIa|2 z{3yk<_y_2jAt=J2#c(rXSbzaSE~g_`$g%TWc9tzOBi(9AOHD~On~VlMo21if)Qn20 zpz)aGi3p8dyy)x_6;5H=v_dH_bYnsHw+gyM9*Y{kD4WEM>2$xOTQ->N=Sw- zOA;d=gnwY6hmQ!ncseZbQF6tcc1-UG3mv>TCZ}i0>78<##kAdy75Ip?FU*Uii;swn z>-vTxUEx9xIT}Lrw1pmY4n#vIH7vrE?hUvdz!XU$B4!BTh?p*58hNxM(!E4%nbRH# zXWH!@g&vVi=@Ax-AT)>u_hfac9xmIC)^^lg=zr?iH*(CwVW3&6qmN7~$a85bhy7MjpZk?)a}2xx1i6!liZ za8D(|hffE=UiOQcDP6jncUB!~Ag5l3~7)@52FCIAn^9-r)`(c4uyT zKgMnCb}`hEc{$nJ(NTr%xTSWm3W^VRU<=D9TRW-r=YSb%(Aq7^)Y4q+1=!^2XWbAQ_fyLfzf zICEH<6N!A3!1oJ6lLb+bL?l;dX1Tyfdb?;u=>Hdjap2mb#MuKE_j%2&ZoJr0ZTEyuTo z3V;IXVSK~%4rs>Lhu=9xNPqK?nvtJ}OWCFSk0iXz_%Y`5@U)Wn{=p2M4e-iGO8g%@ zN^Da#*)D@rjk8TF=XH1&B|YV^5qIA&h?UGIyQuZFn*Oz7rP8dt5ziHNJbB)QXHOdU z^eKla(xg=3Cuqn93Z{t$ty0lM(^Q5=#WWE}S8M)cZ)~-?-LuAnGk+(7vyA71GmR5L zs0&U6jpG;<`AbZ8lM7$Fa$WSo*UILvpNZ1%Uv!`q1Qx}1Q>&DHV1h`NVj>4)TgDdHbdKI|6_wIM6e^lURl5sJnO0-!0~WJ||L0ocib zk$bU6>9epgD}N4SU63HUx6bssHyB?j@{Op@o;27pI zFXWO9IqDB`^&136ttVjAn@xxrqkhC-fOMnjUHjEXi3KJ-23_S6Y(Z2r)9sdx7jhU? zswu^iR!vgvhsnVs!PF!+t^QzajZwy?bQUx19AGFOoGAds#_wMR}R2)afQ=b}}Ao`FVAk&J`4i z7<<0hks>G;7X?ZY#pd{5>2363(BVm?o+O2qe&M{}q!?GDib@jpYWD^n(>|s zmFA@Hq<{Yd%?JMXivFw_^BWeZJw*i;8<)aCiNQb&O~u~wK#|9w1yzbVrNqH_Ys+=& z+8SLwQy*{{b-wz7P|;w%ui#(-RS=~hq@7}QWrlMa6yXqF7mQ44@SPeT8=p91Jl`2S zi*sQjc*ch_V@wJrvn7B<>wKNou~V3kCrgok%70*}y0%WpOR^A#a=p?H<3Ho{} z4qZucd0B2nxudMq<&?)W1y8SxO2~1Rm6n$j<5^Z3V3evz#Tr=bN{})_HLq#j8Fcv@ z27hDllPgJbO3sQBuUG3x%_{Ui^|O~E4mF!^$#(FL%BpY;J)?YK>->#m16APkcC23L zwoMPL=ngKMw={1`My4+*psq|~t8*KFx-oJ~Y*kg7OP^WlN_V!`H1OqvofLj-*pbn|t~HOsaAsr_l|HG|sqsq52p zd1{N5(HbpQ%3@7sw5*aX!H(`uCdu_Soj^4RoHa^OhaAQ*CykUNR~jkfd2>J-ps`L| zB2SqD0sKuaVbTJILz9_h*P4Ntvy4vA+cDCbvXh-);8~{xJu$l7h&AcNg#{6nkbm}|bG%iyK;7W|`@STqUwY_+n`YVr zey_hQE%nt$?)oz9nrFJcam)EPU&qxz#-<3d8B?yqFP18JKQwT6-eY+u^Ir3O;u-g- zV8DB$cf0ovGw3ISQZI6|xWuI{cAfMfkn~g1%2i zg4GCNCt}z+F7Gi$$;;8LB|kSyFiNZLxv`7n+$50!wU!0)JY}8=Cj{~^Dt~vEI!R@I zl@la1B`^WKc6BFM(kwXh5l5!1qLxTFGJ29qOQ1?lY9OvM*+r?cQgew}UM40%r@S?J zj?9uIGuK*pMUK&-!o`*1Bf2!5YWuxRWqwoF<8Myqa3qu#NhANT z5RE0nLS?9pKF&`GbvC^DzYwariJi z6MLuS1h-DRF4ng^q_x?Ss#cOc_|Ks!mV8ZRl5}y0>m{CVDLvw-!#k+XkW)x9)Fs&* ze6GOrR^HfRu~~Q7c+O~0*c|FT6xbL?uGS^*Uc7FP(#7!~8VyH(@!vM5PdX#ws)&cV zU|rozdB;l3VBGW8n-7nw4zdD@as~G z-3KE!HC53a%TSir*2vroCT-bu~8BH=v`CTx@w?%BQKwyjCBV%wTz#m3CUwr$%sCRoXeZDVrwzE$_-o`>5HU0-!| z|ABsLhWytISs%j!r=Y2>E3VM=i^Ui6|1vro0VJ@?LVwk4>d!ZW*0I)$VJ|#uS2JuB zFWyFs##I_I3N?xWF?nd}3u+d%)Wz}HkfF@J^b(rpW>^K={AQTWAmhz7>Hu`J(;Oi; zjg7jUuSfr#uTP>mquCz!H1}EI&A2wFe;W$L5<(d9!-waQyx&gC@F|5lfBIA@R(=Bo zV`u^!?Dj3s6+N}_D81G!)0_>oD~YWr4mSGy4(DSuNOMBJw-7;;2-b#fwfTLnGAVj) z!yK#`_L{zWbp7kgXRRggbn^@Jz&fjCidd~_Las6T8oq%40x`9mM$DGhGJ?E<|x)3A-MF){b|9v>zJQ zF@GguVv&j7@+7bk!5$xc)F$x)mezAn-)AfEH&igvV3cDRG>%b-GxXt$^q#uOGdKdO zTf_qkZR8R)En0jHrF`joq;AFPLe&HjXpn@JerF}u7GZ2rA1{!q^+Hby(c`(1x!ORB z@j_Vq*TTfpBx>NT+Hvf-GvRqS&%amTMgHJg-qT=#YZ}SNOR`gmAs^~~Vg3g*H-MaA zlOwub>?)GjbxYEWBH%i+K69VV2HYF_g-_zKE0_2Ek>|UQK1P z4cwk=9KEmczBXn?>Eke^w;NRuL>>x}4z+>`Nw z^&pq7DSynBWQUG1Cvo)3Ljy-Mu_Df~^#rdgaqj$3J5&)S%Fg2EWd9b9Xj->e;?5e1W~GI5CHx+ph-_Ya;<; zH`h0GmmTIWntvW8x8s3py<#CBMM#hWL!YW_~# zFo+(eMK)>6miWXpMiAhVlriwamJJHlNy+$rd-GNMH#Sr)R@7uUu{2t_w|5zP?0Hje zbtay%e;`AkksUzI4nV=f_UZ55yxiTl+)bYOg&Xt5SD#Yz1=5U61pz;yFPVBSLqSg| zF6c+jqyWc>YrP}4cmPn;*5&ZDf4A|lN?xRy6WHf%$qMY@J0>z>6n<8nLH~7B0@|YY z%MVcBIf34r+*;Rgwe7-3@H;u$I!94Ghv) zI*~Ngagd6@`u`8pM!kPj4sLA}aeA%M_x zoXlb5TdWPmHQbevjlHyaV`M#Sb-qr5T)o8F;GC^cfVgx2qkVb{R+$SMD9U>m6Zk>2 zqCiZLkYmsdsWSoHOAOA0Ki`33+K#`1BN0i+jX1Y_aPRLX@vp$MgZIo_UHHb8N6HG& z{jT@3;RQP%A(lJn%cjxImE97UhTSslk3!|*L zp20k#ITlTwDs)ElhJh4Cl|*N^CTdOi8oV2d8t2-L!Vkl7!@+|*;m5Jtz>$EFYuv;k zyRCX6i6#AVY%d{l7AT}z30?ViGRkh4bAhmgeoq{oM-o4>oS>FZxE#1#A$Xr(iazxa zw0r!aP3?%Qe5$6PfXnnyugMC5g zIR8j$`_!37)bS=2Vd;OL0VC`Y4JDV|?08xteyDDvt(h;2pRx0(P<2LMr4@D>7VW0q{A`RCai3WhP^EK>1xI%$5F zQ(Qwi6u1wOy0J?)on)a4-l`EpD^8*ZLGdc}s$?XAxe2`pIIfD$?M;r8NqD$>rG6oM zov`H|NeF^BBop>)D77)sr-`m{cggt&bYba}j&Kn=1O_afLW%Bx^RG zzq{|fcAnlpfUvP$-z8JL@8k|gvs*D08yW~nj&4OVs3Pm_{qBWUk3>JL z`Du|=A!bIjeKjS`-=L>Tb`=e3b|IvfBg-ae2&NZupX0l>hRj58t=k4>_?_`_ZKqF@LhAW#bT@Wgp=2q6{DK6hIrdu zOEgWhzq@N4z$_p;`EC6fvc}^Ew^b;9eQ^ARK$saZ{xL`>MT988<|0LwU>hyeFI#m* zCVQ9Ls~*?)SM{RDHJM2i?ngxL!=G{fO6rSxT6k4SAdMDk5F=l5Wu*~m{TZ4B-&&M? zvHM6=)ldr&!t6^436W01!^82b-XZc(X{`)0<4AcAjxoI{#Av{^|71byE;KnH? zMVeRx!-dr^+M?$tR+tC{&O~2Wg|J&VIaM#;=0se)nU&$|LWAhAvJI*Re zMaYvL&=#j&+`Av+lZwh>Iy?a2{qJQwDj+O7S|fm@2nZLo6yz$^iJ?O{CgiuPKi=&m z1nIL4;A5^5h1VPj?wL)({|^2Vim+#^CeBsrx3i}~S^E?nbh+CZa5>uHGVSkR-l1(MZ<;39 zM~R&wm*bO7b-pc*pfxc7;@q1hp{)|96X}-Q30>LLf}Ks1gb}*Cj`$VqZy%9_!jSy& zeYH9$1DNmh^$<2u?DY_b{R+QBkJO;FV4uH^%Knu_a;vSW4D|;{3KrAho#_V3)L%~m z`<)VFshHTlrnejVvC!s(b8@(VDLG8pGqaebjpYJDDYz<<8rZ5QTb&eJPF_AA zQ*7&3Yzc8oeS*i4DQ5YOusy*>@m7U(p;1`GSS-!Tj);rR4I-)U^`H}tpEgo6EIBJ? z^(juu9?c%>g3F{=enkt_RZqQUDs3l3#$c=2&bzEsmy4l`Y0Bu4>0B-p};QQg2wWmP#%NhYHMu`G*SOj$-{ zG-E0Xm*Us`Ag>J4g3(-x56b5M$4>i$Q#43+1Zx~7lWX>*)0;>n1bBOPZr1$6-nMcB4=kCcZitK)O~d+|00$G#7!E!zj4o&R-{P3+nD z>)^t}WTq0(we#)~w1gsB?oGEx_DcRIbA4Z1EHExmoj-amgvVOU$ZXdWZV5+Kvsp=b zp}Rg!GjrN%bBL1}nV5E2r^t3N;Lt2u%e}NVW6L39vzPOk!7i68L!KH~ui`vQ0gmKx z{oX&`Zh{S`fwQi(!a>?2fesP8sDEUiyJ20_#eXF>O zO|LG-U9YWBLZmaRtF8k~d9&oBWW8C-u0TevjpjPWhoc_At#NG7vsc`bXk68+Rwhbf z2$UNMYO`6U{(+%9x1@^C&vuX#U1! z=FUt#>DFg{TH4vA1!nJ|ci?n6?BnpAxs9r1=iSLlQhUh!LErsOXT{=GtNnVqj zQj&4kmr&J9E7}6)nuyUAYa-gc<6f20u*L|9PBN1rIDDbqz zeT_?gJ#$`B)!kA>i32#S^sK_ti_0~uY+}I5%ySjYV!FT>vawq##*_`a*6)dRFdw2Z z@bk?mkYEnwBL}YfgKVy(kx?o|?{yZ|mv$wUu65PgR=?BT%4YvVE6(~3$)`D|AlbBUPY}2P7!XhAejo<`# z8E~n8sSl(Yva^&)T6MM2%dBcSD3InrB1C1YL0_I{C0rbDDm{&mJe9sdurn+MmxZeGK?L*-BQt<;l;Pd zRPXQ=Vc=&DcDc-R^4%-zW7&$^A;>l`-*ma+v-*h&xE(fnu9I_41^S)jypu6>Yqtw- z)G>ZQ>Jhmt8Gj%PPuGSM3~igWE_Egs@f&Bb4O_N5IkB{*?u;7Eh?)khlyP^l;BggJ zH2`JR45pLCrE?IY$y(mqNu~}tLLmo73Rh=Gy~39VJCVG$|3RR2LriwT?QJkv1<&C9Io)@cRR?kvcg{5g!MJ}&1gT(kY zVROJLU*ny~z0=Ahd=tF!P3?WGkH=-C&<41u|N4*gIj~K*-K0J+0Gu;;tjp&8-q-gU zj(UEy6T)Ed394Fi&NU9;@Sa;3t0TxHp9x#EN9)#msc)LZqvJ0WJOB2^vm1a^v7lUd zuRzpfM@Us>!!zg;3#ch=AgZvD31*iAAK&QA7ch2TM}=77GLG=qVjP}e`ewgI6#&y+ zv;9VCur1#$n=b?uAb%LcmM_>*KN0c^|H=^z&&(2!&Yd{p#CnEEI|ExxE#--P_ssq)ydu5hbCsEeqzVRQQ4_V{e90M)0U|3G z5=VAtys{7CX`@ghr>hstxf!(GYJh)fZCVT-yt-!4Xd+^-qcf@ksg(IF!fkBpqkx(1D|;EZr~Ntxw@$f-HozDJXKjVcDagaOSdqkAjQ z>&BL*DPMvGp!$hzLp{Fn&(Amw;vONXZHyyB{W@vNBdyxL>lr+L2I-X^Fl73Xi(cLd zhIPcvX|03a$1g5ptvqo7uTzZ|F)jxg=R57lOIcaA0(BO*k(Rib=59~f+li3zkrR4BZXkbsVOq`FLAcRSz{o-LigurBr48#h4sK{p8$JjLg?!VG#U zgm3e1)#B-<Cw6&M4>aMK#EQ28RE$$zB2e*iCx5NKR_OO8P%2F=9fVZ6Yne7VeJKK!6uFkjEen2b_bEFbiC6try zO&nb&*<`B9omY`t_wAp3g=?w|xY=KLBP?e*|BM+xPwo}2)6r)KEoQ)(OrpvoG0$Zc z3YE>4y}d?lORc}bK?RF-I_z;=nY{B#+>H3=7Za}CGRxom6&a-=@UK9#-6{uPKKOb%SA%Gv;EYW5!A*TqxJO+2; zLpbOejOcnz*s*vHOK#&mNp(r}y~e87dqeNd6azmj#+Wk21dMSjDn57bq&N3(QzG+h z<~|?86@i71`WbRm-620sECxu|9P}1&yDS16%}(r}zuLEtS*HUJgAW7ltt>Kms{xDN zhr!QQ+6K3#Z$PPNcyxR~ekwG&oqE^FKHvd-N%pT;wP}0mmM9J;9svKAwokrd_gj1Z zb1~qR10_Lf!tbl=$Z;0R?iiy4IU*C^g1OwtT_2ja1ARYKwuv^Sv-;4)RAkc#o87O^ zhyMp&HT1tZTtI)BsS~OlwlMyYPEtq1kA6SM(p8)JBH(xH6{J2G^!MBa)Fn;qu>y-Y z-n=}*uB7MwytVgP54zKzLOe*lOYqKm~z;v zVQnDFPs03mlgKy?-)qgSG+&9^ushes`#bW9ov0p6Q3g>$VBeAZtA$}#SY2%er%<*G zoq|n^9&l5iSlQC9vIU8n>uxkGFP66?`KM-4W4QeU46J2!i9+>XycliL>cYxV25QC) zW^w=7rO5*+pK$JtRRxr;B~7U&OHo*~oXOmnU=(YPzdQ2KG=EBel@C-Xs9to#MhV_SqE8oCi7L+hYS6s1d zcQp<8oVP-~t&XglJX9-66(RLie8&R5b&1+M-=F>J7`(olE1%<8Y|>Q3XYR#wE~|uE z_y<&097?F2?ku>l?5Sehba+Z<9GauoS_HP9gKKu%pV2dH^aRV85mVKLgRD? zQ3~?Hxix2rM19{47p3$9*#(B>&G%IKuiY7Jm*E;}{H-;tHe@oc(lh^|>6P*`YmaeB z+j3F?@D#nO7f%!m(&Vk#rr3jymoF?%%F<|9G|@|_{o;~ZVsV;5KaN=O3?wLW5Aqf z+5HL5CHusycX!tHs;~q$Cp!qfqziVbhVzBG;m2n!5%pJ@L-Z=qS`i}_ z$@8K$Dd%_)c>v=_&q)*bxX?L5RmwQWmGh(OM2L&q!^bP??r!oqgDhOK!$23z`J61o z_|$GcKwv%{N2f=8pK04#o4X+E0c>Z*1fOMvh_@{c4L^u4#Le{I$TppBNoo`LkSAIZ zLxe-`j-q6zegp)&2$&=gIQtE54d*3SKc6Z|l+$EXRIBKeLDOp@$}<|`_j5@+LaH50 zWkByht%a1JGro5RqpR=_P@TA8J7!yHu%OY>3~NjX21u|)N81)_E{rPl0fh?|h47_V z?+^kB`2&)xNF_)c4ag6y!UW;-K3OZQOks)!vir-eTivqhd?MkqfXP|pKDbD)pKuC(xg=+3seFgu%&rC)3# z!8{*7R^UDlORG8@KeQ_^ft}|MoAH~<$K2K}XMjLl(ef-4z*67LPsXpBROf?3q^9sx zCi;$$)Zo2B4&kI!0g|aH)Ge~VZI;Q^(lyL&IOVHuU^=8~immfvAPvT{5R<}|Q2tyH zE%Pl~JHa0Z$oX)|Xu(w{!{ zKQw=ED6=nXA!MO##3V?uMj@ZGv)KJIe>^=cE63nF>os*P5WmfM=K}9V0dIiSl7U2q zOCE!74@qp~Z=ajG)mlc+WL_liluw?uN-TQnOKXU4P~XIoBYNN*&R7>LB|M1T(v5mK z(*TbmnspxKUgw@Dz?uH+BhGN#^y_*R@}dm$o0?xVGT#*c*uogJ-@mIgbU=5oO>C`M%Ec41ZiznC8n)(ZjH?W&6*t%f zS=2hZ3C{d*y2^HtEZ10&T#j8lkCncT>c%awk{-QPQs1U5U2I4d8g7%aOGWr)El40) z&o!!`mmyp422>yr5&mvMxzKhG8$x#%>XE?CfFUDrZE`wCzVHV$FMZoDHjx{K?fp;9 zbwY!nngoP`Wn>yrYMXQGZJcdF;b`D!Bk_YTp@j#8&9Yt9?c5&`}qtZ(w&8`uA~N<^gFw zwh{ju$Hnnr5;jI~`)tw8MuJ2)l*sOU)Ah4USxXcC8H z{nX@b-?uT{ir`N!E=I}Ft$f67e?(bhLq2bHC*bJeV~2#Zbx(VH!9o(&Ci3=6v1D#H zLHjyhK7C!~YQ?Xej&*J9>`ymJPQ_ug$U;}#K)c&g1$Vcz8hxH*Xm%zlWZE92EqRrS0<)6EP)o^JGn{PecJXo98)8DFGU70hL)mzvz(sVeYNUtCYsx)Oj8?Nff!!{6&uex3E@PvP&zHBF z@AU;PS3PS;*XEl-F9n??ePm48FSp)#qrevZLCHG_rVDSJpWQH-81I^Q$^LbZfUl%~ zvY}-m)*;=4b8uZB59T6US3_g~8%-gs>-R#(gbnl_ytLY}i~5U(At8&*c%%ijZ+puX zILz9n$64LkIYp_F$3KBiLEhoD{#t2ox5bgbj zCL0h?p}{7n?E3{%f~+k~+&~xk!8|phhqOj)=FK1e3nf%_pQqz-ztZit)#e=? z-$!n5ixjJn?<&eHI#k|XF4%4K>438nmO=(bTp~iZeqjB0TN&{BB)ux2J?J6@`j70u z6LNvk-bFN0_LGS8KDzTx^WJA?=fJ(}a z5i86L3Bm#?uLCl1NG}1ji1+P{__~kw#c&WcEgc*J)^WBVM+f3^IZn_^C2$5xPLK_; zF9c@-i_#_ot$U(hE0x`vSutztF1G0(QMf@~$D(1@fz9o?nMCz1{86&6?js5gic@bX zd|!8Wn&s9gW5+-t2HC0c0s-pG$$ByiH>*>Tm>4FRfl+pGAi{T@P&*EmPSo+Bsq$Zf zMSz+gMWE8H(v1?0u$T6tBVd^eGdRQbqefB<4i${olFJx7^rpFR<+7Pw@4pDAjctqE z^=MbTYdW%9)HEwqlWUHxJ^7;s^=m?>S-lmlw*+q_lwS{?^~G2k5|+>I**?+U))BrE zIu=8X@1xancbS@h-$f>p4vtqp>QUXTN1i|ABuQrT7;p1b6^=cb7FfW|5Zq7q1rw?% zBA@LZElQd~nPxB_OoREK6GHL0Ld=lHAb2Z8)6JfmmPTUk7yq@(P*oZ|jHvj#oE1g; z=CPyWO{?M&pIYesUW=1^y}9-CpN*q+aZr)^ zsXp=3e#A^XF@CGg4Dd0whL3H#y-TBj`NNdH#mx0{q{+&u$JxiZL`9k$8q^GBM3fGl zf0q`e?MB+_PfwLnaWgJeV!)APzsM*ZZg7gtv^6d{66Y0LUd8*?-GEK!ShuOdtD+ZH z5sj^e0}6-XQAO=@Z0dHh7omh5r$~k;%bHMBeK#H6N*UA^1R^l>r$%Ec5hVV}%U@1K zGhQ@js@lvXs^zS+*6%3kaZSoBxz6J8{OMJ{z0X#4Qf{22FK;9-Ru4A`3k=Ujwf}{3;GJZkKO+zlliu37!DchSEiGG!F!llYtxk^mSGsNfV-S~F z{ui|>fmU8dm?P`(qqx?out-b+bR4`cMP1?@6uulIx(AtSjmv}pY%~n3IQuCaLo%-| zdpdEh7?rE5ViZ&rTl&MkOeoN|c7%K!5VmP|RB}$_2n=9O$y)F~{UhKmY}s^^cM@6Z zbs*71wQ4uXM>pG9Hf$K;Wz!_vJUl-5b0jVo&1Cr>W+cw_o9 z1Idapm(KYV*9D?VlGF-cyOZ(V+C%j1b=tB`hOeL?wOG{3RN-peC}ts>JE3yz8oH9( zh@;ix1kPDM$Y}gwSzg;nny13jFMsyg%9Z=BZy$*!(>7Gxdh(IN^($gU;4Cy`+E(2v z{<~#JK7o{Llt?<(3YRjcPte5r-l8}ihAx~n6q;(78$3lXr>8|JvcxrNgDxLxUK2*v zH8l93|7N*V!}om-;5rlpq9sQ`-NW+Okp&+n-5h2p)`m-&w;v4jUk*{qsx?-P(iYA7P6uZ;GZ40 zU_5IJ|0?Czk;Vm8xQ^T$*(i_i?fgtfB94!y7ZKa({~J;&Cq0ljMxrf9PGP?ppXG0E40f};W^)*5{TN2R%@dLWk*?0yE6Ln7}r?6?w$ z+zuUR3!l17 z)Pf?NkS0v*Io-##2o?M(!-Y~*7#9JWK$$uO%Lnv9?te9kcS}Q zU8XV;p|L??i(e;*@`T8SnkjK*kvEbGAi0Tan=v@ded3XWTI?LEVpWHExen4xitq8e z(?$r-B$d$q4W=hrv@s#?7mI%VQsKSA!Y+(}#sXQi>%EoWqXM z`&=Z14#FF<`A3!L%m_reS8q}N8Mt@>^(zI6jN=f0W@*@YobNoHPcn6_Ll?DV zX=fYPlFQIsHY!}C&=`0AfgH*)XMNpKwve*aol&&|jI*6EbN9XcmLZ+rh@IVXKVZTNj!vqw07 zjeeh-qQyYOqonQ!I?R$eHfiG!Pho#H=`q^1i4#mSqbqZ{j>x-Q+%f5BKEcWHOnY$H~lB zE9grrXk#=3l%$rZj+|UeB7+a;|HH^kIG_MtUAl!_vxQ6&!;>Y8iWT%YGvVz#>OnRMsF&gP58wjD2tSo?Ut;Lf_{mr6~LU z{66sW?tQ@MsB5~*>(+Iy%PQxgoxw;ijNO{5IH}ciWZ?(JcPyH@loo>1(}c!o4+>yP ztLfBjFIH7QNj7@hfBkqS%5X%3)R*R>rQ(fYgSg{IHs6PIj_`YVp?rBlwm>Kwy zJB#kky%{A-twpt^n=3p?)u6r zw{ZPBD&ld%f|}o{>NCN$?#%7MCT|;)Afq)*}+$y7&%_n2sQW@d+8qvz#%H1M4B?dBZw|Kh)-pCeVYj(Tp z@{vIf>s88oLNwkH%TOPFjc*oH;Mt*j|4cn&yuPT20R_?dz(GxQw&kKf*D&hR^?7C1 z#LVCBQTx|qf-`}m0L;BsN~OzXNBa;%*eaHxe{`pMH0pxoN;#g&Y&Di+4|Z0=Y{jWt z50N{xm>a}cNOl646--T(dQd!zZW08POfj6K@z&1f=t>a#~*-Xme+KMERh>SWb*o&Th9iN z`_JTE!aBts?6G_=rbq{ud8XOrv=pgaOh3ilRU--qyRIG%&09y?pG!NLA$hS~Y{w5Q zUI8|b-Icw4o2NXtF!l*Nm-V{(S1-e<+SM+vhQAD^o?UGiC&#)-u=i;@UFT--eS+2= z@C?VEdV>Kg?|r>pe!~yxXcSlzO&AI_W(terW{?W-5nM8wVrC^!ySSr61s{LE4dw)d+T^hiQi`Vpqczv z#CW*pNuPRPT0gM2npd#2#1$`eqs@neXczH_W&?a+fcV(J@VcL6OdJ(52fB_gm?jT# ztHXs&at}7sbZs$|IkMnDcArQ~cISz*bm_(NQhNENxa02--cH1YlLj%`W89?oTw9iu z!jts2K63MC&BFh; zz{#lvU>BdB{hE>eD)uBK_V5kWUVUTace&6ET@N&xr8Sr>tTn;i4t>;(*xCQhn-<7l zydow+%;zU0(C;@zoQ%*sA-=DhI%#-4;V+p!KKm;AEAqQ{CIepr*^~YjKR{VG4PWmE z!__^g2=b2q`)T|@&Q&_Rn?wI+!HfqVfNRf|b!GXt3&^YqVc(NKy(Dq-NbGV$%hJsdTs!`s?t%xyHEB{fsv1D2A~WH+9gy_)3Bi2i4-;8xBg8muxw$;njjBSKtDcPnK;%Jzq^4u=%r+@ zh;0mfOsEi|8`ig1?E^77NWu+2*8&=DF!O5RhrXBt-L2>>^IqRM&mU4oI!4IYdi$_|wR$>@KB ze)Sw=ga24cv*zlCd}+ZZln@fX1FicCEoY8^v=8GT_(i-wPc4pH$sGIQ^heS+RB(di zROA%AJ!?n9yVtqeTj${xIK&_O4&G5Sc7h0ewCS`QBw(-x)eZf(C_DJksywR!kk_I+AN*i~S6vKVF5t%-0&iSV4E8 z`wz{R_!H(6!i}mYd1q#KES^^I$P-%=LlY|;ehtHr+7tVZ=4XR9K%hxJYzw1cRm8Y{ z1J;T|-HB&FdE^^`oyHrc)xW*ee1QzoWmLeht~1 z)mwfcy9N6c@Qi&>xus*Sb8k&Es;pz+jx`>tjFCDDydt~`;(-$Y#4mqV_TXCcHl+fB z>dP#LdHe|7cL!8j0@3*HNk6EKFIoPOz5_wT*M z;|40XuDsWrc3ETgtauQ8iZv=Vsr(hjxOg+AmqR{gQ;SgIaczK3aGv<=gx4)u^G-o9&dPz z2B?H+GR~%e69HEpcng(KXnw+W4jv^UWMAILyb(J|UMM$?mA6cYb+r|Ba5oUnW%GT0 zTjEX7OOUn{B0`@CrnRJw_d)~*_d+vki+(E+BdIx>=ueInpY8tP4*mpx2cH1*e=d&% zkvD_Gf|)(#z6{nc{M{NYzdIgRU0@lADawjs-XH$}%0NCIgΠPYqK>hv9S7jnm3g zS^QT2@5~CYJh2){-lyODb%E}xgcNN>TZO9%t@iodRRc^3PQhbI5)*bzH^rsvU?Erh zK4lHF9hT-hB>Mym*Z6MINID_MDoT5q2F=rH*_USRcK8y)Q%%{c*_z2*(d~9}f1L(Y zg1_GZm*lPbyf>J~+c50=;K}WNMs3U87Sa4sXuCX-WDT~3iD=wF!MA6#^^?us<^X4L zYY^Y#jllh<*j&&K>jkdAfA_?~%SodHouQH>Md#oNk|NA>50UN{t9!vP5ZZHbJx=ufHxPogdw0016~PI@#*z7SAKEUC>U0Cvnu%?X)TUDFd~ zdv~F?kg=ELc3P(YpEqh>dn*}zaXV`PLVtn<6dN!e3GEz~?Ba*B?Wzj}H1Qzq7xDmR z@$U&3TsM^hr5R#kT$lJnHkIlGvp)$SHh9eO(%8eaN8VP*{P0;y?r4EZf1(;|zX;?p zpl z6QQMn6!jz107F!$A|DJODoRm@VgW$dhCf-h6`Ws39Kw1qZ)Gj%F2njG4(1j+N*p`Q zKpMh&(ee?gSsydaw|zU)7L;T%N;noQBf3#fYlF9;$sYU(B)~DrtmEMt&FAD1m!h_z!5hkSRmm5B2jQ7%lcC5iO2?2T$Ds62T zdnwbpWFxq~7=upGhEczv;m%-QDInzwxzX|~%mSqT)bfStZaN3Y zU8-uUE@-rktvM*1gddWm)O!K+ zWA_nc+%fU(nvVcgY`q9?A#jYb}#0|T93KXI+RfnM2BmwUiTE@nVuI?;!M?T<3>{s(E=WpOiT zc&li_acJbIy~HyCO8;n6H!8cMAB$u!`vX|1sg4yh&{Q!4BSIhr!g0aLQFW>{ZH=z| z(amYumV~L!Ar$xfr{^ zp0rA4F)4S5wX8s2_n9*$+5>tC@({+0Popq?qoW)aK3kT7TS*e(FkN60#LEGfCKjGn zi(NlXcoU5|z2fhZYZ7lLx-kbNA2rs3zCz9_Wc|3kh3&wWm&p&z;W5PAJ1#j{0HhN zNdpcW1DBY*DyuaI``A5J`WZWCA)Q3R(Hm-5Yw2|{+(Eo@dTQ)%(# zjY`8KVIUU{hVcojO%zbtoV76&%r;Dv0i0zm9>h(W7}MH+o1*uF(Y-kJmT_T4Eq^|w zQvv^ShG*a6hJ4!Mz*=Dflxt`{Ze#-beq91;By6STEcC)?mk@BMTX*B88MStgHn3CL?d z+KwH`)~f%K{{e$7=SzjZMYsxgMYsO^9>V=bMt!FnX;-1lQASV~Hv$Vnf$0C}d4U3A zYYMIqkL(FD99s3XK82#sW8bVS3SQMLZa}L;oIEMWP}m<0DI7^(lBAuidq-r`<>2MJ z4_>EG_>utF?MII-mi9b;^4-2W0#eoo#v|dwd|~qqhNMva11Do~SJ>OZG*Tn|HC*;O z$^k51cZ*c@IJzjap-Xniz3Oj`HB+cm+{MCIWdAt!1K?~H6_Vd&@mh2tOG>R7hQ0sG zYh_JXHrA41%+d#E51b1{c>eRKn6uUF)h_y^G>auu+)t=tEJxhWwNj)s|8-dFv8PnH z)_y4ElC{ZeHfLWFJ`cFI)<86Y6b^IqTTprnPYH4aX-WtS0n}Al`fRlD&@rof+);`Z zy~h3dO~%g)CE_gJx$CTKg+1@v>>N0yqum^Hybi2yVWV-wi0Z|JvV~d2+~ZlSNW_S` z+6}w*N)Fk+71Hx(y*R}RU<8&j9C8h0O$HP6q(qVGq>+y(jlNjKxUvP5p=a06eSp%b zh(7ea1SS1MvV>!4I^!bSL!R5*qnF(BT|YB5ZHCc+eRzs5uqAO42aUuIk+m#nj*}Z% zB%|O|pjfXKWm;lELS%O=xb;b_7$r^S+LcuhE|i=AUgwX70U(eMSR#>v%%DQ-O6MG- z4+S}5!D?yK3EPkp!w478e|>82tlnV?4&41>E74?#zBy!)V!I~p5cn~=dNa?944!?(zOe;i> z+$j~&qgY$1Hu&%YxP2Kq;)o9%)meL!*GMQELI**m2k<6kQ&AyMttnSYXBrd85SQ5_ zja8v7t6bG9C^I2G5iViqYm(m@(f*+ygPun6gQ|cfyMQ1Y!=F>59+PhH2Pm2B#=YGR z=N9d18r5vgdBzy^&h-AM!+P=RnDpP)`v}d4*vS;NAxH@Zp!PghRxVMWBTqZNl)&`4 z_8Kk`m2EMxJ0(0~Jhk>Ssyo2-Z3*0xIeqGuje6SCs|Az^JWeHl~_6hN5Z#WdkUM?Gbh!%t1^lEnb(0$GosIAX-D#aQ*^lm?VBW2xb&z|ZAehB zUX8IL&xD3}Ye?pAu}DYNoZk24%We$zGdo?J#ec{hfRN@jd6XE!NlmNAH)6(#%6?pY z`}J?GCZ2x4O!GQFo(>w(ooZT9Xg5e8a=8(652?5pN`4+62I$U<50MV zdmKs%^U`l|Ik{e^#J@xnGxFOXC;ZvOe3k~S^=Gyq$!53H(q=CWdN)VIVLajjosx)O z-#bYc0OhZgB1|sun@sTX{+sf12Z?z6iW$va68zjK9*}R4@*KK{e|R**A&5$T{^FY5 zN`_pXqm;!);2@sRR_&ufA9CE(8a2T{+h=$9IY^M zB(%-w#Xen4?rPE;lmsnby;v~gw_1ZA06~5Sb{FH8)X>L^%wyYg3vgp5#SM5Rmi-~9 zB>cMudx0xug9a=j^Wun69*eX(J(Go6|(og zYrI&tv8y|TGP}qaBRV+{Nr1DR~=K%+P2~g zV5(;NxRDJ?uHFi4DEB(}fd*We+Oztt zQ5CCb45}KU1E)Pg*D&{+jcsK6urt;Z9E)zM(^!mMSa*fh!HZwB(`5AgXKA-spLm~Qmtxy$bNe;ziRX$&dd<{wTJOrQDu|l6=1uur z*=bw!!A`I2#;TRF7ZnG=4u@Qz7zr{oH%FOvpDAnq7XsJ%30FZq^w+!OsR_|M=wJ^#5#+iEc2+G4t5N-8DE4<2|DeE zpex?PbZ?91RAi|qh{@nKsWRTSNMMz_H z$S!Qd1|dqH_Lm!VAsy`oep@?UizP&IAY5D$G`g+U1bCWKb+h(P{I4mizVcD(y(&H) zDJ4*D^B-Up^8zj|I6`hC|BM3826+tN2jkn!)O*6??>iZtP@)SEl_fn<6SmoTardATUCr%*l8_4Uy8}N z7VV1Oq4nSZS!TUbJ?#KlU8nyR1y=*}+I?XJ2l0FxjrNL!!&V3@_W{osPOmrU-ET~< z$mWtZ7o{yXh{}#{VRIrB@8J0KA2`us?$_;ifM!K%ZVO(uD2ZBsUb;(I7>GIzwy)-_t8sHAL zZYhebcfL_2Eg2a4j24!tpG%y6X`-b6TJWAS;M0F_!<3q!eXA}nDGlPUFi~ht8Qv8k z{hBf4#dS^i$XP-U1>uuIJ-MN;R)$81-@@gD;W$Q>TvCNk?Tv@lTa`fzI3UE0&wzKG0 zU6Ni(+&qmJdoA~Bh|N~xj)s{qCRgg93FqIK%NNz-(3x2X4o%URy#2Wk zj1vd;=CEP%Cy;-44VMbzob-lR@B`v=g#hLXP`*e*(C**FOM4L=7tiN9ReQIY zSA{PZL~ANYy9{t1x8m~ls2jpDa(}#G*?#c<)C!qCdI*ZGC#RryDHGI1ch17emcs#_ z4=nAZ=P5766RPuTkfBVUW0xRP{WvWUB+S?m1r1%;(?XZBF(WlVJXh4ywIM^xXDmG1CuODQL0;cXdOhjGvgBl^n=L7ds0R^|K4r%K(3{w9RZT@4XWVKmX_@0 zl4Ua3{dZ{b{hdE|54U5d@m<4q>!AP}8M72FN)L?g2bm039~S2(a%mMog*?5oUbmbYfPMuAfE>WP4BtDzO^TWbYv33$hGZIwwUnKtjAYe_7Rr%#tDZr78bum2eJ`NJ*wC@dY3Gaj`gt^`IX?hd$?G7QY zF}<&7AB-jpyd%_4qY@1rIKP9-Y^Cf=`E}g4<-l_3* z>5PRSmIZF&mbZU0$ck4ImRKost z*1S|W(;sBHeAEGA%20@;vc67fvlib~$L>)`T-W)nA}gYsWW_2m>io4h{_d-Jm29r| z#j*w!Ui(74(MVH^lO3x?-Y^lDLy+Gw6om^vK7W3?2-Mw)KO3WhU54+qBj#p9SP{&f z-;WMj;x`G()^ov1p#=Ose%n6f{+t8}|4otl!vf{)xWE{2o}!9!V|=QpVZBC$1lLA0 z=?C*e*o7O_XvUPr*lyM%XQM&&Eg$uXz&Gp@Cw+t6l;Q**+7WcJ3+XUm9SFk9MQ%W^ zE1EOdk-O66H0X2qemVB&RZ(8&?%3G+Xq(GV!r#N~Bll}iG&3jU4#e+ZchFtdL_OC~!#IF%j<@~T8ULJ*|hPx9D)-4a;^ISLd zYRydqH%FNQPnbO{srY0zy`4Is1rNnAo*sqy5i14IC@JgeRR~>pq^>y0A!_MxHP-%K zU2N5v{{1?i%_~T?e1Mp$;m%n*TU*Rngjp-=FgMeiv6xTUE3vEB3;xIphB`=9>a(NY z@lJM2_6p?~;>Y(2@*1djvD)pS&eLG)e8Jyu971>akR>3RFln)C=Cu)W5-d9@=`IcW z*rNleYq`}Y(v~;WBft)XPSByjQdr_y3+%_@oC|HBL#|IlJWV}&-)D)>>?kK63)->YJmR3DyQb6tQ}f(jxG@Jv7+;mZBWLdEZeqZHTh z7I4!1<*?iMdUa}GX%PvxNcuye?1H_dQjYiVA-3tqtvio_OvDD5-09!gMS0n1iC?^c z6`JqzGCiwrUvbBe{8~3r=$7+lYlm>*6NFMT#QN~WLg%ez9X2H$5^5+Ff@0)yiW~VD zFd}2t_)h-?*wK`stiowMu_%$q26@7)i=YKRv+I@Fku&?z(|2KR9%lZwE_EV7=(7yr zy)?7f4H`O>sq7$ZbYmH};Zbq%%>6=OM#-5U#9I}NlkzTOKaVODrB<<+8Ab*zl;Bvx znpr%9mAg`y1|;Pk++ALb3s*eB3cvNT#0*cXwcGeL6+4~{E-d_?!odJd{EBjzm#qLx zFQqPiJ7haSIhmy!Sv2wjmvek#S$Q$apjo}eYM_{k;T)7z{=57n9S$w$Gg~?k^0Br> zp1U=>K5~+y2Mt$okBIjaE*+QPlHm?tiL?Ldr%aAjYBq4f?0*sMnZmQnPze4rm z^X@-l(UWO#t+KZGsD)7w9-FsK|4DCBo+d-N)L$B{RhbM&*Pt2{;Rs7-YzJqzu8OPp zP7=nKrda)3Q0`YHoK>vMdAkzuka<{nXaH#zhZ_Lbxzz8@i~FL(KnrQK7WgdLJw%Cv zXH!a@u(F7hL1!q(r(qK|HO!8OU=Ua8R3dUvo0hx2p`H`h=liGu6Q;}7bdV`8uxvV; z-(o38V-qRK!$~F%MG_Iap!lPJdB{x}VmNsK4Thi`O<*29TKn@67d#Lk8nKEww!mlM zojd^hhf4MFfzKWJfEIoD8Zuc*_gmXg4|CKZO7LtcQ)wm^OEXn(N2FwL!BIfD-fazg zS8he>C(v8u%NdXWpF=Aju=oPGxM6`re&fp0v|t3Eb1FfT5mRh0sa8XEL-6OPj#?3` z4R?mzjYIgIY=E4=e&LXTAH^eGy=aYW86XYY)Q0knQ9h9SwzYfg5kZzRu{HqcA?O%iet15ck&9f)?Rzqz`%L#Wg1IZ|E60ng=#(|rhl z3}@-eqzGyefw6F>7;1$>v$3$V^RTd`Txk`6v2e7+YJ-8Qva^#g|Id&(lED36z{<+T z$@#xI?*GlPv+?{d9Xl6W%D#@E7>Bu~B`XITmx(zWJ3FhT`F}rIc-YKL%~-g2%*?oX Y1mXDqf07gvT}&8eI7&(hB}usd1Mg|E;s5{u diff --git a/survey-opt.pdf b/survey-opt.pdf index 982ffb58acdc56b666a686e33b5237e5b375e0f9..06ad3e41446cfa5fdc2136b8916acb73263f7b2f 100644 GIT binary patch delta 10625 zcmai)Q*ho5@b6>WY~0vRn#Q(m+fMTf+xSVt#?}+twvEQN8}q#XGjndvxi~vJv!B`7 zz5ed(?p_Y$W)5Uc9tE77x~jIQTzv^eFy#MX7Aj;&K!36EnBRM5v7+2Jn|8d8=5HPK zc*=#nzE>unQf6{dqT_C%-yiFdgoNaCc zj6jg_+H(Ad7}NWYs!W_V9l*2metG#`=wHj@cYlH93|^xqEc#h52`ba))t!5px05z< zKda{vz)G2))suXng~b4vU3D``6OY*Nou$!dVLG~>*=)939NWP?_$C1DnvRq7uLW(l z2i%y!%6im@jbZFP+IBF1?+17L+}NM0JPlG3*>pd-UQIrDu!SB7zCYt}WI0lYjnJ;x zYH@25x|Ei=HREN7>~1Z^pA`Rx**7y5%|ng|tVUZzh<*DOi{J_*bwm)9(%fISAAfYE z;oG?7m{)2{eCFCl5_~%NJe&>YaW;c5Q?x~c&mH`+i)($84}Ize5EA1itY|Ta-VSk?cUH(4bQx&?z41^go6Tz}}V( zXT=m}D)raAdH}EbYch9&e;O^;w_s|Da5EDyXiRID4l!y7SEv|j<`I>tXljdGsd6EM z0lJ^fh}pVeU_z}^K;H9+Y4N^ZLwiEakWc;~t4Qxq1(t-NU7S0vnRNDi7C2ubC!|Kd z(7O1GYMDb;5!tRke6xj4yD->Aia3rw*j=0@IFgP&AZ9bZ)q9@$sQr52dGjZO0DZe8r zMptMlfKfv`PP6mUX>pe=3fLjXfmczhcql03i*go7iD5<&b$`HMYQP~J_L(qT=U3XH zx@6t^w^3rghmsWVg*a90u6=~>{^`%_JD)_z-}j6swa4lV>sDHmFns)Mk59V5$k#N6 z+Wvy)qYEgdpGOH(Ih|dFfEQ1kVg)x8 zC#&0u|J5Y2d#8Aixi2TvR>wxJmD^@t#PvP=p}HIk=XN4fhzz&$-jZC0H6TmfQ8NfZ zb`_l(e`ZhxhLb;6HJC5Fjv$a z083La9E9iKk^I#R3m@mN5qVsFH@Ywq8^$*5{ZXwuNI445>l=^@=RSHK?~L=TgU6Tj zpnBk*FFV*PkDo4jY4#7;M0ERk0ZU7mmp@b2-|Ox zpT0|J>1pbP;`JgeiF6CqWbn?A&1}`+eIj(Lxh0_`%ds_+Ef(<9ei(U>t%ACgy+VwF zkEqiJkgv^Fm6ww>idN@RXN;g#uvK^k$owiKwR@E=C0O&8x1X6O^n&MG(5r{nZUB}y zq(!MS!niE;HasnQSRdYAPW+{AM6EXB4K%g@7$L;z=;KrfU&06V$_1}eoXR3tt1p6T zZEYU8cVZ_;L6~@DkRKb@6H*zo2R5{Am=E>vq@u!7S5Q?SQN?V(d>wvrlk{EfDbq{X zmLbGEsQZz2Mt|=iKQuc0(Ui8K8UVET)Oo0$Jj~e_eWJFPh-@K19dceT^ph~>CNPUY z+raj`nEn2KDF#17CxBGrPu%%yQ(C<=!mwr<#i{>jhw&Qy8s>Z4r>H89a;xbSLSv{O zM7H^Y>#5_al;8F8)Bsab4w5R=BI>l6&(E@h1qM6r#*{X~>|bTj3lw&lQXZTevgrNlxu99+ z`R;r`{xh+bJtK`V?Q@XCdedBq<8w08%9p42p*ETtPgaYA(pSYTzWtAXfX3<7`bF43D^cjX@Q`Zgd4T^;z(O!fAQYXt2>12KPAi^? z4k9{MU!FmI3sWjDH`H%BE@xj}a#uW_qx;)%XHF0!-z%*-&3@J#Yl1wJuHx#)- zkw&((W+Y1569apiLjS#*UY>#%$^RlBe?36@i~=%-U>h7F3V%*tvCi~E!`ekmp~BoKd~?YBiHF{>=2-{D{1*YMRL zxLzC>Cc)~v*u<8Q|7(8MzR=@@VUzy%I_walm_!b{uqJGUTVYn*c3NtwUw|Lv*3j12 zmJAHU8jUx(z5Q}d9S2-v22vcc$;8%$K1mGN($<8rQ*^JH@M&-Q_0D8#>b_j)8KG~7 zZbAGstYR5i{pEFo8U%tO-haf!aH;`6+YH2>#3Z5ayBs z2%=U8CnrQoQ*%S2;qhVmjMZU!4OuJ@LIjH1tD?Ev1*O#91VXR(ONlnp&C+7Z3BWyU zGP#(nLdFV$5;*oEFf&~3~(SY~-;ar-*<>>BgYDe{MfK)Mi-BH6X06aPhQ z|8Z3|c!Vw||p1w&Cw$Yv8e~6o)=i`DAR91}&pF zGu9*Ci?)kjAD(2W@^-k=RR^~~nUUV1%GHe^+uknqGKMyBtVU{yW+gWSw=z;ZK-+&i zQ&tUe-$xwL4vL|9z(KWz<3dFoF`>_7gL60jpj|C;#(%!`#m8z%e2 zVA%K^s^Rc0Q~U)*LnRrM!0ny z7F#SVyje>cS3>=SLVB?Sz=6n%O;xV(P}c0;MMIS3&aljxoY9{%b$_kSzmSkIc2h!L zDofpHiLKtyXF{!h6^!Agd@=qHH~ZrIdd# zDZq)3q`q3@>;TAhcbm&QZ2oFubWSTwHFNspxO!mjX1Zj}_HB5&tlS);t-&@R+4Y;N z$tJA%0-a9dV}Y}DoeA?{6aI5v#-~!kIfR?A4M*9wLMpMPI9qb}&|gXM#}CCrrrklB zJW&bP8fuozslvtp;180uf>l;ZI(v!#rDrtpz4!FW65AE?+PmP^z<6|tbW`Ppn;&cY zu3-mBJIExUycwu?G9ILb&=RD>S2W><{(-#GKJ&++$dN(*PcbU$%^N%_9Ow-i+Riph zmnLlOxXHrWzNAup@x+mhU}BZwQ~pq)yy=9-Nox6Et5ISPAlvtwQczG-IDqg|yg^*E z-kmnv6W*p(8BZetb`@F~tOX$nMfUCy&NxmK=t$%iixL~Zx`UkrEV*PRCi&)L@)m4@ zveFeLLKB{TT)1vvVu3Bx)4`68~CY(J2i$DMF!h1T9;kP8e;X+n)?>6!J(r*{wo(Q2FsYL zrKVK`oJz8avSbcs*DuIOnM|>usDv0gUflTT+xLm(H~DlJk|fgq5E%?^vRPo#!BCuD zRK+Q_adDtXS5v6IBs7TZc=|p2YJzk|qLT|7=PQraf3h}<9qn{r3>86LOV-_#zv4sD zej1HQkRjGKM=dml794&k<`1)l{iJ>{4EI6<+@ZY?%yQEWT4~-nlv(6NYhH1dm1ecM z%K6PuZP^l+w5Wmv1K$>?0Y9upg{B^()nmXd;>nqn zbe@$nNLYIYoWwOK6I+p_t_M+#^Pm1;|4NoiUUcw9Ge)}x5YY2&1Ce9A(plV@MG}N^ zl(TztqzkwaVTd^i8{rcF9xFon+690AfyIKWpf-N}cCS9%JW;2yf(LUgKqJ^Q)|I)T zKFVj1aOZpX9;rur1p$p5${csRyn;(^Jrw>|l$5W9b+G*Y4#}?iu;H*F*pwT<3RT7C zVpA=Hw18{UIY6q2pXaKZ#VcR3QypPvWS3#ls+Z~y<$?6Qkn<~f;6JP1?(=}MbSY4h zetVMrxTEi>syt~KguBhROvtR_P^YEuli*KjhIE9yBt>CGbz|tMQ>fCYArc6;loMg@ z7Y{=4dnU;dj9x`0Ec4;|5%vlw)zc#R+lxxgY<>-(PdV53HaGr8RQWz03+j4)-9>$B z%;V>7^0W@L9@5^y1#NmwM@>lmrG?+>dhOjM9%M9!9^1_cDum>LF6y48Iw!iGUT4|2 z(o1#0!DoY|G)Or+Tyn85)Nf%d0_ho}(M=dd55^obobPGkaTaN-B2x0LPt_YT}Lcb#ib#xl+(|X2$7>+~d`MbG= z1hH2#CB`UkVp$)A0`o$kkde@MqG6~b@yZqY!hi!oP6?9Q#%hK)=_#(?Ej^j>U~h$HWG1u@<{yPP`yStWgES=|^B`+8TAxJHp&$nl zE5)2Jy z!?8FzacK#424Gh6uZ1b%4D0WuOh3u0j-0Cu=U23ZGW`YdAa-amnh{+)1pmWugRvID@lBK> zB*7Qc`^0+&lA{cx49A3FzN5Kq%t87Z$E%IBZpYpdYYK*R|L(@!pWFL`tx@LKCo*|T z1hxV+CzRyYn;iQn=fl5_H3%10BY^i&_Tnt>xUi!~!vy^8NUHI;MzXbTZgZ>qrYtMG zh?7XYRtz5kok(b56^Ev1^MS~ed=IXS%g5Ng@@y#}Af)8U;m6yPeyBdJvffiO93-@m zJ}q+zQ`4w=qU#7|jD_#WN`%XpqTMK>!;8a=6=b9*PpxUeNXzNB#R`_(hkFX$u(N&# zZkR8m7VqgMWJoZJ47Nob=+X=pZnC)ZzdH21$xLl11+k%3-3;APiC{?Y&QId@+)oKI z9~IPqD^PF<4H5_M_mVKorK^$~PtPoE5+g5p?YB5+_q}M~LFY*RG+td#*HHcSg9f?z zD;6WV(CY8c*MInL2G}(mi;6BZepgk`%?6E5gB4G6jg6x_%jAecRRS^3FAlRHg19V;8EFuiJ%Q2l7sHT3UjTMb0;Cvxi~GmNN{79g=axT z`$MKcRLkhq{)$GLoq)^oY{z)6f(AbKf+7SZiA?yK8N<>_or=c~eFs|FO{!>Y!7rB& zbWw#!_-6bKgERch%5tiY2t!<3@6 zsF6r6{EDOxQP#OZEc-of08?W_`FrO!f}BM9)E+h@(WK>`_k^R$;3?# znci@W-}9$ zjZHiH3QObDnKLta_37#*r$;p_7!bq!%fFoIlOhQ(9(wB!(Vv>cPqzbz#Ua6UdgbF- zFp6j)tpOx3%MIsH`xxeUPwg8g$!9&+ZnqSL4`SrYZFdxfH>G0vZT+EOaUB7Iv?C@K z6GTdM2%nHnsR~ofDY}!ADn1hVC-q!KzmAjGM+~0Q8yNvE(Dvmq(FW#qU-B81vb^Hw(50u zcAj4Hduch%OQvJ;G(?u#Jb%ILkNefGhZ9ss($|U0MsI6m=fcndCI3y@E!=)6=eoP_ zFO6(1dTmmzO5Tw-a!%2ANC#RMi*1!ZD~C8w=ZQ3P?f|iqc&`v&$w$0@k>`&@wuu^F zdG&45G80B^5fNC3<~eO5`)k+Bjvi#XSo5eW8N%n)3Rg4VrVn(KN|zNsf70f9w~s9d zmX3!|GtIM>UQjwihTmmE@hA=?+XKd%rnJ#)Dq&1+)m?IFxN(_XQ z_NV$rjsTJfmi~s@`Vb@-kHHA8K|)6~VcB^po!p+CZ{haZS5CLmfsdg_MxWJWLcjl& z-t;5+PZry~)Z(Lm+*HbIGgJrS3&wrGz*|)*OdG4t3uEtxqutGecAWTv;}D9`us=!& z$0v9=Efa5Dy+dxB`L@rJSi_~rHbO`cm3x+UT>#&=Sv=|WJz@DFOn{5%X04%tI@83b z04_Wu)`0TTYZUsU1(!+3qc8v*n&inrB?#C$#p6yh(Pyx+{;!rX?@MDle)~|oy_W$f5!Vr<*egTRHXMy9J zX$O}(pEo)5HDvwO0^1zhX#~#p)o_J20TbSum^$+~BlWdehbl*}_DLcqCFLr1HHs@5 zGrb-30rO^!ZdFB3P0$`;2v}XldbhF}!5Kj#6@o_Do8#qrf{#(mk|lUdHgJDoBp0^F zoket8A`s)@I`JF7i*>9pc@{@GBQS34h=Pt5f^UL>4s|3jp4p=DSMn%~*jS9_&^aFu z%9T&w*poErw+hS6RIO%Md90MDwoi;@*+ILt@xng))R;j{0I<5j(Y?~ZXO3bt#{e_` z_g{1w@+rz@bcPgI9eS`Lc3u!){k(#p|AiUcVbHnP5jUk`@16U+R{wze3$Ugx;`znZ z2|-2>Hwn_?l;m=zaIB~Qw`@MXfjYiAuYNV{)U*A7_db6oeW!k%EJ5n0M^Lls=dfUO z-*3m);>2ovrZm*aY{av&d+iqxMv#~tRM5L~^CY^oh=r3WC{xhTZdw*?|1x4+vBu5ASlJK3LmwWl@%-;)7UKD*co3qAG6HP#3RYs3`7Fx*1xGnjMBOslZ@B%fjQ+;G1N>#hD{qH6cNxiG z833`as+cM%cFt;w^Ft(Xff?W9KG;XF!hPCnq)YvDA8KP($G0q3hlQP945rfKgV{4) z_mO>@MD1kt=#^5F7%GN3G#d0NQpO#Dna!S2ESJ5&6<( z>3fg!jg9{#+V~g20Ai7P_V53l71|r+_~l#A=d6USk4g_PCF`^%55*yfM6=x>F>OIN ze`qa|z*O6qMG!0R5>P=-N(eT3F4^k(5%16pxil)G?jEqjeFhLvUlqdRsp(K5JtV@z zZ5WB+pe5KT04JN8j|P{XX+$^^h@%K(4G9PnJ{%S@t8W3SM>O6-HGWIDgJi6VaEVBr zmr!0ImTPv??Iz2N0KWkl=A7eM)av9#w*XI|g{-D3&wUHEaN>6!L8R3v;v>rhQpfBU zWl*lZ`9!~|rn?M@DeTe{;J%m(#8LOXqg0GXFG8-FaON%=)sCBrubWSbCw zpPV&GX=q3?gvf~AvPTDRGZ5!aVP>=7b4?ob*S3wHj;cTSRPYLZq4f+g?hV6B^6<0E z1g*H=KJCM)NJ|`zXnP7%%9Zf%Xa`Z+dB8BuD~aY)M8|Xf;gG66e>13&x?HqmAbb%s zFPBSPP!1ZhQ(-QKt^RUS8yQtv2i6>01T#l5k7ddEN~F6ibRZ66y~ONYk%n=}AXMkx zXzGzH@xr$E+q?H)%92{d7P6c!mc<(&F~S+c17}K0r+hrRWu=QN*TxPs#Fl4CO-uO_ z1i#LDl5f0&rFZVrf25le>CH!;iqyl+#CBK`e&a_}Lgg!7l89z(XN#Z|+m}te z;EcXl7!D;+ON>v)iSB8>VTU^!qIPwQxH~D0@ab^j9+IV0!+)^(!7`v(!?J&{k?%`~ z1<=p#-;LJCA-CW~1)Jk};HqZ9H4o}$z;@srL{s&^9Sz%e9J(CET@E%fpH;7SILn{f zmBpp%@HO`?2k2T~Rh?~q>7?;4(JM1|rS zJ@TGh33wdYM5;{qj?`ca+rh>0D!R{#2QXObIXtSuF`V7X!h~yo54B&SgK5>q#4s@0 zFW7}^mz>ce6v+|{?0W!TNX&K?5|3h1kA@_<6^jpoQ zu?jtwn-8&vYeI=J{su}q=PRo7fK&UPQRd|CS2)*^VriKYSB%P#($#K%x^nLF3t+Wz z^W>?RswzyG!_ul^v#?$tEmgu^rSxWShVG6F@xH}0RpMQ~_zn`B?o81?+w9xu-`GoO z)pX)MNE#z1u>%P&Y)AOL!J%)JdlPu+lP<+4rjDDKi zh2;;}uXDfyMVUi_Z=hpsLlDckq6- zF;iUDN6qqt^P&ANZ~=nsZ3|;pEV6>#e%g;X0E^J4q>!jgG^OT=vdfv!i@?G~QT|sN zN^%}&Od*e@Jat{$Y1oFTccB9u6_YN*Plb zcq%JKo4)R86fu80K&7%~k~s3u5oYJ(Xw1v}!Vi6vn$#uEXUf8B2`7?(UFAOw(qaCc313!7i(#G))*-@r!4~c6mn8*xW2fpY{ z;qhp-M~Qwr)Gev79n2IopGp>2!;E%yNCKgWpIK!VNz_DQqh?8T1iky>0!`}w+aZYWbg;Zyn;B@25 z6_LzJSu0us2+cIF7a((6H>rx2bz84r9*~ahzTN5hbh#(2Hx6NuD5!731S1>tQQL?0>&DhxaOs&kU tIC;%Y`Mx84`~Q}Z8gM6&W@&}Q&d<-rheSgosVs%`zW_<5R+j(( delta 10606 zcmaiXLv)@2qjan$dDGZw(Ac(Z+qSJIwynmt&Bitw+i8r3_xt~I?&@3I+02|dvzgh= zb{_aa9(a8LF^sr|u$GKWQyFm}`2T8p(r@4Z-twQ*o+is?o94PSR&Bb;G}Fl>TAkL> z)=N&O9L{L8>|H~PKr)oZebgVsia&@`l3?I?$mkTG#%6*BSGtYU(&mJ}r7Q?q!MlQg z*?omQU>N`N^EfP?8}uqW5xC}!J^6d_?DxF!*Ykd4Qk{ftJP)b0ALUfiE zAlkm9J368d!F~?CV9?f?sB(d8;9=-AoeVAM{=WXEUZc&`T$mzZ@k2g2NSSa|7+$$J0B1cKJwlk57YWV@Na=~dF8}#>({=i}or!ho zoM+ObJMoq86p8+2Yx#6BJiyXs{a0OGIB?(A2X#{MdlV}J25fY2R@dyZ zOvE#Wq>65rN;P09o|0?#0<0KWFiIGtc=)rTiVBJ$^5_&(atGq<3jJFHzLOd!2%;&o}Wg) zPDb&Xb59(x{)$f~z-q*AGp^o40RGrsi7-1Pp{r5ab;po($9#3in03e2b;r=YXy<|F zGQ}v->x9!?d|9o8axU?uy%P7d_JT)>a?z#E)AvVN4bIb`Nj8mCo3KeXwWB#7sOg|{ zBI!N5LXWg#q9)e5nT1U*8J7>*X^bXTteFM4Ce}&atN@tzm*$poDU_ooFNPfl@}XfBz#2oh*Nrr zIGKF$ojqH_hWwc~I&z5eLC-AC$A9i6fShRg_)gxtbbnE*mFtAPHyldAClF<@?^UXN zeq;H`#r(}1isELgaN=I^U41tA7LRYoA*u5DXUXjoeM;d5siNl);6jSnM8zJ473UZ=y55Hye?8|qsl((D)RSJ25D|o=rSRZY~(Pt!nN2Yv@S#Xp0aMx zHz%Q)=~O534xyPzpvAdGmnwbI%vl`Sm4+i$&W}~vcN}}&fLw#+dCBN=QQwt~vBP*SF?Lw%4 z-oAf}+ZWi4-?*2!r64;G?+*By<2Rtjy8HNOt^IwO+spJ0NWGmim22{;qDUQ4C@P|a z=L=~VC9)z%2`YV3YDugoBz3i7oi0oczl+h7~*@T|GCT_Fp0=)SR?dKfKizyqOSgxhyVaW(c_)%ENQ) z5?R53WTSW`5cgHp*{I6br^;tgsee~@u36!2P~lCa3ZO-NQJB%_d^PFArf<4T_gv9@ zTm^qVrQRT8+T-e*(byUsKgQ|0fGTb?UkE$ejn;RYD0kdAmSb=K-Et1E#wsRk; zM^wNcYHOpn-r-Q+$;{t1vb}f<1jpw&IE}a7$G!^0o*b_`-g8X3vEbN3W?sNl?DS19 z%U3%5aA`^ISRdErh~SWPN!)6y)1T`+!}HH(=(0U4m6Q42g`;GPMIF2_3{#KGn{%o%WlV4jnUNSSr@dblv(o8 zG2gH4RaBKB%l0rny7a?EH-mlAdzu$bpE@_AZNa_$369GrD)Io=0K}3r26V?w|%h-ygIZ;M&NuehKPgq^@upKCqfb0gcl5pYAZ zdcf@FC+r$RN|HHZo;adaHzA$e$}0LC?}rBD4Yz|pd&&N^WIDDfc?e1*%h0pNo?+!j zOVrkEEoq%Nx#1O%OT^YO;;v|0LZAVa{P=l?#lAv7<}2BWF*}nc^J^I2V%tQX`D;4I z+>3qSsWIA=T}z#v)<@Ajp)12D$p;h*k^Di61HfmjMS=EV!IeP;K6}1PLG=C*lq#aj zHcgBEGfTx}>WvSA;B8^c z`u>pjU%%AIu8D$z3hK}iF}oF)ZXem98O}JM)C_E>geSj!)s$#jQ{~!3dO08;RZ{m{ z0sanqkKH>wVYAt*uxHu#pZ*R;!qOfxXIskJkXAwg$lLB4mECOtusv6yaeHcA>#+A~ zsW0Vlb1Ld;5KdsMs;0XT)_Cg(`(Q1Jm{-u@0z3NkZ^TG$uJwMFVg(lZ20q(Va35-^ z(3`EBeboW)HPCvlojhl-wmh7DpyS#~Ko=>gC%|60?xwEYN>+3dM#}p1y%&OS$siwQ z9RJmF;CvRVTEo}&P2v=Lt{}CG8)1J}4$L))fUKk7TCg@+@(+ZYA7B7( z0E#A!PFT@j7n7=ohF$gih5%Fn%e8F5U@okE4ok$`Wbn#@e11jl^Ymtw)bZ;;D;peG zN|73!8XcKEitUEH>PBlU0Oz#&?&3ILYX2pxX+F@Un>7TosUaPh;BL0@ zA_xHae_*?Jbmm*)Z4R$O@*~(LJo|X~A)C+V1N%*N>4JE^Y)@7(s=)ZD_LI}rLTJYt4(kaXx?#tQzN4|Pk8mV1$tnLE>&`NW zv^tXz+_-|0A3m0vrYpko`Yd}@V=dPMbI4a907~*wQ^8;lTTufLXa<7#LwH=dKt#eDV%=Fnq{6vGpzGIjUB zz6u{=dBCma=x{v9{fsAhmsO6(`%ASjcvzPfOuNcKXKlp{rzC)V9cnSoyec$%? zths4r%vNM*=7Dm^?Zt5$zze^#j+i877u?CGjfRp;Zo|}vZdRK!v&2~XBZZgI1z{{u zKhpGx&c-Q`8{o?|rfIA&pI|Pym=K7VHrSy|g5jCNs`x7K0a$(26d~Uk{+1Hp3xSza ziyVau4AXek5(Juwc}|1jxP%s|MMNzg11t(3WQy!gIeVevgF-%osLKdTalAojhP5U( zruKjSHS%;^8OrvStW`HtX_R}b8kBQb`)0wmT(tDf>HU5_wK2+rupIITke40g-#}LK zB&UH~)N~~d1G1$^e@;#nTTK)sII%D_PGaOC5Zv3%pXR7^{2kxK|8%X*&YLPY-ZYI9 zfEIEisla+L@`QHxyqsiMt7SlrpYP*B3xPIiZuX>UiPH;xDA#kXU_-1)tcpb}TAA~X zowsb^&L}(l<=r*F8Kwps>X1%;p3BQt=4bYawzO$G2ADT&CxpU%gnUW4{Wg@fsAiTg zJ*k1A!9q}ZEpe~~CffV_WNf#?<7gZ*^V5y(znG2Q(hM-4v1WO-eV^3}_TY74=#j1X ztTbm4HRIu@QF{;&Ee_^-i`w^9y^YbFOfYyLL(9KU+|$K73;2zBgS&e@?}%xnJw@ZS&S)J za`h@zp_YoweGKTM=8LYV-op);B1YDu6Mino{(x2}jq}y3>e3ZxMd=>$NxpBCfXm?; z$oK!N=hyNSwbj(}r!oL#qUv;e!x&s(%i@;e0OLvA;4}_%G$`C}Pjbq^?_H;ZStGt_ zVbS)1o#ud0#AoiyG-45X#{wk@K5t)v%I-Z80k5FN07GGSF&`ceysbb3M^?o-tI!NL zD(&8fD;0&uR`+-0Pkiu0t?Lx zj+F{vI#~3<#D%rMO|iouc&wSG@y_w`7G-8n=&Jm@IAgTXu&?+@?mI+=r+DTSGgd;(v(IOphl|J z)ff7+oP`A)q{|t-Wl@nB)1RYk`@vxT661}%}UPl2#x`}UZ|98DZ1LaN*9JQ+B_F zKlqaWDsI)MX61X*Y}!TpMx@u%c-FWd&Y;)hGM=g;#F$(kOA(e7m< zI=K!#Djf6)=V5%FDJASe1pXd$scb5AA^KK-27`vdTq2j^?VR~8Li90fwi)if7{1%r zVb*T(|0+VuO@& z2l$;}0K!;x3KZKZM61=&B-h|5Vt59=kkO6hs%@2K&Tc>%0O&N z$Ns3oU6}&7J3;KI9dZKJG}@tSY6iE|ck+pbZb-{-j@QPXUI~j}X&BNiQOomG)ryeT zID`!Gf{QFX$X6+axpSvqZE*P{hot|IifU1UYCajz@;Em2~@2BOJAAqjd&r5*_wxQv|F5uKY#>_H2y#)U{E-##Vizyp%saf1PRcg?v9e*bgM%cl9$Au+caWEBE#e z0@wk?tT2s?;Zc1cBGfCkq)rmsnW~+p@EdFJD>XXU57c;Z;Ygbvm-c@=JS>pcHnzMi z4wpWV>GUx`3GdPMmh&oTWAGmKVij|T-rxPmnfPUC-<^2!~LLp;=Y3? zp4a(ou3M8mNvr28bRU+51|J@R6oC~(v=5?LAu!Ih=d>edq*{E0l2SXEaocpx(z05} zI!lQJQTIiw8|MLut@ofl$voBi2-`gx;US-7z;_H#oWhnDxJr#|^kde3qAh`9NX8W` zT9iIyakT!y;f2}^uE@zhdnQ8-E=biyifI-=Lo9g#r;D!1Nd73*WN^LujjFQEawM-+ z|K>OwBui-Gt}s(r$K$g6I6Uff{fHW;Q~D`uFs&a;JwH2igCw7mls%OXD_&haZoyo& zgzyVk9=LGLMwBlbgr^FFZbDd%_?y2kRF>?#MgWR37n)^RI?E61S@ST>>o6>x3VAiz zT{spuR$H7*zsYim;URPCX0v~b$x8^CLbjuwkmean`Z!JQw|PV@1)pW-1QBZlr1?O{ z?_y3sC5RDsL_^zS1qhN;Dz6=xzN0fraAE?e7gg=YxV&=sz9pO)kNd*`MNoM_>n#~u{hG+kF&J-r8us#y{FI;%sx?}`&w6{DD{L#U3pP}x3Xfx}; zn6E6W^SWY}b+9ePaK?xhsBdqPz_1>l< zlmCN{Rz|*`K#Dznm*9l5my$h~jJEdjCtwf;^}^P8P(0FU*}F@KYAJpPcuw3j1O zC-iRS`+7cMcZ+Z$)%=uX8nS485G0R@5 z(cbj<_vyhybM=Dam$QpeBmxYdR2&)doC@ZF92uZ))brj&1-q7K$6K&(wSx&waVY@F zG7)$EFPpujB5cI0q{kZutCbwcId?Q6n2C6z7t9FesuJ+*P?4AZ#2l@fhGu-q8I!I` z5%MoA&=BpOb_S1uFJWF#M@zZf!>?=|k>e3uLOjn5?J6_Z?h#j=otuSC z|J6uYoY{~dy<)l`>MHIe-Cq{Pr@*19x~B_{6*apGCFk$1<<^SHT1uY)&9M+JNQ9>J zO+6axlk34OV*fV*v-DM;j+e)i(os>R1nVr7f2Akgr}loxzUY3>`7Amb{FbqonOo@c z5tEmqa@k;KCR>ARE6}N2Cd!<=nS$utP}(fLy;N?!r`>3zkKs^(Qq?B9j{!?v9>s(Z zIl->8migSm?Df62S$thPveDH#NiuqqLa-pYBiU&;I-e_bh#DPf6xJ4Pl$dy2Gm;%I zE9>LPn&!AXpPcL)jwUzo0X;)fNwkn0eGarOG9GooB6_7LBpkZw=spd>dQ$gdw43k!O6gq-scQM(+cf_ zgDKRnMzGNi;Qahp!U#8k2N0U2>Jqj+caqy`v#_c>%(B~f9j^@z^uvE5ALefN%VbR-PZcF{AY6{Q1M=Vr&@wo z6RU^OMdhw=d3%c1U{N?bq90Ef-=ph6@|wN2;ik>a%_IEpsPZ|3utcUs=lV(8XF~Tc zpD+?7XH4pCsLj4V&GgC&OBgj@t(>~kqugFSkblSIB%;}DOoQ^Cs7nq2&@k(xq#ZC| zdtezbkY!{5q(XU4y{TddVn};rEV@-YcqSu1<4~ZN}{MB z#1_PI&=aEZP4xm|7+oOgm;{Sm7P&G3av52_a)q|Y!jFbXt9+G)k-L1B3U<$9jbA6g zK`=98F{MM-L}AjFE0G3PCfCav14Z68tEb9E>-DBT9^XD2tdojKOd)jBdVzV%()ndt z7>j^I#c+z?Ph4~jcJ4~X=fgUu<0;Y;iJRnA{r3%`O94pVGT-xfN1F%iwWcA^gN>76 zi*Ky=uRYZJ)J@EP80R&wRY*E=I@1Mos4xSL+@m-=lkYTiv zzfnJe*6D9C6(wh>3>QUp3*1On@LfY>VIs3R6Q^UZ*wtmi6U45ASi=J5$H`~`Np9cB zbV=R+Y`F`w1F;*>4kC+yyyOZ*@eb2|S~+~2z^c{j>6$0{w*|`e`RMb15S^(S236%O zXIGw%>hr#gw$bZV^uFp{a=)VCXLK<00b*`DvI$r)a|!}sU3*a6B--nAFL~$$~7$DqAwZghKQ zm&o?f8pM|a_j<$mL|lISSQf((x!5ID$W1{tXo^hHMy`7InIzf<&$(uB*kaBAGH2+Y z)5hPlAna{hplggc;!wqTxb!9Q%O#f7`S254n}=J!dN*fgCZnoWBBax0 z^Z=?}f?oSYtk{c-r9)?&UASCc=}CR)SN@l&sR(-!`YH~?Tim53>?ImF!= zYo&E?lJJKx&T0Hmhkn4;X`dKMU|VBKTfwb7ggMq8~^yvA_n z7DD1A4O5R^%pLs0ysAf-91Vi2Wd+Lf}9&Rp7}v7A)~EDkZBKXHlc$@wI=l#U-XoVRmrb%aTFG=@i5r3#?L zZz(^DV=Qa2g;_*oAv67oY}+L1C071LlES++fIY}^Pz{yZ0Yy#mZ%<_qk{xWe11b>h zpU~R0!p&j-FE-#az*V}smJE1g;$;NW4*=%{%ekO+*;oFFrH8Zmf=b=skJf?`G5F`T z@*+PZL^+aiREe;bIlJZ8o>E##+I6mUpnNvFOnS(1;HggXbH79G%BJv#gd(#Lhdv+5x zX&2|L1BabMY8(H4af598!tKRzfGdOZN$%>4fyc>7TE)&z8M8j7C&TsnzRvaS-YtFU zB)W&?Vpt3*wzqjr|MEA5Zq(90!QnU*v46{KgeAcKirDt~%_UZ}+Ak9Kj+9ue{ZTAC z%C=JSozv=4T`(!!W%-Y|Po^={RM)P0iE3Z1+lHX^$sMylqXPE-bjP(5A{(@QQonh% z>f6h#Q_Uo#R9zl->kS84a_%o3x$S-sFASVzU`~Zqli~L>C-o~uR%hkoUI>p#XNzdo z1*8Cp!6}%3gx7ux_R}B{zZ4@u2#@_V_(hfoi!azXW(y%e;2SA|E*X5doBy7p6AbXYH1~x6ggtK_Yq-cp9W|l8c*5C|pB$ zBM5xUCd0*gTa0S1U-j3xY1kFnOWvCubT$JLkY*7UK(LNJU~h-M*(0gG3@A1(%f7p9 zUXOh0>2~pGy-4|gu!*9{s(8Iyl1et^y^`}>oR{t*sI`jB?uo%-%Vj$PBOXRQr_h+C zmr-vdmBB9kNx%g;D4Uzf zkl=+GC>*SsfH&vv2^1t_fXfgxH3=9aK0-P&3t?yZK~fi?Cf`NWetbH4uvF^2BRJ1Y zV-4GhUj0RCAAW6g#Mz3Q*vE0J0RbLQV{v17hOcf~o)l3w0kqw4@IAtxICY1uvQYy% z{vx(jjQHA^@o{L}8+~XnFDTbjxOISPhS1|62INDMkuw5Uzs&wyT}{6fhjoCjd-kBT zC@=sNB08jM{$S5AxZNmi=ou@;JAxuvY+QiZI+Y}=DZDee%m^*z%q(KT|+M4bY zhgg}6qo?6>F><51G8P6RZZVKD7&Wju;GM(<6DOx$ZtaTvjy0MR?Cd(GW35OMGuW~_ z@zOO`bmP6nzr{pQb0OH0uLXG;w$q4|lLJ-;lQX|}8;HbSIGn1BE&84Ku6X`7bK2?r z035LbUQ$j{Yw$Y^8=x_U)_$i6;2$(kDQM=GIE~E z!%G&I9%morg#0gk#6zK|S}rS@80UV>(4J+7+#OPh_5VnE9WvcB&>iJu!ZQ(53s_>R z$&Vz-8pA3>7LQy@@X1+dwdiMYWyyZ(7?wMg=8LH29qYqz+%T6ch-7<-th`w&4mzda7-|Kq{m@o>Cl!ZZy-S?yg4>*dcBl4O6N*hdiIl<)Pm)l!Pff*rf z{+aOtL3w4t(!;;s{+bM6n7E+^3MnR$o&HE~E&v$yqIUBkO7k6hpD689kgz-Ns}uocCfyroT{^^d-bkj4`Lh6Bk0<1Q83stlbE{mdedA&rq%u$ zqr`WnX$B)}Y2n~yIUTEn>W(PhjvF-M5A|)J9`O>65K?W-F)Q*$)~RK$h*!PGl#%HO z4gp|SJAt^241^z$;d_g6h(wZ_jv-Mh|M|Chb0-(~ARTu`o;A{1QZt5eet10Yc6mJt zfx(Gl6&ygCDxFG&xk|SJN+Fz!B)De0`n!u4*+DqUwkvtb)XTJ1Fmn=HasD6uKO&8! zjUJ{kZ1y*kyVEZ$nW{q$Y&2$fS>DwwbHF3L{*EB2mR5I|d%JF=^?JqBSc-Y6P+i_1 z!FBdivl;98$X~I`9WRp<`Y`E@Yuz1;h7TRGq&|rpPo?_g-Gy@^4!oxW|_ zuu;AqJvrg0gwsb3_K~wv%Cw>Ft$9vxFGJO)bWxT|hiWhRi~d^Q+BX>7O{c`2CF$nI zl-ITdxcP-=HtrX4ae)sy#C)w+2yt>G1HtH}*{B?Q#6K$HBtQ)3fmGgD?}b`Db`W^+ysCU!GZCJr-W788C1-v29-JfMIM&%}c8^QV}C HIKuw``)OOB diff --git a/survey.pdf b/survey.pdf index 494e6645008ec95530ca850abec5a816e3526dda..6ff368c97861f6b1f1f3286ded3cf4a1b002ffac 100644 GIT binary patch delta 29 ecmcbqc2jMF1-q$%rKzQn$wYfm7;|IvKOq2x#|XLr delta 29 ecmcbqc2jMF1-prXrKz!@=|p=`7;|IvKOq2x4hXCO