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 NN3$< ]/ HOL-Data_Structures:threads=4elapsed=381.488cpu=1377.656gc=61.164factor=3.617zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bbypFʕ_K%#p9)Z7oht Djx{dĸaP e= Es4V #Aȍm9FSbڷUA@> ߀ɛ׊.o i4Yya_qlgAD/sOFS%|v/p;5}!%sU*n {w"kWLc6$14<M7gYwJ,Y U m";bzG qOPڧ!g;]}rв ay *$_Zjσ-DQݲk0N!E()6 jRC b` [*(G_Zzbb`|tc_W¼_@>|4/~{"ڑQ4JCf<L5 )ǁĪԟri0 !-UR/IR91ŀbfMfgszƦ>kIܰ*DMSHsIb=nQO@mR9}( sCGSrbrlZPD22_xl\xnJ<)v@ ziW*!0DŚtV#RYy|1CbVX|[l`4\dF ~^ #kP &jpfF)RaűF~t -t ⼢Q2Wcw^ "^õ;QI [ec‡Nhܟݻ M4?«2ޗI9,7"|ZN("Yc^M{Ls!&v!<Á*<W9̩^4WË5'#6j0*IwXQ[`xIGL*G.N3{2gs՛Q8%2ؾyx<&E-FX_ʹ$I-ǗQX VJ⫄9+ZU91J(w0 ^'y*w+tz3C'٬t a "<#S }J/ ,W(o\6L4MH~O܆@}" rXg#7f6ZFĸ_by׎H1.u򦺑`~"k]TѕKs W<0}1E0f!]2s Y!e .NȈc}oLVkͯm•TJ`,d6y/u&׭zV;{[{tEinVu)@[ ½bLpClSY=r*x s؄k^B>$/N9_vx"^ .j>ڮex:rՉ9|vdˢR\ S^ϘZ% 0QYY\F'f|'-57<!*mPv 珃-|G-|4_GjjtwNXH]BoQYx ,{;Lth#x,brd`ҿ^ 矤)Y#C-;?R~#. dş枵M£S#2GD}LkG{K FT9K+Cr6 =j4kqD Wr"؆l- s6[SMUEݻcmR¢ f4L0J/ hRi]Qq;ldò{r~?wQŗ?Y(Wn యߣp̛9갻u% -m#`A4c-$ǒNeb[_T:m )>p^OlD[#^"xĨW3ńoBrdtLRZ_bQ(][%; I#+RS wbnIi1^  T| l `g㸦=|LpT K+,wu\ 2BMowkcKvxO moWwYyQ ޺&IQ}lwCF؀`)?/suKFqLOg٬=z-Mi 4Z CG;pTQ2; IFl3InKJet靻ts&OQG4Ė <YEL#sUV=Inӿ9 fb$Qʚʵ{I׆>l\-vSUpV1_Ě6Q_&Z|?ewqZPտ)P-ăIyc-,G=Na]"#/); wi9 )3ƴ*&-QHIiOo : T/}>TĠ*{'eIP>]¶5mND[Da!oշ4ܮf-q.J GxЇ,sS#ۗ2nc[՗so e]/竹%g@u9:d-$Hu=َ9NǮ6 !u5BM<3$Iӓ3cy6CJnF_a33-'[m4ü؉qFKrAEM㿟9T;VRQC=2FUH#eKmQ}xR mm'z=51z>dc#3'ŹE{Y4`-^g]hli4dnjэ4pׄD?uzJK%m2[UgqVBgtd:(dr{s J)ɻvg7D`nUז-UqYkL ybCr& D~)X`"} L#ᴅ!L9Mz| YVb eTiە;sXX}\uK#>(D?M"Q0! 7$}g'( l ha[Y.RENufquP6뮄h= [sF7>~JGf؅u-ijM?a5KO1\8Jr5 3~ia>֗u(Ju9s;9hߢ~yxMb(zTMgDD[K@w'rvHernk%B։cNw,NZkVɚeΔ7 _G 3 HOL-Data_Structures  dZ(MU>DPEjXEb1o&(8֭mzVKB72J D5(Vyޓ ɀ@jnR]3 ܨ92};kJpƎw5UC*܃5բJkIs Yf:R՟ @S'C<#qd!.7n/*we7Iͮ0.8".&Fge֩1HpFUa~ F*Hd ncC}+G0bZ '6bW$K h.VN}O6[a>l1 ?e^@(ɿ4_gAړ _0QQqUӎ2:o잏b)5=S3+Xȹx.$ZĝˁI"j0:,p&vw~" #6Gav(mBCe#:oڳ 5{SKalrnB^i`xԼk#.FbDzsvgRٷ!~CeLbv&*"U$LJp\՛2ÆX|klbFދ"/y_xVU^ɲk '/ gYZ7zXZִF! X]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Z(T)C9G$}h&g;PPi($3d[',?IuJ$ (C>ĥ\"[$% _ wh`N{DuŽ?43U؁:~E8\"I*Rg3%ֹK/1nMJP}LQQA®<9&ۡ#&Gw31.W[]+?C>">eM-GU)dذ;kZ˧O/NDr`Dh,x+@"Vbmmymv 8;jOAV[mvSOO/$za#PbhkMգpBe,w9 p߁%;Ӥ h7cMmbP{t1nݫw_I5?bҢjN:bń\R+$S,ye^i79ds<../eaڬQI՞g$\{gYZ7zXZִF! >g]ŗXi%GKڈ~:2u`­Jp&W!ћV4 >`-ĽF`GcIěY&B T7jEPƌ\4$?n~]3,t xw8<1M(RJ!RxJrzT@dpbV;>ԁ%OSOX" =J<;? Gݣ桽}PcIg&%^B90%Ik7݄ayS9om9Ұ;!KS`9>lok/it0bgegF=b_IINW9ZpI<$p?'Y0C 2 pQ}#Mba[T$6 ;0ٮBF@pGi֘Z>&Id\K(7lMs9O klH#N+z͎H`Ja < oA/,t큌 MIp5U"la`֒lٝT!}Hr $1oaRWцm/58J59/eOmvITkoAå|i/yu?m>bȶ6xdiaNCN AՅ}ý H2R- <&*2du(C/Br'uLP^D> jAlloa&/2Bzqv0іm.=ߠ86&bHS~5b~DܳAZ`PwVjlѩa$k=DŽ-i5]5F$Vg$T kK*|^`żjϴ8Pf!GOd/E-ܹpZLEn-P\h扢1`,"-!y-%ħJH3@P# l`kɬ$@va|UI=*0A3*w3F* =PRlwDU(h sҍNK5.P6Fq}zX.$eNtfbe&cPtcˍS숄9s >cT dn/u꿫8mǕ~8`FK~mմx 8rJM>m.Glۨ} _MvIjQ*ˉ."tW pqA9:M,a9^Q &f1Sc&, eHyjBJ`g{Y*OK~\Obsvo:Z<,Ʌ=%Oxe~QZf?zaDUb>gW!$ ] 8^`MY ki\FR`'rEHWCY !,N{$:)Xg| 8`;|֠}(Rǯ3X(/JoXVG4 jw~|4- ɡ%c0]֦nva{;/]1$X6[`b,p;QLJ gU \[0fѱb_K&,/(i2=NBo^ݿ\y -QZ֎'5JU0Zq9;G-~tu1|<뵢ש-7m,Hh!4Y s w~S}\5K/gjaH' @w'fG逵yei"_KAFmHxZF!Ƶ#3ҧ b>BC g@RrowVVRo-seնgC7 J֡gnў" J'CDri\s@@X~) ^n}-+JQ`ױY?qY2#) =xT(&LFZ.Oc#$,-ntYB;J4s!t6R ITd#lBjC?xoRd{Sɩҍܮ.n0SP$`ٛ@ ˞6Dz/G.${6 2Wp |s z"Ϭ̬dNs DBB6<55qb8ߔ &9u^ Җ l3%IqXyb3_K,UgU?Xa}\ṕEn{1!n3 &^bW's޴ϰUXAڋtx+sO7-7}҆\gYΓ`"\^oP l`P,ȋ)ӜZ&B9⑴:-Rs!$T}y܃)fZU3>}M23l+fلZ(0X#&o-L: :Luhc7ĂҠ}I-zgAťk+4BDT其['_@6G|u7E3ÍeNm`nv؆bM, VTz RSfPe1j (*`wl][{a[scNHtF3mDZ>.M[j¬hh_J:P@(ك$%g儌 ?(RTMG df\TcN%>H~Cb ݦ8<MB{9`Oy?S%/^(3?xǒrWpGRo|>#"PӒ}:2t=o89F 82Y[+„,%7FrEw$j(ZlrR !aiq e.-FL=&YLl[N Ⱥ:g*Ql7QFݤfͭT=~<(z{\v aЩy[p038mVk/mBQ+K`^r?Y)r 9ےsW6Ӱo5bG{m1A`w aY&µ됊_o bk8@5gx%t՘-ϽzPg2bch[!X%1`31$Q>cQ1"E0Qsn^?fT؜Ģw i;=HJ,S~J+1_Z}3ދBBcuMe}_cN_(Q/>"+Q Vv0i;83@Պ^ueT? ZT88>_F9 GB'%ޣl1E ^4[‹F,g7,F2Eݹ+(|]I%d% Қ4xVT.n?7D*߇!W^O觞.J({ BW?0/A%Q<1ŌA"cyY׈V.A@J{.`ܦè,":,Fj55UD2H}XXH,$m X SCͧݮbƬqrI=LJrЕUs0 8H O&φ>ˑtyhd s/`JxGh??T[ۗ{C;yT '5WKu$(̕TEzUg-b_r.,p9 6Z 5/Y)-kj6jd%%AA07YJx9~);$( <,&)VRL╎nřxńF[b*l5Ҡa U$­/( KLft2mY?cm9" 1֣ %ф7J4£uĎf!92Zʨ˩toYahRy)zJmqLn]lgeɂ%00b+I*4ϫX\v\'wWB=X[1(.O1?^HOo1؊2(b-oi)|i5,8% ?er܈CWCEnؖc#S(_‘2[!TIHE_eUK ( 6+xR85]/yH^|;mABw^``{ ӯvʺ@|k,i6-Dߩ]>q:{DKڡa<؉`X#$&ꏓPSr _P{ @S֝e`)3,qs'r1G4 RĝC.p T_:)SܤM9Dro'tĈߠh@ UOo] dpMa=oF | KۧNUn͒ /RY2ȯT^EM^7 sEy;cy<ݤTz"JZךgKҢ*i% -m@"A.&nkz`,3H- W(gͳ\_&cĢZ=KG{s+ X" @PD,(#w:{ٚrrJ 5HW^y`֞e+Sħ$Mcv6]/W3Lڏ0(F&Pb=Q>#'Y^veN9>y.,5 yUVMuIA *;]Y-yI> ̦_E 7.ʯ}tN}ɛw큆S >Pn)eW|^ڨ#[mб:h&HG`LOQ{~ǜYcfZ2=^=m(==i$[y ]҇y HCEnJ~Z@Am ?^@Ӻ'H ˋm+zܜp҆Fc4[{J )! Ȕ"{v${$ĿDt~WtB S*Jc[ga#AEvYek1TJ:Yz։MY?*={cǫ:g/hS+^J CO _GO2"`DNcɉ*H%#3E-ȇ\ ]݁h涗iSh=2Sp`t$nƣļU\ss7nwҬN[qUzlxOD2ۿQ !/u}zo&G}:/;3N 8䝦#}x!ǎ[(JiC >H_`@-+_o"Qm(-9YxJ@. JFoV8@ 2GwHܻ4@Oh~B3]R$_7)p Ak:c8 k)8hV5 3b|dŪ Yl%N|({yb[)b^dv?汿a2酟֣B+Wy?{={QMum)QStYh)Z0>sB= j:Uk `v4 d5PhctWsQFݻ8C?To<|{#o^2x ^n<#";7YmU(D OcqDͳu搈Cl;V)ӷS(F2y0$o &kwu6tECWe$"#R$IR他@rz7TaSKF1=1DVq1}Anmt!/7ZW6;#9Ck @o&oUbn 0Vj(*KDXn~w2b2Ҕ#0_6tpV$P7_c\Q iep$f2~PI)$6h3bįO>ompou{:计Xt4f}>8ݩȈ\R>8b`FRzo L}2ӏ_};[~^i=y4P&tѣ$xkX$7n'oؾ 2旷sqMVNɍKr)vӒ5O{8]6H'SLh&ջU$s$kf* .6)}kS$%' !M`$"|Bv䷍c'';P*sխnPj۫f6@G~e aYqņIjӈ*KܟdI/ ?KtR6:u`O^}xV`۝N1>7Dziw?xUy9 R?uDWOڦڢ[le[SdZя ׂKP>W^XyynzLf)@N:b%l?7D*e1\nK|$ 讌&dvj[u׽ |X=!1*sCJkN&;4!u4Xws U/I0dca gtk1E}&E/fw?swS1fs+%#6UΌ 0sH  Oت9(\ \5 ]7}0ylf ̃l``d9M |>YòD2Ӑ~WInbf;Hs\#kvYgbɀs3@DBRb"evajK nSN~51t bH$(6,-f7aī3ٗUem܊c`Q8qg M&7hu&Xio}eN7(L;kFoXo%09 %8) oF[A2Σ&i/l/n,$T]В >*2ѯwKe12cz|' &VF1{>9C߫ZwucãnZ߈q^W|G2whKy0,f5C!HX:8<$zWW}~ ([jrUJe`:Q'ZTdGEq_q.tbg厣  IԅG>7HV٣0hNtH >..( ֟rG> r,zg*L W7w7fuW!f0$PM<4wG(9(Ah!н_e4BE.SmRJZ- C9Tb$tVLkssܫ:i]p?s 1(ƈ<$StR#Q =ޚB3fov#;6au.EcA@7VU<7˷UNQO6t-$#cxEW! g! (s>y`ag>աi+bLԬO=)?ɬ}Q,Yz=sx^$; Orق`靦*K`p}S"cǏTPB< CHּ.8BO Y F'5 {AǾp7)Jg¤o's?#C5#LsVD,zػ1S`UjZ#,`9f NϒӛE:W+:OH'DF',AZCeDD}Rw4{i4;srt:էJ1ɒRae a o)GPJY@'ĚLd8[ 1mwQq(VY ]&vR(K$>6"0mL*Bh%3"0p Oށi?)>Սs0t/zH8Vh^ndkOfJ`2 9 )kDFj <7 '^dH/9B1g(dkՉw+tOXQѧ%~^Dn3 (j_t[^` ٺ4E=j&NP0ڒaO5E!Kzh@o 1&P7YaLl t|hs y |@<@|o}ȾT/ j.LȔ΍4)H`ӱYH+wn& G[W&B՗"C_/$BNwt̥>}h1C5 VH"un:(BSHc%x^\*A 5cu΍"5]@&,kb|V0^F`*vşSgo*ѧWer ܬɰL#)mđ%ZJXc Utysq0)=Mܺ`"/[p;zU kR就,}~ʖk~p%<U.,*'[ęQv㠭Xl 2Sn9xYHUcӫbBi tUP aQ}2It)n6~؈K ќֵƚZcؽR hM *B8З#Y>{~Cz FZ8搓ZĆ;al{Q$g˨nhgpt̵I{)JHRfkS,sP#l31mid+^Jy;O^Dg#($Hj";wv5w%KGW\߯V#k4twx CM^lnlpp&!{D{n^0eo(_Zvlu.^=~p1hpVPYSUڕ@Q8x0>7pNl UcHHY~7dK*t,eM ݎ\9:i<Ѱ z K` 6ěz75i`kOY= 8t~bL}CggFȫ[6 [':U^|8*-1_}Y#a _Oa񰖀f] }X )dr{ w]|uv5C.c ;; h`ƒ *l%8$:W` :7lF !Z 9WXPvwtV^+7@㙏aCJrC:6' $o/[IoLA 6F{ro`q<Ή-4&ZF˕wC6h:O0BQ;ިt(Aؖ>jy鉢ןgImj* @-8/)1ܳbe>73#2{]|5p~fV-ڙnk$Rz,쭱ى;h0Y ӿ[y_n $pӤt2_k脓wQ=aMv, V_ݡ֗lB]0>0F䏘], `7v{FRf\Y+én5FP#.ˇj&Q Mc&fRebk,>{"do">Ȇp :jK TʴA  \p(:wd%jJ2[f?^D|g,~2Fg AVH,7L@si/15wz蔝l{}`2#"'kd8]5 FwsL9\'i,)sv C0+ZYt c!js9-=@[>3>6 ^Mcz#?GzR>QQ[`.|/L։]JŜĈ䁪JSަg8PJԕ k!܍/ΰw{.dThXsQoӒO.ԏ>n'cr",_K(On6hÆF + {۹v]>Eѩr}>컱0#N6 b$}xG 9 &C>C' ը!n(%n=}側P-qꍳ7bzsg= 85˝g9 @FƤH-l: j<6,k2ul"57~qO|e19.ڳ8̛GVꆝﱪ8%J;zl>#Pvyf!P"K!QZX_ =R4u^\>Bq |,֋))FmuKy8b o,aZj]϶eNTJjs=*7LGNQ|?p%a!~Hj 鰵ֈ&3ਫX@7P9Q)t0\aU!}/zhfRf`I[Qޡx)lWtJVs^?AtM{K7)p~GvӽF]ci8HҲ,LY2D)@ޡK:_5t<$ZI\؀SDlVNWY^_U>o[aKnQ;B^H_Bd$-`]7̈́aviq 'ȯ(К3g\|qk !.HEpySYVC}p IZVg_iFBm[gVY`EwO m&J0>Ӧ5N$[0>G.vdqz3_3YT䬐-nb;K6zJNPEUPaYUy}  ^q8yws*y=7%= WPȇI6>99ucd,tm<#m,;&my;~7mIM̽yYBuOwf%tLc/6Bg9Iso)Gg.~p%!] w_.MmC5NWϓϑkae`=$<[fn? Y$8ߵϬՂ 3 ;av2yj )RQ  wx{Gt?TJȁ +Z9]lLBW,׵?1}=Po'F9\W$ݝW-9:1zzBGf2m_iTuWyJ\iP@b7`>T f˕ 4Lvo"eLh IWUC˴zc3I[ɻ?fQY[>\jPbb];O&MΔlKLMuvD3Vk$/w d)V,SU(ԁ<KY^~s~JϒH:m5RG?DEpȮLRv3 w)`?l9g^tVf%ߘO WٰAiU3 E{:;.~`|M꼏Xe{@U-Q~꘳+ڴ$n0;PݳOQwƠ&IJ/#Q]PYkn#8Fu#G2C<<Gn5)?Sv[()Ws ,j#w1ptyy ~}Ր֭"̦W^ފ0z#TY-hF(-5ji\Ҽ[$pTS wǀՐY85L.$oCU%P~^b\"9j:9a]f{^V=Gj36ߨA}[glڣfCbhIp(f]O /'hrX8C"9#);k8{ϵ3DP5*H;CcN!# _!7NOp2.$歨ѱ5ng:J nqePE:9^v{׆)2c䋑BF@~8-aAEٽg^`w=SЩ!<'$ˆ4КH%gJ\Q}w_k86袡:+6߿SM +-ՠdD}OГATrNt4TC Nkk乾Xdԙ}iF-6HFTƟ;n<\A]ʐ{Ȯi`6n`4 QOļ>ecdBQ8iY@g0F׆zDUB/w̍gw<׵+#c5T-( }/>Ms5a>" Ə;g Pu}iNj!wMFcMث6 FN7":),b%ŝi:hm u,?r4T@_\u~Y0 Я ϐ(oVcNiAp n-ѝݓ*[Wljẍ|ƿ|$$EZZWepC8け *[mq&jw(;/  Wu{G \swleV~:Eu`S ML^YS`!K(>35z2_U=V7äR$NhI)A9vxWcumEaUbrpvάK}Ux =27)ֻv^|:R0/Rn[./ Z,.#F=4w4)ҵP;E(+0һUK5Lʫ(Z;R8{=~_j[DrS++A]AXx ۰xbߺq:r'> 5g%x:Ӛ-_VOX2r@ZFwku k9ѝуR.^lyqdtkw$G"_Qح <5!/x|By$/`z3 dKc qf=&|˿9';pJ1QNalL2-A)Ê-[PuMHp!{qF ?Wywؽj75  n mS|EBP. |k'уC-6;Y"Yы(W9M%x3nD~晜 f 02PAX0) V"'_A)J4eB(Μj+Q,.Lw~}DgNzҖ`s.1jȿDpztII J_it?Y,"r1oϹ", ˛:v9ߡk7xtrBLY8x`ĞÃ,֪Ct_ms*-"J%tSTʹ;^Vlo2kGn 1 eKZp[]5Gl%S^:rdįm@(4r$i 5`,qU U(ahdh9+PW JET"_i R@@P'R@ j;$J+]_}<g{s%!Oxnd1CQ9d 2ٗ:5:g ~ᴦo,5R_ jdH8[ Amkw-Y6/ᛰ9-$#NYEJY_P|}5Am1 x/fuY?7)rUG;4Q 1$`GQyc%XQ@bzGyPR~<DDxEy< sNu ppGB#fםaeRΰ;E7!zVIHDK6F;JEuayb>]+r,#8zկeaecpEd.ghk s4+expfwpP`m|4&c! fhKr Seb(z U&<1a% 2cחQvDcZE-HYĤOJ.a5n˸Cw\€ٛ`_I{"bӣ8*k718ᜎMRhV|е]g l5E!f[Xꀑ@^;PZnnT/^KF.dIO /82 Sl$yyOS"ɼalZB ?gǦ8FS5RRsv{kuE"ύam\h GڵU[++ϰ\L'?&R %+OyvmDP4Q&0#*z]`ik1a:sBfoڍϥԿ9Wc/voזy^˛b,h/z.FME3{ap#En|hLjJ xҕB*ʣɊ PZ!~:~f@AFl Z):WSG>p'cP17Ovg/q$K`>[TFW! 1{d=!pXv"v $cDjB@_`ZhCAP%ԛ (jV_=o`IȑP}8۷yVXƴ6"b[^#{oؒrIչdOEr({n.tYhǽ?py426ұ[Y<,\uj?hc=qs[3یnAe-c0V-e B:Wu1y~+Z0~n~ eNx|5C @ 3+Oj-JFj=`=?*ZsF)磼^fg%98v ?* AZJ 'ZdMu;Ρtϥv`Oj WԾ M.jJ-u;o/HSa`s=Cҩ&xlx`Ϲ% hL}" 靔2֯1*Kz"~[ȧa~ 2BR:XMVG3Ħ:Q;x3l~Yt xpHjQzOBb\2ly}7W}<׹ϭ˙l/kjg5o$ٚsǣͼ!v=뵃2ia W(e,6vGE\8Eg*r-*xci*G'Żo'ݠco;]_ j.G`4&2TVjexR-8흪waJfugɱ _*MӋ!4al y[R0f=:pc o 'v4e6*DHqǘ0HFpf)~${A!Ejs} !d1D#%H}{,_ǛȵERWv ORRO;,[Vn|T1:[b+ٌ(˔RFvH]!]F8a@"fZ>PTҧU8,"v% JHKCSvIz+aI߉KM4!1dqk1N[us_['B-J MO^ңL{ ph\DV3IldDV^8{}}4u3m4x55&0ӱ¸>' _iv1E*}*_Oqe"odoLF:qxPװ)>q[х NsU8nO$Y'MkhZ*B伃92H$zS~ޝe RL6ir܂.W u,PS(uTɩmM)4rR;)^c볫3UOi:n\ExdkmF]]=>b$mm'v%g_mZs(NٗhF]"x+l,gt!.j!9P"AI3nrQ= $g yG>VIʪt~ACO]Go^MG6m`r) xiv# '.sʁ%2}BqԞt;֑KCc/kH_K9h˂^8Yup7 |FqV-h2OwCu\ _f-;A}2+V}$8XjYRyDS hc$/`DmL0V>,:&Ayh|,R3 `<~eM#,OXmQНUoǬgsV$8Z>H<`'<NJz.Շ@U=Uy6O1$^x$an~Èa#ٿmp#xٓw",OȒ2-(d%{ֿQbWPr>:`+`~# '^q1S$@QS/$d7p|~$I, DcF?%qP{. tˇ pjh-Rvy#-,QQ;YAMd TpE@7n|^c;bNXUhn`$=KU,#lK]Oq* ]ށ3H;L#HN \dok@_N"  |4 d34Bؕthlx+,mbM_ ϴ|omhpH<ϮُJE :N7 &su-k$?`Rϧ)^^TӌUNV"厵 i_WYX1b )M..=q"XX1p2PB56}hT78B^s&%ފ #]:oS}&nMBgٽ^9 W ;Bl""q8 ]y[C.Tׅ * xJȎ:<x%%z#ep$1psY8Yhg{tn31D3Ycd-IL/oL&)t=ͯ}Lbej  -F{j6wM:],u#lj{Vs w ( g6 &i<&wtK`fpk)5teQHW/`2-Ɋl3]Us,Ibp-dvǔN]Զ@Z|a+(K b 6N2`fUm\u&)QMVmAdʚf8DTݾjMM쌟C:Nm3E!,EZb%ZaW$6mpx\]!&u"T:v* `(T%8J] dInb CL#t)^eKѺq>F- '; -*}VNKS?D)IG^0L퐏G;kJ/K3?|_|aS!-cqTV$,| 2TA]s4^Q3ѭVsY+'ޑb}>CymZd~;04PV-akF':#5JI' m22/E&;>nN0hMJga\FǫL[$/\[]xu\?8|[/cW` O@Y 6x+*v 2  !h5YKX 8+%bGj[x2#\Rk}P )5Yjoo!z+π1% kHl$(v~ɭZVQ}*(wZmH>Tjw[ kCJx-QcwC\4i穙^FU*V_Q{aS8͢g/;^VbIжn\ 2ՕW\V\}Ry ;@q/Z@w|~2x$8P L{D}1/(7;wɄ3|ٛ!0\)Q+:'@t ,16]㩶ORŴH'";1†ydx^~]@%/@#y0=>"ܖY÷JD㚊sKxVxLE *a[ ҆M5O,Mh`׊.o:}ocAk ?A 4%8ާғ#нqVw>:lb{Z'BwFݨJ">xy^EÉ[f}qom89Z*QV&=_ft+~q>,¶m`2ΧPc hh=涨(ٻv'²|ɯ]][y w}\ $%ez=DLSL8SL?!)m!\sWFm'ݫ jm E| lExIQ}Jszr2K\QU$tV}5IIs /{q&%h w