SQLite format 3@  .S`  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  _Op<<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.852cpu=3.858gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"i((-! .ܚwUe}V{TW~={lJFQld6ogYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.858cpu=1.702gc=0.000ow_w_,}YZ7zXZִF! V]ŗXi%)BNb̢O3 Őf(G03ÁY10l;N' 0oN#CzvoOtSҹ$dd9Aj@YLxuBBozagx?xDDdFwf?dx rXt{K/,tw+CY6AZ0[8f@ yz\lחcpg f;06NjӠW CΫQ[z^lTs*M^#ۯ9 3c]ʬ $"-q@m me 8N!aDoCELa˙ϭ`bQ6 룽GRI_Kp崓Z[fH-۸wGq7XMeI! g Fk=sh (_:fJtl3 %&%#_AuGQ{eX|iJ!palrf/>X["7vs59`DoWJ.ʉ\r mRjPu0"!gYZ4bbff27895b153136e34acbec3f68ee58543f39beaa94e7560b78888e2ccc5df82217e3fa99ea515 96fbfc89185ba2b91d08a1c616c5bcccc36f7964 de7718d25cd9c7fbcd8a0b1e8d2a1455db520de3 9f6b5c20f4ce77c230e753339e37289d4a41dd37 2090157b6c42695cd3507421f43f2dac83112ee2 $O HOL-Nonstandard_Analysis-Examples8Oa' wՔ>~6#ԛupȍ~Ke;Ytm>6=wCb2×Y)r"('9Q҆ wB9c6N%6OҎi(.U4kgFΒii)+|{ qP+ϯwcK@ Oϯ -fϳjNAJksϱ~xaRfʲ-pxҤiyËE"=߿>jvFm^hn4`$,.UlYY]u~{V%X]bCuX`~  E+&ZǍ{^5w%:4GLbXWR*~ñ{οZMuVeFо~ʼm4]6U^W&oGf݆PW(. #H8;8с+Jm[>)^9(5&e=7OD #q Aw88CiY=?d}DNɠ)a*kIe.26s 8;菆I$s+UG(3)I]5kBjY{H4?vRHAPLzO H\)"u[ޢ6_ ugNҿe/;])èZrI z1)Ō.IHN&u{L|'G*ʠ`ZԔ&Ha :\?pwE X|n5E]i=-a Qp(eէ,Y"%o2Ip--vOAJ@[(dfn냕_K}t9K8h~w9WAȰ^.”9N{aSJ<8G:9 }ú:67_T szcu 5M#tsfM d.LQ`bHQr<x>E_@ .xԶkwXK Up^*mM{ k3K`2\P=ʡ(!Oy6J>9iسYk–.3 =< 4+]z&}vG }ќ HvUMkN-P3kϒx Wu鹃t]A/\\Ri nY(0Ft7|x9ٵEL67,fn3EɂNVчn]vյtvwdo`7c5EV{͖BJq[l|P)ٜ8cl¥x Dd` mbYy|hD,>&,0C"6p2e4y7#IJ-!g^iLD(hyh$\DfM;꯻-(1LӃtZƸ)z%B5.!Aw`-,?Uk4w 0HƎ*5 ψ] Ǿ|mJF᙭_E^@M`0ܕK]ƥ8({x/@4YĶ?90\ڣm I޾4)*ZTZp,X&)RkzH25z.Qf*3r&&Szq% xuk=OjS lbz:þw@?o7xz6x*.s-e - ;P6ru;o8n4Rć߹:~+')S+dh9y {@ T50^Ϊc5ȝ=l吀< M}",kWWB4PQxٸ{E)~&ow!,X!7GLHiS&e[oװ7Q]]JG5|mƲ+V*}5g à`TAO70,$vN曔hX퀚I׈wcCpW:.KNUd|.%f.6xYdO ŗN>YR/2FN6\w"&/^}ryps_e KDn9YH8?Xч$b2a)->U,0ft|O71Iqޘw٢x_s hRʠ-bףg8'@=D}xU}B7!gPE@VLyYG:ܶ߯F.z1EK|õ>028>P|gN&p /*B=*ԇx[~f?Z:4r$1i܀ju8"&njj`C̭a,VϺIrIgz}KphMnpܚ|I\є/ǣWUepvWZ֗*_-Gi[WGp[;2ĖK`'eL?}2&^>Ai <UTi|!៊Y":nz g$?|[қ c` .o ;*qn?(6U6舂.o )?UL~ccon NE!<?5..|nwOQ͢Q4koPՖ & t`m3)UZ¢Wy򺗁aoJl2f1Ԍ8#&]L SA.bEOpg\r`^jV7+ Ho~2,%ԫ(< PV;|zZpLo Tl:lKm"'g@THaP'I&x7*^*YtpC5J1wzqIEWs`RwX DyO*) ~Z֘?t;=be(^}X\moU1wxզ4DxJ:+1 #VT->sD $RInYq|I&QbqE_Ff ]j@Xx R]_qFzp<!$0(ا)Xf]8BG+%;f 9~fKD~{)<#^}[]^aqFS;O_A`֡ Gv]6ڷ&,Yt +krɹ` ߉@l3Jboai9e0FٍtI.c#K67A.v:K t喂/5 8Q6+W1%x-"-[q{o\=%W:ŀYRğoӁV4mp2%Fޕ(CU\v^É@knC6: 4'|G ~AS i A7_\'f. c.nU.͝cm~ *iw!P*.졭v>{?y3^KӤ4'\Q:̣-_"i*o$|~-O9J On$ }Aō_^>̣\)H5&q]w28MdS|)"(\X+;s*m *Hͳ-e=lQ;(54~MHYѽu [ˤ|*dIAwODI@T23&uA;{!$uPzJd[3fUímv}vޑVL1~}/ۑvv@r\ Vz+jD펌`;zycfͲ4K#YѮ- )^O^ `_ƅ1&R[Fȭ/Ȼ p[M/E7ÔŒ.GHbh+c~Ub2pBLu+K"׳g**{HU22ƁsSV̷x>WA G& yu{}Y吳0cSl_sf|_!熲NwoҜfVVуb I65&q8`epgl[A(Jt:w5 L Q_ t@dW?/TD] BxM/M9%͏Ayj%Kf{FR7Շ`TJVd4.-?|*:A6 j;~&3kƭvwgc'>7 Yf!3FR/ s~ .!M0l'cVyp&FjPZKLXh5Յq[)$F. Ok{+jAT9NS?/Ƹ?ޱ7E_]UWIR2k;<Xo^g`o G }oUE5G0[Ce ;_ӖB>cz8+}jXŦ1Tq#(z(oaq"]Hda7ߖ oI:].i\n2G?I8UsS jvɉJ#b!\/TS]՞A$ra lEKI@ a[ޤ #`*D4HYV>:.H/R<-AN/-Viک@צէb2ñPj6K Dnm% JBCx I ]XX`IA,d)AS73^+KiY`t2 [m!HMv:<=e~B@Й(@ts1 萇Ԓ%̵ތeZ25en~$=U]2`tB/~s|[`, O}#?q/Ab,# ZK3)G-KP&'v:& ml$DvۨxL/l 0n3]֊R&e<1|* +_s|VHs.ZI͗c-O H ~X-p{ ш1Wы)U՝xOة6Ee'K 1ڭx]bI1ȷUA>&bNr;%HvebFzdAULځ:c5NtluA\wN:`Dn+bK|G׍5p(F6xIH*a?sG=R6(YG1ݒYH rZ^8n;U!a/CC%!4>),p'Wg;n|(8.g$?=.9^ (H )<!<^2+%V]˯g=,`ˀ G)Fk5y(/ b0DU]`/ jW&.)tk:.2g |{'UOH޳wGo> pͧ*~@?4VGT$4 v]ZBrnEhPeC-Jա`wnhwIX> 7D>Q5 '."Kb|ݸyL:uë3>g{>,kV'bǐUީ\З@82[ 1fR}~fHK{a+?!Tg,r;}nYU^v4l1^I+yqCvLgzߛgh%^ Kti:.5<塣4=L@AŇm4=J4Ԫ %>O($_k:?u~nΉgK^/J5`O X, dSeoZؿC6%7{,g%vu zp$ /(Owg٪9(Dcɫxʡ3ɜ2o FF)iz3\ᪿ о"C,nX (qA3#rfʳd'({ix4Xি7 %A N7I0cKXeٳ~FTdPmIΊpx7&oĩmːE8JݘRBizt5~VV8pZ(Rz?]c_/ h ! IEPD- WP7XqƧV zhk^FG^Z{d XHT֜7jޣy,Oĕı6EXBF; s#F}4tJbك*ًRn[wF! >K.ب?TVNEm+Qn{L3cs:zmgStrT,<(HK;XtR6cKI1SmcG*l8q&+¾-h; VnEp )tRWLx|uC?!ۑ-˅]XF, %sXaJDNuL4%lb!`QrACH y|OMҸb"Sw@b OT MT+]O%<$,O/:hLc+LD =S ,-~_{9„(%KN:a! K6,JbUMzL+)*FyFx_o$%/)ǜQQ 8|ZS[v?Gf&.FZt Bһ2<$x};,@XkBQ򧗭.סsgPqbM3?7Z6FVR̯iIzbu\$aL=v6 X %fAc;((*)-l鮙h qL7'rAJKZ7XO O )K=pz$#Q 4/͋63=|ef WEG|NҿhJ퉚! @k;|TW^Fb u3EhGWЙC*SEKʦhFiTqy?84ilfJByoi*ci4<\QI1>+\QwV؛WHՠl*}ЗqK.lrOtx?T:l=-#۔-`$e|eWIf:F|~\B6eB媭@Ω$jhs^rr; 6x( a ۝ 'bC51,(~n80'Z8"B|vR^;devܕxmks=|(r':.=p='*R`so3fZg_> b[Xv4H-.VghC_ޝ˭-],7BñǍȣGzbh y5j+{iP^,1kEO%Uۗ_ytU;`o5oa<0aʷzm)8o+ŁMJ@K3N1\{HYuȪnNzf: >`dbYŕJ8fFp'T1@r P;4YHY*ʻzB[LSmKvzkDE|~v0>@Kl7f 쁬 1դN*A"+|z]o2tkr۸x/? _gЗknǑ0! '82U-,=Գ(].8}Q 9~V*DjpZWHwV3 FCz7%ڠwhY}V.҆2aH^t}TbPMX/ن3Q٫VtA(^EF;@s%ФIņ:M_bM1o@7lHҾ*g |_(t*t Xi@r}=qдVK` 'Zϡ S0|ȞX%,gWesBxpl٧nӲX>q j] PN NjIlgJW1>C稲JIÇ9͊Dh a &+2S ΝaR DCbE&sl8Ïj dSRߓ0!ߐ+eS&I"3ũy%),pX$y. CQ"?EY\y0#4w Bڨ{4_&Zp!GSl!YhCnSAޮΆj )Z)Y \++U$f.c6j EabGɺ kAY7Z5@R?X@9|JUTӑ5 iA(I#xՠmS7PU`沇]5!)*nn jk[:7 ӭ&H]s:hdpU?G M5VluNukNַWeV'_)юr*^ \(8w{P~tM:z4ǧ<985hz CNEV'N opVNn Z8Jku\O}2Y}SߎΜ5CS*6++W;j'g!ѩ;&yElzeN\I:*2|uϿY ?Yd<2%3M^CUw_\[K#`D$B0n)/nUoCT`auq S, Ѵ ur{] tԌ&>yػ4y(J~U} >֐>R-i1j݀֬/~fe1?n|RV2sl~ w8]~-^lR 7FTox= )c8E!#UV .k/j8)*qUpL 5Z!ܸP110n) Ec&&U{ցLpT;N^!?< >,`NjfaF"J 2k7"|OkC)1=__. 3awCV&*6%UfpmϽƧ)* 7IUQVa5;#t˜@z(xkjÝejI2ͧVy}Ot֜PꁗHaуB``{nP̙N |c$/29HB~H3+ֲ `61[E`!胊I<ݪ{D-hCSۓejϬw"%qN!/=hCزyOڐӚorpr -&vg|gDJqz$Dc(F Cp$7z1 rgYZ  Y* 8Oa' +l!YfEGM,"Ff js6Qy6oH;&hfh]|PMKa1mߕv Uy'a`o6USԔU$KPκΙ7qAs]1Ƀa WK/fҿ*ӢGDŽ,Wvj&dP&Hz7w4# QDBizdrB8;&OH C6ay!g{y='D۴YVA/SʼG Ic"]qt' U#S8g0X$iQ9!cߞ9%e/COx )u+8 QAA¶ɥ8;S"_M}œ~*uCfwYQbJ섹]Kȏdiq.r!?%.k- /q!(䫾[sWpcew~hsa^KI8Ds˿N0D\FhעCe3ЃmNJ"k!pzt ਁxV8_ƄYhqM~˟[..xj?qpd1뒅"ԼCEK,`#vY6u^C$&Kl.B?!˂}U28Ɲ4:p(^1?E6RGC6OK 1tP1L\MT uN~WFCcŠ/6ú4TP*;Įsne 2[j^wP!uh} dOî;TCJҠV<%ycշj EjB`9ԝ3eUX!T2A^"S( ``Nd`[FVh k+*FuP[be;wlᇪ"ڹM=%8e5n({`3x&P4nyԁ$~mS^ ?b|2ӎ1tCǶa :\_l|x:F|A>0#nF|mm/ D@U΅Z?Ֆ`_mC71xC*C7eU3=܃o+ /-y! 3B_k~?sˎ a[, G[;I31r>rGOĻ˶r }UvP6g; 8E9LܨEGUtKk$u;ˁ捎SQsI@1Л{lu&pIf\]Y9cׂyR Zh&W!9a<åo{͵8h/i 6up_ ?_E9'X`SoPoƿTL}M oWP1n`t3I r]㻢'oU I Yx PzV=c Wŧn Y^8(O0IF!60Pscg4vۇ7]n!;ͯ7Y޺JQ}$zT M1x\r1#ʞ(>7I %*dNcWF̀Wu**Lb5]? |:Sw|xU$.-Kpm0ƷT% ܡؑߑsY$}}&XX}]fKVs޹wOIɞq eڇ_*߇R*xHL@pOx&B_f*/ޜ1&yQmhWɚ"_1:E^EUHI ́@ڼ6eqdJ]R[uVfÚ碕#ieы9QsIg! 7Kv+jY|?T;"%u0#^cf#&Dv;!7URSe_Cqi p@\Z>ʴY?虗qDd5j y"o1Y4Kg؀\eI;w@$ڑPZ9v匕E!gB#՟Ym{Y$FPf#N0ub&QEobwprbT{#GGjbp{I|qTX{Ф5FS{>w˾ôW؏rۉER{ۀ߀u*oCo+M/E ͡HjAy>9~W]BPხJ0N'?avG%u3  DE۷8Iʴ؊iS)ĕᦺ,3\vtZqؗ'RZ2D@r3 Ci )GKv59]JBYU)M/O tKc>GA 5Tm关E)HyȜ?Ф%3lAMv?TΘV؁ElQY@|bS\(O"}6!I/l].nMXgYZ/,x5ޏDLĻEi5:'!&H!}h˲UZS #(3-tʥΖV^SX7Ƨk -1/ypn`,k$]wп"ORPΊAYoN;20],1ɷHG ݔ% #{>YXj{ZΰcS!ބxrJJ V|.8)"@{6 3;|Rt֟ <^J0atb ^P"Cn~dfx~zXvUqz+"4Pu]>qIO<FNtWdwE?S5B%[kP1qY7.]nV')8UV:o]u99lcob=JJ3{PoYkX̽I=$ytV ]XK7 S 6R,d=>N=`DL7CYk諏~lyRɝР6ɴ?9.B]/@ق'ݩ4`7 ԝƍ e@v%x~v)=OclMI76]}ZҀxa_%' 0#8ȯk4o41 $9FjXyL"1cxŐ({u ٚPrX 㼘frO"y?Q06'mMlk=vdL1YO t515'\JixX% 6k$N)㧹v迫8Ѷ8]I1 YADj &ᾟzè^kw 6H-(*yY)YR௑X?`Um 56q3ȟ]ńK=V"@'T_ԡN{j?NqOdv ރo\cmزpJx I8Q9/fj54Q!(&Wm|3Y"o3uI:l@3EI՜Z%ZtLE%ʢr>ڹ+3ұyllIθj.J-Ux )(3Jrƶ\ڮjA$^qt0?93Wp'.wU^aֈh8@,Jʍ<(:L#GD_bHkS5Se_}(m[O`!>HtOW^ecSr&{J-ƞ4yǖ8 1>E2o&4?+v} ܰ#gUҩmb350cC =8L Γj k{`?Qrf./M y]/TEhtK0N/}ٷ*yT1Z 5׼~~%.@gG#L GB`G[rgxMI1^9\H8%hA<:z t<0)|><pJKDZ/R0HhtpWR_,5W" R%8f')BEEvY#OB` LA?9UuA!Atywm1wt붊s$*Ij 2a_{FiZ+ܫ}"[{%-e2-)꫽/̫n8#V ?:.F6^~ f4Hzz$OH^DAik#9~gNv!KCj"y:\l6.9*Ks —Xw֛ZT7y`:_o8|MSC @nؓ1TK2ӱǙb9F5Z d?S:pE}G.a3\6ĴjeSb Exhkl3C >"g=r]pkdi䮓:1dp;lcPO+1AL-qcW1pCbѝg}MQ܊` [&pbe.Oq7I}U-ob=# ʧly;HͩJ᷼Vt`87uur7Bw,l<ɛ(?LuL$E;Cy,Lۀl5 &eA/-XunƉI LN'6Pz['V.|_0ƱwV6-&x? [ zTbcM`]a /$Lb tK!F]b rgJwv1T^uথVgQ>^ԯ_ޓ+i K[ci\x9"aT 쪡-nZv:CK4ISwT7Ub*壓'OH찼831H(;K 1U4V!:wI{=ݩIfOA~XN^\qyN,!/ (DhJ6>lkP)aE$du>][߾,>Sx L)Ҽˢb}[70ͻarA $x:d< ~Mѹdkp˽cwFVnpdQoQM$|Jf;3'b]ӛ[<2.ۢ&WL$U]\y`ƌY+Hg7UfKSp(Z+ D<-}`Neo*M0<ua Z<_ya4tfw4"acզ^8c?MkD dz(+:@,"waUlY&L)wӧfN@6N`]ajE^0 @n%Ȇ 4&lč/_f1||dnrl>m`GTV1{͛V4H4A񆔫̽j]UÅ5YpW_m*U9+$BFt+_/vCj&gdvc Uw$&X/#BTUidX-AOژae3 ݩOsAqL6Eي:6`SVϙjԄ`Fs̎Ze.ï=~_+4C҃nUyxDt;Yb; :=C~"4h)JW0F4p aCU52*+mےVt:F^ꇌ QL \'lfX:-X7WBD,zhS\KυP( #muM `v XDŴu3yp-Ͽѝx$6!Gry"DqSad%N]љvJE]N 1撨[ g!CNQ5/~}jر'C>ờS -þu(52L)d4xxAKABxiv=b0e9TٕVUPtQ㡝go˒&3cl!L>g Xu=&}hɒuÐ_Sǥ5l׸4D7ɄFnKg; @ǖI .8K{hI|w@ JU!>Ӝ6@u RֱjyΕf%A!Sr_8Mgk빖AvEaHLTf}òY9ԋik*a>."IcG;80̶t2"-jJw o+ wW*ζ.:efs΄s\e*`h  rv ɹ/76HaƏhAIF({,#DN( Zeq+y;GȯM93[P+ =:m[I†Y [;j&9BWZ4~QQ" .% s7OV~[=>ٌ9ޘBRɤޙ2tpYz28> bHJ0TQ;]Y]е.$pAٶ~sAZl3Һs#Lt;qxR|Y|[3]5*<Ώ,8x$fG;JVjq0{Rfě7(AN*6(2,$WT.pē~mln]]Bݜƍɜ<2ELžE|UqjܭK]͌iMԜa0DKT֎V 3whh7-x7a"!k PJtA ;5K#~t!4J=$$u59ȚJd{勌A&ey5XQg3[K1S7X +v6#%fc{g~զQRsԃUhoiUޔ݋$ϻQG(VS9׋EbbG&C! PsT)fkbαobЦCZ{UZU\1gIV>xXƩ.fz‹αd>ORf6_[+P2! דTB=EHG' Zx ozZU.9QF~7qvtLݣ,PI%bqY5!?$LSCy63yjQUFܻ˞vvJO[&@:Ȏ]ˊYq;maI5P,sԯ!Mفf u~jp /RL%676ƾW|;qV@ WK3@`aqO| &4ǃ"Nh5~8fCbYÊz:S2[!&Ryd 1U6<>eL\/+ FyJt >;ƙ5n;EٸPOSΊ)d?<\7;7%%N*<fΌf7 AEZvD'lp8n;3R%.3LPΑA!衇zO%O#E"`'WHҫ3rԲ_jȏ\qAKnY +Gyv]L(0Vj(~ z--aSӅK /s(V.b뺹]Naa W$aeU৫ǡ: n7kkeWZy/a2w)+߯ZEc`˂ yru9,:ޕR t~W`?R FFé #f(ٿ*nQ RY\ f!&Lkl`w`BИF2UN~[7QxYJ@Ź ' FY?1_}Y&H@AhMuQ(p?B@!qhEΏW%@8&EEK>d mPdfCh ?躐B:v Z* y iV#Ʊ8+%GQF2zyC05 M~Vr޵Š646D4Q0~7zB4EzWXͩkrg1{دnrM0$?huz1C3xϩ&wSHEcP?îѦٽDQ&Hpb.zv;3J[ϝqN~lT"w6ŅXO*㌁g >f3u%{I\)lTaH9nq(4^zr#\^t8Fk{(G4Rn+g꽬A(w]mzA6{Pmƭj1z ?23w AJh;W$XDqE}thXiJ9N}X>ZB䰥\@#퓈ogce$" #9u)|_ehwf &*J~Kfqz߂ +&[ 3< ]'d%>'j\,XVI._q4etz2=z,0ii4ɻv$#=:a7|4:ʣ|W| >sD& I  P\`4NqB-ܬryjW_CرƋweW]Cz9Ղ:u'XGU9u<+hmܡD`j=|qXܶ?{熰F|fʼnHlz7xN(ga/7 M@cvy.s͕5L4?A*&KkImPMW0?&d =6#5SYdv-~Y sq>p>\]1h, N'K x St$çmYmhcxQ%ZKZs!v9Ywĩj)XP[˥m soo3L; 4髯hwSvtc.ә{H[ d4E~a6D#K&6jPj=mN^@S&^=?|0ɴ̽}򖳎ؓta@v;yroIp9 s+,o a.-|l:5ѕF*D[{esJ`(Qv2d_P̤jݡ&ÂIDL%30[0$l959T 6+uR^_.=[z{͇G(bUBBLuE?sU8&* Q߅r˜g63wzqL' <|>F0#<'y%U: Xliw>P&/y7.ǗJ*m*" Z;gŖߘ[}_=# >J?ARzE$ꮣbSp o,S>ٔMɳc,̹7B5Ty[՚C>9DO zYLKŹxa<:O0=uC9h'y9<fU[# $tf3q8/>ٍׄ2I0N36X;:ĵ-an zT+G8kG$P"@ZD}oMɡX> V9 iY>kxhto#M5i6]lm[ti* zO%_x+gv@?Ycmub*/Ô~Sq`\@>{(Pޛ.M+JJWJ|Ơ* fxn/,r5n{g9 3u#[? *>+n:kAa$BV D"rѵQOm%$K6w/{mSP8p<~;*焻-/9(zmTH)öVe"'rY=P50/)@L_|2ם.P៨~HQ$Biv?i*c"\ Ż/D+ɔ\}U~Ni [^IZL`Bi5ޫmП[ʈ̾7bJC LhDrL@WrT" gڒ1NPJl sc9;5-'I'F8"=2MޢyMׯ;M [J|yN O N0נn$=831U8#4h'ja9DC.jHKHT^ԖZ-u@A@92sx֋ ]DZ4"O죴1Ku3P!&Ҝ-պ{ogf!%6ccCӐ]aHLM60h <'Vbo}FƌđI*>S"9fHJ]Ge؍ёdV$Wӭ}@973I"=4bd̗}dbl'L)K8?]*0iI~+o66Ҭޕ0ug$ݲfBM5~²KqK$έ>#ZgS>_h.6i;Lބ"ON |`=7ZdږY&b6&5cA cnJرY >0;;&?-v2(_ٜΦ.3u" ?o$C5S%Y}=U6B2nb2nݕ\8l ь lDW+"Kgp!2︋[E1)1{C &k|܃$oR޸J3J9ܥalU#vjF85W5|#z Ԭ ,$r/0,ne¤! AE·^:]^\OD;"z'SN+\c0q\G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF*'`w##THtmUՃiBr6#}}yx 7GrLY`D& Ul9xW,ĴWE$"{'nȠ>y>ǑhS!TJsg6 xDcknY3oڤsc1)%S/ Chb#pt1 Y"DLUhs4.a$=fG;+GkzLj.*>曲\|'r4u9_*ws WьDeFO4V?/ ˽}* z0 LѾɄ/lc:HJ[וyrATۚ20ӸZFZ f!L$VNbb lx%~4hLm0˪^QRJ_Ҩ3r3v¶J4! +Tyq-㞕*||Y5:QfCS=zt~E$P7-k(_r{"254S?;0.( .KO'h[k=#4L`NfMk5hIZ]vU\ًb#r4T IzX߀(MR[YI;KoH!sYX -֌wxC8RTɘ^x)E]b1[Ho/+,RҤ)t7A ϵ 8Vp]nBgl@Ag^͉0G.D*Â.W/8B2b4\N·4?/XLJ"~kvN>Cq\P5/fUK t㈥}_ ֞`|W겆ڮBz%C](Q̣{<FdfĊ:àEHn s=.׉g*$ fMD2K-R,6!2$g[>||LaJ,hLX3]Т@'C"ZhU-2Z]_D&w|7iHee#Lx?P _ݼ0hX qvppe$B]7#hDJvcUݸ7;hT7:@k_5چ"!3yO[Q^_&aIY)$$[bl0%DMd)EkLU6+‰5bV>toԴ*ך)5*WJh.<}[U|*UC,Q\E,3PQp7;Qu3C`6 }@ivic烫r,J'(YMD%s2{&7+0hU*eB{x3,;,Ɔgu:,hvT"̬)@#v+;Liovq{%nHEd