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 1=t$L ] HOL-Quickcheck_Benchmark:threads=6elapsed=295.613cpu=1212.532gc=124.572factor=4.107zXZִF! 2]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*YGYQL_iiL Š&|nԱ}'1L> ؾ=N.?f=uKm fWf]g&yiq Osd3m.*^V,h%6҂9.ˎXcK Ii&/BD3]P:6'5ѳ=dq\͒QuF#iz6KY6 lu6uQz7};Hʚlw4dr#8tIkGpa7-ڎz[ %;Qyshň^(*IEg=LYYc6n`0*lw "mk5Ӷ5RΊdQ$"B *axPBi~ E~b W*I J6RD`NUryV_w\>H'p8AHpiT8Ef#`)VhDgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0e;  6UShʾk+KL76 rK1Ȝ&[!%-\+2bNdݐ^f#|6wqZ;I:OdžZsT!-G`br➿ R>`'kLo'K'~_=Rw<NI-l\q:eѷAa/Dĕ;>H0j5p}$ j/;ir(94)yj|OsI.ފAAX<(nؐǀFwvh:k|=f8|/7v$.;>Z0pÜbD )_@噚EiUDܼ }$T\(XnK QAwrW刓1Nbbdi@S > ~`je*'*f>}NAPgkD.8VC)馟++j'7)֩\ _o߯bt<;"dJBn!)lR rm.l7V@JAgw&g$ͷi1C݅_҂k*{TOE| gH:<"<=wWct>]CjqY&/C W̡F?@mlTMr>^ Q˭$vY>讣y<r,Ba#idLf:,/A֌MF`4LX8Ew-32؆fgHPPf{UG.>2u.2q;v,yAfkSr.ޞv'Ba91 gp~QꦻY[?Q!.fZ9F:K抑.C޽VTC& VO@$ԲӀϐdl?9 g$rqJ*ϓ&qitO*)oIjqcX)YXKd]r"R@07bm.:j}s!\ߍ˝e xjNV`e82pt pO1BLF[ Q*~lq'- n_shIL}G%p%$uA7էTr װGR! j@JJ(=E)x^0ql=y^ՀC)jexB NxQqh$ ٖEEYtMj ͺE!5Kuo{|>m& a,K(.Ie|]m@{ IF\aMy8O(6ϠAO4D"+šSGIS(@L({e%=+5"ﴯ% = HOL-Quickcheck_Benchmark j= % HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument.tex7zXZִF! `]A-MՋhvG"uIBm5ij `W')IfY* q z|H-/$Qn2f{y"Сis& /m)c}XRr"ɹL_A5H8bC+ސ ۍdWZh$d ַNyB1kKS[{X)s5mU)ͤKJ1|RkY\F'T rڬwؔct>[7ЭPj6m@W 'áiP{Py }5|ˎӦG0 kuAWl I MDq| !6Sd3wJVd^(®~;`o*y!`O4$Teg;5.;Y(ɕlCCp,K҆MlT.P9@QS(/d8TO$HD=/9peVxLG+oVS*‡:؞X;{ 1ksV}3f(QcV)gn=36݂UTTJ0?( Yنorn8' TK τHjp7[X[n׈Tώnx٦4ent<}o!^Empe e؏A\ucZj-]^\:e]\1oj9,pP@m@/|*m2PWcYt#*Ii=*&v[.F]N%ո땔B3=yr fz0EftADLFüBnRnPsuG9Q#M}:s/CMܫt?Dh˸P^̅EDw p{8`N,K8TBgYZv=s% IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKO[7ЭPj6m@W 'áiP{Py }5|ˎӦG0 kuAWl I MDq| !6Sd3wJVd^(®~;`o*y!`O4$Teg;5.;Y(ɕlCCp,K҆MlT.P9@QS(/d8TO$HD=/9peVxLG+oVS*‡:؞X;{ 1ksV}3f(QcV)gn=36݂UTTJ0?( Yنorn8' TK τHjp7[X[n׈Tώnx٦4ent<}o!^Empe e؏A\ucZj-]^\:e]\1oj9,pP@m@/|*m2PWcYt#*Ii=*&v[.F]N%ո땔B3=yr fz0EftADLFüBnRnPsuG9Q#M}:s/CMܫt?Dh˸P^̅EDw p{8`N,K8TBgYZv=s% IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKO-$iΰLݥ0fpx=E &wl<_{B秔F/\ #]c0(.@̻~k Rn ߒvPbk^8!Y tQgVs9 /C ORYFr}F2`zk'LAE3dVi"=5y#T>a/ r'9{A/eljo<X+/xy]7DaHKY$19=W/-e?fq6jM>v>ɊZXa{ h9 0aN0 5-U[ie rO/c8|qj@=GX(V&I)_2cb T>T}DxmvY FPJ|`>H46)P3L@nk'-b9Z'w$E3T Hߙ~$}\# ޼ j1_,7h!(^'ۥ;y;=Sh,i'~ &߃l@K3'գud<,{z[o)Ō0>Զl *+gV8_O= #sK8jf<#&qu `߾gdi:,Do_h*?B=CPvdT &^6Dv>Cдi(/2B~ >~lTC T޻ˡ_`ǻM蒮>&tG w68/[0p> n8~ `⩇$Ey .X{\[419F%Btq8^ 2nE,o &|Ī=) VS5*н"N'Y/ 3P ^s_t ~]ɰ"_OEj2 kLqЬoq=3N __𔀇nu}=QX?>y!Xw!5oԄrkYMU d^~KW!\B;KU3ۍE?# 4\:gJEU&9bOmNrbP'zY髧EzS*}q9J:aw'?&k287,a*LY=ڙw]bP:ֹSv0.'Ae\?[;Z V6P~/kE ;x/pᝰʠj24?1ܹv'$ێXf"ءL&'r;{ Ј.`*r qC 2:vpmgC 4MHc!iHEH³v91ʿpUJU`woֆnR4YJNb_ӌPU.G>x=l{I]K!Ka'=YhJ__8K=- ? ]PC4߻cZBAf4!UkBa7 "ۊ3y`% Ԓ|Ҫ!y:D,.XmЕ?cc6H*:WȪdLbOw V<ʣ.뫍9C* rgj˶)5{ nU6 >m49T ȼM9 '#IpRA48 \ ỖH 粘_p,R=8[ A;<{2XK;y'=.sedV?)ÇY5[FmU$( \mWiҫnY =KnAh +jðJ͞D 2z\U.&xU#u=7tmL X8UE{=.Mʋ~`ӗ;Sqx"!P3]ų٣ (W1 awT$,-q +u``2d(O#'I >YSKѱgYZ d=% tHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument.tex7zXZִF! K]A-MՋhvG"uIBm5ij `W')IfY* q z|H-(]Ry\!80sD5b"M҈\wƋpL,ZSR.b(_߈9`\ wp&ɲ!nj1Օ‰0,L HaUhjdGIp(Of՜鵹+-;[u s>@. 3(jFt.%0uWmaQVT%V^OׅP~$bc0qHu-jb&RȌI~/Fa~8wVoDV*B#v ;O# п%4}1̯Mڽ{wKRwMjy84G(%'$hv](P'0D/npd/jzb݌BV/-)$rmxQq/7VQSTz)ܴ{/@`mڈηlm)W(㔫Eۅd:nacYNGo IإiUc\-2EcIo[:j޲CseW ́$4iZ!eز7J#r`xg\B&Hbdhj2U&R]sݢeboĮxyF/ FjܶYQC}/(}7x[KÆ<]WxUȆ>ӾΞ=Ͱ=T-KH@G꘠v772$6~mw.$`|%!/YHO_o>cT5<–$l;Q>Kmsq bDz^" UMg)ȱ+КASi#DTn؏Ƹԛ\G]nSN`RC(w F"{')MuKW~O HXxܟٓ8oxXk]+bh$RQ cE-֜4.*ɍS&zK41ǰ>8*2,N#aCv$GޢU yd֔b"W̞noH i!kͮNlU RE`^1}Y [~L-isŗwgYZ .=% HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument.tex7zXZִF! L~]A-MՋhvG"uIBm5ij `W')IfY* q z|H-xK_5r fqjelMSEeey_x<6spJir*W~62/E(Tv*Q^ǰϛy؏ι.NoSt|NhBZb A@ &T@zbgb]C;C,b\3;~YszFa}}"ttZTP34j^o վ,2GeUJ !&6!s[s 26*;b!z!T*~Y"8Lu+! _ eF,nzx1F-|:e|ocShU  CL-=mG4"eH~F᫸8sUn`:6T~:M?;ItoX\oLjԿU_=Cm4(\oܣ;| dSβN Zؽ}>B>q%IIVl_u V2p^kuT>oԭvsܯ/`}cCBtb3ZW犥v|9nC?}L,!(."W<ieȲaO,o8!>?yEVmb2~|vk].ۂ ~n7̨mU)R ?疛`N kC%A'>e#ȝ[lwp3܎۰"~ͼ 0(4<7BGQ9mJvk/.=!m|x@ >-׉$ɧ:O۬OH5~If%Rp[_l[ CC!hpt}! obl}A;Jsm]7;ȏ ty+hBT,HO.itɩ % ܃0'Z`bjVzS^Hk(D- ? OvxlxO5%^uQ'&A '_CA ;cv@lʖoOːdk_a3qYEF bs$k<iiom`W|4M,f^V Z͵LvJY"BK)GH4Ƌe 7& -眆e!Tk3m/0s2`' !Zt7=HvG+uЋg}O ʁʡ]Jm?h/@ұgYZ /ݍߕ>HHjiGr:3m] ]62ue:Ey%܆Wzξ54bl~M n>k ]'Z1#z^iI_K쎺&˨@[XyoF|}]ϙTS@ 7SD\nYt"Se(!88=Rg{yQx }9ï,-:spr$m=RpT7?qˎP@eΖW+J2hͦ~؛VgM+2ktڊ/vR#n wv8 (hw-0h!ۿU?/{L=]^2( TR#'Jnf+cT[bn5+U4KILqq"ʀ p;U? O6w+0#j[s|?\ۼ.<f~<2Szp ϶&:Ush!7x!ŷj(,'׻~k\iL&Hh^qMFK\iYOْhb2:^;!uBf;E<0ҞŜ:Fk+ul&MI6[$ DxOs9"Pz-xǘi9l1&R`"Z"m𜊽HSPWn'`b'VR}_}ҟs$ YHa9U;rԚYGgvAT:Qs~AAhpМ/?(nPr_@ ?%!h'>狰 l>TݯG/eYw?|ehsY8n˦ke ,&I VZgQ)O6B5=-yC,]J"iJ\kB{Ci8ʉ]H84_wFUG6gɺ?R'A,dh(2jӠI.y "Qt+,2`Zj~[*+ϡDr;d; :ԃΡTjAf97%kHr$U^dNNj+-Oi^eЙV&%C:(ЫVF 6v>xF^G|oM/@@Q`mF@/c58tP﯏:.q2[#I"Éjܗ3EpCjIܶ]=ټ= Gzx*R dq@O|wFzuj;o Kֈ$ E>Y裿Ǧ3 cHW$wu1Qq)EcAヴq1/B\`%xrtkS(Kk~ R92κWAe=1%v]1Ū`;H3M܍7BaIp0 N3WvuPL>fDt?ܐ֧w"oix(%Ķ^Pv2 k3K̕. S~]!ik7Gj/Kt\+st{zDj$.)7@wMв%9lW/Ĉq.|cF0"۪et);lX6ǧ ܎^n1uub~_g >zSE(sm1L뱥sjmZ$X7̺BJ96qdE@RR葷!lj\<4dE NðT-_{Hg@cO VQYxrz<B& 5A|3!6pV.*RrޫEbԩV?PUTDyE edä E=$cƄPt] vy"jj.l:Run@'O?pT3+uWjø gr}tq${+}s-a&O[4)8OkIm~lb$8n￾l&45m_\2K F$TeW/p_*AS%[j*Xyu{QREh>Sѝ`@:~? 7Jq۱%pmh [>/oLxn.A)g ;=yKD :-7Vi<wg3a}V!{r+ϖ=7:%ǔxvڥrԎV jI ;E +Vp8L9|)XK7kS}N{=kfP!ܝ!gɼ8 >e |7mtO'RP3k :]_Pa;"7V{3OZ3qND[-|AX7_#Ls$ Y+T(4cMCJ0RsqW"wh7YQjyܹENPpz!_Fs-ŜcE(ЭVO䯩ƶ,x*&/i'cl1ny煺6E W;Rͻa1?ak&j?'HCLÂ*9;,*-b/:IF\]|Ӳu_mm+-b7ۭͫ;Q??0vNXM 19ʝ j +8L ^f#Qn0EuPguMd 3i[Qs+īݢDž*jhC\>F[o@uR&zdu_Zs#94#RY@S^hq@w|d@gTnS1\&4 SH)xd:!`mIS n^PGI~Ͻx!?y_vդtW-迀t҅$հtx]+ZOI57کAc=ve;ĥznOQ[jܫ|_3[*6r8 9[qm{rPWQ}{'F >ĉW.lgDN/X[&wAv!s$|G2%fp3[?IoU~Z5AʍJ/4>TBsD>^!D7npUWfQ*Pܕ]r.sZw^FZ7 cBh[zl%ȘTr_2DLBoۢ}O*b\X((;cGYsgWMeu̓%0>p Ihkۏ `{v6Q-* ZKIJ@")TkUSvYFY0zWm|B W[ \>bҙY):SN=3A Rnx?4|+˩kW 6F9dQ=Pk!q`oxKoWXjⶶ{%jfGF1kJG{FYWg =Kkx2.mA 9t\JuKa$l!yEЊ ,?{zFZmi^|P ΰ z L%9dSdR? ;Q:fp0஗D@'#5 1rܫz\8Q92gqs%}.KcUwQ 4$ JqӤ;Z"ΤOldva)49U$8ydM-+Q 80p"S`O rkfHI[<=MB]L6MHA. J-mT=~e$,g-b"Km]`A|_}-rEn3d+8GU]da_X8˞Ŗv!Y jZ5kѐ,>!U?M:tV^#*YwFդ=p_7]'Ggzm=KM=V?8&Z&sph:sW$r(X㛯Uşya  p0(Dy@Z'QiIlV{cT+Tu#bOUNT;()U*ם/8 #- LVLe2ܳ@_|[S Ft40]P ]͓ic^#srw H!̕% D-B:ˋ=>c Ds|~买yQGfo:~ˌNwVFtՄ0ށ`-"87 DfWJ9%Q &48wxR7]]'wMD n|C^"7} 5ۧ+W6Hn;~jdRJqmx];oIZ3=8.HBBp(ޚ7Vٶ,Ik[jf_*aqz,ŐhĆo,۴~ڨ^C/,91;;֤eЯB1' s!`Ay-` Wb~ V ^u^ىwCq1x{܋"KM ʴ_uy#I|F-2ÿ{sI47S\i<6)fX~j*r^ƌcI{v :\tTtheѷ$ pfeMӕ=7нB>M9 DqsLr_!B`ՌvD vR&Yv`ES5֤"n5 PHHUR6&yMx /^W(d-QxY #/B{?JvWͪ7פh lcM˦b #thfH4]-/v2QR"b%L=Ihc a7:1UJ$Ct9na`4rA@2!W0ܸKS@k!) >G:]e#Hd@ ijPe TԂءJ 6h jÓ|bh|lmI!XE WW=>n+8g=YښꄺufB}*ei` |;σX 4e5nKo2Ů Pv<1+KPH'ё\j[IFziu; 1It(T!<8/k4W9,Nv9GB(D&FOV%I4VC Ƈzb=O[e&%Q"@gla)!7Ic>UR}-y\! H$7 WD8T`aؘ8vu*4DTE];`4I9^:3E YAAe7?K}ۡq(aDO+D[(wQ/ A_n1+r?WfsSš?j  _mQT53Jl 0}F%e>OǺX'*J Ml;af_IFVťXTz4%zb^&xG1I]N]'dYPL`Y @ÜͅSʝOCQL3޴1]3k2)gqJP)3v2|4m)2zT]Wk/ *E02SIHMOt5WZ;C5c,쫉vH Tk$K,[$ OqķT)p'uq&dh3UC+iPPqw@Yn̝[Rel6z:w7ߥjU} "5iփUk?}/q$6L,83NL%jX& Hmh1U}|D.V@XmB{1E<Xȕ° `HjxG[1nxp_ 5C"Jq^tsCկ~QP#ȵ g5( !<-!W+~V)3J++8:TӕeΜ!D];X< Kj2?Ȱ%oR#gOyR<'P !YXYDeկM߫1u`rC,&~9~aJ&L0Af4Fj 80&'G-~dV^5Э* &I+2ʣU'k7!0lpE34D5m (-:;1&`0_VB85h 8{vK*ctߦ\ `JlsG]"frF Y ÖПkO}JNͫ(Dk:*g};؋47[IޥJ/I8,C aD73]R{1@'p p\nk|="gܨ3 n#53>ʡbCg|@E6[| =-J_YBX*6NA_UY[Ϩ c/huA^-mǒ-@k~Ǜ%XsWdJگ-۝B%@5D!PgXW.8S@7 #PXvqobS(Gf374fT2JI4‘<`+R\PЉW jWON؇GN> DsE;G-N^+UNM; vh 4{IQ07"ȺE:uZ+I;BԚ7xAOMv֐Hu'T4$Kano!)\ycHPtԟt(*v~&q$]Z$} canugovUddAaTp|YEY4~ە c){tƂ{s<)T8Ji<֒->Y"l^24͵zwŅ{R} honVP>qcrMR{xInt o =r@^'Й:D.y5ůdV R ˙O45K`{fCpUF(^L%TX\dc0y nŶ~!p0_~g Y,n䢪qbʛ9p+NWZ^{rBCBtg,Z44l0&aY Y~q/ضXNs:?0@^6B^wsb`FX+RU]&C|?8Vj<R q`<&Ԗгײy x-iУ" pv̼+h 3YX3ɖvGǚ8fH ];1j7c8Z7갗a/^!Fi8{;Ziszu5µHJ4%בhQkCܻd! :7FMís =^Ct^\v66%Piu2۶٭ # o&ڏJdl@4nC\t?o0qsDlʍ[wXC%%09 Bv%uÃҰ~ס>:RSq_E(&nh)yn$t|'>ll5+v`^͉M)RD$$0s[bT4pc WޝV@+מG`8}qS]-RB#1sCg.x!1u e֤ƂR9*"K`<#K6Z`ҥU P& ?N>Ehb b=Bk~\)[F($Rg5yHCeM)LNnϹ,*0G^ssrg$Y3 Yf{TmqmWvbUDq:d ~txydp\ N$Z^L zJ)Fӭ3"Ds&=f2*}՝L j8Kd$-܉{Q-:=p13q徬=:I#dTkD8,9 OBF x{7[ .qR0OlP@ZC!퍐 FtkW <}NRYKd|o}-)h]0 ϝ8;:QE9aT4fl%^G0wHyV> YqF*w pc~̎xrW5|]k5:\CɆ{$ .q,DzD3↊vx0Q<.oi؏@ˁʛpaEvTWW &wEUZAسp4>N]رyJIg) _b,O2&l@ {ZPIq";å]"%odWbC}Ǔvp e 6 *6U]lH$)Ayv=_ }PKo]Ps!42Cz%rC;fwo1 B R285_ܞ{Ycu? u~I_q^)RvX u8q©O2UjYYМ$qy.p6{ga iPG zDM-ʘ2W KyẆ=֜0 D+| sh`A~`2ȥX qld^$XGFrUk z.DEI%p\="&y<# zU~o5 _dw34 ߃8kSGMLIY`۸,Raɬ5Tms]٠h"Ɖ{$c+*pf~#FP͘]fD\mЍV&SV)mD/)j((<.VJ@E CcuaYgA6zo`de38Icdk4S< c 5ᯗ„mMґ$ZUYx588MAGh^(|>:y8AfѵVC=XgHa>OZyd#)(fW &d4 K)W:,qbF6b2ϰA}XC a}F@}ZF髠=P h%ugn|/?~ċb ~F +Q⫔aYS2ZnX~uc>GP*y#B;B_T$:MS8so凡xBGTZV.=Q6g#>4*_lZD2B&)RZgS5yX7-1p^㧛4ԕ5-,rW't|:WtG^oz *שV29ʅʺ!O@=,]?3}&.FvXV3LbuC祅3;M W۔^#;?&'B z8r31>Ӳx6 GA4Gq^@4}T,ԥ.1;\Z|y8C |#y,Ԑu$&ouy;pC$=V{O\.C$ P1QK+-q( p $]z-KN$u cRO{^ gxW=֫U}үa[AKXaZޭttcKUKRJidSsi9+4[n<`0.Ä QFnx[kb<,:~ =]K{ivqoܛ5>ɗ,bl}c6~~ߞ_n[AOQ{$dCQnTg(w <ݎ UAQe9'n*ԊP GGDQe'vzZ| ';t tFy;@iymEDck7D2ƃ.TJ $ %*nDkUC.YG Z_HYe‘s%AoO+g厍l-ϹԨ94\> ӰW^i2wN*gHٷy&D Yax,-܊G3XL휃rDR*ŵx- xµSr~=M,k}M- PHቲqJxr[ y'v<_dF2dprګɵ7TOBl#qDwS-9l5}posKT9&Nzي4?6 08)Co捫NpIl۶ѝ:TŸ$?;HÑIͭrߒ'^oV`$8Ug}&0'g0ХSRso>9<G{T+;?!a*mW,=[ KRy+ͦv b{wqM[ j') w=8\R>4m1}l@bJA䶴pXϡeq cZB8lz˟%^*XauVN%N!8wkkA+5wypF°"nw#|K!Zw-aHPUxK{KJ2U-]@ e9=siS3Q|eO $vtڽ(2/6Y䊨ϝB qI탺2bǔk}KvեVre(\1`%@1fB, }>cM=Ll~֢~](,|a\bnq5Xz@ΈU ɛ.oak.pӭ%[-H38kO]M^3ڗ+*wQ]_Z*^ rRMb/A?حF/wiH@~/A`V'E ЭIKMC^:&RMXv0Z$"rG%0$']Swv"1Zk6!qɯ,90?y9 $ÃtPhqu[ @:C_*vMK93]k'HT1۔zb/f0`s\5~+ۛZ0l}Y(@]KypJ]:)P-aB*Om/e6My:o%S'bK+~i$ĊOKFR1N:l)l TM\Qt460a֐@K=RQf=+8Nky*F,6zvH1ҿ`#\೯%>uqV\bٗ Ywl6{Oۧyh77['umU;S!K4=qkZtm˓ H悳: 8Ai-bvs̪ ̲CJk`rHݵK 7ì"'~3t&KMZLjSdƭa% 5js >ԉox.;lKJ[T)CRu|o˧ޥtFC<) KKT#?Har_([]#8tS%x$ogˀ0cCV?aO9YQ #BA3 l\XZVѵ?R"z"T̀s9Kg[Dr'M'zG?6vؒJ@!JO45} 5F S@pk5heҵ9T)t' jsI߷Iui66~h^p68͵sх! ~EgnK;EHxPfQ5fIَA:tRQ5rv#ޞ+++5rB^AKo\{4"8Ȍ*iEwdJ1(yCjd 4d ZuiM(M̧CxC+^%(.rfPK\Mc>q 'W-G#&&4'e\ˮ*`B}" }Hlqu>M_ +wK}4/IhQF|+; jϧ46lGKn Zo ^uZ[˔{9otg{;%L*<-w١u\p@e2 lqMdEpt( E'P9+J lI'{ؾ'4`Nnޅ5WMMf?#mS?n V"+ٱR۷:9* N0haQ1XIQ0+`~|c9uW7w=Tl.i-cij "djѰ7me}$.]p'6nE` -W<*)kj([}ȧ8@P|W;')N RnuJ9c3p1RϢ8/mCѼz]rBJI{">0Z@p8I22~S})њ?dg=@;o4ej]