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 P! d$ ]]]HOL-Proofs:threads=6elapsed=870.503cpu=1991.260gc=659.672factor=2.297zXZִF! Ġ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZd3ŒE2BMwkΐɂ0P ĝj 1! !|RD [` `Q\)b%԰,2Iu#,ʋz)ѶT^Ǵ=J:"z_MbF~4~$7zW!"CEgGk1I }qrrYtЮסtKDQgpap#ށ' E ie0(n0  \ VBZ`9fcF2[ p  ! HOL-ProofsIHc2FAd'$C_' X%pBM>c_?s$! J2UwL:òg .Y,eT8;uLKSڞ9%l!a&P0@}0w>nф7@K4i{D a#X~ChR_xsN8Q%ե'7U̟sISA"ȷvbC0I+׀!dSjm^ \+|@W/s8vS) 43时F֨tUd'aL{RUw/~ o3>[ML~TR'|uj Ib #U-ꈃ|IzZnw7]4J@W}3,$wGfwQ?)Ķ;p{C"'NIU;0Xjr3zM^!X ٨vcZk̢cKJ\h,wO3 HU` N܀Cw̒' p57UP@[iV<;qHہQ*ɦ8N)Y(Oʆu<ٰ遇*H$~#lc! THǡa!ϺCRDU$[ԥ9$CEoT Тn{yrkI5Dl% Jjt"OZǪ?DdZ"rOMp9/zfy|]C5tãrYJ{(nBIni k<7Ag}g;I ' ̨a(3J_os>C|iD4 jЉ9˪;9zٰصf5TK¾%?\k95,x~l " |*yF |#f' )ۅ5u 7Άކ/A*=r\ki_ΰ"i.CadE ƺ1Dfឆ/JyI 0=":Ü1/OLGO1(8]@8pȁ8OD*㢹\ilRJQז .ξGVeGD$l8!_ #.w50n^$bi[U$:LQy:{M2ٻ&#Ϥ?M8C?RQz@Vi^Y` }Yb#ݒ [Xgg2yAf,9к9nU^G=>f*Q97Z?GƄL_<٬/ Gze p~*>%o+0(YyY\ "Bw$HCUN0r9ͷ {[_:=ἆ _5Z@(svj%52P[.!OuM;ϙwc?9pJe6ѕ0,h^c gSb>ԍv4^I>xǭ'$KR.n:[X}|Ü{t F5Cif{'rA¿+7KCFPp;v>ڄa$4W}ZBУ]oD)iͽq@ڱNF_\NUȤߨҒX&~ gUCu"d6VXkQ6B(s? k T;*@ƀ@},C-{,FefնBXkZ%s<9EElD 2G:%SSX~tA翻Yi;mE g-cJf?ih|8nIN2ucg>۾\*qL q%< ș<A,NM:DMZ#W+h LDL;$-U3Qy;csIQ jQaxIʲ#]js*Bd9 lPsb躵]4F6/2D*)n?Q $ v>p2{Gla zL .3ؔ:h]Vd?!) U{ j3ݮ npyqx%V UG*lisԏ Ґ }ϪnJ^cT w#7p)A{L,)sg^ ʤR7b??+|TD.kk9p4]#MSZWfLx4^FH# l5;h/ѣQ.`4ߺ9oDQ!I8'Vl$XT+D!#X{(e/Tv MQїLv>8) Op7AL?pgyD+0 gYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B0cu䛠3Th0Byx. H+J4P¹76Ĉcn;,M#Gʝ:ob_Bb:ɇʀz?{$Xө!og䙵l:Hi'G6xg=byux:qUZ0=|[a`ٌ ݨFrdi8!vhFyߞ8OюJ`JT\),)y.*|慼;[pDoącWؗE5 #1% йg+~+1G3*QP6<{jϘy\hqdOPG9 z}|0@$VEZjT \l0Uξ 1NW*e-vt3i%֋xBaѕv7hgR]P[lKfk@;I =g۩>}(b!zX 븛ta+?cEZ cqL5-eF1죅ݵ AC)3γ'/+Z`;ܾ?j0$ڛUl m#92lqVFAy _U>4KJ~e5xJQ֎i#[1{q4ᆞ 1zޕ0,' 6OX & C bP# ܹ9Q8mǣaEoZ* 4`[Ptߜ~ QRѶwC0q/yA${]x X/tLm'1hychn@ttM NjgAjFr_Sn"uUam8mF4˃65ЫYcDžb]|ހKձ7JF~GG*/FWzeM8` 1 -ZuW<.Grq\2,*{UE4=Su-T|  98{957#q+=iu!Wy31Ls O2BO+Ƽ+Xss]? =ՙ}z!X<]S =Z?9V=< ~A3ʍY 㞩%8ưÄ.'{fk5? 2$mp QUFGC|iv#&$ '^ 0å/lp0¨]{R"R/Se V}YYO$ETa9! 9p^ 3SW&K p$ ~h)}M~8/v/Pxɞ}wt=P%b^̭uE `Xk)c[.M(M2,Sbܦ㭗 M[ٯbfzh;\ XyX4%Hfɤ*x[J#5Pͬ wr| `Z9q/Ň2t4{gYZ7zXZִF! ׳ ]ŗXi%96)AbZ7 #ћsj p3c:Om\gET .r 6j 2(c g "b "# 6 :H>l๥fbF8l҅r5/Cxg3ps`y며-,ef_rqR 6TbW:<h?6 S,]a;g%NC8Vy#H/W'{H{gwHpLH 6ޅٺS$K%T6Ess܄ukWҹNUyS*Bg]l0n;ѤYTB~aO?8 fEqQ7fnS{[$bގ+Fϗ^S:W-wɓH)}!>L2\}3huֻZz-yK|I5jĵvyK1In OZ֟B{{\rl b ݦcb<~0|vsf7{ $*! a\T EdXh-&F3&.{-4ʥoX NJEOu=oymNNbjUD/_va3>׎͔)]-o͵e^0ˤKpm{Aw]s1xb˜jEB\99Y0uR"sSIRy2us.&FNwj W c1 H'.GHMPOj':DQ!,&g|.U r46b_ .xvEތB=Yip[ m kOƘ8mM,itܷ U;rTJ|\_$v6r߉=0oLu+3l5YWϼGox/MA:ɋQzV[&Y2CR|P>͉0`",zʧQ c3-.7kWd[}1LΣ[aAs>N$YQ=ZpDP/:aAT9+{eq؋f38ˑJ%@$8:C=Ai<|(ףz\S*Nة?`fZ.#+:/1\: Z]A4wdat<0BJҴ 7G m s"o* ;k)6]==qWPұyd į-v-?pOt-tN !ٴ+ q2<J?5޼p71l`v8Dj5珈hģʉyࡴ$3*V.RZ"bELj_g&]C~&o3pkd"T.*{M=D"u?'߳}[KRȁVR>1{8512"+{SUgw6DsHTo ޒ#UK_nɰF]FSIak(VP0 h0ϺXzNr9صrV'~ ip1qVlNU,;@#˥J(Udd[ENˣwIEsSQx*"Mmlv[Ah^oU׈,oL_~s[ \ $h4x)ugO 黢sLƐ 8UMivN^͏h鑮UoeDgfh[H;Cj}L|lے%Su塇вN&@As"7ޙSTH9j'2U*[VB1soUHE }Oh\ȑQ2 ‘'B\3 TSxsA )l])4)g&.RҽcqDD1^iy}/['%22O{D-4׵)yK5 Y(reJXj2qR=w9tvht~09 6ɞ0:z&ZtŲឤ ys`޶#8Ϣłt7@cTx~Y?;*!_+RaI8))䫬ڛQI0#yruNnԡ՟_VOԙ aC2w7ybfU&֪z@^P ӏ A@7jnN!:T9IM0f׻XOI6T=%+ĉX9$Yg$W U,5ԝ[7`&-@?)&=]oo@׈Ń犇-=: u3-1u x} D xi$@A\ >|Ꚛx+;-:&Fn:kQ*V)e,F9v0}b{bvᨼm_.nT0/H0nU YTeoRִDI 5%"?TՌ{4dۨrqެVZnh!Er5GlSF@2r;uZ^΁ޟ Fw}QQsK6^]׎⭻HE"Dü 1 E^ZGQsF۳Ls eQVƪKįf-}i/`H p[xL!.RCdRHn(}[-0-T>)V0-X`͘+mn5Nq~/uyQd{o%n Az m=JmKAd]Tsh(#mA9w (:7pE&Sit =ND&BUb_Kl*pEKU>IN,_M;YvpmSOpNaT.ZINkRžI.[iAV~H˙tc[Գ,89:Ez%qd8EzAYlj0ܑI%Ǔv(ao]Dži暦-@JAkn丈C!SMpvc&Eq '^ CzR)X%nn)c jU;ꊺ*y;o:96w~YEtXY/!:S8z\B}N4N,7s.L Ҹ-hLjD(6quef:m[Ӆ hІLJɝ6)#_*<'y!ŌըٴM`;AC,FP|+aN+ĞslvK˴׿?f P尉|zyyon_ W} Ӷ<#&ZEnAyec=LwK]獒٬blȲ)8+S!tZmɱYsSan/O{>fz4^ɳY=w)VeTM]0)H#u `蟙{ dB2%Znb)r"\+TMhQ4\BV+ Ӂ6`V\)6T?[ep떔÷%ϷʻL= F\Y!'CٴZBwV qP5VMI'z}(>?/p&(*L4Ե2̌ yp&itY{eOIY'C1?x%oM9s*x= 8\䌍CD#@}^} ma7 g&@Nn2ؐ2676"j&tMmWʐcd,UM`a RAɋEt[c -&Mk>_}4܍d3r=d͆[3D#G}zo|^ޗ*~%Kl}IӪjDODaΣYJgNpW5Xަ96\hJe虿i'ZҴrWUB.yS |X| g켹}rtJËLKm:q, E"؛O;q_gǯ?7MKgU.튖xkUiW|Ifdѳ `+6Af/ONk+$>eaQQN}AxؿH24U^lucv2Q<zJ$T`~2z5r?HU1[G'mi#έcF8XbБ7~ Y9 q@@h{)T,FxM& M$3Jo(f }+@vjFOz޵|nuZA:A?N?sY{.;n"OL\+?0gZ=7]hWf_,)^&KB1TXzS{E k_ c3suR A,-O/|vSDs=iAa}Jyه|vzY!Kj~?46$z@Bl 3Z#! mA~6%mέTKyYL0<ʘյ| Plcv!N hB44c$ ;ZNŇbsMƝ!w VE'!; l-q`n3o„>ඬxj ԭ0unMuIOK[)5'[n,qh8=ng>;~U ~"$@b|TQ Z&#!l!ځOVݿ1q$.ޔI-qbC4wہ֫Xx}/޸F2v2!o̦w^.*Hq nkXV::atԁl )lgjp B6(,I+o/l8CB _rf8bQXZ!ƢS1ecI~粺p׺bWYW[PS'}h=P >Ӡ%ͳuR];` }`F:P6m^6VXgT`$1YFNT YW/{}ĚXǏ7Ųٻ8өʩYY,( aPy+o⠾8f~nX!5*T܌y3j$,lF C@/J+" ȽC0H6*}A8觸#Zuh0kjmTc]5, ħ7 r`J8L~tjI_wpLABѯAkYoE4c0t!cAZuCW]Y4⋗&:P/!zo*d8DG'P~&H1kjXH"5a^^jZ y O>%=2!xCuIDA1ߔw[ + 9iKk ' EqM+iuj[f7^ 2N7A?!Xy 0P-* |kT9&KIbң=WmArm'\w_A䍪-H-9M#EwE٭d?>V㑣[͇7~aV3w@8y?"%Y&h_jB jw7"ZXv 0 yR#7tB}Aw_4ޅ'ti3w-bվo"Վc+F1.N똌IOrؑqD.Ev,џ:A{bpWvܖ__!iƿYnaAS裯c*0ltZ"Zͤ8pMX\|qyFL\$gY!: v\ZIa>ezP;=gBɭ茖JASbrXqeJPr7wxXLdh g3#Zi>Å u-,q$G3[nq]&z1j2az(;}$@-(L'@P9󨒬 PXns 7er{GwVz2! sG߸ / a[)ӾH8x$SQ@myoZdlc:diXȢE@TO!⮴n/-VmrO 5[uI BI)_yytFŽ4 I*`eRvG'քf|&"oſݥVby{4jVwxie\PM#sKDd|8㡇Z2¢᭕M")\&uU盤c"L# Kd!^Ek2 ^(Axeڲ^M&\f;~hv*kvs.\{`i,beSBlBtZ]QZύme@O2j̰ P%rk=;7< 7pX>{gb:xT)=!? |#(e,qo@Q.`+c{{/ F2f~2 ;$17E/A%UH;(9:NSa0Al?i5n/1p8uqp;& Lդ%=^kN|JX]stHU=7']Tb9G>1Ϛׂ%vB!)xAvԨw`R aK^3- WM%ΐӄ?U$8'lMhW lf=C]抃e(Algo3Nu,!edM9}J}W.R<oL_l=)xJ%©6?_/afE!/oe_qP?FGzW otW [Hs4#k e02%"ζ-|5/fQzr=TZ 1503'y1C+[6u3ă>< V1)(^[\<>VnwxTccoWp6̲)$dԖO[PDng!=V-~?@qb6oo&Cj}?eoEIZ>l $X%YFŸbܗ4eBo!dMDb0b &r{k3]^58 *X8g#~mIʒKz0ݧ(HȀ瞠o$hbn o̰=&68cn ]X,oknjkͳlT>"|  lzzMSB_̸xxXr0gJbm݇#213Ԣf^A)U:]EJ/;0S^R)_l_騊<w8n`.#nGy|M?*J܈a%WDă$ɌQD \IQVݏK~ bepd`uJ $FЈ3+h9iMk $F ULp~SPFoR؛d&h'`ᬢ)¢g#fA$Y3NUjjtarxy#C ʅrwcx䃢$l3C??cS]Qb*LN|2M}&}i`SLRbS9XR<p Lz4]o㔰p%٬a>mꝯ'0pwOp1 ^.rarFa-p>%w -{Zx>?`"ia'iZޓy ֧ve)a8J+*k \O P ,Q#V*saN0-?<ºZ=yn!hutC ~9VKTwayp!ٴtu#j g* 3emo%E]8G4`'dq:\^cDWFL5!K5b'VBu/9lfU>qԐs'9/eO88_.3~wڗLL%-gb3]'&+=2Il06b8'uYnX ߷W;wpvA([R|?NT]eTR&sHUxq0u[G@eAxWg $^G*Ø c#)}-0X `X Z+\JS^vd3"gd'> 䠬(v+:؛)ݥCud)C䞘VXhcгVɦ銮\z 0&*PhC]*}N/S䜵ch3xP%&EÜO;,\D*brJ?%=)XtQu;x~[žHY:v֚8(: E-{Z"M_BxHS%d)j`~N})\?r>ͣT9 咏S6|nPxS/TГiMD52W^kMm;2~ܬlpe*&fw$mjoDCfоGA1GQKG2)坌/H.YLe5 }2ؽnc\7^{Kev>cr\M#?mnC&tO&q8zc *oƘv> xeΘ򲞧vdKrp _OHip&!}s!:î5 @rx) L}6Rlc#Zogu ؽyw^YmW^w~t%dz-t]U>&oI `0^YE!P}-_C2tPds%l`7fh} >tқmc2/5fwj8{nx܉B!И'YFou.5s01{jt{Rg9ݑ b*ĈYW\I,+8zgRpyܷi` |h \1C5=8*xHYGUUG=Jy0jZ a忚tka;vLdoNe/־l,]&+ldth5! CCHŷ|:S:Tg;0qv&8 -dւ3_ |6lC/WK߲ĆK$-c WLrJ\qAPؔ)mAһ7&vg%Xl3MWZ_ɂNV{,H_SBW.7zIs&(@vķu$ QVvi).)xn]{[ VjCsزSLR EE:d>Wȓ\rߏWt{4t؊vf'SBeAluS ,ZGoD4VhD!! T%OMw-HY&*MބvbTCcM"nͯdoo3}F<"g#Ȝ;mzk9o C'NOtRD:63 ''8; 3z1Sx_| Aġ]w̚SЁo!Ku(:ZήYM1٫6hLw: PT 8<")k3nƒB[]^Tܽ JV%ãn1|Vѯ'2@q184燓_(Amn 8 9XHh,\Hد]!҅>lAsO/]왽!rܢ6Ʀ-Xr)f쟼bU͢5Xm W6hVh ʷ"z5)Cl4̓rgt0-$V=sUa6)h z'2g \A&`hPyx/ڍ-=_)@mz ]`2? $\7 %YK;&P"2'BI)2&\&~\>S^x@ӁYFPX{e3> q\L`KE:A9x:!ށ_D*Թg3$tۧkú1QN}3TκRVQU8YേQ/^/ƙ99񷡟{fɞO\Xop1+&%Ed qǻn*W8'7`sK/B3161YWݾha̴9KE[lC>`)եpC(Zf{h*^鴦7Dv}6&6ө1Fe[aMXM%rb_PCfXFjqY+z>kw<8q )6Gd9zӏ`S|d-:!S6׫d(vJGɴf&%KcޔmJΦ|&eG|^hIy ȱ2ҽ[S%1㟞y&@hE67L@ة'EcS-_+FGiD0lp13( 7)`>rY "d`q,j4*Š*:Q0=H?_. "O&]o&p9CH-5 4G(a{ ;ǖBc.O04ktփE9aFHNʴ!*o7NH - $;@+D~gdH?Y9d}̦|M"*Ǿ:Sx>ɱV,6P$0klnIeW?MЧe:_%G;L5_ B-THtL}"'^5% Ç%1:ûx2M1%a>L־z i[\ Cò=%Ck[n@~-#ӀnBaq 8aQU\y{6rg)/QgHFA틟PA^Vþ$G{ D' }gԚmk-"!cD\,ɒ/.nKr +q&(Njmhda2o բ!ޙ[o..jR)o [nWP[c=% ٢<5T!_\Z߾}d;fZ_򔣪!硨A I)x(M%Iu~FCB}W:OQ( /L.!b>+45]a>s,L|jIp"|8|i$퉪`꿛F}\?P G\RI>$>+>M\)cR\Vq8?J CcPtW=I> Ϛjz$e8D#6"$@;!FT. /UPy@ܩNJXQqr!=kH{Cj^g1~6 R{Ux]!r]'M>NʞϒX!$ށ_#K(?;,ێ|# aD՛ueVЬ!t 鬦"9ٚ)qį'r,z&#J_pˣ1Y-4ej b1`ok'|^f!uj&X "O'Lc8Ia^KРDKz#($;lź"d[ʽ25$HTU)sՏ*m<}s/}c H@9y~i-&HVxo'1]DcA>At]=E@PӦ">fA¶I{DNa?2ww#؟ե.f ox 2޼zN %6U;l05nD>(oב;Cc/rɤVs-PD2BG̹knZԤݥgԳĘ0jQ64;F%>ht4dH{$!4 dׯ7f23^|99,Ņ&y&Sd672[%5LA]hs 5T@y$Řf]ѭ j)bbk IE{hqQ DZ(QZ8sՎzōP?;. (H9^{g1ZY-|0REnՓBD6yJ5ZxO~1Hl?`h'&w{%NԎn_EjSdS$Yu=Ū jqH3aIAHt2@'p$V0? uа 1 &1(MgV)Ƞot"iE<<$׏o\Bk YEQl"zN}÷v}YO 7L0oIq+`mp(4y<@g^lr#V+Py/L>O@kۃkDe )I8k'n*p1%ЮGu'>`|O  J8綋Ai2t4|H[&tdVT|ӑGp)S20i[V$7ӏOًIYl"j[fēk3T$;W aɨS]_⊚nbDEYy~ dć5鸯i4]y8` v.61Jv^)Z|p)2Qv-5~3U7>~.F|&)-8T>4czzKt,ϕzOWPVY=,`?O07fBmĊJoHD+mxWfxmӑ OB39v~8e;[|/8Ep4#C6v\E E@f9 S zx~ks~Yu`ȯ V=*P_V& _*5 / NCQ\WqnqN)mD\!CE3c:'kuxP #n~u܄s#i>;85UG.vp_9 vlj$18˪!y az/jo1dJ)J*OGDlV3]%o8+'pQhN ݼYqNoPr2{ 5Ru:*w?&oϨ"=1Trip3E $ ƞ *+W?"ff#xv%ڌNv.A^$6TYӥ Y5)" ø4&:J3>0Ma_#/FU^l  {^}녁 M&}0jr0L*6CL/2B(љ:<W{5.]]|>O A̿g-6kx(|l.ƞ]$˝&T]}&n:7Zu~l &OGJDV%僈g(r!QՊPHũ. _*, }{Z뮐/W$"*Wt5r#s$K,#jDٰf4Úk}\X^>G7$#û.;iZd@ zw]`xWh$KAv#7_Lru€t7B)#THa|%T$Uni΃Jۋ wL!6h < yz# $=p7cҽL߭Sg wґD _t0t, Ex(d QRGH jn=TjK!E;1-h#Ξ2|)!qY(BvW,fwm|!"pcEp'wb'CUXTgĐ'9VQ@8o!AdzR` H>s&A&(yP& Ł4 )̬surSpCSh*vL?0Ii skiaPj݁g34FK'႞o}' a9/&%D#ժnh7n6K(N{9;mU ]Cw@w 0I C 5@_9A;?^SkC_|7[6rEby w|0҂ 8 KSI뛍 6̕F5muGl/)\_H,`hHY!IjEJl+,C.J 0Β51FDW*94c+ \jZe~ $+[]ƋaR:Eieb B/ܻS9K4:E3hV*n#,[m2Ez*ݺR0KLt+2k)kV`Mm-dq+W,FDΥg_spUAmF4AK>jspخ$+.g#9 2(K mɳM8]" D5Kq[ OG(ݐHFRDe4YMm[ МJYB!bl-@BLO涱t%J r¿z)6PG? w=L$ AmB[&$ށ7[w:<*$TKY(0`\ [UmŬ(lAM 4(H-^Oȼ46=uٳch!:1&sњ ;*X7'+Ͳ2gJ:a h/)vWI~X󙯁2W$"7h:"^W7Sm},\<:XtGL"[@%>ŕl>ArZ\+Q/T^؊ ow1r{ D/%%6xtӑ;MSls>1|j<2?MGl%-@kJ(J52Bs|2>+/7NHPZy re=@+ץ/(\XX-4 d)]ht^TLRl=uN^sBFTːzG@>GP^loTX u=ΖrcD HBD>F l_e)~_*N YbIl>.Z}%xʈrh"P~_?&"$s Y7l/\to<3E}@!SMޛXu @r7>pƖ5ef%D$T,ApC&7d>CO%r͋)4emSgI8ZZMc XdRLjH'UkwW lVtsJD8>NX!>0DTRڪ{Ô_v U,ރ8r);U=D$Zײ6avܙI`Zx+̹vaJL%0Jli~ tRŇߵB/L'Db#8gN peȆ q|&n9TCg"ʑFdwe:`}됴euP>,M[Đ=DE#P- #q[`0;H\%?-i⾤aO7QRXN1v^AUqO3$jEأ2g9<+4l.ʦaAQ_ DTD]DS Y=w>wd_J`fjĉ<P4Qo2,Z1EjوV'E:kRBQ\@q}k6 /geyr~pH,U:RV3I 1uvc62:/{gvym.,̜B(c4LBdZ󪻳/ͱW ' #ʣ>I=\W|R}[T)t0;b4v8qFh@EwXhFL|&G|Ei}.9Aggdy⸜=*`QbA?gk͈̎wDMO/mw!*$ժF[+ #e1ޮŐusYTQc5b*)%2>J©0ѺִؓPi0BFg{\f"C:gh֛?%1rXe߃4] DsuB_lI59֝ġs|>0%n *Q_,7\b:]CE&@&H ɋF~N# Zqt4}ZtlnK|]˿'?ix9t8֟D) fZ@o'$8:N 0^`Ski-^`p{%$u]q l1(_#n\aȎK[ E-8LyBD5[&UVXS x}sqkF:Bt+F2];w4Dq×%9K H&w7){V+U7Sx'cmL\RGJ+sfygdmO`mPkpi+ǏJIލ?N 'Url \kpENe{it>l\{-cCH\5mx$yTEKvQBy%A:!F̄Li૿)!ښ*]M.c #w r|0X<; `]jy#Wof%/9U@VJW(&"EΧwȷXGI <70 *&=z ~m@$;(d2^ʮ9%\1j&[ꊌ~-Ǫoƚʡpx aAnk,0U^(ќЙPIs`FvO+_ A J;ܹsh=Il4䘈Fw^F* E$3 Մn(zauV:r~4O"J*`%:CloָZNh!!dzgN^@) .1d7&{ښp6rʘrX +d]?_tz#~^h2 j}3C"<.%9eC0c3Z )ZҹG!H}*a-AP W|0R><ǀHAC@vIUmC1vahwH-HxĹ{.ԹV c C:Ѫ?w=r^:XGۖ(#?0|_KZݪ9nY(j*>QE6G*퓸ZigNBl#WBlp̹Y'rTQ-?k Vɮqތcq#D|P3tojn 0^:I)pziY"t4%> L˶OZ% YTR_aypSw O? "x&(wKL2 0pqi7LoaT [=6aO ^HK10;sPqq1ű:;qJv3 '8eY?"~Vx`+Fv-Pz[_Ѵ0,V*{fbWgUWO_Wlg=w!AƘӬL ϞCXZ9a'XAU$`dhrQg?O,~(Q@2 }.paSEC5朾+SgKCZ oJt(voʞV %/WWz/ l:S͉h]-Qٰh"2q-3: ~!WZ*iSc)$;?9AB;,Sv7C>3@{S nFBf+`N,lڱ"ĚX|89c^[5@&P$#d  &h:ur 9o|#KbNkUp1Q9QoM?N~iEPLSَU@ALXhTfYl.%"/Р9 lNQ׆&̫P3/6bDA.>.ύ\K,]#E.%b;43 (G4f6-og]¯s[zL(Wri^~%aa9*eH0. YeO\_;md%Q@ɇql0p};b8mT1 pEViX{zCCH(ܒ  K<ygHLd:`1:;FpXGJt8G1Ш k/ ;նqA֠Z!O̖ 5R^\nx%Ќ?V݊g)rrv]aT'd&6sO'-G׾μz0YuJ/%W)֩sRO dYyY=[I֫.ts23 v+eؠn˛hW;e7hM@s _/%Vz pnA#)PNp`RRPtG1ʷSh&_]@@B˅E|a~at @Gmy{wq+ЅJ]F[5YQִ9]E(_kM= |82jxҎl@dfkU"<PA:L$}u`J\i(f(\njx)Q/ Z8WIO=  nm,R~E,ȣ.rTRa'pּZΞ8\.iQ\u"+sB%2 M0˪"ރ"[8 WX֚碲0],>&&](.2H*5Wo͛# ] f9ׄ fMn3g 8 =o->`?._ZC#$%d6> )m$@%Lt} #j0v-җ {6eԯC"Ӿo[FPi.|~s]^ab{(:.7YLVs"T3[N9ːmg.j%K_ .2L*6H-a^]Lқ$.&贒cO(dC]DֻD۹ W9b. @9P;M<7J כ;^vF3Im/d}}5c rғPWjW %vn!.WޯʚMN# rQϹ=4 ` X|șx F-inI'? CLJLt؁VDt]fTPL@ ~m炅hRXg1315ǕxkͅrEqLOӔy[eM.Gתx.REotwe5>qL *y~UV$"E ub#I(Q :0q4p04w~vr ['@ y-KM.4^ϳgd GUfp|D^2;8iuSهj؆62!`V/f6qLuoCuXC' #O6,;ZE`Z5@E<x6_,\Py@Y x|]лPb?F=f8nbcW^W OIf:x4/]_uƏ%kAb_bꇀ T 1WP$8 ?ǭ*N y1rM_ΛaFZ+9+X+ o""f+Ŷ A\*}(Rb4ٍMgFW+l'My4:"_JųWK2+\Tx^aɽ\Y4įJ>AN02߽ф)uIz۬0"f] f}I$Zyw$SA7w\\y}z !)ʣwvX$z]^NLsflsS.=Tj '9!řGysFd ZAFA0uF J=r$xuXhhdɱRڽ ׍ԖK\4fsؐ.vnL #M5-SXՄ;k5tU P=R#l:TbLǽ [1" 0tk^;RTf8]|:"ITQE׊fz8-ʖu1px p/0p +XSo'B7FeϜ4]_s,uTO\znUta+u T(X2wGWYI*q(zNZLYI쨟 c 6#{kKnW9\3,XbUeu(Ii`6UaD) ?rJ]up;S bg|U:8q L{1} zhX5wPэ?g@J DUDLO6x^JaUY(l~p9@Llc7euEk$2 łH!e=mmlKUC1lc %v DiM b3@zX]+ ^b֩-hZr-~1rO^GE$%UmB^b/ >5U eEB뭕xV6#;uCN$ .a>HK8kNDC.G/*4q;]g]IL4ȁ U]-~@SPP0eXY o*:vai]8G yE|?bQ66O@QeIIl7gUPDEUrԴ~ {{`Et0# f^:-fQ80$~VRH2Şb[Cs󁟟'ҋCV>)Tv̫oK;lWpd_ 9'b `7 אr"DN;ϡ5.. $g^6'iM{( xuo}^nNf]\v& 7>(qAg_筀9 Iэ 9oQc6 bVYW. n/n* 8:JdŲrdcΞ' J.~ZsC\SAke4"u =G2,(n3s}iXt[Bб,A=ߍ`W/9Kv}s3]ĭd;fDN Ɦ@FɿiҠ}$򱧘™H¸Oe?˧-1;*|~n2 I85Li$Qd #ab2D&Ts"33`oc  3A<Ѭj .^ߍ T.%=H[(_B?On,+8zP+Ů[)|* \| l֮3]=0cj ސdjykL.`tP(^x ǖ2W@A@G :;q[\р+CBq@F^87XUb"-N9԰š &w:yw/ A0Gdk'.#3e/oMo S5@^MY&ڟB[z/P<~Vj;by֕н,9]H>4zK\FKA/̏VY*J}J42C?lh݃`tTڬ(HJ-|B2oJzOVDEq[K_ds'95nz,_jb>QJkAdr'/k*׫SɫWtx Qok ~ BS1j5MW{Q<T;cI㎸?K#tػhI 3tBh(E NI;B:#Ӓ[W:Ίwn ^6(͞8w[\ưLL&WNՊY&B2?FǍsWpOzK.ϩ oXZNK~(D7P@As=!vܕó?E`o6Xܖ[ho[z^U]"Hk @q\ǚnwLϤeT_Gh~e̸ы=j8vHXw^8[*(75&C]s(B)M΍[+BA89Bzu&|' GgW 즾}䉄ypls-{_ Ѥ6 )~ }gޚT\pO߇aPCP3/BgW|D+v8>`*@c #.mZ-1>g =̀Mxʼg qe $$E#4wXUÿRE`{<_gv0,e慼 ޅ6c,עwAHn/HvkLʼ|_Èn MAETka{j9jGmFGei=So٪>vp0eLH-aJ ꜖J{is97~YC-{F*H_67>hWUm8#RE[{Vu@GEZMl^.mMS1ј->-(`t˜xzs[K0߹6o'\B™'T&&ɿ^; DL⮉ٙ58'Au#RFe1[G k[T9tq09O٧4F.bTrWGJpEDG֒$va5\S?_K3/ "ؐ$W]fHEXY CFۓT8:#f| Zhps TC |d:{6E3c<1kdyRWZւ7Wt s ,"Tg+EK(vΛ4T)o.r:z.3M!n2hr_jx0b jơD&|tԣW{qonΰ7^ JTdZih"R }"~Cmg_׊U|}vz-rW_[c`u?, {b9C+<_y_[ZS3TGG% *s I(dhh!;Gy*ue,D\aX**Uu_ӷrxJŻXhwLy,dBvFWӛ;9C1/&f=!!ϊhcY3XQAEx@Ak"(:3PE=S(Ԁb"11]OtWRvmW s}V`-0X =](#q1::ωue]J? eہ!6 ᣲV ܹ -VPS^vu,OL;W8UX1ApP*I uY DL 8_v]$"a棰 +nczt&45ф ' ~{ZjO]8kzd@t)n~8|P͇hԆ0_wUG >q-Ў껐Jk9w\G݇(sԱoQO9h.5}?5Ι3?r&Q]6-2uT-Bf_3 kxY6A Pkf`?`' S~1ґ 2OE3=\q;p d{/;9\QQKh@Le)V@J%x<«EH*a%+#Ul~ .ko6qka=m@U4Tkʍ!ݡ1tn!:Tk Av&*ߝڃ\oM.8@KgШx_W"1K6Hu"7w01')vP%nɌ4 lYOW!PTsͭ2 9UV4_2@]q-}NÞ+/=I[~Q;!.Lq}qu`#eӊAġ 2@ v;Mvx :R]q{wb5p>R+F?SI/Z/ Dќ2'/LAO@b\<"ra_d`Kcخ35osG&P\v๚e,޿v ELB_NZ?Ñh|ᛰ>O F7 KSLI=vObJ M4qs)EF#sQrHpr=Y0jlv7qgW6,V;j6\03<>F Qm%Z^S|e22o25ZTv8a;+ƞ)5.;neƼC"zC!K0Cp[ 'S֏[w1S %2j16MnͣC%5A b8ȉSKG rpr/Z•Ue9s1lRF BBNa \\간FsqS#D sN!ˑ o#N ـQTM02l v}=!Ă2 zrGX~sVWUbrv r%-p5gwgC(: [J50uֹ"4_lϘ?ɋ̿[\-*GK5@e~EI&U<ϚFR'I[Sa ;RQ*Ʃ=aV  TB4LׄPLkT 7`hI !:1}BIq'Vfmjfi>`:$q%df*>-Ab/sHm)D?0{13HsX4Ltvn82(2Jr%#;z@*c_Qc$U *y'qjVkR,VAo6x8 #aZŮ