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 G=|4\ ] HOL-Quickcheck_Benchmark:threads=6elapsed=284.912cpu=1366.896gc=65.2087zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBj ?c{'d+XMqCoPlaW!Zщ-[D-2` ZVtbMs8B_;4:2'eT%j9@~.p4Wei},vؼyf->\OF),ξ p> a1k@]ڻ4ycK%n#YkD`<3hfޟ},q4i%6;h2Vp? /%|=\ք )rQ|*B\0UcVgVE=V\<զ`4gu\j i5;ڕ14j]_N IIGj *|b- .s!0eF |>$,CDȀy&,%lB^Ld\,_JW{W 2t@K;7'V,ogYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.vD>աk@`@`\V*2Zbc pc*bSʼn6dSkրb5YDYBfZGKxZt$[!kc(J^]b،ZcB*li`rtgYZ7zXZִF! h~g]ŗXi%JկҡeTy(, $ %w(8-+e0]̹PR-}B˯JY5L,|V[vGXDjhz229HoN s4UhZ8`-$Z$N0LodH2l#fa)RG:XyWkn` -!Xp\dBcξ u|PdR2L#0 [dShL@-rn c@1KC2Ij 7lpB]%H_n#H4l4 W{<[!;wuQP8C]JOv8"/2lw3+l)b:Cmhn4[ֈ7b@C vvuFtaETlgP{砻 @-5O>Đ.@Hnޠ9"]+#W 7K!ξN s*/c94!!Ot\S8HVaRCMA*ƒ9՚4)@ʙs1e- %`Rz5vnJ^kccJVCBhfbxw89ϼ 듗T_W>S\oP|Wx)$a?_JUYEnc'.%>WVM?^&D]ͮBg L!iҴN!*֤HtCldx *PF"(eFYY`E aBI%XeqJ.uLTr3 \` \oJCp:X6x!0:MV .Id{'g6&F"6~l&@hJ\,{p hL>iQ&]A~#Ey5۱N;EcOꐰ\ϳXz[XM6j%NLe{.)xz?,UE ISR^&fpoz1C 8`ts-ϕK6D4'BBP5U8g˺_6=W Buy1%f"ǃ"eޱ/L,U4kA{-?[lꞳo9,/KTHڏ]lE6hx` vd[}9А@C2B!Blp`+>ˑת\U`O YqPw Vw xC~~4>pN};L=ʉ)h(?aƻ򽇶j̝Sj["s7r*.ie!g9ZvҤ2 Hc1a/ژoD ^mNMe;PgF"gڭW_rVu*E(+JZgՍR>DXdo|O`{6=4ScKgaГ6SKҹ1+w2M8LzcŢÿn$jO uVPZ׼eqy>d[NmVh}]hU>Q'QnN %M%x@R]TTӒ, !H,< Md.Hs G|o3'd9;GVnϥt &ZpTbYm\FkN8lRugFu`=y}x_fO)|I?ʬpyh m 0H6j'ӑd&WØG3u_כ-ΨO"]w-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פ(߽VW-M0.QS a#хw4g-ƭ\Wwv:Vv](Ww!D칛}>\LJ䯛U!؂vCooGU>_(j$d!bToIo㹀x^Rd5,kq3aQ u.,Jǃ22chbXJD XJr ~fCy:U9"·j=",A6깃I1R[0 vќOhS~az/OCes|A{aIxa51is˓}' *҂[)αx3U0Q<:.*}N IYAND#_gy4z}T۪{EssUM6wR'/ӫ[p1rVv|rRf5bgvB9a6P K6O#3<KX#J1[5N5hf#2 y]kr8?!pXAk:M݊`QT՚u= q;tM ŵ[J\A)F"H#wDS+WXxI$ EƒtY1Vu 촜TN1rc]q=<(_nj=}B @&$^ydl! QyЈ(;\b ?f&.|p>YI s1OD"JVA _vib\0"C%&t4<ZS1f"hX@^,δ~{9i[MX6ndLX*->'Fq7 1 Ӡ:96>¨D ,V leɧ6IO%Cn?Z<bfM.//I^%9]o'?gp\fe_C U5gv.X/"}Jd]^A#|F3:j,Qd;7 jڵ'c'h (T<Y`'oaȕ9Gfbyj<@F;@ۂבE<P>45ЋaI)*BZIIuV6a:(fIfYp8AO/cNV&ܪ{Gs|vVYZ@Q{ j#`R(fdr9ZgF%D#kմ^+=-ï{\tm_gd5Ț8䧬*%э44F}xj %%v}’d]a:B"0QVDxHQ 2"` 0516; xOfN!ʶ:R%!yObFÁ.53ޣ7qٞY%fRJO >:ccW6d>OtHٜKm{Ҿ" / 1E(*ЩlU3-XL5l-oB蕬C\鯲ܟ3X ?<_c~Y-UϝQdnA@$A䫦02kMlmT 22&c4㳯b][飘N;dѶ| OEq*T!N'a68EŨwz mpg?Bϗ]-\w{h3-v'wN 粡>2s:Y U [QOIsmcr H "ǒR\ndV@Ywͣ߹䃟60 U O:?YijH <E~!l?P"< a bHs@j%aՕH((Z xךepM"ޙa/|RS3=TE$L츳..]+wt N( PfP9f-|7-_!Wut?k f8 'w+F /WJ4EsG `Ŋ =L'D1oom)/ݔ|̚uk6}e8 <":ugk@=ZIJTHq*CQWg XhC) ^4}M,[X?A܈_XBCaԀ;P\}zAz:CFx.f5pٸ AX{CcUơAݶBEbV|rcl* p Z=aFf=KŘGsUHxPӆ|W΄v4*RQLGk#)/MZs|ev[&Sϡ)5e\-gO|3wd@ѥɍ8L\h''볨G:&EǠvB@e V@4\l-0@W# B<>Jr,GG+:^A*a#ؙ!\W*<{|sq)%εwZ X(5x?o4_x6(Hsӹ١YFerY;U3(h؛0#=**)7 ]!XjZ"q' Lk#V~- lE/缒Ʌڔt.J=T@h21-F:uw<':/irFj%|dϿmǝQ|2 !t1`32H߷wZ5 QW ,&bF>Rc\zS<G &s#rS/(chQn[ҸJlsu9s`ݢuqydf*ZL[o8j/Lɇ,U3[ӄVB4-yX"y$ vU,=3K&Hn!/!0zH-iNnSB{Gt"]@{;6w0bf!͒M?6zvب숩l> ˏ  Maz>2Xcդ$1ؼ˞ #|,Bo`:c,߬^0=ē%L!Xs˷ a?UI{8TΠT͇3^%2E2^,Y\AQ=MwR{ -+|.wSQYq%KTs5dMb`d-Bc{/EQJb3gV-"UNNL[$"ӌe ͜,/YDM;l CoT붯7wyp'"+bC]Al/*ͪTWGDٞKžhH^5 .ڈz0p6# D-CjI L9 L/&Ȧ=ֶ@Ewn]'ik-2_SGOk+vas;zߢڄ@joMH_n(CH⬈n*f"16ސ*FP`{k}\32#7ח3MFu&C:l(Uٚ iwgícՏ Qe>h)G%ƩPDH]2G#.2"d<yP }ߗН"iҘ</P(b^` X«}e^R-^!^%⏡&ІУaeUOV$XvsC-C5/le > \54hJrMiFo&@P4P.O-lſ ݺ7x-MҦ4D.Ԟ[BpV#H鳕Ǫi?+8gIX% 36Q57K>PڠVگܒ v$Ѷ80*,*10-h[kRB*%.;qFOaWT圸.m)t~je=tS;7ïor;-]CrֳtdK)>_O8(xAzZyKGI-K*2N.,mGVwQ.sɡUSs0QQY@Ȗ,,CA]!/q@ i-N%sXx`R;(ZOϛ9$Kl{LE);]Ѩ5"Ya ;# x\kRd>)l>>ݘ,yјυ}EWq mZmY%3{:,/4\GydofiRg1vh6K,q[Tt9mbOo_ PY߽s NW(%p:!*t_qM$%WYxi v"&= 2-T*K7nmH/xIۜc},KM"} - >nD`Q3v͎,4@g| vn.g㘥,ς%tqNzpA&oLċ41 3|CNv#(fBK <Ċ< sYF+"$ٕKF]̛N+JE >H!f O@PUkj3#Qƚ:W3Eosy1t8*Z*R˸T,R0WG,ͣ>!z.*yQ'Eau [Nƻ&]&Lj@QR,7q /y @D$]h0ɪ4hW8/8G1[Seu,\@Fh^vb  OI0Ô(!^&,gQ` ʈnrԐ?ٛSKv>#Wrq\믦CIy}Ӿ]k1tj3|\[N㡏r؝p(Wd73hE2YP97ϝ>Jt2s];؈,~& %dš"i9l'3hJ g놪h3:O"IαLoDM N1{zH jf7q3ZX1y/i? sm_/Ȉ~4Z >s$RSf4Tiwui]e2CSR`_f#@{MvG 72Tͱ}'ylP3!^{לc P%*h⨀޸,b{-Ql`L(PH է^JV`!(_-IBg< Ҵ ^t7j Fj"e EGE=?Y57}ap :&CtԙF7MWG֢ٞAF<#k >m A2Xޡ+֙^8mT?&5\\>Jۊ }%*ZmL;y=y61Yr d-/NKdRmڦd -~H>IH^n(LP&f<Ɵ2=as} F^}b8/߇oh#k+;6lRD=kGm$H} }Bd#c~;:֠CrOgq(-P6kY֯PTye~Ylי$VFϖVfj.{x|,] mwO3/5AWC&h0[A,CQI #NN8qq ae1$*3KIu#o_ R^Y62Gg',t{*xxQ#9 )+wQ9-H}k ˟@%1!䡪W7BH;GcQXG8H$fJ?{rߜ_ϭF >qe_\w}~(IgޒpehE^M6πDemZVtp"j|³"4a `F߻CC\15oH/ǀ@Y(hTB.>].|pTk0(`\"IwLUPdnDz8_э;$p enc'<&lpTfH˘8q*kUbgʃPA6?N#6pOlNc/[Kl>OL& vke%1qV&p6sUXYyfJ pQ$3Fҕ4ǁ|krxi><Zs57lbЛÏlacy⁠~UbjgU5YS}|SdbeDKn.{kL2Eˡ,q4h-EB` [}^DnS-LtpMt&;Y6y%/_ )F7GcJAR FD30BOҳI=Zω YM.Cd{z)v[jQP|FBQ ^Z'UPޤawh}cw8n[}1eYe[G9D1Lwɏ\Ku聖?ѼO#nsP[eۥc,{:Ӫ@6َf؞{!PmD>q_wG3D[b> e2-k1NU֧MI}]Yz{lF^/hR9:96a?\\'J@k˞V1XB咅}hj哩O͔0o뽯^۾F:|bo1NzG|!1ymnv9^jf= R{V!ڽLĠi(^*^8oLET^19 Gep=3;!/Vu#},#zAS dnIpa΃$t$ N7#m2iop0eu+T:åښyZo՚DtzZ<X+ǸgK'H]AQjBxF0qaz4sV \ψbaX _M1`X]J(82KO;G\VOL9Nx "d1քFyLN+aVr:WlFe-{=wDQC| Սd~mQ*/ IN3Zҍ̪}GNFIӷwW;msMSwbiA'B|H&0!v#zhtvRJOVt!ڽ(KH yʹ_٩ pؓ\ˮӍ{f5U` / A GN )jϻ q6/Y<6ի1Nj`26V5J≠wx ÊLw 6L. QU!1z }&x&<rwP|G{jbocKF*t2hvo4P!RCB8dPO&Ss;tGPR{ _}E"|ߕLˬ.Xp_5Yଫ@NW~ ^,IVt*f1TmKHIld b(#L̃]qy1ހ?Γmq)Z j]XԄEPn}9hg'90BOlM>B2+JK-};zBX楬h(@c31Kt *0 d4{g:R.6Nn9! <+K&!'qF- ?!}0&V,νv^er!TSӰ:Ek;2Pt $oEG0%g0+OZUFء??'>rvUIGW}&˷lg6 {ĩvB yѡ4> /r")Ӓ?/t)Er*wWGR">`}F~y ǤcSCїP+pZvB HX:f? ~=6||0AEq/$ -eoqnҝ8j.8هP&3"˛6:-AKYiz5WRjkx[0D+RP")+VnW Pfg4Fj# m5ťfbe߇ ҵ~dݝ˒d Nxp#R0=^#l- ̥owN-X&.-BMdnTO=eضŦ*2!*Hp]Ql3u RM TmJh@OdZ ^uL,eSh˞pZZ J"-NR5|R6#;K4;SMpNpQJTԭ󻴼Ecd;ZU=t v_͖FYu:n0$l IuIHTE~9ic&o?5G6m? D\KjwqyhRƼz7)2ܷf]Ks ±OLJ|'^Iu[+*x񫈰1ְ:(8bϏT0|oTiKW?:]˜B5_ף 3(5n ?TtdPeA©խh*;ӟ$[ԜiNtMv_MK $]Cm~0HWٺ{{R+wq"or5ۻٓEngҀ˭,4c~D?UBv66PChUU z݉=@ /%/S:./eh Z$\1*Y$~!z.ډ41֖ݻ@Q;Ǻjp-CpMm]~.΂7 W Ǭ9.H,X@)B1t 92wBΨr9_nDp&Al We21JMq3ê")#FX$xK+_\CY1uQUb5xL}I 1y.,1"ϴ4C;P^"Am+ݵMOa]kT&%řb*ÙA/$0ƒ-[$#'N0ƝGG#U.DOyiJz0qY:ە\ߴPPCL\raSJf ysó̕3ߺJG-:\BX 9?^`/ۍĦȈ>iZ^Pν3{TX=ؓsH`XXnF_B ?Ƽp }# ^`vM(YGמؖHs朐E^6g#wY]*WV!*&E#9Cg|8FAu3:yEt(Xw׌pfׂ $_!%m?Fݥ*@x_ F*UɶCbڝâKXau_PX+ )QJa'p ;mA[:2׌)^A-xIz dl/HlUZR6ybc}+gD-["Q-%qi'}z˒~׸2'Ynv)"UI2l='[ fr$I #lx"xG7,e6.ƃS1d^x!{)1[ǚczAX#H3gH!6y{3fbMotez.$3aF&&UNch{A7ip9~+$JA2:(҄@YWi H3<?xBrةPogg>fq/El\Pespwe23*~cͫoO5&V^.Bo.qAánHB+Zxf`TP΅nCPq[g\G q|@XW{}#pgP+4J'g_[ލDNr:1;}|Ou{23DJ#3=묲\YD~TK2wbhcEധޖqu.GO CLL:|'<$m6hS;lCݞArq^c .Sѫ5e(=R ; g`CЃt1O26lԲ`/ehr BspC1GsCdA;'~vNb]#Q R0m 9fÞ)kk'*Ri{xȋĕiǡv}!>K&WKDgЦGRK2ifHg6z5Hy*sT#DPUqW{瞱 l/\/ʺ9b'@}ק%γƦobjK1DebXz%4EWD)XfQ2. &S= LMeZb>P D8O"o/M:]enWZ3PO։܃뽹$3'K>黎5bZu5pK.X6/]Cÿ/&VYN#_ɌugեqڽDoӬ[A2,=sϜm}/.+'QyA/Cf_^c:ގf@G=Bj[%lR'UHql'O{X\bxd0fǛ&EVGo\Y֢t}ڗnҒKpM`a擮,]7-<- )5AAJ!d+‰;R!uEM{ˍqI7<ڽT ļ= 241z+r7ܴ U@֣x憒<5(. 2euG>qSW3N; a02x[^X"Q2*_3uH%xT5 }W8#YV]UD 5 #-LYxƁVpwYSGͭD?,fFx@e:vY[1yV$(_@9D=/Y uw{t֔ӄ/|Vv}/*pN] 31yn>a _0ߊK0i8LYȕ_2Cwb]CWqXFCH IcM?uB\E[b26Iw3̇%ghJeD+IuҶhm)H7Pu]xc>!'؅\R)gb3e RyLئd5ΙsdS k%p4@$MԞsZ[xj lZ]W=k][+o6}&pg7hrė(s㟥,'ly+R IiqC|n9'~V#ƄGٽN -F/IkW".},р[#lc?'@<)#[a6¢1u=%yߝp]4 vL뾔1bϾֽ;M^}NZІӸC'XL].y%ч+(:s1-iI013}R_ݑz"W[cFѕ{\°(oOs֑eonRnB22p#4C2x(9ީkHZ@IYJሇe޿&r? |f!U"6_+i]!/Uc̅4=eBK>w+FfG/ Up1 ,p->= K;d{>.nI!vVxKH1%\h> Bbe{w/h&@y[S`Tq1= 0';?z+w(>¥GF [+w"[*L)A"j76ȋ'Bݛ5bqT1CuHVU+,PH)h^me$$W!|zQKXiy0B[&XfY,~30;-TcQ_eygq}ulGQv J8NypY4F#ۅ^Lx>,-s"7{sag^JPwD: p5 mz3q)}t G ԰"vLPH{l#"[W1a J4QA]7e齵%Ҳ+'9$H{YʼnQDik=vu5v侂n7TT6F,.esDI? l%N)PwL\ EFaI U(O aCm@xܮDҭ2IzSRK5$ cCwC'i.'MG[ofyWKTLS'r%Od9d&Yʘt2UT؜JRv ͆C5ɤ1}6v+CM Ç*"G8{wC}GUb c?2\4*ILA*'/@։62sVQK \!svq 7iw trtG7co.!YoUgA%w8}mdT^FE&ݏ|g$ɧJ^0!.W̭_='=w6f2oL#uJSz~!ΈH$ S7nyNЩDהWʉ>~Hv̑]{1|N~cR5KDs/kDH t9[mEZ>*V"J5G-.'\IW*#8rAfs6(xYq|ĉI-<]*i~PRkBBpRLkd-k(L#aBNoD 4P wUl^yeJmhn\;7]!c'0#eO`w Be,=יִ3X"}sؑ< WDlp u pJ7s-黰Ngyk wmUE+hxt#74?鰸"2a3wih0a|}L?wJpn؏(@md54gsC!]%S$CL59װ"UŴgs-huW>)nmdf{gثS/%_u/o ;4FR>XBJž%-$sć佳ۅBc`BM*jQ *hνCZgбb,)_E.,dѻؕſ9A e~mQ#q~N.gШJ}d Qh9|c5reLMbf$  Oܐc0lܺU BDst.뺃05EuVN[\K ۀ<)6;X$`76wD.j+#us W18XݻbdPhD$oAeT[%R[i:m(J=5誇D♓9 \h6-g" {{ =|5 *{-y! \t#`&ZzHӮ<(jT[{<8 nӤˮ/r.b 0r#wƜǮH-bzXƓVZAc>?BZR6 vawq0z1e 8 ĭac1XxGZ7ìŠv\  Dl"-%t^zGa~GaAsˤd)V<6pAʶ䅿nLm 3s bju_Hi[{cGP#PPM޹+7+OU~cpՅ{Rº`lW*Y&))v)yf:_\~ :UeC44RDϩ{濨uխY`m(@i'{*6Pee)+?`5Q\xumÛl]MEҊ"";#\Y>5C6nZ0tEjAi33 3#p:5}ك< _gsbN%?#-Y˃Mi%8*Dكb 5 I"ri4(Q߫NH# 3z4 P)O>sh|Fzsʰ&g.Cu{$vA`F?`>֘RR"W Ql;Z2mPNu\:d;zKXQm"Y̰'w PW45J䦨 ;HnsIkLd11`;nW[^Xd |piK~4tW="Qyo[)B%3>:\AI,ҫe=èB#&㋆[Ǡ*K\ }n~+`&9n6R3-wϽ¨I؛ۄx}dg#/xLEЈl؋:)z3Mgԥ4p fjX[ }WXrױ|Ӵ9k4%JYQmvݤm_'V\BY=Hy rW: HmZ9wS9"1fl@Ej_V* arOӹwbz@?e ͆Y@xkf YUXm>*$lOB"5,5 㓳*boIu rGgl\͌Up-;-&U@ܩ,Y}dWuޕ.4hʶf!by3gcwr,zk/?P(TKYSv<ɠpLtml[sDq@̅0cu#%dDav١?6.@/Pz "nߝ L9bv`'Iry;i:aQ of 0aаykzEPQ ~S]Wa;ť&#|?]G0D~;pXKΔzhgrU`G BĐz-\EeNHS5xyQ(LY NLl p"bB.j Ub.ZbO )aR>y4G&׌[߭p1I+FN{RI3U"b {tm1nysx͹S|T55/@$nV?6'/_@b0iD4y|OHA?,cۚh 0\!A4J-@b2D߫Q!yZZ 橈2+զMv'nAsonlcw t*}Zh3Uߩ#UQ_c&ʝzMgNFc(9O.Q D99&w$"l@] ,Yfa^y"TBdo:E\C1֘ȨyHJm*=8|)O$&/}ĢA11;z38iQNի=HrycI$U X=P9܅81]4W u`aJՏ"<~Aʉy n#N;Ro6dtWz:;5YGKÀ 8Dg1ny2V!Z'q֋$zQ}>5Kfu]$.4EBOK 9{txEC즀&i ,Gq/aCM!Zjzx Z4MhumQ+.tChC_5|٨+8p`{u\Q8 }NZBIWbdu- :LZ*Qs68;DV@ť"6Ek) HQW dMU1<Ǒ[bR6<-M(^#{BV&ַq2 f+VCn:.!*6bui&?*GgYZ82a1c9edcc1eb5c65c57bee822a17f3c6412401dd283a8fae717924d7d4c810028d8a4be3559955b 315c0deacc4a77bdc6a602ec4de6ba0aed437907 e7658ff4aeda8ca87c684c7dbbef56c6817601a6