From 54879f511e5db4d9b8224c379f9a43542833892d Mon Sep 17 00:00:00 2001 From: godardma Date: Mon, 20 Apr 2026 13:47:41 +0200 Subject: [PATCH] [doc] minor update --- .../extensions/capd/img/pendulum_peibos.png | Bin 28622 -> 40006 bytes doc/manual/manual/extensions/capd/index.rst | 2 -- .../manual/extensions/capd/peibos_capd.rst | 2 ++ doc/manual/manual/functions/peibos/peibos.rst | 2 ++ doc/manual/manual/visualization/functions.rst | 6 +++--- 5 files changed, 7 insertions(+), 5 deletions(-) diff --git a/doc/manual/manual/extensions/capd/img/pendulum_peibos.png b/doc/manual/manual/extensions/capd/img/pendulum_peibos.png index 927185ce106e9a01a18b3df18b2210b884528e37..0841cc200ad6991b8fa80baa1e21df1ef66ec1f5 100644 GIT binary patch literal 40006 zcmd42XEfYj^f#*a-n(G5=plM9VYCQ>AZi5B27}RiPlzFU86iPJ5Q*MP{DLq_l;}k7 zy$<&~@_(M^uKVu3x;I%?Vouv<_x(A0;tljQNr{+h5f9`H%D z9DzLW51yTlraHzg`Y)oTBozbW9tK!l#Tb^mJ?ocg>9BZuu$Q*eG?k|3Yox{T)lzf}M&wg-QYqHV!`)C+G9*do5a&X`HNG$@I>JTD-^UZ|D4Knxf5q@?Bj z9LUX@+FNTpwObqT&-eEDQq|-)C^JNe*}Z%q9{wu@1crkg{`?wtDA>l@rhGvK{0iRW z&L_psQwIJA4`5Eryql7xp^N_gYk9B6Hd2jzWkg2=HMEr|+!(jH`6@dnN1Wra1MblepJ$dq^Q5-#DsIqmyC>EBKMCRUn@Q5ws+?Gc-vwbm^ zJ-^KIZr>_Zj00E@6<8kWe|fyY5_~-Tnpr9dO`ZW?T6Ngn9GfJa&DWD{qySO#s9nF; z>`M8=MVj7YPc%Qs-CdHloNbm%(r?#Nat5Myb92^q>o{Fy+l2u;`E4qm`tN?m$%&KK z7f12xoVQbwF5`k2lJh}F1E5ska>ZD`i#R3SXQaub7chMPIG5bIHtn@uF^In;(PZ;~ z@uTzZCLEi?3U-T-Oda8dsLx*-iNbbw-B$cT&FNgam&@_8m{Or#$%; zkk8N;NR#~^Sv*VLrM%j%8OoG&Gw;La7ZGv1+Npc&-wezF(Zbnit1UcQ-Vuv5i>^eH zFiFJ8?bb&soXv=@$e<^b8620!?KG_A8=IPz1icj>l23K1Y#Ha|L7)4=`FFRIM4#f- zb{AK&JiJUz3;58m74lmhJ=!Pv|4@d3f2*Foq`bSoU`-r)nqm60ZuCj~{epJDukbVn zI1WlbNbc_fjM&mok{ohp&qg z^xT`nQ@@9UBt78kmgO)Z=eorzgom}=1H+HmfqV90dh5r+2pXBgzjUvqJRr#6Rs8c( z#Z#$tlBLr^<(o(pzUqABJxkIQ?KtD|pxx++u5#-Rq>}P~dzWy~3Qj0U$B=A&H|+Gx zwtJSM0=zf#u(y3?zKi~#P+1R_ez}$o0{^Uz0~?Z+-O!EYV~&zV z*Pe~a`%8PSx@{0w?SGUQ5(2~Fc9f~bEJoj%NiKv2S}@Y}_4j59IT=C}1RLo#_a5)f z0D81$S*`~6GFXwiXGnZB7`;oke)Q}37wax|(Qd3vTlkV}>7-b&w+_5G|KN2dXr=V4 zUg7CP)xra(5dIc#`bzvr{n(2Ml|Z~*O+a}*JE9LXspT&B<{CheN+{;9Hb_NhtJw}_ zQCMWp0oNMY1hk63mo_Pyr~8hv9oVdTK&~N7@S!+`4j$8)SqvLgPd2;%yk4$)1~aO9K*{zlIO%DQXW0N$g?KVqp{;({9t%%A7D5B zpZ5F^L#?7HNZj{gk2w`yl>-AasLSPQ8VD?Kw*xZ-Cv6WyJPF%wBd6}vwCdc~DLbuI z24IC3TG70H9F;d7iQdAGe=!Qja%6P9PHncXDbv&+ikUlvya zPB%(Uw-UkL+VHVyKnP`FG^DYLSMBA?g-wbI-j6=nwh!5M&{FK_4&~xb(D{eid%DB9Gk%$d7XlU*Fo^&Ahfb!86SDCXA&L> z>&@r-l&EdtBM(h3R|Rplaxr(jZRXrWcU+xN^6TorbQ|>ahlgxVf#jRFx%n5WJynAa zqE~;96_sV@-z7zDx=|-nthdPxNV9*m#+ZGh!kY?OLHi!sQUkHE8>Uq&BG%CnamS4x z291mZZTA(9XcHFKc!l-KubEyq5NgMEj2YQ3qF}d~Amb6onHEv{A=(BGhdE?iKD3pa11^3KCzBf)`ubqscUFVK;Uq_YTSV zNLVDgpl$|J=$0FiaKtp*3&`{&MCQR*E5dEtA~@QjqWwC?Y7pKb2ug0SOgEq)Ey}+< zk=HB|C@zJgr>|oV-E2C1HnJ)y(n!Ly_d0TOOlGVa_{*>G`7G!a3oyLh_2#F*V8a`< z>WEMzbpF?5)A0}~Bd6d!o==i^OQK^99tw)KK_=VWU6J1KH)^Q;y*vBT3z*Sc#Us)ywsjs=pjg!Ey>mq%!1mvwNyEw~aNj7-MQUP;3%wpaP`ll}l&vUb5hBDW*+rU)cR8Vsk)k@Ew(XCiE%t$(q{o zi%cJlrNbYMUDQM2sUTY6#LVK~o986y*Myysh)oKoX4>=_%tBF;W}^3zk@}^^#@hty zg(s{|fuyC6o0IBP%USIzkYd#DBdM-5wW+v;3^5nI2u{M+F$hdmnz8U$FvWS5w=4{5 zHNvdTlGf`q-y44q!dYQHcGWFlMZ9v!3}gO% zfq`)kxd&NzigqFA=c4QGFW$IoQacd9?N%&yJ;*aHDCN<)_l<2kX-L1iII zfdNXJwwFG0J|bkhz+Sk@=@d-)a)(^!maO{$m1!TbPj7oOvmvwGxis3|(MF%HNO-cQ z{Br_vD?_oHb7`rurSgl`AW$3{L?He{?WpVgHRwe9LlMGGz$rVob8<00+9-QYH&hsG zxG!jDC_?8F6J4U*PmR2FEu9nz_STG5Z4)m%^+4Xx4JhGdv+K=Y8@8^u(Fgh4zOu(h zfev0vf(;je0NY|b%^dG#+(=8(%*3hoz&m$oSaiX1{m9$tMnF)SOjhx~f$CyQi3N*z zT5dVIVo_hE(omvCx{pd3AbvACv9gSKKb0;YWDq`yH1mCO9)Zs+>F%UHekvDM@jc3$ zLy_*G4aOc65sGr1&09tc%rSr1yOzMtkGa7_nHsvA8nPcdo9)B&OB-kse!Nst>$x%T zVhps1?Er-UTKp~QqpU~>;qevYu>vI@nW!$# z@7##hcvYa!Gf}}#2O$i!h-?qFX_|F+-H`2e_V)Lh)MqelI8mgA z?tOy_5mgkUK{dT`h}61-3tfWhNp*ZISZa>sC^Xy5%KAP7C7%`kORL;#Bt#}HDdv)Q zgk1+tLz0+jjL?>h{8XTJ6e+r9QMIn>6dayw%~0edF@~aj-$mWORo6@f<>U{>Vg$C zF;&KBtSL8(uN#c~*{Ts&$5-jy{@ZKfMyxX*z018Z#0~CKOw1f3j_NNwR4#2H##6%J z&QV>qwmH2q2*rf{B9UF}qpcwS?x$Q#MW-7!I254|s%TM(1?`?`n-e6&c67#$uz}$; z7{Dg|QGJL*3(=f6E*@TChg?5-K}B|1 zMIzZLuau7X8rY(3eE3Fb#4Nrm8qT=2N`={g>jx*&A z6N6BWfj{`^ij2^&QAuU-HMSZ>;aW)N;xUp-j&FL8-L@B&5j*|It0^Fd0u9}fzUaar zk5ZKQ@fEFv5?0M=*!WsR{AddUlW=T|03wLIw1rl+r{hJ+xCs;^iW7Nkeh8c$qs0gv ze2g~sQ#0W7Cl_A~0$Il_iFDi}FO(ubBs*>_eHQ-P8hhocqg_YH_P*;%k?m!4*_(>VnSN?+{sJ`Lzke!d zN4NmV3`%C~7Bh}lOhrm!9-DYDY@MRC1*^|*z`%?@mPC&9j}a`NL3yVTDJfLp2?9TR zL7AGyrh)X}Bxxj){n&oZRT$it9s9i{ozH`{#&!YMU?bROQ$t%*MLz!zcJ}Amn2(_< z&ElvA5IAd1!45uhUzXvOM{KPW;s%T0BvK_qwbZT$)%dato)gZq9(td~gF)S#ANF*) z@a72v6b8rUqNs?7aV(sd5>L^Er-Ac<<0(H_sO;n!$dj$!9Jl2wjT7qCsiH38gYhh1 z5gP58v`|YFp9i%9DbteXXpSa4jTI0UBXxpmn?2PKyGt|SDjSY>auiI*&Z4JPg*Po? z!oxbQm+EsA&*wchq_hkw3r*{Xc=&@aPA`_W&H6!cU&wokBK1KlNd`ELblgNwPX>R! z5&9JVX$KK3n?^FEs|YrH345e#=o^Iy64A;0_JG!+<8`7DvqdA@m{LC4+6K^-GEJ3_ ze)I^3=$2Pp9j{bv0Iw5@Qyk41Aaexq+oaq#+rx`9?p*6tnT}OpxA@Kt9f*XPt{#Hn zBSS!bXedmeHv2?$o#OnEGc)w@P_K_r%&OFbY<+mzOW=xdFRg;-w#QGA*RnzWY*48R zf8D7^qHBL%1Lf9-6d=(nW})68-nzl;>uvuwitz8-JgbyrkzIA<%>nT%0Co(NY~lDS zvj?JQk44WuKHW2I<@gp%Rz1G$kP50`1tKe0rreH;;Udr}hlo9hyph?o)%ppm;Dw`a z4H#|+)N??!rg7EvAF&NmMRW)1Y5P?_T$^<{qwRBo|tFa4|bG2_yB5AHdE4H4+95d<#VY9dZc zifWip^^=1R63eE5%6I|e0UPEEuwrrvM~w_4TR`g)Krn`I>r?79h_+|cmnt-p;zb1MJ%Jj#F4v+)NcY?+pKr0nm52F$g0rEk<{1kT|zy9~}(hc&E zvD_QfoozFor@{*;9gtqai<_THU}P)l2DL7-+lZ>ceVXO6CnFW(*|Mu7IdJ*tR{MS+#Q*pqeKcy2UVcm2x#T|$Re_OA+(k>nzFa+HS;|- zVjkeIq<>?B0cMSGack_es1ftbgSBl(c=5x3xtl zVc#TWl_E}?IIPGH8Vn@JR8btpxWgS3Ohk*VDkW(k2g4Pf_*mIW-FlK3R?N}LaLoBA zt!IGK8Tn+^omRJ0ft1J84#6D0L7ossB@_noKp#h*O0Ea7CP>DZ5ko@>xv!LAT1#BA zSns#6KB$Cp!;8N^F~run`M!DP(u(UgpIbsV5!KtaGl(*!dM}o}>7f-pG?XmQL(P@$n*wHDDs^Mw&;Z5bY7Dk`vFzK(pKz5OD!_-S<<|6Vtp%CvRi z9y|E4Sc2*c*Cp(Q`8x9M&BEn}>jBi}HzbAr@qt5}%&Jfp8aK?s1PK;v_&1XTeATVo zhkK^7BzQZ-MwKyQYYvM4_7Sw}6L3pb<|A{MCtN*G z@u6nt?hk?WzEoRlL!96_WfSyFE5ESko5JSgiu}n3Zh7)kG)_p*QoogFOFzsnDeBWN zgk8&kV`}lcgCzQuH@jKL11UZw#dT1Bbgc4EOoL#25*TA&Qp~xXQwtSSa>S}mm>H6v zyKMg*S@<}xjjdE38k@-E%qV0j&&#Skq3gu4bp&T84EOa$2c(Xvj6m>V?^XZ zswRBATZj7HsJTbX`g-@PsEd28H0C!rw3@v6GC&rZWI$t{D){t3A3&h)_Lk@RnEU&J z4yqrnXo{0pyk`C-YQ2_XRuH{)llqnN+S1=2W7}lUe`WpT0=q0RimepG1isCXth8Yy zMCy-<1EMR(?IS0YjR&15R!f!^V#VMA%8A1@M~)Ks{HbGYiUHsW&cD+i4mJ(LQ(*^+>#{KUu0 zUUj&e`wg5XO8(-hX^TexLyB2k&MmyWV#hxP;k#1?o-Y7TT;`W(qUxu4xZD?0qLg^& z&18y#sk*ZZk7HGMH?k&KoZ3RCf^Aa}qgsZ0bo}9i8b6a0zpI$qUmgLn1ZbwVBSxSw zOQln;&9*u5er2fr^y7E{S{H>ELm1OY^+GI7xu9buO38QbRi^NOCC(l5fM-3Qu)0S% z5LsqYaY7eI5(D?Z0px$|u>)4rB%wNs_Yu?zr30H&v#*!Wh+;Qhsdf=k%u;mbQS9N# z-ouMpq7aUOF?P#^nGjUw@Tm=-a9H9G+bV0U7WrNi%g#k^>O2S)1RD;0_(~Hz1zESs zz7hN3jYEaHQ*7>IOFv6W{Q44q+Uv-o?a$Z#)tljUJsyfiCQ|Km}Poj#32va z@&3V#*g17Li+)#*3W66O6ZXK_jao6gtVaE&}`9$F{F`U`&!p72E|RNt#w0 z#&9q5a-j>c=R!ysCDgM!TQ(#&>jd$iXy5Oha3lEIOVWQ#@k9uDOBF zWY#`IN^qlX8*r^a(sqwTiD|PS=3{bz;z!r#rE{|0Ss>@9|Ay2B3IljELwtsMp;9W2 zM2SIKBYyyF7+xG9cCEF(8G$==?0Rd44;B1{c8-kb9Ogcs{a}RunX+Gh_L9=eQ=P)o-0n`QdUVb5 z@j3o;9RO&)peUWZ*OUb!yt`8vEqR1(Z2RjRU}Q8f{t9>xn!X!AkjgNaJF1SRRkoT+ zV)bb{D5Zjcsup-QCf1;G>`_!qtrVQ8-p_h!UCRf~0%}&^_{yPig9gHZR*#;YVeL3F zBA(RZxnDrp0S|~CrnbG|LOyE?vT(#sJ0%qcM*9DayvG!EQpyZDI&`bB#-a_^fR82K zol`0H7au7`%rvjpEc__~9^Ua1J|=fJvPT(H7~Ap9C7eMbm`DQ^LB?GsbteX^4?}eE z)?urPBq>w`^tgFih8}l>wG3_+9(Vq)UVzKBuJ7UhJKUaM@1KahW}lojS=bvhDV^a<->~{ zR-2ONi@$$X?Ic02A`L8?H&H{`81r+uWVg7v-k#%j+VHg0W{D^8G`JSd&7pMjF~>kY zragY=FVo6^+oQ@TP3tH*kC@rIu+!6Rhj$?U33LJK^1)YB{))`fTh8*F`FwTUpv`IJ z%Ka;2kOaH7w(WAqen(pQBVe*4da`r%o*xzW=Z|Eyti*NC>kd(zl(0hw>3y3?KYZAN z$Q1CjXDEy=7)L&q672eue5ofKlp{TzrIeL3ZQbjcX#ZW;QP$fzMg29$2wsdptA}&l zp5Fqh0a=eD$w=bS)_RCKRid~#xIg1hd=05YKdbO-0a7=7l$Oy&Y_yP>O7)rB3O3$% z#$1D`n}y5XOdRMzegN|Yp5|z90A1iO(!YE-a|N1#J!IKGdADcu8-MPaDm%S>;)klA zpRYK;B(#wk{s?w+ggMIUqG)PaaNXRjXG=;6tYG8`+P0&%pIhqya6lD!Wdk{A6twQ2 zW*Ary=a5GFd$%?|=ED(bCid~E`sK8~*%zV@G=y{jmeH4OK#(7VTYJeAkr8-B;XzZjb#uta5@2lSnPh5hcA+@*I6UG0q^(+9&)1yCz@sG^5W(`? z{UCbadOqB`e@rbfzjoor!4l0XHE8vPJ(OKvmLsqis7LhC^xNpmlMXgwklnJ$-ylur z$)gu~&JZ66TbmMS=||mKsv)DK`#Y$GM3JxFx?saSYM`nBIXBcw)-SQZE;hOy{I@(v za@?@DJaCv@@p`ybcy-$fSPSZp_oKQHONx^|$+Yvy>I)a-HaR}FOVyAmpR8X;(?^SC zyo>!JHf;(vL%|E=rmB;njcNa|6t8Z4kB$$H9kN`ue;G0lxaDtYPyP+w(d zeiAl9u8Byl$Kjq9_<2D)tp1!)o%^ZS3)S>CH5Dd7ZI9VAkD0bxam$tHlJeh9$v;*i zFN$g36OLNT56`QMba4;+RrlYvCpWky7AUK{+P|-LB|h#FbL)~w@oF2<(`l9Z@@r$u&B zYLTKmgvw)7hF}F>IZE~>O)Ed4xw)W{knH5=ZD+3R z@)(Tu2<5HmO$X6_TLxS`&09a~*m*Yc>20!-=Wkp69UsRg>PPxnNA?igq*g2($`!gh zT_&ZtRWs;@V9vqV=0cUK`?W2w3`w1m}7Q8rDkY0}KHasqp3=B2my9{=`>y2fCv|-! z2D`PcIytTSCG4W)=pnxGY%+jlAP=zIc(<(z@}_N~`B`!+fARmIz59qKSy$*kV7PWUxgLk$NQhDlI zzvl~EI911#JCL7rIvNOh6a8w|$F?`mrp=>s%P8HWZA+0sk|O_#cl)aa}_^TR{F@Eq$-;8{=*x-5d<}M^fb8HN!Y7wdIZK z@G#~UNrc=jQQ&q%(3Qtf%(Q!qvv)*4;CKCZmCe>Mr z%!kCaQRK@<0k)UlBWOWKTg&W!!(6d8tMYL9sWA@VeA8KNVIT@f?A56va zkn)oejPF~(Zo=n9zqK#*JH4^0&$x3vU)=++GXMY3fF@PQJ{O-r?5Mt#=ar9CM}fyd zdFKD1mE0SHfs0AgROIh&>O6Kae+Mt7S>t8swCMC_h~8!)jI^}h0ft`;+NrXC56y!v zB~0(#Fki0>cGpZ7>jt`DHG4sj{Gbo_%Q$Nxi>kZLNBXssc8R(xDIk8485r}7_gX>* zr+W)22?It+9*w2&37gO;b?B{mFf<}9BfzpdKjhMRw_%NqPSC9VoAc-c1|U(KsXO{& z@RYFarT|y=OAF=hx%a)4v3_F@Jmy@2qXIJ7_+sPZ`ncd_=J|yvYJHpI_2H}mF0kQT z{RLS)YMi!i=hSC?6koVWI#YL3VO2lERw<&V5-5WW?>B1#ccIy7l%t{TdT9Ek9<}Yg z_^BT&zSxR$4p(EvK!!<{PPzXZ@KU9nj=uJH$e=%Dc+YgkcajqMo0R-kAyfB$&>MCY zu-noR$5p4i$m6s_G~fix{5u@~l!`qN*0ZC@f=m6p&x<V`gx!ofv*rCQf?$7;$y zz|Li(H@3a(w#IPDpS~TAcYa=E^PsFsD3>G!-o5t02U(4itw<)BTKpFs`ptFdE%Auy z+H-HsAIY=CxV7PFve8)z(|+-PtTulekd185Tj&pr=;!)}{EZuWin%uOvmB(-*3HA@ zf{rnvzIaqRxaDrbW3DyVCso*m!B!A|5Vr`B5q)?@4{alt;59KO@=|SJPqq9P#_v`8??BVgHF7pX7H{;Sb5qA zC1Ik+>=V!`Sr}jg)9&9QBUP%B7$ibu2Go*qG+wJV^Kz)6w zl6wiGuSw-6pf{9_O4cSH-&2T0Pdc^-D9cd9P6i=};y_l^5e6(vddke*Toj4eLKL?Y zc99&4BGv4{8MMv91mA%d9WhOLvO=>ZSmD?1>Q37JBqKrzH5eBHuk$;_r~XU!Hz0?x z%xcKA0_2h(vK4jj`?j7#PEp@bYxjQ$&kOcSR93=(BH z(a6i3F7_`m1?)sRIg91qw*3_g-S&%984>y=s-j1j3;_$Kbr~d45Ei;NJXEivQbzG# z*!|C8&^DY!mfIiGCxW7QdjhG($l6IPwk#Z_8#X~_-5Djx5KCm4F&~psn9$9)!?VrP z7>!Ev?&2V15oayzzz+Rfkf-6of5Sn;&IC>Py%j?Gex5`&8ssqdmScZkX#s(~_>sA= z9LK#4HzYtE`7>>3sk%F>Qqdl$n|5~h2P?nkfDK;-7>C;A%k|NmT4D=SoF4@(ug`9Vs zEtK&hnwU95*o_nDS_vY3El`TVl2K(+9dr{fcvFkV&^@Z(C#<%CA7IC?{lYrv9TjmC zhW_oCdv#U?Hsnz+g4{+{O(#(RWmsC{<%DgwEzo7;9(ulgx&1dKtr3F6Ov4lBVB@T| zv-^^u5_DhPk4!cWgv-Sevt||X{yid@l{*(WpKik>Xd91#LM>qSo@7eIR;b_ zf04!d&F8C=Zncm6fV%^NS6MJy8fnaXMVGm{mw}l_$pen)u3R(B^$`5`O*naWCw3y3 z(|CER@Z#%-sPOKDcm=UTUStDbjX(Oy%&gS{r|=~~1wHib@5EpN4LRJqnco+j8K$~= z$7oI>wfM){@}_jr&u9JK&xh2UmJvqfR<1-*ufqBesao)~w(OD)1Sr4fSp%COOwryG zRKcBSmY>){ILsQMUmY+DEZG901u)TkP5El6Tft7@`ye^uB6Yw4{>@j=?xLJ_>F8eW zGP&z(fB=~g@|+G=-yIkG9~Tx;H~v{@h^FXUyrq9Sxm!=&dO^yN+n+2pY@T%? z{aTu@LF^a1O1&U@PlZG?w!}89MHZ#eu@jakNpjifw8mX`*tKx|)hjb;=0DRm-DV8p zWJ!wn?$YG7Q?pbbZS>@6FV7;A6-i{{A8=dZbhQ@DWNwfv{|p=WoAT|nSwhU(N5xfE zy_F8l)|Q+roh==KqkT6B(xl2hw0`5PYS9ET@p<1)VFpEXz4{2qm5SGOI zU#zO9-pdDI^T2${eofD~(CjO6t)v#r;k-zFj*36QQk|_ui=E51Ly-$*jF4rc&my)M z88<|d^OUuy0ADX{h3cO4{f^%FD~19X=emS;#%XlbU(!;RcQf@psT}6-vUK4iUE+5B ze5b+&*dYH3n2AsnOfKpXKCAlWCr7rJ#Lz4=-~b3(`xi}+9CGl}B$!*ue=PN)vWWeZj^0aDiE=Gp>3oo!^-sC%gO@X;2Z1;`(gJHIGhiamC`3Jd2BeMq<$jVBhrc! zLkO$gVN2e8j}P+WuROvA^`)0Lk6)&aI8W~^{9#^Lh+G^Hr^>h=auYw)&~Hj?73M?s z_p?&l1Y%LIRD03u5qQdhvR}OL2?Z1Rfh56G71%QlqU3wS&7U$*?WEZ6u1j1gBMfp^ z<_DJh*Ir|Hhpjq@G-d?P;T_<`iQx5d%wZjHQ@n~cBd(%pyan4aqNXUUlsva5sR+pX zuM48bsKrY@)j0LTpZMtbWrQ{Q8!E~_9LUKvRmwEj!QNb64 zmLW{d7g#j(T`?9s>7T6qx?cCBjo96y7OT24+HRJA@9$vSY#KAX`}--7$i$R-3<$U$ z;E-*2oo!_N#t?|VMbJ)LNhi~*n|H5s?D1k};6$^BAl^g)erOvm6MaXfCuGN7)V*n7 zEp3FGDqM@Q`IPB3JGuRj_Vr=N`Ov~tC|;ia&+~mOK1Qt(zau}%&JkyW?<9PP*+Q4~U2S=*jhY1Wxm5JMj6QfYB>SxmU!f#0$6 zCHKK1(S7C(Ap1Z8JqTs@^sXd4Lno)C%CAxWHH&H3wsRztP`UaoTC?7@ zxiXCH8mSq-+rx>bJu-fURH||Cnfo@pKUCw(HtUcc&%d6$ z%&;vTB2PVx(9kvPxY)+dykXq_x_9VyAf0<^KN%d`vdYuAHz`zUX{)TDW2u*YdNX+sHlp4d@JQMKTwEOCy+*sAnwnlf8o1~==|j;h z&bS-G=lY&3HksuDHwK~kIDdE z5;;ZmIEYBDA*v>zOyM*v9jKsA*fBy;E~5Tv*{wOMT}=wpeseXVmzl4Bq};Xm;4Vk^ zE|ipX?ue*5`vaYE3&y5ux!s%bx3$A~``3x#8iqu8uEf8LCYr6+sLYNZ98U`#Wr02< zqtApjP$ntzuG1L0$Hgp0lBc)L`LUm`r!E}w`48WZqfy%`|GjrMH)ZhM3Y`zJqa{aq zDwloC{`B|$-&8olsjFgj#1Lr2(=E7S4!$tyh9 zrt8IH0r4Z-(kZb(|2vX_uUCB=J*{$DOqka0U-*y_@v~?wN~aKZPa?GX@T{$#ZTwcl zSNwl(*|dW=2~DqJ7sZ%^31rG^KVLB`4c+-X%{&*ag=_5g7NrXx&qr5`SP}seP`^;0 z=_3)GR862Wh*2W={PzxVel%t53x%X&33RuDaackk$Bj~=_v?A0mxClc$%Yet-siW# z_w=B~D}R10&JPr)K3Z?lGX2D-^#qexQvCqdEqwnprq?R@y;)L0!1i;RttZt8gxOop zr`h+O2JjZ2InT4pF{n~yg2ayoU+lUF(KijT(hdI2^4nYc^*r{Wj3s|1zOP=SWYL=* zsuXiW4jxWULro2hj=i>w3UUUFi-y%htzVNx6*4_uWSRKxTURE}>E5{trpJxJiNq)= zQ)D+AtM_L@`^TGnBJD~V4T}WYWIMPpaI? ztwPELk1csh*HHW7YaLh?;<2+B!WCPZt;$;s(6`P{Gb`l2eZ?z?+UM{Dp)aq!6$%L0G+vHx2|Y*|$Q z|81(7F^#34kY#A(_uaS%y`0yN;7p%F1zlmdOXkYD*&7m^h8Fj`)zv{xrwt2{-yzF_ zFi7}@M9T8!XIpF8?OEdC;rrd4PrZ02Pf4MnV^Au}gIK;%Om+2Q_a+aHphn8~GYe3) zSc&y)tfBI-wcDti#?JGQk4EEe)zv1w-6i>7SLvslr=Xl=@jtrC_2c;!ba^Q$Ly>U+ zYjDP5U2N=mT!o^<|8#vDU7QMktAxk4Ln?AZ_|v1Km-*G1thJzsxP|g zxPGDJ5~%0;GxpS4rKEDP;r9)SaWi7f*lCQx>w)bV+o-d;x;k1|IF{d7=M*syf3!Q6 zbS?>gz9$!${aX(e-BGou$_G*DliUCCX|wH7lX`u*kn4YugaU|ODaes3^4l|qxe)Bb z#Ic7@)Il_*6x5U{2&OrrufmZY`mv01954mOB}N`1>TMqR|N2eg&yfuhpS(231-qB@^Qi_qAX+pzvWT~Ch|A|xq_DmgUNyG4U(;^VaPPM{u6 zaE#fH?G`8wF*?}^1YsQTr>zXlO=QHc_h}Y5k8I0&9T;IGx$HddOln z%W2#%TcmlT_vaKB4?ExIK{o2D6!8_!acA*!w6>eLOH`UFZ8{WTMM{=p6Zb`b*Q=?k z>l&bq8$_0z?6gVsS~@(Y$(3R#?z#jp(!bug6Ry_5pG$#gcn&yB9>KbOFM9fwDP!}8n zz~4-AZrhuxtCNihQqIXgJWQyd^2JoAI;}(*wC@CrDXOU!HxsYMb zQ83_jgzs3n6lqm9o@;Nt9aS=(qtC_3xu}me-?-#2udv;1I?c}=D(^@b1W3@zdtynz zt?|)F>-p(Cn~BS9O-@JY#oOfvd0Oh~ooMNnQGY$__^%d%ivO6Z_53CNW^a2Vi&jGP z^2;p!7lZshwN0t24U(Mkm(2BfDB(mF9Gk5V@|o3htC*%9wJUG~|zY^&f= zC=q4K{s&cE_0I9;GRTA$L$I7>K=MhyXX^MzBQQuSKH9=mx#UIt75S+1KwPcb@}rMN zadA;1fcjIVhg^}dwbJ}h#4GCU$nHUYNZv4};%D2$89nVxoV7_Fg)*tRE*x|=`h1K8 z*6^a&_>K#QYl=j>utj@+sji)sB3cdhkjzj|5|~yFC)Rf&v9htx-%!V!MEHBdHZ?|7 z07j((j3N|p$>^*o={$M-&ST)oTl@)mJK+rVbR7JJaKBpfekt{Zop{NGn0^kS9w1Pp z>=&bN^ypHbL5k&vJdWcV{^{KVWiO^^ ze;4HB{9S}zsA|h*`G@$CCF$C%LCF00Z^$19o0_bjJSon)E|ZoRw=z_mJ7U$Hs#~{p zrF?t`?E_OEspI3K*wGg}Y_?(;CI7=pXwP0zAG)dew)Nq81L*7QD50g56P3%uib)EU zq4=FYloy)A|Em{(^mJtY-sMRId7EgCraFiPEy1@^yEI$BHa`>y%(oqhNTd1?kBD5> zLNE$$onmfSD4o?N`D^;E7}m={vAZoavdHdndhvHwbwI(S%fW*NzBWuyif5VGZx4SN@@0(DY=D_{EtSzS;c(o>v4l>h-WCrWFWJT zN()SC=Nh@2AO5stqfCLI<*hpMu2*^9)`42m)Zs$6G=n8qcM()Vu=zM_W6SnWPu00B zEFk^l<82?o=*DKcR6t~x{jbmO0BhutzWIZp>BDdFSU2p0z`zP6C7~wZu|R)cx3T2v z!~UkKv7gQ1WZtso`Z^ofMZZzfOkvly5YmD+0`gF->VuA-bYzOp$bzk+JA`bH zb|_Y=YOUoM<$cfFMh8|uf5v+ll@yPZ`wfLJ@ZAp&?@g=lm?m@kliAP3NtJ|-`l^q> zVlxk^ek8^I5c;I(zH6KbVU$O)LStEtVE@EQI0ml$6j z{r34Bo25@7?@kZhv8>HcA$=}u8r&QgXMD%XA9;={Tl$dQ?@!rlLb80emg+MKuRK)} z=?)bw@uc)3&nlm zS!xfbbM@Cfi?iebH>(Z!K!!EJn2g;h=7LX`{vwt1UlhskatZC(NZeZu>ipSh8W%Q3 zD^6}IyY{9R6Ng3L_ZJS)mVMzLEwpMmoNl&qn(fm?>&l0htekc;^`nTVn$q67zk6S^ z5{Okpu82GOX@z&MDI2A}rZ=JJ>GmRMrD7Z@YZ-a5GxY?OhSRNow)_9Lyyw78*7}#` zWmOJA_LC_@K?uJ!v_aeAblUYDy9g)eJ0l?AK9b3+a_5&ndj7k&8O7&njbAxHV)X^` zAW%RaCVvbglyvAioi6m|8ZG-&$xiIlOG0O;r9?Fuo%3h_!PxdS^}Y5`1L$2GNLFkAjD=F;ZV z5M7W(19r1;y(d#SkQ=y1KeD|%lgOL1)G%V1%+h0XpRv>uCpthTJR@-gM|(3->aaQ5 zc0D5TeVO`Gt^C2;IVqQ;LZq9l#?IfrUF%OAw!}js>v6pO|0igPy_$ZtZrB6r66T$e zAQ5h(mpvtO{{j*7RvXfH3S0jq8l+ z3iZGT%C5EJA_8*4$&K#gg_x5k@3BX^VCt@Ost}groUTvbk$aha$@G*dpU}x((TJaN zjy6w3o-E;wC635eL)Cp+8npn*83l$IU(q}s$c+t#zCLGUDlFm4Q#L91s-?OG(f&eb zf7Sr0o%Z~Ke7k1P?3q3D+cV1w6u=5f zVJjG2Mm%oMSj)^q=1K}jU7c%SicWorq5Zb+*1R+=BI#yN6%V@;q~n!>Yf(V3G!(vq zjenD?ro}5c5s?<1zNTx08GfHP0!Tj0yok{hekfXz#_w6>Lu#kM2$#Krn;ug|9^`W5m96I04Ek^L=q3_&M|C7oJ}qhHlf;^x8O{>Ph2{?Ogizk_tYN4r#7 z*GKEGjvOnT0#y>)RABOkFA^W4c}=1q0sdP$Qqy}<1(}m^&*|?*4?$rsBDq;xdwP@Q zTqv(AW#Y~#3lE`c45Vyxq%B;B_VPvPh`k1p4H@L*JKs7A=Fijb;ePmLjbY~rvh-UE zz&WeiIS1?k-b7#xuir$@(N8?I{9dK1~33W zpkpk?t2tf^y?mWF!q{WL8JbnR*-% zP4VjkrsFnv&u4JdpOnP}f{NHU@3n{Pj!L--H5DtyY1+b)La@lE3thtR7db1tv$pIY zC@m_gfWpvnn+KF*UU%9NH-X8 z$GTZ!3Ak4)>XHJwn;&X9A^4N&*68e~U_+-@8 z2a@~i*MNol&k)76^nxN6J`s~OhDh7ysJ%*I%&~*pdD;0l!<$GZo%p(~x8WtCYn%B1 z`a&zAbH}O&8Cs@zchC5kYT3(j!^;GK#%WDctb?n@79z27UkdWo#TnPDxR><7l`LWU zs7I_Q^4URzi}k|nhG?9``5s^P`S94s3PTgD0WG57TgSp~Vhae+%VS@Baf}}igG*ieI3DItM(#VAC@R)EecLC%!xXiZnq=Mcs%SDv4dq|vpbNtNT$oBnhv)XTK4WC- zTs;+T;jLh|@lt#iMq948PtEc*3Lhvmyt(me$)P|V74EZD`C7Ga5eW!`g0eI+TQ2F1 zchA{rR#h1VGQ%Ap`oH;M_ra1mPHS@0vJRzRbLHtNj#P@uz@a3Zrg zRgTC-pJd*q6WKl0#)AT`)+8e#1rzV-!a7Kve8`f5N}$)brC?T`G{q85n70V_IS!#qt*PXALsPZ3qrrb}s>($V^y? zL6Wd9hi2Y2UorG0dBcS22R8SniQl#Ajce7`Qw z(AQT)%el%b{Vp&rjVQm`uk{dB`AP8w(=#YrfziYaj{`D9GsQeuo1Pe4{qXQe96a?{(8zlDeOuV>p=U^^`5EMJ?-zv24M$@52Zxrf zlw%noC$e_kq&1lAH?Iy?z9OD&<|O$J4t{GE+VWw`A=UmXeW?X**U_R17}Fr?x*K!7cyx zmz=f?$!5i@s%8c2SSN-ulNcx2twVii^{pVv%q0XhE<(75Jm`t3ks9k7@F$U{!L^3r zDbv&4>cnhs=^KCD*xVd*Qdd%<6BXsI3Or;N*J7e;@>rE~;A3Y*KUX$WW)yS%v9HtQ z&EjoVhR;9|WOKl^Ke5~REv6tKsbDIQtgT)%;k4n`%#nlgw@fcCe#4 z8s}&6cLLodB@mjz+>05cC6Enk2w)6ylrQ-yTOp$p6OaCdziG*u@X_AOngUz)i4669BxKh)+dmvw zQko(o{v8F}ka-t%eqZ4D78U1E-@wtfn^8iqqIT3wax#3j^!7V@z4m*-Rs|AwVnZwu zKS|7A64y%~=|kiJx8ZG~dZd0C0M{KJ9%gP47Zl9GrWCoA%*g(>yC5es*Zvc7f;@K) zA}%rqM8HBo+bPjf3_O4>bk{JtX+odNph6Q*2q#B5{mYd`awZJdHRe|%Tk9|NSj5fG zRiDl~fa9Gdr~@|_Cls6bE-2|0x)_-b(HVImdR?>A(#%hP?`B69N#B0pfw9otRvIE6 zpgBhU&uv{7z!BFP8(~ck;0`v`vL8Qh?ucqNJ!0s_HwM)x1gSPi>$O?FP;uO0iDKC4 zJFg8GsZyN1%lEaz{%j$<&o45s=TagYDq6%vivapDPZNwt@u+__*)SBM2dKxjTe0E` zEWu@vZDHW`&HZwlyZuT#KO!nNrULhCg%-xRh!Q4SP@8z=_QhJu4)&q(nI`iq3db$N z4|AO(@rmY_Ob6U8468BGhb%?Qn-i0ikdG7rx&m##Xqv$TQEB7o^9yo8SiFAkHREH8 z15=Kpw)Xm{nY767mdt0FT$jhdLYJG_8H*j`&pCk4bt-a!f8MAMSDvB=$euSiL>)X1 zB=EaCALC-e(d#Z#Ucc=EQbKYIa!71@*i(PBHQ z?GU7-b8^9Mj9G)Qd9*i?kao)YswE<)g}QfVRWp2DrJ`sVCl%xD%?P#W#uA0v#+;zd zP@N%j9K!O~H9%SubSHUfrQL%mFbpWwTbT%ALQ6W@ zo$WOmTB3u2Uh<2|=QlNbwjvqUc)mWNpZU;-uT}_BCk;k_zJ8pei1U`-4VEq|t8}Va zTCe)dT^$j%tRga{>-W>YE#b?D#yaW=K{yp_eD#kqs=*1eem)orPSZLU^2%@%T|^eC z#SU2H(8?fGyrp~oR0X+N*GwJ2^QoYq7$4c=RJHBj9WE_Tl6cX=HT>wmTn;!~Cg*>9 z>#rb9ZdBDLek=glaIy8m4f?@xbuPuLiOHfD=$niT8F32h?5a8ww=KXChvwC95B!{# zz}9^*p^noTs~<9(Vi!95np@EAf_rpJb)R(O!kMB_Dl;D8%ItQT4~+fMzXyvzn6~3( zSL<&Ny0HPP>DEitDgo^rPcVCPUB^t|Pf~fYa*B~{YjSa3+P2h(+atwVYX&&yIlZ$F zCINwI7gUfn;)L`4{M=#BKKbJ!jnkiaaDN@l#^$-V5MBHK9FfJJgmF9{C{otGy6hnC zpGJVC=BY{`$+nEuosaXAI-*g6zhf}2ER@;KzuNR`tehAiv5^?W=l6#-s3P$Z=!f3e zxM;L`*O9;@1t_YKB*=qo?3I;8-|A#qL5TP#%vh{1nrkJD@0a^WkSGxvE?Mdq0&A82+SnGl{HQ;p^K_-w;Ctxi{Gg!z1ib zKYcZh!iLlY3kJ{Wh533WIXeRsXUR-$3G?7cq~?`wrnrv3>nE3lUmrC-wL%rL-`jCK z8_nsA_NblTA!KWuRPwjhKIrTJt;7XiLb6J+eMKL6?U4iFoM#YI1Qq2vlIfJUfd0HPfGX|=^hq5j*zw(* zYQzTnp2TEun_P)XOhA5o%y6;X67AQQQF;<~R&s1#7DA)(%U6g!1+X8@e}Co;2}l2) zu3PK<61o%NC(zo7kWqtkgVO$e4i4cK}+Q5d91A~7xpEn z{*UlkWJ+mT`bd8`@oj77MYM0I4PS-Zv;Fc22lRcA<$+$hXrhlg@P zh9qfXDe}fw7#xj zqfYajfL9gaQjs@;SRKZFv_|MLPTO6rAija%kmR#M$zp1|*4MRjbg$k6y`r^?b_PxQ zX`L9wH!%A_*h>`i*bW%cxhT>_ybyc;g~5G5rTa65#ltstI72cp^3BJ&LLUW7i;Vf! z*r9TDgT(s#v>`-fXIEb{8^Kw7=;6Uqv7)7rC%1>AwTPikT>vZlwyN13|eZBP5k!Lt~hmZq`)Dc~=o*_UfHJr${#D(`o* z$au(eXNOaZJJVtQo=PL7%I|khrzm!CbGY~ueA#;{fA=`^RuxKdBp_r-67UfJ$Lej^ zl;PRrvg{%+adQA-Ul}rEGT?Z|eO<0Vol9pS#X0aTkc7>f*d4w#l^HZbYGjm1}B-SDobi63+csI%ZD6#o{36V%%?njX!emDpE0+Lwr zI|xMp@#GWTa8UMRGvXXh(=*sIKv?o;>MiElZDrgdQkFyfXgMC#WzAvhynn-hvYU~n>prS4}?*db^e@n#8Iq!~Y50-p;{%d0Y6y)ev>f5fg}iv}G>t;?3wQuxyKS9i|& zjT<`}fi~z)=$1e*$FV;?E2}jY_;>nYn&l&PWPkc9Yfca19|=jk0$<_F6YSWl(dH&+ zXLdC?HWt9pKJgtjLc193`Gj+2lpVvu+OM+bA`+tDX_;440!= z_;}`Wbf0}Wa<(h8My2r_l9J(G9cE%YVI606BIBxi)%}Gy=qIL#F|zn6)(3W6;h48T zfQr4-hmy|)HPRRG`n=2B=*M6Ojn(lV-OgrBmdv@zO_Dw#mMb2k&5;;WRc9 zjzzv+=DXwehNp&HEBSlCTBjjxF`CD`r29X_hl0Mo5Y}fXa#t`0x;yRa(dmI!EJf!+ zNc^xBr9FT9AcDz_3o}|PMs@hbRM-Myt{Z0ei^ZmJ#>DaMIIBCuVl(f7W8k(X9uH0^ z3@=oaW1SHv2124iPt&ZONqg}7fWAvLLO-(rj7``c@GxnyB)Us+j zRcv_GQXpApGCZrROU+~}e6VB#Icb-(+gKY~_MPN&K$GM7&f{AXcvUi~ENmM$Gy-R~ z0_Doz*M;W$K0>}c{erw%%KuRVv`$kt!%L{ookIqvzUQ=5GQ?kx7GlpXC{G`3=WlZ) zp?=2YKP{&sY!cVcFUFb)33@6cA;)s=ZAf3VY1_UwbzTr>`}1N3z~dc)={Nr4B#vmz zat;%a53Opvk-g?zsPAn=ODLcMP1^%Yb(m%0L(*zXW^AAxAO{<4~@P2Yxh(aqQCbDh~(xe^{S zTp&En|KMKxw|FAOdMUR#9B&1{mx^A{bnHQfkW-0qG()~dRUNY7t7A6L92S^}{HpIR z`A97~OdGd1Ghh2F7G=4|J}9t27BJ+JmaJ5%C^>B=!{6FN7NnC;u!O1auOphP#q}ORI z>4Y7{_B;W#FHcCF8D;6fgKruOyEhM&iHR=Qf3iFbK{%9!;+g6!zkX7bn=dll4dY6Q9<8 zF%KLQRuaC0tX73H2@>NZXkMlQVf-}g!$Bd>Syn~J@nOCOP*11_it=Is7dQ8$mxG~* zI3}rW&`-M}4#I9kFP!GyPrSoBb~Uw}wg0g@#qYW}U4Qj!UN#-;Gy1C87XSxU1ULp| zX7spv!0v3$>W*;1P%@}kvEvhpgVpvIOS7*%hWMv+R7|&bgZ)3Mz$|caAAiL-upW84 z@?%%iB^@g6pxD&1DvV%P&7&-AN4=v2?T5M_0HHu}<Zx2j54=+jG?HABK2uU824pugorW6(DQSdFk~lnRH4rfyTLqo;?nz^SSVzdTlHomGXtnc1O8w-o?M15)?Tvq5Tl<2M zAHy%*;Qdc*3#CGPa(*JEeD34Gh8$SbG}ki*82R$q4D|Qi>C|M%GJA|Nrb($rGXvt} zo;`ud>(lBzSfD5??ppO zgw!ZksJ2KJCvo56ip_;1-7y69?mf?0!01=$U}IB?HmWbm@wK8iAYM|42HEobut)vD zgCAL=JzAM5iXIfP-TVLPy*_|Z=nHLAoSIvjX-KAV50%Z-98&5K;^Wf$F=S4mH{BG` zn1Z!ah}w%FMZ@(hF_Ja76SM}k*oSYnprbd_CAgjUB`~bi`afPsS09wU!T+)PyxGBh zQcyI2hCx;2WPgE_jEdsLLneQKw*%yJ z9!9!u75L$XMyXpoCgyi;J7b)}F!Ly?t>&M|xg~E|`KA%hvRWiZ0S8~b=0Bv|I>t%y zBy_d{Cl-~zzCMu4`jtVrdf{{*k*e6PWdY7-PGNep^n6*F0_#H zPB(yKm27cpvfvE?*qU2yRx^x_$ki(}Sdbf-zMM=74CO>RyB2BE$GX7xs&^0G5*UUz6tQFy5M~fVKRZ^?r=-JSNB1(YO8R%hNRd7P19(6)AV|_LRD){7@XlLqxe0f&iv^g}0C@7Hwn$s`5Mnv)QvwMHcOg3-HAE8g z-%9?);#w>OCQPM#pw{raShMCD@Vt-5?_Xu*uM5yJb*4oFaf zn}P@f25bi9zTgnm?K%xsmyTz>j%65xubD)uA^xHoeI_kmiBtF)B(Uw%hd64(xlFkshTJ5Mt+4_616 znh;^OF}M2mPDBoY232a8iu)}^5?#7za|r+wtm0sLYjWOJI{X+6g!KSyZbbV(G_(j6 z)>u$gYv3&U;azPu>t||wAM=>9ctU-^C=irMb(xOv0C~R_g#&NRK}wbz#BpffAGkJ!OJ8*uLnG|01TBUU?<>i z;%QaB#itTnptN4fdc^GG6v$%B$8^L|qp1LSq#negy2XfZMW^&3m&x_~HjDfr(|7!7 zKeS=f%Ll;-rdPgx8cX?fk4-kK}fgRuq-`5D5E5nEZGMs3B3s)0ck;!A$pIw#` z0;Z`9gL=_7o?=%7v$6Fn#Z}_gzvYx1O-%gpXmq14s zcXc92hqG-}Wx~V7EvNh^A|h8&y`A+}?=IF`-C^IQA{lLlL>qI{qL=!bm+xx;eAV<% zlgsE}E*yQzbFSL8?v*06a0?+mnlrLgZ#B!tLTLpZ_W4?3fKre(bHKxmPXWy*PhOZWTbQ!}j zQ!OHiPqqa+(ZW0GlY~h5_+o7$m2%YJZ@qq86d71`Ij%CCj_A;28ag^y+*?L|{^?T} zqV70gf#<5dDn1f6OG7kRs*L@-i%|A3t$0?4#9WCJNaQkK!TUZG?Q+j5(&rn!3wKWqZOi5B zTx?Gc>6B^Rd-GsdyOM>U8b(N}26<|9bf||C2v3U$1xr%N)upq5QeJ(d`W+wjEf2sWXf!%w@QGpL zS(r~zkUXP%*kRPwm8JpFUP)jcbhwp4bp1m;87{eMbj3CsS#!MROjH=;K}dO6jL(=j ziTnVTy~G)&7V&!gnvn%Rea0%B5G;5rGXSYr&y5C;EP*SsDxEH}LMO0gQFA63>9q7< z?-*ju$~?lCWk|$duI8GHBxYX^ktrM?US#(Ea9PhB8@(1k=P{D#H4?y0X@3jwtOAl~ z6>+-IdMt+7AFtMD?b+D=^t9@buTwx=LUvBZZob~p)I@^a6jAWIVsuQ*+JAd{Nq^d6qqP8YQtp!!LY$CntBn`ftUYqbLqu zpf}+_z-Bj?yFek#e1rIt58v_w`*IM26-U_D`FgVcbv!F0Sr z#NiBPDQ8or`XP4S%*0L#h?O-g+9d3*uvh-M9GdMC6czPI%RyRCB-Jq3Gr>%UhX#wr z%eB5{>dl_E6PiN0yKI5ugRlG-+X-4 zHg2H#K1zdc|1(tp)d>lr@ZI#Gqrx5*+g#5$j@io1r_2u`#W4z2|DNcGiQ#!!zaM)R zp{$Re*uj1F+j}!S8U9ch&KPc{jxzp$e7?*^nhQtJ4a$R!|N*T!lfr zpe&Xdo}w1J@!-7%$ZM>rS*-(WT++zfWh%XO=8!S%@Tn zb22vOw_J~N_B{?nXgv)1)4~_WwUf1CdVEK0_d7Yd96)Q~3YRoJhrU$=aAOLd$M;wg z)F@Z}pmO{kTz<6jT)AOdr}K+Hpyxs{24tdw+=w!Qh3?{^tK$r=q7)G z6g^L60IGxt*2rtBvroHh8Rtlvn8g%4TZw@->K}x*Jux~{28UA>k0p? zBh@k6jZXzpFY_2mM+;#{H0njQ=cP!uPh--Ja)hD9uim>g^&lA+*p?q_y3%WX|i;u)TzT_l}#U~GBEHm#8+6i))vL3E>& z-876;Mr!&`Ut#Y7mr%|9Q4+}Ds8`UqR3mYdD@cgSlO|@t73;Mw$oc%FerxCpKY}Uq zutbtB{l#$08DZK{^V&J0)kkQXOkeDeNAB=18Z;5U$l{xxkH+R#Y~0?+`46r8R&>QK z7ksw|9{SgK6oJI~Vz?XR^G62N2+SjqC@YV7nsPs2jz+okUJ3;VWMh<`LSBF;J-!T| zt%TPG5nF9ZYl*3JQFlF1DjAig{o$ZW-bdQt>LBis9|A#xW%IPFY$&Rt{+#4iFdEEX^-R`iPpZb;+-shx*2oRhZ%^oN}cO2e~1f4uKki3d*7DIOK_hc<1Qg<&O0e zV)IF@wK$e6avP4&ib2_3%}+iELias)H%JmSNV@lKw*k!104$Gt)cj}i%k}}uc}|t+ zP<*I62Vg8tyn^k9H+2bLL#F&P%CiWHT6d3Qslxe~kDVk@^GT#`A~-s__|)lB4$jqK zj+*UY35)CL*r!i$7nwco)P`83VkRJzkFV$IXR%tVCVfmm&WN2rklR48>8ZhYy-$AP zNleQ>{&PrXc+pzl?IYVo=katvZEy_>9Y5?D4V{v-K;u5(-LONhtE;tVX*{+T&?~V^ zK@ndBO{1EvR80TGYP823TEhzNG!rp)op_Ia(}nc@4u%9?1jP+m?aF#_T3LlJVU)*C zm%!5xW>Ic>^*y(E@BY%vK&2k){<}bo_=0)Z0?t|!kwosJ?Z-Z3jS{K&)-NFzkp_nj z#?F$&V5UvxO=v~b_(7%dA$jin`&KEh`{A@O#_brnibbeW*c?hXm)F+0r3X3Qq~yDH9Yz(Pnt#ZnBqJK>f;QXFhh1c^l%* zC5XE%j*5!b{!}{E%@=`rlN!wyjYTX8O55P&IoBTQFQ+(F=)_Ht7^g{2)h|r~$q$U- z)@njr277*@eq5U><@hC|CyxJg>a46U!yM9h{^>$;zx%<$FxzI>ua#N|VQL}(dW45@jicN!^p`eMJT*aR!P z=s`sR?x}I~} z`TJi!$ta%n0a@c1G8Eu-zSkc%E4zf-q6{&r^Y}wWTJLdNt3=Zkqj3Y*qcmMNBY!p6 z#O_VYg5&4EnAR9z-E_UMT#H(hL~aqo-e>vc@1vzvY|&;X%yBy}TZ2LO>kq-JlsyD0 z!K<(}Q^E$xI3>`Gcaif@xTM;Nh))N#<9pol9z#I4ytxq`CPls=>+9!$^ z%^?F1)8l{o!}bHopx5v1g2_82F{_19sdC|}g0M`Vh3EE_OePLo*FbxRl2ry6rU4j| zm7z7n@>3Le1n@AJLzg${m6Yr8?SHYP8ITsGr9#x@#B~+jPT(J?}QqsyNhOS-{PwcZ-gWO#KDV&9!j@9GyKG)_(;)tW!rk|z3$G?0PM{64LE)6ZB~8viKEX4 zp2j_#__st;6a~&ZCHF%$M@gCvz>+l*K5o(qXeuT#r45XPowrG4?e+uOE#_AL# zX?BU!rVbPN{3}a|F!)G8NhBq#x247yJKi>W;>-8WqkXk}dy5bf!QSOo&L}%f9r#9plRuxB({@ zzC)FuL{78q^?gPhqDBs!3X4YRJ@}~6BJ%qP;Td`l-c7xh@A1-q;K=vU`*m$91aC4L zN=V&P4upBIC?J8>sTM$PVV3d|xD;sbP_s*@8(O=gpFMX8MyD6A$~{vf1yUQb>%`w_ zUuH+nsE2{v-;q;=q5Fk0hd~`l6Mu!lKGN{3%~Qybn8cKWiY{6s(S4x^&(`6!5#%v_Fi+z_K$Ad-<~;ulLD3{80x zPlOypugJi}fz^C$tr>OM==#3Vn}vnDge~Cg1!gxUQ5AcarEN*i4Obt_P*2KF@ZS;9 zp&vRSQ}Vqo!SGqDXig7(rQ+${`)2GUIE07C?Z?r{W{XnUJ}f%b7{uz~n=VlV-GYi} zwuNshWuvh%DTF>%R#v|Jw_0n^6!|qbNob7V&!K{J0+IlDC|~<+^5cAm`JOd5n6~xy z+IT2v7Llk6le|T4D#_SC_-v|Xt2sb~!rS=rkZ^YWxB`4SFKvUrCrqwJ3SUlIH^E%K z1r!(n6pAj2Ks84IJA=~{hA;ES6(6*5O61ucsVdG|v%ASU*^1uIGV`MX$Y_VgzS!+1 zM%~zt{yH~C0s@dASC46j+%vV~9BR;+`Y_cVDK`r#kmQgdBf+iKUUl8le*f3El8gYd zxu`!bQe%VDQ1shv@s6ZIcZ5n`MCUye?{2tvlhKFNNvgUGQCy$HRpUeXgpPyuZuuy@ z+$yyd(MMnmty76a9?TxVo{HY)udk^&Vm|Ye+X)GJY&m>{iEn!%@)SL0KAXqgh$AM7 zHtG?UW-KL*3f}TxpCNT!hWkFlJ!elp5Ox?2Ff3t3@1S@-E}J1$vtfU#$&yX&27l{L zQ0p!BcTHsHBLpDy9;M3tAi7YGY(Po)GuZLMgeW-Wn*OU+CB8x&P!krQmM;=}j^3^Q zU-VjQ_XV*yQ*|gARTq`W8v3k6v}GQs4y$MK}9X;@|J-{soyd-FBaO%C%r%}dU(W*=`%R_lR`S3B9q^ZMpSWj0u_f57Hrc- zM@DFwn4(2bJ9*`(6j?R@97+Y5tXsZwkUpW}Gz5ytvZ_hQt7vJBFypZJlT>J;p5M4O z17%yvg$VZ-dpQi7YdtFj)fAL4af@iEwPw9mf)pr+r;-(cyy59qfDlJvQ;q^fu$4sO z>5)@1u`9BAim$v@Os+Iy9FtXnbm{3vz()p+c0CMPMsA?A1XA9e5J@)0fhtE|eTm>3 zx=c+XbR!a=;tpVS(aiz0^t(Rt1*f&Pe<=~tsuN+)MI7>E4-mr(O&4EL0Q%Fx1nLTF z&DhT(XO08>%|SR+RH6dZsv^r*b_#Ez zPPd2ZB^*(_%*p?(NDQU{<_21N>$%LggYyX;7VrdMIbs!A&0&q$fJT3?sSZ2b4RswB zAlgSfK(f>=AYXR+@1Q$*W<7Xaj<~LxB?`Beem-D&N(it<9Dq_>LpJ#-dfx@4Ekw7- z1JbfH0M-9WO1yWhYXcHYVK!SKBzjAxm9#u$B{I46rA0Th)0Rh;o z9f7_O7L8t*j)x!@N@e6i?jGvYfUUv<5(%Y-q!S2L5qG*`@Qp{E+6(}dg%p*nfCl$j zvwnSZi5gw#&{m(d2jx_HN@gJO&SNw{u&mRbOw~G|lF5I%c zqG6fZ>-T~I+HL^pe6%Q(6hqYqd)Z_yfTA4q8L-Uh1LaEm>km`rgM0c+0Nn;)r2szu zu#x?)fhFNbX_K7nNe1v{KCljgGPQdK_B_LgIgY=o*_nY6+eD zw0a07bWt@|CVR31ttkGr8r6&X?Qv_5M&U`;c#IWH`eLbNKqRN+%R(2j%_>fwUO$jf z*9Vr1SxC16xAWQK@^H2$WKk8I<6xPmIP-bCI{a?a?C2Y0w2k`_N9>6@6Aq4iOi@l+ zr#46tICbOX0b<5k{w*+{a}ZrKb!FRn#Qcgn02D7UeuTVMIY71K3@fWQ|D|K+NvPuj zU-k%(?Sg+8k-DMjR|%9nzdriSWBaH_2Z{;>-Vy#Tx5$PAHNWT`5>y=#L!V%~n_ zth~n*V2_MzD$?QruFT*6@U#PAbn{Iup@-syoeY9**fNKHP@uEe*ZRHIsi9uU)I_QF zM~?CiJHRUX6ZtxknW02MqVf^D%b(3J%3+q3c{n;DPUFt?`(Hc*6YS`1sZk)^)rUvA z>>Hl^8=+5l@t3Jeh%myokzs+4hl(Dky`3xcv8n^9sJeviuQbd0**_D^2j!x&Nkpl# z(fmZP(g_Q5(kMo8T!C}wic%dj8xvtRL~h>gJ>V+-APyK|C0XIQL(;RKUAJ;Hisx2$ z;|V}R$ubwp*FS4Ywg7%B5%OLnPdikIQ)ZZky7CI)fcRPqDHU2JW#|aJ{El-qVW89_Vk{f zf$HBXyaLUZ3tq;`o#H;ICocBbJDC3_a4P-eHB3rk zBcb>$uYyrYD}Rg`BjW=IdV@~w@|QF-5Sy(FD^EF2?~u4R`bPTt-MW(gi9t3mp4vU7 zmCg&^vXU7X1AhbI4)r!NU5l+2@k2NFU42V@n(T#D9;k=+aheRH^1OEtT|J1u&oM9O zrz*iJc4QzN*M#4lp7=r|sJM4)*3T8r><-DY7jSaD!rPgm^StlHKk1_6dY}mcBfyFf zev|r&{}ltv(M0>!C-0>8YIpB^QHy7>8Ey5Bvhe^_-V;mk^v9Ihuchfh+k3@Db$~}% z8L(Z@wW$EpfS;rN(~x{k)CB!N__1W4p`Pr7qg{Y=tM7#X=)qg2Ec(mXhVsl4V6|$o z{OY0(sLvY1S-K7hPQu8Nk3+p%0pVU(s}MrI+KGIV+;EiO<2) zE57l*{{xvfuMH$G$@&`z?KA|d+eS_?AmfL6J4caCfFq;_f^R)B%vb32`B8~f!c--t zOgMEM5HcKkeytRlqcZy|oK123({kkmBg`1@KJ->ThvWO7N|>AqF>7OI2ElvgMNTng zG*&s7PtIzzVFz5Hm%IykYumR&T`ZHh*UY%jyR#SMIL5$*gK zJH6PJA$|)+S}(SL^r$)%nTb{!BOP`nNm#mEW!0|x>z};_HrrH>O!oeXpBX>~Q@N}n z|9&bjpKhh>3^H8b{BtPXro=slEK08!rwrrgZ|#_oce6KQtLF&WM|}kh|NHMGJ9t9@ zP<{(Kb@!f^ejQx1GkPANdyn&Alc)n!1+*YC**ZPaj{}@2o}ipsvH;UfEM6lkwdaNl z%|PKk03?|M6AxhK|HN7UZ=6O2ZbDlVlLr?@Bzo1)uFbl=eCwOCLu z10?GS5Z%<0KtRuGv3OtFYrMwa>DIgTnJ=#WK)dCP{cj#HlL1faS{SlX)H^h)8pRluTRfiJO@(^H`E7Oga?fAD$C z)L4Ic3)zPJ1%5vPHY}Y+tsDJ-FM78+yk>PJuydux47#%J4p>Pmu#Q7LI;qr-F}QF- zw@r^lyiQ&&G?EcL@e072!>W5IaSwTicLhfQfJpV#g*I^pjo5$uCy&@j0y*`#HY(yMd&K+z)>Vc7B%OG-ctH&PeZ z+&kVH--tTT^YqIAqvqdlBOdLzYDb8qgzMB(ea#$oYK_|Tc!x--^pWPky6Asb6GIPz ziyeJ^9&hT@8fKOC`Y2V+uE#zR%Oh*1mTY9gtgMoSVG%UvLQ+%PVv#lES88F@T@j>H zvMZLf9c;g+Vqw#a`!`MfrdJjPW_s_i!@n-}%?C$^YMb3FWZ#$VU00^jbdZV{>XO4%>-uDqcqgJ)|%(QX0vL+lLS9B$LDk-L7Cw1$k(+^}c^0;1e za9;ztj@jBd4u9`e^wq47b@!zE(+0EgiI5uHgt=u{=DklXdE6!i3bicTFA>kM_1-Q4 zSB7G;#x4TC$;=Q^_E;As2 z{AAL35)de%>tnk3X;vS~vK`6HL@=HNj%I_r{n z!lf981+W>5^S2VIQ%%S?7dXOHCURW-)bPPh=vv0-jCJo>w>6n zN3@!^^kNW{Uh-Z{=)frZjwGRrz8y~KVW~)|Aa#sGkv0DYHr2(HW10s#pVHl~o8vQP zM-wdV6P7!p;-)=x!#SD0=IN8SLUjJmN(f&YMtD(1B!p!Va^A> zAl+WC^Wr{D441SqK*{&S`9JMlXH-*L7N&?O#XJy1P(Y~)LXh?pDNm&Z1QeAby*o&k zUW`c71VKWL(m@1~1dygcXaXWND!l}xH$x8)%ACtvZ)UAo@5iiJYi9mD{=mw*oU_^I zoV~yE?aQ~<_K!p4@Vb7i{p_^ik`tSOnv>U2*~KGS z9}@#{U4YM}u6FHt`%=t(e+Kq>zi?J} zCA6Sg&vBG%LJUnT0~A7aTG(@y`lMiCK5>z#Stdih5FU+&*f$N+HYjo*t6qrm_}BpK z%#CbM=l(iPv9Uei{FVTGpxhcJm!Pb%`WLj&oD(HcjYc@1}wJ=BU+j!=K=Ge zWp6g)`(UlOfz%OR9KTWJ+TD;rdAPJ9=Vrv5J95UTEuAOr=yUtpL7&>&ykj#!d})_R ztwCuo+N4t-67k4w9zqh0D@$lqfg8}Sb37)2WWZ{0kdiTRpY>@3Vm{lZ-$v+QQd2uV zOsBSPE{|(FG9dsTF~zmC>NulfN1_szO*U5~PD(R>{Sp^gX0+`m5&40o2Od_|d#xj0 z_zJ0KohW0oN_qls*5Fq#E4XNza@d$Rb3a~aF{cKc+&f}wOrs;?8I4aI(De6W_Y>LNJy z{p?K_ICHKhCeu{z7Us^J*(H`9$?zDnvAJJ22(AS=#8!^94;)|ahG!{+ww#2&^g$C0 z0(q(<7BZaf`?HnIu|_y>EuK7;*f3;hwan=DouO+Q59&KDQwiCs<50Z4w%NT}_=q9$ zgB6J?@5DS!qVJ@H3GZLna$3&aaChquow4SLkPpxEssAivwSB$tZ+2s8##?e#-keo3 zEN{Pu{p`G+Z=N89Q1}I?nhObsewVG-z%N-cCdu)5_>+V7lg(dL(x(1AM!$DhuDE_8 z@>e^t`lG$77UEO&ks6k^jJXL6>$;DV^R3p)iPYAz={mN83}>X~y5R?m=S|3op||ox zcIGah>}M4_P1k+}3>k|LYkvT}kW)KIY*fJ*gPq)ZoQUVzqgVFj$oVy7VZ?1`^5*`h zzNy%3Re-pKgyRJ7T`Q-KbSQH-4D!x&@AJ#Bdfm^B(B?oW^f#1*qN5cqOEboWdl3iEm_yH8o0s8n zln;L+8Tw=q?EIa|3@<(33Z)$>{KP7N4&Ri~eUEABjmn(*qbS$ISu!5&Zoe}r$Ek(@ ziog`d2b<*_olRZ3p|`nYyg8-R2jqKqJ3lfEm@y!gPo1~{e`-nZZA&`ONbmgqZO1jB@tQ|0wk=lSnLH0 z!u;1;t5a(5B-j38yO!4g0lg@WPd9%xGf!e-vfO1i+Pqjrp*h_n;D0^~@GW*V{4lAfN+|!Nxr|qdquiVF*mg^Y#U%Z@qf`-^6 z&oii@oHCc;FQauKSSc$yRvy`Nb%2ur++?3ON72H9leDz7ch&aV?E6-rrv}GnrKHnRm0|*)+#8K z;UtKpwfn*`)&5Fjyy-bs(NCIzfuSwsN}_%H%dpR)2ZK4_)tuJnx416C-Y)U`G2Lz--WsVI&j zK-{K99yBdy*NH*(0i^+Mc_$-;10bp}+1U`UT7yJ>^qTjsjRpUAe!#y%^Wdmg7>0WdUn(e>My8-L|PmJGRGehh9zv5T_^7en=ZKG|1w^6wZ zub$%aAx?3F2_PY2`*Y~SkVmV;#Kc7CAE6}8;S;WA&tL!cZEh(`8lMqAQRjh@3{Yuw z8Ynrhstir6b%}bx8bqPMHKN9qk=}g6Xx3Bmg`Trt{}FG}5=El;l>8GZAjD-D6x_45 zvx_%6cksKm)KVi2b8|kM<|sQLo@8rl8+Yd*N@?AvDheJhbRLvX4O~Ht_>Qw4X5~>O z5rVW80ObHe;X8p8Hu2jzEcAz2EWhX8x{-V-=9Mb}3(8wx!A%~-`?H+0k$pAYz#d>P zCN}oEfx!twiy$w=BrqBvfzt6vBX4hcZf@=?=0V$QR*fi5S?7VcUJGPUGvi!O0ds8| zR;J-iJoNCP!tqF`y5@ZEX`w-pjQ$X{){6q263z5Tm! zP4`JKjD1)7)hi>NAdzn@4uaQ4t&_A+dV7j78=ZfKjx^KCpCVqH0vDaUvzg0EL%qQtH^4sfOO1h}HXJ9Fz-4-_UM!C2ZL@mt74xTx8nLmxo4RKXApmPL$3>Mq6GTG|WFYh{{NCUm)kZt3u4gpGer#_nBwpJ#6 z`prLh*!AEo_|brlJ0$;4fP*fnaX2uB#O$#{Y4~+@WyP9J0~1$k-Ns)CfDn0wVG3ATXST!(E%_!L<=>LKFHDo={W{zz2O%g)3~+cAOdodqD> zjZ{S}I1f_*`+dBIPxAhh}?yUSn~f^uuD=pr#%LUx68f6quf} z3HttcCYpP%bS~;u9@<~9H15WZp8)4DSlL-(79%)ClgrKgBs-_Qoh>y5b*A5h*s(00 zVjH2DjX{9ouorE>!IE84K9P6C0B70)=}HkZ8(mbFl*yUO@%h^6NhR Xaa)3#S^5|^4fsN+>8j$cSw8tYDX*LA literal 28622 zcmce-WmuG7&<9L+E}aW2A)Nx!u?Q#)3Q8m0CEXn&EnSKrf`EWDEK5s=bS({13rN>{ zU_fQJQVFSw9qSx~I)%hWe5AyJw)|z!jhGz;{e?X!M+fNM&*^U=^7AwR= zM@K8KXFai}Tn;!l3Z3^LAqAcoUe1gMB6F_811!~i>D<&*@~QIIo#n4<8g?t1`}+Iw zltlh@lzqntFaP@0bbGYWV}CBqefVkA>F)H&#acoXS2i$qG_*h*-%48>lpl2W6nIe9 zH#f)I0&Rc&d+(B_1mk{&cpMQCBH)f({_|$>Fd4!ZKW7jlXl-6G@B?^tF@bq zJwA3T5&Fk527ak25jB7C3*N@?%abi3^DdnKZ7HiURnHcQM<)_9oxeU3#z6@I6FK0o=%k4a25(Y zENJ^@ylzJB91n8wlTU~xe^|f4qz{JspWmhB`adA+@n4FI1?_%+#ftj3w!W9v@Eqv? zag)GH%RV|TF0RkT#gSzdP2UO|{|zWV`IAF-f>XvIGloZZ=4`v4bcu%7XE5u!2F#(gfp?)I>ZGNS!8}JPB*|FUEx^DsMY6 zuP6xyj94<0WExHKmn@$5oUFWHBHjT;^Z-gS3i0{}^p-@=)JB;&VCf3L(rH&aE#ie`wLC_dWe4}pLJo3I|bIN}Jm5{WF~z8u(vG3e3PX5w^%*tpH0_*LOWgn^Ef1pGQL^F+I0>+ zzC2x4H*~l05q0n-xxuXKCL>Mae~|jTcedPhy4lHRO|kEH^D*|gv!6{DPf5yu@a0EG zherYXHPfGh`kh^NWnS~x=e9nj1#FQ^$Td>O2ONt3+J{rH{G`yk!3viez$9~~$}+Sf zOO__Uv2x7==*2p6F?f36AE^rV=C7RDx3ulu&OUkV53oTX!w($vHl!46FjO5eKED0| z2*VYdyoKl`Y(8BL3eEWp=*NfSB86tE^5zcvso&0Yyp>Oqu6vr9HJzNL0fowcm|!^D zaq%L>4}5XFTOZ$0oOt5gmuu<_%>S=BT+tA}uMtn=eVD1`ZC%nh@v58YNzncfF#j1a ze^Qmo9>Hv<+2T9ds=)caM)H0t`EH28XF!4D0X1YPPrjD#m#Zp8Rbn<+CeCI=4~hu@ z)V@m^&`pr%>n%Bc9G`@#!)qy;(RKemzrH0y;I<(K6jtEVEQMw(eg78Fs6+gNk>mAo zOe;WHv;qvCf`7~y_9yLh9y+X8webYGF-JGlz{D+$D+0rk%irM#PNzDsiSLh! z0@{Df-^6X%HgDLZ4!3K8}bAyDYqdq5J@X$_(*3}`;*()3eoCAt2fZ4tY;lTuOf5`}VVK$sQ>o25Lmp zRSw9NcTh3G@&lx!$DkR0(kbk2;`j(AgpJFI~$tEth&=%uE|a|(pbm&wGwHs z_j}}zrm_oG4dhFDnQoc%eel;|O08QU3R2fBfGuGn<1!1U2K3N7sr$3=R(Kj3rt>^_ zh};X$Te|?UHfOnmEmwj&^+;6jeaP{bO+dl-Vjsw8UB5H!lJ_+?2QDvr2&V>sjmWC% z8wg^pZyXEhvhMNcmQW0qqJ9#~6$~m%k|yOo?B+ApTjXaV*qxeCxh75`LBH>GW(;*|xpPUY3P^f3Wy?C%P%hC7n8nrKQooY81YUg;&YmCLX98R;dy&pkZ0)(8h6yZ2;fpJOGqDrCwC`+0E4(Wqoa<=`H z`qo9APE}15Ref0)KO&BLTr8fg0=2LPPGudQuKWt1K6q+9a)#59&J$@kJL&RMgqqR} z#}yG-X@tuaT@^WnRXb^;J-$Lrg{-fbx zC&9D}nvul9V+=NpXuVFHNgSPOda-0eKX+kuA4-^#GsFTp_TtO{&4+3tAE&lrt5rl5 zq313d8B*C?VzHdnsAs3|{NmCkrs-|JvX-aIZUU$Bp`d+u1|psPfLGkbegCWvjPB|u zH#LMHTJw)lQIbDvol2UxnQzYrw*|adxA(>RT}~L_KZo)-L;kJ;M-p>6%tBBxpmuinsZzA?e)3$4AUwu{D`c=pA6L&9(jgl=lcR z$(ZihzFy#kK8dXMh_FgfC_p(rM7y^VddgBQ{1n$sp`}i+jfSNbJt*@ZWl<=Hz^{pp zrp%Jrw~0O!7gKTvFw+U;-J=Ave5OTo8Y=leB#)_yH-tJ`f?~vW0+=<``hxU?h$1>P z7~)wV)$zbGB{kfYC9vPLV7#uE-8fH_K#R@$SusIS65f_5MZ{?(f7iPC;oEZy01){gSc2o;|nyT1}eNyQ4C3 zLfg*5%Nos}IBt9)SsR4`_Lu32GL$Vm%zoTmUhe!Q(C?d_%=bg1JxwVEc7zuLxq!m| zP%G(EbXa{JKB$E-z*p3GeOOb0sW<-Nt^F(6odJXsp_)^DMLbz)Wh#2Xdemrd2^cTi zBxIB7X}Sv3Jo|%b?9AXiR`p?MSD5L^JIyB9MfZz{e>!2<2@)mi@^+){M9Gfz7A9yc&^@OTPgerC!7Em#X89ZP zdjch4hXwTA&=sK`er%#Zm+u?=jsfs=$p9%qKS7&a6VE~Gu$t>1JLv6t2!A%x7_|q_ zRtr+WS_?z>x2(Ei#34WQEg!%?z`)sldJb7d0nBrf&1&f8mi(DYl^b{Jv_NT7{ZsNl z(mD$WNa5eOn$P)mZ8kq9n00>EPe{JW-b*Po*P8hpqf7uer=&63dAc_4=-yfF{d9%C zYiGMUzOt8sLbFhorUx$@+Gw>UH&J6Y6sCDR@nQG&%gP7~WDL-KC<|86StOB{?25IlD9Prtby8e(SHbUFrXM`zZD4<&V6c?!bEv~-K*A7#{&@`XCH&bEg;8hm z_-H5@!vouvPBsBQcSs;0M-PnucaY%emoidoJE0E?lxl2j1mKvUSqDaPN=j!E;5tH~ z5Y1dA{&eow9m%XOsGr!8do8$PV`5^yXOIw41xz;pgg^jpiHnQ#x!g#vZw2$4q5ufZ zRWkJffj}$7@i#-T8T&pd#?`gvi#js~T>bsOwnX+fCN)-sCtD+1aeQqqf(idf8WIm6 z#29D`p7V~Xx#DR#IrRUFXyyDLUVhtUE#LcB-7yKgdi!L7XL>AYtkTaUl6FMwc*)WDt9 z25KcF|6C{1r0CR1aBR9PT(mePx^MYGwUnW;_Gm*I!3+23K|gkcA;)?TngdD_ypo+2 zw0T1CamfnU?wfyD5L#3l0N;=JYn-@5HYI5-o)mqf0_Y$Vk}N^W`O2Vj-k2b5w{Xu3 zFeVQ-ECfP2uu&SY=v4INomRmdVA6g(Xr6LctTRzt$M;J2f^OR?^Ojjv$bX%=^)W4B zlWop!k4b`WXnG(qIR99IR})1XPtNo0dP|iDqJ0y|_{9R@%&4Zjqd;6!g!%+8d(e_5 z?RRhN>9Z^zjk*$)`%I~_kg31-C<$ufoHwY*{dqJsgH1*5{-rDWfZ zb?*u2<1+dp<5J-BN2IPF@rw5fRta5BF*KU5oI4lEL0M?%_UV`}3a_lcURv!+2RC>k zo}#RtDMsi(|FAdgzQi3WoK->gejdI1gH!~?yaOc0aQ__V4)53fkD&PqU1c$HF^^re z{Fh<@GP2$Ch~rReurfWyfz{ce3G|cBsNVTi&S%q!UQJ2j@#}E*6y!U zpF3)0_`1$9ujD}_++p8#G^J5PF%x}d8U#C16`_zj6uRg7CMK|O~^cH7Hz|zxMq-KE>+Den#)%}+0$;OLOgPSnssX~4LSPBI> z5@jmQ!e}q1jKY~0T0|UK53dNvMMeWZ+Jv>4@7tQ``MWl%l)0;iS3`t^@ zX0Kh{c2k%&|2Le~U|Akv1xgp#K}5+EU$+&T<6b0N0SeKO_hTaIXxP*&-AaiIkHE7c zz^7Cg!cO!r-C@!^GEt`g@J^yJx{nbjRc{u!>U|L=N zx7wF)6NTy5sFYJ>h+-7rX;vap(NGZ$5Qaj-FKi~>`B`p=`Ph>TfgTvzH%eI~CKGC? z>r|AG3gR2;+?x@M^EwPK_uYXQ7%Rmg>QMXq{GDT*vcnOJoPV?i6aFjlY(*$HCqO+x zn$`02R1M{Eq$~#pXM4VNzy(%N)VC)H&L~-2O>{ZY1{5zcmwK!bW5hm2g|8w1p$TdT zn0dqV`pysnYBps2s?RVtV>d~s~tuiic2z0w@NHTsRR9_+nq&%?HkM_9tK(Er%-i$ zU-F3MU3mcbF@{%Uqa*~B8;ZIsKA70^Dg=fn842cR2JH*0C56XJkTEmSR2$@l43FPi0k=Pc;pnQWzChr#0vf7|J(dk=@4sPw z_lcpbX0?B8lrRC8W2|=2s<5#AYtXgzdb+L=hEU&ZR<$WBxrh!A1407PPzq;SVH%uW zlX+L8Za0@5^2X@3e-r<)0AsVlWG`d))3N_%C?{1t_&`Zte;=#rpZ-1@u!|kEAdPwQ zZ%t`}S0TOlmo@h3taZZaN-Q7$nULRq{OKGrbp7lWQfx&Ml*|94-%t;&U8)LMD6Y7ppC}AnKkpPl{&NFA^;E{K#3-3AOS>#OCN7fS1iCbT4?PV7H9T5MwpWvIdU|yauL|lo z!ZuI@1h)qmK!{fNe&qcfab7ka*c7OVC64mM+3pN-s@gdxF^j}8+UqZAT2gSU1&>P+f8~W{>?MgCU zSn$?5phtNuA1RkaNB>R$6bIVs)QV`fMD9YUe`9lU)tlU3kc+MPmswCc38ZL2S+W2f zP*z2HBf^{!Ri8~wi7y<1p(-0`Dq2vn4zRODGk-mXfOvqz7TuNlRU^s`f-@ykxHH zI3VLQ+q9~rF|UUV-ssS%WnvJ&pATGYe1uqtTZz6cS5lkXNO)T0tJH~GJ=S`-a zT$WtC?-|5)yfaSY1Li47ZMi*S4WYC}wHU@ZI8UTAZb;W1gIQ(Z9r-J*(<`Ue1udWj zUS;(VID02jD{*nqVVc@4Xm)p5J2Lt<)L$-#xth zD=NuL6Yon*?+XDxjqbSUjEDU^J)4*JzHt)Up%?qZV*k3VwctEN0xWY*mvJSTLYpxRCTIxjHljR{JiOp6FEV-u!G zMMS`L=MeF0jY$Dk9tPf)uV(>FDDJQ*;-&Bq^p#w_eXfkfrp~0WmG>!Tb5Z;r)bHu= z0Ij}@tO(SP3rzSjy=`h&$ ziDibXMco4$7hMo24epW)x7341PKRgtzC<6nLrelg|9Vj0^E(WO;g8gN$v_}056Z=C zz)#$BM@K}DVf`UE4F+#|k_f}Kv-<;EY!JIR=RvmLGkwODl$@&QieJ8n;lIh5J5MnQ zeJ#YyH)04xtRlxb+(>a}9n(8LqUj5Q?+kErn-t{H$_=p$+`iKVoE_i|P%0QgJeG;o zrNCH>_#7M(%T`P%l`{CtL4^C~k$(AMb^D!Hy@G$jQ&!;Eh&+jv&H3_2&FLnX);TyP zBLcbV(4s)#W@fQCydk-odBSD3S%Ul}oFPeCw=QSLmg6B}=+gL-`~DoK{57FbQ-{=u ztXsAFEL~0M1R}A`WsPUb_L8eI(mFqUw#Kxbxp)Ey3O@xvu`6_*$Yq#yYC69dhB;B( zKA_Rwc3ZH_>~f8<`_+isevbU=ECPQxf}`@y0Am1%mkt%i{UlorS|t6zj6-COQ^2ne z##wkqb8@yEMa3PYVa(E`#(p%Bx%T3@(S3PiYSIu$eDFM>H9?q=MupKCEFDqtqZkwu z{re%;p!~@7FbsKpSY?}X+NPwTJQ7aDo;}1m{MuWhJZRbjkMw%K&h%qi+R-oee3#8k z>&Qn5z^yM~EtYeho-l9C))^q8cEB62aa37#=?B<>z54mkrvXOQt=6*x;~oj}ekQLR5y!{se5v*_5M5hK9T>Kga%yX^0GCGfv=y zqZGXh*$gx7v@V{Ao_R9UqLq--$K)Nue1 zTEK(Br7helZl}thZj-t8f4qQ(iMc5l(|T+z=WD(D?hVyU(Zo7P@xOk5J^F?tMVG%C zdHyA7*pqk9>@v3GD)=>}6jCQe78@v-t<ngB$Al{*Ytd?jCnb+aK$GK1EI z9wCc`_{Pw*Zz-8*8t+vS!bPOKaFqt=5X8I>oeUAVYua}-H4(rji6teTsm|&-draoh zJnOr!5_0@=%J#UyqoxtMS2Z7c3C9K_FSqh*tcGaw0o&T}UL_$#g-LmOhFf9_BS)WKwMiW){_1jQc7m9|tklm5P z7ii<{xu`{#&KO@hK2<5fy|T3^t1i?i1k2|Xg6DI1zHX6vKHK06v*9H#KMBQi;C z#q>y8Y$bTl+2s6%zH)?%G0-RCyt0O?s;Mp3#QSvm6q>DVWn)$_Zk~ZN@Q?0=>w`#L zpT$vDxrObJYnxE)mP_<`ec6#qJbzj%E#;pH-7C)arzg+AcP*}<#zC=^6;imS0y0Tg zw=jKo`a}6M*_jK)nbl}9dCUopzyeU8NX>P-p{cXbH6@UtDC>);(A)QI6~+99Ur@~Q zZ@ADMlKb;u_%1l0hS~VsASPN^Tu!FwK<7N8uEZdvA`Z$)p&E4oi@FHGLU%x&qgjAO zNADH*3Ki8Y-!@S8$}dfS=p}W1f6(vxoOyI=umT;HF<%cYmI(|ylnz@sb=fci4mh-u zaDusT(6)|mb1%m7HGmvBu*NW8NXE`&kD7#;$_c#x^dEc{U+|kxL;Im>TW)gB_ zQL+|$Y-4!6k2o0-&1LZ*mq zd4?F4$cCIYWKV{qcrf%mo8}vgHRo^v;%s$}6^~Il{>^99;^d$|4P~$QbaJs(nCao% zZ*Yd*F|6T5=@CAWG|@1aFb{T{e?NNaa*&po zVZm0Canv3#dM@jYKyBC;nXvt2vNDp$xH=MfdZ^I+kOo*~p-^r9-ahjiiZW>;zrehC z#uu-k_C(U1*k6#M=`2)fIbze%Q~Kz7vhQFMT+%YsAR)2t1S!Re8<}&@oWj_EhzMPryZtfTVhUJW(bB5%s zN7nYsCeT7m_}|N%bBeuy%(Wya{g+1>p8c5GA?5}2Un6CoVw8QKgoBuDTJNrj|1$mD zRYo_QsnH~9_?J0k>s^D^QG`h=VU8Az* z*-e35z~{exM1AQj=E31HsTNviAVl$o0N2rBNpEzQ$ok|Vc{1@#F8wsR=Z_r|g(0I0 ztFuuihWE@X2s*C|tNbWoY8Y4aY4(0TYt4dqhprChZ-;=xFvN40pLJ*5Q+#?PyNz{p zaQ9aYceUgC{(tcZ#IS}LDdsNzaC)zh>K{u<-h8Z?EjoIk5oOx$8!-FDWq=3y@y>Y0 zX`p`eot@3wGEs%iC84&D^n{cNj?lY2zvyr1-YdQx9=s2`mwb7ik!6?RA?lA5 z^j;YCbZ$7@K(43s@Ub?Yv4Jb87z4;FTE;!TZEMxhg5Cs|eGt+N;xr<1wH>wwxn@lR-t1hU!Zbe%$9l|+i1CFrd%6J zG6eN?zMlQuLE$rd6yd8rCf z2NIVtvT&vr2^z*Z-yvtXRl}{kehnI!Tm7na{!Jc;ryNS8?_AD-QK__hDRuM;BIx)MsTKU%N*e%_v@#2E|@U414~JNiG1$j^T$hapz(85=GPyhg;&C{Yh{sFaDa0wcRY! zau<1eRS;ItG6+a-yoisSd*QaB-@orSUo?mna4sN&3w)+S&l~p98ZOuxc7qUvW>;iM zO*sJ~H&@xGa~q*u7&ShhVg}GJm^FXy3Mj_OXZI+xXakrCn$dhmm^}r@uQ45!Q7uWb z5pZEDH+*@$v<3v{@xL@8ONYmvxp)ZlJ52S9&^q;nLuBLQF}79- z-SYX%rq%Am1-2F+XwHK-4?*#ktn#Tjy=qu9-M|Bwj>SiNg5X+oog9xUm`p?}fm|QZ zN;FDh9#M_e>q@`B!L+bh$+2P;na3ID^$~I|m&{u@WHJ9$%s^0Tod|`j-&8I-A$O9J z>iWe|VksS94xJv#)4!phhzGw6BY5e$BNR3`osr|f`$G8nj;U1oP32t%njfK1ic*)# zL!<<)y+BUW(D1sgy80|j^+%K_>NouF(@!Ea8%dKr!V;j&fIm)(S{^!ENBG-8>PcP} z+R0tuP=TqBiI}i$mW={I1lUi zK5gc7MbxxxBa#rU^T3)#w$^9U14HDs*&$ICf4H^Hi|yn&*;C3HL1IC_&;fhE1r_?& zk1hdQU4oD?klOb&^psAOJyu>$->s67kmFw-%lx?fi+xZqEOyl>cDh{U%!RA z$unXV0vHMnb9W@0g7yo*MgCW2B(U-WGx17t@0{%>l~~COqaJ^*70uco?Fs4xE?q){ zn9bOD6TAet9J012Y+3#?I*UjAi?Ok=-88c=xHDOxfNxPN`J%i&M7-Myl|gYd4(+Ad zpB0&JMOSDG=b2Pz5!v0$Ha&CrdX%XS3NU0;wz2!aA-oM;EQ$49*al_D+7?juOWI#9 zchoZTZwY$`{&*KI^m}6S(Rm1;i0laQO1ZO{ZA?v2q|5UcVQ&*6V)1|luz-M=new1* z3R>Jq_*3f+QM$q*@{APhli_gnol#Fbf0*m}eB%!Z!$pSvZz~zE_)W!IV8fR;D}o-6 zEvz!sfrz#8LnPwW3G`xvfI5iZ@P;+#g1IGtK$Q`LJrGTUcj;E-V41kdqC)|HB`s_v z=d~sc>$JO-b!X)ZRUj3l{D9j94$IXO@A>qNPG9i8TB^{7 z9q^5oyrgTQmERU~7%M`nD#mhxp54NNmRv^zY5m=W{aa9bZV1lL>wwxbWtK5gK)dLQ zdf^P$a0DNscMVaxTu{~H!AVN`Z~GnGe5jN?Ix&|!kwjI8*u`Wq(HVt0>kyE@@U6^+ z2PPtvX;hL%h= zbnMrd1@gA=V?=tOO{@19N|3SL6VPDE%qB~@Xem)6NhK%2yxC>IVt*(B{b^h0VNs2{ zrf?bi^t5Yc7}}~-;(El=J-SSl9ZM12orPaHI7gr8?Uq6)-GKp)=$SB3X~L2NC~uKg zvmbBEj~U;bw(=0S_^iY5%{5A)?24Q$~h6ZEQH^<@_udX@raGI zWyHp8&NMmsl{PAgs%}pKWJ4h86T*rRNMt}YZsaYBfj^ME`>!;ytIGBkz90J5I!pb3 z>e!N=6(~Z;u@T|351oW_fTTADE(T(}(`+sUc(Yi%M|?S1^@)J-deI{*(&v)!;_Lz0 zb^(r85{}kuqI5=cwTX$K=pAA6`jDqnzhA61ch2DOWq2h-39JFiLz)7t3nHsX^PV0j zDi`aiW8pjOiI^_j#c{*{+OG1uc8?6KzQN#lpJJWp=!bhL-q2Or&{ZtQhc(BIwCGEw zI*Ynbt;CHX%Fyb{9gcMD&Pm8L{>H`ww;T`M^?h&+{Umd|@acn42YrdP$JI(eC4YxQ zyEj}Gmymz)CT#yy&S4v!M@}yZ=0c&WK#7%Yk=-}5-$^bvFhsP@cT3nEPFQ3X0P{Id z;L;qLwD7GyE-tf~Qhw_;0FRpk#cIlro?JbqmLyPbE%$sK$m_8LL|I&oN5~tTNLiZA z+`sGypX%rkM$zM(1peO~;T5!KMpqp^)04bqr6EL%-zDN%eWgap0(rt(K`S9?#S_0Z zMlpx7*s+WyA(gYPM9n#v#ig+9H zm-Dn#^?PJp9bGa>Gd6jKm#}54KZ3A%Ka{t=$#2EOZ;R-K&ABdyIu|Ozkk)wVv@-M; z!Z&%?ZA>iP$dVMgiwY8d(!g5Z3(X7N1Q>aYia0Q_^15@lbq~DN*+7Z^zQPp!?^Dj3 z#tyT7jl_4vMLi1lp8O4APlnXW-^gHCt;>HI@kqYHb&?uiYL)Pp>~x?c6?haW)1gS4 zzN;QQa2PdMEKyNb8cGqzB+Y!&nB&=Hp`VCvVu;fEMs^;X>6~q%bnv-L=cON9VW8kE zmf)%?JDw3g4jk5ELJB|eiB-Pc!2yJhyddO9vWV@aGE8IMxZK8!I?7(SKjokfuSk$J z=5T02y*k8XZ^J3^zy{oI@sopHrvO=4?XX9()JZQmk;LS>P4Zdg7mAp7zyi%@%8AX! z=)G45aw}nH(B0n`mv1|02ec-oZBF<-1|ln;=?|#;VQxBw?@(n7O=Xbh+As{gXE7Ox z^pGNuW!VI-U}{|>Oui-jdRXnr>09*>E62|dZu_XeZ&K!UJ>3O#?%PPa5X#>&qF1R_8UB0dBqRP=7yOD|(=fH^~$UI`>Ho&1; zY+P&7Fb?Z>M+{GQ<`3BNafc3EcV4`9fg2#Q@iBh`&wWm7z%>$=jE*hgRyV_HW zPPO%Mdg*Oj?|enp*E4`5k=3?$NHp`IB&t_y-P-ZH0ki(rsVA8d*%gnIUrx&^61Kny z7;|uIcq0#ZR7p-!Oc_ui4#a=W*x<)@!(V-r z`XbofraPkc6B;qEp~b2>FQ%|1mOICS2yZq9B|i=rbxP}3NJi%N(Op_q?eD${FAkEg zx#(o3zqG~fY}|dIUG#w0g3j5`#B1BTLHr@St+(Cm9w(^S#oM0QKOf&DAy_?r?{_Jc zcO)aZD@HfLr$;mn?MkSDL~Bv|J)Z1g31S&ca)F*IWc7EmNkHxqEY9BjG-Kvi1KdN2)6R4o(ecjGd21wQ7Km5{C#4< z$K|s7=V90t?jummUl=SJ^+ix*xz*1@B`_ho367fQaYmobiW~g$I(sNlBiQWbIcPbl z$BRWU+oH{RR3z?cOq?xH-~Evt3EDjpwV8isn~mej>uvM%ZS&0AJa206s?)39d}e`A zMpur1h1CK~&OEidR;_mjWXLY~rD*mL`Ti6c0wvH)AnhiM?JrY2tznM3XIT9$%eBrR z?mUnC+9&kNYCP-Vx97?cCdZzRYaQi{CeN zM|iA~Du&$Mbf$kJA8R6(iC5jzv|`W>T+{?#j{aa;XNxJc^=2fy7t@%bgCyoPV5-bE z&lR*G3m3!<-sSI3;-DpZPYI~x+RVcC=kE&1kG}ztdD^&JzpxQ(a1fR)M>CiYG6sZg zSqAIYJ3jjF_T+_>WT`(=f6o2^MRTovah;2csnb4}&6!(J$ZXcl`vRBRqhUw*$8HLl z*#KX$j&iv@6s!jMVKxc5I3{dxtOknMh=>J(?LxWRmvFhl1^qMmrs&UR-f0BQw-Vv%l5JUcT9O;q^`i(Aq;G4MfWxlx^FiU143b^LU=dv~wZj zd=K-4ZpC&~=^$)cxU!5?W)Zd38Pi!(w?Z`c*~5&{&@ToveQE0;rao_4&$g*3=lR`w z?>Kt5i;vE`t*uYjtCO>^EXAvEQ_(o$_jGQ4r>qnN7VC87bu71=5YDzT|9I+MqspGF zKiwyt1%=WcFuT!cNcX0^r=wQ8Wjww^t3)v8VpOX@vJ)=DS&|@KWkc~}74a4VVQwztE-JmQY*o?Bbp~J$z*_iZJQ$8B$(;{mbs@{%k*5dis0*CJ zvj0d9ufD1%rcwLK-2P;tZhZlV%*ea(t8TcgaVNtH{-=cFJ zX|;d)-hGThgm^2>mggOcF&iafkz5t!XLA7y|ALPA<4L&m9$ICJ64-_=eqZMK+MH9j zTqs@Tp?;O+J&`xHHpuk8Zg_vqs7_Np@p7-VH;uS}we@H`R%}jF{gStrp<63eD-xe- z&6@-)U9lQVat`_(RXMYo?pN3iCrLMM=9VTL7tb7EL3{9Y*<`*)Q5Y2X;Qe*2GOb|k z<0zVlxsbYB8ve_kAc^8TkzygAZF5Xpfr{|S!?A6_r{d_^ca=_peVZdlyBythPMK>? zDW?mBsvb}MtZr$^AyXF%p%Jn|LEfBJW43p_@#LJbO8QF1TjC5Y&R$k6$M0PT;XO7XI}?MX`&6mc9C3*Lpbjlgqj7 zvUshKHeSWlBXAQJ>zv2@^DGw}eIbw=5%P*iy-<7E4cA3jX{yW+joS*-{)f|IYySKn zdOvh*lG@8((jbGt0Lo+oxmOwh^7E`1ew6XzBRBKY#xrs)UtjS!Dn3t1-OovQ1Xy!) zbN9rNXI$nrC&m%;AL@+tuKzI7(cI{#`S@j8pz$a9Q4jI3RG&NzKPUp{S5N&426Y3q zsGAC6$7x0hDh{MT+(SZVi*yk9TCHVijwmZN6>4i+x>g8f@#S8`=$-_E4lZW{B(RhT zpLjXZ5AaUuW<#0mlS{C1abkx-*9oQT#q6aaznrNU`|n2Bq1aDmSJucOTHNdS(reem zNz9djN7X{_Cr2|n>PsFcyis8PxusuAjJ zh+Woyy_FFlhL2n=$zptu9_s&09DKNL1)*}t=F;g>4{CY4D6sUm0H{jY4Fbv)dHzT$ zE`2u;wHnT8+z(Ju!OfNMdXUejfgbC~Fl`EtwmeSH(6=-CzGD zdFV<|c1iEzdTGK)Gn-~`86(v9c8+NIZGgk?%cDOTuVmm?xAA*#=wCI_1_lseX)NB( zcuR3=6O;kl4SWUHH!v`N7WgZfHOKdx`fjwc4R0PEkIwh$L*7t6KKzluxHF`vf{fh3 z)>W>tP-bsJS5lKv;W~=Me+&<2xz64C$v(j zBV}3s8CvZK(MVv;>!JDD^>vc1j+XZ|jUVE?nkur$pH;Vb!mk-0V?Gbw%iD9m;&a$U zrQ}b%)yHecU_-A825&1ai=XfJjvT{MCn6gxSi5$r^S;*FNY={GWPxetycgFW74M(X z4+E8~G?LyfV%5UZLAh(=7`FvLvPB2|$as4e^dS=?Wdv^|Fv0SXT&SP$*wxzm#hv5x zr}5@f+6uf!wUIQ&$fm-rm&iq^ek%zcEK-#!%^^syyGC_Au)>n&PW+sqYlv^gU8yHw zW0X1kvjOP!D;TzqOnXvgq{xyUQTGd=!n|6-H#s3%>{Bhdo3`nTr@EJj8QzuILp|LU zw5Hjr?}{zh4drgQQ+xqR-@}ZFJG!4t@fD^dteX1YFE0f|DZONKpoXy%%BL?;X`)h4 z$U$|reA7JTk@36RGD^TQF4D}D)v;kt+P^=xvWl*uC*NRxUexr zBDp^js7|q&De=gLq9P~Ns&0R!rK@npgGNkw-_%C$?R`J&zE;|uuB>!nQu)OU3Q0K& z4;hg^|2QA$Pa+M8QvFo^#Q`SewJBy*6MU*VWA0C4G7+8oRuyJ9Sr4O(D);d8b~9rXy}FBqglQ6qd&ixnZXUvg?| zY$VGwP^At^7aYdxQuX;qq|ObOe0RTVgSj6)3JW-!E$Ju(#n$wFaf^X6Nl~X>)3xm?8WBJ!M*u(%{z%>VOSHdVB!S1W?c1xR`N>V?;N&WU93^uWwTmb zrBX;PhmW|Ihz~UQgRZ~btrR}uOoYF|qxt1GybL$8+C6;2=8tzzO_s6z7GL{h7L9ZM zFkK3|zkMjU{vti2NM)qEBAcA7AdJVS8h-Ow_}kC@UTiaIpCZx~UfPdWPaD^@l~ZZE z2buCa7_yxPn+dcwe`ZI{BHgPXnt4qp;rBB+e#|7fAw1ajT@@(bIe&AwRqs9-vU zt;ycuaOLQ~S6r>1zYn+%zs>7X7Z$v7^!}6^O!(1yd__&*i!yWM@^5(lt}8R~BUYsp zqi1s0Pdlvgd}6;vgR8CbZ1flG?Q&oAAL+zmvtOomy|4y#vk)vH*j)MF>KH8)OYEoRyRW;j6e-@pZqH1~`C{)`@tv_VcBX8Qc~ z-9hErjf$T}f4sgic4pA>{rIDb0UqeEzZMD;%&+v0%C@1RQ!d3!>PEWBcuRqwt?RUx zaBqZV}N*#7s)o z@ONI>g~`=0j(X6|D?LA2pA?^8?ftFY$is2Vx)AahBd^FI-c#lbl08!I87>b36=8X6X-n+u>ap$fH6n^wu_Sq zS@Jp=AzomjlSjwN4OES~juuHKtG7=|)rLQoeWP+kl?ui=wXGhS-Ag|fFYB{p=d4rS zE?+FL3eD%F7QnMBR=5_avSP4k$hD05QyZGaT7FgUL^K$L?<+$CQ`LU`n*T*LV+PJm zfAKHr?%Tm=hcnpN(4FX2)X}!p`Tdbt_ac#%pSjAH(NwHKtKIoU>2^-6q~TopK|OzE zsw-ErLnJO=RbnOqLR`AAK)3Q8_TdSbjg+}#5ylgys~!XFn^Oaq=NZT}ouRO?rtd{+ zD~7f`Rgj4p?|TXKD@j5Q3X_%R--Ia#lXLJ?(W*t3mRgvc4(icfCokveTtsat&3Y7e zfbnfIRnS-<_M2Xm)NkmjCktR)0dM98nW>oVjlN1`^@*DO$L|SdfDaK zCLRt;^Hol~^cM~{C(0XU@Kn&~cGOBath0nKJh$jiKl}4q0^rlc1Y$0Zp^x7b8ZoHd z_}y2x7uVKTjMq?Q_PQ-~pVO7Af>m9vxQ`tfuE<|s)!vFO z67t=!*DAk!K0H2iZ^akR=Nx%ZFE_-t^512`n%IG+|C9RcDdqS$Vyo1Q{aX_r2g~zt z?Y#!QayH?DU^Efkub-TD^cmT6%Qy=7tKPDG%2Vq6VlB7XlR0{RNA+haLJH(xUkD}T z3E#Wq4q-NX2zk#)v~~M-V&BnOME{igHF~2Dav-@sAQ$aZ(JKTDpv!+x z#{1rP`4+l{kCj8?ynGKBJ{?E)1s2_ExvTU$q`k=J0Qfs7qD2*T%r|i=j^AOy4?K)kp;JxZ9YBe)P|8R27w2m zC8XI9y4rB8>P@tkaK1nU(TXay*^-K*cEm05h#s%yY9zfbu~=o8sV&-O8f9I<{Z!NU zNe0y+q}E?#<~EHIN8|dks+uMs5#shUF0ZwxUV-CCoYBAwWb4+LjhRxV=%(OG(O4eM zlsU_SVswPyu1MEaGmtKVK*1gpz^RNrk)HIE#DYvoalNrh(MS+Lt%R zYCd;>JH@#sPF*^HztCpp0CP{);cT+h?N*}1%1BojdN9^Pg>GO|_b`nu<;U2cI;W`7 zJNU4l=R2z9e8TBEy&s+$wy|e6&3Odgrz-^SRLr8k>apnC++U3s%5&{StY<}Km6Xf9 zx;>_bSPVf_1{#jtu2YIS+BHaTBwEsxu*&U6mBJ9oi~!4by}-^=_y5 zB{gm#d&kDy>UAG#iAB>swNIt0XQ%`|0dv|-C5V(`WX=N}oI->E;^mC0>^AztV)B>n z`T6*e+&;-5V#zXw<4*Cy*{jD%{ZOvhI5!gAyE(eP^|WiILTk{T}|fn96SbJyiY0XS%T}T4k|_=iFu_lb1`?BiR&U1>mXZZ~=tf`HZ2BMv;$lOVB)Q+VH`bsVH8p_K}UCf9S!>Tl60Mq8tK8Vd7*I*iC>mFId-FdjWjTziF7yKYp^|E_u4SqhsFs{e5vUa#XvKUL2hx^Yn5UYFv`FO^1GpMm!Bg+8KQ_^Fq~i~w$?r#jcHP$?=SE;5FP(GCOZOQ?+?l^6yYSR)CQ zrKt-JZWZu5SS!BDh4oN1+as5R>3fvKFA5<6mQ|-iQ|QI+Am}^7MAzy3kyKY z9JD>_V?@8-YM9~BDMxknO-WgPFRy*}S(5mN_P>94e>^(SK84;W_27uq02OL8EOleA z3Nl@U*)bY^CAU_8nZtn&7S&Ky3{5qVI(W**TYVJIEyKTeI>Cv016f##Nvog>tFFRm zJ_X?_{P{%o+4NnyBdgg43<+N&#~}m<>B@l!21k^Zh{Zj1+~6w*xSsay*h1AeY2gY7 zzu8vWW#R(Jd?uCG9&EX5*5C|2014Abh5xL(@|37wXhFkjGqX+%uEuxfB8(_K+!F@| z*s;+(I;#^}0qUK_>-C-SKOUwP?O}OASaLOO5$x(0OCBAxs3pF1)nZ!4(Or>mL zv!nQUm4k*zY{CG7&MALM(7u)|*Oap+1({+9=zqYMQsril-7z(Z^HExJSJ zy|>aY#+^@m-G7gUZ(XbY79QYu|J-Y(g;l;P{INoTKv^chbMA^~%u2pjStV&v?3WAL=IG#;fE0ZjZ_nUf%d5NNzSmbe=|RFcFTD)3)X{$-YrDhGe7zEBu)0y|DOn zxP@w?sW@#?Hc#hC3QH)FmNXVRHW>W&f12c*9F`X)c4e)hb2zi4S$ zlEf%|(LVQacjoWmDsvoM_jy@&OHtt3Ln#YC(sXn3FJocJJax(!W<>yI_-YK~>1B&;7{;%&3<4 zBckW%VNZ4?UJ*-9Gry~fL@X|hM@!E#$E!3i;uqnBudfMr)YKH1G~kp~rVI!B$8NeZ zhO1_C?lJ`V>rym)9hVv%U0Ba8r5oglG9|+&H}5}sWPgR1mx~%q%11-ScU7n~12`N0 zF0a#bbrJb*w){Sjlj-i{$IvpP+7hFZ!2*DGsbhd~@h8)5N0+}@nF`}N z>vcR@V^xpk4<_AFic;646v-^SWQR&g8U8yS-j2rY5B|l}He&{#na-TvYH*=~trOKR zsYD06ofHu^*%sQqYmX*==1sjgriG%%_zLp{v1nBKCR#K3`A9=VQP@{Cvt4APqnO4@DGrbYICi!(UzuppU;5N1Ec9>D?NHQZQyQYgQ zzsmePErk%3OA|fIa%?Eg3!$Ro9yd=E8a$o2kM$WYw8X)odU~A?)zy648e;}+$?SER zH~fTV6u!F5yS!6}U$aJ~=<<$LQ@RGxrm>SGCQ`%Vp=D68+j{6f$LJ&je0YS3o9Va- zqY?*AO9h6G$2kW~E>-;3XWVXDmvA`x)_^IK50Ajv2Z;Edg5imFyFf*yNjw#R!v>a3c(nhhu_Z)_jk6k_Ja)9dVXptbgr{dEB9a>3tw37 zW|qKc^5`X?6%JO^3{M%@PY#MH6@`LBODk@bQUNR~N0R*u_dchFAsE|Jl~HV1mDzW- z=N*?P*Z6lomJQo46F$O=e(S$QmRCxKJk&>KoGGX8@~wp^ziht${g^o+I_Qk)+(gId za8J1GxnTw*jgB6M&~2x!SePBP{5|A$u+x*KPQ{HR{!<-NCJ3m6_ic*=K5EXgL{$R< zA>i8F_G-aOjE{axT@RsM3zS}iG4ho4D7*YI(5`U~tcU-$L8Tyj2V#;M*|$A0nn+*P ziRgDv@WbNVOfjo4S$Tc7wtO92K~SAX6jl3Eg@#$kWPM$ zZd8c|2DkF}7auU8VCJMet&R}uq=&sNFF-4#dngCG-}GvuYCVPMIK4dftFXHlt0<(L z$9RdlIOW0i&iiFb!eJ?Zv|_UyE|F`0ZPA4Og?|C~aZ1Y)9q;WyQt>64e4-;IviMgb zvpYX(LZjL)8x!f5lK|+vdbsOUI&sNErn{ZRvIMR{Z+?kcnMTnkGJqWQkUl!+R-jWo zK*5t>e@Zh&#*fS>?wk43_>YPqXOD+JssDbFEEv(x2!|Ke60tT#1>0eMHRm@TUt@M3 zFslnc99ed=5>sWNyEzvv(d>R|{2}&{<*@d_i7~EIs=@KnTgkySj#D4 z-(~89J-goL^ervgC49mh410N8aw5lMN-Q)__MapQVc%xlhj-rHEr6#2?-}pg zaFWsqicDAfL=)o2rj!D~nomC`8=zVCKT|DvMl5`8EB8UM@37GLvF}Yo9?>DLxS}2> z1573?2Cm?!m}wrEq(I4%WeM9l3ysR zB^JMj<$|%9by8zDnm+0#?Cu6kF>w|{t#6P2=7DjpOY(A z(~71s(&tVmAyt0}0s}W{ZVrn{bB)a6f7=lxF|)6>R`5GfIndW?DM6f8M(a^30hHlw!|5OufIhHb+OtN##0E5#)o2aETl`yW;b4MDB&_0rr~sPv?W7 zTcrkUA1Ce~zpGuP8*XIqvL}vb?QY!_-+i2Zhm=WpQddo{MgNSV!$stHXZy#OAJ~~{ zhJPVUT97iej}~fh=q9}#zV!ylrqZR7c^1vw2Qo|2_DYvKvq*=|IVEAFxvb=N|0rRT zO%Hk8&fM#2<~1^iT?5I?H6ygTVxHg~#%Y+u5ZNZB$&{pYQL96AVz0dGd^i}F?)v9^ zRCN88j{BxGTOG-Ctfwh0z;Qv_)8}5k8%sEB_mznuAs#8nhAb@|Cy6IVgp4Z!;}SJW zUz&N|(YnrftaD)7Np(X@=yY+%)8eOg?@*Lk^ZodBL9r}w7QSi7-c~8&xr7H?*ACE# ziDt)P%Q~ZRW(Ar67y1D2$hnEsb6@N{+43pFqjqxZ&M;n~@c#00>p5Bb$qKK;oE@b& zVCZc^j?eo&%6{Ql0MD-lyM3<{CC5~pyGi@Om0C%sa%l}XXkBMXM81U|&qoR+fENvy z#G<|mS+r^R{(4es%J9)6Utd111x8p=yGzaIY{D4CW{0X@!Z6>@wX?Q*-n*ixy>eIXw%ft(#n^2o9eWi+XpA1^Xe^IS7ZpSl|9& zy*i;%-lgU;DsYTRH(m&nS@_0`|A5I~)~oX{)X!6<5MjGNoy=XsVKO^xXDAK5A#n4~=2m4 z`&OP=xQte)P4WV+Ie!tpHN@BREC%8^R{AuKRq73g;+w+>9)X3ia$_&yD%+RGs;P6| zkGuP2(6e@^8uf+MNdPki6Wuo0ZZl>~^5&N>WdFj;{p_OCqh$ffws&V3We+UMa{C?g7XZ_gs=M*lIOV3ojGb&D_cb-UD znYJDa9*tDS2dh?G^N|+PqPDi^fq>!@{<4s@p;b7Y!E*qsN6q?PAh&i33}UI64CM$?!uVXA)`V!G5Lhp{ZIfOqFIt zgVWB^*Aa)xh*Z@cFlCu2^odQ~SEcFkh#cd4^>?aU1mH1(wE4!(F6Qw!U`@FB)PnD~ zzHbX(;uqMMS|?uBca_sGu^gWft5DSHu3-dA!RGYTF`(r`NDv8^Rfa;agwPAf;PX=0PeU7z+ z!rgy?S$$pe5!djw>930t;c~K(^@GC46M;;-bDTqC-T^^CvcBA5L#d?Ir9yjRF3JTQ zYLB@ITce=dv3sBf(+@^6yP%lAehPtG+r{cjgfU}695e@Li+Hc)|)PzX>t;K;(eM&i71B;zgWVkjI*0`xy9 zTqhr>zEC(-3gj916$Z}wf7yt!6t)+UJ$^AF;w!LDwEbGdf2!RYpohf(2P7CTtbCrv z(H7kwLjB)MrWRLlll@<+7G^^bIggNxWWdC_yL%vUa_7nsO*llk`=A7)35C>HC_bP@ zYjX37Ui^RDk*M+SmrmuKd+9s01KF2d_yi~pQABC>GWr?|yz0 zuJ;DmOZdN%Z%*A39&uldi9ao4TWcjUYh@vusdF%)nktO8_$rfB&rU_1Z^^G3bN2_2 zeTev2CH-LQ-Hy?G7a>)F-(m{$T@+Gx-WyHy4T|vs`YBX<+9efu`sn54hj}l>tHmAk zoAlAa%u#7izOF_a|z!jO1cXbc%5Mj0ctJyl?2_Ic;8R<35LpcUCev@bscM9 zfr74h1`x2hZk%g@JY$X=Cv`x%gOG}kGT52jEE^!UC-Di(U25EH_o7vyS6@u$&pyX(D=HO?g( zhs8<#z3*QY58G$_;1~TcyFO{}VECF|-Dc5<{Nhc+E=he3gMsjH5<>+6eL;gE zGAiy@HyTzbg+ij16uCk~#$2i6e`iwSIA4sA^llDGz*^J$3V4 z&T|Xotu!tDrC$$UtC-BKo6bp~l}RiV0iRYEs!g1i|Fnze+zSzR@&K2aNWrv=DODIT z19aYQF;1}iK?+Fz_EW?@uLzJw*9_K zN{0G-xHWVWUVh=+aes>>qs_#KF*LC!7T%4QC;TpT^ME76fv<&821^%a;36U)JagH1 zbKw&f^mO&2Cx=FcB&x}ZX7A`M()Lpb0% z1OSmg9czfi*E>Ee9@9pemwZ-EgbMgxjGdZEw!R-86Oulb{EqlZQ}j?Ct)DK_8W9n_ z`9+QZ{xqn7>_xp-a|Pmdf`NO{cl=J~@v{M#uK;utz<4tcb?}kK*2(^6Y^@IMPn}9f zFE0hNJ(q;*5P@M;uEcbs(o}3suLtozD5%?Fh(eQ#8UdGhCTLnp*TSCJ5Iu2D2RR%L z);jRMQ~8|H=MG#4XrsJ{>SZ{gMA71NPpuO5(J3UiQy6%C3bz5mt5KL9-=FWte-EpD z#%Wm3_z}o8HKZ;Fm?veydbK#-#dkw&xEdDM&IeqIh1)&~FZ{5>Qr@+WoN zxhVg5(Uq(>D>}a<--g+Dd*q;FBe?|g+7rL5^>aTHnG!dGrsIP5z}2I>+DQ&uz!yO` zH$$;nVZ6$i39)-w8@1EllP0->S)c+ezGTmIRMh)l&pSyuQV+sVQR8kW9ojVl?cT7s z7KY#>;b1vvS@{l4G1Pgf;T)|TfSMzzYcHMKf-LZC+HDKP*!5bO7a)|fI$CQp0uzPy384~eE-c3a!QE2|9u4Ir z88V}=Q_%l+mcl4&MbYkm&E$@>5A5l+U+A0U_m1a=%gMcNTtD7PE!4j$8!S7(LGMZz zHSlP7-`0LuUMYiD&zbV%-7WZnyuEnk5u`Ju=HPgGH&QejQ$mlGF)%8!y*nXcv94lI zC~;2fA8edv*5rf)?rrnF;J7Bmg~AeiFS*4YmN3Oj=tI={o8jGg^?=_A zJ{5H;8n!D(m}Kag&zmHoYvDM1_57tk!2_n4?t2sWy0R8_`|-1@*6NI@dL6dI%kr{E z#P*$R?cP!fel&rB%$25B16|;Hu^02P#6J_?ayOK2J2-}|k($yW?9^mOGgLFZ!|LZF z^)`M6L!O~k{|zL3heso_O-*~1n?zuB!M-1E$v zHH6JCaTv*6zqTC{7`VrO1zo#=+dWN>Ah5~Dz*8+WE zak9lfC3TBLdnslgNoF6hk2#YuaKwpZK?Pa>|CiCwwUhi17H#bxa@EmUs9eTJ zgrH8!wg&Z|R<&XThEOj2sFez<3477ACM)brt+c)%z)I5uM1N=azX6MFH8m5_22r?; z8%nAd>^uw~ z@z;|5L%9;dKX7zCYCnp8BXVY~O4)8u<$$nBm~$TXWtKgmTM6`?;Zaw+45&abI;!gZ zkPTtLPdmxr#QOOkgYh$!+%d5c_Z6^4&5?|M$6AdE#TOQ8qDY-jg-O{$}0| zvVXENdyW1|f!ksS^H;Q+rN*4-0&+>8_)x%#3Ljh?8I|mc+Vw;0m$ruj=OSmfkIhL0 z90+4~Wj!CftlKHC4i=K#&aHi>s-~-V0PgD4X!wI9r*VcZq|5X zNjMb(P!oyUiDKJ}9iq7km$p3JC9 zF^h4M6@MDZDUK4t9K`HFm7#p}V)>{Ep?hpR3waH=VN>ZLdqiS*mnWE18gibSMj zH25FJuD`3>Hr^P^!pj|XMi>4)ww_8X5xcmZq21RSET#q zPsQ3qFVhT#I8;D92Q#G8bC(S7 zFg)KNJC~!XJ{N7zMlv>3F%1CBxZ^z4Fz>3BtB?T_!(e$+pu83TGKUXCacST$ovH{q zUD(T9Ps%ZmjY=ZL^7B=s@NPD!m zu8vK(A#m#!9z(DE0^c3BrFCIm30hZhzSRN=cZf;JhC2dYjf{@MwY2P(1~Rq=z^H|S z_7%y2K68F{9v&V)Gadqa3*KGDb77H{UQH8_|5KQJ9p>}0jK0YdL)PlOs=uHOs+6|^ zTiY(jn*@c%dZ zzcHZyAKg6%-r2)%uuW}{>uBj)PXEEyV$12?^rTDM`p?uSfFkvV^@l8$e*F>$d7$K9 zZ48u^cJJiL=MGU zfUR~X%u5Vv%(6ZD1h)DBgA@unW+eymX=eA16sbE*e&hw&owj;Gt3tt-S&;gRsv&2G z7cY=|4k^lTWL)%zC?e9xxMPzz*AXz<_R2MimW`}isHR<|*=0631P>N6&^#Z^rm1!T z2P_Umv#s98j%&C&5$Uc1fKLB5=g;@2M@zJp)2$O?JQXf#Ng3z-8f|tpw;jqI1gcQ1H>CLiNJ$QvO*Y-N3{h0(@j*yQrnXENr6kS??$J zMZrvU!Bl%mH5V6A78aHV;9`HVG!ra6KR-V-E-tRNpp^A%fB(&^F-hQPleY<$X9Umw0E#Id9 zohA0E)NPwSMm~-7ZV)ZN=){;BOzK}VYPSpb2ved=ph>MsuQPbAQ8~5RV3lf#4tdK^_-*Wu^ z6s4(X0B762bk8(MhUN?2APnxBtuPP+1Y`Ki9cT;X`5+Wd8$_ecyG~RXB!ZXaqtk&I z`gkZ;F+VXdTTcVDEc|1AeY0VfxP(My^KP_Q9fd90ZKz;jdIm7%kqpNHC z78wu}ML=3HGBOetqB-xl;k!jR7Fjg(s0$t^+8z)V26A9&z-zp7x<4O%1KfauBe@7C zp<$DbOEdG20cwLM2p5dHp*|kE>HMY{Y?cJz=+;-8njqHh&!0a7*>d&0i#$Xi^IL!? z;FxHvVv+8>jfd6Z;461D-t5<#X7AM>TlffiF!tR{8CSFN<}4C#G|dIm7mDwn6UTdZ WxP5h2!hr;RMDT~252{rx!v71$)>{Ao diff --git a/doc/manual/manual/extensions/capd/index.rst b/doc/manual/manual/extensions/capd/index.rst index a40271ca7..c030baa19 100644 --- a/doc/manual/manual/extensions/capd/index.rst +++ b/doc/manual/manual/extensions/capd/index.rst @@ -3,8 +3,6 @@ CAPD (rigorous numerics in dynamical systems) ============================================= - Main author: `Maël Godard `_ - .. toctree:: capd.rst diff --git a/doc/manual/manual/extensions/capd/peibos_capd.rst b/doc/manual/manual/extensions/capd/peibos_capd.rst index 4d5c92216..0dd738611 100644 --- a/doc/manual/manual/extensions/capd/peibos_capd.rst +++ b/doc/manual/manual/extensions/capd/peibos_capd.rst @@ -3,6 +3,8 @@ PEIBOS-CAPD =========== + Main author: `Maël Godard `_ + When compiling CODAC with the codac-capd extension (see :ref:`here `), the CAPD version of the PEIBOS library is also compiled. Let us consider an initial set :math:`\mathbb{X}_0 \subset \mathbb{R}^n` with its boundary :math:`\partial \mathbb{X}_0`. diff --git a/doc/manual/manual/functions/peibos/peibos.rst b/doc/manual/manual/functions/peibos/peibos.rst index 6a36de1ec..160a14b20 100644 --- a/doc/manual/manual/functions/peibos/peibos.rst +++ b/doc/manual/manual/functions/peibos/peibos.rst @@ -3,6 +3,8 @@ PEIBOS ====== + Main author: `Maël Godard `_ + The PEIBOS tool provides a way to compute the Parallelepipedic Enclosure of the Image of the BOundary of a Set. Let us consider an initial set :math:`\mathbb{X}_0 \subset \mathbb{R}^n` with its boundary :math:`\partial \mathbb{X}_0`. diff --git a/doc/manual/manual/visualization/functions.rst b/doc/manual/manual/visualization/functions.rst index afa66ccc2..b3efcc917 100644 --- a/doc/manual/manual/visualization/functions.rst +++ b/doc/manual/manual/visualization/functions.rst @@ -56,9 +56,9 @@ for more information. .. code-tab:: matlab - DefaultFigure().draw_box(IntervalVector({{2.2,2.5},{2.2,2.5}}),Color().red()); % Red edge - DefaultFigure().draw_box(IntervalVector({{2.2,2.5},{2.2,2.5}}),StyleProperties({Color().red()})); % Red edge - DefaultFigure().draw_box(IntervalVector({{2.2,2.5},{2.2,2.5}}),StyleProperties({Color().red(),Color().blue()})); % Red edge and blue fill + fig.draw_box(IntervalVector({{2.2,2.5},{2.2,2.5}}),Color().red()); % Red edge + fig.draw_box(IntervalVector({{2.2,2.5},{2.2,2.5}}),StyleProperties({Color().red()})); % Red edge + fig.draw_box(IntervalVector({{2.2,2.5},{2.2,2.5}}),StyleProperties({Color().red(),Color().blue()})); % Red edge and blue fill A line style and a layer can be added to the StyleProperties object, see :ref:`the dedicated page ` for more information.