From 1b5392257bebf85708e4acec1a86a779a94bfe7a Mon Sep 17 00:00:00 2001 From: Paul Albertella Date: Thu, 15 Jun 2023 23:20:37 +0100 Subject: [PATCH] Add initial material for Telltale analysis Signed-off-by: Paul Albertella --- safety-analysis/telltale/README.md | 23 +++++++++++ safety-analysis/telltale/element-view.dot | 45 ++++++++++++++++++++++ safety-analysis/telltale/element-view.png | Bin 0 -> 37314 bytes safety-analysis/telltale/item-view.dot | 30 +++++++++++++++ safety-analysis/telltale/item-view.png | Bin 0 -> 23772 bytes 5 files changed, 98 insertions(+) create mode 100644 safety-analysis/telltale/README.md create mode 100644 safety-analysis/telltale/element-view.dot create mode 100644 safety-analysis/telltale/element-view.png create mode 100644 safety-analysis/telltale/item-view.dot create mode 100644 safety-analysis/telltale/item-view.png diff --git a/safety-analysis/telltale/README.md b/safety-analysis/telltale/README.md new file mode 100644 index 0000000..2f788d3 --- /dev/null +++ b/safety-analysis/telltale/README.md @@ -0,0 +1,23 @@ +# Telltale Safety Analysis + +## Purpose and scope + +This section of the repository hosts the OSEP working group's analysis of the Automotive Working Group's [Instrument Cluster use case](https://github.com/elisa-tech/wg-automotive/tree/master/Cluster_Display_Use_Case_v2). + +There are two distinct parts to this: + +* General instrument cluster / dashboard display (non-safety) +* Specific telltale notifications as part of this display + +Our focus is on the specific mechanism that verifies that the telltales are displayed correctly, and the roles and responsibilities that Linux has in supporting this. 'Displayed correctly' in this context means that the rendering of the telltale portions of the display have resulted in a specified result on the screen, within an specified timeframe. + +Looking at [this diagram](https://raw.githubusercontent.com/elisa-tech/wg-automotive/master/Cluster_Display_Use_Case_v2/stpa/Telltale-control-structure-minimal.svg) from the Automotive WG: + +* The system boundary is an ECU running an operating system (involving Linux) that is responsible for executing the cluster display and associated processing +* The checking control and safety manager are the safety-relevant components that implement the safety mechanism +* The dashboard manager may also be safety relevant, because it provides the input data to the checking control +* The watchdog may be internal to the ECU or external (future design decision) + +The latter is an additional safety mechanism that has been proactively added in the system concept, but we may want to omit it for our initial stage of analysis, to better understand the context that may make it necessary, and explore other options. + +The question of how the Display component might be involved in ensuring that the telltales are correctly displayed, or notifying the user in the even of lost or degraded safety functionality, is part of a future iteration of analysis, and belongs to another potential system/analysis boundary. diff --git a/safety-analysis/telltale/element-view.dot b/safety-analysis/telltale/element-view.dot new file mode 100644 index 0000000..05d6fff --- /dev/null +++ b/safety-analysis/telltale/element-view.dot @@ -0,0 +1,45 @@ +digraph G { + +node [shape=box width=1 height=0.5 + fontname=arial fontsize=16 + style=filled fillcolor=white] +graph [splines=ortho ranksep=0.8 newrank=true + nodesep=0.8 compound=true + fontname=arial fontsize=16] + +subgraph cluster_cluster { + label="Instrument Cluster" style=rounded labeljust=l margin=15 + init [label="Init process" width=3] + subgraph cluster_processes { + label="Other processes" fontsize=12 + style=rounded penwidth=0.5 + margin=10 bgcolor=lightgrey + receiver [label="Dashboard\nManager" width=3.5] + checker [label="Telltale\nChecking" penwidth=3] + other [label="Other GUI\nprocesses"] + render [label="GUI\nRendering" width=3] + } + os [label="Linux\nKernel" width=5] + } +can [label="Communications"] +display [label="Display"] + +{rank=same; checker; render} + +init -> os +init -> os [dir=back] +init -> os [dir=back style=dashed] +init -> receiver [lhead=cluster_processes] +init -> receiver [dir=back style=dashed lhead=cluster_processes] +receiver -> checker +receiver -> render +render -> os [ltail=cluster_processes] +render -> os [dir=back style=dashed ltail=cluster_processes] +other -> render +render -> checker +checker -> os +receiver -> os [dir=back style=dashed] +os -> can +os -> can [dir=back style=dashed] +os -> display +} diff --git a/safety-analysis/telltale/element-view.png b/safety-analysis/telltale/element-view.png new file mode 100644 index 0000000000000000000000000000000000000000..b7452e03b104bc94c6f0fea61079620934fe2b22 GIT binary patch literal 37314 zcmce;2RN4f|2KX~JEdWkQ6gCxC1f=yBqG_79U-Ia)u19oDqBTlXYWz6S0y2WeZ@=W6A1KtY0-^yo*NSurdqhw^IBR{J}xe9 zs+?AL=kDEiGBS?3F3r9^|NO}MjT`mp&MIx^V!Y6%z}m=2HFL=)U@d z<5DaRDdQDG_Al?jZuhl_vCab9kyd`M9gH=bm|Z-=!nBkq*ob%Q+s*&h>v9}mR87^X z_u(zBstY+f@%#5-@0Z@O!8%!H)VxL0ySMK<&dSaG$gDYmdUhxAE|xsa0y`e!Xp~>e zC28jca$ZiLn%#MRo2#IIYVo4?K$LqVt*%SJt>Lfnk7&}zpys*_I^qiB^ zi7WXxU%IU<%123vx3ngzr4kqJ!n%@Vap&2$RzKbsoG`XF8cq{-TNXZe&X1Lk@9|_` zZO_l2r|Uxn>4mNKyRR<9U3Qrp>*S}n+gV^wd-j{-t40kRp^b93xrSoS(B3yto(_wKFv@NkdF&0iN^ zPHTMEU+l=Uz31g6aP!wkedi24eSMaYkdRr0X!W;!>UCj4{`dsz(QkrIGehOic(ih@ zeyqdQJaFPfXhVePlfc0DQ;m{}Sckie+)Nh3rKO~L6?EKJZZWyd>tTUt9$ul&4URl+ zvA3b2!R7b6O`ZY%R7Xu3!hiS*b&;-qP110gsuvQQ`En_UOU+NfsOIAvrGv#QvsyZC z3r2xYp3sXsWkwt&ZhD^hrcIkF{FxgQE+=j^y5+x)y6Mo9hp8p2p~bFCG!DD%OWaoY zDDLiISKu?O+R5bf>p*x!M7&PXi88P42ie%lhr~0C>tA7E%+Jq%9~)CRd6I-HO_S!j zIQ{ZM*m074q!@h}-~41PFWIlQ40bO)D{Q7vp&NdQiCko4WLP=^Eepk10PpxHX2&|O zKXo@Vxa(H2rQ#)i}sBj>L&}a(tB5^ild%iSeU>rr_D`WC;rx@F;bjC(k&dTmr6LmoJTYB z`|lrR{Vnb*GqeVkerysFkq;hhwq3%_cbx0A=jqxI3Z_koi)#S8*!|%3JQmC1i`^{s4(SNEOnlJSm6sl z?lY6<1PnK0(VV)wQR5N)o;_tZN>~!-wG~Zh5OF zYg+f!P=_A3kn7C9)mC87+mdqSpqLm#8K3&wt7IA)8vS$r3?hMV-WJCfJWVpC7rxc~No$XYAU152YEt?TvKBz8i(_-s+XTQHkHp#Kc6wBo>S>(iaF3 zwi}@%VW+aPvp)$5k=4}P`&#bl`?j`_jobIWbzgInKeT6cb=8r{_V@R9>o;upfhyFN zZnQ0EjVrbA{o?~?P~2Xj-csy4PT_%{X@=FinOvupw69zl#PYv=`*uuRoGrEhDLp+s zSnxWHgoH$rR*v7H3!&eC{5a*gl^S{4)cJ=k4YZrG4-yk349U* zcNm)9FWVnLMJ=y2@E6}$dYgRH)-Q^;y$5}0d1?Ch7<%k$qPBcmBv&;v+(LHvO8&8k z6Sr6n9Ju{8Sqrs~ejPbEy@ZRfsQp;oTrgG?_r(UG0>QPBcrt&9#lturnsygg*V}8O zYN(o9wrpW#W&PgY@1;jaBN-uTzwv6NAEP}3ZIXW&Pr7ZP!^Erqcv$D{d~JWc_gpt~ z>4p9Y9-i$cCIjo(tP-`hDdbwWuwAt_&{9{YLvtywu73FF5ry4YM|Cj2!Db4I7`&*B zrqyWBKbO!`-y~pp8Qs{YrA=+rc5k!_M{QY@EA_mBjd$&^b!}>>;PrLAgYUQ!Rg+nc zAAg2V3ah9Y%%z#OJyONr+qw!;JP|)#t zpbY5IZM^<9NpG^Z+Hs64&XlvwLWJ5YuRfUrMJckf=yHgF5$W2;7i5Q?3}#EFrKKJB z56~TL&)H;|G!zhqM*k`6y4v1j*REP0>`k6@*50-#Lfac`=0|{^j%sl&d6TKhNfu$@ zVAH19G=s_=@5{<=@8j~Ny7%PC9*<_1o_qK1v2Yo$tgKku+nZo*+PThG*WbB&cVc$d z7&W#oT;ynFa8eTYMhd!8GP2?2nfvO+E+QnrkK>gliuS?|zpq9PP?{*-nEw^+-letYb5#e z&$u~cXm`!^J~j2grscC6Q6Ku6>=PEYPeDOJB~>RvsN3ZUP=;oQm};Ub&)G+Gw^LJj z{rvnKH91pIPtCguL-5f*1_vL;#j&p~wv^yf9+{?=x9lGrtOh*Tyk*Oev`VJ3^70M5 zyuA4A+Fa`%;K^f++d^zYA5ir)kMX--r#!D@_&iRq<_ z5;w_LjFQMSZQAHj{e<0sZlf;nXJm!Eyu9K2ds|fEl{ZjQQlfa4E-y?a|8$-md8kK6 zV1)kqu%4kIIeettkHA5l@pEkq74$jlyZ1*=&)tFoQTzfhx+Y`g za)sO$eNK<>->+V>va&jrzjIfBGsRWSbi;>5O}XRXfd95W0RkK<9UA!BUE4N+T6H`` z{?MiIuA<~Ff(Q17p0{I0<*c`^qm*3!$WnaHpXpHP7Ze^_`7E<$c_5rv)W~4qf=>)f zWby~kK6?9W_*>TXSYV7^y5ZsB>!7Pa(&iU0Ui3@z(hDwLo;>eUEV(q2(cb^*<(W-k z2Csin%`U|4T=e<))D-34`QxYPbM!}zDdH3&SWtmMEw9pTtbNAQgX@~(+WjAaTAyiM zqvTpR+JnvVymdpkNZGwDd#rBWG+dsa82Oe}%PDc_kXN_ck}nXb-ALP5yqZ9#99fy;1gm3#6vT2Vhr&Qv3Y1*udhh=IO9?6*&vGQTF`# zgIrub8X3k|VrA$q*FMK=K~qwBbMZEM6`$+kO#uOc;G-rx{(F?U;P*7}+~4zjBke<@ zY5^KfZdteQ$X4+8gv(l}H6$$l`_0*2+xKY}`uX@A0`iWJ=v#V1I)&b$JX+ z%?ex8?8}=|SFgU1Hjh_+jf=b!Z1WxP*ZjQ0?%lg(WMr^^wwLj7yPdEfGY>Es{QP?G zOZ*2HETR|CXEoM)3RYt3$DEG{lqZKo)E>o7VvXgU$8 zh5gRpfki_e9JM+>*X`cTpM%3Dq5qM~A8N92*EcYzAD@_<)W>2E7q#~TXCojLs1xW8 zIwhauq+yu;Yr{Wfk;QRxG^blL%SbX%?C{}Ve&g=T6P4ChR{J?Qy>Z17M{Nfh1S{Y9 za(%{Oe5kD4LrZHy-CgYJ47T<0<(c`VrJk{|hLkG>HjnCkpFgL4_wJp1*l}M*QM=#) zchumxlWEEVf6jCxyI)d6DznA*??XvahMSjVQ*%CoKRI zsDmg%>gfYvtN8RO;JL0_2oUp$o4-nN(PU+0_JiFK$G2@9q>nT^-tDhP_a*+)eb6vs z4=O4S;KTq189eaS1EQ*OOq-n9_oEfqtIaa>;*)>;`0=i{`UwP??~L6o&>INFiul(y zOplI`0VE|$#C*j~KeOUih&cS-Kl&{z=0%-c(C3!k*vQiqzpSYUMuH_ zrKP2?h=@{=)2%L-sSDYboo3eLMs8Su{PG)e`*H|i2J}Uxc^XZ+kp3?)DXS~0p4f|__Hsb*fYC!{o{q|W{_x<#!z0K zK=Oan$00Eu{J-~tjTQ$72P$z(m#GX{xP)sc=q>GnF!T}LNq+Bxf0xl*q-AIRr(`W5 z0!HcE6DWjL_Zhc_{y5c${#Zwz7=)8dv*wzv_>Rka4#^V|45-nbGQN?B23M2mU!RtT zb=O`2L`xs9a9^EbCPCBEH8db}Pv9L?0xC|FV8b2~NISLZ+QMsnO)06#*SO5H3h$19 zet(c$TWH*!wFZ@9dZg{i^z==Aj2}dig+4m>b2xDasz2p)yPa26r2z-x*3SLdHTYmV4Y#^Sbo4=B ze{P+^T$u`piIS})?vkXb{(7!Je($4y?n7YojpBuk9@wC`1nOEU@}<8bpl@gl@mJwY9W>g7u$Ml1c)>^{NjOf_kx~l-U0hmCU2zPkSq&D?ar1 z7b=mk>D^plH_AC}oxaVE#Lmu6!=tJ4%Ye${5Ayp^1D?fkdC1-9G+pD)3j|MJ- z%k2V{>2Hx%`c?7agB4`zso~7bW58+ms|`87SpVa=_4~qZ6d&N?s$D(-{bIaiEfQ+( zH-4^at|!$W2r=&b`J*|nU%$q-wVcSK`SMEIr|yzidIS~)=n>5~y7GuWYd7sT>R`I_ zoMqxGE^+Y)FtcwQT-E+S4HGEsT3JyzN8nki8ajX}ZuPgNV&w07ZdB)K`-mpdE)Ocy-coy8dqYqy6l)Zi~9^H0IqvD$l6=<&&AjO zfs;tf|F-#YNJ#bK%y6F7k2{R%frWC4iYA|4Nz+^sn@r~^p*f-*Z18S}(AUFj3j{k-nW@FpsMb6f_gbLVU!ViW|2^frU;&yN+1+pJJDH8p9Z>2H9rkl`2(5TOK7 zUfV!fSy{cnF1g;IgX@nwvzY|RKqQ4^jr*ix=pXy+jz*phTYP-H{iE};vT2S+&u|~p z!Bj=Nu3i%ek^7Lq^fhP58`}3nl{_1x#Jo)G=>dPq)vGuHno(*_mE5p+Stjv`4|`Oj z^sZeyOk#GO4v=>;SP2=rxfK%jabIiRzm1oqlC1d@@}g#D@|A*T z_|&F!qw}IhYzq^px9GW;o|n?}rBRT|!=s{@ zQ;TLpi<;hU`?E%J9{BniK>}1Ay}yG|AA+)K+FS;jE-2!hM``Ivb-+1=VH(H=p-mR;XPn<<{L3c8~|41q(_s_+**@u=~hQ9kM8Pp7gQVI7~)aaJI z^tp3WD|6lLqT4z8{TM{v!+#o$@VfE`z~pVGrKQzz_^}~8JiN}rOE2gR2NP5=BM^yM zg)`oHt*z>dbK^INi$Q$9%n==@LAKAIKXZR0-Xv;tkfq$0*z*C}nb$tuK?7ZPG5@A% zr1O|a%~LLufg~KsDA{;W3|#@c&)|m-QqZ1i&;h)$C(*WSniNuWDS+h}u1lWn0ALa6?#AsbY;2wc_QEA2Bbrwv)zLW> z{)nef%h8-Q@^5kwULM?*OyVe&Pm4i3Ck_Oca%`Qwy?ugOs=~}rGql9**quq5S>Axo zr_Y>;*DWb7y2Nd_yu9o%n$Vq|ukI2_f^Gf$@Nm)iFyPu{Y(hvBtq(zT zfJ?>ZI&9@5PEdnA9a0E?0BfM=64!Bv#3B3!URduw&ObMP!210hr^pQFNe+nfvJ70W zsw)G~rV7T3&x55yDm}o@|EY^ZmjB{Ns(h+OhF4pL$y7Ca)c2o1^~Y~w6U5xR-jT}> zEOvA7vnN`z^2^g3oa0#SRFYEV$8nDcOA;hMfv_S2^rMaILkYGb#xhX zJ#>C76;HyT1(UKJ0WNMUa<*5BJwo72sjFA_gJ9}S{4AeUkRFLqr)dfZ2ngcUjl2)P z%r9-9kfq_`^q_pWaDe;TQa4}-8MX`#w-K${%HDq9E~UhNF0SDthJQZp0*uTMap&Wp zO2o&#X#L~JS@%?YDzG0HD<=dD6qrcIe)>cUl+MD1{xB?^`*3CmgV1f^a%*_^KeGUR zv~EkILQL+<)(TM)+e-(V;v5Ge>hxn8vaHtZ%Q*bN8AFe4~=Z| zkn$zM-~i19k7k2oi;owu?U$c={-AKAEK=P07a>YYEU*HEUoG_@8^J1VY~N-;L8uuQ zKv5kg%4tLR^zIa0N(+PO%ZK+m$LZ0Qrv$G8&|tYsq@<+SKSG7%gctuB24s$}<773v zwVj)5lo>n_$?q#;EAgbIPZwHxBwiHymd%xX<^)b zt(H((zTc&6g_%cOq@D`j42SNxD7PAz-SzjG-KtPCMb#dZ%B z)d%z%4e0c6Ux?+Ml$0cD$@_>O+h*)Cah1@WV`5{!iBcD!@9?DAR{C^)b^zgmg|S~T z&3$b}2mk;%hly-{AWL|@4KCCt*l}Cgg@x%naF3_HTvCL@cLs|dT<>aEp=06d;xGX9 zR*!*5XFm`>K0su!!K*rR`HoZl@EEvS!pX_W9am;r$gZ`evjJq*MT&=kb16aoNOZ${ zDo~-(!jHj|Ai?IoU3Q;x3I;iW;!)rUGY<$*;zH;#et+=#Esx_|=izGS;g;dGcg@Yz z@N6Yk=M8MT?7!*I84$a(HuRY3d*BEeXe%(|JEY5pYBH-0f1>s~I6DuBFy;1`G4I%s z=WgOK|KmQ7&U2h<;npfJ?W(G(@9}Yw=?{ptVbU1chuhkpjU(*lA3!nDD73_a2DoPs zv0<%rgQi7xRdBUQQSyR~jlj~}INl*{Xk^qmYv!Oc`>wm28AW{K4u&dh^#wq5ZvFAh zBEAa5UGkm_ntuLZ<`mtr=H2{suw-?SOL2o~w)=7qGvsp=ddq!JP|fil*S=*AS{R@$ z+PE-Zb<6*REJ4)^b(yPvuii4KxnG-RN(>QDTHr0=4U*ny%|pfFD?M&xU8;(-DwHr+;|3Hsq)Y zs(*)3c|tIO^eH9guSWLN262?_Q51UzE5V`fshZ8BhrYgSf`WpT`>3W^oK1_F-R2MI zdajOY7rV6moI#)TSfg&vsX3BF9Ies=T_`rWN+(TdSD*9hHcW8HJ9gfed&)WCzBcE+ z+`YDf;xMrZCHB!?LGN=+j`zT-#ac!^1-%I2oO>y?U)hE#(Ub`oxVkC-v(PX$JIrCe zM#^FhARA~LKe4BU6mM76l3%q{&9S_K4==}lH2x&vJZrvJ&`e5BPOf;-$JaN@fw0VB zlfHqC>^Ff{Nd9)OJGc{c-cX;9SSDICS01|(=?y5b8{VqNE!nmE=>IJ%v#u({f#`#q zl)3ED(b=$J13z4%)v2g8qJqJ*+<NdHBeK-?F&SvrM2V#DFC+GdE(xG=g4EW>TUC5PD3M z+u}oLK!`uo4c`x1GcB}VFOgUnsNy@JjKFp}qpZ9e^r=5@ATkxk$Qlo8Z|0We8I_C)CqRXdy4BmqRp zkK_Y(V>#$MK-~KE>-nyKaVda)T86pNdKUHiQ4mhO3N6# zr`7Uv8Z1HdYaq1Ue=s~;jC|gH`EIUP(b1z3cL)cJisir2P%OplpXmSnUlE<{3&2i0pm%J_P^&f|NM>KtK;jp zmf_x)q5N8oAL~6b4-7jJ@m{!kJ_3cZk6hT*AswR@}UO|0`1q9re0Vjo4 zl3~9WAK$%mS2goWS9R214xr28V_N@zmZ<)%W@X9EeB8X14{+puPL2=+ICLc+3D?CA zYmM-~(Xi7#*`U*K@PX1eYBDXJ1qWA64>p;iUtw>-F7<>s{|V;>h>X5hHQ|bkLJVC4*RU z4xqph1(={APU8q<#H*z;@$>WBRdpN(Ozi!1j@bxkNb2la8%QiEFt<>PTeB_p!6SNs zeIq3;-6nc@S9Kh;mxd@wBA7!oXwz?*9H>OI3g@NdNRU}~=W#Oy{nmG?4rKcWfc^w+ z+HG-=9abKZVW}j(!vLV-l}Ho#IeSA#__!b~ULn z?|&i0uRhQ;VJ-axOxSQ0l!Ra~sN_HT`aI#5`-{)gp_lOEjp+6WmhClejI3PfZO zG$G<-C=j=+s$`tw4zbvDbEcI~BY_FF@Cpp6aAmeV$2Sr23DB?ggpkoci^cXa_QF2f z0zEnxL?Tqjqa@uWh@*sMq>`xWi|**~{O1e|#VScNXNd*{wlc%e56mnS(edcY`$UEIdWt)Od(P1PNRZqV5A?Af!khK8)5bC2lw?|@{q6{fb?oXClU{)oLd1!N!61EWO| z7={3($%{J!0;50ZgscKHk{o_MWFMm&Mr#K}Cc*h6v+TIARz@jFBC?c7k^vZ`J9OK3 zyPg9rKzb7#IzaZxAu^$@?O~}89{qPAIER^o|K6p|>Aa8YPrj3i>SpB%b->b@S=u!K zim-MsN@fLYVo;+V@Dw712DAeW^8vOUwj1oyItJ$5yHBGJ6KO<{PY@1Ng)=Zw)U(W< zE_B#r5Em_3J?##1Vh?a#t@`We56K4;ayD?%0D6m1Wzm1{5}S9mn2SVc!B{y13c?Ge z;o;xh5JU!L@HzbgnIe73AgDmsVD?D^5U3-Siz^wj-0l_tM)G%o5=U0{%pr z3yC{|&4T?fh&xevz}Q8V^aTEZg%piT>EPgS5r_?Z{~h`QWZtXjXsRoeAX)H9k*__B z&XJObc0%KUR-s{0t222dE~=m?^VtI`CeZZn701%CxygS6h(S`X_8=qwJu_4O?%i$t z`ovEk-p^RcB-?jks8HBXNDczH5ex~fgOCugnkx+j`sSbK7ltoc9!GE${?HrkJORYO zdyD3}dLrz*-Wdu&5Z}=e+?D1qp^t-tHp>IvTn_&TdzQdVUG8hHB%ggRCNoln3T8S& zLqp}zY2hKcfQBA3`?4AG4H06(TJ%p%O|6d#c+jyVXU-pS#pMt?`vAu(h*0U8_fX-r z=7gv4Pov0DPPcZ<+Zw>5hs%q)ph2DS&wQV%t04MrW1iu_mB-X42^5Gw z688>Y(`DB|T#v7bYP^Zr1iA~ZgdX)D>}w)#mBqumc08NkTP zGMk3_`@Ldq%^azQt5}F=9u+Q3H5U+PgkT6C!UKJoh%=%v5pfL2sYi9wiZpZ@T!j*~ z^U^Q3ORi2(es?dopQXJUu7AU_WMQ4G+niu~^1#=T#FjRZ&IF_s9LKbJ-EQ?(?E?6@ z$kGyeB<=Z*j27QWG$TfXgDfn$HwSkUQB8lbNtwvXDvKSq+5dF9eP;A;te}Hu#jlz3 z7XDsG!fe9<9v+^?@dAz6C;{8hgN_*^3%{Vxzcppp#lgU(nnZemZBpucIvaomnVL|b zt*LLUQm)=`6X`jn}>3sto>(yPY z@9*>ETTXpDGd;aNcQiqo2#c8gV8ESkqCk+LjDo)x%Zu0c2#Ep_a23|^u2;p zf`sm1fHgp*zrkSD!^u(q>UF=_=BvHOPK3ITSmy10ivFWW@`6QiSf$|ly}%l!v1qe> zz365JHOe(^=PG^;xTq6>I|P|{$B^kAc6Vx(=kyrr{~ z(F3a{4UtgTPPt&!-L7+t04hHL6G{CuFXsO9tU>?l5lfys7P~N4f#6Lp!VYnYQO3Ph z0Z3A8KX>jNfY3IN`}a42ZX85*0W34!Zd4OO%6q8Z^MoJ=0dV8;jl8DivFnzost!PK z$P&GVFhIodp}sY{c#1AqkBb2VoCBAKFxxPZ)(54|Fop72bs~GD!yO<>gt90BJbuBl_p|oW z`;Bfv7}1Ggn=5_y{qbWTKKy~3Fo1s>tr^6{m12H*dV21np|NWpg+Lp$;LX#KI}i=v zxQv^WdA(&UdwdBOnFzMWUnw|_`o@BZB8Z$doGE~jA}P0{bTN66b|MO-1WA7Gly!=s z#~uRW>_EpeSOqqSLp15+>fDS1p}ZZx(FIY@8CpPIUMJQ#Xf;~U&%%*}2OaluO$N=8 z<{AK5N6PmZ=m3lmBGn4+fFRSf9&{H%LUnoCV~k*%K2+2B#l@e$eg*e9y>>*J^&iny zeo6j1eE7eKLTpPw)`HNj5q4>UDuQ^D9)A~XIAS0Gk)=B8zTJqr5(kK7;@BTz;_&_U zCM48iP$3CHnzwlV4)*o0gv&JUW(TTP3f3SF*qSK#2`CDWI^ z2g()yQtE?8jx@lTy5zPzaSmQZXzEi6*qyW8qM$TCEY?0pAPWJp>0w?h=T^@vsePIgq^Vi<|9}5^ZQ4nl*d+8x= z2*6S=c>Lf&aww-1Wgqv*OG{0jg5@W(1#=b~5i+wZa9vrP0YCe3#F&+3?#aIsQpRkt zhFD;7j~6eEW%Glm_k#`-erVMSEAstN$zVVh5N4oF)Nn`MQJ5d_Y>!or5>6Ok>G$v7 z3&KN)5gw3Cd{Y@81qwJ!gmrLd-j$UBZSUoCUv){G|1UTh8D@ou0)wdLK2%C#oCrb! zobLwfWrE-#)=dyRTia;3LF+edvV||iV1Ra`2z(Dh2F}_9-5hQEu|fBLHWr0YEY;!c z!&5s0UiAzP5-}&x(q4#`s_g(Fwb1F1EFQL4YQ-La?^52_NQs4m*^!C4xq;-IuJoa! zOUq9GY2H>Ol6dqsZM{ zy%_q}##z=CKdqkqLo23gqONw-Mt!w&oaM08QVI_Y&JzsLP?O z&;lwz;nG+EjYwsA`7XG$_y&XzUSCL)4!Qq;stDi^!2?dL2~i!#K58EeER5K{F8#oK z7e1AkGcYqtkaotn3VfYIhYnTz?0B3EE=WVWnP3Q*{^N+~>daRyuBS|ag&0hXMW5mRwJPif-o{x_YFbI*{ zKv~mHm7@gq20+EU%rLxyI4^sH3^qZ1!uE^@j{=YZ2+VMrF@ttrRa2vnGzDf6-&%H_Kxw)I zfB>}n0sxaxtPy#D;6+YM@`B+S8XE_K;KOaSva^c?dBN&ueo}2%JQ)<#`l{}X)EF^3 zNpzK6n7YFO){kONR~%`!JenrSwdJE=dvM@LD0sNhhoN|3RkNTet*^4?{4XcWxV?Lp zr`@5H5n*E-9#+f`=qME^P=w$H41+1$Z*@IoYLBev99c@4EXXlhrT?-tdC}n=mM70%7`OW9?Yl4KL_Ov9hzdHQf9YBTgUSVn1|9)1qKz=mYLK8CbK8 z--<~N&Vf8Qb#tH5*cHp`@4Jp1;pV1LR8&N=?j#fr%(WRJ20%KWl0Sxkf{xOLiXR%>DtKe0Ft3=C9WPc1S=y5-de-4M7{L^zqT9d?RpyJf^tL?r%A zHW>mlSt-_#Yh_1G5C{25Tq^_za|p^NSW*d$gy|uxu?`WK6m)!7NkA@WVpz~+kmRQr zwZ1q$sOnV04Bu+^+LHSp5R2JlTpOVA$YCnVC)HAf{a)lGh~VEqR*TM;n<`fS%mNs6 zaUr_gIM&mgslQn52TJ07h?nX@vrU8Z9C@3<6KWhdC&2u#o0SL%` zS=TV2e1HU>*WP6f%9bBuMbKa&v}s+K2^O_a5!qp>9WXmHLkz=$pxHWSqtX%jEnw$^ z|IOXFDqA~{so%xGV6G!%_wLRHLY#(>-zz$6*>`|NIu$}W(Z~S+hgQo#u*-$MuteZmk;CUC8w#WxkiFP>u_6hk+!uoXS; z-@lH!Ag7?9iZ%$=oQg;gy;r~#`!`sqs$P0;aGu|aoO94gV-a^m=KdOfKQIPxh|013 za~)Y}G4c(4!^4SCBGrgku9b>rAjAO>E)XF;I4QPg?^r}g7Qb1d zq@YlN6>@WC=<>|3PiGJjfHfMrgIOZ!9J8wm+DG23?w2WA64ldofBE}fUPEvpn`|4! zpJ&wZQShk0eQ{B!SLQSB2sJZvDsb#6tj)#@H*^;>gy|awpj@_q*WHA9atj5sB^wr5 zp7E{_tT^y0L=FzjjCG1O7Hef*dpXflc|Kp`B1Srr&`}0c-B+$hS`bh&JWs_Z-NLk= zbX6B)JD8mdBg{(K{LxE7t6Iq<}ay1JK;_*k@``i<;4oTtO`MiaXtWIY-3iMmr1Cpt&mnhxYaL zp#pOv^liC_ZxDngqusu=urP=~z{hR8g)f}P^3I{*C0u-Y2aWnQC?`RVMA|W9qJyOF zXVkJU7+zYKpFg~R|49(bW=Ocy`}T#|UUsx{M!W>J zldL!~VS7naGZb1vA{6C67jNjxC-72YJD_ugFz&JvMQX&`+gm`?i{mgJ!V)KdOahv` zJk-5QXjH`Qg?3_E_4t6dzrPyRQoY~i+z6l~1ayNL%cv|x!zy7aWI@}_Fd&h#1i+AkowmBfeRAdyWTZLbDA?_hOlLfC^G#{M zAPfygF^7u;_%;wAS-A$8lB{g7iXTTsMb$jx37dk-!l9_xs9lSCor&@CjGlE?=+me6 zirB>9tn~6$4#9f*3Ysx9*u>tFjtwaj2>qtU@!NG5^26Do$hX&w!oy91AMK_X!5V=VO^vEy>zVl!1L{jU2 z+@(hj3kWFxxs=$9z~db@ex?uaXOle6%gM;_5nqa9|CwDKM_ejX32=#YZe48U0Tw=R%KR}Z2*{11NQz5s!jK6^Hl zk=!F}^VY34wIZ=>Oy7P|5o1_JMn-)aZXo@b%{bALjsRsL&IK;7FdAVQ5b8~950;mD|$udS+PJ*dhRHE8}UhXFFmSU z-~0FP1A$P}(OrvEIXMC5$$9LU3KP?YC@*ME5Z}!4@+T{|jVD9w)`8bND_8!_yemmH z5eR2AX!BuuaL9Dcwceh`>$NQdT3J-x%)_nW%l)Ab)mlh3fnp-2SO2ovYE$0gd z#QK|o9JFWxu!EuLwuw+*JQf~BHg`6}ZZ{z2)6~=(#lr$ek2WJmEXux4?ktRlsiG}P zfi5mCU-EBV$7{raeeXKlqyYEfJQCIcad9S*x9|r#5d=lzoIlqQCT ze6Q3f{<#sn+P^PT*wg;2y)Y^TnI*u)>@@(V_+-_=Lu~8hDh~RK1;#x<&{+pi=qSgo zzh@{NV#k6NG1OJ$oTB8nm74P~E9-|3xLM+`brRIm^cx0HUAIzFs(~%a%Wt4!8Zaq! zRf>(MV?Otro5lxTt#$i-9g<%|S=kw|dyxz$*wsg0ZHg;fptn*itc{SzS*jqXAS<+X zujGU-3RxAsOl{$Z1m=i3JMUx_L83 zx*sF%cEgV0#fLA6YKpW+v@c?d*ZCX70bh<3@yK!q?K)P;|0e2(<}EJ0}99@-0ac>Ib9e{D{Z zE}zR@Lf|?lNtKIPVKNO`Nk)kg>An=24T)s_U;OYo53eR25rH>wGZSItPEJfH0mxGA z-J5`rDW`~tNOw!JcAm1A9;V(-Z5VS0ZWo|91FxrE!w!^y-s^z7``YdmO;W2d5*7j! z(I1(i>~nu6A|AYDe8BH7*FBg0jMV=$#CfXW;k@QzGGUsUW8qy8;8Fl=6$uvvUg53D zURk2uToxHr_W#A``5pO^K|4UeGKE_6Hh%PNqpClQ;$@AeW@p`K@cc@UOPO zv2ab4N>G%9DECzjP_7nWzMDufpyd;f7a`jE3A>RuND;*&51fy=ueJcPg3UX2sG_a4 z@sF6{G#q1X_aP_3I*8ldn30m{)<#?=?Bw%C-5$|EfcEY8rIccSWa1@3q)P!|h99y= zeguJSE^&8nexq~-%OCsT6;V6ThCpGounayDQ;Qh}Xq2?4L%f>40WuV?tvYwQ&UHE= zv#$~>AL5czTl{qav!+dW(PSWq#L$K(OiTlABw{>Za%Sc-2D~vA@d}?BHj8X1ADF;} zz|5=f*3o;t%;|FCGFd@lB^lEbT!#_dSxO(oh$c+^O(X5qIoq|v*<_=Y^CS5((-llT2F4&F6%xMQ<7lXaYrfrhS2CF1 z5J8C`gTp!$;n6MD2E1;9RU7p9@x>U|V$6dO1d2@-R`t_nvu0pLp27a4lcuJoi$M3$ zkV-Kvc!ju_NTI#}7Uev0L;?APOlMwo}ZQ>5%C$>KxELKnXC>ubM#PMLB z_5>#FZ-_`l^aWf0%n;__%ZxU9v)~C+1J51o%c_ortD+53GcY6pN8m`5eQ0;sqjYe!dXn~DWjy~1PZhV5^A6G4p4o+GdB3v-k9V`eE+j@{ZH_Idq+o;fBm}V zdG8*Ou!78f-Q&7m^BW7teA z;)5|PRWwnt&(V?v4?#%5Q!QU$Rz(gCwPtQt86sSg zii+#C>j-^;mNpK8eZ2j6m*dx*YoAUd8=-&KE#0X2e+9;&AE= z8o(Q@AV(c$`~~XE5T3uF3OGjec}L(eFl@87^w-3!Jg%ybl4)r<0X*;<|By$@vX~{i$84w$_uV{U5Ka?-sc33<}$PgM`!0m;QlMeM-L!5K(1#8!cSbLCeHyoUCh=a3Z%k#sM{b4%Q7XCO*} zLWkmP?Al$4hKMQO!chTPCyX%7;2!jAsv?30x$ERM8ty9lHAS%rsh6`?g6c?e%mnQU zLq=F+AoME9N{yg*r*iUFOIV3bjstE2NX>$k(k`*Q*<)BvUS0*y0{kai#ly3bV0tP` zHb4=~g2@WO;SIngAqPQ(t7E(95r!NL(U7d`kC9%er!(JP!3c>d;MyWQJq&rWiNn1f z`V@Vic!HVDY0_bF9Ky+mc-+Ht)+>b$N}$_c@c@a`g0cMb5a-m;V5$d6FM2_IUj%2H zx9Quhzl4dJn9`ZH@pfO=fsE9;yI+@-@r^u|$D82w6RT#2q07{14Uz=hGE(zlNr!OM!5bc!+93JQz}C zqBsIcF;jH%ty{Jzp=kC&)q?D1iiuJp&pK&7E;C;K%FsHdgS54x>X_UG921^^k%fo< zjdqvl;t6oxzP|Mf2e!SKMowEU@Jd_)7MKb|3-~rfnTvF-!hz4IPYV=+h`8rqH5>VE?B1k-zu_)_4rhz#yn+fN9VJCfM05=BVr5B%S(nc^txE{_Q86+mBfxR} zbBt`B_f2bz@m|N}$#+}H$AfZ`5T6=^0k{Y?oY?GyWD9ExAO8Hjwq2RX`Uc1Y|18XM zzPR*=f=<^RZTy8dg zWPK*oCSa!XfVarGlJMT& za&DxeFZD02uRzU91k)gpGeFTX)6X$3-S*NVl!iAX@iBsy9qOQSm$9UqA4IC9I`iIK{jp2Z^V!YS3VBq~bGQJI)O_hXifyiQf{X5co`^4PTsh}zX=nd5i9 z;rT`2*fALL>J1x&6)@DA7G1p1zpp-0Tnl#ok>A6$6(Z}cxF5+!OBLdJI~q^np-ZZG zD=we#>)2RMZf<#`_!=GS0iRGSEwe1zRq+H_PY95&Kt@cV&l90g^w8(yhbQ3^%zQr2 zJBTo2zD=JukvRuA#xeDW+FeKJAI<(Ap{C+2QOB<#1D^olzSzF1J#-*3wfN7nz)7GK ztYuG)(HvhxsOTn!H82$@MQl!>*G$Aj3Fv??_FP%o zDl)WRak^}>s1{h<&uy}~h8&3}_hR`(;UT5Tu)5RT7SZ1}0N?)@0%` z3e$(rfeU;M6$m=7T#73Vd*jhYv1n|cYLqI#yu#5ES-nXp{8w--gGx$DfH&VjdZ_L0 z)+P8CdM2Ltkj1iALJGf(iAUCW(B$Le2B^iMCvGL+AY(l|NO*3ND%=SrgnF@%j#Ot) z5wpC#KYqLfzaf~~RtkzQ$Wh0mj~^BmR!5z`sHv%$!cAZ?1PbC{11W$Ulo6_g!kHIEOj3(G7 zN$PM0CW8+LTIv)WmPOks!k|vd$B!Syo?pS}tpd!o+N>mDM?B?N=bn4~`#wovdTh;R zoUPabW@?*(Nm&^8SQ)pKEbA0HeCl`Y6}qA`+ouCA|5Rmqsubh#K|w(=7_QfXik3G! zic#nXY3}Ht}tV~~mVk8T- z3yice>%y!|(`awb6%0;Ja@Q6wa4f|}k4Uz6SywVHjLkJh3zS!13jSZ6oq1f3`TqXz z7_zU~BFm7;k`bXKjKUANJJ!(N)eJ0D%n!s z=R0S9a~|h=&f`1hcmA34z~^({pZk8lU(0n}uj_s1#f;H<&8(ey`O2r0PeQNk_v`q6 zBI@&25VF7GAzE&K`@Vk^f5e1IZpe_RN}I~8tgLCp%^y7%7SzvlO}|v?*~{DY%O@8> z2O`UIhnTI)TzqzDgjV^_|BT8T+3|D|7@MqYDpw;4-^!@T?l6THkk?e;-Sok^^R9ucY_gSl79CDy*v)HevG~{!b-A%dq3>;t^4hYP{bR8nJTh--9((vW<fMgt)W2!$J7ma) z!ks^=_qwjCbC0%DART;4u`pminD(>E%46GPy9Zxy+qX8oaxnW`pTf+H4miPuZp&!h zx^)SwjvPD|SIdn62NI!lS(`VLYYDAH*Z}Pu>2o!#F4>GI?R;bZX|O>}Ji00UdDy2m zqLJzQQEj$n_X6lRv*V_BXc6m5rxV|Nmp@H+Ooxy1k45oB_Oc^Vx!p3kaz*`{GefxD zAaGHTzLklK8mM8O>lHt(s)~p5Q5rs6i$wt6cCg@9>7qZi0Ag*2haV?wRyOqzxqN>1 zySH!eh^B-;rYTupc5w--@gAOi1xc$7D9FbZHi{o7QZcy-X}y`IdxN2+WrU!WAqcAx z>zNrF`!8{l{Gy2lq6m#WU}Dq_hvC(}kt{0_CxD0oaIsh3bL9{zxAbVm1E<0Lp*jds z1$-?67c+5La>gNYtS#emc09U^CXPB&hFofb)YYZyO{#L*_me|6nVOw$M~z;RIbsRw z)qo5lg}=M4)qNB+DUsidyA!zu#HiA33B9B$3a$hDG~n-Em86?6kYhwfa}JjM=9@TT zlsU9*!Yf@31EWmFFa=GCh~XH)?AiI7LpHqp#=?N^QEO? zNQ)s=z*D$NCc8!JQ#R07haVs!I12SUD0j_pFoZdd`(ayq(U6Fjr#;1cQQO)TC{V<0 zlJGa8$R0I*yrCeW7oLt30y$5{3P1KOKcw{1Eh{h2K;%JE4v4E-GK~JW7tUiOI8c%LmWj$|kEse{_kxolfBD6@90o6IX zctSVbGL)P15Xij4ZbZ)AGOUj?wbb!bsV}DA* zcsFoF>cQikBD9t*g=ngYLq0O zUIl56)>IOCHT{ny0P_G@c4(_cqv=DT26M@h1;1`hs2y1hs6;|sp&w)iMZCVukzhc8f8 zOoX>rJM#b7GY7W?C(NiX3h6y=`mH$L%31a`aJtQpri2x!{>FwEMoEVypSwu!MCRry zA^rOFIU;y1!~o+pcE?k6mNfR;yi@ru?8ztQ7h2^wqJ)7Vmn5emQV1lkT+g1%UFAZr zEx&PY1W4GJsZ-5`GnF{pA*q6YH_sp0NP=i_S&TMwx8@AW(9<>M**D<)XvYQ;$g=oG zpMmEcD||_&hl!vsP!~VhwbP+#f^zAg7%K+;*r=+^IZ*lK*UXcotef~F&LIUThGt0QrVR; z$VG_Il_PfDsL*plwJ^YUxoejPFG#flwx`rk)JBPahFo(BSSc)`i{G`X>l;&81XV!` zt@e*l{O-GIh66+ppfsDW-(D@4K(>a2BbxJEKPL;=O;gANER+i{G)byZOGdM*>rZ33 z%Bk0TVSCp6>fj=3d=X(Mt-0;azR&AVXv1nK-&X4qo+el>N+a$_FFNRn$gRAZqR$ zTS-dOgx%eV17BjqcaieGF|?QmB05Mu#V8FNI;+MwC@GVfoAzH&o>)Cl-OT#CZN z+Rs*U4L}#cuKOx}$co`2rtH>ePgI!mH~!N%sjZYXga%HV zDtD52pe&LRDut@jc~l4gBx&0Dd&xD$3J$>dlg0dpq{$&nmTUc8S;N1+J9%e4ZXDaT z*|TSdA;-#{*fs4}p{k_&P7f9!C)^GjH#fP2!hk05-0BOnc(H=^g!ny{y`{9#ks@K0 zjm`7LUc!p>b-G4vnilj~sd=a@N#njD^2CzuA5`su-f=%yt-xA5GGf9Q)Wrl;+g zz-0-`RV?lso0dQXC*)yGt*vZz;lbcUDTEcIv>s2EygF2HLYud)RV6`IKB9L%T_7s- zm2Sa#hz{v(u74~kES!>;)nQP-5I1R@C>mfPwsyIk_9_ML`i$1MS;_BSm$jt4o`SU1 zr7B;LRA)^_s~wkV+rFgn^OY5eN`Ub+My@(Lo*>K_XM=uiG>XNo#ij|Ci$M)j4Tfgz z&}@8Q4Z3;Zl`E}Jik7@u20W&K0NU9z4IK~s_i$8Coi?lF9aKo|n=ckR*wn*r;Ged^ zB2A{m3Kw0`p)QNTXw!7_<}?M9-;6{x3S`^P>k?pkb+(eE+~@G7Fy750baZK^GM zw3&6U2e&KWkL$~oOZBxOq$YNpUwzw4KCi` zTPJbE)vVI!HNosgqv<+Xq%|~~dP&x4?WnT^T}uRVyWjd%6zn9FcjT5lcSCJnPxF0EJ=;BlNBl5alHblmF4_k-c zCNc@};%Y}PRv0v<1;GrJV)&LG>^Ngjy?Dt~_g3k({Zki>72NKwT~c9CSyb%_5O*q@ z(9lkP*U=^po~Bl)oyVg%}>(kR`V3>B;cuK*@=X5NUe~K&N|bYUpZ>fJO*s6 z@0Xb00utPGeh=|>n-Re zj5ghD?4-I1umJFhXO@Fa%`L08oMC7~oDrZfydQ=9z+Z;Ucr?oX#f{wDR$2_?n$pi+ zOiPMvk2dbR#0_QB$8{XtX6^;;fc;QeL7Z##ZPy1qXUot2VZW=_{}EJuE(^^)Xg1Je zr{pipD6Z@;h8@hV=SV}n|N5}cUGoc@6G?`&|La}lB>R67nL3z%Tr%-s=2&KsSuppO zY${b`aU%|HRV@QLCU`cyE?ermTrjn6jlxWx*NW4Ixxaun!8ZgAi>pU^3gqL_E|(2K zpmiUQX;&U6G=w2STqTG`zR4K&_#XiD8oq7v>m+~-0oV)Vpygv!OU`016yBiSCV(pU zVM}zroi2SRq>yQ`u#VM7Lag!u?l*F3l=w>M9f6q&*N=Lyr8K1?-tyk>@yS5oaLP0x z10YS)M!0wM>LU$OKqOl3Pb+;G8-h5bBCz{~0;*)kit>i;aq{cJ6^R0}MH6w4!b}kV zqS%z5z9o&S(d?(CGScdqt@i}>_iXWkWBLl(`4AMllV1w~w}83vb34go{yaQe?x1_v zoopc8A__ju3>AFv#yZN=8kCA|&e+ z(iv?bS52yg9ZKC&itN{=;%Zlx$sD@u`?RV$%EP5>cBYgzi7{F2>&^r!^C2|D5LAFyjzlp{nGX~IX6i5?V3b&LN zunB>c2%rgkqf_V3CiGqUk<;R-%^zw^mjbBCq;8eCvIH;h|IrH>Uhs=V<`KT-bO^L5 zn*{wO)Z&n<)jUfY4AX@56A{D^vjlV`Xc7UUY3I`~9;IEb#>D*h)J<7eW;nhCvHft~2}SsCO6;^OzKG|{!=%;w&~%*SxPYf)-}6pc0_+78Q;Sc! zos?1QciH@bMR@(4)D26u^I^7h$Mz`i!p5OFcY1`>Cb}W0A+N00gE9dQP-6@fzw5vL z&(XiOqka0#ON?`{Rlu#`aEtw_bmm~XNN*1kg;H8N@`ot(q`G>cM~BZ@0Hr$pbIrs_ z8y=O=X#FZHma0SZ+kM_IXjBBjM$;fR8%pT25rG z^{0oq3qd59b5BlQN*$X&#lGY=j@KulKyDNkE@UVS)^QKWW!*Xr-UxR~wJFk+&;#*t zmro70zw}p`<-1(zKgNedzph#DRK()$AbjW_VWBD-IOx#~93|^Y$Ni}j(pvGqbV51x z8Hj8J#^^6LHJ_WfdI@Q{f%zWP-3+*jZd|B`cxQV&*GUO`5bFBG6Uv0_CKIP2e`F80 zE&AGO|1I^H*0!}J7Cd#CZ6HC#QP$Gzu+6(pi z?b^4uqYx83_oia-Tl`DsvAJ)v(!uu!5)@BRz{{&SL<{8{YDqDl;b!$2-V{^91%e6W zl{%jq2uF#e>kwPx8e~Y`wEDfYhhq@kgBbMv{6Ml4g`K1)gybTJKV-00$XO7T+A+u_ zv=DqWaBVSfZIrtDVt-TEc#B$RewtfwAJt?lQRR%q&B{;Ev~YBCt=}o|BopzTP~R>@ zz#>3bOWPMGdXwk);@DJss{aDK+VIW0!5j6u>Od%r2v8Y_kj^r;pqZauM) zg{Gylo*`Z>@bp4-9U+xA7iqRzRX`(8+;hLNk3r07*&i#w?Uio*`7~qj*RbUo2pExG zEf|-Wq;Vkm$S6cC60(3oOPj$1eJaG22HnD8BAN<7+aI*%lo%57|KHg5UwHPIR6c2r6k`0o_$ zmr_GYmv_Cabl+>Y*-_5O6LkKHcJ!S=3hGWj3Ja-(RV;}ZZCh#OdDz@m{_x5}gT(91 zq}>Y&3^YAStW7%$ka6wq-HDaX>@OkU4ej7F;;UwAy2YR?qwn%k?*kV_Gv(iJ%r}yh zaLq2+j#_}(p}fVxK|x2z?h`6y)g|XaY7R4LIzHW4+H8FCi`)r4PU_GHp4q)?*Qf;@ zB+1eU(t*cvaCQ2X6^?Q7SEWto0Kv#u#~+xO_5D0yAFI%5^#n=!h!lDU^2)lgc@);{ zgpRwUc~ee@SON45_NYl*@%qFAlL}e|9g)PbeaK$1Q%1@%V`}*&j?seQjC28b6f_2i zV#gebQEo$SMSj|5hs5`0H4`)ud$Cbxa&#u1Bz_jPsoh+k`3AB4sx zeO$-=o15QXIx%ZUrz?+^Cf?X6Ivelirii(h+elIs7rZuUPj(b2vtzvMvY!~J8Ux7! z9=K&!&FLQ_eHi@rpjVj*6I2LLq_ZMKlGIKKf|avQ3dauq$Si#ta4 zf_5S0h3?8I#YVNa%vYbFh!svb8+r8p50xcJe>Elj4zIWYA?{LR;@ZM-@Uv^6z7(A* zmZ$U@b61Grky`NYSMAujvp&ug9L$}=S5_vQJA3XOGQ&y?GbJ@a4NcM*S6+uTQ#@d- zPz;dp#@_J^Srir=D~7kArVxXigVcTp>J##`mYw4BEyiREKtN!@Wceb_7F0C%)=kmV z&8NmWCdTyW0a{gQ?$yflsDTa3S#3TRLS-7c`ANsFL#A6Yc6u98BovLslk8D%L4?Ty z_b5BDu~HI4RJ13TXue|ce9l)J#OH@rJ#V|%%JZGsJ<1`{so?IgK~%mxUgz27VB?|_ zBN$B<`B4nQ;lCD5M=s>N-k*!h3b<3Oy9}wLgZJ$-u$?XLXU}JTl1S-dk_ZXFeL&J6 zns-XB*X|Suy6f)yS*Va(lTG)%Y4POX;8ygRuiyUNbe==>k5v0Y{z1OTr?c06x^?W1 zGgs{aI58lO6+@<9^^3{xAInH1i&0Svnt#(Hx9l1v*WPH5SinYr7L2j9cV9E zh|mw07y}TX01)`;Od?L>^rmp*^SOtI3QC@La#M};D}x1vEu5N|h!skD)b1iWz|pU9 zm5aW8HrukaD%0HbsAzmj=C?8qQnXy)^>u^Auh;mS!$-?xq4b340BAmN{BtVntZrhG zl_APd5lO8XZ<3@lJt@!rum6}-$Vkg%5l;$9RO{CXWYLv&tv5kesh#C>p6b7wBKo&~ z=%c{N9%~^^nddY7J#;nK*HGj9O5lBKAW6l&B&olN#OeJaEBPph0b}MWTEDI}WBl;v zGyCs=Hp#UI?-qd(14KNZNQ8s&0&+&|>A!X{AxX3qp`oFcH`=yo1EoFD<7(0Y;=@`& zNo7m+RYJf@GImnd0Bsxb%p{A~6nd3^AK~q>H!LX}H>u313?1P z`KfY!>a)yG-mTY|f<}LUuTlAABtZ8Gb8C+MNOArZV9Lx|4<~;BNd(X#5`Ti@36fn2Hb2q(SI7Y0#>VLFzG3%a-fS68a}Gq zWs$m?kO}F7#taedWGMz>LL#po<*|9QsB<&$ft;_`t~{^qe1Xsd<)#G)csAP z)?3XtFxa%`M&dew5j-$!)EXvO8Yo0W6FGE3b({&|6CsmZ-8V^g*3R?bT97S!$O42WWdO0TG?gIm(iyH=TcLCr+wp1-*?pBCsY057= z>)rFQJlnTo{E^#Xe_Xj@+qxls-RRtYpMVQNS8e7d9ysJx=G3>XBrC?L#mtY8Vw|%z zNwSWXu8R>#^#E9IB(m0L^uw7cC`XNA4BQik&RKjYMY^-m&7*y*ZB zbx^hmrMBo~NC>L#4Qs^QyiK#F7Hn_A5!Y)Myc${!SqKfeVhT%-mmOGCsNSV zkY#4fwi+_uiSDfK!u>~O8^Ah4mZJiB@#_-5h2iYV@;^BC>JT4Wh@r|MAyNnRcuDsv z1iB5kG+x7T&v^*zQ>0?#qv_GS)Z_hNIkO^JhogvjxSO&-XC(O*Xc36u{b?B&BKVMUL zcES5Y?Zw9lojs(5?%q)Yn#-r9mO0;YE~l#2^zh}{jtC+xc7EG@{8hn2j80$em;)wi4beEm*C4stg$GvkDqAZ#U)+*IYezJ2>v zFI=@FFH>%|%2EC@5%?2$V>d>yw8j-Tr<6TKcrx-`|3>5c_wOU1>x)p0^YDfZ9qI$( z(dO5X5Me|}Az+V=D+4&#*n#Wx~iP=IUa&Yi^>R0Pz^IE`{KhxxJ_wd*qzP>5CnqodP+A?EfPV5FTAlpW%sHkYfG}TZUi(?(oUPyEt#`U zJ}{CkF;G=UVq&)D z=Nl8Uw{gNTd$;6*Tkp+H4Pv`U3lc1M9a7@>fj=MS(o}m!ZW_u73T!qb3yT{F75XDg zLFhc;e5dcH4raVWYQ~vt&&PtjI}vt5;f_*LD(6YFf~+@e$P=ea(5H?~S$#9}E)o=G zRc8P2gA7)48;tW1Lb-i-GmK%9GtbY(9kaVWZhMbIH{%wE)xx2)QQ}mK1wkiHo;1ai zDv+-nBQ{1A5LTyXaiY>yYu`S{-n@A;(rw?68TOWDpxi>c>dwx@xdHF0nM(O z(?SFpk8UW-nj9)O+cjk6}iinRlw+ zUA5+bLYoSY34Zr2&j&YrVbX9nEow<=X%Irn*(gG7Q)b-UA7tzD5ZBk3nBUSKT3A?| zP}*I!ImvZe|LZtc-5#-?YJfdJ!+X^_xYpWvY^eruYknPp$=uP&$+))cQrV%5s1alC z&g$^iJL~S<-aeOFnv0J+u^S2s3w!tI!2uNev@@0~W|wrz#|1OI=@9_1gu9k6XUrFU z;HDp*8oXAsXdGVqZNpDpI(IJc_uprU<6a=255)34jyOz=9z7aUp*8-l)%TUfI1Q0{ z*Uvu>C5U0vCWU&s&vkxS_i(FinFePj;X9PJ>GfdN=w*x|855)L`NisV>Qt+@O&Q)T z(FM+5!f%gRIovia z_B>px{A!{tA>_vcWZhv?ri1`IA_W@zT$6)*=|ivP<>h@aXka8p^+2J+h2zJskGOgH z^5LA<^1rnAp*=kCG&#xRllgpttlyDWLk;u`WX?UzZfPIny+y5F+qd6XUu|z^u>rbw z|4v!?=8DYwb~o{1D+}=V$L(-9N0xp17E&hNJbpYi%}Bxi>GS$oKe0kyHU2Q z{7RLm@VB=aV+?Rd;?j1SSC?4D`;RnSU0p#XexFo8||=-t1w3e~rK7*8LG*X?#88|K;ga~KaV$29v+_}W5a^n$A>WJ@wVLck_a zN{O>OZ?93sw0l45hYb6-P2xmNiMIVrsKL$6O5?^&R=4S&I=aey+!?jWeen^aB^IXZr6fULxWEQ~zU$iNd4H#KJ-spGfNS zn6qblomy}Msc1T*I61Cck@C0qVXw^CV;{HTfxct?^Z5Xn*3-O*ON@iue*Ws+tKxom zoFO#Vr&!2I4^wv@Njt$pFY39mpsz%}lnL2DX*;wDc?;uhgSQk2eLA1)ufu zkvKG&cPh^L0-vu#de>{ffFhgkn=NK7IJ%?9p|*8z-V7Z#uA2`LtCzgI4(579+-Nox z@HdF!EEbFTsbJz<`PBm^NS()RT9Jbx~oyd^(y;GL?C+>GJk#W`S)K*L>m5+nj~mJc?+Qkuv6 zar7bu1qBW*&7QcU%2NG|8a=wrn!3GKmtFUilvwWZNG<;SkYC^KmpPXq*VH{fsZz+O zs;WA$@$t~=o(1h`c29ZTiIkLJ(DO5JFbw7VNTLDZP5!Wcr(L!drjpFQqSR*vu7{U; zaL%?j$8YtGN{D&>NM+H5%_&_3P-Mv&JfMDVz4t4dS5&K9g zASf4@S-)zH+UN-bR=n9>m|Pf-BxcZ_B(HvPib>*GToMX@echTY+`z>#L!kco&(~8+ z1XG5@6jtNEY#yLW)~%R6pG+;rTVM-q8cXD14YmQ>wQVWh^M%RjJJ8a|kAG9bJETX$c=Buj~Bj` z`1WpwrOnCBjRg&Om4B4_jrs~(8s88r_l~l%vLv6dDH{g!x9jWjJP4dU{=G(ZyDZI=oijW9fM`s6G1i+sUyT1U(GC%U`{^ z33{sL{Csaw_g%XyqcSr!>4n5Dsp0T);p<7nv$+vJpgREG$)%SftuoyoKYxCeWb}d4 zVxvB_c^h>yb5oad=E?{TWFx;ESM`}=dt;w`=V9B=n6qD~^wxiRDmyGv)>kt{jF|i~ zylTgo}Xz+>K*m z0wJq=4jicK=qS!WJQX?bL~Cc#gO&JLj}r;uf!pkhQtPFlus%R-Wgan%&%SUFKDV5t zhZ!!BG3*Pl(+?wAy?pHYwxVDm_N$tfUeYe;Cx-Y=}?jObF}SdYxH{|Ml0|u2=BkXJ>Dm zdhnE1k3;i8_}fEBTkO0uOo08(BOm;nT(Lmh(Q<1fJRC<=G_}jHhY=VQvI3G^`YZTF zOvFXJ#7=Iu(Ldisplay [dir=back style=dashed] +source -> cluster +requester -> cluster +cluster -> watchdog +cluster -> display +cluster -> display [dir=back style=dashed] +watchdog -> backlight +display -> backlight [dir=back style=dashed] +} diff --git a/safety-analysis/telltale/item-view.png b/safety-analysis/telltale/item-view.png new file mode 100644 index 0000000000000000000000000000000000000000..180457588509af608d666f7de772fe2e3b695c2c GIT binary patch literal 23772 zcmb5W2RzsP-ar14l4K>7WMq_*LPnBNXi!2VAtNb!WRp>5GEzyQlsz*tvRBcPJt8EP zm67cEe}1m(KKFg@-+lh)cmK}0&f{DS-|uI<->=tmz23J~&z_{CVWlAmf==<2!a0JV zaL50Wsj2Wgsexj3_&=)4r%x&ntK@&5l_uRMh@FI@!Z8i!=wIC~TFe)UWGAe}y6ejL zS+*%?h$bJSQn(plOHoSmVw=q|#)#L0uXeB88;tWaU=p_Lt}(u6d;0_zrHOrPfSOwE zI!5EdZ!|S@w_^=nHm48Ft}i$u-o4ZOkaB6vz>utj!*Fy#T59isv*%;Ju^7?%Fv`vC z)P6QZP0i(#%&^N{j=FD?(t;0T70-jI4O~7a_Y7^8qYhPV;`3qTcpk4p%_SwL7{e&% z>~l|s%V&c6-~YfSGf5)0JO13>7rKSFzJI?Wo4=Va{Zhy!M$F>&)#igvo?9_&XPe^m&UFWtI#k4Z~MC(gRJEGsL^>*&$dqfF;w zVq>|lT)WoaQ|gxd;)P#S)DD@IIirt{gem0=qhkC|syFc|Pu6mJe*IG~d(zoiVr4R- z+@SK-x$xhuFgqSPH|NYI?aKV_-8-#ZlTEvB$VFCGR1ll_&MIhVFkAJO(e2o=BZyUu=H=Bo zIa^!XsOi&+F(v069K;^(*YSIEXPeQF_u;SH7sV6LK1m(Qq8<|Z_3M|-x7Qn9zka>* zzyW#=4vx3)-<#bpGjaA8O^%ISqn>p34Svja;_I=wg#|N7UOCC!+E7lTZ?A8^{qUjs z^UG_(HeV~+ES}a(DOUgd^yH4d$Nai$^-te4JeL<^r{^kB)zYH2wzigXo1txgamhP8 z{JgoCve81k$Bsi*uW`eS92{pi#4w5-6c(;5UtP8iP~diUbBoK(&28;Wj91Z6I(xRJ zGtWHR_`}w@xj7R_wjfSf4z^muflp7YGu*ybP}s2fdwF^7o_%Rhxd#8f@4|~*#pR-_ zA0JVK^xu8>uq}N$ud*)c(56kBo(~D-hWPrf^H`p~Amuzk>=3sw$#dL0w0T#MaJp_G zla-Z~R*`*5Vl{EZoORo`Z_jAjy~{n8S4xWQ_wU~wg?4-rA+;2mHhUKB(f&}`6XhPu zS!S)Nnx>)mWYn0pZuP6EI4U72X(q{hIP8?qvu8UA6Px6(c-#g-@BA-OH#*8aXN(fJ zth&9K&t`FEbZfy$#h5*>97kEPI)ZnderO`eyz9?E{rZLp#(F&eoy;_w*w_RF_X!Ht zCMrjL{rZ(~cXxmE_;KZj4;%52&9lm@{TYlJo*ipwZkEr~E1h_=P5)VX`kCiv-HjH0 z{P@xF%9e+Xjm^NofY`Wk%KmuKg+6HGTf4Uooj9qp&Zg?=ZY&UD_LYcqzD6CxKjI-$Vm?4u8aKPmuo}V z2fGRcY3bPU-+h0%+2Sr5sMn~z4jEt})jo#hcwTGYItWDh1x+at}RK|VbEB2g) zi&4#w7h)2t^CG(j$F)v0|)rq3vzR>eE$4-vZy&pr;;#8P?SQqk+cz(6g0>5&_ALT&?3 zoF1v}xiUN68_^!IYa2T|dp_3d%(piiAI8Mg=UaBw5JESPR!mM#J{T^4Jk_3lv6>J< z1#v_b+8uUEOH*?zuIeh$@$s?94~O%+mJ@4qIn~wG+Y0TjIsX23T=U$yDiqbzN=lb! zW@c!K4{zVzZGR$e$x2!A?b|oz&by`KrEat0Y26(iT2x;9^~-dhcmEvQcInb3e787x z4LL7gK8}dkMp+RQ6!ZxHQtU9Y6)(itpPv0PTdi=|sn@A#X;E9;+<3YkT61{T9mNwF zZp+xwRpRmzPvnBFt+0r=_|@(r2lY9jh=>Rgtih|6miq-WU%a^b^XJcxU%o_#KYYla z=YU(H@^W99ADBFN@%lyV^K_Rb>zd z6&xQ$ucmqb;lqgXsZrllw;8gOQm(f-%t5>fo8Rry!x=1M!fu}$* zC$e4a{OQXt%zMk+A02Tz@cOcFYHI4;d-rZxm(5ds`t)hy_iwei@Fa__@COgRz769c z%mf1|@AitdMmy>(N;?j>DE3)@X4l@jb*qxYdFl4&3EAfNUc5Nq)wzCK-ddDr2UH-x zW8PGK5&9lCHTaKPSsl1+WYqWL$2u%~7ip9e!t2hRjVwmfWmaEaJ#RT_XFV%=@ZcIk z%5$aU;z$AS&!RKR%GsW)9wj&Cnbg$O$Tl1u9bI9|hP{~OzUb(?@aJcp_tBk4(d=1_ zs2LbeqVI*TjF_4gXUuar*xUCklnTG+Lu2#v<94>g*VkfQDV0~` zy?p77m2gg7J?!bz7Y|<*IgQhwK7AT3>!@*zjEu}zi5ETk7xIsPOiWCi`17ZFth+cY zI$A*1yWHhZqMWq3xp~lzL-gAO^R5P4XT~uWjd8`j+c+`!)6;36O*(W z@oS&hT3T8v>gyS>NRDFzK9%(haTsai+P#}9BqU^Vgwi2T^P|()7m8Y27Aa?;Z~gsh z=g!@F|6b|Jl`CHd8{-Hs3QDRy8MA%`wBzK}zA9f@qS&TS&U^aKojZ^3-@pHU1-;{%(x$%keBGt;x$R5ye}32%zdbP4W_mS#Aq-SzTHFtEsZH8=|RZYticH z=m_ZK(*i;83wqG_%8{?vYx1IpU1wfFLG8lyh@q+J27m!Rm8ZGGZWgIOE$)Z-am30o z0}s7@duncR(Oi-_mIA9QD?k5)hlk8lX*a)5PmY*N@=p3`&fPe%QAcE_T!7>Ix;o#G z5PETo4zK8FHUX_HFD8%m=s}FPHu0SJie*NajaytScFgeO;kNXx0W7z1a`L})0nq=S5&i%Cfq~OPszA9#lR*(g!DhqD=I3=%E_rpR*RdcW{`b` z4X8MJKr4%2tL=LqzAt0b)neNp@3+vhOERPOlYdio z7-1tSi4b{hZEbI3!sgFUWd#L=+`;9Rc5$^Sbp7;;FR9L+Ju4(4LKc``qoaU+L4f{L z?dS7iB+Wcb%q?9L_0`mFqB-?_dvj-Qu0K@x@@s15EnD)8BS!U(A77Vv=JBnO_RP5S zbXtJHThE_APptly@cOla#NoqSd-p0fKeu=8>+2hAPGS(Z`V!F6qQT6}{46(@d3LP3 zy3%`n-_M_Z^M3~9`NR1$PA{f7T{{s@i}P6sZ*y+ni!O@ ziZ<4;_%U$yL>ij4+~-rd8xi5}vAn=_rQN;D=-clj?DykC1SOGg z)t#FA3*g!6zQp98KWdjQb?>&kFMIsNiOVy;KJVGT-#0Xr;ZyWs@1><14<0<&DJ{*O zb|KRbO?+m&mqA}&KVjNbHt&VFbaQ)q`$^npmhY-nK2&dvr^Gyh=Kl{Yzg zo$!i_<0*0&p~5Z=I~CuTOl`V@Y}g*)@y4^!5)^`hf{!92tH9H+#j6T>J?{AU ztOdd*3#QxbSgTD7dsOFv@AMo}EHNGndx@_TebtkbpjO`f5}=kwQ-h5S?d|^F-jrD0 ziK15v%v$+v*e;A8>jPNN)(XPQdiMd1Hrup$w}gbmQGI<*^wo*U$*MxTfd_5Ydmj3c zcgf4UmXeCr3*GSJ$B$o!hHm3w^0(O8+rM@jFJ1p^=GqinZDng~-X@(;QDa&06E-$N zz|ssvN16K(iI8g4iyt4XyNi7Bp|L74GUO%Ui2*BRU4BDT;<2pFBWxZg?Kbl)Ihne@ zHnbM&b|mAF^MnD(kB*M6+;!>lxOW(^l!}gZt+cfC)Nt!Y{Tsj6y?_7y!Eg!>XRec3 zsoS;p5B3sXt4jm2N*}f!&<#LyILaR$i;wIscDj%%;xwj97lRb-`^Zq;AYHo=aiIKMWjF6*Hq< zef|B-W0$Qmv4SX{iMy27VOtrPnFZ<;SdrYP(cPlAjQ!@#n zhwqe@&)VXxuU%VDU}wobc(`lVuD;>cv_1Rw$zQ*IP$EP3FGF? zqpO$xZl_U%nriKiHN~d3}Yg$_FxJ$X7ey6zjRwC=h z{B@z4tSj%Bhzihd0Gyk6@cr0U$?53|Kug@*+@N}1Siw>*lM17F<#>>52vXK4$$Npt z1ujSs44g7+8z%6&9e=Tq?F3+Cr>rbzSH2}B0idJMSAOt69!6$T64su+z~_$qk4*`u z!SCp?Hng;~TDr&;2#Ph4>A8Gb4{XXiAb?s+Tl;dA&xXkyEVK&nNx~(UJ}{n|Gh_N=e!4Iz8;0S++n!QYYdo zcB{$K32qwg9L}f_G;`4Jn%Lua4A51ds|K8XB5C;ZInNeH%#kr|wl}#KRA?MRHDUz4(uKcd$)XKi>yA(UWG20lLawk}`Znv#+dY!&SrVRfiRh{Vp6X8(t{_w6D1UnXVRzVZdH{WVWM$qJ4#hT4ytS40$d4GBeRkqHs(XRz+ z=QFdj-;@oJ-+jQ4*Itpfn@1vTQ?y*u$@{l*4`kE7>-^TVDz34ZW^ zxuc^)RI4B{@r1{%E9T~1gEFX658nG!b++v8@*IA!!p7ECt!R9)u043ip-A>Sw{LGCTHM4|hnka!NXIrg z=DaJi;_HoQ@9$QwdUv1C(A@k^sLTSjp`qd2{6I|D!-szO-GbsrT_T^|XM^X@J3w61 zEB6S#Nx44Ob9E(nEKWG)0=a;n=f`^jEH3?tSzSx4UAHbTIm5QU<~h~@*wdb~Po-`{ z9!%Ib?da$zBr2+4W|q42&D0$Ac9zs#I5|VtGjQzLFKhGFtAxXp!{Jx$q3$yG9j2zH zWd8)Nb7vkOOn6hC)!Nv24A_6Hr}U0;l=v}T zCPS=18V3dLO(3+Y=g<2>JNgEoe)kkF3hAk{XZ_GG0V{z2U-kH<${-VculbQE98J@q||Zdxb>MF{GD`}O%HS?P`) zqX6fix^UqFx*Mg}d$)?#O)v9>4;`w7z5ybonW+~H(TodvBtAMhIk^HN0wXIc4SoV7 z(Qs+*_uODyD08Q3UQA>l?p532j3*XSM}f6|=?4-B&40E&y>9*b{^Id6c_k$pU>5H3 zL#xVozd#j7wY4MP$2fs9q*rnViPk`hu<5U%!=-YP821)t zOx`t0e>Q+X5QjADKz+=GLRn*v)nzBBtx70^Je-`IOA8~JkEGqi(e!UZl1)xO1g=Cj zA5)2hvgHLwZ3KknX`zC0AuU<*aYw6oLjD6XT%dCzRGjGV$mkoGx*?zcX1Dfth3kw0% z+lJT~#jeqlZf;|~uj+uF7QZw~g99+8rg%5wR0bzZR! zm`sf6W&Y&v-^Z?A-AzI_h=WyN^{6|8?U|gnyuEGbCym)8Y>xi;?ma!4lo;!N?v9az zl}bQh;JsCwfLuWj4-dj?aBxt31i%F~hXmb~uJ+L;n&wuX4r~|VJ(NGM1TWtZ-x&#V z^8Y5_4>2m1kG-_lDfYM|a`huoYl}W+-nQ^v1=<8PJ-uH>#{Q|PDFe_ikbA?=ImY~a z**v40M^BD6a@~_@Jc}mf2VM`16@VHNS5m@u{P=OQSvvmexCuJikg1SI;BQxbh%a{< z*AuGImg?d&EhDAw`N!pt!vwN#-W2yIz_rn%MW*D; zg2Er@32N9wE`NSj&XNoX+KCXL5EjEmXon}knmrar4=MYf9zM3HwwSzYC{sI+ z2C_Cp8~%tR0C56a_eF1b5D{V2oTv=t)C*9Hgl#{5_}UG866mPGC2J=hVpIt zGB6!H1pUjXzb2Uc>-b6m0fDar1OE7_6Q%V(Yd)ULxm~3pJ$&}3{_4Uu79%Xwd^s1~ zkDQ#GkU<48I6PeS@gwcir%xqZCgacTpu6PxdwP0Zt?gv3^O_25-AY?FsCB}wQznBW zBh{6a$5!lf6WMrfNN||QnsI5KymEzCUF{2ZfmQcqq65-Q_(Rwl!h{77-DD1m&(E>3 zPsE;5i4dbBPGcG-Mk`D6v;=6=`NEL$^78i!s1TZi&2Qcu|FM7-D{$n9j-C^?9xZWN zS=rL@V_o0K$cG#5?mA!2$`e^{-@YwqGas^@1i0G0_0D4ekHwhPc~0NauDf5p=!yeH zg?DWybjm$S<=oFND*Y^9T`b>DJbe1}fZ#@IY6Id?K|w)DonEPHc4TDaZgw6^cd6W; z1G&3uw~U^g_IR;lao*zS1MN>!>*?77xa9r50-Gq+-i0Vz!V*CN5 zXE{i&^qew5z*q)v0=MAuREGyTvdR5SsaN8B6JX4uE1&M@=+Yqgft65AX88(hd#1jB za4=m6r!4(#g3cr zVZ%T`Qmm!c4_V(Cs{M*{#DgyP&0`s(pwTad&^bI8yL!JHx3;#X1J6R%yLVng4Z0!#GD|HsN#xf9veTgaOfkZVMsVCDGc_vTp5~n{v_@ zrO^34c62-nhcsLBpk6X^vz?uNyomc_pp$HPYWL{2AM_a-9NZJF7|bE9-S;cw)vHIh z-&{^iN~(p#AKt0`@+uu=#nrmVU4rIg+aaJNpIffs;2D5W}CC_NIsyhfP&ZruR5fD%~b&8sJMncSnxRVUwBOl&Fn`dp+S5{Uo{eXhNykhlUxN5fl=8Vx| zVw;Y*@jGd5?lst_5&-JxF~X=(F6^I0_%G?|RcK7zHBsI*@~&6F2Vt>n?jNTD%W%7qCvS&2cc;6L@xAFK5Fd4NIH=tCf1 zs-Kho0wQU%w}N+HZo4WeDG8u=Q-Qm3w%1eNTKe;T=kbz1^u*WF*&c6jo*Oqx-p9;v zqGjo+oDk=|Fl*S!bUR*=vyCiUhsmC}dBNYmU_Sd*d=2=jRU>;^hI%hnFOR`1A2R#;wrB(gbhpa#}aHe4+zDiw{5 zY98*-4k*7#uLHQEB;YLWm01|%(Jgh|0?tXYDYz@x#yp%NPYzjgcy+$a1w4f=Lh>7! z+U`b1210uvooT4Sz(*$MJ_bvln6sB^@Mx)8 z)|zdy(&;YcL7!lsKfiovyv|b{kPAdVeU_ugu-Y#hXy3*Cyi@;M0o_-3DGXpWm}GgN zCD~oSe(rM&B%P`!6lPgQ+y9XTNFC!fG5c88*f`en8NN%?6AlM`PWP!zX(=gTnSX{` z_qCOKuDXt7UMkjn9*UMJ!o$Op;0jO12y``L_C+Xm%f2^V4~*h7Lj7m#XX#O5-Tx}F zUJGMAVc8Hdvka?=qoyV&Yp{MUywE*{eZJJ52Z7th-d;gViv@Pl_kPQaH&9?eu&SVW zHkNyO0{A=v7a49zAq`IG3N2q3A_FdVxq}IxQdF!YNu0Gc19Vu}%4GEfM3J!jN$WA! zx8B$GGq_tnNUj!23_fr@q!g0t0bT|K2frb$%7v`#>`E{>Qf1h@dGn)3j|@6f{{B(_Yw~5U;|_vVFUlYwSL` zfCWf%6mxcCu|H$++xDZKTP|L_2+fo6+(}1AaWB~cA+rNY3ksE>9R46#%KpcwQ+Rgm zTE`tmJzlnGb*HoMQd4L^K!ZK?XeY!+8#LwJDwmJr%SdKjTztgd!9k}bB&%#)P7IZk zX!-KY4v(eZC&L+ZO~;uwZ|)l&?o4z)^Hgg4hX}#i-~F{arq#zoT%&WHrt6OP>O!&3 z6%>mXju`&sjC?F=wB&^ zeAj6+XnfyZ*2|cO&p6+o!ru=7pjngb-qZ^0nBEuAS|#lQ{IoZ64?|oKjGu!(?F?C zt#%*p$_T)T^wL}dwNC%$9*U81*EY4#=4EP>UJMqp`*~&wGW6U`m-Qw_Mj}Ncb?7ej zPy;TPT17>LjF-Tky>+yq$TV`BqAXgjOfHZ5#f!IjPKGo{i3Cr;*x`nlM6Mv@VGy~A zC4b)L`t|EV);&@mpB&jn>YTB0anCa|dxw|p=i>EY5b1j^pZ_uE?&5M7PMRoV_{?^+ zH$*K+VFy5K=gyr3{GUkrJB%3@G&Fq5mq)EhVuH$GgZ6P_akRivyx-DaWdRi^(@BW} zb)8M-hF0As(@gNnZ_r(wIr)`6glj}8V-w!I_{-d8;IRfp(i%qU=yd4@&SdGX)dAVn z+aL`o!Z{(n!hX1ke*Dne`ug_3m&=gbEV_%fK=X;D_g#v?GG0SyzR*qSJJtCRPBp0m zg2d!HPv%|?c;Qr)7qU}QvZ&IBp=IUVETSO~rgXgeB|17gtJ>N$o1cqD{?hf|z1>_E zuYjUK#?+kM^-Q^Nd697tsrxvuEETeHbNevX4dWW&0vH7CEg^OuJb3PTI_x^g^Q|_y zK8#H>lJ;a6D>mTY2e9l1Ij^NKZQ0U#fMbm^HCJRsalA_T43E#mcDixK|9hgVXP3LD zrze~n6G>V*>PG6GUCS^luNWJf{^QqVQcUFUq*zIm-^~dXbh5GD@=Vp4i9UJa==JM4 za)qaO!C$>QFZaXh6M%Dj?)e$+FhaG5Pg7G9o|vYN1v~pL_ohDK8lf9=HZVLBjInXl z=G^ek=Aa9=Y+<#&RCZ%Kj8y)J)^0vH9FN4zA4*nzTgTeN#r_oUpro{vi@9u>?OILH zcC&zhGm)YjTwPtQGm?^${Gn!~aB;7|bam#!GDel6Yin$8uZ8N|%Dkx@;UPopN09XC zwoNp?q}L9#)xvVIwzfE)bIX=>hYo=%9&51xGJuSf?nK^CW~SiO^mHrBmU2iz&vJ5d zdVb(@r|Buee)h8%ooPPC7)y`(DGwW(pPygjKqz{e=W@Ge%3=PMRG<$)S2ZoICT(W(AbWh zJbBVP%t03)oQZT18C94pKhC|0MA;$zqIe*!%iJ%Llb@}YbTaO8uQ~!Le)5jLXl|Sf z-sw#=o+WEYX%a_{m*1Uo6l{A}ifsBl+b>K8&rb$QM7=V(g@|Q1j=UaS^&0cA}dCz0Vbq9yhfK?7Axm=ci-cx&A)dBMKRTckWc$Mt5@Fbo$#OOwOyH3Cv$tuGYlIu7}S? zpyBR=2k}Fyq9OU~;IvAXpg|VMFh3DA(P8{YC{wXG>+i@Nwv>Q=85W-MS=|N3P?uBnBE1u`y%pBFN! zp~dg#=87hGAeaUb!m7I{fw^3R{|!XM2JkBuR@SQSZg$WJO5)1Zt5scHI}qo@uCBSa z>$IwdMtqA0dWyJZC)o9RQo4Z3p{J)O0W0ZFzK(p?t%>#HV?A7>U5|u~?mm9JcXbhM zf;8Ycq@2Cr@4Cz*J2^3w6vLk$_4H}T)RaAmyvtV>%;OeyU)gXS(0xS^qyzwJ7{$Iy zdP`YZLi4>FHf&%y;wW$cNPv|3fF2N5F&T#fM0yh7r$44Yynjy`ad50%9^-~!S21qe z=8wGTS9l(2=gNb-t$ZfN&R~IB_mb8q8G=Fn3}05&ySn0p=Yp2|cJpq+$ImYoc>k62 zZ*CB~GoHWBV14PxCQ z`wbv(Z{NMEMAK?aIK3@hD|-#uxUhz7NTl&0RiSw}`njA$V!1drK4)gZG6PoHvt z)oL@Zf_!Jgx&j7^#b=U;-mCLkB{=fsuN608Rn~%`Aq^EorcfX{6Y!O?usFdU`l0Sl zOiXx%g>6btPiJIg^df;IcwYwy#>@O2Tm-{?8Pi@=^*D{Tv4dPEH2I)7J)o> zn8B}(Y$0)R=mjEe5RPHA?w&ntKiIJK%~E2~?+<=~RP=1rc6N5Y#t^lLl^gotv0e(? zAgw4%6ma~Ul^-8mN8F8$UTX88_%V8d8WFc#5r@q@1hsEo#M7P|J@tSuLRhU}JHQ-V zK<~Xb{?J7~c>*KSyQ!(^#O&vmmy3r0Fj9}~&$389b)Iw0&2P0T++m`rp691oi@T|@ zhjZ^iMuxu~3Rud`&rfq_>;7BFvO?BBbA~qGy0>RAUn98h!+VmfKP>fFF6zlgo`JR7 z`Vw{%L2TQ$O{iwr9cj6^&+d$fUYm%4R)PB(V%ftYsDWHew44=dV7i>mLOiIc-o>OC zwd>N6BS)}5xy8h`z?HRZTF-^l6VihN^l+5FR(g{b2vXG=nws2*s6o(LN6@ke9o5qp z|7eRC%!yFz+0m|T1Q`{LPfU!3Y)fip5CPEAwCCAdnb3AgE1ZwN?Mz&9zPbP0ojA+u704(QJ=pR~Vjhyi8)l zTTh^8=>melqYx4nz6nbUaa}(ELjAxL=Kq%nHR8$!LJ9#!*t!s?7JSMp{ zq%mPxa|=5=9bgrar!OSxDa+OAy*{Sbq~{44v5!F$_;(R|0J2Dx7{;n=C8rleV-W4B zcaE4+to@BtGYCcnf`kABe%P1`GoyDPlJ`TKxscl1U}xR+{y%cq`76{eJHSf!q5d-< zI660+mPuy((BPnWlRr>P##>5ed)y@4X3|d>K|TLR?wWNymo=zv?k8kPveADYJbcJ4 zB*aK+25_gr$HMO3_1deRh=?*RQY5W|%y0f9P_4Dv-dP_U^3&SIy`P*kG!U(Sr;?ln|^`XBQVkr1$wpPf~EgCdGK9szUPqr=B&U(*+C8J1L0|mHUS=LJh!y^18Zg@IjtWND+^HH*S01 ztFERNcEbw81-G28;U$+jx-CrYB`V&%Q{-9p|Nn0_YrxM4uYVCGIQqZn6iV)V{~U(M zd4Fw@X;Qr8Nb|VYAEQ5k3fvT`i&>i-z~oQBw7}Z}8KSs(lt7sH)vH%uq2&adp)FC7 z4<1VO*%%o*Y(#>r>uc7mF}QNY2dlyWdyabJMs+QxzZ=MUVsL0EZ!C(Zq!PF{wp(ET zehR|H#l>t~=j6%tVBCHX7a`*t!c@L??HZ!wTlenW8*J8()knIcr+7i!;YQJ9;=>8z z-u?UGZS0cvCTV4yRVrk_GfX;T4_+WtNtOYFUf~A<+N|XALEBGhE!NJD)U6W=Zd=V z69}6E+PTzNAY)@=Sp@}|1=7ek5lRfy5vO?hH)jT+n*bDMxy@Q39NG_(Nth*FG6{I{ zgdI`Ku*k^NM$V8;E97-60kdY=_Maf~3WNatc(}MINUTs-_l6uFx%!bs;rQ`mdzdc+ zfY9ah?Kq%aV8xE`tD2r(2yUvnws!rNEn8?D#=jH--;*xd>)P75_;@lc3!kL|Vi5&_ zWYgXDZ8YZN_g{Ig${=+^K|tcdMkcc$|7Vny{7AN1E>Y232XPiI2jQkv0C5(A$_tle zDj7{b5@lUx$X5HVz@a+=P5Mqqh^E%He^^oB5z-z@j{t4co+5bo|cTE41WIr6Q(QAe49~FHZ+-^gM(VuM-V_Vg48hSh-Jw_I3f$0 z-x>XVb>i!v9dED*BUQ?cNc@7pMiwHhv}_WLNOK{&O-?{O6u5W`_@=VGeKunhiHWa3 zbQ3c(e&`0I!)Vzl3a0!Qt6G7`k&TCr04kY0!!pay&)3Sg*bc>G%Ypn(c+L3ctlV6m zQ@r;WxE?=x^c8_EYC5_%&yIONgR=kM!>ieza@sp;wJ6Kg#=QU;;PoMn+Z9i8ahERa z#HnIJE|;1?ro0h57X3p8RPNuYnk7-%hXFzm7$U_=Ini5Aish6&PNyMlfua1@)R*(2 zlDMGeq2G}C@<4<6dLHza*mGqiSpd>m%d#Bb5cQo5uC&i7?bcq zj<#Fu_$g_!cg&7tmdo*nzhA}e)}V5Tv25ZR-G(&!G%Q2fn_uhY9}D||;efrE3GvHy z@}W1TDe^K!AGV_cr>FUWrHl|XYhd8rnLF66W+y|~)Rg9qj_!}fs6ZSQH+Q@{o_DUc ze8Dvtq}7lgF$?m$I}_@pD2s>ucM3N57D5aC2%BN(O|4K@U~B(CjHjlZhEJ|F?hyMQ zj0rOb&5&;&j_xQ(E`@0je|q0JqwhpO@H5bB>hdSKtDexOdev)@IHM% z+yJCz3P4rjFX6#T29b&>yeh2KyN<#CtatSw0KQ^B`CU=qV$NC=^2wZU-!5aR#RAJt zlKvrs>=GjiTeHF=g*(OwbIwil!TWg-0Yg-tmuWAX5g}whs0zJVaF{;K2~cWzc{%&~ z52aUyg{G3s!HZwL877wI?KCtr_UtF!*EzTEZ^O(21MPVMNd1wA2LX8S5TCqnNx3{m zjiHBbyy3=z=RtAt8k9XQrrWIP?Rn-GFkGgqtQHos8=jV&Vf8=+EIU**v%r8}eCO?0 zBGgIb2t9Z()yc)!c-PfW z(J3_nk)a@|F-4A}fq-w|AH()MjMR+G%<(^y=dfn$;prk!{g;p0Q|x3-%ORyzrzRGP z>>lDi8OVv#fDcU{FbXn+!-Cb@i#0-OMnB%@LUKZ1GTX`B)JT2=bY~bUx}?jKK@Oeajj0zs`@mv8QBE{1-~+)W*REZ=hxWG(+j>4e zzK+kIO@$6Nh2i&}6%}beKZ7I`bU4<)fEYZKxY*c14)-nO?Fqe(i;I)r)_y82Qq+_Q zL6h&E8-3+qdlXjg*l=nDRZ#oJ|Aw2K3Yba#qzEawcv?(`ph0$MyTR6FQJM=#xt1l9CCtu3~ zMts5il^O(gH06&^rFEM7M7P%^^{xc7AK8itGBjR=M$`!#g(Z2#n74H37y#8!6SZA> zMajPh_hdeFIrqm&PjAqa&S#v&jOaM79xZ#<<1 zR>!}lKa-}KT3da?!?&CWX7wfGa@d7RBmb41H@ocs?hXh|R>h&v>~11YRppqGbW$%ZscAf+Sb{R zF|wRN!t-eeF=7O=>cyqvh7@%^H1R#sSFQp|7z7!jVz35A+ONfW$IzE?Q)X(a8~{6+ zc6RDIMNSv7aZ3Jy(p8#I@Q8Yk&0UhifGD7(F<428TyXoQc&>zG`1Y(jo zce(E;k=Tuep(Mf!1ELu7+EGhVD&0$$Fc3yBFE5WMx&g2b=!SYSpN=fj620!T?CBX9 zhF7kvg`D8)(eo2ji5&AnC87jaC&jr>pXm2#rdI&?{g^IW96N$%kJ+LWi)#=J8L8JI zOsf{RxH}`RjEm#*NlPPt zq!>P}U+U^h=6!2w5SF8YE>#OQEIf|^Yi4Ev7#`0BqnxV&k=6| z0htTdF=*|RMYv#8u51hk4}McKfZq#3hD2_j%FT4n~25`Aqe8; zV5dzk!1}U)9yeVU1M6#FF3hEkZDc~m^>X&3x~I}n6b2Zt2=0+Rm|+vGkQXIzTCuz@ zUSC7wH6a9==kho;-Wu+#q|?|(sH$(F5kAu3H&#?s{Mgg;l)?a*Txn!va4-uY>TGO_ z91#61kn|ALzuk<~S{QCDDNBu)HEY>}Uv}V%KBKQ+M8iP6Gsb}U#|pe$14ug$+hhK7 zh_$B|<&TBP$EaAM^=ta0&5GrJN0fek|IRCTf7d)(r^{ock1;HA4Fo?(xCRpqkD!Fx zIXY^ZWbUm!j!-6L#X~{;7Y#K?Y_bqnjf|=h`ufDnv;hk6We5VaL=*;DO2(pUC(%AS zfUmSXJj#|{F;TA-5EN9=({CdMMr=$2P!s`S;V`-#;%A;d>pimos7gy9tYieaNkCRM zM%r~MAVa_W=>}gpDz9aDifU$_6JIOI#g(3%8~|G-7;oWSS5mx+BGQ@QP?O%r`NI#^ zJh<=i--cXItW>6lS}enn+`C@~RySn@l&rmi>fuv64w^RcQXTEPBR@mIKtppbdF0ox zk5DEq;#%T5$4o?@Ol>#%<;@^tfPfD9rNT8G0FtkXEZDw^dILBK;Tq9_xOxqX(XT4s zjkJW$%d5(9iz#lpEfHie;PKI&27iG^a)|ez17s^w4}rQ>az;>6@n#`wyf}jF7Vm8;e2)ga0Iqg9RugC~_Ax!$>E6A6Uj<~oY4c{vnhu>_|D!uA&~_OSoP%JtQ$m6T z0fIGTV7}DBy~z=Ul#EU37G7V6hgAbrpl@(608z@fBY&y1n5I0n0BC~BdchIgR((qg^WyAyEsDXWEn9q#-`QFTrEA6fJ#Kto2Bt^j zG|1&ecqJqlm%76u#_}iAYAD@g4xJIXY((_817AFna>;o=jq?E31Nl!(V1Nq8TZEvg zr%IjX8Sek~Z4KZwIqQkX?>s#mzVuP=guqrZivR)W7zQ($n3#mFe?Nt^lFO5y9NVl9 z{$uo5ar|cgtAe)q)zNM@RgHmVs)>P$0~db8-tvlFv*kqEE!8BYTPzvRMFZovD5_gs zPH#($JR7aHL+~BLzP6w^#n!V5CCtL>c3tLXGE8^AEf+{7b~&#`;TT0_)}9O7Zg_f1 z6x)9O5h4)v=f>3;hF-hHr_vv)iv`CIBlE#h!4UJi4b?K~k9A!^eSTXx(R9oiKw?Y0#P(;A|*p*@!!hoj)|2zht+(w>I1PO{tTS)swh&m@N-$pwax zeEUTiq(u=S=mXE|?2Gz@(0e5Y+0|54y-0BdmUrV*sI^Ry9}wIav!3ECdvLJaVc!*VFf+G%pv8_lCvai4 z5nfoPJa`&(baY_xq}3+uGI_-^w5EY=2*Pb_Vc~YzI%~WfL*?BEww2GVgWi}0q0zfq zyn>;eT9iGk?Rjr&z3C0gH%eUvdE)GfZ7a^ zKOmm=*b!3fmje-I!nq7pRaMBCxwN#l_QCWcOA6X|g!$Nc>3IwAm8o`mQLmQ37I zP0^6-VvWq%&d%QbQw9aXAu+==pMjpfP3OWr-fYa-Kk45dSt^3G9lg1Vl2X$V>pbm@ zCvSvozrF5pJ)*4X`KXk~hjDdz+%vB|W7?g)esW@hk$|1aLwjKS{QxSmR#&3xp4^z? z&Q9&V@o{S#Oj+xYL$;&8X_o~|Aby@A7%@@ZlHc0W60l+O?!nRao*uoDnND+8b@6@s z_F;%rC2AlC$*(6yD9tX;5$2P>D8yxz+VX%-wf|v9 zimjxEjTvB7{=d!v@=EGufm9xxXWm`~RTSqYkallcW?3NgO3azR=o&CZvK$NjGGgs4 zVrI+$@WMEE0?u;PSI$s>+U>Z2HA_DPJ#Q8i9D*53(gN7g+!!u{11>pITv*5j><>s- z3z66mVJ>vlZ%F7i(-)eRZJI88y7Ycf`TFS44t2NExPeia@0T$a2d(bhz}d5f!-CT8 zt}CLw>5zY$e^`EQ=DV+s=?ZXZ(qV=$j48CXPp&%`vLWmECM4`4Lv{GmprCNDs)3LD-X=epO<_SoQ?~=I_&irp z;N_up=jPsSIJkM!J8Jp=@mC*^}dooOo z{re-C$MHBZAX$T-s3>2V7Q~qo9dEa6dQ9bqKY$-}G(}?#VP=!)IZ-q1_vdRd+f%r?n=2dm?#G@>nZWd3Tw&qGq)YdB@q$=V`2YT+dtqTWv6Tn& zaDdNFK0XZHNeRiFS4i}JuChBJuIC1@1?PFWE0MUYgYXV)aU2H(O%~k)J{7X7^Yt<> z0^jBeO})DkpO8@bF?}@j7a*SvB7iU-XAJQWuGB>z-i$_BbHMv;Jb7`4an!`lofUsAhX4DDx{`x(|NCXk^2h)9fye3CHORA6 z{)-QgK8W}MDIpFdXz>4rIjfdb*WA1rY^UbHg_$|e?@Vf;WC$4laUF&JBDp#O6poIqy26;E7;>zBprd#NWc%Cg= zv1|lnRLWPex3SQuA|6LY@nEyz@4D-5*^W(f|INVAEGId8B{Fq0shm04(_nD3S|}dD zWyHW#_e>4=VZgo*gTHy3Qn}^HZ`uc`zoDrqwi#8Q943Suz;ph1hVazwxB zJ>$QuEB~t!ltfRSRd$bes1!~qnWu@+bKO9W0$?O~I^VrN_|Q&8rcY0$yZG|T&?xWn zlBpo~>m~U(J>l3rUQ8$L$fJK|-d@qL*uJAZ>&W7(8}kS0*(4f9jqVxJx)0|Am6KC- z!1r1u&cZmKD-c5Z_F{pBO-RD}mzT?uQ>I1{lX2AzNoRGk3@CgUJ1@AqOP4Lr=#XRg zP%Ueqrc85~7Mr&ppyrzRc1Msk#cX)5k*<8Wk}qDe%#o+jLQ^SSWFLbPKBO@CX@8Oyn#)>R2Rl|qEu`y@dtU%D_@Eo#m=GLiuK8T}# z`MN?Tfe=fp#0+uViQp=De-1C)AS+^?h=Sm}F+strSOwujQi^Yw_gK!ohYxobxqhC- zxC#-lZsXS6;vPgh))C0TKDWecxJm59X$WzaT^J7`3?{@7=6m99makuSqp))NLWXw2 zOOGp8;)$JQ3&Z;?ySC}y;6m1_Q|c!gP40-Mh6Z)QxxF~vfa|H0OYF;Wq`sbGd`DGP z)qnh=g+)5C)8kK6FN@Sq@+#ZLm4fA{)%5iR@rWKZ^%Jw2Z40wIxlbyfalZ}`Tj!1k!?8IB1o*_4^w^%*eJq{?FnVv0QEv=qix=1K! zYimd3huyZHnM!FVUlm~k5!SJN5#xihWT*!VGdV3y9(b2rh%iW~aD>3)%BRD~2$E+f z;H0kg_)>C`=z-F%m6?L_K7c8+S!Xh+5AFf%Lr+c`qi~>3O4xiQEG#TYL`;Ge;wyF( z39-SU$RW&69x^yfQuNRv9&z#f=5a*~=E5EDh7eg=BzUQ)C4-g104DAn9D8p}EOU#9 zY=#Yh=*ls?NdA5M$V8m?G&w{HPvw>CG=C3fqtmtXQkw@R(-9W>2Bu0b^2Z|ACI%aM za8L_E_RqSl4g486PXL6X6+SNmL--mD_t2^ydyDnnXp8@rRv074XSFXGp#y zj8;3JmrYB#EtutLcZrx=STM^C&N4+sMfu_|LhKf9KE9Kpu-l7O>Sk~_qU#6E4DDS+ z0NGnR#pR`2XMB8pHxS>T75xZ_)i*U*{iIMPIGZ3c7+f`eg}>I~EC>ov`w=fF*IPV|JappzbTxOl1-EL1DfN0E%FM7H#9c=$Rl1^)p< zNJ_XO@-$O&rV$Vuy3raU;P&kyo5gE%KogmD06tz;Zyge90Lch1y|0e(Wn~=XF%0B! z7{~@95q9ccOM*M0;yFafmaJyr1jmBH3}pHBqU3&y`u%^EoPA8xbsWckqH|Nw>1+#m z5Q!(Z+b}2&;~^M`#Dk!&naGZ4g$Q+k5g-`xm;Or$yxr$ zUJd#iwuByrQaK;YoC;_g9CRpkc9h91x!4Nya;AnHC8kG7a&xPZm$;k^#9<~Zeyopw ze_;Od<~J(aSp>RQNLooBz2%`*kiLSC8spu1$2Byn2*r{cYX-LM4GgG5h$20CwEJ>O z-!5F#B8VpDVsbV{&|`PL-Ap!=Jq&I7{@F7AmlhHZ&sWp3W2dCgO%ZSBJbq%aSB4f_ ztO_KJaRUJW*ncb_(NaF!93}?g$HYDIYUE=I zAX0a*pD3eQ>s*|`O)&!M((}H za`^_6$;8l~YW}X1J^6E`YuK*gRN9!4k+H9?k8RFch?f+&)48DL-dM|Pw?%3kN^(aJ zkIj%7#=8VvQxXdERg!qT2>xtrY*B!Rbj`};+_8_J4MUV>Pjg!)Z+t1GKBQitIJ>S;Q#eI zc_FS&cRNMoMu1B+g~v*g zuhV?74ZD^(br`jr*ysrXuBq<@LGWm5nqw~pRkeX#<5Nz~}^Oeo^~%o&R%E?ujaKX(%#`Z)rZT zl3pAcY8jcB5SY)-@AxJPxHt(UQ|PnD?8Pnt%D%_)&18o}hkG?jS3@wQClM$ARJD>kEsD=-sVQ z-)MC@(sfW%+`79@~ literal 0 HcmV?d00001