SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 uu[#$  Psi_Calculi:threads=2elapsed=619.037cpu=1123.756gc=36.016factor=1.827zXZִF! \ ]ŗXf1-/6vR[3:CCp w{ uSZ@B_ˠܫ[0昿4q+n!fh$"[IQPZU%@8jRp8pCžzhEn;'+jUL@N+^ZtF>0q1u(K ڇ tvY;MTQJs NX}=* MݬW/ DHE'f IaI:b&?j=OgpB5E'_xKw(fֻaaHp23Ez%M[{$@1h)F/끘aG%IQ#W-0Kn0\^Z%$-(B*2%rh9ʢY hąh -hrdy; o!BOmZ`GQ =f@o߅\"gXWZƅfp+A^ l=BVjHQK[*cfIC;V!2 T^-Guo15XpLG6I@g )Aug21c8=tI/& Qs Eٙx-_B'HJ&O}᨞7ˣVL+M j.葩Ѱ]#^<9}> 0% efDUw-W0IXAEnsKf .FE,㇪ u`8{eO ${q[Hzo;~^Y[lyv#ȷZ۩P+*gxKk8LI9A>h̡!tbagx^>Fj<D0O$ug"2wRʁ|K 5㷄X QcGbjrM)0uʐ̻Ԟqq?1@.M>(Ja1݊8#$Eؑ@1-uI!.φG2 9K Z",L;7g|E0A0ġP؋aeX}x$ 8H ڗ%z 3f 5!M:=V yBXlJelS9ǹIe(Q2*_ia^z&J uF3t*Sm]gfm~AOc^qqN&`Mhѝ1zvZcEChImςNPG.9'FJp%>DA][Vd+ y35u\qr>{Q蜋&ڇL%++;T&xL*} |p=GiNFH0u,TrfmȚ.ښErRLB>Ж܃*6t6z:3E=2FJ^q/r9w/>}y] c{Z /u2*8<023nڂ2R?0&q{^\QP  8SwWSUgoTduJtg{^DkLrN'f}\)` kP䎢u?R,H16bIi 37u#YEƲ?)<lvmJxO@CWȅ&yϵ ueBV5GiKi'ɲW$!gl4?]έ9vؐVˡݘۂp"ȼ\.2ׂ#hPPoԉl;J{:Hax% }9U:*Qڗ -7\D2P]?6.bERʠXH2 gYo[ZHK>oT$Bm(יGM Vqx\*JJPs &1!tiTSD1ZoMkţ 94Ĵo9z,^%nfWૺF)lEr3?:eXi )V 2vxPpFnlno4籹\I_;76X.b~s8N}oH R~cܠ}L ;B74"5$pR[f _Z#f%z`vg@m75UizA@ |~뜯UíN f\m%O=?)KgDUu׿I#S:Ciw@bi reETNJO(ZiYth8.dpaZ~IZ^x=PxQp;J<OHzP}8đD;$gufrct6W[yʓbH ͉@o&׶kۅ-1|'ޢy%|+eV+QlAjLI"lwGHvvc 1 ẁb sg:A_K%n6P/O"/ܩO%x6f{{Duٵg0EB=K1@ot#%[Dꁎ2*3T`f:#wf|#e8#:])3Ё'[ ASHj?q+*%L*Wb۞CKdr xsAo%FHp2w-ǐԊ-^ddK iբ,, ȈڢdaJ(V'}3՝plD55(@A/F} b gz`$r 9}< `kG8mqg_V’FIs[ =^1^JK_!40OFM%h7.mOT˰>frU lrW}b>Go Jܐ@SJ ̊D<7Ɯ3Y8[Z^_{LHy2Bz#F '(\^M/0[&Є҇m"v|h\ Cj2jf"ReV3UݠZ,֦#țHJ@(8٫vz]8؇AsIhj{lGk/"/ǻPz٦+84_0ȼUzׂfvO3 qS6ޭd j w`yLdI'(uz4 ME9OY2*[%ьZ1Y6tP|[8u:X:|Lp{OGQ 5Wϒ'@<ɷq{g rrlܧCcbW{%+{=v1KY!8ɐn  k\zH\S#֍cx^tӤ:YQʧ=JOa.1ʋ5:H]ި(ʢR* ;0ctBSvr-w A?vPsfgژEv߫= >a@lm{ArrȨ$nD ( PbL-N;iߏb5љ_*įqfd$ Ip`5IvnǯRYNjw',Sw<8ag,fI-8.k8tV4̯׽Oŏا;1¼P⅗q &؎֎VZBdxC)XQTXVRz ݩ1Z㶓~'荤J"Xhhw˭psA3Ί묩l][(a-Sv_8Y7ޕlөZy,v"d+BRn- uFACWo wm|_]j¨q mĬ+;#;݂kA+SfubާKm=&%G[4fshQZ䒬 _ L?[9jyBʞ ʘ݂Q0E=ՕZzlsTRҰG=-0"dzn %=gqH"m`Va9$Uby /5ͥ85I)4E,Ihgq]Jڡ ^J|8 AݻPȁ9bƬ.|4=) І9& Fӆ;D:us~~vU1tF)Bא4]`#R .+m>%^SToT6 JS%pg"){!NƲ}LiB2㪑dWG } MAs;0 Y+2nDTؽW )th5Y_gz~qT6ѶX | WZ2TU͉d[oZ`n&%&]=hE}>1w]AӨ-ŲXqwuE[q{d/!cD}XLq'^Aud^]j]~ÙuˋzB_lQ !a Ѯ_Z sM)^$#:4=hhz*׫)9h҇`ܖm>85S^-Z@;k_+c/f9LVNQuLh?Ѝ *=YuຏJ#W6qnT g3%8FI}k.ErWD3>H bq[iꐰzr >XA)ɏb22U+݂B_(N'NEIQCK m4'PEڟpB&w*v#?N s@1O |6'DmҚ]C0k8JOtЃ.ԊrCRmJkY_:q}6.^/;aX6YEw Ę3(ߘ`cfq$~ko J=s*OPJ'd\ ն-琿a hgk߯MSP™+qVΒ&\CƅH!@ WSl% &;'~}T] UA}{}2mX"mI 9Zs1fh,O=Ӯ'bX;B Y\# !0@ۮљ]ι Kcٞhh:,Dj 1g, l@qא.yfɶE%y,H!)AKZm\EKvA90d/Z O%hC5T5[rهٵP2h._o@P$k\̪[`(X"bD؊67_ףb\龮(K9cl>\TɚKTQ-A ?(xVe}2'KZe]& 6N.TdZsWi%f&ٙb8{|c^}E%eQL}w'<@W Cg.Y1%]%apvMRaWVI Mʼn7/i(+Zq )hZ544L[V:^d8Vj3$my%0G; N[9wQf 26NsF$.mV:+4CqMJ[٨s8x<é&kRI?9ytz].Y ^ψCj$e_B`53bO/}K|C*߭U-, x ԯ_"k٫I0EfH]nn#I׾qU mE; W]6_Lyla+4BjSJ!.EYҔT"V>xKHnl' 9_V(j6gPcR "PvO̯SLukj,?5NewA3pL)5n'W6gy|q@܏iqwF8%骬X$(8"3sSzUBD@K_ n{u^v$ M]ē [|P%jլ<єࠇzg?蓂r2$,zby&+7΍L{ __Z TvvG{*a{rNVD̶JemYi)ǎ_=şWV5խTl kWeͳ룛@F2r19JttcL#uvU*eV4kNG ^t+Oo=؏D_p}yMH}[Fg[X(T\>/~!= Y3;ew3iaA@&Z;_[שRs t\?V[YA,HI^ -|B>3VH)b8(t@f.3 ~vJ6 cAOdQkSK/ $ XZ~ZH$:ūmb2́9ki՜*l@ӕu V\h=›3G6whBjz;V pvA@b:r8D8i dXYaXL"_wjBDaPr- ӈi:­#cABCn@t7:j.G.IF=WY%_M"y C\6a?I4#\x30FX! &/7d 5״Yz*P8o.DHO+[sx Nup2 I+dSVnŜ WM^~[.gq H|"]Ç+8r^0ܼ)q:ERJh%BrhH *F㱨9B Roj-j@XA^rӐόuZn [i:lKf=`}=Xrke9pV70RIY$oiD=:Ģ:af\>ͫ]'կ);IgnF wZ$M%i J>+: R7t`tWvs:3B}`vfz8$&\`hi0Kb8^S`L G0Uh;i2/qHyk||g8v#U!\0hSa}BF,@)!mx/T,r/ I3 I_ Ndo,`zUO'0<U̹ދ̯e[#&7#O-! eK6) _'##c z` *oyJ]BU<GSG{_mÔUi%NS2cS:-e;Azȵ+ה,T:3HtV\l:%Y#` kD%3/4 wOx_~48tnKgve%dT*u:m#o<,YEj: 0Tg5!!yǸ*Q"k=js< zvw65e,nĐr?L,\HLI7ow͸E@%[ #f:D$v+p1QV,.'xLk(P_aés3ѝIMx:9U+ORVϥCАٰUg0~W`[꺫z˰ngUNTw0ٯؽ%~|;oHQHFD ɼ:NQu&ߤO*ؘݛF0äN @Jq+l[8]6'Xbf,kCM"uv>(-!'p}wDa127#Prq͝F>P"r8ncX \oN j.~3 /NN.~$ UlO"ņ?h-FuUtjHCb_lˊѩ'~|L*(hOSU@T4Pw }oDpE\$_c~:.(طA'I(Q @Xq G :jcMXEbt&B>U2س<ŢqF( 0!PF$w=aAn(}DRj@YSmD,16!_TQB-[@2"Ɗ 0ӵ²"xN|[OfM@pKo>Ej3ce˞JL;?{J14^Vڍ$ocwy*`e= `v)`dl#/ #s>r*(nIZ K1Il1<ofhra͌Ik `ʣFP6v"T+Zu'+!MbPmAI Р w3 )W APM$Pe= d&b+̋ОFwjD`uBbkZS(9ݬB˕ <Jb#MdaAF/u,S%&;B0(XwvUP6mrnIO`X/cZ'S y(4EMaGdǽC.Rl^g:ոuS:ЗL#ta&^xAEĢ8]KJ Oa1ɳXkbht>`9Mu"h( 1EImɎھ)7a9ho9.3fOL7kg‡0Ҡ-Ô}HqkQفDeO5Pj0cwWong-k!)gF :$֠[yp0Ֆ?3QzE0?&Si /utЊ⇬Q:Y{k)VΊ 18."W> YQCl z 𼫉"lN4wQn^٩=/'Qj܆5g%d _gԩ e-TYX 秋RA`,,cXb@uեe>|\QzTiƺZ /VnS(l}pR|*rB ߥSҢJO!VHȩ>۪ ݼ_tV/}GM $|")Sx_]F|ٖPVk!LCy/7^jeH@cs7XA0A+Rkٌ*8qwxÆXۆO]R$5o,o3b[^Xa=x7EGN9ROOu]Rγ|QcH&Pv,Nzn{ z4ƷDeJk1eZ)PH`"#!R0L Ƈkeٲ(b_&"v}'N`]Po=mtw$1/ q>]d\w_/Bl5%,$5,t9#Z[z=_tAtYiY]{ibu:xPzеZZd"m; iJg^t q\lЧsLaRIC6Vyfs{1_(Z]kIAD+G}DծZNzЁf,aͤ ; LDܛT'*j=t;lYHn2K`5p[M|N+؊Tl-ݨqϜ=9.t_QK8b{"Ʀq.z ^ݩzJHiHWxfpI5H6s#`.B2d ѨzRBMUs"0mSA->:|YSek[H'zqm /g`R$@ (lY?\&E+ez5{Tz7S A>%f?.]scɊj \Q;`A<LSZ.?S[8ϏD*ֻg~u njSj|S$ʫ:V ǰ#̹7}ǿVn- שi5S?t!` ܁J v%~ ڗ [tʤYIXQc ]>D "湘KPRn6rwOBj|jG+7a2&a< dz?DF[xoև˳1f& uA۲"'"~ַ Xp~ևkۖL.7>chMBz .)b!C_"\-!nOCnk:IUY9hwo7L~$*ὉT2/l>ux#PU %AA#nOȔmYafM\6ZӔiQ˛B qcwsNE k׻A j=ֵsJax}W% {,@$!i1F;ўiy~emGb`s"UL؞p|)@Ov@޳ʖgĨ_x9#ؗUN)/;S,W :QD+a=:*c}-&#ȧ#AVr}7F|ژȒy޿DV"vDYE;t݆үC]KyЃ`;ڸqN++X֭hs IR5׌ <,®F .֊5oǠT-Ew*.vMZl5Fȃʸz}Y&t.Rv\lOhEmcNuhg jx!L8ȲGꊚJKB[Ie/kpzW 1Dy}*?$SϝZ--/]8E`cBL!sW Ω6ޞR'_pdU n  uWIKz&͚c'[{H;C f8> kUTpe֌ݹ6L,gL#Bk(U̟?,̎.(QV2p0gjcNQ2>;0?,/kK*Ug ĀnύM'!3kakٰ G*ۤzUt^ZyE{7 5Ue ^fj $:p  ŕ'֝أٛqh8ɖv7V dnHZKa |$5~|oYZ‘@P}D T{ Ï+,䎚R"rI<VD‚3P|g.tr@k ;dw 'ЫZ|}+= e{-WIGB,c[j=?hg׆s׾,]U޸_NU^E8j؞7,w`(8ѝ\=sZLEl  5G3wLQ㍫u?Y6H|GlQ.w[S~Vx +j~jhI((X4t3RT(: 5LIcWǗµ1F9vwng@2kr^& +;2dh:NtRt-G4xSLBG6R i0kc{Gf J-X;F!3v$\3?͎ a,0~k' XJ[ҴqXGxb~ڨ{~5 +akI)&a;RB(gY7!2HTGaW<ްZ@&H_ߙ=SƴL{ &ܗ(bP%0t*)j{3I"։ib\2#ϻYʧ _Bm*mڂω !<`&F$5P2lìl$Qq~A axxŠ2]Nlks 9EiG7FZŚ3lgOu{,E@2MXNWC[ }7{Qb.1Ku;{t%vŶy~7"c39j gU;&TC7E_PMsT64s 1xNwj6.`c](ύ;jmTa2ҳus 7GǻnIE+T g~o7 } =GD\A^F&r"=BH.WPʳ+MkbV= %JQTE'XB&)MKx>A/Kd^oOY4OЎ  |5.0H>lˤjF3jc*ZP6ooMN~gFu㤃S}" SsvV%!DYPY+wb8o9C#@=|d(`7F fŚkocیj*9?qYhíHA"|.4XߐCֱ)1mm͗fɉָˉLXq1ㆱjDi:N jҬw^NDF3-GԹUC&v Ϡ|gR^L\)gVaLOd+^*ХbksHzB 5z|1 |-vl)GfD6(teU^z xd1RMB/7!f.O^â !O1HLwzrkA ζ x3:nRr$Y:Fhߖ<'pju[ۊbs B9׮֯//@K N0O. xU(zďY+ P1y4lz؋pfCg)C9P(%N/~5@*(ܞ$os1Іo8Rw3u9%L{}%%H/R#eV;rKy&ySz@`j "dVR/YW5iHN7m8qI םA\1OnKU.Kfٿ--$(qU{pf7r!z%|Va1‡.yBv&WHIOI#<LYozzFŒj;jpD_)Qyt9\f1]Rh XBVb4l@vVގl,acoHkrr6@W,*=֕:+o+į)+d:vP@P?o #[jCwB:= \&)<#ľ_,dW8| .rOOGK+:xNoPw eWⶫפܮ=hk%Շ'h:5d&?x18O̲h]C 'Jca !tRYLNˎAdwŜO1MˣRsFBBd q)_=BGIz$͛}`@ uïcbBT\ Llb#I  vfgߝ7ܻҞ4{<I{ @q/z$ ~yx9=[YR+hCu篘 Kz! Xnfms7l5%BLU=IWAO=ڊbYFTWBUާOvj&b"eL8:5CK M>t1:N5L{t'=*3 GQ]D纮qڶzY#NGVJяb65R3W]U*`i!;5=8]/c3s" y)XYYAm=Y00mItZ=p>҉|x*S=&gv'p҃x;pwSr/!9={6)D[{>=)#es7 sO]bxNey%zLX(ޚ`s@M xƏKt :R3>!3dwݫ ,kʋBL퀟b4;l.hRVQl˛].1Ygв9kFB?jT+&CF|Wļji!n{Ii2y#4\vh,;w=)$aF8(+rݖꁐzǓ@9yZ?y^(& y.iJ vja_}OfN/xiUJta^U$MqvIv?'GAK9?h~ndRb- JH5&=~{GFh%V' sB¶yX$9FY{p,@O>e:-wKhS[;9Xǐ2b(4:1,kn;HDC feyQo6]c&^"?A"?hV8D -6s Z¼.1fI@ Ӿ6Id-b!Qj%?li MQIM]=[8ܸE!6^:A\BE7wm9N4tc0Y9&ZC}gp D&݈U+͕~j5[Z14'+.:HTˢS+'- *"m;0ٜ("gOzհ#s87@bdL4jcF^F9̣w uN׍^+7Ls^No^#T 1عUQ ĴNĻA^NfU(PFc`0RCu)m%O'D7MG4Sl^C_\I(}hvh7 C>)SU~'xS hv05^|1WCS_HoM:Hcɳ&8Gc^Dxڅ6DQ#X_]., |^ |οkKx-1ntޏڜd-4)=yXm_1W(`uLتXVskiE ,%4{@EGjYsQT P++hА٣0;eՋòFd~WMalLL&]d+`($񹝎1laʱaOu[;?bnw-sr︔ԅ,vlqqt<=QwgMm*3P[&ZAe-U5~#rw>΋YL8>JJhqWȸ Yz$Eo.:4quO*e:qZ_# uzᳲJwaJ)< RZNߠ/yԹ3]*)]z -oPrK})V;/' 醯Dv>4OeEP㲩.}_Aq<{rJf01{h]oA~+Hبr]GQpo#$]"A8;1F{)j`QoɎx;U}<}n FLRgoSnx 6,>)G15t'?@q-$;~ijd^ī)L *.|Ȝo6,hjJIN Kc?BE Xǘ:yzA Us ^ :g{ɧ6~s$` :AY WND͖btR+J /$R}!B9 I"1q?w~OׄAٌ=c1g{IMӲ+wG5jhYgQ[.H`X,޳sל7o@uh}?ܭKH1E(єNmxb r"d#HH5v=uY\\tr/5|^c6%HZNcx-t}@5#N, 2͕hq-sRm_fz@.Oɕw݊u8%j|9QG]R߫4% -K9iv~t?6;[uZc=ݎ}gc0A6Էj; ] Y q CuzޑͧjnĀ1zhޟgOvuKL#&w! EuhATe vIej8_3Ɠ 7rz5'%xs(klպdSx|Lʾ?Ys@lTT|}ce8[͠o<0\y z݆ h25;s33P.,h{ER$s[Ԡ@1" \:?`U&lZPjvM:i{bCKJ=LڳM^HEɄ"gT玜S֦EÂboň ͽа#vPE%Ydz3S a a܆mf9;9h-d v.P'\k{m:-2^,0c1[ & .]c 8VATCq%/MZOJI1ev qw'u1 UGZj$5N;`WSpz&4t>Q\c:V EXݙ s_tjA%\7Otq@vwV{]-I(/vQ2OxWRʱ<!:f2R1z(#?)mtK$`:HAoъLv؅le(9v,?FIZ(T=@F!6L*:͈W)l}+.c Pߧd|rng,m漢`?6/P}3ZZ&fx3ĨdS(1~~>nZD(buž?ly h?uDp+ g hD禯>|HA^W)s oKmHDH[,n>[S`͒H ҋVz|.Ω@*mڑ_!^G駮=eoɲTμ@S}aDj|Qf&8˾i|DF+Y@)VHPq5_uP!pOjR8JX J=Hi HGL-~ s m$z 8gڕX%luTl )xט }bR')奁bT/]:sv<|nUUwV4™ }ͺn, odBv#enj'c**n`V] 8q|iz~3mtl/1?k>5r\B*GT)Wԅ7vde;l(Ę;×$em ns Gtӯb6 __Bmj-l.wXjP3m4[y*#ҲUFawsNHHC F@ү+lyMWM.[Rp9V5=q!X?k7 `_Dٛ7Bau%4ZNVe֌'+Ԯ7 S+YJ(V`]E !oqlVi7)#Y:B.1\Ͳ@%ewTE$5cU`Ͽ^ 69A`vr/o~Q`4iXXAuw[XQXU~/ӵX;VFQe Q-kȔ̕gCjۘ^MĕsD/W:5<(@}6%wK縬%b>P^ bGD p;vh? 34옅Hq>"'LӖ=|'%ն(npX{|&L̴@X`\2L@h^Ji}]6yx p F]YfyЎVIiDP_Js(@X6%sy"?Gw@0;`ۻH|i$~5XHETu$4 ŀÐRgXrڷ~ELÙιE⏄1z* vB(ɪ*RXvQֲEHyVbci`#lc1^ۡk?w0N;=]ބ\1\44!zY_ g%c(JH7p c>&VZwEvCwR„ 2lw(yҷNjDSs@l@o}{v8S8Inbs>!yaPS d%Ϥn]z ˶Xv<;EcֈRAE榼:gIR7Bԡ|$&4 \|A%cUNkЩJ´Z4yk Y{G3fAPU "XQb*s]ɪ$rU_*W"+:7 )GHbb)Ծ8t{BfE9°T)RNNoɈTe^-Q>hxyQUǓPxyUМS?H u6DB ̞evލp_hSfٶla$vɨby9":mJMKHەJy.eC]{"2k!~`S5 {(BdSe cDV &E d2yW::ODD՟b,MET\jQݘ$>ݭ#֘(uQSHyUa=yLϡ\R8ҋ99͹ 4 ݘ6! ǣ;ُmY mŇ: UqÅ`nTJWP+,LI~R3h$~@D'N_g $KDϥ2o:T!Z*t|b6)oR(2;֝]K Zq ! ,cǴ_h!`cO ft("޸NIJMuo 4Xj&PSԕ]5y/ T;k^VE p_-/b}wHr1ہC\Biη-xZpjɶEn@ybm@DDŽ:ٺ"2>+k)  m{֊K<X"cPdR;Qko fm%EhHMƃRCRt~ÃO4!(O >`F b*~퀁㿿al֏s/^ϫCL ፬ad9ҿZu-T#rFNMBzǝѵ &frGpq. dg $*/΍^יuɋo5"-ƱwJ5d|3;ےZ9,A]cUE5@B6:ՃƧ-8Cc%2k~SWY;̈ > ƈ_~+z2XQLgu,fmq ħiٺi[\a ?wؒ'GrqĄLBGfBvMFTzD2iڼUyY<|}$Q'Q|0>{+_""P̖@q $t @z5ʓ|ڵaKȁoF>!&wtfpa& ]zFnNOk-SZ`Qeefw_# qo1J3-{eosz7^+&e˾ш[x;] U#7-|V5悫%!G?G0\[(u 0  ઀#nuyGflԟ y\}Ouunva|INǞ%4#$`ZМǑt2nLmd;r8m긲*G%ÏbNqDf7Ui꒡ CEBO^$pcLJz`%9w؞ΝS'ƨdS'hu-OM]/X~iI;*KØIF~o42'X?Aٙ$yKLjX2`yPu +i%v@g>f_'L DS̫;<be]+CY;k_%/BjY`>e[_%:GV_<}i}h ?,T|wC`nĸbo~v̯+֑(e3Qb)h'E{[QC}vI0i/i0|`%eͥQ"{ ܔ>a2ۚX`U=G5n{2R-jgJߠ. f@}vU(X4T* /Ea>Gceڏ{;be[aBAQ"\?lV-2$wB0RU,Ww`1ع1n}G2s* YKQ;Fl,7[&cΙ=Sg(/,օ#]yM F .Lu ڌ:Ş99 4x4{ߝU0_6QH0\_Gr;ym</˱D U4E rJ<(8]ҹ_fOH72gA}lm>sX<9dQ4ڏ߈kf:'2-bldme`1V.$/3$n-Yq>p>,7p 8,d*+Ӣ(h?xA)loe'7-xM/+t%̅3 )M#ݐ<)a$ h&[U "dIxDqX&ISВO@I1l9JO !-Au˨hO;SEh >{ v^"@m'._f?Þa]:H' mXh9Ǒ /pYG"۾'OZf ^5g)6qזqo&1NoŘ<쿰r[h~u=(mGO՘-)qW_ƑiAs#!毞s}}اRj&"2ֆȧITP 4ϗ7 U1|vX4IBO[@[0|xx zHX+"aoCa3Ruj Y$ۯ$ܷEՈ"Y+>޻K`k[< 跙2ፇrut=-1HNI,UUq# pԌ{Qke"ڱʜZp6%V}ňAd نיN .wqt+ .)#$+0Po0XTH)-T/ X،N_%ff4z;&hߣC>v@ E7z&WC5܋X.n :ZWcO$9M$&pHƄOKZ;I\L엙6Ba~? OjOckȇq5ݡ=[^ :IQF+v&ة MN'%DL)0-c~AYRcҶ~z6K?G\Y\FOUp1 %=6>>w<ɄTEc%W ,_z(Rntv*zWn*!פjtzd2R^ԊǞThl˛O*A/BQ^KޢH.p/8B\3.*~/ʜCtNU& ,FqTAG{B5G90uaVIx@ro"> 9r>˟`x}- 3j^z`JhFjuN{V{dM|9zYo#3S2_ BxÛ.6pf3ω[RxnnEbͼg+@:'<-fع )kYhī)Eh!SWATp){: "rbBfX+!5Nw C 'Luex.yC2E oڐ˧v?-+v6vؑ .y"x63Ɍ}ATtc 4G @Y]e] zӜ9ru}:0Q⹕ț%ZMAS6s`tIgJt(Fr1">SW[QvJb¡R\SP8PauoP~rRqGz/";yVȦ@sӇIV2>̰}XOl5 Ž#-gA\<;lP/_@ˊo"i9XzܡQER&ݻ^noW$9M Ӌ"١ˈj£7vquȭIل9r2/Rj <Th䀫c!2.1,sodY /E9p/]'7`k% ));W5]~63ͪ7&ԖW]|~abp=j%J~c$H A]?pMӯ^|#`9f 062ry|6 jf}8E,E_!, lށ*k.Ȟ(H3vQYqc fOtQ҈ SUϵ\7* KڹKFGnҤL_ze*se;^V`ͻ6M(oܸPfnWJ0%LXGz47h-hmk>yy1JO"~Y 5SjHjBֵK !KvF|lZ8Y%{qw{7''pn IUscxeT&p̈I>Ϡᛂ1)Jr[6umkQ}Z~ےqɃF+wYe(aqs->뷑1 %v!J>]kռWҸzDM9D[2#q{V cń )̖H )F`eK聃 @ #Jӗkcdar*"sIFդgj(_!\ yF|ݺń\ Zkf7F %Yj6E96 qY YZaqG|Oe# [?HQW 6_l(>p XNA|d<.'ʧ~OU)|Sʵ-LxEca- m|Sr5ַE}qY ? [hm>ε 8_[tR.,Ǥ<<'o%qe7!ox"_#툸ib#jȝk\]So6cb`_X&f-TOvXc0T}n LĜc`4G]5OD:,H Heu;ּS}*F1!*[SYd9e/unDKJ~.J-0FGɧ1$ զsӏG|/̻hkG'lNϗevv0՛P6|PG9]*ʁ1 .X/%R)apn|THv,Z(pr<1o/Kq7yL~?u9^v1AE>o<٥v-s΃jh6g!eGpd[Gc?a# 9I gEL6&PR'yH£ǘ]$~E!`RQ^UTIgwmk!d V#;;s&WJzɠ1oP`j@vmFߵ{1SRj[w#.7E *9N1 c׶ tfo8\?c"h+)VVxu+Lpq^$IC(oG:8|j"( AlYbX=:nu˚]C3 $ N٘I^uB9˹ğpCc3:=c'q5}`IOqzn)- RbៅUow.;zd6O}k-t"=v4^ضDG] K j-?OYM&"du&pQ\ :Z(ћgĨ)028 (MoD ;F;pI5 +~`{;7>员ۜ=DHkk<[D.?h^]\=R+x01,e $2رѭ]i*tZunv`Y'5>DzN·0gA|Fĉ?/Y(jd7c< mlb)\L%qi6UݺƑH{V mq!ߢ㬈^f>ăǐ[? qu8y<^kA^ˢ!;T0J87|"T^ТZf6a _,85,mG&ɖ{9lfU\&:Ncm訕k++K4(tp7)RϬOgȸVS7,y=XJ; 3BH_*]RmD,-`^PQHJG9fܢP SKǺlC{B7~-%,ө9BQg6xiB0T3kVZ&I >z@~7EZ'4#=ݽd xI^SLMysRCb5G3"F0?l獷kEMG\:vW 80\WQaѠDY:pDZH(~pω@,5{B?󯰉M= `f8y.BBͳZy;hW;FBfԪ`DQuy8+0{^$[@ aM_-AÿF"=r]޴.ݺ0@+n#!v۝Ka_lUl`V9ym@ԗk=(umHUYNgyB`kk-oi Y 9־b &m3\,QAŨ=bOɎ(vܧKF}e ,yIdV$)7&. )xAqL!D$P djNw.Q~uP/}|,0VLz⥫7X6s㏬j٪׷?͕C3r7;Z& íR>EK1CLϰk@s }bDz'ވ\eG3Ln.Ϧ9`֫Y 'r1V0 66p+%)0Pedٸ(Ìi!AIz*$D#ڑufCtɹ-{aIC]bUaУOÑ@.K#C,KJ ˛B|؄cJuxm>ǜOdG k&Xxq>$pRCL0^Zm|D֛:ѸmӴTa30wN%] 'n[wưs("SΠ8–ퟂX'O|qc TAOUzXz('-+ LX̵mb&Ar,R_ PǚҪxYZ~'5ӝ r7\3VX 8=d>K mw"|u-jqo^k0"60[%We(If%'IbcRQ+-;(o xՒ ő|{䓧1c_t^s]oVY NlNʖQ(R wjNNJk=Sr%f5ь(u͆K~`gș{~GbJmw1LMU'v-VWCY.Fdž(?Qn|1@b}S9_T VUMsW߅`vZIa|ʥ:ذӧtU֑U /&C4FlwLkPKg)u˒8UM؄bHwYX8i-<?\"M|qûI *0HS@hA@(mb.{+Z/ˆ=/MQ6( xEZ[a*Z4o&ak-b)lnR)'EWAi?,QΣF 'DA?m $ Ԡq}]ƛ_&I.ߜ=M(353PFyݝ϶A\,eגLS)mcEϗ,.Jw &N"Ũ㧹j7B4s7CV)h|߹TƖNFmӖ[O!%iZ!@tsϘ rYPnY'A sa v B 3ƥzP<ɇ޸س1K1 \!ig$z6m#/йTeg S8z;Ӕ7I77(eHtꉠ*!Vwaܿ? tSgD 4]Ņ3/Ai魦I]?\]*PkuUl] oP|ѡ2ݨ솼~Y4ƛ66R+QC:Q?zB@3`Q^5s;-:ȻF'8.IlAr_yì!O l~3 gb C e6ճu=r3M `*)sf@ ~+˲r qjt!J+1Kp\oa2|[-U%4[~`j%](Uy~wU\*+6Hg̀Wyʱ 2سzALy pKYtOf5y-; [%x3~]j?vQaDV0&0}kBTRՒyfB0#ܹd=WZ 9UӅCx\>.jo֞nwM7:1T}Q-߭D |vXMLRrdEetMJsq\B{W?J+pMˎitщ[N~Zik$`꟔{]]fzՒ9,OVZ%HleT%B X\Q ]r~VR4Z+P]wȥ:V~ jU3lZ)3Ilఁyψ+$2w`ĝ Q\:Ҥ(+kւ'|M F&~NwFhOV| ~SXx}̊ ԯuhɹa fR<, 輽*h33=|B>5n;L%DH;\Uє1ESza&)]a(Gx cAY;Pɼf ʜ+ hPafGmr0=:w Y7K%FZPK\Fy*XzѥBv纓\DOl̘C.W ۬?c஑yAx!6X(a22"/j,S@:`<]]UJ0xEWɺdR@h9+'hU}u%mI/(z|=Lۛ>1=e+Y*ʆxHZnL=$A?k.Uf߫"p0+/'%@TՈ.M gYZ012220de8e5ceed75fe083de86a6a74f51d5d1c8 091d5ff629e386e1e129ac71475d75c14d34092e 0c5fd7fb18b3d024a5dea33e42f1bebcd90f6141 0c69633aa21241e58a4c56efd99a28f0bab7aca6 0f7ad1838b622b3de2c7df5b755968ec389ad49d 1588d5515e84dcfcc24cdd686a263757ef8279de 1afe0f3d27388ad9585c427e82a2181f136b9519 21d51aed3490be66d4d1b3fad5a0ca049cb292de 238ecb4808c4b74de83cf0ae256a4a0ce909c0e4 248e7751f945385a73f8cb7795dd175732fc7b0d 2c1d4ab20b36f835ea1237b9f95cd49e34e44c72 2ce1aaa5fe2b7456cea965f80e9858243ca06c9f 2cfeec2ce1b31633ac9ea7bd8f62c8db8d2b23e9 3814102a03314ddcb22a0f81a3d929f282fea9b7 3ae73c343700f4b89039379d93ae794bc7ee14b2 41fc5d131148a5fbd04526c5df9fba4d987fccc5 4663dd9fe588d274eeca0ed9ae03c691bd04015c 47a1dec0cfefb7f818309767db56e13eeeba9863 47c150d0359a73c1596c9f82c15fd8dc18e0afbd 4d976b00ba4eef38200bd9e7a56ade5f41b4825e 4e805a4dd2548af1c28b3d7a50c9ea929c651647 5861eda4aacb980c7ace76d5b54269b92253a531 618287869d6d796db5122daf163f82f35892111a 66ee60d9dbd65efcd72ce5ef66f86922d6bc025c 68c42fad69d7100fec79c1afb3232ea2648bff51 6b28dab26f62be390046313327ec21adda6d4954 6d13246728804ec2e99132d3273b0974e2a6019a 717a30adb3ea44616ed3005c974683a0e7d6fc19 7e650c9a8599cf893cc4f4b8981293ac522c1000 8389ad47258905f7a57a32ed62ee65e2bad966be 858dbca8245af9e0e91875eb3e7ec93c58658099 98304bb72c978855f9e415b5cb1b17dba41cd197 a15ac3884b46cc76852124d78b1a434686535d1a aad474fc2df6fbe773919dd2099fc67363e450ad aaeb32e6425d888c6443f527dbcae450186bf0d3 ad102e33657f7ff9ea736ff86666e5e66718c035 bebd4ae9009a465d7ae720fed4e0bb47247bb716 c520a36fc0dceacd9681ca3bd364f65243c34b5e c6b0ce58193946bf5a1ca7c1c619d468d3b3f452 c89c9186823cf4ff412ac5e88fb98debc9477e88 dc785c4c6855f11013b8d022ba8ab06b1cd3c3b3 f2faf48c66714eead5633e237a996f9bac9733600ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 7a4e4d92f2cc08d2936c4a2a910599892c33bce6