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   C=r\lD ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.227cpu=31.912gc=1.5287zXZִF! ]ŗXiɟH)0%o?ӀGˢ}1FɁٖF^hXZy yfC 2Bh3a~㦞%jԝy:V&eSvOp 49…l7`TmH{33)wT0'$ ?Bpx,(l;QG "o g"z4"r,oҡ^&#Guid'l0"src0BY5Ł4M %D2&4)kH,O^jŻoN݇d0Qw<A%~9⑌]1?R4Ġ*8X?N+WS(ͻZO6KOC"^HyIY{W0^di|Gm@*#\,YуN6ޣ [F-⁦,v6\(񶀗30 <҂؛1>6AH쥂ӹ2pў[iJ1QلIj"(W9"f%&[3驱KN*)Ʀbo>[.Q]u%jSG TdBF; i$/aerBcۍySy}n\¶%?z bC=*g[¬uA\Қh8 լi-?d,<Dr] -=z E<3P~(z16ADhǏQ=@!+}\h&T 7Δg2Jfqq# q alVSﬓRm&|m/׽R䀞0u+Jgm}&Pז+( '幈ܺ>WƬ" >岌!&^*-ۅRD1;94؆mC /I|sS0AsU I )}wDBA P/U7(Tm gj#J%FԶ6s*E Ix]-.(ReJ,`p9jpGh+$ GoSI:m೴K, ]T$'>6nWC!!AtBMz(kk?v*"d)r8pZ0mD(ޙ+^/v#z7M3` /9oB.P- td !Ѕ\&}\ (\ Oyh ;)"D9CXB޳`7®|Bl~yR'EFĽ9+,+? ֈ^MTWL }?GE'm>]r3v\]-OL-X1,l2TPUb2:ŢSƿ򡂆&@dqS#YK$.UKN-.EJc~g0TJXc04joqrDhﶬ"m1`Kc6mPS S58\d,)7.+&&q5=azY!Bʔ\r"t+Զ|/ݞ>ȝB}_V䎕y_F6kRP&$Ӏ#P#]z读WRnҗ|cbU ` Мya_-(ת]?AH:E_S!3cϻݣ.)dz|@MGJ!(w}΢sg^A:{&\,v= KkdVAw cCv1H,PI:q}vmEh 7[X`#p]|hGGjRL3ɤyC9;Zx??a]F%:Ҡoq;9Ghɷ#pLܚΕw6O!Dn(7")OQoHror>\ `.6DutZY@Aa|c:u 6,/!|#%#/OJuBO)cJ%]_Frݵ 0A΢F8+{wَKr *23kG xɗ{lDٌ[}%:=ݾ{Fohj#D &@$q M|cQ醱k1[rw k]5"YN.EOt]c.-{x+Q*͝UUDEmd8EVw"uJ^db+.6urD@_-.nRZ*35F<ۥ٩7Yy:Q!k+M)+ׇV-iNJlKs92d)}4EkFԣC{WG` ;&=G2܍4ѹ3na0QY`@~-[ih* (fL*Nהm:ak_@jXسL۴6q2(TXi+KJz.v饒"B̠`>S~u 72p7*jO@ >bX,.FvaU kB]~;N{rMS |><9OHs mU*"TvG]"?d]7M9e6lc1ᾷpr}% U]d{Ux>_;26$j9=ȉ\ ov\b=S}oCe!LL$rR-!6,.>㤌dsp&Oۆ-1 Nb2 K̬l ՋgIZ #1<btmd=͇E*G4T_`Z@: c9 ak5y-͛`wHHKsBJ,YB ΜZJfVj&ȰnŪg68t`s+τwqHco"?@Lwy)},f,S:eV P|% Mb3y,DgES@X 4L@ ,IBy g3| akQdݔj_?3\o^\-³@Jם׳dE)Gb w,5 n6"n%ɬk冀?{ $PCYLMCQd@Wsvkq+4CAD¤&_?aSAV;A,ẍ`|~ڪB# fP/MwG0ԝ&))yfXy-u"vwACSƮD ! \2|&u6e $#Ȇ [<^Y'^3qtQ*jDnfx 4]p$* \&վq&*wFQ\Հ3|ʏ#v Q$LDČR׎Uʃ)!JM*ЫH ҈)FN i03sX'Q:!R0ɗd}GPlf+*Gt߫+sOZj)9r߂{-4X!yuz<>檜ZL~>}arYCT(Y;~`>~:]dY0a}'GvdX/ ?jE^>Ѝ2#Uб a5?ړGD},U =5բ@MS?RCצ l.Fj^ K՚ݔ. %eSy}=AW5E>}a+{_4i hOz$֌&yz1t]/0s.c5wJfUmr0Ɨsxчw_@^(F*Z|VhV@lqzOZ]Fm쏓hẉ4GGxּҳjYy|y|>c8 McbD1`-nnz= $ܚ8$UE-pXk0AM7S!h0L] ?sQV'Bn~],̟'5]oK~@fP\sΌ q] '|~TXIExPr_қ |lGo7l0pHTod`6ӄ3FqK.dG)[m-}AXC?n㡴6j!7rM%X&?wS--zSx-ݾu?TZIOk(ת&Rsfiʍ'X/WQ5L.ffR!r̙jE&( re5]-(zjtFTd{:%h:N Oߌl1N3J*j41gvT3fi@" h;F[dQqŮE*./ %T8FNqAl?<Uނ=Uw6y\2"yFpO,!$_c@o ȭg؂ - 0~(98j澀߻pFCX6&mSͦ&GZ"?*.'ko]zIZ1*M ލĪPF}-v[ CIȿ7wi-ej{ +"Xx0 '&uYt&ķiߠhM1QP( -1 ҼXalAIa0k hυ. 阩'e, T|"~>5Bo`-Ly9:ՖhM"Ƚa$L855q 9ퟯOFkQavVϰo,ĸC;9z]MPY?#仚2!:uݜV9Q0h:`~E4#8#Y6`((`u[002-e46Z~Ls>îgW+a0UǤ϶4^ oטI)Nc0(2 0;ZgOHZnF .P]z`(ؾƯy^ȉ!0(OTwƧ)aFi19ZMmv3QaAjrW4%e-g.oSSZuQRQ5k懲 ]݇\De^51gllj7㎟zL>XJ5B|Wfe) Ňe4wC/Cyv`ygK9Bq1JE02U'pFvctP*Ѭ8PFYnKjsX꾻bئMSor䯺6Llq[Mߌ$  ֽ|j%W -DddofzU-@Ϫ`&tԚ̪*\}+5nFv\^6B<4͗AJby{5N]n/O  n __uVיdբ,zQKCjA G-c -/L+8SP`'ȿݢ,?6 6Kt iQRAH5(dZ)i^9N㯩zdrϮ^O?P|ZNm\K&uridtKɥޥ =x)"N 9zq*7P\wNb#hTo̡7VA?g{ 5窆ٕtT!SqA8MqZψbiA#NtxiU A_1Q˅Wcbt0 yuagMG^{-m&;&]( ˡ$EQ:Q0,L{ƚ,K!$T=<[Uo5N4*>-a3?ZqKY1Br0!&٩II%yȼQ~E:AJvN eΙk{zt`* -- =v;X,|MΡXŖn"Rկ)N/HJd؍sk V5r1efh@Y.x t%Y])- [6 %d ]WFQ$G\1VuUV\y{^u|两ٛOQA>?*ݛ&F4>rJd.('HX } ,-:qus,nj@0^ fҁ4U-H,c]\ (xܥ=8S>r#U3hiI1],wl&y3Y6%ꊷx·6+aˆ|}z iZ0^ 9m?a_iKS!qrUFr>w#j#zϔ%đ9Jފ]{lūksM hZ6vsOG!a_!U|gYT~twbT _9w[ùZWc>f)&t2&&%vQ#I@VQLPFf^(MQ舏b\;vj\X'A;X"弚:\4kB&Mpvp0\re>N}EӘ  0&Z۵'y":!)Ԇ=,Њ4rClnڕ>&]k0;K5x K h&CŜ92N[;a2g hK !!A2 NG8UlQc91*pȀCqyj0M ` >|.ɊBh4(m/<:>; g^ZWȼd).C6ȥl`!mI+DU>iTZZZogRl3}Ej)rH }@y<0*aR0ܹ;O2rv7/(Ωxx( Ճ~WdEqŻ !CSS+v?yEFcNJ_-`V?(Cx9֭sj"}7XD]ݵ_ ,rN.| Ť]_{FO.awM\}u?-O\1Qk{|q t}.ᖘj@؛+'-r_K\ZrRrl١1ɴqI1_m]ߊ%)x.X>3>LWɷbLKAVqZrd ;B2/|&Ku(% Vk",eZ wp(2->r%XZ FKP}^dyC 1umP ꐘu+ V~c>F|%4ƙ֪rrd·T2 cUrZ*<iﮒ$OZH3\UBTؔAYE]WQM/N2nv˼ GyKܯwq6[@.Qyjɮ>L'xrq<=|xl 4oHM#TN$%Wܩie _e8TD(jhLl):3l46Ƀ8Uv| @ༀ#o_y|zA8)j`, ,A/>3\L?aW2!ڒ 4[ ʃWS2!GM!Zz"-ճ IYf'Q аS cO*Yo`yl٠`8v{1y%d3%ox߻p4}RB4TJ8l-j֛>-Xճ0Nf ւ 96gzԼcZF$q0tGg3d _`pnPzǼ!wEBCk }y@t[Uaa\`-SH!5;EW`4 %;COJxT-s\a)i ,p(U]?E :|Xv`sb ;CE}J(.ӝ;X6%UEi[g{Qɓ%tYRxW-\WAT#A~ "kFB9ष 9~ KD䲲/] :hô2#uUb(}f|H|#3kLn){o PP]Z}iUK:v n]NOH=AJ^>"y1Pd[ФH#d EMbz:J%Q{U0'bM"?΀`#4f)$k ɮta)M;S:Ca)0yy*Ybe <;H ,̂]'VW*4 C'3ApOM0$^7y~O-#m Q9D!.6$M!N'ӕ)7BB9Qa;e_U= Z1 TR찖/^ή4j) aC9S-~(o.1C!`xј8APa ?D{iz@H͠ x!e3&,ϪuMF>_ɳn|2o-ǎgHlۆvёbR1!s:Tk> ,ol+p5R+Ǚɍ9|nY.6 |"9. y0~J-i!0i<?WK` `а},%.l0}BU=IpSŬޚE=7t%&a^٢B H.~ARO)-  rp!op1)9P;+ߚEGX\9YcQMM6pZJM'=TmMh;QDfߎ@]:vlΜ<Ey-Emҽ4_X($"#Wdenl¨؎kNN:Ȩ>bӆ B1Y‡ДO "[ư>w,!SMXv٪0n*{1sr?k&3 RP/t~ڲ'u%yש}86jRp@56CG|~n6(cp  b*G\ڬ@zU[?OHu  DJg PA* @!G dkX&YKvl DU.GMAUB6'Ls-fZ 2hSyO4^&{Nd&:&̶ndE6:$jh'}dfsq I&:5BPO$v% #C0[wZ~xD{ގxtdUmDR2yrD)Xg8sF]#QB41fr^MEPAܪ푏ŌvSo7Fw>MwxB&^UX̴ Å+#ck.Bykwa& a!ahy#n"$k4XLD1 |~">Yކ-݅?JL}R邕 b)˴ ʛBՋLVT9wO5fy2A-"1:i=kVj&ˑ'T]psZf$$\Or~tg7#ScH~kuT-[Ѧ"&FmMA⫩ڍҡr'4qz'3$T|%%Y%G>W} YMMwדgU#PcHH^(ĻMI:9Q7 ,`ҿ5njeRaQFV'糤#-2R@lX Lh"$y8nQsS@{/f60 _gT2LY@p.Ȇ ]wV2i$KL]]QEG1κ] Un>)m 5IwN*WR<^aA]&'gt3ޑ1.?OG8KP))P0=AsZņNjk/8-Ab4. ,[a7, R ~aVd^Gn>butnfZc=Bz^IٍkAxo(N_/BR%` T#ƒڨS8?L6{+S_\3?nxN%qG2D3 h%&MAI6eckY[p>W!P/~g%CL7 j?@~owSWX9o8`]BHIaaw/'vb8]Da9vZE>uq⻜aZsѣPax'v:QU//yu צHl^ iLJo:.|pQ+募"uII$UE#$k dmJ0C˜)'Lhɀo5کw |DNQY`ARK0&[DϤ|%Krꠕ-PUOJ$L }m<"XkֶYG[1,Ё0ȻJ"<ؽQw.,m@J<0ia$l\{Sx§%Ԡ.'&aA --ܻ/h[Hmf[izxOiԌ~!V̹%-E&rӮܳZFD=m'bQ UC7D-09gdE]Q灨\sa}Q@7XVA?g /.&e2 W~+,(ic\͎bF>FM#X4wݧʖhlI[-9wyT2xMN[ٿ.Ƨx[|P\`+w9%h\g/iIH+yVjUx8lAK-D7:R Cke7|nWoFnj;ٶ:Aʢ[\KL@̄z?zveu?oHȽUo-{E|IEvm6> id&Vb2Wgzi-4 !ȇ3[ܦ8l:܈UI_uOlu nؼqe};5La q˟GԔXBW8'mMU7Qc<)m_9?V920y%zpGN1n+ET!~wmOfwᤤUwyf68?X-ޕ AsL͓r-GMn~Liq2& e|.QJ kTq LKn9z `?M@L5r5{VfU%۪ߊS!:o6#Mb,xb N4,lJ~e ʾ5\&nj7 Uے>I*sѴ_c`$u 6PE ym"4?m\xcx̂93X dLÑj~) ڨļ;͢o-vJl,EE#a į7FݺT0p[? C f/bݻ"JzDW7,W-μ>a/Q;!o `&3ݘu<,ɓZG~<Cq!2D6Tz]=P|ֈq,MkϹ:Ch%RhT+P5ʒW(wavӱNQf6H%V:9ޕ?\`$︬2='& :w63uւ0wv!2sNm3`U!Mɸ4'9V e)/nwF @&|5ɸKFV"*_jkwVrk@Q^AI >"zbA?tE,J w(ʪҾ `ޖ̪R5} S{ɢyOI]=7Ͻ f.xm@Hk@.b\P]zRr̆4m0: wa', LtbS* 2f W$L^{Q'Xy̟P3J{?.7;5'Pq%Vqd| [hpv3a y|ĹmOyC wa@mP qՕۮ]pd0l=E->:Wg 0&wЉ˟EK"]=pi*gv4lؘjX=r2p*GEtQRtT%~Eztzֿ%B 7" JpTkB$~0xj f73讧jZsǗUd.1MBo&+?z6EL!ɴ7)FZD^g <`wj:&x<5 1/> ח y̳bA--%y9ў'Ht/(? 7ܑEAps jjK]aVeH|4G@8ϞH5$ތu~-"ȭt$F~v|C[_Uі1乵 bjufspU}Y#j/nˏ?( i3|k^+jxЦ ,/ge6bꇀwN8 KCrbįtĸ+5>ux\;&W,J5򇬲܂`. R茎)x5b|xALSvQ8k r,.`-H+2i%P\}f$q#4ZwRߦ^ TfWel$"ņEB{a. "{O8$6!0Z î ti"AŎ^5"eKF+H9꓀B|PaW#.ML5NI솥WFG+2~w'nw=o̊j5firfy &/,W[V-E%jȔեD8GfJ*-iS&5?+w+]WK }Uyȃ)2nq:2Gg+(Тts9Ŷʲt1-f4=x *TOp;]qhؒ갾,X}EY,\1.Q^o3"&[g@\xxL土X1Ch =T1sS>2zC,VOƝvO]e./GD: }Wu!F>4#ڴXP>aHQk(I5>Ԡ'Gt! ܜ6S!)=dJ8G, 8i%~1Z>)hm,: Y.F|cn\'H憝fM1 =;!5JҦ8~@0Aiv~J*V/Mx68[QxLؿG-͠9Z14t)C5卹8~t `m3SutX6CW }%Ve_u!O xͫ݁%J%ĺ,J{RoiQ4ELff)yȅp>ma̰ l ^I)/?IU/v*Y !3+Aڰ0 d*c?9ReJ;{x,4\)&sz;y6;"6#~A di>f0EkEfն!5y9}7ZZ+l!L3w[^XnvyqyHp @'$$>Ivbv0,I--ȡ*ǂ4 DXs.DX}t=Q)`4mS;&SH';oOx>\8#ǐ!=PwrؠGK+ 7$ U_PK\ M1)>c+EJ{gxiU=hQ/YrxrnB/yBlL/1ͨwM9yVj45* 'Qp?/Yf 9lֻ*6CIgPȌU$h|z^5cRNGy:5^OPL.3 lNƸh#H>^ID-D<@9-ZX-&vx{c*F! rQ>2GLOe_[*J39<%ϳ/0guV/hGVt:gs -%Dkrďc?GMt\WxKnaZ|э*6Ӈ Me\ ƾA5v^kK-tw|Tal4d"xKي JVN )_[ճ\dxgMGw',SDO!\km'C%Q='>b'qZ%BK队VtZWdC4,҇PgQ0TZR_ ꊆ!o  \ƫzkllK']2s=$oݗ{k. M#F1JƢErxj|iA{VLE٢z?JWi~&+P/!_ ]K,Sǿ 65@x\ѓ> ¸I`,x'}!ja멟H:('(( s0Ga^i,|d[¡j-7a`c# -{3wǽӁYQ"y*6,` P6JU%1n~7?g[}EYG<ɚKN:QVv:\.$SƓ6,21_4:zKRq#q#g⫫%Le`Sx3f5p׬w|CkԻhfWp40O 52Ǭ1b{Ajſ72WImLزFU&wzZ(ͫEҷEuf'Kȵ0]Hs;&Viv֏O`/Ǎƪ-" A`j)g}{ղJF=>VLf_=b`kOskڍ9ϰ}ЦdBc]B x=k,}6fׅ]T8kYyTy\R~IRj3BV1Ϥ*K*.6T.;}:xny|jTfCLFkGI(:!oy_x59 P7.q"Zkύû7>Qm(H8ߥ 씳>>,[)X7 _$Qa!ԙ9 g UǢtpzNky"\6I7n'CܗqѰp:.*a `Q*]Z V1Zh0F;U8P)_5ĸۋ80QgأЦo0aL!P&,%mnO)0H'4}ǚ'2'(!Id=ɮ ;d4[,__C˿PƎK}Bo8FB&*;N4 u]*YXva]{6X-L>p]2 >BōP2tyHUB,mcﹶ]|Oy٦Vz=m(oE0: p!rdD}rxZLHVzBu?(loߌ5$4KVc*"c 4J)E.Ger@އzz2o>*O3JӶX~}'{]\Vջ`N#UUL:0?HDBDbw_:;|{jh#g bAN]lƼ>$1LIoWn10LD&P>fU>RE^j3pp386K@+i Q(Q(DZ5 wENqhC%0O9a9~#]F@7q}%`ژhd^Q^&c^9XIndz~^Cf|Vs F[Wvn1ٵ pdz,?db]r?ᵓ_V=UyvUHq=-  ~7&z#&.5nJ1gB=&q!F+[ha3Zɫokf&Ձ\HҔaԲw '_TP5ՉR]8p`Kn_(;uW/<̴A;GwWjl-?#*n=L}К9`#ܭ7P{KOm֓eFTI熓1_}t϶3rs|a4Qa49ςp}h.V}F@7qӠ L-c]ի0`. T2H )XOz}PY.0|33AV~!@݉MYtJR5e&ؠL$: ⼨2iQMUsF}1#\ vP *"#8_=2 =̺RHp K$"A^EF2}t4F]7Ry>vPQpyX=6M+]d6ĸ= Qկu; 0?ӈMu.7zoKFJ9^9 ෭<ɤ2$֜ɸuhіi8e9xj ZË&[ߊ~aYz bX&U-9| ?!ų.@Š|ܘ==L'tgKFPQEp/ASVhpk xǂ[,0`ף9P[;*Y9Tʾ-N9-.ar~ iV b%Ab)*" !r'7)l9{ˊN3+]i V fM|:ÔzL&5+PG]Mκ61&C.`4Jh'='4Zr w_Uyo0Ø?v({@uɌd#T 8~kЀ$M;&Ow*^oP/MEFp P N%=bdq8k"E5̿;l)M8ZY} ?tHH{Ua xR1D4==y:wյ,IIWYU"\g*C#.N^u;d@hjg !G< ;y^gm,&n5¹(x dL:3Y -puNub`$JS6cJvʿXlA7H@s96/*sl)~J5m1]P5@ƮGU MiN010Eqz`*Ͱqn/{ ;MDWgtF#dN$WUvT)op̛<%!U6m І`+q+`ĉ[I`>z 8!#ئ1AFl(J(Ȫ@h(]M/8c+U'U ɟ?/<#Av{cޜC_x0"-9Uw]r:hK!كSk}Lګ#RAr Z IX۟L,'kS}Rf2! AO KJPbG)0-5l9[Le(}D>a!o pHlP39XQ>c UMǜZD.{,N%2mp0.y$._7: Q+LD1֮|9O2IsqndnLK%4q qe- KѼH1Qg^=c~l)4F@6Rb)`n\%][mT_ huF/iԒ(ogDL崰[ҁ\m UXGk "*ѴfSvW!n􉊸J(J21=7 8g*E/hƽȈ#h GFef=Ml{M[~QL 8q{X #&H,S{N;FvKoM ͖2(А+!3BN"5]&{[J-%X 98%7JˠfCyV IcT^^MmГ!l!VJVȲ +q `#X^Fx.|gRG[R) eP]ڎX4tHQ{nAEKc V0Ix}B:iN{lQ(k&҉Дln7r!?ĿޖGFj,vlZ1Vs]w-|O:4LIoz/Qf0^'OQ2hRON m S0I Em" G_<\ĶՅvRLaF특ag%tTh@RmS0e^F[qΥf&h~M8o}bCGW{qdB’go"vQ:-x'i< *gk|" L9YϟgQbB= I}aydGh}ٗF:}A? D/2]8/2 ],VK"md="{|es<_^y UmbN٢$mra$")5egBvGIc+`'?a満M N_!׾/cE0MLv<8O%đQXcnD0o~ yy ={fw G {6+uvn(jMR\(i:ϟ^ ݳ̠lH\S3Eer $ )_\Vcr!Dya6+A,Y4tXc'g"< BfXs3*itֻ#NAhNs?w<#;RYdcBb}'u@PUaYi}lDgDr΅6k+k:^jv피3l( `pmզ#d@5ز#ʽ>ozNV"Yuo K r<~e>y6 o1{X Sj]]Zػ6ϹqKOН6.8f˺걟#Ӊ&˲ PkbH}5p"k$k~t"2\p E3z-0Jq7$MԸU:^qvUC5Y[Mͭg @ /0ޢ+ݣ'f'9QPn?tD'0eHޒniD>Cݚ_.91XZWxYЄ )P6*5 n>k`u[~S;P==F6wú39n2Аշn.-@%c&BCeN˔T՚&ug.\iq49-Ml&ǵQC6uSeBS9ƚ̯녙qOм/DU*QI%$HDA4@<"'ot DivYדL:(VsW:д!9z&U/z=.yF8! [%_g+";7k CnލY`}M±W@RQbdtN 9gi:Gt&u?YG =† eHdC=}-?My:μ`h|t.1=ȱ7A\|5B3P΢nbB.i*3h/C+2rх4W-*j[Q.tizr^-۶BȨy^o*$6{OWg6ǐD'j`brx'gm#pgy6cɓ r3^пOT#%' X'4V\{hi֡&ȘnP->(֮(~m?:{PiPLt7M,#̻ e ,";Y֛<^ /g` ~WʐK[JM@NЛ)_~6]4?9WsCK{@,У9L;ŋdajY$d Q"E<ř}x{ɹ'hI,S KXa滨bn1«kqp *lw>zևѝ g$cOp?C$>"|Y P;+JtRVѷ6@D/dqɩ`R~:Os5/^kEO{ x.͵?5/.<.#•k #;ggV)oiSJVB+)Щ~&mvL G",? :rRQ4%VƏpu;!LNAӞ&o ;R> Xug` T́VE.0,~O?V5Ւ9q7rH]ƛA1|E4;KTKM !NM8R)JE9œG-%V%g(vX"dQlzF֝/;\5 -l7x[8QS}iu͓D'D4cQ"ܞd"P_7JW<GoъF@#֊6`qڢ9Un#t2Xr<šFڵRc P&EB;u~6_8Gu5hAЙ9^3Cdt4Q&/`T&\myi,Мϭp\j},a-lw n̮,ƧT9Ez!h{!Oe,`I }>a6*3?o >\oPNܧxؖnY'y M+bu'7̮}Q@}Z:uUuG4*А}DZ^mЙ^>#Ϝ+w"Kp|WOXwè8o %*5{a3-= 53( vi% &cb+,ȏ4NF! 8We`Frb&f  }? *=JE h _l3qI}noXbu^@l͔tFL-(m+(bOZXS1ջ([]ݪ {gXT1O#pK-!cW/Oƣ0`O]fdLZw?N]`I;/: Z6`xl{P~ϤUkd4@EUs !v5u ­vEbQ0<XsL=-5[hA۱ f#K^B8&7lB:"䄬.`-=wx@h t)0+b\w8Zށ0%&N jG+e.V|s,)me$a_BF ~^Ol%5evҪ)Ā@~o@R_ 퇣˦a $&&:{a} 82%I9{崀3*~&[á 5Ǵܐd է@3~> Ҟ 9ܫ~#ۖA>Y&(}u}eq!$g(Iz]ޚgjE týrl$sUFfdez?9IAyj_3&qtDzWy+yIM/ȿh}%\*"P:cg>.O}æfd@ ./+~ͫl#۝k`, +Q7~GfЗdFqv@#>~C3ڣLhrR+泏ӆg޿MFjus[?8Ro?CUW SxėK{:+""k}5Q>w5K  BcE # Fe$ 0"* {3RitO5MO \(j.ʰlV`Pd@?PI\WJAVBׅgT-I}эwtw!+`eÖΖbQd[O?FZx^P nH8}岍b4! gyV;1Ch@?lf# b!oo"H+*i)lNPXT #nCң(le4鑅:,OsȏKz D'!/2 JݠiMc\׉ Cf$;GH$YS6MḦt[< _)Rv%u6,_嫤FEBbNFL .8"cn=Ӡxc)u/_[בLx8&|NUtN5GPpw1'U3z+6 PT4JZsǯ! q(wW`2|@o !Pks!;I3bZva3, ]MΩsWn,Gg bZ&yڦ/Sd;\QOۯ Ls(f&mN( gO6WʊQ7sG5 Ja0] 1\)3Yɬm1_%Q;90ϹDnAAS;1Ww!|d` aĩ{!Bh3hب`ں-q [6)i'o"1O334('%&'GM)"ez]})}UoWP n_7Ɲ6B[Jt7l'C zCjr[G-mc^7%eNW fZFzMh7mדM>fs2J\-swZV?1s# {+9;o⦍:iдLa4i/\ xC xEy"/Jd)8H3&rI]uN90 D )r5*(uE5}j$!!>Rڶ"R% |BgMn3U~ *rU;#ۓk-ב# jgr{Ѿ;J[>0&YI_^1]zwƗ̾w|)ڻv.''^FrLJ_${[z_xEhgU.4N^htk8Y[FTb"|2JשּׂLʣ6G3iTeǭ9_OqX DjA +V^9oMm^뷜ϱ|co[Z 78G=]D^yZב-Vb2q‹|a!16c{'gk[MŀNˬ]`~`nUXS"U#.N<' QG?B$fP]3l[7=ud 1ߕc>==L-Ʌ]S[*pPkR{VMWP8ȞlW.W)V}=}?35 _FhM ̋8W rnq@tdpV I;zW'M)A,a[9]3f nQZt[s<}یWhoE~r MeEKTY()ɃOytLE#ߏġ}{/Zr#'CA@ʀ,dĮ :b@́2n t/"ck3|˙ T| Y^ȬԷfƬw<#<_N1 `iսn TmE"]2{dmQ phswTtm= lpN@] (`J&jsxD'CLzScEpDeAΪ#͔ %pDK\u`[1)2$EU {wdGTݕsA q$3K1S+ĭڈe!B`n6Ύ(ґ% JD9v3#9o#IGd.r߷]JlmLX;QNt#EILՌ9C3(Bf?L5[v6wќR)°L7GFz DliQ* jw@0:Ӥd`atsCTֱq0c.KR.-3rmEgg)D p=8l;Wz?Þ;,$!%NE!egw DDfu)^I&FK0C+ڒq?j0,kOlHlۏV,*̙=9S($ٙEعSXwW U2h {WH_7 C2%>=vjВs|fnc("RHVeJA 9@{;AEeH;6ksȢyfB6 OJXyC6QMl0ק:=:!<o3V%(|5 (;c)l\lNk`+kˇ0-. )V˦:D"JA?z.hX?o(t>+sm}hBJ[*, ,7 |\Q+I~-hN$}V[F4p&D8L^q& `91?B+yac5ϋ)"V-wzs o5ߔi }dF-*hvv}}|[Vz?h*s>A9 ϊ1 lJ K@+n@ G)g`އ~ ƷߋS~]w ; Y0GhRӅ4 ,qМti[@i^qZ-M@'g;\ 8m&0"5zōP?OA}vxq41]|T9/#4".#/Lə%v͵X3\yZyv;fo)m؆^{b<~WR,R O8RVɁ\D29N9u S{ #ރ Zt582֪xԔZ4Sb6Jvv PjT9O%ATyp:@'Y|} }VNrvvmQ"bwb%%-yAz汐F~ rQq,iA3(I*BE?'WniuG98[mpDPM:L5*m/)=/405b\E "C||I2m 761jμm-e`3R@l3 p^!,#tqL7BKT[n󵁥&׍)^_BS=7 h!KN{)q>Z7.)7>N8Pݻ;NP7`N=Gv^GK;ʹQ$VhNvEO3¸ Xhxb)E90\DMf.a`*Bw] b#)R-Ԕ' 0yZ&@LibMN6a'}Ss}jR K>\iQ8H/aiL\ f9e3W]3Gu:L})a5͈w^Kp}[= ;Gk8;f^d|%@Ԛ^ ~Mx}<뿺e\4*%($I9Po0Ue>e[tO恃JPNx_6l~B7M#vvGAx]?^qaÏY6d:5¼EsO,H}4k@MID:7U|j]@3_e+ZD}љtk!޻^ 4q|60 Fl6tf?S}I9Xh c~'cG1yvtRcoVC8)|~^VH/,0kR4R\4UZ" I|gj:jvZ-h"L8!X oPL_DR v),$үD;W?J'8m[) 5MXY7nlm!LZMѐ0\*v,6sAM`e#|,Ci, =ޅodG)yxn_gxi8e6l$26g/; A'mw$~SO9b@ h mތRx|N+gETk=:9~DlZJΰplSdWbs.1;ًm;U}u1Ja!PTJjTk+^u܄fq *v-DKEi!V+<>ExЎNV=Ry6s/ }$ @;[CѤNZ)rq5 +ynW. Ha6r"BFPs@ GZ,zb{{C,a +[n=" ZU }TF̉',Q66QFpw<xu> [|w[,/ms]7l٬8NFt̓ xN  o  |dilJ7zDϽCAe@C< љѮWF&/zؿd9dp\)GHz@n L}<8* #XKLU֯Z/`AYNG0]]f+ϊKl>f30L'd:] g jܩ;̡h,BnPjfQi0K_A݀Swx=/mzA'j8#0b;R+8 =Xzc23 7{rhߺd.&tb&T„`5;nXP/DYgA#C*ݔ3OcXE"Wԅ7o^=E#=o(ir@uht.:)4J{C N+@_V\qN2_}ffa>Sͨ1%P w1z`K]_Lo&Sͣ[evG >[ i_ 5㧜m]bQDjOVhkI|F{՞$xi"' ^haCP#?Xܸn#`6d3^G})s.rce"EndV0?obV?yLUO,5: 5 =YH#[!x+{lK(+/ ;8TF+~ceL#N==ꋱqn1pq1}n6.eLG`1t!czQz<셻~0USuvc>/,eGKh*]Ky}=&!RrN%qև(-hZkmYl)-O*CA򤡯R \5@9W?;~IJ-?1f؇.BaٶntAř#!LJmcĤO۠ծXh{Y'd}վ/=Y$BiDX)K: C3J'´d hN TX l-dOMӽaX=ƥO kFKĂ >` _E O?$QdIrp@j4+ƞRl5MGZSD2("S}jNGyfr08|q@k{ZSl!=ls-H#ph1[h_rƄ]H༂4;0Y&0P 7jSSjA*˫8 /ØuҢŒïLYpP|-D*jrpvX&'` }/>ퟵrӃX "96,7̜$fgN]}׸g(qUx 2<;Q6HVuGtT:L zFu_8 $R`x{ W^)iQ*g =,,nOA], ui&WJ q}M6x_q$-[ڨ+ҒV\DUdULR9, p/;m'%e%*nxCEsזu‚g&w]$ by:F1M\ $lk?j!'P$;[nR:v,~5@t_U+ͷ5(^a*Rpcbڜh=b/Rʘ@fw`%M 詇0ZcYE@+C&w=EfZ}/H!=];Gw7A? )*7!F]5{%bba؛׸[}3{L 7`# ɓ|[y-<$I$ N$^4cZ䲈:ⰠU@|9 Bo>DC:S}^;7~L7hTKҺC9P&PRֈ*bkIq jojA5w-<1c*4Ep"Qe_'L>*fLL/J+lQ>D_TK`gI[B荃J4\}q~N& ;V IZ_ET]D5gY't>JFsgTirn |p"@,E mqQff(NP _ 6 Cӵ5)Ԭ8XIT-u`إ9C_0 i{ۃUԂ#_xďnu0]Xj^ 7 W7(WGSF<"cURq}7wZAvWb`X93PBq)qx‰j\žچ<jF#v$Q/CUN׍{P._yJ _Y*L" {!6i$w]t w7;%g,$W8H#X7$!l#$gq u4eYoLN^mx=uwW'$a`w:Dwۙ#1fR%"|TSsqTN䦷X XwjAflQM~a9An IW-~Q_ˍJpμ%kXnwdpҭ2kS0,+OnO*K .A(q S]7 sEʜo!vUU^:jZm A⩌OE0$6~Kj驫l\G4ֈBewڀ@6B5qsḒ{=TCu~_,iN+WlGrIxS?0OK m0*ěF\؆?cKg%ZbLb-x!fk-I= O*֎*t-6NDseH Jp3DT_IzQ2ݐ^'RxY`8# F%RJy;M,/Po3U^ ,gTBLK-`:Fd8hy]ƭzE:NC@aֳ:OnF:tnQi?FQw"ΜzN2vmP4AvoD }7wl\-NPemp樉dca6r3hɣ;tlO9b~q)S p 幩 n4Tz v#sT!" NF @/ZYٮj/rZ%Ir"ve[رE)%OkBߺZ< T9{~",>lϠ. g&l-`qjC6) v0^`BN1<K-N/v3epY?0 YB \1F%1L!0e\r2fT77@ (ӆ+/*sagnto߳lZ*-I{~mmcÏ{+,`"IH9 *õ)TdERjZ'kR@usE;74j6i-r(lԷ+i;ɲr}5Bc2TzV [/qILΉ:lc{l>h.a gxQ})]3J/OD|5}zV966~95FD t0z;S-6hAEËo2?&I`zI ܳǷ I#\"n0kG[pڼ+2z3 3 sz-7]j6t(~] vGK؋?JwdGMK$]Fׄq LÈ5܆X?& ytM{W1O>k$|?ҫG.bX>^ס4LhˏvGg* j_{P_I@1f=K%SJAwxȽ藡Q<^[e +ɲ+8#q?"9;6=.͆ϳF d"&r+jmcwkfqҬzPr5bǺj y۩%weumY,{Vj]*cH{_ .٭Lfb8vg 'c5tJF2JJv`psuXC rl^5:&| &v[jA y9 )56Hlfs;k3DDΜ*Z)'ҭ>r%Ix1%hy^݈Ynj4`s,ljOZ aSvHׇ{v.lG`4b5/tً;ᓟN \ X{w;͏qA:EvxNKt>!%E&r#2`$ۧ(M$_w2<"eT"'_ɠ}#oPhP0ٝj)Rz=ц8#4bm.Bz#_eyтCLOM*tRU2b=}Qu|íx--(f`>O G)Ȩ8Dž |Pu~Me 3&ͽo^W`Z[r(MA`HD*y ]mb,|Z.#/Qv,UZY][', S*M%?=MfB[tG)dVLD&=$lɔq[[]{6)܁ƨ>*=5Y5+BOJk=`g:mE53aCfj iMC5ȹڎ+;I,9B,9)\\Kneqwј"֌xu^4HBX<;Pxgqj"YN p%j"sVTigPn()ܲ}1% YA 𲹡;:Miퟑ[5yEGvر9M giw,ٍɸᨧ yРG*Imk22O:)ItdZßh/icYOO N!|vH҄;e9^sfQ8W*Qj;n(_=0`HRyx{bNQz'hV_@ơE߰d̈4ED[XI>ކW8W.,CtVa& F?TU;SM˱;XM*{6df)-\eVZ[z#}bW1Y6;7A LebRp-j~AEPe:asѝ26s10F,mbڑBI 0Az)CW-k2쫏 X,g 4=yQųK#m i'reZİS|2R|ܘ;ܸ%)AҲǤjP4ǭ-F+ v^HN%Nıd9sGInv!&T=/PdXZu;(%,jŪX~/ISf^~9W&$/2 /Jt~zמƖ/jX/5y.ʮr@X6-.g0˩9NW|ܕnE;# X1'чQk'F[ }݅S}:)(b^TȘtwuև ՚ǯeT~2]u˅;>9;.Uc qL,( =P~kti5?7 ħ7ߙ%X*p T\OͮN&6b\\_=,:|(FxyJA +5tPy?Ne*H̓OrΦNOAt Ì"հq.7Q(X:0wxQp'p:{7;2飷f3wM&O^2Q>lC$9-f4`WhPt.3ZT-7@/|a~|ĐVo”Ѭ-xU7O;ֻr" "'UMf Sg܏CyUaYe֦,kʨMIW+C Ȧ 09V-沝1nU *؈c0B_@B%rnVIU?*++^X]Y ,uy~*3ZL+(gHܺi]Ōy "p/c#qU~F,pW>32E3 1X vQW{:Dp= ų1zᆘhz_VB0's r98S$dɩnPrb^R<@[:hN =~/I`J,A!%^jl]lח{$Ż8fOK(Ā7Z )5bhoD{~6Լfd r -6_ڿT˻X zI "!7Ycq/#U{ x6 `kw%PSȘeM4bPؗ.47hk ZwbsH4 Xpzz'֖:pVu}4.y8ަ>dlsbJDޜg*qeM.P9#ގٯuSUuȋe٦( Iʒ·n E7VuQa c:}%#+"ᄦj8֊m/Xsʲ 16U|^bK0S<5(o?XvPBDʹ0 ΂@iUSH9$ k˓]A1iG}ߘ7fuW+Osҳ~%hy%4iTjYC|#6 m{N͓f1}J?`Q+jfnm y*Qa4z3*'d''Ĩ{\RqS۾1i*Qؚ(*X啪U/e'4Ez9N[ )x+*kZkFr_X*0E B y?D4gsMM*`æ:|tBw^7Xͣ/ex/:.ׄIT6e,*%rfRyEَUgN(.Hli_XW-;5ղY,q[*w>9&mz ^)wꆒ;)E>x( qXY+ct X4A 4 j Taƪ!6AEK'fybvNb.:.N,ߑ @4ց.vOgYZ7zXZִF! m]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>v 2`Nyh&;k[J:0T{09ީuq}k7DkЀ 9:J- *-XL?*u&r/5Peox"%>/cKjcJ2A%ĄÔ\s!b|xvy@jvOhY %X 2L2^ۅ-Y>m-zjJS8+Wgd}QzC[1Z>kd"aPj)TR\ ښ?!A.*+HԤ@h8멪hA :Mlut( 'gYZ7zXZִF! "4\]ŗXi%L$DGBk>DMD&,T6#V4|$)7 >ڞV,L*"ДW„8!8 4ti驞 hPyjgy$KQ[I'As)/@ǯlƓ=ۺ!!aޔQ'<pJz3y8:(VHSlY z&2"ME͌} ȑnjce`8HO}nO,Rru5^'N[@HMXx?:szx1˒Pm-#~|3G)$N1tx