From 28d4f23db9088fa0a455de3dcaa3afb2ed8b07d3 Mon Sep 17 00:00:00 2001 From: Paul Wortman Date: Mon, 13 Jun 2016 08:08:14 -0400 Subject: [PATCH] Test Sync --- AADLSecPaper.pdf | Bin 315203 -> 325462 bytes AADLSecPaper.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/AADLSecPaper.pdf b/AADLSecPaper.pdf index f5744fb481a12f78600d5b3ee8dbc41a27a2ab0f..5d14bfaaab990cf4c77feef4fe1fc3e96186e99b 100644 GIT binary patch delta 29206 zcmce;1z45K_CHQ{H&UCFj!jErkxFHQR(Ks}%TpitAEUa8XTsH+OR+hGAl8#;=LrzEm9~T(J zF97-TSD>zAl@H2E&&kV z&#WMbADV@5;!t;Sw9vA00~tbul$Hf?Xj^%?fsE09>x8RD5_J;|xR&T=XMd>_*AFFr zX(f2w3mV5i)ash*XGg!Z68fbI7z~0~=32qOrvPsaBLO-(aBY*HeE(VjsIC4DmLEX< zLk+mD$$obAQw3oNGJgi&@;LH4UYo<$)mXbZ!QHT`-3(hk>7{MKUIM@wXy+@pr)ML6dM5lSI+|f z$+N)!H_w8S{Xr2s2rPUc@Xyf=kp_G-yde(vbEHGEzsCRnc_eXj*5F7jBisKzLjTeY zxvzu8zXdq(56Ap3BZ>P4@n6vg46Zp;M0^H7>Hnbkb*%f33SJK`JvH+ORu(s*QNf-I z1OfU#Mh*@Idq}L7`nM3s%~SK`eK{KN`>_6Ny`gdU_Xxrb?e4!0zdz{>rTc@vqW?Dj z{-MWm^Vbv}v*QBXzYpxcRs!lh|E9zb_x-2fabMH@yAmeXGt@5!{0Dyfw<0A^vIHt& z-7Y+A9~$uc?D&_8^8CQ&*M!CM!*BnoqENbjS5#Q!-xU2<=>L0a@YdC0!AcEO^~!5D48-v}?UWyc3^a;j3S^N;Ry4FE z*2wGHB+`jUaSkD|?{F2*&+gY$NZ>8ul!%iF+DHNSb$W#Qx^x<3p3@Z@q6xW{^)gbTfy??0oUs(f^9~WO@|k0h+RTGxBcZX@N4F z6+sIBlA7aH-?Wf{dO_e*-mKS1JZ4_T%he&%3bP9S!JBdpd5Z`oz7#p_6G8Kg>XH;_ zrFh?fn4C8h_@h$&vl9_Dy{P9ziJC?^u#;M!>ZG(yt=t6K$OkLLJMoj1aFM~aS$s5{ zW(yxg2czc$bY&-kBg6PAX*%I%A9PZ*0n7#jxAep!3MHf;8PtLh>RgOo_vUbS>U1u# zOsGa`s;E3%YiBs8$A@1i5PVL+L-ANy&Cl{2a2P}{jE8%cIZr^Z3`%+v`u*EZf$>{n z73Nw|UZ%rJ=38oac#GoTE$$WH_h5Ppn(vUO53G7pbYb|KtxOIDuOIEZ38KI}gJG2r zK_{@RyUuy{>Rn(RLE`7{&c1aOy0$Y^F!7_UR->L*9;R=W_fbFgby>o1&2Nu>_tiI= zLIk{9r#Z-7eATeTV8gM8vmg1xW%~CElE~b(`+h+5Xr1kJVA?Jn(=Q=|?L8x$(xUG0 zC6)n0;RU%4$tskqdG%qrm(#?+{g!e<1>to;QElYRwo($61+J`>xjNBkDG5%}3BwcH51-^&IC zn5BM6%$yQwX7}u+`U?>TM(^MxF_$;Sj~%#)3eFwd^TlKPITkVOk$4lGPy2N6a*I7PC6;UaFdBwtHVcOA(^O48_g?4*hKh|ktt?VAk6?nP_;L+b)7N!!|&>dR{e3iWEl zLlc%3+DR`7l zg*|@pS$-vmgbF|L$+2Aq;9wNtdb@VDAy16n<&9}geADPOgY#{-jX`7EovwCGttIPv zcl%i1J5pmwYN7HEC@}Gwo`oEXCsaJGUTUHqR7na{3m|%tIb%mI%LY$UdVruO3+#X$ z=(V2~9K2#8E6iWy+M$dKXGE7qJ>GaC+;EVCW!!sGIqFEGyfsQzAQh2qk5=>mC-LREBhs%_P+MP`)m#MFe+ zlb5FO0gZjL9S-%4Dirmr&tA5nq@6$Fdifx3*38!m+{i9*XW3XhkiX88LLZTAmXpcC z`kn}!*zp9lp>{|eYM25_THDM5p6qoKPR&KLUvXwg%B5 zSgf@hwV4(;+TwjM@$T)f_JZVM%cUM-6WFY|VanZU&0wXM_-6Jd#T&FE|FZWMR(wcc zuQ(@zNnnb*hlv%*Swf5hZsdp8C<+ug38HCV|c_@5_v zP>|T^ACDp?bXk9Uaoi-Q?AN!S>yDs?vJ9JC;f-PAIv!kW-O-yqd`Ls)83(}S7`g5V z5K5pK3Vj}SiQ|_)P){#6vfD8jXSRU*y3A)>{^?z8{*wFU-7;D%pOw~yDe4DGrIhh= z#0vrJhe_{T+_Fh7$ES4^t*u6}lcjs0^@>#03cu zWMLHW-h1rr8T`h0VEd54bx;S0Z=h_lL|G*F^UuUnM(Xb=(&G$v3PLmqXbTA)4~#8L zV?+;Mk!DSl(kCTJ&a8-)Lad9Tvg=Emjm~3C(5QQ)kucj8taUNgk}+GB)$P0!v8h+T znOSJ*BE*01Zj%y+pz@O{^~pqb=;5|JF81WEemPZF_p_edh~R{JqUxP5|%U#%3o6w~PizK_cy z^D)0m99B-9Z!IwrmbH_U={i$=VA^U#b+ zcv5$xe!ngIk~BHV<{=S<-$(Rd62;yjLclLb(hRO_ohVE<0A(mV-+DIF;ncqs&iJbs z?!C_luMK_5BQ!n4Ut{%BfbhQ|bR@iK3lrz#5r_@k-_)75?!#~I0M2MRW%k>`VkEH_ zaE&D;&YpkhJ)hb@UY>}fN06!>AXgeOFR>6zoP04ZijgLB77omK7jcY$-TUuCT817Qx%98t?boqo{O42uv3pp#cG#@ z$}y^9=QZG7lQQuTAHaeqyMuqXNSOpFz-u^2t6wl$g6KRj%Ug+`@A!LH1@Xp9uCwFm zE>eu_?X%oZN7JFLh3Eln&uzZB*)mLQ!)GXQ5_Tx!-c}K;+Qm~QF}Chx$e1)S# z5#6nKCw_v7HTDTFu~Lou1g&X_!xNYENcu$Sz{glh=cKH2>X<+WU7tC!8r~&iHJvRY?u}kH&W|O4GjfzM^Qm z#qc>*Fi6ZFJ7TY6FX3yT35xQ|VYot#K&({Q8tW>8G;5bTu!Bd{_u*Vy9qtIQO%G|R zx&|tUVY|2U0L2-E>wwZMYtvrftTCP?MP6(ZNw1uU$vO}xIUWzwC=}l0kp6ki%}c0b z^WLa#)8JU!J1Z<a1=}6Ay+W{MLsM z^;;i8I>oNl<5v08OzJ%Ye_ODMOL{qD;J$5NWsHI0=8iP1mhtj+U|i}`dx%%f zW%ccZ0CRDvyb}-K?-g>thI;wyIV^v>Ea7Cbx6GtzY|>#kSyegBGwMrrO!xH~d8*vT z9F8i=7%F`8t{UYSr5)L+S>sN^ zjorHGY*-1{7`o5GC*=_m&yBH4sy;8{HVwh-Vpp6}XJ5+Adt+fD*XasY(+AhQ%&oEC zcX?;7?trv8-o2@NhihpJwzk0flv$`lu#;;2p8;%p&kObKFZ;dC^n!Xc_vIBP{*Bj>Jh2Wag(Oq2^wFR1PV^dc8Kzk+G=!y zm*+}5g zQ~u9q?!Vq7`LW~ruT2sF#Pef==pXNr{Jwqtb6foP-JrkT&HKY15$nz7=HJ>!;e~7m z;Un;Hf_ZKp-47s-?hAZ)z=%mzyd7vD>illBQ2Pv@OccQZeXFlRwD{6vd)}rbTHEAv ztS@cLehEhXEETli?z2@>J#wr*YQgknCq_jw)^g&GwQ%c>7Hvsp>Pr}H7{G;^mZ_T6 zxWJaqg^74?k((7oCXqN=nP4ujj7WFn>MA0FZr~v<;0T}-kuhF4<3<$s5@#3hVqGb0 zcpUX4ZFAT@P_F77-?*yH6TtOOd$iTHCXAy%{m2dfJ#KN`SGdNb#|T>b+uuL;HWxAGL@7pt zf#=a(jq=*%(O0*J937dPm@&ZtBz{P z7t@*?VjvS$Yz3Vz|C0@xm|8L=*)aEIGX>m0hsSTy!@LxUO3#9;%!jC?E^51bp7wHc z1oPtg9k^%Z;BVbYPtJdJXRkXgt>T_AqF}}YP^Wgr1D}3v+G0|fdF`?1ME&mNkxLVg zpE&|5C*mg*V@BVf2oR3h4MEn;7wLD2>-%HwA~G_)^!VuJ2uA5G+S{Tq{utx*p;jH< zMkSb);|b7V^!kEj18l$o64>5uEMkd@Ki=f$ULhdNJCsZ&T0t+=cTqL%%Sxb4F>*JD zSt-F66D${qlEUrWCzYGK3_uF&hDFDDt5F7E$j}YZsB2hGs$15QqNbB>TA~H4Gg{Lp zn=*kSNn0bM?#?j8D5Iz`tukp)ZwgW9^?NZ$7BJF?McAM&kvyf}CXnA3Y{=`<;XwZM zc`~{Pq?;3fm#+>_?}^eVp`PfYpOUy@r|}8lS!MB9COKQbK1UCZ-{~4t?^Ir=wsa)$ zx_C_+1wM`s3teb_nzDjdl#`3hy1*AdT5CucO~(&O)B>)vJnP6X&EIQhv6W|4l7YDZsI zGE1h>sf&1E5d{B+PNslSmT4!nY`9Fxu-HtrXLRAJE(CWJD7atU1ybmoh0`7imdJLD z`)J>F8PA|&DZmsByVd0_6!nQc^8Rp`0NESrTlwvzIm%J$2o2bb*m%Mcf?A_*a>z&e zFjGGGjOiUuL+mc6&LG3OrW_3RLCZPe|?{9Tc$4;1`g1q|jIHG;>J@F7%MtTxV6A5*xAMr^%E9i&RtIi^}yX&LZQSG;$M<5!& z)(*V%s6^Wg=SXP%p1-i@(2+zld%spUt+TbYqH(J5oHxN)%f5bJ$CqepK+T%^>&LjV zmQqnokAXSIcNBVH?FSj99sN>bXUF6#oJItkSpaAEQ9BJylCbfMJR{2h^;<+qv>tOi6r&bs5~4AKK=Kwz)9EF z58a3@$W<|Pc)Q9sk1sBobmeoIcaUgp9XO|FzdSa_W-GevC@6D(=2g8Tt=PgCKWsZQE>D z!bxq6EfYb)H1Ysp41 zHmNb%e9uYWG~8SMRKum3#nEvt0F>{z-MH&Jl_{)`5T~in^+9AlF!J@>5|f#o6Y$}F zWZx8~1?&S*zkl&!fzo=q#NZOMl%os@Y@GgXK1C5i}qk$K>eih^xTPcxsrB7~= z3L0CcIrKzqH>AKIg%X~Dthh2_c@w5;g=P~41K=CfzmW8Io|?3S3t!bnb)ecX5jo~e!U&+dVh0pN_DiB72f4>g6TxXa(UYd#^$BBsAn#FD zP3!2Zg+1jn>q(#s=WF=!K~0p32lD5(bQc7U|dWuJV_8vuH^PFNt9bzP)oXMlE-5otxYjdF_dvVMnwOpIc+P+xiJmjI{0R zd*u>_X?@C=aMw<%usuV670;^wUTR&b%(6MjAZOTq`9Uf2bbz}qCSj9MfJeSC=yu>* zU1lex@maTf1N}>wOP7_}yK(wW)SJ#J3ldsUGVtd5zG>(SJgD5~Fc+9%g=>e)`3RFg zBI`*VwHA!(j@YWb%VESE!^aJO8>+4Q5<5{~@@t6OyO#IkDrHtx-;~{Jv3W(Ot@NA6S2-NSlYe=sdE}rQCA4S7fQ=qCbm#dy@dOKeSH-_EL(xg&xwrN^$pYC*(O;|Pw zH+)Xss5Ag!Ckg-9h}4(8m(tOwYhCTck|>(4xAhQTM5%NSU*xG34I5teZJ%t~wXxei zl@D`fZFGR+wZY6T9ji&&ef# z`(%>N13!T}i8HzBpTWEbybR)2+-70}Q=sdYVD5madx4)etflbosB|8cTxAW9attxG zh^j5?TYr6tDCm!#Q#E|?O^_j`ZeSuL7R3=i>-J6xYJB15gU;bbL6WQr$TFxQ-6?27 zhr#cdmdqwWF4DepdgL|1S60}Hj}fk_C!TJX(U1j?!vn^Hi*6)&KD*FbJ3zCwqZ z!v>d)IWh0dVC+>siwCSBZO7ZA_jDUVc*ktUhM(SnxiE!u1K-x4ucTdx!0T}#%;!>7 zV$t{o@@kEvn#LAwqOf`{k_dS1_2?$CREk>!YPa7xb5_BNtgm!_E|#~?`iT`2d=kz0 z)k8i##$;zcO}7JZ34Jwwv9DR~ZWM6|{ zk>F_3kTG2-k)OZqM%oK^FMpZ6Sn_gQ$l-q9O7`f~rq0Jme}$9b3vvAiFHN+$2PS-H zqfpcW-Jbl^gs-sjIVa`2YR12k)Owd+`3f(;mDx=P7<2RDja`+%);Ij{!hVD*R!i z;%1-X|8+*`*YTZSJ0O2=PviFkJUJ8Bu!*;{=Z`LS?hiWgR=`MIw?keD&DMn0f9iq`nifPR;pVqid5tLz9TpeLZ zXBP4SUGZXwWo**^O=uU4T4lb9J^|km8cZHJQa947Oevh(;$`!*Bvn;(o`hm1Gas%i z*Kf;~qD*F7qBT0p1Qos*{J!O31+;!UpGuvn5Ct+`(DA59m+fJ*;4%b|N;pSSA+7HE zG@Xwr&4?KT?`Zw6_)^Lc6r%{X0x%Q{aikQ0cc(f}yb(pneEf|}B0+}^+v`hFvlGeO zMux|k+}aEVUAbT0p6ZmE$MhF`q0Hj4O1USu8rCTo$}d|ksY>9Dee&?7wS?LrktU+m z?wOvZIIl93tOll5e{OLYt6B+2hHzsx#h|De&#t8Td(5O&%zD`#(|NaP+IXx#dZXt>{!(`ju@f_P!K0Xa0 zQ3j54E;H;IzK9TIq{npH-KQvCPfiwQgP%}nWMH5O(HJ-+?!|SA=}Etv_#~Z#nn!;R zjvzYHW=k;KRAb9p^#Tl2ev%&Q8ffehOq66-qUxh4u-k=c%~wMsh7zC;K9RB!83SYx zh)WP%n>RegUxxI{vp%3-;y)2i*pOc}%aUi(dYp-?+=#3Eb)_zoR)?!xQlp6_(@?$%Mu)h|Fb8k23D*&eH)$I< zlc{tNeYGUQMA%NdMh~ff2=DfjQvju$H3Qi#&?=vg&2rAXNAQ>H__Cvqz3Jf{mgUPj8GpmR*U*oolvB*>y{z$>MHP5`FGU>ZT^+nKqFa+Ny{t{wyO*@FqW$Smlac!7hg&fmb6%$@A6%zu6lS%0YVkcx_ z%}Y_X^#!q*)Kdf{YjOqY{45wLR3WMbySPRQyx7}tC9?Jg@}=EAI}IzP#Bw>^1!#Uu z7$qCr1&T5cQ3>IlpQBrX%xrY?(47Jk)x}=Gsh0hWF zL^PZjMgdm~c06AY;Kpmc>eZYzWftY%7O3ZP$#H{d)JccPnB&M89W zbC>`JvCTxUhSuC84QS@5I$49$E`I2#Ayr$4Pm?!;JLB!*eMRrmQlyZ!x5Y(uzQR{`E z7ItuLljj&3kyOZG)H{wX1@+C1TaU`V`nf+Vbu-szOD%_4<2jPqs4agDGScV7-+{yI z88YY%1~waa4rcWE%jK0y5}3u}FbLVRPQyFnJFiNIs@f8h5-e0t88poLyvZ5ayoKJF z<8MZH4VfdO=te(_bn7sGJ7i!}HQ+w+?rDvKQ6iBcYk_=i$NdpjDrpAe5pIvmu=ob{ z&z?y<)A};j6m$+*q9gJ;J)$DK*0@yL8`MQw5r9ajA=-qhy1+ok?O6l4#uJ=jx2NH5 zk?i^R*`5!WFJj1kC?(S^cY*B1?M^~O&oe|EWo4@8y4C{_c$+)3?N6xFF3#AaW9Y87A#Ct0(Dh?8y> zFX6+-Rv|YM*f5Wh^_3p!X-n_j{*ff7--ak!VXNeajmwYib??^gl`$q$x<$m_ zhar9Z7}qPWdX(gw*t@)jd7|%FAupoXEJOMROa|T=kC_S_x3Y+qOQlWkpMCmf?)sn~ z3y{HP_13-cW6oGp*Jj)wj+lwpU1biw6@oeqgTWj0JW0=3Vi8dj$ByO_cq@+IR3RVx!uqG+t?h{ zV&gE+rVdWNBvwz`c`a1DnUs2#(|l!$_XKFHEvpPEy0`*~oC3Yoqe;QF}tb z3p-2R+OS)o3)X2&0gTwxrK-RuQhgbD_WCXlN>V|SQx`~ntRElg6W%e`J>in;zo$DZ z=*m?Rc}AY^`+j%%-g{@VAD(36P5y0w9^ixNhzO4UBV;zd>7XQNdq&P zd@!HV>D`~_do&CyGzas~yH0pqmQ||HriusNd zB+rxG9tM!;5>SM@(B64Af;Rd#4)ftSN5ZYV2<_S3zPC2p;TUFH1GQA2o>P7T+Rd(v zYB(ud+`i6SeygCsI@DWS(~4V)A&(_}OjF$OGNbH^w_Uof-)@dn3_I_T#MRc2NvrQr zhbQ9P6QpX)2-ylD%8v}EaPw-Wg#h-;=-y0zW7{yf7#OOm36U;1@V>P2E%Kh^LP3el zS)_0 zjlyAXAa3jXg4|@tZVC5&D=>ZXm?_6LC!j@^a_rMX;qm+FjwkYTea>3_g@uBzE0Hj> zwMG|^;onsc)h(=NzUQ0a>hfbcNg<%`*)xs(qJBEV+T+c^z$&D5fy%s$y#<0nen(j0 zUh3iFA~}p!A)!80?X)d(wEzN^%5!Fn%aRi+-gLXb4!i8HNtfDU6G62 zO-t$RMrvauA4M!j8yTqqqzU;bo`m%*YVs@TsuVW2*m z;Ltge`r1cKg15n}F|LavW}})HI$ty}_*F0llo|s2#$6K$?PNcyF;*D90)~3)ZpMnG z%IUbm&hunvoE7>Zmc=filAnnG%;TC z{L9%V_ti@7Ju%Or3S%H2&>xZRROU9g8l5EMwCZm%y8X4__MR~3SO8-!m(&T@Z8iGy z22Xz0h)4kE&Hk(>eGRdT3NubJpEgE`hF9_jnZ4ps*GLCsmZEpYDgaABuR4AYtgmed zZhZ8H+Zz{R#TVY}zTS4qUH$RNC%Q|wYSdF5Vk4!$+LAXtjBP?vwViYHr@^ zjOupa8QtXg&ddr?$U1I^Q9)5W%5eIt{fKr6eyNd$-5x^QRmV=5n4u}9_-L`>fkW9k zcazS{+#~P#XY>ucMfQN#cb@kmUh|3Aw$&&mLjH?-&YhVswVBnghv5+@D^|q|i-snH@{FZh&+xB%d8E0ph%u=e);I2 zBFX{K+4@WzBDP9}i+|3+L^wU7yDKL~zOQ_X{;-bL>u80$(d%%oz&%*!JNDxW!+#wu zNZpx*LkE8U?&B{{74Sm8R{H%L6W$-6&it1{1%G}R|NRSz|NkGx|LRKtUN`~H9}nXO zdyeZpxZnMO&;*Xh=o!=veykIP;*_2eK`c=Ws^`?GSi(`SBl6`#3x?mroGlAg7_+&j zJdE54@8tX2wV_e9cc$OIYS! zdRMr43FBwCG*PWe`EU0!5nbKzZ4q~et`HUnpCjb44g#KSP8rLJYS!tB{uv(Ua#Xk7B}6pI!#fxJC=gXxMp(}P4!J(>lXhQ zS6rv7l-ew8rs)|e!JUpH){di?p4?VN%?3%2la2681CPDuScP~Hw$fMi-Bk5*Sw=%;y-HMH>g{+iw{;107qxWlD_ zk)??59Dv^f0~b@^r%`*71{;yBFAFwB=y*@&jW2CPS5<}3&?&kIIL z+6ugi%PZ2}aH5bM*mETpK3s9L_O8$6eAhif@;uppIG=KWNxUlzI4(SWA^A}ed^`b@EwL*!Y(Cvm)nw&Y^U2Cv zZbVKglYb~A@JZ2HlmNh^ib}STGDIV7IWR>kOU2Bgbf2{4Ip@sw2(4S^wj9{l=7e~! zdw$obWsuIz*69tHD1Njk$dJIhJw4LF&LwzmtX;N!7MXj=#PmF#os+!pc-w1HX=znaG>`h8{PpQ~zRdW= zPdiTK-5;+CoQ6eX@A=9K)QLU{3qQ-E8u`R2W%fG!nap-dcmvpY*DQ6{>LUsFDL8p_ zF4xGr6+3qUyM+<&3;Kmtl`snRUVP@Vc6P^ZQqOq%s(BAcJ)37)|!j4ZozqEVd^${_9f+SZRKtdA;*YoUE`lRH=& zB`q3U(iHJ;ZAPX#*n}VdBAGc1$c5 zk&cJwNEkZsaiI03r&J`{tBVK5M7n0L{btnGj*2QyXyDh(g1V@)dvtNe))=~CXjWD3 z8QZ>EaDQ_i^^)ik6q0he$~-yn+Bcl7p6|=TyOd2d{f^e$O&6=Xt#9eA79G6H%}&#c zUICKz6w_93jlCyQsOnQAItm)wJWAeJEn=F1vecrHIrijFvAhRx}JLdlEiq=nXHmw=}K+I5At+-T6Q3mS(hF2eM(g9AJM&As7j#B~!5WX_fX}7wUY!DrY%-_3H zo;sb-Mmy|%^?Ep36Ul)6Q=@}(4?O=zz3&h7w;l;Dy|Up~_8n~6eq9n{&?)`t7GoLV zXv5Z>wOjYXS7Q1*H3~>S%Ev5==NV5uCVRkJziN6vp}I=be>RCCrCVKb#_)sQ`}(y< zz?28&m+$DWF4Y4$@s*Qlba2={5oS|;OkK_=H5Ka*+^j4wC}N_j%o`0$ctbIdnvVBK zECk-uxHV8=RKh>dcwv5u#ewetwBZTAN2y;iI_<^1T599_G$Kju$RsyC1KA%+ zT=tr2*ErroJle=KkUoI*P6B=1UbA<&;ZDr!!lbW*egZ4G56^e)bqqPWo$p|IE)kpf zU8XnfHa9GHbQrthkD40d-;!LAe=6*xwAOa%bPW`#d^KU7zCNB&ku`mIwVi?MweArt&gOG*%>xVp^n_<*tot zo!hi8Pdr&C(Ad(In>J7d<7-x3$taQ!WY?SCg4o5h9ru#nSvYlP37sVRN%5$(AEwQ| z+(h3|GtE00}GYa+UIrQlRiCTg&4BAJ6wz%c)q0XiWn4Oe$kra#?`7=hwj~}@& zr#u_vBpH(Wc$9#^kz>wKWzN(Im}+&d5N1TH2jcDHK2)h9!~z&l^%1BZC|v5nAuN-+bf1tqYqgxkHs3lKy44P<*|2^PX%#F|!Q z#62#vT`24Vb#<{m>55S&_{Qo``I3&|qXIzz)_P@du+AHcX*9gS_(p@UI>2uDaZYNy zY9pdLb6MZj4C@RB0OoK6~U zpiqo~9zDT9&8m1wgwZrr8&jB?Gk-Okps9Fje38~9myF;&EstSSBA0S5+3>~6y#j}n z2z-*M;tAP)m7OH>w5WjaW}r1U#3raCDX%hZH0lF`qJOiY=x3>h4g!2%#bkLx!aeTe zN6BKANYlA{l(1>lI9iIFum6v>o`BUGBta#+^N&G-ssA)7U#!bOXiw*ycrWH z-p2hksKo&<>_Aa*j;aIUll7Wqj5+=-{xl+nr?9~fy-g%d*m3C}Tjp+5iD)|e;=OYk zGZYUe99iAd;9KPoIEruu4%o&UxHZlRqPJ$DS7S*xlw5W_okHMPC{Yzt3KLjm2Ts(4>Q!W4!OHnVKXta(jsvUPQ~jXyJ|8gv-8&JPS&%PxBJq zb6>&^h)x$R$SKj5TpqYZfd=On$&(xyG?TdK&tSs+yH+e1? z&SaaX8fiq4?3J7=U)>X;zaJMxj3KH}f=z%l9g?7MXmR*57Qk^<+N# z>-IC$@~>540%&|zBc!*rj-_zWF~8tNvV>?FKW2Eo;j4g?UIxIhCJ_(|mE~q*Ok|Ri z-C`E@i6#1mu3{PdR43SMe5=Ha?~DjGD)!NB*#S#%_`#zm;uZIDf}$2y1BsIzO=IBK z-7}X@EX7$QgWsy2qz*j(_7y2EISNr04rTzNClJ{XysJ z3pD;EJS6+`N|e9#-kp#46(T&v-?&DI?@u=}@cq3T8UBPDl&+QdMUT!XSZqWaf0{=UU z|A_0dUc76~S7qsO~`A@cx8{s&?>;gYJyYAqo+uvL9@LY4fNv~V{ zRtG@tLg9wUdc*F|^8HcXU%!6{@IyP!pW^axU#kI4Z@RfrPk>7RQvO3R0WOH8_<4CD zN&@^~ZpeRvoIDT-1vxoEJluRxJ6!87$a!rvK0&DRoY4QSn+Wi6U(*X*H@wLU@PXNR zf7o8&x`hA_#9lW&b8!h=1M@=+s0I0<7K17P!T;9}C^oaByeYYX;|C?g_&2$m7CijGwe~!`&=iW&@6|Wvx@ihcf4SZDlnC`= zZmasB1i{w^<>9zm%Wz+kR_{kSQ*_9O@_PIWUEx15D ze0&gnd7$?Ez4pd#d|=?39hBe~w$}>-D7L(Uf{aE9K|sgcy+rLJ5Ho+LE6K3;}~5!Wl{nKvCj{R6~Ny_05vkN@?=%Wr(RAw5D)K|&?Isr@a5*#AE&@aNj!g}ce$h{6NufE#p^-jv)Z z&kq@`kZ5tEwgAM~P|^4xhJkn*CjfO>sFk>{?F{iAE~phC{sAQsytWFo{)Xud`Hv2u zh+JdygZ)iAXv)P2sr(lyw1^MN{C7iu1%PWDZzzAaFhSh_&2xV;)Iy-rw{!G$}g|| z`O3|Z7doNvLc{w_D!_d`#oVM|{%bzm5E&qYjFS_BKO|oN{>KkFNz20no%$d({9rKD ziqOs>zXhSunv3(sm!Z6FINqe!jBfh*mE-@d6*n}r+@#kn_<`Rmp<@1G^t)95DgV0w zH~E_`dHAnoze#UOu65&wL@~$!ywQsf68|B==Xxaq2|?HMI6rjix^8$Kh<+k?L(T`e zGE$K1IxIpNK}Elz{lWfb?u1(YM+es(LjHch2PK32tA4+LZAG7bVI#O?V7Av|~>pRw}_K!P{~YRJ_;x0|PACPhf9{F0?Gh#u+iGm6F+Y9^|+tiU9fE>L#Bp1#Y5{E_!J+GuM zP$u|2;kRW4x?Lkc-rNo8x1@v)btD>)Q5Ur!?)P27q>pys@tRWNp2SF&6Thno>zs6b z@8W0II`3Wn?d_%Erx#znz4Y@^K8Mo6{aTz4v*fHuvo53SyU{6jPQJhOVDrJsZ&!B) z2NuVTNpzg|`m)48Y?Zu>mkE|_l6=df}+A!G*QF1jp+l-UrF)jnIiya8% zy=9ATmRm(MNro%a<4N2@`wxov^fR=CTL)DwNFo{;M;UFCe4VYZRkp^q*d4aRc4>=4 z_8E)VAsez0i`fx7O4t#0b!NvbVH0-BrYvRYG-hY)EY6a2#GbGx=W$*n>6B&6&RM~V zaTdp{c$Ttr_MClrLym4E0ZYDo{%-#Hzz-yZZ|y9_LFv~I$jw&Mi=n)=`S9LO1*N?J zN{67d008!Myc)_++z=+-TUlwh-7pM{mrB4h(&n;P0k-f=?}{+8a|GTNqkhWL-{=;TLTG} zGcin0Pb197D2cN;Pjc7@VT{O9&=0Hy{m@iR8c832c{Yxx5crds$WId(k(nu>Emf)0 zl8N0_WuIV>;Fx1*o}8yeJUW~RKI;ovNnAB_Nfd$+pC)n)dHfX2)PhpW$vK0feMFkZ zUa%K&ma29ukcnJHYWkOun(u!7&ug8ljsEWTt+jQsRJ-ncO|xn_arjjxA4Xj_`CCOf z$K(f#<)oUgnL5dtz-%bE%q(~d2>D){0)*GQc;i~{%u^Tk5_5h_#uFZzSM zjG}y8snP$VLhP(0ZJMc&;iGG9X;cJyq^ORnFtwWG6Jkww?3GuVrz`K6PCgJ${@u%O z{?Y0Dt_)ts$!{L)-MRM=qO!La%-08$DpO94zN=A~k0AumR3WAIWf05-gkaw)tZ%Bv^I z^cVKu|K+G2)0`f4c67gK@K7yFHazrUAZ9$c3JYe$hunR$e*9`ut9vYileWk%L_-31 zvz(oIBhI#XJq^8^nlqX%WU%x(ZI#uZE&IHpvM<9tzljyB4 zlmid&@=BPgrni%>Sc+CUE2}e%uIvrZjx-uq2piHM;>wdmJe|`$u?($@?W8NvQF=2w zvw}Z$nS@R@D90Mv@z0EDG&R{Xau~FpWmp^u#QdV3(8y!)7 zte1T3V!@<$9Sd6gW6Qg7L+R{!79Vwy+H|@|YE>U(16`byan!45HqwYaaj!R>(HvTu zr%yxU+yctHREUmkg>)E$TF`;##tQ=`t&c}klg25XVAS<}fUMFuM_x&3kNU^Qb?Ds< z`ZOHct~nAg=!Z&WQGo}2dR)-!1`bkh2F-P8>q)JgWtEtW77_V2gT|35hj8eXF^48I zNPLjz(92o$n4!~bUNMdF&qi!v^{T}T@?j=3R^L(~q?R#F4!z$)pSnHJyjFXVKaD|w zzs+$zgELEPUD{A(Sa9gInZ1(5ju?rEmXb0E**nw;?Hh3=(lJ-P&JUT z0`9k%@hvEu!Hka#m6RE{rdmxrjMylM1_R_{^^t%TGO*g{d<$#1I?eK-bw)W0vKnXu z2L2%Wrs|;Mkp9a_?Zm?BB}IS+4a;#R4GCLgAdrQS9t58gF$xTtMPS;KFIVMsnrEr?EFl5`qmmD6S{YB`(RAvq(Rh9r<7 zz|cA*ueEX|2NAlX5kW%=+mK+C>znX{7MjM#<}Rn#$8=^~WRFdnXSqSyB0?HW8icyl zAddDkX}05;G6S;^QsAyJ;{<&=VoT7!$AG#GC>hDoQPw$ZU;JC=z8XmD)^P3y`< z79nMx;n>9pl8IFxUvgfxGU6Ua*SyRBUJ9 r@|E=)3$9+d)|J2|J`@@!+xl`?z}QHBJL9> ztKwwl$_?sJ9%{WHG%$1eKNw*2CK8wh7+{VxSYWiK0rbBx$$=`f8ZwJ^Y3O^>e($RKR2 zt+2q`KNH(BF@QxN(%}a|VAGB8fo*{~!)Nh<+h*}W$|KUb{($_?hJM>_83+R|2s_jN z{D5*Xv!^#4f=~fwbhlj&Taf{MeL>0T^Q;`g2|&Octhr7}UGh9u*%bB$Nz&F(|DA4N15-SqA1=!jbl zx(*s6I2A0v8H{mTy>#qp>~)3|iRh!%NIlm)%ofv@`7}xt1theccTa{+NI3RIhSW3{ z7&!r=(2jY?$zXr?ylTT$7< zlZ~(3NmT&n>rL;bQglo=9gNu1agm2wL^mxoxu#0++Q#Ho0N`HUJP z7KK_iFd&ba4_ZLq67|GQs(d-d{T}dgG6UF^q!JGV^J6AaVUaABr9!7$ zaqxd9he?}<2q%>_4}!etKu7}f#sWW9yF1JVG+xBMpxW%2$rZ5DHoJBHWoMl41b2t+ z8+a)G6&HrN9SyYV4q>TBOFgA1!@UiMd{ znF%m?HJ1-}qS3&`?nR=KD9Ql@9LbjUePyJN2GI?ZMc|06Wn>lu4kS5>-{;ra%*9d< z(8Z}xu~uM^6E#GMtE1kHc2Wzc;Ha$6^q&|GxF60zfw7L8L{RWGefOV! zTpSa&C`S;Jnh&uB9RBm?vD&>SPnNDxkONe)8VP-gClh3;ln-WLMrFcJGKaWRNds>x z4XS+CXgXX-Fx^c~-Wi}{^|xv^gX3sW|Io!6r8uW7vNJHSKq zh2Er>^#K(B+gieL4ndZ~5J56}u+O2Yx{RdjbY_sh?RG-n!my6fG=k#efCf}v0FZVi zXK>bRpZ1PEMLq*TF+L-H6VuvRoqLbp3|HRFd(7#TP0E-ZvRn7i*l8WDV7P2* zyc|)ko`^qwJAdG$myIK5jAvHA?VTGO9LMfC?xz)lh0h#U00eXA6NWB8AXx#YN(PID zH8IZh&o`D5lk#eMfKo%3ejE4718|^+rFu->w~1Ja+cwkl@Ay4@i``S8$Mvfq9onc5 zeH6|vQdp?-(S4K~Rb&>-;w&c;np)NBbK2|jcO?jPrBm~LK(Q_sGPVHqup}BdapjjF zxTEwl$S(lZJ(N3p4dh0)U9Te_m3ARyn;gO2VSDS&fp`K@y= zbg2)T0Nhx0e{^QAINzxG$T)_dY0_AiCR9j^vb13;lmWbpi;Qi{g$nqLDI%>P%_Uz= ze|OPKDZH$^j^Qh&S&k|;4*kMri8^L@sueF&D0Y?r z=Pwu>nzG=d8lW3ofXmDeBCGULzq_IZh0;gd?EH8u7Q3_vEoumm{^VsrTOzk72vtpSS%%%p-E!TmVIegbwX?C9lWq z>@NQ1yDq(!{^$KnF{M|8naSEPy`{a%D47yzz+PfsHBjX*HLAy4NNpc<5NrQvX7*or zwsc;cxT}+O2Dk|iReJ>0IkvF)dS7pa%M8)+$Ai0Ch8($J|A1)+LcXI!IRgrsL>eT2 zKT_^?CScXiDuy_>Sp$Bn;=Ux%7(FKa74qkSdiV zf{(|A2>06x@y;Dio^Md`C`E09qif0j0EwSnZ7)|ryS8_gd;Y@kYzZ} z)OEIxrT!wg*={$q%7^W+pi{*iOG_0E(+D5FCe4>YD0f8aO-ExeqBcmt9R5=FYuGob z;jHdq=5}}bW&zYe>HRsUYyPG~1t)Ohd-pJPqE?&rlL!i8^(_uv@b+m(l3_ zougZJx#Mur-^eXuoIeiwMm}mo=DH_FiI>)d7z6`_y$5JO)9tGDRAq*`3)}(*&*IV@ zN{qX$8n-I^sy770z)GPLm}2H+fO+q)f}ki#I4v3b zDX%psNmYG4doL(g&fkS$nI5-U+rits*3yMUuD#GNDj)}|bm(@xj7ZbtHe%$#8>4^= z#f{Z14+N+;MPZx==y8{7vF9U(SDApgjRroU+k-P$nzg3@VMg>acAR5y#)Ch+b&W22 zqX$H(XgbegwF4$hS?V>3SW8*@5T9DQAI7;8=uE$UPjyMa`AS_Ex`8P;?gmY)@4UZ+F9sA_{H6_rWCpzy*}JQ_W!3x*cjibQ*%J84xmX9$!x? z-FEs%kMsta zf{ZS_oZNcWbmw;{A$g1FEfM-$jTKvlFU_i|f5~YY6@BWiN(bJ=X+;NF_lV;3M*RiD$G)FwM-s0UL$@$tzh zaB?908?M6~uAyFct~-DWi+}RnUH81yHQ3}9RH*dLXP7p{@iTM*E+hFV_W}YMiy9G` zi~^whe7Vz1%|nx#>e&pLQDsh@dE!cY?Bs_2z^!|NO{f3hnB0H{jmu4UZc%Sa$_}O? zjFX+*n!==lHjeS{6HT-NGuZcrSZ1~H#AW?-5-as|maw37on zab0(H%%ack$SDI^q%l(YiwgM|KKVQ2&SvnWOa`%pK}yjzf`frsG0wYJJdUK05ZIMF zyvrUZp9|ldvV9A{__UnF{q7-i(*Ky6#BGgKo*~2%UX0EvdGg9OJ8c@rCVgg^M}Mg` z-D37bQlqKS%`D5QvZ=Br!6q}-^hH%2aRE1v)@lCqX{E?E?P!D^g3V&Mt#5>9HKSrr-E=2+8+^w_uP;tv?a4YCN!=UmiOWIcz zw`?XXG^MjNrJIL*CI0X^<=-SqzfDgC_kFq%v;EpS-m@MzdYlDZHT~f^{b!*Y!H?2T z``62nad7ksUhGd|cItgw>1l0O8V={*RuQ9%9Qmo>xybMqbe>$u(I0{{Vax4Pha2SrC zKZAgjBQA_ePCu(HiN*wI3O$86K+ zXfzA%swwQUyD;9gRb`^ z^Z+J2l7DRX$y*BVp6Oz1{3@LIDE*x4&fr|2m%p%;`f5@?gyDOpl>-hlQ>;H8@2Qs0Gh#wm<0-^~r^+k^X=DB}hj?D1= zPQoh*UIOw*K```=5`zRoD9<9AE*g}2*to?n5L`)d+&B?ZtoN*H?Nikm3P9=5>TV)?m&v+NK{?X$=K9Sg1&V#FfTu|^L_{AFZ;yf< z>>a%;$l04@NCo?~yG?g>wb|GEI&~afr*9Sw7DjO}a{MeT>Vy==yu|=p#H6iTi+P() z!uRp^;6wUQt)bL7zNg+WOpyp>JP)uNce|aPjrLt1VAp9C-9^^Z`V2hVIQUzPYw73j z!EM$+%{w(bXZ)AMm)^as1Qp{KL0a)h=jG^HW}Ce)d55+wO)%98Ms{xF8dpeGL+cs= zT|LpSlqvLuU!Cs5m5~Gy{zO@qyU67v-lcCOv}p$Uxu+m?B#7y4s><5e{AYl!NG4ql z^~bncL~*X&W<`8UxnNz4DFI^!gKubOuc&9!sO$aCV%n(q;|D}m#nhv~=^jBdvR7m4 zyaLn&oY)CurCD!grn}|nav}>ZU`ZDEa$i%aEk-o);Z4$jNUDg?Oq6~c@@)GC-FPti zoqU4Qr5^xU$O6SN%bkS;!Dv zX_P5};sFU&w__3b>!4{`4k}dxuP@GFn4E zy%qG%D4WbYwN2yLk+poS_xfgFxjrv=hc+4&b6m3+dbu#xUA>g*8bGMc-L1yS9}N;{ z8+AK7A;)@>OSy1l1%{gg&skzKT(a2h~;1qPh;MN|-pasaf=3 z!9M;6v4#pdOGGJ$+Wo)K`)*Hx6d^3HfeFdG&_!M$$~`umWYV0RXJf^^YD@*8Sx1;) zQA;kdIbeC@A#vGI`5+NWW|-WNxJ+$YX_PfWS&kglVncuxI}I)Oxm*(FAOxWZ{6RPU zh?j;atA$)n%RW-9(jJ{+m{7)hpt8&z#4(*vxu8}21bWI3oF)@0jCn!2LfC`eR0{<$ z`JhxIOWqVY+H)ZiHq_PY;Yv0w{QucC-b=sV!en4PE8X;P^$Ty(XM;4fLIy8<0$$S( zqU<*Zzs9x`_TPwO$_VD5O|qa8ujH%kVQtpds9?f#|||Czyexm>KJ(DKm_&mV8z zYQI#_Tp~KA{6K(C|FAvwj%?>nYjfJZApyD2q?J}ID3a79W(_?H1>k8FF-Fy;i{2B zVI=QE&EeEK)&g345T4WzVN^Aj<_S!_ug4oWsKqro+UdMcJ&H=#g|Pa4pTy_Tt*c$} zws{+qE(aWaEszIj&^+r|L5xYM-I zK7Qn7FVVwG{)y|To&5gA$QPVAZ4xpxQt)K>iV4k15UvVr#ER1*hFB4UsDa`koFJ!C zJfZyy^}5Jszq9%5eccXeC(r}6z<3m)Qs#^X|J1E_jFfU04RsAE_axN)?)tLqX?BPl z${t!>!F}HaRklJCO(ZONA@Kzev#b1pmW&NQhNAY^#v<~(9MwpoE%`$>KekqM;K4hJ z!RLG<)c5tBpYMb8u1C__Cuss+Di#0=PLhh^lD73eqoi$++M`#sBWt9$ ztFiso`A&@{rBc&zCFg@Nar~tPcGGoe?NBwBvhDbi?G76Tm%34AUH>qzke3CDB_0j( zj%v0>m?09RY98%^C5`|9DzzsU0yB@15ZG0#*3&?=VD5Q}HtY7)@!Kd&WbCqr>u7 z;;^YLje?|`O&8I#f1+=nL!KEQKd+zLG9ZOIm`B<46ITxjVT}WwTnCVZn#?wi4%s(O!1fYuc>M!<-(-n3=^wn%2&Ubujl0UR zdA>Fe&pihX&F~`yHk3{M)PYc*TW?%w!#Z>q0QX+?oB)DAjod7dfJq9Ues25FRPdjJg&FGFS66971x%O z4}mYze6Q8V;o^w}_6!yl(Hor>k+7Wvj_8CYSTFXO%6C}Z2bzq0;K*TTLg`ezbm%9u z6WQp&oAm&UN{wm_+@5nU@Hxb*hm#b#oL%^r7jPhp@gRBUJO>AeFgt;4b^}>;=+>WU z+S*cih1*&GmNUUa8;$D~Dm$>3sIPsJZac#-hhP+6QIuOm(qYN_Ei%FOKs>fLWxvRK zIQ_9wJ;qo-EuYe`Kq;bk9m?pcxdR?{3Mw$c*aQMJ0(HSZt|3LPvV{AY%kw95lWVM{ z$%&w1*N;O3A@=x(Fd$5K8J!7N3jGreABcb68@9fNL?Iq9&(6l@&?>Bn)XfCJh;0Zn zTRY5yT{k%)<(wnG5?NU6J)$wh^p)5|py>2)?9<#!zG*i}P?Gn%@=bK;TGsr~rQ&+% zD6<2Ex?tmQN27gk6!Xiz28&FMoDzn4502tLiX*p~&4r+6iMGG=fFt&k`^Y)%Z1GZ( zj)c21v#}Z!>S~}f>p#VcLOD*WLOw0Wu^|V; zUh0^`A4?n?GL_4AtF@@kjh~YYZJEbJ)>))N%#wjFO3x{ZxlP!sxgXg%To!7>cf}n@8#-Lr*_k&?YzBTQSU*rP2`DIUl^5Kx zhEmn;Fj*$Z#X+gpV&Txt*3fj)d_=+Cuc#{-gG-ICBm@2V((9-Ksda16U%levNZt|T zOTA+Xn;oh=on<92Bd6q?#OBCZ?hyoN&%k$pIM|2Eq)_|l?Nnj-MH?{2Np8E*pz1RI?;cqQm?C#LH^ceq;#jH;MLL@w%P% zEp+brnQ_92z8Q7hzroN<<+P$aCmzDrEI%mz^Q}fL4(?f83=~Gp;w>e-~fKT@<-5nPdTmp%} z^z}?H(u-=;`kY&(w-hKJrWb}Jc0BW>N=2OBFEd9Q1ikfaqlKz#YJ`#YcBMiFF5HNI zjxK5RdNtA(#G`ZOA}Vibx=Iz*7VOY=v5M7VZ>gdohxvO_l}YP@5f?xX+6Owixhq;? zn0IKo#y2-D3-xa#92Xxk3bf;R)5og>%Uw880ie38m7bII;Ka%J(|ZjdtjJNkGE%2f z5S$Vj`SHi&t2ZK_?mOt-PhrJzs2GNSu?A4u%6bM+FqsfqY46=gzEKg3y+}`I;r_&2 zI=Bk|S}+qSg>bz6P8+pp4DJyJ=5)1E@|c&3lx z<>fE<(L`)raiz~{779;-t`;x9l%J1J`w7F|{T-?}7?(y#01h|{X+}c%+-SlJ_?Z_N%8?MymS(dKN>@DQs+nH=niB~6hxqLDfl~(?Uh-v@uSrj)4$R-P1Lm=wyhus ztOVf^l34yG1!e8!L$8GUGd&mbqgLcRe<~je-XFCB-E}#NmG_@o;m&r1N~@H8JzC|S z7aXm$8(cvI^q{>mfYcF2xClM9xqgjevHbIlDS7-vsszj!6sNApf2N;SMNl?pP^4-u z_|}|lETB6intuLlfw)nY-jFTjhI9_~i6<+Lsa$vlH6gy7@45tpiXTDKkq+W&K9c2v ztXOK+_B*f45FqsaSFFMOMhmYFaC@lEVM9n798Cp$zc)5bH?fV+pK9JYN~Ogqgw)JP zu~gQpXAxQ-ESf9Ju{+c#*LoGt<>2RlPqF&KLli*$wwcU#`j^~Co9l!nOIFVi`?=Tn zgI)R$cKv2Q*tNI+ym80>^w}Ud8wLz``jd>~goNipEx-(akMQ?IKmy99?h#RM%%Rc63JMgE{t2P4`7ehLk1bSqor%n2NZSUr<_+IaB{!w{q_1s)vwQr?g zzt~?vsA8{5M;8sE`K&4j3@9&Ahg^FnKMhYt-z%qOhURK2Xf-Y?5PA5gN_jPX&(QY% z8u%yYP|u1fKv{w zT;R6#B!Yr>q_a{7Gi(E zC%2{@@#Ci2-jr<3P30NzH|ml9b5H159NTjFxI*%)uO>^BA9~pwo@NP%z-&mgJqfu` z&w5<}t_B&_MfVcJ6 zX-cgvB$w&L)h+SG{v8>v-zJr@RRi={G0y6l3k=|z z1fAvS*n>5hk!igM8d%`4)J{Sj)kNtK2$p%hp$UsXDgCj*EP`f0I)|A6KC&{@t*VTm zoOsU%P|Yc31)|tEX`y}0Qz&BD6k=v7G&X;HIx*6Y;%cWGb&{izF!Zam7LjdksQ7wJ z$(LkksEcBliq340l`UvB*rK%y7U-Oc)Z_Q0YkmNzVE+NY`UikHsQ&<WRa?f1couXXJK8+|gmGEg zhV?(M96kNLEw zRdl2RLmlf3G&ldL^m#F7qwUo5Ixg6Fb7_ZK%LI8koxQEm-qaSDg9m0jvFpiPxtx7j zAPj&AL~KKuBjrGIz@DKDTrty=uPOJybvrIalg=v#ffo{rg&9t$04KA2;&_^3B?)|> zQI>90wg7|_++tj}9dNjUq?@}-U87HGuM{PqZ+(nG{xFhtqLS`wFSZEb%xowRYn?$( zh7yAYk&2ju_+=3vGSi!kJNIA>xv%`V5DpvGI+Ca~l6=>3pk}zOed|&4?d_6R<7udg zOS=IwMt`%1{00r8g**Y)+v~TKh2^f-Wb8Tb1YC?DTT(-+9*hO<_m4DvE54$jRdYL% z{oPJzSxGr*6A2|h1utkmx`tDcLp6{r->w4RxBktV$e?-YsR=vd)?x3>>ar3``$sui zE|pNmq+uNu7cx<-mJ++`TMcpK&hZOU3g&YimMWS!q3Q>mKx(!`1cGLzB5BI2XDNy%SSe?8_3~-|>cdZBhI8a^X$3BvzGJ zPhg~v2rtwmTcLm=Rdju@BMDb0bU3d-RFKlEn%|uMsE|U5#a!U;z0v`n2Y9KBEA@Be zPBITL1QBjJ$41IBiWlMJEiDC_uNfkP=TvJa>{;{uk^t4I)h zoyQ2pNPqwC?B-+V;XKl5Tbz@q(yrTg?n6*PbPIZTA4Q{cvr%)J14L$12nga-vwL(> zJ{MZb+57dU1XS6Wvd4r$5Pj0cc>#qR-6eY18XnC*lv(Pe1(V!BkIg+;1Q`p+rQ$#r<4`D!*D zEbs-H403RCw@w@@0-`l#(-p!Ki<^IMFw_}t@mut=SEyGmtsu4*f0T|f-E_4gs>g*u zAdLA5$Zpf8n6#C|^n5NYhj)|O1!J|uHg!61f0Ws~h5_^D8K%UxX13NZ)T?eUY3{kV z0SuMy@7wEe@g_r})*--$owf#&Y*j;;JnX!5ob-LBIXki30FaNDCK?2j29hEfPCBY$ zLqqe+N=i^d7lR~!yPWHc5X{V$5h`(2ARH?cwivOb@$RYi5#$cr53xGMA6YW+kL+Pv zBm8RM@l5UX?d2E{;T9p)Us~4=pNfyBk|7pc!|pNY#@%v_dMS9O-HYJjl}EmTQF{PH z)JR1(^0)zBfQh8eKU!V7t7JO^_}3j)zxqjDVhXbxUw+dJ56z2-4NW<<;ukGO!i3`BZT4>syBsd~LaCkSi{WIg~ zg*n?6NSVy(Ig0*5^n+S=ZdWglV;|E#4qHy6V?!6oDMG^VhZ0Hx8cwgDL$X!zyMq&&G2;AbXd5FF>2lJLq&Fgp0YF=_r4Nap@2G)*TG-ZTGz z)8AZX2EEx_-v0eX!1TPbzh{pN0Y1(Ts6=3c)40nh8i%*1(Xh?pzWWb2uDhqZv z($0~}#H7gBm-R+r6DbWl8|t}`GjXCGECx)9lC(7m$vl&X8othqkk^*`V=JP5SgR>w z1qAjzl>n^%PaBRy@is_+P@)cfDV23mwAw<=hnLmO+CYhEyILR&;Rg75v0!+~^fFp= zKLFMX*n5QlN^cXEi#}dcVur5*JDMvs4Ayz+<#Cc1#v66ZeW2I={1v<)) zseyjecZzk^&E6$fWI8?sK}yNE8{x$hQ4cU-9OKhqxSn~UF#qPy3<=D&R_j?Qqvu@o z3Jms42OF++GzNcg4b!>Z(h2p(vqguw2e6$Y<{94MbIeS0EuTte-51B9KNQ0<^5@yoBOHK^kZD)=d8c3tgkv8iF&VYXPYMRc)mm`1% z^Jy(h7D+huq~XtQUdZ6bPLVXNFtm2Oyyilb=gWRFkN9Y9+scvm?-W_|_a~Rrd*)9a z;3>+4dA=wCW-+AgF1lBc?SGQvb{N%sx4K6H-9L3!Gd7a{$Lv+8=6N85TjcPu`In5d zjr``_)MC!=z#{HjLXeo}2H^gBV-ocQtl&7Q#f^aI&J*5YyW;2>t!#F2@K^BLRTJBq zXP^=nN@=(w#UyWuj3_p|4Yd-+r8$#>#&$aiJ-Kwu(6T6WK9MxjdvnBeI_OgjU6w%9 z?7VcoLpm~DdttU70#dCzH|lwiUR-#~JVW|rSsR7Le^Xmz<~4}`&3cm)#bs0O;HZhi z_U`P0?HkLoC9v-7KdPZiyEc0V=YQ|CRBL(xndn97HL**r9R1?)`K%#k08l%*WRwJi z*ib#?E7SZYtX+!tXIaZ+k>0BlzZ(jkJNx;Vd&*#m9lU60(Lrfc=S8{>RE-U3TP{zz zEp8Sy+3O|((zM;6s++tP2?QFV5CI?K2+TuD5!hKsj~g%oBHuKnj76YZkiGa?Ygz^a zXNVf_-aL&x*dzU&Q2uT{;%8IY#c2A9ZgdM zw726oIZyy|21Z*`R)|_^WY0p+^PumEX!Oc>wc9TQ8%2t?H`)<&9Z5N+uv`E9AH}rX zO)c!62@r%tow@Lw!dUyTCvoWsFcuCjEf$oj3)JSn5qhA$D??dmrW;)o%P5+q>C>_; zxC)21PNM0io5U_L{?2_rBO^xya@0ZGyM4mGn@TCzbX+DNG6h3U+E6ot^;=D%;7`^O6s=wNOTGpr^Z zaCVKQ;MGT?jHiTve<}Arx>_tn04y&J_aobIh>8&6T&cw0uf%a4Y&}^26!0e;=e~_> zqv?_%N#66euSI9TVq!}3fMSMQ>p^3#Zkj_qthZ*;Mgr{<^`c9%Kx=P?Z9tLGQSaeA zl+GZfOdv(PnkpRfzZ#jVK!8Od$aJTv>qHI1HiVB4jW4f&g=%^S@Et4$N@9?Y%%W(VmF59T}q!iH_g} zIc8k`06#+W1By@6^62@p0mvh(SUJ~@?^|K;(a5z*&kU-au{IPfCMUV- z_>D1UR28dWV*?YsZe=LxCk1BT-8be+xMji>ie8S27uC)rB}jIT%4A5+kPicD3Lf)0 zWf-7g5&}Sj0OLeq1ss{8`i9vw?Ga)E1#lSU&Hntg59$K7|0D&7>nABd?HddtTeJU5 z3J6eZB#_`YG7!_`n1I;EL>)BE?9s+(KEx|e8@?aK8UQUaoF8ACDEl$-A3zZZ591`?>9HA=`(Gvvw;##+E4TtM4j?t;t$WZrfeF)+0o4`462Y|- z_ZBEo3YimOj{mV+DT*0};-*D|%^W4>WlR$#Nu z^v4L#hf`Ie&y#PUI7v4=G51i(2bz`dLRhGr??SQslJ~;9%Tpr5?!P2GRglFGaXk{0 z3OwLmfGt%{i{$=#+lB+2tEOzLm2d^p_U6z6WIxwF!(v}t;uStG$i6-J|kAX_+OAN@vUT{Fb3jS3Kconwv-aP7bNRF==B?+!rn_AvYC zgTY2nh)PcL3Wb3E2^S74=`{~rvWYSVxVbkoL<&{zvwWMJZfvH0kSjY~7u;|(AoP0Zsa$)9lcM@| zxKH8cLOOIxaeW_^>Kzg3mQ&$PT6JR$N9*7R{~B-A-_b<9+VJ-ql8-hjC^QCm6x+== zJ2-;1oy1kPxX^CF{CN-COf`7JNN=wKth3bZUbvXsh&nFT=}nas)o%NgB{3ORb)K4> zJEm(gWb64A-{%4I1YrP?F;f+)W>7|c;)D+#VoiFqZMB%i<9eA&FSvEJR;1S+GE;AG zbcM6Wdo9{Us_SF;tuHm!>U)Ke!ADi;#!^TzW4RH>UGGFV8a7XzIRdiF%vk#YVr7sM zVqG-h#rJjaH7 zTKk}N7dnR87_#A~^0s{RyqnIJ9&jwD(8s-I{X*Eg;Rmogj>i-Hd&$}TA!FUmE;-n$ z?n8S{iA+q!dUlft+s$r6p0c0;mmnJ5^w}Jy?*a=Ox6+E{-RCKsa$#&V2vO+ygnf0M zf}Dap7lC$t457+h9&5~JBJD%?@6eqnU+Bp4TWuo{83BS$fn)^NRp^M9WtjI}d3NzS zj0>x;W{uTmi_oOj{6LLLDFLw=XfS+%;b5}B?a03COHdm=XgL$Zwq7fad{ou}T@_9hWc0^_osOJJ8v;gy;#Ecn7E9&e>f zr!Ve!885l@YXi=fOXpyiXi(6L2++g)VYG)Tb#t7;w%>~|d|A4i%pwDiSFgOI{ib~l zujfkSH-2xO&b<6!8YNpMF=)6+=cwZ2gEwJ*g`bf~&kJN)qb0}yJPYv9G^qz>&wa2! zO!r}WlzX}YR{~E*RC4<>B?<%&ShV|(Sk$}3^jaBZBvX+0{x{hoA~C#EM8i1LC)50S zC)EMR^F`1b_(*;aR&?Dk#EMEY$Z7CXQXa?m(D%j?d(K(W{&u=na7YBpNj&1Ftz5@6 zzE?9a|Na{I4ung0V4djtKBEJ31Ud<_U~HHyl<97c3$b%z4E? z0KBnnjMSVw5InBu*9849vNvp=|KC1VTD| zs5v;d*pe#iu&PT7oEk4b4pO10;{Kq$gBmiS2#1OOR5eBo&qHlS6)7SY zKf!-=qY;C}6lz7R-u?wo^*p{J}n^=nLx<`0!vK+Jg%1Vw$;?Mo0v>pQWj z@o@SddsryHs#)x5wpE<)v-(Sqnx`J*#6YFk2$3?tR(k_gSS8krqH3EelAP_l5(WmQ z_QLk?xP!-l$!ZsTT85-kZ-RE3?HpH>?^lA4CgdMb5TH>tn!!`R-BC0@fQ?@rof^+f|BjU4S7b{;#RN_ z0WVhpdXf?gH3r_?bz;<5@>*E5J}A%cjPN>u#G7b0(P8A?hR@O2tmv@{N!sE3zWDrEm2xtv2sOwF7QUnVgXAE(s632#&yA~9esU?3zBZ1j6 z8kzzaDzn~$iIRiDd>FYLd0GaWQu@nl`F2Pr$4V6A(eRW7VmURNWQnxb2QkX5MZ_dP z*i*2o{BMzWVw~V#j&V#Fj0&P3=MXeo#dDBPMTxM*NH5(Y#O1JZ-PlplJRRC`Jt*bn ztPI;GUeMvl4BM2N=nA^B!YAHpu6%n%rG3Q()#tqwLvnHlzpmViW`U(*|y&TsO5sBk_J)aN42}fxK52A1V|9m#p8z?N2Dz^Hr zW`2eo&E-eCkG%1nAYvTG>wlmMyqX8m`u`@14^n_XjhR;cL>eA6^o<-wC#j?XmQbEkYupM_rb`MV-5KK z5OAz*W+0$JFzH+bpm6E1u)xr5?eL(`u)y4HF4&-&VCfZBpz!IkdSFm(VsxOUeCY+CNU`+wR{ZOJ@frNrs*9bj;6 zKl2B4(gjZcPZxCCuP!i9I!x~W_oZh=X9rU^6EkNbs`Ta?uwN9+OdRw~Y?Mq)l+-Yc zat@}VMy_T=RH8gAOw1fi9Ly}ttSmo6($R0hShXBY%~j1b>4?8Hjh^T%B5y@J)n-TpOVP_O_HnIF^+PisD6WKT#xmvoI84N0zI9OpA#jTuOT#4AYIRF0_wOQEzcV0^kxYpKk zz?DGpKdn0()1&*{%h(TPIFWY!ns&Svxeu9zBNIcebfU=raQV0Tf|&a#A&DA!fB{L6 z?pal1^kh7uJ-lJ%?AJCuAJ{kq3VWrD9NRjP>%dP*WegbYR`SRi#26N5aA z14_@N%Cz&C!k@eV&z1^4vvjO`vE8$o94^2>Lu~L8U!Avwo2yXuC`C{A0GLmPRO9Q! zL#)CX>5s8kUa0T;_0F&Zpk)dY$6NP3GkV23G|VpXe+xyw70GP((HQqrjVLByOAIap z#~N&gK5CCld^q-G^VE|Y_Th2^7>o~He2DsH(CD4hZ)v(~Y>)1CB#$a0*dJ=2wV$-Y z9n0}e;m;ko3);MS+I-4VwwwUSTgsBPU8sTX9BF0%Saf2BF68mv$`9(z zBSj2f~qC_&}Xyl|5Tsu7s1bhve}mnK=djnw_h_de&)b3Al3bxzMa zo+&O(D3SgFuqDq@k`(|3M4LK{!sU&F*EH2`YaQ1txI8vmj%|KdP22xJ@94$$v8`kX8z~NAkRKE9?f^$ zH&}^u=W^@pq>gWIp5LIh7K7SqFI`%hiH!Dbshl7l7dS2Bf(^T zfj1rE?x9Kn$RO8^H7|#+4!{@3J<;bxs(bKK|1R35ZL!&*F63D>Ic{7)GL%O2hxbg(yOPs+lgxW)VnS)&6 z-7g%Yx3Og*uTYf!x%HKrMxGz@5zE1vqR;^_0@FGAy8Fo=q zUsgoH!uFgKRLoVKh=iwZ%2FLvP`SLfyyrs1TbFn<3rRGImb;TJt5Ol<6H}d{KcL}3 zmtA%V-OOtJQ4G>@^lcfB9WyPs@^<44_u}kh0h|`^z%>++CR}DGg2;CqPu+;z5n1eu zq_VgS&QUV!)bs;9!J#FA^~CNEJx#adHSi$*QN+8NzM zMp2Pw`^i+T!g{ky5>!7J*iug&Pt4E#BVFNa+>KWFSp7JjVr~hqY&rTlu|LSP^1YxPZAIao za#O1X+QbTF*oE$g;tH^R^v91MIpfm>dt^4Klih#9%3diCl3P{{QLM&``Np!(rPT_H4;Y=jfG+4ovQ zq-{;e+KwO5^>p)7imWmCN55+wYqLod{t~~-?_+t1L;kzOi1K32=Yxt1&y&QkgCuuq z!PWp{jlIITTJ!TD;OCbgdR2`3Orz>V6^t-BhD`pJK)UlLH)866Bk9{jB_E1<>Rfj8 zLF(1fHmQ&fWj62_JOG@s&qk}73wJzw(k|a2-ntD2X!%Q#0 zm$nO5ygwxr$dQD|44$i1RweX33gcBDn{# zihLPoFns2Goca8l0COu3C-`O=P+&>7{$YgFQeV=lQ0?vu&f*_2gCirvnB%jPye_Dj&%D19$sV05-|7y7E1>KpiU-5VA8iEr{MCD45oLpk5s0CFf< z*P4AsFV`kGeWzulV%d_2o$y<&f13IF%1=S zm0jCgT_Lf}-1Mq&Bf}NdVp~N)*{(w^ZT=CrD*M(h;@IBM>grxrE>8cBW@dF;XvVk0n{$2^cpSFzaKIJ>60mAT?CMJpxvG;&*i z)Y$m;P<#Nbc@Z;qniI^Thkyuj_+awsg@;{{`K--6mgjga-a5%;qROGGfkMw+ z!w(PeEnU%SZ-lEc`w6BEp|Afy27E# zPxApEKM%_Y2db9;)L?U@#Y``Xy`1fqC1N|Qe&;fnV4+wI$_wyG3S%&)hMFHK^ zfjXKV0-&3Shki$u0LTgGrU8TiHI8QXNF)jvtOGt;VE>oi9|`<-y8f#%2fFE-nV6}= zw9K@%Ex?*ksF?;7Vgk|9Hi5w)7MkknrZ7X`|Cbz{`7fCW)`9~6Lng}8$zaM2ah_%5 zfDZi0zK8Jr41Sp(!lvU25Z!MsZI57BEpONhE5E0v3E5V~H>0?)HeJ3rAE&jviG%)+ z8jv8p2Jz%BRd6Z5UWVl>GQ9&!lA3vz@IHvyTav)zTv1q+it4VHAJu-=m9o=ely2B0 z57&AdQ{HM(QIfOXi8+nc{hpmH=R?Og#|`oAwSs{g#cJ12(2h-gZ3JYAX0|~{Fjtm3 ztGy8vIbF(%4STdaqW>u!RZy3!rGki2wiq diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex index 959844b..02a9069 100644 --- a/AADLSecPaper.tex +++ b/AADLSecPaper.tex @@ -323,7 +323,7 @@ Other additional aspects of this framework, that could come from the existing to \subsection{Component Libraries} As with previous work to extend formal languages with security, in order to formalize this framework, one needs to produce a form of component library that represents the possible combinations, or solutions, that a designer -or developer can pull from to generate new implementation models. Listing~\ref{lst:AADLUserDefineLow}) shows an example of how one could use AADL to define properties on a processor. +or developer can pull from to generate new implementation models. Listing~\ref{lst:AADLUserDefineLow}) shows an example of how one could use AADL to define properties on a processor and an encrypted transmitter. % Add in the table of elements and variations \begin{table*}[] \centering