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 UU =|TD ] HOL-Quickcheck_Benchmark:threads=6elapsed=283.302cpu=1362.236gc=61.7487zXZִF! $]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBx=N2D8iq3ʭ;95gy#kDs8nd _1ޗnbF>sA-%Q@ xP:o68U^ ]u4^њ@TEq5N&h6ad{iUu_`\QiUL!W6(Mu\G/s V_m'Un2Uڊn &Qh{CJߪ!Z^2;=%3%})UAPݬa N.dd6`u8e]l ?[oq{ռF_aB}<V;K*iQ#p$2qOM!"z4/L">ٸ?Pȁ9i<1}ӣu?";|M˨Zy>|=' ,gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdלexa٫qdpOpxzok=Mi\Ē!I ZA!ңȂIE@NS [l+"a)ԀwaIXY¿gYZ7zXZִF! \f]ŗXi%L+o{1p8臼p־X0S}.}&ٚaŧp+f>#s +0gskDA& ?o{B=s[r8uJC2|(Tڔ*r.[oAj?q.qoí0[~dKQ* Wa;r] MX OtA9:|2)g; oˬ ؔ (MhugN;^[ 鱒yV!ujϒnFuLv5I=htEVWo'AJ8!=fX 5䏴nJK+ $q#>ؒ8>_D vDR0=ytiN (Cc;ox2h-)aM%(h,0by(- R7')HU=q{Ldy$,-%Jn(cypI@ }Q+\p#hTׁ]]9#hĺy᧙Q!alT:$C:7@ҁ;t:NֆFH+3[;sA6a,O߁\oF6Ԋ0ܺ IYƵ_mN>^P߶´@YtnSx; ʫF (QE`CWqKp; J5/zJbs+jÐxb* ’~ ^E }<Ӌ,!E,sTN?~ 8#!N~UxB,+]D ϐ2TRD /2<ˬ5*@f:M-V0JG6hNNI\+Ehq-z~JJX0ՠUt^>S$ccre kDHyy^!]f'&ocux'Sԡ=J| XM:zg 1rJ&M-9o8+5^𸁙\B Bkț_.rn% q\SQax,ׅz`l+=ljibf)0 P6 R\X;{xwDٹŨ`Id^9&tfGQQ6}tt5$ ״) Ÿ"q)$5}}-Xm7~`ۈ"XOChڤPs7gpM {Ѯ!ydʷPā LڞG_nvpcU$ŵ؂;_[m H`ɭpo{f2p _'2M |GS = HOL-Quickcheck_Benchmark k = % 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,K8TBgYZK=s% dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>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,K8TBgYZK=s% dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKOZb 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 C=k% \HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument.tex7zXZִF! *]A-MՋhvG"uIBm5ij `W')IfY* q z|H-n>-$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髧EzYY:@PgY+;%w{'Su_Uwu`/˄=7t x Jmjanݐ2ؤ/`wv{E~S<擔6,A,lj$n D8鱕7-uvI_ VtJz]õC Np覯t yC;v ,nw&'>m՚6Ar*Jti+<|r; mpTݝM2,@ D}{b(PJXu5< @>#ܙt,RDJ~_OiiKxRs`+*~n \j NVw KgD?"6P%Ϫ`k룈\LO.#>yd Aث1 ، h!'L]rĮt#^+I%9J * (#-pW失}ٝ/v ,G&W@ۚ~kZɹ?DQ=4|v"\P=nȸe7}CD 2\Ux j#;t:23!A%Џ5q5O.60,?<IP7 }C etG]p6s!\ߵ1ϹP$Js@_O[p V8b/,k/0Nߦ#GaGuoDQX);݃,*gYZ e =% 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 GHk]?JJ&cm2kXrRHX(s}œrp|U$TpoE=}}A4*ߏ aB:9~t8>E֝~.R*>,'F?^buca+.bs`< ~\xT8͙=ޒ.ǜWWlx!ąAA`cYUb:SEXtӹ~ ܭBtꙀFt)׋#\7}O쭲QG%(GM V;dQ0wDU F>L[ !@U* ʄ6<ОmKU촰'-IWӜ ;0l됼ݔ\,;lH5e惂r 7(iR"OW-}.{`]MjOݚ9nޫj$8% itC%MLYjm^]3+`%QHZY0[9,MGmwMr!-XZ?ciU=~7|Gg(&{ꋔm9hynKe2 |)vh*9au^ }r-<30$JmC:K: ZpKv];\b=;'v-LpvkAtG-JZDz2?_ޢ_LRgҒL<8HPFlj $t\Aj?y{(籴)Mڦʀ zYu:4LDYj89UXyW|~]#e邉`=< \ly+!MDLdq:Gq,5Hx쐸ܹ#,q.s-h!BtX0IWT -$iXG/ञU*XOk`Bj2_iC>;煉o1 B[oy:`]qGw|p^CNݳyϗvOuﮁu&shOA'(KX?ƅSxL0)s?X}R>Tw`sJY1I~wb7}H)ìp =ֻ034+I2CݛoGSt]y~(MXʢ#M@ WG{ץmy 03;$6Y),r/pOwOR))5*OTZ K b46*+}b pݝ`)}%Utp+czx[_ҝ:׎>*~HΎMcZ\]=ƥz+BӭA z?l`:>KřЧqr(xDM!;ܝr2G*R֥q@D8tnF{G;+ؖ]rM׌4[e\?GM0Ws5Z_^˖t x";i?z$YphJdG4v@ =N9ޯAOoP*!xC y^u~AH7(f,p _|z6”fm sar~Os7 3{KtCڗr=ۺ9-Չ%B=aڹ*EwDž›svSQS[kH:1pᵼ%&RۛG:rkh}y( X4 *9ЩFg-}Yi:aTèB =Cm bB+U;8Yf+`:k*es2tog[ &y4QHܰEFCPouvE qh@ΜR]SyE$8' 9qkeha]Qץ89qZtG?27(~b`6Lza4 ƥ$Xn9:90~إQ²:OVc.G67^ro Ct#də:ȌkףcC'BMO'Kc`޲z I#l'4Gf:"I,x!p>I39kID W)/wJ<֦ $G lmA!V?+|(QdžZ)pgz^Τ M\ ...h.1$$XfyEe\4* 2<-E8.KZB!^M:>.Wm{$qEݳd !>fm 1䔣8+G\3O7,gzsDe3Sf-\;+rX5A6b^P=ˏ1ъNS)*V9IՉ?IžZtd<yŎ.Lu~Ű㿴&Q4&f.qWL/t8y5,]AYccB'o G*N! M_rWy/4-Խdf'T0=.פ3lzb8'tOC&?ue$Jp)xG$J' ?6M1.AUbl ]^@Y̳0c-ܦ^tb|0yirhҀwVM2L窄wy胸@{W;Ϭ<֨huٗt*Aۊ+siJ؃]SpImK5@L/Y1Xi"p˜ᢅB`+]2<PLZ5% !H? vܤworS-}E)(W[׸ޝm9. @E2&9J]2_ rKGҋW2^( mK`'WW'e'Ux)jvL\x(Rh pdIrLGѷ NXWa&bW%H>EuN2;=u_;j% Ѕћ2 J@_]覜2Ok+LN}.u~\ _] "9葝3ZfP1V=$rt'iZb& !Pq{m)P5gi`=V`t5z\V~03W5WBFҵMhD Qbtgw kcn (aq!X}B wб\,Ф޶`3DK4b/,r&# %,<,Y˹/e,٨Dpi*ʞS2f)Ƅ~7HL!D2Ɏ+׷uV'u D9ݼw^i|=FUYD92 B$EY?U&T? (g`>6.E{2ޚWp`)Oj Xd*s5<l.yהf6TP Eq1:Ymc3+ͳt3*άţVRLL'ހj:ksb_]h^LBb!N6b @|>LN'g$$]Qpjm_jX3<L 9~c-'v%v \enyӱ@{,1atMpu~`-%E*oX{ʦago|쒚S]tKΘ!= dn%ڤ0j2w!(Qm2'"c,s4 <>W * VnLLȺ{R\,_ZS#d0Jy6Cgs+OQqgzdaM#QU؍+GJ-P(e1{~(+L\ `8La ˩vr@٫ͭ` C Gƨן# ˡ$TY }^{Jf9}|:umc~z$D(F;Xve+wo!3jdbM2r"+151[PW$\~5KSW\^3ixvNh5q~ILK>B\t8;L(+g$H}ܑÄ2LbkxJ̈ MN%ξ8=b`kFH>C :VA.aMK >ֲ߄?=Ub3KmadF`aͫ BXmꖆW!Յ1?+ gO-B\74mn}d8*2/=9x qO?73ɑջe ?E׃)$$wz@ 2Uƶ{ NQ /wgxg'j_laC#H%´uA~C2kz<-NO`tW#/6H/]zO_51aq0D9=OFjHXtiS#R tLX !7ͼ{ll1J߾mmQZ |y !lwmkFL/A2.&*+WC2 #y?%?Q{&6)⧖WSgFC#23_Z>p&5#¿؁6. MsAA_ p7Fxm L?60ggP_>%?}Q&//]Qg)lP|tln^W{|4jԋ8Vo ԌNgQZ"JDGq7GNhg5=Ĵ*v6oΧ~y~P3h[C GCNg]vC4F/sPYaN6% 埱mEΠ&reJߪ9)@*l,is?teƘxjT^ eD7MI 2ZgQ04ٹZjc,zM1뀐ǵM_<l^p^[f;!5Yyys6oJH, 1]rR y$kg9-Ҙ$W2O&=r)e!*m$R5+M]2x-`(*r\Hb60jE!)O#:Tcf]C>[5ނp;B&zDϤ솬8ndz Pc1_Z41z*{R|fAי=0#N;x`2}*D_nHYlG0?ߝL2ƹ.LQ)hBPi;uKUǏi lSތ|8věHX8!eqof}|ҼO*Hb%|1cƱIکF@ޑ(GX T Q7MdzYU-ԺWBL &t\rK kB@\$OnA`o/pe3$24A4y#:r?KR>֤뗘SskBq 'r $ !1+3 tmaw,p"i+.|sNӔ$wám>WiZ^{"Z4SAKi02!}ӷ!9Fɿ#N4/u/^N>3gQqo9y6YiAr@Mb/*_U6UK.^"6gs.xN,YqTB4O|QVt e@jWdJWp9a4N~fϨW{#xߞVo1{7Sh)jL#& )z%SԽgWsէ8%t$W 3ͫ_:R!vt\Vx;ؙ+e}! 5|tIN.W9lUd3Aeu|:N~а;B!^Ôt7d/G++[ԉT_-@{)vV6 H )u|(|%\<&9<[L{ģQmn,Thr 9*_ "_: t  pZ<;9Siܼ{A8gcfQ]Ĥ?[nekJ4WBa3O;@:G;%fdgJrbv% nfTYSI9}2Kä@0 \8L3nN%F +tu4k>r㺉^2dv]( hEdr4D:$i(-*md5;4~tvqX}EO>)4 ls:NR@N?̎\J}pXC77[L”}tE$D5Gϒ:VR~=Y#i%5m*qjg ϯUF5%'ߖMK3߂O#d:4)qODFQڒңhX&3oF?P#4Aq4+;Ra+пxeX}<'"DnCUU{/mL[w ^F}5 4vWZFA.  ]|Xve(60;̥L8 RpLB+%5AW3Y`$1H@d %0J^MncCQ 1 Oхu a~tJ\l.s}m< 33et?0cb82BǶnRJ!ʚ5Jo8@+4oWDAD*$YY@Hvt3`ȯ5y9s?LBKK|JO:6AxXf'!OOGN|LKYȗ|F*ݏ@z4/`JbnEvĵӥBªݰB(HrS0cc%f3 T@w!5s Ht={rnqa; z͞]~F`k mhyS"׎(>+Ŷʾ+Vb^8┾P|l&|KS`ZI&:AJJ#˒~]qY^9P,oсV]n\UwaJÏ mwVpJD>x{.xհ@#Zdl܂'c䐩Ѓղӏ|{rȑ CIHV5NwIZ*]ɘn"5ޯy #.ў0RpL%vxvP+VL+i"lʐH~Lҵx8u!nCg|}_.尟B _od1]Ff{;ۤMqƒhvT/IƦl T/j !*=sLQ]eG 3wvjyDǷьF./JXeћfTBʪP˨| +[СYys=Wmk]45* C7w!CaA i]y1LN ɘ( PGC'+j&L7!< uiѩ(|bl]>M3MY r[p߈?zOS{@\g)jit[>߮Pg8K [t@'u ZH.LwDA=ɼ-dh'XѥCp1+rWn~ \!߇`6*=-WZyЫ]m'Fp]B#;Tehk_[FӸPN?^LdvYaYUY_3FVut o\/w};|d0JD_M&%1#D?rV&l DJʓX_kT|D֊'RZc5mlY+CnI€2l6kFЎM#Mw2QjD]Z*Lz[_̐ih?90vߜJM3oRмp|UrE/kdj SnEuRp^; FСG-],P)ox;zQP\8J@GO+5kwME&NTNa$PsRi5+=sfk>h.7.j~]%%nX"/C!'¸ּ=(~* ɹ) >u3 IuӉ֭L3 whc(rA+.tC3e9+%& `'Ec?Qgvda[an@Q{6СjR0Cd`Yӄ=@A:*M&z?$GԢn,#?&){T_dSQxBB:.}[d-=5+K)=+! >I #Ú|^8 G]"dd&}!onIBԶ;5;Aos j@m_M揄ɣWXIFpX Z ,08AcS?wڅ^TQvo7 _ee}ۭ m !a~kIN`BӉ"I59`sόs]bQkvrD_d!IvzUTq;G a^}(ǐkiL*zZB`}\"E;UH̼rS!z\ӊ^M a?>g Ely<ڟ'+X/8i9Gg`eÆ#7puBdսzuKKfҪ!g]|Ȅ2m!!qziĦqT1,t.*sZx_|^X]`MS 1bfdSj~x>uplWO5X؛ c1|L xEu=DqFGnd??ٷ6R3[x("5Ldd"9;q#$"0Z\ 'UjM4Q|–:Flu@N7l\ik+&34 SR$ݞW#p/&S/x.ED>P<3|J~x] iГōAi{|lבV\;pcXoj?YJX_~TyWz\ /H?߾,89NZg,},5=xS QpFsO2hdC"ĨuwWr_2>Yuw&Jk8-yq`x$ίaqM>[oKCK0u[B:.qK/B{m%$,M'bSib*Qk& PBK4[g݌*oFE33B]d&VGbiGM؇BtoȚkOT w:ۭN)e/׿I`nywaKc_ls,WR/PDt\? ȟ0]3POYk[bW%`ޥ΃7m})Xxn벥[,5%Wa npsveVqr wRgpœl#2Bk.oJ?Q̰߹n1NAA(ܙ1^@`?#z^xlRr6k\xvn!P5Ghb;M㭄݉pn %9DHiPۈwRoC v|}?R:p.viX,_+Rjˮ0!n`bLMZ>k)GN"Jw}kwNf[~2m͝KZNw7oo?DBTN_E.?pX BՂ'/j/`ӹ V*z#sWp[:Ϫ l_@| Eg `YְaQCceirdh`-F:|jbu'~ݪ?NOB9sZm "n`T)FSl=8Ks0^_P$x{s64j (8E.:Dv޵*ɭ JI؃ W"G9V6H<~ѣ,H.0;իy蛘a HN|Cv.u?9x=GgܳȊn[T>*c.% چogk%̊$^VH-4<=J˷#N:Y;M ?~HLqW[^yS?.ca!/y@( -z]rب ͔ٽ:72N:P3]Tz0&\/zQ &ߥ t:;wlJs uvUN&sn@*': FD (`%hR`V!G!ZWE^"Zos۝&fLjSFꞴ e&Ğ{waPmHiǽՙYI҇6ngaG>dnfK>?-5 o92$y4A*ܣ[lgUk@~ǹ閯d}{^mjyo_,J>W> r'YaEQɟzO+k.fu&o1!*W>WL@;Oj2 3`VX!,NL}tbr*sZ o}n@6-]C k}cfJ˸eG>/BZʋI.}84x`bCJ ,/@(0gޖ蝸\hW .qbBI[Stfx:sg0vɿ'-ruhUo~ʒV ůf!ʥu.vZ*)׏cpOO$/_"hPxx2YFࢊ`hGPE)촓xtžnl} ^HO@-l]v4Xɩw4k O#2+Ѥ>$U;m ޞa~jr;I_2};@gs'+nP(TgZ5 HAnYn#?Y,)\M|&[P/ȠX 6:+͆B*vhYͰ(ٻ@#a-*H:dFO#9Os^v*m>D3|P}:ihX"H/Oj,zu2\??XiZ o<}eKTbYՖ+~{XXg,FkO X# ul\ĴLO{~n5cl@ AƙqLr)F sVd^eU@N+Ekq_¢%& @n}@D{hNlP$gJL)p㘳=[!&#pT X+LYF`pe K*=4CְBmj>]FIz!kuO +F<eNp(:,ԃ Dc#a`Av)izĿ_q8:n[҃kkUB%(S!xItUT0 (ɛc=#Xh-W:v,K~|xUPٿMP; vf{{ a#EӘ,F>[>ދ0!h`%Q 7ibdƏj~{%V 93D˽OU `XZsT%Z3>6F0|#4JE/64S+0[ZY"M)D!/_TՔ3$ҋcdYP3^+@ʹ&pۼ gs{\7 d^h"Vc@V S ^Gڭ8&v9t,-: =8;_Z\?5q~B]bRx3ZEs6˙Q:ķK4 z8Z\`qXD'eH4ĭx:cPpf˥Hw 2펛9Pk`%0B~dυkǶq| ĭ%7^y!(0KfΟ@ XAbq5gQX粊Eu#(QBɽƞGCc>+{R߶{]7S~hf_XtaBgC<4F k:u 3OקPcn 3$yЉcK?`ӠPӺI3T\?q KxSI Ebxkw^$^4onaf)t Q7 C.FE:oɓI*#/ofƬ5jB:cxCqGR||Hy*ЏJh[y9 &Z΋!-ΰ>t<@ɐ8r3,{;Ը.t0RKSƠ;ZEZ4ʁkaָП+U "ɚAMq>Iq.WE- aF%H)W`Fh9̄5UJjF=˼LK [Hfs8{!MUX2f&5;z[ūϏAz[//f#~ Ӎ-#$ WHtԏY;"B3"[_aleg'S/^ NimI *.U#LtkyCB&|Fh3myo=fS"':=[PQ"'ZZe v2mdҞUt7 ٠ǴY\ C!ClUEy]>t@&rBF9ɣ-G] /Id0lDÍD;Ɇ4FrnNݻr)F\%.x\z!@8ЏoAQ饎^DG2^< ؒ'eBB`+.I LN#L/ژE>qmc5Yt/L񟇍yy/>z r="(h)o[:"yh_z`Շ=C-:67)gy408/M)BO =$ge3{ S!z0r!ܒ7²3xI޴ZGX**V, 4tVH:+m9ѓ7ZVekAEEumJƿk|4*nᇈs&YkȀ`YpslhK-:붱ånˑYs.zZn7unc/wj :)2} 9&GpC }:iY29~`_?@?$73v ړyeUۮj"€p5nZz"Q1,S1Ԑɿ2qIUQ~k?T}S%EHGһEڎ(C:[@^p$I[ɔzHK{}rs㗋{=n+iQĉ@uܕyEL=FjwIXm{O`[+L$ hplklh g0 lЛM%ai-8S#34]k-wR)i]`ָ/]ih%Dt]r꺨>6 T]%q z!bd"r ąt'E?,kk8Zo]KŪo3E[Ls:c,šZ)gYij|./O z:?pP3YNyv@bNEԄOOy9+QFr2b#B1%(7/P@e"x/cc|FD4bZ%lAYiڊ3i.X\Q[1Pjk8PZ6eOx d b=:5e5UNörLXM22[/\>`x1k->r-";73RYq'E+5 4]<8o ,# IY\ }/ wS_(V \'58ʽxV9c6LYa`rTBoZa%LBgC=c/];6G&$>ٔ*}3i,Dqi / I=?rG8Svq o PF6ƕpIDdp@5*M SSl+Z/.gv?~!lcYlX-9Q9G c8gHpE1**#DV}N$cӁs|6#`w{`rEs I>h;hTIȭ/}LVLuq@/Dم#ԋy*頮@֢q.Z%P @ѱ6\c ͟BzJנ`|HfOckpg+c W[ו@#EES 8n;/u 5 E@3%r䒃۫?{w%e HQ^maOBp8sf'o d!Yh۪!PZkg~Zw\JoK&T?GƽNU=~ߥRvx0WPvR=ˣw3QC72Z HZF /!iS`GLn]HH5ÛRRFD5m=cX(--vFš:Qu-H)l#JlԾչ[#Wy ?MUKiVflNL6qyxO_aj^x/Hvgp$ҕ :,Q381P.@I6\RHǨEt"g8v/2gtqdbl!9vG:b*9J:{LѨPA3˜T$z ltg4u ',FspkK"5ɎeΪljxW< p46ee>ƶdE[ZihS[4wgryο~ [d;֪D!6u 55;¡jN%wQw !$>(:N2 6ML .ϟbO eVy}A)k)*c89) .#tTj+R'TTVzfvhM@vz3Jpr,aF^mI;L8pVBYyݻ恙还 IxaJR x7 2ޢgz8zvC4c0\1bǗnc;4>]<=>꤅/rDEȟ66K9Sd~PxM3bsL5aKSB/ΤdG8tݼ093[E`"^ c 9 lBdȈ` VwHW@1Sݟ| ($/KԳ dq=5E/A0[a/ Tk?C-JOy5nEc2E-; 6zlTzy)7lx&0ad|3ae@Δ{v&Fbj6P\NHg兑!lncjG{!.T^pWJ9q ce4(mLDx saZ,G/фLm^}S9EaST04rY:"&2kk2LsNȱ "<J@]0T_-ȒJQ À"!88kQy Rӡ`9+ZШY+%Y WTFbaJҴ鿅pZN8ۅY%)T yPksZjW{H`/sS&,a-`U.45 Bq ڽ+TTyw2?n@ F2^a(IRφ2X˿;)h4\& F?ay61ӀUTX3XUvzCf x1|d.E;xL@IKPӏ1|7Wퟻ_} 1jIc_g4iɝ6bv#i;晣2#@wo |2. GaѼ zp}8ŹB A֕*Yg[w1:'xZw$t;OFKiPtD9-$^{ ^m쁠B;cQ{ZN^U@ƍMեzY$dD ɶF߁fuP?o#Nz!Ȧ\4eǰ[&"׏ oOHGȢ [#q]|RE?D!6