diff --git a/.DS_Store b/.DS_Store index 42abf3df485e6a526375e3df4ecf76b5e58dfd43..c2eba831d55e66fd4890a4f67f50fc9e8c9d13d6 100644 GIT binary patch delta 37 tcmZokXi3 -Output written on main.pdf (122 pages, 7927165 bytes). +Output written on main.pdf (122 pages, 7927212 bytes). PDF statistics: 1831 PDF objects out of 2073 (max. 8388607) 1562 compressed objects within 16 object streams diff --git a/main.pdf b/main.pdf index 615605156c37013e407ab5b525901e888833ba0a..f43940be08275c58bda4d0059bd9ae29fef3c0fa 100644 GIT binary patch delta 7590 zcma*rWl$VV)F@yUhb#mL?gV#&ySoQ>7GGQg1Y2YXydgn?2MF#Ci`(MC-4+Q12^vCx z1PF5X-ru+C`>N*YI@NQ|RCRaN^z=L&?_$)P>|#U$AOIb}05Ab802{yoZ~;63A9x0U z0Rn&!cn%N&!~hBK0w4v*0CIo=paiG@YJdiy1?T{JfB|3xn1Gi6Gr$6{0&D;~zyWXq zTmUz~1MmWT06!oAyaEIPAwU=q0Ym{YKpc<&BmpTv8jt~G0XaY(PyiI+N`~LiB?L3) zyg(eV7Bj8X-4TM`nfh7JimH^!xC%8d_j9%{EOka6>HKT77LM+V=CW`{p`45Q=dx%e zUy0Ae>q^QrH!)|?s6YMy5;9fVZw8er+?D%wURu-)Tu0>anH))Ou_x4o-P{w^4*H~? z#zN@47FZ5?7_W2Ddqeod;)eg-?bKgU)V1NjBvrvj2uW!Vass?Aj0jjN-vG{Zl2(RL^Bt~+P;d{*@fUkiN-vkgRwuhI{nC}=7~7hhJMWySVx!DQ?0(I_ zoN}>8$e0zQ@1AjzwrYA=^5+bE4e`vV<{;RR*XMld?7n*iuJP#j5be%wOTgzA>beOt z_|a%MeGua5;lyRUXAwkj3aqP*N$TwXwjRD?h@S5(YOpTOH(iInG0q-n8R_aIf!3{l zPYH`rbc;MTw2|x!IGG{OAW&w?m#V+OL(+8Z-Kxro zgv2*98BND4@C8#zwL|l$)-wA>4HV^gfU_-*4Q)`6<7Ne&5o=E*ITXiejV78 zhUrDy)f#&`|APAYUsnm_pE*t)!pa=&LzJ)x)Vh zTh0i5ywHLz5oW9)O%91s??JK$Y2M%Cv^TPT8d%g3O+J4l1&lhsX&%ry$s-`vHN(uw zpF$J77*{Jp&)ag>6n0Zm%$`Ju{%t=LAB8QXZh94>wF*hEz16Lb^vxJ?-m4UPujHuE zKgF+tqb_knVN%7(!QtB7Lk1&72rYaqYq4g!Nqn!zx?aVn_tB5bYE6nj)}NcD$7PnO z8ojRdQc*d6^)LAAdD!THU3_r4_cVu8Xx`46SQksd=`^vzdUv45+t%l3F|=WnRTlNN zA>0bznLz1-pz4#_XrwlyhnvSpL$2f27$!dU0yCyP*<%fYrcGj3vl9z#p*c_X{Le+;+k|FU%V|!Ti!Fyhv{ksAuQBO-3 z-FnQ(r8JNJ1KX9Nz^yBo_7H>5@iNY9?1-cOp5#;eCNEJ)3H#2ZtTbKu-@pn^N4xU+ zQm1{L#sXbe3!5=f&5cimtXU<~;OF`jn-$2bJt}IxG;Uo=jGvj+g_!Do5EW&NlVMe~ zm;Xtw8RSjK2I`6kHqs2Ryt1q16C$5)| z)h@VSNC{5{MYr7a7|xdGO!mS|{{^OBTT^e`o6g{gWvn~)ND;l0h-g2Do8;uX2a~OQ z%dmn#>qV8S|FJME^pYia=+6tQo1NLL7oPu|np8?{9kX&y1wQ|bGG|8nx$WAsZxW{S zo(PRqOeQvndp=|j<_vTiMi#PT2z58L|FSr9rx`+o_^!?k><+8yuS-eiQTMJX>HdBwKK^;|Q7)~1)Ob&5)_0T|S`lkxF zph0ybL$z?!i5jbFIuGAhKwRRNDujJps5M)sT3XuR$5rZqhBR&6$0ge>$$#T%qM5be`0j_&6rzs5FmbX+eXSMx-_}GQ!YI(jsWIf_7h}@r2ONG+ zq$iejfq$dX!LZdW2{n`jFr+pH$wRVYiGA$(4V8zwmKF5 z=&~)ATsHfL&YhRs6KIfA(X(QNs?hsg+JSR!?r&}(KHH@VTjiNH*(st{UO0DAnID{O zWRE+ZJoFEG2pp@YoSENku(&y+Uv0(8M3;{ZCl^#=!K7zOL^JbhgEl1K zqYEze%JJIwFTR9k2Sp4py*?KB55lG|o~xnI47*&0ephfC0@w29r+bg>2v_Snv*JnO zg68uJDDCwMc*AlO%4w8z9#gbs9=E^IN`f{QxOVh{y+_eoW&-`yn zfWY&{jl*?N+%eru8*cX}NX2Q8Vu|O&_W@oSklOAipKKHTNbyl6n)!(gz2C1syRlqW zbi$hbcLNX_21hKP(%!M8T4SQ;V9c-63WOdUe}s9tV+xK1CxWsmS4eA%yl;Ib%}9Kz zFxCRH?D}04`Z!61DDI4wf_M32r{Z8U8nD^6FyS5bLRw_h5f!$MGc~pml4XN{r;)r= zgW`7?$M8bY6)ao#aj5Zq{tACPg9QG=0rU(el|OU>?K{Is`{5ge;1@k3{3RYGk$T%(zJ>Ws-_Ifstj742qtGBNn@f3>sm& z7jRZ#^%IQWQ_=!&5tS0lJ%>st$|x!*swiqG>L?m0nkZT* z+9*0Gx+r=m`Y5ka3{VVFj8KeGOi)Zw%uvixEKn>_tWc~`Y*1`bASiYy_9zZ0jwntj z&L}P@P!v}bHxzdi4-`)nFBESS9~55{KNNqI0F*ZGVJIEc5MYH+STG=2?7*k0Cu%v28yJ6z=;UeGd9a+IYO^D_6AD;J zVT<<-Bu0gFN>Z9;1a7kjbE{s1R98i3$2xD*gUX#p@c}g0r9Wj zB7|S4(7;}LVBo>g;R*wRvr*(qQp#DFdC;yoY}_t+F$-R#!T^24b58~&XyBoM!V|ML zzv1~+F`bHG#R$$^V(~S}v2xt3Zo!d$=T{~;D?A+N?6-q!K|8@Rxy;baxlX)mNK%n! z;Su>F=k3;e?Bj2`if;}vKi`?Q@e64e9?44L!kkK|;8emglG#3lo>aUFS=ghqbp=O_ zGcotIM;hCB{lQaSO9AR-~*GyzHbP%co{6LT(#Xr|HflX$w za%pf)``^O-p-pR84ewgto2a!D@)hN&rK<2pO+Z8bhybPtY@~?r+CQ$Z>x}{?A52tW z!2}*f=>@J(D;%-e<2f$e%O0|em(I_;l`EhH(T)4BR(m)sq%5eIVm7&zQ}L)W=~02I zVfiVmV?$`ytgsK|0;*^IV<4TUSRvQ%K8{K9!pi>$E#8%Z8WZ#>jG|g`bmD#_c5}h; z;r5DO-kHWM$CqjCYJ|Lj%0Od*D_HbOX{>j>WsI+O%&LZvB!Qj=dF>@)b)iZnqoqWeg>id+9X1TBVU!tkh0w*;tD z;}V{vvAcpWJ;~2rqQ)xqeniOUqHYxOcVsrpXj24LDi#$;M(`~Z9LWC^pWp}9{VR>i z%TaK!51F6wEo;F7{4IjGXaVuC_mV!_oOEMe@%3A1a;(=AR^6q=FT z|C6_9u8(hb;{|NG=+&#v1V9qCjOd>u%2MkKc#HC0F2?4o8Nv?JI*&wzuSd}f=~q>R zWw@>D=vzZ}-mCnHFzQ7%e6@UD0e4L?i_<)Iyq0|tIk6q^cB=D%{H-ge+^3*$tux1g zliR59{DJPL(|+`1@20D_Hou-z$A8{DG&Td{Pi1&>^Pt1JL=zL#*%u23j4FRmOesC6+|F*a|w&WD*9P78RjcJC)-p}bn z%@ZxO%>xt1$v_C2fvUHq+tHR0lI^&BQ4`zvt7xWC7(G_`FD$jzGvXy z_4%}%B@8Fqseil-PQ-yo0sjg05a>apk2z+7{Iq2Cw{Kf3d&+6J;HNq)?tDdHwRHW&v9$7R8 zYF@XU1HGH-m8&87kHA&W$Ti9D^Wp1eir!kJM#7&kQ&tih!8DFaEn!Lbxd&Lyd*PK& zO@}aLtW4i>zFih^EZrED2Jm#$3vxR1CGVME!oo+X-`lMtJ%pvl|A| zIJGfIPQcID1Wm>nqg{$ViI`gus`XX9}IQy(;?!hzIHmXYagrL;j6sK^Pj76r4o^-(kD zbz*vijl)>(YxYLmjFFK)u&mbWFhLma@CfY*>qBJZ7%##K^uh*WBJG!iB(wB5d+@Ut z*&e`XNWsO-1pPZYH2w9R3++?{z7~|kZ+1YGQ0JoE2xm3_W{@q}Q9*onkJk^cOKY=8{gDd zk4aQlYghgq8=zaVKi)=1j7QP>5(}7P(?FJvKie#W%w9=>LtO}=UhJ@=H)ayzAuOv> zh^>CMcCR-=-l{hgO{b|+R1y8;cCV6y>Mg8i*k1xx`C11j$#s%3&@PTCgO}cZT(up{ z#LrmJynXCu71d_1Y$61$>H&HgTsViG4tXtjL0o5n+|8U%wNyD{UkoG<`l|T7nX_kfW zYBY1U-;1O_D()D&Q`Z@~CWv%tuGG5jHE4>}NL=U-eSZos4U&ST}9W zT>J88ig#B+Cg+XfkSThHD2D3BgEh-4CtJo5&<6AJeRD>w=UnvedxwN=uo;M*S2oN>XBwS1T#ffJ*4R}O?3C~( zLGI$G@fc1fqH35yitkLi9deP`SLcIag#|;dcB;Zs0gy8sK3c zAK~dZ--&O@=;iu2Rq3(#{pp_={)MYajxOu6#g*-RptrF<(XsPSp3M4YZ3I7B{MKB8OmiB2R&`MUQpS6bwz%Gm!Ww$<|s&)t^S5buYhuP(W* zlOFp0r(yLqb9cG(O1i*Ft|)1*GuXGUzYgZcSj&;0R;g?zf6E@x}12fD9 zJu~#Il>tf!;j`=l#j>hd9trX4Z-Vu)S=^2`&$3q(b6X@?k{(fGoC} zroBZtS5^w@o|^@A^PZuciAptV4}E&pydqn1!`i2(`}6tl%eT3zDyvR;a$$z0fhTnf zd&Gh%vF)5g{B{G9`A-#GlC@oXHtBGOcr8T_Vz*0TtyrYrY4ev`_9fk}kCdE_Wq6Hx zs}7r?OPoyP1h4GG9c7B+V5K`{$&Uo=h=yxz=@R^I^6w2k8`!;?0hvOs0o*XbV&s58M941(!4AU_Pt%v%;; z>`QKuQ&Y{fMsaYU#TMX_#*o|()KwNM>ze;WBU=(BHeUb*#>hbUIk21xXpJH@XVE{) zPa4c9Ut4aKt&0?pFGht#>a|^KIx!E=&3rE)gGT|SHhpEq@EF2m%sdDKv~}?>y>Tkv z?BG;IBgq?4MLHN=J?aB4MqaG_n*o2&VOvkZ%!pec_oDN)T>yvlmt zWjrBhZ7)B}0?F1+NZa7GYsp&GjxGx2dA8k2OFuqlu;OuFDYZm+vM*qj7?;Z3e03H> zoD*WF%08ge@iJ%iK_QmKh;N29F2^s_R_g%0V;ZiYxU)HF18MqJ~eOK5u`bwH5OF2jUyM zUelgQVixs3Z+45W_q*X5%}m&k&2gnQ99D>2@mpmtKPL)Dx-K#<))B4_!;D9Sr|S)Wc|E=hZ}@q>#-OuAxPnHe-B@_^wRY^GM8QxhQ>xO*f_V>COTF*6J_~{cK~&@^0dvk;3x#Uv>*?-bd`2 zr7%~mwC5eut^#&PF0DrWLOxe@*6^#p5sV+h)m$*3gu8~Z{=@V94~cHK0Y97e52wwL zPaVtENV8S=mEI^BSKp6gy8V00jEH|z@p-P3LBB`7IMTPAe_WmV^Q6BUzj=388n#+r z+EE>@O_gO_U+t|KrX8?0MGSWSLGwEB@~5ehTSLzIQ>5m{z)M3|y+P{cecO4}qDPy3edVHkn`*ux zr&n9<-^xX|HZRLZS$eLC-R9f$ueEWZm%%LQqs6yx5Vib|Y)O6G)4LZKZ>8rlM@?aJ zUq)Bxmq1r<5@oP5QCDB2&sv9n(t53nMq@%y#b#lk8jPV(E`B!C?Ew!h6icexC2$qF zT9_Ji18-5X{dwq6E^Bw?@WloGrHvZ(p{>JG_)mTgTHUF?(VY_W?D19p?{B*^S|)TN{R~K`XqazFNY@yI*Oht>zYwb znpyq57V(!#QFg*K-*>N>;^(*a=Va&keuH+=s9JHLQnKPP8= TF$qCIAwdy*R#p`~Rs8=09&3c5 delta 7519 zcmajibyQSc*eGyd7?3XMM!F=2?oztDbLehx1~`B^gmj6FARyf#-67pDfP%maN-3%2 zH{ZQ~-*wkIzrCJy_Oth?b$0W^=~e|^ zt%g|vCJ1ar4D3HaU17FEi0_+2H#!Frw(JO#F8QNY#8OBhQ=^*gW>ojfW&f^mV&(dj z&~^U37M9ERSUq3rAfv;#|NZy;g1RmgrXj6P__I%1-iJy6uM_K4*9+?HxFcU?pPqlm zA4tb<+BeG(iRHr(E9RzQc@Tgx{G)DebY>0m^9H|Yk9U)~_&fjO)$iMF4`IwF*3ZI4c`X|wtgWoISq=wf4m>RCEoYqc?2DGMt6Q(FPH-011F zyZ_5lF!KlUN@E4}Zsa78q5O+zDGYhy={qqmw=Qk=N z_(mjACQ(L8dlDV9=i5@&S|LqY@yNXO_8a%SVFQ)W;?SzGb~bl<-|?<9DC}EsVR$RX zNwE=$gEB@2tQ~eO=fy!9!Tvm`?+Zb3S1?%e&)@+?EWa-*`);FBm8=_qe?62L{Zpz( z@E}iyuvX2vfZd3|0Zg#1b(+3jdkE?;Kp3!Z;3c$}w&eBK@Jy~%4Mer(`07eASgu=0Qpd_PVt~)>2L17iungQW3f=>lgGc@iMd6iAO z9j9$V-G->OSjG_C*JqkD)V7h<$hE+{g~F=-)``zFfq2(}_osBR&9N+)?PAlwHf{@R zD9fD#Ys);zL8;S*T&^XVkNp8!q<(5a4n1=}ijkDqe#OF_wYHiLL!J>OI#(UAeKryw z9^;^d{vH2eVHa1}nppU$-#{9RaAdfx3v5X4uttI%8GJgJvcM0O6(K+D#rZ+n-7DVh z3tHQw!nYS4%wQ}uc7HF@KokBe=?AHWq2Ia69Ht@hN&It;Fz0LUj!x&$zQBdA#ZA#X ze?Ral2~2cUFj?&x!#a5X61K)urf<;%ja9;%j=M?8*e+u*zZ9NYND`)EesPf zr5CS6!tG|*1y5l5>`f$kqd&XpJ@747e|oxGgd6dH_Rh;T6G>5LX+bA1uQWbhZoy4lA2XLa2fhfiLsIsH)=Q#6(GlL>dW zl6{uf_Cf~)B6i?x0_A0ITa13;{d(xmb&sHr@L5ki+!2Iry2lkBt&HpL-p&5?$x0L? z@_9fMToFvzw0>j88)Q(h4z;XG`n5cBX}WgO0p149TWyZJqMCn9TGRZbpt#qFC_(nw z+cDXwYE{%(Xir`AeFob16zYlg_|%zV@kS>C7zXQ$(_~;4yH=!|(m%8O7$lak_YU_! z=;vA`MYGXO45OffmfYmPlQ5nX-mllTQ-{CYJ}RwC)W_SLFw6Uw%jX;$Fo?DkU7fFb zSQ+)ezM3Y~m78T__WkYdw2Db~#Tyk)jcbYeXSxsvdaiTG8jS6tj`Fi%IKZ_PQ3+oY zJ3mq3aG@zQEtpd0|1!QfjZGRjPUrKT%JJo_7#0)syDgb&ZWgz(mnTAIZ$M8M@iSM9 z%7e+~=Ur8!FZRUBdv^}o_X^?%kqeuggsQ9huyU_1G9lGHq7Crx=|qN_K++c{o@$K* zAZ5Hrnp3#LCHx7*!QRLckI+XR-a{9u==LG36=eJG-RI|-HJ7vQi}=%WOC@`+lA!H5 zEP;+W0LI(7-n4>M$7FB1`!}DOV`;->^Pk8IB)WL9%6XI3ms!8Oar{qZG?*HAQe3fp z3nR=c+!1PkyQv%HRIr=5;^Gj)q<=rL$a|1zz9TRF>OAXb*udYur*PBXt_ z^3G6AhLTH`L?rhPP$^#YC-2ur`blQQy5g41L1PzRJD5d^@2Rp4h8#8A}(^%@( z#V*SwW?M70gnMZXCXMT1#Y|!1L2xJK{nv(j0dcH6XIVeEc9Q2;-MO3~NmqWnFj!UG zLeMY!e!bXNM(nO1_O&**lI=9D2p=`Hq=pl1lhw(1GONKX3!;Sigv^AW3GPQv*T>nG ziZc_G(`~6sgDf*2+MI?=>mG24P4BvTwqkd=FRX$dkJ-~|GX@2d$gg*<;6+|2rmbM* z#zkxuRncgQz6>QMD-)e$HCHJ>ex4Z{-L!LSy#97@iHZ; zqOKE+`H;VjhlFQ0@Ti4xJzGDI>7UnwgHyd2+MQhTIsSzzPZReKRM1q>)X>z?G|*n4 zy+qSQ(?Zim(?Qck(?iooGe9#$GeR>)GeI*&Gea{+vp};%vqG~*vq7^(vqQ5-b3k)M zb3$`Qb3t=Ob3=ooxubcYd7^otd87HD`J(xu`J)A(1)>F^1*3(u?H`2Jo?r`!3XA9D zt%NcEpQx>CB}|?`UqxA6R8&}1L{v#!Oh`#cNm)fmT~tj)LRDB;T?is3&ms%?|E1XA zKi78gaSMX7h(SdDZxPCo@9t&25}vS6??d-;Fjf z-Y&x-I=Q%KbNO>+PY4uQE$LD04rHq_%W)7T8j#Ff#M}s8Xv`+`c6Q_mLJ1GW+H5dj zsGk6dhbWs9^UkIq89A%5O`w6$L0}1qbIgEZ9kA3-Y)ycunv>AYPL~joLt;6_aF1CW z77b5V5F^ZY)d9f1qVK;3gROpi*{^Cb0IVuU_?^X(0MC3P_M?d;(9Z0+s-CK zfMu;!P{bT@36Js4Jyc_^124E31Rb3X;!}Zp#8b&;_+hYJ~c79TiyXJd&Xn@{G({v-J@J)KGiA~ zSQi##_U){gSZ%B)v<2z{eEIe^jI8P3HJkCGLI3I*&5`ZX8p;~rUH{2m$vBXtmD+zo zSzKWhLLsu+%?PEFOmau>Iacj_+nS+I`NeM64S#k~6<0uM0lupAnSfViJ-%!(P{S5% zNo&cNiQym4ma4+(=qg7 z1Vn5?xn>!Z)!SAOBkbwZ?bf8t1i_M=ss+8B&RcG ze@!)eV3*^6f(I*~%ca=_D>I@WBa@E8!g$Uc)vPY*uYsB33WXre%?sZA8>bKYBuBFO zAF>3^NUXa3#@RX*p4-(}?cU=Wqv~H&>u>}&Mik-ox%hQ-xo+AbHf$%8cNw2o6l#Zw zOVpnl<(?PG<>ChDQ1yN#cu)cvGgVV|j##T>JPX@l)U-P3M#y8&4&1{_FSm!+MWR zu=P}u2sRB@tH;jn$Co6SjxnjnnT{jaVr$1uZ>*_JM3;3|UZaXUGtqUTfbnq-ctc@Zrn;enO)r&{hA2Q0KYUqsfH}7M_ z_FP*O*UX-M7QP*lS`tZ>!EI-;Q6hkf++OS(!{~8ez7y*7HOj}q9#0YZ46UW!u&XKt zy;D-V&X=<$W3|J>8;{LoQtO;N=|zroQ8O^U8aoO}AK~+m#k#?KL;lmin1>ioUkv3I za?ZnOKYN55$D6kL?n*W5io5&`6QuJ}U`f}!`OwaUt$|hLO?roFi73_PEsx2k_G~gl z3M|K;HuRTBN*u)&yE%r|7NMl;+(*j$tEYM@8S*?S>zHGZlKl2te%~7Yfo%#TSZA}F z(3JnQwo_^kS9*`b50l^WTl{TMSU0MJyT*`>&+i4{%a_HwEOQ5H6Sv1E;T6eXZ4?gdHn;ZCuGbyY8V&?OJP}g zPVE=ieP-@aS>N3LZRP|MbNu=`dATU$8Ih?nw>izW{d6|Xt*?5oXwmrHNW@S731;DV z9!1AO*X`YRVNwyKT;nDOT^Brl8)vCKNIUz{i&)C+O~coW3*|NSm3FKn+C|_AQ}b?i zZ*X<2IDBw^KcM9iX&Io=R&?$tssW?x(UidmES0GC`;qcq?Od}S+V?4Y#5#tq&dNcn zPIE;PLn?W&a zxFcK`R6{82hrDDdBj&8RfR#T#zgxb%6LNs-#X0a@KD@-`FbOo*mTH%i)OA(GB3e2|L4D&qwj4dZ0>;!UVQ$P)Bw=P8zCK>1qWEXb79{av9M0^Md_@MaII4FT!tZ>=Gp-MI)lAo^Qn$zx zh44Zwy*27QtdzK*Z7>wbE`1rZL&;3{Rv*PwPjX>?toX6nb{3ZyLoSZBUSVZdS9~ra zW*9CyN?FeyD5x(?NE}C2r6W-F=V>lRVs*$xxO<8H#xG4l9_Q%Y1H7r&msNar`d}HF z6s9AxszbrF5W-K@wLK==43c;$AaBJ;;(C z3DTFv7RoG_uNpx1tNFH%ZLh`ej{+-Kam_16aTMFc1z@HX#UvM23pJsE$=^4)jtT#F z?Le<0PFqOvO+nL675l{>j727r1e|^BxmXMKOi5Nd_9f(N^|}Z-s28ZB{EHg&cOPW3n|qsU!r&dsJ~BRLnt4 ziImt+TAseBq}q2Tw)oMVDj2n4X{KpBAVvE=qu(rV2cy?n$k27fawftfkx^8WCDrmU z3zk#rUZCbSxRVFgLZuqV42o#k6TJr^via}6c;x-ZAou{cUhVuD`m-Dzk>%z;{X~SevDNveymAP2STC5cx`=j8Z`T;XwElp zMR}4^q%MBalXV*JFt?}HJfKJ8xL)ryELvHc!qhw{X7kKOCRffC5sN>0)5Fa}s`vh11nz3Cgy30IBe28%GVt(JEdyhGL>C*#wU%SwOq zwvSAgYd1MQ)64!9RseODwZbW8A=!SRG6~~?kZkL%qEg1 z6K<%F^HqrgiXluN&QbaO46<2?h5ol$#ER-DHRGk{NqI$uJB0+Zd+owD`J^@ZprDtt z#8+^2`hO249`l$T?X=>i#nbAaOLi_}qmj%9IM=8#EAJa`iGzl@%0m1Wi)d0PBH~FB z90akHE9H!04jPU5z_UJSWdxtvs}V*XL$9*h)V-U%6%`6Fj);5!z%kcEuyk&>MJB*0yX4| zpu2Q$?2f?q8N+64A_Zp;ipl;q+23Ye3AK<^ot4x|M+Njzjxv@)pU7J}Cwh16@OcER zmMPrEZ@@mj@=G1?FL)Ix?bzhqTc>ZwGvalV2&?mp9sN}D3ErbKxq6`|-;rcdkgP!4 zuy`u}ku=VEpFenI6F-aGDeDMN>wa6u{qOUtI{b2h;L{?_L05}tCG!SjOZAyw&*EB% z4|b38OCOGUO=AA{tobw!3g$CQzeTDeOyvtC!LaO`P6dOpedTf*=zi_8;rERa{6?xo zl7eYlEx9&!9joG~v0&X;f35Du3j7Z-C85W$r9J3x$B~Tmp<*CS5$}7g?2db@%Dsgz z6WJv)-aL=s8nc#$dWVXlBp%~eGfOgG|49g3_D_(>m^=mzEr&k%5-(}6g>+x?h^MS3 zyTNV)9DFO3kDb2uRY%xF8~t!9p5V;xr1x9!!Ly&+`Xx#aJJ>Q^y;KQ3Unf?%5GBGau}*mWmstQxErf^8FG(^81jj;dCVC#_GqSW*f;TL zq#v|1 z_q#b`P_$?s^CCD!4xEGDdf|R+UjkE6$z}!6MxA3w%lggjlY1qg$M{eWW0i09Ke?u< z*Hn3p_f3Emv&_ zq^vI6=^ao&4o|$JDay**)&$Q2+b&C}YS%__<-h&@CxfrRT#vl?Q>({y8`Sv!Xei;w zGQIe}W9HnTe~%t+a=-6W9-O-g%CFnLqIeB@m>eE;kjJ?S*Se`zxo3ysej<=BIFYB9 z3z2u4aJ$`fd-9LpE_x(w#`e<;{oE<&=-&QER<0<>Oq8v+e33`=mGC`T z-*WAY&}I1kKZ=l@OTAsD&2?tPokGC311x+OALqcJ02c@E|BZYdJ@5mA90G#E0$g12 TC8R_|L?lJ=IXKkx)balZCL>?y diff --git a/main.synctex.gz b/main.synctex.gz index 5c269b747bd14e5f403d66fe731c7fd0a4135704..715a4482340240c29498de57f164ce6300a298c5 100644 GIT binary patch delta 15968 zcmV-mKA*wl_BE;aHGqTxgaU*Egam{Iga(8Mgb0KQgbIWUgbcI|7e0S)pW?rGd3dQJ z>#{E1n=dCS)=y`?Imuz{Ot2ga2{XdIN6!+&0#+7!zZ>q0yV*P9(7B)Cf!smO+#)?vS!K@cd?OzeLo-VsDaYR2$#sV}R6 z_(=vz)PjzEu7MJ5q4F@UNuqXP?5)2Sq!fo?hJ|W`bZ8bz+ULfjf<}>)X>7Nel<`C^ zW?dqsm+^Xbk&K0PEuBny@^m%FDsr#9`>mRIO`@2(w_jD8*MPTVOr!ilxnxX5neyF5 zd3U0`DPw*br&WK(TWGUiR29B&!(B0gs!*GfKv5MaGb}QZ^R!Zr8nA}xF|;a)O-`kfw*zfd}V)}q$~S4tnJOjWQg4Y^9bx~ zd81J!${>bdHHzGQYmXMb1hx##z0oKPF+wO7n2X5qK6q?YcdZs@_DBkrobtKmFalr( z>l<-}FT(2^-zadSMT83jj9^NjgLBP9rou(j0E++-_OIB|TC<1}BcY!GE|rJ#x0+o^ z`IxP#MSy?*KpuC4??~Vl-fC2DJqK@r|zt; z%^O_tj6jVw*s?eEx^`>ujaP{@-W<^gLWWESNLQ}=2hc}A?RzE*l~p;ACp|M66>pk(XD6XeujN;INi`5SzbeDbof1&b6# z+RJv8u{}b?ovRexeyS0`fibm=zM=eAuvd!)Xm9iP37TfscTs2P7R(C#B;%! z(g4fp>2iMk+-V(ok>;`SDh8NE|IqYKHM48@VWOnLTo_omP1R{ObY}y8|vq= z=F&x_G`|35PQ3M4d~20XC4ZiXL1u7Ity+8=89JL;WykJ0T9Zi*3z9q5b60@+@%n$L z_&(BBreN@mgy-+spU3y!Q#NqXq{DW@@gv9CN4J~qd3)^>aH%Hcy+{Njq}rtXIw@Ji zagJ|A;VIDLa;w?lv*O2vsz${&b{Pwmh#OhVx{7?CA-ic(9WijtxopYj z&|ZUwp?1367_BmM@O!)m9}jfb!$*H~`=$Y@l5_c>UF-4-<NtNkrQh)S%lh8Hm^g9_PI?}PTz=1o_7GJ@)2r=@9U5XQ~k&YHN4Qg|?0NWDORXU5@>{fiDk>?ndk|-FlEEDRk5{I=?OFmbLbplBUEik4& z8tfM^&ez5Gq?iErTwlKS%{SrMpY~6>f@S=PrD=glOpRC74t|yhBYSNoEBGuSTlTa? z8U;Epk9vZS1l1A$FjetLP@QnjJhhsO#g4tCH^3yw2uRUKaO8jDU(`yYQS&L;B0YDS zy~?ObhfN4K*iysW7I4=ll*$A=#Ug2hY(jy@+DVzsYa}X?tyg0jewiYgX^bE59DJRN zWOQjZnzuT3>~D`{?oRi+(}9qG?IUqodeQ)LRcFFd8?v@hexW=ieNDNf>`8fdqCE7B zB}~j#`zLT(CH;SuE_)w|W|gE*51x|#c~~3xoS<33UgiAG%^B|Hxf)oHeP{4@ z9}sF%jtiJ~4TO0E9B|8t@NefIS$Z`4}YsOx49Ksqr zZk^mKIHq;L@UrpUSztMW@%nkAW)Xf!E@Xj4$RXtUx#p36EqeWc4IH--pLY!VbzJ$Uo4Zz?l8g=e=l`-P5YNE()gsZgC z8tnZ@26Aoo5z5{`^Tvd(&hJx?(ko7Ygt6Cxw*axJ5hi#V^Qly|2O1kz*me(W6^> zSB<)*cY}0oRa=!^lMcHWIeCg1c6GQs+&dE1xFt=%vLlJ6OODA&`Sxm_tVcOei^5by zC*rpom@cy5(7iTFBLovMn-#ZV?J0xXvPFNwn39(zi-b*???zQzh>B8T))l!Asd^xW zNheWzO@^t-+_4*9JT~bjst6(2s7k2TQcaQwV+1!aNNpU#7Ad%tcwjY}f&cGA-PS1L zz+)(7phRt~yu}!()X0Lmd=z8aUK10`;4+_LtRmOEmObH~*O?gl_3hv_**OiUoE1zd zOciN~XK9sRD3^k!C{sDQDDO^`_jN>eDW}>$fzzU(z0kRXs7*z$p$w0^vfUd!s2D4j zrQV5YL{#e5cr-Z_YApuFBaJ4rB2Vv^Pe~0Gf3$$G5dZoh;rE|1#!kyzYH0?@8zn|O zsa`B_;YB;;7jV6v2u6u2XD-i92Do;YTqzs4E#M}7%IL-0FpbMR*@av*_>RC_WN|$9 zD9E1T$L^-VxHOL&s8f%KE1j%w2MOy8?=8N8+_%NO!I#U)p3ENM6+;MteWacxurb6Z ze>$|KM3Nn)UhGM8l8M=(*^dk;GP7bhwJnV7h;E1*Tc05j%d+bQz*S%-5~fM&vb7~+ zPK`UjScgt%PYX&!?s2oh7ttj8V)Df?wfo~-T`v$d-?W@#u;51p_jPaLGZ-8^n1c*{5Rm?X+?zQHTzgj7Ev7lpp)GCXLtD zU=4kgKS;G}k>)O>8@iKD8&tP$-2VkLGZy$Rjd3T}^+3T4<&8+iGbrlfvRCZ-K%RA*qOq^>c;{?(%N>bS)=xXDZ-`2 zuJklGJ)B%l9pk!@@NTWD0pqGL@=Bt=JtUlM&)=RKLjuQnJ=&1Ce>O?S(SBSeW4p#Riz@WXWg<-H+)9&+m7J?Ml5B{tta4a#0W9R{ryGx_M&u0w8Lg# zI&o=IG$;@A9r=f5Cu*0-huK-ENT^1$5yaR^b#29y)P_kn8paQI}4a+P&|xo<1c zk9%KDk}(@egp9g6e*x~QZhU(@&JmGAqX^hge6#8bX}lRG3zd==5iDD%Oh|m!EmFao zz?m(qn8>VO|F74)xaZk5lVpb=2*TAIqsW|yemT!Y-QZd8By>FiP6O~;!X?-`vW@Z! zf8$QP?OS53Yovd8Gv;9KO}#*X^Tw~ioU zCb*GoLN%%^e_*z@zRvEO)VYeN#o~*nE+z*vF>E<~oO z{S9zs8_Xt{;2z^`X#x8yo8&0bWsPKG_4|h=9*srre@FHQKjaKmrHCJKWQIPrmk8Vi zmvIA(&-gg`PVK!92m`#47BOZyJ)*0GsD9fG3IJgfqfF5YaMx7v`SN~Yl|{MDSAp;z zk5fMQEP%Ui&lhj3M#;$*6mOx(kt;Llg}2CxHy42@OR&1A`<&lZYSH zs*>xH6v7)-%8V?@nL|_q(ML=Y9zCH|lO)QQvq`;YZWWD&4*OIBejOXiC8le^Y7M?N z+?krBMl4%rkz{p_OeRKaV#45jp8;!Y2=i5pe^oM`S40u;`)6LJ52n~XbZagL%&JM0 zYmw3;!Hhu?xkMBob6}er#`AAZt-md;w;vr!!D$e6hM<$r~$hW-J0nga%|1? z4l(#%8{N(~Ytms4MA(S=H|&9!U#Btwm+TdJ_6_*5?G#dPbuYTtP5Jerv|K8tYnn0w ze}L{8Qy z>?7FhZj$k-u8-ld+i!7lHp-}w)m24<>gD?q$Wb_VE|esbBH;xvWpTG;M^LSj>NVJ1~?Fcz`3x2 z-3lh3VJSwV0>VNtyAnu~)XlDtvVlO%R%;OWN~>>lh3#5IW(%A!r_bdDJbkW4i6UZz zC<+#suode%*EM75AI&MqJ+4fLe{Av<6@cVBuZ_w#SbB`=6%Fvns@FqP;Ae^UxW`?4 z^gfn5(8nl2&`DA{?(89rYwftQmrvan@MW{H_j!pQy73KOliu6M5s6x4M|oSe5I~XL zIU`#>0XL-uH_VhYg`0d4#tq8D556qy=76wkH|%Earr`v>3;A`P)> z-*#@!A!tA$;&`a$pqB{-Q-WH&cfD zDp4wp9`FR*ILt1}#MEIzlMDEJD);o)6QMD1nQq zWPu6#oa+v*3z$HkeVrjUso}uG-Js^%svID(Z#`PUee50jYeGs6%Rq~-sHqS6=+s`! zZX8yW8jSRme+ySq+ekf25UVpFOD`q3p1UHZJ$v%$9`3mTy+0h@}^Mut+kEMX9$?#OsS#<{Bh9c{+gvbVH*^ znR#3joqBoiv<7%1tDJeEBgb6D05Mo3Vms&5jm8iL80XNf zHDLiuFYq?Az?e@G9RA#ul(7giyHZ?eWB<^6$qb&CVby%)`^!e4Kgr07#dUkMNKHPY zbGpiBfArB>j#cJiorKAx;yYp&5Q0(<5hQE{Ts)00Ax2%QL$}vpf;17Q_t+?&?lS?C z4X|iXGCPm+EaNFe@)13I2~3KuK{R_*67Tx@qd!Yv+AfOtI3=$VvJ~!{D@rs}{ivq} zBqVm5#JwHnTzjJ+$^L+0;i0p{L};uk-C1HHe}r*YYm(%E4BbS{%Orzz?Pgm;t0o;b zx*A7L__yur$95)L3AZUvz$K0p@+%Wn<)+N$ahWu(&=dxt5I zkGsW}(9I==HyXve1a7GY-xBaeF~5K;_k^98Me1a(byjN{_lbFL&DzUWYtMF-f5fXH z(SX6X2Tb(p`MZgV(dGMO0~~oNAlle*h~n^uaC*<+<}i~*wVR}C+t*d@q~#!7&jfZC z+1%g0Zv;R-VD_3P;BExwnnM!5D6{NY&1O$`~IQZ7M@p{{{*(2Fou=F|ey_c*4E0VpMx!FlEyq(v60G@g6FTmZ1E3f^e%r+Dh zAsO$b5)oP!Xp?hTge8NiNS6;;4J3d6dIUassktuTME=xXEpQ&jUh&lI;ebx+2|bdS za3Zyo<4|IZ+3`Ym3~lXucvtA+==1_gNy2H%ENcml6@%&Wk;6y(xYB=m|K%?~|McbeKYsny_g{Ya=GX7P`ybzYNswax@wb2f z;?Ljx{DD8e{QfKc|L;Hl@b5qW{N)G#_pg8Y}C_YPFo=;EM7pX=PL;d0Qn0o#F`r}Fd_COw8{rqms#?JlW3u1q-)|n*zuj+T% z?&Li1VQ~6woqCoch)t~4H%Pb&h~A~krYtk3FGZ`Yuo&(Z9}6xY|IIQ>H)aD}#=SEw z4U}C@G}xl+m7|N`DsR?%m2n>@KF52G;?Dm1uzP{A)?Yg-XMe5uxLz$o93Y8`h@v51 zHF+|gl2&V$7j3I}qmW$dM&?1rL&lK)AW++GH26 zE-i#70`G(DQc;NDWas0CTOqi9!_Qq4M0@6~T@z&29T!P^9b|q_v1x>CEf_Q3gg;G$ zs8wzmoIs)}99PHl*qoVbL0-GkEGVaJWjtq9+$NU0;8+WjIHG@3cJ+~XQma^5q>;j_ zjmRy5zyw!2CWl1EO+O3XA4_BcoYB1=7GZ+5j~*6YuTn5RRur+FduNRhnZo?Mim)#_ zy%dbqRYi{&nJ?d5T_feQi+6cWFS4xsS*}HKPL*8kz5THfAF=lB9tzH9~7cvNV1Oi+%aXjV~A;sdpB_?@xq#Gs)!P)vOd@B1GA3 z$wKUeiO7UIv=BRCB8nXS#X{_a3n5!v_7*~9BcF{4M~Zo82F)u?mv+6fcUi9BQ>cEY_K zk{QQ9D8eo7i53$r#7>w9QPaAK=xi`aBXHIvWt>7N!o5#&6=8fqJUw`xR;*GI`Mh@n zkw+|21F;h>gzSa68}mvNCITyPXCZdNL=?wEmO&s7QomQ?l(26Cqm#J*f549Ap$g4S zsHVQI<9id@3E!Rw`zEyQ885diXXV|{X+L($607Hu#eeoY@3|cb)|1XH&n#3~( zvpeGAkXoEHjEcR8<#_8+e>M|q8qb$|V&&3A+?{1&C-7zc%|&Y|kD@*1|0hM=Z!06J zOZ9KJ&SSrj)}o(Z^L#J-#Z`LPuUt1%9Z{>^#RhTmP{aELf@*QK-6D_vS~v)iNQkT< z&CQh%Gd{O<7L33$TijOu-ES+8-`F)l_p&cy5+PB@m~>6EXW#LIf5Y|v`uSP9@`iC= z_04@Z%hx4=%)L&0#u;-C?V_+2QPUAix^*)bgB)%Uc7U6 zn0$s7TRPPyOSF`xYsq;qIB$v5STsa6v@ zO19@yt0NISeXR;MA_cf|s_oj_cG&j&^BMDH*CW3!(zdbfJs&Y2$4E^h<-%2b9zik} z$Y?d$gjgQYfBqj^8EF+uRxrW`$K+2iqJb0MRpH1t!`t!(tcwEOh^?uCvd?0Za;!0n zG}#yWeX~c-$Y^lv-Hp6t2abWPBt%`>IR+nE3`-yGg+;_YuSbitHP~+-t0HO`-ct&g zD`p6L8|ytyd1EFU^#BXv z(OH~bl8t#5pTEmAB>?FDdx>0J<@@(bHW|8EQRThN2XeJ50FUt8>uUrtREQX%2$+KQ z&^4=2e8r|#A;@cp9fl@wxfrV^49ndTZ-O54=eP#vJfX{!I5naAn-Bmg#-l*>mqYOv z;V@N9f7jil-ttzeoqX@t?^EDn3>I#3Hp=Rq`%xh6&8^ z*@5_0bH?AVodV6Ei+aL1;QRXjzb#)jKVe{ClqQSe6Cq#Y=N0A8NQQ47)ah~d5h zB3smW{7!`L!~c#6|53Ft^2)LZrLu zG*EQ19>$!rYb2z^2%V;Y9$-H9k<|1f_s~AryxPj-2%2Nz*|?`;Q&3~L`cOa;_qtq8 zKuql;wsJcVn_xKz_Tj!KtB4(`FZ5efeJir+>^v7VO8S zf8`m!wOM=~NJ*xM^EVs$vdPa*wJsl~MFkuAdXZvZV6#iTCE@@n7%sKmyLPJ1@P$={Su< za}otVL=7Yw$-~#xZYq(QUDXp1LwQbwQ;pn*wo){ZfN~=b$)QHl;)zyXG!P3D;vAl8 zoU3&Q?gVog<93w##|}XP(+!#KS^QS!d?drrWFyN{(D%X$c?c&L?AF5NCw9?|pKKkC zq~|AwBSeHp_TGVB#4ZsZe~&;p;|PPMff(t@qFaGkB(X&+O9T+sz%i!&*moIEk)vwW zohO}JELn4G9Z$k=;>f{D&(B6<4@7Y9Bo~y?b1fJd4kRGh+>wZ#D@VpIch3*qV9;QIm%5LPwj)U8sYZP0h}@=ta!zz&=$>k2-=XQS|P&7G4*O!6B4mk80*Py>55lPB7OkZYS}hh7?3s z@@!+z;`duj4&&Y9`u$nA=t?q&`ocbP;WHluWDLhD+F*DE5T|*C#d~mhi35u9;ME4v*cMT=yQf6TfA<+zdwxz~6DTbIo_88vo- zfiF$jn<`A>c)QquI3RE*a;lLn-jg(EA2ZAiM5-_d!x=5<(G0;o!crXC$hR4`9tudv zwZzGDXk#iOh#KED6i)18La*A#|$Y&V6g7oz8=rbL3w#FcPg ztwb_Gf1R2ViBf_2xB@;NSIShlM;_8 zi_%s}1AgP?HA(87**mb4++gsDgsVaf3+pu zH=e{rnLl<;Bow4{-9}k1oW1VUxiFGS72U>w18s16xPtVWtX#*YG+Bqd%P3%XvYEJa zYD$clLG-ME^JVx@EN+sUP(ICjGO*Zn&!`UiPYb5=n1uEJHNugg&G>DF zk-+oWX3_b|Q2HF#MeWl8zqbLqx6Y^6%n4Xry#a+#*k~xiX$gw6l|S=o4i$H2^V6ZY z`vWH7B*eylufI`l1iauTfA-1o`GGSrRLLHGHSD?o!V-WS(bw;nt!^EjRl0n~=?{GY#n|NKaKXaCL>p@W!ghdWVhy*A^*w#ov}$J(W#5WpAIG2Y$ETzTaE92 zYk7h-m&;VwXb7gd=Vr1^_;PW%R;X-8yln0tL^R$qVn$BF)aPp|e>mCP&20X~Qz(&U zs%VZPoqLpIMUWrM%TV7p-1#97*;TP|MWPn%KoO*5)p>UWa@Xm)u2B}S=sO|50DZWh zdnyr3yHTTv#gT9}ry99JDhPvH=TR02@T3SM%PdiC6oH(PiKBjN1IaXF-oA`{u0{QD za=d!Yaqg)*$DObqe-U$rah>C0zo%;=LyVee-VwTH7N1W%yv@3}up!pzV(cw4M!Rd7 zzqdqYF2zm;hln)o#LuI26FF1?2^mFxnOERq=i|}{b+fm`v*Yu4r8pAgS$Mp1Op6hC z;8G!IpzKN!ufkIwx5IUM0)L!^Z<$@E@>`$&9P*nrfr{Wxtf)4UDt8ESBk@Z;yA!$VyhyI z8bIQvlyn5n1+xQpg1M41LUr}aN-AXBzE0cZ&7B}MRLuM);im)P{neqXUuulzICwAf%p1brRR@0jil}4) zi}bIzP&Yr#Q>rs?7wJgQQfQa0Ru0!ia>l~anXcHg@T)I&?;W$_i>e3ef`v9baE$g{ zP}ROjigjO;y4-=)yxNiD7yq!U@csNJx=Kt7lSW>df7$RD2x_HZMfCsZ`Uy6sHDS>= z7>VhZ77XBQ4~4Bjg+TH%~BhZ8-~c=e+EPSE_g$h{3R5D!iXETI<~+5JxEM0pSMS zm3$l#FS2iA&s4yK8)9uoATK8)&*Tow1jQ--2oxQ()ok=Z#K9PsQCXxk67%LGM+Bi@ z^+CSseQeFoI01lhZ+NiSIc@LaYcv&$q`5hv5{nb2S#F0xZ`k# z97wLJ=hE<}?)5mAf}913+fD_P9lJVGv>kx8@Brl1cM7cqQnqSBC&pbe+DN+IoQ`db z_-=FWvU4PCmPZm*1X)`0A@zKZvL^}gINy2Ge+{^YD2}4;cVqy?QKSR!<-CKN2Q zoF?F(`qHWyl21;)UW``Z*gg`%YzS!+;-0Qt4p{k4DQH5F*~4YEVnqym=Pg8&bFk`p zh=nyOiYBDqh)sVJ)T+5w2A9OGDT!qQfAyM@vvQ>!5?4CA^(76>?-W}(; zejskj2`EBHD9f1LVg?%vTmJ!AFng?C1GydV%Yf~`#y-a0Z~>=YS!BSx(G>aQe-(xF zmE&T(k?{_V3Mhi8EYy+0-E0aWzWhjVvI7HYh8@B>hWK09}h#(flz3qG$o%6#j*0-iW#Oe7Ziy-vBW z@VallRkBT;JJ$nuR7C@OmMPc!2^jD|?=>hO)>-5PI|7F@Dk+_|J_MeYe`_*0Mgr5u zGe>f%#HFe0jZ_#y=gtuatS{8<2JSNNall`fDBU zK>Qzkaz~)7?ux&V0ul?{BPShza~e`4Q_blqTBnEItobIafOQX>T^7 z2;WX>N!CuO3MQMeZzB`8e+lCjkvK;?OmrL(=Hd}YI2kt%vmF>n(&Nv-Ob1clcVHpO zcdkcZk^kh8&3p&S=kBDcJpe_D4#^q7@eJY4KoR%4U+DL_O5|;y6-PO3v8WFxjv@El zd^dn(J+338`3=l|G3COfs3i@oRraFhk2T6pUDv@`j8;U#;~=qte<*2j9h`eviZ+SG z&Iw5R_Oy(_ta3`3{5)1AUtYx{Hg300Ph+cCQ zpJK8oE8`@**zh3XZ&R@Hyg}MvA_R}e$yeCi1c)6sF2^=l=hbB-eKu>8bE}pzQc1t! zWVV(v)E&D%oS{PI=uc4^`wJ+;LSOxF~kj;MfR&>D(*F`&m&sNQ`X**khOOyHg(mqumT3IW|)1 z$36tIcoLp`?*rkm`?$&4IVMtumYw6`swyHChOCNXW3H@(f4MWz`m|57+uP0+MkOd9 zk5baXerig@&UoCm?LZM1`^c1gs4)^TKI+aBa|KD~SYr}lro^Z^Kiu10Hwbgf*sIzJ z_FmFQtksY0CBkQ1@;-}CVSHpc4+|TI`ZkYv8K!YFvB3ze?yBElcQBUHMgC0+*1HJl zBjLSS+wgIHe{31AI3M$P!C!$PE_yC^uB4?{$*?9dV}W z_%^S=;E6fa(h*3I&XL%82j&oRX?u-}`5e<{ZR%WAq_-)0)bRXn;{x7pN*vM3f(CN8 z<;IQ50&I)vwal27i=GxE_y|6Yhd#*Sz`92dw=9m-e|$a;_p%f=;7%~t2ocX^-~HGc z;kANo?OA-T5h6u#9$jn%yqe`P8VDyFtmP3YcZ1z)givX{Di}FlMFc$6=5a`gOKX<% zHYC6Hb_0?$t8-Pm17+!S-ck<@MU%pDK?BKVjIsZz#zHQoo;9$@<}vQFZy@Qd?_(9~ zvSI*bfA>gj>BC-Q>qG-G`iN6TIQJ2wX8FuF{U)@Q@O|Dnk|6l;+OTr$YZ{G0%ni*E z&!d!d8-p+))$*xx1ak>P!QMG0-mbEqxI|PF3Gz5|iCf&pz2Xj(jfl)<$KfKlb;(BO zMAm5dNh*#!q?LZ0D^a%a)}jWI{|$-u2*g5@fB2RPh&xA$$4?$fbvo|ccHrEL4mHj# zX9w;Cb1!Px!t{^dxg|NU{VYEBC|n8X)b;zdM|GseezQkjyhDpsPehZT*tKV-uALoO zTX3&_VRu{R$fUtFLBYCg36-?cS+7$uN ze*h+;l+}9bAy#9&-f1AAEye}-p~jkJUynfpWzERJ?~lMHYYNXm1#B`+Vo0Z^2A{&? znBP7wiOuqOXW2N0hqZ1#H3ctXjN&v$nW3^r=?_mVVG)bB;ar55Mu=UnCmJ#eF~3fo z8~Gf^tM~?tet1e9hx1;HJ8&nMt5kMPe`fM;3>|(IpQ~|LXU2t%EY5mI_#M$ri-L)0 zG(0^IFpSF!`~LuwmYfWHC!CCqWifs96(4X0G_x?={KCsH7k}Rwa9u9GH4Q zWF0mF0B*n+0ltu>Of@CrEVPc*TxXt04^dZD6K<#F)W$$U2fUAVAYpbR0T52We?-F6 zpvND{od6g|AVEpS)7RDq91%tGvIrG}qoAuoF0acR*sH1|CAd=vmnlcyY4%`XW%1t8B%R>G5%H__Z&EoT* z6y=PaZ~lH=o+X)UBN6qvX6`Ofg)iA{x>38kUVUL=;u}DZm zRoi)$M3E4Pd#Iaot!%|{Czwm#W9Hhupi6Xgx zD&MLn+@~rp+Wauz+sk_le*t-$RRlE0ATrU;Nn|M3usl%+0tt^?-a8>P_hZwnGBz`z zYeYleB9-)xAZUX(#);7Ngvn3{Uh5*kwiLp*G~TQfA$cC1y=EnXMH>6ELUcZL&8J>;jQ|*$RY$_}y62+i%Hpnif7rRGb}vJsR=}L) zc#K7_Y`rE@FA&j^s{FlpQo0cFR4k~O;gie%-Y&m;aDIBdITKG&J8-i4!_wu~@@GEy zT!*@|`RP#nBMzKPIX~iwhRN~TVz9*Ikh~gp{T@mBS=H|&S|&-X_um^A?@s+*TIRLk z{{7pxf3G87bGm>3fBZ;!Xa7Eop#nj5>`x)`<|DuS#pfsccgC!6i|8kZKOIV<>knOV ztMT1$E&uA+sT;C7c515W*y*wL9$WI&&ncVDd94t_vw#F|Zu3LA>=`|N*IOG>Sz@&SxL<>H(v0Vbe4(xo) zluqMF$T=5-{xT8ACOl|&j=1*u+~cV!WK_dzNOPQ<{?2hHytu|)vmJB8{7@GkOUHDL z!&(jdzN`2xf9TMru73A82ROdrMVR*SauDMkpb(K%8YOCkh^EpLUAHf7gm2LZZrzCC zr4Xd_%gt#-@4QDxg}}zOj_rCU@Sfwc*8~!VNd2mgKw?(W3^juAEqNvUbRc}x!EY8E zVG%@T)sn$ghvnd>&jyR69sK5@Z{eP#BLRlbe(YIXf4?Aen}`Q5*<$y6y(>xfSL`D8 ztf^NL<(V~=1H0ULuJ;0K7VC4GWg|85N3vK)FS-(Gtixyj^uynO`GA`H{>%UV^EW^J z{NgykW`0&lIAHE4MOyZ|8`Op9K5C7!_pFR!$kN@$%zQFUR!T;f>umAGh zhi|_A@XJr%yznWX*o}YL8&W@w!GHUg7j*l?QTXwPufPB0=kI>};pZ1N{nOa|^DqDQ z{dZq~^OKH22GL&t delta 15785 zcmW-nWl$Z>5{B{M!QIcno#2`f+}+*X-4?flyAv$9ySqDq0157{!6Dpy_s3SvZgovf z*Yv*qbXS)@a_!x71%^V0!i2(x!iBMGi#?MQuXE7Y5$)c6zn;24xeg zCi%S`d(O(VL~@@Fz}fYm`Wu+RQ-}|ELb9kRTA4?0cqjh*NLM=>h{cI!RwwNPCpjjH z3W{D#M&hO)N7@KI8okAG1UVzeTyU%Bi2X|PJLrst!AslErfTERHSv{is;NWGBXcV| z0!w%yZuSfEK$5a3tCgyk>DI_|1CwI;Fjrk6{w3dnw!w)wp4mS5x-^ z%01m#YPw0n8fy&Dye6aN;;MUr_g71EXM2I+kceSL4eLZ`f7xWeF|U3dRPiNo>;|Po zD|T)MlNF<);`lw_J3*$gNs$XxzkY+1INn;5#|tyUmv2&^>Vaf0$pnzfr;c=4|4g(Y zMGhqwrlXZZB04^1HL?*d={S7?-_uKY`eEY?;{qZ|(yTD7r!_CNIl3f{*nN#;j=Ztq zD%qw#90s#2N$mAC<;l{Dc`VLVR1Z^~n-x*Z;18+~_mwucL|18X)+vT`>2c+Bs=b|b zmkKF7?o*1pO~6S8qfqleq$KczH6WjK!SJ#QPkOEd&}<=h zv26qR`**R9IBoM(17Xk-?9_Ap?G{w3+lAJF;z5Wnns(OJ+GCYmb3 z7PeNHTYyNy==zobR$EwW=t=eA7PAwH@Tqo4K6Tsv4hMbpCZB1lQ@tT;3HLpM_0mO} z(03!by*S^gTKv!9pvxOQu2jk~7$zND5-hr@#i?oGek+&WKR#*w~=!Erq*Jn?zh@ zdH?Qe0Y3FFn6%6I$#iH3y~X-2Qrn9{iH9_1C)!=S*+p6>3d4J?1>B5E=N---=z}LJ z+_yJLL4QK1d0jv6a3tp!6&5BV)O%??`#@D<=v?lrh4fH%dbk(%P^ypc&If2c)uw1` zGe9i029mQgYR^Ncsvqt#8$RP`@!#wAF>jl-CJ|^)d1~weF6JtJ%vA?^;%#0?xCN{X zLKRBpzEfDaFIR#fNJG<*u{&LfolSipy<{+E;Vorg znL0}+pYB{sn-9gaM@K3NjA-6=i#;nc)dxRfQ==UWKs7#@((bg9=rl;^P}HsR29VjZ z=*OiT;P*{MwUR*`s~5`lW?|XK5HHHrA&#K0mY*umR)i#N*~TrtxQzNZAS;O&0OYuv zlD{T!Pa9f%miMJTz&{S*80QL6iIut67?gNbJO=K$l$r> zoa-ukA^&Mxv+;PWdUP(RP_B!DXMAd6#nOBYCbV~l~<37CJ zta)f$mg~SHQ8{(?N_IIj3cG%H1td25{|HnYZ};QXKfOWO=l{((A*gAX;z>L4G9_-? z^kWbpDot;E6HSLrrwjO!e@=Yx>kQ2Ekj)_olf868v&pALP+lEB>JUa5_gJ@~O29OM z*iyvaz$#dkjU%D9HF{n;KsRy76H7^Y4W$*?yD^kh+?rPVN>ZS|y8$RK1C8h&^Bmd( zzqENW7RkFez%yCy&$%&Jq~|NzTYb4!klHQXFoLJAbuf&08GkV3LO$_gW)@^|m8L}g z{1d*?P~wW*)R&35{+pOi?!3+&ASHI=0D~RM{Pxk9AypB>a_*ESJB3(7=%3mP|i zwmn)BUJLpJU@AN}NB_yO6p+zw{RF`l(GygK*WQ9;s?lZVZfhm8g9+`;Z%&*}4Yv zJB*CQR_W6_kZw}R8O@#mc*_O{PKaY)jpiao2+sAC!J~n?Nz|E(IShFghh6F^o9V_A zI%NAZn**daCVFnC9)L*f9CH{XqWbnampp&f>6JAA%rcI-i#{o4dA;4-}_GRdRJnb>qycw9A#5v71O15*fKP)+bh^|G@<-45 zo}q|_6pwPvNEXdew@)9U#DIOJ1`$Kl4uy$tPUaZ41v4a-XqplQWEN&w$B-P#Gf> zg$rDgAHR&fRv#~z>g@Wx-nx_<=|sTz4Sj`s7&otaw^F@n-SBC(I7-*JkJ`Z`BZ<56 zIvPZTh@S*z=z=N(=j%9jl0C`aP+kOf2I=O_?!iJE5u;KA=o3`qvycAT>K1Dsk_6mG z*%DZQ!Jz)F->{c2K2~1_G-!)IZA$8t+l)gbAyc@?oSNS1B~;Zf8x8Pd-#o8L-0zlA zC^`n6syd)h!ZPYzNZ9GZGFs=qjY)!p=HxS7Acf+74dQH~oe`bW)yZYjnmi327=IQE z6NKZ+OX)H)N3D|0B;5(JY$=hn=bQxuW$0aj3Y;~lf5BHcvtGj?L82j#vl{D^%3a*Q z5pPCeX^q&)_+w>97fv8eZn_mC_*XN};{?8iNYi8VUl!1;HaL&uWZTL5)rocT za|3OmSa$)!Z|mpz;F}YAUXF(-~?chI3P&H ze9ct-pZI^HpAaO`|G)V2Q+1}Op6B;j^L^`{YY!=t7q2Zqjqhw&BW5lmU`#97h_V(_ zJJA3*S8;5Z5k`t)X&R{%Pa)dap4EdNM?TXp95Q0Is=teNWm+ge8&m$h`!aATVjh#5 zR=>D_n!qCy^bSAFVgeME5C#Ct$6WTExt&<)i@ zrG&fB^GWL)!N@b2!-UjOutYQM|N<1yxU#Zf}m$3sY z`{clK$&2RJvLhKpo`Lmop9+MS=rG$yrx6U*l8+$c_@j##@uu$GpBMcOZMv@Iv)n2v zSY^3da0)+ml?OxhnS5sn%vO;O3PpBNw)oBPvqOkA6=Sl0{RX?Ip&p0ciukzc89B94 zv#X#1ta0`ojY$EZ87@NUSv(k9fz@u>Gku0 z&9SBV97>HdTe5Ob=*MV5$!h3wI4Kr6Qo7q8^MLykEWRUT4psc&Yo>m*Ja~&O z(?xdzIZ$jjDujrsfJnQ}K8dp!I)1IYOht@Y!$c1EoR?QWiqd zab&g0;n$GX*MHL^MRS6=*bl5j_`usI?6bOsnQ%hbl{+J$7ta5nT3W?;$@yV{^F z6whj!(2fnFTw7#GtW4li$YW>X=h2X`JClx&y{Y4; z2>{yqH6>zodrNJQJwxd^W$9E(!mqzI2jx?rNYxqW>-x$p*6_E&$y~7!cAJQhtmsZP zch}{U@fC?p{B$_2&owu;YSWw0dfE(*@u@$-jO@IPNGA4ogssFbJ_`yFFwMaDgKN7`nvm^LZE!;;sp zVc#j$-M8J5aX#MHP(DeRSUNPOgCF{$0@aeyKpD=Cu1DKFjB^7uIZS38f()cF ztI>daPVvgOeQ7pgK>c^? zi1ixtf4C&litBahVq$*NNs_{XegK^@?gqwQtSPb6#1!(+e$*a(dBgZS(7mu0lhZi7jdm3p`g3p-=S-S!|$*_AYgSgWRgY_6Ca z98D$t4|F9l*s<57xC=rVP%=uYYl~iJ+-s<8>K}J%<%ar-l)8w={#ql6F905^0~=QJ zPM^TqNq9DJw`7$S2eNq?O23Hx#&dbe2sn97W->NmN-=Mkv_zwB!boF=@h#hSHf)%@ zp-qwS+AuP|-}CgPnzLma1^dRdmcXCY+9efiI8XyL5`=~LTQ%i7xBG7c z43pd3hVTQvf(lPtjZhaILWW)SMAWppN?l=8x-~Jy_#1_c8%i!eOd8kiAbjLOno)jc}Y1eGNA(XWN-wlWwOug8Us-<`imM&04e-F z){kZ*>5y79&+jzln3F%X!I`W6!p;&|A=fE^JeJo?yG|p^VyfwZ*CUAnk>Ub@3-O9N-{uaiVRh4N9678F(Zt z`_Zw*rAhut#Z@;{720@Stp(-CjO?Iq& z74;^I;N0hrmYe9r4h!YYRf3B6Py8mGtqPJOqoGz$c*Qc5=Y1=dV2-VnzYof1W*8s$ zVO6kkC9SXlL825A~*^eYq>bnLi z!Esm(edC{N@U+6qSY=Vh>jlxGC6NeQ!AC00VWHT%ws`bHe)d%iQIuM_zC|+gx>O&* z2%Ei96<13%+S zuaStNvI!-@VPZ38{OMg|JF*~>^)9Pws)v>NAqezpp4^(OJQU0IA z{@Nu2JniRSv@SlA7r}j@l|F83jNq(k-kmTIb~o%xpB~vbpbj`1;qj99adeaf+a%)d z+pmj4iEA9jI6T3vrQofxsV?9++=vtM(0vqnY^cj79jI8Z%WfARMDjbv5cQ%-%Cz^R zO!Ui``-c!F=(w6ZJ@(KLF}UKoM=Ws#P8A5?nDRB9j@5CD5s2zpWbQ$tZP;T{QFz?N zhp2UtR0f}{e3@9Gvy`11*xNR8!%>SPnPckVoj9~>3CiK;-6B@Mmm^+lmy!F*ufdYV zs%RNNBFHr!FJ;nCg_+nN1f(~M;Ciq zY3O^eab>x0o9&r4N!bt0a}#3W*Q^Zep61!7SgAJ*YSBGqp0X`<8;43(rfTYk;7Gjc zCxi3n;SJH)MF-}GxlmHY6B(wT4M2?rmRt*TBvan0*(V=Ul=~34Ia?4CsG{>wr{{DK@O;6IMl*abg|A1J?w&u?^t4@mR zC-b)2q^~9OFnNK**{kB28T@iqNkQ8O{-|_e)?wL~R!TmW@(&0+ml6~=W`SdPzY%+F zzu_F;h7qiEt^Y#{ei!uu;N@R0lYn{_r(ZqS5P|SzTTgZu@%&$bsk0R$ZuP70);J4` z+KD}tiS0|i>w3RCH1<(rEohI1i^Qvqc+pQc6%Bk}EzZ~$-~1Jjml`)Fw7O0;J^3oa zKMq-q9gJ29na^|Cma#c4w?r~=M{qkXfm?Rf9BO)%0<&~PJjk2@p%HmiS2>KWSwEcM zEanCLK?7dV9H}`-cw8i~^{Uz0Np&kX(^%13KJ_0U;6W|)JG^Kwf6Pg}5U_wEZ9*U( zXLMTTDA#;>>Vu4JAkRXDKhtC#iCm|wqW}SH8%LT!V0N&v2N(TxJ+n82$}-K$lp)h5 z`wQWL0OwKRR0|exAhDQP!j2hscTt)shAQxwYwOc-=gz!GP)R_601>l0%;}&+H4bz} zUoS>N(b5TO&4eHEOWL|R{9YU*p0S#;BT9T4aUg4P)#X-sz_@9M2lFN^p}|!1yGY#T zhA{Vsx^PkaPnRl=kEdWc8r)6H&OnTm4hV%Y)GXOyH`y#0 z7gRd$g#y6uo&YAxh7_ml8#uiaDau|BWp#%MocPIN=dkZ=8MujRqNZJ_r4l)9(i~Zw zVKg+_SqB~(nX5-$0=Pzx;iub@DQDlIwYf zaqWna*jK&Ju*K5(wL@a)&Hv?sg3$U^z5l}1#Uf4r6N^6cudFIj{EVxNi^O6}d=I!K zu#if_V{`}AQU`udPwkc{L;NCB9jeWMqJwA{yk0WOu8Jzs@T5A8Li+(Du?+sS!y(Yg zslm;ZGz5ndgVs2EzDAYT3yYMF$|n2HkW$0<6j5Fet?+of$kP#0-Gn_md=w}6bJyXT z+RZg;8?C@Ay^ncmOBbex?f^gGIIj-7Q7U(;c_!(*bAE=W^-ql!9p9EpumM^W0&0(t zQK9DSrhFWMevcw|Ut&5;VJvAU9XjBMSh|erfc{Baty8)q&0l|CL5F+5UD3!raro{0 zMFMIM)}q=Q#(|P;nI!8`JdmHPFZ(OvzR^Xw9nzl%->ZCR)jl3rgL1US7;?C>QdqsQ^rMRr?^_ zOF})VDvYTt=le?KYV%}d# zB{21P#m+gIWPANZ#lw_Ud!%H=tbOgD7P&i(X?Ry6Hq>%!691cb^uttXOV&01=mqCd z)^1yFB@x1V|k#+u? z<7$n_ODXx^zmp$ont%=9X>wM?|LHB>5V(6wC+~T>d%65O%43LCoFVe}{?hREsWV^X zYL>P4J^KCqWme?%-vd1LzrUU4|9!j!{+@X*#Jy8<`QMjDP+Z_q(yY0NL%IV9KMY%z zPu?CQy-+PlnUsmFk*U`98oqla^$I0Os*3c6t**3-_B=XTflgTCjW`l*7tJe*DCE#=NR7P4^~r*$7uA*U z7z=I~qJoC7LmO`JDbMQ~*B6D^u4dcds*YVM>)Md1OM33ugc5kugY2u)s07ngU4GgG zE9B9oYe80dU+AkfQGo&Rb;Az_TvCvH`isQn2+? zkM1RmwH;gbznDfT1b*sRUZ;|)yPsblI8{d;8I3M%alNdAWI-v*Ya03@AAe za?g#~InC=am6>vQqb`wcd|QbTJ%`AI_0V?eMU)$Wt0$S0qt>3T*h-SzT{RNgjY*ow zmj1-K<0tAb(H(%NmliQ}&oeUnlbJq>1_yG1r`)PLE3s^OMhcm~gL5XF*o;dE$xnt& zPt-%h18$ldsZv;i$Z-lyr5f%Z^w?cd3QqZhZ;SaCOd(vA*c`eb7cUle0cctba#Rho zcf>CsGwm8)2)$TBQGI-P8&wKq1RphiQ2=H8fp(xf!|dkDMkAUH(`CheT=Xn7YAjTs z2}8h`D%$RC_}@DUrL5jPo~RorKNeat+S?K#mQg+fQ9GSUAB_;O`bH%OClR^+e>+B@ znj@b_x`9^O;0+gp`-n2noT(5ux-aLvT{ZWpIEoh}zdKk1% z8%|>F14hv$wl} zStXHZ8YSxW07$ui!;nK245#_e6|<$0>Y9EVS~)S=n}o0xqz4x%3li7@#MTbl(hMs~ zj{&hU_Ui1&8JJ{F7)yDT5&BT7wNtPr<_P}KkB~#_VFv2?SzjIu?;$EK41sOYF`bM~ z_8LxOsyY}?Jd=OBIt!W+!rf5Z`O+w$z0k}FM7;nX&$P%S3)&Hv7MH#KSVaZ4e`6aP zhPH6+?x*ehdGX9Nk$0L$ExC^Gh`i)Jti{2dQf+tKKE0oKh*_wRu&+;bVirlysvN%1 z`}4S@z8$TP)qitlzpw91q~CIEBW|DQap!4B_dY&)N7-qmxsK^Si)-U8#-l|mGGVph z+wcKWriZddZuiNw+BuayEi+e;{Imhrd7X(OtN5pPY2}CC6Jzrw&#fi5E3C!MM~BP2 zn<#*DD%m~b^0b=dQiW&zmmER0hk&3$9XkSAkOUsKzY>Rt&x>aRDwP)vQ_rl&Z^CA)Y6`U)D zBoL`5Qyzh@l(SA9@$=fEB}nI>?(icQ*J@Q{Rj)L&VYCwQiRG~`pWTHBwo{Ox5a7GC zk&4NDOHoI=o;LQ~2wd4mK8ct4D(E%Ns5SK1P^@bIc(;?=Ik@+!X=S0DJF~EaQ(t#R zDEabGDLbbtN~gF(MuEahklup}>-wHf{I)vr-7KP6OsB#xFm{D?<-(CI$>%Of5ftTT zG>GdI0gvzWg>MPZckouGAFCW+6%bjXX>8{$wVkB4z>jYp=O&SUZyFR6&7^r!(;ZG) zZGRiYc+gR>x1qV>*NP$J*tsYzE*at0<;)FP1aGFWelMnROJSO&EeBx=`d1@!Q^B{n zRGjPl_E@=pxh1?cUjp^A{A#H`6C!6P|1BjC+8@}1n1_s-XZ{%l^ zdQNVHO(xg50xN$?Owoo(<@&9E!7kPgg<7nt!>4$Jh^j@TOK~AadAUks^Kvz-S9ot8 zlJ)=a92&Esey$S5pq2TfrSIM6A2@~-O_9rTKAEMSR>JKK8x%hGbCw;63(HvxyRDHn z@&tTlYJ;8=o$2|5_*{(06i~ParN`->8=?;zE{3bI+ju1VTn?3ca0D6l&Q|jl*>A3y zEuCF&K>mpcryRHL>c%fdCVBe3PdGPHXDVJ7pY&X#^V8oL`8E|@yiD3}CQ1UoD6rO$ zP+uz_q_HA6tzER6PD*Pn*JY^K(`C&5qd&Y=^^Q|XWd={abz7rqz%0~BQhAIgw@}%1 zkg~7^JK@m^^lb(`g&F3(*R(e5$Y-cn7kbs*MlgUDMqnqqDrj{)TKTnpgo*zvGhRYq z9?6hhr_Gko+ zg!+Z0O*Ix#MoJSt=X9tp=l+?)T zZuFi_?#JXD9SAW|lvGx7;=^I2pw}1Y5r$?Th|^L&|6C;wn1fb2U&yKqhK^C*ezruS zv|}AmlLei-@I#cTd!K-Hv~7G`OGrY+Japu~F;C8qwb2(w<)1+y z&eZeWFlv1SC zNiT<=D@_p-*~)~Ys77UI@(?_jICtu=8$Kkosd%xEJaq9)uQ;ru>ZQFC$Y^* zHv4b^=XyWH6y5Z`!WA3I(j*LF)wBR{J`PCSpRUpY%3(;;MMlj|mHONn`N<0Cl8Lk3 z{Y1)_tB7a6bkdoJ)(6%miei|is67I9wKFjWKk#Kl6;8vUr7Sfjavo7cy-pQbFBIZb zHE9fVk5jKkJ+Nq#p|$rp>pO!nl1WaQV}|U=6($)aMPSJFvkAWNb|XB?eNT5fNu^*Q zM4u-DBAwyVqe{82$g(QQ#50N^2W})11!8=!;blQX=gAW@tT&skclVnbhyoEaZo}b7u6}QSm5we# zHI4^OPb4mOPO1g8mD5qwI4tFgOGmx-cWCmGB+ zmLGWD{i(sI5oyrhHZyej2P#>5xLmWpqpB{d`4GNEPBI0RW;86D*vK_@$W7qulS&~} z?fMl%Hx(4(h}XNh>_bAEJpO&cBS55X_yVP40|DE-##rbNawooB#8-=00GVg!E)7HR z&Y3%1g9{DEBM9S=mV#ALaFgE1WliUji^UgZ^w}(up)^xrq*pbTdh{B-B#`65JZwzz zTaIY4Zv{e<`M`2_?4-gMBQytYZX*KPPnU{Z2sJHVm+gyNNw-lHxpwr$KcW=fKW-ySzfMG39J_l9UNk?aDYI{^>yMx)5w#8_m@o5JznMGE&#DpCF{q z>Ff5BlR9&(@k$5N%y?NnHjNLaIlg+v$hAj3G`swv!k!vPwu?4*V#88U45DF- z5uUBG&`lWZ3&+GeHr7h00fj8ZRx>o?n!t{$EEao7ge>5(FbJV*0gY`+<1`5Pet$qe z;|ePv`(5aCC#r`FP|JW{rSy;5m$gppZY>*Ad|pple9K$l1ah@3zuW*p4(=fE=$xNzst8X`Jk zg4=V%l$O#0fy>XU*GLBS(6>Ua&yjc)KCzkeD%@hnVg^i-%7_d7x4}D76u5jaL~vA! z;T0l$JZ&XE1FCG$uSnal&k|W>9G=SV;C$(nQEPTw_dHkIN4C5hw!KRgR*94s=TTTz zn&HP|D4>DmzXAmXV_(ZouB#5cx0}?(o;yZ08eCJlo6RhprV6t^Hpbw`O)`sZJ(LBx zAQK?vDi*qR@iqSVJnweWHr5anRJztQx9rS{I*3Uiu1_|xfF6_jVZpREYN0ZH`(&0HC*V2tY1kE#ELsE86w;YoH$Kx%tdne_XeIedIZPe(P`{kI)phF zH5An}hCh^3Xl|XlCeQjV%-Efe!7?!!U;b1DK1|l>?+T^-6N0)CFN!NOFZP&~0Ucq4 z{af=#24NuH4F2xn^7eWnwlrwmKm$Afz!*qiV}z?)U-gC&U9Na~VwW@ZGj0>6fzNwa znfpADb8`>C;02?;lm)5lP-HD)uJB%^6$YW9#47P@`4epsZ2PPBVKi37yCCo{(uMHF z!)rr(b5(DzNZ=4J5~B?rk2kx(rOAwimi4Go6!U0v$U{rgCr-nt@8E zC3lRl?aXJ<-k=6S_l5vk1Kzy%)$1V!cB8Gl@d|ezC<(=r@_fSp z6EaK0!OOO#RKI2_x{^41a*L2gcLE|~_aZ9PyQ@o^bUdPzPS`JdkFR~1M_GHRJ#d{Y zfpu^czE^iI`^G8}v#~6jpK8oIUbi2JkWddVH$_BLHdcFG#p!IqnKC`nv2QD%N+y8@ zpwv-CI)EZj9YAJ*aj7cSQQp7dT!E5-?szI{3U}FQro#BcssfOs=?r*=dHC&&pT4HSKH+ z60q{FKX$mTG5@;(gK38&Kq$F)VM`mpD~Z`M3U$vBoRA+#2gzaekPiPqCyj+O+UG() z@qjYgvEnn?UtE84)|X?Z%>0*bB2rqV2(N@6HQC*9dt59@Tp#zl4Iun;x#HL4l7smA zW>7KBj=?3ks4U06*kV&W5!*K9YusNK&=>6u@p1^X8>9gr0iI+$;<}1IQq=8D=9d#1 z7*#@Aa*O2e|1$$s;^g-yUxQ*%n0;H>?oFzd%*&e}zG2?%9e=5&6160yC}aEdl1Vg? zzo^94^Ph+EngmM%@(HRX5O?FdA3;}tZRVC(mLwa=#g^%tIjigS-M7-JBW*yfQtv*t zCJ&|FWhMw0RHR5c?nBx_dtGInE2?}y8a?m=+^f$yyfV)fD=x}VXngoj!znl6)o-qe zKCdadgJ3JY$w4n6zFnjDmI-^1hc)dxt&)y4@iO?%==YH&1 zD&|K4T@FKgF&7}WVOLF}TO*dY{W5yK5!v6p+mjO4MZOgm}S$67@q&tJKl z8Lk4DRjr}78i+BDBP;8OAlZ)(_5zGpD%5#*T!qPY&DJo4tC9xMxu4z26Av$`$|zmX zU`1TuS_-+3ke0qij>&@a1yKunNuqnpFuVz9@1=8zd3~8P;Vh~5u5%m*I8by+wKolo z35o>pNQpHfG{2~@sU_nQyetghp%9N)RkdYb@Tz#lmwlxDcGf;Sbw|v` z9Y;YdAE&#z)X;!2qt=i`WJiq zhMh8^(w?MGI4OaY&w0Fk!mX~)UiwB*;o3*w-(V3OwW;e`kXS3BHqpn=$AK6jlqYOJ z&5@+fM7`-DegA^T4%+|*mGPTJ@HDlu-VlWi%2CrrcN zYbp}*0ABBj6kYC~P|r%j>~)Lt2x8#lgn%5v2I8|{AeSC#M|i!-qDQE=Ne?`oD|BbOAIrc&qYWAGUnRN1Z7g}P@T9y52nWVWAgMa z8v0Ui{E+8_O9<(nd>goI zGy^3~Ag7t0e>65_J-$jOVXISfAk)y!PgSKiT$**(MJ%vAJkknmTr6X+8j$1D5X+@( zT?gJHXG5S8Ye)3w5U}@kG$3vj^7qvY$;I?JF+WwliXuD`F9DE8I@$5_h7PSeA086^Zw=#(T-jm=WL6j${ z`)(9U@ORfL_9zZj6SY`!mX#Xf&~~#k^>a8^=6=(H(D)jF+DuLI#PYg4CZ1&4*m#$> zXPVidgFcDMI|LK&mwIpiMIdDfVh7{hc|TbCx8 zGmGXii#gzZS7BsUhJ$;hmOW}s#j?QkVlNe751b=__h;Jz*Md0Qea?MjD|6*W+6-XF zhqHcf3=Fe|%drXB8YK>gXhBdC_PQQgqT$up0~>sbTbhh(>)ok-64(zpQ{?=PG%xTw z$PU2Pk$pV8Adz-_Zqqa5yXQjsOvw^@5a}r=qccK*Duv@~Ljo;1z-x3#g00A<{ZX$l z0Ej~HCTSPbx8F5z{xBgb7BgzzrP=O-q){?o*h3Z!Hz5ssadH{Klwix#`EF7geY|H{tf`k)%0V)nS4T8*DG-4Y zq+%AkK%R#qT!`nm-cH9l?R$`b5FIC~SE0Hq!QF9<*aclgz9Bez(M7xapA0kEhc2I! z=a$U&jcQ)=5l2`X>#dCKb?N^j$Ug0Vl2o)E>lJ7WrLXnQLl6Wt;@XCG>rmXGRh$Et zsa9YikCEHH1KYC@N@zTA<&OVFwOXU1f>=Wx4{q{mWolAixNfGpE& zTA&4r&M}m;y!rLml_Y_wNeiBV4e|<8M3IzP(j)T-Qr~`PslIylAWsS+GkRaxbWIMJ z)cq=cJGcava;spHJ49f>1VgNMKtO9;DV%<}eJQutX9j9VCYt#HT58dbufQE1tesX1 zi4mxC`l3{cfVZH>5q^F#a7Pgv>V-WouD#e@OqrwkO1YUd($6P9NeD@Y{hoF#HrRuzZgL~{=wc}LfZd^(e+at zMwC9((Yi~UUi1bK|gNWY?teTw0$IZ}vS-@<&)J5=;b!8Fg!;7O}xbMw$4BLVn`c-x*0h z4brB+ck2f{aJ=sMcstpbSkr#Z!h5|i^GX%D?Puj(%$)`lBX-E0IrJu;FmE~J;+C;? zBjr*Y`)f8q^eC0j{$g%m_{+b(yF2UUo3fK#+-tqS%l)OhS+@McWj;Cm<=JKgyBft6 z}q4vPy$?A_(QOxbi8Z#yK(a&&nX-;b?#?brhisQ!$6~QM}uTsk|Z}sBHwrqFu$_& zIx#_5MgAshnbF0Sn9f)t&hATpl-FERNi?6z4;|f9b`ufWDfvgg3I@(Y`GK&DG_P3U z?e6J0d9GhNK!@K2GR&4zBU@+*f0tmK_05dR9RrK;q2jLWN30+pWtTm_6~3g>g+nsM z!i0~=w1m^nEYAX?xmP<#9_`GVUflES}q_luGF-n4u5OVP^5&@sYDKa7=c65w6)k}m!xD^-$--Zz7OqH-d9mZ zae$&cY_awPu{bp)xj+KL1Y8@Mj~*KT+&CRP=x*qyQBA1luJzZ>$FWZ8SH8W&^ZyGV zHoq3r*)LDxDF+artE5wxS?-P`Gyh>0li4S)lE7R(^3}S@+!9aLx`Qnt+9)op$^h_( zODl9~uR+WAKZBdVQy=@oTl)Lkp<@8>{4^;7+zone`n~T1&)2};tAFzcZ%>D;@Apd| zdtYDg6gT}JZ{lw*F9RNTHG5zAjkkIFd;U&p0`H&8Yk}A8L7v`#N186SsQi&Vk@p`W zuj%-H&z!F!e@EY+|4|~sdqn;}bI*U{49|nCBL24nrG6%#{+i<#2M~q4-|Mon9^FTE zU+sQ01l}iSH{TuyXIbr@OY5Hw4ga3MT=x7u8Qi-SShW**IVAsgxTVd1UmZ7q`*@MR lH-jHca9XccFGY!q-=VU5fyaHvOOY25iMa~9=0jnq{{hgZWv>7L diff --git a/main.tex b/main.tex index a48bdf3..4d8d585 100644 --- a/main.tex +++ b/main.tex @@ -118,7 +118,7 @@ %%-------------------- %% Set the English abstract -\thesisabstract[english]{The aim of this thesis work is to take into account in real time a learner's work for a better personalization of AI-VT (Artificial Intelligence Virtual Trainer). +\thesisabstract[english]{The aim of this thesis work is to take into account in real time a learner's work for a better personalization of the intelligent tutoring system named AI-VT (Artificial Intelligence Virtual Trainer). Some of the most common and typical problems in the field of intelligent tutoring systems (ITS) are (i) correctly identifying learners' difficulties in the learning process, (ii) adapting the content or presentation of the system according to the difficulties encountered, and (iii) the ability to adapt without initial data (cold start). In some cases, the system tolerates modifications after the skills have been acquired and assessed. Other systems require complicated real-time adaptation, as only a limited amount of data can be captured. In this case, they must be analyzed correctly and with a certain degree of precision in order to obtain the appropriate adaptations. The proposed architecture and the modules developed with artificial intelligence techniques work in tandem, exploiting the advantages of each to obtain effective adaptation proposals according to the evolution of learners' knowledge, thus enabling knowledge acquisition and progression in the learning process.} @@ -129,7 +129,7 @@ Some of the most common and typical problems in the field of intelligent tutorin %%-------------------- %% Set the French abstract -\thesisabstract[french]{L'objectif de ce travail de thèse est la prise en compte en temps réel du travail d'un apprenant pour une meilleure personnalisation d'AI-VT (Artificial Intelligence Virtual Trainer). +\thesisabstract[french]{L'objectif de ce travail de thèse est la prise en compte en temps réel du travail d'un apprenant pour une meilleure personnalisation de l'environnement informatique pour l'apprentissage humain AI-VT (Artificial Intelligence Virtual Trainer). Certains des problèmes les plus courants et les plus typiques dans le domaine des environnements informatiques d'apprentissage humain (EIAH) sont (i) l'identification correcte des difficultés des apprenants dans le processus d'apprentissage, (ii) l'adaptation du contenu ou de la présentation du système en fonction des difficultés rencontrées, et (iii) la capacité à s'adapter sans données initiales (démarrage à froid). Dans certains cas, le système tolère des modifications après la réalisation et l'évaluation des compétences. D'autres systèmes nécessitent une adaptation compliquée en temps réel car seul un nombre limité de données peut être capturé. Dans ce cas, elles doivent être analysées correctement et avec une certaine précision afin d'obtenir les adaptations appropriées. L'architecture proposée et les modules développés avec techniques d'intelligence artificielle fonctionnent de manière associée en exploitant les avantages de chacun pour obtenir des propositions d'adaptation performantes selon l'évolution des connaissances des apprenants, permettant ainsi l'acquisition des connaissances et la progression dans le processus d'apprentissage. } @@ -137,7 +137,7 @@ Certains des problèmes les plus courants et les plus typiques dans le domaine d %%-------------------- %% Set the French keywords. They only appear if %% there is an French abstract -\thesiskeywords[french]{Environnements informatiques d'apprentissage humain, Intelligence artificielle, Raisonnement à partir de cas, Systèmes multi-agent, Raisonnement Bayésien, Échantillonage de Thompson, Processus de Hawkes} +\thesiskeywords[french]{Environnements informatiques d'apprentissage humain, Intelligence artificielle, raisonnement à partir de cas, systèmes multi-agents, raisonnement bayésien, échantillonage de Thompson, processus de Hawkes} %%-------------------- %% Change the layout and the style of the text of the "primary" abstract. @@ -387,4 +387,4 @@ Enfin, une conclusion générale incluant des perspectives de recherche termine %% Link the GENERAL bibliogaphy to a BibTeX file. \bibliography{main.bib} -\end{document} \ No newline at end of file +\end{document} diff --git a/main0.tex b/main0.tex new file mode 100644 index 0000000..a48bdf3 --- /dev/null +++ b/main0.tex @@ -0,0 +1,390 @@ +%% Use the standard UP-methodology class +%% with French language. +%% +%% You may specify the option 'twoside' or 'oneside' for +%% the document. +%% +%% See the documentation tex-upmethodology on +%% http://www.arakhne.org/tex-upmethodology/ +%% for details about the macros that are provided by the class and +%% to obtain the list of the packages that are already included. + +\documentclass[a4paper,french]{spimufcphdthesis} +\renewcommand{\familydefault}{\sfdefault} % Met tout le texte en 'sans serif'. + +%%-------------------- +%% The TeX code is entering with UTF8 +%% character encoding (Linux and MacOS standards) +\usepackage[utf8]{inputenc} + +\usepackage[T1]{fontenc} +\usepackage{times} +\usepackage{graphicx} +\usepackage{xcolor,graphicx} + +\usepackage[export]{adjustbox} % Pour aligner image à droite + +\usepackage{url} +%\geometry{margin=1in} + +%%------------------- +%% NATBIB is enabled by default. +%% If you would like to disable it, put the 'nonatbib' option to the class' options. + +%%-------------------- +%% Include the 'multibib' package to enable to +%% have different types of bibliographies in the +%% document (see at the end of this template for +%% an example with a personnal bibliography and +%% a general bibliography) +%% +%% Each bibliography defined with 'multibib' +%% adds a chapter with the corresponding +%% publications (in addition to the chapter for +%% the standard/general bibliography). +%% CAUTION: +%% There is no standard way to do include this type of +%% personnal bibliography. +%% We propose to use 'multibib' package to help you, +%% for example. +%\usepackage{multibib} + +%% Define a "type" of bibliography, here the PERSONAL one, +%% that is supported by 'multibib'. +%\newcites{PERSO}{Liste de mes publications} + +%% To cite one of your PERSONAL papers with the style +%% of the PERSONAL bibliography: \citePERSO{key} +%% To force to show one of your PERSONAL papers into +%% the PERSONAL bibliography, even if not cited in the +%% text: \nocitePERSO{key} + +%% REMARK: When you are using 'multibib', you +%% must compile the PERSONAL bibliography by hand. +%% For example, the sequence of commands to run +%% when you had defined the bibliography PERSO is: +%% $ pdflatex my_document.tex +%% $ bibtex my_document.aux +%% $ bibtex PERSO.aux +%% $ pdflatex my_document.tex +%% $ pdflatex my_document.tex +%% $ pdflatex my_document.tex + +%%-------------------- +%% Add here any other packages that are needed for your document. +%\usepackage{eurosim} +\usepackage{amsmath} +\usepackage{algorithm} +\usepackage{algpseudocode} +\usepackage{xcolor} + +%%-------------------- +%% Set the title, subtitle, defense date, and +%% the registration number of the PhD thesis. +%% The optional parameter is the subtitle of the PhD thesis. +%% The first mandatory parameter is the title of the PhD thesis. +%% The second mandatory parameter is the date of the PhD defense. +%% The third mandatory parameter is the location/city of the PhD defense. +%% The forth mandatory parameter is the reference number given by +%% the University Library after the PhD defense. +\declarethesis%[Sous-titre] +%{Adaptation en temps réel d'une séance d'entraînement par intelligence artificielle}{17 septembre 2025}{Besançon}{XXX} + +%%-------------------- +%% Set the title in the secondary language +%% (it is in English if the PhD dissertation is written in French; it is French if the PhD dissertation is written in English) +%\declareminorthesistitle{Titre dans la langue secondaire} + +%%-------------------- +%% Add a member of the jury +%% +%% Two macros are provided: one without civility, one with civility. +%% +%% CAUTION 1: If a Jury member is not present during the defense, +%% she/he must be in the list of the Jury members. +%% Only the reviewers and the members who are present during the defense must +%% appear in the Jyry member list. +%% CAUTION 2: After your defense, you must assign the role "Pr\'esident" to +%% the Jury member who have been the President of the Jury. +%% CAUTION 3: The recommended order for the Jury members is: +%% President, Reviewer(s), Examiner(s), Director(s), +%% Other supervisor(s), Invited person(s). +%% \addjury{Firstname}{Lastname}{Role in the jury}{Position} + +%%-------------------- +%% Change style of the table of the jury +%% \Set{jurystyle}{put macros for the style} +%\Set{jurystyle}{\small} + +%%-------------------- +%% Set the English abstract +\thesisabstract[english]{The aim of this thesis work is to take into account in real time a learner's work for a better personalization of AI-VT (Artificial Intelligence Virtual Trainer). + +Some of the most common and typical problems in the field of intelligent tutoring systems (ITS) are (i) correctly identifying learners' difficulties in the learning process, (ii) adapting the content or presentation of the system according to the difficulties encountered, and (iii) the ability to adapt without initial data (cold start). In some cases, the system tolerates modifications after the skills have been acquired and assessed. Other systems require complicated real-time adaptation, as only a limited amount of data can be captured. In this case, they must be analyzed correctly and with a certain degree of precision in order to obtain the appropriate adaptations. The proposed architecture and the modules developed with artificial intelligence techniques work in tandem, exploiting the advantages of each to obtain effective adaptation proposals according to the evolution of learners' knowledge, thus enabling knowledge acquisition and progression in the learning process.} + +%%-------------------- +%% Set the English keywords. They only appear if +%% there is an English abstract +\thesiskeywords[english]{Intelligent tutoring systems, Artificial intelligence, Case-based reasoning, Multi-agent systems, Bayesian reasoning, Thompson sampling, Hawkes process} + +%%-------------------- +%% Set the French abstract +\thesisabstract[french]{L'objectif de ce travail de thèse est la prise en compte en temps réel du travail d'un apprenant pour une meilleure personnalisation d'AI-VT (Artificial Intelligence Virtual Trainer). + +Certains des problèmes les plus courants et les plus typiques dans le domaine des environnements informatiques d'apprentissage humain (EIAH) sont (i) l'identification correcte des difficultés des apprenants dans le processus d'apprentissage, (ii) l'adaptation du contenu ou de la présentation du système en fonction des difficultés rencontrées, et (iii) la capacité à s'adapter sans données initiales (démarrage à froid). Dans certains cas, le système tolère des modifications après la réalisation et l'évaluation des compétences. D'autres systèmes nécessitent une adaptation compliquée en temps réel car seul un nombre limité de données peut être capturé. Dans ce cas, elles doivent être analysées correctement et avec une certaine précision afin d'obtenir les adaptations appropriées. L'architecture proposée et les modules développés avec techniques d'intelligence artificielle fonctionnent de manière associée en exploitant les avantages de chacun pour obtenir des propositions d'adaptation performantes selon l'évolution des connaissances des apprenants, permettant ainsi l'acquisition des connaissances et la progression dans le processus d'apprentissage. +} + +%%-------------------- +%% Set the French keywords. They only appear if +%% there is an French abstract +\thesiskeywords[french]{Environnements informatiques d'apprentissage humain, Intelligence artificielle, Raisonnement à partir de cas, Systèmes multi-agent, Raisonnement Bayésien, Échantillonage de Thompson, Processus de Hawkes} + +%%-------------------- +%% Change the layout and the style of the text of the "primary" abstract. +%% If your document is written in French, the primary abstract is in French, +%% otherwise it is in English. +%\Set{primaryabstractstyle}{\tiny} + +%%-------------------- +%% Change the layout and the style of the text of the "secondary" abstract. +%% If your document is written in French, the secondary abstract is in English, +%% otherwise it is in French. +%\Set{secondaryabstractstyle}{\tiny} + +%%-------------------- +%% Change the layout and the style of the text of the "primary" keywords. +%% If your document is written in French, the primary keywords are in French, +%% otherwise they are in English. +%\Set{primarykeywordstyle}{\tiny} + +%%-------------------- +%% Change the layout and the style of the text of the "secondary" keywords. +%% If your document is written in French, the secondary keywords are in English, +%% otherwise they are in French. +%\Set{secondarykeywordstyle}{\tiny} + +%%-------------------- +%% Change the speciality of the PhD thesis +%\Set{speciality}{Informatique} + +%%-------------------- +%% Change the institution +%\Set{universityname}{Universit\'e de Technologie de Belfort-Montb\'eliard} + + +%%-------------------- +%% Clear the list of the laboratories +\resetlaboratories + +%%-------------------- +%% Add the laboratory where the thesis was made +\addlaboratory{Laboratoire Connaissance et Intelligence Artificielle Distribu\'ees} + +%%-------------------- +%% The name of the university that is jointly delivering the Doctoral degree with UBFC +%\Set{jointuniversity}{Universit\'e de Ngaound\'er\'e au Cameroun} + +%%-------------------- +%% Clear the list of the partner/sponsor logos +%\resetpartners + +%%-------------------- +%% Add the logos of the partners or the sponsors on the front page +%% +%% CAUTION 1: At least, the logo of the University should appear (UFC) +%% +%\addpartner[image options]{image name} + +%\addpartner{ufc} + +%%-------------------- +%% Change the header and the foot of the pages. +%% You must include the package "fancyhdr" to +%% have access to these macros. +%% Left header +%\lhead{} +%% Center header +%\chead{} +%% Right header +%\rhead{} +%% Left footer +%\lfoot{} +%% Center footer +%\cfoot{} +%% Right footer +%\rfoot{} + +%%-------------------- +% Declare several theorems +%\declareupmtheorem{mytheorem}{My Theorem}{List of my Theorems} + +%%-------------------- +%% Change the message on the backcover. +%\Set{backcovermessage}{% +% Some text +%} + +\usepackage{layout} % Add this to view current margins + +\usepackage[pass]{geometry} + +\begin{document} + +\newgeometry{left=6cm, bottom=0.1cm} + +\begin{titlepage} % Supprime headers et footers de la page +\begin{figure}[t] + \includegraphics[width=0.4\textwidth]{images_logos/image1_logoUBFC_grand.png}\hfill\includegraphics[width=0.4\textwidth]{images_logos/logo_UFC_2018_transparence.png} +\end{figure} + +\begin{center} + +\vspace*{1.0cm} +\footnotesize{\textsf{\textbf{THESE DE DOCTORAT DE L’ETABLISSEMENT UNIVERSITE BOURGOGNE FRANCHE-COMTE\\~\\ + PREPAREE A l'UNIVERSITE DE FRANCHE-COMTE}}} + +\vspace{1.0cm} +Ecole doctorale n\textsuperscript{o} \\~\\ + + +\vspace{1.0cm} +Doctorat de Informatique + +\vspace{1.5cm} +Par\\~\\M. SOTO FORERO Daniel + +\vspace{1.5cm} +Adaptation en temps réel d'une séance d'entraînement par intelligence artificielle + +%\vspace{0.12cm} +% + +\begin{flushleft} + +\vspace{1.0cm} +Thèse présentée et soutenue à Besançon, le + +\vspace{1.0cm} +Composition du Jury~: + +\begin{tabbing} %Tabulations avec'\>', positions indiquées par '\='. +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\=~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\=\\ % Définit les positions des tabulations + \> \> Président\\ + \> \> Rapporteur\\ + \> \> Rapporteur\\ + \> \> Examinateur\\ + \> \> Examinatrice\\ + \> \> Directeur de thèse\\ + \> \> Codirecteur de thèse\\ + \> \> Invité +\end{tabbing} +\end{flushleft} +\end{center} +\end{titlepage} % Fin de page de titre + +\restoregeometry + +%%-------------------- +%% The following line does nothing until +%% the class option 'nofrontmatter' is given. +%\frontmatter + +%%-------------------- +%% The following line permits to add a chapter for "acknowledgements" +%% at the beginning of the document. This chapter has not a chapter +%% number (using the "star-ed" version of \chapter) to prevent it to +%% be in the table of contents +\chapter*{Remerciements} + +\newpage +\hfill\begin{minipage}{0.32\linewidth} +\end{minipage} +\newpage + +%%-------------------- +%% Include a general table of contents +\tableofcontents + +%%-------------------- +%% The content of the PhD thesis +\mainmatter + +\part{Contexte et Problématiques} + +\chapter{Introduction} + +\chapterintro + +Ce chapitre introductif vise à expliquer les termes du sujet et à introduire la thématique principale abordée. Il présente la problématique de cette thèse, introduit les différentes contributions proposées et annonce le plan du manuscrit. + +Comme l'indique \cite{Nkambou}, les environnements informatiques pour l'apprentissage humain (EIAH) sont des outils proposant des services devant permettre aux apprenants d'acquérir des connaissances et de développer des compétences dans un domaine spécifique. Pour fournir des services efficaces, le système doit intégrer une représentation des connaissances du domaine et des mécanismes pour utiliser ces connaissances. Il doit également être en mesure de raisonner et de résoudre des problèmes. +%% JH : j'ai supprimé ce qui suit car je n'ai pas compris le sens : "ainsi que un module expert spécifique pour faciliter l'acquisition aux apprenants".\\ + +Le système \textit{Artificial Intelligence - Virtual Trainer} (AI-VT) est un EIAH générique dévéloppé au département d'informatique des systèmes complexes (DISC) de l'institut de recherche FEMTO-ST. Cet outil informatique propose un ensemble d'exercices aux apprenants dans le cadre de séances d'entrainement. AI-VT intègre le fait qu'une séance d'entraînement se situe dans un cycle de plusieurs séances. Les réponses apportées par l'apprenant à chaque exercice sont évaluées numériquement sur une échelle prédéfinie, ce qui permet d'estimer les progrès de l'apprenant et de déduire les sous-domaines dans lesquels il peut avoir des difficultés. Une séance est générée par un système multi-agents associé à un système de raisonnement à partir de cas (RàPC) \cite{doi:10.1177/1754337116651013}. Un apprenant choisit le domaine dans lequel il souhaite s'entraîner et AI-VT lui propose un test préliminaire. Les résultats obtenus permettent de placer l'apprenant dans le niveau de maîtrise adéquate. Le système génère ensuite une séance adaptée veillant à l'équilibre entre l'entraînement, l'apprentissage et la découverte de nouvelles connaissances. L'actualisation du niveau de l'apprenant est effectuée à la fin de chaque séance. De cette façon l'apprenant peut avancer dans l'acquisition des connaissances ou s'entraîner sur des connaissances déjà apprises. + +Un certain nombre d'EIAH utilisent des algorithmes d'intelligence artificielle (IA) pour détecter les faiblesses et aussi pour s'adapter à chaque apprenant. Les algorithmes et modèles de certains de ces systèmes seront analysés dans les chapitres 2 et 3. Ces chapitres présenteront leurs propriétés, leurs avantages et leurs limites. + +Le système AI-VT initial était capable d'ajuster les paramètres de personnalisation d'une séance à l'autre, mais il ne pouvait pas modifier une séance en cours même si certains exercices de celle-ci était trop simples ou trop complexes. Chaque séance était figée et devait être déroulée jusqu'à son terme avant de pouvoir identifier des acquis et des lacunes. Les travaux de cette thèse ont eu pour objectif de pallier ce manque. + +\begin{emphbox} +La problématique principale de cette thèse est +la personnalisation en temps réel du parcours d’apprentissage des apprenants dans le système AI-VT (\textit{Artificial Intelligence - Virtual Trainer})\\ +\end{emphbox} + +Ici \textit{le temps réel} est considéré comme étant le moment où se déroule la séance que l'apprenant est en train de suivre. +Par conséquent, l'objectif est de rendre AI-VT plus dynamique pour l'identification des difficultés et l'adaptation du contenu personnalisé en fonction des connaissances démontrées. + +La partie suivante présente une liste des principales contributions apportées par cette thèse à la problématique générale énoncée plus haut. + +Ce travail de thèse a été éffectué au sein l'Université de Franche-Comté (UFC) devenue depuis le 1er janvier 2025 l'Université Marie et Louis Pasteur (UMLP). Ces recherches ont été menées au sein de l'équipe DEODIS du département d'informatique des systèmes complexes de l'institut de recherche FEMTO-ST, unité mixte de recherche (UMR) 6174 du centre national de la recherche scientifique (CNRS). + +\section{Contributions Principales} + +La problématique principale de ces travaux de recherche a été déclinée en plusieurs sous-parties. Ces dernières sont présentées ci-dessous sous la forme de questions. Pour chacune d'elles, une ou plusieurs propositions ont été faites. Voici les questions de recherche abordées et les contributions apportées : + +\begin{enumerate} + \item \textbf{Comment permettre au système AI-VT d'évoluer et d'intégrer de multiples outils ?} Pour répondre à cette question, une architecture modulaire autour du moteur initial d'AI-VT a été conçue et implémentée (ce moteur initial étant le système de raisonnement à partir de cas (RàPC) développé avant le démarrage de ces travaux de thèse). + + \item \textbf{Comment déceler qu'un exercice est plus ou moins adapté aux besoins de l'apprenant ?} Choisir les exercices les plus adaptés nécessite d'associer une valeur liée à son utilité pour cet apprenant. Les modèles de régression permettent d'interpoler une telle valeur. Pour répondre à cette question, nous avons proposé de nouveaux modèles de régression fondés sur le paradigme du raisonnement à partir de cas et celui des systèmes multi-agents. + + \item \textbf{Quel modèle et quel type d'algorithmes peuvent être utilisés pour recommander un parcours personnalisé aux apprenants ?} Pour apporter une réponse à cette question, un système de recommandation fondé sur l'apprentissage par renforcement a été conçu. L'objectif de ces travaux est de proposer un module permettant de recommander des exercices aux apprenants en fonction des connaissances demontrées et en se fondant sur les réponses apportées aux exercices précédents de la séance en cours. Ce module de révision de la séance en cours du modèle de RàPC est fondé sur un modèle Bayésien. + + \item \textbf{Comment consolider les acquis de manière automatique ?} Une séance doit non seulement intégrer des exercices de niveaux variés mais également permettre à l'apprenant de renforcer ses connaissances. Dans cette optique, notre modèle Bayésien a été enrichi d'un processus de Hawkes incluant une fonction d'oubli. + +\end{enumerate} + +\section{Plan de la thèse} + +Ce manuscrit est scindé en deux grandes parties. La première partie contient trois chapitres et la seconde en contient quatre. Le premier chapitre de la première partie (chapitre 2) vise à introduire le sujet, les concepts, les algorithmes associés, présenter le contexte général et l'application AI-VT initiale. Le deuxième chapitre de cette partie présente différents travaux emblématiques menés dans le domaine des environnements informatiques pour l'apprentissage humain. Le chapitre suivant conclut cette première partie en présentant le raisonnement à partir de cas. + +Dans la seconde partie du manuscrit, le chapitre 5 explicite l'architecture proposée pour intégrer les modules développés autour du système AI-VT initial et élargir ses fonctionnalités. Le chapitre 6 propose deux outils originaux fondés sur le raisonnement à partir de cas et les systèmes multi-agents pour résoudre des problèmes de régression de façon générique. Le chapitre 7 présente l'application de ces nouveaux outils de régression dans un système de recommandation intégré à AI-VT utilisant un modèle Bayésien. Ce chapitre montre de quelle manière il permet de réviser une séance d'entraînement en cours. Le chapitre 8 montre l'utilisation du processus de Hawkes pour renforcer l'apprentissage. + +Enfin, une conclusion générale incluant des perspectives de recherche termine ce manuscrit. + +\include{./chapters/contexte2.tex} + +\part{État de l'art} + +\include{./chapters/EIAH.tex} + +\include{./chapters/CBR.tex} + +\part{Contributions} + +\include{./chapters/Architecture.tex} + +\include{./chapters/ESCBR.tex} + +\include{./chapters/TS.tex} + +\include{./chapters/Conclusions.tex} + +\include{./chapters/Publications.tex} + +%\bibliographystyle{spimphdthesis} +\bibliographystyle{apalike} + +%% Link the GENERAL bibliogaphy to a BibTeX file. +\bibliography{main.bib} + +\end{document} \ No newline at end of file