SQLite format 3@ .0:  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 ||H%, t ]/]HOL-Analysis:threads=6elapsed=355.638cpu=1844.788gc=96.996factor=5.197zXZִF! (X]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{_# ۨE!˴buG=8;(:Yr$ed\h/3/00_:}. b0n8cOLE1U7P` K/faStpaR^Rs#aؿHO+eOk*t>? ‰MOw'B.5.S})u*n$UVrON>< XF hf;p {)u:d&+u Izv)jiwYQ!( i 3o,hqn $5{c\تg#,vw`gzf_q7;9<0"EC\= TE<kǀl\ٚ{b+~-:ϽV)kGURgu ;QΦ7P'Yw4$wG]nW#|k}˱ QI3|Ϣ _sir}66|Fe-lߝ>ȝb򼲭#mӲ#3MO0.j^^/b2y4sպC}Ӛoّ{ank3`=c9 NT @ؤCFg=qPzCu> Ɍr)qN%qGޝhS_Vq lˇig8%_L 1w]#xGPFoc!ipn]Dɘ"L0'a)qbƳ݁v((h8g+9{0~ Ӧfo2a x|X -x7Dԉ9ebmdz %YO[Τ1Zw̐G:*v=sJNkFA+Kw $GE2*V?YJ)x?j΀ K~x˰7C( JT$1Y\yO% TRoO{_"~ϣgM\ta-qO8p>g!䂏zY˜T!zL4fT)v& ̒ ,tNFvLj r뙻Ƿ*-#KA@":jȄx$r_j|U "ioSa87.av$}XP ky?x)*;jHXaG5|DcYzcT 38L 㙎6PБKi:A} R>QVc #Cx\Fnʄ,!Gugڌۺ6a:{V~ g-̫!]і.|}B\L:t֡B}p6)%)G=x "u5uu9;=[]Sv0爪*s53uvRb? B)lv^$r_WkՒ'OH;%s5sq7dϪjR2Iҍ?9K?n;䕟|߀BIC(d񏏡UAH(UbCM-ź6q\fm̗p(恊 gJV! ߇,r x|K]zu#} qE3^ N.Cbc,JqPzCl)`e$ go K]򑲍&fe-G{>)깺4aYڀlq4_`}):p}(H[#^K:GsݏiɸڰGCˎFh3X6?0R2~la^TQóY5LG֟hpS,vŲY\F0 CV_U*POOHjz{&SoN>-Ⅿe>= A}g!7g-,\G2Ao>c(:׺8 6*}"|)o-Y#B'2HDm\@fD;> dhZx~ftrWMd+U]N9$\0wNI9D,!+|Pf/Z~/y{|}M~E4(/ZޛꕉpP?Ue8:#O[mXGa%MӾy@&7lgF 0`>vƐgE"-"2%_o10o|kӪVֵ % HOL-Analysis  ']C ri+Yv@JI s,t$tI`MDbG蔏g|`(MNY9hsƛkNƮOݵIiţ;4C_\Jx,LD~I27QOrt,rmpzOeִ̎O4\5-Gܵ䰚d~i] =OmMu fxyKfŘ-Q䃈w4/^?aͯ<'̛Jkxhu5m(NI'MbH+edڅ|hor DI%GCO~EeP6'v8]RͶIˁ5O R&Rnx0 c^$wy<9'Z?'ܦ*rRUЛڿX5H 2Bv㌎/3G| ɡPFpKTq@b;^/\ Jar͂>JN%w-o,R̃'=xJAG/)d:}1Ob>e M! Ե]~OËߐ`dq?ylB91'wa=1) GADϫ]!갨q r }.m3L%p_sťҔ_f2dxPv OBxO.ZfR7V8),".M}RlT9[ߘW^`$ 7W%l{*rݸk敂FgHpG0M%[6fpUW_A/+e؀pbEq2ueԓJҐfzt̥bMwXo}Zɡ{h1Qit%oǞ%t$fGr$@Hxf` {x"&‡EpRT:MӮ';JeRXH4+]m7-6?dT$Z%eƯ8:W k$ k &ގϥeuŒ9KΈ"W!Tl ?WGUa>1~jmb5' L2|g^u|rs_T1&U= 'W9ғElyz)FLvRgj8L\4I:y b#.(SFF}ҝ:@v \7dq,k1?$۲JKߜ =SNcӨM585{R c549#E/ڸOC$LQ''N V#EyB^ cE>Q*A,f_`QZ{wOvc1S wM{ؤh|2W/AlsT:dkeTwdjۻo$Z뜇VL{J0ZdNysV@Xjʸnc&Eg '9Ɵ[RKD3Iqsq&L)~VGM=8u߮i'2MȃR@en{O֢w_.Róu_^|=1G'&͊R:InxE[\]NJ|IYAѦ_Rj>X"+E?/'=Xdd jv g:G{*fѽ +_yEɾ]} ۟P=Z]O-w}@| _8HÀ ۬ua-sI ~j#:;n⯴jE`fWv.v .vލG' |ܳ^4z8J~xY[յNTP6MJibkk[cq>F"5ޥ vMUG. FFS0V,?sW8mKsJ ҆_25fG)aORͲ)w>s@pKL[ T.fGqlP\ǘ`2< 2iӵ&w_k9cM'iqC:\[̨_*@ ]t@d^ u}@gm&Sɾ^چ:}4"$܈Xf ?5E_ q/w jVw?wJ䗼$%M #?(Q<62u{miz*JV5.?g׋Tj(# |&ScZ#EʷZyHM-*,GPav,7gߧaKuAʻ):k  ILTeNAmPVu7a<4=GA51'`VJ:,M1{PsJnWu, d.˸>rmL*-L ƍȲsy1VQEX>R%zCz|mLDC.7eUT_;RHaƗXϦArJ4J6m˻%1 ӯlA9݃F_bT VPxgf.=K DH1(r K^J姬ǟ"n^7=+&Yyn}|pXo?ChM<1Yi&G߽r]YĮS * k^26ql[Z,v$ {#PGtO woU(aaZ_t%#w_ dO3>i?oRFͼ .=_/N<JB=~I5Ab1 =<9j,G{)Fu ,'u4S'!O@ ٰ5wfNp ,^/KQ3KI⚛/?0SH0lo0F%PHջ_5>\Fh0ko.B\(.O{=6NNPWM~NMMN4to1"`:dm)5j׮ZԲ < Qt .9h2=;?lhfK &3 [vu㼉G[meV0bEы;S'K !.aiz G>Cג`q6 )zn9}*?u(OIІ (絥6Z0%w&Dφq!lg,P r'HtXaxQ4\,DIg/G/&%-O}GCkbiSM%]^:&@p Wb!}a;Iw{\"Z+lV=|agf|` kx?^Mi>͹n ةil$=MM/0rӐb}X|lwnIbqzLx/l7( vu&Kh^9I,MyX]Rvo`7tjwooRMiVS=Z[ IlZRq?!QAa|u`ѓk)YVkyh-`lqF.2V9㳟~VߦK[>lwՇHf u0~>jը%[/1>R[nF(N)<>_Pg4NJ mq&c^C<]jX#:Q\sE㽳S!uqxln_'G{i߈6wB2屷;6Vn~b`zz/2x+ LLWj(FѼ;MSU*V@~GSKbA!~漺f]rհf!ZukW2:OAgX6V~P=9ri! Mdpyyu=l4s;  eo|}aUgapx&Um5$y۸2oO4흪4 @ŀ﷽-v0. hk?r[:s;,eeb2IhZ$'qG䳎\6&B.H7́2[:8`K-YP쎻Gͽ{SR?f--vӄ 7v5$SDB]8sI E.RP{-Tuirvʈ#LnL߬"7dmniUwiN8D~W*h=HBs ]> "de}8(HXo׌ `v 7hPPl'dx#k#;Y+c[fiHN|Vݑ)F>W7T# ble8r(v63 P 0aǽ >PdbxҊZGjjZF}]ZUoɁbdS3AƳ,Ğ W캺G}A1R o1ƗI)Wؾl!HmmcSe $TLzʣW')Yb#03a{kS Rȑ.*0sOr\5hÍ[U^ܕվˆ5% Psːr]mos}ockmT Ewo& $a2*`f1=%-}^Bŋه e<5LLinIMGsh]rHhMDu4Vx9̲ۆwf{: gt{ӞM=Hh9u=;~^K!&yC'͟Wt,>>.)U`Cf)Pڳel9dնֵ,@+J<LFwrT鯏矷,]R%0&/<cq(&iPu`lk D]_@"Cf"E"Y`ȬfR<4꘠SH]j-֠*=pLϓtE ֓6*QdEAncs'/NaeBe$ )C  y6& ~7Ԭ/a9s{bJ#'èޙ|M'D>䢣H%j}B|jfg}4u["2wn@[vO7jPqv#7o%zh p5ωݑbB4{m٘5p%.!ݑOuGJ,*2H8#e#0at6PV:h2Ņ+tV9Z{N$?ِD9;KHK.!Jʔxvf,Z& /|9݂/ieEl6R3=2fa1%^Ff (0R0l ?N p J0fcGu^/ BL?M|(1S,}hPAo'7l܈!/gvV e.:J+e>] }0BӪ6ORO/hno`[V "^l(/N]T?ple]9J8, {W):<\1 ʈX:x v ʺVN+ WY]*ȝwTb K$rDm|.@7e|ֻ2jwC:wtGЯ_x49 )#O23bV9;fQ̹#v6+|_L75p\8 t O~':[ժVyC\H48y6EA„(z͍ɚǸ}TB@3%9jKN5?4'вgûݍ~Pv" 9UWF[尟*0a; %NJp [~*ոp+8M>yH'RL5>dxءxU_Y5:^4D'$! ͢$ 0o//Q` 4[`wRCZ3iD2l0F*{6LEwL4BӶtcyđ9Z՘!uלAL׉ a2m>rVbLf;[nhj3럩N6X.>qGضN^O\h&\I$:AGZm-T 2zp!DGPcaNaЀĩw8_1!+ۓkl 3>N ?;8s@2=Kc#l鬉@͖Ό8 |U?Wy1g׽ ԯɜ{D轔t糭WI焪Cl+``t/[d0Wٺ#WtiDn}sL7MiXQpZlS]* &TJ~0h2xSL9ȫa(KMi`|C+?miz!!ZAbf@VPUt{2ܒMr  +-4a]v861TN=/f~qKq QPXF~;6L7 4IJTC1J휵dC?+0mv & GlyGe#9/YT}uQY-G,8Kw4OE㞵X-!9l\˯̸;)Td!F\, |h?k,=7mտbA.5 [gjըN4)!X) LLpLRqUƎr6`rO;QU4e03hDW@[v O#SxoRI  c.dV$$w_(ː٣å j#=IL \gmݲ~@폍3L> /d腱P 6^aBpzu/F$oOX>é-dʂ`uabyncj:p֤ScJYQTč2-cd54%H܃ alh1ˢ #Z6đ&z(Tpկ'׬f`p|v#"1V-2粘w<~&y Z !K(V,OۨUٰV܋ѓlmEesM +z$G?F1֎Ծ,e;¨i`bxxg8Uu/пTV磟wfI A[VڐQv MУkb-!q}G`2S& 0!92&tD [b%+EY]oj{kѰ_ֶ9e>wwS> U}޻IrͥMN+^{H96l[.iT Hb'|mvj- -z`ϞPϨOs~\9C}Ϸrm.Ԩ᤟ٛ*$XFFSHѱNuב)d3 $F$Rpc1%t!{?/egS$bY,w !]ueygj51ˌ=.hJ:6^/[z$d.'O ch4(ԡɩGVtm:C!0eNشqjM 6TʿO-fbQ+_Eʍ5KTS{Q~Ԣm\ې.pL%MyQ#]LLs`ƒmS\{6vZq=.9ujut*~3*M|A` Lkp}2K4~0D`O2Cly~\ǤfU27,GXT iplR2E//Sր"="*)hˆ/Z9!D2<wm=oJ;[:_`ف!vs(>Syޕ _oa4X'nIY5uŲKfJaNw0OqAFNhO@0I~pI7JbO ( ]q{w>ȣKieeb$i *Op!;tHZA `hq7ѹRgWѥH]N']=Ǥ-Կ2JxK4欃gA5Һ-Q][@t`E ͏y:WHՎ q@jlmlTGV|9I hp 15Α5^R T+!d+\za@9~^(Lmbqk5hc,F"ww[##{mB<[`0"EH4 ̉R0:"XmU"ugK@ /Ϧ S{T*[g܏҉G`>gMaW̐-:k#-j5!w;$g V'@5sreZD419rfՂ{J͛xibYA)-ˎse-?lg\>B>Ӽis",d9"Fv{*v[CDVLKZEK%1jw((WL󣔃+!!VےףWK@<_psɠ%,$ @ܧ 4;QIw 18 -4ǻ" $:p0QK)0O^T< ,Wp4Tj`}?VU5?$st/Q`s8EWM VTEEYx@6eK/~!97V_,|~scҲR QѬ|&|OX'R2KBQfp*NlqXCIz^ѓDK(aȶزWtkY .\XK%fpy3q9IH 04+ ,9k{\dwgf(7n2<u P`1qc\R6p6MBqH! Gߛy}?EP<:u> keG#l3z 9Z"!p6"K\Ž$RCrT]G L}% H{-&G (ܯ$~{BTn6#fbmn P E"s$[ Kno#MAw/sN;;;eEuPD?8*QIaz[_0'r!D܆/Z6iu;Dw愐$cnҦL]uT2b2 4 UX s@XU%5Ηj{wdL0!K ũe@FHPwl^Z7=o$1M xZ=Ŭ˅S.Ҫq%!ǞBit|e!5>ˈS''D$4#wq7_řl7C3\"L(/h8#򟥎RrxyKbK!JS G+0MڃzQblgxvdc`LB@YDEDEU<ΪCl =HE ly"/Hu0*Y(~Siu86[;@MedX99o,z5JM9|dhx*Od.7E▉m#41B);S~Uh#,*R_IU\&SK&'qM`BU*1MSr*+R.@,2HN2P<@~/__A:ʹ6LIQ0+(?i[oSх.3wF-Y~^D0v|Ц#UؿmյSܿ+⠗]{4ι=GWoD)xei+^qya -,l[Yl,?<=X#=#I&piN|n|8V =6;eK4 ^XmIrR~W&؍J*A 1ՌV0O xc1(C^ͣ4 ]{OK!8(iDoK~?'sgF0o`6b]ʏӡE׾H֖'X)ngfV;Ln&׬^kpcl]_K c.m2jHp0 $R)8\%J+4]X}WE5v*N}v^uFsj So@ěKxGpsm>Ζ0g ZJijЂe֏ &$oу[5%5t?sYO+**ȁ)tL3գdq7kݎג8UGxk AWD)SdqDy@/=`G: #OȍC)U:)_cx4_Nl)4/RcdZڋtLjx T둨EnΆL-").̒a+='p(=ZyPtJhYw)K2GKj;) bS~m}]ҞzSF^$y&/x#p(t-.wql|˹Ak&M%NW|aM^*z ZxG|lE,m#mMQ=p  C`>2M`EZReDt~aPDFA^R=5 :Z棍D:h gL0UʱUR2+eO)^5:}69 0sUs 3|[^ KC`G|9)۬Lu\7|Qz>?j$ŷxbY$3Wը!z0H@s:3fshSHjR9||u0AJ@T/R\(*3P;Kp5@Y?-ҧ$*Pq|8~͹w?p* kcϔ"J)v6H2;tbT|vw^Բ.X(뎬 hǻwLmjꀅѬ_kKj1}Kki#6e~@>1LL> }w3F'+Ǯ-<;_QR+'eJwiOKIe X=GfGw{1vm+ < cZTq}QĎ/n%& vʅ!$\7COۼ!bx"Tm.5*4}Kz6?,%An\X>M"rY>vwqr Y(%(.H#x*> Ϙs :D| Cv'&I(ڛ|b+!Ӛm's$O YaQ y$k ԯ$~;P݌,qu;Mq& Aq8f9vGD;*z-Fcwd+Twv_3.הGdN3;@u 9%ڪYM43%\ײ}W; \m_V ~iZJiy>d5sxrF_q̥/6>6( ,P۽eL㳬VrE}!|u^ZT1 "y*y="E'E?n@ov󓈜-MT qDbVY*sʜ6kJV/bqFZ\&z 1etO4>μ,ov%pDd46j5[.$_a*)Ai/VbL@Cw#mc""g*INpcJ( !`gQ,d|Rs@~{VP"8Hx}y~Y&$@mIٰ[){~*ES5 0@|0LLr^zxRa#L36?u;҈\o~0 6bYP+12GR"fVm'* if,혊.TH{dq,oXPj[FN`zo,0K$4"|.)c,-@qʻ +t׌yAHv}6+/777ɷ駶i߽ʳijgknj@l)ׂ!v!r @&TH< njuM8 H;HXJn ϸYǨ;VH(U {\}GvSau'@T4d?vMQ%ۭQt9*t" sWj24kf6JV{;x ʚHk*<Ӥ~!Q!yWF2RޑU0ܫj8p#ׇ?M᧿QψaN;Wi_prvI*Ϯ:0@JG d@] @L8xZN#9fJψx{X wdOmp/5tmM_0jfHjGδG E lv(㰗;ExV6nn##\3^$MF\i#m9-ږ;D`S+|pLS+o<<Qͷ=fzWViigQB..Swl0sm$vXZxNӡ}+YO2mUPW^ŚUg2wMEjB5T}]a{8O9Vr{!SZ˅x]1ūkwi)Yqu2N&RFc sZŪܳEK.61U%;xcE$IeE3a:RV23:U#@P(Dځ8LdehЮ4GOFFÐH3-B0XJ̀Ƚɖ;t&r2QC٢gV BWZA_j"9="FvGqMAIS۾D*c6kMEtSۿ+hB7"q$2Qr%3MA`>Ѽ>4Mdgk$10\7ͮReBzNvB5[M핰Ow^pXѲip0M`Mllm§gNEx=:gmJkWS-ě4UV[2u.=vꁩv4krCj{@zB7 3]Ya T$ XlQ9dy \|}񾴡5f3s(>@* pWà-t60;9KٯQ |fgnMb aਁhks&`/CS(R\+ߙJA[2RNqCb~z6ȟ̙|&^%G9upl?4\\ 0-Lu1?7eTx`Goy p;hr m.i*=88&J͠!:OܾIr4rZMޘf =Op>ÑjIeFV00 ѿ¬- ښ]$] qӦ n P hSoΰ"+&?<<5^1CHsdVOd&&,]I<1>cGSlq c}:*+*2ˀBTWiq+ڏ$Ɣ<)9BP (WwLopD :Ҋ|R>5xfV>mjm!=-MSp+k&; D%LyuF8Zx-Ժ`kDq lXJЁXϠ榢ڕv>^KCEqʥ~ɸ-d q"D G(8>CN7bs ")ޫX$vc%KR?'mH 1=\ü8g\9.3M)HJ|n ⃣)ޠHQ55@<<)  wpa;ۭ>?]rO}H)*-h/]r$+/p2>B;@b(]SgYZ7zXZִF! (" >]ŗXiɟ1˦r!cHkMeBd4>-BS"rtS_x $KpML1ahd\'դMۅOPD!,kk1'Ѿ i*b _/Djg)8bm%m2-L(yi_?ѵG7_! %>HVru,fP8þ.eև1-^a@wQ6BeB KE#ʠ1'BiWDm"Di\6]/h4 # .ows"+tk PW_΄X|.҈7$50g;;bDK-->HDͣqN9^3Vr)ׯ˺kҩg%趭7\۴Q}&$ϖRe;GbgcMW 6}}qPJiE}CZl!R0HoEs+YKEZ5'wmާA܅dq(ane=X#qs# 4^ŻELT=;_]ƊFm|hREA.6ZZӑqŅBSfN(T$$X^Q(nrK k&|;QSdu=BA׀Y_l!Y { H=c忆ytq)'.? kLϳ @̢Ӥ\'5:qh)Cx*;DRӥO& ^Iaf &cz sfat]Wn܂t q">Q2U.T 1r$*5zk뽩xYM=X0dmu& k4m:1w'Pʁ\6ZR^'1?mX[]H'} YHY+r`;|*&3±nKtnuT,WhI 6Fّ2EEbR;a0pې.!ɛ23['f4χxa`(" *¦u4] iD׀FHȦF ʺ\9S%'8R⊛A7WW}"*^MPpuT6a}Zɾ2_@Om>]08,$P/PgʧgM 7 ,med]qC[S G(쀋ˈBK vk+&v Et#Ogq/LCa AeGɑU|ٺqe ΄Qk^rD bztl1) uGVʟNr:_gH wcɗ D ku< Q4IL7֕my6ÁkVҏªtA5 ):!`/ (;wR{CraV&6-0Z|VBt#vLa7&}=!}_6ě9 ޤxWq"YS$ Ey ؀GO4+\l,O{V" s6 @3Txdzka ?~Iо`&ο/;f,7}h H b=b=D αs[p udP?96Pt9%$ {L?@SۻJ"[oq!%[R.NjPރM~P?Dx{yF0GՕSF65׋&v1~Lᾍ;A&u;1)!I'[pCGgEYWސDH95ӣVZ󮟨;ϳD0|b5)]_!=i ($.9rm2ʵ)IDF0O>/&:iNcFƿP`Ze >K뚟 jITqw, C'(w70V$T`仮7*48+v*>XPc-ntQ%cW@ EIơYׇaٕ' Z8p>>hyꎴZMP-YgYZ7zXZִF! zq]ŗXi%GQczuc߱!%vo6a@}hScn՟Q; Ƹ_̌h i0Ջ<:HvR6_Qe4)edȎWTΠСJuH4w*})M-P367VƚY%0Gy?(i@)Y[gtc'a,:t/dI 龤xs"j]OȚNt*9v+E8:ob/sn`OL$@nw㙺4f8_КFg -wRj}p O)j, Zy(uj#M;X T?raS:5mŬO Rf~Qת}x!EZN;DG]0U ?SÍFK4&tщ@vK]K':^kN@EyM6pFFz4SRIS;z&Gِ%5AO@`S|$ٌfYG,eB\eԦlhSyÉ9Z ; '-CzHIfh@KÓ m]U[!rР !$>!WHُD CSնCee?[@K2$N9f5AzW0@ƛPekjG8a$t=<@qO>2jhv_q7,&q_ReۗDZ!"Ěc142ǵO?7H`uRNKl7"f쌖,&-D~[&5S*e2ǦyI K sÒ5 ڊ)h[^bq ;N=\kBtE 7;ӰJSim'֐*[$rlzkzfR?P]ffSR΃.шo3@n!z]k'&`oy%3FUI^w5d<2,kXPjY eeUt3aJd} >sVh+|iʠ?%5B-9IV̑:Zw}]w~k4y?yUTՀF%Kn"^֪F:ܡ)zpz`ITاIPjc8zb#~c\r}̨!3؆$O|][ٶ5作Nu|ݑˮJ*3i J s8 Obtqpf*%*c,̭GyJфL]8#n<#=FœowoYz"UY ¶Xs۪L΄SGwV9_F8e>p-"Qhhzq:b TA`&va50#y}Iu=kcH[mEq}Rof/ó =Mfk궬a?&tj}' bv8YugW39L#Gtuloo xks$^ N$'X`!#m"+INF%ToO47'E6Wo7f!UM'4v oB 4&?f󗄩CLTx)J`ٸv0"TwZ-pP1ogB}>ʺ{m]"=_W,8I"tz*dHK~ i ): SV &EYqC(t]C#r~CH.Ϯc#=s0CPܪpGa Gnp)3|`Mep^Íxb 1KȺ΢Mdђ!<*Oi/sD+~Q(E,-BoǍuG“+FUfImLa._@ 7o ͉Ε= q^rKv"d֗hk}諑p^B+r1z4L%$ixSZNb2iq=y?vVp%(#ds :zƮQ*K Л.L4RtQﺋF !u-~$R}m^x+\GPM座.|浵 eaꜗPIש+@u!BMw&X 4տ+wÅJm=y$K`VY\X7Prr%">mniG.~hQjq fX-=?Ѻ-/ ($3{c̽2 eCRTwaD,ԥt"CZZC!ݯd{^ #2;򡚡kacE:gWeqgkÆ6숷wp ! |Jz*K۷dL[G7ǂ5ڜt]"3 Xpx|S4W+btap!XkrmL>Xt-+CױV԰8sI_i 8^>5OFPryS\6_7+`s\ %['*)/.fD*t﨣̖XPoUq[66ǥ˺~(|Oi;<I "uN*_e<_,}oݣX e~8] \c.j]vOt_3#.BA&Նڇ`6/ˈ8}ziK"JAf4&iO\g} PЀxH2-: G+8@XڠU6QmgoJR)Ty}:!MP_SNE7̖JzNr *oHzm!~ l>X֯`{26 !K%W3՟$&ӗ]ÿ/8$A>rR^OÞd/OdD[gV~ǁL%/ H/ڻ^h#X{ O edwoBZ[Ū3gNE[',^ftgъB83 Tov_(sBO39J.6';:_H֕+nA>EF %FJKv Թ vT.Yw,[W7e'xkǨ14n!) ^}Q*+%A ۳Cq34`Ѝe(D&4Ʃs}(Riԕ}~m̰x][񀚏G K<3WA9]!sO(LNn5uKLG.hZқu-ྋPe@zD>@^ x^ڇ9Z*b azy%K,5=UO.1aĮ>?82H[Ja~ҋqʎAQTx7%'Ŧ1¯% P(pQBr>%}g0O4zTK8G ՞~9EP6 e!+Qh=j%gk9 <#;V#˽}`f'MLDm8Rp H#="-hcFyCY 9AWgA!} N;Z)X*L\o-98Q|GZAIJ!S?R0VܐO3՝Q:Ynqz8S8=MR˥Пp%rt^qk *w|_^&<ІujYiC/?bt) FHȮȯ9mWzm<[ }R\=˱;X~/\V;Zj" p`%C) {!IPY!v1IEx?,uddWG.m_day8.VF?vPW=Mb)Htd"qړv`ԾZs[\1bP!{oңCh?y,Бqkzպ޿ i@5l&>'O5d I?WH Q~DEdɌzuVE%"z~7 ]r~ZXt8F6zf*H$E++exPhs t4~k1OMU_? ރUlO>v džfS6 x[x>/8  _۟t :Tc<$J)[$+焯&q/$,|5˱{&:%Ih #f3aN wkVEp3zIjD܁T!BE\rIQT. 1`>g(KCY%ƮZl~mc A`qHؗ65ODPI& 6m`R]2V/ޮ [ʯ|9gD;5 u(qj%~RUY6zN&u ޔ`kYQlS.?[Ov]WOdatb糒ѩ߉s +ꪎ򯐜r< DwՎҨs F@MS{, tb \w(grh#,lp[b;?^`bi09 f]_̠8A:I݄ Hpp5[7/;CN+G3uقp8PRO:(q^d= PP*1\8ˆ9]dR$_U &e>xu{zQT$K0TXN"t2x!llOz&DhǠģֿ89+1Î|"l1NJ}o} 4|.OL҇$uzhtA4 PcW;>AдEB,0J^L杳s8o,!=bIb!ǒ i1>A0Ee2 UA G XNlͦ-j 3.(s. WDcZ2hoF;H~|"[J K@H8] lvsWh x5[!zbV=<喇c~4瀞_A 08B#W$Ė?T-x>.} ľc-m|FfN.',&\[a(Cg.S}ĕVRCh2:fղ GE3v9+Jߜn9*W頋QF!}Ҥ6{GEbM^yUtA'iPx֤y<%4Uw$n pt~5p"d0@ h @LV'"ɜJ ЊbHkMqK02^Yq[}LT2\PjP[K$⿶ hUyц{fP6KSg ˏ!/cĠEvæjRmOfhR\DtDˆ-ݪrg;ﴶy ]j3YLljJ!+Eb{ρAu ˹y㾎 '47Ls p઼S:'G.69-NАt!+ Fp.Z IuVPSK AlVw YEbao:ʝV\:\A"O_gSخt\%cFo;"r&ZM&ZN+9mߍd5F&Ewu֔eBbXXaB2uoi V0UfI7diqd%,Jqz.ujC xIuEoL7%h+k\d1<7lqAG}Ir .J;%EAãg (LY}=jMGo;u9_MB7u6tG=ɭ[*B`fkαLk;ud ~R \A 5xSJ=s*~^ vr$\ stۈ\ J. {Ht(;ѥ=>yj̙0~eX!=F*h >H㥥resķSXڞ/Tﹺ;7:{$aa ]͝Tr| 3@?zET-?S}:$`j? mRPEB r'CtR_,΢]}a~"!`PgP P=;L6|ž/,Z^~KlټΑ\ц S0O2dKc:ČaiJsm$&iAUV ^tVM9g2xF#w%4Q!N=LRnjkO!͛H.WOeIn%2jA,1UA'r$ah-KܣH`#6VrqǬѠ+8QwP#J]I=ʎ|+**R]OW`>%ltEӘFԿf-2Дt/~7ǚĴpB6Տذ8P"?I-|]DգR& ;*ϒ > xl"/O>iw|IPh\ w ha0}Q5-wl͜WscT!Em340y ~(ϳl:̬r>kqo?t hĤx`hD 4+ޯ%]piuփ R=xH@X3ffW$'HOioEj/g:"k8҉bسVY2RZ1Dp꾻c xkЛ97jҟI 4h6~ uGm} EEXfIoj Sk/oSDGc){0 ?vx.O5{\llt,\Qj&Fb ɔ`?(mUe4:g{喤٧Vl2"538X%'M B٨V^㾪CE}DbrEx oYoM%~8 3| 8y. +|ƅG| .mۮGQ'`6q}O>g^LSR5~.>2R ț^ 38RӏC1E7Q О*D#-H1l=JlOӫ~lq"W?:GHvѠ%vr`^u*G!5A*-z^;^]b.^ڻBrFCL{xnzZO2Ճ?Bz TeթvL`y#^Ȣ.~Ot3& en+/y悻ld-S2lto;Ue< 2ZeܸusU҇}N ((^uJM4#U$\h&CS<>I&3?P[_H]%n3kHW'O",##_AC۵p÷?AA2эXSǍ~ }X$}>UrPYgDŽCz69sIQeQ0G c7b('/ ǜO.18؃ɸnAɧ:]e'KG[% YYR.~ܞ;@=G=t,QGdXPmbe-K萭'<09w ;R6qiU3oU|0tS,K7{:h>%D}ұGفl}6TYU\C0,AwDܙ#;\>_MMGJmbZxxp$蝂| >F \zNUaFp@v}o{\뷔LfQmoj:-7hKZ@=οhOki,H*!@G_)[?{#:hD4F W^^U84ڵ.0Hb Љ1@9rKWp{ C3 c&cwG2>wr_kW3' ˮaPuKZpayH8up'6m\\Ĭ %Deε[Xo2J7flK3$z sli{SA^4:^iHBB×7/@>nԸ!oR#>aMU o]ȞMoY*@!B tuڇGr,$tfg(Hx]},+% 1DN ێ` v nU¼-LyD',IQv Rw ȴ[di8N LLm˫%?.rnB p4xkhLȶF^xvH_R>IB>`ИݒzZ.+@bnҁک64^1?gv4l6 Su8;VC4-?9}&(-q75PyW#ٴ-jw^*lj< ^ ,JK)n7oÃxwmKf,@hq:&RZ=-8|Ku [}fj3ׄހ)[\>0>P~yG? Sj{ F̞؀EzwLCs`$IǴQI =kYo/B5ևwouB?jC/7_Zͅˀkp?OE)ϱB14.rf[;} 3 hp@,Wy`؍-.qhMs%*Er 0@.߉=Gj+ThtEaW|qi4]qux%w!Jc:(^Ru2u'lo#Iؕn~N0hcP1w(u}r7laXNǨ 2G/4VG2XqD{Mٞu,we3GswsSA(G:F/yqϯIV}pz%mF'  XJ0J!dٔ*Klꌘ(<0&}gs-U+ &"^f8B1M)aBR8Yy/Ēe"y dЩsF+ IZ2.Gw֟N<DLeb\bHyIQߦUA&iMp(C*mE!WVA*L^ _=;|{ oY2ㆽ{DXǷ~`Xϛ`màc9ăv]4qR|N'ו3QkDػkj樟?ϕws [OzD"N0o0Y'Z G3X4]Q'D^ [Q+e79TolhsQo!ҐQCXO7 "}m6k;P`|`- ]T̃"V}׻}0x;,zSYӰ߿kљ#S}d`( ~_hTca]>1KS"K9-9Xo׍'F:X:VNDDOmx.7 Na{v5pzDnpcƲd2SԠpk,SC yF2 -+}͟` MƲ,> _2N w7ONUM\1Ìq] B-:}) - ׆>Vnsmy/{.1 T@` :&.+ނWi5b'WZ9~9mZGF:^(a5D^n+!0PN pfRh!,q8WW+ԓHsUA{z߄}p Uza({S2⽘ET`Z=pmaVDCWe~kVsX_ "?IEc1yKĚ3m=h#h>?<Pi0RO\=P@|aNSrΤ.[a}7ZJ IiXoX]nu`%#y!S.VB)sJJj6!` VN#\%ҋkѮ DİH{ShX/nNbƚYj{S[9ʒ,ݎ2ƲՀF6H8Li>ID:AZHVwڭt靔X"ј$1m"Ӽ5dr,͟BZc2khaލφ,) i C*]]J)x<+]z\A?p'"R|Zj?ĽW$ d4pi`E 340+7g$ <‘jb& vieBf{#_r^íՐw (*t&zLL f4W̥%1Zǭ3nm}}7ȅoܧT ۽ޝOWP:d=dGQDžpHO=G؄,g:13~qL]=7<Kf fxOoԴcDY`^+7!^5pg0($kYbJP D𩱵6̨cy'TsM:JK4?iz '2e6%i,,y@{tlzA|2RZ QXQ+_j|Q8'+ ~;Ot'G2,3NwfeWF)Lz}'uT}~N ";niXw5H~- S-\]e(&dnFF&O NOWtVғ.pj ?lKG2ݶU5;UBiT.v2'`!\#>rpz:tcɌ ģ K[j|AiAs,uT1$t]#僻q?7q]f. )`l Pt`?-zcZNs4f+KavQwEU :^˒NKi~8ȨTCG>pPq:>/e"j =uu3;X$+a_iU:#1_ތV6`Z`,KWl|ulc/W?fJxӢjzqlOuA" qI۞z2&}6[Ae4"J^QF/­@79CqPB ;JzZr#DPV;ŋ nӳA%kՂB1~;މ^/d-}e~B G q#Ke"@)\}QޓTBڹf;xcr!¢PXZ.Q9+R g#r V0Y5po)^*]s۷,_Nçuc2_im{{-Y=!˃*v[jHҀ= bf2( 9X˾$"cDt%fCDIJG|3*fEx?S.K@"'`팗M8*>%TZl7njtL;s!C%NC0W!X(py ld ׽%i+;B+:Ue,T W4'`Lj#&*#0@h%f< ^tⰕaS'*a:0]K@v:C@8=.n/2@cp/m+{ԶR2)GX!,j7+gEb3""!J %3_Pe5մ[JbcJQ8ީ[ö z=H4= uh]̦W+xką pb>|T](ΒĴt@i|/IN{`'uB'+#:kP4:}&J0%*]Owه[. Qjw FCfeUaxûZWӓ%V%S.d=w#?F^ZG t jOͯ-$]AOJZ<qe`tOO䢅Z$c)(ԚxaئB_dsyۻ \c}ߞZQEiʠ8(U%m"6ij ]) 1{ > ^>Oep=^nW g}41 jR@3H'_5>. ]kGU(-3ɣSDclgڬ{goے3q&?}*,MLǂ絏#[xv=#ꁨΔB#BD}Tuu'*ջދhbظ9Rsx%1mzX߇sxՏX:~}W(\zzaC2KL&VWz4bUÀ^rM̲xOB[8X#F#YmX+0&5sC'kIec"`jM lQ&k#al&,Pшgup$ ghzq_&D 9r*$FT҃F &\u_E#g3ٿ钐6 eꈔ%68)L|Wx/agV"9l+tS =eSaabu_ G9|sBC֙ʧ $GQ "U>u֓WT=yoFأ1acwyړ'k|fsBnhw!?9-޹NiO,h<B8zƞfEc^Ơ|"K Q}94p s.H`?_.c 0},fu A0#[`{),=&N fgT"“:б=2;LI{SV[`e uZaǔ+}j܏{Ic?A o}EG-2tD_KRi8Ӆc)C5& QS'*',8rʆ{dQl:.|Kn-%N1 @Q𹁛@I?~ ri> ł0^P1zsz'p&-9\E!5ۉҪ2j]=*̦W%%>ъ,-H MG̽og`+vC1+nTOTwUum̺%\Ce+mQz~#{P "Id턭Ëc޷ ?FJdtX V{IN3_~<TrubZ\35(q 5G7iK (&ށÙE+s<1$ۭU@J?9cJOft3Yb@&h f+f%Wgu]J㣧f-R B*tدW|FeApbr/qt!QySuF#m?U{(OKqǑ3BXVK{Xf[ԋ: ol@/D-e^?PrICr4K}.+Bg+*}e1GV 7i\76„ya5qUpޮ8!<Uנjns{1A%xtU`:XHG'敦n"~eNR룔j{=yqS3Sy_j7"IɍǙ ޕ/A nlt{C$ x|GU\u_F8 VpDZ7_ phߋ|?D _q]|OE=Z?Th9gV^/u|R5 w{&w0 7aZ ,ܐ.G"罙ptEKvNgӪd]եPxE@qOx7'Fld7fWYVh pNN1rqX+F+bcs60[*Pm.^& [aAtp8o|q378=D<#0qYĄkM˹͈4w n3 JQk t-F9nK(K(szbzV{|FET@n߳'wޓ"dFap |(m7ϴ ^SGJ̏vhrFQl5lC.S-~igVPؑ_? ִ$=F8 Zz ؿ L̩&Nfc+0sl 0'uH^їq& jm=+7L-o4@n $̚e'C&,ٙƁR&pŎ ޵pSIS8Lpb8UdV[CT(PZyɕƒ@%=Le`8j<,ޖ 7!dn^6U3Α4Y ݴP'ȕIP1:&(丸3+NIjK,1nE9D@:gӴE#'K7lxz5)#RiUxHru"˞Fwc\'@@1 A葔9V pL&Q^v_޾'9cûzԩ϶cqu@u[;qI;LL'0I ևQlroY8+z{ͽٍGX7س,P"TCߥ:CӜ_!lqY93[ pL`KUZ7]F]Gf3mXr9;gLn*kilݾHyr?&:6]Glqm)cN2L Gsm#gsEwBC`uKS^Mu9{1e~z !6Oc i Z,jpD6Uw4\X䅚z+(̳X#D&!FN/p{bI'K9K~~$s8 m- \/io' A*f骏!-|揷fl='DS3$I5zX&næ B'j:IcKnAV&^+Q;j-X}pI㖯s0[Wz7%P _3`C>D*n8a$+/?ȃ;+w޿а̉w)8=5# @)`d)5Y}MAooQ])lrHidI;_dqODiZOHR2|{&bҝyf` |] r죠lYozL&z="cTK8~.R~5d'n"05*7-x{-Brozϡ%%JΣ=F$<_@ !;K{W`Noi(sOOOL4?EcsYeaDSy:Pdf&v?QT>9<]~-d';%HG3gnI!<, cAыW̿*/? H=,ZH ' ,o:VlY؁Sl>EG $-T#c+7ޱs,;n 9LvG[p?'\N4"$A8hd5!kǑ'dHۻəA>PĜW³+\cniC9B-R-"|[z:й /nv+(U w%:CUmUQkIB8 G-dB|\ziF*sj^673Qxn=kԠfLvdE)/(s7APb,w+/ۄ[O;n~:WImKfa,IVr zTYjg6MK|rϬ? 76\\t`ܩ Q2;$;e B]GʬYp3~Ojޚ3Ǻi~?xXCe r@z5țreمEfI1ipZk]z ܤޒz-.zQotiߴx,agUN㵒k^ԍByhigfDLwq7`ʿl) y8<8>8nFrHNA`LissnJ ¢ZјpYׅٯHƦ%͵eEH->rr~ǖTt]H{ZK&PD 0&)0N}OaNIzg~D8FnUQi4Z D5 InKwT[U* w- )oMUږ.M9[LpDtGA7`7A>Ǫw[}tCg 4Vi"$}9K%'N4XH[W wJz \xЬNM Q5@_ƹT¹>k?(F+=ҕw-WN;X\v&d^'7!$$|gVhZAJJ8+s}Ml瓵Ľ-w2+=D. \|w"q|lϲb`*՘?Li_ϨRIt w^;`h:buR?Nay.DZ@"wj_iօd@#< ~vC&ϻPu(EضYZ`ڹ"<;ERvbbQx ۧ-Dkz ak{IQ&!Ӎd6ar?&<`nEA,hA(; A~*y IS) ̏C,|^}z_uZC>4H/wYT2_XR%)Fٰx|xF PqRL}.Bg1w{M{Pz]0Hpe}>\Et}.nj[]|,#ܑzK⶷sr?u8 ۷:@8=GۄaĻ :3=($"(\#^SCWU  n-QvЅd*n׻H2{]R 6|J3=>e }xb|anLApIgw1^fߩI~0V#^4,0}9|Юon;² o:xM%> ?"_RG03n>5|+ׅ7g`>4>9W(9 Fw\SK7.!B`%C#{һ0?PsyacST7l0D1l 11jrK/7㙡A6PLi%PԱo`1d&z;SbC[z9.(7ue2G J>W;\cP;~7UE5qTb!68S'E]mnHS.)TA+zH jeк8]@?_ݸ+7jc?;+ÿ(<$ E>@ J]fL4ogs9Kӕ9tJ ߸yo͓,vZ*6h_oF'kgQ OjV׉Q"6<"KUD@ι 1;haMZ|'= BE b~ LSe.e9bɤ8NHf"7vV2.8@i_f@=BnhKe q1R:hTQ I9:4- 0I :3QuV0\"fB_X@to Eh ~Z(Onux/#yuӿj/T(̺ C`,7SRjyaUդ>+6~RdTFaV3nHsq%Cfq4<`&9Hu7;lWHC=_I X-߁R11maA:j_9GedfOU?nBvC r \AZn$w1;D]OZPh1v(=#Qr~.8܉ ½`rkmH(c-r䟼ؽXii}.VhsiKj"ZBuLveon"žм!-xݎizG@'qՈQ&hL?}PEǬK-!Ob vlԯzthY,_ɐCDCxq3㉏UUC4 X(c3# 3#מ"7BYI &u2+7#y ䷾<Ɍݹvf,{<ޥvS9B>>ڏ7O0^>;IsC+?פe۱XrAsQzA9»]bjb2텭rQ_I5FKUROOUGclJAmN\d&^}\#|k"vtﻎEeW`oIBlQپx4cRdHM_l %6]ϔ<y[s04Pg|C^|Q -7y 2@ZEUĦw"߶S_e@7.itȲ&UtN"@qD?? U"!D~R8`4*f(6kKøURV* :f3M xJf% sne;B~6|WQl} Vd]\ z`ּ"93E#$g )drK#*!#F?"~"XpRY"j$Vܙ%;EWbtٶ$ S[Q /ܿ}D~Dj%Kn r;g?l q8