From 3c4d203098496918708492ab4e788b030b1856bc Mon Sep 17 00:00:00 2001 From: "google-labs-jules[bot]" <161369871+google-labs-jules[bot]@users.noreply.github.com> Date: Sun, 11 Jan 2026 08:30:11 +0000 Subject: [PATCH] Fix SPA stats deduplication and add composite week view 1. Modified `dist/static/js/solver.js` to deduplicate course statistics (credits/hours) by course name. 2. Modified `dist/index.html` and `dist/static/js/app.js` to add a "Show All Weeks" checkbox. 3. Implemented logic to display courses from non-current weeks in gray. 4. Added duplicate course warning when creating groups. --- dist/index.html | 14 ++- dist/static/js/app.js | 121 +++++++++++++++++++----- dist/static/js/solver.js | 8 +- reproduce_issue2.py | 64 +++++++++++++ verification/planning_view.png | Bin 24038 -> 0 bytes verification/search_results.png | Bin 54882 -> 0 bytes verification/search_view.png | Bin 19954 -> 0 bytes verification/server.py | 89 ------------------ verification/spa_failed.png | Bin 29408 -> 0 bytes verification/spa_missing_courses.png | Bin 36025 -> 0 bytes verification/test_solver_spa.js | 122 ------------------------- verification/timetable_view.png | Bin 31179 -> 0 bytes verification/verification.png | Bin 69857 -> 0 bytes verification/verification_count.png | Bin 55690 -> 0 bytes verification/verify_frontend.py | 72 --------------- verification/verify_frontend_count.py | 46 ---------- verification/verify_frontend_robust.py | 71 -------------- verification/verify_spa.py | 83 ----------------- verification/verify_spa_frontend.py | 95 ------------------- 19 files changed, 177 insertions(+), 608 deletions(-) create mode 100644 reproduce_issue2.py delete mode 100644 verification/planning_view.png delete mode 100644 verification/search_results.png delete mode 100644 verification/search_view.png delete mode 100644 verification/server.py delete mode 100644 verification/spa_failed.png delete mode 100644 verification/spa_missing_courses.png delete mode 100644 verification/test_solver_spa.js delete mode 100644 verification/timetable_view.png delete mode 100644 verification/verification.png delete mode 100644 verification/verification_count.png delete mode 100644 verification/verify_frontend.py delete mode 100644 verification/verify_frontend_count.py delete mode 100644 verification/verify_frontend_robust.py delete mode 100644 verification/verify_spa.py delete mode 100644 verification/verify_spa_frontend.py diff --git a/dist/index.html b/dist/index.html index 69f69bc..7cc7db1 100644 --- a/dist/index.html +++ b/dist/index.html @@ -45,7 +45,8 @@ .timetable { width: 100%; border-collapse: collapse; margin-top: 10px; background: white; } .timetable th, .timetable td { border: 1px solid #ddd; padding: 5px; text-align: center; font-size: 0.85rem; height: 40px; } .timetable th { background: #f9f9f9; } - .cell-active { background-color: #bbdefb; color: #0d47a1; font-size: 0.75rem; border-radius: 2px; height: 100%; width: 100%;} + .cell-active { background-color: #bbdefb; color: #0d47a1; font-size: 0.75rem; border-radius: 2px; height: 100%; width: 100%; display: flex; flex-direction: column; justify-content: center; overflow: hidden; } + .cell-active.gray { background-color: #e0e0e0; color: #757575; opacity: 0.8; } .cell-conflict { background-color: #ffcdd2; color: #b71c1c; } /* Toast */ @@ -271,8 +272,13 @@
Kt>#JD{GpH?_3`oMFw>Zb%DWaA zx~Kx7jFUttggWmlv(JNrtJ7(pCZS5eh!UqEaa-yBO%W_O?3q7G%W#%nUJqlm+^t;6 z1!+S3_n;E(t{r&%z;#O@kxO&9YmjWE7wnR*pP(-C;-W=Z^H<>?cN*k-7EMWJw zFHx$pOYN3;=^u}E%K%rJp^EUKLAh7U5jK2c+SlN^0?K;@gb}CyEC6Bk6kb+z3i7~x z%z{%Q<&hpnKhx+%`ZOlx=livT_>!)*&N`>6zq!XJwkZ-#p;|*FhEA@&!v)-a9F%R< zI)BC(pHrF`Nl<>J- j7`?J1{m96_~PmMksp>G*PH;ksl<)0>^c z%@P@n-*dYI^mYBbLlS_Im5BRkk8XKnB<2s`@&gnv9&c>0n((Tc%2Hj=gU~2l?~hG3 zgaMnoCl@he;PWGz=gR}P1DE*KOAsxMD-GNekms;qJDRLN ~ojc`KPc=_)gOxQ+K|$nFv*y@GSvx}+)^Ry-l1ZU&Yy z#U)Q65X$TOv*Q?ba_$(jf p3A#;MXAWe`pHQCc6H6}DSGlm({oM-{p~R9Vh3FP zeQ>Md+}HP9-jz=UlDxSKMCNQfaaB|=a?K9qzRF}!ZW1;d!b2lXPru`sr|#BSglSAR zGj0!|`N7|0zU55YZ=IdnwuLbUnljo 1w5UqWh4+4 zq)+eOqeBHRr+ScmaMSt<(a_U8dZ-E3NmnSh;y!l%!Xqjn`r}svzwIGB%Q%H%-Z6KQ z0ZlseuJP11xYH;nIU2bQ>TjhW|D4`C*kT6xmUy=YXfJYVPVGdhhs}Q?ceKS=jBg-h zt@r}21$em4XggbyG~0}AZB(77VoLVEF&EH}A;YNoi?d+TSHrd;*CEFs$cU-vFuSC5 zkokN8)}Jp( ;u&nlw0(ibnELY${M`~KOU1b zj&-`zE2wh4C3s@9yv&_lek_2l{mCrN1QS#axUCHR(p r)vR{H?#8Ea!6gy-2Ub zY)k|{D?P99gs3&F*1cY^nV$CIq-M%;Y)Z1xsFAS|^t?dGM%j}(r+#cu&+j*Qjf4_C z8X`UyO_;7-S~~pmm6JQSig=wNX-vCQB-N{Gpj37{I4Q%6%ZQ!$AxXXI@WLhX ds~10FU9_jxBGe9*R2YqV&n#`g?8KRPFPS(*_ k zPLqZf&g$>b*pUGcC_xSMSU60sG@=XKi2Ny=8s2=^IpgF&Tdz|G&~(Ul8n-1Bc7EN6 zcIpQn4EA?#06yk-V+^*2gKP1{MRH)W!5+WFK5}!W&em< 7H=|(YoDRqn6dG$2hAFm64gR_c&mNIS)B@u= >TkPevC2EbNHWz!u^ z9tN) cUuLLgmMZj`dNbCBqi1 zzR~@ 68`0G(2u?(+Qx^n zzCnR|-wZdp()8lWH+9zB)7vN*C4-iOeT@%yPv^`=tpC24Z5!hFXl*x& _zxDKQgy0B$pm6O8OC{4!=WQC z&gp3gi0~aQxtY!@J^4}fWw!-vctpuIv*xyV&``dHP4ZU(UIhGhI=*N2y|I)Wbu}Op z!2<3}GC!%>in7^i5yS7*leRiZ#C~J5r&$XAPUvm>_W{`CQQ11L`KXXMIgZl-r9cH| zN^9-fGGcfnd1)+(t6E>T_jf-wJzb4fxV6;c56lCG8F}e;#-3tPp&|waC+=3vj%X=I zZIOK&_6d@e$la)8<;BR{`wF+NUK2sbdzsfXD?1*xoQg1}oCkoO_3URNHDGSPKOWAo zX@YuU9XrQWoD-#8$fF7FDA^p<2wx-Gz{gn`$%gEVL96GvS=lpp1E)t6VVugY?NOz1 zwzl}58ZGFl%?w^?84k;x$$WfnT&lMCPL(A@?N&>`a865KS#+VP+0#MV%J M)!Jsa!~REEh`X!go$kuVO`Rqz2JV<2?DhR9 )yO$ nOIXHy6F8qN)F7m82-j-nJ zPGp7-f!0aY!j$2aEO8WlHzO&vac*I#SUhEr*+XrLTqM{+mkxGN%xlJVdvjAkG>4@q zpl!(Z#vvPMpp)AW(A)h+O=zagutbT$*jTPJ^DYxn+sF#*4Pl1&h?g|sP4Y)IK&v(Y zwMC?%I`v0ewT2}^q_pK!#_VCX6%0Z6ZNp99m^aAvVov=1*WqT`tmA?OAE+8}ZalSs zukUv9{m=uUyDR;&Tv#eTU$=)}@eXDRG58rx`jO(l_b5`*+oA51AM(LYYif%>2ARw7 zqMJ_+J$L3k?<&aD*B$78YSVZd_(Yp1a$;7FR8M#$ujouKEwq0$F&G-rRTsChq&@0A znW+_rxid$A2Z~q*Z^Sw~(?MNJdG-Vtw}3)f=tQduIP{ehy)E~}-3LS>Szq>ziCLoy zB`z-O>EHVTpre 3Wh~m({)Q8$bmYm zhQ~4uA3Ts_=yVOq0#)w={d?x#$CGv4=omI+aE&T2IFEY%nnuAQ=ii4p&odlW`m+?k z_zE754dg0L?q&Os=A4yO`%0=zrfWwm55e?~%i)>1*)R5wa 0LFugYzv zSs))gXp>=VasS5gTQnNlx4W`}lIx_Uek?dRIP?NmCE##qD 4MI ^f*HW z>(v5xByyIJfP^dtJb(RBcam-Ud2qMLIjhfMW*q*m-yP@unG>rmZOCeACjEpGO~ZvF zdmg+z$Ufg(H#Nq?y*9x0@W#mUzSNF##13I*o0v1<{L9Q+2tV#*95zdNZ1>ST8MeZu zCJ{8LaYt#r{-PdJ-hZS{Tq_2m8ve|{($BO0_O-$y9L=G?>jXy^*PY4HtP@D6&jL^} zdnDqw3LmEm=Ihy0KLd+Fx`P%Owqd3zxB!8`;ie#*OH*r|OuzemrK^pEDq}w+d5wrU z85SYf@^dhO+0-2p20laPv&j~zuTB>>%cw#3ySvV<)X%1LujRFNt8ilWw(TAnbgZIy z v1aavfM (I^Iy)@S0p0B*?BjTb&YcEqtRXBbS16GH!y;__WO!Oz{Enqp?z1)paj*hj>Y> zH?wnqLqw30ZIQ>)4H!vOj|#tI)k;cdC<N)03s>Dgt>$<}^s z^O=bWPkoAu{51s2VfYuS%b_fVx_6@}4rrlF&lsI(wSqbtgW7L^o}$KpkbZv9==vAT zS`+j;ieT4Z3zlSKdzmyXca$ZNKhS(mp2f)dcX9^)OA^k1u|EGrW`d8{>D>d|42#ji zcF7`!ODIaTpY?`^MKc;<(SsJ&M?QB5T|0@Z%stV3FJjs7FR@G5$r^hjqmhe;H;<@E z?AP )S}*%gftBD1(o7j7r;UoBwsYTY#{F~~hi6nS{_(uaD~bsy?UAKGwN zH~i?)9^Pa% $O@_#qO<9}nf{*646|9%t}OZRE#4|W-~mggN! z5KDeeE_3bSh~*%U(p^eVIrl3)){^LGh_;`-3H4k1g~?EyAH3Zf5Wq~mNidaVnRKV& zf+D?)JFJ&7!ZQk@te_qQ=KVB~;OTf?2t2im*^!KuHCG8*TGlR^1AY`@btYJJN$z#u z+AMKg0C?NmH}m&UHiUw6q(`S2Mo^b*@3{F6U*DwJ0)osmzwg4Oszag8tJ?n6!CUxE zg4}=RLwNWO2M20^(4Q+J&~M`NO?dPm;Bd^`S}qv7TikKYMvkNeU}!(TGwCczN5TX4 ze-*rU_8ZVMq^;I2E@z)sIHJdi+3CC%)uap!FYnbID9b@Z2lf23?+Em$<7iRyVFs|+ zcPZJ00b=UaKKr{B>N3})WkX$^Mwj1)aRLx`y^-UVH38FldRz|dmW`o<%cFr;LLJu0 z%X >)}MU zjWuP39g@>nfh? a!A7np?vlQVR{4MpM z5>@#AI9IF$KmilGXfJr0leHUZIVW |9TGh+3wAy&q&EulWwS5DZ!Y#46NGD zE7#$XSk_)IxQM;J{AjATph&G6%JV_TT}=6}+NFDKgo7+?y$C^8UXM?}rS=bhSho1B zR&`7PL+Eu}Q>$6VwR_YZ=x1~CkF@tJZTR|YGMmAbnpg!MHSX7m`x (GZr#52ghhlcD)B5(t>&w~|e}o=Ba>~8} zddg(!2px%IIk*0>;D;rKCYqRbaoKTpzgiVB@qYA(azhBnQU%Hn&n*1)>7wjtZj(I^ zPfUP(b3xDWIDZ@W;#B9+so-L@H>%wWjIj282Ct #$RCu>x@O7MJHC0X|*Z_6?5Oml32k*HsZ) zg~oNPnpZFsA4r)B0tBHyZzVaIR!Cab`se;$i0YuQRJpRM%1KpUhke;Qzvq0_8hxCG zv$Xt#eL8zH{bPe>6IYUi=lhNg9ZmcRo5aWXRzf%TobQJ<^Wpk}J*{W$JW?eCvr`Cc zNiNtDOy@W{%Yw&q9~+%cg4geUP`j4smnfa{z<-sT!Rd9WV(Q)HVz|nUNfAeU<<=H@ z*4K>pfQ$7kiAIlJU)BrkD8gVA=HsP98AaOcA=2yP+DJpI(O@}xy;L`h!NU@bE0 WKjUMBB=mcx1_5GRvK-k%kMu;nN*vL40&Sc+Yz?ydSsRnwMrK0XK|u1)p= zKXlV+H7mnQnN-v!d(DA}Zg9bmnk9ro-)Z{?&Bdl8>G)F;%;254Vn_s=+7NW>$4n%3 z^03QLEp}h^+r62JC@bNsv){k$1GQ`z{H$ezg8l(-hFCVT$#aG`uCunbHtGavn0 g0xj_eRFM^W7z5{Y4FT#Q&|gWac!r#fNo6?-PBA*+RKx>){j7OF4^in zT7|cNhJ=Lt(~uq+T*cJ 1 za@5z?XHBMk5mjnjvcJC{A0NN6^46p0?JPE!9(lMJQ(9VT0}GskM}+;e+83=D7TLGc zzd|QT_`_toQ1r RvaTzGDvNK%oR;u`2wN48MEt^bX z@`MBvRF6!&SXQm19B;%bM2Wsb(=tK$;`KX~uA)7{mpg_ZAJNLi@=QnoUO~ke&@%4# z4c38R`%n^!1w{Q^`|i~$boM1nq5SeclN9c?oX{kCZ1#GiTbF2(LF967&^-Ft=-nH2 zyMrG9SEr;|4Hs_trk?h}#*0LfGIokEg*sVJ<4w{{g~6lV3{Qu_?(}MF;&l8JhvG^0 z3cq<~%UX%|Uw%;Sz-&v)EdNe#Muhe1Wi%aCTH_>Vzo{o`&!8(UPcQ CY?5TEOZ`L!9v&g}z+gC4FdCwVcVnG~0;4KU2r{70Mk1*u%hsK}u5 z>L6GEC3}=s`6X~Hku7LLX|GGo``WPl RPRCVd(MG9yR&(R&rsx0YPJ$88tl>wG0|Cnt zfLyQ-b=2Bpe9YOYB#BJA48 #(EE6yMR5? zf6j}$D)LKEu|Y0 {IA?ti~h@AyW`LKIP z!yFLPIVCW=IXq-B!;F(UkXH=$9kxvz{F+N*Z9V6R;Z^YHSxx#gOc{oBwSCi;+M@u- zYPsPu;bC{dN+Il#E5f&AMSjAs;y$lKp8WR6jXDV9@ZIp}={)e ?V(UHEuDy%+CYb|y`aX-1tQNT<`3W*${+)3?rv3!mh0|83h~VWAZ-yJbu}jvN zvfsjtv9bIteDnC{^iEUh&u#FT-#65fG7JEA*7UGbo3>#)WPXvblIzKlw2yW_4}8A+ zRs?h`^+wt!?(qHlQYFCWX9_h0yaQ5u05lJx)mL^Mk<&IW4N<(?+} zlzW7ld;jj?l>1JFi0gS4Bz`!6VH>R__MvYj2r7M_(a6<=*>%v(A{hP CtPF zev@3}?kt#j{S3r>l|rof-M&9TRZ5N=X% 9_&_Dq !Z zMiaC^w_OWod{4kksv^JukpM^R5=m-QPEPa_1*sEi@9VH2Nk7=!T_*0x0!0G)o&c^4 zU$e5cyta}vgv29RtLeq{#_O31GXpidH^L&!dVD62>Nzpw&y1V{(+;^GM&K9rmks$p zGhifLsqPi|(+(c=u$@XvL?C|J{LaB(REWABY&FLx+(3+_@>Y~ybqk^7E`9Jc*C2kt zm=OiQo^ V4@D$qGcnOG+_p30v#*-aC>CJQs&IgVI+QWo}5wwhp6l}2NO)I za@Db)LOQ-@KN60WdmT;e =(!L5s~1gLK= zwwu=jz;Hzi&2hq?gXhlTRd)0vcE79=MG{gc2!)@N=u1}i29K+eb3+!Q;Qx#TDDnO} z9Z5g5@&1FA<+INXmiN^9iEH4dy99m=?9IK*jBucTn&8NTGlwZbH&h+D1n;e(BmF!7 z)*7iO;&94Xi*JEK7^m1?U!Ohc6TNSzq)tRDHGKcmrTVy#eE8nZXD>i5rHf)Gy38Y> z5=rw0@*`q8DGB6^5B7{A@|Za`>QqhSvf-i2g|-=f<{nF&`-HchCX1Miv7(MIysV70 zc;X2pz=j1)FI>unk(!ySz9gmG`fxHUUUYPpO|>Zrt(1}c`r7;Jjp&l$uBe=Q8F>LC zU)277&}c`lmk_qzeLiRkN3?G2w;5JfJQX1mr5?Q{-(sbb{}5{=n`OZF%hd qX+@iMkCBHd?*HD8>?X$Hd_xTi ztq}L@Sy)?nLo8_E+uVzbg2MO&cAc+WCMG7D0@LsaYNO}Os~U4tQ&XRO(+YFnyX8mb z7uqyPrmQK=b8#ifl;j*{nt@S2j<2q+o;ZE}4A+Zr;$yK9RxS~jkm^a#-`&?)YC Ggml&|dV#A4Peyy FCZ<-a|@z=B8{ z8ykly^DHRDy7yY~qT%=8zgdV#FGEK2xbAPQ{FIcGu>JL#5W-q)Y;0E6QU3DlpVh41 z@ipk+#LlmG9{>3v^kT)~=v<{H>mD1m-6Wqi@c-PWBmO +APvjU|!l8s#oO9F?A0)^&^5K0?!D&e}(nHd%*v z+ukNM|5Y6qNgc!elsgL5T+;rL$VO77ZlmXwZibOQIQnlx?UoW}KF!9ljw|lez#kyu zid7Y)aXGMSNa`l-fI>^1 x>%F+sx DnaQsue$Fz)^N-2L&Y$k z!u%~+C}wGNXX@vrHW^kj8r$PrLPz*ku|9%&aD Icx7tVYCBHerUR+!Zj3loft?-xOFJ)!7 zU9@IcXQ0v3>JD#TZ|^y-cfs^P+%#ym*_YZdvC@;G %2eO)|x*50#k3u4pFWTdia?KWx|vVuXYHb}lS?dXWw&<)&j*WCRO5Uc->ujAQv z>c)+|TQ>5Fux)ZiEMRV0QPmH_)lkow&V#0K{-SMlS%c?qn^tc}3@np)`&)>;AIif> zgD$GFmT=X;>9-}@8-S8`1BqCA&D`Hrd5ZWCX(4F(@NT@&jD>2Qi(|bR!_`6$BXiEu z7`Q+7%QcPsZn+v!U>3SskRc4F -+KjO76Y6_nhpr+w<&w&$VeY!tyl9*R(iGQWH$lNZ~sy z>fszRw5K ~eJ0`>8eH9FCD{-( zTNU><1pA|d%x*`U9X+6bQ3zE`FaUf($1?T}V6ZDT=)vS}jwBiQqWMcBM4G-Aj=z>5 zh^~<;o%vO2nSwoGg~yY-+wKU~0~H`vOA$AncvYt^?*iznKvV})G7mk+s`fk|99?#4 zjvo5X*^qpXEj?r$)oB5}0=xE=dId@5jE#fMhT4&oGM}m!^XK*Doi&BMWAqQ54#;}< z>wUO)0SBxKS_@;`U*_1pS5{MA`tfdZ`6WL?ND0(dV~&yxAI!@ZlcUg^djsF*%Vm4A zq}Y_=v|y($gQC5OTK?31X1{>fPkab?R}Mbmf{bk0s@!g!6eU1BW8Q<^F=S+=rKLC8 z+Lw{1@5BcVH6s!Ez8|l1igWH-st#X9a@}g_$%N(Edj82tHE#f_70RTS?fSv!$0EW- z=)kJ@;qQs)3ufY=Z`vR+$Hsoc`^k3oV)0Tqffd{;Du`s#CKN5Nr($692>tr5Ur2_* zLK8zwcNk2vQU(Xh%*ZfJ)e7R7oE0vCdF{x{+7T5Tre;?DRwDX(EzL4rR9 ?FU zH0a>+Ft6GQ1?88-Vw#j-K*};n5BeqO)hFMsx|xFV_9IW4Bp3U!=-ZDSaThbaz4ReG z)K2>m*EP1eP(kenQNhfnCk^En>{6#4frR>*5_J6=@hDDP|Im%JRNF0-7bA6^X3auP zWqy7<5=&+W`Z7&K)Oc4f=F`Iu=Iv$(2kx;8jTFuOw*!vN7V7zUTR$HmWf|(U;v6~` zhx3cxYLD16du{i+8`jH*jq4F4FBxl^pW2{4QP*=!B#@~D)aoY<3rov2ULMPUG0O9b zdgW|mV*@$Oesc$h9VC5?fbnjS9i$71^8r5M&u;nZgPp`Q+)ORVAuu>$z_h~PyZaTx zM9F rQ#X+_`!j!YBUfTOdvWOwK}*j z7N=t&529?`Pj;&TVfWRlMM<-jS?SQzki-l|lac44gJ*J!4o&7!KgnAMb-Cs@N6$5# z(@=VBU0TFYiS4sJFx)9Gm-DGt^TEdwkHyh$&rPXCS=_r@R5ddK!T1$BcM=(TC%CQo zy`dpT0&X1tcHgA{ZjX$B{hMUIv~$*4WW_4D@H*kwd}IM24XM$sG6iqmys5n*2VdS( zb^-?xwZs-9=7zskTJVeTnpTYPvzs6-Ot<7^hamXU*+1l-Z4(+cJ*T6>ru5Gfsyj~> z4~BULDyM1AeTYzrN-a3|epBPHYYG9Ml?-mBw~X)#TK51+=+l$8Z%Y)Q&%k+DxY?g$ z-`W3K{Yb_QMotZ`w`3@oOs2%Qopq)-`@7P-VogTaEX%I)%@Zjdeh%yRIi_6Vtctb2 zG0hS}o7(jj2O2)VliR*a%ikE&2Q9R+?Q`e(QCgQ4XRLlH6LPdNIr`iAOh2NQ@``;F zUwa>V;@lKIS^5SeFU?I_i$eBMtRKjym9tYjgbqtzp_(xlK_`e{!G+O@z|ATR^?M6~ zUWOkmO>T(Vk7GrUAVVNEt>kA%sl-rG gupleaZ? zfs>LuA=2$LP81_L5<0vWV&~R22tbB%Pm;(;;k}qIb6{ncHSj(*TH%ggRpE^!GZT~- zmc`BewUA+lTheZH|KJepT9ssAW~VYk`k?f@30017RB8WI;Pl(}Mt9*-sBS4)`32$^ z%2{7#mXv61B>9bZ=jufYA3>aWvw@C1O191Su8I(9^?*vZ^eN-x$7>rJ#%ZM?T8=!f zQ-a*bpoNfqhnuv6=Zsp0L0FaSueJp{!5m6;p&|)5sXXhWcwr1~{IElLZ;`+GpBU3f zBz`LoU !JRyEaI`PkEcl0 EOAk{)1lXuA*07pV7z7PqaUNPs`jzutIbIsF zoS`Zal!Q##0}Ucrz;4iCh2&lwP6 FXiZJt^v#Ps!yQKmQz)v?RovVaUzoWQ2tMN*0Q- zfMfhRX1h}6y8TV$gxLK-%P6pl#OkguCBqh{PPJBCUIit$zg2-q87YF?A@O)-X6BFh z_1kdDJ%Be)pFRzsGI*G7a@4T3RvpBY^WnyGsQ^6#XUWqB9(Y_UUI7%WyU2fRX?`pk z8lQ3p8}>?1A=PDix8TMfj;5}XAnC`TI7|_Q{)1L kfw-g=AV(UdD)DEbq%+J&-ih#icqQ68*?5-Zm2f9626Wv38vCAyA#It>u5QwfV z3w8DN((y*1Q$W*iWIg3x%#pCDSoS9$cFij^i3~LstlzelATU>kT*N)L0v=RyL!rPH za2mL%73T(?@;So8_8ExjU^?a%4MN->jjO)E`PVIqXa$(m0IaQk(SMRA-so0inmqMp zUuEd6UY)~j7aFg1WQ91+GRai*$#=_cRB{=6C475mDE%J2cg^8BFvf6B*mW?v 0?TN9f5@XezU$?^XSAiQjN0Akw*SJ8J`Kfb(8Gx-1}g|DjaJe=G{ znDYwkbBOCb+jvcVQyHVJasr4>cSOJmJo@P0A?dg&J}nHrf=-l};=#N7KxW1!CMjA$ zm!75lA!|YMm9b{(p$v$$Np8Pm84igi#j yqsVTbdyMAR{xIO4`bL;|<64%|x&_&NPlBB;2L-<<|US6GYbM&&wi zIZFa+tZBi6BfB+VtIw~@=}URpAM1&K!7(*@*{Xh=?9#Fm?`bc=yO`a^x)^$Xr_iDz z4czd?3fMDv?Ufq*Oc_Ec(C0OFt72ik@?~H`(4}wS>;6t1KVO0FE5Es#)3gKYcDT(U zdNeOWBaMC`pMyVjYMO)OwxE>hWPwTlvm@9k{f|tp1w?eu<3%8{r1#2r+>|{FW1x0H z)x`9al|w?d4;Pxm%Hr|itnxoGgvArnT2*>;p@hgwcBRa^5+xq<1p%#KLD>XsA$o%a z`1o6M{aiku-!ih5k_`x0Wex!V94MpPxhb~N{zq^&Pnd3h?%X*jO*)#f-R0T#?+Wy; zfW|m*OpGH@om@ouy>dbgiGb}Y@E_}hP9Jy+>c?9AgU7d0A_EY7F@4=7LB8OEu7`z% z#cGqM&!S(L!Kl8dJ$v@h*iEZJuoEC*VKq=E*tE>LR ZEfvX7ug2~>>2co zSZlEd__j7zVAtgtv-v0H)hnW}R7@Y+QC{i_8plImR0-dcnfw#}3Toizk)42tKDVv9 z*aslC>47MBrw}17KWG-KY&t@(L4fAAj*gD$Ot+9L(6g(%usJ?d{%Du-2{jgi;sS$f zA_}H)^o;o|i0j&D?=qt5MPDdd=-59Y4jwUlfBK`qLq!0JS|54x!+DK#r=AZV vmSu|pc
|0s-UZC@wA3EYs+tUW{&-4L%9f_`#dtabo`>qQ zoyvcjz8wmF#PHnyDimit`iX3hPSVeb?C4@0n_kTGbG2=7JmrGt4T%Y5Y>NolG`n0h zs%-xCm`KA@??X!d)u=SBj1E!x^E$WZ8HA9Ls?k`tfN|eXd-C5S-*G5{D}e5w2(OZ- z^n>S?xSYu~T*ukk )w``)NHpLdwl+UM%p5~)g52{wxr0w_>Aqr(sp{Y z7^{D_(cOwY35UNxP2AT56)dm{y2;EL3YlLb92LXS!=(Q!Jpgj}>n*^q#y}3!OIAf) zg|55({c|}Yq%5Xs6dE6VR5DE)`l~Gg`&rcm#8v)r%?^>EYyfT`=AEW|@=;_Bz7lzQ z;_12f-8#p|Zgw8dZoZmU;DlwE!QsCLy`2BE`T-XO=E>!nEAKS~U-%)YwF+j|f5yL5 S_z4uSV8;zi^>dCoh5Zj=(+Ud! diff --git a/verification/search_results.png b/verification/search_results.png deleted file mode 100644 index 1fc51bb47ce795338906c7bfa7b4590f332f287e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 54882 zcmce;cU+Upw=awp-H51c1q)!=f>K3#jf#L$MS6{bbRqOm5@G{HK( `wOHETW5kBoGA|G4l6 z7Z(@r!w2^tb8#KvoF42uc92ut5z#xq#dV77;r+X2!5OPlJa(qwEH)eQDq4F^%F1w6 zPp9LN>jR=u=rvTzy3LZsQb1mXtsA&4)jA_aInxoWJBfeAW**NhQ5N#ePt3HQRgwy* zZgb~ZL*%a`e8;b#oU1eYZ03e|y$vhRfVlhkP1s_yS1%v cFwa{qn`zJ6uQiPwpQ+cx%7BeD%}|4%J*-r(bfN*e~B6 zJN#t7ymS9D*P;EBs|ODV?w6-d|3|A3{I)y63u7UH>Gf7cBVXI@U)JA>)?%?~6p;(z zq-F4&r;MUBD%i@u&^gWRtkZ16+ob%~OBr=bF@?U4$8yl;s_ga~<~mB$2TQSv#4O#< zx#bM==eK^9H+SC{c$Uk4GG7?^32IO~<2WxRuu^*3FQMi}``dDlF9&e;w7Kqt(fpgT zj%E4# P8h%_9 un1cjb4_ z8~^_5Xztj&g4}cpoB|;tM+N`4EYsp?tf-6u*~|NflCELlTS7GZ`O1q)l8SHY^(i6j zdN>PPYt8R^MHl-IDR1QSxGo97h X4Wq%D_!*n4fV#?aj#Ol QH_}#9^2&+o%Q_RKR|9AZzIBhkNJBG^q-jP|8BfwaT)UB9sfP)zE z@5C@ qMN~lo3XeUc-fIMt3YwKC`B5^@{k}+_(Qjre;3mu*eCq>_F!BosNapZ_6c^uuYt? z!VkxdQ0v7B1RGa1@>i}KZzb=$tWs4P`wx~NMpngPcw946Ty>n B?GR7 vBql!KiTd2)ddstNi;0`wu;G# zv9nzbCMuC|_PVaZnygFOPNc|GK4eLg5Kf4IH-xQ1e5{6Ey}|4n6>sGv@BAoOfroC! z?ZnTR@UTTG5}g>aqxFrq;+CggjO3ht`P6In)}>d%zj84pdze9^%=&lMX*!HMc0C8f z6!NNKf7S|kzeHVFmxJuu9^+{Dhr3+D&T?}Y>Wq?w%qc%lVl lhK6Jpuf! z)^{WRn#OA~4($03twQR)B@uKvJYy16x> vgqpu;83tk=3&CRraU1G{3p#(RRQ{ za2ghPs+W)Dvq8Jaf>eLotdro@xp_c&N3{#ns<0li838<6)M{^l3ty`nQ+>LJ$A5p@ zr*t80*~ZIEYw*avaee~1%oSf+dmPNnRoEHEd9ev()0Ng?fPJZj|1ll=&s9~nL1zW( zPJXbZ3*I;w#~bJv{@9V>35N}kcT7qOrh}O{HtoEU!v37lUQl>2_lC#%s`7B*(E`F~ z|Hv3DoCz`1rJ1+2BkDL~Z8r2u2IgfxsY30~zaw)f-L~z`pK9z#42mhS>9l)my-WHM zlR?fu0;Eq6s|H_zavg`~mI%6se3c+Ax14N-PLQ`Q#+K-^h-ROWFPj=JD&sb~2tfZ< zW*a7N`V^jWWt#9F d{iaABV71$1h(0w z>ttS1z#^_Gh5O$>M-DqL2s*|8Xy{-|9KMD{20%8V1-a8Mc)&-MnA{_=_-QqJehJp2 z3c5%}6#z<*3HKq5 nZ6x-db;gZ-9(GxKIctB9!&3~+%%k(%Gqn-oYpt`;W| zILV8DXuq*i!OPpRB+bWl=kW2}=eFzkiZ8^=^P$8IUJ=_tf<1l6)7>~wXnV{R8zrLo zjw6*shC3C*>SQ9OxR1tw2u7IAfh?R6aLNA(fj3z+;j2~4!ObWzYerZGc|VE0-Opy4 zQ18=#Bnuc}O8AokP^GNNdhhQFuV*a?_{1Kuud5(PV^DDi;@<*tkfs~r&bvq&WrRPE zM?Gb@bn&ooSrdC{DS7QvwYZr4NF`RO7013D%QcqxUO-W7mN#hWcs$dMz3mY`GLgc3 z8X14};Kq;W;c0T?_*o$ZhvDrJJoDj+;j>*3dLU_%xK3LJOTDbV+dpWo%f=HO>o%)F zEL#4~vRQvWn(yTHK$h0kTWYiY#n w94m;m&+y_$s)N#q~ n%MOhpzWxGr$$)J3h| zxa`FhmF3jN_=HvDrlF~0YmIDc`#<>X$paP<2Rp@Yfr(=e4rx113OYLddxT`x@^c;@ zep(G+p`dlPBufyRmU!LTooqX?6E@8vp$p93l@{c;w!ii7pS!mYlA1$KLqqjeMRJpb z(=UiczDR%ao7}6-t-F5zK*uXr|Eu`#KLQ~Q_U2+_Y;0|1B02LI=MYUUywd-!8kVpf zcJu!4JGZP2j=N(UO-xL@Ko2ncw_f}#kUPYE$j6p;{U1_A;WveH>PNzVHvaSY{!dh< zOwNR#kL~u_rQiK)% |`4a}F;rRPbg_V_BMNphrN!cI OA#))fPS-wL znkK}rI!ZFWFXjR@AB*=Dkkr$mS}So-1E2NDTGIlf *Y?YkE%xF9>-)-PGx^~p7p9LoOv!}))}^nYoAA?m?}UW}X=L{4Y=%wL^) z<$iB>+G S4AC+FUG`E~{kYQ1Yk@5AH&S;E zUf%y8 vOTA(< OofAn&Hg;qPe7))^#Wvn1 zZm{*1+g?Mb3ykua@EVIzp1go^L(j^9Z1-~OG39PtJOJo+{Ml-}CDd=@a|)so=C!pZ zA#ftkPyj0o*v7M#Vb$BJh6!9;27mA?a2d ^;IJzubkx&1&zNhWfn@@phlx!~TdHYMJ1hN2G z(%l+N%UJ ;k3-_xmw+8$jMYw!`|RUONpt6>#(5#VH6D z?5+6rnh2V`Db`T}Jv@URVYP&So=aE4N#D1~1@Db37QLXO%9^>8dom|EZ*86jqQr>k zkh!5I>e>!2{B(&a;a|Rh&DkbXTe9%2ZR%;&nQ&>wPPl*j#fWsEvL?vEApQd(89+k- ztil({(*fbLKjEk#^=UsmI7vpGw70=DRxc>#w6BQ^$8N$S01v$}7O{CFa=d}Pe0=hk z+!J!-$zgvrOZ@1V%8rg#)H{&qGJCr#6It!tx)_Oc2rF4Pn4};lQFc&9V^}Xr*T`Yl zrL){OspVI$2%7dTSJvhGp3x^A)n5VQK=+1?9(po1Mz~S*>$&SwC`gu#=HTc1OB@uh zFJOV}Q3=0~jkPViBgC&A|K+>yVtjfQV_}_N2!svag!e)RF rFs>|d>z*m|1_bBqVhD^Ao=VEth+y`uyvIdNDk+=x3-`>t5r+Ffl z{TMdba9`0-3ZLTS=Ex2Rb_NyTg2XQs7(XDB!d3-j!ydOtRxCDE;PE@K_?`^4BBEkt zmI@?%Oh&QfoD9pe#u>dUKrV=RI?_>19qx?-H!v%jR+C&Yels7+CRjf@P1KlN+wvxW zM;RdtmTcnL1-$1uHc15FT~i0BbT!_ap0HySm*}@yp`Nr=;PsE8)M4Ee#%l}&lTFzg z-30*Yt5eyQQc+pOyUU-V>SALY7{TlKRw`z6({0BR_nf(0C8XUx0dnx(9a{trq0Q)x zJ$!;RZ1mu{X%;n}#oQXRKdJ!R1sRWPA adU!Uj2MH#ehI(+ z&c6B>KB3m*gXI%})l57#VzLSgG?xP(_UKNtH-fu+VC>!8k-qO0rDwEk!r)Qvt(A&O zLulGazlzdy-2jA?kus9hp6gAp#b{IpETEL6YUU0(5u*>$9YV;Dwws-C>2WTBo=z=y zsc1{1PP~ Ba)$ABv-uLa zGck#n5G0i~NNWZG{K7}ewzICU@H4$%sk%5oARDg(7<0QJVG>lKZ)!dPV-3Xi{-Zir z`RR)B8@Ci~ro#h`Z>Tzuld0-<+XBEW7^{^of+E)Ccm0Kvqz~sSfHRnbS(eo2wE5^k zZhR??WNUEEw>7`VTn}B8H0?8(yl6xf39j2xG8S>y*!?MD=Ze0KL9qTLOo@z94=X*L z%?14ERA;v%_3{2fVWee%4XMUZLMP7SrHZpTl9a@mb#_ WhN~wnS^YQ_xU|{O7^XRg1IJpG*$}2rEZnl4w1S#?i zVKBbK@RanyCd)K)zGuvw2_rQ&OWznUOu9|LXR%+?LF;MMUS$l1_+lw6_1e?2wM)Oe zmt7|g#GXZ)#6S5qHYFbR%@gBS@pPP?b*&)b40Y+8o|DTB?Pk-0G+k)h{BY%YvWo%# zf$R&>SM`8I^Pa3Ly-G@OK7+|?{h -SI1#imBaTG~NW$cWCYkzs3nq`Ul_F_7y z_knfob8jSK&iGOpPB;@xP%<@G6ETQuch)DYg)B5?f9gugREIF`nPvFSW>lNVos+ab z<-gJQ0gJ7aK4vr(x>!M-4kg{ua_TygD7s#^+j PkZlKSHz7( zmzVvHs6l09G7#A`zSafGwDTb_sp96NBa2vKMqt!Q5tVU8;G`qj9-K-y-2Pg@^V;-Js(VUK8cNZQHEtn_Vu`dBQf9ec?2WCLRr-IA?2 zZo*R%zrA{}1TwstjoQh@UbH>9Kg~;{H%Dy8=^%-)EiJmO$Pqq6GlR)F+jVq3R7w2% z+@3~h%7SPQf%~Me=}EiEfqIK+RB^6t7%>$~^zZ~cR~EggA8T9Vw!CGV+<`>Muin<; zW|ZLYsy+sFpC9*DxAhAgtqxpImY_b&geE7-R}%JYo`$$lwra0#)0)d|&t(+*i+niv zO@-s1tn~{a(B6v#`vcdS+RvTl7r;EvmaHQsmaUn&FlHhIGCaCa(IwoP#XR2mkEF`O z{S)22N3jQ`ba#YKxO8|Xm#~( 7}w z8+7bY{<>>?0&9C%i=OdS7-KoE=}z!!F08&_C{UT!g&EyObsy2kP-X^p9=cA`+_prD zg6h$38WPlsp$cw*O3vX#Ykd%VWMD6*Rl}1P7ToPWLizc@3F%IViAGfI?e>523+QgB zsrAqtI&g;_8ALfJn&?8hOWJeCU2uu_TX~#A-3m+UkZ;%l$uv;4@7%AsL;euIcGg)& z=udqR20DGC;87xLF${fs?UMj&tt#F)I{IPs{q?2RJZFE$ML`l{5s6`=6pGH|@~uG^ zrWV_f(usUSLTfwL)|y-Wx?=O)VCi&$snBNTB8;&jaQ%9H7EHgeq*6Z1-CM<9^zx7# zp)~-KZ-&hf;Xjcf)fDjqjze#aM|HSLR}~vP{Qj5pDKS2!>PpJVTA#%qv-2hX=h8_= z4 h(UY5SVW oYxXQg#vfK9Ywg$=1>)S?15E)v2KQh{n^FT9xj@ z*F4egC?n0?MNL<_b$=+M1qTcvJ_ulxbY4Nx+avl1K3tO$kVZ-_~-yH}x~+%R>pv zX;q-+lKRl?vcr?{JaOEbiOHqiR^&(TOynCVG}47MwY04jw6X1?WWE1Frc$rUJZ W;o&L84N`dJF3jT?@8+Z)6~*CCzf8W_7aEw@ea)^x^sBw$p5IKD@Az1fwL zFWbx4>(dQe-42mGURiyq6iPv2pkw`gc%=heFHWH)@7FKJ &c>F%Ay06B^%=^0BV%k(wICi>^XsuNG6Bdy8G(kz- zC$D<0Hs0pVZeGsD%@6F|LqZw_>G3u38E{me&sq)OjNklI_r*C|R~=nltY^`Y-Ujbl zN^h>rDDi!&)TT+5u5q;kE(CFTFYlug;V =|_#_|YA zANG&1nOYbyt=clGJp4*T&Ne+>ScSi8ruQ#>TS~WE-SXBm+*B0}A*1B6+0gi1gJW^L z9Ln?jxvM+juriW)$7TpPoH^aw?6BRCj%MMK1uBA{Zf_Fs8UcCEW0RV<^*oD;ThpI- ztfh#mitD*AM(~u}TleR$Bh~Wra$f?eUX1YAoC}#>P}aq!6eJAUI=#n$wONVrs(7{0 z+koZtB9KSX)Wu{e0k4qlC0&wGf_yX;Hox9y|23(t!#?;aUN=xT4jdS;IwB~Q ev6E+tmyz $$VnM?WJy8Z ;sh* zxqm?J+P$@|_6XF4kMD+G=nq}A^Fcbu!4@l*rMQ*OCaMe7eXL#^v9PCosLs$_DGcpl zg>O(MzmU02S-feA?DrQ1zG>)AdShqF`i65c&@BF@U1-ZdubRCO{p)Jh0N~O|bi<-3 zc_oLNv_ufKBG?*7NgJj~zgORUHdZvpQDc#eyP9E&f-iLGJV36-lxtkqmWDd8UQ&=T z&)ram5vhu{B~^-p_8!YrUyjUn0Mdu5aaj;Q8;9u@pt)v4CauhoDD&P5c}`vZ+SM}~ zu@O{_Gz?>?P)3ur!K8Y2!67S*`FPDImr#a$5EEOA9dym68k_!f*wdJG?`PxSAHu*d z5TP^5TXdL2@u^f>@<-QL>ihn3N#r-D(11f`*w~oUQE7)v 13 z?v$jRS1OP)k FDB$oz+ZIK`i{(JU5&{T>w z%Wg1(hCV)FZ`RFFS+hL(&DCRQ&P~58>aJ&*WxZ;6c7BO(zbsjxH`?Ra_CzmHRa!Id z3}=eZk}I~K#0u~30N6F;sp2o-JlI3`;26PJcYREG_x9EYzV|}Gc#ysL$;cHf+44ML zCkT*N!Of=gAz0MggK^_8r=*q{D%ZDlknet84_z!rAZ$gi_U<{sMFQ;6EpD;>Ppn$K zzHps5c0e#^jJ#rMjE2}ne~yoLnf9QzMbQE3Uy$MKEW`yD$({+p8 *K_-^E7T9WA}W>MF9O zch|%3KC>CQyuEeUc`00=!`R;JbTVG`j0SAETn%KeEGAmF&}R!0KE<> Sxm zUul#_;8l-VCwc{~bR}<1x=(f`B{fY&&eb3Ra9qG9aqVrI+ !?2wfrLt#7B+%Oily(P zqtCURexYp^fNVzkvFskbo6LS4MtPso`Y&I=p1$zHt^^_A3D?B5tZsrwuX%tUMl|5i z#7IR)Zw5f1qH+lsq<%rXQJ4sw^R!GQ9oIbSe$07z*&kHn#6okVD1=Vt2UiOF+yr#< zBu~k*x6TmoDU=R40J2Ix6!tvqj|^Do3LY+ZREF;)rqjK@;@**E|K>*<*a_GLh~}V3 zB64NPGvAbzS#-uG&hD4^hSRrqEF$EUgb84xe~(`B>v= VJdLc>)^26UQFdls9pMJP1?Mos4hVqD!@f8nLgDtKujb1kL?HaaA4GlFr5 zaVFd)MS$N9?vYK2I`R^Jma!!efl+o=q4>@eS)XgUUn7;I>fN6q2UpCnt}}ox{)#wH zPPpJeCWxr;>B^M%^2s*@K7C*7*>)@Cw9JnZft*}N#~kU(40pcX^1Pww+{E$m?o@H# zt!F+ywzm>&FC>1mFeq~q{8Pg}dV#1fsW-K@beE708bR%iyxOCtFFGhMYv%p3B{Hc< zyv+j^<59eePTTdV`p!QWLPM}&JL3^+Q|7kD!oDJ?Q?4x9$_{s3wJ_jJU^ctxVPb>u zwfB`7W}UCS%-#07eZOp|JH6MLB8k402EWXDl#?(j5_s1;$u^92KIV_`pQq2FR@c=8 zIsz`Li|sDl2ee_9QgKokC8s@9Nlyo#3O !`;q}*U^q1;YsF8*s^~k zII4JKw#qZ+o=OAe+4u;?{ztMUZhX9U9gRehy($H3mT`8j1Mk@CBP+BeW8h@|8mhu~ zL%I*IFH(9@yu+@3MZzDh8Z`GBAPk{HHWtlA=XouQ!Q%{~_wF tsnFZLI~8DMGOzzd{r)6*$$GpNcjm=`%V+F+MD7`A_N)`KAf3~Wd$Xf? zz|*mzp<3O0<5YlVIJS8vH^2 r_a@m(Knms9mfa8WOI>w za*I;K9SyUk8oO;hxT7GxQkxV8vuCcb1XCOwGCt5 E(@{X6F%l5>|P8F|5Dqab2MD`z#e*DG{&d-YD;;^0pPrOwdSAZJ2LBi!Djm z+ui<>-e6PuRT1y!vOT;ze sR zzZ{{h%}zNW-@M{h`1%uevoL2ZolHIL6 z)aA;0G5wu5Y0ebnbEL_+)Ad5)pza{vZhzj@QOHmqo4g>R+9Lfx7i(A3H}duA*p9H{ zxqN)}#&U8z#CImq5ah81N@ush=*BUp&pI_c9UD-B!8Z8m-r0W*d$PA8Jtw3UHP@=y z+n<)y(2lnplwc;^AviHuz>!bS!(J-oEieW2(ahdxf4OAlHn(-rxZIw>pk--h;OE)x zCOn%irY{!(1(!V+gpw^!RJ7(@76I3vymXf5O!7s7PH$A5I~haS-2olv5`1% u0k%@V!H8%!MS~a1x>V?W}w~P<(Q0 zt7%LLQEMH@!7mdcpVYi|?zJ@cwY)S&QHSOyrj;P ;?Md{2Qod=wu%|7rdn46D&K z5yTMKc_qS}`_Xd|4hi@R(TCny 1PJUoXLY-14}NDCv@n3b&?izNud7$!>X>$C)Ziqn6-uYG>BKh#E+vk|0&j ztP8o>< q>n+7*;N zfD^b-rv@9VpsmuF+Rz8hnDsZZCLp_51zmYl=)d0xm7zW(LfU@Ry?KC-2_`Mz&(jkXgPM z@Yn02nwn;6Yo4k80{EKUTom`TMga4hvwz!hB>7J65}@N +!pTrl5dyE7V4$Iax-aVIfH_3Y&G7fXz6U39d sE|gwd(p zhZ_8X8$1&)@+kvUCG(DSUA@V5sBy+{2%p#=iTHv^N$uOj5wV=T8Ej(wG70^tW~+*Q zW%H!L3}^2^qf_k7JSiCz#@?DqNr&ws;_;gA7SQJ-%|qCA8*%Rh9Ku#aI$tM#5@hyJ z8BAjlrAs#_%GZ)@VcFul*?}K%FAI9IkUryd5sb+W$G12moN^XMh5{IiN+6MiCBS@< z^$|8LF #E|Pd2k 0m*~gC=O&wg=c;h-!Qg!$Fh6MSA^%3MWlpImVqnBe{ z$>?p3v;mX6GLzj z`K%5&AvIH|Q6S+KU wJ*w`sDTR~_Z9|i43#iA38Tb7iC&RdDaEY2(YK#(f3=XAL@mzIb&F$8F zjpRwzJ?Sw)mnTQ&=wjrG{IKhX#O_t$J-u%iR858Lr3jvv#g))L>O@a=c74$|%zq!O z=E>qMI^k;X+Iva!O6JKR7O-YTlt}%E3G&AXg!eXN&)60%05Ok!ixny}5NDx8#QKb% z3D?_4oSi!42xjwFw^H+a=KMwN*^ZnzkJ)b}*pd~eS7S(Z8i;*G=gUo;G?22imE~o< z`x?&f;Jg3VBm1zhk;RFYc+7~+MuvH8 (LUaaF~`~lVON}~ zcEV4rr%#s*^Q?#dqJsmidnXr)aDj>erJJRQi}kT*yVNX7-eU+8D%7`S6Q?l@hXss7 zM+E-x;0h_db#%qE-lddQ{T&gK>)ML16ldi-bi65DSaWVY*mVt$+_r*tq@UkRGT%h4 zehp7LuX=u+MZ9j0)~K~S@nBnh5Qmwf9Ge{a9$VYRrqR3V73rnAe(Ni@@#SH+lcxNK z*G_1 ~)MV$AYFnhG7vEzhLRUzwpS$h$N=gb!m!?&T`XfMf z?=}DSG6~*ZI(7v3_Ti1kq=UR%uXRA@xjsmSmbwosxsD8vpzBEy@jF$#G5VoP=}JBG z$ZMRP`8@t;k n500pQ#BUb5r^5wAtv++N)>>p6103l_76`0Y$X@STKWLoxm1WD5gi|| zgoW8^hU~#d(3AeZiqBeb-XW3yIu97{DgeWkLmR%BYxqw$r1Gz2{orb^Pig^au(xeB zqCC7C6oSPnwCJ7sJCsWT$$1P!)j|q6;;}2%S5}`JNcQpyM9~cx^%~q*8<$5c7_IxI z6#FCH3j4ud#Qto90eTK+D;_@OKPj}#lp3rcWpyA%)q8LjF`CILXO2$v-d#^ZBZV4M zQU@j{CEJ@L$3FDe2L1@jpoNGy#S3eQ-x5D3Y1P+Zb+XlMg>Lmk-p);R%UY{qQ6D(c zW^lGKFK}~pQ;WR@XSwPl22U_%e{#L>jWY`8x|%HMKiJ^#b(lHanCmET0VDq6r}v5i z8O=xxImmS@niF?(zm)Y!m=iZ4disAG`TMV6X~7C^D?2&zh2Oyu`9=$;|H{qAGrM03 zDy({NYB({T0!_#O{d$ TaKL;PxM$BD~2&2Q-c4q9rwe8ZR29Kj >HEgkE 2Z|2(Qmm2Gcf2D^j6<* z@X64P;h73othh|O_|f-0Hi@b=XI> zIS1zp&N4_-)93 ztk;XT1LqE1yTOH=+VvQ(bpPG#si$V*!&ZWo4S;|70?xkd5ap7vEgC}aClPR6Zocu< zr}*H;=;RTbv7u_)m%j(;>bo;9I==C23+DCpy0U*qkKcKd$_Wgz75_8${cXwLUtW#f zQE2qK2`gTi+P{7wt7Osi_aFc5@%{fjQt%(mGWgF>@zn9?O#Aq&D5arYdWKHou2oy9 z!RrmP;xL~ud-$h6yjI=|@JKeBXH->}XOkYz<5s1+WZfHvRZ?v)8A6RN)H`}=`@RdB z;q8m<4st)d&+{j97B9@ND$1(# gnqs?{JaJ!%E-Itxs*|v z?YB0S2sOBX-_zSstDb}nCT)CbFBQChNXM;yzdx7f4BfrG&*d%+e9`CV`H8~^ZAvUo zWc~83WxmuDGihtT$Uir9&$}3`Bu|km>2(|MeDkXWOi!a_JZ@b%!@u41C3KRPS#{?k zNWQfYk@GJ$-OAc!h9~MN1g;F-G|hi&B7gVLZv}dibD@Z Hku2+y520&N(`B z=W^fZXz Uv&MqsNKn+S!A2?)lF)ACWzMUt9a8u5Q6#Pnv?h!5!1I^z^nHbpgu*oJlDW z|EJBGIs8&)!Wf^Bs=WWA!2) cGDDk`u?=Dlb~r*t z84HMMMS{3vZ=q>{CVf>-R#wWo{MpXxm}40u9OL(_z$jDIx${riclqy*KiEq%+|$m* z5%;tYaW!(?gvloYGCM^cEnwa7rs4}V)#F`n^f7;Y>Cx*-+<|Sj2|$g1c0_-W>o->H z&Dp#y+GT (meq|HKFdFH*o*PzL}MrTT_^52$Nt-0U*P+? kdTept1w46wZ_T!{0iMq|#^2qN? z?SCc3>&?$|FEpH~(!hFZ0P?BQIhE; {0|q6XTWed`tRGUf?3+>fX|>xsiJl@oz Mh zfG_s8;e$z90O{RLtuEK7_6#*z=-rWA>}m->iQOIsV;GF(B74@IXt@a2sU6D&UZEIs zJZ%uX8ZQmkd|bq%O6xU^*Q6!f*83~(*;#c;s}>GeTZhBcGY~-$HVSNFq6m7s@1U&7 z54QF0PpoELpI6G$SqzI*tDChNShG&^-G04V())9A&TU1pyC$5v{tVmx^n8}{ QRm1g+$6$=5sKFLKZZ59ZfzR +m z_EA8{x~>wpTv q@!|VOsEMB3lQ&KWgJ}Cp0HJ{&F7>O za9s;OCj=#Y!5L4{TlJ0YFf&7H&PU>1G<*VRYR-I;rwE!-U7h0m@#t;5HIF7#T!NTg zJhnrqI8o4Sh)BsQTW6!m-KYv(=fKW_U);i>?oGMaQDB|d%W^AvRF*#u_~C^so*qjW zkegf5=bPGDQjz`sb+L!}^e3FTP-QxSSAySU16+q^qv9pR?fqC1weGa{K@WRB&V>$d z@WyimyyU>B*M2mnYqeQ)H&CM<>U=}1yKdeV01Kia2df!*9>W!Qn}CpJ>zMW3k$4d% zmfcNnq(t13I-^A{0y0 PWlH}ZVG@K1dL)Tz2`CXP9~v6cjyZSpu6DFU$GvgCE{@?Np{NcAPBgl~wF&RT zci+3xD9D@V<#)H1Ru_;}VEqgzib7i!rWfe87~*%(;W%JV>TPG*s|9K}^*p_wC0?p! zJ=M<#WN!>@=VH};n9rRfA}54H=K`_!i#85I_mlWu+*N_DRz9B097esK+1|q$33M1C z?P+1OnRWS=OA+fMA~ox~dkD1BB_^DJg|o*!5zu9Q;Nv+xy|-KULW&Z$>VjO4&~DYa z_M6a6t>e-D%y@Y4<&<04OjWUb>^j3FMKf$?+rP8Se>UIpU72&1{<{h^xD#DJlc_5b zyp+m^jT>4?@a0%w)>5WFRr4v8NmVnRTnxD?QMAg*0} Xg{r+~mEY=UrG@>P`Id$BDih znH(OXSxblb)UOLeS$m{vd) ({u!yu2gd|wUc(W{?vV?%@oam_aS=tO_DiC+GP4#+ -}UIro47%NpXeM@a}dseXA z0T6ieR|ZOhc(QB71qeeuwLt!Y8r|f9$6)*d8(Z)1XOXe+9=7o#ADJw!6=w<2%wi|wyR5dG2I~QW`B%%1nQu7oUST@+>1;@<5<*z@d=OkX z(-eW(cJfS?SEE-K7ZWwG0CI2tj64EBrqxcM)2kpsqs#H*@ZC*01T0j%@&^unBY1ge zi+f$cK%{WE$03U{HDQEe4e2-CCKZCSU@H`V9Ka|2<&T($ulMspkGiuu*M?;lWkO-5 zTX9EQD9C)~uTddw1tIL6m8W$#$zkA(X|h>jm|&Q3dq; {Jb-c^r8(?Z< zi^_r++2Ut!@(73C3?>(jA(^`r988^A7$(q-W@Qr)usO;j(tO#Vj8!;^0@w5 SP8Z ?s@;YRSdlo5#~gP{$&e1Ep2= z+*4NDcXnqv^R`9?U~dzI^kT)AzFxEjHPB`SrMG6kiA>hex$U{Hv&hids6)_WmjIg; z8S?<5>W{LGk&Tv)#247=1(t?w-O1af$dmYuW4FH4)>_Br=qF3tHw4R`I_6eoBWq<; zF!)@NGlTn3XiT|p24&BFo{?>W?u@xIy+uXDbjI%k#*|~)Ux$PJ#_1UT`G=GqFfYW> znb>+?F@cOHQH#vJae$Rk>TT`Vt95t&KNH18i~HB^#6-XUA34BJ_R+}yTvIfg$sRC- zYcf~ID*hLQ#7TC!eCiZ`>Oi=&1T8D_e+4<`P3FJmfve)8-@QBYFO %)z9{bO~9T5Kw{{{G;BJiL7 zwZMNz6`@r6r#Mb(Et^G3TFmDuIe4#CM;mt2r5$fi{W3vljXv)7ZC`@9>}J7Y?*ZX6 zTFC)v+Y=AR&UT(O35qHAZ$13m{Bpf;V9@;I?+Ee-5c>Y{u!YX5Oh}$;KRl)KkH2t9 zTTTPslKxpO>i?}AGon`4?w2C0Tx%ab?U^E;z4p03EBTBa%P`eh`gevh7wztm;Airx zon4s+7PKKY`Pz6{vu{XC+^7&or`LEYc?U#6(9&C9CazU-JQjT3zK27tzjZb&w+StW z25tmqs9YO%lK}I8ty48>Z 0Xh(7z{# z6}&blQ!<_{rRtm8 +8lDRJ04<8M7LN=GSe>JxcM<}Lziu+bq_u|orWpdUj&A)$J zs-=S(2meC$j95SvMN{jKTE(e^QPXREFI26TjBh-tIkV&3UfetdJsXsG__@NnI@K!| zo)4EQxaeo>lYdL67gfC+ZwsjD^BVoAT_5DeM=*Xn%foN(SbmL*Pi>6oR~_hYp@*vT zHn$G6n;hOY4I)8ycQTs ZyLZ@c$3 zdDTx>6t_DGL3_@>mG)Q^m-^(va3rz>RH0K8C-e( ACoQc}Z~ze*<7 zk4?!HHKB2tUh97K5><65c=+YZ5@(;#e$N4S1kGMVWq!N%@u*y(;NdFGE7`=V=Cn7z zP85|g<9?BYBo1^v4x6+XP{iKdcZ$B)_{znnl$bx?Zt3T$EHttJu9r)nJYTLr8~q8x zD(;gbs4m{vVklIk 85k-C{H*=hvEY93!;^ i_y#MZBIz3DN40< z>Yc7O2Rc`%5mzoS)($z%e;OzsK|Iu7s{X2j>^YrwbtJ?4I(wg?P7*%FzC^t6#CTxe zM{TgtzUXkNpV?08uH0oN^5zs)x6f7u{rOVixXM|PU)xF*s?t}kOUPU=!Ytp b m#uG~uwDsm(X-Fx2&D-Ea=b1L|k=@|h3qjm5>k6R3_gN1hoz)`>J(Ix|=|C9t3P z%GFo&+fo0gJ;$TOSuMT1bEjzdw^LjYAz4K~++0*u{O9WhD&1UsfBU1rAoZ%wX&h(G z!#S=V{O9D3jLUr!nG>F`)-V0DtFztg({tkGEzzake|~XtM~1bd`uex|{%7yvvjDg! zllrTilciB?MY{)n6ckael`xgFdP(+x@8x}k`wT{6qfJ@-DU$y;ynO#>7wdnVij=Ph zlusR#S5(YW580Zm_1~8!uJ#|>%Yy{Y&b@#@!9E_@ mQjUUPiNZWD#sbFT7P>%XH zBylipe|t`+{|g6ZIy8K3wJfoaII5q@?90}YbL} i_YvsbF!aT5^kEd-bfP{z5HdTC=ZBoFsA)K%)NJ1 zlU=v=3l@A(u_FS4jT)LL0jU-g={ 4XpoBy fg=ZhYQn?|1KSpE15~oN>-L{Nor%l69}F`(ATi*Kf|XZ Si-!F;{J)2&K6@PKlo6P@_RXSVKXYoIz1;sL{V*C9!E3194V* +>PZ{jC%n2Im*C&WdIpsz0RU-eJ+j%tdr zOTKo}ew`dC*_Am{J+YQbotbvZc~h?tw9=JfvI{-0%LR24`Kepy{b6c{D@;#2T`Law z)`Haqwv)G&oyU*bCV%DxCNghro?J4<(|$_ww{lQ*?cO}mYPW=YY?i~$Qd+_+^YpZC zDuQ!=PMf3ze=8`>-p6W)JrO*xeBWd5v1*M>bGe9#MNLNA{x@TN@BOZ1mAR~$Hk}-# zykvbU_@Tin*t6)gL-t*tYbsKFd!{`C;@sL?vl(r?$u$u4SFd)jRNnoC5n-FLlVlB^ zYpJWb$`bX_iKk|dhwN{`GjSFbd)$8|@ui?AuqlV#z>f`ag=IVSOQtG5PaWB}h3+S- zZ3GJbE>aix9SXGO(dnP5tDH!TUK{bWxh}BOY-LgM^hfpG$@pYjE(MyTsYgAR$lM`zJzsiq>lD~c=Qly zY4@uX5ncN;Q(*tzwDvmuj3lwKG}wcB?_L9LTQ=vJ*R7K+*4nEn7{pyYqy69gorP~{ zT9aN1?e- K^z(EHc4kibZ(Sp*_(osq) zukV-=$`st-`F^`aU(N+E-m5`Tc6O09v`Hggv`JQuLyr0JS;<~S1PEKOKy=lxEj8`! zxoOzGC7G#Agm6M+!x|)*+UF6@YHEq1MYeq-DT4mVi+*KzjlagXro9~m^Qwpsfb0nZ zx~ZuA#Ttl@JJrjC93`U`v5z8&b__A3B-C-Rl3E2?X-gcDE$g=Y {Bc_;77KbFf&fvj<}%2xT@UdqhdfE6S )sX5V zrNnCoNFSV!$
ud}o zD^drOebw>JL=lL%iNgB0v~#$^!ePSr;ZM1xJxDSKDJv~B|15#BZhu%VPeHh(qj$SW zvtuP?`@u@$V~2{}@DIgo(SsK)N@1c1;Ute6Wql@9Jh-hc%Xc?(6T!R)m&MXU;h*;( zIZv-cw4DzwZ7NyZ)D0x`Kk|I@lG7gUzZd)LM4Vo1e6ownTVLlI`SwDNrx#s=mXVpw zu>NxhOYnOPrP_xLLM>Z?Wl{d0p#wcE?zGx@t{Rd~$N$N>#E-{_mVa!e STnPIUSo=j@tj{)T3UfKSp_gN% rL4*p(r^Eekz%?}SQ=g9g(Be1VU{c*AFVSWuqj?fOTJlcf_v+vL;bjTIz z0`g4deN~4@W1JjM>6dA5Esr3b4@#)oJB9UmbIGtwaZ%ay BMbmp`j0-xtL6Iih5}OBE?Ob8bXNvtIHHT59AeoP&q(cHQ zla o+b!FD5J;ukrl-2bF4*J(2cBC%)nXGx&gEsuA`*cXBW zLit)zcJf_)S=yYMWKgW(B8Pgd B~L z+Mm@Xe%1?6;iuT#U^GbTBs;uE%y($7BVE)tIW_pqiICwes#)gUUiU_~*M-`19G09H zt3R1!-sG`4SgW8neZUUS80S*REdCu+AT2O!tYf(`spThVr=bI~`;;>px~72{; N`(|PW)PVMA38C4IM z?LZno3R`fAibXRXc^(;)Fj4)@X-(`%b} }P6q`)o4x&Bvk~uPD8wY8Cmr%I`xDi+zzSBe>vOFP&nwswpvX z>?^MPdZ@;1P}?((0n@O-tBD2*$G7Da1$<0WlFYq%$|YaicfqdlU5=@z$MnyP7 &!B;EjEd*Op{C^npLTcq^uvv^n`ACH8^tWC|#-(e^Oh_3Myc15ZjeuN+;0|LFWc zZFk0wt;O%5#ln}*V_Xh?sSDa}+KoHn*p65!v$ss`U-I}RGZj&!@h7$&xWY2->=fa| zWCwFni(HHxFviU=56uG4FYO;?O+8x+D;~wgzc V0Tz3i z*|YfJ@Rtv>1qIbjZQ7o{`)};46c;#+gCB+)*EuxQ`1_rR)VU${`=pFQIDd6b-gL{a zh{CSqj{WD$#>IRc9gYrW39@#SR59K1wfTO~TfS%hei_mZ({_VTtC5!;Yuv~x($kUs z6au_$@DH1RHzI5 ^DgyEl@PSNjC0(j2f3*eWC>qoC@|X zyWM5?UK3H8Bh2oPZ|K$jo_b!4x`ZQ8QE94npB@V|E8v} 5>>R5u;Fhh^Qc;(E2UFw43b@f z%y-&IfW*gQl8e7Dv3Kwr*AMP0ibsP|DRiB#^|sZe;~OYqE{!p~fC%~4@)6Br$IY4% zuGcO#81oStrpQ{!?>J~~ZZx^P>S$|Y77i <&>G8p|iIxiMS+uonzq~vQT2s(3ttx;x|+HN5O0U z0a40~kO^^ES ez<16h>&fS3n}-)9Q!;uJdOd#jo2%N! zNQhFzirnR1k$RJpi&YdQGCGCtpIi_w?z~BwdrSn|K_Dl>7{aALrX~vC*}ocIuP@AA z8o!{F`PQ4BTt9v`Dc+!5qW=un;=^kaja`$|!b5ju4qt@W0TFob0$2T|P_R5K<)^5F zYB$Ev-!THL7-ZzfFes=0 *ZPI;bn95J0M4cjcWnp{aJg@T8I Z z5Sf*DCBP{0?%=_|vYG;MDJY#J)_G=6E9y$>M^?exk0%^Ns-P zdn9G3) -mgy2ZYG4Gbm526}?p}Wi Le>F|E!0{hk$m`w8S=y B`7CAZmRt6-e3=hbu+>;@WnyBBD%3vGetaO>5eBw?6nbz?%WXWPP0(>A|4 zv3}+%8KY9SdVwNZQ1*DrRG~i?RdsZBD6nD!@6LnJ(z3{zcY!#i*8C>=WWU5JMH5)6 zs(OUpERVIpeC;P6=Xqc%Do EH+eG
@1IBu>Qiru{L4agb-NQ_t*jeXjmF_~` z6ul*i?x+4E$2IucXX_E86}`wdOI!Ysw|fuASM{+kHM5=Orsq*rf|1=r{0MNRKxWfY z(Z+_UT_)rEvXi!bh-QRTJyPH4q4cT-$BDSCUNU6PFedF1!c4b#SaIieEr_U@`37?M z*jL@C>!u2osbZs_XI?flIlR)U)BY@2FXQ0mW04(>x_x?|J1s!C`p0MJkM^$Pd*XZL zxKRp`6P^k#;KsS3R7=Wzk2@>dNkgRFg1*8X@mPiltkT^!PqE+v=W`)^9oY(MG}n&< zjK;su5vaSWEH`>tzJNk1L>Mk~=y8)i^_!ZTFeBgw7eKKTbe%@FK+L-UT=h8uUi5OA zU0hR5#Yxu_5Ch^=GilP4&8vIk8#%RrBjG`Z^|LNqixhbVSC= 9k{Mfm|#(7<|xg_{`eM-rj;MRT*124Mw` zE(l=OTNIv9N3X;}mizcxHi5`Oi1onotqfZ3L~Pb;c99OWxy|VY9b8#fZdpxfmVh~N zjy713jA&DPxZkioFV|%!aoBD!Bb~d-Cg9QCnOX(fA$hS}`joC* ;0-K zw|`lG&P0i%HSMX0B=PvW8^pSs+rMy;divB>Cr<#UHC!xaPKV7(9~oczWM9zaiWr1< z`Se{{?;ZD0Ocvzz#NPM&Zd+s3#u(SS5-Ey(64z*Cg}@UaobxhEwS>_f^=OMm7($Hq zg_JGS1t+rTST>(Of;O7JF^PG6Qg!iI8D=E^Ov$mIH$zy#@&+Z|a6271sZl&MWTK#j zVLA&p&_~m^U!5C1q3*lluZou*Peah#z{HH@RgXfkAg@!qd?B#1{{Evd 5>ApU8ipBEH6`Cbvup9iSsU(^m>Na5(s0;9 zkL*bpnzj@uE!LN7%!%#& w}PbNRBG!R2$}GQ;c13Ykyhh`Svo6d_Jd z#YjM1gT>l{OSPJg_&t-k=IQ5^B_>LIYOWi%{WO0~Ekw;jvBq#l!H7KlM2r6Qr6nHm zmxx2Fh$U|1F79jlVur3qEOKN_`vPf|v2Es;+no?;mNbeL7%A_n=?zeUA-h1n15%+m z#oi7h-g<_2HB#3+SWc#%_*hD^blx7RU-H;`c?CYYP32vf-q+TnIar@2>#G=WaSg5x z9)_J==((BwtTfy3@x=6rX>cyV!3~1^Y~6*Wde{c&ERTJS7_#J-FO)Tfnp4VR&O>KB zam7Uho21eBSeL%z JcX-{mSUmM=ZUb}6K^m;d^-P*{-)3IeTwXzrYetViS^!MbbVJ0yng;WUhMoOZrb z&Lbt2$c_S@D4L`GVIJk8T@sIZiV#@rM>wbBD*M#Coh!{W5Y;1_#kuF?&a%i6tHCA9 zIOv<7k`B0$TqNVPvc`yCS?3aN<4D#wFP<9Nk@!=&{430E|4b$Sw3b0btWGEREnDu* z0V*{6CYzj=t)?Dry3Ykqm^cCqv4oCj>Co#dP3!!Up0ys_4@Y2&+|_ePbD^qHW5i7_ za(=`1(BKmX7azk fg2ga^|Ox(JCduNpt@#DqsM2AWEUJk z1E$rBdkgmv+8vU<;y*!)W4$xtjDbLK{xWj3-0G_k5+_ozlK7x5^H%O|fwh5AX@;7k zkx#X$HM?4B#Fu+Pmi0|xVj&zltx~W{$^PoB*g>S{) wO?wC5?aSkd!&RQzv)>N) zH*Pi_X7mqRojXO(T6>k$Lr;qquK;;3y8OlW%5*$D0yj9gAO}M$kydUj@gNAIuD1?i z`e7!ey SPRK zehs{>deI+yVqtX#9_lj@ql4iPd40q F<= rBH&xRbH}NxDRKR7u^6e=H2F-w zx57E(VC}kP(483*7dnRFPJ2h$-z}RC?(demEg)?BnX~Uza9>k}LKEnJWQptPPGELs zBb8~RKUR3y|F+0XP^F5jA+Br+Gw9j4oRCJs%Fgpccnw!5hAV!@sREDBL+#dOYvwne zLfFX-JK9;dJasit9gy~qx-I#itcJxYN(pwvgk8N{=}D7-Q&XpoPp;0S(99fvr(bVV zCyt;?=EC8<&70!B%B(elgV) 1hmkPfS>w4coYsdo3Bn*cromP`yRG&*MmXvu9ON=F`>xn z ;%kvYzQaA-0*Co$Z)I6u! z+}a$LeAJ|6dYZS6c=#Rv@zCiq*2z{)6kh;O}=`Cx5X-c9?zP z>56K)@H+yCV%eSk7nvk%!61M9!^LW$;(Y(IZ{Mh>(BRzu@9dANa!GKz{>%{fLdov* z6*zU7AF3<6*bX;$0#Z5b!yA=!s^H6|GVaQ1QuD=ngdlitBy28>$ada!p`i-%=}QXB z@CmOO3N>f(W`SSbYmZ+XqoNAQh)W~HmvZlWuMKtH`;w>h+2=ygnK1VS_RQ7gG1gtj zh##G|0Fj92zq+14$0p5{0i@(Y_@kPee-MM?hyFRUY2Oz7`_!NRCuKnYaaa`KdOlm3 z(D*}GT-ZlAPM>WD>YUEHKm5bkG@bwdf*SoYaq@Gg%C?J^R;xo=fb3^xoH*>v*|R@e zu0_4hKom+?R6WwW?91?cMGIDTTTn{^p_&&DXeD3ZCFI(`r`9WjyK-C^Dc=WwE$fz@ z`rF&%dH(u}KlUdrwxE9rq}^S{;p7E@n$QLia24Verw7h{_LYt4i#KXYatH-<%Q=jU z+FP)M@-=E9)GD=vzUW1(;N5v{it8@Dsw_6QGShXAlkt|a;9A!uDD=vnblk %6qFb0c(#v3 z+#nzPgbs9QPec)&NR^dl3GOZ2<;A4Zr%`%eg#@|5k?S9AlB^t~aZT1+v2a0zr}N_) z5+lraa0!x&nb+Nz!bx~E&w}9(Dd;kCxsy+EqtW|>Y5lc$qZPlkK|4J&=S!WSwb`{q zek~5bS3GChv>v^8!NsFUk*JFk411N4$>y-(~cUA$s23PfgA;Q|x7Zj2<0dN`UC zlH27pJ19L1yveD2RV(zmybl)Hyq*;0%8B`* LQ(bo^Mj9Z20^6H%^1x z3bAz^k4hFq&8Ao9L9NJb-3OZ|9EU@d18tqX1JSfPs{~(FWWY3G`=VHdm=;zkG^;e( z3-0n6iOn0T$e>j?^^;a#E;6!q(qjjnDVGsC?Gf7fu&II