SQLite format 3@ .C  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 aa=|4L ] HOL-Quickcheck_Benchmark:threads=6elapsed=281.787cpu=1333.092gc=62.4087zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjOuͣҀ|trfFpUviDr+kEϨQQ/9b{N۹DΠ$oț(nt0!2$ڮp8U:(GzOҙh0?S*}ؕ+Y-䛆o'*hiKl$t*&+a~L02,齁k/W$CWTBnD84r FdwT>ɂQb^|"8uRPzJjXӱGUtKj?ʒ !1}M2!Dnpi(ɝF;3}&yU9P9\<ok¿gYZ7zXZִF! Tuc]ŗXi%J(DC&Fv7(AX{DwoϚPH1k Dp{J;q<E1lLu*Yz͇(Q-i d,%"y+z\|^TPK6{u );ZO| SL"Zi5K- ХBjoagl$,j;HZ>5Aћ؎@bՕL0Fu+Si9\O5y[TNG;dJ#ЄVa1+7+Jk^ټH6Z؂͕'id%x*NhG?B3*Z:'Y^&qTFx]7\پMJ##~bw.$F,r0Z8G50?<89њeh_}rPT=q=Kޟ?se?=pئti6ԁ*d@N'9 ?#y>C ^@Oٌ\ WY5[O/[ ۈ ^x&ȧ{q7͇dwݴ%gLլH@hnuy;9Ew,\V N#5Er0T놛)&Z)_ = HOL-Quickcheck_Benchmark =y HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.tex7zXZִF! Z]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM3NKz'8A8|FH2:J|FX5RIVZϼ'nn <ύ%;\{9RUBؐ=q_ck@e(*\YGUn?{UkԮM|UN[gN2ƥf3/U ۺË[@'.D(e.]OK܊|%"~X{/ȼ7󑸀wUCvz$ʉB+Fz,+ HK2-GF \K\/HuX$roL̮_ nHм<40GwZsG 96s"af]J~$~fɆJF:j-qJ^SLIu7}_7Bk7B$>$ET%E 2ω>=(HcC1w܋jzǟ`hR;/Z]N7 ]*N1Nme:t H ^R\K3}x"khwOhϬ4- ?o`.I[(Ug3w6̭msEv@InOZ'muqOlUݢ\|(,m k} UF'rǟ8j&LAtN$rq )G#˄pM7d !|_LʅT@ >zּm1I]-17CiM2U=S:Brd_cn)h1 zCXG|@A.ARۏo 7e/ˌ~vLdp)'LG'+i-Ym?*!Hʱ́>κlg߃f1d!BW(NJ:+n6h@mE4\rR%Q_{|K jwt7UmhAdO x9K"vzrwQCJD:4L$hp&S'4|ݬ|ĆV21_cZ?,VF%MUhob> DAhaf=m`玅qM?s-BpQwOǤ`#)'P~>'LF'÷iR]-ّsNg_D׷IT'"<B=(Gn1,s}OT6Dh8\&[}M3 ]۔JsֲGx䀉V2~[uFGHWPBi {=n'5qx"F9Q͑3;sC_7?QT5[oԦ9[D'9(XBHmz&[NMhP'%`4wOpINz."B_AV4t:F)F^ģo hvPf]1)m0TO LgChANXuyD]@VoQy7ޜ˵8<: pdϣ8WLQ8)FS9y"]^t&[l8~-'6e[b`*DIy=[/܅p+4p)GB $ zprwS?zبy31#,O 0Gx4yfRCI$D_; ̯w]@ #2ĐDKmX8ۡPaC|*{W>@[V̔N!>;T:FrDgYZv=s[ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! 3]A-MՋhvG"uIBm54%?э~~`ٟ vaWqwRZW^me}@wr 6x̿ThI~B=j':lxV LWH~ܜS)lʙXu}rMpPF#j%{'NȄվـ]suDᢢc(UIÛbщ'OobC;|XL_ger MB2E|k@;&ZG1dWUa_ard!N]]o;O6;Ĺ< XpV`xU>$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 +Fz,+ HK2-GF \K\/HuX$roL̮_ nHм<40GwZsG 96s"af]J~$~fɆJF:j-qJ^SLIu7}_7Bk7B$>$ET%E 2ω>=(HcC1w܋jzǟ`hR;/Z]N7 ]*N1Nme:t H ^R\K3}x"khwOhϬ4- ?o`.I[(Ug3w6̭msEv@InOZ'muqOlUݢ\|(,m k} UF'rǟ8j&LAtN$rq )G#˄pM7d !|_LʅT@ >zּm1I]-17CiM2U=S:Brd_cn)h1 zCXG|@A.ARۏo 7e/ˌ~vLdp)'LG'+i-Ym?*!Hʱ́>κlg߃f1d!BW(NJ:+n6h@mE4\rR%Q_{|K jwt7UmhAdO x9K"vzrwQCJD:4L$hp&S'4|ݬ|ĆV21_cZ?,VF%MUhob> DAhaf=m`玅qM?s-BpQwOǤ`#)'P~>'LF'÷iR]-ّsNg_D׷IT'"<B=(Gn1,s}OT6Dh8\&[}M3 ]۔JsֲGx䀉V2~[uFGHWPBi {=n'5qx"F9Q͑3;sC_7?QT5[oԦ9[D'9(XBHmz&[NMhP'%`4wOpINz."B_AV4t:F)F^ģo hvPf]1)m0TO LgChANXuyD]@VoQy7ޜ˵8<: pdϣ8WLQ8)FS9y"]^t&[l8~-'6e[b`*DIy=[/܅p+4p)GB $ zprwS?zبy31#,O 0Gx4yfRCI$D_; ̯w]@ #2ĐDKmX8ۡPaC|*{W>@[V̔N!>;T:FrDgYZv=s[ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! 3]A-MՋhvG"uIBm54%?э~~`ٟ vaWqwRZW^me}@wr 6x̿ThI~B=j':lxV LWH~ܜS)lʙXu}rMpPF#j%{'NȄվـ]suDᢢc(UIÛbщ'OobC;|XL_ger MB2E|k@;&ZG1dWUa_ard!N]]o;O6;Ĺ< XpV`xU>$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 (eHv-22NҹaՆaԲfۃx~ˇ;iߤK}9 KQD0A. I\ށΙl\ϋ$#cߠa?~x][Lv*^\9餆+T;TjG<8^ID5U&oubДQ_$~Kq% #_6Oyղlȅ0ؓ{|nF"n$})ӄQ9JH_.(h/F5 <_C* t i\TeyePٙwOl #Hzph\9Vk)I8bg׎vEHeP\Yrygmͬ¶bwSyLSQi ueϖJT@Rp I82aޯ/34{Z}ob;A&0 n6k/xĬfaʾL5*ݺRs-i(*!;+{fE&đ&G)>NCjܦ^WЖRb[hzkrvZT [r}k|cg)RߣPuIEȃPEhH, D dP3>:f!W-lsecN]A]G5H2of̶F{FWxO??eF~ocۡtfZ_m1 %ʼne) :?|0iqDj)y/u/WHX74J^AR+Dz!ޖRŽ[݀[zfHڸgFGMR]F>UkKc-˶p4y)a͈i0зL{ۈzBٌl}Qw ԚsZcb>݀#-\Yo7)6RWξx2Us^ޠUUUt}5i17#)*tq$HP пGzFJOVnnգq>Nf9xVT"gыBxYѸr49Kn{8xy-&+轀q9]MZxX"B=ewī-qjwn}7v? 1w8>G8.gYZ- = q DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.tex7zXZִF! $]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM6{;*a fZ.Ŋj_VƓ>-kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[!qܖ'yUGhϸD1ڵ^)*$~Ao N3=_^}rwpScAl819J*U0UThQ[9c' x9K(cI4D0Ty[܅ MlS;=_𶥈e_´k/g%>.!A%נl>#~Hڃ]Y]=!Ӌ>75c7Lp?z@W=e, ׳me>K1Ǘp)ؘk]ݍMs(t!?jm2 P{h#T&2/Ixf^e"Ry02׌KTwQS}f|n H),*qðGlȆć-\̜uwWc1j{P4bp@_O+* 'Vr0?7;H<놿!nBo ICW0UcnpA|'eU/,+[ҏjFVqI L6_V٠Ai[>,  t'NkޙӚW/DS7Z9@LL$f_y1(u$>aF? ?QȄ#=x 13GҜi@$(yje;hN'vلRǹJʓ?%ѐȵg ܽe*Z#׃WX`y\ǩ%f=I6ԌE >;k$T!X?MD {̀A-k΢:#r`3qj94|?KF6d 4R2c920.Tu4jdM ,[{^2jjҤ^VFj~~Vs#aHh{)e.uvnGpU> `^"d͓>L9.qh QTlVs??xr;pe^(y8ׂ8 ͻm }/hXKA @Ě؂ڏtC%Sx'ܿ{^c7$n*Ь GOOԕ=I 3{' xlPGEZi4u Ii xEy8 &i_PCa|ta[eτ$j vkF]:e3v9ЉuRԣվ+v~†8r^Bx%T8\HLTv,i(W8MhDńo=j7YtzD`>heڴ 9q VN}QBv]b]5dM]aM($ɞn9oQ0C.HbLg!2q|0ac:sx>Bc/~jkx'աCnx8xYk*;y bY}%m+R$epA P,SI\p/CA!GIy3cup@An @f{Z#S/pwN^"]@`N#HsP3,D喩{e&/[F?L& KEhhoБSD<(q,}y+_od,~Vؠ7ic|c3=40Wm7F8f) ~h6יL[OؼNW5)ZV|H*Dt @$4 4c7k-<䃬ء x|^MkSJæ X 9ȢDًX2 FWMi/tKxd,R EMp)W".0+WQ*g%h1yrں(PueQ٩Q'e[i~K<~ !v:BRrKW-|fe,i4CZq|\ŕKr![ Eo3+90|Wxa9l^6(c1|{%\=6k }׭qlOlm-$ " U#zC璖6p_+s*ŠޣKMKt1{ `!dcLWр%$d@z.)Hoȉʌ S(&;||?ţBAe-+$m$W ^{Dl+MvUzQ[*b r-9v,+1eθg!y .\g Sިݾ {p_R1_zk ʙ:ke;VBF)%}<#Sa$ض+2-K ӓ/Kdw8w,BN _ ҂Yc;SM?POS@#z8UΧ _b(QRY?~Y_(OE&Ovs~6=_ G'FE|AjzA4uED=e .0nݚ04ΚG)}\=OȆaP#vWPD[؟K=.,F㐹bҺ t阼G*s0㈢/UcF Y:%&F{\3,6zּKC!j;Z"=b*3zi7RVվJ9a sMwX\Ш.X:̔ReNQ;lZ{#  +c0 Ҽg^xr$Jɱh54c0fIZgs2Jp5%O `ƒ!(Z8h+Z .h6P,>~N6~3-Na-MHNoԺ鐌vW pkۿ ɹIHa'*Zy]%ш8 ݣ:LHKZ,RV3vPC.Y~iu;g :I{Wy˯"P*%wD2 (GF9/pv4z٩ȕ yo{Oy~FBf"vפ(߽<[Jite J1c@~^$Ԋ&5_;NMٖ^,2}MHBJpAX1I\: W+ʋ_L/'"AU;:uܒB3DS&->6B0?K-+穇.zRrf9U< fdn;p&Nۺ=;; gZ(шRbls~9,KH؉0dӑWx2,GukV:4Z( yY`vOןDCJ6?Hȼ,>NU9{ ?e  %ud~'r8F@ib.)(EO]Ί?c ڤ0V' 4vCy>?tz)x:8T^1Y ?!h!SmX}{kMAQ)y'&9|%JܧiOGnI< M$&+ٸ?+D>+1+d#J(ME\rY"MӓsˋaB[mnjs\JoW%UY _l^ټZE|KMdCUxj4kdj\*)k6)@V12 9Rr8>ԆN˭Šw`51HT>\2P >ײEwI3L\8rR/[AFtWK$xjgH6g D Vn>۹#xpKfW0e\Chǟ_*HG2_$W9A[\WAȕ#s +sY$fv6qIFisa?j4eޖ{a7po|  /rW0困/X@<T'$ tU֙ fye:=0șq>s; `T mB!Ĩ8Ă{|@sd:Bg>*ZD'M_O'k1 I&mG658S`e{4.$qS_^cL>v%_G2cBN;oUտsV֬&0Ko?imZ@PJ^7-~v9R]5_ecXAǓfXYytYiiV:vr壬9%h7ZaIZ s&9 cr'J\TKHS֒Emks"LyG>S _i.G#G q#k@od" yV=Ux,Fo -IGn9ᄈR.~R8&mjPKNg*^c(n>@B(O!NŨ/4/H <~!82l+97=/G| +kx ɦ%]&?'ޭ=)yכgJő_/FDU}cݮTs?`k; D7^8*8l@91.?=8D#vMC^Ӳz,'550Z9Yט J|F8h \`Uy2-UIp,WP9D@쭐s= KCS]*m.`)&pv=i>NiZإϘ<.~]Ӊr*RؓL)Sp.d酴!4uʳcڼEY/ {|ް-3"P(S#jFRo6Ffi r+Rfk N":riOMF$zBe)Cߛ+Au,+j fݫGi5IHo-5|RyBayJf0KZ\OCiaؘ(/d X^KŠWWCTJ g,ʯ/}4{qU7D1<4%Cbx=0B$A C@{C\-@eFJ¶ tzf]hLGI`򨧿?}|! fNْ O*U؆u[hS?R‰v;beoϹW:BRb^(0a`t:Im3HUA~!6u 3hDˢ@7iSw$KMZzXw*6!,m/H"܉c]POI/.]4* RRk `&sW>mX/#)::ӮN(fi{\,Ψ KW=Yflf;%lӹְ/by}inu`ϣSDB༝,iu_\Y 2Cd (=b؃FT>wjn^}ew,KɿIVCzp֞;\`̾BrxlwF-=I x脎E4%"($'(b ϼ , ?_Ez9܉"\6o~G9ERO͒uU8?9$4VSL8Ͷoyu4.kI~fT7!΃-X8*A?x}TZǴsK$ýsld!/N _"528(ԶY $hj!-fZGEk*v"; ,#8U\c$/gdo~ "k~% ?}Gw.p(Zp2H(GvB6 EtރG{yܧT=YJv#mNŹ%y 9,* [lE)+rM'`)$t Y_P.B1G-ti*Zm<iȈb)a{ttZJz *\[7xᣣ93eI FE n 1C,!}hݮY*F$MXUy#5.Q:z5 \;+AйST@ߙ`r[% ~:]Z4=x~ZE||uVz <~7T^kGJ=mx>5˫SrO][3:גl.óOz[6_9 $IzrFƢ{M>/&tz/c4i,gJ|:_kyYF 8T8Gj_>,1s 4h-' 7P rMrZxG͸ QVV9 ޗW& SҦ뒉a]LJi*JwC7tU^!(}'f^`æ8WfwtOg ]I1F鵱2I o Ϸ+Iⴠ{t ֳR3B@k\4CHogd(L˨ͩ)sac% n 'dS]jfA9z\^3ϗ|pH:ZȪ\p kΌ k5}sUY~] e6wD͍J⢓plDI-%psv(/Q,R[mL݀$}KEZQ)MG ;cgڢfϔy]$\^ކ14M6ݽUJQv͹BZ\+bMW}sūPa?W2i%Nfuk2 ƱR$0_CT*2B ݉A?qe~Gh8Sk~n1QK9-/:SPiK(KK4Q\o뮴"%U-#oURo4 W2gm[i;=먫'O^EEIq)ըv)b*c;{4#axhN)#hH>/VG bL$9`%3lLE:E M|6=m\V:գg~|/GBT|A fk;XbM$\bv9^i+-M3f,!5mf_co0,F!XJp14X2*OSW0 檕[5Yd!|8yY/"a{tFq5troZ@--!߈`sG:N"`Q%+#߆Z><|!pu\`k,y\ ?hB,]H'åtX;7Ѝ|Xf~45 lXM0y֑ )ՊU.ᤣ W *97'.)j$E#,֍JߟIlqIW!$>( qXi)u' '$S*{ё\gw~)y3<^E0)so#) x>Ԍ  ڕd:oKK|炭WF^ ҈:Q^jíw!5l'MI$NnL'ݶfq x)`6gܦ8N # {? xq3x?B"B6V#v#N4f{)%RxOcA5ȭb;aA~$=]d+)*\}"y|Ls~}0]weip%A`_iJT8B}S>,Ze< {'ߤ=K2855ofg&Zq>=$ {QWRVwB'ר45LZ' }\UN{,k`4)T?,CO#4O-;+~X@J_|tC.ܼ%H?+RE4QH)yw1G`#c 1ۛɿTy l9߂R#FȬ?<qZȌ `陬cZnz퍽wqt 2C{g+_{!tD0Thqڎb3B-|gc?~61@X>o荕υjۯi\@4N:SQNXA/~fqdW;nGمy Ҡ\?b{4,P-_z@C"g0у\mb iV۸f۹ϖMxy&[SIY%1I VP}!"{6$=Ph sdr*K{d1KUx9߉ZA#\\_`ɳbg(W+^7cw:;Woll-:0D;$+ölR9#C ֔n+j i7b3!!W@msb!(t+rwY`ע4R\_|8MZ'ƀ я9"jP<=`b1Y_y7M\J-AV.L&h"cXuDjpI vK}cu_q.0g_t§j;zAOWE6!@8T2/$-gR.v($X'OA[>Ҕ7b\ϵpmD`/^"z1 ,lgt$)( 딑(* )W^0j0aS9I5l_3yas- E Ci%u"'zQzJEq4|Nafny !kq>ge3+SWZS= `Od}h*Q.T.fN㓅MCwH<ɉ{&>8(±C>yއm6,TMiVxdw-3oەf>4_3 Bd+a O5)n~_}jǝCΒ&0]3BC/d+|<ټW5YMFd;hOB`N)Ul4$_̨Q `hpY  gp,3=l肸WH~*ana (CAH/qLdz_!Y1Cjt_lѳ^<>p"gJ(+xcHOc %HrNis+Nm(b̅0ky hL:<άgVk(û/'/ @ BsoՍ@hPsWďdia;B䯽J=SkI.z`mOud<<{xZ􎃼|m萂w:HH*kG"A5 b^҇R>K!̯ |V6&32N#r#csB5Y>I:17c00jqM?n'o&Ʃ1*.e敀̌7cm;&cPEA+hnܨ*p]x]LCe0M<0jܰBB.la~ܞoTe ZNEOPݤv,5%{%Bئ k"lVƒȘQe#ʽR۪ yyjWYoE=z9&~)Oz,vծv!3=I =5iv Pi)p=ȚNO&LS0ϫqrlyH 'M~MB Rj{W޺LYzIïזr^82.2fm0ckǹZvkYe-ȢaA֒zB׭ O9"N KB@DJJCaޜD&TD^i>9[x}!ٿ1,Q<'XVA\ [*te-yk^|z%o^ ~C B& SzgEO:ѥ`q.qp7(+osK2^acʘiN_wNY >}bN!փնj4[R:ݧ'>cֆIǰ :l 8;`Yr{|D3j~&R9Ka$atagNOnqk"_yGh|A5^J׏̼HV@E;˅J |%:>β_E} bAԛdaH/_?۹k^b!H9W_~KITP ݌KfH I ipObɂ`:F[A~u?W )Mcx{s]> Ize>8Zs*r 6fwOFO-Aw 0ßh-IPUE ۗ+ -6f%#d~P6j2ƚZڧz6n.Sh х\Fe!UurOFA%kXVDV>S~ Wdg3qcbw}HԾ-Nь+hN*(b~tzVm"#T_Lq,MP#pd~~72|od?vͿr1.y б%%mLAKX験$b+SnK? O*M~6OQ @DsAK h,%'ѝfƃ ߧSE@~|zU}n.׈=B[e)ʥZʢN@l'4x?|d[MiKu5O\*Y2xQ`8 zJ3XRM |Ί+ WyIusVйBMۦ IC.0{{ II/}87ސ0}DVc߇wK<>gaGO+ǭnϛBž9-<.:~CS E&_I]JNJc9+kAZM2y#J!:aG^N/=jpre5ν"euEO=FZ+ nwF $wḻcj󟙳s Zы&`u qҧFCY;)3@9 wcF2=M/+I;ܾm~c"a!Zqͽ\7Ko@N[83 *)s 6^x,:DtAH2%t̏w [6TW5<ل:5ȲQNC.˚lj[O@aHȴ`km" 㩾 FVV=xP+|߫=kKnPc(dB7urEx{T?Z:öPoj 65s9`gnG3ͯ+7s2 }cm`et|ƺ·bHAl ?L6$,h_p8ƹW*j9 p(c'-%p*1/dѫaBލj7P,۸r٢ 3d@9іٿA߫c{%D劣MB!-߭&h/^!ֈFX@hI%UWJŁZ{'/e?u jlDIkTV1 !~vP8rUUz?@^rԵ$wQO Ӣn]a>'YrhL[Vd@RA痯^ P$&Bf9F}4H6a&v N_[Wv"0SVgƿʩg )7 )[eB+T;HƜХ;'NYMVD^8Z(ZmymxiDCymH5f ye<q2F RcPL^zvrע꘏)!cq\;\ͻ?ǔqƞ<K$NӁA LZ[Y/؄Y qkNΊMX[ʞuS HϵnX XTᔁ M۟c2'l<GK =~%vA+Mı.S[r"i4_m].u7پ+2-%mu" oDo#žV*@)zpj2UE0[wt6)ǧgmiiS^^E^~c,Ee8币k4*{7*eNhAwK)U(6B S}@);[$VN%e^3Vnp)C.vx"yԔKk75$&_,c*͢%7mPb; ;O\иb$U8l6J\] Fj.X+.@d`p a=<ÄiM籺oZӌ7NhyoM>کOw%%۰5yrd7x6x3!1ZҞ2D_W>ޝKE%liWa{sbTO-5\ө)ʬm F5jeO¡oHUnfq|{VA1¬C s.CQ1y ma\3DxgHx9- ǙmFY-su>2dGr@yC0 Gp Oٱ e؎.ydmi[ ;|wvrO?e_S@{_櫔 rh4N<-"wѹ`^ Tًh*ҰFtLgBPܘ>7ի{osP|ÒtRn%~bP=XxC57_Il}}w'^arf"ܖV oYuBG3OtBa!;#v +h `GK^Whl Oۯ)&սG֊L.+a] #oL=l6\eQFP 4&0_Ex{* Z]q8L Ӝd)L8DՑ< ąa1WiiXKBj}"m#g?6fU-8!/C?Z,(sR,S+bYwD#t34T}Q% 4Osb}֕'`LjHi Ta{\N3MA5NL/ ==Kf^2mKE|Jʾ$ huEW7M@qОYр)D*bѩ/: 1`1DЊI."yT*q^=!skQ;wF ?>vcro^q^E ':!{qȎwk(v]Z8R萵tA<+ntCFk%|e~n+mDKofg$7Q.oDLڂᓚeIgr>k'䰿5K#68@SA6Q(q<O&{HNגXe})~+ިnBih%~yA" )-x޹ص\irĮ#ızNpE+O!b2A[lNx9Gng=}2-]]^ vwj 7,4^he #%DԷ!a͎+A xX$,DKHn&P;4{ $6Ұ _gxG`u{HA[T٠rLw̜#q(0.cGϤB Qc :7ٛdsrZq+6ơo׏BO&E7v>K'rz!|E%\ .d\Yq,G0*%oVSKMATk@҇[JϊE p;/, NFzɕ&p:Ȩd 絰CsAclXy&YK%\ߣ p,#m8wp@zIk ׏uKˆǔpb Դ1PP2YvVxJ+0*PBMDx {:; Nj';:..I/zWϩρ/޸ŰJ> pW&>J _a?-365m 9~`{Vʻ8g7lU Ҁ7QYx SR<3"m:=#AbQ5Z6׿~\W\S{Dӡ4N.@!(=i%꧂(}1.k//!}NE7T}M%+|ݦVm1 2-N pL@xsw YTY笨' dgE"gn3i;Vr!]?l~:{_na{!M#YiQEɮZ?G(J<<▚A;l6i\@AD8}zi@|;DŒ'q C9D[ɶNarq [O U?j|d2,&SNE/X5ax rDj-b&w gCR]%lc&e"ZV!kaALyx IE&`E I^%=" OM?.2h(wމYYqS (D(4zv9o^]3FA* A+\h!CytڠŔchv*"D81w i聬|7 RKdU`SٹkPK{GkPi&TWB ,#jL@lPɥr,huqďK_~Bu2o@񻶰5@aEiblVF:T8urS Hg*GЇf83Z$uT#yV{cK::xĤZnZ讻7*W}BQ^f[k? "e8 B91+|r_)&8@3dCvٙ2,|JxhyTHmCc|Wj%XO#aj:tpsx'Z5l8n8^NꚭP41P5.kp&׏(zfrzi/{ɶnm’m@eF:G&q޴3@6,6W{A<ߘsgGW@.,ΫY̦}Za]S^ġ,c% (:/ڢJϕ1g&T%[&ZJ`z]^rSѓ;uGG-&-/$v]i^- y> Є: ,0IIطiN_# K&۷+b}jY+KLn>. 8|;?D)gRiΡ֧W~~Fn)7ębS DK);=炓uHsJܙ~e{sq/\m*b+g;kp?f!>Y/h DLǒ.K$ҒYG,eP30BdÙ֠J؝ l3^ +itW*Inc/CBLF NkdZl~ F*mYw oB` T_lgZ;s/ YxkI2P)Sϋ!S-Ɂ\xL ᛠGӔ~ ;J^|fnqAY?& .֭.,5:W)m_EН%0 D Ɇ#dĿ|W$"yl,UƼ nOje] 1j GdnY3$8[x3=@nQj:ޱy/Qb*n6Ђ~yf+12qFV .p;hhW.$TR_ɜ7T1!#䅕ݚf+iTPZõaT8\ĭ$t. BQ\%(k&n-+2 -[ǒFf-og5{Ȑjew)[1* tcWhϬ/~έ9Yw6UCG/ȭ u=l~RԈݒ\=m %ɼT@>cزT+8 a"49L tXqh'2) _~LTgt eWF٪Pљws!HPhސGOE_fWd򘸤|"\oZL"h5_> tE⶛73flvʢ;:MK;XfT/[^S)7lgaZ^06 {k6_ K΁NLvE `,%5سwy8͌kWXC@kJV 2;7%0XKfzH >$ YS B[;‰ƈA_БQ[D}톟${i`< (`̯( |duvF,7JopnF#|XgX}0P]0~ ,Ëo w!aw ȘecCWFkmQN0[YNr| ?l Z_ENʙ\y.hyO\tF7boٟؼ:˱m1܄YI7Ŀ=?Hw,"BOl "'\" uwk]}g~ J}(4߶4$=lX/&s,;KxP8ܥ&f֗-6G&]78j/u{!tk3 TfaIZ:0ЇZ9 L4'QعȉÙũ?zwg<=h pG$[48:ƐI\pifLlkV6Oujv**2L`D#Ush sDc%`$ԋT3q &Uʞsc3=l&¯?H`'-7n*HHH6$Xu=Xx!{ѢhwO=c=UG@.]_nV>h!>kB EW?D!Bӱ.ҕV@ָRLՃ4NFK)v0櫈Hd:E*/}Y kOx5\7Wh3>rʋ