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  k%t|D ]S Sturm_Tarski:threads=4elapsed=29.945cpu=49.548gc=0.8087zXZִF! "!5]ŗXiɟH)0!h^Tv\PIH `ZJխJbL[~Iۚ%uZۇ2lXod՛fxlaNW3jj@3: Pl*Iqߒ+ř[GZ,DAU ᜙/s!d`?gV{;VG1+ j.lC3 ֚H&M3}:==:ȥg4+\mN-В4ڄ k."Y*8<yKuH.*(giғ5ęSt jav#8̨%v ]A{!<7S@ %ə#0m|Sp}AJkN҆'kzJ6 6d|ɿKCn=CW^ˍ6I2Z0Ob"Qf[0V 쐥8̠Нˡ djIa Oj84c_l6|P9ބ~5$!;Eqky[J㬦cdi eR mGomG@4i\ IY*w_,dp~=K4|lvNCтh  7%?%Sturm_TarskiSturm_Tarski.Sturm_Tarskidocument.tex2%7% Sturm_TarskiSturm_Tarski.PolyMiscdocument.texά[j'bZԜ07 ϦR{c\h4Z`[?gd!WrK -ZfdIG$h+e6倃:x ./г+W,6ٽi4t,D| c e` g*}+_~N>2)N {LD!\Zg%kXE)%:n$V֬1k I5U?R{>NN;hfgbň3+a~jˢU>` !wPka.vȱ/q9*`Ȍ5Eb[Y&h kdx7_n;{ؾYԙ3!` 'L9`Bǒ`L,D_XRBdB~h";1/` $C&3r5P6akJ>uK>i7yEӾ-KȩQ1AM:nDmt*ԙH&)ˊ4xG.1}e]PBR( $x̕eb%N0;Gg 8 #E# 6p\23(?TAty gf)POFeЩaդ;w/oTTwT3.5 u-#3qm>/w[wYSH61oPžݑŔ}&m &A&E'Ūu4l7R|&m>P BclDS3cӓz uMe7F?.Fw\nshBNKk.'PZ E%P-Μ28$0sPK}M[  4>b*F)^KSF ՊU3w(BސP.Qf,/ީXj-2I3%0͂LΤ=(?\0qnPH*u_:h${8RA$ڠ9|4B=}"ay%{=26#sAN. =ZH6#ڽIdQq/8 >mJRF8Hs6ZlLcF#/b>ocE{Q ad<4yi'FrN8r>\Q9\]P$$a#5bfgTZNafveD|PvrľIg˔[zVξONwϡ`844"ݢ9F<( P̩ hWzݓ =:%ԉ eiY nvAJzyKX>"4~.}2j(p"Lxp,D,UhEpadF}8k:B6D#kbǏm{_)H*~_' s7[vUXQ.~2ԦDďi̦c "lIr1M@ L_K{jTx4Ch5˭| ]BԱ)ŠNMĄsA"Ș40߂L >{Dߢ 8=Fy.!$mfɣBQhnK4@23*slۏ4sFEq21A08s L[ْ#tFoNkT)*X.4 e9(._zA8&fn Mfz-7y8}gԙ#ni"(pS tV/rTlH1;NYh4 ;+  bbG}O@ '\dP[pk1g!kܒ}c%0 "i?V*U {=)fo Tq9i|UoUb >%[4U.fDm bo!Dn`DZgYZAD"4ܖ0z8]qa l9 D1;vlj$Nu?>tjꗻnO։. V^9& ډ#:!K.a(l7 K$H{%T(k?77RZFˠd`}hBKO!l[Q=O/IWF^&si%u1qj{܋T+jmd=(tZW_%+xP\>iкyQM"ڌN&Je>cY\Jeot'twh> yF*S<W=B0T~ &S%7wBZ0މo̼ߜiwk8@ $V%x4d;W t, ]? UZ!+ۯztpzIm*ri{P}pAiпiՐX"KxJ`[ճp`aaՠ؁XHsKBSm4:ח}]Im+74ϓLr:nL?VXzLtI ;rd:OٔK'c]ʅ)qRph"FCjD*Ռ6w P4hk9vdKnʐ| A0}CF(+ `h롨x~,CӖi8߈jgd8ey[ƼyE Quu-<Kc^gOkVN͙KW_aKS`ڌ\N[˸x@a7XƫW"T'7t|ŵ EJN&c)㛩TR2{P]Gs/i4D)zr~DPOW2djꟖkiD@6p7nk1?+,nG.Bya׍ B<"I=ve:^79|*7.Ѕ7+{oZ(~bp@bS 4`y|s]1i(06m䡧X=w]qVҁ h5Yli ? 8x͠M^4n)I>^t@Ƿ1OƔۨ::9 ;\rMlǘ"$񻳹yUA6H{i}{\##UΟ[>.شL̩`/ʖZZ˘a:fBiKaoh$ –H[h̒oCu RjnN{($oaf K`n.ex9,#gۂZw%WU3xpċlThX,50_w#kk\u Tlqu81,Z`mw:g>(bD|g؀cAtoWaܮQ{ό-YA&h[?Y6q.hbCrCN6x5c$bFK(ml =%>Ѫ9Ж3N5qg= U; 0q|ѹXweSb0YA\l;Ťؒr7@۴MM6o DS_ЙJ[աLi >-YdR䃠TˀVO?H%t0n-_'W2xi/E\\VoN .#x2i'W*-q3AWW :jĨ}{y^~=n&TlJq/ab"q FadWIf9؃u52s]EX)NoeedsTȒFTDŽyG/ݮihbCnQ9)}@ ҳrHq-$ʩ5q,@*OAA}Kj@Ը2$g&2cԯ^#R]jLUU:_Rk'iyeзꐁݤu2mhjSDqܽ>>-"_)|SK8p'0_EW̖ sB2 ٴ:-&;+6i}wF΢)Y7poeS~SCż8)͇ eꬉ`*`EKgGwHܝQs {9;?Ѿ86֚U/N{UdמC+Nڞi![T3e9Z-&L&1J,AH = +4!9R4fT|;*!MOgr 4rH{ /w ȴH,+z"v|tC3yFKRĺyU/YU]re--D5:]EbY'rf'-ۍB f,OG)^(sj*6kjF-,gDZNև+~yYiE~$$%(z ✅lag!`Vok$cuW͗ ?Ri>T۔9dsIDM.ʆW!4q I>Krjܫ?䓍B4*Vؾ>y2 .T?[,1d٨*O|A94ƊT=>d Tu ʊPSc80z 'O<97I(l2Ꮒ)Q=]{LKHwבLac(KRB%hMx"جO.1y~|F3h &Q,AxSZ*{H- O1΋joeLH=S?o\ъ&!4/Yx966brEA˯⥟ 19 |91 >{z0K5! V,|W*՝v~У[CJO #<å,]joSA<;/c2^ ^ͼ>bĐe[D 447Ɇ2L 3vfPh#V38y{CTGFT")pONr疫q\o+3+`kuI|3|iAʕɃ&- [fXlc<)1m.uR(?c 4шV4өV_O{Z&R^9F6eڬ20B`&d_ 5sM亅Ɇ$b*/7=ĵQ-n:׆:dɖ{`4TBΜ֓Zk!{iu_ҪAX9= o \_)e]kTI,YcI_Ly& p E+PMP >c)Ɏgv`~Ni!)7mB M2( ڙ}5k2oDCOJU`fU5~$Zd8\?Is݇B$+cn}M82jV-q[!Fh`oY8cvwiKw-k_F{5)k8'Nd>ڐ* ]#{d7;(s7 GmEsn֮Rup9/qt^KD_˪`0cҢ ƽ@(=/Z^D(iҩm^c.4DoTJ-fx{k3RdK;t̀yX"[/0+O^q$WޱiGjR^ŀ!cт!/ADfsrԗWxHL\nZ_Xp2Dg@~>GLw ۳EɏB0yR$^j7\x(r3 8f!ON=q9AH}`c`驑cI+A}ȲːemcnqZwh^ɔ6e$r#o~Sht{%хcm;VՊh0õIdp]L4@#Q@Jy\0(wKxD6d(6]tzI }Yj#d~4 )@*/EF NG+ϛ*;b׻\m'U@ɰ6 ŖɒC*IE/c7!56%qOxuDr:-1e@775ɫ@AbR_gtoL_/y8 x!?J޳޵U/5z.Mot v2G~ g{~Q"mE/L^.-z]:@o Lw:wɔr ;%b;S; A ?g\B(  }?אǠ څmzGTl{n+d|!vttdYmdVnZpah(hFk gZ֑P `Z]+Վ )Y?J*|$\Cg̡ T| hl'fvōT㭄XOA1X1SA3Av(j&<_s=4N;.>MT,T1mBWPMi%}' rN7r3lQSE qqQqplW gƥR^1 g*~`X" 0fCIiYCH )^ ?zz?]_vCE|5|s\5BT+Z ,!.LȮ(7 i LB_!6wT4n+uE{KV E񛺇8FdI>=t%I*4{^w"cĬ.^6^+úݙ3)h]ug(w[ vTV\#D1R"S21Xİxf ;,"ЅuywXc/eŘ3#{}hd+kc< RЩi 7 eG&?P/ҩPt"3Lch]xx.aJ*5Oiq5G;σ E{ qKQ!S^tCA,9IrpsQ*W1Ja5>SOb%dO7~!nMB쉲/FV.=hBN",dOd$dB'qE_UJ%Z (5@< Ppސ |0źuߓ($=QLc8{&OkO[GO6Ս<=9޸q+:ykx4˅Edž(Ni)IQ-H4*2 iͧB8%!}1 o?m+ف8@B>p j;m?" y$H OS4BkiDԍіV2.ZhweYyŝ2djvDJZ6'EbF^x|Y`)v<4v2}nI(BsJ!O/\ݐ?& yΜǪ?#)TG/ԡ|gd/ qF*CF[NI3mWNzyt+`k%*ϘqJer.*8wkbz+0  ` owI[V`1?㩺$ T"mVnJWY#2WwBؐΙ8xy-4 [qmdp¼2[{pVOW) Dnz,6 _OB!aIhG8;`I95s~SRqHǕw8Ktsq3n7릍fTF Ֆ׮S-r:}A0+vdq縞]P C4OȒReWgB]bW8vÄw1GeJd,zPn+v\f(LU&@5''׉ v3 ^t^+":h+U~n 7gdXLosj #OdDm:q_={ 9@2p5 @|aۑ!ؿnM:nX3"d= NQ )FeL*=._BZQ1C'+E[-:϶Β=8Qp._OapZm4vv [VMLA`/CBa\{J3j693N0rݑi2tϝ|~Ħa&,aE(,>>gE4 Qhr8EXDj2W雾Ga=qT_Zk/7AtN9h|,;Y,bi[#aN p+Wi2F9,`@⎟a0$ sd+.!h.cz=J5JxT\M1XܧCf!HTf,GHwdU*%ŔZ^io.h݆57´u/+guo?kV^)!ϨPlDW&,v6f o{ WBY+9=I1;/c,ۥ3FEvK{]ljd 4zwS-Ⱥΐ@H;E ZbaH^d_"VXG`A}^&bQ`ԁkمtX8[t(qAa9JGb aIo BWsg#qU@)Py3r~ b;Wr}dcx; %S^;9E?]K8<|EJ4^]ׇ Yʝcf4>%55>n<,|^_PTBva11T$~(ЪPnϏH WJJO]Rcz\l5E1/s&M쐿P47ϻn!6x6I$3 Td\_0h= C fa6#4YO2 oƞ XwIۑy0HJYռ`X  W.lGcAZJH-JEx:ŘP!\& S;]}'»558H׿;fJ23$sd;\]4dk0v87{z$%KS+ d~qp&oE!8l򬣥?#V4B*hQ)55caoFsTmah\\cӬW[XTBh8ILLۋr!]UU $o|*/?['HÚ~fC\:XXfl0|_e^Ε8iPzΙb2Cwq9j[G k cl!Cʌ(99h4UַK=д _+ˁc.H(8/5kS}K8z I[7$𗥬co@8qTӘ/<_\qJԉ.F e>MC^/;=aY'vckC䩰W|XLw2E:`#+q{;T'OBI:;#tc$LTp_9|?Md%tlwrrc=dc ? mb} q/oJ10%?[aIVTArCz8qP5ZFbF@>6QdGt"Gw y䷅,%zu$k$R_|p~zFeHN'J{rS dH pʩ0?2:katI53碎kT޾0.(аy5 {y) FR_Lo@14ڏM>#n ^R 5c!5AABǥاJn~5$A7lp *3@Hp3+%"ъ^-YDLCBЄ ǐ$}K!+nCgVLCh'ƹ)sju*~ȫAƱ0ýәB:T$9nI˳MD3QS<{(ZAgw@phUxRIz3#J254{\/"ڒpτ1 {b&5ZY+?AP&nV U>*di:+W7c1MLdrsqLֹDC1W5POArB~'Y/"vM.qv:=pi$DtN*r:7sڨ}N| #K$c\QETqHwi@l B7v۴ܶs`}&d31خqG2:^?;b tX{iCu0qt iWz'ZPdeHeX`Dߋ:[VsVmhU\Y6Utv*^W4e5;ydO(lՑXdX2d ݏߴSAJyWXT *T]魋|0h|)Ӊ+5_-BJ;M3!p5`XO,!*8LՠDTbz]G$_>IF \ƝHͦbxm[o-ys+ T(+b3*F+ZJTn=괹.pKבƱy9E&xN$^o-^E]0="ZmCO|rmu6gc@+>fpLI_ $x0y 2J ûBrBH>Z¶.L=k=["Ѫ5&ԍCUk a.RW ^"<`!8 L4]6G!?([{a\4/-@Rw1)Rb9Ir.ej|@;FP @ sxNvvhFKZQDU6ЌjkG \\ʿV-Ck৩4\?ĸZ2B:79㝄vh[Ak"g8شsa H /Cj ?n},Iv$'ஓhʑ-|)NE7% f-$9J¹  ԍ$$*g!H$dćN2mV NzN>ziAֵ*Ä(vau3ZNz~U9%w/ in#3eUBe| 8lw('ry_rk6ΥD-Xl̤};d1zjQvoLJmUd7Cl>JOZij9{D"̮ żGzl? [46#񒋛5&-g@ =*Y dCtm$sWA'B_˗fpX-P1KALx6uZVc-(Cy#p/Ga6mʈ}ݗdNy [HNzO+F\Q]&r6Aju[bkoa, LWMeq$*Lt4k5KA OD( Mo뮛2bAf,)gw?,jްqK\ѰZZh +1\O~Xڋt "Ivud7\|jSOIH_@^r.B>ZWsp펎eݱ5ZʽyB,I;5j!C eX@2]I`w7MO;B*^w@FƏ0-{J>?ObAҡ4c;盌F WN|s4PUގЬָ⎨choj)x@ i+>45u `~Q Nn<> OdK;b>Ry'@;WaD\ls{';7ZDj|a $7UXA&~E^_6,BÞ//lT?RzR<֎aယl06-l1De[9F/ >QrZ(jCP#=`L:l]ȮZɳ 1G[V fi_ڮ+v4g}=98!Zp1;GY&wy!:S Vp lY .T\(jaMgo}ɶ8.)sUCb pjR&LZF=t?n ލ|s, w`ZrHX270^mNc̺0a%;.ۅKV2t0`0ì%&_X=M>(G")#joUTkdg>/m&kxud.wo22 i_6Qџ/>ol:]u+6ż wTRGi@eݝ-Lq#}]фט IG!/4J&RzGT2Y4˛OS zEBgH1f{'(:e;j]?uڂ̪ vs(mhuxfՅ8o:"qsD;e_0y4 ~g-kԷ ŢRNz1nߩڅiq S뤶٣=jd>0NfIF '&&u,dV?\I ^砩=uV${gON̎&aЦק -9ԒN\ EnR|OwSU;{x2,Q-uG_iNXWNKh=^?;'+ CH#pN6@ܽ VF߀Q,F /kL_iC?5C,YEBNݹtϸA A~m`o6f([J&|:bH`KP4RNQKoӴm_8d805G@mjhDsjBXt`|nZG(DY#]/\:()Nýj-M.Ą$+A*v1 j,J pg _2}u='92;\?%hM=ǡT sQ }̆)kc=(:FD(SwAq+?!gX 4n%8JbjR8 @ik4p\Ŝm?pn2¢O- I$/e͈I8ᡊHUNZ8S ᰘPjƹVDNarZ:(GBpĵ<ŸNN;42آۥ{S7jQ$]g q2S\g@ 2X%F=00A#k!oeЁZ*ģZLNtlFBWsTW]Z:*eh09E ,"ȔP[ ]ւ 8=Y ;ޒM/s/l\P$ xd)ES* yNe5GOD,K撜CHŠS3;b]{Ndq rh],:|9/G(UŊր"dH!A<$[W6nC%|q“?b:lJ2+h3t#ej+`B]m,ǂw H#M~_/40cl[o.Og˝I Pge%8?1P2k[3Ӡh*f2`W:r}8[\N=IQ셂0pt_ p n {MlA:/%ؽ} eO@)9 DZaqRXLå$JVlZ4/gOfPc; Ys=iCpK11ӵP.>DWł)ƳO8*c!Qgc.p S"`?R=Ġ.iݭAEssAFjlȠ/!N6"{Єٍr3X9FrŰz)2 hMt=Lh)0+zfv4{_,^~Oz?p8zҜaévj2+* 91K3~=}vMcз=B!,z*@3L|+j\ȼzqpLN88^u.Py6 =jǯ,R+*mVD@{)$B vY3[w2YM.~:#\ںaI,+҇R(s*)j{xɮ[7ɲpfY"WEB_LXq!pO|#Q֡472,Oc97~BVAj<)ŻT$f׽ZFZ+7h3jUq%jN模޾M*oA syw}1UzXbJإi4)P:\Eo,q?X'uH*_K7lR`;'SPkvݜyr.@pZATڝ,tլ-h ('ܙz "-0_-mnt:ӟğɃI3SJp)aS9%ch賸;}`88o⤱,`v _샍ݭ4p" f}vHz/\eTiCE&!cζ8l^C\)$ 'p]ۛ f o}s^T+8TcqdEM`:ɵ y`+S-] ʽW}\Ȁt#VN paxW57XqQTV'Գoote/((/%!U0 _jU'\=8CÊhCf2@8*'mf b@LY9|4`] OUI.iO7 l"Fבx8 ѽ֐=Q C#[M~]ENKo#q֮G?n$nSJ m2`%_{#1ޚ}JE]ˎ)k_6} =BGg#o`!~9G<| qQ`k8;W B+VnFrZ,n ݰ=>[5;XA]מc;&h( ^qZZ[fg' !9щ_PQɚd*Eqqf =(gĞFh!!)/}H}w29EKż7l[O)R]%xmc;FFMk'<+sw]"_h tsUѶNOI(M- q9(rTEJVo-Gc GLښ9)ɲfO) vIdZO s*|arHZ'|wݚ jٸe ̌?6q sIaO3"|.Z ֙,!(H+KKw')=jN15O%fFrCS(^rQ0 mz`fm}K 7 Jd39dhU4$Ē3'&98ݯDeҨk 7;)~Bfzt,K}y}h}hC~J6):{%WGM CWIs+-ugqt88 AIDQucRϣp{jCVc4s̪ᏁVj)\y"&&rޞu2D8V/ZdÙozSZLrͿ"+YbK@&QgĤ<)#ө6/.Ngv/x5sRMȰ`,5 F׸5'Gg_'îǷ8ʉ |m$` dbU @w*Q3${)_lWMvCչwn^'N8Un"e2HU hQGWr! qlC'љB碠o=x)(DTTR^! Fm8'NR^+ ɈҠqMl##]52B(DZ[]z xg׉E1|G_#h:0JţL;X┿ FͲ*mŝeEX86d*N-w#`F9:M4Hg݊c1Lцlϳ:O 6"dwng &LBdj#+p(M/L_skV\҄j:sYA$[ۀAo3bzEF[ VF&BwueٵA}Rab%2uoǎɁ@ʐ`7i+wJIaah#ñgBȄ6Sb?;H`T*;cI\K;[[T8*m9 } eA9&$2uΏ5@Qt&LX: HkG)rԮ.Gh]`YGs'K7%Ŷ v[%~\M <ʟS7Sos^K`yM }`)>i-[^%{FmufLIuEMm2x"9pKgxVPyaKA{w~]/*C.iqղΣ/]1V?)* 3]Uv[g UM?`ty9bDړHYbW 7'o;$9G7H~,\9=o2GC11eMMN-m3~cp&,y; 2JH rmSqʋzhSl 2M/D *E_-jlW*q|[##i~<9bA1wo)L }2To^ד躹] : L]"&e`̐gC.(/ޒXZ'D@!C-(ʜmȊAFN~ ?. 2)$2=R\^pf_ $15|٩Gq4 a k`V1!*]uP`=xu8;c,}.*`![Of}c>7+ 拚 Nw6-,j xMՇC.;E.bۋyz,¢{D!.p/ӥIm*:]p,Vw*qVa`值mqx_ E%N0]6mqf .5-xz#.V>SroN3z8e1u1cI(N6+4 ]ìPꔥE@\ĕK'8{#O}7) %M0tX:AK$ y nqf Oj84c_l6|P9ބ~5$!;Eqky[J㬦cdi eR mGomG@4i\ IY*w_,dp~=K4|lvNCтha Z %?% LSturm_TarskiSturm_Tarski.Sturm_Tarskidocument.tex7zXZִF! wn`]A-MՋhvG"uIBm5ȩZѥa pvot6CȐ~ MkKn*zc Bg!9&f2sx#s|$T+`bDìÊR3F0umQ6P%WM֋%irv#êKN1[.݂'L:nj'07~MFw,05~G9٨ &ʨ!5>;(ꗩUQБ0 C,>x8>AXWwQJԾ~P,FhbWKIa2ι~5ߋN$@F@2T͇iUuN9;@xu g:|[gJ2߽cQpL/Y2|MH2ȠIEpxAB`XmAbJ@v6,XN"$%Jp/l sd-&EKYqc.7_#9ڙDk`sdu'FClϏB>#{1Ԯ'ÄxB _B5yC4okS fL3UeB'8ȻUw>**T>\c2!ZdZ}CC[o6 5|eNtt|k9۷=|~mݶ*F4 H0xQ0@X" wnFxߧ2+&@64r}2/‡1Nleo\a9_sJK, 5(4">/jL>O@W3zeJC@U Qhm.cYwNx9DCHPƑwi@fm~7 o4r-4\-gen2 7 4)iv0}O$H}C؋,Vvk,O΅/q?AH WUGLn9̾j 4(cdpdYF͈4)kw8U~,yMo걠Q[AF&p8U~Nh6\%_ҫ:9f`MN2\^-.a/W9 kƅ'XNW&ēˬ Ng~(ԑQzJ dU#Q.&&dD1U)5+\\9=gvn׿1G4Ym"t :ہT,O#90}*{j }[i$z6B*NSN5 >& w ^;6|)2/оYHM;=k4J5OhI|w9YV%<"AlpE{Wgrd:N-n`LlIgҞzG =ѬQN\=zڙ 39&b:6zY&)gmFr)ߜ|ȼ> ; #JZG l >ͤ^FtX"y wa⒉z?\6}'i@©ѓ6 8loAsѻ<سRxg.] \0]t(R2rtHg4hw=/TpX5HZ h|ժLg+^wacttsftl>xw3Aޔ>\%$ӎfv.[κ14[_zB1XO86plE>՗epe;e) ?Z_X1M,|#e !g"YFwG$ daiu ޫ- :JqC BizT֥վ0jw֗P?bW܇0>L0qc25Ba۳d$b $5UQ3Lnw2}-}x`9*9ElSB`5*S͎2t-X$ŴvɓwOrSnq-ܻyu>s;I`㻠ON>Լ"zu^+`VP|Aժb_i1{a.toC'rxmhڀ;v]rr]`&~ъX{UҫѰpnW#ᣣ0i5o4YDOdج0" {E7#gE%m6~!];BCɽ} f_L;L"z.$ ~lƁ)x4g[)벩i*-y 77__D85S1e/t߼BhO%iV'5L=6"U1DD1Ꚓ?ج% tB/2e4j`Y:%X`"5B _[U9 %I.VM=_GAf?QM~kt|Gt%9i;b-K7>p5֜a2$&KF5{ςms"!iv~7wh~(Უ(D+nIA6(%= #dba_;U2^M!"hg=[ϫ7C1Y]φT":GDyF/&u34Jd3p[VJ.IŏsU ֪ȃ,V!t>.LljȼB:QACB[2/ÿTO (6~<"tteZ)h[%^oUɵM#NO~VD,KZkhxmr`9ubJR|M{( n*nqǔ~aGB:4aY燄v7(y0LC=IS ҹ(riYZi.2Dl\^xm`t8*(зgFoM"jp,/$'S!x/Fp,HfהOʳ QZ--i:[d_$GOE$O7_n ]3ݽ/܋+Ǜ Π冞u؋ (zvm%v)TIf!>r+.ZL^NWيc N=Ý's6(ػ oL5 rrьC <"cA:c },VxRěѐJgm7ay-e9^f|Xv2 T~tA)m|ص/4X[xI0E BW$%B"ѭlBPFjXaruCC3V4<iw̑6~Mpuovo- c5* " s7.0OlnL^|-Ry '_6Xj ^Ep'qF"1`6*ԷYER@3J,P l L-xz QN70dxEw"'>"4(agFn:~ȞU8+9;tjN= b<z_ߥ!E]pW<^!9{lӘΎc$~PzC HoNZdR;LON@7`t琨SꊾVEH˟n eRb(o'Wއ< _Xz37ze2$6ss :v9gf=\J%i `쌝]=W5m"լ}(lBDwCj+#'PG1bۀ$wjOo"f:yċa1 %}J9ש`QOFtdEh6`:`fA&wY_*7uFdE{wo˝\։0fFCEcxO ,X;K+w$7 #l'Մ6B<_r0gb̶VP*w4_S>!8=sYNt5)K)-6!ZWq^s_dgQ4s5NqO x}wҌݺ5 p^9!yo}B͎Zx/-w-XV:,1cRܼ=ۣK[JNf le^w'82\~INg>&d)UN N/ #؀|F;&?/ܳ9z?u 0ǖat+N f$8G m.Puި0%hs'yQ[`yK/<=ItIPzuw4CY74wHmH&])) LVZtbxtsm{9<}3CKpK6p 8e-QuPMe>MSYXrO3jIjjǚkc:7f0>8lAF1K^-g"lrITz-AA瞭J#C]B8׵ :]d`UqY[k5yV6۱,|%+֙@lU;[k MBH@O Ǟ9,,)2xAy=M3{JVX ֎|Wv=6n`v=B5Gs)$UƋ Q*Dpvn`?@dbҼu9qҵтvof pRܹF: '1yT`Q+Y—H4BUQ>/_0}CZ7P^JT#1?';}$$#