SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  p pd!lL ]]]HOL-Proofs:threads=6elapsed=576.979cpu=1427.108gc=244.120factor=2.477zXZִF! 0]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbX{-"fPT5}X3@p@ |WV,&.~zq&i`rh8bdN*oHƣb*c!;} G |c콍e.s4$>/~#1 $|d7ljǰZC$9(,vkt݊Ý$~;@n1^n1[Tqk"K?S/Yg?et -I Oíh@MX&`Qm Ľ#P@ 6 B6.|}2^} 8F' 5vx-n&A? C* F#5 ؠ) !fOe.w ?1NE|zv|]b] NDYzZǠq{F;c+I],T+B>&n~3k4a=,6eAh~  ! HOL-Proofs  n2hU;S] KFSc,.MpަRã*П!(nĂщ+̇+GҢݙܽ&Bn^;|MVQC'Z ]sa_HHf'e]r6FWG6YVB}^> 6+ZG_>KZ5Z_r1ѽKCzA$bQַxtH,Bl(ȘgL \nZCb[oן`&#_oʚt>GvhUcG0Y/mA{Zf$W dP[$"Y)|M'$5Me5k@UJ* ,Kۻ\ ܍e 5N?_˛%U ?¿(gwӑ!o*sBo-݇ wLHZ%SG\re),H1_0ss%k`;׮I _ #G5uV#/00g3Ck!GiOC1c;-'f4dlŵ.Ɉ{d,éUy^J:oYȑSq j \A>&fG63]B;kJߥh"H * ͼ*+BAwr_cHhP5tCyz ǹ w%wHԁ sS<#$WF WX>G,:GC6±5)G%Zrr,8XZ1l:sSDWQuD&2^]Hr%aBy. QE] ml{ ٘1tigQRo͸!qn=lZ32Zvc]6!5JN ƤʃU]X>Y\C8fHM `cF X7UF%/vX92G(_Bj d`2?]K|6g]?$yMCٖSz§q+Ħ`qʕ6_ʾϓ.[UR]Ɠ4AmiqjrE`bQ^xMI!RFQ'[7e!2'^-e YRSK&ӔcU T׹]}#.Iƽmzr6Z=d|ٝQǘF uS-źUf0n1";\/G%1}bO[fddX)nB2%H^ .lzN#@lT cv1Ѫ6ݿ7ɴ[!-F1[ᄀEKITE-ih ݌n)~F   /qѐz8>C5aݱk%O zXX>.ؿw5&@ =A-ӨSVQ}{=0]+3.Z7ܤ,>rDr^K.cY$yC7R?J+4&Dz""9eѭگjm3_<5z[$ i~^ۜUtfs8oM(w5S.dєHN0Tv=8Ҧn=J N}Z$9CfEH uLTZEkRf0ic*V{mf洲B]d]3ioỂWp$1x⮱+UKԪ!^[H躳m#E2>Llm_7#'~pK S~4l9UHfۋq|d3(S~ ĸ="}a?C<L *o-4'4V vnj9:G.9b>oBRfEP7x2l-X>W2 ' ڱKUXKڲY H\=pK9l k5K`c2qȅ50M)֙ېg)ƹM ~F*ʘ2$=Yxk 睂S$$S*GͯRY8C*!>[( C[LK-#:d_{m IOY}F2w(ͩɧ]3xvT,R=4 s-0QW'gMUcyq^|iمVi!o2956? .SkeZ2q_ՓCĘEg$t 8-"D#8nB!9Ц_ U6beQf\j_;9}7"\(bjTPL!I9%k->ߠ8cǏ, nʳ9|(=q :Gkr1d9+ӯ`CmA/㑉eJstjU.x!-C/)#='W k hleSs8]KCаHLFWb<F0<$5$">}5sU,oVw)n)U+ysH8S@ox\)e^jhqM+- Rz.ߑu Dkur8 J/ޕ^Km6WpN&:-`:Zz3&]`pᲡyךq؍ ި?DžZ8Bd7k#) Bq.eq֫{ꙍ)e' Ǿ;!3d@O <{nُCn0t+ E*mԺFx[ :k}q[̔DS"b[6S@gy^iGjRE_#̊~0LRHz]6xb2,#<צZXNh}\/z0s-/>$&$/y99 +n\hU#`G "X{VjW42Evi-:FjKP9yG gBybF;m{x feia dW"I q'H˸n'C6u?\^Q>/S̎҃3(Uԣ訪3ؼOp]ůXer >X ZJ~\cdc@Ŵv˗k[TƎ TH"[QF8umse Q2]lFXpPpkqc]MPsdn Ro ;2t,/_ /|JqOy(t'"Iǣ§P_Sju+enyj^;'.2L_ٜqSC#==ibx=ն,0r]LV& @޳ʓ<8rKߨa\h{aa e|F =/q8$ɏCuV״%sw6y${I].ڒ)HdIҠ"Z0dy&jRĺhFC\0ݮ&W--2oL auܓ"ʻu+ͺBpB\7̩dжA@="{9v|ʾ) :Y; c .CigYZ7zXZִF! d]ŗXiɟ29aoʼz[%U>EM!!B/LEڅidlp.ܗbNxIdӎ뽫S7<{X]S)nɺn >WXw# ub=#%wedS9))`w,*ryPE+-G)Lw޲WTHnh3XžĩT$w(>wx~ZB(2#&DYlQ Ad s,HBq>)s;J]xO~c[+!'yu1ׄ;r +1VKm1V1CcY€mi;A_xoQ2Uу xA_ytt?/g0 X;Q+}4CpsCMGKRa>>qh ĘNDؿbDTYN)=JbB]-?{ۇyLY()|\Bc~es4IuƦ=gU`̇>'W)~sLI_4qBI^"c}kﺨ?Uj@@z^ʨ>/h:*2xl ]cdPK+C  p ^>vIP]Cq^-4PpW R /BJ|9bK_g̟p#~-na%@nid=;ȷ_*ZQmb/CxcnD; 93}U#Y9ic_̝mMZ y8%f_RYw4l 9H> ^{R6j& pX)= Dhc Eme B33:mH-#C~Kfm_k2#ƙ[sX(b!XZgl KPIZѕ̖dwu@M];B+BSb[\gx GIɘxbuf{1=4Y/x^$mF`Cp 0Sp[ T~:61A/B2l}\!HtI9 2I۟gYZ7zXZִF! |r]ŗXi%>p ,RƇmCl~!+9%盧Ɔ0wiG;>(ը8uZuK)< - zlл\ "0E:CUZ{~:!4xd?MNoElPFwx+tǹ^& U]HrnKA$2p 5lrQr  F h`v_w6&"jk˝exOLL]6wɏA*v`P6h[0;:ˇ7^_DbJY[x4 0, k|c׷KȘbb!4͸ܑQsziDLl-N!{7>Iu/rD"PõTrB|Z!Z4U+s;QX(˛oZ %ߩI(gʑ}tK& g훻e+w>?S&咃y%cv.7auӆ_'_\Y)Uti_C,q \qZH?kKiV2% )a<)^Np.X P2 9vK{o|sPאXT6X~72f${C3_R2yek 1@LA,iݵg&7},AMK.%ۤh6vbI70cY G.F0*bYE)Z(:5!S6"tq<ד W(0as-i[MIi`6Zb]Z+2|Վ#p`"Q[[li05R߳Pf!`$2g8m×1nxzQZK!e%lĹRԜ+F6bͭƴ1]2sn@[ H_R+@re[ c-C4 whOq {Pql9ܐr[TCNPh}Ӷ4ë\Ύ}?բ Ӊ%GH"Yұ+GS%kUސyRNX EE.Za9}Ft|q.B*Nv˶{]}9 cR5ۢeK ҔZ'U7 ,d8q'<bacԃ"!k+t!H&h1TG]Y.4lW6E'Ge+Vn) Xmc%SE0B~q6FX|,x0t6 7NsN̍Jԑ[ڱ;A$߽S~' 䔛S@uA?.]13WpkKѮ'җV{rv[C-4Ss~Geпի$'QoAku1'ǟ"Pb{GQS JFhg;W!P=P_A qۃЪ^]e,VDӽ2By+Q4'rug&xps+{G'\4^Y ~,o=/Nj1ET3?nsz$ 9mˮ#MZV0r yB,ʭ`_U%]֘ k"qA+Ta]cԝh~wObd{I 1 لt>8 -4) 8Qv 7 Xd .(Bz^ XDL|.8l^n.hYPjc[3\z*'u:sٌylyod K&&Y+&dhV~bTy=vN#zlφki Kl'ch2Xϊ'cFV=KeG72۾v&ql&a]ף /v(:&`*xH޽r3p{csP".xlGΪybHfo%#ˈywqZoEz ݋Ռߟ-ؘQ322$kjHUTOM`C@݆侘Yr@`ŧ33tTK DI)Ƕb&Z; ~t2m [Ll7^>syS ghsD^A`cО; &@D+YV90üA}V L": wX^2x>\qP!FN%P$d_Z~jn PFTX5_GGy o(vM{.F38#ˆ obM+6{&/ra'ZԺl=f-I#tb "2͟02dÆX1m0U lm_IBlP܄{Q>:rVMy_㧿v9 X'Ns(6yfЫL C @}N o'-ÖwEV_#:5'īiSAЮIAh/K7Z֋ B:aR}rEq7=|Ģl|،5]X0]pUqqJS>0ʖi]jlB򼞔 mCJǧҭӊf¼rza^mna𲐽)' N[ݪjrX 2Fٟs[6b~@L*3!8궣  '.vὋ[#Q Y(Ck#A)4+`+b]wPԺٸjWn3Ff a"?$::+"#<,>pJB-/걠}>{m0?[·avBx1 2۱ȏQ\يU,yo nj k2TiN&i4].kbmq=nf40KfxBj @@v2<zL5D&^>J [Ui VPjCզb5PUMoxsȇtUB‰:elR0Js08!Q (PImU\1wh_I!A|+"<ⴢ>>=ĒŲ05z29hyNCNWYO"2($.bG/ ~n~GiD)2+]%WxB׎MFL*NXuۅ4,B Å"ei( ]x#N:.*?;GcNPt'Z"v I䔿} λnU+* (B!&Pco IrdFB lS[𑂧1$AA/seu=G C(w1qm0 Ǩ I,9O nx= NWC:܇Fr@Lu, D5"`/I,'(s[X20~"]^&4pi,nBp\K3: .jo|k̐ߖBg{ڝ"!Pw4iYIF'`iesJ~$˴Irؠ#JRȈiEs ]+W$FT\\iVmƷ@iWkؑeVa }/T; /ok'g=m`sVs NPnbe0uZ __z-2O짶ȥ0QmXZ|xPQ l{f| :prBسZ8VGZIaj. xiwIG곝%4y%fA~jt/~@ΆAOEz^-B>wي3P҆m\|W+fW"$y wdxq "[5a &-vT Җ`D&JG $ 4Tbe!z5<:}Wˇ@3\Yap~[ 08H.$b4߷W\vS=bw21"EC& c|B.i ܎I܄5ANXrb$T@MgbqlhA&] ⢟背[=:l(rYDe}XbdW3/=a/7mʑ-GsND >]ǂ1B~䟜|OwS˭B5,nȥUV)&0뻕C+A'෇2 윽 Q&X{rNPO#c:g Gvh3wT j3G _M2U9QdzB*+ɔ❝r.7j"0.RG:+z덖UXGrMƱp&ӆKcw)4˫u4.쮤d#knש%0*+!dst 2ſoߕ*:Y"Btv 3m Ux,sS3'^M(2"԰$ xh_Pu,ɽJ)7,x'm ŭMkDNs+V<I֙qt1a<[OqȆJXooqfSpb& *4=ޑnG@5X iC@ yj8蜏PCmO\жQplY.R|LQONnT8/zy)ym2\ >*7jJ+)Ldgߞ%|6187okČ )4ylF\J}ڜpkZ=yf\AK "N*PIba9-pƮ-aUԕ͸'J0i7ފg}MLN)+Hj^:Y`k1fl=b ,UEijd>U*y,eyFͨS$\Q2B$cK%zN,R!-"~m B=bBT+M/,Ģ8TiM}(2dm)1[@J"e}aq񝟔w2`+?7j:RqpRxUe`W DͷHR|Zi_> tf/fOwP{_$TR\?bO]?Xj =jlnР m&c #'znu?&/y/Å_L (hTS=Kŧ ̖UpV(Ƶ&GF$uk&2x=)N43ɤ`N `ICpr 61M-Xf0b\l`x|IFC7 )rM@"|!I?h9Gu[ XJ0"3vfAO<{H;ݦ(ȼi}0ƉdևyY$8hT $iL7CWu&zfQg%i;;Hk%W,+f<$X#=T=2RhvxIҸkn~i7|+#3z; p8_X#;4RjcnSsr]`V&qt&,hxi9 IIk$m]זJ<=@67ŵ s` "n 7!ru2al&g2tAC Ř& PM1<5huEyօ< qϨx F+KwAa,4*3 J1SZKVٰUS:Z7&9$f}A3G-Ua`'=KXpGhGQYp5U/[ y0HY١87 =(gbu+jP\5q{cwU8p؈u%yPh^63MSd9?ie*=:*9'/}fݝMx"CIsW ~rϫ/͵xF^Z6fK72hO̻ăq؋(L٣Fh*j W4WL^Wjzmyv2Iλt0!X)D"{>S.U0j/ zmO$*Юj1TYd-6_8Ǜg?]ȶE,Q~YsӢ 37`/٥;_;" 6%=M ˆd2&b,a>Ƞum!@Äp{>77 ޭx^DŽi}5"۴凬Zwmg[R:fɝ jxawRUhƧnϏ M3>R *QJ;ZM쾢ռ/IaYt‚p,J)/ Wp)C9'm0Yex;bMC a!}zx['ZeGlN떡c6Q]~{@y~DޢiUNE1Eʋ/_ Oc9y{ܢkO(9͝4AlWqW҆g@ lRzãyh2Nȩk y !J6NO5GCuF p q-%t% MnFΙջ9Ky?09k蓌 f9_ scf:>.ɸ '|- Lq6C!CDk53Vc2m)$mFul ZGGSf5H~VA8)o:2$6`RWCIuw4pZ?ҰK:XI+K/Dژ<\BI J6/q$$CU}U}UBR!Hp`t J^fcrv;766GDhQ{4 i' YUYK|SDGd>zb׽8')aَSZJ*I}-Aܫ);53]6~P0 xsw@4Ij5{ȧhk5' ?o*w-e'ч_I\6i` \&Gsxu,*#,@_-6Z~Y-7YKceȜmI> RrmW~Z'ojh]I<ЯE3^6 (`p ɖ=*uV旤l a>B^ 僊Ӎ&MrXCG$y ei=ڄ `ҡFl&35m#\>4Gznn3 㲻Q0yۢ/maML2Ά|)oEbh3&qjl0̀{ 5X!JsA+=7DGcӂFe/G)SO% Tg72B7bmp<#JGU7$|IP?F6FG75m"펚dMGʀytbyK_'|8VVjC& XwHb4?6S.N&V+MI?:zc .*$-\MНzvrwRG*f^׬*+3Ce?$\5KZq#R`9fUB&kT=m^t6F!sތ^ mbۓJD9))BX_3{7a6X؉nGgNV)u %L+ˡ=fgGJ.۞#̳' :B4xuL,[[Av@=CM/11"4? ~.l vh趎XkNg;Vt5XNѳ!E< @0WFۜ2q@h/J Ũ9yވh Y9 -v}++z#"q}Yi=Su1(eRX 437Rɒ!fv> l8Ɇ6ݝkaɇg5(c,)?V|G1ľBk r28}[u-!ʡ .Aݣ K*\pZEƞ8ӾGp,f ;~Nw+Eӌ%l+ɥHi.aÈgڧ͟ZrZ@%'?ĴꐍIdNP6qk(o=N-VNZe s%[ʕcOBխsVr8~T;|=󾙲K%?t+59fzǒfɫȼ t e$ܝj~|hKz*_+ M 70d&2e A'wY3bc'c}=22w6g5M_J#inbHVL]uJX2L~T,.ɏwu:-g;GuҜ,W %5)bxї;tt2+4bwS<~to&C&; S%|塑%s$1O g#=l]3oQ[a FĦ13FolPP ϸ<{BLV t}޿G @€zLQK:?:%:>vt\[[Uyu~O YޒSYc޲ *F.7o05+3k.8vbW,X%:}-[oc=<[@*OqCckЄg0'9ZU\D ߡ]ՁWEjkd.>d.ae9b<Xu&MQro2br#2fS۵Ȫ< y@̠| i7-Q}v3[h|#Fgex6 &a~0w[D|WŞ:k='e d l+!:l2xL]1|Kr]g9蠆zHe9#樫G$*AH,8FjӘt&h=qN%oKzȰfyZ#x(q0|q\)E<@39KTwFEW*{[+6m+GkXpzh(U)'6Y~*5RIutcSkhH.G-#1>Jz9O|skcPE6k p>_!5(,D)AI RZWm_pn϶@AZ,0QO8S &{cn$ד1X,\dʢ jԹ5cfȦ\PgL+g@{VKx̉y8IGfa)|,{i\ݶ{[͹LZۆ~kG.14{y#/ Wڱ?&|ak%434V;ˢ2.g\ib5m] MzoI< ;CMn(R0VG4d尿SKFx@ebFXH y*a%dݢk_e'_KC Q _h"z]b>g9w["3yYbNnП4t#H˸LuspwY=Sg.sv&;@gŸ+ !l9}d'ĉXzKIt! =EjLNuta#m<R)']N筫G1nDErMwz"#$9R{pZbG_4Il] E^a`GRCb|@syK|z^Q{iijE{0S=՚jF2)1Gp4]O@뢍}LElxދ ob7oI0q*u!_kߥv F Oo8 %GLW<2Sq@P W˝)L7M|CX#y?=xx:ԶOZ}ӕ&kFt>W;#6J|P 91:7fbJ98z$8,ThbVL%lX[2A6l?J~aСoZlne^?QN̒2)s˼ (5{)q1ɫXrNb{2ǗM ֮ nuX!קҴ|4a8WMHH?6ţTEӈE_H75rw䒾>kV#d%4%K+Zy_̊-24K-h,U>X?mFC_Cf"C˨$geKw4XJ&fnT}ĢSěº<2N0<(Făm4(B\0H0y-؉xlT@ut [""vÖ hkm$Xy?(.ffajO0BxWO7tI YOCs(P.@TU :ЭJކ)km}E^9Q11i!T%k-2򯿢Is,JnTߵeTFтqӉlK@M,A=%Pןfi.9x8/oԏ"`[YCFgx 4n%K7|M01v$Pv K9ѯ25f pVcH:?ǃƃpW\P>kr hI N~ vQmfn8V;ֶv#>ayKVsv>?<6I:";x 欼 x(c7ͯy\k񗭇ęMZ?o2{osSj[lv/o`6P%kgLJ%o~^IXxK}à}NHR`y S^!*q,_R;~j 12 ֍xIKju;ap\m49.7?` tg4tx6N9\@xj?H j }?Ci,=!nn<+GOe.Ҭb>Z]:5aɍdVtg; gv)ZF2*MRĪJ'X}:)AvvX ^{6ġTj5nOJ_`QZ\ R629Ggqe\n9 a5x#OLdP5l^HWv85{.mw! Xv ?اezg%xd;|=7$9Dڪ8)/ ۜyiD۝'zOF'o!K98ZfABoi DŽzl[7#v$»O}<&yo5r="L5BṢpwHc⦞5iBdY9Ql=wP:A4тxNJиfMù?|KG~Dm2lr$E9ޢ2mQ=wPo`>ӆ`Ϙ_| WheEFZcpxm͟i(HDJ=El//;nSցMDJ<~YTټy E"? a; `q .ϓ 1hJu7vbNFIp 4,|5)C%eN,'yYN^at4QͼHJkN>Ξ\nMղ_CЏ4\q\^kXRfUa)z%$ZpPԃW,enu _󎦇>vDiWF 4#xy9=,-' 3HpވXM*-BIh=XLSdګo7<\@a즺^̆y@Fo?WdDtUE @w,W 4/0shgAln+\Jg-vBKO4T!$-V3L;Tǥ cp f[D3,L)>gJ둚&)4/Kvh"En5#Nc IϤ |Q짪dMCzɼ[>{uS cu{gIٸp1o|͜ki6VwMq)ޛFiਁ Y:^jaWuKkZ*%o>m6ħ|$X [×+nk1@Yz 8>D0s!hf+> XD+q$ xpJBEXjj2OVItCbsO/VǸ! o7/emeBNJCv#A.Fo = 6'a o:nGyh,]pCBڐp1j\t`NaS`J'>L@uNl70YΜ4S5 oxr)'uo"(ޏwrO]H!Sm ARuy.M5Pxi-8!Fo2"Ak([0NgdciCf##F{}'sl!GL@~VVDT۽`6fYUHζjmc%)Y *@wFк"q~͝ls)ݍ>c}P?$T{ X$.l5B:®ቾ[`@q" Ƹ˃>V(kN0usiHLʎd{-ŅLLe?3cEf(C_]RO=٬|{ǹ|2{R>YtCEAgSlCqNjп<> \MD#\vAk1#^z̿@q!$.!&0sD1O8?zTntFD7kY,T"JVSuU-65\nDЕOVЭ9x_?y 8G?JMHQq B,c;6zR (1.|l967zYh_F󋙙?`!9czm,cDLϨS£tuZk8!cG<:-&ӽOWE(L{}ϛ'~ sl<3,,s0>,2/:Ti*AʓC⛚1a(>gi8CIڔhkx ᫴Ga6)S!cpsvÌt]iY(J;[6ahKeNe5?\@g;Cђ<_K+3\qPoP IeyQQt(,xO~)8#yU6,$W1E߯тALQQY(x3?uȻ5N>)COSc +D]nSEȖg nѲe>[c۩oNw .U^ZWK㯶oz vz 3Q=pyIv(6LvIeh7=/YTW(zo7¥QKU:͸js!-v> dT~9fST,O ƪZqK?aj5O-2!0w{7?vB[WC90C `:}QX%ܺaiτMk>#Sm\6O-Q/\ln ٯP J]ƒ1kr= )^/3{`(}:̃*EK BeLA)362wr"kmm|BԜAWw<}T7x\4o*ƂQj^ޓۉk6s ї. d?.?CsW[ lnQ{V!۬Gn#n skX¼kK M2%DJ|P\9 iqxf#>dsKVdK-U>Zn|zmε*1vp_p?N+6~3*y:)-ugDlD 8z}MӽP')M)nf!oR\rAh ]'q!SPgϾr4xַ{1YKma" e'2;O>5YguXkL;u hY8ش+0>u|1^ KÐ[|)2_ hp=77@"@F;q5Xr/&'4,k-XQ臎:p^\"@G |].U M:i,DuGBq*Du;]X0b`w /۵Ϝkǿ% LOH-.3cg-oU]=ư=R&'a0)u67q1X)4T̡3T0垗Y D+fQߎ..9z`Kws #(&Jv *ΡZCfxdr઎i"@)| T.d'd4Wkf.{G|Jif=t?dѮZ&vp ͢mwf(n-hO уO킝= 4}Fʣc:I(zL+ɋe--ȖP޻ؒ_:0tzPВ7 ⾺ѐyHN0Nb?m9NdͿ#|STI&0Jn} E3MX=x^[܁z& .U0xyLեIg %эG?=>`$NSRxTRu##>A=9b ﯊PX+F Ġt/(a_~+08!ֲJ؜eV5L:bӱ4r$KMlwQ2+l;{k Akq@Ґ=1g Fj M03ὰT{Oa݈l´lЛ ygљi`l(,ph/Xk0s0Ktd YN^u70~+p.% 0U,q(<9tl,y8ۯu^IY{^:$/j~ϾIv cN0G3y&F/ t[L3 F%v;tIN1Ji/jqLD(WIvzLiˮ|SXN1! 6$$|g'V"$8r?ˆRyҺT+yy0+K^|xA~}L_KqG{4e{Uvr.6gGgҸ/FPGs_H0.J68`x=`Ǒ2$ goW@m JSȁ)Pl3;yuN |AS"O2kvxY}ʏ/i?t(\48Dktu2wVb h9R&|~ZRq=k,B3A |.k~\qL^+q6][ c#v38v7?LJA.jfgl8\?+ M#BPO xSQV4*hc=#?gYOGr.I@L޸eA f }[ jC ]dn`MK DL[Rq3GƒkYU;zs\4Zl֏xhLlB;cR'W?w43[]B E6:? 0yM5vltthWD)E\x z]o3f N1{?+Wq5t nCߥzN|6gfIӝ,\%jQI⁛WAfU\z:ІUn: 3:vc_9ˀ !֒U}Nj&Ž\Fg܅U˺_HdLAB*}|w#9;Ms)MO PfEeTnW}g"9p"mk92aCn|^tg"QL.F3%KJ6̤~Qr8<_Gks[[֛ R|ttT>v]f*۫%*W1[צ`Bf0+a5s[!cK_ 6})*Q!'MVy E3n f/x -7\ S 4kB[XALe97O0ɎY#&Q2X v=.yyt)ڥ`l - n`b<_^Y?Dн u^fūIXQ@dvvFv޽ݖζa@xo[0Gu W,ڨ2p'A jz6Wx}r֜iRds0zxr ?\&*Uى8 mKggC=P0t(~OXze/+MM1>,Ęw:SH5oUT43+ߥ^\NRg4fgq5A%Sxn\_3ihkvݢ 2@-_S, K6 @k!e8ϱ<--:`{тJo7'OlvaILsA3#Ba ~TW%?k9i>S?Us²b%6 q0.40(*%8 PˤȽ̂LE53Kb=+dҟ#nJϻ7̈́qCiJx7vRNc*%Cg˔Vư?!7 چrlQjrLcxI"-s&t37|*⾨JlW>.O$.ˎ|W"VfsSIsSb&,wO0_R~҂;] aې9H%(Đī#YG}zWSsE]66U2Բ4 82XGxtJ#0rFH\> &~BRT Ds } c:Yw Gɦ-&0`F/9&Psqf"K7 8gG#>k.d` ąVRx&ᤳSqD\T#|ܥCk)D$GG:Cӳ>i'7{SnyJv ˬ~r۹Z;WN86]@Rt,z-o3rlxމƅ 5Ee/J8+4GbƐOYl{bT GAp;%@߇s>lKޚ}OHim\w"|_\ gh t5,=hF{0W&ͽ!@K]ku<cdRd"lhu8w33:GA⼨yFiÐIrTֿt! T ҥ*!ˎQ* +Ʈ@T:qP^d(h >\n3$anIR/q ^UEt2~ uIH#!5L_ 1Nh| \5]>8^Sv/QcQ 6Vp)G\\)Dh j@K$ܻZ&\lO8k)tqtp'~Y:x "EMH.Wri0y<^Z$%^U7!ńWXx\ڙ-J_@}5OR%uPwfM@<.Ĩçn Xp7WIĽŨ(zr~IsL$YCxv {oV ˯@2̂ƂUH?1'bZ !&diʀH"ݧTR` ӍzdI{ih7 e%6:5YMJ'p<ȾfuPvq\/⚛O`'J[:d&$n0_L*wN]@ P{t3-"׫<]@KBmB R{cOHvg ̷IJ#Ygu)ͪq'=&KAcNv:sj*DB֒r{Kߩ]Y"ytQV{՟j`2TQԵv8 ]Tou^e;7D!0S5. 2DY~n9ޙgV]j*S{ڥNiat6*yx O`)X%NM⻰}U^&݂6.T' R֤Hٙg,{rWa!%2V}fk6?Eܕo'Xjc`%?Kj8P'2 )?qN7CtWMK;/iվ3K?oJm:ݞڏ &ܾ|4?>4Z% ȡd4 M_# c#Wb1sD6֪}"O.K| [nV<<%+ ىNmi[9ewdg `R"&u'qiPDN& I l޳9!ģ QaI T֑Qs ]tSRiI"87+W;#_SĤɞFt8Y~᎒ F?\E,Vt #=zU:ٌiǯ(N.ϮGLuqD»9ذń}=d4GGA4mڑXQc~RZF>cj {dP~:u`]HYI)^wڨz7ծ@{}dXauG'qt]lY+3柔ˑ&>X)F{YZK e &,#ۥN W̹QN9SlؠeTռ" Pñp5J;gnPGWateHgD{nkZ0g~vrw1۹!F'80]@ߦmu2N}\rހۚWvHTݛxМ ,cO`ycv n'+8uEwmu)n*)Եmr(TڹIlon>Irnu FA$g'Ny^T_E|7Vl} .!^֏Iٓv.p0nϿ~(#R1.ZZ*|$70ðG|9Ϝ1e܈g4=+' ~P{:4irB:y ~S*򪡦~gzvmÎ[q:vq`Jt"R0oӭ x=j@Q`X !meWĚ}(#t ˀ bU00p`)A3&wR$ϧ (lvRoj»xxw) 47iB!LG\FnB} Q9yΪ}ۼpWfۧU=t?Sun4v S7\gA=>#_`Y8cmJd,P74ַz1]Kk6+8{jM)l7;Dι&BtF!N]nz8 k0^|Jj:54 (H¥ɋw)ƛ!OjBg "$?j_^ ]&GjK~>K,{E`oAp\\V -?@=JZoyMI=gq|B;ڊgX Ƃ"5cT9i>[?Ԝ0 л6YgC76r0rܕZRSg^@-1 af= *ypXf>0d}C: ]Zǐ0=Ȑp=w:[^ D9ˁw}`8=Ɋ˓f1Yr{x'y +GrMB{ua$A_Z3UUIF4Ek9,]o~;m06b~pܗtܸ8]O[ u2I =U ʙa=B.RLށЇMG$nOg&rf줌tdva9)6w)(=?epHEkOyxuot]'pl?fuh_x?/y.c{{DVf j1z;:[A7O#0aN̬4FL= 4(~=_E,(GXT4 S1zX@zyF Ś7nBzgSfe@@F1c?iψK.>}8 uKЫINr?.)f'Bj^PP “)'FgYZ5cd5f6224ccaa80eaa7273ffba3a0549bb613f795a4801f0c143f74de5fafb369b13a773b3d622f5b8b3336ef34cc60955082a74fea7a20331b2d89a