From a01eb8145fdd273939c685db0720c33f6d9eb5a2 Mon Sep 17 00:00:00 2001 From: Thomas Pietrzak Date: Thu, 23 May 2019 16:52:31 +0200 Subject: [PATCH] seven stages --- figures/extendedaction.pdf | Bin 20631 -> 20734 bytes figures/extendedaction.svg | 6 +- figures/mysevenstages.pdf | Bin 0 -> 18206 bytes figures/mysevenstages.svg | 547 +++++++++++++++++++++++++++++++++++++ figures/sevenstages.pdf | Bin 0 -> 15883 bytes figures/sevenstages.svg | 543 ++++++++++++++++++++++++++++++++++++ tex/perceptionaction.tex | 98 +++++-- 7 files changed, 1169 insertions(+), 25 deletions(-) create mode 100644 figures/mysevenstages.pdf create mode 100644 figures/mysevenstages.svg create mode 100644 figures/sevenstages.pdf create mode 100644 figures/sevenstages.svg diff --git a/figures/extendedaction.pdf b/figures/extendedaction.pdf index 911d3d3ed23acaef5e846d81facdbb826c8fe824..50204bfdacd2c99fa0f7d07b483880fce2ec6522 100644 GIT binary patch delta 18908 zcmV(=K-s^Sp#lD(0gz6A+m0MJ4t?*hs7E_MS4wy3HH&Pp0T#R2c%O_s4B9>R1aq-H z<7D&qdq|0rO4W0PlLUcVw2ERKQWSYg`LtVR9lZ{2+Wz>@57W12%k=(sr{)x`c6$1K zw@g3czh8H6f5F6MdbhLFKc`QVnil-Kr$0{F5RIDed2>bq~~McFF6(|2!nWG9g2f2Q_p z0Yni?TMv7Tu`__zQ1#|&_wD(9*)IV5&H3)_s~^5xo=-RD)A6^n%P(hl7dO|he|huc z?)x{7ICbSs0<2)Qb>2Rx*(?bYlAi;-bv0Fy31(jOpW{C@o$}t^czDaIDfn3dkSj6* zFn`-Pkx@Frm^#OMa#EJqIjA)GG@GExc!B@$0u+IxTJqj@sT1C7F5CCs^AsMI7Po0u z-a41IzWe)^>+9p?>%Dn(p9iChQQK+z1CY7dc)w_0J$Uc-!-C1oAv(N*TQm?zRZ?8n zy;J`h{rg$K5ItT+PkJ%4wKmwzOTGHo>pd_Si}Q06S%`=Veja>*>wA-K(Gf zxV<}G(G0wxq8RY_C*TLdYk|EmLSwru*i!i|JgnAO+bCTn*pJcjdx%6QV1rmPkt4DU zcasU0ckrRj2*_EU_q0eny`*kBots@-lSVsIAZGDj<8c*bDo}EZZHi=EmO6A2Hh*Ww zj~7v~n6$~u3;=L0*?@BX4I%`)*eD8&@yEl?)W|Mg*$8BekF!QfLokfa{Nd*8@?lpg z6=#e6W30jsCaVKt1V?UB!6dR3|HxZL&4&0>lCeLoyb*HqL2!8 zXiArWoTTcic}U)>mX#UMp%!eJ(0`sm6h|b3s#C^g)q_ZyX_sx1ST9QD?FK-|bz6|& zI>ia@VJ|5S<(^Yb z5K4-&)P50t$dzwjogHY(t(*ssIoA4FFDu6uN$1!isZK&jwjsbnso_zWb&f@)gO}+Y ztHNwd=UCKFD(SXr9kS|ud|R;49F)@55-t+v&)YN*P^IbR=AsCZ0hN@ZNrYJZXRX|+xg^F^t= z-T(=?bPLlHU25P*1gfLb`rfn(mvTY2+Nclt%+8DJ69<9kqVKY+LHiS3OF#m@j);BT z`Ai1{G%CjCGmW|-qBLnfgALqVRHY?T)@56It+v(lO7Mo5+Cv5Ys#L~h+0JKTTk}~p zUzE!04UlA?jW9jcXMe~Cs8Kv0HHHe&7*FI^ItxF4{Cs4uoju8KIfz;P81QpQhJkaMT zBm%D$Iu%YdI0x4PW%Z26wbVJ$D2E{CBu_p=IgEs5rX7%S5l0c#8gv4n{qvFQb=2KB z4)WGq^-a}MWEM1KHnc_-UPm357^{69ZCD8m;1l>|UM!cXVS6Qt#FaYkABF|Em+f$Uq=)3z2C2GYI|z(JLrq1rD=7{|7^3-6 zv?3Z(V=7v-OBa=_Vtzn=ow8@)B!J|D=7r)B2Q>OjR9_mA&wGVuSTX?_iUp_@sXL>T z&m**7fC?QMA73kl9Q5NFj2V=mAlK$`%qYT~HB&?sMt^o{5hRBtD{XQD6^Fw!`NzqS zm~)E4u1tZ+kQC;)sJs$q={5&}Viijgcd4`;P^IQ^1QKZ2=Y%$NRLf+@W~mo~flhNk zgE!(=fkPQT;-RqH2SD1aiU{qB4w7AwP}3lojJg?=?Sjul#W=Jk#!d*IYak9kV(Q;gv*GXRUk4w%bbc#TPvs0yAmcUFrhJ-_X z*{GUp?d^ImgasRAjY?d;7AT14!A7(*Ye?#pib(V;KzQsaTm+9%E5Wf{Df5U@g`imo z)|I2Q(mY7yYw9ZtI_4`2gv7!L;41Gm?Qq816@Tr8YTT_@FQ1cP(YDlumX7LLrd{T_ zmP%KZ$I7T^Z3I_Yx6xb0E=8?Kv3UK8D{@QT`ia$rChgd`IueN=kX!r-j{N7F^Sj^A zP!v{P^%U~L(g?LwsVosRDy#lkI${-;HI=0hF>5LdaW_y|h|?97MY*S=vdXZhvSdc1 zvVZC`r6I05Wn5P6x@a-2b*W1L?_B7LfxBx)m7ZxaYE`_>trF?Zq_} zg6|*mR_^C1O|IE2ku=gnBo%q|51kHs-Al^Xqb)%h618Ic}zUHi)UQt#kT6@N-3=g|%QIRz7 z$rHs9qECi#B&&)^&2`1(qE6mt4M6X=ipewFrcjIM32h6pRDSz$ruQ0-VrqK^uYY~~ z@cHcakwhuIV9Np0yS7Xz-EHOROZO|ernby2Q`RXpQ&vgIYE@~;dUe^BDywZZRZ4eT zA1d8%RVw3}Dr?K!Qe~Ya=8IB!y#bQGWqx+5G$^0!VuWEzB)f1?jG}L=6_{cwh$hvrBh*=L{i;@mTN^{DP;%xio$+PUn#U- zJ$+TOqpaHUsaRI?snAUFgt$f&)^QrCE3vEdrj+g=&7q`Csf0e0R?6&~L(r$mj-T0+f7qR*%3d=diFQGrXJ4kOpyfC?C5w973~$mxQ= zKmsaCU{v3utEHQGbiYw^n!_b)=Cv zN}WaM*9b;~QYIL;DpRc=kmbeu%zd3M%@g{cEOjTlI(zrS>jhhC9{<)R1Dg+0hKnZqGA?3pu&kRObw~S?^R(z69SIn=s#d+tbrHeoTwjKMCM_8SRLAePFcd z*jzK(by8!rqvigsW3)-KVzfuqT!w7d+uQ}cw=u`F3H86GRxlC8N_q9fmuu?H_s%)< z>R(^(Xz;R&ynpvPGn6~mns2;bO){o0JAdsRUZ!E_Vy)w|=_*$&D&OJFEliz*j=*wF zxmPih?jDW1E5mYym#*iIT64`auJr6Hyr`@-_M=be3pO9F+x6>u{U_hS`)Zf3=}vmN zYVGNo=+)Fjiq5RR{Q5k~4kee`DUz}EQsDf?efL6jYbTLw+!`XADqmZJOL(w^d{(`)}r(%t^mZCA?&s8R6i9NMVB-_(% zN=~%smH7z3T5$)D-EpD1u@>X?YrfjBZ+m+&@t863!HkCV%aUD3CJZ-O-b6)aUbev*wcz2d$`O zw)t8Uc5^b`p8A4yyuQ8pOaXdvb#sSb6q$${)bfEsB$IuYH#Z+&7_;{t8dRs!y$%X6 zx*T)G{DN`$+nXk8h8ku~x65oEBZiEP{AH0CoC72dtv}+-sB-%&=Aa_#f?95uD&Gj!| zPSwC({TUI;{eKC}?$@cSE0&oMI=~b*Hr-vJ59UNKBN{V*w&V}1ielHf(#3c#ykLbf zdCXAomjyqKYIDCbF7@=tgu|oKn^6q%}aDDOV zOZ}+u)9(M2=liUaB@Z70F*vhE510WLGBGv^K0XR_baG{3Z3=jt-F$g`6h;1%^$;I_ z?ptmI1q`bQq9VHM?Ft^Ncr8N+7|>m^inlE6daVb-uBhm4g!Qqw9+`RHs+q*F$NT)= z=kxx0)2XU&9o<#+t#5s=DnJ+^B%>C@A#K)@8OuI;>Y*e;1J@!%rp;QjN_#l?{$CLq z^bSJ8)(U;*1&mdI(*8Dj$W`8*S({TvZ-V0>| z=R<+L)c6(Tk3&8>f61z~+s~O_gZz2O-?(_`tQm-#d^tiRp+B^B$&9tj4C@Ui5gG+q zq%B)9XIbpMF^3_qA!Pb3B6P3@cwn?5LSZ$m#vsCoM?Y#@$B()J{eU#SgT9S_(USBR zhJ%K;Q4BkDf4~`Vk>-4SmC=FiTr`Tpb`Oc6T!P!v9lB;V3sW!_Jh@gboGVBe$Ma)R zjpH<;rK?JRwO1CS>dxv;NE1~o4}Tbfy>dYR5$p6CJ`xD}gT5dq znBz*!6%WOYF+LuNc`Z3%=OG^e;sNCg$WXbKRV#&^c|gl8UDy7|Rx!h^P8a>vGVLrL{Bxa-u4l?U-ve|itEY@65qi~h@6 z#!R?z+}52(QvYn3QGr!hj~miwxKn%_dGWY|$PZYTT%IzbIoxHo_VhWu)b1=xIB?YH zaGSBiZ4!{I200Tdb;rDa9=&v6nO|2FGR0HCV!PD}aeMl2x`{4_ho@`dp=)6>nS?1G zr=kcn|4&*EklAKq`3t&*E=}5lJ3QDk)=yX8RW`6J=|ATu%ly0iNq^eU`^_dlSlqEdHC8 zCpr~~EKu!Fl% z3&8h!4n-|us6{dz3UX2eBO_f_Xpw58m<1r+MiC9bkGjl%pt1Z#$foFCL9ttfs;dX| z$1F#GrGTCr+6;%jA4%u#0Djj3yuyPmdahH#Hea!?zfboq^F3gG(DJ0k=(iMDlD-Zf z@1rv)@Q2EBj26yp3(D9<5>5xt0ln^YVrSZ+^PU)wIC3Y>OnX3f+KFJOYzM+VoiY-i zZlN=DvKbeD&=Qo#=3GR{8QOoNo7n6#^KMUn)s~(5=WUe0D3+dM6Mod|djTIpVRQk@ z$eT!9=tWdbFmvTRZ2nHAv$F{>P*nw(sP3#(GX&;TR6!C2qd){jvImeV*aDbR)}~E3 zvAhYbC{-inuv!%Z2bPw2#5k}Am#fqjQCoNJbog(7SaW$}U{J}#nq$Yf`)^&osBGjF z_Fu{)n`hqo<6KzTn)DeypC5`W$cGmlaCzy9Ioi`_*wVq4KclatkdIZ^McHQ_C5$#s z6&j55gat-pnKIZu*j?_eRqE_@?pkl7p;4NsG})Wn6TM3eOQhM#68jSOZ0|MLB?$)0 zmE2^1!({nN^I~p}VUE1mEPH~ys0K|YXEdNwoCb7CM*QqQ|G+k)=sUXqGga!~Ytj_WgjrF=T z$uLQpX_zVTxT%5hdxug1tA$)n0k{HkI4L(MFQaQ$^VrQVe}vuF{q>fUsm_C~TW)II zw|Pq|ap3&zYf^viI{Me2;aqHa>&>_R@ba5)08b#O4%RRi*3gA=@Fd+6LO~aq!ZjIx znxrYFIou+{QfZFK=%Uh*&PxSApGcvcAdU0w9~i!OUhwk+?1Oy+g2U`%{KJA1?2W#O z!5Q`?{u#lw!dlk_a>1)0H?~|-`=n#1d;dBRM4@_Pw z6n_fF_%26~H+ghRd-`K0mI3&h4aGu#cMQd^g|?US3(JxgZ1IQahK$9_XsQpRix$Em zcc~H;^=M&PNURpe!Ln+MCcJd<#2}**ws>NY(Se)MhcA~d7M1PUoi?WH^jKJ~#0AFH z$Iyl9f`vQHM0`_K*YYaL*O_>y@|OzcMK)BT_-odKCEqWW4$yN&m{|t3#7H^8hi~|XIv{?BX7Z5 z$W7eM;#T7}>6hqU=??iB^oaZ$^qja?ejU9me~8|d|As!5e?aHuBAAYU>_u+50LA4B zc^uMZ$)MZaWd=|H%JvFu?h?$0P94cqQLxcuTz1@_Rc^H)Y7B5>;1G{jIu6t=wYh zm)Nr5$d-OynludPk0=%OVh@P~YHA4MQit0!u)he|tI>@+SUvFm*K_@49i` z(#dPcRwnXce_sasI|%!`09BB_dXZ$23VjxTVINCjVWnlDt0FLexbV`#CQDP{Ld$}} z=Kk9(H}$#S{eb^Ti>rWga=I(>>1z8Z^tkV-f&;$i3y%1X75ve4qQF?=#<>)$D&04B zJBiVDjr`O2b8`O!sFjSY#p#s!Hr<}K#e&EHwROQ;oPR?I8K z(K1g-*y)|#XK5dQ(kEDKt+w87-Dyo*4LhxStY@v9)lBKwnvs+YIIp`XpRlsEvGE{nH|Q|*qAr3IC@w(CXkR&4YJxwXDXQKcm&3!1T!5BjfE)!6EOm_ zK!gE=)4K0sR z#uYCw8#u6kf<5JBjAe=WLrH0g+wF0?Tu!$q66XZbN?c3`K_jke_Q8dFUKq7h1B}*2}e7WI zG;r^K+<#G6&!1L0K~GaopRb||L(M~A1i+e=*QxMGBw`+>@Rw8VOs!Cxlb zNjs!nQc~)WPDR3#^J9${>-3<+ zXB2u+WtmW=fnsLG@`R(j)Wv~rzqPHcjsNShV?Vg~IOTR2Z2?*MIq*6+-k>`SoZujT zyOnn3Q|=4LIqrf(;OR0|fv{Mo;Cq$h-c#PRm)DF=s}m%iLBxXFB3rCxYt+l^P%l#_ zP0SiKIq9TKlu4+R225;vraac7$0ju~n-ucjWo%NDOliVIZAQi#P1MLun=t&D#(F8i z`l(^+J?ACMyt}+fZ-dO`d-)iFE;393(O^LQo4E>_D99ubP1V(%Y9-DZtZqS-WTPy~V5-Jd!5Y9e z*&e{uSY>X9NY3O=`zDnlRTucmzqbtH(ga@0Yzg@Q~K+wV#=M; zRW+c0sTy{LS=h~;`0+E6>>6)>IP`34@UvZW*|;B0e__ajaXZlmx*WIF^YzBpjl7$# zg4^LLE8~Y4NAi~$*VrC6oUw^!MAUZje48LSDWn==Ej

L|qX~n^pPd7iXt_c<1-2@0Yze>e&tN9WWgFaqo%L zkB@H0mM^(+Keis;Kl4TGq&TWhpW*hx9_`P0^y~OMXWn4xGN~pyHE&MddTG0KWAt&y z(?u_G7RlrHdivKDz2`9=1ON?0DZ#S0(by<8%8jN*bE9RUaiO$OUT9iqUTBjcAQgYA z$f{^d^yl(}<~s}SDY~owWAc;cNAn*m*cX2}?k=GGoz6Y48;EoR(QbgXp_t0+1|r=+ zv>V8wnzKE(a+)zeW|n!s7I*QcemQ>7K=eFc5#6C7U$t+XZ@O=f@0d@p`9i*>zLP#a z}fi*ra$&?WL2 z<%BWb&%2rH=emP30zTN!6!K$#)TcYVWhM0WV&<3dW@1VkJ~yQcpGM#GY4j~0(<*$- z0`h@k(<(*_;nn@Y%HxH&koH2~D5L_8eue?`4FJA6Kwm2Kv#!Emk2RNcl#qYwl9m!u zLM^!{VtpcoZ96T4Wio{UbO034eRL37)W(c<8ylWYqs?rTj5XS)%}P78F`dtrcM{=h zG!6uwZ$Q>uYg#@gOUIoM6i8N#%_>ES#Bw0#^FML86+qgMR(CFEN)h!PomRS7(&Ml7 zWH_Im-#0g6a2CZ?#jZFMPRM_=XaOV@hyiTq3sJ5UvSDi^fbt?1v$2mHzyQ_GtL^6N)~_v({rr{t#tj=(c*mp-znP{c%_|qIU+8uh2W~uk&(wbfuWUH>0lp-- zXvLhGOCsJ_$)%gdj#^g`N{qg4o_Av7#EM8T$00{chplg%w)2W-=sw*HRQU?*Qx(0g z4=HwFg~t)Tj32>I;^*?KctKK)l2NiaRLO!kBQ^yEk(ymn!44xf=4lS>AbD!WEtqk# z_7*|CJb_s!YgVKQOr(EN%{uD~JD>5kBBoa%BO{%$_EASJRu-slRcSiEf^uvstt!=w zkF^phuWzw#I6^hs6}XAXr5-<*2qJ0oBSRNdUwPHg;lqbq<;>;d4=*1*_=)^c)y*rq z-pR?#ZDo;~SZ(n% zZE9pnY_VyfWs!BRbB=eN=~~ORwhhYa=*rkl+&0tAmTk7%l+Do_Vs~2Zw%zT@%^J#m z!*P2c?w8_ya2$W3K7Ko2G9ZrTz&^6{T^G1HKmswhrEhM2495&^16>DZ)){j9O1Zgi zj`^q(fZ?XhHlaxq+bhMLnJ1w4jYX{%lOY_;$qg7qf#-;TW6?Y)1Cbu+>(}Xu-wqtA z(~bHv_GYIg3fAy=+>Dpu9azBaIH^1O(k^M&FyhOkIO>0c`%q<)(oG*aGz)#NkG}-w zgyVK9N@H)Q33JAm#i;;_GlS`0wkz*(yED5r8gG2gGX1p;OP`uFzHvxu@q`8Q zHh%MqN56l&$#BT_?32ldD+l2Z>RYb8>4#swn)+Y&;rErRZ@Xgn%9`4F5zmZ7#iMhU z{%-byw>DXC*}mz@aiyh;3Wn@ov-;S|RbOUkHJqBjea**_AAg(m1?9+28)xEzKAT-I z2@c(E(@eTqvoRT9^A#ujC;Z-{exE`Uws{!43+#Wh1+k5awk5&J0_RlQ9+}fEx{cVh zg8pR+jYP9#cU!#nd{e$T-!jlV&{A%_Pc;?T3ml`}4fX~{gKL3(fn$Mdov_BTPQBK7 zt!uMon|iDLR>#fGd*$7x7nJAKL(Z?{FP#6dbSd9C)4^POmN?xGQ!v2WYHT;!IGe9$ z_?dsroguW!%79*BvzZmuZkG|~b2=O`yX=IF&1_T6F_R3!RCZ98gh`+uKtUx)ii3xP zB-l=>_uBv$y0e{3)=kxR-A<<458H{o9S=WX!+EGSAk!*_EnPGBH;*%O%p!A<0@&$Q&YyqwDW}1<_Is611|cuipD5d>-W}rxXOz;bxH4pY4y(|bNUQ2rO)6&gBpP3@QB9xgUFfwMugv*V@)M}Ec(hvz335pX&nz3ZJrimFC?)VRTvTJqwFL|%U= z@o8IX@vvzB^;64I^PW@+qJc%W9KN9IzSW!7uOW+mcx}({hDlkwN{E9jh~QTbB1={~ zGIpy;5_JuZ0kbN`pXN_XfA)N)8QwKq(1^#VMI>)PlQ=Gt8x&krjRheQ0W`_SV|Yhw zSB%6w9=|oVL&YjjxuMDkQ)SK=x`%&NC*8IxbwGKjXiy1NVO8c`SD70|rREW3O=`wI zrvPr!&ED9K01mLv1$sUgV4s8h*SbnS7hoE3K&GFA(p1K53$UZaK(~Jfkq%;!4 z#}VFvb|FID`QyO0rtf4N?gSOIp(X{A?5FTEwv)HSwtPR-}bL4T>L0t>Bbi~?*7I90FnWvkigh&#<{0NX9D ztckWM>zMAAgg_w>^)}KdM9+x9Tzk0W@r7&d32l7ip{Mpm8iy|XMO*#s%Qp??<9Cgn zKC}MNo&#O^)N&B@4ut#14=K4A=<=z4{zH&7@v`=J>JDqLgWd9fmyyj?+MixE&TCiTGlqqw(k@I)@B) z4GMQ4jx}e-6Y^%&i@$XngkN_XgctP8B57=S9^v0>_(_*&f}Pgdf-ryVBa-ludr9&FK0SVKRamX()f*6V?}n=mDE3$LH?9n3grXGFgm5lCiq^X1kdU`NQGUHHigkywfl4Fvm+0pEI zfIPt6Z+T34%x^YYeDXrFfLmx-ZC+++u{>_xFCCEgo6TuiN|wmhTRqWIaO zTpDymkBOKbi;?UR7-NPa^H+%j0%hHrHY`kLmo%-Yn-r-7F?EpItb-alSDeq-QS2B@ ztt?iWKo>vFG$mNOhVBEfGCSip-C7Y{JFaSP&e>monEH0bmp4EAacGb4`e|FAdhEu9 z+wo@4bH{&h4wj$6WYeC91B({F^!9r%{*12KBQW7Jz*|h{F5Sg^Lp_cmS;{pbBRj>- zQS4>nWbQIe)+|K!TmA=rBDO(Lw>0VPATkfRviCV)kALX==>(zg5Kw&nRM1*(>f_f<}_-Ob-^yw7^St;5hEbck=-B%AK8^m7i$W$`QJc(7>`-fl7$ z+ppjo#0FEn^&Wh$e6Q&_(r$ju^oI2<)x8`LsBfDzzT7U!u${DN_ zvI&2PSdc6efqDb!MJCWYvO3sYLEuEABw<023_QmH*HJ*SVVljOm@txv#l)EvSpd~h zR$f7`NJNPt$%&A}5z8wUY>AmU5Xzh^ftEl7;4Nk|lE>Mx{Zh+DbDnIQAxIl_xg7_d z(}nRui@*u(WQ1qsVsL}a>HRaWV0vwCwXO%&gzoJw<^r;>v}^R3}Zh56lFl{hb4De1w= zZU)xCT%go6Xehx2d^kAuB`LtE??!+1 zA71)H%G~vPd|5-P3FON|K<8aR=N9Bet$NWMb&-?QDRs^(l`EaR$((DmT9L<_@rT;u zMwybaQK387*mGaa=-2!h{`_9c|E-(!-*gsxi z!?#}Fc!SH5v1tT^49~${vGX~Zy>bxQ>478T!kJ?{AuHqFX){}xE9?wR1|U^4XDT|{ zteL}!4!xK{s?PGV%3)*%?HCI-*mM@NKv7^;G2vxim9v^>=Fmq4CV%v(^4@<@<(&jG zl;{yLJ2J~!f)D~A^_;kn?<14T)GO8PDyM49z1p5W)qUV`s{0znIb8~c%amYFK0UfR zr#}~pmhpmFatHy*XE*SO7fh1LYP2iJ!8ygCF<{EEMo~;GG$yQNs9YRu9Ad5EMhUt& z##m<>VH>4hX1~%l(Y{EWZJd8+Ung8Et}-4J4%rUa{~`P!6`0flRA9-s7TEIb#m+&f z!hVhMCgZ)_J?1CyZnE11;s+fN4q0F0-xEHN&hTe!U)awJ-%CN0Ku2t5u_9y+TAAyO z#ode}AX{y`9jQjq7!z$VD^(+`B4@$on58}ao?b!e%0gnekVzs7b~=9q*`&thggTj@ zC^xE$)%EH&RaRx5Lzpf{W?_Cpb;jx|PMj~!nB~f8`efV>@E6dXoWVc@Q8Y-hYy@hS z6;%Zrwr-yR*|qlcrTSdiX4PI&MWZHy)tE4dPJ=qi8OcHRg^rPacQX9s^4MWqfs{I}caK9rpo6bo*)P%+L~+VK;*tc{cLQu%tBfFU_W zm&U1hsd~Li9sW~vlVZTl?EV~RtoVuj_=4lYTqa?BW6n1~eX4(pMw&*3Yx_(NPwulooE4tc zr@5%5=)?Ro;jbfS^Hq;qaJ7@YZ3RJx$n-l!L;aa{*Md6GaU`O4vOzB~1cNrYHZN$F z-LBGDsT}iqk9)A<(LK$c77t$pjE+nxVoJZq&aTa}+ZdF)djxiY*3IhZow&@kS$p={ z?AMIJd#Hb|ei^$zyUK=RC@&N}Y&&Ka(}rYRE_%RyE2P_H)gUF3thNUtnY zM{Rkjn(=b?zT`G{kEvwDstsGcR=g(p(YdStaNBb}P}tl$0YwQG0R z`zORoW>2d~-h!)6+>7z8_qP1F@Sn%lKFt;Wq2usdFTL_o_jxhZC7pQ2LF5LL)8#4S z=z$xv&0~BySIZr;@T_RC$5-Yts%90~3}|pc;2tK~9Fy3Qu7o=z>}D32o1Gm??9^Cd zr^bI$_tCb6HkV>gM}l1S{-Sn9dSEU{B#T7Q6DF&@hf5Iyvy*nQ4TmbrJilkT*e zcN6D-_pkq#BV*&g92vWN9T}61bKUi?C-L-vn4X{XazA9QI8$w~vs$hE>2%mCSjCuC zFbA;3XzO-4P<05i+qfC~t+$JzZDYrpU)O)NtzI<#wkpG+u5a#adhEfj>Ez)p*G<~K zq3d~=)7ebuN445>)SMiyP$*CfgIZ{mWvcTE*Hqtp!=jw)?6=tO=RlDT?#6$Q zk=^RMRtIt-zv5KC80VhqA&pf=elx$|u=UXpt0v(D7}5A4As zUi=sr4LMx;;?JM_v~kJjH$D0nLI!`F{o!}`>OX#lr|doTX5U?RK9V|n$MdN#x4n?L z`!y2m+mk@wD$2oA^v7hvTVj?nOO3@)?ko>pK_<%+os)v|$ZW$LX_m7&*b#ci@UG*8 z?=#0|&ad{Wk1WoX&tJ5a4-*cbYt=0RN=tfb|tC=ka(0M9Y8C)p3q-9^GGW zsF$u#rl`{$(>&9?Q~g&2Zt>hl6kjgK*>g>jE3S!{-Au~fZ~D6XHq*K8+e}||-;h4v zeM9GDty{X%eHm2tmGo^GOcZY()CA{60y*p5m zxei-K08MBX-iimliAR4v-Ih9V_*m-D?$>b6`yb)Jx-akeed>Mk23~@H`C{rL^ z+W#7!_S@9Asbjbd2lipp&r_cP&PJyeaHl|SD=3Hu>f22uK?=P?NF7;c7OGv!`Qf|JKj5JRp z3&;oNkG!9{zw~_`_>tH!Z*ls8rmccA$eWPWV=YCLqHS2Q>9%HDi;d4^0y&paw2e`; zt%ss*jG}Gs>}hr?V{zHsl%j3j=jg0?HIuBX)PJYwD5Gd5i$x}jMR#U>GB=iUaxa#` z|ACsj=#8^~b+CV-A6-{jj(zb;IM^zaPOpd-Ui_ufFr%s|aPRH;zgrWJWw03u!K_5C@cfJxb$Acm`gJ zH{v_VE97G>uJzXjYtMx9(rNnd!q6@}5jR8qhHSk9>MMVH>i_!>LmwaG`|*SLA$WFW zpI6{{4Zp_zY1#jaUk(HhSmtzY&R*pq|9|!andXDwH#~uS^xvByl>P$38JeaRq^VBlqbd0c8nL&fM} zSfhv0QD}Pw+K3JzH}ozi}!LoY4R@|S1@ zx}R&}ae7|*dl*3&T?1p_(HL|TcaQ{peGd8pd+~a11bpSubTWMeS_M%Pnvd>Bhj2L_ zMZ$*0^qBNfpt`gE zfTe#vs1j`0rD5_7yOg_AH^9k>#NWbbQ^ja zeT(gQ5T1aq#PjibyanHZ@54v&aeRghBa_J@a+aIVE$4p24~J(GzmmVfaFgK{;Y_MN zbtLtN)VJx9^i602(8DGe{axrGnAt&e41EC4N%R+Nz$R>kN5f$}1z!ixMtmE71n+;w zPvSP{^3}Yc+qf9FpEDkBI8>>KH62-^+^h)wx;e* zwWiwAe+J&+1DXl~7pj8M&wytktoMK2KyiD}+t>`a^W#E16kiUQnT{9Y<-lKmhHnIJ z`71W|U*i`5OYh^eFlGx0vN87~R$-Tv$;Qqp0;C_TB&C7g<&*S5Kf*-|C=U4L&@n7&?7#a<48a{s$WMPSL zlh7{wT^uM56~~Jc#3u1}@qqY_u^FiICA1$s*L%<7Q`{!7$M&P`q?GrO-;>`1Jx@oo zxiJJNmF&h_$p+j;qK37?5HbXhMd$c9;QAG^lUyJ}xG}g6PeKdHfXvqfC;t>ARs2h+ zlYar`_Ivp9TEUDrlCy#twPJrnDxuGpx&C~DdlP-gox~#lF#3p>u?KgOC%ExI1;62k z8tPG)dl3DaTaGuN{iGHl`3K{zK*wY8Q@|G{;}ZN&E{!;le{HCO`xM=P7Lh-pPT0p= z(LH!JKM!q3rFcF10zD49qL1Nfp-^z)*U18Y8*$(^MEECRc9l4aIfH)_-H4mG`-QXQ z1GE|)<7M;-_Y92w82L3fhCgSRi08u&*nncA*p6W@`U;+3LuRPqd9;mxA5B8l>08t90(BPvhrJKYM3!}RK*msAZITsf$sysWfjK>y-?eTx!>eG2m9 zv1lYOtc7xOf&stJ>v6lB4!f$@tQNCLmW-lc;5mX(QEg;ovzClEC;50}^yt1cADICK zGkO&?Cp9POC#7qE(@)zC~JXL`xp6iD>P3+Jt(5 zZ>xzkXvt0nk74i*23r6Qhv5aS);qsOOX6m&HaT+5{B5<(HSoE;CV50;#2mSA5!x%8 z05k!V^hB2J#h#&<0mM@~crWNE78q30AE~KL`XV)S1WA7`Ry$*Ma{Pq)+L}N(+|aiu ziAT(e%uJ%l@T4ulnxGM^o1`!zDY9;~1#~v(7Hw})$F^JB6*RLsVV)hCJ)^Nc$<1h> zeW(fOwEPUKPqJB&7+5oq$*1JHX*=^glXvtj@>U-CQY245N-+*^XY-IDc zkcmLF`_uEen_}y@5GB zbqr$7DO5MH2eX)tC~_$fL{gij!AR;OFsDH@nlpb0ZJRX+n!&FD!&}MOup$eR(un45 z%3xYf-%lE1N<`cC4+Int>HOQpB{Q-mLQMGwq9CP{9#Vt)ZaA4pBnt~EiHIX$O<{~f zS-!k)(VBJ=i7ZnzNC16kJm7Xl!{A~-e>hAR_?C7Z&4f&{WkP)>uc4WNR-_jv8j_@$ z)^vY#*SMz8nwIXGp4XcrK*?=P8FwX(@t!}M;&#-|ADqPQ|3mehOnvr9TdUpHoW*V3 z=mXHu<7DAhk?~mu3^7 zcr>{_tc^&bDX=qR@YkO17(_!uAgKe&M$iU8f0?3e_M(P?EZhJ;N}YX+MgpVTwrylY z8@a7{+l=;f%gl(TM7A9yFOnCxEvs$rCY<*4p<4pUk+(JguIA&xuqg-{zBhumPS}5| zrnn86KCfQ1itbO31j!+A$ zL>r`lCE%#N_(k)Wf!9LtiTHsD5p0JfD2J zc)G3XAI5-@Nx?@x%`c?s%MZ-F;`@I+UGo%VG$U#^V)h1mPaK*Wi$*Bu`#s-ZtDtQ8 zPrtB0{WO(m3BMBEfL}#7fG*>p`V8c2Ak^^)`60aw%A!!e72qxWr)am~RrD~_Rgf((uUW7EL zdRxJ%_tWlrlJUXVMMLRQ4M4X{uLpLYS*h^7PADe{n(ny5VZ2dTm8{B8 zC|AKEcgu;uqGYCi7R%toxxgTf0aSPr4+dU^KbP7Bm44j&++-DI1-U6t^$V&aJ7sHl zTX9j+3@=KPLWgKXq^NxWxtg}Z)mii-r?C**Yg1E5~r><08^fSsooyX zh>%^dpTO9H#H?54)_3Ikp{dD28LFz7NWrH)G4i!mFGQ%y3~jLjqpM0FwP=9A4LpJS z0(%Q?!x`S3;R}i8=wUU8rrMl1ZvM<`kyMDzgNN$|t5Wz$?W5J};WqS8*yY4${cLq? z3xRaw)dApXV82(nY5L^S^-S46ZW9i-Q6{-nPpaIyp90r#?wye!z0|SPbA1 z?P?A8C}j&3^Ze?163oI<6hta=xU{0P2UFuXrm7pW^L`tOFZ#S;F2Z%#X>)fOeo|80!|jhJeix9sVB@Qzw7jcsn#~5G!CltlRg!g1Q`x*=yl9=+Z}=m$ zzTdjmqQC`Q;KD^^AN}y7v}i!xvFmQ+>1-73+Elh4t&bj@G;vD6&&jST&eqvx_7NrC z>EPnGU)ZP^s)@7Z0rn`F4{(rw_CR4qc8>pISBd{bqhOxUIQi;kNsD!6&a2iOPgM`B zE^MXJ>ZpingBT=Q($X{Wv6>(ZbO79gwZVZ4!Zl@fBKD6#k1$EHR5Qi`Z1*-*PH~c~ zg#C+j@TbanC0_}Pw7Cxa3h5V{T*gNYopSA4ed9}*3tg=e?wt6TWSnn8Z}P;*X!N*RjI!MwOK^;C zROs7}(-B&?o`Hkf(>3~C1`?Ywg}#%XL{m)b7k(iNfd-F)HI!Txy_G_Zl$`kt4o#Yv zYA?-VE)R+MGS{R(K|Jrrx{#XD3rfyhpC0f4h+%i`fy(sTnD(?`+9T+!wy&72{QP z&>=^${T$^F<(VZ}5?k91MOCgZGLV{6k+hk0p83$bF9lWkl$I{#52e?p%yb+3c9*?NMRzhgIPBLIHmpaHHZ$~c zTJaF>ATrkB{L<^K2G$mbJq+7QAMHqGGj~5Y<(zRJ9O<^WoW=Sk4^g*2PPX1wJM#f@ zPv7sO-l#KhiI=c}w1c#6VN=`MN0yP?DOu0JhhY$Sr`3b*czSS4a9z~}J*^2Cb-Aqx zCL~8_DdgUn+m)X{QU1Jn#j>F*FgAruxtpxzHv1B#t$|`h`tlU@$XYE9UPJR)yo|aC z3~??E(j8{k+5FPykfXs1 zmps805-Qhse~7z1&Xs(!OZ%s>mB|r$xQWlFO4p9H?aDjXoeQ&M-HqyKMj~WGbfBH4 z=-HH%eDN;}1GW$ynS6#)_tMZ>CM)~-d+QnQ^q+HWXING|y5-|XOmBM~ zIvQ^H!yX)MVq*FOW{5CE82t+~GW{19^?%}_(8h=#xNx*F%J@5m`k$oWXoR834+o75 a;i!LO#&ATY6^STiY+@>UTIwIYp21cC delta 18872 zcmV(*K;FOpp#hhn0gz6A%Z?p44&C3csHGj?R!VPan?VpvfWb`0o|TbBEq5$|Cqi`YFhB`p8hZ~%}%)x;&iy&S)*nq72~9mnxWuwsscA_ zW2cMh-So>tR@{6#BJ6Ek=3woTER0hy>}!$pIDa2m>WA;>McFF6(+}@=WG6h!|4i-I z0vAOrZ9VKU#?ElOhN}0MyYJ8T%YK2g-=FP1y!q+d#o2UyHl6-{a`Elt?)>`d?XT~D z-u?Lgk)W=kNe(N%+6HeQ)NGc73CYg^(YlLv$ZzZG``N8|JGFwn@;Cu*Vd%bjuePl{MUF~MVSgOxy3d`GA>IUItiPzl;tc(#V9dI02yltJL^{f+xs!9|hAQ4apRFt0WlJi6+1r#KJkE+1cxG_SjAcK_Q?`)yN+>=U8r=_ zvvr{hm4+_Mcv2m1a;XD)>9wk{9SkyRpnLe;8%*J$qMdhTD zZmZ_;DzIfr7g%{nVkAmsTz{7B16yqC0$Z#Xo$_*nLso&UPI_u!VVJ@>5D7F9p5R-_ygl8qfvcirMaE0X3*DJ#1}wL1#p=u0vImG{3V*Oo}*7V#TF0?oqW)si;~d z1p%wlf{=CD2CLP!3af_dTb%RtA(h~;(3Hx!!fKK9uv#aH`Jz-_Z+~zJg>>ttCx+A@ zj!0BTMfJU~ijZw$xu=c4b>)u8c-t^ts^Uq|G=?qa3`656FMW*T)v zL}}7u1{=7os7eb`)@2*KR@*APl6yl;?V;lSs#L~h*)C>cTZ>sWUzE!04KB$s8{PEO zm;nz^qj)}Q3>Bg=9)H1CIty>U+?;aMPM#FEoJ0*5B8G0QchYvvo^g0jpIe!X3;I%@h!a##_a4k?) z&&XU$ofD063Sv(36f=~=04y`@;3*ez6j7}~Cjc5hAGuyf-HqcQZ_QQTR4oOvpeeJV zwXldf>bS(d+Sk#BkH7#iL0sm=av6=YHe!rGXX*hHP{RN*Q3KI9%$Cf7f0g5rrV+MR zqD)+={%ED06u75C?9b^qt8V3rIGo(S9pdc6M#@GK&?pK89_de(0;*H=*al^S}EkD zAJ<@?K?w?SZ65a-Wtg*OipavqK`nyhuw*4nj(El4@PADHaT+9MOi|dCDKHI^!W;0uB3|(1wm`nFiS`^+IQ$(;U3P8}U`#p^P8>p|INr zhqPJMBeW|zm+Xp!ng;R7sGFU#UGSM+F%GSX@oXM-_t;k=LDmt|^9--t$90mGX!xf+ zu@!dVE`J?ZoGfv7v>X@ab&}WoL^+@z9hw#`_x`;nUt>ljFN|`~FDg@0!u&x}XmF5AEuc@yr z=$Nl85E2U~fUCUMw8I&1SF{(ZakpZ<>btL*e09*VKcKqG-+1(!}C<-gDdd%~}(g?Lw zsVosRDy#lkI${-;HI=21F>5Ldc{fm5$kP>-McC6(S!LK$Su&$hS@oIH5LcZtE~|E3 zw11e^y69@XC>4VShxAldbJCNkEFuRMbSp5*anEIs@gt{Kx93+>2!47jTDhMmm|U}2 zB59*wuxq zSYA}t7aN?>6CTY$PmL5RNpfjG`|t1J!Z*`{~u)?bCvY z0%=WL6+sJO5lA$Uecfp1(?D7Q!PlIX(<{mfMQhJkmEmDmEh>^0J$a%8LiEWnj$~Ca zsfDhXT-3??tR2wDt@`8{VN<9@^n|vBSSr8$IMYWBM=`ZML)5-}zB##l1Sq8!Y=0Oa zy=y~C>251eU%Fqxn%Xiqq^wgaQdUVpwW_qBUR}09WwotBrF6ITq0;?Ur82HiSzG1? zm35MsFG}V02AA|L^RuDSpnS56A=Y1^$zpnH^KAw#^XLEFo*zywgmARzmF#90p1oD^ z&DrVU?y;C=UZ$ai@JJ0#g=rE=4Sx?>t`&WylpW|RO8Yf^rOZ1ZELd1nH5)6Kv32z!(H2U6*gsq$bS>X-=eP! z%X(diib*X(Vsp_aZ?twnzulgToAexTK_gW>5j=sCYRd&*9j-r~Q+TdEJ;Y8u+SjDQ z;~VCbsIgf~sQF0r`4pW`LSi~9aOu-wdAd78 zq(AC~9ZMn!@aiE>qh3A@H)}nUw-O4_*u2vlDJT-6{n(FiSO`M%nV^|3crtUfXLc_$ zR<{3n0fx~IDDu;t}dEjtZ(sMYY zZg$Id!Iyd^*}*GjiLd09%vP?vV$iM)UTL$cSInXZudt-|%BVZvdfF`bLJEg`u;y^+ z+s`YJIArC(t!T>f6@QJ>CRH9sr!+8IEa{o8jq1z@Z`OOETWG@!ZXu@fb=*QJJ-UTR z)|Fe@q~;c*(JNQoGLskxMua{jPg0O`yskjw{q4Y#iwSR)JI;%k#&H$Hs1S0`` zimC`UsLlwsS?^d_?x_7i>OUx68Zr`cJ-t_iER!={9<~WbNsi=;hQziq5RR z{Ng;y4kg#wDU-4FQegaH%QAJ-W*OqW$VN?tfLxx}D1Tg8U_-teg6I`sgutuZpC1e&-BY8x>3iajs37DMK~p^Ubju)_yaO1T zs4dC@3x81*h%>~CqtE8s_mN^xw{YlgwWf<8nB>p|(wA~%Rldp&0j-2*=t87MXR~L7 zqg0|+Lx0ivg1&;HzNaFMwv?hV`JJmvLWe!IOC;OVElLJh^vDeTSS!xn`H8j})kV@Q z-S0L|#D|=UwQR&`Q~vjo>{M!uDf0ElQ5WMp^5jpIX08PGe3>cIYf{G|NlSjFG&E^fM1hnM-;Q2vqduRzn>C+&D1T^0t+LJ6nXrqK@%Gr4tJAC7>l>mS z&M&X;@QaQF0Kq-<*zKiSYFYT~+R?gmgSWtaR_c8ETX@ z-72$rj2tpH@)t#7ZVr$*wEW03qspzXn3IYq3u?7pu6$^yIej#`d`dRD2IvE-jO4gn zGJmvL9DNd@-hsY$BBu#E4v=WpNr_Jqt>`uZePyI_n(JP^l&ax-^=D)#_x&X?yI;qy ztXO71=-^V=*mP%wK9m!!jBL!j*^)n~D#~5wO84Tq;DQy#(UFd%PYY6>7AATu~HGqY6>m;rwVma%Ev{3V59D ze0g9LMfzw}bx-$n&(%Hml}u0ONXP^NIS7GB8b|<*+=mG!5-z#rMo_@8iXbW?yWYEk z$0}aS5CR5tm#pF~3%gz`im)pxx*K7AEV~|=d0*8`V%X!o-yiSKH=VEQtD~!{zWVAr zstOQB2+4n_1#w85wRpzTkM4W;F@(xH5F*oNtzM};68zvV2n`A%Buu_`>D$TEj$bFIOoloG5f^yPsbrta~kpn&VvklsqssMYQ2z-&Re{4 z%~p$9gLD<7TNW*uH3M;_XCeI}q;FX~W6e^-jfQ_y2#wSstu0+XXKC#HF^3`DjF9O! zh|ta&;DO$X2!++K8iN2M9{r$k9Y5#>^gYse=sZFgElz)7IB0kW#jr#72b=*HY0k&j z7#-NoMWZNe_mCLMCAdA^p=)NdFa=}5lWXO|xq^goJU-&JQO#^_;@7dwd916 z+vW&EWv4?EA(dx{g>lg231g=UL9P@IqbPp|0iqwoiG)(6R3*B9g&T1bYQp6)Rp29e zQBq!JkCvA3ZjacHMDhed6kJX_Us^J-LglU`i|6i)#Q?N%#EOJTB5*b&r29dnsi(`E%A`~&o=sf zis&lsgT%fp$@HrdZQo75BoX=*iO_FLV|}B>dlSmVEd867B{~%dE&}}ctLi#K`JuY1 zl5qj!0Y9%;Ej9}gM5ACd7&$@V%>iUFssWf;oG2{Z2=fTVW7!GrWk+*`zi*NvAC=}6ZapGiSuGC)?+Y>Hbcm;({RebkAvX6feRUy z8d?l#0}l&UCR_}oY)gpIyR?72Y$w7U=sY5@%+Yal8dh*OX#x38&!MD6jI>CmT|rJt zU}U7z3N=z~l(K-N+bE#{`9YT%HkQAH*p%GMDRrw*b@hP$n5F2i6v%UPo8i!RBk9;3 zAn#g0R(P;Q&vi=J<}3E~_vyZ+zK6^|w>)Jr`Yi>Pq_4xr`{)P?{Gorc9HWIZ+k!H7 zk%ZI1bHJ}Vo!FUn=)5P!BaZCAnPCse4m%MHm2F4Zr&B@V(=Bv_PB!8KnuGG#n2RVo zL;Y`b6B~VI-0kVF+Ok9cyp1v#rPA|kz>j%-FXBTej4omsc@v3?y_l*AMy_0d#owuP zb~XV8s;Ynz)t!}UhQWWFiYiE=U=)a;NcI3y1zP}9&f2&UCzds#<)vz*9A>Lx;K0%n zj~EB>;Bu9^B5Lc-oeuxatFLSf3@VvebL<%R;2p~rmW{m1{tJ0z^UOPbxE5x%CViIA z=Z7K-^5KOCTwXe3j`s9fHg&M%&+02E=3@nRQTCZf38Rfug$94)Tw%V^Sf&iN4|bP( zYn3{Cox9fCXlRrsDoyq#_eAev!(wT+ve>@ZJ==Rdc1eQ4ay2*EFj>CZyoj4)m?JMT z%bp-FszH;<84c)^rU9MukqDI3RZ4HsOLIjfn|r>E5}F~jKMbLSW(Xy;NaxTIjg|Em zF%lI~6FG6fsQ`Zt(EQ7DBW3*ow?>iKN+;9KrqRr%Fvu9#$|lmv_}0wk(#_^ihbBX) z8VEMPUsgd`x2b3TI+bOKri)EKW+Xb9(f~$=*;zKCv0j%Z874_H4KpPkH#IPM?@%gW zwvfvyfK)&ZCzS@}WpwUp9>49CkFfj3zubN*)p@XW^R0ia`!;QEB@UdwZFTBTT}S`& z6P$}JZ@=~S?_YWAO^^u$)xjL*!W_C#4xXfYLMZ4WQ@AEWlQhLNhg)b^BF!-wT~s^L zajAgl6DgJxq+!1OL&JB@i++B9eXwspaF~6Je^_vWz0o%@IK#f!KO?wCSmU}#E_xN@ z#x{$`Gv0sQ>|W~T+(FxRWtTz}g%1Q}5gj5=Bb@GF;(_UFh0;&K7~kUv@+OaNX-|L5 z)G{Dnv#wa^ilOwi(E3t-VOi3GE&dQ)kg<3fjrC!4(n2`oE>)tU9xW^jiPhpbm{yJP zgqKd97-U?+CQl49K5#Ss@a59UqPji1(#CY184G{YmAJ^H`WQMRMJs z1zf7IO&X3>2R{X>mGv<$wmPSGBQX;115$jT@8lf#L1(|$)jp%DTs+`+RMQ6!oY)wPe0=zO)8ikFS3xYmIB9>*dXOGr5(!P26JKD*Xc8FWoIa ziyoDKjh+|x%5R`oUZ`D<5_#OC!!Huv+=s9`{VM7gM! zct|8rQ$rY+I^3Rt6^>Gjf0bJFn=^m0kT>zygQ@HIc-Jj+mrPzwwlI|s>-!2=-$7X4 z1*n4b)r%yHROqw#3;S3K3o9)HT@``Bg_jpLS(*wLSmqZt_up!{waAJDoX=pIhu)IBeTAzPHv5*J) zR#aG4$yXL#&W|pdYHUbcYn-20ZQg8t!~Ct~+k{$CX2rZx94+&dgq_~$eU|hgeS*c- zYU^Froz}F~u+zH7dd|vO&6JO=8BNKM3%ZNS2`igRt3ai>)f(hH?d0hL-g}(EponNC zKNG{X`Em)En|)>|GmyZ9cPxJ#1^bdU7VR-Kqs%6WQi(@}1Rxg}6#)5IH_^{U*@qzg z1Cu||c5=0D&DT*}iEHux@jY=vB?zB3s_f(K>GuyXWB|?6EmR;?c2tsGmAH}_v%{Df z8}sHBM-L0f1QHUeL04PpNCh+PkHDmqV5Xg+p)f^YDn?))h%jJKFSCEM^Fn8W8J>{n zyzrypnfUB8s#VS;Kw_Pt?A~2}S;i}&2B`-ao(ZiCzoBI@D!Ah1WdjFRu&2C?i7YXH zC@C#*yFG4~%jxz+;+!B_iHj*AsKiyxKDc1di=$SIE?;UJQC>9$C^@vUq>~yhr0XH%}S)%%-s$$2zSRe>5gv*Y~o9W!`1C*Xc8^=(pzl z_nR&ogijU(m4Y$FqnocDciHt!=0(%rkV3-)$b9jK= zg8GAW21RPVGF3qlra8buV>TPLAaoP6C4{UYk+FfqLu3JXLj(6-`!5FTg)>Sg*lEg{ z3srPtsCx*407SF$22~!3M9jks{&H%asTC@<$edJj5XFCG)yzdjx7@OC|9(fJAor1- z%FsEFl390PaZ!Kj&O5q(I;O}^*ZmeCR28%JMRZiZMq=jvIBC1IOG-)|(kbb@BqAv! zEd_bCGn;iD;AKIK84$md-^C~S4*oPRbnxeSf_RNT4k@1R zw(NOo*?TCpc(#goX4&)1!sWXyT)x}5=X-2=eys6Qn;w6R_>4ghrYuvc6ewkuFH1Pe zOI;k;_FLN8+W5a5JNCVck5g%f(Pq$vpM$J(YxAddi z4GzS=xvOA_f=&X}R9)SvR^qI~>K0TBK zn3WM~L@kRmw?f_g=&F;=kBnF3w!(#@S3Jqb@7q(mbWF+mt`+3g>lP2&@pjjXnSGr{ z(q9iK%(8%EwuN8@(5%F6g5#*zFL#?`hb3}}Gjc4SIo z=CR3)o%6uli z^35;JPJRFG?^53_eQDHl>)$_MIP}Bblc|3n9@~a3UvlGqXg$1t=1bT~X;hs)%k2eT z@6UPk8~HqE-eBnpsU|u#Z%*DiX`6IQ^a;l^MK5s{$>aBW`qve`?=b{`3`8lxvbWLL zC^gEBrbct4Wr1;lv_M{9T3}vaX^Xez+w$Yl{Aizn(P?snX?A>e!OFAx=@*gkQ7k?%0E}(LfjyY3f3`E@NrBKRxsNI+~vv+wE2NDw{0Z*Iik zEQ+g&U2!O!kY~{XNGcEm*wB9$f?Ovg!`4Uu#}M#rmLZMWUH zZcTaYr>{ORZrGs0yC<#x^)xkUUNL{&0=K(3aLeKQrp|wL{jm@6Wx;=i%jeWw7V*YP zF5ftI)Y^hjV)Tu3y%QTJRz!k14mnynY+d8DomV|e*XbtU%2#2Xs^|@UNU;MeJdW^X z{0M#$e=Wa~7bMjv86}HDl`M!eVpC8Msrw=oY&T+Kp60*~lBZ_2*D{-xy+wJi9kuLc zWmYu^Of^soHM^&DA+vvLiI{zYjEr^0+D9F^RO!+^N~P(-@-x&!1gT%CX7(y8k@Ci7 z>-rWO1b4Z3Wln9VCOR^I64!qqHs)MaaGS##p{7^X zIL{!lZY17~f^WbB?EurXb!9+OW(DD+X5sIb6fi6=Erc%;5N{CVD6D2x383&>*m;APXZ|1 zlvyS;YGP}pxHIzv^uDpE)nYP)gE_eYqbTqk5pXP;2YG@aH_+Fw(;2@DBvhvx^=0DC zPIDBj;qkZ`FU8xjfZK6Wcl4#7q@RW!Um?X&AKZr;Wt4w!`p~Xf=zD$qB`_u&w^LP0 zi|pMR&`!C`M(fxoYcQq00olWkrZH#OR#xX&%1lil88Vw#AOV;dNL-*JQau@015oPM z_BJ-aZg5oO61J&b7N-g*&K!?_S+2at?ar*$XuR=x%k>_{JfrMHA-F-SExN z9{cuI!y$j$b5A87sT_nqtZ%vD*6)AuTIzp2fIm>KyYs5yD{5-zMm#eT6_3qX^4r<- z-`;4wecQ&X$CZ{YEEuwX^{QhlR(_e`)o^M8_cb3!e*BN@o=T4Fv~eab=(E`cli<+p zHqE4)H5=0bHeYeVf70(g>h~!$VvC1~yTCqM5ZiyKYFiwvEO1V>?U6a%qT7f~E9hUQ z&_FaxcDKcA&o||p^DP6-11;s&2UJsmy}&Wr-C%EUG`Qy5=R4-R)(WdFYt>jK{=)fpOPBJkGabyeXPMLOFa-m=t;TkXjkEcBx}RCx z8AgArtPJQCHk(;d?RFV)KBvPGv&&9M*vvN795czFOl1dk?M(u000osGDGnYEl3+Wj z-fsh1=+1UBSvOVNbvv1EKWr!Vc0Bxm4d@EIdDMwSc4p*1O3$q^N4NM~xdysl_jyOyq?UpSFLc z77dH`UpKWZHTNl{AR1U`%i#;U9$2+;-DmXcEUoa)W}4nz5iHB0whjcnoik?TV3@ z$K$ugwyRj>sWem>W2$UZgRWuKNtb`EN;h&mR5hrCny@O{rB>N?hDzNGDw@=cpGy(k zq?^65?ExHM%>{az3$W%O{k5*r<^s$j4#>1Q$W3M3p8z|O3v}<31ZaD1L`owud>rBJ zXcr=MTYMb&sPvu8iI9@9ZI~8gdmhN0b#Qv=GAGkznd6|$e!DLkYsYK$g{glVnHYPa zmo2coY78i~UOBz&mPAw6*xETYpDzRZrK$=%ovJYkh%t~StfMaWEghXYBNu z^@sKx=*lO*STud`J&$+YM_PZ^tQr5{-CZA2emM-mM&`r6y&ue2BVosKgD%S)&y|*C z;=cVeaY3I<9LXHp?aRr{#9n{q7_ZQxlxc?ThCK$3)4+(h3nn0m_+q4^@#qvfj|_GV zGPfg+RcFo<@@CD8j8}y+o9_&{sAncgW7G2}|9-=dwnP)GwAL1cVI_Z2N4{tKGIK;n z59SWP#17^N+MJrthha_FQ7)dTZ!;@>mCKYmg|F6<8VPBA%#oZDS4qzBoTb`!%{bUI zIB+$YICEfF|fe6&^%vR>{%G-(B5&L^q%y;lY7Q_Cik?K*4z;utX5Y!KUe{8 zQJJQEX8KD`N-?Qc&K-YbW|li>H6g1ndR)eetjo=Ei_B}x>(}(G%lA3m*8$Ai?E*5p zU8Z!%I)NA1ArjjWk1%&|C3cjOQhN-c4h*_?7f#~ym=ED8vWV+Ay;jFx$GuzR;)&FYfJRW|&;*x&XTN$1HzP!SuAbQ)PS%4ky$? z%N*Sd3yPFbvo~MmdYvC_ethtbd0UPzSas^gX?OKgpIE)-nI~7S*qfSf`1RHa6Yfag z|5)n#+piql^*#6a(IaoY_tu*qP(B?GzGx@Rp&w7n>dP|gO(5J&n6lPV;9uSzG>P6I zZ^BlWXk^=IY;%88WanquBRaM#dGy^^Gq%H#rVio89JH&7Ts^nm66H#C8*CKun#< zwfz~tH$%6m1Ue0TFCm-FgnsN}5V{_L1I$yzRM zhBtYhKZbvEu>3408}~dCSh(orciw;LCv?spg#n)h*P{ zGP2Xq9K~KHPUf!AWX(ckzlE1HOie#6D;6$xi-n8bVj;6YP`5TgbkB`#j-V#%!M-vM7KaGz|gCdt|}@d!me-@9_4?dKRnDOet3_&#c=4kRQ0nd%X4%L zHiWppft{w{kF$K|vSE|J6G_i9mPN=!GD#JF+&| zwSvHjMoGegAQ^a$1F55cX2Uj{MKNI{5sQg4E3yElqpZA&UX_RvLy{9Ai6fR*E!Yw> zbD)$tSpqA82q0U`W+acZWBcWn4dy)AHbZ}qHt2FY4m__5l%+#-dFZG6z&(hAE#Z7dk(0>N%b2w!E6M2UJa2!>iI}+iW}n=GT!-2$9Hav8t@m z)n@hPRGKKgO*xh3JWnMDK+~<^N`>vaxhip9xKh%CmE8iYfo&yH*Px*k<5CZ`!76_M zi*WhahHptd@TbT61&d<)K1kh-Z$EiraOz7^fK%U&>OZ{n`;@uscle5iR1@fzhk?(# zfX^++i(2)fIqE_usZ;8lS1VULd6PNUX0;-Zm$E%F+T%u%ti(nbMI7T-JyVpQhRpt;GmO%;Iqafk13V6mp zii95~eRhmlw4>qc)ElWS_{J9>Zn|>7EvefKhphHF2Nu7O>gsxy!*|@&c(cor@o5Bv z49~+_vGX~ZwQ>;I>A@Y7!kObRA*3}C8e&J=XCSu>mb9eRH;#Z;Z8 zWtGFo4AwCgY_RAoW`UBxtYX5;yeelc&&=V83PS$qQRV%k%DV~XDAA)1OWn| z^_;kn?<12d)T`BPDyM2}d$m1%y8GbZboX_H^STrYmnp%Ve0l_QUVlCmE#n2VI ztb2A4QB>>DLv*{1u0z>*QL*4=3svKsr5!)1%i1^@FOhGO2{@8dbZMN5m#8M5pX4yY*egKpg4uPWN1=-n?*BgYMER+8OFfPE zyys!>sp-@EWQ~8<(4gL4uQmPd0edAX0)Pd+*FoiML$~n=AzgmUz(!@KB!@ z#4U&GQZF2Os+uo->fp}u%MR>GwY~6EpAYzW*F$I2H_3Hf_rGJeAvTpwm$Jm{N z;i(DSS6~n3qC&hxZ#J0>&LUIHd8Mh=DM&fKoFY@)SrmV%G!1lKVH)Y2D%P9knZA?% z?y~la6y*<%49&kXe|yocB5`1NV4v!uk*1O1+CG!Rll#mUXN70=X)bChI+1@i{B`79 zzUpxcu6DAwtsv+SnSG~ds6VsrT2Kc%jzrW>*6SsPV9+Ml<^|2N+f^DXm1AD-aSv8J zx~JLG;^BXbK+usXMa<~;*xB_{cB_F(caOj>qPkfby<3*KernHNKmD2scn`JJuVD93 zSK4q4<%Ob$ZO3e;^o$qhRwTidKfpdi$_V z%jkC6kA^+X0SoEOMS5_2hTcFrLt~~cmVv40p}T+DZ0{l;%td*3uP55{pp~AV^xA&NTor$&)?jC~TKVHCt5vXyF{@w>V2jb#z2!j7 zAc{ zcn9U6clOUB3v%dzSmt^UqKbYx#WYl6nFUK{WljsaC1*Q&(C`fROUps7&GMS%I68lm z^S^Rbt35}}$>9ox0<|!xg+^JXIBiyZu294C&x*{5aXIzGrnHC-N&! z#m^IJ>=jh9-RZssm5L2vKH$hTbAeo5QsTBNP+SA|${+H?H6u1M>&fWLoz>WLxt@6n z-5blyk_VbJQI-dzf!?y~ebYVb9f5z@WT))Tx4m>(>gCTmQy)CE2akB^V_Y=kaOq1w zed^Q3#h>5$*q;d*aPIrx;_LqK8J@ED^jm#*?RYeG?(P>-Uv7OdbBAgq__wEkzg3ij zr|6H%gtx>jWtJL?q1;&>yoyYgCpsqu=aSimInpd=bFd@yuHik$N#AFV&zyhfJb&?h zmUB9k4!J|2gulvN<*)NE4Q&sJ{Ycc(&pnuwTk1%yWu)`+;8pTe%UsK6!WZuE@CB=a zU7XbfqzZsvsv_AHzFM$zuxePk9blU$t@`k2gTH99^-5cyKe=Z@4glERrgKf3*9%3zth8vO8%A{ zoMVeqA3|VjFLNH}3wD2VdWO}Ty7$q>^xOufoDS^nP*Avpx4W`;2P!hxO3Mh43C+S= z@W8k5$YqHK;FcQ@h@IV{qo~esa^YD$J2h3`bX** zF2jL+*!0uXXF#*jsrlS#(Ax?M;(_`$6G@Ol?+{W))|!QCSG9ky&bK{xSFWMVQ5LAq zt#Q-@COIYrW;tdBnsZxn-xc1oe=dA!{>rQLA$jJ6tCEzPFDE0-)5v`Cq4^{4r|vI( zp9g**Hq2X`e&A`V;0*F6Wc64}5#?wbR&2Vh+16s?bD2WUWgKl|9Bu32XdB~bn>%}& zoyvGzHaF#HTlarCI;&pIH0w(B-#I$UIGX8Vk?CU5otdA^&EK5dOSSNS;N~uRbL(F> z*w8YpW_M`@X4UQ`d|Xs`-;`gc&MkRo!z;@k?Fv7;X2lbGR2O5;g*23~_V;2q>u^05}z z`fG!=XTy2vH2wEgXcwM{o1uJtw%h^bl|AME{fFTjAL9q{&+)_X?8-i`!t*+Qo&6K7 z{};a?fSY{{(SM)O^UFnE7ApXj|MIQ`-~w$Xf|~Zj8aJ_A4%vZ90_dF(vH^u;;A$iC zArHvz|Nnpcw;$*)*f^awV~I6$~EZcXdU_)ScC$a206E(iSQU8|7X~jZbQZB5tyS#&{3#+721Ff zAvgA>zXVR+#JvM=ZG!pEL&MN`v;^IWuS~B(jp%18;SEB3CQrwcRPj5@_NI#B# zi4JnFr@LU@{b&|EN7G*${+Rw4^@TU?K@Xr)c!#tf>F|{nsQC-D96iW2@i;v<{T=im zjIM`1@MsJ=iaSUGTAzcyz+SwL8v(66mQJRRK&>EZLi5mr=nyW)qe$4$m>!cp3LM)P zt$}}5A3&|>06gvJ*XRT`8_uU6PoD=~D?*pUc-qkKa0i#_+L)@Qga#`0L6uOl1pNlR zhK}P1{w-NzFdIq?y5WZOyTGvn&=lzHlkn!}_#b2gJU4N#@*~s3fsZ$#yD7ENE9g(y zkBjj*JeBkzOUT3Aa^UYGcy|DrjphTr?}vZZKfwunfSAcK?lJxu{(B)ObvkW@8HuBZ z&@a$$u?0q|;T8BN_Dam3+&2xI8Ywm2*{G1GfZvwVB%v&wlPt zyq`bDr-9BThIvzlj6Iq2hRP zg4iV9B_0spH8ulxzKr&x=X2U@>Mc9MUKWC%9~*WpQM0U3~KO>pv0LsZ4Tj5_%jVQjyHme&Yo zyn&n(%%~M3QVHLDh3n5JxVO*=?i3dJN6<&Sj6JxMJjsm*F8DP+)KHJY+|SXkxMg@f z+D~c`lD{|J0en0bKMitWGA_aYV$Q?1>Jv#XY+H>HdKn& zp)b%Auqyf(t`iCc7k-1x=eH6EZbO8B3Px9nqnI-|(Ji=%dr&w>K18d~FT zkC9(-WBBuiiFh8Yfc5BBv@E?5tu@s1f53AQho_<#e;TCQIV^K zOFw}gNY6#rrFWpdAP+XD*FlTB(P!u`v>R_q-3WeJF07nS@Rf#<8 z6?CB1Dv&?7=_9609;R0hy{u};;L1T2syp4>{E~*k3}PSVJ(!K6Abu$ zUXR=5bl6qJX0?BqO|oPZ1q06!jEZU_Bb&8kygA9oBcn(6rRm5F$e7V9qdBQT*2qii zB(-K%O}n(F4mGd+mzsK}rruK%D_Rw*>RY7MMzrM7nuykpr%k8_{LY$4gO==M_!x$7 zXSfCMa2Q_DYQ6Jnv?OlUYLg>Z&)ZttTm#MRHOV6)Bj$g|eT&du*#xKwu%sulbT9S{ z#S9^y+QEClMzKJrlKx0dZPFL1p*=`)vDz84ljA4U*VY8W;fB6NNjzd!WM&dYh9_+a zRt1eezZmyMksmC(N@Wvu8BcC%G97^c!jdzFU*@+;GPG zV-gy-kEnm&+`BZuZLRgr*JyI<*3DXS*M$1srC}O2G(a2hE{Tn7-Z~OKeFqS+ZjuIH zBbyrPlXw$+QllfGqsokLPNbIRG%wJSQe=2!-qr=pFg5jNYxntd&39=@-=e*WnjwGeUaKvOm@U1LIXz_zW7R2EH?fDZ znD!`gIWR<0o25Zd>LW0wK{S{%2yLA;2&%!a0mEC#*)SvXlhTOht;%4UPv1`(VoF5Y z`ga5z5b6Bur8zUQIYLbNJEAD%lO9%s@@_ntNF)mjDT|0BU{0ZrLs`1KZ_(;@5{WET zG>CtId}ut-c1FYCVjzDwOegsEb{)-xM6zW?*BvaoJ@K4NL#Dj+MK0r-Q-JBnestBWmzog z7*Wp!NERajj+FvaHuhAeiF$LAkHMe7n0kM9yJ!TiWI0$HnN*rbXTksI-aGGMjL2QSY?!0~8ueOMcjL{ng8 z#^A3#-7$zlLm;UG$wtr$z<-&nZ1R$dfh^ttKgykbi$;Q=+q!jRL>sxadFzb!bjyFt zh^9og9waZ3m$ojgZSH2A_Vl6K1IdwhGytvU;lZ#d2pYaOg11cAtK%(`rqv$=$4lEX zxxSTPGNO5S!`>*A)gROl(pfH{xipg|G@3wl7zWu&jI4g(ppH-rE9F@ROV4V@h~*i( z^Dvs#PBM8)cOHQ}K9i@jJo=+DX2gHw`rh2bmSjU;l<^)7w#L8zK79LhTh-r<0VC6b zkA9k8NaI%?nt9cCd%ET-$Y@5?Z^Y~k_MSL2H5QFf(06;jyFo$O{2zasK=)}X(PDlD zx*5NQZU$S%LG2kx*8tS<2>Btt0`j6zz6J2jhS$&|kY7!nMw<*%Q6u1C0c?L5sB@T> zLwY>qKMJu8;)kKW0QtkS?_LY>NciR~h(~ApQ3PFk5uDpb_;NiA_Sp=GWm{)dlZg^d z3?-C6L~4j3AZRS;mk>fiTZ%O4tcE7NNe6)_wl7E%BLX6*Gznm#C`B*}iiGSTRxe$f32a)1i( z#H?~n3J4t~L93e;ZIg@iyJqNKrcx!H$DeZ8I*iE(Xz^!GlJ zDO{=lj7#R6b&Cw@=Lj>7xSTZKJ^Z@u+P8-xyf(kx{(`(Nt(PJ}6$o6H|C(}9+6seE zYd{?^@f&s;z<2jF`ea7TesO~1DHp>O6O|enF-&#H`=qd|y~Ar}6B>HbV2u7V^m~AP zo*65e>aH2m3EV2{r1)E?E^B}2zMk28p4#9)Q?s9UyB|Yug`n59^g%VyL?>(T`ZSUX z`y@n`jFKEj(~ay}W5kQ>d3$)~b|t>_5c&s*9#jfe07G_K!R40mQ}Xgo%_w?ihU!tC z1yGfNtsYi3s{+1OHgNHU&m*&) zT{q<8lb=T#6-X@QPre))L81aLo)lWZA@?H{OdAt6XkL8G5$WGMeTqGP-Yw*x%OQC_ z*Iw!B`KOwD8bw|#kjSF0YA|jaWuUS+*s=}_2rPtnNtz=Gz-b|R6NfX#zCqN3kz?Rv z7=UVvZ2UXEhAScj3@Xe#@yjP+dOy}MT-Td;DI;G}QD}bh{Y>dP^K!IAEvei5q3Avj z>7z}U`>_Usr@y6&p6?pu81UU(;Id~O>{s_nHlUwr9unlHv8NnI2%@YouBLLdwOmA_ z2unT68p)az$nRt|(?y|s-N2ernpK_Cnjlvvx+{hqARLi4k*gSyCXh!s&(5oloQdDd z2yv~CRP=~NdXZ$yGSZV0N_@uG0bWuo5(Be*bX_W^zS$tOoIUvku-flZMc2b4&8 z&60;Wl7ou`U14skP>W>PDuK96AbKa(puBaBM7b0?kq&8CDV_jN)%J<_;ElAovGjaM zFBD#-Hv@sYU7HtRhH3?2_d5Dzj^6Lr(ea5r5r z?$r`CSrCboXmK2gNGed6m{%+@MOB^w$hg&!{Hl-UxYIS-^$F&pCUc3UCK8EN-gbA# z^W-uI!kKAH!OZ?XPur+KOD||R27XMmTI^UrNY3CXP%7!Gse+7BJyQ4W9-bkpGXP;% zexhS#Rc*<$))T!)O4hnf4Syh|4UNa@rqfD&>rp-C!zYO1=A)KZc(Y{|Lt-IHWZ^(8 zTptmivOg(B-R}r8OnuyG&(7mJ%kzooR~mYO%%)pz%YrgXz1*j6#KS2QWi3)KZ81gY z>-R%Jg~1)!a%oLvAPsi zXAHnUTFG3lJ%hLM{qwZV+`Py32M>mo)9Z9GhzH(r)YJ8&aidp^3tg_fjAj+6G|3skR$ko1@hXIBZy&q$)h|a7mh<*Z#Yj7+?Y+vJkXGD*dr#(E>`V*W z!0)R%L8sLc))2urUs@K9PFv2S>C=<*l{4|#np)c73sosqI_StEN+>2hsN0Hkc$%*s zWEN82Vv7218of&sBU3)iK!xskwGhsq;nz#`r}E7M`NU7k+MFuEwa9lvD-Y_HzB6l= z>T3yKA2`Z=XRGFT>96F__c~RSpQ574s%YE`4ppGUdoeE;e@~FF7 z9et-N^`SjVFPkg2-4&>f>{zq6r{0>joe%otB zDjL+1RNwtfq+I9r00N}}3;HP0Du;PCMK#PJWXLs3a zfMkmHFEu$@m|CrvImfCzG{))yGo^WWrA#`G1zeQ?!6z f2NHfzw0;>#00?+|_B{t%aRP}buAyOOZ!Z2{LN&=? diff --git a/figures/extendedaction.svg b/figures/extendedaction.svg index e2089c3..3de04c3 100644 --- a/figures/extendedaction.svg +++ b/figures/extendedaction.svg @@ -28,7 +28,7 @@ id="namedview951" showgrid="false" inkscape:zoom="2.3452196" - inkscape:cx="369.03074" + inkscape:cx="370.52314" inkscape:cy="310.84509" inkscape:current-layer="layer1" /> Gulf of evaluation + style="stroke-width:0.26458332px">Funnel of evaluation Gulf of execution + id="tspan4537">Funnel of execution diff --git a/figures/mysevenstages.pdf b/figures/mysevenstages.pdf new file mode 100644 index 0000000000000000000000000000000000000000..b6a486ef547c8cdaa985bdd8701aaee30d070b83 GIT binary patch literal 18206 zcma%jbC4&^vi4xdwr750+xEhKrd}q)_wel;Oi~AO9%St z)FzGxys*+BHc;>S=6T%i3ke6T0~7W=aI-ep2;_UVXUwBow05?3aj{nZrB2>z7q(@r zfm(%h3=+S{K=aAJ%Xcb%T@E6sDl@>-@CPg(JaYFYiJVxhhi&7I7)}Z9vkWlB@U}sY~(jJ@lNhk-|iGUWQ_K`H)9R)r)&zVOyP9!bCZa=}cy?6o&LKpzb#$ z1JI5oHxr`NDK*p8)x{f+21FRHEq^cf(&7dVHsIH15 z=%!vj?7G@~wYI9szu*~nh%kT>v~EMZ;y7aO5`P^3@mIKr0Vzi+#Ew6Yr(a5XjGLkt z2AGYZ2L(kyWfBPjQ5{&#n(y@FSd|uS7Fus6 zc+;KT#d9HsWn$5ZJM5z+2v|s5sTs8*33yCRdbql_6>7adfbgcAk?cT2YEn5X^Z_kK z)2x=r(XCOH%PZ2Fp9Vx8yXq2L$xU~|!t^yI zVt3q9T5@y%`JUUJZ+>q6S^yhOHcKB52ydmKzy<7OpzX~BGq6;y`X#l%nWK9=4y5wB-mLyQa?r7$GTKz_3<||K~-oVN0zV?N#sfS z4N@0s%%Krg_?3Xf$NhbeYih+I8xojJ&AB`?O+C3!-7R+zP$NVw2>6RmoV8liF$T~>TK${PF-qhf09F!e9FT}K!EF#YRamP@Glp0 z1B!R8heH%+#KzI5F0@3S(qsh={Ec|{$C>F-_YO^MT`gqZj`Gi+84NEJ)mhJBUBfI% zn+N%(jJf@dr~>d}x4zIicFPhB@OnRb6>bp)vIVvyJOw1O_-C357^y|zp2~1sb)p9Y zkbz0U(X9Jbc zXg{}t?#f+B5AkAKcNMz*K|7UK$3W#2NL$ir_5WcfYPnQFDt25l_u#^_hNMa90z|t; z_R)81ytIz%*tD^rmp{(zn4 zO{!rj2swvX30f?-C9YTnWp=$maZjlPXrOSmA0a9l44BFb(su+khv(B{)2A#4o{=Q* zCynmsN|sNI&_ybn)8q|KSxgA&!yo`7G4Y)Mrcsz_{Q(;g*iEWfP9g0%;MPE2=I40; zmImg$KUWwd0*g#kt8)q|W_tpWFJN1X0H%G<4*`wZ0}oB$@pnRj2IERZht{|ftgCSf zDqw%emX~j0iXd~2tPE3{ju?nuzIFABr=FgGmPTP;Gqptx*OM(t4XO{P zDutE^QpBPHF!9>M6$WjomsQRsaVlnSVIDpCprR{P!=q#8`ykUm?&G6tS>n++&;N*w z;-w*34J=m8)=OW<(VdS2`vY#F@P@!453$DCPisv&iF=qC8->rHJH?JVyi$TAhPTF&|6uz+fc{VY7t$FyS(yJ(_@~MA-_ZXruorc65?6Hk3-kaUo__>?4|;uuzYPGr zupodDKyRr3xBLtLe>?tN(u>*JIQ;NWKb~ z^S^xhCwAe#S|Y|S=7z=!;zIwZ{8!Kl#*Vhm4u-~#fPWsK!vBbo{crpK;8Gm_?biQ` zOZ{W!-=vEXz{J4J#_+$ft4%L=H|4?Cn~AK;9LE;Nt8UU~64y}&P=A^r0TPIxYEc)F zP-Ms{wZz;30YOv&NXc{UntjC)nr%UTz}EQ|RXD**Rn;>Q5zR~h+>eGWoY(4bDP|T=3=irUbuoJA&5juCN;Vgd`TX@ zauKP%8HM%^IHiv1d@QZ|K_TJzz)sJP=rp)Ze{QYR?7&PDDb+jcj7O~!$bMVl3iY26 z+V=8{*d=9j2R*R;6hEfbX*21!oqUbE@_Wb-l`@$WIC$m}>W>6;+1y64N(DFlvHy7; z(Ae$dK0deNX$UX)#u_xyBM{`G;s@bDO_)@8XvPT1us8e6<@(|&EN~n@MG&F^N&Eud zBf$}7zh-;B^CpoZ<+a|?TWKR0b47`i)Yn%{2{Sj+rq+Akft zcX-MG@Lpn=&v(=QO*QwxZ^o&I-jQ8Ajiti%Ckcb#$>4fLfc&9fn=Ow9ivtB91LBp7yQZ{peg+;8M8aqmEgwOOnE4W@7mOslkQfaK7Up4mdj=z>5ZAQ(MZ#{1K zNj&_HeAcFeOef`3j+h17`ciQQ9^e8jK}}tERCcj#`=UYITftVbDJe2alJNtD{C6j5 zSS1;4m^=tMGz@zI8SM2@Qe^yw8xOrsb+QFr&9I^dlOE7u+nMvV&ie|-;)ecGbtc2^ zR39FKbCd>8wHMgxR@ZaP7cseXyCqCH&o^Oa?qsiz?u~F9L=Afu2szg%U6bNx)cc%! z2=_6nJC}sAiRG#W+IA`aefCYUSEr4`susTZ&$!x?Ix3aSLG;Hu_q#rkI7$;XO%sgb zr1Ys2G1Ku0Gm|M}R=SDw^hvCu9+~NM_536j#SAVA*2yF&1ru1`qdGn=USKZ!Zf3sv zg_il$2fU|SzL=zTUd9PGt@$~gt$6+KYgqbA2!kr(;O3YY*nMA9vqsi|Be>hBXLA(z zF<=4QqC&%yA2cI%I*;|?fuwfLXS$`#@h86(D&(D&ot;xv!kJOdkXY3jDHA{xv6e+N z5!cbg5$8vxQEdif#u4qr%T>>ptI3QDOCCit{F|gT1 zhn6}(Zy4Q7=UNpMF9$Y|E>cqo3vrJ@2)fof2J!M82Kau@$PcIW&dmG}FZ4Aq3o*3U z6Ell$9rBLJx-ajgaH&}4-kQHqKilOYd}nhml~hVb2tkFyBatJ{;+imvUDYUPs4$4S zb_sE7Sgv&`;WIISjI&i!1$xaGC7`aNKSoO-ty;l`6t=LX(GfE=G;=Ac)Wr=3}Hb_P614k9@ajFIO=`&iP$gW z)4Uz^s`8fBo$tHW!TI`1ns2jMT0Vyw1sLxvtS|8fmwFJK_v%mR!%SVjHXds#Z+qL} zcfT*~-sk)rmw==a=yp75`1}LJMdPoKXP}1_IX*UT-}80K!9HX_3_iC&7Zi;5$KIa+ zq7Ta-21Y7ag^={7w-B7t!EHI>!)@26 zCDvziHJxiP1DMr*OihrHpW5zc#5R)xu5ktxTiQ{?y-W#{bDUvZ>4s{>66YCDQ@2?D zubeVA&I}$D@5tc6J1gfp!#dOEYmbW*(LN72cJ;JMEkpHzCP>;bqR2hC+XQr`Ozqh` zL3fIgptK)e5`&lKM6mi^;-eQ)Lt}3em=eE>KntJv@dpGm z_%rI6cK$}VQl{g=P;8|?0MBT^j4s9|W(Y&v7K*g&Cl~UI6|vISubw5WDAEA}v;9i)RoEB@^>xP;pjX~&>s773c-P+x$SXZwf%KA$&UHWrB9?8 z+!BwW8Eussb@^rB%ipuBd*(ZH7xze6L8&*{LiQQ@*_oR_$d5=j&ZN#6$y=nyF43CB z1JUjq3e%w=8~8lrHV}WwG1>mfT$u?OJl;%r!G2Qt0!MwQfU&>kWwLj`)J;34#_2n$ z##tRz``u35->qAFT9Ea{Q+RI3_Z|5H7!y3M4e$bB(8V7M%uu0;cq^x_EiQ^g=Thw) zomETH(ynX&CL2pILk=$+ivi4ucp@s&cG(ll0v)ENTEsi3*`tB_&FO?gIlGo~7c^b3 z?80tzzWpBB=}ib{6_0g5u+na>wHjEA$)zC9Ftz#gfuCUkYJWvtk%j*9Kp^ZVU&hht z3qnl{69t2+m*^D3%f+3Ql**4>RB`~zrN>|xTck>!S||-su1FHpPfa%y z@I&_`97@Nu_}GeTa2%88`vI+O%QS*<;18rgfX#mROe@Uw!$k^sEOlR!luA`BKYmP! zCz&Pf?2yw9KHWBhzD96)|9n(q9{bh9n0ZUu=FldwIc@DAH}Cy`fNHuxJUO@UxR`hB z{6uvu^hEn``h@wAhpPg$&kmK~j^dS~T8UymE`KCo_a+HS4>jo$X?4XI69JD)q3l+# zbX-^vy;;%^on=}OC5ehA6*6EDHlXt*@y87K&diOr} z>C5LE=C$S}_UL=+Q=+?kD6oN2nYH~V?gS zmyOX4>J$X)a}`O1rf}@qHEe9DZ1HsJnY07$+@tgF-mV=&giy1Rz|BFH_eschIM60# z%yA=2zBJ^}Ddg{J4*~s%#$2?LRRAh;V9xO}ppoH_bT$lQIKekhva!PK1ML13)4W#f z<^9jSj(s80p9Sz#W_#J?&ri%n{FBU;O7*Jv)g;{1_N0!IAxy3$N8_|H_{gylBs404 zS+%qA5$J0K@#=I1!7gG(TWKQ$-DPt_gI}QZ_5|%yE~IILP~p`&!>~%0d-v1jMf~YN z)JG)7&s%Tf0Ks&`C@gvg9%iGtkC2qXvVqvtR5(oezMMNIlcAsP!as+=ojZ88erBPN z;@C3}0wuTpUWGuv@UcIL_;m=wpA{)(*d{j)R5-B=jd{LwIoRt3y)q;L$XgUCZ~>C%F3Y*0mf zB0w>rT&3DNB}KAojxAg~&(l>>;Uco2sq>*_LUNS(YSY(o*B z{L)!S`l%~p;l{j6xKkVrP>oA(4(GSgO%`vti+_x~TuxO13TPR40FX$-8yBlTa(G%Q zr_G@fvl$xpA~>Ce3^J>o^5TT3Xv;>u>o%V$5&wHU-dS9V_-JL7n#O|T@X{4QG$r(m za}OA#@}QL{6dq%Ba(Www>=xN|QsSNdYpa)7N*r!VYCz{&{3sV;sSzox4sD9tpHU)L z6tM!pT?ED8kAdqQ*E@+X2HyY-gnLuB0Jm&@aLSzPCfHY)YSd{Jq-h%A9COuf)sDNa zAwu6ivV-9ax)!KDNNJp)JhAkA8Gi+n*ZQD_&V@;T>(=7J!octO*}~&ZuPjOKC~QUD zJ719Z0s?y+_l8#W4`>_G>EXMvwy_yIn?@&P73)?qE+SjxWdN&*cD8TkJbM0oCK8Z2 z$x`HiXMCp)$)6|jx#anul^EgAMD7dJc!G6amOPRLS~^yKT{H?P6|^}ea?#S^v`qB1 zbd8htO)pCswzXS&x;51i)nS`sP3g7`&8ye)?4q_Y)-79xJ;T}Azbw2R_G0vS0K+hL zxcLEof%K;Y;gcd=uu5Gq`By zZag+aQnze0d$L(9S>9%ejpiq}$qu+^J0M)QN#xLG%aspZ0Rm7_P{VjiA9F1cZS&OSeox+<#yXs6c0SweueCQ)IXUcYj#kszpjSuR zxARzn_a~LzywA4Mgjgl`0fL2=ExYsA+>iES->c#4iseoF$67SjCP(5etni3ojg$|E zr;ir4HJcvCeb#+RDU2h8trm~PSv2Y%$?L^%NT}(+&7+-$IhS?dgS?0&iL^!!142xu zYbUizE9-0!OEdtZUiWrKc11Ab8syadHnf zSXqn*cCzW%V`GIxuTi&N92!HB=&O|A#y!G2Nc0)T4U-4*@rjNSgo-m+U_P?aR4k-c z#${UAM%Y#ryJ8U`EJI4B_%;OP+NZ5Ue6w}(8P*x+YSdeRDi%CMgtcexFS4A}`$-MH zv6iFNyG!>NgJl7w-PSFqic`KTo$*9Bj8$WwKlKQg7zk@R``ak|adNk%7rISyBBJp~6%j`4mnOO&J;#jfHq23aAS4yL4`Id%LJ6wO4t_#+gd zNA1EXI#@ZF9K@EMTgGA$+32j1Sz-o_phA=#^Dv-A;*64LI~d+DXpXKTH%H#3v`cT+ z${`3SAc3kcNbA-9r6dCy+G11VhwEW#(a0!XxBigII$9)^(I1aUk_!0AmUf)BcvP=p zO?D%X5-|!^L%bUR7YUhy+c{dTZl$us3qd23D3MV1>%4Z|nysjHs$6BmO54J^$ze(M zqbUDmAGK3tH4m{kQJV3<9$TltdL~Rv(L}j-(n{AKwBdQw`z7ms1Gm}j({PH7^|d`S zrH_EsH`7a3tJZyS0#ta~s@!i|q<_+ojy0G*){mNfeLnN*5Q0Gg>J-a7GPKMk>|f_A;rAC?qPgV>@{N4&Vq zNrzqG_e-u%wil$~wPK%#$V)Q-XPV9FpJDpWW8-V{auiRr>}4ccp!}e|=@MN})1E?P zG~iy4?fuFiBv!2rIEk6VmP)8n8E=zQ?yiN6SUY#z>T~zq9mPejQ$+}uB;7h+SGi#r zIkZlMlJ7wBCiW5M&F3!npb5@zLiLvG_d@9wY_E4p$Itleb%1fi+z{4~~SI8ztNTMtw z!I>p|U=!jaj;yXal%l*9|4=G?`O&Q>Me2+5TZwL|?Q6RDzA1OTkKOOJVl%?d_P@KU zm53N~DknI>3#}!&`jFnBaW&8LsnDR6W>ooNsHQxnu3yMvJWW?tcj8tvvW$A z(*Gc?0Y_l^tU>Wwm}a`UEb*${$WO{nYGgN?x6FcHPHZuUQxfO?6V?cSwiP!n~ljh;jsidRn}kc(|{ zEVI|y8;Fu59V!(R3ooF0EVyDVG5fz`FPXDZ4M;_qG+>3;#I#j2Ew_tsj^`>H z#dJgvB_9D-Q%@3WDHeO&^W3|RZErMp#}{-G#uK`$9$HhcsguBsV9CpCv;5&9Ds9$t zm^uh}ovX}J2b&bF5+yjw9(yHo;F7!d5OF16osTDQkW8b)RTlr0XV!?&nAMN7Lp~!p zk47d$t*35kBaGa$PaTp>PMda}h*YlGwSH>$cqL+(7)c^(X1;K)HT>C3Eu=m~T@NaO zKwbDgcxw1l{0Q?7XXua48MOB36tU`>J?vpfVd#bUVLnrTxlhctJ9!@s1?v&=bBfO<_s>n)j&7VLesT`vK>fTTW3aHo3XhpvzXD z-qReGNwpXL1VgP~Ahf!j&^)uxDfms+=25~f^|I~l>do1KxM}tKB_93OjmWq-x9{!a zr(C6O%Xu5l(#3BC>9FL99F_P^JXLQ8f+5Xo%TJ#^{+Md_5bBT1U18gjimw*D z<%zXAdf`UNty1+N#Cos^B=%%WBwN(S2Yg!6~n22G@Uf^gpea$-Cu1 zY)x~WvM2cROP%C`ASCwbjv>m4U#J(&&yJ7yjUUTQCWqXGq?0{`*qG~I3x`oFsY2!| z8>u>{;2E5V_YJ)SpXq__jpw!*)hpz=X6&g?FA+nsn23^=lag1|B_+!Ry)Xm6|8A4q zVoikFv*L$xN@HbYBk3pmATtvgkZCZk5B^y=ER6J1HckOH@u4=+Y+ND0SKsYV)nfR0 z4ITBXV>+jEWJ+ed7p|yuUmKe{N?7Ir2#VIxWCHYT0%@$(9orS^+{VXi=E+?%hE~n_ zW60d~aWO}&>nNREwR&ZqS@*?#JqSuu@tJqY@$0Dq+&T9cpZ{(w^Sb+W=)LQBr_@hQ z+ieK=064|bbDX1nc9iYFz>8CL9Ix??#xibM_lVUT9d5!k>VmL#Y%+qBtf9~Xiy);g zbkZ+0JAC|tMa!gg_bzz;W&$n%sA|{-kztmwVczcb4;*-UcF6qQ=Y>U|8iKJUJumQc z)@@vIPIgWa`Qa|_z+$e@M&0A@q-88BAE{Sz-+qe612>#)(Y*+iOxmE3liH-`5 zicYsPYZPmR2{Mg<6^nXP*$zQURzYbDIghUu3HAvr-qWkr)0?y0MdwNlj;|Q1UA<@B z7Ixk*`DdrQks}=P&9?4$Ff~&I;sMuwT=jT_CLB@PH6e_0#dEFYvgKB{2GYzoRvq0p zz9?cF1&VALDm(x;KIB|}I*12QzizMTXHOT|{br9=;_bX86UMVy#R+M;u?&lhTrx9; z@$dGEIf&6>4Oyu98WM7GP@XPTq*3=YR4al8GtYi@-kN8tKKAYxyLshL+tW4~4l~Eb z3*8SPIoIa~+^zQfTay-6>+_?(7#k8>2=wK7q(vcRzskvsakq|FpzeeXKSL2B+QOVU zaYZltgAeK@=EnzBblUCYMC^`^C**p0c^ijP`gMlIc9mVoVl7HX&UTG-vAzdO{Y2^|f zty34w-Y0b)%aMZa=L+r4*3bkrW=ljOzFeB<8!)PZa1nJtEA)il!CBTHIMoUN^j!HbCc@ zi2($(n@*s^>ufdA=aFQj%unvp0P}A4QpX}>HW7c`<3r>snNV`#m@ z|JLj41+1=68pr7jt$W7Xu8@0GQ>NrVO=S&;eQu*}(qexEpujl|!_WqTEiCLzNS)ie z(cxqGm;RWu3$(QRwMbEejxoU-sryC}k0a}~G}~Zi*0|kXZp`bLt8ib~7yLxS*Yp0R z{1@`bV5WPTJ=OY2##HzFLeD^W(R=5ayp&DWfkYS#f9s?Mz#rogHXOj*npinXku^I{ z!84J#_+)bunUW)lZ@IH}g+5CvLVxUl%gg!Nq!^ zWa*)mqG{oacY9J-#0AX}@fX?eF-+DY15cyVXSB2xoWC<&S8ny`v$+ zapgzWYCSn@+4ekzaGE+Q>PA(8u`Q%|cjJ1#_;SxJpr5wWIXy7z(Dr#%bfq z&97toNx%%lC+lKvtBErn223dxdk1PH=IKN7NaSg>M(GmrUeL5T7{=tj9=k<1e2*)R z8}Vt#8HJ5e!s5BD>)9poyV85U*R8seCRxy{A?rU#p`0MA-@A+fj@S69{W4Ey! z6x*lOw$Is|d48|_Grcnc(TYj|7GX2W1Kn zPJhp8rDv}xhNMUgyc1WaiXm;7Xu4OL0r2(HVDw&eBYY62wy@DY zbR&%(admVDPesw;fDU-93*L3uxodYs%IJX`#-LLwq6d#r4z=Tl><3x^>!s#1l@KH^ z)=|6B_3)r{=mT2bLl>Ga%ToCA#Uz${dC#2Xk#lb6!cE73tt^XkY?XESD@Y}e$1DiT z31*X2v6Y~*V2!@MJ?B1MB>E4-xlKzoBRY%6D_nn(pq;r$r&LVr*d(4hy~nQI%q_Q< z)2{d-LMh*kU;OXCqXS=FHVsRsEBRYJeO>WiM+;5^uY5Y+b>_NFCSM?YRz86rwZ;9s zc;KHxL+Wo(_w9pkmeQIgGz`(kv=8$uMvaUMEEUY?(rFt<8nhzTW0s+~y{EOqAy7Hw#VTT~Hi6$-0TD^@vH@G1F85Mp)q}uMkb2k_}MjFBp}1OZ1hQ8%?T|_xmT#V3|8~4Xb~<^eHc< zRs3co5HL(N#2jA59DZ#7owOXKAGNB&RS;TKIA>2udfU}So*Wb@6+Vf75wCL)^yO?fiAvMX%cWkG#RV%@6y|$02&%&zmaM6Kr2pRFJ0g z$rGFY$txM%R+g%fRTCqFmZo|o@pP8-4h2;w>R%vB-+S<^js;&;%4S$zlf|g5cCK$1 zqdyAR^lP+V8_HMgS+@bKY3J6@d+$l_6Vr*ZaSODNr>o7>c_P`gs)gs7&2FM1u>-EgLWRhKy8{I2e#*4}XDa z-8Gs}v0@r_ClfLk9ypD&=T@hDFd)mcQG2=}L*j}%L06dp=U|` z;zO|(Z97elAUraodK8q$ny=F^YBM889_}%w^dDdwWUCgS6`NooZR`7wuN&Frzq>&0 zPFb2cSg>*CH^|gWOI1AH7RJcaq*rZn$1k5aY3j2sU4YJJ1T0T~gU8ez#nF=GYSvo* z217bY=zUe{(3aI*BH{}bo{ysh%236l+K1W!)&w|#V*cz!c{*P}y?y7tz4UY`c69>% zV(bOl-0X$oD{=d}992Gw2uR`UdZUl2rf^m2nv2xN-f1twtMrAN7<38U19b-};Wrur zG{mjOg{{Sv(V2(f;v8HwVFtwCBBZcC>c9t%#IwB-bL2oQLHM*D59t!bf`e17ygyzK zi3)jlyR{v+V|Z*$Bz9KkEC&Z}t8RNf=N4>~Zu;l&e@|cHZA^FL^s!qnYKrCf!WLH% z##~_oVD?7U!W!bCIoTS4i*HDHKx_KgcP|f=@9OZE-%kS{OdTB*Dc`O&W@LGg*o9x; zq}x!&sOgiwj|oE9_=XU6LT~zSE+%+t{@i2xz>N)lKVE)69fLyF#}gj3Rt`)GS&}6` z+HNTWbyE1b8G&S9gRITu0$E0Hb=rg2Kv1RkF~#{S5FWhx&h39s`v4L@fPi-;4obh_ zAvr#z{1jQP(sK*iSLF=vSe33OfP^|`9NqXl;PHg$cbRXNY@C3c^Op7aEM|nw@ZK2J zu8A_hIa~6>Zy@8o4KL)J^9&v!C#H!{AQ!r@H-q4b5T1&=L1ecEy5MZB130Heh5OvK z0MN`VBs8?wON+xIz( zdUBa~bA<77eL&{MW><4ZtkCc0%bri5U{R=>&%XmiH?)7Fq#%$I7ut5%`z?B7wV)}A#pfVkv1ZP4LgD=7_*fXGlSstUhL$LFFV`{{aE{jj% zd*Cy{Klm-10bJOPPAle`XF9W82Z}I&a>MF|uM^6?Pq6oXi{u5HOC&sMR3DdhbYwr? zntR{BlRi+hV~cKsW`iO3xbWOLcfX#~Q!1&@QUKM9fRq31S{SNt1TpjL0hniamY~jW zas@m##_Etu72SrkC8Z-&%E8t?*UtA~%6_{)aSx4e;`q*?OEW6f=aK46SYRlTG$fw$zqt|MRzNTC?XXw64$6G9Lk_Halb27%+4YA2EsK#1>m%om5kV>jca zwyzq9`VM!7NS-LmqFSpT$F&36waSbnBgN}~B{wO$T-;p92S8veUFySd&7YptHpAFj za3t1%=6VHHTUUi59{Hs&@*BaNm>^E#AZPp-qYST~?}3$vKX3qX7i?juCzdS#Y+-4k zqj&QapnomSJezz%5_N}TrjP21nfw$*>Zw57S{(M(u>w_2uBcy`=Uy&qhUwd#9DPQpssx9x#93R=S=m_R z+q2j09f2GS_UeAC#*&a(7~0Sv)aSQ-{MgzDzo^tPX~9TcFM-^53&2EM6cb}PA9Zs~ zh!q!$J`$S|t4UnQRA>FX%K%@~ULz*AXVS&SY4F(Dymo~BvVq^g z#KY7nda4-oL}4N@=||cXU+h`y3TXm)y9B=`95)J`EeTG<+9csy6!HWZ9kei=kd4We z*VROs7&SjpOd9An6*VFIWu!Kjqo+J$wn@R7!23Ie>;gZN zH&CrIm53H&40GtWVx`R<*qFgu;fR@DSP`F8XwHJTo;0ZW3=?A0BsS#Y&a&Tb)qz!7 z{Huh!n`0(d*wOrRqL6g-iM6kAFK~P{zitjQaU${1LJwht0$*FNh5S||IZC*ZKA|y^ zImZO$gFU2F>NBOrrUX%Z@o#vfID}}3wJ9@9CD?=M(R>sy&r*LAA)-~Te7@|Z*$F*v zrU(=`i8*O0_~(??(wT&%tpu1Fc5%N%?ljIT*^E7mzvO;co!eF(+4C!PFU85-q(i&L z+Hz{9+2+o;-08I!#u$s{6jx^&Oah!(FeVv9kxi#e8s#yCgdmVVp7HTQcJznVs6#Cu zQ8`Xd zI|mmE@NnViBj?))WdP0RQ(Hb#25AMVh+!#C+zd&TiG7DGDS15siJo&;7h86 zC2b1?28wI|B&n$bQ2~OeNYMNEy05BQa0KB|*i;|##s`zGtjv~A=(D=uy9K;Zi0zG9t%o02F2fH)JE}woA?L86Hb_0X& ziAdE?76`FAk2fBTulLYi{W7p$j2vV2+%9z`^lA5m&zcd&88Q{<0-WPVZ{evH+d&1Q z4Uiew3Y;C}4yIoiVo;+Jgc?XK=*|z?-TGGf4t$l+BYPjWWd!d=M;#|@09bE6L(m}5 zK2Qnh23ReqfYGDb6tW*2P$FgF*q@9~Q87tupfF1UMcL7ac|?e71S_v6~MSda>%B@mUyg9eYX7g1{qwLh&jCg2Iz zkobyp0K)^@9mL*z_%kNj*e$d%9o;ghxXOSEKC2+RbEDZs88 z_$@edSij<&gwOJqHL#r$t_e2B85kV~oM5q*jc28AYvO&A>Lh||!t~Qw_{~)Q=Lk0i zlt3Q&wZQl_08fucfVo!z2&wiN$P=Ln#0qo;D((jmU7$SJ%qR|!EpTV(8!#r&KCtwG z8aK@Hc_TY|KN*jcjKu-cu&xB=n{ z&~WflNvYuoY`j5R_(C;Rca}J8qIZ`lY!>Zi_AdLPHLdJp=sg3zbdf2qr^JfmVdBRl8pLPdIroiHf>V#nEhM2oy;X&-^2k3ya zd0_F~F?sdE>$CPc`Sk;p0xJL!EldT+Y!3=?|9$Znf#!kPfU>|5)m>#l5gSS72RADX z2h(L^3n}lIc%1r)Lk}?3Eq=i=x8<*BgfZfel%Y>TDan(70Z&!W4bfAq2 z8#|DLM7_AoBI`dMus2-FTLO_Ssp$bA)>8- z?JM(%A9Zczw?VQBqB48%CYx2Do*A%!!0pGd#I}i4WdBvdjg1{Q-O#?KdWl(}98>nn zF6c=Uij1cb|>8sLsN)Zfstse z5b}5v+t|o=stwx?yZOA*TIqU&)M)I|;J6S#kWDP{r)*JzW_R^^9Yi!)b{hZQ4kJLqy9usveK+J-svJtGMwq5<=YK zDR1cSx9Eu-os#j?H?*@h5|t6sMLe9UthKacjj=|B^KHw=mg7?y)y!JIw~eYgvlri3 z1-+&MW^Gx-n9vlA85>)(Z79@_-CJsKt7D+zr<)nb3D?haHb)rc4srZq1C9T~(inp& zFw#66R!Rfd>{o8ScgP%(nquRKm@5;LXm=*~@ehPO?Q|lv`lbe&czx^!*!bU%u;EPE`309w(- z{s?f)9q6oHYLA}yQOF+D7e%87wf_T6N(E|RvJ!U0LGycNk8z#G3! z35Lu6ogVm4j@p0H1DQD)nf{Zq$N7J!voZdYkN5xgZvgFtaf^NiMA7FrXxe$vo5F}B zKgJ}deNlpiO9+lR3f6`CxNOm{Zsv?QA&gO6-OV;wY_#F4Hkf^?$Y+*ye3jGT9b}q& zQuR1;j#xpZCZ|GeTiw@fSz%N#w&!Kz;BpurbQ$7E1Rkv=r{qj>_S_x8pOld;2Y~2Z z8g|{`oZ>I!eFSMl74?YbWO$yTF4$Y=Gy(KB_jOJlg5`7c^)KAqWyt!eZM0Y;QwS+s znj*q1K^EiHv7vVr0lV+1Gtic-&QJUVvm`M~bpxd6RpTKdY`F9~KtpwdO**ZEw#iUH zyXhv1W64zdM2MPdrD_rN651)m62eHw@Pyio;fi6HV9)t>th*&}KA{0bW-De)UjrL)e+`?t3%y-n_ki=JWRM_wCw=Z;Nkc ze$V_ey(_QkuaE64zCFse9*fq?s}H`e9o)HlZ|mo!`sZPb@I`R z+Pg1@KmPgg>Bz(Rzqbx7RGvMbPNmAvAeXvnCz)i(RwiU(%tIo&dCCnNQuLxgDwYzZ zHQog@bG>r0S}o5PrQn@PJ$+c_UD3HtvPz$e6!stBc+5< zY7U6a)rfaQqv(4bmr!L^3>(OQ7O1JZI4kVuG{%%r;=L7Dcx^yL!Htq?k=wmMoY)>a zD@g|z0jQ;`5u`Ck=}hEOr(+Pi>tBu(lUfJ<6XT=QB_6tpaNRQ=LWWVP&1JIqGknlz zT0HIX2osfqxOA3%I7vhJ9t2wWML!gYpoU!+&8Qs$`>NTvg#Z898iJ~pWf4p54?5); zpW!&kof5!=_ZZnU@jVj~iY@%(9MiTM2fV}G(e+f1t#nktGPQs<&P;iOw&Hn#%MH%^ z0uLG?`1u*l-}D|vf;dz$J1v?RF`QjBC4>726_4P#YzRC9-3v#Uz{V%p1{X3QEYFO* zL$d8C>Ma}x)EPui@?Kjs!h9gTxp=#ulR>lJfFn`%Z#G1r+2~m-aTS(0R72pYHK^4L zDCnWlHR-l8P(Vfo>S%Bg%QSV9v`DNm+bn=Gs8SxiM4)re82{tux o!^K!3SX~VQ$p4TFU-es%=aktFBQ7HqU1mFaAu~I>e72nV2Wsx6pa1{> literal 0 HcmV?d00001 diff --git a/figures/mysevenstages.svg b/figures/mysevenstages.svg new file mode 100644 index 0000000..d939ac4 --- /dev/null +++ b/figures/mysevenstages.svg @@ -0,0 +1,547 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + + Funnel of evaluation + + + + + Software + + + + Sensing + + + + Inputevents + + + + Inputphrase + + + + Physicaleffect + + + + Command + + + + Encoding + + + + + + + + + + + + Funnel of execution + + World + + diff --git a/figures/sevenstages.pdf b/figures/sevenstages.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3a8f55b83db80cac926cf960e5caabf9e8f1c63a GIT binary patch literal 15883 zcmb`OV|--Iy0>H7oOEp4wrx8T+n5O^wr$(V#1mT+Yhq4pyvaQK*=OT?I3M2C-D|D- zufkn-Rdv;`yDm}%5iwduI#w9c#?z`N7-j$iz|P1DhKC10FJo$J?rZ^Id6$%60002J zn5DI|spI?A+R)il#MIc%#1w{)55~#a(bUie#yz7^L)H$B6RG2_`kYY^$2hsGS^|o8 zMrstr67icb3ki*d5TN_)_1Q<&xSe;6c?qdDG_Rq2ZTHgaX6rI}*kUABN#QtTL%*ar zS*+uYOH;S5Sm5aQa7pt06Gw+fc&J!M`u9gwA4N6nXWM&%pbA}<9`MGFRGlU+({k%t z92i>_OfcDr@=VW4y*2axwI|}LxS?Nlmyv$Aw$tjT*o zpmgY_u!(2@+YOYpBrXojydCQ)k-%-33$y9X^jN4HwKFD|W5z7MB;r^Q#znDoW_ z3gFz1WYs?rBeE|Uuq`|e5OPZ*BQDOQboqg;{F#4|Z}lWuDD73#&_oleLD9Mj1a@E@ zp#%>YyH!aKX`d1k8@WVvMw0UYwZ{R=X8&SJAXS?oWmqoMr1UuTPDx&iCZ{-Tny2J8 zHU7D%iMl9}=971rG5Dm~EX$PMluoXCoIcUkN(zvCb})X8LTvm~KdmR;>ADO%a4e*B}#=>BR0+ zI-Lydmpghy_O-Nnvr*qJ^6Tp(rH*kS| z!yxJ5D|Av|Z8Fq#%qd8lr?d=a_i@pOr3j28=qvq8<5U{)I`TRTz7#jn`aYUy^N+ zWP+F(aMi4$G-wQCt-Ob}NXlx=T1cDQXc~gIXq_Gpu%Bir5EY7&N@$zmJM*ZK8W33| zW4%hBY3d*)air1gagG!GBG365M7=Zq5Q${Oa0hU9W={FY0LIs6dKH6?Ezd7==nl!@ zf+s1&M==mh;y_ByAGh=6mT*$)bJ*wd3CUXRpY=q2p{RPv&T?fFd{yO9c&f8zQE4~2 zmTPM$F$2?t62+WSL!Vkj1`lKHxf-VlB%^ie&-gZUp{0`%cO-e5AU)lVv!2_w)g=d4 zO(xixq;i)zX0n|6FTAe1J3$9Kzfa&>PS4R!5EN|srW8k*Z6 z&DQ2nzA*-WiUFr2E(ezfhb9QoLS)yBy;_-HQ%ia9w$H;vx3GhH-js6VAh;b{ds0?v5o3s57(($Ra(E0- zc9Gxvfw*dtElvv%&=}=m$7lR_@njQp4`aD9V1cO;llpLQXyeFwTOj=tKqvC5zW%r{ zx4uwITfTMvf%i*mJQ1Xv_#p?|DF~K~snxzel6vynSXw>}$jndsV|cI=UyHRLFVt1E>e(UQ3vz&{ zC|GzenbRGD$yW5;zd-)*TaGCfaI8bbY{Z}vbziNXrQdK6jgh^M$}!}LNx(erZlSC& zp_Sb_Ri}oxKuWI03gg%}W#{O+S+$|eUp{PfQ)kJUcVJ||pczRa-6Y42+uL%8V|>Nn zWT`{!GOTo_Kfqi1cZG_7>{?|SBiv&tq!ZUIF+MUHZ1LOPj=w=K#4~0&;AsBf_;we< zxK2LKI5F7Jhh;u27(uTp9Z|hduIIBsd)Jy*1JOBwBIEL01E>%9V;6H zBP)Q3m4l9%je(V!6`=bksqni2?`fR?A4`+J)*<4Kb}sh+V$@%S{Zap}mGZj@j)t~Q z_8$csd;Bd+0-POP{+RSpb>a6|BBrjE#->W*LLX87QD-GnCp#BMV^b%C(~pi z4GBSsID$flGoBcH2_+FQNfr=rP=U*b5j-x4 zFu4a=g*KJp(e(HBTtcSQxwh9zB{j)deEyfj3Q;t=jkbM4nrgYvFbUdfReEz_=X#Ja zdqN%;Wk2Chg+lB>Mpkkw8mnzSM|bM_L5-aIZdW7c#-ncrEJ;BHSrclbp+vY}XAa!> z6~i8A7hJpu1TknOK8tVwo`FRjg3qqFpXFxazE-oC7;s~T=ESVY=23)icA9imrON!$ zi4b*53W7BaWg4i>un^hih_v9O4J7s%R_;)vPK6y(?=WK)j=D>ef#WQHvh=HKVusu| z8DIgYrm9rbQ`8f zOs-eFaBk?=jd>2iF^#62KcT^3_U*FPe$IFTjxd>(80<$Boa`5+CM5VR|7rYQ1Y8nL zM~XlqJd$q+-?kkZl`10;-!9p=%;q9S^Vnh$&BY}&OL>))#@bhBpim|-L?xZMPP`>A z4jggaur(Wv4;Hid;ZM)jLd?I{<8JHLcH{;UqST<97OKGV6A+!h#g!QF*98Vy@5?&d3Sn2 z>Mcp|n_1L!Ij^_I+$6$8mX9nu!K38aoE|@$s4a3r(2RH#24A)4x7&2AiI8|KG`@D$ zUM5c;s`_N%!^U?qz8oP(gv}@Y-A&3eMAbxe8Q2trd-r*xrnFEBY>}@9n<9zq53x%I zS6@vWc=-KLhmaqGM}FA5(j=i$*C#IG*(SpVvZwvhnTNO2eK>cXU;Nyl%j>jFj#d!0H_1Z)gZ?BBg4E zzG%ceB(4zjozTHa-5izi8pj(N>sMeGgB)xQ1x@IT5}cBnLbS2mWf4sjcp_xgr89B1 z>7zlFdN!Nh3)XQ9n^0OEh#4vZ-nN28+Wu}Hj!e>tno9G#Gq{cM1)ZNe1j;<+dk2bV z>!+X966D%eUztsnMte^;biv~)C4EQs&$nZ-JubptN}QLN9(0DNa@wom(*J^ zysG-;G||S??VSQSN6?EBb<(GbDp)AbfasS%#PW%MEl|q8aLp4#bCj-7bde%fCeAsZ zrs|DY1W!FM1Tv)&CQPFw8j6uvrLSK4`jt0{##KtjU2$s(aHJLY{y8 z*lt>onMYM^q&8ti(nbbM+N<5knzIY-vMZwn?QV~8w=+rdk2wW`hUp2GVH zZE`xFge7N!7OCvs)bh>AcIZ@&VnH`phypAT8Y+nxcn~t7z%z(kir01In-1cpI1~m{ zRp+Ev^HH#fIvaE;{Y#%U>+%@gTY=I5vdwGnPDICyiGW}7Z5ilPqOCC$&UT~rd;m-m z1+FT)F?_`^7Kw@?o&@T_1Q?Yf8Nv8O5BE=&EG$FnTjfJceM}ypZ5aB}Rm|2g)v8UK zv^#3H=?(K!q;GI*v~Lm~FuVoNFuc?*)YW;(3EKy>yVBRWm$Y2vXx)xzh>n!46h#Tt zv$0h}Uu@kHVK#vhT*IwTnJPl)@G0jMYm_*thJLt`oPYVbWEtQXG>;<4fL&UAtB2Fp55G@NFbaI0>EM9&CaW63a(WF@^{iF3>!MO)yI%K*}R)F$2rAw)RYT}$9P0E>DOCu=#jQ9G72bf9_7J&Bz8{&s2&=@57F`|VA?ps?MmnNZHwW_RM6 z21AyXbVDkCBVOmZJFw{PBuUM=EP(zhH4B^ zskMH>5OcxxBc3=+iaHfdR}EL~I1IyP)9T%Zp!$@OPufc4q{0(Na#rLtGD#S*T2A4l z-K|eUs876ZTp+;EibMp=eT|$_j4kONl~&X!sTWbfM4S3`$)Xe7X~=u=A|?I#VjwZ~ z5wQN>%W)6wk=c+Ex{PnhXT++EQ@} z!d_wOib2#F%$w3$YZc{P6?bCXRY(MDVJ56#bxSSsu8>m`QDmK&SkU*wPQD>)f)PdG zI0dY5+PeZK@Z>4rGG5j%BK)qAc~#~5dyF#kj`(D{$j}oNLgwIMCL`3OHm1@jSaoXa zW~TE;mz32;WRen?vl7tSb!?Mo5A9p~808XZehecJ0)A0p5@>YZJq+V3kEr44f04Fo zUU$|t>vg)Rwb9N_$sIX6*#|uf3Q=cAuhwe1&ehl(cOvI)^;j;lLbRLf#+~qPe~4qe?^yLu)7EDx+zmTS))}?dBY8j{#yk_Wy)Fio0QMq?N@TL@ z#EFrk7h5z@V+heH!)vC>gDtRCtyg4YTgfNONPuf}vg}_ttFE#&NwEAm_?pLb$Br{?%!L9v+;eHnX@7b$aILxQ(%^$^hp7y3o zxl#d+W~XWHVw$1xpc}rQ?d<5^`ls_ZxE`d%d9Tvk2{tAUtGFmHBu0 zhB^8&N0B_JiljJbs+2F*juSgSxrSbGdui#hO-vDT%ajp!E}Ddh{f^hy|unc+mT49Vg!J~PW*DFoe2ch5Nu z2ru(`@j%OWh1}T}{5Ukam}}Kbr$wjrAz*8LBeniDyVb`&cL*NQU-(U4T>hmkQ>>*s zbc04%$NMqGOKR2fLY*j>4xDj!B{jXRb#g4UxRA>XM-#n zrV9w4k%kb6==TpAB5Q(d3K=of7Mpk)UOSQ?%}b>0Uc)HyyEcva*R)sk^u4zYAX{&a zROj2*vAp?Qs-2+XWM$ko+#yg+05o{`PLfnKw3M>DLBz@)wt7^E#l7=BshXv$+tNYR z4`z)jsID+x;8C;wh}=`35(K=FXQtttL4;I#sswlCelR+^LILE{w)L5a{gvd%g(nWF zwmS#zUy-pIl2agjQBg;HyxQaK;LSC+6&vNI8n; z6wMII>yxm?8qO_G6{*#6q7fp}k#lZnWYIybq)n?HhnJt}rp;=sOUy@Ssw{lI6I}aTAq<&C%g8WR9?<4Z*YBv|Er{gT z5kg!f_&8?XrFg;~9ML$GZT*)Ab7KwqS=CrS1C3qF;2MS}7R}9u_+6+AYbU1#3f2`5 zN4xhPm1!DqQ^e5oTR%maHZh>H{6dqRm_c7!EzQSNINH~3c`zU_O)y7x9ae^k6(S)Y zKrm`5E|_z5Y|;I`vMU815UVj;zXx8u+VU8>#GEz&UzyQrJv>nDdwIUl3>J4>LhHttR^oUQ^sL&x&sr*1in;V;xWDaAF!5z*_ZqoFb zo3&5lPUEfcO!_49N&F`_sFly+!mWo{Hdd5kb#)AADj|8*z zm<;l5&+y!t=xyeQpH!8^IfeP=`%czf@h2z`dinGj@zPs4*!=`QX*MwU% zORyE?mF$|F)DR20UA83kT%w7*O#URN?T92ZlE+?MnT}tT&e^pE z)RBob%TaS{?QL*+UfEfhCtE%Q*BQ&v?VX5Ix@GUHn{&njV(^tY&4V>v1A~kYn_3_5L ziP)>cyHp1?HF+(`=c{*!xAe|*1UanU=2+dzzC&~cwfhR~{jiSEoKb~)8l0?S{EUe; z6KiTRZqn#z;_kq1(eB>5hFw%*T7ty-!H{?1bPGolhnuduZUOV9@viS|)oM1zD(5Bg zuET5}XY|flcn6x(?hL$$W(sdaU`Xr`L$3t|L48QYU~g?zQ&r_64swYOM~z-&Vh&=?SjS&QX3>Z%(;<;WT0wZTlKm zt}!UmKiDnVO=YI@P@J_Y_6KMJ*kRoK@0+h!;oZ z0uDRS1{pE7hsQ`h5)g~P36-#|GkLMCJzEg zW$34zG-S-heVY5rouG--Z^CLEjXn?w&q+B%=CsVWrd>IYP)|8SH4S^TAJ%2M;|iRN zD-{p18PpH83Q&?spkaj4i_vv`X7Pmb7u&0Nn#kMV3Bc!Nj^v9vEouXOfkO8O*=?2s z=@^PxFf1l0+zR20o0*LFL^${f9>m-g6B2;fQnsxp9g6j^V^*hZyZ&IEK#yc<6 zuWX=|2kUT?+I2)#)n+R$ z?E%cfp$RG*Q!IXWyYkaMk4RWW@;&;jdE74K9E1>GNeH7RiBc#WlaR3&#~q8T=o9zs zldZzc$igPaMsbR4zb3h|PQtgR?FZ|Q&j}`prEvR+si%msqz~viY^|A?z8H{l;Evyz z%l9M0lT-SqP|f#99k~Z*-ug7!@zXa~ z|0G$jc|>hZb!(f+qgMt+YmxjOJjoJ-2o7AUBJ)&B3T_M`Z zZurg6SNuhyc4d~Xa60gWt$Yy9ihc%lRfw_t+c#`V7-Y*pA^s{g{}mDDF5g57$2h^H zT8a^nNx^eFRa!IVCav)@Wa8A6$P7tU5$am1qtOG?)DlG!ZlpL)Bj2TnaYfX9hExvG zBu;xeL&P*0iB#Lc+tR(rBJ2KTsu5h5Ld2)+`F?Dp;-OFx zfjE9*$`EI}F5|1B04?W1xGH=W@n!Qv?~1}SO&4Sv+Jj5C7Rvy}O$7}><8&(q#;t3F z%Mh%yDU}Z@MXbgQF2wZ4m+^C#4QVBUbvm@setcS7N*D}U)P*(T14=W?_P+lG3-;Kd zYQxuli#D%*UPEPF`nw8U!p9|iccAZjN-sQJdS*iHXeAlU@Mte&fWEx#*T@AbSw#Cx zZ2#aV9cI%LdPg$##tM9I=3PX7peG-s+jeXZg=oDgGwm&ai&f?}%nb~r9gC?ZEym96 z)M+%_ZHi#-%2JL}bf5jJ9W)%@c*s`vr17g?TEKOP(5!vI8~x92?yAGy$;reytO`TF z2!SpoxD^m9n1c{#2FU&~vN(ky2zROhsE|(pkM<+=Gppz0sd8cMi;-995k*yRh zlY8Mz?KVL??S8tk?ORieTc0JRy7kzeP|BTCA)ZS)%6R|vu82A#JgC12eZr-eYxYL2 ze3QiiY6X7CfD~e6l*-I~Gs05N?wTeF6YTMH6+qEVv}9eYB^w3TzIN#7#WT@qvdahT z!IGAK!j^V?l?kCK3__@NM7BYU1*a(&-FJAsC|j4Y+W>0SoLZqK+sLUhZK_Due%ea%c5B75ajx!jZowP6XY6jeYRB&$__c9Z4K^Xc4XExJ%n zC%gF*T<<1817fn_{hKM8z7G020R7i>BIehyFxneTU-T9ZP(o&5V9DJr!;@aH1=5Q8 zV-z-fW3Q7iNVLymDPkoNLZ*CIHpn+Nin_f}tQaLr<}={<-%5rxS9qRlftkFH(uJ`G z9SuHjLk3s9orZq1i}Tf@F09Vae(f2x;|kY7h4)-_RP5%9ytPhn4e#@i z-F)NN^=yW+@m=?G`txa@HGwS1+b!5ZG`#7r)<gKme!JaTOF2%{l%?5_A-ZMPdm0}d+~CMqzQJo;9tw14g1@9G5Q+p}3ygDTv+c({ z7yBOmU1ojWXj#Ih;#P%%JGH>?IOuj$vju$FPNvyhz^nh^_U$#qFv9Jk1X@W2uZ_ujJ5GQzX;7i)+~NzSYZk6R zy>9cI1wCh=n>=*^9M%J0XV6FJWe}zmMAnrl8h5agH|Se3FGXZeB$I0Z7f3^Le&hkb z(NO-9d1_~Tl^|!qZ0f7EN~BrN{DG^trX#PF5cz$&B4-<%Zsf9qc^#pLxTE?d^0kw* zzZWSdl;d5l=sBL`tLnY-rLGDT@0rM54yt?dGaMdNa=u*7GqzUv*>0LghECiwgc*|1 zLNA`XN_5nwFG@&rbFO?1gz~iiSM>BmUWbFa$fis-hTZ@}&ZJLxotESeNKv zch*~Q1%`}JZ4NBIL?`qz7tDCj(kqCkZ^WA*Tdx!99TPt#C-7~L*){Qq%{9s+(33rK zR@8nhPhA>McP01>oquQklu-lRy$}2M7azRAr_fNm-A{YjJ6-6^A#!B2fLN?H#22_1 zh;+k3oU?BJA9mY_!y4^4%orQWpuhA`L9U$IE$b+emI4S1M?F+>pOfcBNFv9qZ`HcMv^M>yy zZGej!doTITqz{$s^Kj!1`Hrt6T9)yS^d;;5UR^7P`hcoqK5Jccbf&!j!UIo~Tq zHW(i!tQ&ND&|n~W5N05Ap5!B;JExuZ-MPW*=9936#qpG`Ft2dOFk<(uyI?U0#WyO$ z+sbnqNRJJ0oMy}y;B?NNVb*mKA45GTio7qkYneiM7I($75hhtc;eV@on1 z))PqN@z5q*JnC_5b-^bj?Gp4J>E3;k8L{<_a&+10W2{a#t6XPXXLNKu9X%a`FG1Xc zK9KTp>i2-`@xglz{#5<$>V1Mu{w;pww7`X+Xc18z(sioaP``LF>Fq-78JSYeWx~_s zb(RKy*UoQQf|GhJ`xlb7sOqDtTo{Ou&)a}ph=?|Ac! zZHS=^^e6ly^!*sV29X+r8ZM-T?|dw<f~;@LN$=uaqQjiD`0|L`~$}C9tWOt2+KIEy2NE0A9}o>YKf=?aE2$T2rbP zzGR|e@|6UJN1TDG1YX{18l^S~i~v?XRY_uWORdDBBPWkES8%={+!93#mUxz~XfEKg z>`kb&nBwLtL1Ugu(bO5|bQKt|D{c!P8 z_r0u*&~`1s6M!Dk&)S&eW@FYRl@}pGkwM_lJPwNPh9E)YBoz)~U&!hVQGWdh{1H5z zG(DfQ(s1_Wwd&M|N^22?ofd)K*2YT0zB1AoP8)BaQnJO*e&osrS7gy?twP;VZ2^|fDzG#c-IBrmSws?fBK^vrti^iQvs<{B;FVtT5Pg{yxU#SGO2^3)be<4Ye~z6Bzw_Gv9_AX^ByZ;pn4)|zECQhDLd zqnMAsDuX!fb0_*Fzq7B59!vH`#xQDIv$djTGmQ@gp}8E#q??Zg)O}@{qX}w}07emb z<7aVxkb;EsgtbH>Ys1vW*XulY<1YD^Ut(oWiCyf24h<)>DXS53APqJ=6?DOWa@G_j1e0ax)X?_2mjgBMzJ$;-gP z7l9E3`4K4}_4~vDH^j{w*eD6vq{d0%CMq2GEtb-I1m7Ah-L1{c%0xu!>wI!ke8@XY zZR1E`z)N&-+H-TE#B2;GD}=~Mn-JKZ&IpcSV+`2qorvh|>NI)7f{A<$M4(BRfEIXD zQa$`78u-ex4#i)V83Z2RJ>}ve3-dX?O{-1oDJ~PXFAe96OF$1m@7%c11V=5Wf4OP% z`lH}9vb(&{oyHpG3z>7s#n03=u5~Ui-#%b;qrpli98V}RRBbXASMi+6E&t${2`lKz z!o-H0X^^tMnxRid2G_5kTtb-@iRS1P-%AjQ)y%P~`YaR)BX*RWc`z4x*P+ zLY;8v<~}u%;=(FYd7@Rw;!cHh=^9i%xA)i?6mJR>?Cs1x7d~O=y^gQ5zD?jk|Ssb=1=qkQ3@wep`Ir}=V$=hm)9-& z!#4us^2?m+?(`RIkx{U`Jt7uFG0(8cz?MKf0jHK#A4d7}#VegpT+jk7-?QA!&ViEq zOm8D#k9>68v)44OE9rI)3N4YPStZm#Pry0Ay7R$xFy_i**1@KrYcMyFx*36xe?GURww@a)n$8>C=x*kF-u(`jY^Ke2KvTmVwj&ssS}%_a8d27`O6I z2SNbOFr?+$KU-1-adNv`9jNmeRmZ3|`dqd+Hx~9pXD73J!>sHvK8Lonh_+NRqjK{N zx|F9FkhqfHpUI*=*8eh3Hvt~*-1B3Fuz!c4&IrzS^V38q3Q!>GEGw7!24*PwZ@wQF zP)>n;NKN4JFL-B+D`Dm6aU{jD_~66(!vbYNa3}SPVQ%XBQmJ{gg5rU2zyo6M0II|7D%u)S z7gRt(>p?1{zq{+!1LmZnKwUHNLP}q9i@)dH0}1~UwIsokCARg$scjE?8v5mdM6?d{=^|KzguTO@L->ffp}K>Npf8T8VH2h169ly)e?vqNDF8g zSfqO$;>2bSx(3w%Q2+#}0Zs{BfVdj?JMcLh4s;Ia7!X5@F)xD*0p~JmI#PwJAkek; z4n!0IVRg+j{3X+jJMrf#gY)uKzTN>!@qD1Hy1lRdFc5UJ&@e^ zqPfktCPM7ZanDx2akFntNUeI1o<(d=0G*BXW^$c*BSZtMIU9A{HDgd@fcZO934^ah#uS%ecKXs2Jwe{#{#UbiN5cMx(A@oQ2B!cy#N&h z#{m&3nD_l~tC@qbL>55r26^x4a-iR=xr%|Iv@)}P>9N)3T^AJ3qIe*`|6_(sM98ZQ zU*g~b(@gANsp;;i#uT1FjM;J2umab_XTAQ0c*Xx_DCXEGa|Ym6AcHb8=h~RQaxtqx z+*m{PqSHA2!7r-GV}V~Kz=#**4R>U)%Y?=-^&Jg-C_V=B4s1`5{j+=pz#U23qWYz$ z8npOJHuxh{PBugq?5pDOwuAgRZHb4Y-}!iV(`LD-4@8Lv-_H<2?h?is&;Z7sVtwO+ z^qj5rtWB}BQ^a+w6g(Yd19+R#U~2B10`0H$Mps{zH+@(Gf&@E2*IW5D&|8=^QuC7~lj;0hJl{BwE%X{O$}TTfQ_`PdI#mwH?j zc@s9WFv_?w>k8@T6bL=YbM<=}n{nW0_B2*Dyv>2_YAf?;Pg`$UV`E){tigkr;5P{8 z97aE5X9$iIO8gl(P0BVeWoN|$L}%nQ;7po)iu~{qru=Qj!sD}Vb3dKMi6RCna}mU5 zw|>$Uc+kSIOjG1Lxa2Khjeo9^lZwZhlmGz+48t&>oCpJpp>*?!G5z+6%VQaCx*}Ow zl)!t6Rw=98!lBR%zbQiJ-Kf9VLwT z;{#e4bXrnZKbu61TPn$FDRlB(qCY>fkIOcA=(H5!vd&Lf9@x&TSa}W{Zd>(LvPM3U zO;XTySyb5U4^m}b*y*u-?W{3H=2n*PejYznKRN?}=8d}2+`_PuUq?PfzEL&Y8em-2; z5^jRz9<~HO>(9C7riV!Dj`olkz@26YHwDiN4=$#rpHgJMC1IbTeHx;z0zi4;OuX~tys*y$_5 zDdl_}m+!h)hD^+8+nCE4sWbvVTI!LhQ&QGrgb9; zy?A0tlNFwXfTgv<@atN9>g0V65WoW#qVIsN=85Zu=tljwpS@7CP}wpDoEFs`)BS>> zkVKxx26h_3f{lDrSH$Ev@s2~raMHE4{l(V-h8EZ|GFk2Su7l2XWk<*VZP)td4oO9M zE+MT5O+`65ma?R1CYBOOy%*gfORPws4SkI%yxGW(_JMU@J@o+lIOqWUSbREqj3VO4 z$L%g56Zqvwn~RS6HPulss}rFY#jj7FMEy)Af}E--U8Jg%N0y}dyhy$ByOUkp@jLm> zt~%%+aX=bL_<|Q<&w3BeU-h0(me9NOc_{N`{=3EgG{ZldjG39~?*?Q1KoI`k!T%RG z@Ig3;m^v9dTG~6?IsRb|J|sCqn|FdiRY65XPKH|0(bCXbR^^`$#SCpMtvvt~e{{;f zWNSn7cSwQhpK*l#!W(GW*jNCx%uFl*CI$uu03!p#-(-WNv!S)6v7oKFwJCt%PclI# z;}1-NlY#Y5@WZN)Ff9`!;~zoT&|bpS(%j;mq=RfF%$~!0V;h#UMkfD?59}wh!^@rvA1`S~gL&v`> zFJt(RFeB4nX8pT|0e{-yuMr|@`wo#>+L{CC)h%rWZJjLt7XB2gZfW9d;q;D(FtLAB z;s4KzjqQU|VgHlkf9CtwGX}ulR|Wtl%LjJypD$L{k33l4oAcxD)%iRiqFi<{3p#v+&@p=)BlyrAJXNWSg}*JwfvxJ0UzHh|Jq{z-D^M48mB*AlD0JY z@X?1wO8;bLTs~-1H#Q3jZ@n7Rk*zmpo+nN8V!=Kvx z0}uM2MDC8JW-#wVh6Uz*D~PQ(3n~Ovs^|NM#lGv;@{%EYb@`s{|}9o z^?%XW|I3k6_po*`F~saxxD}Y literal 0 HcmV?d00001 diff --git a/figures/sevenstages.svg b/figures/sevenstages.svg new file mode 100644 index 0000000..36a2b13 --- /dev/null +++ b/figures/sevenstages.svg @@ -0,0 +1,543 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + + Gulf of evaluation + + + + + Goal + + + + Intention + + + + Specificationactions + + + + Executionactions + + + + Evaluation + + + + Interpretation + + + + Perception + + + + + + + + + + + + Gulf of execution + + World + + diff --git a/tex/perceptionaction.tex b/tex/perceptionaction.tex index 69be371..8c4f164 100644 --- a/tex/perceptionaction.tex +++ b/tex/perceptionaction.tex @@ -57,13 +57,6 @@ On the perception side, the difference between the perceived stimulus and its ev it illustrates troubles the person can have with interpreting correctly the state of the world, in particular in result of his actions. A correct design of technology can reduce or bridge such gulfs. - -\begin{idee} -\cite{vermeulen13} - -We can observe that the perception to action sequence is a refinement of O'Regan's \defword{sensorimotor loop}~\cite{oregan01a}. -\end{idee} - Now, we can observe that interactive systems can also have difficulties to understand or act on the world in an intended way. I present below an adaptation of Norman's seven stages, in the case of interactive systems. It will highlight engineering and design problems of interactive systems, which will be useful for identifying challenges for their design and implementation. @@ -71,7 +64,7 @@ It will highlight engineering and design problems of interactive systems, which \section{Seven stages of interactive computation} %Despite the tremendous progress of computers the past decades, they can still process a tiny part of -\loremipsum +\loremipsum We define the \defword{seven stages of interactive computation} based on Norman's seven stages of action. It is illustrated on Figure~\ref{fig:mysevenstages}. @@ -114,19 +107,14 @@ The encoding of the world's events, and the effects on the world resulting of th Algorithms are therefore prisoners from a digital Plato's cave. They can only handle shadows of the physical world, under the light of input and output streams. + \subsection{The user and the system} The interaction between a user and an interactive system is represented Figure~\ref{fig:extendedaction}. The user's actions are connected to the system sensors of the input devices, and the physical effects produced by the output devices are connected to the user's sensory organs. - -\begin{idee} -Claim: we need both sides for improving interactive systems. -\end{idee} - -\begin{idee} -When the goal is fixed, the only blocking state is the software part. This is why it should run fast, in real time. Direct manipulation. -\end{idee} +We can improve interaction not only by studying the two models separately, but also by studying their connections. +This is typically what we study in HCI as we design new input devices with original sensing technologies~\cite{fellion17}, but also when we design new output devices with cutting-edge actuators~\cite{frisson17,potier12,potier16}. \begin{figure}[htb] \centering @@ -135,7 +123,65 @@ When the goal is fixed, the only blocking state is the software part. This is wh \label{fig:extendedaction} \end{figure} +While these two models are similar, there are fundamental differences. + +\paragraph{Loops} + +Let's observe these two models in action through two situations. +In the first situation, a user is using a word processing editor, has already selected text, and wants to format it in bold. +Through the execution phase of Norman's model, the user will decide and perform an appropriate interaction, clicking on a toolbar button for example. +In the new model, the mouse will detect a movement then a click. +It will detect which button is pressed and trigger the relevant action. +This will change the internal model of the document, which will in turn change the display of the selected text on the screen. +The user will see the changes and acknowledge he reached his initial goal. +That was an easy case, but it illustrates the whole pipeline. + +Now, let's consider a second, and more interesting, situation. +The user is using a picture editing program, and would like to adjust the exposition. +Contrary to the previous example, there is no specified output. +The user just knows the picture is currently too dark. +He wants it lighter so that more details will be visible. +But at the same time the dark parts of the pictures must remain dark. +There is no objective measure of the result, and the user will probably adjust his criteria while performing the task. +The user moves the cursor of the exposition slider. +As the cursor moves, the picture is continuously adjusted with the current exposition value. +Therefore the user adjusts the exposition value continuously depending on the result. +We observe several important elements. +First of all the continuous perception/action cycle reflects the notion of the \defword{sensorimotor loop}~\cite{oregan01a}. +This cycle is efficient for interaction because for each adjustment, the user knows both his action and its result. +It enables fast and incremental adjustments, which enables \defword{direct manipulation}~\cite{schneiderman83}. +This will be discussed further in the next chapter. +Second, we observe a similar loop between sensed inputs and produced outputs. +This loop corresponds to interaction techniques, which is the focus of this chapter. +The algorithmic complexity of the software part is a key element for enabling direct manipulation. +Further than complexity, the software part must run in real time. +The time constraint is less than $16ms$\footnote{This estimation is based on a $60Hz$ display rate. Haptic display require a $1000Hz$ loop, therefore a $1ms$ limit.}. +In the exposition adjustment scenario, computing the output on the full size image might be too slow. +This is why the algorithm is computed on a thumbnail, or a crop view of the picture. + + +%\cite{vermeulen13} + +\paragraph{Implications for design} + +While these two models are similar, we must be careful with their usage. +On one hand, the seven stages of action explain how people interact with objects of the world, in particular interactive systems. +They exhibit a gulf of execution and a gulf of evaluation, that designers tend to reduce or bridge with a better design of the objects of the world. +On the other hand, the seven stages of interactive computation describe how interactive systems interact with the world, in particular their users. +We discussed about the funnel of evaluation and the funnel of execution, but designers should not aim at expanding these by expecting a different behavior and understanding from the user. +The behavior of users will inevitably change to adapt to the evolution of technology. +This is known as the co-evolution phenomenon~\cite{mackay90}. +However this is not our focus. +The design objectives related to this model are: + +\begin{itemize} + \item Using existing input and output technologies more efficiently. + \item Expanding the input and output vocabulary. +\end{itemize} +\begin{idee} +Introduce projects below +\end{idee} % \begin{figure}[htb] @@ -145,13 +191,25 @@ When the goal is fixed, the only blocking state is the software part. This is wh % \label{fig:modeldifference} % \end{figure} +%Vibrotactile widgets~\cite{frisson17} -Vibrotactile widgets~\cite{frisson17} +\begin{idee}Use existing input and output technologies more efficiently.\end{idee} \section{Investigating input: latency measurement} +Direct manipulation interactions require fast and incremental actions. + + Lagmeter \cite{casiez17} +\section{Understanding touch: tactile textures} + +Friction textures \cite{potier12,potier16} + + +\begin{idee}Expand the input and output vocabulary.\end{idee} + + \section{Exploring new input vocabulary: flexible pen} FlexStylus \cite{fellion17} @@ -160,8 +218,4 @@ FlexStylus \cite{fellion17} Previous work on encoding information with haptic cues: \cite{pietrzak05,pietrzak06,pietrzak09} -Activibe \cite{cauchard16} - -\section{Understanding touch: tactile textures} - -Friction textures \cite{potier12,potier16} \ No newline at end of file +Activibe \cite{cauchard16} \ No newline at end of file -- 2.30.2