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 ?=|4L ] HOL-Quickcheck_Benchmark:threads=6elapsed=289.704cpu=1400.788gc=67.9567zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBl?gJU:ԻxSݺR:( `*"ِi,_X;w|7SBt_S:1ى]v] w\SOw%eNq0v4KY."uN^tjߕf"\&8Fz f0dԠ! K[khR.O*rz׃EQ 81yp7 ,2*HZcI%Wb%Tqۘp5O_9X#[R0 Ԭ## -deZ5̤A4DPܪ'ŻNDj :/ڣJq9p}90E*@q-g+`[>6 {wݗza%#١i,VXmIy߲ATd L=i Ye]FcvCGbI7V+/wlN/zn1>g܆D?}]vkOrS,|*95~VTQG*1$7.ey{7^ra|2c -4Ĭ5"~q&T,&0 m6IcX_$2n죯 u{Bt)בlF_qby[-j#G2'T!Y=&P%O0!1²ʔR*J4qp"YW%tQt[ M1Ɉ*Ce 簴fs[2S11=gN1'KԻ @S>tzIcWۧ% QV u1d g؜ s5 G܀@A~t5U{ݱ)|k{MazI/ ^˪`io .ǁs4?wâʣ?*u9s$*ޮ>[]F~2hElVgc<ȢHK>l]]ZXXwQie1`0Zϴ3'Ve#6|PAE(%\qmI<*Z2!{O?7w[0kRqmm-z%Yk6* Dǰ թ/kl#o# B|eRb7B3nJ{D?7. ёF`r [jcE_Ѯ_0툽b!v.\kX;ٗ O&8kuLq"Va,kCA^$w} 9+pY5!쀘@iܡ9nEslSz^.x7Jx( 4wi>'x; |K<3cR=|!XB(g!p.)ԲQs$؉ԙbS'MFk{&cU,,v2 q QŷM6B9S0~C1,+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פ(߽K-s1A[cSR3Ʈ@./v;1AAvd1f3C+LJ9<o~?s=U Qs,7lEcb,skֹPdG8^jAv0p92+#ӌ ^- 0ILkiPr';#DC 6 X="vV.vR.'ƿx+q dqEٿ]Fcjc㨬⌨'B%WNag:V_)kpQ*-ҏ8Jx+j2%2R)?lq x^t}(07a@ؗU?6Sa%Xl|]- j_KwXR7?GkJ9OԈc'TۼJ# ZP l66<2`>MZĖ⤿?#*6 G/ 4}*hs|ṋ Py;DLEeQjtV'RPO)MxG<|i.Z`\2Bv.u/#[{:̡9ף-e™7G|u Nhg+GRyag oD43<BQ th[^ زˋoĤD>ޫ;,E6{}CQFNղL׹͘cҾOhC˱cj\;/+r7JPű7ѿ:5L.r?Nwu"Q6$ڮt iρx *uΓ-+= '@Zs\}xX Gs횅 ֡Q;C@aG$y]|Op^Y\cH?#.3;kf҅x-X=BBRPZl(:*Xio2@ bš'>SE^vuNG7>tC f$ ըbq?pi ^`2U+BxX6G݂Wx~;$PHS{ׇٝ~F1,꛿TT1!¶9n8X[GXSt+oN.?M4P |%Z.xqAmjKldr7sau䨛u![OA|͔7\$oعcaF1NT.{t`. QrLAX#2i? R'Ffr,y^-5_[|\l] dwfbOP |υ{(jA2'ޭDn]SBԋ& #ISG _B3_hW ѓO.,:;|h6 =n@^#MLZ3 oڎmnúW 0CeZcӊG' 0hcPT2ШH2Fu;9@.=x Fi(=eEioV_ Ue}:p{ӗYx*KN炅aI(m8 |ؓAݓmVk鑣_HWNGFMhShTV Q=.|.& =Ȍ˄*s*oȱt^QP'ZYڸv1-|m\\ }S,Meę/q|Z:tm3= ˡMu *pr8O-t|#-2Wxo_-oJzUv#2P1a!jŞ ¸jA h$)BY Kp āwĜR`bBU`B>KʍAE(kp9_ }_<|w>Hg89?Nͧ!S}L4Þ:Z'"LĹIL{?Mg fHZE((+%ST>V0XF("䄓40ГOp0 XB 1+IWTN iHdU%"rўRǓkd>M&ROI>O˥~y\\.HvNyhLuHQ5.iǦA $ ^TA<:Su9ȚDNoµLȂuC3 JhjЩ o~a/FzsbCy~]s" euhaz\ L@opP<ϒRb% `E2n𔆰\wXi e%#\&.q*Y|z4Vi-e}4cDXFAwo=be"l5u*A ]˳Sʚ?te+) 5F5 -󕌞\eWoyܓxۑd&y*A$e82 jPT2#;r)x_ZZ ?:Ba1nZmIM-i([ Ǫ1tEK0 Q%y::n`؏dTfTwX7yh 0v֑GEʁss38Ne'(Q)+Zch~B'EwфkA3wq dyOԠ'9B꯫7c59\]'Xm\붜;9VH$[W^0\./}޽b&szCuI-d7ȆȌ|uG3c⨚3^TC c cS@UjEЏdsG-/ q?O;`̤:E2#DЇ?;OT]rP!D"KWFJ,Cq+Gq[Q*է3BiQB=r0uP5B7٫Rz[/־)wdՄʼ@b\ Ezy j$5]s!'vior5\sboy5|*,]C\`Ex1{fGgZd5mc[lϿۭh h$;WTxyKe!%JkNV[w![W6$b@"~s?ޏ0ǛI:"5ٴ>: e-Y^Ke\8G+͂W5LslmW4~p孬qZCX>stn.]oMnXi8l}ɌJӂq7)B9]v?. 41W=O.},&3.%*奔C)'##؞-ۋ\ 'cˌ^J߯DCv{g^)ّy5d`/OҾb|8pd -$3Ώ[U$BU }gVZ5ey@/1,Pxcvk]EH#r2 ,6bsa:˜X,?F%I k!] ǘBu΁ُwMRW,.KBoƌ2*hp:O_l_l"oEF"kR~Ix!<@/* V&7n6hX)ߴ;ق_hW_x+ ӺRV=r{8eO~K! zTms{_JwC'[ɡvA٧kѼaUv\9XqS,Ӹ.YO' ̖DTWN Ӱ :/͵g:ׅ~xhZEcNɋ >GZ~~( i}&mL* A x':Ns4j^&8.sjxSa3837P]vhݱ{֠ 0oJm?glTpb!P,Q7/y`/B3hWkDy#0-`5v rJSǟwsZ -X#UNai# p`S9EaW{i`¸!`s JyS$7VPWrD6ٸe5Png@2jkf=2贫~? &iOGa'H{0蟱`1x"|/ (q@IlBTYlVTw2QkynLU?fn.y~regܧށ/ F!8\끌4ϽC՘_Dw0REN 4lٝe[xv9jRo,ne'J1316Em:tDl{jfI b9*Fn{y ˜lJct h] ߴ2 R N]Ʌ,\4NԨUN8bj nG1;nt.4T|"4jķSnO[~jƪjaPLIHa~qoFկ݈~n0O]'!F^3 0G7Ed- m-+=3vFi7z)jk4k=H#1@+2Ml 2TmhCN %A jI^XWiN1WI>41[.{4|1?~7VMRp(ɀa!"'{]]LO]=BK.1 CET)o濝h/U܇m"?-iFMo S3^^ͣJSGxAm{ص8֍x׾嘿:'\<̞ dk:4h'kvdGAi Y`6I_`KQ\<sZ+< Xzkxzrd?&> JHix%^1S{fU:A$"`^fV7جYJ4q!J-g ͘.Dkf׃jV[jՁ⛱ΐ ؕip]J}ՁwgWM*3}aIѷW07gleB"xHI<}:A_}5&UXdLNF3h^nC &eKfWnSGB1;jXŅ`p~8 ff*!tDK!.VvX"IBn S"o12is̱8a:.Vrz+k##c?\IXħ,g+8XH$#^ $q\KЁc~*62ysZ!ķ>c`h)& ]_0A$-k]oY],iD!޿ݡ%o iA>k5hDoͮo<-&g1-[06;+øE=I_** Nob˲ySwEbc ڡ6s7i{‰h!U'&:"aĘbbX[\e=R./hRq,"t'?qL)|d$0/ffS;LlB9iv8c*ef;Skk A$kCGe+,pK]-P`م޴*5EKLJzakya~rIfehOp3{{<1$xf /\`۲NGJj] $Kq_^8#F qI 5l!ܭڠf¨Wh)z?\,s4~llAB١%'Oqxw $Qx> ʪmMDSH?/">Q iR+,\0T6O- aw1/1"P9CJLŨNN"²O/JQ5d~rw2ql?x) MYM`kx Rc.W@ ̃<T*D }Xv/\fQq zPr2.u{>}~k98/U7֊3}9\B k!zV%?̲Zw{Bv~/̜T/o֐P1'u"+aM|L%#_B V<]71]g] "0B/- Ы\#@z+/,:1:@1Okl["Y8ScVW~UgЖ}"RR}5)n{CװE4ECr!g_u/kmlF/(Cd clJWj(߬^DÎf~0)=ǪTל&$_ hJ A ߠbFoJlIZZ%BuU uG\X_gAkqC92%owunَZ/ 9%Lݹ3_ԁBnBQoT7YJpOWk)KQCEDouš#(^UV?@ X5{=]eBL sc0&) Mv9ܺef+Q}h_ux(!a%c#&"."MrT4 \z5Z>yo"J%揉4>Ibtї'P?U4ϛ"D>衯–toA[~&精hdx赦јtڍVmߍp[d׷HlPO+I/wͣAmBx[q1]si3ovrB977a"pѐ3EHN985)~5GX-)!f{gboKZ+̿o6rE[@kj8j_&> MJ4)8'ѫp>>Ou I6n|Xx0\t|CX< 0;w&6}xO>` TAeK2)ks%AP"CXsAh_7]ExINĞ0FU5.d2)f#h٢*'ꐘ.Cm"U9|w&q`I~l$*[>AUUa-.s9qK{e/5nqM9γē^u1F2|⦻&`!@l"BHAKj hdie= ܪG^cfϞZpeU(;E dw,^Q"9gvg 6Sw6=+^^6hK!rGFyrd>,}4PT/ckOfv&!yƄVg( Ml(CN~19{ CymUtb1 ϱ oKźĒ}KO~y~.4LQ!'B斌[lf('TݲClWy56hJs4esehY" yaheXU7aE}8 [dÃJfFDTFu.G RFnlÎ{ Ck)uGN(%:{ <5gI;A|H!DQ3j!CjnM!&0 NqfIL<%| + M&(eM5ᠯ9̒u)Nί֊¾" Ўm XXqUp)Œ*IayZoޏ5SoYA<5FލW (SD$e|a/DYn9Ceitɢ vPlY* B=wPe5tӇvKy&n-l7+45(zUVeWgrjwZť2BaY^ yXywdP~PNN#{ ҿ -b~eؐuh{φ7!#\k㔋1_(t@ #o 'r#O"!rף"S1/+ ; a$.D|LG%UD>po>[b/7+[g\|7L} Nf%+ƃ^!t;&m-6XoO:6Yz L50R{Lםc )"sլk9.9TbNB@X8o#;IXj | L=)w#[DL\vLZҡrpcȓ}-ԡS+p[/a#57p@p5I( k$/(5Gv+]G?7)fE?@$|wLcmzpkЬҎ|QZ^aR= e DߪAֿ1#"^aN[aI2 LW=D3.<ɥ{[:dzSxXn9N+gcD XAwEB#1&1*5w{e`OZ`C~], kkdz)*b “EP-\MDEtG?8oɸ'MV xWE'IG9 m2Q.ňB^h5Ҏ$Mˊ`$+_ ?tԞą džU*cO‘l+#M͙5xpwCx;+?{Δu"J RQ3,E EGu*ʰ(1m'-tu;A>XıSI)YW6">BKF0}&/m﷠KUQH n:ߺlT>NP3x(ZF1뾟=4Q,'-ɋ=C8,@ZD7L=RCڔv*5v | '<1Y3YųjV1X~ۊ&u{V Q,h=ҳĘ'89<z[[!$PT{*KIav%I8®TWObU7$d`"en=$٧_~"MaQӮ\=rTH61Jٕθ4=+xj}||UIHNWpkGy$Mf.;[&wJ|09@q/8> `G'{~J򼚹Bn N^sy?s"hTtD X8DZDX-~DWKd$Bp%.,y:|h1HKK* c jP m}HӞI21Ybv Xu+W%!!a3aa=tAA|4#胘ٸvKkD+$<{x2ѽwx7E\Ԙ9Rk>hBPR"p+ӵ]6D*hNG_oP |+Uu/KS5uL,3x9u'b7A'Zx>@ T KBIȵT;*_L-`[49SB7KeNZ'#B*(-^RFN/D:/~"pԔt~2c޺qb鱡p 9p󌢐A&R-+:JeNH3K(v_6BbiVOk@ J^ck>r`%Y6)ϟ{ YغAbE%'rv?b8YItyf;'K6QATTQڳL'CRlV`{%a-h>`E#B4ܓcB7 v y'F9hc5~qqΰ(?S6W,Uw F2k<\b L6k=5ؤ"FtD63[kB^<4R :/mu9^,Pu.`>ix}*T9u+C StUY/{a'Kt\B9ke0ʍxwiEgg`i-AmiEXR^vlKƘgf橋]mkqZ£!ic<ƴ$+׍+?bIlhgC }cEN*Dk=5goFd?ef39~{s} =gKKOtF jaiץ /"Yn|p:AJ`T:Exn~Ff1圻wH^:L)5jr" @U٤ V85ѿQyVtBc+gJdBk#QůKGpvҨi;nE†GR1׎@[4[Zϭi9@va@ӈvHuMλ@o;K r ݽp2n|ɯ[JT >3*<d-x9O9+lf.%y.L:Qkܾo%B=(iMsW?j}5;bȕ^U2bמRa\#Dx;O.f_IP4>jsl8oT80K+kJ=<.שfz^shtG󖿒B}!abWTxK=x*Dw[YT\jPRNVOXV%h70U#6R3]Iv翋J)ml+E57FLfz&oc-2$ѾVHn\8e;bFUđZ@G nsWKr<Őn!wQ+vfv` 4)$L ?Q n ެ_.% >z03Ja!jdYɑ2R;,SrOKȈ!QUwQ@ER|YlX>"@I0Xݶn*ʮ83B@K"$0w&FIP #iHFS+r0 Uj6չ|*Ć`gs>Q@R |y鲘̜2ɹLkc)FV/)L y^]]P$zHaԉZ3ɣ'g/EƬ[@Xm f!Dx`'qCA | #q(`~{&Ík0`7P\WJҒtpԴ.Eub 3>;tjiټF5/zȮ!⧊ډ& weVi"@_e&m#"/L"*2Cٴ?Cmm0]Z07AeS7tSG'GMz|u2Geʭ->Pm8GDxBԌNI[o]0Lyy~λ? ]j@mZLR;ٙ7l_uSҶSUJCX$m㖚 -0MrFÞ-Ͷl0O\wދ .흎*[ԈHbzB9d|1R5.a x ,nd<LR=Pv7k4S7 yk_Gt柪@48@UGSK`*FZ6BxT A{0$ȅ>wwJU*XsĘp sL6;<;o j5n51![ԫe[7U|9b=רKm@ĴRm"nLM~F=0 =s? m )JC!w$:RYEmፈ(t,eLh0G!ճ@ f&Mڗb1E˛/00,+4DZæK\wsW4XrKnrDj`M{y2:v!%iWqx ŭU,ƥ7L#A/b* oec[w'~Q湳Zڟm+ģN @@]|`տի #.YfGt^:r[Wb I5Rv=c!)a!q^oGu7+}b^+/ IZ1Y+V-%fJ>"UeFS*MDmaΖ}FuAfbLv*"t˟,j^>s Y@$YKHZMztv KooҳN0^- !E:m=>'၉ L3͹Z)4MQbR]qESV|OEuRYʚyM;,j:H| z (##h;eF=l(T#pjA;6aHי\ #]G;BTPH ^Kl,<0#/n݉ |6 vIMuhLJ#5ihqL]7&׆bFCsFg#P}Wj5#k+PrԳ4I ^eZVJ­XemvuP4ؙ\R،Jߐ3lڤsGK+S&W@Ӥe>`}aznU:S)8XMmCG}g bkTv|p(iKG$=V|'~7]FB=Uz X%C@s[+9@Zӆ=A{Qjq[mGۼV f~d[eEAV%H1 u^ JݱQx+ icC<4(0&MCCAD9b 8.[ sMzCesh<>@#k4Pla[-ӣwίp zR/)(=tlidSQE~1< YRz mZ |?)ߚ~hݎ5#qFD#IlY;cPt.QcO;rEGLlX0 ǘ"ȩUU`݅_A?Ӳ@)[>xl/>R:݉2(HV`zț+y|ou_ݍcp62HQzn&7t.jxBVd|+|uT[.\^{q"c}'Lk:_vpM"q2^MRz7,M$0Ay' z.CD蘝"nE[ OeVFPUPKԡb!ʎv'g4ȷFT@}5Fo2g"k7_A?ԳUy%{'һHT8>*V!6яh zZV+9@+e4fNiNA#+@z㪯`$J"Ta0oyUT."mk 6ļ> D3eO KP9P0(vmb,k1CS)R>Y"& >"" O xo{r3m\Vp_ QJJ6j6dL_ Ȼ*9I0#CUʗ~BMMk.C\lP `fJ@ooSX $.+5D"M8Jۚ+v٩.oQxjx~4YZWcދCf%swܬʍsNbw*mq+' jJJ&>e[;FbGhJ#0#jdOXNvB퓤%sY&S@- >]WO ~=g'τQg$ͳƙn.s-%tK^)F ~?p1W jJQCgzpVk ξtp)l7g/D`RD:rxdDs qVVDž8M4T;_:ۖ8e/։zk 22OK_Y!s?ؘԍ8Qp"ьT9m܁r!Wz@ $& 2_7]5Pt=Dq)?e}m7V Э<譵&u$%QcގBr+#_J}9vtdUM&F̳:/q̣1,Ayay-Y7"e#hpi}_'IB೟xj en~ږKQ@WE 7(1>7{N~n9Riޙ%Wi;S[D /ILT}n> 1 ' zgRx3|b.qS%1`kHWMpheMY&#䶛|mD U+Hl})ĭq"fL$+mRmǓG՟i43 K'"xG*T?Kvɺ)ĮjJq390iUf}B t+Pc(4dfyrb.tv3i7VgNI#͠^w}{Gm27mr- 5J8p1k|4sۊ t9} 5Ll#=|ӍǏ#^͂RВc=Cc6$t0H8S2@y vk$r9ȊVe!Oh'㙴GE2WTP.yKtWYKSƚ}jؕAr;fdڛ#@葙SOvNM =@~6QNb֢͗kI.͚JW۷0DM6r԰P.ׅy({f"‘vkd6k˨EN'anލp7>vNiw6HDqno߲!7+|AV=sR=!F)*S4 բ< ] ٨ KfBلT糹-buUJidn!@wa[oz0=JrX&U1hݳf42J&L#.EwW;_[GE>mگy]Ӟxގg"Oh{TCJBqWs+rU٣flJ={w忿n s0ׄETI-ԺX~&Xf(>OUsdhqg_`wau.=A &X[ۡℂ@2 epb<3^C:1 tC虝#/HkxP"k]d`=k =Aww݀Of|xz]k;{Z]efǴV|Ed'W6^)"_<PZdNaԼ,mXjf' Z#: Do \f9dzOiS=)Z2!cYav10+ |{*'vU)%r-V͛qvEp("9B`f gV8lza BkJ.QZhf0 .~Evù9֞xJgMyYV3'c̈Fg9R $(sL}#6 Ylc7@NU%|JmpF,MBBaog5{Fm3O&f>$GD[ ~0X77J>9>FH]7͡$lXn &,1HRݬzЅSNAzIDU- 2%N_޳^z,ط3|rݘ޴? ~8W՜OY06:O FYYm1ՎٓN v^>,خWWc5onrBb [jr1=i09Mji~:{{@tǭy@`LӽC2j>J'Qe08%R`5,@ܾb.pL.nKUE((WaN;3}EC7MJ"$Mi~,bCgFQdmS3О$Nizú|Nw\u-z{ɕ3B{̄: !]Dm-W5Wh.bg:'4< /3A?9ok$y lt6waCrbBl5W0(Fթy_@Xy_$%Y+i;9kJi'EuS|8f77Xg_8l w}K }cq7Cu^Fa@Pom+WvHVZզ^mx.IO\ظ&,ɥvU[cȻF 9e- j˼(=d#с~, 7Yon}_dLA]kiiz5]bW:@F0e}ܖ1Y0ÙP"50I#L"XX[\%H(>Z5XцGG-*hZqޭE7yТpQ`W.[lqW%7%F$:Nox'(e;K7E79/MJ1{0 L/ܛ^cNfLNN`~LM~;jrJ 64Tې} Q۸Rwykk"Rm+ke//X z3ƒ_Q @= 1hW]PqY5߾~޳y_cˢWlR2v~'kń]͖ {'< gkn"AdaggӘE'I -WwH4pRA+1'\5޺\:w=T\+‹-ooO̗UJԆ- Ʌ!ȃU ( 0E4䕠⑝9q3'Uk ̯|⩂I?Ђ_ ۃ CW+@Şx[N5[],k3FX7!T@{S67͉%nE.0[rFF4a0%Ъސk,xY,9"~G.ؚ^R;Բ=J]^Q\w[ߠWA|i֎o35eHX+[^)tɂXJ7`{q ޙn)dr4ST60G"W4 ` zJb 59Qw:򆰽ѾOGpLbb lFN6Ufrծzg~6?IdHɰ飘4ݤ5Y $;}GE>AuXcmu݃HfЈWHKT[(z~ܗUY%e5?$/^m{vkmM GGzCj*yG(PSQҀQȿK ( 1z*cF})u\6o/ݻp`YY 5f~A6ޤv*5M 5+,`rNQo,-'gY;h:"3Pݾt>n44~ˊ%@ygYZa58584a5ca2a9cf32710ce872f02b061398f3020faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f d1d2032238c468abca1ef011649a34b8c92c2bd6 98929d9e7d4995174408b42dca330fcfe05f33e3