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  T%dD ]/]HOL-Analysis:threads=6elapsed=336.410cpu=1629.596gc=96.312factor=4.847zXZִF! ΊQ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnSlz ; UNSVWA2(x>x;YbFcyފ]'ՒF+Wg=X[+xn;ZAÎ%9.e^UVfN⥬(vCxgI՞qxmbPC?J>f"]ƞ,Ґr{O311Β鵯tx>0 "PK+8-L˒ NI^O,FIGfZW&lB2X-ufR,HE`]l]h%nQ (tX^r>"?xu%'Zc+ȁb$FopGyK>=MCj x|M zM/Վi9ou!ƏfE(7ajE lUNMdV;UiጅLDSnnL [58 %)2Ҍ" /̝ΈOE5)x"!X.,2GY(_^68rXBB8^4ZcϺu 9/Òm֕!7:e.! ÖgՑyሮ^{0' LsKu;u"doAg%[( "wܓ< FDPÊg7y=\е{#,W$ QsJ=E*S~ȃ?[KS+R$hpPۍ V5p"qĆ 蘼AKi͐jixC\G^mjW sY:/gQ:-9o~_Gg ډ.^Ħe_|rd; +T 7LkH!ߍgPV/~Y* ~n];$SrPۉ8|N:eA$ bq+I4Hj2 B\k/L:S"o2SƁZV`'ϘX B-[t?F F*{9s?*Åz%=pZ]쐧4hza˅WTÀ a.QMVCbaR0rWѵQ%;bW_E=> KʒkvSzJS,B5'c/.$s,L4I^Eyn>ahj:#l(Lk?]8;8gqDI-w8*FI* l&ٹoyhL8&Q;!qcYC]w,6sԞ#1BIL֕ kpY%EjV+?;E?wsЎ}qTNLC a@4/Wn:/P ^Y>nhe"E/zM JD^.v_V+U[QM)0Էa{yY>_;3L53>nwc/(EC_> ^KK@_?7 { CDlV_8m3h)(5M3"8 q+ka2@4d0)q^gsI<]P0Ԭ Py=G»] PŨO=#ofp|3pq>8kmh~gu.KJ9鿿-pDcWQeyidž6Y v[]TU{n֖, n8)stXoxc\U.+~8ڗ±ln"Mas 6 !eezZ+G^Ƀt)@2v]cE&I pJ Ǐ<%SMO [1g/w>#0j2w}\r =DWI{ &-Q9b|}g<86% k薎 8qNd!: ͎wf4r52`v- W/s: ;_7]XiTX?ŴAeDyyAKTx4n k'殷ڹ (*֣W6|)ۄc2ԅ Cߑ8GSpFb(;1fBތϕ`?iBouN9#Cg,QMbȇ!VkY=6F/pX߱x0L'ʴDxWot>(p4oEn쩜>uU̜멡D0F% o%h`K9?IO4623O _E32d3՟#۲VFI8~"AӿUrkQws`ME/ӷrYw+7 ,5/4)V!֑?ڜRTxJmpǣI[6Ct( x0c?؜B?ّ̓d0fY) |^*Z((Nq*\{"w0~`X'hg='1ހڞI ~[ݤ͟팠QR7 c茷dRr"wX Rlkqr@ 馰·r~Q&w9 4.W:A+&i=azԮ'^⯌ߒ0dWs"TJj~r^ڜ "ܿ eSQEM1đL|CFa l -ΒgܜdgE;n`$mH&3 ՛(Gvճ*~=ǹ_3(!fBrRJUVLƫb'%:+,kg<\l>U05/̆VeD -G.lH>w)A QL#] \-Auh_}OV^"ďS*5@ᲅuÛ5;[cRXw*C"pP{ N uGU<\0&l4rSfmF@7iQ[8]4[M/f\vF>-(AlƁ^ٹ r"83J^RHڶgizf%ٜ.֔G}4e\Cr=;[6 =~n%d'{  DW7КsML8d8;WhfNJ>5jZoxX;d"+Ns":R`ñnJ lDm 0\Qw{ޔHJ{fWǷCl 4k>[!);o;UG_٫w @8-$RE$N7X^kh> O|2)jOvhYwiGD<qw^pw@R>1G՘bȹ*)\M9mChBSS*m뛞9*/HOވi`b+9mU9 [wn92tQlW2sxD+z)荢o;1jۆLסuYgUx'k+6Ke_q[? c%|^6< bjG=⌊Ɏ+Lkw?yV'xѽg&iVo{!SZiO %ڢCCgrkP5:Ef\}mbK찹;`?C/,#v.3h(²˱vx>r+ m-o*jCZvT,6Y{2ڗx](0c{I<;+pcSMw?`6cI=hK6)1B\v,GHPN=E/ ZHr&L)}&1iQ@"P9ٖ85r%ЁyZ9&rh0ԟĩ0Uf7`tZqL(Z^Nwy wU7̛RsYWsc%^V*b4W/iYC\u&H+{̉vW,`q|,IW1u~)!b-q3V `CRgqN[wV {TOKmudUn )\H4 %YDBxWMS,/KIOisetn? NͶg0|mua>8Q? p6,t]`')4^ ,~׌u^fmq/JTŽis61QNs @iljͼ 4^䖇tAjH56- .^VY3. 8C^!%J3o9u; q)`-VXa`~ڞ`G{PF*6Gz6M{)! yLk@ƥ4![Qh0|[W78FkܴƚT{ro)'$_j #++X 4˪#Gc9zbqVpZEvڭC+.'姣][^ύVHG9H n 2t `bo0#"[:r tr_,"-8"'u`ԕ\)n DU"%Cn` f v!r@)u>SHZN9lwmˉI<3n|Mq,e (@u H5bW.DK*IrUt[r&m [FA7!+btC!!`P cewdSAc$w=k -(e0|x#=֘q7?9}4g%O DK}/ cȗ#M]SAZc8;=Ld~{;vǏ:'uT$;|@#V)4As}<*v _-ț*8fgYWmDh(Ў("@ 7 ;f\BL=m_Rzծ?DS\W6p > =DE 4MS#3PZMޛ֯9'0$!$W Օ⸣2*8QaG0 ׫Yt CqA'=zpu胿VAvVG煯cz@r=C|~dkVvIp\uE>2⹘SGHE!UPsc S73ܡCow1p{?RYp|KQyl4bY"xEՍMJ`M3.]N뱋KH_V+w\.sܗxn4Kl mUײw}Unۥ j% !)4il]|^Hx0m ӫ6zDiHPLR)+g1ύ30>{Bşc/V$sY}!P7Hwum ^51`&rs υ]cT@c:d,e*.O'vu88_ Q)^sUMەJ^ϓMUyص [zkcë~3-N޻[m@{|q_@ I2򵷤K !]!]({<&Q Ts\,h F^tsV_ײ'\Wb̿B{4Fk%{4lWy>xI~8 TPn`M#gݴO27р3MT!}~NC( 5ek>Jkc[# ?Y-?غ#RÔ]~K#9 w^|1fA%88Tà&}F/8n@1h Vv+#) -{%L019 &3Ѫ93:T r+ |gbCY@4ܩ&&,;Q̆w4K$M 3XVТs4l г%Gۛbo)]8IoHsKdžkK7_™A0̩n<=frDZPeKbkNc=w "#) 5ԒO?d Nv y ܠ_.Gݥ45I髰268RY*5If1xJ`j}OT=7dSXK !fP ˴0.ɨʰ#b-`dqٱ =l90hͿN$_DVeCsdr!]M,ϺKqDeE87DR,Bp(5:9Ѷ-F/phQ+.5PS>cO!џ:*Og(.&UY t+ifiGPɌ{tTAzRlpl pl^`Fm]'5 l՘4l{&t |izgX#f;}>+MVi=S%`GɳCF!уGBWGʹd{Jϴ/fLepQ":)[~uǜHAGV].Ipˆ9E~v:}3UpYJkfm5$ ^HA# fPy`Z % xa-0Z<.7J7#뼬eLRR--Bzr@ ?\N"7L|~0W4$'ex1%J>4B)B 7юew#'vpJ`%Ìiyzu3>1s>tSԣwC1Cwl;y]o|+8 VCJr~2eim%sS]܊HVlH6vͿ G]? Z{c*o݅(N pyȖmFL4*m{ K.E='X=xԖ VZϟхSGT]% Xf_ YnRH2S:p+ TȞpK=|,0- -QfяIT1N۝X=~a˸d뷚ۜ2^0ݍ⑔fv?5Ę9:ԭ t6!g%&dK:3L0j>!Zyl#^3|08 Δ˳QC4[UNuoIc4r>K?!;}SWGEf T*h),䅍Je,!EjZܫ^'ᵡ?rm&t]/n 7?gYq;"#Z󤮶;V4FP`)pfYK_Yѫ~pcX菒7J&Bde|dblkFyY(o.~)/'̡̓ABHӉhMQvjx*VZES@tX?3e*WJ>5bK:zRQFͲ>+!c69wmwc$N>6>CAi6VYbL/6:0hq9qKF[֑ղ gL&_ =Of6-]QqSE#Ce2 WGa员Oߨ#]"҂s0PFحSBsWeɚx)l}(@DÏ,P1Q~p50zA&R#۵n1lX<)bRN"Ň/zPQ]JE?uiSJ:)x?܁7؏4W߿,33^;B7BvX$-?I$&T+53]/d4HD+ ^],]'MK ma.~;D=D'4 2HCVIտ>ri{zeB=u(oh\=4P'ޑ^i*Xz{꼪RνQѷZKև| AliMn M>:{okm j987Xy 7\lTD3OKW\aǺ1$Yd3rEayw[ߊfL :Ԟ]AsrjӤ̙o+>?km #I${hih> P³%Sx'+mNFg!(хܿ,t2Y™v%~V7FXz ?JB@ B(e>@ӗBk V ײhz{H#l~of2ȜE35fsziS&JBwE<7'Eօr еd(p2] ÿ H7O)O|$.Xg%a\]0^g2.xu^0U:KS!eV2Aq ZqDv 0NW~^K!Ʋїy5vџf/ 9P#cq*L`91(/YjF7&v.WgEQS a50LrekwF '=žmUkŞapNAJvˍqWU:39A!b>akƓ]%·LMD6h~+H|W/kr58rc!C2]D5k0iR HK.⌞+~R{7}B:HYR͊ݩ~b }Zp^GޗI6@Eqywr[%J1γ&v~ErBrv}L蠰 LrIg~3OOV_tXO\F ?&~8/ CXƬZy5fPs/oOCT2{HkG ] ǵ4Tvc?N YP2-qX^3^ƈ Ȕ!*.ywsc 7!Ig)-~X:cYv;ʺ} qa8U4[gt.KqL4j%'>0"}awoYTqg4?Qa H°<{Cz$:c[q(UDELȃ'3Y`q"_ш揎Gjkf% ClbfR6Eȅ*9+pVLRN?_r{E 9V{t*SÌ ,Fq7ntK^ԍmxT?i@LPXϼ8bKF1],sOʢ%,&s42+0XتϢd\EPte*`O '0v%q=o(mnꠗZm(O2!\ [*iGi 9I,Uͽ !#&-y4R͵]7\|xOk>T;hw~!H,,Xϸ@_ |OԽgRcPVJXЙ)L2}Yk)} 2b+ݛΔ7qX q##Qy;=Zz@psxpf Q%^6MXNU|^k⏇ΏާS楿E0{onCÃ+uE[`7D*6KȦ`Fx?4/NBc\JŹH[Wݢĭ@1DZQ=me^B++VW.~&"aR9k8z]dz;+e̽FXrk-NsLj7Aw, yld\bNdPɊ!S)Z-4\Jj@=zAi(jӛ\aJ(z1Z d }q$i6X}KKP=1W ,':WxLVe2>".Cb8#yQINʢhvMR,Na&Ɋ5fv%֊/l,y4aqQWڴs d"%xҺ Csov#x, m~вL)=rN_o)JN|2.?24#V?.y,N ] ?{x$wQS+hwh#.rl?^K1"Դ -e=;4@7jbL{oG#@C(upn8ju\ba.XO9]k|+~*0ԐEQ'4nE^ux)H`0 ~{6i8~[݆ 9! NC_Xad<0î1?znŞc|9Mb[=-|Z9YY+'&G+5~YMa}*XPOc=~k^n2!櫚6kaSӜzFN{Lzwucvf]EpF qVO. 4D!xYRRY^ORjS[Qb_jL&%Dw'ӊٯ]={0 \;;"@#7Օ.ҦS{+СCi]J.Wpo["_E0m-Xre4͸@}&dҤg7k39{p / 8iqmyK\+}M%uN3TS ~ N>;n/s3j7~oCSbWfbs Sqz> [k˩@H?U6#Z38EHl#II:RHJ+L]/+`?TC[$;3 ,`JQ_ K #c ;gEBgkY DuT"H|2jޒy/wXT#YMVޣ _ֆ% XLVkG|zZ֚㴋8 jKk= #q> ]JrU m.\;ho L"c@֙EQXP_VLt 52MrOJ6~G^e[Y?iܞJ%skr6(8E~bd!t 6ȷKj3wV "gGVO Z'Њ$i八V7-d|85޴v)8AdoH.b\*,q[gM+b*m/\G ֳsRW_$>uMB&fBO‡?ի2pGF L#sɇAN^~ACv)T w۴0[M'eXg픰 #iKh[zuVD18t+堸?3,.g'ߍ=)Ć(E`#]g{_Ch)}_b-|"5@J+4&uX,>ba$otXމ٧iڹ,t֠[ϼ:趽gRrBÐzt(8ȼE~{jU%؄C ?7í{u ʧ)9.Lmǧ[0*E\d~sʙ?(*V#T=І%FMNduɠֻ*!e)A)Ҽxesj۸w{lע,Sm KK p\zoZK :|w 2b3Q_]&>#}kHǗG8GF켇+DɀHRjl Eslo)>S\SGƷ@:W4PiGi#2&.UtɍY1trş>s,iqrvO!i&e:걚--9-g]޷:e9z:>Aӭ9NފN WځXl<ٹNvhmC#T"B:QyCXxR]7F6;q^sQڞ =,d3Dw:|&ߺPL}Q0?|Ƈ#I5GE, p$Ve{:sks|snu5 H2 2p mpk}MR0.D-, /y~˯gݧ[ҕ3?dEDI5!~nM-贈m泖Я@ŬmC&H08v7].g*XkƥM()]vľ7QMKqڿs!iHRi8Li8a YC ,4,JҭK;tV QЅ!+uyCI R=`l 9mVQ!'L vl}VkޜغrQ,!{^Ms D {$B,5xwtzqwM1t ԣ_R ϔ* 1/]CL8 E4`_sƉP:V6v'[W)[5/-+5-8z j'mȭ1‘T{7u01R,p9a+s#p_]u~*UD.6(s8(z" 'i/=n㕖D^[ð01CdDѱ[o\$\Һϴ q=byRk=~ptO VDLS = "9'=6?@' 21w+- hKtCZ36$Uɨgl](ao|X?e\Z'ãMpVB TWX р,V nt3MeJFRCu + f$q21=&dT%x&-u-.҅pJ`iQ>a& H_yaIF>%[ޖX (<ɑH06d@4.8k>iXӕ](:̏5ݤk*Dh"S6 4lYnA_*A`h=/FAȅ[@ :ܶbx9 1iQCY%M?%vrErdZ(z\]55yL5{<[%%"r܋`DGe[7?'&_#̩uzjh>Ls?dʶgL$yjUiA 57WNw.;1 Ѹ(=| 12O,'WY)x;Љ`w+~AJ\{5: ~Iթ;n:*]{'URn1{h. 8R|y"f^GY3*reGQV%ޙi%' |džˬlp. )+i]-ST3*"@Rd&$ʨ h*1y8#P)Y¹(UԨfAIv)AgHO_yWgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4>c1ƅX OP#ɇlwiv*$}Zѻ}]*nT,)Y(_N#;({0Vi,fM0Sεu=,X!\V 1rⴲ咯1fpT:S|Pᐥ̪ {ާYpW^^DuYpz]shUʺ Y*m1U1bms3ͦR^"p;4y~9U5=Y|"> (KDnbu(y ±y :w?Pz<+W!\4j=4q⡏[4Ɣ _HV`7 HUӢZ{VN8<h Yss.#/_o(PHB NDDHūLNFXe,fsFu$y73B.S})6)hvIcDmOC)/?1(&ZkX0-v]m[+˅D*i1GmN@" ̅Ԗ I?qDvNm[C8RRaUH't:7h9|oAN \ h=ކ[gֶs/P^:a<\2BIZw~ J?nV!A}e3;ySlM=In~5?zDnZTHx=}#ΕYՄ&if$,2L~ ?M(kL~LrG%j h9ס-'XǒFiK`pжTx)5jf*3:м`5I߃䍿 wg+xU=|bW#Dxwmʙv)^u徴Fn9`_c`OiEP!tmލ(̭Qə_BG`wru`CxPj#w8cU ׫gT⻆fï(|\cYL@ NܤبlT yL@34[D(n?-iڧQS[~L|tk /.F}A4(J!s_D`5wew^\Y?܉}05{DV䠎djs.O||hFo2{PvLi5t+$xQΈ-FCl[%w Vo=߂|~⿑x o2J-U"D123tCD6H.WNҾ3ʪϻPB_CȘ*<pUvSb\># "z.kbSWd]C]RB&@W|Q 聝1I}-܌GbZ1b'ZK?C " [SS14^(y5PZٮ;ھA7*~kgQ{(T#>l)@8 /OIh7e5g+EF#ƌ+m&,*&SH6[҈蕇"@0Rb׋i*O+NfohA}|lf{>}[!Fz`θ;15Aa`' c^#QU%c$)lh_5YF2xԆ.# ogkri#QǼK J.0m^D)vN# FwQwm7F ugv̼f@wݖ$(ǔF8+S7]S ݠu'c][XmQK[)|y<LUﴟD}OaI1:(8!ݪ(.M'pAUwaa7 @!GZ\l:1Vi<1LQVC]E'%FYCiB>XF|PU|6:9W"-ZFރY^ٳ *ma>//7z OLmᄇR9TKi~]X0|; 4㣛 W7VgnLR6Y!J.|{w* s(B.Iպ4 I ϵПr}*vMm 6)Z?l2&߬5xÙyuτSTW%%ׅ'X{U.`HK*PȽn np#H{$C<ξ* !%!;[d/D$vQI)p5bIq-%Ag\l8hDqaYh&(Rx-`vDžJ]/黈 B1ϋ866]QPcJ@)o \Qҫdγ3?Og>buc{{W3;ѕG qCtCstruV*8{Խq%͞JZ LK!3hD%Qof({ƲIp38LwR+);g!mW' &cmSn*|ZP3F:=.Z3~rp40i򏈽)&tom%2g 1Bˢ[X\zCE߷L)+w50L7#:*y%ˤr($f{<zKkM-׊?EiG Q(0Ckd$E9ߖk7lι!븧od/#ۘ~1 YV版or\kjgyƵ0bHX<7*5mYr_@Z|l`QŸ~|Τ}޵x4ܛyv I=T؛,f5sΰl"0(Tc1iVSgbj`@y2p|.BB9cV3J rQMNm`zpۏADgߌKXYܬ1X D6rs5P7~п7MrteB\|kaDO'BWBJ Xo;R ]j\m(EHP~Wzŧ%U,^-@.S$4HV"vJ#;vkjA|`eiQ}ܶf-%E?33'#!8'pXS\-<y9Z .nl{Gm'9!ب.%W/tuqɭBk ]B !%Xt!T PpG):_%TLRegq[l9R;f5T]_>8*J zK\۹:ԡG7R^VM/q1puѦ ːKOݼOْATbFOjxPb/ oz UM\wK_ufV^7mDl򫿢_y'I'}1 +'cFc{'e:3JNΘJ?;Mtٔ\^_9/NV,$XvX2cV;L;{tWyJ`LfK9/p 7DǭֵI%J'wHZ6J8"Rbsq{ٮl7- `~ѴxcGݎehU?F 䱪3-wb-OsX98I|Z|vV:h]?o@gH5 }g'.7F'{iQ%;mQx{CRimO5I{C3[/eI63lZ#KUƾaf^3TF\bVhWuę YD^Yp ܽPF<1<{li1,:́B W8Gݘ7$։ƚ,EQp'@5Z#\3vh?wtZZg SsוJqnfzd'gC ULQg1gZ| X=L"Qqc%iI[$yr&+ֻj#+ N39}=[CBR. ZM!dJ(@A&Y"X(z }4#Hy@1/*׵j9R,΁FcRrW^_uq[`]0dj ď3*l8\:VbP:c5P I|eՆs']f*|EA%tm ˃ayX5[q(X%q~]?d.-!5a7ZM ܀ћZ|-tE)-9E> 05|)Z=QjhmL'NM.P?A;$0\^!= ?'ʏ8]r]h9Q  r-4qqCF"{jC)0gHHD )]ٙqR% > x]cN:tT,KBž1,"C;8d]'A}&D&{$O/`8y4'qW`֡堉  ?x4b1T34)[E{Fiz㾜 T.{3^ED^X2r?6P@:=)XPR-{fi0#UC0ޛ\7DYsdˬ7`x34ݼ^=t1>ZzHN>Dώԉ?ň8s!ƭqe_ˏ`HUinJ5&D $uГ"̝d|giEgB]We'pO`Tf5SAXgiJ_f QkbܙRITdjXeشT"XrKi(ѽQ7 >{%Lz *a7ܮ V^d\%xT.Ў/i?,P |sLg 8sUQ&aFJ{?5.DgE(lϑ뫡aRSms'Р2dtMm75ƒ75 DW.yR0j\ @ZԊPL]KW soPsk$=- V=_:/6EL)m,o;䓁a }"r)";To59i$̥G@9~9_2F0rZ L,u^ͮ"fO_)J2Tmv̧(YcjѤH3sИ%R_} K:wLDܔk+H]-ki\v30x t/ߴA;f8Aۨtb#++~QyOlRZc/at(asC8U+F'O CՇpՙ[}6j 3x34D)ӭ̐]}eOmȑ1=3ۀOm}ϢB^GZc,[]ܐJKP#M9jEjR>Ⱥ@3yy& mЦK I'ܱoNU+wuMEpGCJ?t@ u.M46&<%t[CE"*jKgz~"{E" H/=R9*2@],*D'VXЀT8 |uNFjPCe6Uŷ[>:s=8qЄ ᭝d^P's>$ Ti5ƫ50 BhDHLјB@:wK^Y-c0wߚ~;\^HpCʪ!L WO?ւ j)*mX/ z)mA1R6&:%`q`(K u]هFv#Vu M (tIq|`<{WpYRg5)uh:`!r <Fi"23KqQ[8Rⅆ#NMb.o+H'D6 d~W:¾mTW$(?}Y-`\Wߕ^ݷǫh"w<*Yn?h2siۆ۾ ::Wn>}\Nuۃ]2 flٖ|s-+RolBiꅡ8$2A+!9-!auqqd<}^$q^3W~U : lTvҀѦtQv$uUE94^`4Vvt=yh)*Ti)jd.!*`$y_7A. 샭BvnAŸ@6wSpPnZp[0>n0X4Zjϟ0ի'Kq跟t'Yg+pXD KcTƽ/NjQ*V]쿨B F|?6M$v9U*Y\ a ~=OD @,ZeC>hAEDg0\>1oRs-.3 Y5w}"t|'0X">j%VF= F7Ҿ;ޓv'9aZFMկ&*O;RHeǿͼX`L>tIxYJ@YS\IX81^|d"LK+v/}7u^kAyh{ +_FZCO t%rD"ĉN\JR#x@:K9|ӃXB<D|<0ظɽ:_!ї HʟeLx~E%[V2^!,@ùF)>dW~$ibHA ۓDEAv&-TӸ.AdQ} Ҳm/-cSվ3v Lj퉣n$\귾k4eT4+_5Xcke P)ӎ5HN,Q8?%VII$-9:U&2ۈܝ L+K,y@ξR'rB1xTB5y$>d5iB+ )LshO­ʛR SYI{~k=IXh%SX5.4F]E|0Kkc&̤Ȯ߳;!(ݱȲX!t-х'[!cX 2YI&L U^WZEwaQۅaYO}1Gw+W-3d9(G%g$BPuyH wn} `xT(TQsOMgb z<  OWzCNFސ5}"&F+vf7 o8ZJՄ'M's+cjEc^ZҝA ]vBgV* >,J!39N#, ,7**A/A{ UOCA[xd'ߦ|cJoN9<emIT@ Uv^j\e?`ϩϽxSiʡJ,nM%`Q(P2>63<79?.\.wNcv*B.`12-6.&oX@"]5xKFh7Εմ'ŀ-"k:QJk6@ QjI2gΜ93o@[ ʃλHT΁=& *=,FcUǻ}:V8oG_xo- H} Ss6>'ٸvˆ|_"?.S0"8BUXev@qW-ǸׇS1hsylo(-p-^h$v3.֑UJ*C2թ+JX]#q|KzFWRC3S<,Eȓj T j0c۔o-?-Ð$`V%',3V(yqrMFa J2( m8s9Ynk{#,?X ~?~r2|)!ve .7tRPc¥ 9:Z\^kD&Z@,b+ᮖG$ab".Eok)B2joGĈoFF ^?8U詭Ϧ&` tsӝ-84bd!3 Z|P],c1@qAŖ+~l )]htK'E-YFI+ m -ha E|d BPj3%QIޅ \6b{0 {>PaiYvrZ:cS[ED#)U8Ӎrl+5Pۭm\2/ًZX3>̫u Y;>NG%T[$<뿨طQv"*DZK4^ޫ64(֨˕6Pf|FX$5*T%l|t?'Lx ]_wfD IֻQu<dbsW4K +!SyE»S\)MWLQٽN<-c$28wMC"O"fsj}y2,٬P)ZDS>*-g/EydV D W< .f"TYwÖ1ܹ֭KaQ9hR|!=a5X9[r}Ɵ !8dMq^)[y(!L"쥘ymL睔96 #cBVpZnEg7`ʮЙ,9DIMtVr9ÓTv2޿ΰd&aKs/KCWe;ۉKH[XxO؏ vZY"C RL驠^s!j1F]4~*iAIq|ߝT6 ɹl7m; Im@t)vo|HI#zN<5f4f~rru2x݈kMlDR>rTM g_On.Ѳ5-Yi[ y+&qsK g<ΈˢuG{Ω4Yor瓜wq-p?-gc&|pPw+P0i O?Q3{kU?^. K/7u%@ 9,° +V9l8d?ڀ*c$FqQuAnxފ$}4P~vB@T(53Ϡ@Q]!_(')䜖@.#z' 㢲f gx"OrgyơE`ވ1Y$1 _pFzCi8á{R48v3$ݒ?27(o~`^>[Pk6|Q2w̭5O*-ų袡WTӍ6{`÷@9y*VyG8Ww*)QTvuRH4ePT_e+;9re =Sfo_[[^D]JlN SG?E{"OnM^ay,S谑! ! ~ , b+4WzE:}Q=_FP1e ˂AV解-e̛iztQ̇1 nJ׹L@7<ºe_xL}Og_XK,ѦX;9Sk,b4 dIi($^̅P6|LD~7h_S/`,/׋0ٰn!~OQ/. *r%X@Ӓ<u׭+&9E׎~01H y$s_h5gͽhr+)6x?f-8n&$=SLJ=b酟ypEE=s44) |_n8LQTf+?65W5^x:z}z0t *V RZ$;PXN=ư/ qyqU?L_Zڙk KTjR۫C_)>:d=|X:4?ͭzuo%*c艚Bdw# >.tR}qyIʁQ=O+c{^uEGOuOҎ1a^L1R{rt$b' Ĕ)T^[_VMe {J */lDF!lK3pH2rW€lmEpyhЅ1b2JnoQp{&j*\PV~QebF\Okx!3u&n<gial&`y(n11베D(H5p'뢖ݵVRj^d.qs bƶڏ(1s?F5vc,`CŘJ T"Op3AIA$^;<ب(,]lyahJx䉥1q|ZZ`uly٧N;ԗ",OW8B=z&艕1Q7FՖ@.ToƘ@S%Wz!.. |PKY$eFr@RPC|\R;̏l/m`W]/1U2csP }T Ěra_%.j'e6ʢp݈ 5Wj}h!>0F೤v;BGwFJB4 Uaſ _s]; hEbB kGAk&,%譂c&Ic)T )ImX[a䐌0cC(>:aֳh|-r60cw~>BJunTy+2Msm-ȹG1cDo\yO])HʽaBva!ļTFlm)?EUH æwk@'Ia] P< +vX~508P{]㵷7ܒ9U@&Yau:``9 )┡KŪh8IkD6%p\xbk3EhjU#.eZDr5}W"v4@9II׵[]ωT쵝oXZGy=!a\Xgf0h 7}o}'1/)OJ}\ƦC*+y\x/f\(Kd+n&SM"Ee*ӞNfl=dpflM@UYxsnM<<#{"xF}5*kVWUт_eU|LL @oR(:b(_صL!7aQ_-{nR¸['祚8.鎉#CBܹ0 15IJM/ 3!ìV 0k>'>Ko!Y, rȄ'W]#WX*Aea-wߪn.xdt{=—ߴ@gU( ]S9y m{ 3`^pį-[! i 5GA\qPi<#c U^́GCt:aZ {:3scЄ'J=]t/%I5'C/m %A( Ȁ];\iR9^dI6ZH,}E_fZ2ji9ћhx#p3 C  PXZl}Yв%+0?EjQ'Y-ws0D7dU.v,~ HOd hYti,.|v\*%e,nx QO!J~AAyXA9+JoA$Ve4-wΝᐺCg\`Ym U@dݦ\OH5`3#̆FE+DKΖ r~ *+MTWqD [m1䇨F"sNa&PXF2>'~Ct_k@B7vR5'!i1w:=Y>~9,U ; ]D(7E(앤U{gf6@cT>ƅ75("$_3j! ++Newrgn=pI J>sJYj!Ӗ~!0򦫊`nk(0w2J2ٗ3_р03T@>ІBEr`(8PX1n@Agbw#! ^VV#z[}Ae=ީ* DU5sԝKƒJtyG*ojWj5R F,|ގSgN=uDt̬o~_AcЯTA3"B :>˻^j20q{$"ǰl#whCbpMElc$w㕳o$cYG9Y˿[(j&4jmC q36~UGNSC#0*b 6#PFHRkjܯ0 %޳cޝt>ocT̙Ԃ"c8 P]eT w Aк)@:  $'^ )rIPvchP:/l9A&^Y્We bP 'Mر5W:16:ߐ\#h~|zI#6bzhIN’~ļ@H57 @@mxRgRU~D!)f{j>w qLs'.5mHH 8 5;R }=u#M p\z~hUYdk7!ݶT!$sPۏ %]"4'+1Vph3 ++?8RL@~SGx6.?'hjdtڢ]V\xDrYoťw"ttMCU&&پMw=K>((H_<%0i3pe[7ctcN3\˒-L"S3fںٵBԿ`T/%$-/Y+ib@e[[TT%HD)|+|A NYHhҔJ.^6ܫvx/)M}ی>=w\9Uޘ˞,)h(n΁~H[7քP/ CT'?nX2/>H:9`v4D5 v |n8qy&th}v1 EĦUۄp<1˳vj\DZl)%gns0OϊX;[U1KD2ϟSB&4/UhOA!3J=]}| ͎}'Iؗg;?/N71lnMw-ɛdUBd;#1WF4ƾ/dk.T+}ڑ5tM+CZ#DM_$)Spuq@No#Cη'2\W{_V}ΊHmF7ĒIy )j _0Cږlo'2R;Ca@u:{9r+Љ*Vy?iӂfړ.8ٱAHsFcE}9-NFQ7%c1YNaɅyxCWj`P3ə9ڳ1Jr.qw7$8`n&׮:dcMG 8V5͔NÏۀz/`ĠH *KS7| 1Cy\@XoW6)&'iuL1*MҪmyքnl>fp3?_ά)q"`(pevB,Y@VPpagwl*S$6Dad OXD"Xt8L{I Z]/]ŗK]pqR`Ayzs&gBa=?cd#  `&UQWr?&.>6BǸ/;rȚB1*y ߢeW9+܁Txٍ5 yj s vcSe0;W&Cr pM*Y:z*4Yh71S`gQeRmFx.0g6a  )? G}yJq\՘ #c7M 25+J>w`UA=̯߮s5dka72Z*qlwѯCMN;EUoխiv!IbOڢ4.{[I}U|IɌ`q|BZ5FIkڔ5znur轅b PE~ ĚD|NAZy̪"g/m[ӫ2(NbثH͈TO=yW{!KW]Ǎ hڢdn^m/V6u!+P[+`XtNh=HNl[ZJ Vm_ wK],= +Ns'XtfX^^cMU Cج~ZYT9bC>.A_SL#)@؊І&+w&LǒH,Ms]#mqd=^fڿV.\`فn 2 _|Kفׄ@<,V+?WlLhP \ ɀ E$>JzFl1o7n11c|DDKZId-{5{*\57STs-.\Pܳ7UZ 04JHjSG6]@#׿kV(aT"g0<":j_Cf݉Dթ]5OOU(\ 擬FJy5 dX0L.(0az۝c՜UB +C[SHD̈́kLiZf`XlPtiOF58ܟvw{S ,- s^9bY8b}~ 3ӨS+6PRSدHp#mjZ{;^@eLs%tu&ܣE=\؉ߢ$:MAob]:r `bTN>ay 7K QI#這2ZUU?NQ>6|NoNlPܯi#~ :ϴD=f=Evvp%l]V N`(g/j6Ec )LX VC;#G}`7d(_,Ľ0 [^_<\V, ë>!_Iax37Eav2ה1s9.T CuA@H@,[͝[joJxl|,$r MٌOEw} O'FUWIc*&lvAڸ @3++I9;۬ʸfN?HGYj6$E!i| ƜτnuuO1B,ڴ@0v> m#E_璂UJ=hsStdnAo3frWV揰W/m-Ng`L&-jQ ?' 7a$20YRa8wpGڳpU*H0P-.J+ꋂ,x+_P;3cW@bv+^cf$<-; 1 %mdev5{8$d5ϊuP lW k+E? N\e' ch]\v갞F&Qޛcm㘂_Lm(iξX@Á0( =NaJZ8}y9Y7w9XQLsiR _%fgt&,̥9*e(58Ngf6+w^)+y)<(JպEKGIY3?ڦ3-v^`ƹaQX"D"v(D6)b2l4s`o%ޓɦr3!T6e׻ \Ϸd,4t_x. f%t &PQ}&o5Qbzx|z(CC 5w@M ŝٿ Kx[^V[U丧i5^/9<θ\fFK恄+o|LjA,lx(Wȍ+$.zA<[T'=IEdG,쀢2U-.^hPuTjԉAc3b|8]*MHB2vaao0x^O9(~ph ly5vF6и-o,[^hɏ~jKe; 믔(VLdJv>6'/!@a[BB6{ UR3g>/%bDbYUv|떧L;rʦӂ?%幞+epEԼI*hҚY=`py"Nt܊./~QlW|I&<ўn08PpYg0.xzK^B9z$#x:em1Ba-iSO.LY<εQ"+/"'6kB5鍱عbp?MڿY,D s 2Mk ޷%!jYDϮ -+ OvpЊTr_{eH?mp4k\'.k{@屛QA$(au&wD1>x.57>2a{QSvE# u$[u7#h2P {ۡhƅv/{]32JURl3 oRkx˸ 3EJ2WFJCRk-gS:^z5C $N}-T2cͼJ>^s4 (av%;ɾVGi!2C-blIGx?dĈ˵Zcb|ULP'Gguu}LQ PݯC/{'̖GfyH^Ћ 40??h*Hj䭔w`Ff`-7( g~)ęђfغ勪zs6]㒈NU q"r4J{Pq A6O~(ن#$NؕUnw?w2* 3*ީ* DK;w|goLD2w4#铐롄^A}Mq۹w?ٓ9{jD5ׄU1=2 =d:{dz5)&ߎ\ZeDqv d~d] ̈r9 t .t:/S|ɨvykrXf̒YJb Y"YÃ\¬ hx#Ҿ*}ONZ]0-l=}}}$}cu0KזN*ĮVEX9$̡/41i,'f2BJNn!:r7NՑO}Y8́ӝKO`'R()]若OE)0Vxs X`-0/Ki~ <'G#\fX؏QPl;)LJEp!-ݍ/jxƖ\mnb`o#>>'Jhm&MolB߻x@5%tz$U\\og̺˔eZCd) HI} m痺}~FaWH*0F$NpӋjOPFF9x/ fogPP%NV׬ڧRc$= 9 ъfJ=I"tp@t$Sy51K0S~QCg6;1Sa:-= qS⨈J FaiUeۘ2S]K+\Y.fNP.UuQ4,GًfGOFuT|8ʹiYU;ST7b[s^+#L odiEA:ɘwA c-X8}|wIÏmO.D+m[3y|wM5 ]Q@nB0lec< Ly߅ۊ_l>D$WQK-S^OwO=wLj esY|%$0[lW_}N,-p [_ Sώ|QT[exA4vؑ>ivB, _䖤ʣ:-SX~dBξ9f'P$_ϔ[tmn-7=4^}u(O+zp܀)tMMj]|{DbiB{6Yd$7v 1 qـY- cVq[B Z/yXX鱊#K (?pQYxԋ2VU#hoNf[n|{ayԣ>n;[  j@=XR>mkNfߌn6 T)ڦI%R60(钂bҒ1Qpv%PL$"KXy+>7KscNMbT7_*@n ziI * YȎsNodSiZmzD@9`[fk<`v77B皕 󏗑 "pu:#?qS(spst2//^5Zbq&w@Zy_MRJ8^o%ZD_ֈĒ5k"&h\XRc"#A5e㼽R ,P;.["e.gt4D;>cP.ī!\aA_t{S&Rn&e,HΥS6LR-![SFǸ6rW%G)>c,UOZJn. dFZ[,E/OCX3ta$HY1!p`I"E2u>|> Cc2DťM=oSS4b8PWN Ru:OjєRC s»sXR5WU@\V#0ɗ4t%"卧R/@(o=_CQaθ:v^G\;@5[ iXK:HyѰv&bF6`CwEоC(n+cr DL\*KMLړ+ lB~}F/͆сOlu(onʠuiqf/$A >mJ9bс4rR-)d . uCfcC+ Wgd%6kajX ~Ro󝒪4"ՋL}gb # M#-dlV>!sC˒cN&'vp#XD'X<6:EϭXo*PDqj 5n! i;tlt"%.FؓԂFp]\յJE0s]֔7 :~[#;"e^1%;#˲xhiܑ'4(} I[1cL:=ExS4B.>EO39C! cFLfѿLi)d~*DjOH⧪9A(P  t!EVst,!lTAo}"\/a5r\FdQG_FZ[{7vXx"*u}R@k Eӳ,0.u^JrbQh=kK+8\폛X십ErlbHAMz#'o[~ {q.D:$T2;P$z} kDz7 c9Ή>|$ Bߘ:8hNBCa yP%*(dW߈٭/P`e[)VعzTe - m듥Xx&%CiՍ~tO -$FvO0[ )Ѕ=ز?ɠ":򛘃x\_fʓ>D3V=RDX*7&\Cwí씍(&taIyӃCHS Hn2Ƥ潒() 6g`ԭ&Ԋ匛A;'aF[}奟$X:j^'=G!9'& Rb~F7E3XpC<Ѳр`"?Cp7䀉V & lB}٥FV9^t|p6R):Ӝ( Cγs %~Ed^lnOλELhAnpƟHdGqJS>,s.p:fQIr[5R$Nlv^ఠwPNvt9\5Ft G&nb5͟F&B=X [9'wX ZP>Q͜fhC^zw4x a5c}wQ[cyY4C\72;W1Jwfy}e8{NT Wvb.?z=i]Us#I8=!򭯪M LGȪN`T+~No.-!JX1b. i +,HT69|!0ZZq5J{ިʏҘD4hWED6T僩cw/ E#$V0Ir7&y-B˦[oQqB_:~FDvg}t07\jN ЪOZĝVufQ,GM[ ,b~ϱpȎ=ڈWS\}곖$NO(h9!@IjM1u?6e&Y#kfe{؟0՗B0 h%aςYb]{@-ꗆE4HOV^K5+$ sN˸?+ qCLAcn+JN;:wwc{+Pnh[;7XC8ViɀLY;7҃Ńy}k"iSA'  G񎌂U?{.8 qW?",=VA[,  R-k+}j?O fx4X}xP@ (4{aX^Soi w5$tE.DZc ,bxj7{r (r^鴟}nmE_ڪJ {/QNc\֣P2OD24R^^pu3_N!;M/~]E'3fKt4+aY-U1(5^`] DBF6XYZIP*+* ʐJO?klYOZ~ßsf|_0+bbngg:>{,XWIøQSO 97NV;վ}xS;=Jd^x3f`I$)c9#+"_+L,*H j6< bE=ҤD3 : |oWҠ꫆R;{,]b 7'Joԭf$m );i_rD2^ _>v><]d$Vڤ'ϴ9pN7EƳqW]d_=Ck&#c|SIi_6h]Aw\Fur(rʊnV0<}`xsfWqJ琂\MԮBpSn"b6G1; ]H46)Gc3HӮ #&RTFU TIRH49q6CbuQ+pf;@Fcݦޟ>!ݣht-G2W~0/~;Ɓo6r@%s~6l-$3A%lDƢ nY zJ+IΌ5kSMWF7?)Ůt "_ yv)˕@*Vplj`Xb;'kdžy7p9g wʐB,煺 C2ˁpRwzNarb@qg(\Ő\:'ϠU~蕇١uyB<)=ոS=He'{nB*<PJݴoy:$s,.Ԧ4ą{3*!˒#?~nL qkLmBZSN_L~ңq@*x)\tXdTIen̶j91Pa,K&x;"AyF ev l1o䠹RVa!ze0*+jŐŃH)*4ne"x*90Q<":? 5b$uQ;DF$aEjv;h[L[skXTtagȠK vAnEX~s΍Nj~2G Ѥ?- jI~( Z9&d>hA<%[a6pAm_7։^$(]ܤur)fV͢`-19-lR+tk<9|VZ!E^4WWy\Y8N׭tf-U"5vlIXQxX"ʽa2|@cg3Jl0t9?善 X8 Az%7n]#QId16'_m+ۻ&h[gJDH$-/(~$tׂ!lksw#LAUw͑?R>@D֊S-HUZg,M._0PwOyz/+ Dc*s~Y%Nw)/׽;G=,'m¿ȃG.??"K}k.'E0z` JX`BK$ܦe+w [N!,C-=Px*s!́Ɔ|Xx)b)gYZ6ffd0ddfa78846a31a7687d54491913afd2345b2ca3ed9a9646231337b905d185bf29cc2ed7d96c5 10df30d77910ddf7eacacb769f4ff21ca25b020fa62cc3db9bad0aa251bcde0448cd4eef27a8138f