SQLite format 3@ .0:  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 a1 l4 ]% HOL-Decision_Procs:threads=6elapsed=253.289cpu=1144.156gc=153.500factor=4.527zXZִF! 0]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+p{Q5p9Ul ac`,pCQFHݬ;>;eqg$a7ndhWN xߦ?b'_UU`_0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ c$ÙߢBN4wxsiI"nJ J!ei#3$f\AWBa뱜?--qXC66xH#!Wq )-T(1H%ݪ{~loNUh9mzfA~+‚kp}n5FKuD٦1)&$](.:W^v[aux"ej*7Btt:㎳"LAHQ;0*.ga3gI[CV:{uթQӆSIr{`t1 @Nwdۘ0I`, WuM svfYi?1nNw cVt`2Ϣ≵$E?"s_Y!gVX_v] ^r|Apժhۆadz[cw3F]u"&\H&MP/@*#J9 z?ϗRPbTƔ$b4]Y>'pb`uoԬ*˝G-}\Nދ,!:Pŭ R1*HcRGO ؖ3*=O{w2L .CM`>7;愗q`beaXh09LMD`&8w‌I61AG]GTfFs{AV[N & ic%!ዔih)B $1䎞;if]Fyfl&ȭ_6Peu[ |zESbL$N8T1{X(+jh1p,:}{{\F}xqkwR7CAbA{XtwOj0!-wHXVk1̠%f@;qayP[NU 0ɨUçnbV߄Ēg%pfL#c;)KiȿYa[ Y|SK+Y.qu /%RZ]9l.h),qˈs AE:ty59껳0;_*$t%"< 5 lkŊ%|;`Dz6snVa-uc4{x-I폰8ʼ[$Ge7? Ӆ7ISh/N5>, `ҋ3v&zɁ D2;[MxK( ͨJduTxbPtQb% ]bUS`3?V҂jxCI-$^WҚIiir. *%AbvF{0Kج:LfVt7-s9QiV@^hdYZL#Cx_+{O.D<)I_ؼ^KUp`|R?FſoМgŝCMs:PͿ3TSS0U \,@^f?|2.}"`+P}RC.1] Yɵp2I Bk9ȽRF:D}@q;bKtd2q^P_@lJrNj69›kOz0I.$("owd`D!ÁU#5eΓk)Q0Țk}^udLPOIJ]*eՃUL=COS(p}0%:_z2D^(fJ#;|m6C㧾3B"Fr -AyZ}RGxHYp}WZ/ʸ YO1=H|&uV?|Xu/{êQ:`H[bt_Y՛@]XRf`5{>t-ѩ%6,Vӊw.'݋ F̨: w󼇃YEyˆm֧LS2F2{^lfS)4PHgsJ$RZ-;ե+Xc mkOg8 lSxMbj׃? rNboTJY\se'zS(_<-/ [\I\پ淋1_&cc}papj[&s18kuy?I+yxӹleb;NAuHum&xFŴ*CsH=h,wKZ h|x[65>b?HE&hAOdEȝ9@*@ign#W1f_#Ξgq <嫂 ?bXh! GV¾Mm &@QOV]喌a(xwVΜl@<1 $Lg64S"@xR]Q+Ck%ace1x5ͮQBw^_"u\1YOnqGK*p}P=*p:W{,Ywǵ% MOn%wi =I{K<67V,$WiSksuytzu $ ˭"yLvds b1"1{ѝRwdg*Z`a;G<89ڽ耇 b?s66$,vrqZ?[ O Tw/]0t"/=Y3~ucOՈ}~U'e E؀K;SAD,'+VpJmxqF_;"}+6$?gS5pQ5xQj&3y ߱X7(d^,Jz='iTPȜA4WsGdxR(eM̗`"iq6%a!~M}L.󫮊MPQ,%Oy3}A8b0q?NބH||a2ʸ2ʋ﬉ϰBuQ̟ ;[%ý~,/.jcE+ӻ2MD]7$fz酓~ 4r Î^ ڴWC:tZl򈺗,9{Ȍ[#S,}[hA(  ~_sYEN= Q3c_WbQHUpݮ ewLꢻ6.l;$QIb?k M \yTL //Fu-HZ.l=qJ RpDPBjǟ8|Jc|qm˘#"!kN{yi&Ug`&?vfK:xPҝrRhǒQB-II% vKQ&q3xԢ̉[3Д2 X5 aM{7([uղV^$, ,;:wGo*psX}=ڮ:E%AZD`6- CR6: TduV=M>U˓F"ӎXMX889FT?+lZDj&T~ߜc5m愼:FMp(8yz{3[q5?Zћ?Bȵ|%SlacrvE)C6k,CW*kl@K9a ZTگGw$⓵^']zDS3Gӥ67a$d!_Yŝ2v4l_e=(o xEn`gO!@0ϗWI=NpܦY53\lc˓C{ @EģlOkq`IRM GfFw' Nk+%S(.c>>ܘFMS}x`: 6_'A'-,veysz7KBYt*aο/fy U|O="sj%RNLn3ySİqV;PZPUF:/,!š'VCđwƨB%qJZbM9kIj,H.s  Q8^YhS^X5 kB5R;J0#[(L&Ơ+›UK݄yzjMS:^}S~倮zuqU,35Ocrj5F&R|Rhce99J\ *8*ɲ"pSߊ"o6o4UQ8p\s]lҞ%h7NO7+.ڡ!sqx\܌~le ^:ZڐogiL2ٲ:fEIk.j]!hLs+6 ˿k&GE W6 \'s*RIK7vщ*ogyģ䍙DmD^X{5G䀯hp }W8ҭC 027RوRDCM1>> r$yV+*l#䖖fp?.t )BV/͙2iK " o!9=hy34l߀Bڐ';Ͼ u%zh9wẀa{n٫_L~9Q0$8Eu,I F/9#&GPțh euO;\~"ؿ(``!jÞ+1'0>?s[ *s`+Mhhǣ7>vn~u ǻ>Llήː[-[J ?T`"OXE,L eUSө71OSzTvKhɑ,uQ=pu]F3dWHvfAPxա")mTߕNo9NLZۛ="6u<8\ $,ߗ5I3k1C"=%H3 gYZ7zXZִF! ]/]ŗXiɟ17L? KxlWP8SաM~>fٺdIć\YVyxСz0z7b@JA w(uS[!L\@ :Y'#y;9q[Zisu1sDs'uƼ5;39 ~aF|jƦ6DiZSd"6OI~ "pA~^-k}HvRAR=A=U{cQt 2xO6'V)A򚆧Aݚ{?7-80L 6gCy#co`e*Kûϭ목1"%ʂJUZtO, -`Aih o  }w'g7,k:K?^laܽ[qH^hncWfx[ލ87Ր3;ebv&\ n}faC`3|3&>ʹsxBrBrF׹%xc(RcGN$z%) %_p^zאݗ*5DdU c `s[E}s`Ss'eYTGr<#Tm/9=I(Z~:~PD>a)soY'Fo[2m!Nm {T͂[洳Q*u>B~JC:"9 I'5kdZ^/͎NlM` n>gI+k(J%=N/a\4}_DZ+"oxu`^ml&FC (c恟kH]{ +A lS? mTŸ,G[g*J ӑGl`^2eD s7(6&8aqVuʩ*v4xi"(FVVy2bK绸3V+9Rм2m$՚.Dq-tDs`\I yqfϲLBAԐeu-:<;N 8lx=L۶Qjp$5UFc17+/+u/p='7 {KtH{ֽ%5c;;ao‰=r\YzeEU4 yLƠ?blT 0KQ\xR$&J/DG!%䦕р&ܠV"ؗ;AMd]L#^Dߗ٧SB aDgLT+F-"Bpnlfpe->^lV|;|q>Gٟ8'65gtݻR̝<˫vԸ^^o|[ N'f BcPF»ʸr>6G2ZoltRٮT.6@FМT B<柑u,>଀J ['0<` 5l,|+6?qR}]0G]5W'2p4l FJ)lXb_}~Av@25ж cΐ't3(;.έC6T#5jRbovRyOcV<C(9k@__RF*׶UîGG3=F).MD.+¶7e/GN-J6 P||OsѸ"h 6eoݯ a`nHR-K:@BTV^V=KBsyݒDhmѳI;d̂%YHI˙;Ja^a4g7'2B(Xa>6/]eh(H% !܅-LORJIɗ p 9#lHN5T>gV[:\KFW{2MF>ρLEe|$'n+8߂Hׄ:v՚L F[yn)_oj遻_AyYWTH\ S>!Qb)bGGa| 8 Cn$hvh `$CƓkUʷG{&Y 񧓫nm )WxvjT}⣧(u uA"AdGS޺@b׽vrwL]8l?D@3q&( v)?mܚ~}ӷQ5m /TZe@W~¿io-ZYӒkE{v&#_}Oл52.<9_OvF"$G-/iڎ/tg'aCw4xp7yoQvО{{<:!?9ߙEm]ے=$s/c}i8Ð'$Fo֓,:*/8َZRiKLo4CrAڭJBؽ24Ub[os9z? 5砣ԉ`&3U&_T@FY5%X;J/2ôt q{* Iq]_aGL+̤{+xjuؕ=j%= -mL!}mN>߉~'|JbDK4˸P'Xq\`HPM͡hxqo(Dy>&6Ua;m*iCf#Z?sRGR*׳pcy `rk?4΍\z|t*SV#QX\U Nd2vA}yod1Kk]@F^s%V̛9&cW"}[؄ME?vqۀnyi^tmȀ|crK?((`,<=spq&0k+;*ixr֬?hX[nɬN."Rm.Rk׮cW<Cn\j6$d:l [T sGAՌOla8u[못d~xC[VÌeʨn*,kG'+105ce6?-+M[:fr<8^yZ÷?o\e+u;t gzOkΉ| < Y;G܆HU¨#-҄O׊DzN)/[ U:J1h pC`3~yd ",j[DvY: xanԿCP .ú* jT Q1C.}SWS=\-n)f h 3 ܇୩zVZ}#4 S #9:M$.Ni,'f*=Bv T_&π<ȧ#&O"wf]ugu!t8bv64XʼH:1;K>ڵɳ`J r0g ٚQu;qI o&BH"y:]S\m- '겓f 2 V ej|i½8cEI+B4yFw5DZS$< M$YKHd{ν$yePصÇ_L40]jjqN;Nzw~Ӆmح7-ҥغubq9ʬ`>D&L #fStYbiK$NU=\B9Ղo.vɎ,R$CU4t*`pO;أP7r 2`b.TG*s%R/+TvIؤyۈ H*;:,_K3ϫŐ@ g$嬱SO#?ޗ^7g|s*ܙuKn/9̐fyP3?0:b :Y10h5d}m~(&gj_*Zz3:i,ko-~hԁKzMG$B 4#tyP9ABBlJOn?X@WEȃ[ӱn[Ū!WO ϕv.R*5$`t١[Vv~=7YR.)xacؼ]*@]=s{R^2vԵ(_l/r#lƤa]jR Uï}C_']ɼߗlsFW $ney4ȲnjҸ@q =FкsWYzM'K|ڲBq&*̑.&6(q HBN`N27(2R9 78#RVonʵ0g@\aiZmzstS/BVXB6G\(z%6fO [˕ŧV`q'~ Fl$o-UiY=9X/ZFϥ& J!Tg4Qq s/b[mI!|h3?iB#85$ՠ U W\Os$hz L`$-;Cv/)2=L)MI@ʋɸexFJ)aA_rUA ՟u_RjoŽ>c'BR9UDrɡG3ay8n{Ihd\}PONS~S {)ڻB>z rAV`c߽` Z^=g* gĦ=ݛRoZ D210^f@Ѩ;:9 S&XgrjՋuâ: 2[aAGK4.[Q&]Y9XW+zޯ;XŰsFʚZwAB?7~7>,;͖{elT֞=Ju ^Ez5y#^'iH҂_B{5 ŶP .$_TK5}ZRt^݉!=Pi`A)FI]&B3KZ*Q$+=br$ieK[ӫ_UV+LZfcŁsx{OK6_^zH1ɍѵ뢼72OϖUo,)?0\.ŞGAt@ ^NOA!98PƦ3}dz1cnAܵ/ic4n;cv/)y[\Ȼ҃faؽ'>oE$bV!r#k`y|QM)W#sUPj$G ĩ'&3[m2^k8 .vZw07 + ZC ڃGޮ??iρRH/6oEvpiNa[0'xm!0H\@[+̲s[:Ho*i@􌷰f>kV7U*`5" w#>=Syk (-hoϥ6@} U@)2(P/EeE 'p̷vOߤz%mv 6FOzpS@gq*r|35aiš)ء &//؇T蔿67G <ʾ:,iQZmC\SL7;+;x|_+t7mts?zj>PTr$r1D~}y8'꽑h|esWY'(lcy-3=B*)+X̥V`wC#cO, C!·5ߢVQ.|3S9! woW[ST){$Y %5_W?$O%N'R78Z5 ťoU:MlfsK(I}`G#~<q,[zvV1QQO1e ;U{hRu@}igj?dT|ޗy5E7BF@W3i~Ўoד5d"KlFU7B{8)$ty4):py|ksRHpIŎ齬7Oo7>ĻẀ'!G ,ƨdHehwWB4ht^9BIҀ1 8(k ^ K˕zTvNFA=֎ ]z(]3:obGչ E{BvM*٢FyI>LH| as^ᐑwl T h|9wF\hmb*&_Q}-dyƵI/R"Ƣ!\nk8C H=TN9ٳmpfc{uͦ4A5=Dy K, p(qt:>o gX(7P7" xfkzH0( NwG-bU.a\I RΧg&-p3aĔ>Y/ۍyb*S -:D(vE3y0b]-[Bag;=:N+QOIM K;OY'5HAzQ8PVW nؒ~nBžl$oFHO'Ө~n׆wT[2dT{l3fBpťZ$wr q"xuP-^\_!X@]צ+CHS^⁌-Uu\|v/:H@?!5wZӽg{ѥWy4*}C>mٹ[MQN(tN['_pu.lA\(wN'2]Q=nƤahap{eƟµ:M@LRʫNMhV gL 6n\njG[Ѣ$|Kĝs)N~/ $54q"q& ^͉XB&|d\E/n^U>NX ƚp` ʼgL$AuoK+АxZyoqfƒc c@7_^y9[Fw*(ZR;YmDը9x `ɝ#EPz}pvn% Pxvhm.:#Ån^7t]vj]-"6d(ioAq͐'h[L6.7{uQ5`xV0t}czvCI+ZPQu{.SOY3);{DؾSjF`-zȉ/Ijk4iɌ`μNp3L6y²p>g>B!Ů8[|PRV鍗t$Vv;t ų %p#-(J-pOոЌV4%oB5{{\@Y@Hੇ g "c~|\!Hx4]đ!I4lF7.L׭yhTMP1 [:'8@#F3nh"VQPn`M>zA"#NJ"yCYP$`ܐ=Ai n~swp̻kf*I#&HjE@?M9zPS{V!/ me28hv "|'SHlAɎ|yIi̶#&xldR9OS'd1G`F|xؚ?;k?B+,\~Y^1 eP8+Nb쩁=#ESGd3"w dLu.Q\jY*CbD0`&Cwj)f[.JptY`aFM..czmhD XTw.FFmev)z=G3G|Jl1s2gh_ 8d>S ot q#Q ޢOHnSb€+_[R:L\`߇B?9,%-x7Zjqjz=fi(6,/Z⪯ܶ%[cF q|{? rG+Gi:,{]@3}QU;  "͗d*Uѐ^|"GV@WU}2w)&ѽR[iH3XB-R"GGyĺ#Cyv@ ۰*I%Z .`Ԡ^b?S~1Iis7Xv SqNN>>Z3Aކhs-ir_*aҡK?D-^FE^ g&f9&$rI"vDF 13ԽXAs"YY jJ~/0*+DԺ'r>I&2)d }g7q)lȥ{A.T_3wO1щQ4/ȗԬ"X+Ej; |[x(8w61.7u˚&Ewc7W=PiPnYZ% N@m{%Hx\(WW?!4o%mF1i[fhNѤ11 UHպG SHt4[4\xl|C%NܓÎU${`v-"g;ïA`A>:dOP'fR,%6 h{wx0{ )ƫ)̛jHi4H-ti RXX[[~Ǽ٬Ku._ݴwneVj!n>0QrP$h`w#&)Ou\k~ƣ{yUȷO%WxG3{ >Q^6G)|7%9Dq".a#N?LT0i79Kn]wTȸ) b[B y{"U%~-wF"L@+ۮJ9&a YL/lhMZ5^0ؑHD?RB oiO& Xa%HUW% a/XowB\A8]? ER 6atgAカ̙yK*#EРH YW h~NMii@{PIu REoƠ_%{& 02fK40Б%n[ _2ZV/gZ`?*P|p˜M" 'O#ɶxp~&[YrOfˁ;Iu> U$L?&/7UK.a>f_Fڻ4_ʼnrw ©y$Sп$M=TM oz[ȍbZ\ aXa|f :*\̳!+&w)foHgd VˤZ~L(OWX׷,Xŋ)3N'yU{@6e~J$ݸʲEKk{ 72~JnV pKVol̵BRn1x_x[GԆCl=TDˎsL{F齳.q>>ezr\)P|p|׏C~dzO]4.S3&e]H˙,7A#abihS+NS 'KLӰx#͖[D5 !˜@MfB1$jvlth4 #v6ndi}vܩk-/:Գ E%j$LZ{(a<[u*U&y$t5jO,gkPgӲ8p ";2Zj991}\LuL{6@IU>_|֐  !o7 ƘSrΥ׍脒sF/t[iHٔ䐗aަаw%? aOL7* v *6""Q+ZD϶i؉*ؗ\ب0=*( K DvdX8CI+ao,Y4QZ> FPΏi} RӼ_MRAP-*hkƷ^qU.6+䶮6ꦅkl?[oU;Nvǻ%_3'7Kj+хKI$ dވG?a{k7P0gGg-{XQ!KcNH_3UpO$;|detϾa9|3iN2LB~}[B/r1aQ偊~Ctiv!r9"vyע<-mZTQm?D/aN?Ft,=&8{Fmˁ%!WPG!!ĞS:_NOs|3P;8wv~w]2ơ]^wNբXoyO:Fnt&=}xF$ăUx?j(^4X] OQN?)칂Ih$RNYFhɎs$ۅs'a-rYLQEbqWs> tdzQXZ)X_gƳW je`רcr^, Q8oWoGUs6Lf2c aڬC^gNʽbc7[zWCBV|&.%iLOT~6 gΪa$Ѣ[f,K]"CؿX]O )i d5WLSsl@p  o*KL(4'S.W !rvLsA|Gq(V>Gӕ)-cY*LMۑOдD|Uŧ+&(ؓSkt;Ud |p\5zWH'hmNQ +DQsD\;͗BD+ꋟ5FoZm BɌ '_3-(򍉲s9TQ`zwޜ|q:+ѵ,mk5?&!B!ꑁmIO7YYQzqԜ[6G)W0oPI=,X- VQlD#ߍ~NvQ NK%& ߱Or,'^NmDn3]3Z^Hg&(H ANɱfm[iNROtaB,^f>TQZj51LGoHEr ˉ( xo"Ҽ &GFܴL0Džռu1 Q4=mZehYrY@!mj̷J,St|EA9徹Xo,9AV)pB$B,{i&W=n.tª= CJ/kȪQi֡"e\we^mPeռC : =w?'{nS^`oG@.!- +ͲuFʭ9鄷oUl/J!yH}z׸s9nSn}H~;-sCmF&N|`VhnT"-"Ju<حS2:az㻏 \M$ .*L-'gn{]HĈ`vB3l؜v31!aFՏkf%F*ptH%ɠr{s>1MF67Fﳺ5RQaCQ5-G!4 % lS! pWZjծٽĬoJ+&4=hCӰ0({))@6)鎄/wu C^(]f$BIerpW&?Nw!HҏҐHJ4$hFU$ѥC tR? ddIܡK N2 9556{xFYMGޞQ^K@Ċ?SuxlSGXf9A2 'y2&*ȣVoqS2#2b˹LV=Կ)ۅ՝]9+oȅ4?&lc睇%*P?l/#*0L3uN ͊@:7i6]ɔJj24̺$| ګ>GXyD[qfh旅eU_*nZ J#!}n~_u/@"uGlF>=O C0a~1gm$EgޕՄ rUi^38rU|; sS6R*()L=j+]qJotH.[h!%Kye I˜T|v+ٖTd K]|Uey/D=x>iߠihp}:74wo926 QY.vqijt  9h텿qZ}pԴ0;Md$~x)xꀎ?fV[H@ȌG{!z݂(">~lV+&]Y$>lS^* /o/Wn-w5T<}FQ 58wݩɈ|<]oJp|g% f@"Nb, G µ%O%Lݵn ʅPMp6 ?6?Y$~ U%*/|'ֱ1]YVhAXF$x]vЊ_>̢Ʉ Ƹ6M!Wͪ>O0ZuRYYY?愬4 x 沬Ff>:[k^CDJ*S-hWu1$|g)8oolš=`.z}}" N zFVnD\ vF#= D#ɥ ,=n2 $Ξ OC.FǟiH(g/6pEJ7w&.+?gR.xohIJƊ}ݍ~;4H𢛞 yHzԅ{.ҋX!"ߏbr Z e؄A]_'/52I mt˟8#<%Y 4M/[U‹ WϹ0@1Y8c?A 3\^aŵ7 UCy:7vBloRɆ]+>^[bK\Ʌ;NO;WFK?aLZ Z/V5d%n AB>穠>#u*#fռ y-LsPf|s!4_ lX.b@A&*| [x׸PWf*VxgY ;JXlg5"E @ z> rMcvy;VWTp9J:LQh2(zX(+o*`-fH#W+IDZ*߼W6}J0;a> 7G5o*Nx-F„`C^Xj }ϷW"5":3Z5j1/w #_ +`Adkێ*Zf=Q"| y6{;; U^hP ڈc͵)RuHN71ۮΜWF4 *AlPVjӰ׈VN؛%{92}̘j4ٻPel¨ eyKd)xʤB~*] YXGp092U(6#I3kZ:L, +rq=Vm40{ 2=g*rjXVL9Cn!Owd&4"}ihhUu(l]#ɘ9?ڋ ,\!M?> e,|O*}HMu\]xE}KP qE&nf]&Y/tlXj1z¨v@J]>]6m"Wͩ1w?tԊ^[fhd_Za#_hë`>q7\9abV՞1954Ms%{qc+BȮr27rΨgR˞׵hy FK>9y)N d2VxA;={/y"#ڪOa&q/h!8_TM5Ͱ~'~'/'X-U̠T(dgYZ8f54995c15bea9007a49d46773faa3f3a91f471f174cc62824810fb30472fdb32ee1776d48cb238c fafe655213a5e9886fd032ac78bb3ac5809b55e3 6ea3f3fd72853fd055e182704ff3f7ef8f168d0a 7e6baaa1eb6f4eddf19beb9ce5552dda91d846ce f06f16a621be112623a9f00856aad9d60db67051