SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 RR+G d,T ]w Architectural_Design_Patterns:threads=2elapsed=29.494cpu=56.228gc=2.364factor=1.917zXZִF! "L+]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+0L=be6B_pwsLBw_&x]FDHm~y~9wlSJQxS/|?O',J1Dh K/(rgC]y[]Ý;HJl#%* 84k@!!pO\b7)۫d8>"d2Sb͜7&ȟX5G8JUT;g@m3Qjl I4`v0.RLj[?+D `>*F(;H/M:FfBZl{TsIf$އxxOcl;}QZ:H!HsaT}̵y/ӸBF=?Ե! 8züIuOh,BWsšp.< kP4LŮrȘ<»S5G# 8Ie a.Ϯ! 77zU./^A`4vq:^Y s2 q"['zn0B; ޿6thJbuQZcsRѪ{eSz[DLgYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍfL#r-Y$ϲȳn(&K0"yC7]ӄUM 0\XEEwt1N.GgJ5b %OdAo; FdL[hYs}lpܲπOXgYZ7zXZִF! ङc]ŗXi%; d\L95YĶo'.2onG}Fy*o^GPߋ^|Sˑ)?Tǽc k р`Zt$EY4-䪤EܫUc? A8db@n]Qڊ>T=0X*f04>@\9n9=aA @:d6DC.Gcwő/0go6w8xiD.p:#L}ŸsS` 8DT:OVӗqnuA2%YBb0hXb"!l٣D)&:DK];|5#K{D8 !QyPYI,A&oXl2)8Z1q\hIruVܚ FNB\Iz\QZkdۭݮyK^pLD2n (·a"hA[@SQd!}_z< Q07"8giB߃4mJ C7`;pnP8lUJ< eBLNhQ4=1AqpNŘ%\8nN4BLpYgٷ $v&u ^umXʿwL0c;r8 ;sA౦"3z9NQG,"'7^5;PhB^.  CHB2&ڏD:J"e,:"38\01ԙ'Kڻ!  tR!iRr&pNY1fR\: ǤuOr(6~">=[ꢣHɃ|T8kjl>;nZV`wv{yi"fqLMW<8Jwu`u*ˊKK ,'uy@n x7x@M{B4NsVI [no"D$N<~Lj5xJ/p8J5REc&LV9?$$#gxbD O")[kEDo|j~?G_3_"책xL7]2"#G g`oG;=`j2X\'+">𒽨/%!DVƴo@)). IOI3i9\#CZ\baus$-χ\F#DփƼR9rltSMvH  Q٩h',f N3Kwy6(sKd֨.fQH/-tCT,X&|WK }s*yK'k.ڪ9Cpf^D|lꨅ; >LbK!:ca0^ ~BRM*x#i~V~$1~w5ܭW#%17&]FvykHwWZ5R/Rd5>Ov&UAzۼY Hkna\1ld@kj2&9gYZ326c03b2ada9284438489ce5dc19dde82c8c25460a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c 7e917902c87e55f1024132b6caa4ae8b5f66a48f 009bcdaea040b5e12474d34264575a28367dd823  G Architectural_Design_Patterns GU% |Architectural_Design_PatternsArchitectural_Design_Patterns.RF_LTLdocument.tex7zXZִF! ""]A-MՋhvG"uIBm5ן^ c`m*~V ,RrRGa(Mmu[Vo^ft̜AmBG#d1EB jT=T9?ǔ-M3E1"CA}T#4`gGVŅBg,ʃJcuJ׳ݴ JnU[ǒ0~zX(:j vO6iWP+In2qx'EI ^ir*E{ IxB3`āHI2hk[)ą誩\ܭja<x7!׮9iXQ&uP)bLݴ"1:z\_~m4339:U6 WeU7_nD@F/_~`CvgY v ;:XݷV΀Vb||WP(>Q` m̸>:>B-um{ZtxS$[Dm.rˆvG_!dR{Wf[^=I ~qT'JF@[ƒjvƯtwTM߶أux_T[Bes.^Aoq?rH# wi=D ĻU~קO!p?C".Y&mi`0'-#`LEz`%>u'WUșU)= l<H,,> 64-_če( 4ͽڎPTb3 'f PtM:@_DlΎ~_Eױ˫\"jXz| V)D50 B^8LDx^o\ NS_W~xE%ٛ} k#^ataj\bN?KH$n/EE"$ajPe'{,Wtdcm,8:Pw.%KTwIs "Sypx7L{sNͨoze_W5KAHÃvÇ=ᵖbG/t~e-Ϳ7Q H) #A na{ A]~陣H4)V> >JEF ˌHw\XՓs MBVj Ƥ,lnkrvD= [d?}x6-6rȒpyN?vCE aSlT;H _ J0fK5M3bEZ:ޠ-bۋ婓#sO&-'%} Ss6ѳ =±[VmD-ڙu/uw& t|7Axmu /Bwm.0s&9p/1 ҺMQL t.%9v"~=VcFI_sI^7\;>MַBi+B{gJ =[`]yh"m8ZLIZw}3~%V+. i_3T^!`q d!,r.TiQI1L]~-ʆ^xEJ2u-OwnB {pM!>Tb̰LPp%d$f[ ɽU@#Ejy9w%?~2۝M T s 'T&ǕZ;R^Lzp~Do.Z\;d.Nq~l. :Xk{RKXg{g[mݤZ3M 6j~`;uȰ}Gb.HE; G~; 9u-R\ ۀh?rp w-Cʸ !t';h3ַY'$dV%;4aFZ"u`6-0#q&j&Uz/E       EUWG]%Architectural_Design_PatternsArchitectural_Design_Patterns.Blockchaindocument.texaGq%Architectural_Design_PatternsArchitectural_Design_Patterns.Publisher_Subscriberdocument.texVG[%Architectural_Design_PatternsArchitectural_Design_Patterns.Auxiliarydocument.texVG[%Architectural_Design_PatternsArchitectural_Design_Patterns.Singletondocument.texSGU%Architectural_Design_PatternsArchitectural_Design_Patterns.RF_LTLdocument.texVG]% Architectural_Design_PatternsArchitectural_Design_Patterns.Blackboarddocument.tex[!г4 ̂P=egT$t6÷~SwuQ2) QDC5}iRi:ix,Mv 5Vl ڱ[ { ,p_Kmq..+_V$% P[ =!z^J9o\mKWQѢJ^O 8q]dU=%'ogTy^xo P2$wwj)ФFi"N*?an!L35grUHB A[ ?:<䢦ZA3IlMFr%s;s>Lvt*eFXh-;r,a?i` ^2,| ]nv "k6jGWy@$Ǭl~9¹$NE'z.AO|=k('S2+ B *8LoV ChO VJn,v-օ1F/¢^hh5BizۃsRNZ"."Jּw􈳙b).N,XefN`,A>f:O۰;,m1pl* ' pfgW.胊8B4t3nJsf;l"C0ɜ=KPckUghP?j!T?*JKT˂.89e7H ;!6Yb02(d(c~]^X5pmת ._f\-[ :Dy ݶV+I`Xe`<@\|~d6eUc?4;Rɻ2n۾;a¿t.Wk&3N(8wa]ptD PaO?P%!{uh*ۇ/TP _ll\R@>Ň)NڊS A" HP&2d1{QJɍI8\SjVȀ2M _{{9ywB!Ҹ9ŧ/&Z{IZ&3Y-&63ENឯeFc)+2za!#)ŤiˇpU ze+%}30@|&0Dq&ѝ79>OTKͥMGTQ۔oF-MgnP ڡZ>TE3,el/vdP\(nr+Ky@;-?B]"@J\3 9/#zK=!g hp;u"liI`u-E"o }^V#>sG2wi3: ja.-5[pfy6r5<gcFy} BBk+fOʾjGP,!#9cjPkَ/A6YCAZ诛 h r2Z?_cFw4E0Z<0.c!͹3].n\2d>:J9ڪbv2ha`Y`n%|iUX ՂAmJ&!K hx+q5b&pDq52(KA]6SY_貁LNF4#47I`M 0^ ÊeSC^t8& χ`v+n9FADNu/4ɊYĤ2ӳv YeVE Xu[׆U3Ԭ}`zeCd|DBJSlOф@*pLR TgʵVMIN\F(+L(t+zgHxG%OB3~NȞBWQ@ u?K }"<ڧޟ(s  da뚹u[ay+$WG["!y3rF8 A?[`RjbiV0EJDktHetKO"Ak}XÁ(/lIWdiU)¬U9r~* _WS8w0dҳWqFeG6&^ζgBXNhRRsFW"qh5Q0kz[>*˩pKXd&aBhۉ1D]OQ7zIiGbaC]g`S46q^C^CA[73JԴ 2>'Fr|<\½[(j(mIj62ƐlP vIBG.3aE6]TJ16+ L_W6{dnshe&9_ڿm2P[r.ܪH-%Yֵ%O5/>Tצg 3ZSV)6ikᵬ ȿ>l/nP3MO+ӓgs( bXzo?`?wmCv*xJ%h(-o?a:@}=ю<2&lgk($y$H^,I{iq]噮'A|IG%l~F#5swL- (>P|oLCv]\Ҍ-TiPq6B"+[r4Z@!{)LM 4l۸*(<-Na匯xZU&c ,#W:JoTC@ySMuOrC ZkԊ*Wa> ~ƵgՆn ]g^t $/CP(3<ŁfIFۀʿ#p>(ԓF4'~rGziҭjuxuPeȕ?)em`0}ryX?W2w-߽VUX1JE.\})8)j/`ͭ)BUL=V۽:v1/)([(vBeu)Ö~K{{=97Jn )'EDE`$L\> M-_J.bpob!G\x{ h^'p{,KV E &],tsStI:M5al4!^H }O\r[6Hdlz1ZtEsJg3@7Wk15N4 }g2-93?RΥU~'2c j K۴@Pq<#OY0g+^ٖXD,"@ HZ_׾dCg ej`#u86h<!Z7ޢ1[eh`(LFoj4hUn~ƼĨ9kxBLic.Qh]5 Kh$‰bk0I2dI25T's-dll_uBIlcXxL4g ~* +?SH)?~5n ^vv 3[=0P‰< _92Tc7zQDߑCbZV*sW$F~& p&j=_"2r-{5Yṷx9!+ܷKG_JeGE!1/&y dNh amRjg8jsXG;+*"[J1hQJgjY1F<u!;q9tŝ#F ؜hRsw | C4LwVW1oSTN3Xncol{{]V;TFۛd+{ge4EBG#t_Y-]5a9& Hdsvg=DQϛ#[^5Uů@XsI\3gLy&*loB쬾YIxͫQ3MGxmQs4axf~xņx՟*\l1JњF~" Z)Ԩ">`ɲnQhܵ0/7@8{Y' שD\V ~FX>a[5J&?)2զckWU;Am"QUR뤆<(Isf6b$x"_HZJ"q_lHgvjܒ<_: ^Q H03kK8jFEԌc HB檴< 'Ò޳ %ߊSR^ pSK`t4*|Z:(CGiЍvgc;? oߕyp1 n3<9]r< )1Ӂ` #ҡA˭IB c561tUEE!"{ZzaW>4RW%$V aZ4X.lM[D7fBPƋvQ Cjm;Te7Z5_ApQ?Y#}KhinVVSt*$ l OoES3h-??NcC jiOLYCxҞG;>])FQ W9mPɃ@y$H.]s8I. NFԍnMÑ}-(J'-@A}zp`"m]qBt\ ӎ7XJ$HП[jSC"*澙a :υ.b)zcW"sv=\nP-T @1c4+&Hpa~tuƆCHN3킼mͷ h0Vq' n6lҕS`@w@z\ ga¢+NbZڍ9DKd>jq;- \:Y&a.b-JێT2,2ktWWLrhϭ!+ m-ұRLUwQīr i.$L(8vbKrN |? OzpVV:hYL}9=$ m4:u%?VשW)k&$fQ.^[+ N{uNf4M@1gx(v<jKDz䗣e^O0*ªѮzY+94:=1rR}S/N;>qri_; 4@VY佣upBѢ!I1pgp> 5v4KK *^ 5++v akGh_ʥD4;E6k0"8A()6ʍJ}"q:Ooښ cKDŽ[gJFOˇ/imUͬܭ陝'zB"Eu (_E@nHh+,YH=,oBݫPs.~]$>^ȋ.ev!nuTWAl>0<H}hIL@H(`ƟiW9e7uipՏ=f.=#Bgpܰ[o 0l}=B{r%uz :,< (?.-X7\\Z&}v$ dEye(|ODjs68JĀkm4}sAH+ж -Z3=#\Vo땪WcMU^~B[Krt>G=2WOݾYW7U{\_uz \|jÀ E BS@$4!@9ho.*9ũW)}7="ȈUKNڅE;q@#i)#>N,<<&0IOȄY' yAI%{l6?>A>"=x^URPvQ=']d%_|T˷}rGve-5M Ǔv%cn~ M+4\uB*,o ڔWͶa> ʟ]M b2n(O,.]qYkC}."@0!qhtށph_+Ե7eѽwPD1zTj6P芕Fi%<+܂%VP:Q~JBv$r1Q_^k#jLG`.Q/K u6 既<d5>c>{]?AٕO9iNzK, |n@ (mCQ!Ij'Q/bxmCs1t oDw\ErA%-ϷH}ן9b@duABIv䆐W8%iz7@Ƙ}T9\8bki>D%(\{fז黂zl}]a.ۆkl.H$N4NMq5)sZEgTqq$ ύ$&Kb9a9if &CCth 61o .]Bgc"xU3L**Ȟ>c3Ԣ:`(`@} )V$U44Wyk7,0CccH5Ra(*GBBdoaCXT15M01?"5Эa=Ȁ.zmg_]2tȉ)a!J,rHt5H^-Šo075Tk0 :+hv̧~ GSeYϖc^A:H=NS!j;Aglr@Fh=}x;^9EDďM7I~¶K\FI,%63j%KqC^hauRŊcXy.;1ډՎ,],Qj 9߳'G8#upAVr [(O x kF6QL>6,^*!"k~s4yejuEEݑ 1@U B/R>L+B>gt#5ip#LϢ:žjȭ#uDQg&0oFEzlaEC%$I#@q~ 47|$0KXF5\{B%\ nZlLl-S0CL[oWk}yr&NW9iW(Y?7F;53'D|h*.kOddB%n)aG-gvsQDz̒L6ouĺTz;ġDveuoX:쾛&NzkRe1ߏQW=ieA $!nS=K\>ˬ.5_+ӰW 4N-90 ĿbIqi)G"l礟&4q0 )6POe?Ʉm7Fю&6:BS.E93拴ɱ-5,닽>`0 -ؔ( '/O"NBBBXwnOj@+#md*A< 0g[bU63°x<=A >G)_8!kYOB#z;J?2K5y[fv@=^)Fj.%GTWofAKױObHcU[T1[ZcAVBŷWTd$kqZAIPf''Kos,#V@a9Î6$n8{-Q06P[oS3O,\ƁTCaZ.0]I&"BِFSk:z P֙%[ά SB@J;a"D&:VI?/@Y̥b+'x81r@vbLKśIEYP3y?,Ӂ'mil00NMH.ʖr qǠ])+u\w`b,}0ƏEB( x΋;Y{xqF7-`=ʠ&s]F][iU'Hwj[Vc[üC5b(M,m7mLEmu'55W >:!q-a9LyYqjKQ]:k%Ƿ{n>kQG-_? =3.u poϏމ'> h8FPNnZ$ <昹! A)6؛M1OeW: y5=3hsYuMDYu^iB6\fY"_ꂬ$_,fޜ{2uN76ࡨPt}vD)_؇$13N1tO&TA݈tYCNp6Z>1EAX[E2xhL3 $ ^) zÁi  yZs69vFH[[qKI1ɚ{7Y33%}/Llg"M4Y5KbP0K"%ZX~Zs2C;3@ufG,DШK-`̨+i)RKZU!Mi^~Z鴱1Ca`KtB<Vlaew.f>Mޥc)ၿ zeBXY… I>#gnf,=Q쎏69C7o=IXbc|~|J4uk¾L>^fZZl|2Mh ˖E hěП*-F=!%= Kv"=ϡ}+Q: :;Xvu |W՞}LAV iu!M?ƧenCf,]$8CBQ7đm&+I@\DF\ᡣcY@(Tުei4ϑ _ aUs%DvP)j*Pi@a\ty_'2SQUD(5)8m]S `Фa29J|Y.r eN$29,.3*!uR!L1; DXS {EfA0it8u9 :Jh8Qe s?`⵽1'moⲷ3x-myp7SOF̶SI`OQ:H{ 0-ό #*WD,u!: 1,;_ cUvCa3066X˴@;q~Js,a2Wa,mݭN^ǹINйLLW)J\_dok{Vk pjth[vs ;H2ŇBM`j=vE'>4:yuw{Ӄh^#G1P[zcRv08;`[? ?q{*$>o1HI{M/=|_K)vYpfeX)3`տ[GI{ҭHh s%;\ *5.\%>{f67:bZS 4MVϜCn8QKcEs7К)|j)ZO<ɇ(=:fB{:iʳ)E)zmrri _;;}kW3P b@h;&^m ]~%sSnPMNX0,\Hz L+pIӧV^%!S>&/:c&\|]LV0djr}ˇmꔺ_KÐyhva(Mmu[Vo^ft̜AmBG#d1EB jT=T9?ǔ-M3E1"CA}T#4`gGVŅBg,ʃJcuJ׳ݴ JnU[ǒ0~zX(:j vO6iWP+In2qx'EI ^ir*E{ IxB3`āHI2hk[)ą誩\ܭja<x7!׮9iXQ&uP)bLݴ"1:z\_~m4339:U6 WeU7_nD@F/_~`CvgY v ;:XݷV΀Vb||WP(>Q` m̸>:>B-um{ZtxS$[Dm.rˆvG_!dR{Wf[^=I ~qT'JF@[ƒjvƯtwTM߶أux_T[Bes.^Aoq?rH# wi=D ĻU~קO!p?C".Y&mi`0'-#`LEz`%>u'WUșU)= l<H,,> 64-_če( 4ͽڎPTb3 'f PtM:@_DlΎ~_Eױ˫\"jXz| V)D50 B^8LDx^o\ NS_W~xE%ٛ} k#^ataj\bN?KH$n/EE"$ajPe'{,Wtdcm,8:Pw.%KTwIs "Sypx7L{sNͨoze_W5KAHÃvÇ=ᵖbG/t~e-Ϳ7Q H) #A na{ A]~陣H4)V> >JEF ˌHw\XՓs MBVj Ƥ,lnkrvD= [d?}x6-6rȒpyN?vCE aSlT;H _ J0fK5M3bEZ:ޠ-bۋ婓#sO&-'%} Ss6ѳ =±[VmD-ڙu/uw& t|7Axmu /Bwm.0s&9p/1 ҺMQL t.%9v"~=VcFI_sI^7\;>MַBi+B{gJ =[`]yh"m8ZLIZw}3~%V+. i_3T^!`q d!,r.TiQI1L]~-ʆ^xEJ2u-OwnB {pM!>Tb̰LPp%d$f[ ɽU@#Ejy9w%?~2۝M T s 'T&ǕZ;R^Lzp~Do.Z\;d.Nq~l. :Xk{RKXg{g[mݤZ3M 6j~`;uȰ}Gb.HE; G~; 9u-R\ ۀh?rp w-Cʸ !t';h3ַY'$dV%;4aFZ"u`6-0#q&j&Uz/E$HٞB$dҵ +G[% 4Architectural_Design_PatternsArchitectural_Design_Patterns.Singletondocument.tex7zXZִF! ੐ ]A-MՋhvG"uIBm5D4 -VUBv 1v8׬Ul~D P|CAH_$=RRpJ|x-@p5[ZpJB%x3N`՗һӴ[]IdL)-ċȔj\hO=;?pS(6δ_ X3#No`{EmCO bQ>05|ӧI;V3gRUA8^VDŽ>J@HdDdg?o)0签sr1l!y+{\lseP?O e.KWzٕ g_z"^Ί!(svG5VO6.]EEFW IX!u\IC?+28MދkePd<ߠ;'IUv}qB #)טgĨz/;#Zٝ`)0[K2Zd 3P] U/3˴䜀54y;Nv6DV،:_g7K_~ Q۶7Xm`\BI29T`_Z{ukk7w DLHUaR8Yk^?XyМxtrL%'Q$$ؖ# QY.iHl45Ȫ26m5b+0oh["(tpiK|96>"_X7[llA yo9oemQk%ذq[MW?lo gB$ +QƐNKw::J$AY~zW!:+H탞32IŨĭY ׊nʉC^Ff\ uru,"Q1:h83s URP0$ cnhpumm\m?kAu'e61;\ȪK,4b^u~I;na*H)/TV\vΗm.MGS/Va$8kHa"!9Ӫs 6SQ|ȩI;6W Cqj3RXe{jsaU{#'Q{@L//fhǙ45;8!ͬS_ROlITa4ֶ%?4Px;y?zg$E3u|EۇN"\w[Rd]ȕӍ~o0hTK HbLI,ν%v9J1S[d$)\3/벮zԳ!bo't#/ʯ:[J!*(YR|Hse JN$9يƷݤGc~n5K Ͷӛx9^&B9XnEH;ؔ 3ڼ_㍦R>|[gG&h&OF3Yuj{M"* ɇ-ID`3gaK@ѵ3Qwggi9FFgj6T"ra)\U1wsޭ*0:PA+i4w[rjE'`f L*؍q2`hFO,@P$I/yc u,uN\[JqGpYN$g-)( Y]K ڇD]TK$}/MXkr uB8q4!d?e0*A#fpd[VHpUl@&N:m^ *Ql W91W!9*C]V_K뫙m4sۈ0n+ S˺T/#Rk/e׬?DE 7)ee4EH;l7fn$+U۪OT0ka( -=7qdVK1%_g6bOtCb"OjdpGڛ#}؄a8&ϒƈHü-4aJ~Afwu1aG |21f X`HK~OQ8HG_]B3dL\bJyM]E}ݖڜFU^ P@1k.ZwclM({Vܺ4\<!n%Gv%%+ f MV} iB \TΨ`† og/csπ:0CeTSK{y^r_rNW7>WMP=osycj~[;&몝8=o{l 7 b6uUItd/|Alj0UK[R˴98:]ٯӊ xsaZ$nk@n!.JEw-<TZLM\mWee]р3xC" CAAͬft~Yh`yaݻ:9>`#j:@|6R9!,s=~ם=Nn6V|T48p3PR'鲧luCh*o'Dty?TƹJ$f L.!_=ЊM*37;Sy@I15r$'\x0[gƎKaφbTz }A7n$%FvtZ땷n<#CCԗ8J>{9)kϦ[,3TR%iUAn"ڵ}A=S26}z{j}ٺV8˃u]VxCopJ2N -d7i/C Qav0,&?SAZ}uo8?0'aNa@ x;uݕTl&\UFBP@důyō9H{*`T}L` 5jȏeZݙYRGo B9Wi6 Mm6]Ô*̯D^{XTSqöxdPҔ=c$M+UJ$H"JUf}o5'fy;G$:X M2v /@v5j+?\V w@2)de;>tZXTrGfw$iӂVEp rE$#Wy\יM+uNzTׅ<i$8ν`x(QBS?EEX&"<|*V^YNl0jO0aAXAyRd*@HLFRoJÆ(gYZǤ@ǔˈHN-[$7g!S%A^:5@;T4q:[?Dc@|ROЅ&i'Ǡ*cu5;˸%ŝ<*dALs-/]%TFH)Q9HᄑL5 J@O#K)eetO)ϦcZ#xIO jе8݅ڹ> ͖./{.w.&Tn*;ʤM ftUs^p8p"U$Jga&YVo=\SԔ ysTK7N?9&:5}1{DB\5AqTx߷xv//>xC&L -QgQ*9xC3GowghBGx+$46MdxU7iʝے+%RY873.%#ڳ2.0A9Câ;/Sȷ//vve3K쥛Qs y6RSY1AG]^r b41~^pO+lտ).)rjK[ݏsns'q@0" õ켭@v.EO");o"v&RWQb^ܡ7rYt}WҞ,z4'I9n\c"FC(/l!9mh(S'U~bFvr`=L8i7pn@T5 g>?v&3A~?}wz 4Y#iHq#q,30'kCZdqEx':>>C+4MRoEr+BDAX2Hpf:[ 4EBn5DT2[\":|kUjVQ6;Qi̋2ݤJ'ysV{bVW{;F+w ci3 YsЛ ѕ4Si|8-P5ČحoPDǞG4oNQ MWKZÂ+f]cU-nsf3o[a|l8ҶƢ'WA3Qdn-[405$szPm %S\q+xb~`S;t h_8uF`NDK˴e G}ŷUmoQ25!&G"|UF^61ZC5ݺ>o, a.oXd=I)wDLTt+4V9DR©HC2虗e!UC9 \T0$d+;qΪF4F9 Vi֣q{X ̛Xc*s$8@XӍK\ $eѯeI[86#zyM33ƍhSEQY^>cx,Amv%TX'nklE+TM@=VJGvd;ծP6U(w"C@*O A::m1OQ=NKvS=;΄]^SF1bW@#BGx"(PάXsbM  9uȾԗIV*27Wv.7n}q r_0%x@YfYΓnƁ x ^Nɓ%%3,qk& AxS gB̕6`} =>-֛&PA![m"gr϶D+㿡]*^< ρ6 ݴ\ON42<﷝F0...3,As]JiIYQk:Y2=Ьh$ Ͱo/W9V[˱(ՈTcSO"/:kW_֌</=* 3g C[T] y X$ $=N t,o,ujŸfҮ XZΦi!Ab/ |k6*xdMr*!tϛ7I) I84lf zR,jhfҶ[35SaI|EDоPDvX Gk W_>I^fmp9I5uV2 &B7bAF̻c1%| (kSs!!*ވccZٺБܫ(!"APf L0FV*^Fuu% ӂe>؜gɅIת`ft{\4˩tCd6KcnJwhWqxь#Qᢍ fj{l',_ x#UK Q<;~DO9F[-G@߿@)l ߀|1]Q(q-TuՍL-R6Y:@'̈́fDO0ӽa+Mvۏ.Aw/ Yuy\QYdܔ z;XmA8ې0IPw>^ (c.XLUq̓cLsIG(/?'=*}$&L[ŢE"Dc9B ߢlg38/\nMV WkfjLY]E+k=E v 7y [4b]䞢_(:oM_\i S2<zN _x :JvH5O¬r2~ZFb&J䉢6gJdCUC' qlw Z^ j6A=3z{~J~ap*͟* Qy_;]|N_$(=zﲛD2LJ!/t}Fc}h= @!pv1y{'5:5=xWq08uJDS{rbOfcXi=%C6v6w|w*رP5Bmd ]ZGGQI7W3x7Pnnqߛ[g:ڜ^yԄ_$'>y@`+>ٱ1 hވ!=pR\ HIi&~iYz2%r[£TCL5Qy >ЖΆBEYsP2jQtgR1iŚAEIVl:읜|0SFnuW \1t]眀{`3B\VW3}xrCY,08JWY"R+ [qA.>B0]; #[ pXz+WlZVAs݀9b̃q%Ƭ} cJhN۽d}֟_uѡq5ڦaP4Ԭ\ȅٺcl:}f*cO!JThII#|g e޲z@g=Qhڳ/^KQl~}]Ww:0><cJ$a*k-:-:|JeHb&}v )lG})A7w zTÕ( H4/uq)WlO4B$J2e! ֑Y5\W] WCSlQ{i`I0)xKƦHK^%m.{ NEn-Oq{NÄݺkx/0!ٮ~}9zH{Itjrt9D7/0:A'sJV'[~ ]}X+qѸȓKě=h 9GJ$7I~iZwQ\4OiL$ Dw]?L @ۺ$+'?ɤ2 xnUAP:ikˢ4dM% l]y|/7\t\5φ3) (iL.+ϣpWIO5 Hc\?ݸ3J.iZl, Z='IrXvTNAn}-f\Vji:5 [cL . ?dL3w&]qiW&"X,B 6m5&tQ%Rcv#g(Pa vY_2d@,Z8_]fdAzmQ|=IBBTZ^v dO,j1MgQ_̉(5Xk]{O0 V]DEULT.-~Sbevv$NdM:+z_n"ID 9ݲCw!6t5We15~5C /,+Z 2ӗ!tsl/_!zH>:<>;rD&C"( FoBKyJC<{O'-';iޛ!,֥s Yz\7 v=\ r(9GjhSqL%tXz˙x8\0d8`Cg3}f1rXF[ȳk xq&]5(?rרoי)Huez{wm-xWa*!h* ɜUˍ]SJbs+殒NY6yp~Wnlb¡E--K1eC< -擇w[q/_3nr<;Ndjh VKa)᧐!`7f4ݸ#hvD!֘azgnznqpΕ@9;c7Rg-B'Nb'?8ҮZ[Ihy,~8$g3z9pARD4Sh`< Ž+TOE,0ۆG+MJ眻gm1*5M0db+BBW%荼Aw0};O~/[g=LeZI9odB + & XY ..>1$2_sʶ8r{ ,uJ F;֥ K{|Â󬘗z 9."L.(+\|x ox;JT֤rX/ ^;:؆kk|&rwJ;zmj?: }Qj73~k:gi&͚נ~E/Y̩(΁,S&E3ZpH103y0mc yM~cbwJ(J* `KMm.]XwoĠtZ#SKN_gVLJu [WXk&4ؔP:pIm-cV?Ͷ>1;- >Ų=Xl%.Ј k_G xN:FziF}͝Fy)X$2D%k -4g1?8;A|Y;bq0OC=jY8V"g'\J ?@Xe]=@_*iIѵpX4% QhH*ALɕ*/)1_'?ϋ>ok:x%2zܖ 5[]nT-kdF@s/Q x/2d=MfЌ*":O1G!(SuPܟ Qgyha?M-͹6 AQ"6M"?lNa)R7 Eld}eb"J6O({֐kAL:wuh-fTVkXaATM_%;i]'jg}x*ȹ:wSWm oX5ʰL[SEiNsvgU+u @R7q_Y 7_@.?jlR-WOcYJI4L_L3+8?PIws^4끃Șj;G4ozaxS*8' Őu{/ C# &?cT󅻠n3Y4́+/$aim^@<͞ p)' Cn'P6IexHՂb KWW>KKQ#6tL*v)reL Bռq{5ZBkO-KJࣳa IO tY0 9;9 IŻ~V)# +xF*fUc@o8E._ނ33ty A#tbK>z@#Ej;;Fㄼ GPԄiH>wAz *C%6dR_Z_l8C+5V\TCF:=U)I]0j0f:]tژQ׉S|$N W0<كdU6cϊeD{;<^TM5\w(\2x0$YDng(j= 7媓iq=J>]tE 3{:&L)/z!6 jf.R(Zۻ`T=B+ 9`xTyڨ3[CŤ`p=zKa R ފ?n 5Ouݓz *vm&}hw򯧢J%eqĚ%aRR¤;sc̈́Dk KGXE13Mri|Ϸ[g X8ɈwȗǑ$|I*ŋ{KR-2QyPMTh|)»<9ݚ~AJlk@Q>\8Vx{],TP%^5$ޔ}!JfۺM`>4Y]7nK$O57L-3 vjf'4"5oGdh^ZZkɘUMWTst[j >yDrYflk=ٍW^p~BR\2A"vX;$ n0EA+)}Ux}̿}…lv/1my ^|رƴA@[:Iu;Q WtT8ҿnhvmïMPHEPH>"ܘ9׹,^÷ U9qztg&((vֽ=Qo}hD MU3Qo0a4"Y]KȳLpAt00~%ç+fbzs~/@+'(&^-*M';lV` -AşPqLһQ69au/J={ <ŕ@ϧ:? Co-mch'y6rt72;r|3UbU_ q#F^w_ ).,q|Tl$MMRHjz$}T]ߟK S>23zñ,0D8qTqă ;5 #KyA+sAʗм|<~Ui$j,b%;W2"iÀ2NBE+KvSp#%=6bXԔD \KS3zU201th[~I.UMb^]@?۩_~l~@`t%n9$-jH-TfR=⪠M9`AF`eV۪Tc6a:R`\?U3[5d~5(Ё@m}S=A9.$I Rl[P*rr, ɧnJ,Dg6WVǫq4dx\>wz=8.'6x"'dnR`5fSq"YЊT B?4@p^' k$o/zſ[1mQs6?pņroQuv1fxx2226c \"d"z:9h9&#l;F=>dCi}ss '=_ݐyG ,`Ifo$]9;pcnuښ5ş\4Hٚg&:J^u@O#l]@BT:W$#t|! l֪z-VQmlLD b?H@!bXziPb>M iJI-k;z:&bXm,`(,^=v'4l :v݂ܰ͝Ls.q!ԥNM4} o??!DN3ޡ@#?t%{S) S~)p\LR[ v%?LA ʇH$#+4!UgnSj&jlHD*qS:>OqKs;B0+ b)@qsqU ؋dB$5ڀqm.B)ezK 48h.Gg#3Fb@巗;id+[ ˲o]Mw钾Fs0 L:DۆyE}cfq.7Q"AMBz&Pvn2tM̤hxX$,2["wbjTš?b `7G}/g|Ӱ!ݳsVKX%oѻҿ*c3bK%dz ?;;`URgZ=-wDڗ`Cw) ["K㼻ɸ>^U5rdϿ0%Ir Ld6\ ]YE:Rtׄ.[>8b>RE[Ҍ5O9H5uT1d1FTeQ_Gd76J ('m$oQC"鋱d/imM!XFiNsӺT},R5n_Ql= ż,xId8BL>=4BK廓^œA!Ҟ|e?(jܒoz߃hk{PD@x#> 3DZaKgu;p/8! M>c@Q퓰Ǭ-sEWҵ%P>+E8=8r㙓|5s3뼱$?BB<_$sλ#0v#\+-0SƇx^ a+_}*;/?4@[4NȈ8Ex o9@B>"tαOև3w4%3W|] AEΤW[NDp0C";Vd`^~"u"# 3R_PA*RF49D('EO2noWFNP %zPxdA1i<0wcdLbq:pXTpi}\m%6iWB,qXR!7|H&E%/LFAs0o.G^v+mE5Pj,Fd?~CB/ȺAlXz-\ ~\ݝ*0UeSra79$Q+[ц[s~IP*-qbL6Ų1ҩV-FvdQ;L4*صh qC/"@6)ʂ`a H-%{فNU83/])7 MD CקiC|Fzn\-C}o %r%殉 A"djvXw[XPb ڒ|I+v%˒d yPᏟy#1KmHr?|u)X|ipϫUk6`Uċ'nЋ e]cg~O)CS6INEhWPxg š°Gxڰ!zL6u ^p6Pn~!Y`5TbUZO(E{Uu@$jy;_RosBɑZ ux ` x}\rK꺻"(ݶ8v59H 5Wc$IMbYXПw:267w" PőZQyܠèQWFYv+V+Q,MtL8GEKIf<[ Hx4롹M|E.!Z:fXwJ^ٷ@E2*4'>_*2Lp*q7^0Cgg]8 pXSJ;E֫PA.-RS*X.~&_18}_6@5]R %\iclWP9y~{i&2\ 476}Hb '}kKN ] Ul&`uZڱ2RC`gǭn $PGsl̮g#^؇!V=Q9{&/w zg[Ș {Řèi#]$P%F\yyXNUB(`;}Xr%:Wݛ S%'o?]._%9ȨUw i4@I{4.^L~h*Ree(`gYӿs`Me rz'1.̅R=9b`4_s  jO J'E<pAߞ|u֧]AMO]x_f4ŷcz^c~('y 7D"h; }:0 SBrF͑3'bLWFzcfJ9?΃\fH8>J:ɭ/~X[ ?geV?CE'lkX87-3 yl*.0ӊAuUwbK3>Ap$t3ϼ.'rٜ*1|AX +>),Iu$j*jH'V)JhpB4@P%;qg gc aQ13:V~1 8P)0޿y+}#Xkރb# A `n6lj֝*efc12}8 o0Q 3nc,)e͍aEx96"(>(f j$!S j^2q ]I&^5!-(HHm͓i]Dj)mc9 \~?ܝ9yy\$~=1ɡHIGj&΍{93r\^ū Xd 杂7i3l^#W FsT4]RFcC܋:-D?*-5܇޲GҶPjE} *˜/:2!MIKIg:LXKYJR&R h;{Іx Čj b |"o.' qq7rXk!zFXi"KH ?<('/ih@m$.oO#fF=}R0Ub)6lSDhbM>d$R{aΛ}!-(!uC64M)[ѺWJ2_zM' F!}хuZ7rKkyqҪyi]?3*wβ i#Fs6_D 2/f~lY<)CHۅh̽CNF@#pe 4'a3n>L@X(bn6ЖwJrH"|}c=Lb'#6VUxl@;xŮ5d`D=3'>2&_(<1NqTK%+a%·NGKn `i#l,͢i[Xe޻ɆP #u4,z E2`= T&M[πaR*jS$ Cx7ui#7,[)M?<q15c;bx/ 6!ma* }*v8=BAiI:;菂IÞI[^\`@sJ*=Ext,2NC'1DU>|f-ʗ5mfY0mud[t'beG١k^`V]<"0wS9SEDS`E5 J捿u{~gS/$(S7D4FJ\GL2hm3JNҡM I])@'ۆ8_q KyE9(D@iKk?Q p>> *C c! *)M&>آOgBF˶@Rs^63>E; Ajm[Q]țxO#:UEQOȆڑ`t>A0sCFou+;i N~霃ANP'!*ֺv{8Uȟhn[*iSDLywQ`H@> Ɛm=T+p0ԭhwWd+^H{ ɭ5FCx akLA'9gsd?S.|wB[o㘳O+]Rs1S%g3 4QyUDBdꎩM$$ zS{B:O1N4dޢ!d4˶|Œ* rMx'Pͪh .[sADXݠWC]"ibRp+U`@8*&#(п9j`dT5E`}as ׄ7 Ϯ1~BIM%$i 9H{%ݥ7nEVGg5TeM G{T*wc GDpq=ХPQgQ#&bpD7b//h/՘`x*i'bw9MV|?ru`O-b7CJ{+e p 'h]QAixZMđ%ʌ\FgWOLN !a*A9p 38d (%wUMPمD^=Y}6RuhV?5T「\K^P='A4LRAlۤse  'j#p$SԄU+zXaM lh -9BiU>^Ȝ9NE_>, o R(>8q;[{@N~a._7P(#WĿʂ&T$DpKU}=io,֫Șz%iսeze `2u Qg{& $T_X Δ8RV- ʽq,#StGI DhS!Ub8=y7mTטxi㘺aEXDE?ٝLt>yQ/TFvk/ɑAjnܧp{Y$d0+aWc`if6ێz*tr)Ow!"@F;$CWK?WѤ%U1Jޝ"${f~+ހTu}N;Q253\@C<T$SچX hu( :|I\*Sp]#I{c0>j?B>六4w2LھsLh3[ Iፎ !^C2!s~&k@f3Ia{ iBҾ(.}fAN zpSi[HkN 4iP;@K~K¿wE[#qZwvQZc jKr]'kdBZzU;<('ٸYSw¯8`1?+>36vdc9 ?sl2 BKjቱ^G \H?H~3_n5?L,Җ5`8 l%4e~u-3 _<)YZڦC\{΀j0gVϩO#߹U{!H@if<ң3Xp$bi`X $^̷& Fs~sOכKaRS/Z_,CE2=l{6춬N\X0 Fe4>AQ{4("-sW:ۨ{MG/*뒓qJI:4' =zmܹ?и~ѮEi&|X,z "[awylڶU*Cn/#|=%e_2S`qYnח5hZ=<7iu$dVLHn43_ Re3A9FPꁰ]jTv=\'㪯rcGf!:a[7aa m3߀_PQVUzk`{C\EB G~)v4;b`mmXMKrE;>#uxi*IR5#Z y7DZ{JdT g7p4Sz/x3'Nrgg G[cceRsz:6װY1vm6Ͽb#UvO{*y367T)ZSm}'#х>e==>50 Ԯ3h(JRTo*x1*ۆoĹejD'˾)h՛d,mhtNj`jgut1h²xs T}%OS:(-M x*kj~gc"G_c+؎NY0P7=z~_VNސ 'IyBd?%98!c!e.=@hoC \҉;:X"־rc~uV#ú^ft/ t}Qzea^41# C O',||th+W飜 `/wB\ObMNGqSUXG^:8j3$hv֕pR"d`W BN.b[jZ==B ̰g*Ar>:>a)0O8**zY5~J+ Qqt7 7gfQd@eJJE' "92H6d5@Dq̧Py#?C0>KTDEK2̗Y#2{4ԆܿxA)ϿaA;VCVo_w!F0a)+;|tzBzvbAȬĴҏK@9/1|8 =CVbb],N\) Tҿ'IT \Xr聎bbŷ'xfA|T 349w1zqWQP!-:`@TUƦtz z{Z+Ry+} fUcf)z >&1F詏XKWWʃVUMFOO,Ԥwr\>^pQɚőDISz9J(ڀ3F~v)gE2t &z{x:kjzG#ڏ_9ݾg]Wn 7#_Rs:jơ rA2~걘=G]{UDd,$#ّwOqȦ q֟ܺT#S bU>c7rg*S!B/7 :!3 5jNskO=V$5rrKqtW0#.~LItpK-'Ůf=Ns&<>9LAO. k4ƀY/aQ!u/)ޠf:ΰ/]e vhC7U21jϯ HwEÃ'r?^7(T"oo=?UpYY:8IzX) c|qcއfpߚ%r CaFTi0*W#{L =d|Ɗǎ"98\bMvڟU?^y"C4Q?P|M@w-is\=1=+t)3oC$X} RәUR% 꼴y[ĕK7;̓iH 17 4Wt\ؠ}GLiOQy/xQZniLE(FO"l.Ӳ%/ve Їㆭgcҟ-ِ6`ٞn<W:yy-BK\řٔл!fH㷋Y p&i]N$^Rw41&ȤV'8<'rVLޣ0\-׍ye7CL(8Y pP=)v˗a#><jxf@gf%Zc3H?M p@s/i䕇KJ %{DdgWDENl.֩oEsâ_`>Dvo|m:-Z)k$D-T9UP<˪:bVP0Vtk,{^^5𡦉(+ֲ([HJ~ Jiu5͏њ7˵L`?cb>˿j q IYJgnQJ!Jٹ4 grI7A9DG378'w; pBKpW,OJ!\rXx\  [? 'O]&z&x*Z\3q _eAf9pV'>^,Ux)Z ϚD4^XhUƧ*2tX-j+ WB1f1.f[I'dc= E4n~B^?>9v?#ϜC,lYJ&|DN}?(dYfbC>l6 hWY%d  _$%G.6N}r, E gdt!r?eun眯# f^2B]cXVvNz^^$[Xǚv5Tl}خ,k#Vy>mς:48EQx6Zwԃk;l*|J;C2zcHޱӊG! Bӥ4un> 輬u˰FROvuKgOUPfH T+Vk.]WȆ%NV!qUkFG&/B*?IC⤮"(9zMݘo0mN*lAX\ eӒFUiD 1INWBalK{uo mw m{;(,B鱽= me lÌp(a,ܛڏw mk=J*]kYsE)Aۍ6U 0\#Tz[ߓr-yG5?-}/adl]KcuKxQ}bGZgX6+l9{5J 9̦mf$xDMWPkO6B&ŭN~7KHֆS^כaQ"蔦1~0_[s0 e\نPj'ߞ7-&*_400Xtu~C< uftӑ{STk $9eBt_%h<;$`oj+ub?$aR= ڃOWjܯm eZ3t4CN0D3UUŨd~H+:Iam:GNx&baRN8YH Ns4Cg<pGm{VPm$ e'5?;5b{үl6F̘!-/+qqj¥_^ڂ+sW+)abyYY58)ȢC0Q @FS,J{F= =:ӻ50v˶,,k94l2AKV$Khql,ɕ;Q"/)$G-g^ӝ1^kjS&"hȸӽVhp=e:/ cwHoCGR T+abϮYғ;̖?b?ݱМG{MpZqSVk,Hz' 4>N߅S݂5]E k^IV?gs@!wu"%<M$~Wq]pCq2A`>]O82Wq%\m<^jvVgHSSq +[ `w63֚V5D;L#J}4|,kؠe I/ ff8?:A*d|tknJΒ49AAW&U=ve0Zٯ'B '$TJ!cA4/ K HhX|bUnbK*zôYcdnsuBICh(/1 >l<;[̝`kOn/hm#&E#34TQzt5{Ѭ-bǫ(&*6z9fw^8Zf ^,pRW'%E\j9QlȈpp"yL)0.80x#fsI'x%ւ8/1hkl]2۲ު as!luZTTd.讆!J?Q~.{>0jlFs$-/tת*?Cc+O)KKX3sj)0wiIᏒRc-l|f5Axy$h_M>L",(d8?0,(u~:B&&`fٞ)d/G0++O=NW؜ޠ_z5 pNXq RcAEpaN 'Ԩw }G4mhIWpyeS^?DF02mL^- s%Mݓ%&ͭ1d qh\&+Xb›ۛإTv ?i\TtLԯO/_è-=ŕYw@Mz5yaò8|3<ƌ2U]`L`*)n