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 :'\ T ]S Taylor_Models:threads=4elapsed=111.174cpu=309.548gc=10.448factor=2.787zXZִF! T/&]ŗXiɟH)0%oCm f94Л^Ch("iiAZ1#_G%~H_{XdG_~"'l˞}M0`N{@3>xjz53P9>|fKPOBEr,&Q}!pیkI𥥒2ExpdduHt0BHtի".d.c~ΌDjTɽQp3b9UPC[$N/]c@!{C1~휽TL&d BP׸6 WK鶈-u.@2T*d?5Ea&AeKX5}})rDp(*I! ngOhϣS"bKf׆֞lEb5 ΝDܳӅ?)ᇊp_K 2ϛ/f~CK9%o GL==40iՁxsBmd%@bj/A$5 $r`cAնa]Z$@)"w'X}x߫uI6E8s#t7%,1p-'J} L `Z6n:u~,'s`vGQ?5j~Z: lsqwa'eN(0-ԟy::2 VYTΡ%'QoЧ 3pN89=/MdVsrpR@6;깘YaK4s % o  ? >II? <~5 hڻfv5u􇨅_O1A݁s zBd-oNlOmQTitFKգ%`OPhuaS*8\H&>C9 Lƺ}%8HLbZҢ=ޖf}WD<(-+(/v~\$҈HP֞ѐ]!1ybK j T⒆uT V%*p4$bmu-j;O~Q\oYnV$?uvR@߅}OJ\N=bjrHM+(B. bz N;=l?"vH,.*%u-t{ ]ct'F>Ud5CقeWt{hKx1[_/FbԠbU~#q>$ 8"NaAH7]Vo{=T Y|)EOxV׼|ɾB+aV5+X0}xQV7meGިQNPABp"󤵌Chao19 A"cT* ].Ӊ`/1ˌ*&ҼFB}1p(Yn?.ϡ#qT ʇA#O[P50)khz?'V/p]lUaRR; 87ͻ{)dRg),MA(CFOiQqr1UݬgYOTU>W\0d;*c% h&ᐈt6ذ]DWasIPF6`ڔ ƼDd,SܴTuAIETy6><.,crFlD%Cc6lOVLDpVaf(̏}\\DiV۴7K:$?UV̘Y׀ դbH- PBWbָXѪr&d. NkpwbF]q7aqsljjN܎\d&GoHo9&WPHg#DeY#DQNfT#]rt%-lhIWӬ잝K;~(ɷǨFWr3 6E擿5/v\G'%BXu9l?[p#YL,7(fcKpZTH M~^eviyle aãD+:np[D]-;&"|8T(3%kPyT &;~ݻ1IFjuߌrs׺XYP?,Ͻ.ImؙgWӤ%EΞ-$wG$BCM+/ ' Taylor_Models  k2IO'$-4*Y4Q×_OPZL~d Vפ ճУ!}Q UM >Ð]DR}Pfs-%-z+R|(G74oRvu4l:+0ܹ [Џt.ӵ`mq96`# jU.F) E^Բܣd`^6hQԿ~~}SWs6Ҭ tF3h-A+ʝ_-"GTZ?Nu]dFFO[Ѷfq"`W &K 1_3yu ZHբ|s1UF \V=mw/1қ^:~]FЊ y5BpfQ@jfHX 5I B2|ՕxyTm'1foӌ~Oy>I0Nú.;W wWBt#T躓JL<ؠ@t,jꋧU?[.Mn6P D_xfN&4_;Is[_`Ϟ뚜kojfĎ6\#!9vAƉǓ|`َvTK\ bB#p?b\ؔȾ>*p׶kj#HfJA5?|Y'Fz.cf{9fD@) $Gђ,,m`Mv0~aAw]!ZZi~G٢}Ƽ ڽxϴoᖳSZ&0[=4cK(~dܭ/ޟ&Cb,WCR UŨ;M X W Sj=l:8?sNy7iT/Nr}"V%zz%|.\~4 >@&H3 .Cz*t? 9i)1Ę簏J& f4Wi՜"Eքְ>m|R>%C kw);]0{|*5Q $?Єqj, CpC#4CaOcf甔*x|3g@oRݓ^Oê95A %< Ē؆&^72 Xu|ȲJm1ƃTQIDNv+ĽːM!q\Sg)GIYrA' bn>;FY6 nZ ӮmQݹ\X ú7Ց+;uTfV稒4ւ@q$RMc{&Pp}dRo =.M(JָK+*M"a^묺J%?p8&W,^Y|%AZzZ@{[EU׀bJO:Q 6,jPH)R|>p`b <14[ԹVfJ*}qE(mFB02I+\qkFxs B?N!"#SXȦtu~e}%EuUaQ)Z߿,z ')p5tfPRZbg 7 '0%H\+BJwP Y]=Z5TF q_{Z #2N)9[X%y$vT`HRaRk/C4&N9 ݗEw ik7?S$ 3,>4m}IMi|w`. *;Fq)P +V ~NѩBSOd 0qge|?)#W&%ޑs ݋x3ZM0Uieaήb cNr4F¨K?; a> `@00!qkXiiqu(hM 0(;4x8\tH\26oSGI5p HgpI5l S1b#4H^ĭֵd 9(AeuwH u:WMB/ά dSPpq|YZxu{XqVD9lYvqy"ߜID &|Wk2i qvk^݀0&4|,M1$;A@% :OCo~tQ.`ymo_[.ٶךA\9 5%#,)>2Ñ5@4g< ].qF.n??^E)Yt [X JR1͆Nd |y vsZ~tI h--#Fp^QvcI߿Xa4f[05/3e!7Lm:Pp0NsQ}w;ѕNVvƫk 1GEbUf_б:EYH@{4S /4'Pp`Yv/tᡣF ;YI٩ @6kA및sL psR7.e.uwjnJa\-p@=Kz7d^ ckzl*n=[`f@כuYmV$x]#Ä$%ԼDt;øR>0vzTH}*> qkkǁ[xR|A\ub7G/WyҫV ?i++ C/EH. ,˷%ԆrT~%G".OֲLm4?BK[Qg04$R?nKv04.)4U_'e&B#מBގ\^a֧_f=^% @c}KZK=àIJ(q~+ptz Kx;O= E.dG,σlmVZVֵ, <Γm. \tj?/ eob#镸%!B2D <<>ˀyK_5_Q{mʮmG:m(zqW-qj+#G^gaGZNn6S}Kّ{/jJa͠e's,B}@isꀢSg>妓trAEӿN2|Pt+Euws6VFpuxyfzg>_TMC B(9?1OȺ7<'>L?3mprmPe>'cVFzZ> !5"m0(7w,T14 S*ig|DgEl')qG)NKgWd2A|ukJ~xɵoCUVUlBcGajІJ&|S3!Ac4a;j槾S\=Z~X"oz m֋y+rQBWWց|Оu(w ;.9qRˏx߹J `w65]皾7"}tUoy/,i_ bI\1h&D>fKXڄW /u|='Z@ԸT"g0i "}SbOXd',>Tnr@p h-j6JgE\K.5Av^ n * m*Z= bz2v9c$`b?q+]8 ?c/a^>\N, z򮼗:w rb}gYNىw$/ Huj[V<0 [(? ;$ug}DO`毢FEyQf߁ [pMM pL8 wb2qrʾy@)=3/:Nk‚* _oP$~ EyY.8NAK+qsA% *[ {_sOy:NCq?T 묺wSZT"_y PyJ˻(%m e<5hmw%/0`Dz=8c,z!w%@jv0_-C[@Vkaft$O|{bRmSZ'o'yj͇.IӞ!mow@) [T }}Ȱs;NwVvE @2Mp-WPJoXiК׎t)Go3퇸O )xUPt?*zb䉮1fN0{Ix@qF3 I۹ĆHm"^qYr؁JiEEg. .KV9N[=+,oTNPBeRtW*-;?q08hc2r_W7]NPGƭYs)dB:$=ۋ| i^ctReÇvX =GXmZj4PAE[ K* 1A`y^5^ס':fHxvo%LE,z"cj>&WWC}*%D,Ks-gR{p'ʧpUJqpJʚ9Qv7@|\ QN\O. |\n>!~t?fg޵(.H ɀ-x- 4LG0}\לXW(k_dݭ'Ǥ#RO  Ϟ}kaN^$J {5Js7Iy͜ml!|Ǝjx7_lU*hR>PC}*-O$xF-ʀ_ʙ Vmǟd`=ݜ;`\ /"X#f⛾ĸ$x܄:2^' _)-蜑pM)x(c8R ZUF;JvR$\!PsR{+8!)BHQ!EvIogMN353mԩ4;HܶefFE ~kTP2>3X\"(+Z,qIz;}.'@!e`VúW4?grd!VګGPsv{N|2$\h˽ $!$2QXB}E"Kͳ$7 U%@&"HnZ t +볤@3}2Us0fYn 8IAㄭ)%=ezghԢz%4B!vyNJ8pڳ!y!z+qڳ9\s<gAC 0(7<[BO65jV.cRd&%sH2|8ǃB ݥwYLN2_>|-CDs\Pj;3$)^u}ލ{?{&Ъc/C>4kcď>h-ߙ^J"u@u n6~_ :Xz)d]][Xꫦ-괣PghX02m st I; zԧߨWqINZC fz] rj{>GeRa0̺&$U5li~D@NKK0j+_lYSr%^ (t[xY'a@οi>/͵ڝ2( ]hqx/ʒWAǨf`qcms.<8$ &w! bo w{aѝ t`G0;c7.)]ʛ9L51=H z{<#htO_F(!딦jzѬUjBb+WwW,] Ɨ k:X5A|R;C5p;.YaXٕx 1GvC b-@ 6A뱐02xd w-y ׯZއ/$3:RpPZm ;Br;*v64`&ߌyYD0.Huoq6伴pqW|_,isDuMIa1`{}4(۱·9LLAZݡ;?V' &> S=80ڷ6Jt(i` :TBq_}p{U*(I~ u_V5=P=q}B~`7Gl #SVtۖ{Di pFY #19)}6|u(W "b:t ,? R۫m;{]Ex', D~萜F^V$XMἨMxAJT9F\bf׉dF "2l>1]uˎ_(]LXe> pLaX$iGG\>VHcyEKz녆ʕGꢷ.8\"NқVÜQxQH//K[q6wA uӐ)H ,zfTǵ0clN%[NWKCm̄g\eb}WS{eØ9<$~7>-ȸ3H],a^H:B,TrPpA]+[/-vi,P٤Miޣr(0}V\7lj8.p &sxpE±f7zYZJZJҏ׎WuvX.F:kvu{?JlO]* y~EB*>"D"QӇeKpdզWN gծ8=Ti$R1cw|(:diaÜ`5;5S$*& cοFJ,'Q?ԭ rue]paLH(R)#sUOۋ>0 PxGW0SgE,Jָ.H8>Ck/e;|[]/t( 9:-wŗck+l^16Su]UhGԙMv25L0 (YOlP[L/7Aÿy hՓJ~}NACŘ̍DzҋNR{OjK_&a$u/8*cwWOICwC78X 4_ ppXQ̥SB" |b2s~AЄLk&QK_WB+pG1"!Qw<#W!MW~5AV0ܰe9]ئjJ{p9ԛ\@pvӴطw0I|==6,YG 0D}qȭ ʤ;ZzLFGFy,͸7&z'!h&SjggY$ׁkFʈ%@ꎚ-[i615}V"UN@f =#>4|{63C7?nX_ܰy ^ jxxF#WRl`ģlB3Y#g3;DV?lDLh0 ЇlBӰ (&#?|<4rɸ<]]3"ЃU("B*GM^П feʤ1*hLn"6 Cf7@+ԃVD{]fYDgAd| f.'9Ci2M[en|i)3Qmͨg/cX"ƿ>j36!J. A#A6'>&"cCP>\ Dӭyh?0Zc;RY`q':\^r!X :wʩN0:#e$y߄e΢\.d9Gv*z(1r+w* o)JZ8;CI%(nE|~\v1DQIj7n/ĀUT,>m LƚG $ (̭;gsgSF ʢe91PMAESkt7Zm2qs+2f8u#$}Hd\ 6IHBu(Ireyy.Yy DeBcM!} >]sڤ({bCrW <\sZG%'1( 魆ɔ*OL?øi9Bۡ}Xن v!ڛ6΅26\klK&=#˄z5|dGFanJ&z" 5N[fs:CL}W2a #LcVZhwVԇMKd|SdϏeV_[:yC)5Kh44kz98-b&3fb`Z:P&1Ԭ@ 8~{wC9 `}Ċ*R2oH$u<֩!'&f\uLb`<(Msm3U-ЩJ/ ,42[!$ߋQl|3 4]uMYW$ގ˟Kv{ԆU@59Rt t,dk[8*"ܶ^}iMi_`"cE<Ɔ6,gQ`{IT,9a bHgj c kA}=܆ϵ7q4z^ZD/_47C*Db~s3]ܼ"Ǐ]Ѯ*F|qLNPLۊwn [ZoD~B\AzEK5fo{1K|H+1$e4$'#?5 $!&y>fvȋ_Hj`Ceyʌ^,DybnDSu#ZS2旗9|ҕ!8X&CDw>4W.DȘ 7f7F"'#TWO8|@-2%{W~zS6+st}e(jуJ~A&]1&lKv+L|g NhKJ+, fH$s/ ͮJfJr]VCDٶuI-+Ȗ6mqI"WqQkPdg-NYSu^,qP'xgbKRH){YXE`=ƬO;dD$zU"+U dY0F[\EI* '屻[5?'`Wߩv$=s߉)!jp5urI ;貀(hVO0Vs?Wg 'WV!p8<7Fa?3&wl$u.?4 *u :AgF;fQc7=CLb@bڞZ,#Oc4\z?؍=WNAɘQmxAuW\Ggz3q!Oe6evp(B-tUH!D1KDjmƤs6@FvG--?-l_'by30u=G*7vj8Vt9  yFZ;=Fؒlu6$LKD\oz[@ot[{"uJ &,_Gey41i)3og=+^1>1+ACRW& TbnPĜQ1ixT0-Fb"I!9LQ2*sUI>{y6A9zD$ѵ(/5@]Fp"sE|4\h v0,)Ma ]eu{zYJR+V`"bǎ}qyOˤPQW7T&춎O><[8 5*wnT{s ~jDծ;m^b<~8ܡ)m4MWȑ/|Nېߘ8yP[#MkSBNc:ٸ>xa#K<6Aṷ ~xbdO1nDu%T091ƚPmI&@.SZ "r\@~)zAeH󀁆%' ~|׾ /3hwAcDE~Q $Zצ<z! >}_H60baTdS3\y ``uwvl&_q(=eh8 ׬H4JP_(|VGfF.{K'(VIr]v=HÄQ?_ƽeލ߅x@1[zL֌ v#䈫9I s NXHAeB^CC%zͻ<$RSs8wu.8 EZ?&pHUp]o.Js.kL$WĝTIˋ6~P͍hQ3i]ou~iNh#, «m=g9ΰodP'P~ f!7z4xuuPMmUA^X0K)vI6>O&m@rDC8[Q?gkdG?""$͠#y-īυegZu\"vIx[8 K@mmt@DqXk%ei x77Cfzp0px6KI0&Fz:s9*HoWd*b|x^TL\g0LS` t_,ήFЏ/ j鏃YAWK }-aV-d+"#$;[9#Ɠ 'yp 2QKJ!տz-ŇUn?O"`>k Ko2` c"Kr쮒WLQ)N\kqv46oAonb*tiCwhn(J0]/zpr_ޓǥ!Cop?`*taވf,HW/ȩ^WHE?>Ҋxr HF(>jsUTD$Y G __rWr]Hq8}+-M ͙Aę Nnj([W'(1-1Zǔ&΃FsB~4,[~[Y AQJsTs O}%v JmhG;$Dh-tE\MHE&|W2HDS&3vn1akùÑOь׹ u Zw@/85kƪB CDݨ68Kl CaN#}hRXJD)k0,c' P' YS,c?dֿuxL`M$kR=qKzESZorN;|X^6rB{By8MF,BobrV7z!vpU"4#vk\P߮u_J_RPY{tX=Ozg ʼ26Iu$dwwT=&jC@oMl$@p  eApw8И}<\&lw{YvDA0-`8i#ōmc3xIuJnoXJRfMwp|)j< /Wj)~1~wmTDžSu).p.AǷ$xM9l8!AԂ.h*|_,jK”Urd'M'CĈw̒'Ũ)k}zղBFO@Q7KE֬"|ࣙ~ouS ~tF.ƀƁ =@Ʌ {?-kx#5Qzjdb8^*۷5BD"i4L/ΐ\cҊo-3ÆTR<# E=>%Ӆ`^ρWCݹȇėwdY~/ԷjCmvӿl>!kloYmM s4Zؙ~y~1Nd<ANoSNo0]J͂>8HZF>!`Ul0_c9-'HJF+o%CdI--5pĽJQ&F~Gvfʀ0Y QKd `谎1~jQvԍzZϏPOi`/ B%q)PYcwq[,>^RYtv\yg:绠okNdH73묓k__͊uXBKO'܉kq_)֥et&W>,+*cU4Ͳh=N`xVT%–Ih ǤRY  P "uZe7Qf àPEl`b`;juQ5bf6R{Ȃ70~j.*Yد,,NzT* twx&\Ғʨꞵܟgm;Fy|ꉤ3?mZ.6Mbk P^T[2 jǽ+&, 'Nliac >P_ *m![QU2M0Y2;,T ?'e=k)$`XA_ )p,EA&?DfK0:K"mDsڼDV=joFe!={Ʋn,'sܳINXq@),5 ٺӬ,SP>$_]ק,f\Em!ĶԵT59$mtzVjMJГɬ@Q+  ̰9jG l@@T6,Hww? ߖUפ:e.pt~5gɂr/ZT ΞLw.mCռ @(4}6-a4.ZcҸ+~9zpN+^,^I  r &P?fA` d%SȰ)c7qyU>AIxdQB4%E,iFUPeRͻ;<P;idw#ll툢:_q!pL6=?b ͨd̀}:;[17u=xS3!{,OĠ"; Tw*PKV>f;F֨BꣾhB!5c3:ہR?3`M_%K-WB;ďEf'b)/^afOcFmAPp>G87|@,[ D"s;0c LR&2Kˌ*:|s)y˓,Fn^. A kzF4(ITYYH3;& W+VdGG] $(I`Eg@D%] l: S &Q>pI6qwزX#8j?iT׏[ &s\" ҙ1.܂`n8Cb@A4#I21"6{xz1;.xKQ8r@(wFM=܌>1{ !_߹k.&YG%};ӂ:;d$$ncvk91%"KRj淼Bԃ ڢ[y`Ö]oJO`]B S~`y.9n2p9Qm(qعiuXBe+44.A{e5hz=E'w6!1ND@Ai"Zgvhp;(kI-2ʡ:Zrx.)V .#nX 67ґ659qԻ} 7f+`h%۪ =%9ˮl*z'C `J>B8Txc,j5vD;T! ӐT6okuSɚK*f硥>sæYD]m~n!C6SpA*u+47Q[(k_>KdIQػķ=#6NԯMA˽yoAH%(Cӷ[{V ;f:`i1'e-p6l2IX4OUTYi\Y蹉 s3#e:@:euWV/'vPiVnA!zwc[pZ`% غms]L]V~Zp.-FV%dӧK4MMO#|6V.oTS7z]ZI3,,ӠwD pnG{A|{ҡ[,S-_,*zH*TY³ݧ]Ej_Cx=>0\VDg+XƊ y-1>/g4?C#D ܼB5 gsro-,<='FϔBVLUBH"BQ}w=:$ >^Jbz`Y݆7J+qni@8X9r  KA2O&7ΠN|QQGu\I?k0b$lQZ+Qi@O$! n )4dwC/ Y=,'xu-M"v8<-rYJ#Ss^'sCwxSx"C-CeCא *N[R8=G:5Y VqѠkMH \EnpD\ y Z5$W^{1+8~ͧ!R9> ״* N!DY'v?hTSkV5vlr:y KEb D*%'C-їb) ;e#?Gped0A5ŨTbym[Q~Nd%ݯX-{/]~]AOX{??|4X_HJŚLWl^ 0.,]l1\D1MI~ZzPaw!8'ύ1Yc)}m)F2~\diAwOA%$5^{e}ݹ[!aDtm)Ģqxsub0un2y>$_Şw(IbW!l q](~iIb.\NܮId.{B"@ۈS2js^Z6!<&Sdl H]^5#v \w]Q Mwd`㈐#?*gęRXIu>>Ol~徏1)׊S?=_ρкN7K]y*sJ򸭘MH>Ic\qotřYv>DZWo8onvNDr># t5^]x5d൶06%<( +-;|.ɥE*"9ţ>hYCְ}dCkKkqA40GET"Y\t?Л ݊ i |yc%0C~̄#LjαшCT0q|gSz~zJ03Zg&1ss˨&DX;/mL|z烴|3de>Qchw7{?ԐDWw ?OHeܰo^8y vqP85盚m)o3,@Zf?Q8V+ MDuY:f\rbGd?R"!['O2O\٢k"V!gA@/0ų|B4p,7'y3Tc1C TXt7HQϡH!fcϘ ܁|BHGhU= »fܽ3&QuO,oov-.*X =2(2$MT<%7-PnhJ|5RRcp sD?xMUh9OÀFi6RI>x٩4suSD,*IFR(O986+zCa#7Jm$j0ɧBN gxw#UT\ T=]#lx r=Lj:T ohjр}6 śPIXf-~ޒ2ۥ'L_Ifg,m$`ˢlrN8d;()o!n[v)7xM?NHZ. @{l|Qc2},t4~rauyi2/5W3Zyo0M|D#LvD V_SLe-:A_gGMcWeFύf"exР}FʌѼ2_ɼwFNrcqwOzE tL/[Aj,h ތ(D 4\4[Ģࡕ]({\x/fnY|ٲacO_HeFm. 2x:HL;JuUEzqg~{/#6k jtɤp1덖s A;7|=t6,@44ya 6C&DOÏ?iQIDl*4~(iģr=WP~Vۿ oUݕBa.vyE8,>xmK}+!=hK,e|6pdBPzC]2@|mVW4{޸t ژq9?,["DԠO 2;_:Y.Eɻ0LmϰN#Ȋ,*֏i dP, Ԉ&DPO/+?p]j^!4fqE.utEqHKDE$m[ۀo 5E"QHN5;Rss\>Tg<8iN! GVLq JVDr;!$L.5w{i.3qm~y@| žoyYWq9R5=z˽,IHϱ`̘{22v(L?E#e^UEf<ᓅ+ܩ7ķn䬳>(_GYIM2 &C5kDgRdm?,2ݒ@18GʟuUaMpFh&Ain6_tf@!Jʼƞ|Z! O~|VO;lXAGXc7qhFϹLT!~֤ɵ_uH+wqeç"%ȗx^L7 k`KdMO9S^v@{ %zʔgZ˴ [3=D&^%$p?d"'́ޅgC#^z˒<\.YKZpUx#91VX[lr_%Id!L@l'/FqrGY5iՊV;T36k[/?+]-*i% a 5]ߚRL#ϋYb19Ca7Ĥ)Jɾ?sCD1U(\kVACIKPPPm5͡-El1cR]Ӏxf=~hܔG\M\Ppٷ ھd#ƒ['@oe϶Z#6ٖHڌ+ھqfڊ+,0s_)=1"ޜ#W-N]y+=>j(3`;wwW=} <:1Ffr1}?8\\sokɀ=;g t+.{˭b)ix{9|quqȠ ]oW,LS%o6vb1_E33p7Q٧gSo\׍&ha[#BI>) 'ErЌ|,ĸzi^I v_Dڻ].S LE򇪈A_!u2,1XhI-!3s5A$kFbrh>`Ƚ=ʕ֭>(3>2 ˻B|'9f? Ѫ)-n"Ebq{8Lb֜5 kk@fAaO2߼@7 lB#RvHyCՇ˂#j9̫!O_۩6_nkZI|+H>6]:Z K(pzڰEq^hv7PhoUN"XғoqW:1N[sXs8Ni]V} t+ 9%N=G_fZZ5~N4ZD_ȹ G΄&D9V0%5^R?ͼ%i"60-(Xtyq}FM2ՇL3%"3fPWh&f3|m&J[Mv3Xuui`Q}2"rܗpM;LqCV-tv}(뭖@/h_nTZes#(ݢ7 s!Bhio\ǤBw.0dτrot9A7AK h3!$^UeL "4P=@]m%_ 困628mB>Q&Hq{|z H }w Ulh,T %Cj4Vݞ3BKob&v܃3FΧ<-'-yoq7C_^fbwN< DLw{&v3 rshfsM\4^&[WkN dŞ>&0сTQ )|^ymAp:آCفw1 k]5W b]K"EڠZ݊#( )\`a_fޔ I?qXN7rLX.7Ma[*m6P; ~'+{{1e%={KAv F) xMG 9+U$nVO!W5 /&NvY"Wڎd]/}n r.kXT5YVdzeb:/*Cojd6__M皻a^w}YT߈i^&:>?, *H} 8|V)In<鄄~V5yC"3:(Fywq;etlTBtr#>Dz>"pZyݣu|BWS10jx}+F(k&Tٟ3-[GU]cyכtB}᫐g6iE~.pb1 M Nh-"yqx2o=Ű`cj*WR0ݖF}n[|n4D8kT!' OJ m<f8,z-keM)b6xx60zRЃvk۾.Ow[~U_rfY0K+j \>Rqw-:+Ok%k:ڶr& Ɠb-ësvj=Zs'UlRk$ H^<qy=gs^YbKWI?$ C&КÛ]ma6>^F.f=b*+˝Q힇n'HE-^J"yװE6\q =J&o 6_7Z4 Ξ@D\t%RO]:Y0QI`c=#> o nM#բuи} z[ŧĵ_$ 9G}coٯ^N ;pFN4M﫱{@1g\ǘ9߂Y>/l i2[FV^ n!eX=5)x`n6R)6 >Uw-nOjyBkI}[ܝy=m ,k>3}j+ftʷ=q%˘bɵ ZGoP~E-9$4++\bF3Y 5B$i5]TB{*m ϭg I2ukmq^kKC(yS^alV141,+<8W9cnhcw뒚()MǮ0$v"8Q~wk(]et Q!~LMHm^&M,]]L3ray5C.k_@B$ʠlg r0/v1& bePtZ (&Ia3+ktPJJKA%~N;`Q{dzPG¥.D㿺ʙ[d,AۍFp[lLyiZݨve \`ӸVOS@8=<aWQl4&-= I$¥½Ի1ѣjݭP\',g|xW;k12Т D$˂tuaXzBC )8 hQȆ17`8+$tc4ϣt/me!.HU57D C$Ч DE)f*2>a}-9EEFf'蓹 \WF-M>7f䂥/#-uq9Af+05\ MԇXJS;(̷ wv"zq=iX~&'*əoWxKU{Kq08_ۊXGs/붘ܟlJѨo+}GKvLjbM#|-)T+wF˭Gۿg,}pDF$fE7E|s\N*p.?8BF랿p`t b:Ks*#4h2AUw4΄eeδɽge μM77V[Dp4XUJفoc>o")x$cԱ9Pk$>@5Y@G,(o^q8K޶|8 YcK):7vzb-I8ZP E L _J% NEb@vcQ+,Ӗڝ|B RiPa0JL 4ߎl Q;85zuJopu/ 8>Ǟ0lmQ|exA9_46)c{k(\[hzQU/[+\*~U` \h`uPo%dkf.{U4%oRc!G#m-Ԃ&Y%bKdaT18㉤w"\Hȸv,yO5ddKRSwY'ӄ }*<_{A²)a3ǨJrޗO;?6+CzgOPٓѱ sC|x1S`TY?4&EF]u3XO!rj@ )y-(%4* %0sөGN[.Xd~R/΋\c19h3w(=KYUr f%ffCvgx_$RQȶ_:bTzkEq' C K6rpu\;]˹m>N_ܖl3$'݈W$g,N׿o$ȱ)@YR nr'[¿q7]6ӓvah8z$s[܉m WUiX5j8=^TՒP)*RPNsn9Nl!EFn7ޅ933#DМ[4UC nﳤNԾ7O3AC+Hou^bS aLpχ^]I{Xw#L mwI},x؎g<+uiVDEX-plѷ\B߲xq#D\: |S&hq]D2nKn1C㊅#${.c<.Y!^e__=6 Q.α5 / YӟU ٬g/lM[F 'TC$<{~'2\^R] V|#WV٬%;IBX\lb؂X59+ߪiwBi'Iݼ:|dc-Ԟ4s!h3H1ਗi/$o+?-=:8cP}KyZm`ot0illV`B}nhƴpŦ򘑶>UidM<` RK=3)+caz&#'7 3~@ݛnxT@!{Ѫވ_C  Y6\<Ԃr&Uq#!qR&%˔f0Wn_1 /͝ *#)sg/02r'@k~NwI |=ft2P~vWAE&CCLy% nvU" wTN%Y[ 1F);ڦ>U&׈@[&DM] U,=f2Z+?lc҅[ڕʧ*>T=1eWdžZ&Q35.^ֳl/+3e_7VKMB(&܋#Nofu!L1J=#0+S1)j|Ք- FS##M|-2ɷݹF0JԱ/C;IEd\F3•K$JzVb_N1ss AgVPpDIq ^ز ;~-NIᒃ:<2&/wrE4 ;$ԍ3H/PgXg`?æTغ|*ij@\/c>x}SòyU:hnj[r42E=P4uV1u>$sCj&iq3{j;0qWRUu.4jw3;v3/vkW[tݭxHԅ*D3-lqMI%~>ݬcO-b^۩y9 X#tЃ %rysŇeR~QD|:3?ͦ^9N  xt?j5BX{pbU;[SЅVZ8rsZ g!OֻA2$2+GP\x=IfhDKfACѱ;/~ߤ|%e5id{^3قC_4Dz7ߚ_3UD5#~L/Sch)hd@ȿ-QuRO . JV[A pԮ6˴-] o/T; ϔcF&87]Aae2R Ou)9˘9$o:ϡEx/$G4+]I8>f·d7aɩ.&8v虄Rrǒ^qRE9T!(5b#*9& E\N7 mM%w;I&E2xNS(^S 5Ȓ>=VW2>p4&L`|\7BkxR;ඦK<.?MΉK@շ'TvoYwqeSVs!ڌΆ:(QDv%HY;V qbEc>V P/2?G{$ 1K /|SVO'`N3 T^஼?^ d9uqtEx6WN=) F1dN@Zgn r !j  ST&s"[<߂#0CXULs6+7-F=>.Z!UJ#Ǡ+VERNz%FhNV.W17,Čä5x /m./=UNA>S!ݥX[$zZE:#^ڍ0eS+8 3z)b^9sۣNM׊`0Oې, ]D ~MrcSJV+ps@^9T9[SKײv܂g܍ZNMmxfGY>~Fm\`tf`g(sGvOs}s7_0J\d(88Z'!v-Wv/}cn~N.xV.kw|MwwW` pZ5Q3J[ ~f)4u/f>YlG:Sخ5@3seO͋2s"NLe8ծJ#8  *UÀ9( 4QLnjKkU䅹E7 \v!6l/.ӷ":}w/FLr DX?}~^+lũrR8Sy [ =`|D sxIC'ć(doELg׍*ٲo}:2:b2!`@ U~aPFC&"^cJ IvBWWXPx%cUO83/ V|UXn@Gq]D5&=ndc48AfwQoβI})B3_ISpP$4 fbq;OPa_]s]z ! `Zzb>l_oO:aI}o'̖#KPp>6R27FMe݃l ;ҐiK<ͅ7WK볯4|/D,[I'X-6PUwc""\BD}NiW %+\7Hա.bems`TАFfYŀC |'[l0W~tC6A6Y_ :M.o<9~AmByp[R }|G ^1nsѰܾ`Xqꥉ+!Q(,QC-=?ˁ$R.]' 6xLMя|NB|z|-=@inVN~ddHx'~Uu>rVGGNq|bsҐ3BM3DkGr"p3giu Z Y*ϥ͞`{Plޱ-wiPə=҃Nq9wI,. ]A:5X70F T%Rn^g"cIm rJ" [,4᮲.NsyH.i4*f:'B gѢRGcR=6I(5bwVD[c>g{პ@׳a'?'` ]YՏ"9k ̷~ÛǎW%Qj`袨G 7e3[j6m1ݻNaʲݯ nP$8<,8 ma>3`YUBN'+<(jϵQ4] bA5bGp05G؜*!Nx-h%'݁ncΈIe=}a9{U 'gťbP7/ #nŵ(93;w.#/(((9s;G`Jxh#蒡F{~KgKĻG?EYi [%3B9m Om knI)#\V&݆_6JMi aq{lh+Ȣ*b`F WĐВWEdFrRN.n&iOԦjIaCT0~fW2ݲySf3 1.Cr+PDWo߅^9-k~#'6٤iE׃'< (QˌXĉ(㞲t0c2ŝ}򏣞`y|z؍e:]3>7/зk8p'"'1h% 5V(:t5$:j&LU~ jbLs b]{jc ҵzPE}!8Vrx6d` ˛j[#c'~LR !#u(0ۿ<0MɝM~1цW]n(xRWW(2Rf^Q d K?gOQ1㻐X2|\L {|w:B|҈cF>  3ǼPӔ=m|17L3t|Q/ɱ:( od2*Sʢo:> zM&BycnB8+#Ή7x_}F䮉5ǞD( e Y֌kW@S:  9q9[K~9ߧ2Nha D~өa۵]W"+$HV 1۸,͖WukӄekГ 6A ;fƭ)OGRJQ *D\ j,hI52clњWĄR~Vn\,&8G!Pvy"P\_\ ;D،g o, E> (Y,34ԞǗ&;J"-Ƅ둻C-kzVxb =>_0>ѨHH Xw8@/hY>#+Q;ڂ,%e [>7$L}@h$1`HB.-\?BӣΖ72uAv%#1ap& M%GnZOJf(3M4HsT7tۘǚ|eO@j$M9旌i2eŶUBs[L|E6Dsf"tJ+ws~6)D=<䀲\[sho+w px^ͥ[ic$>wH':S370foNl!pDG?<:=3 mB?Y< dWwң#AAn͔б)wr۰<& dqˁ-ef[([`;k>^T fX=Ҽ]qrI%LCiWvpߖmUА2T<'%IEqf_Wiijpm|lĎcБk:nmSnXf L`:X?asBVمcS=kcL2EV tvNjZ]Hіlq'vGv&&dG0zKUc;` ko/'#\]@O,N`_|ְ|2J<Xv#c[`7.p|@ں2 `~FYTr. r5(4Fqst SEDNU?e9 K]Yo7G]~>~ᘭDZ .L.~%^u2M^H*NBYRR0w5/RQv5$ozIMC):˂ ba]͉9 _`]x`]D鞚s˾qT uΟHU@-5wXxCXPʑ[F8M$=$nJO3m`YV 撬j{d%@GVIO9KWvU Xjfu`Q3Dz4L acoj  ¢Lv5anf\DE=>$E#3]Dےڅm1M cDqQ}+W~E;,7<JoOK@<[3?T&M$늽ip_Dl'ww ;P`TO5Ҋq di`,]Օ?:Pt_Kͥ ً ?V93W%ՊF>yXGJOiy?Ji3 Ƚ[tLXby7xnKPdםSڒ3+TA|/c3# өC([1~KYIb lVܣ]܁#1}\dtjB6ƌk/ CZ%b gYZ7zXZִF! N>]ŗXiɟ17L? KxlSYaF*+>KTui0]7ՅtF@S:,k'Kh%sEClVcJ麑1=_SH$M(?G'<=OSXQP -0́|{e12&1׊/5m`4Ag'O{JR@ZWG*'mbR=&//.3RssRz( x h(vʙ4?Ud,c廻{Ŵ?umE: gYZ7zXZִF! ~ ]ŗXi%L!2,\!/c03`HbSr*dT2n YTn"3U={ 9XQfχ߻?+aT>=bU'{&V(EӼB6s>WdLl-+A 1D{gTG~D?f3䨢RYa Ept[*/8_BujB Ƈj$ -Hc{8 ʟhf$+So=8Vnҗy o^xF~!7}oE=,WR&ȹ53;ě{eK7=>A -AMHtkws-e<8U>GYɋ^@HZ[{'~*dep*8·}+1>灶Xpޘ~6Jokyj yjς zT61]׫ŸO q# 4'۬Ĺte {j{jq#Q%I~4Fdv8Sٔ2] 7Yu  ̕R&hRlCƽ}ͭ׬Е-cdO:[m(+K-AKB9srPϿ=/= "Pz41R& |Fdy*Y$3ЩHڽt 搈2tAƛo*(Ëm4p7>{q9o*a#v"_* _^V~ܣ+eeʸ.FgcRZ"̹Ƈ#ڡ_Es~KgmD8qGPǢ,'3.&qcS.d4}fT?Rnؿ"A艎O돘7GnTHd͐LBtKk?Dذ,k FXj c;ǹ-_ϊmaf甂;fP>/~ a a:$6#\ Q%:%NMEDgs6$%qg|] QAb,uI<:Hj0Zs- t\=R|4uu(B\T40ZU_o'_H^%+5ZQSz.o up4a^ nR#)\=ߛW$V<}Y]y76]u}*Le:*GdV/zJCzlڨ&F4Bqr6,u FJ,tɇo>6P~@  Yغg23<p!3BPH-RɊA^P(aʋ_% boesFTE:Uv ]ƇԒ>ӠdwdNŘLPzC0G= h~>>v %6<|D7}q]5f+u^;jaas@-'|htYUӆ#VCW# 0fJ2mmrܯQ >O7"%QR".ȭP|wգ4nx$ ,`0֛5-&sb\NZ)Gp*Ň1Wm ߋLVx64*go܎ `z3ULsFn G[QXzߜ.YI_7/?j2cjW Ae3# e"sT>/XQ?$#qqP}3ݢCoQ  ?,NݢS6s/6) -b{dC(N&לHR"EwW6/-ZulF 7NZO۬QvqpW\>}/iQ AzTȞ!Z֟yBO!Y"cV~e @3y|/P(?.>kXnp+zm:3y镥CmgVsBFG]\ۃL4Fqؐ :#O'hk{x)/W 7 XQ:4 DB>t]ڷy]׹Ogp_0K[ӖqZQG#xųl#QPTǓ?Ǒ oo'_rIu:gWW*J02䃉:A-LBQ;IƠZBx&N$b^V.Ut>[^z-k/Eч{HbU0i_& ?i0]'M<`B?/EMZj^okrUlB%/GqI_.3`Jzc6-Xz]S&3sǶk\f}}+&#{a=(0Z>7= 7IDx+rGQdEsd PihXoYN={E,n5"@&0Կa-xQdJiY$((E YŻZϮQylZrE#cmos7$aOg~cR!j&;z\k?6!l-,-FF_ۻFGIM~0i`"n|>BTsҰz \_SYY/7F8`W'Qۨ)ˤ!4>H$ /یd% :;eϹC@~$x#Oz}Jp¡8N?[Ɍa"JhmAKg Hүzm*D)#jYN 3css}>@gJ=q[vB>:ms#^,gL J|R|`NsG|D {);d9~|}݄Uvϥ5w߲cq~@˫f$#&Z "$5[˛Ilףq׵~=u-:HHR3|J{wr<̙Ggk+! ԁ=^.RƂq6^fz;ހ[+6 DsNTδK3| Z{~8xXoMvި)w.@]IF;xIK_\8Hn_}pC nUh^_z|=jФ{x m"X!CNײ:eټ禽?G$.i?(^Re 2k`-!ϵ48-%`3ij0LeM_11-HdIjѠ~i+񒒬oxI<`db6<*Jf&S`)WղY#o{qA&͏\=> Mb|WnY&~Ed#ឺhGPRΙ@ϲbgF ׍ƭA+i¸ bN;*Z- ӹ×k8yIV[N@()ZJ͏ͮ L$2˛$kKA{RG.e<9 J Q^2Bjv)cpxŚ=G;SwR@_| RTV2f~ZEq:v+Sr/󺋀Fׁ18Sy.ɩW΀d>%KӒޓq \c?5'evH"$]E>G.P>,k863B~ HP>Dy]P^DȈn=|˰? |,Av[iS&@ZJCrcB/7QD_ 6:'CBu l肱}yM(/z;&tʱœÈNLHD`v>~*tm]2i!VR-=Gm%£_tAusS%1^8w-򣅳hF5tzUDNlw&Q8b`8铖F1 6cD|}Wc-M\5ŗw?=9M|c,A3H>({=TjĀEک[Dzծ}jp֧/gD<؀;yvYЗ/J^*LV^Va`1&k%{%\Kvṫw_n9jrS1-X vMeIqoY!n []H~U.lVnQUv̢U_ n3 y3t ^#Cuy  C xFU]1̰B\X{B D U\>ni=KxcK8c9_]HNPj(Qd{4ƺB :}(4.YeWؗ\uݲ@X3w.$D8u,jFʚ2:Y!w/ JM~rk_EOQX,6š>^gk HpFCE&m" >A%dK (u{H'+OnUfA7?/DΗy~47lPsCęgK^w<]MHAÄPI*LȐѢPh2wBD{>?o+eŰCM ,N74~)Va7 kT9CEB;  6( R/HQX{$b>rmIPUƯVґzi%՚^kȪVʎ{.qZN6Cy>ݶ0Ih%0m)WV#K ,6YC.^r;1ʲa&*B9EEՐ5~EjEdN7Oi'Ϣ?j8GjUk#WZ[ʷz)kbx c)o9?\ *i ڧ :;}|Ax\Eko;F{yP5dYv#wQKU7cf.eG}J]od/*wRӴrGqfTXcQmֻ_B˧j{ew)=ymP%&Ɠkٙ (O4eG4I/z:31;w++k['xSˡt2!sJ'&IQʸbR3P{\k!oZTɃr[@t3|zn^q[d}֐376-ު0XvL)4#Kbn0&+Exߺ[%1wWt;2!Fz] ݖs0|y a ~ 9^#ZrjpNJhy9ϡt/Q'Ix@[>s7`{bbЏI r&Jׅ*]t:];st%ҫ@O8}ٞ{!]ፊ7aj7w j+ ƙWy?>4ѳ2JFD6#w\!Q%?*)dzV;!M2*Eiff-3 +}s UUfU`uptksVUH-?( 6uO=u17n9Ku?8Vwa2W7= rN=-"crekC ct]u⧪~.\T"'[gh[FVI@_:?uC@:6喢[@'`8%̯v_)5=Bw]aoe %@N J G?gBQN1hqO˄C7[XBGYihSo-[pBXU%(z9PhF6懑IGN tcN{x[) RaSz"yeKb1sA9\~ ōb"3P6Y%|2"dgk74t!UpTk:1m 4bJMeD٫=nP]gvpP?!llR}e7&`q%Ch988<˞l@}G*PE0IJ,A՚b9ХY'M5 }窐&$g_Z^{۳%cwSQ#h:?<;ҧ&r\mD(Nf?:AcSRz7Q5oymr$V~+r(.ͤm` jә3fR`zbHUvA@ ޯ,yR(lFSLx>ݽD*ޯ.ozP,<{޳&~U=#2>k]e\ I?^5qJ`^ee'SkIQ|Of钢Sr5=j-/si@iPנU:Z8dHoaD$&x {pRom[ exOpi׎QDga=)vtc qlr14m[_^? w1B'Mf` 7{dJpzNrh$eb߼9b1Lm~>SeIèG v羾ǘ[7cҐ-_;P@n k+HϲT Y5b@ -ڶbX8ƹԑ z