SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info z,dd ]S Complx:threads=4elapsed=318.298cpu=921.728gc=11.0447zXZִF! { ]ŗXiɟ7KIxjbk- =y /`vًkPBvS)*MHzp|o.'AQYW-qWmkBRT te,8Dݐ85I4k9:!xRN~لzk  M$` nG`huװ7Ьڳ^XcooN:%}cխB{Mq0_mR><tn@ql=!!~|_7[1A0Gt)*h.`<' S^p`[-icTAoYaBaܽ_*ERUpvp{¥Ǵƺ-fbt_;>BgᎹxSdvBDNU6bR%^c7afqyE:(ٱKQDOKI("⌝= `I^FY^rIcǏ'S {<4j'1U5S (%* na yݣ^Unisuw~=^E#UItؓ0٩]sD_zߕG")n5ן{ dbi1|8' ;t&Xwqe0[EǸW왋AaH0ƥE0x}%&E`9Nr Fݖ @EZݙA G޹72$V\8k HSeqH\6K>.LEc .`IoNXSzcUw蘤3K4j,?\2=}jmog切8dX6_(['wy8qʥg0 - 1?ILP+p.֎D Cţ5&ĨgRjT+fݳQ: Ҷ3E["R|1q29]\]ltELZSLG yOmqiGV8O==r}^ƅPe; lɢfLpXքN?LDl^;!d)ףF?OgߥNL7+ْ@ &Aju h0-hEԯxcɏղDW(R5C.H +1E`^EUܛֈO"9Bp▵e2g1 ?Rrz7@mEILI\gh *ICDJVO*/f휺ROx;u( D 곷eQFȪl״rHhju r#Nhğ*ޡ:PR1:‰3@ ̏7 ɻCuI&:&`!I?eDX |+`?4$DJb:TSvc }S^r*)czw,{voF E^~c3-6b4fh-${T|*×BHšXyk&"+)$'_l{%0NiXa#u-n*B |) 9Nx;S|72T6s0 t y+퀧Fnhb'9~k/J_Qe.ABH7õP/֬]Cx=&w9 / )鲳풌y i;P7j(?3uZdEr?R5|V)":+C= , 5PA C|[#ALms9})`7z *g,澋abe?/5,4 T,t#$lM1H{B%%mOI(qce„z<+r6zw_n3RU;:=?VGB$ϖ7ȉ&ʵG8q&\ :?qG+;K$v]=W,0r{?]?]M3sbIZ?~w3m@˓-u zJB.;JqI )C'pd ByB[tW1[ÃOWC&jwrb,x m ,aGG?dĉ@"y0:'N[_Rj#bJ~;ٕT|rCk Is)ƞ&|^^~ڜO~8ry\;"2hn|hcC sikU? n欤n&NWU8̂c ~{{X-^~Pd d/Jg-bYl+fDpt*eS^I4&2vNOY@!~8%zhO*y 05+˔G.?\'W0MK]氏Ur/m8iԝPBFJ;hly)~L(O}d-IUD N!llgYZ7zXZִF! **a,]ŗXi%D60I,,˖ /f7:R 1SbÅ-:ӽܘxbPRl?;YslGÐxvCd:`qɒi4i]e w:E*6l\`)3jOγGBtݽV|M Cnmt@.h>u3ӈAKm vq}70xGŮ̠hh·i;gV C m>c\ux#d}.BPOJ 1H-Mb2_*֌u9^یnXKjcB☚ܥ!:[Mi%2*v>ޟ]SY4E{E_@>?-MeWxve+j^1:k `Lh#]N?.ڈUs`Ԛe۟j<Q䒥{I&`PG2*L۩??.@P szKEt:P:>`Э1\4_CuƖpm>I\`md2LB^o8hSumv\Emاis@cEw=pK!UdO8k tfX5.fHbZ|j_NPU7eF֫r ߿gSn@]DIzԏejRyķf$1ѢR`Y^ a]wfEiRx%159@_h?,ȷu;^?-ؓJa\^ug, %냂'h=O[MEϧ5|D,|@j!?YPԬw5Ö!C'k֢STָx1XȤ&'1xY$?õ\Kw|pf4Z3$mUc2`OyDLܾfҒ*LQueQhfh)BxI"UNwu2pC3xfy}wh\6@ [ /{Q>X!W$IO̱${͈}u=8nv :i6Wؔuӳq\6,`iI*^"y4;X։]_ h@K0I)Aźm:%V=UCyO:-% ,ComplxComplx.OG_Syntaxdocument.tex7zXZִF! ᯳]A-MՋhvG"uIBm5n]w5zaLAG*)|L8́L-ۼbLfF;&bpWI$_II[mk,C_(Wu`k[2 [fjHS$oL<9i=È&#rʣ .*UkKl_'8.ɜά9&) )% (j4w p/$pQl)i΀:GDC M,b5d G`f囄,bWc'XQ=yJ}Jb;o6d{ u5\B:I`&wG9j Z6^:#W VSq sX 3&eSMr$.i-+D&gȵ.`7{;Sڹe8MΥ Do\5_FF2j*r13瑤CY:R[qbSjvd @3\]'b"wE<3?Cd\}QfX% ˍSO&i,o4h}Ak;)nHalO}#G^ĂK]*),6U`PU_CT]*bIY#'T.]cۅ 0 C[_VsvV#jS"ڂ"6ӟT.u\it,2O" ljX=:+ i Ye-eڻvvQ3I^B!U'+4A~OA0N䳳Qz^_F?. vOL&%Bk_/S٪BPolrGD/{#gΜǗokqKÞ|YAPs~:_ʶtLjfj5޺br$B S^vr EM񗔚NaQQkŰIȪx=.#+C\`TQ/i8(rPl7ȠC[Ĭ)SGa^;pw TFD5 k"!.2k !zu&> m}*HmҚF NmoX>P֝IcZJN0'# "46'۱ ỈL*b&f3Vv1aPp9% I\wGZA^ym~:po|5Qu1nyw8im<aUɍLӵ,],'D?Y䑒(!::USb~©(ٸ1դz̴_+pW{^ujn_, 35_B0,§>x _|Ϙ ԐI9#bU|cR.є$)x }X]9qzgO57!o"Vee]5T DBGѠ5o\z]C|ԪD|щzY5 uȸ>zITL$?](P|[[\Q`¯1mU+NL uJ.*Nje(N+I<ʹOU0D8|X:=p9n]G"0FJ3Α! OF!Kة텐kV5tp-Ci} Î30ö/:12a"emE6VخNky eS;s?/'      1 11]Y+3%ComplxComplx.OG_Soundnessdocument.tex (-%ComplxComplx.SmallStepdocument.tex ,5%ComplxComplx.Cache_Tacticsdocument.tex '+%ComplxComplx.Languagedocument.tex-7%ComplxComplx.OG_Annotationsdocument.tex'+%ComplxComplx.Examplesdocument.tex'+%ComplxComplx.OG_Hoaredocument.tex%'%ComplxComplx.SumArrdocument.tex)/%ComplxComplx.OG_Tacticsdocument.tex.9%ComplxComplx.SeqCatch_decompdocument.tex'-% ComplxComplx.OG_Syntaxdocument.texi`3|5TOAgԛW'TRm]vE6~vc<ܖn 1fL_ g.T^|4׹Y؋Z<4{t&=L)^Xs˗OQ@2~@aNTmRq߽i~b>/\u`;ooDS5 P].hԇT|afjf v1\}+ Al1 7U ^'|Oz(:i @$ڄ9CäU6UKom|C^ZeIEͲ~$VggC"}Nz_[`(g`.ff4D#@Y/23(nk?nn iʭKG4}kDnlLd#Y%=F=P6TmMt C+?Q8(]KMgZ :y( ]d\yϩ d9ԉU[E7?@ u'UOcpuQZfR~l}A)jo9 {`Mouz7;c[WipB:]aTl~HW%Exf/VҌ6U,vB?Ww&eoMb5#'ԓDRzMkXп {Ɖ2Ѝ\%>[½KHsYo_4mHKH+iyC[[\(w]7|dʵ2# {0 GNQ,up:]y;-z ـ\Mc1Wɫk9W\GTA§:+/O9Vc[v=Ee1 cxn/VY#'L<=I9sPxhj:Kζu{Gq&yr~~@|#T$ w84>JBdP'|^F-gLk (7A am{ h({5_Յ~ۀ jzVdh2?Y8Z~f|yδޗ1֜TDS>*nT#Z;@diAr2hWT'دDEAL^M "ݕ\2B_<3{w '`q&2S]˟=>yxs|Dj ūu+~Q C L2m1$VW9M"=$u8ݲݽp342m>v"E<(ӑb̥Y!$-qwp<,PjIm8 mw7;QQFgUSއ-- p[k21ڡj}3O{ee^T$zJ\#]F/v/@g^ 5H{,γ , Kvb`yz^((;0B:a[+3 /|:p G~E.:qu}i➏8.3x:=8% oez81ynnKJ')ҊO9OR4 zO)#QZ&CpZ_G)0p1լyLZ:hBgJ A`?6 b_'P\qH b$V:xf.WK6,T^mrĎdmÛ܈] 渴/?YEN%#XIIeVJȞW\#}  NJaKGl5.Kr$ Jh$7}LHCh]_v)f1v& yho6EJ@-y)Jaf(& 3{ -MdR?j UfVq. 5%QkmFoj]O?`P%Ƕ.pգőm%cYu{[uCN_jƭ}I5uF {R;(ʭr//'&Jƻ< wN]|dӠ-XlbE!>8}Hj/o7{zRdwꌭN05׽k&$K}$ W}BquidA3>G÷zQkrfj POOM? P?ȓ4^[ฒm}+}%;T9'XTUhjNm21_@-& aK+[cd3o9{S4K.qiжl& M(jt(WIP<>z:hفo?+(Qq볽?.]fo3t1l޷_}BUpP#V+wrd0 6eRm&+"Im.:awJF#rQ+<>W{_$0s}nqWs$TᓸFI'3@GOkkBAȤʼDAO"GqW)-xk|:l^FJ-鳳t͈UE5ߥLҺ&8^EF_{U 8L k>σ_Ak[+W󌒀7ȅ|=nr-,}w2EqnMHn2y`.ݢ7 )l%?(kv~upɈz`Igr@ǫ|h nrUzSKƫ}rVq<t5mqqʀ\;˩I)T'lglh*hǂ;$uV8~p*Ff]3gIKWб ˫dM=A(g "dn @is,|7u=E^\:ݘ)!!I4pgNb_{R V9xvA%0Z^\:O )m2kcR>]/q2Yq k뾴p:$ϲ,Yꜹx k60d p*\W~(BQsGj>byHSo[z `9Z Р3G}aåQ+E3>uvlsFH S+cb7}͙ٺJ X[[ "h2pm)qJK|u-f8EOژAxְ<爹2{b +aFFȲjTۏqǓ58}vkm%GcЊ)씑 wuf6!3ef1Zm2HsdTe;$>~!q?k@͓]_{Ǩ7ǶĹ-|;X…׿qJhA^Tw$"%Z4vxJ.RSpN{)\ϭg%-ex_ZmO{AyH^}"r(*f`fAxc *߿(x9S]< LmIt22 CAX n:/CHѠlD]=/`DD3q?@i:%6\H ,hGAX>N9,,M0 J ?`#m%9PC%BRQ%'T4p.3ղ`Ko\X/6=r\;p Z&4J˥FzBj(TFM\P*lk-H/ KG=pNg `;IV3LN1F77[w8\vXkz-wܜe>mMx=@?SRvlR[6EXwE{dl!2lh\22 arMp6d?B#aY.2Qޒoia*iJ0e4@ 8_g@ ,4 >aKv+$^p"۩ F )eQQ3I>.Qz?c6a"؋MTRxCӹw?*n>}`8BCn3W:Ev$c_<8X4,j?Sv߷?+];*I$Ü]w @JUA>{GBCaЈǩudYX|(%#+| \gv!n 8 vc0,HQ%HioBnOҰ -dV-"~jD`RM+=,rȘRj:6,Ċ{j3NMH_;lUh׉@%G˺7i`A>BA#1X:;?uld"mD9~)xxqG]rk('1!L|IpEE"QkrK`)^N`!Si $mxӋ,O^؈?OH@R1ZSELZ\͉V2<ӷWA^p8RϏ)N>L0Z3>;:S?ҝm7ϙB{pv;RI1kXdjTCoր Ru073~žj,)6# M1 C"qǸ;WtUrc9UmN2ImѕWyќㄊR9jW _jҘ8=x--@ Yb189&Q~Lޮr%y K\E09vʪHYjB`yzF #~8l 8M\ł2=MۆY]IL{hz:!,W/J-B+RQ ZF/HD ǜX%Ɉ+c7jcyuVҶ ul7g7y\:7pjN4&FʉwSiU./q`9kl3'ӷ4O}![OsY?J9ŗ*1 \4_s>?keK^YTnNX pcdN&#5ZF=.F c#@i@$+@a+ =c/[DW/m }|^=| Xb&r*C)bPv$$3)},JjSUE_3y]NhmQz@Vғfm~Q+@e7;n@|Й:M1ݫq@k]|\d, Y`|4t!d [ {W:E Ur,aT*GMa 05g2&%> s5ޕO1#)-)Bu؜i"qVu(ʡ}&usHk4{$iqe@ݗEA/|KѨ) Y/X;X:eP1Nw]jbMpOfVgIO iΙcތǯ(,iaDOOv?5L<fp0z+"?hSpq,VhlXXS|<4TFrTVӃ9Jg$uGhl!eLѵb-A1vWf,c'K'}}1,.Rg,j=zNGk #HW[ܒw8&Ʈ= TYz/ȄjŻAw_Z4y@L~%~ҷp2E諻WAx( ȍx52N~;}:x%WJ!)OR>8vs?fjuFGSv_4!} Mdg~A"J?! ʼnS%Cۣ_\5c|*0N֑u3v2Ocy)s/!J&,p~&yc$ aE !hfv$Hb# ۫jԧ^/*e1G|a9[-\Ag/ժ7RoN {٨S(7}wи7otMT6ʮ V`,zSdb}(IanyIp#wSCoChaܒbGچyϾmW zt2NȪ贩YefbZ 6Y?1_>RLlK`|uU=;ϐ)^QńA+~✑K7rPYO)ح/ppy`ZS lnSb^KǓ$\0u7GvA҄L oe 䉰Ĉ[iL*ס#\5)8U*+`.vثͺJMK$ޤۃkMoeO&OjN]?ǚBvuu bb|^۫ ZmܘBLdA&l~gUQ 9jZ :ezŻ #]jc`cm+kx*oS[ϧnN3'#q|1CS ~j fǘDrx3>F@6ߧ4P/oz"i-rLWf^GqM= OS3A7kb9*X ̤TaD}!ٱ >s5GIm%(uhF,I:.͗:$Xmm0w?? (?$?P;[6KxB)aݧNF})<8|չ:'{TiPWeYjЊe^AF$24NՐ9j8Z*;1&Ar_>o>rLkGa{﷭ r) I?P7 yQV/5bF#~M@].d=yj%7B{! Kyǐ \Ό6|;5Tw($OyE0D. ؗq/!)}G4G;Bxh=¹ 1+/>$x-X-Ec4uS- 2Bʼn9388P|F\3Ao(1 ~ex{!07.s!'fI= UAqJSˬ~=wo+ErK֏ʟڬK,X$Ўy[5 yV6xUS)Vz`=&$.zCf+'W{{ N!:4$T̖f96:/4+d+3']% *a8K\]zcRN?5Ycf;7;]S5|m2=*=5T/26Cty `n6VHB bX![S, U[)K))JC0 UMz4<&ҹr>}1B3Y\sW{_QFheRaE2t.uթv0cF`>y2&Ky&/=8?"λ뱚MYxu`\x'xjumDC% u z|,X<+/`Ȏ ]sR*9yu ߛ"EKhp+P ;!҆H+KE=ǐuRr(p߾%E8oLBݛh}'|&,zԿ3zDLSɺƈHWˋg9ɺ cߍhVo_{_5w-v<pdJ0CKZ< wmVm7l5ulNeB0bP4MEseaq'q\Yڱ2%NaKB[>Zܺ 6f8>c !0;wNZs'j%0EoL8/Cv/Mu)3N^AڽaZccV3ԥ M:@iYGUd+#{YZ1j HoWh?6o D@1NFaʢO-I YyuT# @Uޯ p!uT*>wZ٥ w~fpET`g<ݚ2rgZ6scҊ@)rr:$)θI{D@t??G*A.~b1778*o-!b< 4˴/߯ilIP~ !L~|D6ÄP嫞v]mdpz2r~KVl\\\'_! 'Ȅ?1!cyPH[-[g$YHs0$+CSîBx=1}Y%㯏߳0jp5u [P]!q%=f:"tWd՜HK E'/_ѢĮְ Pw=bYK= x0 +g҈I =4u0 C_%# ;(:|UQ}n 0MZ!`tAU7x6҈9 g5m(urr_i#cQ) ?,'D1u-c`#?HǰX9-sWAq&tz^H4R^w.mˎi$&rۋe~7("/fXR5nS 09L[Wp}_(LҀ2 mxoed g<~f$jP~Z'U>N3Kmk歘`%ʮaV E ;/F6+,hpB%0AWPӛKrVם&Ptfwzz)ՁnRBfbdjN} Q0-4$@pSI.V\nD( >$ z-.{`< o4<ӛliLĆq'N [4 L<Jz_V/ۅh|zҥq?f0$߳_R V lc#v`w]٬_C/^~ߦ eE޺;H۞W8@ - 4rT,Rl"ѥ"d85պ9A]EwH`oD1BK3" aҬ֧6B[xMR9VrC{؎LT 8p$[qpBƵ9*m02[/1јcAUߚ 2*O40LmUHȶr"ˆ\`||f|Ŀte5o`lu* VZ]?|ka+7 PPydGߟoj4dO h WvהDG~$C qbWffb+/Sr7tTRj;4*WRfJkr) 5dN5Рƃ!qr|ʃծq+Mu}:XZV-%pMH#9agdmk*AKaL՛<ۏ5HA񴨷fWHLn"G”A:Tu5¸vHs 2#aL W:aj< a(N~3ɤMSL.h, ]&I gJx_ԯ;l۲=fgmŪSXb7F*:?7@ɍD|{]-6rd;'~O7%cV:R.Y,/,Eg!Ed3 plD ,$t"}pf:Jry?;.2)yX U.>Qk mОéi1vb a~׊+dY֦Jtgpp=4t}:_Yޕcn>||&uJ01~avII\t [D6H=Ak9VX4l v> uWFdt[% a]V0~`gͫbw M-!ҍM"y!1Z1 U@Z;RN8m(!u:ypvoQ3%sXearyQXrx'pA5Q8Qi6]fO`~5ԅꞿ퇉%v9G UxB}aV8G8}$IsD}|P߀;*re2[B!ϲ3aSR;Nfރ0 Q5E *"Ol[ tEYbpM7*yadHYc8Vhrr<%4zi"xDQSWTxtpbMY?!_.)tmzI5ElrOĵ64 g&nr&߫H RS~H, Q:@ssM1̭R Pg^r/9/.ijHăJ (]? KSKWOxT o6pbč.F ܇A)pt[f@cЃ:-r8(\d_ݗ~+$,DKDIȡS1مQ0)ٹ)0 ZDRz0U0WN}?@++j`OG+8cZ@p${Z.Fᢵ |u;' qOXuK-ֹMaׯ6SU˵0ns5RYZ n[.u}4'zI Bec3弸-ƗŮ`V瑉#Ս}0!S[xVd4e}2yt-Btm6ү@k•539+͞kЙ cՄ O}V?'%a5r$A{,ߟ\7]En+sٍ"ռІd%8rx92`Y'_`Y"6za@(E] `k,f ;A3D7ܯE>\g(M gO'ި* l *1E_>~}2Qbse'ȏF`7;?ˊ(.xgOȤM3F~E@jL;amM˻k/j "x8)$ `*C4㪔%7 *ʟ$šdUp`fF?%#dpUFO4hҢE'bFw{q0!߭4 aCū\Y!O![68UPF8__9bh{2!Xj,?3n-!5g0iEvxD) umOrG92pO7q`yTcXTzYu0۬q]y.7"T7%H>^E~n BwM7重D Y$<1'LZX уAK8ˢʱ Se`L@ڍu^{lsU39Me%~hEVU69!Яbrh8d\9% dto!9)ߜE~އ;Z%So0=^jƎPZME<[ KN܍$1&$sbYʢ̋ný6?6yJm88{"Ըьs%pѤ% :-t("eHS^qvdt=^!|x}4BDC'LCt6W-M {l2JތP3fud^Vxt6N{"mq}NZX^?7gWA^zR:*vJy M'vWej;V݄A.0If/.Ø٪ޘU.K^%zZ eSC#dA d>7n 裉$H!`>8. $Ju!Ƿkm} a(@Oo7]^O]t/Ǝ%:;<̛LMwbg7 /M$B`Lv݉iit)u,Z&~9?P|4jS{Borp}ムW-#f]COruG\8[(GO "gYZ 9% dComplxComplx.SeqCatch_decompdocument.tex7zXZִF! we)]A-MՋhvG"uIBm5ȢD #y ՄPpQeھ]St = ³ڊ1Ej5Pruȏ%j+0Lh+~]](>G2*L۩??.@P szKEt:P:>`Э1\4_CuƖpm>I\`md2LB^o8hSumv\Emاis@cEw=pK!UdO8k tfX5.fHbZ|j_NPU7eF֫r ߿gSn@]DIzԏejRyķf$1ѢR`Y^ a]wfEiRx%159@_h?,ȷu;^?-ؓJa\^ug, %냂'h=O[MEϧ5|D,|@j!?YPԬw5Ö!C'k֢STָx1XȤ&'1xY$?õ\Kw|pf4Z3$mUc2`OyDLܾfҒ*LQueQhfh)BxI"UNwu2pC3xfy}wh\6@ [ /{Q>X!W$IO̱${͈}u=8nv :i6Wؔuӳq\6,`iI*^"y4;X։]_ h@K0I)Aźm:%V=UCyO:-% ,ComplxComplx.OG_Syntaxdocument.tex7zXZִF! ᯳]A-MՋhvG"uIBm5n]w5zaLAG*)|L8́L-ۼbLfF;&bpWI$_II[mk,C_(Wu`k[2 [fjHS$oL<9i=È&#rʣ .*UkKl_'8.ɜά9&) )% (j4w p/$pQl)i΀:GDC M,b5d G`f囄,bWc'XQ=yJ}Jb;o6d{ u5\B:I`&wG9j Z6^:#W VSq sX 3&eSMr$.i-+D&gȵ.`7{;Sڹe8MΥ Do\5_FF2j*r13瑤CY:R[qbSjvd @3\]'b"wE<3?Cd\}QfX% ˍSO&i,o4h}Ak;)nHalO}#G^ĂK]*),6U`PU_CT]*bIY#'T.]cۅ 0 C[_VsvV#jS"ڂ"6ӟT.u\it,2O" ljX=:+ i Ye-eڻvvQ3I^B!U'+4A~OA0N䳳Qz^_F?. vOL&%Bk_/S٪BPolrGD/{#gΜǗokqKÞ|YAPs~:_ʶtLjfj5޺br$B S^vr EM񗔚NaQQkŰIȪx=.#+C\`TQ/i8(rPl7ȠC[Ĭ)SGa^;pw TFD5 k"!.2k !zu&> m}*HmҚF NmoX>P֝IcZJN0'# "46'۱ ỈL*b&f3Vv1aPp9% I\wGZA^ym~:po|5Qu1nyw8im<aUɍLӵ,],'D?Y䑒(!::USb~©(ٸ1դz̴_+pW{^ujn_, 35_B0,§>x _|Ϙ ԐI9#bU|cR.є$)x }X]9qzgO57!o"Vee]5T DBGѠ5o\z]C|ԪD|щzY5 uȸ>zITL$?](P|[[\Q`¯1mU+NL uJ.*Nje(N+I<ʹOU0D8|X:=p9n]G"0FJ3Α! OF!Kة텐kV5tp-Ci} Î30ö/:12a"emE6VخNky eS;s?/'P*.{_ e>?E  /% TComplxComplx.OG_Tacticsdocument.tex7zXZִF! Y']A-MՋhvG"uIBm5n]w5zaLAG*)TfwC)Ae>^ɵ[?,[AQd${ھ[|V9 c;އ>1J#j۵lWzyz+ܪGXM۔VObp_ 0ck}165!sy~RN(&$:"}"(j;~χVIhc֐ 1CEC8-1$}D}[FQsdϭ\jWw|r!?i瞅%fAL7dx(3{S Oh`QyCn/#%}toRfp!-i<~V/JCbEfioޙ̟4PmQIHohGjZe"+\8  E4wH)q@|ZOw& &BNˁEZ 翰Z/K)\KbZp.`,-VhtfPA Z>~P$tϷX^άa>1jl4}AWuUb/BζL00{TB=\4NP/tu}+v\uq85jzUV\`ƀڏ'`:bD*_KU 2 G EY&Aqqj%2FTtyԮ5j Ha%AV[M lk!02̈́q@~ LHtydéB>l O aAâ~Sfil9g PY n~ko\QJ ;F8Z@ngyP /_osޭaJ/(o;pQ*T<7$_sk0iY13=!t:mL,rD݁_㟮_j~%UpBdie[UPQU\Ybo0L¹UQ,B;L[oWRҭ32b VIIƯ/ ZO,N,|5C,dVCiԛ[w?mwd.:-5۫|ѴWA-)B! 5#3ƾP)?OtC)d|,mlXyd%ތERKi&<Y0E4)țYursE3\lQ^l=&ZzfEl6V}D$@} PBEæLzU+߹qБmHF+Em+=D5R/flUΜ0Qz(p%.bFNaLpwPbkk5IvbIwòqR-af1i6,YXcхj8z: aKoy& ._d#.ɏW{I ~:Cf 98>EJHds3tn2 =2{k;b_H!f!O5fy'`d4~[c2^ᙁ')f7;Av@4*Ŋ_ w0SH>?$%E)^aYV]2&uϦ|ٍm;\N_?'^Z10S1ZْF޾l`C YeAXčT%UnIDKS4K!`g@ ^4F_G5ƼL!O[,npg3MGVo exӲĜg$>|m(Kqpj 7۫CB6%V[ٽM$[jj/7,՟"[*~xg/kwRIcq .58/zs :hs I"y]OYo<;LIm;7+A0^&SAHMǞ$mxcn,_g<1|9pwA4X&"=CSI!|iXr>Ge8m ̍oCq:W);IsDڇZs;4&3G0P$Smj[H;a3[Ge+ࣼȳSA3n]%(;yu"Ε(]N\pKML :2m)z?w5SBkc SPT LmUHӢ9ܩM<#=~ ;:;geEG]TP Fk'(XMNUm6i2GqwEtKJ>?? #^!n⎦pS YA)h`+u ̇ rabꢦ{븩,tX˒]=V. cn5{5x7%PU𾹐7H`{G]ܘbmheiP\h 7maƱtC;KFHL]TaC#تMO ȇJ{,k69q&y C\.#$^|P%XOHXq@@7t~%T?O@ND+i&CM88Z|ț a?jWkʂ6\^*l/v: B/l@ FC!],Ä,E+CL%5"#p6h#i Mxhfa6N|W٢gL[ K6)ľ2eq ^8f X3pNmRtZX2TeZRKaK&Y3 B+S:߮b;0"Kv=CҜ^#(xdo玬HGNgVfe=TtI}m\7V%o؏{rFfOI:B_SoIn`WX 7TwJFEcG*iX98UЫmT5]km{DL&JپYfm A$АT, 2{:wȕBBt&?gZ3$NC(F{1u~#^HT [l=+ʰd o q1e `! |lE:H$*%R|G=x#jQq\EYu2}Ǿ/KϤ9/V^!!{>2'(Yj47.}8{k1"K; sV'Qtug)kG"AѸ4&Sn$+D\exwl{^E)0Oj4 (Mc$֐WgDE$xj%)B'ٲ^TđXkOMI {_xD0OMBuI3;QSJHၡx<8\b}>|Fo/Q/hk8Й ~EgnWtٴa5;A ȜYlOn1No9~Am&@ AlNKh>oÙei/!<GE 3YbTYH{H;ɞ8xi@i"L@ 8-1N h@+j28pAP ".i;3ĸG\f>,|0`h<fLVBtс'tFS=:.*,F(O\y YAk-Sp !<Ϧ#ԙlIUu_!SybEt ji)Fzw{,a iwoZ`&z%q0S&0k@}|yž5o&q5̿((W*"!dJ "G|DZ7kO̧pZ0ٷ<I0ySN?O)B߮}5bB=NN ⊠ٖ!{M[Sg器FY=o`ލ_jo7 [1ohv~#(/A2l=;LWY'8pݐ"Nĝ5{LES7>E6q&QoGd/уEcu$(>6ǑuG32|x]b[+*iѠ@3xd)2\ʌZWBOjоuz fIG$\ۨ[^>݉y MZXeWh$!zWKqVIm=g9We8/kzIZ#Q n>!Khbm(_ovұ~9Ef?[sFj;߃p"!LzxG?#b֞rȦ ʢIKc+?m+3\0hN$?Ujp#B{U68'ͧ5~ps^u/%E2&zMfeo#c.j@ا \zԜBQjvOmy#Y9)L|oڋKЇBȋ>% N(5,[%%~H^H[d{>kOa Dl0l ~!,NJ U$z^6:E|uN`w<+L t`zYr_JB^2w - # 4@nC,WS2r\Picɪx3 h\98ݐ Ec`()cxB6*-N`̸=ʥӛI#h($7ZB N׼e1{fѠԟk#2 +% LComplxComplx.OG_Hoaredocument.tex7zXZִF! W]A-MՋhvG"uIBm5n]w5zaLAG*) ǔd0 Ճo$9z0RI!}I$bPIޅ|Ce~ᾧBҦtPSB[p6+jk$%ϻ̶^-odx6b_ r"A  -jenعk?;BB͙:,NXzʍ_ˋMi|hUc؛/,|±}@%34VN[nvbX$m['Rj}Rc't&[KzYM {I?ވ)r[-%3tT9AT-s/E*L7;SXo"Ԛ*;"oe'& RĒ!) '% TComplxComplx.SumArrdocument.tex7zXZִF! >j#]A-MՋhvG"uIBm5Ȫk#0y!waeHy}{s)ϐ@8_jU ]]FZ cC¿8q&jce//OTcv]KbvTCp_F HnwĹnD pV ௧tH! w =t<͋g UK @R{Otdjl-/.lo&J tR@@aLb2s6tQm&g\Tf^&v'` VJg&| ;;@r@=$5@RBULh {R3>Eo23d6{y'=4 9ΠoаӁYZ 840WU#'q){.6UP6ZIY\C;~0 N',29%awwФ4c`#ԭK]Ţ@4RV-/Dv`)b\@HN'Van)ҝ%F-l5+W]VDn$|hS@GR;P^ݣ~Rgb'=AujuzYM<^pry@\(qh-CjGjIz,r M(sCC{2a){^m]_c0 @gs;(6 7;F[/GuV 1:`޲U;挨f|3eS95MƔD/5s_QYճ7g*jW3THqm4޴r!9y-^Bj4y)4lVZ32W咢o^ <9z;`AƯlpʮ]Z)Zf[ (/# >jW}F@=p$q5c ?Aţə=X79$s(ptZ-XC?u~FgMy?RwB,cg"~ uN10s{uW+b`Lk&܋E♵ހyfO[״._{`Τָ*<[M_I28S]50b.+,f{_/i,x‡yRZ A\]kKܣ~Y5f(tM@TH)ʲCxG(fHW @(]).J 0Ŀg=yثt薊y( Ir^w`Ҟ !W\Z.łnUj5,Ҷ{'zLsxC"p`&?#{\yKpl}8:ib5dnn :rhΠEFϵ_ lk:{Cn1Ođltr?Lb򾿶nO}uG3FHM55-N`J/S`HvtY7!TH8pl5*DA8@>)Qb(Ͷt ot(d3fTyHLB.C S [s+/-L5#QLEMdw~C,m=TL\8LqM8>Gocڪ)KA\bC$TLgP(- *GǨ3,ӷs+w}MU}r^s^]B`ӎB(G7hAt{6Dq> fטI@ASt{x*z )h☡i"CZ4n! aTޮ \TqPpf#K*͏)v[5o]g,Y/`$B-t\NQv0' s6y9ñEGwyA>ūTDMi:=xqXH,:Gń27Wn߶kҞa :?@Q3Y_0A]GfL6dQ96C׺7úAkA YqМ]U'*-ʰ5uMxo[hRs9&Q4@ƻB:ܶpK},/[U6 @az Ioed!o3Jዜ"wݞS$:EeW*0F^^jZO~H/94\Uc, KO|%sϡ2y0GKQEcEk XcG'%+;}3o 3pX(ȰA{9p/h |źڿ[XܭO)tsWɦG՚"GY.uskcqPV1ADtFJov(Ody@yR T&S3DZ.GxA$1-zTctu9Ϙ컚u\J89f݄֙u*m/-s gt6! pD8\<+6 cPX,r^[6bAݞ;\%bL+*pS 4.-j뵏R7UˤFh{r4&Ό HLXGG;U ;ia旡(ZЪ^&"ͻ "$^4HC,KD]UW;ەM~d/+jXK6UXZH`↱4:L 7i"QЗ$> ?GZДFW )*rDհU THwCVgdÀ(jHoAz3:CV(HNs~23HGQ 5b1OC`f6.LB(=p)G%S]:N|B5?IH5Re7o46epp#' Ёl/F7yWe@l^`G)mLSc:4(+Ц+j=-*sB}\ES W{0J76s^QH6zBJקkʊT t5VYScIP2C)=X!A RjO,AlIVJ[nu#^&]hӛ8@ gaᯊ{,TM zAe;ۏ1H5 DT9/0ĺ텂grZ44w#ވ7 1bbPuiiΏ" =u_c]-6;X*^9)e$%Ħ&aL׳ƿSGr;tk:bJ@7Ah!)k%#Iѽ]Xoze[Tc]؝DsmlFJ׳hk )67q(ˎrbOQ?ߖHDl}洮/PBbuV|u*{rOTv"z,IC[wtfxRbGA"4KqF 7# $ޔfF/Wu&`pP:oH_.8>ji]y|הDoȚɐ>>NL\ 0 -)yFI$Y)7Q 7/Yb "x|wNYn8!Nj ~NL` ]EU7әk$ XTot5I Ŵ zSDx RڨԦd[qAbߪ{fxl sNx!Hcn7z3 uUi@ͅ_{>Ww#7%:$F27{lfe~%Ш&0! bCG ]ΑQJyP݁8@9=[$1ɢ3mSo"m}gAQ.ynPXZChx[Ŗ 1)UJ/8I~U JO:T?Tx+~c J;3 ˖>D* 5OQR-k&'aKi&ZL;k+``8* YRm$Pvk07Οdaw9h_}x󉒫4m%%(S==%rNg$0 vЖCKz 5U0rW 7ރ/l]a1ܔ 9}a\ %29DהCQ&nXOήA}$hb?;.R#؊S#Du.ަx"ACtx7L) lne]/;E0<Ԯ I?/2Hť!m m$`F#FE{9IѪ~Y}BH0k S-HT){dO͞HJ70%1H 4=o%ϻ)XX\җ0p FR"K^ Z/hCCNv6Hm5! VR/ KGuWGjR|7D^z:6RݣUpl*IEL @wn7NM4?lQ۪PV[4&^lWn)%Bݴ_S³Zm.>@Pb)c>}Qu2$ݾ\+'MB sjj:Y~2J3?rzL{e5H{10(9P1V4lj$`$$^ QWs\֕ ;z>jknvO5f%Z{_ǽӓ$̯Z@I-:l,_/FA4XNw״#iziEiZCMj3d%uoչsLfxy0t4$*L%o~H59L43nUkj ޸< |e\# KdpŸ ؤ),K 0J؝,=gw՟_V 6p*[wQR2WP4m{>vFY5>=hXeLH2Q~nmףu!{^al4j[16.;- #Nr}W1TXM|8 0%d4 L3(ZuP r~\y-0GKu.*Lq(2i28ʹd*.kzlgXD䂩W; 1]v9S%SNskk+6"03D!/o;"k>lx-V?$BcqaU7C޼4rNPIyOA$\W:(ZL@iƠz N\Q$qȀ܁W0 Y)eAdNkAk!6{*nD09ӘV<]x Бic%p?|z ?Ga'{{b=$#.E'?+dwNGk6 ʺ] \*ejk\ q# ܁E$;!-\WAd~nm8,P֬Z%qͱFH:`<~᝽ ȅXYQK0trZ/UoO}MI،:!i&3U^Z*"( j#9x//Ó^|ì{Y*Ss+B(W]lX8g>|Lju+դMX8Q^SŶlWsK|x >-a[m?1k΅9c.Ѱ6(m:^);_%Ќ 1!CK܁(] |yS{įu EeŠDrZߌZ&~sZ+(DSt_1IxtvDI =1kWxa߂*2%QNp@r̵y#H^bO9 ;<4 NPIZ/h Io0fVSzI#lU@6S|Ab$=bW6MM!݅8s,) n;(ݴ?.=vٻdN & 34N(1 f Sk^)3VR9mJ?4$ \ c@+.(~CZ0 bi8D$,/GK"8l!X^ɕ:uo&/BrHTypؓa?!K۸΁L\t$5!VqfۃIj1A%w4{a1Ƨ%0#FF \;zn P gޞkNH@hfkZ Z48]__ٌpDBJO(6DiPQDj|gfiY/r6@!hbT*0&!r7'r/ V#=f5[ zhY5MsWԦ,|)&0G|sYB^I2?=Rz%<\tX6=5EN>|>'@y?y;3CAPL܁@>=w BS0QgYZ 7% TComplxComplx.OG_Annotationsdocument.tex7zXZִF! . ]A-MՋhvG"uIBm5n]w5zaLAG*)Cv/eD[jn/z٬}!SִsrR[6O9%$TT.bhz#gBeG2%|JNj i 'L?*MtHB_d[1VT: y\hs Z7힯S شic Th9 uqR~o܌ 6, V {|L{4HH{s#މ"_P%tߠHW}-Դ9ۖmf><&eDح;~#B]]7(5yH|8`qP&k\j<͵e!D}m6`q$N&0yhTUKWَhR(U?iUxxu.G_Z?_#tvcy31ޛ])ieU և>c"_L Cu$XfǬ$*Ή7dJI(D,9Ca2%p"Ka?IZ`@|)C1Wt^,VsJ;LZZD}p61חw}P"t޳k|?4ؓƵS&Xc8r,O=~!}w :A'd8aߞ 2J}иdbFWۛ/PXc~q9#30g3PFwP~,+6/ SP3˺ھ0 L#6Bߊ0krKuZOR_b%&x볕aa6??|3=O'1TkK[>&GKlOSK/6ﶰڄ;IrbqPnV4Szoۧ_lm%~^2%ڎsD в93V5̐m3>وG`L.s< ,lei-UlS(iLR{7'轵-ڕ.}8q7שk\mסkz0\2F&ekfkAwj9ߎaI5t۽GljƓ;"mc1—B:$[sRnNQXsyNzʯ,>"tzV\gBYWASvՅrd Nn_r]qČli>[Ŋ z a Y]?% Ⱥ]N͹mútђb0POO*vV0SPY&{XۤKiOֆ\=޿XO;S^gYZ +% lComplxComplx.Languagedocument.tex7zXZִF! m ]A-MՋhvG"uIBm5^mN:EܹrioC\7ayυ T{&HE;/_},62r{U]쉣aSoS;z)!HejtJ8s5UdC  iz.yH%+!)@7r)榐BD`^@AN~pOv-=^1Eq * ׮vTw5Dgzǹ؅> @Y9÷> aS0󟧓@Sy- )L0ZS1I xzD<^5yH$r.:Pdcj8N^-2/:-Poĥ܊nW⛯(#,Rzf`naxNП| (I_tj1ȏ'DW3D5\/b+X!^)kiKjz3@\˜t GզbMͯ0Oc&\/ZT{X5buR߀-Nsٕ rPЍ[%œjPՆ۠D)YL|S\v˼lEk->1UPv}׍99g8yM 8_-1YK+pjJzjwx&EYw>.wIZ֎IyCZE6~wAm:1aOa6-{޴4nfR"\D0d_345ⷒGe%eB vv!xK(цYfY­MRC [o+aKs]vմd2uoY N>bǒ E *kXRn!!%,q@Αm#@zh< 15OT޿NXk CWm?[=WU fׁ>IDZ; f.E`IQ9q|@/[[| di`?zwF{m`O=8:- FbX^-,BG1- )NcV_gX4 ! prtcCdL?)__T}5@ä0ouȞq*{TN5=Ȟ_#OBJfi.pxxgD)ڛ/#\A9gtk°,l4VzBI'B~Ie' ΞUB Y.rnO?M S<l-`悞S2樔* F8Aʙ cި̺'O9ߏ* L)J=a?V<+ ԍ܏>e1,I RqI\D{Y'u{ Od6U> h 4Ѵ;+O0ƭ2=oQSu왖JDu̎c^ o+vҰ4wQ]Sޯ4"2g=G3p)suTZ@ 3K0fUI~pHmbL/?vVzvJj3(`W6)^Ҡh;GbG/\xyWx0$U~3ָPߵ;uAOKAFƒu8ezC`\;o Os*uhALaY^īt HqLIӄ뫄qLBƥ]]m: 9ZWINZ:n6:U^ I@f4e}ձf :CtӾ i1 Bڞ18#7+@%(u.B> o~x)zyn.5Rd !C Q[m]wlP->eԦ**y8kqf&^ף monb <IkIeU%W\&Vx*3ѹ>QjؽJr&=uJZQV R;Wܟ/ǐ7P4㱶TntDk5t3幦_O?1+9%@Cdg(q6e&@*[%9}' ?EP&ʧ;Dn c u)].Ǩ';U,'9rpXl#?KC"eޣ8"Mt~p"">sFrx~4꺵fU(T##|A>@3Zw^)ZTCB{Sd~×j7~~}Z)}vc+CȩB& W:|e!4]Rh뚌ZS G͞}\9$N-߿K&U14X~ H\^4CR O_eˉ4SgxZn4~/E;lA`T@i4tp^i ð6GI×Fyk37$-ĺqZvM`=[SJSb;}0MJ^=-eEW8L"b:\/L1(0n-ZF{p3[ 4L6XNsג1vCu0 ~Z 4|ޮs+=%~7/YrA2Z6ӲBT l4tTFRi9Zk#VT(TXRNc5QD飿jƉ.n=S#L;lf.ODk3EFMU hO٨Kj(}i.dVC\r[#AH1HO81=/;z.Vu{'Vymy*6 1ji 󗒇۳FmjPr7Q,/M>鵫mmU4͠5BeBnkOPsrb70TΝ_ۘ-gYZ `PFUC7*vBZn'mS(61 ]sYLr"6C_WV?K0} ئ"? F^i`y8nh`aapG*iir"k)I pΠ7"{PY,<)Wf>*r*5>*z Xu,}eP{67RxW%f,]m{=@J@A"pm pW>Dg8Lik®p'E^qڨʠ۝\]%EBBJCu0$ȇWҕX.x,m/i;2ui̘JJ<{?EǼI{2"rSl8R,*Y[EEς,[T `E /@÷Y.a0|;hm{;A`?X:q&x4&UqyP&@<) k*2)#?0Z|GoHC70ЌbK0u\ENPjc:I$9#ZnL$73 tp#K bͺ|}\aŕie~Xjhz̢(_2OwC0V#(2ͱvf |~ wddsF“GWSOӀ, yL Sl'mT@9t#hXXgGPo^xzP3h$ tigt"tKIsE a׼Q\j\mgWZg X3+@aiw6NbjcIs82,WDj$~vÿT@?[X]{H;O2;/UL ΘS# \^.UgO('/ OTO܍c_?媺 }[g_.}MN7L;R(']Ro|Y-)>‘]ǿ|}+_Ί+T)nYo=J'aū180!m j=7!-{=Ë<&Qn3Ū%V-r_W:ՂNh&Og+3o(dA,$~']JݾI݆3sJh́8m ewj:=:OFQ-H fC_x(C`b:+%$ e 1E10k^%}-$v>۽g@$ ʛ[$PJddP[úzW2OJ؜^n蛛@P$KgFx3n. k;pe"9wE:#+n;R>ɳ8jF4|HxN9Sfli|L gz  A[,Zw#wbYppeלCպ5Phh6Jgd-)k6YI<w ,~D͒pI<x!N)n^ K-|yQE=L7u=X=$@~%7/ͼ̛fխ4@ ~ B*J݄5b2(yʗmN[o# 'g#^)l"BS ,̏K»lvv=$r   *]׵n9oeHgelTUEs3qibnj??Z=n N'XlvbFw0%-_"/d tYi!h+{ Jykk▥f_.rf6=GO__ͅsS2rBcE`r6UETVM6N8V$4MYIUyϞp|%ee0T2r渟}w) z|Zw"q#d8~i ,ca@ o}Z!;y`t䗂Gg+ȶxyv{#p7 lXx ؿդ!ijqIF_aW$7IA6Oze(|x@BYxdOA|k<ɰHʄz+-` mF .V$2RpQ5ۿ^,֬ɑыek&)yR!/)-[tKs3K!?z=/.dm5 ІLbZ[6x3q6X֤o:L}#b2.+;\;}B[ le4&ZOjDRSG[VbJ^aF)GprX&bIbEMj90xU3i\=aGRSAX<|}Wq%aB2L]vD}fM_WFBA0wd˴dܮY7>}ȷ>N9r!Ey`R- D9ТF(7۬0`URɾKL둊d8/JH59M͈ظ?fIRiå ;Pq6:Ǚ3jAVT =:6A\<g{WH8"mF/ ]ye҆6xlC7ƺ2 dE93 }yĺYmӇ{s9O^y@@V .u!d\hAwxRO*-FsVͫ`ސ2 3Pv uX*|Q{Av 8;vޯV0wRKc'5{ñ7aĦ\nv5Ƙj"reIN{fi^۪T<3 xy Hu% 19b|][ӒuȨtkz0 dv;VPgk$iȏp6N[ߠ*uh'=tt,ʚotrBE}WȬq'|{A7/F֍S2GTndtgY`T/D5ԍU"278&itAfH$7UF .N/nz08vhm qGt%O<b'X@p&b'"`*,g(R&+f݃ &_pQmZ|wq͠@uZU^{2[I(ai'Njqѹ,PfUx+8Q"v NO'_\*Pծ3o(գ>>51$r5%>9XG:3 zeċt B{H%;s2 r/@_i tڒnq%WH.0YQXJB+hl-'x>gYZ  -% tComplxComplx.SmallStepdocument.tex7zXZִF! >t]A-MՋhvG"uIBm5ȦI%|x'FwinNPXW$Ep~V_^涀! ] 2?e@}ܾt$ǶJTС۟g(mtnr̓5ayM$ӟatٸA`30vkpKDBp3:&ܚs`VrA4ES:3 r4\0Z}7#17^-Y ډ~q,oȷ0XOl 3\8~!1Lc (OjE. [^ӏ"?! `qXΑLEHդSUnKP%<04KvXqU5(%\w)9mЁcH+Iψ+u./!z*TTH?Z!ꞽ.*6{ ͐}=Bz(&ݹ4qh89梇Rk8UQ.F7M}ޖA3rX>ڡr8h?0C+Ţ84?S>8c7 t^u%6P)b!@ b &p} 3hҪ˔m[*.ij H~jRΠpA?s'j0c͏UtbeoI e?¶3A0 ?FlN\4.D*-a\$څzl$VW>yuɋ*Q| F)eu 26CRLT6M}>"CPk\ GJXm<:A{ۺb}]10_v췒[Eօ_sVW3@0^_/AxtE3Cd?{JyV1EĉYƴ]}eMu$`N6]U 'O;H[:< nK0SZ,ZީIM/Ԙ?e2sH[B o"C_;)`,l'FŪE#ZaM-&hjFy9u:fj[A4d1:d2LpAonRndPy_Ez>2Vj$XV)%i& ^3<Tb} <֊(9D3ܴǡ|U£Y ?x E@1e|ElHr5Mb\2e&&X!e+wei2Sm3Ϡvfo7V;k:h3CB #g_a c8Ra8E^8 $*=[ 8^ ]egm6.-ʋ"<&ēٲ,U_LUT/Ox|5sY,٫{L&t^oKO2pg#'ty,^ ;kKҍl7ȍ@|ˆ}IzwBwTYJnE{J;AyB<%Ҳ51'$Ax8q=x|-hevOScNϓ^q)9G/ Lp40=aVKzNq:'~  rMU@\VGzmZ]Yc7Vr]1_BlCu~_o x |Kp)&#zy-4EN+tM{Eº燣jļn{%7-&,TX_LߌuAHx_|-((CJ)'Ƭ·}xNG~'{+62`,IdYFFN05g55xt6_3~Yƭcop|/taײm.L'|$W ME %>*rB c@zSEυ. ǣC`]YK7 s]V XHco 鬾 $[XeNi6aO1N5הϦ:߰"*d(>AP8F4  D{ wbFxARYx̕ԤCS|@&Yѥj`%AlQ,~ޒ4k@^;|I!kt*ԗ ]`;R1("ӔԶ4ū`dM3@E^%~R#X) v›RQ)h Ljd[3ɾsmY8ʪqH"y_X~6eV4,M}c9U )3=rYDwF2ˤͦ|=[Lե{fo+e >0~nU4L߼-ȏ3*4 GVb}Γ H+5p]MvL.VDtXNrgěcppcNB AQ_q/Jm/+c]SBY2:?ZeQCmp)r 8">csXhn?[~ r[ OOua)q2q ʐTW F[XBXHvkYT$UW\0diCG%zj+qH]C|O+N8=,8VW vXHV;/ R\FuBjM:1d z#Q^QrV o1nݖ!=#ٚ.^C4 YF${Zxb͠F/ݚ$g>>aHI~ БAfXJb=-Qy.' `b`Q`etZސ!|`%鍿, k!͜Փ5_g1iȵOち@VV zͺNjgGӻOȤ: )w/ހr;e*6}MMCQĔ;>+ƗvkFEFQ"Tg%${ S x=VS )DUهSyשnPHuJǡд9a(Cǔt,$fk4J֓ߡLޅ1gg#4ˀ#~ g0v)Q3(<\ͻI$ۖb e&O'SUׯXن= 0_cO$WO-IQO:YI?bvɣ<{ >;TK ^gƱ"$?RH)}ַ/}UV Xí ':nrA|wCxkL$Mk8+Ke,Vw 뙞 $(dju G6Mx!ȥO'$WKPwPnW緿r&f}xdI1XRu,)&0늬i_NݎEIWa㿴DZ9J܀-PT6qΡ@8VgKzqpUzJi fz%SgR}!~}/+_u" :-nt$E HeP0*BÐ ;)uoreєX[/B%^pƮ'\cm[[ (ѯ?KoH _M|v:Ksγ[mkG 1Ɏ}LDY  rB3zSMaqTlD嬨U],GI!>7huMc(,Ml&=l-j@VMl=tXA%8)*09ѯ4ڙʍaOWg>rm>`Qz:] G tAP c6rk!kZ 7$FH+4~#XYT-r&/•v u=V[04/u.ZB|.ˀxBmЁa1~.S0`55Ҫbgo4!|3~[&^^"!A20V {z]tamɢrIۈPψ`.h|Hk>uS%{P"/EhuIل *RF4j++6E[҆B'T-f-ؐkY" IU䊆2;yu7J;P߶Hª1anQ~L\{!rQx>S]H.0YFƠȘ XI 1}#]Yw 52{Ԏum:ՀGU;')K{~i[V8qF)WB.ɬP]~j3]݌crNV$~VbFx6ySk՚ 'Am̛ա/%k'eѠ!+At\YА 7.g]vz]=Fʰۏ@!EK6m݆7!8~\Lyy%UFME h*[zٷ[72M`3v1M&YmNҀa }KVQTEϵ42£NHZ½9p ;ݾ037Lma~*&ˆrzC2>5Cى̰۫z2+S{Ry,ECH391kWGaWg[~.YMi/hA޾=%?aJAH}4d񖿨K&?$BE:HW ܹr}Zf -N,K:9l^YgHw8?v.)"CnWڊ}&ٵP$.9)3þr,QA* C \z'Q~  {oC~lA:M@Z02=r2pӏ^V(4 "=YYd9XAA]uf] .&{ νՂ|lj2(Ʈ ~Q:_֤`z/ɛ; P߽4$hOY;kܠ) ٧-O +kgYDrtAf*HȔc5lK΀ۧqT}-`qRw!g eݹ0-qXYW5_=O2VX'Rp+=/'B\'y8LA ?~v'?y~S&bBh+p*S7{; @@1\Jin qZ=? NLwCG -%Tg^*'~fYaܫPVktL B!j D'Ous?J۠]HSf?廝grhv[ǀt.rڃ:CE"9'݌NBBB5^͂AoXm6oq٧P(\'懪Z^(eN(qɮnfh~WACȨ>@Jygx4bd4BlZ%Վ_|%oD8z(n:KR|m~Z&`l,{vN*(naR1'biy~e\d BHfH\%9aI٧t`?eW5\W=3&x+ʫ:4>;@p)NZ,?U(W,{H4I}S:ϧ;Ӄ3/3̣{w[NiN,!zZy ~~DlmGwoi3h=q t4+AҽLtmH:뢴TՠYsd>F,OߩeLwR\vb!D5>K|Fբ-q{&My/<)lЋNt/$gcWq rý0I l4khum`uR.PA3ki^,Y!O 򡟹ŕ~ Va_ȣw;M/#VƕUjR2G .op)\g)ƏYjC^fOrunLg8 W647{&eyx`j qTj3~MYm gKR..$6~*`2J}Hcx;9E ,W#܂'Z0vF[zװ@][s%hZ|灼A٣0 vqD@YQ9Ahͽo wlaSKvvv:fKq$A+Ѐ .-;+;ufiGI4 ˱|_x?aUGֶ[ʀtȇaUEbAtI-#@{9X>! %‰NQ"MZz-g*vC=ޛ'/|/zO?ؘd6n<lpI/N.-@ST1 Bb&ܒ<kyk&qooM&}TIwu]ַїy[N:NnIݱJ`#5܎[L;s!˂1mKgOu'^Yg <~~#A.Q_#?=7fcd[ؔo~t%liSڞqKL6ZW֯H\C"ohRNCژI ߌԯiЉb;MiO:uE7`SN$lj|[>8(q[v:)Nu%b=ֳT_*A:s#ӛvY6G%e*a1khZ6_T-DŽσ\v$ NsC+5SX?O kAkPp,UĦ>w[o]lwʥ;Ene@/~P pZOԑnr[?}I >mqc<#P pJT($yu7FaXW1]},_S~O`nuiX6mCMѸ2IùFrsG? wuy4=ۅtDjmź?Z9阾]>O3F ln[36[iz7'YcvIxN2@ Uy,LRB 6MM4a'64,C=.wve 6`*RF7wqJV5e҇:EIH{Z~E"6r܃Aԥ*Ga՗"Tzאn@bK;rH`a^hz c(cU(%%MeߨǫL"nb]vʏ+GnKDH_ώF0|TX5xl^;դwn }l#Ie +Cܓ!0Wn2J!^!qBgCj|J}a\`G]iZCxz6@0kMv>b9~Vx.x[Q+>s}2Woڑ?yS8}Y 8Ι9˩'"ZiE%>F:{vK+ % Ԋ'یFYjo䜊I']CyS4E%` %zH#7LijUFEah( yMlmOǃ&=@ &Vsa%SjrʊO7LBj$]tΩt}/Uu]^DiĢMu=0?_]~6Ahcp_ShU ߻N|4AP7\ӷ;ʓ2yEaEyqVg봍`" yai,p2!JxN',(oҒi69m<9>c.*l__>G>PCn0 s۠{%>;]*)66gs6~Ĉ9L gvۈEQpm;Ba׷6 yw ヺD!rӉQcSF`te,[kz IlBc+K-]#Y$t Š4G̲jYtNEl94e_̳m$G 'rRr{w.cKcL#$A.WLز+P,ۜ6xepi{m,Ζת/&&Ѐ4ĦA6F ӋPi웰ūK@1]SJ΀c)(b~K@yl$+ZLnHQݶ +eSs-{g~e9<+ {ăQ F_xD]%0bX@${1l߹; ɰCЕh;Tu?Rջ :u,O?:uD44I 'OfRwN./ UlHXF  NMM=EG81? WmT!f g6]͞mWSXað&یNz]IIr/;[$ZT;C NζH:']=d~b|s(uTX9c+p&e5NBx6xhBz?7 rYB+^Xk/,r[tB Ll3 qywJeG( 2T޼_ . :V!逕 AuF@q0&9SiI>83.asYJLIY"IEZ:W,ֲyַkn4 7:pLrC$JEc;n"8K|17M $"Eє+ ]. Pyڠ\꧲ F\=a&5p ǐ &C:K[1t3bDSqHC .Ӑ@%0K=v`?٠vvLREYÉsI=ʓuW+jάUB 2}I= ol۬6Lpt(`xk&PB 3r)zWԶC~Voa!3▀6ُMz;+7$ ZtalX  AnG`:ՌGͽ]:;n %τ W̤YGR\?9+h'F5W$v!r1x罗킌ֲl[`)pZunc'LYj?MM2)e4]^"WaA3!eӶҔa,(?p1۪ jKPdwD_L3=@D3@447}tcP^Oz~.$4ϟGB@dj&6z:q"D ~p.{KY"/4=,)ywcGhk ~DwE-)A6,LIvE $-Zk$mn.wƼwgmcSmW$ua+Udtiu{S#H}W UN3Hx)XE)m(|jа(ϱ,BE(X?̕=絤k6 !͙AOA рH,D`{vm|>"@CLmq+a$XW9f)ݹLbZ] O$ |N*⫨ Ҷ#Λo'&=Uײ W{YJK!9\Ug%U5q@ * e(9qP%kCh{!au)L#q?v}w?\ ߤ[5Rˁ~nE- q}vwUR^EuFLck)0LpǥZnUԗ'~KV_h#=5MMD$OdR.r18ؼ0sڽ132~*#x 2!lqY晽dynK;<թWZ_eG3|ݻ|fz/}@9NOUj%rl]G#>c_1x[?BLVPM;IC'REy_: c8nc Xo'gV7 Z"4mP_GɸJNȫ!CY+k\3AȧB/-[ߦVtC''fݺx(@f@GfRhl,'Obæ*2DRR)ŘK"X^fi4-k=SSuvIƩZ Ӓ96|T1X| (倚*J6 '?6V"Æ"Ϣf}·lx 294]Yld/.E/toIJt`b4y H3QIKX:HQDtq!qi9}v.Bqn pa./z  [`@7Wtlm_(zpgJ\[y(lDimZ/Cw"yYL|} hM80*Y5ZT͎GqWWQnͯǂ06Г cg6"g׸=+gf-X̹G{-9l3/UW,tBhVi$EؤF d( ˜x}YxL\Dwk+ΰ; Kj3hP&WF@ϸ@` ;Bk$=?H*d wkQaSڻA%#dN_@Y\+݋ E$4nOu+zjJןv'5,"Gn;88"Yet4Re֏%6ѳb3Q*y8'ی;Ŵ Z3o|'4"YW DWr0o~=  h0J5=%C,o?Cא}Ic:J),/Ƌv IWy9SXjѶ{01[q'[6 f{S@ d͖쌩nR8#'ҩ`[9f\V*]ӉV [i~-I]\(&g.{uK>}Dž,0e}6+ ʳLsI}G4ݝհL_#fga>h,.q IE47O-@5Čy˱xRn+'M!x@"9j~OZ#e܀`7}.F0Z2`ȑ;tazu^Քб>6n *^9$PSkG q؍A0gYZ vvr 3% ComplxComplx.OG_Soundnessdocument.tex7zXZִF! K]A-MՋhvG"uIBm5n]w5zaLAG*)|͸T4*jb]Iv G}vBz,Y>}d'.?LM*eQ0@:Ux%B=oy~3SC;pgQ.V+o+]kWiN+o629rȠQ4Ƒ(dAV"\F̡(Rm ]= e RT@x獫۶"ZZC3L7pG"]&i.zJK_pu6xb,+MzUvtxS4b!z|MWOi_Sl,|54/b`*i؀jUِPU‡4Fѣ;Ee_s9U&͎Ng TtQZhܟ%SgU>遘'膝6x*N2wYRԆp7Q%ʭiׁ񽼓Z;#G͑b|-Zޚz瘶ϥVGd}]&ǁ3˃Je`jWuxѠXy@" >kXO$ $0ܖyFhrBd]O:~'%QvjY']*BVFML[,C_~9 {tr^e`v!?soYƒ w)€V9H`; c.LY (o0Ւx<=5G@ H)r:&o\0)BqCg.NjΊ w25Io,"D,k%iHV+ uayRT5r 'ks8z+!Ve(+w]8:vO[io $8uxyŒQ-&l"%H|LBNEvҵSqTn0Y?A E%ѴAէhc7eEԟhN<+RB8gGĐW3Ӈ*ʆcUTOK/d4P"wK }fWg'𾌋NCN, Bc%pJ74¼M9\d_n lXTB5繽bʴPK ^7}[G" CnbW("veֿSHgj7DR 0Hf^׿jEt.Qe\97c+ q<8^U?VCdфP\){*R340k!!.'Jy7Z&$8*܉$UfXZv4^,f9GVQ7 #VR9myȱh$I]ZI$0Aߊ:It( Q@<jLW%!PX%F IpyOˡO. NBM~Y\_I4u!Rz%3"n8'GqCW _zL -氆$v^PZG?ՐfcrSQo<5ˢe-yT͏w.m[ [:%HL]A/~퓐fbĮY*%$s]5iog\dcʾY[l~D)[2scеgt5xgPGH]i+' WEdqîҹdO`c146gR+R7+l\ W jg,\+@fKR|Wgft c.*_I҈cմت ugMқbʐ¸K. 4 1#|ZOFWQk)-ʵ{$MxУ?T YHuq'…hT2SG],> h<~zKF#6Ȱ '2d: TDz W4+ݱP}n/8~'pa24r5`MM}$񸒘￯}_w$H =jU< ]FɴJ 7j`YϔZL-P.m./@f;Of+E(\:pxCԐ2%c: ycZrؽU[$y ߾<9H&|$ o~ccGLfBeQK=&f$0| `n1+'^ O nnoZ/#&)Y`J?vWh+rR|p9N)fB޲%Oha@{5 hxCݵ.y#숿X5n)dnk!ʤ+zLJVʏ`5JkBp,FB)Yi+噖7< Dm$0)O1==m.Q;! + (b# {Z7݀ݛH q/s1r85̀)FTjHtچ8 CQߣK Kxa.'Ahem_c E b| 0J~;g2-` ʢn iYL:;㹢FCq+sJZ: 'l`|/ykװYUWG+Eي|T ;4AG3hyLJtnfeſj05ys4-хN5+C_k b߅,I JT܎ 9[+ ]#Y/A4sFQ >:\i_rZG0 .pnUh,pG{ٸR3Hs?Nc# i$^S'MJH#+PRbѡN4$r@SY`Nd*AKZ` ~]!vlv< ӌv}{ЎC@eҭ;#O/yVeյ~sQU4g?{' J-L5fL U8)&?*N>Ei+"V UjhͯC`<+3<  { =dp$bA-NDI?ÉZJVڒ7A4hi.{$H&^uƭꖸCNHUɍ >nEO5i4xz۲@zDE THچR@}#H"ЦjmKO!s$_XaA, 6|G~Y^6cG]}eJ'liՂea YBY/`v le층2zD3{|Whsw|Zgwp:}@ g;5JH246KUGqv<[?Ŭ|i~oE )e\2XX^ru_?)|Sr*_:Qc.&c)$ۄU Ja1 G&Y,NRY Ks NJxS73YQI3`:.THJ =B㸄Iot 3h(j@ 0ѰZ8!dUԅ;dL̒ ( L6H{؞Ƚ^?&Q0 V-2ֵU-߼;BD13"ޡ~tMVksHΌ s?e5k~ul=U=UzssF;8DTP$nvZ)D޳W5늁T|+QCPY1(6 J̇ݔeC 'Ik!q7%f=nW14azd οaWӅ65fXP/B`W [}ǭʜ/h1uXǐ:ڪ ZzA9YZiJ9p-n _eܫ J[r-h<@;p'~Ó_jP1*wtg<8|j̧&3a '&RF\>S?:ymu,8qCS1S$lf]Xxvoz- )Go' 4d_HX1~,$g:>sleE.=2[ og.T+=[+?}SĠ!kaQF**[OjǹeZ~9ɼ6vU-nj@KP+&]VKY5,`w{LY؜9nA\ wmPunc;W;%g Ge)~W"-; $H) vc {^17|_9'&llf}ϯvnQgZ6R꠴d55%"`N`și ue6?OZj#} 6fc91#KCGT nWI"xab,{CIM)@Fφ5_nU}[L[vE'Zh)Ҍs*+P\~J˖jSP-eUь"ܧe*:ZJA94"۾ hlcRLk!#?'% `s=;4 ş/IJsSэ^ I&W:M|fRY%lζpY/;qkHQސ= eLU_6ؔg/G'Ut]&Bsg,%Ҷ0Ka"pRԉC#rU4y!BqRtlʢG1eXfc6ϟ'wk͎Xr rSXyV֓7기{s!(sB76dG nĚtfqJUHBC˕%H,^2n ilU۬)̉ǹF*l;Py]~Y * mHR[%1@.y=ΑL t@fP˪㾜uik E D5py^㥽4X#E{gp-|FN +z&Eo,<#vUMД<ْ wy :,eb8zWIwPǔ͎ҥl:*fDjPWd(FoatS{0~~rliqfX]H?6Kobz'+qxCFd?x?x:'o1);1t>0Ld&Zdɮ,kTKtdFi;h77,`wyg/s-:?P6L u8_39FX^NN{LC\Lc/c >] ?qhѳaclwDjRP F5s~r5csa@B dL3O}VDa2|!v $(ОaԢQE mFUػ|ӛ ulɄžt}:d#!y{ =S&OyL OW^:QXD#a~Hշe[lFlhJDžT!8U=G ܚp9TW<q=Eϯ1- bsQH0ӁjE.ktZ6TQXw4HzAl<钳<~ڲh[Kf`Rn;lx3rw {lz^8BHNc9Ϭ?&SH5 ۙ'h/p'>ѫ*3|7fnR)&!?MYX_])L Ӗ-ܠXأ&ҢH^TTI/|eR M !J8Mv1G^$( |„X义:H zg 8B:~@R0xqALb/5b=5sb Qkՙ8s4yZfw5߁Ғ0@WĚǵ%`'ў2zSs3݀픎O~#x߸hvj}fكjuSk&nL>UV}YJpc= MoyP{n6kb,xQ :1'5Ά T,&] Pis1 a.JgF3fpGۜ!ӣ9oB1[l6gz% {J~RѼM7MVŇ-DF vBȼ)6LGR:OčyF0BYC6Hd;Jյ }s\\a) OUD%Bv':=4tܩ9{jr$C-I:!"t@,'̷%䣊C#P]By ݾ5wS~tLQ$IXU7#^3sp36&K1D*Kff0 <"\O_nEpMQ\ Ѹe;3}~y| fDQUx Ǩtj/kVڠ0y)GoW3)  55:(}! 1t5Ov1VM4LFA:\W(ZڤƯ"( .Kެ씗c@5@j[EW*g(\ )ge:{L^2ͯ&҆nr3 k .4+A DR{VKkE>` *YvSG2[pv" ˜Tv"eT{ܣYQ]ef#UuNx/:pO]ES&Z!!mEj"jd" %:/q{?T%FNґrO5~:)ա)|i2|Ljdž#gv4ƧA58 msXvIC/l=V"# o*>j#h`n{~I/R GhHgqjX&Rq/Co- Yq(r U*9uҟ<9o?wއ[ H]Mn!T S1v8ZlbNӨ^d|?э^e?Ia>ku0ݡuY) W9IiuL(~=?At+x|~ho0%e S'5?)2'}?Ƣ P0{i%Dƪ bziwUClF<ص-+"Vt{Φ"vb9CF9/g#UCQhi _J(4*N쵆&:Ӟa  .?泂"}2CKX{NMN[j%ڊbܑx򚮞J6!Ԍ?.IS#ڸ&2m!e+,gEƆiA}!qw&&e[{ʝ|n|~?jDbcA E²x8hoR9sA{!g`i({k(Z췂pZ&Y.?8;vT8JcZz(s^"#Dx z./׏V'5ZBf<.=DvxY :U.Tm"L%Uzd&AE6哒1`g xّ ,PX\EWuc?{?)+"JBO6U7sD5/Z`e8bpBsy!4]@pm, ֹb;o%)uR !c\Fpjv8lߕwӼ`}1X3MK{/VVl(_⺄U:Ä_R@q%cPp#H:,{yhgT+M]ULl*;և{I~t0EGi eL#)E_Հtq%+]MkJM -3\ȅ67RƒRq,RՔ=gv{+rrE|TKNy\0 Gj_zq 򼣣'{s#)oU0{{_1mQ11RF5:3Yu@|;#[E|ׁŕV=/>qam%0֑>è\i孉cU;hLGgP=931f~ ub@gXo:@.B{CKX-OQ[(]ϟQnsBf3L}܎YG7*d~&@zתkͨPj.ANXef@ɵl0 Uk[/ՓSpH?3EsKt$м/ُ6>oscѦo~3`H] ~ p\U'8&9Hr8_v }q1`mh΃H~p5?.חy ꮳj0Vϰ"|fl2u !PbW4ܫ]f&(3ms4H՟tY`q8+h@:|}xǸP"l iFCW*߻Y&٣[Js3m{ju7̹G(G=QXc7wc-WR/`]ͯbCc$^fnE^- +Vr/n5-g}mCGiR來 ݸ&z7pB\F(rv-u}9_XZK+;^Mm&A#+cs)&  Ip+<|?U9OVwpiFV+<3)ՉߧBo@"7S  |Aע5cX+o"/|P{q ^~14'O / }fU1W 1])ܨ܃a&L,RE*#Qs(f$*:*[g 3#DX^=7? ,Ftgs|:UˮX5 qe:TOB׹cFwjL~^MU)()xJ 1 PCX/)( ~L]p? 7B[lN GInA)ܰd&1IMIDq,UDf}yA?񂃯2LQ XU }̝geS t$<1l*hӓQl*O؞E,bk&6Be?ዄ+ws&}bF4A@I?6ReD5W}H22]$zcǃ;?BIpMVՏG7h- $2×Vnͪ*kB;ޭQ;(H)&.w{Ň-c~SK+ݍ ٔ"J`CR6|}Bm[[F[L@B!wXU| у)` x@~R盕Y#J B":k0@}Zܱ`K|EzJLFTn;B>;z'4iuH$V_? e:)BD y_KS^o!6XP;N10 ߻AL}9PqnQeϳ㡶<PbO,a:X!9\nvwR0ݓc'sH=8Ql lx$؅-t,#;~z`҂|ÎVL7RPлrJypL0-s.[KT>E!v|O) *͑ÍGQ CSrbčEtk.Nih<3(G1F{ 9F½mof]&^ĮQ̬D#&dT[,~dGp L~/@۳yIMYV|pV~7l9kOqV nm#N_#:9(kZUL8dvs/_ëpT\q {N$|#M@utuX AGf}{<?.r g bRH>8>m[-s'ocznSPu0Vu1}wrXE. q0c,=<6&>ʢVMug4}&-k)4AF/l5.^MSwfPGR R{)Ik f%V1Iq7[·"UCE;hTkT̲Q)afB%4~KҎ;: jއUq}&/F4 S KDeƒeV3^x(BOoB '|^ñ˝o5x*pЕoqriYP l`_Ť[,Lc&%D&nC9J^A* q? 1Y7z^XUeWP(z֎t-lХr]C1"ʒK%ncX$5~B ڄ*> -pC|㈶YZc=4t$m|Vq=ߏ9e \ Hwz(!`r:9*V#AvPs ]`GpL,rxыu^Rmdepw_%vdV1=W =11w#]V s.^}Ą`ԫ ؏1-2B%czaE}&BY"|XKpzfllaȃVaB*=FwV&Ad'ϰP|=4KdZx[R6ܕ?%e2w qK GMs/XLҧ3U%.ˊHLG3 ^tRx:ɮpm>,z!w|_>-Fʌ{9)$AC 8-U2r}0 f;(.@/"|[^  K7poc߄'6~Fi`(~FKs7Zhpu3e8VSJ\[#a{>&P29{ߩ#[LS|BkZ a {ſ*JuZ?ҳKȔK,Gg0">TaΆ;  H{͎5".6trIC nj}PVM=U8§av+v~HэUie͖=KN>Gd(ۼIaVxVU)eFWgҐ"c)OYM댛a9WY"qJ{}kvT ={p~(֧'w~0{+0iof(6zl{16T!W /}GIN-܋bcw-ur<6F=_4rp y /lB"׋.QU6dUt2tھ^A Yd rK@8l ]Ƹ5?QW":WG.U$%1"Hv D͔,Ie)91]ݔyEQ v'ucoV\/%rPHUXkSVq4漅NfD)؁;/{&\5/PF~Au@ԀY| '`KSa;smtԬ\Y]j9c]fpIV CLbYF54Y(Yw z\1Ey1 84nB#1fc_C,[gr<(IϵUc-RZ>nbX, eY&*)͵%M¹#+7H Al׻G:89d*;o_.a@M_3]齱&GA 7ƶ4QaXmbxD,*v'~?qg^і*+[+6Y?_n1Fǃw*c YtM%nC85&Hʛ[6mԹрƒ=*u-#og6ٮ&)*Dnt9JfZ&RfCaR%A(ׯKːy_%]O:5Hq>XDh+*JN oBWㅁL3I{v骫kޤt QԮia}Aw@-T} y*tqs~e;D#eOnڿB)Q"(N/уD]eHnW MJ3|'+1S^VR;nLE<yX8Yv ڸC"n_=gOrr8Sq5^z<1)B]bXm͌HXտM  >Q20ht'*!E rv.ݼOc>s݅4b >lCVdEBE Yr;K{C #orwLbM!aO;RhD 7ۭQ2UI^E81%d9}#Q`fMpBg YmqFq'<|y1OqC؎jD6w;6$"JLIc5?bhCmqۣi&Fӷ2Im!A},ܜO.,m(>QSsm==Y[iESvKQK3(yиVMټdh<|wm&@RvZ敶W4? !I /A*TLݓOgUoo*;G{A4Y'yR& t~˺w$*s@3;LI[&)-~79UQ>E|ne,LzW;A\R?*+ ҆VNԀcEZG U uu>ߒxagzK.kLsFP&m*l,fP˔QH؍qLb8;ӋXpfŸOp]+,2rБ= }s,2J@ww!=UodNUT%3Ԭ\ܲ*@ YtTmN07'-M9(|Z_%Éx:|zaraɁxDH0ItJDɊC%(}[Q絸clnĂ "T%b7j2žLy<6QY}[Ƃ`Vr@9ȣ EImX7𕬫<%mkZ""$K1oߤ;0fXnC|-rs Lo.071}Ldܻ$yP#S3 "Gs$4Zi`4gg(o!fbeCǹ*܇X\ DnHEj8[7F+"n3e!1$~G"\tl>nqG2B;4U9ҒyB8tVTN%6+]$os, m&z.%hs+Q$oI&Ӧ Պl*>j.y{+maMHm>[ʺ+)-;nX1#NW3!0룤 \+rvc[IYRؖ?:#ř^\M1|[@\>2vP2a/F<{RKC`컃W#/細&o5"1J2&8F/VpIM&#_xs*cXJiUs"%w8Kjί1|0|A:{܆{J!!S'[RYI%\RԌy%`-j%MkK|SA"QN`J19=/2o}8$ۥdPϑT}!%aYf1 `ӲsʴK`)Վ2tFAJ;mע~lIe 36}+]Go80v7 fJ#)x/U;x^2Fb8>XdJt, @6oLɣG+pO6Lv_QjlSypx2 xZMrOV`&hYhCTb .KN \f6tsbqݗ:Ljȣ<=ʫ\ҢƸFXy_|N|X4ZO.Ic+017To}ه kCS `G{ ͡"75 E01p0h0^[[0#Lg/J`vΣF5^7Q^h?}5 ,QB\"Mײwof`-5r4yNܜQ96b;+90B|?nszܥD 4F>TbgV)N<0i xv ,hI_6pAɭnm0`Tw|ο/B1ƵpKO\ifa]Y#8J`CDx4 l,oxO\vAZW nU7J 9g8 T4S{"u[ jѧL0Uˤr*԰v%i;0 ;N?o~A:;QjZg?bmTfA[NID֐äRv]į5B?g ?ah}`<헋Ѵx(aoA=P$A]wTzvu>Urӥ PAFMz6A6< h Qcj+Dy#iAG[ #nM*= 1m4 kڪ/s3Oɲģ2ԉ r1XtCԹ }S}ΒTbN?W2u?ZsGS)I.ıtUe–MLh ?4Y$ҞJ{fk\TB szǷ^Ǐnop_-s%Gm${jse`y@Pm K(6Xҏx'*VfCRjBPH X$CDCp6OL\gTer-(&"eb hg0:pΰF {/o`ӷA dyaHqK^|E=+WgjS_&8LMɔ"\_PeQGFKԹ߳+XW5fKD'#+ D9,y |ݥzd 6C0daP0gZEqvL+.OHd+ RNL[8MUUjc*ei9&IŲ&%=stǼP8.S3>޽V#CMgl4:.!Y3[ NI^ )E`>J7T~(0 MsBKsWv-F AGO)~׳gӅ#Cډ16`\KR _4X ׫rwX DKL'z$0U P) $W#aD [ۃo`$@;Rؕ^ZnYּ:P<™)ݼ0~8eJSm]tm.6 xWT;,Td ׇWɱ@Wn~Z@^5s(+ʼ#vնcb!䵣Qb٠*~x2U$uY2vÄGsE֎jؙ_e .ܠ{ ĆuǤ7$s8 ba<.z"yb}D#͑sٔI*D`А Qߗg #Fcyw).lU55ʙ5DQw{fdNF(B`?;wq;ZPVDxnG]G^gp:a4J\ j6}j+Wϙ/ \ٟT'QnQm1 nTqc@4Qebqo sO*  {|Y}J 2.;SR S&:mUS`8G* K1'k'na@С  h9Ao^cRӊk/3d 4'Y SJBoJ4R´k.qHb~7-`~ 5GD;bIȿM%oMlVzTtLR-+`M(GiٷRq|`fW|^*a=s=ۯ)LRc$6I }qCLwsY|KCCJբsJz1 Œ(V]m"U`뉂+| H.uWɝ-֟$mxPP`*4s\|-8jz铀bR_C8-y:2~1U`kʉEuxK4/+;'A%- ǠɠWg'n8%gE /I@h0o6߃i/!>$C&lcI'.bBQyy_\g:JΔW>A;lԿIRU6 <3`2Rdlv/ 9}= g(4)`M\9L|KB؏ «)3-qoZ-,vP_g?,ǔXoisʦ;ә 3]dmOߑ¬-` ˃alVZFsil>(( Q:gd5ŏQ.ēdz^~ e1=_2z"VBkl`KXxTDP,"?Jy)AtiI"C_ KaHW4TxS"_qNp~S&YB"d34Śyq'F'\.8Q0!`pJ#Pæ5w_nm^bhW6:Pӏ-oFo%*0+ګP^(*{"iTRZ9\,ڻ."qkZhCFAKpgg׈ўt۶][#"-Y^>aSyg-ؽlXX1Vs̜~qz#1eyu*+ "ej)rz^>Oq,T1TAL …T y|HU™'GL,QRtk?4a~2s{. $ 1`Wπ.;6 Ă-/Bٷ'nyp*욙FiӱZSwh)|w@b]-R$5x:%8|1_7WBNИ89L>w 45@|4WΜZtZ(PƖئpGD^ݡ}ZXTK`gk9* ڎK7ʯ2J^³'rPe/Eh3?ΝׄZQ {,IEjCwB [ kECWGR*~H 'Թf ?9ԂbmW{!֡bK"e d^D/X}$kB5`3}Ȗ~gtb& Ap$d}!l^rq69ҕe%3&q7u,.uKp _  g>.`-\/2# Kt:r5H>:*˨Z -#XtwL !U?Nj;Dy|;wn*߹UI۠@~"VAOMrd=NeR?5}8Ewx]_aC H _ޮQQEt 6>U+d{+/snOhn6а4WV6 η5Tkƕ(F;ιP> ϯ35fbBmQt-]1@N9(Jqvl#* _Wz {(]\Q6Y7="uAnybчMճ,x@$dr:? s# +I?͓S z-z5"\~XX5TԘ$F>7R4]sRh _Q@&<ᆇ˵Cϋ')g4jQPM wSaXJ$: -Oa]%7i܍L`V_'cE;SQ1O4B}~A m"j#戭hξ`B nY96/f]>ˉVFG=FfURrLv!mUK~5ۢ_.C!) Wvj>4%nۂ)$r2؁ .ڄqG [ĹEx؋ tU0Miѩ5XڡLn)z1gYZ9299756c3f638323122b9c4e86e703da10576942c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 3a506b6c9a8b73e1e3ac1c2e749103fdcfc01d32 cd3949990105dae2398f474b4d5390b5929c42a9