SQLite format 3@  .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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   W=|dL ] HOL-Quickcheck_Benchmark:threads=6elapsed=282.217cpu=1364.584gc=64.2407zXZִF! )]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBx̝)}/h(qRoSoƢ]; 0R?wvܼ[ y-`@V) f.WyE,QZI z^`MSթh{}+*/sS?/)G"/=Ub Hn"|^Ky>?/03)(fSmJj|ᚼ0<2>? H(KΫ˾l㘆`c׵M̖8a$Q;1yH@èCz>]=2ytIcҿ()0gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ibvDtQVCZPD(/$wUpնG=w26ҟ*O*ڕ`´}iE Z5d6Kufn<$f׸_v򞋻ïeFt%L!rtgYZ7zXZִF! YUd ]ŗXi%N!kMUI/SbȽ?a0pZÄ=HDjnl*6\ݷ Xt(},mx귀 c6EG]soHj_| ?.ܸYj@ .5'hTσPmR&%Bg3HK? WLnC[Uka `OYwlEwN?Gt. GsU=Ij'Ǭz64$^T=TlwITpk$j!iyBmصșKкyJ&TV?nk>dDPG8 ?9oF3e{C\>_ߙsq `4ck,q&h7Fv)nQl/6.*p\5u)[ƈζso֔9"ӈj z.[HnuBl6BpN'Wd?a%G4pǧa gKq۾8y`7MJ$V^Ӕ;'O=$e1JX{̗*l}'iiq憿j2oHΝ留2nKEUg%2Wqo<@Di!pСK Je0!y/Iq#e ]zxxzyTj̲RayPOXʯR޴Lqي&qX{Ih>t<5!wi7ڽܽIh9:|ff 3rx)6{ {=pCDK?dȐ?;-B+o ܢF!,ݗ(yOA=īM@DEέZ3<#m>Tk>S[ǫ^tܴcYx@e]U -GaRGtrͻ%R#v"fVճdgոz^YB([w48at5wir$Wi _l@eq)Y}UM1 hsH,e=x.S#fwMW=%㫍뤘zB U8Dj჆)5e\k?\.GhRIb#mheq;y EٶО9wrw"t 2X=T'NLN[`my1QWK = HOL-Quickcheck_Benchmarkr=s# 4HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/markup7zXZִF! S]:F.3!+a܃? 4$lwhI8(-ڵ5KR8{c\GpH#mxuE'`(i42.f9cFpSFel͈aR6vErG: ~SRcub&-R21 2 > =g6E a{w S-̩,XsI?;fRHUBV%qa866O4 &\7^xF>\w$X=7b4DM'kl, {?3UPtG#ƍa+VDgYZ- = 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 =g6E a{w S-̩,XsI?;fRHUBV%qa866O4 &\7^xF>\w$X=7b4DM'kl, {?3UPtG#ƍa+VDgYZ- = 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 83vǝb-Q C7sZl/+rs@/Ƥ ^]Ɗ09·"ɚ(|#\׆[pԱ+{t=&tZ SY7}7R'@L\٩)ͳClއT^ڔ(df(BkDNz#d<\'Ҏ펓ɍ 7QD f81'iJB\n*7tw0LU\h q`B>9/}\frG,_^TЮ+m9b}6^g2+ 4!JG$]lG"W]qc}YHHNnQxW2r~A{lU}bZt@]mrb?lJ&3pi6cuԙPkJ(~XN}^}Lpl{dqF.) ^?iw:cl|9PA&c@78KNpqSKCF8=,?Gjtu]"z-gYZ =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  { { =# 4HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/markup7zXZִF! h]:F.(Ì\;%|Td[,dWn;} gFk(N^H/@`/QX2L+p8,6D,EmB5;!XxEyvc!&%hOjQDe"P?>;:sVg?o62*lW.?1ٞnDLǒ"ظ#*ƼӁ]Lhë:=_PU^ovxA,4kS`X^ĞSt}:caI4B, xe1U;(}V~DơI]56 JBn.7 /)uAp݄IA ml%4?} `T(@:)3"^:HimGˈb88̴f hoN윳̹,b;UZ~]M()XƴOߣ'Όz%= %tŘ :LVZU?[pgD92Ca CN3)橺0ı๯82]fjt2-nd^TlaefΤ)7RH)dµwϪl"_4I혩q]vnNKN頡-Hb>X{-A|J(Br5–l\NRHK2hݘٱ~|J:\\'Ou0֖w| ?HOWZ#PKJUx8kP縻u? `$]*]"ܰL"&K7)Ug@UZ1e _o3ӰǷcWp>C;r{?ڙ2*,(C%@폴ݢK7!th g^cE. =̚;,83[1,0PVq|r ̿\`];HI5d!pfS0yDAkǵpģb wE $2kUx3 տhK@?Q~?<1݄| ak_@f{43(hQZN6,0GU%v|m@ jh?6Wh?CU#&3!%fmŗqnP fHG0ٍG[vM:,x<\_fGLdUWc4MzAʴPxvP|+g!`\PeO=ǎl7MT;|tOcQl9MH_(-}F%+WQ助ܵ=URrω=Z'1~SRcT2o AsݰQ2Pg[H@ (}KO (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  =# ,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_ExamplePIDE/markup7zXZִF! M]:F.(Ì\;%|Td[,n|*&ZNiQ >;ObRud\_{;4kGz XʘC`j:&0%T z,bt@ox); n^8ˊ,?c+bMWBo*_G>?5xE{DE_ƢTB@l"/"PHᒉ Z'Lz}vANٽ:9zLd! 8gH~f J&6j5ق u,(,A!ܨTLmzJ؎.ŭkޙE纂gU \퟉TMr:ʯ;z c^^͂ۜtIs,ަtƭ" dy#}uZe_,P<*NElT)mVa v*AoB7kK:z>٠oFBXѶk`S5G~7V P_#3ÛdzΩdpknB]O]lg< >o=\zv~c.A=.)Ti6\5L5DX$*d;w> ^Vh@蒖QWJ/˜OiNa3뺚|Dvb2B:_; {(S$|]Xn%6VMd!LDW:LD,p\Y9oᱯv6헀@]+LB|,m[[͑A;OFĠ?y"{K(]Q|e{ 骿^OEP973˼efmWV?_%*[(?q#MTQ#98cJdӬkv)-a- Tf7ղZUƴxR&. ;V at{.ͬW(8\I1Fːͱ0&}^Q<_|5vAԡX{wb' Ց*b/γd1)Er.ڮqOAjQ&e`/ZVmݕq!t4Җk3$LC+\c# ٯ嵀O:w#zŸKƠjJcfB*(Xa 5 m<'%WJ#vٕ>A;Uq(-F%8ҨQt9D3^j ?كr!^'B(w0|]6(dv^xݝ$VX_k5ȩ=dֻ˃m ȦMh]AUNi>#oK;G3j2\ұ_|;}ޱ ]1ŔA"C=ʮK"/STsXo NbdN5 ZtDʎQu[o? Q?P#X(xkM IquDbhݩ9ғөTTZ??>s[:8 HB"jgm3JQ\(o~#3 ,FӥgFz9+eH֙I Z8`^gtR /f+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פ(߽gSJtv=1,ƚF^}Lf| @qGAbKQUg|lO(YeL$"̓JɢOQ ͬs=K)%*1%kd mY/?(J=S>T517I~ :^$y4jmʼWlSH«gkǯ"y.WB'Di۫)q NUJJr{1wO2pCP[PAD.ٵ:@*$4T^s$-eҟ Ͳ*2/0߆cP1x'+ .\3;[p q)B>UqlDŃ'Xi*V\둲wvW?Ī75 vTTM@ɯLU?g[A7K?3@N)ow&BiڎSFjZS_?vq:!4l zzwFN Ə0z?UfRñ1.a!5NaP{^]cUhj} 4Tb<MKK컯ގ~{6 l $ΰx/b( {Q'_\jY?k(^-BFU RdѶw2NX"]$בIIS[~te mc֝\Df\Uj}`naY g*:!ʜ>].L~khU"00s%#8Āsz\笋lP1$yԥ &ƋՑyrXeαg8oxYB˯v-6<6ʞ[7nsXn@2@rqKٍԞkps#6T( kE}Ge#T0@u.H~[E/fҎp9r"F}_Jv"U#A#Y:+L)`8?N7[!V$r{xg3ThWf#7H}?D̃nT% sHM0A`~h<7Õ^1Q5H ), /řʌ8ND;q ԝeclҷ]j ߮`ҠuAwD9Y1&~^ }2WeD{ZFtqn=2RZ}˜ j=RCVNj6 ?pHL7g} 1f`k>Ϧ)ȡ VǸLRW(9#Bv$eQS_ WP+E~,dܡ5խy_mB*只15V]P[4TBTņ~+[ M`K3OE t=hhFqa"7uUG禆vrZKFS&f=o{td{"L%}rĿ<{+ VaL14KIPij$d&DΒq- @zEY]_hUtt11!B_K@ok]Fm9o pDsJ=X6XuAwDPL|?9 +[%CLEN}pЁ.M14f+T+KL<&SÂ48p~>Hxwm+|xvZ|">h2l~}2J00u[kHט{+`hAFI Ok 0RhgY7qOd*ϋwnhM.&0K!ͭF#Y%5v~$*ihfڱ^B? j[J\n'  2R=r0 ^{A_vJPH>N?[oTUeA&0˪V"}m>ӠV{mVQ4 IާtN!yHJgw5]GnƳ6V#ܖ!{78Ml0G*.X;-w/Oܐ3C <*u3#+щ1 dЧ*IQwjsvn?'* Zs˾h8{ܑ:7+a` RRf6_O v }=&336*yΙ%όuݷWI#]s|øOhHXNz G\epٌef-7'R+CD#nKR0 !Ⱥ0JsT#ocE'4[֘#X@ܛ^G#%2RBR`NF4c<5W`݄#YDHv jƽi] `}W3'S|H6^BJS?$_8=)i#GHs⯡HO!TaAP$`MDɽt^ xXIR:Ob "R"u .0E.n~ o坞eo4ɋ- Fc42фY-RNc$ڲG{@@x~fB|I=F1z"mVfZ0EQ5dq$DeRD=WE7ӻq6Ʒp8߮~WTȍnTٛ%9@~3 %QUmƉK-Rvm8QkthaC} 0 sj`{1pLg"N5isI$taN/mRp3WSEC 9)5>{U9vO{'%hDuKCY\Y JĄ]Z!pɷ*[tdPYRpd?%{BЬti\sʅl#Մ N"0B'4ivF!C^P{o5lugmYGN!) m 9 PI/dK71|ͬi%cRa;!3ڧ R@'+$'[6;6O-9yE#?0^U%m^=akɨ3Srb;B! bB~#\Q7d H'ERV^5Mڙ/co]>RSC9)9i& Yw ͟cxVŦw{=̤+oI,7-'褃iڿ-sq-Yaj*M*u2Ƌ6_ǒ=4cݦ>K3yIJJCd?`CBBn qzes\k3 ORaD⒖ZvrQ?\k0Px^N>"6XN9vUaMIKYk#C!8īev;KR' a;M.xǩ.7N1E;q"ͧ1k|f>UzMnu|;+AMqѲ՘J^iI?jeaۙ1&B[m/`f"Mᚠ t?~qg5EVƂ$YB!ȨsE|q~4 + Ը nsRTOfag(t ^Ue[cI>D֧) LeϴwؤlH8PXu̒"^O7.$\`=_SNQlz0 5W OAɇȝR7|5[phc|jg-Ukk[Y})>?ui5ْQhXf6N1P xeuuD`wQlpNMJt"r-%n½m6ӭ{mD9]g'ُ(Ϡ(I&<8}[Gp 50^]E]aC^)b;ss(U6m [jX1;c= _HLn| gUh&$}H 'M-q`ҟUzsppL'!aeh@K XF (C?.֣0*zi,2P=ncIt IЎ$;=cp߳ >_ de 򎘫\]-qZX կF{]˛d-TNAP!!Р|P6',fR\ѝ.>|EYT,\rwJ,H:A[D8# h~"3P|t cD|ˑ2QS;!KA/BCUŎsL)L64.EyR\l6Ax 9`EE)m@l(+LKB҄<$/3xKyj ,]n󆴌x;GO!qʢuDs>QdA+~CYe!' r݂{|&ZR .|?%}Jm1ыNC[]{iu4J-R?xV$-`"yzOaW T8ZB6xaqA 6\4߀DkDfz0(*݄XMl؉ː'z9Z\Fy%tS4&%%&fww:hpt\ttb$^w PMiJF{?VP;ŗ85ؿkqsڎמ#wK\^$۝q(t>z0aj,Ĺ+DMF`l U=sX)"48dLdeTD~DdUIu '>f'^ K}(qp_4`w mǠ0+a Ȭ8T7]VY{K$_>?:ueA_Z@tB 1*: qESpJ:=A\_^7slހx9Lhl=w[ÏXLpIъMyQv= `l #s-B =0ՋCh}%gM$Rg1c(2-읅x4n^?$fԜI]%#>AsC3aZ53d>. I4܉__4>dJ á^V0b60 7!pwg3t*ONRSGOS7ܰ-A5!vks)!?Pke+ wGr@FBV6jE0EREZ3?b'arx|MC[8Of%_2 '(Ґ4VU 4h4T?dm!6>IYb8e3",)E *hq)ehL>ȗ(/ ;o"$ &.S߷DɡWy 4MT*F63&cc)I]Yr )נesRBZO蟋Q;k!F=ɝOaxM](eU_QؤYt j!Z,9x9B{yWG2!"l1H6I6?޽}V#qxs2,0#U5E2Q1CI'/6&oX'7ڀxKpi8>Xޗy4_Xj)?"ܖ8j5gkUƞ#qs\X_uR3MDSβ| n]㮇`QMK݄hh_?dFO )U7H>OOX{)MC0oho8_XL-{\V #Zu6zߵ>Xoq\~GoS#|>zfo]o3藻bMw'+Uj`8^EY$텎'FtF@ iJsr`zosD.Vx#얋0w@Y=T˽t$|@ Jw\+Z7>:FBXBtF,AN,`/Ѥ]=Jj!D'@?.n؞,(魲87q]HhRi5ϐ]_jQ6 H\*/fĽ:V!+75:Tv>i6D -ˣoA.+]dȢԴA :wny;\GN-$]$\6][IzK5t4e9T^^{()1 p|ʩl~ӗol(40:mv#ĴZq{C>̉swa5qGdJs2P&(/ AH;a+d4A}^NVrVX3Mo9Y'7 /1De4 |g1T2s25r*#E~*dzMeBṖy 'XOc73*Mn5͎rODl3Kl&>w1~LW$ΐZ6^8 nS<4ώ4R{Mi*O:+Z1w,{ H:qK5^hmqm6`L`ez9:WLdE~Ѯ,`vb?a>Բ(vL4;KB>j]RR!^{p}Ȱz&rퟴnL(Ei^cd9!ԑFиL 1CWp r`DdLx鰼hcXȻq 5I (j(<EDZcW)nTg/>]k:'k='QB^*vCn*QG^5 (z%*Y*BE2Lj`M9uhfCop4֬ Èn./@ /JR"pµZKtW>j֬w67iw9KƮ+v-d65mYf $5Zѧ6}y-m[ڳBiE/W ;2A!A Sz*g0\?P.Z]NfbN>%f}N^ sO#!o=k(# fAWQWjǡK~@NAf%"Fo+ȵYd]烇u; |aL`e\ N$,(Q4Ʋpt6\D՝ (Dp]IgM1I= `az{ ֡fNnA;;~|嗣|AtK,02lGԹ%-cȍ7k0۾ S0TcRTO"bU vo @/pFB%Ǩet4kkR1 cc9J H'$oM` ^ˡS77'BkJ\%p▓l伵kL}}@{ ;g/J"Bporq 2*cyY5p@-Ѐ5Éib/Q=e0z!U(%\;QWRZ+yRg%GcLI:0јb47C_Tl A[ndsernf6 I 0#®!@+ 4ޡxhHV^6DRJ}42wCQj_6D3cT 4,rJc; |֚+gSӤw B_'U?b Tr1cP m˫2/[W'VvɸHENi29D2{^Q3iarSek|wcm$8& ,Gn\&:o> H AAM9![PxM dSӧ> vSo:^nm\CbU{^ӌ ljIMR%B9䍚[m.c_'Ui1|K"8h'o,Ww #(ƄBH!ߙ"nA f ։v/*.H8ڜD!u{`jGOԛ4޴jaG9WTmMkpSbe >O:q藗 *?AMs֫[;T'ظ Fb2i2 B/]N]Х8.u "d@~m1f .#rD"2Ŵ^gg%.kQtaI-SqH3)o-+r7w9" E xXɕ3ot#&R+)9 ,:P!e@W΀tzCy@ej{D7rh?Q@l9|[EPm"f?`j.ǫ&|y|Xcti}d%K7 '0,GQ 4ºLb/\wlמ7"ZJH/a*0XFr]Fg˨(54z#exl7C7ֿpE.꼯Q `tUIҟ tb!)Ykn݆14 铩[F2LK9\ n?]4y'rGT5ЄR5$m‰E]3F2v a\ɏ j^cq 0;7KRcGt›犗 rĬ7iBUV5PAEyޮܹ2[c -&e%_{ MJRK])Y$XoxG2c0b$wo&Lc|7;-vUҗ@ %7*,<0 #U)gS_Js.GCCMp_fp:U0/*w9pcj9'Wc`4j|;X8ZnWWS9&V: ' G1 M QyA=S|;z rbmuο&?d8~X. xV^ [l %H__\ԤԆv%.:5~lYғ;5iWrYm} n;z^KBX:CC_ߪ&=蕛]AC,y͈>hdY% C<-&( Af+Xb]RLGqUr2~G]䁜xiYXAsU&J|n6,cBk %67[No_xŬyJTeot=a.)*pNH^lIUL4;&p"N,!aR*/.AGUruZ!kfҟB ? O( T1r,HcuԆVRRδ18>6+j#=lDŽ`Upߺ[MyR-Hx wlV;句"W@H񇲲vk+ ](F*TrS,?1 g*lKodU*-a.f%I5,\x]v VLG]s s g%p&Pe΍cP`ŌaLhs@.>qu%^t ^SllJǗO4'}L|\Xe6 O_t&xoy(±$XfCIs1Jݏ~ov M{ 1;aύ_/*3?i0` kF&cRqk?x3zy oFn~<&S4r'0Х^oۊ {idop}Ij-tސNMp)\g3>R.5 !-V!LZ64F/^>9S4#:r0e 障$Ī&ngDŽqU@]'-6TgEXtu*&Œq1dfb}K%m -~%epV.?T-M:hO *& 6P6)x*ηj]:9A6<\B"u @ٲJ)~?v":A ?:JxX"!u?|`n1)fMe-|['2І$kZ%Q|]3 xF,:6yo߅NYEm*emQT  -Bqc;t4j"[#)|'^h{5"~wʪi.:LC0i扈5?(tnىf J-jςt6#5a"9I4`g~:=p8-0BD) D)i,UqRKޱo{I_s? I fas<5=a(:հX(n&46dW=,~q_`?AlLFue4cl"q:rg[{iD?S9 АDjܡVUd (F20Qί6_,lXe—+`CdA2$| =\ gI|9No?tƷw͇r6^b9EP7FN]JyƟߞ?VhnZC؝`" 터A)T]6~.(WѲ^J.yF+U9tl ѤjL~술a2&) |zʓ[a>[D20t)˧aNj*e Q4S!6EYn DdOqڱNﮮ!vEhdlP7xqYl LʕJ}-e:QWm-&D. TqE@Qo§>{]ՒCKC@2w]U %|)yA%S|B~DN!FWA.كY)C_Wq#RH{J6tYGiu(WE )c0KWd Ke(yYfOf?7ĥbWz>KRn;h *A:cv=r n1i qvjSGJٟQ_40#~EQ{(SwJ`R'`|Á wHq1 JӚ! osg;]Р)!شdsPIԺqlrtᆐ<)Զ:If&DYy]'B4>K a wಷl~whGb J9iK/.c&.Cnǧ9֊VRк*rZ)MܞWTˢU4?aH"t8z;ۖ:zWw/ՙV 5T Cvs yn>eػeȖGGE)A QJdq+; #Lg3xw:^k u:6U;F [=4{#/]h]UF71 쏦מ $-'ɱ@bu;}j0H] ƧޕVI+jo FV17yu<` yU xT"zɨ'G{.Ccc H05O,q]3ȟ;gKg%Sjvj8vWz.(@"Lym/&Кx n6NAZՆ,jfN$R>_C|AUKF`?ؐg#‚Yr 9d Q6{f?0l3Rӯ}7oBWv$GwGg`iXrz%ͿV $0TeuaMq&lh#3kh-ɮ'_-i06\8).V,7qWY2+ wDq97U! "_(}lb9msVmX#^SmJG].M^j `ؗ+mjUO5}h^)1n8;Qf7T?;1=8Ŋ{3fptkAb*c=/a]Uy2y^-}7^}DnL2Tbf?Tpߝ毮w|)ub}f,|=Bqc;bcf@8u&XtxA"uO,`0Ƥg WſEVDyBAl=MY^-T|{ 'Y 9PvX\/%.#f/oQJFD8ě'6b5hܭ x!.Vvr=JwKw.70IC4DvfXNW u̪ξC(vXe܋6jeŨ<.\5^V"f$)ztX^h|ɞ0f!BXON`Oa&D2&BQ͡/B7yH08Vߺaʭ:v2k v\sAQ^k3j:{ԞWcݞ,lot"@b/.h(r _g:Db,{zꬉY/ zkQJߎ&JPjXIeR ''rC/nR7"Kʿx4 LӲt;vIi*a>Gl$[Mm!2+t*fڧ'~xo8CsvTg 6c7wUTyG?haRPuvzS r E]42a4̲Snک~6XOu=*k>H\i#KÎv\њKwnØ[Mxf5]ݥ0aQYC =<~& ̹2X?@c0c#ܨ# p1#iSPUMb9DEzma+lYqQkqIϑ2Mn !:pD GԲ5nwq*f`V^ /gK:/dwUQ%2\f@Gv(e]vG'#lR*~Yh>/e7_ t-r **O Wp&L!Sf)$X s?" FzNNt!NDjfέ2ř=jMED3/8ߊ{{̳Iٞ3'g5{^uXݿĹ ڐ*"^XğGE|6~E3O*U50 /H̅z,fg( ,3j Ew;W|r wxOش 5|RnvM_EhSu8$NɛP'?tvN3іKRF/ăa!f#i9+!ދ.-+"Z?P͊{8 !b-Yc1QHۜ5f*Q?{qg[hugbNٰ ˩5'*% Syjtp0Y>Q~gΊ]B p VemGz>y&Mz"!G'o3m&$e;[6{z즛ChP%{dij&F+\YUt(P 3;(mRheĶr'dPqXt V%W%橝HCl X#:K#::`Խ ):I"2 ضoNVU czaNqYQn{Ξwx^6שQxֿH싀t[I1!t-Y6H0[k}ʢ.XBNb,`:pPJTcHʡT=Z%;16z,[v~"8Z$*<8UrMiʛym>B5*"vF3Ca9AâP9\M.q0kb\QccSI7er}e(+(v_\ D ;ѐ/;߯ )Rkgx<1K Ѿ5ĔlgSPF48:0Pr9£TxYw@*-;t\x=Ɣx{?O={X ;AۆM£s՚qڌ'J=؝haP2HZ3-ߩe,]J%gfF|x~kEOR1`FΪsU4՘а&^44Y7Zr2' $L߳c/g/qRHQL{3I'ֿZ<*~h+ /2a A G K=~c,{ŰOˆ`B]+N4|\'0|̿9VvZϽ9e}q\0NT0OLRz LTCux2kaG9|cUrG4q_;Y* $ۈT. b O8bb@!.c/l+ʏWj$1ډ7ڝd^ٛ@uD\Y5vYz1WEȢV872 ?ٯ3߄A\5o໎I)늷XS)9"ٵ/Bi]OJkJ2G3+rBӭ3NmŹSd|t(] )>8 ;:?$?5(OUVtG5uWh oTxwXw=-s(` X5 XKpo9(wdK0BTdJs lV6 \jgZd44dz~w`w'h}/:tHLOa ][7-;|H(_(a߮j&ɓKC步CO "->0,hf(^}rR1Ou1)&Ui;\a{v 2ڗg \f̊]*W~/vsN1wKFF7%_$uhwJ &cmdYy‡HX?d< .􃄫O3Id/FE&_67HMvzWj7tz3;IXQ`S d^$,ҭ\02.@)m\pfW0FD&Ye'IY^]/D -TfcRRd;`_8 -Z tNo:R)${͙уAٔPS!nu_I'45TOy\E~wM6{Sz[_YX]% 68i"/CߧPz k1f_B%{x#> "`8bB1-v!-|Ż m15;; Fmb.Vq+smSx#Q=_sˌAzԔ+YI~R}:Гs_m]hΊv5Z +eԔz|B}FJ^#?DXDqWh9WsrA{(\W,<``rP55_iz/W*+&,ۇޤm,rޝH LO(afbʠi^'p!f-D(3I!. Ԅ-#n';ik*R:3%3lPS?o'C̙ͯ_iM:ݯ wi&%  em <BJ~ϲ~TЅY'b-7Szb!'.+;\Jw3چѰ>5'RB2Rܾ.!aU զ9X f,(x5-0%q0Fo׌#a_ 8#Bb`TܯW[YuDvU# H'>s6G.` ˋ]Bd48,8Ko%K%nQ$z*ϟ;wM)5ЅP'ûzULaaX!Ca4tRUz 3쟨كcP UR`GNUA)RWYf~W*PK,.PutG6@ʒֲ}RJYH/`f5C솇›3cpvíiߚ"!h5 .T8G"EbJHiRt \"ƣ+~N2[{A3g?'Ɛ4b/}lHW܃CeNXƙ:om2(kq*Un1U(WuF<oك^Po[5Ֆ _g"ҧzwG<0+(oۜ0"a>ɲȺuK.,0״v;(bt+wkל:4,ZhD}ptF/8GRGC=@%~;A#8FJ@&y2M\d5A@kַWLjykdYȰc0lsֲgYZd3562320976530b0a132a6753f1accc4c325b872b0eb6d493ef01916ef2418e3bb11c9efc956fdd3 d257fae31e53329cb529aae390c73d70f2360d07 511d012bbe1f011c9f4f65228783baa4a2c7bda7