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  ^ ^v3tll ]/ HOL-Data_Structures:threads=4elapsed=448.422cpu=1637.432gc=77.012factor=3.657zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bKCk@o^7|sٓaQzCӗh C-vjD; Zx]y7C~pPPZ.OdS"al+\, O > *9xJ?R dnIDǾ4`BG!HmR{d#7ַ~aM?gȕefbķ\V`Jg<1o5%bČN7nk|l~n.{֚t`\+QS?pSwZg*X ?7o\ꭱW|35+È?T Y < ؆1ES@}=pvL`QqFCNfөG@k9udZ& oQGj&ϱـ}ؗU|HA#ƫ<NZ/[v njU=,AmquyXZ*L1oI.tw/`ʼnũKlcJh](-<5eM)Q; YhSBux'u[oޕbє g]#?p>W[W'Ө-3{?uC X4 %ATohY~N-=lmD:23M4/o!ks8kC$&1&MrZ426!!t , }{O;k[S"eŀyUn46!/MTj<랩= 0ӀAs- f>[؄aNʩv!:'Ky٬^IwAgKd)嶊2Edx,}=HOU|1yؠJ-)"9MoƲΎձ&;&e:Kaj R\vЩ.D^ 3 HOL-Data_Structures  mqThZh<1o\JO^zD9O"(нPW:qĹu\074Cqui;5uQK _ų]vt%},t/Ti|*9RZ59 P4RGQ ࣓-[U̅z/(p-AnܿCC˖HfODaY^y Q9c5?yh="YB&2~|IH[jGl_ȟ4)f0~. ]W))LTVW3f=%J̮l(b,R멥mFK's5wlp***IDJ!hmtl dXl+HFē[s]%&e'b,4cyz%I?;_ZژF#GNz;^֣Jė?먙Fu2^f!::&F7 }>" nB.ڐ΍Z({;{Ϛ$h!+;GL3shJ<ɭ㳹Aj۪fݡ0 3&=愭ژcU0# UEyiN [M׮*VjE-S3.Lm7D@?{\{uGz@Z:g\8dj =,99I23pR3l"Pu|<{1j=bPp+uU?E.Z@|IJ'3]w erJ/>p_O,.›ۥsC]]#p}:qؙE+rӾ[7LWkU<۫%#€"T-/j)l-[=|$7dh 6 N$K+o\dn}Q 2 'ߌ/!9'և *±n)O=)]G<̢ECuwA&y`wu>h!-3FQŘNtkXr (4ϛi ƒ;;|3tnՋ$n`.MsRγ`7/_.d>5ș?0& ފe!9S`Łu$cZyF&7Ph 愅VlW$ $ |ZgoBv3vP:dʱy+/UrZZF6*$3fMu֐t}ӅqBضKЯӊko/Pv eGFqH]:y+|PZNZLOאC:NG.؞}" j feGAݍ2V{>' #{o֣O7f,/ؚғ 0Ւ1`J\Cba(Z#meUiX*(Mz$Glv_ܪ~vP>Ѿ0C=}ɒ]ۈ yj;W6 >9pd6K!mgDEEn\P8Q b\,u#dgIAGJ96 2ɦ ksOy2x|G"΋?-7Nn>Bmf J 5rªHZc>ZǕ;$xjlwE2vZM_pl$DD;h 26!7k*7l(wOVςDfqiO)mB:>z t2̻6oBT('v%vjMo<Q eEyTC@k@b<E[*8 >*4B!5^~8XK!P@(f ^aȹ K9{lgcDTIr_(3%04dQ MlXo81.g/1QSM(5{T\27 xG'xK߸Ϫ*.?3&ݎq\L+go؝WQ&3I[k b,!x2xci]@A HU_wYjjQ8csh0Jk;'VWCa|'|8>J O69Mt:5}j[y,|Rݗy@5Y|:@L*!Dr0F 2-@3x+<ݖ3m!`RTv> O@KGuT*{' e- K,%88(bꮸ'_3۝r&Ï/)}kdϓXN:c%4[c L>  Vsy׎!^o:@Zk{^c{' xT#ǶA|Is )zp1^Q4i%"UCӪ;I/^]18;M QDZ Qgz?fWHGs! +M*D[۲  WQx j2\~1H7ó3QA=JtlKr)t?.aN5]L0>ka瓨6q׀N|n,6=HR'0~A7m{+ fI\($s=kP>vk-TiV6˒˹-ztdxº~oF8w˩]ؔ;Z3UrD7vdt"U &}͞V!";,=7ѧRCHuX {Hk\?6yV;~{#ݠ龫 FٵfAk7k*/'9z7BĦ-XOE1[cXfzxH^%ҵhǭ1y'"Y %(NIβ1C+7TwD?{ *g QM!*R#Hc&EA1 /{<%zE`2Iw01n;ƇǜIռ~ʍ m8CCO|l!VFWݮmKq[Ql*j'>F3É⮱h>\~,cSR='Mp$#= BŐNĎJ7K>"i Y M`ti=W}Zi9^g $N"#bE\!S/+A%4˧LQJFH>&R2[RiYrDŽVdAA6e ޔc2۹ z.fփ 2zN;H/U_g]># +yS[} eǟ!o;kD$%Hܪ\MkZ $P_DzcT;8ퟎAr) !I7G$S<uX,r ,l ;(W?#[EJʽu0\2'34|O úSgFRFvO\*CP: ‹GC-c-ʶ!ݣ2G' ʲ^w+ Vq2u Kcpz:G(裁OC6XZ'8ʉ+>?PmMcLxިW*3\sLjݷ3>㻑.pT&sm tAK( ׭Vl2fo)Wo =w!5eCIk: mXL J>1P`RH1jvB+Rk/"Dbb80$ A0늞'|ʙZ pUr Ү4iS/rܡ)ZXiY)twրf ]sLАrd:F8R^,4 *6r^|ř^>"/!cL P^iL <'M]Xj(/ < |5!&/DCâ($\w,=wd"' F ѾKeMA|H0ݏq1s[mp͞b)C/06Y~2ɷ~>fi ב>̡hEǟ%;dNLpoS/XN@7.HbҨC-OuR  cGm'[*ΨdEE87th܆h{dd8E/nw L7)eA: w(g)gFkYrzѦ$G̼[{aXL6ɚ2Q*h ujɎoɘ%z(%«,!9Yc(m vV H,-sEa:%9ET=AK.ٙw`zbwGbS~&\1[P`[c^"1ouyuIG *HMp-A `tIKN N>?G:j{X|9-ȒcÿV9Eh~-ధyhNnYf\i5!OvGN)%CQP!ʊW)9 ~EhR6 |AEܩ5FS2Lr9|]2r$Lx~竷{)=^0ȢAvt*+ Dh&|E ydYWZ-RS>OaC^E/z^YK8FIʖܹp͒˽sOY]!3-bU {*?Q@BqR3kJ\@"{8gt:{U0@8{>$\9@?8S}xw1n̺vՉ+jo-WDFL [Q>Q"ǖdGD=k ;U7m6dY; lf[Wq,ɮ-P&a 5Z~3C((-҉n2Idx :\[nl( |hv^t[,e2eQYXQ}Lˋxfttsޢ摸|Ճy>ݮ7N‡WS |$p3gn )ZPЏa!}RD6ɖywWhvmn ͩoiCޅF|NGd {Lu.>vJ!dw~bxucAGh^^1 v LW[Z9^Ғhẏ#_W٦jގ=z;SRL}{͢z"t /$*Vged[BŊS~BySݴ_Ϝڳagi@]2>pXD=SFj<1zfLgz4J ί#L4Ҋ @tӭ1:FegK[J5&qhwevz'53s&DDĎ+45w% &+V F$z#1K/<ق<Z bh!t1X&2%(ȧ : _+|qPDXTe~𢡄+^rTHG:ÅK)S>lY\?ř|r'ɟ)s%+IݻY5j B#k牟Mۃ r?)O =22^XzfgV_#nFy$1 7lgn!6VE\ʮE~=EOK 9[hI   ƽ*)b|0we`ąfc[.\n)>P@DO)[P]JPფ՚>sH^r@6RI~ppOr@5c| XcM9hQfHBLK/0Y@X^aQ D{ysf-'j^XStڃI5R#La۽e&%E"2O02Tٳ Vr^ubNߛMkgδ y]B\,Tdܥm/YRCܾZOLj'4a t3MZ^ep7Q.eKCn:+\|">$?by,:?5`$kwfT2*ݑ"5ߚ v#Qw+N1qͦPLͫ)Ad޼B G5Oo Fb`#Iz:H2uXYRLğAۋ[Betn0"Q&slntib tbe!ori[v]G#:7gF>^:JV#$vRe@(w,_^5[jV` $`&?-M} !U偪C$&%$IGR*(baj`CsSJc UEivi?FcJ 6D63X.; $<N7FcU0AH{$Mm> 'G]w6 q( v/b H̕pba3M2=.2Jz:泊\Q: yv' o6T] \=e*4# :@nJt*\FrTЬ3sWӉ+Q*sy3昏W)Dj| 93A~ 4Clw>Z^jڪrs.2mi82w r,a,1n?bmt.?PWF#.G|v.˪yL.n9> ٥yLЫkԴGŦ"=`Ubhp%brss0F zk$Jr/1VX(=ţb7!}6+C 7hT}P"ò&;}!00TVTZtZ2{?ƁŒ$:C|fۿ7}":mr;;d)$FE9ħ&ߚV45ĴC.c*t'ORjW_^{aKs6pOLr~i_nɄ/~ĀQܒ2}@qYKܖaCQ>*A%M(%O}+^bl:(@T`|dpG lHOj9»ă9avzCG7&i B38>HE::> <<`x~!-= yN&N%*-%X(ee?"u:NLӨmq_*`{)bGZUwH;{Nq!*T!z4VqQFSeڝg;9%# [1|W25\' ~{ß:&Gok#){ di35EcؒUfU6f,Ĺ("0wUKl)Fwɒ7$Y3kd5p :"t?!wL4 5ZUeZ^Aƾ׏yb[<_~TwۣOALd^`%ZΖLA !;fp'4d+̼Y.'fuf)/}r(q) t ^ ȋ:ɒ+$3YɼC)TQ1>WyXe㑡3i16Hk0dI$$zybV䍔Hѽ ض[W8)===RV|ag779[%h I:KO-Ą+%<t5Lq`7:E^aV7%.bw/\A'@lvMYC㐄=@DU&B`ۼdڑɜ`Ăc|P<$$,'ő)f Vu} @; ܁2S2prRLf1!?Em0 ~ A!ZrPTߧSemrxWs uoI\vX+91jɇ:,Qާ @v1&FҘ(1Ce#dv]L5 [7J%. Yl 2%M,8bEIer-k}}d%AmZEˎÒ8Y;@yY}Dk^LFbێ1L~B aM_HZU}B_m>OcBYm {-!Sm _`g`ƫ'rBkPR1vnQJ7g ET )x%턽W}p6: lmL'Q.Hs~IRRgd~ 6*]Uh !8`VRzvd վ-TI$d14g"83c:+k\c/ 5Y܋M >.LXf/[l>ӯ\ܱoе(Rd Lb_65 Ω~]3k7W$'8?GbFE4Yt9T Q |cBv dNM sc1Qs4lޅUrp?52yK!xU2r̃')5\~J^8~%(V0~Ҽ  ${kO>|9IUfoʜ1yG\ 7>ވa"['LqR U3I$&9zt4S02 Mz S+wi쥴4k 8EajL @ˁT_#)8f M+t8Ғd 4 P$h=D*l-oq>G\HiQ`42FZ6 JQb(Թ8CÀCukB$9'?>NQ%˸.czWv:nÆkJN [ەtGS`9y,,QXc[/٦oc(>pH6vF6eNBEW?Tw:ibN@0BB=}v H>Gq7[1CHDo[.f*S@NF&=ٜ`"pv,a>M=MїΚQ1) ޳k{=PS Pz)rs:InJ(4EmmO݅ݪ±7&we=S뻮Y.F_m}dhm`-föƐQ;tZ R X6HZT{_=%YS_nĬs~^,El(o6e}1Iȍ!|R KBi%y3GpED[i>pX] ٢_iH@1.5i2yFԎnBr`3Xغx)5 ̎r+D`bA1R]RSή/="DPG 5nɵh'7cgȒD"-o_XUEV>v0g#&ᬈ^#@^>ɠTMai~]rG4݇2;XĊqN,1xv/%/@!q+snn}Ơ6(Э3Þ0$bUٜΟF&TdDN[ٕ+bԓ\p=J\!Si`jjaNx_=V]E 5, b.J}~\:a ƒ_#`e)ZN!2$Qh)pW{$\i0 z! mPx98ZJl\ kB`EN,m bzj:^VK5; TL&w0|J$Hr~%Լkey IϭXk.!,Fc  ,=_Ⱦ+ᄹz.a}O9f^~~V>Nv%'x?Dǟw9;U:~֧SV-AgU$J8(] b+'jlC^N(DiЌEqiXU1dӫpkN~RE_~>/ :wR,po NȮϩ(ƽ&W͉B35z"8]Cc~Gat{k풻oƄ`8r0jB^ۍS #%5HJ[Pt99h*Pf#Uj!h}qYM⏾rZޅz4 Z W4 /máyTxx˨iQk٠eGQd ]&]5 v[VKGmaK{@vjտX}(8 &^?X<FA|1whYu 91#.>v5^5b+$a=Ћ]Ms@ 4 "Yi)\`."Ze;_=V|;0!>hD]dZlO7X ǐ-AH/)N֍esCJ"8tb'(I;˂ v6AJA. Z#tO+OhŽ3G7=U00%UɥzD1/ߔZ I@nv=v/h=,dK/"s$$,62xC@di ~wrg߯S+s=:<۾(u̬K;"$ H Q^5cc!`Ѽ^wuuRle) Pq}ټf>w ogtIt&-cRu$#Ӂ-]gSioR0k*4BXjGB_~0^oP+zQꗍΆ "[kHl$J-$\,יTӵC%aAFm%X5IxcdIƼ 84(y7^=ijWRy<jyE)bAh`Tؐ$lH1.4$4SDd>˗Ǥ؜twD_̯ЉZIzߖ*cpw:] q38 Ɍ?g:~nw.xъD> +Io%eY-,q{hGT56u2oih/&R/ R&\"J\ܰN|d'ɶ .fԥ1 di@nT`Zr6|4T--G-kRsdI/=` .C# {M%59zF火j{ B"vEzжC4U줼:)̑6C%n|W9hXSx"lkaҊc:n- ; 8xQ(AU,{ )մE9VlEN7ߩ۟zc[pNLUP>0#gt(/;ڻ X f^3ki'2Ep/5"K%M{D+*onVEInLyJB|qG"w.C\*&66r\}i⏄{~fVr C],m+.eah,qjIaEp/\XrizpHjyt2$8N)nFk[%(-) _;Z6[Q⻏9%eVH-|QeԎ:ӥ'c./^,|5q]^+pC ElrV(^Mc#$L3& f%IyvՈ EtʃϠQ`t<wSNq}_[G% .Re! TkFT=~j_MJ:`Yd2g_5.nw|1β1<@*e~W%qU5n1P׌r]p0Hv2/s{h ,z?9=()Y~sL.F e̻ujyzcuC?pȶ7nǶ,5TbyVD\X͸-՛v'ZEC7K]T&A?*Ny׀ʑ R٠eQ5E'm;Xf[ .{hd6';v@Q25Ec /:8Ҩ52fhSAht4S!fDۖ.\SєWgﹳ)%< TkbdX6^&By@@<.i'T`H [h8 x^TzSL!<@(yA)[ V%( &Gdc=Y硫+AYMu F$DVie&6pwYJ ۣBh\,."y\U#O >#g=[A R d$v1J<[k4٠t9?Qf0.> cvCXTuO$ЏP4%z*4xZփC3WC"5|XB ,TptGU#0c}]dG Ja>5d%'7ުyb0bzF1I{1CMߕ@ aGOZ"PH ;R% x,`3UN4B%8;TϷ.f޺"/0bZ[(_̈́y IEO}5öS?c~ v7h=,V C^cn\LdFi?;wJ}#ȕ\`F52FPF"!/uGMY>f@(>޺OsgSG(T]Ejo c@VqyikVH:ȏ4Z(8;9I5őCrBA;AaRkwPu%(dSOɘ;vqHPg5aZ[kcʎ^D/isnb#="vcPl?Ҝ9f*.Yc k_pRJyI3rev+k(Ioy:";,oY' $v "8I (W rKzh RD%ٲ63oD1_!Nx,G#y8m)ۋYQ\e|xOvyM;87 0nzjwo*ru܁ ~L*!y D鵜fZhKHwqYDrNΞY" %d1.CXj\&'Yٿ26+QPnFy^S%s[S\1S]rچ4d<'?y'of|GV[߱rl߉^Do 7OoI2ng~ҭΦ]?6:@^_5ၗt+2=i'Tk@58*Y$ƥhvb" V:r/M2SC=T<~Ǯ1B z)Sh+'wɜ7G/xU m;o\X*b񫒺(=)R%r) T}Bd"$yy XN\u"di9]R &!m\ask_A#2kvdA.zƈ*WRGH5-X\ؙkFﳲɵ9JHwؓ?'l=b (! LKv.oBR6WV,Vo@_0GA*:nAFkFAzqhfk8:Š"jHt1 '$fK~4x(*zhbz (_S:D,g# SS,$ M"">y "͐) gvOUfKNs(j%oG|tT f8"p MsLu[8n'Nы[ɠY˦<-Ҹ8c&sr &rUosݳzhkMݑ>)Ǎ<ɂM{VÜ!Q0)<zw6usE*yl* " xeEBA8aBIs Z{Ȧb@h&MbUnJРQY|$"}>R+[7:~[8VjL%<,h\HDKf7*~'}~c\G9mgE(˾jDKP'XK 䮍܌;@:]^jN'K|BY@ yf^z=$TƃDe㡊S\ŵto<}ЮG li415bjl$:!bƔ?犗NJ:\y:IϚ|pU%ڲ<,z7i& B=sSᆭ fW6|:ɒ\b_U ֚D֎/]0Jo2/P̉K#>u{EYiĝ&2p탺R zߑ+5 +&^a!AC2/#ĝH=WMh`G`}r4R=S#twI1GCƠRsK|_/^<BЩ4S<#ځmP\VQ'V+2>LyfF?Z'^.ʒ*P `Fo=$Z=U#wD2"@I\Y(vȺ&TIB&)MwgŒPq2=C^Qm8/ݶM_1# MEPT`T~8ƌ3ܬ Ej`eK{w5!lv˱_-Reې] n_SAO++i-t 5.Lxd0bqq!jFyq3vLۼq<- c[\)Mk6[A|m9H #$Y\^';f>itκ"}%>Q Jv,&7NG btRqVo8 *~.vSuؚ;;ΐ~#FX8Ո8@]_CjS_ ):!wUhL~9=K@"4`h}0KC幫<UÄG?HR5,db(:h[\Ru*Z*\9db<¥)v^6\ :"S6;y>j8I@[nch~FpWSxM!7V._̐9>iTx/&M```/1+2m_}+ۿջ['@ mS*dyXC PF!Kb.G 8Pl%Xԇ#rY BNiƺE6NpP adž{[}s ;gWB9W7Mi|&Nu&H[$M3UGӮWJ2ꙢuBh:PĖP.> '0gxο/`1At>JPEL_XH`@bv_<(n5nb)iC /땀LXZ*;K'ki}D_r!(3S=0Byk3k; 1wVz tpڧS6P> @Oэgp'!YϻNK>4vj(s-K=y w#RRnpV-gJ#^~|lـQ䔛(iu494 < nY㵧G* S\KaY=qeE}\MXWYCZ͢W-iY3IenNxZ;dY.Y:+zEZl[!Wۭ㜦wdaN: V|K~Cjj3>G+[4Xi2H5!tӷi# *hO:)X7ֈ chOH AApLici@K#pwLEu`1axZ=βu"fH-n`%WŴ~|7A0?"\xQ:j3 Ů(CӰWÁЏ7񼝪^8e.eCihIkPD+u?2Il3 ZD^[+<C*_ER*.J8U֮%Mq^Q[z4C0P$sOD Yzrc(Ykh:6YVMP -99}~iZj&bƎ])ƈ" ,bd6͡VBl(E#BߒɟlIUrld3t.bc.' wr1Fk+Yaw^ޛB288ՙn/t539)r٫!-d_Ī-׀o|zӖtgLxg}aBD%>Vؓ{*j J @T %!hb2Mﻔt.M@Ml,ʸ'!ky|k}s.v1K>b|țH'XY8,:f#ڦ_h ,ԮRPmګC.D˯婇AVCBq-HdF|A-f:̠t NU6|7&قӢƻ^*ʨZ渪XP8gȾȡ4pL[ei]V}6"l]}MUDQ>*Bx}RlB.GV ON\%P:=ȳ Ć;;M{\UfݥXztD(T&gby5ɏv]ξkL> \$ Ll.# _oy)X 5UoBNT7&-E :f9qv&R !2 _)ɟW瓃:2ibg 0Z.,,FṪ(F}{O5m,kqpQ HI^VgH>ӧYEk$yVjn;2]GԷ ?*ZL̨,{΂;IZFJe_W v=kzrcL%JPȓhsH^XՊ5Xhwow3[(TV}fg^ے32ٳqH}?hpW32$63`7+܃\ҁ_p +XBn7Hz ӓnK*~C>[wꚾE3׶?2nbj| c%PPz-HY-Ⴂڡ jIIb \ف_78~E}; 8f[f\s-\;,ئa"0UMz s5_arh9P/R{?tQMtJ56i4ɽm?[C9M-Cptz:x~%>@3E*YoeGP`d:ޜAJinٙF㧀 2"~R]XɈ!*bqJ̨qoMYZ.㗿?'45n hRngƔ]1# |Ak'3}gq=c,[#g .H2`e˄A cĤ[ގ m'9ԡ~-E$!@bό4Ѕ_j8k޸fN ,5 r+qƺE {h99iNn^+!.:,fj.٢Y'`Sw͕IuL5EQѕYa‘7@9k7oS%1?Y\kln9Ӏs :0IRdQXLх<6%x ăw !&^>. ,}ċJq5Z5;;9v F/8!lm%܊%A(wk=KoVl@9g|EA~LTAF$Ak:FR']ݏǓKk_9$4rip[BJ9ZȨ@`xAg.Xj5")D>P=U Al\Z~uՀ=UhAqNVHտc(=2fWVN'c(̑>\߯)ɡ+0E}>CH930 2< wBٮ"O$D;̍. E-[?\1 &p,y$/+C.=`祠esުy9`@6ѕ̐ M*U{?ъd40WE,E -? s{DaQCW}kV̂ @"6Dn>LjpnF,$v:te_edwqYHZA ofŭ1kqҍme: 0jW\9IKP -V6sbĨwqb?9N ̡} .A_bmR_3x_GezFpTK8Sv> da&xɃԉD|{^Au6LLB^MTq3I_(7\OvëO("Rfx\n7.Saz81q2AM"sMGeJ(r dL8LʹVpǾj4ur}ca}vc=3t;Q{W{SAzخ̑~*SHmMԄb.9u^/A+  -ךOUlPE&MZE|hf5wYI{9o9S]kd<]m9#x WՔTFjKmJBm8us,[Sͯգk]θz8rrD(8ԽhfM$j7(;mL^NXl'#]П"cBv: =x >@!̞[1WlCDD #"]$pE:LeG=J|nJUcnH`y#3mW XQ}a̮"L2=`dhC~ Nt=W}Yaϩ_FS^ u{8ꑲh$^g׼O#qtX&tveuk[&_57٭% `e~cX/'-g8E7†@ 6#!bJc:ѻ/> Zʁw|K̴-V؅' =m-/o>8T xYݙ {cl̖\`GJ6s=[sqmGQ8k᧎SM<'UZOV.=x'w tK*A9HpcOdJ ^c1_lVhj^imLjhZ'&}pWb~o25Obz{Bg;ї2q!#v|-%LHgK=,:T΃ ? IaEe8BR3㬍IKqXϔsb(%X"*8\ MNeaIס) !6 |GlGu6EE׌=<~O?N,g+ܛgCԌ> zi˯%Į>Dd?L3 %GM* \DMSLgbQ%Q /:8۱yE-tFVz8h~u*~ :-^һwA,RQM@Qis Y w;ЮTI@wp˨,+;-u_C!A7(QeDH$h)ek@ӻ5/*@u˳6bjґl?,&*F\cn.嫘p!КX7&,="5'{0UeQ-.;p ʎRkKY3|?d:_Z-uY2H5H$ETT$RO+;\~;DT*GlA)a¶>ɫ_ f; ębQVߖO\PBm&4=3 sXTJi#Nʱ, jjʊ,|gbÁdeߞ"݀4^,!& Hu&T:U6@S9ne-w>3e%Clف@:'n7V4ثԁf>Ozݮ~<f@reMFnIN:"?FN[˺SӡVЋ4׬Fmd%1)JƉ׀|kZYMȧ +IAF@ /;w~jh2u!ŤĄ;`WCE=3qboG'ީdI*g]_}PFj @;|p&&$.ۗrp$&ғ-!xA?x"b un Rі6:vtsw2M ֔,DQ\|&^`&W?Np9ha!(lꫬguhF9@L̾0vA#C1#/x19o0IՒ o=ܙ~/ "onylh~fZ/J6R D I/ꃺus wl_sS/۸ A4 $K Ӹ" S>3,Cy{ALdSJq]4mc¸`^}R5ȢqHpV|nǀbU[>.+BH9zRJdnN9C`!=M Sʏs1 )ަz8^as^7*e.3y'd_+[M@L7Wy|̕W:4soK KVΨdlzj^LD0jj}{YnNe_܋5X~J 'HT5cu+O.x@ +[2QJdj@Yq+ke2b_6L(턣J9%Jjy 㣨\Ӌ_cX /.9n=/\]wn~`G쎹)@ 폌F4^e4=D`~V?ɫ`:ocYL\L ҐVj08qC>0"ws$"=x{$gίeOȠBn ;BIAPJBCh@d1v4-7hϠk=SAkTBG"[ sgMU?-#֝enOI׼мIE>fJ$QsmjH&[gYZ3dde6993c6230fb908d4f50940ba1b7c09bbfc66d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3