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 S=|$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=283.511cpu=1360.788gc=61.7567zXZִF! m ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[/uͣҀ Ejt0C^h(e<}BN]BT$q 68<+ЮZwtf /f@bsrS`4<2RE|s4 n"\WRLe|-.y%R}sķ@pD]J"Iv%}tOצuх\G%DguJ=zÂ:05?]v+Ău;5Zc|nGyRtk]2HY'mCJuUӯ꯭[%{!94$SL}/;zpOI *V?]G^"yX)tܓ9;4>X" xNJӇ'X Q~S.e3 ]bbs{o$XtgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0a|9i$m:3Q^$Z:ltE5 ATk JWF&T~5tl_j<5*No1jDJ^m(䖖aUseeV&9BigYZ7zXZִF! b"d]ŗXi%L~^Z~&W2zz,8|ouԩC( dMߋ ۀ 1V,Q;GkF5n~[z,;NxU"TN,3nHRR2~V(YV"߅V wl{cy~-zG`:h[_j/w=3^"-]9a9v$[t6֝Ua1eD`3x}ǿʎK2GhK[?mcܭcX2SAI2uQ`aJ3 ]Һ矖H Ky ѵ>&yxCs3QE%3quC9bx 3搕w=ͲBu`K7_ZIVIC ղYUkP v>@o j9NF'l& Y&g9{X'\+߁[Ƶz(e-끀W3IHdHs?ޚMZeg5T״{/2t7ڼ,aNA~*gvP?:6.S2DR3 0ge@qoUee:sCkӀ)@F޼Q2j;h LQ^apkh0ZΉuWw{Bf=<$^%72n~P[RIJW,HuEvN(EP|̅/clE[nl'3NXh5bW8?d9˪ <~ tsNC>gٞ)67F!7 I *s'6 -̵l%6yq[E_Ҝ)3[U>@ofNFjmb;1h ӭRqRtD¨{Wj̝n }Zаn0^Ʊ[;Tu/Rtc9kYiz脏hGjS61/dOƄ1Ϟ8.Be45a\)>wX¯l 4[p!ˢRd"/ &DaI-O%ְUOU/"nQR r`,YMTY=DM|?]b3guOWzI6[~|9םC+c vPN(KS ys|xF֠QZG `}}1ڞ3 -D>T4t'&Tօg| ΌQ<@qǐ~b=0L^UL = 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פ(߽&W?.mHT_G Ub =Z_Ikye* +Ou\"]v(Կղfq^^fEi}Gy@gdǔ &kn#@nHE{Y~h+-=̚eF!SNw{^چ$Hx!dؕ/.6wşy-*3\}%vx#'1 oوere`ɱ%lY^deZoL0+ig'dCn~J .stߑ 5ifR舖JJpb&[!jɮCyekQjE=aԃe4X@_:^Fi%~@.YjS{χ' vNe/#@0,K#kV &.IjEתp^a yj^*Xz8{ ޣkH {~aQ4 nJ| t A%J$ ﹇4p+ hg9#(jϷz\]D]__*[Ue֛L;r-rjzbz CAtuhzc74DT|GBl?oH$kjmWV79)OrBֿqt#nLeA?]Nj2?N7r;*F_]M?dܿg.4e$_f%@R_ӹHKp . PON]pG+X:r6b"ĜDN [U͸ =FH֠Puqޟ-cNzԎ^B# )+o0EL ALܴK.o.3s5]IcJ ;r|&*q1ɉQB.Ġ'Xpش //D~±E!Hqa&Z3kӕSثhzhgIo׼#t`uY<Ѫ`dӔaW^*1 ӗ>`0Q)#!K(мhÃla,:}=*Z.Id#ЭstQ.{Aspy]3 [Az8hʹ3| Ra6G4k}*[\P"9\7]a+1^C\-8hٰ ҌqE D׹X}ުf٘[瘃W[3P5rs~B:fQU u9V-Ȱx <]2`~Ebh=ސdH7}sR(rcbO= -5 /8IƜu2EF%䣎 fnY{Le:[h~`mU@=/o% CPKIq(Ӧ4f W_{1y Afu1(%U7a( eF@|j FɛݕP47pWi68+@1`E|ޤ/@ ?XWB`(38,@`@"~~E\$4 D czu{otr?o¤Ua;hϴek' 4ic|eOS_OvrbP`KiS%K*%[kbiUKI1qXi q(wÆ)30o"X'Za82QD̉%>mx\E<.ny u47L'.,U l¿26` yVw?Sv1Y/ j_R|!!HDʢʼn}3غ,xc1.Fd et8hY+_a%o bI+J2,ƈ:M_!rg> *&K]yMJzOu5Y_Z&j)+HhhnWoYU:_$\E`\ :V PB%CD<Q/OׁءW\H1Fu4s~h@j% w2m}ff(뗂nb>DFlHtx׶OV'@d)RdS=1P Mʬ YA~F 0JգA#u5UwK~Sg5{މ{yaf0eJaĞL`OLNf112 VVKvycy`ih|XW(L"Րu\ SaV^L2XVfRwM y Bc$Bt%9[¦eA m?e>'$0Bzym0>Y uPfXYJN-(p.z%oiN:G͹xQY!x qL$NBύ615t ʌdGHTtK-r r"!4#`g>)gJ0! uD"}u$$2'8iI -0:tX/IBr`ι]^Z9~uต+ -OߠAۺDsg!1knNks)'@蝎f0^&ew[oBN93<Xnhj>Lެ6Ӷؿ7^ja:i8Ǽl+*|džDfO /99/?/'kJ.X>I>IӔZ"BJXbAy><]Nof3*䪃L<%/9M= DC0 E-bB]GK֐Z7;BNzrJ&_3#7W]} Dz?-ZZ908%^~0xy+[sykں# `/yRHx$LKɟO^)? sA+l6J0ױ^l1O\8 0fÕv- W*|Q&b9׋Mjk/Q!Vqd*oxFss[껏lBT+TV3p ?m5MۧwL#AOj`'xI< J><]>pS7ă#!=mşX;Z6ZUDCPzܻČ+P ă/ynf/msCڬA4qv>/DDэ |U( f)(U|!ؽI@HǝE R_L5VLI=!}o}kDӏ`!IzH`\(%WMü#|㗻S*Y$.>!ڟ>^XNz vdVO<Q6,a,)4y zd@"qFjRd7K<`';126T7j^#aU:(ﭦ AvC3,dJ/8:;6ׯlE?(aS+YHW-ȘZF] ;N0l HɁ`ٚWJfm^m}wC%.´O>h{$j|5(.č.Ϲ 48h]^CA& U)fe私aZ1,wj3y1&<YgPbX u~ *X~;.Q >TY1#J*V>Q6[ )րc}>9GuCr+1;e: ƔPm +ҦfJV{F6q."7.uO5y`YSel\Y}Bh5y6a@C% _8y2*jCHɁz?B@z 3(0·7Q`r;7R#).=Cl~'+$jgt1nXEXs Hli} H7]ԿIҲV'Ӝrvth}AӔNG̣=[\P!&z:!hIWitC) mla1fws3@:{˿-_SQ~{X4egIfpz&.&CLH]E1Hj45 bKIz=@eo!a򘯎GZ5J鬫[ $a}VOU#cZs5n`9(Rw|np!fhSY>'*'>4lH,{f3~5za:> )KO= H2@eJx?+5d$16?anS{_sYl8U.sSPe ޵?&|*JTuو/:~gm:oCW̷$qz? 7Up5Z+ʘKHo#^Lʐ |"ڟS] CDq1Cm9b#0r7!,YL8 5-$7Ƣ"rX\s'z33@I@"ϗֱD;i+,q1mO;k ˍAsz X2j`^DBM◯ݥT+PҲh8+ /p6 Uf~=@R=dguq6. @b`/օ}*QJ,J*TQ#Z oI+hޭeh**PaH7[1N'~:/{ZOP/<8|SBEx k:Uz+e7v%v^| X^KLBLd/vO(}f$a>. ;^q̚I؛?'m󨻦3ͬ8~47|kĶ?@#r@`PM pܥ^kʃ-e8blzf?\1uTg"Ma U#K?Y>\fDzN/TtCT?m^R]Z+Qz!N4V(D.HyFB2_u#:.Hmn%^ 벛+oѹ,>({h+K&5t8_n 8>^f9,[~=EaeoR=}'Z Q=(?veՊo #ƾ1hcJ~Zzѱ_  KPqӵ͹wLp2$ј "`8OI8y|1!mP\^w!UMu?!w!JPN;s"~E @ Fس|ݲ0lkkF>~?Nl,ƯG02׈7mu1fU{Di 󪹊E`ZMDr6WtSO ׀OY,v=QrItC1K<{NqmJO:w. ;`B}M6j(2/Xm9ka0v O2;Q{R򤭳6[T;懂lYM6 O ϕDW|u0r( =d⨞W&{K;|pLݯUxx>= gnSݜB= e`M2 BP2Bf@W^k {2j6F)akœmf *CKrو $1FaI$a#*t.9ߴvC+(u: e%;v!s^aU.ca#ăSQ1Yi^hK.G@ '$"&`94$83#.w -1sq75g[qt3[W+SIX@eUAN/уs's- Dt;}247P2}U6͛7!;U(Ilk V$C֟1f ~c+x{XTdLu҄ω=Rù AW2g<8|!?7$1Q:ɀ(UoukWגډ։b,#pZO=~?NO8l J 4§}rRF G ӈc>&TfݨwB &#sB`Qš&M%,@~UWD~\ K4 I+gmzdEwZT,I;tBEԟEWI {-MànsC"Y`ȍMPӁ8yC1@\64_Ra?1M2``}ޝgZI!u|Azt8rD Ǩ#=N=MYn ^:yj4:*$f)Ixa?v"vA<^ujRH]l`*2+ԑ*n$vc␗?fc;7"A|8fOi-܅_¢m&YHuy7?{kInj9K{\|%h _$H0%H٬g?tu 7X((02՗S 31+Xh6Fzҁ.>劃nD>/G?K4UͱE 8 յt`Ԩ(^"{;5]L[]!(7oMG\n\DY9C X:]? V/OpV9,iQ U [:Ty#/1ebK6kaT [x| d@ҁ[y;@tb.>)/H˫8:?!},D":1GA*¥fTP_;&eCPT$,>b;75_O-.GOʢ괢+j44iԍL"}1 J[7t ?5]M}!舁;'Ƞ$J1m%e7SC:G$9[ri`;ji%sKTy6fWGY"@*I@OA7WCx|JS6O\'qڪ hDcDWE1 Ѽj) +kjuo $+72EҔ:aja\>BR~vclr\Mvѻ˫f!juyb]`/AS;]E՟aSxۄ_UN}aeNA[&C%Z'Xm3a'Ѣ|a1 Fd)&=KiL+S!'}SK`Z~aG {$9y-Qr3/5-/_])9GtUPXA@(ѝU.O8RMSiB6: -2lUBa*fC HSk[(8BAhjutZh7hk&YaQKn 㪿X̵ٰϴfPq$-0 xҪ ѿH%UJkhp=l!Grʃ=fMnv۷G8:w}oj~R5ayEqВ q +Gr`@2YR:A7򗹝o2*Z͑O2gž#):`k,Z%?f4%^5?rG)7R Q 1yepovnUWײH_!r[:5~P-B_>-Ac YK U<|c50 6ĉfj:7D'҂)6m,t ~~7 JBݰ ? $}ŷܤfD9m^RB*N̘|[%cB;we@;mοpg qDfqWA-"yvѱ ؄iUtT}:,QuXlɾ*~wX,6c>l,<% gPQdBb~}԰ψem_~ )d_G0 b(>.,хշ狐;Pw%Xc(xۚQv*;`Pt8zvw rE3k@Nx%[YGA0G*ZߺdwR2nF-[Vj)-h1pHޢx:{I݉$p^;pU#ԞxC J}U4RSS+ N#JYD˪Fsg T16`&&&߀G{Zr`ܴP]gfwҮ< gS`MsZw%s)=FA_o\oz vZf/V$P@Qݖr5V 0 F`FӐ+/>Ws|QΡ7KRe{/GpLvic\fIR@ZvBPo؟ŧ% CK?؉PW?$>B[+oy8~_dY;~"E-0׺n2N> V1IP5(l 6ܑr&p^Fܴs̻eZt7.L׻yqP:-9&&[ P7{g5 ^a_ L@g rz*Nͦv`[=c^mbm ˞6>/AyI|)t1]+cܩKW 7{R)`a3xɿUcY?/+~W'Z]L6.;EGr`*Z/L6śMz_ᢟ+xIL7Ph0weckT~3A;iR =Ut@BLr%3'ZJ|#:΅Jv@RV"$\[V#>dV|hW]hҺ|g ͘zG]2aHhSD\h 3,pj+*qrG,(=~WJݧTnաkSrs 6A.SMK4Ý`F Ǧ%qol>-BU3%s3|a)xHǮ5PāDwƽ}T#DM~9a2_L̳Zy@։-,w bWJ4v ] zZ:G'J`Tb2ЖCӰ C0%$b}S2_ {*jAfwȚLI>[ :W_/#\#*UCwxSjM3 D^DKa-0yJ< 1C̕Ftrvu{B嫢:'G\/8|W>de۝f֞" XʥULs(A}f^$1߷FY10;A %dT0NO))|Lc[17&ڸfLVیo 'Ch1>6t= sy$}E>@8a%kJm@%b a0UOOז=l&:^F[WT݊Go> -5mQn &˹'xhΏbjyhʗAT{}3kz vXقem l[#?tY̐\̌ؓexްVQYvV\ kDor;)GPǏ㶏cd)Oy(SD?biE^_2vkQ.s{HXm-9LA;( Cm\{#5"Sid ^+@PTpVG׀@DMz39'W\WϢ6vzbRrD&myoC[V,9)o3(Wyu0ǧjW}T4&N>&$=|->vB;tdi9_2#lF R)^+RRj1:`Y봚+s9&)w]h|QނLmF =ΰK Oiphu-?f#?d>\ewZH1hb}B@@FѠ[~- Jp2hhQ3%^<ʥAI*?(k=d O@,ɷ{4Aڮ*p|NqO5ǰɷŢ޶N;n#o{H0۾DM4 ݣznJ΂Br|a&28-z}W%Jx|#Up^hÃn>uBU(֜vs!Z]*)(%XF:, o36rq*?ޛO"deEllvzwh[ 19o%pK::Q:Xׂ  IڦQA(BLPY} ABA1@_pLgU~Im""!aؐr!4VQ8}ŌX厱뢜qM` q@ڴ/4!8Nx՘!@84tqa!q$j,kԠV8BDBvMpCb,TG('"EW0Ǻ@w*6tG1؀,UM_leCB!@{n_<] @jTi}_ūs)AT᜾I (K?RB²]éy>'Q]>FfyvA]iM&/"!9!,U>(7ՂCę:䁆3zۂ n!Z|I MLϪ8 qs ́fo<}ޘKR""P4݅q]|йE_# u$O}qɝ!$$z 398rI0VC a3rt$9ƫj'ý@g@*g([+"ڭ6tlVLEWú 'z.,-!n,7*zX`p:_J^dxqŬ\䯪zB {bhfݠlꅼ<`gz"X#-}49C>/E6"^C+!;ďW!# G uѽ|21Y)]$$'=ݴxϯWdNeY P eQ{cⲎtOSiS7 IGN)Og vゥcFR"f,lr\.֫XRY/{SU6Qc~K:Dd0{\찲dj? )B}jd1 0L-TPI299 # b@jwKFSPXGdaԵJ) ҿiLӊ;,>pW6:1 KzFhiFi-U`{5r%9P*]Jj,zR~<ޙuvR9 l qt1t^|K?M(=xOVQ|(H%㣣3nOvo<|?BԊhS3/% (&QrjZaB+.'/LPnnMzfBӑX:LF r؜sR]!Maj" ^pip|TQ{Joti[SzuI[1>EGaR1]]A pMq>'ݓ׾oVڧg]ֽ-̡ݧ>i֣=PSPtIÌWgSݧ<=O e}=Q1.dzF/ޙQQ(@+M9x%'$yAǾW4^-* S:!;y{!+QP0J{iB@9w#033: D\Ue@&,+gm>l,tKmܯ\)~ 8K&b=+ٰ",*}҆{>(Z6@DW` 7f + ?+]p oL>ȝm.WiA2$kYH>&L0猒>.oԚl,uzj 3_Iɻ9#l=EKA9B)ћ&ai9u#f#<9; ؇T-!ıjZ銪z¢ C흥 c=m5o[|%,h @ ]2(IT-'PtF7R'(.W$p ?}tMg⺦6OOV=j[uj8 bH]17W}:O:k0\[,{\E4&ʼn_(cMoC.r[u+_tJN~ryuxs:dbG~ʌ""yo ,sJ>Cƨ9)#-z6;>lIw\v?=^ %v~WlnR;I0̥{.J~W>濫 f PhWDg˜B6/o{|+|p˶}Zx X2O&KA;HTmoYX@(U秩@ʰ7v.Qenk % +vaK%k⃤~0H6%r(S*{$9 T!v漐=V="-+$"sz]:HA_&ܑD|# rNypmÝ*xKMzhE6uTFXY]?w嵚[0_5ZdZS@B D:jB/il%|X= m?sjER@޽mN|ܺoo5}H[}K2KUzBHTl =Lo#>-]s}A`4kByt|C ucX/1$S}Rݘ>X(/SyEbؚގe6pT*3i~m"ϰڴS=1 {n;:15 RB{%nh,)c)sEYKz(c3J"YabVL;j"(aۗ@[fL}?ؽgcgߖꥺꚱF+|ڀP_|ߚU\2avoX|n,Ok'_(ɢ0:kk[r*쎺p tw As tޣ{qSXs;4~ڼќ$ gOjϮ/L5uWЖ)?9Wͪ sj]jK/z gM0@q3@3N8e-/AKC~ ?Ebr}#aq\b$bsSc6֛~#p@Tq/@،Ab2, ^"W'0]:Y8+?y=$EN7Jɫ'G2\ _pADPQӐ&@"2Z܋Ґ z9_Ӳj[-YWFEq ih6F:'m[!`]){K2NT1O 2C<ƉoyL,kCTp +VBԣVĈF~fh;Ll;NSO&}u4Ts,;l29\5@DQ#\t⿹?xxbżdCNG}Ujd}a.K,sx8+P <[G]ߨӌ.b4;T¢nXZ"唬C%gjª1ksC)Ə7+WTvUV4'+'|2' EwQ" S$fdpػeB ʇڠ97 nAO`CG 3MǞf<9C^ *1m]B(mG}~mҏk>isL KwO:,>ӊy8#Nd _!Ik[d[ҝKص,gz(KuS/ډ(wŀP8tS`$<ƠS_xk$q?McZ4~ ɻ /ipb-~-Sgb6n-Z6kLkLVmYOW6K޸AFigXV~} ^OḪ#j cۈzr0@ξx$^zG8x1ZKCH;@]/05@>ɡ\ ` D$ꦉ5$y,h:%R_xGh퓾s2?8f(\ 䴽.9`*MÙ)s6뇹?` cbB3n ?jM%X ۮ#dded|U-[i,T] ubhXHT4v)״+ 5` p%6K^RFegcl鯥D+EvQrxah|Ƶ0#n1 y pP6?G}EloN cA+ыs꭛Q=:sU=`A29I`m-̖;~ R@-.T vX~ I!>ΨOcOEhKJanڶUg$Br!O6w2q^} eA0GyZkYP'zK  $R~=8!&|VƔ9j}A{'BiO@)*yꘀ]!L_xcV\POp٧));DJ`~0||ђW,y- (k>,JGrlZ!Gy@M+" 6d{GHƒ؋6b>MSsR+ sV"}b@YX ҧQʃTyg5 \נcGT_yqMJ"I*T=2msq H~Mk~)AKJ bOQM(H޳`%\ RKG (z&;E\>U$Jg{%6^}D2`N-nUѠHqZ2Ǽ;@2ٗP҉ +͸hC8vTNxjkU9 X5`G#YRmRK]m>?LjA pt$4tRM$;ϐnR fJffP*61zX9gs_y—-/>^siE›3'veS8M@3a\p knpX-V"&q㚐^C\"m G,^j2{wSi&4s{ś0Qmo(d؏W]d !bl#++nL;'Dj5d8QL#8\ 3Q['wS;yG/Dv{Rl "ngIdAV1>gyC[`fԂrHKA;?;ӷ[l]r)ermԷqX +mZ.H՛fA- wV:`M$oT0LwFtoRKōs;+;3U^'XtMy-xdׄ|Bj80d) Gؖ?J_;[gRacTGı z0?u_H/S&-ޠ~hҷJo-P6?; RM||C5b\R(UoeCR!@G/P Ʈ<>'1hḌX/75\r{BSx c/0I?4.qNE41qDhƉj-pv@ҘLhߥMkKv͢[ƾDGaV!Y\ xH܉9:o 3ð;-i72Sf'K?|IoO΂=O~OǨu|?[+ܗ)/ɁF[@Xa#MA[D%Ʊc|ʔ*P4{Q<]b TT#*ýNHTT1gG(ztz]m :&bRK8ܨ%SwFG)3M mz֎ ;gb4z7BKN}>ys {3*E9k/qN䝕uT]~ !LdZn*r,+Hs(h&b0ut=|/pNT78OZW3uX所 tNc/}>ѼWnyo|q{f# ' jM%ɹg([8>Y"91w*j.im;w/Lk>f5gt3ҭ1G" _M(*R͠)l .LV##BuۦնԹQkMɶvewYuX pt Tb PXJn2u"O'&WZfUIJ3FuVjʬYIC3!( qޏt-}/ ̪W#_mj:-P' /L}]>VR)_h4j6("~ _-^ؙ pSnQz2ߢz7{eYZPgUȘM*_ e%XV7<d:EV:aDK_icm"Ǟfk^ʟc8%vnwha+,_Gfp}ӯ.׃ҿ?E%9ʀ5a願dAƍlF)㋻ce$ޤ, ͉%J5GHjRJ>JVhiOWxiϹg0ofS_m)Jt_y#skB3o+ GLTz$u9ҺGEy9J\vO6rc6zJO yBZdW 7{Vk(G^-aq+[PM.ɀZj"Tէq)sG!68L8Q[_z&E9.-t҆JISP;?;ZL&aM;.Oj:d9:G'9rOki4،ժu&]o:Nܶ;Jź>Vhg *Xx1#| \mujS,(䄯΍xxKd>,N7Zu!LS&Z>@sʅxW#J孨!3LkK#tP?RL9!o[e3wVM矓ekp?뿵,9(F0M|69|_c픺kʸ6lP>d caQ6"ܓҋ{`[rfTei9\p|m+$,#=t'!@ oԅ`HxD jl *P$4ZidWP˴~٘j`ȌF>IVpv!ȒK,?H)Ӕ 2v} Ec5_UkPiK1 fSvEx(1^=>1s0Y]d|/8W >u.КjWxyo-cn}1$K[yWiWIcB]L*mּ< ]RP]f:Ku/uVUxd6D8o>$)ÈY^eu0 $'_TA7 .+o>'xXEr'.kqGZuD1UcpwEuum6Ӛd w0M3Im/'[ rM&Cy(0ҍ~Eq; Z* #efSX^ό4浐szY xDP4E]d -?W`zL=U'_27t64L(qs?T=*CPMYO?^zRXHR7mKSLs:5!wɿ;/%yp̽@g{T,-/^ɻtkR!TbajI~mut8Tzw 7ĝgQ1bES *ҝBߋNo񗽶Ksf6n^܀3YZ~wfnWJ[Z2/p{l?M ,6#4VM{X헎BqgYZa59a2539f0ed058c3082d55439e35049af7e73aa4c23dca2c69764faca7d5f4195665a237a606274 a5a70e75908aaa1084fb6ce900cda62e8b243612 a49f0c38d5be714969812fc1324e41027112a619