From 36a45abb822f03a4115c0b493255568e84adf21d Mon Sep 17 00:00:00 2001 From: Manos Katsomallos Date: Fri, 7 Jan 2022 06:17:18 +0100 Subject: [PATCH] Regular --- code/lib/lmdk_bgt.py | 6 +++--- graphics/problem/lmdk-risk.pdf | Bin 23351 -> 23351 bytes graphics/problem/lmdk-skip.pdf | Bin 21014 -> 21024 bytes graphics/problem/lmdk-tpl.pdf | Bin 11712 -> 11725 bytes graphics/problem/lmdk-uniform.pdf | Bin 24390 -> 24401 bytes 5 files changed, 3 insertions(+), 3 deletions(-) diff --git a/code/lib/lmdk_bgt.py b/code/lib/lmdk_bgt.py index 66f575f..9be736e 100644 --- a/code/lib/lmdk_bgt.py +++ b/code/lib/lmdk_bgt.py @@ -146,7 +146,7 @@ def exponential(seq, lmdks, epsilon): # Otherwise bgts = np.zeros([len(seq)]) if len(seq) != len(lmdks): - # Find worst case regural point + # Find worst case regular point p_sel = 0 for p in seq: if not np.any(lmdks[:] == p): @@ -190,7 +190,7 @@ def linear_zero(seq, lmdks, epsilon): bgts - The privacy budget allocation. ''' bgts = np.zeros([len(seq)]) - # Find worst case regural point + # Find worst case regular point p_sel = 0 for p in seq: if not np.any(lmdks[:] == p): @@ -227,7 +227,7 @@ def linear(seq, lmdks, epsilon): # Fallback to uniform if zero or max landmarks if len(lmdks) == 0 or len(lmdks) == len(seq): return uniform(seq, lmdks, epsilon) - # Find worst case regural point + # Find worst case regular point p_sel = 0 for p in seq: if not np.any(lmdks[:] == p): diff --git a/graphics/problem/lmdk-risk.pdf b/graphics/problem/lmdk-risk.pdf index 056534747d9f99c493b647c95a797f1b42939ef8..bc5be699704d8a0237aa7913f0766295efcc4a99 100644 GIT binary patch delta 2864 zcmV-03(xeowgI=c0k8&5e@7I zI#jH{?V$Sth1jk@z!nH)y-B2X36vucBha>&BM@VLwwLeXq#)+EeH-EAcaCQrci)XG6C)HSpjJG1OhQnMAt{6ZQT~Aj_xP$x*Wgwfk^K-&4#sbypw@#L_s9 zC!TPbvl=O6q(#!@3f!3BwAoy42h(=c=Ipe_`%jFeuh7MXZx{1h(-p{G6D^EEwu#vB z#kVSzj=kI2e>r`GD{#~1a0Px6?4N7VdHwId>kCVd<;=V1#}VcUOXgiSFBh{}Pd`{z zr2BGAu?UNK!BhtPaDo-pfN~#Lnc=+0WCdQY?VR!l%zK5XI5TGW6JaokxWIOU@%~; zim(qhe?kthOOxM-rlimPf<`7|-yr!4cdrj3tCAANsBnTRFklu%d1>y_im4tht&&tB zRmTnxbE}L`0Zt}`z=aBu@oPO8RY^rXm-Zvsf(>F+C8=7~W>gy!TMm~TXFeHKpn@&& zXCHY##MtP_sPJv3z&WGB=x|lm7!ig)+u_8*fBf>u`|q}+j8Sdk9E_@Dh517-EuoO@ z`50yo)qZq@yG!Uo*{%_s7~Ykb7J1j@48U5xWSyvh;oUBvpuhkjo}|(!W$`Yhtazyu zVCZ!}o|vWj8!nEN&aC|vh~1I*II`~Y`7jSq`Td5`*7INJ4N3#t-zd`I_9%3Te~%Is z33}NH+9y&>LE4l5P#1s0bnC|LxE86X-q5kO#XKR$YO@-^-Vl6`XBpTYLBjYbAHVXH zv}2Rh@{td=zF$?Z&8?uqN=-AYprU$OhZR(+^?`CLs8n5+k%d!`F#BNt450#=lt`Yw zG_Q7MQ-c^%58V*j7&nAAMurez_6Tr82=tQ=!wn%|JnvC`(AD|Q%^Z+aA~Y5GtPIYlaY4 z{)uGjVg=W?Ayj|Z_bP2eh`VX0x`Hx_qBzH`>emu~&!+X6A%qPtL&`0og8bvLvu^>9 zXJ=CrF6FR<40BjQ`x#k6fTi`w5-PZ(V27yM&e@o-go?El+m;aKch8LhEFDFb5T+Zx zerg=tP3_s15ck`?^QrfKbW3Ps+!DfPl)4s{5LaSnP85IZ#Nvj~hHIQz$4KULKRt6B zLO@8HazhB;V5YTMLOg+YKW6_yACs4@Sjv@xDT`>WMmz-=z)CFb^m&%nlzCUWbs8&d z*I`B)jI+|zPJls`r3C?&AFx_0xY8_-)iB?}Bw2neKM%xhDJyV=mp06`(5*Z^Fm#fe z0~w#G=1_m;Zg0G#WEV`B>{#3cgT{}E9`58#ieR-Zo$g4C>9L!N^3|4h$Ndy%K9fQ=L zQP+?4e<&^9#~u;p+jo(8D$fAE>-SHR#*xh%Wx}+XB(qRFmpC7>t35RjUSaM`J~j+! zV+1DU%$Y9VG7uo?rC@#|t(BJy=jZ{lRL}bZ(O6?>W2(B5`8z3nd3f~E(yaiaMr6rO z5Z8Yk@pBx|;@59HLb}d1vKp%HtU&i%=epZY+A7Vk-MleYJ%ZOi77KxO*(;M+tIAfD zUUb2xsxepT>SFEi8g94XFEC_>-KvuS1G6(wiY`5dU~a92o4)ztV)w~_S!R{Rlaj7e zm2PQ_kXbrQ-L9fl<&$Hqly;a6%-~*>@@s!rq29#IV&MhlRunWeN*@{|k`cxa%@5(U z>~`7Q*SBbwO&NJ%bS+p4b=YOo>WuG4p11%(yKI^n6K2``uxqe*A9l@kqV~|IW!isY zEGt@8*|g;ft1N=GI_!)j9=u?dFn#&wx=mv!hEAB%CY#fI@S!FnlJ{X_8sZq|{E>eH zhxc?#DG8hGz(8?O5Be~L5IC;SX)Ga!sUH>@B4Tr!TXR^XISevHAng*Ro|uwsVUW#f zc^&&3cFiwFF^v`47&mAJnJ|Yz7H=?9D8AvwQjEf^sTidjWHFI2$b6<|kC70^3!GB% zh5nVxVT}c$OOW4eZ&7UsQ7j@t)YV5ar7*X{a_f5c0draHzN4AER5U5-y6) zNY@AAVeF--n0mdF@m3hh2Y6fLGcf4HWS_{E@<9^~WAL1Xq0T_J+U7~s=Cpt0Q06Ja zyjwXGbx`W=`<4i4TP$R;zEmG3K}b<21F6q(Qvh{@p5%AG8Um~igX1tCs#=LK$9#Wa zpyL2`vxu)`Qn%S=QinLsY}Zprt6_IvByIP^TpnZQ!|u9LWRny}q8TV9c0A2B3k;JP zvYZU0WimY>KYw7fKf=-d~~4{2v6t7R>VxE#{qrj zX6~|O4HDdot`0+q0r4z!mMzqaMUz#dM&9YtAYPN`qDO760 z8+OZnV>*=zzSJ_MVXtxw*^~(tTIaG`b|GBun2AUsJ-MO_2pkyQMTSYM6WE(F#Adb=riuuiX)%EP_9@Scfz?_%)Z4QYs`^@d z6V)yA3$kF3$yx~A)p$?$epT25ej9h_kdCzVu1yHn!^pq#b3EbJ!QdTSz)iDYz*5Ba z_;i0>2Tz6b>j#S!*ByW6ul3yJ`gF5eJWG3HT;A5F+Rm9C)DKid{^MuAF_EZ^&v(mS zWv2FeQBrS~ExK#6(B^@;b&E4HwegI6d3!`CEYi4soJwP086do|NZ;FzH)oC zdY(kBd!F{szyFulKmT(5r|bU*EIz=d3T19&b98cLVQmU!Ze+6%Sfc?BGB7bPH!wCa OGB7bKFfp^iS#|+XM1jEo delta 2869 zcmV-53(EAjwgI=c0k8&5e^m={fJFncm@+Grry6bT*L35%qBZ?+Zun^cIURxpV}&w$i%qWW2Y!jBz&H1IW+oqe|kQ!LdLP@k)u26 zx##n35n6j9srN@XJ)gAGBIHAPQnzTM{sLG(k<)X-?({Uwc6tKg{7)1a0n6!$aY*x% z)AM11<12igm|5S+5pPk$yrgn@Zj8G;H^$0N=VJPsxjfmUX&fF;P_(D*@&tU>aB*@N z%%I;cPtdp=UQvu(fA)o3o`BQo@x)ZS8FB2;q!KdQ^@Jx(@ah97gi)mhtCt^Ud(p;JTcKc!YlwO@{WQU?RKz<+xH2V zC;Lz-_T(O8dX$dme*ztKnO!PW+c+B&+$(#m z*`1ybZ=*bc0W3R2PEWS~$`)6o)02D2U5h*?x!4T=IX(Aobf@RWxYHA_eLk`!xD0oR zXRuJ3pp^*@xW;*PjC`KlPIuZqPav3P8a_{aB%8Eh0|I8CowNU-k8!Y)EQlE#4B`Ce zByC{A9T&fHf6VpQSN(IXQLO*{cU@xXvDA5Y06D@OV#%EB=Imlp>*)^53V2_RDHdok zXIODI?!K_1Qc&&+D>Hof*x>@N*Y;8Q1Lnj+aGVJ}@^Sfa!VBiZ72=B7gd6Q+whRgX zB*3Q!tlY!mYS|*j8{;cfaL;u972__h>s20W`W{}de}XHbbw5<#IOIZ$qZfGmk>!(> zWweNakVlr627@W+bkrnNp~!8xQ@Xwnj2I=~P~=9!Cd4p&R1*Rt2ZbP8|B+R`hDlp~o6LcwmpSQTg=?1vm+ zmqNc0e@(fc`vr|h(7r+P74BXiL{>p1j8Rbq6=J|Fiqg~EvlUZ4JX!tljwwQx7w~|z}YHMyA6I%{<9cM6(>qLc~#-Dwp{}5xN zqvnQhGZW4=H;fK9W=$qx`24cVEX?naX#lySe@t`R#5pv#k`?U_URA(wKjIRB*+aD- z9Z~O+hWSFW-6l9OyfQH@0Ixe5fVF(d8d3qnD_%gs@&!UXNflBGl#e?H{3eFZ_v49K zs=wjlNTsaDS3>aHII^zv`7jSqY5s=M*7INJ4ax@G-zd^>_9%3he~%J{df5=#CsIs% zf7nwM#%Qr$5!CW;h@96RMUdM@`C~z}*z%-Nh_gOmDJna3tZgxe$g$ci3a~c>-{Z*! zwnvaRKFY_hJTvXsB(;2`g{|+`Y_eHqLSezC8D>IJS*^oNDAn3QxtUO^?###pD9D@r zFpNtXAMWh}wICf?)j*g!Af2NW%N;Nqf1#9WzmScvVYd+svu%XJO!S>pjc+(C8v(;& z9MWur0-BV_p}sV)b|zJW80>5uR>H=(m9R0g5&*MRfLjTmpX;SE6M*sbN3}y&13b3@ zKvId&FcXS(l8Q&@WC$w(AO^V2gi=)TI;3A2suSgAf+4n<01DnC5Z@bNW&%lkf7fj$ z0Aa(Hl~6p@*Q^At{1Z9V#p(8 zaE&wT7|DF@r)O?E0SIYRZYSUyOt>~XfhX|p$Lv4oWAd^U%e+!dWf85_2&(`CSox)$ zuFuk%67Wj5hGT_YJBr2zd#^Ng6<};-X+ePH4y@J@t~5($HO#j#NsbCuf1wBBw#*fH z#7i4?Ik;Pud|>D+H$O5yQ_Zi;-QIXt$?lmj=dm>7*3kGd(Zj2}NfE5JrPC{kF+Fx+ zQ7+rk?(oMr^ReV^kOEtGD4o92%V*%leV{q`1KG+p1mfXN0LYkiQR@x7KU>Id)Oy(` zhiR|F1|?Z*Yyxdk$5W40KV(jP?E+WC%4!6!$2v?EF#Y( z&PNDqPt9Xkm^*Wj4FlR3fk`>@smsL-1W0-*rr$_wr6*SSV=L)Fz4=$`9bciTx@r5U!HH^z!c z@D|8oA+Rpji?X6!G?jYMJ)5fjT&1g-wZm(;-D1GNkR5g_QUVOj&Oj;1^caFEwib2z z=8KD6D+6YkRTfrCf4Wswx@9v$X6Y<-yOCCvR*tb!+F>>@gL_ftuic1x6EllN8I)pC z(AOw^XpqQB7(X;WMAfp}Wpm%+qFpv+~Gj@zZk_dR%m0~pc!Ps90pmu!Azm}h8s&U3bUqSlx~p4 zM8Y8RnVLODe?lBDa7x7&`d2Q8H5P;}LE3XESXspKc8iK7|9J&Mm7W1I5{>ZNQiken zUhPu7E6Y9AXBT=ALM4?qlS!zidcBkJRv5|$e|TE}G%#q$WS_{E`9Tv6WAN04 zp$0*>y5~vN=CqWG%~OVXw{j@zpw!*>Wf9W0=;*_zRv+dhk!EGGkLnM_XzP6w);x z-75vcv-+_WF_SsW{Pmfexy#Nq$a60Wl0k_9@$3?GwumnlO;(L^JOHcu4NBZ`g>+51 znBvVf%XVk0*&;HV7y2f;AO-A}{l;`E6?~~Be@w$(jU;x}k>q)J_)r(JZz+5vXQ2}>CAKv+J&Vi7nnx{?f&RwuAGC5p{#CrpJAIwL`V z{SqqAi-FZTJJj2g6sp==d=u3zTm@OM$7G#^?rOZJd)q4P0l$tWr-v# zOb_$~DxyL0v)`D=*T(0&C9yJLd%Y;BMavf56(RUCJ}|c~b4J28o{=waj|h1O{ml6N z+jNn!J!=E7)H?p(zyIqiw@0hzxzxJu5^4YZ`+s@;^Dozby8eGt`NCMU0$8yD4lyw> TF*z|ZH8(LaD=;#%!C7_zsPTaw diff --git a/graphics/problem/lmdk-skip.pdf b/graphics/problem/lmdk-skip.pdf index d74c8f1323fbc79d22f9c2c9f6459f8663638747..91405d19d9444fe55b0187b9f4a8b065f9cf4231 100644 GIT binary patch delta 758 zcmbQXgmJ+V#toG|^--DXPj=TXj6VMMd~hRYy1~67p4UQZcRhan5b4)_89e8{iSj<5 zIDg|ZA<@D!nE@}V4itKuT@(JCd2Z#cbE}J;{H%6X%{x)%JEK*m*eg*^Yud!gtdYxN zRSIrPcUj2YQ0{B96m(apxjogo+TvRJ2BkjBnJQZ+C|l_XA9L!HxLL2Ie&C0gX_gI> z5&JRcKK8{ElwX);T1T7^GG2-ZH`mT41o$n3)2 z1lQ!Q3CeETNAsp{OZZYbcfn%CIKeU&)@jWxf6O?EUaV4W8q|O+3bzCuExn# zJbCf!U_!wbXWdU66-&}zOk6YNIj1dCV$|el?StKNl{OOnHjh>>b<_Ezv}y(0THBWT z&PyDkRW=3PUtdYE$}?`i>Hk4+{*-rLUMNSFR2GFj3VAH^PVz5%tw^m4WAwW`gI_a3 z7awWvXUM<3c)7uuckik`7(V|v^)aJsn~jmbw3+$5!UwgvhMq?J*@w_M`T*ykBaRY+*agQ4?^{Tnk`Cb-lagRIS({4zJMR1xcXpuw$zZeZ z24Nl^ch0I)dxEOK+_uF?7EUWNKDeBd&V8JqYEG!(!!)Arppqt-cV3AK#!>kaYCwq+li>6f%Xij=H$UHMO4wl zWga3Usu&c5kP%S@CFBlzMD<`iqIxijr~>Y_oro$B+5_>3D#$s^a3O1^DFZ>_QuHI) zu8u`iLEmag9D1agf1_eI%B5zOwMSGj+F{-y15T-W^h+^SL%brYnppub5Z?!3aa9u7 zqpBA{F1U!Q=A<)U9#!R>n-kjw4qG9Ls-oMCq_>0&jI*5WA5fwk%gQJ>#`%5GK=rsP znSC^mtKx;M>m)s_nzQQ)g;fa`b5ym|g}Gi4S3S=ttO}U(e`9e~z^)1uSAAkkIzVjs zUbY8TF}%DE2C!TgyG1Zf+eh)xDtW2(6IunLEh%m89R)XfX!T$`w2IGaM<_z8*=~UK zhcHzdqGGEDZn0V&qv$HxDb*8Q1p;LiPk0rLMDkhE`ZFb?(SOiK(bb%X?UNqq)nr5- zQS6uq{KZ?2f4Tnpsef1Tuyl6?cOuXf7>m56q*4POR^vq$2xCR$E#W*IEa3A94-b0a zjm4sHSx^MtSgL`sied-bt0gd4;4Kgl6FV4-kK`#?ZBe!8Rs`Ox<0tTT#%iDVF?L!) zzv#ih+kd(Kf9G_?rV3?lWOHhFFfcGMAZ{QE aFfcGMFfuSUHIvCvP6;qL3MC~)Peux=IZd(v diff --git a/graphics/problem/lmdk-tpl.pdf b/graphics/problem/lmdk-tpl.pdf index 2949df936e09be74a5729000583cbe57f7b5b056..79b716ddd90fa4a1b5505e8a8beb55aad5c7f76f 100644 GIT binary patch delta 10490 zcmVQ)EkAMHa*ZsI3t=^AR%j3WP z?eQBK_v3&6(<43p-z5I$eB(c^|MSm}`*}b9^$Pdne?9(lwt#8oarW)?`2C}=|M(Bk8TBwV6z4~3eZ(@m73W{)cT#Uo ze=Qm!H)uTc=N;w?xjb`gi*fOha(BFwpE2T{@C>br!H+D)@7L#df7=%H$Ai|UF!$LP zXV}p7@a!?K!5T^5SYtQFGv4WOIVartS?{q1FWmiEFt~p2(cX2w5Mn0lYTD zwY@kth~X|0(FV$8TH`30uf_2$+4~<|#&CYq!uyEMPUd)Mw$Hxix<_=;l@|5&82K5> zG^KJs!x&(cXz_rFO&{7jrxo*(aD&WF{xZJN9)w7lNSx9 z&(FN}1NnbB=D(8+Lu5?+R?!rhYI=bVA(5T~HAPLMps~nVH?^5ZUF3W`K6B{%@6+^K z=i6vy+|SWu%(RDVGEz_ccFOqk-DTR4Xpysf>}PM!!N$e-+Kl{cVTv_Xo1=u!xjgzD zi9}g2Q(kBgY)k`8lqp=l1Iat4-4~LV`hNGgAEN(H1Vv*#b}x=?a4tMq6$SX!5@ZG9WyI=c}R%97I)!U#kuc_YCG_CEaLwBR+RKE_!n(EH+ zsosC8Y}I|TOSOHr?b1S;cRbn5T;ssZ(3Vwpb94|QLca4ST3Y*_AJxAY`U=TP{tnWE-U9xd>wl7`8mmKOa&zd>)H|@T3b1G*l=(_}sWP+W~CW{R4p`_g%YdN-%;I#WGQBBxi9*~A!9Gr6LZexc&UXLIO@|K=p#j@GmKLi1;K6_ z>4H}edYXKcRC9?5&f&~+Mz)z3xTb%i38)=3N-ccQ=wSc z2k8{E$)#mudqjj+lPr|V{1oUrTi@x+jDuC>yMOyrv0@DAIr7dGW@zgiTSb4SwLde~ zJP-9#kvH10ex3_f-iruVeoSdwL?9;Z!xj-JFNU!e5$Io`jx8da;r@MbYz4q4D5S^z zF4S5?OzgdgtbTbDA3et+@?9GrX+WA2E(Oid0cA}u#XLuhuY)mtkvQv}56*R@52?~q z{lHi+#i20g2TsDjm%Y|vq7;9KdXBFz&g^BH@e1P>@5TC>_re(ni)MS`z;l9ANBFs& zzcZ4FeNOsznxHY<0%trM`?k1rSM_OGV47)Otw$V_f=xQlH{*1=b;mI&7P&<;!4#W5 z;U>5lZXJu`dFT8@YdelvQf(8I+=mHTzuW@f`%MGgf%>{6-M*4qyo6FU&$-!EY zkMV^rQm8+2v~GXR?#+}ghrC&ngPwQAHX)Of<+c&q%oTWMQ_tE(BR@rln}`F@rUnb{b>fB^Nv z@}y-JLNK8yS{)%I7BYWd;m{ApylV|a&&PV;qHd}lK=1;cH?HiBy?tq1Frsu*g>=+v zg>@O^oCTNGyA=6Gveii(4FFM_*|W}f$HEofNa zcF%kXOm|!Ph@P19CAiDYQV#xruQsmkP#;GKK}Xe?R&z}uw1a<+&vDnwUJ)zMOxZ-{ zIsmW2Z-k;$x@NPRdnmfX+6Xa;(SU)mLQfD%IQ?Q@<7mednWG0f#ZFoX3=At?rgQX> z>rs#o`#z)o)Uuf{vSzlLsEcDxDVd zMh3qQP9l8pMNSTHjAn~jlA%pm74b360i#$xl8HY};afIN(bR6qz=KK%0(8wv@M@E- z&R4jI!A0f5Mw?(8WMvQ{#k^>|&`olGV$3Kq$_>KmQ=flk-s~fTuXN1=b8;H_5R?i` zv)^>Yq`TZWg1iB3p)*HdWQvZ=Z!njb{gN?3pFyYs{os^xdfsb$xv9Nju!DKIRxJJK zOId?~>0AL|8go7u`7|u8cp=O`bOpm$5GI`!`ywq}Bph_N=d+?zgxO!lkfu7n7;V}Y zhM15bCj);DO={xAr7YJ!%crC_@_BjC1tVg

kgSsh@vnOA!`tS&BS7fJLZq+R|Mm7BcWn zN2VpOgEJjc@79DI>GZAoNC>7at?Q5@TfRIR(Kabm=^2Iq88S35uagO=o zoTOlPv>9L?7NF&eGy8h@;yfn>aYOUP8R=EtzBmI5VoqaQ7BltcC)^irhP%ndF-M9| zP)dJuv`ebxi%stBi&w|IiI1*Bi{I7p?u*e?+Pd)8sV%@H452Lf$k?JdHa9YC-qGbW z_(a&Q_>Faho$Et8^Z54dzcXXt4%ZnbJHrONAT&KPh7vj-+yh?Xj9$)+q0DTm92rAN zLS1~o%WS$F8N-aX^a&sE&G4~U92>1Nn~r}+#;~MX18#C318)8D@qX_&hx=0%@1tF2 z8cZJpSTEr3n^W0A(8(ao1TrdaK^{Pd0Zs-Y$OUcA=@RAP={>7xCRdOlOS@s&AUqzL zU?ejwDFZ6NM?+JD2*>;)rxKjetDw1mf;Dlvt4${ck1yw3^lk8(#gPhl&)Ot-QJjB{ z;8AiRK4&B!@Wf63zasrLBx{u{VWz@68JKiY!sSf_1RwGINJ!Wolb1%S4u*qB0j9I) z)s@AGW*JF1DwKh3AuzfzOkeZ63d?WKCCKH2fcy>gyK4X^Xj@3D9z{2wT$8%Oh`Cu% zfv+k8Ys_QVvpdUlq%LR3x?Tq-+suDUgwhzqrNnOtQ;y80CDx3mE<=2w;l@S85#co^ z3p2*B-3JH5s_cL*TpW2~f%_{l5i(tJtXW`ke#{e0Ei}vd3vh4R`LD<3M2;Noi3pY= zBM8RO57=I+CaN+Std$AlGVGO`u?~B8_eH`DM4ZPI_%XGDjf z>1Y5!j&acH$jdpG0hux%k41oA@gtUf!i+Q#m?Sw39?JNOQAJQeFpRb!2grt*Qyp@Xz=Ny&IGji_bj;@re){=n>#<<>I3M-5FPRNQnM;_Q zA~XO-?R~qv)@{3UImPzwCP53sWeXQ&z1!PIhGCp8#t?SB#B|#C&W)qW0)ItKM9$>( zjl>n^bx5I&<1Ho2V6K0oBdUve9bFa2ba6D{+S(tXKCeTJJp>Z-eMo4NJsX^@%gF+vISF-sRl_``_l%1@PR*P;Axn{PJ$Krp~+c$43XFh1#`RH6! zoI&Hq<^o#aD!ZnGGZ1o=^ud7!LElMG2zH3e3|4Cl=MFkp-06cpun>=`O(SGOxw2~x zAuGX0=UZ~dMOu;1Y+>3B)Fl&Jam>)Z7@%ipyIQV)Q+3hY=y3RQv35uAvt;9BOlKJ0 zIP)`%iThmoqG5j>>_>0h**yBut09>FL|IT1rVPwc;MG9?D4DaCAU$#)@;l>jNcHa8 z)v^%w*BskssDL=Lw<^a1^fTh5vxOYfIBKIcB->#rsu%!60fM%OHXWHxybexaI{$TW zZozM0Xlf6WBPkV~S}gi(CYlSKAUo4YRW2eF+7g*qE#cq6G?Nt*~D70(WIY14p8#<=Vau_6PGFG|jlf8(&9 zMKBX+S}8UIYGTh)w_FGD+KZjL#{zmljt%wK8>Io`2*$wC7+buCzGvICfRjY$@7uQV zgR~Pg_ppEEF#l46Vzna0XrHqH?ecyyTbNHHnfc;F3`?i!&*hFEsP(YAce{LvF=pa= z8H+ir+bVXR%B~QBI+Yb;L5pTwKEX3*6(NS}=*oY4XQ_ahh^R~?GvA#GI5=>km8pu- zM@0LegTahQ=jMlzZnvoYra2!f((&82Xz*R6DfhygDeAD`e%kw#G+2erBqJ79Fd(5a z48CB+E~tI$k@PJRsdz=QP`c$Tl!;-tB|@kR1S6SygRePhZSibQ=SDXhO>zeDP8UBa zV5)y|jeSv0l?N6sndleyH++I4$% zjGT+gP%z(Uxu8{y)o8&|pBBf?^_%Lnxdnf<8Z8I`d#SJEkwIL9O*Bmt1S|N+t%($q zn;H=U6t7&AGHNdn-9fkH2(@Wo0~C~F$0T$2s;NTbPQtOd@le@~sH7I=3k_gMLb7}q zD@VkBgYx0K`=|=hPO8BIV`QP^2-i+pSum2#N2xQ;505Uvz&(Ye!uB$N+zO z(KBhn{2_2O`fT@yRms-Ir#NJu5Vb;W3k6cWxlK&Nqu{QpC!UiIMk_F}x+%>wmhjG= zV70G7{}QjN{h%|qlQrm!>%@_J?A-R?OZk+na8&^98x=t_2}nq`YFStg?6n$h#x-o| zW36F89@{vch--nuG>3xkD8OOb$Yp;zFR>ZM&<<}}7-xR^Tl(M>2m&EpkPBW6kE&|Q zDlqwhqwM?ZakS&C#UT{$o+NQQ`NlvtdY`>ueuO(2|#$)iAWD zUZ~p9F52+`trrSm>rF4emArq7ncI??32 zhh`-MKC5L#h%=a8Vc?T6fQUdQDI|gU$V{{iUKCNXr)Qj#!?JLTa{$-fM=q4DJeF}z zB0U;Ij%q+mwW4)~I*=*bo+ri#E1t>5rC<6s2H;yPS6>H<@e@cb=0ZO}%l&mup4S_P zo(D4#^`-JwgyGq{xEOyh1h4#MoIPo;#tJ!D=dCEWXqv#>qE;(ptJ`E*e|Oq&q`7~w z)wDV6Tp9w5>>&)AdKYO#o6a^_ou>byDbYNOHXYC&fgd>kk!_$IL8sfr?2F^*`l*^r zs~6_&y}jGi7wfQ2V5=5KK?H17Z9t4s3y= zqIv_iYQ624l7KDHEJawrR;{){XTVm)wtL;cRz;C_e*?B^ErzW7BUX~_z!od_9|y2y zj0J3=1uRH=v2(@(woVQM<67+egn+GD^Y%0Xw!n&U16vT?VJUcIbWH_o4hW(1Z80v= zci+Gk)Wt361#EwTbL#{PA}J_b@rLXObd9#-H*6G#{LJdB&BPxVj%_WDu&pT=CUZ`^ zE0{H&n5iq%o|54vdLnA)$FQx+A|cBo6mb-*>vS=)*ARX(PGqYGVU&?6lVwffrd_Z#iKl3N9Fw@!HJP%Y&5ClNBmYJBgZqIl z{j{^%O&Tn|E}MciaMD8#G8;zAR z*PH#AVC#{#c1f9_p=&`)q8pH^o4C{tc=UkhW1qXgTR?~~~`;}6m_ws)i=jW142pr%!pmE?fG5;kA_Xjel z3NrE7$E7z=2FV;kEkMedFR-jrBwo0Qm-yc!tB64%Fq{UX3P*fFWfUmUhaXCYSAymn zg&ENzd4Bx0=_sfcG$aRfi{kb90g^YN;1>lzW}jF;TqrOWg_Mn->>!3SUerRMD#iIa zINE<0d*{GwLr<7;NwDEX25UfV=1Y~xjFX*b!?r7l%j%K}UB>a_c<`=)K!X4SK{2#}tix&3AEojqbW#m8 z++#|}zAt{n&MDwT%#cR0)TY!-szxY@G)JUc(zG}T{@TTXc8<1CKy#EBy^&-cZBcUa zdgEyRVj^lc1&zS*{8INqS{xVyvSoheZltLnMdjB0j94EmP866N<`iT_wX2&X!a{#l zjV?}LboIq%5p5es9lQw}`$HHybrA9KL8difox>CBvM5?9(3n`+BGAlaCn+@AJor(x zL&8ZI&)&c3M^KfbF#u|{ zxA_nDpV-x^p4@SfFLo7clyR(!L&~XH(b!?0 zq3Yap{6!q)-pNpLyiLE!BT9ckp9#`&6FQcZYmzat$(Go+LH|M$8uoBNf5%z#CPx5R z?ph;I1jHU=f|*mY=`z`*;R1>_Z6W2{m;=viT8`NPu}V4~(E)x=D}LX4W@p@9yYH}l zV5Cbq*y@Vy@u@zlv}*t4a8Y#-K1+m97%4PgqXo?4JVockH8X8V7k_^omfY;o^@!q9 z&iOmAF8{Woq z>gIeM9Lp^*OkH7$R_Q)$_OIjuWm#R$i^?1~AsA0CAQspCm0XOKH)S1%M73Uz+jR{U zydS=8c>d;3RMux$a&eKN^_VK&(hH8XJ>%KM z&=#?07elosM|N>=%%x&NMwW&g=>=|F>N~z3+7Msa#n377BfEe_<$Pop!-EjZF5D(} zcCk1syBOJWrJY?2;o2*^z_nEDpt6fauIyrQEW3bB-SNmShHk+*vWpQcA+hXYU@nC=-1?wod)ZXYzv@{pXNKs`f|5g zg2h=5Hs68J?lGQ=wIXW1mhvY@!s)cv&4L##@13G$TCJHgq?age@aSGV@@>!%iF8x< zrJ$_JGiog)`FD84ioaPb2?-W(sSsfz_m z+K4XJLPP@^K;U+8qAe}rgrc%!4a+2XXVXO`+I>XDaDvP-$-rui$Xps3*`~F5@j5uR z-4}S$O=&mpweob2XGC8l};_NHdiesHxxB|VoqHQEho8D@2PF67&n_zC0 zxL=E}@UjaOXz;Qx9RKC`+MP`*a|DUqVfG^uV~Kue)9S1^x`HWNddI+0H_Y94cLskh zvEn4q^<2F4N;z@0GBn(z#Ue?rP`LdJNid>yNQ`^179F^hzTP;2LEz#bEFA3q;LuX( zjbx2ds9%hA8`f3r0;=20h)5CTR&Z7raM>+k!2nY}k`%bu5&%{3ME_bOc+K6t7KzI) z$}&u)W?o*VB@e|u54#@C@(#b&P2PXFGj}ptri%{0_9I1!@s}>T>z^EU7RwB#9k!fX zbJ*Zw-;{CWb$wjqz6+xQUg@O+8FS!tXJBSR^3YXY8se(!#2kplBcORTNGX0dV&$3J z#7U~V?mSS^MSrNeH8@n~7{3r*-bB5%?*(n2s~dZSJ&5Exmhi1d)HqP!-fx zyT&jY7OMNCc)3^+$d;;KFjy_EM4cutY_k9bU?a6mF>WiI=k<7ZUYxJZ;a(!I%j7kC zIV@Af^=sKMPF}yJ^LELKyJS|kN!~c8coWHWbmhIXR6x@ryg(`k55j+|uG>MY!!S)T@f-3CHTP6mI|vJEb}g6l_d zj|VA4fDnpP(P%WGTPOAtwzo8CA~oo`HZ6x8bOA?zr7H2DEv90CTH%2gt<9X5bF>jj z(1oo=`F$#<8&s_+*;KN(00}o8|Fa!yC(wu`+l_DEedy*{6h&=&whJ-e?As=NOXjB> zvfZ3WZwBoWwj*R4NH>2%I1brD&~%Rt+43&eI1KTmx)Oi9 z^u@2OUc;88OvhL0uXVG{!{I4>R9MSGuqalE$0Nly>jc@dXSQb`$d-LKzoV-lT{#BX zeyWcu9gd7w7P3y24xKmDz|RhkV4L(B+P(AIxshMx(&+CWx2+JW12 ziBJ@tn%C{Rw=~E#8Vqi@7L@_NHs|me4mW(`U{TCWhc+v-h6b`Sd$+L!a&nJjtcP9p z<$qUo#pU=swG~cyesQ)KIPBNsPn@09;x=t8H4JmY=|Sy{Dib^VA`%?c>lZZuU>Fu zyvvFbg=@syAs4}sp!JI2$W0p@X^ag=g5evrJgk8eQ%U);;7EuedlwuDu>}Ge9La9A z#bD2);l>U}ZjQr|Cx?}e!7jLPI1&t1E;t+s&TSidyn%lbNA_$xlZUwOVNt|_BOz={ z#}j?U2)xn-_=Iix2#y3t>$~7c^uD#U;YedVHXI2R5*=M|_U$PQsD#E>~@kv^2>W_s+;?7gv z>$lKIaQc5R4-2Vq)ksvwcx(o=ZAc4^G|quWu4fF51g+?gXe7vP+d0XsXLA-BiSCWP zxBpB1I{-Nt0|Qe-BSH6Sm(&rBME`9+Q)nbj&ioKdYuzLl8o4=+MxxogIlOB1R$aP3 zgrQRhiAHWRty$|Fp^-GHw82O;=!>VoNN~8xZeV{T=U_NG|E3)+^SJhwNaX?}qa7D? zFcNgI&3ztmjGp^C8X0*hM7fSfZo&6<7hV`F_S<0O;w*O?gJFJqI2UU$U0;n&;BmY2ef9meBaNkd_`XK#M1=mQ&;zH=Ev-Ss~?fMuN7otSmSX_uI#&s+%#BQ4jhQ)1$17(XN zBn{sv8;V;pEhx@}-cX!(%HDtPGb5o-HN4|+e?xz|U!fB@17Jil^S?NQ3cLs9xB6L^ zpzEV`^Q(T#MTcSRK#TVChzbFLtorD7aW;)*J2Uu4y_IIqRwX@icY=YRDxJSIi9P{TwNX~NrEAAN(8K6`&l zE&VvjwmgO_D%-S+1^)WeYxdVSRpM^h^Q8?H4^4mIsE?vM=wVI#Q6_*21Wl`s1L9{h zc)fAeVz=l{hx7GVFMKdADkccGNnD4&G4?yiIDeq4l@qQPTneXyF7aMM82$UVejGnH z^?jcqcKsNPF8=xTa7MQ?21(d@*VTW+egV6YFJ8sRV%YUSr-r-5(OGx!_HMse!Jm7X z&-GykQFL<`l8RiNyj+~uexO>;mhVw4d9SinXMBD9{Yd4WXN zVo0FZega4?yi&hS;${MxL`HwVT;yv%vN~x^ymxvPk)3+@*tLxE z^^3QwVe$Wovm4Tpq_>8QwZHGL{lMXQ$x|ZdT)gq@vvYsTesjjfcmjW3wHNLTT=1?7 zS%Yvr9Qnpgv8XR_8b66Qgv_l+iqKucswg19;aoO zA1{74V}iQ*kIfh-eRO~Spc}1m4m0lhEuh0_oO76Q*X?|Vt^L5+4VlfJ4aLg{V*Pf=O&QE=KU{{G2LVl>?IW**1; zVR7VDH-^Tn+X`@hS;R%A+873&r`u&oUrVIdek9!M0~9f26VWb4H2SrKHqNzsVjJQ%k}>O_q_QH3T19&b98cLVQmU!Ze(v_Y6_E`Dh>iSGPA8Jj{y!cFflMU zFg7tYG&L(QF_TIxY63AhleR2&J~TEUFfcGMFd%Lq3NSD*FfcJNIWjUJFfcGMFd%Lq w3NSD*FfcJOFgP#ApC12k-Opa`(I21xPGZ(azYQIpdoP=1%u=U ziHH8Y!+ar^XKrmFEjO4{*G9Os7se(r z+(jhXL^(}s9!2xDFwT;_|G_e*^P3djXLK@|<008TdChgt=z=RX>gzG`GnA=H<$i`S zfGAV7+Ql!#y8*6oN-0k%Or4wHD41Rd9by{w8KI&RF*RdCxnhmhDN_e8DomfBdF==C zbIgAy7>0kqnE0)tB{IeI0vtjjJSS?BnnuB3k*jV>GmpB!`FMQh(D&b`>bK6fG0M1~ zqe+>m57$Jbp7`yQ@#niswL#GWCwt_xx98yCLVRsRezq{lnxf57#OGWdea=K8Em$cp z3p#`9v7l%v9u>AbqFdXy##+4Ms-kWN|~d5Z8al?Yx-03e)|heGdUQid3KDO=n|!o zzK-jhziFNJN)K~2-FLtCBdtg?e5toVWnN3Yr>R=oQitwJ&!v7Hh_%!m<4e6&>8jgg zr)q!OY|*_J`(n(8_+XvZ`RjBhQ2FaLeH$*e^frbb@!}AH64PP?5h1l>wSrKXoc%;3 zJzVW=PQnyR?@hj?28wW^66u(@E9DP*_7&BToIFM#kU?!WlXn!c3F5*`Rev_Ylp58$6N| zB~+)qqqqyfQcT%$U+{}lMlRM9bIs*=X@nR!>(d#fCs(chx z)5QeGaOF87+sX^{sTcxc2h8|x!h?Ti9CS`)ykuHK)hel?0uFbxR?Pu}_b|%w#2jpx zaSl;S(d9epTCIp8itHj_y243kP3eFW)#2qB&0-BrGXU>8XSq|LaO{I{irMIr+t?Nn z;nf5SsWLkS_|C>VZJA-|4$NG6X zth}8FJwKMTIT4Ua{V*p2;l(hP6M_5{>X;MR2)FMGV;%sXAdw#TJ5kGt7}?v2EWUh* z56q=Rd6F*I~Kf*GZmDukoF75p;5xe6}%yA=6GGVdge zCV*9&$yw)1NpbTW1P&QQF#`mrna-UvRK$EqgEN%Pp~1mz&fEp2yRCdgPt5fa+~j5n z2Y;ZM9Gr z#*9`%F3}F7HPfCN-;7p|SbK-jnu&6)htZm;Z!L8jEoA-qFj_Mi?L8evYay1=a*P|T znR}B;H(E~BGFpE|_cmIKF(2ZCb(pR1;`p#zGmY$wmIEV$Uk4_!eDFm~4sVEN&MZmM zCasG2nC1XcEFa0NKTYCWHcZjdZpn%Vl_dzkH7miZO}aW?p%a6N%7ueAm2Hrffru3I zg7HE(%KeEkqsS;T2(3?js(G`I48GE}4$R1D=0i{_Fx7v4!x4+_a^(oJ2GoVl9D$K3 z7@6N-E;0F%GC`g}RR!9?N#(S>*S2y~dc(>NX60J3^rJ6f4F;yu13)$AdM>hQaIJVD z%s+Gm!*B=_&We4JmM#zmy4&+vQ7XdhFGEODonMT$>_=q4rN$dR?;-HKbqdj z1r03}sY8F|p*1ls&7wAfRfdm!(wnJmRS~CQz`Fd>G#+z>;WI;FU%jJ!m*a!@JBze# z<-dAMSj_)Qu)5O5L}uk*2WGO>FA11akeQ}a^@=QfwplF8#v^?PJo+j^+8kaB@uGeX z6lm5XT{Z;v{En1QG*<-YElrVyM_~~noVs*Zk%fN@e8Z7x$?L#OgVehXAwxQCt3DEf zNlShmbY#nyMw?1na@m6Y;h*9hb_)? zQLt`kwm2ib%G(xa)Pk7P*p|giz4-~Z#T(&fa$(Gn;uECO4DF(7*#fB_A1E6vyU9hR%C+ISoD$wkdu?9bxDC(9S%*efuxW z7`VfAhRKew2`>mukBp&&&Ik8|mpG%BGh-+-n<_`fP?D-HKH+5!U5<=l##{P?Pxwao zTr7;uR+&S`BV$-ptqC`}j|n%ve7@iL=5&95isF5?%S?l5V^G!$`1{6GG6*V=me@Sk2;<3RutDM0io0j^I&rAwFj$AMnIY`@bUnH6?$` zOO`NG;hhXjxG3TBAp(Mrczz@#Y>&xGBUJ~&i%0>gv*5+b!bH=Iq&g~ufo&lmx*<$n z^ScVmZ>}ZK<&%K?4e+~Z048W#NM4Vmn@z4stT1A37F6J?iohE47;<)JsgA_u2x-^r zz+_u_iKR3KaVhZ|swqci(;{oeQ7rw;0;BU|onUEUSgv0b_oklzdTdPO%u%0M!BS)d!WjCYwwJ1rs!RsHGGShZ zy>c_wA$NCQ@QeIQ2mOhv3OPr(2nWlqR6wLontw)g2$+TjCCD)jSd6?Jb6I~OQ|jZf z2EE;8?xT%K#kvrX`-T5`2De6M7kLrj>p{r!w4< zXJIgo?+I$l83Q>c$Q>fkP1@t4TF-G=3_=XmkxT$HU6_m_BmhM1eVe@2ZM$ZWwhI_$wMBawV^CBzlU~3*Q`hgIp3V#zE?hjl5R;f z64t4PrNemVYau2r=2h3tkxLL9dw|$(+7FL5s#`(BV1?F#v=D1Z@#*I5M4h9hks${_DWpD!&1tr9F&}q*QcDvFNjz z)m+E~*_mdl(ut60OJriX_;gia9?bVnHsxep=lfdDS`~j4+XWj@v5#~|tsAVCiqvu7h~( zMdt3Y3OxYFF7?+NtpVc*#(>crTf7F|vu#?yNP_wMwr%_%=>)AkY&p!o)Sy_cNHE&x zEU0!lpUi(2=F>=KzW5Ns(y98>-SGpp9$NRVmoL**P0=*+y_>E!TPDFK)t5Wm14NT8 zvVvQ9NikYclm60oMa9)TD&LWAt4t5r86!}1vgTb-+M=M=C{I|}yKMhq(1iz9k16qv6A z(^<|2oQC|Q294g))ojDCt`=i;nqf}4_vgB_ICEVBMr~unToi_a`9{qJtY)l64VL)i z96S9t#c68`Vl`ML1ni~0jzvmw)ZM$L3Y9ylj?ImSN;aaBTBt81fGG*d@?m(6i2VlT!*};tRYg0g2MdUi zRV7EbcEZYPHl{F`=b%HC_?|n7m@fXJ`781raqT0c&s7TMaOQThCY^De zFfxyw+a7!=pOh7P1;D;h5wwy}3CY$i3(bMPR;!!Qhb?(5ABM_f8^;rIIVdc12>6aF zI7}V6Oy(svt1-00nij^HpZ1nEI0b(efsii91TTa~RW)TbnEZfI_WkuZ#&OibuoU=# zV8}9I?c-J0)0(0+nZqe_R}H9`x{0k5F7El^hmzM4tFP+h)kI=0B2X8i*q{^1x-v_( zPQ#6{xU#0SP9mV(2>1?h?=ON3MH5ST(H?ZFce<@f!i*fs;a%N|wi!Fa5UYRhFt!1x z2BXR>eZ!RAYa_OR(WRqW&Ijt8s`c7;3}>8CbI$7c^l|_YDJcKJ)Tm`#$oM7(c$+lvtgAwm)Sm+AeWb#^)R%jUZ~p9F52+`tQQK))*D`S zD|r_)wu#aBQ?=Bcu_=2PR}?eho#{b=b&77AGuJr_E^R_iSTF)IjR+6sx_@M)B#P| z_B=61@OVZWUBBdQ2$XN(uD%Ww<0pV}=Bj=Gmig;kJg+wlEe}>A`b%Z4ScWHeaUq}x z-ucTod&1t06>>1tCHO$Us}!Vir9$TrblL8sZp>WkxG{S?h5?}c@HZ|gSY#XhXFuvLp! zK~&hP$R(_xMD2igRQX~l5H`3*J09t4GYHW`EndC#!WJ-Us<(f_R;{-kQ&M3IFk2B; zVXIc#ptHhO#kPChg{_Jv@BUWUsp#kdPwAl=JSu*hId4QpNy0`qMlF2Z-;g)NASThObp1~t=H2XjqxQXtZ-{YgCX>#;F9+6NgAJ4^#D0h}y{&dOaItEJXdCsx$iX!_L3v&U26 z&`WjqXf7J@oS33sa0#?n@Qs@E8r0K`#!i{*O@EBA^+;R0q)gDj zT98Y01yXktT@6C}EuH!G$EWmumgsL6+Rw2Yg4Rp)P5fd{JA8y=z7C8sP_%*k z+Ni8@;MZdfy)eIDDHU2Te{p^;NriwxJqIuj+$MkKzXW0a00wnICLa5^^ak1>nL}s< zP&xAjwsi``3peW}{`bf(Vn7HCr^2Yi5noUn1zPlBhmzGR0rQQ*jA(&8KmOWqRH+s) zC`aiQ&Fk|61aFptUnBsTePaJ`A;EA8DH}f7K@3N{D1|^#3iEYfv@!OMfz^hbu;h}; zh8KSk>;bivFHs^hPIjIRU)GGN^CclCoQmu4i?s4s-+m;}6eeo}g0T57T4lKx4-9&{ z5`*PT_K_(A?%3tth;HZqAVK7!j`=z;HZ_p3SfSFP`wGYBNQT<=qYhstE5UQx(a;T( z)kPIp#_{9iYJzo~aK3o(u7N;>00KcVq=A2|!(o#jsq!auQVlT7V@k-rFMh<%Dd0rR zkVN5XQ))(4V=0L+XQW%wv@i(%+Qo@>jJ8k!bCwvr5o8~2QF8Kn!)X0tA!;`TgTV0o z5_=&n43q)cGCy-S!jzAqa$`Ru)(46U1uBO%1zOSV>MDt_P+g-76Bu26aacs#h7o^* zH_OKU5T;HHB0fIAv=*#mcw$`|MJ+`&CRUD!YG$&N6q;=w{3zNX;UbJD_iyr1NSxSr zFgU-RJ7C1LvF39UkCY%w&oExrk@}?~XrgG;)TKpmU**s<)G#6N`6$n>u=vf#lqotw z(@BXTL&U1v7TPgc;k04+nJ&V*mLq@mKZ?u*wH`|YMeqa0W{K*K zA_ZlJR(YPYFoem6Dw<3juq;I{lNp)$!b-kYGwrrjX!g9RrghA084U8)6E%OR{XElG z&Y@=T&V_@iX0o#|X*fGoJv2XH4(~f(3vWWGY9FWH~=}r(~05 zvPDA&iZRWRa&63s=QSHt|K9gpY$KbIB1Z=Bf~x7X$!x{n&^5)QVyVtagwk0Pzw zKRHZP9W0+EmQWZeH22Xe%;P*o=fX8LZAlk@9Gcwh(e;SpQm*+surGiAwzXe%ghmJ5 zX(g}|!V?Bv4i_DQ?Ci&xiL7o`ohSesBpp_E<_zKRw>Y~ph5bfWPtS7&_QDC`N8#MN zQHS&}=?H>h4%^w2nc1~=9Ak~iCq^}A9IK%jqP5UT98D3dXBKJEVuPx~4#;p0dkOAx ztfz*wv0Q}gXX{I4P>Fv5%mXuPZ%)S{OlfK+OzQ>Xe(Ts#9#x^F9e5M!WVe~!{*K`- z1#M%*AboPv$@bC|KV7WD_lt@{P7$89ZR z+rO#xxF*M(B-0ACGSOx#tr(^uJFVdTFZD<(Mp7hTCJ>k1Y>R*R;<37zwuwZ;mYG-N z6<6xI^W?}Yde@;J&ns{_(A{=ov0%?Egt$DnAcCQR=N5e!ypoGa27^{lF4!kF9+o*= zWQ+0ePA(vevN2x=W+fK~hH{(I>d6$I;oH!D_K{o+i@iL#z%k~slL-(a6H?Wq_#&~@ z)`%VnYXQ(;4W54lJ8}!$F?4GkGME{N>WavsNfY96NO ztA8aIXv^v{UKHlIS%UH80%XzeujFE^yeaEAB)au_+@@=&;r*~}!}B+PqOw23l8cK7 z`G=KVjHZLKo?YOQqG2f@|$igm3DS9RM%eF z1+JwcgUT)zxU!3dvFrjmb;l#S7`g@L$Sy{(gv7Fo0cUV9|0W$J7a0vo=DhI7Uyp33 ztZDzJMFM|pc>yxpe4A%6_%$(Qr@?w8n*-GG(|jjsU+&gRurSNO<~y*od(7uTt%#bh zrTmEzaXRgFv*AVVy_2*|tu=K9^&-U;9_+;<-v$hl2sg1W0cCZbQEDN{zQZC`9QMm0 zSc;&ojIRT;c^vOa!?jT>%wDg3$DjZiHFUD_$6$ZQ00s)`@jFBl)Gu~ovQ?OFZYWL+ z`d4y&qbM{})Sb3}XZJ6?ETh>0RG0!DrQVoZ_pCKpS(c5OZkg!8L0ruU9U9kq0G z7DW&2aSSz?rsS72#A%+CIocV&;qeVD8tS17(d}Tt!mvw$-(ZwcqiA%Z41PJ)*M7v= zvJrni_~vaH-(>M|=T`|PbZtcAinPX%C9SRLjq%BvvRGwFo6&_@714kJ5V#$fXs$(= zP}G*JX_+AJY`Q2!yN{??oglMKGO!yXGM7e1wqb2vybg?Q_XVDGQ`*gYtvuc184=y3 zW;rk7$QDTztEas00I;VFrqOt%S^U#zHot$~Feam7g|b7%mn1P8gVMG$PmcNGjPMEw z!$4@wQ>8l}CxfNBVEDBkDN2mLbkToZ|HP14xEU-vY&o~)WrK^nDdWiN`nbq_7e)oV z(n|+2=EUjFz|4f?p{u+!#Z}jdc_9{$0Or*orTE>5m1k}f7pd;L^FT=#{h{mD%Aq>P z$SdG1KuNket#eO}g`c8}>A1pN=T4oJ>)n&15}6cLL2b2b45QUTb)OV37b|}%vZd-5 z3|31k(Wl7^+blpqv5`_H8Migg^Lo5HFU;4*a4(V9W%8Q69G0r$`n7B|PF}yJ^LELa zyQEgPQQo+wcoWHWu=36<1<>S#S5a{xU?l_YsMLls?P>;`EHvO1B=~M)HfBXde3*rn zy#SgTG>!$(`dgF~?B)t9=HP$o%$t+!^_~|o3|v?I5qh-T>l=pEL3AB%OlN^A^q~50 z)pa`+d=`;rZ6Jg_&uKUt7FZTaqxnzDj$o zn{6Imp29~}YgrX6l2zjINU_a2m2AnG?HQ zoj26PPliXZO?pjj-`R^M5*3WwYFB)qt;GyG6MD6Ytah{mx9NYfLQ!~XUbpMsk|2FF z5ZrJrY6E_4%waRU-0%$prRL9&%!$2(aG##8Wk^Q6~xJR&>g zDLCLepDFml?67}$bPE&?Y7Mnmiub*?pBxi>M^3jt-a#9OGO8f0r6UCgGrW{&ITv8^ zQF8*U2u@= z>;A&l_jnK6Q_|mY6JOme9djAOrk*Vw@wN)0m0khs6_tNpH*BTXjj*l`Alw*A6jpLy zrPp|SAxx!LknObrL_uJRM?-h%m7)myk*@>erPmX~u1=hf>x#SC*8zm~O}z9PgRVLB z(ko!a463Vwl9YCx^+j5X_EzkXdptcmLNbr5_iXc5rB`splE8f-tSQq83%IlP_oSao&V{q4@$}8b+DJ(0m3$ywyj zUIDsONTxj-vrJg4mru zx|)Bi{efs(K30ee(Tw;i#D%C%Trb3h*v*YuA#NkQO13a6qv0E6*WngTs}5&G?>d|_ zW$(Z9%rNLv4DUs_KO;X~uFzRFL$!!t=6`Vj6~!L(-s(49g6@viwXgai7oCK$(=6J| zV@U|*N1nmWx-3LC+ODq=(Cx-Z198k71G0af;Fr7DcLlu`NrL?!y!gflMe@$s9~DSf zlYgpq{hh-&)P|qQVEeNO_8&-bhlF3EK#R6*77p7Az3E0qS8IXy=ni#*vrmjO%A%q= z+80=LC(dhOc+{X{==op$29HsZ&G#CK0*!ck>w`B4>62SZ>BmL3>9L}sQcb&6;Gchf zdd>d&CQ4i^d%m>m#6w;eMbt;p1@zD+{vs193apq`odv{iX7Fy~s(rTwclw;K$9mxd zaZxZqMVrJ{o^Oc#4${pZ;A%c+z2HE>FuL{U*TWIr z4j3dA*1PT<_S@GDeDNMWcEYX)IwgPHEw0SEfEW9b?9V8=q4V7@St&J)}{3(MvjU-~|cPYpA{@QUWPD#^6R>{$$#E%Q4r1QYY#cuU3Qe{|U1P(s`t} zfef|3@2~xU;bF;>BF9|3?(CDfKc~Mr<5oOXU9}PJ2;A=KoXT4_W7r7r(19E4uklt1*uG z=<-2VTEiS_-1S31hthvI=1}9VtN9LH`vJ2DGMzmKii;upzQ6VZCfVlY=EE>=YP^{H zb85`xhC}h8o zl!=jlHs<_>z-1amKODjBRl7A6KYD;&Oo#P@4wXN=wjLSCNRWZ>=QDIEQ3$$P8^50s zc^Uzq;BFIYCinzzm&9JG zjretwm?|IwH951oDvtpUF)=VPI50LeGcq_UFfx-@ENTKUHIu_Ec0MyRATTg6Ffbr) zAPO)rFfcGNFgY+eATTg6Ffbr)APO)rFfcGNF)%kUATTg6Ffbr)APO)rFfcGNF*7wY RlXopm2{1MaB_%~qMhYX@4Cnv= diff --git a/graphics/problem/lmdk-uniform.pdf b/graphics/problem/lmdk-uniform.pdf index de2f09a032c778a7defe550af61ccb2e8f7a066c..c5ead65673785d24ed44b4e68547b67ffd8a4c62 100644 GIT binary patch delta 764 zcmX@MkMZI@#to|?>)%W*bJ}-Xd{<~*{X8xoi{_8o$2aIFUV6K$KYU}3=lVy#mPvk0 z{ZuupaMFs7JN6PO8@TsX_Ri_{{HnrPRo@=Uu`D7on^pn`E1G|n-Cpkb?!|* zyFDIki`RHmkyf+KioKJ9-G35EU*QrlphmQoeWl~!GuJ|j?eM{VW z-5s7Cs5tR4L8ORfuUalUw1>xXNsf`r>LM_*g^T@!=!=D^}lZf)1Ho z*qh*5+%-WtP5Wrx^lb^>D(5a(tQaR)#=@G-d*r)g!~?_MduPtu%pi4nVebKD12M^^ zJ6opCmn%Et**nSahTvg2qs%uo7wfGa%`{~6dcklahc{^5y3ggRwbc(M^6*c7w?t>d z?9A>R$>+XLe_E#SX2#}SGV?bqPFxp$ME1Nfmo<~#u{AcKr^UiLc03kNmX@vFcT4im6r?M6@0QkWvEtMRPJYgJkfp6)+-&ZaV{^VeCs*5 z>z7JueW`dL_WP)?yz zuzn$aJElEvd*&T7*uDGp!Q*p|hxf6INPaqDlY8UNn?nixwsJllw{i;i&7bjF^VY}B zTk4W@Lfg*q?2Fa)@OwC2_xkBQ?mhG3`Qpx>-XwFR{&l6M&f*V`7xvtr^KWw0|AqGw zU%u;l>oP~vK&-;sb1s|Bs$^a}0OgulcK`qY delta 764 zcmcb(kMY<(#to|?>(_iM>X#Nc(qDbYQj_!4-Iq1`-CK7YpZh-3T;+(e(35wC&vzSp zl-s;({+Re=cU|u%nN`VhmtV$j{^!!ue!Q3e^M>;_c|AVgXL^Sxy!o?cwUE!dIZlj| z4yL{5J!E6^ZqC)^-&jH$cfReIs52)lrKZ4I{c7!;1zCP?0&1F8N!os`zb2SzSsHxj z+}r4Vw*xoW2kw989%8C)|Mc66EWew4rpsfeP58>q8p`}-#wr2zC0sk^c4*mMn8$c^ zj?Imw9a?TX&N!#Ih)zxtFj88zpyiHZ{|dPt_Yi(J!O#PHw+RQbI;AVf1+rSUOX{VZ zHAz*_h?(`)>ae?u=$EzAjx2PaWm&IPwm2p$Ewb80bhGR;S)&J2R=MvN2{t{Vy=c`; zSqA2hwE|+{s*Sd*ssx|3bpzeB>gT5wTG#K)xuI8ZgD)^d^l+ZaUe%O@c~52jHwZnA z2y@$Mc<#P9Z%F^@NjKd;@6f7iFyl#fi!e>UF3Po9NblK-tkvAbdzIEz%?peWHMm}X z{L!k0SW%62zmCi(X}Ixea}NKSq^e3;o`juxW!(#6zgIY|ezNqMe}-tswk2CC%S7(H zSa`MhuX@mXc2PlO0L#4_s~R_UCAGf2DkP!vL9C;rQ?}=* z`==>uwylWb(Pqjw`ygClUA#5?&kSqbh4Eh!9=zQj_g|i;Lh>_LYF