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 ==l$l ] HOL-Quickcheck_Benchmark:threads=6elapsed=315.189cpu=1262.136gc=119.776factor=4.007zXZִF! i/]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*ƆwkWFn>]s$JKԝ [P6%3o/9q{>%kΤKMEO lA(SIᗒ5Sg(]ǬU]@je1.ڗae3rD]gTGmy&aF&[X#8 8l `D5=#frE I.'icm>f\KoNnե "ʇA|OЄE)-y5drb@1jTg͢.n H@Ji9\9!ŵ flyڀC)4ySڠNOj;9[ߘtJO\9%?MZ1#3(*8`Uդ#E\ᒌۼ)]V ݺS}w(1ZN+!$@.R0gYZ7zXZִF! bnHm]ŗXi%;՘->M=r3 Il1Nvܗ%x-7@}AW_d"ı?\}tY@ oٱ`-aHni<ú)sW7&MU |Ŧ?7^S89{ȴy]|b"Ϸlu 19x X]pIgڻ']ӳ^^C6ɓm݄?/rz(#aKHoV ڶCq[Vj]5U:3&L.8ɘZ%,e*NżD${m5xMoɜ>KQ <֋<ùB<:k;D|X)9/xǶLt*.Oׅ^%7e*V#)פ3s"a\ H6XlZr4Rbڎ|#᧜vo%ԧ*ߔ@@ .Jͱg,mpZ>?ʠϣQsҀVC/LGaB{Yy+t Ga&Z+FzY*U=/zQ, >;ڽ٣/tUc2;cTI\1>:9.qI3/>r}"7R3Kަ!o|~JFXX!ґ\Kg74)=ggQOE GsbPQ/|eke|ClʍKs@!&m'^ז$O+wE:]?`$_&'FL zjc#tÒ]Q6h=ȴT>xGȊ>YYض)3*x π=d`(~lSYQB>qqB~Gň?MugC㏾O$YWTFaBq~We>w(T!$æ.klڧ^攀w"6"EZƔC]wT7!SRVWN&܈Rبͤ6GP(8-VyjSr}kG"vMㄔIi/ Bz)j2*޴7PF2w;p7RSg1b0/O97Njynհ}KTqUzŌfrZEb\ "܍ڙ(D#ynڣyњOw<$UU/5hz*b>HEq] @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,K8T 9[Y=k%HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument.texo=%HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument.texm=%HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument.tex]=s%HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument.texh= % HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument.tex  v=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,K8TBgYZ .=% 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 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 F=k% dHOL-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髧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 ab=M) A= _M(qxMG_ȀNVQM9#rm_( WVO̳S|&.K{+d8ߎ>\ P^#=ղopӗ52{VwEŏs/-&נk+X ND-}uDNX[c5Z FŦ`Z-D3DS;=Qɳa(725C`&О[3y97̟r{ξkR2TYfYyvMjnLB(ֻv te~Hj^?c'F#-- b¥@Ɖ p?ƹ>Ѧ#wOsBNCJЧv[2@XV m/?س8^  2 O"pQVRTm9gbt˂yp7d@}2W lHثIR'$r,‹x.AnaG0A;tn ~+B+akj#ܳq_$?iF Cz>~ V\ Jcj=ލ/xC6`#}p|G.Zj/rۿ;d:beAo٘<εa.}x-l 3L-Гl`! Ss/&s )lG h:YPڤBݠ44b97=e"Q,Df50BNbYR[(Kjv rnh/DžON+ˮ<Ų* 4T|'Ėjrԕ<,/e^ܓocLVASW#S;Fz855mPNJ6ӨOã8Wz4Y5]D@/Gub&K}2<}Uz R[LO_A~jl^P\DXx:c\rl&}heƙFl43&E}\wBmB "C*WhU"Oh u2')MlaKC yek!WшbakGg k2$ ^oP0Ly` F,ר=Zg0H6qɿݜ )[od"|dq% zv@ UDn܋&lk!s{[Wcj_\ܘ!<Z JcU=nZ& 2|{"u ?~by6|ޏ+4ƞa.AA@xQY)DfsrSZHs\R|c190&dH΅ŌtN]HS}V S辮w$nϻv2D@b sw+F]m$E ^Axgm-艹fl9ZO4Wڅ;49 2^cK E LS˫0ݬڑ\#yyր$#D&_C qI:A_<ӵN[oC֍բPz¹t+,!!S09Gfw(W f*S^6nc00t%cߩ)q.?+iJ*p|(I(b h,CqI]s*IV/\@ar :ú6du6ڝJgg=\-֦@<rhxyҒ0=:Gn>U^| 8R~[,O}68^xh; 3N+WnO[#M^~S[WiK*:kYH/ M5썌S6mbhF@ T+;>~^vs‘DA;I`OX^2N#x_#+P{BU1jP+d-6աf/ڂ_ߏՇQ)xji@} k`CaB=yR w} r^QÔgeE VCS7wCU/T8=P6NJCx鮫Y*H˼l@gD۝Aߏ(3ӻ˱L^ܷ_2N7YGݠgFHl Po$Hi&vH[a_, o!?Qx Q jƮ'^V_T\5UdwZMr;ʟޤVTg#M1-8otR0[u˭vҚn*pZLZr]!2Sa~}3% On|۶m$[XV31)n9cK|: }DB4 !'buӤu]~R[}eIu)C={;@'Kn6_l7бQpL|6ϽףwY"Å"7f$umܥUMi6=ܖNp%4ҝ̗b-Dڻ>jZW$,9ڨdzkHufZ75Hl|h>SW1At{ -(#(ɡ-1g OQۭc_͟+ȩA3 oTX)M_M}+@[F3](M ی6 a]Ⱥ5P›,*u3*0tQFCzF*b_L\ػs ՠVHU_pc3GuYΏ8'*eo4yci=\ROn _2:m{ tzQi9bn0ם]=O`0dhRW*s([> b]| NL9g.OiC> f7-Ly\9fZZo:^b[?2|7E[Ca/J п 텬^NrR5̭ILzR[Pkx0knP&d# uM>FcS$7=ofȳu>e`KT'\eAU)!D{/ܑez' a)QiCx]uӘY/WPpwQhՓY8ަbUߵ:z9\R$+5BY`Bu6"7gp8ҟ}8 ~&!)G`.Arj)@BAp9ۍSot},*p)x ?d DFUlԲJHgqO,%T .?@V!l{Pq;"YPMVm Ѹ8.Kwíڼ9Q}Apsɿ"Iת3n3gt;p pW'|UWV|2jv@%Y nG9;E+ 12*v@zЅl[P_Q5-e6&܈|ԁ,)viM- vVEG!fF\QW6A9MjHafS2KGKϻgYέqЪV?i/\1nGbS#ŔJt`1T[-]/OS]Iy S^t6mwC`܇u)`zLJ0e,x(Vqbسm1Ct/|-K;4rz9i*Sb`%7q[b*uIs;NǀIF| eʥBTNv}Y؅9YݷdR-3XG* ՜=^FnA'Lz+L2`x4+ؓ]`>xf ShiB!;"Z;@Yo{)VԺ/=]ngwm?ߋ L )`Qaguxu gx=zYj/*- c8VCȰvXS`7TW;<Ӕ`luqdCu6xUOR`u6t_C1dOHUO$'v @3H97xkubѴ*XbIBy5WMy1Fߛ]+AzEsS bɡz tr.|#OwT0tUٴ0dkDF ԝQe#lݽ5&QE3ﭧd' lGC(+2^>aCfX(Evr#/?$Pq@2 ^ЌDSOCDxH!htC$.=UYRBj J.n,q_"ec=Ho*(j@ŀ߿QQŸ&@b cm$5:Q b ;-sI *hwô@3ljEj2}bO Vx|YX 1RHb3_0t]El`GAC16Gc! D6uJW{*x{(x.UU\v/ڠnهSk]O` w΁1 g;O쨕$#<w,fqmfxlkü)+6mJNs) [Ι98CWH7' <r١k{b{z78pU.fk@gJt~b6=RIm ?ej]I8\ e{>hQܭahvx+҇/-sBxmO+>rみF$(/|@Y]: nSv%E(S7={(|B M'K 8<UV&"k..Gim[ªIt4cոFs4-묖_WD3_ 6q;Ic;lҥêW|trLu0>ZSB_3K̇Ag%ݒf0 inX 5R[_N[-8~b=ç_rO^x`n>tmƐ:vTHDk>҉ S7H,Bˢr\fX]~z[ U1a Y\p *r9W3ή"HxMX2:ʫ2oncYAa(C|lNz(%{t$&ߨd4WPW-D'XKM]wrc-nP:޷a6mЬ|XSl> aݸ{QYL$vLA)͋ɵTD0:< 4BI \ cp9Cɡ_hTL5ni nߨc|]7A&qA'΍w*qW uL+e'O,%LwӜz% Bz н≯dP4k0^N[aIhiXJ|J{>H Ÿ kcJΎz"E^803Q~-8 { ]vָ6wi'`ُ=jש?f ttW_>6^D1(;:X`o3ej"Lvj#T(CW}kم(TX{RX. /nsNPQ>T@8xm-y䊈FYSWlA$жx`&q+?]u b qNl=&<'c/r *rt"?VHK@HDpJx݂{Wnd NiTsdnlc%r`"ɐFH2 y ]I^(MW©$0(#}z1m3?^B4GJHъteZȠT6:̩"}z;Q`yK8H$ -5g 1]N$n^ۋNʌlL(tе䙊_mL iGDZТNk?\zl\孞w 6Sv ;f 0)1JM4h7 ›IНN8&*agkۥx`(%aL׎o5 +F;KA{17}=<|IG CMf2Y ӫ.,`:_C}i݋D20(kkef1Cѥ'_dpB#Ʋ·&ĺ]_?~oZv>;wHx'5 9ItBn7Y/)\rb"-$ 0$>2gqsBV4y7/MGL¯"|Q.3ːl8Oitpx2Oh9=oE9dKԘOXKaeG$x.PmQB' ɰRݎldaMα;,omhR ZΛYdLǼx<[2Eݓ״#;h`̖ =t|rH7qk?ynw @Ss W,x+BO0sBEoK2L؁=7Lz}rNYaK?Y&xxYxiq)`ncX J y!#0fSиxͱѵiK$5LD%+2 EHO(2n(+~P/,Sz5_xlghXt,d_']? Y`>.{k[0;:˺lF;ߓ~*9vLphPyDMV_aXGrc ; xƆX(c!hg'~BMs {-_t ӫhU}u+V JHgw}V0eiWlTjeeb cޯn/`M 椏UD[j0GweI./ U)w@g\:2tƋ#<,i& ,c:ZdHiq7 PaӗY8NL[kiӄpн+r;!ΆorQkijKFoY8+ M?b0Ln]2 .M/%,sYw&ҪxhJ}a׮n+!j((gލ ;\s{,P/\͏4rRy5d9݊, j ?y_5|u">ҋ"_$+ 5M1=Ep2Fw3 RʉW`fk ^ D[ݰè/)i_;+xKӶӊg7 ޗ:yw)x3"@oG(R ՞PdhlyQrE.gs|2 OgIyCeeQz3  ǿ?E{C< FEHa/h zLȚE.e{1U8P Ӟ wD!KqMXMyyǫ|o+hH>Ygx%O`ɬ寛XO_[ʨt芵/ W6A(7 ҥ[Ku_M%1ͦUUPg3eJ~ JSc9$\!rpsu O+ݮ7arc]RGxO S8*&C6 R u. .y^㈚\*3~^YXǝ K'a1a!+P^8^[#MZv6u<*^9)D~` iC'3o@yO_VH eKO>BuJI>픦볼{f'VpjièqE\Kj*GM"NQ g; (5aSi~M }ECDDIeNF% \*K/- HY8b2環aOg"èos>;gy€`_(t1*zEYYN{"Q"i k+"iB/@KR(t1?Y\ujtoݻ*t,՟^*Y4|@6N0"/n0!p<ǣMhѴ"1;Ub5>-zɋ_#JΠj꒶ F9:S 8Q^!8l~Q&o sGώ# X?,#m셒.#,׻rl/)z ^=żioT _V1!98zтDr=.I"Y0aPc@87vտ:))®H+}QB 6IgWRux_>+` ޷7S8 KpWOC'`Ntid6{<_[ ^e'i[iX_'%0)LU7T>DW)I SU K%NE+ݺh@0{V.{%$zM{?YN'Muc\-)uDfE^>y*;"!NvO-͆qxĺ s+RS< bߝvz1ÞSp'̍N,v4A&#x+uiC lU365k?YѪ%Uu=+`Xځ O 7g!m_Nڲq <2>^KU{T0tItT$YŰl xj/38 C- ,H] :5rSۃFr5|ʨ !J|{)Ϻ8bs#B KF@ `E_CE:rZE1bJL20g0[ >S. 3Ew^  ɈiF?~.IpqIKTJ^hf06${2 Keq7]l͖/L+Ɏ| +a$8iF,)+*N |NișKx$f^'pd+ |i}gdrXS0ZœZOPOF|k1 XЭ'/5)vl0+kkW.!ȽF`n))KwE[ɞQ -i/觅02UG⟈ C-Ъg_LB w3T1钜O\t坾ab9%MEH pm>FDnxw`؋j:y訪QOYHG\"pM[|>֣r(,nmsF.}yolAǹJ@T{ɞ6zP'!zmW2Picp|BlP[iyy*)7IuTgm!{<&7OcК!R(_¼09Z++_Ln~VV;$7`#&]  L԰-{7 ! o"4͒ڿ\K[[@#dZ/7z@+|&g]KCT0WiWReRUs<&NWqCzL_P)uNXU!{<ρ̹;JU$Dn!F`~񸻊gi6 ()5੩:2g00-Uo|w8Q@fu1 "GunUQ[)caG9LY*ӮN(0Ǔ{^qWvlPȰţ@:)]r;@;xn5_._9tCN8 #x({QXcp!2jHm}"@}8mW+L)S%x?㯦4B{RP~`cpT\%D#F >#rGZѶâ:h,DhU { BH#DAj԰I=0IX{]h(LUj;W9-ܳyUo=ޝ!6Ay<ۆ䈻\1uY5p`L$,v8]* |O[Wu,6kML?)1?ma0ؕ5._Jy ,YԿ$9(a=X? IW3&Zk6x( A:53}S3໪LfD/h%v _.T;rIR~hakSR`Т?R\SԱ$YQp_ct37d*7 F]{֞r)B߂c-^ϮSlnٍ;aJ{1džxb.MN+qedDf'p}>4Z޾Dk%$3^8 ,c%p] uVQIӵ; n͓SV!2+1̓BԢUKo]EN؎d(aTH 6FB$Lstz`'A(qOF;&[>4L&-C8U8폶|M]UĘ~I^*.g 7~Z/th>vSeWF٨27kVsC5j$]I'~dXs9YW۟'-т,μI|</tvbORؐK.4c8]k%e(Ff( B4䌧@C_+!=#p v["Yt1l1*Xc]#\."erҐ\ySL(  'Y`1 \O:Ú6$+5Ul1Oq*. R~n 0 QqBHwFE˜0|H.?z1"yi(M&rA]e[5B=J$CQo̲uxl[8(^ &{b"4BESޟլ.e)ӛHUh-c \HhbP𩦤+y&Ë=+pKQ`*217kd.H5K 9 E,D0b\ pZ]&ŗg0 9RHX# *eBؒtfE3e?JbonS݂`E6L R*0X7?A^n_@gpOͥ2 G*9uQ;F"^syV~80kDO/K葧`|n(~fO {m :4O.z_5@lVThfnغT&'TD ^ PPJ8"Ǜ@@/8=-pH2^!7k^y-n~a-rzoSd_QFdPgZaAY2_x\wtgB G/p;,TgZ61K3Y|NV2܋o?Дxy JNԪ[;_z5{g¹-)j|RA{]dV,^φU6'^Yݏq9fm` H&@ќ(C_34'YM5dPz{b &5pm0DuP4?)IS|; s^ʚ' ͡4>ߨ} Bz6tދR4಺uT6KӖJS:iaۜ >GAKI?H`^'7gy ?s!67A$l.fq%N9Nkӄ~vKm~Ԃk6ɿ\7vJb|C0rVK~;3"{Y_2!]pz`C8`tX /,n4QWؚ:>w\`uJ溚`x>7)aٮ|dr6]k%;5#f,蚁EaVos?\pԵ!f|eڍyDs8jd2U`@~BSpM/-؈rXP۸LB! )ޘڷT\xEe"'B׵f3Bgé=G V`v\o6bX.Bd{ bzY