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=|D$t ] HOL-Quickcheck_Benchmark:threads=6elapsed=279.188cpu=1305.692gc=58.5567zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjԷ{D#7L .fވxd) -?c{E:h _HDJ;8ߩTyoPbOk0.Yt n-yջD"Xԡ!t/y[L <~`w94շ~~-5) 'laXׄn$SKFK,~FY4U??ꉲSʓ$lAUaxG:D.L|]B j+ N dV!>f;խ 77 g2(fʟDX xRPO+pD@m}0d>d* _Y($׭|Jl<oM&R{ي`x앙r2qR^ڹQèl*c{Rme;iWб'9$o(|gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0a|9i% [yHRk`mS:!. 2j%n)SEa4݂:dTyFuዬH@T峽OaY4bzRGwcy)nA7pHǢgYZ7zXZִF! Hc]ŗXi%M{'F`ڰ1]T 0ʸcqt8QJ>>^2lvaQHc&{Y j( iiO(#<WI Xߚe9sNq͞$k$gc]^.:b;n%`~}8g|\Q`dwhjR!4NmXr|Bfi} X|f7mo2qy0d?bOM/-\Wh?b,TL3".*pÂP&:K6 5$V9d%VPc2k@{6&z'q@j\VfBkOK. 4pRk|_ ūpf5rC~uԩj~JfX48q1d~IϳQvZ.{?/Q5hGn*hYtm0"?7g4;sHeiPf}E(DÆ*;W;OoN3nj/^ePcY@!޻# kGJCD ^ƕ &`i+A)zÖ6GoQ06oU7Ețzݍ]NyiHJ91Y"ܒw}AME&<$>@.pj` = 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 +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 44I =} dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.tex7zXZִF! X]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM=x=[:̸x`a,{|lj|я/:4U ]J CcK^~T`e 7ј@_mc]0U/C\ON7b[VtQ:غa}Z)v6oSUh!WWCR]Nf. n E d͇,1*p6h@q`TX~gih&*+#$|jz88ѬJ[KҾj*m:* i鸳شo"GZiNZnB̂J?eGW.SÃx㫵CL*/N̻[{m`'@"-`LЭ|O>(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 //N=kS DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.tex7zXZִF! ]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpMM#D 8L<2\䑧*@B-]o!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פ(߽t^N͗Džz0g)+8,b“x5v8xo@Ov,>o +rM'@Thvw{@Pűw+(z nLfaXXqd x-)2xaܦtʍ(+6C vfWdj? 2Ӽh~r0bݧt9n{<>1ǗɄDW}q nQ)#%fHdhDnsude#N]{Mږ S*:\ ']]!$6D~ZAvZ*J 8[+m]?K䉠4FZniLa/#}٦in3T^m>+8.lڂ{t~)aѸ _Ll0 PYaxt;aY\|\ yk9EmGU3;bf??LضVVշ -p;pDd}4o~W=6ll-+|.$ mȠCEΦ#zE()ǿ-c=JK#[㶱vcEh*v=}T]a:kD"qf.<'|<] Ҟ}}b )lE4 {Ҏ3pI6, CU9/!!G #)P&My" ȭs|uc} o# Z\`I&~窒=/?̳Ց p$ӀI5hĎG}PU/; (bI7[8vt*#5tEi p$ mYB;V.puH|hdy}BAnJ *?Rg͘Inx 8]@Z' Qi1]ϢEG̘_c M?1I& enb-GUDt$Ws0u$*yW(qܰvHR濧y?ߤ{4יnfHq7h0@haOy'JOAI*lXq h|"?a!1t3 O%8-ZN<}hRX~hv1虲D*[tBS@0mp^y;&:kSdlФ3x1ycޥR 0p"=U+sW[M^DE+m<Mȑ|Έ3R!Weu3?[|{o*mk NgK*)}V%<`30Qȳ|]Atj;"G(;bbX4*5 s>Tigm^@DWWtΧ9#|jqcm' aڔ7Vf01~MppcWQW'X -wܿv{Aڹ&_4IOjP׾j߬? A( zb*sKky>GkZi/&MT_m!KP*>fw 𑬸z[%`/Gcr!CO\Zp]PR)usfHc`v;uz({D)bUqN׶HN*E0^m.?H+m+.gEq,` JtVHNA5bR&Ar"WqݯȣiH 5e&1E?pONŶG Ar~i+% zGd^{̓.*Ff- F8ϨtBaҙ{&MKK.Nmhn+]@izQ;+h}:]‚z\P}laȋ|$e;3vD7KqC4tΥ,J;5< ɋ+=={Xʗ;DhÃ~Umi}z%K:+poqg0mtU;:2%Y r{MGJ~_=-о s;mL㸗ԓx95Fذa&iD8iwMutz-Xeaq3.,XB㒺0#(k\'DH)j1dd:WǶkj`ìFo5/ F\K[9UE`02:16fް\C K3~5Syc;ǿ,~>B7'9 wlb&><υ#tA8&KY&Ll6MVP"SlCnzkbսaE3sĞ®n" 'lZ)ZF&us G +c]txD%b&ks&{'iO]d`U,{zCYnmP",zfpL_Zr`eoWUf/9ҳ= ?Li{}YN'ISv*ڑpqJC,f-lTyĠ(5Ww께b|o*Jr5~k8 Ifܡx IfOWBY꽥'^K &G16| S !3wDOn,%,!*(;d'wJCܿx*6j)3C;Xw3`#v`jV0BDy 9CwanKˣX&yQ?pHSС('٭. |N[a"$ao3]`xÝ9ҔEF=2rFlx#9H&҆2˷y?W_Oma[dutL| Nvy"+e/ۄ7젰e_dR~T7mPܯj/4Ji!to~(wb "p{-g8<>"}@=B#9aq\<+.QQJ͇*SWDW8*f޸۬1DdODZA24QxJRTbp(CpQ4~> .h!jK#JCH+\)օ$]"5ARu  Oj7)'"GmюU1 %f$.gdqdeYa{Xj6m=cŅFP̓Bٹ-o-~b-k =K&koQaE4o[3]D&v@DAM\4;x;ٵ=jl6Ut{Ȳ|{* tFa.g1| Z5<3V ,2,p+6=D@K,[}9eóM`Eu=ԩtTP UxI MN(Dzy% 6[VX{JX̝75? "[^q֊l~vy=)ǥcͳQH\]k%qJ8aN%0ݿM$c{?:b勱cIRr`cbv2sDRiO*iŴ!uvI]a%!^`ܔّɜmK~u A J0n)*N :4AC{bwWyFJNGU! 4wh197PcIxn]] 9eރOQ_1~gtJ(RGBdz+1*y&Ճ t4:nj.%ރ+\5^YIIůrvN{rЩ9;wE_rv`KWZ[|CbGPxf">*M˕[ziʠ ]t]RR X?UR>B2| 6:)$䫉lX.:O{cv 5WɵnSGnk}Iod,]s[^=Ya-i]ɬ)<ű)6?lؐT zTyP$BU׿ k7ktdQUpX8 mO$r[dTm-B.1]4ʚէMi*=@xJDį96xp?%9 0߫:3f$frBu2xh%"ǬH4ͯqv‰}}ˣ<\#1FjA:' `ZWwKI]Q-E/D7D>QZNZz .ߝ)'NNV4[Tˎ>]-2Q6|o6e0ȣC%$T5P' =|=MEIz6hUcS'SmaOR.Cz1;˱֓$t$sydln !lR~,J)iU'9"{Փ\ 򡴗zIiMd,Dq/ F"Lţ{E'4ЄR6* 35?/-t4IdR^A2)C)! ~"{#Wг/A1+k0P yS8R4z!e.H: t/y/f(L˵x]bPhDaڨr+{9'N "3f\Qx9 HVƅP.o5N='vK8$/#/=H;l s 7Z ) MSY=AMuI24e7R;@B *p^5%Z,gk>C O#;~,r؏Fv>YDa:&ᾋЧv5 #(ꟾhU.*Y<\9h̸n h`EaifGIoG,n j~Ic0ʈ2x9hiu09&1⿳a2+X[͋a&YoDPgdK"bQV#Wwu09z„CI$U 䡒:MKB"S+ KeFIOGo|@29M1o$u[)7\)Xo`G_Q3yd)jH02Mݑ79pgE܏܂N7 E.Y&j!Sp.iON meL:.)^\#E GK9Ns0YiJ;μ U!Eۦ\"娸zO ,&qW5w(~p^CR,}ZNQô*Z Sx.yֳP] [ϟ -{܆ok!A4!Geug_~ؾFQ&M& Il x^ A{[Ϳje-*Kg="¨Բ<Mu8eХ[vB$@%;L!`sg{7K)Jgᔊd9=W.ԊL)jMZWIC#O ?[ 9@dYcBM)U5`x_83,x-ON1ɛX+%V=G)tΣM*Nh|oR0ke' ;Ѵ{AA"M^OwXZ~;p`p$A)Dd)oZ:nH5gJR PY)ҢM,H58'-f#Cs+Wbi9>,Q 9>ux/]ynTn\(S1">_89L06bj; >޷]BoMa=T[CҲaA_[z0=RJyoRbTTJfTw@AOS<eu^Z\H]vx#+ЪSx?bg`~}LruCn9qzxEKq(a0xFm_yNR ťws ǿ8.]j0aEXELV}ಔK~wKK& sfo۸K6J?pk$UKI5j#P&w,Awh7MRg6IXNo>)grҢU\B;‡8^`0`VJhR2Dry2ȫ/qe DGzD RM%Qf*gΕܢIgU U7}-#3.EHcnk Ϣ қ|5'UʠcM}yUߑLxs0ʹ;9 -ᠢ6NQ=y(KՔ̶E 0aYӲqp;>hl|t,n */_ *Y!㓃Nf2RCV.sH[Nוxܹp"q`w.˝;Ў?r8K"5J|Ӝ&tbŝtOYwi ]~q4s6E͜Z[7%~[.T9ɞfGORg.-|ynS5ۅA&GG஖dj8AF::/O*6ݏ UMd?@+UɡDې ;3m篧nM~ݯHωVpBLbeQB ) hHZ 1 'b33_y"NڰAJ^do.$$Z$!U0}B䥵vd:8qbJ|FH1otJԏc<\P*š;-*6҈+\]cϲ_f4Hܓ;A&>w2KōG4jƼy(}2H2띔h8B}Z~e oDFH$/j:#՝ں&%75D > %w x e{.\EvwC>'bC{vHQAOTwXH= -qBA3$L/o|Xf^:%fk+dsðeN!W"(90["xtKhU(LbK9xx\P(hڇr8_{&ȍ>O0_|ma:n9+g |#RZB#*al,5Nx.)dqJ#Œ օ,g(]ZbD?_"+30H֒O []*Jv",.7 RԬdAA ָ'+vTq *;p@p8QQ.-CWz!R=(6:nʤ%ʫs!^. ڟO8Ĝ'l9/k3?1K'gkJMPW.}"u` 7L@Ûp;+9a mke:!Ŷ2(O*54 p3^QRO/tN*Ko#⪹#?/|n_|DA]*&f%˔qbt$B279I,m|2wZEqjJTi1C&zEӂ) &YLf|Ⱦ6p;hUO֜)NnI]f 1x5W},Q`?#Zr :2-3ŗW߶S7n\%YU֕<&\M({s_#akAd# N`z]ЅGo;iS>{#*vsU?"zٯKzÊۀB߲r#$i*1^.r"v[vX3i0#0 bM4oe%MG'Θ^u7;5 %RLj?" ^,~xIjiD] 4ͯY-Ǐ4& n8\MDpE 'Aso 2q`KrHEU"am^ #6|< WUrP[Nx( c `l١ 4&ۢG1Pvi`nPmx>;]qsA`/'D?+hlAPÐᔅM۟x}:vj+ݖ{ߡHx(:8>06ZsLY뉫+JKq[rĹoWZ 4@ tRhyb-OEmӽJ&n .+P8BVH^$q@pRp> ~%4:*u~4.@xcLE@c$#VxTᚽO_^^j+~6|a΢xvh2=5VɂW!k=ScLk0\b aEOj*AdR/gQ? Z9qͿ㪊OyY5#HCu37wo|]K(AAk$̈́=p\t%Jbco֯๴5T{v#d-*>U-Q Qrbjê3}W5SM3$夳jR/Y95b@! 'ϔYW=Q;/=ZYf_%Kee4]!Xu_TD;M|pk͗ڿuMB *6,1W] fΓ9>e@_CdK) Wxοz+cU>!^yVА_:U )}-pz0I~Q\XO=1mbG~m-d(Ao .Ia8Sr,Dk{O'_xd2RZ]R;{#/#`&$g9ڵ zNFb uu$/M CY=FS> LnםԮ\ `Vi!]nkñzm 9jLR5B?_BDT&w|ocfd/irxGM婹\kt| *ϥwmj ?Ye&o}`pyNrF:؇Y38*36XÅ2qA._T4[ֿXwӆn[<6BwXv;B3M9WkJWI(@3CѼj)Z<.drX/"Dܸl3S]BPXnJrZbwū3JgeltRB=' ,.%)$#JN5e20-f$9J0ڊTԓ3Y‚ńISr%xGU0)N]?Hځ;1ùhɃHc5am=NY ˆ=3#ݳ1Ƿ&}hGmh̓NV=r6fq&_E*hxuʼ$xX*<`;ozI  69c}PR?V kT,u ysCxȂl_D ޹ѥFUcD]қQ[l}o*qzxOu~a#?>` :+qdz+np[z m`j78MJ?n^4[{rj~ gAz%8#3q˭ "gb!|v nh"nfB83ldށ^弫H ȧ )+VBr 9G;W!4dN/huC@K.*uoa.!]0 ,<wU>Gn*UlejVKfՕj*ި-fZ fkH~d(W>=5>@h*JQI ߬L/[jpJ|S!P 2>W1AsH !;V ݨV_-G@5:PS1 j ?U/or|X"@W8B*B)qg"iU՝YAev|0)ߣdػvHǕKM^:Q$2K)'a-EJعbJX x0l ̙TFQ) :WjKQ'ԚYN^&ipasIQ<q zAYwVE;?Y}̝qDVwy/ϹCX' }˟%dݍ42Lr m)=Wz p9t~{^wֵ[1Ng#mk;Gv,Mҕ߫1cv[ZȤxDP%^G_]z(VրL3OzC<͵.NpT&pz-?E7jzocv h Vz~B !r,cK|dwmlzv#L?4qR7yv]fig8XWiQ6Q&T]%nRZ L[RaG~bݮمzhaki-#,]=qML%b;aymP #X243#L uf8c%Q$r=XI,J0a.v*apeڸ Q8RJV_Wu/ŗ42]CY]fU0LdCTξN3Ey?|ȭU QBSMsL:%FvdjjA| ๎j7Vߒ,;0eZHC̨+}(? Z~H~n=jؠ`|sĤ)s^U>*?8boƺ8\6h|Mӻ?&WЗ zOZj,SoXbyMs9vxFlgceXO;~sP.07vqy#n"@]1Rd Ջ E]4efe{(R7 *zcFm5Y8LK镧YS~cՐTK> YPHsg–Y(E)kh9,+ ˱/v :e1}eZ=΀3O d+55aF^.*_smdeFtC&=<&Uo)ivsP_]Yzb;[8D2`Δ(Vd~1_h}@| +ɤQ݂"R*d(M]-Ɓwa;ת + t ױbɬ2?)i}9Y\vt楕,v 霁SU8N0*o#ջv+'ˌ[{4=`p36Q1B|ɢXa#񉼒ģ.ި~&6ByxƯ6_[Gk4;> C6R6jcK ͼL#Up|C_R-_7YˆO(yNDSU`=MSDS]WFE \,``teR8EFIt_zKbț+.H%PVeuO$Mr聶ay͵ + wKրܕ]aa"dtr06L!(;>Aёl zFD.\ 6A림 {R3rtPtD!D?R"FhFΖzl棝Kͳ)J":wcYάHrxiv&K&jvR2 ]x%- A',`!)T\M54B;*M`AI4ԍc:. f1S Զա=I`snHKK}1Q,H81 &AAdeU}1KT2^?"" [L [5xD%shй>n%"EEm.t ~ izxXOO85B0?: W|*'{/i(fa8zCr662q5 LѮ2X=2> a*fH'*O ]0\~Mb\,Z>@A6|Þ"UoӆS1v_0wzyr 84(b d]}1Gv9!ڰO w@n?ցeJ|$ kuЩ2ms(haW5ÜgEN ʼnW@XWGKZ7\P2*G}ēfJx )~5bq=]DCh='5W g3qJtܮAX$=ȃڅ!NSr_3XW)oa7 Nw>o+ԦxG Y}!%G3C÷l'ܹBK{tM5>(Kh@J=A%O^o~vR*|{}, )f=C6[=A_M觥ȗ}|ͭϾ}Ӯ FrKAS8#Hܥ &1~i0=Z\0C1ςWAp=h[UH?ۗ B ts=]DeY\1eI&3ԙ tTLtr0-Ony-ci,ĶeJDw0PvZWnK#sVYMYpLN3!72co$EsbڏVNpn'76>uauhv=PaQoN0B%AxVoûV_C< H";$h%FD< ڜZzoY. u}~QE16n3RZQ|êlF0ԧg~h|j?[.-M=!YH#P 8 hxk #uDe .0^S_`dC1D'1cFSX 5J5$Gpgnp`:V^(إKq F Q+rg6I$mFۀ0L5+KjÓ>lYD3i5;J O;- 4r;y36XjVO/y[AmJ(vCggLi]oFI? *F)`w}On}MbS}"!:i \~E,[GKg6iG2L7l3U"(],YkF^CJ{\\서}az3IY V[`_$`)k2ݛIVhLHND1z>,*P/g&Oo}+槨F߱&iv\*L>N$Ag=<%''bc E^J{eTɽIށԭ{ԾR,@ YtKл+lNu[*%;TR1cBo54E :Dvٵ`C-|n^n)ƑdrW{#,%Md)-dZF<^p}97٫e]E#3Gv**d +p$pU_:Ra*}7޼nCWv"(q+`żXSH`M'qL&N xcdmƋ0TIOrq~zꭶqA]t%ٟU8*WM#"'ܻ^kſ=wJnxT|r0 H{nZj6eCZGRAWBʞ|n9/~ *𺮲y\`ڦ#wfٚ5vn2> M n֦h8 0iE/߻wa'Y;2|S&eԔdR4*JC ǹ RD U7HƋk]m~(6^7Mbexbg>!