SQLite format 3@ 0- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ssQ3\| / HOL-Data_Structures:threads=2elapsed=737.112cpu=1086.908gc=49.980factor=1.477zXZִF! g] 3 HOL-Data_StructuresŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-J~)ņ. ugƱݺ)wxBǶ]zm@wuOUxXWGτR?,Xc/#3!JN/Kdt(BlauWE_ɶ8ںh}3h/:ZR<%td΃Oү.3a+mLx{9pńufgtԽթ ^vFcc)5]EArR={@;WnJ+e"CS ( nRpݑxEnjGP%c(姝Uha&SeYehY%!Z|@/qpfyH޹XY>l{14d<އGj"]fk!t0hS%AE|()"_AtRQjebb7xN0HG̷QA+k(Mks@[(s?Aaӫ,)s>K0>p*\kKHKp1 JKQjz[Լ38*qMex{[D'p.Gq?D/^ii%B jInLfu[@gBt_G/m Zƴ]4BoMtpB1#SRώ"!0iڛM0,|BjH Y +EOUHe g\S]D aA*g?N1WKs 7}8}baI 'J!P63haPY2S03LX~_ށW= NcNR}f=Nm&g0p*N4ce#a_ᇛ~ ]4S&b%V|1IM|BaBvjԹ4́7GCo=^AU+ӢԹ6,k 1pcb2 [&t3F e7{UUzLC K:ø-E g`|U(Gw-j+q,D ڂf 8bYTW7tU'[I.S)2|,[l/vuzij4>CNV.LlTVU[ vNWi.3}H.-B( ѶU]qN:k RLtneAOqʽ*{jPPSup4DfrwA}ZWђإ151,53/r_p&KIw.x`_jκ1ɦlE-} XKI>uEwfP*4GI؅ EU$\.!Pب,<;Y6 8O8"7,R<{\:A6ѻTSd= (D؞M]d SD%w&Dw bYs3,~JܬG=O鿤{}_h# ζ-\/2f]3[> A@Cyw94-TG}#S} Pw =wʴCTQ|mE3+Rgd?b})wJAyަ^O..\0{3`]yuGmG~Pm*dR/jV~.!wGpAweyo ,SMs8QzmU#[ ej'zt4C\}0|\pb]` pFk 0]M/B F_5%|%C*Q{1);M~=[.w< tq(L)5cIYdeSdI|Lr]}MO{Ik*?èJڨU0H(&=Ļf1/tjf(Χ Ҿ,+j* ٘0 U0lq5]aU٬i-(L}Y>Q pHY5dJ^\̓ >\t2qa W>nֱc=k|Iڿ'{O)3D&;znSig=Q'Yһ |mֺaQ]߷'wn!Q28鑷G8$,'e([J~kKY(%2Pzt.d9 [of*pl b^~0"5n!¢xc0'8+/*b7n{TS[ @gw`tr;(>Lý"D$)ŽӠ3:g!`Ch m@i0y8]zK1J`|#Γ,<V?>Z0dL%eAE1 /R$H<12Kd1:2΋G.ѦkY؃"Ki}SѶ .!{Bfb~/M?YmJLsTVn!\"KHnaW4!*t֣%n{hlL 1[keϮ&M#v*dx^ ibҮYx^tbm4L>Y1 Ik1p@h_C0[ O87Sf86Ntj'G լ9H M Xn<{q(S-Kv_ |Tj́(~WE 2!`JYggPJ E۸Vt{#{+;gߏeԜ*^A2N/5Ķ *|0X}-o"(]{"#fRZR/f&;B>Oѿz)e ;,l߁Cĺw'2]r<֡{n hEQzn DZ\fꕷl%k4_oAO@>n4A/-]0'*ENna ;?jZ8f_ٛ B{r{ {feG Og0CT˺1 k>DOP?F` 8zOY+³J;0_sˉ9m ^vaVDV/m"+$EEe˔ޅ6ᶌQ6F0F$HDn$*>P]O Ork]ݻ%D4%&߱!6 2Ѳð\`]Iļ'Moj7rѲVI3S?ZM9w;"DQ~.jVA<5Uz[x{Islq]jIiLaF %fx@fN[ x%dRKT_( %prAGbbpcbmQoWڣ}wRvyGLіFrd Ai Ö$ \:6װy> EPZaGڄ('ʱq=ʯCfΊإUZ,+/9.39ūB CORf&-{k tn.+yo()x]s \݃: WegmܠQ%beY\+E' E!84%L= 4`q~ziWLTDBu< `/ uOv&{I_ճx1mBXy׶HoO֚1;ݔ']C~dh-'[slN 6+ =e d-Y.tТy&>4?%ƥfƅܪ PgܺGK@:[JkI?e%{yXܲ50 (dX%/^KRDopnI!H6G3 pyekjA;j_E2X `Z;1TxNxScdKqA*KvTI-!ŭLw嬘:'9װIZi ETa˚dtU N* >>LB :V2XǷi]-Ġǽ[ޚ틽˅p"%Hg4\6Dj@|UIHXׅqn$wN@3]çRzIflQ{q>xy90u0 bes`'KQS,3%B,6Bjc_J8w(F:ү-݅HXGf(HG^ (nx q}9մ7S]wx 4Ihy7L1o07Fݾ9g'=袠߲t~] UonН'ԗ7 npfoJ" H2yR$fpl[s%N3Ee(x^Y|ܫ¤㹕\p.9>Sokdy~;Ym*}N诹ט(ʞ RB{& |u]al%,߻ %J$W[t74}.ߦ,D) }rAx!pp%VcV  |pww>(1-$n d[Iu}y:t(-Z~0*KLlmNxd Yb &N엘<>Rz9v7Bѓa_[(?Mp(gYZ7zXZִF! Qx]ŗXi%BWO&oyy1Y=awHNI2CaYf W?yl/BOt(SOb?|Y*ʰ,M:Ct ݎ> ÕyD̀(Z3h x":]CҨQ6|I}T(ǰh|53% C7FvDW eƺvf PQx1K4}x[1Q/ԮAe;v8QOt^+(ML*EXa"~"r6.]( 9;movb뤿x]0gQ'm{7J"l I҂S9e('74_Ek?lAWnA2NxdQז|鍚&5ha9+a% %ҥoJ˥W~D^ʔ-U30DD-=SNYZ>ǘL +~9m](ҀfxHï;8bڸseş% l%%Il%4\ѠgYl?|J+YxQX.aO}am^j /Sj(ҡ(-|@p A?O/YÒe\qdaz>G8dv)E!>k)7q؅=I3fu8L䉡PC3b8n2R+`禲1Cd4խmՄ}Rw23uK?Evͨ-'2O>˩v5!h9^wMƄPĵ-d1]ҀHCdl= ۓ~+"eE²ŸޒMY,/t]4Q|;TeV1ɿN< I.^'owP.񽪰B}_lf%D瀞Ox "y*we(~ڣO޳tv8D@&P?)X V]b!%2'=* ?s_af" ROÌqn-V6g|+>YHkQeS(d}| #^.H1 XA aX3zn Y3|i=B:`-Kޑ}/F: "wQ0z{g]oDja69˸}NuҤ& ۊ!bCAJPf,7K9wIT3QػAZ`'hdd9[t+`@c^iG4Ӧ{2x6 ]s4Nk+kߣwTãKVE 2X=]ƊlS;{MFY26H_l>2$+jZf&عV4)F༼\e~n>$M'UdFGc4|m2CJm4 m}Ke`eKyP`Yak0އB\OpU;9۹-G$v 6.CQeO,~vp 39W[U⮏!r7]=4U.JP7#'@-11~؜2WAHozԅ&pM.ՕEҁ#❵L\.[FEôcN]Q3ܛjEV#I7044m*Kf( §=.SPn]T/nf ʞa ',);<P,0ԛnS (!̹%Cv'C>Vq-ciecs<-MN6ji9"ʕ`)6l]Wp=c a#`OrG|. 9ٳw5xchx?Wb/7?`7@_xBF'ܬ1D=C.^0ėh!n0xA]5@^Ip=բKI0u63oF"ї dx;V5Wٯj@.:Y=uw0a5ݼŐJ<\(R ݆I}_9gY䄂u˷x{KsihP a +KCv/Dް[a6OFFATr|=(6ȍu&m<4sm_l^W!`mDa}{RaC-x~$uiEX2`v K]4 "WUYZ{4~>V !fߣ>hSE5wQD@ol#_W@o ^v)BTz R`~DN0g1":1`$Ğ$y L\{=PI kC>kFOY,rHίv/mѬوt=(3 k iOSQWM:ַrD[[+SM‹Vo_ߝUW-QE ɬ\~;T-(Da)<n85=0KaoEJ|YvBpZx%g /Keb=+Sហ!O--'w(xl‚Xz?=GD"H/wD]ڪ\DS8!5T&29?.3>Q`'?yB;Kހ;+qSL]LZ1-tD[[ H;  Ocv/%TN°B;iBc[Juc_SSC>$P>~.}/ ^'ߎ^@^g+AL96}UQɰK ᗹ!ņ9mBax"9J^bYJ/Mm4JߖC ֒d -8.,YR[jbY|L 鍑qT/A kh ^/Гg/Yp_߮ &ǣ6꼛|Wߍf-YrQuI2Έ|? x9}4(.ӵKҀY~?2j[d^J =ajҐJ?۵Dme .{jLavㆅsIQi;USV0Dn}mQE#j@%F%fY,hF9,N2ߙk}Pk,7-U5eGpqc7NJ$ 7_}U*vrOs¾: 8Ћ*MU $M-OfHB0W N΁f~R9ſB=̓*iSs~tM̄/t#p~I4"rPQQQ<Բ}D@~eKF'q֐"Hl .?4Wrzu C7ϲ ق_c͸whѺS9a0iOR!ײC?y܂ GAT(+M_'Sf3% Vxa?}-o4נ2ō#Zȼ:U`VJS/^l_a6pN"ݵ yVD>H.[`B,~ElS\/&s#e܈x0jE賆ż]^N8 ^6?9RI'XZI, q}p/=up@=yLԮX("IbqI%n!6o= U޸&sr}6NFՠ{(sAڰ;QY~!vx,<<`zD{N3x]Ô;=L&%iZ>&vAQ߇E[ 97cS1k;JD w'#zd(ڪ\%[ڤ!s ǘ߁j6Mw; [+ ϗَS7CiC珉T cPӼI;0TŻ}xÂ[] yxS%֤C %'c9AmyA?^lOIqm[80. 7I&t ZZ؉lG/pdj<V_@U41vf/V:.Dނե{"e~"YN!)Jz,xg,uzg^MX\SR^s >M;l;[缺{Y{^g~ǘXҿbY=oY53eʵH oaR(UDNyinQ|u)S .TY>I:=%1*1gfK'F0vEEd)OQQF)ݷHY׹G"tg8X7bj{>gYrJ nh3߁vHf?_ M mhBBk<3miw/qA}NK ogC,Ex;vfc@'/ 1i>lA.`VP0Z.bfZ*ml4>IώY?'o'b7Mʒ=qH ̹U<1t[%8BQpIƏc7!Sl,!e-E/IE'ODKz!1(H۵k$;pji u%5(!-mЯ=>hr(ڷl"UI 3,)$Int&I|GsNnM8Q罆uOnSgB"R]kM5Y T9J輭qsmW'g@s1 x\U;FU%C!{i6!?FLU)fUn-~&-VS4uaZϭo:?n|^~sbqLWGu + LRcd_W YyܗxGeB]SA6B&!&TX`ub;pUA·1G S!WCeЗx5ٸiKB![t3ǿefp}hQ[&xGI3?_?: UW4%  f*yud" -}Ɍ *L5~cFع:E֥a!fK?Ъg6ŧ2M0K4.!qw"LK0a۰Pqy*bc sQD,PڹgS~z&q:e|!! 1.;̔ЉAYI:(K 3͋mE=!XVH)ͥf"~Ѯސ3fƃ[cڣd* f'=M-r3d'\aG9aжp`_=d̀DwOf[$x[0fz:֓>XhhDthnυdNxn{u٨_m(L4y#94dr}CnL(/x%5`}w~[J/_ ?곴g8'~""d K L>%QqRم k_VBY @H2}1ŀMdNw[Χ=2e<jfJcSn4E$$vCGp.d -%GݴČ(z_TdRlOUx9\uWYГ;h6U=SyGlJp<,On=mkUv\$4"&akMYp}(ptؕʦpHQbԈP2(̤{.4 E!?a.Jn\ O9]iزVc<(eC5K8-ϲSv!mI Gz䚆a;mb6GpW$wR1 llQqA\0t!o_O^/t)E.ꮒxs:AHUɤ{w1zH(ߧ4t-zcZT´SAۻE<l ӡLm1ci.RXJ:y+{YG9,J 6wP& JġIx./yMÎ@`Du#̶7 t?ǝbrbǚ9{NGf?DnD|>GWn(r:έ}7qG':ي~2= @Lm1d/Ps01\׊v1uWTk]/_ 2ZEjv'F*1ڕF˫f|W~bM ٔ&3K8=jwVdBAZ#RUgog˺-RDqW1QwI"4L7f-Ўy @6e͏ +HebՔ̐(mTvSP9@ÉI毙Dȳ*fԳ,U3=8f8rZ&$ŘR-\ϊǾ͕4fAԕ%uռ >{_zn+ 1ۥђhj t~t~OAI$뒳 [Sd8^؉U*[hQ:*+WHj`v_ӆCuN|=p`}Ym_yt$Yb|y _r /XEm礜`X4+r=t:;a%5ރa4-=rOatnf!1_q0|WޮN$_e Xy+ƊfJYU3Rw1&0)Xtӓcc|J kxcqr_٭uІk8h[VHZbSd~F3G^eOSΘ/K0/ OD(z``A^|/ؠ-qYmWAadŕm^z3,6nXU:wg;KӯYǍ= jo\!&YQ';Ld ۤ!a |عHIXgV4]sB@Vt{$x%nK@@XކZ4:20t~n_"rl\ bHK?}]>Wms q%>>ebUц54 _`x:jT+ر!]QnDT% X.oƴz8H4-〙^UJF FAWcwre1kz\ꘚLƽ$= c䠳`1nl<x r{I;F 2+blq#mXQl-i̕Gh{ : 掀~ u T|O)khZ⾊`!)XXdRPQ߅E3[lE"mH5j3I7J/uV(v < /w>ѱD}`]#@/ N6I7rݎzFL Fe53sE4y$  G?BW$r[t 8΍Qh9-h4A'sQMx2-WhgR|Sۦ~Wf1QݝxEr.Lp!KsFM.UqX1}sA7|0(9rphn7~4+KuxwN3Е!eɄ"v7 {a,-K?ªRjZ9@rĚfc6i"7j[PBE[)c=)2=0܂ ;5 CL O%OPP?#mcnrY{#2@A=hjqyܦ82o,Ӓԓt46+cAR(^%oFGs5:9'Yo-LRjFL"f[wD솠̸Wi(AYF),(u4}8Xlul|/-sr{}!c*>\dDk}YMoB7,FL򲡖? zd4 `3ܞ{"jF 99o"C`PE@+= 7s8Uv |z? ~5@2*XkeLܽPj+0˿aC9/s@,vA,Pp4y~$td?^rtNྡྷAE$v|۫zXۉ͚#,19Sd>뺊 .¥lQ&]"}*.SW l'e 0Y'ϡzZ%qZ|az 1ԋs3wx)hkadKПu%L|bfqhXkv䫶4p:9ŠʺpP ]s ϯߖʱawb(ds@d2 qجȓ1XZ <=P“Z;c?\$iQ$8YtoaQƄ*yAW"aωmOD*/8t ҉ņv.xC֏[TD(#ݏo8o sR|NY^. t ^# {ô'n߇94}k'+{43&*3m[e)Bo\ ~pus&RP,{CT1sҿ0jʨ&lQU&鱱 +`kZ2yL 2ϧ"qNJ&5,\Emi8D8́՜\A{$Xœ[.~r%+FǗL^"点ۙqּ4Q3\u?@4o*COmKڀ)Uf$şP73:=Nrp>łnN_=յa.zX>6N'tn^$=fu v[HX "ƀfUXebZomGN.0j~PVӌtrxDy&k_>]Ă'8h7u\ E&@=1kuȬji$M#qwu8S~k[TOmLh}. hKI.MEG.{)iU|83{*oxO SgUm@Ј)04=+ klzgx&!,^ԇUzl_҂ja(Lyl|I %u::\8Lb8Uw4F`jĈU W39Pfþ(v|NwJU0SlR GqvIpK{+>Z{J"s/er7 ~Tq$7kd5Hdn>9m"lMEfSHsJe,q> GTeY#cp&Ʒ&c/,lrdEt+ ]bFxjdȖ3x[0`-6չZFTKhׅ-?>bȩ)Zk$HκW#p+12yx7'!W0GM03+uZ%K^vRx32i!ػ*r-yrF;"r86F"Ջڦؿܖ隤h=9\Q-(;p[a:_{ @tZ/ )߶O}Z\bSKw=h.KG~l쓟ʈR׫/ymO=HW>E /3{1~-pj4#KoS \^ٟn1qcs5lJi솅dY~d ,8t*8bV҂[Al#'SVF/=;;7pH]5k F\/ܾѝ΍P.@KJ<#٤Ya/m~Z֪3}uE\ {sj?%{+Px*3XaɻԦ)إ?%+ZN0`(dDD܎IAmTjPu>YA {9 =+\:nYuzt6Ƨ`rZ,AxbNEZR<>kqFpHǷmm(^XOJ5MAc j4\/lz^`\&J ;1n?g]]}jN vv?+=ENkfgɷH s`D>lҽ%#7~&A4b'$!腿= P[V8^"xLJlŢU9b8N>V6On戗-8*/`p Mb3L CA) ʌ y`?')N> ,pn\)"N7MH,qǎk $'du]R\|MqBVՊ˱чb``'Vg<>_Q>DڰFd߳)gƦ 2XZH?,tkAWP(,`DuNGE@jގ-ENHȿXRĝ1)ѩ!-s!ʑ_h"?^T{wg.ߴJ;<o,< K=oS#hkm2E#v}<$"BE WA~X+PyX- ^Ҧ8w|~āoG*b>Ytrsf뇨\Yʈ!`$OS[ 9spe)ȹkb~O {܆gqMBfdXR nVWZ̙hQI9JSoNnl {\#&AgP#ya?z H6S'G(vZ6 ŵ:]f]UB 6~qu^ ;md(К:u?ޤir8 )(N[Ϗz)4S;u!~T]Hj >:Xi8 tL[]BMyTJ<,1ZЄe MꓒY|edl@S#+΂]&q3%W0x-@3աt { !,pT7$+D?>?Hݓ9h}H$Qoב^o:ߥ^ͷ an9w%$xԐ!eD}%%5 Se}qV鏒z Uܱ(̸j=!;/zgdӊ&j.17Lk۵g^tN'Nkdi8Q8GQ7;[y+}1U}SF.F0!r_7djU|(9o.\ zHm\p@?aXX K5%\;Agt"#6~;aCht_ Ll7LAQ[g{gn.-=k|UQcC#kQD1#3"ޝr< ͭ7.oOOˣK[M oJO*LWʃ7'$ⷆ[hpAUF]/U-j┴#&M-_{ (R÷CCFf27KZ[ɄPu[f:z ja[m8X($`D.lGp3g7&?#3&˶ fwԧB)k̑Wr%X1I*184DuB}l"j.1*1E_q$[ lb{$iKBN;*+qѠ]+^|-&p {<Z9BGN3 Su n@ueڎ7a_oUbbh6oƟޢ?0v]gb6Rmw๢ s?F]c?zaTw_vFx;so]RQ;Sⶶ 1y5)#lU8ъbY6P5zK]h>#ܪYgi+eJG]Gֲ7R%Cϻ?Ch1}ޜu,$[}3r˩FsgP_Uq22T,u*m"$v%¥O0!s& VQ$G Jsu_Q_4}⩠|3:qqXoIwiiz#QETtټ@{_)feJawKxNOl,_N]{$D;Rzռwڍ_t^*kIx[EedQr$α#Mg$?L4C^cHjivjB&4^c%*"1'P8W:%F-OT6^oVS $$-b jZ;۠Uyn6}_K(yk)(j0>P1!*:'_LNJUb5J56b»A3„0@£Fuefq>†M +jBa|l r+$֟ 7ѸQˊ)(y>}ӋV ZdQ8f+jwVWIfsud.ƞnSY·7Jnb0p ]4rDz^.vϩ`qs슚w=qU ]'}ӋyM.I7UL<#X'_=i]è璋^O\O)MvR`xD(i^Nx!Pe0yt }RߚͮMY9SrF7]tr E n_62h̜ S/U,' Ct=f愧$Kl#KbWr|Bh @=Txls((z,ƃMgJҦz|^N} LHQ>z}ӕ""iMCU폙)yu=7Rp"DN{*b2s >ȈG-fsL:$HתYQoѯ>oMgA,*ACZʎfi ߔĦʼn ^o\;g[hʸT3bɩ篤`? I[` }}%զ'7eO$~LZ3|ť)Ѱ9C.r֤@{qRGNVֆXhI]y0B7`cJX(,ߜ 9¢=yei-|du\\4YTIe()_yb0k9#E2P@Js`k#%SʃMCMXmmg'XIg.nl-' W5-Y k]T^5b V<TLL{O)._gWt&D5k{<8Fg2SU23en|\XX|ul"`tp>z(6_+pKg2$dQ& D {ީm'.Q om>EPw̹Wk s! \0]cߤlf_YX:%A5 ".;aЁ4L4G)mgg(4?Mtܼѩn/{AjhgOZ%<E$|/h@9LM6 h1&dͦ>m!:śr jjq=X[ /OzX4 gB׺p0 ך&fTt#h M-:X-9[3K#ؙU1@1 (@xw-)EfڭbVr Hx3nW,3R`0yB1rgZΒ7}p|$tlX&)F)ٔq<72bV:h"n|@0QZKfJGTDpeFz% U Y#! CNZM?Z#e/[[3ij>z}A^8F=kGZqD}])j1ݔzP?=-I߰gd.; }"ƼXF7ɞ&b =aEԱTR~N5 Ĥ]ij F/X@=&FҧVe5/o :獡}7>O-/;uaOI9,}@t/ecv 4'TU¨[";WUT3UHMo^!^ \_8D9Ih*iaw ы:"ݷ)L*B7gUèŐlهkjiڪA%ƾT+ܻ'8ef+,HU)&,N.=$ܸo  j{g{ MT\!&#}549ZG)b]A_}#3ٙa*`G최y*q=Q EyZsUso{$w$&/.u23:'ƍ$( "s;q3iXͺz]ff ,J~;( ʥtڣu+BbdTM+-#DA}O/e8 ^XL`6(;R' % V7=NmgMQe-w6"w F> ?zWp/ǦD" sn7EgO4U~C>=5:P;/(Y"n%A5gQIOit{Hm81,g^siX؍S؄,`2Ϣ-be8,>P');s8BX.dvq5W{VG#(y2Q &PYfw\;n^J Fxv)>|ximp[~ўB4L ^;DIlEPO++?$1NH\A4$nj@غ5fW`pΰkJܸQBnh * 1܈ZL~;$%{R&(ww‰9MCXFQcѺ 7l>]*:\-Fz% w'5 f}WչT}E&s=94[7H'>19U;aSYBNxյzMZQ<Gq IrШVj@ͦ$GF!{0F+IefX$NFT=LoE!R!gY4ٲEʀ+YLuXWCem0Ob%)cj䠫HMR>s܃쟅nE$Tw{"ws&J x`*8IzgZ&i;)C!6nVv|AdqK nʨ8&h:D{DkO5K~G'盳|Jsnoל˭XߪF:_Ҥ,AZ e-Y8ڻjEHG?[ľP Tl6p&4,I"]yUtH?#h窅#kk6ɰcmqoquj~_ŚGQJ96?E՝ u^#rԊS>a\sa$l4ʳt=V~STsw_Ky V>HdSN!';17}1СFc6s\neBP(b@IM1e/<ִ38pZz\{/·@./rGy'?#s9 Y@~ t]ې:z?2lKmck"U .wULLy#Yw FA8,nK[1cY4GvGz降\;|M)lЅ vgDјe\ńJ|RI/3:"9XRשp)ʕ9bye]wbM B+7hQ4g{Óҏċy`zk }B= 72w[x@)|( ̲uEI۩jO(/B]9cK6cH OSqj+l'@Ռmc]ySEy]L$1~Ȭ1ѦAK~Y{C8*C xnfO9{׮ӸX7fg6Ibo㱄@M{ p dXD>iImE!] @!zJKMWN@۪ aZIsӫMfn<8T{Kqq ;MbyXë]BܰaѓaPP$OC lHi{!k\hg=FcLD(-j 4 }Hհf!?H9PFMt`cHe6QJhWfX!CEV VH:Tg;&jeDt?4 V -N3&Ƥo@+-^'ŴoG":}^[0g%U2Ǔw̳ j{z$}{Z~|"w5hqd&yhS%XxY;7=> 8rPجx:AL;UJެT fՕ- VOr.Z2 6+RC}׋[1](Lp0=g6K46TBt zh5R*} yh~BmF(a+Sj1)V^Q{)ٔLfrsuҾV七wKҲ+:dNo2d .w_CYq́ѡbS"V~keS.؊ř~r ޼?8G"o 4 '$- n}54'"?t^ω#]k4*C\ijI복`*\چ)9+snl%S,hto)8Χϱ?g ێ,ܡKo-,,>cGG6΂ :^}K +yXSvy0V!7%b aH*/+Ĥ߬10kŕ_Yx:T]QW-Tl2\+1L scżم㍾#]s3?V[ 4ۅy7O9s2$O4W|q3^H|6čRx~/PN2i7X<= ωNqW{6sItb9dT dTAHi!5Hc!Qg֨K:oL7uTPqHk]lf#zt`OJGՂpSa9Dj&'#׸;9mg]kyAl nE8o2n&iTHWV!Yo aj wEYU>xg"Lp\E[9Y&0:&Կʖ&)0^k@\X@dI/=Ag,& nBg SӔ3g )' to9²8*Qgw+lI؎07"u*cՠf0#`nE"7y|y—[qEG2\Og/>JAI+WS8oH6 kH30W&*" <WuY!uvgEة;j׋OxP>yf362r9~W#@+&PI(0u8v). tᐤ 67ԳatD܅20ʴXgk UX8k6)e380MiHٮ0dO/l5%Ӈӏ}~;Y'B;!c %'9i~YUO1ar&60fD7TxV2@&Gi?mpu@- @,&^nYfW>npwQSl 8Ǫtڽꊻx2E)ZعXeR`-;@mg]b!}]MF `1QUX".dY8z,C Z F<:%؇5)m<]B=&R2x4(Bef} ǍPCOZuja6PilDSxg1h/d9AQ1 3<]Uش H! (Uy O_&01T`@HI6ju~9}НeF+ǖܕA=Bۻ'ޝīs) sZ':MtJ2]E';&[Ճؽ|t~DXBPd;} fJf_p3:ᖹBhb}:/%A?y[E'*wwP]!N%HB.Gb4E='\qs EKld3ol \Gs_ADc+|s^rsKT 9֞GO7YV<hj q~ I(W|xRJ52+.jmP(-V%^' 4.%VZl W*(׾W}3TD8rX=Ka:v7ZuS+ǚ3`< ,-܍i%ͮ,] h j ^cKnbуT^8b%nf ]|# dERi;:v8:o:iPF/ht>vHD:c r2::gT NNn{}sڭCqO>JWN$if}7@WZx,gUhuKfQ@5NxW[WB!|?9$`I7A) Wkp1K0@_ :jeQ\0-F؝&s~6P`^0s˞XcQ xרfKK ݭ/Q*u^i$\.`vJ=`ɎhЯIL4&rȣ8&6-UO23GYDҦibrf]볘496͵Zݨ˗_JĥzOy}rM@^M&x7ٴץ?)z$N2DDϦ&[lsubBf4¸ 6D:K+ f'җWO9pj/?:m 6H{rzZ6c@#z1beu[({4HPlDІތl6?a- fӌKxY-œX4? .\ \HΛqkgNصGFv b6y4mb_ed\6G4承{p}, >0 וHbs$rI6:zfv qSpGb8]WCDdCRλ;)̨s2;Zz*{1LzY#/g5aɔsLEApey%}IԲe`v KU7,OCW"XbBZ⟕qiv-΃:12r T?llO ݉sfſ0&ƽ.w26mGz8eVȖ?|>Q7g%B bl~61~CǪ7п1Mɧ8 ҳUGX:Uq}X3Gu)~k΄M3ok9c֝ . 9?_tTX7Ӂ+vR1fZSXoe%0fZ$p{c.|xSF' pSy=?l78!߅wݒy\V\ 1u?(νGKfbKH"ϥhR:U6Km(P`HN}rCN v팔scv€qS%Ζ"옺RY.hBi]ڷ zܲLϮ8]z[YSXV:,guG% )n`o~3>/`ڽ0(m?vWurs69i e3==aA=E%љygQcB52)A8{c+Mvý|y \Q exg˥U 1qA%Lg'Bd:jd'") 2~>[ !y9JHCoH@LD:s[^ϕM.,K2;Ia!2Elݳ$VyFQ۬s6l1˖A[hu+Un_:3*_o p978\/ל&T7c_W?GPh//m^ye@25Sڎ`?^M⟻-* N,̾{wO΍s~dϛN;p骻HcW|JWo8"vHoZX`7·ZgwŀhdO,]LȐqGu^fmݩ;fPⰶ+燫FT'ʝ-?84YɝظD[W /#=^ũe>^դ̩OT1_'ˡ]"́5 ~᯺{NҠ|?Nݕ;*kǣuK]|<AA鳆'\lyTT|Z 2 d\<:ZsjSKΆGC>= R۶"s]9 +8%B9Ũ]e\׭BbqLDO~Äe&˝GFi fl\abwqPY%Ms53; ܠ M ́!FՔ e Ϫ!3bK^Ƶ:B %q k"+I9Tt`4r,8-|#i+5LS-FDwvs TC QxCD6ֱ,lRq*ʒ^Jު[ {9=@%M;=Qs+-6*$ yyꩤ.YFc2Mdj i}E=( i{f`y6DzKe.>1zCjGʎQ2Sl̃QttW#cxVo{j:Վkc+uvVs:P}'QF/_.XQNFוMRUlEg>i.0$(N6)^?Ale 1h50;E텰cdn[ɨ%5:R5Q1t*yI4#žDl-NJr& d dt]$5@)KzUؾ+aeۈ89|pTrqgq۾ o]8u&?BB6<(4V[a }!F,wP&xG h OyUҽ^:JuvAjE<5<+ ᨢr4u[psJ{yQ 3:'Iu&&"=dsujf;=ݷ;` I*e0 (\HJiSSL1;x*܈W }q-giƥx?DDJ[D?+ks,9yTLR|b-uS[V)A?A6$`H, S=+1&2|i+u0Tr3V-[+0.ruቇYfv^Su?ҔȔ9"-zNuo^Qe6DAPex*ft!a`▢)6ƌ:`|vw'h)~5_U -o$%(jXH}i6hy%,PdOk{;A%ǜ>D[a$7|g; J5| ?jñwQ ZP49 9}{Ҡnw ~_0iֵ1`B!&/I "I\`n0V%g~@gۇL镲tvPP,SY*k!4? \ RjYpZٓ>|3@ R HgN߶p#' #M^wUZ?Ti)RҴou:ІE,L1 Xkc앒|p , ͑1'qNF5-`g̛e6I08Kk"Fzd~gb@\(TZ8WRDhw״G&ky.#RCrι Bxg7XKcUƖ)DU_縬)+!Aj(f^lX2@)Eqyo#@X/87 uGfmx-ϥB,bZpgJKR)C^~saÝDҥ7z  \)3[Zݲ&Iw!`d:f}*c*=w9fhٛ ~SŃޓGD,+Q;48@%'wϳ 7KTMPGzh uѼ ӯF|.\ +(L $s;kU^))-8Pbh`]#Ɓ/7|t7u0 j؆Ħi{]B~*T-iN%b)OICn͓CfX-Ʊ,1I7h.2K3Z(|SE)+6ۖnrCv5Tb+R+Luec[AfbHW(M_H.< K)?[2|׺yuhFqjB}ET~oKۉJ)k> +ֻp,o/KG&wAjV/";; zu]Ñ[Z\9x@Z Ӻw;A-W*kA.ew;fGbG¬[;!?5@Yܱ-B [s30l>;ºX2p'? 6k8$T$FQa,2Pzrib]L rv`-#P_AHXpnH ݍPULth6&aR2;v4gKܜP)voH$k&V}9u%%.N&Jʁo /t~TIuIIv| ]d^u.vF07S]![z ՞X]XiV$M H\s30Ι\ 3< Jx$^Z lBfV^;!\=~NeݓFY&9DS,+E(:bkRE2lQb\>7g VRhт|ZfC w's+К< TaEAFO\7{ LjsCnjsMxz =f]XϯM^ @ߥs˹A /+e.\Gn@wD1i|DE7'n7FGx[Uem/Hܞӄqt%px;::cಪ+o8m!g~v^~S v\XD$0~{1Z|*cf}}ۨ,(=,pzc˴TR Vlwy% +z93\P|IAYH2UQHk[H48ZRgCmrs-3:b?νR5Ez(BCMEZPkaHiCO/od4Q<Z E"weZvTNfK9;*`hYJx8hoӤVI}k1Kh AO^sJfhٜd{󝸭E.F&/vۅ@@L,d?Gx=t_L]}A/ulW®cQ(B|wvDql0$O)z핗x%<Kpk]21AÒ|QMD<ب,wspv^e T8͹{bҚ&el]85;>gx Uk!^T$33Jxdam?{uw<`,)f#7݈Un1:ۘ 8é2)(OuC zd)U$rЕPOkeƲ|ѡQ.D#Cv$g\u[o5e$=w.ǒFQvh_0NT͗s+sĻGXQ5֬?Tä%#噪w$Tb $&(ѳ9|6ɕ:xW7H_e%rH-n;sͨ'Of^9@ҘњSov-JI!N`AW gZ9@(bvcW2m|A,8ܰP=V?V 1~PNƽ/btJ"fvbfwc߈e곃0k-$&}Bšw2}ZssBڅۍ%ӫqX@U 7 ǯ,ͯD}{1WNgN'(݉YPI!3pa0+i)$ or$hBWO dbis Q`dvqF|4!\;Dr nW*5wj׽9TEUr1(xݭwF< \}ث;5Cn خm{=Ͼ?JځbQ)&ZHgDKOoiBwL3 *7OKM$Pڣ(@=fq@VD؍[np? \Ǥ0=x֥Eu@r3ڏR/G+E4i{lA%_N<0HY[l:V e΄}iJflgPtONZahI B7n%LofUM(RaX*AM})gGfte2%~uGv1ڍєY k7zj2d\dm=6х e5X1gYZ087c7af85752954f0acdc5777e1f9cab64006a6f 0cef64d547365c36ce2b07d63ad82869d058cf7f 0f83e9379368d232af1423c3a9685e6e1cf74f88 17b9a1585aef604e28786415ac55e6599bc1f806 1a9bbbe5bead4a777dfd8cff360423b166de322a 27abfc4f80208ce2315b25ef1c7cd6b0e333a212 28d1c39a1cbd82a6fc8b4ad6eb4144240e34a08e 2beedc995de344b2d243f1e49ae9db7239872112 2d85093fdf9250477107e3aba1537ffb15d00e09 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 30b6c2e974cd2da59f32add24e209be98605594f 32427f3247c39cd021df83e286bad085e8edb40d 32a632be8433576f4cfc87ec285b172c7ad0adf1 34221437a109a5594ba7786476b5abb5979a2647 3b722566e6a6a6d64dfe4bea3069cd97a2860e4f 3f7a52736079f3a2d5a716f58664b1913335d539 47e756eb8636ae441b20bded9ff8e438ec9d355c 47f83d20c1b8692ffa67199b5761181969f9b31c 4d9e3a4a19ecfba574d07ffe568da104fcd573a5 4ef3f82615cafe36872080c63f0d609bd92bf781 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 53a7885fe616a83d8be7a1a17c02b88be6af0359 56f9bbe1ae24b42b2f1cdd0f23b3815a49036796 6182ab98501d24aa7defd95defafa2bdfd4efbd2 75ab70fea14c8c654f24c0e23524b0fea077e9ad 767b848e899bf51172cfcafea6b2fd397e8b0312 77222580c7c7ecd9bf11814237b3d7a6d6d9e572 781253a33cebe4f11895d825e0c5e34b6970a13d 7ce48f292a90fec49f4aee6f72f80a36d4a39965 7fac9826dac247f0615ca2a2625a718e19376c27 82fce86746f9061205d625fb926c1da3b71e3bc1 8ccdec289ba1954efb6d0640b571fc84972bba8c 90fe3391631f5ffdc1ae875ebdebd0c8332bc8cb a3226ceec7ed2717f070670b41ef8c46f8bfa8e8 a6d881014016ac510413e96c94577bf126ea335f b9da1cf9d5ce6b6340c0004876dfab2f5da7f51e d245d2093b2eed70c0dc77b72bb43bd6885c0f0a d9fbc7f7eda85a098cb7c62a39e6cf3a40c3040a e21dbaf449637eb9161af006cbc8f4faf91e00f5 e3665764588de24c15f05979770d43c0f6a88276 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b fb6363a0ee9de856decbd42448870af989fc821f1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b