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  7t\dD ]/ WHATandWHERE_Security:threads=4elapsed=26.912cpu=93.256gc=3.0207zXZִF! -h]ŗXiɟ.g.!gz=Ԣu!O4?T^-qV>^)VZe y[EM{"AnRm68g.II wga[v!óF=jdaٓ&Pӻa{LYN`4nm.悾>S]0j:4ypNkBj mz'i^ytIi|!͚sg}W9EǦ?sW 4٠uy@b;FȀy)|^J`950%Y\#.HFtĩh\FƻDub_;&2}YΒr #vux?;#CR6KGJ@q(ZfܗXշ8B=GsaURf ιUGeZaDNe{F+q%l?:6?;@=Kt[#J`ca@fp𨪒NJ _` #uWwH__Ea0s6q?ev ;߃UKM9tl:B" 6W햪oS)Zұp'.ܧxtΩ*Qm BѰf0'gJϭ/K]޹28@[O\Ӯ^& ρ}4+:E.^4syuHl.B,2q EH;C wz}OL]:OF&4tY]|._"}J]dSWnF<} QХ 9VU=9#P,mzFDg L۸b0c+vRPjlO0jhځ#R0D낇2,duH>6psZ6ٜx%"qeیsCYl'&Om5^m#<^19K: ,fUV̖tnku8\/)HGbzX&?a+68)D43$ѓl3Ml*M_ł;X5zn):L=~q[D DIcAx0lWrsoO'&$&!l[HsdS䴺y'Hx[#X s 3 N ޘ*䎺 kh1):v7O3m}*R/L|6 Ot\}T@ U֑V^5>sf+E*L~.<<},_ uD4@RoRVM#:D 9|3-L#8 W"|e%_AG-vK=}ZcTRBmDE!9ˆA܀ALzs8ӐܽjG$ 7 B1t zPC-BF1b%4\W-h^4rkR8wK<"wR+H@¶Kǻ"R! %% &|F9 ԏq_ܢ>Um_pˋ"~hKg{sG3`hp&3Y"[[qLm7Ԕp&^6 ."knܾm@iJCbn zn$&|rnf 7C*`}Զ"[&R_1m m8$wm ~\ "]T]dCo.Qj/c=yZN::!Tml\QJgԿJ,8tr&6TPʪ#k h6?B}a[ h5bAه"d, E'+z ŷ*+$mGF⥀8uk5et܌^{CYD*Y0#wʽi&#~6 .+ӃisNR.SKDžFQNkQM# E7\I@XR / [C.z0l"e{fŜ[!݂BSR00cdp8\eFE1_!y9K6I5@MՍwm+jB"9ßVR +-v%l‘/Ucd6詐:)Ϫ _.P. fMLVDp,Xה}TWґFCtS}VQBX(r0J ɏ.W(#<6bE;oc:xfK]&ɒDJWY%4f$s?ǫsЈ6vt()8E)E 'ttB73!7 (h}%I[c%ndH’>2 zV пw*O%EK+YPsP>©H1 ȕM!x; 5vz-! 67&8"PsMQ&[!XTp ^2gͱ ;KآRL )zy ӵv)#|zgOߌWUF3,^/p/~'5y^GL. p;ǫ@`QSQF_C%eAYwᢖ˗vq$[<6ܿIBQ(T pI4ᬝw( lS-LNoFb`]2Н4[p1]^u&{=u@O@mu#>j"2P#$fVgYZ  7_% tWHATandWHERE_SecurityWHATandWHERE_Security.Type_System_exampledocument.tex7zXZִF! s]A-MՋhvG"uIBm5u{ǶlΑWەXlgN5DP#mSPQLQ]rff:_CDs̋ܯ53G\.ԏ5 QKB }0 \Gˤ[)2)V&*,͎4l'xKw@~$UѵAџkiob=־f 7!OJR'y}  Jtjy=i +sd~Ӽ?],"(hy^=, 3nZc甬e-Gݷ[kxX+xmzPb/hѻ\ik skL|"s8 }Ѥ 7D]Juf$:#\^<0<ǦaŶ˦Ock#CBO"85Yk2r iĬ'gh3,Ҧ$`ޘ-gXJ`w "HD`d!$|wB(U'A17pL&ՃCﯗ!<1HMwH9ظ*U!M,:Ld,(-M_k ot}+vw7a}4sUsYq`D"ִ~GߴF#D. \T_m7!&^eu?GJPWSnߏU]?dſMJ vD[c-^e1hlWHkCC:gf4B50V'_c"*@ „흃|o dM?Ԑr'HLP'1&^A˻JNGs'%G_}FI}404|]:I}fb1M   x$ZG&hpiIb0J\IPGh\$_~b=ML<9cxsI>l2}DŽP܍ڲ!f@`ɂR'u\ZDB'~v>Lxd_UIn9"˨fԶMZOS ;i@oZwyAQ!(ektցN*f d,Kl4l g̙x%i'Gָw_(J<]6}Fh4"5X}q8m HI@!'npp*hU E^U{ܹ1naZJ;>S?!ӸJjn'xv-BE?9Ж 'UF_x£eOSK>nV8q;CAvҔvg;9?^X* p!#8T2ӳ{"<ޫF,(/!XoO) P1zP+Wm@e@洦wnZuLX}NK -qr~]1?JCxĝqB#W`LjL=&;guGPE "-$hI<6<*bj8claw%̯p.<-pwraG>1:L־A).NԱ0ʙ!N;}c$v; y嚀h끬k9Njsu3 KrwH٠RPk6gƗ̎{IH{R]ȋkN>ۏrֺdR A@Q !okwpA)__ӠJR)$} e/W>I 4Ā45 =J,X~u4`k㿫jG:0N3/BEsq`k=2|~exDQȸ|f$#Q&*v-+'KgYZ {7A% |WHATandWHERE_SecurityWHATandWHERE_Security.MWLsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5IJ}x4IMI krip֦@(?S,UO ]Όyd;/-"_追k>&GgE;|aGIZoI$A+Twnc*V*8bSvF9{]յc Q@X"ߥkXe8ltcSOg"[c}ϼDҽe<]J&_6yűIEd`SWK;J:ox_(E1`.1_6B& Cmpb4?-uUxFLSK5`7_8NaTT.u.d}ź~?ձB+ɕDB[9@-,,} SOaTvшL0^%5ƺ[!92Hxt=f 0[7ޞ SA)ZT"TՉ+o?XJ>.]CGSΊ DSn&ZB3(c+G㪞_%Pc` 6iJ.:^t8?cz?&y%Y(!sWm#`|l6^k7>h֕ۙ(`\nl#Ow3HUFx{l|c!UP,plрzod'o/vۅG %_lsCkYL3m tK#N䠱~qr):F@XSzɵ_?0Trwg11Xޘ^4G@[v֐Yr w܎,Ru)_| sY<@*U[>~{t@G2)w10j0lE'Kƽr0ghnV`N48ub#4zM=t w(Cȝl,Û[#> U&݆/v)ܓ!:'lk@UnaeuXG-H0=t&juMT`0maRLX] ed޶Gd9)ʝrLSJyÜ!ˋJfߩ8s0;iٱ jBڠTRL)蓨2v0 yZ̜gEJo9,חe a$Q 5Q2aE G2'(V``զ\|7|y?uxM,i,I _aptVVٮmw$np{.[+Mtt^Lva`8L37+3`kˌ(ENBAU`,ϪӌoEɈ7NYbQQƗg(~J>** FQ.7RB%ajkD3֛nk{<(/o:XvdW'P wY)[Țr@I~ET=3*8p=;L HOR]1}Ղ^v8 e4K绢l]ޡhҊUb`MFccN *lħQu ׹Ԯ*ݐK[srq?T%" 0xnP1Ěk{8OI[ph}.q- 9{HSaH>j/?3-͵7M,R!XPO̹ Eg1]WOmͺPȘ6tG\]*< ^hn†A,zaLs7PeQ. ~6KcylzR"ԏNyWFm A0d[Yc-{ErH E^<\]OD_x8A =k.;D(R3ȧ\ + jJ{7Kꅸ:ؚZjlrcma N$Pf" mP]nL0kU`=C* gpTeam8韉!(tiuFd80ϻ/rSgh5r3>l$4L/' ǰK鞓fjsNT:PH{PMS,7'W-Wl[ld 2/(ÅV{尟#'k۔ڟK@Ս?z+aхG_, 1r}Em@"gćaz+A+sw[OAtymTIڝ//Xd͠, ZqrvOn߆ &Wpsf*`!ƾWf0ɷdzI_t#㛦^wWA໑k#`F^_Fbi [DܭTU(Kck V-16Z#Ⱥ RZܿ?z%;( cm,_kIHU:`X ?15RF-=}-Ua%ɫr%{R N=8T'M`QI_1ZȘ*W4`X6_d\.'e-`*Y&ӻqrnebo(5e3p=e5WV[Tʀ3Qe JuSAlwYYCl:'[CяKD8&"<%NִJ 7F&?Q:L#(n'm&ЉoKHQsU+*va초 G^<6aXy7WzF]M Gi)TzT;JpNTr.G ܎^ysdÒE4I4 MEqCz'˘&$цp3^̻<&ю`r g5P#oZ+?218eI|e2(LXǁkY[V`NYA8|IVҷ)nHLvg2'o┫|"opQ]sg"1;Qo R2KCa~}.E*F;l=MxL ՛@Y{0bP^qM Gl(2$*]جvFC[}sPZ"Gi&ᦶbkO89&XE?a:XY|ąЇP/b]^`uU2Ci7"R'얺4f„K͡ 3m[h۔NFk+2=FfA{GA| jS\&N!u7/XOQk.iuJ'  kZvN" mD>*ǢS8!'Q"?km#PfdMuN853`cԣ9)b?C?6:-H"("Ip7W1c*R9.4G-uΙC羓c=tJXsƔ8eydn1f`qXQb)uLENdޝya?zQ/afX/'!Ԕ| d"Ԫe5/cfACb^֡ZT9h~uȥ^#U9ݭ% ͈͌b?8`L9_N*xL+^{Ȉ% VA±rk;;jZa9Y ^IA&Y_,z`n al N>TyPQrfA_ĢeB`)TiQR"Tn>bqCc>؃|.$GJ0lVqn=ArCmu]z?mo횄14nHx`V9;X= X+g iۤωI0 $>*`11d LY~-Cpe!@E%hڇx|yNU5 ƓÎ)*ďLT.` 7|/y;0wPj1״2ZhY}԰NTH;r9ij{gQ"oo7҃nnU e昆,3\\PM4 ga*G:!+Ea%g 0()Ck_Tw*,3aazII5GZ$ޮ\?>&_Ucu[ vAsV|8]\? *:QZ#w%ZĨ%\j\|)#v҇sS[d 6َ,vy'i5>kSYD n>]}Щa#[( @}ѥBp^A;wlޓԹʢ 5\ FѻF\ C ۣ)YFmo(,L\kƃ *쯟Ǹg.ۇLggDhGDEI޹x^߹Bʵ"l"x;UX_6<)X[JUlKXP_5SBֹNeadZA`l[UX(q Jq!)8ٙ i  8w%wp3LG#$jfmuTENZ3kܩh;@FD =~E,Jlgec- 7) xm^} 9R>iՔLr6|ߨG k!|ЮWUٺwduhtM1w{dտZ|/~,iη3}Kʔ,1$"p8GԶ;`(=FMXstQ֖]\,*0џRjכ߫< \U^7xZ5@F7}ovSzsFKzlӂβ!zg-jj*:,V`!'E'م.+C,KʧZӎ_JP!:4DWmgz [q踹a/5^؆ԩ ZPfɰS=i).jYq?Bmr5O `-i*!Tzj}˗[AH@D -My p_5O ze[*b6UZ)Gt84UrOn7tMQ[.B HGN87 9_#ь^-~v{)V!ˤ|Liޛ5iM կ !v9 (qvCsRd[Jgd<}80*%Y Xij2\ՏGS 98M_,rjTS8IWq۞M yQ׏>]:N -%l`طfam0$MmT@3 sҔ<..Tax6o<%%8y” )jUET<"$ݘHL]{s͎ m[ wڊ~V("kSFলKK(5r—#qNefnGXJQ|396Z9c@YRYHvQ_ b>M^ eUDѕ'o/'X-15z\=qa.bX=CDC{{MWNU@21^Uk)2](nB#dl1q ~@l\hMWf*Œf *:i;J0q'n"P բB]|QBERvs!pOH}OBr{tuZ,Y"s{+ӆO'WgYZ  ~ ~w7a% TWHATandWHERE_SecurityWHATandWHERE_Security.Parallel_Compositiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5D"٣,]ѹz!0~k 6/ƣьKٝF]`>*q/\*ƛ/-^e ~ AqvX0k̾YF1bI,@YF=;O]gWOQ.O_jkL>` NH`TlrQ{=,VsDr0*K bOU"/ϴdV!#={l:E_8?rNBٙ:z=a&zhÈU֏9fQX))]/-ZUkzkS@fjz*}TqU5p%ȅo!,L/b/)l>*K:3׭ b|!g^ZHBgH'aG&u C ~T"U*`-f=g@qy7^& ²=+pA܃Qc*n]CeG0M87g[z zM"k%?` t[X7>?W7$I'_T=ROL*N}75e%mNRQ! zsFP"xqQC@=`:G8y8u; 5"Q],r9W?}$KO,.Z' P@tؑMojRܡztj;*wV2g:cS}cVh>eG^Kܵz'r]+*B6Zf`J/d/B)S> xWfWCкuh.'u ʕp j_!}os]pH0H˱ \[c7W% lWHATandWHERE_SecurityWHATandWHERE_Security.Up_To_Techniquedocument.tex7zXZִF! -]A-MՋhvG"uIBm5:`'FMԮtMCY\SbGt<1-CВJ'8Ga'.5tI!!Rm/Rݽǃ!j!-֝j952G/'Ҭw8ؒ|rKNHv;5`K LP>.4Kf¡w{Eԫvï-IX@jFQn%Q䴃Ӯ[ hB؂ \(,W,s~>hԮ?N=mP ITYЌ;@r%Kdpm ږq(8 QECIJe'XGaCb`ʙu#iwh:zl芻 Ѝ#̩!NOÍ-z-؝gaGgQ1u[adM?vɰ4lGU5De\UU7a= 7Љ{&T-uӪ`'6,Ůn@8||SŪªٞH(|4Ϲ{GRܸWNm׬޼=Pc@[WQqӁ,!?!# NZ#B> RuqHS衕S/,|nr\Pp&J\ ;"+Wya#-)&4ߛj@}%Z CԞ^kEe!4ƢCPUnPJS 4A6/r&ӧ< XgT(n ހbċ IP&NZp9Q}s8l)4]@pTٕpH /p)x̡/3(}U8}dڭD8b[7Qo{?|ؙ)`!#A-&]Qϸh ÕǕaѻl ugvՌ<d0RE~&EF}-ϗ=%-f `ϺϚQx'? L'2pga;JQ"P6BWTfS*$&mJTowEW9p+" oOh<'͟xCv,=RbqRNtBŰ1XL@)_KD8ZGƐRyh,* ܯ+Aa{iw5))_398y{F]=Nv+(K96T@ ;; ht6= v]>AINWxs !ÇHBjTU充ta;4TdQN BӍlIq9*Gd& ~>0~A?bGn4_9iAp%I7@izޑ@xD"1B/2|bGv঍P"t]Z]aӫ/Z݆a/1[*?:"kDtIeu7{ ~ʔns%SC #@mnc1 ~͗n6}Y׭c6 j<v:Z tnbZr*ܯb9t=/Z}3 N%!_w.ݗFT:wDU'ii(5/;k| BîSDTV}u}66Vv WUr8:GnC|SV;8ᝒn ܧS\pSAU|x뒂"z-Kט*:QS ͧ>Mקż`gYZ 7]% WHATandWHERE_SecurityWHATandWHERE_Security.WHATWHERE_Securitydocument.tex7zXZִF! l? ]A-MՋhvG"uIBm5˹EMQm87 .4 B )ժ\21gL)C4፶}a~DRPq)զxpT.$b%6!|zlER4/Mʇ6kqH9ӻ f>!Wʞ“ڬ VI5X{ȏj2ifW`}>*EUfT=s ȹc7p!7zlbb3M-WlB&Y v^pY8ާܥjFhnLF@rf0d:z`$8^<먓n\7Br9PAv&ooA1ZݒZ8"IOf{zS{̈́!VM涜~ZX -jk"d,-)_cJ z;L&b9?5q9՛Y:iu0Qkq_<.8luj# *r}MBgYϽr-!c<؁S6KѸ+8:w GY$3p:.IFŽE$ݿH*.ԀeMƜ8mAd.-<ey`WueF9K@?s6hH P֗1k"ٱtDΤ)~fJ%jU t78`4O*<؞T(U0 o\!k 5vO3hSuM VFn&<=YYhD/YpYQqϡ{ZYNNJb'\uJoR1&U-@Q|!쐡0O gڍȯA 3jSasz^fanymCo' ήX[AAy&?0 ւ0j@D/m| '66U/&Bq"Xʾk>,<̷o.sܘ'&L 8E F /Txڮp#"nK]S!i?FAl H=lCsHo uTB@ctUdKZ"0r Ԯ~o!I>5P2DICMWU}cO vb47PtC`bl27NАʀso"Zrm:2 4Ow\̹JB8m!F,3D)V@.5vy} B?>mol|#ODyk*)U\sDn9Jia𒋜isOw So)Pf'ʚmE--c2ּZ.˛ μ**׀Y"Q[c =}%{c*Uh5k20K,.\"h }Uf}+Q1hFj [n\D$ǙD;ƯV&/>?\״eqOu\bU *ޯ9"&ptR }D%}![Ua-Ie8LFex"̳=}+ob ) /=B;[}?:n ј-sTVuxvז/1lg3qzj*(` ۾ )n%[rZ4E:HPH@žF)< fy f!C3}@@x g.]5``g+zz׼}Uo:5 EtuOrgXh$]L(gYZ  r 77% tWHATandWHERE_SecurityStrong_Security.Typesdocument.tex7zXZִF! 3r]A-MՋhvG"uIBm5uXu,|~V‘YYiTR6A؛ʮ7i#;#433+L>Џʎ7O[Ÿ;3E-1lX[Z*U 4NDCHj*w9@}\AڇfLiCa1!OxČ3!>!rΜW_2?cqmv ݹR`\3G o=pngx`[BM MxK2EnL|js[T;Gm3_Y+8Qc|k@˖C&pi`!˞;WSI7^@@CB+~ζ( p=Sx41k6g ؞UJigPifnjgecf9>^|33C4H1U~qt{,.Q:JƓv|tTt\Y6 7MQ*IcЅja=gu@*{aL̷:XJ\.fD䄊Ck':H3°OXf)2 0A&c03dӡIj\eJZ5x@(=MgE>exDlv>URwݙ|N`zP{+9wń a 5Q׿ #?@Gk P)\V؎O\D) CzOt> Mvj"CV*Go7 ``]<`2W^38վ{FPFEߕb &նC@ƣDouKTDAdΦw}ŋ)-lj00:uL,ID&ބ/fXgU\?FfKE4Au*vN.B:'0 l4vm¶PbI'ij4)-]$XM:{g҇SE;${ߋ]6 F=G"+@r 7P^za'AXh& + )(bT-l:[uL;dA!z]4510a=;845M5=Vl;]-=PhڜoXZyqa%#nDlFVu %A OF?C/ETnlƨA|g+PZ#5ic%5iF|'܃"SO`O¦Ұ4{KB_w)>O[& g~gYZE75% WHATandWHERE_SecurityStrong_Security.Exprdocument.tex7zXZִF! aF]A-MՋhvG"uIBm5V+cA5)Oszֿ@6h˚؋t 1O=k<EkՆ(r1fWGx½2lO`uMoL> fVS+Lj?1[ͮz4kWz8>r勦 W<`E's U2tƹ ^g[N+5@Ls,W.-9cً 릭^MGƥϖKTG%TF.a;R1SvNv U5{Z* t+a$8])')$Tr_gNy\1aWeGTܕCtZp%<5%T۴>%YM mߤNK<)H"LdL hF\y߆+TŘb Ӈ-J [ZזO[?ĸh> $ۅ.tK 6V/qka,t2^hh eE\]QbDSLm[N3L߿G]Yj5t>q,˲Bg@9{LA s#9^\_;yj`C3AU?q9d9?#'ĺ5 RlmpoOW)ok1ӱ#i4xp  ^9h+Sr^Nd qu|]`s:B|)k_TQaKuTa?)I::"4:ҁ&m|sYڈvjn)մ=iqeKM95B<~3TN1j'spE `# 2Nvb`)8w/o Ѭ[&cm&y+qW -waȸ߁PYiH[MS0!Ah?UMTɜW B+O0?*}$H'-ɵ2P8=r~ɍ2Es P7om)>xgYZ  7a% WHATandWHERE_SecurityWHATandWHERE_Security.Language_Compositiondocument.tex7zXZִF! 2]A-MՋhvG"uIBm5^mN A4gUI=Jj8_q,u58>xNϫ׉ؖ;fFtj9y7yEy@QT]ZSwquljၑj2.m73j2W8F_'@pLׇ7Kw5!6X9Gf:f@CZ2ӎmkrQdREU`L f#̎%;<#] %1CRB=EMZm$ TָWTX8MnᄿZʞP]$]P*qevdaNBMĭ6*}mҼ+^ 7O% 4WHATandWHERE_SecurityWHATandWHERE_Security.Type_Systemdocument.tex7zXZִF! j R]A-MՋhvG"uIBm5u{ǶlΑWەXlgN4ht]l,)i*fO96V`NU,-Mžk_h2@?:l/Мz}Oy^DPI .pMf/zІ:-k{l%pjLhIL_)Vgc~/ewL-@dfs3% 5Uлɾ#/b^Q gw?e3bD`ڔ/3\n˩-^U5ԸFXɿ8e|@Y>Gj"5cQ`AW' - c\x$פ*?QvaTo+id-Wlf)`̦L 4cGe.Ugm?4mբ.oxK}A0u֪*^s"}π$[2o_;6}z51*qjg^>n7)T%u_Y԰m[GIA=O\K[F-6p)^H$4S@Z?ɟ;VowoH΍u~9jp5Ti%\>t@ B&8MvѰNve$#e‘seɪZϢ7=Dl-DW8J$Џ쪽2?Mڢ8ffwk _0t).`jǁx i T_5aWo0d-=J }.1A]y=>>{S7G!^/6^~E'ݣ2ԽVoFdo%))98_J)6ivfuFUkEhVn$dֱt/wOQS oXkm;K C6rvjoiyáZNzKV~%#DFH|E .[RW~xZ0 r; w߿r@)~`;&sRQ'2U:BJqnIŇ]OZ.ߑ /Q }*f9}Y$C\+c0r#HƲX5X w'ۿz Pe?_6rs#S(Q(e" _s;SdL~ljQPeBs֛P7܃9d.QdgSpyP@_psƄtWW3{w "I- f o*/ݴA.|aʨ7 U sɟ?zOyKJmK`QuoXi6hdȽQףh8r Qԙ 8۹y/Cxgj=<P r;[}ѫ$|F{#Q+q]74Zz(/^eĊӾ x,}󛅄Va Sp0UUuC s_C UgtUa{hmx|W)6xu~~ 4O2AZ)1x7σP(&ٜUFKs f'J{yu誉ypCZtЊ0V1R"~Y,۝sC t oY4#f70L_TyO;^rf8?3pea2׋i>,D%ǠS& !M`@ۄrJtI -^j FJS#KVJnAŎ%1)$ɱ=V.&l B(i!6nMkt#f0BX[nڛ:KX/7xv[+tZjUEbW NA$hO>W%JRh9njiObX;"_0Cqulз./h 7) 6[4\C9P@fGR 8ӎd ύ۲)NMh1UEhXd #"%XB&"^z֖P0tY4%z9 B#EѥT~佇yW͕YAxx  +~;,iFLTf>\E'TQ^ǬcrxF+Ee\J'ǬaYϬ}{p #|ޥ?T $F'dmU#ԅ?1h(~#WdiDn&X*n'0r@ӌ[T kv|6Ƌ;9jF7jk!pܢӵB="*ZV1'wk)R1~Z 6چ)*&תo`Ʈbf1s(T*2/y8Z :JE̫ kqWPF4MϊǙF8_y0t5 kzoR;mpӣ:z+xw-؉mbq-WgQ}4 {luH&lop_cr C(j6JqЭ{]U9ՊC83PHh$"LTWcxtgo2bb~ٵo=qٳ&~|Azp4q$y#?|@`52HRBK!:gLE,#qE4U]œ/LR /yFŘ*r;1F{? jnbo/3<_^l6S$[p,xx.B xSa)p] -kL@$ȮH?f΃,&LXIq_s NWDk3H'3ʯ$걩3eǶ. @uw4F9v+%%# u'g/b|njcϒtHua$(bc‹WbN}%"~ uq;V5Ap$syl2qۘi1BO\mF\?Q9IOdt^Sп&3SzDvsyMP[M𖶩 EZq0OX(urDǠ~]cØ N 92 _BB>~f.[5ɕ;mksChK=mhl8=_1-6Vn;i #m{SyeT{=5/$#H;jvȔXfe]n4sH{WZ|K6H^q}ԏ?-ee^塨 Ѕ7Q jXsCp%ٺ:t]`ldW% :k`TT81`;~>(qPV{BOOKхøѳ^Kb?B1S_^ZYGKx3P%BL`\< qT|jȰ`Np坑&%-ෆMˉd~A4askHmF(oK[~bEި-u$|7O a8p4%G#62#VV''[_ 3G-bnT`)EދrOfppL} T"D&{3B &Axr$_KzO6LY9N.Q>Ҡx :W[ Kߏùd=k处&1VBt"Q   Ԯُ69, .(2zQPHqfZmڋtpxaVn cXɨFܬoe b?B*Gۤ`2WhՅdr?X34ǜѐBcf\T %yNWߙڕ9_g8iSK`ð{ntG/A!1~ M3ŝgn; /L8RL_$w9(k])*pWԂcAERoc:`y0>aV%%'gO"f_\v)9d-n=^Ok̒WiF0MCN1hL1!pOh${OEnݍPZ8zGNPUa3 _(Oddp2d!Bh)엉+:??3MqItpזq1#싾<ɐꭨF&yE01?;cqX`E?D%fPlf_>3Mb|{gۖNaV %7leknS`nUҢt "s\:+%=3SnZaZAm+p0Ŕd3fkpꫯ)ue1ESm~R[-S5[2"T1, CpoPr+p@rSmZ-<4<['DA?Ih\.e֢yh&o&$tz{ZػP|:322*ìlܝ#&J9l2qTUvڝFnwjuby F1Ϟ39CnaZZ-KHH ٰ-MӞog\ð; [$tMS䈄d7S 1"-UI nϡ=%JT_.ń% :SA{Ű![X`#fO $?!(yb˴1=YmyI%;T艾މ4Qy.bZ( ), Ԑ?ɬ@xʢ< G;9JY3Vw!Q)؃Ȟ%YKXšAH3ykX`^[V 6=7т,[~Gy-͎~F E(/_tBͥk1U4o@d "eKnHP _Wܐe7|^N&+CAp{b?hsu<86UL) 6Vf;ؔpɁUcL5E%inbP"I"1k h )Ẃ'2Wk6,pJ2r؀x?O E6ݚALDHbiوccSbS^ M\xR4PH^+56ZEX27$HprQ /$av{cK:r>C_NU:ޤv%Ўos“Lw^LТꮾ997{|>`'~GAHZtgoX\?H:3ơiZEtSPT7EκL#1Hj v~i6G >23K\NnieYE ;@VT<LƅB=zç>+A x-M7]l@qBܞ3m6MF #ż57]Xb{EIz@~GF;j-0 :tܬBSc(Rrĝgr݂VBj,#ב >Og@N"SFĢX) eD^[ykbk#y4!X+[%jDvY8C*׳յA+eMe59RJxh-ӓJhϒ=ID{|6{Įh׳?^)®¤ï2U.J ]`kW{bS\r1 W`9::hA]-ĥc#10ClԎHP :`/~Dr'MӒ5nzUf͔2u4-@T\9Z這'،6P} { ~6NJmtln~TA2Ľ' o!}ZoW"WBǑ4Vȳ0C#MݽfSiǛc<ɮ]ڨ>m/Zגڭ tWsr @J^xߔ'\>(?E`+@]IR6v$T**uĵƱV)7ٶOv~Aㄥ:D;Fԫbš_/'eMIV0~6kmm'/Aq~`l sZu\-)du.h♓koŭS~o)\zﰸ(-6b# ܥdEz4'ت߼ZS%Jɘ| N:w) ֬} Uz9 |6ڞn4+Ua85#)p+"nZ`|Օ0u}\Aq( hw[5(ί)*- gcq١߉?I, Ɍeʼnr;-e0 Z[3ҖgT]/,0snrNwco"ǰ-.-t W_+&[5-sT?N^OäY]KU|TK^Lp (S$] UU}{wR [X7z@Ϟ &PޮmM]N)vL`L8x5RTNC: [cŐ; WtFu# m\`mNQz*|"#Zb~~"[߹返X#7n5,R  m斜f)@o]sn=v^Y9׉>E7~ߴIAaՑK0SYېUKnT-ϦR~%܉`8zhTթUXteޓY9)|\^Μ9,v)7;NdZ -h]YV\ќp_i\"{ORjETMaw7ۛ<#{58 Dy~( pٲ 6%9=(+-K6 ]mEXTבBI߽- ̏'VZtz"$2Z+s5-0̗fQ^*_%*Fb绫jo${ KәH~Pr4q{mB㽦y!>%*=[ONIuF S?h/D̯ѕ~w Lb+6$OH3cE2m3zNRZX9þ]y|' 3!lշ)23 ݮtq+;ԡ/> 4FK#۝%4Ar[VnU鈆+~Ӛ,Z;Al(.`|Q/ $Nӷ:5i hJ7va3Uvw0 Q;;7]H"UHOLޮqBg*6f7j'#M] *Җиkt=Ez )[i Դ h }t==~k+Qu$Gp>ϑhI]{;ɍq\=Jx MXy 5jmthF/;%M.A~C#{K3XktȃHd8lzYKLz9/S2%O,F.qh{ȇQ1?~mS5>!o~;屼U/񢔅~(c ZcVj-MtE{|W"< u$\% ʽ޹~ P ̂SɈ5ȝ:p3቉|DׄX8wbtwS8:Y2$HsJʞ9֨՘e #)r>KTi(>$n,9Гk]p-gqW> *8ᣱ=ZdHO$޽C`[-,y2G< `9he;n $zss3E8݇SPȜak}J@ؓ~]/y0QG$3,)GITc V IBg۳% ӈS'SY>i>~HzD .?f_ b4Dspm˳c= o~hO)9U"9E9]J7`0=qJ4r$6Ts TՍ[y2H N܌1+YP|AZ֝u:K-Ѯ:%k P;R?˕<1ʶ{I\}2 )$EV {GR3Gaomx;!%Q4OD"ˮH UmfW2DoF>\8t: ern]ʺ4K80gDyc!`D"ي0N>Qg1 T yjL\٘'!1-6s V{_cCYhz]KyneE1h:MRVN|V$XUILC\cho%K {/B~}C>Rmƒe1z֝2<-Ϩ^K,p,BEϏd\)+h;zQ +Y7 h߁M㎖+7{h8K η.{M r"Uɉ۶ G}Mj)Wu,b.ӞO 8:;.[1!RYgV`i] ٥g8uSMnj?1șwH `<Ǟ'Bjˢ` T80d%X(EI<@N5 \1FϖEz^rAS@V єhgᆨ5 ׇ;Iul$z(Q<#&`^@ǰ NF#NyG@Q^Fzz.pO&]}j$t9O'e4.Szofnb&JN?qO C#Ig× R75ayMD FG/CG]ߟciC Y) C .mCXBan&9q6#Z׺]=͙ߗs=E\[b KK=8j.XI&eߘ]2IX y})JWi2O LU'0r^#v;6_LkrIP9H37<ZX:&X%)moTܘQ6AS 6?6M!XgAD)~db 'qo'_ W, `[3(HYvG^3ɣs'a†LyjJ<*kV?L<޹|iri2*wVZ٢W a2|WF6&vgC_F?y/L, ^٪;@Ncԋ,uk_Lח{LoT/`RK"diu:#b{-_Y*F7^O(hk*|F;ϝk>c7wRaN4dg@sG vt4XJf,OEdn".AEϒ=r_J,?:܇9EʑV}ҡL*[O-7~O?8}{H :@+MID`Vb=$N*fÑ"-ύqrW7[_OSYH\v ӗ͘Xz"gɵyh@/6N6H7?+Wͺe<(ߞD*+Z r[\aC&[0Fqٓa+1ʝI0(LSB]Jc{w ?5|><3{t<_-x a8a' c[7"H]ӷ8?$7T),!]z*~Kfp]\_k!dZg!Jtd#?= NuePFHnQ9 蔉Yer .^[ivPR PHJ@mCe“8:E¸(j%1z'Q|^iS{8yoScihpg3L:oTI"'h&BNZ_-D7Z clHE (CKVaYVK?O'QOͱW)Rd3p" Gǿ :^C^}wQJJ["I7 F[~8.7m^dWi ;㲦X`xINM邂ق˺r)ў[X~ݴ% ,EktDK7hߥ[J'״uZ1F5d.2FNw-D,Mz+gpK%)R2:<ߍ80 Ig6(ͨ τ5Hʭ`=M\j+ L?@6 59eYL|^CD?PmPd1W*bug}L*zZ^'RБ # M1|q}4jH_6>{~@4g{?)WFo@ugLg-鐐2?uϖyb'@Q)NHwl!v̉9m-M6:aVUo,ef_<}bwqzui*S]" :p}>[ZK!څ䭏S,Ԏk.v[g qjK pa 3_bQ[ .*fH"ߔgZ538_B >5t~:z,)>ⱑߎ:sWJ7C[=)7: LxvDJ~(|ڲ-Ҙ'b7M]!IQ 4~d-WL>kŬswPED̽'F 'E_]f}SO2ț֘b~v>-diG2Ww2j^ +B/)&Kq[=~a3*FZ[@6s8 :UII槜ކ_zL:[aqN1 G8|x|UPrlSJP "2ܤǩL]-QI=@͟Ù8W1$62Dj8YX,\BZ