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   Dt ] ZF-UNITY:threads=4elapsed=8.334cpu=30.172gc=1.160factor=3.627zXZִF! ]ŗXiɟH)0%ovK\Z {38oϚAc<\$U=ci{\=9ZԚv㻬sBw?2E>f0Z?r)sbJwCbwPR)p ' ZIrWq҃jmVW2Bupҕd8XzSK~Q5j,_3jbS#`rG)9>.t*D]dIn i$2HU]3Eiˇ$g@]{ |'+Z27?X"7:U_!"1k-8t 3.FA1_Atyhf+tΡst*:~w` b}GЅdXyd{x-Cx/+ơ;Ԕr+j ϳ+tZs' ݿƢuX+` j@܇f疹SD X"LLV$B.q=XbC5;7^B+K,!PTa3];SKs 7rf@cZ7C! $˔h Dn|ri|>}&ƫӋq*7:[(h̻xHx{Q7ʽ0b_!M/.*rqb+ӧ6OM[x,C(k[C`*m?}tQf |X~ݣ-- 4΂i^"}Ea7D-f?7Tv-0qxd-   ZF-UNITY  R[])סY2e YH%׏IQ־ǃu+KGθ}Yp䈲hVVpN0?Q#u5[`)Ɵ|e[=)O-( p:2xTuV lV5@6CyJk3tvZuixA mBB1Aթ,P|J12b+GQ5u&`%#ފ~v-4+:PPI?QuKAɎ򈳕jW60Kx!cilvPY,r1'*Wn<Y͘"+8jQZLjQDszʨ #k_=]m$N24ʉ;$iPo{9Jmht+"Bsʆqq2 g%j\i\{nqX-VdHk@ا uX=ђp$.}*ɬ 02m剿%eߔۑ=ыsmrp/j& xהBs=1}DzvZ ~+e S 'i40nMBZiWҸowjMHf*J~4tJ&ij;zVg7J?B%YY6W*ڄ'oU=+gսd=fsV5n՝8F)h:;tM1M+s :\tbr"p#.j?1e1y|;@rHNۑЮǵ-q6F绬PK)디.ߏ4Jl~:8>4.V".lڅ? X1Aj#,{6ӕU-BpĀ 4{GZA-%k&d"i ZO}pX}um Aa%o}K2snT`vHuw^׆s-ٟ+4 Ⱥހ,X[/l{fhLbZ' _9'Uȓf(׉ h>ax3 Ja?[hV)g\;}!4PHӑzӘѵ1RJtb3/ۄ5PGU$6ļ`r[{G Zd(Y%;IbHPf ^*~Z|z&> z<]5e&54Bs>NqM6D 0.E" V s [aUd( xbh6z& ][&:D_p90r"W-в9inɁ' PS: Δ Q?GW`ܜ)C jИ v  Z%W)oo<f؋u| w'\0Knˍ TӬ_4-B%!HiBP\OJwEE0 @O`.KU,%;HP9gq))xy4Xpa6.T3ګ.ɥr1Hzp&^W3Ah&gv#=_ ,O^KXBŻ 0QPoIǣ"1A^b.Z"5[MT1Sl|(MK3oiYe@kRudֺ0~,K{w$#Q<+Bh,ZNAKH_cy_d^٥}G#b&;9$%t])(y *w=K9=uUIYAл{ ѩ`QQ mh| *l+?Ԁk*דiGdAkU:;8b18oEJ/l;|i=^N?F,O8^4Ĺ!0[6%MOsizjOO{U?x\T;cfmm;G͗"E5MzD.xK fI2m`EHҚ T::0!Lphsbǥ3 Ǭ[)HC{Ʀ\K=r:7kK>V|)gNl;qe}R/,y1}aN` > [> ,Ų&4$*MS (GDU.Pczb0% ^o.f(;0Thɓ>Jݕ50륪Ȁy?i yHj߁dXTKm Zcj\DP7E$=UV(⼴bh׮ՓJ+]-t :ฉOvԪ1}E )hs(jHmWҶ|0Ҟؕ>zE@xt 5|r pc-Qn;yAy֖ S .=ҥfk׋,G*kfhqhj0|5zgըVܲuDFN-4Mxѯg.BCAkz_8\@$iKeˍ^ӈ%D˗ RA ?pz/W/lyӕu)&eQ x괌k6\jbBm{o(UF1^%ihn(iWvN9Xo1E Yt+#E)iÒa$FȲ.`KnK_ˌdNasɿf  H'%8( V?w!C1rYYt<$.K\vKp-DPi^媭I*2ӸGe]$(3X}=5XB>Ӡ$:hp:e&ʑ9QX[L6˼ʑ"yp7Ҙ\"@vfxr:Mg?D|(R8GRS L].s#DxO$rr1:Dcmx+k49^) ykO׉ ^~JBsKusn)4ҚG̈́ SB.1 b  lP6+ >{9NSu`?AS3\TJd&eTlCNϩRСb4v&gM0Y5IF޸*"X\fa삅-#lѣA_ QxRdz UlEe%yLS%ٹtZ'Pu<*hFICP$2.>IPQo / ָL#8C}N#4k+ӇE[hvAtW 4d@U"h(4_s {/6<);ZG{xH[.XwR3 㺙-N 1&(}5L%k9JWxYeh@G%SbLz6,73uŴ1?k;l-*8 !$털ʑaW8uv>SG'NJ^Պw_-5[6G0^dFV@JAB/&5^UV"c ~<#c]@".,:>zÔ_g6/w7VvoFuY5( X<ĝOfdHdg(H{\7%nZSMP~JRF<~o`-qZ8d[Pr/XQyV4q^I u,Kw;:UlɚكR@ YN̨ >Lf%DAp-,CfZR(<<8Ԟo4&l=@*ݨ'Uy?BTc>Y'F+x|SbnC+˝H-Cį h}n^J\ P]ӏg.oA hf"\@سr/(ۧ0HiC'C&n=Ko~N{&mm=O#ykΟ`4P`tfTkHI~b*{B"{-KlPdO6V>~s~1DjKٓ]L>^ѯܖ|L6Kzn͚,(i4WK<^3:G3XھEeKVxGo-En55[м&J~;J=seRXV>ūSV?;Zt!:ܥI7r~l.sK.2٘j ΨI @}7!5!2C3.7yZga%|ݻsx]fѩv}jD p6 | cLO@gg[Z3%|6 +NU,a۰tDѾOΧco v-Eط&r{9_ұWԱzfw`Hix!2Xry7L+ݻOP|?#: " Gkk^㗍8i_h_C#&kUM_A%NAVj[=C5]Qk 7R AlȱˡfI3) aO:|Cӱ!J{o]Bʱ*B}hbҤVRiMs"@%ݱ@(̀>EӐXv(F QPwtp[ CAStr.Wo(Ӛ|M@IFUA:ey6:ޡ ='dvdpWӇF.i WR1 ;4w2>/ ԡ{wO1FҠx%g?]ɑ@Fv=>יwM,2-yb\%$,e4n",V@פkeKLa=FyOx:E =lZSڂB3mkI(s=Mt,GQO)x$^ 0?(h~۔涏>_CcN`(uTиtvZ@6 ~ Wlc(GycqFFv:Ed_yY4&QOde殦rL}k S{1c%:XS~C^ }GR8zfKG"JL2C}%^y2gkprϠHе<G X,zjvvI=% ˊ?Y;*%J>L8%i!> Uϝ)(M;QTuσd-]oqcG!jsxEv26,idNa[_~g<91HMi6(,D]g:@8-/_[gIbP S k^$>5k9HQV%z_!K:/Rݒ=2H4ڏy xV}HwVF‚KC=B*DctKK}c#ݦjnOA7x9%9VE6@cǽ֐qr 5i)HwOQ] ՙkM:Ւ$a![B"]M;>`+.Xò'L j︿̹5$0RX!yL[35ZV P%k9{Hv$U/9Qlp/HZYϲW^Q0+W/c2E SH" _vnBLoBz >\P9l)o 1=rg^d+*yڷ>fk0qd`P?XO'Ap߼5(ͽr3J<)^ysЗC~ɮOu],DI͚6iЅ#lkc>+٫cH󓧞kP>K? >$ {۲G  Pn dxT a"d#z`%~u9 JsKFt۹l9"UҬT f۱V4jRQPS{J!\UJUHSz-Lw_?|p( oӿf A? hҮ;E`B|SKۯ)F$ kR %M{zg[\Zny]O N!}LƽNzG{@[$nwM6/`{Oki g1N}| :w[)V#05jzQ爳:WOGMpgȳr;͂ƉWedogluq进jTFXQDLܒ,Z7wKVuR3ܡ#s:F;1hL>r Dz,[:ߣ^>qerc7thOwHv5GӠ:CۘL_AΓ ^I /E @R=/"D,BC|2\  Ao3EL;K#("0̑YO{=desu"z*/ ,弞MBwEnp?8G>δ 򨷖hV\C1'l$dxLC鲮<L^]Tb0"bUXz$FlGQ7x/Gr`^FvO@I"D(z0bIJ,|E@oZ1dj<+!7&k!:ٴi^AYGɍԏ,1߬w(t] 6IYøInDkH;fQoRqTN# #jA2sSۡAi&r j1d *cݮUW;/+z^e~FoL'Y)2I*]V5V+sz<y;W%3*I)@]nbc=&yVCt{["n1Ul 5!Z.br EZ$aNY8MDX+=t{ Y==uy'f'B@l[p#mK}ʰL9Ish˫f%濠@#å#'MS䕚רD#J"t;Etiq4F0}we>i(Iǽqz (S8W6g0C:uAy4UY(qrRd\CU^] p95;w0&y^8 0;6pEeO\*v'ƣ*{S EكukS'Xp T1$lp}stlj2Y-HLpzst;̒bjך6!fXw"2I3 59BiW .ڀ?&y1bo\6pAK 77ZWy-y98ǀ̉<, 4C_K܄!*P8DPAQn6&dky4N^K$\^+C$(y y G^wZUTWr ]/C c7n&R>brW;D_}-えdA$};֝EsT7NqM聑{B`^{džɛTʴSwB {\2K{U{|`"ӯpE7 #w@pKu2C-C(E?K]-[ $v..K 1SJPJ@E^{*֠~ؼ\h:TӨZqQg]feh Yt]=G"wB7Q* J;̗ӗ6iB"H(6m눉$4:C'%*.yU催 '** i Wl)Tq(9YhkÜU[8^Y89b{ LɄ-~t` X~R1h ~N$RPqrȚ,փ{5iH~gg z6B.u5>euhl*gJ߭.j/tHFPnۑ[M+~8K=-l̊UrkHc%pg1B"E0A_*vm ~țCʀt/ *OS/0I ٸ!O xޖL{+33:ӚnSm{mpP\~NTTs$5.X#.1`J+KE:=~N9,N&p3Iz;թ 2Dఫ֌l\\J,rl(l{ ~\=Ŝ/`mGh6Lesc0Vy_kIJ> a^/} ]R+X&15UYV(f݇Sb\vi0G_ J+2eq 333T;*A>ѣ6=+X]Ō<{2cD;3?h#$&!0ކgj-G-dI#;"dϰ2MwR8^l7d-dz^~Ņxi o<aC#wCp <5JaV+K"mx/CEjA(0#KӒt e@S w[~XT;+%kLC` VL^1zU$N l%w,Veʸ׺8壤:\=*5jp ATM\{hOn㗧/d:l+nS;.}X (ϛeg7sWgMUJ(R U 87TΰۿZ| 6ij jVxcG qYޫI d6ISV: 2;ӺDDmi?D rGSB21K< L $۞d_wI[Z\Yrg4$|&rr1(1|Mb#gWkLЁpI`LCBwb.MA~N<{x|ﲥ"C8oRA>#( tJ ʂØ?H.?ҚQ,0vAFQ?3UVAIK'J[|5LG|Kh3&9dCHqe[RD/  ":Ƣ _j'@l,A8UX>SP۲rp’kRevp{ /\67<ꂕ+5¤v]X=Nu[3YE_Lvr;'XVȻwV $~N Ss vp]dN *`l,m<q`x{&"]/}U2x셜-_|iW]QɲƯqDg> B{ֳ)6y?O2SsYÅsWЁ0?.^'5֧iO Kf-z GgD)?#&dN\8>8Q>xlJ2Tn"׺VǗK[hz=_b+wDFa謘"r֖#h6|S 4rEƏB9~$ CS}oX/'}&:є͋~DwD#'D1L}|N%i55i)۔ Q"ۑB敊GlMrRl`KN:LiPĒƺ HVtvj%4*/p?nPd4!Bcg}ֶ* ziz\W:_U\teIzQ\J˺I/;1K@]D " ƫE]_^0z(XImwUsoq=J{ *$pPx(~/ȹ"fDMG )1q<zT<Ӧ|񰘮Onܳ[5MRLZ" l<"fG79+v4Υg'/MVEHv:wq}(l5h~_ ƌ5XKF5$k&-N' {ۼ'|>(]) MZư}Sn"0:pcqfKvO &a(Buda:@&ɠLvQFQoK:tH0_w%ndE2/=:1v9Q>IQ"}}w$CRT.T"Ӊ(? }C^@Wr)C_)e1uAH#i_s J\7k\rsƎf+q䒹 0$)^UMሠ0M84YuGKiP'>` N,7ڟK)!iCtG'U4f#/}mc<$ORΜW dlj v$ ڟlW8ާ= uѝJ,$ 6CPi6-~BPVL0ĴCb_ d~hēyIJ4OG:66V%|nE& 9{HSuݳ<4\{p["q ;y |=;u*@ fOmR27*vE d4MFwL1zpU݊A$sJX3,T^u$["7+!<,]f3H.J \CDž +AbT[Գ_W,]_kXU~ g&F1-b(X!Wvk&y0civ[%h?rj'~=9 ~Ev&暻k:7SF3d,u%#nd賖*`qlKGj^[K&,b5Z lNL,-P{{9k;tQQ/qlLi3`G\o50Wl0ln*3%K_ޫ(rhfoQ9 -MѥD5q78{ź╖Br]| mlpm;om'n, I0̞ن ;O}+V(P,= 73Ƶ]IR\)U7u+:i٧ rGNJ/|#cJ2 OCM.ykw%ݕmw/N &b_ݕ:[l<`7h6TՋ:LR_ HX c"Zf:4g|P-&GRfPj}Z}Nү(ZV6ȿח![!_eFH_8: 쿓­e "/#\{w^vޫ 1l|!3ޒx09%S'l&4Yn\J*@zz 9a]Fq.]{UvJEo׋|uN;C(m1&R^ eUAf+Jxh(dϑΥmSz=Yrzefj$9Cb.N M*W`1߅9È͖Y`\.m(C~=o\icw>+ɥ: t#q*x| p4;4FJOY=d9#Z>Tn ,|uwuE΄ppf_d7lސ3^#PLc/dyŠ:Ƞƒ:Be<\2PٮQu0)gX~ܤؔ?#!)o[{앰n~#c6HlGTMW>IZv4 V6H[0y^k4 EC keg6x:Av?S9Ky:"&Io^ 2I{0V'{A,T'O_wayk "߇˥8)zŸ2\٪l&e㕴bXs\!d\t>BFu?,4#8=KΝ`Y\/9F|=:/dHh:jަsE @ڦ +z&FoHe|R WFJ )ľ&م?7e2MƗ6FrzƬ"=Nʹe'iD%x^K  )0E>D  &W($iC&9xo{y]= բc-,$0j^Wy,-k|t0 H0Cj\[:q*XxSv?# UNYELRwH,1׭Y9<%H/MMg'o_7lQ$}:ㅫHK ؚ~I8```.B`CDK%?rlz -n6te{Є:feTi[†) m 5f4FĄg%#L7L@O%EXEE޻0#=P_7"*@aOQJ-HH&_ 3[Zw Ѽʸ<$5zp+ L|q|"d~!<J?­=C G&nlMp⎨6u\BBLJ%iM4 -FⴳUe[ɦNNfq9(Hu{5Rh̛p፶ L(hlCba,I+9ź#\&A/'>thη˼f,'"Alғ>K 6ɷ*N|$iݑP5Z7%cy;1Qx]{ڤ]ys,BN{8{r<k(FII{+*v4&+ݬr*,VFVPDw.BXF"o{Щ! ip>wҖ{r ?t I {M!ޟ8~D_(utl׏r!鈏iKCQt1[+A 4@zӈh;6]w(s񤷞8 #VP?Ѻsz7|= GP5SzT˲#bKPWA!49M=ot۳Յ! yhJCX2*R(gӧ6=|2VnƱ2N cI)S7ß IוB}=>aX&6<%TضNЗW9$4ɼU'Ooz&D}(w T@8<,Do{ېp>Ŏzm]=W5,x !o/}j&i0]/l΀Ȩ]F61eĮaX,o7JQ,(F4(Qx] ׾-{DmILI4Spk| ,LXaL߽hs[wjnZ˔YUMJL> _"ՇHfhbzTȌXs7sڕ3 &f7@"1M,˶*TϔT1F4OnXY@@JW "0 * V2 yէ/ƔKIҕ@ՁioXAH?; dnQo3 E8n㳑r^[opa\Ӷ}6B#"9=@|G%!v<>,jW_J.m]DkdK 3|qV|{_RZO#ͮLf=<dǯmGq~a&ߐ#\b&H>*Os?I)feCh kLu]0V3*{v1n_ cr8Qgj=pWgW y9)%}wA -G}:J.8kً{A'}'r)tMY.^auLužŗ]m\<8{ghl)Bid8i&F1e~Vv1hEXtAYDQTO5ЦqeU8nA\Z52byHe萖 |] >NO~8J>R]67N >ܡ#i#0Q[XkP*eb\sDV  `;{7} (C)V^^ضW%)58J1YD,F z"uhP։;쓰jfcO VYr{%wmFiqVEc~ st6@q}e{9ڭ:Б=Kvͯ]|.0ra,OSHSwU9`لw"kXz8'8̈鰯֋zoPH$ 7VH%*D桄TQq0^)~u.)Fw[Ez$GU5{"k$ncqa;M= )qOi#H [U_𤶫 l+>S߬~9M]0wMFwR:x6݌cQDz}DÇؼQl8 cσvV=;ٺ9շ_*ݵyKZ; QN)D, ʲR#sY7>0,Ns[-9͠;ɟؙˍվɛCuzvkÎ6#{dǠRwW^Hofs_' B;Viݔt::.}Ʋ^Q/+Me!CnZuaf\@%Xc`Pu)}PbJ&)| ub+h7ggOmi I#>r< ,p`{r7O!C$r 0DRulI2O ~Æ 'h 1EAѹoxJߎӹnOCGeF6S h{ 3@*S0Cfk&?  -ʯ00+8/Fh(gz,0AFs-B.Dq NR'8qaQ[]D.m&!1Ӧ&99؝zWmR%L)4eQ)J=53^ϪY-*B& rS (v $T"//\/?<4Q(F 0 4;3b.3VbDb4]D% pKU[%^{,wY$|E+sA|t*wIq[E vyR9xQf̀]6ypd="Z0}cP?~Dvsmk5e}meN6Za& _-q/'$u3X7&<іwOjNl^P,6G@~`/^Rܥ&onShvp]\Z\R?~ɚ`^TdggLp {+ ퟁ D 9h*gTj%j~%_ui$>JzW8PSZH:p $=IŷJLucDC&0CjrUW#)لrlAwlC_ԑRͩZ!7S"b֜DWe?m{~҃Wn\_PDSSrR}_ c xms|6ՖY3G;,?E MZM66 RU{Nǥ/}5P(5_f2[OP8tw J$"O50_KڪS<}䣖[X9_g^fgFZ6g 1EHG8.CUy+.p-JJS<dަ^t+Sxat${7\2 I fك\$ָ $MdbgZ֞b"4W5gB::*kwcuĠRsW7YU=/sFK @V /}eg|T:RtSsu5©a=uVij HEEx[{aak.qxx? ==zdtc~*|jr{F*e-fܺB/!Fb`nfA@ qcm=2tPよPӰ;aXRoR+o~7 eĂ|T55$s # [F=>45n؞ 2ΆsZKݥVQá4ejQҦL=p##UڎsRNt!kZAVX'ΰ%kc}ty%{<*AaAҐK]nUa_Ի.#A/J”{}?32lBʓY 0hfIiMZCk5 aqKoqDF1K& E{ 4y+m/]ywCU "_vzAQPϣs8 Y赌յfW`% (<@@qZR'xd;8pqin[yKU: 2w}JT;)oE*lY d2wrzԃqm~/y~\Qqpmq-`<^$=v,`gdtxBߖ8$1I4CG1sw^&2E]X127x?쁶&XAYH*A&B1~6{$/YoWfjETA}v oHBEqIXGLmhr h^!/%}GLp'o\ =L$#Q.,vS:&2|W#^9Mu!!yhcb3IӧW#"ӎB8# LLv IJrۄ7wU3<6Jiױ|6E'}|cY>O:|*(2ayv@{6&љ+Xv{|.TpޣNt2Rt'1nj.«OK-è̬&{Jϖ`y&6-_lcMWzx~­ [ע:W (>5)wŽS~P@(11XA05x7^^L=r-"A"l}$E>hǑ&x5; 6"ip`{'Hwѭ*#;ȕZ%}VO !g}4KAʜBM4&0uNZn4 [*{7=Qs~5(#*l380 % 7/Z~4RG1+!*{5{ 2=׵Ǒ#Aߝ-+Mڍ?Y.N # Xi>xjq=Q%S/;K~L/P2bbp~a$aˎ/C`Nl=.gʬ6 ٖZ0@Izvs+d2)b<%m݆U Y{1~@?nb9i ˍ '\X]vՃǻ> ]3fCeJz0TY[A?muSEޢfDj +$[)L JItmv\TxP]N :`VU-pBb4/;YV.>zeiaYY:` ճK,֜mW6QU5Pjh& ܛem "?>xHsZdtemh !8T1G|tk,sJKp%%]E`kW-4{f$%)EgˇpE꺈y͘:F=JrOBmw=A򰆟˕ȌGvp>d{j~5k80BPn~8G{vK}zm ntLVKE)Rc~S{}[Vt`oWU(P_T2sh&.vV$EƙF"~6ĜolT5{S®0FC zQ9Zl&Sx1f]u@"t6Mzaey bC*2xѲ2cfVHYБm ><"#eqId^57s  ɋxSufk<䨁ΖDmTb!fQ@vc7'&/I쾉E\oi@̽t{S WH|BhRBj٣ㆨ|HUAQ,Ͳ/F5WTl⬼W2@!TW.nYu=CZ,򇲄#IA$nHJ k-`.?,Zx3d%-N2TB t@\8Ȇ"ʹq#)'(FsCeVlƚ|.͚_aQ9u"k3Ĕ:Y}) 5XG Qʌw; mdggL )q#E~`Hp6+2"GH "[#R{HiP\,lʀjoPyVf 격k9||?E(Rue\&T㪂lڅw@ԫ8ǵݨ3['Py#AAuwS"d#&Z/BۣKsCϝ#@@#r=3ZɳWptv7sUrF#Oo ۍMyJ`ipE'4gwFo*ަ9#do]eވV.ؠzR`.LES/Mt ;p'\g#h@-A"">DY8泗HiQdM9XRv0Vк"}[F?Α.cf 52!^ˬx>7j?pa[YP8Uv֫>HwgJM)ٸJu՛gKGYBj/!/=%If}e ߫h;誉ުm9=l Ҽ\u Osn# ]j8_rC*ؒB& qd Te51WLqcm` {Ju /e t :?H2Փ46 ~`}*dV`y "^/9=-n٫#y%[}z˛P#Zm-(W;w2((-&?A}m9 +ò MбC`X*EX/;M|BqG#@xc\Յ*Qya=ΦuR= EL|x qũb5*Ui2wC$I\9HH@4vvcOCLxvDaAL/ΏV>jBQoq{}ݍ9ZQߑ¸о_{ gKGKNOO*,𐘵{4Z:6x۽̀=`Q F:efډ)BSMe=%%TP<٦g܋49?RŢ߽4LESο@e|Yq'p%TEl¯H;Pщ5. V[F=m1ٶ)%EKeQF~&{ߺ(YɰyD ~8WI "cV`ww ǿ/CM;RSVՆέ]DH%{ꊽ3-2'V|65-:zd1UrX$94|V<f)v 2|ѿr/Fpy~1ߣ#æҙW '-^㼊~ތH`&^ݜm!O20Tbn>?J @~ 曫T=[+O~BMh"O{ɖ|& aOtTJ}9(St;{D3Ȑ&` w"s= (rj oZ ]>AAȱjF$M"7Ѳ׸K7ÇƗK }gIh\i&es|7[(5dE*jƱ"oFԿ(>U[.:363Sm(_"O)Xxt>{qEqɓy:\2ovdhfM)Jr|U T^փNn-AZLW]"Je&IyT^ a\W Եu+-@p&p%}ג.ֿ5 o#]-TV[ 0L/YbefW}yN-ۍ{s/m|m:v,b{>dxVյV*\'kȋYfl}̦ 3wp\(SJRm i6Hq۞wMa25m?yWNJCKГ%_R^,.U<8+K8uߗwB791){sp {>wLY!&-B8t;[@"mxCYM#E4{&qIV;f%<9F>[ Eg ][3 b~ǛWBW|PםJ8n -H;"AlSIV3Oaame`C)ݼ%|;657)m)X9aUJ};#n'V u$wW_1&0j]h_MYJSȤ4fH>|{jG ģI8ֹ.3EWJ7jKfU4\p/&*qBRyxBܔH2-*Auf@J^Yǿ 8M[1S Acoy]%φ }tSbrq},A!!J `@Y:I fGFN[t~\69Cr~ L*;+*༒5w,ڗϚDxXO2,Y\V%4C}OMTD̘XedSȿLٻZEgGRhݟ|twye 7)T+snދ $B<WF>Ep ˤ X~-\y.Q(/ &_ҋdV[ G&*ʺ=JOa-T{/WD7mKǨЯOAx/ N@fNa7JzTRk 0~ $Չ. ns%b:z]Gn^YaH[Mal EODO'$O9J~F|ט5NX\ΡPYKviɱݪ7iy݈Dmx ;XN^s1N/EKPfxnx][ѶRs'݅d?[-z#~@!R6c8xfyiX=Qp_z Xo]{9Yǣݰ.//U̻I_ dg˩y }8q {4R/#;4ż8ӌ n`@i!2X3Wmd P *CCo+_ pXakI~hc]SJoCZ& ^jRcQzRj֔ζ8e@rh/8r†yٶŧuxP#VN<9shC ޘ0촧GZ>;-/I?#qq۽Qo=vYQU5Npm=,|9&ƕnR{MfvWuٛoMhW.7bM8K_ԅ)[& <lxb(u}ZdNi.wԧOa]?,Nsij[{7Iƍ\sQwʫvj74`J C "d^*NjmkJjzYλ(?)tjp :\6Ҭ=4e'?.:#CBCy2rNt8ьf'֧$GQ4d8hv ?˖ׯ'3v #Z˖Dx9&)mDY/*+uQ>У? /W:Ej`m$ D[}pv?Cͩն-zgiԻ%_mEh,4EIg4^M³΋F9(#_C'0 WjX#~x*hf8+\ :<+onP&5dpnhs3j߀иrK`-)I]ئuj7齐p;} tkA{'OU0PϺ:NSab mcxO*BAГHMP2' yñ=,v*YDsu2Τ.!d| w 8mQ̥r1& %,|^1pңLJ˲gǮkhAwӷ|9Wo92*3PG(f$۔zGg Yי9N,rY@/$5%sUa( dX#fH$ύ%7#ܺ6& aVEwoފ7qcBwYtL5#G#P7 ooׯ`QxJi3K449R:d+)e쐢2A#/PrBH[tSvYF.#%R;jlXc}J(3+]|V!mc \zEpn L)UZ#']Uݟk6]ʼnl"|֍Tzҁ }P͚Xݢؤ9ka'?l4NR.* |!({/~o!@⋺ވOL%:240.皇Vx,pxEa5@G Ӊi=}{A$Yk&Y}6Ztg\,?޼,rjB}y~ !|Zڪ։:Sv>DD'Q쁫G' SAH6zu+pFحi@~Y pepEt&/WO~'̣g8ey*_>=>1PIy*R0x:V,..biʬf=}e 7k.m'Y# 6\ƑDWt2@E]!mk3$FNtZ W>>X $+ÉVaX "`!A-cc˗Rm=):qJYٽJ)жVZM7NxdmYb5d6=EXQIiF"sG1I2nX2 8G9Ț_P.نq^=[zBGǫeZ mx Κ_d MjdlNFZg48ӍSѶ~] RC)_Q w^%Zꗾ ZFR,Um/V)hM[sX+1nꍧ:wTP^g]DӬ*U)|tI͡@ؾ}Hz\yg|Ɲv!S .l(?e} "2c6rQhTWRŧ>(k]ҁ*K"+Z \?[oNr&0DoֻTW'qoXP(.j(z ^Sjf!mzyI; T}#oaɖnm?X~CU{hs#xEMaމI;F7"O٢̘uJIc# :炳a ~_4%DǛɲYUo҉.~kK;Ԓ+.S95J2'oQb.Og xZ/u1֭d<*`xY2v uY$ߩ&?u& -'mӈux[7~+ŵdS[Z X Bk㡲EM:* G13Sij%JJ77tN۴T~_!LVAV>Z8nQʝ eU@@}Jx:z +"ʵ9qjI{s@X'=6`wlP>0|u9-v ŢY?qI`S:S 91< jAr0dE 5)vE.BCQt}4Hzie”J5h#=T ;+@G~Ϋq_kKx:fj4f;rYs%H+[%P㊟Ӂ9RoB3NR8 گ E *#l^ݷ֤M:>Bn][p|^iڜ% -:F~ט@Dʽ.u?la岈`k I:[0Nh: efQ?8,u$ t[SK|2n">&#ǽKC Eؔ 66@8Г[֥6hNzm8ȉ*eu|3~ R0.͇[} D/qG-JzN"z'4ih@y'U\N/x]|g 4}/Ɣ՝͓mF+ ƢWyU :aςTP ̣NWו]Y\9lf8 : NGxOR;_Xv rFH^εpB9˿mu2{(PSKܻ,Мj04|s?0}o+jO6 ױs XŽ,_Cjǝc p@Իn4Xy [AѶ] T76˔L,xz/%#m؍2TN:=Py4t8t\ 9Z4ֹeh )j)]6w||/1wL'@$Tǚ8C= ;p.? t4i)߹j_@JLAJg)r1ΊguV5A+X>dq]_ѣ0R1!i Ӕk6Ke+cr"E Wu[2s[z4KU6pNߢO9( w<[`'U VaqoJ޼Drn҆F8\vb{#uneطPdc9G&R C=> #cHkb׳M8PJ>s拎9බaE{mYdO( c WHm#eD _BAWչP1U |x}uYd`Q}R,}f`?f*h dcumDFM]5uqB3GPO%bI@To}zWhgkL4V Q~"ԈrKk]`&* %DfO 1!D[(mf8h}2RƱgYZ7zXZִF! hY]ŗXiɟ9 i:4V;}A<<ګMP78ꞲLKMPTk i%Dݢ`vҖ n\8ilK|~1x/>_pZ V4KO3jqU{ѦbBl:Q`XbjY {3 8E؝ɭ{ 0*@/> IY^Tg(ɞ cF ]F2a\1=xwDȰ@YPG(ZKP|w ۅx5 8Ca/4vdSxkζVC2Ú?xxs~Xt s*ZgYZ7zXZִF! /s]ŗXi%L 9U\O~!frG?M2PSsosJ̃L'e4W_Y0Rzz~݌3KJ"kt m6@-㘫jϜļMo!s姁uK=HAɩ]}`Cߑ0dA:ǚp 2閡&Eܺ:.96N%²2vl Tɢ҈Tϋl~sqAOLӱD A?S@O*3G]}ș5=Wĵ5[۝Qj4M:Hwax)DoRuD@n7huoM_N"DA`M{GOt0+bTʈ.7XOomw 2`ǔm6m4dyG[ĭDHˣ= |mjONp*~vkC 0ǸxLGc/ '}!xcV܉.cda cj7kؼ[{/"2M؞Y]6"oG f( H"i@TeYhLIyZvj{P4ů/eW=峐qm9TPGfo)u D3 |X̰pbU (ϙYG_3&S8 rr[NNy֖{|jǴfea6ɢ_EL{5qTecWL:jauAQ,v ,[Ue)!HNUa7W f ]H|g,v=jtG;T/uΆof1dg T*A^A9@$\7sa7q܂ 3ܵ)C8(Jbc'&Bj_k&ڛ!IJ䊋A6zWׄ!Kґ$GlkQًğ,݆/灢cibO^mk(^UD9ƣ*_g&! [Sy:@rtk1' _rgYZ94df35bad58cfc7233ceecd709a945b6d263ef27d3f90704504dab3f9fc94e3d143d1180eb260c4a 9bd9db223d193807b1f68bb73f5537438d614e3c 652d945d7e94e48bb94367c23b7652c3baba82cb