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 X!t$ ]]]HOL-Proofs:threads=6elapsed=557.738cpu=1386.620gc=194.604factor=2.497zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZRr8dӞZFyUJ,:OnCh3GxeDkIWl-F(iHSHx;t.VZPֶg^th0YzHlD $Zo#1_J+V_7s*\Kɚ1G3k 8Xh2R.ND} qhW*VV-(6C)-ʤ䘑1$g~ =keϱrګKuC6ȳrhx@U,l(QL=BF*cnkjS\}mϵBpuFq=u,EY-)q30uCųLoCb!Q\ 蹚lE|2/[W an{zJڅZ]|ȡ8&'@і{U.tW⁈:7ʞ8OlE2& Iqt+I%.Ћ|M}KU}"h c{ Z ss)mffw4Wf dI+G>Ez'tٹՁ>m+guZЃ{9"%j=w1z @U㘍4,8;r b|Ҭq+zsS`D-o/oA laҐTiȂ_j7׬p q%;8Vn~mk $醂W˜/;ENӍqZ&KᖋxR_}NwaGVynT5.t-_k֎lzwDbsgR, ,/>+[Q%#QѱJ;|a CrOE#V$nkLF(y i?$o#s\ cF&(>yq`(=b*}18/)lAK;~OtzŒ9v]ǹK/dc(=Y֘'\pK'dNc az[qax WZ8rH{!ּOx]t{h*B#ų"vO_9#Wv9 x_!S^QA<MB!q@r١#]|U%A+јO XB0I'> 'Z}%.0o8 Hot)D;~s׮.dFUp3BXܕě-EI .ڷ1Xе;Ww8'H kV%bKz d׃^,DeSJ>Ƌpx ?i"jƉ Z. ҤqV0 TH߹Z_S7 5Z7y\4@i^E,OQ+.RZ)ӓΧb/KbV9xrDpi2y! GeVvJ%n-*dM4Ugg{ "=mB02oVƃQpo_SJeK͖U/-{y#cp~X29Wի ,dXHdуyVHT$˜H]"#f!EsŨV]-aDq?>U1@xD 3U'rq5R ڱ V?fc+o5q`ϣeaH#f3?{ה3V-%dWK`F5=nѳn\ҷ߬x0޷# V@"pp>އ]T,L# wtDiUZFFc`ㄱGDdz0Zzg)SiCVb0Id~`ܢԩasWD 4IW!ů7gHfu0SՆDwl(ڼky ]W4hEJ3 J果P`:|n4h*+yyqNVAn<3+Z=,D6`+ /L +GHU~"CNqaXh~I`)!wZC`z (% YNˑY1VNI:N*' dtד$nΠF8{0#M(_GF]MJQS1oIg*4Sd06bJTcS-^XaOE+i[`bwlpg&ѼGTNG%ԉ3q0.]s3E\ 2x1FƦ'{t J9xX^ﴅEQdiCr5WtuZֺyg6\@axQ_V< @GPF ~l?d&!YU(po >yP<Xm'\䰉و%p]#`oFO c̩\Hf7%|S8Gv`B3|e(-`"R~`lb* m>efŭSuƛBE@7渎ThoR)5zdN liDտ31Zmlp.gaNMEĊy`^@zLx<^rۋ9tdtm!d s8[Hd(nOc_̕%) 'jD6Ep<)j,mkVm}AxK(]#d[L&T`͍&cG!t5 LeJm".)gA؋됨ZrAX{GElk7${lrfD|sHr3wx p .ڕSag=ln!^IGX4[$L4Ҥ5~L,[P֡i;9JSD`rw ƳV>S{q *[GP}ZQ`gޅWQϱ 23Y^!Xfvs}?`dèL ~GOEr@VCwx9L)opDA}1Og jy</XǖŒ0R򓢉H4"~ 𝔗KgQ )8q⿬1*5.T" .ÖR?;j 1;K~G),P`NKkϽƤYC8`ߋ=i3 q{s_U%]Nb[+,%3-]8uUCثmϼC$.wDe#jna8*Od #O Կy;y$7"ٮ Z3ǯ7-f+&|&|H0?LlJEQSNbS("8 A[x[ERBLL!mkį6cc,uo#؇p&6-{ bЦ*F[a<*H:o\'sYsl57/{+z]I~N j/U/+i>ʞgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!Bz\:2DMO^)P9x j0eզ;yuis鋘ӦGzŵj 8ۙUZ18!8pQStO!L0' PxETks̷.7a8Mo,0O"%A.E+0" #R s27rC0VfǦLude~ddOg5g骜YlhVi-97u*B"nVAhֽk;&W[2bYȫ鴛kfLXRa\q8!z3"٤|g[lbF]FC(Z}NXvOSHCcL LK*?3hYN:5piF&QT xH=MHN/+-C33'ފbGWdwoT9p~T?Ɗ}#zl\tSfDWUk4Y!VPW B3 q<޶( lA@_r% +rUf ,ҥ/:g[_ /6P6K ܤUm}oaݼۯktɃ B%;X;͔b37UFp/Q(4oR1EI@%4ZWr%bnzaetZ3B>WFS3J.Ab, ˥ y8ϼb [+@F&TD5C$"R4cƧ;H!"Gaz+( 0g<>)ѳY.pM(2􄬰ZK:s 1=!0iqfpAϸ]7u$~4g*`wo Pa0A֣ .z?v +ȼ dmm1GVaܪW$pO%E.TNɖQOlKUh]O{Y"_q:GʥnsYJ;B,hB'fv'$Pn`u]tMQU!Pѳv7֨NdU#[yi 7!JxKStzKoYyFb'uF"M0.+*AqHH `Tܼ>!&t܄=BXD$*+3+%?/H1 ]n78~\qASD>]cƫ`QYYAvh%<07heF]ҍ79g j"3zॹL-*iK.׌f&a 7CxRs5/KKUH 2 gYZ7zXZִF! wl]ŗXi%;bѽ⡇J߶@W9Y{9s¿[k0 EKZpc)gҟo8DY@=WNa; @՞˵]y6l`6|ꊱӏ נUXE,F:<Ш)荭Aa!)sg`BZIGO14 XeTBf 1uy~YP`+e'tGmA,`&὎b4exɦZ=i^YN7T{Zo~*ie<>"SM%< =k@9J~,n;2* /Yvc8Q2tblȍHH&@%wV? 6j$i0Ol@E,x:*5F% &,v3#'N2ّ' G8d!G_A;/ɔjB;  a%_O U5[G'=02[vi90n?ˮk"dfq ;`㕇aYķ/%fBԫz]])Lve5} ֩эW0JoyѶ('-b<~) Yuq ̫˙خuyWqK89J9`G8QDTNJ1 jAhu8^y"2ؓ`"{i+Rt_YA R{@!ǶVXƫ]8O8`݌ (~]]D ׶(H8xoWXy{bQ*JC1{4VZokZĻ |f Bns 2"v*#1x7h[^:| rHcQmqu!%u zZkuCb=Ov^Vs4u=Z%w)ƛȱ>ڀ<1'<=T! բ1T+8D"BY)<&eOTe52q~>:epq3\ Z^#AT;Ulﰉ=|mʞlk$rZF h<uy7tܫh'ѥgTCQ1 n9I<.u5itɡKUQ))Ț(<} n-aK:ᮃ1NFU4 >*5̝઄ZP̄b#f U@%f|`W3L}ݓt^1X61@(*bӜdJO%i&Q825BrZ<-%WX5Az71*,t}i=  ͭ2~pтķc2 .Y m7|ܯn!{wM;l[P5ys1<ÉPVWM˰;S,d/,fc:#/ > MaF"2\=c\+AA$d+7L;fR,_w1ղʬA%q-JHzk e>,=AwskI Z11МV+VCdp8Be6 ༃iS!P{_;@m_RRa0?D6+hU[kt^PI\[w2LH+zb+Ȏ*U-cj)#<6<吏4q_֯kj^i3VUykh▉}yqviM&n+0>P(_uet9.sG$F `s&l ]l;\XۓT};߼&qWCH\kA\x9aqUEnROJ\)~.^'@0>(4$k̵Bg(ց \! *<YTY 8Vt0X3Y3|eBزvijkPc'h Zws';4.sܹ춟hT:~BVR3r0i<#dXoĮ8:|,tJ4a\mgBG-~d V3pO&SL16J0D["%'e1ѯ@Sq 3F+ R';7g%lXxhBa AB-Uanޝ@Z1{9ķ]I,+!U}o` `0/H,BB4$g!ʹ=;.eQQwUvMdqE=Ywby)rrN1}d۸AqJT/vF,7m~ "^6ZA{Z{![^fIlc}θ^3Ҵo4TtKBo Ҧy$x3ٖěGO5w݁SHDShJaؔþ:.DDіÖ0KAN Q!%+6'7}B< }ma]8f&Sdصi5%\w*i~NӱFV0W@LeAYO1Oߞ=ei|h3^3 g祘΢bUG"mD`WBqSH~#vZ>R8ȏsG# &O(tM]u_4K-!PūZc&CAoXm.!¦:=Mt -!#Π| e0vCRAP4JE㕪|n 0HMLIF{ΨvAu M/q#r~+Cd_q]@( I)=hP ö7TˉJ!3֤ʂ'6sӥ8@\rb B=l~ IEE*ʻ[îT滋;P9I^Bx| B U$"(6H&YS.7:bXۈÐ-gT,^G;D6AJ$)GfvQ"bhc;- XQ"%1 2ت)~Jj.lTWUzI(qer@%b &dPrWxXyvatrKR\έ u3~ 'D(Lf;HB#LbYlײ<cG o0W%T*zFsJƽ/@ x`p ʃ}R# UӼTCL5Wᨇ*nΏAl1lm- bdPL6TgDΡdƟv&bҾ1))W763 6_ " +F"ᰬ&\:pvL/XVM(@n>VidBܹ !)tJ)LkWh. up_j*L "^_wiuH7fsx֒iHHB۾՟Fꌬ_P ̫6Bk+ {0S>jk9}YI&ڹӌ,Ze2EW:n7O:l}c'Z>};3P}un24m յR</)``툨+Y{ၯߒ2EuKX|six\$[a*&&>Oj6#xI98[pdĩe]WcopĔT%=p {$bm~qbr1@RiՎn75%^enb?rE:SVe GͫbÚEf.P#w=-pagMs4ĉ˙6M_CGG;B5-e(@) |q#ٓ$Y|=׭'7/Q]/@Ѫr,Q3 #FdAq۾DHrB'[@rTؔ^`HL=Wxojk. }ˤ?Ʈ,mnT{gU w$@kȖw0y A YN "r}ZJi?&4J$:VB׏ԟ"| a 8)k)DK'SM8up \XtR}k|ࡵ\-{ Ks*@'wo3HjtTtI!m=d"|H9Bp.Q$kpֹ^ J@X \@?ҩ%,pC@$Rݴ"2*Q bCF0|~)ݚ"XوIm|E4a] Ju=M.ۙE{$f+gޝ\ͽS[lFsLإ B`4-9sQ+:jd#\Y8-iT 7Z6w_UO]*^H'w ;="V ºkSk񲀱*I|H^{.oux "w5n툸=FI!<xaKN\K|%VPnŃM !TK;Z\|NU}|U*B{8:8~Ʒt#aXM ڳ08exW6YwO"#p|G#z.ߑJ|^c)nF1XoJ4V DDP`#܇7\za}LΗa 'uƉ<3wf0#×Նj2ʠ]qIj0%TaTK%/MzA]jg#.-(<SU|A'XQchiQ) {Y6J$3ϡ9Ceb0u($@ƫ. َ 5J8|@}sO LWPi)Y4CF,-=1 Be׊iA#KW<і ;4Zvg: ۾dJQN܆N*ܮ&^"奧ӵ] DJL ӓ`= 2LPkX.xx ׅѰ'V];45rf0C;9Z[Rw$H*675~;n DM n5CxJ !&bVMbZotnTzPMMuKjN"~;?#KqZLO~ _;a /thzuGj3cL pté˙-9ՙZǤ wL/>CDM^;)OÄgw( `mx臆\IA؞Q5F ݇ Y8zO-+ z( /UH`NGZƱI~啽޷Qn+%;ڧ ஃ9@A!I  8?9MVȉht c2/6i +;bf2;eZA^RQc{nfUCp]4y ** : RRe!k =e ֹ'٪Z)E_LUicsAŬ* NM$7vtӭ vD~ #4#);P+Vy$Ț"Ru0PQ lwf\ՀeR 1Y?Pl ymndeϒ\M{&6JfX,`@ثWЀ8f I"6dדy|&lz&ԙYqEZor,` zV{(8m~Ӏ2ɷq\IGtQ^iU)hRTpc(W=Kl Fj51g o **AЮM1j\z5T,x"NftK= .^;S6y^!)r(YB h;81qKT'".$VPQeO6ڟXՂ-ӠGH`hv+|F`qvdr4X]k4y"::]"./pͪ1@S/}cuvJ]*O5sm;씂P,Gi<_ FOց["_!_'w-$kHI<7 C`]~c|f'J06OT2ߒ[&z)G3kz ])@aϦ<}<j fdתO­g{;G+!a ӷcJs$r6OV/qu$ұXhE!Qg݈߯ŋi!٘%Z3`[qje.y[A:fk>l͝†+^s)\/a#S({ad Z\ѭޠ-y~3w16%cedC';#@@4wϡo"NƾbJsffsؘR٠hP -t/ƆeU8K.w 27{nj2]~qXkH5DOb[,Phk`[՗qw qP4y|&FDnBSI~N$,^GUЇeeK\lLG{shrmg`> m̑"$tj(l&+@?fh>~B^պ7ev>12/KJPsPe őZ.gK\Z6z:|;CpLbI5b֮YF-2P٥="KAܞ=fcS#Am'!Ȩ{;JԘ儮lCU٤9꼰@y.vGrh OtL2%'2S""ܒz3eY)zJ:C)I>bp]C$zr<>i3a.23j[m}j1ZE QD ӪXSMS j緙ZoGqdא?k5sԑ%+!T7fԀG }'豛Զc=$n:9z*DyWgq0-ۍNTbz9^;w~9C֡]rp'/t3H=7z}6t ҨS{_{yd=S3:9hO ͷVlTlnBm; a7zTyMՊgiUՄT3W]c}9I%lCA\j̆Rq<M%-؏ ^r HYu=XpY_|(vrIF%s`Ek >JUlT$<|4w }0Gi4K.xO,Kk+wfHkg3M̚t>4uh.(!łW5Ѽ4RWVN4l.nr<F}@!J7j;jo.Yo>!9;.ǜ}"7m\腚} nFN\5Y"wuR قҥ)K1]:,ގ"缾>~K Pu2ÆhYI^@ҶA1LBSn/\)p;2S<^@X4Bl=QSl&ZG I&Tl,,?{ i6>+WM=?/ԢOf$9"QlzFUEk||uu4Tikt}JH` V9i`唰^Ngn}j}@ٱk-xP.U2T7ʔuV:ޮ;8Zb4ab05_,*N[57؛ΞI$e$g!CI!tPpKg*Oӥ>BehH j/A)˾&Ogl+&#i _F{:htӅ*Ch5Q;74feP-G'  {i8 eXܫ$]E#j;Y$v'9O]4=<6[r|s g@*{y+Yg1)u 4 'Iȭ]Jd;n`][Iy/ .Z"-AV7$s#{Eo[DtdCL%_bK1ʹ|sމoʄO28b)hfגT!<\']hyCӔHXؼ=2^oV .RGjbw& n nO(ջ "$ وAI<4ʕ yp@ ~npjNM/mXJEeN`slgyFP!Äm@DTl]+}\A1,Ld70j.74O 6(lLQ٨P_cjeH58:&SZLCJ>ܲ2.dD~ ?; dAI{zc *!) 5l͕RR$s4@ڮ(bg@"5TyTtzG`dbp Ӂ[crTa㬔4Fgz@[޿W=8;=B\ 5B!R󗈃)UbZZ ńL bJFOR-c5>^"}9,ل>A5YN XQmޣeú%'$j>-+-oh}%fD։sCq—e{HR CF`f3dab] Eo s u :0!ܮ2{1 0$ɬܰiM4ylnByJr޴U60 Ts䮖l’*NKo4h@M?񵺮xp=y&I^& XG2ur'\=ڀYTsAFyUYHu6)X5(+"R-R(Jum@!w%^DHZ3Ym뙙g$h/CN2Dszfp '##OvR6ڄtsE[hg%_-[X2a;n)MXy" V@7 95U~&\X6ǃ1R [#EXH脦^5WMϷ3Y0Rf:kEajQ:W65_^s6aDWre|RR 16ӣt[Ef'$Jۭ)G=VXD\լ%imֵzڇO]-llZ,QK@ (nQhY{%]B8RkM_erĜ%Du^ԘpzLIWKo~fm,9$5N*΢jxJ,>Sox_"QǺ!%St`%;LPx>m_ΡL[h?v- B3ThĂ7[9JѳӣHqg~6/|0͐0Vhq}Dd#bfpc%jM:2UZ݀93:DŀMvYNкd(X'\dֆw'_;F1<'[iPV8]o5ʕyv_\f 0ye"ut0yTw;T~/E05u(`6_Bx+}.] w )|G;F|dܿMwU4% %T{&ה]f ĥtAqd`f* ft qgP}I-DOpE`ɲ4y] wfzYe`W9)vW\!Ð6j]a myq ϸ/O3ТR[JjVb2 DUNDIGy*aV2OqEi~pᕸ4˄PzA5@ip{@5 hy EUFdvk*jgGѱ,לeտzČ2@sͨI f 9,ˠWz^W;g9JM\N(< ?)t κO(L.޶a5vϩ1 rw(,hRiu L#ULXъJC9WUR[@T֎̼1r$Y輇\]Xv9RU%no|fFoxUo?9s˯ۗKuSnx-ÎwB>UB@kd}/9Dہg;q$ioŸ3z9S@>'{zT ӡڑIk.VqB*;M6=GO]ܑ[~9zFz-#:( -Y@B3~D4:H]kFfp?c$+Vrerwu;nGpϩòӞqJJm;= NiVqˈ%ؽ1'zb9. zzf/3c\oy_ENṞ};a+@h;#pZsf\ VV-%3X7۹2A-HC췷>qIp9K@aX6ty{]_pWZ;%j6/Y _ +u"|5G+nL:lk#4g0K. 1m wt$!S3LdqmL`Na`۲ef2&DgU(L4w9e:!k"_&bH=mQ0Sb^tˁx70AUzz,e&+&T*cr[{"v_Go*-Qf5LKb6WaF*ejޤ軚;⒄S*]wŜ ܄ЄPT4|/a,ĒE LGߤp78g1`%A# H7Tؔ?%8TJ8S)&&i_v"Dq2i'dS3֕e,ܡFY{oz^x.爰 xak|.{ppuHtd*"aP%jo~c5|E%"Pٲ[vۂ ۨ akĸtIb-]tԢ" 1kQ@1)ٮJf%(a"11J0 =yw{18ٹVHEMH+<l}F<hl g{b_)I&efP ~"M=c!k(-v}yi壧ii'U&P/VN}9.& &14WQDݰ:\H]myM.8XdO ۠-rˍ2Ģ[m_= [܈;fS"`w po}iܩʚ`d3v[F\mu\{w*t5CNڈ>Pf4?6sbfG!RDEoqxCZVi!<ܺ]qjCDVEE@7~ťO2.ΧEgQFh2*B׭VF&`8Dˁ̃l%pmfH!QA8 knpaY5oE/ H$Si!L A<܏GuP޲/%MrOQL?jys VpEIhkEf[=8=/2e  6({ه^iH@e)7+"Ϫ/} AB1 e;oe3V0ڮH1]BX,l'wly{ӗ.M{33 `ay EMBt3Ƞcht)ܶl*pMSvދpz2%= }ws(&]|>͟Qv,Ly(+"=;W9TƴQ@wxg>+39/p͞eDXUeޒx1HvU<aPl(]r%GEf%YCoO')0cJ}*ÂӫTɕ}ڛJA =&s^ymCmH(:7uJd Zj< ؠzV&p4z$CP3@oȨM:痩-rn88~&^t ,bexi"[5C@OZ lf7s!>*3cO5l@4~;7w, i%+H~m<#mߙ W移o3(LQV;=ʿJR-j<a-@Vn#Tɚ4dҐ($+d]<ʏ?5j:to槼GdZYt:3Rʄ6D6vRLxќgөd}yRfm`1]XOb̬O:Ѵ\&I{oR(Xq_0sri=], 1K-Jov 䥝CJ>6[[Ķ+{C_]Ç_\fCbsAhkPRƱFnzڼt,ʴִki w94 %k*ſ>),Djvߜ@Ec}бlO~јk qG%0GNaU{rx* Rz+X|t >9fܡeՑa@WZvȭц5I(Js.HVocndW)̘!=EZ˟?Lt(S.! $3t'͹+&R=!,I!sUExd E$% /7ҝЍjauGfUdyXQzש1!@=[C>ўg{NQ&D >`]t>q>s|"Y*cnʳw`S=y hK=w@LJahZo`-LoXx'fCZxKLJ#NOknG|.űA(]f?;^Sv1 'wH5}VratƾUB-BJOEm6./?j$_Z{J9 -٧; ,YPhv9W;wW iJ8bG'ba,Szp-Q8?-Vux}$q,c՝O̽RX7A:;-r,f-hN됪]Ð 8ö2;@dǶCς|&4M~_D": y|b?C6g-414Yi3ئ?3ql#,hyXApY_6&XaNwNk5Gծos?Ks {E{^;h}#JYIbub:MbT2t0QkU]1lV/G)oJ`vii>O4MBc"u V;TڍR ";iFScۀyfkw\ iJ&,L FC[Ep"GkzM<]s{Z6jS=E8˭1Z6mwI Y3xg=+}WQ 1&~X|6.*/jYjmjjCVӼ68Ґu֥Ir hFIڬ w.Q?'&|pSEvXT|o*SaSbM. vJC/Zk^&/56޿WR?>n/Mi؏z Eld^#nCܑ&҇ѪZQCF<0,RvQ{V?YF Qg!9|%%ɱjSSa|bv(滗7`sÂ0S|6uGB14c: 8XOn2G} |/9bOB0ЂąleN3m!ߠe:M\B  RQRHR&TNx@QRW:-72}vWαNzu?;ڤ5`S{m"3AW)N8#9G6r8'F+PǿCU291Ȧ4_EO Ս%Ѽ\^ 4=-AAfM8 ~%Ӷ0RauXR@\-p'OT#l2 &dyQb_`?MwKxpVߏW,mOޑ^aqBPG{0QCom u5|\L$@'TG0NRqsжEewSޑe!}* PfD|m,<65Cߢ_nJkYv^.VY%**ޭM\j׎m ^"jy;6]a)罁 ߥ<<;3Yv{Snse QJ j]O^f[7QNÇCNv}խcMИw&Jw>1LSA̦PaNn5^d1<%Ɔ]VAo]JXp3g| $XQ|d eEՌգPrUn,rInpOą4wd,ztqZŮ?q0f^_(cVLLa&wk6@J.`[~]!ۄ7V Iaz+-2nÑpi뇞ҳaCmans0MF,Kp `Y~X5'l&t1m](:TOj`P]k)nG9_F.e)@Cֵ9k7XѴg z$z !j~`\8<=-4=~__2kdJQI#QL\.^eގiSХ_ &si"'u#'bCxƒ@N EEU&4pҬ&.?Йyߙc/e*ߋΈx!R,klf=eĴhA)q P 4% Ll׶)HTA+XNPiv~S~0L/ i#qulW!|BH'ЈO/ DzLg}eNvrvpr8˟8Rx?pR5 H)q(3x&x[qPrͧ]:KZƕCiI EzCSq Dn] hiT"@dW 1:N)։ß[ﴕZ>{NLGY ~5^[B)MD TuQJHal02S_g/&p4 QZ` n Er1,] ]51Lb;JnpC LZ !rXek,Pϒ NϭG4Pn^k%؈#S; vĚPf,<@= HFѿc%'>B-xy63&׺uHX E6'I5#]ITk k' s1EWy u_af,70@ЂcZ !L ¦;ο-Luw{f0jI|n b.p\xnCX`ԟܵIvi:3wQ@JPOvn1U%֡g.(0^]عhR>_,^oP}UI PB{x9[G3U}gaN-OeW3u_qRZw&e R#P!1!pa׎/V0~p ^M.%culiHL),C#:$o9d0p@C<2ӛo)V$tfoΤfSP,-k #)QZsrC('[d(#^o$93)(NOXVݤ2*u߉|rͶ>F)tvڌ%'0QSsBy7~Jj8'>pgq\B p}#e9Glq++xkdK2N VaЌ :6ǵa$$ئHF䬼2ټICc'_ۜ }9OM Z!Ţ?Y0v0#i$h%64S]i8CYZOs*llrI"SfUޮ19?L~RƬT #ۓn1QZQ)XL*|ڣ-J3眠3LJbMvJP!s2c4v9BtLzĉwuͬ_"Dw5Dd:Toxɫ]TtO2M&A$@h+[բ#|)% pױT'8ڤ&1rC3@"0= |v001YG|ЩX`"_G:eIU.i)*GXg߰C͋r&=XJ< Qs|^P篾HhU -!ؗgX\j[[T&VFǕ+ umԱ [ȓ\~ Րp=IqՇ$SL g/ 6;N`}hhK~4%V1ՐgژK%L*32c|3N?'L]RlԮ\ڌ}*HN'ܦYYlPٺQYG%W̷v\)uhH!0`P>l4avE(Ac[Imv: z 亱fqgpjMdI~/D=Ɵkd¦qāܹÌ7We#lIΞ_,N)vWe! X@'pŇaqhxsM:k 9tbnB~ئ=KfQRj}9҇3RCօaϊܨd$5''3H747Pw߷!5fBWEt_-BT=*hP`[>)-0RS6%qSE6;ΐK,'ݕIwKns,4 \ ;|ȶ8-U\*"&zJipqu Srb>tڗtձ#ϵs7UBǹ`'vH&Id_ibp{t ym\]XLZPQⶦdcs揬Uk8_ҚeR'_i[HY>j1gUw]jZQɑF[}tNS~p^E}iH*1vgr2H.,vfk l0ԑ4Я q,]"{;lLx'tq1|/ٌPxEDk̂p4$̾ [ˁ׷Kd3hHд,ʰIv10moW}:V([10eEU)XfL峞1o{Ls{N|Lzܜ":ޤNrys.- OOjHAѼD=NDK;՜ŅU6LL+``KB;#b3 sPFy2`ZtB`v(",8!Pm]X էC4p8HY@pr 23sm>$3,9{0 X{>v,ߝp!Ix;># qЎR*N2]e0 ֣:e"0RrBj||V)#$3# e٥,+NHO 8.d* bgYZ6cbd16f6aec7e8f2cf708cc6402f31c9dd45182dbad23ddab4c2825c2baa76254b92affb4eb1797d43a7a5cb9104ab439264e652406f21a87f7b8eb6