From 0f076af14e9fa93f223609c4b1d8850153148b9a Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Mon, 30 Dec 2024 23:02:19 +0100 Subject: [PATCH] work on summary --- tex/.vscode/ltex.dictionary.en-US.txt | 1 + tex/ressources/bfs.png | Bin 0 -> 27651 bytes tex/ressources/dfs.png | Bin 0 -> 27330 bytes tex/ressources/ucs.png | Bin 0 -> 21294 bytes tex/sections/01_prolog.tex | 6 +++- tex/sections/02_agents.tex | 7 ++++- tex/sections/03_problemsolving.tex | 43 +++++++++++++++++++++++++- 7 files changed, 54 insertions(+), 3 deletions(-) create mode 100644 tex/ressources/bfs.png create mode 100644 tex/ressources/dfs.png create mode 100644 tex/ressources/ucs.png diff --git a/tex/.vscode/ltex.dictionary.en-US.txt b/tex/.vscode/ltex.dictionary.en-US.txt index 9a4f410..7ad693d 100644 --- a/tex/.vscode/ltex.dictionary.en-US.txt +++ b/tex/.vscode/ltex.dictionary.en-US.txt @@ -1 +1,2 @@ Vatthauer +Minimax diff --git a/tex/ressources/bfs.png b/tex/ressources/bfs.png new file mode 100644 index 0000000000000000000000000000000000000000..9e76cf02eff13c2bbe02ceb87e9f775ad84c1ac7 GIT binary patch literal 27651 zcmdSB_am178$NtViH6Y-DkCH#WXnvUA~FgU%4#4x*_6^y+V;pM8JWq-C^AF#9@!&% zdyf14`F@}0Z+Pw>n(phquGi~zp678K=W*UoFRCf;-odnkAc)=P&YsaE2y$V9APb`0 zf`7?Sd^SlCti-u9r?l^fjCbC=wy(Ks`*ga<>n^$%o)r7{U%a^Q-4Xr7BSxn#_$s|+ z5dHBc{;5*bIbY7BCo1yqSfoXIJ}IuJqdlW2pT<^Cw=MddRpqSFq_CsFkxBlY={pOj zp07$urQ7{2{5m<^&OMZR^5jWMd@k{Xpo-l|`h(}Dybw8lr`>91$Dy$@H!t(@Hr0(07^z_NJm6e^HosyFB`Sa)K=xFOo za)R~(uF7h{&CMMwW|?c#|2XyJp%X@>FAq!63mEun-6HCy*aFEs>rBkd+*c>E+1S{u zlIxqA!h~?izB&Y4(#8*zA~0lxHh8_H>l#z zFJsepM%|g>|2$a^p4qhWL#V78|v-VxOPodV0oe4%5kEttp9ICMTOM8@msfV zfAlZ^_3N>ZPoZ52-mRBzCMqIwQNYy1WMg@VMVg)<)+unFr;kfXwKq0q6cmIxbF;D8 z%nkp>ll=Q)sioB*-t9VzXRePcIQDQmP3-LDMIj-fkkHV|%E}SWIQ4LYy!$6=2eEMc zShybbOPAgU2I{%H%g$?FzASd^Soxnn@BJ;cG&QlwA#dN#{^gOBlsq|_uXXB_*TaY8 zoqib^_Sdd;%#AcSbsQq(O>VR(5j}p{+2V&Q8yg$nym@o~sp*9a7Y>Tw4Uu(o_D}Pr zEpARZBO{Z4HT&*w8pe#QtePOv=gB(=dDq?$JjspUk&0OCsJ8n0dTjcK4AfeRN))^ypxYP5<4_+?a@nA{{P*II?Z1ityCI2JbvvNy)~g z9yY-FfleVZD(ah`sW)xc&yO()iHTUw295FGQOb5hH52x$OoZqCQ^+J?ICkToQVJps z@3y3VudVg_?tCmt*^io%GGeH~_sNqb9Mr($R73<9GKnV_g5ZvoRa~2znwrbvq-hp& z(DUb&8|$kh{_R=f+6IrE-D7HQTm~ z+uGlflE#a?$Q5{Y5D_VepQ3M{uVg;E>oHp`o|u>@GjhSeV59nxjIXl~_2I~NeA01V z-m!C51fhz1_H?A&wM$i9J+AGv5B2&?rNFky^J;37)4e4sANZW?F42VV6&Du1nsJNn zPjX61cbc)Xx-&U(eFu(=eO!LNTgl_ybCqtZ3+Gf+b~gQ4`q$r3Uw=9ITB|AL*fOQ8 z+~!((QWD=ES=)i~hB$SX7B)h@`!qgv@{E!a{l0w{alEv=!hc@-c5kBdo8wPkM)th= zlLy5tTG}$r6YjaVtiEPfcD6Dki2SVxlH9#?bf>bLKVRk2<>J*zUYp47rr6EYSnaZv zp?3U&q3geGoqtW;?UAt`B4c-coZbDrEJ(&B>w0K;MMeIsj6$HF$#C7rxpx<6SY-M5 z`6r#i3BrvESMEy8$&ujYeSW9CrR5km_lc`C0%p}girK9eVh`UF1SKg%yLd!I-rcq1 zV%GSf&&7Xhi)RaI{j&Si#Jak=c3m!(GB)m~V^_L3@#G1ma~CRHnkVkU%3-QYCh>-e zNpwm|?XBak5$eHznwy6P2Txo@tuc%a;73K#adMLUBPc4mKj&?3?nxRNnn_Ommm*Ca z9n!`>c1?16Y_4Z}d3g~o1Ibx=dDl|a2!erBlk|~?KY#iZ)fN;Kv}LiOsfnJ2WwR#R zMj}MbDr&JtVDiq0H5I{1Z!Nl)$X)0w+nM|MG43NJ4w6v!bQ^>aqC&| z-xd37L}b1OwJwt0QhI>&{}c0L&GuLI^a8)1UqY0~XMg(ii7{y_;b}-J5u&IXx%wI! zq^l-={v6YeBe(1F7NST%I+%*k$34Zi$Hc^JS!CzsUF~%2rb_L7#ddmYdw-?BfJ+w@ zL9infBFq(3&5*5V6;4UxbP)d@eG0^-5%l!W6*FDlRIM;O3ia3cBUjRpj=>M3w2X|5 zcrnK&IyZ@%6hz-n()K))?S1#*!w(Bi*NXD;h;~w`F~G%pKBF+jE7{om>;LH&c>J*= z%8K@BWo6|&B_ncz6kpkWVNXM<&4hKSrjSY(NB{69%9uCtnLQ^XdPqx<_a2WN9nJBF znug|P76Y?Qb44g08Bx0BzyCum2@O5`NA2v{TX*l8WicDn4K0|MnBboSj#K=fRXV(q zp=D=hr>(s&y(~}b^y!ip2gT#F($mv@eRrkL6T~#>0do5X2Nkn7*JjlzczeqXJ=Xtp zb*W|AaAPCrK1D@69AP5lqrc|lAapb*T3U2hR$}9ki|U)3ad3!n_hvE?Gb%NgkqpSY~hh^W|Y}K6Y=5_N?7$*nPShQm#0DEoZv;(N68vmNeta z566wO!o>IQ+n2YwvDz3@b))35jLU-R<;x#NA_-#YG0xo72Y-L@JB`P97ExOU|Ni|| zSt+dFxHk!?7ti!+0jfuFY%@`5=*RK%2+QR$QSygHf_U%q^ykz0G!>U>fX z)$DMkk{|Q>Z)Fz58sS-FU9*e0uX*K4B9csFfQ6YHMr5Q$-n0wxqEO3cfX1)}>3PW@aD4!`1UM($b#3e2ITGOJpWI!$@avgHP|v zKvkfy_SH+5=COtiu@}Zxg?|0|)zR6Bq?O>0<;-`Qjs5b)wp(Wl!FmSgttcFKdG%_0 zu(*|`KumPBTA1|LTfZX+6e^oj2W$yhgSNtmzRQ6Lb3X zX@IZ>tSFH%Upw75AR+F!tf|=i~V% zQ(gI!laq+U{QNQfZ}+OhWWJHAxTNdS^t*TO&b>W4zu*phMym3Z3g^yoA3ciHCOY>f zH8s_y|3|2_(-;3(t6W^|(WA13iS`i}!K&)&hK2^*Ch!MA_!hY#lyVjp7My1P{*KDi z#O*JPxAsp?@+aj>yRY4!{acNg>ex9yKmYdaTYyCG%mc{5o_2U!L{*h4AcPvK_Ds)r za-=q1Ufz}O=ez(k`3ws>T3T|na3%+ahJphELgYLOe7*sXbCVV`8})lX@8y7?ATu+w zJqk&mKa*<9=PPA0A9OV}-+cZ0_2b9h#7m#HY}taNe}6nLE$zg~lPkei1;`GK4GmK6 zYZ9V{TxAs%BX}%ShezJtrJr3~20c@AGcr=|USLdTAz^LQ6yMZ1qJ5~RM?N2aoS&Votf`4Ls0kLI`pM$qiuic6=7s&B$9_ylXJ*c) z6mGQTyDZ|)DB1AH;jS|kK*WuI{z&Bui;6mQ<~p1^cdoc?zWg;ipk1bQuLAw^KMBzu zo2%X39-A_b=YS8J8yojEkx)1TDJLPj`4kpz0=K;l4puq-Z+?D#BrZHx?$rDD@5{{6 zONxv4?Aa3(9K77gjRGlQ6B!&Fj1-4Q@-Dq=UPUF_vR$eBU2HQw4pR`|^?!`%v z8DGZD09-|~47~IAH%v1si@gy1nEG&Ae2*Dlai96Kj`Y|eKss~ z$FUB*JG)13WMl*g@OfdOhq*Z~+nFm@oO_EO0d5`^Hrv$@Lq_D0lP;o+ngWRbl0~ko zrR6Lou=~vXd}qe(w+RW{4KY-a(a{5SA5Z(xup}oY9`R1q<#TjgtPU1e50?!csV9i8 z9Z33Tjg0z$acV*&Pv>iEYOai@*ES{Vx6|-%!D&2%n%MLGAt*rO8^rNv+`+%TvMPEC zqK=b8*wbt5&nF!&wGfGWw!!^j_va*2Dhu4;8>FDU@6p+2J2}?^$g1WjaXVul^?1$@? zXNQ7=g5o)~;?&lc`u*0|)>iZwwh<>DnNSFNavVLn0n!0@GPlRnbPy5aHdDbxKH8{Z zX*m%neDfupbBYGQBf$S>4RiN@+c^EwVB!3%8H7i$k!4QO8^^l zw#v#sX=Im*nwxb{dA`pCI4n+f0!N2QIVNXieYg@C6C>)eu~zo{fO??Nqt-U!`gH{% z^5JkWQLu#?P{EP&u#PP59yf-rRCu#Wa!)US#fb1HzP@vdi-op>=M@#V<=2&$-+7W3SY5Dm?geDe&&wmFc3{Taw{KJ6RyIhN zT9fwJkjB!2@pqIM&??N$&BY6wtt6T^;TI{QwyI=;;>#v?eb#H8mlDf}b-=+Hz*hOiWA+s7mz`<m zj*e^k`X~NAY5{J02JD9qq@fYu<&E-35|fgW(&E0LrSf+)paSCLf4-j3- z5{F1RIzi+f6PO&dsIe`i_K)bCGF*ZFC3K}J9g}%ry_iTx@il5rBEbzUg0!Yr{HkeSzBA*yLZpd z?%+xLV_N$k3?r)io<9Ak$+Q?_$<3X>trdHbySl!9kG~Wd1tm^XF95fis%rEWJ!j{W zi{dKh&;LUG1ORMpW%T=dN_@x8od8wrM~)a78=IS(j|}4Dv7MmXxF01YrCpaPiTvG& z5bHzKLqPr~PMrAt`!|Yhhx+9`3Q8}S6k|?o-@YB`H}=_9o5rrLu#gbd&i4Q$=jFuZ zDSy}32mRZ$);S`-3A$O7jfI845)cp|Zgp7e@@1%Bj)0mD4v1vaM1^7XL@>3;$Rl{M zvp;|KEJueehHOp_l}_4edBzmDL-oIxjm?Qg9^{9Lw_M*qN~NT(>gt|7e_rSk$DE6L znDkSiFD$R0AC$ErgP6~s5oYE$Z;B)6@vyNxTRoYP4DWx!S@Qzu_t5%)4`wt#GxOeZ{H*c_j#rcH3^PsxVV3Z+X!L&Iw0#=#Rt-T<-t%LQw;J;}jm;(oD$W6ddXF)sN2B`zXjo#Hl?zX(u(7jDOzUG7Q3=;$bz z!zhcBnc30B-v$U)JV~RREuK_SQITS7D{=R%nV@Gzb~Zjr!y_K>LPJOAXa2qNS8Vq- zYm16J6ONEMpH@^XLrqHXSo33+=`-Nu=DuxarnFv}ot5>2Qh=yZ5PInTvZS};o1@># z!*>Azx>{N#r1g8tWK&dAL;aAth|oZ7Ufc|mb^DbM0q0joN67ixU=x7K#))S=$w2*9 zKH@-br(wS6aUZ}8wdHGbVnV|2hdUV#9u&UB;du;_#7C_wckl8q@-Q+oB5UASZr|>c zpcQB2eC$8wzOH=Z21EuE93dncg!Cehsi`TRbyT&;n`*BvAHA01mM2MAOfW~D7>A&# z_d(3h&fh+I^ym@=*&H*6Fs&8PVWagLqM#%F)Lw;s`}aeEj28j;e#{n1-1i5N3s-U3 zSd(1j0a0;rap8%{2Teq3tTSW_^jf-YVWE2VY{V8lB_)c*!W%0q&!eLH8xyon9Fmi- zm2q2n7xppCn zB-D_jBIG^j5IlLdx;Uk!yii(tX7UpUN{Cjhsts<`*0%VwF>!=nN-B8e$j`E}KTS>b zm3n+lrBC;wDB*Sd`0;;=6!#Bu2w&I4U$LjUx(vb9{M_8V2Bz1q_snggdScy(tq@l} zKrfETKr~nzPC`Mpv9+~DEt0g0efg65AvT;9S1AH?0#e2cNBnnN+j#*U4UIHpC)|yL zLz%^UVqNLdrAsCz9KqF4I0TL#A2bmCU)>!&!$gt3jrFWq-A$&02aS!4;v0;YmzO&} z#hV|xd-pC*aY?)}v961S#ij>Wo29pkTXkWT;&c+?<8yLyfYx)renqtt(&Zr1UsXjo zz6T;NaFqleJ$m%<>f{N;BHsPK8h@>ZVDO9|qKMynyF*+UNlz_UtQuvhp^#s1$G zmXs=85dgb9&3{c3M-j9{1c%dadR!b{S_W5NtTM8-V$sx?8ty_4e@*7Za*-0XFbmN?H@$s(q`zO-s!RIX8G@jI5{f*wy1J@-<_yU7#hq9%l#&C$ zx&8f7Nl8@}kBBv-*kn-CP>??eRUQ4i0CHAv3YV96A3pi+dmBNVbOO#oXaG{9)Q{MR zBWR>$Wc>N{Q3Rf~8=Shv8u)$l7%#6BIz335%reer1VjV{b#ttH`^ui9UsZkGk|3tE z_4J%T9RSR6JnQ^+Lg6}oCF54vv;7RY^k-P!Fw!cVwX>TYtn^1AW;}fOLao1$N%<@A zqt)f*3nVTw1C?wZ`j^MXa$Lhy6(mOi{oJ{SG_pnMTUfums-no9nVBIG&+g3)M-YR| zGpGoio$LL6azBNaht6zLiBu<_ZI`{-V z3>s!>26}oWfqyeID}B!eP_`M9&^4ezMj7ue+?*=hjP+?}5Wm}j*zgxHtg*O3?Bhr$ ziw0l>K_qp(5ayX@01?5f4Bh76dwG$iXOau28C zPtiu0u?6m?Jbd^t$oeL@;_S>!JSP(q(leT@|@?NZ5UGfL?KR+lhrm;P(Cv=Gp~OG>FUUHvI88P zw{48qz^E31S=fcxd)P|~gB<+-}Kg@%Tr zp?1HOgPq+NdJVcxjg@ExkW@!Bqfpbge4r-kJn&!UXqW(DHdbmxDXmYJ&=eFDfzHCVlG&7nY9&2fdbcZ1UWdOgAWf5 z4j$J{^(-^e2)<=*&T`T|9*bBj%T0I&?4Y3$7Zr`6`3gm*zQuvJ z*Vh-jb+om|H>%NXlCd42WDjRLv-OQ$iif`L!T;+8_+~fsGBi}*zgr%$hM?!*;*xV& zNQ#a9TTQ~ccDA;6yYifRioAfL99k=YF#7xY;upiEoir5{A6?<+<^2X-69-auJp%nVs|@QfQ*0t*0^{v_5Qy;e!mJxOdVfLRX_{TAK>NT$sPY15y2`d zI**DBUDaxAV4&iy+p5he?H<{51N23sj$h3Jw6+!iHc0*QB?uZvN{T??>;wPz@3(Z^rDCnvu&yh0Ggpp6?@<-mgukZQxGB4cCC&|$QaO(dz)K+|E1G<{nt zl5{M(3-TLu(AFg_SaGMyy?f9!XGhxCxLMrhu*YR{yGT~UgeDZ{L(f|;@ zImHkpwlbd`mAr#r+L|?xN)NreNX6$lg&Ne<)Q*!Ky*9I8;ONAlZs5mfb1K$X7o|EM zoJ6BV`Z1bRXFS&D4=mR9AZ2c+pqRAsI$ZAD;aNQ7jKm^g*989qRrTZD z2ZsgF6&DfU$_20Yqv?$Q^r_Hwc_#EQ9?+)tYXR?pRoYt`c2d3I1; zDIh@^P>+LVpv68lK8+9PpqYV|gH%A(U*h#dL1^zw?3}GfH>$c*>nK$3zk}^6z>R$| zwIrze8RB<$x;h0RDBt5IXA~5UNK5D445uNk z7didwgTO`M#s`JG-}F;?`B`_Gafshk0y1*0ORrW7{2@Xwj?a1xD+rAxfH(tHt+an} zp1;E^-jQ*8Z=vCJY#FoE5Odb)Q>WN?c~y%1wiANWA|fJ4Hg(DxP>h(Z+Vufa3b)@= zID7guxj?8P^fdPXBuxBs%+2sUXZHPt)q_#ktn}wkElY@>cq{*Q&k5-A4(Jr8800(K zy$4YU3F$z?vODWW9GOFx8DQJo965*)i9DF{qUJ;ShDNE9i6BLjBFDq4@WR!r!5=FM3MYu zP0g8ht3nM+PRgCqX<{^j&SCCt6HfyDI-w{!NaYJlL!O7ZFYoZhy5rBvv4 zC9cC3Q8*!e=!pP_@OKDlGcZ+DzNZYO?5r@h(D*h(rD$kM7Sul4))-Vz$Q@tNKIKVI~^ z31AT*tVguLnB*$cPh*4@998_+uTGH9k!8GTA->?|N5;lx3!HEy(2aw}3Tbo(kquNN z3y2E{2;wj?Jgoc0qyiYZs{^N9Jvo_OFX4vGz=O!Y(U!@eRoY#%nLd*#x-^TfU zz+%dbPkfsy=pRf;z20wVP2&aKsJTS*RCG^Bpyy*676UklD52BWR#*S2uOD>^2fP5w zOGrr2PZm9K0$ufRx!v;=a^tsct^=;M-YO^x?W7+O*Ww z$!9*Yy*~6CxfxVzTT2~q^TyYg+|BR_aW1YQ@WCw>@gG0lxPALvCQ#=$kDCAV=5ACC z6qon~Uq;~^E}^~h=g&XGo7~*iaaGIqEc9#UOb(C^;yLih#L%FiEBgAKCDiC%F|K4_ zf!|#B7eexbUnVLhhLfGW#3(I3xC%K2;S_fvI5skJCTq7udJp7teKbR^UZum%2`0722;(HfeKJ6ZNY8Kf;d-u*}Wg>}%gK7m=B2g_>aD`K*N=<5h zm4o+&a+AmwF zcp;X<6O7TSU^zBeT>AcWMCBkL@_q|H1TxglM#+Wj(0Fo!At1-N8uIwovC@Wy^h(1T z_$Ps<#>`HC ztX5~I7k&O9D!zX|)gx2?2itbhF5fffv`~NW#W#UPWGcrh#?c(x;<$yV+pODu4>FaP zz++kk=pV3WICgcX#Ki1pV1TH|J9nPmG z`V`QH5UP&n#gkiR3AUmEnoXLgljKe2SCCZ{#W3O3Z$MKB2%7MNu1akuGa z`)R>R5Jwath2F6jR$-n3K!ZI8AaEf|9CoaUj<2(TCtKti75n)EHfFaP?XESOLDgKv zzee9QybjntRj{h&xf>2c{%N(5W0EH2v|dtV#IQ$3W@dtto0}VY4ZgmrG*Vz{kWTVF zHa7qnzz@*FLO%uIS=pE2V@isZu`zlV4Goc0Y@04GBe=*Vz2K`OEw%HTD&#S|ytV04 z(77RUOWm|d#xUC|T{1ucyeMNnWq+g@M_+j^KApA6TJ){eocgEH(L4WgZ+t>u`c54S zyu#(1%=;hNo=UH+tJt-D!JWLq*UD&RTQU@XE1NP&xQOo>IbY|>VW?+8bi7#I83Loy zbxzk_{{4p6|M#CM2?@wp)d6~ zy0uVBv=9EDPkVdxLS(qdjr7(k`Vy%XU36GYfOjoUkhVZc=|@@FqdSnfpH?1v*TIHJ zeEa>p{F7HzTYF(S5=9$OSV$<~_~Qd8e{jY{w;}7xFj_GY5r&a8)Rk!>6=>9(o|Nh;` zVxT>OAD57jz~*aAKpcPpPGI;5KC-j3GZ0oO`K`Ba-BN{$atC5!{i4-VzR5z_rHamQ z&O8FxN9l!}W11B(i7a(U)-~V` zFE_W|)vLl+X(;L51bP-g!^q9Q^M{9m*D20ntm(Jh2GCr|e+y;4JTr*4qP7cKWhCh@ zE9~yt+HCEd@ebT=OiGD@9P3x(pVYDDv?{r|xga$aH8n@Q_Z>LkhmHq&E2;-bx|=t! zkmdxqDTje$|EPX{!6^I}h$y-ZnG1af6PUgZOWJzB zG(|)26dyS;9F~{2270QViS7;LpmGZtE1g(T(L~it>dj*~W%P5yObX-}~d)%_>fo%lqXxsmXYTzDPQf6^0wK$gn zzK#YT479$^UH=kc~}mm9P5;zt3;^>d=H-& zA;7`O`PHgIKg~!Hn*780I#6#g{b60;p2xaP0=*%6>fqg1^z?oU_q=2h9c}u2mE=|Y zplxVqb^CT;VBooYAS{?)FKcU?q;e3%zc2P9^~nDkmLP2d115X-?xh$T86Jk!?W^mu z&^*)zG$H08Y1~ZZ80N%sXu%#0QVdNr!ock2&2QhnK`9o#qz*2O(>kIn1~bL*@U2oI zf+zqftwPV^4y*@g^WhK)>()YC9nn3?&JLTamu?f9DpX#NA1eWJfG5q*;D6D&L-*Xx zumZ{!R6ddfnU9hN%>ZqL$<^}&Q5uBEN6!RaD3T884+RZ%_*}P6aj$j3Qr~kJjWh+& zZirFwA0F8eu?e(K4J$Pu4qQB10%%I1TC6Tfg@lL8-LB_2`2iRNTmuItR=}JfhQ$X4 z2hqg@MODh@vVaxo2aujI|iyBzdR*8jW^?5dNsD;sZl<*VEP(f%Gc7 zO8xWaPe9{($H#jV)WT&gO-=uZyKEVh{<&S6x0Wl@aH z1l~l1tkImUAl1o{FT(} zr>v$95E0!6rS4fMDLsZaCw~C67r|$P!<{lIE-TwrRpnc-fK=pwD8?i}nvUZRxbjuY z;opLxU}Q?rr=&H<23X4!)Y@vCUq+_0qT)6<*<4is93jxkNlN95PBLPbJkA{wdBta`6mia-MG;Ua0!HrLl@5plmU@2QaFieE}43G8?cTQwXiUv53K*jL?7gr zbhGNwjGf}**==oCZcG5tg`1b8yT3Tx)I+(^BN1brn@Mzn`MPa~& z@;3||Fvmfe%{lP$kmQ?_saLOD*mrYH0 zQB))epoK)z(U2$gli$C6+tA$1f^iZU_2M5R3Q)w{-Q9s-@xmVf6y8%(~mT0^8NS z+&{Z0pr{utKt=?4!V66@HAkMjw*VnH1&BX92O74{2?_+!1LOa>`}gl7!~w725jSi< z4+4!6`QO$Q%rYIDb2)3~s|ON_9Y%K)a}R*(mtl*6p4rk;zRrvm5}y3<;ZRJw#Ksy9xQ zgeFQMZn)&OaKv?Lf&#{)FiE?|v@@+Y!~gBUhzCp|7&u@>;r5nxT}pKv!$g=YRBmK! zA6g@Ts8t3fxFJ#K_w5Tg>5zEfIeFRxJF{K7Sr)AjU!Z|pyLd4I=&k=UdJq5x;Hg+o zoO#<67))?m$TqSFGKI6)6EME}-PW)T0Y3b0XaE73ifNP2>j}{_R8dotwdvc+Ht<$m zwpRv>7z>VB2W3jke&99vc?Ew%WpomGjqGMzA}%f^?rpRj@g4)G@ujE8q+jg@IMG+Q;)WQ{K~B-;S=r~RyW0)$%vz*(;~Jw&Ve`Xd7?@*QX4)rOay;u&ff{A3?!XTEP|!GM)U zsu~U*hN2Mqh*G0lw{D>&-N=Ls)8Mla#L#PCSHS1Ke?>ds>Vwuxa`Ij1=8#apGT^4K z8{2x~!KXmC0mxZM%UCMd3Q%{Rf-x8AV?Cf>4Gs*%CnU(YuLZcY0GAJ|;E~kT)X+%( z1&KvOWc-{?qbTMMfDMmdYdBPHEt>Afr<>XXLgoDma>hIdp3B746s=Bm{f4>uc_=vw ziFD8aQxRBz2@2&c1%X{qEO;HG5_Af1a)?=Vb<9%ZIIgX)>+xMiQw9cjcLy5XoZ6)3 zwAOJLq(ST~EaF!eAJu<;@!|ro82b7kxyUd`D39uoBh6{uy_@{-;c4(Ctk|_{m`w<| zmm zljPQw1$Wp}(azAAnket=49#5@VPm^7`0IUsHaqlmG=9BY4{OkTQ7};u!jZkmg7YbM!*c8x=^}UM^qSOGWhVq@w!B z&&R~b2zwJ+QVZYJP>Dg`F+@kn_P>cc8f=e}p$Zh(pXlD0OQ#|f)ND@6br zXd)|8>LCe1*6kFR+J+V^RV!)gL^%OH+Mo{~Vqx;W`3;I=kdWyw~x0~W|OfUMkterEUtQvftFRWKBw0%SmF zGRSR^)KysyAUFj9;6|rkhlE(%xzqM@8@5>(CxM=x9&f+`fa1DsMrEg^{r>ff=lJm# zJ#Wg3Jh=$(Sfq`vu7a$r%SuW|`S_Bij2YR^sH+R`@SHa=DEN;nb7LxG>OV{h$c0lJ zA2;rINV2#*lLTd9C>S0Yp;P$4uMg)+`=Y44A*uHP0Sk&QoUI7(k$O%LrdXa6Vq!?I zAKtx7ijPlCPse&2CE_ThHPzP(nKvZ?9_&>pz&r-fwD6^;{}+%eVJV>5fz)ZemuHa| z+WP>5vvNFKft9Z*)UdOQ0Okxu%Aw$9IJnS zxQDasj0s}!v(LX?51Ly3_ckv&27NG;ccJ{)B zYLue*R$wUEt>Z3Jo!=64ok~cMCyFeu(-enmn+zlx$TLuGXca$6+&4@{g);5S7o5pAaEIl_ zCoiwALJo}2&)3(|5|)*9M;NN=Y*lz@XZGOMojd5fe>4t!;#Zkx)m?yS*`qMoT{s0o z0au^BA`}Laju>myik>rUrDw!Y3jWrHd!RiCZ}J@zPb?gk?Bgk+{;Q}+-@dKl8kB6v zHoq~>bjE`}9r7JkIf&L4sPVu7m=Lb~x5OlBBZYAlHj~lD1TcI^SgJa6)adEN)$F|3 z%O@_5jgyyv_$1e8hw&&zQXyJgoSJC;_2?Fo7bFi(Z-73m!jlb~?L>r?>++y~;l>It zTWM8Q5{((}fk-q{ldpY!Lo0;2AfzWy46N(iyO!u3bSKb~;Q3G;C_IGBVYCmW3zb|i z%L1JvPR_DFe=?z3kd`$d+q9CN=L0Nqr9XZ=)4<$Ll5Scbpcw~4(H9oFxa;5fMkPnl zrlnN?^+v@COg>ACdn0-KN%ieJ=F4i!!#svKkk;?&cAVNJL}`k0IM7<1^B zrUIJ(?|T8BN^uB>ffe%U=e|2{JZCMWdVrIXis~s67WOuncF*C%P{BHznts@85JXiA z{+%RSP@WJJM5_tgW}JJ3%z=q?*{7no6lQCN+Aa_Cz-*|DFb1NLWihyEKCxkWti1y!F-15hTI1d=vCF>I5fwS zgy9Yn49lAgB;WC-RjRHeW1-Mvurb~O$IAN^r^*Ka&+~IWn+Tk*5aVD$qxP8vWQGwe zy}MLs2Xn~*M~Msdq2R8snPudT9*vbN6H<7B(c9qatkhIi?+{tH6$~aD{Vq0J`t~ z@MT2jlhd2@w9wxr8}`Ej^Z}m+!v>BtEVDR>RC|vK>T9I*SWAF>HENk-UD0+h$vx6T z{zk7EJ}sDL(BS%it5LPRVt#yXt~0s@fEj%BmEGOl7|S3X7Vnh2ybhe>oSXpKHvs{+ zOijy3Kb)W6SyI9-EgeETGv92e#s1J!S6*mL0p%CnTQ|4-XU|A}TeJ!TlH;5A)6=U3 z3dLk(paHL@e7f=H~1ls2nlc zR*{qrzy#kIlp)O0!`(reI~jSlQjXLH&IIudstkx5CguW?DG7NAWO#T!;+J36hDv2) zU@Mk)lpQ|;F)4=s>DKMrU7Vbdpz{uf5lbxi_y5T{sD|hPGD~1o&d9`M-<~}XBraXO z3jBz1w_;NIDefH_QZD;~Po)k4^oL#9@5KvP4W}SV&CkbduzNl^Ewq{fK?J3-xL82} zBV)=KwyLmKbgS;_BF&hfi-6%cRMyk?1C_%$ZxSFo`{GNbz2fxcH)!Tw&!zYaAE{Qi z0i2A`tG(7HVsdhG;Ti#$g@fCYDt9oeX+N&{Hg|tB*exlsi^P@3u^&Kk32i0aN)v>r%%rTl81y` zLq&w-Mhb-KL_pf&VyFYg7&ZkI`cCHy@r`sI&Mj{tCm*T`L@lX%%ZS29ArbZ}@0b1GOTwDEg!2EeS4 z!)zhnp=2=b+Xuok3%?Y+HG=wdYkpoX;d;0Q5K;sQeqtHTUI4#X-aQx(vqaM(*JHB) zJsj8y!yrMu{?pcW2eJ)D=3!X?#K*gY^z%MZRI9*+CJp&!Z z5!;?Zid#Zbm~FJR75b04iV6!G=N{6ydFxir&01!Ka!984p!M5J5`;dS8m-?P1=vhr z6NPtz^mB31(e|)w(my8|ig7DK`qXR9@_9kaSO(-kSTg{_5Lg&bc{cK_R9;!x2OtIv z6?Qa0C(POgB4_jz;!yz=uR47rHgRP zh>Pn0q>R{J@6oSTg>m1g6;$h`?hk*=Ca)v2d%yZ$=?)vQ#YA~O2(UKaDmH?)a!Ike zOn2H%zk99X}pJBY>ZUesNJ-yOGp+ zZY2F$Uk{hy5=1V^Lp4L;9%_esPYGh_NCa6lV+o>R&SpBMG(c*!e%h^gVEttP?5?eh z@9qn#!bd`lB;T?HzhYc=x$PcwT8PXr!+goeDCK4;fRlp)rtz&?&nPPX%lwF^!(c6v zM}A)3w1^a8pOBv~gY{%(?ZK+Ay>z<+7X%h}d|VpC0vJhF*}tGN*WCc~WWkR;{_sYo zr3GSQ6LU)NK}}tf=&^qi47C#;auUrM3dfY*JftyDP@@&$r(Wpe|E#G=9@?y?VuNk; z`}gmv9;^f{8?4so@xWkwr`Au9UCDO|hv*;^Q^1C*k^B=6b*Qt@s*C5gk8+icgtX!S zfalNDq>Cb}H|kA72ErEN1-p*JtUD4KAUWI%%tN-h_85%?y34a8gwZ~RJSi%giRHix z&GpG{Ik%NLpc|)^xsl>e`-oC?Br=RtgI@(scE_Sdz!-zJa$Oxpslb-&*H^)MNWuef zV9zx*|D|;o*fuaBzEHC_5M8nrSfJn)exx(vS!ypbP=Nq}=Os7EP)+SF_!asD5G&D8 zvl{z|xi4vHR|wS*!}VWA$0aADQTDH3?P8>WnAn1)@j7HOcL>U0&rn6+9?-vQfRXsu zujv>Vmhdrn_Is^<;2#hcR+sF^FhL|B0O@7EeM1c33d+v_M&jY1$NT>CaO`JcDTMI^ zzFCLXr|A6^Zp^31Zd^Mui9TNEnheyOv5l$Q7_kKQfQdRt)VymUq6iLIn;Qe0ZQmMF zk0smF^prJu(q1V&bM2K<**1;uGVwQ#`ceN{>Up5V(qAg^z>8td=7rMF-#Mm@ze|q= z#fkDLgqYW|3b>VoF=I>#CrZrX33KIJ9`ZBA*4+K0|wc4(Hg zYPNmJz3)|^+rP2{FSss}CS5>{QMNxNCi)&vMZ%Yrl@$@uj?uJvhDSsLAerInM?Pdk zG|ON3WkZ*%#S}g`4z^oqKSs4kdpSKl{o^*$<~+piGi|iQt2ijZV8wP<$T4CCEP?!A zaQ|O%%N71rE7{KX-CnGp}?OtA_!YlB^Nw?Z|H=1^Zy|D^Yxj z#3~@I<7nektqsyD8&b;eOuJD+QPZFUN#QyDaqO^A{xtFeRzPG@0!?0H=iXnO_dGDK zM+G;l+A<_teDQ!-{`3c>f%xVGtGRV{E)L5JSU=jD&ZYl4IJn(UZsXYXizTag()PrTf<1{r++wy zA+u@FH|WI??bGC`&kDr2$d{xPJYm+7QWxUGrBcT3-a&0Gffd z?fHX75NW)~>QykZzWYM!&4EE=ZHWryx9AVdVvOXiKL}`uRhHrvD0isb6_sEekRS?| z6BOl^dLE+JcY4R-?CdIR3BgXMapO1~ma`9pvY>n+1w~fzIVe}6-hK$`@cu3^dMO)i1 z_+}eFOAT7%)duL{jH1tS($i;=5)2m%KbQi@&O!uzU6}D|Lz}2S`uGsQ?nj?IQlr(u zL9{T^{^a2y_XOm7hMY+x&eJq(`S3!!pEyif zqRz`wI&pt4&Ys7_dN7;0huc=;5 zst>Lp&dDH&Zkvs@HS5)tT91u}qW!^#=#$SqHZgNX%{TcBohdplZnlGmc(r>)Z4F~2 zu=_I>OafX4TNwb|@7cR|H{S$M{9G=`OJC-x9YrZ}``Lw!_3lAbo4Z2a5xzr_KTr=r zg>UPs;1aj)k=F|A$35BiPt`%syQR&BFB{<;%gxC_C-2`&y)2a%qaDcalB6 zX$Eu4+@Xsoaikf&^cw^#4fqnfat4eB8nxF!b{K^+)9^hpz3S#*;IByYn@~wA&C^X@ zIC}7Cn*GS~-O!e|t*9CvikEU2otqoc>QY1#76b92hwew~M%4tS@wH<_f6pF;%ZoEJ zLbZqgnQ3Wg{QjgP@Wl(ZI5U0yP_Hp2(dT)+fsB=3PKLfLSmnSxK#UCA&g& zYiUDU_e*(I!RCg`j2Eg@XQ4;;yZYhqTO!87!XHeb%MPEDGph}=Jb&Fb-K1jAm)lG) zVsmm@rX4^~M%>26$N8>b$2WJ($t0q$nd$k6+|%h+=9LxhNQ?|HWUioDCtph`<8-@O`)V*jqI_B_%n1#3pZ)Js7n+rD-Wk>L}eu0`8 z0M!syzj)9koY4lHTeDnhD$n@5_Y57BW-*?VC)-;7K%~G*jg9f%_r|y%>)>WT%O-7} zD?wWeRki$IOZeu+?f=C${l*(IZGsn`v1horeOaI71prYdhj8y7;`g7c}wYO01`U&oJ_pVt6X9vs*)SHgPK%xo^@6MXA|d*TkMhDirn z)WAyN^v)XNMn~UtD;1ZNfXChcd9LyF;THQNR(7WgWS4Ag~^PlWY|oO=k=}U ze|Ua*=7;)$G2i)oKgaw1y1rxFCBTs~J>lFARE-rp@|MsO>^Pj3vyWgtJ({vmMP3+^)Ik7k!o|W3)5vo02P!qOYM>=+u2Po- zt-My?li%{K1mN4G_VD83=8u>7%fyJBHf#7Ysh{LNA~&u+cXN0Sz-8#m&x$>9^7M#A zufCzYLs|vJ-qxvOiZu)JksU)elHLC`%j6vR>Qj0kf=xSd4p(tn_Xv8XDpgfUgP*{LsWMDB7SF`)>!@^(r(ybXLDD$Zj0SeQnztb1)w2oY*$~Pin z8jV&Y>*#FUvEwCp2mY2gY8$FG0J(T!eYAWAQgP_(XO`v>-s+pptCv|?UY*c3_ASMY zoQ|9#@Ib(Jd&+}brt48^A%-TcpAq?e$h12o!3^HK$7Q`zBt{OB$+G9c;T+d=O(pv3 zh;smzec!o2+%n0qI?D@PDh|Ezj?HfsxXmM`8%McIP`2R2UOKs0DqtZmYRc8drRyEl zlZldCqjDpp$PGU1V++>rMwnYbK%qXNjGT~3cn*eUba>a!o#!lm+3fGXx}piXhNFv< z5ZzG+Rj~ySXWkh zEd+4u#-1V;wF7TPuiDx-d4+LOYW?v`iawyD*j`x*<(*O<^Ca_r7xc~VPumF&y;pWG ze0kz65eq1y1ld%`veD<=uTMCyKI!L^)(|`K&*Iaw#oV5R)fCNz`ePqoG$kJHYyjgj zDvJ&h9Z&0=s!a$_iul`q-U8sAV%Xt>gT*5w1YZxLv3G7B$P0(c!Ol|s&jVzZlG&fv zB9A;6YmEeI|^y};DAeIqUHut6|#}pgH8mTBHNa)Ak z8M5j;&s-Nzxvsn9%k1mae^+sSj*-AQ3Z*?;fRr1l>xNm_&=amOw!Rudq)u?}C=rzw z7|iklZ;i^%arz06{;&|al1>^^nq*|-!KyJmuN1?c3s5@wL2V?;1#u+uYJ@efc8Fu+ zwd$RJHI%fW%m7B+5~*acFKXMFk2>X63Q0pZ-)hWA_T}3iu6qxu57qIk2|_U|vB!Od zD{WZ9sdO0s)cWy5UmvlL>eWpM6>Af_y3x1+4T2;gZbAT_+UdYKdg_}4}{7v$C&i1v>(I4&r3|0kuI8sqjLbShOM{-8fiG|DfZqY^pOgA zu9sdP zew+EZTr51G5Jr+s;uy+N5bP8M{+NO%MIuDO=T= zVx7O4(jInMVhcuzuKd+8$$m6rdZNGN#a>E|#gFatq~$S9yQ(Rur<4Luu3NRLu6h8) z@6&7J=l}4s8E`V^Z~%yHTfXqXOHXQQgTq6%>9c*)Yv($%^~aBdg{@S&+Vg-m<5Oso zeaPTT!{eWdR$%C%2=W2yoZJ3Hd%|O;wQK?$PpLaMD377IhN(F^_I7hN_WZ_|%!zm^ z^+oneXgZzr3%#1elFDVA{s;9e#pd7@x)VtX8L`z?MGm@qV zCKhpf_H&M#%$_Vx=m}kGExV!AK+Mwt90=>t+Jo&kYEF6I=ooRUc3o*w{UrSGPGyOsj8>eUb< z-k=*B0>)oORW$<2OY||5MH%ali<=J^1K*j^t!K|1@LhD5*aH%jLs3(K-4z9wWB1MF za#NC%iD3XKfHqiDlqj-$NR0IBA>1RtYkJ3Y?B>>G3a4CMTlX`Axw^N|6wQlRc;z~M z7G}l~E!oFV8UHtUbdHPo@Z1B-Tvu(!f*xfL$aMd6vjfMQt?aH9k9dPY83Wc>v>N9dw zy>yDbxLMnGS2b#fmg*7%%it){;$hs&yH-n~)9HMksO{oqj>m1cJXeVT!a|x#tTVXm z>z)r=WYza)d%X|^VNgs?Szy8 z(vi`6nC6U+JeH?jvnnybMj22ss;ERa)6;XzH;CP6Y7AX(yn%c-O!zj*Nr5DGSAk33 zETvLKk`3gS8*}g62i~CJh$UXj){T-m^s?pWw}f5otJi^&*MJ7{Gz^!F*Pt2H74uT5 zS<9*}BZ=H&s!9*3V0)*-}(uV`aqB$8|{@r-~iOC5vI{%zgZ1&Xfy{g<;- z?U(G1H9F+D{PpG0T!{c6F9gi?WQUPoRM#Daz+#ej@nVzO^fz0-Uc)oUad+biRs--O>wrn6Gj=P1xbl&0ndU914&K09#|uY{3VBdZMu$ z+Q9WZQxcInDIh#8dQSkvP(mNlFci#@g zFeB73wf(n$SJxBLR2yt#!P8TJ3CG;Hj7A8#Gn{$I12V-!yyylGaD}(ZhCzb6M`^D^dM;sx_P#V7RlfVoRj?Di01}uxw;&xlcY3$ z(VaV%VV}~9hohw?^IG}Kff9`YS3`HNrPd8SpO)MQXlQ-4flQ?skexB(s~$c2+g}6} za=F|J4ULmFt+`uOZoBDv8IaWHN&1s9z5V?1ToVWhGekyOm!XWJDV%%B=*Xz4t|kyV zZKJw|9mzxxtWXqo^3Mh%l3ZwK#h!ps9F19oY5lK zYOMr^S#L|yKFVS|EJ6knZ~Q(Z%C*?z5DWrB<`_g{ilg1s&fYI{f zjNIqkwtB|rpNo#(mgkzSv48*miEfi*SPt*x`CRt8jG6%8#in?$p(BV278cn^Ce(Fw zXz^ba@`nxmk?M(?nfbK{pbm#ELy?1_q&cuapHxglccOF=6q7KfYmbX>sP{JoTXcbQ zwV!_6KHYuc{Q3NX0+WgpXXNkwxPaK$>>#7RB3Ctu*7`a=Cl)j&9zbZ=f6_kF5#j|z zB{eOr!H3)mPz+HgThZc=EcGT6UO=*SjPEOObtrFJUMMNC{=IVt4_bH$UoL`+z5V~j zpTdmX1wR-LakKAlo;@4FNe@nQq0c6g^;Nyycbkj$J30OVM2ZXcf>5^GWkNQOjAaFR z`Nw{D$*g0&ai;h^^%^(r81keDmII`lEg_SUwX-D!K_Hb3KJ*Xrh9=cL{PmPJG_m2Y z`Up-K`HE(cQvioY=k4jX(b2IHhb_3>>HjLH(^YpR9q7C>g!TTc%=v2yBAPGC(?E&? z?yegjM0Vcy_oOG zvB65j`(T&CWn{G!2fVd}Py~4I`t|EUmvgqSaJY=TacZM4opitt(*j5+M)OTWI3iK+ z1&gk?93T)i506xQ5I&Ui11WFth@2Y9Krk*5IiI=d&a9d-E+}uHwML%dl14x_jfa${xXRj&SugXl>iLpc`{1BFDUjzErV zpl)m|P7muA!CkfOU#X~8U|%5mjPdqm%QACwYZ9+Rc#T81-2au4nwnbX<04nU5`bIM z&5ppNAS51VAXoUrWiOM86!VWkXW)l`sZZsBH!f}ZYf2?@k1B=*p+|EN2#CNxyr5~S zeYhP2d-sWvXU)yckpG2zdb6|r3(2|#j9L$(R(g5}7zuc4m3wed5O81_fJK0d-b^hh ztS+<~9Ug93$w1F^o%Nzs+l-usL3%<2TQJ8*@e0X zr)_5?HlfJrl&+CkR2nj&pagDgjQH9o{c0Rx6@Vzl#A4`3vZz_2=FC&rRxlyVefTp- z#)SxB0V<1o`n?jGFo;w!yTNepDmjQV6R&nqYB)oH8Ji$eU?6_YhTbV-A`FUxP~LQ7 z(Q#a`{=FtS2Zl7-1Grgy|4FvM|1eKjJ^k@)rM?+If3RB}sr@8UyexxB{5bIM20Sc- zWUUtuGd$eZvyFZ{n5oQ~3DFQqeewUl`Tu^vVy0&o6*fedSzJV^KqApLJK7X%+;{SS E00)FTy8r+H literal 0 HcmV?d00001 diff --git a/tex/ressources/dfs.png b/tex/ressources/dfs.png new file mode 100644 index 0000000000000000000000000000000000000000..ae903820c3504b755b4e29cfc4afbe19424106bf GIT binary patch literal 27330 zcmb4rcR)^m*#0S^gh~i45k*Tj8S7xBYy3j$TflF5uA?IXXHS(VuZ+MXZCKgDqPxIfvZ4(!K2cb#koc zdrhI-ee)kRZ_0XYPH)DK5-x|oIFOP4ql2oHp7d{4+6dCW7Ja5je_yiImxJ`bk_W{} zpPC};p~Am>Xed=kf9fIaLb~$qP5(b%-F1P1ASAxs-AZF;XZP*jab8I&Y2#OOGuMXS zqeqWEeE9I{Rcn7$@SfefL(>=tA8Y*D!OclYNo4;H5fKq_t3yYQ7@M1mUH=j=(vZM) z{J4{uD?!MXY8BH8V5wT$$%Ne*8EuZ(4Hla>?th+xNYA!zpi8?0VzkfeDIr+l}yS9Y_x4Gm`pH3e>eE7tP6WrYI z#u>NJuoPS?yMK?GVOy~SL0luPo&KJ^d#zeN3@lFfUA%a)y;^EzOn`=l#@TrRKRKOU z*4o-SH8oXIQu5%zgIBK(OkBnv=zg@Co1MLpp)JeFOh~)nartm$WMo)bS*0F&5*^($ z(UE`g!UfS!Gp}B~!o7@lm7huu4h}gMEk9iu8Xx)l3tM-3%nqwA_jdb`Z7MA*Tv(4}5#U+94z;*i==O^!BZ<{w`YD z?w+2{ebHouD9x6t%|7$Cr{9DLnA&k9)V>zB{{8-TWo_n%4+VvV4L^VC@HGGWHE2BZ zke(wxKEAcB&D7XfRmr6G)r+7YLko+V>xkj-&Gv0%(ks7Gb)Dx%FDLUHJLbB+>dF#K z|GIX4uGzrR(Xs6)hb-kJ!^-{b`|XClGuzwSj~c71H)P#v&@XWL+=opXz8Tw~wP$j& z*nUWP*;rfqcTJdpYs(2PE^}-{srAL{DLvb7dUPC*N=$TFTXuAJcONyDm%o>pX`jNe zP7rzfuoziRlbsS1{Kvgl#)U6K8n~tQ&M|*bTo8y&S%%w)&{aje6x^vj-R}L@7_aye|5fvi4J#MkBJhw zk3Kc-Zv78d=;_m^8t&x}=%S;e9rUlg$;g;C@LrQIUY*FF+{e9za1$VfLb`R)(tWE) zF=u5NncL~LVk??&`HEM6e*gZ&jDv$iQBKZbw1*&C?;+wg_}JOmB_zVl#7>{yw{PE6 z{#O2sjR>{3Z{L10*j9}#cK&1YyDNuh*ESIzyRk&HvXrlD2aBlPo742}jQg5-%(s}1 zjEwyJ`O~ti;q#RpUmi0KO-v|fvr4%2Pfm6{EhHl-30yoS8#^0Y4-$h$TSJ4omX=nx z9?z8z>^wZE!P8FDaF5Z#`nO++hu=kDF4`=Oz~b1d67x1HNq zUrX07bQ`XVc3OGkE3c?nSy}04)|G4T=Osi-M46K^BAf5#EnC!fP*YR0Bt)8XojTQ6 zRrS!TWx^$teEYMOU%eInNn8BNqPeyb!w2vTq;cijsHu~3?%usyvhp+}WC))fzsOuL z^w8+$&BVmSv)Ln(0)$W6ZPH=|OEEDs?|EXsC%g5sR`o#ix)5IEwLMJFW6&G zc6o1vyI18qPqr5EaC38Wart|RSp0t9R~bm{B)4P78`-Q=d({~n-D{LWKI)41J!8tS z4b$Ge+wCHS>Vo?m9{;rBh4XA?EJ-?CCTXkX&*eb#163s*ihnjZCjCmbThc=TDi+4yTvaNg) z6BF~qH=!z+gF1;bqORwhnwpx7Of(nG4x(`Xe|P68)y_~V$I2Wr9Q}oi$osc2&8U`X zEo9PKvj1+cOx?{*^zMtPxU{qhQp7SMe)D#bR#4ceoYF1m&eW8RiGNQ=ws|wIENR}C ziazw;V(ePyOKYdchMt0A6Wn~InfBE{R)t5=7eZr zw7BRZdzKU&XUZCr)Wdj_nU5Sf!otFW3-YCI=2{MWx+GUdUhYHz=axFVfde=F(C2B=hwB6jReJE^H-C#&~TT)uo67c#q0h+94^ zLPi{}o56PNTVGqjE=0-nrRC?(2nwP#H8qX*KZFYw5)#508s;XlrPd;-)w4)A4nAC)(@m-%AZE~L< zi`GY#<~Vv3!Q^bapCH;v7e8*8p&i1j_w(1Uc>TS*cVCDQ7ddn&hRZxLDaqE!DL$B< ztv^s|UD}SE_`)WR>bX2SVvp0QNG|!hUD47S>hI68Y|BX#Sx(VPkG~LB%G|8^PJ0^V z)Va2vjF2Qk#)GYNlppf}cGbEx6m6=U81)5%=z0fZH)%Ua#5V z`lXp6=T15@!o@EF^@Y~hc%Z-khPAb|Th%~yh+-hi_~hgdlgxWwpPJJR_^y7ctEmZ4 zRz~^?^!Go5OROhlPgb@gM+D7(y({uu`Kc5kgu}G+NvY_09n<#cufdb@Wc}szeoB9 zDt>xVkyl%e99Fn9(&!5*sNVJug_kRx;3!gqm z%2Qaro2j|EOT+cCx;YlEGlM(WEZ9+zon(6_z$2-Ct(dOt*#Ho{^{v_g{Y>rZEa$x1a2dPgE;^~ zZsd|EU4Ep})%P<_Nos9Y-N{L4?q^liEuf27g~w(q-vLxs7yAOW()IUzv%RdL@heR) z-(f`U)~ylE6#T;a`pP7aZq9B7271}@ii)8hk;SevCfGsIOh^oTBp9=?i=JL9RmTxv zWi;;g?a#M2ZIu+|G?tN(0S>)z;lkCcOna@Gh;(wxz53}_Y`#|H2_R=3&uy%%to!%xH!N(@L6NK!N5&{iKa<*2u ztNV!^F}xiQrBL?rjP8aV<2 zssG8Q2S2fOC(~EMYkKK%aYqgv>iwN@y{D&V_C^_Y-o(U2rb#Wbcjl{NxENp+;Fj>h8aIOR6jvYHd25#TJjh#CXF@FQG9O=ED z8xqnCJhG2FT@29TliS>AuKm!VLx(yG-4*!&ufilf^Kho@>}+4(&3E^Z`%nV&&^jVz zBHVEB^Ya5?&iK>xFfr1pn`^Px8fpjN3?MQ8CVt`) z0EnE1iHQji&DpbO&!68Waf6QS268x_2@c%F_Lt4-f~QV_59#IF9RUUZ@Zp(0FB{u6 z6O%#Yvxy1Gn{@}baBcoq(jL$Xz4n|LyqFw0g5a68+v_ig(f}$>LlX$n&aZuKvcA3j zO=#%Zfo4!HyYvGBCISAWqx$W+V4J%l(tJoDB?VYpTr#d5;r-#mNw?g9fB*y`xMRFZ zBq@Dw;TjuYL2Sk)W@Vk4u#bn*0eHjA%sf6ew!AR;!|)za_X0P!FE}ECg^qOCf`d*_ z+XKibD=Rm|U(C$R41V##_`U4SI8^=9r%!`ZNlHenY_Uhc04^#1J0v6|aBn`mB+wgo zoQn%WMC`w#tHAXPpJ|3R(8iM|PjE{7$ESVly*R(o_3KGvE2B+Z6PK|8ckbMY59H+J ze5z!MQY3*@2MeJU06x`!2cSiJ_=RoTwmCUD;Vd}t(6;ZTBCr1X6>0?~4NbA*A5D9E zfx@e@vPR#YAH(P7=jZ8U>pL*>E`X^$d-l-NtLy83FEndRRK>~g z)5sb76cQ^Flan9e|8UNLfc}V}P}-Px?<|nmt*ya>qtep8YuqCa?nV|W)i5xK3=Q4K z$jC@fKQml^c%q9>US1vr0Q?*Djf7S{ABxVjJ<-lh+0>}(inXS)K5eLZ}rZ~6FaY<@C68D zd1$)DG?M=^8!-j`EG@mXwA6Sc7ZT9KGzBFaYTNuqeY$~E{PE4I!C_&pOSM@>e}ut?mi#j{-U6uAU8KRm2~j9(RG*Mb5@-N zfOnoa7c%2VQJO#|k)O*_v_)icw59YVijBX19X)bH_4df;yIb3fPa^2?tThZ@oiu** z_AUEeM_J*^nwoo&0kL9?jIV=(%L>nD_+nmPJ&~Vm3 zgj~G1W1$uBTKCEoRhez}%;XLdz8u5jCj|tON*vaf=QLyaj~zR9MO*t)*e!$)map)t zz5PtMm@`7UueTSc(3!itlUcO!%a{A3+bVXb5qg_?sN7=j+_{5*IWAD>wf5@Y3L~nK zt-yV;`*@%DoLwqmc4^$9rs4b?RTn$DjY_374bKSLQ^v?nwyEG#s%J5p4- zl1*GjWd`~oqp%g}YQB7V`TTj74xY|?mO+b0ZCYPq&eYHbJgSRQd_HYT0~X z|NgL7uXJ>D5Jn_b(9@NW06m@E+_HCD1~FOR+DFjxCjHrt$a79tH+_Pxn$R9N+67my%+RuNoU0TUkAc4uvd3 zdZIyyF^f6FV}cK!W1W#4%OBDM|Arpl6{Rcfa%bW#@+KSG?L7AB$>NP19Wl4ro7Eea z)YOdL$`bXJJvJ=jF47dx2Hygr*`<#+Bm|;T35wL9Fkj)`tL{ktfZLaY))8wB#DH)_ zP(m}Z5PI!C{`KkMq^ujp#&OBX-!z^Q9lKxGDyyg@+|hs%?dT}Dpo27Ic1l@HOe|mr zwe%Sma=N+h&zp{)$YvhXRaXyQ*0Hd*PX90CNL)}-ss?^fx>l>MriPN6+pLzk3-N21 zXGGxl*(fL|>g($pbMu?Z^^qm_?%mtCJtoxmuux7sF28TaFjI^^+Yr9vN!57I-dk_Z|?+f4f#w z^A}M1_wV03J6Y8C$xMO))qKJ>(;yv2+ zOQt1U8bP3jzK7#XdihS{C=xt8JhR8aq0R*#Rh2P=DjIrlmm3RCclEy_qQRkVW_Elb z)9%@`X9@}m8XOIXVcYu@!|}-}Dc6mR5)U?+)d_;~BQYa)L%&K+OgwR!&Bq1-pWw1G zZz(4y2e^a#yK-g!Lh{qYiqL!8T3W8?=zOcL7C;_$xSyaBiF4yPdi1E!sZ({;*sMpD z-wgNn_YV)B_F8q>&Pvg7pp>4n0YX;UzeBg9iXA{2gaqk%Y)t&dS6WgXO;bf}2?|2s zfs@#$t7&OD+t}DRIAmpJfc1_9>1_aI}s0%Es=7w6qdkaHeCz76n@ni^oJFT($v zygagh1a+6u8f= zQ6FVoMhj0fDWeWTLcDwD&gh>%N%v5sp`J-fN&>_}@41#EOZenW08p>5E`dSW8q_y5 zG`t4)0hP5?Cvzb4P3RnkECNC6G(L|D8o7sHUO)n$pVw4Zzy4l`AXttZJ&NANG+24N zy>xDV{>t*Qa=7S=&!th7XIw`0z_{@Br-*O9`ky~vNx09y5wSlJb%bzGzjp0fWgsgJ z6;*Ty0=XuX|2o#e<uBnLL(+A!w|yihq^&P$ zYAVcqVqjoUR{}TxqfC)~FR(mr+#|K}Z)6Qa051@L(Bubh3;p zwt;M!P;Y_^=T}BWL(`RMs$yhxC|eE%v$@$BDk2ba&95yTbfxNAl-stQzj%=cp@K}w z_3yxc96P3pgoXf6RgK;dgZ`_cqC&QX`V&AG#3-<|GlfhiZ+!jO+=n?ZhlmG7^W ziS}$F6QGR{RRV87GL@DtX-d&DH#2kT!UnA=FGu&u{!74qL^`YI#>~(U@73wbk`n3B zxV*gO`#Tst{wY_Rxgk+1k^;0f+k6u_d1A2-zVKSeav2MUR3KGw4b0xi$Oxx@!KDS> zyeOKOmd5L7R5?r~LAKQww_SxkjizQ!--a{F%uZIx)uK%(ZhTih`0hN1FF-U)NlE$h zjfR@2yBHTAk8;*9q>E-ESnEQeh?p2jH`x1aHKNRq2GZ7_wvX2Nf6MOJL=T+{Wsz{p zavCS~QJtEPb8I5=c#*lgH7TAIPhJHwG+{kP}E#=aDhsLdyyDWO`UFdQ(B&bN`%|Oz`b$id$ z3Xe;+CnO~;H5+)Nt~-9N+{`BXBbb&+(!-_d*^$(}D6l`?h%{7G$iL6v1fj&U{vIi% zqSB&-q*VR=ds=Gh5#Qm_(FhTH1q5#QH!{NKXJcd5f2zwVA)#HexbPWJ+j`eR zp`wnC8&(npOI8Giic1mVu11E2b@SF}q*&S5yuY-wzOL>))IPw^iM5pE~8iu}l6(QmNQXj21m%cBLQKq59Ml;FE%NwKjhhk$rH~R+7aR{i2tlQB# zF7j9&Nl5*&d!MAor{dxbC`4EF^zPYF0xTdAND2!(gPzZ74`HQ&log*a(S2i!%Ix_N z?t{J`f=Z!_iu35vd1R9*uRjJr#^Aa5CBL1_-}*wy5tKk?v*Mdj0zgjJ(PZ7s$%4-5 zw;w;8oty?Ew0`69qR|XC6YfwBAx1=0)a1sEI;FvyFna{+cd#i5F;K*jVA>g%7Z)i< zg2{+kHDs`X2p(-288)bdnXC1h>QfMrGjvf=&&tk5=--b=Zw0k!@I@*P+Ly_LC zl8-mXZ0dPPgT;Y5(RhN)H)y|r2}EmK?<=>oE?<5T9IS3^e1y;MG-@EKK6;?o`L@O5 zeym<3CBqm^(7H!Zy{xQwn|?Jl4GeJELgy=1?C}^ox?fAH89fiTmxUi$58!SF?s?{Aj+tLVJ~DZ+R3JmkO*M-2RHegWyBViZ{H+rNLQ z=;32v%;}=ruh6yme*GHoQVqS_rvA3}}?+-|N5Uz=6@Rv6{Xd0n_imK}Kx@P&0AqF#7zg zufMgTbkoX8+4-=y#7AZ7&e01~x6I0Df4nY)N zQc$>$ve^Wo$m?(a!_a-{Ax5W}o)x~M-7Ze?2jfv*;NW(pY z{rv$`LynPGIqeydu*nVBK@L?W`tGW~?v=4lS(){B`s}5vS zvxSYbk&>P;eQo|tlD!Lq(a7GGqCxnu45I6k@Z%+DZJ)FKMAf8Ae{b(0?IbR(w71T7 zfBVmUb|RPcOBk1AM>*u<3pC?HjzS+zw#D+sjkhmeT!tu?Z%(oh{1*HRwV=VWeSR}h zm-e4qBiRyV+uXc*l4Y|?BQMM&KYj#urBbq?ti`&&wlQL0rc_}qUE^~^^_6WI0<{K# zV?1!6RnOee@LYn6KJTmZHqa8xMLD^xLN58P%V{qC3Dcz96bL=xEN_)POXpV9t6+m5-!>e zK&=q@8_J4j3a7zlY8ABC0ioy&&n%aB{{Fq#Bcc{veNeox89Cu+Lj%d$a%StommZs! z+*kerlod_xfF_RhW8^oIQ+!gYX9}dM=tM!(&DflNgD6iXtrUdp66Mw%Dqy6@1xR=( z`REK-u51x{UE93x)G0_ZZb9T%FVoUds!TdA{WZ?3UAvTG=(X76ML)R#xj9 zHyS_3qN@MYsvNP_A_(bR&lMrh;v_>3r=5PWX=##{a2U{Y*mXr7U}m;7HBE?$Lf6g) z7+IAPWyr!;}|Lk}Q&U~t@K>** z#a@5(L!7jr0}KoeK_&U9=SYfOE7hU2c}RJ8^y*FhY=?)uXS{vDcWcV=^tkn#Hm(OwZSYpItn|^DZ>RNWpm~u;CBf}zb1zhX*2m& zJB@=4K~0TsWgc-|9{{^r!nPfODG%sI{ZT=N8?)Q^&KOqcgOHDG{EU674abVHGQrCvX9331W z9voGPXn$HpmsTvdZ|J|TyYK9di8%x(mKKtQx;lN6$=e^>3F%X|&Na@f<&xJ*eIYr) z=qQ8i-XVNeNy!?9QRFd{C}#1!Z2f3YXl&weQuRp~Z>@yW$om7icAmp6EXr2uZffW3 zMdnRJ6z&#}y<;xw=oI#VIj)Sd#fGyG99x!}%b{429B_V->i>qxq_R?_M z2_zv3N|kYFJ+W=fOLsn?SAXq!8Oapvv#|e!A>nwQq4x*{pe(F@IIfMqPlYVo`|Qry z&&K)lxCW9J(abr$+Nr(gT=xVQQtCrVuHN#U%(tgz^&Rpii;Ax=-XSMS9!qk;cydCQ z$^btph2XI->SRS>RJ%?=y09AawQCZ z-Nio)<3jiP50K1?1^^&{ z7AAjs21U3`xe0V(`i zP6UlEI-wm3&AfzkKE!u)XA^3q8h`XFm5M5(0Je9FpK? zZYn|p8{OaiJPFxoyuZ`Qe&j`piIdvcjvozg-01J=k;yiIs}@*CKv#te#TIz-t--|a zj7?SN-bM{Q>D()~%W z5UNhiOF39DfY%cgIrmApIVdP>VTsy%Y}mE;A$swkV@+0OW_C_a(0p&?u**{Vl}*pi zz6}lrb03y+f~DjTXzKiAmr5~g+!vLVP2RJ#qNOy_4=J0Gme!}A-K=h=JS9H$XzL7UZZg1b00c`~2Tg?*AC3F!3_wnEP>;{W6GunV4?y8nYj>Lf=n4&eX{TDrO z^yujMY={-`t7c{j+?|uo$Emr_ovT96cR6GfUAh{lspXZGhN_3Ob|}=ar4e4t5^jy( zzCAJv2?>Gqw@$#2XsfZafp*Dp(k!fq(*be%gLemL)uX1lMok&Jl8g7Oz_#X zJh29*KsS5#$3;a&4q!wtru0lG^}O2eOOV&~Pr}7N5rSEVbo2{II_QM`XjkzD;ONNh zulXf_U9dtc(lp;PGz@z4hMR|{!kA>%P!!GJ;v z2{2y&Wk`swu5P5b>j!n3S5Kctr>A@W`NcDO#J{2yege!9h|a;dROtKkX+6j}%FFPP zqM{-|)3L@XU4Xu$7hjc2cytHs7kCyN%pdyc!5Nobmr@Ke2L}h?NBP~_>hvWz4IriZ zB@a5=;O%>|<&>3qIXQ0v?8{2+1*ZeKeevp*+4bvZ_*&o|LW>QWkFS@%5^R!i(kMJ( zIww_LYm`Bo&*IWj zs$M<`v$R*^hT#W+tO5;${pc41nlAVzA^)erw2d2p3D_+cPXxNDki~Bp@j2g&k`Yl7 zsK?OJJy#d`7fRtB69uvq6KiX2{p+p*8`>?%b>JlEf}{1akc@;x0(>ACvWbj&n@fXj zpe7(CnPbf?wQw0f>g#P`hQw~xQdeg@ZDZKB@EoZG;`8p^h-Mtw%Z_nCIAfr7zu#Xg zO(!Wj_Aoh;>@x`YCOa$|C=q-naBRWrkh43UrkO7?!@QhIQ=s} zjV(^Kp{aw9pE`Alw3*MJ*U|I8siddp36$P`cwR>M&J?=`#1Z&hc5dHZ02ha%R{=DB zM;MvVZ3)>$5GJth`GRC=z7-yxtkS~E!ay5RFizbIOHq|ti?1mCFQ5d?Qv?Czx{ ze3No(srt|>>`MH$@r@g(aM5XL>-7t|Iy%7Odh+r|`1n*HUQ-{(#8eR!a#n~o9KPjW zzUb)cde5#wk8jO)P7e*$hE!u>Gr9l7SrZO7SfHVZQL!Ot2akx*$$BjfFvy;Tl!$cK zlv@G0af9Udrk{hq$mN`}ZxGz9aPfU;8N-S?+d0o-u4TGpz2|gS1 zgNgSst(uO`GPE2AOK{Vk|VY`7nxcG#eI4BB|w$&>?oD-6Jm)8mpTR*yz(b3W2YD^Anz6r`1=FPlj zCt3`=mgIe^GH6&Oxep(Pzps0Iyd#O;Z4*HRra>=QoVq6aATW^B>o0yya*Dt5sc3Hg zSWs|vaZZL|S69|8`Ub(-Q}9I~xR6xP^hKlzlPtP42uDEh$B!OC{tpTc7JwljKolrl z5i|h{h5&@=0++q2Y@tYrE?DSk+g^07uq&Yoh(db)o=Bg!#Vx}3U2bkmb#)5DNM9c} zJwwjU@eMbFZa5ViqmacSbpLxg5bmc;D<17>q{xRPe~gopGKU^^C9{CL-QC?tJye;J z!#b2IvN^aW=nT7LNpnD$M7h0CW|RSu3G0goZ(956p1(6eTzL58iKOdacD5S;ILvQM z9H5ysu1+9G<`g-ED4yPvIeG7xh)4_gX>LwC6ipS2|N- zp2Br*6#A$>#x(BVS8#I5DJbyR>Wq>p>iYM_PQU9WCNG164j#R)A26{MOsy863+V$X zqOq|Nb_B6?Y6Z%$Q@4H=x-Wn-fTT;<^`F(#>v%GW;Ut$?OeBFTB57c`73AeTp_Mat z4MF@t3y6N#F8v~pD|&jC*4ACqp0W&QegxYfZ+tH)Ie7T+88x+&XaPZj)OJrxN(uv- zGck#WNgED{ocNkCyk#QDV#fKp|h59ht%P!H_TBy^W|7oS*1WI+B2`KrM`|$9wgYbjNCz z;paP$eS0RDL>cj{4bce1&OPKya#cfa6xazg4+Y`W=mA#`kAhF1TuhlL2!a#H8U+0iY;o`!06~VlT6H^fX;{>#%03aOuAA^gp`fFJ;|aF5G!q3vZIgr z8T^2jmTR~}fHfF_W+%IfXPy{eyJib57pI4uyYs-Qo4CSoXKu)MFdzSHZx@%6GPrtG z{NzbHv~|Os-@!tWla&SRTIjKK65}%<=`&9#WPKwzKEwD6gVtp&El?jh1qJw1oJM=J zxivvx9LpACG?IL{YV7L7JZ|IIr7VYIDC8xMoTVWS}{hE=j9NJc1DG>wGEDhTa zTAXk$puEAi9eniS=$*URo9H)U$}p(bYaF2O7B}NgoQui7Iw+Pt3KS< z*Fdq=I76GH3#+vvzX!5Pby94-x3hFd-yNu#Sn)Wo&j2SmFz=>`yCIUEK2=2_1}(Gh z$ZJZ{19K{@3^DLJXUxFL8VN(V(?B%(Lty4_!otpZvN_w@j(m&VR7^s6$<2P}mBB10 zdl5{4kq;j{2zvG`IV~+GBLmN2xEJ%UZV|}H>Q%SU6+tU|v^SOuxANsnZ>g;F?Ffz{ z{>3I=-Ak9yaoy@yR{!gl^0{*(&FQS_FF@d&y}Z1TU)X%1@t|+11cmqMN%WmzlfMc} zHK;VuIz(uNZ$5#tKj^&?A!5fxkcu7GwCG_tvw}DIpzjT1V;GOHOHYuP%EBI6+7syi z$bJO{hLa}rys|GXGjlk`!$wQ*z^M*XzWR$2KQ{5{Yk)Eu`t{AtG~mY`Z@;0Ws^7Jb zkBftE?2r^0F@=dX2XvQ^Pk|?4DZoE#ej!mf^^{WV^}npG4c&abw}RT_&uu51&kV|? znDYd?FRTJsfo;Z}T~Agp1p=*`iVd3soDr(t1uaORmOw|YE-v6L@Q)m2XTLNPcj9|( zEy<$g-~}GGr(utb`6nFA^n1lhoub{qwxukMpAw{3^XyZvHQpDA&l{2 z91G1YI2l2N;h2-R?C$}&^+I3MHwat-dI>hcgONww#bBgQ#6&ti*`CqU3m4 zApYq4tc(meP|kRfWBwTfNL#o1L2r=sTxLId^pTETjLlF2WKOshPw3IDO8F)Pp7vOr zdUiyKk`1Z@9@gH^{c^yNa9+gEsJpm)dj5QOgFG4WAO^i0@EMS6MD^n0B8rQEUcEcI zPebSi9rO*@$KMNE_#wxRSm81W6;`|6a;oDZo`0)2Vp@je=ouImkmgW|*w}@He%01u zq$6x3h9KmW?d(1j7D~K$gGG=RL5d)C{w>>tWX~eI=jOVeJ4e;9hm395b=e2jKkywN z+LMqwks-D-i#{KDq)!?3r_dFqH2y-HXm%i$x9`0pM~_kwViRXrU{cmX-$dvTqPF@Yca`Rv)FfPgGmMe+_wu1=NFfZVb91~7{W9XobTRrTq}BR9dTIp&In zhTUlC;Pj6keFNOiSG7Cj3wM;SpPvf+E3~_qn8ckYuEukb6NdWmGQN1RN03Dy-l+uy zeGmk9658|)LfJ4fyzwP^C@C8(6}>f(17u1VNMI}B*L!*p^&f3g%p*~U3yXKb!SsS- ziZFM9EQO_=wL!pRJrVrAv|!Z58|$w}9udU8ps=u878Y0a_0eDT!hq$(>o=VKdwE3N zW;s8XcmxgI5RlUM`i42L{eyID99tN>=PD=^E>vE6Ll#! zOibYSd=V1j|L`G(MWXXLIApP-6yfuuZ0_R5Wj@AbqC!7H7jbUtc(_QO*u-uZ%z=ZB zgpn>R4{fBKb1qW;6#zZ~kOCX_P?7mpl$M+dC^Ht5rGzCq^Zk2t0DzYOO@ssluIC-P zhPJLSKmQW&4;33Sb^PEiY{(Ya9=Gqe-#AU|npXrJ;drc=^heV{B}6yLUGp#^{tp0Ws{ZAl zE5J1X5sCi>*I2^dP_m&B1Rl~Dw+r?#v)vbm4;1DNCFSL{e*Frs!(CeN+c<>(2|d*z zx23wqh6^QButm@}*05_W@^lYWLA0`+xi6=vh|yE^SZN9G^*5xa;rp{xAB>5zUm+scT#GiJ{W(?MV`K6oBK*yp3zSzdwgPb%KjaTJP4e_< z?WyXMYDT7J09}e;o27HAU zAI+MQf%$gH#w&*(U}5Q0^7?!eN=byUH4EDfKnKJ&T0H+&RTXl~23$W>Y;cgn&;W>Q zoEO6j)M;g8q-J1{{_dRz04#(?emzx{U-`0|24El4uzQ6@3c7*TN>~Sskl>XF_h`Y$ z;559$FH1z_Q`68SJZk`!gqhn-7de0=6CQXU_3j;-r^y%{M85c--#oLMkl!cOSfn#21gOR5Rh$S4$#JMyPyo;n!;g^CXLlJ?jimll(8Aa` z9)YV~x>Sc8N5w|Hmpkgd4|&fhkAw>J!33{#OtP@--d*k>5;K4*47%=1ix5Y-yb!dR z=#WJ}7s-W9PD@KzQ1CL6^2j5(uP{Et8?p$53grm8K4JzD5crd8!WC)m@ANeEPlOEa z{nPEVJs=f88bA^S9!nqMbblwsZ>v^31D zta36ltE;Nme0}fT>v0Wnvi0VNq5iGO=S|VWOCjUfW1e_jgzVXyH-{m@h4Lyo0HI?} z5Qzs#(b&`!;1B44`1gj11z3G(Wibky0WWrZHJu(dJ>1?di&N3QzUA0c5NRtBXBae6 zLE9AqFo!ST!5g@eM(pI6*ZMH1H9s?R9Rcg(gtazBKZ$AQ5ME*c8&t@%XDFUeUxtMx zrKfk*)txYFqb=zM}mA z%OpBa@zojlP2h+dSC=o_NNw=a16V;`0-;H4z-%-W!nrX-V3VUq8DKhE&uR46QoyUX19#6ZNm* z*0_5Rdc~1v!2~W*7&DHtU-2m2&5F;3jNI-)(zfU<2%|j-UJVlme&Qt_L}FS89`Mk> z0KeW&f@mplwMPm2^l1^PDl{!l_gPTTBFY;T8w{Noax}?%Gm)CFpOXSD1^rMSp45~S zbq$TNF3jm8tIdv_p``jZJ$~4?y~wkzt}bZge0~b3B64d}bMuea!jqV3Z!85WRg-cO zdY$_2-Mg5WpKv*w{Mqai@fOBOB(1zW9c-hE7ay|-uYx8+`^x8sJQIS3<2oAWMM$XIYEl{dJN%?Qa5FvEzpPLmq^5%*VMtT6f zNpc<19_Ab|VObhE|0HVC;{f~s_!jDMzBM|Mm_&l#2;Q<}^ax(Q)C|$2B04l7#R35$ zToa`_F_&Z66^o%k!xA5C{C`vWRY;CVscC%Km9Xa&2ACmocOH-&jTwSmkr^G=#Hf+sh!3%A+3Skz^z}P z4JgKG3QtrRENjphPOfFhh1+aIkf=N!$p!DDgAcF%XdumSTl|);RcJ;k2tyf3P9DX( zcR-c?8|2o-5@40_Pi^f`$XzdA&KFq=KqZ4Btr&P#7pYikb?OY92W^*8$03}VZOE+s zhV)OpZ5#TfIFtYw{r&MyAazyMdZ!t{vvm}Cz?bk1HbPnscoWQe4&`|~P4L8tec~=B z7S1VLxsr1ZMRW_ zpAVQ=4NB?hj7q6Lp>vAvWJCk#AmS~4=9Avd&Y0+aQPj=F)I;_>|bltKa?P+lkh z=wUm!CwK)-44__O1uebLBU+#+(@;~B4CQ<)w=j(q7-)c|UwphtTjBl#2h+|>VV6$udTHgm?B42hKny_+ zmIEE?em-*nRDwPUm4Y0y_FNk8uS#Ihx%a zc($12bA@jxb^b!_NuKiM{3MLgWUqOK3YaRRcqux$L&!Oz^fIes=FuK5-^(JzgCf`v za#Vug>-r0W1<(w0i@mHYxnLKiFv=(J*|wC$iIm{=2uaMjK#N5}Pn{p@?nY;Z^aB)6 zDOFHlchj##(j@?;i!Cm^)PF!o|+V{Y5+8<1(8VtoXnI zS)QbJ5#-?hlt*}gA3NQuF{_+z1l{$^MlTuhRSRl*w#Rl1@~)%NJTm9Tk}@?t{W;}Q zk_Lt$x>GzvcDae8STCVu-0B)bHUzd_N|xQrt{k!5&qhkB7)s&oWHGz`2ie(z$x6|e zR>!Tq=@WU?fBpV__BAUl3(GpZQQK58fK|n4T_BTsRCao5YM({^e&TK|LVAj=9mx(n zGC%+I!lPNYH3kEZp8kGc=bLwD4t@;ny9L;Xd3vu+G-6`;NK|a2CoifUC1JfRHV-Hz zvXK&=D8}&8PM=5ip-8Q71Vn+EJvK01<2b3lMRQ@!tCTNe|G(c<1aU=1nwAve=Dsl8 zAPQXw!#yr>kfrYYx@pF~UuCi*e+ZD-4EqkeH8D!?)y}GC3D_E9qN2TBvzSLZuH2-P zDs<=&dAb`Ss#k+2cd}?@r_{WVQTYS-)oqiD9RKXKaIszc_Mt_2 zUc$lIne;9MFj4;)2hk3MKL|>l09xpaxw(=UpW@Me-;GDycn0v-d$o@h`OpL)yreOR zegEFQPH0PxM#sespfSCFE(Ovf@*PMIuF6(RD+D9anVB;v!FYSjx!08qk*-S zX8%$rNH8}3`{EzH-Q6&uM_`=vuoB+VAw8Lm#@6`00CtQpOjqmU%`BKJugS}D?(z)z zwWy#>j<#tD%}Ps43obQdCx%Hxy*5_5V)dZPfNVD`E?`91sx2qAnAK1{{sMBA;DWW|zzojz_6$ryF?OlGO-P6pKEC@ANWNy|xh=mRC-5;T+zL1s z@l{43Lakgm0&2yh16oNMfa?`sg@uHL8NKg}OnPtRKdk`TMfr&lhMzlZ;NC3cciG7L z&!1&dH8Xk7r!>vy%8A8R2crKsWi7zX9Z;DPLPi|Iyx}XgBsuq4V3z%bg+GjYw&V3) z9g8Qir|KE8NghiTvmJg{souBc=LY{t*8}W*$K)IPkMZ%*7|i+An=t_a-S0|7-APYR z@5!BlPTHsR>*gt}uFT|)ojZlr%OknrktIAuVF|~CqwO&sNlBI$_gSx->L_FQu;{`R z3<9}w6hzP?om3|q8|jt5AXEDbnJ?Zc$Ahdlk*43wkGXd2r9P!Ee9QK5^Pg1xyxDfY z3T9{wA@-j7a3hmdg>L#8N4T$(1&R|(?PlS=OfNOE9djQmgi4Su;U$of?3ogZ`R1IS8zGE z>NI5?=1knmh~X1Vb4>e5b3y`=S9}jHfY(LtFYLI1<=gr)Jp8dYGjOYMMtnx@lZ4Yx zpK+vWl4gdJkNNFjL?-__JU)Erg0GPM6z(yL;r;J(o$iwov-6N-*M zWMq-?UN#OFf6D$)g=J`(1+@acZL$~>U?*uO|6 z-}9InK4X=96k?-Oo4&iz-I`%kxg~c#0xjOVtxxOUO3B66!#D8aqr-DtY$9>EPiNk}Z1br1HDq1Xk}=x;-a7mmPRz z$cb{_mkx(051l&oT%HQfuFv^TG2MWHr0-z@m2e}#WPn$|pe7*CUDf*{vsLv@awlhQIT75pjSJNHZb01 zBG3307Ur*M{QxD=vd}?Ke>ukEao}iWnKI%XsM>`Z*wCJ2!)8}uKgX++Mfu`zd-x7A zVs+d0?Q-tC`6B*kj~)!5-Mw2wPp?+=J90EUkB1Ivhg{$0!m9EVB1CJG7Fs&pYEdGO z6YiIvjgZ8PT|DXr^bd}|<*tQk^RdDIly~L-P_2J_lv~J^LR1DJTeehWi?JjLWvQsh zB{5xB3Qc1fSyJ61BuizHZnt`DtF}<;2Cb4kWH-Ddu4kBwIL&B`kZ`hzUT=!(OQw_NURUFBoPDO|TPQMv5q zW_Mqm@LQ=(Y&Pz_YX^l``0;K16kdOg2^=n81GSyj@$Xw;c` zd1nWjmQyzNb$7$j6J;`mvxH_LKYS4UL?3b_#wubzG1PiqC?zNzsZq4%lyZ0E+ z3m`c>4X7ua)g8CBIs*ZLqim+txdRz{ZNqZaQFUw$yZPIbrp9(d$RL@ z@1@q?uJe2q^l!&qSXlaV`VOQ0_GP%i0Po-B$v*xgK|m;csZ2v37>T^a;g==O`F6RXL52B#;S+~rNgy3pgdr>iH&^Mp-Xe{-A?YWe92#-5DlB_pq76ajMU%}&I+SYd-)f(WJK}CNo1(pW z*1+A8(eq)N9;$0h5iNUh@3`Xki82#&x4D%fT;nsX>cDkJ2#1w%FSVS`%&3rrp_j89 z;zyT#aCL3LJ~i4Xn;xv85W1zhnS1Q~+h^k>;gxU?0t@WbWyzckrd8j)d$+iFS!WZv z1+F9_?9yz4FyEa9lvy&{v*LbcF3c%!Tik{X`M8p>wUmy8wDd)j z&~M|bGi+AyXZKNktxox}h11NspG-(=433Z6F|EzAcV|WQocJ@Cv_z1)&X{`5hGi$( zxZzGsWM?H<(7g78^W*nAxv|no%Hn>Ay-AUMmN<0GC^wrNOt3ia>lI36@RfrJ%9`#K zs5C%cAaa844a*=-34I}k9~z@MSV5r@CoWJp+AI$>11A~-}4ST@eTY6k`^vTT~a;~ zIad=My%FHpsfGEl`kL@8(qV6&G5<69tdS1I@J-%rp&du%b5U1C0arao6? zBHR0Yz|u_?LU+?6T;@&r>e{#=0*#Lz4L2+|+59e+8<-Jq1x^&YeGCW@6H}j zKs>e83DejYJ(BW)9#c8WCO-sOH?fjk%gkJ;PYM7$1eEh-iRaSqqg@r_-!}G+OK;k- zoz{}el~s9ZvzR2nH?7TYf1~Y7`1fi^phUQfave@{hbRmNBTiyChXy4f3q#AHUAU~M zYBs4jhM8ZlWRK(aE=ifqmBTe9a_?X`C8(3N^L@zDK*J6en=m}ONrtmYnvx?s7i~d3 zRb7^#9iut3TSeSV`uQT#@mTkPHk;R&h(P$UZUag1=H){hi`JeySi=76t@jL%Y_E#7 zv!5*#U}yX5g5H>l?wP}ybi8CRZ2k-im-vL zb~4hWnNkU%7<6i;4l=;}R9~v*=YT*k|O3)DJ;9@yGa|P zyi+)s2B^U)@sV7+{#eu9_mUI^+eJu2DXRm=`6H z)V?@kD?9VLma^Sg_)O3^_Oa3femnBWhU=#OyU+-8_#hIfQ>AbiU^gtG<(FO`x7FmP z;L08i;LeAN{L5th06($`f6?oR5D>}IMGaOLC&dw6$8t7%49Fye# zoU{;a1b|j>3F2yG@@5xvERn}i?&0aV2}HVYlm`XtoOfqON7K`1+D8hWLx=X5GxLB% z8qAhCTlejtSS;&2OG`mJBV7a|Wu`Qny0;kC_?6{k8JRedq$kU$*#A<}(p3Gln^e@* zE#5yqGH{1an+6ujD%WApi_#Cz1jnBdXkg6#_8t7haULZpqunfPd=90zMqtoOWFn0Q z8c+{BWJ#r{yF}g=NPe7VXtd)8v9Lu$zk)ur{KmCwXam*!jI;=Y2GU@thB`V91BdrV zP4or|WEidBFY#(wNrkI-(fVwqF+h_(v*l0SlC)Q9LbR+885b3rFt$>-?{+II7G`~+ zAJE^E=}rO>56rA60CSWxL*@OnwE}S?muZZ7zQCCZIndzAGVA*}e$+%PdwV}xfmpLc zrC#TIhmS}0tca9D8>k$#b@6j%h@MaoGA|us7n5iuX!|zn1-xlaz^3b9)q4l+LspES z(yr7j_Q!wX&KXPD+eS;Zh*>A1XfIe{e|_sZyWCyCvj889zlX9oH}0Gm(=Gn9{t=Hr zH);=wBy@y$Mu3M$sVv<3g0>liWdKV9GBmVF19e$Lj~xk;PC zhGC&5M@Kn_N$|TDyf2`>PxBs$mo0JuY1TW;9YU4#K@2J>YqH&I?8Un;BRM|F0K8L4 znX88DH-KtIebhpQQFDYQk9t5)@RiQ&T@mmbr%+W?^|ZY8iC0xY1*-7Gskkz?_fX5R zn>o>dH3OJ*uxeZmPQ7=0VdiP=KO(WWYigvY7h#2CQ_CH!_%U5GKb0YZqp;!Q;)gyj z^MMiGkyYAeer|=7{d#4$NsGic zS2Ygoj)D>#Z1CSMv!rb^9~8t>9ST9`CmYCbv(4N_4y%HA6Gtjkn2E<`Se*5Mv9PVG_iyb_%eGfGx3oNB zoFN+o?iipEleV9$*yba@h!mByJ!fKi+A^f9wzhVAPJ(s@MiD)@;A1gyaj&aOD?E&n zFFzxuCejAhYlAS5G+9Dm96>>r2?Rq?w8Mf6@BdJH_{>+|Liv`?PFdYQr7n0uN$y|? zQW-vh-_z%?j+YnyGlF;P}jME!+OwTS&#Na+&eFF{}n z0DuI~%8>7xRn1rB1TX;i+&xqPx`esKm?eOo4;KcgX*DG+7)kp%{q%7>A4x76XUAD8 z1Hv9WlJW^*;32h*&tU0?MEH%Ag|`sL7y0x|=FhA(_PN#=ueqV9<=ig^-n>$Wg&4hk zK`>ST_QC9EcREw%Rou?GSGQ24cMb|f3J43MP7u!zCPfJNIJz~(%ep%`DY|~bpgfK} zj?Eqve>XMdavA3%IEPqxkDoO;wj?SiDuQq3p4S=~_ePKrAi<_uUm%3Q+Oo&CtN_dn z{z;Od2jn#8l|A&2&HwbWw*4F2{rqdUxCMowE)&m$bP~mp~S+u5o#`Le}g4r(69RaF6Q?$ti zDyv5fGIBhKAQzmIS#RHq7sTQ1&&mlPm9<0tz5gQ8jzo1ewfa-1W6Vk*{U|C@J5yAR z+4OLw5=9jBJASrAfkD#xNm@FdMZn=i>CHk5y|mN*kMqCIKtZ4$B^O%uxwyAj@=(N} zU#Z`K<^gf9LnW(LXMghMhjWiU`LOO#c=*HGS`)WcFtlyF5oZz!)}(N-I*ki|$H%`v z^*Iop~9!y;5#QW5}fOqqXu zYbz2jqe6xOvY->>2`fj+0pzWKte-M%yH@9AyFg^Bafq(gv6rCbwyLRJ*joun1%<-* zy`GPhcL&w5lG53JL8NO+>z|08-G95=2f4#I+V3IS_cGUQ)26U+jhdkTn)|A?ZxhPC@^>COGga)6jWW&VQtl4Q8VlLW< z#}X{<{Kw;Zq@s1b7cz3!!@0SB{q&EgfVAQ2fa9bR`$JXL%~=t7oFTBEN<;ym`h@Bt zER5-~jsYluh(QQ>Q~C{Oh{jshFu09tua>N)sOSaQ>#v2kLqiesGnf~MJ^}Rv(hJ-) z5OfFxrB;=CwIo6*aGFjR;;kl;l+@vUhHgDO`w`b3;1%AW_Cz6xK}0vta|izj)d7kh z=$bR(s)xGn=noW#;Cw4%V`JsITOHw)0%-seGm`(+ul+)$Rl%aIzw&(B>eLo)5hx5JAD{#4VghBx=) zWdB>08=)Wffaz7j&;8H_PEy_xBg|jbfE4 zcRd8g%*`#%{!c<2U}|a#Ldn#W6h0R>rjYmm7-wwd2?Gk4RDx|9uw0_y73^p5Cbet2}e7Q9WXWtS#*_FcQMa#R-16K$EnstECkT43j?Ub-bL1r7PSP=5)Lx z2p>BqJJP12g~DTFc{fl26MHrbUkhY+kr4}OEGYYgBQpjZVA*;z=M;iBWk1y zI1L+WxUI$UP)j96EpHbWZ8eyai-ebpjkGmf_itxAnbXlr#?{o>MhRwN=>R6S@H(DC zkQ=p03-99wUQV9lJzBe-EQ4AV*`RLgb8?cSeM2~{-EA!_;m2c99o=9s2RB>i-!_`V zoSZDpQS3l9Yv9?+O`&MHphJhcv0I!w#!=D zTHBng40w2aK1b7&&Zq{sjj099^LYGG)6YyfCgTY)U12aV-%mXI`SnRBM=uFW2PCae z=!jYeNX>tJ>@U=C{Y9q#mFf5_ye#?M9QAlzRNd{|Jk@!4KI;m*hGwzBoI1S|!*hLn7uByN@{ z+53Yt9X0)Z!v0EL8B3U>rJJiam=-l7&k1u;!pzNwB9iB?qQQe|viV6WPTEXS!f5@= z%*Z|e8HRyAD1QI_-6PG{--yK@@&cumKkCJTqwo(Nex_K?oJj+6C(+HClu!DW&^W^Ihi^r!eGEA9T_7#OE))f zl@)$c>e^;P_BuMlbx5B2W7-jYIx#t|1?+s%<{j=jS7-1z~G+92h7R} zeu9nvu}?dh=g71D;%fi?4!9-$-F}b@WqkkQ`hKJrf1h?I^aeov7xcmTrzHb9`X9r} ze>-nK zkjccO2T5cU|LYTye#oceMgJ{f3JPQW!!YGY|NjXT^OL%r)Ixu*c%8KUH^X35GURXT za=$#Eq$ZCO>nQMywB-Ldn{|x2k3W$J?gV+GmgMFBtxw=SiOWxxJf{4=uq2Q+Q)KP& zWJ2fTEcB5h`m@_dB}{)opMRgx{|)KY-zQucAbdw5xrMC<_-c)e&W~#5$F1OCKfU<9 z68;tA$|K|Q_bLCYnEk@4Uy9C1)G5G;^3y0wi_-4@X6-tWyuV^%|MyYM?}h2VWYPZz zZ1a)w{1bxnpJkhovi%cy=H?b;hX{asL0kd?T--do5R{2H5w?H7spk2c9e~yU?hgKG z%l$uYZGRtX{eiXR2fhCH8rvhi|0i??<<^nLmXjN0UjH99wnw7;f4PQsBIdu|_xqXN zM{iGV7#_bs4M1M7JieJWaQ)ghG&E{7IZ1I1FQXMhthDpm-$m~`RaBL(gxYXFlp;8n z&Vi{!Pc%S@PR3=1ML2pXB$n4amMuK8Gwmam4>YriCOm zbdmtw53_w5&M80dI@{yuz50B<|6n~KkX5hAZ+Bw4{$+`ZkoShgUdUOT?+i>#6C)Mo zG98Z}Ki(BR*qLD-%VK+nUXT_7dD_+*hQnX&IQrciGvV#0Amj15zI*TP z@xub9z?aJY2RHVMG*==G=4q+vXADMl^2riR!UGZOUHX^#oyPi$q#-?@8h!bBZQp*r zFz2vm(CFh{M(HR|-Y+gD+bLM{M1ttSt>K_M*;1EU8cbwv9q@_lekLl?F26FK>BRfO z6Cz{Iv_s>hAj{Z(?n#BWk<>_(VA`P>-lNhx<+8e4SmoA>jlSC=o(G6s>}N7s_Z@fw znD1Rk!eZF_UUP$yk?|45oRrsDmgYvK!!f<>)laZ8aMtnhM&J5Sc?{bjBlJ*<b~HS^Tn#EseLewa5guDNX5em0pZFV-E2FpZ!13#a4~}ys^u%Le14xFX^i(3mt8ft zy_B5a>0*bc>jydh7kJ4`^fR2dbh4FwGo`-752g5!yyRos7`D!ut(&>aZrC%Q|9OKG zEPaKqtlYl)$NqN015Q(DZgQQF?{|j`F7wVZHvJk6_avj-m;i8)Z{}ZkqDbGpecRM- z`=w4<4Y#1S5E_QPs9k1I;ZR$Vyhq+&2P9~8&m|HgIqAUzqbr}>#@Z-INo6ouZVT8A zJ|-ULlknPBmhBw11@_Kdy-+dOyKWkp`hefzV|JVcCymm4|9u5%SxkLA zyCM^6_dYsmdh;v7{DaFA+2Xe*f-gOIlfx=4*?BF#>^5$4@7~suCv3E4g@$r33fCGb zj*9gQZ;K4KzP#UG8GBw?gBM&U7jB&Tgax+xxjWf-FemG!Gb7l1e^m^7>GW+=lackA zuHprP$M-C}GzOoTwh_|F#3PFFen^IMBRTuX(9M=OmBYA+7ksc6OJqAGO))t1ZZ!lw zRf!0oZA%CGDe#Vcq$)Zx@>!^0ij4)e%H6_b3omY?j%Z@6=l8ydb(Qw?M4@#dH>dN? zMxE6gv9r#Lfk$zv;HoN9_gX~=gTmcRy+)sEq5VP+#V`8NKy~xigrHvg8NBv*9oWj2 zGBz{nA^5UdWd`2EA1loDh2%H}q(s3f_PE?L+AlT4XF~0UnI${np-v4G;l>jL+qIS} zBh{&bP!`oz2#^xiTOU+ICR#t+nE}zYWwPlIFOH`WboB-r6eb?TpP8M!U_uGz`(V06 z-(8_H_aa9kf_Am}@F4NaEPnHIyZ1#+H*ajEWa?rU@-EvN$aY@Iy#J;r&H91&qpgkE zSJ%SS(y!d`Ay6Ay)q7$R+nG@r48mU^e`c&uc$Z%PCRjWC`AF30<0%UBN zNS@%Kqc31f1u2ZF>cc56tMT@n?zF3#RhfJ*D{f{!BH4W+D5lwy#$|rNwS=1A3;Pre z+0AtBC;ilVMy^w>VfrOH6|}GO5=1WRFeH1fV?L6IzzcoGR{(Z4ex^R*&|ED=1I_{n z!Ooi*GSa8wDU|~adu05~IY*e$1g6I;(+1~Mo{JQgnrrp45(JkM<^k4F(PU6?a`tX*!zRPVm@ecDj# zcBsv_kMDTZLM;r;uQEuT@qS`%KlqqyzPP+8`lg~{tj&iKG6s73OQVOC^*cPga~`pm zULd0CWW?Bs;2&*BBSqvX@AjNnV)^9kD>e=vuaS|F4Q~U{iURiV&a1m@5gsp#kZCb(Ce2hfACDvo3SFz0n}N7b%YK7 ziT*d-3c*jK4T-V7j;Z(OoP3=>Ju2sK?94U7>efMb!0f2o3U)6Zr{Sp<&LBa$s?+b^ zuHYAqZs89qo4RKu#(MUy+`$;U_G2yHn&rEstTdrmgvR#Bt;OmCfp#TmUU;ISjq}iO zkv5fV`FDka6+;>Y*-m1s9yPgg(MY4OS@n$^Vk==5r_p-PgZ=G?#vfP9esF?h<>K)W|E?V`W6j z#l@w4U@n@3En{}uC@{O1;OP(-*7(eFDGj|j$GE3s92Ete#-k`Vte4L6|4!!eVgtBAH4TlF z^=;|6%L6@ku5~Y^3A_la)D)NPJVi2%F(1Rxl$|G&pazUQGaK6qU$?WYVnC3<-B-hv z)=}KJen8|?-Xr%0NwC1Xa@{8O8=updZ013YTE6_?bNIY)$rpD;ipf?eM42Dji4oC_ zeya9-(v)2P!h%izGp~A_v)C6oUxpt(*!2yl2J5F51PVZs6=O))Y!=?+XcQ<@+I_0y z{joEX5E`T(nwTq{IR&6rH-G{7K?RhM_K)Yr{5a{8MFRtb;B&Er5&U%BYukzJ3U_{`t7{{Q{v9(`KOnPX{Dkg zv-BrxgQG95ossHk-G54#4q%0P7&dV%>*;rol=3KrJuVTo>-tl%({FAK8I!{~vI6!B zP1Bc#%Hi>jcJChbtsHJ%rDztKdas5UgC6$DRRv`cLHQ6jgp<}eOgGzFH+g~Cl;!sI z#S-4!o`OOG_eUpocweS1ZyDo@>`=#Dxsj156HUTlq$npRcMi*&l8D?uqY#URjA7@S z24CeiUGd$<1F_u-pPi`)Ti|#@S+Qz!b`YDdv4Z;+f#hg3`FWeSYgd>_(U9G6veS!B zjI~|(rg44v_TSH4vboor=%xFygq$3d8Dn?+|cc$0AoAP1; zE$9h($@UgCOc;bBv5>R*&B?@`xlU7J5Ery29(l3}rqL<%9+!#v2h``eiMEHNpGUq$ zlfq<_MKg5um9BsK)frMC&)jiq(75*S?6BVgY@4>bedmgwM^dOSh%D$Kcn`!?78N3I z`=0fV%1u;zIJx+)VAHU{tAgOP3aJeB!)+H>bh%&FE#3afuM^pWP}{K9=jlX#?h-K7 z0Wqf20lCAca}ef(SHfoeS9>237XP?uedus|mLVzXtl6zyQVgudn(H7KvcBC@&1}|q zKr$g^6~?G$^^i_ryXo`i&-yRXRR~#>=jp^hg4o3)RY;MMPGyIbZG_2_PoyjFWqlnR zyS+XgB044VE%7X2O1bJ4NjYg-Pg1t!HPKO_@=6+xL`7tv169r)metlPwCGMc-xt)L zehPU00Ng?uFR$x(maN##B)jE;J2LDS52R+6SbJ#Kgx z85A#ER=+Ltv;*?kzTi+0Cm*faMY#J39jjQtLivRE{QV`(Vl78Pljh3Cm9?q1%r^mF z0dm5oRWP?7Yv|SvHqIB3*fnH4C9{5L%dDvA`kX2l<4stqs!;YtsqUT3vDU*~P4D`I z$dYf(r`JT4>1Ve^wP}~El1wquM$3(xJ75j#=Qx-q3Pw-E=XwQ4tL=v_^$xp*EW?@Q zn78*csmXB#r6WQ!x`ZyH6<^blSiZ@ibmW9y0q=kpiifmicWpZ*jYv}2t3 z!IivwjiUEl2|8OV=3E%{ev#WgQ=I&#*AH99Bq8QzW@bH8jVaoR z8~2vWU8`3=)lV4Id#p5o=*&Zvgz@wk*hQ9{{qryjvw`McLap`~FK=N!zPoE9?Rn`u zm97sT6cZ2}s&l65%g&YV?Cc~heJHgrd!y~B8F8LmnuUdB>50U%3ceiLm))3=hb%f> z=jq$5#ea^qG+)e@X?j~bM_piW`t;1@7QfxB+Xp$%P1@H+=Htb|xiXFpQ3HF&T z)vx_}k)9~Ri<4z>ad9@MeCEpBvu6TO*{F8aJZTq2vgZvEfIR2!3Ej7tjv>Crhjr?a zoy|fqjoDmp`nT2kuWySqi&Lb`I%2@z51wBJ3zP4JMWHd#X7?QuKtr7;?*e}=-Iu|e z$D;m7r6uI-oxNp}L%2|Pl|*dX1AvwXAd9}AUlO*8kQeFKmXRdc4wX^P_TTs207AES z)jLMRmdE4;8nlG2^>L<<=c?kGJ#>sVKcK$jFjE=wqveBAh3K3MgZ<7` ze#eoNC-!MxSbANu=ZN0At&TmnKtP9GRn#%g(b6%aSM3;2H2Gsq84FTp4D5i61`I*I zUlO9mxY_5lF4~o>2!L}yt!Z00Q%Xs24}89#0X-)d#1P?}8*ii`z(r0pI*!&vXly0# z#Y<*4;~loCUb?cb=EfuAz_9nq_y8)CaD~ArN8@>##n@z^GE=(8`(o{{weWf6ems*s zp#X#cuiaoI0eL6&WkdS5Hcf|~d&1rupGlRjF%jR74I(+*^dzXrvjyQ-!&b1!&g7XQ zgJG(HcNFMgcLm9c*CDuyXXG@vti!YH))(^4yW$6nG_OI^lpX2Yh+yZ*`6#$tKfi1) zT3~Xgi~+OFjJqi2&SwQa0K5{pWzln&t$56~b|>qd93#7Nlb=2KD6t?Ec@xRQ9Im=M zgx+!^>=5V zcY0cJ@b6~L$eojx?eul%3qFJ4$|y3cK-#_b@KX|lf^w-*qaOY~%eErAPH526!y9`G zdEXWbvc_|a;x6;r?0YDCnXI}dA3hJZ7#S+jg)?h84_bBi4ntn)`H5X1@_eRi_||@y>kA(Iw-ryZ z?yhu}_$+>38I{RcE?29TiXkDhRu*&XdqU)$pTt?X%m@>x{lH&wn(h5q98g@W{pWGuNR$NTb4nB$v4v_ zJ3Na~KDMF>raxULVZ@nRLVI>nYRW%m#~APX_UZ1OdL1l_N>iZd z`4@y5B*|T=Eyu( zDm>e3eR{vnZSm<0`?`t1*;f(Fvnpj_+m&>U_-Lorn;pb9dSt^lRpHE$@uvhNvuk_1 z;wG{Y6t>K7GF*+H(NG`EyCikbkazI3%qz!@|KPMJU5~RWvrD;_YY_5+&7h?yTD78# z%IWn^7Q0wTby)v?gxJS3%=g`}x4JVTUc*#7b*S|vg(!jvl5z89unytE-JiGO%r4Jt zD&Y9l2w9YEf!TDZjU|OHox(_rWkS4Oq36CRqDPot8P+63`gA)dw&uxs!WA)eND?l_ z)nfI6c$e_Fa#-_^4==AfuT6?iD`iu_Q(wQe^)uX{oAx<`b9aBIgY#m=`9(KW&~uafnw@o zbd7b-DTM_++_LioY$Kmp9|plLs*`5<1r4kgW8+eNTac6ObmCsL z%_T^b-N^TuceGxq4JoBgNh$YZhK^8GZdQZzGr`lMw;-J> z3*2E&;EyF^kj>?l*~>^&>~H!WGeBbYK?V5c*f<@8NIbJo=l;%{90`!dmOppOvf;Bk zi)`Y3?|sb2n&8K z>f~TI{FH&$ab)mg6(~2*gET6yi#&0?J8t`$>rE9*1hHo-)LZbeUNpb;yglN~P@y`L zUX25pl#I-~D%*FlLvW_Oj2T(RV#hIEe;EJcfVN7JhPt3ba%(+o5>~GWh4m}glH+vo zG_l5)WTr|M_NTNOp8$@MXZbEK`)M`Z1<45W@dTNkGZ=V00h2pV7|Y!j4WL8swPgeY zJru$Z@T|wjDY28L2C$Y|^3pz(>XR3N`qC#ara6D2gF{j_y+JSc*7Eo~=MS^jO=+#^ z_jFI^*MIskJ3r;r)am0KgaC+Wz<>LbHR8>>mDmI{bjGhw6&oPxo!%ah16sT-vqSu2 zeyIh6ik?20?sG5%uaAL&VW1!@;LA&zl27=t3ZpUWab^LxZsHkPEp@z>&}!-|mv27U zDv#?pci`eXdq+E#vdiOe;oRxSL`7<5%V+Z-gJ0_v+A8rOc4#0^CeHYR$Sc>yw+#Kx zadOpV;Wq zGxu)qepN=eW7XiBdIb_rFo$z%FQ1n>lxVyuqn%|*Peh+&#O0Ux39oBZ(1U9vac z__d}vog}QmCwOEG&X_9kT)o~I{pdyYWAi%b(R=l*qASyp^$Yirs~p&f8?RgtJbT{7OSwORHMJhZGnFrllxfMv>-yka zcU1B8-e}iLYKckssin$r7cARpjHn{94q0nGj`M}?*jv$=Pf8P{{HxU+E?l0GbiTFh zpfREb1wF8uO0GpjTRaGtzsCJo^DTe0H(Hi0$<}-2iVB<9*L7<)a}Ud>9_<)d7F>9% zbr-}P!wVESwCVZ_<`^lp{{H@yS>7rK7UmPBPIi#X&!RW1Q)-yInR8l4zcke;HSJ`@ zk>K2US9u$jeLdEdBy8TyYiOE=eBa4keRcrtE6FTEg(}oG^?P1s3_tvMUQ^F=w>t4?6^NFXuEQv|h8yY1Ox;YNS>GgRX`5 zEdG$58^9G!o5=YrJ+(s_C^n^y!*4{<@`duEh|vq8<}rSwYJpX{ES0GhY1Yy~UBqj7 zH|}n{JMZ@6GF2%VDf+iZ@n@ssE-g5Hk;62IOd_4_&*p|C4a8OJdQS&h-R4$(%|hR{ zFJ~mKYmtkuT+*7(uC7v)vnDQlNPM;7exxe1dygVyI*>$9BH~?_c=KE4%;a#b)fW39bhpUuA8VOJ#-44XxB*6Oa`~cGYea|pWG>u0XDvCn z>Dx9L`}`QDK%H4IogX&NjVb3{=(hM)8zd}=!=416y_qF)|Lb%|Oc;Sly+Fv__3GWkW4*t0K{YFco zBCFlHcV@q=PR;D|`3J%=Jn2$|ufEsr#4`ze^`T*q{Y|x5>Y-~|0=mt0?G~bk3b)>V zXyo5qBHF$qp}p`TA+IL?IVqlcM$BP)NZ;d&YKJ(X7CPdLsp9z8*Iq1xOoA3vC_LP1 zZ~w>k#5<5fNuVJlZq{4pa}r7P7>H#heNTuOjAht)PSKnx8_u7^_E;^yXGqq>qY;#b z*ar9Z)gAk%VpQLZ^V)y7h?t6?@*4I`#(R#JV#*tEHi(MJ=K>;xGvM4I5hCP8U!eVy zoeyUwT+q<4oRN0{EM*`KD}n4uJsbfuar|Bq!~Trlx@&qe1>yZ5hTuI1=ewWQ>-Gx2 z;(E)?KD3Z5nYCBZ7Shz8EF;2jNS&ZY^Ya5k%+&{0hQ6C~eT#kf_?v^;w<;5P5Sqm! z6}n}U1?Qek&eI@Pr6C9$2!-6|S{|pdXZQ7t&lH0^g_GUehusXl!{5Z;7CjGs@49Rl zl9geLE}Afvnr`8RXL?2}gv1nmGepn$R&k$T;L`izu0pHJ&%ENr*Kqom)4!4+u16Y6 zCr#-h?x)?_<(M-O;0d+_RqCn8p~`O{H=HFLcyL`N6+T*&JX!EP2s7YH2M1kuY*bVf zON2L}k$8{aoOJ2F_~7bz<9;8=EcK7pd%{wwiv*{%z-h6;Y1cQC6q}D|te)ym7Ds<|<|~;=2;$9^L4tb?>s5zfs-vrS!*g`R zxMb9o=^1Z*=v;IxQpthtf!i1k#`5@2nL>;cgDmR|*ER(L2qQ5nId0szPq!qzY8oFC zLl>GNO94WCY+hj%<5}32P0vvjK#l?m8Nerp`OKClBx})xeA3Gm8Mv zd>d51IWP)qR*Iy|qbK>bpgl_=t=upjJVCFC00E6{N3^haN`=H2WxhxRPJj+|wut}U zo4|ujsx#$48VUJQ)FdU9#m_yB;5S$^7nPV4Y)zPT6yx-Vrb!P>2NFgSR@%OPa6>-1 zsVjl1V5Hjq9Vm3{5=Y2TNiV*YaulT$Rsd-erq}oQ%gfbZrNv`-J6jqZ`194PoSY$k zgmbwzs|MBP22&vuCAyWEOnbHcAXmY};lZ~2U3^jmvea`^^al?>2P=F= zApGZ`>B%QS(7yO!{{&=fh;2dkf+2K_-b%EIz#|!CA{2ElXcO9VE`nl7(v(;Y#UM|P zL*V3)261!j3dBkAV5#*u2SZi6G~5@PbPDbj4E^0;pF75<8>i3W10F6D%MNa@Fj7 zl5TUr4=2uL3Hgwc;xVe7AIf0WFEp;y#Oww--j91AZRbU=tZps|CFFL+l1bbY=^nQ2 zH3lRQJ>0#Saorn&ysE-(@JtM|5ekYP7bz(nuQcEukg7KNY`qr8tJZu7%uZ|#Y(kmJ zZ|xLKnn1PfyYMUCp9y__xGTFj9!yVN<(ut0i^h?WYG&K#@uEEIYCypG1PVcD>@2CV zU(R(6%k-)62~a?lPi9og?V<|I9QXZtW16P9hnRf_)RXSlIDN7+>5>FBY5OAG%DEMO zqRLBq>oI67%dMI6#FZh4euGDf>7(*A8tA~5_Fo!)Y;b-31M)V(rSAutQt@H#Gr|ekaw^@amW~8xCd%Fn(Y@jOzBA0aF{c14@7BGtm)@PXEmE& zFAt*Z551wFw|AL+XWgKe>R=5cUdCdwlW4vnov6G*ULYJN0MW4VG9QWYjSz>R%KX+k z%SE1NGnGoTWJAiJ^?5$H$-v2W9)m2-R0QKeYZCi<(z1EN4QV>*SWdQNZ7h(8dYSyv zJ$pv$T?lL0<1?aK>ys_FIw?*=4QvJkGS~LsWgS>d^26s8p$|B|yvaH9zEnR|I^l}r zI__!uqr~+qm(=8EhuRlhbk>jo&WN z;N4!Y8-8l3&~~^J%;g(K6o4Sv*m%W3?pu9{Te5@Rh)YYiwLdb;MeKq^evVE{p~DAi zt-+ZyNx%Xbh4}= zkK{@;&46jOI4hbk<0))I%&1LN!Dpmb+U#Qoe{+>}-sk~{5=;rQ$u}&T8FpBPjn>pd z5-8#(D5v-Dl>Bo-01^#jI9nb=7I;hJ!7wQ{9MG=xE=jkUh}v~OUcZ5 z%22!XUad6(_swoD>Cn`HB#^jlV;#<`MCAm!WU?HtkgTM4m;v%@x6Rk<=@_s*WLG;& zoR2bIMO#A#D}aQAuwsk>-ZtftJ97_1OSDe4+{E$)zap-z0nM_j;UMd!!`&R^e-0$Q zzE%_(H;d4ev|V&4`;r&#`O#TT3>91QK-kx(LVBaYWX5I0|X=as(m_jIWlzdZcL0?uXp0n}73&*m0lP%8j@$@(r z`lcwa*L`*UHTBA{$$3hIYxGT>X5c|yJ=y2O@28Pk(i@+%v>UI9r55CO7BQ=fnKyCW zKyTq-3VnK5KRJI2;Yv%kYIe%u>rH56x3WYyF4t+A^iO2H!rr@XOc)oT-<~D|b@v?z zE0%4^FkHhSsSy53iZF;b2G@ALnmK?}>73uzd+l`rOUjmlGNKC?Vpk4_4gD@B;~Tly zh#p9OqN7fYVjr<7u$s=Y#|f~L#SUQa;JB2;RTp{Qnt_gvZvTp~2P+pZZ?!9sQaV8s zV$%5NE>frr0S4*z?{8a-z2fC<7}G}{_x|L(2qJ_rz1Of^Fb^HwF zZGAKCm7q$4*SdeCT1{K`y2+s8BO@@VO=S%(5^#v0M8=Rdk{Ngg{2xp-IVokyGN?(& F{{d_Esxklo literal 0 HcmV?d00001 diff --git a/tex/sections/01_prolog.tex b/tex/sections/01_prolog.tex index 65792d3..5242d2f 100644 --- a/tex/sections/01_prolog.tex +++ b/tex/sections/01_prolog.tex @@ -1 +1,5 @@ -\chapter{Prolog} \ No newline at end of file +\chapter{Prolog} + +\section{Introduction to Logic Programming} + +\section{Usage of Prolog} \ No newline at end of file diff --git a/tex/sections/02_agents.tex b/tex/sections/02_agents.tex index 777002b..cc4c819 100644 --- a/tex/sections/02_agents.tex +++ b/tex/sections/02_agents.tex @@ -1 +1,6 @@ -\chapter{Rational Agents} \ No newline at end of file +\chapter{Rational Agents} + + +\section{Classifying Environments} + +\section{Types of Agents} \ No newline at end of file diff --git a/tex/sections/03_problemsolving.tex b/tex/sections/03_problemsolving.tex index 102d0e0..d0dc044 100644 --- a/tex/sections/03_problemsolving.tex +++ b/tex/sections/03_problemsolving.tex @@ -1 +1,42 @@ -\chapter{General Problem Solving} \ No newline at end of file +\chapter{General Problem-Solving} + +\section{Uninformed Search} +An \textbf{uninformed} search algorithm only uses the information available in the problem definition. +\subsection{Breadth-First Search} +In breadth first search the fringe of the graph is treated as a FIFO queue. + +\begin{center} + \includegraphics[scale=0.5]{ressources/bfs.png} +\end{center} +\subsection{Uniform-Cost Search} +For Graphs with step costs the BFS strategy might choose a suboptimal path. +Instead, one should use uniform cost search, where the fringe is ordered by increasing step cost. +\begin{center} + \includegraphics[scale=1.5]{ressources/ucs.pdf} +\end{center} +\subsection{Depth-First Search} +In depth first search the fringe of the graph is organized as a LIFO stack. + +\begin{center} + \includegraphics[scale=0.5]{ressources/dfs.png} +\end{center} + +\subsection{Iterative Deepening Search} +Depth first search may diverge when considering infinite trees, +instead one can use iterative deepening search, where the search depth is iteratively increased, +thus yielding a mix of the BFS and DFS search strategies. + +\section{Informed Search} +\textbf{Informed} search strategies try to guide the search by using heuristics. + +\subsection{Heuristics} + +\subsection{Greedy Search} +\subsection{A-Star Search} + +\section{Adversarial Search} +\subsection{Minimax Search} +\subsection{Alpha-Beta Search} +\subsection{Monte-Carlo Tree Search} + +\section{Constraint Satisfaction Problems}