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 8=t|\ ]S]HOL-Nonstandard_Analysis:threads=4elapsed=10.502cpu=33.900gc=1.3927zXZִF! u]ŗXiɟH)0%oZ6SMb԰`[FGg MȌWFUDT6ĀbdeL&>4|^(7\w{G^+۫ ]a Z1|Z+xC2Ϥ+Z?%}?o)+W% 26y'/\AxIv̴nM7hO=QԄ1Mu3%,ky"_S WG `KЕg6W 8s}V)1!xMZ>mHzȝ+(ŬfI]u\.5)YI$1[P6~9IaoOyσWk$G=ljj7Nl>P+yh<~WP'pX4QLXH hrϏפ j`hX0v%z/!ChB|ᣝT'R,]@M᪜UǨM{?g\0!iȂ%V7CY$[ɮB6{!6-lIC$thLʽ[$=s)%=t, ɊILܸSu]bґ t(|;X2 E"d&p^hȸƾPXv!f abn.ZPfU3U8r!Dz .fa 8h_ OPp=U@Y]`19 cH2@ܟ\ڐ@}a=aKSjʎA;-^luY+rwDw݆ d/w+W4C1g㠖_;D6\D (O?a+ڼ cLM[hSBYŪKf\#r?H8$P*!LQ.aa܎0oɷvbFY ic,iX/'@{QnZTzWP٥%xge+5Yw]e橷4+*<b8 p#ʱX7cgN}kCŞS6mKY<\WY9;W;ev&9i1 LtT]sх*nu(#D/o8Ds Ҕ s<7c-)Q>U/s< ؂P`qWufWu>C%gOCFlTtYF ][Vrph3*)#wXOU^g[R7Q$U7 t/~կl8(^ϥÙQ-*z)㶻ʕ=Fy;A.] fE>Q=†=f; KLM9,f]P<@M ^N42H`VC*o( = HOL-Nonstandard_Analysis  $_UF[tGK4@l=0,|/cl!5^g=ޭ$/\&LmE(LzHFjB6N11.DC`C R-jNUl&#Y Jx`1g? 1hbO_bcdXF"!Uכd[uA]DKq z;c.Wehݻ4o2!9]>9w}_rL:q}qw9WRTw^?; gV+F6d*ߴX-Wyҧ97 AI03GWoբȲF~c6#%ƕg 'Yb1Xy$\Fӥ Qu x=A QQVa=1յ+@'g}hMlU)4ÇbNval>֭;6 SNY aR|;hn 3}'F B!Y%Ӥ:"YnsIOWLI$0;NLJ Q_iecjV^!μE @ PEts*Ypp׵ xd(hH= Fq `4yJ 3%1*H퉃bW;FyyZ5 ZoK.<OJ7(H@XdX"aha=T'6W6r-ft?f#O5y}#D *^Z w5>'pqd9J=fV_jHX&ŒUehH4xdPa/SMۊ8)ZSDxء$B%7ܐÙU^1`5l7j`\W ɘ ;MA BעѾm;/cλZM}(R$$VcZuFj RR#cھT癶ճQhӴ G הl/Нl(S-rBsFFs$KO,V~ŀṰX^1S ]6Mzu~G kRD=u`aHGO)2+PoxYҴ* c1s ; >V,woE<W‡vRD] Cwitٸxگx5E{f6&X$nn\cA/5KFtC&- U'Q)RɿW^ "_7}?6 ޫz<,_͍> &S׏gƌ}%|qLv]6;E8%pϔ {-"yO[{a_]5zY+ZHA_*kxB jlt] |[*Gy=unlp0=.`[Oy^4NJ,VꅙIf*M4-=p iGFĪ, lhnI#Pwo]W+#W?W1X\t3`͌@1Q& >xѦra2$w/~DD^uF%8!)y^a\ 윟ˌj^PZYy!SC՚!?+h6VG;=@3SɆ \@hx#$5Dl!qJq<W`JWPL{C';w%̙z'wyo0F}# +ltW*RCgk+ߣ@u'LO2FNmRhXN,c^ -C+lAW*"f`2et/CmY$}"QuzO٨*IFKlA V_{HPCHTKx$ɽhuȱf4]V$ ѕ$ˑ[ DSܚˮSA{ -vC6!$乄]T)Qx"̑BIEgM th'*BG{*%.x_L?֜ԩγ33}OyZgv";0Ai76 rQ STz$.?yG^(7YGoFB2*w!vZS4(t4T^X6i)Apd4[n;w!tcB3yk{gXQ %ڪDfջ(0ifTsc? I=&+(R9uԧRZ”w)/K|!cŴs06O6͚o9ȴPu;Z@doR/@*V2la"뽱#dn{,,SPD h|'١1\P=;#^9Xp`j-aLmNW<q-h (:O %R~I=jK[x5%( ona%QN CzTXbf+ʇ|rF EqFs(2mMx80OnVpF' Lco6PU9ڽWosT+1ez+XK-/A٫]vJX F,ߴ;ā4֌Yid%rIZ* 'WҦȯ>F-1[nr_!(',8TgLx`{Mwx`P^\)/U JLV8Ђ΋<Ǭ=>õ{;Pu4TE!`8;4<7ޝ_f0WKfFF}:8jfy@;M@ś0/{yQwf^M`D8Q!sw& "211pkZ]`x!{~`DǁvvyIM/k9`K@>^1 Esj:Xv\I8J6\L5tRpzzr -n2\6=qpY_Ua5.tY?呛brjrp9thBb´Q=س6> A }t TEN$[K)#4Gyn] csb€ x0Ss49QPOzRǛ,FepKPfT%N{l cAjyv0L8A厍P&R5DM$%C%ky4c7dk0cH~%릈VaL3Y=)S:8AZ.dtRhwYE |`#w{|%7;}-sVZ2Lf] vX,z HV.'b5in9>A750r^ +S7SEq߅lʠ˥ߴ ݀7oqG0BhS_FB.dxx^ތy<~ 2X>*;ױ!VV)] O?mVxN!f٤:6Z.~T!95d|Dc|")0mrHg(I&ZR6 7_N@VI׃$3T@Z0g7WΏY(?7H |a##r$Gpq' W$Z 禝?_o n\j/wkI(O4z !!ϹZ.&ofʟŶߒzGJ;OUrs:6M+Dc,Ƣ nӓx82^n@&HLBe&:^5!(<Ǚ UAsa?F2JZ !~a$ ]Y iXJ-Db+?'-uAπK6ح7LF~{xN~ "fZE 75hѺ,n3cXfbYBA$!™fSA%Ԟ0Īĝ~Sdu G虝ޟ\Ł$vdj\!ga4~'{Tp=Ӂ=}=4u4X ~ iHtu9%Ų7RCl0HtD54 X_ԁ@3W(iv 2a&QK%|:u"w)&'$ Kc Ś8YTYP@J:ֳ.Ntp GkEɍ_ZPϕBH w'w\9-Eh+˄*;>)|A[+`'J!c뢅&fh^@BxJ:>l`(x$JҡS!'hwsPgH|mJwDrK^0wg_gy=H#^M.")b*t .⟷BDj:ւ`Y`[ 1⾕"D!`韎MJ@%X!} *:=@`X fI ,#.R+3m0&8l(x̓T3MwAώқl'S $a'abyj,B*Z譃P.gʯ, ܻN%=}ފa(~]бWEx#8_=6exL'nĊ#cPAm#=ͷz $D붾 Ho4bmU]Sv1ݲӳW0 qiD)40\ ͢'} [M_hJkZ^ȎNU⪗dڃk 5`hJgh9 RisWFiMm#$"gIxV+."]Xll|^ '~sM*8MRC;gŎ,Řcu !yB7۽c''YQvuQZ)SȐ  ~Xj` r;  )QVƎH9vZi˔g|e613-:H.E$!͡>/nǧDzRNшA@=Z{?;F,q\~FbeuPoDI.`>H6Yߩd T!ֿL][q_AN39i'vAe)TD-;H *7'2Կ&ߗ: Cbke`T232SZsIjD+ii= &EQq]#_{4'$iZ5ux%ôWDC1t-z yMUƷ8d%|9zg,XtDCA xITXL<|/ZDą-pfZA)\K*'v2Y?lCR5Z DH;o$QֲיLhQ}Nz|X$sW+m}k, Z ʭ`A`< f(|7*z]Jm,:ƅSE4/PE } ~$0Oi-M\"}Ed߷.eA,,dyt?,5t2ИU rn(˴UGD.I*z1 Z-G_VηO`ԍH $_W/cdƱ=˽45n(QG \%PAZ}:jZ"Q D3@,ymA=δ?\SDL7PLF`W!̠ ikcb%9fR˱8[ /f`]n'Vs4gu:u^^y01TzRR}>:[ :ءi*w.?PfWʪB:0cP6D`yR8"iѶ E,tnVv :x EH:,%NZ$ m ^  BӈI]kp$w|'BnӧU')Y+数B'6~ଂx dHԌ?·/F8VV>j,rÏT:F|={"DqfX}!'iQd,NOX'V_ų~UI+viĺepGNl#uW#طqy Xg{l` 5űrѸYAȩe,\7-{(}ɭNN^=]WH,&4K sDhXI3M3hP2) LZݹ@C:<=9q6%q6.JnlU7Ŀk4h.˹c~|}9j#[`? M?i{!D B5S*bkm . òGbT_ܭaVirl"$2|ZEi=6#tBts9 w-UN+Itu$('<p1xVKdI8ɕt_[Vd޿@q5ր_yczvSϽFv-3FoLP6(\8W<}J%#ꚟG4ʑ0}BFzcQy1iQVŊ }5__Iʡ‘D,Yޱ?cHVc]A"^YwYkc@nZǦ17-kG򀴯>#CퟦL-=,:܂Xȫ̧&k|_ VIEԀ|+T"bv++fPë?@HV;ą /<6|燊ʁxէ/'j;d76i-pdrӴz&7:O\+~8o5&ɋoq?Dc,B(ʼnIIe69=`{Utvo4dƟt QWNGmmtV*(9+[Og P\VaR6]loMsnQPk/{xgd֑VH݋߶.a44]Eo~NM?9%N G|-m'Y-w8y6VWRs79]ɗ?(Qno=Q!)WY ViKe4!nGzTʤ ka"C> 0T| UW4kg7OX9uCdtBFMczZMbĄn܉Xjḕ/t>02buϐ, uܲD KN7s(c 'ȼ n'.Tsٛus2XcCq$MEub~v&mA&0Kn?Y$G@3vJmmP٬#DXydMߔoQ׫:[8߭W\j=\g$@OGwEG誎y<%8AuQdur9-jߒrwc:])\2N@E|o dYxm:Xȏdg؎P;6mKvz݀4m~v U'6B#n{eU Ɔ2<+{mFR '$On PU<jEzRK +Dl3P?ݑl&2JZQ`R5vCSwMfIKc+;] m/:*=x.Ma)zL:VQ" YPK\f2S{NeY0ŠP_"R^TX&=ME ?dأBK/ιpo bVwyʪhR~A9/[7*;L{&'͡^6Ej]wؓtWQ@.?ym1BUol EzlDI`?͸YҾm H,Zm[NHK{E2_ *҈d} `a2b8g }n^kƓA;JU  YNw> pyhG\Wвp ݐDW$\9?ӫa'co"҄ѤLqʁ>}Q9B NLM&Z{6q+8zԪ)2Vl)ZA E0 kr9kkSA_d)3=DLyM ^tϖqy Ry^;d":4x 4/#|Ϛf⽸%Ἂܥ@y)1σ0L2^gdܐzW֏dnm_-G#WfK5]I!bju?ٹmW ogv_nE)ō*SdCZu|"~DլkWR.jâtUK x!k#<fgwTnd1ݤT4 N?T[k<TF<>BV +0`8Ttioˈqסxag|ImjiPt ߎ'dO].D(ok W*eMJݬd9EQΫա#V ]pxs0$ ,o$d|9b3#5y n<0D=2^^c`p#?ΗϻK%g헦8˒Qe_ujqh_!rgדArϴ YfSR9?<8!F#U{Z-dxKS8Jِl/_Kkl[ſ||Gߒeӿtl,Y`, XK$cDб1 ~d/B6b0 %K=.]LezFij&y.r&ٵH O d` 9̐_pNd}SdR$6BG.M[ ^ Ҧ7[6l'-B}DsV,[R_BL{2-bü9">6(p4[w%R6.4䆵J 4|?e'h-<ǽ}C2YL!0\e.fBBI_o- (^ VgX(ݠu;sJ30 s߿^@#-(j1 !ɴ? K([ PRqV AQӎ("־EvU%qs`ݺڽNr&^! UpSak #Pҥq҇1|G%Ɔ'O|yrN#}"HZ 졯 wtͤX.ϸu{;J8tvCȟyG݌`Θq<{pHf'jPYyfGʫdyTBa'on.\\;ނ]K]XR)KkT HR[cf9ۿB)LXpivA ^҅.4C]|YNIy^eh3)%~53߻/(VB L^枂Ps(4d;q)SDv3Q`pC$O! R( UtWTJv?xU!pGgH,QTmϪɇ7(\N`qV<՘ocdO=N&|V>1+Ԅul#fSȶM:t^m,@8_c1疹"ya O "&Q !/fw^?Kv%>^3pn``MMy1^wW A ˮ11w+T `=fI\sX_,t׌4KjqGO[a] (YlIƖzKSPOx}-iEEC s/ +#+dRjbS­$5X]H6ҼgѲaG wq^y;<ܿ{ u@u=L^bLC>CЂa͕3}#ow n֙n _Rt]J!5 E, _Mk`Gl=3G8uu',N%3JߕL~k!:aho&_B;s:0|AТd$n; P|֪[ %>4'0PN^xP~k5͢AsO`wkȓX,Lr?gply2/o aj!FQk9I;K gh4oZdKySev&0Rʸ3CG<6k+ժ3~ph["{ sMgzҴzPC[Xb _}{Ȧ]G=O?gT ōRUPojRTз`'3-h`Ō >S}ԥd13,Vn)PϾq~vqN NF(j-F(npyuqԎ8],ObRpUE,8-ģH^S!)Qݝ~w )ibYswbG?cZA]g-IR.{Uiҝ`TRFTADoI{8‰]1.Eqw {`_@!.,*K*ZE,ࡁGP!h! - Mj+ 33իO^+24I\~nzZV \wpo  }FO"MS8gOt뿢)E8緹U}<0Y|hw{htJ/ىʹP_W3z旻z;6)3GKn:+8"_]w`Vb(S5{G,2)4j MHrP.\p 涩1!<ůkY2Y!13ku)Wv+r#Uڣ3.љx ~P(O #\j K};ո_y _9b#XpR)1iG"'vl5y =,Z^-}`g) @wOL.$ b:4(+̙L`.d9 b oRao8jbR. H, 4WiΘ4BS-~x23o?Z7ƳhJOmM9ulowxZd?H>is`դf?4'sDlQ˽KG#[0ڨM$/o/~6 n+zU#nzGaX`O-B$5`Lbq+UY½r olmKNgVmlq`y]ٌ+= O?Dzx1VA$WTYMC{;Di hh}rm> Jۤp'"WO3@܅2 x}㙨4T ΉEL$)mx~1KV@ PO N;nT0&(Zt{\kt2/ 4MDKw_,)q=#\N4 @rpruvu›Rʌ[Մ]=χ0-Eq% ^-ᑃPvrR5:s$p2. -φ C'`4Qy6ؿG/ 0tS? =h+8XmhݜmӾit7+J41{_Ӻo,y3a-n~̍+J& TFTf}N:W[gv3II81zI䪭$SB62t-kD. 1~ bNAx*+*h&=􋰏Ij~d>27ZrjzNJ=Z?OK),d gu\'~ ,t{$eDg1Dy+SkXt5c=~IONlF<NdP s9E)YO ;{f؀x7Lƒ jHV[x*? ? }4 oyNўJy5vd~'!ĵ5&$])rf6_D;+L:>R+H 2%xFbP5  CXMգԏ,ۓ 4eaf[~Vyi?3n}M.4 ^i/3eso2;jlTh!me+4_=i^@zTrrFë8#_9e:GjL{ƫGĮi,Q¥h4USҦC^D8 mubo C|2ݸVZI+w,yUfxN|vP <5SI6yRn6 r{ Fze=A\&;#}bhPZ!hZ5rBܡ]ߵ-~9Hg\-6v!9 OzCإY[=vQ8TސsՅy $lI5g뮞0F@}"}e 9#ϖxh²NRkUCu6=6tF$Buoy'ewA(aO~bl|'T`wԔy;%dA^d7T @,*^bm&~RWQU(\pM׽Y;7scq ) AEH07LO%ΩEqlaMF5_06KkW1HY<1@4=!DN5Brp+v+dL %]afKWw>&Q+0 Ym#*Ĥ +_9ϒ F'<.Wf~]iChՀ`ټv'jZ%IkP?= Z hOD7(6ȣ'D@/-F'Luh㋿ݩ]%;(XPTjPQqKFCi9f?J{Md3V,U@ ƪE2L".ʂ32d|fR^[l)K/q#`\^x)%^ Ls=}תf狢(ɯ!RlBkZUju ~6YpJGs۽|DOm,if9ievD[#:*nY6y] xB2D!,}ub?UZ=k5y,џszXtXҦLWL;EGM}wulu?0 pu@`3l.r<t)g5?0嘊񶵃z Uk4zT o IaF#5n5(&u㏲-.:߬ ph=OO}o!:69jU450F`L7sz%=Yfd-ܖ\fLj[%3ytOVbۢ4a;k Ґ˼s(e[6V-{}\P D1Lƒa[ߟN4;&Q%tl,+YTkm  wY(sp8p@ݐܵe-0{ o%Џ tZNR~q*ҕd= Y]՝NPZ_`0^3gji( ]+R63CEU_h_T&0A߱?HgP>,vO^uuCC#w8=^!>_!RTY SI\6, K"#%fzXMOafERq-%a="9~(}Зf9H*?$Lܰ`=n"H`l*S@'+;W l6.!e\vQwc;/ Z?xu) <O┖6꽠,=9Ŧ9(@7pJ(NQvQxR:'OՑѹ*"O|*JT}D{Y.S*6K6­}"+2 w* OP9,޹hkP1`Ҡ%пEǡA;Dc}Nmɸtrr9~Jvra!VCq2s{Tz5D!IHˢ?\n3U!l]u'Cjʓֺp@ mhT|$2w$T.wvw$uv`-@!~!m/R2v 3-idŠ7ꉹF*RUP>单zѠ=&qšsxL(9~Ս7@l_oTvc/ΙS!lX]K n듗00;ͱBSdW z>A@wtLWotE* l.wmPY-z`lp 10Fѧ'NƩe9+? [Kh>=;(X_Jz8 \ w[vE?C|%]0uQW YnM;&a J&Er5A!! UlG: }@<2έKg$-nc<_&'~_v/#Bwŧh[pºrGH"|4քlJ ǺY ovM',WyC@!lל(Ew;?3"C-;r`Þ"FaAsʼlOч( 02׎64f)No(`2 CSj.~)'p8V; :.)[Zs`R@Ѭ@}ۊviDfK<"ro=6z "yP:lo^ h%hCxD O"*m+=)oxIQȔ[8ae25 ncXCiVۉˢPq]r u;^p _{OE4yώD2;dPj*Xb˹wx''6SRΈ Axt1yepjjJ)4SaZlaTѬ#5zϩˆN  %k)%#$m"s]`ό\Tu_IѪ {0.i  bJQT?8Rm7W.%JW2ɧ; nU#5v`҆jF9e[¢bP֔;X1+Ez/s ~EKyÇvRJ3 `z:Yz7l;[7!bC9TxI.$ucGIl/F`x@OtwWt5D"N_IoxFʢgsn'GߣƫZ}Tq힝C=CL?!?P?_l7h 'lLҴ~sNoЎӡ c~{ ,؉6u8SsrĤ돝]gUܪ#stoVEM$*O-E*[UhD.Lt1t1^(J%5ya>fT, ?Qq Y93'՛\s n! j#?eNä,EF _MA*eD%@3K ;wqҾe?r63bI~ď umIF/+$bC,YƔ%fbB<lA@dgꎑS{)L)%'!nVxsˉ" 4dQ*O-wK5U!;\d,>Sc:aKMTT)U GeQ:jՉ`<k*H).i u'vƖl))̌i ֖ @9e? _]ŝ+9VT\당ZȪ%l8UHMs߫+O1|? YFiVڜ||m>uMTN/ "%G_2$mNy W]Ɂ}6v}ap:g=I*)}pk11|X 6x?,΂_}z-8}X? "j:|(jG8RLKzKx)i$ gsvlSu53؟<7/txw΀l B{ߤ j]F;@*͡xf&z5-3UZ] Nbރ;?w#L~Vf6A&B{MrÀz8Y~K 2/ٔcŮX#W4w76]QS 5#.3/ ws@|έ"QRu~IXgA&˝czɁz)ff]/߳)5!LJ"^V1\E6K#Ʃ (.LQ Kgo jr`yL)~i;sH)]SiZ9fT[HY/ґS:waJg+mp-e]VMX2SѦMnβ*)Hfn*,UO4Cr8e XfM#a!ʠ֟]Fȯ ]!@(r̔z=+N.6pxȥgt$A;9/oS%&itNN 7xIJ ѾZGI'e\V MQf@H)ALmWF/Y_~3,9TP/)fD%[6zdT=Qy ++ ][Weۦ^dMOFUğ)4: zk5'|Ol9{xCmIwo/pv7ʃAu"TH@u^Utq`]ztޤfC$QeQV֛1}cgZYʱnX6֖%`횉VW-^D8`xe5{vd%$dC Œx"6 ~*eGc KJC/^bZ'/f84C4Ia2Jf1ҙw\C݈Ié1-Gb l/QKqY!=~Zuj_+ Үg~.-f/XbbRӓTmVvdSH0S!Я];i:j|mME뵭T &Eu3nQPFwDIŴ /WUy)*\x(0S6/{ұ>hR0DZcPMP*57MS SRqZ>?G5s&`\)mHib$\6ǀ2[z9`SBSWxAh DC+kQY'#k<^:& [ߠͤnopXgJղo8d%=9#~ ;4+9.}.\U q{$r;bB^MT`oVU")nN 7sFсי. ȕ-cDO$4sQXVt,M +;JhFbm,qTs'N} 0w{ AԽ ̒8ٮ/zLpq$'ak^!@C4S-E{qVDH{AFvY:~ uTIPۿ {$Pď)QOOڅTA1sB_$΢ܨI=  R|@;ׁK-Aɸ;ކKIN!ca*SW %i?&m[xޭ!Zf8U$i,>4 lS %AM~j8EyEV5rfx}Կ ?kNԴj)d&䢌/[q f"+UqήO0y**ƎfBDE^au{̅@յmD#B5ve L¶\fA  pOƑ.T~7T[!T ^H7+\\.w$XWY1Jl'['7q֬qR u31mGpʽ!1d+m=5!OmNÍO/$sW~QNvŠc=f2+{/qv߳`!i bY-޵E`it9SL#3 DO1Vt3+> (QvԍsJLhjdp1WL٫;T*'u,-)ɒ.S|v &Xҫl2eo~'CI ^"֘0l\I i}w.>~Z tѠqwPovXt![ZBB#2ː0e帛XhNϸbNl+p< ֵgeV 6C=~١|ƉaO/F>N!WI_NQ 0ir9>9_*t#C0"Zy)):}.8Md ν`) +_ |4 iuM9HXJ L8Bg \ՁTBT_*'-Df=CYQ['qD+%rE7n)^L Zxl %,!ݾ~ij-zt 8zC9uԞQSOW & >+eTկ*WS # AyY`G[rlyiIs aճc V2!W|˥]q0tPr~ŁQ8y=rwRR9 kҋ[sܲ+ Qy=ԺF!#%eע1Q<wB|ږK9P*҂̒ls6ޝz b13; >,X9f36p >>'s?8rS=θe֬)7OP$Љ[@m Dvl}BFہ<^XOX0}컦V,]V Q2UN * mOF\{c0Z|(q+۲誂7 (niګݻU+lC[- uRÌ-9\G?pU}p)7%:r7#mrfcgE<}Qwdρgp']jJ!=$sMX*Й"ϖk؞˄X'bpiiZ{qY{>!Zt))rVTIKl4=w{G,1:Cr;+_Hw)3B6.3}gd60! ݢ J^w\иzpwj2g{Q.%=maFa e[qǹy[PB!|DyVn4%@8L@N{rdf!2[w}(9baAŦhJDC.ܖ_!DO>1/{rƙ(8B~⩙}%A{%9@WTnݥeyA = %MF\Q4I h19SI]Icл^@+ UNoR-v&>\KQ`R2< 1)FofprS kT2=,Ɠpo1x{#pQs^[J6 Ư)tTνZk# V@ /;#ˉ[;6G_(edbIeS-SWچa˄tE0JLȅO05Z\k.Ph;#WIp3][GkM vO01Ng1|E~k~Aɕa{5KКz'No>Jpxy>Mp\I{ [yBT(jj;lh 謀gj&!kx&M=FN˫g Щd~!$-xQ*"GZuy,-ל?k/!"Ze|1{pCoͰS)8d+Fǘlm_#k ypr|B8=.*4V4$ZЬm`nV}5O;z`oS VZ?XEEqیjMJOX8LQ{٩d7t/&$$\A=c g,P0 PHĹ3lu 0Y$`%Nl2=ek\TR6q 18G|TXo P{Víq?Djٺ w1Nm2f[82~KgқZGR<fUmf 7nO6P$*x&ٲU)G%ps{W{eإ/~lC=iO"8ƃԱpW+usl]~* XjW1˰xD}є:`XQCWJǂgY?1{5ňffǨoCoXDsJ35<4/J`KA] ჟ֚a!?lz<0m<>%c~n0dgBrݙd 1nٱ^ŗy}Ek9 Y~l)V%Y0ҭs+(}i [X~hΏMN.GPC]|!ew[ yW_^H`Anp3:3"!Z]D%<^pj@jM <1E!rZ4,1vpoZzqnleekZ{&%>Į_J ԟ;ٯ &8y?f.ոZHIpv^fc1 t6zMK $@ >Mk 7S S)&'L-H$9oq\~rH | z#(vp;C/!lj"MiŦbC=b갶#P L剚06s4WfY )$2pI.T R|bo<3foTПqaf&YXw)$%Q r*QvRx w|z afȚh-'qN[#1& YE >w94nL3TIx<xi}$t74*mҕ%!eGt{>05eF+HT: gh P&U7o\߅DE0Mnqid'fwwEUB~9h*e yz [[8nnK:HJ()&[9GYp 5X;_F 3)"hMdՠ%!^A(SBPՍh&UzI(bԅ ްxφrwTqjXj$̀b9N8N ]gT-x*DY|̢ȝ`egyd4s1(j }#|5zN.<&K@䩍d5i]3IYhY2ZNɀXJ 5t|f ៧k0b4rRt=(q#$~8g2'Q$hn k!,ZjOi~s{! Bǁ(."27{vwԐaY3zO<Uud~ŸTqGZg`0OOĕxOoe\>̎M`pḇc2w'J.ݕkRMN~'hF9P :Za&X-N[B\@$EY$(mK>?y@OYFW^4VF7o"("IU M"dY8Nv )ZGR%nqW*Q} gcE3lъOv_s ctFR{v$M17 \2sj삃IB1qaeX~Klzς/VECqD>- D*|z+G:ġZ-}:᭛S01=m _v&4@uqxS p .y1F_|#:eH߼OKt7XoovI@:ʇ@;n(= DLjͤZ^-3U|U{=sл)g; Mvc_Ğ8a$YI^c,#jFȴt/p'JfqYb{tB[Ao. UTVZvtA$A@=8 bqǤkd1Q7 0>vljUۍ'ҊlOw8y%C)2*_7m?IcJN{ޒfl#x Յ']3 2>ؓEνRPtp&3j=7sڥ@24].+TB#+ Vo~g)C$oZ͐[p`MTZ1(^,'c䩤?VU#J- =up.%LI|w:̞0,$s9G8;|US $=fSw&IB"^~heo"akigO/b z%vIE}wVv!\:;nFlɳBw7F3l aI~&@;m!I4(o#;ߩQ;AŇlּI⸙(Di- c9#9񹺥+IyŗG 3Mތp w7Hid80ip=>DTeY VDN=7]砺DYSVZ~e/ӎN8lAooJb&my't. ּt|ѵ}X5.ަU3$(p%&X#ӎ Pˈve=:d:Pn+Kvi0"U_n4ز_J0/%YB!+|Sr h&y~s,pF !f_a" xaf|Pus dNt&SYAށ Oȧ~_ߚkˬ'эTy:-[! ~+lL-n{:ɑD8:FWĊX8{D3ѫ.Rٌ#˰]#8$4V=p8\**c_F6+Z2R_񔹹ޯ,_Wd ZoN;%OZ!M"Lզko!'g䈮Ug$Lƕ}v+Zuw,W=sa)̉&xF"WWUf킢'o˨$DL|$h1Tz-j>Wh  2@e,xO.=TM\߄{Z x y#爪KI`WC]ޮމm'. $Wl?vk8ddic-y0ݰq>f!ѐ3b㶃u~| Uk"s%<;;+qؕ:;w?MT^~hg1zMէg~H! :$n0<dQmdP &oB l,k[1Vuf>! O(g:Vۑ}%xJ% jI 3#eƔ^M] R GIM[T^R`iKP,% YK/UPX&m\rxzg2OX'M (9 oYYRtVn݆;faq(}<)V0?´en$2PVĮީoc9hÕE[oTy$?kU7mŏ 59L #"N"cB;ϷS% 'q}9Od#+߂l}x020c\W©C 憂O~*lЊKi>yE&o MHu)ɺjIڡ`1;mWEiBnӏ[m0%ǯu\0T/a%w^ecj[JLauL;qj|q,P55Ju]tb܇NPcH-VO-c`YDžVStޕڡ3Xl>̿2xw#u#Cxi{oJ$~="٥gW)صJ11k=ζW9ntEEwvL 8<_E8,f-QHIW4Ƙ, o,II`ښo2M[>'>m7j<6a](שTڸL+1cX,Zxj%Ku:;A)OKRz|B)n˙thخv .h1u6!?I{?LG˽.Gζ 7 H o W< !8О׏9~Af>́!նAEĮb%Lt3khh됤U3ղ(OssrvߤT(2RI]!JVpnK;7^ʗf77槌 ˃E<*m9dtuw["[/"@79|V^QbJQL=(fD+3Cp'C?^=HBIhF=Y+lj)?!A[PA5N~J?ꬺ؁*!b8 QzݤӊV]]Df}f\#+A]Ѡz59l>8ȮuIZ=LIڦ>Q&؎2FA$".Ҥy2ȏm63FU꥚t,05|x( ;8yrT =ݙSKTtoh/6r]MxdsmdAI)0nRZ#z~ ʺ~@c+KeXuҸn׊74߅l䶹}mZv0YPPzE/Cg?.F ؈ qCqBxm'e$@=UDDwqyr3P Hs407fA@0Qx]Z@fUJ8˄H7pi=&M񟋉$M;&+eAˀl[S錱nbdQpUNQ(06TE*iP!r@'De1w7cŠb%Btj pmۓ@M1 +m.Y:ngXސ0F > Sro삾𚍀F8P(dղH@iQss_%=sM ӁTS振3P&3YYZ"(:Iõ]T/UƕG;&J; g{I.5`)!pщO ,2RV:^72F&ѽHjm?]}V$ȀZ rFH7TfMK')blV6My}-$i')+.'I)/?"t6K=[rwG=?;ċޝªgƏgM> %H",C|dAʣ ((A꽘&3 V=S\U&T+Ό"̓Y=tG7*UqDv~Yl# `XHbGSpFlXBil]kRt~X9{+Y[h\]`{ubdshxtO5>v(SKǣ4ZG~ ܌>9&eKV#oPВV?IzTs vLC{Kt*l9Y\]q߅TbeHPXSI n^q Ak+X&(P-y\T,;D 2* -u 4/{'zUd2PڦPl@a0ʕ9.1žpg]KDFjb:xu{%r0h@9&B{?|-B2'ҟ[ Z XTfXoM^vA&5#AWJ:ljm|6DzqP|p١ WXRO;8:zK(pu51 Um ifQ;/kF9B1l~964+|;]B6\[^}AE(oBI(6? ÒKFVk &HӂQqպ5J75;Ίax5 Ygp+OF;0?n/#Xrk|P@7i砽eW#cCQt^ĭ7u oįHcg)Ye?f$e F[lIJ`sg0%k+=_b)ia]`i@ag =ٔP8ssg[3YV<Fj&Msu_Vfx){Prm_qZGP\M9681Aϊ!{F^s_dˠ~3gk`@Ed1frM'u$b-:~S?R5mbIEWTGA /i?I~B۩R*">#SXڸMxocWhC1EgmQcGkfJih?Kijt |uǺBmXIlhJ T.bV'VB}#ř51 ˴ցqv6[v]5Dc58'mM_=O ?x{蜙y^۫I4ֱp8^Y(IaFC =ex.Z# LFOgwpoC 6c^篦 -K ]g,p}'7K $ g= w`L7jE4W^YX |EEִj:_?ωdB @{@ݛSf^hh2/~I#*b{-F( y]z F1{=,֟ȹLUa@%V<{W?t|n=,FerhZ8GWUlox3EخN2Ӿ 8ǻZ~!!]P a|OhGQVT>)q"{z FYDzKG85:YСN$ _W 6.h}!XnT[ߖ>b w$ d<2gf%Z=O=$k<88_ON'&zv3f'"+Ήh'ŝ 70>a99MMGGaӇ`GT=-iR)g\A$RGBy~"@f㡊@l98P5CĚѨ`<#UD62?].*N܇|X'ѳ:5Og9/p;gBOew4mT(z\+(uD"P7>bUZx֕+}F4m5|q]d)C)UX_W"'>|ބ{o%ફP{p񧐠"@q!E :KvT1BLfN[`(#Ny~:F4 = Dd)1fFFL$,@ĐD+Vu# /> oziЮjv5 1ET"^PܠV*1gu2rƃGA'11LR݅j-ԁA:^( @Efe )WYGߚEDF%⫂C= Q_p9NbƧ">Kn|QT(( 䄦=PJv2)KT8nd6j0pj0_RP.]nڨN o_!W buivwa.I ۺ)yi}Lr_1oj( oa *&`h/yɓo`M{dk];Ћ^N5zp59O0v<|S(zD4OJ1nTE~ ƒP[gw.ӆ׆“.B_ͪ:QǶ|%>Ս Jk $1tSOzBq]_1q0qOA>ȱ8xTu>P

umL2Wa7}= ,?c5xrcGݸ-6P[iͫq9^EET1/CO֖J 1ׯ,wI]a?_O Q5Amh[Sm2'7Dբ$w]݋*]e>@5C81[+ XMfz/ G<(*[/÷jccp`1s-֯sM$Ӈ$ !ŒAp M̕pœ'}DESspydHyKFd~#?Π#j|Z˗ɁȃaP7֖7@j `K#6^Ѷe֓[XG,:H{Ny1SU\С? )13 }e oyloZٖs7x+!&aIl=VXZcX@/6F:uX [ XTt[CgiF+ /4 >KL.?~tICz(^EŒq~acK%V9|@hϩS,ѕ/멇!E : ld1?\J"8"9}Niqi-$\O]ɛ3͆_5ӻ ?԰(S:M}pJriؙ-e~T2mn:ބF[{nIBfDO{AT= ?h-LNMp'_h=,to*BRMIHK<+Ud77xT??w#bAb#*YD@r73h!vejgkG-@m0\rt&8Vԫ~"Lfo]yuzLG_/tߟ] /AyID)ӜC5ɱe}-"}i|WbN) *e= ! dN\*TLQ|"珷nl&ʦJK&PJ/:{l!yמk<A)oUzl@/`NA"(4kB(7T,Vt awIc :Aϧo?γ3"P Gs.# -f# ` ͳr߹ѦiƋtT smY($\e[W'XkmMgɱ^2 w#.3b*|}|΃+ӟ9)BT1 7v W/2#Fuu3X8eU6IHO|+~N'7 $&"f^",@TSk]l%s>ρdI*nO"-%(J*Gw', +<8Š^ Z'x {r]Ty%yt ϏLpٶzq" a(L#29<잫P5N%5N;=C 56t2Y>r4AFB9[XWqˤ)M4YTxv(A' =s9E ݗm*6Q]b12nP)_?p-Lμ?0H3flN/S2&WkYtCL!1{j p/ pe} hMUe t3HwNepЏN)7HՐ?ۙol:~z\*'E ̴q`Enϻ2+7z__w[aNA<~hݚjq1?wUO޹$ͧ>g#{rѻ^#=YK& Z.;KfD镕k\\L ~̰ƭ+%j0&k!UFZ,mv!EPTrl<:τ֯kkL NġK2aDu6hz6*{X|Rf25h"ՎmXN[1Zz-IiZ^xjn.,v8i7v,{թ$gn]9kKFJkJKwH'yKS%i,3t O?u盤 xvQ5ƈiT#̚Zwz g*")0Rc,ء1&K*MX\fC)ְp&l{}+ upHhsbYl4-vRd6TAd?emr< cRP? x %8Yyu?I0/eBM^m1wtk*<>#ZJVzW#(dF̸K ">g]J;toHyp:du 2'Y\^X:ESMH n#F륈?tN಑LzeKpG}X&dP`uĔG睠)jL)LD+TK'|03Uo*l%4pr{g//[Y3Z 1vk_0{6H. ԆQÏsj G%ÐwR4IMt_`D0{"& t_d$^xηV‹Π@P;lnS]ڽQ*nZH%l|j pAtkJ dO0Dͳ9DUj4+:o Ka/;qޏ$_;ZML8s6AW/lp;gM(nd!y|f&4&%?hS^*%NqTI"qJ]6#(t}t6$xnz|]UȺ}ƥ*RK@ pJz S$`ҟe_LW"Gq.*py ( F@u`eqtƘ#9a՜[XݔYQ2ٵ~> ӎZxgyik_<2*ͧ[ wQu-TO# "=miuNe״߹,E"^~hаD3FĀ¦B|??:U󉰦t1! >hౙ >j1Xn&@m` A-w]7D`ɡmC p򹉅?\iAX>5Oe|ʖmN].R',eP<3^`QӆU"  ?p^l2.[=f]eln hrW k ,C{;#aCîHfS.zvq ʣ<d8j^ݹSg =!8R^__$V^`HA/SYhvU%$I% =3c6H'J -!BŜ=Sh< \I~c;&G  *xYZb?s\V~sn Pj2X+tѯ>vu|D=_1-|x%E{$=U|2V P+zjK[/6lSi9̝Bv Va7-vLYuwSINJkХP:}lftOȇGr'aϘR@ĽQ:Xneط8~P>xX* /@}Y =LWᢖ=42x@ȜOg6m/E-J|q0"G֙= HTL͵d8)@VZ;9acIXE +u&zi.դ%hL0l~' @\7YgXg'@yQwe'ؠ]yƉ26 B`by A_Q)+hCŠ6XhD(z5|6]H,v]fsPDž5['03n>wBB90)md飴)ZG6~? tF&e[;XY^,@yJbF$cQ~'\R"CC(hwzfci5T 73 DMF$4_!.n~uVEiF1 sW() fH N1*;m̏Ȕ%a|],T{h#b?řNh3 飯ӾZLOHaz]WzvFNKlvyFz.ށ<{^c9;1i pa|yݚLGM;|>9t38BcKɬ%4GLKdcA%1YDw}C+Opm_al8w<=Erey+F47_m1qV!FKi TvO4ۆ6H󯒞/ ,刑S,vv/+p@4zxiA9&߱ش!]M>We% Y@M6{;QS{5&}Qu9mSNX+6K 6aå9y?pZ5ց*+Opdh׍QU:~o &f 'H]GiLj8S,)W?A%>`| BPu;5"#J}ֱy7EsîWV@}BBpAɺ Ӥ$R?iR*>>cyv:/$W脷&nAq[+tן$$D5Xuy_SQjM|Z f̭{b@? I* Գ51UTQEBk9[uq0pՋGL]oı( {K z?h4GJ{V* nL3[&d;ſں5/ .O0϶@Fȅh8g.8S Q^+|HbeG);~]\%.)2$D8gs^v~GP\_GLcv <|8ww TqxQ啯{O|])W?>e0s$qqq+<'\M^8Ѕ}j<-jVSk9u8zlls:,X5e:\(=c/U%Fy?cuh*2D/ }&:G N+~ړ1) crٟ0ʺߦ0\Ds߫@CG l{u_:HaTTo:S)]JBr̗:'KSY'L8e RL"qѳ*_KIF: L+kiL%D g xyLrc4A LX|jg{Oޤ/>JޙBĆuX/W`>RCQI wL7EZ2q]?4zpGvsi.8 Wq'caSLz-# bQm7ZB~'gl=Y|}^wؚlo1lQ`E /,oWR]I 4d&29ܓo=p'dF :NVJͱfB ?iiu4LsgdN".c|I,xz,e}!7:n8`!_hͩD'=HzO"Z~R)K_L䫑<6"R  ~ƆkX`,a~,[r#%l<%rhS!hu <7H,og&w jy#_{kOܣeg 0 |iߐIPGhz`sN0' ,H1(k#[iqKP-"⼐ \k` kPZM[Bxb, / ӬJwMX~뷜ya->u**ؗt>1.4kAnS @QEMgYZ7zXZִF! MG]ŗXi%L&ʷQ8RL}횜ct.k!oӃ_ yY >9? ܟpe6\c]j"Dáʠ_(ӥ$rF1 Ch`z% J+ѹخ~ARjv_"Gwy j=?}}%9 4k,=l5GG4v&e b]L1t2L0dpDpn")4q `:o'B쏜`BR[^߆ăwF4ޯ=i_P|z!D}^nz^k7/Y~5¹#Vؿ049২xhs.-n3^ o}aN huqLFRh2Xb41尀h;zIqp΀kVr)&Z91o*6 *dF-*pxl  NgYZ6786e98f5e908e58a8720386674fff6b7067b8a89aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c1fb171e22a1ccafe0ebbfaa95d2b88da2aa4a514