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  ' '!%$Ll ]/]HOL-Analysis:threads=6elapsed=332.900cpu=1599.684gc=130.688factor=4.817zXZִF! 㴑N ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ]VVʠ3 p|fMY!q#FцP(wTM[QK%bgH bgPկ̓,VwBDbdxRT& eYcfE|8/k?-HğqHX_0? xG۳f(ͳ#|Că@A:{MsG=l,8} 6<b kns})z,RD7?jETlPѬQb|VV?v2@S毴-9iەx؉B<҆GFMqtWլu)YH]O #m_ inaŽ_$A3EU^o2/P~vJӔ/.2G;oU`>C?@6BzR }Eᅪ\raOi҆<VY!*y;㎚'sshh yFe(%SCa7_IgeL{=1-4G&fx*a<42*ː_o^ % HOL-Analysis  +K< 5DsLij˔V}]cH{(1n{z:/-}[t.Vg1. 3z𕾒< 7^U,PM-M2O${;I'xi ckϒmcwddC FHkԊlk6nڣD5F"!z6|̡t=ޗ!qNj (J3,Wa0i| J~cuKkC8A]_wWklnv0O< <1G[%u4knh2AAY+khB?YL.q"&U"$۶5Xkcy/ 7E\#0?1ںhϕځx SlO}"ފ\Ur`7"S-fHR?Rgn>6̥=0m7탨+{CBce.WxžeA;287\15NDY}2ҌQ<DŴa bhZT%7iZRk S ŘhRRPiJF4 <ϸV$|RJ@) s;.tILDh; P=pjflg?$+M0a@Ei-KsTkiiyqz'z !0m9s9krj'I&eYFy?0#Vety&$d8A{O o~pۚoaӃGRl2 ˦qXa[Fm&%yZ WHUOv'?@p~%@}\ps![vmȋ7)A v,(+ _{-}tXYMMy+%&rk<{R Dhz\";-OF~ 0+ wk~cg*_m'Yfx8N(QkQzu0rWE^Nvc&T ?(V-' #M`b"r vs/:}wc1ʺB+ߪұLrmtg:JZeC3 ?׸P1cRD^#uƃZ$uޤK=È}?.IL{8=|2^H%wB5u\OU&ux7ƄmKⰣi׵5ADaNuw6 5eÛ$t.=FrgO4ﮡ4qE >b*eew1u+! |l6dž ?+Tu>ӕPhL#D1:!7G$n.8wTU:Zߡ|f¬d)X-ߊ(@"yF|qQ<-툰lŧK IsDy&~o7LnG8;"lJJI-,;>Cr:'g{/Zcu+#jiZp]**Eli}{*Gpa.wKX,2U%zMNޤ$BWtk՛GAsd;ëA^Wdd!B%;\2+ZaT*lT Ro'q㬿(6,QѠw2TDX*ѻV{ۯ18:z%"Ҝu P,gJۣn[_T܉sCԅu*wwU#Gja{ֿK dc@鄍&>ʸ)}o S;GH/P[.Xs#> -0Ase3Xmr:,F!m=AiN1WnF&Q ۀ~DeÇ-2WRڦ8# irĞhw+ZۙKP:) )SDzDJ3OÜɺ_БHk'"μb0o^>-}1Tp&VEV3qXp'j(6%; SBDxLQ0[IFއJE%S!X :,Qdk%S W2#dƋ"Pul$y0xƛ$Ȗ*=JZF_FеLЦz։!'~PڦI؜YV*w9Ź!ԟዥc#,蚧rpp2:@-N/Țj9kQZl6`t1IJMDX/JӲX&%qyפɾ ᖪZmbK8fVb9/sz]䥕L4D셼_v6êBT맳ԥf {C;c"zQ HdLr-i2)N0Ie, N ` W(<C >1E"v*e!s6жfW"`%P2Sf(/Y`"&.iwGC6cVζ*<2 W)ʜ~F 19~pnj!Ǹ".%>'K* CBjsb&88CoϬ,N!n%myO尯g:-[a!uT1K:WU=R{YM/[7bI7n)N^|2FTw;r6|Hk}Yde34o "Tuވ̅iQS!϶xYiеOڷPcGo@aq`1XũY({識Bjo7v.lDx3@&OL<޾%>~Kl?5Y~ ۇX cۛ#RZ"lcPBb:)cs.Vk'ʢ ~*1תcԓ{1\P7BaìyaQ`AU~ 65Z#&r;mcb1$*kw)^.'AaGz^>#zUTΤ^kMZoP w1:08RlG^h7ґ!J%;_1wetbBܰr~'O:mn{;Ge@-Akø& SS48ɅB֯)un|zR7lOSU: tQF8*8KMb =jEpz(3wUu#H:WviSTb;{r11}lQ^ct+p9Pn9# g̉^ r- o6'8%'mi4ݖڢ.6f^-,;rrQhڜ[)2Ft^Tq7 Y?̆+it'@#v'd(1,yQPIA~}w=|_pFI |'F)rM`ϔ }6\Qey]bG|n([*'@~$g.@"FE]&_[&wEByAip&~Ј&swO|C sseX;áֿ6@d,^\16.=%2N{Jᣒq5`.-aWjx_4\euI4 U0+2{놦؈3iwY$uCUDt/8#NNӛWיm!Tk \:%f h UȒ F> t =P}3TL.PPV^ic+te=MX^ܝ_ e= uC&^p_^fRϪtH/s<ރn ؓF $B*E:9G=RSWi/p_XCMHEOgU |ySİ/ZQ!}J89"p6ב9?#E j 8#_kOL V/'4uSe~<8O2g֭ c3:1fr acByڈR*> b`B:!yEdd@~YQF'kKإk⿑9 ~#Aa 88Is_]9l gɈG |,\[QFW6pCfҼrb.~1I']K/b3cdPԕ`֑D骦dkX`QX\\?޲dEpB"id~?G ڤzn.:b\UL^(<3\0)f;x`:]n Gx1[(:l什 ?gݔLτ" [7љ[EABM8S"||Gλ_d~Ոm 9q\;7d TghG-ZUg xO~6?,ڴc#n6`n?i"Z]^PpƋ#azdh!L0bS0ԌyC '\1gvT )ܓ8݊\>0j3}~*1NE-O-m SqBJߠ(әZ̠A "*fX1j_Dm+n\_e$Ӻ4{9ІC~5DJTSg\Y(E ,'i_ZڻvT„[x?5;Y 6KKPCχYqylZ2!3j#=}[g%\mr|K$G"jazqfUε3:IwӘ{3^WIA*X_Uk:{iuJ] 1Ja.N 1;$q%&Q&e!I{#Rpk>Aac{_E/[Z`0XзHZZIvèLtvx&~=zr{)yUA8 jKyu+ǡK(%n'ԳAN2%}i|M{p,nǝn*U*-SHgG__x6MȮokVH'=g(ꛡvhI&s \=d |"Q9 8MvJ?I͛"TrxU0GBb9ZQ!*A1yzQEr:+m>- 7'!m tT4ߠ9V/"/@V,ߥz}OT`ʟ&)&=t+ UBI5cJ=l92\,E=-WN}-P_}).INȧGwUh O:I? A8ij{w\% >K[C۴!S\*uڷGs%rb{ 1ew Lnu !}V3M/ީT|H)!Je&ϛ" H-8[N+jyXnE 􆞐UwEO뢰: 7tڨv Bx N7W1)ەl# |>StOq d%r!/Ǻ_4F7 h\Y'15\zo|ո)X6[,J`wcyd4kB"p_ެWo ԨdMPlǰ0(HT 3D< N?ȼ@6M+"`5rp')ELNQ,QʺysI5hq'/S~9 $Fb(yתp1ɳo){-Ip)xZBmf!<78s kQNRbaS UrǴ-D zŭbN\-8AX eᏃfJayNOGHπc<*+\+W -R0|r. 8~+GW ~#Mc$?2. h@ɜu%To#/Y$ZT]'yMSQ'<-xal8ֶ%yfccAi&Q/U\0s*9B_<85OhlTQhlyb"=՘t"g&*"W\aA21Zĵ*?mer.sW@C3&=Z{n(*[{w }GwY uIvU{>63IkוW,I0r:֗m*kv^ߥ'wy%s3/~Ut`*̹0Ouu>*:Fu@c)Ra@K#X#3w(LL&LVTt;[6j3+9_ՠ7dJ5P:Z^ #>uptA f 0_>wLx I>ɰu"),Oovt p { 2'jV\4ݎ[12/;#I=i~$CV 1bM:!&| 4C;1G7nbqD?2[ɬ?|g(>?}.Cհklz_8Wq..Н?)h_(= 9xoO3=6ԭ|||+0,,~a ' <%$:F֣㣮XKJia]qMlrov⡁$$QվĎTXvF^bfak(K!j} &`2~0lGFߟۻ&3 ۿD&m ^n!xAи Vjېآk3EfTl~uZF:*wUM2X^A9c@_0we4I1ȲL=~TFcS_^?E.]mHϖ}K-y$1PsIe [RW*vhucn_0DxRg~EKIFmVgu[Yh\_|zսBj sh=Qorڝ7 (E#:CMJvԄ~)Evڌcң33_  (*(+{Wń܏ҹ4ǍcyZ ID^e(vo*c}>g1 F[yM-59$5#ʫ;pB$Xn-Yt%3 Z oq?'kԵ5aCX"On[艚BF`3*hˢ0.x8m] tv^o1̏p4IR餴A dOo'26oD)oz/GeCTd"-Z-]J(c]hW\ALi Ƌ7A:j+Q^YӢyJ}kOnXks dVuY-ldn^= FstÞM ,o` *.?{`( H49?bJ\h8ܟZ9K٨04 L]7vW5ێ(tFbŹ .'᪣w[pzNcfp%$- rBf$?4aϢ6KC]}掄fXJfe { )/A%jSUNoabsDtV{<[=⦢^!IT*Fg%o$b ݐ+'zou6+)R(]zW5PbN&Y:Q>ʭ7B +aEj.q兔*whb,rӘKQ_&VL¯1.nX,ZEE'') [tS-O &99Y,=[3v>L6XA>c'ZE:q]zZ2r @Waj`l0ag$ۊD<+@y1GkLAZ-)D%;]t\m..4UPh~:s(+Y="dhF?Mrhhm+n/d0!%8;˖ds=Q]D8?rhF:=Ox u¦ɆA*#,9}1l9Y\ 1w - I(8(p> FXYşǒK72CtZ DO5bhX>ބ#.XIt@f 8zU&m#"gKIɑjq)'aF,\+6U 1`%vX@Ff+%+U,E_J1A ѣČ))as'~8&IV7EQ}qpN-YV"#MN߇"EpʁwFs;vb(fh%TFEc%RnRGE̪ns/yoPt/jvPkŔª!)J a5z~tLYֲ Fd_Y֑8n> q&~pQg-Rk+v@t0prϢWQ/.5_zB#5V].יCvCc\&wmk |KADi(Ua<zt:?CEĵƻZ#"s{DO$9V{&mrGMixRmp'lm[H :Ikҥ[annasX#pԧG4 q `7 ;'Ϸ929!XO^f!źASfIK*Nww/ 6&ֶS,ҏnbh +E$wn]X6&@KE0U066򑼯}:(`܌E%Ϛm[sSGG"td$t-i6cxë$+tPl7)>wj r;e]+(ύ!` u0NGdp԰Udd˳-h:fHl1vrs>RMRI)>脨,{3(԰r>E,b5S 5oaPC/.}'aեK!2 D䴎6t}\Z2m40\ hQLC<]KFuCSfq=[Vjsɣc9H <ƉT9f R>CGI'3vzo93"Gji<끦a_q`\N@X4:VG^~bcɳD-ew I8%! wLh9R̥d+c=`h}ҾġI +qi+;<ȍ@fp- ^R+kp[2){zGK$81Г;"# . ke g+$?PH5݈, KĂdGc,̓TT2m`rE[EůE[2,6YM\tzW4fxv_l X;"oݚ+arfq6 \Q 7h1A.jYЂ7ડLJ ]OFE)l+mGUyTC9U' PX8bmI ,lr>xugIˊ&,2Ic(,EN,F|&q"@NJѺ~uģ14[5{.ٵmjyb|bbJc[zQ?ݯ\57yT& ZICjJdk6ݫޖJx2j iĈhusZ9IF<b^ evNFQzV4, Vh`xPʚ 3K_{]3qDX?l撖LXJU?AEm~Kyg7WɮJ۰ӂtFY ܒ7.QD5& c/, Z3aPߞhҍ s/5/)ξ!\n)5]nP/Xy'z8d S \~Q]KQAɳ(/tE!"B&'>)iU2^w̹VEu_?c (>Z4+`}O5\Z$E3E?-yD,wbHLʆ3<9U P UsnJT 4@/Xe:Vġ}(Wl[sOŖ/h'TUa>^{@`3\}p-C5h=e-b؀+J4-*SáQԒ bﰿޕ>"ohQC.+fyXX醐#'I>Ŗ.ĕ+0N!foildS/gi/{6X0֞Y?ځ5AG%|ۚ?ݺ,jmL0 Ⱦ $DrltUS@ F;4vʻ |. M_fX1;4Y_"Gayim,k'?4fy<'eU;/H 溼 Q[QwMa/9s? ^g9}&, :Wj闱g֓4ugNGV~A,_Z_x#q8z!繢K\u ra;ZDn`lC%_-U90<8%x- {c=LE$rKC\ӥ@x<t_P喅Qcd3Rwp4 %6p☼15,zu_|KbgMTH%VqoW)H r9yCzsfvyZOW&fWveWE3yS6䘂W>y O |ʯJI%5.~(H5bGMFdhfz1@?Zj­>v6m%_A #3<CanЛ!e~2uW ߣ;1/ff;(W*&V*{TZAU+#9O#Pl+ %}A&yO ,D.W 8L$@oB,fi[29 Gl:(b(Ӡ'uA0 +yzOǺc:92@~mx<X'-7p t6L+TȲMJ5,nl=/Jp j6\e)eFKFUx^M5Ԡ,\IOJIgK<'@;V;UwU&q,p32*QV.+my@\r.cxZ%gڏÿEN@c ^$ .9 f1e8:1d5b8(::=JO 6 /+h Ȓ9:9G[* ȞfIw0.bj12{^Ε((gG%khv:XOnd$y[rÂ;>׸֯yc'[HA(I){>h2Y#u:vAa\>#-H'oy07Cq6ԜLx'dMm_'%0&=)@1 qgDĊWڋ=(*I悦zJ=ScA@%3 XV͆7`ȕSx7z#L bI$9ByW.C;^JL#yS\;܀2J}\lY1 X%FTw,]gDi/?ᐝ͍ʼ6c=7Z 4# ;JN(y(qف?1hbBzwp=7𮬯4T^&ybpǻ *^{JI-U5Hp@m^\ДȟVB2Gg׆{n >B^H>J8YK|8Ϸ C盵"9Vx*( Mu|wEW%Zʍ"L,Z0fa N`=%zdU6JXog2( m;A95!y`.y),s7j5%v1lals5&?O8QɁ{lA(yZ6n/f-Y;ť =H.xqla$*Ty"|EI>p62ow(Qc_lV@21hBBX \1 nED@KD[(\4{xH],aÍg\3V\He JiZ {f]KMЦ"隣5o1Ŋ!ZZQh 1ӧ"cMْc8 m}*iqX`GPk2Ջw Ipr@hdxsN{SY#\aqb.4+3-YbNVZXb員s9_Zзf"t "* McB~P]&e :OiL)[%`~1|2 2]ݎ:6<׏2GT%99NԶkBN_w 54 `o7 sEaG<%5Ul&I>>ʟMxY 57 O[4ULu a{ 0SV/p**5X2Az^Kd%HFx4"힃)b݀!VжLt -D=boAh8$* jc5vW j]ש0H<-J HJ2fk-3ddJAjEkojJxymUGŰo缀aTUOĂ[ X+;MKD#Dz~F˜k^){ Kc'&x1BջpGeҹ~pEDwsZp&l~ ]ʧC7tVz{ hA (7X@(ip*6J?RH]UaANWRplm-Jx}ύg`y+I}/2{C$7;$@܁@C %*-Eo4n=y ~, -6 c8'a--u%='/9\VW01LԻxnl6ID{eX16z9YksoBzT:kؑ+}dשkΆh.ehAo;u~x`@䷤8g7qjz2~ ”[O_;'׀sÕt3+#VAAU[哜8q똝h׋;Cz$[]ͤofᬠWOCi0D:5?bƣ$ 7M"(PH,2Hzz.{қo*B+8.%ٺ@Hd^5:9w&c.d pYc۾W.u&OPYlL>#<6lW ~ւj|W`#1'.F|%MgQG8K$w1.y{t Y(ќc"~^A^!&wsI{yOVH+ xT~1 '3J$7܌0–5Lg[Ki۸4Ȩ?MۿFC# n0ć;wqދ|,c^F$ K8Rj0?`΁$ur\/u{c>O$ /U Ƥѯ~RrcZPU`0+>B1U`UďP &EF39pM LH>sXgZNMѡ>h;n%G$(\t*;qZT<~r,:-e)~5\"#Ӕ:L4xPU-IUT/^7uԗ@ޒӉ+EP3H BV]Ǚ>|9 |ogD:]/l !@ sO⤬\էm(㿶ؔ/uO8;;\d#+R kڽRa\##'=ZסQ8v&ݑ [&u_"K~l+0ۼU9xj \(Fx)uc{*qBU͚ŝ<"cR>ևO魚BŌ!2Jv䮯 ۘߎ105xl| _`r1|fMDYV2tnbZ8hRH Va/&'0d0Ӕ{U~j6K##ҞXOKy U**Z)$Mk |$mwG,,c GH!. >ȔeXzewwCH6c[/j. O<αZ[Jg4t_*܆[]r~[ɫ؍ eW-\Vw[Sb|Rރ!̵ߍoezfdJ|Ƨz, Rq꩜(;7b?`%$TjJ Tdorowid*)ѡ?m"nYSùh :'ʹ͘Ch8:(yI8 (&FUk%7*,^{ZǞۺwK{odi&Na'/L{:8182Έʁe`T2d/׬ )dZg/r< *HyյQfzZ,HE0d_ju~ѐ-zBzoP'Le !mB LuXN;n0vt\HDQ#&ӊ2粛$ _Qmƃ!G"g4>nn:p HPXQ"T+K \e\P,Kz5eW*K3Œҋ9u@u0P;9Cp/zݐaak,Fd'Wul ݑ_Ȏ2eӱ\[W~sFP`ٺ%jW F،79+ʻ@i.s؞`L.o\I"7a}eWxjFuRI:^VQߢtP]EWye/ O9zѠKzyiø?d>;U67GEGHY"É(f@Ϳ-oW$\>ŃX[ǨԬ~_ъG%7$1B2&UUc{mSϦS@(O4#[Z(ǎR01BX,dJlB.3F 29ܶF1/~dG}ս!<<) ՇQ3RylRc^cgdLpRВ2N^JJ o njTg'Bt5u[: @0^<{bV YޤhiWh"fXSdrCWxAD{>˭ɰRV7.Vc F:YJxZ G4=V\Kt %/2G\J6qmvf!e KaI^FtaRCH`:)^ 73PR)ǭr$yX NC3Dg-NmiDQ.+*zߓV3$4KD:q\ 3OVʸǩ眧; J te2#UX!U)rF=;%>Cbxr:kB*&b!H0罕M%5gjE3cFr(ҾAk_- H̷WN~ܸQfFbN2Qvπ]* ?'ͣ{506ǩO VֱGۮ8aw Ɔ{d_ %ૃ*7yF9jpHKVu->\X?cBTܡk%TǷ Ϗy:  }<eY6izү[z٦(op8bgپZ|c Ae9䙶?悼?3x~ƮNjKdBq[¿L!)-q1Yr+ / Y OS5hFrwHL#jڄejplX 0\1>6=5!A^x/IH޶aANţ5i25b`Lr%( o3ta. V! >v%0#tXDHK~.p"$\JL/~LE)%A''&Q5};JEkpuVt M(_?w0ԙEQ |Ǖf[E 2o,kG4p)2p>IC8G=+5-w@@Y,6iH9mlWH R&%@@PRdmFa_t:[@AM*w걛r{,սDT/m!61 %bc~Qx|{YH1e UwjT}%<4-x\ X/F?J`Bfy r/ I뢴!M#U/]}l0 yLYM߻R qzcs]H5@. a_ujn=AUasg"ggPmaDzW\A,$򍗗?"_ J%6ˉ@_@ 4w5uͯ]dwr] fϐXw$Tg|%w& Ft/')2 mȋ lG ''Ey󶰰4? D,]kdqj;[&'_~'C?AjEz%|j!V+1R^SP]=}n?G.%Q`&j ^f&eOxK35 3ί!Q7+lmrF%v ewu"SgT@u3ɛ&XH@5O޷K- >Uꑜ$ 1w$間;MGBEJD2q|Vs_dh#(I/jVV*Q2Y]\ms#ަF&n2&ʲyCe1$6w!C Sic@GP%Kw[wdFe=$-Qf^;bm5P/b2.ܨ[pB KW\_fiOɡllZ t%PhC^ PY`cƐP]dW}lU{SHJφTx)VM6MWr"' Ă'X5,\PJ3,~{2{6JtX'~$ʤP1ҫ U ѯu?$0ufZh|[ [D;1VʅD`q|U˚6?K `$攜S8R di ^w]f2mLL P߹7Lirƿ rña}H;U8'&yT B3wxhwڮ}ijPTU=Hd(OZB:W(;g}sl 9?z@@E. {K#'S|4/NG FݯaaF׽T :`H !Em :'cSLBYk#څ;txv]D'[ nݻq!FsDGߵ`{Mv|z+/Ҷ歋(HU16 ZA]?_Bk[0hobYDj;?1DK?*ì%-䁶kG`r\>Zr!#i.ѕ@px&yJa"JᶽS]6~$(`85N' R*%s^ϣ>V ش;fʏKҏnymATY;Bn`̊ ˌKDorE}d\;/ @]$ +)ݹKj&MuL=*F)Ά: )Coka1J+( ]r'CD]}(5UJ\ G ޵ MbvէO_6Uɿm;mdw"b߱n,P!oQVاFl@ Jbs 'tȾmYÈ@ lu%ݾݟlepL$0N'}L*8b=`DQВP954D(A22RN Х'vn-ءT4,)"b_mKNjj0NT*<0Mt]^ B?"vD< &N;=.;*Kǒ.Գ 9mh Y VӍKIYPVb+[o&'0B2a( 0li2 NYVn"; 4ܢ QG+hYӂ/U: ᛹2!ur:JeLUvj/w$b'*&E jE0 WjoH| XX3+(j"A,v_A{ٺToU31#Hy8S2o%0t(ѱFToHRdsmy{,mda B2̮ o|?p\9A 1'MJp b>0E%FAɡjy4'2<mj`l9B΋c"@y)n|M 7׷2Bb8Vy4qӠ#S+wlnl3 "1|`,Jtj`$hQhA@Z[13 ]GIBEiwNGo]i잳WrnQf@ݓ,/3gESq\)Zh~.s*)R7P$.C`sG-NmQH2<(^qGў7NYVɭ6%'cN$)l"5޶@}K*XChA~hY,3g F @U7`+{€B]?bHxu 3| ڧbvTdQ#njpNH~Ҵ[^STbj!g q/h Ph67&MMyB Ӻ~]QzhYjwy'NB+.@5W>o_L>/~J@iS:(/QqĞ KМL<6B;v<.5 W`Offsk/cX-.Otzi(DMf% Ugi5he6ݱ+\C_M8TOPc1dcho?c ߽sFGQPb aɜJ{C5M(;JGS(KBj#q {Hؐޖhx7+02@[1i'L_ ~oxXq8&q u5*Ϯ:f4r0Run G /{<.ڮD mrj_W76oӷg aYTU _Jȉ*cLrJsr-wk\<؂68g9cv98d__iNd}#CM|4`WAP,485hȤK;IG&/k Rw4#Ňn#UQ'ӪY.Rě 8F h~<.3]3koJv OA :;;&[<x&\X:lɝsJ>|u[ %\g;B`LH tZ?"C& "jl.2H8Th20-!x'(Bq戫6HA } $i|twB9oX$8y\I?$?Ũtbƒ0cML4=kL|!RX[o})5 z% d1q~ˈtjȝ|X1AL;IԴaZ!*KuH9xnϬË\G_4MښMYs`C_I永yv{J= ot@M_+b7 [/Mjt'9pɖAě|2X: j.}!5:~& uv643~\O]ڼjA\p^dE}*zMl+A.*9qTN}iN1*= Q34=)k U .ڢ] Bt)̀Lq.(|5t‚4룸6"mBd P6מ/ȑXsYᨒ:tٜ EB 0o]˝G[%Q@L( u˄/-E\Y$81$766raKq_D5ȗUwt='1}\v)R8Om7xf ̏LoHe.qx/H|;:w 9 m =WW߻}+`T#6gP蝁1ct C(p6IC: 'M Q֜0T8ϹP˫!ԛB3_{{1۪\L`£mvϊpP-gJj S8,1?O'yVniۗ:iTiŇ`25r7u=.^ M|PK))WȀmv6ӷבz.R- >9vCTMMeNoI>꧆ V}Ӣl6%w%!..'- -O59@'mGuT 0m<~iфX+`h tzS3DU\#埀}Q!^%j?Hx+d[v# f+! 'MpITPHNx ^Չ ~V)ݕ8Ǧ7_P+NS~vs@bFSD pm^PO*FGs$4?B \g 11`ڄwA֕xcֿ&DI҄Bt-lhɺ#_[67ANYfX\ɭܛ(%i[=ebŒr"' mI0 cOX(L* HϘ }3Yh /͂4+*2TT}բzpuO:o <­j3QbOTִY&/?(՗OLӎ(]rԨB俵BPjʼnN⒵%Գj$$+u1MFj;ͺu'Q<ǝ!,\w%Y+.4xR17CjU51TB/݉ &s͋Y$hb!Cm2qHڮ6"*̝/6OnYXI3\ b`w|YݩѬDG8!,MJR} ҈pd#ICZBMo(??kJo p{d]!V(^65TC_*3'y*[ 1F Յxy4-|bǕD[ݻɐK-il+@b=YVpLg/['M+r8pޚ\dEfS#hXp+M6mTȌ(@ޫ`7$IYQM3s>`1v\aSiZ] A2;4E]R~FUn ӍX%ȍ]R"mߒ]#ΖBݳ%d^R22yn0fˏC-s>C6~@a3ڤnXҞ__3d{$&<`LP2Ӳ}PGP9eKuo4'#Ϧb@XKbK =Q`<0P.9p?Z^b Ijva#gcVvUPض:B?śjm;"\Ch!Zb޲s"3EIQ.35 8Y_: ġeH |;ؐ0U>%A2NMG'LLzY糧hXtGu3(貟 mm|yc"h>T%3eE )*gI׸jn¾Çi;5e93'THKdFnRj1,(tgC\g:C9 <} ʨZd<‚D%1#˨b^ DE)& 2Sxlj/;`ξH{ު-- |b uDYHW<37lt Qc'E"OF !,GS ^a2ޜOyezղ¶iv &= RA"C 7F P"/TqpvK8IlxO^Ut4q Pj`oc3!b܅ `HesJ7d04AAh>+?5>ԋ' `zjpl6ʪ늆l :?.K-ŭoug0j2 7p&IVdFR}(*v +|7fa`Bv80fî2|!ܜ Cʼ|׬:nٟ3sQ@H&rè>CQ:#1jה*KM%`tO7MtUgU`o[Qv5eI3-౽ e1EJ>:;cƹ!dN$CMa-#<\Y&'*[N =[E ZI҃mjWO_S 3g/eB܈%Ƶ)30У} /j2< l*DN ";Këvne\/6U#-y>$4J5bBPr`<Ȱ'U4+_ao6ߐHؽml!!(jhXP}Β\]#ZآDÞFPF~RiQ^]'bg%Þ9}UGvI3+Z/Xlik{TvLO4uzݚ}9Ǹ:)  J c )h@4ѧŜ;lݠ@tdo[#M חfI>u90;XUc}3 u臹;y*AE֓׹:0ӘkXsffL/:v(7{#LkQWomD"&_<}B-\@%Κ8mjsx2Ja3O%5F3vLfg!HKa{i[4)d ''@a5S1H bb AjA .09Q,0S>\utRb(OV<׹@ֺ 7OuvqnmEFF8}%'viދTv;J/Of&oEa=M0vgm8S=MO/ ExtU Ɵxj=pfhy_X}ԟ޻iV"e+|Ј7;浤\d;LVQ&Om!wo૑PtG3ZLV |(f"g}AԭdgD3Y}aQa4FZ6 Cς•1B ytw{vX;@H9и&Z ~pGk;6g]@C(E弩jeΑ3}Ns/*8 tX Ek3+CFG Rak#_;R9lloS#Fy@ךLe;<A$̂0)f&:\$\7t㎧@K%D#BMcT(^7["jDE[W Nx\s]Uk梚 U3̘ZЅ0M^UBG>5^)7.wDx4Rl8t]n[dRM:gA/V`ZɢOlH>Ri/Q-a>75D&;kr:z-E~6σڗ%OJg>"oVZP/8ʢ= ~WHbz8uGbVSߒ",liiG,5ӽv3cye%lxW7zkD(K#}(t"Y"4̷0!_-~0K yZ0v@WthM_,_Me0}`䱺R:0m)7C/ %UIx?=͔as8½UI2ؠ756 ? ᄘHv6%{T75Ε@t#Yz(o$\h2|&rA-#TԱ@[j|NI5 :?WcJ̳ 5Y`W!4ر r+>gJ%݅ZJ^Up溤/h2n3S?od"tJޝMF,1R!MF&EhݴiI.Lp,C8L4#{ (aqC%4nXً$(H閼3G+,7k X|p ).WO 2{'}?g^EwC.70FOguD5iBjRQ`G]L;GjVV-@p&پGTPJ753*k͔QxUYҝB%/ חPbd!p6>Z[f 9x61=\gz!lͷxV0(95=e)K~kF5.܇ OwB5&鸅һIErL*pqFSχ땋U-o{ܳl` L0v!+nl8&h%qѣ5hC#AtW^ksc ;Ç?:jb`|tC]I}i6&߯gȍ.]m:bPzށkG)kAؔc:2@4'%- 6ߓ1 (Fv5B%1[O)\YRW;cJڥTjµnnĸ]EyFK蕳fN/&4IV!&pF?Y h/(0[83Ȼ 1HRSwC5g3<8XvG~gDI/7Uxܾﶌ6WDAT;.;>OgTQF& XHSRŖѾA02ھ5G$e ^I#ƘHBJf'A{aLPs*s%OqA)6QM#qՖs41v;TQa@wt1' 8ޥ1heX.\m/]Ũ8 yUZF%,LKdIsϩrUfoϿ|?WRs4LX!3H#> eTwRِiF|)0yXìl%DЌCzeaS/$v7Kk;"ҁ&4Ê(b}m)kq+FȞ0ڙ )bY1kD>=ElE{a#^ݡ4'U(f|u4U뽇ZQ/TQ Sm]ȕr8qU8$WذﳒgL5! vRPB/'Eͬ7mVG\}!AJ~#U%aJ2G` HYjb@pݎhG`S\˲6f޺i"7)z-0Wo@|(! +qA,@z|[]b:@]2:Xf~; ~mhReIzH|QSlIg!X5 B_iK>K䉌R#=$~ u4O$vrS,:?ԝV: ˄vɅt@"RKK1/*.j07z1sT?} 6G+̛}NX04O,T0vS|*Azӽ+6N.$W ~\߷cteV#Z=c\CT¼ĪGOD gS\(C/ vb7}8X^d30F ?,fW_- DLLE|ˡ9:T;?7*YLS61~zw,8x0*lRfJ8[Ɛa%-mE՚y׆ JC-zGOD<5nYvY].-.=zQl1]/7~1LB7p:C/%|]r@}9tdR`Q'xo2ΦůCo\neVBUJ|ӏ_I|xm03N^Wh=ZK߀{t.1{إaavWi8lUGĦlӲc?7K'`jވ,ēx%j t٬\ P6 +Jfgs^UHUDu\__.!Ǎm ;j;'mفycHEUWpVij#Y!_ҭ^F $Sym)sJ#h&hWM!UdbO΃oR=c2J7'fR'bhQac=D޽B$[y9`:D_>9\gW0#OL-,SOߝcDPO^g\ Q=Ly:[TX򙷹(I8M *;wxH=8{*/ }I?žJoR v0'X2@͓yX5f53cG,`k,#Aa_>%'?]Qp#ۺy{ግ@zKK߼$*qAwg?7/X>xwu(7ذ>6lZɡx+ډ آO)`eF^Lh|]^kwil\hoic㹢>)Pdwn Rz t5B-+LoY:@؛s,! A$]tSll GEذaV5:(mEsaͼ:rlf0{WAW n+81u0(cia6 `Qnp,MY@lUK[9XN𻟗CLMq̵K;=wW:o.oNH|fkL+@r9.:jk+={Nfb<ΦN''J{4(R+j=MrTj9ԼuEѼjnV- X@Br,mr~ oPV?Wp35/벩Zӱ ؃[SـGC?&Tx]@L'60׶5WaWܗEvhL!9mSq/ME@ǛӍCF:p[Wi8\ͶX64#kO{'5ߚ?)i.Ū(# I n@NJAs( MM%?,!u\Fކȳp.F?+F>8:ۖܶ((S~jkI(!bx {PlC LN?`BEoEc_ ,1ʮT]ƗVDpx$z7%8lBD&HӰ6rr,"k|D+Z6ܸ|\ (:߼o24fL>?FXX4<<6gng.{>vi rj}$A2R1X@ qgb6Iea7BGz*49 @,SOSsIӵ}#ˤҬxp eC؞];SRT*%Xs0ڇlލb4\0Q x#7cѮU-:^Ftj]H %/p#ɳ1Q׷҄6 3*8j* F[C<8QVs K@ƅ,i;`T{ޘ &W)o] yJmyOw_~b2p#]dPqox@ p1N5 ?R(NR-L>.&wF'*jlo%fLl7"oNa6L, Kmnufn\T\+-xzNrbӗ&o H?(&k<3̆ aGqF.V/EipʎY%0#`'dG .m9]HÅ̱~~"`S n0ա}ڽrFQRNɚ0S^FEąxLȑFjH>~FBH& (F{ͩG!{Pow jhf%_4wtcOl|VҙYSr:34fWKg =ɽ&Sxk(ҒOѓQ# DN`k#wsݶbmddRZ;ib,Ck<"$U\ҐT蝠.iy#3R4JXԌ^Wk<}_]p UV3., xsɖXoW=1Pp\:G׺Lζ{k !fFHx=Bn4DAǥ>dCSdXʨ|@+!%d*ơFLG|mqon@`}||S.ְK9y8IoH,q:QcWa#mS|g8%;ͳYo"?_r@`h+Wr[3aKRtiDr!+t {Zql>MVZ|]\Lm,\'ߑ("Ux:{-[m w4s?SܣW\_7p:"՛EV%EH~pH?%H:vd{1#^]~9=V#(uڨgF,@?41Ɍɲd8[Ы^H"7z甮 =a98OC6OFJFNU~!~ҁB&2 E^~xͷ>[{o@@qS`Wg3{zN٭JK/f! p z|vo|P C!s`kA+:uiV5{.Uwiqx6ރ<2x$|\VPbo IQ~7iee'P,৪R(/dfjQEE9DJwB5A ~_KHS`FsڂK&ac3 RRO׆3`ѩY[7l3YYv1Bfv&淒\ʌ.7AUA)x?M,f1?^XuhFykϼڅlz/hf+[-YPwyAdz#~-ZJ7ȭ*a8'P{MS?#&>ۚhy91D{aەعU'2{`kw*v;x}-ﮁbP_en8 l6aG[rd2Hx޹(̦"5q@cL8)yѩqzI[)d(o)zɡ>vF1pY#. [{0u밌#FxM,NqĜlX`E#_e)@ 0 E|PBl7gо~3Mq0׊G ~ $CQ(EA\TLs&7~7WW1ZhE*+]߽9 qn4X: ,prfMSK.:nf֔ 2$ؾI,kGwd/_^ih ^L(+$V\X.e|3|D~[x>޺)5ZnbJw/@qxQK*OIS9ml7?9xu.;=:Q?r7iv` ::r&C0'Y SV7O̭-NBNtŬ4꿭bKUuSϪd &+qz_!) NoTroP+S j7!J_a2y߰#gDɚ1i 32.΋g+vȍ8w HQG _4Z )$Quvo6}plʒ3o>F6:ũ&.?G;(6)I^Bw MU-Yo8~s"OYpWLN` QW$5FҙɍtgOdQtzgWGڎ81pQ'uLZ@e|f+DZXe["51]sV#SVLQ5S)믣~omW_eh295n2z t@D?;㓽r.# J1霜~g hkD]r@ "YR )G_jciTVx.RhU$؂q6fe9䱆ʬ!{ pȃ`db=G7 C غ9P|`aWLc6l Z2#/(>)wG xG¤h[WY][nЅܴ[//شH{!?zam\fV~N'ɐizy$ ;t]&S,78 ,%,-tf ?Ӄu#% nG"*}iՍ'lk/\f&eWi+] л.⧎[aJMm{F[Ǔ\7xO_wSA2<\6(QFT٪OHTP0Z^ĠI*30;35|+:eD$+mos<[MƘuiuo]G0M2' euJ'(y&\ZrS [(&tb*#O+)nh'̡ K7Tm>/7{VDo%wӚ($8yQ ˜DVv"w&l{,j|y<\OFs⦼w">?w/I8,Ybt®nj;ߟ^7խ?-Mw9Q,tR AD<O@t1T1SQo<31d- *t17i|:sd=eѩs1͒/d՝q\"|;3-qnfh`Hv\PucA@X2qӴۯ 4@RbÕm.!rVi<^̺}~v~ PF,{RoLisOt͂ziUWNV3z@xkWԎnG܍_g):+zuVi1XKjE4X Ԧ駳ޘmx b#` (s YRGtB׆`>0VwpY⁳uY{[&oG8S͋,2iW{5`ǫ$бA{FקmfB6o +} =z#/1;6p!erRyC:q(0U^25hR-#B:^2?ve֩n($r!* -.&8a}*~! /C& )OA,y:j< Kiw (^FJj߰;|ĠWvvԃCS^'>m?[LE$@f_oD^!y>s$%vcb_>J?Tx؁ֲ7<BL?r@_>##=0SR"RhPZBR eYԓuJlCGM'X&j :5v QN7ӻoJ#r+xfz,=֝[tm."38}`lEtrW0ȃrxs%gI8ɏhCw~E8F.m]HTY`P0" FB[㐟0Bp3mP^jn7\{\~*"oOmۉffzle<s2E7Hoզ3(g_U^Nns.l.4Ayv4fzD@!a# 6!Þ2}-dW.3]dQ4{HDnWU) vj$}b֒vAjB{|\A%䡏"`4RZȑ4PP}CJ+$Zْ譬;4g#DTu3Q~VaEJSL ]nZ[ta}_uНusjMe)O[=3!:T Oi"r^T Z}ݗ=@'uB.¢@ZT,EBmI>f 5 5'IZ=vQٜ:m™ȯ7Զ rE vg6Ӂ"a3z2pTZ Uۖ l<x7u,IGL {*WHjQ>_c9Pua !,\ ̑9 2Î]IOaP(™4CG V.Hd/@ꟹ ξjݦ.HjwGYvI9~I-:c\{ 8%!A!ۻ; Mmv)M}|/=`T!`/fLTZJٺ.B->dn$v,7{FQ.Iw] "?ɓqĺ^Hزlm[&F 8Z 4 (SHpġwIT2Fo߭=ɏ1q:O$>A|HXk. AW$t VD3If~F{߼N4#Oӆ` h|\ |κ6i`\z*@/yy0K@= adDhFI+y@Hp|~7?%Fshl`YZjpfC)S+1%E0̜,?&CC9L0z( ZI$1B9F s9ec`05:ȵL1sE 3$WۏÙ܌tnMH' qIfX'.W\:fePldkɱgYZ58e42c7b984d5ccf621b1d40d6c58c1cb4816900db692ddae81c9b00ee09c2ccbd0bf253d1829313 a61ae159d682d08a86748e488b5545fc9c92026d5b0b7afa61c9b992adf6c6eb16ce217453ecc1f4