From 48db7b70201d2b40726ec96f6ada75f632185844 Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Tue, 7 May 2024 13:35:19 +0100 Subject: [PATCH] fix(dissertation): typos in JVM Languages --- pub/dissertation/chapters/background.tex | 4 ++-- pub/dissertation/dissertation.pdf | Bin 72458 -> 72458 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pub/dissertation/chapters/background.tex b/pub/dissertation/chapters/background.tex index 969f849..0ae1d94 100644 --- a/pub/dissertation/chapters/background.tex +++ b/pub/dissertation/chapters/background.tex @@ -46,9 +46,9 @@ \end{itemize} \subsection{Checklist Tester} -\subsubsection{JVM Langauge} +\subsubsection{JVM Language} \begin{itemize} - \item There are multiple langauges that are made for or support JVMs~\cite{jvm-alt-lang} + \item There are multiple languages that are made for or support JVMs~\cite{jvm-alt-lang} \item Requirements for language \begin{itemize} \item Be able to interact with Java code because of VDMJ diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index c270d5305bb9b22187a9db56033ed579e2168619..d73edfcc1158974acc5dc0e17265bbbc53778440 100644 GIT binary patch delta 9640 zcmaiZQ*<3#*lpaXjcqlyjmCD;*tWCNWXH)4c5K_W8(WRl*tU~<#y$7t-2dT!`_@?N zY2sURj2Y1k6VVJ)D?Tln+mksI zib*qK+Nkazu&jm$3rE#k1q;V_9=2v6IP#W^`E<438tFdG>d)hdvYGPkmu}#nW??`1 zPkAv|$KucO5jYZ;7cOi2fl8>aZ-Vba@2j>G@~RO=$Sl!WomZ%uoY+7^MKT!ls{j%+ z!fG7O-PGnM&}u&`fiPr<`%5MVPX0{!N6D`onWzCJZQ?D2ObC_`5+V&y$BB|2ZPDrC+$S1#<0bo9^1el3O6 zdpJ`V(Q`CkBt8hh&i6URo)GLO*H=1iqe^y}rClKDWuRA^gk~!+>hyqWj$J_N#Pdj$VZ`d zWZtjW)aIWlf?tSYON-elmW8u2+b160Z%awmqnI@ub=Zmc7Ev9K=4vYj#^}mm9xCnv zeXmA+9H0Hx+F+q<&hw>o2ky~s$Uec4NC`Nv{Ns?rPMi zY!T0zlzRGfR3tOjQn8WJOW-SRyCI`Y9HmRmjYzd;hG+*@4l)B&@yM~DHUP3%EE6tp?paS5} zuZcML^Q8zy2IZ)Y=zv9v{eX$@U(u(ohRWQ7*YIbhIClhO*)QsTkQgAaxKIY~m4v4G zcg7i~hD5HI=?$tA503bUiTED$tqdX_Oen-1Gzv2IdXDCcM2Rz6rn5uaMKfl%s}DoM z#=#ImUE`z_?Kj8JSRX1f{ivJFUXuk9W?4o_yD@64mP{qerhEMgp9<+M;4Omczo^eS z3CZ4B!@XZ*(TMcIoV4TCX_BGVE1CRiZ#l5O9dV0%uagG=u zG^Xt(+0T9<`gRulFe_SXlsuI1(BlDNg}PcES1*xXVxEqyZKp%N46CX7p4`e z#G+~m82fwm1s%F{VYuH=2{-cDylJ6-GYPS!&sedldV;*-OHII$2@93e@~aj2W+=dL ze*JspG81k2y`zMrc66PSLwrIGr*gU6a|2XOIN8|MYm5eM-Y>6RZT>zAb00MiWWYgZ zpzjaSyyl&w>LIJ}7l?EN&gf8Jbp6g8e$4C{!>c1}W7jeva=FaO?s6wZWmz9enOI(| zVpmAfo*ir{%Y~V;#9@VwI1e7OaSKp?B5RVYSraefdhJmI3`RbSiSjtbs^ zdsHI3Dz%2kyj0?L^zWi#h97nG5O{I#IL0rIwpgH$~|h zNy!3}^ZOuZR9E0HHForF$W?wm18eg{sF+2pJk6?59n0-XPSh-GTBv>A&YXBD z?69M-9}{z`u2)--*s`SG?_)P_KE0iBZ*x7$!wDa4Z{bA6#+9SwHYLkACDu7Z;sEj} zmpjIju%CZcEGw0Ay(ce$7{7DYZWzH*y@Z!a%I$xC7hcqR8OqjBLg}n>+0FLPw5-F4 zAf49fY5W1LxI5fFw=Zi*S8Yi94%nl9IP^NgxQ?!^BR=@it%s*B zwV6u*&5!=#mb1RjYM4~uc#Zwso}8oaRBG>2J8Ng^{gmn+GF|de&rL+?t_I?zLe1F~ z=-{d>;rn@XFlxpEzXA!J*T7C#lXAlO&m5|P2uw|!QO1^41ZfAt%#jf|)T>jC=vl8P zjq>i_oFO&FHE{(tkDM_8Q}Un=B#|cUXd}9Y?5s+{yj=6-Iu)#vX6$U)l~kesXwpRGcycS40->1s+EZqOyblp`FdTFukZiM1 z4u|Kn4(uP4Gf9-oZrGLftV0x9kKUH)3`ANchJv`+$^zP5(7Mv+H^}+ag?y|{%cZqS zLgT%0w?*)PWq|cL5gB$l=#U=}Cp2mXd$iotZ-F|gxgQgk8IPX&$;!q>_bv3HuBdUB z9|Xf==iKfnF$EZ4wllwx#3wx;6!r>UI=ag&zJ2CgYX9*?T!1J^8D@SFoTy6 z7JgsjzLL*LP>i`A6DOuHulwJ=+0)Zj!HtE7h;zmQv#>A>J7kHB(sGnjHY4!No2HXl z5f*1pQOt+pq$_68=R0eI)s54L79o!RR#7wMVb3OF!0kaa;eC{LV|kFVm=~IQk&%*w$JCT!<}C_AEj#wABta zB%`ZS&rj%v5u}=gIC_kRD+*p7Ae)d7qN|&Wxv@Q>*Q)*>ecK=wOt>u{pac`Y2yuv=sF`O_{;nrqXSw0YmN;CGV(=%NeDT>k9J3hjJE;m5~O8oJ5O* zdf;-%iKI^T@R%gB>k!o5FxY&?bjR`7RS~aFVcX0@9dbcC)ZL>h z=VAoL8V2y<9D}M0b*EuznQZIHEp1pM>&phQM{hP;56R9{L59@_#|~@?o|(U+ExqYS zf;?sr$8wt%$AW&*1VfFO4us4Y*mlk8WVGVY_<1WdqpgmrhTyZYSTPq|;yAhFVM3dS=LzrWqeamEwh zFL=Ha7WD|5LsV9!Y$HKpBxLH-{C{A_Z`k|;_VA@|gq}y#j+DKgXt3fT>S9&JIdtLm zQE+;2DUR>!G4G#9IP|CeUvElNpbYGvd8+|!QWfS1&=tBGKacLMsA}mss$AauHL3`) z`_w%8cpLzz2fA***EcJ941^4OzEN)=?0-4M;Mi4I2Hx*yzGiADCpPk0Pez3nLXDSnJ`ngjUM~|m4nzC`6Um+PNlA768_9Nb^NId^ zr_5&%AXgd#{f+GtG#?FTtM?_f_su5+`ADN3U&mt7P*Zn>-|-yVkFf8Ut)Vd{c`y6# z7rD|O;0a06NZFQz?&LbFyK3pe#`G99rWH7SLT|QYqWudjl_52djpaWwPFMp6vY>`u zdPf+vuiz^Fu`!XxAO@mAcriM2nnhSkWaLinMsVtAb(qoUG*P4X6Jx>cEIiIOw^|aw_ zyx(tKc(V&PCu+y%lKL}3gw(QD86k;=1Ig34Y9~c>mqo}-#^5QpX+;sairb1}1#w8h zeE`G(fGg^0K`jC-0t&l={yi9D^9DecWx8?2~4o2a0;JH@;! zj}d~Wio7xk&v&*6Wp4!7L6{Kuq!eXk`4JlbcJT>#ti;k16EQ!soF9H<^rXTe?4HV% zU~bjQFi+(fHKaAbx~VA!xZpNDbH{jMX3V4eEH>(0&lV7EwB)f%`}z*4y}!rsFL~dL zX@IQ%;VyB*W|svuF^L>>s43jJN zcgd{R6rPer{aQ&$4v5_MDT8v{|uRSmx@>?5*+_RqKBn+Et@_cr|M66^0caf@+425H&>Olb~5}!flp6*xq5*2xv({JJ>lKIoi&p;_r$2FUdvbtNd-28o~!Uiw7{HYetvo}>rD&vL~60S**< z7MRivXmB0GIvQ?p-zk#?Y{eixN(CCsUYD!!)I-YNQZ)55dc-rirW|Xp743O zvkfqUb52!HgnIPVAZDV1C45im)Mcb@**=5RWu{2A6bFMo5jt)I0jcp^#?$K-qWgta zZ@rCgZ4%lR&FptA7P~A=CF_?s(oKKw{^iZzoCcCBq0F2dxaI5~cmKtX4Hd3iYbKUD`ToO6xcAU8na@2mXBmSo zb||*#L!#y*FbGgLSZzge$GZ8d0$Zk|Y3Cfn?n_P3aUt_{G=NtV^Vo%HDzydnK5Ik< z;b$Bc-yBvQOIq~^`Oi0>i>kN>np?xX11C@65dNvLXbW%RJyHIVFz}4*Kj{Ku2Q{o& zryInfu^3xcKdX~Qr#lknp$u`J$BFr)_y95@uRwE4TLd8({Ob;9>#JJ$qU1QcH$rxv zCpZE2D62pig_HLN>TcK>dsBSJ=cO1?5qpc?`4+BP%G81d#oD0mF?7E`b*}WD_=GC` zP+tyEW3%Mpn*8w&sgTr(^)JqxmNY=l|M(+u7M#I?DzW*DDD0q771+BRjY&pDsV==? z-?8!w0+L!n2iaxh$4B>;PX~$w`5)t)8D_L9gdYe zYqp2vY2nSb-&LRNUjR{>gK~o1i(Ob1Y8tmbkEBND6DF;gDDQ;~UbGzE3 z0?KI8LGdtkK$t{w$uX!js7473#J=qGV8J=YBY$~Vx;O+`Dib{Tlk`HgInp3p&}O2w((G0kh^M(d%TnE3B)P|+?a9+ zooK0Ag0dyzFxxyYGkoC|8bTB0I>t%psS^`k=fVt-o$|=sN$tmUY^^2S=RrRrD|)*^ z8t8+qwQM$rOohk+zdWJz8~4`*nKNt$d=I%mdbkg~dF!nl(Jb1jK?Z7-i{#O~wS(Wl zCE-J})JV$YJe;34Gkj6FmezR9`|(em6zLt0wmE~n23-Hxt)lN0XPg9m z5z#zl7YPzA!Pc4@$iw>|CB!M%_Ol>|UOr>-c|^s>G#?|9vBbkd9do7M)fU*&r{&c} zClKCTrf3(1A=r7Db?qdbS(+Qr@dkd{bJjQqYtk7z&m`=_bDtI7^uY)3?FOw+`dA1E z^RwTM0$_SxM#sy&tEO-^*ppbhDaEE5u7V=VH z&Pw&WU_<;Sb;kv{}$mG!4ZVNQjU~EWb~MkeP>1 zbvm`3&{MpSpE$E4EN0=beeV$bY~2;M+5C?m zM!_*d`^n2<4+o3|VR(*Z($I$nDzBg-?Nmg~C@ty{=`@Ri7U!tudlw@J0Z18ma zQn;tv_q}`V9;lx)@K|%<_Fnq-{<`*^wcJ@MYSSS|t?bI9t4Ckb^RLIS0b@#BdY^n9 zb3sp8hsGSqddl-=q+_OIM?$*~^W*mP2Ol!Y#aX+`po&Vc6T-#z;kIdBY0s@sN?a#0s!neR2^BQt8Am`ZA%V2Gs^S!x~- zhmA9~cy%A#0{k2-eeeBrl56{ozaB*|Y zLX?OQ$mA6u1n=1p1!GET(44_Zuqz~n3f1w}e*PTiga zTOUja+SP>kOHf;-rW-WSy|J&~HJy7)ltmHs>t3W29Z)F@I}nl`+}haZ-Dur$sYKr>=KNKG)3lp|4c8F@k7yfnB2u72d zZW(mEor5+S3BP+q8n6m+VU5QT#~gp>gg>6y*rbh_3vn`A&^vc+*Nv(pHL`uaWhRX^ zodMaIbgeY@d%1YkVD}R2%oT2cBa&eiu&WpGHJ~bA6h@BG z{ic;iWN59>B1XW(fCEOFme?Y9i8~DK*P~&=9b}0x#_XpFRY5Mmm1K=F!5d_Yn54Nc zS6g&APMl0w3hEy7X?p}Lp_)v> z#u&1vA6~GpR^m@8xn_4js72XM z-pkinMhL2%t%Us+f_Wgjx`7FWuWb6=+WYu~!{va~b7BZ@`w_BZi1muid&20v`$9h4 z4U_;o=<=+syzAavAPLJ`adcf%I8f46{X_)}Q#b8DQKp<`FOyT5(`wL;e@`@5lGT;f zk~JJt9@8EREJ4hs^ExlqgjK>4(700XRr_~v>z(_juTdBba8y5hBI6hp7^ObAdg=O23Ec+p`oC7X2VGgObL1L76LL+ZIX6Y1L~d_GQWzm|TXe@5XL4&Y31WpEz) z1bOZbn%^FE@(QP*KL_6_ju|=4`t~hsA*$Md4r5K7iimvQ4*yhpXFi($0_r--3J<^A z4Rq0+2P?f#jo+so7Wtib;;kjVluq~#;jVPMX49tz^&a0JesWqy?tm7|%|siEC&Xyt z;{vVXWyTytsr0%-!;qRicCE>$J^T%1W?$o~1}%f|eSN zk6tR%1fRHGe138AeZDBX0q;fR?5R}SdLACUREFn9XPssRcwQX+_9#{5pc4&?UL?j0 zAH3cT^*Iyz*-s{@dD&_uvYH-D_-x=V4<{>52lu_8j#YL?uUuVuhg(yY3=fkACXcs{ zwnX+bR(b=hbxCV_$G5f4zE7$WH}Y6*74RYf+HmTJa*%QQ$B!ixf%W9yy44B7ZVeU| z)iqyML-kzQmNF~cMB-eOYUp$1&jmd~DxurOwZ2Sph6Twk1%yc@eWCmrFw575SV(bO zpD11+&q+@GZAsd`RmofVYl2t^A+AhRW%Oi19NEwUllr`LXzo?9%i?0M=E(MKX6bCE zSMo3Oe5le1jo<@SOCU_JvOKm;@Pyu>3mJ$o9D-_4Z?FGg!)JxNV_F zN~l~Ac7O=GHP9&*HQC~}kW{8_!=HSobW?!{Mzt)D)dE6>qAM{#FZx_u5<^nfOfh(a2-o%#hJDrKFCA z77?MHDo}u0rQ4GNuq-h#{8{A&v6|uH2E9Q+MQM!g{!qfOJpo!53E;@9M&(@o*-Acu;21m&{ zkZKe}1Fg5X+JahQJO9ZB^a{QyK9uuJeFBoCOSm|7sMn}%hyW1_CjO(fb7GoX8Z;#l zYVw#HzK#e|F$lNk&X)Qf4mGjFTVALyls4GpL%5w=E->EaGO5_vWI=$?V;aOGHNDHlGWyK+} z06GLHqc+Lq?n3K?krlqg z4pHItI2>$ZH+oKtm)VNctAc_-&uKe9tsg6!aTo~o)fdMH?rH1IWqYxogN23i`2=Hw zfW!UX2{|9nPm{xQC_UMoUi|NTnWeR#&26pSgj1!j$B)nX&j115oCC^t69L1CZebom z1z~QVAgu-!b^;|PV#1hM?HHWRN0zyT1@qga8#@qX@KsFu^NQWC5CLu=Z-LwHQNfJL zH=zS1w+hXMD&e@(n{o}P zSpCLN)2$NUlqP&~?e=SB26CY0?|@a1R;-cFx&hN%@@d27pYBh)tF=8lzCKlCYCe1U zWh;1!;%8g>rcPcyzxR*FBF-0~6eTQ3GGIckfq3c6ac3JW&gsVyhT>BY&#^N$qa z{L-qjx-ZatyU=+)-xyDsHf(9mG=Tav*p<_nc1>uDwAg9B1`dXBb!%^87(UGXIBiN{ zE9I9+UpqcKqOL0LvQBAyT$J%xK>NIDDKDt)0RJTsetzH202iliyeiKCE;23>U-^1| ziqbzvMM{W%f63-9@--)s-PK^5#X^96uHk3|ja36Q=e8Q<@H-*>v^EN}=f8hMay(5J z>?U|tacYB}f$yO?O?J!D?!w!{^mABBHxdHij~sCPjb$-+i;GtQK84mFV+v2%Fvm1g z%j3I3UTe?ePT%|MIfAiv19|GXSM}&P3w_QtszI^=f(5Ip*LahYxn~{)qx= zpvs+V`z4M-s|1I2ffZNX(n6&E!Z;J{HQZBH(ar8SqKB1Q)hD!9@L_q12M#2oD7%@d z8Lx!}CyNOe2e$<;H@hhtr!g0o1sAWWi7}_SiIBkm@*-sq2T~f6BZUzc5*Mh~7f6a2 zDE@Oamr_&|&2=EkKiuC$(WozqHy56UE}Zw!pV#GXZ?-|If&s-Osfhj4*TC;yL+Mg} zdaVo_?fG>{rcevch=uM)dIt5fxX*MO5w_E09vsm}AI@;ae|Hu>6fZS8Ej0xEK{(N`M+kc6K}2#w1`pL~hfDAf4{yU{h9@KzavXc6O=Je_(eivP z*>TGRvDa$LbZdNiU=t5uwW4cn6Y2%oUVr;L*ye@8y=}1`c{EyMxa}w4Z+T6qx$E5-oN|r0xTVn^DEl%im|&t<_QQXY#gJSoCBbKl+tpO zL~75Ye#yttVTFI6U5-T>Sihw@FD{BJ-q)Oq;F=qQn=4nJOShRT%DJB_NSgOsSXs_= z-{3=0Q6N-4s=BN_7rds016_6}fLPvig&L z(a!Vsk7V%?5Xe1+g-xwU8dSRm#~T*$9pXQKPQ(qBHRC##KoLlMKw6p%&Lf&TnEk&- i^`FVn#O9xV)!4<&%f;LRk(-s1lNXVSN@-ho+qSLVjcqr!ZQE93H%=NSO@n@Y-~T`O-lOl}npp?e z%$`|m@4eQ{j%tODYK5+sA%d)2N|qxc1zyAB&tCJ2vxDGqFCT6*s1#RhgFZ90pB;XT z`Q%=CD>mrp6eMv`s5lt$2pE9AX z?ZhxZ6}Thxz~#bxv~>T-v7$kEPYY4WTPX(bh|Itzmk~1pXn$)-qSyz=Lp>iamX@2? zpa?>?C5>J59O8*YrL3YLGVJ)aY>{1Fs8K_4HoC?i-fhXr)h3?Sne(_vz)5ILM09YGk45gx z;F&G$h+}D?N4y?cZ|QK9vu8u8yAdJzCmWF{0W}3-#oL|9igfpJzj*fhvA}aVNd)3Y>dtan!LAYN33^n- zK_OBg@IoK3vdB$2kf|)r=IDo+W(l>W0=)cl_=%^wmCZ^y^r@V;ztMA$f~DMKVZyd8 zL{^Z5M%qB2Z3M3|@6Obr0DtT)jGez&_Pqa31 zAOlhwZeqf$wt|1JBU}{)8xJtW(p~{qpXNU|YfxH5b1F@764b9Xi`OGn7yn@n25?~2 z1)&&Z9idWt_R*+dm8;^z`*PWE@2705!uuF;97Bh)bqz8lG|>#97DkL^_v)V)h>v2S z`pP>Lv>Oam)h~9VV(JOa_P3~LMeOp`)9l_T{?2PiMS$fuR>$S*c;kxXC9eWUO@uR44t<+b}!T|dZdVb z`U0Qcs#vk|vOJz{h$wLXFN%fp;IfMRvAjwlMQE*Qe2qxQ0&i8tRttU+Q0H`{a+aN7 z7#kxwvTT~lKlANcc~?nKUA}qd-vib9Sms=Be+HvrDb+d$L=%#k}CA1o3{vc zJQL~yT6jiT$?@I*6jRC<`E&BVqrdkDY{#Nk>KJ^F@)zBr3G?jOhl_10wh9WxL)D(SZIPcUw?T9wHCL zv4^A1f)PO{PnhlWSNGJlbC_ILP4D{$#OvhR8|CRBsg?OL3I~Ku%-Q+ zo8`EY%PnDf+m6vVfcX%a)K)8{zQp}vytQzwx>Asw1B%(2&V^*@%iL7q!AN8)M~(PN zFF&(dj+p+J6<06nHM`8~`u0=CtrgiQN&ceAtnI8CnhUuip{YRXLjCTWQQ5p#TdqDi zY+SadLOEuP>EDNYNlPY~fqt_y;&w2|PHAL@`AkDJpn(b@U5 zLN-fZ$`=Q&?QF_0gx|hOjH*c2SM4gxQ9un2G>Y(cx!VDhjuBC$mFZ5$;7LeU+QFdi z$S$1z4C1u%SYD)i-ljLH41N@x#@Nm!@3g{`L6XAe~xW+vfc$YM)sA zXV>4+2G>`G?O^zu(P%`Wg2opQngbL_wknX_lw1V`Ft-{RUaeJy(>``8pK=bjY0rD*4xHVQpW%u0%Z_)=KH@a4HC#`>md}y~wYsLg(>MCjK*Nak zM(2QVfpMOm1|H`h=S4rV>YmXa4Z=P)RD}9G)urC8;3J}I#hIk_*HDl@-K@*g!Wo7< z)lNg=zx~<%+mwM+mz>Cm)pSG2#|wajg%RD{T`f!;5WP1H7N??u*|1^vdXy56ki~8n zD@o7`RuI7g=^HGTndb`_w#X`Y0j~>h1 zNPxR4;7SoCs%e3HQHF;}h%`ki2>xMN)dF(4R{nHVz?|~MG8J34AUN$BOwhb^=K@RS z^M_Y#&pK2x;@+k3Q%8v8+V+J(XSfe!9b@$#E=r}x7>E9(lP z?~nA$Bg~RM5lGhRz+`eO?BrYnT7ct!s7~6o3uZ$f+kI!eTLVRj*d8KMxa$ry)E2e+ zt?7NwRxAgJ2b=;TJ;_2$3H`LshkhN=S-3g{S%DpSt;y8L)wa!z^Ik=%{f^2!8@EuU zgnUdPW%i*iTMu;8;nsm2M&Z|OQ)e&l-oJDU-i-soe7gapu3kgeJPsHfA0tv&?Rw|L z)cCL8TIV&!4%SSja|XYEtw(F!sQLw~biX~pP#;^ne*QhpTP<#Ms{lrbZB7PL{zT2E zQEi@xd;rlP7|U--Ry$jX(dA1O@KnK#+@*0RwYI(uQHGuC_#ee9AqjM+qvqS&5yGDa_mZT^aajFdLvthXHldU1IC7RUXWP$&H!m#F zf5o3oX2YuRbh5i&la^As6xbD!h@fkzp~^oQwMtyKpB0?;MWu!KO$slHeSG-vdOG~0 zw)YHhTzT`~cu`eXA9{Sal!2apWde5KY@a)Si4zNe+s8n60c=VjJ+1A~ozfmBwM3f- zjpAHy;GD(+kwjv4PMHcE;;~5H%?MJj)H$z^?|op&KRW{p*Wzy1X))$~OEX zF`D+E0XEh$R9s{Xg}NbF6eLOxKBC6P#$rdzXTjhA!%&}BWF#1kpZt4><4XJNB-mAl zvDg>;B-jtjldYuBYs(=^r`zXEQnKRN#^9l8lE z!1h1NrEEuS{ztiY?9MIKH0>m6YIMjKHgC%8nKDh>baknYN=_ZC)0vdO2* zWDEYUnx>iYc^U_sfBM?9D6hOLKhjJ(S$GZ~IcI({EOI9SF!Z4rkT%28_tKV7y5BtW zx$ZdOahMQr9tfMGIY}iqC|RM7#-VH?Gay7WsYNq$gP9z46NVHp)$NW&TP$HJJwI2{ zs1PtJ6VS=+L+o&z>whaxhRz}Aj^{RuF-I2@;qb1f@*bZrK_+F2tklV=lsWZig)3N1 zgO(zkL>4p$_~1#I5J)*K2m6OI&=E+95lFHBnC^)-Knl{i@AL-;;X;p`10&f5i7 zG|it$&)cx+;PR6oOmgnzg|f%e*Q>(4v=1OfwOg`LlUZxE$2`1KzIFZaue2vgBWCG&L`l8*tgeZLi%!$?qo!r8WXR z)LiekQb{gEWp`ULfygEkPw9EcUxzGHrJQ#4(q?xj($>!|rFIsA1W}C) z{4~!-%RUz`>)cKv_uoT+KNGEG+plAutIHjU1Ktb3*5vJNeVT5HyXg7;dJ=pl&(!<< zj!F+GU2@to7yYBQ&j0#SE#}z5t+Z`_JDqt#^O!+$%>H`klFY%c=({{EB&&h}AA*yF z+G5WPQe#I)5)aZJTAU`2zs01PcSeE-W+!sDS)1ermI1!#)|sf-VR41%oN)B>keTv~ z!xZxXAt(WiLlT@q$pt|jVKWa6n#~SsN35d#tZ8K`v>ZdlUiJ?K`EtV94C8+Gj$}vg zwx-cE3i`Js5Of3Q5ny`o4Ic=hSrNBmDWzmS4U(8X=)y&S_Vt4d?XuO{yGBXCbk+|{ zqH~=3jKXlMQFaG%W2Y^nB$zZ$L3K&>cx*IJ2g@Z{>1+v;v3PR}Y}P}*-K|C5+MDrJ zo8)cqL(`gJhIT)=ubd~}KR!*9>=OT1xIhb92%h8$3ku+~zE>j5SdRn0FSxexTJ^;oomv^Ki~S54)}l#3?HV}i2q%XPHn;zoNN zeBGFJHC(1W8VLP9wEd3#ipzS44Uw#^QggugQZgz56O*dgQqRG2 z#Snp)e$g~R4E5z1rf*dUJ5rjA<0?fWZh5z zZ$iA;fFp6xX=&B0nIZ1+x9YQIbyWIc-OzR2ZhW1X5gB+9D$4n0&?PMKElMh0x%e^W3ZOL7v-s<=kqN<|N{87jRO0aMr^c%3Aiy`*m%n zQ)XBtH~fmK(k|@B&S+;tucsD~!@=$rN7O`@>iMkEiL+N`RWvDf%&yEgdi05h{SToFY2@^ z*F+J%pK;)1pFUUCiK^2Uc!iQ;`)UcGGb~Z5mpZdF*+(R5(>`j`B9s-Q<_nqTBYRY0 zhVXMCc$7LbiRIh}eL*BmRF)eQDsXH^JxLnSLji=uf(&7KxE_!Z{48&rgsagh3pP_S zPg#Sr2;T`XSN2N__#@Aqmy~mc9rsI3+Nj!1_wqz@U_S_!GY|BqT``XwGl@GLP~W`X z-4w$*q)iEY6H8!gh9X?j(oFPNBIg7OJN!iA?b~GrE$XKoPA*R@I8YB88M*<8KT??c zh{+UISjo0FGyvcKI&k8)?GPJs==D8z=OsS1h{F;N*jSEG+Gcg38EtPv*3#PkkP6S| zm0I&`1e)8wF^)Isy?R=X+V2LaKE`=cmZN6!^sOh}kBe0|#1Bm929mmbreaR4Xf1nn zqWAL9jK<#g-@Q9e(<)*zS&-B4?13=2rm4*qcr$eEZb=HDH!;?C8#^z{yYU4<1AnPk@5{#<|;RyD^Z0l=lEKHoZ1GfH!G~dx> zi!KU^ZO_9kp@3=O6Y4(CX*jzwn{B0bp;=0~(7HMHjcEq2k55*rQL4$HAnfD?TUvnq ze+DR7;Xm#YcKw3$&s`?QXu1%||Kl#L_$4P9G2Hq8F_*vp%tZ|CUu-cyIn2o<5!tP6 zEjUeGrsvzNq?gFM)B-ZZkL;}QrFpLTWpVQIQhWJyloJAMkVRb|zK%Jr ze&_JhLc3(}O_IU>#0CAKvg+T$l9wpZoe8nU8eXnOe&J*c#+`XIk^FvP7Q`N#Ym@7@$HKFF zaQi*};-xKTWog4iXA8B9im4So?04XQq;1-@*UbZX{%>ttbnV=* z_;BBQ`@p-fwhY?WW4Ni6g2u36pRz&%Gjl(T4-{`S>(yF0p#FZHThS13SW;X^DyS?< z)8+4cK0Q76B&rEc7=&jGT?ETeHjAAFE6d;?sb~yRg)bsrl+-J(VTW)G!uXztjA`SA zqG4)K1_26m!4Zh@*%1?kgc69}DdJJO;=z&K;3hm-n}-5+`iD@AFUuKH1o#QYQA_<2 zPDj)q*6xpSmS1*_ZDb!}5tI8(&!CNK5W#SFRMuO{FxvbFDxCFv{3hn&9LF4K-O`d7 z`D~E6nbH7T`bw1JUR|7~x3}UwtRVa-LSdjk2B3I!HVqx4NjGT5_yy03 zCCl2)y^cwN${9?J=GX!mjPTLVmM3VRNMVf(MK++#t{S;luYXDmDG%2`P7u?7E)F9A z5_;pH@WC)4CZ$p)>K9@Trn!?yB2_fYOm4-EhQ$6N6u|E-oI8UDzJTY;Mm0pKFzs;V z1bT9qLUwom;{D0tzCXLVEX*`RxnH`k-BkA1n~l+$0c%!P~8gJjj@O5!c>rp@FhVpruZXlQ5M)!blgSDRf;-Y zC2HJChG?iX$!DgyJS6AS3$72{%1*zGfsFgz(ITIbV@6L&W|>;1F5`6=L$L@hJi)Is z*127C)=jpY0t=vx9fIvZq|L#Xl9{-f`{{bCumG~59mmLDs|20`9QHa`G4h~Vu2qha zT>2;Z1}ieiSM;^;{wXYciuxarhp@YcMr-ZNZ|H(`0$I@#x5MY`jh}VZEXlDaqz86% zy0R;BYUch7N?VR?#m?|n4&l!%U812n;^mb#{m4J?{Dr-#SY8HME3h2;KCrp&?(VlR zO&UP(F4Rk4@b!ZN`0y<*X~nGAGKwd=FN`ZoKHM+#aeuph8<#0ggY9^jQ+=m8Qi}I^ z-`(O&4n{hkrsZR=m&j@HWGCSY_PRfwxjOI_416fRUAZxH6B=t@ZOc1J9iCa=^9GEL zverL(ZS+3Z4P5M7UDC{`k~Z^N?-lVO`F7wnj>d;Y?>{~O4755Ja7LA}Lq2u3b_|RG z4q~-@nRc@p{Q1%yWvi)5rB9??;2#hMg;l}F--kp?F8YUxCZUq5`>k{IVHOj8bYu%v zN(mFO!tIK=x5@;|!(8GqjRC@xzo3d;4e zt3aq9Gl1QI3Jypx9Ssr}*s}J%7z3M+$Xc}=3L&zpW)vZ^T7PoGHv~OL&m>N*eo_+x zw4*Ki7sbGw5ND50Qu3y@@#P4yrh(m@O_EkFMTK&DEHH3-OZ+Y{Ogz$Uxg|rISXD9# zg!U;OgPx%$rvQhK&ZX?WdDyCd!6|W~6&It9ldues&&4f6>KMk(H~dYrYH=*E*Y1i+ znBe_w6;U687V#Kkihr?j3ua#W^C<=jEEy@p;@+DWmk~rJln^Aj58|+bJ?hVG1}Hva zk7c2GAutVJh$jX0eslEc1}Y^sda@s`^LGKt#Vit*bHyUHvr@`LoP?i5A+KA>@ZV^3 zp&@60;sH^x_V=0OAgU2hsHljduU;PL(j{S|84y&l52~=PT&-9H3i$Mid|ZZ%Rn0ykhrhA;0QNcZ#b8e5sM+o{9$wex52|Yk^V0GizAOiQ-a@ zV%|Eojdw|goLpQDKb`Z4-~_iZe}E&1@CQTPSnH!E5?4Z9Cnq(+k=)8%3*1Rz=T42dJGu#QyT|C zswy4N#9(~VJIrrs@+bu^F)Yj-INhvHOOse9ohud`Ig}R)AWF63A1}^sOtnuw?Hm-7 zhV$d_6K(@7-G2Nz*3S>f$5v5RCEHCKhV{y&VE%xab5NZg0VKRNLF z7U{@kVMGGr%`igOOmX~Dv;O-OgtB)#JwA6+~h}PY;{JO=Hg) zg0b|*6|yTkTXs!j_TYFkSbWVhdf;o2Z9_Rt4ND|^H@31TEX;E zo}zg(Si$Vmh+a2fJ{jvH&dK(u=F2vWCj~RuC@`o5#H%|u+b>2*&7WDr$hAm`P|(4- zFj#O~!{{mSb*Ql2k`6qmt*IaZ7kZV{=OoLENWE3+Desz$o?bO?Pj{DlH|ZtJcMz0F zfYRmUNPw34dO3h=rKZIkHd`Rxhf;AfL^&n-(W%=|rF$!2ZGrVM>w3l)vGvRK<#1?W zf~<_hjg+qWrtPp+bI~gl*McVux2VfB5?eQ^$VkY|8YCjv{I7hfoPMHQlE8Qgp1)R& z^<$0Z+b`Xh`=PU!{mma~O?G=C*8VaVK920WMVajm{(wtCEbEWw;q;z|Vc)9~3hh)vAoo2ZWziX>onVMMqgZlNVqW#ha-jk5EpugXzX$rj6NbtWr4ye_xL zzGgsn8X)6-tF{=DtPDpGG0d#>PGUW9dHCy|k|M(1(~&+Tu!7%_gi6#Q$M3&OEFf1# zJ0sI2cd~u4)bxD9c4p3>DO_wD!+BA;&O(n$zEdG-x1ElymNz>_(1GcivR3rh5;vwW zZz-V9dQhlPhDf3*vZvPYveM8~CX%QBnkm)E2(eWx%k~|O=<*aZ-2)GTS(KNPkC(@S z)11r9f|Hw@gWH^q&%(ljhm#Ft1~NCXG!+*7fBZ;4#DkEA;7Dh}hrkE!f~YVOE(@U} zqw?vZ_)NuvBH&FGjlm!j&6ND|e0(r}(xMntQ>uibCwRk=Hvxov99 z6zpuqw2Q0*_#ukHwZC)f&#$@yF_4~U~ZFv z`;baaqA=@3{+uf_wDO68kcV6{FqPErrRJvQc!8`39^$6`aHJuuG>dEvz=+vCiR<4B?6Irqw($o}}L!wYA1sGl8w zU;jm>HvHoXQZUNSg`{>&q8)>0KfwQ6^ewsL7)d);`X0+xES@u3>%J<}u!A>V{JxNW z7>PGQohdW!KJaxb#;zVK`j%#AfZ6+#lLjAZX=#@80-62Z#FiUr=Ujym02~O>(t^e?< z#j9@ap4sIn>E+1kZ|uB%M*le08|tt9Jil>w_x;{N$begpCwhxNC0?$d`3r@<&m$Nt z5N*#xLCxdEqUg~55bCR*v2`h4QT3{_VAh