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  o=rt\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.323cpu=32.452gc=1.6287zXZִF! |K]ŗXiɟH)0%oe\(Zɜ}W;U2x=P;Ekbb$Uxȟ._vSGq}_UmF A'yV54~o=ϔf(ʫ\o͹HAQK -\UVP*b)PTtQWMX+ ‹:ם/+Lr qfD(; 4޾e(n/)WiMz떨̫|+Swmdn0+ξ *@U1YܹZlעb~8RHy@}|6$ڱ$U$1)N)T„,Rf+OVߦ4]0`?l(Eđjn=a f7ELBq8nH *xu7@ȓ|HUoG~qf(!h˄t^[պ89XZ:d+QE;[7" xy"=CN*ΞmS ֤?^Zi? d.rL5ZSB#_Dj)g!'_ەLе!\V = HOL-Nonstandard_Analysis  h*?#hߤ:Y}6O`b=;ٴVs?b\ߜ = vQ] F K)>m=Enbd.,5DٕF&@IE} y=`l]nʠA=kژ=`qR\1#0a5^T,n}b!.8Cai 8LkGk-:z[S'THCfOcM {_SەMʱg;JX1 SOhN=?6laq،%]Z !.1uzxh:$ҟץt}#9_vu@sC#:&K'L v.!CaFe씨Q´h 6S]c+6GVt*IݘUNo8`aUQΘqo"a穋mYzj0vBЩ0h^Yx0mO>ܚO#y9{DdQ.tvGӀcRps F Ivq(=v*JbH--ɡ Jbr&]uC!)4Ӊ(6J \&bi'խ=mL48q) t)2s8)1 J?]{%=)'%)U0=:8f&4Ez t]G_+Q JXrE,mZRJ5*ɕEÙĬ֦!s{ d>S/6/BmGR;[*}XAЖ DYG Da)sU%p.Vٽ)w?̦vLM. %Z(BjᶏTqE}l*a9gTe.;3cf!jܭ'IEky'g,dy ~ yz"@-0?\[b8VcG%}mR 4g3PBU B8]rj|jXeGf2Mw'X+_& *TCD9P[X-v2rfL'H,)cg8q?!r,8JthzB4jk[*1<=O])OC 4aaE-IYq;OϢ#]#/{xQM^d9?Vm/j'Ӡ7AOzgԲ'ȧ$ ^K%b/o VtZ]b@Q#w) E@6þ(;"~ 3(K!<|V;` >rNA#WL$W߿#0xXFoIK?m0|^*6.99ҵ){;۠#IMkq+%av`T,k7cK8Z$]=ղv ?aOU>.gazndZP=bUAjRymsWRd`B-;`ߍ_wf`5ReA@.;@#KS7 [^hS Q[H I!iV$޾2 ꎌ='HCSOdTOػX)y!c+-P$zŒ!::B/2qlņ+{f*O B洭hhA-,QU`)Vh+mGw*NvQeD&ixM vYZdm۶K_]-w1zA щ0G-+H.(SKz24;Z0816DaO3w6R >`;?a".^\Kf`8,Ti z-n(Jsj@igТ\nvclJbfҖeCi5߷=@Is}6*W6UuҥaKjqӓo.NF7}SOvzU x9*ׁMpT27 Z``(ŘS]$ƓptBA{OY+驚2Gn$:Ncbó?9YΙZhɷs=&ruTM07/ҢKqC#h 4vkgH^81Ƕ>\q # 1F K` UFQ5/`bh)f)*ܻ ![HbWκ} ;F."fzVg-Ukȫ}SHQN QC؄n)~Hx8M*dA"E)GWa[Y{G\o_5 9aV7QlJ:'4VVec=t BǪ9C3qBvgW#y2#JND1[Ï2Ù=oH>/(܄dsַ/@'Q3 `yw>%BmN9gl 'b\PElcR5e~+}= W8 V}r/J?ľx^;m,=~a;P_ Ɖn"vRK TOp1aWX -謮\fn=x #5A`Dku.n1pE@l^|Vnb(jql
| >}-4e3,z&djPuȏ CwҖ@]l Ƀ) l5d X} E^R6c(S6郓y*]& tݣm2d#egүҫP̀{b$|hCʝ ge2zC~mOeġFrԩy w`<1on V7L}I-B%jJȇpZI9ڋ\P~ MN >^߷"MpD[JU1F?eHZbȤg+{jLwN+'[+%.W5NHԋS؆$cC# lkb>/Њ'1T݄#y͋)"Ov. kTZp.8m?ֺ}/zwU 4dS͈ x!5l..h<)KfyAXi*'P[]fuopTp雐?wF-<}y dpa4YmO#RB ($}Irz+i:2V+ӱs^T{YLJ}k"/FrqmKLٞΥ 0kY9W3Y]IUcI6:40{u,`uknky*EO;vb!ŨYwo`8KfklLꊭ*spe y5 Ho(>AVxnJrO!=; Uj5c`biUeͅfl{ BQz}nO\0>[Pqs^?2.^N9%{ D.[Ӷ^b.JNg$KnhEv46=ބ-m*1U=:YQ겔uF+ -}-#*FY,ew%,B tPpٷ3Dxkc'5ڢP73V1u5M}Ddu'N"*å;G#aEwʗ_#yqSqA{Z~Gf \!3m!"v@ہ0H .f1Yw|dNT4YJsE72n)7WII;13 Ǹx g}L(cĶ8اv',Đr k@n[*$)~Xgyș;a4YEUv L΅L95*Lj9{~|]ǴB|3zd@9Js*}G>Le3FrpRʚUvwy8ozmS\\X> h r#vF Uv#vq¡vSSyP4+0-ˈ{rE=P'h6yYq<uev@:Np6ruݶqO+W>jY-1w_łİSA77~։y0bN-WBVB6@i{l>@k: Mɹeq $Z;M;u f; X`3r%'n!ѕ]lHG૨*văHȪREbXy`xJ3lktA|z|\v ]UbIg\Y7AScٶ7*+~Kek!:\p =e~HINZEm]gO6D]h^i0WƬ%/݀Hc:[~yS- rsE{#~_" BHZB-`lwrIQ\Ȳ@K-YP 0 hdlo(ܲ7 '?IKXGe5Kó>V>vHK0/&jK-T$OOϽwi C;Nah;j'2^dkANlV6Gzd{3 k6ۯ rQLԌu1T3oSW!A@!@`{=2c^("j?GoZ`S 4Gt`E;ilMxy㶮aMyehlPd4F *.'LOwґjmp&`b~`Hn ]IvF̔IqGjn\E,9kf~18gD# 0sY<|L590ILχ!1qpYO'0a /&sS8N>r,vQzS`i>Ur cĖ3u_59>`l&=Ua/B|L=poV] 4&31"V n5P*DVf'<Ӝtb9gKq fD>"0#Of2 ZllfD#GLpG9#G|)6yb#t_|ص5J \Y7L&x{ k v# '-h|ǦAXk%ޡ 햡$n%&a֤61_i/@t ҒMg-ֱ08]Bb ]gOcԱ ^ \"wJRqk/|n(R({#3S{< =/q9NfO]FzആBVy1z9TMM|/QNo~b:NZØfR"Iyf[?rշL5% l|i࡯ؽi)~\8OgcL⽥tD/%3D{ϯ-Y@w? x<4vMű6yt;DIM-䘛 oz0; |QR>,Ej}itVo^wI+ܜLjhД%Ӏe,SuF5!_NwW.BZ➊.`2mðϚl3;7Fd. YhA]š(-j{Қy:sQy;vM`.EѠ b$15ѣIh\ %GIM8wEuԦQU 9tH(WVcll ̴:)]y3xMV {^Zզ^UV[49%Y"JN{lCly0s5D@0g#lоpf.' މչ^;c#xlнAoPToH,}{P"RCm ~(N&29vU4tb΃lUԥVfͩTBε-*[tˏ)ᲀ?3%rb,0zvzh+l.m'Thg)Fy ;Q2`[gU h2p``X.硾u~B#X l{P>hI-e 4s|wXyZϋ-dbG5= 4IPD#7?ht &b{@CϨ޳dJ\>[y2>QiU%ld`HYg\_wRgHjUjͼa{~LEUro.Q<}t8^?22@$;&,_LsۿS%1oHrVr"t1*V|u3UwsY>f/쎬ʷv_]5(55r'ۧɒx)- Y$~Ob&MS`Eu]hI8=wZeeo&B؋ErUt^MK'ņH0֝k3kBЮ^"tQWE-p 8+Ðu`a#k:zڼly#*gNm3Qh9麷(ZO{6 ?8[_Qۈܑ&mQ9Vk<&yn_iMWFjSc@ &X#<8&eΨB,k1\Z2Xd5`q^,ϗ?B yO3&5Gx`빫 E#{2[a ^L~ ([[a~!4Wl2n«n'w~OXqb|_YfvLascJ=m%q̎{` L\;لU'dueTfC{끆Y #Iz@ș@p:B40c@<P )_#.,clF13D7ao*d4(K|kitvPDM֔[a.Ðή&Jpſ)+Awvo oYAv+iF)vңEu CKz\ '0nJj,YxWuHϊ:}t:dTp߈g{2R}#OFv窙Ga7|+d{kHo?E~(D_Y Q.fS*t$@eHhXYkI% L YNnOG[^}yD ׊E-}uzk5g\V1/欬-QȜ&<25n xP<*Kv_2U8x_6G%e6adXSr-{;E|В΢i̟ حxiwPdv}J2=@aonZP%.[!v]3I,aB:O~ 3#g(!:vXXI 7}% 9*,HO  ҁ))?PRnzr j T$ZkrPY'_CgX<,e tнfJKB n͡x a3Y Ff:vS{rf7stTF]?Ӿb6(/b(3 NMbg4؞I4j$"4zg5 ]BcB,54km@űěḥ]"~u\Sa69B3V.PhO&Bu;9`*-,x@`&Z~B¯F9PHK8bIEnOldO&aByOQ7,iSz'QnZ c8֔0% &SWtJ6g,rK߂\*TW,XUr)dW@ 0n} LLG 9=ݥ &ꑩT44rG#cĆg)YJ|:I*gɶr=,@*7 }궠8Q[Uѽűg]-شD\E#` 7e~ڣӔ1sOR)/Woz{q x4/8S9$針rG]2/$$)~j9xsD1**HAe "&NI.J#pxh).9]܊L89;`>u{tgVQRKH1Ӆqah\c:[^iD]U ;:ꕸ"-p~S,zZaE)X>Yw}Ὴt6$HFdqa|tP9;ݧ48OCM"C̀x|єQiDH.PbYyg&:h`_|3tW00+H2ALeP'T7Bq껾OdBi9NA ^5T_J;džAx-Cjfyޘޫ)~{QRCp~?T S+u?9&䀾"kK39׎ϤV- d4vV>ygOܟW@mWJ Γw'.'Dka^ OS̢LYsB_9i lKWwse?b?179?4 EI,+HAW5|oxO9o7q8H?d/H)Μc/=HܨK&g<5Nn'3`691>36C9Kce^ِc΀j*@,|oI>l[>MI%dvgq,~N)oT.$;6 y 8R yn-oon8zC+Xn`ǘ)] O1+o8Tv qZjWQnYS"duѧ@,k(V|?#y§ZZ#̺6#mU L1QR}oiLF(=* "afeWD! Hؘ-n؇\ ӋQ~1&>R*0&lg*aMO%MRuR } O[^nBմcW[`{_i' 35\ݞ)Wd%Qmۄt fT8%NltBlq _}*7C `7c [ء@j"DRh"a#џ;œCA.!r+Wrp> F-.9zH=f-m5@5}ZVBX4iȺ $_VP-Al+8u>fR- v mGYFwc]i~鉿%z\ݚwplx]A^kԤ':|=p8p2RǏr֚_,ˊs!+Z[p. U7 낯Pt.7Y`<~<ŵMTQB|s6_,r]NgK Ӣo*[*M?&4Xb8 ]tqfu[]p+'a2 ips2%K8w&gpCP.ލmݻVە!zlTQ>los67^ :#T"aXUHãW7%S*`li;vɋn 0C>^]wk 7N͘hkcI4+b`KLJt"<g 2gH O\PtA-yRM/Έ`BqjS=!ɽl|<)ӎ0Fo}`Gů!H!l[4&;qVѽM "B'0 O]`Ϝ'V%+kQB{sBsэntlgpzY;vn*A~m=y нrN/U> r;mK9 oRM)Ƴ-30=E<] &>a@z.`^Ec|: 'nwK @yLz3 zR+@gH ͦ <6FzbZfCƶ /M|8:.*A3iF!f B@Kf6pnD2 =)O.b|Fܤt\YX'59ZT٬2CoKuxIrMTz(Pb'PHkZ7'HeVb"c3jzᆣ0J۳019Vg ~nB8S;7V9BԹ"Y!_FICd")F a+ zPJ@Q=y" n+C-e7#ReAW2a`ߵEKF ET }e!Щd}}lVVu"2z U+a}dsP;}]Փ̢Vp#!=U՘coΚ:ʟvEt8 U #yV,I _7p%y}D"w_έ! )Ѧl?\fػTB:R/WYh5d|1iF=ҋԐާnԳe`dG}WC3.TC87ڀᲷxy #Uk!@([Úue$AҵH\c][_UPNO)`U/]2ᴂFpvꘙ:l2wKIQ/8׮" mgʼnsbFtB B [P1aLF4W ܍1 QRz=d߹j:qMq.PgulümM9s/ʧey~SXdLH2fsdT-Tpʔs:TaT?Az:fuT5op~,^QHg_G?ޑVImxeTdPmҮuN\nX9}2FѬ CK0BgӌAFhl{xXX03TdInJ4=뇲#sF`}H"g ~S\DNj^qu|-VR}ASf<:*˚DU0t(=yD9 4N gtsto|b ^ywӽO-`ezc"Sz|ԗRU'YY2Lg[+i:,Fgvv,½-4}L8:89xOƩO_B 3l^܇e.~N j `Dn9'qռS6^٘kzuu,2ZjcGI=3V;xlHu}u[ |KwZ V)OZʁ49Zпn*K5qf.WS~CvOsD:zId Lt u .a?) yT~l[r~V1o,2i@daguKyuG.{,d\ЁP\*C]tۤٲI [{t=%n5148l6ּvK=4_=x.<қcK)eoQK^MGw7(Yt[2obp2QWýTq7co9%¹{m3toEXu%uLlD0]/ڬ8[?c<'f'5W""8* :g?馊qGAH4Vv]t.Old!^MqwڄmM Yx{O0䕰`d6s(VI܁t :{pız- )~kr'AտNC0 GMNJ"=a?iL'_x24~ ZCܮcx UոZ/J䘟B1%AIpǨc!$,/]T<פ$p2q>;M<է[NWGo0)_cfzL꙯#e>FU++3~k{DV<ZsσEyKxs+̬r8sla͌T>G3Jp}Wugq2:fOccS(X`sњ.Eホr tvhDVJ(!K&Whbl#^q­KnA AGL>C G1KQs[29ӱ5-eglƑOMp5-&v GcQ9A% Y7,cpVcs]޼DSw91΢qy9fMM9xlGoRGfѹ5>W*/-=J`Yۮⴢw]bHe֖QBy7wR1< ˵w.s:?cq!2{D8 ufi,ӡk:1;71YJJ_N!-}t+\x̻_K0k]m$S2itY2lL =޻hFzz iqg`A@Ӎ(z) tyʼ?y*e_p3N<['[4q__RZH`pԘw Qlw֢+Q/rP_&3y5 k,! &5\s?̴lC SE_tu_D\F#sI@d8[1qJ+z6}:ʒѮ3ORG=|Z4Oo-aԀ=9 4E?rN9 $II{ڌʩR6#XYg[]\eqy<.&!&7 YT!TH \$VH׶aL"w?RA۩.jwYf>hHO 康F@5?E(Њy5߫ۉފ~ZKd!LcRkp%h:^IF&9]PpBOgLShy8*vcdQ%TpuKܩ)w/aIO9@ڋ<}\U:&c,7$PYF9Rrj8J. XSK)7k qu-` 9,X!jřRہpw8^355n ?ٷN~`"JT9dW7[:Py? ]R2:PMw>;1:FMr"Xq8yWIu44&A] k&%o:6ZfPKjdWs*ҊDWY]pPۨ6ɇGŏuuێlG6]B%Ij Kmid_5M8XYM!3ټؙC 'dY1#UTmN\L˱땹-3o&^ @X4'`G5x_Y4VvcGEtu|֮~xlwvdChv${ C`M6ĥ/e>QGb%מbIB|1y53Vj1I6uYU0M#ϳop tMZmHY&;DzKՕ-o}%fjCtu.%;\ˆ=JbFH,qǃn <?힡 FE*$ ^<#:$b.9"U6דXt܇6yX[$L q'2 V+bR6f ;7mGi:b-+|~x\kuե'[t"wC{\y6szE`|=^͌*鬧|MvѳC8V)]֛$NűuxT B|oLMcv=:̆?$n*Lw)| vDKꨚ%i>`m܃U&&! £Gc_舀/1>A黜Z[*E~z"H(7]38= ŧѵ$g?% 8s="޷^(ӢzcWoɼOEbg͗>92zK2\- W,tz(ЌJ6Zev˄vyt_k̃AKSɨc<c:4Q́/~[1= hNՁl:ZX,“"xPB$ôp!QB>$PџߦE b*|zf%#ͬYQԑF"oFP& _5sږejx4][@-1D}i7fuVB?CG>T*q{u -SRbkR gkNz‡2M\)BRH5}+hcyNYDb0M砣 ٮ\ )/ǡv]8žM!sTbyH_WsQKhR=نQegxIV7^jtQ>_eWR_eۗEndM- =C5kjû+vTβs18F"KBtЊD;t/'yRCzl rqi߫KaP[Ӿ:G1ց|t̑~n9]Ҷ|8ziᑣ49eZ (^T]9A%nO\V7µ !lvԲ}47'M[ulCJԝU܇|Hۗ]J CBw!PbX?wqi," Rз5H;2\ Dҝ; Y}28L6-ͭbOQq.݌Zh<{_2a;Z~XQ: frJ01mcǸ88MqXkX|A&]|KVn (JL5#ɥ%@V,*McuD"){,'Ţ kZGw:Mhyrcޘp/-z^1UʱY'?ߑ/m0>_.*OjڶĨ%؟WdD]Qf x/?K H8,CpTL1{E F9.Vf?@Ӟ)^d橣e{͛R 7o kV<}ǑK!.G[GteB? Q\]w Af'|\\}69Cxs:^aj#l,޷nIT19tKx7W׷N@ZxC'w M $vND:Ǥz&CZ2qk{4jlѸ4S]SU*?@G QP itAkthCuNiloBP9Xo7܌񼎴-rd!3[H*[@F> Y6 ׇ擒 IEe[K_ hK?.ϾYA .\˸CuFw_d 8HnY幢G}?m>y(CqYIFsXujx%rYcO `G<[,]&0c=,[O׌Nz\2*zQt%(bn蕂xhR1UuJKH-wN \$Op?~\LecA(\dHKΤؖ ZHiNۧ}@tHB1c[y~WWjLQ6B).Uև+rr]V?0G-u%5giW û^=dq)_ 4Na&R*>._]5}׼%\y{aiuS L0e(#}ͻO$4f {%Y[d6~G]YZL#x{A{CBG?TD!e d+2 3XƖ8 Et9z+SN[#ܣ̪,z$JbjgC_X!-o 44dh7, &g4K1vj$pdWMٹǡRUG{ 5&ZxԕA802ih恆_"iL>>A{qA? sׇ҆vӹ[S&X Wo#z`@R$$(QxqZʬiz{OdpQ"@h+{08]E?aa9cB5 wr $thi.Ɖ} b΂SܳJ#_DxBr6w,( X{q& wu1j  @fhdKyv~+Mj3;]h l'qom6BLN2TK˹Z"60<.tfC1A[EWN?ɋ6n٥8ʦCqNJӤ/*Z Z`fv^=H_VT±y]>&.QI4%_&ѧ7 DN:]g"ԾެBȥlζqWa# υA; r1j Xi5\Uܵ'_v4VP=G9">#_E$u $ F#h*W/SK1yloDM/X>R}n4IE)fGF׊ rpҍF;~G-|]=A%ΈG!e'eo,ҥaWsSq) IAnDh,ڵqײho |9B ^}Gfݖ^@}Ḧ́{{S: z^_?1]V{a4VAzr(w#djfӸ،y[e$c\BROIݼub|.M#Ҋ 0͈ܶ-z 3CsN}*5F4lV-rΏz3%+v%~t?5xM#ׇܑxo_~=!SP,&̂)!KhU-ESUP'q Д8y'-{!B?Ikk;3]rm.~ d@uJ {ZCOQEkFnTBb$IM͗CŅ).^y}Q(%sc6=']nnDW[F`*eK DcoIe{7*Ŕ(\ۯVViiћL~+:#LS1nW^1 wڐN]v|Ys67cD围c*լ(~4%$VcR{ĩ{( ^;(yew rֵ[_#2L0dZlωTK*j6d`fR/{:=a9^?˔uhWO'HlSSn ±˜G* [~foM_>A*t`g=+B;vW@KMrD^8-n=@)3e~6 p"ta]bD-Iqin S wc.฻(l7$ [ifJX7m2v$ A$S\v=K(Ā\|qT&'a1L~dvk@?$%x4ҳxԬc R,N5T#+I L?~|[_ {`m>>bR&SV f󻎰]Y:58y|eŃ { ۙm9S:  +/cN݈?bՎQj5bcf$nv:6|'i$4T?@L"'v4q]`\4 !򖪹l[ +UȨ V遶+ˇY'\O}7#?#GS@\Νqf: @]CgbmcpP@o3T /2)M«~9%KZބ|›REӿڊϞ1V';6>Nvë\6phh%JZ ܫp:ecfYk =EiN t3}vxXK\ǵQ>px`)`Gu6Ӡi`:&S8/3Ciu )#$8=KkOK2`:ջֹؼk9X>ާa>3ɩdC.5%oxeY^3;Ȟg( n&F'^Om k_1=:>*fґf] }f^_ͺk-}&L$n Ҍ~z&7} 47Yy[&=o`GX8^4d^-]+lVPލ5lCqly5tDMW³ɯ dsxjRPbQJӮ" 2HZώ`.],Z|~(+M`ƣc^ w?hL\>.0Q6-Li6;/hEyqNcҤ1{'eJPCǫQՠNO r0˒,3=2a|3H")VV_a7u:y~w*$9.Jvwn /Y[,;aVzhu#d:LTs{Bq6_?{\'k}lɩ>aWdmLݧyֿR߽|\8IT`8?c Rj~q*u4DKah23 NEZS4^]]!u(0ZvDڏ o$B,6m4 rۿ1zr!MXuӫiC7ϾyUEH{恿5IJP3Rb#< ?A9Y|ż]7`KhZb'8 v_K,S"5X/LWehe\SM6S"3r$i'ٲˬ Y;]x-VNxܥ!tB/DcهU/z4dNZlOu9،:3Q`Hن(Aa7\5F [ѩ+uոy0!v\Qr^u PO{͋bҀw"DP(T(htp oC.b7MEW/sҢ4%I#T0pZ>xi x?!z8i1C\Ƽ>S 58_^UX7ox ͡tƞiaETj֐ Lj K"ƙ=" 2_uA~?O8K|gڝkˇ~V47`dm`0AD6˼ >+{APNT? -lCEU{A3eR;#,.ǹ}Ppj`_ bj XiWs .N[pxlp͵6ξI˺V)LДCTtdJǔ/٨}+p `yuaX`L}olsAᆆI]yztzFgEn?v7Ҵdr22r D:H+þpps0L6Um[HgWa[vGZ6%oR|kHҠ#M=X uCNCKsɰa\ OcqО1r(@-PN6e֙AW>[cb 4[TfF,K=!8_! ?Tֱ9M:SM^4`׾|X)n\ 5Y, VrG:T WdP [' ,!:n.F uW#Բondr[!!ϠڨտwrC%&..YHUf`M.ؤS xUGq-hzK* 8 >"(_lgu9^(,O EWI,IdQC dlD5XL\gr4Ƚ rK^ !n ϠAun=re&y*"rRZShAkx yφt߾Pߍ| y Iٸ\O&Ԙ g/QĴnl5<9wY(z.ՋB$n.4totD+qR8Ǘқ$eJ9XWD"Psr J~X5_y^"_6O_&+ 'y:5żH=0^a˃qBjr>6\Yf7s?#e2?>iS!R$5sOaDޔO fi`Y軦MK&})0)5Sˣ223)hRt7Sѥ;Y"H%VޡbY_0es ϔ mF o;PH85%* mn⑜y.!^qCMֆx,`kA'([w9S8yzy||+.APEF=8`Kijc\P5BL'mgȽMO$}99DsIH ur m].%J~5ܒguɧHB.X% jt)1ŋlpj@EԒ‚NZ"C afAjWrP^lцmEX|$"~m΀s"יt^dT_(|Y` ZiZl,C+h3ddyp d/w f}83_` 5QP%$l li#1>5KΈue<U?}oqv }3{ℼI5<Ɍ4Ѿ lbk$3].QضŒ QNp,9ukNӫ%ʿkBK*l6eL0&2 ?蚬sVXOG*cn; [ro f]aMleAg7f)aYbхr"!kVGœQ4V?HKkV:k6T{&0~+? $aƄ׃*pQ]chӠy֑dtAMYPS *aiXvx6VUI qoɏnh5u> ~_s4nhsOW&]4l&Vv@Dc}4Xil >}iΪur❣[3JJ /X˝`H^3#Uޅޱ;뼓G,)b :`5IBF f#xuksgнLU-muwo7`X)/W>Ku aCGQBJ2T'h' Xq{/O0w<j("{jsyQ5;"\>6Q'Q,@ CE pT><_|n. nDҐVU5^3,;?C\m??Nnn0 w(: rT 9SD<T4qBjE_byb*̠;Tv0oJ<z~-(6SR)_#VEr206`i}ԛŔf+1Wngy7nUmYb)5AYOrʩ=؍J<lFHbYh#:"Ӈ;6_n_22Bj\cT'dtM 8R9B/5ҨHvb]b&o~u 9_r1lyR3Z[K?*T<+B3t/zӑ"C x"UeH.{’J{g@ΦDgYny-ۡL5C^iik=TyUa ,۟Kkb$j'7XaH*>XWǻe i! fnzp<iu83= K$)gD!00w\fY]P=|U:dZbtVvXjß#BF f灪q.ց3hRcqܮ>ig_2.AeI(qheP#]v"K,[vroW;2_GGDY. 蕴~u^?lڎr.I eCqRy?+"Qz<i\'/n2['tW,O e)<:2z& np;5mu\]ꮙUo4u=Q=u@l1Q<*yWERQg%a,1Cnae>s?HB@f,Y*>ZXP,͔8sq'M3=xǍ_Sw*'f)zI|VNrOh5\3UWw͙0㖁Xܕ=r|0N)nABu`ew.CeU#^ j7ky+@®ZA+Qh-Y̧!^8+@HI{PhB0Mxs;F߬Fbge@۞Ad¥?M(^rۇ)vN.Ye:M)l(G"CUa';f0!2뢼 {SN򔓛UM܊.-]Ǥr7 I v̕Ëٮ\z wѪ}jjUM[RA@8+@^=Euo<.ijH`q|+Ъs]$VFv5Liwh)8 \x gAE/w&S3GCՙuY>;1vb [Fxᷚɢ͉A퉁TD c5kI[tJocɂI`&x{r΅e,OmMytSG|Z:yM)oOY6~2?FLaΫ`5(p>'GcT. "3}1Spb~Ɣ !C^2E)e^|L /+l'Er"N >^Q#ܝђWel/ZOҪ$Ʊ9̜4;F>//O| qo+;Y:OMAq~pxXf 57ߗD?:;Nc?z/D ?Fc^d+CťW&̆nÄ#e, ՄK{!\[tыg5%7~VH=aJ#HR|Qޏ`T^;;Av[]D%}J2 Րv(XȠ$עP̕jl SQ0߇?۱H+d<\V3J$ tL#BF>ޥ6|2ĎS:j[xHBR `vwY2$-,hA4YzPiN98h1h4ۭ0F&᥆nwn+nuJQ>t(/@ӐjIui:;"Νcc#*ȄLUstQӞz'񅨅[P7( lL( %W=zG!J@d.yvۨfUx,f s`ן竵iе$?7c7(Sp-pvQkwb8 ޛk%d\b ~(,LvZ4>8 YZJ?1{xG 骳ũK%w&yiW▇T:Õa7y9D\TdqdO{W `{#}bW( l1߮*\,I_;BZ\v 9(D~ЇDXëd2Gd yJRXҫ^aMdv> 2; r5MX%o]kZvd:)ƙ(r{GL6G2s\oeJ6=u6A6rx?пگh%BڲPpަcӤlqBPpU}QnVnұG :־K|*]yb K ?xhu'\q&Tr;>:l-̷vtf!QM- /v+bh+wXDUAC][y*W/Q9סz%wgE^մ*o =V_G U^glY˅T4Pok7T|SlZ=2R'wF\NiW;S \Xw"H#@,LuL='}LG$\(U gԕІd1IQnN`6 4%2G R5b[%Jή2(*CԲqFPӪ9tzLMq;.>E0rQb,8]S?3a՛Pmr:O}>e#cr?0Ő@𹛣e뎅$DFWpV MKa+Ht-9V@9&]ޔHMb݆EON69`Sa2Pvͷk.AL]QnDowzG뢺(-[ 7\A\|P6Dd+Bl|mq=qDEۍB&9Խ(~£@jUvBDܘn+, v5TW֐x cPc[259zE" [BU%JBкF$$$+ٖ4d61yY}AM{7sR<:{j|/NM\7ܿ[AU+~Xyźo}й!Ȯ )}cq/"xLGN1/E^}4zp1ʎrdJ"bWY`2kqtdvY;xX} OV&R掾,q^ o{OOh3]D{v؛G TEm(\:!՝jc|@6lЧ{:+~e'23R'܋\T'CҴr6t)>|8!_څ^r>yՏSb"LG@ݑu]P!\ B >ftN<#dTgv8;E`'Uz!)v boAE +8S3P=.x!O~p@nY 2WבlPH[䚹bj̪3o7sߖSb *DW/W>[N/͘SwyiFaWF[L)C@O1K^9Ƀ5ݡζcNL ms 'Z(D壨t"O9tp*NgamֽL+ɾZl+> a&$}7y /߅I8]6|%8ǔ=8i 3L#[gGjIQ0DjVk="&`n ll:_&J3Xn³\&[#" JWp U3h(ѪՒ"n>>6b쵛PE\&\X#J TWQ*WnOdHs᪸V&320ﶭacch ,᪽}RL\>_ !:w++d>g36jӷa~;g9ZGr]*R"[e#3BiD8<Шefk$AA eK"_y ᨇP(*tQn;b_-ɐ=~S2pwҰ)$qJm U;Ǭei#i@^[mDZyrwGAxwC$h9"QwOʛv8}\dhay'QciI%<5w{hCL]Cbiy gw)-e,8GpǏ{?8_d9& B\QH؍ gT&[6KR:f1EomGյeR܅)DQ5S n}RV _FӲA\&6QeOיUc<θpH6ǧ,yM)8{,oְp#Nd&4%4Dc"`M>?kz$Sc:6|k|$qp&ّS+asU8Dul쬒 0:wl,2pMP橙tFz_tކ2xZi^e66eF=?TXs)gю죁 Xu*B9}_"Dn kDG9$ڇdNǕy?h=`s?}u!]4f!Kx\Ox˱П`f\_H81QI<+hxamMy{1hf8Sh *&0ϟ>%qnϚ@qvC;c$I[P خ=|V.-g9q(jiEլwuvm.!нVz jD6Iw,Q)3*Ҍ |~ =DL_d2˽{[2z%uR>j>w-v>5s_Jnlȗg7x՛b@r¬^$ jWC14_D #У|?ӳvRS蓑xAЌS+ n/g!^[O3p.] fQtiz٪ -nj`}%Ӳ/tL읶%M 2A嗯26nw I0sH''#Q{T=ԂE׫*џ&jɎ ?c8iX*Hc\On߻?n **W4 'Ϊ ?(X"E+*!ӵ̷^> I:f.UKɳޡsڵU1K8ttEiuP~齥qM.T{3d])~K8ՊWJ'1]b ik"_<*"dYYL*<RdHR{LC_[H<\Z[hOͺl.Ayž7|P3wq&Mاȭj>fZ@%: B^"L2ٴXD~c<3㉇0س pC7ӕDt:8'q$hLc┗n9^'i6veSYx R@%F&Neoȷ i>[Dn['uX NsZNݢ;3 )J ws9}?"S(37Ck/e*xH9 %;$1ul)E[/h;J `W5yK2hU3}fQ3q$|#<[U `ЃÇԅ4.~ɘ_Wu ~;IQb㙿UŔI+n:>QҐ(V&vx`XK:\晴tKc:nl9#vx4ez(BκqJd>6:5RGCj]HMؽRoyQyb EN3Pt4ww=!büHm-..$ ~3,(Y%8q_:cr~ q{Sn CyǹɦH=5/isI#@#Neht8'\j}Rmx !jcS3t Ru#p}Wn ݫo59݇@LO> B #OC¯ V[DqBE>ct3mmG| +xe+{i,;0Ġ}$/!^ M7qd6&5LcS,1.*[S .ڿas={gl~%yr>2OMzPas2B̳!ϵ,^~eb'px}@%u0GAfx*Ig%.2G] CsO/x3Z&Pz^Jt?5(u] /~i8 .#sN_5`!EoP1 XSսK_yw=xcˆ"Cs:$2$,v> x3NUR@Ap1 '(|520k#v&TxQ/[.B3K0ȈHʮ'unsq}$rs쓐Tq71Ycs(jv` =+b.TA&=3+sj82d{ X[fLD84:ǺGsf0&'\y4ʂ~B9He(m}6i`/ެ(sO <3ԫ l"&[6~`[6ZDwh*=l} Q\[kyTk|V\18ZQbTpU([UaצƊ 08RϭA ߂?mG>x`l(tn=1<힭u>)n ,0C"zC4@z14G/l`{ KX_&EiX&"y|~Qф\VTVo碇v@lמ9`g΁kWF/g31(+fZ0s7iTȴ98VUnweaDoNxyn#Nl$m4"U ڑ2V44_)sqR|I--d6 :oMƼAb:c6[9%O"+N8+b8a$'mxӺdyp=C#01/;{[>=ō~')vL / ]vhT@GWd_ˎV4Ch}21!f'Q=N6߆fƄ lak A# h}:5,< {|i ,FLO&uD:^`;-)ōC<)Z>G\iYQNfE4ݻlrV8TzλT`k g!mA9}x}"|+SJiqO&pf?WPV^%zk"XE)VY,u=sGSTTy>S0.SX&2XjtZ?תOE9+ ~{ib[UҏHڝj?}MkYsF+RX5lЕI*n,ט8h%IRtѱ 1y&e:mZn ES4ѠO H׀%D!oμ5?൭~:w]c!1e{8݆55[9ָ&oid*Br% )m :ͫFmqX\0< e3,is?K=DEQ Lw߉^຦ ")іn4 X΀f{)cy~,itUՉhlL\c{ 5@3&g{(/^ɃE@L}>>=_F8\ϖ `Bu-9 q.nTW0!R;8uPU䓅T!]. L_7;K{#L<:N}[s+7U.hWN \Pna]Y pN+P.sV:F !j0ާ#㒪8(4Xm1z~w2rտW pFWRw<&<"wE~찝3"b dл  tET 4sUA,?}BC0#tpң$PEoh~Zf: ܲj4E|mGr&3-Jܹ*຾+߫=jD8C #01@zk[ʼns43D] 4%2qP?} !4XiEy.Eh2 +ɝ"[7":㎥ZƎaPoH7Z6*a By kx,v!7# M\fq&AsKt3Xw!S$GS<)S %vͬo).hS qFmadf1Mp9c-qC\"Ȋ;h |B$R# Q V.O9!;sͷΠŁ A ޣ%'[ւg~C3'(wLx,mt]NnۡO-vpJqa=v(i;I @]mp9@u~ |a\&toUQCF'H>Iy,xU*5zNmDĿȷ{QNg^qC!΋qRU/w ]-5Cн-kbhSq^:|B^ryF""Ԛ=`})Oda0u=wX:U͸aݯhpd+R~̫6&Bd>˘]*g&E]%}ۖ{U3nO0mhM,6Na,Pl42t0Ed}'- >ZihbZ|"/P\R:;" & Ɔ|r[D й`$Af,&)H9!;T0A/,tN)xQ"څAʄw <;&vAB&DqsfFaK6\S?èsk[LqQm%g#ۙ5ds/H햹V'fa!Ȏ'Ix/ ~Ꮯ & ݤ8ĺOP4AL˜lҦWFR}+`Ek&8L`Qبp熒8X!q"KE89XAh@MPN@΢H+?7z;khϼEY=ZvK&KH%ڿЊwu'kX,V:Xbm)hq[8 Eno gN̚qWB?~.Tp&p1/*{ "ga}C8~{먰=h8Ql-,ݤ cpSa Y PMQ8֧10X71KD_{Q^GCK:ݣEj[Ae@Jjg!0*e"?]A U6$RɤH.Muk 5b\'[#_xFGV!vN,H.$͢D[p k^ 8JTF).׹V4FɑPÝXՙ%ͷ56w sJRjxP͉$٭m RSBtE;,g'de/LX$7ةm`rڂ7=19pЊI|UUGe x\2<`66#dIYؚG’X30~ȧlC32*..xi]uD%lW XI0-J"&ggb2?mwi2\f /l>s}1(Os;] Wl(BՓdwhr TӖD ΍O=PXF/[yrd sR$CHhhγ!jMmБ' <Σf8́ηI~j)>-!ޱ6 bM+W6 liFw^ 7G0BaXg5>vT M_П|9qĂmxi_dby}ik*L @ ` M1VgC!s 9S<[)T%04*CJήNm;WX]nH.D@0P^oHKn LJionڔ%DHt؛+=y1?ԚzZGq5Lnj܄:gա~*rE@MeN#aȻSJߗ?{ k_SJ}GJ>l\&)ٶ gcK\|*!EHg)tU??%PoHzr UY,ygaa76}Q&sE@&9yZ=Ψx(+]Y;w?JP@m )G[EFH jhwi@b/`_8͢@h:`Bi~xnQEoezֺB9Фg>J(wi}aԈډVs} !B z҄&Jp~#jL ^P{Y1mQϳ:aBb+ˇXFyx:&ZlQyCRC!Ms./'IzJ"mAZd[7}ͅ ZQW`(@сBw۸@%BO5w]X~ _͐/,-o\^* 6zdw9(RN}疅MQGܦC qbjHDsm槮 Hrh2݋H3^!GDj} .<_}*CޖP-{#e%lj8&LU`<60b` N[FA8HVnݑ4x : (3'VaV̦BE<KsQk\}!1+]ⳒKN E1)AvC|+97$9Q.(pEbN?ކ"yE<.AI_NB24u>6.Z7{Rj^xeHSߊ7 .0]]y\fi\mM*`JњUO/!{6]4^I=!*zZucVТ_'ub.XuYp\{[D\&մXx،<1mPCo~d?&fAd2E>1m_Olkј^4̳F^6OБkzZbO0Vc82E6ؔ :Z3<@t1vlYW0& +YWErDB6# ؈D>44+ P*+C0!Ak9M!eCy9Aynt? CePЎb7.=Z;gO9$ʰ )~Hә܎Dvlwr1`cΑXhmɯESfjtIl?SvRDݷAD܎[TUM@T7>6'JE9a=1h<0еhcO8N_-ko8f%jTNfPl8ae"^ٝ+qBSrZڭ-^XᏊ]6 ]oCNf^u7PCW[uPX><2!h&G(sʗӊ;u.q{/)ҰHPKEl"baSr՗|˝t34 g猽2$qjr:"׺>m\=52V>kȊ_iPCxDx" ayiDCEBuHrLjE|c̥ # Z钃'tb'ɹkaOO3FhT h`fM>iOHQ.!j>ISrdjʑ>WjrR(/̦Jm_"c`6ׄ y޹]Y6US:kc0T 21  ΤiS?No2DeYEbMD=ߗwATӎI{ěd 7oeBfh]<"+FeDU@uǣ 3Ȋ ThC:GRŁy}ܓ gk0;}NGXkJ>т_hWM[e Uw?3{5NaL>n`ve^չ立8a'] lcK@bT G "_ϯuϻȡ[ Mĉ0cX̺K?p!''9#@8o"2gϗ+mX*ʑJ/qׯ,/[ψmU'82$[vlRQJ sP1qMpƁk) ɁP2Gf_Hw>Lk/8˝ƕV{݆ew]%ѱ. Y+#LfOt1&J캗 d̒M6OcA* (XJmWeFDgY w5&NLZ TG=m&Xb#I%bF޾o)1a=nKwY -XL*pl-@<N p/H|_bA}5Rn]Trz-QPъ)0::d8wIO75h2r%z ǥPZh/~.& [ef]""Y\@"X/`PDOKdړfEw4{: -Ǽ%<s8:=BIJ=ꈽRι'0K,I|(o,`ד(lMí[n]l R)/ v< wE+v]0Y'-Qqn]O[XqnC zϊ%)#čjϴ|12}m[)(yՐpVo :5FZVcvquuF::71KkI^ 5߼asxMRU7_!5l F)?.·{M%*"MK*b.Y+gl 0%Z1mAXO%59`m2.=7S _d 6UV=fc˫wJpxzf9vy sr.eD:qc C g_KQMo1*hS <@k(^N`\_]SLT[ih"-Dn? ϯk#\?|+ctm7OⓏwhLvZEl c抮R 'P)J|BNY2"{>{@آY:2FC!<0B}OH -Ocn{ldd+?OFLg_8lI~2m'sJh^ͅa<=⮧n/Q*:㽏~GEu""pʻlRxyB#VZ%ey4skV~<cbƁ Lh0/lF<m7*kOӠvNIA/-aOo=H4FTaXJ2ky(}r}xrsjW[ɩtq$iSΠo{7VLL2eX7Vu~LR\֭r!ibMz'q&`m/$K (]roE)B:j_t.7y = dȓLҒLݼKqD.ŇA*c܉b!s+(\ U*Po](;| ޤRz6Vx%/8'Sh~tC9 m}efhuh)+.;5fonŁ$ޮw/ұv=@]$.}%%s{Pb9Tn2}ڬitW~N4O/mǡ2 Jo9hL8^:T ,~Zh{GBA1ZlY:;_F)a>_@kͯ^YguQް!gc#b^rAr[BI*h؆y+SKZi%zf_3hPo+<_&?31.쇃zj>+x9b=u<і|ث;{ht3erzLHc˳DUԁc0a(`gT!' MVRHhK,|cBvj o svVz4g K&e^ -a~OXfibA9myRRRDˑ34f >M*ӶP;BHLVsw K-^(gYZ7zXZִF! r]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>}$LCD11)s!-E}HK=mNNowz/^8Y_x dvl+ҵmw =2ZthmΥ"(V/MK~ҧDY~{caov!m22AD8.dm=Wo|ȿ:]`JT6fW)P\" C* ́EHfLK9.U(GP p$AV4!uXVb!iI卽e[sazNJy,_c1MMP- ;:gYZ7zXZִF! ":g]ŗXi%L%%M*>p"PДlKj /-)HPyv6 dH;oKN9O0*MsD̢iB4EuƪrQO,aQV;.]I L;Z*>\}3OD{UAL5%\d'@hGm#0Ad/i]ŲF܀tƨ="}zУ鵼*/u,*?Uo ?yWWפ#Lc-D&չJ\=FGb_ek}9'=jɼzޑ%^Y՞Fu*csL>J=PH̓9Iо'Fl\Q L?ͽJP<& F%F̑wM)Ž !`X?HiF(5ɶV^" (!93; }ǯwKo\LĜɵsEKʼn+AO޷ƄY^P8]0Y~Jo !+F,7Խ/d>l&b6Ր`1_p-H gos亖4='D 0 &!Ug00V\oH `4s3Pr' !KV6ءvUYA;&0oțCKO<6ّI/L<͊c`h8PU1y!"^J́)vS}f9=S{N >]|\l:LϪRu6l DtUԱ>wׯ<`yҶLԨ-OnGd?]geaegH'ɴ5IHW䶔Ӕ NG`:k/ۺ\)r8ǩ4w.R8*/]aYTq !k*g 9Űleh4YwŠ/w;2GZ7_p"POV< N=ul +1A2!1{=y -m