SQLite format 3@ .;  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 11+t<,T ]S]Quick_Sort_Cost:threads=4elapsed=14.542cpu=55.980gc=2.2487zXZִF! UvV]ŗXiɟd)&]4)nNMG xBO@gHi}fqPPhߦE6^d]MK/bEaٱkb"Zs܆dG$G%+WDxgFz\-^ܦQp|l2@d$fsEq0rwŨp%@YcD|o/Nx>9/IH- pE@>ij/}: #.v+'QLwV )orjΊëք8%{8^cI=)%*5;)kt.R}&X>X821*\/ww4'):eq*e:z6ҔF2Î&Ծ-sn}Fݝ#~)mC?`Pr*ֵa7`%%R":sF̖$0F.{bQy`nms`C\lʕuV =?@XаGҧI KZtr,q u(Ӻꗺ:A{{ ^< ~сUYݱoS3uc%[SSPH>X. LE=#W~$qJxƣDʤ@ԥMn-V/1\>U9J'HSEj|p63 1SM('(ڰ;o&WYXS19! T뚀Otf(0װu3LQ%s'K)0Jv)}wjr2t:5]'kHuabH5 ܊$)9M\Lnm@Ekm=L?\;x:(L2mvKr X%5+b ZnA"#5gDSMx|ÕiN cSGa16W,v> 2w&%%xq}%iP.`kM. ]=h0VP3,hppoGr-pkO;ĴÿKiXN pHAkzZ I+~B0yruR0ؗ*Pւ7:eU~aTHh{O7:'Nq/@{=}0|-3YWĠ,Vl:w:39J{:"[/lNPqߪM͜8JUVfX2O)Ӥ 1l(;lϷ8㐻[>:s%T5}կ 'Xu1y-9v3r _{,|U{ng"q`ؘor1^TMjA{*`{νtQ6vQ:xu+aqЂ\8lmb9 !66U&@ Bow!!k.) UU5+6;9yof,M's  2-ZP]HF+Kஸ&#r#Mtv|Vy܃2X0ŽUuDst+O:#^FQ9x!ImkxuĞH!4e- Vɜ(FHdI|c{nEIEWUğ9xW؞rI߂u>5 FnD5 .\T$:{l~yEݙ k(Ĉ;Uғֵ`1ǀxBLm lE$owyaLe,o90`7>Ydn/As9۵Q qTS(nDV'k\]آ~䐯p?ȇRNZ'C*QwŦE8tӊ)"ʭZc>*WHzץoxk'U#1ts7|axZ:l#bZ>CB(NGbB4K" -N֝fߠtrxF<^6.{tC#8/ӗp!!_V)N2]Qܴ!"R~b-"`)Y "lw!5P@V5-1{El"0mQ؆g3˒cҘ5Z_3v gz]=rYTd* vCt& ] A]]m֐B\x;VB# KfHR4-]"|EuLP4|f bp퐅(/LmLƧY lpOK߂|zyH0Uf3]0SsbjXBe+-^73Qx|d[C+elbF%Mz]3"o`>,&-MєfO 8 ,(|QuHea]|5 }ݳ.?i3ϲir? ̭r?F* #ֱ|xG"8s.M+>Խfv"Wq4mPD  ) zpl3Ձ82vYEee݋g,3-t&p*n vkP;&1Av9>BzUq.zdXř6e2*PS_aDeIѪx V %sԀӣ.Z)<kk5؂FwTNwj[xFm;j? r>_v:}P׮OYϵ΅В9kdi^52nZ%iX(?>7Ϭ/UH@GҬ2)&ևcw:{Hв >0!u~v}k􀟌d?㴸NJ] rQfX0Ff2a"Xh Ѽ2SQ/е ˎޅU' .^a)MVU YezxH ʔ}"FUOM&vFRO. ɢ>3za*c"?ijcY#,G$`؉dG5zDvj 4Sx y"tUfM}= 0t:Oq9Ffv"u|U3*yQ~˛>;rNp;ohnT+b.Z–I6y_7<_mhG]y;KS6Fb_#ĸpQ)C' 1z*LIJ s ln얳"6a}Ť8:HvծÑ`eR Lا1aLZzn)ύ֏n+ҏyDEY-cvzOvAÂBCue@Ugk900 ƛ=/ؔVv#'O*fc!QlՆqQ_t^܍X&U, tr֭ |i5# E7DE:(#tTZ6m_#裝CSC+V9ă( 0Pp^SQմ(:ۉ|@sDoi`ɟh$hN`nCAXyZ0MW0WBdG,*P[a' Y`M U>S jʙguv <ᱢƺC7ϩ I>t1%eDPgGz96 |Z*t{_B$ݖp(9].V2-c1ut!?EePYɬ%vՓD#D"M-XƊ v 2aV41hͯbDN2ɢ4J*xʉ5֬d~B_ >JNjd>) c NcP=#/tϩЭ+; \^(EĢj5wrX_[8̹NXY>{[hoF-rpRX.1Pfe[%Ю-:\u*\cPBmt9c~Yg>[o7i|gb[;|e>FލewF)U#M P}i"9.\rr2wcNEu^}a@`=1Yu,f 'OƉtUFlbC,TD}~|'j(; 5i(rEZqv?smo~#eh;nzk+Q U^w|}!()?Ia3~n.X[!TX$!-Cԯ<-XA;}S01xlYKɉ;pe5++֏n6]PۇlsՊ_(рQޥ"@.f1`L|MQ+U H1/Jm"~=\fyyBv8 2!jоhG.K׉^ɒ@FlWl 8M=@Ry(DQ)oC`]oY`],3qc: q"7Cj>K~QUP  x,7xrӜaG|~?.AXFtg^GO {7m)$&' ,PZ$J;Pa$=8[(sAՋ?J~i}ޤAÐaIQ2@YᜃK ;p9tp0!0ka9݃币@϶os ČUBr෧Ώd3c"7{6> / *G7._S2{4G@5[uh nU+ 涍jJBy UIׂ"^K%fq_ w 4u+B?C|N+6Y]Ȱ; F#,rD(nJYO"Ud`7z;1< `:W<.L\O~bz P]I¯7J~q-4@5qSva_ΆlTd<"%c3Zh9qm[Yp&rzT5fHW՞v]/LǨG8R[ 0sVinҥ~TϪOa~)1,'GyK?4k?W\vg%u[4(%ό?+R߈5MJ0c Ju.ɉ࿓䯺``>m5t(/΋7pA޿0sC忩ԩoyH 3og>R bmXd&x]x,c\4ڇu<ꔟ >pѐou=uXLUtկoʂc?U~(;Uf;{Q‡1,]qW(Ut~j/]E^-nbk<͏eYsQ#.ǫH̿Xe<}OLcd!!dVBk/֥3j]FXXN.Yky_dܺH9F(P%JCdԺUF(#~fG~5[}YX ny6ӫ7qtIP\(=K%=="m YCF^8Ku}n.ZF L# Ϝ( Z6eL\OM\r( ƨݧQz^ XmL?kk?L'sWB-i+!ola9Zx>7jא̌Q8$ϭH@&lG[Dǒ4 hUçv \v։%`q)P,aqGBDNulLneK|04+\8m=j@U7 iRКTTٗj%k*cMFK8Id~]R C ҀGSD֊k^Z/1ihfQӤ9HaD5IsJv d1Z'Xjgr:jbr߭ɿv z.+ù_^nl4*v^tW[V(?'mg75*G7!7]{4H#۱lxaGv]<`ܢ V#LOj$|f)jkD(r $_GxJyWU6 JR_+'vyWH"`q"t `L $Z t`Ҳ^Ќ#35H&;j":Y?,\Eʐ 5z_uĊl͉%Uf׻Gފ=s ÌbGd?"Z|nBJP4(91vĉة )e3ij R'7?Jf(J N!>?1LΙ}a31D,Z Q{zX&c\uGo'FOJ0cdbf޹VYsɿ\%2x+%(Q6Qv t$ޗ,݂E,^AWjXLNO{6uH8{$|0NJ8 (y.>d,Q@Xٲނ ~q„Tn ޚtHmv*d~n,mTsȅ OSmTSV!dCl+E* s %##EU^^0^r0-*m/KlCMMjfg}{>j%j:N(0Y5-e4:7cɘto߫FlB#ڠfR"L ?(qOP=sGw)aR|6I O76r@\j62ż3(<|^~SHKB]*{x(%u$SpSr0[4N@qW׈b : Ԇ5jt[Ia9L*I`a+dnTsE"]w4rR(9i3RP!4ǑA[LE<]˜X A"nH@!5WZx;;60]9%AsH1sUA͢q%P&n3T]f`@A9!x YH%` %qEse={4K4!PhN6a!׶VL4A"3_&ө6ֻvx UAZvyE/-QQYPFsL2:2jR^=82LM-cWk;P(Fpb(.ASx,6R! ;>5aBx,}YHoe&mhH~-H.F7^6m.vVEB ^%eb5# S)KutP-;1n{(>~['v!6,=)rb̹,dW*;-U9C1Ra,zE[l {}Ia;8%Jp87\sG}AruF.p$s|9 Ɩ>qi5p$C 3)ĪD=շP0N1aVS wSw ^ܒ"38-{5)% 1AXF*q%W%ܨ0꽪^i*%IVJ!#M@-R*[=+ndnr@+>pQq&bz "B Ksx_ 0^Ft?ԓ}nu?V廹+_cqxt6??[2$7PRQ,`6Otw/nQ@ f0?;X+\Qؙ](myd3šB p<;TzxKzL=fgiG W3yO+ Q|Th\ }b]~ϫ~-?o9/?#uHR{%!J-|lr.!{zaP7QuͥA ͏TρWE9+Я_$!s ]O%\ؖxߏ :e6]W+  V݋4.JJmteBtlWcxZi2vA2i%;* `\d 曄N nT;4UCŁ\!|L p:MmJC6;d|)vŹS1%a]2{Ak!y!%Tߘd \٥{S$f5q)ضux#fv}(+JvW؄h-Jk۵_ D|ac=Ea t@bbS NR}iL=WsG_^}}U%3ۮh ] xXsƴ>ʮS9 fZ1 GCIEpb(rLJ\Z'g',7!˗5nUмݫ6`1+S3<4C9mŮL3@1!PK(f g]6xorѿϛz)\,(BC6T A0r/uэ/Ja'>oF<\jwCs 5-QZtRt!R\BHE#IHR-9$|jVkf52(}]^2X' 'ts10PݭJufN'8M5 )\d5!d7gΖRIlw nAUZt_+v)]e"2xaN.1MԪ3_%Ss` ,ێ.hapg)w | ܻfӺne^\X.$MJ+l_nnpI阮A="\kP8H -| }TUeo*z=>6^5%5oy* A J] m(,^r~)'g%3b<*i( ntG.k6!cD49\]Op/u0ӝ t@ /z4sb5B, ,o!F-Ù|L.SM{A{7k#__՝!$=mQ/'hIDhw}aPCUN)z%6صˏyq8 7Cx.!gq#:IHBVQυD΁I?YD||0wWOxI[\ 扡8 6-\͎))|%D¬* ]c?X֌Y1GgC,Q94+D;z}t *Ҿ-CzeB?ʝYO]|z;b;UrD6"%+_Jk վv@[$auf O>*;U2P}'{#"s96U5!}uKhbP+ךFLUAǕ*xd>ݦl)CJmNabĺٓ: \=`V*#DHփ\ s6T-gM;>$_0:t;8eA)}+V  '6چhjī.lcG"BM܋A瀍#;U( 1h)3L{tnIbéV6E"ܖ <kthֈ>]0DDP#&!2֏R.=&!Zpy%U!mp(#} d?XGM'J·P /UlK{,d޷%~{n;|fELj}\]3E@ ECc.J $na36SAF冡[v Z0BW?oOU?D?w'd"2}a㣼pF6o9~}T4(Ym(9|G>rӁX5hl$}XnzT6B 4b<):հ݅ɒh>s۹~vރ O)-bC_TUQp▽mh3T?DzgȂqtKvV>q˩K-4bϊ6{;kIge=yw*CI'`Ӹ qYvs1FaJj!8aOK,N2> Y8$4 E܇ud=[iRz&_.|m-))ܤޘSASd4r<V"sȦ>`~!3$Яf}+ЊIjJY*p gpXPh@I , $prBSᘷfge3qK߂VZ±a|¿"ߚ8- |9?OiwM ;!Ǘ,nb`sO0gFPQoĸ'GWsSB/ք'*S!|(awo)VSreB{*) Xd=12ɱ(H Fz\;()Y؁+<\Q"'3'}i+BZrGҹ| if^UX.n9/B sMrZ>Ms78{VSA9QazE~tMJmaXVc)`>ym5nI -0N #BxyHK!>} l QX x5!*es81Wؓ2YGضݯ~R;M[oKA]+~;zF# n^GN>}(OTl#y)&N Չp'b- Ls&OѩdM%X-X@K4 Sf#h}r#Nna]:~üʕN]O |Bhnl: 9Ptp¿.%<\ڗxKnfT\f6FvQ;tuKx#O`j'wGSd_4:‚fpWA0yuJ^THBc0Gή eTȀ4Wf NiەϣQ6;/St xYR6x`NFJB lcfK/~nݐaFRua+F+OD4h s3Vz.Չ%s]tv|~ngօ Nؾ xgT\1(V Nw?'t'Iٶ$MxI tX秄U/ Z[p,@jhDټ|<"^" YKрv7A>rYm^~1;OɊ:|%Vw Mx/gxd `g89.~"ty2VR [ 7VC/.Oa5Ofɗ$#| }ei$m6Sa|Zc}x\rc:y:Y 5J·S qAi9E{ k@|}LoM\4܈#ݦFW6>K<Iɢ{&dMВp=QmwA+i3K3J w#覎N8 q*;i8g禦=İcֹ( 7.):~AiVQO nG'w1:V|K[⛚ [39~^prx4HT$mUbO#PROw8$ލi$w_v8A1&~#\cTLׅBK+EZYc v?<藤u9bȒP_;CɦwKHI z]{J6pX '5q2ߞ7y'@ٌF*qyhu4lV2r/ŽʋҚpX^pnQOcb庸o(}a:ge#oAdx` u wP9Hzjib Al\ Qݷ v6 ׬=4Czt7 \F{4PL8Esn>w&]ch9EwxCkwg2Rq2!%N4*!BSɤvNWʚDM'sDT7k($Ai5융7:0⣔u 7M< (;^;Q=|(;oA[M•'l+LzW<(<`vV.,]]jd%'v}wImvA߾/ʅʟ RQW6W߹m^O|54jbIPK^19@4n+kuD۝ ȁw26iGդH)`>c$KIMX4~ $/|{DW֙7}]tލ|i)`nA&M"ex(g]]P5h@RRe]0}!͒ 4o(jn|L{6ە[آx %Ӱ=z=M%f.%͜]UV\y_=qT5Og-ήTx²3GOǭ`6)'U^T ò(q exi1@P% DGk$)4bDX`0[q/$UG cIbT0,S@(NRQxlHB}-櫤ϳkDt!jwKp=wrh8@TU.$=̈́|1%׽:\l1UT3y-O6H[&[B3y#",}Ӻ/y *X4hYyRB rT VX2tHwH/~XO$Hq~'۳,I=<]6ةѺ'LKqzqgli/C@[@^6k Yd%A:XG/ښֶ`v3yi{uZ-%an*[&.OhKҔٞDp0fgK?@%o_=ag;F'=SN¼*hH♳@j0 ԰K[&{zm?T^S9cߗ*aZ):ilYd8=\.VZߥ~dzN@au&eDej;-x.*3-;q̓.3ch;IQ${#`Vd&DA\1%&՚\}9uUGЁ@{cfƠ-ù0[XɞOe"0gx^(3 Y,$f녠r/ܶ(-~a~(zh9!7з@3# %5۠j䆢`wҹ+Gj2w4hV!~ {>h8>3~ H] 4|_{EF>i!7\})Z]\׵*^BՀ_.OHݗ4@%Pa }oȁ;`w%@KF)ŵs47n} F[njkYmxHw)ᖞ R/~%BIל9gO26Lk, bz&Nuwo0^%᪙:Tد*c\LgR J?s/h!wT]k}qkxPA#жb}_0qŧ&)5 V:%,f$ A!Q#kD#rdsO-6.AyVrƔZBDnulpܿ'R:j㑻\g]||\F懿3m9lɆQ=K7OosZ1L|iIf"A_} FRo?c*|2Br^cGz\>L7=wvMB5/fKAξ!j/:'4Љo*+Pf9~+LChk9K["q>L *}H*jo xXpbk jw3]45v7 tB.n.#/jv+Q /}ER4JٚWk7$EUnL8V'chе+Gv o#q}ҟ ~l;D)-wLאE#UE̚S1:N $6G/p`Pvϡƴ$Q9UzÆwx7EvXY6MVal|MӮdӫ,YIYdaV{]>8c/w'iMjV+9ЇTa̢ⅸCMȨWa S/wM"T!HQKwA?lz֬^u-|,w'(o7H+mX F.b pJ8lxYv_U& dnÝKQ]}d]PZhٵψD@/x8 %Đ!QJr,q]n OMM9׆O-FSwC1eTMܚ%ϩFǻ:Y"w> 9Q:*f/ ./n?[ɨɆP-k#@a_ ]"X y,g (aQ|؍6]"J hW=[R~W 6*+dVƪ+ =y&s|}8"NuѲ9wIz N844}L.x H' R'H`2|q! ~O0o t^̦l2}VLMdf'!>tyt`_WaPm C}` 8T;+( 5>YЮD_tA]D{FQuR u܀̺}8DKI!UA-*Dz(5&L FmtESqlWZhS<ͨ }E>MSWx@&(>a9U hzJf*$7!&нGL5z`ea|C5& fc'/VOϲ`.˜jt2a$c( d_\"»K /W0Xptg :i8.Xnǻ׫ٶ/6p,tU~6B]{^Ȅi,9*[3Qpѭ8>!QEdۜ(j0JNu 0*Dve8JL ߴzY,{8(O8%p?!&ݲ+gM%l,v3%q8Ƌmɢ֫.T]]Yj  %r:#8$Ek~:'&`gŶ{I7+ۣ^ՅB0^qforrM@F"_?uŮ +VR@!QHLŇf6gk3qX /3%d|pǚoD UlEE\{FtֽN:.|PAQC|KY^dYQ/1jԣZZѝO`q0 >(Lr2[gb[yљd'a i5/젝Ca`%-aD958w KIAQd[>pa D圕%GfX$tA[ņX0!Se58O(ı`E1ZH cjꥣh Ŏ!7d2y fTe iՇu'+pXj]{"t]8Jw_LD89;>q4SOܲ>+"d(*h, 2{ gP@iDH&zзO 8bSҍm]O7c?,,ҬdA!/󅊑Sb_ 3h:iAL@]Ps Js)'Cq+"˚4p]ix}<=Z}<콻ѿ144J0z*ټY|Ol54=`7xYӪ /\dkpLur)vӚy? 4WwߟI.w)S@;& z[w~1JIVcCrNYy4*٤o_\CL!r Uq@ *kzye~B nC#w=@CC үhʽhKD1&@HpZa @eЯw5w@C7‶#=Yc~h{/a"=_^lG_kjY--@Y1pi fY'&Uƣ?r:0_MMenw'۫VoFJ"B>C˗4V]S M4~AoQRJ$-P=YR 7%[^ٝ@x KZ͆zN> d7Hއ4uF8 -,.ƥDZ0yJ-g$49vCcO C39Z"/+^Ěqc{n4lƻX_l1!sPCJqG$X^raP^nM]*#r$ʵz7DT#qӍ֎Za#!,Ϝ0R)m@)+=.ɐw (vCml|Ⲯl+Y ޳->/$G~mN%\,@l<| V!8&N)_eN*وaWL&UhytI,B*`(%)"/3|&`D.Q@kh]+ PNg WFgB#'f(F֑abxnly:b1]d -Wu?* s:?WFD@)cb:v ܎ہhY4߱w@D׫=q!?$`NKv)ȝԒ\eNwH(Y9H7Nrox5NWȱ{@tj 0^xO$fߔ4p+J3?* ϖrSzLԬ*VFՖS߼ZQlM2/Xۨ%瞉@nh2MIi鳦-m!CD#<ݣi"`$x;P'/h"}y+ qƸ?{f4HvYЧ`q0Acv#2X4Dz ;^IƷ/6ϞL]J//Ι J5Iġ>L\RCFwSYW}TW@D3heC ]^D³Smobڇ7e/in=YRzi3H4g]DL @춌$lb΀}QNKAlJRvECk س82P7J'f\jGUO `>hgv>#);ڶp6D$ؾO[ciScϏ965'zNiÊ[~[ɫM 8g}[n< xIԎFOH<КpN-Fqi3\p`CcSYLfH<]ȟiy ~Xcm:wYd(#r]$9TNVSq“BF'uI6OhO` yHJCmZyqG*S(xۅj9PötKaUl^ 3k H&Ek[f( zX#0i}^N}Jw2U*iqƜyo.Wu quQ;x$Y %z3!tbԐ 5Vu%m9DNy RtT nܹ(Ȗ:9ׇ){NL1~J\"}|'WLѕprԡKg/j,&.qWM *|X&)K5iL=yv&&8!iRg`֖]M؉ U&-֐i6FZw7yi3-0_!0jw%gC=?=2J ظp"`I?סnbW@as;6zKzׁŧhXɘ++aJr]HTM{4qxD=& VosX5K"vtQ=G=$}UJ͖/\cy; src PBQ%{B``W _`Tr yWR#H;)(.r76 ­ч}$2|Sq3I-83+Jj9պ;x"vat^^%D$10t̿֏$"+m56(]߱;Inh>+k˄}PzQLa I!z.0Xg*@퉛G\bHINX1pNQ㠥 [O<&&;9̵=(ejQM|2V|&qX3$~Q*"<|B`?n{JJJNcN"V/VDOza O.B'uM"zg`x\F9khX4$ P "XpCכ Ͷ&ng@E8h1zb [AWk`QqxX3jGm_ Kd0 |Fh{ kZC ֱuj;'-<j&YDLau\t24't[Yփl@z^ {4жj"ߒNo1FgQ5}=T+}'z%<д#8@v)NITo _' nnǽ3$=c t <ـV:ϔڀ5a!MujvUuL-(ۀ&Ǝ 1G,Ҍn=bnt+lCSE"yю17SHh7t|J1Փ5) |ĭk:'b:ÀBljoug7^aN&@gJgl Nr=طܜ]٧xcܗPsT 1tv;*K&oʣ_%座$B"+͕팹DN*Q`53G$)%ͺLK,lWE|N.f-.m=Z*!~WN0'putsjJso@t.ҋidPFq?8{VWQ7F= icMR"u0LD},/򸴱[XHn$*nr rCD)C;`i ]7GN:LP=qjs|[ˁN3;i=цM dzҤG@͘,OO 1MހVcj;%{\.7cKpI G#@+l& >[{=WD0 02 ĵ] Xv?=PI9ۧ4]BSO\aξ1lŏ,DPQnoNk?50-} o&*pU {TpVhfȪŤ$`=ER蘍7EW`Ϝ`'+j x[oB;rQE妓D:,$R.ZOS`$ Ns|I0 %Qp&oYܺI(=%hϮQrLǯׇ&g֧tr{7t1rF JzҨ(unuWP-MEV+:qPЏ ƔOE6(;tJ `sC- 1q( ux!))~a[C̍z7Hnю<>>!8 >HP 79PE`ơ-7z} 9"E;0(~g"\񻌠 96 1ꂹq`|YYDH_!M+cX o!'c2VЎmvEX+XBkE#,):gdW঎9t4G0),Ȩ2kW 6!.4FZ.B,l~w, q_A0,=]B{GHFwd6&z}]*ŃIu !%MA](+}ReTDL DskBVsCq@8p`_6i|ybSBhr* WJu X5+ڧw'D2^B|l'/f0瑫d)7B3&^ͯ0#Lu]l\(o_Ŵh~lѱ6@C2$azk{pN)pMXlymR!e[PV`eҝr :S7S|LXp,/k0 8*sN_]#1̃+(fGWI}iSu6iqk)r͏ͫP+8!QԂgZ #F-UrqN ?}&"A@KIp 3jxd;>nͶO Ƥ̿tҖ *w5;XNdO?ntK~d 1a:~"9[ԉ|00 a!bgL2=|SB~w]`,)~,vA(~8ꏌ)WoH}RMok K4fX%幥52?mD+gb"v7SJUd'hco"-d{Il z O΃P_lXwIW#n>Xچay+&TSf0V8 6) f9f$SbnS%Orɚs(= {⃕^֒X`;&^|K ^J\OSbGgIяm2Ǹ '_u-؛9k,&i*=7_ {ȵ1ɪM3>$vn49ȡ k-m G^2sݩ"¥=@|}Cb.&L K:lC{tiGSã$׹tf307t-iR"Ȃ u?2\32>t-㬽cCp¤ xT#wo:{wfKaђfFi* b8r ޿7ޭ'LKJ6{ pC:y,ωfEu3;,a:wټ=#gKLՒ\}DL8k#/Ns hvBnf_Vx(D8?*.|B4EAZhYEHICWk֋& ?rm$C3H]E-\'[\N)6%]˷gw#$x؅#M~ࠏT܀:q/ͅL8Ua X#;mWD d- h)ehu$@c IDkr Ff(~PRTӣ||qz y[v~B0}(2]Fn&iG}./ws?k'%#Vg[!r#sl~]V-8E2D.7TH`.@jt\~VHpkYoEmqg?b;\4u3d qm95b?Lҩr%| liLjEAT%385}j$dtl8w}BFbX8Z+)eH1e'E}paqFЄ (rRR_lr.o;u__U@"զ&+L!,ūȐdkܮ@8VLrbV&fGk wJب'`l9t%"[h*lFI`2sûY; rC@1AЌ>MR|J.Ҳgے{>45dhgqR>3V"tP v7oÊѿd+y"\r^Dl<\"}(~d 7uUUpJ`FDNzWEk}|mIm%Df7ڪ1cQlo_y}ҷ zK5\Usզ!svH1"~ᘐheO'+oWؑn#zrH*r2͟Jt{5g@ag@\\djNp#3rVԐo\hZ,d80B5,a aG},7> NēPB`*^.n}DF~KI@2$oa t2ԧJ7,+VlϱLrEF,$0*˄-1V/%=ix] <1"_=PVAhoxȳ[BT?Z z)<׹$MA5BvĽ:Njњ\=b0HW\ ]BG( dv(MnϟtWFl<_Џ*7㵢2-9Kz0+&lw'} cfA|Q" p/V'?@,wl1ºou{DM*y67iqz]k& fw;[-fˏo{9sKq!>AlAfA )T Z0QhF6ԺԈuQBY[te|UvwM3^2QLBuecypa6y|{Aٻ4Z܍+]4oj=K$Н-&chAP.ubv,&&;MH-i87^5,84՘-.}E'*к,eG+!ݣV9=u'D`~~{Xoҿ`tixmЫ F7Tç~hr["겶K?$?Q]d:z;X*"P\GAhNFOgr}CLq_F14¯ 1Cpye'6g]SkL ^V{D]kNE ivsZE4%˛y|]w\Jc•^7m0"$Hk#qӖ+uo`M5vn8%20gx&[S>z=BxEx e.bSܰ;N*ؘ T$"Cu1I- (ql y4(MQAЋzTAq%DڝsVgį F'Yqcrx귯מlxƺdY)Hצ/X,~ ?gcE4HJsO_*f;h zji\ߥcOzDx4nXY"+ \7u7)͢1,7R:d չ!]Zٴ"7M(էg⯺;]xSdquc)N%8uYi+7 #7UF\]IM+R< pn'Z e CQC#N.R,Y;Tmw_j~_ڀɭв!0ړ0N3MټZ=xcKcj68?)j>+ Q;~HJsadw/$+N& fQ2#?CzoQluHWSz~Nsװ}^TG+qJW+CQ4r}r@KYoOPWxoY3T,M45pV>>D=:ZX#v'!ė7KE3`HGEԎJe)"$->5ozfkQm ؚf3VU~zH:h@ds/G;:4 @_'c 붖{>d~OȎi[ߵ!ÿdWB<:5t!͜gO$|Ɩ Oo7p6I<.9x^b̨)5%i=YE -SK`0% }8Zu2WBq`gAbm FC#D ANQq ĦM66)9՗GzؾA>'sСCacPi'C[0L«Z JB-U/193Eb* *5Qvayv|W*Dv}!Qb|A'ܻhC# Q^`k੯)hBOgbW *~VkA'?i?4}[hPRȸbtɓ\-yp4 B, @ ,9n}CXKOG%ΠS9%ƺETk"q'm[DM&zFpwa n; DD_*6ЯV_ >F`P'nK1Ȑ#o:m_+tE͒&>>5gY"5T'o0/ӽX rا2#Az U}@ wƖD<@޷xEL#+QiC2iyd<\&>9.̣ekDz@օ_h/y$]߽e#8)Ж*P7XߍxDb6W+S mXH{4ڒ=DÂe$'P*;ieO] *cVi5g:79OÙNjDy*9VA:oN;eSwI1̃ݷҭxr?`A$RwԨ/6 T&EKMA8x̛Q]( R뜆x| S(_?^&ܣH]ə)W%W#ƒ-_pc:ΒGxe1H>_&hfyUMGfS} i!EWx@U5Ah&;#79f+]3ph.{kPfgR*#J_:Nܭ6֬_\kdžv i߳]\IYr>I{Cnϭytk^v!⠥o&o?y0ƺhK""(lz#ݐ {w>5凡00FzG DTM浾˰uN Z^R6q[@5baC쭱nޙkpӤ*B!BԐ2{ZKŖ%שgRT.j$I|zpvB]c4A4.W|BBnOuiɞ<-5kI/РYg$qq v`wߺq7!Qh|r {՝yOq;_a +ŷO,M6J8s&Vp>Ǿ Ya ء[/|q.&VfHLOp[63Z\(2D.z;乡Q ݻqV.@S}%QiQ4&WA'..R_V 2)ځT{SO`2Xa`1^Dx:/n_# AUK+"j M[ieu˾1wk Q^(*8ͲZMy${~ǖ7q>n@䄍FLvAG9?.2@M.r|ڝ X\dk.N61H!#V#,CݻfI]2VC=M1pjs9'۳*' v00vhتDy˘-fآ,iofJd};\* srρCɍNr xb%.s$ީM $8#wb)T8dlrq)[|]>r` |9߸߬ňA? ndH:A7f]1u"pW%AE-%2"iΦQqpחD%)#hmCs>BFo$!E6*3qOm0vni!!E8EmH[ D>.#O(Xh>ozmF8Zżȷ> CfzN|ĵUuM nx*ѩ8/'^E&pGԬޛm;^iƭ)r &RT{ a6=+̢M<&ӠeiB|J9듗ɯAҔ01AMOKb,GP=sl:4 4B8佾/fCrlN-ڙE/88jr W2O0C){Rۻ~,G8% ]18eLs|mfVeLqZ噬 wϚ=v/žb-Rqeϣc hSTо#ww.Cy &?kyĶ&+M6- ) Mm{4hi=NMOЁQ΋bo!qۍڏ)ňp㷧y! UbH (q GvI8^/51r+.yɉJȋq2ڻ>:0y%rtJi|sxBf\+ +-J>RojH42և4fOh31{J"Yz<ҷ\}:ЁA}u{gDb r,)3Xi bgo sR,MM٠0:\#kDJo~beciiR$T$K޸3],zQWRh6wo9?n-%!kAz΢j4%gElkSPG=JA2b/2VUύќ""w7tk]&Jᠡ(v {ЕdD M Ey;_P5="%̜ n$[4*6L6Jp;/L%1G^嶘IjRD[hd׀>ґ\;Fo]R ɽ,(m8}LB&͔ +>q]Cw:Ik69"W[19?2CJϔh:Kl:mDB8Rъ6nr"Ehsէjf&)nYZc㼻x$;I) Y>]~"s.r;.,fdkN(9}y}-yΣjPD[+IƇrgnnhj*YgbQb֊7&3ܒxڽ_TI0񏂡SID,HC-I∽)Xb*M4HXpl%B Tڲ0JN@ U>E"GU{?*q }Cp@!9Rl__ւ @F:NM'+mjmỿ7@lgc ,+tr-k:^J(- %MyC3sr29mR:!1̽ ]mBLVNPfe7xwK$=g^GzR?:16"I{"^9)vc>dv 2-?.RjR} bVl"am*~W~T?grtjg8{Na>Ɛu>8#t/UY?MA [ c\iHOU“F:a['>8  ܎NEC "|klSd}Y9tAP'cYE(jSI< ca}P4c_Q)P*yi:tDcl6U՛FJtYy~W-*=RVLjG2Ԣ$OPGo0KX VGdI!ѱ13'StH76i(n_1D4]!/HEakđ9V%5Nă={-H*SIiB>L6G=.*EhO\R2=JmlE!n Kю_ qjj{"e&VXbI?4h>q md{w ->ΚBJ}@_$齘eG3l\`l(EQɈw牽F Dzx b _? KwSbK[RMj/klI(K+!s*LZ\4\]ìYt39 VXioiӂ2Km<U[ѹiPCH/e£ޒTT߸kh}E߹~*69$:ΥS}%JF_Y-NXl> *8= : پ7u[+í#=GRb#bj@S; t6wCl)3b+}f]4P.dtz.YV\=-yT_o[ɟIMI~IywDC#* btdP=+'ܻb;yTz~""!s;8;Tr 6HGDnPd< "j8g eT?b~xo ?oݖ[5} ?6 {'lA/jT(e#tWa,𘴕^RG) 3;кL=Ċ2*h!nQjw=Җi\⍘L'EH6QI d@Z&^_3~xH  + XL"_1Lګ;˭S3qx5<CZ{m '˵o^Q46 R)`BeCv@w (5yHNoiL$˂ӮO% b|jzSn>èt,ԑ](p& NjuӪj%(GϧɩB:w=W$ej;qbi;O hJv̘n~S> 2~m2P[_agR,OT:sޗ hG# Ͱ&10w;~t(VZOdT!)&Lq>0H2{)|j C&5IUQD\E ؝YϽ9[zctUföMgI4PEOI!Z(Bi79jCu&;nV 0#Bqxzy ڃv+)c=Q.P&.a9XQʑ^XI4+s8S0t9ӨPB1 G.Gv'b Q`2!r~N|Y%Yt/渃]InNwfX 0ۿRQ],`38TAMBpTNDO9;xj&nATGmUHM kjN[ ^ٍûMC%IkfQ]9h8*>E*O޿o|SJ2 FՄRz^&e.UFN:5bU":@Ŝ \QM4B]ҀI4 Tgc}Ftyyj.p YNߙd-`Ț:m?pԿ5hw'_@1pvTq,Wo ϣ8ɍԏǺ蓀d1<7!J#PJ48,{ux ,B:]fxJc 7wОN`@{\8BgN<U|:7>(P+^Ym>vaҘ*] Aެ_;YMN;ߟ4.״0a&Fl5r~5(DSPqTuCib 1i8F+__@Y)X^|!Q7"9<{d) 4[7V=[e0PKoJ6dGUoPeF]6RE*ڜ8]HK~KfAeE\rs9UwFUSuTeˠmpu:Ȯñz }KE XpSvZ@>(+xi:3=Y,$K1>6;Q`P`~(yȲ3z&.+KTvuEPcf~rwW{8p݁@r|͈-Y3&^f0F pJY0;s߆/I, ¿M?-Yuxчj<+i6Lڧev ?MV2i,Śb Qa8L9P9"Ձ,_Jw@;>uϖ$ e|}TZ&32ttG΄=H  #>¢G~ZwlWf,r4fVkm'JS:!։]nX TU*^͛27`R1\sGy+q7BnMVIsVWr9q~%p hH OZrS7Q`./bm6 zm5 ['!-7MuT+;#8@@ "ؒ)tGp)Ufi[m9#b]^ry 67|}=JCVrB٨N zz:WUS=LRsҸBX%9,zr+q9I e9 fs<2˶9/:<21F(n|9)p]YQiXd*Cp#i샊% xKcH{MEFx8ASIR e Y.Xz#'CEaT>'լyCbG oc."wWb3,`~x?an 1$ct1n{AKixKLeN] S5'= Xy{ln+drjh\fyr7#EwXӖ.B~I+{ŅnkAS-?ߟrwp A0lwяxUoF7և=pQoE*b+Z 7؆׌{jk7.9?9}ZAAΘ@DAs#O@9O[ƌ2 [ m_WߤyTzlGkBnLN/{ X֘#@޻No2Ⴥ߶xhq.N/o&GF>yr g5F+a-U}?G`#23PiLjۦ-v@~gJ2^zRNR q`P{ >䎟B ك`p6N˓/M;Mjs'{V{j\/a5%@o,J"e!ƟY"nIj߀#8h^qnr~W`E8@g}/m3eond:^3:?D`LW|a|'ĭd&-4jf'|-!#`E1Kp3}E wb,Cp,;cV8`÷#mZz4~#pEi,UE##P,s X49 s-WG ;OmDzkJ520 SzMo̥H&'lc4;Ԓn׫Y`@'?#AnnՋD=%J߇eb:%"]*! T$tH.y_?sNa Y>q}7a9< vq eOjB:5Ĉ.W٧E|")5||c]587x'RIju<?& DRg}G~/ Sx"f+aU@ jH9PWA-da9)-F_,is$TzF5QLI"<2RmG*BRQ=7+M 'ȁn^6C @NB^{6m4't˜5Hs} `aA(Xh9 [(|!)@le'w9:,e/-߭R9hPֳVs: u׎$ڭ^H%Yяr c Io(@a)i\͕JQ\53ቃmY F&26)z_WZ㛊qvHq+ Go33$9vQ8YՊ(&[*nOm Tr0A jsXTe-bM:ZhyR~5^DbҎ)I sGՎ[:dV]&R|D8_{IpN ,aQm+Egj/,(9=nzAEPb9^}`6҃(hclSՊa _-i6@l/؁1jPo+O \bhsNBryŶ7ni ݷ+[|VfM*_wB/dd̊rP1!\Лs1dKaQ$i/Nc*&fgnwP.Su-6'G[41Vq.np:qs *he= Qd| P/co"D$7 y[;4~3$[B:Y)V+lb_.oxMMSMX-\yjCW"S4}q CT-~1ХYi~?ߦp?Ìgŀrfim0f~/gxV\oܨz6<}F=|1.>qV\,u7W$2}8n@MWb~FZ}0--!Zn$% w:|h-,aaC4Uٱ={[BVG8`CI"n>UF◔L:?$[I߅]cPldFK*)X$,/?A;RSJb*!;9yڵьm1<`G$(,$6`l yLE\{YJҏ:QsO|rK5:Zaa|r g2]mc=otv GtOrށ2LX1eO]uA=(M>?=<#iP Q+!Ȋ0y2tANEOxFWV caR1'vE M H=>$']Iw{Ctl l rfzæ=Kp(Cd"d H$k hDţw>ru:Χgjeb})6x\ipA#l][b-APl#L)Uwi#u,_ցt8JP>d[`;LYJ8b&~M_boV7 c;5bF: %lm:eˇQ_U7aJf v&`7:+ޟV4A[UzD9R+_-|zCò҂VuxVZeu8R.?/nFۘ!D칫x3G5Ō|Ay]=4> @!vuC>_by2oJ g9E2tU„^S"['~f%|t@5)sj^}Iw6lD-C]r)F3NE I.*(hlЦnL/Ƚ,!#(v:xʀ}fF3OOݠꗝEK, zFVD.LBiU 钋Eꚵ4Y\ȼ#6iN*;CHmcrFTD}y>_}FzR@ۮ=}dt>=A&0I It=lI*81DO=HrG۩Q 'Q9y@:j 1{MɆolYja𴰔ǃTVOkٌΌcq䢍L$Ej!|'^ޤ/ m_0tnLmwH6$zDWncp"MBGg;%ɥK@Ǯ0JΖV<B"#M̲tZ CBWV1q+b47g {ϩuVj> ¶5pjF RuADE< @AHzX ?cZ"%ΟvȲcoPF &TQ Lwv*hj))kɊ/^St*O ԸE 8mϚΘ<޼P@R>]'8Fxq)ըs$oPU ˑO~@eAW`JZa@E.__dh*Tev3ĊtRWĶo(> @SOm`ÏfфtSԮ0 v~!{_I-3H8_\irńUhDtT g |\ gjTa^,JhlbK4Ƴ );k͕MJ@ٍB:fސsQ/陳RȃF ;/Gi(q۝&FKJlIra.˄0G"@p!4I v)Æ ;Czuؕrݝ+1%1LIkv g@cYʑyhz>W$Xt}˪Hg/*l j} )"mYn\%丳줞_d+i:'2t?]KeU;[e!Iy1DZ?t3-b*Z91{ͻ4nESwQ=Nl\'y6瓱!- f'/)ۣ1v~UL?z 83p煒'1{ .a2O2w c`L lp~,2$S_v8گIɅX|jj:r^o긎-t6Pol qlSV_W<6!>Fwg(MTZUmn%3ݓdwyiD;46B@:E"fп:wR+5 N j&U嚝]&-PvŶMj}܅cE5v. f]LRq9ZT1'?HU GĴjFNVZG! -yEA4 DO  Og0uhsj qp.2EMb3`;Wy1dw-4874g@O:Ch=W }Em&M&}|.Z[PԤs(Hl1&e  7ŋCxu:kX\IA[a-wV88%o޲ɂc7mffLn҅ yXG u^}R'sڌ/ө7`,,ߒyQT?hdÑZ;VP:g3-TʡeW?l^`Jv!jetLXwن| R%lHU{/ϕ솀t2p2 InM8ɯ$է10J{6?QxcSR\Ȕ>,ys $I#'`m8mg1'#{½Pà6b9nٗEΡ]ҝ&йPtdbuc%i-Uab8<۝ m撽ʺI h4Wq4o,;ψ]o{!JWMq_8V-,9 <0){I?ٰmu Z?ч=+vF ǝ&*:FlsF#vGaR PD=$gYZ7zXZִF! P]ŗXi%L&Hd[\6 `Q:R)$y~JL CkWo(0pkI^]`mC&#4(xd 0FS^jo-B\E"&b߸든GrMSM~jPiWvFsXf {(RCF)|pȸ}ct #*aLXDM24|cD͑b@)D!@!5_0/oSx*FO0G'r,ʊ;$A.w-}\9+q|vU爭NBZX p ?nֲFV ;85^R#BwHi ) "mtʜ㨅ʃ1 H![ M*YOu@#Ia dB҈np^06X:Jb8ǽ-!lDqkyZ3|nO=/FjJ.Ь~YgKWpv.=0$fk&GkT?}8i VAvKy[z&75<j Λkߎ;;{1ثZ!SfMe +Rw@iy6ျTa-Z֌+eǫ+If| K)tgi&YQ+8Ȩ}L|:Ƈ2~~[%gNcb+M3S4èe[IqRt;ʅ{ŌCyvۓN)s^CPyzЖL̵NK^"l!P4z~y/7a6O։Fɲ󍦫̚61[uKSew%AS#Vj6(`%blvҩ ^ !s^>`1Nvm>=T4!W*UEԂtɓabxE:R .LMph|v=^\n᚝^0gL(d_C:#7 m8l`;qXY8> SiX*|mGЩbKBKRE$ljr8 Gknn|MD$b`6M/RV6kFR؛xw(, 5{,vcbejleZP@ VILmrigohnWkvrSK#!:̟顓&Oak]g%OHumAzG~T+26j{< MO:FiU!5hLjRk J 7-Ùp%:ˈρ+iER~ouSh6o-Y5ZNA?2H~ ޕgYZ30e4561f54347f1c6ea65b7984d17ed92de570e69aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d 0e2d1af1b42cf5c1830959895c5d8badc50d05f59c19e46a384e0d34b9bcc1dca12b9c54b5acc8c3