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  O=rtdL ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.950cpu=30.668gc=1.5687zXZִF! ]8]ŗXiɟH)0%oqPo;LCx# x  R!ƉN{^[ Fo ^uYkt 8_:xIeD|F@AS#VgnI/"G>Roβ͙ le.@#V;Rà|6!׶pU4.wbvQ( + = HOL-Nonstandard_Analysis  vdX .^{_')kùbAaguCN5γa:;olo@`1R5CO X[Cw?X(T;?FEG)،zvuU{4QjA.wꨌ\$Zf/f`Vbff/RqbvzWǀi۫Hx9цTD\iŖIm~I$7&ק_&m 5͛'Y Ceߺ{*p%gXm*5w f 0"9T-#jpAR^fLnN-1j[,mcY\E<ٖ)Km(ex%<YtQvK((7m^z%MO]tlL%#&6 .?Wշ<8_3aƵ5iХ,΂rX/t iqS(tro20Rmwq*+dz7qGFt:0 SdYxֆ0nߢ&Z"ECAt!bc43!E rVɗl> FکEk^v3y2QdyLcoHC ˲ͤTT>/<ȱv[- 5loŃ? 6*lDޞ^l|c=+xA0Pvwn'njg{![v,K)_oB\V(42)@lfOQM?AWVK c@w; Xc`ق"VF_ž 1\EkR3M0!#q$b֋rehA0:@W px̄&Vd0n^|h[S@nN9PkMJvNV>b?,}X Dn=@y/&2yDFSï8O&(:vT=48 dq;##B4"jJ!Mg>MCQᒰ/y|M{|!b*$;,zy/[h4!yUie#~^nPb5QWYF݆=W5P5<ڊEzL)a␿9 C]L1݆F0NIKgIugr#Maģ2tUӗ$놩t|j>U `e4u*oa{cr4e7vlu&G%#|T`覆'5hq &0H}rf%Pܴ]Cya>Uz Ppƭ,[Gχl.&V_a M0s? }c=PGFlJĚ@Ą)$1Y8iSaP0Vř {m\/晇1ZT(-=JvwTgIܕγ'7+av{%NesuN V)> {B'HiX KEC+nWau׊\ Pm )WHެ qS$fvM${c蟨D˗76K0Y_bKӰeo(_{[bk%AD6׽~w#yU'GQQ 8d]n;_}ZJ6CeŐ5) $?U% _@jFݙ"PK ~h#߫dd9ZZlRhhsl*,k#2ہ5IFF= ؕNX(QIaW=>$ȷz\IɋK7h ޙ$cQm_ *dtG MVr3nVEky_b[z*IZ5=ռ.48R4%{w`JKZ4 [z`oM8UU o9e>gr@Y3TJ}w! -ͭC*J`~d` gD +hzG: Lqt;˶xL-;H@A'V߹bpmJ/-D ;a4&<._N&懿T u$/I^,yZLuOmt~K:G_ 9/WM 24H]\SYV+4VïJ-Y,D{n{1sH"_;aOgKUľX(I/lr|*{]V29sfAVExR4&ins1 ;0VfܷZ DA4^wlE:n)jwOk Rk]苧YN)sYj2mMS5n;Mqٛb}8Tr((a8"*0)z E}Cn0/WQFZݺ@ U wy .d8a4$'K[Npyhpz<_\:e@ybփ5yH0%M)džo/rVqTwYnT<#]UuJr`͕|=`Qoh^;/vb?[2/%/9UL1f0)؜1OB?'bl60ũۃg%, , y\m`d}ƴܧ2Wi 8˟6e*Kku1^-2 Xȩ=41 a*K \k\@;aθ 'lH>z_JmHS*_"Z9"Sk`ƫ\1U|bS{W&L#"}?[{\APkx,0{DoLJ?1,껣2z -P_{'X|dn-Wh߬34±*?&[e¯PxvWuqnF_؞Ւ*wĘOLk 1x?f#JvPZX[j>@Kߎt]es ҉2')qvLϒ: %ϦI̖9?["!>|9d#&ଦ 8\ i^Jap9R(ju)jv?d 7'UzpY[7qDbh7y{u~y s uP,/tWkUcy 5h2`g01o\|[_C`6d00e-jxGHyF>f̴ --?k].響H;T`i ֜^n_>L.T&kpnVA~g[O9ݸtwcH'=jC3yU+Hԃ9K0OQ ׎eߴz_wˁw2`=-LBC}pbN{)A&RpN(lkFq^9~{c BU!-Ȥ'2 :2ĞuGè1 v݂Yu~H3\fk K|Warhd Ҫ8U.RʧފhI*@V@EJ#`!ÝGsSS*VðjtK>%XBN6yqҏ\_U^`O3/菢IxlEsѧn' JZҜOd%-AЅWm=H>2᩹lux^c3go̡L&Yl~2\o3j;!nېS GgQZ-ٵ21>zHi: nAt Ta%F*pKv\6[ hКka#pk@Ib;.k*.'1{GTB9?d2WpP ax'C(=6"`D2lbA7 x8޾-AˬN&ǖʷ"3T\$;^7rp^kj)Xz^~k]m1X'RmJaG/fm]O{M0${K9ZMl4hKZP;ongK%us$,L3 ߒZ :#y}y|Dgh75 J->Ekɞ՗_sA ёER sh֣hx!$-QdkVM{cdp%@Ln{ruu!y' rM PO/M[;D}ʼmսwyZC1~B"A=$Qx i$[W)%m 1hlɖF(xmEu% b {cF7iwvcĶ|%`F1,h?a o}嚈sҔ9GϗFC+#bCnu6*HAԨ+"ztM1;T8%ӳ[g>ѝYexz֦Lu:Ƥa*WLs7 Z\Qnz3-F->a?CZ')ɶ2}}pd $WZ) =ɋ:;y?b3%ޖHy@l=_t]MmRTII>]ʑDU/ BuēI4enɤ5R)x  G6؁d/_ FE1` 4Ps釭[P;7F~Ϡ#Ј#Van(3J@yĶe ~4CKM "e1aU)L :+;y%u"7Xz?̽>iX6I%l>^ِUGٙ|&ﳩ݁B}CV6 ګ&ڒxWo% pO 3ğ\5̾S-s7E ̸L.'1Td蘰ɬt6_ӗ*? q+?j;)>y7MTHKp1eFLj9)R2ט*<˯i# =6݄'tU%m*Y+ѻd \wwgU=J=o.8@6m<(3٢/r,ykn;_9u`R8% v%ayɺ*y%& dM5Nu[?w&&j0'S3üExț_=:œ:Mx@1?aQk)H8DzJVi(J?3{ֳݷ6S/vh٩-EiEjzLHI̜oZvRk͗]mwW8h4VuZOZҲc@\ Td9VtCP#Ez żS~0j^T a [fW[̯U ^/Pw]EKuФ! *Z")(ݫ&=DA6we3΍$xK@\.Pm 4zwWϯz-zk}mn ^ 7KjϬGM'.?\/fTH.No~wamxg9YYrp0V BѲxa}35py`5iJi ]xFtı|wL?+SPˇ*{@Y&' o|ḴY;~ D%ґj<'JI4egS霮՛#HR _IQ%]HKZX2[qD*D[oF{Q;=G&͜gU7,@޻;+ C^?nB@Z< "dlHڃڻPce~svyg^l9R~ Fbʣc><.b&Ve^W/ppTC{Kz xV15/EKָUpG9Rǔ잉RdHu5GN_SsbƯ`m/Yح6 459,v>}H۩8qQ$WۈyyEeP% aZa$\щʠp3,/"Fiŕkz#FBд ގ+Y4Q4aa-gEY'3ߎcmnOLTc94d yq[\`4F~Dz4QHb {m(N.29bm;aco:<ҳ6w= 41BE8T Vl 2!}#}A߁T&4)vpi,|MJhua8-=l Yg!/q՚}U7nh(Xs &3\~U _0֍R ' !| s/"9*װYSj]Bamfq‰/2;vPZ3`8/HN29{X&EHaTkvD 9@}.as Ll\[q YFYhE#˃;t*Y#lq.9QY%>l姭x]?hX*V@`gC+没ѓHIm/rtʈR!T d3;߸2ReXpjN+Z!p=@[g 0gaԘ\jւcbM5bMp2P{ {7Gl>]'ņ4vtW~ڃ5)Rs." `PQ[~zwpR<(i-;rn~qN{/V@00{9oeƫ"iiۗ%>X*ߚrH)G)AKrzsł=x+WK{*;b^(A pV ɞRS-ja~; T`;lg~Ba6Me{H N-Ѯ!O2ڀi[l%73f4/?Jal%NTmX2c3ɣ"P蓁U}Pj"]Djn7TmJ-e*DX̠H2aalS,֡ł6{7,Wx[J ~bUC=>| UxZbϩKBG DΔ*Pf:[ʈ6PLtgjc ?3)R/OVDȺa8XfVO}xMT JqskkI Bi ?\|ӹf ( q j_Lh-e FɦE%2quAzM%>sڻ(]]G\q2x4y6OH)M"p@m&桟3cވ b`q h|=2oWvҪ2De!+JPb(MxAp Qâ(%`xyK#$I% 7M;eww#Ko_Ϧx>r9/1iɨPgKT5SѦ+ҭp5kv'?9baKigUo&#ߝy%?6դ'u\Ou ˚M۠cä~R4/QW!I~G7OR[RZ[@ ?~HFjqlzD *^,:@d tpE h˵#E/1:Ҳmڿ,mZ =:Ȃ¸GSध%-w2Pj &9n'NgʏEs?񈅿L"K5!k 'd Q.A_wd2 5a?U!D(~ %o kil@g|%c/nS\P!N 1:+xlBNp+l|VGk}?A:q\|Pw# IQV-wttm2fpo:芒(}fQՌ H.`*孈fTbF`HݠY뺤` F l9lb4KO|hrFQO^ MUHk|}BwY+xU Xj;!%j3ZlW_hJ(Reͯ~hpSۚBmF]C~0T^w \av.yQ:xl.[o'T}ڶK;%:sZ՚IXό '*fUx ṇ53ofƙS%lLF YR^!]9.**cVeMe0ĕ l)JRv:tkS-`X\pn ݤ/DB+.5N쩍;>8Ӧ[]6܅"P'F|IюLyir0׵W?9OlXyfQ4=`Y|69j~t`Q:| қS_ה'Q?'mBR#yV#Qu Aja!?+YmcX߳?8ۻ_i /Aƞ Cpږs>sJԢaG{R^}ےi=6P4{Y졭S E8w _bLݜWP"#t[v(II~OLE DH!_ ^f=-g\{3XpO?ةjp#0 PHO߁]4En.a$F ?" &TNZtfw-0QTk2!D "? na#T39\7%Rx0 I5q37fۖ*,~#>F@Y5@n\_bta@ƃyݙ׊B.]-9ˤ?V!7AÏxMN\dML#*GCXxISQڮh GQշ eu`Ҩ 1J&c !gSLOV",E]~T\T7 HSq(iΦ.wEko?⃎'Y$/F|2q/=k(diTE2?[9 YkLi"_3 >m'J^#hU^K+eJkWkœ( Ie#1tPKh$Ҧ|\cu9 7dk2SrE *_З: RkqybyXC]bq gKHiiB&({ ec9cv;~ogTJ]zϱw XΠZjxmLt$VgC5uy*I 4І%cv6#˃N%hΥ._g6t5*jj5؀?!fQFbS^W!:jexznmTe',~/,$I ];&G8{L ڳ`ѝvÈYfzDF jh/|bAT8\ۆoRZY3'q`&uI,-!`Bn=̈́&(G9rE`̈́p4Bc9Nz߾0`Ah#$<_ٷc"jzŬƌҋ- F~aod''ii6";>#JRL#8f:WlIl0""\Wє_M:}3#9SΖI3oFzqh߼w|Z_{x1DOfr"l!9No`TGyn%Ckb,UdA⓱ TkQArUk&I-P}8ó'<6ᛇ?3Ejp=NG'$FЂ}&A ~G60goRoND5>/BJMksLOcf٠\/bal(06K:*۳Ŵq0;즹quP># $}dl nHH-%Λlx7J}sׅV5<߲52On4:U2sqh Xa+  TAIի:*y2ҳb>!*K5䋨m⒛*QJYC?ǡ5ls@5w&]~NO Y~tUk6E[c|`!&$9NB72llNIp!ǪàʼnfːJ.Ầc3Ћ Ott9?oэm.2 ܮd4hFĈ2T1+3M#VjuF{\[8l[#*xibP_k@^xܯ(|!kuG.і! Q\hB7zq0,k4aW;\\ ͓)R~ MnpIBVڡ4[U4Khpn؁.tmb tT?ׁ֐ܥH$Z(TXhjy׋0y™s^wy̱~A&ĺ 5>d6|e1 L+ry"5|!pD06/L'߶sU x?s⅌T; :C՘?ZILR5r<5Y. jHTJHؐ FΌxHvmJnnvy:PG+8ش3'D@Oߖ&; ViK:b )JG^?Ǣehm#&X3;1d2,S>G]){V%18vK80$Pz>"$ickv6s)Ҳ@R@ZXϥSR*+nQ|ƚxYBR;ܑŝ.~.n/REGX[;WJ̛J-i 9+Bgm[g^ݼ*ōupcЅ%$y%m>{?mfIWe8Kn0{PW0[(11zA%(2 ZwE|@D3H':AçJljXJЁ<zWSӂo-<xP'&b5B; ĢUKuTHZ c|fs&F˼Bw\yxکfFX(yk3z^L<ȥAR b3aY곦UNyXi]ae:<w%Vpax /h>+='cI| 8JuOFx,˯9J|b&a6dVFY(0 k?ָf:1@z1g!T&3Aa;_R!^J;$7qV9#{I@n9\rjd=:meg',Ϲe?QӍ |+3tOInk7B1"jBf֔R@ƃ aAbvSSdgF0quA8Ǩ^yMfﴫfם+6Wv;$ť a3f~] ARb?lzF`_ 6jþ d;ixnzO>BH¢y@6~}(r贖:)Ci Ź x?={LE3PKsrxC}SuX ;I\_ 0Ԩ`UA@K-ʼn=XL[؝^W{/'[:W:C bZwz1+mٺPx!@ȿPmHwMɍ6Eo,kDAТ S1=]ʘU$I`uRB-bҏYVn^%J?/Pq joǫ מIBѷ٘:=d .}XgʽU] 1􋲌CLx49FҀ"Q/CoسEcN\E`w\~W++p5滞d$in[ztDRok槊aJ:my[MOb %CЉ{7;Y؛CqϿJbv8kRٓ|ͥ:+FInE`5>(oګd>vKv~w7 ҽu/={Ҡ^`,<% ~XZ(85ks@{p2 ݳqʃ93 zYYL(c (#D~}PP" wW6挣+ CO~7)Qr'Q4~E̖/kkjh*y.tGt4ߡ{% )ë98B$Mt9.[Ѕ^ lu7Uc Z̺i"kQc9Xj^-'G~bl -On~LAIpb_P9kDŽ WXh6u~gÌs,nCzod1stܔh84] ݈&?.ɜd?,hbl{tF췴o.O᧐Y& Yhk+W^c.a yX*p(9D?@͐[AW.@KO!K⃢QȱHT@Ǟ~EȋhR&?6d:KgW7r[Tѕ](%v|ZH9r5!+Nit*hY6t:.UX_ M2.%< Mʬ b {}Q 5w͓o} '7XIt P3QU X-ǝJP;2 JvUudӧ ;vdWeR !mYez4ݝɖzHd&x$RB{翅.r$7Rn`8Ťh2$w4~艠6 ȔI 3/,+ ֳBEmWMIJ.=0!|NJ1{eXD@cYvWG'SZ[=m]~5ހ݌ـiZz>XB+M-sC,P0>p 9RϜ8Tma )(_Dg^]q9U|ѱ`E!ۇqȊiQ$$](y[+cG㺰UMH1 xE ,׳,prk<[0ۖEMC(\Bc;0Q q"'7Eݕ%[ ^ũY¶AnZ]FGb}"6AYhHZVK5$Pj1g֐3ئNko#,b}J-SZ8+)c Ѿ~ qE8 e5+@R{C_>@: Q#䝇Rlؖ>ˡ.Rp+|wppPf9*T 1|LLXTTd D- x$Z|[yGXVRtjT_B=7X^ =N U-qh- j< bORq >0]sc g HAjKլ :3_5I .<`WKF"߅>ie7#:-:X{%{x–PǏ=$d RD" 50!W) 7 sB29\j#w*B0b5 6ns.CC?7=%COKbDG:6!Ρ׳(h ,857|@8r+\*Fo[S=`ﵿ2Q.ھ_v w 0.gH s qь¯=@EPTI@ݱҎ A5tS΂VrF7K8"p $}zj,j|PPpfEaoE謐E%+b-ey DvEAIk4T1 BPIQ=&ϭr1GX߮Io"t C˓Nlպy~vtbaZ'f:S0[R6mYs+ c[KnW E7l]y'tҏ$(?8Fqc<0;9L~'[IorSƉ"i(\%ؖȻX_ƂQBf4_X'rioM72ɦȣx_4I<y+kE!yȡbErD}jNfRI=H F~!'ӫUJ:@f;C w aE|VfZO 딋Q߅Lj[:kWT0Gjaښh^5+dI̘.L)+*n Vێ1b,Ό}:lWE#ҖTn@|uXː*$7<O61_7мW1GwFeQr}_w(ʯ<]k\\ށEסdpT[7MH$St6P4={p^$NqTy0\CoӍY _ Yfݔ;=ty ib. rGR3HKƓ[*ϪPB?BWl[ȩɺ/B¹\1$T!2|$3r'u]Nes I|k̯ ixwc ~LVڈ?cm$'7p>G(wXYPDҴ[]9+rxbOs>٥_r~'k3(.4HHc>;k4Nʻ[HTJfJ@Q[ֲ;h7٪kB{ cHϒ8$v ad@)]Yϟ̕!i[\ӯL KGW>:^t8;1Ɓ&rsx|'  _LTI- z,3_W蒖Bo\W AǸH߮QYy7ڬWzl8FQM0'#:F61tb6ͅH+bmS^!_D{ao[w)9#lMSSjU _$b==3mA$%LR>$_ zŅ;Wh6j,(Agy80/ guЌ%Cndl$00 >ZZ:ɟ3&v!2C}5Pj0wV.oyA?KZAas_9.dO`1Rx]WGT\(~T"xT2(]Ej%|x&E. uE4S&LьmBGYhŽSP_҃w-lıpw~tned\ &pAxNK~* ne7@B6Y2ީOmIkQji^:O$ܢzvk}05LD+JiK2{0€I%{"v3qmTYBolad\D*,e#6뭓m[~e{ue: qZ{WD"R6WcªRlo.&+{<;[XxK~FG  Iҽ夬)Zb>)rD9f*8T5Tio#&A},UV(U }h&BG: yS ̦DLʟ :-hJ'HXѠ̇z7Q&A*R E^4÷GLlZzeG"3̑xFۃ?g LI!%Dk]FS/ai)`֌Jc|(Aaj.L sis; tЗ)|R#yDlq%(mkLpSgӣQZ8Q5]Ƙ'g^niHC6,Db dV;Z~]fE^-MnU6!z[}袋aK)HݡڍLﶍ&*]6tg |V=ڑ6ox8}D5Z4rЛ|!LTxоK8q/)-E Wh&bXe=$I^+2sj `?z_e~wրV&Rp Ēj!K.SufeՅ/!.W T ]?<) b(G7 -#?dPsP'H9#ynugB 2]qװ*~_{3,+krefv[U}R^B1آuMYs0i/|5إL;AphQ# Zgv4?$nzd }[X|%Ҁ!2I lYc03k4;^B?{-dkѲ 4/n9w uSyastOVPz?rN  n(D7l2 #!#Mǽ0S{ J6AUnN'i9 Vp`^MTLX|ͽY:"xѨ?&BbM Q3&eln0ڽ5;?eшS~E Ro5r*SDyl&GsX GWU]!~-,~ >lU5yfkӘ?$Ơ1$@G4]Ţ3oWZM4nt 㵐/ RA>~˂&tY*Mn2?:6` FJN-$493tqzG; .nN~ va5n&:R=88))8jRu2pa] m9B (hveuO:6WC-c|ɫQurݕ0>\bvYֆZ<}1ܷ͇}N_/U-Ogװlt)|3jyK@RЖ_م{fT_w1JD X0殂$A]*/ ,s#OطXX=͉;2=nׅXtgA+ j>|91fۀ<#K/ާG`kg%N^;>bQg9#1́r "iE6@Ģ|(uN8#_/lT궹[HmuJ@2T.b[3 և+oBB}>ɹ]QOLCː+B"-:!ӰaLrf>6ri()tG[OAx2*>ƑCހi>#4OP`#'#0_g#ʏX!G ~^Z)(sؑ1mS5|]5DkhuBCkF|VcN Kq:mr܇t("r Y!gC}dã5LjҌ)7|RNya䛬C,J٠ 'Z_miA{\!?`()}KvĜBR%rbx@γUIBWkaˋ0qdW/egb'+4jXIf/jrն%Y|O5g۷* ?u.tJHM.I8 :6}/3tg{YGTn Zc}Jn_ʻ8sH2 2;GP.}Sh?#~sQᆙ0\ EZoe"sy6 ְUMQ(SS :ֶY"# \v"k[yPYI䫝[-z)C mjfPzut%A# 2㫍%ѐ#RH%"1ڋ\!:bbZ %^Q {::V;1\xYlVx NalG%@B"FsQSupiUsf O.'E {hI'2MR).zrlpK1<1\S 'Wb\'-TI~>esϟsyhòl-4L[&ܗCD'#墼Q ?/9Ϥ,[Ieh }_%}Rǟ141Wknga'^Oպ"'d8^|dN-%l?|z,"t<ךjfJ %I5I R[S0S&^ GI0@e3&){?VSƺ؀f OQ'v 1zO02tdYd8{iz F:(pv f'aPA.lE6 Yӧڒ'ss2]\CB5*5B\ւk%awI"Ϊ -;MHǂ wmr~z' Yހ#n DbW\ *MM#hfhCNKyɍP"%H:eKeV-ì]cSVa? 1d>"UgJFh@44&, V%=0в3S1b^.ohyrݞHztbLS:}J% 7&ZM?ݡ^gFεVVs^x3Nwͼ߁$jv5eˤk\1ou._DpD8eAs[AS3[ m%DеY&Oi j"&XC ͂EM$B㤵 󛞘&PjHU\A+ "sH[) d1xGAo;|eX3K4u5Y8mRJ7hpϴE0/y]: C}}G΀#8_]AߤݽiJK:%;]M[Yn$,$ckk1utBSɁ~.'Np PgcV޹S9!SK?e8U/ \U]: vE\3bw$` "H}e,ApLtZ ;W$iUsyX 7]ݹ~z~ܦ^|~MGw(LPc$!:ugc(JL=[ o{C|ɥ5c%Ͳ9=p[bj|nMzOo&6|m-M,OH`G'kZЊ9 v*@X\xj,'R>mݗ6y1C PtT&X( R.Cj݉߫]|Eha='=6b^OqFySeιlx@~" b@XDfq6I~XtA-u 4 HH8 Ze ?`URdxI {#*Ҳ:pRXl]-&Hj|¤ypk٨"lܜxP#FCnxiiB2y[,b9% E&J,|Kθ nE$31J[CaH9[^_\YPOg3u|c(8&֖}?^6Ī2ݞӗ՞y\H:.g^뻬E -z̭;W*vx1Cr68zҐ OSȣwyzROKadqr-6,4N][qG07~Δ`T,I1DU_Gz!d,d$b >|铂_BLc Ȁ5 IAH'5ǮK7ಂ@H󃦂 A VaΝ .o7 fzT1A@?40 b9+רGz?'bN=eQ*Z͑ ԘY>6xPլQ6DIL!ַ\~FvԐ_3Wj6BNs\A1$ Gȅ0@ŊIj`.S*eF|oSmM^Y ]1&eX4u=S\*׀wT#4Pߡ2wzك'Ҫ;ZAE=HI[0 ?ՐJ;Ak-ltEľm 9wgnUf-,0UW6q .tdTTgb62q]r(*&+[C)svO4Ӓ⬰^}9s zk.c{: 7A?|.1eza|rKqe[!6P;LKA/+ "aԈO!B8> !`P.Nb#Kt5D? +P;I ֙%,%ͅF+Vh=ys` )gI| P|BU3" xJ!82M:s).؛4ELu#zWK\!@_l9HU6Wg_YЫԟB3ԏ&`'+!wqiIʛQ2>*h9$ygzl2҄XX9+3;Űa&ѣo?2Ui6K^;U_F, <;DbmȮDGO])?TW9 tɎQ{9VD3 hXM]/L<_>Cؼԃ ]DbNЊ̸szg@ ró{?&RV.*'H/- M?Gi^rLkuӈ@v/io܎|lѺ>G] +jӟNG1} ?[Rғᛍv)(dRM6ŤӑJ3N:9c4ڏ&wA^iY4~%n {UY2RFީʝmXI)iީfC"KamOPت纂>Jtj imGc.3azޖa^GoЖ AH "(#K /hʤ qު+Hp$+BvZv:lLբ+D?U'm'El#u"lԀ4wo8C<&f<]7[>>i7f1,\q7ŌV1JadޝU5W1F,E@b?4r(~CNU:,ϫ! 2$/ؖ@\x 8Q:BǹJRU9gp{`|[L޳JU)sTʹJJjYsc۝}(p.E3"]|Y SYu] ;?X<_ed/@%* *wӼ*){4,Gyah:6ӰH~bb`2˿g$Ϭk]`,έ;ͨt*iŁ]JdcGm'g8bnq9r;R*ۚu}iG/a ` b m 9oWҿNhUϽ>?MAPhL {!'&Wh7<2G]"jte f(p{KLI˯NvStt#iHVWX6iI⍕ !dc? a_cpF0 LHsqtfZ5Z^vUe}a4bp: C;SRO? 0a*]J?$ѺV[ Dꔾ[edc}% wUO{i3}(Fz= qt Ϊ#.g!guLA.o\` Htnn/Krp.ܞ⮐- (?>:ELKXYsZv(Uە4!=:L+`ǮanS%3svZ̒PriTE̮Jsy4%w)%iK Q$Z)۳ CB"qH*{D}PBNu ;OԬ8A E:vZw!#:_qF5H~l-$0k3"ed}2SHwLZIq4k(%WSQIc ؔ9'!l^[Au#R35ߐM0ڶ58)]`2P'j`gLD)cп4ْ֦ṭZjEWJ4(C_NgI'k _5\n2$5 6`}]a,!XCϠ6+Ʈm8eڗn.Syߙm"rB+d4\A娧0X9Smr'RizhC1 Ap(DRᆩE6&g-]S dǃ$sFؤ]SX@Oj@ DE)yp~ݟsݵ[_)).Z6!`=~G{lZ*c6K+:9DIY*á'ALzU(q0j2@gphBnYD;͸D4E`wgsVwSBZX{x82Td l 3XC:^l$x&gNo/(**%+gRdOH0P3# + ؚH ~ [7nyj!XETM7=/uxlCV|中&ԭ3$7 {:Y/GѣdlXkNϡMd=*!=ks``Ӄb ($* ہX ϫU-ȁcrC(i|G g-q+3<]-;b%e6Gg. )gz,0OWJhkPӆbOa$Ї~+[Ƨ^uؗ2vve 1!D&AM޾K I"T{S+fá##\B,cr:sbLM6ίS‡LEhsۦ/W% ~Wߦf]+UO,\2{aze8␅+h.ZAվMso?vO6ԱCy m"p]џKz8Z 5yzl&=K B9ة7s,B 1^@sF2g)rU-ZyAb8-xn{oifx Cah3t?Ji5 NE, !<7WdJ] )GDmm=33 CܑkLj4J3ٟH˞J@ڲ"YVFC%4~R^)/ɔ6+*Q0y[xN"qv"gD5YgOV£͐d]2lM Y87FEif@˜ުyG 'dEI'S=R7Q {_NJ)I ٝZ.eX(5Ҍ]^c21(߄ů="DvԠ ה3-c= Oju~hi/;1QM.!:abZJ[/,9B- ?^ia{cw#R Q,p$G)!tSvkxQgAn}j"˩>tLNop3x%Үz!93t:p.BN97$P Bh۱o+Cgn `?FBDNAhl19Y`ң`ZbLG,)VPZ\l|   xnn2kC.>I/AhF?飮哥GΎY)L̈ѩ5 X_֒]n˻%!ɕpᩁy̾`.Gsm&L uN饧ZQ2[sQr5㔦0 hŠguxO2 EOX%jLbv ю<ޅΆiհP:=BЈ?8l $lgED@KԺr! }廖O`c@XoelpTXԙQ,EkY\(vg+Nd9 s'/5#m&Ơr@4 B7= i4y#OJw.B*r)Z|rSO}Wsp(͙86\T]nT}!S,2+%>`mWwJcj,xSYlJ C\>.)^0-s}iK wxF71'oRF7%ddO9'ŲMY],boX1~Q2.dK(#0;&eQ*$K{;j1Y)sg 0{}VÏqT/RkY&>;\s^reGiD?HPIg3tL"^4-S hB}p7ː6;02E(e#6+uj"ξULqR`k5܋#/#C\->N]c'BdXى3G3qc8SZY.F Ŕ !4B;{B8@+ŧY1Y[х秜Sn]VaʤRnZr_ SeK?E1(XBs^w*rZrGqQvBw<< 2THhlx׊Au00fIE̽3U0Dqa S߱_lG`D1? [y npv@"\0/`+dJ Pglԡ>$B44Q/BaojUK8 ]DV \tn^^qy UYA\Cݞ"0ږ솘h!V$ ,Qk3^5Rl/,V#;Pmɍ4W4#>BY jiGp*r8ksu]G~E9>l6/tOmUe ה~?8mF;%F|sAJUt5PMX y+Bo}PԺK@ biihVes32hzU~VzڀaU@=fp#vi(]U/4[[cc'A]末kR6,:)W!,ٷV 5h]12A GEXz(Jv8BU D#mZ뢁a'uKw6lB|>7xODz>&5s@R RvwL /}i4UD)qlV.k2#+S_6|0P6Pr&cƬ`6yzhY`pd}#w؎aP+jq*4Rc@Ǹ|JMǟJnN–V+g-ir-Sv_'IJ0k>Icm4"oT:`W&zF%AIeD99BڒaVC| w<Ÿ2:P*uġ-ٜ/HulqzwÃFZרFϜzKyJjRҺ#fK86YMd& #E)ي173ya֒wrq#7Ƙ:AgHX@v %X!W+]%e^b9F_xPz۪}ݲۂXs:zEXxS?X}6?vgJ<%4&Wadr!JJEL}mY*YoU4Z Of7D]G4S,~<39'9ay 2"'vTH%$KS\?Uim3܈C<<+F E$R\#0%ёU Yègۭb:Dꪸ|~Mc1IHzf=0,VWHvdu-VkZ-J{+ssWoF3yl55e oWust BH;=i R$Ə%N30#}/-27ې  +bսf%꫇2O`d<;} s?5T.3³% : ,{IEnylK/IO>g]ǏY2zP"6 ]{1l5;NUMO،b(Xf=Rv10wm+p'x+d=mXjw" OFeÚ!kapi&v՛:ȲL'ܥ~|:Je5[#PZȩ=!([ڂ4)v48n 84R^I wӈ鈴iLIH6=/%ӈE :rQih^蹹ruAAݩQy0~Y8ӭqm$6\g 6unV+{# 9$=Z\T%'^'%8dx/ysGdo{!sn6R޻+kT0m==eVk(J4$c'~6)|j=Ld$d7=4r-&^d\ҭ(ޣKp|\:M,RBO/O|]"S'o@"yYE>3QDi;J`s+-;i$U; 7{ YD{xX@HP&cYL\7x4u p2(st73W?ԡxC |^ҕ &b\h`-WJAhhL,oXgl/Л2ܛd!%n˧.+kTUMEܟ]2{+qp1l]p$Mr~8f J̸ rqS$9WLX~5G?mݠaUG/FWJVu:жaP:BwP0ZNp9uJMڌPDC|4d)u^Ǯ5oH hxz@ԯb:,Ȯ9̠ C`m'Ho2*A< 9s&("/ӸW*n2/˒ ·ea^h-fT*XFNsڐBٝwU 8wj<kQ]j'k&hf7Z)\b54!rz`[ғfl|nGFpϞl,̺^T/t,۠<н [n23mշ=/7ҕ yط?QTj,Y5R֤Om"'vB9 m7s1h|U)_NxR;BMRl3kԾIMi:PФjq=!1'ØCag2mTHy92 ܨj4?-W2駱^Ԛw <)}YANK9'ظ 3H*l_wYZ[+w>Va4rMe.]J 7ixkjTBSv!~aUim*3گ/Y D{F5™Тܼ:rey A17mEWS: \B%FP IQ߉/_)Xll,kyVjB^Q+,^[|ޑl'o?APRFW@Fm S~L1朗L fv~rAA jJ۽vM Iǣߵlӡh"P QvX.2 T.eF[]Dp(Dl ~/z_ kP-$FH8.62%:PZ/26yY3wNA>68vw˄-py+ll^l@Yu_$IϢ&0I w;Q ^pӚW+DctR#"Hgmŝrbtkg3ڬ #H ÁEb,'@dHW/m?R#@_4ݲDsW29sl5CW!$$Ob.fl$40ܳ$(6GpM{$DKt_(7Ż.FӥaU8'qJϚ@r%R!:93;@-KR'Pn|} Wf1TvQ)ؽeu^k!}x$o!Y>]*#&U#tG{Kr bhqzN߄OϜN䷶oU[kV5 * Y?3#{RaKx" 3 ~MI1^k:So^G#;J%p߽JFaF"\$ xx~+īNQYdyFfʂh2}>V&*OS.*Lv1dVDK0|Dulk1E)@oj|3.lzr&^un1VD싨~Ş֦D㾤.ʇg0S*RgI ZR˿_HWa:df!$4+?hZzŻw56=P7cF`Ix;ҠKӉ$ p4U?|Cbk|}ܺ9pB:g-8¾@9Ћ`~]H9@~o ]p9L?!- wJ95󫾓Vt70=sAAHAHNdZmTM&P{&5Rz̊k:%5'e筠>|EGɩ5m`rе0Zr_~/r+S]2vN$.!]8 >FZ3N)/IZ/BZ X;,8&|hNW%"S̰iQe,ICD9HF #voVchy\^>OAuڸ"MSltЇa XofQAhXLrkk9k& Rl~y| fB6/1+S$+%0m;mߧ|̸y/'2qګj0W`[{' EJٓVl+ G8 {RU L\zuPz@?_ fd[!ǻmF#|U@)vN\CܣJ`99ԑ8zŭ&cpba\w UBdL &oUM$d=$KuK'Ӽ4ʹw'f^6@*j}Į%m!Ӎ״@G=C 2uּ\lv("2g {Xg@ gؾ^N7l,{qTD^ɫ2Ķ׌JPC]e2%?!ʤE~*.4tʸP9~9me]օ 7\Gó$wZ큿̟(D,a@xoʒrTa MaѬf> X8g%[W_^=?@;F;ӭ~ x@S, L,!h;{LK|.OmplA5,>g&J#+_n-Z6=Ɔq7FތGQwNP6fuYujDn ~_cAy鳲Jĵg8^꜓b;nm`VǢ(,JCx8h;q‘шC2vuha5ҿLў'^P†dK[VʂRi =lWC?JBOHƦ)vMY#J*$ wW:fYj} $@xso %xm]V߈7\\O{jF`Eyj,+͞BQUQIl1; 4kj+U6?-OEuQ F,C K{(`ƍ^碭!MΜ ZjaF[(Go;tcNgb(.m񄝽SajI_VB5k "3TX&*ߔ64`)Kwil1_i\ERDI>: q42yH:inF8?E-Y?]H '%<'jR3ڋ!U3r#H~n ))`8V/1_C,ުUԴz٪?DN:/f@yIK_WfB:BpIQpBkH8"a"8߄\bN[P c>VJS3kQ!Bn1WjϡRU~>2;=u7Tz5_2Bx]aHi⧷Lj$SI@h7Ǜmke?u~rs}W *B;<.0[`ITc:_ C)Vm3AlTpgY~;XAnߡykw)gnNۘs/y:dE;ѡ;2|u'c;u55+lˣqu{d~GI5:hf)v}ZR\QH':%ʉ'NH`$3#ʫ)l! X6v]r",-~ i]8#hLxFv{{WA?إ nu} <4 k7s9a/ F4//I5Q3lC'70޺Wzsج>6 [sQbTozyji}vI<*KOGM^|zH$_fH\SL2[96v@%dn c Giz׸_]k@}P2R<3]RQ' <ΑJj?vN~ܧg.E!?$SS) q:sAȜZ!-gG12.0zJ)HH_ATTv! n`޴KEqn;ׯŔ.c6sVQ$6>U{mz{_V,`0}%pZ}'|N7Ҳ d7d,G='? !Wf@Txm+y2$ˆyO£OO˥ Vs=xZWlْh2q%J-T!/ JUFnt"1.-?Cg7$yJ>(|LggdWydʛa$sr8`D!*RN0*='4JBM>#%̀@v7~}9,bǠtO® e hF6qd{_fkK.਋rVr!M݁f7TDܶlOj}:I!a }f +pm2@uM54<9"Ώ=MQSw*[}$Qe1QU7oR fafi0! OFJ>Mq//|rB) %֦d ,`_<zVn &d^__ 9B' p]w 7=A oḭn_CMƥjh݌ ӈZP@ ]ONxx0elHY~8 { e9 ߖ)́8:.tv* Ò,Q,fznH^OFd6(l+ҕwo$,l%]xr Hk^ܓ;6j[ ڼ5iPv|эYldK"4A뾌h$ʁQ5!4v=S'c,Ski{kgE"+$0)ImveQhY5J}Ǭ zu]6 Jr4*E뛻}4/4"tFDYM}OQ+4NTv\;Pm<]ʬbLڧa2f0aURIN#&2ܼ"_ i؎؇WzNevLq)AGtSRXp% 5'$rpc^ib-u: eٲͺ,%\[dώ KVfUZJW 2'1p`)^ystQt4LkA&1Bciwv ֔h,n_4 7քv@(!#kn#[YK`7VmtO!h3AHr5B"Q뼬LW:cؚǟWA9୕W0:yvG 75@((iySzQI6.hMrEbSBPtR5a3O>}4zdfm#DOXb[XhRt=|ky +9*/\@Ɨ,ѦcnR/W?X{ދXqܔ:`tl<@W+q5r&DbJ Yz8X>FEM7[^0$B6%9ZdMxys؉-\P:x} Fϓ7lAj$rߓqҎO>qBC x ml!ݗ>_ĕN?MDoI0x]6023* =L'?f%i qOW(x!>e+M8e \ADjo1$TЌWq:WЫ)9co}uxduCe[$B&6^g&&(mNڮ$ZǠtuVpŒ sô`ஈW D+hWR{7L'^ӊN =@E.BǞ=2}Jyԉ׈`theD|L#^`y: C(Jt}X%|qKRQLi I|Nn#s֢" gUELW;^gBi8'1n l9M|wq]љ9`Hb;b/B@j&zO)vj>{1>a}B )a~*'A%-t"Д f5wb |6hlrS ֏0eτ' 4f?xIG acr֡V c DleYkvGXT-H ÊCJ4 6vCl=fE:I!oE0Tx9 ŘssVSe! ˜Bٮ}BPVturD`QXJ˜1 J34,6!$ORPr+Of#B@ajM\ Ung/ѻJu=Pq'kpGYrr(X"Q@r#ӞcB}Z׫n8W;YC)r?Hb ~ӱyӘL[n/(k""9[uTa鿬LnbSe7+ 07:ֱTxl*㘆 ذ wڃvP f}UɜB%HmluǔS+qȉ79Xk;%z墡Q Dͭ6'mƇ.j<~!];:%@B7@%؍DT[7KW?cvq 5~;9“LorKw4VGG+|RkSx)1B~ K7/50Iu{6k$6Ķv 25 fiΠ!z^h! CEvNI> ~Sh);z=kVLjVGqU2ɕ*=uؠ$k}w6&@sK4Tzg9nXNKۢ ف㍀p ^j~TaE"Pgq&m* Fw.Y )ubPѿnsX~&$9^L$kv2 GS:r> Aqv'dV6b{w#Ja$9) iEԾV!_.fg!$ǫG$ /+yhИ{a/\3 }D@{d!v_L 'SPD;`y;^Lӓ-挷x "ʬ`S #h|@oE;8k&WU'=Fr#/2ȉMR1LvF1߸TG"G,eOoܷ.kl8cG4Mo!@8!g_Owa8:LB3MnJ"vX=#x 7q'INK_Gau\o\%@og=s}.UVVxE{&K@ꀣGOʪj 1{[C{J1J/6H 4>9B/BBfYԪkOvcv7} 3xУu4rJ4si ð9rI;W-qD[c!O~d; D|ig?ha(lp -Tg^2kA/\{fU,C3uKTK5¬A wUK{%eu,L]9Nj+ATS7v_e_'WU#Mu<M4çv?D3[uxW,LY8\s,fcoG0yo;Ҽa`ˢ-+"!D`s_<5x/3Vw .8ZRE"FB֤x%E7r8:< x1]&ZC'aư#Jz0_#5F~bYuG8dN]3=Hؙ࿨~Dn'8QaoH~*@d=mKJnYz^VK|@d3kX]R[3Vg/ݾ^nMvA-q 2Ȩ9W5tվӃeYx7Đq~$'b"鷃yf8IѼ>ID>b. 7㯷+@NקZߢgs;Ue. %O3[5AvVT+uC)ˌ.Ʃe(iJx,̮I<|T׫s@&)D /)+ \F#}ZD{_:.f\'N0c9Q)JYJs2C/m{-0;◧6l$_!iYnIwyۡϽ VֱgYZ7zXZִF! "-]]ŗXi%L&S ;DzՐkfd~u5"E’0ңiZ)ƔgGm0湖>m]*2n@7Sae!v9pKp)MˮOQX#".>nЈ zGhnȽ*E/G{Ű&dbSX1% &v ze@o? &;]Zm!v>G`w;h8 ԮeЗ&UMQDVA=]r ozw0&^MS< +2jƇ'lN[ f%{$ ,~ U~ ?AGCxei8:Wp U6Uhu7FƩ55xNDC=R&(/+W; ?lRW*ۯb *_|qiHM:rQ4#Fprb1 (6Md[)Ct@6g@"]\m6*.ZP6" HSʼ2Z(WB0 hՠy+!R^.ن֬[d ׼@I+Ciq0tCz{h7.w^