SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 DD %L| S]HOL-Analysis:threads=6elapsed=313.233cpu=1344.260gc=82.860factor=4.297zXZִF! vF^]ŗXf1-q恈a.W^H&y~t4^KO"|K O:1,mgM1DҴ۠+^T )s}IF 85ׄHCPW!Sެ?D`7iЎT,Fcتs`/e(GTK+ Tiw])d2qH4v%y=AM|!7zҡ>Y) 큩4 kER67_|DX$U3 m3fz%Œ6ƻH@FkK;Hug` \H͊ҎOτax"eEBf_f^j Gz!!Hʧʙ2X{mx+-^ syZ\"*/C?]_pF ľJ"= HM)Mu f碚wiղZ#`Fu6Pb1ue{3$q7J>ɞGklbJeC~ZtMndSVRIU@w^l qr(jU䉺HtY+xƐl$ l-8kһ=92z:8,$h[қ18 RQVnt"0K{w78n_--Н!v'k$󎑺|=Q_ F/'ދ\wNn6RszeŽTk@vsTө#ukg+9acu".Fs\XJ1vq0;Fm]$hL8/]Ar_,T;ZcUR/0SP-.QCBV?`>z[L|pZAe` X[S0"{SޖFōaZ2% Rr3U?6){E]0R'=gGII!$Ӹ0]_b,J˿7n:Jfg%HGD"h<^_(4Β286= u>SPExSLĩ,L|}4h:u٘"` $kI`IxF= %yTt7SjK gmL] EY%XJfm(߾K/l|0!3H ZMDl+#ye|ϡrp7ůE"[M9 8quV)be< 켥TTEW4=Rg6* S$1=" nb/D> .g%w.~;xۥƸyU-}8uZqhFS'cПIuÑOoR $"P/=meli!aRxRJ*|M;n+;.{9j8R#!+݃A#_IsXu<&MD RpKRTVW7k|x1>9)SȦ c3.L C$&b`c;rķk 7ZII">)%ѡ+K-4w Sy|w~P62\[y6|trw,Xz?8\ OaXf\{JB3]Zщ}.C7Xк l"T%kj&RL щ4͎Y\Mx[2B[]`l3N}B^nRjhJ~R PW?~= {=aq'Et$PB 2\46"b$O g5pdU1mxLcI۽Iڛsޏ$HE"&j g <%TIU^%{N*> l)w+z…f 5 c޾|s-Ad&[$jPy~>'SZT0ACccڀ`HThh"ȧa~ഄUFa^J3zBi_̴ p#;ÿwR??bD{?mGf<+vdm^A ɥȨ䅃r.ݰH;0L'ڠ!F/@[N&ͦF֨i=Zhkxk8f٫ȦEњ'!uF+Eֵ2|0M` `zBnifȒKt8@! ?OS֤ryΠD< " &U*ݫpDL@dyF?E0 æG4G%/+v, EܜI m~M!^,ׅ^awH@o1FN9~A+*w]0,2<{-}luC6ۖxa7'!ɾ?)eC~Y4G,3P4;l` ݰ-~GO i.{/BK 4EJ)QTj"K|h"鮝+}c@PJɩzpr>^z[q"*|{+H̿kCwj\s % HOL-Analysis<?K6%rCw^i>?1 -Yg:h6 Gܲ pF ڰh;)3_:`%SI%<8+Ao9 2zzb"Tq'g o*hNs&y*#(R0\7z/ bWO;C(1~ƞ`Òo'`#z!':O<' ^dp=cWK;b~`s# ,x%kJECj!Ed6PdhR3]+aJgkȖdp+ =Ҙfc}&/]ZOKW c@r<]"tg5>VT #CW ϱ\n<7RJ/bC׮>>\;w3 dI,S-/~q 4m0+g=Fꯠ[ TV2H5Ԛ bk^8]gPA[ [< @ID=1m ҦĄ\ê9gӰ K]|ͅP\d+=-N R]b+ËKqc Z^ a 9`~M0%!ψcH$Č azM19 r64ކW3hyx@nD0uCk?>52wM-=BIs:-+$ RE̝HhX^pmUmGxO6@ܢ=[SL=0r~`VΧinWvF.p9PiT*.|,7 ^цemc@є& p_ fʩQ~̸ɫ긎a$ 7H)pQmR$4cK ] {O~c#19| n^6dYSF<}TOWcEY{`[%R=14^!Y`IlPHO,+""H0nCzr~kо㻱f+>Z]_P'p`Vi+e}1t *Wy_ C27E8aXJhéN&] yOyAj_  Oo V%|EeX'u3l3=}*7vNg('~ș9}X!=^CHgu-7uLDUkD,']O3TO՗(H 8 "AA/_x'16BED IgXs}izЊwsR,okrv߈^K.JUYWfu!].mդ::VzB.P3`>ǖ3)=X'%_α )1G+VGu0fPȣGIpLcKjw#pa0`dHCs>'ϾZC\ti3\ 8fWNYpeTY:T0`LOPM! ~Gv&f1Qz򝍀ķ\lވǔÐX\Οįl ^UZϺb;&8VX sq0 .umŐ23c2rš_'&}sqQLhWUV=ry/UQ|D71o)2X$k^t5 QLKTzAwev53*Y̑3k-N`W+'WX F!ӀtZ]-'i}wQ%W \/Z3iA1B;S$/D?m;* mNxɝ]цH]Òkapo)+DK&Ȕf[Y1u:g)D6ծ!/yُ;؃a0}$iI7*~.3 J.ZҘ7uckG@r^o WOe,Ur +f< 9̕EuS Q2{#҆t,2ss Kֵ`\1.-e0KWXL; ݅E:GGb@@DnVTY,_0`*D@ЩA~ɽ?o40NK̕\aEpdiе׊xjkdԀQL+;7F`j%dD`gW9zW3",ȎYí{d=3t'Ptrf>`d؁CJ x?[EVLk89wT ժS[U#{+G3F8'ѰB!ΆB66RQ\pWIwu4]4^ˌ:c6yGl1ur@D1Vx*[o,n 01LʔHrp{Z}"U|4SuP( ˩m30 cJ,jD"wהY 젔VƯr˧7:6|L@>J2"f{nQFI@UCoOPjK3-Ũ'-Xz~̓&LoOt$="ѧ7CYe=.1%᳽8w5bh{cZVrUƒE>c 30Ѷr Zb*Z8eZi0/ )p-m)5# ahWIתر͍x~Պr}:ᤒP) "k3ш&xqPuBޗu1)ᒀOFrJTd]QbĨ.;0*'UR gt c0߹UI9GzgW'b*#n+c7~WMZt&U\s%o40CMrX _8UY+V@M;\g(.V1tM@=+ˑD`FOx!{1WSX%r\5Gh*քK WPV^$wí;?/J>Ivں._CMI(Vɚ3L Yb=gu^ɪfn, 'ÿU:22Q/p t@A|A}9u8è?(_0ON@-~$d}΁<ꓐ07lXmdUHqNP:lDe2ǯn'DN5u{ߘџ>YjN4&T^sJi㘀o[gobWu χִ>Vx<ߦR9>/'$ }hbD˸;gnЩy-ǣ:ò@%> xzki-D65'e[)ÔXyFx?D+<6df1*n4Jhly/-,y08)ӂdPܨq|唁2$?pSWDTaL`BzE%fQRAxں {vs%&s#|e 3|V+epCO]lyH3x = ^M3fr6?2i*_[8xVTt1X¸բfc7UF4a>@ƀۚja{:Ü8ܹI;:Sбe$"Z~ %٬N-=ǂyBP'QdPz/${+D`2[I=̯bgq}Y$G]#5[v^EZ>+o* Gh3ALe2 {XTEƩN??r`њdHhT I2W/nf.R{[P ^1f0?F>#iWHEEe,{=ɌEd<MQy>(H՗XEݺL޼rk RWst 2]M[R*-dic.g[3c}9A5'he_뭽})Hu=p?g.e3MoUDj"ηoj:%w\KFWᵺx#9ê Sg԰d ͓oCu֌Qncpt9z h=4/XN@@G8-\+/ ?TRH+d#3QRª(S6~)qp¾|đCA]{FԌ^0`ʕk uqhM|*wRrX!<ɧQn` }ٍfN)@ev} Wjs';I 3iOF֞: 2p:co[$D0v˸=2\?qX6;|3[Э߂ 1bRw?kʚ_CTv7o\F:cެ]?-xf ^:WY?%eWW3{a;o߂!=lAI]*Z\NM? }~%ˆiBڐ zQ >v=DeHu6!xN4(9 TTXR"ш? /E~Q`ǩYlIT:(-tp3H쮀5ˮhO%y6,_ڨo_,ʐ-7HY'/A^ageKo-|e9edO/6h ΂k37퇌LTv=^orm3,sL _OA.ߞ-- MxU @%yArYg40к&ub!A}I%4 X'9H\1jGWd&RȐF." K NNSO@~<5AJizij`5C4I+ "iUN|tZ ^E̛i;z"!;|nH,s+fzehnS"Z&:(ݯ3M2c/X0r%s!iy'@%ndBt Pe%wvjTu3Fګ% đr>~BpOї tYlS¥iHE7qRl([@x2p1!.HNA'ygZ y$ASAU=eV;N"~X!ԍof +Ct Bf'Af[64zG_qPsH z0.4ma+d?xfDuu?*ۖr =7<1$Nb{w Xz|*WBK̗f8MFj9({[z('%edzGYeEivA^`yF[=,/-zwtz@ *4ceOHƛFM<4giU֯闻l@jYz49E=~)]Ln: 9?dq쪢THl($W NJDg~g2.8 [Cc]섏SBwrqsXZ"TYY/lW ꭢOq3ycRh@ X|f,ܕLII}e Pl 햤7Bi?iB4yz] 'FQ'%M%mY7)AjKt* GGqn M%YO\b;`#zꘪlS+z$pf>)t,A~aaTܱbB{畿6nTȨѧϏLbcq Ia̝) b,oW&꜠o\zxTE̜zL% {m_m8SŚ=ごOֳ^nq)UR5@QNlT~:/1ւ8pX>TK'ON=k0cL*8bXD u(3vp Ɔ{)(g羬7 xKZ5Ia]ԀT#5w;S>wi7SrYѕ<{hp"xhE,uڂB߀7qM.Y  ]B,1Yo Dzvp8kDžg:_o3wI&OyZehҏ`f RLfx$l5kr(z*f!3r6T#7L`Kc,łg- geq>χTƋ "վUv-[> &BIsF$,4g#V|m)J &~@7kX4:rB[V8W ^5}7gZC|HOe[>0Q-,0©?QO!q\(O5@p3׃ 1n\+LSuř^N9rgZI,$^ki<8/KN17hGbO n<<}ŊF[0CR ]ObTℊj\ӇL[[[N'蕌ް\*0FޱPȒJ6Aze Km41ӤO<^ U7j[??|ӃЬsH^1,l6tnp,=";'[x`J 4woiYu=gu%)VM 1P1rř` aqjU$?6Ԕd=Sl8*i9†N<*!Ӣ=_# cVYY~ Jm@sM%-Ȭ9J{Z1%bbۏ~q$]ț7uY7.aoBHDKqȞB2sziƾ&xwt粊C:,˙aWFFy%0P2UHe DSШ@\I0?DHn#P'L~!R n.8 łϻY O>W"(9혔sHM/±Z@PN)4:& ?GkrBJVp?#p4z#w`Fnr|6kܲ9f9$\N,o5,\AHǼD`rӪZ/,cO|p#rޝ}ھ.x ?p&e8B8hYIsxkDT"TNY?w-Ԫm8F?EV Oֆ8q._X1'oiv4dj&u"i$ $ѷ(!teyl喚pjV%lꅊ~q"r]C)ȸ{2w(T+/lhҊT#RJD@ أQAZ&9Tf ;& qQ0 Wdn2H TͫsfwU@,}E!i2Ӗ2xY\6* Brb_C9?C>`U74 K7/lg'؏nQdh"D[Bo10kY DaKJ%dۄFO?i ’n;7,thhj͂}:!kV]͂l\c?skۂ}@͙ (HR4//Uhrݾx{'΅WB1)Xvz6.rK 6`9ZyXV:w>2zY50O`.*r Qk5=],pt{"`[c b>]%#D]lKgr`oޛ̋(oN1ol'%c WbPC85}A%isE2Z.je(U@hXFJ+޿|h]d\`IV)Ɂ -\-\㹾`"#NR jN ZC~ʐbr/g6~N0,Ñ=SFO*!c=C0x:a|Tq[g$4REGj8!)YCYQP E;+ zK!ѱ&+Pif_ .L _ocE”5 YnOcEz&_Sbt #qQң;%ޫ)J'qNee0&-y0^*+OX*f%r 47.M@C%IL%w̉<.UY:,Cxj z\xU].q=8b+!Ħ38eZFDsPf8YZ%X;#-nvµ)?{z, `T2R]!xXӰ9ѿ1 OL m׫P|Iq+1Ak3{G s}l|b2ho=ѣN,!nEʩQƣ12_R KαgYZ7zXZִF! I[]ŗXi%6׏8#<\%W!;n̟XRBl@n$YcH]cERNĐ+v1xtcǸNa~ND&{2},3|%9@z0ZdN,%5>^G)Ci+WX:(1!>>k*l2yee8qp'!L{@x?<]6! "U.B鿦¬`?{4!~[3i1R͗9-5ӥ!UX o <}p)\DQ:Y2kX*8 ~(; @B'@3kK̤~qXPշcdY y>@vm o1aR3IN;|/0 RxRJ̖lRFa01ԂUVСs~yμ p7Fԭ'p^EdzU  ρc|6n<9PQ+OY~ǩXDьEBVenO܂5^cn,]5Dg~M6@#9ct8Q6ʢ>c([i8nEj,΁+.)— LW\#YB]9sQ%()@UƿEDu=Cu~~x2"/fm='CS$G;0z23g_`HEi-}%]>< AH'FFCdK7ո@{\>jXg2޸ՠX[nGΖkHDe n~¸Pæ꧙=*^fjFK+ TrN~%ClVԍk8fxlFN8@Үq @o1?8U-n5^]9]]Wӕ:^~E.BS5i,;Q+m `~1aJDhwQZSiWTЊ;5@lʸc{o!> w{oӓ jwaj݃)\<_܆Sx70%pJ4evc{I50P[4V0齴"\3g/bEj~x/i"<@ᄹ cge8PUT8JlٌXU* 0jR6"a*q0&WMӛZvM˷cY(arK,Ck#W=-03vz0W:۶qX@fb1nsL f-Tq?'[.'}[< !ydMs^8h@M(`ZWY1eד-,fe5 R` 96M1=O0EXfޝhڋ>rlT]ZB):OhPE*9HZj:R:V9aeDe ~E MgcDfoDi 3 8} yfn>G/ thj؀i,#y*vUU&UXiPA2XЦϔn7 =A:a7gh- );e70 U}z{1xo׬{ yO.DcW[n 'Wv?z 1=٢C_0wa} ٔ$$qQ-d3 l~nQ_B.&4}p  oFA/|HdkGR&!y,dJbP"ii6{K;*"]Pps!h%yԑu]Eшpw#%!QAH=S)U'Ο5khXMkͲqK"J㞆 Ww1J 'ubtF󌦻5)̙s$Cr/BϻU#?C)φ C)pZ􄌽դݗԭ֫7/2۴;:Ax ސ,Eʓ9H H#ѱF`F= gpjg7|H< ,a/8Ec"775xfrK~5߲<9tXsǍA#X [aB#lfcjXYծK1hj{K4v3E<8rR0['LFx|QrB$QOH ź: C]n47K8Me*&D)oKRj9v ,맪5zuD*=tTG c 24S0p]1UWʅQ| ”vlu5ߴImЂ̺w2B9RmNLI,Wxԛ1$ayN.Ѐ gqكN<%<{8AI¿U;[!WH:Y((K(s:r_eso+9gtG `÷1SJD5كD>~9p%ƨqIRkZ)365K, (f_ 7h s&q[Du1sfGgꨑ靐KRZرTVfʢtz4IKOTWR<,7.Ym8٠c#ICj8@0*f^ :}dMNY  }b5jPZH OeYw?G1P&A7q%6k=4p֭bnLۥ1-߾Gޓ.[l`Ӱ sy@҂YJ:>1|7vۀN3;Hxu6S'm$l_ݞO+CBLmRf/[X~]=+sWs RN\ǬtT~ a 2F9T;Ԙ5,-S7P)~oVjW!J.K\p,PoV8ܬR fžh=WB p1t~jZR}Q7OŹeCi9 YSvj=!:'CϺA/xԆ(f٘CG{wj!Kvlox)KaS%LXH㔯0bHDx!C< k\#[ȓyXMWrbU5 a|-LxzyEn!AY^f>sՓPGn#l;1 Xv=[&@YhXPI]$˚_ <:)9+`mK52lHPT,gvAN(+/=_ )U + ;|JttmP K]2C૤ȿ٧nu ׄEiRp|*3Ъvfo५LqFۊqޜlڦh5_90?m P΋w*/{i}q#ZLj7S*-_S:ޗ:gr#3aKkKLRGY?1 `s(I,Ζ;6 d! &Wi$P+uYCi|e"\ɸ3po^h"%p P>M:H%-2n#:L/-NՎe2VGɦH૞Я@ {nM*,EӮ)Y =@kCcԤa}^{iˏ^br6>r#y NL}9m(eN(%9/ϔk-Ǵx$2ICe);rV6.rجIL %[5Ms?O="F!^,§Xԅ > ?aèBÞk͕twub!/DzJ[qG0d7YSGeGb7V 3܍H->f^C Sz`/פk+7[_Zq@CnOK nM ^-XzuO痡7^XI Zi85qՉsK{q 'PfG15ƟF@EB7%? Ъ,ş{ 78 s{CЌD6Q`Wg ($J@>]VE/2Gz8T-U1^9|wR@3kMA܋U! }2Җi>0MXGJ/N-~>E8uF|gҚx>է30:, ES(0̟+o/e@}Gƫ}^dR%"PLb@eK8de_-wb%"j~/BupقfkS/vRGY}kA'3A8EL iU[/DN5NgH3K oIYuzե'9c0dJDf1X*Řp Qo. ˪z~-7lpK^섔+IT$U8NdxIٚ&d+Ep5\.#L/N*NKb E\  .~tb3|[մ%^@[pj+蕁c4%ﶨ| (Z&% 6mu8.tw=|::0%d f&|bΑ5 NIUp}FW#z`}N4O<-f/beIzKo+{\%{c093'!Ժ8$[N3UKx4w7f'͛ jW}@&6 XFd9N'l,9'jHAῘ6:8j[D X%bfKln-R>-B[C vQyD 腚mY4Hi;M$NrO R@YpW84ާXҌ/Zɿ9 n. B)_~DۆF2ǁ@sd]׀>gonCZFꛣ ً^ EIEWX S6!?A(Ɯ2~-T}VܣYQNcM""Yܡsk2y{p>uSl*„w èu渲Cy2RFNCKwR ?T PvO?dzjj{M_0F Үؘc*h6ܢѽ0( $O뢪(b%#qq(5Kk`ngX&n\Q!.9.4Oh6b_md8`]6lZv%m9ЎpD}LWO.$8yL%t{`BZlǗ#56Jxbg&$\]j[q1o<lfk jO`YG& *3yqV~Om-\9,@czP凥>zdpItwd{fayM1j(8쏗yXq=)M{ᆕ isՀaeE'x6N:zƜ!+bisۨ[/^M6K5~^ݻ3Tc$w[%̇*ߐ]$R%GLݱqQT:y 'iHwvIy0™(̜DiAJG3au#XhUuPݭ:/isC`\lM8@"V e>@*hXd*=",`NG8Qu Oyl(i RnH8p삉 LG1HSN6?즎3S- $#"܅{,A|dEJZ+RR <&7jy@MR]w1uldc;fIw6]hZBy}q2F09 ?OA" @A5@ǖnZYR}K氧^Z![RRDV"Ǚh}1>(doE (JMl|zgrO$J|p 7\1&BVoWYՋ'wB28\렪.lEDk_n~&-k*6" [> Mi=g5#@\S KuҰ1ܼQg}N-ÀF#A~1X˲86O fGd0eA4|ӳ<0Qor5y-JCNEZ}+u 饿&_Bhc1atVH>w^P|tYEp;vL)1 x7c[+} ħp#ձ=3b|m}n6nش r/:|]-P QM&J=o-4fduNj/gj#G1k.nJ%BZb0R` rw'~ -Å]Tkߞ{ۿlr 2b`y! n! k]khTaE x5.6ë<%:T] [ڒ{wCvb>XпTZ [vex-J+?L๽ϵ4l_ &JnK1zdpnZq<Xo C,Ql2Tϛd"ݑ %vt3VLmqp.(]& ¤ulb"'^,qD+S֐`뮿towE6V<4:|sl1w %_`Mk?P`~G?-3'@BBt!~l_LEu*)Qmo Bgy`]~N64cƌqŁ![:*By"&Ƞæ.h;AozS9E c[ywкك[dg;VJA/I%yA}KfΫϓp0$BWNi~JcJºfb\LCEsg?ㆠ=nw&GSF|"qYŲdqߤr/_7߃vzE(ģAsђ]Y *1/ĵ49SIزd`. K`ssNO+ѻ p`;4˓د$ٍg!@?0<P@!F òvi _J iyϑ$۫CYsWq‚Z`LnGiX=*]QB^Җ R3^k3KĻfy㖕:f}w,=pxc\+Rl:Ff7*oÖ /4OP6Vu*OsUZVnoL_{ꡌ&i^7$"- !N'[T{r\i(3_:uypwBԤp>1l7_Xr>4n'o/eD`hi*ݖNLA^TR)c'jZ 79pיP.I}c~u~0]z!֮ P ';DuG<#U&d@a &rֹu1U4&Q+Ѵv/!WQb nd4]8}ɃEZujwi%쌶;ݯ¢RͷIe8]֋6<=}ccKͥ'R]wܞ󴗕鄶§`X+=&{ItvM'Zy!r"J$ƚQ4Tgjw1]W{߀iKߚs.qUϿHӾkk1\J,9GS 3ښ.GƬjYOK:[L-Ȓ`vAV"aSNR.@9e oFH'|RQDA6(fS1zW,yx==OQArH qz9%2ri=N0 +SO05Ra^ D3Xiih u;(T̈́ȯ&ׁpC懔:Z5Z^\$"\^ʖiŷ}$0_Mv*{@_rNSTK+Rau^ƫ2nkZ,cNKߠ6щ8P,&']<U~?PZcmOq/|X sh:؅AMrN>èޱ$L]}Š6mmzF` K/ \f c˺}V]i'Q_bKZ}F nP&&OȊ?F 蟊dL(ɿ9i.Mc ># (3+sMՒ>nJ,+{mKa\R퓦8F~˖f ͇wxP@ﲾ){@:M1}ە ]'{N|@ZL ByܺΨ?[彯YKiHyoi=>YɐR0h/MXyP/)|!4^͖$o:26K cƥ B{Hn*hL~."g]Mnx#tԙ[!'_*dg3$SR$AxF51%3mq aAQM #ܻ!l^&z1S,Ľ$r:J`8@e9jjFʎ5k $Ӹ/0i0+ӘbH%@8֣3-#n",ÖbjaQ<*k5+x(gb\BAs+K|M%(g}:*ٞDzvi|f+-7+%8D*16&_07"ʺ޷@@X$O%PNA[RUo5֝UtۨP,eعå 0-@~KY튕];跫ԗEwY;F>fuuauSyUFt mCJo?ÖHV[o{ޅi$bJ"'279b01ù_q|m/5o }/$~cQK0 ñrBfy^G'E;l*08Q|d[(DfE\$/Ԙ=r`s \7S9r5A%oÈ68K/?0yc'grU)!`FYNNr˯Ge'8c b]E.HOB+;("Xod.R< K+L6B.N] ר◊}j/sDCijfq?e(,|o1qv+38 QEnOWq Pru4TW1tE%;i,o-Pjg*wG6 ʠToQL[="Ky; $#7YcouSpO0 $EYu:0 02IBrQ_~/  BcKq`cQ2NxM|D6O}mk vgd3&+^.+풢@+ܱ\̔$V?,:pNW_dPuȰ@A0Ӻg7eubch @]IQ1&-0Ĭ{k9[Rmw\Bԓ%5Asm-!El 8{KDAGMDOnKGpB)vVq8v:ѥH1{'SL# 9! I!װN"*@niK4isH|XBW=nşb㨀8ɃE<¯;]cdOG(/Ơ7>~d m셧A0[柪Ii~q96GqZ|,!a>5ơ@l< 4}; tzu)} LxB$mqյA8FzWV_\^3~af-4H@BCgQpY#N4<&  o+[86?3J| ¹X S:v2bϊpBjStaŎ*Z4 '߬z?](A#8ƀˉA4KŲY˅t#lYd@j6lb=/N>E0WܧkA##_-fhQt:/esج;oc㷔Y1? W 5 `Ԯ<%!p<47m 0铠/T-# H!`o5o1oMN2py0ML$AV @e h:gDY-a:琇:ZX\3&Zf7|HcL:ȜOH0\DE%2 r8I3-7&gqc&v_lWdx%x7sA(~e gr{װ;fiS@%mxN >[ٷ0.Gxe[9<#B< L쒌SEP!pmW73/,낏:djN.TeM`4u֎ «ޡd]K[1@pM/5mzSCu4jm~&\b\1܃p:8T (/Դcg_ '߭c5"Yr3]nWab-":K/pd\UWJL3 Z 7Α7+0ueYGECh-~AFkcezcPR7ѥE#O~aTnk=b0{;N 9z ¹MHNư^ePi'CXQM{ۨP$׍i sq TQfMŐ#2uaL~PDrFׇ !ߦ~V <ϥE?dcO(?u٫Coݾa ێA;lg:{ a]ޕI[|_Ka\RM$ɩWmPArIVau4N?7hRna;Æ\ 2DSs*U uqNW5>JF\C4T-aadA'˃*_MH(5O5FN`QsvڭH\C:l p>n]6%Ve﬌^~gCÅN+޵P K{Gr~@5}ۏ;K]B&x)H&.M®hk fHF$Dt@.e Hz$O~YgoN[-Hy3y\apx ݼ~YF:<&_QdDV܆q7γ EV`tŴ= ā?K\]kA#6@s9Ϝ[07_CV?$!Uc{kEz KSvfih"7r.y^ p-S"K_r (lR 6A?H6㱃xox;1ˢft )p 6[0D}Ӕ1_dR3+Jw(L)x6iE6UdA#ү t!&//=*7@HȊT?fsEx-T6 ~yYpg$lft݋*2G5I)|\:@|CtKN/.eTc=NGYf"SڎayA (pu=[Ep.ZaX~Y'?p\IY z$8[[X#knF-Lo.C@Z4BX+I^04*go9a\63;7n^pP JyOءcMy`jaNE$ #kSA.rlDH&>ڤ:o<J|j#28dһWѽfZ7=[z  =IWPkxi\'pUĴ1Ge UKdkf焙zwQg*Bƌ2.9AfV0ؖQJ =.ݦ jz@|A09r~C5'^^[7UeSYVѺx:;3KT-ՙP]S@ ^%>Gsy[%{A\ G )9viSnmij ^G"|`J1G hYpRܰ$[[S$HJ=w}`rqZH'hpyT:Aj$tb Rp(3 SG az(uòlU5Dʄ~rU M&kz}e{-v:xТ5xMUfĆug K=:$]lu=gMl5KLz_|,*1ڢ?ߵYQ獾e5lm;, O[9R H4*rR/4Ӣp'F쏓Ym5jznpfe<,f}x"V5JT-M/xV1ؽr@,j5EQ 7b32h\C1{9-%:vԋW).cmY&r;92|-{x4X\dݣ[T^01JtU{ri/"Nef}CT¿1rHQJHlc *ߤTzw>u13.=zOo(̿t`!vqN|3DD}a9"L 9)7 eL\C .qI-P| Φ'awXe|&}J:'`+ JV!ٮS:yiUc? 4gd}<~ Ug20q@p:K&0+c[Ygtދ,%x$1G`HU@Ҧ˕Hڢ}3z6jh0WplIQ/AӾbYNsHrwwQߙX 'E<]:Lp8#p$sUQB!vHU릧%RxM ,Q'D6/ b 5FcC‘O=<ō ] dž7AI,H(z3GA6mf?KLcIVf2v,n keQ_2Nqʐ.:`(Q>,ŵ-jdBXh(Оb:RNP@ ߻+IjZٳ/7НlG FDM6MUY:eA!kpϧCP9 J?=~o"kXjJ1Xev1$AV ΂ &Q #"v2>"ncaSn w[u@}&̅hL9a!g;?S$ڸtW\mD%rII~!;h|mH/'-amfَ10Zz+!2?}*f3[ 3S[5(c**wB ^<}%bٟ8c7(΍GgA ,J1{) Ir|ώGe7VxuW)$~.Pl> .fwoDg9!N1QŒ^淠M' &Ѐ~dh44->,2G|v#m+|#GIP5k.S:c>b=`KhэbAu.60VОV AtYu2Vh\u6 y V$i8iW8=-vU ,4my",|WaZlH ~~]ʏX~nQm[;(z&P~^{1nI-3Cn0GD0yʫQD~X1pWZUS^m doD SEMޟg!y0*GLE +e˜{kj5}ܗEY&==4{ |1L'qϵE gĝd&@n}ef1eAnGgi(}:p ^RP.HeΌD|oq \臂`L@ GFJUx) Hlu;x$|/d̃T>E"ߴd]]nx'qGڔDrETs#iMwvr3oxȹFYBsϴ(HLz h)a%iyWSZQgЊI\m qgRaJkNO%F*H^S9rϽN1ᆪ`Yd$k 2'` z1~dZnt1Ԇ\I4k[˷"xN 9;ERGg LIY)cP$Ⱥfd8LYbP .N$i=h̃PʻOv ,]r;+B!& 0cz- 9zB=kϑ08髬 &M CsQbULX=<.gꔻq%Da[yWcM2P?4b8<FN:͍, %vL(㜨yJz8DdH7V{)qWXVŰ{poqH$:+T_lZDlԵn2 ilJ7޿WzhM૞BǻNnSO_W#T2/AoYP->