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 =|Dd ] HOL-Quickcheck_Benchmark:threads=6elapsed=285.011cpu=1369.356gc=61.7207zXZִF! ~]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBxApq*t)}ЛB|DKAunޢaVRL<zBAU_ݟ@a,zxgڐs+'p;uau9X8<Ȧ{:7L.*wLyij4/.D>"JbLϟ6Hf2 ~Y1 sݰR$j۪c]xi&S3*'z#mI1!]jWQqϡ2<7Ee o~.4dHe Z "j/.\Mˆf0;;&^}/ak%']MH{PAO%.EeUv+Oq Mܗ֊fvo.hCvәǕ(ɼ2ȄIv-BS/' lYpyE!1niHaМ$%߈ R"h'G],] Η+z`(#Ex@!RD쭲<|SdWmWl(C9ү@їHv ˋ ~yD̶4QIjv{shmѴ!FvĴ/̥ hּ$ZToy &LAwj)gس.AbϬ}V] #8>Q& N"C-W%.t!Ղgz9mtܜ̦^V{Al / Tckpiˢק# Dw/n/@LX;xz,rТMYJdݕ5glHf֓eZ3H˭z7tȹ嵻B*OBg,^*1_UE^>HD>cڜ9uEfI[2W6]dAO.BHWL35.D!s0glPXY*򵖮ÊLAH*0s RgE]޺+ &3Xxx#2гMNV6lFNGSmṹ^CmUצx:LٲάOwM2g)S/~OA)k]RJsVNp67~@Պ-p>Ahͳ)-tv}3ڥv=]&_.<9s}K1`S8s'N]Lͬw,gBtl& CTh{NkU(@вmǼ9CHq[G " mE3ฉY>hT1Pn.#}͌3Hn/W첗'`X0M>6:BkFeߜw6"0TUhȂAuZ`,]F^BiἠWiXL?6J(B_1e`iɣ/^01 G.0+}QhI#m(wr_<+$ȴvL@ZMFzm]`4/& ,OU~#4wGmI SxɴzÈawíU(hChRI+2TD%"8md3l@D%H'X7ڋ-;⻀GKY = 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 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 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 "lQYW=v4F$;.Sp{DZv謵'>{0 w#[>[ ܡ~U*{iH"q ,⩇ΒTQƞɩmlw'(y޽DV᩿4::THO"B }Y|NW]`r8mZk|DdjtΡyVp3 'y0%bKz(q#+f({jg_(8{B:re_4!RkhHַ%YP|Cgo9}n˥=M_6cNGXЦz_][V?۔oQ#iɇ 寠(Z%wqC%d缊 Wi1eieLBlā/؁e N&Il~}pFg61Dbxބl*խZryEB* 5/#0;=5B{ܗ&<9*?j[3| A$w=T ]M8K>G$K%Dߠ =' BP&OQVFb?G[,C|oaDuKD55"eɱoT: ֖Ij3: v3szNd VYiVp=xA^OC^|V>S/0‹ CP'ib2Fk Qy W.G%a9)r8829eK_IȀ2/2ƤⲰ"ge%X֜(|/Z󽪳k<4#8^ (Q=yf;::B4*zV:Yf"j!j:™XcY Zuv#4DY.K~c/Є43.s]*y;6tjk, ( 4.s%U$p1 L)H+Vʠ伤y ѭn2DIĥA.~OY+<}Kk>?Z-F?^ a8?1x#NŝȈ,q[{mwGZ]/pv`攎P둩Y$+QUd}JLY5 :tS!q_fXuUUu[mjÕ=R|$W}"$\!@#ztQ.>zTjMHvbd.tw:qi .T+bg#)cWҤ$Ÿ8BZD1)ӵ8JZi_xfXz5U.gFr}DyZ4jo^qS Kg@5]=0Qnv>9y3@tC QvCjG+4ճ4պH=yo#._E];q:[]!C[?#aO"ܓ!65x^ٌ Vu1A[,;,Jdd8n]ÓWvgB]HtGd>RmpMIÃw6HJI.H}Xk xc92DDT''14_1%rd1U/i%rptO,?mCMrU!zNфH W:>X:Q~| jPy11{}۪pO8)Y݋OrzױuxqhnBD:@;}LNb|of+~P+2NRbn}3[[V{*)JڈN /Nv\2-Xc DϠRW, !%GŐ@_ F N0"uz`Z hfb33U-fJk}FK6ץw4sV'M{aE'HO#?xye ~ϲ/ 큍2ǍSdx)YBl3J$}?-3vZ@(vQ:;C-i|xkK'DZL"i}Ӻ7WDHduo2Kl uޭ+Rͻ[n+?t;Rf J=IOXl7_``kǏV_ߊ)7 #̠]ީS:ꇆL=i"lPx{۪3=M $M: %+GuV&P mXh5gE}З1 .Dr ]\~|'nl{ D*7p/ 皏ٟ@ fi̊QvTeyd@8:#o\^&0Ncp0Tm CM`iNĹ\'֢a 5ӟHp5C=PWuAv^DG$a9#53]X$N'F#PDz ܱjsJqH-N WNfH&T-ax;WӆQVMWA{EJIz w'&YML4W攑H(Qwuؤd'ҠrfU߶/rx$¡ tP E3*kbNԷkd lZު7(5(QBh! tjOB/cyͩL&M.*.W1q@D] Q? FKC \NT TYbrboNpK leW-zKG\poR!x?*}۫rOA2X1jɀ"j!Xy(Q6~ I| @fWЋt 6ό*yᄡ"3wY_/Up9+k$EI\ȴB} HaK.!UCNK88G~p^܁zGߙ^w 溉Qγ+2zfXޠ䑪j'9$OmciKUvQ6e h{iFpj5HבF7"ԉ;aSHV5cHI)z,)2*zMa[  R;u@ |3Ve0.qW#GL8"QQqMo|NHZs`ePZqrOs!2j'r|]ߦ)Vo.JR"ry#.\P fpe߸R,,xX0~q>Ȱ=YE>YCG m 2ǀPu M k rƼh}*fWA/.x; =*M{PQؓ LZcZ8e,)w`md'8U y(%H>JѾN:[ֿx{_}B1G;ɘ5睅4F1v4ݮL}ͯJj?D hPM e4(E&!"k:̹@ VpfF+`$:f@ |n*ؾ/eU5BzBtg)Ws@~&.}cQR_˛\en1Lܕ Ofk?m"'KA`﫚Ӄ3L4EE5))!XpsK&<8@(8<M~LU1kDY{E6C83_V<HѬ^4Ǡdo_Vbzї,GJla[2j].pi澽TI$l,+n-rUu9U-ϐ!w9#"TP~7-nuu kq#o;X"̛Ol̲OG#zgqm3d)ҩɬ.oߑuҝB㑗{g0;3Pv`guf F%˅Ad;>)Qk ʈzwBN (FRqTp>*AõZ2 tx\.f<ϨX|OTP`i7[hk߲^@kVET%HɁӎ s'%OÀ\ -$BFqljRDWa!]x#h4҆'!\ZrRގ>іp,ruS.6 jR}; P +.DF-wn ~=q@Y ?'~E Zt mb iCk"}Xp:5t4X̍׶ԉ.!HH̕XNRxXZF G٤n~> +gx%}_66]J$f^Z+CҰv`&D<7(`wώUQ]ZAg vZ:-u` ӽʁgKwJ~pȵzZ'.tԻ]:[aYYDJR8:lZنohJH܅z,w^}V\~d1U1V`g}~J,(Kd6Xwٚ17'~ ۢ95p +=tcFwX#`Î_в*Jdەj*O$`.JۃXU0~&~'QulE( ," ~/Coztda"O~Oo<{4 (콅%M;T%,lɒ\:f5v|kN[?Cn-lI9:W\֎ 3臚{:+>kodś&Wu^rg\;Sg.#h!e<XJ?tHYu 䋶o)CM?Aw5V d >'$qA*W;#M5B1u .Yw=Ȏ^c*hxs2VA%e*BZ:q8HL' a׼t[ V[| ǴQ*L 67_#ضx 2}Xn3Ob&~qS@V/3,Dt0wGmA[BrS;% ϔS5w{oêwSugb8'YX9yHClWMh h1/~EՆڹ^v Xe6I & Wȟ-ÒTԦϳdDDI-2Gvoa|}Q{ٕo2_P buǑc5*jN,H(N_B rkj Nb =PöXD~|kNWrE//Ę>7(`Q/>{C[m Pwgw-8gA?ôR.qw:ӪXMH*%r0Wa<ՓO> _=mmES!+ؐ媼ZNZt($01(}b! g:f=L%?m<LlTIirgHݛ21 Cbfу,qE_N|kuSpu=% Ay+`|6aKəuqގф7Yzo~O8u XYYƇ 9 RM}FyGJ?e!S.+~XdYb-*D(9˹$jdG)ĜjyXhOyc,~I|п #6=ʣ>gO  _|Y"溺ak^\i=M+ ^EA4V;a#Qu/wudWJ1o(+|ө1(X5j>1bޫlfU[ oGyhE#\h"+7v#̭02 }op3 #>@uE4߷{[fi=l /mNPtDϥ'5 L/ rIիk/ pvA=F9q;.pKч%~q"m46(7.\::G5.hor !ZrcY QKvxqޔ= ځ`Lawi!ԕ[Y:;K@Sjj^sdzTL$d$՟oA㝓@LڛE<<6v9?mhZ\"yw 9@_ qPJ(&A^a9f$FƐF0Ve,SxS'BFA .%Ȭe1N$"yjՐ[۹5I~8v)!ȏ|S/N*-gą`W;(M | [j$6`sQ{N zx9@ X6+.9XeR߃_fpXE7&"+8'wnB$1QFsG t9Z.Soaqq Ϩ!cpwc0e~fN*tL*XโF5S տG>;*IL\OTp@ c[w }6#?-ή @lZ:gԳah M \fnJ{sHJߧ_G2=XJ rkէUꐀ;PQ6~ܞ>NLt;fR,VM܍Y%)H .sê^n-GDm F~k72W*A X4rC+JFR6+>Ӭ<:[5R ^áTēlV`CWC=7@Sz}iWQsS<_[@?'keslR,oMfWr;-S)z)31'"A4qH=70iF.O/(H'Z2h&V[2PܐʆHBٶ ߝUaEh@Y&=w&l/p`й^*b4k1PtpMDǥ..Z;e>aK2鯆 gmg뎼!TӨ`^zL/ ~2ǎ;v8(slrj5Y=(=E*ۄ֐Q40Bb5Q7osnMV% trU{'- 2.YUz 5.',{KK$~ S'gr9_j#V|5Z|7أly|) .(젨aU4BƠ>n y'!. ,/[oOe3!T,.Gř{JwYؾЏ5_",H0*>C;]֝Ȏqd0-v^sFζ.Y]ӂLe#'* 0&KÂ8ocv.˱g _7S?=;ϑNE Bbd2 nWP(WIZُL)݉= qerm0"zE iRX!h!qJkGk^r1VڂE:ex?K=ڹ N{=WHu Ɗ9=u?\h8{-^Aɷ AF Nä@&i^Io^񼷀oCs1QZO.WŠ|7t'$)i:*dyQlTMB|+nXI"iUBV t fJ! %<%cca".GU0VHO?UyDKL0 !֕qyA]Ȑ_2e`5RR^pfnTV2 ;pV97 ɧ-rK^gqZ͒e3r9SP#䲺a\3x5RG.K&Au/-TOGc,ikamBOXl`i=YĚ3~l@wU3 1]FOh2xƴ~otsYe|'b~ptI,Q]7Z6՝gqup4:XE8D=t\إC&x c} t珄t$j_F^lWb(CaN-7"!SwJX>Λp{g0Pa0,{:yh#iWsZd[$&fJ G3zNOU3sgܕ n>e!&рNKԺU(ul*)Q5eb?ݘhr8by6`Dިfi璊N>Ի$ģpQz.~b|bh751qSIe7֩mncGO$X830rB~Kհx%|_I.0;dJ'^:_p-D. `#,4qKSSWآ*sis[50ч]!C'(QApY\EҞq"7.+{/{m Ùv7+T.bwA&E/s$Ǻt|{@/жzwM:8d5]x"wX|Kn̫t_s~k\G yE4'q7Jw3 LDp67\F)hwXN9vsqJqNcCQ!y{ļJْ/) |,qMV[PmP鞻l5Q`*H|v7A8lp*JHz:ݿɬM#T1,%#8ٺjY W'8Z&O&WH|QcPBge!ch 2͇ RpB.J9KȺzaaL;p @>jZDmv_В KZKCu*0Ot"vNPӺk'"FAk(?2iP}^sc%qUzj&ӗ_R,=A2,ۺ ~V[o*~WK{3$Ca{-#S8|Rϥ朝2a J/@5\rb,P:'c.Oo0.Rs!G_]j\9 cl*`] w?=vt#ErOd\Mp./a:xICoBdѢq3 VqF;G~#KVP+6uqJkWf Q8 vjLraOSRma9*I| WњV|N!\ps1H\\5G@޸ rǎ+OBqn[@4߾IL.T:&q#l&1,oa>gFl5PL6Q!Q yHjY «2Տ}o1XEuvn~ew!_xT\*v0RVW6,WP% p"%+IMF -E1`Qxk0ȼmc$ ?[C68a=3=lyjzI;.G(G_$ڒB ǽ|PG V@6^QmΪPdE)[aa=Ba?yM2'  6Q̝-%2y [;O%D܏_o E,$ _`*{<'ΙoDh&v`P9ta* As =M37Yי#Ʊu|AZ%S΁ MUǖ)5hhٲ} [] e.*Hw)>MrӒ]z1YEk1JX{%;.ZFtI4b+7}f]:-:ƼjxӄnL=v88$g>Z.m jZ>&ސW6ECT= /7.InvMYz$X/YM87N%BTө7557Uo@ \ުMĸf|Swrwڒ6=!D醤E0o^ R$TЯcpZ)G[ /w~qmwVc#Ԣk d >AX+7,T3=ŇuA;_MOiPAW'~O{^@`}V.uCK7 U4a¿^8U|K2J~? G⦆n~Q\x!_9Ÿl) Ӿg< ZQl'" <}$7,/ùȢ9KrB1bT#M#һtTf=44ɻ!h ^3y{rg@; ?^ Ǚ4h{ UCၞ$Usˑ4"z k)8/4m~U'imgJ#X{(mo"D;]{V9ڗpω*]!<3WkGmo]dO2\? (8dk=k;̟feӇBm=n=&{X _QL u}FZz~!?(C͡w G iwe0LY܄+]:u^7G۵,д\" h|Fj%6S}µ G#B>t^ YR.E? /tC{`?fd!7^ v2ł kAqCy( l8Y1 mL4zKN,=﹇nhz3>:^qLQ`N} L b\]֞j0樞"UgH) Ʒӱ>}T]D$%  i'yn0Mu1jt8nD>y,dc""N/QZZ䏔lZ9!Wɧ N_SolNhcX"Qn<{98@2+,d(^UgPó $RLBcc?H4(NH2O 9;?Mw:o S=yiLl'3d `6?f4 td H?(QTG=QJѨ1@mBFc:36:5ϭ(Ʌ@ȸZSW BW<F^)jtp.m{zhs$+˻T08 A&+h@}5R6]_ eяn8ӉJΕ!?TljdUW)IV;2R7GIC'uWzB6>F3}ȐVC2~S셾dG̯}F\VfIۭ&xŌLvwBo,BWdaqw?և۠hѲCfTf`_Yr{Ř5ӄX#JBOPdZGRAR_:DL}Uo'|L=ãۉMUg%< )/o->ݣěOr]V*-U*!4@lYI -GÇV-7Xt0k[]6%Vq[dyHҗ<Dkc95η H&%7,0j mO``4VʜЯB8*%]/&6xwXqm86 ^{t#E}^]Gsh@%ͷK!Y? "UOٟ7{__ PCJ*w x܃>/BAh֤͚ `V4< oD. jV3N;DEf@}̈qȤ i/O8 Qr_Ilg;n㠠"U(wRl5 ӔB[O-RO*]1kGV  9NH1E{6gi/:bտ$vLℯڛU3ms}3I[9uf̊Wd $J jAJxO@d-G/mYV]^G&QwIT.Ӣrm+<ˀTOduHPXe,UWم!@A֓c0"r%5;IwUxNV%Ǫ E d KL  u2JELƲA"f'xn@샊)RAi'#SerdF+tG5<( q)FEn-w;Dp._%L*9_$ .|F֪voUwE!,6`L#w*7O="? k}13=ET*X wԱ&7Uϲ#tQDz,%jL@-mOM؇?YyokrIݮ-d:7^JnvWM86~Tˎz*4[A9{F-/kp"ZrK(7ĨGÐ/n]8|qs d&s_c. UdNl=GEC)v6pa9!jѷKa^6")$s[gP|xq:2Zs.TNk?5iyuKgUj$;"2g= ml~gWzCDcZe < Qʭ\nV6J̲Ā'|~"irDL'/])={YH TS .cJo6n^^̤Pmyf-3'PUyoN0A&f_/RGj9\)0<1Ø@Ejq{:!Wkh{Q*YmR2ptND.Ҹē^k?~w[=͌V锞CS$,mg^|)hl#ƛz@t)K=Tv}7HNfB2(#o19IǀUqq%tvUlOwc|`gֹTz N. SM-aZ}:.4ĖLO5^2X {/%p״{,p qj@RynTm"J"ᗪ:Yg7Q&Oy~遤D=U2x>sJ2i:wP?txb:_Jhv o:ĬRC섳+p?I&;icOn Mxbp8k2~$JȽE>\L},ۘ]Hx^[}!4ܕJ9Co9v/.l*D>iaAvW.dМ,ԗ("λ)f+רֿ;cVO gKHחW)+%RF0"8u¸GcQDuHpDMrO2b #,Db \\?ډ&-Fh C4ńkxܳU'fQ1ı3C$= a?#+߱5DyO+ZNAI c;a<'``Ze=_mWL&51:c] xٽ&IU=#{J]|yhhRE^ʱޢ1o3 u/|)<9EqFv@ǤDi͠.$9p6 | +C{1sZ۶axUqvT[ |B9+Q#gB a+3(]a 7^yhtF0jC*[dQ@jmabJóKL@F3(]s$LrǡiSu!*DTQNc/P\rFi{-Jw F̪O32݊FKouD9kơg4Vco Df0ҞV ~w~ y_BWnLN-G4䱽!<#Aǫ_fD{<>zv|^Gw;m(/[]/5b3[SdHfv[Phf矁@8ۺap|Uun?9P ڠt>|Xv$xKGՉ\Z MU5wUaS603|4¿L;LAX ZWȶ?/gD%iC; TUZ:瓁@#@;ܽ)'2v-rk0ep>X+G4QMUŃhQfdzj/q!&Gr5sk,jp^ Y+i+3/[WܳlvZJ'+ַ0W<%Q;'ϧ9sEf᪠Q3-i/)0]gYZ8e8326b5f9c363c2f2608f5ba7986e52f8f335ede0ff5bd6c0d373abad1c2b01c8cc9f4f059ca57e e0b4ef556b392ea7ef408585b4aaeb86030f1fb5 59f0152035b1abf943b38e12f1435654d5d780c4