From dacfb659494bbca7cb7a0d39e2355418e15d9606 Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Wed, 22 May 2024 15:14:44 +0100 Subject: [PATCH] feat(dissertation): add abstract --- pub/dissertation/dissertation.pdf | Bin 983338 -> 983737 bytes pub/dissertation/dissertation.tex | 6 ++++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index 74531565f87503ae9a7961e4926a36a1dad1cddc..3be15be51aa2c9935f1d189d999c279f86053ab2 100644 GIT binary patch delta 18717 zcmce+b8zTC6zEyoHg0X(c6+N^_tvI69qo}LZ1`9sTkK!Z3bad2@FyEFW-aGZ~cA_BIL4I$>D7odPy`s!~T4 zX{LAfFjQ0ZLQZeZ-)eEtGg)SF_H(}|j4v`+YIg76?r*bZD{``8?IF!B33_Q$EAc@= z0Xj{3gbKe}m|R5FG`XM?CJ-@3C)x;XCkjWdAu^(hYDS&H3tXO+M@&bbU4eUSE~AiH zc69AF7Pe-odd!^=r5a`{{p0W1`s(+M;-{L*IIN>VMGZ=2n%4?l3g0^;tU=|dhbcP( zI3II<%9y5>jEh0^J4q8YH05}fp>5+CU}VZ#3!>>6-}t4X+&94jet7<{jg5rla4(Ma zL5&0#N!ip%r$p*k$X_3MTUjSpk$So8Nq?6+xn(8NPg1f(g(yMD@c46ocGakS9+mcE zXTs+Kq7U{3f=h)y{B-DsIy;+Y+%xHqINgE5MS^?tLz$O_nlnJx{0Fz`ygHvfN5$?9UZ{hAxgsVnm62MQqyP1Y5@o$xrdp4DKIUjQ1rqH)%OwH? z<;ogYBdu&!g9(cJQIcgT6y635340ctmK$}uo<(hqXLO&A(4m`|Oq;6o0J;u=;)9c7 zsZyi*{rz=L6uh;Pkg=+Y2K*tk^CITA+rN7lUj8RRMDY%?$EG-0li6c4=ccmWDJ-Ab zie4NrWfvNanyF5aXZEtbRe0V}^$PuqHZG2xdB6W%;s+~C!@k|*CffSMg+-ZAu?niP z5Vc;yLG9V!G}2@j^@B2YeFHN{0$((Zx!B+j&b%0piLuNZ zNI2v&zcR$IHM&G(eO_7ka;x50%B447g>&_8T{V8D`N%6XHh9AF=wwZ?N`JSGToiN9 zDu|I>3FiMvMcW#j-6dQ=j&^mvfUY2FC(GIodUw~nR!j8lOsC#ArS-dB`+ViM3?ce> z#+I~V`Mj7L$@A@eVSeQ`S8a#(SXu27(*FYMD;}Fm$>W7XPvD1;1!YNLxrM_31~v7Z z@HsGio~v788Q8erbYmc6v`Xx?ri0CQU~ff z=(4=7cr@0K#RB*(Mf?kYlHXP%3X*4$YsH~$P^fD<%Ro9)Sen9ouVImyj!G+yC9u4} znH2SS)JeuKslg!7mG(&SIS$1Es0SSbm>LRIHrz6E%b6iI-Ny>O-ngy5l&3Nr?J(Ekkv3RQ$zbU^e# zW?2+Q@^o*=V714{Y-lw3%}Btk{W8&rKnQhr1CmAT@8Z;MQA1?L%D{F&PPrqHG=eu;B-2|L2NMa9wQ3J-(K)W{f6t+HEQzz{pf zWd@l^I;06>6!a?g(H1xWntgP}E#5t&IQ@hqI)(6bGa>{{a~Oa5gc;>=WVp?AcUXj< zCQ!0*iC36Opa&&j4nUqMG=hF!l!-x`$>5l4F|mRHJ&A?lp1>KX1t74;sU%*;s7z~q9rooa2}HA9cV6S?orp!@ZQe!{6Q2Oil9{A?`#O zPa(<`lCRN8)3ZedAn~Civ~}$D4w37+MXPvEztP(m>0IBraquzZT_UL5cz~-fEKFdV z|BjxPb8~bnqaKl0XFhAF;tXav?9~>BE#W|fR^xn*9=+mspS(Iz5k_?ZQN2QMjH*ZV zoaqMfg7vKpYQe_A!!`nd25pUT7MDtCK7(}H^vV%F9kTBORCo~gu7d#rfD?q zkzR_33G+HYQ-@c%1=+5GW2oheBe%X;~sf54&z3L9TwJ| z@8w@M+YuSaeGtGAZt{@PXOMAJTN zi~pHzsh#DE)M)z&iaKTdkFQ`Sq0sxryIoX6_u){xeB?L%(~?-q%4cQuhVS0dyW*zO zTvpel^`_WIWG!nT-<&}C@u`a-__xmem+A~4x5k&g^uPzbLt1j3jCt8f%`{6yf8@eZ zy^M2q9nw{?6q&JDsLfR^ogp^7_}Z}Xdjm{)XBtYam2L!|=Lxi>M;kQAWM(qx*#Qlz z8hB00#HWk)=!@-aX75g$)c& zMtE23%fGV%Yc_;>rOZuFc?FeF=;TCF-{6<*ZYK$b#OU>|aOUh_EIj{nkH@Tk5TphJ zR(O6n4cG-g4nJS_m*2e9%7qTPWjtp@&LfZ4tH*7!2{ARVFAnnFT%9B5Gzn$frmU;y z`jXLS+bpf`2t6W9Pzj$pPQU%w80Ggx;K0tPpI^kXz!Cz!>FM<=1Z{-Aul5G7iGO{m zUjITe?9{7lPRTu4jV1Wip6U}0?h?`xyWfxG2 z9ya~`QO{0?EL!ln(QzW+BXT%rvoXqwaG4M!R!ufRk~t-$ZYBGbwIw`g-?<%}$z`zTTae+usgd zUv`@Oo4OrZdL7P%%ESGf|CE_u|V%40px^?udKhk8ge^m+BAK`Sme}2aKu0Bpj1Q zk+?rG`Wq65ru;CvBImECr=}&bz8@o;#qtIEeacMHhaD$lG#TzU0 zL5Q1?RGLJe32^zL=2udWmGxU`$6V&oaqn>?G>?Tfo$!$x+o+`lna6NMSD~5MY!v|F z>}@^Jtj(;j)AUz&|9ZWV0-hx}MLR%q+|jamRKPqhr*uh6qNhRQI6UwGXC!_YR&7s( zg!e*`{Z5x_1$NgD^(n|l;m29DVZrB8`v9USuKJfzG1XjSM*gQ8>bm!T62KhY#6zKwU(>RQv-7Q)<%4PEi zzo|NtyUx4rA&c??tQ;?KdpEH=Ox2z8oO+s6WuBd7!p%fHny2a}N5GTbbEuktTJ zV$uA$)Z)QUz&Xa`z$vr~6k_-V3)1lOhLnJfc>u4?^33P2+I?1-_9aRT{>RNG!nVXm zN5-rGqr2F05tkd=Ra`NnUL25!KHc)XJI{2uZxeKK8I9s|A{lnu7#+vY3E_CXS(HJlC#yImd{QEou|#<>WXZA?Vfc7H$L6$82B%JM<+e_ zZfg5mzA=kveun%-t^;t1POWhPB0;|GDx}(cFGE3~)n^O%j~3)%SV^%+x>7sui&pH} zr@O}js_qZr^z}-2!^@@9AU?K-&N=O(>siHwr%y=Hom9$6>VJS$C3=yJgL)S2B*U1R zmK~4EC+#r@isB$N^?oF=6YWQ?z4q%b?#k2gzEc-I^*6Sp9mG?Cq@B;X8^*J$@IGpK z?>1)TbPAQ^vN`ERNX9fu8_ZetHSf{q-Pd1Lscz9E8WSIL-gKvL$~l}d4Gj*3MbTso z`=mm(E)Cvvf@Ofkpc0IvP!`o9ALE(FpgU0L9qH{@tF3Rllrk*eqVl%H)r<#^^2$CF zshEc`4l4fNo}l#d=}bwlwu)>oOMoAF*yTSKWzWh+a42Q1y*)Y(GjSx+{960hy9R{Y zx9TzLx6tmN8~k_08^-hBpda&4cPl&QxKx-&ZqmfE<8FYAl?W`EX}+_W7(_$(+?@Bc z8?EgW9^2`%Z1(rHL>D_j40zCTUtSbj$ZsN~w5rhlS+fQ`RkD4E!YK5(zg1V)TR(?j zrE#f94$mM==!Wr8xL5H<^cqMej|6WZZ+qJ?1X8zU-g35VIdwjE&I}1}iI;NhU|&Yp z!S--2U8O`m6K^mZs)jGD#39E^I+?I{< zR|Zpc94FT7LTFZ7M?-Dn(gBnXGM@IT^ulm9P8f|7lfs(x0|M=d!x{}r0z*Us60@>W zr&5lt5^Mbrc4L*z^rsYX#p4!GSu!nfymc%%opq3Q@OqpBbiH;xdu_W(3Ul+JgZUd2 zE<DuHzI%_R$oFkanVHi=sA zh(4u+kyuH(t;JHzys=Ug^&nC7Jk3ho>ab;+MqY`+U+Bc;_(Br3ytLXS(hC;Nv@gFa zRf-U1Y5Fm5&+LnS<;AMdb}UtBS8D!KKF92uHI!{sEKB9r%A27{ilFWkbj{Al5EOKb zkiYbi#Ed%rw=UREDGCCf_x)&3CIt8|$bsoPkeE#aA=FQUfCB4O2B-xI2Zyc0^ z3Pp2LiZ^oWqW^n9()jl{`(_fbZDEAL5|Sz`|6?QUKl5jaOck4;I6{YqMed8dAx%d2 z9gywI(Nw4)T|(;>he4GMLYMuKz9Kt-QY%gnFH8>qS_s^)YZ_IMeNKu06aG=djjC9m zi3BGF=fZ(4>uWMba9Duv~tFp23%@Z8nrG=Y2Wh4IHSc_@^D3{b}r@Q zBbOoirZZvs87_iyFv2wo8SI-P`J|B>WiJ2vRhLe9)q7Rmj9jOS8e++pzAL3K=4rK@ zl5(FaCWyyhff|7mk`;VRO(OB>N4@=mrlJKdHFbc)S-g*MBJXW~@$z9dHfcVU8O?4= zpWDknQ~O~{Y0W9ewTZYH^q-~bSN2H1^X2ND4nnq%3g?!woW1bL*S-aW_RqF$gu+d4 zq^gBnu?jk{P75ifj`Mdi3XiLZ>;6PxFTbwZ(nP9r?OLjO@F!XqReu8 zULnU0aYKJ1(KfKyq!l9+|7^w#zah^hylS$O`jg)!CL;`Lyh7_W?Xv5HVCf%m7F)SR;HV5Q`}$uvLTwPOfZHI8&W|5^BAT|GcuQ7h+r zS|2mM%v5y`;qsYiy&K?i4|>QuzW;GqE!bvXmL?*$h0bBi_wO!2E}EaSo$xm(-Xn*$ zUg*#g;(K!YH00P`oZ^BV5Iis>6i3a;<&B(iy3{^1z-o=a)34T+BXZP!@VUoOpT?_( z%am=i!iw8cu(zG}8iEsTx(w{i9>(y+cCI^Nzb=y;4TZXKJbj2SmpoBD{q8Of$=dUt zHN(Z@|GvffCaI)E%4PoR87Az?+qAri8QyxUmB%s5`_u<`;KloRS%}`mB?elc*{ile z%;$V@XObsyBId0d?`W;m9e92cT7^YgQ+J3kvbw!KYLy`Gl*MVnE{(Ie`WX!9PTR7I`*j~YJsNo3} z={gWtDcpuf`Uh}n6`ZCS3jV{Ogcd+oMgCs6{cJQbpnY)o2^b^i{BAlf(xhL9bomsGq3Wc0kX5X{paGRPr2><2-tbf1fOJ6K131EZa21AY>y`?T5Eh8u)PJ;P#D(Wlz#HkOfhJMv zlwTotp8%%pL!D$2UvmP*%U(TB2c6?rRSZqzZd=t7*8#DQf5+!`w_MXmB&*623w`=8 z-Ixvmj*3RS3HOl&Aq8KfYlz?7c$6#aZ&!=Dl_Dv45QIJ>D^v%s^-3XUHTR}&7wo-= zu{~s03SM^-I@95JHNgXA#$bXAm6KMBVC5}64Zyaiuzqtt7Iw3b&c@wU9N!5dJ4CcN zi@_6e-RfBQRaY&QwWWa`~RjBTt(*0ygIQJxr zD@;cbi%5jgq3-~S71KG3i-=Hxw6Fn-nSQAeOnUmi61|5G89kDdN8}WQsG6%qW=4EY zf`A~oUEuMPb3ng>6s^u_VCdie%ZcpC87|SOdBo)@{ex9WCy5aS+^K)k&(_%%txhHa z6ABQuZHTDGmK<8!i1YdZs|@ex)g9JXDKEW7GXR3+Q|GIB&OL7JEaoPX{YQ?VIIG#NJ^zZ; z5Li;%L^907Bj2C&1M0-%fsMbi!ieYAS9OiET!Lv4S-3P+J?m)th2(HVk1(?uE7aqG zM>gs^StaE&x)}6QRLTaSXbYP=BU18yW5$hl zmu#RP>E!MYHiqJlx~}usww`eF$1q{W4*1d?P~Xr9RQ+G5{r=Q^<-om>3&c7PLHKdC>nv+)dBkpXnWEyOE7c zr?Fh}YiS{I)nmEetKQO8WLm4?;zGkbSQqXtDQn(ssL3yEs^{;G(ZvG0k&l+av&8En z8+Mnd)7edh0o_h#T5T$$fASwFNF?`qYqE_r(59F0DZ2+o#Qa+Ot%qi=UjQT_jInmV z&U_U`b8*gp?$bnq`D?9u*)EIAzdZiqa!AmANmS9xPTJ%=!BF}ls)oN<1HnBYCuy6G z(&gZV$EosbKC$z=3*zsWkqMTNuv5r$PZvw`wP)tS|MCT&aEXt4HeD#tfyH|nRc;mi z#VMD1rMeSnlmdjo&M}g33xQ*-o{p5>FJ2TYPZe)%sFg|;t^Zbobm8-v8qOlt;Kky_ zICr`$ZzH{zTYjOZlval%QN`xTRcGy`3_tU)Md&C5X(38^5yybumRn+wk%WVRLdaJvTJ?i)OtbX$xQAV?4D` z%wicGQdNGJ@lO10pB^1n1(JknFIEHI!cR4-b&zrLHeU3?%l*&~MZsh;$Fmgg zSecHktky4>iE^8YmGwlE`NA{<$dfUB6-kfZKN<-u*#HXEHJqv&Cd~qr$iZUzBajYa>$t@9p?T(*f zV7@>*Mmz0~;{1`GIq8%d6LSY zU?1WW5H0m^5sgKpePsrJ`(|7-9Oc5A4NmTWgAY7%NV4z+D1p3>PFZi)iC>kCe>AV&z$}gch{NZeWRspiBzdW z&3Nej9RIi&(^WVOU|{zQv-djmt@hEY;|2}^&wP;4A(X~%BdIpEW5U`=YKXWi>D#n+ z(zJ3=YJ*J>f!ZDYdQHURjkDfdLeJ6|&JX#0`k{LOV|&)4iwRQ; z;h7e;aJ6oJHhQmxH{v)8Y0l4`S^!ql{U+jy+^6LIKr49_=>IsW@HQ;F0B>PVa>D`? zWx8aPAAaThA(u8%5%TZUIP|%R9Eu-IILE!S$>cOgvqnqH!s__sFS+d1 zOuI=p+`dbKrw^vOZ!iz{Q*k&`TN9_0U!q7TDdoSAL;*dkJzw7vgCJ3*1UK#m0 zELcq;*I?hUF_kAqvl!bR`9AX2o9*j~js&daBnC}y{%eovP^y?No98dx1*y9NuPN7s zrB2$B-yKKMTzCxU`PI^{cH#j8C^k7OzZM6xc{%m1lkv4&-LyO62aB-TOTQRAi=Ak? z$%~QjiGh>;?=RzftM}dRj;k};6p@qbla1ewhfWEu)a{YU-%_K_sheYR5^kkNcaIGGSC2{YhqN#3H+`W}zr zKu)iP-CM?KX=};~8-{7ZqzC>$Nt`8Uklb2O3F;t+lK3g;ht@)#3q6o|hkBqpqxCmH z7ZPZZ*9(^V2{#Qn^4JQ&kf-batJJT9Ti6;gz&vPmzpN-R&`6H--*75vkX&EhKr)*9 z(25G!^a3hBnS5doTOTFbM7GfrM7`7$I$Pn2%Gntylgr~yT7Er7R*`KEe?Q{N^+sl7 z>*w@6y=T#b%^LK;R!(b&%G@#A!b0?D9TU>~4PrNB$ky@}G4U<`SceWfK}^G9N7ydxVMtwWOKX%;rr8i5OpaYK`t%pleL2Egf=(0+yDEk4rqEVXI*#EZt7*f;I~MO7V|M0dTukGjw4Rya>6AGGjMjZ zEepzBJA(+1@*EJtUa%BtlrMXvAOw|!F$2Ox3?u`{I2Lg|cYq+V7$p@3ZOwt?2V^uk zX2P5*tmK?xFUpMgpIBq*@xuG$V3M@GkpT5f8pBfZR24WL<(nmK@X6dUbdJ(xU6oN5 z2FNLKk77(@CD9#u{9tu$R-3G$zea01nQcoG_Q(YN)6^nN0&HtPVb3atb`6n|`*X+e z&5E8iA;*hNK>#d-h1oxv#%X~reXy)0j@}8s-YvD z(QGl-?UR+$1+xtTr>sG2#)9_e3h??7#D?|*!~t9kmH~)Eqwhco;fB>bSL^vfUz-TU znE{_DD5a3sP5xTLO?cYsUkla%U7U-X#2#9O^i2)!1tCFFNnl$F?vIsT@UZh!o7X>S zM$T%(EYv8UA?5^PtSyDw?I-JopF2-x4QlU>7sl_yGVF-5UNfX75OS;mx*!;+#6Ic; zJdbDc5N5!Y1XVPAz_(_xMYf?frXOsm=oV^JPUZuO9?c5tYsjA>2G;^km}nU$on%_G zn%xFBk^Kj>7f-Z~K}~4w*(fnkGrKyS0gK;B_`7%e^VOOsjRBk634TV%upnX7=xhJU zs4i@#xJ@Hr{M6m<3;P{mIy23{wGcdf-U!;vBL-No^+zCMEFHeG=A^0%P#qNdx;=1O zpn4I1gMdGd##P4VT+7(jSF{x}=JFNf#UqS;+67(V8*bI3H$dY3AQJRt14l~M}A-}jgX2LcU3ZzO=n zlp5%d^26UlB6R0eq5!1Ub2s?>$O|PsoWZQWCfJi3J^jBYGw1^p&8D8ZZ@}ahq=b+G z2Bv2i0F0(CrDrO$-wBc544?Mj@PbTRfYy?usc=FhxUNM4iAPUgFHg3vR6mbALA&Ac z!vj|+&QPM9&qigtC%vObq-fBaYFREhpq1fL_7zJOyJG z%VBABu9#Qvb|61%X*cy?UR)-A@+T0b5}`V-&Mz+2ffRm?(=ufAhz0k-A20ffe(fY1Ez`%tDZBD|Ky}9WPh~ zf=oT43F~|$W;wrNPdhNU;rgFiDF$l~y2gn3DZ(-0>Z^N>nZeYf>Z%Pf1 z82DvpdkYR?gNI3{-s7m%iP4HSaKZz}eW3&M{6)GU5j^cd(y7G(>45&S3m1THCpC_)Tr;LVz>@6^%t1T$sqc*1e!_l#Erq+Iun3t)AG zxL*gR>~-G2;rCks_Pgyjf1CQ`(iwW-0~(S+Tz3jTWSv)sjPKo`jfx}6lFEC`%Rk&4 zO1+@KM{aw0AZBBSC^y<}tnT3*&OshIvmSSzZs)&tS7p{7Q{+~jJ6|6Ua~bCS2vTFo zTFPbu@cEJY5qS|;>(mWY^|n<6((QN#JeXEIJ7pVNHF#Qp3%#1M5TUZBU8Mk_Smki4 z<>_K0Z|AO#+d7N_re8XS_A{QzNjsjbEpGOA7ZyV8D@R13a0zTAN~uD<7-?|~MX|Ag zs7OzEaiS;V` zfpKI4`4t{OZ~Zlf6-}ISs;(?4ymB~d`v8CSSgowJQf-7YuhoqKdq}HpTGYQRYj| zHBlG2t6@@3H6fbUf%UUK_MCs5kgfjHt~+Ok|8Wf>f5D8jEH!!^3%W_rNIW7@xaBxo zIt4C}Z}DuPdK;Ap>x_ZB7y_vD*cNre;y+KYYeavp%?jii6+j8A- zjjln2tJ#o}j4uwX(1e5r@U%DbEv${UJiLdA_oG+1kCd_lKm|Wo9tme4eTQ%=bbGVlYuLf_ay!B z+k-_mCiF2o4uLMIYZTRx^NPzrL-MB@jZyy0Si-Illidy;qW%$Qs7 z1P2ooW5JqD$2RP3W}-Jyztx0lAOVe&(RBPW zkum;ugr$ltFWaFvPh+_F=>Q-Z&t))bO4=QWWJ@rp>TGX(o~M9vBEhXg9p{CXfFu$dt03L|J`{?p35wMjl*)s5z>=LZ7`@+$Bw;M#Dpe*zJjk-6G_obz zk=x7V;pov8Yj)lWWB`u_CS?yvO)3{%S4W}+dXR9jQ<=^=NQ01Y_Yg2X4f9IQRZ=aq zG9^^leH=>P>#{jHi*!a!cnCh$ffwOV$3tf&XDMz@oTSv;Yh1;6T*IIqZa$p~7{75g z;7Ifz%3Zm|7GApThRp$W5GRB!z%$4vL1Sh?Rg#i%w;{X^R`nA;!63*6-%O9>x(E}F z60Tqr+l{_^i6A-YZ2|tA#HzciY2`;R@bAy`C$e*EwGxSCNmK5jU=Q8lnHJVfG{~y- zR1zC@@W0u=e5sRx=($Xs(R4B2N(!BTF9wkCH<4KAps=5B?9R72g-(Yuf_)m3+WXxL z9zf29cJy#bZq5AL7Rj_CnX+X%;gUH`fTRgwUW>%}=*R!aD+78IXs4+kYqgqU(gp2y zE+=wq(nem|Qf0_4f0&1{Z?P%3{Aq731}D zW7>5{y(8$m{_Jv|9@5HS#mc5w@yy2d3Y~)sE4Jz~X;T+;XNI*HbxsMVN&>MB3vtMJ z%yWMl_1<6Gm9hit9t<#al2C@PmDdt`_p9$nDXIPqyr>O`S2gS+*>L+(nh>nsaPlYV z820Ba#{r1T{hS-OQ=Pwui7&UVL5>A>29!Fl0_JZgt3Qz{-v~`OZ9k#91@Mvl7V;qK zN>Ln1Jnp>e$3*Gz@_D#oH~Y& ziw#yeM;Du^#}jx@*_1j5qx;0kh@$I! zkp=5$be)l<3NjkItxkcrmgnYAjp`VdLtu%H2+oDV*KWE|No#^ zz$f@y={xAv$Gl+G87i3P%b#ofdy4NPB=pAX#@p_D-fQRi!aCJ(M`JL93Fn-B1sIGp z5PR+`Ohh(+o<22tJM^sULH1m?9(}Y84W~?Q>+^sXe$CiAy)+6>=!rZoNZB9i4?R7+ zTmSL3j)qLsO(yRa^1Qk0Vu29*n{)A2&;8|PbMjJ=#3y?>6-2mE5rlZ`#fP~MU@%Y? zx_4s@ExIRmwn1rFefaxeB5MLrpqEJS|&O+R0z^rD)VIB}1mTU%2<4_ck#uNHkkIomIlV zHtzS~BF4WUVdPZhQgoG5PjCuXBT|Mq=6sB~Qc6;lRA)@w@7~CdYwpxt58%K--FPQ) z{b#UM#xQng;?{?zejt`E`K;+Em*i*>fL73(%_LAFr$&CtZrU&|E_hiApYRRqzdoAd z?A1tfTgJzX$xu0=zpiNNQkaD-Ps^@Z$vu;<^ZsQRSJG;tm#Z_;NjBALBG*awHW6TuORgw698gRjrgYfvkX1RJ zrSu63Qsljyu}t$SpX>w%c?_5IpsGY7n` zTFrs&>#8feW#vLVyJYb+6GTk_eoQW3T8egVJGM`K4c};Ra{z;ybV;hh-;9QuY)Q!) zTLF=EKoPCHq!p^-KXX`7Ouv)B954&N%uR#jF>)Gcnx6;+tBo9Jnyr9151T|^mvs_Y z5w`YU!Ae&rVGLiOfzqrf&_etZ#UZ9vKRL23C1@;zKef27bB{E|Xht1BqA@CAfhx*`gP_CzcjsPla z;BMgOPhwELfhBZw%h&+G)(Af=uS*chGfW*7U55agDr|7TKIRJ2XTTK=UG6b3VPGw6 zm)8dl0mX`n(v=?(Dx8oc#P|_~TkHabrPdKFBs_~GWc^W#SrlQLD#bD;fW_!VP^*Xs zi82fkrCr^`b%FaGqANPw^<1ceaQV7jfvwCsM#BY_%u?mSqwIf>A zVpcI!!6c7xb(OT}RJtUdFhbQd4;=2nRhnd_Ga?_{6iPFT^WY$;}GmEhcnY4Kt zCrVRH=`v)cfTAX zrI4HN66A$vu*b4J;$L>WlCvY5nL-+-C0Cpoa!>6kEHg}-nwkLiZMfx(j5Wy4K%xwR zxd;-oxzQ*wk!+}1!+x>%A+8_QyrCcZJgVRK9E&}YLD>Vq-y?l0kMXs6@F)0C#AG0b zhDer5ZNXlghzTm~V4TkXBqV8m+?yT@F40frC)AxVJ<7-OTh~U4VIp)Z?eQO>&T)R{ z&VMh1o8&*thKA*DQ+WtAoSZ<_0$dCPRzUvw(a$;N&`;v~(~mR?C+}vFl;`i#-Ql?i zFKu25*Xe)*oB;~CSk_Q31~|-md#KECLp|Kcai;FXr5dyHN#4V@H7Uxn!;CX zNJyn8Uw>YM4h~UHKti?LkU>sQ{&R6^can0s1(5OUFTLB&fNRd8zv}d^B~Cal_GKvg z$z(5&E%Go+sOpz0Nh}ZjNN12`0$5c%ADh9d0A>{+Z5cqlIa-shq_II5AwZ@UB93b( z%l*vu6H|gjP=H1NNOtC=eyICCpo0pm`l06_om9heKNk7*-Xz|!F+pZt!r{EG`_)>3 zChYQ!m1HBOmLaA3h=i;mD+Z_<2q#Ss=eb$B_0)fY{-%NYSe5T_+lo`lgbFl($pnSP zfieerVQ?Ug4Rn)$YgzZ6ab(Djcdqzcz4rT#;2dat<8ZH2!cncb|fo&jv(HNLP1f{7s?`VIjU4_5gDv?kol#_%Ap;Ds<&L)nJT-kiQW$DQe5fU6Tg% zDQiPTNyl0PlA_iRJ!lGbWSU#O#b{g+Kq+Z?~LE`4zs3L5??jHL_xO<+Gv z{W9;z=N5Pj65bg(uq9!1eFfQ#ZSbdO-)~@x4f^ZHjy{?fQ+Q|Wz?PKJH9%Io?Eb-l z_THIov0;_3ghnXh85T z6qI-kEE}pD;Ux+4Mz*Iws>cqBe@NHo!tkaVl-R7wH?`F>aMbyK3lA@sB=pIcN)O=l zkL1aof8&KlM{@d9lmM2y*oMGqNN;C`7AWtY`Tn|ehTw9cPa~Rb#-q$ z(ezzAZyF(cxz|G-ZF=R^xof$4jKnhQZ=x)({!O3@Zp{JyCNHypSfqJ>17f@cpWGnFLAb{!5THK!>7&@R7O0|d$ z;9oG<$N^%x;5W;yE3h$sjP@ALfyTMe|D6lMOef%4jy{nh>6uzVQK*3tZKnhSp{di5ZbRJ^rW*tLn`p6{39^~%kiV! z_{$V5H>-DWOgb-gn*|$x%u{I5g-Iq(__(Ktr#?kZ?%(M1+iCOsNb&vdLwC);yM3Ky zvA^Nz-v&9lS~FXjgMhOXZmhy9z{^ulW4})Y$PLQAhwt~aKpy_~3?bCWebV`(Vx9hT z=6*GJPVS`wsaqrTz1QK9esKj9-xRaGOs5oRxC|%Yv>wOxJ1IUE&2t=K9nT(aD?R5W z7-7@XL*S=tZa6JA)3xvX9B3WQuk?ruAhc_)`0OV5HM0t4s?|0}c=KW3Ksx{nfB5O= zXRr$HgmYP9qkASUl5d|0*8F%_T){74;_$rCHuGvZ+-BjhEt{F=$u~5bSDp6}B&1bZ zch5zJ>Fy9BzCgw!XisYUDCztuR}_&iF)vDc#7EY`2SHk7DbY0Z@laMF#8sIF(z(+l zqx)nL^ssX3{;D>?>DMet0QXI@s}GPQZ4^9ZtDzh^-j_QQM+r& zmV2Pd_>ps6#ptiuT==Mh+tPai3kl$$JD^EK9`d~olI*(^TM0yL%uy8=Be2p4_)Qm zi8&UKTKbWnOTFF@dTej1G&HKKSz_n^@OtCPpN^M^Q)Avr0{@i`1qps#xNsM-=9wOQ z8=WC=4XI5xefW#F{O7`=rkf@2`sdU){@+NCLy1-qav*@~{!C_7by=*Wp$lVQ{-Z`< z%_eUp)75#E-k9<{AY|al3(fAhoEYnB)z_&p=pm9K>PoXa%3oL482nRJ;aBnJK9bod zjlSgK`^UQ>^tj+wRx3c^>W54Fn=f5!4)MR()TkI8WFg!xd50IZt52QO<$RN!S%rRO z1|WG8lZfd;9;_|BP%g~QhC9Ue(JalNf`S9p^>4Z5;m#BU+w*goU{8X}PtiUCN%m?fENbVc4YVgg|rZ?DLG9$`!7A_To*H=#JMt zY@stY$1Ne2yZ+e=(QSveRk!gHgXJ(aSNhtBK6qa_$=hEeWY|UmG~(l%#1iu#$to&qa$$t=BR&T6*3(-`1xRT(C*c*NM;#m6X^NZb0^}7TDMM;rTilI>Kc@ zN?etwyjKBmCuH0+BCs%OSmZ%}ed>jXU{2>8&nG>gy2fgkpOouKv3YX|EdK_0|7IUO zX2Jy_HC#nKz$*dYvduX1wUzPyM(R@KQOVTBW!k%?8lnLfh@ zt3P>fq^&IZlCj2S7I4hI@k4^6)@8HPbseamw!{m;U=$8P^6~M3ySRiN4TJw11-1L7 delta 18312 zcmcecV~i%i^XJF5ZS2^#ZJRsVvHgr~+t{(S!)I*Uvt!%3{r&Hf%iWv17ne)wlT?oztSZ@*gDfC36P!{n`9?4U~z<1%M5)Za!dtFgb=z2@Y?R}4}lDnI>c zbfHgl2&y?0MWQ^%9^2G~S_u+iMv`*>^@zb2|4W6(ap|*N#^ZQ*olP}V9l)46InbbD zvBYYVl@%=FoP#Gj-p#>58jla^t+1lwR=%udR8FW~==!oQv{-8eV*6ysN!^J;XT@C< zJ37FuT}2S%Qe0dUeWk6gXJa;)On5HbjV;b?Y9B2H}`pS(CTykg%VsaA= zFafQQB1dVfbs(a&xXtpM$a@i_hfA#gZgVOa(e?-Q1Z=!Vom~sEHTz!)$lhs__L@Xz zO2DVx)%yeVqEg*W`t373dh$Fd4LAoISE2|eAXcL@Zj%||;+gINyj&UM5e$nlhmSbH zyOYFD_3(QmBIU;zK5>2MUMf8z&j2a*Br*8WJ=ABnko^u4J=9oP4oSwyb#|3eA9r%2 z1hIlV@Ga)(cIBfB90C~yw9m{BE#Ms~fUmC2D4rN`D)ABH7H*OUe~u=j3Of;$PMaPP zpbctv8o-!gDmN&N9YBhm9rbreADssz;?~jUetRchD@N)1{OlZocIyMK2Bm0qg zF7U{q+d#?W>Nd^h!j4N~3%2%pH!7zdaOuo1S>}}2fL?LweZhLo;hy!aE|xIW7@{u-(x2sgP(5XQv|v=LL0}i*+d`$+Pm)7s!G+MaFgi7bnJG zp+vT;t={uy#nFLoxrmmbTpYQBI(K(D^-ol!^v?sR6;5kANVOF6#^!Drp70xHK&S&H z5lKb58^nXtM0-Z;@?AmLUu##%EMPjsqSBeAMPCv*UtMXthnu7O(5w0%r6&a;m6m6a zcOCTrIs^qS2Jw%EBHAg%c=#{Lotchhy@g= z`Gjmm(^a$D?|gPS2g>JFuc=V$PY9*Z+vW3YMDpi_3NL03*PDltgCyXRjNPqjM(PzH+dc1dkxc~8 zYYJo5@E(M+IyG4UW$MF4?gCM6FAr%sKrMx_IY8|UQ6mDCHA+A(Y5uXx+7nw=0ECi; zDVQ)ON;U_GRA3lSVhLjlyIxS8C^Nn!hUkrx+tOt4KM6yOg78wZgYf!>!s$W*fx)Un zS_HgEd&2NFkRAnL7N*+Bmw^Z{b_AkQ;_I>?qL_BL(0@+A_~m{SXQHm1fQ?fwvWT(< zf)RoX50C-*#)@Rjq+SYwcPY5pq81=Za1gI4N>~AS>6Fc^VGGcLxMuC(=FyI%ki7K+ zs#&7W(4(QS*C8!_Zg=qasddU_8QpW4NRkzs_a@wbA-@EZ{4P_B#gF z$fFZO+%;M7^X`A+1`}}D62@q&-C*u&Q=t>B1|_1FxRIPPZV0yrr7Y7KLX6s7ADoP# zuk!&4yN{z6ATJ5$i^nuNs;ic?1ah{CEeL|KC5iF?xX*mhRCx+uCT5{kaB^C{1|S|sk^ z**}WM`Ae~H>0*{E@?D@zb@GX09Q;Dfm0khRIobZdT*#6fL1&eqD47%t-*^Koh2n_hM-XQ|}v=P>WVAD)EpN|;}&WS_t} zFK13pm8ytdNsM2kG8v)i);eXq;<9NyX^qgdcm8n55{d-pM01OfPe!*2ciec%>azq4 zJPB%cAs;C%w5W{aSD6sE%51K8#xO1s#+4_gWOG+cn%{-XFsULkZ5%GEg|IRbSyTdl z$_ID1C+m;MvPQGjE>s$QX9v}|bU34w8fl>}XgL>uxt~ssZf6o)=|w`&W=XwvSvrF}2Lr#wLOv3_EcuwV`{?TFTv< z+BV?hrZNF-j|JpFH*e3YXYK2wTV&Mt))nCnea-v()618&or{|A z*459Nx=sJTNAHT;O7pTilC4)xAJGl0!I-Cci}$YiGkxF7UEdfFNr0!gGLFw_D9_Q; z&Yu!KOyhFR(9vE7Q|BCEZ=HoqRgZryI4YK>=;n{+o!kT&p0V46FZBz{ zUB&cA;w_mgo?RWUw5dMcC;zFYOPYdA2+)pHAiSM8C)rV3=)%;zCWM}}Vd1H;@oakj zdjn&u(H6WJS~Ot5Ogv*y-|3hhbG2uGej*y$(1J{8my6pe+EV-tda>cL+jI@@&Hk^t z3u|IF0fcG504D@$HVr_7^Z4tXaIL*tvvj2BYtCyf>~i8X%PNviOMgTAwyJ2i-K`a3 zK|28d7GqnL@Ta6U|3-Bi5O9W@p%gHGnD;2rp6vC3W5dX4Szg63OYi^nrK8=Y?YHj# zwKWvIBUJrSzFkAm@7<~Ez$7wLc>a3ke1H4b)@=Ut0RhW2H(Fj_A^ zg|RoFReKI58(`Troc!p$&#M7dlAJE^^@1HQ)cFf{g}0Uugvifb3r~wk3wMRTR*V?Y zkNsh8R!WQ**^mF>c6Q`{bH-+=#qtsSSReiu$B5|d4ltV@-oyWJSjcq!(EaCV!2Yp9hGB3HE98~9WVz3**P zAem2#CmQdB;=tdLspwd?cP7hk9e)rWa=(3oPGBk1aNtjDcrd#f7CM+3Jak7Zy1Dx5 z>p`bTDUKPgbLl1$8Z3b`bj{j;OkJQG^{YPxKRDV13#k>E`fy%e)F47Fp)eU6$s7hM zoC$jL!Q5oBuDCehHGQuL0lV<+qHH!qBhb}{D-?lxW6ye=Rhccd}gnZUZp$kCupb% z8f0oY3e}7lj>yf00oZ^b5|hN>ri`bBjQO3R5yJ-{>|J$&g5UXLmTo%zAU9V+ ztRgj6!JXt`TG)u9Pb|@69hnsW)n&; zd?b)Hy#wtbwxkxRe0HPByJk>wOmxbA`NN z;#_d#pqMnng#$tBSx<*8AM{v4K&p#~fU;lnV8e_6ZB7C7{uI4`BgD35{$ZhapR?4D z2iOIZi31)omSTxJ6EaY!!Xxv+0as?qliTDH>JeSQ`z(8$h*{m+6V(`hum}uC%q45k zj9%9ut@t|wtCG$V{Pwb-mX|z+TYu8@$kjD8QBaj{imS$v%C8f>bqao$l8|k6t`O7e zD+)mX!yNR0+Rdc0VPar|_ME!2JYinZbDP*?<`Ana%$K2@@`DaDF25!CI7lj%bsw=nt%ASW>>BMeT7N|(cJ<)?B?(1fu0|=0%M?yqf$QNb=0ihwxKFd3wV#$}fNRuyQ zA4 zIcOj)FsrXKD;B==1pf-6PZAT!P4n$>z#WUbB@CVObL+bs2w!@edM$rBh%hJMM#)Wj zp~oLvd8T4}W0`_>*o_ql;2uBAWsi*9;YGb7#^Kg`_ z_<&hN4SG&U20VI^FsjgV%aC`J&sKdvey@RnJ(twr{sOHh9X2zuKnaNAIk=B{*7Mcj z#cmEmdc0Wv#E#a?X-9E}{PU2q6m4kNb)m zX7(@K89uSkl|*y5@8`)FlTgBuJDs6+ryK9yG=g7Uv*xK!^FoOqAP|MSOoj~*b*6hR zZmp`XQ7-Ee&8o4i7pLAk?u8hlb_+WG@^>T$PUuIDW)G&~ueU}=?=8jDFL_E&F>fVG z&tCSf=s&-TnBm~_8Rb(fB2#`=va7lU%9Y9JNw}tR8r}JM_N3As8IX@+vh}j>$o}zP zERQ8;up_Xx-j|;6996O9m_n%MSB~vY!lP$kmc)Fr=@2<91%>S-6fLpRtbW25u(iifw3L4@%h2JujVs0il`Dv@>Z}QZ;d(-hHl(WcD zz471f()>LU88mvi=H?y2ZMdATI|7B%fP0~d-y8SIpql8xma^fNvY`I}`v>?xApQaQ z52$}Y{{!Y9u>XMj2mC(}+AL)e-9M1w)YT`K|wI4!9UUiC6O@GL8XvHz*%{? z|9#&u0HxZn+UP6mc_>LTm}(O^Rcuf4wly_$a92-%0%SEx+_coq;iJPKq*pOg>M8e7 zq*qt!VG(3SATTl2o0nUbOH(zY?OIxFT9%gI^XCQ(sMfvTKc2t7?}cWB#$1w)Cv|%6 z{dV5{uVW${-KoUM=5Brxd)6BEdgjbDVy=%01E$QMVd>OO8qWG~My4b_q`wqSz+O-x zzQZD*75V9oQm0oZBz$LwIsjPqM5K{kVU!LiA-_K~qUXI_ICVohbFr>G^ zW}=glg`o#{N`DxLM?ppEOFVox*SrtPB$s(w7o(Yx_4hx@KFcKY5A&^O%FaZNQw9R{ z04=wFYEZ|86(XF+#19)IWsU5*X7LMswW?I0D*C~f3T5qnJEz*@vTBw`&Cv{)HaDpJ zVL?x=>L+&{_q3bTEWN=mR;>bat3>%(O(l+5yck}UvR$QBtI9ZU^B|iaVVo*iuBw<( zpnj%K`?KAUm}6o}ff%1t1t0wgi#BGi15javFyFy*q@eu}cwGrA7~PHaR;$mgl3$<| zW@DB@O6zAFqRVx=gY?=spoNc)`#X=g2vL;*NyYjB^-Wx~9mf>nmWm|}N2wk4Dg>G( zHbZ8T>If|_gsUM$Tk-{MA`)|u)|8_m42A?Ol7uWo85MO9%ajgPMjUlcoFMTB79fXF zzc@k#>6s6mhAeaROq^T6Wu2Ocar;o7CtPk>wkJ(7-6FvuVX0B2QGM-HOS5PGWqb!p z99bQS{}@ak3Bj3YkskVv;Pkr=qfvJ~5ls9R0Bi-N}}qIn9- zuVcCeJ4MCoOc(=-H?QhL$jKV3RoIa>gpx|*n1nGl>w)G))kcnVxa#q^72)xD0tfeJ zR!>ahHtQOb+Dt2n&eeL1*0T$NgsBm_)nOa@Ddauf-ooOo+OVjBdSzKd9kA#Y0;F&U zTqcgYAI(x%j@dFta%CPV=8LJ_Z@;q~O_t|gN?iolY-V)wU4W?hRX#vPmlLbS+-{=n zVlR3_Ad0y}=`jdzGra7oVy@40kj+LXdGFcf^QBx=(CJpbtlvWsX@mWadrwWDHY)DT zc1G_-x-nBoeXxlmO}TWS0Ej6-F`?A$8I&xtmAvdNE77MFI$%VvO!t`v>_}o+H&I@b z2-nUV>6X`8cM_b1|JK30<&QE|`xF7+M}IqN`d_|yH|w3VSd03}N{ z*<3>YVflLlch0#Q)KyIF$THPGINrZYl3#f6NWas;fBQXjiSXGYwt z2&JY&chhiT@~YNmXKO0Q?sms;6w4v_NL)8g41vQcnQ(n>-E*bPFvUHMcOYI29J6(D zGlt#8q6}9)-rtCL6e7-E{9cF8hOD9%558GQ*AE%FUo~C@;K@w%{Oj-6GnVD@3%9AE0?eT z3I5yi!-DnPNdw&T-Y-8T?}Or@_{10c9rWE;f3+9;C%qm_ zW1YGXn{5>ofc}nz(M$FI-=+Is-NFh&r5Svdm$t$kiue3J_f_#T23DqX1O^$8_N%O*o(26oYWEy8ctbTn0J)q_M?Lc`67|S z#Qi>-=C?tQrBT((_1RQcSTBPhgRt6qMw?N7!-;qebtfcC6a*Xc0Xg-_gXiw! zYAaXXA|JZhDy!X@k-AIS?}Om20{<;R9gmo-PcG$!)?qP7j%9;>D045^6r2}oX#cvmywmmC>=!h@SDCA>% zSN!9(N2i{jMtTB2YG?w|Gqa_^%IohuNS_IaawI`uoIoLs3IvboAYH5D0~K`W??|uv zB|nMkm73tW_VCB`^WiG5|10*IQAGYW;hPlR zZS28zPJdNF)PVi`YISu8dm;NHAd2HdB2qvA{tWlx2@Pb;9AlIFtAjX>5AE&+K0G!& z9AEoOm@|^~i&Ho$DLYwn6hpiECnpwe{y62@=Sm4vpqh^uH~%w#GNFq2)Mm#wKo4c4 z(qgc@L8q73l>4vIqSo_ww28i$-p*F#gvNw7(T2-}p77maP=$Lx(B!{G zSPVF(2dK|}3t-wh1WWOrCf`W=0idmZ+wOX2#CJTtiMEa-E6NoehT-|EbV(Piml?A3 z;@YW@3}qNKAauqMM;hEF7!8xs;N9$!Izzg^W9&KVJV@4ybkc|ng}kMESg-z`u2yn5I9%;#bqoVer$vP-Ib0v zsh6l5_!}0vVbrWRehz{$3D9@m$l%Ae(R&DhkEO;{TSIlu6FDe`mIh7}MnQWkWfm`| ztnLT)a8^_%N{WC{TVSVx18k%%)zZ6TJKVj|+$|2<5gej@(g>KmSIH%fOp3{%bz3z8 zJcw$<*;GJcmkA`BAaB_~FtCK>knAR!aXcm;@b;mXW0&b}tD1dih&<(C>nEuFG>_o66>Oc_Nwy5c0*g(+#Uu>K9*^NG8?xon0zF1dI?U$nmi%6<w(M4me+wXE7WM~BpWf^YSv0+0kSYHc1r_*1tGE(8^V>Z}|tQ72I zy)-mrf=LJ=0@*r50E;eg3<8f!G%Wcsz8IDdxhhj6%?rIhN>KPXko2_v?)c^P_}*=5 zSxF-1VHtx5^|4^FO3dnxk$oS7jhKh<%>%KF#?}y{qq*3$`6oUv5izr$p_&*-87j2U z^yU>Q(k(`j&OPc3WoGo6jKjVgi@^PjUs?8-sx5Rhdq72b0gx6{jjQ?cA(^4AwsKBH zR)P$$_5#?qguywzJ=e2R?e#y9I<$%!WmR0LWiK#_sUuV$Y}b-?LHgaL*08WA$n5e; z%TKqK!u^HGHpE*XOMV^$bFhcMo;H`8Lsl1E>*Z=%?S9@A)DKmu8hh$-cS^mhycI5@ z(@>Tf+%}Gv0FtyB2vM4VX18IjMy7!ctP^0T`c0@=8QAV|p7!M&e4T&5wC@W_tMywO zYM?clmEv;$Fs58`e@&+fh=$R((;T%ZNkr-9i2M~fLhDS7O|86@l!;|8Z``$&Nt{dr zAf~bY(C0;qPZtl38D_f)4`K`Adm8YgEXWo&J4?8@0Z5S4Bi~hZZa7w+jr0@<{;(<( zY_50kA?DzaFfIgv#1p)I_t-=*LFdz8jwm&jwbc>* ztc_y5$~Zg02xJK}fsE^q9sRl17Vw81Ir3^-N^C82Ey`_HNCc8|FvJet!k0`*v%In5 zF|2mt0r0q-58wudN~Q$fDYpyuCANc6&k@{3dVD^L+9KkqhzW?S%oz`jG*n45DHum^ zb?JdBv*C^HC4wob?KR9-!*U+JI}3@e?e+Wefd4;y$#51-2|T3xw0zC4`1nPST(!G4=EDV1 z62P(6;JK#@_8M}hWZsMTAy3&?VPjqsw{=2wL90(1iYb|MF^|W{h#Eala+v&Z%uHw@ zBIlvB50drTqr8?6#-;Ln;)$JVwWWe7ruCWNPoJ-kZQurb?<-vzTtuG}8X*%IWNvSK zdP}q+hS2T(`m_EvdEOxTw*>6=0sA-PJ;1_(NDyh3t9R!#l*$7uo-!R+U&cW4r`GIP zrOXuhK+v>f{f<*wiRy5*|eMVW-Qaqk*lrf4}_kUzC2 zKDLSFBH0-IRFLMM9)+6%W=;!+7}H^%;XHcw%4nSjEPpDQR$bQUO#bXrvUmxxIY4Ys zRuuSgQ~1Q35JbSoB;kQL<_u?azJ!3^LW4m7uDwN(mQXs?L1y)M&8=%0%@jSqZS3{R zt~Gy(`C-Pr%SqXO{d7aAz2G72PIa67vJ3?rO8Xp7v{hXhM-#g9Pms* z%B0&Y$e(esCui0yoE9kG`_(I#1gP#92BX@^QnUCuN8dv*b;X3uTT|v+M#8l+_e%P$ z@QPYnsaJ2%H#y(lYUuA(7v|Dp6uhFm%`yI{#JDj&>D+Eo*CCvL;+Q!{(mqLBC~3m7 zPC51?)GMJ(bE&P5He6xOKS;rh5MA-mvQkc)y==$&UfPPY3^9HatMtxt5dfQ-5X#WO z;A$W$Lsl@}I)uw!*(*w z9Fi-z%jP5F5T2b)RHr811efZh!7Hx@zHien-E|~GZ)-%+$@ZLMVnFR-({$+F(LSmm zAP3DCtv|CyjyCZ}paKt~j}_B`-%a$LQr}QiaVIjfUHOCBrR^BpOCA@4N7p3YBpYM# z4hf8D>#VY3tIJiK@BzVEcYmob{7y!rgutPQ>EpyAW})F}U^PCjM!!LZOgfv%{vIiQ2j<2il{ zZo!x+;}mn>9>o2b41DWI66I;TFz@ma85P%fio5u3T;5sZ7G=^fyYrFG?GV@gZ94IE zhzv~w*Ji{QG0;mXf%77DC|l`csuog}CEigHoUofghz?uz|Os{X~8f(nPF8*y)) zprflRD{K;>4U-j2hQeCRV-@_Tq7=qW1|cfp6*EPc611D-=xmo#MnnwM*JD4R_r$gLFTF)*c6VBOhG1ZkVQx& znw4aR0PupwLWx=I;H*A!)U8jP<|*^fm9mV1hpY4+Tj!XFs2*W>HDzim2I*)hoyqoUSn#q$Qps(U>oN+GYEpK&(NAe9 zGXZ}Es#4OlOT|lLG_;daouSHW)k`zMy@6*@Rb(JF3(`_$kw_D2h z$-?V{m32T;)g!V&K?ic>@Q{VD{oMq20w9Vx4JD${^B-q%-)jFV9U-G{K*8h8c1jVH zQz+~ud1dA%+{*}S;BSU5E5J>~2(HEYmPYh}kRV}Tu>TDicyyB&0xR3Etmdf>XQYFH zUg~5!p|YGSTzRt~4^+mYuI6bpaSCs4UW6Y~=evN^13`n&-V+D}J&@E!vsp#k1rTDZ zknsDWkR}LHAZK4W0+D&Kt}FyAW$I1qYOps`vCU z8E{)QR&~vgYaWx2XR3g&bsH)io_t+ly*>+LzU-MZjz>@h09`~ysixET&WSmC;p{WR z_}bxtty7^TOHYf`CvUyJ7sXpUK*BqGi9578?cX5p3wbIvvI$&`kJsbm8Ik;5^iy?XmJB+lrCHb#1SD{yhTpdvX5$#M~($dMi2rf;k|cj@=a- zQ@eEr6R#P*9!xpKn3;)oc4!u47D>WJSRw!!!z7lGHr@`g1#$`|BcQ`5VD)9QJ&r*? z@^kLu&fb?Ve>?P;tNs(@GPid-x9eqp>3rezdC%OzlW*Vl+|~7S-y-7DK5V5)HWaB- z1l*Pe$4Aan-S;=3a?Ut#_iB<+26A^Fvqut|HDsoh178cQ7qi z^w;%hX3@}#a$)a~M~x*m$2UEAglL_vg#iGsDSFq!<;#&DU7ZtjyVgA{NV~?QYJLmdM zultqgWEYgkm4&fI0SM_E{I*%#=G}~-f$B5Q!4X~}5mPv#1~p_N6CE}p%*n1mDWIMw z#zn);>WCLMTIhvn5y~&}29LFCli3yK6V3n;Xe40(VJM7@rQ>JBQLU~S@P)m7NG4nKMD2qjLBKM9>_d9IJ+*)fK~C&jGi*f zuuQ!G&Mt549z-S+xUP_GkS-GGUogh-it`NO=@kOYfM=4j=nT9D7~ir{0DgF-8FK)^ zd2aCWmR0pY4Pq}>E2RXZsA0kIuu zCbU_gmd~IE!MXOta9I4B=9l9URI^Z(a_$32?Vi|%%C3G*c1HiAc)7<(<#zs*rw@}l zzr&|?W_d9!#e{;6wN!y&qz>+UFNc=$85>$g=2l-X5RMDNkL zzvdb-m|AzpSE*RPshm%hgfQK%)!DvM?&#AcFAc}3aYNXz4<&C&x#Q6M{^ zv!fg+njV^rPei4_ScoA1o-0etA=cuw4$^+;WLu$!F+4~Y%S8Z6*a~^1*%3hskvK;( zG~!X3F1FVl>2)gY{!|olbPZB8Iz(k(e+Y!R7cH#6#F{(Xlj$`4@Ae5=%^F4 zwLvLGHzDYWtr=SUw;Y~eXLJDm1B4k`OR^L;+;MKh5{6kdM@8jKQ5N%Qm9p)3ZnxEj zUFZ-E52}@4S(dx5JQ_D&htc=gYir)jEub6dXs_)uImy!%Ywq2mWWDwqChPFcB7ALy z#0+h76MpHO%(-KT-TuzSfXi#^U|n}H2gXhlU}Cl9wE!VkVi8EfZag3X+@3H^ZGIMe zWF;!bE4~fURqKpsUCxSJgdYrdd@FpI)WgB~N{}7qt3DNz2(Ijc4Dmb&J*SM&7|ZVRY(1bWt$wxlH^=9qb|uS-}&h#psFehdC#n#8gQuck*}s5kJl(CfkE zc>l`&_A^cT6uJ%n8WT_rr7&k!W)l16WW8>Ua&KjwV7ScZw3Z3Ya(*oGhTRh@rzRJY zF-0NzBR+6BCOrkZu9W+(>M-PN>J>QF>mqDIB>O8M4(isCG(tz^w|DX{-#L*)yK;`n z;!+N8uj?e*jm+ix^Ky0#q*(6hty zSFZLy^)_Qdc0tGN+G}@+$fbK9+0xIAQ?U1l(;%X4zR+qmBVz!y(QMnD9cfcbNZ^)u zzi{w(jL@HNjdurHhrfWNQ@e%VPOA137Wl`le%#cQ`BF`2_bDV&5h<%p2QA^N!yKkr z8QF^RI_XMwU@8FKhQtFz9A}-;>w;i>xmygv%?xL&eI9SrWplWL?T}W`3}*RBzfOYG z*ZI-ti_p;DRGS}#z!sW71cScFJR~Q)7?~sSCbZGP#u7e@ATre2UrggU-ePOEL8Zz365Ui#<9l{pO~&Z_4BChlg)BeZ zKfDs$J{$(ir3h4{`hSCENJl`pN)Ilmpc(3o`0Qbjpz!hpTPn33^&|3;p^%{z-zj?* z^LLTK@G=8x;oi(Ji8PL^$T^j`|4Div6*VhIl&KS7xd%g8s>N{|=+SC&FzP3yaO&a& z33>nq@WR-HO}tS|uI+QkZ^E1;F!6{mSx^vi+AtS;UGQFc9;7o( zEr}~_XU`~>zarSO;oscU-^@iCNfDmNAikI9kQD%s_NxAp706RbZt4$S;J+-szSGgkTNP3N)2sMJ@7FC~oBee|ty-?!a zkKhZqC4?YMBoBm_-8Vf-#bgk^)ZoT7ZXpog{8K9Ms&qYVM7U!92+GHx)3~ttRhDZw zE$g#2k7_88MZGiePqtg1YtvtSJ^sw(r>Ewr!ybyA-8A)MY}{fahMTS}m!NDSXf@Fe zDkOW|PxOxoku4h$LBTFQt`blzDj})_I|m++a=U>$IV(ef7?DQ1VadLPGd$+FFR*HP z)7b6W;lnyDd)#nC4@|l5n%y|o6lOQPr(9rI00zeiN0;#_@mE4Piebd))jh8@#UJ6X zAoZT@y)a-QWYae4!u%Y^%fg(#GtBMwy5Cd7LT{K2(`(*C>b-6-AIQE*aSuccH}nH= z>OXEcPUt@SGx#+7^a|v71fUB&{y|opSnhq=`1f!LI-QT_TSvCsAgZqfqeY_9f%F}b zvWZvNJeErH1kO*YBeg(NXpi;z7L2rd+^AbTxvv`v6a*1^Y}l|k#l^m8V<(jc~n<{xq*<2mOELB_#cy>3zSaeU&W{8_Y)5A)dNzdwSYGR^H%N5!XxCZjzw2Zh5eI_F)Y7lLej(rCelZs`KZ0*h~&>$A0TcM zw1a-?Umo;5Zs9q>^NURAz2Z#}GZ-z*_+aCCYE=&3J*siQr}e}_88)(~IgrRT#gyc9 z`S?6IJ;!&i)Wx$bEz=O80o*A4EoV}q*9IsEPJqwjP$TJ6wt2GiCL8H6Pd$j&!Wem) z!CW&@)wAWZTRwABGo7DJ!RZcx`3r{b7;+cP-+CA3D$qhL@tMjzFL2+)-yyGlbx_H- z5O8WA;0{OMxvejcRX3gArXJS|KD*B!UHK-vT4DH1IQxsML-59afM;L`N>$Ul3qL-f z19$31Y@15Yv_sFNE3UNFaT{FuEzQH1D|?^frvG(!ss8E4#Fyin6aKqwaD2Zl2s^9kawrB@3qi24M?4Qc!iB>9IHn8o3}KbTpK%(o4{BK8HM5HAyI5h53Rm}5rsSI?>`IH#d+nmPpEy()FLv}nY zWI$_NXuC|x9&9K#_K%mHECkQ?NOOLO1Ns{D=t$`wC6R+PY6n=tlKN)KWgS{EzwP+Z#C@0h89FlPxm)_lmOALPuN$ zkd`X0RVVnx2lGOqDrPf>dHX!HNuE)xs}-KShd=al}m=%&A{<{n--EyzCC zKAqm+ZcGdf46Stm0o){Ps4x4dpNRtx7~GqGFIgmr*#1^JOuBZ{$E=MB|H%&+bWPSi zBeZH^gc#cXNzj65w8*zz9nHql8m+10ZP#f%v~5lG4W5C$ANJp8Hk_MCm0;A&9L#KV z%q-N*%+xd_ObQO>;wG*?Nq&g)vNE%>Gjp)AvT*z-qz!rp$rDXdl1Ge1Oq4~ES(25L zM^utUjDv@hLsCSXhgF2*-=d@-3IG2緹-at-ot5*y=0yO?EH77$5xF>)Rn+K&1ds;uKnT%|R1i{9EYd9aqvMBi7 zatz`{o@$*H;74$vMqAtTFQaeB$s1`UcPFk2n#PQB1}O~kMw}{V3%h8j=Ms@fa$Z=> zie5mlD5%k`ipt-MQeA4+*U(ndXrL}&v;|%c+C&rvZGpO@H4Uog85nalps`>y`}7%_ zx(%wY`xO9kSHVnwJMi`So5Dv{FdzjenzFFun05AvnEr~aC`AgiH`R;W?8z}ir9NU0Gle_#bNQy&nf3Yh(kXo<&<-Q zh(W_A;S{@vz^RI|EsbAgpGw}vXz({xV^;z%6UhNkyT=`IbHh{hr9>8K8#$xp?Dv>3 zLwE|84Pm_FmxNKxzYM@xgIu_%O$M+d8sLyp(Yp%)-JO_o-~! zYvQ$nV{Q)b1J1%yo8W!v!JyOwZIr=fg&9b`esw5aPq2(%>MuFBgl=0C=~~`7dAkl-s2Qtok=QB>p1u%|23a9V26c`r;YCUkIfg5;eflmRh zOzR=&As>x#wUMAe7bpe6;)2YKGoVjcHxcmU*`NGB;}DI}ix=bE3NUR!^?;nS7DZJ` zC)Dgre0_@b(Qa*sR#Mojwndp-k4Ia^$nh(WJ%ks~)hCf(HO6+b(~e91*+kIf{B@~S zDvm*AJ+mU{2CtIhO+(r`+A+B`*!qC?^3emscDb9+^TbRue>vrQOkj=!>>Yq^^-fG= z0|4utkBRURYy8$ru10sn*>cGR0Sy;aOAWb22O)5mvi_what8^VE!Z6uf(tw3vys|H zixD8@&Rr=a0^8bUK4EFuCr;QN+rilM)^+SuND!oc8BXvo!hQ(!X9huIh5>~2p*ms^ zfDe>CP1D^4Sbpi;Tz4mqVOv7{@|UW&ZxMXp#sMwfg}?!)2GTgb(le^fIP`N zH$T0$hYxq1Zt8+0dw#2I3-(%by`&UWKoCJCZTa5Ayr2V*sBWr)(qQz#cCed?z>=mv z(!3qfyGU1gL3?Ocm!bUiW&xbo`rt*z{_iL+V!$}4n~7Z^NIs^ZW5`b4zGH|^?7-)M z6-b|9AR%zuPPk<1Ive~7x(;p~x=#y|u&NJzR{{9%#&*C!zukqP>DS$@U8$g2m7DUQ z;Hljeh;W2<1Vc2}=Kv;Hq~z6s_&@;aLk{>1jJHQXJp9|;uE>oCAn2=j_g7HhpVhmAqBk%v4aOH3FMoE;>0W;Csv|lIPi6^iAxmH2qWK(w@9seCF9=(hebJ}! zMwe36FG8ecy+8v22TnI5K`yboG&ilraB>RWKQgYMj4&qY!71Fs2B(u&b}%rp2#A*rA>E4{$tl<4IX}mj$D!5?@%w1yLk({GY~?(kfZ!F zMvVc3hGY%b6b;uOe!xSHU6~s;U^m6n_BD(?A4$V=B4G7h`ofRm2`;j`fB%}g;Ta(A z*n+nSZ-}LD2HHNX?`I6@DP&wLC~ZpoZ;yXFy_M{eqP?R;`bBiSF-Q7k41V=X-k6Zc z>3(fJ2lS$S{1v(J2|AYpb$NVKg6wt0V%8!ysTJ%u{{#FlLxs4;g=joGBpyrP8YX<}H}AQ8t6~iL+V=BFF$g3eru0{#SG;m7(tYe3hZG0zyfkqWk`5 zj%x;_8e?iBE(f#}fL4Q_0|8L=sO&)s1+dCc8l2!!`Lc8c2NkxE8z6uXx(y&wJ^IZ` zMiR zToOC#0H3*5`m>Qw_uD|W;1;^;41_(p@I;_je?@W5XFr2(9rHpwWt-k2 zUUGwYi?q=!3)KNwZY5(Eu+P|r5R387p<5_mxGi)ZZ0Jf}eHo~vqFq_$ z_AI`$&3wB~i!4=p*j4M(ZZ5NXx}WZWc}ovV_s#VJ8v1)OpFG&I!$51{42b<;p_cL= z2j((H97u#X0gb_=FSo(r023p3i&R6oGoM0@!;gj!j1QR)wJ*}NyS1J_Va39nuFYYy zBNP%E8(5jdIEZ7^lcX9+@dB}gNiBK}zZkzZugGsN&9Plp@paiU7H$?D0f;+^W7K0& zt@mM>puqxAj3zkponb6?)IHJ6q|qd#(Oj8ew}P4bfRjM8Yr;m&d;eC{Jq_G&MMS)+s6z~|GLX~3Lzu(E-Fg|u$z;-?x%gN&m1;&rYrS{k(_qBlEiK_bh(z^iNCM_v2~(Y+?BT^Qc#D-gh%rf~;7Yx8+Lj zv|Sg2$Q7)|&_8wI+7m$^+`qrDFkn_)ywqsRRL5YS)3+KSep+g?Wolw@&9_D0k{G+( zy+3AXS8Zr{7Sg?K(K*MwEEn&}3{8IBrwfhUPwj z*XM2Sehd#S6u!EA>4z;MGk4bi-`^^HbcXVgh}^ z4v!i0-J8#P^q&RjKNHb^c0=zT>kYmBuK}%#F92HxlWm?I(R(Ig_3V!2HTm~dua@aA zd9S{#@~`zTJ>x5#vXF3MYrq|u6=lXt;s3?8EadyFJKGaHHk5=^TPk{;YM4AL zWuK<*>q+-g=Zl;Cb;y5Mp$b8fDPFqlOSeDWw&1b;S1~?Ep}#+)^S$P3FIoKA@Zbsm zEz=)QXj%L&WvOOw?Bu?U`^9{=Wz_2*Qdd!r%=QZ2SmF~a9&;*FpG!?+MvlSK)4i7p zf10ywf3-#2QP|cn(`YGw-t<2HPhs)3G1V8%6_0wZ*0lYred*(u|6KDbBdRajIDTGo zcFMfJGfQmDHGjNYeXE;Q=!-|$%uC<*X~@=Z4EXR!^6k}N5fiTuZkO`B^xsaoH{DLJ z{>Mk{D(*1PFDXkePl?N)+;`nxaOS3;yS}}8sQ1ltm+wxuFB;ctf-md{ul_nieCcGn z;Jke*vS;gQhW??Vr+JfFE<@1cyD>T#dSJz-YI-iyc7_*Pq9 z^mOz2`EHS!yYJ7m=D4{APxa5d5H*c8$~?7x)h|(xzxiyx{&SrucKvV8xVgPm=eX0f zWX01PCp^`v3R~CyxJs&TrFIpYpIYRJBApaVu}v|q|Am|Wt#2+1uKTH3d2+s;z+d^V Zhxk8EpTNW~$8BL@V9KSc>gw;t1ppjKI^F;P diff --git a/pub/dissertation/dissertation.tex b/pub/dissertation/dissertation.tex index 75e5703..a5b5513 100644 --- a/pub/dissertation/dissertation.tex +++ b/pub/dissertation/dissertation.tex @@ -101,8 +101,10 @@ Word Count: \wordcount} \pagenumbering{roman} \chapter*{Preface} \section*{Abstract} -% TODO -This is an abstract. +This project focuses on testing checklists in flight simulators using formal methods, +whilst gathering statistics from the simulator to provide a result on how well the checklist +performed. This dissertation is revolved around the aims and objectives. Parts how the parts +of the problems in designing checklist, research, and development of the Checklist Tester will be covered. \section*{Declaration} I declare that this dissertation represents my own work except where otherwise stated.