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 mms=|D$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=285.073cpu=1359.004gc=64.8167zXZִF! f]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBj ?c{! me)eZSҮ%6 YO_ 3b2xeнX$5Tf!e\ou3񢌆2J+j)~[Hn6b@Kq6*eu.2;uW?Y knd^}?t2k[·hIӈ׋ɪtTުkքM QZh|cQ*\1'Ig<ёjAJ~AUĒ2-8 X͠>gO&TʃQ$Os n`Ǜ+uףaB5& uY;:&.$'y)f>-xo҇H/l1Q'  0k(Kjv{Ԅ+2:j5ӜA-alM];c$s]zuAoF!UA^6Vܽ.{W$W 2m)_9FpQ}f&.gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.vD>աk@`@`\V*2Zbc pc*bT^B#&yU?I*l{]2ʀoc3[[R *7xnaNPn'G m¿gYZ7zXZִF! i>f]ŗXi%Dq|ϼJ=^.M"xAMqVU^9[ ϴAF|Qbw|.C,Xh8kR"&:ܝWI ]e{(<1\6gqGd2өʵ|;l= 1,G@vM{,p^!|pC<]GN2c0ZKa,LJ~wˏȣ2d+ƫ`YpU'Вo\V"?=-NOS7k-_ ꟇTf6*֦nLσ;NQq + $S K|I'"`j /hIjٷ+)wI1Km]z"g?6WI3!G .m~B {#?@5 p~g8d :(❳.VcAx+8ģD+{ aOA7ܶY8TDaY8|wXRWwQe{Xs^͍W2J 9N[>)|xh@,!UNGц~y\'W=ޣ_B{br" 6oܻm`&O=UoY-?;7/L&kw4 j#rq)B"\ϺXt f9-Y. 7 iscI}~p 8b!~: %}jll: 't>L hMռo. TzL)7 Amj6K⺸n-$d:aэ-~&M*_rA [4^}y:x>dmZtͤTYU)Ք("( 8*</خ}ؿeuC ՙ~"YIUWIpUҴ/^>%W)Bw=xYA=L rL~Ca2O)B+@>fMH':_Zlr+x%ArX}ɱ(5gf jZ}S/̙GE>! BZ_a&UL-Yħ~߆4 b%aPj%d<ǖuR]_+A)Nd0쨺}LKX `MO0;BGoa~2Bs Bo!sմ2q5 !> 6SEO(Ljq:_Zaǵn/)m]?TZ(L5=n}(H#U4a]ZggBd@2=2jm=ת{Pv܈ȗCc.3RV B˴MB? }ɀNn"|u(bEh/) c1ÍT^UHjнۜwCu(@)}Ɨg*z& 뙡.؎}bt7cQ3vsn|aDg92:3B? = HOL-Quickcheck_Benchmark - = 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[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 -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[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 !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פ(߽(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 hh =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:FrDgYZ xg6|L$lJ\N@lc/=TȖn!Ym%Ua)?qLD}P̹ʭWo.XJ<#4sH}u=+@BQ.y:iemCjnv'̃Տ .XZ2˘$m ˷M3ݒUn贰075ȍ[ePhF# D^qKk.{zHC3~~ tPnjxסDxL! :=4Uy^/m80}4RF:m)ɛ#4#f/r- +p)s9ɑWv9X~JQr"鮋g+a uZ qNn<I~%T +{ug ]W wq0@v0O !MNkؘȺ=*B}1?m.:ar}D XtHӟSǢ-PԖX6{L:ޔw;T.pv RVh(TiKҊ!*c bSzhhr&27/l+z@է^8v88BWtf#mlc"XTl$Y.oEc!@Kt_D,&U= Lpk2:>T'84C`CFD[ £PZA*6v=27? X;2#Lz,gyQRU|֤Tw Rim@(NߤMU_hO0Ggwd5M2Y!nJ//3$ qHeg״(\o_(I_!~I*D (&} @/)f1Щ.+sz!6Ui "pI;Qo.Y x8Vc+h$`Ң4|ĈہH Y׹w^|83 X.!MBN$]ܺBc=2jǩ깃'(d۷f3j4ZQkB+_&eoH0aA8nLC'kwӰo(H'{Q`3')fBnA/ W+P-[;ɻiŕǣVŚh3/㶴"n`"2( e1#sL AMA+k.}I:˩}J!ڦqS֘T퐡6ب ώ{Ry`H2,G2}(~S\3k;l5k4< +,]7\qX< L7Pjeg:[i VveAI]wT0jWkY@G-WgV}yc ho716XP\{;bmWMqGWLehNȫl"_r c>!EkZ\C8{ q2--ձ"q==U%iZ`شJ`4h.6ຬpʏ@Ǩ+xݧՈIO!X1Iׄ,bM:t3<.wOF1" JΟ"?z/O):"Ϫe:GiߒUC1e">Km# ~b鯡YnZNz\1yr#Bo[Qͽ]⡿s;._}9 L>zy BxΩǦ_pMt$,5!a2d 72rr /,P%VU & 5)XBo%W+,$q5\ƺT#Ò*ڣػ%N|$@_HڭA3AgU]>~#l1Zx?'oLDR†RZh1vX()a82U 9ttT4` ܒ RښUk-elqhμݱ٘O^:76炌[Hz|Jof<5TJ\?o9rCTI+Zw4?7w՟TеQZeS^&wlYCS"ya0PNz~*& CEՑ9OV6zbDT!]0f]TՒ0R gc~8G6dA7AFdlb=DK_Mzn-9?m>ǍR"6--Փ]Mnƴq4'*[NgM9oP:1k5*ؓiGT`6tޣg)V:3O|jG$?7AH|7Xݕ&_WYDŽ~Z7Ne\NwP!*'BԟrPw_} LrWP&LLy' tyCX+6vq]ql:mMKoh{M\ɚc!>8s!ٶH$h[XP`BTDv;͙Nj_/ۻ-#M93wYd )\2= ,C#"X2 ?Ǥ~ ۫Ê'J:/F[3Uѣ .9_gj>Lb.!ku;mIqnj{ԣ1q`7z1 1peNהJy ]|$!xYG ZX6c^x4keb]rQz(.(^h;bǽ c^MF==xRA$kjKlz=!t5dh9ב~ Mod'tB+A 4AVO-I5l5aL軾et;ǖ flQq㛰xٻ,P T1Zkl{IַAXX?N8󙖠fƆPW߻׎D DN!1Dx{A4V|ZpJץӽ8ȲtQ-ax gX_"4w8"7WpAr+9'^?Ͷ|->3=9r3kGd;pil6E?[箓x!$Du~#ؐy\o#b$nT0_Տr>&°ORTr($ěӱ~asZv 7+6 RHZO[9uUtPJ`y7r~z9$CF W #: 䐡%r4"N/n*m'=upk9]BIU; )~p*OJEG1""PͫWpA=?s.|΢V@ 4)YlCAwO~9ąϠ#aǷ`[H4JY9{e5_ީ Od,'/=K*7dbsלx_oΞQr=LJR,2FII@OZ.d0 ]g3 d.HPiCHwrx!(SGj@/HXmJHY[Y|OetD0cz*ĥ$/EoTxV']d;$7Vz:-F$|Ƀ dr~v+/8z&#S,RXAyE ]y14:[F^w0Ϥ5vg I=|>T/+̦x4SpmUOIZ̨'wwrqE75h2MP^~R.f`mV?,Esp8_[hÃT':) s{OhE][y[#ĪS H {hE?p*GW(So C3`o7#~kgZ{ ` "B2*H?TE~~L!Đ;1^KOX钿AkDXNnM.jhrm2>{ъE~~SrOS^RiK9=Ywg72|}.<vY {0zG 0,Ð_[2Sޓr )bf[?\al!OB{ ̻F{Ψ$;kUn"? N_w_ 몴"){T׸mY/ϨpfD}ѓPYmtvFR M= ~#xˬ(4n#`;h=m\/kGeY(ȷH'0}0n_0$7d!3qmkGw1luMN:؜"x i , |M}[5`IMudKn{,ko2t,y$53`lbV,:WX[fa *0(_í,pUԼu(cW<1}>0N1~ł`S,XUq5Ue%D_cj}J=z5ѿ0(JLpՒ%K39!.DO\g6Mr;\VJBAʧ-UU=f&=q\*D>]ǴKp¦Ayh1|NtQ.bE99$#:̟Q5.z5r}Ҵ[O~N/;1%g 0؟=h!%N'50l7A삼=-N ~/jj0ӴKHz>]蛍'~35L@V״)4 %mszdņn[)]U,R}%?WՇVubijV7".3++pv ^˙Al[]8yK_Uy1cMF/G@]r5B*?Yqn#9v<cfl<k6طuoE,IǢrd^&k&.w N 5f#)21|J-6<*D2dbGvy@)sSr3YS"ҶOß+5a[Fۤd{tupǞezs5AHHF$1à2,tϡ4?Oѧf)Tdz@ Qb44g8^ vf\G9s˶ɂ6)Be>]A lvO>o Z񟻽 e^4IH .=jVT-zy$ZZ5.w,-M,aԭ(<!Puf@QK,L0ȫ/֬/Ap~'v-M0=Rߍ/*sA_vo>k %GpKuO3\Z(kA5 c:,yB=Cԡ;dZ=pqylY{k'BVf"3 0CvyTzԏi1v18ɆS4@:*^' MhӾ#&/`EzPº6¢~+F -7"itR|rNlnQھ`սv =eA`u8R5Vw*݆I@An8zz,`$AāUniXhwM(~ ÿpiC93==7O $`:W M!VR9 =%xQ{$' ?m f_׭4--s-9S08ʰĵTAl+&]maiDKWt$aOD` H3)7 >d@e"S"+6v\Vb ?nu69wgPs\Oy&9GFCQT7[YijGۿh3ܐYvzZ`)s빭5`[ǐ8RS 2BC*ȾE]2ݎ 됕?Vg$ML0|YTT8ίv;ݲOƃL9L,KK!lKPvkVZsֿ$-KF"=- "Q,萉zơ|7{:6ա\_]@YD)Gj'$< sEY5۵s04NLa14/q8&Jo;ܹ*+X#{ v6,a/a#&Q`N|:Tlmi4~Bh.WmߧM 9rƨc fw\IR )Wb%weg") ,,ܜ:^wTj~BU?\'rf~ztK?Rk8 ZqT=D)?wжw2ʽbb:_j3ݩ|"$h]?RV~Gkm·qA=7xOE8|S6~t{G?%x l|aV=Zͳ ,nV?=~Ŀ߼ie5c0:ӂ{P4P X+H WNv k\M'y@y@Y?{r ^ Ģ7]D qd]#cHhP#0EOޝQ~_0^}l;BTei, W..l :U$]H#o5BkzTGM^t H/4N莄Dd|5 yS/o)t>t~L9%^\gao,X27晼8uqQZf06#y`;諘/$~5|U! (cTlل_/|d5J0+XSg2&AK!S,B}#lu\!ҡa' m8@~pvc}ҽ 'epsa$KB䁓3 >5<-G!L?Q|Ɲ$3_@cQ!H܍1SZeevڐGjR>1Ăo6lr)*Z, Fcx7ٓ78jfpkW,ra{یb? v#:g`e>[H #%fϦ./U؂dGGSeKYD#9=qK AX́M#(W7Xh}Q~s_f2DP!'hU$y}_ة&ڢ^}{~{2m2pz)f ]ӊ6%UKC6]h;fcP!NR<7xAIqc *G*EƄ>pK;N!H=]?1cT0EpE.yӕ))*~ឡ:$ H\`R?= -\NPo3qHiC2F@#t۽'5/KV 24ǂu5e0$,|E|#(+E쐪iiOpi*Kg{(P0-:Kp npE[G6v0.1g+eR[_|ouۣ"B=MWدa!(tcxhb*64h%2CnoZ x$SAy{Iy g; DfҐDn4uj/\17w'x\X#;0^?3^ e,r^l#," ^ H^AS *GdLCӲL֗1vSŴRck}Pr 7gJYo_qGԠBSf&ׯvS^['+% ك]rp*z/M 8 #59Q }|s4-`K*WOLc: z\Mr ̇I@ l#PODJD,9vJ!)q2[X]ƅ9x ,~!K ,]+Ssn<:TQаk-,[ W Ǧ7^֘E۲M1>, Yvf)(/޷s|qna:_IC-2 d䆜m1h$-űӾh KMLī^Oϭq͢W"6@eHX0Ae5&/6[ܔnٕE@EkF]W΃}px|ËNI|1}`F&jjMOɣ7x@OрO5a.@Nѵ=mFgS%x2yw0@iM)޹P~ >WRK1-m`"n~ *=O xAÝVo>ϡ@wzbqAQ(Y(!;^8,6vɾ%*?x(jŭ[Ҋ8xc0kouhxLZp'lOGY,4J]TZ'^@Q qm]':!V>+! V [W« uY'q`Ksd Ì=k{k}u3f%j\Z4!j|ߙ 58)'{El_H=(4썓q>(͍ J@sZ$G5^Ej)_ j!cp2?ԺUtį.'EG$I&WiC5RxŌ}!p+N҃k$Z5V?GL es]'m&h]\"H}aɡS&~o}&r'ꃤ[im=goxLT͵R{bUjE eq 4N)79j>}s &6uTDԖpFR8ס .u.N}ZwүunנԖr5To|{SHm=UWY!s˕47ZU,k_X;j#ͼ8 (I-]$Q̡A LN|~%oP. 2ׁ"¯7W[)ʾH 3 3r=$ҎTQsK1iZm8%6H[t&Xv3" :{ԳtI;w#&}$r@"Q y.DӲ'Bk1t逨vL߲Μ{ys)ql7g,y[x>[~[g µzľfȢwHIHAYEĪƑ3_{LJn}KBR(砠'IgwU&uPWzI'h@2i-$SV7zLE%B;)׍Xf􂏩K n,%: 1컙=oM*/7Ғ̏`b ^ȚA7$r.`1M+}oǰ2Uf߸ytjHaU!oC 'zBRM|k2ͫwPZSWLacr3K\j[3 yrpϧ} Bz!"̎tʵYʃ=`k.O2>"-c.>"ݤ$k֗c#VFle 2Gm!ʸF뎺\mI IOP+,֘!] Ghw{]RгX' svL_rMfP`-\ysR %^{ %u-'G>Y ( YUd,bwv-]'n*bz͓zI 5E>,#$A2nL90Sp3m@oFto@g:|pvyE$^][ž d̹WWzQ1V &sqH0pqȧ+S8!w`,sTo$jPù c4Pٵ's vߑhM܅!EU4X׫DhfAWk(܁EIcas` hZG_$/V~)QeONI0ltk;ŎM26rctl&K+LZ8V[܈訬zpHJ=*X%<؃5ā5ǟN^]a WiGY~0Eaə}Bm -jLVc=`0{GMvKm+-*kvf x)T"@Y(胡H븜})hQ z.C'f0|/xtVD[ϕu- &a'd6܈,~ƣ9% ]᳞[P/9hv>$eVm}j5VRb.sbR{.KHh1Ǯ&V0!c (q=L1ak)2$W`!MGح6 ?w#3<׽(ib*ЅTgق;p1*鈟TF>];2sP[mPbTIDw cS{0J6.>PRNzQ*P0h]<ėI3穬UBI`y2ҰsT?Gp-ͥG< G=NMMSbmu}d _MYfL㵶Yn 4_cct<#U +#;i3AxJۗ]p4Z qI8?F* ݋JB?z<_@ vsm4ifȩX<'06Ѧ ~(tr UzQyEV[ ȝ8BG.Qݨm'`zwY޵^q uǚۗWuWl1.%[nD'[0xJ ,{*U7#.}+ÔD8؛]~? YZ=PB(<m>KIQY*_e?!S)F.;l,+/"㱻/8 4)W;!F֙㚛(X` hlq7ǁ"v! W%8Pxi X} <$zrӲ*JteZEE|vLY$R48 N?sQߨywP#-Cxft Ə:pǽf} t} t@Q0+ޠŏb ,~2te$.9'h%+]*2# !ʘJ3e]q~Svb rR݅dp <-[UBR_YM>tĿҭ[U6 OΞ-qϽrA&W>FQpWWlzl\&:| IuːTr/Ũ5tI CL\YSXʍ1ō͏3;PILt} 63J?L{.xV.Ϟ?ݷ?#_@] حf\K:e께$MIWi3CVP,I/y4T!Bq5m=^3zvvU^iH~Rocw&<L+bȠ#E ]U{(=u!,txs? 8 ^:7)IBi Ѱs!Om|YXU|Na@A*iUl@Ck|GQz3IL!Jc)w%֭JO^M{9gf3lbV u̹JIrIB<~nvΏ)e,Ndx惸Ъe ;`C4dE6.-רŰ^0j䝄{CW{,2grQ4`ۣG\w͹[q;V&8 fkǪ"hՂTJlϔ"h!"Frߏ&iUmat*4Yy寃yKR%eIJ,cJ@7gB,ְ=K&p;PK H N VJhcS;3d5-i|n8X-rJʊ (HXt@[y55bHC }v^pFFap`+ 7kZF(Z>ʙjr!F2*UK} \C@ɓ/8zW{ ݴj%'`FPWNC++3*60~}M[4i?Mˆ1ͣZBo3|gEMt^t + ?66n4KZ g|4-z})!iһ|Jn>Br#5*7tG'ٍV)| ;0] Q{)&)D W;/\.*Ia/$s^#V_vBXVt3ΐ]80+%\%"v- O G9Mf_ha@^7@ Y7Fzֿ _=95-y =7 ^iɞў⨁DD +eċZY4`*^d74DR To9 %94(Aǫ5\M"`.{!2UX/APfzR-qSδ&5£SF=+<0zGl :,!]%nD4봒3hemCv^iK17ԃB/qކDX}\Mo_*aH2 jzBFB C|\2'Ŀo0le"ۊ DvOq*2,!~~dٍ.&cؾ5N{!ʆp Bzc3'QM=]ͤZINHC`Q1RMjmtGlZ6S/j5ݓ.߯}A8  _3tA2+y{q)?r%]u =o=BmeZqd,YB}@ӂ̒b몼cX aa+3"t@{\ȢU{EqKzi fq{9SWe*JNf9rC:aE,~[57P**mjC_5u@.l'u[t$1ۦ9J9SiTd/ kSCD62,jW3/4t"'PzWcqeng.2"v.guO;*}>( `f}jqqR󯜊{Ljb:+Ĩ7KcmvtU6Vp3YS{a*In AlZPYҴsb@r3.D*)R nqx#B=3Qm~^%SRu5&,fP>`]6+}7ate< WC#A/=ڂNtK@$Chn .nmm%Kնpkp&J?'f<3qz ZtU-*`h<Dc@"Vcs.٨vɄށ}42B>+H$jۅ<ӅMhODP@| CC?J3 /no\V@ޡrm?`[Z3 {78o ご9tdJgwfw #8-$yOdv/d}'H׍tP~\Aȳilfn=e7ġS7$!R/32 !s5봿sXzICSTnysl[ę)Āwa(_il0lX8hR0I|} NU_`JpuI{W-.pSW *Z'#bC36쟄K)6)"#h.Kv薃Ք2>'GՎ;Dq[bUVxh". UJY9û$gZ nTȒ Ψ3|]J uNcKg jlf"=/t['- /Rh$J0ڻv7VJj,wq0=|ˏ-`xEݫuOR\PZ*fI&ׄɞ{M{_ԥ4 ɋQ'dƖ\"i؋G{10B ,g|*#֛y8^RbÈ.CZPs>fq9Z;1PM@ujiʧvq8*TF zXL%FμavR }ե;b`~u}n~90tǔ|3Zc34Ħ.*iVbxNj. }%/doI@U;BO=x פEo%ءR>vغ[ |_|ZRFi^9f}PqT$ݍgEGs,,Iw+\`7=$4&LԶ&`DV }{Da}f6I~c6dn#7Ak>$ӵQkZ^c0E*fW!)p@&S[}VҦ0UA}UXq'mkzDt8v➴*ƫr^jG2tqDه[R՚nW&NGh?S*m ݜ<^nx8NU&a^ԗ,dLW$xUE*,խxDh)tf5fAO[E Bte`-[,iuq&d3M.X==nSK ٘ ?_ ;̗ 2I~=tcx܀/Ѿ7VĞbj|)`Mx`Nm,so]~ pfɡ(V_tVxϑ&P %Ŀ9DWҍlşL.(($Hh9wfݔ)Xv?kͳ)Ys/tO2-C Ts9| k5p)hU}Vkw)!Ҹ%eɴ[j MZ<? oL3}Μs4D*Q`F(vYhzs;, EGDW 1ɿF3Lw#@Wvm!AmuZ=S,=|BhINqT;Evb\ j{e|V&ֿLLtJ+JJ=-k$YeP>]Z$Fzˑcan/< Zic#!PvHDw{ZSo  *؞%4^dz4fV\6 F35S V}qwNUߛT0F@āj+cM3UyhӥeM$їo7"-9G8 eΊv Nb]c)(T%"* I0 `lS?Q8W:jPwD?@ Ok}8-xsRǯw5'BbW4Y˶oTF"&]7ts:0NF NznCƳ9n«;TEYAj4|Ơ ?o^z%c*.ߊ@&ρti% aQ9Y^0P`^]QL. 4GXS]Xqbf`+[G~cNu(uП;Ո)ƶA$5zaEaZ[T$P$l ^2׹sLzlŒBMX2X:0zYz ٚkS̸+уZ@ז@W~U:aɵ걡U ѡx@k 30 pk)NC3$7v&u|vrNƥq>@Y%q#M)#he~WdœoÕڄb\5קŅ>q *ZHσ;)uL5WHGOjMAZQꉺp*%=)'%kރHf,wj=nGa!v1&쵻>x,s5ۜ)©]Hc+o%F]W4TߐVҲ1JgYY(U{$'ʥ_~kX#y5:1cQ{.ϲE\6Y~!D\8NPu68OOI!X>eB&-FGP|.p)k%\k^c^/y Ϩ^[%`鑘3aYQJi}mtPK˱ M̭ ~f;/g. d8bIZ֬~oQ. sЈ+ ۊ*+r765\ ^OGh1Y&"BJ/f*{Y'O{nș8Q&!VP{Tz4PX_`NQwpЀ׮]p 9ɬyc'Ɉԃ-@))+LP#'YG%i|{mQ̊&@,v.skܯ~k*D23V~TIahgLQ)BE'ߍZZ0H^^qc YkL,I4p.Vq9& rOC Nr^KjE+L$=uу0 (f5eř_vy97WnpQgu b^9~{#W>d wAO,bm"}㙁KI#>*+y?@ "SgU w04ŋr ř)v>`qrz6֫zYVaLNfB- [(ͪPD§