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  !L,| ]]]HOL-Proofs:threads=6elapsed=592.505cpu=1418.236gc=190.240factor=2.397zXZִF! Y]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbVxxmΥ&FE}ޅqG8\#sՒ ?RuYÌaj./hUꄅڍw2.-}Ng@[FU77m}HvA(%Q+Xd=f u- K&Ux7h#nHna%1M%Q"ajҝ>g\ I"9n_=wOʊ+ϗmZ B!d[\j5M%x7Om"*8ݥ?LP&ji7 $gFE'wǁ|l) +< JyaI?-MX-}o9<~;^EX)nf:IR,H?s9j4&I۬¿ft0(*mB~Bsi!9 Dݔ+G_s! dNBm|M0K[Ewo;9̫nsï5f<&fA(F5`FB O ` ?=kJl2kϢi:0ms'Yz ښ_j_n|HZrceDkT,)(hiA5ሏ>fM}`כϫX:/vt$Fp&s6EPDf6Z :Vށ}/HZ+]ő橫Tʦ((P yRgk[օ0YjRIK7=_>F0- K5fҬ7-z]!(dG&%%)!|[w{!I  ! HOL-Proofs8 xÐ#u᎟RJ);٠ʭNqʍVUIdoSlMޥVߚ'_8('?^c_;!.׋jԉgϰTD}b #(3D{D dXegWwi}7:<{W^XXHY7EMOpHY8+X 3m/FjDM_[|МF0h%DoV N]jvKJOB@v~6S$ e_7i"D V;WrHs5tRihK"ٚT{`ݟkz:ޓ{b'v\ BqՁ0ah["er:ӄ0}4jBm\[|4P~{'Of{adi+Ku 㕸E/ko'*ݥWŤ'yBK"yz|SiKG|?MYp&ZK"RڍhU@tB齅Jav'"%^S/T4وY 2d * qpKc.qqKjʇn ɿ=N蘕g)p}aʸmŠ}gx^AW.|CL2ݫO?a(S1V1S]%_`;%5 5רFa 8>mjB Ik'Hڌ7XhAWڸf-Ah"R̚)ֺͨ}P #=|沀iq ^VbI!lk;KBEas¿xxfUxv+w@lISumyn=WWl}!V)| #VqTs-4eǙP5C)!Y:;T)7f{+IZX蚥{|ۺX%w=G@:<98,|ӆ/ *QAl9T1Hɀ,sI_ =}3W!R#R_:VX< xهy˰H¨wI} >*Kgb^)#EMaSˣT "cB1 YA]8DZTVFsk5^&~b0Iz{1)S؂Ap3yd'9Pk1]pyie0_1ecqgGrI_ȷXMXzN&2ı{vhg!z`2f ǒd{:ă1ğ@"g$N?$zkKLS}뢾+P#?(->#z a6bu-3ӝ *N{G8s;^rntɿQ 8NJl7 G-^uVP-A:١ QGm2[P!cA52C+++Z JS ݢ}lS*d19㫋f_MY2B/.sgXW-ٺI1$AQ!pdD?gzrE{gK;*@D_ƛVW{X{r4c!qd[%8[B^$EТ$켳`HpS" I =!Ivaw|R{+.Dp0ʨ 9?k(S'{4eIi},*TJUP#7V5N)!=βVK^!0̂8#eF>#EX\HN/zcR! ' ?ڌZ'ztp  Mkso*ƓHGr,HaGMSȶs]g ΅ ㇹbo+ )xp<81D#'߶q2 U@"|VPӧZd*W`gbܛq\~r^OnRԲW<%\žAE[E[XtN4:]D{= Z)%_*V2k1DV c>k6tDafƜ!#$.\LS'/) +`|,v6mߋZ޴?SZ^c;D+חLPFadY9Mwg5 S QНQZ2^6i$T{?}Jj)Yu8d1ݿ~ZXe7+䛶IPgy}/dk&-1FoP$p;hsVz!%o&D4"iN>CKq&=j4j!(:Xb!>dОtB*os|t]YGcنN/%{yՀޜ8!u k6g GpENd :470Owf˅fՁg%Mk5Bz<|6W]/1If3&#?H@bnxru xgCˡ錪~ {w֊)Gi,P]"i;-Ń%336KDF~n`Ln/+2>P{xur?k.'>p'kXR 7EM!!B/yǂ+R/1x L),e^+. 6eB( Ua'5<N˯탢)qiۆt,[f,w{,-ET5n> WVGh P @~v!B8) (ʼn<8EY־jp my@tniß՗Σ%e+i:h9Ht [~XP1Hץ̫r˂U'a 𱁛YQ%Sg͙zюA r "\| 0_dTx 0ɔp_wUԧR!N/vr4P7c(Xa __,sBsF1>%23-i8ᇸm:K7uO5=઼ ka*[s'W 'P,/y䖰Y[Tv Qd 1XJ}?;AZt1k*ytX '-l. H! 䪻5$x "3Ut' .m~&b֏ a;IGsց<>TDWIJ%իK@i[l~4R5Ltv7w&S\Co458ϙ>a*+dKN7}1]~gOHl3Obj4-܂jرsR}Z'RyO̗x @O[#!:-(oUWX_W_OLwZ! Qs&ax {L)? 0K~J>&?v' dӢNh@:S[ee$,2OZGf2das զI6cm_8Pkok V}^r@,> :#Hڻi,z Wfr=Hs1sDBgAJVޙ\ 3C÷:v{M/=M@#"WfS:iuҙflB#3aX9Uma%^D$yH }[a0)UhJ3{FD25 78уx A;cEOr+/Ofu{)N&s+[ ^,WQcw4DgSr(wg&KyRxT8$ yVqpZ,dsz؅A>0^ n.% "Ϩa1{pYXL3kě@?kJ1Y%g"?}` -OoTYA.35)1}Kp>M;ipkJȀK0CL3 ^m^lRiH){F1ЇJ&xZPD27sZp\ocJq9Ȧ e?m%?!<4;&C'SpW`~q;]  ;ۗ{LLD@ 4^ 2YfgYZ7zXZִF! s]ŗXi%6\k+e}u+hi8SGvtsxm "RF8D;Tj7s(b4F_$C_۰RRlMrNZm}N.cn\g]T[W4I+i@3-M+(CgzwrJѻU'g:+o椓a'Www/hA:$U%3I-㛎!*E2NvQ;n( SƎެ!wfJXpG\됂+X\m@eG.B4 Bt(d\5zjALD<|ҨtS#>1<]#p+Gzcϑk?YmG\óJX")8a[PNt&̙e£RD;FoA-` P5 eѧ9q56R++ NeCBX24S s7d q\Zvz fOVGh2*18ߞ$c?*`z&?p&e)g_V iT{]+jϧ텽f&ʡf$nӐiP6cj$ͧQCcЫ)$cB:t~X]ۋBZQDCq oȲّxzAPI1iurmduC3SECmC'3KC0vXHYzdE H...j KBjŶcѫBQ5PM'n Jh3H3?bމ&]Z\;VK/?b#ǐrZF@0IUZ%CcZEti~mH*IJx$,4bYu"vY3Fҹ H?ִM(o:SZ`2sAq4^z~s$vΙ:k)>'~;;y<+(&Z[~dyˇq{)gJ]&f v0x1ezѷR(Y-S,ֱ+j.B?^<_؉-R/1j=ؕ{ * Izg0*2ts$D\zȌ6!F-{GR[7sشB1azP ؔOvE2jylY.4M4BOI5[>XEܪH.7t8Y  ;F*~ C`&wSH_eFt h2Fs MI &8;7ZY.JQӨ哼`ZqS˘-_ɢ.XL/P0cψ"F4湵\0:UbIa;_Ob y!~?dXS6AhfhqV˹%߻aKA['+W Cɧ7m79-㸹t<*R'M)Aʬ0e%:jj5\?` E퉴KѰhֶ1֍r M8_iҕGks<}A rD^{YǭPxΑ~&ٲRFn) P)`N~!/K]>bA{>e|&AjnTUVfyD6hx4胃ϐ _O8Jg_8âRA,+0w嘡(["v!yclXx0u, gY{b~.m 4TM|N u&az{gL/hߙh UٙGj׃o[0 K 8<0O؅zۋ24'CMY0`żFq|:c؂r3]Lh+"Pvڽp)"ʇGD^wW= m3A(jIC!dtҌ'ik^|_FQ7%>xz GG"[evSvn3KMh1>Zi7] ]Q+1$6L&IV\}@yVnTu@{G)w,"}kIJr. A[oTeڲD`Iu힝 ?ϑ5gY>"8YC󐀼`>CQda8|~).CyOq6;tJ\V?0"}eN9D-bri0ũ)0t{L@Ee@A \讋/3|0c?~&kKhĽP[E"X8pjP8y#f|Z<IJd?4HOf5W4<^(!b"!A{O"+ 2/ҩM%+&2{e=B^2ȣ};Ri˔||vKȧ~^~*l{ip\W{2[[k5C#A7~K!\y! 6Mv̕9Tڋm(w5)~OD[U1gܳy2굯-M9zT;FDF)[ScA }, `jA _Jy"9P6 (А¨M 57 2)N02d;c0zO95@nj}7D*Y_m<.O`oHEiEri+@2򉶲cuGR"T P/ 91pz(p*.{CLhoGr6|4%)>y%r]ڥEv+!)̠\K#YҵBl<\$Zn~fWwmy9B xfv]:}F ιE7km3ʖѦXfKhƧ ϕ)W*DVL@k8E]'9<~ A̡OӬSӇ9eYT~"t9>_Z@Ѣ aO@VS˃>È`p_5:1/G; &F碔avg/< '@WVz%XTԟ)ry%Sӈ%ٞח8ϑ=GeHtG/o_]ˣ'\-5K󟶱Cf2#$&uO(32„Dx.Kp*Ś9 F?>dvv%Bg@KЉ2}LS;^$.ӂ8OsIySLv,#_<1Q܋^şp]~e{ueLqNqHW kLȂѣƭԧi8%3Jݶ, s8+I'KMo)@䃼S0Eh!ۨ楱*Ť8ڋ3EY bx xIhp)@AkCe9JCVN0wHu +uIMvR~+-2r>G F6w23)NM<!K<XM乑x6j[DRfN;΄NKT24L~wY?yOP|%= S+ fΡH7iT<}%/ > Rb:I_ 3`).SU 6LY-ZB$DmQHBMvޓ}θ3ui\Zo*,XSEVdɑg.I}da ;Qfl6߼dpqwu"~e&b4, +Ž9QEy\Mf l#qӛS,ϊZaS:br[n9vJ_~U47|&*4^QJAUXV:@u5UHSEє6#i%.U_WHr_&ۿG v@mCR'8s +RXDyL5RNJ!/t <e5:횿Fbt{-iH x"UYoKgYi2ڑi썧'l=ؒ-I=m.IkiMfa*X4}?J2O^3PA1j&$v>8 pk6+]OSFd3&m 10W,TǼ2lBVY\:Ų;S"0f'b$GE>5x!?~InJr&(t092::p8\a7 M34HoKrGd NFG$We?'ćn<]ڒv=E6׏{xw`$oY3m NMYPUs#O`# VSdLH|3"H9Ŵ3dŏ~HX2*L`գ@*\(p.0>b[fEٚh,jӘ`t!xUe)&S?L!\<}s^6-  `2F7j{*<n` %C zGlM5x$T{po(3:\0^9%]`q[7% :MgPP`Ry(w7 - Q޽H4-1݅h }[Ij=l$A nSj|dFʼnK|1xH_HOTR 3bFB* h{#|a.޿g:WJ~Ya4dnZj[O[E}V(2V_B6uD?}6 7n런[|$23@SF 7l>QQ06 Z!QvbUuVU^"f8M;:C[u VЫϠ7<#"Hݣ %< Au]zI{ƥhⲂ &wE2y»*܇b-NR8U{?*iHb|W I]t/ K 10E^c'@Kp2RHV=+ѭ&zñ_焄or.6,| ހPˆ/~/? #1jiǭ1oy0=QU¯Cm?4VD4 &e(tՏ>COz6 çЕo[`1VPh<3S畍AϽm-"6\* amh.T?k̮4֑8:SDd8~FeBL'A$ʯ@֒ Qk1-%&S-.q^?v|-x"sܾ5xsuOEaȴB4tk+&NpȍUB6饵try` ƫ=| A[ s#bFӀ[NC&>"`5 ?{/c!"쁞~>n(~?. `B#}`,;B(Hˆ}tΝ(PD[6<*ⅇWAM\`#4o-//fAhդ^jLd T05]U5y~Q'Þ1U}X=_BV$ctz|2Un@R>Y) K R4֦C;S"2&7guӊ-k 02j=[, DS^ n}%ݾ4e"P\{JQMHUu}%k[Q[Ҽ qʀ. $yIPO.RgOAEgS}R֔0·^!Cr{|j)Gkh *jwٻavrߎ_pa5S+H!npõ)7u7(MDk̘z\{ۧEkA'{Uڏф5+죖Į``M#l6R*`nqC5HAԮG߼4F!5oewPhr\ 2 +s u^ƩJuiDK-s 6뾹j<ڞ0^Iq~x*x=8`ĭVtqMՒs^mO\o Qw- b)ַRNܲLՎrK֒Jn$lBK5kb ی2`NJe4CݲvA-{>7%\5V]#CgD}9^>cK^0v2=2E!%xCU934M|cz8+݄.ks7::zN$b50'櫖I~3N>6w[ܖ '|/"#'˂b:|a*BTuB;2ŀv (0O8coC|5.mL)%$O`M4hd; cV@; K'PL4<ߎŕ辪`f$*[NQ$6 èBބlV[S%nfMd$͋"F؋E}(MڮleUo ,| ڳ;~Nq7M u(𹄥WEM6BledQy7onv 0@*>ٕrZ_dbg߉V6afkg?$uVᄳuY5DvZUܲ(ד>(yQVQ1CμN#[cITVrn"bp^8R_Ů牼'hg9cC~A;¶R̙nw2eguώ|FK/例27 3\xyy-˃Gu$q߾RQɃ߂(afvYΫDF= DNj*ZC&Em|z}i~Dm%¼%e̵=w4'g\G# sԈEUӛ؎C/'g ݵ%pV&AUvgq!yߢ #֢?(:yfe.Pc9%'P̂%h"2+͟cúhU*0_Q8sU<3,`+ײqT.&-&pfil9xZgon4/b{5(PjgU[+vaûWLxxw+*3af SMkD ˣ|+4҆1oƍyjxp)~DFm3%[Iu#KOG5QW܇2_A7rMU΀Z1{)=g0z\b_N'/G.BƋ|{>RY]ͼ;Omvݻg!jPaGK_ %)ѥa1Atnx^L e#v(j_:D~~ֽe{ 7Ymgǎqy?<Ŋqz/ mu>zLݘ=Iu0چxgJ_6X`{[L065!AɉhxDûd:s'YKgc,u0ݶ(xjސQ_ר 7{aaɳ}ڣ+/UaNH{wy#Sۇ"E"}o΋Ko{Oq[,+͛AGPYd3ǼkeZ_cȢUn3"DGPd1eqsA~䎑Nۯ3HK2qmZL!.`w~nC[0kDʩRkd}FdhS$פ+9(8DQnn$}LMi*ҡFsPr LDt .i5f 63dEMq^ϑulG䒯pԜ`{5Jj}1!BUoÝy&:EC<"z3'p'%U21NV5Z24YC以RunٌU<~A0ztS}\eŜ/ ML]躾oQ5pf#4"nx`'>\A]Օ"o`߫Z/Q`N'jB$7P?M/I) qSc6{a~kbӚ/\;YC8 gѡYk 7 =ގr%(P9ƪO._Xr3ʤ^!kk:ѭOH[ϼjD@-D'bÅ'@"z[ O.V zSpOG&'^^:# XBtoN G??,'XS43P8'HZF@**~WEW+@-).,'y(;ʫ~ٲO)V3j%b.Nٝ۩Uڹ)2iގM+8>hlPq4nTշ &5a}ʰp>ܹIؔ-%!P(h=mJ /j;veyư (F-SF>q>G%Z_X0?i~y q3YؿWË^i9nl߉jg[b!@'r9e{JxQ⢃5l&'-Kp:؊)Yvή1~`7C4"G#de fd%EV-Lhq>̱bjlq(tRט2C"ĵ[=h?ޗ_h$UG%!sDt/jO1پ*+1X*-ZF+[&|{U$36X-c` |4?@wvk{**Y]>S[M s='lwHX"M)$|OyZ ur}3#; ഖqf_3L^:܂sF% ߽N?Lw * d_B Ҭs/3ڥi>3xv#蒀3JҴ@Dp VʩYTӎVnvf$fT A<}n:.ȼiهF1=>}]l/xɔr.Xƶ{a>,Az2.ԿRhabXB*%!ei77 ))Ѻ3sYP{x}fqOFWn}KCW[ɗAoʄ3.c7P h;ѭ td(y >RgsZ&N) \v,lW(3d/}Z[@5Pf`k{ٖhpí- |*u۳/)}7 k >ZŦZza2釘u?kXK;[[$/kp| 8I<9F1 Md.kj&^- Hnv֬*хŇŸtĕ=X/jeÎ.e= n;j(*V'<)[ʭ{ V]ҏ Y{WlD|A|1 F. ceW B>-lh2mMTܾtf21hkD*]{բGDwՏ#u\Ro3J/4&!?,ۆ &yܯlt+8DÔ+ޡDDI kew04(;9p8B6# /eNE/ J%8îlP%v;(1 UP PE=t,EYbeE}_rՂ'mdKNkr;?K ~z_<|D3ȳӝ&K|rAk9|srfQԢs̓8 T1f&Z՚n  hn?Zꛈ#FCο}~a68/w+8lUg"P|=Yd` ?Ԯ~#kt :0[6__uDX.sXd2K4otiP@(Y:-$ۙR7$C29_l+#vK12op p #gaHxL^D/'`Fǩ"Ŧ94+FlVqm_6ILyF9;|l""H;cǹ|*v!FԳ $][D>ۄ ܜْTOl1t U[tf`+ /OT`ͱzhk!͛ziURҮm&xJHC0 o>㳊1r`6jI7hC@EPDj&+'|y;]-=%rlHاvm[p2ń}ީ*G<*`;Cՙ/=R.\YpDbKh[8eM"]ZHDF8[$y%tG0A}뼸=!@uAZL<m8`{O߫G;/Qmw9HmtmZKo(!n* {laA95n? ЈXִ%9ut" siwiTDj2bOR6)pznc~H06Hvݽu{n )=u&𚖞XfE?SMg1͔U&3Ӊ g[ߕrQQ{AAںPD3"$"/ǃ-!=r )V/ȕ ؒvZu$٘^rsFŠ?v y32@TP t-Lym+񼕹;%%5E7-66)x1+Uw5l1Keu^75%śt4y&t^CivR۔ZXu#BTLM!$N0=VW%{Vǐ4)-qK-lSdN!žbFIf@>j^nL@A6GRqFeL oJ^WK˙nxFm!) PtO\5A lcFoA=tV5^-VV!Ojj.0\kvb|,u=/G"m71ٍu-n͗l_-0=B)zI'jHS'  eMszjS~`>9 6%AΞŗqCc8^b*dƪ&w%hÜ2ԑxi7ߩehMBSeO"QY's w_uS;ٖ5$Ԭ?➄ny2ۺN-ҷd;fOJ+jRUpؔ(J=rlT\&2,-j)"t@"G轳 hf6++yn M\V5Z}JprkkE9w!]ж,mgMp 99={(KγvDZ !{aL )PuCƴ0+A†kiasI /mcפ2ŖiJ>EJ F. 2Lg%Pg4np6Pbvpúv~#=sa$OBtlj8[V^ A\Kp . !Gޓtkf =QUE_T2򼲃5C/A3~P.)>XK%kCωAM ՕU(j(Xh ލ`GDCs8r` |mXJgdF@.8L dhѨ xPsDx/,M7?EhYJqWOܔh@ D[- ;ߪ*4bLpӟPp4CƧ }S4# cHv4b X0Wh<<,?NN(nfAHFϘN>킲Q!T. e8#(ܦ8HmLkִ$l ԗ:Nrbs>$k2E*᠆t e`̯>o1T*3)hgƾ2f!(n`|mrqD],al ˸"6*=־f{d%?5L+ĨM~.K ȫۑ䞂OyRVɼמiof@T{Y2k$$^xv_FA_p~dT9EU 􀦲OՉ3{ǰ܁1Tp˗ك6J[y|hpӝ,~}UF;~R }){Dx5._$qַu@c\(-5 qց?Sv ^HCBWZ H@uSó#po _u _;ڎ5*W:zAK $rT%)Y{-\_,jd3 >A]TQ#JtGB-HEaHz8|u^p>wgDt_1 HWbLzBp_P# -<n{K)Fq/?DWR$\v;FAg5v4we4E_7 g{SKm͚y%gzи0㸈bg'fV|\i^9J3)4msvGX)cErc;qu\a_vC3k)ec)88w@: 8}ŠܴhάWÓ@֏h;ZT"ߖB#7#Y6iok2mȭ0X<ʎoA{NO0?+Eͧ_uߥl)&cƿzANu)2~.S/9fz &n3v6>6bnf(v[!"'ϒlzDiԁQA{V"~=4xa\e@ذRBDs"H'YZQMM (UY8 |M hEM &^p> BՋ{N,cFpƷp`SJ>VXm OT ~wٞ 1 Mdg"%ƲC:_f/ӅfZVs?Q U(cyo4~r x+ܔwie AdKꁕ;дu>Kdr S!Ool2Jt1%?TVQymlSC^6]ko73 tj}ju.)4Cw)Iϖ=hYVs֐[V%jSWVHD]s53ݞ- `PAK2jY%:.{arIEVt*E'}GMwh}Q:a ='Ǡ:j?id>7dtx(lB6[# pC@ r;5pGUe/>*=&qDڣߺrI<2IaGR)ÕsyS.!Qq3y7ØX _u3dIs<iiС2Syy`gg]K\ Ƞr~c5fUV,i)L!x#Mݪ pTB@ok={& :z4 A '/b F .K29hIWn@.N#5SlxK3s@6M^CU51LKiZc2raY7> hNN]A˲er\;& 0/e i;[j9-멤Z|>Nbl "!*Ŧ*I1e4?5~at`N6N"7]m: d 3+t9$ &m6󚈠W$ ԅAcTΦg;f(xweh;KVv?bp>tWH=O1K (~~6 f* |R!- {}azk_!ODpk~$_ͥx&nqE 4ˣ/Jnx4j H\eŗl4U9I,>{HpXT!`฻Ǟc!R!zsLͶ|Е9+:e LE'H" }[=WЫ<h(.ItlAFIFQKg-E.[)@P *YNM|4fIid~ԧc*=y2--GBcWԧ[w+27wќA9!zZ6.4} 1iTzQ;>]v!4͹ XRZ3Fn[v߲pҼ ndJk(Y382K߬=][dp f3G+ڒ 3(6m̟K۶9D '6Y*`0q:r FRd(s3@ KSU~Ѣu8Lˊj1;ȷ QF΍\2c'aH)r_;.-/SӐON^inoV F!AjaXoZn'U]Gwjg)Vؚm*fh#&ò5( "H;LR[RNBenh4HudZOr>ͫ(쥲_v88 LNryK)clw$tfuqsR!gbk-^-3%(TLWII}>o}[cᱰN+n, AEՐgm-E W+\&H(^C^>̾C,cLiSoKhBՔ(.|W%z:!G>R(6R9>v42.WYUM.%kܴgrJף/CVHΊӨu)o!ŋx  zXfmm`- MLhڳN|U:\.>9V3I`_'"hIpwy mL cИѴ>~vI?TW<hRƓY'^%HuWQp}H~{ZQf5(4)8`"&@Ue3J4Rɨ+:#r%M0?U O„ﶸ2V)ŋEHG7`kuNC7F8r>-$hBܻ,5ƎwHnQI6 UX­vT,j!3}R\2*Ϳ%f*u5tL0N2*\0!C;`w |H4WM{5,RJZ'5M7`yBn7;K9*Y 3>/Q|X#myNԗRItw%Col.E.\S3Oت&+N1_;\&vx lhBUsi5Z>} ,FH( ȫ1w߱#RZiE8vҤ5Md;e26ZgC7es߬P_z1M40>=шb@ #lͩΥ7OrpH g>QBh٧ \$.Q ^P#Hd/e t='ORrvEڝ<./*Elt^M\C@ +Kaj8?Jk}Eux)>xn5Ԏ9V1-BMLaHb]JJxXL8 + &|J=쥈E@Є2kZG rx6]2{i"tuNik'>"ˉf2l׸%ouuWx9ilÖ)wf"bƆhjV[0BPaf07l"ݻJv78" S=jK axP7%yvŚ<?Hܪt:Jd B_pzlw%DWxInYxZa[N*h#B݊k\1o!#:^.n!V8ZXQ8[-Smj"#+s8!U_W$>TEĴͅ)mۄ+#:NS "uLCjg@VքGG 4h"z}e93Wt`DMϕهJ:L%P'\{wtAȝ@DYb I)kgj/i9Q+ELrU9^ _o;B^73c1f80+?]S]ϹnP!hmc4 eun'r&eO`µ|WhdV>tiƪMĽ; kX`E@.voM=HC`D]3|"9AWS s!w=܀Upkoi,2R;Ym'Z^![jGgLJ&PˆȠ7lXC/mѼ4NCyz}:PA|7K=ߐT:i噚˻`)j.VjbSZ%a xDʙ%㸈嶫عW<Ѐ#V,k KD7R(X5Sroڸ:]v 寙Nj9x!15H$i WzdƗqkH&JHyʘp]hKd\(TVј!v3 ٗR? ۯ2AoҴDe n&p͹:b2*JJr=GH?#oڧuE j9ۂs^ yQ|\&v(9X: 5hO: _-R!z[*!n{/96Ynf ߨNΘ!P{L{>L-peEU}!!;]k8r^-:y }䢩Q!˛aKH-  Xuو|dٿ8)'{a|@5ND7 >7Iq yŀqV]g$//2!" /1k.ȡy9ֽ!K3cx4S(?HJ}[KiB j"فįm_8&|tm-C@dJ/TYbү]e,ۯ4]EouD{e^ѳW9 nP}ѝՑV)M*sqY2#%|xrbܽ+}bFs02䚷$'ZvxBXtpBa˙ǎxVCnKnvnKbr[/o9SkT>HGwW#B,̾a(yb 1,VVPŷNG \A%v!8Z>seC}O$ɜeC졋AX'*vVFip[|S5]4L  N,v -QӮtP_caDKcN(4ݵV~-)t6h謥qE`.= Uw$ 5э>*(H~d FU{Q}l7iEo[`5kCns \ކ|)/qJ _".i31kRЮ66hWw`8\([T !;-5-N5-7C6%o.H`uqde/T9_cHX0s'nW}';AGH(p rw~u`'= Cvol^RBܙVP;BJ6xrH8U3 {*_:8q&h*x\\= T2^."}{!fXWJJjb~\h˅`Vͻ7 TQv<?<͙(áfOB~#,iGRܬc!7 Vbd oƐ, LbhcXay/\40͜aqZ~[? vEFqܩ٬t?Eʿa շǾ+5?Xs H{ ~i9IXo !ٷ% x.x΍S1two,("fSJ & ׽f" +,KST: `|aGu=~[F^aKφ4q x%]/ ,Xaz&Mc͛,b}lW#9:]HaUwDOoc*DۥLJqu0 %r,j5YH( h`rpW<*{WtqRm=>7*0{|mil< 8%F I2aMB k -]xx κͩq@fhAW䮘;K\҉ 65}}=ˋb/[mNz앂::Te6ߝ>z 2{NmBfX$ ޵%eb?Pq ʈܕ/2j6mBr:|)|~q\!=iyЀfE#H^GN #23SЮL-RG2&6VUгl~,%47G6Đ*idDq7aq 4KSY9}'1$' ˅V$q>u/Ö̙=ZU _ؒ(<x^f.*m8H:8/=/)y}@Xw'Z9iq~4,{`/߉̫H9HU`+L_rJ?gSwn\D@H->LX@HWA9܍o&T^; zc&wFIa>YG&=uFj[r1kѻ" ꃀt3z句)6[Eym">kXOmeFk۬WbB* Hܼ5O2HCtkI"G Av|ejŬ.eF2#.QEP@d'Ng˘ɽv Ӈö|fZJl$G,DT 0ò=z7U\f7wqXl12S۶SYnTHSbǏG9xf>!ߚnpe]2sq9^4c{[N,ۣ뭃~UOt\ͣܠHJ;[tڌ^UEGʑhһ(*?_Vuz+h;2cCY.Xdzlr~p?u* b1pujG>݉1Dl&\i+% o;GD2z{R~Vu@ lu~\du_Ib Z 0-@î[k1EM0P[ᩊi ~D>49U}K7sF On5muY qaK\ ہ5Jk;UM M(yDl wN & kdB4~nEM[_ܪ}*]brJy'Y#- kd[ g;> ?!倱Ry5 ̓-L'.׮.+cf-,poc68'ˑ 58(M䏫 c?EjkyC.!p$ȩ@4JWS3k|ICV=SH=|/jyK\7C\^OFߠX x>:E#\@GVV60~C+^Gcezs 3|)بye#ÙDry4$tǨzB<9~'o񎧌KTk}bp^,/_< y: LXﱬ7,ɠ섍> RBTGQju@):lIJ[ 3z/j=jqe C8'^=TUP'7M-rꢭ?jѠtmbȨzP}ȝ xht7ҭvx)T:e0t1䢸4?|u%ip1`Fx\ I&y WsfOVvL 35( +k C…@x0B1 76>ܵtmgA]Mk#ׄk=^fy]Nh%VWtp+@(_πdmrT.nYf&#4g[c NsM"w.yŢCdk US+yc= HC2uXy!~RSgORrxpI^"^^ +^%~9Ln|ѫ@do#i~(#C47}Q yo pbH'HGtViu6KZH׶|QNGs @6- nZ#P  +Χa`@%D y$)M_=Oe`"< z&4Nw+V;b쁂MTU~J%O`"^K@s7£S;P)"GkI(vgYZ37f7c98838485a127e0848b418cfeca7814d8b93eb06bb30852b87bf08fc9bc974d190b6e06c78ba29bb447cd1577ec0aa5124f06355b633d1fcf434