From f7027c65ce9ae725f1aab1235445c3d15f9a25e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pat=20M=C3=A4chler?= Date: Wed, 26 Jul 2017 08:12:12 +0200 Subject: [PATCH] fix and_predicate_pass.png illustration in docs The illustration was wrong on the left hand side: Condition c1 was used twice, but c2 was missing. --- docs/dd/images/and_predicate_pass.png | Bin 7451 -> 7533 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/docs/dd/images/and_predicate_pass.png b/docs/dd/images/and_predicate_pass.png index 4b7f27e98fe59599416b6d531e2f3335e4ef906d..1b7ebb902375edd18eb3e8915089edcce2610adc 100644 GIT binary patch literal 7533 zcmeI1cQoAZm&Zp5(SryfN=OKz2MLB0gh+^9hA?V$!suNhNju45d`U)3PYi)T$mHduRUi|^ z#4)F`Xb*whIhB`wrsgt^nRM4xL(E<7#DvBW`CXIQ@k`6g3w-?z_u156J{}(PcV0E- zH3d4=)zKA8nt!`q|2?3(*l4$~)R^jhv{zD668}D)D7ctDm%`)igS30ZB+swkIXf5N z=l-DF6?J#2zukz5->fh0iANvl)`>^ovWFxK>wo(?dWA>h8#sjX)#vFCp&1o7>T3N0 zJoCoz!4y_jL^4TH75s%Nxt*%$}?m<(_d;C8kz6pOxHFj zW#MpNA{XLO<;hcanz+ExRK2I4Aqo#{dp%N?3V766Rn~RA2JTcYZIU&J)ieK~MlH>8 z39E$%1tt;UeQL9om-+0y;%f8a@4_t9M${hVH~c8w6rvM zFKe0)4JD;=V{l+#2lB6+3=6A@cP~sV4y=+A&L*#*1YhqPRxd!0BcYO07suF7kuXUt zW`}eI8e0!#Q~N=zMM)Vn)$plwnJP|XwciKv7VAk^X(S@P9fBq}IZkCsNt}2Hag#d5 z|I5Kw4827u65K%}w6jOnoF7+9tN~V_;=Q=IygTqa^9%jq%O2CuAHohi7VLk%PSl4d zlB9G<@@eao^I~Rg8IQH;Pb@|=m>6W@=jHbped2J z(py>brvKDV{Z9W%Yn0-3+lM+xKhoVwuJtkbovF^u?qvkOx<3tNwr31)irGOxTWiXf zHh$9hM>fH^A+Tx$!KW~|!SRawVSE7m26D^jIUZK?7jjBIg8dET0Ts&`vNRFb^U{W4iJ&8a@!pJKnrYANzEdfh-RE~AuaBXsON%yz!w!9zX2 zqGJL)J1$OgA4SGmjhb^&Go>P{#k>#QUJp9hR;_SBBI7%+D-{0OCPup=R+@uaTQV}U zW(IyM;N(_T1Q8Y)ZN&qq|WS&$E4}8J(jn95b+h87swUHQ+(v} z7Vf01%5rz?VElR{F|eQZ%g~(?&s+Sjm_#ijEUR3`*$xEo)>cd1B#;jOsOikNH8vs?2Bv=&eLY8 zuo-kUg8`IQ%zM?C;L`M=a){G6S04YBbLM&Qf>74Obl1{on&kdDhSwg?t-c=hgUXxo zemwv34afZhQrm|fq0MOwVs_4{%48#C_+my$c>OYM97h8P7P7}Gr>YBPvsfG@i5x+GGsz$$XpwiE74%gj0k+qXP=$l1z5U zmef=vKz+s&AI^_1No!_!WImDch%UrhSQl0`%<@pYY;P%d9$Ot5 zu9NPN$@j(E-|1+-JYmeRN>VZBA?rI`QO89tR{Y$zji-2H*J6>3$*B`AzyOzd1A?! zt=$Mq$9xA`^vm+s2P)F7ZxHr7O@VBD`}SMd*hXXD3SwcwR9z?cVML5KqZx-~OL}2g zdG-l?dh@_M3XCD*%=B-;2cvjb(fLs^s9_|`7Sz2nH%t~C;ohdC^RDjY}<~=*B z!7ny-xCa4S`@(cVrD{snKGyl^JC*;4{)s|)A>vS%b@JSOEV+B2DX8k>=qtX;Y(!nw2`c`tHql$&8m-gzZ`5VPZbnzkA0E zinyw#iV|h}z|&p!TTBcLzQ7S;%TMyEzu&L?@>m2HXDB## zZe#b=7&B_GYtcdq$@S=e1-9~1XZ-8fQ=?Z`?YKBQizSx^G3K@ox&u~2@dz zsi%iS`&@UX3y~#HXzfUi zfUK)&K$%<-tH@bxp&0TZ{@q4)?daCaqx0cp{+wCgRHnT{<(%HGwm%kdNI8 zXcLXSOW9y{aN2h7Y_EvNpql{i((#Cpl$bf6D3Ye6d{&H~Zhf@Nq2OKjdm4A+O7g@B zTa%>QeKF$FY>$;69LY@k?#hIen zW3))4#@Toqtz}#h4$+WR2U!PBwy3+5^PsB2opxZ7ljk^bBZ72)%=md=WlcyKwA%ss z@!GK$X-nfYU&imnYNLLgMzNO*`QQ+?vs~&+&Rz!OUDz+?c=>j7{&m zwgE~%B09NwNUF|SJZltW9Iz{&<^K|fyJ7@Y+50N<^|c)RPZT)zPPw^rtY!P^qMJ&h z3N_p=N_v36Ux`!43CxPoJG8Z}2+@vx=z?K`39SJQb-M6m1VRKKsQvpGn-cQfd@PNp zfl*?oz@H!3gkQt9-y;%a0wiTAO+i~zoQBhGC(FMfMuIqP51}sI;oD8f@$SK+r5!xf{ zbN|4z5V?mR@eh{QRbO^?_Hxm7z{ALLMecm>W9Q$?pSEA!J+aVt*X$vX7AjVMAR#LHSOSC^ zINtv6zgBPFTo8KTK?;nPp(P3#XlQ4n+W<~+IF_hnNJ&F5oBjJ%h)3+pEt(T>jE<|EC?oJliF zvda=l9w~<>BL$`QvjxqAwPrrAqk`q2#G|!vx;9AS8^sJg20mE6%}(v#>t0oSxvZC= zFd=7@RS8Orw(gLU5h|{UO~g`Q44$TBfpp&kaRGW!0X_5?3+JR>Ef-dj6=LVD4wm39lmvZq5ZfR+0B(vB{a9F;wmc4Q0612z#~jfY}t+#xC! z=1pP$ny}lmO-sbg?^pFvi&e8eN6D`_szb^{E!I^aSKhqp@P#TmXsFP~dNRi|syAv{ zU!G6%FIG}$QX{v!vzPUJ*Y))93&h}fW;yO`Vxrcq7f3caGdiR+f;;Q`+{y+}oxkaD#jH_*!pF)%t4lHCVz>b=nGp zLV3O8Ul~O6?S(dh>jADlgst6h)O)3r>(U9LNh|89v!+><)A>B3{+gAK{sUkQHQtBz zcJ(d1Ka-RgcZnkL2b+Vu)l$>4xyPp3B5N`)KQ-XXR%>rNQ1K|xX&b~4sQk2;2_?kH zTRcit-oC;Vos%f9nD?hg@9j5R^vLB9f62?wmk5YEpCKYvubEb zQFyF`9PX`G+UPWOtg#x?ZzLF(W9@b8Q*PiHDXvrNOc3xjJIj|?4iNae2hRmx&Kbs@ zptOi>7WO8#Oh-`&M?3cPGL2D<@O&fi9n89FGjy!cwmF%%@=P;{X$};%bt+QGjnPu1p`{%?%?3Vf&s3ds zr0#6}v3ND)&u|t4XgA`cb<=nEcMdr`8n1)aLHlH&jyNnu;mMn2#S3~~L}|1jzbdtrfs!%wmg+% z_vC9>rPL&zn}7+*E-^{>0jEIh!EWsr?;Y<44{Msf2~eO>ddM^8t5$i;A;|G)>sn)a z6Fl!-L+tTKe-~Gjl}LH9QUmB=9=;51yWzdd@{HmLCy%j9u+W76o?)USC$T1Fb}E7T zLvOrThjqxd(}_~req9c1PopAKsuEW5;THTnU=BStu8QI(6)e=NK>I!b0t9TRd%Ht& z0GuCzx`YoT9#kaPUo}N}8?U4J&i0cxx`9G_)L>trq#274WhJx>l`>bSwU(J)wLWcM z15QsiN$F~pyGR!7vVd5V^Jog$pF%rqu)f1~(<=;);iIRqMz;f=?bnC78a7_9B^l9iyv=fA z%+<-Ey534Y%~S$5dTj%VWuH#tVM}(qFcYOxb`MjOa6?NE0jqpPE?~~}{p*EiiyTnz zjc`4mgT%_wI?dC+Q-lU9B>TN`$Q(Nw<;Dx=sNNf@%ojg{jLZbgPg$sxyw&IJgSvs9 z?+yHPj(y}6YEh{EIS;v>d-e7%=mKy_Kmff49b$XQrB0r-dOgsUv3U6cz^Z0-X@F@U zmE^mrvu8I8Se>$S*ynJ4>gp1ieF)WF8`}1rnGrWWijrL<_jba4I?H8fCOkS1u_yW* ztR`(}OWHD{+a+q^tn^Dd=aM(gj;6TK=O4eg=5dc#HuIj7N$-+#*Y9vi@p}A=at-Dd(l-8_ z^XQqsxWolZ5xEQT4_Bch4~3W?Kdp7#KZL z`NJjPd*4C(s{4GS_d8WOP7xEGCm)`M^nw@Be}R0$$;(;`?-Y>VdWOc>zBD)EQlnI} z#B*T!%PKOhOc-1-e9+%nE@2-zTW3>+>n!hvEL90R+a3?^oI{d|L})eTU)&E4ME)n^ zJInhS7g**7Q*hu=y+TZX zsauQToYHU5O1+^M1;U#@A$EnU_&xTa?r&Q71E-DzQhm?4hu&>v0LTZqNkbD2W1>2y z`x)?cl(972ti9)tuR7qPL&<sJl}kIaY3`4#ch-!C#{en2K`l^gZC^0fD$$!ZhE< zujsTQN22CA2GT|V+aO|y4V~3J4~Ij1VCc9iH$MAG0H^v5WVBsn{XQ{SVNntQc8PKl zuXWsrnXKz>7P*Cl1P+A)SKKzoU_~+_ILWjY1n?y}Wx zMS-Sv=X5k&8Pw9{Ftg5yH?gnTc{8#gYPbCWjsPaRg+I8nE*eKG%Y1!vI%FzU=@0j# zxmHritg@3Z-oyT<{!20x<5&{#p@L!PMPiybHz$N+B z9?Uv7c*Ze>eH@Fo>Bil3^WwGXo!I#Y`8~&FX5$b=--?f_E~hR2r%_z|Y#aVRai21u zA)u<~9J(@Eaj#LQVakS(Z`=KB$4;9BTK%8;^u^+u8g45Lr7;@6>t=DgY~R05-U0w! zln$_A;25>6#~ymp#4G`PWgsFxiYo;CL_W+F_ut`ONSi2KL}zPc&|c7W z26ME?Qlp5|)?{N|%yc=ASS4@He+z9NH)-|aZ00s$R&DkGbl8SA@Z^q}Rz8NH1R6;7C*oyTm2 zyWNd*E#(TZe0PBW$_m*&C>9a+PH?M`#jc}zl0dB`ajqdh?+jo`^lBjJW|@T@)E6+LH1cZK-`6 zk=SwA;Mq~+OAT3fomG|J+27iWB+mn5k&MF=r_JBHpHi;Qf!|RfW#+?7%V>geK9c#m zI^B{IAP3fT7j?U+Yy5f*@u0Vt1k`vG*_FHiKOqaSyVuM!Bm6^#DnNJPQDKJZ9jqR#U=Ud;ffWs`#ea`HA?|uFDb>6+uP$VN}B!)mBWXekNnh*#M3LJZ0 zCjdV;d3Kn=FC2GGMOg@JkZBG4L13Y(C=bD4zj9lPlE6DeE=mUO5C{nk_8SM1p2+~- zB=k^LS0J1vx=zpk2wulx41q9ZD9g)edrxl8_<5^&Eq3n;FFjUIcaXhKC9A6|KU^T6 zUS{9-T-bO+lZDQ@T-DzGfpOi3JQdrYCu>8)d7ecoqt@2e#V?}nq!05vm#~$4tF0uI z;BilM_uMkkAc4fTTy1&ZH+%n{`|r%Oq;1ipA^)M%>}`7a|Le6ZQ~ZgQGJz|Xj*_$% z*NB)iA!3Cio|Ngq#RFE&l_m&@-PjXr+y+70>QGz!okqJ#R?TEjJRzKHNH)vtiFZTW zL@%wPB4=`}#FMp~wgol?R5Z5&;JL^zIAw(4TxJRdT*SCv@mMH!NX!o^A9(wnmS`7f zvKyj=Jl$f%wUnRG>3?be)YlvpIYZ)d+HeQ2_&<(yyiB%eZ2+zf0RNpqt2^Q?nB2+Z6O`vO>T#I(9d9#S(CTF zk4BeGRtD1)a{`1yI{5Fr^9)zw!-n{k}ao^i5Yg}sB}dhV?DcGa@gnHIsK zMe?M~#K@wE23*~U#z>`=lQZ;7+zVNUg;xceG|anp>m8r+{h~$*q(Q(!0=hq(r<=0G zEMs&B+d-yHwSb_dN_pKQv2kvaRSc)M3$EHEL2Zr_?poM<4vQ zv!>r<=dtD0a8jHQ50amBaj4tvRDtp^bCu^e;s7XwIvF+wFb=uO(jXt6PUFgjCh(+IyTQi&Zy!^>8t#<4;4EFTHE zbCkh$QfEh^UlBHF{3P}(f_ZS*%PStrmfUlhGe2JPP>Yl2b6{&Yy9pnX?=4N$Puf|j zq+WUN2AuaykJCB}-1{>ztW7=*wM$!a<;1+VNNd~02(qK2p0ng-Jbmm^uv65-wh-~y zX#ga4rvnuEvrX*i&2S-JOZpkaKNJhuM(` z(2LyJ1&d|JRZLk#lbjbVQB+MSVAoE(&*u&c=fxosw;Fy7w#Ef-UU$HiAR#7|kZjrA zbqcLX+Q?#Sj=mT#v?)l)PI#u~aIpCguH_9gg76Zn0inmpVXB%FI7oUuKg;SFgbYq7e_0u`4kYw2{FcPpj93A77R7BxbqO*l=#V zQ$OkbDVdkPOF7a=!x@KbDUW+3l-t^*y8UIopBKh28m9O(BZ)MVE9TRhA&x$ zQN?DH%9_$j&Touk_6+jD3ur?X=fs2oyKf-aYjcx@Lxaj}DXGK5k1gW%l4g#ZQ?06|M=U56r`d;7 zhf@#)CDb{J&&yApg9g+q*CWhHFJI39T*3P|WU@HyyPX0PDPG0^`Ds%3L+!>WlkpxEn0CqUdKAsk+WU_n z#_to8hW_b*-|jiuo`i?|n0FHU<#QWn3g=Fb^oaKCAYCyjN7B38;7Z0Yim76G6&LQZ zy0>X+pYMmE^VyJm1+rQD^tQhz5={^{byfjCf&PZoogEpPx}+^O zGh;|gMg!~Ym#-Zv&H@KD?KgZka`Kc^4KB0)}l@a3om+aaMl9)eJGyfB!meeI4X zN7#}#o3WJ#qb^iw&ZmWMb@R%>w;Yus)mity4e%%R-mqqPM&V(fH2q0qvzaFiGcgpH zH4N*G@^z#3v1$@_x4bx)bA=r@+EudxY4ypyyHOZV>+>V(EaEqd&D$H5ti%TJa}0ib zR@Q0$Q8p^yoyb)Ikuv323Y1H`|0!~ITkg**-5%bX4KOaFBuOGl8o&F_2bINfYwf zPsz$8dp`x2KO1v2_{W?9dliVDCSUdTJTx=Q$OjF(Tj2ECCNV1sA31+zd2`yC$Bg-V zNe5`m-ltDe`sbiS=9MM4ayT<+r1IR8XRf%Yt8YUPRr+pc?{kLvf;vemM%O1SE6Jsb zZ-kpu(zeFX+W%gmzrj!!+=Vp3cMweUcn~u4@>c5pSqb$}jQ@gQv*(u9x^T7ETu$e= za@94;;SMN`-&}Ub1an=;CR|UTa$A*aT2YObXyOyHdAh|g09)?sCojly%i_yPg+spTpX+9OUOuzS|HB5aTUs{fw(EDn zNyT-5&(W4zAz!~P-2WLK#w7KXKAN2{sn^41+y_#-M`Q)SZ}j(dC3wR3cfWp;ZXK@@ zV*z1OBXqi0OJ5{sOTR6I4NkNz^z^nsn1l5xL_f^)ZLV3FC5~#B$HUA#63${2ed`i( zAqu9yf-5Azoz+_t?#3?oZq+aL4zfbB_akDdX6AMRP_`}Ov*F4R!Y#6N?NYXRRPQB2 zxC{`=us-+h?7Cpj_dVi1ey5ANLs@dBn=g@ER@{bCl?a!_9G2>z$PBKii2U#PXi)iB zR9noMtvA+kIG0xhuo704dw(5dsOxS1uRJ^z}Y;s^ssKF&2lvuTQnK zv={=!!impL_y)4ypl&&bC%}uawIgB|+R1&7BMV-E80RO2K7(2IMmW0&aQ+fPfDZs@ z6nS)_0#>e2;4Jd*PCH@H=nCll8ag%Mkh>jq zeP^}Wq4CUDzxNfojTwF@6|!o^;0lSdSM}db0Jn!~FZgogJHNv#JLP$;j4W?9Ac#7j z^C}zw;lw}QGb!uw2SDl>mAvYC3v z=%`-xHd{xWIBePm&UujnKE70J?3;OQPlhRxdKlN(e@l2mBuLL`p~L-Yx{5*p zBR=|a^lT4DB!^N_i^AEk+^Ow6>AFufH#h55h@qs{m_zlL*lKH4I-N=R_ke-R2 zs_*?=j{;hYx)M7Umi%0yZYuze%l&cRO(P0Xk8uL;zOCOLjH=rY8lI!|I${8+_p9-x zK>usP*|etFF#~x6u#@rr6R!*_jNwjU&zE9Zgz%qJIL9)@Szta5^<7NifV@4hEjC#w z(V}A=eP|YX(E+BSrp`6g!TTq%*{F!32(K#sFIsSNNRv-fmtDx`^t!0Cq?V#^JM@LG{_$Secq;#E znB(5=(JIndxD~*O8iT+`<^=mbvT>jRCysG4UB59UD>VKAzrQ@Z^AYA-(=YXQ`$F?4 zXlxKi|0$rO%DqIiT+hKE)efh)C(aqYQo8!V`$~4v;8h)|w%0piJu07(Yh&fv;@g8p zaYKBU2F-4C0EAzgbmBo?YnbSwYwdzf&n?P5Ij?M4_UWEmts8b2G^_;Od}K8&ImfrA zi3@^3jp8UnUD)Jo4Q;_0#SP{J-tKH6_=NZ@CN>V3mKBF&0xuj#Gu{X7mQy$U0^~Hz z`-NtyNNT9yW@yh~FISy?hj>>`9DC1PvoV5~$#q#C-A4RzZAYd8+ke@*^P@(;CTUSC z!xL1%h&;-vu)xJitDXP;R3OB_3kq@mh`C2xQQAD}{MJzNSo5Pni$5b6g(FP4?NtrH zhzxffbrR33)OQ242LO3P5_2>`V)A+ct&W+n-8a1lC=# zL(f|K(+8;Pg9X#npfi0*6KEIH%d0IgGS6RiAubNK1*3|c$vCh4%Qm+!i%C1~xXp1& zj0fb-gxRw<6UV!Vy?gshS;r!Do7?~-5$;i2K$7#1w;=&0zRSL>#AI9H4IiDWd_d7) zodt)Pro@{Smzy@Nfd>i3!H4M$DE}8Hzh=eF{t$bpt2e`3XkQ|)yl7)6_wP4}8%4jr zDHQ|6iN@5DIwI$i z(L(wLj5Rs`bJSCL5O_d)!Q$elFT4Ul?!dLj9$1h(g+hPFAuYK$s)Sds1n|tNRq{O| zq^0q5U1+On7}3hXsVF%gF4ijHaC0#2P31)tX|t{b(Z6hrLg^t{@L(p&>TXihG=-Yf z@MfyJiVR@XM#1 zVWmnd4=Pr}w4S~Q49pH132{7)jU5yWI_!far)m>-@T2_9xT9091f}PC1aP853c1oW zS8$6$m}tXptiKXbu#}X0Kp_+3CxH>EB>!{m1tQx|@{>RAV~OM zc;2|c#aUXKA+X`pV`3f+E0U1-PZLh62N+pC`u_y;g>+xLkY$i`P)WOVj+Wq2{z#oF z5|EpaVgJay)uTDTWySNMjy(D&Z>|q^0#i3u4j2#TqAK>_MSO`f3^-2j*4QF^^X|~Y zHEl#EFA|kub_eAE?a7gFT3{3GFVGG!7QY}@BrKW=>$Y_V?twNtGq7&t)CV0LLcE2Y%Y|4iK2EO-a-EH8VLi9K;OU=HGYWqX;~!vcH}Jo#*kq!j z0xL#FN{G~H+#EhIQz68+lD1-T=%Q(yb;!W>e0dD5tK|~-HrY5sDCM>U0 z^?hF49%pIr-Qv>68XaDDiDnqa41syPD|-X5257SlonpNY-t`+i$p-xQ$sOhX zmO%R2(>FT;jlyr*&mO9(7*{k83xey5n=udoX_c-$o}y}^%SYyR|2mfLtS*WW?jUR> zMiw{nMN1w7eqa)5N#fSyv$H87;AYi4g&DQ>l#r2#xQa1$V8w|S%#>XzYs^ybf!lE# z<;NHb&@UJydz&e&-D?UJA8Z%sEZ%-HvFSyU0Yvb-m?fPi0gugYWgH^&XN)p9=CrT)gtzI$ zkIL}x^dL@}0q5WZZi>43SK$6#vPrirD-K9@`$WdhArW5gWs>pEsr9Yb{eDy({0!61 zWsav{GBBtS&C|b@FAj{4Dv!|&z>8YIB=A6T*7rZF2NDA7SyaF!xWv80otmKLZ|c}5WqEe#cG!$4mA#%kDAmt-$~m52Ml(0 zn=zag%qZcPb=208pygL9SO46gGg%jDjhV@y9qUKvA+e?`SDZP6_l92Oq_11Q@!2~~*7Yt8J3ImAN(&{hjdUgkJ zV|-e&Imy8A^h6YjpENJ8q3U9(K?xq1{1o%!@pviNbjXBg+GNug+A3f@Uj56Fv%l=V z&ku>b{Cz#Jd=hue{*ya>O#ZfWM9skrGq`_tHw>r8^|g@vP|y2yJ(q?q&ObV#ra+^w z17_uJ2>`{o<8+Nd)avm&<<(SCi~>Mq+iq;dp{FRUr_-@^=LFh}q`yFw=!w%ZJ~FJ+ z89QA7O-WVb;CP>=I>Zv{xbch`^=+&5R_f9EdA-kHLvGZUME$2dW4PieNIBHXJE7F5+j{cN8=- zY@`ie0Xm5mZ_E;{sNiyiKTr6r9sp@fOxOOj8Q`<52KWyu4`aW(>+ryo`0F)fjVsB& zjLQ`O9@Nidq<+n@^nO%iQ*Qo%ypqci@N4V)f4OPbuwGi(#05)^111=J>i#s{$3`{o zPK)Se+~AywL+yPpJlDIp z2I>7-{f@o3)t$ja#EsGk0HcNasz$(90HuHn0o@uDU>GpO=h4fuG9hiXdUH0*Cz!jS z)P^YhhU;fb*fE{JjvO?N%r`dUoU#`c69LavjMq1XR=`vn5BwsLkCfdTv`kC z*hD1(r_9jtu%@m^HGranU*x~KVul-Y{~uS(BT8SslN>C&utB45*GPvAzM&VaR+6{e zuxr?#mZs}hR-j(l?n`jD_d$wNYzN+%LfCH;$cDlvoY<&GvClc)LlE(9*BW^SBnRyJ-rrL`=L`q;lomfP#+d|08cXR0 zaxP!!s?70Kjp#qXk$kzWUIHF~T-Sg8i0|Ll6!z)HUqwmyuIqt$9|qf;W&Dc9VLs7F=sGRx~TuN@Zhhq5r&lNX(naHb;=h%>4br_ zG5PsMmNSF|NKLWIUWfq%3nKUE$;o*&CqPr#InAzXAi1r97~kWdO^ZZ*`fmgh_1_5O z_*F%Cl!iQdWCSx@Ik62~k$ikcY{d{qsL2JE)uh