From 1f557bd171c3e06d8494d72f1a4efff25028b6d4 Mon Sep 17 00:00:00 2001 From: Jono Spiro Date: Fri, 6 Aug 2004 17:50:11 +0000 Subject: [PATCH] dijkstra fixed svn: r152 --- .../mztake/demos/dijkstra/dijkstra-test.ss | 32 +++++++++--------- collects/mztake/demos/dijkstra/dijkstra.ss | 6 +--- collects/mztake/demos/dijkstra/doc.txt | 4 --- .../demos/random/random screenshot 2.jpg | Bin 0 -> 67819 bytes collects/mztake/doc.txt | 3 ++ 5 files changed, 20 insertions(+), 25 deletions(-) delete mode 100644 collects/mztake/demos/dijkstra/doc.txt create mode 100644 collects/mztake/demos/random/random screenshot 2.jpg diff --git a/collects/mztake/demos/dijkstra/dijkstra-test.ss b/collects/mztake/demos/dijkstra/dijkstra-test.ss index 4d1304c982..87ab190838 100644 --- a/collects/mztake/demos/dijkstra/dijkstra-test.ss +++ b/collects/mztake/demos/dijkstra/dijkstra-test.ss @@ -1,39 +1,39 @@ - (require "dijkstra-solver.ss" (lib "match.ss")) -(define-mztake-process p +(define-mztake-process p ("dijkstra.ss") - ("heap.ss" - [inserts 49 6 bind 'item] - [removes 67 10 bind 'result])) + ("heap.ss" [inserts 49 6 bind 'item] + [removes 67 10 bind 'result])) (define (not-in-order e) (filter-e (match-lambda [('reset _) false] [(_ 'reset) false] - [(previous current) (> previous current)]) + [(previous current) (> previous current)] + [else false]) (history-e 2 e))) -(history-e 5 (history-e 2 (merge-e (removes . ==> . node-weight) - (inserts . -=> . 'reset)))) -(define violations - (not-in-order (merge-e (removes . ==> . node-weight) - (inserts . -=> . 'reset)))) +(define inserts-and-removes-e (merge-e (removes . ==> . node-weight) + (inserts . -=> . 'reset))) +(define violations (not-in-order inserts-and-removes-e)) + + +(printf-b "all inserts and removes: ~a" (history-b inserts-and-removes-e)) +(printf-b "all violations: ~a" (history-b violations)) +(printf-b "latest-violation: ~a" (hold violations)) -(define latest-violation (hold violations)) (define ((insert-in-model item) model) (cons item model)) (define ((remove-from-model item) model) (filter (lambda (i) (eq? i item)) model)) -(define inserters (inserts . ==> . insert-in-model)) -(define removers (removes . ==> . remove-from-model)) +(define inserters (accum-e (inserts . ==> . insert-in-model) empty)) +(define removers (accum-e (removes . ==> . remove-from-model) empty)) -(define model (accum-b (merge-e inserters removers) empty)) +(define model (merge-e inserters removers)) -(printf-b "latest-violation: ~a" latest-violation) (printf-b "model: ~a" model) (start/resume p) diff --git a/collects/mztake/demos/dijkstra/dijkstra.ss b/collects/mztake/demos/dijkstra/dijkstra.ss index 30873322d1..7b69484f3a 100644 --- a/collects/mztake/demos/dijkstra/dijkstra.ss +++ b/collects/mztake/demos/dijkstra/dijkstra.ss @@ -33,8 +33,4 @@ ;(pretty-print (graph-to-list g)) (printf "output:~n") (print-struct #t) - (pretty-print (solve g (reverse nodes) (n-ref 's))) - - - - ) \ No newline at end of file + (pretty-print (solve g (reverse nodes) (n-ref 's)))) \ No newline at end of file diff --git a/collects/mztake/demos/dijkstra/doc.txt b/collects/mztake/demos/dijkstra/doc.txt deleted file mode 100644 index 497208f96e..0000000000 --- a/collects/mztake/demos/dijkstra/doc.txt +++ /dev/null @@ -1,4 +0,0 @@ -Add this to the demos section of the main doc. - -demos/djikstra/dijkstra-test.ss - debugs a buggy implementation of - Dijkstra's algorithm \ No newline at end of file diff --git a/collects/mztake/demos/random/random screenshot 2.jpg b/collects/mztake/demos/random/random screenshot 2.jpg new file mode 100644 index 0000000000000000000000000000000000000000..3986eb54ec83db79db1e2b1c32ab116c5d0f295c GIT binary patch literal 67819 zcmbTd2Ut^E(>5G?1w>I$5RRZ=1p%o6qJs1y(nOjRLAnrn2(i+Ofb-odkXKJn#Em-~Vy0Bf9rqYt5RyX6BxIW^eaw{{S6RmRFJo?b^Ky zqzL>6+MWe5-m-8sdjzro0YAI8`#~>3`}gkMyKnFQef#zw+7JAH2DW3z*jN}D8Cj@*FtRYy9%H8eI=b`g-$UvD-u?_? zKDe7{_rpEAm_fUlckN-`wLJ*h3sT*#1@(YHyLa!|wTmh){b$eK-TOeh_8&O73q-x~ z$DQ4KK)d$t+kfB~u;D#>_8mHSnDM}YeZUjIlgxYeo;$uz@L9o$1GhB4a0?akuhxUr1?v3mdtYmAyzIQABN}ez9MKMq>~J~BtIK*YMYiaIh!|U&R;u=!Q+&ho=5n=T z7R;bsdv@(Pu>Z*Z{j}wQ*>~>|WIng|)^Tp3=lk~GzW1*1>y2k-&g~;7WM80aPX5$P z;Spvr{Q^vLD&o9T!LWHGbYZ&>baW3*EM^b{L?o9MmnF!=z5E{ava$BGzfwqf<{e+{ zO#bsRN{J@kSfgu$71hwBw757+Rgx_t$n&iEe`y zVvQY&Bt}9fD`zhn7?j=5U$(w1scvqNxD8q*M9(bQNI&?{U{eu6N)cGL(%Q)7S!kD0 zOrW5*K~t?ub?f*aR_mzDEnN7THP?AP3VL)&TF7hehvSyMHf8$TW>HwgCHh6Q`%f`S z&Siw_n9l=+MwV@m@%%bxoHPQsnoXo$)m3ObiOBcZVp7dF*<{!TWf75s0bEhx3wI#6 zN*}*;4U^5ITo`+e+1jx0-`2R1(?by1jw>r%pYiM2nOi;KYx-R0wYFdllU^2E4Zy5f zSqL`^>a4%kGAX0%-v)K5Y0NhNF$3Q$;#u{whSmm(XQ5C=F=KrttaYhz1Np-aaia@T zaSw8ZXDn++u0g~e1Ti{e#YSP=!aGW1d5$Y(DrzGi*zG-S3Q2MEeON>$rJAY&pSe}` zZIHGOb%IO3CqP!vBw)~(9SHlbxON#iO`+`p3GCr*=2n0BniAIqtt|v?4}_oB5yH!m z3TN5`)woSS2YPdmX9CM$t&K9Cg$Nnt{GCVVer~FAHIHk|j?t#gU)~1MB*PD{CTxSW zTp<+^J5sCy>P1#jxB?0`G1`>bZ-0nf4c~;EKoHF`R@@Zu-+l?lH&^X9;<%;K2|T>9 z_Di})KHH$WO~k4lLI}`Np$tW#QF|L?LVcqU#0UklDMm@NLAbw%Z~oRuRSNz3d*a{M z;j%ju0lI3ZPV{DHBAL{k0Xq{#UZShEigsNT5_cFmxWumP|3fC~_2aT@0h#N& z74V8{LdcucJ)3CHdl?5HiQE~Jr@7#OMDRV-SGb-L)V`#)4f^1Pd}~3QeTj+sUY1Q* z( zrY?2Og3T}5Tl;wC-h0PsyrtR>l6JXzd5_i-OBm{xD39PKbyHrv^?0Jsi*T~V?}zoM zb5xHmYqUDcG>1iI?#PFr%14pu+&aKB^KDI%zDbz^s!q%uqae2xH-u!=>C)+SOBu(! zb6j24S~^c%kGQk-hJf}ZRf<&S)}cS9Fwvivq^?(|(Hile^&+Q@`G9?Ix@WGRQs@m| zaFuyRHKD5F5f@-RhhoU>Z`+_}zb?aVYk{3?gF*p0{=8mQN_`yBAc;(QkNEssXxdeC z2OWs4;vbV#mC+wQ{P)AOtLFC0zaM@vx&-HjL+LAqbU|cyR-|38s-R6${~eh!MqM%g z?dlenBGQPu$AXgbovX-O^XoFu9tchy3s{)u2C1yNaxjN4`4`58#T`nv{Vk zv|pK~@M*M)ZCYinb1MLT?Uf8&3`FhJI^e*9mmzYB8^T6El4u+VrT&8tQL*hEVzWe!WPG`-R-f4ARGK(BL+Ry^${1 z*Zc0)6(;_zO8M_UTc1_A%VB|DX7hgcqoG`1%u+CHyr3o`j(SMOnu!wDhvtKCNhijP~Go_mfll1?scg$!yRlB}-7lC$e(b8LV1__j1*w?UM} z%3PB*F8vWzcES5rvS_)spA2SEN!y?WDZVo`S=VRO(|zCHeiv=~9^-ra zzA5vN#O-y$tp1h7xGXXOd8V*d=1odH7;tAWyGT^0R)+RNkC;c3?7**0rLLuwA z2UOvcO{^JJ1~<+7T|->ztFybw60!|{&V!G5wU>g)( zEVC4ULC!>XWn)n&zZ*tAYHY z)gMWfsM^N%SL&fT?oZ(_-&wOa;2?mPMb2VE)i~9C5fTI4FMHxYLJT`7uTA>${Mhd5+(@ef%)X&WLvb`ySB;z1EgB)u&CtqIj9U z+^-S8SAMNcor<~)FzaoaJfbWY$&_w4KhT$X{cTY0yre4FM8+*OwmJTV za;c36e(Q@Y&MS(6OLxjjxgs~GR$z^_2@TW5-g_y*-|D7-8jSuze&+Y%Mv{7{!=5{u zLb`=^J8eOY!)i*rLL@3uE5vN`M&o99h5KxVI_@=*iq(wv|8t3B7CVfM zzW5%ei$*(eMclBXe9&zU6#n+^Ad8NXO(7U;8q`^XT67=OVxb*MuE))BoU`b+^;{PW>pj~`LJ z-*ff&t_b$_NtWwZMudkdAES=JL~E}!y*)igvy)y>mt}RRyU|@Iog?Go7-k(h_>*qa`l@(@S7*`&UotsI78<#ksBp429 z5~KB9%Z40`H3D_XF?%VN1p~@{$JibjpM)@`-EhgPnN}@(u9e8Ku{hDCo)tg!DyPb_ z1#vF(b<495j=0{n_1@+Q;-si3DyeatWz6f{h4_-CQ0TE4eOl7d=wkGT4ic%Gex1>eWEY1s0W;nKnYULAy#yH!A*~M_QIL ziuerA^_j(P=0XT8>s9PYZHRb15`N`4Wv{*Mikthm^)^U6qwD9uY|v(VwZk^(Q%{e2 zH^M#R&xQGb0qm50_Esxi{~BNi40zq6+YQ+nP?hgXa50&P+OXQH2Y@V0Z)+%N?EwON zY1vy0{B9d`16dLY?BR4VVsHu{6~0y{^J{>$3?S-Yw$B`PGbijn&*%3wt{i7)?8~3s zocsRmKYQNFLAq0bUGE`hZ&ZU93L(EY;nS^Au?>>n20drj-ohsVx$1AdniNIOZiCv+ z6`aka0PDQ}YaOK(#AHuTbSLHM&X^wByMS2p0Wd8U@kKflz6-n%L0#x0U0bv}?_|wj zn(MpW$ItsX>HWH6B|sme_F;=YCZ9;3%>)%gm%!-5&TQE`cObx+F0sv1eTY`!>PvjU zOE;jubn?9|d=P+V_K}fGN9VpPZHma`(v%!YyQ9PqY!9A1jeirlYV+?Q``wcM9ul>2 z+Gnory>ERf$Pq|AJ13?*q?`QO+pPHPE3q!@E&^DuKdiFEDutkKp^+ zxn4p)do#Qflxvjt)h{ZP*AKhn8#hHvbZN&}Y2#2?br2%6`Ukna>P6DZ0)jy!+mvc2 zX+B>a97pg(MLUEwA{k)C62l3sQ;*LssoBR1&|SluhOaTL*Th_pEF3^nnkLa zt-EaE>#93n_j0yXy#(Z|rpmVl$oGEd4*qB4~tkE<0`wf@&24a}4nR&4W9AM3wvAyttH?T(3#t2#woDOT{M{|I41zoTfE z{TOl^yD^1$`CIT9f9gu?>{t2@w02ajn+#w2B_2|x7V4$87{CziwhfxJ#=`}EM!^l3 zXdY_HBh*o;%BgzT(UIbtw9>u}I<%vtG`IjWW=a?kke{^jYevJJ4X2q&pm{xOeVaDm zOHy-HF{{dOJ=%nP?FAe|ky4}PmS@rHobGs)%?mQwel!=el%pW_zC|4Wv!N6zyCeG( zy3!*7+2aVuDW}~QCq1e1y;;wr>#yBOiaH&lhJSF22|UyEd%DOe@nlD(WT$f|nL#-7 zpLe2`5;f=xb(EUOsc&5UV+Izwt(4Ce@GxmmEZ?D zWhT0(LRQ@#$yU!p~PORhQRp zgRC}lSaN1g^$@{e&E9U!wszB#Lg|XGBK(|<4Ca=#p9*p^8LTTuC>obEcGAGemHWt< zZBW#+c}gwGma8`1OuXvQi*6lN{uhMd<5s7xqg%QPI&3UuMh#bt?8pDkXAi3NMt5SF z{fBS#=(78@n-vBJw#mL~Oo#UGKBE+KwJyYw(B>+0gxQT{@@rNeW5~ybZ!^gPaofe~LAe_sW^U z1MVBXR*TRfZG*fLD6gt70|=I$Xj|`OwF)M^jICtHM_V6bLKKD4yE-(Iaf3%~2Zbzp z^BL^dUZwaxK802_A6>RHKZ}e*hU@3O{~}~!z%zu`n--Q(+>*nLA-CJt5A0o4Qy96p z1-kpH{H5S+wv?lHeJ{$goC`cwchKzr{eoYJ{efvXB5vubG2X@9lH@wzof-gJO5i%= zSD1ecZup2^i?WwO%FO7#=#AAvO9}0p@o~~o-O1c%jM6)ObPLM zhBG8bRj%+gc{ZN>LU+QRD_9mP4vmi$lc0Y07%cx+MM1@}t=H}Njwktb zHfDNHi8)Fd+<)L$By}^UXv}SaXj&?V66EZ%4_&D2Xc_$!$>bYl2D8u;!e~1LLL>GHuBpCQZ+Hl+$lqaKX9 zi+JXTD7cyQ5K6MSc}U(-qL~o-uqRjMnr|bZV6sw@*R&;wgJ1k(?e5{IiYc~4aEez! zmv#1@U`yWfQT`ur{kggCW?IB-u2t=_`f(U`?3YEN(K@P zvm(`ULi3FT3+IepntJ$uy%hd+g;rDZ~~PWz>7qJ@%W)>tMq zUGSaIebqDV`|qKBrfcM8z&aS)7?p@2XjuIGei@JXFx&ItA*z^DXpH03$K~QNrZlz` zCK-}$t5YH$XI9PB`wkh^5TgcFyRV}@2F7L&$iaC-#zA|^x#L-2QQhT3j^IWq-IWog zpFJ^h_4T=y4uxQ_QV2r2aiLqNg<1TLdsiAb9 z(?uoTT|=1ia2wPVY`%0R&sO`~cIW@a0b`Qr1Dqvg^tB5C~Q zXG5Fq1YzL64#Hu^!OqSOw|nLA8@O+Y7@fw#f&0U!oA)!?G2Sj`&kb=q_hAgH#-AN3 z1B8jTA43zD3mW6z53>5C9%hIdxgX*QGegJuk+V~Pi?IoIUN_@ zU232s?3uy-a{gY^G~7Ii*D)IhMQ&l8@cg@G{!0?7bG>ELtikxM3}^GceVQj5r)pP$ zGi5X8zV5FY%37_%F?T`urCMO%6>0MXPIqaH)%|(OfOdzD+q)9@jc$#IEvodK9fz(0 z(#zjP=Ml{l{A?tI^;Ggk#}j3*Sk$ANwPAX~O66)>qMYrOg3GBa|3s-vJa5Ok1SZ~& zmz%h~nHiZ@K*h992hM3&p3%FIYnzy?9B0vRiydWh-p<+CkX&4oxj&T}0|;)fmTy-# zuerZ97XboeaVxkI~&0rvM6{ z$A(B=VlwWBtytMD_jzagZY;qN41^+q<8bX?&W%ZWCa-lq$Al}bhG@|tq`LKJMaAy( zu(Lt(KZYwubBB!m&X$|`o`mUim$XzQjU@}X%yXJc)|nRN zaMfy>&YG2?O3NlrdLT|80eo=x$S zZW~L{NBwOt9U>2Yeiy-t(&xZm624Ot7-#@DNZ@r8#2~a6&ZfxjNY=Y!N3rvNNk%;w zJ5l$4vm@z$*^!6iZ#!c8mmPKeZATZuFfA>WUdgGY4ij#eh#qf~lle=l>ueGqB@W}u zdvIoFLRH7wiJwO2ri?flW^J-L;>y+9+=({`WUYV^9el1N$&i?9oT`@>I~C(-%X6gm z>-8fk)#uEGg*9`#yHtm)8-`U?3)frj6O^oWj{mLx0qB`D(j%8ZyW8nkL;^?1R%o)6c^~dueY!)C@kHrTpVz_yUt9Bklw$T$ieL*Q&zt5$ zF{#58;|9B*n^rSuLX*_Qm3B^!bwTeR8_)g=vtaE{5Z%sAz`?94F7DAJSB@vEVV@cc z=GmYyt~LA!WxZVL*0=r{4s`}{)!YPUXyq{Ji*}dRy+)VyxSa5Fud7APU$AjMB^sd##BbnU@k*U*|)m5XP8QUAE3%CkFA(HLU^^?r|G zW#qkN-wd@t#f~AgA6@nQmw;H&nni_r=_xN6uJIYS7Up{6rXg=s%cF(eOCLNGwAU|q z4{U@3PFU^TmQ$@%%Ud&YLI#cf8?RKLMk+h$Tn`jco_cVw_Dn>dzjqo*-)X`>YyH%n z8q#(ubCkBzU?5)Zb;>bLI9S7HCUOlnrdR5Y<otbuOZ`0fUMuVdwejoZlJ&(%zp&ZQ~|BXRBy zD?z7|h;5C;Mb|}7&jB1b-Y7@m?!0|6SN~B+i`RjCTl5C1#ET@OR|AkQUeeXRi+y^5 zG9P{cPQSpJx#>_Y0(uXwcxbD)U)l|Mbr`$FiLdb_snl_4NtryhBG(-IGcNtM^jEaN z%5CkxG2t6`Ra13(f0lOzTzv45ZgR@9XtSIn!ft90ERB5<|*X z2NO=P=z2AXf<0$#CBIzCvd(%>bLFpB2NJG*nYn)bI@C<)rGR;SiG;AWg>#8KK}3^e ztmP7a@}MQ%CoJaXA%7x+VeLza(oH?2WcJ{#n94OP1r$DWi4)d=hPqdKy0vI#xchDd z!w}2_xw4EWi;xMX%}@1^TUisux4E{v|MmzH=yzLcfOay>CTEiu2J=!w`IuKui^}jY zI-29bn;nuI<9+*PXE>o8ky&!`_;OUmJh#R%s(OO z;OF;t;tZJ{XGZ98M*Yt?bF;y+Y`&ne5!#1iIv*b<-hT+7A*jGXp=J{R4kO}CRN&xQ ztCuQu$FG&8XZDbeMB$}^!`6#<_J}lW^h)f(SdsUM&#w^XY7_y;57lbanh76$3qw61 zOE)#z_7Q+-ga7m$g10$_+GH}!IITJgTuL=O9dMcrO#U0e30%y65(T3a0qRTVq`h=L z+Dm6rFn&TNh!iht_=0u}yG4XGz3DJ^=h(xjFjgLbu?NHe4Se#8TbeOC+c9KN-04(1A~Vk0P-}{@gAx!y8^p;u ziah?|$P@SC6~y(WD1wHaM>@8J^viY!|F&IQz;*?1vv|bVgT-X;2xaFhWpxcsUP}KS zCxT04ud|PA`BB{2sw;DcgAHS{dei4~rC?l&s$ho+1q zfY(R;*5+<5liW+)+**t>n#7^i3Z*}XU=QXMI$PNKSRiwUw?V>_Z0M3n+EHKAJMKOu zD#OlXWqf{}3W?zn8Jb!O(fp3Jx-kphrK6?Od*;xxFj5A#Tsnbqf;IC=9V}~;*n5g$ zqSkI!KHcW=@&nfumOLNkQ0MH#vOe{8ccQp&n@{=()l5&(U9$<@Eiql2A=no1W0ynI zE~{dTq565YgA7KKx2NMs-)f#lKcmjE6Z7+ofRjxByE?4y|09(O~Wq!$~PLuOG7QolT}?QZY`fa9SocKFahV z*|9_*UPf?ErEQiG05|he<}`5gL;grxGDmf9HBJ@W;&mt}4qZ_J#7*!37_Uz~w9n`L zI;qg{md$|H(G(!37^CMD7C=tHUg{sreS+uJT-P1 zIft6E67u$|AL~_TGJW>!MZ&R%a>vktT?LKtsXS5n4p1GAu5mG?l)JuEO#lwGivDI? z-02SVg#X4Hssj}%Xi1__GlA+gAYuf38KOpvcD+RD0t|_rXh{Plzx`(z-G3Tz(Baqr zcxUnp;UZ{A#zxYifFw z$XP>6k8V9XX58Q=h8sf5LA|nyY97~V6cU&Kf%g|IElva zpOSs+S>NMBGw#2`-l)Vmz_nk=g0ldwy%uoo(QRR*Xh4g5Sc?Xwdn=6Gx%fw9Hh3Fq zOsAK6$Om+!3okjH(Wk{m^_|!l3F58{`q?gW4QklApuH~TG08d8jSh8Qct9?zY2*b` zJ1pr4kxI|a7+q_lIrf?n^--#0$J+TLg1l(}z!P|#uf71R;$}^oUV?NZ#-9E{^@ zGdtM6oW9D-V7=#3U{}TUw(|Yi@i_jN3ldm~jg_-tK}TC-agB6kL^fvn>uKuf3 z$eGLDUjeqt>tJPcpCnV*TkMRlu7?8|<2v4is@jslvozIS9#P+-s&;0&7O8V8x9<9P z_9VAFHU2_Lv`f7T+Kssa;IhsMi5qWe>v>*Enb&W)>Z$4UWlb%i z;$&o(^?1KOfgL^nkxk_2|54q zDzD&E9n;SC%la}td86r~_aBxC<_lhn9SyH&ig`A8@6KiE@BQqKc+7%2nLNTK$mTBB z=_RpN{%v58wRrPq1qWn=7Gex&`eS;5&aYVWlPUc(XpqGND0j3|+`C|*2RcjsJ&=Q{gsrP9# z`{J3JW9=Q`{Zry>$MrQsQ*(*&rFqwSyut7711Bt}ZKkAiFN1gW&8QR^A@aUQ3S<$B zy`s?t-6p|~5|q|!1}(e42}5;UP{oyo9mr4aMW32Cmu$Q$2UUQ~fdGzoZF=K%g5?|` z!Eh~`3WNlhoB<&8YE**?gj#1dh_4PLFSQtA=7x+=oz{cHd83^8I?pzK>%o81m#w6d z7)F#IYDN2N%CNc1`>u^U!@J$PpYw;ckib$N_Jr#P| zpt2Gx=GwrbyrlP_UuM=l0*3CYJuxE45b~|o7FDd-+jkXOHeTOaVIDw+esDc~&(by5 z4P}fgKU49#!nK(^ZZY`jltxlwc4|U)k&D43|3Fdja5+{}@+?&^L8nt>s z#F)?Ij*5{GrCh!^Vsn zu|RFFY&-jEgjl1L40+_BAe)suV3oaes~q^bK~EI25euRlyZ%7Q-qR4yhRbP^cXWAl zWMqeZw0k=^YxXdoDywBq;cL*$Zt8{ zm>L{AZI%~L^Dhrt(4wPZ(#jEhTznwOUK=}+9QMjd@XoaGK(|3$-k236(F-o3Bckow zl9t%Gz{MW@WN#i*t33b=j$xf*;82{SNJ| z-A!539a+Wh<%i=?mddUZ(enx3^30Voz0eDTKhaqOosPk^wnjjELxnG1JT^J31v)dP zNT`xdCve80W_!%wsnc6-+Hr6_EugwY0;)@n#?Y;|#xTzx`uiPh@}k{JgW_Rob?CHu zD?+N4u-LsJV|NMcMB@H7KT^^It=1TyqlB@Sx_!nIrsTTR_SZ--B!6I*x53$kDHXum7TP(#>AV*j}0Rt7B5`Y1;;|t(I2hgK6Nf{|SPcCr*flFLy96$~=Dn zun)69RUuS>*&R3IEqb80hl>st+8kZBK{-IhhFoXSx0hL zaC5*JHGE$Uhs-Gz{Op0%B%67GjIZ-Y()k_VWk&3-wq5^+HJM~$T0XleABcf)&qXu_4vH#FA`znkY5fNu- z5z)^IuYFN!CEaVn(T9cr<`~@B$doJC0I2%Z1frR1%_-RDg$~B%C1kseR1)_y5i);t z>9}6XfD}5pZDh5Y>eSs6MAu{dJm)k7p)2_wREEmd4;Cp(;b~!v9N!N=(o>SreD)?P zRL*9PnyA?A_uPJ81Os!}PecaXD+oh!FV|!Ce#D!a`deFno3lfi{iAe0=fS1weL-%V z+TkTv5*$i{2ij&k+!{`h_;jb+->VQ~mc4udWMLFCjYSk45|=viPpOEWN}|n>L7%Fz zgO`Z#wa(HQE5JP8sF*fM<|c6U)6=T`%d@k+(?v5op@x|BffRbWw<;HxrV-bjPh4g& z2a2uixWpC**0`?^kW`J(U;|_vJrY8Z2QkX>KOuBuWzCqj_m$+4WrYJy1!PxG*mb$3~kGdOUiT<5KAOL zmD9(J_JpR9u?I-WX9?)NbxrheoJvlB*=c@*&dRl3SM1y=-W`6yBL}Z9Q-EpyckpiOr1bH^qw{xtACxoZa1Yyx{V*WW&qB`z6Ek4B_1qrC_~!^LRs` zt)}F@m9?awW|WMHPWQA3$=p1r>`1BMHt4agTJLl3)4kv0^~)<1WD$<{=RM>6$C|M? zR7?T}T9)z7uAit2>`1DvW(YmpFD;*3>Q_NKb&_?W8GSay(?uVF=vgt%($@<$aQ!l% zH+_`nNCrvI`C8i%j!^W_l|`smMr5rMKd$nIHZo6FSpRBGqNF#JG@x(D$KkHou41B;@_qC8l%>DFGJOQuf_FPkvx!G zY%aKziT$lj_Ji^2h{SP0#{s*UI&?0qZ}2Rw_FFVM{>+>IE9aw5F{xedlA)LUO6_n& zb(#`J#ptHjDGn;%fpBD#4+f(#wVpJt9`_?+ykr@gM`J+q-dkzl!o9FgQId*VlpFK>U-)yZ_a`o|7kt?}`sOA$KnEmB9)FyLr6 zK0)M5FmuFDZo;v>O3xE8fs-8maZRb+*04Z%)Tssu&D{2Ow;+UCLrI(2r$=x~sy=tV z9)smOb6z7fn=!T0Q|bL09sezN;q|(qcOr#bF|L568DkiotA@$!B`dLX%#a?+ zYk$nqBKZ|;a?iX`67qK>ub`D=^lOsnk(^3E0+HN0aQ*bWRy$dEv7rvV>0%0dMQ{GxnT{!hg;WN#Pr;$(U{#IHcggc-!n5q=^3WLTBSM3vsl2l>M`{5OF1AO^o;0T#IGqBLr=1&EZ!eoq$2Fohrh1JHPH=P-HJ z_sX27yY}$op1#`S%B0>i={HR!q8B&lv;mS{w1GWF7z+N)tkUYdU)18a+<gEX(!ooSd+Hhv z&}c!tO+}AAjzdG?U3up=s3G2C)BTu+e}K8O;F)O=Adln65|a4qUqTGM4e+|xXbL@R z%tR~9y{VicX&mXz$Jx>NzMeVbS!&xz+>;er64XP2PUHiHpaxotMaTa`65Rej1nZjr zbFgNJ8b9DRLcXLm!T(mj!vD?w1k;gMkM9L>1emKGVL5l<;Qfa^b;d^mlxnB$H?(A+ zolvqt4CGU6zR^I4XuKbLT=&YUK#b0p!SR*Qt9KmQ~i# zvc^5r{PoKONZ&r>q30H-CbFiWAqfp$jX{_e`SeHS(F-#KiGlWa_eb`j8D+BsHN!@W zos%?l{JS(>ubM=Ox-@+JTze>%1t;~3Ql*}Ia3vTIaOjSbN%>}h!@VjSB%%pK3H|1YWIZh%9X*MzlUhhk>7Ui2wn0M= z|KTRc#qQcS8Cz>}KfsLhvJ%INm4ptK09Fk67JToFjsG2KoMrXBCsgJ^;4J+M51F`~ zH1t)znfJG8GQ9t)0LloFuZ$GSCAxa~7PNNZ0eoXsdL*jyrv_3?L`wl|V6g=D^J;k6 z(xSlccXlkLbK^M4t)HPK8Qi`w(YIKqYX@ zi3#olz~dH`{i{aj#cgHzHaLjl>700!My5DG6D+a@)1xr*?(pmwrrLiog5=O~ox>K@ zBm7}b@#S<4$9L{2WdC^B)8(BUq>-I!%ZQ{?5I0D%jBM;+bUl`WS zp-?P>T#*da2EFG~k5|Ud4yr02an*Q_!-f?D8LR&`2)b!C6!RAfb?FyfkNOu1rQrdL z{S~4*4PhH(SBlww7;$29_5mo+5$%SkIG8+=|Fzl0y8Gu?B9*54PpuJvdS4}lGG_0l zVfB?0AVt5vcwB7=)RBSe4UArve^Cpk^^$}+71&EW_Tv2JWXS(wxzso(Tq%dRj`ju! zM0W!kEzf$yyLM&5@?C|2j#OkffEdKlmazCHsK`JtfEcvXveL3&_XX-Vf1nnLFVTy{ zO8fWT^28N9D7kz;qa;)wU53$ydScpT?83(lkhj;5*mzqnNvoI>HVuGsf8{pln6v1{ zfr20S|2c4o(*wsOOslB*z?sikAN%xAsv>2^8`La5esMN8HZu@x;DKj-c{=EPM@U+y zL=<10FqQ$SE%6V+q|1y{ z9S%kI0(_K1=I23!ZdG14GZE;bD{0IMYB=OHBOO+6Q;>&kH`7rw=WFRUv3o1KuQBi8 zQzxfyc)QAI(Y=8>W|}3g8mSJI1_f+x-=>9=lCnq2Fj6Qh6GPzBQRzuev@Siktj*C` zUF`H@cwy~^*n0Jc@8QC^)5Y;*bZghZtNuKz(km^q11I>fSe-VM-dC9P8rtHkCBWrF zz{WtAqzHz<`hS$CaP%R-!(H=-6o_xpK zp?!Am3p`cOWsiO&V~?JIt3m-?l|<1-rr9un=_AmpXfyME)Ox8&VTJ1F zCx-iDj%HC2+vsC-;bqP*=tmAX4$vL+e&W@zbj}MY&ror7)W06r>koXp zyHka1C~$+E&Z@7FPzvZ02}Ww>(CUzphF?G1_I9oz1h6^-E0`im3SV59a^V&|-OpAG(t zm;hM3@6vz+uX*Gzb#mtQTF?h(0(bE~hEndLOLr3gX}^21le_&xG4B~gU7hz6YeKoV z?C-QPFkPMBeS?Mg-0I>#w*ooueh=9ve*OBvrvl(T`YI}Y-_HbQHfOxX*sq}sfwGRk zZhj{q-Qo9HG%G*A&Feh59Pd_oG{jOc)H&54?LCRha%9f7Cy&)+J>x^SVs_VZ2px@Q zy_$ai_4<{hvUf1y#c+e{oMg@ZkziG4AU=zbt%wp_Kz#PYWC?^$|c@iLZrTZ?Df%oNSYUB-CIeAe{8gB{F{E3Hby)&EN=m5CPtd1$zi!v0DNBx{KzU%HF zU=bx_M&wN0sewMD(Of-0Y3&f>ZV^3X95W3H{6Cvv$TXv=6AIk^ogr?TORju-hO zI7E0fXP{Y5cG5M!#W}r$15$Rxc_I9UHD7iji}~1|<6-jPQq8n|k{Rtm1gpN58~^6I zu2Z?LBz{a)+VBvpquFq4dgv@r73muuqK4ju>c?l_ezw`*G0{*7xYwx-(Q#JITo_up zO)Y0ovl0hV&9~mZEF3p2DG}YO|GLT32M|SVZMJ=Lk2}7d*M|u$=gK^pkM=KOsXd;h z_wmkWw)ZKS8h3kYZf-dNAD3dNdF`w`&Vp>nS)C1}EG_nIlwMkAipz=yjjubh1N1qa zuVq{fxSf_VyCJk5?z^@PBAsA;J(L8b?7B#mVafy*EYw(>$aR1p=@rdrHj(Wtkwnl^ z=V!E}Xhxhy+Bw6N*GaS-#9_z5Cet0Pgg&QE+0r#qW&?bW_6Emf;vS|ay~xgBu@-$0QNXdO_%j_LAEf?G42c|a6j?ebXSgy99`He@$XUJi<>V~Mv zGj@zKplm5$v5)ig@&zp_95&L>3DD72^cMJ@AZgz7(2N@={$e+Gp)eD>Zl|rL_Zvwe zb1N7Ws3lb5q_HQX%8Sm0)LiAARK0ci@cq%37ui2}`OxdQ`4HMM?xi1Nf@r{U1FhFC zwH!w4fAgkyAF|9a7+vGDeSGGuJN_`?D?@gAH^=0PUA!>7!{Isgf>>=^m!hP1 z_ztI5lF6yB)7v1O<-?69z0f`=O~FY1p{}pXUrpIgzHpW!TM@WR_4K7u^XokP$Cf=q zZD*F_LlqV!G7{7m{6t^%JxJDnbK%N&MpB*iU8CDNe33~8fx*&Zj|GWJ*D}&-vogno z#Lj<53I;O^Ubi&_XmEX`Ur3WpaaNTwdulzlexi8J)-x9tZ!**NkyJt>zmQ%TTU5_# zH#`p5CkALpEa)R(On@%)FuyXO^(Lb}8BltG42C4U>&ue|-a=G5tOH*)r5b(Tu^C!> zB>l#id$CTXm|;XS;ay1`YHlJU(0Bs>bNFXY$hXbkp(G<;6c!2a)3K0+QMN6ha@}@W39L-IDb12eq+gai&Iz2b;T)-l=m;*sdluRI zj_$8JxZ8Au<*;D!KbW4Zo1ItG{9ivvNEmAd=W0Hd?=-#uYHe>h#&gTzgM?M+v9}Iy zn^93`4&8k!cjwrtAa&`}vx7HN6EvUPJxcY}=T8yC9|t^t*O~O0`Myp@*$i%nO&fKm z6GlWBg&n(R8nMF*W0#23IAd^yFQ9*699Jqrw0cd@w{r7SOW<@Ns zudDjCj8AqQM0Iv5yZ4LO>R8>8$J6^G`Z+VnP;h<-a!k=8Zc`5_-5Ul=Lu=0WY zX%!9a?}0%pv>IMLYix8gfHQ3>?KTP(WAkgHK?i)*tawPtFBLD zZ-wrDP!!YXJL(moVm;+_Im`2CNTX0jv-w_C)iXE{x2mrD@ThZNu1$V~@3(?T!7_jq z9I`c>cp6Df+B>7Jm-}VTI0C(TFyaqKYOfxdgGM+?sHMT(YQ0=B<%LD7D$ep8A&usQO5afQa!9tsB!OXsEbAW>mp*d)Iq{c9Xmd#<^oDp_F>3ot` zK!NVHq#%qdJwS^^(^iQ$2HuYW8C5GRl6i}+j2`ws%2U6x#a@bnf>>=IPx!7S9}mabV(8XSw(m&w;VYg}bMVT3+N zgR_wws+L(i-fu+I{3Cu>8Xay;CLont``D10ifN%o&X3DI6*u(@WPY3WPfh*d*B5|y zPA@Yh)5=UUtMoF{hAi-*0E2ggnC!15HIRt;gVNanRElLo@QYFhAFztA5RY|(CZb!DX`srx5A=wOODt@aPC zyU~)EdW3+Psj7Z9-@rMWByYt6SGuWRXMOZ zr}6nSEu2Od^-u|f(^N%HzrS@tgpKCDJfv=Ik73W1wiqnTt_OS@54TJ1yx-n;*OnTc zNZ#$K>2$txUQEJ!_;lCTKM^;3cI*?5>tn6;PWjC|{8|;+Fg6h8fJO)MvIK`m00aF*UkNuqPQN5R!- zyw?xg3%OL=t9PG;o#`@j=ewb86H_>xwVUbWW_II6!Mf&4&%7FgmfH<`Y2--~>6+Tb zXF~TWP39AF1$2zVMVSFI@+k^Y;$Q1a>ejj7Q%QfZ#khB%sTK^3C7o5!c4JV_5=$7J7nee>U4_4HC zu8cx`Q7!+He5h(GlgS8NjAoAlEJn-siRTNENg37fI9_Jukq;_{S*4?yVKvv~qZ*Af zyPC6GS%$i|&bPI>y#f2ak2zZ-fd+68r@4IPG7W)5sY&c}I|J4B|8AcXY6tCe+_-A_ z!M~vWfvVO|*M3Fz&7sYhtcyoQM7rfRA79$+pa|jQRwC@it6fQ0nA#%_k2q#n#*^k) z#sSD?`e|vEAfnu#(62YNg);QyQ}9ZxZcSwR2=;sY9bI>PbQTe~)ce8P`w1gb-}}d{ zFY?kQ;=N{lVH+>%BJ?ai-()YP<%<@tMCrfOih2~v5pYMmp)k!s(-j7jj%kVG5E2FJ zByM4PFI1f@`Jhk9X1{7UU#DIC)N|6gtrh#`)8 zHrc)Df70BKtm?BIKZII?>~HlXleQwSrPH=U81{9V=R5m4&FYujYeAt$v^L}$|E#~; z32rC4F<`X!C-8Fgp+o1k7fwUS0}&kcE!%%EN#Z>CqrBw<0)m)L+SRSH^dT5&U3wP* z0!+pdshw19*f3nAX8N+@{O>-pD|QggdTVI3ZwyAtH9uy5M*MUcb?IcwSkd(HA*W+R zQC63f46;SGfbWg+IEEoJ(cOslClpWdZHrtZ2P$Ma&HHJ@(^6qjY%jJ>yxa(EdS&b3*A3G? zA5LdLZQET`6A|UliPl)`X>4PfQPlqIdpE*`QbUE@r$WV&ymy&WQ{-oa(&(z5htQHK2rAghyuf-22H^#l=y1QE|q(+{z{^USSsP{J7HS1v!}ThKkn% z$2rc@>(S9XNG4JLYEvU!1PAGhJ~dRB!wVrYyG8v4Gzp++IbGft@M>L?@6s}a6aDAQ zbwD^U-&m4n!iZ+XWtdIW<)zT@DgT9yQLq(NqbCP;~30 zq4iKq)Z5d=2-iBJT*(5azM>j0(%lI&HXZKBx$D%czh#T0&otSh?Z=s=1K4a}@)pSd zUu?;r4p%=WZ(Z46%UKFNOcNZq_V*gaZ%@hJd|_ku_^*AmU-kE)+qBHp3ErcB?E`)) z={%qc8^l3yNWX}DgG9;lUh!DTCHVy`2#cZFoBD84QDy;Po@fhh=H0N=Nv=6KrmuAU z_Y^s4JZSg$|8q=bRYK0(=Prh>X{`C!_$6mquQF1#daA?ih2=!460TO=<#FtNnTYAO zP1kayF6D6J(t8B2ka${d8{;-cKse!IK2<&PB4ie4)>B&_nA-GL5ZKUilccTLbD!=# z{{w7miU&_~zkeYA=346$*Wcc=Rto~6%c^)e!em0RXIN3bhMG4p^~J1?wp_} z(*xZrvQEYuuMs(lNS8YhitpWT{%cc4uq|3>z|MQ$3hw+DeO&wXV7_TvGvPx}wDUzsuC!`Lzi046Se zY4Y=taE*}8SF-0@qJIf|DVAvcn*!8^|3~sYh(S;4HS&=E2%@`Gj(uWYm(UVa^mG}t z%feSCInrGj=%zqNRGh9{5o#!pr(I8gO?1EBJxTI;0!%6qi7))pnsDqg;yi>w(OQlB zg&Gx-$NC3ZNz$0z#vxT{Uu*zx&<$K7y6_~85$Eiv7@mt`KsB+%@{x8Y#))7^X(oJ1 zl)t%{r%%<=t+=hvM-7v_F~?bV=?eYUdj)}0_NO!}%AI3&3!zP~ir&UEO^b#dpTEtl zcWFefZWW045!ZIENIZKeoxt^c;rc}IrP~*bCe|fm?4o_vDfjsUB5Nsorw{f!-6Uy? zZro=NmKzKHvzbHut#92ke+AY-1NEb53a?tcxG!oE8>RmZ63wT>7nzWTDdJ0$u(5?DnhRj3`hJ zQxiunJK60Dz>7L#0%$Jj&ItTyS3;C8z+n>0+e;WnY zQUBU6ulYV50W;0@4j9f2uS*9cKGKG>mcm?uG5%?go$Q8SBz|F|gq`Wgs1i~is_(kv z`vx2l6W;Suncx5;{fSHKlG*ztv`s9|hL0;Ub78}cpYw_OIW}oQqR%dyJY73ue;yli zWtf?F!i7-VAV!0VRL_yoMaS5#Kj5M@tBX@5^CD-_N{sJ7v$78GkKsI(viWI8Nm_bT z$L#6;2=Q=(IZUCQe_747Rre$~V{x*#it(0DiluMH&X&wWTyEs*sV;<6@PdrfZg_o& z3Op2{+4rfXYf*veI%cIkuu!uMlt)hNQN6Vur`S-xQIHw*BsxnwRy$5KcV1j6W|nU` z?$AB|z_jS1#O?P({PShx9}jH4pSE{ye8=hO*?9NT`^OLGg{y+EiV-I!T4^Nb*}&Zi z!&CKRCl!4DXfJ7)6j_)~Y5a!$ITXhuc8;-utQi zUiY{!h(&(Mb^o`u@}F~N-1c*xe(OPPeyTPqtoVtZapD`QS*}q7j&6 zwu#+Z-Na7Z6{s^-vJgn-oa7v&Wc_bb?)PaqeQ;Vz=AlQv=1U*>bp$>L)_`bBGhhv9 zf7MjH3V_j<$r4mW-RH`ow!9_o+HWYin?)j~fz7>UGQ}}XfQ3gX@IBfdO@*q?@XAO- zDSUAJ*62L@Kp*M?hrp|i)zUXg=)s`qY(Gk zj8)oDgVy26N91KQI}?MN^(la7_T<$E@#aeHf|0{<76d(Z6v+-4AcE1(KRez>#*bR;qla3Y z0&2)&$1yR2bJDN`L@}hmO0xXf-dDwzjz1U#n`{pM`1=q)UhoK1cr5AN^~Mvrv31BC z2^?Ru3Pt1WFSp+#JJH433(F)W;zf_y*wk($$F|XsJmcsmt1=j<->s$akoYt~P^5YDTn1 zob>gksDep{6NR4#k#~p3-xBM>kVY8VH#=%{()cip!eV5tSY*L*c5@KfsU=}cmT>Y?{wjX-} z0Z};|ER9ZK{aFFDj{yF6Hj{*ktco`?*x4`U`;#K{*#4wA%S>C>`|n9{<=>OysP)>5 za>Ryat*9+(&-Z3|oY_a{A4ZY5NJOoY+E}sJk zx{zT|xSsLlv053-^?;X0HHV!*Yg^RI4vtaEAf&WM05R33R-b0Qvzo|QPl4}7|Fh;$k@*#*71_MjRs9VmZbo!eu;prf_=bxZmVZMv^Z4+$1=jFY2|O}m zxt3b}ZDFNQkW@Hri?C)i6!2rCEPNW70IQI8=a}9oA^n0_+ju-um~=l0L#q&h3LB2G zjpi;=nC!5m{IE*6c(kJTrPjHz!*tbs=auReaMS0HKCqS-l<<0N!=qL(edFa!)Xz&F zuHIC>;p#C5ZmaIy`fB$h?cZFBdV@9I=r4APZf!;kb8?ir~&3c*D6ne&1Pez$`2JW6L1uEkUol|-r_}}H_m9?HS_O>;f zaC>_@{N+ZdncIq0ERO>}y3x$6nSQ`%GP?Uo$p_(5{kQvl&o_pCrp)3GMtgbo54 zj*@$%(YWE~JmO-mmRXUdy!BRVNVWP?DG!Pb+DR2sf~IFCFO+PEYij?)Htb0*Hz{{@ zbL|Mc)k{hq7kuEoIo#H(EVa_5GmuCjB<4D@C`VdA^kf#&NO*hE7ReHJM%kX0|8fn` z|E$GpY=442hmV6unyha%&PmM`Qfm@PQjw;ocm`OMJ(dB+R7T;JVjpEJ75e#JIx4tSXz`Ty6;+~2@C@G{FnonpMdw=vDf z*sBWGagNX;H5xE^s_1#^mf#CDEDlXi(`^I<gHO* z#n7i1+r{HVM%X9>Mzb+s3v{p`9K>!lFCwWE}ITV?n3h~yrpZ>8eNEjR5A`@pDXfN3Yitd zvT}H2eaTb`C2xv3atd^4F{m1Dit*bb6sN5xJLiM0iWJ$Iy{nt3MhYbKa|;7wn%KQR zFJo7D61{`k?nrVK9w*+ACKlWFBk0;-1oi{uyM2j^|9;-KQ0w40; zxHdmi`($7^lMWbNUEf6D08B( zoH87j5TuTagN_^BYE{s-?q4%gar6hallXjkF^bb9Re=xaB)SxAoo5tM8k}$j_tTCs z?%&%Olc_U;q`%-Br;Cx{Bp+{c@9k=-HGzHV%K-GABl+9M?94U0)r1CBXM%UTc&xL7 zk3a`GqU*KZLSGZe?YV~N^rk1He7#Y%RZz%z%xlp|fT?fl)-x8XfEF!qsDFrs#{U!u&w^5$!YzVQYx(XmNUJpuq_ijB>8BY#&>it5x6;qR4f>91#8<0wwtWN)qq`Ca zcXg_4L2#{015gc1W1+NaR;XRpXudDSp@s0Ij_@bkll1YgQE>}+lk?R>8@-!jt=Ft@ zqleX6GWKVj#e7-}J?_TfMB}3&MfH!Ppiyx>(}mm_uTnHlifqqDX1(~{g(>jM))#!9 z;jEi-47|xq^G;gyNnWYaQFbw)gHo&dX1y$Ru8p(_8I1=8mksKzSXhA-W$~0znwW9O z+)O6p$tn%^q>dVf;En^eyEz+lVSn!0C<3hg$O-kfYWt{a=V zCnQO>=4&ZsKO8Xm>)89+4cTIikgv~ZLdt~TzK}BeUbk#2AY|iOmoFjbJ{MRV_;Ouj z@W~I_y5R*!7E*}O`+Y6NqDOXWQe1&pN)@5W^tVK>LF+ISb2*CN*IX$JNl;`YXWAD) zDus)7rt@GP^ZV-|20Mj2~Ox-Zhqk(QjVogp&ksvbHD55$EERfuV$@QJwYs#DHjx9wU5mkJ9HD zRZS^ZERRz&p?HfDW$VDWD3o9vZy;t!WjG7NRL=NC?8aGiB+dspvgN==by?%_hXCPX z(V%j$sjI;169dYwiqenE+cs?y11C@}sJ=FqpwSebsWD+*sZN|zPX4hBoLYY~;-cpIVw83m&*o8PdUKLl4^6IAJk#?-bA{ya*`~*~kpg#;Tg8p<`Ia0?s-R6VcbI z3k^bG76;fUweqXA{kW}phaS8pfxLCUkli$Lnj4}ZmB$2;etr(d*IQ_8b2+#Y$r@p{ z#s$Kt^13z2s*gU>t$x~pWkUst{)aZVCaWsE58b$!+4a1k%G6fhK{_Du48_d>YDr|m z^DrMHnIRbGNy;oU`%nwJ;pSf@cIel`fv=WL-_2i#MVdP7<1zkCMym?U%|k84lrX|$ zUy1g=7{h(kB)`+7YuA3sf28Yz|2;Z`Tz75(mgR#i^H9Z!{o${B;CaY;QNaKu8*fpMlCKMw8{NB`w7S;!R=?Gg*pe(r~dxg&h3r4fZDFIXyN^ zk!WYE28#t#zU`ybLlIVOALHAY5bZo{r)GXigNAjBIxR{1`AGzPm=0B|rDAtUmXSrr zyw0$-)epXz>3!IFl%_ebt@w`gzwhE(8$QmR8xU)el$$TYWw-1y95ve05 z;Y8a*U=4ezC^vLId;=MD@2Dvb!|#Ro{+>zl9dUy=J9s)6&iK)Si*X`;{wIPFE{Fb{opod(NIMhCBYq6RZ>9Zm#yh zMstGOW*!G!GZCLl$3KVyoMd+A@jfS^fQc95%XN?;``6}k=&7CL1B%|}Qpsm;dAyUi zqoU*%Cq0%C)DC--os#J|AF0JwP+7@BQ8MFeaE(EH(XDhd`Al6pX#@}RjQMj7n{7w0 zArhJA91Um{d$KVRW~puk1W{2pHAYK%Dz#N876@}(Di%;gohT5Q_|9T+(Uq-}W?S>v z)27E^YQqHtlREm#dHQWq5f-`$Esq}X1H#9)G9-FOEKV&jp=r({GGwvG3}Vzd zp)Xo^(Ij@&PZgD|z}CzBX%LpHO%mFcLZ|RK0m{u#hxFf=ytJ8)C`O+jW`6Fy#_FE? z;B@zA=zNYXD)QMLC?Sy+CLpC`|G2C57N!|zS!7Zrnb-YUCdmB08Yj&i|o(09omQO}z{Kd{NC8=UjI=t`sMd zZuRvhx%ssu#Wb!jGnHSgXasiKj0~g)9!~O23{l#?d+%o_$ z$@}&lDTbTUu0+$fBv03mOM%<<^(-os#4GOWcG7 zH?YM0`qhxZ_mX|~C7w1HqSxIjkE?(=S6* zVVNFeqcFi+t!B#JQ?22mx8i~~8HI_W94cn?u}p`a7Fl0-vuty&&;s5pO!TMug(SfQ zms{!PDk1(?V>6k0YO3ia*{W2j+z^ij9xrb^*Xv67OSLc-@IX*oDYywxkr6Jd;G){u_Pu8xWlwuQn%&p!kM6Bj`CXYBC?u)@JgSM(%~51p>*K zfE$k)b!a68y3#0f?q|-)YAjUK?4IHNY~v45eH-GEFfx(a_naPTk@ZXyaz{7VpEXB* zDDspQ+gr6Kh4MAEgi9$Yl}#>WnO=6bd`KGStT&F2k@ol5Zk9xAE%u~RL1zL!R(6{b z4`^WN?KL~?^ingZ%x1nrm7jl^@2iQv)cS0T_U_Lr@5#-dbyALixsSv5=9VgLhyiN> zC886jJwSw0wVPDU;upC56NYibj-)|6LPT}$1* zvAml$w7Qenu#cxZslx53s;HH`8+K`2cHq+Rm@+{Nx*}af z#n67$Sxr7x8#G6gP%HnYz;>yE*AJ2lXT`bd)8Y{|NvMFUwAhRWm2Wg2Xi?Je1^P&u zHG3H62{oKR*_j$pP6(jYD*X0p#R`EGgOF}MtxFoH>-Gok|J`N-1|r?IREB* z5QLJVKmbMzM0JnKeFoH*9_N{}Ts%DJggaI43Q(KRO{YaRKce3gH*j}JBLf`=X^>1C+Y1Dk;TA7qtY){pClvXjaouEnu9Ky0Auw?|e|F7cw8eVI_QdacQ~fjy>g{fl&>qc#nf|XZz`r6mQPrXQx-|_^ zN#NMk^!nuJsNy%aS{2$%dx3Dgy?|)vY*U`M!Pvqiou5D~RR>lC;w3|9!^4xL+Ag>w zp9xwWOLjHC|7&@vHIq&LC*ys^B4vRI^0PIpO^%VGwLVk%o7~=J!$@&SG)UnvA3VD}A4#TJ0^abfOJnb&d)#(R1RYb}oR55DRu- z!(O1}YY2g;SnsT3?erWGKt*h+>5`Z`ael=rbdj7zA%4a9SSwn3m?kPfV=?xXUei(6+9sxtY^G^U>|Acz4a% zS|j%GxA1w67~AQB3BR2Ubi3?^WQEN3#bC%I1SL@eT-+XiLN~iufm|lx1zU3!DCNu& z@s(4Ms#e%aqmL~Q6oC5KIVaG!F$LIN%efQ;TSOFMAc-G8h18wH5GV?)@ept_#U1(najqY1b3lcui!T z^kfIN)*HUMS-5Mr{sr5ef5Ubv=xYC4YtXu5+yOpg%L+TzUl+F~nJtSj>tS3L+St=N3eG32dFkxio6f2*c(qCwkx&;~FmovD%TosP+pa z&y*Ki+QcxKH|&QVT#Vu2w9o?%gdPO>9&t12bKE9$CqKi$1Y+ zUT2PN9l-_~kX%NLq$Y`eK{j@TenJL@_FRZuM~TnPvo{K)nUF4g0BnO=lRrKpK97rF z3o@TaGKyB6&co!#kyPtxidXa_+q#;M%bX{#Z#%4L@*mE1*-v?OPy+MhZE3bs2bBz! zta;J>v5>XJ89gtjXPi4rG0Rh4 zEd%{cPPe9(k|kw-vOLa;Jwb_lxFR?PR*ZOsr9;)T(l^v|>d%r~q)BxuB_!c`KQ+0q zdLw8H1pgMn)9H=oofM*+RU}SH$HFhas6EZpK6%_Nh2Lu<1% z(AMV49~cwR`aT+Fv0aZPHE>lXb=PG8Mwc+*AeCU=YdcAvm68E_BJC;6nP~W{@xFpy z%~fGthzG^xd=Eey`Sl^-nz*monN5Z?e2c9MuzCxusZ`9ONkJt<$!Jlz)z3QOq=uSE zgCtG(_S}G}dO@oEUcXsJo_h;nLMMLZW=`ZLJ>RodS9Re?Q%a>_5g3}{E#Ch~J8Uw! z1nW7&YuuAqD2C^YosU0nHH>F)5G;|_dGwXW99j~q%Z{O0HpPIj39L=Nyj3v7+lY1~ zR-dCRC{L0))lUgov}3R^{I#1%8>v77!_X)X{|l@bNfUXlo?a`5*5%MF)mhTI!>|xr z-Qh(xpwxYOdYmS^tB~$;c;xF?c70646QYHpr@>IIBz3pr#v;FSABj67E3F=7E=SwE zs@6>?yOmTeaoqD21+8(E-ux-IqjZ?WFUAW(JngFtfhx^fn^?m$A@;W%Yzks7Dy;(k z?c;xcL)?Xz4K=OL1RgIojW?f4kRvv$ti^E7`qkMIr3z~L2-_Smsa~WEX$qpt(-)#Zl_c|eEFHtndpSC!| zOX$QoDtRXDe3I}9hCCmz&Gt$VPZ>y^xD4hUCO;{udgUWr+lS^Xl2c9W$T`bbp?HG? zI$gM?`_MuG9z09I%_cL`9{E5 z72qx;;ZCNPp5#re<`049D$NM(D>QL}A8%VHz2JvXd8!>E_c|Zn2cqnGF?T>zE$Po0 z%?Tz^ht|5>Db1qkh``kpWw>JnA-8$Jhn9kq>jyNdTE}P+Gv;=-dlyx9P0=o?%5PUX&vN}$t@2RIoTu<7D(J#|`V z_Dgew$u!rp7?YfTtoXhK`28f--A(c>t|C7i*7b_!*!0DO4El`}))Z;ST`V_GJ*F5P zhT?!{tOBw@RW&oKJ;Dr52nWf)RP1|~gSyh;>M|)?)8lnYYVu2rZIYXeS1c3JP)>B+ z<%_Byeo`M&$hX^4HUfNGUmCH6y%sB^`L;?}jJ<`{Tim?h=X;4arvTEoLY2a|7c45W zrz!?1nVfd+S2PvUqZG?D9IItSPK+Ga&9fs0lHSnKXvfWv?>65S%J_8FXMcB02{V|Z zr{A6l*ireP^ZD7qeE#+SdjUrW>~GtEmU#!X%q1$k?V}c$BMMXzsFQVz(y&)()+o^r zJLs*)Tnhq^^J<9T3kxU{?5Frqo!@op zKH55nVYykSmeEaE1te;C>O``w5-y2wXsiq2=Xoy!ULJ%@*^i%^OCk zC&@M+qk45uV+}<&957}e?$X*c2YqduN|Lq-UCD!_u)cC<@v|+-ZlpsOJz~Z?o5az zRZEi}SLnCZMX-CEF`E1P5KV|FO&;|DjrGO=H?7dvs%F_3DToSXjh?=~Yu|tCFe?|z zXgZABfeu4?f2sH%9p+!xm_%KY-I@E{Syx3_>B@!}iKJeBeNjN$H>!-E<-4txHdYn-Z&-H7P)t4Etq)*q&<@*n=R4T&}##f)1 zJDsvwh2V8`2}PPaKoJN)i8g~p@3ng)mkgnaE*v^@pk_^6Qba&|Rh^L>~9$%qC@Loq3RDV$NnJcZ0e; z6l3;WY8f=0%8TnXSz8jfa`Kr^aD15rCVnwhSJ4avrm0iJ>Sig54VqeyK{6Iq8#v%cmRWvVKQ6jPD*DdXpP^Uh1Aj zMb3MvZzpJ=vxOmcE%HP`sk&(XI<3RXkpi&OoyLiQq;4IH+DD5MnSD;Mk3&#M81#+8 zNlf9&r+BZP3aMv^y6hp4_AO1CJ1k6b;RIOB0c7;D3*4EI{I*RW5p9@UpQbVzTGFH7 ztg2!|RxDce*o24dawU1CwZ{}?N5LQIpkCP!jcA%keWV>w5GP&PU#*eLFOM9tO$2+j zt<|^@7u)u(Sn?OGZe5dn*qbaWTs%!=Wl~(y zA3uooPS6g~`xH`nt~*S$l+%5jcoLUM&|j|r%&Qb$h~AzkPmC;kdz>?OJZofGHub8m zZ~8ck_beO0sLT!p3r-V9KtARnAuDij@RfM!?UBt$&-uVhlOXx1Tl&9iI9M*`68I4I zMz!Ykb5!`0#1wcoTh~X?ZU#?0ijutLBSyDiQ+YKrxf?Jpv?O3WLn3R#!Qnlo#fWyY z=q)Y>XS>(5__hh}JAtJt(LCm=GFn@eXY8p68#}|7eTC#iX$#$Yxon>?qDhe(`Zy*) zQguyRPqN$pJimmQ%w|;=Y0@eVB{tZ-!x}85ni>|NL}&SSFYWXGK|q<$9|OD`?*pqNG^+s zkR)G*14QlCDe~HS&o!uJYmW>sNvRt1KbOK@!9D07vacb5!sH4XvC!wx*6h^ zUu%NOQeqGDmVSB19Pa_5O!mAe4a#;9yJ;CoP|fSHYU?&3No)`FGV%1+O~&kuEWFE} zmGH~YpoL>D!Zu>cX!ShO!u(iN18bw@NmK$*cz+ z@@GV07iviJYQpY`4rDni?i`YYI95#oN0~H zsPK|KRtm}(Lsg)Ryrz}0L8AA`E64vn^c>i`!D33q5;yxy`3~P6`xr&U_4JyM@K|>M zMakZ15N3I{A7;6`P7AY~;@A(fOaX`Y|C%a7wCiLK_VCJ_Q+fCMO;5`^$xEDO+;&{u z9Tzq%=F@KkOZvr!79u)xK!^*~2^+eY8<5-g1r#!CHuV+sN~ZwWZewTbvpo)y7?Z?& zRge3b3hGv7+I7iZrf?|5CCzFV%$W{qILXz0>EewKA&tBRZ-#?I6Q7yN7YX!KYvKc+ zCxI5-L8u-W8m9GV=M|RcnT$PE6}PA2ksZ(?2K;(f-t2{amyTKaaUGCcvTV_)cT#!0 zcp9eAw#`1%@T32eAIlMRvqI`c&U$q0oxw$#c%IrK8Zv?&)2O06IT10T)U1#u@{zr! zvOP$q^v&ULOWSBS8J#JCY7p;dIBcopWJF6g)Kagy)D)R7ky&cqnDx5cpdXbGPLrdX zIrI_*7fsG%M-w^)gs=B20DfC!>v>f)#kHxp*WZ->W=Mtr*-{j1pq|OM9PBzMmIsY4 zD(Xx)XbgCB_q@psc_($x{w?Vb zs`JdfYhmd^*=M#vhc0xrla=qd@YXVj)1DMF#^(pTr3=^%X7G#pMa> zs7obbK$4u;`Msf%;mwJY#Dj#yT2}_?gRgy`q5Z|;q*33;UOR;;N8A8rgWPn=4vgj!}$6)v~?ZV!Fdp(YdJ8#R5YO6K$JTB|slv*tZR{`+5qPYpr zZTN^TkszsCEoP!d=VbuXLq0#VI0EzmKBb#3IzYrVw;rD93cIuPp=oZnel~`Hsr6TY}&G?l*MGzZ9sE<@oAkcZI8c_Jg0}>ODc#K`$C$o+{nfcK!v7RN{ zwN8yCjgDA#H?L64yqhht?5-s*H` z8nsw=g6UJ)n&eR_v2LAvN5UT>u`ef-M zFAzn}y*$dBYzv^XCa81#UuH@q?p%PKEiNhyJMFjblQy_U_kbPNg_rXy%H+_p041O#>K}B+_9*cR+kiUDo$l%N4heTg*+Z>dUlepVY zmX~T8X^zK+{h6O!%nh{0TlSc{A7UAlnvI2lxMnn^~xn6vZQOG9UPSr%`k82*yp2o~lJD z$iM!pxU&I36Fv6a@$0MKuH9&`l)S4o_y#XOE5}a2;}8=;D!%`bYZdlW77qW&wObt( z|B-9O(rMAK3qp!-X}>sjM$Xff_9-*BoIX8|F%zlPC;=N#1@oyfhl`{kR4pjnjF-Mz z%R^icr$<^;qOGN0j9vMbe=M_|Dre3vm*;4DCw*FONI(Bl(Mw@%-T;kDdAl4w zZIKt{I)G%@)2}jX`aaT;)Kc=(0^V9WCHa29&h=4%8*ZG@TJbJytWCG0%75v?$$Mm? zp}K|20uHKk+%uY9UsJ}98zsQZU!v)?pW)?L(SU@@N=$^<+{BrQZpbG+dS`eBLK@dv zmBsYliAV@X0J51GtWv-dVs8qgoD^Z)^rQ(KtJ>~i`Oj5OI9dT{Fgnd#A>4e8^e`~) z-2$f^I8=aYT`<+Q#;Xh|B#%CH$oSF z&h6UJ4Dyz>jG@`GBAC?~vAT}!i;r0{oYt(x@mac$)JF#Rx1yGfFH*1yyw^00=h(yz zzuPP*i~HJn5rd?(NB#AKrrJ7^6sgV>I{Him7ZhQ}t|mmgDkpQrlv)#cZ>d;~RG>q_ zvi#~CTt+5Cw;T~);0Cm{r}mCy{XJzRsQ_W_YbKW9ummLCIphYCmg4ctqhK$^8T|hO z3FL^}I(rTS(6&YcLP<`e9>PYw|`}`-AyuybG4zqosIgBk{oZZ=olv zmn|<*@H1Qnf=&s^SQ^}3JyHb(bcB9vMG53qxZ_kNr4_O+3dExRE2lm52s*qRQ~u3 zt}i0#z@`7tU0psYT-d@ko4;2(cb_2tpprOaQi3Y0)Eiu99Erd=N@!E=^o>PyTsZ?N zXekP1HHBTbd#Be1-OMo%)Eqg=x>0iqWiR4y09;jAV8Tv4W}5lJ*TCYK&SQ-{o5bso zhXoG<6E{b+KY-k->jp>kqo$o`%gZgkro!Q?d;`Wpnnv4x$eT`2xhmM7s6J4!Hn~ky zx=qhUts%^)Gh5pygC!vOcac@MoscHmg!hK#TO*BH_o@dO&%Y_}euK|H?QI|&W2Wj~ z6fxd<4MCYN@N!Lp8D(7z7VJ&CAhkf#E~?0`3e4vuC4hL*NY!&Z)XnwxA^Ofd-fl&j zDWMarw5QqFR2$VAZi)V^CO^fW4HjREj8+xOvcCqyT=M5R-Fc5C62H1l6$0Kf@T=(N zdsoZN2jL6#gVl74Pl7Ked{3tw0f`DL6N$sX5Ax=>BA?sYfN30sIXp%83?Wv5i zkXDK2fu(apIYEfZEPfHafRiNZPM)7&ZP_H3bKj0X230)WJ+h2UP^uKlzL)E+!nIZJ zf?C%6827@6Jc_jBA|PEBCg+)(~dO< zyer-KS14`A8QONS230=-*HjJ_>%NRFN%A?y)v)bldM>JuZ}BlJ)IZG43H{=l9@`a; zsa1hSb#mm6AL|9uMmvi7EdY3QwWtiT`&{czIsc;Ka#&&W&vNcvEndlPEj?}6EgA;1 zV;c)rsVUg{p9gDp>kCn`^>-5DUdopz46ej=G_GQw#v3ye)2 za%6I2|87GDB22{1PTEOcDpmcEO0rpS3hy5>BFC^!GH$VT#5-V89zngHIdX@$s<7D7 zJ}1cuL?n}(^|rsZtRpiywG84E%i!YaNT+h_!~X( z1>L)6^yuB@4!gJHe^dYU{^rfOgNYP+7EGihhj^uzS49!mi88Z?lUy4=Mxq9DRV)w> z`4#T~R6|ra?XBa!$8&mrcTCfNxZ*}7)hhyQ$YBdjwR=XDZ76TYd7ntI+FC!h?2z^t z3G%w~=i7~Zk-X7rX62plO@E&8b6T6lRwq#rdyR(%yj{5h$fEI)9T$ipHk@`Va^Mz; zAXohTqdeILAW)w(Uv$<~xdE)M17{i4MiAjNmVg$+L}Z=D|)ohzxLmT_=7y0WOs0^L2GG9vSBP$d}sJ?kYy!+bJ}z zNbUQhBBlj$EHVoyMk69q#nKm~YjF!d9P=rCd-p7JZ<@r1@_eW_P-ZQ!vVU<04-DYxL^9 zpHsIao8C^FSo?SM`eXS~DS|MysTwD`m6<}$38H6mEYJq9uQlznt$Dt=4PQP$7zQZ; zQ8XJoiztG5-0HYTJ7Vr(g`u<~rjsh{NMr9-5$OqNwo7+202Heeym=kCrH$o((Y8@u z>=XEt9DmZbQJw*+1J0T0U;VVJ_4NLm!K2e|MSOn%xK35iXo&ic6zBa*UV+SQkYJP9 zp+LavTBRi-YD}$)C|7<6`cUWhx}u#puE*$eY`dCmmQDl72rys&3L}>f4zvY0^R7ug zf2jwe_Esx9)dRX$;}o?E6Tf0|wbR3H;q_Ua0kKbllu7kHnuaYT< zZd2NM=N2%O@@Jb07(dh-e3Muhkvju=)0NwT&*OXZ6H06gXP`k6Ro7@sM@55O zlQRBvRhJt8@s7(Af%)aW^%;dh4Kv#Y&iP5M}| z>?_<-fvA-z(dQSqx}}q9hjmxyUGxA;RBK&HQsNOIooY6tRczu!B^x1 zltrg%t2`CESeLJV1{;>Pig8F0_P2N!IT#w-6yt!A0fu*6%zva|<+!NI;*P&(`Y>sD zQ%_36@?JTFd7y^l`U3+!F4v^|6+`%uI^~e0slPI^sXBqu`xM$sq20<^5np}#^a%I^ zYXW0j1r}cudv#G8-5pM7MYrD5X2Z$|aAcFfovlwvCS#XOn@c?i*wDv(5o^k&OgNy{ zV)7MIE*+Pu#uDIpo6Jqi_Ou{h^3Q36VrkIfs_KX7yZXm@cEk^H@mKo#YMarZxyvH~{8U-TkKdkPkECHrNtvFAoN2W zL#**uqir7Q9|-l5czC;LOBfG+Ui?=kRDIPwr|r zW@|wuOu4(Qz}pZm)4=yHOHuB!hHU34JYnl6tfjG>kb@>XtqJDpQXZSi=lNs%YsOb! zBWiTzh)zaZ6|1kzE1{R|BHxUc&*0~UBLa=bx(Tb=Ei;RFNYk-q$wMiOlw=I><6Esm z3^a>P&8rD2BlRB?Y|TUi^^3ZbMPiPeSJllQ5o{?m$2`{Md1?ajW7h(wV2xFolta>c zpc&p=$COWYl5bEVXsQ3S z8#~osWz_;Kfm?keH-}@V9Q*QOz)PxE4N>`x3EvaGjGEfd9Puj=rp==7G*;T~L&dY! z%(0?qZK55z-@E0Sg%aJFiXR>~#<#`cl%wHbk4xRI2&4ih>5O=#qC4(;m=BW4mO=|V=a;TfHjq$ng8Fw2O7+D#jf6^Gew&cY)+?Qdp%XANK4|)O8&2sLpgl+s=Qgte zFcSQp2xY@T9_P%OoXNhffc8pVWNC?U_O2+c?9*z`uqKPvMCr607&YqpPVw{HTZ1LD ziWU3x1NVesxZY50tV0S(tlQ6rzDPTB5njy9b#nIB8Emfq0b#9xv{_R3RuIHflunEE zth1Wa1!Gf+-h}Gp!Lg34^8(Eo@*|DLvhb6LroQ;!HUO8KhRsMtarzk$+NEyAuojSM zoC~{!@+c1g!Wpe`J^eakTeFMzzqOCNj4>_L%tf8=3>#xFPy!4S1?kJi-r>}R$c=V3 z`4eCsc#jgAIq=KXV=mtQL^7ayRI|`uy;r>o3lqkGjFzTWm4?!;=l0%U$x0K}a7)wt zZ;>%`B<_gt?yr_6h6+2FD6sS4%Tg*ly4ZpAQhh1&xAm;UF z$jg}D+CQDdPCL#)ZyRGnmB)`-wG@_Kp-m(%xxm5CQMK-E?ku3lCl=L0ru*?$1OcQ3 zU_49QlIC+NK8tG}{TcKq3sHdp=u8epka-Q;&V|g6hAtT@6}#=g>kOu?Nu$)X;Z3A% z%)lN;X)wXRma0mfEsx_>CqX2e?Bk?LjB0Kvk~6hJjg2|0&m`j>0H6wF^!ToNIHv*f zAigyvBt=K6ic-TJ^>9XNJW^NS)<5MwBnQ19RpVzO5GFhK>caTS>CO#V-uJ|U#*VhC zc!PsPFN=~&-NtT(?w*H`(dNWKCn1ZSMczVn^pDId$V}Y%d$6RBj~8<)AjY2qSmhCc zA02&T3nG6HzuEkQRp#D(DfvIN(*I*9HBKCPG6lxlKoLR%oY(yRq}8Kkzn1w~!;B~C zPg_G)Ix^uAOSN|9x$vCcpy67J#bg@2P-_OF#dg!?a%lTbH$CJF$KJF403MntJg%zpg*fjqFhuf)lLM>z zjR}lkW^A>9a`EV6lKy_-*Q7fNkw!ZU;oaDR^S}2J357~8Lr(Ghbybb7Tt~AF|hyC+Sqtd3Kmp+vEr`&$e`Pl_*l2%%m zyT*mkMAd$=U(z#wa0%J*hxke@YW4Ql@>h?NH!>kVZq5LygP<2-hRa15y5~q{<+E+Z6 zU-@3eKYd}X7fHC*j#MhQa`?;3LXXUJwon8ZrK*2rr@o7!Y0JuC+-FddhKZ5iznT+G zwjDd$#?{M8Wv@6)%@4nlsD+=Jco*8IYG*EI|9M7_;zHHGMbB+;SE4T>Dl~Jzvx7&1 zTEL{O@1B12J`u}z;v4(Dc{$QURH(vDtX2{_)6re>JY)!S{I#Mo!{WQotF4~qMy2uqFW4ZwQH#4}E0^!m-*ZCB>$KK2I7(U&S zp8B6{g*&MM%qjdEY~MWY-GnUXl*v$O29nF!-s58JDrv^@UgWBbzOQnb%*ojV*RFtA z*|&Q=;(4~J)%{hDT{K*zYRT!`7T)$_3aodp0G5A<-g+KSFyNB^OULIP8vAF!y`HGH zwEwMVrpvz}vxrvJRUjbLy`|4ScfKWuOG*YgXGvnU69e3=^t_}&NsY84G<(#^?zVij zTyZv_pB_qGxh;Qlnj#EKb0L?1%#Vz>tWMmmm>~DanO_pLwHgmXpQD7*U%eTIXY0q) z1KKNcV~+J|r$I0=H`B@8WPG}Hs=^>{RU1x+Y(43v@fW#dlo*wr{5fvW#w7xG z-h)AuX)#`{mQzxOXQ7n=d`xp`@mmkf&zU!V)V+bc^q{W<9*#&u`x_jQhf~$p6p#5n zlOA3Oe&Wkt$iJqrn6oTT&Mkbg?SQq67cJxP-0c2qvZ5VQwp4AXz*-%MRhmK8m&_}V zgsB_ey?Iq(mM!OxvU;M*m@jhfSBzz1pKBYbBmWHj&9fGDb9Ge5TcCbpn|GYs9!70J zc2VN#2Oop=7zrTnh+=c`W!d}I>}PLAXdGaZ{;cte|Sk=8I1#EZ^F{ubw` zR=q3&@MsgKtD+rll>s)Yy3&Vs&a8DZ)nG-IJio}+C?P)pxYN>jl{1n$8GPueE9EWI z?FH_>_1`<9Ky$Mkn63-ECTZ~H*#@C zRgv|~T}Pd>0=$b(hrx?JnCV=iHZ#5v&&e zgpjPhr+zTKmdlyir6A|9zWsY$bh7zOLyl_x?QcFA+2Fi+VoS0JS51pOBDHx^>+RoaOjC|F*3T zl+L4gpOVb(pJ@ad>;Y@_(N92wnFxg}8VU7I(bR}E9c<2PE)ROwld}+;cGIzQ)VN6q z(rCn^tr`zc9=ANEjZnf@__FzEM8T`A znWt@4?K6#;jyz*ia>}dm^a4797ixsZg1p4+)XNcr5mzBk)h$%%h?$9MLS_Q-@0szI zTe_-m*s)i6s*DUx5zH8I7lzJ%3(qWxD}TMmZ*vg8)ycLsQ1mFlZ6X5lh;o7Ry8h1-ec4cNPhS7Ut0h-%%vbnyND`z4&8ZpWUH>*CRCpO4{mq{bu5HD9Q958f~z*Y=T@Od&kr7T zZ8GePxK5}JM0R06(+kh?^pna^S%v4yS7{dLi?aN1XK8)#8|+eM4rgGO`iE=S8v-Y^ zErwUtO>8o$YjNOtDYrZH9BOkR;2Piu*pSS99Re9h(&K_bUM`jBzG-TMT3f2BsAaQm z0x-BWuEvt?^91S;IfIR!kG-PleG}Dm%D8j3ZxS)7jn5kT+tPO^+r|q?lW>w?ksoVCHS+=WH7wch zYz&3mlPW~c-=&#iieVI6jKST0K@FH_mdaq0wI9qY?P(cO5|;03MyqtRocpYZmEfdw zniH3j4TXs{j3Yw{Ud78p6*|Zas=1Fon#+AG8kwI&)KbyrLdfl^2+anoD}UUq$`=)< zYO6I87=!#)l^=|POsDLBnNBmO)h!_U_wT~-mljYD4?sPncX#I!>LHC)^yvK;2FW_# zx1f1RJze}XJyeU$N{B^&MsW$Sbx~(%q6H5=;>;zvoY2si81iE*Fp4r0;dMiTYG%1t z%vB>n?7*b7i{=8|p%p6A3E;_JW=4PD&IsNNHjDcGuayI54Dj{c{rrcqMk3$M(DAv9 z1&0$t-SBG3p;l>jw%%z^$Mkf+B?Zw!iCbhss368DW?+nQ?59U4}|8iW6V54`watFVAS@amWYs< z@t2ZcT-SU~&_lZ-1U*n*Jxd%RRzfn#_XuU63-fw7yEU;X_Sy{T9y3Vn-7xDJ!lX~i zzCw*kd4av)f788pfFPNwz)|x$u?Pu0KMKif%1UF;vTI>X4%gV$;lF6TG_X@cYd zrI*skLClU9BIUp|@`%(2uskVIyF!;E6$bi1IGPRfc3Hxo79bs&9O_w@b**_|dk6@t zf01X|&j=TFXHIMH6F|Ggw~EaZpOx?2)e0xYZmcCd0re5bD*5nvd{w!tdEE>D)HoO3dcm6C1jVW+sbw$R|6KQ}7k+Bvq`sBTzo^sC4 zd?auS_8Q4#Y@)fHXj5!7z|%BmQ3V~QvKWEsNc3&ixnk@zj*)g@O4I?gXQcOhcxvY% z>;-paBXt!^G_L(D@FgB27HvKfsekTWJnDDIxC$y8sLxu1bsSd$sbao0k&29kww|YzhS(-XoE= z3HGLvZ8^&JS9H;&p*D{^QQ&%pl#rdeIe7xTKnb^!+TksYjJGs%NlV=`TZr4QrPykf z+zq{QEHa^)5V%ai6-?&EWH zXso&20pe>dRFmpuPLssl)$sd-6y?Mo`)m#}oeX5hH7!&}p`1+%dGT;-(v>9TKB9Te z;eUiD>|JS&okOjkh#4Q9xE$WgOMi|M=;X_(U{vo#JW>h^7(1oul6?O_uHVYu2{6Q{ zjyeyz!=x6pKNG;W?K9TyPS7xf^!5LN#uBAf+H>4x4+u&n#(?pv$b>K5M zdEwLu9|ZYD$9`;$ueZ&MrA(N}Me_7mW3%+P{LdhVZ^2y8Sg*Uy9J$|}>ZRKXSz!bX zmKv`gBOSb8%^JydB4&|DUFvALweSY8ly}#h6XX+aCx?Ar(r-SoJ>EokiL>n@NamZS z9&YN#$HrVo3=QM)PR$pFY6W;TJk2)@-vFDUbIChdw8MXxTj~`vln2a`hb_Q4;y{&g zx@M^Lg25HWmz69Qn>@LRnX}l!t^uZ3Y_P6ApF8yO zOjqVxzWa3AJd*JdMvRG$mf9f@ZNZvYOA#5krFn_8K#NzT6Z6~E#wd}9pRs#mWD!L* z@liZ)#}>Qf2}xNti<=I{!r~nEyn``{uvvSZUQM)4kGG$V!-7_J{1PhPeupfQzN>Nw zOB?dN163|(oUYbc)RrYRdbAD3;brYtTsneNqg7 z$Llph#*FhOp8z*wO!$_27kZzWZ(YD;os zxGGk*tO>z;d$8s@rg2l7;ip--H{?K2Y|lVMD=ym5BWFvdawoiqG%)^mb(hhAv)oQ| zi0-laQgUgM`hz*%E4flps29|yx^^c zhw*r9RZ)hS{%n^`SM2NOoo|esNez(C@-~WQpYu{l*3^6z@Gz9xh<&GQ5zDdLBSVyz zo@`}n=bS)Z!BIv~ZE}-Mq_d)U?sR;U7r1+q$HTV?=BVpxYYe!k419iOG_+nsn8Ylx zrL-)L5PV0#1iET53ci1M{tF-M4Eq;8Nbz6z;LN+AYWktNMKfPPns(&9_x87R`;e6s zd-08sUD>XZgQ2-1r7eO;Q_4&U0SjW#V+VsUZPQoV?be~%I5nn*YH7*Y5SoXHK|Hw( zvm5N6e5)@_NNMEZfK7XWW7L<^b1vrxU798Eoirh|<>4`nmUT?cL`;cp#T2Kx-z~!% zjE)-XjlSVZs80th&eT)#?-7$03<$I*W)VEhPh?gAnu^R_5ni~BJ;R?9@VQT%r9Lc8Vt$lY z_F3wXm;MWm-X>PJKy&_N&jkUp22wnJ6YLGu_51NzI&>X=Mi3;wyYwBtuhfb(x%@jC z*vLzo*~?*1ED(HrZU!ls6jW7I&eK7u{6oCV;vs?y(lFHnvKdhM|Mf zyZX_~l>^ZX7o-LeBilE;2;8KwwLRl5M%z$;l-m$PY{v7cQf z-!#m*Ry!oL5O{#-akX+Ytd^4ATBQdt89-$`~aS)3;+6EPoKh-3®{<2doPXK-(fy{VN|b z2hOdmR7ZF+&ajT=MpLiMUqGv;A38tP*Ze`j*JKwi_{tocEi`h&#dsZhCCLwbFu3qO zgcKy6TuO%xrHFVB;0nu+8yDry>X$ z%HqV09as9l9e#dX#}|wQ;{}xq$g^anH1Hf32a4fXj5G%gE1uFqkv&E|N|PJnpDdR~BkNn$_!3_K0^awQ zKC*d=_`w6q)OMcOr9-YHgX!hPQiD$N+!{T?BR2i1~T{)q?E*dBb1dBa}7 zZstCTGEpvR=96oEkZ46QAz`jDIrT+mIeJKx%PhIC7?E~?u zqhC8L@{;9t>11A9jz~b0R}R80NprcCVL{+5#%hs^+Rt1*72yH6NQ@ke)I9dwl)LV$hJa?P7p@H>n=$ zRz?{3ow}iSJH!@GA@#jsy`;42yEbIv(Du4#{N6x+h8P)q4esaEe`anh%;kJBF)zC)ls@?6503VA9qP;ZvvLs8Y z#bL1%;faFY<&90_Y>CE~aW-C}hC(KQxX<=1k@aBB27wmdU(%mGiyh4}AXk(B7FZY# zx>>vBltH2Aybu% zx7>JvPRj@3!<6^p2)u)ruCJ-8YxomtCr)jLGnU5~INxP1lJ@#N-2%Zn+{`9&mO^ET z+M(WUL5~o7XUH%hsWr0>sbf1i5-Tt1Y{fN{y9OeNM;%KlnxqvB+Z436Wh>in&@F!m z&d{G{zmV-E`|y_LvQxWZTjkJ|rR)y-UONe%B5ybSB+J+For$*;-^yCCHc6=@g-kxi zMidc*TNcOMZ}g`W4w8|VWdFRg?@vj%UBfnOJ;K-cjqW|M zkoAgqv-)LvM!Jx{fzOlAl$BuImw^?0jMpT2r4|zy#r;2dmj3_pEQ9}-mI9C`z zL>+`-bv5fhQ1B;VSQQw${hu0j4m3~^a23W?*&ACj?O6U{8#I#=-i+mY^k z2Ws6Rahfs5le+-97+r|8yhjhjX&rrq{JSKsNyf(AzAGReU;DsY>sij$J5?T@w1qh! zOW$rAsEw0`Jj$!)gcENzSo3~0ZTU~@a1|;ujiXc8{;pdqS>xBanQy}BZ&j>kT7@=v zA7JmqjGIX$o8I9lHRp)8nqtb)$?t(3JGyVk#mLinJzSE)j3UdL#5L}z_cz?;J#p0# zXPaF5zI8h4?0xC`Y#?;Z6u_cWVQ)wpSLxP^A zN=RCH_W50Y_Bc7OXNwO5DH1`%yWwY?hBjI`)~q?1R~_iA5V*SrajRgU_fs8xorOia zLyk1u4?kD$t<5m+;+I=Z4JvZM%>w*;PJ-B`PHrOI;o}=47JIwc$R+1*YXm-}fxxHG zg0EMl5oPtYguH)hH^*GdqZb8~7<3iO%Jm1DE8|6-3K~1QU#hrsI~ZT4ONbyb(%puA zy}VF}hp!y80fpkX)U1?*i(a+$e(|BQlcH$=(_=+P;je1wC?<$lGrdkokFi|W!jH%H z^9MEoh}(CMHDQ#bhp%0h30pK1Wo+MgTpFfB-!cI{^!3>)&BypB?(w_?b$!oGja9-R z>wr!pTq8i{wR1s@1(FrVU;F;_cGF{PrUr|peS*#71YkCp+m*9F%QyPjY)$-TuH0f< zKR0_h+8V5j6w1P5weHv(DpWzPzeFy&on&wMXQvt8VmRZi$>CKQ9A0)h73q|g8*ZmD z&LM5~y7sfO)>fgRr=gCqlbE)LN?Ji%MTd`&^XMoBbfA(|J)ABAZsr~R^F1CE?RGRO zmtpC9EI|OUSNvz4gD&P`Z!m$C3`6%% zzv@|ef2Gc-5jCXkT&$wj7HgbSefONZz(T(@HTg#(W?_)GC}{fP88|Mo@AC}U#83V= zg8n$DVdozu3!XMb)_~qG4<{NnXBqX-40}2(U@rxkU9ux zJpJ6nDLPEE&^n~GM;)GNiz}VGcNaTy=MQY}hu>x1s{{ zC%geGR6V0$wmb4H;f1b}uHC|GB75)5f^o`RE1lZ4yWMAC#{^F3VE~VU-@Xt_>n`h5 z3Y#l9s>pP(FSW@$%X`aM>ydDYMy1u%Kk;%1&`lfJKeUaU6w2mk5kEbk?*!yZ#c-Ey zJ`lCWUA<(Ddl7HC?HTsig;B3*ADfDvQw<5!c3?mE?nMq~*{4Re$yUpvn`#kkIkUBq zqS-GRoJuY4ps{jxHJ)@id#9ydBpE*PM;Y#k71{!f=A^7KvGFtn=V*tvjq8Ru=PQk( ztA~r0wq@r3zP>`{*5;dgIf+Mi@l1uYXt#xfM z>ARA9`=^c!(bnU%2ZT`KdcDTKM3ECOfeH0Ezk11xD=1Q>dY}|q z6ABz5U0>L3BgcRy6I!X+W=(I_^mJ6~gLsH9#9lEK{ zHT3>#oDFoYEJx~3Py^YdoZIaKCMPXaT>yq&7&XSrMx(1V0Y z%rKBnW`6QgR$auG9=NuJ5dXv*3P!WqMC}%QX|8`w>PBkR)8X90s=#_w*<%b~7OoS5 zHTV9V0s3&-^$$6nKl<{V?CkS4Ljp{PQ#=eM@_g#Jo{1!YxuU#!yn4 zh|eKvwvDmqUB(A|Wh+gc%npA1W9N{20><=Uo5k3~v$aHfK#Q7Lw{ZhiN(N?YV! zjJrO|+GQ?CpaCz*q!g`idcB61vHr84OWO97_|=K* zWo#jkCZ$_<1=$7Ye_14}+PI~0yp>=XDw)*u(7rA8NfW)KqPO+L0d~XsFOdZxd+*#` z^GuLWk7Ybl0JV*`D0M(aqj=d1Q4j=j6W8_<$e&hCofa6-Dk^6#x*yF_&AK3yV1|O# z*?^?7aFKr=`J(rf94tU+3hH18=lM#tEl1Jn>H$nbE zL&;~g>s-9Mi>3L;kgr=1b=Hos(i_quALJ|a>OAu0(H+m&3XRxU6{e(WL%ADg*g}~< zVZ_U@4HrWe5u`r5KQmkO>Kq=K>H6K5s_hpFlX41hVvT(^BYSaHN$LbAX%l_-ruV(Z zF%#dl*leC$rqouQ0anSU!~-P@8R615L?|gij~vHNiZ4C3no&F+(Lhe znnlqzt~XGvQ$=(75veh;^NXKbX~SmVVa z5AA~fctgyR^2MaBlol^~e~E~E8?szj<~H3t;GSqL5bzrRWAgs1bxCF0>T4IrPX7`K zKIge7V=!Zh54H@o0X&DLqiOJSxgee@49V1?k3 z>023n^&7iQ+f6-9#8Dl%Zp_S0Qtn;RSz*-VMB${WgC3T4Ur4G*@qY_sw^&FB2<# zX5zySoaCg>5Q9*xx*^Mx#MyTpY@x{59@TlQiXcMQw#!^G@`|(s_x;mU?Q=OvY!&k% zK~43|qUy4t=`F^D$9bM>`!UQOba7_ngPBHj(f34L;$Jck?%6G@C!`#ne1ICRa9uiS zn*-c2Zn1cD?-We7EOQHF;9TO05=OvFE1c>E(_s69NZW`3oP~gdZ!dSRb73b2LTfVu zO0y?d^HP(W7EO9a;RTY0nE;(bpQ|+~oJJT($FZVEK_zZc)mHjs_d2?9bfFDvhgt>J zG~zpVH#}41wOyWr*ykFV@Uqz0#Qs|I-8u|d(TI3J>K%YT1#LK9EfN{(EmZj(z;Y1bMt5|sOIJWwD z=hNCbOFrCL-3EY}{rM~Z0lB2@^*d$8%r1x*3BGY5WsP;aQr+?bi}$W$TJ8OdemxK! z_?7s}-z*4rIqFK`$ zodQZ|ZPn=b91(4{iW~*sRqgResoLZlu}L|_8>IeJabgQhcg&q5_FBFX)+n0*+@jbA zv%)*A2V_t?R%wt7cf!o*m%*@2k*Fv(m4DN+5R(k^!@kU@fVCyQBUiZLx2Vy|ba3gLY(aN$r9I;URzC@0(z97;MpGWBby zj=5sfFn^gPlZ!;De!CoD%{m>CY-UZuAItv@+yf9Et;%DrLah?wNz7V=j#cW7TXbDd zF3P760uJY2s<~1(*eftxr6Z*ru2h24`*A@O%SARuT&n28hu0a<*^XXv#BU27ieNGZEXQVL9Ar{KO{D7uU54*ovmk$^GrJgTZzG)|&gqA@)9SVA?H z!9q3~X}iPiKz{}$X5`3cA*!8OD98B-{xbPW?FiAX(Xbu>Y`&5_2#NweVFy=1E18o- zXi3$4^Siat!1zaQCppQo^J8h=PvX8)Z-1hA%Lz2(u84dLE{OGc4wm#=f=R;0T$5^? zakgyaKw2Tz)+t}inh@uet}Qv&q8KY$zw0LQV?gc@p4W~Q$7tP{N_}#T1O~B{#GhQ0 zc$R5Xvcs`EHV$j5N+@t{I%Z*We12mpo)H*6VOcsF1Je5fcF|37b|H@(8IJU^aE~GQ znr0haO^92g7Lc#!vcA`Rrq%VI)%9U6!9jWwz7duiIpjy37IE4sh*DGq&}j(wXv2rlU$RMc{Ii|t8kj*kQj zWsXmDhI{h>N!KdYk7^dowTKKo_3@-OCr!KZ>=O9HKp?ND$=TdN40o%(PJ7F)(Y)*b zyV-@4)r%z+jkqlGcFfCmxWiiDVlTA;QY*|L3!fAD^Hvie8^= zyJOY@I|{MV?z&A>ZWwXQmKP$qsC{$n&714VBMM*0?^US`4YfTygKD#-qBV!hZ`5GO z+I)PfyC!Js+UBYn<=1+dawG4Awn1&C#yopX8+qFD^x!GY{Y8&mvmq}DEGaB0w9Eof z+zzgXUSHOz_pMp6UWOkp^$!*rtCV#F03OfNe?)W**YP>dBu55uB)E6T;wf97(y`y` zMRu7*VOVXocNZMzDwPm)d|)}AQl64~V%Pz05)8J6Tj!cj=MF|(kkSv%sbQtRC)QrH zAs|!MOu$wxo$Q3_FJKt!0e~VCrOCBGBO%#WumMa--x^xR;t`$#H{`iM5E|sD?4U=5Pw9}n7KbgdO#B#>J7dA3hdEp@spnkk+VJ-m{fVX87&||`!YKzMNYzb|4=F>q0FBj zeWTQ9=GGXeY@c&YuQx~T&~3M5O?k-MdD^VGB%xgCNE&yUb8fc@Vg?ciN>i3dIjW}t z(vcTxWs-c?QROC^L?RR9wxtT^Ok8fPzg+gnn%*=CFCahA7wGWxuJvrU>UN1<4LYis z&W~lQvnV#2om6x^0!b{(IPLc(TTbmClLhZlNn$~CXiI8l$d|1{uEGTx4p3~pa zoJ^RK>m_sV>HZg-tfx`-EuQI4r0lF1HivR9a7kywC|K#$reVH}hdKu?-NQwD^^QD$ zc9#}^P!!MZS6x($QcInbP3lwTGfNMS_f7_k-C3#~nRC_V2%6AKo{h82q?mfiQtT4G zQoIic-)3@#dN2uPTrFn;EV+>^LqoXdeGdkl1}{3l6nEl^5BSe_?-0Oo%vnY>{Qlu3 zr1>n;el}pHu7qyqg_a0HX--ICDxJ>8+Wlf~fV%p5kCR6kdLmCcUgM6A;$s9CMeEAM zVn5>_+~NF$EZkDu`kVP>C1?Q&1!2H}aJ>7ulk_UWYv&VB8hw|mIM*ZGGy0|(N7*OG zKHfJsZA1{BDtR}o+$I-^#&cVE(r4Hx)~aucuVCjB{iHl@@no!jkTmv64A}UId|^4X zUGqITE z8SUwkw{Ck(C6r@(H;#Kv{P#?KKdQ(NSBEY+yqmuSHM$azv6 z&331BdT8}{={@d|SIOO+>ui&i^(266e?)5(A1JaE!U^Q&FI<%o+hUTddrB}H>(nOg3@jJV|Kda=ujazgbG3J()y}kW|oC_ z`Ya6jNg@%C9fCAYd~|K&e#lyxU>|$K=62t05hZ$i2k_-&qNl$k0#AYrM(Z|A{UPnt z>%-l&^t&Bxq}E45YaKtMs^Cch{pS$Q&(hJ{p`}0t@r}z&raG1Mz~_-RM7QG;-cadB zueHZ-dSc!owc9j5J<+_f&zwzSeXeC98Q^GstM%ae)l^Jj`^m?0O1%KtjeR&zkYQ>` z@*!0Wi_f0~aTLN;i?U0GQ#spqiTot5V=oNm)C@cW0!wVEUDeE z%rCUdYVS8O|J?SM==-mMzq5ymbKs_1lKl+fI}@zw;rS&^X3*nDSa|fPhn5bakEl>` zk}!m1*c8N>Co2~z20mLVV%PODSMEUn8ibt=E37PM+6RjS<_Ie}up$QnWjqgvJQ*i8 zEkK$KSI*)aM#WlffLsi=?d?1;lxN-}Q#2a5l&&rJLBOKEoa?+%E&-b%8p_xLdF;1+ zlhirx9NMclh{cl5!Jv_u8-CYQFh)<63=F$!?3;PsR%o(iys_HIA^ z?M^pvzZVClM&)m&`V z#^Oc;%_VVAYtPEg<+Op;szi0peV$$K?k^-;j30uwF+a|(!-s9Gc@hW5^>y%Q<$PtAr=jH*R3s$e5q{%Npdo@ z@0k%)Dyec8aQ|!?D9qiRZ`vU?u?C$P*rVB44St{a8t7D}2dnqR>M?K3@7qlYz~1^E z7FI-D>Wp~n**o^(LurD$93zg{PLcIGr>s>Te})ey4X~c)eCr|0fE=kvNu2KIdPv3y z^gm+e6t$5cwx+BJiC>#xyjm`}p#J+214mChP007FTcf8x4#m0e)ZU`7Jp8EF+x7TG z{6y`bMKUdau z`si)#w?9A~*kY5JCBOV7BJP1sDc>tINaHR-*)M2t;A}s`EYEC-6zlNS8p!Sb$f2%@ z^%Dr;(`aMw2CKs~8pJ$Ud5DwgG>3fpA*x#w5q$QIdZ)?f%H^7}%EB?m1kSAa;oNA& zl^DTS6d@eRnG9|F*=4MAS|Y$CbN{twP)p};B&k*1SFxttW%760M(-caV7cv0M*9_y zU_iuaJ}0r45Im?IHcWM7pRu?so}`kppiVr#7JFv9Xsbk<6iR(JXfktYaFypF2i(I; zedDuEqe;VIbtn)mF~8CH=t1|z;nR<)63zWvoN_cc-P3NRfnO=xI#cy|f>+YyVNy-} z^BM_rc2Z`c&NBj@0$nLnO=JpR>Z9at-DQLsR>f9E?lv{xs7MRF_#nmzY_AWE)}_x? z&g(N~y6us0*P7t#@`~qSuPxeYro+5ASc>VzE`1PcK{ncQaE!d;=P6tGM7%Kg;S@Sr zZtrDOEiG#k*dVyfsCKLv6P}Zelj3zt=l)r|oxy7yAd-k3N)9xO-wSTfFixjcM4~hI zx{71=+QaVQ2NBd66GiAC^k1R}bKhU;?meRV0es@#8?f*6r-AA3We|a;q-V`GJzbf* zm;Z3XUM}1dSY*mlw|s-D;luMV4J{YtWN>WkLl~tBXoo5@o~**=&<3I1e%&7<{t`K? z?HA>!$QC`5gbgqj-W?c9+rUOS&7qoNgQ8fQ2l=QXsVF_H*_DNdQ-BLeB(RFCCYlYW zU?VeJx$E>)-Ry0spm!o`9%SIhqW0C*JS4xJyrLt^8R$0e{2WZC)toPWzv%xt?*19@ z@7TojJ|XN$b4Q9}k}qre?P-K*pU0;s)GAOwP7Ej+Q~%%J2lz9~g?lB%qwKe{#&E zS8v3hU9MPWZbHlGddP=*gjX#2aw0peh{aP&+4Y#P**7|@i!0=UKP6}sKUJ~Ix5)1@ zeGs%x@*4FGxH;F~NnKqD_Ews98_I_!Mu*$u;!Np>ZnUsvDj~_Zev4t#eMB9-)CQV$ zP{f8Ztr?^vN;ZDg%(P_W^!%7O%U2WY^vdk+3p%+$`u$s!>gOGv)`OR-LM<6pF2l?!HB>^7q^gfnok{CbsLBvzrI9BcHt? z9$V-sh|ALxiRgT3GreX|hSBw7t8Xi+n|s3b(4=~J)9N6QE>9QT)GyslkJIM&2}r!B zigzAd&V(5QoNsS^rn#-^YvoWY3*y6ze#VJnHwSBnY|q9f+zbb?$dz{qqq&^6?GMA^ zj8dGMw)V4!Q!r^}Y8Xg2^UAO8!U^-7qCInsPUUd5$~bmq7H(qhKcvIMIaHWwoeMF8 z4$KLPew~%Hs-t|O=kwRxicdYlpLgmdTGPA`X^;M%fHHPX2gy3ff_5%puf1r#pZ$Zo zD0msw_Q@59_0G(06>+ItDo}5pqyM2*-?+pDE$=PN zvsx7J^bV_7lYQ;>h%aZK5C^GqqVSXfO*m7=C_6-Gui{d*U z&4o(F|EsL8j*9AgzXnAC2^l&Dkd_!q8bl>ULXc(#1%_tmEJCk@`>_w4VJhX)-O$a zN)zXcr6h+%cD>sZ<$3VucBmcwGzmv>nQEnVCd4i0khGgGLpA7`QAP_&EgKl8w<}pH z?^U?Eg+&INXKT+qGT}8MB{$^)Mqsg7*kN5Sd$RtDIL-7wOh|;#SGI|Pb&_^K&tp6- zWIAH$R$KJ`Y}8KOWOFXh`ZBno!&wHz9Yeg40O{jQyJ-0eQZXZbMws7 zH&gCIN>+^%yZ{`ts+cK2)- zyHv#js!LF1tOJ6C?;1%0W5ZGcVW!CNER#7(;;40le2LjtA3*z_z5c;F!$tQu2J`G5_3TOGc}98Lsc6EvRzlsA$KgpyAIiJc1?S!5#R1k zl=WXbtF*fr6yr!z@yN7_!Q0KpptNS-@mM=IcDaux-#VW$I$>*v!7bk{4z4aIUr?B0 zBplzq)ueJr#W_0lN_@KL#R&*o%$Gb*N8*u0PA5i&c-g$ENI7H8)v^kUzEj9Ou{9530w9X%z@;~~;aGvThh1WY_p-tiHXvVdbhn2LpIfO}Q@bW!VYkt( zc3W@v2q?)MzPA?iB1dRCADKZ@ukxPC>(6e@7N_)*-as#N+`zxTd9g{*A9>a=gV{TN zvlS7Qd%A2l+|XUrL5qZ0V8>dkN_&!E<}POTA!P7!jZgNmgQ< zYgz+Ey%4LcOw=CV0aQ!bOmSxtp*7|Bg)=j*C?nrX`m=ef0Uo9-Lq@Kt$MS4q)O(f~ z`XwOPwB^BXV4Pvw`RHoeq=g|jJ=VPc(6YfCpT+JOU_~}H_YmeemRbI8$p0NJ`!Bpt zCCC^xycf6db^uHN`+@3AA86NDt>lL6X)rygiQa*2sHBv+ouNj<2l5AM zlPZ?;OL}&16PYwsW`Ih=^_NAT8Th`fomA0i-Oxa+t1E+RnmEct7R}6JrKm0PjXfa_ zcuY~rUHp(&g_$ip;uB#U1=fz5Q;>3NcBL^>EJs&ydJ0L6_ygpyEmJZeC*t^OU?$|? zYDd82^Se7a@_!eP^uzZD)_P2ko3u$ou#&mHp?H4*ZaS4GSl}2sRxhapCCdD>$p^ZG zO@+`*J;NaPc&8-n{^G4VDNFNB=k=A!UW6?_{valxE0}`Pc;rD*Z0q8}!#*7OOg)GA zknu;bue5uOFhqmC7aC#DPr2}A+$0IJN(zXMRoo!4r^vlVp>?Vj40vTyFE_9@jd7xfH2P3Qd$0b`HL{x zVjAp9TzpHFcAXlMDwvWp3jCKn2b<=Z54Nij8d!yeE0ai3Zlf=hC4tLxRPG^&4t_S#WiQ=}u7-^N;^TNG$1bqgnHHO^eJkeV&CT%ham^ zOn%!9-6DL#DQ~oC1akL}*eA>#+Xlh0wu7@EVs*9;`C$dJ^av*796}GRu{rO)dA@M1y)+1apxT z-@;UAjoWkL^xH@Gb*jvF*?(c`*kwyxJ{!7`o1dgr1MR>dC0#h?vwT|ktk_9~W7|&v zZu$uuPAwdw!{8grK>81xwlz~7p*J7h-4Vh)>xij3=|Xmq#!lUg7KReXS{*;^KvkO{ zF6rG727#C&jMU^Ywp|%P0rQWC`5hixe88w~a60>%1h;K|DtFR`^ZkbRF^^4zhsH(T zsU*-=)1ib9G_)?m$f5o9f`Y#!&VGK)l^~aY(}#8V$61dLlzjniKnlCfFKsH9?!Uj{ z*MiuZt(La}f;BgNLGzr0=R>Jo*zt;G3z&y!sfrmHC(Dg;GxZKuknh(^k)A50(2>En zJ2rg~G7N#H5aAhD`1oTL!}xK&EmLYjidAuOQCkc`uM!INt@OQewnE<%?@dM~4rk4) z6ZG@^0d&XS5`9uR!gPi&95hR>#A@{nvG<=vLFvnMl(nROuAQ^x1v>s+UHwTD4r8H?Jx1+?jd6XGR92?tqGJm z0*FQ0x=UFO)Z#k3hd$LxMiHQXR~+~z3*L{`OH~%8vZ2cXy*LE9sFsG)e)Or%98eYJ zu%?`_0I`RZGu_Wsw#0mC$;9E%T2ZGT5?(L@HD?u%1_VbdNfMwfo+SgOCp zws~A0>k5vxGYr$XO_4@)yT7H6Uyi>xVpKf{q7^;8B71YE8Rj+_a>fEXHPhycvo{J^ z;M@?A=6pvkDO}RkYAZ|odE^aRx2U2#emR5ze*X{ct}GBJ)OajCs^xpo$UzUdC0u@^+;Ee7Fk(;8Lg38au+2*9$G-%=MrX%;%r!opoHRs zGu^1sT-#qfYh-xCg2-hZZ?ozEaoXvf(z1Zw)#dYlaoV%Z%cE1nIh0Hd_w&n4O&8EM z01@=$Bh<-y-txo`TRbBNxN1OOAB<~gPC{@qEe4K9F;lge?zz`ioD&C^syz4NUOk_7 z=VrpudcW7_fV!lD88<8tFO*p-Y^`UQ2Mbm4sv&#UO;dF_=zV@Y2iFMeeO{xVDU2FH zB{qhPlOfY(#7WVE?@VoR4WC-=;wTw~m{-?+!VNYl*_RkC=T=0bjtlkiYueNJR}Pji ztrQ7IH>YT!71C%cwN6AoCWJ_OwzB-;j5b-;JUtOkF-P14)Y$BQd0aJKN8?!7_?0+o z3rHVbIq0uXr@csN_V^t5qnq~jI*IyJuZYrtsZ~gmyODEWujT6Zl6ut_v$9}Xf52iVTJ%gcib3)5(IPzdxtK(YyZxj)&xQn*o#%dDLscxi;D5Ep*1|Ifjc15b# z5tLQ9mxJ)DHv{j900`F z^*FiRGe35nGi~7vDgitl*-dR3v7egnli#{X{)JDn>NA+_;6&xHL<*;_Qmwq3CM!S? zfKU05+?M!Et9dz7VDw)*NObG!R>0@E1~$9xg@x2XeruMMbLoZNmwF!&C2L{<3210X z+Vb|N6n?#Hi1dP9O^myER%gQxygNuE$y?pOATlS=tneZ}scr^a>wbfrwKUKnh_i2X|VhKabbJyJ@pN4%gtbu$K;D)ttc zZ_h-pvdTN^*>A^C?3STB;;;iw>KNlk0W&Piy)=Q(!hGS|g)`xZo>kSSI>gBCzv_(0k@F-|`ZY5uvHZVLt&)USo>x#ck@+Gb zr$2Ru+!fkuU+B7d{*$Ebv3aUk7%L1^v;2JPnl9{4O_87FQ-|5rq6FL&i1I!OThzYM`0dFq)JQc+s5K zyE7UESguukn{Qn`Tsx(!+3b(aA`ch}(T!iQL^GcY>eq3LLue60wefWkzZD4d!R1j; zUUJH)!}gIG{e+!ab1T;V-%MyIc~Zsm0b9F6Puy<9w*FbHxT`e0t5TJY1kz+3C1Lf5 z)vGf}UC^DY8IVr~C^L;VO*v(ZfKGHt3UU0Y_k)&#Ai28BP4PeY zoAJit|)qjoDy^Eb>|5K^=BE#gnMI(E5&T_1reExaT1K>o}fG`7( z9x_~zwL4S1;Bsj)>)_J-8gUCDGNCOpAD@O4+h2ONIN-Pe{|W&_RjbE9gf?mo{9pd( zT;1|tylxk{&Zl2~E6eO39T|pR=P+OWv+?6KSeTKGCq+`Nk-(?UG8y;c(WTd|MA7RS zswP~pDJqWMH%4Au!8-s!6}n?qKkRm@gFeI?e+?wPbsyGP48~RI!V+E z(IWOriX!>dWh8~C{{b5ynN84xZOj7Mo1V+2mU!Qb{8k8TvGZBoyIM|YGWh|Qt68O; z_I7p3&CE3R>rScVdJRKj2SJRAvPPpg`uNzHvw6s_snKSL-jA~hQ{~YMC@iqi3r)Mzu5fPcqSS4D^;(PGem~fmtyj=ei z2YD#5J2~saOh?yk*Qn?nng*sv+Bgdx_qh{eAxH+Pa`FUnw%t8thPABn*2Nweb&hKv z{n1U=fjcvC%1NSSZ+_bF$#3bieqfRN^W%K~BPMFU=l6*#{F_^z$z}A&(3@(X2q@LP zq|7;L6Xgu;tK0b!R$*HFgnW#E5^;5#in@C9YcII4ocm8UAQ*9pHhwCuo6xa%SMxsz zTrTwJ$f$IvA2wUg&%Vs-!#Z_;{AUvO<(TMO_!@Zw9jdxw_5#{hDl@3qXL91y(39N; zZ;|=D`Fs3Dk+Fn(DL~N+2S=|^z;;cl>{hIzkPoN%G6o0-fQ?ae!cruy!mc=h7036Y#(77#z)1LT!u2f0Qci*u=a6sVDNfg%TrD;Sf|3 z)Lxp*vOAnXul_FU%$SF9t3XN&?mrmqwX8E{nrq|XOv|NR`XaHFXK7!iDymZ)1{;6U zB)fbqIX9~@{XXF{kDx~8C>8j%dc$g%Ks}{6?RWjJvklwXJ=QXg2(${Q!|qrtEkwL| zj@fRipAV_ubmau~6B%+k^|7%3?mbg{7}4um^X{?_Y=Fye zS8?(S?&ZH-!A*4R9vMiQILSb2^87YYWdxe`)JI$4XMFE~!enC(uK$6mOIcBz{im$f zG8xn%H(rl-r|f=WV7EoW0F68SP~A2a*>-1AgCeYxxGmC0X{g{{WNpZE75y5BZWgwNrksW>2Zwya4z>oyeDb|>8iF>7P`|g&+@?lJXEw)rGjb>O+XDZ7NsVQhj zmZ0dEAHS0sSMMmP&h4%*Ak+C-t2BE~JdTRZ4TRS%*)p$6{srnNg_*+&G<=QTI!+N` zC`f|))Y%5#jscwBhckztkj8$Un$G@&>-Z6ej8a+~Nlh`JH<)Le>ysFq)w*ijX}I{g zMc`!Gw(VTo$#UQ*HzzUM@OjIvqcT%qdsex2>)fT~FJ63AUaZ~);J)eQ?Iu+2_;H}R z1cbt;ul5~K7qbqj_CTV>S$#$c;^XxyQf*71Gx=%0Ts;{Mkmf;3Xpw-cWpz1-qW zSNA>z5_mTM8}mPTk*T{XJx+*MTX1fi6BvBtM&o`rOp_%75`v|ASiNKOxBBO|J9yMj}lRe z2sl%v!Y*g%(0y%Uk{+4u#(a)&jNw*;IQCV?yfBHK%<`!l-fYXXa{#$zfb+oxTvw1N`&hN|N=P&;U0LKLPH=G>FC8+*e5dkUp-@>@^ME52h@6?v z&SRJ|_s}XYNE4HXDt>T&v$+Btqrs|tl6=NVP!seH zhq@uV>0U4g+3{s1e3B$ZTw7e+(PNjk31mqsyGBhOxXr-aO^UpflJ09!F|qbJ~02}p!IWm$qzOql&b{Mt0kuQ zdYns{7dnld-*WE%#x~-%zd1=0<>HDiu1vT58d>@6_pmQ{jwwmqu-5+VrJ}bCIuIHb zaqt1rCI-%PAT-K;xM1q_+q=8Gu!;BN-m-wg6ts9sSU1{lBzLS!Dq|Trc2PjX-_1#FFIYYCh$U^l4PG+6inXZD_<3Dx>;A6I z!9tbuK_(5XsBSo__nGRbt=-BCeQ>ldJXiwh^$~Uz+akF7z^bD&FH#BWD7sBE*3kQF z__sBj%R)Dkw|9ijObtC3ib)kMltze~n^ZCK&Hu$K8G!Q;UZ%uf@D6+@vH6_|FYD@JnNa~i`Qgrz3t%r%SWkMQ0W$5dn zr#;-6`A~5pQHkd%dKL@eFP2ShWnTEE>60e&{`T$%ans)N=4cO(H-toi6ICRoUv2py zL5Av8a~>$d}8byz_D!%98BY*zIgIWZu$#^97qIkhgp=5W1M<9SaAyte=1JGqf%$o^xHtxJ)i1Uipnk zzV9+L))D;xJraSd`p~o^oG!8uR*DVJUuz;_QG@LPEyFDxomk%~QKZITS2yc1+aD4) z5$Z41F}YFFfJhuti@5uo3DSITh00m|#ZNouvfRa`x$OEn*??zUKLWrd=(a~s_#g)lQ_%AJJ; zMhU`F^~%E|jYjeaTl$5=BNh30yS*mP@U}p_m6~Rdfp49l%oca(1){iqxC-oEL*l$aLyFjlu`%WEZ?0#!$Wz{URX zH7MMILrZUp5Bq}cAkT?rO%2^BI6h8 zm%|8;3StRlO{361mwAoQncBveF$6;v~Kj^0p zdvJM~PT0HOQinVB7qsrywN5Ah($H2`ayoJ+|4w+@u2z1N7t&S!`BmldQ{J5jUDnyz zSK=t@Qf!x2l6rQpL-x?t$GB$m;$$?A+clJ#K-BnvInxT;(%b=$dvvLy;kPC)N8Ko| z)pWD<)>*lqbDfP|f(~7N-=vbrF}7Ig{X8nrNgVI+ zHug$!C?M)d){-0!ps!YR9CK_F64`2bOFU;Yl-nsOeIc;n6rfL7+IXAmYYd(!nyL$~|% zjca(aenZ6C?5x+j$*@2J^GU5}Opbz12OZvTaxw?@pmE_y(BebkfNzL4kJbdspi%{) z)z71Q7}hegQ?=>DpG5jk;ElX1L$eFNxH4Y5minwxG))(G`lbmvZ)_|1XznhfLhnP;;xhq2(eD$i+*^5{*dFxwmDunwvQ*Dz; zt8_(-!qh<>bo5-SKP08~r;IvbK@-y=WXU3*`n@DJB$-uCAK!|OMM*Q$fxNvyfn}O` z6R9VriLKxO)4H`npQ~^>21$`8TU)7K=DJI5z*O~TF$2V(#8KZM=zuY+#gbw0BTo;K zs7&9-bmUGX_oA(XG$T;5@Ls5KqT;#XZk&1J)|jgjokc z2e`6~)pASiDJPK%58re||CX^6{1N)K`M^;-L1t$IYy>j)docUTJ&P@V9+6N*g_3VA z0w?SJY8^6t1!ud9CsmsSW1qOE@uOnp!cbzsS5RzI@+~O2$e7z*dhw)9C?@m*Q##H) z{Wulp6`m3&BsKY&;vIpBr6QmENk)nKqIb%f7_`N^C>hEJ1wJ>FacNZC-vYY-ILS*E zX#n{g)gw{=b{UJ26I4CVV9|U%1brx;CUus@aeJ1VdF?_*V#`Kpb`JynPA?AqvfuwI zCNMnohBxu8;$J+RaiC?M>&F?z@!ux!Vg&cdLay{$T;g9mlycf%JXgEOSk#ZEwjKuw zHTD=-rAdw#B4Q15q9!sK8!ds(WiTkO*DXS*tbW1leh%)I{#u(d;OqJqPockzZn38r z^U_P6%h;zgCO~wNelSAs3NB*sdZax)lVjDtbCtpQFWw*av!}WiZ32#miYEgqbhVS3 z@}wygk_=IU`8s2_dA6uwuel6$3s0BZ>K^8m z=ba_~q)DSf3tkH%hDRN%g=1T*B97mpY`oa5G+)QY$9*zSc2qrIPznD$N95hto!X?e!Q^g{~k;$zh)ed#F7kNfs+oO2GoaqMaH8%4Rr15^b>*ynYSTF5kW zJ)Lm#?85f5RqEcL>j{C=v!FZR6;7hoKiuIxID~~tW7XVtqqD+QmGnfIc?yc!Cpsm5 z4?|q%V`H52OCm$aWHm~&B4B7CLRQeBz!wFJdWt6?cJlPPSic$if$p&F z5tDBHqJ9HTXBM8y2ld-#dU2{@@~pn;WH6hS+tRbf@kTvvdc&pGqG%l+fTm6J$sNPN z<~0vV*qA!Yq*OWG22EIF`yj@Xz6p@!;1|#H{^C6c41KD+bXmkzp0NDkTu&{zIRK6A zVceX4(_P8@+p$OdmnxUE2Pf!(MTrD6`FF3j%3iA~_qBL$f`W9*SkLbc*CeCmn-gW^ zmyqUv@y-e~H1>z~FydXCbW0xFT=QN)V@@O?XiDQ+=Hu#1;L)sQn@_L+Y)}>UN<1G% z%4B&->~Bfleu$&96bWAh4c25}C!MTr)ML`U&1tGo+==O|=VZ|qvO?Ka2dVYf-p;TN zRq^^bj^U&PV6#0lCw(xIUU$$qHK&!JiJE}b1nJ(aQ4i*$YTyJE3$i-_u-o)$6Z?mo zqA0uGK(Bsg7PDPOv`SX$DoyI9JHSqB!KI7^K8Q9ysfYGddE^!C2xH26FRcVGhA_Xj ziTV>T=Hi;^kO0fBY1kF4Ol`Zcyc$-3kZ2Dny3xv*_%{&`9O*9xm*M zec`&E0|`y;1X!hgoS!AK|KMlwfQlgJ67Oc3jGO@*lZC`FSHE2y{eRedEcj$k2&z** z)bu%B{sTCjccT5K@`Q*&xiptS`w5k3Nz7Vogz~%Y=E0i4s-3#KjDKPV=REDdxj7!R z{4pL6;~>|RAu3CIxEw&v6xD6MYVCgJmBENOOlUQCuM(L{eSgmo02mprUX7}%Nf-1+ zU3u0Y3Bq*42JP?0x`}j73MrOBg(yY~8{q8mE|4;(4^79dDmxAS=&&dPueMbeXXb*+ zbQUU3TMD-xd2dRK2KAi)6^G;0(*Wo1t}zU%=Jk)_yyY-zH=%K9hG`ptX? zgetUYYT$mwB6a1EJFk8He(Ew)9Q6mzzG5b(m*D7=EgMyn_>V)bDFNi5Q9bu>&dBaL zFOf!n@$rEcr}aWqE-0xdLA`@ZwRxaE@o9aI7+C7Xg7N zqbKS|=BzVNl9=!GO6rtaIp)>|i0Zn?8LwbTFR@hfKVp0HG*P(o*SB5h`JIxV?6RIS zbl00^Odt4Foh;7Ru3zx}TStv|oe2WgTKUyevTpD`FJxSqa<-;v>B`vSw66b};QH)6G}RFR zEJ%Oe;=jW}IyH+(YiXu2Ix8ZXx3gxw`@*B&!sdl!;ijmWOKc5~mT0#Dq)|nk%;97g zKPij1cjvc)8(idJ7K$zt)h2xJW7W;`_DKfuY%W9>PH%hMWl*NL2fJ3LrlEKF^&DpF zb^C5b07~jFUjFBU$LT>G10VNrH|CG7d~$7+w>q;!Zg#bv?AiQ3KfPSt@+kING?#`z$8OQZ7gGw1qR!H82+egr1 z@iNNV+m>rJeqnMP0Vmo?%H$TJY_?Ix`FMNbqj7_=Ep+F6Wf}|HrI^v0fzVNQvPb>9 zz?;J34C)_5$YdPaT?o5Ly|Y=bIjYDqru9}UbY6YzH(2r#^VVCfG)IC{+9*PHEnfOs zCb#vq^G30TAS*|!CUa@+LT?2bayZWX5EP1fzNMkz7EN5!rx6Vlc(mkO27}pTUB|qM zu-5o^@eT9`FsGBJVF2otg*8y(&^jqA&9~WiPe{G%DP@V5DmCykniZ=aj@XRlDL>H{ rX#RkG3+HTZ2rWDk8|PEuHtZbzGA3c>a-!;7H~%n literal 0 HcmV?d00001 diff --git a/collects/mztake/doc.txt b/collects/mztake/doc.txt index b9bf4dbded..4d26d0b011 100644 --- a/collects/mztake/doc.txt +++ b/collects/mztake/doc.txt @@ -159,6 +159,9 @@ MzTake without ever having written a FrTime script before! can trace first-class functions, such as those passed to map. + ./djikstra/dijkstra-test.ss - debugs a buggy implementation of + Dijkstra's algorithm + ============================================================