SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   4%\dD ]/]HOL-Analysis:threads=6elapsed=311.668cpu=1476.296gc=67.712factor=4.747zXZִF! uL]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB 'omB͏ B\9! }|UbGX驟$;m#폆53z 4UsnT[yK}:&(wwā};Lnj*5ycx+HJ\բDÕ6#rFEPlz`Z輡_l򋀏2/FϪt+fY֒0rtNn{xF;U&K((:AZs\msןcTv]~*F̛&`i"-IQ$3tN$A|Gs#k1E>hG) 8@ C6F)ux (BٌVn_VhZ˽aXZVdI]kݣ( _ c)RhPړh/Jp: &;OJ"ǣUm>(I"\ R.r@`ل#.?b(sq*xBCԂ=9R2C"W| Fϑa%EAt7uW$n 1aW*aAx'T {/u ;rgNN$3+yuZKQ|Mk:[8\e )-ཾWذ z%[vtLqu(A|eSh~-n_ysZ[0*v3nk}-F }d5RNK#$.5?H3jCDZD:bt]ZJBmeI*Uȫ^?N- n ="`#t 1h4hʻxlcocKǐ<{S~ % HOL-Analysis  uuDu).7FB1:s!ҍ jV~3u_j(%NI6ÂsSq].kdI;WډP ]KK_/ʆ6DvX{IW:{#r]:]BW*Y{bΖNUwma PL';bg^O 7r77@ߨLLy -gU{uSv %x`h |\C=cKl +򹍰BG}'ʯ:/!S6av;.3 v$w痙X{[۴ l֡f]fL#X]A `{ +g,_{Tg;UhPx ({ɕ^K͎N}AXM겭 T04\iC~Ut2Ǎog( H5ș 1XKD8;ʴ#-SV.>z֕ 3Gp}Z*\R^xE뢶NQr04"gr3Dc R^Z)!b?Qb4ˮbP ~ /27v>=B+d,??3Ƌ9D=> RNtW^ ǐqhѝȘ4b< ك2 `/!^2V{CqvSkEЄ @M_{}QJyi^=_K[=2pm:qVIp-R[~>Ό{X{lOi7  mm֓u_w=kT?_v=zT>YwK:-jzojC'Ssh!D ,eKј׺'Шқ^R #M$Ħ,JlA$nS_ɨwM9C/B54S.{S&Ɠ}ź"R,h-{OMY$%%Pp/_e݄'8Nr0MJyIWQ+Ж===xW*Ph7m?W e6R&R]J| K:  @-w7XSɫd}t*"dtlwYccF,,\L0֓/s@Z# \Y^=~INs2wo;ߘT#h:y=\73#BRTI|U;^[J%U'VZ]< <]!}m׵ܵ/kX>}Hf 0sͶGX:N*-1}Ϧz&z]_ \?n> }^9ֹKs1APKC{_!'2.h@}ğC)dKdr< 3[vQ'eQ!PinmAn }@a}-'%56#{L* Amg1V0C6RZ1I3L3;^x `[I%qA@:L&;hkw~{͔N"䁱j}k=ڟ\h`'W72[i۔b/yR7tT4ArE|Hٙ!5 !̣UA"8>kMoTvz␆kM"m|ld Q74&^. 0 {,栥q.?N2'Ǯ}je actO*e֡Χ4.i.r-RBlca<˜Gxkkem6-ra"ʕ8A{XH[6`[CXd@GHF X GnePOdzS<}[rLC&z&+\{&]mtxF%u(-BPܮ'E$@%~glR̯/@F#nD][zšX-lb\x;xG33F+d:[vk]5*sn;%/BPsͰmd*x/Àh'/W?[Ɣ_#EH*xu댕ܱWІ: v_1o W1S*}sDLq\SH++v/-`#L[4&wگd(bFZar՘)>n)Ac삝iwe#4/Xe[GuwXt>8ރԀdX3ަ6l)KAFQ)p)>Pf$w$? OSǿ9vW$sge%1?¾c} |P|'ǥ3T>zQVNOd!*1u^~zN yB6huQmHvW|.w` w5!H*s+P(B~!O[YA#"w @B-[$Z.8}ގĤRk`Gt՘v fWuڀ˜zo6GY>~'DmגN]7`Z$TU'5#._|m2O㪆4MbYU+k@HځAOV^YKŰ9Z4o|EU^O,  ~Ӽ >|JDJu]9Q\6LRR} 7 P&!Du(߼Vn%ݮNic4<=ё4MN{QL!~c7Qwv$D9"DtVMxca4 +邔s/< m< fꋯMwWe'$3xd9|.H|;ո9JEV*A`J e߫*޶ V8$Z͠M #Ȍk3uERM圸B̖$0|Ϫ1z6~bv8O1tmߚR+ Yݙk0R j70ލba{nA|< fdƸ<_v ̎?> qoI{"9[)d(M^YgJJb텫p fQ|g}:0daJMG@%y}GۢLm(hը_ {j&_uO7 nOu ۧ'kHt /jiPJ,I} `XFrFH]Yj9͓v9۩Kzpj 6RV֡1vJ-xcxwR8j4PNzɫU4 G)QzuL~5_ay)L?P0R(E;z`"Z7)ͺzh{zqDW-ĜΒ>{8&Njʱ߈ތd,BTV] QKTUPv̔B. E1 e( ~ NocZy%ֿՃz2I+lte2$\ 1klp c'Lk%FEml(/#aㆻUAKbq;a\p{xj$o)I=g:Yx{U߱]HVFZn`_ـq&}TNcibkR]0Aц ,ޏ}쵡,^,@KA*z_Ly\Ka٦15+\}󳳧ݺ9[Lr\{=N:. aOWY҇ 2X$SN0.'1h!Sfhotäǭn(c_Ţ-rEX9~ i/Eg"U)a$ <+Ʈ.j֭ gg`y-VWq upUy^"LKlp aҤ$Ю@f7ro@% p\sDF]/c˶ٜ| RT^<<ɜ Si #شusqivyIm@E_CF ໗t/+xUMʺ. ]\,ߏʡr*uL=R`(׉0Xw H#5v`ma7񫡅d[ cc/ZX9Fu۩ |}0T`t}ھ"5 D :=*Q֜1 ǝE@UFY`* νaj?kɲ?VKTQ}9 ~}9%B;A[jL‹=O+6)ʲ'JiFoiTaR\qtAD<0"2#,vh?P2esc~niz{t ŰF>%gi`pT52-M+hm 7)d4߇~7KTR;e4NҙVNYH|BryZX9NeF[d͍túX6^ _iL|1R!l)KB[m3 ޵Z gz \w_K^LF굞WY}WMS ‘ld-+O.ýKUJB9zcYB"yrXYu`Bj4 ks?jS1E+~ljc4d 'I|W<::%DÉDy@c_HȆ !Th3v*q upF.6%8cʁÑ*W,t[A]VSs4c)m@USbycm'T$MBizKb{M5Hi.굞L;8oVx5ʋh jDL_!u}PTG2r'g_lKջSY\DgFh&(g\G "K^0z:@BC> 0ԯ/Xdl$(Gưj%sK'un원ֈP~^2O鍆 /X}s4ff"K8>Jr` 29Aݫ*06.t븫P@Mf|KR;(HUcr!cYsНFpKe!v.xA|/_`WwKB7UrS4Dkq 쿲w lQ̅ &Ћ &+?p,A,5ϯ`'g 0wA՚?6MRaM'G,!B9d$s?+uH* Sc-":4λEṔ Y0$Õ0AarL՚)7MS~'ݎ زЧzw ]wn1їcj|9]w愯2<@`W֋l )(wn5/:{nmtj1O3b&A=p%y5lSߩh*3NL)6E_}*9}f^B) )腢}[ xֻC˹i@ \ZO'ĕK#?J.} !贞582j1TW `5S]ҲEFėX-ֺuv5oV~w V X21[X8g:`LV579>}tH.1AX:Ng!Of!A_|g:,3n$:ox='u'7<^v3"=9UIܩ|Z`3qS@SѲJNDzh?jI%^Z, t->+;S_3)W^%8(#듡-Ț\ Ź[KҮd] d0A{Pc8dr3g6<{gz e^+b?C}t;bA'l!Y1(kU*nN樓//5rf4v(488'}Rbh"To̴2ֻ3@+c)횛qوqmBD&ԯFy֞CZB_a/5/¾`Yk2bwS|nf6 ?2wŔSwe^Np8BL1 c3wJ<=Ml}ep7 %"*mC @wxn{oB>;N7> 7ͺtWA$wUT䎉shWpQ.nIK rCۥ6v`0J6$q'az'K0kN[w=]xp=̧4 C9uR'n^׽tp@ӯ@ 4"|.>^3mMQN3B { i ; w0y[Qƅ9YiUy;b ^'@MV}wPd:3.ޜYGĢ]& &P2Ud܅(SN3+)aq"Pib$f<qA9bքE  \bLAV|bIPZ_´UB:A9T6qm-ȓl]VoKaǓ&Ԗ ~7 +Swk&EbΆD$ (Gcѫ~!&kC;Zd=iH^mQw^Hqޟ @I.8üeYzf25x H>YBG^{k2cJp sEa7G8(ydm]93Z M79l(ʼ~Xboɐ~[b:+]t0_i_E4.DF@ew`Ng\)c^Z3EIes)*Dnv6Z3DG$Nd{\ʴ0#Džl0OYS gK?')B/x;/Of-5V̅Pޡd ;@E T}j#U-{B 8ԌJzyY-x\G5 -r0TtۢAnVṿZ>F-cW uQl7|i CpXSOUt.viױ55 &M%|+q6YYMz78'ǹ'[6Mc;qzZYFgt//lvQ;J%db%6~BQSNݤJM<1c(L&:ln6?}+018LtKhvUbF`4 潽ҭ?iJItWQLN@)6Ľn)X.?(cыW.ڝlB#ŐCJL,V7Z済Tg}8mյ.ۃZ/#5\H\/?6.b 'hR%iyl1=>S,;lZWdp>?^/ʧ4kX%:PIJ9l! ;/.H a#}Wk%VraN~,!2G"ys‘~6 g>8' Xe֓S`9[EhIuZvLYt4&v` M'!vѥ Lo[Xt r$^bR| \<#; AA 0Sd S}T5:i̓Rb-s?<^0OF|4(E8ƥoLWL \˘2@F<3zIYot˃aNXwI 9IucS>MgJ 1vNi,t=~yީkd|g&B>B+Հvm!$r4M:eﮊH,v.'A 6al'-n!ٍ'p0+ZK9Lx :`nHA=k\T{|(^}.-Bf'Wc-M@Pbɴ7s{෷7$hR"bV1k'Yxï{1qaEwh=TOLcEI†Muԛ|X)iOu|Zgixacu!0,$D֔4GK5NإEi 3kd*ueLoY w)O{KDI'cW$@un#sM̷oKr(@Ch`ڨXPDfn' :,ݾy|9 ώ__AF}Pe4 W#mUR9=6[Etw#LP_L\<(>"W`frϰ$=Fo ˏm`mnWfE_h螃]t8Mdϥ R=:^GVN907SŒ{$ɏ޽zM8X,:0CL:X-jwL/scamlU1qzm!PII\t\4]* fbg׃Պy UN^sUhmUgbקx_ |tsbE5i?5qnڵƯtU~a=KuL$"yܳUևk+F) 1H<42XVxEhpe\99Ze)nr5G#^SV2A^!-\Id4dW"|X+"Mu"6,-YٻĚ串شK6hKS걘ZFBu.\t;Ж{qc`/qu!؂k&GzLp4nN`4+F^n]s~cb}"U]яtf%:LCa{WU!@2 Wڤց_Hw˧_DhN̚МǟqHR޼oH\%b541 |7bXq̶`*+itKF"Ӕ-*{suvv1uО$!  %f0$ۮ5ʀ]ݓ-( /8ynU#oGLa$y^$91*t|x~^sQ4_*>1x #jD Ñr(eNqL%1 ~_4?h!g!#'͹uw2K+F 9U+vĂ;u@Ba8)1rYYE%,>b:f?гq!j!{*@t]~U؁xBsbgH#c)G4Vp уUE4*jwC @@˱IV -T*}[~Lvln;afpԴ7KagRAB"`:^kd}ԏ8^q菱+ol)D~cC]S<_w=ةvȢDX8gkץd;c22, cuh|ui?/7N}*5f8fdUDK3bw%۠j !1 cwQa|?\$J8lkfȿ_<ך;}5_/tNBO:cDSiaIRKp϶#f0G k22fHUG[؞;# 6+8 WMd,lБs-)=<%2 Bɫ=!2PiQ)4@}YL1,ik;{^G!mVOw堚*i#Ң~*"F | b&/24[qseyOGLb-bM ROkhW^_|wPxXd` J9+^7I >6, <[/}D=TB{8fAWЫ,4qnOu\FLM"ın:jPQ~ׄP Dō~+6=K:Cʓ/Q47Z&f~Mr5tNv?P\Qaԏ| }axRUJow+Nө\c?-͋N*pp uaIUV=c.3:4A<.w瀨 {]&j ԟZT0딷EX/jQ@|=v$.r֒ⱭgAO"ǬzRDͅ&dao! 6N/8{ үFmI0|K_=֭驇4If>D>:q?ᰪl~xw+s"J] ]WY9ͩP.nt'=zP4J^B?iUINnk?| t1"bYv2I6&_)}YaW&ELM65[>I.֦q שD!8|O#TX\=j !".?G$|¼ of_ ,1L*R<2W%O7f,! ŒF?6‹t'OLsġ.a҃Ia5(vr pN|(BbW8 ҸkXFo=tX&ԜNTnXRT]rOgY2Q?ݎp5H^çOgr59Zm~Xȯ.iD1V RJRc>GErJYv]L8$yxW|mҟ2}^})vGJQgH̔{|1d>D@ȝ 1Pʬu`\,4J=4 ysMq=P]{ܸ$bSؖlEjmڍ6<%EuW?vI{kĬԢd<3$5Ƙ (Ej@/&1=H7ڤ˽/>XS3xؕo m [`9JW{g~ib  ;kD |ˀcfȀ})r ɫIl)&bէ315c&aqC<<6f3іD=Ԙmz~@4ٵd:0CD=ދy=&GŞ)$SoϡdjGFWMQE@*=SS(L͋sj]Q`pG$?@ Qa87ׁ9 q/-q[ Nl(Z\8]i4Kޠ1BnYFR>U<%`qa4j }7X<%rI.3q@ٴz8Dtw05Oqxn}c 9 ]Y6^ 4&6Oj+α.eIZqͽ_Mk|z>ѻ˜P̏4ʿ}:i=$WFDgxxL#bB#l,d6&I$&iY~ŠG1X| ÙY.gYZ7zXZִF! "X*]ŗXiɟ1˦r!cHkMeBd4#zw&.oM#U*R8sRد?6(?5ThlP}njM/@5_Ӹ?%!0^H[=^4Ydэ *6vHH4  0&”6Gf:-tdƐI./z (1p0jKn_, v/xpTsNno5E]]=L|.۞wS?h lUL?}J Y?J(Jzs? HQz @Fg,5"t`U` F27-eBVUsVk^+V߆eUa4{sUFb3OZ2:x +i;qU(I`S4WT KZilL%coc}Dzljk%wgZZ.h)%qίf:E.[J\=b[ {yu#."ȃh#ycH:wre_!Zl |MߪCݛD4DEK!2da|\_B3U`+sX=8*c ^b~ݾҐImuOS1QqQWz 0EtCNk$*0lӎ~ R; _-w ɲorEER&{HP#0%^uˬQj:~&% <5ߎ?K^#OɐMzq%1x$r1D14}) 2%,/6ɳtm:եIJII_}JZ`RaIw˾M3K?>P7#y'pHA7H1]å<7GERCS 0Ԕ!TM2R2T3?wrf1Dե";<gWUV;2f =Sm*{92m+ ͗h& E[W&@ hu"1E݈*?"ȏjWFBӵhU {%p_r' MGYCIא1IOdu^ 5 (N,8ϥgУ?RNOX 2/.U{`2Ѥ #`*~2>3] ᤀyn``+9?/%ARt,p0e㬉5GU> ZI[ E݄uzr9)p#Z}lJ?PSng5\܋6%f]6VfMkRvqI&Hgz\^2ȵ@fnpT>T}zb-fЊTx;X^!% D,iu}`hܿ.ſMZzOs@@ nqq !lV26ۻڜc8lrNq\.坧֕4E/.ʞv2,F&M\qiőP3Q|LV\JF#(VO'gyS|j;ܥorePw9"܉YEFp IՔ0>ƷoM? vkh`̶MLTnV-aoVQ"jq0V!kqf@t͈Sڅuy蟞y 'ݠHprM國Լġ!X>:VUAYB5~{ ^#|RR[r'93CKEJ gKbh< D9#˿}lz>6]WVzb>5mɩd\siZr6)s[vYⳲY 5{tĐ+D鰶N'5듾HTŮXlb;xR;Wk":zl0<fo^e0u?QT ?=o?Zфd%gw|NsX񳤰b-`luڏx:0txx 7|Ěh~7Ca4$ mKI89=\SPg/ ߄^9.^&z惏M7lqȡO>)ijɉjOŤ{iܟ''S9C,/}IRz *U5A sQ)?@^.}ТL|v_b?˘tCm wdJgNL'w wKY?Ao ⏡)[u<ݱY\ǴQq"xYo Wvb̮˕red1iryWB6@̕zl 1o'WWpe4^#Dmj6kJ>_^.L^,Jj ]S3@o2/o* dY[ĉ5>W1lT5CWVcSϙw#,N0طWt(3 {pN3O)~  z`L$ΚYM0^X"lC b&.< .ҴF^g‘Q%1mC8 m9fn| a[Ĭh9E [$^{x27ǧAXIE|[Gk i8wG3R]"vD=MݲzK,|"Pb ţraFjžk|Еxut&'CZ<]"t/rQ[}0APRּwjp^"!VanlMG |r룠ח]`UTY $v{I :yX+g{$# VhΊRQC aS`jaƮ`%ksa]ΰK/0Y NO&\ܥ H3#(mdqodގ`tr⯷wݺzReJL~ [(Ջ3K8' ܇#FO[tQ(i .i"eؾN HfShdV.!GAfwãI·fKK@3-޷X%'6P?ݭ:4u ɥ% lc7g%'?2P1Hnr7,Kw9ͭ5 -Hr(xiA-,)5n>ak(\~ RWҁNh[#EAjt L(2%m&r,74b.~=j*:nz`[k4(Ol S/f`DE+);'Q<rȐD==,Jy_ehXϴka<ɭ<+QUsɢ4-;"JxH{U T6|v +>8 pZF0xXt)K> UЖ z!;<0r3'vR,mR|wQ+Sr4Ȑ ȿ3 +m)JL ao ?ӼvMW#V,ڡ0|@\YL Pd3g'p)XzbѪZj*tE 2mKmw8:-[@Љs&t-JAOnƘDg UQT, Vd5'MYmCK~X<])` ,eG8/hz{EOL"fH/Ͱ/BHꌧ!9ίB=y 7"Jf]9{#R⭾'tgXi:"WVSv5Vcܘ7b.>~ˏ9NTܟR3`:@.f/"L>|kfpQϺQ; Тd*]Z&0f{!*Η8e( 2Fyue#zAzZT} 39VxU5ΈjQ\;u/-M&񛡿E;9LOIZG0f; MBOg;&= Xx^pe#?[׶% >L{Cא94f*.u#pfxJ\~z&?>c5m_u4~ϵga{$v8vL,i1ryq@_t;Xwhxk_:f [q!0Wv0iM"UvJ>{ ^fXIEZ[XPCet`# A3w޵l&7q1:0L,^f2O 3 Nɮ܀E?]s&0 PN-+z$bA ;j!Er{ 3KM͔>ggѻoe=>VTBY\mt ٛ!*kdUUK{hDPr[)(: W[1]/Ыf'L.1z"*Nۀ=5E`"gQIHj "n-;%LIdx`]GfF,3xۆ3S0:ỤWx [vKTv &Ҽحms5`:5tӧCXB]YH UcGʹCc}k}(ı v9J8$B~A򑴦]OQWF%noC,Wq.^.ؖܯ.f>Ŭ=He =o >j.X ;Edv1؝hH,Zv kHߍZ~:5 YN:\t6( >s[xK1#GEh@HV,oXI /͠3~.s-UT[g>kVN4k8rD,hRӑ {Lӊ]7HXI[Q%8#9 R;Rzꥳ,|Ja֭(BЯ$R+ @1 CY>-kW?=XӷC N<9)M Tn dv)PX|UvkvJزRK3vm6e\s5m Fl~07'zqB^ Fo>{p G jTiiKRN]5x OVP'ccC3$2( Yଫo_u(ŲuWS/|]h\`DHנy#8@$3*j IJ/:9Z2V[a :xq>*| _ޭl׻]m#YpĀ%=cv\TpoB)5&8%ZA%D'}^UҺ/MRr^mO23Sݡwiڭ8H1a*Y'&xgYj.~dh_G0 R )&+zR\DzXJ xD03HR.y]\f!4r? k_%hBf@N r%*_F.^B+)8يAdyb'iќ [_S[ `H`-@A/m2ېf9XzbSqΦXSr!Փaxh09G2 %,{n M4;_*eXH!NAd{C9}L%>[3GTsWzttl>P$B]F`LWztk$Yߓg#QlTW\ptF8r]rSmA"No>Ƚ7A%\g+Z4D ;J}lwءzcVA-pbaA0Bw/9^2ɮ+Je?A)QGjVJ$V'Qx_Gkj8i]6G˾Q MyGbk_ͬD,@dRK`F.7%A_BQ̯=O[*~pjH/z`k4']c^$'Շ7Kc˭BZx k|*xbxS7}z)7<`Wi߹b*Iͩ1q-d]р${wGIZ9oGӦĘ#o%9CF) 6Ћb"A6xɨ%3[\@]ȥ԰iQE{PpБ2,^Jq' \DPǴpsn Q?j[7%WوՆs"gbhԧ.uGb,t߂ޮTL,_֥fN=IK ;Xs5tc"5x>0;q@; MgMtJy ԞfuxJdAWH;,^+} 8ˬ^e^R٫m 13,R8kJw%DkGqAL猿oRݬۤcum-?pX|| &ZႼesZ5-/ԶLw2u>^r[Ӕ-hhYTcP.MB~kaآwwo=]\L w`B1 5S:.0MюN}%o{vAEosTVvԤq`LiUdR[DGP$$>y(&6?r /,3ZT1pc7&wxf}j+F6_̹x@*b MN:8H\3P;~Nnl,DH"~$ob@WqC9ugOO )Q6w#S$NO ɂջǥh8o;X:Sd9.x'gy5}80s{Ch.0~STIQl2\Ƭ19_#o)^g!y iU$|q/z婍}l j bc# :0CN#PxՏe TKuSKHD~#SK*;O'!ي.kkn5,j#'lЬ~,QqRcei\!{vJ26cc.kcIA!_jPnvv]z3dew1bnS'oS#لرsM1Jp1+lf+hּn˕.}lǒF-vusW"6<D8㺅Ûe4QzNNjn<@1UHV\O`x-m,6an@&ߪW՞dǹuB 'Jh؅&YRWЈ;N YFsnFgJwL+ӵEw*Rh8K-q; M[ѕgN0zY yRcO'>XlaOſ6v_T}Z?__THm\uC!w2J(ME0nK!dy;@#UX& /ʇoT;o/*R7ujݿ͆J`Dqfz59Ȁ3R(`[W" FBl旖_ͮEQU']ѵAt} s:iUYQB%f7CRJ2qn{-eX="a*չYπjJ,|ݩCvUK !h ^C;C&r^im(d$:Lrd7kuY0)ajrɎu_EH ;gΣ mY}1" %f|2HZrwItU~:V6|ۀrrbxd;gH 0,ƾ="oEE3&}~e:G ^^pVԗJىqfѱ@||7hHrF#Q=&*35.G<R ԕ[>Ɏ~ܵ g So&&>±Lɸbo`>XQR {źr6@2[3~Nm'YW=?~gtI,xV !wZ]2d3|)! e{`]@%:A˴b*VpHHz בg?cɖ?W\irFݵg^,  R*(oRc@[e'n@3zMt*GJc\SGOY(>OD=|wM35|Bw۬W*6t=?"<_3X, ,ms5Fq$3[PVkz$ Aϩ)vVm,tM+,JK!FN6]x=ndHaѠ/NvIIprB (TNg sAa\as>L PB]YhI2UWM3+So/x!un򛕷TMCd"[`#e]bWB88x@9S=ΤYΆ'ɕ4UlaB-RAYG n+vLt5Y+-9g>Op hwۓw oP %{&pb(de6cy_RXM*J(G6P)5lc=V4nzfyn%Z7Gܕd)WP zb^HwDᲿ8IKh8A3-p[K.p%ؤU8y~gLٹΫt.FBzB{ثK4 $tФ%Cc @/r6Z|&4ZRdŒMOy=߁#}vLAE~F!d'LU?F 7O[!bzy7|01Lvi[(nec1g |IL_A3a&ފҕ$a ۿq#5z_ՑGi~SF߲jVky?</C#i8sGy~P##Akr|pȠ P%͖sX?{|6[K:)VX`+Tj5*E"r ),$V %FZ..4b*yB}mbyZS!Gdo@EIy=&!(ν6Ç3=@־vJoM3^:Qr\Or 1qWH7zŴ?/^ꙞRa0~qd>_MZЌ3)W?I lɡ@v)4A*EbHu`~Kzm4)}EWF#]">q!.g1}2m( Q6%װG\#88ON(X"f0J}8/]˛؞1vYP~*t6ei]]Q8$ν&Jn:icf+3G հE\4>RY^B)l  xAӫjqb r0ü$lˑv~|e s2FaNޭ7mTׂeٿ3>TRӳUϏzhiOS&by{HGp1̆Ep'gEBke/;  6xJ$;$\T| OKc[M BQ~N~DxۓK0T/|#A6i;Qʖ oV^ MxS ))$|!XjS,~8,rZ(ww^m?FJ!nmBW!}T"`GADltFZZFXUÜ QA@7͌&BQtbħuAު!^obQ nj%l׏6Ж%@ W IYǕ5fa u Z7wwO+"k{騼&NƦܸa Sfz8Sij`O ۼq:wa}>dR?k+4LtI #h[[(yfV$v~ahJtS)^{Vڳ,ĮDe_f!4 1XY0pD&7[;uò3%q6(R{גw#!I#7*[֭APTA2>cYֽ;hS/@`'_E~A8`~ Z4k-)mI[ٻܱt0pd%*i='a;ȅj_xUXte􍠊 !&xk`v4bw6 V :zaTa%l4oE@N%_>h}׾ubE qi>ѐ5siaVI\p#x1^< -B')|t"p^>/w;zjY)0v2a*჋9r2A>3ȋ~Khj+IZI=G,rRk5fC}<u$6U2jF# c[IآRvy{^TF,I#\g˖-p4ZE !6A%b3 Oz=~W՛Z5,]Fp -|{gUI`yӒKNF]k[}o8ň!66u&Hsb`Q99 _oC.h}h5x  6vrca̓^6ct|\޽]W VO\diĴ{h [ ŋsyT!!”U-O2s0?_7FKK!7* \ظ\V5J<d6_giQ@q\kޡUSU#A*ܓx^ۼܑG+PA r =hr8ⴒ'(+ |#ۿ\8W]3i#F(@usbN[fL~Ud@T_ P 上L.>Z"fb ս;#[q䎗kџq j缝 P2i7)fK'p_*1p ߪ_ʈ?G`DZۮV_Zõ@+U0Уi qrPn-Nw*pl9QWXZ=E)63Y"+xrHUzs4͹~= Z@D,'`*ϑpfX>ȸS}4Qgsg l'hb)WKRbjTƑD-Ns1D=mqYhbpL`:${Xߧʂߧi:_0F7Źm(J2 ~40DPJм˟ur6KD_y?F|sIAǛyb}@(4rCY"!0.|Ѷ07 :pK/Z@fjSc&E퐊}>v1a63p<[Z(^N6u)F`2CczeCfn]Pp.qz= gx`jNٚ9NVl!L!I[TAmpoP 2 tGDvb>@ 8J%7wIvzFWI6H4L|()k1lD%7 6;Hu 93֕PٹHuεM0t'SXTUthxgܽ__ԧX;ULr_VU|e"y)l@^4.'d::[7MU6&C"c7_AJEP-A%x}=c ה0̬KU3n?|IoO"Rm [N LqO"7Vp\ ɶd<BZ#Mr|Ⱦvz0TNl?{p63Ye Ey-9K?(hJ6@!њÂ{6n:\N4>)Skօ=b@>sh XRĜ#뙱Hp F8]SgIXSDŽKjC8~{g_"Cy\O֏| rnj&p0 s[M_ؤٷ#2Qxׄ4gX_m~Z !^h2~ @pE;wG!c:a{ /:dݼ 0#"Yq(ʱ묋>3{wxp$~yJb {@tH՞aUp'Fc jt.Ê/ 6t)>59+xۄKq#)wr$ȩ&Q)/ЙBĘ3"-a ҅J7fI& 3{ӂo CQN vF dcJ5zT {Hѥnr2*Ѷ C^5 T+.HuBPe(-zc[Z!~p_ z/[g/÷7.q DBjFD́{x{F>#Y9v&{|[VTʯtq!rTS,q)״F/3(1s?ދfY}nOg!sasU^Ndrx#$?n'*Mt58,bvjn/uSl^[R*ܠU#bˤ[ d/_՟Z,PfUaN|~%Fi슺>%!h6C¡mBZG 1J韉 snQ'A% rRFz R`z:B |Kj u Ab n#|)*%Lx+ď`ҌM_'#!~Gp -_>a< _+{O2% lE"лFW:]_N F0kWyߝBt=Ӑ,ćݳK; tSLJ̠ n֏PZCta_w1y.db@]˦'v[9Oљ0so.jV'nbaY < Y\L=Z(t |;cp M8 \RЍ~J>w3y.q i?}yWī=ZbG43\TeF9`ł<%Ǩt L0L'һڞUi?i@68R @nE\.r[[T"|Cv 9>>(yZ-O#ܘ[D|â]R$NcޟU4!wqօ ~mlzVսgv!Bٷu/vX=.5Ll%҉NFVa7*E=I1Wg8m NNC tWqׁKȒ2Rǘǩ}$@ON{A-kYU'i ׉:bhEXfTV 2#J//,M= @YХ8ۦMU6j$ZBJr{Jy}Szbz% Pb|Ƹ?Ǟ"&ˆСiGڍUiNE#'~k㔇ԘhU RkbUXa) /S( fSv%%E#wY'n-2 HS*hpJ1S*%Ϲ~YHw΄YӇ>rX̭{v߰Na=V"t}'>^wMB&=/IքuLׁa+l/B9k`LͭRjm)mB+9S'Uci }FD,&0m_Խ1)BB3Iru?܌23;>Gʣ Dj9y8Fƣ@[Kp }d,Z,jbнLx 8Vec֝8 # v׺~= ς T%v۞.i,}^FE #żg{Mq-vy<c%`E`fCrXu"xѫy%g!Pw{ oX`^eO2Fm#BƮK6М\e@ylAc|RBDY)K07, =i"rgP%Q@  hfe*wNs⍲$EQDQi<) [غ{uSxN2BD5G[[**,t8Ϊ2^&p@5вEsb:M!v{b͐Nt]l~DYi%UkD"_$:M1/ۨchU5\RTc0kaRűigy!R^_.97}-5IoJHGlhvR+<:w%c/}!/t\aps#X{阒%e>8X'exZfvOΧLr Qlb;x'ބ]woi)^s{zJEDVþh8}C#ݲkyog}wrkYp6 p +jލ5[j!>g!xrJ+N(MRJ\ݚQ)GyTXv2Eၠ9Ks)J,e\y哕>كPW'ޤ] 9v+PEye#KaD1>~ CJkΜW}Z=mAѽwc|&v\Ln #Ja+> B O;"aϯwvjS|g!Bg&13AA>; *Çnd %}0ډ^N 3_$/p5YpQ \ ;3[b-_/SnݸQǾ/d3%lsVZ0٥`3*RJnau@eTۍjCm(빳 'Ջm:2s?ýFbOujGg:hAMtAcЕ RYJ8򴝶._ Jl/9p=Edw}crց<zP#cC}ݤΟ؟}P^ZTG1Wn?rF-uԒ 8 kT*ƴp>EEGbpجW [Z=GNiw X[:{Kʓ{u EUXGe6Rvy=w,6Ѥ'п߭ړoX]7zKй+wNk"Č= jHpsZܪJ6"Ydj v[--Ҡ{dF]`XL)xS["mH`Ԋȼ$=zT[ ] B8/Li_O^}nwG>ŧVݥmʲ#+Yk NsKQ+t5y #pY“J~~JX̣D]vArKS~1 $Vxi߁Ǒ"b {Y_=+m:sbn=3ZiU<[t~ra"DabXpz.Xg$է2je Jw9z'ØK}=I((! YdEo' L|kk6??0ܠGB /H_NE (۶5 * _=u۽`?mnH:axdWPzC3rc,wQBnV\t-R}Hi!*75hтGb@_~%;y#`w)va,/cnӳ}\}Rh-[ XMW iM,< VlƏQ1w߈2H;ҍj)θ~]rOylrcf2`nyP|m?u-1٠ggNIC~F,B ~h ί @ԅ:icpQzMfhS)⦉Yn7Ə*A}+)¨^WyakKhЙJք!jBnKURs-^!F̓+]6LV% moUny:buydv9 3ՀPn QP;bm7\c-{°hQP3 =6SQo9A6!]BP%Jl7t>z%y2'^՞JtT璃 y?KǯȜ26;\lGC v5)OCb%5A)7&!m3K"zC[jAg)yutGAܣTQ.UźjB. kf+ ٭AvA=j 20({4mjCPfRtɿ:#~Nc6n!9) 9ǣ5ʩOD1pC_3\pNfAiK[n fz3pဝXvT#NB2P0)>GnajBG >ۼNJꌮ4n|o`1s[[MIJЕ}%g3ѯ !s1_qO" n%S^.]bKrDi[Kh=_Py͏I^5K!ĕLj, NcMNZM&WV sِ`7hhrx4*z UVp%0v%d_.p:ϫ`,F pgJIEcU4%` vuφJ&0:ui]!DBK\$kw`?V%j_yKHSc 4ߩ{dX7wG#!;t ɣ߂<#:ןX;EqfF/-mP,l߸``jӉaQcrf=Zn ]Gr+5.O^&Zn:ė- E 0̎'I7:v0!(X?˂ЙRt8!'Jq;Ç']-WAcyXL}L2RS`>M5O˺&ތ%dܼ{߇~ߋ\8uOJS*95vX q~9p-YTRDȔ&t |1|͠׳hv=]htp]( ^y( /ҁ5UNK,Xq'C)cg09[,(@`-m(ܰTL+6mk(̌3kP*LwovK9</%GRu,]DCoD+}ȣs~ j4vNYe%lPp+e/Ws:s{׊atUAUy@Y'>tVLm2Lm-q A3?zGGX***]dH@ؖ7^U@$iNf|VXϔ0fƥ,:Yfs$ge _!f3 M-d~,U-d0K(?83;uGIQTǪq u3'Gy.+b{L/ozE^jjkW,Hyr³Us $UA4T4 -[\]҂Uzf')#R7/ e#M8XɹG!34' _2) |