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 <1<4 ] Root_Balanced_Tree:threads=4elapsed=60.707cpu=189.460gc=12.164factor=3.127zXZִF! ]ŗXiɟd)&]khR/`ʔcYy mS"by$ivS+\:C9Ym=-2 )O9 .eNȑ= q]x>N47N <};+jf]ģQjjWa1X WGu8 y'i {ez7{+7vU_fZidDZ#ڴ| (.)4[8/]Od; ĞGgK bŖMqQͰAA ~b֨NQf/{*nSB-o׽TyoAQ(3=? .|nCH3.utkfQbc6_2.LM2.9/  ~ @)k~fYrFTBbPEoޟ܌F% GMW~dgX:֍.ԣ3%S!>_W~UGvĄ,Z|~2 ;,%KaA"gɨ~)OwKPY [ gd-/ ]`߁݀ݤ,r gn8#NwXnΑ!Ԏx\ؓ#wCPzN7P/ c40ODZGH fy T3nr#&^і 8φR&JJ|֩Y~1D4_lqqf\~dG@E(eUQ7UUo5{Cj÷4)L;8A }d_Ѐ`=JCƚ4XMWtw )M)ѱ|lV4?nēYK)ЅQFcq`xmu6$l=M+^(:6R$]`+V">^҉sS?;gCX|8!?J ûGYUfҽ9[fb1!ea._U 5JR2x;?/icE&bIKqq;4͙-"'|p;:|ޏahK|7_ 9?{,sT}9 ًE'1:dO >;XBe~j̵0fow=ߐ"_vYɜb2Lm얙JƈPD^{;28M`pY)f'QZ<ޥAl(#@l0O ( lR|+i~}Q7h%1k[~rڪ]ߜXzW("{.QXc(Py%NEɔ@,f_2B BCj۰} !E`*[̎ٗ0epXv@*dHFS^!>Z .(K6YVCA>'NΥ'/3DOP{b@i?$`5+]Tᾏt_p#IiJfV)U8@8]]  ]rC\|A{;Dwxfܵ.e܌uMogjTmurVH5Iʉ) ڨt}܊km 1 Root_Balanced_Tree   DΌ{)=wIl8.Y I1ߜM>Sȿ'҄\1P/( |?U]W%„I̔WvzVB;ėW䜫QW>*0OƘTQ(fCxaX54P럋EjP(K?W쇪=orkDp$~ \h_"j6_35g\?V@4"l\锣"m}p?/H16G0{1gPNaŵ&P@Č)rr 4u[W+XEG_ڴ] c$GjNydJrj-IeanC w 7V@L9VdB=]tqJn/|b^H jL2ę{#Qm"˩V`1'm]j1| U8= î; UQ0, Ge..AII.DʹPmd(W>BfK)HCcV6Q ZW>ą7vSu۫{}P ?|]Ϸлv&JMEܞeo_JW$w2KTau~gݮO"5Y3WTPcS菡pCN 63x6U*=uoGv# Y`F4$K>GF4r\}Q2S>ޒ+]RMdjmPImk[ ?֊: CX g`+ 22ZO9K$lyp0\C_]Hw+ ҳ{В9R)k7CWBg9`QI}>dr65hJvZ 7ȸsmh},h[@q_zGyOu>!b4Ӎ5cLRr\W%~\(C]ߺ,5 L'p/-LGgXm2zGD\:t}bɅ`?A%@b7Ek+x"{jZ6U)._g-Y,tWnRFm8s$`jInq I:LM9XC|Jn3{eKFL@*wg))Y6M2 @>!LJ\gZк0qCh56Un$?5FyEF'MWK:n1\Qs=&=G,k^O:k%;{ >_JclSex h%}B,),[ŗqbU'p/{.ā>Zj/(:B_%Dv$T+ГV7e9 S ~Iiq_p wT.Gf8ΔӸ-ǂ'``xO"ydFI{&sbPuαJ1BW㗪pk7PM70[#M #!hXܥVʤُreɥZ=З mc4$[kAX(,"A!%UJi!4cG8 ! ,~Ӝ} BN=To)NYn~IEa{?e&|s#8r];zHN% %N.,,Cid E!mtE"!֗_h\PR*;)l( 5}dH޺nRpC=Jev+r~O㰱_7R3.'Ih󰾋PE<` izf;CblR0kD߿}X'#D%X,O"Ҩ)^99mԏdH^BB.Ǽv0ZVm2GM4x(4G %h/8m AIéwœujSCłX줚*\=LQ R.%TOHȤwڕ{R% _d f=-0NH2xdX7F oY sY`~0]\<>$x+iAs'JMٵ2+7;1çȷn BhgZz9&]4@)3Gsy.-xW`GΜ)ɇA1.&_nM"!{fv{s9 [lnAjvk:àraXO @$=jn&Bh)Ln_o@({9Y4zMKB ٺ.3P|AQ}i 䰡,#S=+qzUJo'jK\*ӟB*!%41W?#K_si]J/Ӻ ߚ_IZ-}녛նyȴ,qG ˋQ q3\9}@lK g vNd*eƱHYZ=ˢU&BuP> "%AA)prTJꤤ 2S"Xk-I,:Iuq*K! 3]+L"uvXY>/s𭇜NAH3[KĞ򇀋l2xaN3m-}_/H"OztC+w? ZcF'S4׮.t$W_/rV ޼׿MK{]o` XE?X)Tv"2LCH젠/ehg.0)46yWF/wǑPLeA ͋ru"a=.w@:x')xG\j%-8:Sέ+كwMh!ݝ`h=vqwUWa*f  Fq2d<o7}ȗGFKq75U'R$¨Xq0:BIl8]w>~{vB0;l3$lVǴ{uەaU& jNĘ(J"9Uz&\O#4IQ'iB<~P?M[@YR?5A$감z*4 ͮد+8/VXxlD ٓ( 5yhçA؎X7XnE` [MK=mtЧzV>VӖ+3TU3`Up2Ml^sWpDXVȰ,e؞+ 1L( UO :>Ӌ 8zAhLpN$=+ޠhj6ڕi9'r?vJ7/Y(oOfBތ;Y(LnE(lkmV]/o==Oy=gHJeƾ7 OQM(YJ#Ņl7Rh(]a 7l5׮efڿvBK *kt}t7%+-YJr0mbiZ^Eqxަ"%4XmMD\AžsWarfgj6M(4MW[`.(lS>Rʚ̈g')>_)~lry 2f_nwKh6-Dm3/fͼuu0J pXI q|x"H04#3"♳e7~O H̺oE9ְ_`\xRIK@uFN[44`W$>\\#]%te︿lmCfw6S3AK^~! *)YՁgΞg&&(#ͅweCel ZJW(9>f606\s]0&vBrk J},lTn{oUj iHF`dDȝv23!imf3=…aڋE2sW|'ΔsIfb~˰w5=Jws˺D\{ذNz2 z%>yp&e9X)R] {0 n׈ZŝaYuƓyY1(+_\4R&U~^nڌxJzќ iY?t&M倷4Dg^9 qŁ3>5&҃']ӰĄk`\tp(9ƿ>8GfJD{,JUpӃɤ 5u+>%qC7{[lhQҝ\Y,V EAM{ѕ#hcW77n0< GI;TR.㷀ue߽ WfڎWڍ'dnٶfV 7w%6BxboR(6,2"ڋP9{|1u^p' qRxjnҰB0esWJЇP7%U:~֌׌Tc[qkt)t@T ɪ?^<&CFIen NZ c8vC.ux*kJG3΀kHrvBOpۀeg7 MfMsL3| ϴ.GWm4?# Hgi%uiU!-!ܽlTnϘ(nJY{D r}!Z)kȋ`ouY×7a}kMPԭslHz!:5sla#FZJ+CG3%>hSmH$.1Ecv#f<0C7 #ZC0ڜD9؆e5}$dQJ 旘, VCQ>OA(,TMI`|x7h^ØŷU 1RFM%Ȥ)Y1iFA5b]x`p}yRf1nӾ #n", cwrʴ[5QY@zTUo(8*j¡ Lt#R霨aC4;*A`SV cZ{RCd:lX}ߍh?xkrLlp<(#:Q+or *+~ٿ N%#[_l4JZ<.œkن`.H^iyA?&c]U'AK b6U{"hUh1X Z yjMƵzƇ8ԇE:K͆2:|ʣ?iV(m>",H/.s!CΏU}.׼[X,5|8jgy?`-'mjaƪӔX,8΀*V ȬyI?eY=GanAآ״םkFJPHAúH%Ћ}2KX_@TX XmA9=јq41$*?]Ĭ 6gVWBy7>& ~2nyk$S6bS]qv#56U)G,Y(pvnH;EaW_A/ī~ʽ[K=@Wλ !_~A3X*?N?zDʈ">nFIܽn!vw=КڱOdD\Wtg*Ժ`Tv0}@^ѳٷZxzgŬE` <I˥V3} /˿W6~#8]=%,OBTtzt\;nfA,Y2D2Md+6fpq ctkaόӪ=4L+ -Vb~b'@כq\Ʋde%jO,(Ft5 [cP򜣆 '|n7. ?|0nLd qt-ݣE?~c)`kZor|'s i=M+9GBp Pfv1qi>"e^w&[uUEqL'EqJt,^F+ $*4H w/iF7WZq"iEJ u1Jg~Xbvrk2X ;qf['#Sw8:jtBj:eHK#.J[.nu] Nq!܍cvga'2:@:γ2&T}A(N%q5o2R$!&l ϰ5}P ,1׷#eОj-<ǐ@NئƍΈuD!7iHRG\󴦕PәD_ʴEIp[&O~97scߐ6#"ؓ7˪ V㑚:fC$vڿgyoW-?W- EOWޖF8NG4>D߉4H \X.d${C/vkCS Ho'0$ #?=A N8Q3]V5EW8Mv}G *l"W¯Y_P%b(r*< /]9KD)D1GxaIKQ{L/7[jo6rj|B"yZ7_~=49V R2SBuM ѹ_q&F!dDo~xu ?%c`-yɗf0ciT F n/:~;r$T嶗s4g NԅeȆ aF(#6)|8^>A#S6pHk͝V$}8yȰtC1(!2Y$= 5Ngzcxυגzne tQl` .ېP#0}}nP/rL``sˇM]`߀w7m~{?LmhM>$fTq+Ƈ$*; Pc?#}G雰6Б?=Յ \u'6C~LT#*ܶ7RUx_4\1]$J zYdVq 9ʗg= xXd3+͊.Wmfmu+Ʊh*0$Xɸ>h S|n3h}GQQX{Mu[($vcg7@P;޶K@bF{ lH3EB%M-ҍ̂%$FWBFNXά?{"˙=,4\#__Fz{OκC~LBFDn`L fF;K,sjfNn򕭝&A*P^`*#bOɲ䚗p>^T>f쉤zbNT YMdgaC ?d8^'VLO&|~;qB?pqҢ7,,. ͝?> }`J8(IRh+@nbD?@_?\𭇶D؛̌*•y|t},8}C\bchlW!@w~w"PvmwXE0?!0)o ȿu Adזt+vLtM=m`wŁ:0 ~yuvᵛnXGksoP=˵vn2dfp,ԝ{P>؊"< F zħnn;hԄ,,ۋWz(i$t.)9}iTr&F] b[,1)q fXV?}rsab<:)L-JX%(=\ sE:昤,8S9^4;:9KW+0N ѕ[Iv{zEAjEqœcVqZMY06P\~DRXo0jdZina"fܣoPu&w"{LM?|V 2yj}@V50ulRQmDV96mܑOKB;mG,_/yS޴sݞZuzB ~f츸$¢'Nw kЗ|>r5UypRk/p{{^[ʄ[2lN./>'݃~c ]뿲MV>~A3kH+҇ D%ʾIW1 yBu(n ΩGw5Cu 2qM@/uj)?"'qN޹.84.#ej6rtJB]b+r0)Ο%ңpH@uAQ Q5dP4,o3Vx?v9Ɋs>ylާZ2xMFd$E.,SG DDǹr4F1UۯmA+c xb,}ues=`UT՛BUN#xuҠ)r7ovGs恐fJZ2A6vuE -rȘZnylu24B570Zӧe[LNrX>w>8MѺYQX@(¶D+m2Vpdo-8I3 TE5pKgണa!_1 D 'm:TquWx2[aO3.ыT p2&~! RhP`6y֬3e&z %E>o?>p&f?fJ=buWwe9~ m,Nic$xOQ=M\wCZ q/ q& bWs *Q,^q<+'0#O6Д.!9V6 nh9 \zocyԳ?0cEh(oƻqJP8̈́ A )VwKPAO@ݻEЭ[:}Ԉѽ q]yE o䧐$('x{9N+YgKAR6uv9mH-I"m8Ә\ӽ|A|O1l۪6K|:;aʸyϔ?dzS [#0KQ 8$wIyz '%^Uo,+nN$llm\5БbNRh*Iȅ}P/tY4IpmJ-,@9o7^vh(soƅz~G[",{/KN ıĭTetp&4a;_X45^D׶%1VͰ`,N5iE/C6LWG"QYʊa9K\S ձ&v-D`D@hhWaӚs:X{JG␺ O֞ġ`ͩتh#HƤ K㞭_Cnu_,xWCG(}>Uo3u!'UK'_~w[οWdK>-,)!H/S&ҹc;v,OηmEl6OGUh@``m~ ?"Z4k.cT+Ø&xz|F  fm]nHCG깆oHIqU4lFyӕPU㗊?mvDBDewprs ǫ7KDoq)JS~s>{nxtb)o*4fcB:fy`#9oNR7K8 kxkR,ux AEf*3O 2N& PX;4@J?+U&|"joۆ!s)'P`RW} Rz,eu@@&!iF 9R$ܭ=WaP&6d,=7 5iin;(%o){6<) c *ɀi›6GI. :tCFz(;0\.zʫ嬮 RSצ1f̐nN_mfM)h329w:XйU򢸩c- _2JPfR#Ȇrx:mt`%Y@j6B4qo&^k3;GuSj 1ڸgv:Gj.*cZgpg(&FƲy)_ cQH~xhOss#\iڨX:( 0*&t{ɢc!2e[3H-\mXo$'2HJ*hnmpp *MԦ 'W3ǟU*VVV=eM 䶽j] ^iF@f֝j59Nj:6?j^ ;B\sZ|,#KtF=|}GxMTVEt |yR5!&@Ax-jN)cKy8_uZZa on4?lYY;#Z҈|C$͛h0W_ע\]'ju2ʰkGBWD[G98CϿ!ATGMlӈOc*(5Uo{;Sè={[&zJ>k(}MB0bZ~Tmz S[~Ivǚy `we@B}A(-S.jݼZ2KZjOy EuZޖhSx꧸H}^!fuL|? K%D"Pή:E|CXP fqO&5\{p%S 3ȩ(?LQU'C5D|,9GPB@ дf<cVz^ 딏 +c2Ҥzk 61_ezrG.I$9Ѣ~ Xwdo_SEZM~92pFTgycX+UJ+4%3Sq;'<s9SgPuji~ژ g &НjVW]w(B.q=c$[؝l* t9e{O$΃'z;R|‹5,i:vPS.z"4N٣0O#FyovS|#B#6ҶZG\..Nt n_;8E=!Lr+]\s%=O>A2;xd8 7)% w%lg dBdP8zZA9Xp<[]}!˜ cj"x9/(51m(B,JTE#߯ۧ{6Az¹N†O[Ļk+HѦY4 q(5&S,z /u \hS;06Ϝűra_>^J3'D'K(FVݭ5M˲v8 +O`3@$TC-zPMT{<%z>+泇v'u<wyaNPg#IcFRIHI:>ɖu, 8Ed^CCiÄ63-բ)+Mof"C:8']vоՙtD#/NޚL !B<΀[/ ^%vskfʌʎqD k5@uH29PYP-:%" طXUo'_S:CFP*J _I?ClFNx)B: X0E) ylZ-M/v 43%T>jf *,}f=is!0^0ݔ _=D;Ob-|hurw-:Y\wjN! TwdO[Oޔu} 7d!1Ǹ9}8$ÁS}Yq:C#/q? j%?0 H* *̗3VɉH1g=v`.]ob9KgVT:#SvU܀ 9iI`B$av΁ۮ3,|xNF&+̌r?ߡ#wN$J=|dc<T~43TWK -)vcݯ*ˁZg?UEN$\L,[ud)CPD*bjn.w19X J+EĢ+`NE`rL|C謾bVK}.u]H ͹b&,|VeX*HIjVQMJx1Ѣ99(y쿢^D󧛐&XQ ٷ2@E]18.ZOVs8h7NCJ B˪*&һ$fz25 . \Y |34+'aYhhr1l4kHF62J@pz(mIS`yy)vYh0kdGIܕшu6㨇DO5uT;6= GZY5mLXuPHLOJETOO$O8i9 @?o .TX"|FgA3r̃++Rrn)іbAS^hT]!S1ULcɪ.ϰG{Fu W!$rc߉|] BkGQI'$Dv,JWdWa5aH/|4a]v|jaw0o[xP+޴h$`z9$q GS 9W WHBpjU-"uNSW::x{cR@#~K0u(4T0UrQJm} Ǡsb' ;d3nssJ tPx=L VK}0t12u,nټz0nuD=IW?#OF\,M9&5b 72p=$2 jhܻȸEJ(2Pl^Y>pSs),+gRlkGNJX=%&ec;䴃J;B]D0*L"tUCclEvڳ݌[I0 ZvM-$m〪X2 vw}rncZZžQku1 /#JQWV"Hn:'me)5_]\LG" _:' }yLdqBŪ c0{mhҜivW)s8+bАD4h1R/$ ^t^J=߲Ӵ/3z,[uH0,m&rRjYujб`ϔ ~( d~g> U9F,]v?h˲4`cUD-ԥLຐjL"ٽkVGm*0վUgܨb@$LtWyud6QNHyu% 0=0r [8&}Ayݑ,]]=@è/fz"(nyڝ.% Yx:4KqP8 Wk)G kwos.ƚICWbF6H,e0f@3tDu7xI4]zp,d͜ [R`12җ鑞, ix]=vKO,VNvyB>$=  *2xpZLл>%Uk;>lp`'lJ2~JjL={AU5.osݗ]_݈{X&!5d5-V[Fs'Kb"KffP"K:aHdHsȴCAXA^°gUxz3a`DWI4a 9\eѣ>eFҁ TďqifLhlii hi@ G^<w D̼K'*!4Pu^B[yT])DX&[L'V@g)s+JpRa/X,EMEBVe#fmp*NԱǼte^:ɴ , Eh+z7}wޜ&2lg~:\^x Ϻ7ح*ۃ#R-@ΥuK!LŜM~ظdHuMbʰGwfz7wD \l?;Y*5Xͳa5m_.n@iCcD.t" B{%IGk%Q6hytO.9Mb!.ntc_R:<7ACRY'#=_M QuqWGߣvYvDD iꔦ)5 >Bؖ5ps0a!mQ.jۆ9Qk%s'܉E슼e`$\z F`: Yw?&:gloQ`Ef` edG#Idhm0^VLGa00nBnEd7.qy RHw-#ַR>G86$)Q 9FS^۫q0s8avX/ű҉RpaD'dRdbq{N,%AjC I?1& `̪o~'H'uC>& F/EAun♱/iU>7 j`7D-#D5nx1aꔍ6 =Nȡ^| mެ+2$Q&~)7cq?:m挦&5\fUH8@Ҧ"v˗lPZx @ d%dxjWK?> =U]&jN?(YK6t33K_8+BJ00' B{a$^b\S>L'ZVyۉxP`ya < _iЉEnjay#A6u踊xm>]]M#d87Yk˽0F/ĖӄQQy 2Pq*XSUޯ~ , f>r<ن5Fhcj=K?S]"YHHQpOE7xߋ4F͆ݺ^0&/oKB\6G(8ω[J7b`T\<Eqgiҧ26Lňň%L(_z_[JN~Ft9OG2&<7;ї2vʕ18Y2P(]1((e`T45P)N-ΫP\=R7Tk=&1C4!HB\'r׵כySxB؁-*FnnHȎ**+` %@!p~3.,6bß׶^)ЀuD_Rs@|3BFeT_+IQG5DY9& dM0:ЮBEĢu:D۹L~s]iˌmҷŀ ZGgDK2%Hlg_O3%Rр/OKR>]NcF$6(7! u)-ZpVbU_u ߶:B5Ũ2t8(2tRT%)C-g'^_,}ȋM *v@(Ps~dmc36A@}iDH|w.ΥO0b-fang!ll 6 L;9qjྴt$|Β/ZDAƖe49T-JXGFzکti횖J8F>$ Sgl@[(cW tUE3qLD'o0>iAnxv.QtƸ_l^vQ}e^ҽ%*aPD % Kݚ+GP-:q%xF9J}T ^.Lh^8Xa T`D4 q5w&=8;Km!.WXKNΰp Bs m,c~3-ߙjs-b7'{3 >N )0*:Gj6v5N#Zxr&3  &q="}zB9{D͇Gmt^v7azpΠ*@q qy /Am ?/yB[+@ CeHh%j-̧'WƯcЉώ5G:)nZ3&A(9.Nh;)Ӊ0cnᐈ`` Hn /\¼\e"}*y׽lq%yJ:۽"GVN1M'^ݥ?N,`0 40ߘp=#1V94]41@ZSl = d#D 5#9êwr"Z$<y+ )ڥNTlѢ-&ϖRwPOʰa.>Z*#ʇ]@6j~OfɬSq\3𫫠K]OPp2]qEN.` 3ZJh@Vk!ٿ3^pڏ\ M(m#`&Hq1tC8 kW6aDgD(4`G؅]dkb v|h[5'6LD_ltɭ&c#W'#] B2(̻f1o`&QI6[Э+iK.;lAIXż;  zoF<7)54A0<&Xֲ=L3 aD sy6iw|ϧX8%ɵ e:@1.\ 4Gr}Jߣ >}B0SBbv4,\` kLi\]tLs hwR`sH7(POqHJd>#i45OIBYya'4Dp ]xÛ0BiKt6r&ɮ}oPO $k?Wʵk >Ll :EHSR)Qme!& 2;HOƸ JOt ޹Y\= I }>;'Br":͔߂ܙpNˤJWuu]Qغ6`FC\XQ+WXp)$7/̦%ܹɽPq\CFGw<©LGL!hj޵癍GK6M\ `2؋)&CTX4 aOo.H|i#hIؠ"k\fYyN7ŵf:zo˛Z %>x.{on_KJ/qN+!KEYZ6%z(zO(b]su⟁7 hcgIҺr=Fv b}U'HfaQ6wwg+OX»W5ur9_iY `WVfw],cސUО@{ 5f=3g}DŽh{gs7`pN,=+GJA1xrjY(Sk6&NouV>yɌ#|u5YN92ݯQ{dnfx|:LNY]*5GzK)ww8.# .˨4TIYχPx(sXTkKDa+zLB9UD.σC# CI{q0س-Ι)oQQ%T<=_4 O l-A$2m\EͼJ} 3KE T;$~+=@ etE˃ 7\Y2?2~za!+ ~2bt4P)n>qݕ f%fw Ոwˡ{l*.ҙ>g =D5 p&ѰO,dW'rOc0XRxum ;g*藌朧2LUTqEKDe Gl4;nN?mVWH!IONJd:WkAN  9Ě~0E렮UJEtJjY6r%F.>BO'<@@'|o,q!Rٿ ~[J{}׽MupPMGnrRDDzKEc\ v1bMoWɡ|#eB_iDgoWfC8Z65nq1g"9o>%eŖ´ ;,ni0pn!-wT'{- mlz}cpnM ݠDmLyGk +g6^NW7t6)5\f!"a,(:5:xjɪaѲ\AIԃ`J>pq/x~-de> w9ɝU53u׈uBkD ?LVLs+ŃGn|1Tڭ7qYtم$ف$(eFFKb6R97̏Xx˾s~y'b.ߛO)e-O9,B a4K)0E4&gq[ =Y9L䒢ZPV{ & :̔$N+ic"c1;YI6)z^$u~"x6v0~#f6SCf9D%c/"F.c@׉/Da@, Dn|-EC`6!-)$@jljEa9P$CC]&:u?_:֊a`lz"\HpӤrrb"#2|XfP&}>F򧇩tB/JYNXNQQ$^4HKP m<"X]8"(nj՗NF=-z+FuYg,pFj&L,G"^{W&>'w/;|)A5K#vME(,m΁(Oy0Q^SSUpXbqzPLZdkG75hlAͶC$|I)E!4b~3Gl. 6͚xqI}4+2a3|ADx"1 udޫ5 ɳMVWQQW^і!q4x%O9JWbהy}h ɌCf$U.?]m'E8_ݨR ,"~dImD7"G=ww;U`b?\A [|dq.'\jbvrCQ psɏ几Yu=gʨR&q7VŰ\B1* v(P&V4otBN^:\JUekmV\>7g\ʇu1E֣LEsJTm-V|Zl1XQհ?CqǙ4 F_2AxrNB(3TSػ '1 ʦˎ1 p̧baG F.q,EŞ 7Kw1J`%$AqE5z*794TɧdK_DԿ!k-XKmF9b@'`MC0jt"Q?/y~a>h&~nF2Uҝ)pbM*3,!qȑMrЦbco7{".1B<9V KK сثe.L0Ȋ}oGg"|,&?GQO(~<b JEx)|&:¿^6}"i}4ۥqiZF~* ܴ]yˁH%L|)l .Y 7y֋B Ǔ  }Ra!1ThF42.2͚!VKmYӠΟTc/"(L[sXݦ5[,,,+U'{8opf-nʸ0+<o" kM9}'gŁ5-ͱ0+ uu]`h4tr5\^QhlaXqp}J`nUa9$JҼ\CC:>^qG9үm6NU;(KCs$w~yyJ}uѢ5}7o~<xTQ9vcz[8:wO-6o=x;@8kAIMoa7 h[ 6إܥqLcckn:)~(y#[bT/G]%`4y#x ۮm(mQ5!Lε,sh9*NNAF× -S)V۶s41@:L_ٝ<lFsiV,A~im(g#򐏞 BElK_^E4d^Ba'_LuT0:*$^4<Ӑ/Cl PYJ¼Z|1*N%@Э})IPC|B`y甔MxF~]Kˆs@C G<|8bHdF\~ Aq-Dˣ/D\ȫQE>44N^U:iU>jLxڳՉtt~Bu@_~yj) cJ8Og)0$/%BȒc1eAzC6[1#+s#PݖRچ@XHk1@PU#[lQ[ByXT(Bw?YYe~is7V奔e*J$F+;\Rh$e̹N~,yTvqft*agj}fu%[GGuIU2hiiR]r"flrЅ ?$N9i_G%_Y=  akO$ZU !:݈rRRsNP>3$> _KיY[2].9'JӴN)l'u }}_Z,%~$TlVI怣tE-茙i+V_5h4*Q.*a$|P^dɺIiR {<)a)֠L偍ϋ\Пh&S1R~N>)!=ϒ he8e;7St((ln$"[޼RF#nԈ(i"5_8HE]4NkKF7DDpZFD3_lWdXnrI|x\ttH)+r=/'3Ul?Y՛H*?ѻU`}tUe KS U8!XzG# ,$||! ۴x$ңIٶEUr ehnh ^͹&o5]1шjLl .xQECO3忴Q~DzYٚwO/' +ZYd aV{J[Krf/ȤcHs!e˚/O&c*f6dQjYL@p‰:5L=X^X']SP6A~I1hvȅn6gg4J$?Җ=.9HLJlZD#X?=䧸I/ z|}t=hB||7-d-C[wNҬE!0F2pP! OgGi {x7& j/pR|WI-,43Ilr&PTV 9\4߸BDI [g(|mR~=Ud΍"3yAܧrebz%{ I)kQp`Wh< om{BÍnHLd8 =%ݻxٱrUN(T4R5sfwK3v9 +->emm;Wp|?&\'z7+a:-$ s=JgF z{O܎@"menGr8h\z 7a|flP1h+0&0FCv33\8l(`3$jiԷ+oudmUB %m~yD jip錓='%`E mGL&F7ds>0p"(e$ua\-B{FYaq~5SU'TV}.I?1NK-s+cdb Zv] [2uKӽ'ӥ}wk>Tڑ c@dDSbYϾF6>b-pB9X[2Z+*z@nqNiPbqUH$RvۆA:JLӃ*wò衙ڽcB= &z/o(PXE:=_S۔L{x>˓M!3<~}Љ4y _6t ZUv(ɫ Kz;~zJT-E&AkES!<2ğz)ugoL/%x`@qN?puϴ/zBC}'J%o4wžY[h<-޾IPiw M,mWWzڧlMQ]%Cuo' gh].ѶsYbY=W.5wژyT-|Lo97Oޅ(:C@5FȤ^fD8p4ګnӍPw1џDĆ@TON``Od3-NZFHb2ٖY;-_)P<](;wR繄n/52Ղ#"t:aBW4vf men]D[ Oz<3fc;0(uv0'w48IsJlzS]z >wV T6| }膴&VѾ sdy M"`r:AL&ˢ}]zݻ2KjZgAf}hfytÅɯM]-} 3Źk_!;Nv ዩF^_ YQDz{mkfNϯAEz/̀3-wt`P %fKŃNO %gc~ rk65X>~'v,U`P0zkZm*u0edb"M@)7)X$4HjƦJDڹAkHp+PnaҤ9ĚY8wT6 ɉj @0pn(*{zL2( axaS42Lw?o}k$)wjU1X5Bh`sezvq m|JS4Ѓ>iEִ3\b%&;-!OgM)0'Ldk($K ^G fo'Ѵ'{/T+UJ d)J8>|"I&9`d}%]tZehl)r#jϙa?5ݺSC&w6T`nqAH9)2 DRvU[m#ߡ#{pp96MлC>`kBtՅ d(ZU_Ė{#(:g#+Ƒ@QӻKWHj`sJ&jǂ4h,gSn|ٟ3TӺL{!V.[U,,iPs-Mձj 8IDQX.258{{2B1j2hbyE.r$G%K8)҆тatnjr]qcmɗ!#q4 vK{J,JHi!ܐq Vd-&W^ZHSͣTs'T{1]%^Bzҙ9clL8F"bɽj Xd\F]xBA)\НZS%׊po-cr F!ّk?ð;ջFy !/Yۺq>2kIC邽`AF\[< dRJQuy7KI 3+Z[*#_ y)+%#φxtvYH=3ڝ)0<0 ~Teú,4Ĵ|*VB7?ՓnRc% ; ;&$i_$g<{k'GSsƦ!K~"Vtϐ;Ľ3-#?Y,a;@4SvhN?Jy3yp.w詑mk(4r'(F0zQ|P)hz'X"tIzM/ >J;=$cK>8jo8Y0d|c#W =OJͺP.aUs@2vcz᥄: ^CJ ٽ%tڙ0+{[ f"jvlа~=D9w2g5{ 78,tD-.F [9ap dн5=OW|DgeڧCcX"tBtDǖ簥 ^Zq2cBn/(Z9[Li/wӑmh.e9[LOU&^9';-?قi& sz&|ڨ &]euqԵFg$̭X$•q)O1V, 9:rJg^/C2).*3|O,7gNHG.BZɟ[ĿlI7<'X[WB*۪O&xZ18e#gDoSM /6FDX}lj+MGD-@^\:uA73+/~ʨR5@O;Ղo*4ߨ_6v멛!эXʮ/'۵O.8 { ݉ \YgSOG{V:[UQ5۳)11pmO52md9J?eգtxR J퓡1nνwY v|ǏևfB9S' @F`zu~$F4Dg=\F8+)ѿnf[YƢns_6Ql|nޑ˘k[CoLC1p>Tr-u^IEBNӂhDdпJG #Dtt?y47s3+-pyӪ uqL`EoiAp' .3Nj6TS{ZRVpסTy-{C' V7_ʶ,O;մH~#sm&;}2%! ;UZM6YTLnBVh/ehӹ!omiM;~E՗_b QR>мr]L:ϋ1$Mȯ\mZ/t0$?+1.B̵)q \Q0F&5P뉔P]WP*n=6*.,`PRjgն!wWcȀ sx6Ae/)8gwa[ݘ;培 Р/h#P]G0#>T672!3=ogD:Fl K EQ>`ؼ}YiYl,#]qK缞,>[5:xzvqySKn0^X ea ; 4dCfi19rq*O@zG=iVDZk3e"Bب]}#aj^%b*~f<ŏɠ#ځx]{ z]H_)qȒy${lLWSAo`I .)S_ i,0dbhM(A]6}ysG9(筫/pw6ښzQ3B<Br)C:W>}wc }m#k(6=k"Ƅʷ` ?&Ɲ"Zfk=Ŕ33܃NF&d<5 3hOq1-x„1ސfK~BV8!%BR{Gxpjv:KFLv~Eӆ \ PZoFU=76 a-‘ 3YE&)Ӎ I9%Wn=5$\~OL%.w3̵if#X *Z4Tc+6ƘߺHJmH=H_`t*nD] c}iN~nmTGGNd~W;-7|[I[r^[oI 7J`>7_ڬ[}ksxD:6T?*Ơ6Z}}K<럄 #؟G7I 魿+6 D@?7!# K6^6"dX?<ֻQŹ5S6oo|("ebG|u7?lyͽk^~\"j]a$ .g? x!PSYrRݓyFg*Tr ?-bJ JkpU0k:WO_@*J.cD!?Xj42urB=&!_EmPa1}%W(İ]{rzInc{u/wqOl{wo(Xʀ> igG4p;B_1V?jg+bl2~ޫ q\'2;zc~d'+.VUo\gs/#d6O%3BN|8~FbyY1U?got,+b@F!^|sd+N4a_{>}{%Ε@ I?J>=.1E OR 䲦iu083mK ik(yUV%Z8z,VkQm'f D꣝ C];Wjn#Ow0[SkVXWAΞ%K)J0r=> &}/n13>OtA [H"M9;d~}Ԃ&rwSwVRy] OJGxϞa8*ܲAc27VzRAsĆqމ %Z4*6e!T3KjQqdb3!)"4-쒬匣7:S"^nɘkkP`^#m@ѧ TԀ|$u3rNƮ_q ;(Аjelhu!,K@x T . Τ~ (L^hTΐ/t>2!V#~-9Q!Gqzxf0Y9dYZi m*(8 y o*m^A*N/ltm{0M]7=o%98Nse?B}Ћa;v ;XHw$N0Sf+1:sb ŌSȮjrZfn`tс?=tۀ O(uVXsb"| Ni)KIؙ ^o3?-$_:mbϏm6-nȞ0HIAn?&gh,\n(qaJ,u@" ό,U2RPlE/!'BDP TGy*U,aa`-B0h-9D}ST0%08V|Ui&ilX#b5 VklR2EZv2@4(3"uaƁʧ2oLL4_[CcyC<2_j㊜>RB%T6HSQ.C`. e&T| $tVo1+0mb)9"w.n:~3i5JP  Y(Mww&ӂgXyANrfNyEOVp|PpT>v vh8%5LOWj "V!}%CpRS;d@b ]ν3vhT&8L]r&7 kvEzwhRqjϭEq LsC$idDBfn{lڟF.q^fRsUKE-]N.<_R`C3EtA`"g\sl&Z+Is:2-pvnx%Ct3kKW^$p#J5Ϯ0')&SbB4v@:b ʉ߁ Ίܛ"8%nNKa'G1 'q""W\ݔw파SLUJ5qee?uF#׺NA7'+/!/]]=B෬X0yU7QEh%=5藏!_)ߪ?)(G7缜C(:]4B#>d+F)--}UQ6 vp߹z?MSF n/  bN$u}pad/,r$?TKC!:UeO TY F`oVZp[l{"K@IuBW\~ .*H*.~W y$ZgzPm-d6А$,.)}2\rrp1AL[|E%pMrE(%ʾ$Bbₓ SB[MPӳRM:G*J2Xşx^F8`PRFn.ϝ9mxŲe9OC[ (qFa[X3'fTIByDg89ѷ !"c ?>>B==tGB mY7?̑9|^kJBY!9eMІex:KL w˸s/HR)>W=RXHĒ(MMF~+٭B܅F[I6+摎0np"-D3(W*RֽaR mM-U}9d$eBL9M#YGѡ\ &.fFow/W(&ѮEAOfU7[d<=1R7S0VgIm Kbj9U֬v&`E譤B]΄1؂-P8tnY2f7Ffd*UzKOy*Cfwh<^z|_IlBYMoȽvJ{#_OӠ0iVnKþ:ݓ*,%Mq ,}h(`5èQFe}0ⷞ]1&$OdR;Z@ǜc\A%D:{Mnp}p#.`/Z77j֪ƷVǠw2M&jfQ[)& h<)/Da>~V_9݇y>_ۓqTID'=:z2Al07k*{IV==~ TنUJL^3񼿍99jbiamym-r74 QHKTxXKE/xxnU+ ZSh>.˷@>ag[\=,dP\ܳj$_;j{JR910HֺؗM N-xx 8{dqe-QmK oP1,? 8XPm[qb֝'9jSx]4#KgHm-s!9HutV^Tfl)o3i`en+M\At2y=āKzK^p``Jwe'瑁Q})F,ΐ]_P_nq ߡ%AYBr50ߞBuTs!u+ܧFFa5LsV~38b'pi= 92&Ju@t!!|^"0cgH|ts[:n^L~>X((q`7÷)6=R^E< lx*#WįD]ݳz0 }]+o)񥷖mcv*12.s VXXtOC/ A7~ޛ~c3rm:9IpB=.2P]X,lj ٢p ~>{u IS~Ch-?/Du/m ۰h`<Xs=>TZãI:cb1@nxgha'*lcmU0qd+}9^e*9xRú0#@ ᩦaDCM7 xO3XG,Bhܜ1־u+aN\'RZAo#H:.^޽\쥳)UqLbMʏ6RJ (-(8gFU0u^ )0ˈ92dGIUŶ}A\)`\' [?g>V Yo!%'*(nz\3 M _Sy0hA Wbsl:GZΙ&) IU<-2=O +0`%RI#ܫ.VIXKd,FoRReѮ#d-eѹyGm]eh-BdޤyLT|6Jv'+Id:^!YvvPke~Ǐbqs, 4WP̩̫]Z]yXV!8 'IݗV@N J뚵N.m37]BN'vkZ/CHSm3g16+]U;1v%ҵFY"/^١w.y ( /28}utE00M;f!6%<6dT/=&4%b̈́ @wpI;Z[? `oԚ2$~\xtZEEKݙRǛW^;.Ep`]e}BaҰTՊpsKfξwK%2A-wcEB@ c'ܔhvU,近 ٭hm0Hzb *˰> ,/Ŕ2!R~g#~;sҍ5U\5m.\ u!W&Cp4ɒ EdW6jݸ1/B4 ׹d9 QKMyUm'@ IN _`tE=KUkisՄMQ!yDE{̙Mnk rM#2:l@ڹ0^%ofm!($> ,RN$E(6>J>sga|gS{ έW;냼g}dE/1yKQ2U+Iڭ/ ԴIIDu[Jk:Ǚ5Q+lauH4;}C4&>xOF"SQ+ED:c:O+Zl:D[f` !ڄrEtkrwa@@-1S?lF>/8-ME&+/if%(wʠjI Y)MѾЌ:Ic6P?jQ2D@QR&5`Ll4w T$)!ח7uz޴6?xs9k'\jr8] ӆq035iC㬫b$_v)͊u[Pza[hos`4ΞZ装UIF&,ܩGm<bHf 61Jߚ?ca,N95{K8 @xwMJ =(T#np {űfӫm#"~V%0ϡr۳7U-QP uu]BonA/uKg$6`%;5b e^ 1 CܓjTP@6p%99&Od?'H" ڔMkmy"2&)hZpU[A'WbsbHxYvzN͜sO]ȧiӽ%bP| SgNevMܰn3I<sh;c8l",/ ٢xO2Et ,TL0" 䗵}=b҈hmpv,Q7~o?6Zaw_2M^_2u$\=K}gW,O&DRgtdmϠihnw P`jQtK<2$i"??cslhR2Oׁ&zCz7e}MLmfo+D:C+5xsNuIJ'ڣ=6*S^8TH+,Rސ-״eʄ8KOTz''4ψn-}7YzKp)>0Rc{Zw~U#D)j׀?ޕ4>}.SUqIesiH¦brCs": V͖g>lZraKf au pڅ}ȝhrS "U(.; r-M;cА{d嬜,hH9华/-wxM?dF]P_wfLAK ti .Dm|e/Wʵ  ā1RR58l羇2c }H?E R:KaK UWyo ;ьul nT ߍT6n)ކEU>e}ԅŒ-y'<<5N@⨹ ٸgX8ϛ@x /ieZ`(`M`AOtpI2Rk*iV# >Yמ/dEաIOeʐ݈ qrNq֓́`X1g<}nK!գ/P0&6b 6i7,)fms}% ^;#Ǜ5M'wH§_tr*=2HzUTuxgei* .=[7P:p4&KdotB$eWKc1/^:ŀE-Sze¯Q>eۢ&Cov:с0ʩ1m9u gtu)Mj\M{w\sk-V'bY /KSՋ3ώ6~chNHPϟ=϶FMfHJ)Хq I 3p**db!rFP6cTb1}*slKEؼA`vGP3֋TfIl^͗D΅R_G` H*BxH@VĩIctYBjDނxAz̀C٦wtC_*Z/-L]rZU:؄w=FPcXyy&/A'k%B:E ?M R2jԭn`{7L)|T1{/uT!sW$~2#NEGCMd6;E[U >`@%v6X $6emCoJ*7]u3AHq< VCbO/bL$Iu#8s>SALR, H6d:¥Vvrۈ\[~L2 jIeH-8}")1h^7-'I5ߵʯyb`kڭ"?ޖϚF\ F EnI5\k F\ZV)Ib: T us5i Hl;H̔$Z-l.Olj-L qΥs~ςC-;B(B:+m7;nMkWwt=Q՛]$Er9]+JWpHog_&tRJ#44M轧<+ϞQ'w$ vlS:iXE_1^#'frR$>g+@\vlo LvUifzhn# i\8,I?zB̸s_`czie{l%+a 4.-㒺T`"Y9‹OYٴ%o' KwnAzԆ<&DمZPw⪎Y }[*"O u%ڂg0]z.1oL-|DFBꏐkZ23Q1pݬxŌ#k[՗4#+=̷w(EU5%qǂM ARjsGky#@^ '*gMj˳-̴IΫiRNFY̒29m|7*Ni*<Gˁ|rwK4@fHFԬV8}BoEgL;;E"}Kzխd-QIjĄڃ+gjSIuM^DFw<^^6ij5VyvÙCQ_@.vƔ@.^%i͊Hl*v(TN@tvX.!@Tߌe4Lq1B^ % ߏћNs hCQ_Y,8 epuۛiw 9X"8w(iJ޶^֫j[ğ~:7zA.ChŬdi>Pb^"&O&bY/*q`[wZcIl$;/j4c^UqA,<`-Dͥ&ƽ 7{%M *.W8\{YdD]ty&a{߼+T> Rc6*Z\({wHS6Lb>zPB-5֠ڏB<~{4u~YW ES 7@u5;by&:Z]xPˏkZh\DS\fi<7F_u_otا041av 9H`m=d/x5t(c#6~I}DdW Y\7$R$Ѳ:\@4$ [Y}z(Ӡs{Q[27OU Qxy1hUz54~̖T\F=b=OҬDX#x-/zYv]c2&N+*|/2k&C@NKHJ"VuM~v- '4hcS P92*"ISNbU󬖎wvOU\te69"L҄,#8"DJ03e\/,楔t(/ k: dPY)ݫ)v4W>x־UE<)kTߦHi"P xy}&FY$f7G o6 Eb[(1_7ٟ(:ob`)Jޱ~xPuev`\nU3fMèvx4n߆~PѨ7@B;-ᯰvp޾N0@TJgDۡ(oX28~s.qA-jsc6xC@۠/i,ܚfY!aC`KkN+nD0V_~h{dD͜_MIԑYc*ZɌ15wZmFzz*cN>Uȧ%#st2ӧ C*" :YidQ/#h[R#~=ʚd╁2ՉPw|zn/ggYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Ҳj@:t,skTrpBT:NGd&ʷ|g:sTsdh9tt~{Ε `P JIݤ:AP=Z줭jZMLHcu7Y5wH{q}K[gY {*U,۱DuLu'CoH_͜˼\g-&SFYfZ!3\Gbr|y2Qt/$M7ͿK=EVOK geC| ϳW!ʆY5  DbgYZ7zXZִF! ^S]ŗXi%L!l/{ka]ҴFOZ`vQRadFN."W "S TBVv"j>`=@K-nݎPAx1iMTS2PW❉7qh8o Z#* Gޑ <-|l q,Vw"|$E3Dk>:&wI (**_eG3Æ욣 R:7Gȑ0=C rq`a]Qv83 vFXL5op2E1$hPxB Wqfz v&:`C.lQ T7I`fӋ%zt `^j Lz|yϩd;M'l)&Zcq& P)ŌQuta!DN\9 "`k~hݿei͑bu~xS ֨]$&zOlNIPWk#~[k,ShnB G/2[yucpM_%6j0Z/UH%c jca6YNF&2  "-P_Hm#z%[޻jSoD\(Ѫ8o_v߯hk] _~ﱈA_c?DNBl%;q`+"+@y7h[n2:aY娚p;$\0 ߹ÉzFP.+1ө _=9h&"<e+Kpv {"CJAA:_Bkyz;Wevqy+#0h ʞx}C}YUZ{cc ӱFLп$bvÔ&+X ;i4K@;7ڑG7-bKsFFQ+6H$^ gcK4ۻ%չ1b"Sݓ_5=ҔG\'RPNhS3$agMƬX;.L\D}0x\t:~ e:3}eubb55h+.N!MAJ-=~)buY!gYBǵ V̷2ZO[̫ᦽB :~J?mF ?jG˅`+jkd$yq[7Zlntu /V@+l~VCôjrʹM#R/yBR&+TnЫk[EvRv}6f4ⰩVnOGOdJOvIX49o2053Iq]@g/taV%ت/ta0>+Κt3'.KD́xh[Ơ41a!Mjrvz H5>؞B;F4 ,r:ͭ=ӑ;a9ux+v{Ëv>yE5\d q Ezݜ9=2q1R&'TKJc NrŹ=vbJL/CGkm-8l2Cz зo|?a.{W~I^SnثD|WÈy{kfX6sJ̇ݶz; 9>x]zgP6uJ/XC)7я+"Tf-+bs=hv3znחDu-Vk}bb>sDW oJyRG[,vJj|-QPKC;Ktb`^LOÏlݤ14<=CԌaKD2Z,P6BGnƂ69! Ŝ~oU?,8yCx N=wybu;մ4=-(,kkUlB+7;uO[ɒI7)F-Z:9t(d[,x=h4D :L: W>WF*Al)KRosKZ€'#'OOI10y~]_ YCoH7n˿ձ]5ރÈ#*0(O9zT^B Є6ݫQsM ^A ℄5i{bagj8n™xP^cOV2_tHs "Սn]/(i+Vz&k*ȌVE+r"sE_Ҋ6EJr"|ah~-GvR5یoR QhiTo;836 /{zMnP ~KsCY`|~+>l %D᠃1v2?Pv7r5Ie!\EZnY}^дD|l39>//OO|&@:P7Ld .']Ag@I-d/(m׊(6:gYZ7e29d8902f7c9db87d80825aa5fe6f91b11157f38215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d