SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  !DD ]]]HOL-Proofs:threads=2elapsed=1071.851cpu=1983.300gc=183.772factor=1.857zXZִF! []ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb JY%l*y_ Ev5SjA%6%!r+(MɶM֭&vn$ǛhxDz[cm(/1]P@|AEVr}(0pȎn|dqų5.wAU|\~ꕝ %5l^fe}dwneOU@ IW]a>4 jnG)vsfZlr8UO\K]B! Ow\?%~Va8jDQTά42NEĵCS ӑ 0/^cNqFƍĜݐMj'  ! HOL-Proofs  \yJy~7n G}6i}Te\- S@=jZ2#BEekY8p_+R9 -ʣFQUE(#_rDN6NנI a]9F^S%:ubdvqGzf޲YXXdK҈^.?z i@L\;Ki5spy+h?X La٢{%B%vƝJtm?PQvY.xGIGL5D&خBy/ ;65cvVe]{at V k "XH[;!~ef BI09O 揕((VJ";^7[͝*fm7Rn aq9~PIg0^@DHy˼lPNl8hgQ/2mW"90L~Q?+3dVc#9cъ̙]nDxFk3]5;V hbHb'izGjT``?< yzy vKSiw@hKRV 1epíI2Al?be>V?PA ͕TZЇ4wX22u";N Dr]}UAڑ+Bwo@/(%o%0y'`RZIeC`rWdra[qE_up|2gZڮ>9XyۑZϯ"[gMo%.ý5g XVLϹQ[r1x'/,+k~nS\չ#^O C"C%+V&Gl"zTU b$5fѨ|\kᙞx,BTX/̼ .sޭB#J%pڰT-w)[eJi:t~xPJj'K);6Iބ}23R(!KYd~J!v$sXQ%#׈ķ\W$ `6WEE&&Q9Oj(Y*궛'86 O٫ϥcefZ<-bvz0+`R,7Hcͣ\(&kQ`rt,EvⅯ?ׯ iN݋_9UC+"Fvr,jA=;AWc&G I-)EnWY1_];&x܇ q9#[}n3?wp ~TyO(շx>^%*jz7&霣\3B{*w!05{9HIgA2$Z _Fl\hx*8^F}DȀAI:BrSlb H13c#ZY:,@('֔yP` }na9fLΫ.SdZDЂl1N^%[tN&6!2/"d%f!1 nE% >;瞳(5 `|' ' vD\- ~OC<)#[;ޚNO%#ũ@˹ h"sBHKR)Kn#MuOk51q8nl'Phyhet-`K3(2P'ˉ#,,3׻?D9&@).a\8" mYvv0>g"=%EMx7}b)FpX@tD岭L} Ez, w+OHXX ̼ptRws3~(`.yGS1`6!QW;Qe_C9~YaOˉ¸<LNԳ˯p F7cf,Δ ,v`Ca۲-U86\ئmYr NT XvgZ*~S?}c"V;iZzn}Y, zrb ^dKF@=0Eꋔڛf L5aB*Ӫ>ڟfG{K7hM :#fxԗQşl@ъܵ <9֎¯Ow}JzЦ@7j'~UIa5D{JRA-z0K[آ$R"M݃ j se- z Mou5:Hy&Ok(Ukl6r3ǡӽ1bu0z#D9O ^y5Ɗu2iل}ǎDnǂUyT኷oCy+z rp/Ԋi?Uu p<% ]Z{yidHbg+m{p+IGrw*#e'kぉW2aگ$ۈ|ͳXI!@sૉ̯՗:`=Sqآo첇ood*6 O"YDG$yZr++Xz/%3U :܀Nt.ĉ:мH%9^z_nnCv;sJqzȜ;D^<$j}m{ cgdBB_.DDbn(O,9030gf:Գ6;u'օe͸4 Ƹqb#< 11?6h l(DtUkl'T2 A b #rcKQH6zcI𝏋f3_mt92䆋ϓ L,L(&`ҩx,0;z0?3nU0U^_|;N<0 ɫcEL@); Q_ږŕL`=  ?t |5HB.adke߀ nD"+6RL9`ȍI01paEo{؃goH.9샞,aURZb;6i.H9r|iy!sjJ>W|jV"'H~ 0O䩟1~ "vIxAs*&y "ѫUyMRá,tG:/>]Mbh%B|tO3 1Vz%=)xw \awM2=d?WCl ]L,Csv,Qʣ" k 4SKt[:[~ tUn/Ӓ'k^IJh[dyFKO?a Bl~&Q+cj %!#sewNF;`.#LQD v =cXkx@O2UI-2=pU: (N4os$$sG{B\j;-±LwʰfS$RŶӘ!G:XQ9Be![f\=[wˌ ~,>҉(}ۿ0)޾.$?uPg{Yzff_ Oc_4C W 1b >mToB,%^7Aud`D}併_]|s$Hh nQ6 i:>)GL^54{rq'Cw֌K. y+YZzT:3Ԗvȃ첥͂Vyi;l YX+}ibgKJNB^yl??T?/nەCm]H{wN1&:n-pAs26q>r3jgse[5*XXξ K*5RRxw6I}$gA hC)7aCzZ I&1Kh,j#J9H@2zY:2WԐgYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*XKr@~ AaC.A"c%@<'e;ڵ*g&HrafWb 'xwf!y{pv6?ԍԆ/m԰q$ͩ.vuX݃Sn"aEy{Ce1jZ.S<\-eׂq_Netz| (g a^ _ǗwRYy?Kdtܐ#Z;L`oKZ,% T%8EN$V&7&a2׵Ҿ ,?W/Xʖo&5) `RV 㷘2m/WO! ) TPPn>I F% ~5.ո!(@v_.>t3d vøch LȇT,?vx%\@F1F5;>bhO71ꤋU.ɨ,p!nJZ +ܓ?5 K`j1 5rF Ţ ^#EuKxscp<&G[gh\Bn22J=ӯM`+]~_>jsF[*"Fksh6"t"LbFqPLyK2/PwSnJΎ298+- 0R!IzoԱaDA M}r*Vx 2*d9e_.YfP""40ff;`@ M}e_ siжgw(`L\e9b4y"ՠBM?%ZϻZ]T59܎op-k0Sb4AIwIFv ּt*:_ I>=p Lַ_2'wD`-+\ O"'+JFE~s[?@/ [sٿ-X2N(`zjن{J,Ü=ׄj..# wä%v#dṠrW XhU+% %;BfVQP!s[ඊt q$A#n16Ac hMpIe+#uP]PosLB\jXvQKNym }q>ݱyL`~?(PϋH+e`T$TzQ z2[ARݬ|QA)L:@F-c26$CnQj“-mPmZrg*c]mАdPڄ)jĚIk"CT8{do:ڝz`>04-,qw=vXMS<ۛFP}ν¬$RJ}{q`Oy$}<1',޼NUfG6F&w,N0[D=p=Fn<3աad#^J0SM4Ns'fekIg4n5'}ƬIA;,[cy&,^i,>HΙIvC&i F[M!d\{03;MiɋOihgRNE$ʮkKJpquW 9f$i77wΩ 2.H~w;R5V2FRDT]&-CRwHu  &֢K13SzAC2v  PyKlQ}#hfPwg7ɰHB[6eʔ.R :n؜6d6}m.a@=QTf\ZFn C\[zjE0k\+b29:D<&xri,~U$"P:fiGPJ'\W[ۭ1E0cZNSz ;96dE.u_5A0Cñj!w1QhԄma ngIL->HlT;pqفRe7dS3t\3Oyē OӳkV"qвB+Εg mԉ^XZ' "ƣ$!᪆U紜ȱ8ݦh>fb@Xw 9wR9}5Ѓwy̺ &ٍ>3O_0[j~hNwlgt%n(eiEUP澬X"4Z&s:h 򸚱| ]-SL^nm.o6[ ^0`1y|8Z)ۛ >HeH`64?F.0Q{:ÛWZ|o^'c- Q',rZ3%a"?jO 7(bIH'4慑нʖ , W?T,.un585Q@R]Qj_Np&ޠhk}^T@;:} m3%&n5H  GD$]o@lk  橰FSuO3Mlr?&@Q/uA*lr:EMTsV@5lk()n@x7'g ]}=ojh ji{Dv*XJ~>LwXrg坄̣|_h j$KU ^w)!_2*:OMp]SB!Ԉ.?N^z} /ă:)jDt'ޣԽFb/7-qKJ~|x^; 8u0lx@݂ֈޚh] rP1QS%A@񇰚W,ȉ M~c$VX]e9)s5G~dϷ/s(Jl!Vj_/&ȶG<\/h(+?-$<[jM]`xC7?rX sSqi)ڞ- 6Fo/(QVǼ gEj>[MZl7|./g3X#maVc :4_={T)z0t}I,xӾPeS[+ElR\ܳbq5<ƈf>ql(bT yh!>@/zKU#{yXȑ@{̘'J1_l7b N]vM Է3uJ.\J4^'ΰq6d LE8nܘyinc#PT Ot]{{~-S1ی@AJ/3 TղͰ?bz+իL5aNCOv7*O”U1R%I]#q9 {Fu[/'ǩ u4du^(VE/>LeC콘?ȇf^#6zܦ^$ś]-qӫ}.o ]ro }DdM< 0h8RVNj\rPd9aN&6}pH7oLKxr +(I-()I^7!}{)ZiR\8q1C@#( ^tjB@I?9ǟЈnT1ը9j4[ED sڡI,񨖩7'ږ{=8QUtՎB~D99H[`;;oW Po+c|"У@a@.L΄3"'oir,$L5?%zCA WU* %tⅱT=0$Jz:ɐ< qUU lçw'|}'+# YƉޑ>rD|)29_ H*'Q_(Z[#vXE鮨e1x5{/Ŭ{e8MP"#5H`^lu.SaJ_(f 4f>h[,5r UtjZ^L+r<=VzAmgXl *&fk/_tN9g#?E4קOsBȦgCn(E3$cE7H]VF[TС=Uo$IE*E|&?*=An ,LԷ[ e^/iA#,od$o_߆;|1(?[$[LΘnw0l{ߥVȅuNq9P?D"D ^Xs 7<+J".l 1zEv-&Zvd#MJl  erUM.=:P<cOQ5er<, ͮ?fE+ϗe(ӢF+5mݵtخ?$3$k>ʜIЋZ/O K#ɔt@5u\g3#~K+WrPG+gx N: yO^4KF#wIXcY)}/}1^_(Z $?:u8Rx.)ߚ2 n_}$لx&5+υ $~{̭<\E+ǚ |}9J0KMs@n#޶ v}gooeir8xZm.,K). 刱_u(cwt)_y5o&vKdjr]JorDKĚ~qXiWQo.m~*d߇;xzP˾#aˮ`-wM>qE r\]/y{!Ǽ݅m7;P>GYRQǐF@SV{de{Ϛ 1JjUz&%F\iX^l)PApmhT%hZAEsv,N--ba򄮟pSs7f<-MqmCSR sQ|;$t5`>Eo,Rd6A _˶GE);OsH/@}#.1#@9vUįBSde> 1 QI~zcRfFS_arAcF0_I`\6qgI =p6hzDISk˥-ձĽhhȲ0 صe'܏MS+.ʐ;(ۡ /vt+ N}u_F7Ӑ%pO' jP 3fZfxR'+5]L{RYyWBL9=(-^w|N|n-tFw+;4.7!kv EM 8U\e^XyniB+V~FG'{Fe.jub^ݾh~O=‚MRn= wYWr#(Oᮩ"SDŽzT. `p$I ʵV Ҹ?W8pvYZOsAcpzBl*b셑m{`%!Nd6=s>LqF|ȼrLiO'&ǩc'dWtKd!,ǘVj&땋q*9yВR2%ϫp9H!:= CX7=e8xB 4amSҲuojo?IIT+MFVj̆==0S"A Y3ω7T~e}tƣpǽꪨ4ur>֮iJCJzg /~EՋ%z`\#6 o`iT> vJ~@L T~y2Rbo]gHWI쵷9p󬪯}ec攈l^fjyxc-Z\*30ԙ{vAbظ&pރLR+櫢'kdΔdYe)Av#9O^鶙­A{+fkw7a"_d1AXee?kJvk'CkJ> .QA%d[h$Frďhe OO(쳛/! !c*!kvg N*Iӥl$*XseIE-GZ-R{X9pW`|ʾ9of>[.l(-+JW,V4čLaZ^ :b]9ܺmRy@$ȝ+dE D$|B[|R&z橑to3dl,ώ v;VwB<3!AB]'bKy@_:ʽ[sCih@J9*0eẏYR[H6x_n_ߴ0PڶЛ|: &8?%_L2JhR@~3I-cYP?->[QWh+f EuEA}~V3V#IfkP2![/F^YR3MjLS5_d/me0郇E=Hx /~p%nPQ( ψ<0gDssrn)PMB"e{wP~rTRaATov[5"ޟ -6NXXoSo/6鳫j} ]r(Fo+ټ%m4h+͒2e-f$ EQAftŸy_A-Bk6w ưr 7ro2{ƍh* yX[ ۵w5Ţ"k@pƼw;\Ӧw$@=TDxb=@"^ޒ*UX<{e̴M k1F68BTv+.`Z2U->ӲpI^* drL?N;ǕCًUD6\e*+8II}! ʽJרdJSnv _SKoܷ΅#iM{5]nD> I0`TI# ;D[WuE;H4}'ez iMg%# ^!I]MVO8g* n(4ﺯNsynts' aߜ3 1~|ۃ'\TIy"Ho.k8P~[ ͮ--zS#&ǮV@Ϧ_k~&}ޒ/G}@/z<i܊uPlGnbrsaDlbЌs(&83*sjI:FllNBd6F؏×뭠S60Xax[xTrڰ~ëߘje+Z˶P0; ["J"T[^'HT +=-]"ߨ9"= ZSNH/h :LHx6O~6wVOYR'ɀH@}l-YH ෹Q训>}WXP;N!# Ǥ$ o}xu>|&=:#aBeVx=} C;RYyA\o!}v GH}Gߛd6g{K4Dߞ.3ݮ0BͶEhʁKlWkDK-ݝ%a6DJd]C獞݄:Kϻ_"Ǜs"c),~M&_2 Uh~,|!=7l3\n/8XAMk ԑB ḿP{5.(b|ow Yuk!I XU hiajn #\ux>)͚rh¿4sТɪ+$^, m+]qy}+)V3, ) ZJY~1I007;n|HޒEkY͞l}M_tGҍ åSW)f5 C"T"ml>q6MjS8>6E$!A/x>Zq@@u4U3f3lfY,H 9X\2,-JEV!2\ӐiOI\>gx̟HQ)3Q+{hlfבu҆M#\E9R7WIPl*)#ȎK p( f!"dڹwwȹgWWK`dfZR=xSLĢ{MuiGY%ίu1`ݫl H>XEKxGiw[HNx'#)^>p ! )::_&%*if=Ij2RXj]GOѸk#5c.кԲjL-c'$+4=wR1VDdYqbmh'uFJ/rZj@brfk<߿YwvPُ 3VIhVy%C/P'l1ޣ 0.k/s0Q[\6~bࡁW Qݬd!E边wŀDgbwϰjuʜ%0YXXª<3:("3T2a˚ݬქw['NEh u~vke/#d QU '`_kL UQ(VV+-yˌ]QSvtl{޺%e`f;̷VNf抈7 fފzٜ&SU; 0PNaD!hNIr2 (OVz7p /h+CKPI²*gS w1xH_4GkAS01R!񬖌u7YWa6W$D,ɄR$Q U))uAWo`,U_8Tυu/(X 8\)-n;'SciV }C?R8ߑ1bR}n :{2BmNz( pO)\NB+ K6N3~I`Bi03z;-\~L32eZ9'ǔIaCRpT$~@w_\Cj7HXֆc a Pmf9Vf Q+p,pqAW[zb[6κ|;h) x4Pa?djhQ/gN"V{V0+zWJ#V"rUSx 5wKӭch|1ZE-saQ)πΝZ| (©K4 YࢭdJ_ޒ(NruY|</ΜBHhQ"RyY(մy]G7ly_MEVEvN^v@yK -%wi4&L{: g#Ol#q5Y ^k.5Sr0ݷ<#cUT}ЕYd) jΆR>NB6>R1x@@)bOLh ZS1g.m{?ޔR/ke`LuR!v̧ͧ ",.!dhPÝdZdd^2&&5j XPo<Јl[aԐʇzܑ) KeUx1zT-2H7+O[Z( xVIq=azT:wcXǟضVs7IkPd[ج d\vUd|AmS̔d6d@]?{V.i.G)g03'Z'AI8lMEφx~0FȌuc躣" uӫƔwM}c89̫G0O1N/Ad_=Y3+HfTʜ12dsNNqp&AƒX X~@ AQqׄDoɄlcyTc*Xo1\f:g֋1 IS=M'Мe3IdSo OqHN 8CZ(B-ʼnOM ^q*H%Dݽܒ?U5Jq/ e$d{ '6U[#A+n8»lwE߇lrϨVb_C^L@'?[H?#՗w 3d+-iv}`jE0HdÒE^qL[] PUa\gեlcN4璩QqIaz(즂 EQ:=𬚝Ү,,6U"v혫N*nc7曤2|FO!Jio[`[0vpd"_SD2V{;wIBO㲼 9vA{];l;嫹<7/Z(uD^zOh~Ȏ9y"gՖhDzĺ*auK~kj_ؒVͼ=>!Z'xzrT󤊽Al ݫ]~l.jF_0nȦ^ C9%@J5!nmY^ⷹ7y qrg$=F~0,U 4Y4P}Y0>MK |ܪfP69]kCgиTaGab']팖OfIܚL6w{\oyq'M׌Ccu.!\RK1ܦ0$ iFQV8p*m룶ŏ6jE1s'?(R}jȱLMfFx$xWoeV\RIZwqF.&,d$7/n>@';U1fMgĕxb@Pε ɾ*cUb{.;ߒ)7|%E%m=7eySF> r ) JU\rR4m$\6ϱȏY|L^K`/I| < &K.+ꞽ<PvZ{zC]W_HL^ ~djzvl' qݭ}b  ^#gɂB,̕QRE((Q~2$E&OԢC ;_X[ez57DN}ƥ݅Mj/ dqB!y3KVo?%Ǖ۸S#qƲF㠰3Z<8닳 IUbt^%/p65H5yN[3RR+&G ;W4 h Iw/rMAM7Z< yg%΅>&FG ŹTU&Wx3QpRKT&}l1Xb4W@woR$H A}ieQ5Lq̕&?wHq'+crCDKYiHG*lQR$}lhA] %Gfˇ8dƔNf[cTTP1?Иiwžb42& :!_O>̴raŋ*>hYQlD&vYl.R7X^N"}ַ@U%b88qYEQEVeRk7OùzA|H'cJf׏yD5]?$(x PY Av iI TJ/}$4Mݨ@#Z'%?~ElNJr̿)9K7f#OQ~ZpYJx U.b74q9ݹ n5)쥔?A_8tJk Z]'/*H,DԠlAN=&uBp!ce&5ɮ.1Gy {|-L`_2^mq/Җ ԶZuH.}ÃSvKv9 I4~Qs IG{8M{1P24ewPݦV-(HՋ&Hrry~?knwJPDd^jƠnkVI(]'Z+k̝fOh)qѝ$7:WaN=Hr 랹݆FÿɎ(or$E*,h$3S P)[4oGv.w]s;P@Uå1"3lm 嘧S7c OYظq2a:أDS G`[j8@)˟tpI:[[T}v4 Că<\"oLD*rNz ʌe)읡a 9[`PYZ$ F^ qdkݕiXGuI&ϦIHp^ .Z*:vk~T9-M)ϡc#,IWkV&\mrQp1c^:j[;DLǑ&WKKV741į>gr3I}4h ؿ)+[ńi5Y ?C_|vD#Q}l|1Sw/u6u*/`zlC 7l"q"@ Ԥ€'-S_e ֯<ԫp$<:_&nrЯ!INlƆ7+"c(_9]yM$ۮʣGVO$ThF\fv艌]>2SJ>R4_4eDo-'!FI$cֻ,wt<>-{-Mg=ʪpʰq?UF^j: xdұz,g r}6[]3ņt+ڥm+ahn .}~x)eܶ`PY󝰶TGH !͕.&SS5:md H۶!j#A=h܊=| la!$WwኺKr@($ yFWW2j<$aDI_aJ fֽՖYQb1wN4a|F!L=*a"Z nUCyimwvS ޓR. w>xEI]5 gwT`}-ID*T/ 62 3樄@O1[*2H.('!0Dv$b@ϠSҚWV]TE<{GXyz?XfyR1X'kF?H6 Kצkes@Pƥr$LB sy6iVjUGUe3GP'l4j_U _ EW5g"ªB텔ϰHa?E #YrLGzu&Hy0l]։/L@ĮX!Mruʌ靠NanQW4u=L{ ѳ.Ͳ yEOPjr1/#<9tzL">I2]G.E3G6l8vBn¥8”fU,ܗ=K=9xabNff+8)#/TzA>#'{^LùW]c#)m$/F|;:l h [TѰؔNz,][$[DnȖa!76%lzNT$JTx3-?Pcgi_!@jH*Kr(H3.C-'"H4{ dqGyOt_TN\!b| GoؾޣEQ(h&)^VoA^x ژ1uT;=Z@tIZ5w#\w 3Z Qrp Nۊ̼䀷3Py-v@dGk5bH.zh7m-v[ Tɂ\+P_8kjLz- mu?)_ jp;VJ"?~6Icg~c!,0qLI4u#)D]b8bȽWm(߱vLD6)(y0:!~, G Jp.\o0z4Ɋlrs?GvC_~s=Cb8X.n%ʽ\LEA)s..@1VGzӁBSI 枳Up[`{8)fh!C(D{V#ďЮxH0\^?oX!. WY?lBK<fJ>,)慡P}h=v'5l:Gd&/WGTCq}<-^_p/GQX BNO"dZv\ 8dݹs&s# !ë潐*``j@>M)g`LNhA/—y7t]}s6y\˫LdQe0q=tgxdOo1\u HN!qBAe6/?-cT@Ĵ@>}c=]TCSmj6'f)п?9 D%/m"l^sٞi%>WFYAHV!Y&eaڃt@vJI] sU{6f[MsAPQJxi\BYdb7yi]$b>FD@ԑ`><"e4PtG κ{VƝEAx|H{\5zM0q=±-IJ˼ppmeWf^|"PS{]u,XˢЏ*uky8Q#͖CtK?Yc濽0&*41^ʦzAHW B$=lߟz%^E ܉j~72#BHK;|QkÙ2t2a"pj4ǨzQ2h+cszswPݸc ԺJ-2v1Uᮁ_[axZd/Ǵ'^Cn8I ŸCALX6!Odf: 7(5V3O"s nɰBh,*FtnV>n Mۄ_+@KqWLa)o#wm}˓HCGjsM*8"tIt*xf@Xܶ~]'ZtQfl_*Dѳ rJo`U!a=ke!@4r9O5NLNB i80EV#lyd"\8E!_ThU{/+ԫIʟ,LC1CܑR)tZVUMJf&9 "U_34wۯjrϥ5;e"=KB Q_K9?'9/EZa9?ו6 s5Q=ab?;:GA+[ G%ωV %Y7Ro/:=&$bj:;@@St t(tyRKO7:x1u},s{2JOnsè5t`]&ninӴBi# d&`@[,G~AdC lN"0E !T, i)>5(S/5pl kDN( Ɉf)x{1F_dM:p^_'6[ߪ(6ÄAO^C"J90Lhj/ yg}QuMk֛`w[kոaUшui+7$vX p@ikjiLNm ٺnh5[01SlU2 uJgSFqv257sfk^o(| F3L )sC] q5*W%E,MJMAÝ.%FכA /+`v X>e;=~F30-I_[Qn-j,p?H& ^xg^#eB^eqlAq5S{ C 0'XHCOű:a*As7ߍ `+;zߑs_#N5,`ſelPVzRrJ'B.VsN#ͺ,O՚.|%axmUpR^FWafa)XO˜s0_+鯉eV (:Rxӻ@'wr|.fm3eҍ}`5u?| @WQd@`Dm&B%J쬤Эk74Q)!{ z"?wqHJ$c$V 8e$K)8@Ѱ滮W4\^*@bV%OU$ņȇDw>Kk}RUeH= B 5l?}gjIv&#|Yv97;Y1{`*Iunf   m|mLd:LzUaw=Ō.[f4v!p3H\7_EǢ;3uLG|^isppJTq ˗0 Uc7jSBb"F"j->/c?+4zwC `gUZ<P'eLE]Fv=xS/t}+y/˂ihtz]VRGBEwCbU4sOw0dNu:U>䫰"湠H4{մ_nC%sCXěDrK; w@NiK}f|a[{tJa$Z*~MZąkH[PҀظ=Z' OtdļJ*eMy.t!FDa̳"uq;=3= H :glU)/ߠDŽi<4rLSB/FOa7xA6uS m (ѧ`Vm&ށb'>4ҥ2ݨxfY<2# 1ͼ/\Z_Ȕ$R꿡R$2pQClL@!-0\G f!SNHF',XcTLt *!k`k~ veN,_s1EpTwMSalIvKz <9h}DxHK.[(dQzS۰C}1GŃ CrLk.6qtb&4.UIqPIij&%5.J%bJ؁xK4ݵ`ɫZiy1roǯSȆGj4Tu~1pQs*%_(ncKmDFTšӟV~pt .8¢[͈Zb B _[7ꩭ1 iL>$} 5&-%5o"8xV׷qX ĵK{mJKLR?L]ŴK4Wn,7AfN%ceUOYZ6^,j ^'S4i롽1 <ٺy!Ed2NŞ/eDhK-o)Sv6SIY&gJL6wL0T"J|mm&cϻT暿=_{x_(U)jJEVx0&1;\!DV*@LHP&?߱-;Vf|܉NS]TEjq&*Tev' nJUgA#>'.PT` AQGJ`C8EwZpgXG \ Ma'ǀ:3}=EΡ&ڭͿ:% k>j%կ?pKv0K`РOU]'wlW¡oOevCHNh (?z߯NYIKT76Ee654׉xRiGdν,La~[-Rn9^>GONӏv5T~S2qDO_7l A'+8 #̽Dqo5|nWˁ u=KﱩI)EJo:mfDqEmk)Mc.v$B-7ҤL@a~X<-: Y^pr%~d侏wb+'?>aK`^Nh4@YMe=g +3%^G<%|+j ~$ eMMm40߼P.^_u$. |" WFy̭Ŧ J)[m=_b5!{a--yxgT\d]5L@uxJ}˔('eun@Pm~6Q)3VRaJYH+5&n]S6fK dnICmg{A1U7-lu:Z;I$%HL!"eg`/U|R*)m3ҵe܊rrC`J1aGj60c ^{,=-o/Oy{ZɊ{mSh8 S5W֏e@qm1'NE~GDL2sč,vvdXc.QAt;xHy h m6sMBtHm^:'*(D?wT 㓄k0eφY&lD9/GƼd_@˙UIv!dv=1]@sJqO@+\Ni_\ ^X9Rܼ0'*_- 2B8YO%;ogJtʞosju{'^{lZC]"%Z,NKƊ;ΦCBΓ&b9*S^ K7O 8>H&^Wu?y_QOj?|V}RfAJv<q D~:] > V9y&93gN,᲋W,5Wum3{_479LIT`ewP2z~,- j/+ Gv:ٻv9g6{^1u{:\lϩA$YލgTLV%"˘bJ__6HٗL-=ei44IU>J.{<9Xϋ% \uŐ{MVdZ gA4hI%aL76& p͍EK&խ H`Qj"\hcҾU?562eC~ۛ[*H҂f(Xwxo?6_%1#b"UId5ڧCďDzir\r zx7^ecsp@*pX7Z<ν@#G̪ S-Zq 8&< ]D:noV5ᴰ0Igb]Ht"DL{`T=#NC0KiјMRW0Vi]ۢdpE֘DݱkB pEV:6:S+wY-ZTpc QgVKڛD~>ޡRd*׶7tH>u`sq}oV^R>(`GfGėQ:D o!N8H v'ލQ_6 r\Wj ƲՂ4wj?b|6-OtYG!DaВ Ƕ$<\ܞ@=E(9oZ1:_ܒ&R (0j2P,imrnv -8,@j(1rQ}jtqvo  p-:ZS.FVC:#(e aV +Tij x| HƳ\ӻvtUyQ0<"r_..|پ`AcHf /}mW,S3~z2/vЀ )Ǻ=?&@ s0h wfR+3 >Pb-Mѡ&8? 41^P>;5yT⿃7-f4ڛ)`uK#udXkkarAzjk)յZ;,I-!Z7q[w\nʇb8l\?u6UMERZ( ci NaG#R ٢[ i#|rmQP.c:q iD  Q^I8s dVOgJp$DOenLpE78=ִܫIgPCYvt oRI\ÅLݔYju-gc6NdWǹM+lCG;pFIn'=8XI z`p&FN^$d.|_nZlqJstJ7F oBiiע42eSO躃Յwl>Fr(pg E *  Hk7X.]^i7(_\1ޒuwe|D31´<3xpb;=}~nzε'uͰDw1b}'@.Ն u< }9\=JgU:ß"^|0sݙ/-S$V{ %mNxJ"ꪷLRva)/.dԫx&# Rͮj`2tu4+v S~2qbF:0j)G7{\||Fď8frCdY lZP*! t"-~̊Gm8Iff7cij06kx:cM A%1w :u W 0G,ؐtӔ(Uj2#QFe\Zv9-;ե'm+)Dǂ,5 ԟ>/-H<$3=ҵ F&? ,ąeJoBYW^\]RqMAR0W.t] lZL rV7_p7h쀄}53ty@D1+@:5ž)<@:SFL"B Y|׸0soj3<B,c}^L+e/(n|@1Yۅ9tpJQ8/<#y聎z(Kt/pOo$4 (x8䅞H]ȭVEr5[ҙx)ڣeŔEaZ #V]"QMc0Mfۄ9^{N[KP/_Q v^a.BHAHY_#c&;YN_ 4z 7{U Sz2{ד1`2MэaR NKԜ}X^q"qT O3ngO$uTKK !]*{%ǞՅ.r 4rDd'dPi 1+[>b_4N2Q",vR`Fwbi@3N|w!CWzpmN>o%k410g>kX}RCPnJ\S&ۄ[P^nS>AdjLܱ[`Uj )ҝP)(D|!(h&4E,jlu;™C*'sB%4lL񞹴ɕcߡ1VO3:_6c 4Pbp,Zx]7L:F^zH? (?5zcNOpdMk-%>N&v>Γك Jxcx#(ݫ4'Ə6s[䓩EqUՋ!"(WS#W360{Iuι)@m61|DxhG#W`iw|`fH۹sjKF\%hXPui%#ڰIԁw޳6sf/&ӷzQIAXTg7 {uX& hhe|v'?'Ѧ5P^\-1R{<L̋ˆeCPe[ &=.#kvn;״/3pq .@AA@6f ޝ{=T{e{ow;9w ^-TW &Y[&B7a/&aT3&r]2\̂ItZ @P*k_r BR3ff_<5€n!@Q\3 1j@2jս% i\'3)J~iь?$~rbm̫g#Op'e5~q\?2uh˺T(EMn3 nA]ɠ҈AƐtݷY`ū 1xM%m(u{xV٥Vo ܼ/ Ů9C\hΙIss4rYv,[EIqԚR[L/>Xll윜'GP?XzŽ#zc۾boBI&*IX]KXp0 !eLJh]A'AG `UP$ěcA.դ/! IM?HJu;5Q2K$a:Ch4vz.wo뀄vjQXj}gnQG[E.M-Xf7{*kˤTT0Ձ&k5aNH-I?qi^Zlz#)9 [#EOn=/<'iyۯF#i E DF*3EnB /ר(OUm碨<\֯n>)E(!V\Q.Y-u?~_UwϜn,]dz` Vs&azsCA>cyb"}Ou2z%(׷2X*c=S .ٹc}!u08EtagN+8 $Ǖ٣+OWF=&F̼ /Yסk@b]z/bhA6p0lSpl=Ⱦt9dηvWx%-f0&S[?^Y>,ԦHZvaӗ_Ѷ7p&.B~sZjcӴBz3ѭXRSJa gsoV 㔱B[L]{|;u/Ozn$YއP͏%4Br,MGɖ{&yP5¥_'KܺsFpjx@1!#g:4'[] ՊKe/9GC@),48$^ &i׫cX[y U9Y5a'JD8l_^B9d;'sA/y"v !7ner@gl\0,ЛvRv-/f%6D/ }od ˓A= ?؛];W`hLcNZKOaQ7}Nw?r*zK$RY}tL`\Hb(FDM >?iap.Z i`5G ޘ. RcBp;h. Ď[kK#\DF~>RʽO+:cŖt`dn%풢Adμgr&>wdd4x59Y|h4umܬ(@* `w 0K4@%RF~8Q³ g]Fu!ϼ2b~ה1CGtF盬ՔAiif#[L'+r-*1n=&WԵ(Qa]̓ɕ'0ji<̳?Sle 79ߵ 0lo4q`>Z5)|a!5%iAB=kc&#t1".~FY\dulݼU=R<.ΫMAJX3mGpdΧp/Y@W{~Ɠ%8PD.Gz\$:%߳C̝e2oOUM6 QQz^b !!=h{srYX`^4c[sNҬ '@Ĉel8`{у.JJq.*ru F)ѣd /`@!sиpM^Dy˔qP蜺 hjʣ[(fWgTX;2ze $ xAU*հ3j^]@n[wIk%0?DuAڎJG"iKMU!9E'au F|&%U= JOI&Jkl3 uH2a"^.F+xhVy~?jCة,  50nU`Z2S]Ƹtt Pht{ߗ7T62ՃyX-az).Kg2" Cc븨j!I6MYuژx-؇ٿz<,&ʹJ1U>1[1I}KD+tYl}8i`d*r) tGa'ia #Me#vj;_@{Tf &ꬥ.RA4s{ܓ(T~/+Q5?YfN_D8aѡqn܌$%HrBiu==/Da+DJ^N`FUW%4yF ]!݇pgC- h"!N:uT0 '>;e=1P4-P8o Q8k#ް@~MlVyh2f$zL&yc̬FP)}1: `MͰ4H+M 1T.q>m5n2*VJ{WΛ?'xn%,GQu6c^b! n5{etYP{+δgMI^ZW2baMOQw SV*yb̢Q0!1P'KrCD)b7<e(޶t_xǺjD{(}tQ-;*SNb&VJgYy<ȮdZ[WA"̑ѽ=(gZq>b64UTTr},swR4@G@TnhD}x>e=U=Jtګ'?E[42x 1zHrOJMVs\~>mVvʐA' J7I$pdd/aoKAҝ #}iGzTר#7~I]oe qgI* btPm2^mv.$噍L1 tk79бrxU:ʪq܀9-C9ۊ㕙] Qa1]lrL:XR-O3$=/. 8c"\k=ʂ!;dda`C$˺ԑh rdqJOyؔ!܂Uub&c]B!{ B.WW(=C8y+k`ɥ Be̟3;Əܒ[LhrH%{&=FoHVas&nb.@[VlA; -J0m7?H{>K)w+Iz1'֬|IkJ ߛƪcy]?H\sGi&f4u9? .6wt 7%;FQ PJ4^&duf?&[Yʁ&󂨈VX <`#:z%Aȥ+]_Aimʾ:]s\fɊhL;Z㩽$!xiuͨ%׋_&@v+@h`WjlmO@G)oi-cN$7H!&ގ?[g5i%yT.Rt6靸(rJhRĸ5+(1c\ևiJ|C3Z(mc̫G݊t1.{{~eR]OmP#VWr[Qj7jv$3x#ӌ'Td`s|Qy&;mƁx"tWg伪W64 ճ}z%q-yy=I3]/IWX mK\2F&1qfQS ¾3.s1z{ͷGmVC׾\xqJ ]'9W~pK`[f 2hFS+_##G.KV5SLMDe[Xa"An`_e-vS8Y&9n[eU`.Nۨ.х\}PHv=?[:k7BG(h^WD 8ڌ-{<,]QoEa ߮M_N AlST4巗.npl-L((j*b;0YH kYy? 'CJ"k@㷀Iɝt=4̘u-0Һ>M l@ *0(eqOՂ}e.PI||csZfGV_ Hu0ut [?&Ri5 p[uz{Q%arL-20g]=ŒXá*/'\QyoΩD:Z؁m#Y}RɿV֡$.`٬(mKwmSأNh cܱPC=.ݎ cq,v Qe`iSmUcYIAZ]౎@l],rvpV$nvCKShbxʨjd\ bh؟H iZmBQl .7y1=ʟٖlq4w2N3&MeZ3^2]{Ҳ љ\e^x(~/ IA2+L}l{_%pwvROQz 5-n2-`-ϐ)OMvFJ7Deٽ46秪JNAZoH\fJdwMvG\emSBRQlQB*~]jBNjI #?;e1N$עKwdDsÖ>t~̛@S1I? 3%9$) %\k(6|ޗCn2%R%"_|NGaȑ82XNSCߧc7h~ 5pdTks_8s8Fo4ަ _VX/4GI.khE4IrT|Pcٟx <]uO?P|m wqGKo]T'n68S4gɀ.jGYoD$(΂7kObn&€8Qӛg F"!v0RB>=):ܣHM+B/>N Wνȉ=C7EH6ۉ^y?M|=%$m9طUU &E{[1B`Y0!fЋ rfP-vHD|op^~TLVkE-"t!y3uJ=m[gMNm?m$mN˓?̒ 2fVYvUb v7r9gHIY|1?L6Of?I47&E ׵'4>x8έ-O0[I'Gc"D;$I/7f |i ݊d/s~| :ލt$Fo"_L\rDJѥ3S4 Qv:(6*:Dq?Ϣ?}JְcM_H&gi`dOZ`"T:K:U)t ӳ 4-k6H%j'Dɻ7ؠcQ J {ثdFC??W<]= G;#&=K,zOxTA2@5KIiuPoaEDn[~;*HWbը sN 8eW\93:ayr.k &{ޡF wT\7`jNN}CtaLjWd4OKs\伹tz kH8$-3ϔV+c Rޔа5Yjx:(w5/By0gՏ@/m͊ q5f צb#m=;DfTlЀ< FZRㄞn YB8&I)Ǝ5ПDwx])hCmxD=z G;ȿoeҜ5rS7DZ á;.:O%aw5}X рDqۛl^%?6 B~Z1[Ht f G7x)P,\ &'H߮s]ryO2*"d\iT{TӄzQuηAТ:Fr׹t1Lj88j:D\j; E(6|v<0Fҕ=j`;m-e%s J58?ɍ3Hwq.h$6ׁt#9:]U`҄L>j5qT\r:AFEzڬA"Yh=4bOGP\Jܐc4UBJ@гGǤRܥr@h In&fSzv [M,6:Fa|c{K?n-{;J}L;n/'+DM˭⌍?Dy8v9Fq?Oō$ ?A ʕYÚMQn {3_X CEv8![؝FD:$)8g @!up?*-@lfcUOL-bnr'zۜ:>#pt]L,|djVrl1/ R \H@`yUO,Ξ'|B۠?-\^ s hԈXsq輀15xg(eɾ7͙]$'q$֑3-# oiZ$=[)XɻMF\[ђT5&f;ɯuw_!obfؿ\}n-fh=33ƃpj*G!*ƪ"#`}&6(-9줼{NdNJ.n<{1{JkOk Ĵ^uuŢ`R&Ja?}:\-qBYK8.jCWkλ7ՙRQ6YEdluoX\9 1eKrږ6L5>DžrjX҈fX@MرYIտ!%*X۟jcuYvpbl~i[O"YEnj(,&וi II'$Mcg,{G b{лC#6W/Xk!S Q$Â[M^jp1DYwE$鿟VPjV.,[l1W]́)l=rwٵ=*H䓑WEZV2+hE?3fI囈Fᷕ b~P=+p;}Ykt2wS,.pׇ+]dֱۖ  ݊h J ^>[,F-9-e(?LS&Bp~?I6!&>N6#"ɺ^K" dQ`z?u3[usRH}c-nEq :^-󻼑y?*k#oaU>ͅWaQlN|C#@VLᐈudUJhl-DPQs)f^H4@1^cq-dGb=)^oqħo3z IsRFo&ϑ] } [Ap?òsaW1Qr>S4oN"e(%)"ٶ`&i&Tx}=7 ,Vr.MЌ\q$\!yv ls0C>Bb%En֭4jQ!n%S[4. c|Nc>,Fgp܎oCJd?dUzدw٦?M.{ٓm޹k=vEuHUgWI'U0˭y1Zyy*D @36Lel?pj+ޥi/CU} ^pqv"MpG>}֓b{ߓ~7/V(`3n{3S6i?i`ҘXeUGuozLL mZ.MjP䛭cx*p%5lްdci̝tZ#FOWJ[u91 Wy<#ךb4~"4I?"wVt' zՁ`J@U[\G9ky dtr[~^AA!U{ʹJ!ʨ>dYvn{^p /ϲD]zsK7 8d he.L̺~?\CxԺ/j{̆Pl4MXOC#`<"괻9Fqy +ƢRd1+f1"hsR%_vG^A㎒RoU%j-P҂Nc̎%sYE3C$< gNYG&+e.3W‰eMnT&h_xm>=4)2jv$Do4i.Ɖ,V73*7Olܐ$Tދ%#5?ıA(8pp.V$jiߏE2EION!֏d*>nug' _DR= q= >H,UcvBH6j7¼62jo X dfsY}ͻ=<`&hSȒX}S ˡ&IPʪѸX&֏km 6-|Y[ۋ 0&SRCi۹-a)NtyQ<%if0ە.+т54F0Cz˵\}섋*`\Dx0MB]wL`N^ʩ|i._f>h'bсВ?!YB8p m덺 "WLHI%bK7D#242c[~];MgX(gDTF@l{_}ȵM{IM04c8;=xQ}AsQJU5᜻<_wFMxm, )7\ذ~,gS]b\0]f=]xy~8QL[ pmKq'Jܦ4ªWTؽU`܂m'Nj&5B5dH;8ZB!cQ !hA?؈qvئ=d|,dK{$ yq#`q6YĮO!-kp Y(ss *#rM#k,F|AGe!'%rX߈aiCDP vp7㟑-?5n뫃݈VHl[dէZyف)׉/lo^"0W@ᖸlRL NF e"\b{dl `mb fBC_ؚjXF T ~nN.l?۬}E:zyB2ye{6$.l(4C@ ԂkٵVGq)pZ ' 2qr@')'}ihїS-BQ//웸z݀>N#Nh&_D1qdϿӯBTVh%h}(\ozy_zP#6I7е=!k{s"g{\I(JUtY֏0t"(x1oYj=y sn\8^^Rq;n<0[Dm@('HwI5,z-q4g:ld4E;Pü Y{f );9'+6e:P\\)Əmf4~ٙtj$ I_4z<_P dq͝? cAv olصp+*˭ bSåx%n7'jsyCx  ;~O"F/obKni*П&.EwO'yLJwbUsŶ+bi2^߽ꋷ;(B0&GCmǸP i+1T~HW^ɲ "@$NxIYC*A \ʼ1D@.u C5][u5w.,`b0H@j#I?_(T+<+*-Z)f1,{VE!q4zJ=3uY1r^KȩwJpIg"@/s~s5T ۅL>d7gYZ2d887827de13d7128891b26f02cc79e9511d449a071f7fa30665cd1599ab0688c2ebc3134f4d53a1cc6e15652a7c30fd967fbae0331a042af6ec8c66