SQLite format 3@ . BBh77otableisabelle_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 l| ]]Category3:threads=2elapsed=927.353cpu=1621.052gc=90.020factor=1.757zXZִF! '/]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo :=9ײܒ %lb ]Y?ߥAL.^`-|asǁW) :w3s'-Z ak `wIEe {'}r}hf_/"b%be=! Ӥ.KT#I$i"b)5Hm\P-gEu=k\^24|8ћ(oPXZ%1$[ 0d^5aȾp(oʹnSO,#/hzu$'?o!Ih0)',6;*8 pNա(]}(Z×5YռB1ju9λsyz<_DЇ^Fw/HXntňnl-Uzuy^='bV0O$7dڦHKA01 X{ qCxKR}Źݳˉ'J!W,@Ӭ|7tVy1 :קW寧C%WJ" <]Z+(͌o3S]!ƛ3& tRfwnrt%ʛ[!* e$~ :D7] >BOtΰ:4>!Y^.v8SOzomBX%pb/:P- GT~ߦ@~a8GV`hj U=eY * &~'1z)Bpn+o3[ryг %>mMno!:!m&gi(xC YݼSnpOu# zU 퇮b5CJڬ,miyL X+eP[  k8}_X 3rjY̷QCnҽ0RRG@ X/[&#k6?8`jԍM*pe؍\r;fA7S]<ϴ⥮rߗKa& Q}'sRյ|nQ)=\t/U)lrƾ[(X.>WZӪ?B"0&Xݫ:`>L$w'I1D|gsA .9U4dC'_e1:^t aM5 (e .A70?t2ƤEڷ: - G=.v$RK4 CXGGVM{ q=s#+#[Ү|+<W|qSl}7@#lZTa;&`A݇fO߁/=~\ M'ܼK$67nq$&aD\OfS=qpQ zq;e/^* $\ 4:0r*CN:Lt>mvkIYy|Aan7`o"oi>? 兞y7:v,QEPrUGQ; 1{kHLȤS(T gڌ^d`*9oN#- ߀љ"s$f 'K.xC34yΥ`Mfhlb}I4[ ѹ5G︜"! /5H9k 2FMHn:Ҕ[Hmp %"A0~A²#GI/\coDG' )?Sڀ; Uw[.nh0H#Q*Z_6\;Ys>f=o[[6-j2Kov}?PbI۸iUx>}Ygkgr/ 6_^ռ.k+ ̪ҁ.޽?1\m;de g`}]1lL }߯7Ӊ Q+.- aͩ aeJŒ5ʜ8J,S>;2^YwT\{hBu<ѦMLv]Ǹf p UNJ '1"v@4:__ib@g?R-`eqUJE~"J>&JK4zAEH],c+Pk 3f}s1y#2U]{hQT=OUA;Y!]b]3;XDc{ ũ'?'cQ$ngBڤR>H%rъsNbQysF[ktc AC-4zO6.Kx yD^\4CĐ9ۜI XDSB$LeB@\-@<$7UfT]wC)kr5vsCL`֬,ue׋>OݗCv">b W@KdC}rrޥ#mS|af[ۭoSfA果s7Z]e*6cLBQpI+ZeW~@VDQ#T:8 ڼ> V  sbj }^ӃbiW698ڻL9:2 OdF];Iէƒʾ O!QFŗYMsV-fDNI8FVǯqG(ߋO9pE`iWc&{%@ c˶fUP5j}r70Zw;TCY }=ڮlL(vW4o" 7:*GK>C,R6|nwɺ^EGؤnSR7efb炯+=RSYTS j{k^:l8=mL= ;2FhU:$-`seyX2:\dD!'#rfEd\ԶmihZ`\75cR3G5U{8j?T[9H]` 2HLa]B_Q0ʄ]KTi(5d;dqVe`v-/f,Weι;/6WIf 9hnMAͣTS)V3>Y>-qw2$ጁ7Hl`-X$,gV3L*NWNWߴ{Uww3,>K2FCg*,;H/0*)$\Gw[m *񴫢V@=}uAFRL\y?FCequ)f ohr 4D&P@~l(9 nt EMlttXu`󯶍muҊ h U~UiNDMrr3Gel^p=4Hޟ<3ăi(4z},JtK?ׂKp([-?|o`%jy#w=Ɉ)#5UXaj״sWGJ 륜Cx6X+2n77)0­A0#F!|xp# Y&$C+ӆCOoݑ&+8x[,~ Mi+ 6`_)B?Zf"ă`t< íovS_ 0`Ĵӽ'6Ê^g *N~@Iuu SSneev8&۴]Beg"@2_E"xF [̨q*-s |=RC訷o嵚&LvT`k3v>'5LbD[) [ <)e*{&b`(]jc!z&xqOj(yY w>ˤkN?y45{,ؿ9*N!7@\B^̠1(B.yi7T4 TWbyT++f~:z87R{O`rYşj3M(^~~dϙ4ffz1d:׹9mptI^2^3%ΎBɉL]ج"ɘLs8l?;&8N:#eHS k< =-U㫏څQBxHtEg7j2|(}8/HOM|Q#5>ƀ2z"xE7̛|_F^-`{y f~̧ #* auq8PcdaD-ߩ"(2ߓKݰK'ɄoR*ońmP% "#}thr xrs&?xQ[ނ$5 =vPasA]zWj}eF>^#OS;<"M}<.B& M5~ F/.TM( D7ݦtrl7xl ba7ZC⹿E)?| W ݪ~tk bd6ћ 8gcVU=',Q.,(&|Tz 繼pm/{ *e)Z"C ZKR^2^Gr6g.>Y->"M Q}C/8cv (4gp(yHQzѧ<סvs=Ns9g"du'ro.MjWz$cI5UֹuGN ͂lNy09 PdJYRN =6Df0iU842^Ԑ7Eag8:yLC:ٯqɽ; - cfo q-,#ZQ0 ^ 2q6Dr kSa24+.X`QKdMdӹT`}+ 'PErWjW&=w\l` ax{;'Z:4/BYᚤ C=iUuKºV NV=u&gYZ7zXZִF! ]ŗXiɟy>ZrY|F q!#ݿ~ZWIF*GYj_XyhT5YR*;}V/[ ]?:kGg,)k?ٰ|r{ S?`ٖ6ğ8waҲjb<[?;GJ5h[q:?:4::x%-"חҷ&=Tד?}`D bJ41/#}?0W)cejUt%0d[cT L3E+@xDmBġN+i+ OvΫʲF `}[3`!9U}hc7HYo3? +@v&p S-8n( j44(v>lbF0 3 7N //y7iZ|#RRHrly,j /t@ǁ 1!Ee[dA+fةC;TUhfcy#cNśۙ_V3! m? Lvawq-ƕ9zXrv#Ojre``ؗey qЦ+;J˄e0(Æ58\|]1F;îʑoSC$9o;v}!fЯ e;>kB|%ДCx}Hl/>h\g p I'/[lݣ9gZYig23⋧1'Po\QD{/fd cR/\ !e;KTJ3L j}#l;ؔŢ-6WF^w/<@_mwy`>R9xƒP۲9z8&5.zS#6w[0:Mo>'eAn[5oJQ,)WuWv蚐^nˀ |%*(0lZ ZAtG>M*m #"Wt“ZJ/ }9sb[F˺$:$gPѻꇪ J`kPn;{nBZF[ZITa=10u$. \cSe_E7yF5cԽFk@3vxD{\ j@b|@7~GY7ҽgGI1⤤~ӥվ[A~a'ޒϦx `U dH[ݍ9ӂ4𳘴1[*+i=߷Gd>A~9_a+Ah٭IbГ@A8ŇĮw>8Ϟ qLck 6O֕^$@`),#\wIpe"<4l$P;,o"!:q*\];4en]F0_B`mkȌХZ2pr^ڠǠlL)BNYÍƸbLBsźXrPo=J)o'cKAw()K 4ߡyj,6?f戽č@fݐDfYx(&x(ϳ>CgOŽ7c,qqgjzɌu ֤ꁠhVi5DL -,yߝ%#ʥfr>_H*߼zj/lݭ~5"u3ٯNǩ9 aL^ʷF*PUKu:KflR”pYڒϚ ;z(HJ.9-"JE(ݓ*օ.lDEǪZ̕==ӑn+6?q9.(\].i4qD Ga29߰$,$r7`QچljLc6W3mʔD9 l.@_q+g妈Ncv Z:+-r,h熰Dd72+-)Ú#/g Wּa0c]uD;&(#omRfnz]uKriO ̞Kt0/P6wEZs<\l$ax+sڶeh8]?Zi]|Zwt i2nxFbkgɡ:Tw^`w[ƠZ4;E?uXHcxb閉[OB<~TУEBL@>7K]x+r-A% Fm h)ۃ;0(={&@ vThۡi3xcylT:_){> .Y2K^79u̫ޟ`, hhӥPezusXĭ Sπtjq4k17.)NIsqk`b?XW} YJ[ gkӑByz?b{+"AnŜW-_[MɍrTŨTy2PO+ZF?ddG-Ŭ Lfʿ +([ɴi#\DME0njRdi;y,N^کwB Ѭ| geb_x^} sκWw{Pu*t]ϕBB5mԗ`/7F7v+o=fpaT% h\Ç%n¢k(ߎlUP^Ȫ5"Wi¬n)J6(k$11?*qqfq@bi1KY;|-PwНY˝DBiP1.f?PHqf2='4[wZrGdA`bv9PN%A'ic ժ|/KRb[" ,2%fS:>4럨m|W M$IlMϹ >YS&j XBYy4-KWq'f=G+SBmQħ=jm{Ȅf`a"rOH Z %)R] La4SrBr%jZ:FEXB!4ic]l#,8mdˍMS$çM|$~v/O7y|v|ќ >X';y$٣V7;⮟/ :#Ӂ+n~J1-` /+% .K(u}\Mm5CD[لrלo+e8nTn-?}=poXSg V,y=dLXٻ~}{4#!iM6爐MT⚉@'1`n3"&R*l*?5; Ȝg+i{΀GV tdX6rSKR/Pu6.сq`ЏX^zQ+q~6 )XǩZ?] Trs=df fZtStBX &I4ZP#@s0Ph⍷tEW|Jj#3e12.?Βڶ%)dLw>=14"P[yIesD`]gi>ɰ Qgtn~~{|^b)}|n m4zoNab;De@($W(KR=OfjlİAĸ#קW[@!?>m$|V=u:\~(=EPuezQf_C#D_U%xo,f@m;ךЍ} #yd^B^\_6߱4v>1>HQ F!Jw= vӌE2ңL}2C?Pk%xҮޒAѭ=)*UB鵄=p5.ŚGNI kDݙaԬbP0>ku> yW޸j4t Gκ{#}w|BkS^Zir*r.GB"*@[SO}8-m-ier#sok!>yKr5ʎ; i<*؁ցB. (/tX LkaZ?nf%ILɗsOﹸDTzJJOiU~MG@O\~-. 7kzR<&FM̵鱙CBm0~娪v` R-nvC0 Cƣe2Z; g4dwpEUn)K/ fD#KR9GܾwPեH= b2%94#\z|q{Nf#U޵pđbW9#'e(Pc/Lì?+Gݦ 2T8 "E"61 KS~ұo -rY.Bw,<(utIa6üO]S{-̊ݭ=mmsT@c \6vҤHʴ-%a[~uIbyږڥ8T7a4MJ(Zy9@@bz՛bbX]ڂ_HM=ֻیs࿇h0 /u%bqk6u188"}q9fhG[p`F7(#E*3ަs$(}gД5h/4$^Qm]^_B7 |HB-m[ A.L.nd=xpFs_*?h_w{},vnkι{ }3e^-V5pN%jtQ+P?k1#8}f?M&, 9 ~hƲpU.„Sܸ%14]npBEoM Qݼl7`NHhs>#nyx%hv6MIH pmvӵ\l`hF/ <Y_+oFfEZ pJ<j= |g ;i%pTg_HR'x `mq)[ݒښI3}kBs#dͨ`fIG^}<5쑷V!2OͅIVY3JmMyP %\pD ɐ*OHi*j0ޯPi/@}I. !MqU!'pt3S6G'Ҳ獸]5%@9%S͉AZS\/nqtVԽWW.p1WiHLT5^RuAUmnɣT> x̻RTʮ$gۮJy#Li/.˭a c rȶ8(wP3Aw'<;"R*~33fQKkSy.+nZͬ2a86K#(HOڽ3#`{|Rg Q} &}Gm9)2 pOzFfl.]^ f;\d_Ъ#@ C_L$AGƉ!YM9겧=e}W|h-P\rf-e{/V*tƾN=}dFĦVXGP[18k^Q/!wȕ4 IyHX6I'5WΟF&I3I$çy8N:!y`=;Zf=Z 0(Y$ohfj D :xh=ID?7/>>H@u].EFL>]89=dz~&ifΫ> g082vnzƼ?VsyC GiE%#0"97nqi7}cK>g ܅xKLYmM,ø x%#'a6Fk`6xe8jﭻA*Vu##BhN7V?)Nܕ3K\$m5 ┬'S&-Z¼WUL3# 8&"7LqLpcWt~(dNsasӢ@eO*3PcnQ#QJTM.Z5Kܗ.uލW=nM} Qђ%=:};fx#$uуi ׵^NHC- @,-$p¤E8HG5mm >+Z0\SI0iF 5huOJ]wo[T+^f,}?I{-MM ]u$Q"b`>2'P.AaMW&uLuQFl]L9R6!tUP[WvGEH7t2݊6h0+x, 'CY*M"-Q'Zo\98{Ry9߹]e#M-O@(L]dt͚2_F@š,3KatSĹLLk2 n 09 %9>%OZ4q),'CVRޣ?h$!4${ %#izm"*,]G chc}qz77·|}*͓H<5|uwd+?zCs'~̸r3C+p>kwvx_yaG{ wR|q pl}RS=ՔK7TCz[< &lpD[3T5C) !uڰNK{BfU/VqY;8ПOtR( 1)ؖ͆E,/RN|l# D|uזWfm!"e9TNYgߖOk@KU;zv I0`<q=^)t= ޣÌW f5^= ]9)x2$ϭIÊuܐr*([1HAL[{zez{(vM_~ei3X)/Q?bomI|-uok/Na,\b5ֻ.3xɠcߪ=E+*\)P(GEgE޶F,}!6ú(Zg3GmP] VX{xƍ C_,,56wZ>g!̢|[(f/D ,Օғi}bjG>7]z5gKΡ8How@edD* ,RgB;1 3>Is+~AԒeO!IG칇b3W=BYp]n;3#٦vF!Z'_8dN)KR6?8b,$[w;n,a u_ Ug ȚV Ih4l̗a=3[ ESЭ5Q IgA xNhiRD`H+HAZȚ4 ġYo ĥ `HiEʍR6!vRGpxjZWeª6QO&67>ߚ"g0tZ(5TVu?*b'QYc@q( Zk|[};ܗPŬ_d!Z(Z3uT>Q'[w Py,#)?܀) d(vW1rD+1s800\xI`ZJg:VLQB @b797! 0!+!O -eƕmWpUv< J˛1$a?zd;MD[#4 Dm HnB`Ndîoڿj+c$g[~>i^ը]AZ$yyfqt/~=W _.$Тvaw՗P5mIGF{!֞QQn*۔/d?\ jlxZ -twYEɜgX{E +AOC^Ϥx]L|RO_5G;0×V|bNl+ Fj|CG\j^ۚenr[e-aQsGbux7G@>>}m{Q(Q;{B+Cs̓,<)i, f [;hMрM1 3cdZ HޗVV!-^zbD.Ef$ yS5;`l=/oh27e")iC0-]dom>pCXI0[@-lkW.>\7j@c:U(tT[@Mr(vp!?֨zӱm\pF:ir"(h=gj/$]!$>A,;(% 5 7f^EḦʂޝn@/UHKp{οm .O]pqtx Tѐ_Ɉ:>Z-D_Տ}kY1z C $H+oE^-[3 @9gjY~ 3WZW"UbUI\NIl O2Cc @0d3۬B0B%noaD)!jOqFuIbA9`mT.RKhtAU렻[qЬ#U ?OUk޺ۡ@FS:ӯ#Ǧ|8|pauqPNkkI|өo5t.]Z<ʔz1&Կr *g+4&=D2 Y%oh#f~nLs[bI( ۛ |M*xN;}U[>Oei (G߼C}?Wυ<Cњ|T4 08ĆMW a Kr44}}#wg`PMmNi-dD=i\Wg7R m[ԚMI5LB+u)gʵqjylvOkLk9A XTsqKL$m ֚pbR0I+0_O뛅d +=eǭDa1kƠ5ɘۀs ^ t7 k@HtDq+.4a/023m3H*g 7b=쬍t+]@C'uhI0?W6]X/XKE4џ/ \ԩCGljz]2ug;oHz^kZcڕ);1;֎n-߽]5GE@.WY=l ԦO;š>L!cs7_orYMr6G&ԡ"n,xCoGe k}DYPuyT L oڂYUJ紣jWo'o*5p r^)R+:?垪4ڦ&Rw[G *˨[?LwCU4b1L `Vl]X?aY1W{m)4(1Rv]ބ3Di/)`LȊ; $P -K ,[>n[|xf}UQՉ lH#MP4&pFa:ԁ 3 y GN3O-t8^ QMwxLhDZj84Q/y{v, ^WkkY2ǢIF]qLWpJ,J\c #\ST/2d+YU5TT 8-؃ R&}Q {-P YSoLoGZV³JU>ǛyXzd|{jS1V!\:,ҸjIDty\nY jdнְ”_Pw!~YHÀW[ qCdvPBW^$:8SLB4W2TpkhVSi9JIOB'FIb]v"p9cB <-7$VQ.ÝZĨ m^>⮇[<C xR>^bCmYl޸~&+f`mjѸ@x%``y m%&ad!,CuE6[Z<'P8G]U. G/}ʩ0}: ɆyuBߙB1 vC5lY7`@_Q|/sFTϝ+5rK2nvXuz=<+XL/@ +ßs{埋(]YʹRx|Sr|Mi6SHk"&nNP GP/w?iF0$J2]TCW.d7(0:l,2v9Fm?'ȈW=m?s[ZUX" h19:A`#+c)E[:4b=m,3L:uEtN@PϱtUAmYji۸dھ8ACsB<7B TEmIuH@<HUZy̜ _-K,uZ |uwǘc3LG9{z6Jxl%[)D2y1ȵfӺ=ʚՀ*^nL ƠZoV`ƶʻB퟊:MЄ =٘t==߲;J( Yhg/tLz'$ئ[)?~q-T 39H"c@A#pfpt6thh0hwOV{m/^H>4'5S JIo xdꭐ2 ][?xXr=="V%,K ).荀@S[bdzfåVg@!-?Tppm?goF/s# `rN [%II2{uW{=PhbBGLuTd2y{gnY^uùQvNKi>Uvxd%m1kwaL8K ª I(,3 ؈uZ Q1i1zG3b9D(+"s0*zo(l!PfЉ-˻K/h&WKN\/{ 10 SV>/&b3 zT ? FG^,݊-Ne3tNDZ~[rF⹩ Z%Sb ]6&~'JP?ӛe׹oD4 P\W¶3GLYJOq?$Yah:n :.$i,:UwjO[ &?^opC6APouxHESzK";YHKSFT iwKh {! ή""X4fLZ-KػM-=3(C07*kxCnn#D:- YGy+ vTtg,mB%@o ;S3{E:~Pk<>J?,jk`J)@DҲfcՑ ?5v*Lϡ(8Im|۸EHR;UB+E>ĸko%,ifG?Ym$8׎vEa<sƑ"$iFGx{UDXVd01JtYF*6K3rZcfRpv(Gn28ğ`aQag&bO= ;u}0Z!i=~DZjs+K'ׇ0BC$< uz# 恐u5c{Iz| \X IO"fN VRncLA'Sy"4 :fQoޏ&B]zl3D%&>% 1,:_#?]]vHVD%PMB1Lƍ}ke{YYi?mxNLסԴAe ՃǠ$x^ smK(tKXr2z z @@r`ް5HBGCP2O=TWܨKV^H-(韾VRewuV?8/A_v_xh--hDy ! :Gc9 U?¥v\tMܶgXM?@`Zm **5ĠٻBM`ކ'ʡӤUC,K/&L&h(Y9wWyjD&ik(O>loŚL PWU\ldM=<;Ά}B,;Ot~)>pT->0 ?ehZlB'BeΗBŻBĠ!R-d]b)(eV~}#ѳb! ૒$\U\@0Mjq:\I71u`aԃE\*te%2@qe+&js7|ܦ1gF6CB>@&:1=q\I[yڱؖ\]>e[vr7hHˣTɾi9fmUwl u>Xg#D0=ۊ6[=|0\)]u :Jyp+XI'A~2IM*k!-tZ񻬖1Tӯ@H^  Ӳo4x&&Sė#;HN⬣pCw/^X^wHkZh0A.(JtqۨF =b`Y/VBӄco-GQ XCGPRǑ^|׈SiS"";opw3g k;t|Zh?u o<7·I`me~gIWIe ҏ_Cb?g).Mp d60B§׻;O,"IŮ'Cב6ACⵀR3?6\)oN{&.@GAv5J"L5h倸$ڤ8ȱ ;2i~U\`Ğh'JcTLu)] #$bӂYJTM&aE^m\cKR \[ ]D;1BwI<ɩ%/9 Cs3AuzO̚D&06E1+Z7R7P`z X$x#V8՞v;|ҺcFg>3)>V4F[)q# gT5HK\lҹķ'ado-m,l(Ѥݕd ӄ׷fpO*rIdVe< cH duэ$*HPvWPu*&neܹ{7[\F&dܻ6~K|Ns 5qNae_#\.7-^N [%&<^+g/[e V~h^"!Kiҵ;2L/?8F<ȢVܚpfn"7JfaGf_f" m]¿me \ԣ2xv~\NΏOcgGL1Z(2?9K߅p1DBКH9}lhI֜WkDZ S^^+#*+*!' #_ B4GS|h2A+MY;&Y9yL R!u,AgQE\ gbt xhYKD_(3s7S6_]ӘD sLν@yQ\3*.h91K4!vspEj )@U[ Ṳ"!譮ob _ i(mQ) !$ʣUHq8-Tp^z>p 75.?\` :pȼfWz?]uƄ75Ώ[#ql6VUŠ*C;ꝭ~ڷ{RpX1C:eTŜ$Ӽv 79?7|f0uwA ''*7Ȉ+E0*TOkII1kY]VJċ^9Tl;ES}BlEX"Ls1*prLL?d+~T]ϭ@]ōƨs|{!` ۯtxXuE [rSa͠tHJZ TP GFiW~Us}7!'2tb$j߆C-츁Dj~DEWI.@)-U$m=Vb-SSyduk CQMP B;芋 _KIZC$ãK _Ҡ+A$006@ jf7x['5gA7䏈8N%5 1d ?(G{lߠHџS>˫kPPFέ/Kn|2=3eLQ1<2[CNՠO 7K5WX7 ?_R}T!/͹43o+{{[(q4>d ~-&di#i"{0Nfr_ "/ܩ|hݜinj mv)*-eRg,w<)Jē7ޏY؍0¢Y׸jeYj!TlqѶD6 ؒ: . 9"%'tݤ $ӫ4,e<-e: xFs rˠ*K`MN?HĤOV+]txGGg[WnPLG]f0zܸmY3 !,ȁ~BZOik|c4W9&wTyxչ^AnIqhGxi1k888} @4$쥬 J~M"DXZ$~zL [Bn[?&}>mIR5܅$p$S9w,c̰޿@L@Cq#ѣ!Z8c &"ű^e~=(\[LJ<εt:΢2e`UwfZ Cnuj߱2adS~ЙJk-fD4/KrNQ.\,iGb967mOgAڎEӰQWyE C#kݏ2mmf`rj.jS0Vh\2]WP#-}"7dJ7]AdPBXA@SIrVj#@0}NT|bA2zsWөԹ 7FO"k&EoX (Bt5ek"eF JoS8GHHD}Rg MBڝǦ6+,cPx.v*îb֖ x\#VJ: FΙc5W?jȦ,Q ?旹 =%?ZjTs?޵3B0;~O"03+~2jkNyL>hiGp1GAZDZ iΩӳQ Ƚxc`=f9[^!58Vე-rH-Q4x!|Tp,:ǪSOFHd}{6-c+(wLLH֝h8ޣ6i]5ONiY5ճ]yR"|A53MSt͋>"-~ħ{tT`& =]>Z`X"ipٲMi,ϻ"gWj.S*-c6?"3mpU|aQ?MG=܉8eHI7MSजI]D!bg܎s}L ~A"7F$` i f7|G&0iL2Ivm&{@%cL'ԾLY Cqx3?29Z9W#ҽ1έvB{HSQS~9fK q#t[xZAPodv_k2saWbܿ/ЫfFx^s+DqjI001fE$ݓX/G?uhi(m6~>ж Y k_)[ȟ0I)Aa\,A.v qilUQI>7y3 $ SЀ|O[@Y/J@`D$R=<$$="3 v@sQh[O4g2.QChiZ[d6 ;6\s* 9bM&2J~L0C15:":;N-<7?;]'wl#h3Y.I T9,%"G"51O \}4$bLpO067f̷<x,{)$h1^)FyxUFu'A0yn!\EcD ĪS|R' [hT9C=i[~7-w AvSyJ9V`(3Vb11۱Kl@|f{;9KHxD}soH3pG(Qg^zX}]AC^,;(ЀǺڐtQmǚUR=f ̽*u8#|V=@+t21boiDcKTeup`\8Ns{Rk&+ƸE{T22;NCdXڈ&q'UC~Bo94J\zp!c3bM.4^f!/d%Pi(<`Ŷz.&oA{&UkJ> =xuX GLQhvE^$腪)MM u7ӫRe3z-924g`rCr _-^E$~ĄG9 v O Ʈ; k-*S= k}!Ttu)P#-" -^&e@ KM6N&:^E{=Mt?rjz)rfW*~ H'YgX@œR^9n!YMBdm:daSk{=(nPIkih?tc{V۰wq6 4VX6[`p14tFmRUrDch/j܇ CYR3OkSpJ1ЙXf3Ɲ **RDC#y!MTcG 3#bGnO˶!jXV;utjAGg"?z܆p5Ro7X(l+*s-92_jXMI"v.M81G+].u3sڍ^٬sk; 7>%^Dڍ){(:XΩߍF[cATD OO2V)ſ<9+WJ:fo8&‚hpsAV63|YM7p$,puN x{qf4ߘofW( hwW{]>r[A0D]ʴ7c FQ]le@CS=b݅3ߡ}t G)zS$t[GeƹZxXPy?J -S${s37QrzWz$@l d R s ^ 1-%߈$?aʞeNPVw]G #!q~fxWvC\°jgDXdDŇY% :jq7-r&:4 Ga*~< a(Cyr]4rn@-ϓQ%]޼?c#baEe&g [:+BFǠ/39dy4D $_|aMʝ@P|?k,8`]#4!MJmZ랪])((/ fWgYf6U\h7W{,:\ml)9A]*ȺFI1J;]?tpFPD x>MqZ BISYcCæع5-Jmð9  ,RJnFUQ(>k&k |=JC&C0E@q,j1g!`9|mUTK3O/bxxmQBTȗ !4[;f%OJ \,BQt8jCjywQ {<8/ n}«hu/BDB%>GK=@ V[d ?B?Ŀax=e q[`6\IIe #"̸`B~_vnݏ(m ڸoGaT~B?a5]XsMlȅ,݉ sZI^fl Hd+/6lCxeɥ*.}88Du<D@l/ס8lz C ,V694b[Fx w%}[]; =۵* YpMAXlﳝCڬO\g/S}+sY E@<r_X&G$ ">KhԑgJ \(d-+nr?*uq :!H՜+d0Z<2rhZ:m`-i0lnbY=^€ӕ jnLjZrD@h%7KM+ aA;aDʻشtk)x(> a>OҒt,. oj$qM  ^NsMOv]ӛlc(EglQ}0bclDH'5U=jɘ%4A mSpH[CH7e0Y8X V>Ðd ;} *G3֒C!Lv@sږQ|o}ieA6?S>T18vxY3/^iOCzah*9\G@ 8Af)Q>V+1Bu^]M2t}T_{A*d"wUaecpWZoīOdZ%Z?yTLmsц}i E,%FdՃ/eᠾ@8>>:Uu2.uO(|63j'kjfی[ jԻ܊NL3oa{K䨜p֥F2j=.D3v}h:!udȕYOm{W6=~"ZhX0 j>XEFzZS /f +Gv4?ʻL&+jуkVi]{>Nwf߭%r<0D U43pSLcS-CPN'ćع 1="s^y S`\tt`j;Si},۪gDđp=WѢˎ`*Jb\^~r53Z%-_x3L_s:vzR=I^Sgj)Qv s|0Cz3#&$'V-c<=wcq>^]AEEPVl1/f\G6-/OI)IXV?5r-4S<}chaD|^Uk~NDG*5%`"{Ի/%Vn*Z~AnwY$J.;4 @D gZ+2q2s*|xozե_md{yTxv=z96`o Q/RXMe߮j>8רTETtH:  Qwf~O'Z9tvrX6c)PjS6̸Wl.-3goirP:?9K˶,T^p]k,hҞTa퇗/I{T ^瘁p+"eL (k'D8sŊ!~,/ z;yҀ_Z㊙ TPR7eZ9&>HgӒe.Y")(w$XdWxFx(Ɩ Rq|¥8֨Y~-J~E:;2] ,K p@ P (H'R<|76khD]WcyE pC -$Q{7+T,o fwcn%J]j.󛘱10 re< o@U1+Hp]]6X=?83451xmCrLeڟĂ< {3f mu ) 6z`OBb:k(3)3$-hRz F\' pA) g.0X9@?*#e k @b(}ك\*;ӂȕ8.)Bͱe^6դ>NJs2%ثyc!*uZ;!I/Έgc3RdKh;am.K#$\"둻km;@NolPI*o*}gAjRl[VM@Qg)&;xRp+`k` MsB ގ_ͨZ 5A (8E%Cg{v摞A"${vE0-Dq8qg=Olώ=Vqm'\]m1Ih_YV.YwL/><{_*d^$8&]|]ONBWMB'EIv+]dtn@N-jODgƠ(8%Q$d5,Lf.EJƕ)o^`i'ug\Y bhӤev p9+pN9%]~ ]"ɴmR%I]$ϖp0=^=3Bk&d7 ]+$(U `qgQ=EFcwr8ZhG}Dk?lk4і3fU7skkΈ#ڦQN~lڟ4P@R[%6$m-xDo6}#r1wRIq6uisK8r1HP分@VskvH6ِF,{r[쥑"sk.b,/O%c_-25ԠMypyʁՋj:@WfxH=9т!X`lCt@<K]a*>8C,!R3z9tX[W*J}N/dEOazwo.CifUdN^^g'99j;S߇B/:<4كX&WKmRvkJ%>x̔z)ӤKk)`^#^=x7';sp%AS/7ks'e7nBAS֕zv'o%&ߧiwG g1DF +ߑfꀪQ[<wjk]s~46QeR!*x$ќeZ[ ȠXutvH|:>%Wy nANSVU 3rj1rDIbkmQEJE6dYz,*ֲuq#d'H *6 N :tVfW8PIÃ%;RY+J6d_hE|AQ28[L UIxH}FwWr(f@Z߿֣\X8dߒaٛzGzDND[F܄_9: zyc@Dx|~J޳ 9uJb6Ո =+(:lf.u=q9?hN{Έ[XT|86x`Z1*Yi&X󰂝U!ARqٽ. ȷh0G2+s) ?$eT#Bs<9_q·s#4sE2xvBK8IhJY>N!Ql J: oRT fYE%x 5( e86HɅlZ9>H F#odS@ `ݐNww/"` ޣ%ܓx˽/`ï:?zHUkFwlx{(bnG"!kPLeSIvߧ >^mnT0oQ`gZ$<[GgT3W5@g^1g]X'+U\.H@ 3&&7&%󬌇P-T[{m6lh?yȦmwΰH^PglAFN>AXǶc,re R|ѻd&Vlx{p V(߬]Lr8D ]ҙ7]&3a^16GSR90#za,Xq-р6!``v@NZ2$ (WvSu[U H^vh>⮐kpƋ~d/'*K@ۥ70{Zw'x*޴eAU;7u/9`s}J OM+X(ux H޷v sO&<,릒X@_ɪg7OCJ\& h8pYB9koRԯ4D!왾Um kI{MКP  sX?8j(tn mG;߷$AٿZnE3M`-@8//V-* tX 5J jaZ 1%?:]\Hmv@".&7g.UUfy~NM WAϛhvK[qbԦ+4-SJ|c vsBώd*UQ&x9$u͙:nu(/ %XVEDP6ތU *M-V 5Y_@R6ul)p׮rL grꆊM۪ĺ0O:Sr,i -u~Vjy g5+ X\=$3=>Xj$HHT߼$=Yk_d| ⋔@f":vi(J|*y#;V;-8PCU3oj$*qGCq˼TB :4Rܜ%'83Bn(izU3Â\15/?$(nIbU`<W6ltn,26,֊/I0ZvYu%^37(KA )$iOy7fD@F::W凩d-PriUv*;o_<.B;Yuϔ1l'p4g8\VұSNe7F }s<\t! T4֊=ɢ ;=؄CхBL־K -S ?Iuc-L5Z@^OM<^ 1G)_?O߸=B<_VKB$-[Gh7,K9:JEo;G(_#7U#Ŝ&2,\fȖ+ `* ߼s*[aƏ DuϪ9L}PQ* «nt5#Rr8iXǻS_Qȣ Ƹ6T-Ҍ=-K), PË/8c|F{fR'F2-YQ M=UNoEʩȱ)#|`Wmds4O/"ՙ& "_\Yn?YҌ]h( tWmN cY"JfF)ex;KCNӃiD8B8C`T-asiA(K_zzP7n,sAⵆ"q3Ž)fhekHx~aCZyK AvDA!C@Õ6[Qf/Q uXFQz}^kt' F=zԱ݅"z=nྎZd)q4y>@V5Ճv+P*b-!/SkY%cv,qӥzX6R%A"9C-T׃QLr?NbENHWoIFKC.jC넔l, 9i3|jGԊNˢD | L>}x'eL{[3֙\O̊9J )(^u=;th4(OzFP?c{ }lz5B9ClqèL'Y89O1 gZ)|BA*0jm@X6n[CL?IŸs=l9= Ֆj6'O![Ul7f)ձ]Z*uܮq?};_.yTC⪸x σ u2Q5Z8I ?᫡R޺0,؅P[]  eFޘ'D/ԬUip1YQ-Au`DblMc tޙa ld?(syc=Ğx/=t8-s~!AߔUcn-%<'{pJ}xox&A@koZ2]B=mQ+e6YvlD?[ָ~ ֧K6SM{(t $SŌ=-vmSN }َ_ 9qݔ@jpt$&C043=dΛ ]iumo&]AyChG:ǪUR(L~x M瞸˽Y|48/(hw@ |y}9MLץڷvqA=t2` Jb~:EUcPka3#ʾ%+Tp5fPltvuu㕎\bM)Kat$L.av*(H>f3S䎵e<:OJyQcbT\? @W+l3tJP:67͉Xj1CYH҂oAlڗLPf#Ċ1K8Ut"bꅷ7RnB"p/;rU4:p[¡MNQc|h{CC!\^.O$0dZ*}<{P6 Xo}$̵n.D5%ۊ肘l{o|҄jr,=Úhb9~a&S0Hb>n] DZ=)E?AE@Ԟ*B[d促~œ[:h eBgSZ+X+7܁޾Vהjmq)Ts4Ouꂭ4PgS*`ndq̔ UcN1ٹ)g(](NBGah 5&'Sɴ,bBM9 TSA65VޘtWϷϱO`z9MzTߔ&$=7)` VUĂR⋎9$$^usjLHPљ";3Ec"ɴlc'͈KPp|ƧA 55k$Y-nՊ|} [̡TL{əT_j74W><]̖ĬvHZ#{U7{&* 7oBf7VVwoLķNS6V׼t1\!+ 2U  ҿDX.M5+llsާB Xn`N8 ̵z TW9~y?Ifۛ ĕa }HCIVBzpLJYUzΫt"[Wz1T=G2!*jҌЌ45R6~i\/)`X>ݮ4>8eE- p] uE}r{wN.w_A9f %ys0H!99^TNJ2IcŲ% ǘlY`%K.ʠ ]wļйw&Nl0&HׁW;1lu+ Fg>K7MFɿuv9guK2>=nVQkRgU9kEt^EK⩴@IȨZLA``P&&r]`y}> bt~e~Yeow2b32R= sF|M\ u^s'zBEziLۣ5)ȏont(qJ}!k^1 x}#dy2ANDf1Dc!\I]R` N_,w~aUީe ɧYN&XWx"}lىb>QɿƷ LOu3wB4'=p5<\c5+5w .e{S6~]TiV*b(iK4/#T6T_`#ԘN߿KyRXOY)Ii[E &鏝wGnGj[iiS{<0} 7)n/]R GQ`->/vVY "5ղqcg4V(bԁ1 rz4`PJ0U4u uH;ZFh<-|sT8@#j)43[Ď8zzfBn'e#FkelfvK _[͂1)Akz]U?cNsˇs~V ][Q }+ٓ8RY-ӒqmƴEo.uNTVF)9aɭQ;qPֿ)C_C\X=v+?[`+hg\8nЃUnApNyX*u$ W:3Z"rq1VզYV> :F&I@d)y7ec!z(rEy*DQ5]pd樺}e勱t$V]m˶疷m;=I-qESH$њ!&6ZO/o=|`cvl* ={9Տ+`tt@$͙bEl2Q"Te=Sؚ}^?~mwnJXtKm9`p8 / [HŷuMf”Nw7"%ާ2y3XT\E%+p ـ23k$k~_Z[L["}p `CY)6p@ {d\v'0űDd}˘2#&݂g} ٯ0gC#Aap sbmEsf`LiAa<ijjV=[Ոغw>X]"v DU[{JCWђW8ƠNd4_-=׸pcJUGrUx*F?a݌F;'7ev d<-{BlX6:+gnWa!i^y뉰q. 0hLp zdR?ɾ7w62s}_٣;\] XTf'~J^X&%bqo?'(%@:ƃٜCI  b 6ŘcUAZF fF=/kj(uGXX&bUݥ(17,9Oo pe! ^G(o 2?hȮ7@'p}9y-Hx@I/F:HHlK 3cb4F8'0T"iLuO6:l@C,,c8A7j,4 Rf3Z!v>HьBKHf]؆TaǒcR$ LAS3g4QI;.OM;W\\ޠS>PKU;P0yqIO F6.7ʤ`* aEkvpXRe#SWNHf- \^FR]uh]^4&)w2%`HLAj/Uw#DSC+D0N_)9=&aR&C݄+.yݵc8dE{툤Ko%J>um 8+XeJp9}@ll<>-9J͵g )3׶=aǀY`?)P̡i>@+YB}Tj-95rG+q^1 ܒb]\V"L|ޜdVi*Sx`]H?Rݺ<-B{UǫwO`~y"Hw%ox+2t?Jǐ}[J,*蕉Iv}c3Yam.%ɭX3ZLԙ%nwޚ,% q2k55"FG!LLLJՇx/[IYdGw ix~ʭ\H< )S׻!E ~K(=⤺7ԙ%*f^C~a%&m"իzة:}R>oݡ}P7Fh/nghqu|i.,G^ˑ7I,KN`}RL\"ITK^+-a{nh[eJZ$p/ n@M8]NM4^Y"`W-u@5Ӆn!Rо"iy"^a8]eٵ:)?cwsJ5H2~en:_>iEx|L73er~AC49*621,)qO&*|yͭܫ`߿,tV`#IQeƑMM^LZ扫"^ R E@,"*^>yfx1(nɓz;Oj"AQHS$K\kӑ,hQ;Fq6ݮ/[> \Z{v/$?8I3 'j׬K&8&TӦ&0337AsmuGOJhkȯ2ic䎑 maס_]́5/cba;hoߎuIR-mG2O^ mqʒM#44/ƬBG|{ނ&jwy8-{dM&T8OFfoGI "Uㆦ'D> @8+s :/\h^)Q`ðɂtp~ 'XX36z.ݭw[ k1¬x`̕6u,#ۨ3oDvj\j9F#R")haqU85߭yYSBBnR_ |boa 2Mu]'&*vE ȎMȈƣg$#o.WJJZ%";P'߀P55v ?'UP.ہD%۫ҩo[{-N#cН?aVVppWSܩHL"S4^_f9V-(Y޽ lIAn1P?9 V; d\V 0dę%(.R@~Dql5*4ε|*"65Yȵʌn@OO$8yאG>5rB=ϞɦQߚѡY"hL:YWwRl[YmG݈/(0%iD- O8oCEYyK]#Ž%ty _m'/hoJ\W]ZU8࿓oԵ-NG9k#OeHQ?{] vO} M]@{0 X25uZc_.u)@炗#\ y%+LK|wf{<}|.Q[w /` "S66P:bFHQ!nԈ I&jfw nQ!kXa,Q9t* [ Nۭk׈ˡRJ0W(Hel/Kc7U_`4]q9E [dr8Ź3kym%͆  Q]Ctjp~=|_ʳB%Dyw悿:URGu,n8d+C ٺI 7@\sR]`aLB<<1C^gYZa7b9574f45057b131916537b86f657ee8ca14f4c8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c6a9d8e87322c6d310571942709f053ddcce0b9b1