From 77571bebf94b3b8c5c17d46e2a74501a2e62424f Mon Sep 17 00:00:00 2001 From: Trolli Schmittlauch Date: Sat, 22 Sep 2018 01:01:33 +0200 Subject: [PATCH] abstract + tags MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit achtung, müde! --- figures/tbdrm_high_level_arch.png | Bin 0 -> 40378 bytes main.tex | 9 +++++---- 2 files changed, 5 insertions(+), 4 deletions(-) create mode 100644 figures/tbdrm_high_level_arch.png diff --git a/figures/tbdrm_high_level_arch.png b/figures/tbdrm_high_level_arch.png new file mode 100644 index 0000000000000000000000000000000000000000..1105569d003a320b04db5b3169c0f84d4156ed11 GIT binary patch literal 40378 zcmYIw1yodDwD+ipw4{_ENS7#5(j^VjB@GfoigZaM-5@O`jY_xDC0!yV-5{ZaqHmA? z_r8y{T#PVt?z!ilv-keRCQLoEx&n9oS5LA}%tl83xyO*)kuOIIo3Q0y_aWLx9vd^iJg7C9 ziSNQ3;j6RD#R+DH`WhoElKb}pUsNUG-wPVwH;h+Muf%?fDWUES;dkbrhK729IK0M# z`R~Q@4J6^e7oAU{=g|GgzI(QubfrGD6#2FL@Zw^uK*7FFaQ{JRY3a;Pe0=-|vmQc; z38ag?z5VYH)Q~hbDmk~Jb1~2Z@A#aIZe+h)n4KLk&z-lwbNhBat|B9m&jXk3iRER} zsW{BG%_Vs?30WDL8$Qo3POM{kB#pGSv`QwCHG0A}Q|uD2lnVz22Q^D4pBqx6ro@F; zB=_jhv*pgq-_KvZeEH@p30ro_F!yynzS*}L8a_IB8%{ZHwM$SRaN8ec}b&o z%ctu|E(=dDua`ecjrP9QMBuBbtG|HxeNN-S7U?~M<(_X0ltJ{tJ-bMI-D#b92Hh@P6--8xnH7~+hgsPA3Q zP;Ym4cYnWpL|4EkitB_JXn42zN9N`fF^Wq|pEf$P{E0%nccwwv{@QBKnp5haMY)y& z1~~Keyeu_ly?e_-FgEEeV&X5h zyzJiB;C+2}Uw9|@i}~HNb8~h5YRfAt_bIQaXmhnMflaH7875(E-PX>BnlUk#loGXw zcYS@mPT@E%4h~HSX%HO~Q;#k0FYi{^^>ZE@nTGGQ?IYmLe$`BS+Kqv2-;UM>_FTOz zEt#C@Us0zI*4oZg*4FY?&9K*Tpe9L?u+ZAKu&~hHE>WY0n?nDJWIKPZ%5r$F;l-uz z$GLTQ4`NH6qO>nLIk}{ycu{E0j1=4xtvOS8^1Y4UQR9R%WZ zS{fQ77D4!DjN{iSHhq4dJ$L`NQjW|Md~yY=kO1l&7Vp(@m^>HAR3sI+9UUGXPS6Ay zB(x*vlh?kp04D9Iet@}7`BZnebVE5!P^=h@ioSm2zy09HEPrzTp(TE{)-GW-`MqO7 z{?$p7vXQ;4e$@naD>=;7^>ql?yms|@iS*N%Mpryrv$ zQ@BzZ=s3p}V!BMjwz}U^P$a?Np7Lesb3Dw==$j|%i*l~>FL7n#A|aLJ|6@a^K1{C z1+4GoZ1#{w>E^5i&Ei|v=uzR_P|zb@lNy~}cNXwCmaYwLBGG)bog8ZT4!-!(2eB5z zPU4*Srb7c(yE%E7d#U`-@2XNeG#^Tvm@GAW9Ip>&bN;uZ=XyCTC393ZM{*=7 zqAc9qb?hajL)c!&^DwIGbMi zzFXx+;Yb&=P_A0>T}o*_Eg17kmYjBle%KgwNUqbhV2F-Z8$+4>r*Bc=vsl`fr@?8h zzd#`+IWe)Usdb>4Dp016BG#34&ANajO@>U_wGsFC=M=e-+$v# zI^DYmp#?I{?&3#Lj;Z=SKA!|R%r*k_OpLHGGnvd_Ax`6<*0_}2nY;BxPva~E`N(kM z1~zoqZ<%~os_zbGEg%zq{P-~s4-YClIEi~eb>`k;xStIN=6ttmc$r$MaQyk-=JWOR z@ii|Zb4;gJs@d7uC~32_sbU48I^OvtS)(3pmC&wdHZVii*Ejgki8H_eOi z^Y`i@Yrc{{v~c{ToGDOKU(bKh@Z}p771hbB#e;+G?d94Bsfx{Q3i9&Z(NyW_>80OS z2Wb*i`hKiYVW5RaL_EphkCR?(gOXvU^4W>Y@@drh-*%RVh7axUQ7^El^3kgM=343+ zEd^s(=Ii#*?er2Th0jv2nN`jF+?{!GvZ>mDdj&y{yRE+({)q7w8yj1(N@+y}V^HLO z<#KgOr=jHfl}psK{q+lz7K%-c-Tm3Rn5k zwfIo0z0}u@Rnr8w1{>n|gjo8h#3x33Z~M0&(y_C>uw1oJ-zZ2XW~h`S*bNgQmP=(f zXsm8%m|1fwD9)quWA8aQy>azQ-K@|4Tmz(0waKDUE65#sJy_G`SOLIo11=M z_qiEwda46gm{hFQC_Oz^N*hz!vo(yg7{csAm5F?epZNydd@&gr8B z=Clw9iH?pAh)O4P#iLdjv=Cz2HmR3WAG zd+w7*a(pySG50kEOf@A5KValo4N6Y&RlX#GGt^6iksTZ* z_+?r)g^WELqSrhmH1sh^{+#PG9+B*rQug9uLTn!0;0dG?ET>kf=CYjn70!{MDIXKd z;#ZNo3)sQMhP@Zjo3)Y6pOq>ecf7hMH{RxPPuc=;&Ipx`E`xwWkhz*0Csl5-#+*Kv zK)N|OF4Mc2ca)4bcjkkk-s;Z}Upv$*w(c=VlAm~CB4)^`seif)X_Y25Uszb!(&Ez-O$8W#tv~6e$eD3j!%a=r$!`UmYUU=%d3|??N}Vv! zt|}KEcaa+HZf}>Am3eO$7w)(IvR|$GOi!Bo$T9tb5i zETxBs2WRWqGDLkIZf@t3&C&DY4NDWX!$>A5_}@)Ko2>ydB(L!gzT_^+x+DCI9(kHf|-K#u8ob2OboT%2c0a>?c${+ zlUKdF{(b$}r1y5`n@(Y{&jSPLf^Pdu9ig;r;{;n1`HKJ@KIPzYWkEnJ^jdq4Pz#;j zu|pzR+1aag*pJr-&9ZtkZhNp^UY%iKVaZtlzzZu82dLod*MCUFfCfEZJ>lh_<80XS z=HpjrNFm}<$J`KocjX(vVp|k|wFXkc*SEE2#h;1L(PW_?5Cc>{<$5*9v3xltC8Y_H z>%`H{$jXl&KQ=b%Rc;|-2@?8(m}n5hDFe@V(~pmiJUu;OLA{pRgC|S1%`&lq==k{D z{`@{KRL(qd7Yf2}{BZPrsiVzU#eQ5&2j=rd4!trwM)Z%4JrN?7Xge~4+jWOTQ=B1~lH5Mt`QLJA0+2WyAwYc{P$@e^&m42&NK0)i9VWzM^Joc@cBspbeJSB~puV1m0SRMe;nIF_V z?1@49cQNNEu<(*fz(dltClaGS@f7AR=rliALHH3LPp-e5ocg$L?KR!B zn{~G#>I#jrRlwDz`Br#hd<*V$>5u8n3=Dj3x4^19x!uY0Rl1NMLk!Kw_2DuV$^_|# z&sCT`&0fq;7nb3tp$f+`y0y?+<3SXqXjJ!yd^AWV6>TyRLI&JQ5Pq;ZWv>SPAU-!Y zcVgziU7A^-W;j3ot{k*zy3n+mNhZSfJ)^>qk99@6>Yv1>twz=0yft<*7KdqpaW}~7 zs0Tyl4N}qBykw#M8HQfZqDCbec7%kaMBB(Flf-#R zi2VI@OPqHFvo4Ag4Mni@&QA*A2h$HPrrL&Vi)QG8x_!p=C2DGFP$4&h>&DguJu7M8 z?$Yi|)m+KRij$0k(T~eQx63O5gv_acWk_$`a&>k-`SIhK=0dh(v&;Jz2J;W+{w`C> z6lT+DI4I_X*Kk_qj_e6YqhW9E@0;Zwac2bYY;QmGO)*a#(U*Wc-gMYa32{zOPcNYD z&7AbJt7Dg&w?%z_126j7qRRZ?RT@&)rp!|%q37+moD-kDJ*V${&7O=IpyEg|LA+Z2 z;R(4@7GrC7x3i*>SbW7=hXxNflfbUQ{_ZL^#@Y%XR`23t;Nan5MRX6n7TOO^OO0tc zStxz7fGdtkEJ1_+1@H^-vk;-a+lac12&cepef%)~Kyg7nna%)ipW;MPyZW(qDedh% znR2aJ+gjkLLV?YMTszm|<;FYlLY`o(+?kYw#6u{H-I+x&Q#o(6XxX?%FH@Px2EIYf z9C<5X)#=Y~kAyyYPh|J%^O*V5`5r^h11Do0(^3S!Y1IsX9KhAxFE)n6<=^7f?U3Ov zh8b>eovcki%mKf%S6(`@nW@N z9Q44BC7K{WgArZ82yOn=WK9~i`bQBxwvZH80~%*eDM2XGO;P`Q$HBzqZ{q${1UYC5 zkfObQ?ml|Hj8-fAHm!Wvfe`(fj5MDY9tXxf>SZd%ujrjOW)l4-U)7GfQ2(ep0;M>{RL54Ljm>9ep*+|p2&weWluA>yg8)YNvdu;j2qB4b?)2lH#1dD$K-zW%`-H^KZ z^z0rpvskCw2^1@UN`T*NUM8 z13ElTh8i~UT&s^@axIwxV@+)&8 zTzIuqRERij;?zALUE0mCkU0#!t6wuO&qy#G1b?+-6gPuDt zg%m^t4{2-C@@u%BWC}2><&Slk+T^Mx%p8CC?0(f>%+SzK@yDiWFJ(Tlp3N^{4{zYz z?k(Yn51Zaf&MY7FmdTUoW#y5pJd-3Qimz}ck~r~f8QvH;8!VrAAcvt^tWimEm45A$ z|23PbvM_7hIFcjj)Z4Mnz{>0E>kEN!mcaC6`RV;VjFj2ivWoWh6@wPDmCqD(b;(`T zLL`wqau}%Ftg%TsIhM!7ZlhhClf>joUteFBx#Pnqp6U&`i0yG3(D?t?HJouE-uF7|RbOCs5vttHOPtGMy94h{|`COLZL)MR90 zshuYhaG;`A3?VmaOleUdYc8N(b8&Hjl7}~4$^J!RFb-0!T#GWQ`{z&Bt-|EU@Nle( zH{4`6hha>mlky1}2{wH!nye(0{aemz4|+;=9hnMv+^y1_S2uzI?p7TuPu+(`TBP*jQQJMZdW($g5gW0v*;umk>IMq?=cQA}5pM*U%e9yjLM0-hmon z-WLxHC*XnsJ3NGLkm0++oJWud29GoyW+u$#5C-pc~$R9YQunuiSSd)2)ACAR;2d%gbwxSBBSIJs~I-qV3;RCec3k zN5fB#T={P=UDYpIxNGwJWtq15BdZTOuS2S4_Y^<*g+>zmpBLcy-qH~BZU3*IBGPki zcwo zuShq|?>jZD@D2- zaf}?y?$oOhG}G=>9twQ~_>3neKaZ#C6HImP9&Uv*kl|=)YPS6RYE!)M&b8x5o=PvJ z3P4P)QVveex*1#Yj51O`XUiYklc2l-3j%CI^6afJmCj=;h&#c-!GOZkA)wCH(o1ol z_cgd!>6p28E;)84k|eX;pkoh^xgXL}t5@DG6(2^~O;~72<{b4j&5a$x)fa^W;a?+> zaA4)`)2Yw^k^n*%7&x7Ibg}czAD-F6g_B4dB$9%HVwIO^jafozeRVbCKb;4n@XEBk zd#fBPv&VI_WtzhR^Uw}j{VPxA-dm~JzNLa`!lrh98Oa?vK-IDqH`Zh1c>whxexk0d zg2DjI`C+lQM#-oZciQgo1%0rmw^_y*D>Q^z!s zM0ielxl-vQ-c3*lWHa861<=(JFL>MQC@Ln58FDkY-=(s?AN4-`3>dgae}vubbKp}Crdw~-g*U1NIVxS%rgtWmnh@#+KO=S^9x1v ztNuV70*lzUES3GhW3KAvpxAuZE`ngS$CdipHtFy`u2ymYo|ud*e*b#138}SVNdOxlNK6moKdUB zrY5)<-g-Ap=Z`d;B59%bBSY4Aa?%u?#irN^Y-Hx}Sw5JAcOh%Ew6xk4(CGa{t}R_3 zMsGdKHrC9{{BtUEVCj^8O-)Uk{dV>!I>blRM zAI8Lb*0OwT#YR!?NtU_0+>&PsBhjyikGwzan9BQ z`2N%FkiX@=)(4fc+EYVpX0(rs*>VkoNhHA?lJBP7+}wt>PbIZxLkHlI{#^b#jJ>V~(zi2+^`AM7 zV@DyXH||L-tqIdITXuAJH%jD765|*e7H}RID0#`@9gpqi1KcL{$k^;qvq|k z|FmPna?|YeMKT?i~bA*nDH!?biwjaL|F|yaTc(9DnZ`1vz=D1o;qo zIW*F%2r>H2pJg&)A6$zyLSbt z5;Wvt%_QZoQcLGOU|HeM94fmkPM#{7+$LgD&Nnmdtky_a{mLs}a_#*#?sB(96$vr% z#N_0REw622;%jrC=Wj{dj7MyFrza+8B(Hyqle%Qmi^0vm4i5yvtU@w7T-Irp@Y+@h zBPQ*mM~^^)1JwrzEU1kf)dF7s13h2_YIyf<*p^p8Nbtw)A`R9g`DZnH9X=5{A4to<;!@JsXDVKJ`rt^Hv5SaRD&FsUJa3+5a) z`C&=JX{Z5Dx&-aWsycWbzNDvL898M-Xi>sE&4F>sgim?)2!}K|1t{E*3%aF~CDm>s zuP|E-;hg(|r9e4AZJ|9{u5II3Q%ehSAS^Z*O19cSr{SiEnnY4jQz!enf=%Z>*%zA& zIdd6_X=LX3N?AtZdkxR}HcZ+wS%ICdXvZ6cPZ0a0H_JZ_+2L0#2u!1A(FO6nb!67- z%XFEkwM&2hUa&>sgr@F8k+7|RXELAH3B#5;AVV8gHnwLT)BdX{6h5nSwzQT-=u6g6 zSbw1N6R!~0y~j^oGs5;^z;2}$h-n4aNo_uIc!KUmr|BJQ8V zK*qPMN68sIt!RrrCcZDo;F%KSl$zQpIP~^bi{o06T>{Us*M{7aPUxX=Oe^Ika({s>oQb#g?Liz>@iyefvaE z%sr#D!#(OTLuQdIp>Li_y+{m3!q|R0r-Uj?w@Wt0ja5wXijh?x-S84IPyHg(;6Hl% z%@TByCiaQ!&Teit+!X%=e;UkKhd+tStO`r-X!ZqFPUvX9#$Wb*Yh>~u)T(w^PQf&{ z1U;d$(g|g9pyc8rKMTo=cnyM_m6fdhQ$MxMot<%H4dlfm`%rvV4p*U!FNAi(T9rY8 z7?kP{m@XJdb*+PsuZOg5`4JdC4$7&w2vSd=E0J8HS*i#q=LpYA!U6XshJWH`97RU; z`cun#Bi-kva8_U%{qBfJp~_%w2UH zLh*p#Z;+u`VORPvBXjgK8y#db@IisXhbrf=WjS&k92$+Oc2v0ArOz@m-$&65_V)E{ zZEu5prKBRJOwz|hb`Ux_(A{a=y$_Z}w+`@x-_EFrd|p;i!(T3BL=g^R-T^ zcLT7c$Ua5W!{shW=v8{7%{?we?9<@BHxf9{?AxIwn3)h+L^mQ|?O5K2LimQbq(1bv@5OehFHqDw-X5*%J@ zddt@@_Sg1s!p5G;Eq*`YP%;{y?_*60X9$MOJ?ed;;}xH#iA{qIPvTv1al`2Xpew12 z&)NyZEru_*CyK$m3r>&EnS!KgT*vs^vNLtE{Sspzg}#{bQRx<_F)+WPdrFoqrtwYN z0u~oaQm~>WZpk9TJ{>VZz^o9h%*_q(+%JB!`fO`s`|&=%eoS7+68N4@>gVk(1@k?K zKH%Ww(v9Z;FF0xyME5WO_)a?7{DOkV_L7~k-0Lz|K(bJG`=C|2x4)kZDHIJh5$qr< znvd}hzl16{cGz^-+_@)y^MLr*UCflp3_f>e(@pN1yj+}Un$+$Vx zo%GgmJ9WBklTlENS#i6!o8Ko`@S4khI=9m7U^r?);29P@JeS*S;nZ?0UUGQu-S1s% zo|$G2VL)AJW@;+=R;Cs%4Kv$`=N_ z){Plh<4PX{vLz@M6ufGk>Gj~p*p&2@*s)Dn3PtQ1 z8;x&nKI&%+!q-?vN8|^9<@@5o^Pj6~k;ZG1{_(qMpoAehOT5x51!?DA3N{NXi2@D& z`x#rHRKbs0Qc*!oO>J*wrJ|RigjQc_CY=}O6>k6GiB#$H8ym%w{7x5+1W{dKm=;fh zu+6>hG*p4RZa+)5aJ(-fcCGc+epaH$dYFBR_piM=hAdJ@7(xUDs0r8P1D+z*(Y%Q_|VM`K7tCh-1uAI1~a0KQJ z%(}`u7Z#6YFemc+%-db%5PsbM#rIal))88qC^-S)L`}5s$j1 zIZp9$@$Z1qA1A=OBH8cWzO^_%TI*lDMNR}RlqJXe1zk`77VI=M->X&%Qg3ey)2VbG zh3ZOjRq?KKvA~gp&};)4Rxnh_YkHZ77*Bb(E_}g@eC?(X4Yyxfe|K1h?UR#aSUxG< z$nKy)3mbcT6j)cgdIgc6Q(HTAa5`%XmONT;W=lR>8{qud?64@(+n)$pg`j}I>sQ|2 z{BMBOe3cgqU*eTK&rwwXY#oQVO5n3#i=n8lpH(*yZ_I(;1`3d{U&hjlSeYA2$@j)o z|4)P-8yibbz7^!pqzv}Wy*&`F)3~kGpmGM6+W!j1V1<>H3yw9$f5L0bn?C#XD-DCV z_vfbvv9oBg$uJzi-DTi+G10Cb>0RX^zXrvaXNxaHO)#&3GrPrkD_*NK6GpYOD<4>k zzg*;Mfu05^KhM3Pg13Jv*2v}1veJ8u-cSy{;rnFG$3ud3wljBEJozTf zxwgOo^q&c+f6Vy)XApRxrq^xyLxO{j(mU#Al@7wB^K=`Xx4?&payoebV7;Zq_?qC^ z-Osxk2|%A2d@#L!JAsDa4WoDfc&P#R!Vmk_GX2vONetgj@41c_eQ#?MhpK9P%VH?Q zV_b>v+539)qYs6JJxh-6LRqjEkB*$qXvQ(J(tv_>ZSv_f1j@HOMDTWWFTpbTwWt*l zm+i#45Wf?2Bq6=BfYf$a=~W8aAS@*bjLEcWGqs7QH2B8F(M5*zK`MQ+7&#?z_!8KZ zTH4y`W==0&j87C`i7oe@O`xaVn4p)vWl^PDI6f+|pmvp~*s7?X-t_M9!Ks^z3ucps zmX_1w1=7WfKd(Rj&6@SAkU93W=BCISl{GpxXVaiV2(22ZUj1(re=!+D3}-vN0(FHaJ4@-y*O?2Q|TsqxA@Uf1Bb z6fmd7d|j7XMJ0h8&-dtRtp4i7);n{Je}zRXag&2o4@Du3T*U^;Q^!j67xFF%+?A zhG9&96T?IK-}koT!gfT4u;qRQHs$-};phGcH|?znlKQDIN5yjkA=E{!Fzgm#Ef?e3WBW z0pG@Zi<91|btPErIl7(gEZu)9zA{?;^U(m0pja1|ABS>%Fs=GAq|Nc$$Jp!TrKQ6{ zBn9Iy%hyRcipB=;S+w_v zpg6e92Z|VIPY8!ezS}q*JHqs)A`u`8JDSNcr1#tK}U465}E2~mw?ogrPO5JJa> z*&=|Bb#`@y>;le6U5jDrf0x^?<8`=YFu(qxq9RLxjwKh1Gwpf1ctO5ONJXhvh@itZ zXi+Q#zpfZVShof46qFm5%epr*>#IgS zJw?!8ZvJIT7&d~0={%)hc2F`@f>Pl%+VWfGb6xLpmupX0&AG3nY}&SNF6cl6Uw zi^o%#W(C3=o1z~dytz(80cy(ZmoKjc{tYYNv*rBHawv-d-D1EW6sSEOc>$GDpGaUE ze#HZ-DdYR^Nz4J|s}+N^-Ddn|{DFHs$O1(bZIpog;Ip9}OOE`TyFyXD>(6?M+j5V` zR@yy02G!7RCyYr_InhZs);Gm~p#B@-=;NU#VQxy*xhGIt<1r3Sixbg`+=3B)XVy4t z1*Jc)9XVi!<>qXHCunp&LC9|K?f7cU(&pBGo3-6!>+fSqdMXg<(^b!A{k$;Q(^!uf z{Lpe5nAA73aQq|RmJHpi!=zDlzoYqc34j0{@4Ea0lZX2(qXuDg(RT`pbC0n&aQHZF z=sf$1JIuML1e|62$;XK$dco>pddaEJDbWkh&G99k;YGj&=c0gn5Z?rZ?abDUnw*y9 z_e%U`L4Own+@%URExSiVgXfFM=i;`ql=n5IUc3mh+vIoFS;{1DKDj(U6Vde2sL}~0{Dm_zwaib9Z#m3rKqRVEM zcBq>6egbxlOAjDk*%#?yq6g*xV48j1Wh8hTuR?x> z7rM*9mO@=zRAl@R>$(j;REt(+d{q5Qj^5wfZa9OHUHQqV<}TWX5*2jdl@u5E^@)ew zIL{I1RSbRnD#m2XYZzmQ^ z=5ydZwg{}IcaoWERbQyY3&Ry zbGYc&hI>+5ZNI#~66SBdWWzyLtl@kP(PxRY>7(-f#8*ubj1o^GoMQ-_$%ILkSk(%b z!2456NWj3sYPa+{@ilC)U;9lC01WyrYjEJE81Lt%;RH(*DC6<1zry9BGsW>0}iZS5^mcIqpB3SUZCrcCf*|i$4 zAo|2B`a|V5Hbnn=7#L*EX_>P$zs8|G(FiJVgbf!!%O96ywY{tzkKJ;O8!bzwUW`1J z0mKOJ<8^w6jNmjhv8~R;drWULM8st8lg&YoF!Y#$(mcM>d^FHi{Pl=-)PlKjD%8lmJXn}d(7tF6r&&5!i5RdZ-eV~_P=bXUU8G8q& z5ra8h3}Hl9`~!ub{h^ptdaq)nQj&k$EG``{kI}Pm?Ux5;qAYOz*|RRTJICqu>tNG@ z$P~o%1N<#|+S=L1W1W!86}=h^dX{I=<%#kgz}#}cD$9EL7Ag;jXl_p+d+Ajh8@dYE zB=x~Ux$S-d6qmq5lk151w+6gqI2u%A?2FCl=z;zu=}RSYkk}PlB}vr6oz)&czWy-D z;`*|O7{@IIy&%~eSN$t0Du5}Mv6tk^h&KAW{bRlfgCk8%`^kz$J;^gNjl>Ztp~b}K zYyV~W1%WSenxy62dE>(-wEP;sN7caqW|qX|Y%UOB|MNC7UxjXLnGZ67kFfRWgQeh+ zQXQ}!dV%AxdoJ4)vpX9K7o@5iN#+IRqdtQk*ruCEuJjbQm-Q?4mUm_^eluERZEB7@ z=&Nz@{;J5&Zuj$7!a8h+|wsk+d<;kU_B zA$-E`;=#+yd!)GbRqV-OBxz=1CdJ{HTHMAfe5bSTOLQ{Pw$PcmMQ6ziiI&@l4>9(p z@6NRcL~Qp`224MI(80};XHr0kSR4EDrMDD0NE6T!zxyPjtNp321>R8Sp2<6KwsCyw z!20R9hvMMS)^mC4g9jFOF&v8SKHL94FF;F{o3(P`!^g@~xRks?7n^y-WaJ10aTm0P z0PO{4AvNhhI4YxG_FP9XC?VfG9eR7+$;vFS?Gvy3*u}g=D1-1lZ>n?Rhux@7NOYLM z=U3et75K!g684$)U@qBD8uL(B^&CAo1&b6gGx;$%2!uQ|x>^EF-1l`NI%yy02HSk9 z|0L3d|MmnyFUK$kmJ4~M-a_u)<3Oh`cb)3h%Q(yX2b1EP<7V2c+l;@}65tI{Nb!>l zHiwOmjX6Pi2Ygt5Ova&c0c9_?R^tj?Sj0REIY2F>$_3Di)X@D(YahQ~8rl(n?>kUu zf*T(4>7z$s-R5SniU^=tvUu&%P_V#H3JNBph^c{Z4jRnk&iKFZK@X}_fg0#aId4q8jTh--Nq5r~ zgMdnC@j7L!e}+orVzuM5vw(;|WJBoof(?Xdm)Gf5&!8 zkLA_J!!f$}t#I&d#7Okq^wa6hUo3ZMS1oU*G=E>u7PS}xma6_YHa=%)7$=(82k(t0s}l8QP9$}eg80=P6U0JUVJ{_zNrw4Y&JYVEfC8G44zacV0F7p zp$2V#x(8jI=E&* zrUXc?U{oU>=xio0u^ejTfBbOE?=po3&BP%t#F+noM!v{ls+I+A;m7Lq9~3!ysf)%B z75}ac|0NI_e|dg+oPFpWu3G7BKU(P(UM~Y~VqdV->!J)1ij#zBR{?xmLEPVv%=fR6`w7}h|Xy@vDyzi-x}%+?l6c%tH`VQo)$jI znjcT^?R^-*q?q+uu*R|MFgh$O@>*p$^xOXa?Oio<+sMrvL;ewZAnhCr)Jmjnu;K8Z zO}LZ{{w)#y)AO;WWk;#&%)SoVu!TtI0u`T)?xqvnS@pdfT=J#4{PvSFWtc>igyALs z>DFvTjHk#MeVn*h?SmKVpQEFr>zgE%`W4O0=s@`;AaltqIUgMh{CHV#tb3}{PMEyC5upmd& zAO1)js-GKuC*pBh8v4hn@vqZrvi3);%l#)0>dkNC^_*-Ke@(>XO8U!mrI@eEU4q;H znJBNavQ!m?0yh4eYo-$ATEOXaXLj5MU>1w6B7S~SAu5HR=$x=t<>mR#+k+?VL15dP zo)s2WR{69f8o}4#v`Ccmcl?Km3k@^%)(buU(BRrgA z<;#?oYDD6>n_4 zrhj#-a{f9VAO0wGzEnUED)92pZ%9CDCiK1T(guZ|?56a%G5q=T!TX1=T7`ixw1>ZH zGPEjQCZ^Oc9rRgzH7)W5|84foCaBC@36LTs1iIW>P;(60Z8`GSn^t`I5XXkL#iExV z$|{>cMszO9Ca#w&qyjKbx+!Z zJpvXvjIE~o+@=W7g{G~zSw7q}=SFS%ua}2+72LMmdSbr3PF_-Wly2;yOG|Ej@=mI1 z@EQW8_ydJ;aN09Uid0i>f0mYS`k?YS{z0x5k&FIQ_GHK9gXJy<^B)o22ZQ?QAHJfC z&5f)Mdo?vLQT#6aAD+HCE~~YP78Q|}Zs|@1K^jTv?i6W|Mmm&6LAtx86{Jh)loF5@ zX_4-}!};#L{B=A(c=x;aex7+|)~vNAsc)H+m-mxqNvsuak4w2Per2nlBgi};GS`Zf z*q{5o*tM;=+52i*CNPvFXxBj-XOk$ub@n^fOiwZVR1FnDC0xqHTgG2GMKcWAwX<(b zw;f?+9MW*&Gybg)C(mB^0*`-lC$B#^rNuUOeWXYTKP%oCHn8)XeGid!oW&!fNE z0^VCUh*a~BPno6B=7;^q-Ns$HNxjY=nH?Ma#)@NEhyeVgkz;DA;8?iF| zK}2l5-w)P|-LVISy=LeLVUHmTIpr5qV8*1U#?KkD)TC?}RfychdC1hE7=;0!@_)}* zvqOV<-oN;4Uw@5^Jn_Bkxl>OWkeyF}qh!n@8QYJ_CZ!WB5RmPLpU*OiSFPI&*c9*W zr+&1=+5Fs1q2`WF9x5YqB7Km<6C93 zUV@xV)HdLMU6a_>sw3e^d(mh2^Lsnn2mRPxWTYHa+x$>s+D@C2YzSf>2NCGh_(fF@ zw;9Mx?FvDVWQyH4^x3zo&!c6NB-kG6co2?IF~Qzkvbeu+X9d@&Pv(;h9d$~6+M)}8 za^8~g1Ia7DFkX7eet)#grU6|b0GI!zdDS5L2S|ihvRekAZ80r*uR^VB>FD6__#-P3 zLf}&TbR!Ovdn__YNiV|lk2r9M9~WS^t&k#F$$B#}V2_na{GyixLk-oUI#`S$X?pWf zK?YUqvt3_1TxSzPC$I{+D!U)Bo%K*RdfZu6|MAC-S(<>0KGN%q!HxXj)KKU!ab2s~ z=tg1TpIrFLEUlYiybugd?M&X-W=ukI#c!u)jo3Di{|x{M?+3L^tHJT zQj~=Bu^Zq*@#VPf;Aypk8G(kfy96^x|Lse3;v)j%|Ki0sAgV2gHw zj={i~?>+6$y8Ph=rRMs)-SVgD-1do1MN3NyRN2IXNHo-V1o~#}LUhIDtdqZ8@jkYX z3AKsT`*;kAhvh#!aqPPgThwW56u~~3UM<^3vXNImwdE4*GYx(;f5CDyHO5a9bW$Q&6LWuzNpqE1w{e(_v|8}0qVr;F?_ zUn!mBbSLxiJ$Wj2+)6RT6w`p`M*j!{F>|A=oExhY{bgxSrM=cDOfP}7m+ zcC4!eWCKBJZ~Rl(bg`fLtG#XhcoeO;!@SwaL*+2@YwH*o_PQMRs8X%oGsk@^;734E z#{4SixDb@>fDxX5|Lbth|5tMk^J9^^MDl9bH(mWXv|v+G9KrBVZ`^H}v~;hOROSkw zOzJ}0pH^m)dRVN!aN1=$!x-z*sUmtpsG8hguu9U)6+YkKP}^_$l(RM1fh&J^^cRo9 z{J*9doU?K#(p{1d*9UjPvL8x8?y1Hhu?YH3MBR*2H^1}cpesKdjA7#-0+E|b=Z(R8 zPeeO0BDS(N!KR2nG;9)icOtZnE=1M$H76S>)nSs<+j+Wd*#am(37l~ke?-~v$JB%| zT}AEhFk?AEZ&bSxYCeQ0l}pG{XL#buZoar%3FumWsjVesnd=KF^XiJ5)0Bo>fTiX4 zsX0@{(>BYex~v2ZjAT9>Blx!LfX=zZss;+QAK`Xea!ZTQD`j{Cds*8{6jD&m2$jhq zP+_NAK zi9EJNZ1iou%$e+1pF5da(5iAGt|_`UF79_Gs|+8AJMw!4Y=7t(b;`pWXdJ|oWI9Im zU9`(5jIC^XxP?0U`>B#2zj_}PW&&cg+tibRdjR?)Wtz;yMJ&-*z2zU~*zJxVx=On6 zr82p1BM;d2ru(;K%>lidTgs9zJ$+DmhVlCxT1-D9Z`vIMVx{?{w7(R-YZtYOrw85Q zgu-Wk^o%f8Bb!_D@+9mUzac9>$Wy)%y4-Dd*-ONNE5YLyk5rRccHsxnOj+90!h#a= zStp0@msg#rCFAG2?GMpNtM({-PZzJReVM1B2Y4$nPjI_g61fhL`2{qDV(5Us|0Tf$ z-b|m=i;XV-5dK6HFzdssn3U7XEW!xHg8yi@T-P~fIB|ts_VyS4Ps@4_{@%U$Yn51}%2@wZmJiPJ7A2?9b4@;@LDv`McJf?a8(C zj>{eaV4gsE4^kcq7r)mcD@%|3oc6ZtxBQF9yehsRP7YJpT88yJ-~XZ}{aJ&$Z_*ddBW}r$kI(TB3i1Z1qn@(+dYTQ{|7i8QuIk>t*e0{Rb3_;L zb@f5*!mpa_f5Y}S4Tl!xE6yJX5(!`JIIZ3Rct!dlWWfATgiQL4bvs>244Itx5E{Ki zUF%EKS`ZZ8?NZsn6=^ssoIIv|JMa=JXo?NH;s&{@HR*-+oB4oD)Z_=uEarFN0m}KU zzOSAH0OLlhnH~QaA)H$W+dIx*EP`>ZOxN+6*kOi4&Aq3iVY6ZhtpR)eeZULNb za_1;i%c(=HhgT~f^|~N&?=EO~{qj#BX@=j|L&$M6w}gDU*_N~}7xb`Rtj4@&8 zJ6H}Lz6;5)W;{RV>_S@i*%ouw;p&sw30||xNqfdaVV#+O+4 zypzOOEBRbhKFy)sbL@~UGOh*6$L`vjlTM|I9$S?J;4&_40&2zAL5o!gmG_$jged;o znzL)v-%?k&`t%st;tjt6c!kD<-;KWg{2I4rG}4cL@Em;i#&o&_=&8BUvCQ7npTNzK zmok>xUR@nr{CLTgf9QQU@&X98jxK>I17tabpGPudOrzoJ zg1DqpRm0~B=9nP7mn6>J^=pabrjP1MdvxlxtR9WqW$3pcjq({zOt7?zwI)18YP}d^ z=&wmzKl_bKQi<^hCC37G2t4*jmdq5pS0+$Z9-naZ*{an1c5Q?@h~&kK<idJ*}tK*gE9Vl=8QQ^@40r^BTQj~vqI=7_L~z&wwh7yy8K8gKL+?lvy#Y7%uFSH z1MM1=>9@vvQK_lSYss?lZyICmTP==O&?xjTzg_oRw8VfMYuNJXtv!uX7pu3CihA*8 z+F1Cp+K@Y@9f{yU`Rr^>|4Rp!A^#H zRhD)g=|05N9?mjFK(t=%VkCki12xtI2m+bq6!C+qocaIBH%N_)KK06*Kv1F&$4C`4 zyPk{9dy4cH5n_yo$ANvOk7ZY+%d;Sx1N#%7#Fn*9@-zaqza>!O0ws*@yDZRm{DiMh zm%yN`W0KIC^PUdYyb$h`Gs@c>OF)o7GYg5e@v{3zh$J-?=PmFuCw7g~72P1e=y;8Y z@D@G$Kj#(`AmXYY=ImOxYG!Vcxa4;b^E&_F)UBI$sIj9UFx8V0`JOI#$rglrU5}`u z{PhDANaW^hs3?POJe>5|HMIQ#vCjS24{sR@KyBgFrtg|e>3XAYCtmpxn&EHG_pwtY zZ`#EZG8rr7i@~Czki$qzi{t8N3^p<%(t`&}EG5zq)8hr~adrMlsi0;#+#=Wi@=wSw zZe|2-vUq+x9cmqjD%)F}T@_@|oa(@5=>OsQPgJol){O04bl=@XV*LSLJZDvX=e0q1 z3kSi+YM&)>1SzqX0{NwbiNu{iudGjLq+i2jXrkX$7xgwFv3~_e;$N@n6lEfV#S5P$ zNA^#ZwTvTIdx6i=uk$A=wlz1;)S2mO=Y1Cn^%PEOGfzA+PQ3h%muueq4cFGwyEvY) zFX7Ux`7+HcVeuyp8JXM4R$zE~!uR-+t_-7BKzC-kY()>3|5uy<2e+fMx$E$JMu6;U zMOjUm#ZY8z&7+>*!=6jv4h*g*OgkT~N0X2z74eQVsY88FDOw@ywom%jd*v>v98E-X zu(5H=M^oC=hk}*PTGqO&EnF*$!pJHEAq9mU$>SuW?Mz<*)s{rqNkx2hZLLhxrmrzK zNtc@wk3k89~~r)M0;5{H|P~-^KJ0g_Z|j%L{Ukj>loVs&)*Iie)5No_FNN z6&@bDkj^Z9N*fs&=_dDLU71r+AR*WczUjFtRJX?Tx9qpb?9M!EtUv3FyjisG|H)Bi zq^@rIMZ0bBbKjErJ(aNGnXxkQjjYVLtV=3hE=jZ4@DL?q*Eo6^by0KXDv!r99{d3V zabGHCAjbo{wp_S(78a6(K7~$~Fv;$MSNJ$2ShPCAAK6aL{$R;DlWkb6(EOjrw*jRAevQCrg^lm7+8;>~#JwWRwGA(EgHT2p0 z@GW3IW4mgN!|J;4LCNpDs)5&{g5*P4qM_xdRyQ~LP1O>}9==K&M%VWz*j^lVzVJJp zT>XAieNb_&UY$m&LKMvBv<%YEe)l2Z3Nu#}qALk+bJd-62DC}oSMDR)+6p|USZ-pV z5Ns-Xg~qAY=xS$gYZJ27B%F!ZL6m@gSo4|u_cgM zQ}gI^f;|T3*esJsG1B_d=jyGumVG>j$-_Q%HWqI-xgJ;+DB8@to3OxiDAfFpK8+J& z3xAv@B=RvRL}JkpUlzxav#mURMlbWM&mKbr%ii*D{Nv!5k;bUNWj1{TQ=9Fh^L_ z&C}9^#jV5}Ff~0r&HI=eNRKel+61-TnXL$Qr*7d84{7A&@uxWIotds*vsE>fwr z(S9DAl+eA_G6bVP`N9Y4u~JB=^4rDVrk{rzzNN$Mo^LvWEjy`nM;$r+=k)t<(K#wn zbKO(kkR-|ZE)M#+4l>$ip*gY1=+6PzOV~pw79QuKv54b&DnOtH${ZP{K#TKE>jyvd%xWG~(Vodx z&EdML>;>;Gdb}+^PQ~C00{N#6ve~*sI@K*JD7{0t0K7)9-lDS!C`=GSuy@5dO z&a_VY>Lt@Z_F{Tbx~7|%lhG%?ZvMY7z=lZXJI=XXqZ+j7_8mrM?EtRJrq^}8o?Z=H zby%)Z$$z)_kRO>}xG%nx)L?!6(~sW$F_Aa)kVpR^IyX2YB$$C)EmdHHlDUP&#-Fy> z*jR8SPMAI+y}4G(xN4>7bpa>h4O!XE$qEi8CaOTe!(nl7twf+&219yQ){YN|Pk2F~ zg^P>(MSFlq%ge$1{nxMyN~?Qznyi%L+A;};QwK{}LiILlu419%np9~4nqqC%p$q39 zj(U&75R;hvtl4G@_Oll8k%$ z=0bok_$Wtq$C@)p)x9A>QjVY`e(~Z32>kipTDO4h+^xl$4oDHehXHLNMZVyt_fP$h zm7~o`@TQVO*3s5}J5rL)5#2$RX{wU`Pb%GpQFZDhwJ4P=k=EfE8lO36;RD z)E1J{tE(#}j_>7&b`e5Fo?c(H|GBkZ%rRtobBc)gfe+Nkh)RMP13mpW-KZo`#F$Bb zp!9qR>S53jJb9b4oa4JE*;5uA(y%|x631aK-I>v{JATpX^KdSci?=FjuTG(8s z(YoS~A&kT*kHKO*LupD4=puF)zW*4|15*b`ZNPO!QZieK=Ok&}`FX$LrA z%#4h`D$V-Aa|-agDq#CUeg_@}-Aj&{Lz4>&JFbo36);hzm#D#16xG(&_GWVejM^IJ zZYlLZA?Z(qU)__Ybpjt_pp!tz1OIP3@HK!K4Vn4Nmv4=U_^~4?`9w7|#)pTaCNxcv zO3Ln9-$89Xr;cLDB_?V!Qz@+}Q>J2^3Vo7nO8F~PmGge!;%DGVlA^5@5K2rsNw945H-$yvWk+8P`H|3t^rxt{5EJ@K2RT0(Zkkg$1FOtveIwmgV z=S_f4X6R~`G+hCs%ReS7^J)#`3dZd=E<~J$SdUtnEs`wpP_vI(d6{%Hx(;up2^oj+ zHztwpDl3>16;nR5o&E~_CZMl?<3!Wps9b-4zq7ORZ?^%-txt%ty{1)D-~5O{aG5X0)J&LBnpZ|5)u^B9F5v zi+Zd@_P)_ovoI}TWO{<#MF}aHsicg0MS^Tz&4}KXAo_(Nb6AUrgGScCcA4##x|q!P z`u5faLAh~HGc&v+QS%hHE7;lE%~BmT6@P0C1WM|)I;Rd2-HX|KvuTewZh(CD(S6qF4ee zV|J2~Zi9WIV0s*q=<*eXjs(F1H0J{X`?%>0jl-r&YOUTqManDI^Q!G>9R)wnvua$b z4@L#VCoixE4{ucKf5^WpQ5E(H!DODMYIgCEv+rl^Wo-S?Sod4=Gb7&+&$jB)?3~q& zs-KYJ9QP0ze z9D7wJ*8Z03^G(q3Mo3VvEB5pLUiUd$Ni-&(UE2G-u>ua0+22^N2hAe~6kT&4GEqEV zpv~b-Zdgu9P3`aNo3(R0H^4qrpr<8?_!toZZx|qgg?eWYE}z1Nh406ciczhI1gsFC z5!ZX4?T?Ov3+tjMOEnKhFAZgtm#?p(jW`yfXr(kOffpG505g+woT^wxhA0^BC3xdC zm@G6k&5n$`bDo+)TKz7nnE+9FrgjG&6_{wZ-AxGP2WO3|xrM9r|J`2n)D&oLlD~7m zP*&K7;~q525D;#l^aODePMZV$(A?EQpAai=06&Q; zo(l+BSKy;w%tPi+8JYqfhqGW_?b^j%F>cCAaB$}RxJZbX*L`z>%|+@jg@Xn=8`~8; ztFr_)y_e^DHn~r8L5fyYrB>jMrCt=?y#ze#&t^_eIKs%CWR?=sS(TMIKf&c;?LFVT z1LgHgJl*`zNj@!4C$H5zIb%B~YBmA_0@+Hf3miMDgOog}Y&c=R8&Ul!gYz02FJ6e8 ztC(L5sBxq4JAvFKH#hfjk!{t~R~}Ruf8Z9wDYpP}Il|V{PFMmww$pJ#DXOvx5P2Nf z-`A{da8*q9$2;Qvb44(0c7_! zUu$b&s)AVcA}rgV?~IdRFNIf(C%Re3l+b{Y$KQi92UP(#@C<~>G|8!{q-10g3QUOV zxyqEPN4;0f*_yazAGi11^Cp~@$EQ?O^&in!OTLh)vo{Atn-Yv7S^Yza{OU1OR=}nj$6XSV2L04J^Jjq zg2EtZ^}$N7+N?hTn5LkzU9m9NQ0;dWH|bgZQAdX*kAf+8D$*l6kH`1xW$n!Po-jS4 zcL{p?Z=ZXjSog3Zq+mHfIIJA0k6xk&rLME{0jxAoa6cZRuV7?lb!nV~Su+cltIxp4 z&|8=S=^GQ3*J9XHZc;3^b8+W@N>g!Eu*WQ>s6;_bE&|A6*C;C4pDjf@Mq~ZS@iE!c z3LSuaym(AgsQ77n*ckg!JzLXW~fna#hA=5k9 zsX4Em9%hhoqR=rA`$XI4#!OtieR(<0db^jBtJ-Gmc)~&=Ps2v95fw87-oq66-Cmae zfl6Lp4b?mnG2Wr+2;IxD04tvbI{q}}C7XxMd^-Rq8d=enMhq$hxc%<#?*Fc4hW&T2Y&qUT@zU7E&eb_X+64jaNAb}r=3I&Be0;-O$}I21jg~DqpIpnCLCij z{K_G-rPkBGzz$Gz4-@gORe_hBhA;yeHU#h9GP;hj3b6nU6L>hq^$c)BdNb4cEgCPB zsil#=B-oETdy4_WlibQ{0_F;^krTH(3e&V=M=XDCxt<&zX362GAoDUsJ`&J0Fc5nD zIIEgZC$KT_Szaq%>2tZ`P#$`g6r8u!RrL`?6L|dC8wt|1V$a?;kbXx{kwnWx<8>D# zZ%E7S!^6ifq7W)VSr-!Hl(ScYDLVWvUMI(7KeIK6*IRwxJJ`oWkRn&hGv_U4}6K6_a|yODkb^v$h}0-ws)fkbGbNo3^Y zKaQW@-*Xq7F)>Afq6j$dFnNxZHY`tEOKTElQ=OjH*%6uu0s*&iXa5b-fB+1s$R7B^ z_EK82Ak6B@;f&A5(4=TSuxq!a0qiWE+0TP3Snpg!VDaD^HJJy^X`baO z`@{2$r^xL!)Y82p!XIeymhf|RnE_Fmv0+u8bxD>8vHnZg%Y7G2LDiUf<)(G39v89( z2U$$cEWxxza_m8*TGq>XDTrlTCl^q^4%3C@J#2pr&Of+%h^wEnPX{q~3RQyBiet6R7!`26?VZ1q$+11`G_KiRB&Da)5Obdd9kjIUECz^*` zBV^e53g~qb0Cd2|#|P&;(*6V*j}N`3o||R0R7Un|8MwNumO#S>?`P)}wQcQ^o>grCxFc$J;-5GzP+v*%(37AgxdcH~L#)B{P z9FKqi6B850vMAYz)0&MDE||CW)He~0cL*|_;74J|M9>D7r^!q@|Dn=-&)Fk?koH0K zXvnHgj6Q+~72FtL-dQ!%Y?|YasOikW0Q%}Il(apeUbr5KCxj~TTxxk+{f{JZzrh0- zakxJ+Ku$}B`49txjg|Ei&nvr6GQq~+pFk6hEIfyezrMcy3k2Y(vJ!E(rX*99`JhyS z4sn$bLn#)XX@P^eCTh}l$F~>hl=!;e@IUJR=B9)Lk!^vQWR)ehH3)gC(ajzvb#(2h za4vt7Kl$}b+s8*pcoLiY%hYRV-PLHb@~%YeYS-EsfIZ;tFM3@c2k&_A)#2a!TlUSO z$UN)QQ@0;huQKFoFmi;y@m>ZpO9@cH) z_L=H<#J{3rmF)rBp7T`(y5`KpM2+jnSWL4hHdV9G14*B#HoVuroGyM89*XqL-GPW& zTfOx>DtXl|P$lqafKEOpmGPPUTM1sW>!~4MR~Tt@6f$8&fNAQ$!Op%K7)P5X87P^^ zC*?$vIyf;u{}HhHNI0#`m>#YDJCkeXAfM$vFf;VGd=n2%3rDr2pb!4vXek9>6cJ%? zsvY(+$GKSy8Rb}`PlRO~Ip)8Wf0(l>+WfpIUfMF`t55}91aZ)f9Cxl>-KI=TMZxN> zl)O8hbmenS9UDCX4j(VG@nqM^7$u}c>YeFeC$Z0cbR1jg33_?{l@NjJwxfRz&pLV_ zwP&W*Tf~oR?oBUP_y}#5R=VxXM@M6G$J#S`>gzo$T^Rl4-UJrF)mQsw#Z0?SmPwb|J&T`&&H31GW3ni-z{%y zV#M;^*YbAeY0)f;2RDbUMi*yGe)=wv6E#G{bw)5)qO_nu>a@%_<2)4o6TO<0HOd!SvQ6MbM*+Hd`wa`0*maz3@W@|XxLI3nU*4?X6Ow-z# zD_@Z~+Ynz!W8%oL4+Z)7Py|p1#~4JeHk44P&QY>1yMKoaJv8zW1$!sh7;bshSRSe(h>ygyMUW5k zEe)uC_1o0~X2HA>VYfzp|CdxgEq-oOJ07=q7teInuAX%l7?}fl%jzlSa`)#KU48wZ z#}T_#LrXV4`$z@$oA0z)YhW@>O$|?qL?~Cx8Nv@28fI}0K6i9UYHT4qv5EO-#1T?@ zy1FnNDbX2LXJtJK6?j$}KFoRB@VszyuKZbP5*?-;=T0a#)-^5V3-{FRZM{3LbI zVQo-yy@G}A!Af?yfXYgDStvXASLK8eluf+jKfzl2@-d^;>Nk5*d1EJik< zmOQCYaI2G_1n9|$2==6z_!jQhh2rS5Yr$N&TiorHHoJaZ*0Zg=FDamD;^N|(o{qw_ zDwZMEBCDlt7})L;2xr-K5evx)kR@(U?^4EDoAdmt4kdyL5=+;m^4HCa#3`3d$hHPi!6o& zoWHFN@nIvO08~#RrQMsAoDw+c)*QB(m&MF%h7mWsm>Ad3Wo((NZvXX8-a9nXo*`v4 zT+f)wh`!mMmyMn;O-&_&PUC-BWVZfpoNzsS6c@vH=h<5vQ7l@TbvFH&oa7YswL57V zdFJl;)Lbm-$~V0;G_%w@OY-Zc3YO>`BYI)Bvj$FDFYYook@%e7ys~|<;PKrJ!`aRW zd2ap$8?jgN@bY7^LQs}A>jV@n>%&wEQj;P-XA*VCsTx=@crU-{FpgzxrsDasR9|Bd zW~6gA4#(SDPQg~om^S_!0x=T!{Qt^0ZX8|CS}!N3Mni5+i6@cteFQ?lJ<>!+Q$%AM zE@J?6icIhQUI?h^32Hwj+J6iTfMu;h@DIFRBn8=(YEx#*m=a_&f5IS#wW1X-&H0BF zjxgt1rp&dKK`W5jI_+m!v8+`J#dD>YHo5e zamtQi;cWeE(T0Ot_&CvTZ*br^{8K=$DG3Dy2ei6kR+0Vlq(DN~S!c_WI#DB?1N>dv z?6ue&#PV)M8Iugn+z)nWN(w+V|4jVsLf~H43Lbd60vZXDZklGFV-N3T z+0$yYn|+eeEYld|W-(P(({X6{}i?-r)B+}QEGx>OD0YbBrWfuLdL89$st{lZ* zceOvlfkB8KA6}se$A3BZm2 za715kN=tbPEB|U)%O3N3Nd&_7cL)CTq(2dqp-wLcQ`4g4tuN>;EG$4P3Ev86E(AfM znNb?)pOYsySMCe+G3bb2^!CaS9|YROfkXjCn>Dmei!AP^ny|lid-D>m!C%&#KkE3sSd)mvH4e_dV+VN;uGUN&P9MF~2E<@#zt}|eDKoOm=>0jXhuY9f z(n*{}Lr%2io+RujzB?BXaJuW$&u$pZuMvC9U z+?>98N?x0D?>JqF%MK@p<5bokJ%;we{0c1^UUqtoMHtxLv5hoVO+nAj0gT7ViiHI+7f z`v<(Eo0%Z6rByl9nM4|>?|sm=2!wqRK`yS?&3ra2#9m(3eqGiCF!rsTDXV6a$tq3> z?(;tY-|Z1a<6}1fKC-SSUz`p3NQPBVd0{Rp|-5QMJ06m zxo8+AGF@Rlt%`F2sn{L6xrY274#+w9vg}8_Zo-~hZLOD1CsO)r^h4l~2^$hBI?6M2 zY0%oP^e0x=&`HM8qvj1=?6h(;5K#CNp~v>RfYqPnQ)Ug?*RWwPMXq)xeXn_;yoHvI zu`%q}tSpJB%Rt#)D5tG$<^Fyuq_>}~Q_<5anTG2^cmIQ#PIgKl9WDyh&2FvPErZO) zm?THwK`=V?J%9n(DX$YoHh-gpx#6PY)Ws2HOdd*Si&i0XH^lMpsPm zO>?qBa76b}X=G$_3hX&26JJV2Ehx-Cg6%L6o>rE z{kbfR0s2k^mnfnK?O?Or9RGN*I2Ohi-7=VOLGFG1zqCwX}__sz11x44aS)GWeZWdcG%F7({n^wN|l z!R*%1yYUTO{&PU|b*RW0w)`j>U}^RY@tDw2(lWi~0Z>66QV&#F#3wk)5p|%Sd#M_e zl_C+v`d!~bj^f%x-v=O^{{S6;1OOTXBmp_*4jebo=mm?Ia0a@t6uvp+7%lIUp~;s& zFk&#le+Lg$hczK6=)SnHFBYxeOQHgBxHmTkA8#vLIZbFl`kUS_Wem%U>^0TZ)=tXE zaBZBsZSy;0A<6^+9t|n7GNY+FlZ>(gHM0MDGBkl;8C0@1f;Hf6?#zemPx}HU)`7!2 zBOdc@(>8(C-x^1ha|jq6In^kkj?hAA@;-Bd7NLv`iYBI5ls**f0D?j_2H5`Ct{e_5 zD6n4PCDXiJ7g5kq1tN=$?fqAb&<=#_vl5`ud(wnn8|%2j90;jmCH6>9YbS6vD~<@F zOi@!+y}ir`7%f5Zb98hBEz18kC2dqoGk{$*;|z%}gt+SgiUkGEe=8QcS`UQ|fqVgj z8^3;iiii3Ltl8`9i4UBxBtl>WDD2p=LZzLBRwEm|pW;H?VdW(7;L`@)ChSZBw!c!5CYI+ z#_0(WQN^SHCudGIzBKulrlx;Ko-lBb5pQ&w0I`<_lGU*dFc^TZtvi$Rq*#-qqO7dh zY2|$iO~G^EWO+*lPHi1Or_8FBl>X?rIzS8_Z?_)=ZCwx!JAx%5yw7*z zl7e9ubabEz(PecD4-PRSXIb z*B7Z@>?h>s)9uDV@>^#6qRl);S2JtR0o5 z*NH@bq@L5GhYm=&Vr%^vYVltirHh)^cez74rUyDVgvYPFp%{bSsmJX!2uM z>1#c_IKBr>*~Ua+cqHz5Fwu`*1nI;#+kvngS1Y~M+p|Q~xU|lH(lQ_-)mBPM3T()~ z*4!0sp~XW@9yE7R?Tb>66SQR=SIwS~;7-;H4-dx@`>Y*;P9lHyjE4tA!Ean#J_*{P zQhB;I3N0F9v76M+AiOY-MAH@j^k-mq=a zonZ7~UnGBa^}Z$@sXMJ7ud4Z2#FS<%7*gBwhi1Gh%$<7Og@!Lpgvf;2G%M>v=hr{Z z(3|nj8^K9XpPf)jhFK!@gRi-{)QWzZsaD;c(P*2TT6|q|F&AFTirJa&c$XY6COq3V zGI6GCbarvOdn1nc#WEul)Oe^eKBdlT1*O(HLiF{U6E43XK;}}o3 z@(#DmltAmTWZR<;7f$jxe8{-u>Fc#^gl^mKdIqq1*M9V8K5d+{tJXDpuiSU}u_>c| zjkxsca7-z`K>^oAp1QsV7(o3ieM%JQTA1d=N_1nh%7g~JmqZ3S52B_d3zU+5tX_Lo zMoQ-174`xTwl(34xRKFT7>=x7a*)=N5_hKQVpP-^|8t>6%$6`QVj7zyN;#P>?Sazq zuNC_uP7%Z&7!Ss$AB=C^P9=@>?)0;F>Z#&Z7-i&7Hm&uGIIY;M zgWo{ zv{~tUovfiPehNc%<3M90PGRZ(u++R3B-BxyGA(V7Yc04Ff9dG!)2=5;I3+`z1<1E* zY8D3aKGdqbY!))Zas9OXg!YYvrqcqh-7>X_lJEN--nG6H&*n3S6$^aZKlFD1&2iub znnr#$1}b*f4IOJ=4=D66>i7J`mRs}NNAi(17}dMVa@ohF=vh^TdDM}T*QJ79Y#n)y zhg*AsF)f6o$FFdD4WLI3^d-Ooo&ja=mM`Gla*0wPU-Qb2pB8;M&{FY2OA8_Kg?j~< zzDOvaD7aWQRHQJ7iabWIf*FXA)WhU?n3VckNYLObe%0U8H>w{nvkMukKS|J~GwwvV z<_vEpsN)qdaxy5ahAt~rhie>`tY!KMFN$Knb4w5)&MPoc<-Xzf|J45HPtIZh6aIXH z+9sDVX;CBl8)DjO4(LT7F*@fl2@*uy!H8C8n_#CHZejlhIGF*vmS%{wC_h6fW8Usg zRBfD`H9^5+wTj1Q-WA zeTf}RltgQMTh=kd`8GUEQR5I4+l2ZDC?}N_rH8TqHs1&)Kl2*7Hf!l4he6nN%+FrE z%-RqBUa4P|O&>p-6Q9Q*OJ^kK)4vrQ`-i2`*Ri|H~@aXR^=J)j7OC7HM43F zxX(myv_zkAxscsxsUj^81l%^DF zww3P<%V{enQ}fTZ{^bXM=OJJItt9mWQ$vJnyAJF1%$X6&S$+$M}@B;2LEuR zISYRBlx{I98WX>(T5hgI;zYwT`|=B;$2yUQLe58ZisnzfKxGJ%kS-upTP-+;ER6O- zk2ey1rE;?1HhT>rSQ6S*J2Ovb{HbvFHphFjE)Fm`ei67K&~)0GE8o%dnMF*Y%# zoRJxZgeVPZmYrro&NoSiYGWsrBS&(itn4&JS-DCmVN%Xia^Iq&lQdGP#yawLAV(zX zeP-I%U(E6IJ3rs=_xU`B>cLrR(c}5wSNp$K)mful%o?cr>=_(?wmH7g$vSzA^d>il zo)b{b)3|T$e9qN`^Ef=ND%bjMvwrnOdCQR6UzirE`iE*=%=RbPQaQazgxiv1^@j|$ zm}Sc)GY@OK@E+z2SKpu0upsHPRO9nW`+fWqW0kW%w`Zh-xCd{;M_c0ayEYL5jJ7Ww zKEv~8ywTM6vRZE0@>(Zb}+898cDL3Q%~Rft-KOb_F(#|aVe%}jFncxj3B6LVi%v$ zTY64!Y^1Gc#chpnzoEI)-y)3|)f)`O?R|_d*$%u}dhYC=P6i?y2Ndabmptq{8Xb;O zs!m`ya}|@~s4OYIH-y>n%xs~Z`DVkHyDNVmBKMmvq8nF@wDCIKc$agp>RKB3_7fU- z-v(2PE~cer?+*Oi{kfvMc6E!V$q80Aav)BFXyC^j%P1~3O4)0?yB3&09@gW$u%Bfd zfxrTRV03iUa;m43&sUT~GvR|lUM_qW_3aYIw|8E3LLaKb z%hk7rK*=d7NxDFTn_0e99|9ymtc2-7a`Nqf{Au{}qt*Fu?8DJO z(!wU$)6KmJsu>Ym{yr`KXHeL?VR09if2E?+NlL&HAuQ}>wof@L{P3PY%@>U%cO~40oHI4Yp9q4Zu^>yqWt-Po!XUl zWo3o&A3@pfFP>J~>GP#r+=2AP0HLwBndjbY92qtPl-=PSUUUq>DtdtkiL z(UE3qIyZff0Y)wVr5<%{(0ZpNMdpj{ZY&hD%T~lBo)Y1BWNy}3E21KR$YXtRYn-@n7c@3T-tXvSowkaC4Ho#bz zC@z$j2Z8$@`=*d{4E4uew`)%8OIS2DjU`J83kr7B9hrn*KiH|ri2#x1(Z1#y|KX(7 z^>$G+aglQ$+>r?`+`JxuOK>vVf5eervg*!p6Yk!HXrd8+n)00+~o84rIu>H zoM>Oh1S06`QQo;(InHi&=a#-c=bDzScIqeJa^mk2~)t zXd(1`HvYYO;=aN4?S?79Z4p($)9Y9PU6_jOQbuG1n|=Gg!CiblzpINkb+5a>Af0M3 zo&*{Y5Y)pPnJ&jgKmwZ7%pfkHpLOKG;hwe5`iK$-5SQmli_V?SgqG9qReA5O(C-P& zh+ZYd*}%8?DEP_fu}tVw+Dy#MzWg*k{R!Fty8<{h^Z3`1T~$E?NECrB;6RYuwXG9w z1v1lQ0P`TsS`(1{)eRbRUp(VXe4hoif=?BUf4zj(4JMd@CKOv%7Ox*_nw2w3Oj)rl zDUe?XZWZO_fr9g@qJDCPtC=d8`jK$?hP|nZ>?Movr#N|^LR}LGt4<>G?}p)rU^*fj zy5GKye@@eS0=vtQkh11pka;C$RuWr0TG%&*v|0#jfJogS;H^AZJ3+a7;n8%I?P)LC z{SrfSGV~mJi#g`45Z8W$M)J*Xw8AKZ*RZI@m?a#rZt7xR6T@7k^MP z((vOu(vTMp(^!Ourx;_c+DNi*%$HdjSnc0aId8`-=#he~cPd)Jl4QDZxvQG3mo%WM8N+nM>Dc5HY-%wod_W^2}C3nXg4T zi4WQ9Ol6$s0om~`+K^EpC`3=9O}vTo{JML?(J7;CM-^D`UXKOPcVdPl`U>sHYH?pCCqqI*kJP;ZfBo568y$5y2I6xt4y2aF zL5@OxKWchyq4O!Av?xFrN#26{fC4}K{ym4dsAVO$`HzZMbzq8v-i<^Y9?F~qlNi#f zY$^k0>*Unb1}y~^!N+fT$c^kKVs@_h4*D>_D?_Nz!4d5>K!@VaUNWjuZ z@tLYjgJgA_g7C-!vI1PV|LPj5Lwo}RN0FE!T%pyxmThifue#>+KpC59Y;1&`F>q)~ zKS=4|W&@+s)A|1vOpqgYAR=NGX7!g+Q@t>RdU>H^x85yzp-9=3l{<5f@%^BXPhvyC zkrA|{3)-jx?+nyukTDi7YwC>N`{KF#u{mV9XFC%n>B2MHuLO$FUj_!4R-?7&=l7{P z!FjZrKx%^+66rsVR1%ziXPe|BM?VD|TVgG`B*HIta_o7+NHJRw#PP6e9-BRg zn4&UoI&K*0<4wr!zD(R8ytaFyd`$M-F#I-nApm*9nJ8fg%r2MYL~+zLG%O*ugyF^dt*1k#a6Wk&C`uUS5u;3*k|1(lThTqO0@+E(Zt(_h+-k6-E1_ zqT-tDCY{5_ka9IQm$?H0D+(=FkRKZL&O|9zScPhU%}Z-W5M`yBOdTX?Ct2t;kYjE# zP4mrq15*uZ2^47F&;kP33*5dP`CFrc`y4r!!eGL5N8LhxH7v7*{{Pr2pn0yYtqluC`&2F{>m`N@ zZYL7|3953`U39J?b^USSt@~BBz|K;fH2$;FNmYu;P+Yx8tVU%*Cdv+|-dZ2IKF+Mx zpE6csde_j9-kfZ`i&(#5o(&YiK04g2K+(g-#l`QLU#c5XkE2EmR@GaM=B9mNqhUc6 zLZA_uvZHSA#y^SwR(N_|E qI7hC)PV^d)8Y1f22w%=0|1nRlaPNce8RD22e(bFOV^z%Z;QSBm?Z6@c literal 0 HcmV?d00001 diff --git a/main.tex b/main.tex index 0801ee0..b42f38b 100755 --- a/main.tex +++ b/main.tex @@ -18,7 +18,8 @@ \newcommand{\documenttitle}{Hardware Support for DRM: Can Trusted Execution Environments save us from System Lockdown?} -\newcommand{\abstracttext}{Abstract goes here} +\newcommand{\abstracttext}{Nowadays, all major publishers of popular media content mandate the usage of DRM copy protection for their published works. But as preventing digital content from being copied is a difficult problem, the current approches for copy protection involve locking down systems, criticized as endangering general computation and user freedom. \\ +This survey looks at the available hardware support technologies for providing hardware trust anchors or trusted execution environments, ranging from Secure Boot and TPM to Intel SGX and TrustZone, and evaluates their usage in the DRM architectures of Android and the HTML5 EME browser stack. Showing shortcomings in authenticity checking of components, different levels of required lockdown, and output protection of all covered architectures, we find that the usage of trusted execution environments reduces the required system lockdown for DRM protection. But many other negative effects of DRM can not be solved with this approach.} % set pdf metadata \usepackage[ @@ -95,7 +96,7 @@ % Are NOT: Peer-To-Peer, Anonymity, Privacy. % BUT TAKEN FROM THIS LIST: % http://www.ieee.org/organizations/pubs/ani_prod/keywrd98.txt -Security, DRM, Trusted Execution Environments, SGX, +Security, DRM, Trusted Execution Environments, SGX, TrustZone, TPM, HTML5 EME \end{IEEEkeywords} % } @@ -111,7 +112,7 @@ But these attempts were mostly based on obscuring the protection mechanism used, Doctorow warns that all countermeasures trying to ensure copy protection of digital content are going to result in creating ``appliances'', which are still general purpose computers, but locked down with ``some combination of rootkits, spyware, and code-signing to prevent the user from knowing which processes are running, from installing her own software, and from terminating processes that she doesn't want.'' \cite{corydoctorowComingWarGeneral2011} \\ Additionally, international agreements based on the \ac{WIPO} Copyright Treaty \cite{worldinternationalcopyrightorganizationWIPOCopyrightTreaty1996}, its most prominent implementation being the US-American \ac{DMCA}, make the circumvention of ``technical protection measures'' such as \ac{DRM} illegal. -So right now we are in a situation, where all major publishers of e.g. video\footnote{all Hollywood movie publishers require adhering to certain protec standards like \cite{movielabsinc.MovieLabsSpecificationEnhanced2018}} and audio\footnote{although legal music file purchases are mostly \ac{DRM}-free, the consumption model of streaming has brought back DRM to platforms like Spotify or Deezer} content, and video games\footnote{Valve's Steam platform integrates its own DRM into sold games; other publishers as well as gaming consoles have their own DRM systems as well}. Thus right now, all software using this content has to be proprietary and whole platforms are being locked down more and more. This development is most apparent in non-PC platforms like mobile devices, where unlocking the bootloader (if even possible) results in deletion of \ac{DRM} keys of the device. \cite{sonydeveloperworldUnlockBootloaderOpen} +So right now we are in a situation, where all major publishers of e.g. video\footnote{all Hollywood movie publishers require adhering to certain protec standards like \cite{movielabsinc.MovieLabsSpecificationEnhanced2018}} and audio\footnote{although legal music file purchases are mostly \ac{DRM}-free, the consumption model of streaming has brought back DRM to platforms like Spotify or Deezer} content, and video games\footnote{Valve's Steam platform integrates its own DRM into sold games; other publishers as well as gaming consoles have their own DRM systems as well} require the usage of \ac{DRM} for protecting their published works. Thus right now, all software using this content has to be proprietary and whole platforms are being locked down more and more. This development is most apparent in non-PC platforms like mobile devices, where unlocking the bootloader (if even possible) results in deletion of \ac{DRM} keys of the device. \cite{sonydeveloperworldUnlockBootloaderOpen} But in recent years modern CPU architectures have introduced special hardware-backed \acp{TEE} to provide a secured environment for security-critical code to be executed in isolation from the main \textit{untrusted} \ac{OS}. Can these TEEs and other special hardware trust-anchors provide the possibility to present \ac{DRM}-secured content in an otherwise open and open source system, not having to lock it down completely? @@ -294,7 +295,7 @@ encrypted and secure.'' \cite{googleWidevineDRMArchitecture2017}}, both the amou \section{Summary} -As presented on the examples of the covered \ac{DRM} schemes, the usage of hardware support mechanisms -- especially of \aclp{TEE} -- can enable reliable content protection on systems without having to lock them down completely. All presented approaches had shortcomings in different security properties, but when combining ideas from these different schemes the result is more resilient to threats. +As presented on the examples of the covered \ac{DRM} schemes, the usage of hardware support mechanisms -- especially of \aclp{TEE} -- can enable reliable content protection on systems without having to lock them down completely. All presented approaches had shortcomings in the areas of authentication and authenticity checking, size of the locked-down system base (\ac{TCB}) or actual output mechanisms, but when combining ideas from these different schemes the result is more resilient to threats. However, the usage of \ac{DRM} implies several other problems that are not solved by the usage of hardware support.