SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 00 ,t uS]Slicing:threads=2elapsed=582.297cpu=1003.916gc=15.420factor=1.727zXZִF! 6P]ŗXf1-/6vR[]\Q(U] ܨ)yZ>-ۮ p1ښ9T TOB߮+ u#_,)k2L+[-[PF̶0oZix\i%ޚ-?' ВtO/HoxJE.&"N8ʗ* 4߇ljuԇV0Xa5T%#Fgdzn :cB;X`#٠  nΧ ٦Nv+8_@@fAU焵Dh޺x)T6~ 5sޓ3GXxA]JvEt 8uaWV]ayhͬXr<r,o^cj~e8($i)`"sgUsm9+ y>Y/}y}oa/|^^3 [ WzՉ'`y-vcd䌥lS#+HeYUd@onmP` #mY[h8ǚ1 % U֗M-Tep}ȣ\K*{@"N]\?8ߊժ|ưpv\ăMsB8~!^[ګo0=岽P2˕(29_m%Bj?WHEhJ [h(dQxd?h $j券3sOp#RHv"&<6) BѸ"xam)5EX3d0vuLose~?%ٝQAD+^^#Iyo,(Um]D?Uy;6a7#7G'2E)\Vy*m 8'Ʉ"&(X C00,IR_k>)L2?"AFi9K:`f$le Vs=@&Mf<|&svǠ!֚Z3m; MD7v\Z_&S- a#(tԛ \@Uq: U҈Cqux@NuN ML.m"do'&T4"Rw:77p-:Cf6M7@Q ρJk/"4 xdý|X"(> q2a&l-FS-wtqF;1 i%ƤnOGrGIi^ZQ-t?A6SO^.wՖU%#YF4ΕؑAB:V{57%Kσ [{CÏ 5O/f-q@Mr`;_ d%bm-"UYw"k'sw590 \\z;mdօD_/* R2{ ķj8Rv&G #ܫKhށjP/?a$"S^,kzOW2,j&^M~4 -/BHɪ^tm.MidZ>4}G3y%; ֲ̓P}խIv C,;nKNαt<,hd&_'Z? j3[zaeR Ҙu?0ޑ(㤑"a#c2Kj:ww5<ᙙ*@U@T0]`G;_ B=!-o7K=ߏ BhJ=o$`<죌l=[7AO N=2;Y}~β僐cwQZnfQ+p^-,r:ڼ'pe^Ipzbɸuk1X o|ꋋ f&l.2fC陀/ҡ$7UOY.1l/2X?pyOбeʋd dS%0YI-khXNuJ,Wrvk'̮fURaD1ǏzUHӂ6M$&n=r@jW]zg`P :PƶآIouI9>A\Dj׈sYp=O~l vL=3# ̦k+Z8_aJK}ܚos|ǮT@V&DhP ӮR?֫qy3 ƶsB'HU@ ^ѩύGѫg&$T,żHg- nE7{D{vm.NC YȤt':aԕRNdm sAQBΖ 9'pdHOpAmn:uqd5{_?evmo9=ntŦ0id{e6.J+UC^ÙxF{hq`БͦD=amR*^r]P I-CVOz.~wK$Z$h|ny)75+M[_8Dݪ ǞPeRԘOEfc.a L$"ԳkLUb2furjXB[z7e \r<)8l!{ovDj}r^0oPΕG077̀Q`;)S:j =)0Tbl7a nV!21U}|m56ntҋG O;z6aڴhYzjH߭.*g|K4D UB$LMUڪ\2mqYfdj D6Ņ m0p@8>cUƦl=j68>SQƎ9B_\cbkcsA(]ޏcAlˊя =_I5S~GQWUE)V52dCx4*KzfssHz ՔG:joPgmْBs(BU^^^;vyڨ-zm~fCA{(plT!$MnK+hǵzS.MR]$|N¢DsZwKCP%+| u3|Tek}|CVy! ,u U7)&&4^3f֩ttZoY|NNwJ+}E2VoZ%v[p?Bd6BJ>T\ E#7p?2&Y䓪9C敧TJ6z9Ff#Qh?D'mYE%Wr2^y@b &.}%1Kꁾ )nm|y+٧ &)G* y]b^H1G#>M>O*f?~`pڸxCON=ܴp}^*qd %dNO;`(zOY/TY,jȢ5R ~Cn\lto5e|Gq.| r^nlI1J+3MȢFb"Ȉt i?\+r6? m WЩW\ ibMktXu nvH Pgn84ai) @-G6DXӤˎZGڮb'O+qs h]ݶN|Dm\fGnyzT$(k+p"(:ۗyq::ۇ,d|urKߵw%#eN^ᮝN}Oc.o#%./2IcblODžIȒiNz~B#;: ׋XrntQxfSW̱bZظ9d .~PhƜ{<_@zP>ϏrP6#^g ~+ 4%hŲe>&鉝0:Bi3!Sx l9.~QAʎ<:LN5蹖bA8gUu }{W? !PZY;:K4䰫^k壈t\`YG`SOK+_y9a\'VLZOU"mEYR3$$AQFK۪|v)PG )3!:nÍƞ16fWsC8'G^ㆤ^iyLEU+NRyqvX Ki:l~hfM؀Jӷ/C$9pahX1\qMSza>tC2I!<IJSLC[a8uCaN]IJ(zUdKS< X.?]ꁌ|3?﹢/: 'L̄ ģEe\W?dԴ| 91%0Su:az_L_yD. WC CvYK0aYiEl?!lVyVmA,PM:![ӏpm=HybؙB1) T*WQs@rr~I?k'qz 13 eW9=y .&^pqx%[@Cɀ*ŠlǓQ5 6Ń9_O%EvO4PcvBvph팟cϩ, YBL\Rϣ4JA{[BF7•7OD1ҍ?%YܣgX=ug]_&^la:JTܓIMM73m~mM41`M(@Fl\EZO3GjM`n*jcqeF (SW޳ƾ3yqL6w]Wf>淌BIMzXroF~>U40̸X[7Kqe en\+ǟtѻo6G9i7Rk4Y $Fm}P@ḥm=rdefegG>DgcĚhY7L- z7>Jh{X)ee`?-Z_a_%ha9X=wK;G]IUpmQO3(>!iєm=HḪ$D5Dj<5?>z'pV^Wh͕Q6v؍? ]vJ0KkVe׃/}D|о4RR$N0<.T&m_4Ѓ>2]Vp~= ƹp.$:]ZoŮ[DY?&TG{eR]FܼCfg UXsM5-4}GjC쫝ٺ`l4<إ0YY㽬]kֲBSobC|$TC <鴟,] 5{y(:s?bujtF?=Mh6Y#6ULv R*2l\aq)yE +h_Ɣќޕ̇ A}44kUh4E6 |Ḓ`:x%wl #}!V5VuS锠=G {wXaPA$Igq2Υ?:79 ye36vϘWR; ]W+t!%*N{V}e݈4>SbY%2LVkAihnnB5bV^gѸz5ZN>O3lZDL˔hJ=p1y!~=L"$U8VdWi.DĖHHSce6f0O!ٟrLYko qsSLdk YTD_FKqsS??)lQ7p Pt3*MdflHMB×W-KUY`Fn-}Cᫌ@i\уm"/Gloզn%z'E tHk]EvlЊv$f8fvy~ȦDy?{w^ԙ>dS8f RFy6z3OBy !6W+K5`<-2_}j  3=;mT>R;B:7 K;@C[0K ?* cR]LF2M]4ڡG{ai,l?^ I3|hHT #(l!dգ3K~Fhy;pĭKqr,as|M{ ,;L3}C. MwfȤ}b]|zOLM<'C<~QNF$45|:')ٲ&ca+6q~|x}\c`!/ *nLØE!/VGaEHh]1rp VR! %|Ll[5vFW`#f)Ia5Ja0;Gqg5l pKMp`[u  Ք;E6FH " bmu sqY'&Trbc7T3x֞UgN\{(E 6kه'qa EdnπcP-9uAӼ\ìȎL`.߉I86F=oOAADWƏtVt]\Qĭ}˜ 0Qu*jtqbA|d"+~>*!hKlKd$_t}'Nh\nHl4Դ@ݞїܻQVҪ28|+.HR'uS"،2bQy[&h89 D'lBh{Tm^;u 7 gSOs#⚴\gNҾbY/UjEFK!ʩQ ^Uެl6,4n#S=BM+ޓ]oi##pު̪RV򦥈_% b< p<,?NE9umssHG?u-h5[wmޒR.>HbD'P!kOq;ԎEv6U1w!z6=A[Av遲,-M@0$r1$=" MHQH%INnkn(`3+=aCzhJ~60mCgܥƛhlٶ$MxKWFL=>~m%Tkh}ۤHN)$+){c-zFyK}{L@.UZJ\ZgIsH" jReMԺ 0S[< Hӕ{%~&ż}#NRP&̒I9g K)x>ٴ2Z}힍~_gXsw>L/}n\)b޺*=(}VŌ^tPF,R `4j>\ 椑ŰqASVxD`QvmkP gy"]i[ #~O?b%169g.#s+cX+QG鼸!b54گ^>j_8ѥ5/f$3SԀRh`ꌁ!t6)WdKc]>pRYp]}éA^au+6u?l|3T[?@.:/f]nK=Zcr-vyr 2.JM!DWߧڀ$Kn+j]$!¯'u wO/{z1C#~n@r d΀w_`YWr!Se$lbmйn&!|7?omF50?kcƭ=gOt'N~\F8BIccPB@tH {CjwAXp\m(~`{MSCi4;b(Vt#^c1Jz@e7C5;/}}+ٟ{gҶBaAه6 !3V*a2.Dם- ی*)#(Fg/,Mc?i޺e6`E`vx[Q/Uҙe6qf Z"ml".))Y9ٟ>pz+OGܘ6d=?sӜ?`XYLCw?v}{;(EZ0oKa۽yN"<7e`.֒MSNKt0@WT35?ƞ}ێl`,46~B- f+1wG"p/rxg07%+V\zcHVjoEUGJ,_Fk@zVS[(c+`A1 kiSNh){Xݚ&l iѧb4TQ9G+䦦 BB^>W\HY-P9zh`RB_6F*3 `4Ro$s ->x H64Gjh[H;r1ek;L}m~RCeFz ;צ"ŕ^ %,!Ss8wMs8>bu6rsh 'ܬm0!g\<̂B.dSHo WTA;e!zǁp. J$)P8Q^q j EIߡBo_LVrpV*a.t"l?~/V8 Т5PCvcóQfBpSׯ^c ̨l[m7%ޛz$PN;d T~7M6Js@J|*v>fܑJJ?|6G]VI6:1]<0y"tvJl0mK] C*膂ƻ]8g~kDZ.+hDY9@t2k|;`~q_GDLجw(~=pyʗSa&s]B8Hs"]qHO ,|}0tx5OLz$z{iw[F&'20\T0Јv8dÎ8-Y6}Y6󳵏Ym 2(!+Y?nkIJY2>JL_dT?䌐1%4 KN BfrIϫLh=i:5,>w)-aⲴ8}OJq!:=99N+z1%+ʜH콆sl )5riWY|ИWTr$޸AJ7xsJp=1V}K9zRy}BJ]_[sUt0򹊮;x[Mt>E#( *V8F)jȘԁx(rdm-ϧѧ35 ͗$uiC)%e?z2-dDMS(wбrNDSTBicu~wiQIοK} @GDQ.k Ŧ{6}Mv#]Xi>k)|┩j=-?_{ AdM#WDyI$1p$qArY*hn;&oq~,u7Ut^шy y֯9(Zt^ , 0fe.Rw+q(H9˼^>R{u𓠍a!t',ɐ'I>7.La؈"Qq5 V2{IPidlAM$_Ɛ_NKvzoP⨄MrjχipDKȁ:`(?9.rd'qMc,A <6W]$cǍv'cu Z4Obs'fHA&uUחxu)7_Z ^l/, "hDD^SC\_ϴ BqL䑚 u !N0dY?븕:uh"GЌ0i\bTNjԋ~XJT4DY%r#Ng_BLKGEd/x\ĂNK*K|d=ga*K;sF5sRx[liH㥂 7XBjT(@:WEKoc1 27V2`"Һd"2VR1^QY'r)VTH6p|7Ow͈ L`>MNKXh\{Q}BO 5Ҙ{m B'5Q8'5S3O?C#Ϋ9%=oUmsV)P^|]6Ĝ4ږVTyl8;A 9҄hx LʑUV\z`DC])vLj5k>m3l?aCƦ">F[~KQ޲{D6U`%Lz%B{l ?EI7~@:5:iuǧY [h,$W+ma5}#1. y9BX#U%ITש;#^K2ueT/)ͪn#*: qF-~>o|(0!pY5^&2\S\yLM~ݷ=y?5H핣m<`:#Q ln4>{{'` 1j:,h,k:r?2=\F\T.g 3e'a kZzzpmGϿa.v9WNaXM qZÈlo-=4vHtJݡ{{bm&5wU!bPxffZH&?\!?}Sc?5der :h^SΕ3W':=ۢdй*:bG |m`ƕ<'WD۴Z,dܢ<l:`2ո 䎉b(2WؐIfۨ%{MY /ok 030菅Kb [Zw66>P]|*)ʲw)-77+rv U,5wMؒ*1aX< ̻S3q[0^S=)(8߾ KLgF<"N/+Ɣ4H[ תZB ~ =a\N<.HÚ\w $᥊h>tdMi:gPW󒏳jѲs<뉲ۊΨ5Dq=D00lׅg /)HӲ] 3?x5is=4!)g7%-?Ih`xcY)bOڂ>=5@H?6'Ayyȱbe8@X(yYS+C+6WO Dq;ٔu]qexpu[%ؾW4<]PRH0֨T\s\;ݶ4,-9%$# z҅7:7+44wh)@䐾 Y#=@ulH<;㔵 ml^-|n]N!Jsw^gE5?<7,XGF֛U5U.$PtQ? J܊zBV$DJotA/:9̽泙TKrΝgT9΢'[dwO:UF;,h]_I ܟ:k}kwf-ٔgbEcv٬Fq44(z@.sTstv;1fONH{rƮȫ6͌}Mϟ7jfJ]'bbqiO>C#%dd]a0K 2$XRł`? hn M-C]7#97q:>@dGmҙtWtr;:]p;b''} 5[iw1oۊi|=Ŧ#%VD3+Bb{rU͢ k䐕+ i w OJHxdV) c]磐}Kn˘3'=j͡xڸ3CvFT_*md%5%;syU/k aZVlz-.XCoWg3I9A[, Gźk4+ "dHq]sN7I݃Aqi~pQ;`(Tbb^ aW;d}}q,"'I2v#ZF#oʯQ*՜ $2m2ւaԙ/醇II8"'d Dk$͸:e^2T}Prz( u]FUvV&$%B̲r͊cNJ\Zh@Cd|ld ]yTS0EjUO厗R4)${ȡ x[WE 6pQp[_XpQlJZA>Y8tG7~ ҉ڽᬒAOC7s~9B+IMQ:ryȼjA쨨S[hgr*e@}#/6FcbKYXTH_Y`wl= I, Wn2qKI`QTf+K+$m?E?I".ff\18;qw! x ogū!C*ںs&BcP{ΚE$Ea5kD*"[54L/PoGeR %T 5WhݓS8eY5($ Lwu].?\NjjNZOy[ܘ'D:(\O}.\WƓ<լ=zl" +R#(w[հC[m SV"Qu!S\aw*+/97|_6y6AHP'i{#Wv:jp$0Zg'z˻ yM9ʓ kIp5QǶsJ FֈؓkF^݆ mZ'GVS=sŐC T 2V۝DǨi ]h+Fw#dM t|&w7#ن%9[B+1[ֱZ.xfw%q]o}),DyM`MJ(iĂ?Qm $tꓽw>EDiERxb| nʥ2 fC ;}bW:5-ӷ`.S/tNu2MRtv>H ~Y8(CHF|;d`jl̢#79 / ,B,~K-¹":Fe=ڛvRlsWfsךy2+EGî'jW_7+ $vs52㈻h9ٲ!, {b,DX8j^\PVˀPTT"rʨ Z &ΔH&JB3SbI{2 4"~swl - S~T\b#p@YEϴ/rt%j?*~Nr#`8ҏiljhs dƵh?#oS"RY4\X4#iygD7o6-0`L^ɠ&mS/th HTpca=Ak3*U7 6}PK hzj!0S oLhH w\A3Kdg [ WC`}&\1}e)/yut鶂,d\b`RC?GS 8|* (6h74qwRx&)^1c氭>'O /S /X}*.4+˟_}rz'L룪>'ww9du9iz쵠w''L#sڳzZROLSas|(cQ6S}@% 8e!f /=S&91Y veiv`d4DB>o/ĝ^M4]d3-sP,Uh{`qߠ,Л@]-4/_.Pj̈́.xB{oߩ ]HXWCSw VUy.Fagv>~A#`Xr*폝mM"ۈ.”mOU؊"CaMlF8]-E7W4p; u:3kGf6VCC@<}bow>jcpE=b =E, W]\Kl]s-,HD1$W}D?X[k(+Uf5iڏT1VyZR=8s_mvLFjԈԔi2~vrM`L *mˁ.Ag}ZW1)eFd~??-Id-9[uA;*p^ 3T)ޚ͖gRHV(by@6hi0"2Px?!{jfnSw^a-s@U4 {bd*7ϹΕ]~q U Pvŭv(?꓅gH>V1 7ɖ#*+o ,CF!Em1b ՝B*t:s\dԷ6%s u=羭כDTiqޭ;.m+C3`^K`k7!+JĆ1I<=1n߭AZԓ{ }52 G:Y3hZ9ʵXX.! 6iZ[OH^1L-]1OZ"FB:Nk "lhUӐE2HS]8dx\z|ã>\4\`[-?j 4j|PO&}gP=#օidS &nMaaxٟ 9(" C3\ѿAvsXo*<VAgjGLVb7 |l` _`2m*ސ{mG|ˇgO>pb1.o ~rkPl$fX-   1]ڇ~r$s>:MɎT2f3"!h #@# bqHIrlIԐn7q#b:xj QWo~ٯ'ှo.ԟ=SwWFR[kp-bXZz" c9Ip O<5IZkEH熷ȫhM'ЊڧF.A2D(&eCQ}4]ѳ}ɏɿ{kނ$Ye}Mv ;Ⴇ%+QrМ};i-Q`w.~1$]hhL\ۃs_ =@.š'K%^S s]I)s%:IU%Ir}^T6Ĵo& ++Vɏ٧%||-B{MRcvOۮY+R4S~/8wn |\ CaΓ'* 0?fUڱ3V='yFZpB04{oj^a(xZҵMJc@ma1l1$&lD@ڥd?o]c"k[3\EBW +mjjy*+(QIߗ45. UUs@1Ψ@$xJ"4+>3֋QCX~DAx84n񆄄tĎ6A-Fm0TU )M!WPiť4Z 2^K BB&K@;f:fHÙt'zWo PoDM%4ސ<d~N|Z70;+2suv%".Z/%MrSOvOX>m[/.䘘k^mcn[EB <Υ|/$GT#lG߭_RS@{[4 A | y5#d]Ķ`ǼZ ShMa~"8AEo(hI첁0R'U5zT\ #N 'ᖪ~[ `Xl^xԮS( hD8L >.igiAWb,yߔÃ=C{G)9O>M?W0<:`49H8G!@%CGM*W-Om:LJ|?8Ko 5JFX6.BQ; ~:ȩjNY"A.ū%S<ٝofiH&"c ;ru>WCvLbh(RP4 YpP{sUB\B:KI-9ym'-׉/0Bc12Tq!dXl(fiZԲ(WxЈ|puL0 %d@֌M0XXg6ǏF84|}F(ݭJdU?$թ:}@Z>ޟEh&`1> )/㒒бqgLê1 8x7Ѡӟ38{rwdUxݦL($*sdAz 46wuooW#~9G|-q_Yhb(rߵ@)4)l1܎d]-8j2Qg*T9]e]_ڌ:2wmKDoe8\f )Q;[=8'ؤOQF\t?rr/1~[ oDy@Klk 1CLr.5(PU)\ļ\һ%o+˶Eu>-#3N.(g˔6iL=tbνve<85Z`CͨopxsK i~ '̾#| _łRLA% ź $.D #3mwn'@#/V$B@.eN9~,RC)M_RH rM\:,L&RࡂFfnYNm$ku'b_lQA7߱haIC o/uYf\Z]窑{2o\R1왤1aLyY+ 5GOFV Xdw %1*)(Y/zpy;+-+y,>swOt8c),E]KQˌMUomgMp_9 ; x/b[D8B]Rwqf,w.%$W1`Y1_')#=r0 7݌p~ c|5yp B4mG+7?-t[r]$ ;_|!X6[Gfq4 `?GA7&+[dX\0V|*\rH L .JwOjHGl )aLV4[>e@ȨZÏ!VdUD#jTH#28&/ MU"$;% ӺXX vT;s6ޭx*~J[8͙OGuD0Y yĈԎFo4E40!܂i#Du"Z9lWgf`X69HA71Q6jZM@{k8(- Dtj1QI {/%?%X]m6kH2njB$ E^D.Qm!#'L.(O7MZ/8$Gm÷V&aq5[yUnmho0iwtQ;_%crϘ0;GԞ]dфfrGһmȸW 'p;w+Z`Q4NVX&\ЧB=z * 022耶VYOJpߩWe-Kϯ=\ v98ęώ^4&*b?v=C n^i.4f<̀:3ܕdFı%M6.ġE2AUX2Y{rG.T65uΐ KI:6moāú :Ð܁k<֧$ldCbEKʆ#$QEc!elQ6Sԅ,Y ~Ӯ|e a3KtL%ٹ/ߞiڵNچ3%[Kf/-s,4N dɨ汚{isY&Xnj^(t-ڜUP{q8``b6$žU7eg:"\y%?#D!4<4iT"[=%Y I/5~~隣6 x~*UZs5N 'ԭ9@q$-~YNn\],ZvbׇqOzIiDx>*f[~mL`h8+$ʯ0f<|Q(d뫯@#i^45b}Q2O~vt>)J֠d$qt,9q"*3 U^.ηd 5q[MGjsyMTc3.qlҊ@I'oEqDF-ʷ% z1,3ܞl #ҠJDh=gDv6QJQ4l2šxTy讕rd ^]I.~.0g|yv]CU[)g BL#S!lj.NKwBWh^y2RA Avb6\PomL"dNP/4~vy=]3n2h#L.1* q#JPyu*UUH{uM 1MXClm~sE2{y0Ub%/y[lpo6kj/7?_l_fHuPMUW Y1q8t5DulnڵMٙ,a*km&iAfNU =m෩1a;|`)w{(ƏX(ՍU%J"ZY((vj'Oo,O< Y 9^= b$W&e~"u(mͱѐ l~ Ж*\8juD2! vIrs>mF  #,W0teUЈ8Ny cfsZ*ڭAO-ZQvA:Qlv{]veTFBO oInn W Z h< +TcM~qJ+ XZ.ykx%1&A{qҁ{gNWg ӴgV I}2>S̈/ $覷`8hd5Tg93"4~5Mup!N U]x f-oIzF  T7X]\6 OwۄKj[^mNtsrK7yʳE34tpubz|c&\•}⿘ت8[ٳMs~>3O߆9X;}8/8/Aܙ8E}Zyk ?@{CB GH -zF< ÑRJA0Q}qNyI[ oHk[)Q 1BcT۠g] E[1yhN:`O2g2 vv;kt.QBUM ^7_.[ÉB]~7Xc/&6\* \=8bBYy[Wok0T ޅ)vbW3'9z@-m"M-oV!q"xȾz+x8= (ܣTWk"23)pA mcފjd/6$oԣrG-vkx1RVi>lOx搼c@f)?mG&I ``њQe C- Ro'~7kZE,w`-G9EոZE1?RJ pBI6D+{q(;5DzA/ 3ȵ`o%h/Vy>3Sx!`.T?S:mRD Gi"D8bqJ+2Z׻JmT˄~Q t%g)*Bq)։=eDXn\y3kH1]f7#/ (iFa}615 Z_j9Ifn{{FBGad; ֔% }SH c`lO4Uܽ`HOїsR E/uK,V|u1[/;AR 2m -b`x7Tf:j2Dh wESc媝tlBDKRD-@B<ߩ;M 'hCl.y Wj5AfM1xV2 tr&C]K$5Ay`ƿ,BA)-b|8zkNj&3Ed*y,5{{QeKꟺon|MK٣_tI!C3nro ~Gnzx'(v}U@GmxEEڔ_+Ļ@}RalO{EjÝi"6GAR}+[hx|U0c(4Ѷhe30/OAZa o&jȾf0Uu,4ejȉsD3jO*1۵O8fP1ⲿ4]R"0i=5طy3當+pHsKN:4];OO  A]}H'l@mRgt]:36b뾌]$ ݑX^pxp?;Eَ 4[$bGe޹m#\c a0zP3`k5] |3& Ԡ\{pgT+gaS fEz  )%t(L[@06e^-CG /QJ8@k Bp߇zJ{AFEwcBUl:(B AGf <0Qq3^4݇eԟRHZ%6;̧:;Pyw^cCHD{Tc|7{[矄LƗ9eF kf̩cy2G<lF85/6oO;6W| mGUM'ĉ,jF4iH0To.Eƍ]<0<6T$D *AFn'jlaMQSyV^Dчyƈ!=M5]C/e7Z(Qn ^ ہdGnּ>>5Ͼ_<+<ч&p) ; ML9Dž *aO"4˧le5ƝU)rylP앯sz<ܝj$կ#ĺb|x;l@$y(Ȳ*.)8F+i !+ຖ)B?C8-k3*!s!ۣ JuJn)`1BX*iAs|Bj;7v;(" %&EGΨ'Q`ZE ׂ[p3yk?ҫ`7uUԟ2/?狣5;f #4o0~`?셃!- o9~ǘ\Ld;vL^#A`nAi S!"6Nכ3Mm0Fȩi-/Il݄g%L <11NH$ś?s}EO#*N VА=/nAÃJKDP9pG9Yjsʬ/zFGz%RS;)BGoպI}Y2vYC\{fblTFp"T"IH@{#op/ykAׅJ5>[\zE:Z_mHC~GѾ;ptI^f{hϠZNVN29z Es^)A6ƿ!{yIQ]}#7 $8b׶/x}S&g 2O.ZSb|5@՗EnSx ݾC[sZzжgdBD Vٰn_ߝWJ&IF]ws`x,J>/QiOi#;> c? [YYe_̀LlTG`vU ga k  GeoQakcH-*@#&%`:UZ<T](X#tlG+GKP/y_ĕSTX*0ɸ%CЏvUG BzՓYS]kOOƹ^+oT(nr2:Rj^~X@lپ&$M;8Ց7::[ҴhEܧBfo5] !hs薓:Nyv|,~;"Y&swr6GUbǧx J4)$Y"GxuɃTS)Z@j1٬i{lCB8H`jxAm( &;̿h{QEz{FG2_kfl w?*8aV jPӾy)f Cd-;]I["_S,aV ,jY-~ee,5?^UB&f}`ܵ\+2 wzd,j]" c;D]6Do.UfjIݠmeLmF0K]% U4Pjc7qߢ]%3sw\Mϒ宥l{!»rם'pZnz8ԮaZa}̿26e4^NTł( ucE0!XW2.)v¨Y7\0B%{;:~oljN^{ #s fVX8) YahݦH^3VKppv*"h)C `=oF׏FC͠J觶nl673`-.\Q񑻥@C%C⧃U}*FWғbw~wꢢE7fܒŪ' x}lkxKX{j%nKNdk"PǟjVX'@3& EL4r$kru: _8lO ͕#ޢ BپTQ"cvj>Yh qT|'$t DcR@mEimz~տYbΐ|U4Q ,븶S߇!jdD zn)VЕ:Š\6~eIgIk$ w[IXS2+KiFl C/ 1RDÃˮ 遄NIւ5X7\J̊ AG]Ty Pߟ $UQM aR@ ŸM)%/ crLg$it^xXݍݫ?=$mLnE m<~@9™ '@[q v  "\ RǺ S"bJ|a5XIs& !j2z[[N5mJKZl~"x3VutZܭM˖d (QǑ˭ 1s77/pm{֨C{NTgag](zs u-ޓ:q*fG2?Sq$`%%;rQ`{8?YZǖדϢYTh(:>9$z%I 2Tl?o]:lff yHxq~9d,NƓfUxb5 gTgxTP"Z\-HY̡8D; ?s`H1#gGI/i9%Ey,VNOhK:8,KNG"8x˲b#!XJ L6jKM+W&d#|As5Un_1ֵ{昇2K{,37LØީCsTаC= W=Y>̍[t"(n6QK 7,I9oc?; <,4ۈ^!;*cO\׈fk[V5cHF#SrYtAC6ca[38 =V:bs-J_}b@u2c`S[PrKDӾCmlΘl\0T+) bݩ N7NT Ƥ NtX“,H5j֝_շʛ~dp0LA:BC3Í*k4׼;H=lEAFdCYQk GESr@1@a]9d.'9yIExߡZ͑%R}H3. 2Ƕy&IyFn0uAYB`|$O hG!X'AqEXC8^:+Kp4#%+r.Ѿd^f4$־ ne ңyzV'ޞv]HܔVwl1m[YF Vٯ8Z~#ʓlb#k/|G-/ҿ’HG _(kWI-5c*n: /c 7 ؛7nNM"D fib/iB_7?h)ΎKsJOWx(^YC)qCi[w]y<]f=$K=BߟĻHZ=|-d5wL q1{<>l^zI]9rW͘Q`TXCAb,+Yxm=jbB2:Y}]ԕ(V\YP*Z?~?x2N`8ń>YA| O؜=G!qu0GD+ .O~ໝM=c~]vfz8zz8I Z/*@K81oX>^^Ւ`#.vuފhGde'z]mqdLp:?0b V\'bb$de G=J{0Ns8\ ݼb9bH-nE6pˬiw.vZ$/aJdϴ_rI:8)h80bb1yc}m]T-ig"89IvL#OS%#t RŘKL7ix-WF΃>2H\IwjZ앯~V<(7qcmDZK:m0Ǎ#JFfg%K_!˄A"ŀpT+ q<ًz>%U)% 9['-z /M'®g  Ԑwʆի(lJNi(& E6#ň>eO &p݊T>)>G'46`W$"qVcDb-(:h *W@},̧퇗5tpd{سJ%e= f[K9zRǹhτfW\by Px +j<({Pu wC@/G<g#:J0 *epzDIs _ =yp>yv){]\B1gO~1Є4K 0ESPKd L6u1`9 OUL+Yֲ6B#H9ɾ^>xNDFtZ^[z[G!BJ|7@ 6NHh4l 7x|~8\bx&x|lDŽj@Zt-'{D:r7L/gUj.O!{7Y'xd:lA{Mē5~-d]"o193`3c"CnP՛YL!`8ocMaWmzQ ^+J$]ޛ"Z]r?P)!4`YxV4ҿɣX'o^Z:\vSQ9WژWAogKPM!L%v=Պq" &s/p[u8t /ع#,݆u涜t) A# ZE45e1Psl^z7>*?#I.`WӧMXP3V]#Z)W{ַx+?hB+CZ,-^ o~.Y|$ e| Z8SQy'{ZQ''JNr'w* Q.A?"^9HbiOYߕD`~LmMH4Y';r0~K{, MmqԊ5P_ \S/DI%^[٭%ֿ1MN5Au}{w;4F;<v}YbGV kpAḂTuCõq]6[G&x9CR3`&Q,3JdDb*FP5ѽϼzd;ʔ:֙x ;b!JZkϫ'k{[)bA^nmeQET8 -f 5dէ <3qRi(sɥp~3J"ɏwO=N6kLüc|Дy@ ?C" k8*۰8uBΤtUI+5 pV15A%l ! j2BHƽuli7/+H0!Uݴ(6m,,r=X{X|{@_I-_-&C@2Uҿ~K؃f7+U j_BwZ%)M 韾$ 2B]s`'ߺ#6" w&Ӽnj~\5\s""b\EV80m'@䱀y[8DRS獟{f̮R`fEUֆe8dr<)1Dm#0W a\v] jy]lJ!=+%GgYZ019ba91e53f6e3aa5c41cbd26c7ed2aecad3951b 0271c312c521be4e7e246b14fb2f615afec2e650 0541b5559a089d3237d7b9f900f581530bbed23c 0d7b9687567081fa309a01ed277eff22bb9057a8 0dc3aa164c57aa09b9c88ffc0e8fcc2c690f20f3 14626b439ab583b4637a9c0af4188b7cd6eceb38 194f201eff447c986a020e6d144b709875c3e755 1b82e829f446fba63a3fca6a2a7a703ffc348ff2 1e3e6c7f1d4da7b43f3349346e1c66a9f8421065 211bba7cb8c935236ec0e345fedf6d6819f44187 2728ffa8194fe9afab344d37ec9f610877a31680 29a2697588b95f2bd64dc34acfb8619173ebe02f 365c8caabc302fed3ff9ee8febcbe644f4374d8d 389a3710aad0802ffe000804ccef85c27e7fda58 3fb8967b43639d4ceecad41f67bb3acc82980ad7 440878ca6799b6d283fd8db3f2f099f7dc240405 479706d7608e6fd92a5457f0c8901cd1d5132bb1 4868c60cc9a38c6dd54c906b398ba6f506508e35 48a0c17be2460248567820d08bac964fe2ea0bdb 4923965c750e810722b90045bc20f7498fdc5d8d 4b913409a9844cf9411f8181b2557fc300895ee3 4c9503414b3f62a492bc79aa9dca9244191e6269 4e8ceaa35e3e959e7944bf93dc054bde4f6f20c1 59c83a30c81aa961bf42e9dfc060fcb09877a25c 6c9b22d450ab29d38ca0844bdb4a891d6134fcb2 7ebd8c939b6ef34a72bee209000472f8a3d014cf 83c65e1fbba8db83a87c088079dc69849ec9d821 8d50cda3d9b7107bd63092e12948f91afb5bc5f3 995f8eab5d3e36b2e4af870bad76f96f9cdc494e 9ea6cbdf40547a8e4c1aa74603bd4e67b5136570 a13771694d398fbbc62f42a515cfe83502dbcbc3 b33ef40bf715dd1395f9c3b765f97ff00f588f60 b699208cb07be2c6fe469afbfb915c70cb65f38c c2b256f209d18fb78818ee60ebfe1ff13294fc9b c51aa4b27da6d6dfeb47a20cbe58836cf3d25a8b c53506a7dcd93fb440f1e92f1b53e0a1fc342179 d27a6a07ed173eff356772517e5c0c762337d7c6 e527a6a656e3bed29db6ac70d49fcf9e0a5b61e2 e5dff27fc80c2f1d54eaa7fbd9570ef0a4f19421 e925e55e9b48813dd04f8edb4526c348c6397946 f2158a61fdf6d3f2dce77d56344a5100f417da0e f45ffcde12d884cf07cb6ac925da4d42775c3456 f6bb88521115dcb4dbb525490caf3fa89564a77d f90867503e261262de94495be98857e11b694c15 fddad9a6043469746c9df68c899c6d620c31003cdb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 e48111be23cf7c9e7a12a3153909d0d6479fef6243e633b9285e86cf51e3a3065ddf38873c760f15