SQLite format 3@ .;  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  ;\4, ]]Stone_Relation_Algebras:threads=4elapsed=65.907cpu=126.360gc=3.716factor=1.927zXZִF! Lg]ŗXiɟH)0%ooZjZSsרpSA @p_c,^eY)dRHh0:qW#-dbc^gMc+Vb:P_m}qZ2e>[*7Ih#Ųe4I.TƲmN6 {IuJ^`cW#j< sGoB˸{:45CFpcXmm:OE1-*h }h1m0gSm?XSMAK"Q@z'-iAN/o> UZ^+nBQUl"}PtԁyU׈Z^ mz3ϧ0u2Q~Їâ΃R>z f/R#7tha/wqUN3ײ ' {@7zctP?\ MP%Lq U_~hg 55,ί.\:[ l zliB+2HY[Oئk?J!N?P"wÆmsBO1 Ha#-lGCLLe0{f;tj۲j=L5$QFr2sEL{B&v"aZ( 3K\fj!ĵpE:՛K9؁)y0AAP 5[|_ $^vdcg(ou/F/E F 49:L_Щ=X1JbpMR6;#`) Wt4&܉."Aaq:evNUOa[֕]RV/F'?N=oєAPUKCr}yEbII@$ @lRO#|qpKICpcl@H\=pVA%R/xJᚚ]-\}0FA|+MDBU[`<>8C9(Je_)=X 7殳uRp/Z%ӷzM3iҸ'n-Pś)x7+62]QBh^cN~q8OŗyGMU.W@iO&JP=!(gm#|rG٬4s5Mdc-zD84@ߔwW@:)yc!.}Sv~]v$o,f2Obmg5S²i+f]N0Sʢ-4cL5Xtk󮭠PXߘjg5rM.cSeOC Y3/xlR*kpO(?D`m+]˾mPg 쟭!WN@2Nc$;5,ÍmKsuA0+ h1~OԉL7T,Vrl!,"|OIFc8W▅R&n !l?E?7=U+{wϋZa3w*nLqΠ,IC%,{|˚Mzn#>^e덿DoM{ =y™lJ!ߥF :133Q:0E @_%2ml>`$xkݕ3;,b˅t }>V*PcZFRȆ1szPd v=2䅿O+,^(O׉H̛ `#>Zל=\ōֽ-zߑ^tpDe4=5幼V?[K"B S"eP7yebDiu^ТAL42Ey&~0y{ ~gYwB06WVZطg]FJ-'6/Q]tbBSƁ [a:Ɇl;Wkj]4I{sdi<jadt :Uzcy S27r(o,\T4hC=bIYDP Q)2HjGV(^9@1\ν%%1[?e ļ:-q2{`x~o펿٨Y0l9*d.!ԸNA3br}z 3e}֔V"T|4-~-+d$S|>#5jdK]g]ea}V|uY?uU cQ%qe"+èT['Lєuw(wȔET䲱jl8Q/K?a`n8i|nL$!Jb8@I"c̎{ϞW"b_egO`[~\cU@5~ !թ57-*QŲwߍ7n}=.Z{\ Tj:D#}P z1 d Zi "5ߴ-ˢUrbcm źd'-"5[B0UvaxI%=v;X=)*Xa`EƧyY Ɠ6KET{cT3Hc3_H2#W-]K :5c $h=+$)8rĕU-ca;U@ # >FM:wJ i^j#vib&IdhmЋ(8e"tux-ґPuHCCoSs)q PnSq_ .mүSGUJ|"1 T#jn clڋ'ϊ3X18`Zmd ?Rk 9Hb|u/mmzȞX\V5x*,5eʫ\3xmc_޲ޕp&4@]9{O,W^hezuEp&5צER dkX2~>dpK igۖ>k^e [g' meYɒ{K}$m@`i3WInY1睐h9]E$gl?deZ%n>H5]ay0֏,HVEn([Tgrs>QQ!M+6avӟ80it6K*Ҁɢ^γjL#Z>ıٞF+$8W:N9gAWڇu0V+\MASߢ'(+ f1$T[?jy_^@ sfL1A$ӳKl+=JA%%jZ, \Uߕ4RT.$\wtHZ\-Pވ閭?H5,~41@Negf&t8ogtni͗tg[R>Dowv.B#d2#QxmY*o>8>1`,_i>qiCp&PӿBĿʻ1<ybRY}XΛFTafa,нK߄Ӌm_Q.KsSOـ.9H9)4IoYxЕ9 T'eZUpʭq/*A !?& KHCqr )=V}6z*L-3 aa Z^8Lgx"^]͇/a6Nh᳆,){+݋3Tt|:J:A> DTe,@\w9**K5=]^o%+seEaˋƜ'EcKmH~8@34\Tj W4;$(33)*.i,nb0}/T/o EVdVgGW?FϠg^LfϵK`"vWaڴ\dˍ%C-$ܙvĖRVvŲlJYHi0gk8R hz*kY@_K!0r5ujzqk=cf6'g)ސܡfʆZ*Ֆ0$hhiZS!m$©m ÜUasa`:oN/~ehfhխ3c .mTggsqqnxo 7$\_ _9F]bdk'1:AoCl`~ `< |k>ӞX6& s;cK Oe]%'j`xQ|[Pݺ6~)g7K[ lO*Q t 7Dsԟ/_!gp FB&yrd\g׳cDY6Si?DRML񁛷)Ht. u#ŧ #XA=8S꾷}j'<`;Q!4ʶ27Ô:-rP SA:۟ZWz슨M꠵ @tZ1%9ͥZ,|uvq=XuS+5 &PƓ cuWB/P o{ UJ!މl۪ Se (J>53zS1XC? ^9By +h 3qIPmǗ>]Z {Xf9^(#x R]欍5^m8_]!*ƀ7f ځsP) Xhr.O@efB4X,e$/6 d!o|6w  4E3錻5ɪKr( qAF#6]|C?5;i @#JʾF@72kv_^?Q|WgfL6ZĢRQݠEmߜz؊M9/9 mUP!kğF#fjϵ?rc "گ+&k~s(G}iFTzא;2Qڳܕy"aJ g25Yrv8P>0VߞLX|[Q^ɽrdIR$7k oڒH @f&0ƟyWyb5IqR.Z|ܷU`tà3x%XqnCtoWB4-l#*s lU?Fa3SBT(`'Hq!Oȳ1j:~,e&+Xl/CBs@55 Pk/T>U17 &:OM<09ӭ#CAa5طC}L U+D^@+uiu4Q(D=?kS9B r0o*X{I>¨GGNSZWC@8!C\TFG}WCR^z7cP{| r5P0g_}VU=NcӨvcHKq|V.Va &?t*F[ܤ=,e.:?I=.{Sn;}*vRFz3qVKrG8iU_~{݁nӾ%J=nDwaȦ୆Dv ʥSig;\~s{ pO 5OyzbFvs=&g TV^AIU).Q2Nb@jqxF8}F?vШ5! q*(+xӺW$k??ogpVȑϐH]xF'C^̖m"LgvDl;FvpU_Z<u TPgEG+ "B' 7:*A4O;cqRH-t3p㫗|رa@34y(nKě85e8djV>W^fzL??GKIfVS_@2&A<?XYd5L޲|A>vN,|aoy8*]V-ܸrxY+ O ^5hk;3j=tGFQ՜ {O!#~i^x*FϾRqt,=ⅲgf 80@5 Ɠj1]-tw93cNz%SvNۖ h}opif]r ܩy-STaU%T9E]ށ_]eԘ}rCu_FPyK t-RI6/Y=?2f"mUfǙ`߅&3 1VMi*dMZj,9o[ e[/y1Z4c|fp:Uƃ]y Zvj3glchۯyoH[)/44Gx* xÿ;%ؽ[z;L]̵5M:r(\tRK)xgAGm/TQyUXIjȾor}{g\]ޫ2,[KZK10|˦[p*>1S540˰D @׉Igj)x"i}vIs33=F'OXvܧ~>I^Z,VU+'_'3ԭG]/aTxjkp-TY@}E⪬\-?''GodczvSUbh/_=Xw 2t78;$Wc?>J Th^E\(bR##:,M{9MXڻaI:<^b^Yy#"=͎ ' &lo{6;X|oE ~5;+Oד: *jUD??,&8km!dx: @ ks.L6(jhCJE",εrҹ,ETU87B͊Hg3Vݑ>HB veWbSin%C D}l^x1&jμr "L]}J`0N`@L,w ;}zf־F!5yvкigk". /"! Qw0xÅUv S6kÒYZJ/k /6_G3_ %&nH?5NfAM\X*ȏXRVz|ZHZξkz6K9(L_A EGpZ x\ p$?Q q,8b~B1 %LY*kMKLA]aC?~>YXS+3#>;*=9Vh5kn|FK S,tjIb4DF ȀzYv/- %Q䑧9b~ے?r[?O,&Ì 89@?kCΔI<3N۰&oGM-Sq-Lӽ/|-È!ӽLEv66$Q$L X5TXwolj (lāhT"&gY:Gpҧxő;*aX޿@NF}F>۵t1Lj!P{ B^kVR 4so ښeG4*z$oV.T*w@Y$=Ne=emܲxLVǩobmBPCgD\e]<~D!Z1E=(DVFV搹oqBq42PKGMn5;7m<ʉQwf/K$%'&QcZ]آ/̣.K ʴXeAbb;q"v֢\Oz ٢(u~![d'>Ψ Rf<~I,CnKe8-l*|B {%PtC ѸZ.a7o\C9JqKۘ^W7E}\/}XȊsYO:疙#;3qDzYoK îkR(4 Py.<[HΎGAd]:Z0v0Wй e W&uTpY5ni~(|a{u}6*anߌ8SP]5vp Ulґý|_2>xԊ:ma55؞?i%w镡@@ 5Gߜו"\x'LѕKﲟMED޹{]q12]Z<ÈxUª伩;ύ~4`2S]0#ITfN`=2Ք]1Vy_5긾"6.@mF.#qp3I|UUZo aFVG]Z{LNȉV⋕ N6_O m7ł,Ua|4 ghynj/0}' eM-%$vW,:xq,&:&wl%cATNs$j_{Ȇ\XQn̺py*߿.K $@KN~#3]5&Tyz궕}jSsbwޗp]KNJ߄!<QL&5r5aIzأqXy4|#X&ŷMhygMw[',-hF'5{}* :<d< ɖ*r{Xyya\ +2?;V5)c{1l?~o J}gv N!>{xALgqET6n;i~uT'\J;6j\n17Xz~}7|^bYpki6@ɱήr"^1D0O(ϔ>,TOQ;ve\ꡙʄyD+|hB$41 DjW(&z%9S͹Ffxnt]cK[DsukU֖jS- xK>o/r{;#_t8 טXХW[2plNԋw*?2:`l =yD rͷ{I( Io|]ârN *(il;=El/@JaJ w <& Sы' 6sĶW\gQe U @m!Ez u"7e9|RcT3o=ר/8lzv@}6e8aeKN6 JN7$i, UjЊXӻ݇ZsJjE}cbc34(Ma#^BrVW1H iJ6-nm0,\ڢK$Fu-u)G&2}%1n:NKW]WՈL˯EFR[1_1$x2 7S\=@gX!2[.FdD&z>d7\1x/L?34W=^ ֲijm׼$1PG gya9C2=v_N6&,n^zF[z/ hPH4bIeՀEА\TK<ԉjъS&ifU.;$.ՙ#C><%KpW#=`eD`4,5N*<·.B)z'S& #MՐ%Mea'[aXc!V:Rad&5pR$ӛWƭbZiqRX8MQDȘjb(I` [Tkn)s0 Eu-V-M8$}@: $Q(}OV"2 O7}x_tђ(NLp 6zZ/s<,ܬ m%dq`Τ ߳45rZ5Dp2px!5Jjeii68# m>I]|-9!Ӈ/ &u~bAk1:I?o`}MGuhhvekIGîTKVښ"J7X?PlJ\-{x$; %IZ7ųh';Wصm1;Fi5f®ԜIa<r, gaɘ@zM3ss!Ҕl=ʼn.} u\?V1>%mfm /nwl@o&|>q4I|{V L ?_Mt9WuGF!1/b9⹔qSz!sY̜3r/A| /TDdEU`+SڝܹTo!\6ڧf5'X7ƚ(&&$WY֌A[!qwcm__pV X,+ni ruP`VT[0zGMB&)iHyCצ.d>S˩iN`xKYI9/] r%)A_g}00p[@9 qQfQV+\cֈV_1Nl͑&#| IWj 9y,Hٜ(Q E`?3A34ICӭq%K@`Q ѩ,c.VZz@*+yBeRTfaذ?i! i4>%wE?tص_ QiFWpJ K?+vqƚeg-tf-t\z(iIA,Gj X"&P>ثlL%L"@xF&"VEl5LN^JhK,oJ(mLՃ}*p|EC+ir K|]Kh! $+DlmK;:R B,d/tA5AfuC1E>g1ֲ42`W<|PYyӠ A%g/F̴{ Pe_j et%Rb!jL֢aB<2ƭę'x BJA'|˅ fs|.U 9vCMz8ʉ c.{ŗX` “"}<FTl,l'_M)Yt+#MU>߬H∶-sIP:А|j!Jr[LX5m=xPX⃔$ItdlZ (W`m;N!τ~=v([_&ujR׳OzsZCpk5_T}kl H@9BՄj=]rH>ޯbKHCuuk~e]3Hb`~eTWS(}yR|'ē):Aӷ :?3uqhKc[-=0m _A8T?f9J :ifn(>:Jyho"swt@_V/Ff'Psc;R d2+2o k)!a6q ld˞,!NZ~h+h30Hu[&i)7D.#7dUb #%UD< SK[d>u֩19.u-^ TAvp(ubnu3 )$-E6DЭ[}=cq#/GL SU@^c㭋>>nYR"J+꣱ \>ͯZG8QxFG m ͵;cjk hzğjw?rJ[$R1V|b ci y=[A x6帴y2b1KZ^YpfޘQ|0`}r8s2$^w.0[ js n}PErҔ͎U9ת2'O \l0Gg އaX4=lyA e\ɟ}ܨ_yXګi]h7ͺ7@FR89tpp1뽅n#c. U (t>{[&HVWq;|RKG33}rVj+ 5;;ŽP\%#+c jsEڧcx8f| Wt6i}6fd>DgSAf|8x7ƅZϐSkA_y )JҀWY:ϒ*Tj\(JZm 8 .abk5!:q /0樫T3'F6z%7='SOjA@ĭ 4*Bud;Boј~?xD\M-jhYj^]+,6NglS-aE4OYp,`x!=J' }iKEiQr[;WDMOc_[H EzIL"Z99:DŽv0,2FԤ -vFCl ]dg[}l#ҏXd﯂Rr-[_,NzWyi>s* brЭ}Cj_d.#@p5y'8&!HHϴI.a^C|Hwֵ ퟞ1!Qń_3o9I€cBv*v/cW2˿M]2ւ44mxZ1'P暭uA^&DrOa)k|t bj & ,S)|C,Ǯx4ep <<_~d,h;묒( q'S"x3zd +|\&7*;]4wqœ}(;^ YLn!.%m42l7|DyFu,5J=_~ըď+VUp#eWy ˌ^9y豯+v+r{xŶ [<! bWDeH̳<u M4~c(x-=oYgeѬTǥ? .T2anw&_DK2!,_*N8Anݻ,%ʹ1]7 ރwL'L}4N&)_0@5svkڸ.͜kve ^n"qv(>R?8&`I'I\]W$4/A9UÃP15jZK9kíz%SE8N}J K K3P{[Ұ\Lh6옔l49cO6p 7JഌK6:^ݚNJf7H;H'؋ E07/I] (wVH&s񡰞-bafyԤZ&_|\hu-&>v !z'T{Sۦxe] bhsfVa7Fr!Y3 bU@LI$: 71d 4CM*zY9:>;`|gη]Ky=w6 : ?u+Lwe0)e\rC pXٲ6h\- ,]cy>zbCX5;*w1=%V= |{?EJ| ی W ~8 aOPAqF<Hlh. &>/T+. v +@\A;S_衤ztqy<23JMs5g;UpԀnGD#>GDF8z2+1 v)Uh^NXU5%Y*]ݠD(/ hqWr x 8@@A;kݺL4d_| e_ -2i:k]RB LN`2LPsoASHK7ϺEҺ8/ t@Y >Qn+eI4pYa'W20V^xMnRJ@" O0lI2LQ8R,'²f{4|Fb g1s 8 f!fq7F2%y[S5.H0sb.vkWޮ<- 7H'Hѥ񨞰`iwg~ʫW+m(z }Gj[ɃF [Wffb>2/DaWy|<[ {H c{qZ(@z}ɇU?!ebm'Xd+դg6y+Mr6ۺ'VN?բUt} u<AbL+SqĪ8'׈yq˸ž촛rf!Jij(A.:nCҗWaH0Ծ_@x1XaUT~NѦz87A& {B0 }12vun*/u&R/>k}A3 {k)gz^"3k^.y$[jα,w]^pf{6$M3o‹6"q%y~P%JAg90R&HHr[ޟQ+!X1e~~ eag0gw.Juh!SFE Y" _W,䦳\@pqb >qմ4qQ>D//E;) +%\/<whyC9Gڶd\}$_auU>:q]YIϏk\`IܟԊ/,Ѽ8|oaVHoJR;.z};,H!Ud`[Sg8QXx3@iq6uדmC!:>C3kEqgǞ{pI#z[rx2)<O 7Ϲd W)}:'Y%C]Յ#(F[TL1laIΊx[ zD%i(/Jܐ ӀnqC`4B?"΄Lrh.`F|#(  fxckv5' )vEM%?G#(on`ZqN\nr& Vf7$e H[,^? V=`"}*V4[c;U> uyBIXC$C')ђf.[#U(\d.az  wpEJ4`Pg@(䝜O΀~)wۍ<G@ CMA .r@_ݭ5vf-}ܷ~ay<29S$Eу[\&nbWgicȜg{d޺Gӊ`}`tmi~[I$#Vtfxar_v֜J nջ{z.kgUd~SlsU!BrQyx ڪI?~/b!K .=m PbV=5bL;rp2PŨh9cYy/;"aUF'_5W) !4:4,qIj 1t~ F^74?6큸ީMZl)Wݤ!.W֤QDʕh\]cU\dCk]WFkn0 :zs >mR_6'i0tV{q-gONhqThe^?^Y(n(s..FF?ShK#+* į`XV$?NȾLa-^Й["7Ȓǚñ.D:ì,abtԎLKW#{rψW'LCλͷ =Xqs/6N{=Ai$QфYh~ E*ьK=8eSo~@ϟ3I V`P[x7 d<œsF􍕝EzxACREN.D=BϷzIKV= >DJĊWk:hk|Cy}7`ԱEjIFܦV者L -v Ig)Ǫ]H:ɌIƻZ&+Q,w98,HTuq,V`ucd,AmR]js:MvsS\MŤǵ%k2Pu9XE6`K#j  [W^\Di~Oyf%3E]RP1܉rN)Tg rDf1âk6koxaދ7QGrUvvVlԏ)Igƌ%F sC4GdZpL.](@xd™Dt:a"U,^itrR /h5NjSmzvl{uXY%v49t m+Tc_aA~#ɵC-,"^`L9o&I0N& -Nb9aݝ<_LSf k^B5"6RA} CvE OK<2#.•uf.;ZvX;EԪ v Q~xR]+:2Zy SПu\ [MYy  U(^h-BҬuQ_qxP Qq?eQHt/rR>CI?n3xqK 7uj;62 kN0~ { A)hCl FƒNVUY@izc h w`숊B3\boV(E\D5tG +/j8^3pmj3QT(vJ"M}ޱ309&8vnCV Od?< !uj:*m}d aZH93[d!d gd}ЗXTMEHbHhi'_vٶ9}zudcYר8L#;x1]'QA{^_aKU,)f2ǍT7"+9E7E'fg;! >l,+ rtS[{8.|V $oA.:wy ~$uEMe >407H/`몬bȹw!n^ai S`#@xk7dZEƆ$*Q= `LBw)OpNɳuvڢ 8hv&P$+^&U\=׌4R~ p4 Efz_ow=0rJ?:z==z 4C 7D z ӳtv{ض6} ):GFE8n '#dhi ->~$i8R.:}Zbȕ+SR"o򋊸eEvFcNX'I=#x.SBS4phZb+MD|e|xbfu,y-~oӐ{h)no@1-g"B v%Mt)Ce謷Ř DZ*gޕdGm:a%n6xŝhtz/9 ǟc|M3KVċHC*Ru9րa!n@E/@/=q,?ʕ0u2|j9ݶ/n8ݏĽqȨ(&;3PkxCknb$?6Md 3rj>*MdӋ UB0ϥqV0mKX]&E¬zI8:syמyR{Y.4GweWJ<:%V~>[ ܯѭ9V+I;*KZ03||.ML(aU+ߊ\&nk_Ff™A1A4A qe))V[s SWh]Y,AJ zUJܽ;IƢ d[A9Ĉy)5C;uQoD'R'r|ԗ qӕǒWVcEf5a$KG%%f/W6^եm`7GOW#~APH2Q.j&4(VdQOdNJw8O9I·Uϑ9KF$jó*taČ~? #R:#*Zf9E6yҕo!8. I \Q[ZJIOrDS8:jV9Jzcl:qRWU x967F-rJ(iTr|'0&$_Z(g*h\42}R3 6-b0R*Oip F*mG+wL}]j{L}I(Wl$wIqCc{NOZy>kҪVR^C/q!݇,ڊɊj;bC0Uf>Ms*G(.$o"eZŀȒ K t=dLZ|I 0z>m3Z7KB>Zs*˵Lh-KvaѾK؛I]R+0_>z8nrbL-T>$Z$,ĎObm_<sO&`ڻ/C+3v{"]1܎Z.Tp@DV5@ a`դBŠdy5T$KJAUY!$mʝa?ࢮ ꩂO0S^reyv$0_AL厤ս٠;XKxvUݟkOSMYD<$ŴmwxN za<ÑNHrCj{T:NDr7GQpbxSnTZ'V#">7N`Ô)cN?vܬq7s 5Pӟ]˺x3pmq7/:**uh?7Dxe$xV}LhqΞ65) s,E(8xZD/HFQ)X(`#m$2NaG=ܹ@+q3W#r{YHՓ8}2z% Wc#6_JՊsߞmr :6Ep NoHp*A=a y:.&ׁAjl(Hs&TZ[Zrla\p[7yQx/=ΏףBi6%z릘f5O88^+J6U]bcֈy Ke=:sij#bpSd=bKP(8,юv2s6'UAEί$Thd'Q.͌?MO1 6}B~Yd OQ\HwԢ)JGԫw8ؾb{#FºTbc ށK#ׁ>Koޟ,UL٫ -HT8A5Gb(( (g2nͺJ6ٜo$HMVGڵm5ʍkJ<τuF]\6ƞW)F<3ݜ#3x"BkJ5aN4jQH&bݏ(a)dk],/t4>5ZiaLF=.RbPeN"X@ pa9#FRtOjBVmK$u` 4ҕ\؉셊[|oH7^r,i_XCX@; CQ$ZD'NAQOwhkUH/By )k}(yj>l.uaRx$͍B<2&NbBCda+}oS8"_=_pOvBKOivXl>ߧ4K //= 3ɿ o(B>cQLJ @9E]6%l 8ee0Gщh*ᯢ AIBM*]ү||F,Ζ+bLqWtf) WbXJ 35lNr)t|~[0$ j1(Ӵh)zl앻hģ %Ǟ~hjx(>>T}6qDG .-)qq F簙 D5??.yۭc9i%&i-йakSֵIB;I fQHx kgapjy6y6 LvR NDP cN%ZnDoxf9UAO6Tooxr.%y+!W(/x0+iw7i+APf^ٗ"2_OŸm-GA%.Mft*6PH[<~T#O%gT8;0 UC {(t7zvpT`bsQY}! 3$`/OWIbǻx3%qH꼂]:qBe<92iB+T~ʉV, Y锳r&Mݎ{_5q]Fc@\'HMyIˊaDs =K7b]mN" Z;pq$$_ΞB}Y~xN?37=~:rh6zxV-ep*hہXtuo:` 6xf9=\7ݽ]1ޛbTlDozƋ_QHS 2Y4W( $m ??sHc>W/ .(0{.Ӽ 1> 0L3s*&\Ħ юӘ!%6 ̘|{4ȂZ7@K!F`Cmb֡j;B6)p J,q&h_UG/`[ӻn\|%Yp3 (騊StxrTZ<sY~P`jGMA8r_nKYHL&XI 2k *vu re:0UPEa5:(usnT"Q:~]Z?="O,ᤉ>_W[{k"Vxə9`>Mnn`W0![wn@o,UD*^*ZI안- v\fX6?NqJqfLFfOޭJx dMSovFl| ?E 3IX羼QP.׏blFoni`3_a *p}o:!O aHƧwg@U^pjW/ =HthM 9\_uʊ=\bi~DjKz*A4LZ}mjo)4aZI{KτCEJY|1?K 6wZgtH\㺫1皍 -~y`m1KhIIz|eJjOqƏʩ~LqN~#nǚq P05Į@q=GHՑ'/P 8[]ى,, ˇUxfcױY.Aq>ѯ0W0r9!fXY.:Eľt8Q4 u,9#CszZ{H /Q/O%ۊOk oSC:ԩX( zq9DJe_]NjD|jCMS p.vL+?4z[d`bwhg85Q?+-(E2ʇ O`'5^b:V`v +8`8F(>W(NтHDZ߆EeL-MKR_|_fץ\Mo5zdS} ;3y1#OڒqSm1t;X譲=:sڈj}1wk[DQ: Wu_3ЫUlK_V@AP%1t(:&wGvcD> dK.%BǕA~*YFId`}ᮢN#.Ɨ =Ig?z@صv0qmK`y)CiS6g PJ&p e4n$xE|j;#]?u썹%Z""\x{2LƆ/#A Ru+.H 7"̬<;>9i][ޞZ1krnu/Ox{9PxcpH*fxS-gI^PĝPP/20,H4?^XZM;pdN@ Y@?sdzO߶%+eP:Q?OzRFpuSwf(T\&F{+~֌bEpLEAɢo (?R]|: D@:MS`M,a-Q|m <#Ǡ6E3/"s,ftFr tmV.@ V))ޤ.DVG2ک0BFe91lI N"rC ?$ExwM'i/.pj{Y &`ޓË.4lDWyxA1+3utD-MmV5qձ=OIUL?ʐй;i BG&!jSu4a@Tx%E, ʾ R =@y@mBh"^M(_9hq#} ;tO%M6rW2s}%5Ĵ=gIyt95&+WŪ'"$ &m>b]c:]Vmi{m Jp] vҖӼiQj- ˡ/i1h"R2) -"秭o(~􃸃ʒ5 u|eLCu! VvX!4;4r!l9GBA.3ż ͘q@ש`zܕ&ڒ n)xn{oFxinq-}vp)8lUvd\tLHЙ$6H`.s`~q@xki_Fhr8y!?1k`bY.DqOޛG>l(<4)h|b<\V8٬?DǴbd*>JI?nX,֝DC"qxr:*Gx2Y:Լ/HS;)SyR쟴uL" ٴsaPh2qgcʃj],s$sE@FMH1:GBa[# m9Oc졗Ue`IUO$*Y(\g"0pE) wƤ(BO(vC Sc`Ɖ0azafUG|xߊL8||90