SQLite format 3@ . BBh77otableisabelle_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 %|dt ]/]HOL-Analysis:threads=6elapsed=343.080cpu=1523.908gc=105.892factor=4.447zXZִF! SJ]ŗXf1-q恈͐7ӺV l7L!hGfӗd38WO<;x-z.b9\TZ?N%XsX D6/Ef('UgöH9/r]5I#}F~|<68ɪ RC;uk ~ rpPJ:fHZ*c7Y'th XlWB@םj.q]oXi:,J xX6M :!r2.h ^ !,8h4  |n1 ՛w֖YΤ.7Wp|>6FQg" XXv<&Xl~՘D|FiDWW.BJ]wɝor4pݵ.@WC&U/}ƮZ $^p'->bb:Y;㙖CQR,Ä.e"c {|vGlT2~{b{EH9m6욁؀mDMd"\:aoΐAśa2{ ޮFzW0Fo_MmU498g#$v)zUYBSYHQܤeD'Z?A-86f)d+>%޻YJe*)8S+@H\VPFRmppf赤 +#BLP5OK{uoYG}7g ڬl/ξ XZ]%\4Ј2^A"HÁ7{P:Dn+W(S)%ga{ (9aWVWRQrmB  K-)Hy f:Q0݄۞A@xآ=A@e.«x@S+h# "X)u Q+bqk :>i55~vJz\Bv aDly9Db}|KPS}4:)k"r ~Dd\Mco^VK@^9%+3UtX"Nc4DK>V, Ǘ <B*Q;+1ezv:&"x}oRsH ziv rk#eOؓ6w%-{=Wo-`nۃl05 WŠ;*/ hQ-<Υ!x|"eeY u؍jZ3+ҁgknH5hHoJrLR+OvW-17ZaOMd=KͱTHmJw3f`y](Zϼ(OW_>deP 8,2K~b #G=||(SƵKl\+bu=2KW6Qm݂s/fqϖ}2f•Z-r:JDa܅0ެ9{$E#liW H:EFF)LOž"R ؠ-{vLh<8s7oj:|"fR=0OLIcsIB=,.9nD[0 3zw\F[3eƼ]Bƃ+ /1bOBlDx /Ljm3wt#Xx">]D˰ɸ$k(!vfpb~ᖕέ^eѨ֐$KNxђ+N|it~Okh$C>7V:2%։\fÌbZ}鸪`v|XqY}1G%Lqe?8. % HOL-AnalysisȄԇ$ j?q֮cjm=/+Xvr|IyWo[7"\qm>vz3wz0ݑ[G((( k,q^LvPݑ= ]9/UH'X&_ J$\Z 0U)oU0k|i^ZY߫crK)`o0RSDUoGGlRk=5A gh`w6F'yd_13*w.OCar/V!V[\h6mH^0pwE?2-1=Myw`})ݿmBL;~Z$\//艚?.! N3R +pYVk,6=+R^q 5VH,F Ѿ7ی5>g~,ʥLlol9uZhcdlpkT ]#FMwБV S9ݺKRJ4 R[UX],XIXKeFL~|>1Z>i,ػ$(N>[bLE=K:R\4xk.0T#8ݦM=OҊ] D)`N fhN4J)DfRAt]ް"&"4IOec`< rU!X<5v.ϗP9%ר޲ }7&DiPy‰܆{xՑgt½+t,cG )VCn8%  U%οdk/p:;+؞&кzg{!PS > &HwWƼWʙwo7zaE<3 $W @e Pi50=1U4ɀx2lrb@О rfq@(ڸ4#4YrM}j e1X7/BPV~ߖdO ;|D7uaN +qQXldPpqUWpI e@8_2]1@D^}j$%)՟qD<ȖDvY\ox|.HBg/> +NLD5r8H 㼯}QfLv eh$2}|qD i#‘ꃢ; 8! ߎ} O@&\{ڸ D١c#+%ZV{cM բCt6oͷ(]^@-@O^ҁRP3&kCCZ@QQqlLקMA礝 uvpVza3{ץ G5Kl1WKe Y}$_ /k r.᎐:U~qiiPOW8mD 6WKJE6c4?;jY&Z?3/) \$ΦjMuz΂xTP`[<ґzlS~:lF)ny_z߱K{IL,S!ޠrjp۱I-yܢPt+0 5Զ*|fI<c3QpZe 7ҭףDgH%-,휛B`O.bm41Ggi TsJbFϠݪD>ݫx ks0նFVc"\!|PY[RZ{wy#߲'ɕbn-R5Ԙ#GiU2"W˧Ӥ(]-$Jի u6,<<}KnF#Jt(ۇĥtV)Ub %$@q{*L1;q+D̰:[>*Uڿȡ8W-ӚMEKj٥r6t`h Dx(Vv$5gh=*G3u!O|6_zS L45D;"V9_lWB} j弬0o\5(e%ËǞ'_q8ǁ=nLd Tc3s3lB} M8pBUf[5hE4LQo*H:J+-0M~Z CJ9~MErAm) *2J`3Q`c+ژ,B:*ܷJ~BSn=\~>ͯ< Ocd@DR%[I튮>2t)\ݧiŵv01Huhe 5e)8<&Cxm6gPx_ }`7Ѐ&sL7>KS|^e,L*r:>Ckq W%ЮX]Ѩ{ F>lwi*W[jm6(/XTJfzbF}[;a E&h L7/&'%(Ɣ]eI|WgK9ێ8,>w`/*ڡVy#vJ[l&[2:ZKtԦ Y~7أAɂRӏYjBӕ 3OdN"Q%:_XXt@x2Z$Y:Y,t3cV.8#;"'jr 81#5ܕ{"Wq#ܽZ@As;;}X\wߤ`2]LMm3Z><,av֚- g2pÐIb, ݍ:}V@|jR?~u]}2@^wX@NVbbe~'hIVeK1t7[3%q? ^q$|/tzfT'YsO}kfN"ark}_:% \3jk@"zKcw9qp B5=,v:Fq]2ΞAQZ]a+}u]Dr}*s6)p^'Ж:U [A_iz"hED h/ mfɎ #I:t{N5s`xXc!h/gh1Fv3BpUl9i:9`bFۆ+zX@̀k9} Ob8{ԦMuҮro)4>DԜ3g%t=ݬzt=p<|'4,!}F̾IJ?\w~ܾ%mN^O6G6hOv00%2%m]"э᪏V9`6A2lbsݷgBtHD[1R)75Ƈ< 3q(r-qC(f|fLP1 JPYD4ŽVW9J7V9XB"8CnHON( N6GT-=%j<}Rjp15]N'!=IT*;MciPŮ#aI* {'GWTĝb~PYfy`]9YuOte=C 8*#]H]v;~7(ԄKϖo;TQ$ŴwQI(FGv|M7n7oI"|xk4%ta_KB7enpգԇK4py6}nm_l.MYu?6ZL(QI*6*AբjfNy+k 6#9Zd8ѣyU ǟŕ< " qVvգUm/}vn5F7Sͭu,++TQ/]iNAKgh~E¹KG*doI&2yu%+z& alφvHdF`QKr2zuԙe(^Oz$t/6n"S@7"=tL.ŸݺP86.^ȵ&DRLv| 3FV5` _J{ TYYO) Ѥh NO CydwkbrPx~On-Rf3 *BNi9-)3c[" <\@fTAIҷLh%o_`Fy޴_ Đ껁 t?ԝHPԿ%OTl~n*T=߽iA05;.fBOU2b :zݙZ``?y_O:ሤw1u: zsӢ' ɚp$.%6c|\dlpsCNͮw?'D0ٻ̙OU6yZS9oR.+ 2. bсe[GC=7@'J.k 0J GQz092>Ol2yѴ/z'NM\@Y,d~`&8;epR}>=%&׻C7c`~0됟Ux= GK2+Eŏ ;NuZZ9gDs}7r~?1%ELD^`˕ -v⛽I$#1488}&ٯ((AȪjؕ*hG z5ggx*?s6$!ffHNjZ$l<-`xԲ2=ŭ{A / jAw`tL/?H= Z\) _D ӈ.xVp, ?68Qai >)p3G^'7a<՛en(ag$ *%m'/1X=F7} 鎄йH}AaÙ]V4˦nFWO4 D=*drTTѽ4V%jYFʆ̱Bm&k^t)ze'E*%t7-9;yhIW'B2.8_B)@%$qV?hԆ3f^V^Äɓ{EG0R[1׈r +>ɴn%PBcU"/7bV&]PyAI E̤>՟>EV ߤiXS.DYM㷧:D~eX |W 9 Oz)g`SA{f*{-.jsHZ·4? &"{2@|,`-R5@-UU4yj-wchᕍm<5Ff"YޱKhsFMUkov|woE()v\bCx9YKkǙO6a%QZW,>6m*_%Q+j8y&%PS8 qŻDOdUHJڴQL% rl2捯k: ߺ-]4CCνq2*f'ZlXhUWCyb 7SA68tɒyMk& T3kG[v6 y@)*+ʽ%X'Bh=SՇzPU S@`yb"e]\2(BftΉA:&cTaMF>ʶoLf,( <7);RԊ*J A':Ņקpmfu4KQQ6DG$` OOwQ-*<52Nɗj" M%DV,)N2]rڊsPl!ꨈKط!84rY5?5LOeᦔ'nft " hA]H--$ҩȘRo[XzڷYSzD?TADtc}U KI_mw2ӎ-SXB2vfs`.my2XHhP>c;J@dWc$=z|kv' ReLY,9;E-p8c,m=ξ[{.0@  Mmz||C7﹘Q3OB$J}(y(֏b8@!԰vV/31iP b@{rDZ&5m  9ن2.lq%,qϊ[z0=Pݡo`bse#)wX]sǽ24j<)^ę 4xOOO &~\HwV/}kҨg1I2OՕn-wӖI?孼^aRJK@].!SKAZ^gD=_Xܸ٢Wz-p9H74צ}E _`ٳ;-. eyvտUӂwoP(%(kpM4`y6{`r59,͜rIS=o~n[\+*?cI&DGvgk6m}ɼ:egVp4Tf$_klbGqWE#(sUyb1-6^5]9Vu, לrz3F_ɣ> ߣRK,ov:LRlz`o/n-MSmOƏ?.$AcVV\B4V!Ə4 xO JWH7䟕>d׼t]YlDmlWeiyMW(Ӡv1Z=<Wl,FW9(bk9{>=`ʫ=)2r@]9!M-2B;Y;t)+lβ`3 , i.9tV4P1)O^?j/IPNr%`:FJ5-w=u0Gbu7mk'ّF)Q°+_ W SL* #tQeVh5Cd9W~Xj?x.ZUeǜQⓛx1Xn24$3]]a`X포}nAxJpLgR6XxXl$~zgf <yemJ@YWԠH][4"fiYXj>BU'yNc\9^.vX()@Rp{h"2wTuqW,t@+vJiɉBF!]7FQ #{CZ@=Mfs3@ gOs2da0S1%]+cۑC:).sb%W>Jʸ! $6^> 7՛e%; z4;VW-PԴ]p_uSk 7ۑj3+Xi@ $IL렦s/`>}8|?rxv3 ʀJGih1tJzV'f}dN@G⟷/&9Y=峚9mUfDd_R'~;|]CzoF,8)ڥ#J_`g%a8p 2~=ȷfKQAFe`t E.R@DG>f)X1do}!0Ytv/́tea]Hk2[b bSo!%KHs<Y'@4<7t#6Q>􇷵a1DX Vړᰡ71i 2 <| S|&6#?z"SU,hwX?2pcy+[u{eN*|ٝ$.Uc|&y Z+RLFճ4;XѬ<:鴰Q@}yɟ"<6fi{\~JjٟF=G! 0hgqf W"bHpZ-*yIVx0Q@rUX3#I^4+e*?PR _Ϩ5̓!޵RjzLp(U{d)L5UL|C!>-yS(,CQ #2,)gk Ō_>Rt%؛yB$tۥ@,Y&>KU0;5hg: 6`,C+ آ0MC*GilxGcYCPpAz"m]b *˻< #>+W\F:|!|eDݑ֓j-*( -焐i@d*ͬA F)g3jjv|z!-D 0j("Y"ܔABh۶0'&>[n ]f2b \n ֞IB;шA:ҥb g᙭WxDL t|!׺[gGJ RԝscjY>4I}kI;ǿ|dkXEiZ(-PݳωY_Ctr&oc6cdTDpjbK}w#Hz&4C3ְctM^ z#x6ػݢ/$phN'x8j[EBvū"]猏K#f+%.(2<"3f9>vXʰ6G|# ľ|ߏupGC&Bxql5]gZOmB$%6f ~=oGu23>%Ѻ"{Oa {oDBl8~K=b(XeO]sk6_aļAH .<`3빠>O~.S2{k\vk!\(;*eaѭ4K!5iuwҢPT"h=Z&i('L>R ٌ,SD/L[՟J׆wc8)!w-gRQRpo4CU_ۃ4TvTLR 2-ʮ9O 1j{׊w +/~uoVu*l⥺[pm/TAl%a:>;5QI V=f[Rk|=PHB\йxݜbgяB\ϲpm| [>5fOr"k@ c Ts?nqE4$DB v]}ɧƻCgL7y` $?jxퟐϩsxr`PbW1ѱʭꆿ3heЯRz>{dgn&=oW42ݰD;JJ0Q 2d˕o`ƃ>BL!n`AjG^Vk|5=}ǘ ýTOM m3 c۳Ď/[ \%\I]s۞T W:@OIogy+k%&:+-U*Il*&/Dˬ̆LGZ~v{J!e,l w[s꫃LmLZSڏ.`9% Л(p''7Vbo JJDנqSJ}l܎+b!=*ޚκu=hH迉8jQ0izAaX$},8 H]2 zUiZa˔]xp+X6HV0KqWKCT3ES9v rVjpU쇎Yd{%?:>C 43m_ڞ?ULFHck?e$rDv&}Ä.c8UXϮ§s4+hH(R~B(Љ؏rb-~c2w3Hi$c 8mIu( cYkP,` z1`?6Wi=6קYaCI >+mW0Uc_ o^f=9W⧚'ҳWskHC=[gni0ow٫5Gu oxsZ43vijYݮ5K"PPSJy )^p@iILZ֐Ꙋy<_g[>gfk+Rkv)Z=d@;z(.#kן;7d!ZttsM ۀ@~umˇiN$#.me1.9&6Yrc^Ue.bD8OW+ q`2;6ZB7jjn.~ z=ͩVU3j3gm&ɋBw5͂0t"K\QZn~.Bg/$+l qJ4H]U^/zquQ@|gCR֫ԭCz1jh̆"ָo(_I8W憁䡇?XDN|ln߁ϪoԸMbzʕ6p!r]MVWIfԢ'JռZ6o%iүKbYbJ]`xa>Fsg>J1{2(P쁴u(yi6KNo[i";ﹾ`F$ |%즉hJ32aR(.q6'Y ҆CX_%hߋ޽ʊ8Yt> O!&>zպ D #KԶ}NA@:ҺɂWĩN$yߥ e<"oe÷Bkir zhZ|_mvw]:~r-3fu2>O]|t\j$z`Dt:Fn >(9 Fe4Vgb"XA,ǭPp JKPyH-kz p[ff8UTt]}AcpHm"h?f:ZIrwu 8ؚ%WG^~PGjD >(n13%Dee Z\:Sb3%Bpz_KGnCw*EwOg_.r4*jaB[مw]ۇL F f*HG[z(NdH0h!2(kH*5f&&lCsjf]rJ.zܶqz 7́2a[mshC7nB4m8pPM2#4teC-}5fˀFiOiLU萙r1\xmŘo IRBNG ;+=8^R8&R?!b!4MlXZ R.~͸|U [Pdj5\;B;YxFcY :cːޗ/7ikq*:;4H<9#| ?O!PSV}_QTaUK G<񂉓W:">6ThwIcOS[ X/Z{۫uP(! X,I/X;-Wk yeU{u(.Z]u@NlA73f0Ջ%U \gî\8 \݁_dY,\'|W5Fe0PCp*Ⱥ{X&Fֲ6$ ;MMPwy(O nV:nC~%,<]eo~Fh]^P% Y5@'N/x 닩1͝vShKeoMӌs65 nFuƕGR|3d8@ϑԜpgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4{=;e2 8 p3ç3#.zxN~VK7XU ŽiW Dka2z-hvC)v7ݳ fX\Aؘpa /I?Mn(0v"Z%B͉{qˋ$: O[I[>/(k|hX`>Շ|tޏC2i|F|LFN+f4cc2.MVP^Y6 0h!Pq.:~ 9T3mo 9IeEU^_92M)8˘)cB'5GhLhw0x3Gjþ㒫𾋋-Ӱt[r};aCY}Atɂ%z(iAz(<+^G^ '쯚j}[ 2a3U3߬ky:G&VRGQIAUî?Fb.d||mY%W&B g6WHe~9Z|T-,e ` yxXTFtEZ?Tc]yCR?L[.kQ{+$)CkHo0D0h܂,U$-z ށ:F?|MՔ|]qAbWL(XZG{wϙ3]C"Kg%. ̠ `zUV莢*܅x+}(٦U)<~!qW^1!lA]L`v6uedJwn3F10gnzQ\9*w8f{N f />o-V$7{0yQr0_#Ιh"*3þ]&ZnV4i8q;3>h qVTU|bi_\WJ,zB%m܅]RY%CZ>O;G`nx>YŒG3Fx@| >?{7w0hw/ĎS5dO>0Lvj5& 3%="iԘ)w΂#Ln3võ]u:ɪu͇w`Uҭ=L<>2  ES-C,wYHF)f#?H|3A_;R^mF>iBzYH,3ճdr -@!߰|Nx\@c)y|E^ru+ TޥߌL60fA}p gYZ7zXZִF! ,er]ŗXi%9,vT) qJݮK*E= P+,@-}c8Z& RggUn5ʔ(mi'oOxCSq^bS,;t_֡ءk- r2Tw.0MnڧT1RISb/`h)jI=m0=qIShm2dnMCӲo徍mp.~9>XEY{GT1#؀usNH?-θT^ UD̃F{WYrxz f ԁ=+Iʾ~a&a1E j(Ni(E}t.OQ3VA8&7$~,mf0t,n4MoAV5D8v;۬>WϯOlNL|SBG7f]twQSH4W@i-'{ǡ-3PPK^ON~/mou6&i1!Znr+OQY[-0,]:҈-H!{_[ʾɶw9k6Daހ4oy\k4-;v,̓jΠXnkޘzcoO8L+Wuo0a#ߋ!m{Ҽ ˿서ôM4EEYv'xZ'f#ahOo2YH)V#ZGn'%yxKϢ.(11+ToKCzyh鹼Uq 5 yDwh 2/9\&hh=QX`+w^| |〼pbΧ~/"@^:{H|6X%3ۆ?zRj]{G)&{OGx%ޯ[^3ɹgR ~c,6nyDG3Q/v$\T,o ij Ew宕%APϗiK ibWw*s]~ၔ|3Vkw TWS+R.tqsC*0*yTX\2HtRmYhL]FCS4xD-$|BwY$ƌ3LDSBc±PthzƳ :91i _7SZj=͡|r hBfcbe'^9m_= г ,P^ ߄Q_э]#?&JI}Gx|8Y ,JPF io*Lh( fZRB\n7Qx0± \?<7ß!"0^ȥ'ssiݯ`y}el~ua]UT+&>=c6~r '=?NB.`߄; iӯZ 5r3^IJE:Y _RDeA"==b ֭"v8m0z8~uh[AEp=nP)Q8_B`0>̪e;N0b3QwQxL,Y!_]km?aC*j-RgD|h5S8ci"7iJOM BMR.:q8 t_ܾ,Vp_{3D"g{L5]iaptx7hC/_MlMomfC _髱ŢSo}vī4p^EqpӇH!uI4RU94߻8Kq6 l.'iZvKht/Ur[D!Dxi!:}6#.̭r,KnHP;sv_u](>~Fp_ l@hcqI6wB}fazwiT:EY76r{Xy|TEpӠa7Ş=.W:j0.C9LzvX,̈ԼUd-WȜD`.ZmI()HE+^G عO`SVz6 ,HGl*@;ҁ>(D,3ĴmX' L)D3ꩠRJl•=lހ/Od`|rٛ^V  / Q{RO:diWػ=mkڊ2 ?!{D? VK \p<̀b:7.x~q3pbD×JW:ֲ^E? 3)!T8,Oz H3P]ӣClڦȂas~ :|:DgjkrV#E?}Yܽ .rⲲdm&oy2%GFv648J ][gͣ ޣ?iu2W:)6L'!It!sTv9JYzf#}id!ymt ̿NB$4¸?:֮,jzo}|.ґ7j.K)Wha 1I#7yOvI ےN[AF1vk ~UП )?>_HO Bf^Wd<[ތ,Ă`L+ ю޺5B)ڑjmbE&?云!HĠ2٪xͲdkז6% bK#OG5 jtMk=EKbDsڠ{%|Ъ>~U(&2k fqTwB|.B3 rCBgR3FPwƀg/rP͟dKDBgG٫\+l%l[zkn @9I_aOїҼU`w̲rMuXk7CB-_7rƚ}|&asꁆFMm6v} <瀣a#wQ|p0d NilI,&pkXStT. cN:h<uiǓr-p6JXL0fX 6A`{/`TnHGbA[8re&u%,%C,Kg&s ;?J#툌w8rS2Lv6rΏY{ = Qw^{a%JPO]lcryi0ǁެy5~+J퇢S?"6ΕvnPv\ P'}+F(xCl/ H&@i¶ϝ|qwKBjHZo֫"7 *i˜FnN Z NY>Mׂ=]&R.dĩfbRϝy-of!9^'lD!A.HmM;E[ Ij*+R,t3UQ -u1nXE2JF}HޣK&݌kw R׌tT î,ЄuTȀg0% &߶qq @]1WCm guIV.%瞕7bp9mgG2LZnC׉KEKT+Ӟ Z8rOX/ۀ4oڳW?NkVyA%r%H+80A֭DF>#tfrv#pv!+>² Gi.f-T=c*AC [|!ԇ*G0)rCH1{F:C2GUV;9HxF:SP>czIт Ͷm'b>Wk+rye=.o젷u+z4 N"BHdl=n<'隑gy,MU-ʒ8P4HՎe7쪜3KF۬8dgfOND3.oCP ıP'ةWH _+` I (J-#fk'KAAz  ;Կ0#e "*EPn0a9gT#0Z݆}2M}udo.EQMVfpOJ<['>L@*rי``R3Ou<盃T7X`Clv6%8AQ)W1~73_j `I l#Eޣn8Hg̜JfF݈>VPBX]clO?/[?<-:<~_ h'j7f\2"fdsϕc \%~VwBm5 zŌȤ*f|{.+m`:7F{JG:@; v|PM4Uݾ`tx_I;AU`x(+g$IBb2 %@#bF!2As5H$l]BbT3Nb !> 1 _ O%+asư(wzs(8+}Qp[LY$iHtwDXѣ˚3s$܏6&3 TFOJJfDP +ڪkW`+w:UXAl@wtK'ic`> e@.Ea69,{LC u(- wZ aA{m=Xrv KJmcԧyr:W% IEz̓N,;qb4\䡽ZB 3IƦqe5Jm{E(yuo'D҉k|FtM˷ #XKuW݅Ktݔ* z͗dF 2ɆTp|g1Q-Mdn*I^39u>&F ط}‰O2]nwnɁ;ؖ<ń|yؽ ijCo,g$ !>S(nM}` 35Yn,Knmjԅ-cn\yi`䒱Z+*Fʧ'4S[g@?߁e5𗌩 gT$z j t1 &ahFulqj/`h[8 CZ BfCQ5:rЈJ]X +]I{ECrԗEs0> # ڣ~rv3$_fp/pԩԬzwC:2E)69\ c%^gl4gg"B@md1mLmwsflmRErF4@OkA2ň@_j{# }benC9 YK~Iڨw9 ^9U2 1#lliY6Ba -{et˄QSPF  -,M~÷ĽQXk}Rޱu=V ;iV1(ϱ.kENx"{z5鹦M>D#[H0etpÑ7C<+q#Qꋍl+YC[; oh mq 8U ӚLq5>Nݷ4lpg˝x~x qSľCbP:C!r!"X%51ԯzBg΃&Mꝍ.YfvNU5|᮸]W>0g>d/jjpQU^lVţԐ6]3'b0#3?#6Xy g͒gIsc;A\qƓm-#:N7$a\:tO|OWzt I5:,:$sdzRyL#LP ~6qitu#7,q_>My#BD J(^0daq ⷈ9lhTg^,Gv32<]Ptȃ-{~;[2s*]meNˬr@X@M> Ft/! DeA4wWMm*E>tq@O蘃&]#Q}H鴧E%=GDN%,eٵMĦ?4zvPNl& ٺ (sLۮ>x)9 i DMG f*U"b#_t@beܖ1'ĕav5"oeDqFcڐ- hxO'|b%= 5'ڗ/i֛NjFo]X ZAx Is" DDZ~vzl5ڋs`CFĺ'5XB^BxJ3pǜ'{q]L;qݏxz[4u"hG\}[:lȢ1}kx6 v0?Nc!m7u`+.JXoޝ"\@GbݻL .509gTbo G@2K *)琏F4<% k y9[۶SǎD*)d#)¾=qt !/$ S6/}xVUKG+d,|r?M;%=J6?"3rχדڑPԀdzݷ ?( &[#]?~Y%O2FT%D |{>*V3tOO̶}dr_=OC[ "L|OWJ22̥U-hk1vYT,j6j,n1} j>,XTY[!d+ Q8_f65Gjg|g騭RD@:D}am3__{}o!}6UR\T0ɹC=xsbSm2)e)Zy~E| NRL.n9{ \H#M5QPx/|~5 &L0Bi+Β^nc ܗ A2+1(ZȬ=PѠkx EM_nҒ?%7:%d,>>bW\׎ŧyPCs6!EڿP{ݕ mrcx-j)G+JHb {‚d ]/WEA_ eəB߸VX>:{:C :x/U22k\G:H]U-DEz7o.=*6Hr1&cRYc&( T֜F#T"bZ[Xȏ$)vAp&HNw_^UcmɏLxT'Ѩ5bn۝+':K} dֻ`mM]I'SskKAH22g6蓈o̥ӹ4o@޲NcJؠ</g':|. R2:,_"YO_ )s4DK/In.Fw_$_lS|߷tԑK2;,LAV}'CH3Y«[Am [ZY8[8L8,[I7eN귒վA8E=ON*0Z2+q! yQ&,7Ř7?*=1f%*| Z؎h ĸHrW%º L^xakwwd-7˴iČvƚJjS2Oԙu-~@ Up{kkQidЉ0yI@}J2)yde| (3(s9a!RU~Y)[$ebqq&O2GOi8s=WhP/챍[|½l)2߀pT-fԽ)j.*Ydj9LfqHU2aj`)0ǁ$RKE>V;l<yB pz!xGE>k܁dvTd{ RʺEkJbK _[½Pe}90&g磹+FB+jǧz] x?R2 &?3,Mz"{by׷[-+ ,\]@/laY9Ԃ tO#&dϴY"T1yUfEQo#"OѺ&NXWC^'L =^ߜ@qava1)b;zR cC4hkޔp B⧜,ЁrhS/ϻ *|+j¸>'h\3H?Hx?c v*I}\ۛݐ,MpQ.R@+{Y b1lNFSnP^Rv(w3ќ}^ʲ an1;J:tAXaXv%*e.&W<_y !˄7a Ro]twAV'T_&C~rSZ k9J,FXkT*/e:]y<$W塴Hl^`gKq{J䆿 'DUr4Ovg9!&6d- :rKS0dI^b'o3飢TS }@eӥg0=nE餴c!| B/ 2Dytdhõn 8qQN( D$_m ֓hAf,'4*g!$z*A~fقlqQT<@Oy:Dꖴ]K0unhMCacVED_S/Wφ":uS| iTLy#Foѣx @4k% nz] T*xH AU=džqmxe?r+dsb;3X|:ٖ6%N DLww'3m6\J% 1+7rڷH,(rkIlOI- f2䜀{W}iaV|&n}C&${6P~UMn^)yKeQ3 TvR%ֽ|%ꫳ:d&}+ɇޟP= f#%O~_V2[eX9_uk\DLk8:(? 2HF?ge*@h.bQ F)JIe/n8w vsz91;X|R pR %Wx4"o6RPBtK~v\>*w憰qMlk f(P/UB]fwx`c;Lb#Āpʳ?$yg-Wd, п^{/ٷ Dq7=I]g1ҰX>@ @=fl:[DzǓxu_ YoޛhAho6V&t#`18`2 (AvrʺS*"E>dFe2J>(8az EUfß5m|vV̑S2Nmxؐ_؜ikn9=T 2k޵#ёȡ߻}0 !5EՔå !@b`p1"S2, IT=:5&+kv=F~O{,ƈ)}QlnuSYȳ1[3>}?0]C)bh1~Y̫Ggtp t5쑒I`Nf7jJ7^n+^Ǟ#g-><4=v^GC%y74nG,3[fMҰxga8-]X3 ޏ2R1Y ׍+?8iMC̿ay\d`"C}Rĺu^+71;H XiK$wNL0>-8q}rp6,'VZ; Q0M*EJκqRpw/`4,Iy1~h!dYtǁGncd!kaC:@ҟ;vf"Wcl8 J$: 3/-rDhTYLO$H;::j6k֮FM)Be]mܚF0%Yԡgd4?!p7-\r U YRA>Ժs3 gMB X i=r@Ӭsa`7;BmWƼO TT#̶y}bLz^x_0mc8piv¨%JDLo,ËS*g9H}umqU[\e`a?{S9NJC!!:6!ᡗ~Shɱq͘_p}_:rM4.( rF|n@y4&܀>ѺaSr./ʈɋ4|Gp%_gS{(Ӟ LGvE;KϚrϕ<+Vgި7:QIPv'eJ9T$un&۬~23yw։CS\jC*[dK"n+3qЗ0bDoOE,&Ƞg!ZwIMȂU T eGSyP^>3.]*7-Ch *LN Wc)%C<=@Vf5RZ =l]mhk?f}zؿJ| w+HFm n]H w0FBl@Q4iEx)џ4Q%-]. ' > s',mz߱.5x{,+䒨ʳ6|bkz$  n;Rꍍ;g>+ܑ8MHa?2ζ778a(KR^O~#q_d40DꥲNNtX4Fr͡CZ(D#omS{|eиh!ɫ!7$F{*4YJ@k!$G7l|djρh7N, wUϊX "_&_WsBO ֢7_{<ًAO ârgQ/̍)ٱV=/b_*t !+Lil: e#0Z]iկP c8a 4="&?1O>tA9jՠ[מ:wtc<@@TB.i^yAWcǬ yRs6PeرE#5I(r\L@*2̫n#|wkuZXoDIBD}j:n NZ=.XGԽ{5{I ^â`%"p_x~!:ޣy_/p,2<휊řO,.E\Sճa0-|CPG,!z@ƅn3x1}qT*忹d@Tq׎r ?=x ' :6zZdE(AMC|ҷcjA 3W8kE~ī/W"$a41}UKcMI$d?+Dc+mTʓcȅHUoe*Rܲxo*ڠ?TvHpD%;I }1?8">_xK"qVm:+㮟ڧqT> bh eD>l%+EߐD3pr7>UXw:Fj߮z FQ(A$LC"tK6S)a-+?CR Nv m h7T?}n77mm v@2֯jYn}yOY! P~poU bX8 p`5hP6 9YvWex @}`L LJ+ֆoUePlMQRkO x(=;h$N}^ yƊ~T6KsǦң`mTQ8\q@T倎!ˣ݊R'x E4+W' MȌ@,_kUj2RMCf|۹vْ%4a26?*@kmqtL SKN sos2"F\Kِ#\UR+\Fc "rEvυϝ*\+O{LtbRl VY6=wTrxˊ_xSg(t/[g%ofP =vC+瀋 > d#i}F> Z3u}vr%QwG!J)LDjM=r! Iku8 \HvG,I % kZU^+c{+s4E `/'^]RaUUlPj{Gԣ? y,'ga@`,I[EX͚aXs"pnAN<Wsz¦Mk 3xMQ?[:}nɂPz'Na|sP^RڢmP Ԟ6NVGȬ-F ͨpO6%KxcyAOm}+!Nx.@a gTu6mM̝bODyYg20ݱ$fނJiJj2$ƹOj@n uHL-AJ`m?'l m GSagkqpoD^[A TurT/m!iJF;9y4fO[R:OhI>˿GX.$2eU KW[FP %KmERU03[I4T9L8w퉉]Cy[WiP"ه-SϠH`GzG:h-gK偧_vz6S!%h<{#.k'F+PAL(} sDc?<!͟n,en!]\tOȕ`K 2aW.êbn+m?aAy9UzSk\Oз ߪ=~T_ Fn}v&HFYX}th &>'2PGPT󧟨"w&6-B6mg0Hzc5eF gJuv8YN\%L׮maE T(hF!_7AUq3'K \6Iy[(r^C0M9_>XW/:ήNCKT$a 4d& O8dfڥ}dm`?N-Ϸ-=E-w.mˇ/LSܝ 5SWAÏ&`#R쯱,o>1R!" jy-/~ٻȧ$q#2X&]j5p=7{:uK" tĦ7 Rf}B 59m,Q%1 5m}Nr_d2՟|Xr\AO_"pJ\aޜxK&#L+!Gд_maĦ dX$s*j& 1V#D19<UG6ylCS`Gׅj%ĪeQTjbǗ5@2TAbLHH1mwp UeQqbk\_`Ym,&;ר6;ZW  l|8}eWM،P)}۬'"$b♸Lg[4pл&AN4#]:/(wbnGG\^?Rj԰ `o`Dyqh')w탷y/eNS~>QYu8&5-*ྐྵ͏žw>aisov h[vQiT:]I'ed~ wÚ!RЪ3MG\DE$E!zuxH^)JQLTA/fU_Jg!&x\|`z"7{<7a76d>faסJ)*u^̸m82Q䧞 *5D'zbK#Qۊx#T6Ԙ3 >8R\Հ?JǷ%kU!El[(Mdƀ}Wi?&p$[] U),Z&r%ufd˫Wzq;~'Y?6gyڪhj11\]bf-g/澎8󙱍%tDF7e~ ss>/̓0-"%gЯT %V ͡v&04G/č"'iaS:5'hS $T ${ff7Ynȧd6XvVDx˻]6ȁ,ZFJCH`sE| %WӾ}Pf %Sٿ[Z`Х[h@g%z0ڳ >U"#%@`';)"TrΕij*~t Bڣ)70*<>k*m<o822[Mz?btf@jjSwxK n)MثU<−LcaMO#QyNF!t\:v(&L>\7Qنc<@͔r&E$38n*6T[&{1~Ӑ$OV6xտ!LjEJcn-$9NB3S`f4+f>@'GZ<)pus6.Xdo6Pl(.um73t쫙ҽ4Ғln^U8>Ԝ00Ey.=Rk+Yw^潰Ew+WzPR0SR%WBʡUB${qxe)l@h#oqZkT@C -:zyZ>O8Sr& "M? Re0] w<iBW-1OexX_/bF}@O4 übdP]t@sgAXbnC`|5D}T@ W*5FXD~w,sy+%,LϦjXx} Zc1~&Q-B`hY-nw)pP?f Wٱ.5^OVkG@}yeQպ51`X>6a4ȑ ۏ,WӠj' 0y#Kކ? (:G}؀9u弖 k⵴C:#_A/6 ZaP1@B= zd${BӢ=("Ix^* cWHS0ǒ*{N>52mm`WbN>Qm\{sSK j ,oҵ*CF2FN(݉" h:y$!M`.=GͺԀ,{k<{33T0ޯ:[PB6+Uyժaq4zcNGR$-<9c>; yk24f<̵݇`O.SӍK:p Lqu;"{b!Ŝ?qslEip"v Uh >jnӝ tt-{urTfL=i11[j[pc`oQba;ϛՔ(is6\d7~\=gÿ! !1Qz}`,0LѴ"6:oV˅;]vX3S bt >o"{vLR 9̪ޠ&ų-p@!=n)ö낅')V$ _!̣41J/P]_Gh&Cu.zs(v8ghoP4Ÿ~ko78 ݺ;ZW=4ӌ|"@[˦QX^"%s4GC+=ҕuYL<1/0/jyhJ#puEL%eVL ' /VK<:yXp.Gڸ[ )Aݝ3 'ʌjq0~u'ZLX:THϪZ56=UڗPD^qPUT,f#W``$%U3s;.$~XPt EufM@2KPmp 3ỡU Sg /P#Sp9DxRJpޖ<1)ܚEeHuXËu;<@|hՕ¨てY!£]iwRӂϑy8,c,{{zyʲ}-{ ݖ)KTjbR{YJn!,|Jֻw2 ~1NF'`V8ս:-'ׅ ^*NX sS_,S\CذY\c1np:Oߤ4G HH9UWyƑwk1#<|ɱ V|KzEb`ӿG6ifmĈ!'L+WrꥯO?zpjg ٽC AB6(b"d"m dgp8m$9o՚$M{II]fT!狧\h?%lX?Na1U5&` ؉^y+QyطD:Kk\9̊V"fY얮t$d:C \HQO~8իZ;!sðew?Rs%VsKK!?t$ n ORKM)_r}aMZRjt Ph:̃^ê!ϲg7~M_ڴ"/—wŖ>Emԅgzɴh‚ id"XRk;L&4Jmu[o-bra6eQqiZE~Qz]LJd>ʜ΅ya׭@$+<DqloYV{0^;[r%[յ7$v'^Ûb́zIϩRjxaOIJI$ k#g(Łjؖ=x# 6V+| sɻvN6Lwh]IAC2B>J< HB䴇/ڥdc̡x 5f\%lB;LQ? 0A,iBpKO*C*WyX ⹁B;gcrW]ƗpCEX7ɣ SV a"@Ayk ~7ˊ D^f#H'|}TгB6=!\&W%oM {"#~"efʴ*QF(c/? lY|=WYB S1Y[gs> @PiS=v!ݫ9ndZ#dAX+.X&BlxGwY9*W'X*V=@N._C[R =Cfzxj7ğmkjN-ԩ/% bv8n0-b3| , ĝ+Je}nͰAs%M$|Af(h!{mo7_Ie6d$r=d$CjwEZ@1OKx. vUEv]K8+=s!g^+NA5hN7@zf4 R/\F+j,>` *+;Q}/ON5fxkiBIʎ#Yb"@wN%i}?H$O'HtW7tC#Dm K Tsl@9^kտ{hYC]zvo~sUJtjq'Prˬsω~QDܪ"N_ L_ب(vٴԙzdU\ǏpHhOdo]g.8GX4V=i0;b-loͼyꦼ,.B]-QtOb!=Zp4JܽH0DαgR>}DڸeZ<+ƞם=M3T}I(.l18o(;}J[)1UH `? Y<˃h14pv4Bm2o[|22A=3(R83ARkZlGY6ӓMd&C>,=(2$&8hG_0CY wbJw_khsV [Ӡ施T"HZU*4MOG㹩<GPX9}a@vN$Y52$:eH_ O:{㡑֥BOM4>cǻ2P^ h xz7>@@NeVt,f%= vX_T;8"(ill%)8570U/lI #֤pS.'8KתB7翘rշw!wwu7! f^? ?@I G`'#zV'(;o/;%+eBTY,J/ r |o3!ϱ=͂7N%I]qcJFc+G"ycَC5nRNsjM@ :j9n<E &D3t4&}3k߯row14jB!*K3`5\Pk_7dakAb'OnH'1P!ԄGP}8|cp>r'{&?5IߥQˊiHd)~! |_'r@ީ$ZْKZ{;:NXJ"5J]|:sO %RB5KW]6fFH(͠Sd7!3/aj:fULmdɶOQ_|4!N!%{YARZ9ԗkgYZ59b2e6b7bc3121992415b3df2543e0fffdc22b6fdb456e2182b198adfdec654a00d5bb35f7784ab2 b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6d771f641cb0675120c579a0a4f402fdeeb68fa15