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 6)tTD ]%]Groebner_Bases:threads=4elapsed=359.177cpu=1273.676gc=145.204factor=3.557zXZִF! &]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_LJ&pz޲\f;V0T8^T17DB L"\6R.AA@/M%5b|W΀lY;:KDy9ϲ꼸Vk%q%oǫ~T7rYWʵTvҵu;mz*zaL-$664=8¦D\i&ShE̳;)ǵ89al﴿~ )c!9WrIķU[oKA$ l1=6O[U# mG5+E-Ikd*$sg̎\y m2+7S9GJ+EiW`ND0i(r饮T{'(*; ܣU Q8vSRA:ny1~U)3O{ln^5#m;Ʊ^}?$DlWORV./rQLO3Yrd_:}q~s*ѩ0 Nk5 *cD;a)M]XV݃qի+:=[9UwR|ԵTh3ODoTcvt t~*FE}+S`0jZ|pٔ^K}k쑡jJ~re! ~dqOP*ǤGV&$O+~jpQNwLmm= VAY1s6=4Hg"cNXnQ؞ιVoĊ9zA'+ 'D(d­[+5ogy~dgk]e9dB\x_DZt'hS=3T&"U[8sXwk Jz'&z""V1:$r~InXcSN0+sSS.I m1لª/gfq#d(jMp)%$;HvZL0ڸ*:qTzm@u#h2ζTuQU:G:;? xc}1B=v}ȭ-;]3OW1p/WCM :9h:>i P xI!ok~[ YiW>J巚dD3 L1kb "Z@l&NF צK:ʄx ggҚ`'ZfV w`; v` 'PшD?84 `O6.i6! /n>:,j97g'D'4}W7ݝ̕Q=K#V* 5ɫM~}?F^'B5_7ԣm[', ;kcxDmL <^̅}.b5; k&vѻ7p/=U@Lj!3/ӟ{ϧ.gfi{ﴉ%2z?]&w32weeV,P;9NK~+o#=cw I .m ) Groebner_Bases  ^)$ERzWI=~乧 i*F\ee]e\6Xf{-XnI)7~\Q' s^'%^˾iBG8D pm 7OSxC|RZdE̵&w m|$w_]'kU vd%@tdR߳IGi-SǴBFטS0&elAxli; gW'*;8.8D`5'"ZS(42Pj6Vݵ=n]XVy2ǁ\uaI4c m969N ߥLJgκXk9{Ad:2%#^ve$uGYiHs$GEI+%?,DY~ leG!KNwtN})  B4Lď<FWe$+hwInyeտB].g)(ߐY$ kоE Bj~/>f>@.uL8Huۭe~dk`7j7 K\Z 9u~-jW~?WzlDz.`ɣGJ>=QBȮ>;NzYҾ=3]tq"d(_&'V Q ^PaULgɈ(ѝ!ňa+.ej'i*Y>S5OkK~cӰKljRRe겧`<dcW_J$@l4#ɍ&Z@7P_!Փy ww ;b(5'Ucl%.\%w4wO]n MD9-}kkeG b -N`2ca~@r'obʀ#!4O#vH:9ZfQǒJ"̓`6W3&뀞rtV6M(W=V,L0)jY*PS $y'@+a=ƻ ʹ.S0'xI}*#}R}& w5#\\oQAj˒@)NR2eXÄV %D0 1U)I=Ojdf`2JLHlo+ g0K0mJ] ApSL#km8oY`\~@j6޺vNY&HWL])OlԡMA*'鯄*Qmޖx'._r fѢ-|k.X|\KSx~@c86Fry΃ vcb@+ƇhciFDELd|VV{l*;؞Jo$97'n|gրR\rH,Z+jwjj^3MN]Rdi1qeٍW&OW@h0:)rmEw?%& 1DbSJ*'}i4,j,`pG?8ƺ`<tsQmutAH|P6Bz31cÓJ] ؋mzls7ۄr3ii~uDŽy]Y$rXҰr:}4UD"`( dŇ'>$ת> "|\v?P!|{-semc.H bݱQϨ& TȪR@dYW+z[&wB:*8by9p0(%+TOZ ⑀JaXΞwwXR`$V?" 5dϸmIk)ȋjwr+o{8 G\Zc!QOP1P՝Z^J )PCM1N 7sFҞS &[fPJh 8#lRf,p%Z+9Ѷzzݐ2ī yk+4LlwŗCgp(K,,ʹuؐ Q~GSCB=*%T'tzOH6HA*iG69j/,,th$!~EYXfCSd*'9~lC.sP2eް|' NjZdPx30j=n* zϧ&SLW\rDSҡ6VJEZ=Ks'K&]+>l}I3/!&3+,$л>N[<.|B$v~v(/,=GZАC ESu˗y0r׶!1D5pz+[ai]+v$(уpUĕ{f'cāP^ R WDw9ZU@o)Y(¼k3p jƕUǓRj{pl}Z^^3y9tb*2SJ~-G?K.nPR}T~+&54'jѫݐ\95^s;n/Oø_|m_ː>dS+[`ːAF_k'W >ߧ…Pvlrj)sVtj-!GwiL3>\˳G`B~94|7$4r57fF"iR?782iY=\hu Nuz#G$ㄚ2s_L!&)cGY{ uc(8?Km=)o1g(7"'ƀY^|ۨ@4l`[2(kޫuZp +/,Aȸf yMXWX*`Wf"΂uB/elpBtHYUC Ԙmajo'#L KHmKFC .&T3D' ]M.tt#,-G1mJ`L aNinģG^SճlGxBb 73(GK;,x,GXvf hr=}^3;ԼUGN)LqmrU.V 3FXQrm˗q~ץWn ^<㔐)5JcLCfs9Q}t{OOjAcfku,w>Jg鵉6]\7k4J`} g{dz"$&ù{V&Ur}"Z0jj.4).'|kR]#G"5Fh ~+aig>V#$r5;,s94AfO^MozL E]*23AՊǺϙ(ĥ۹?%ԴM}`D4 ~. 5v n^:DWBb#S O1\y,<ݥI\_Tlgת53qǣx!+[)|Rh.R)*^,KF{qP|yw'T/c@l~:5m I**h {mCA1/~icj֒ _`Ɲ0 $zcf#;YeϺ`rQEJ%mr$Eq`+SxOK1[[`ᇀofH:h>֠O&PERހO RMݫjOUt@F DF߾$v{$SHaTHQP)G_-P~}$,#PƉ` c9ԐZF:Lm%{Ȭ&pO'V!pU&bı9, ΋OFnVzYQW 7P>s,S_=t@p7.sh'yq js*$Ayo @~~}AW0O3ӗ (S~4jL*ue>Vj;/̪*܏<rABЏ "֟zʹZZ=J|ЛBypU֞ Y%u_ڊȿ6V /@us ATM  ( l' y3a[.^ SƙDӿ%G4auLJ.M: "\]mfȇ%XX;D|%ޕ%1 .#ߓ.k)i%'cibS ֶ,H?I܌uA#ߢ|ݹ ~T\(l2xv~T81oKQ] ]rEZy'wmBb{fHyb#r,ՠ0w9wBHd9ΏzƱϕC95ս!GjW!cٖKj``ZN*q젞YkenNJ%oH'Jwg߼r؄Ĩo35Bz Yב ȡw~Ȧ'=Ce% ]"0PK+g˩Z`NfU8c&Brd0^W%5CH}3io:#_Y^ 䇡`P}<:Ty! kStz&;V"dy9*t8" 4ts62{^}V2T{̢M/W璊EկDW ??Mk %hI邴 Eo1a[> ZrTppH\乆8|]OJ'2|?0Mx)M5e| WpbW)ޅչθ&ZBes; uc,Kb=?PS)Y#19ǚK$ZD/Mvlx+v IS0'Qq)QV! ~Mo8aX׭Ck;k]Ip|FFlÂT`šg@S*.H\_}Գj ڠ`{$&<$qb5ģ Xj(*.g FɚjDڮu)~UCl{r;Q!jm t/n[NV-}F(1v~,W+8O)Ԉ@͉<.M+ 29~m_(E}Jis40A8}ˣ!`H^3|M#^]}"6 r,oA: Gz1$l dO6qm/o2e{? L?{9qɹ3z=('4P0Yb5mnO2txb7dwPpÊho;U߈UTL[䶆+Z:^P?FAԢsJ*+OO\Q؝8Ki,lZ諀4!8ũVW.R4)RS[ zjgG:u]~hYO.r)"p Ȥx]T%W@S?C`o KRbw|Brvjա/(sg,g **^2x=3ˇymTޢ{'B [5 $O2Ù~H]8A6K`H"M?2>T(bNFcM`S+$ դ n|? O_)JsBЭQ8k:HMM,k)V8(zڶ@tִvO$+N m qկQ=&1\ɿP%5eJrXJ5FDQe ZM7 Z&X+Ѳ4SdA"1!ŀİt{\s~Gfb <κifhb"{S-m;bkQ.X _ưpCq ?r)UWi](EF؜_Rr 8 t%G;/9ʣn {%QdSWтԫEl۠dD!$~I\`.xى<eߪ,i_R&s&0>Ƴg{ˏK¹R*Xs9Фa=vezPM07.g-kYnۍC$lAft*b]$/fb`7WT3C)bQӊ6lzvF->n5E",RVo՛yBMzgYZ7zXZִF! ]ŗXiɟט+-ǺژO O}_'[yV"8)qT4MMV^uS#Pȱr m^',p/uͦɩ~ ŖR;'OhDw^ȃ!ةJ,Ub7.Y&6wn։m܃6x^x^."у=p}^@R yL$Or/ 4=Pl QC ܬ3SCW|6H<>ǾD7Uvg̀IqT~ [8%9G.u{<͜B9~oiwrɔ}NNusQzz::b3Ph`'D "5W xUr{tq* h=g1 {qhyQ_QUbrܯe#L5x_nJ =O_ܡfE%r*H.j=o3ZwA quzβKE;m|O?^-V9m{NGY=If]8sӷWu2Vx>/]ays~* ^wAiv&Gw`scՑu{q l-eЈY!\M@1b̋dr(JUM>jϊ~Lh2;фV{RJo?oMd3ϕdPvx헅?ޭ}]a~t>c?f`" W{菍67g/0>{jb^,J@;-֧ҷ a2~<垒Ja%N啫3 $|M3GF'wZp* v-{mV.F:u 7V<(ǼKvv:΍lW 8ӆ* $Kp*+)kF"-}kXKЎDTe+Ur OFNG, E& %o|(j+f.DD9{Dyz?b!taP2 بɷ!e-nQSD餲7 1m6i =ޓHb*^5=X1>3 N\[7uƠG.@g2W?j] byuxŦ_%M ,"QǷW6K^VmBcR$V#]:% &]^4zHG)H21E2Mv <,Ԧ`y y͠-fxql8Ԧ~av ^,(ל`YtdvZRHhwDl6:kFP_3M+oGRL(\R83)F1єj{^Wr, Iw ,ieR$!Mcs&ZozniS]rގߞƁt>4!o^2]`m "ZYM{CvлnXKg\3 )m2j]0Xה54YWό FdB44L~,&ի-wv!r{ 580gYZ7zXZִF! e*l]ŗXi%G6,)6yRP*b+, 7m$d.Gc\~HP*)85Ro sF؈< u'^}X88R-+WQ 1cr&8gEUeo[qbshW,SXt1@ L؏}J?̪},%5;єKMGxѬ#xN~v4L{I[x6Wq^OHge[uh U_Fw|1#8?j3ebtqzw|c=nL8DrfR-wb6vCDNRxDw]'٤fP2b`c}oJb32es.fWE͙vx!VNs ZΞU v] }z=Nw.&M٥bA%\>ҹ{-P_tF[ߞd7`k qR0hi@Nso&$k:hseu3X.ll ÎF?L| ĭ}n~fրW]P$YyˢeNjdW?xYx%,Ԧoѭh7cZ.r6Q);d;ȳhm[ljXXa}tUpb΍fw̲"o%?*c*HhMYpX* %x[P4'pR1Ɛ8wP2^MZWŁl/s.q!@,8~He&6~ZTg˧[|G׷>?et݈mU2,z5&cSmܤ p 1|ì  $M)H*i~(ҧBKH:bUՑZ | D=9T(*2+h *n, 0ɀc1}7Na*Jl=yG>@=:]:S s.(ZmQɐOᔇv l8M\_h8&N|.(RdTpaS^rTd߰a&!xƹAlGb7'=;M7KK!ر'*XlbTS6A GhHt/rzH,1̑M-(/.Q,J0YuL}լoMWB}'%0_opX~Y# YE6DdJ 6|V_tܤ. @N]K&۠|1vK0b2ʒcgWDdJ5nlN^-,y޻I"ڷ,x2kP4G[6 ֻ/=jN^C'wd6URkuܷ}oت:*8"2hVkx g|^V"vw֎)(G-k5pLFb@FJI3$R7e +dh* 73G0&],\MFCՔ񕿩 g(jBS" T4D&-&#N1Mx=E-CQ/**!<K"QT@vF~IdBQA{J8_?L.0Q1\ J\:~ை"<A?uiq/ k% I/caZ{3 q|Cשy Ivp`+Sj>lnĮ}ͥE8UPFf>U6s"H%ef#n,''s@@:[ UM`%ƦOXNfqx霤_b"%^YNIƩ:gN#ram].R3I_]ֶe{wY*mК |aLBG ʕ0.FL 4QǨ χ]y%2KN,R'{֢y(hC|X78"?d#uHܽD }Cp"E騴[apԛh)j,Rhl{NHM]&ͳDԖl0?vF~CXuO+! 1pdHAm9wcH0ӂ ojL7xvJLZ.-< +PD?rq*ˇ>,=]嗉L!xV޹*~dͺ_| &InW-ADprt,>2`|fъW0 H,ǝQL$^VcV2,d(.์..Qp#hA/a:)SiAhq裯Y.bA('Ip4BjG]%",8 v+D`ˉn$u7~`ʨW-Q.vm L=7)qT 1rĤ{~9=-/WUް8*YLJ0`G(d[Fx$ƗW ׊vJMÕe%)ċ.Nk»8}6(~Tޫ!ӾlSW)H*O Yp#9nr/2!ݢz,Q&כ1?8f{HAːI)R#Q9E_!n-3!H>R|!D)f2~"SOR[#  |~oVxHݮ~P[kCWR,q;Gy@yFxTP$jƆJ=þ4i8wE~TfӘRԟ!U O@$2l5G#~`؝IFm_G&G*W5`b_8zŞpHXIG%(~\aAw@FNk.PAr7v Az "тWy۴dNN/T+H]Z7d:/W.~J٥ YsΈ̏"W `%ES9Ph,p7=ttw5vr2e: Gz3@J;[aΉ\Yk H)p CsFgyx<ڍܪV |)>Y).y2\im3&ئ/DN?)74T8|mI7WavZc)U٠\չ$ 7𭲞HO.8ؚhan JGdABmnߙNׯgZc]zf́ ,Tٽ$#K>$!n]$xW&b H31U&IxRe[n27*N[]$rt/Ava|imoSG#)͘0**- d=l fIiFt7{zԅ c }!ϼ~:"R`JfOqbjb'O@HgR~=FQ IaBm} cٺl|D6w_xA[+ $x%Ÿ t G/L\ Vo!ߋ y.^1.Wo6JM Ip]e,:$W+HG 7\-c~/UBoHRz\)H_ʈ;eځE ZYXw:WN Ф]']~d}Q&! $5 A4a^U31N$ *hsءUnx "Cpq-%V$H6} 2V]sCh{p:zu5HP՛S_gvÍ}v YPWȸsQjuB~,ҽų U*=mJE女Zi8^413R)^ouVʷjoBd"yK1"b 6DE|GQFEg 65KPr@'Dz(1djut- f7bUߍ*=/C*_^ <.EѲl۱@XB=[f$OQ6=yR3VUu9:&4Z-3f 2d\FC X!r8XTUk.Dui{ |Չ6)VJ sMtw .3ͫ)~{X[AQpnB`\d03YɮHkK8`}&2{IF,V=VKgS7Pt5@/X}RlGGf[X[?jUZn㗴iHUnA 5}7*p iZ5VLM)Z9I|[ŇefR^8@~>78{ME0_  r whr\3r݅q(E-%j&m1B5zIi!nU}‚`lQ!yw9?-APr4Sg9Yϛ097fn0+kX,!0H(M⟹A8:=ĈQuAm8u\0x&GtK{7 I{p=2;3g KY~]B I7LښF'4C9Vhj-2^+R勗7K 'x_aBmqiNCm:ءt3, -X82TmgOԲ"Zw7Ɋ ԭ5A(sLntS+2}#`h •t>D7<)`o D7.:xhq,+(1Z*|mk[ N<o3eYUejpd,NÌ[M-ۚIp Gu*U#SӾ%X$qgKCLYLK ꈥhHd]X9F02 ͛cTXV{\r -bɭ8,〡窺e7LwԖ<6dgV|dNm5xTd\LX#Vl{ ]f ۦ6ث,6:/n1zߴ<AmK5V =Bou^ AS聸<* S2r^O#lP:o,{HO,-{9LE@ Zү:^FQ&.~c1%YޅpzO2NG8~/<[>#&Ra>=h[o*Ԃ]7Q-=ԆƉ-4.H _GOS7hNh-w'ے(2U.FIVL\泖M Fۙ^nfl9Cz,[ҠfCÑe b{PfD*]qݩ邶5L&~= Pg_rxtYrĨuyt/#4,3 *)ɾnfG^hbF< g s2u 0\hF!~,N"M#cA n.Qe1 TƑ(Z-m;sņSF!Γy)LpI~`)>x;WbOu.ukiG8oBNw1VQ"P{jj`؝k Ё|0Ļ?V|hPX5XO}쪈vm^SQ'2#|Cك >蝡bu^(Es;2%YC-뉍W]&lܒXrJ[RfڱHx[d92By=7 cUdG Gpoh d moA`9%~O1r={4Ak4l!Ý 厥τlQ$v+g79پ#1ӕ3hbrt;_ł+Ss~ 7qp-2ɏ6E4z$qK.' -ESKϫz7+)יO>*rxePc.[8)tvbknl,#*6HYͤKbyp,K6bw)M6K †OdΜg.yj;ɥ($iX(DӺQ"iXb۠eH[Jxט`96}BW#k,r)|x^_(b-bǢ>"7R[4X|C)l ~`vt@iӔe %ISCRX,OoY,ƹnG7{]0Ѭ~D89"iN*ew'm6/(Q]G'LjJ/!tl=FMiSM"9Q-]SAb5GpP]cņ\FEwBX [tmX҄p+6C|]MJ<+'Lw,{² }eLhyg]IB/TR6*FXZcxi~}hX4Q4yox5x:3. oh5ǝǼbQfEdt)=Oݶj94}Of(0r6կMO-B+R֋3p0wy_S)֭M)_TAu?~20h{-L1Q%,GIBr O 61 NJGeVJy1(M扟Wx#A89Sɐn[P?BI-OB)'{9MV4- JYR4>˞Xƕk2o+eDfad"?:ɓ*FyM ^s"?;E@!sA/4wMmEXDY6[P+X4qwxKdGt_LWfyhHѪo 6QN=1+XHe""s7Hե%#11jQ͊ӟs=UНWNa>PH^\n?0ܩk›KwTJ(D VeD[ f&$AmQg_bM~U`4arR7Ў[R.3V[ d۞όN'٪`R6;sBVgT76МZs6sB㝣NןɓDIf%*Ȯ˦'_B8e9j ?>wV6Méۿj9FG_ u ٱ2>ցl`0+IXlIBD$'y Ul y:(fm{Y=w=!zܟd-@9 `qqH/)~]'5cZQ"87W>Tw;Y;h 7t* *.0o7%em|L9UuaŌSSCY<@KO|+PGػyμ[ x2guUc3}D{U9̺hgOk}^vޏrA@F+4ख़؂郈Mx*bm~2)}\ #WßX!^^cJ>uɮR/':Oご% XG֩7Z 0^F 30DC(|9Y lXqVZq7S(d4:)5Mm 7vZ>C#)*>g._W5haTF;BgHա6鮔짌k0bDxR(&Iq)hXC¨6vK›͜WR@N帷e2W]Ai}XP]@&b)=z*vS1="^+S]`od՗#0bAHtgZ{mqd*j.Ֆѧy!Lxk 3F*|tWHrD: T߯,(Rc sE"!(38|ՑLbWGa@hR Yy9_¤, =2ŕTbP Zf&3!}7x*"/ܶ<ʃz{8193 8`[棞ܑ֩2ߐaAbS ! S"+.1"=}tmV*ڢq.Tk_qX]8ބ 'x0Q>>, -`y"[rkSבRG0# 8GA@\Q_[x]a`AR)4b曷[\H@,brD7|[";O$0XևsqV֜ SaF:*Ch(ZRsqCHO74~8b[#41[y{jS5Ф#J2 kpkA@Dv 8Sl+TvHբC]+qq1W3zv7Žе3>zK\p2e? 4Ti0(\vô(P q ^H1AèZd(*Fb7 ;ٔ|/fR/["צoT\[؎sFf4F*49(V`9Zv@+"b,ay ,5+;\2bTZ(dn4MMs /hg=]p|H'ٌ$UBى4 **cfrӖ6sxͦ JMn=KŦ"z7isW&G1 [$@_h_kkه3wYq>/B\͎)-B4ufV+?1&\ד]S k9 `^(=02B gH竒ᮬUOwU"ʽF-jRFNzt_"i6'e^AzW{U rd4At EV˛e4'v[ efS ©LH{r v'fRZrݜ3b/mMҺcS ӣzcy'S zfŞBMf[]׵&N VH*Z=9%0 qyDɅV va%0n}EK7ES%5\ـIi;X.NVmz'>CKMlU/| 񛅋Qy̬*J?^iꊬT΃ÎHN(Ĵw/L/cFzk3(Lm^jYZvFmr ASqMF7=燑0/0GUnhcѶcw[x+H0OƾϠLH!A%)ּ&bGݢ`h# %,&-haio/ u͝l2ߝŞm^Ê8N|զT];4^'ṋA N"xACj °!ֿ Oe?ibJj2 JHB [Y<BM3WԮ~kݖXad؃ %*@a2lJ?ZsFdoJ^m,xMჩѓ('S(x /Kߒad@;׫4ZRFq +87]I"hN@, FC9Y>/y(X%^_^nL;|VhښؼzP`v_elun$h%%H!mUays(&_jq(p&%-nV`L#ųW@nW 6pOv4 (GOS&UEt# sѐs=_1(7n4 A{m#!!dY]M ifF{Eu9P-m-uԻEΥ||gjG\bNs &!&D$8BOYJirpG/G*;>;!&Fȝ$ G=oY%6fn?B[S0DSzeDU~,q}pƾ~kgCAnp}kK'`ixR7$DeBG%7gǺ֮ɲдkZ_M,F3B{v-(qO7t<-I ecvnbBЙ1N3kONex i,0qxWY=S^>{P2a0xxo|sڳmV4%xgՕ{$w<҂k)$*|7~ qKT[*Osɿr޸@b[ QZ^-y=U] h$n .6Я?wVv!-x\ O|*֧jLư;ǼI}"{4;~ٿ=GAq!Fƪ'B v$pӾ=37V,:z0OLnJ$ڐv* UԄs!0,B+g.$ra΀y]r;s4iӋJ>f2!kDtwYxֲvT-z諹m*Mh:_b R/ +`XK z<>UIcN˱} wan=K rݢz#=B nTz 6عM 9/YB1m\8/G TC/jˎXU3 `ypk(dvG,Upf'ԁm"IFK1 g3lКFdM½9H$NPtiiQd1v "vr 0dA^ٹj(S{+_gY f)pϸM,kXJ-D讇Ӭ[-A d33`VC&mlo&ήr$)XRD{"B#eO 8퐼Ϟ1zd5'c?N`DJw fyjeB2hof[o-ANa,8+MET\^P8ůշXo+|ukjE-Cou\lwm ('5è≑^Pi;T<#"[Rz6La<9 y#ե@$!hUVZ۩[S[H9$ß/Mw̴ti4 _Lb82/ >Ubfo@oqhB%>{+hH!(\)i:[ Q_I)-8'.GOFg2~En+FOڴAnn9m/Y[P9R=/(5% }4"5xGКpqބ?R@xoL,S^So'V bLiQՅWƌ/0=ٍL8YxϬY_@m I6Pɶ:6n`|_[R/E t ?S`˰XpkD1(+ >OdwqmmF68H - [⟱ m[`Ç7H$ss s[qa&'^ВQV$ڎf;Pӟ$`ؑ!_P7{ݑP@@<3[(;_=$Cn%}=!K@ sK#[m`[Pz)Y`єC826D}OtI+95HNKmC+4i" JQD z墀|?Ώ#f-Oc i7EnR;a=r6H5D-oaAkLoq&=gk!(/06JfBkLϊ'B4_3@xܜu|/7?~ET? 6,P@:*[ sҥяt̼=~x[0De$sz)XI/-Si~4X@&@7Bl&<\120oʘ'ܨ;GW Qe=8e"MP Fs-Ah?GvIJpX'Q" {RiƧO'kuK)bw\AQe8'b$0oh~\~~qe=xѰ]zDց䖛ҕ凕lw»5퀿U$,ʲ* cɽEo,xW=Y6^ǀvEj2/Sp21>ѰEz;iDtCv3,%1k+>zw1 rNKRv18b0-? ^0C5_^]\{v>>˟v?`? S6чo 6)d-z!tWuع8*p?G==] ͵vט`"x+u!;}٧p$-}F-e0#UK[!e8IH`PZJP{ &T,KܳS % ޿ <g>wλ '7xRp7qvk5ޞ]MҬV[d9XB;y?~uj'8~< ~M%b]I&L p? bb͗/՚Xf4^L4!ֵ0uC =[ro)< YA*+jEos_;PG,1.e^d[ l e>H (xNqCC"/><1fɵ RF w-B N{~BM}85.)~a>&K}fXwpQ'l=F2N=F{'%$HPC_]#tֶf,j-ޚxjkh͡˹(5#+(}٣3|D*D0AgX*fʯuq8.r_2:JoB+8"8"d0rL/ _t V9&P'MUG-"7awcqv-bƆ%!Mb^IXS yۑ-CTD+V? |\ӮmJK4a q8'׷-GC|=y}C:2v@v-f\kF&ᒨaeHFs>v/f, Șp"G]޽9|Z}*Rȓ^"Z%rp:f֙{ N. `8Dhp%UR\|/2hO+=Ǟ^~x GhOYCN\&ں#B &+U"Kr\DG$BU0rCˆ1!⟌_ϻ˲^q|ueWDzUÕ6Gp" R&X>!#6\C!_DFL.z}·ikw|PCDaic/vGSqGhU3`xrsAy7/d,>'`;{&D2'yVǰWQ԰\lq*؊3 \o&Ysq1ȵ0e~Dӗ>Y2{nJ‘3͂<uf,7ky#`o +A9q_}j5K3tDc71Iq#vBt+21oJ3V])*xaohSOJ^":AA.]R%Trѭ;eHy!׌ 64a2ʱ (\S?9#(Lw.X hu3jk{KT]l{Uݬc̺_2Io6tD30{)`+Zt.zn7j]ktlxMs1UhvYVO6bO.\hrƲP0Cp55씂t;^x?\2R#:=(2o#Z vFS2Wp_g؛bsaիYWDzZL⟧L"!%#%qs**j]SQ@4NWAk|]JYMo˔2=)=~6 V/"WЖ^gPR$Pu08ukxD:O XC=HfwieօXCϨ*8Hr}Vu>yQX;ؔ+5k#ѨdD{ xt >Z/}l{FцʖQ嬴tFCثoe-[S C+/>]ۢ{Rj=X SNOsUn{ 6O$ЍJ1Id`ۢ^݀H|%ue'wQoqPGgS1)'*Ƚwb#߼o/ ' ze|7 [?te ҮI^IJh:ZF6׹.P;1FY;l:XJPPCDӵ%vJ,A/F{;GNJ61~?oT~Nf; zŚߗ1UT\z(ÐF1uw^2d'(î iȨuFB`z0I%]7 fw^L|]}#U>}қu@ `MӠ*f,)(CFH$d cw m8Q k5butDunGEz2~}DQ*P:ʟƲ$ VG>]}i.#eRhuo;-Fd1 Dܨ;op`-qN"c2d FBs*MjDkWԤ!mq!Skgs6v*SD +v4dDr^I I\Z^Z>xpcjJ-{: O(b'Mp/Vƭ5(3{8LfMBLZ*MzqXϟ?':s29j2a,򶴸%,&*Ph\k '[B E6 |vRZ<ߔ+ˁ[@T,b6LIfAI !ʜƔs̪F=pr K~]ĦW[?v@.fUeDEl ' \R͊~uRw,._ngx?\cH O=O*X(f:+$Wo9{q&:{N` r8ST1H鳘*m^7Bz3eCu" ۪&] ꌙm_rbTrk˹wnΓy&b:&=P' uB^eiϾa'hɚk1卿!\ "OFx+^t \V~[© nja3Ө#@mM*H*m(W43yOY/.(W Gl߶Eks?QK%TO>L~T rn4Y{_=D j.Kߢln 1cKmH;d7(A}:3AT],4J 9+#KV-Z*skh*?Zf4bA}an5][e &ꄏaF>i_RZIO>Mr6~p4].DNB ME_7mӦ4P~/TP#Z=wU!lzw4 ]AdWgUtn$ xpA;1#Z%t\*PL "e T܏?җ"銢=9KAZ @|c?[K[49uF2Z";o-N]ۦL+)(^Bt f²\_Vcڌ֛V@DI薏0U9HwzΩ?ߌ_G͈ھViA幐#V|5;C=aRҠLߊE]eH$  y&ݗt~Ò8ZefmXd_!%D[lyG( ;g{-m^G55O}P#cذ1YcG(i۳ G>g,Ħqbcr͢KbmLKuL$F\wб:iѮy 0w~6Lu㘲D0Ж8Nd K7t"1rPDV`TuAd(o<%#[u;d:=myŠaѿEƧ]S~ (/Л-3p"7owMb`vF&G"c*I5`8E^I%NBBJ~SB&L y4C]<1y (3Z)mIOIr6-vvO\k[ &G{05Ċi^H"Qm3B`Z`vX~ٻ4Nqis*tfUf)gޤuxP pX탇XA.J#uKLr!=jlU`} <,-cAY}:~&܅jNyaTF7b!=k']y5.pcfpyWx焔.z+Ir3c1e(`h^F>eIu$|[Mn.Y(OɚAj|@~1#e 8yԍpvѬz0#@b >·S]1+pY&<nH!$J,Btv[2F86u Y9 q4 tb cfo1hՇO]~]` 6#Yd)*V 1ث$^ 8~fxA'Lbōk'cN%, e4C{_Vػa%q QT<{ Tti->R!pbC jPI-鲰Qx4>)th> e7=I4wH}PhײNJ'e|]ٰVyU >/4:03NivnOotX+6"B9x[nsv7D$z}(H3 )H8?4X)*:yC%v0\\4mLjQ`ou,A-a 4yS?tM],3HT{0"% sβe'";R#vsm>uB1}!i%\ to -8Hжnc!X>4ߙ kz( dl`%ϝ/IHQZL1DϽe`dN/f2lW2o2#%F Tzҷ١q;UEl7@=Mh#Rԭ4QK`ékoCUX.jd }嘰BZqw_ND*s9rn.@'!/f oALG2kkiJHǯVM.ϭ-֊Tjb($ ¸ 0; !;XjM O-K^iq+P[ > kRs珙vupb^u$ֺ\5,N7iWD,$=?mm;۔؉ِ6#mϷ%ݵ}Z+0$(x߹ p'MR-JiI MO-$,̨3!OdH.f(>QqEBgYZ4c543334f4041e875fbb519c9c9c52e8fd581e834e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 31554a9aee0688a2e741efca4ae1eab669aee35b 1386d37b11623d3a0410c036c917adf57b747149052fc9e0c8eb374ebdc677d5c20c732fbf64d43d