SQLite format 3@  .;  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 ppp1~$d\ ]% HOL-Decision_Procs:threads=6elapsed=225.283cpu=1087.372gc=123.7367zXZִF! 0K]ŗXiɟ{=1W5ovAyht=3a@&VPC: d&JI^bw/\ ԺsD[-Z>e; y!s1M&{m"WCrՈ1s$U,QcC^s}ԋG eUesH)M0! uo̗Urugb,KTv~V#¡YKDu ͯU B,ؘL6IڗWw@DeOy#̲,o(eQʙK:4+3 v]Gd<ω/4(:gj_:=DSe_7E5Xx@/&?4#.AaKҴzp4չft8rL:8>f(utm fMK w\Ohڐ汏)aql$qjR- fh <u ֑n$ޔDg ڦ=%ѩ1aM܄ AO[K?Jij[Lx+B !9-0y5KM4s 39KCCߠڏL4?~_:3l,]\\ @T m *з{rFqV3Z/2KpИ H,oII /%>G:WFhXAuXb'su[|&HaAbݡzxZCde-{䙙Bb,ܛ0 M7rp2W̢'-U0yO޻PO l3И74~"j.ZP-O|&W.N@ek֤mر]Z%Oj3mΦkԞ,hQQRA!G*%zVe\Ͻmyc+XR:#NxdpFŁD0mibN&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 (^g#Ӯ]C2v%iga4Poirk0#2֙ !-Hܴ'JՖpp$Ci{Д;uװn0s%aYvqRw}a[evSjagoB~ 1![wᑊ"%t\$]Edb0.s},n?ǓY'5?U \J{}Xؾm[~ 8q22&T`ߓJ/%qx- t?/*-DѴw+'"ޑWrm"&]Cߘ@#ˎmIճ N0koI9c2&!0 3Re3%է_1Ǘfsm8H|qc Ct|OEPѠi9Vrɒl.ZϦ*qטt_,c(11Qw|l %YÉG;\7-aL!cZ_2m)A0ܼ;18!aݑɨ"R7<Čci.5{P.G~t!.jrZ]͕_Z ]tl7mUM8Ǩ-|`HtPx2ێz4AMrFB,OJ߽A}h\5U!a>ł D/Oүln)`dNY!1wHأ*Am%JQI#F5݈6Uw5=&aFq5-=3JvB 8SѬ}# ,@44T)@rHlihm@DR^trƏg1>S'z 鱸1 jW_SO!PM fkU˝_(y"./]-^d)K/cr͈F>L9lbQWSފi./)'s ,Q3[j;%1h0k_mod!q{KKꂸ5up+I?Xԋ"E#41l")ZLb|ٳp5wɮO_E X͟B^HME,ZM+QEFq~~to2W[6htvd-S+MNȼ3wj$d#~Қ*iNz&h5A'OؘT?g$j56hJ[CBe]3 TT]3miC NV_3e<50C *`$'+^$Dw} T4x~)lET>!j *dę;Nl[N_}5EyQ l(I8Ѣ0lӿuR{4|Gsy^FeD'TLdxdP惺S(:a/9ȥOTX ʁ'_A<BT`C򇓹\?} U$>ȅ{Y<}aa:h8Bo}9/n#9gTEmliPJ n0g) Кq(iގ_{8;$4)'rOcN0ئu|i^Dt7 ҥSmzAO?~;U3yX'3xcX̱ۿ߷M)P'S8q]j/Aݠ|IfuH2 9n}h?:(:&"9Jung\oPOx]G5&7O߷s(KN[B<I+k(|I&ÌVLaNF/q.*#2|B 44M@z\mu6 +LOZS;}'k ˭CuVPNX1i}ċJ3ЖBH -:TvvbPh:ly bR!ӊ¼D YqBK{\d9;ka0TT3?8seDKו4$<#X)Zvx%P)iDl^B掊cVB@Bx䰙DȏkH38i$UC,O* L[tD!c4l<dY|O4k]xU9g-6j4[x(\x7Ю}iZR2.J~{ع1IHt sv!EN|P ,, A-K]sb! %?Ϩ4uj{LOkN>ON>`o UOias9?3TEh$h^NNS?b^o"R6FbY:QLJ~D |5Tin3 6S4pT$6,۪|,&ftPr. pqlviϸ.*e7\~٘]u0lF إxpPZdQlcH>/iϊҗl=ZvLr}ɉ<]Zi96\cIJ3S6ku 3[y7g~ĪI^%׉{*mj*лR14ū#M^fl5\Lkᨦ~y7:8ge"H2J+:GX!^dc}9[ :7ST䴶">/Ay7KdbddibSYC ^OP#4!mA/A<a>6.OuP-GeÃ7X&b%V̏gc: ?U]v I(f^8TKk@5oYK ȉ~ [KPE{m{6"U2>2fV%΢7ll}.y" N]j.O*!Z#t6Z(\qA:TVα2\)j%8 , nڡa8a= /'N.H1W{HTJApsLT֒fQd? `ʼv`} ^3@i=v=D0MngYZ7zXZִF! [)]ŗXiɟ17L? KxlWP8SաM~>fٺd8chwnh*ZmGteZ/R"@f qAW#UC7NA[s &}4R@u7 q4E^T>r2'#{I {@۫6Qwp3o@Uiy`Ϗ # "~r{ # & {QĹ!č oɡ)mo dr@L#Q,BE׃إ%ɒDDsW o9 FF*@J^;^&NcZHJ|@H0wsV$T;[0nۛaLW@s xWJY;n~1ޟb[Ĥjj) ݥ4ɳ&G^Yrs=,m?^nO՛y֌C';%9a{3%}r 0 08UX΅K  RFG1gYZ7zXZִF! 6TK]ŗXi%L(hDc%]q$>#[?-G#alYbeо:QsNjd$;-([k?jpf+  f~إ9kf 滒MY-f77qu@VOqEru y"1вC0Q~*Bfa%̕iD=.X*ʲiP >}+f+*Y1.0I+xMW 4Yz| K$^L*OK62>DmŖ,LuؑKzh56YI^2t7- r/ &QCٟ7`ՙoh^v&C?@j p0~#0^u:ؔ+8&^)aa͜Yw"rd؎JKtXM%m4V^AƮ*y-$)fc>R5?pcFoߏr4$MptP=WX# *p')5hBmu&VBm@,wCA$/c~}RTIJofqz^TpiȽFңM)nn(SXdpćPeM~ăzO]~*M/;#p΢Ez8 o_@rP&lO~795aNmOw*NrQT՞5`$yP4$3tQ齲j{sm;>FS /2QS>?gY)6΀֫^@o]|EWLQ: ɣ~)O9!]2yQ'K,~}Q(6Pp-|YEZ4&"q4N3ozY9%fݡvrS Ы%(eWKGSz.:Xw;pvE>)=we/TKyl =<# qn#V=2teE iBNg7v\'Q+'C3yAH#g?neUʴ)aWpY»{sCx\LM8&8t#p&=x֬*+31SlfSbmO HÊ#Xg450LcV|T+u.d(MpHphm&SyZѦ ۚ+<`' v>SF?Pzɴ_%yn+[BH59:=v7 Q{C}dVyk=Nۊ< i_p6H;y餠\^jAˉf\k:aie:FӟEIz ~ZDx,VZ@< 7 t:E9tDMdT|r#;X _q'P>qY* IuЄ5" a :MNhJ)|R ںN|OREhKR /*:ش7f׍>Z&'ݹr3څ^QV@brJ#EOxTn 1=J g, Y8B. h27X%:.Iآ tᲂ3GO KSPYWҒ$vmg>nNe~)(a̔t v`$Рyp$<}On |Zڅ[xNBQJDezT=T6wb\/g:[" B-h&7foYԎ}eްE"y1%i))茋)YfB^*zsfjJ:aStW/w{EבF朷nOn}8MX#G18|}n"ɚ`P;5I3Sw*O.P/ C~IZ?#^dA¾7t5 ]r {>iT1vi~- 9}]N!2I;LwP?Ot,[^  h$W)`?5~c> @Xf4ʔTa`&@}"#lJFB3j f7Xmqq=?b)[Üg@x-b+*b՜X]-WɘM mi&ᴷTT_X22] vừ3-#]зfE#x(—*YI$EVH((EDLIlCP}(KfșUgjoԺzQE&9|..Ndl ٦!><.=P IhL΂n~*F2ewDiaK7ʼn"2\?M:3O%GEaʦ*5>K ^@i޼ zDHb2싒ssEiA$lN' X*""*["E'.v6!oql9ꈭْ_Tן+m~;\M<{—+e@)?#u;Ui=,*--_N+<áv}lKL4<tL6]vOc:ḓ oREBN>:v T$ZLERЕK}F}gjQ^j5qQb%TT.6W\"Z;7 :X UBydeJD?Yl~´Ds~[9sŶ~*{ Ҳ%N>8ZܺdnKCTVxa哈Џk]|zHfW5d/($'^ > >\2*)݊3坥 =g>ŤBgwL$]U9bZtzWKLK̢Rʴ aDOXm6V;B]e< [ |RVLߤK^$0i%ESh՛)3쟸Wj r~[#ZY޿6!͒E]J&Rց"cX&6׺.I,y 㫷tLV߅"O쥯 } Z"Rmk-3݁@_`kJp{Z': *nsۤA̕FpB<"i1FiU֚CUݗQ_9t f gٕB}hyGC U `kfIn5#pMИaxH8Y w ̊r<#<'iwUri.d\I5INidH4l<~юL9c%brgZaT쉉]UW7 &AP+yZČ%DSwsY d&l/?:^c-*p&VZV T9"*1̟3NS6#f&"]b!7/U16>FݿQFEekMX?;Ƈf&Rc霬?VTFY?3qʹqS)k^>-dJ0*:s_-} ϤyHRZWP-_i uj౎+p ƀRŪbX:dڑCc঍# CNŧ8 Md ꞌFT|(#vL4߁qϥAUCǟ$%QOoCj 01(4fuB9ht+krP s"2Xf((ɒ,NuN3őw '`: @BHړ6Ԛ&̻ǁKy0IP-D=ѯC ߡS^ӲB)/D{L/k]{V@3 <Ak](`~/vY5UHlwsᆄzPT"rKuajFl:w}`*G{l/# {xȺXz!\@8 %L1 p{Ax4Y;3$3EZwa:é8dR%M3"Ԝ=?%I8=GWOR oIjf`%}k-9T# .>ZS:  I}'3 |Qhvh;[t3*#EI F@ʬ9>S\A1Fs>;.W;OT8smd`E {o3׼6h&{RBZf/E$oR_[8 ]sq.ìQԅuUprl.`V#65^یp}Mz I!Ri^#L-MSSexzUޔ|"(;aA*kwkK%sf@?;G-)}i|Y@Ol:fg,6j=¯[Aޯ8g6 %}y 4łZH7%h\\bi}4;4C 5}Ix uA\hbVL9Xı /Sxo:@t͂rzfSҌd^P'(GښlwZy\ހp9?"dB} s)INϵ3.zDmzpuهfwM*cp!t,Ԏjui TKo=%5j({Hj.QqQᴝYT|cySAH(? Xe%w;:>kҤ6)/QqvuX$Ur^nl`L[-ŀ(Et]$(Y';zYFE&ȡ~3||[U.t.=<~ "Bxf9U䇤,V`HSjǴ ',TrA?gA7@!1(Є..)x'A>XeMIX rLA|%ߐ9-׷+jWTR K:ʹ"'u#A^Lt<}J@"F*TEi0)+Xm?IW9V;>i_&Yy1>>YPBWo!а-P,&nR wz:1It\p*??)!BqZ  h́原*t88QWuXx[-1WUy.b<Ƚl`{)xTHD`vcgNX:cuApl+Uڪ>"h'Efp3+5@˄JIj%1z.h킾Be1ft0cFGAKQLFvc|`|A[ܥho6O} OOfwG7g4\Ugux#>49E./r`oBJő:"I[&<b;aޛbM&92 Rgl; sA.% ]71 U-]ĆU:k,}5V?:dmMv&Fo:KoUZEP9owPP< 1[Ly;v.>1~世wd7vH.%fQ!5^הuJ_ ZT;QQ̉{esJvW~`8,Վ !C^Df3]8$cv82 qNwi(z.nr 띤K94)HGRX ,;@JZ}nX`阞iG#aJyҨl|pFiN?!fF]Xg7n')B0O}{`άsǰܜA[!)_ v[@L>>d:ŭ4 @V5FCP$=]?L)Y9-Wk4wgn2E(yASd eHvZ_çf[j$YDY\*|HtGAPƘb2AMs8b6"䆶吧K\AIT= m9Vh^h<T_ŮM/0:naW۩P !ƲɛWÖYTC|Bѡ kףEbHWD:Mi.z9*& LC^YX Mgg^֨[?z7 'Hoel=hjck~TkЯ}`m=ҹou,Z8Թ@:2*F 2#WH(,. 7M@QčjA× DGMЀiNRIxWt{*c˔\d jT,ضopaZg{] > cbG᜵gݻ䂕Oߘ#(*w@٧pO ح=aoKTR Msњ{Isjځ!TyV9D*cMץ5^fãv4pP(M\>5iS R;X6c15IwtЃ#9<21 Q]z.FR^qZ-Y ؟a≭X\p=|LwH&3Ӓc{F} nqJ|5F^xcR Ʋ zYت.C>es?4ج;%TͰŁUw龥 pZe<0Uh5J fe(Ps82n2X3RԺdR˙h,N7R UgP:Y%9d8 d;nr9A# 5PXrJ_7X'↝Ks)71G:w6&>pIx b5Œ>)hMxХεADs=<5]B2ܯ18¦͒%db߽RPF'ѼSIpɬqҹb*(ƽ"ԉr^wX ~*ˉ,$N*kEgb:fb (W_'TlEEڪ`[]0)DGxR17bMrx;.bO @k(qX[2m!S$6_^_㒶3hZ2[4Dv Pm!_'4"Za)~9s[zI!,v:<@ƾ.aQCUN֋K*l$/ZdMtUzp kSnd';#>y7W6蠜yv#p,f`0$+,m?@v#l摅Ӛ_rȡі B/54@bPSKPX`]ioۡnUW}yv8el˲\\9WǕk)zpD%C܂/k9,(tzoˤT"MJ :"NρQa|cq35&-:/tQA5sOҾة nס,+1T 25t&?U\~>$f̴%@%coa9i-KᜲGNu :/||=: 'z?v<`˺Fn sevGi݋83o=}Ҩd 4y&9%&g{|dKCB6t %q[a[xu )4a !H /??Ʃ H rlM쬽CD~%ʾ2~\5LC;ǣ22#Rܰ51`_*sxJ;_ P] 4O׳nکuJHEs)W]mSadݞ.?>wh"Q, `mLy8̓؆-;;M6%j ʌDjA#(v.-R1t#3.^As/&;DbPՈZPkΥFhJO[:FKe $%ZKeCh=Ľ)Q)]M[JfYLYA l^ t4cւA%5|*H€2Pg;'=a)׏ y 뽵c_6lЖ'"a> EЁ!b9LJX#pk4 !x5Ae!6RɉJ j `jC2S/Y"9-qwN@~[ZLe.Ќ fr I+[I&Fp%s⇿L+sP־Shz %_U/CQ&c\a[ on`NSKGb__AY'ݣ|)Hоq(ka򥔼Ю-6 [典 Xᝌ᳆x؁zAJF|-&L}{*W@9m 'TpDrUUV :'U9܁ZKsӅ )zQxR2ni&;Exy6yI'˽&#Sv$+z՞e^0--=8zZ>{Mfb]U-1 bc4e,A5޽nnL4|Y2>S8& zE 6 òn3ࠕy@\WNRt)u /]@ )`I_0 !ok&ˉgJcVV/OÖeQݐ_}}YN#Q4kgoO$n9no!GgsZI#D7J_.N?VGV+:BY#ptX>Ea ;$v3/_VU ^HbXg+&?)'f+5"pI3!?iph3ir(&Wh>dJv޲߼##Lb+"7ֈ{[ ˴G0Yް  +,Y2:@B[/`s|9씛Ĭ4kk\̜ڟf*J-oyêOç8fEX Gk!NDkXءvs "=U سO |esA!?%%[;u Dɂwl5{ 㦃L_&ܣT^K\AI oZ()/<~~` ]Xm~w W/U4\qk[PM|e߽ӪA505lr$w828ID#sTdUQ/2'ax>S,74NBKR *3Bx)wR-\u.Ӵ2iWԸqM]pc$ʱXJUJƒ?!j9eE^zq1gCazkFL:,G6IgtW:z|aٿruS[CyzUTh*dscUv6S iq6&ux*S#4Yl)uJqQ|l(q'wW[n~#*CZJ}vִP]NNa̎nm$g!gn,&Z 9?XZϘIxw@$2^N)Rp2C/-j5پx\5\{?;DQP+797oT8SlOMKCnR6n$JWϓRjH4A1C.-_QV:1&<̑\th\+z3BZbR̓RqBֺBtIQyW .1CUW-k#!T5q;dj>kA.FkT;eyaut8 <8i{}l8lpnSμK 맗䄒OOT%%c? ]ߥb@@{)EmHBhUlMsr! 45CK|r vPX %b)Ӡ]#:f) R .|5 ?{l n.?Wׁaޝ%,2˯C(I3kEڵ(ʣwK&q {GATf8K `? RD:Z `h/6jQt:UjtK-b3l2Jِwwߠ:6=mZ 4(*OQpC,F)U&N5%4/j5qۖ=I\z$!ָEGh_8Oѡ hV̋T=/le(_{ṸCCflK/sg[֞ kqU%/C F*Mqoe䍪'H"^*=:66 +?vw[W[Wţ`&K/X|C%ɦ!i R'h`۾)DnYՕ W# w iN5Sd-Mz~ ]; yXbvr[oh^4tק'`N-X=W'F84j,G̙ԯ4ʗʄ'9d#رԀr,wmW${{@|9se.%VmEɉ9;F ,,jBêshc9{$~ + }ؠ+Ý^Jk:0cPcqryH%A;<䲬`:$R y{)FO;6&vV{/39g A@5\}H X}q*:ܭRtәF\!zb{5\'нtKx{ˆCDn8L{àB6+JpM-aӠ4aAwxERj `iB8Qd̦Wy" ȀY^>}w-\b&EV9LԶ>@FXؐ)9"7h+f\FYyP.F|A"˄Pt+ x!XM46d&^h ׄ`43a[#T3;W#ai` UF(qdzJa $eCRUGiU t}tmMd MQrovgn:-T, l=hOB"6Yח ~%.1|,ޮՊ'L uԆЮ&oI7>ơsbXNͫz:+vj_:WM\=s`"U"09ipʭu5 ϪfG™*XfRU?ٽIkvW!H2"2lhl9I00*p@8ˏ|0t^t)M ͣ;TZap3q\}2f̾&_N#3L &>٭չ GFxN͍6OScW:s3%4tyC&x(L[2־O &aN+3KE dZ pJ/t݄m;t<6zV &ESJp`]cY,ù(V(|nzDŽ46ْZT|b0Vʡq0sxwY轖 6P Phپk2Dh6㹪y`VϤ\;( nK@AI$rvB8>Zd,,ᘚ ۨOIi/:-La(C3-}(DcN8:DdzciubsCÏQly`.QE)^7xAE4^w2L&5:E/}nlso4#O ^J>U 7r0k]$_A9^2U:_/ug^)> Pѣ.b.8𠒓 C5܃pPA lD$e7 [jd~iu O:&,0Ns>\mͺhs[λx[XB{g~ `JNnSA,>D߮S*yZS!>x_IT80`00_HjbϫWl>"ddZuڸ[WmTȱu2 FUB(! 9(,sƔT8|`~ótgOx%Galꡌ{<٨KYRΏ1T9#\ ʲJNg MJ\?d8˔:ؼMQM"RmU؃ſ0N՞$.>Q"kxzABͨyk[B[E~*c=e GU~!W?'ewj<U]L#C<ԫS!r0nwIykn|Cp"xQ;G\]g1f[d#'ȋpF@6&rrS?p)bgr+m<ޡSuqbrnlo aFԜy%+n 2%