From 7dbab460a8cb56a51b8e80bcc8dce02630b5d6fc Mon Sep 17 00:00:00 2001 From: NotXia <35894453+NotXia@users.noreply.github.com> Date: Fri, 1 Nov 2024 11:29:58 +0100 Subject: [PATCH] Add A3I neuro-probabilistic model + survival analysis --- .../img/_rul_censoring.pdf | Bin 0 -> 16588 bytes .../img/_rul_neuroprobabilistic.pdf | Bin 0 -> 44907 bytes .../sections/_arrivals_predicition.tex | 65 ++++++++++- .../sections/_remaining_useful_life.tex | 102 +++++++++++++++++- 4 files changed, 163 insertions(+), 4 deletions(-) create mode 100644 src/year2/artificial-intelligence-in-industry/img/_rul_censoring.pdf create mode 100644 src/year2/artificial-intelligence-in-industry/img/_rul_neuroprobabilistic.pdf diff --git a/src/year2/artificial-intelligence-in-industry/img/_rul_censoring.pdf b/src/year2/artificial-intelligence-in-industry/img/_rul_censoring.pdf new file mode 100644 index 0000000000000000000000000000000000000000..4077dbc72b195822e8ee1d2618721bc7a8821273 GIT binary patch literal 16588 zcmd6PbzId;@Th>)0Z9RoIw;+zXi&OCQX~)EdFYZ5B&88VP(VNs2}uc2M5I+fx?`Fg`1PRs~JEK zy8l4?Di-E8NJ%FzphZ65Pe=gH!w2UV6hMHX2sjS{fle6$%m63^(71txzV}nY(a{O` zf}rdC$`y3>Pc|xBI9j2s!H^$K%i7ojgoAly?E!8`TbMbSTcG>zhH|w)I)J<~`mc{T z(g=|F&+D#3Fw#k_!Up8(sIVlArwbOO-i2R{r=!uhVSM8_fY`IxP%*_FBX}4Aw)1{1 zMw`iK6_#-bKc2Vczj8&S@=5?au?$fMvoG1Gt>`wI*)kc*oN}|Fy`iL;z&dZHiqR!A zk~GO4`nBTfMAeu6y96*Hj5azWVHk^$Vmq0={P{%zFSFcH^5P~Lf=IR8JATbe+=J&_ z&9c-W?a_voB>xlUjB_G9nGZTa6S$sCeon#M&2_BnDyt$|MdNhbW zetet;;?1c&mXQx7sVSxdCu!e)xn;J&AtBJF;_MpulhNxiZK>RI`p7NJ8N$H61|V4zp4i$1`L-`7%B!}m#p@CikGaQreo3{JV|c0u!WY0d)1MVT zUKv;;eb~~t1~&tJ;j*XQPoRsuL4=>^_HwteeaEj?+fGhGTZ8o}O78iq*O_LaBjm0O z0XM5Cy4VDByP4HrfmMU-3e56+_>dm2Rm)R}ta4SC=N&&+Cql&?OL!d~ro)J(c9X3OBE17l_%PR60HNsZor72vAs zmO2v>Vxf@0ktAJX*421}{K8T}(s>iV;ER#$s3W1oEqW`w3k(pw&d2Ha`3W67dBK-3 z(wuOztlg`NQLpu z1M|vi(?GSFA!z2KHxHwL`==Cr5T9f1=j-C0y+Nzt9eiR3Fel7>?Vs3@v; z$;tNtql+9)gl@Raj+9-HPHy%Wr!&|_GO3cx6teF}s}t2#Y&|T$@{7Fru$bBl+Bi=} z88jSL`AKTvOA*$c;vwr1yjPzU4O&&srF*|EZpJ%TRgM+S>1?rV8v15GTIz}Aq4XoY zhTFo3k(_X`OFol(q!q*(^7`pt>%c>2Nd?rEuV74#FX~orE}1=X;*D0X{*q^wU7I?! z58c~ZnL7;N&P)%)XjkM-Lo4=cA; zJY1*VImGa`Ej(Rb(#bM$O364`$GNZ(lUMKcl@Kq5EtjHh9!KfXhnCN{zz?6ib-}XV zx%OPG%Dn5E*=Gan{2X5c1{GRFZ2bJB)GgEVs-p{T+4an@}MkMOnnJU_;JK5 zEUtGW&L%cA6fDmi6Y$Gw1P+?I%?JXsU)F^%76$txKVeF8Y7#LRX1Mbm79ChNc>T@g~%H9|lOHh$v(um_L(vsnuFJ9xzU+Zbk4Tp1U-H90fz=#{H9KcrSZ>{ud zckWxM8jNz2r2E6?=*teC>|iL$>HYdvDD?5FaQf#9YR?FRmAr3@=a1y?io??9Q*QON zAv6i;Z@8uqX)q&hW=don>{9zp1U<8cJnye<_QMyze5FgNlZN<7+;`x&w-@O=mvZ9*D6=(tkKM zR^otN4LW055Mx^I+J0WwJFWc#ccoz?sv!Js@*zJ5cP+!LQg?i07fYBO$%7^O)vYU% zoAf$rX+w*jVlQ}}yCgL>CVywDOPbsse4~^_B{q^fmRy99w1E`Mkan5^$q;6DcD_bh z#S#k@rM0#ySEh)P881=|YygkEgyC!Qv(=}xE`o>xj&6hHUk@13_r(Vh& zU8`2JukA?Q57ouf&$4b)ZH9ZAuT5l=6Q1W$46FHsL}X^v^gft-tHjQ{addusaEs0c z?{akTvSnTl=KM?Cetw2V?<|$VQtt#^c!8$eZO7!EKU^^_!v({k>j4Vv&(U)dTNZ27(u#1TR@MP*!e8KWZ7J%;(a%@#b=%(FfNge|qlq zct*}R$J#JcoR2E2QFCD}nKwD-?hmw6X^(QOuP2@**!WN%iDxeAv|(Pwq6Rw1{Ya^p ze}jk1?nd{Qw}m?om<>6zMVRgp+|v{a-@7n56SJ1$b(K3t10=ZbUzSBVuo6vXDB0fV z(KoydpOB5DOiWPEhoGY5<9!%9jNV#bk*nTZ)%*enh%y zV?o-oK6%wdv6(w2N7!NXX-JbY(!b}uQNzN*+>uYRs{+cKUA1ZcQSsLjcO-k1K=`X| zuTVWFaCCpcBV0pyXHKe-A=(C+p%nGNVkSH49zw*RQT{^MtwiiW6VlmKo#67sfS25c+Nj^$K(y!^&qykyeH3!$)p(PYH&RJ^hFE-|8zu{jX~9Yc*xW z-ll0Av3sLuerFg19((rY^iH+qIeNiG_NBXuW`fzm5#uTtx?Wl2ZpZCU)*fRg1sJ(7 zsIXpm%wQuqKgim_8IF3<7@zq^p*+N#!U2eC$6)yZTj|Mi%4Fqve_z#_Pv(^U8;?)PLKhu#pomk?;F99 zMY?lDyH(&KNC182l0u4ld%pQQq0etg)Fe0iT7u{Jqp;(esduAMiXvN;pzQ4-3!VJRa&&(*szKvlU^ccpW>C>T7 zF!d;1I4SfU)#}lKs?o7?pT4cf)5u3dsP|Od| z->|iQf6Mk|04S9>gvh5W%pN2n{6H}m0*9GriC)9TFer08eV`1F@=BcKFFQyFkvsT+7b;wi+W`~ioT zO%&K2GYi+DKt5Q4kBseUo(JB1P`8W;rlCD?+c0EXB~0_Vcf+&2n~sM9V??X^QADV- zisqM(7m)pu{6<|^RlQ92_8#3FJxk|BI&=Y%E=)m|p>a3ZPj85L#-3RrTsZ)dle7ih zi}SH8Q-(!5L|3PE!^*Tw(^rLS%q+L>cWm-plTqPe>vK2O`XaRAu=;6sG`M28Uo6Vq zz_`G!Zp!nx=%{j+>cfhP&nX;2d)L2l2!??Ci9px6U_^CToxT z>K258v0{%NbXFi6SFoDNdZE?+QyZd&U;X_?SwI=mNkYq8FY%PBZ|F2zQok`xHY{!T zFUXk`be4U z#~HoSV#Vfd*|2jTpJH26^hYpMJqpx_gjKO5|H>X8yWE$jG zU##q^_*^T;#{Nd`Mo6QBWSG)%8@bW(ZLc}9r!>n^bufdnY{flle|UbzOuxRwyY^A) z{=F2TO3e;e`hx(`>mxSe?VGuDIJHD;7TPvT*Eb$#bV0kK&3s`FBkcDK+HZ;5$Czc( zA}3Nu3O{sr*i4?S26=YA|FRX~|Ga}yHs@jShh>A&gys4t&QE2BMTIrl_&oLIO7#wO z*65xGU&XEyF_F0cDz7*BomAxJIm2(X4}}U+dEKBlLQ#wDvd&y)jOv;AuY93<)h1qZ z#ln>7kt7gD_f<l+L~2x(Yn%smlackGkH>Z|zFd(2ye_5=k+NsU{fJ62`ZKG_gRh3ufGAFUOm% zTB|>W+-DoTBnVcL91x!eELx#k)cKl4PRCo4sqi zfOQL(U#|oYa%Fhr8o#HdvOQS6%JsO(cnbx;ba0F9tlLw4H+Sm=uTMTX*m=hpEyqg? zxa{vfoFZuG{j=W$4Jz~p7EVS(!SyTzuWpyqD;VS1o>-#d9N+#if=nz~9Hqo>Nxlct zn|@HbSAQpA;8BOU(=|gf@wgT{k}LSEyW#e_B*XNS8$InL zCQ7sqYI8X*Gx`pb%A}04UzCHgx=-O`(I+pHG#`i(MG5Jvm(}P)`jkWGUh@sS9--V7 zYb@!&@>a}0GS8Qu4ZEdG>=WJ-+~Wx5biPtRDgKenkUSZ$V-p!>wD)TGiujvC(iU5l zzL#wzfu(RLRW=2w_)tjc@;z$p;D9_qx!&>us(uN}zWjnP?}z$QcAaXZ zkj;>T=xT^J3C)E%zQ6743d;^FPK| z*zn*#h2`iy%HLQH;phMFxh)f?LfH%kyuOU!%WQ#fwkk?^34D(oa23*Hw(teP;}-=| zu)<@yNnft1*6cceW5MH~d`!f2kcSV|Ni=-QU)3m|bEzOgulAujyL-R`!$#x&Sdu0gukURJWSd4_z7aAUcMK?vFzHYy;{Ti_hDmzl1E{`uyW*=h0Rw2dd zqa9$Oyni0Sn*v=cW~!xOTkXl%-p9E2=&JH5n>a z=7&Gli+!|*U!GL$d|vr>;lfIE)pMTJDytDGd-%X-8|_1yl?~d75c&Z_updStUI@plubF*xSCv6BO1jVuel~4rf12)!p@PPQ}`5U4HcM6J=9HfVO5SAtK*}*l*y4F}9nmrX9N@m+`7^!#M zG-HdjFMIUyIH9YR;3Abt%363Jv^i`Cciu*cjJetN=aXU z+*`b3L7zkE%^#usMAaiRu3zU}AdA98o9wJ;Car4Da5&bRX||~M_^-=tVtfeQQ*YJ> z9M>Ky$Za=iuee#%#m|{no8``?G+1`7*>2F4sF;4%8&EElqO{d~s^$@E)4)x`IUg5p zG+v2=%)4a{aWCjXi7Vo!e|zqsI#xc~e)wToMuhh;{TN1x&s}l7f#zFnfblYtyN))= z)W{JQkq=T-q5{t;AxN^cvd%v?7{KMKtTVN(*=xV1b`+1rh%}*%8-jNPG3*8-$om`BX z1TQm@yNj5Sv2rC^n+je@yg$uzu6Xlyg5Gi{tax<#(n`x&SG%gXs5-4q4fD?|#;?6R zKdFG3nw9gLqti_m>Rw&Wy{220)hX5PUgM?A;W^;Vfnt0 zRO2&gs-K6Zaq=8Hg@_JZ$0X!RkHAk1=p(;Iz(CFV?ONvsp@1z1S1GyO^hGGPorLAX zj-}5MQ|LOyUxx$4{^tfVLQ}!@G6cPc<`>N7 zeCM`gI9Kw^~=W8J=#r&4(9A2 zBYt#B$_1GNtxcg5QJd>*=bmU|d_{JXhxNX}y`#^0vqTBZE%b@~nub@DbW?vR?~ACW zDd})2pOKGzc}}6Xa63F6$Fg>+Q|zR_4eKP2bpEvIP&hKBko0^5RdDTY2=%3SufcOE zOpk~Cy7To{qBw-8ySU@#K5|5wzPjf-lYzaYVj-tUbAx$;kKs_+K#Xli;e{9#TnYx03U&P8NQ@5*NkXETxM(n)uv>JhE;!;oSm-y8pQ{!GH)HPx)yD zCHBje`LrTFsNl_S(+e#P<#_MuKlS2pCl)+_OCz^I1`Q!vE>B_4H3dy?59d(1^uL_R z@$9h4E+$_b3lR6YzpLkCI98y$u}E>T0rTrb=gRDt7Ut*v(Zd&xt9Flcvj%np zui=!vIc3;S^ZNz=#P7e>=5Q85c%VkX@sf<0;fpfKY}w~y8V%W-EeU2z;LnBS$P0&@ zTpff5oB1ySvDpqpDPGNm+4$Zd@?~HM>HlQ*tPJ^7d>n_;kEf`s2wJLp?s_!}1iy;_S^#nZO6}74hB2gnDbeHrR<>X%Avb0N% z41Fc?6I}>%S#glkS-L{JutR>$){kZn8qBQf5-!K&3R~T>x}2!)X#SAKhbaH{<8bFs zMC%c7hX;_nyogF;(gvsew|8A`h4JDOE3ij(E44BWST*--9pNhIx=5YE=hJo%;D4}k zMI>}MgaYRkYk?GSl8AhV#UbnDj-9|RLRD2T4RLe0lD5|2+tkOi{B5F}4tG+!-_N_$ zr8&qwY9ZD27RzIQTweWzyRxOv`J#MwL96T8>Ly4cVFbxU5G9$WA@daX!bN!+4A(e* z^Rb*HoR+zSg61xpdj5h;h+=B=!n*;V2imV>)?+BRzXV@={(RGHGJ160EcNbAoHCG*?Y;rt5pLeoDi(| z#0%T9yR+wDNiB>D4~D&peaB~S5(u}^`*gY_9(+WqxZDnDR%4iHl+QG=uQ$3%v|z)n zDtHsFPU;du@0RUPCGl1fHR=ejGI$p*Fr(TUgq;#DbJuL*f$1dqjb|Tk3DNdWhiHun zCPJS*bC#4b*-YQnJy(}=DBNsSi;9w4#HS3=DH{h6*dI&b$1P)12@yI^I8u}2?1AGg3l#f+bZTu2Z{T@_;Lm*B(O8mknu0KXxq*9p8& zsPaAw126v~U8QHxXc00;l;-}IC%aU4D!IE(q39G36(;Zp6p1A$IX3eVO7Dte^QvDx zjQHTKao$jHcfupg6~r{z1P^q|NQ1u4^ZV?f0E^(;|G2cZ;IG9~TXJ2l%QT}r`u(iC zLt{uq?9KHfyrf1R#n!tA1+GKPjgsqIl^e2;z0~CH8iY-?yqs!(9%;11W*lN`)*sa0 z&kS#=XIf5TUwmh!tt(U>UDC0&J*DMA)NG6kjgQS&$}SzIB@=0>)6ah4-~bQ%8aqtQ zR-B|It=cLpoH5pJo~<`|W?OPx@U>k~<;;7ku&;uo1o>6aLkS|zn@ly@bfLSKBiviC zeAbA4$*e^>SN6;vj0HDr?Rg!G_!z$!BjKs%ZF%qfdXg{});wew*6+RWTE2Ab`pPg3e-V55z9QMKc!G3t4$0VsUMYOmIXM>pq6N3$R7c zR8Q4zFf#Hu=(i0C)7+f8EHX_0O(ts){c3t!cUA7Ijy?w`pGo%zVkVtm&o4S8jJ z@gVC=vttK$MihHhbNR?Xw|Tj@8V#Gtp4}yrLven7DaY%Movp$gxgU(GkPmjqZobHW zTbhff`AB)soN;PVK&{r7u#d$|sx;&oiItup%{r3$h{XhAq^*8!53$`!l996Y)*%4~ zEttFJt6u%8l7jT!4V*7Hl{i+4Lm|RJwcB`$FV!BREX(2qEZ@E?ig@In*P=17QHqMR z`KqGk|BMo)h1gW{sEsq?Dov9jmA?#8St%74v^QGu)c|@$z7vN zJaF2g$dre1Tr^_?W#sEWQ$BDp;a~C};SHR{Kj1{wXW0=--gFQHjazL)#d`)VNQz3S z-B*Ew^tz_Ei<|g^_f^GQ>nVF3Ak!X5KFVH$DESUPgK18P zR|wlgI5|T{Hg>1z<32%8==zmsug0xN;|&c$^4MuLXI(X$9w}52Tw~&sy&lfshnsXK zn~FzGSD$>pzOFMBZFUE_T_ z!mX!#Y%o-+glIvr5|+%|IJg)}TBW&_lbPaAN(i?T|Hg{p|L<8Rt8J~iZH3MU+7bhuPRo?cAW&oS#s zAuqT;UYy$kqw2G(%)4#VwGMr8_{Q$lDzFtir`Ji!l7dQv`hFgzWIdFiaTUDh=quk&@E~jQSlNuhtpa{ zHf7Ld>Vz&29?8Ue1ebz9}L|@_8d*_Nd0dSsm`ubiU!79s;w_w zX+v}PJB~#o@g7yY#F0znPx#RpLdIR^89*+k+0J({bF%_cLl=6D)w$M zy(9_uh$1JVdesrdUR-lOp)`u6S4Tr>{>F-^Y(t9RF5OXme$Q6jI3;7|$8;S}J}fr4 zaY>4%Ymj5<*0@dtwy;ea%58v4t4-r|^zc=eYRjRh=c0MNqc5e%>+3nPuS4ZFp>D zx-wb^3lE=~UU{=OBw5eery936{>5)-)JKkre4#syZ^X}?WI^`ej*C0VHB#@!)rdyU zXum6z12k(2$4-HlyxoTNi}&@rUarw0pk+x5U%H%GWH8B+FO0Cs6Kv-62S4)Icq%=z z{|)zQ=6c*I(s_!j4*7%qW*9%e4&Tk@^HNXYXXt9M)c%bbeu`5I1+E$Wr}L*0r{oxd zR)*p&2H*tT!)eh#3itT&zjSX1;9p44FJi!r#9 zvQy*cF>7;pnb)LqfAqEs2NAKriWgVbSL6J`&cC?v{xJ*u7V!rXqw`-I{c`8qySANe z`Gq~(jpzx6;vA+wm3~HO_l`sleU7TBkeDcJgNp?wgox96poYHZE}5In3CJUL&xy^4U4nP!&iH2KGC}6-r=o|x4Tn# z@yd$Zz@YEp(cPizLR@~Y>8rZeFJ2M%5Y%tx4(pm4`qbKbr!B(Uo!c+QT`0D~1>-vT zgZ*U>>{&xqG6Q;<;Lr015%ct<8GV>`#1F|KO}z2mvTXY**}Nk1lfL`DsXZF2Pj|je zcI`X~_0R0;qx0rO<%^j<*GJ_JJQ}4BW2Fs0@7;)H8a!O^&BNaqvNi z$~H;7nM={il8(`5#~AmwI7^5xZ=7PLwY($oZ`>N;&5-l*O$N{2vsBFsXvcAl)oP7W2ZudN7p zKgU$pptzYXdHD`k{J!did>(M=Zt!J^J_qSERYt2yd2L$PVwM<+|K6Wvi4$k=NbT zE9}(*l@9Ok=h@7?c6n!FYerMz4LytFdG&W*xe#Fat7k zi+ZHXt9$KuG31}C=kha)`+m4Zl!&_Zv|#ywW44U4N{d2Z+tdA`3H2Qvy!Y%!ltXJd zhgtyHU*}(r_m44oCUoR1Esc zu403!$7WaV7}2Pu)pSZXzcjb<66>Kf;2wx08$KIx=xvrg~4Bq`Z z%^shNX)q!Pp%&FzjC@P0{JLH(bvgr>ApWSgRO2$P@)hlF-^IOdjTV-HX6AH8Oj#IlV7AF8U;|EN0{W zTTt_@Nj&N*OPMTIO9%1!l*!>n0{S~rc*19k2nY9Uf~53(hfr>zJ0bl-xu05SiC9O3 ztt?569c5!6mE$7U8tl&MJj6)t;BF+U?ETRCV9`5#a7B>nX10G;em)WW^7;1u>)qDR zdpvLM1Y}Kie>~{1+1ffhBKEAxc0ENsowBb0{UaCe$JMuaibLS)+ow4(b{w&a;}ym`nX)Xq;_RaO zrI%{`m1GSH^w=NqDG@y(WA0ZyppI{1A!b(5kgRA45fF8QM|**fsqDvY>c-3mTUS2& zWm^`r77l)uzZ^F<%Omt8A=R9LrAr~EXGf_PZcijtX6wX}q&2%|P>N-S;EfEh`vs-E5@_=_D(b&id+cFvE9>I}#^SHhutPHPG>*nKyc^rAYPCDJ zJzplCm?pF*66C+(&0#W>j>;lox!yMZRyyn<$UDQCiUTwMTAhOXJC@PS?5!rp=yG$4 zD|aR`xPtM#vjxf7@yo4+2W06uYBb+oZv($jXn0%~*YY$&k2WkL<}qFA?5BJGursZC-|=yH|AbwX3cvVDEWK}cU|TYq-pD2docAOD=&VO!|Q%o z{H-p!K?;${`500Jg=PIUI;a**A)2B*sf}tVBS%BdSE=fAM9P9eNq+RURx01K#9pMi zuT}KKRW5!a%ADg~$dw%XukEAe)603CYxJ+($wkC+%?<^$2d#?3$uuowC|}=HLEI3I z8k!>qM~#Dx$Svl3jBPmm2>(4CkYD#RzK6)1#J%uJBHb*$r=;XmRIX`rN;$ZGU%t4y zp`@&luE4P|uQKvS8j3)Gc+thBE!@mpZJbd~u3$hjqQgjdHQh~7C$TqZ^njIDMLM7Z zael%2y{hE*fE8}wVhJ}C!3Tt)@CkthfCLb!f<~=^M7i3WgtYMR@u8Oxz~5gfLl7^z zQ|dsZ4G_R`5_bdQm2m{(QP6QXf5-p)1c7*^Z7eMc1u%nnQD9zo;66GKPs6KgV~(;0DEl6d1VDb?X8(0M{XKra48sZU{>^iMr}juI zH-PZ}=DviR89LfXfDa%PjT!yH4F$Ligi|@o{~($rCX9XbA%EnB>(aPQe zEi0NR3kMx^LIvq{LJdGXRN&WOr=NOP|76tBBme*Sfc|gm!(cElTID17_`rfd8hC@y zZvg;?hQkB}PabssU$9^5pyB_U2lO)!jqB%w#se3Co;>LEN#6nS5P(7fxq^ZD1^K}I zz;%29LHJ1?j2{9Bv2U+%m_3R^c%*9_)Zw`jV^!k4U8f>eZnXJ4%7po%Oe0dOb7xzKs|tA zKVfKs(0S3oQX?uKpZ#et-ym;9ATHUMTd0 z>n9@v5dK$NXu<>mX+aYYJm|XU=PyS6pb=gErvw0L&`&1(#D~rk;)9~~#or=_2L9F1 z=~LtXh`|5fas3^J^N;;nFmQqP#Hwh30YCjDr45Fly?DUVAi*b>>w%OR7>c$K=+ucS z2Sx_?0s-0=@H0=~-?bL>hmEoX0wce}Pc%EQ9yuvw1&rPIlr$^3A z{b&mXKG{$J2>Nb;;3w??CIT=@Cw>W#;|>N6%}+3%SS?_>qCft&6+iVW+8WA2z$d2v z*Zf~ii3H?Vqxo03E3cFUfRxt^35K8%^GZPf$6|o3`@0zIe=Nqw16V+yAo?vX{!4Fv zS(yAy!Y{J$H}IEj=f8o!`fA_p;`fMOUL_lIw81|Kt=0G*1?vvjvlDuL7*+T$ZSzV2 zk*w(D3>&ciaJF|s+1r?cJzzXSJbYYWYZS`aO_-P0;jb(nCs!+W5HGL}F?Tlu0%L!z zPN0F*pIZ{y@BjgBT}lNN^ZLE#W!<^vB54&~&7vhwkb@f|kqQVSt+Z9R>po(Z68m zdGK3Z7@(Q{2?M_P0e1eQ93Ma$AdLTnK@h+-yx(Aa(0{ed2SETv@}K2^BSi!t1pmMX zfgynP+3zq2u!Q*y1{dV}y&NBeAHC4}2R=TCAh4+U4F-h?{LU9(O@me{|Evpx0_Nj) zm;hSk{IeV!pzdEVI9dn%vmAmCSabdkgQIoTZ{^S?>o*ub9Ic`LS&m;o=wIU|!1wPy z3&7BUlK-qLAoy=y2||ESvERxGB82|cuAm@b=6)+D1O*m3zrzr~CE$O;(8lp!^2{fQ zb_~$JzvZ4!5Lko!27^EZejg7AL{Q*&+8|KazvT)l!1p_!fk4t<`+{;s+SpsTp8VGV yO&cG;r2tmS8ct4VC3B*l6&x)At&LVPC+gP?g>*%oOlt@bnlA`qW|mQt1^qADv#pu{ literal 0 HcmV?d00001 diff --git a/src/year2/artificial-intelligence-in-industry/img/_rul_neuroprobabilistic.pdf b/src/year2/artificial-intelligence-in-industry/img/_rul_neuroprobabilistic.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f01f5836864eea6e18cdbae29126aa7488833a5e GIT binary patch literal 44907 zcmZU(b8x0ju)rJJcHY>wZDV8Sjcsd_P2Skt*xA^&la1|c?2V1P-#zD6ovK^&$4t+3 zPyf2Bo~K4ss*=)7Y|NYpR8^aR$_@lJ04u=B%oagV5Wu48<7@$7kuY^PwRf@tu&A0^ zS-1h%|0$>ggoP0-9D)BS^8OzKX(vZ_0LTBUz@npKW@};Y4&eD8QOet0M#J6I-2%Y* zKOL&3?(P<@jsULzLv|LFb)pGDom&B?>n{9io(@&EI$WC64>6?gLf=aKba z;p5?CX6Iq$X6FL1b8#|rbN$yc{FjV>5&oOT4Z!z5oMMiSPX8pf|7`wmR{k6Q|I(;v z;b`S<4Pg6U*U~oj{{jcFNZbF*hNOkL6VT#6em8el3sVOK@9f2Hg&BJ#*BqX&Kq=(Q z5Y)Rs{HQdgJ`Ob~PFBuBTKORvaB}dQzkWgt4YpR@O{+?HX*Lj3!Zf~lhV6G4`03aT zp9jWYOF?flK`+`tpH@Myuf|`OPC>Wtmn>hOt?#ddAIG)Erw=@@Ga_BL=QH0pN}+O@+>cYA4MW>m#y4EsoK@O zmQ%i>EW~%(QLX;Py*u-TL37g^@9|C{#$U$9J1kp1UwX%+R`3ryK~LJXK~JwNwIVOt z!;mkj3RmW_><@Ik>%3n)K?=Q=XLhOUlYt*w#^?KA(qAtTU!T3+0UyyKUyVDTV>Dk^ zwLxzVm&SDISqOD==pG!auXQdhPDBs5w#tAJP`GeEGlR zOX9WAj*Yn(4({qI73@oy5CMC8B!;JlQL$v_9C?W?LfOtotlo8Y>DNKM(&wR*w#>e ze>f{Y<#w0pb#D1VezJ49;6Ye0qKL=gn8MiNwDG;9;v6t+9j;Yq8~I+jE@AV-|8q~9 z0W&S=fzvB0em(}f`Z7xGOkth(wj@@A(~9eZ{`H9?yq0NxVS4Je%CP0#f4SJ=FUNsI z^4dq|dbN))y%6mCV8T`DmR`5%ebtCV`w?Sx%d=kfn+c}AQ8T5*)a6{fntpDYLiM8V zYDv~q7ykFdEG{K#!Up@xu59!Br1R8@QNN~->3Pd3J*8?6y9ezhoLZyQs_y0u+bph+ zMI)PdyyN+NuQ`dX-qXc^1OBF>5#*e)r6}E)LH+ru!OUc>ye}s$%`%hkveWw=Ft>1u?Tn_5+3VD-+T%`3D(Ic!6kxL>1 z9*-M>w}vagNgT^xhpQ9sQlWT?`X9}{bjL#c=H_SazW5%T)Av|$!0jBH^Q`a&^LEM= ziss=an|Kd9%S+*pj3!b0mJajibM%kDS#`K~O-Y<_xQQQao-7MRia!pU4fvIIjNa>i z%UsEH6>GT))%yGe5;yj=rMzcpd0ON2)U{OD__5WhhX}xo57^*lKb1AvUg(aeFNX+K z{+<1sg7Nn+fh0W#wK1VFhjlwOlWy#b!hBUdY{@9+pbe|d!%A9id@=(cY{zKvR73L( zqp|w3n@x%CaSb#Aa(=4yd|$PXAU`JqcRV+cZXJAKpYHYEWysH}1?#7mEv8RO2f#92 zxq@VBUQTD*b{^E>t3_g@XJc}THCbsym)iBw)#4SYn>;ViKU4Aiq4zF$oM=bm)KZlq zmb@-U_P1A6W4mE}Z=Gz4M*J*TqBpA5d)_LnVcCOutDo%%O~GkKD9+%i10{cy&t0P$ zFW$16TR7=hW9c#WZ)(;mA+du+qZMr~GjZ9DEt`$Gr6uJ-XBCl3Z3*oAV~tglA$?;w zw}Vyu$x#yfs)aXBQ&{!0cBiG1r_6R>4`oiK&w=0RUZm~LPARKbD-*R;w2TR*eTZR-jmx~F$oo&TQ9z?Q$9!P3Z;IpyldB|kXZb3ssLcjjHXo9qBjIRssawZ?$zhf@-czVz*Uc2xo($X8@vwAm6XiG_|&;k>}aCy zVm6y;cMGi#)ZFI+zGTkfY!4;bOBv?N+VhR+9B~ zm>#`M8FGbOw<|ZQ+i3y~s+Dc6w!_w`?kvT*tcMLNbmk7JjGGcu=#}&Zy*)PF%0;@0 zQl@a-a0-)>QTCcHSHpIF6)?qmAkH%L#MR;THtB=AiG;zZmTp0!D#g(+UXq`_P2~`LzmEMM0a(5n{4EyLLoYSZS>>3 zm2qlRryylQ*>;62t4VGq7Tq(Sc&uany`_y=Bg5#OejMp4_(^@4C<}Ruk~;Kz zr0^*FpeiTsg0e)O7Cwu&$#-RTqt`@7VhzQhfCT$SjEHZ{Au)_wOs}CWq-h-LHb8uo z`HSp&9PYrhOJn!`xK$%|GijZsB&X_v82Zm*xwtpWee=^sD@}1b1gAhg#PMgs)=yOg!dB^0 zFj5MOq&OXtWFjc0#}WRNP^~zfCjmVj1|ikrslAC|^}50~^+Q`9nsd7#8=2EGZ=dR= z(c=6Gjrp93B%A#Q!8o1KCN32$ubu~0Q}#(cd&NuQt3P;=n`I6wgYxdb3CyPI-_!S) zn)PD^jP<3W^PL>FADSl?X=Q2zenjg>D34ZeV9(kt(HFN#17%N3TQoIF-drN)=b`Z+ zQ-)cL!-68yxl1mN&}&Osw*BKSA~GeaD(3CY1zb9QwiK1I?i)?y-)N3URA@QRzup>H zS^D`g&nR$yW2a`z=EPX*-+!kjkx4h+gZwtDh+|h{`)fOE9qQ6viI|%3cJ=kuEGN9K zH(^pTndCsmf-@qP!J{Je8ZASgxGMu^>xU9|v{hHV+Pe^*wP8@@_RgA>BDqNw+`X(w5Dy+9nCH3*oDht#nUqZ>lMT|l$PsyiL1fvXZ?aA zUL}HzM7^w`{nsbjk^!A(w~A}3&?%IBUr~Y9;Xq^O=|#R?H$oA&H{=qpjMClQ^rOrl{Cwi8Y-|r$0WKw2CgNWjH-biT38o^{RRmQ>*b< zRl1j%mDts(HH^yIg(@w?bZXSv#tg<{eR3+jWzRefjes zKNvPI>#)~ev&?+Zen&E{VX)NK8fIWrkp`soN>g_?A%zZ8Ck{G$mLAwm>eRO+?O&lK zA>lJG`6Btc+c3rK zqbO)8_zt}hsk=~I4U8(achV(qIOXF`&3uyF(}#u6^~@YwqflLnHMBViIm`>Fe=fRG z9N=xtEiG7#A>9{`C8XniH_xpbwu`=`kTB8%jwP&wCv2x1yAE|sHMg*2l6Ig@PpA0Q z$}Kl_v7!~j+6gkLsE-5-JD_tfd=QANf!^fI-P$a2iBe^XQ4oRk=OxxMCv|a84Tpug z^^*=wjryRT@m(EZ{`q4eOL^%oqzXPE4f_n$AQkF4!*wHTWMHyJs3+x@=7rEoS4lCiN53OOh-`A&1V_#0Mmn$|2&*3$6>8%Tk zZtn2hM2e-`Fx37UAJ6 z0k$cewp{8PY3m4^O(kDJuSr~(O?m3cC}xb%tL8dHdZe(`R(hDA*sx8ka=1g>ll~bt{Oe+PIJIiBi}dt}SGy&TC=w$*TG5BNWL{9MA;9l<9-~iT|9T;wH9Nlj z^CTL1&A{a(UjlUf&R(p-se+N^CoiNJ)z~*7MB zW&6~h4EWR`Le@c;h}|n039&|`P!zC<&Qmgimz%-N5HMTLu6s*aG|V9b3dOp+?qOs0_(Zz7C*mi=atTP%( zg=aTOHh#Q!i3;30aS^y`$;GFcc-;)&E7oK6Ac)BVD6)q`ZxG}WUC$#WUX`cpAZl+o3k z_AJL2s^R!-=Kt;3X+*^ns~F}{oaV5hd*9~@lJ%Wl`{6T8_hUVv%us55Zc9rE5BU|I z*mBMAd7>FxFU|gvRLUoyRS!bd$D2wjCIb#;ey+xnQN~yh_S6T!19^t{YVvQsl zk-70b;lakG+*c3(gmVPJZ&}ZWi*z>!gz>WxEL7@-IQ$%Ur3^BywLS30%IP(h zoNkVFKUbitAy&a9+-9eF5wl@t&>vdAGUV~EMR`B)j@%^N()TT5L=fNPGa~;{MNw0a z;n~F8oFP#^ULnUQQ}y~xzO51HC6Nsj)W`k?@!?_0bBlp*e0*vXu#N}X+*mRLbbPw+ z*wp2)8pN5awzUI$P>N$2C`s#k1nfdRkEFFh$0|o1D7E(LK}Ai<_V)NkuK>fJij|vD z1RGTic^2iqEhWd~O_4fYrA>{v1(I2^`$;!ct(_E?Va`Hi>??=QT;v(AMMT58dsMf9 zKxOoPO5Pq|!wSWYF13r>bgW6e67yP2@0cxGKc!#s+tMT;x_kWj0zD#KsKbmEMUfLC z!?z$s9LSgG)Lk!)B7ZfE5?f4WZ8@HhgfKgjG9aovAX}+R&LSG#R~mH`F)KT9?ByXf z>MWaNdx3XyfL^>`wUnqb#YLvL$(;SmJKi3WuUlZ7;ynMAzM|Oj#y%}sEbIBnZ#G!{ zGBHKBL(vSJDqYOj3JB(L-SY8Aen1%oj_mgy&^(HRX1{y-Gz>g5CRgvBQMt71T6Xfl zrx13GM_Bft!96u+YSb~)b#NzdgW|CC$p$GF3?{GgyzPZQVUFg>-)i({Gd?vcar-C9!*42SxYk7x7Cm z!;1=x3$^Hjl9d;1=Ct17u0v&ICPadvmdc3pvQ8F-p&a(`A1&`Xe0xj16#+)uW?Max zQ1wmn3(R>pA3r+@4W$vpJ{9U!80jDja0b&UGz+N%h_Y>ph)=N|!lI+g0!H|?WrizAuQz~n^ z06fkKx}c%CDSj~GUFm{eeQsQ6F zzmzDOlS!qS2RBXq3W!nB)5mYLUl;Es`C`eayMUI;7#w^ROv%uL9L%ek zq|+je{>us02w@?tqTk+zvzG^=z|P^G6rH>dSyaqiJ3eJBZcploqq+E|nZV&beW+41 zhNh=j3J$F}WNO-($#bGO=1KB~(ItxBzS?juz)Ln1BDqnC5*DtAwEu9oa7E63m?mQ@ zFnuu+Du)y{f`MeK4p$~y?@=BBQqdKk1i1Zdutv*u#d7f`M4maylpBB82!~@1#KfIb zDQhFNSg^u?xl!XNM3J?~bBy4Tb9fXsXFZ^14cL1LY(fjv7%{rumm?IJ4mI!CtWP^n zihCAv)%_;w*0q3Y8RR1_8Vl&brB3Ih|*iZS~^RfV%L$jB2 z@rT1R7pkS8d6fonti1-s|Jx1PNh)QJUOsXFlfDM3pr^qcp*LuA^QN(6nye-#e;8LMGxmP&QMaZETC^CVC9%GpoA6bz8qZb2}&_ z#?EEi$-a1_DJ{%B&mTRE&AYY$n;>p~3rysWdT{W{gzNa(@DWwy=?H9JHYyvSMmVmV z+9aCOEY(Se@pHAC@^DV$z$_gtB`YRcDagnw^UUcPv1gN`-X!U_5J}MTD?BD=p@dyo zj1x~Ul^m&-aemhluN_A*nt-YEng@+HI-<~?rbUn8nCX&rtbhfjabKR4 zY=sUnSjfby7FLOtleH7}X*}ru6!NbpsTZ>*I@(-q1G_= zQkh$p#62QT|AhpZN%^y}8;qujV29!cf^&CQ-^CKALQuY902dePZl z^=RIQz?-z)81@mNFN-4WYrLNNaD45iPVBowoyoMDZK3@uS3B4$^ai}reU}3)U+3*P zVS9pH%@Elgnp1EHilQlUnztOZ5NtwROtxUn>I3_GC%9FNit;Fm4eYh}wa*{-;D>te z)#)o`PR^Vs-YSf9jIrr>q^jGm zmFWwau09H^G-+Iy=rx!$*|Q!Q*>XwFs`2|;%68nJlDR&S7O)9&(!3lP?RXs1m?lz5 zP!AIwDre0`>Q&5S$Nd)TE3z(=q!c3Kgz~; zc+tuiWcMKK=b#!|?Pw#Ei+fFt!MbL>hGqHjHy zC}iqeetbsaaS_BKH@0VRRI}sde0{8P3YTD4WZS%laZWbwcD^zm%aLN$qO)OpSG*~% zFZ6`Mjm5d>y7$9n5Nv0g+ze*BMpNK5{f@CAyV16Dh(&2ug7*B}U?0!rMdW>A*>bub*>1i8G}PUDI#*Nip#O8_P3Za0!6r{@RS@Ew&M*ni;dg`P+pm8T!iEI6PI;yKxFA;e8ub)>!WeD5x4L z#QIXBQpSE|@n7rvMuh6*;ht#D)E3=wnrD8P7eh5VLPiBX^Q|;9m~=BZ`?Ejd8mv6$ z`ftMJAQHys{Kv{`*pzy31aNOSzgLyDdNZ5kBS{!3^O>g&NByycUV4fu*B(R}k6!IA zmGiwMGO8;3w#LjD!c5(%2}*wqRRqjy_pJzuULf#QO)XG%Qke8O2xuC*!+DS&AmjLj z@^1pjX2}f>t4G$TXj0*LG2WNHdd%_bO(PcjcV#EREBJ=8%JkOo7)9XM@bWx^nGMLV zhYXIhWjZ`eT6YQ*xZayAHCMqL6w}0ls%}v3RbUePN5E%BV%#&2I|_@FtFP7lSM2> zOkVf(KX0@Iu|2?QANEZWb`FaMBTU?EDbinC`=zNjv7ZY3`wI<2*hXGN(;^AmHe1iDta_l9<*H0jL~2mC%X_z*2a3 z@)&_TIY$vB9f_xKWk8ZL7P?p2C>VupxVv1Ld8&DCVqps}p;LpP3ctWGa}Z6bq-<|@ zcCw?(9}hEsdjV2GLm58L%AtZRncGxzs;XqBbb}hN13c$XAzRiXg~uKqi7X+s!F5yD z>n4m1js~?joMgE4V?(1j;u^kq_q`4eD{U|tzXpp+FAVNndn>YiVuLhjR@OU7v1nLv zz=C%Ao$4*kg1+Lk3=XSjf_owHqH_IMTF!3d{0)e+947p4`Q=%dGCnt^AJ=E{3H7{x zVF}2>eB1!AD>pxEtPC>xQjw8D)yOy1kfZ)!ao*mF#1j3gpMgtN5IXxIN>n_cFJflP z0{n0f4Wm%2`Hk%Tkv5!x}#GP?2PK2B+rtNY=)UDC&k6YDp4|L$w z1J@5$ht-k_wt1KZYCQwjD>wW(RGs@P$I*ra`l982I=XUpTqpfCAJPHipYVTSHs!Iy zgouUR6wi&2b@NBo*8cPKGH#%e&C1Tfj=P$&P{8xH3#w;nW)Pcf#oDddHXI7SwLo?s zk&w8N<~z>fw)_?`!4unsQ62KzkEU?heOMIKdKIvCFm$GY`OH-OL5z5!FN(~EQ#+WN zU%PVJB!1%i_~<>w=se{wBQS%fqFH+>r_eCOT)8#wTmH2A$Kb?_upRY=(VFu_f+Ah= zOYv%B2brEW_M%`}#7=VAM8gHpW3xr6M_^v)4on0H88U9ofe=)8-4zYYZ7eY8XO{&h+2U4nKY>5az%bJE zXKJy>7gA@zqz&nfdREUJm(tE}cE$RKaZ(foAR>m+GWqzxpkk#pr!U&)~@gRt0^tPfc+70=U}AKCcDTYkIhG{ zdBTem3o(}=5aV!F#woXHXFV@gbVr#)XUPvtv`Ugj#&YnY)bI+_tXJ)@BJ~SCOd;ff zcthr1h}#4lOg&^0yQV{{5}k_nRCEfdxm+yUw^tGRh+w&>N>y^~|Fi@Xb(|~#gf%Gt z@=Bm1Ti2%uNK`%~x)q{vZX8=8qR<^pOn`^u>1i1wFTZI7o0AquW$fr&20bZ0KFG7# z@uQjk8iNARXL}VZwKVd|)WpX88KAfIk&izHX8=pPeWPhSJuT3zN??icm*M+H73xd- z;WOfQFe^z5$v14e-sHKV-Vj;r0NGLVRDP4df@u;LqAoTn)dN|q-`v*j3UNYRut*f_ zKBONQdtO5@?DU5g`PYeTg1}3|n5JTM2-4z}AZu`&2E0InTEzj6VL^eNB?%kg3n*CE z!)se&araKHE6Rkpk#zs>Zn*B?;B;i(I8ld)7G-UTJx|nb60_Ni$huWL0nDoNq`^pr z-;1Ld@1D{zY#0Dpj|)$F?rPg&V)6D7MGNucYVwao@yM@n00#k{fseqR)ZF6kQcCf# z=Ny$7Im9)!YzKNcsO1mK^~q8sZo4S>K=Pm**bgFzH3s>}JM?p%AW;SHNw1web0ajq6e^fI~@Nnva~H(v$18vFs%s20K+K%byxA;6mM8d z>CrnHt3nEb&ay%#cn9#xC7XtLruZ*hdY;{%>uoO3WYiPu#1!ebu?I;GE!8rf`e9K>`#m4##H z`qq<~xI-0vV^iexL&hTSWNa8)2;t3`bWq8}@|Vb`;d3V{P-1Uzxl+MtsY8Zp<={h3LRG&*LJ)Mw2{AV+c* zqV&kGI-ypHS97RYIr*qvcv1N4Nup2xA;i9d1*WVU;vFHKfWO%CYE~$~A;6w4g0pFl zl;^k2BlhD+5O;vEK zNb22(?8eo3V0s&v7^$6(H(8u>+9|?W;Zl!78plKru!aN4X&@y{d1npu!MM?!-1|M9 z>q8bAbvUFBdT;Mbsj0WOXz$PJ>3EhN*b=6@eXoZYr(*Ir-Jo~3;G@G4B_#x5BbF=k zZDN%gcB^N{-2~l=Az|4R-%F?y*mO0V{<4l)duRNkQhDMi_J~f zM-%`ON&1c-i((efRA^f#1P{!~_1VOzIarsWX{-<;Me;j)Oh4v@G*akaPL!=3Un$Lp z=1&|+$x1IYx1}PxqAGu&K|;AHt@VlZ54U8L>yaCxNNarYu27`afJq}AC7qaqVCyke zhl&SE^7Y<}i3X${#wOt=TJ*d0NzuP$^?;8EtGK=JwS;Z2Z1^uJCgffquh7SMjCoR* zRKuGv$}om>)?<+qVAVup97SDom_^l87`R|?fH1m?VT17rwWWB^xf8vo02+b=i{^RWgd?YL-%74q`)bG(j!vQC@Fk%K<{-*SORxW*N zj}hQGef&Q7xkkxeyljnFjc{+>%84~HjlmgVL5PkvItsOK;!r$~UJ-v?G7E(trx(~~ z*?uW}0&8=2_Ja3#ld*x&TIl+=>rjK%1C~obMXwIz_bS9+v}J3Lk&h~7D}d6j0t6|% zZ3?VrOK#>rZuD0piD$tDh!GNZ=sb(~`59z66WFvtT_%f70|>{+T#x#?13DZakyrC& z{-_L{z~NWv&C$pM^4tx5u%Rww&S;;~z4;DK%Hc3~)-g=nNYX@v=%4T%1iQwQKIG*g zN9ZhPsvP@8NKK=aTxwZF6BTeeP31m$%r@d)x1892TlkMyft7p(iJpi$tM2?N$}Jq; z3d;^CY_!AQln)UsR*dTY=;2+9bY*4fqyA*d@3a)yXRr8iDHBt(e18o-6@v^StkYjZ zK+-25r_ZJl&}*5!mo(j5^U17R9AhHNrQ6LEkY+D{1xHehWW!c>x=9gRrQj*~YN-`w z6YBg6ey!Tky~m5Zza4^@xDZS?z8{_sL*74TctEQx`Ae57QA|F3w{GW8mnW>=Y^+i_ zN{!-$|A|HmD!#|hT)Ows(QSJNn;pcZ5mPJACq9C zYlDkT6Uy@*2Wn4!9m@MNFmNU-rPqcyjsEap&TeMp%skdMCTccno?^)AV@lpyD04_$ z4h2xO+nnUx~$Vz*fspFh0CtzP*wg zb;G|tV5+YKr0$rZF^MT@=_4z6^y@%|tsJPX3pfAZ#Y_kEjRwl{p;ht+h_1MDM2sC^ zrBWDeaAsFs+13whwfq3D@U$1tdNOpC1;>2)4F~emI_Mp!&XY`7~HjXQkIH5S^RLY>Ee!+VX$(m-5gcqi>Lyx$xGLlQwazA{l)W@}s77pX(BZMEZAZ*wR~EQ1O1 zo@`s~3&c=KvI-Zn9f$z{t~qZPBEANrkKGXhwX@u882>2+wbi_#&#bK0%cN-q{vtUn zpA3sw4Wr+-!lk#tq-iS)uPt{5d=aAThHg}B;hdJZC1%W)u$iUY8Nn^$$A*skugr9@ z#%Vt7pD65gV;><%xwE;c00Dihwh6RVlzh?qJzAu_9}qiTl&#G~`UXeJ)IxhF$?idn z6x6+fMWUu@SLN7d?}I{+5pr3~q^HX#;iELk%{d`sj%%-9ao^oOXX?lzn80Y*s(^`W z80oGHJzNlYrwGM-^W7DnLzPr8e!?(O2Z^XijrY!bO=?XL;jR+r-zcnlkwl?v&yo3F&DPteTIP)3wVDDA2ubA-TEcfQcQ2E7OycPBTF-vGOj8!cJ$<58k-o9{@EE)iPX)H zlv&OUk^p@Aq58j(hoXIf@pm^NYAe{ti#C_Eg5n6VvOF!Suut}K?&?as)}rCNdQB<% zm1>HxzBbkQ6#q`q92i+ywXtV*K><+2bPktT!Yp-vhMuyS%P)k2_FXm0VPG(Yr`v$Q z>d<+mI0h_Pu?cjEh#q1LYsvmSDrO7v3I3S1$i6djCV1K&Vu009CN2_JV?hv{^6$`n zJxUM5eslMW@?%{1lpF2PxPpf$Z5C^6+Cb`>1O-i4CfCQ=w#+H=C5_{{{PK_=!_VW1 z?X>ZDzg>tE4|TxH^swH<_K$YUGS&8NFnHfYLnjHpH?+0!|A0kO)o$&Mvp^6E_6;AM zc;WAb+uq>XHrYNL9*J$}R#n|6y!hE-nE%5exly7W&%8hqP@ZX$6n^u;P=%>q2;YSw z3l!hE`BT@$?Oeb-J#*)e(8P%+=#Q}2f}(O}Z#Qild#zd-un{ID*t%6p;^QR{EPzj8 zZBjSht`(V%C2lOlnlZ}(r7z-*4eC~ug7nES&jy76L;JHwe&}^y9EkJB$YT7YfMpGU zWGCa>`F>Uc6)`??Xw6*}DLdYAXDNyl3*rh5d=U~}>tQDbH&sU@VKp?I&Ch(f5*s|UX&n=*YE%F^Op2G0p6zI2K=WLD(ZIv z(CF_4@uKfIDzHCnFU4rtJGmhD@DIA6a>xZGScwtP4LHW(2N<%z?Qn~irI zULcJCDyQNbmROAPhIVd>2ML{*Qh14OMHXS(ys)pX9q`f$es_f&5s5aHBzq$O+dxNG z9wOZ1G5^*tB83QLj+n!K2E#0UZ;NYd4HL)?XYi`*okbKQ3j>p!x9!4>)+t#Vx|))w z6OhF1tXPgUB}wtH6j00q#r4xna0a&h(Od7UsnY~JDK2v$wrxn+pg8#T(`$I9v-OXx za=|7=<}w%?%}m>$#)7`?k7s#nFy!f%TuiiIOaQ7CBn)^(SVH%yC)PZ_u)4oX1!!7)#(Bx4Tq69QPxo_r@2wZE&%oul(VPkU75bg6klv10F_PnMBfJZ1GIrORJ2WCM zR6?qUUBs6|LYR({Yq@n<03wMMGQd>3ZS_6Y&o|oKNe7?BY2!VAT4I~B$R7Ca%S@ni zd|TkwRzvlk<|=!iD-ctsJsCpNQzMXZwA;k8lfLhI+Zq1j$)H4%Sw=I|;Hf5rw0VX! z-Ca;{y8Eqtp6%g2`FQyq5A43;lq;%>*{%OtYF5SRrJfl~SN7${pZ8VrM}uw4A@laC zSu}K1-wUEr!rR103#<@YT381^T~$KTN>ZA)`qq~A;C1}5QT|YGU@2Ipam!}mf#W^g znqV4f?(4E%ypzBj+pJ^@l9-&x>E&mOQD*(7+?61`_=S}?j4_|USnX-7CUio!2lr5rc2 zfy93gF^^1}m296VXj7(g(u-2QqR84?@`<;PX!Z`|g0}%fdDoiUgYt-+=h#zG!rvlT zt`Pzg%@ZA2tp0s{x=qE_qu_z!cFLgY*SP8ca+iKfn9z#DyguSVQZ87!CG2B2nhKXy z{F=J_bA6!Xu=h5bWMg40)Nn_=Td{xJ3Kn+Exxg6-)c0S+47ZxM=Er7umb^UWmu!FZ`NTXp_Hih9<)BGWTFN+szY9`_`=tM{ zwUG&AM-g^xvW})4pb-=EBg0Rld44(Iu=e7#*2QYi^m-f|oU0dZ&s3=i%T;&C$-hk2 zacQIg)sr{7Hn4U96<9`KeAKxadFL`8Cmix%;QJ^ zUIaDm@4|HwUhC7J7PjXCa|p7`^{dfxZ3yP zf)A?QXD{K#%<>k=?URWh@%9Bv1*aDQV}$JTZ2P}C#t)SDfjy7oqkAjo_fVF9VU&{%Ii7R;sU7=1o;Y-oZ6!FcLE#MT$gQ*n zv~0g=@VAwy(D_bjJd_>40Y@*d%FTD*&S|3sxKM8+_33)flRRObqIVRjh3kl-%P zp%=kR{4#i0{v8KXw!^^&+yw`(e%Qd)T!bK@`$LgqtB8P603unHdwTxJI`gmOn{@Um z3@MI-e~9ukSwTX)xbzohG-IbG@PH7qlJQ}Vk=qCMs;&N6Rhx?EYeHf^hPZ{Wr_ASw z^c%;`PX}WPtFoER`9SYXLNgB9B{btLeDuved+~PO@R80Ekh#S42NwhY9Q_4b^}605 zL4-90c00R#QBc6BAxR-wfjyBL-q-Jk$UlEF^c;fU#Fl?Cy*xm_n9p`Y4{k%F4K2~p zb?6#d512OTE_xWO4*tmvGVdLRt&n~FWAaR*Nuje0eYkgy2q|~kt{IpgPBKKf#2LJ} zPleip!Q&|%a}I6}0qw}aOT&CXokG6uS5U*8O~Y1?w%EzGL>Zlo9CEl#3Z%^_5_ck_K$ zIhl^g;U3Hro*u0?%8S&Q1>Y*l9D?*6975te1r>Y{vV_Q{g9>Aj%!4gT|)Xo}FR>uswY)bS;>WW-0Ba){GSNc9^bU3J|v zq-%s)bqQRxL4vm}-A2sGK6F0K02eC$JalWk9X-SjF7Hl&n!IzTq3owaX|9IF&F&|- zZBw^0UtgJgFnb} zvR0caa%C4RB(DJzV1nhhL?J9i&$(3Ngm|Gb*RaV45NFqZK}<2tDtj!_8KInAmtd<_ zafrp|zN>ijrgv%4UzbGs`)h;D8h+-x%&q2&=ugI8nz#oIOi6qWrGg^5Kn_2>Y1qlN$AA6|&MM!3_(nErU5=}A^Qt1Y<$1G9*Z8Hmlj-yw zaoEYn_F*@8yX@QDx0TVVvOz&tY;b;C>+fMJ+Eaks6y^x5AHjJD5~Io|lRay43!w4Az!b{of@`ql@$YduykF7^{%Ny&oQEKmqok${@_bbw_1*B!u`xbKoMLUn@63U~i9nQYPm_O=$UUg^6Wv&5`Joc7G%M z%qcPU(qi7Lbzzc29>h>(_IgNQRz!DCRP9!NYy1hL>yqtVmiYL1=jNNHC#2es9RJ=L zdgoEEP@{`V;AS<}7~_w34O0>W4vw65pOqp%YP;yDmP+rOK9%tIsq>G;4uLKP3pd+) zk&>IEmvMB{E`(F1^?0Y3nh_C?C&#}90r=3{DyhOZbV9@l)s^KtTT6B*#qY!5qJMEJ z9srKrw2%qO-JpsuG$b@oApwo%q=ZZYF_{ATaN8>4^BR|}i3sU0NNunC^63t5^z5?y z5_MHhe`~Bwlhz%W?6tiz8Y&+>k5M0f-XN~Xk`-5NocX|_P+g*SN=CE-} zT%6>Wx@g`g1_u(m+k`|kg+*wBvV#IuDr(vTujkssegVEpHoXJM4g&FC? z^lXVm__S3YpeTc$#xYkz;+=Y#nZQuSrMZZTJNhkDW7X+1me=e4i3!23Y$oP@1C;L)f5CH<= zF&y&OBa>{C=jlv92hI}R1d4Wl&@d(S+g`2$P@|J*BF;aQM(!;Q#UI905nI9{ipLdr zy%G$Jvz5UXWZ{SRQK7M*&Y&jDpGik(=T+trBGh)xGR{yyS8d+R()1B5de5~yq1Y1> zUwyX`H&L=GoPk|0^=(up6!B%G!qxe7sLs<0DwE9E`}-I7 z87n?^6b0X0X~RtR5jeQH)o967DI|D(Q?bD+K?jrIVtc6Dz%;W#;yn-58)`X!$6Pexo^V8b7!Yv_TJh;6wXIyhVy2$dfOcK$|GnTChb5!g#khYs+ffF#r`RT8|s7iAZ;DAw%}oUU_032L zf*CU>2r?fAOEZw1F2FbAC4BX?A?mMhhD`8cV@7E9X4HfQ3d)1{-46jLDTtJ!$nWOs zB=Czxhd-=6!(37oF*J zbIc&NeW*_diQRqJ$RDCqejdWBH{0r=RfVfU7xsDjL&D18pElyYC|juv0^{{X?+R8O zs+9Pe4;5^Lh36Uchd7p}$8qB>npu-G^}}cRkkaDk0on?R-4BJWJ)9Ep-;3~ex-n2J z!^4hiN{<$I)WxOC5#IZ-pgzpIh^2XB%RM~3IF`Ld$nRqHr6!7UhG6ymPyo}{fmC9= z`^^{ZRMm>=$%|Xq(c%`>lNS@Q+W?&Ij~8z-xU@X~5zDb#9`tb0E>2{F+h!f>h!2A@ zBgv=D;KjF0rtYxOKHSVOO%Z7gw&f3#vw8CmbmQWEhMH}rNbg@P(QckI+K88YIHjR% zBI*?4HvzS&ndUmL{;*Z!!xvx#7Js;{9XiN|)c0Y+b`06A(tf{LvsaFLq#p6%*fuV+ z2QS0L$nBmB=v9k9{N1RHa+(TXY~RyZ%=gnDZg3-8cQmrNn8cSmT((0}{^1>WXOu$- zcd?Yye%+mCe!m#axAnrCNBl#74xF<^4C10n--d0j`GZ*9O|jPDynkreX%MtWFsojq z?aqJa@`K@>G6i9y)z`LmXJb#k~(efsWSk>JL*trbroM1k3)1 z*Wb`cx(vPLrwhPN0l`4}vcDZ^wxUnT)foX|$~q&meDzUqT+R(qk370A5I=2upY9Kz77fN%YNv(9cp5q|L@iW1 zgZcD-Ao{#g7_(Qm2#=AL80*MSa|z;F8!(S2=IKR|iaA|M0K2 zlV-cxg#@X?fnHtRMUeBF^ZHLS5<`dQfyQ5*O8`t#_BEr&%cs$a`%9*_Pm`BVUlfmL zl2LwrwNc6Lr#GX)z}0lc7(z;CL;mT}!uLvH_2_^2v~+>soAICVd^*6GRAaYrvz~r2 zjyY)j(b4MZE@N^82n_1$s~HXbfr*8jwlkmJHGCGdj%WCvRyV{a=_)znJ)h1v+3lqP zD!slM=`ehG_R(wQ>bpbKOX}dXEqdDYI3Rr*Z#_MIj01&2w7jkcKyEV3T^_&r=@w*^ z_b#W`+|yggL>q0MhJv3?M2=}&IlaF67MWZ{r!BfiJ#CKoR5@yaGQGMY1qsXu@91ix zL`-%!BJlU_)Alrg;yvgbhXt;FQSPP-)<2qJ zy}L^hn)@INu3l8}`g|G?J*}%8nj1&GK8>y%X{&_tUSDmoJQ`5fF`7>oEoO~|tkG=p zX}aYN$ne|it4EhHyZf{$zgl_`N|qX5r@7dt1DH{SvQ468)6+042QD_W+SOmo&7Vi~ zG<=$oWk=~+V2_^GWe$T=rxcHW8l45UwWQNp?b8>HkCJ&;Vt2ors1d!E%@>^!pN4CU zP=-%%a$o(~SPD{;Ov~%+elo@q8SNAspg)+v^=k0;!ncr*j>_eR3c^a<7zGFOhEd4)29<*Hj=#t zkl<=u=v_8exF%PhLn3*Jwom@5r!As4h>Jfg|8!C05XxddJ>EV&7Xzz0gYEO`(CD25 z6n7r^Y3Rr>xj$Mw|8D=tDDjD7FrQwLPCjzh{IO4KNhdNW&K^g8I#DwBI=j(X>S|n> zqvPf2wEFb9L{3gQj^NW46Ah98_0A(dT{Pop_6UYuO*eTS-lNlA^V6e~ARoO^!% z^d$O3*X`4B^wa;7z@p6H$O>KULW#!0ZF1U(zMG3?!?#uhy{=ZI*~zvV#e7%iQimKj zyvj#@8l5uv6yC%Q{Paa-IC{(3QcoMzY`?OdrovCxRo1rC_9Y+rY0_!{@ye%f=+o1c zP-i7I;Lmzmz!D{+ZX;SIej3JdJV(W;JmS+{Hqg~;#%Dd_R|>m)4Y}~tD_eU zyRKfh3}>CP=BqPqWEcp=?V5qzzFGzoveO@`m4cu^@+V89NHpADRUC|u&>D2AWIa{|M`DyIU^XR~6oq9C_H~6s} zyZLGyPE=PP75n~bG(H_gjriBqmz?RR0L`(htBrXk=9Ukv^lp0&8Sk4T^=^|ssSb>5 z?`o=!8NkihU*A3035x2ji!S$9&vpWUu&~e9caL{4ovlT+>)jLHQO=ytC_gRa`CaI3 ztQ+r+^WF?#NnYO_>H##<5k0=@>1YpAxvtebjyyB`5*dej7*O@!^kfGE?GXIvfrYOi z#iVjq%oq;|G4lEu4XQhO25u>MiB%9VhM~!EN zNL~kb#YU4h41hoKyeKI141@6ZZ}Q>A$ly$|b2`crG>_<6#uf%BH=~h zi}iXn0TXaLiZ;^K9M~YC{CX(O;yAdgFA*upvx}n7aOkfzfkPwL&W-pRa%@{R zEN-7J)$@J`78ihMrk(_Y4Zb=I^duOZmnkX(15`m8uLLm&?{RKz9eIMby;?4ZJNW3U z3AKHGh~!1^4l#wGV`E~G`- zzDf(|n+!0m3E6sQ_bAkj9oWsF*0HbLmxPAiM=rl1d&jcbcLby=dF5)3ZPrjbKWdFC zRb0~{x6L_y8km4mvux@z3GP;T0tgMYkI0}M5|t5~d9>Jd}uR!++YBL5bfo*m{P zz>`2oJdJqVbeu6Y%qjuXuLVLVnjpEqL7IVktHnU_9E^Yrc8w~7L?jD|A9ZE2SX9! zQj&qv$%*EGd==CY#6JdW%v6uz8i&hP&G{~pYy(k6VAFbPt98o{$ z_`*GJU>N^)d& zN_T5ufRen23)9{{a*FLS{<^7;qIjTmBR}ZjlMO>Z@Y&MMPuuc7JQKZ~amupOp(~Lg zS`dz`Bd6Y`2I0e!WfDh%AKMPWxLr#Me1Cxt2yFI@R03RFehrPkfq=#50wIax?-04e zYk)UeaRb{BYdH^8|G|?dNc47yL!>d`8u515h~w<=kU@Ih9(~o@Jx= zZcG9xAjb?jhT6OFIH?|5uuO-E_CEZI1-(iSmKH%}$}#7W15oS{3x(h;=D3=KJ`mH@ z$Xh!-1wtT7$s=#F#tHW6^3$4hBc_|Hwju|BoRY8^Tg?Ua@qEOd4+2$AU_RrAiw*XL z6K`(84_8RuWC|67e?q%DPKr)3Y?mp>LP|C`D&(0`!FotL4$7%O2vqt(1!L2Mekp{` z2pa~CMKk9iaB%qu0PE1q3r-ze@JOy_@vxZ+E zs}3oU_6J55ZkFzXxK$tpa7bpE(gYsNswEoA)3< z(>{sEKBwkW8j_GIrVr42e=H#)Jf*loK@9dI)(HebmPdSGJe}Qq3?mDo2f8iCubMM; zM7l{QxEc&Y00h_-MizJGJ~Y^l_biIKVx`uhD9Wx*2BhpP7sUB3ogg1=vl309d+zZ(~@ALSC-8t&xoW&ia8K$qgFuzU62*%q)!f63kA1Muu{ZNuv#? zeS9vAQB2eqBYRH{DhMvJ$Q0=^>j zw{tLU29F}=65u9=785IzDAt@3C#XhZkH}yP*MM)7@i5X!@vOt8W_A^qX>Y?o(ec5DMr*S<8gwhUNgXNhGE-NQ@oVG#tQIwza z5kq&1p#>zKpoxznd_fdN6IjJ!ko(}zg@A|(;_N6g=00(8M z-JeC6IaC8`2q!i&7J$v;b72jV35TI&#)?(X?{c0J$r?@*=Dpoer--SciwqlehjG-& zlotc@I3MuR#`1PxxhUk5Sm_bmx8p($6VpcX_rodA9kz=Tjf4}|>6dQiwgFkQ&+Z0o zYB{CF+eo+^K*_+X+kT+xB74;-%!=vJRki5Y9NDo(!sv)I;QmPSXtB<{0*MfC_~LN) zhASpsPq={|jIk;(6MFMgTnX-ac$PEqu5skaoWuUv-CcQx9G3D1=FPgV9eNS-=|QJ5 z{JAhT$Nkjc&7(J^4@Eg$=3J7yof+RI-(F|*=;$$U4t%kVv&HR9!gTAef;%`g2DQZi z+H$OI*z3sk>0}PqtC*JM^suoH3r?zgZNYfQ5v_*(qI5CoVDU91)|jc52rMuQtYPet z+T3|>4QFCB8xc!zkO?2QIElwiRpLFE;M4GHR)uo^7{5#EjKAI_bW5>aiR%wR7|sEV zFSCXNi9B`VIkp+wA_r+#o`h(mCSB9##|fj5%8Wc)9q(xai%8ZlpFCAN#su}nw7_H9 zObZeK3P%>mB=wV|u2FFV0227bVA`m^tw)g?o@|E+RkDeT#PiVnE?TU68l)0qGlR_~ z6kcOG<->;Rf!`o)1F*4A#;j+Y(EK{fWn)kNx_vytRhY=BI+H{l+E_=PiQm2KCy=g- zVG^G#q!yg&LGxQqjWHpi_9_AMiL@W6Wx!=MdwM28$$aE;n1IOJyrRy=(?*yUmpt$# zItB5y#(*bCU+mRUhVMxJno?G>;VM>O$;^tIUQ11dkup|hHtd*mjIil3$5 zN&$auQ(Hz-kLTg}T?D1=rR9i)f&t&njo7fXfqU&EHe!xhG^6Yrd18wUD**Wh0m3vup2@71%ZiJ9oykND1oYJB9L2Tf?a?~V zNa(UU=X3GcY0GA9n#g>|^LYMbQ|+P2!H8L-QJ}nBW|OK6ZM0~YKonJ~saZ@lmnV$^ zkhY25oD5`udN+tHU2w~vs_hxD3fPA)-#DUjN~hqJ4&Rru6flz5e81|J8r{&wu$>fBt8G`ufYizlQPot-rm;)+ovy zcIbcmw;tH}!Swp;>qnDbEXf~w9lE{-cu1d_U;psif7Sm_um2_KUEpo}ST+V0SgL>d zFaP$pKm7}R33nv5cYpC8e*2UE9d-Eni~soB|CIjc*I)e2Z~xn0{Pu7DM^4)nP`p0$ zlKyii?hn53pPV`(T9xM@*zJGx+!fDV<~8~s&Q$*R>;LGPy`X{DL|oE;?#%wd7ygqo z3v8|M93^7&kDl4~FK}kB+TLp-F6lpaX8+&||H+x97B&01W&rdbIkV$m;LJV@eb+oZ z!hi0({(;y1ld}qc9Pot!xlI0}XLbDxoYkvQ#(kMQ(tq~l^oL&f2d<|a&&fkFY1JP$ zv-yvh+5e9x+CS56Bav_VTiIXK9Q&6Z@gFzG|L9%R3w^)kAKzYE|AxjN;HpTkwSSR! zzJG?;0vw&?$2?u~f5t?8z0EWA{hog`RsKhy1-p#pZRUml|6TF^8FHN@?d67iP2?s2 zXH4YR+dPrq@ApV*Z<)U%fGrlEdK_wk6>(p{V6%d;mKUD zKmR$GmvL<`uQ`kRw>RYTK71EKl&C}r+VwAXnfviCG8!tNqi_1n$$ve4Q}{Qt3`C~! zZpnB({@)RwHUEDyg}+e)0~BGvxSovI@&7TKGj-aUlB@YAXOr|>ahcxVUOt>dZ_Tu@ zUml;!y1t!5Vv@v?`?n`a+CN~PI6xJRLy)`RD!a397Ocv&$1K*idOmZep%3J z?Ddzg?3bh*)q#&^9r5QJxQWLPceuLd$WlIDJ82RshEo3W@yTM4R(F8!i3s@V+5-1- z1rVHVONVOai8t^#MB{sXhbLUj0^i(Q{tjo548g?gU(pXzEn3;2MY)0{P8;ns@{iz( z(@${1^zUGd*R9gu=R0`A!okrU(b6Z_<19H?#rho_a@;JshI|E+qRwi?TwcK^CsJCp z{k&pTE@y!+a^8`x$c1@d$Ognma9x#TDwsXro+q(yhD;~kki5liP>);nPN32

x<_Wht0bj>SoIT-L7ktvVZvF`8QdkaKWB(5Sy3!05 z%%9<6xaw%*(Z0jWQP;G`%-`W?#t9S4dH)l>roJ$(5}BbV-0dW7g%|ww9Udo1TTZn2 z38vF(c+uA3^&Nbt8{V5m>x$J!!`Qq-{Dk~TxXl!O4et~Icq1K{h{Ikf1qKheW4yjn z5W%6Cqq^`;S#%emy`TT2ILyViT!HwV5+TFY$~$H8Nul^Wq;V2DSIWgGjWtdx=1I{& zbDVnwwXcj$cfsFk?e&!a>QU$(DcvhwM8=A&bv*v0m)z(10C4Yg6rej25b>TTeMJ!u zkh-`0o$hLIFq9U#;U_(2{J`o*hg|725SXb&ca}T-h6kk+S>N(^wywFMX+Pt9vU}aF z0Hdn;&IY&z(e5%`w2vU{&3pwFXW^cw*6209h@pJ{={xPVbX_EbYJUqC8Y zrPt|YdIPVDn^&LI>IKxI$4fUG`R`xAE-D?~#I6?(4A-SbP2Y_g5VIs{O4oE)*M8XmzB6s(VmxMqblK#PSCv2kd#j!59~+j-HiJWVIuIqwtK* zZwCQ&q4wNvXh&}DM)^_WCvB78Xu&rsu$b&Cdbivt!s7PcQMYx04yn{&x&!I>U=-or zmpNH}LK@kGQt1H?y%3OClHhvd^$%i_Vu5;i>Tl#FxjP!XwAVLM(`9|VpJ6`8&SHZt z3P^7xXfPkHe*_%GIfd6L-tz!WE6QvH_~ZtrQpwh5@JK!|)@pL5QCJTTJ>;|tSzo1uPhOmKB8vvl6` zV2I5XcBBvDm_e?yqi%#UWxt@z$Lkx>4C{N1?w&UQnl21|MpfvAm*zb55f;D=uZH|Z zlNwWbp|QQuj_-Y=x3L$c6wm7)w0CuP?a(4OI=r}~H43nAGxCHZ|pznh-OVuyYSQs_{&dq*i~9!_PHRLy($`G+^f$P_`TDMO!0$vK zhWx3Fz)OuLcHfm0roPN&y(==_l^3)CfC6B@zAH5-o|9!&epYsPlH=mO>Of4mIfFUs zE*s&8N{i-+cbN(FM)RneLGt_Kf5_FX1}8%$@#C|7yP zYM^Zz>r~r(N_L=_q&sqdeOLH!Xcs=t>$@Vz4S-AVDO?3a@C5c56pDAf5yjMW1p8T^ zgbvn%L{Z9B&xFoffwH;Fp9pTGna<-+xfCZ-S|iF0uktEur4)wyU5=IAiz})JuIeq9 ze5X?ba#ed#!McNh=Bf?L5wMAepGqdxXdPkE+SHKqEqoRe5t+NWCdss7Ax!j2$_zN$sHJ5HuhT32zY zyDP7GM)?$@VqL(@5Jjg?@hU{O5GlNiT2HMjoi^P5+Ty1)Hk%hPpO1PfX)!uvmdAzh z6yDOode3mt?mAtPl$Fk+mVfGcfhXluVy`}Bz}pnIr{ei38qO);g70GDcagE_UHiK@ z_$f-JV4H%!c>XD3PPURxLF-fW4E{PFqJXPLdYg+ZNZURI)qsm-lEmUY#n%+I=My%( zYPB(7bBnm%Q`v2H>ijNyf9k+t`#8NquCj4l5Q5}Ueg3I3rL0jX$g{Bs2(b*hsFRx;Cz~) zU!(^>l4T?YtHnc+;1p6>hdJTHr{K_g3vGPSFF<&+PPgBStYNyDY7{qL+z!jOXsGCi z2O`=(1bfoM8Nu12UNFQThKb;!Ka@5PAq9;|C@2eljSqdrG^uv*(>z=kgk{GJvg(T& z!z~4Nba=jaH0Y?;Ry6XtST~5oON9gl%fr!O_LLeOKrcoQSYMhU*8 z$4z+guh221_h8Sz$XXn(I;Ax?wF|^iTzIc9A{e)_tA}Uop^ZVT?S9x~J|r`az@>6% zZ9a@Njt!UCs26<=Y)mQowq0a5ojhs^%le|mG4bW8Zo7zdy8DVmdH6-UgDIoiIhgex zlAi89C;=b6D1Ew_z(%mRT-jiAvz;ZovcV=z>!rPUhYr7xS<3Q^o^3ZD(Qw2RRaPI^CyHMSXE8IVFR8@Pm5Ejbvu(vCa=wQ;x3M=Kx;R zPK*+k!l0CTsGu;R#_9WWQAat2Bcmk!q?%%X$%Ohx)Ku;;zM^dLqPTKOFrO-zn-Yr( z{5pdy_+rp<#QFpxZo)0f4NK|m_07-a(U&@Z@Oin_Q`ymv;pYD$tu|BnNf$=+5Y(*wP^ky6Dm9MK@3Q=B864MKpR4 z3*78$-6(*=!}XB0L6TdJb$WBVIaRa6fxEfjdeB(LiM=T0XiFkbAlTY220Ek5cGxjD zW1X3wBVKY7+%;OA%o&RMBE(|?<+_HZz6kUvTVRK?HwU)=W*uab=?oRDh7U_2Nvi#(&%9U-@&3rZv?G7B zAd)Q7;X6c-4{IW+odp}QZm)EsrU!v*=UIHIz+q2oOd>0@XG}iwH}NW2RhiRH z;+722E%GLOt@t195VBqbv2{CMy7Q6031utZ*ggz$7Xd9xF6%Jtu8XiX;;ZQp(0=%B ziGRi3{r!s#x49W=%Rkw3NmtG2MsbtvMxG{WmTz+2;>Jx;rh1e4GRyky`jh;(x*1mx zOx$F_UKMG|pX9>D*ogJ|rXnUZw@zb)i@Dfj**WqDH`6hB`uD!SnUM)eY9d;BeGw@~ z;4g?6Zr)|O4$+J{M)UAA6TX#>ICJyxIui*^`f$rH9%v79jrNwmd7}&W;S3VCn`fFJ zi%wWj>R-Ingm!c}AJXfG#+s_C(qre}wAZw$fXgg+tRIqWHMt0C>+6fNy8uP#J?PIbif^<+({>4(?1vIu(>b^+f`$8`5HIFvI%M@1b++^|v6hobdkNqK^XEeIM$D6GFO=6$T`P%DG zGJM>HcGB%Pc|KiyRynN;F0y_1M~_g;&COpN2a7`Hi^`v_PV^Uv#~>Jy~VX$1FT;Ae>=LfkC`_Mi4;K!8mVu zT1;eGcjrj6-7P5+iIx;}=}!X-4!Lwi%;eSY0uH>?!nMEqWAK(yA`Nl((@5@5+~O2o z{Wqe|Y=BtqejU+!J?iwY{vMll$^CRD`E&!Jf9qNi)V!OAB-5=#X!~w9l3cnQq1UT5 z31R=bPUnNClZm@@Y0c*mzZ;(r6VdiRtw}y@Qr!0UlzrY^Rgxq0^K>|Qy0ADfn1jpd z?%HAo$+cI=pDr)l6jBEUH~qaX2UQbT&Xo^QQc z+R(;p_h`!a^uHn5+h#E7Kh1KOFSJNK;&*QyqU?kIxR$?L@z6;N=CgRo)3_%Y6dP^J z?>0Y#jCIAFPCQRrATt4vvo)?ZLi9H)5dpco4$&ozfYr|~MKly!hjHiXYP1Pi^r+sx znjq2ex4RSI?|086H^*DS!Etq1fJNv}J5%K2u6A;Sfay*V z?cP4!=ZJU%=ZL0vpJsJ5wAM&}_O@et?;cEtS1UYl_#g>mB%jWCbdi`jcJb3^&qOb! zN2}APEuY!NOB8osUHrD2qu0}d@YD3q==&NpvR9A59j*GJmF?3~5bunbyK6E&4G5V@ zD(Qc;E8JWQk>9wQ8?M0KMDO9J6(aHWX%pkCb0QceLLcSz)o76g9w$M2wPge^1y5`= zHvDvPWYlQ~1I^X+(fmd2|LW}Ad2C6JBkbQ_F{TJXyIs}w$TDdWkS9Q%AVXLY1Oytw zY61OyPS53XLCU;&d+KyoSJxvlGGdNbxI7|5640$2C_fz~W!$=r@;nSELrS(z zCO!Nr)qm&u&fGGD0odyF?S#qaO^t$o@Y6RFi~#S~?`$?v8zM!kXMB5ds!F6?^E(Sq za#QC%e(P_;&n^EmKlrCPC=zF*lp7yTq7vth_Py~a390;E?Fjp}DFv)Jqh9aZ)RdWU z-zJ7U98g0A05;}%`=tU@+}V3>`qNw$(xeFGUz}L^c=z^B@4zFuk+i(q*x~G&8f17r7=ud+z;a8ivco-A$d=A-rFvjw#Rg8@?oxw z8+LwXe(7&3W>QynKmIgrCQXCviv5;99iFii&v~VO?$Zxi-TX2Vf4fHmf94a~8~E)t zExYpREzP5>Ty1wli4PZRuu@3(ZsgPR8s0*7e>p#YI%KnNJdmjfzx}jHFyubR-mP!< z?PUg(R<@^wH@MC6+Wq$X1{8+e;fp`b!O3%x>iEt|90vA^vJ8G3k8^)H@AX%>Y|52D zxK`PKf0~-J%U(q#e_EiE0|;-H9)9Vn(V%Rh!sV_mth{f31aB{PX%$Y_cs-ok(GsQN zLeKv2d1vJ-yX3biJXH7Wn&pejKz@?dU*+2SHk)Use_z(xdRWtweV9I9KYZ+`Y8hr- z{ONiR)}MzLTkS3c=Q?nY$~F4S-u_+ksFke$Mad(F#Ra7P1~NXlP5Abn&Y4mVNn%}3O2jX2E6Fj0JTmKso$e`>f?^xx!C5Y1 z#B=2LWo()ggUzccrJJhUklWrVbDD|RT$2-ys!?)i`qK~94T^+IcJEY5FW)cnz;TzG zAJ%kt#W}EcyZ;@?UAldFG+{5V;*0EXe{>k<+y`A;(kWnl_UXp+0rKjyHzMAGcg3j# z278ok=QdGiLi50oqYH&@;s+8|!5<7qr5$nVyPxdz0;N*+5_KbXcz9xW~tZ7 z7BHkurTV5--UJgnohdgUv*B-VSEuw8!yH^nCwF~&2bHpJ9bZ1f>B$^U0=8=QfXyCT zUdT8s5bu0@lEVekhn_}ax(dWGuDc->)n>kTu8O$ zhGxD@X~hE}j$Ys}sg})GE$0j0juB!7s@m2S1PcW>z*l?5=5xE+j(F~NmNeJ5PU6k+ z35szw51c%4m=w1zub<$HaD1sf2*m{s#WgEEa(QE$3v_P1C=xTunwyW$c#g_>jJ{sv z%-nv?Z%gIXYJV0NdBNlBq~c7sWxOoKDNN|Q@){f#wJ#!0(UidNEx4ikdYxKCs}+|& zKNnvQ6f^}MQ#(~+`n#aPHqC}vQuE`K@*<8}J#2w}UeY5I*$*pl{U}W? z)y#{i_35 zh9}Xlc32PjgtDF&o(@hS}tc0vO=`DbROeqdY2} zAMKD41{smpxQ#4#M1iL)k7QPZoZr$Wt@+Ep)Qha~|vni5N&7Bpe zXiuIcd~ZdeU6k+SPIs7U$#F~Bi-o5LTWZrAbDwSrzje!Jid04wLpzN~Jb!Dd2m~Tw z*mGr3P}-D<_1m?5z><%{yk+Uat_urC;zN$2TNW^kx-Bq}@VSJian2vk<>%}nt?7a# zAt`ppRfcXNt|}3S-|V2mRsbmg&waTzobXwyY=YQ#U&cgoZx71BKZJ;b7&xvv@gZEU ziK^}iGna2rB}k4Ct;bb2Lk3(7JPiW`6Z}Zjvd48Bmd%&l++pl_@=bTAd$yPT+|*D= z5CDzTP#@cF5zck17u`0uCR(i*1*4qo3a>SePQ1&Z=%|(8fiwo7mE3~tRhhn=qa_R; zCgY@lg=EvroC!c?+BOwAay9jb2AidCj35BG5dhX+G=GJ!`Uq^~2srH|xl~|`+NhD= zUhdV4T`zevK|^_h-`mY7kJ}1W%_Yn9uf>KxhbI;5 zJVe8i%sb;Hhv>d-hP49MT!p);`7U9Fz%4qUFY)7=P|`{1|EZur_nUKgK=pMKgCvXS zwg6zumZXbgA&DtDelh+WWlhS(t&4>VM*0e8y92P1*(tmQ$f=Ys9}W2+xsc;oGZja) z-g{14hdF4~QnpaE2MXls>^zg=31fbB3q+$k6qP3(nKF0-$AxMO&(lqAPhZN|US+nC zP8+e^s`XHqq!Zc1a1EztMHrts`+zj!yR%;50qyqXx|KI)rs9(OYJ=%ZNuxSMVJJO0 zsD;ULxb?Wl(FB9rsXo0%O)6WUFf=Qm-@R&w195aBGB0Ee=RiMsc2mx4Ic0>>I(E1s zoaP6O6r)#ETI1GU*Sf}Xv^B4igOF9j-=L zD8IluK0Hi5ll7DdpS+P=S-2H=c&qZZ==|TBr;pM1rEcZLjKPjnW!QXtoSzU$hVsa zxsYd>n^y563FkF%XW`H>T-1TAkefQ3FgEfLJKaJ zNfJglAeSi--5X8^R4q1dH)?;n;ox+R5E_*+wbv(#IMb~*I04q}O>I$b;russ zQ~t$;r8v`=##5a7#hl%sdWdfi{XYX9RubKM$XkW(mr&pQ zS`8O&iZpWu$KX@nv5Q6shsu!j7IU|;9EPZ)`YiaSB)&94P-)36N$ynm#rw7b(MF_Y z$;{6}-`>A$)q)SseP}pfmhAgeZ3V1MmO-Wsm*K&hDK<$VyauVvN zfqcFSW7lmTIo%%&SkW+%7@1brCzxLn)~{^fIOgaz=GGcpgrkZDaCP-Gm77SKxtm6F zx?sZ-$0DN(vW>ES+fxPNh#Ek$rU>b-@J7{4fHI{39ysW*`JTB983`35?aTFD~~XJIyceLN+EOT#E`tHNhX zzKVjG{2)EtNwUBl6E2ORh;L+SFPT2RTt+pvnciY)fXzgrOo?OHJ4javtfHE~z`0hvCrkm&1g>w(q zQofe#E$EcOoP71t(OUsiKHSHNaK3P(?UX&7I}`5Xh6hyP1Kc6}J~t!Xv#_n0L0JT( zFI$>yQjNFloJqapvVQqavZEkJ4&C-DM=ZjJYI!x1!@cIMF9L`8McAMIi@+f%nbEWh z-SS(@+0uTSbgbS&Fl0pQ6N#;FcM9q&LB>+8h_a;qMt)^V!b-&Q%NAmrJwcN#k&4Ij zASxo#W{*u-UlCyEZBE;!6q7I5a9Eg7k@F-rg)okn4Y~ zf}C}sJ%@4YyEssry37VqTeq2Kes}(nFDcc?x|}lHRqEYrDq8y1^XlDHkXv$4vB zmz;rSiJ(L?`{gp+eBl4>isvVHAD7)zxT;k#sK;b)Z$A5l-?`gAqRDJaT#(Avj2~i% zj#FSi^D- z6*3;KA%`-h6Jdx@X0v?fQ2J8m;1+TJ6%epvsCc&z>8m9Z-j9eRWt>P1~=E)CN&PLc)y#(z`c}APpi&3DVsmd($8( zNJyh1B_Rk(N=m7KG)PH`Ad-Tl(s0&BeIA4Nynf&L=WMQZt(kkx+%tE~@19uKBIp@$ zz-)FY2rm6j=7uK8hXiNaXS;MS37eF5Db7=$X0qiqvf87`rFM$Grhio_NIKrP-||!Q zecdT+0S&pPVCB$8Y>mv&Se(a+uf=ZA63t6!n@z+kfga^~&agKPM82Ov56mTON9wqf z4O+{QwUsHt7q7;SC?>@nPa?TZECH@+2(+CVp&%PoMI<*h_obWX-1fDUTJbDP$OH>L zv;ch=Z4DmRRB1Mnc_LU_FmPsEEcSBAw(Q01Cs%dE>9YM5ZRKOX_`{j+GSNC27~fYu z3&h21r#K?&5@cZ9dGFXSkLOJ|hH&z`j#8Snk#l_5Xn)cAoL7GTRKj_N-YuZQU z^|Cqa3@ywLiBK$%80gqam7_x5x%G9?)A-l9*kdiDn-^Qcc8-kC?5;da)Z~@A#ax0a zG{jJUeTz1TpOlKEVfGeRQ=?T>^(6EabJRlXUU;K5=>BAwj_^HkTDO1LifWt)GyH4BA>uR<95fSE|Xzzcx8Fi!yP6c2NiNKW%B*nX&d<$%E`2{ z&|YezZg*Et;e`4teg3V|TB$F)K-&)EtI;D4Yq%3mnb9nE+2Y) zMEe1A#q4A9rVBx(_t}#sI0Y|3&mS)d0<&GSJL-9XC{wJ1LbG?^Q5y(jRvzH{5!UE& zc}>Mn2l{4&u4IgfgLLW)p+&>gfIg?djk-BNlyl}(Z;Dtdd`ey zy_#1ih(2nOl&qydZN$M%Cv%B*;E5;r2&9X)=v>ieRT39VRmA+c)aA*gf}w5JN?D5{ zlK}&dim31k2BcObx*pBV+d1#dJYN*MT~Nz2o@mQ)->me~wBD=FY6K+`bH~0|gTz^+ zBQ!u$-6~~cYV&CR^z}DfgaS|4qfILla$FzluPw-pQ!$(+7)L46@;?o^9Xf01h+2)m z2gM&$7@$jI8M?w4UA=x}5AVD z@E~3A9oZXKk2+&0q2UkciBu4YZETjUDtBL(JxsmeJO)wO{TLjwy8p zxdnN#WzFra$=t`=ch}wCwAN3{*WR8TKELA{ebM`lx9IxBI+NGhCz0J4TMF-YB9jw~ z4oc%oqH`UaEY>;>%3GlYW!be99pkU~EA%EZJS~&oUX6WSy{BB|qcr@utgg+JE8cs1 zBS?R5V*29l^1b(7JKK%5d(T8n*KWI4?dLyho{*a)-QC61_~|FFFz!?)lQYh4^QA1+ zdhbnmi>53#zIXAm^B%6--N~|-+1pVr-<%N--CEXQ&jyb1ZbUysq6;fhILj0 z!{mIqa{~}>!-~c|d3UCS9?z3P!#h{D-73zK)K2lAGp(jBS(bd%FhZTht#SSJd2hXL z$5<~Wo~0;eu1LFzKqG>;il0L#0~?ZkxF(bOTWHirIG2`Uj*~2RSA`In2-`24l(H#- zwlm&R%V%BZ<+i@w@uex}>qAyut~4Q*1d;?*fuIfAv57m2cU{GJ?x=wHH@yl|sQVYf zD0DBi)HwGJ%_HAShfv2vD`&y5p|Vl#XIu4}EY5K01}y8R-GD!5I~kcJGHuX+;hX#v zCE@Uhe8tj~ykTif%s{@5=T5qy?MR;gi_3;yon3m>Gc%LB?s1NCST~Ls4MHhMKe6eP%SlhSJ^w4#hR{@6g8liH4}I%27f?Nnl!at zoWzEkeqvNX{cEOK;^;o@sEQCu8xvh6$Jjb_`N)W&d5-eXE`~9WWXQ0yZ>MUnsyM() zOa-m>A~F0neeKTR-rRPpFF*Az<3e#_Iv zZ2Z`pdNQtSHt8UqnOD0DQntH$gqIjzlO5t?{C|25 zf*<|gJqM+tV22MQ0{+8dxftu7T*qooPUzRY;h~RCuvd7;!%}l3SucrRezYT-6077P zjM1r$_$2j~KAxJ#ZpHnwM7OD}7Uvxw>Z&D8hPTi9kaj2d#8Ioe0mTX%fgX5cjZ_da zc^3I0Dt!ewX})T7{)_0ZUp55&FEP?tj5jUKMp^jSbu~#LOUD(Yedfw{NUho^9=>BL zFrb{Lt@e3=myUFm?0VbFdc7wbla2|K3a}uYGaDpw=_=$C`||Xmpcdhr%EKwiXp*(@ z%wybfK`OEwTfOtl0|{cy^qv*|p;pr3eJ|2Knz1ZhJuZ_JLA98$U)#{Xx=X7zOhSTE z$r-%x8ouGjS7W53$WEnDe<|kR(wfuNgT)>XDK-T8#T*-6`!Fon z|Ki*L87T8yjzQWzQOJ?)sXbV9*&V6+MdyVP9X(ka>8I`%w9kv4jSqa#BS%loSX^QK zT7sa8vUQJC;)%3$JOB9OQb4C%t$MnTzPEP$U9&?>DR77>QLw);W#tXPlx_K-GfQFA zk&$zSjT2)P`@NMj0)BYmyARun4Qm$g>L_~PWnSaU!n#{to+E6aM9Elz`PG+13T4+d z>dfd~8^!4sw0J#EALHldiXS$LPq9Ss7!~MrbQeG4zCz2-N-$F0B=w|Ya^l8$np~Gj z{`1~66AsK6(WJNvZaD#2zHntDrJIH46Pw%pH+V~lJ4lf^*G6R}dgE#0D47yzpPjE5 zH_K1hbT!wM!*4yJRgf!Rw6NeeW3)lFiWGZ0rl5)M+E~K*{#qP>LB6Z<{Q|RW< z^n|f?RlZxrqkEePcLhpRTOFCUZwhM;TZ*= z6Tk9+Z#)H&yrXl2!LJ3_B=yAalYU<8P!I15X{@j@b}5hN3er(wV;B+gaz9nT_L{;^-}_dS zbO-R&-PNXv5%)9h@P(V7uc)fFcU;iQWsqxW!SLVfk6q|7MGWpWUWc zxfMd~^*QNVhl-+6ZL*Q>?(5E74lTSB=9 zcUFn{!J}vR?&1aA=^%f(c%^*ZVULZ7lRBG>Wjm7?t`Vb~hc2y=O+WWISgRscnZv2` zjIw}PWl+((p}`;{ov{{oqJ%<}tbYWt4jwb<2iodKVBr;^(5|fYz(0Jx?6UWxNp3H6sf{0ckDrR+2~I3@V3pw5?}gmkwR+q z@Ovy#gO!VGLi#)O@bu8zDv`G~$n#@Y+Mbs*&Co7{l|JYFTxvcnVYsL5O;t~)>te%b zG$2DHBzCUVQuNvbnPvw+mR9ZKnkK$o(}LCb7nuftPd(rfEIG8CDjc^hcQiP!L^g74 zfHyq3+2rEA{FR--ks|}QN(F++AF^MF0{4rKP+b=$iFlkFYb!a}i89NVP4g>{yJmsc zUFRZaoBy%-x}I{Yk1>0QP2r=rnkV&A8>m-gTbu8nPR*<$-`jnCE!CBZ^K1M0&NR(( z*Y-7m*#;i+acaD<3tZ}iFYYwVsyHWQ3O1@f;U7UMX)7w&=k~T*I=>iQ$Vdyli8&@S zfgCd($sid!^IRb3%*I@VDN{PN8#?&%(<{!&k$oC(yxHX5H%osMPG-20J`{xa`U87t z7jb=&K!1m^U(9V;qN_+an3^Obi+BP~1K^HM^Pod^2}YGR&Z z&1(9+iktfLhCG!Fu||4!h~O-cyaEk)QUP@;MJ{s(hp6s?zSAu9d3O zpWj1_6EF3&vEEEvZ5P<$WI7|gEU!J(VyrtM=j#Z~mcJc_>C{naf4~xRD(1CS@f#j+ zC-O*g5Zg*yWQY%4ok!4Cdx9fEsXGAXii*||i0gehA*-cD4!JdKZN0UfSN$g8anQVl z4EGlU*``UX?Z=*3OVosVT1MB2gw@^G((S2i*B%$eT@X2ekP?`rQ_7b~24@a;*e-t- znEvXiFFw5WrFiaoU;5C^y`zJIXT1*be#D=H9rYJM1%XCuK$W3LHE1zZ9SY}Dg~DOi zWMLouLO%M@f>RlI@3REpN4NQAw~V)p$>SX%Bq5VLq;=$j$Ts3gY&#vVpp zocLI{zR2{l4tPDq{pFQnB_sUM1;qrogU+jupVvO9hiqp_-RbzSL@=K5=>iirpMc9! zf>VpOkebeF#@zVm22;><ogH1Jne@_g!)q=1m9msBoeJ)R|h4PTo=WMD2wd`ce|-j z>GH3?cMfy}v5dVydfO+)!|O9WXPxB`!O+dOpH^qQ)OaiMHD%h35{tsRK04Xf_!o!! zEbS7-*6_+V-rs)gILKOaX=$}&SvuQQN#?#z;CRE!@s{TydY{@t2vX^=@Y`E!m||83WgXcgc>Tf(`s#Pk%3#`Lv-x9v1*c6 z8l?pj-?f;eX^kCOyEMvQZ|z$$(M1!u#ZOL>RSMq`C*$&ADOYC1f^YHF(4CAhP&S|qmS;}y%y z%)GYR&4YsUKI7+wK9HWuf)CL92W&h-6&D8FoME!%_bu-v6nYcc-Ffz_d+fPGEQtQo zg7ClbNs+4x6cWrt!yX{sB{OB^HQ@#9bBo1VTfdsT+n&dQ$(cF5notRnPr9?3pWU75 zzC5Y@S{}M#2j_ehDKpF5jwx{Kd=qDRj7DR-<+GtI#yudCORb4E|Qg84Dm9^b+hlid0bLA z`!?CtvGCqVB5ISMPswtj(fG-%T-9d4s~*Z_uS!mnCtN4^ zLQq0rE|6>C-)$!FH|@=5R`r_2VG{^bH}h~<`|lGih8tQu-X$+;p@ zkGmjVf|PTyWtRQk&5yioe3cb!tE{_*9ec315`r2TWS^@if!V5H2-ELq+A9j`IaxdN8XayN{!m_Y7Dr9jH#Al7t{ayXp-v?2iZB4^( z6VC4CcY!ZmeD-S8oIFZb$3K&ULG`1f>WfEmr6gBbpwgN_XFUmHBhqMim4w9JBtbrL z)Vj#DR#`>qRg;V->S@R>2va4DIK_#@T)B{vU&8IBVI#dg+EMOyI~dbh^ll(PBA;wV zz624+S~D;gKwhf48XM=tMXwlj%~h-ETws%+M0E&{Fp8X;^SIHJqjb~4`S@e+Dr2d+ z?(DW*qKfZ#ypJ`H4u>m>a1gK9%;o7qS%OFhm~GEJp?r`_(Z~7G<+LpS=4ft41A?a4 zx+L?qW&0BR>CFCc&z@YVgQNAmh_B2gZPvXAhxu1eg^GGtXr)e;WS72Y^L*f2p`z6WKAbci?Q@5a>JqWwu_q(c; z_~N!}hSoP%clHRYj+OKu;uME0+EIVAb0_leq?H#+er!!dNrVezR* zmh3aRTF;oip0@MiPQVO7yp4(lx3(pRCpYK5PPSJmVahruYIu6c1nh+7FOyBfmH0rL zBj}N|+47U2qkR{gTTC*-Z@euaXRy_le7x#*WvI!pBdL%qE}A+?3|Up9ICC61%)adg z=UrnFd>MmHkq~j5$S!mAeVfE^b57JY(N@G?G@o%!RgVTj;t<4O7Mv;Dqt+f>NSHqP z*>v{VkO2Gh2htddnn&sJ$v^*(*c zIF)pDkeFUBpjvU~12KvJw)@d*F&yctJR#b9!S@^-$K`eOxvw<7bYuufN4M?^hY&p~ zen}t`gTDLak!XjNkZYocQ4i%!-HoL9)tTcYAw>dQgaiX6N|F9O>rZnn7kh8DzS%Q? z&u~3)b9N(M3D;BEl~2xzou)lrPHG!MU@%XH}!&#*ifs_e5J zmLs=3DY_t(tw%#eVfy-luyplZ{&mLPs;th{%28_OC}w$cEk;*Q&-8|YCZ?oaD{nZr0%C*l-sxW zKIeuR($3w~ZhyJRh=Lc!&U|TiV3RsV5l1`BE=#hK-sktoc{xvVcyo_XEO{yNPwzw= zvQ+^?{>2Is6(K~12PTzpxiU_o24ZG*V9Lpn@YpX2d^4-n(a(F#*G0IOt?kS!{Lbs) zk0{?iIhW8o9;MSzPi{LV(MO&MrOT+xi7xcu^!Pd_*lE=x{4zu@tE*6)z_QXPPJSin zEu^zeW614>VC~p(^>>{@fu^_14K;}6`XVT2o)2m+7iO88Sp|9zsgF*6!Rz%#a5;t@$dJC2JXHu%nD6Zq2${XE-f7Z z6-oEbhxnH9=8j>Wo1OLHaAvev8T8?!<2#)-n$(tQy0oofemgL_+2?ANbACs$%lcUN z3juTowr*Gw$>P>(C!2fkC{sy$uFiP2@x=%|dZqaCHp#k|Cg!dpoz%L#S{z6P`|c%c znJDgE1I#>47kR84+nio|Q5nZ{hWTN1!fJCNO$?XotCa37MSebW`R!uyuJH7U z`3J)F`bTD(=5{6D!B#JQ)zi}MG1s{4Oq&!^s|7NxQp)@zCWe)`rZyH6xMLZ{BT`Hd>!pn=TZM zi5J)q^7UGF<1`q2fK55YrrA8&BpH|ra!Yie;XIagwNlRM4co{{+Ug6tup*Pw7bD&$ za{CdvrSVg85Eoep_DeHzma8^tHiK*BsQ64%cyPu8lYOuOhPxK9N+&hzrqH}@<)9Pduaj2hu|O)8AK)y_C@ zT4-$g4ms+yS=CiWxEew(>~v9VGtFRPx{8d4Lg{Sq-5H(ytgtn;d(dYwJ%%P8=3(!} zxY1

H9sfi|IC7Eh8o$<}=$Cnd+S=g+wxpclgu?%yWY%R86I*>wOea*9AidCn>?9 zqhLKs)9FrqOD<2+Kg|LAc`2*r=3ok-oV^_u47p^8G5wa3kWo~;s?H^0>-Y_*95Gl4 z3qwa>0R_2i_&p6rp+E-}B~3BLj+PEsdq*%ZcA;PuFhteK2z$U7#~xTLTrso-TKSpl zx2l&e*}HI1;e0F0Wcqs(EZjYMMJEkC9VXN7YfB8H1PLNN*4sdbxPUM z-WUUh;Z}DlAc&M5aHwf%XAZ{g`h64b2MGj`v@|m_bu_gzHpKuu5pXaB<6vlP3Pu85 zbg*&4fRQLL#KO(N!qg6o1lIN#8$*l*7~*c~Xb*fV2BAo15yBIb1)1zx`j9ZH=u$ePzT@x9M%E{uaIk&CRhug z_c$O_!5zi^IP3j+$oy-gpHzLI`aksw=*`B^90LgV-!&|bF*XJ4&IbkhkK>HX@W260 zLL>|wWWPxSJOn{Bzh{srKpZ)&p^c@nxShF;DbQ(%D%R9i1D8-VbUly;5E{<+vnW46 zUi-kZIP3mDUZDSNeFOplh69^6D8NAcKpMD%aCbg{hNC0+`42AK^M7bR)xpvKFBj;? zGaRoU7mg2-4}Ngr(g%Hq@`L%{a4;Vl0Y>vf!Dzsx`1p|r&k$%B7zIOsaAnbO6j%VT z$3Y!j9w>Xj1AzvkP^fP_zU%Wq>pv8OhQWRa3i=`Nj}9Gl5~z#>1|5zG?v8+>z6l28 zapey3fE97+14RLJpdJWU9tF@50x;kL>H!M-LBk1zdxpCXcmv7;M#8@u`_Vbz{=c^1 zPdt8j(f^1S&I52-{b6-9AOspX13BOehaYJDz%qc~|Fne@j34k8obbSftBbq-QPg)C zapiw_0FVa#P{I#>xMu=TIG_|@xZ})-V}K+6)6n5V<9{UJ|L?s1eMjZz?Kl84ar;av zIM{^Y_CUaex%)2W-Q?A?X2H!@ox(2QXmq zgW?Au56nCcGLC=&zNIi=_(7u}9GrvU-<$o0{s(Iwprvn-0`a|FEG~K+aKS|cz!?tG z2Y~`{&?*kyzhn6i{KG{gX&Cq*{QivfKSRAZ?B~Gc3Vc`_3%scV0J1pH0>l{56AoD+ z;_&}mj2FOYpdb{u9~4FW$D+Wy0RM7C{>NfaUSJ(`z>y!|_!F}KG>`aK+Mmq&FY%{M z#D9rDuZzBgIAud~ATmP~EKP9n8Ne`{R)ML2guN3Gnhr$&q0^t*hDZQ!N#SN6?7(!v z!NwkIV`&6-M(_&oLb<^fSgZp^5CXCN=Mk^Hqd5l%0!$lBoQ#2&p?F1PW{h{)dK}vEY7SyYDn4f?oib-~2{H12eEcXh=YJzm?<1IrHx{B;eM+)6jr> z|3U*YXh5C6(Gb9-=vNv7i3H&OR~i%w2V&W;G@u-SsK3$xP2q+W?)R^}a2ReV{z`-4 zW+T7R5D32CX$U0h&vsEzzCZc`X#ID+AW#B8jQzC@1RC{cT{J%qm44|Tf)5u7ey8yP zv)12f0yy;gwJty658VUrR`LB&4hRyz+XEqhLj5iq5(>w`)-P=UZw3Mr*WYP>>HrDl z$KmO(bzunTA9aC-e=3J{G_ \bar{t}}$ (at this stage, we want to capture what affects the survival time, even if we do not have access to some variables), therefore we have that: + \[ t \sim \prob{T \mid \bar{t}, X_{\leq \bar{t}}, X_{> \bar{t}}} \] + + \begin{description} + \item[Marginalization] + Average over all the possible outcomes of a random variable to cancel it out. + + For this problem, we do not have access to the future sensor readings, so we can marginalize them: + \[ t = \underset{X_{> \bar{t}} \sim \prob{X_{> \bar{t}}}}{\mathbb{E}} \left[ \prob{T \mid \bar{t}, X_{\leq \bar{t}}} \right] \] + \end{description} + + \begin{remark} + In probabilistic terms, the regression approach previously taken can be modelled as: + \[ t \sim \mathcal{N}(\mu(X_{\bar{t}}), \sigma) \] + where $\mu(\cdot)$ is the regressor. + + Compared to the survival analysis model, there are the following differences: + \begin{itemize} + \item Regressor only reasons on the sensor readings $X_{\bar{t}}$ at a single time step. + \item Regressor does not consider the current time. + \item Regressor assumes normal distribution with constant variance. + \end{itemize} + \end{remark} + + \item[Neuro-probabilistic model] + We can assume that the model follows a normal distribution parametrized on both the mean and standard deviation: + \[ t \sim \mathcal{N}(\mu(X_{\bar{t}}, \bar{t}), \sigma(X_{\bar{t}}, \bar{t})) \] + + \begin{remark} + The readings of a single time step are used as it can be shown that using multiple time steps does not yield significant improvements for this dataset. + \end{remark} + + \begin{description} + \item[Architecture] + Use a neural network that output both $\mu$ and $\sigma$ that are passed to a distribution head. + \end{description} + + \begin{figure}[H] + \centering + \includegraphics[width=0.7\linewidth]{./img/_rul_neuroprobabilistic.pdf} + \end{figure} +\end{description} + + +% \subsection{Survival function} + +% \begin{description} +% \item[Censoring] \marginnote{Censoring} +% Hide from the dataset key events. + +% \begin{remark} +% For this dataset, it is more realistic to use partial runs as run-to-failure experiments are expensive to obtain. +% \begin{figure}[H] +% \centering +% \includegraphics[width=0.7\linewidth]{./img/_rul_censoring.pdf} +% \caption{Example of partial runs} +% \end{figure} +% \end{remark} + +% \item[Survival function] \marginnote{Survival function} +% Given the random variable $T$ to model survival time, the survival function $S$ is defined as: +% \[ S(\bar{t}) = \prob{T > \bar{t}} \] +% In other words, it is the probability of surviving at least until time $\bar{t}$. + +% For this problem, the survival function can account for past sensor readings: +% \[ S(\bar{t}, X_{\leq \bar{t}}) = \prob{T > \bar{t} \mid X_{\leq \bar{t}}} \] + +% \item[Hazard function] \marginnote{Hazard function} +% Given the random variable $T$ to model survival time, the hazard function $\lambda$ is defined as: +% \[ \lambda(\bar{t}) = \prob{T > \bar{t} \mid T > \bar{t}-1} \] +% In other words, it is the conditional probability of not surviving at time $\bar{t}$ knowing that the entity survived until time $\bar{t}-1$. + +% With discrete time, the survival function can be factorized using the hazard function: +% \[ S(\bar{t}) = (1-\lambda(\bar{t})) \cdot (1 - \lambda(\bar{t}-1)) \cdot \dots \] + +% For this problem, the hazard function is the following: +% \[ +% \begin{gathered} +% \lambda(\bar{t}, X_{\bar{t}}) = \prob{T > \bar{t} \mid T > \bar{t}-1, X_{\bar{t}}} \\ +% S(\bar{t}, X_{\bar{t}}) = (1-\lambda(\bar{t}, X_{\bar{t}})) \cdot (1 - \lambda(\bar{t}-1, X_{\bar{t}-1})) \cdot \dots +% \end{gathered} +% \] +% \end{description} \ No newline at end of file