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  |!\ ]]]HOL-Proofs:threads=6elapsed=600.381cpu=1436.272gc=206.460factor=2.397zXZִF! ?']ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ g-Sa딧%÷@XEx˄wl՛R*(IeJ\:f)\E 7aՋכal цY1'Av9}*=ouv"9RUy?^(/Pvl2Yz!F8l&*vG椯U:hs;xsqch.!Vz Qvgb/ϖ ܝ}e2[٩8=[Ih~Rv6\] inLuDC`N`PH6HE[&VBѹuĈBȑWisJJ[NpL!S 0FQBR 51{n }w\X@. PHTLh*'H"ro]wtUxv2KPx|N #vd@c^=Z|2s+gaSH{mJ`eג8ֽI/-mOl r<p.0,mDWA`@K@;܆"r i!Ik_Ah3`!lHo sx31H/B@vAC=BF׻_#Q`3ݴ)y꜈E dX5O(iUgK"ABR섕-X-) , .N bj%?.p)TR>ljWЌQW1ڧ$) 9u(8& d܇-̶J1<&s2}'n=[q񰃴]+IO+n9}y`h-͖ޯa\Iu4-#_O 3‚h3s.J :GLD)Jl*wi |(x/,9$DnoW&!'c]-G ޳:gm;FOh Dia tD4͛U<|c64Q+(KhI4%HgCJsssU h&at3^* ʯ!pdEJ@ ;1X4p^gh|wkp|ȩ.#a{:}/-uyF*[pF6rTwZev~=6gĉBJ")w Qfn36y*Oh?2\%/s~+SX)!02|bB R\V+zڵtOX#Dz1|aq] PvᐤoJsi9vDSkURˆWfdm3m9 P>,ϱԘhC}[b5UIxZލ) _-p.'gfFts:;K!ڲ?$燎`DZ$"ő\-yXvV 9~B?7uK/+}@Zq슍Wx˅g_89S-ŏ[ejDP4N`Pjnt2Gʺ{K/ qBTU!ܳ+)4Lwc8#B2$h6 pCӤInI^2OPo^`4cr`]̫10crn2%1ߴm>o0DuRu(:Tk&TvEsLss9P%gNj,UI j#KCGOrg RׇlPSWJI8 jdbUfXy8̉P8Z~M~^KY`vS.{X(!(AtM7I͒52hQ IvxKMڔOnG"O1snZcBUk{U.]`z2DCo@c!w1GR#?K?7e7ao[I|2

a`qFY|[W*~ eWfիMŮM m+|cy#B;Ȓ*Y!2!&+ KKj\pp8*S8֐,7@~<:Ֆ 8qYbދrBܑTh%~mXkO|;tnaqo׳8ȍg+}!Z7 =~yκJ] qJIOk 6TE)kEPD&>՛=wP\Z%O4 %dgB`hцE̫=? b_Ñ.M6v!#蚎|v~q~n="GwGTO6tdRE w.ENփ#ԒwuNq(x,)V(m(1^,UyhaazL$|/2ӂ\i@Mi[݃"|8\EvGcxdnre9L)ZU]=K Hi]/h}:3 =02oAe?U? WI6huajD 3LWgu=^P(gm'WM q(`$6)w,(E]hADn~pWSPhqE_!ԓ^7 ڔ&Y[/憮0>15'qa)yܧn1Uo  $es텸>8=W1CO:, PUKR`ȹw\gm)1mH.N!1_vKcm P3YfU.!xUQѩTodNY歑<QY"j}0HE ڶ#t@615>ws+@`+CBEM\nU ńW\$k:4p8鞜>/8U2;O"n=&ӊOj1 ҟ\Vbƴq1 j;Ob.Ʃ4l lU8HɟU(f@~q_G!lgv+*gxʇeŽ=L8mT P7:q[]NJ&^gyB0YE 2`; J3gpc^-W;j>'Ul8u$nj%F>2%23J]Q9 L5[*%Pxs kXˀ 0qX/b2AóXz)/dtàb5w*ؓ)W6o4(bx2`=$1:;/t!=C]|D&#%*(.~i8~M<`=M-2!p m< /)s_\ռ~?A߱[P }Be ; 1SǹgFA07|[s\/ttn{4/ fIj /w:(/GSCKCcW(a TuO OvP谲9 JSI'ۼmC>XsǴY0 JjvZ] K'8]/X n|G(UPL"*10vM# t!6WlHґSJ^EN&ۘޤL:f= ;+$Ngac hM9U49V-n1}'vg}9l, 0*<}SyC_v;X#VvJ{XRޟjOCtpEFƣ$a$Ȕ{HOPG*Zzz&27qJ`ϊ3a p=L>YY^BLxzC$έ92*@\nd ]_HC.gՏG)Ab(a` |N-sQ"Q Ç106]6Y%t)Y(L'$ )w /|1uc1lnr?~㿉+YoMVo)wt .4DRN8&MCUWjQ  *BgB-_=  r4:= 5„9H߆B%/} LJ,M9] ;zls2Ipu9Pc%usݨroDkzƆgk4"}p-&ǏN5䎁]1]6ŔsÅیYkR juzV})|"&ōSMuCjXj񊥍+^#4N'd" WUOO*.WQ7AaԮ:I6fH-\&f##m[D}MDqS-2O '?k$ ν)ь'_M2D^5g.H`ȳY}%N}Ѹ T lo1oA8:p Raq#HjUNT=x3j] iO& ܷwk]z%=x&EvG(!l_>6_Pab ovyX^N uO{ +ShAr&"_qkOoG`Q%l0>K/;yjׁ+~Ol s~1ul: > Szaz(G aɱU%R7+a?܈V~(̦a<YfeL5 x%lBiOk3+i,p׌wIeeX &:۫6G7k> -burN6룡 gVL0OG }7/.2%mjuy1\/00򡃡w6{+[c`gٶ7Hؑ⤈$V_iN=lрh~N+貖+o& 8GqO2_" OZ4v=)66Yr h0cHUL̞4G^pYca6eB\X; իR'N`|Kejy>R *ns@6V!CFԡ> ›R 0DZ.$(${/Hbs=j&N:4$nֆg›WH!|DpfD́ "_D< E00 bR 7?htZWNŽBLX}=jyeE11$Xf"{GޱRYV?j[[C ^gVCG~ Ej B_ Z&EIat}ȍTjR˽7Sxh)G}tԾPp5FR6[/4ɍ;%)kdjS"G;P]Brb;Skc$ZDJU| 64'ԫ\g,~\X|Z:\:(z;ʹ6ݛ8jg6\4UuNw1Gpܕ TB\ClPOp>wzҭh_ ^(T`[FbC/p/t2UIgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!Bx(fJá%e+Ve{:KF(MNϫWݺ*H,F\a5A4R9-fص{=,;4&+Q7?lw%XC;ilOaC /~74k4'q̪҅D-;Şrצ⥠Y;n' |p mU񭧫v:!zKnu , wg! z!oş4C2@Ǖ#5YPݰio}quvNt B͌j`}Y(VMťX`ny氈LDnddY^w'ed4{ OJr.&URľD'2%Nw և*Ťg L%{++`W#dZcѴsm]7 ˡwUFƞJp u ¿LJBٳ:ڹJ6!*9{D/Ճ+r!lҳn*!щ9Xe&d}C9C) «.bj +]G{ $oBI5X'5aB{KGM1ytU

":GMi.y*7 1~.4H;PbxS1Q}}A}oz2f0|] E80ZqKWA(HB? {8%XecKV*/^(auﱚ"tlE2C󆵜Šzws*0UFfJr4ۖ#CQ 3VLo"_ "a]xGg+/,Iv~0UW H;7gա&q*N U F,rZ]qD} mD19U[&{&C}M [\^^CfAcDe,Xiҥvn!gM Yʛ<ϻi2"la5߇F 䮘Vl霃Y3rk ږ=v3'j#TyyǍYOʘ8:{m.M(-  |mW%/[SB5 s׊uۻ2  vBdQ@pGOA' .Eo^EЪWF̅:r)~FwJBp!IԱ.khڌ'&~K.C‹O*Z,5ê"SZszWK}](R:/r=j0ҟuwM{9:q*}5:Q6慝ARHT9X!ep5 RuӟYM{Ddʠԏ\QR=鳍&TnW%Z^0gSu)ppolNKq 7`U)ċrs50@խnC2"iԻE4{/\LoQ*I(萐`2r*o'V4@3@ncP.ߎqp$vb>a V$譯JaNU7\~wb'`1lQZŪ ] xR#GS$箩+ȣ+6HvOmsNZ9v\ſNim3N*Wɉ[z;=m[+B6RC 7$W:"!9WPNni^>;b/g6~"Z' :zIWMavJ1EjͲҍF&-#NZL%ȕB|T?` 2;_X .--;si7߈`qmr뢴 (jqEv˼_R|;%R;#xg!QOQnS<=w GW{-W3n)0 f7GsΏ̩3z Pzj+XZ"W#bH\b5T jV` O`'AAʃ #L U҄zKloI "HUss!/Q3R؞)j0uSHQ@5#?u (B΢0UD!ɆK6ף}sTv쿂h57H{F]^S@몋zi'@oVݷ;݀{u {k>4YkipًiYta=VC4XQ1LE6l5g7MrB8<)ҩ?~T쿐`^h$z|8+GXl穩TCŰ: `~r#$Hc4AK*=%VQuBN{HNSz&광U& "@{KSwb THmyN:<*[lhԣ;T_8Q7X]a%ߎ "QZ/ٝsŽthInڰ //E N6Z,ҹSZq,gO|xbTW0PC && |r,ҳle$nN|/cV q&uVw9 Q#3Ӫ!D3Éhܧ3I[j}3(vEIBYH״y {gն%mO=-εF>.~cA{HdJ{V4ŠhW_b=uu&J>b_xF!~y]lTz WODHM\`AFcŶ)ǿ!COd,i''@gloAq=rD+>Mx#F ` ̲q9I`_hgWf0`e*cPÖ~K>'u$eǫ޳f'&&K |/Sе-'ֵ x>8ߦ(1ͬalvȾԴcq g +}NUյ8Ъ D`(P0lLt:ٚG<]XңJRH'Ёg-_> Jl¶W$ &GuYRLR֜M'HF$Ib[aݺ:>Uu^ @'O dikL;KnfoQj`5oЉgJ֕vؔ\$ tC=}+UȶJLÕ3Cm9N$n1S#fyI\]/n'^=iz yM"2¯s"C@]Ľ} Y͙؄[.y~i$oOjS<%[u zRy/z;yA%%U>zwK%.0 *H}W\5Q& BֻWBSrc)e~>_6ꥂ*xe"@ۈV=RC&=RJ#K * T!!j B{HY&tq"I R3,Q D ȕ%[|b{wLӗpB YP -6nH0 /гh3ta>~-e%x SGi@~ B⸼k`f@*՜L"x UWsVOo]AӍHYǞ r\eYUI[s4x Qv7zF\õؖ1*%&9La"[HcRݡ(yʜL/`mȌTS>ʄQqx67Ezohnr}N)Xs30G 5 8^@ Z~gd#u@Xs%넑|r ueؘ %".նIeGui]3Y42c@?G[-aj|"җ? |e|!*tV1)շ |u{s8 Efeqܣ Kew,PX}pQ7@Sم eҗ?d P;UrV>F`*ǝչHOѥO投2m؏^>Њ߷::D_Y<o-{ɉrjraQn:e3Nz)%<Ӑ]WZe]I@ˠ 12o&ϯA)(e4*jph3> ?X`TQto zj܀\# ?yMb}EMC)p`GGN!Ij/ʂr;:Y#Ǥ dfҍ9,\Td:Fxb,TPa6P"6)'19(k3X/Vf7LeIwbFb&Br6TjA 5S '2 =>\?u4p%w}#QX/TE԰pF6 R8{&6u0; ];R&lJ=#P#tbqͧ跁5z-ݺ?y^?Nusvud]~1e)g=׃cQؖj#9Kc6+by$RkB|bDϑ̃/$"Y6C{5Xc<䉄&ɥsZ7Ċ{oPwT&PVd-23QPNAǑB/̬äyo.L hŪ>51GCvosj.ji^ϚVo6jY^6~c3cNt WcC;_ݚ:+c[Şn6.-aOc%2In.NGH d-CL境c":a|dԨ;*Kgr& þWGy ?+e=I"+60+#Kz-B5h"ơC3Yr2f/~URj4],I8|FP^V+$F e`D,Lx^+ҵp.GՁZb4sռ9Cx8G0{lm`12M>uMU Ȁ(,e@YZoܛ*2 SB6T_#-lv@ÎK_ҷ%8jjC*ӓMkGz gO2Hb֦ol-L# 46UAؗ\,s3C-.3Y[i,ِnqey { ZY)gtY;1~ܳ䤘ZuCxu1c(p2(Z#WNx'"^ɕo js-a{\P6֯gcyc> [Wߎ>hH; .xcv15j[:,5ͦfL\e*Vx6l}a]TH1]B^ȟoz:9KLSnfC aωu+ (!0>nﳇ{P ǶָRZLኮVH.@GN^)QUy({d cΣsc<Σ)h=CE][0~I*pVz:>Vmb-qEk)_` &C`uJ`( 178 )uwtӶЂ8 .ZvB5,;A$dْvDN9č6^f)${i1mPW.Z+"!ͱj{*ϱyg1o;b5)䏄Bz:G?}L=i #4Pi(bWLh`"8){PpThOk]B'iw;/Cx0G~w9z =RgƝ »/ƘɑAFAԵ!:lЕ[w'& VԌji/c0Vrh;/ft2S3\=,`q罛ц ZOQk)go _TC dx`dX$wYYp P>}f$pѮ%Jm6qd kjԃfv a k6W6 D"a1ZC#fC=\2֖[cR q!Q+ xZ7::bte0 L*ڈťDApxߛ ͡(Y 98Ntj0k4Ӫ4S6k~ODX"#wvYppVQJ>t/OdLʉ~fp>/vkQɥm}Y4vM;܇^\ EQLjVPXB& x[ cJm5<|o xqgU_d̲)TrCm2!8@2yntƍ6TRG ٕW/#,oPE+ $f"4EG4Q[r-L״GqyzQ4 ~%"V-SՂ(8JMV^jMB2Zl#4B#K;4ĉISYCMqc( k Օ%#h Gz4tl_:#ԋ$F,6!p!<&\VX |V>$?J6##z? ͭՎD oשT%%%;FX%/C)ws}[0AwgXTm ``GL{}ͳ_Y "b@0 StI'Ysbvy~UnZ-\ Fst[h\>PBB¦W"Yq7xb.u}xRLE;I?Hfac=JI#:(4YJ nW6Fin>| 9k?4۩lďc?ߎ(R`mGCg p+o"3lnJ6]'Y4g,Hn펟ua>`g?Cux|ǁ)؄76 t*MS+oW.?+I\AB?r&}"yH7y h #4:K|ˡzvc1IDWSp2Ahy(!R^ZU $T ΆBu1O7@!-={*gd"2'K (xcM! (UBo;>z'[cJJİWk寙/=%':r|VpdM%/J ?UJ@\ckGzIesx:~nhnM4\DQcsBNXikn,JVqJ \ݚSH%M͡^@~ QtO=<|~~@p;qbzqNў=2BEC> T&ɒ~3)v p<ּ =s5oA ;DzIhKCzh ,+gfU,LHO>lVе3g֗/ʺ5+E6BCKI8'ò`=oq"˓|yD1rm8Z ln zKQFqZc[t(gفL,%6a3\NDqYK7%ҍ}){'lSP8df6+c mۏf?>fBj~Jʛv*:CFN/)\,} ݽ]EQ@ŮF0"ҕX .F ,uKzSdR5]O%L_R'f͢Nm2 Y5VQuY3 kܿ $%"rvS uaFfD(fN 4@;pJAªIq[3,)西8HB?<]f !Yg:3iB>5F'awp*B XJ{H9A"sN~. Ho)󡸔^)0l_&̖cݍ;gE,WSJ,F'M2HQ͛WˑZ,!d84z/mCeFTCnFKMDQj%t@Tg&&%uF<ЪVwj"̃YmƯOf/NM/n/=o;?Zٺ(7% RRjfƘ*cS68)p%>&X>~6ի` Sf6.i$ɣpl8( OZDXžv2T 2]x,I%Q!mac+RB mg'KzN{m QX2Cg䌊ОE0dl*8x]0Ĭ?]X`crh0I!(dyWBEk~?"l-=(=KA}Ql{q8Lx/3?iE-7 kkpKM O*< |21oXiy 9+'cEkbJ\\'@F7I Q?zlA~ixD!s9ƫ~MTe/u#^l KҴ5$uH'id4: U7dL 6ǝK gC{b`ߪ9Jc y2 J;OUdLLYNG /@:"wj{h1M:EqGzp꽭˻[8hmǚ=Ajw0Ȁ =7:؛%pwW9p'{ؔeߑl]4m(uSG»hsJA<ʅ81;U)F/ڐ ?]ZS>/}z2i6զtYIw `4{V~۳N:׋7U,ςhB`mfH5U:uhaۈkh/j bIQU,J$pc% kdRMQ@3FQEw 2}Rz?X@v aKelËsXI{U]wubʙJОVJ#NcĀFOơngnFb>)oXڭ%Ϫލtl)+J]mB|nV5:7,)xI5w.q?R9LVσ.'[dG ѷn60~k7BLFuXݯ+4fOc_ٕoE}"(DN 7g>ǾQ u[rUh :#M6L!N#E'Wճe=S=| (_RU~>OnT|j/|z3ڼP6yp5Ugm:sT-P_o4or?^(xAgb,ʮ[]n=F=AUp#y6Dԍ2a Qz %5XʇwCff]|?XJʿ[j?V!/*7љ"fCթR\- A.)%4 4|ris"CmD{pm\?*E~ $vԉ0ǗeG4ah__J6lQύ IZ:?0OS(K;1os"k_Yvk֌kL vE~YAI0Gkb,{Ajy?Y9 l-.%c3eq~Q{gjeM" >h| f\[c6E EG[C 8^j=V>4'A7鵫^N 1# n]Cme:/v6Yuf$kJh PA[˂zpQ;^z%% //q%ʮRt&P^ ygV(FR1y*kSr2  1HJcSڪM*ݷ:inکPjGchl@)~Dǹ4'ZrHkRop 2N3?t$߆Jk0_N.YPf!'cD XQN-*+i IA>̞U61A~A= 70>,p)99O21T7(;HL$$ X~W+vm% 3=P\H4??b6==ZO\|t"ϡX@r X5%EI 1>s ^@/{h.WB=Q h;UU/|ɭ-`~Ÿ{ΔtT+e*t: #0ӕ,#@I4²N>Ό$T}Z /@' ]*L]G~v&`՞׭Zߔ٩IM_@q!;&(=f(9%҉"$q7b61uX1y٣01@=j{١GaߟX3ɨZbU/:Y\Rm U2/is؜ ֐9CHYs#Z C=i:~BX+eè82G >#S>{OG!4B x01hBq2׀A)do-rwD cS}ixЕ MFXQ sZ(q{$Ɯ&jdIѬ˧p;RڢW=J ?u$%y ~^SI&Ż~So ԟ$6TDXxܷ+7Lb|4l ,y UkM)6Y4 <}sE6vI(ƄO$k?R"+!c|aHp¾О.jG%n2x=h;}DbwTIDŽjUPg e9p:-VLyp:_5,8C( mV$(hzgw1V'󜡿q,KAt0ChwI:g-M ~ҁzg? zk%4=mנG Hs=C Sr7&jAsg 5uj#AM.S;nE3YA԰J/͟}Ǐ,Fa;{XӴXBkhl5lxQ"v$Vq)EXoGABmPv\uhb؄8<[U*;<_UGz?$;Xn[Oz?,=$0{C2FIsO5\75`3sdhFh?(U:`M: 0 ^ T-sӊNE4_n̻9}kǓlSuڤQqsYD㍳Tʹ?3u?Vи ;}h%>~{ 'j8єCQ)7`%YӖ@2٥"xxC 5(.僱2IBygGAJU|[1MXeоap.'Zȏrgٮ{06Vc/4X˿"ɤQxLot]ؔqSruBmo ?=CuVڸ^Z)B\fsV\H.9k*%}c18-q:NM9Kr<.֐ˁ2 &l.7m*1\H9Z 1'ti[u UMࣦH+QG¡H,Vb FQgQJxnݱՀVrý >f)t6O ؓ_ xG:8wyDq$P q6!wv2x 4vp X:Xsa fSa^йP Bj*G1|̕T#Ni=rI%V7RLqٷ`ρ}X6gf$ZbT^ ꐩ>b;TR/ nr I[/(m%T2i4RgE,p>LpU F&*zcGBz<q&(;I5RG6򘈼?AWV7ğ8m /ײY^A7iTzkrstZA.TejYبfWT9nu&xcp 13o% A_6؆(WBSÀGM_&5rey\ZeW''$*+Gl!kEF/iݴf1bdiӈȳYNgڇ=m)~WuF ګ1MY,a.(=ǣcfaHe:2>򣴾|V :&-j}-opl zn کMΘV=슦PVK`IQS6x.* グ?uah4KNM]YQC$([pm1p%ۅ%mc$Vn(mwg'5" xFM@(O^:c{Ϻ cTgV?ᯗ'>,$MGFWP|ޞSUB`Mڹ8UkʭL=ٷe)&~cBqDlnΏ }͍˥lwd7㝛Zs\(35w/ZGtyuf*=RGIg=B7t{X)Uw8c1`]j>5sXFs1ly";ͽ.]fZϛvf{MPX*H2 &%?:|z6ϤNj`_ΰQ@wHd&;qW ڜbA@>-׎ۗ"W~`^0D+1 ,OaPWl&@S:҉z >1'x+Ycy| ڍ'̪:\+*V1|9.s!Un )qh ,i%x[(I]}រBlP̯ <[ΜEM}n:UHe k-;-orԾKW\Cͱ0HI Vew>@w:+:JjvjT n`Ab{>F$jB2jh=8J?{ܪ" E$]oTP _[ØJ60}yyOG82cb\;\){[N(ӥGRSX1V 7T.TsCZQp(KKBr9HnvfS? otp[KaHmR_:')SY(.hClh\?’!#hC:]dL3"Aw2j; }h Fyq2P&MX mi jplJ$azHIފ@H_rX$]W=,wP%~ǡ52D]e"pu/ǁ\ӹ<H*SK4)b 7("'6* yb/ $zL@Qֿh'`"h)euϺ|t[v] ك8!>;Fش O IK[#~{ 0}eTlRjNkuA'GXS'Ю26C9dr~Dd=*4XA-#~o=&s"a}?/I`]JRe9 c!C!a=SP(C~]֝D{4NQ]E&>f(ٓ1fHhK/΃ -dnV661n2NN'TA^0xW<]:G,38c?K.ص)5qU9z%zGyoH̼>!U9(amԒFOeqeR|xkt)X @+Lel5(2-0V&구{*qdne@%R~>p]Ա7ܰV&Iq0wsOd+V$.7@ڳ<Բ 1T`3ՌtELma؊T`;eL2 ȭ( ֬[q8*~xRaL6&бLJ:P/Tu=J8j?wp^jX1vc7EРK˚;wDbxyMd GP3RM=a/12B Z_`*ѵXUUM:M8YrM~L5 Ohk 4DljB.2LmNZ< id+k(3%@B0RH9zxE)r[AC]&b}3|ELgXF+~IC$Yb">pk]NCLZdaz^JRvY4-aWWtI=֪#$4q-$I(`kߏ%si4&Y +*&EΤXbP"#J$ʛƄ.!m$7;*#;#U;CΙ #V8HNd@vBFFo&_G = :&'զ#ٞd${|umvƩv~txs0R9w<7DIJ~Bוۨp{氤_xu>Blч_'}(P`;T"=F#f/@Iƥי,j2vwM=LGk0bJ4[ܐTZT >塬[ #F F ʀ 4AI: p}zyc$cBoV4I$~[`C#lc=V-Faj\s7ϿPV5>ڴa<:~Gh'XX0&"D_< hXjZncQaAYg\ӳY7Y`iixK HɖqBg#<+~ %bKxS :國Nmvc_F*CѢ>rY+}6&[.Fz(_v Z","k&AR8[gSne0NөNtɫDzw9B"npzCq)hዽ%/J7e2fz3+l3&u1q/ TG{Ddz^lO%& '5LW?Qc`#_$WAN{8[H̟I_,07voK 6#L=(lr˘tS ?:^wQ,l J9 /F_qׄ6}= > Wtp2zd-$KE)Zqn^znp$k0`0Co<4C Ci[~LYhv%{C'suT^+C(ϸ2_5^kNvbn姏wJ)-̘i|f4(H>XD*cs雋ȓrb>`7kgQ1N 9K;v^i*d*;/MËۋ0U#*Zx? wi%l&qԞ<%=$pͼB-,Q3JOJR]WH[p=gެBz)6Yj}]\D.(9p7lEn8w(Qʴ\9PK;i~p)6ho+&6StBJ/&mbHDwD͗ej+H3nJF7}~_C)nR@6xqɊ.7sy , k4. ̒A1ƞKCn 4[2L!4,MٯX=ԁ!v8Ri9X .3XS>x> \9+zAȪ0 0bQXlΙ L-rLh[nȄ'9`Ȉ.Br_o&j2酨u◴ȄY,$jc$@_) .Xǻ ?lZK<ѱndFJ_(5n,56R]}pk6ԕ]~9 T3A=Z3;|U-D>(8p@"[rV?m0|UN:׍@SI:[jY؞Th 恵%(o%cFi ۖus8)1&GŒ _'IR_ho1:=]x~M!T-ō5}$]&'Tʸ?PRكlfME$xʄj8{mxK~ Hi3PG^Hc$M9H[d{K~_~],Ɇ']Lض!˖Vs&. TXZZtxQ0HxhGEcFށ?  /"HHÙ{[u fꉭ0ΘB48y&&̋+G ݐE]mOzg.]bby O g+)O4 }&B&X cGt d֦IrDY>(#4S9ϴʀ8V([tKtqnă F SP[%: MQ5H,t3Uls93NKk3Ϟ#[0EfI/QU;QD5qlEJچ;6OFҭ`0_M^'ҝA!6gwqQ30̏t6C1{@SF1By>U pɐZ%IB-P1Mh+m~TsX roT, OϾ(gun|a £=dgjntKt 9ӕRp84 &Su-<\7r:L_ 6MEa8ؤu ;#%4YB?wMCAtN/CXc # ic0}Ŧyщx6BžwGdP&̋ǝT]bݤfl/^_wfY+G@*~Ot ָ)El"-ȯ+G_I Z{$kPߠ3OGͅ)}IsjBL@X=ofk"V>D˂քsAg!z! ;pLSmm`\[AQdEwy4Q@O%/pD)xuaq:1T7loh^Ⱦ8fր8xT*GInfK~l%.L(zVQ-ó՝y(Z|o+^ѳ1ISx36x4f^F4?J1vIh='L&&ρ >a2+*.pi hQ*)x97{SK l[ hA-kk9Q:ctnҴ9Ùr^&kqukns6_~\:лZk~Ӟ'\R0n},H8!P⇇mp#8%koHLR1Jv7)'P}jSOTd%rc*Cr?r&fTixDq)߉9,񳢒?R0[$ F SYvñXIV?;jFHzIY)K!ti/Pzt^j4)|hh:-hi *[JՑb 7e!76/+E[st2; 8B KFY $f}5t3)rrwi޳L`zcU.ڑp[c*Ά 9䉷$HGzc,Cе[Р4kC`


oK:ңJ'ӃI}m( ֫z>{O¼oѧBrVɸT˹I?,ʼn(_+rYf>A7Bi[: u \Iw ;p2uVW@sءET=Y:-Y\pL}t(GM{WTԛ - {JavnIpt=:4֌s7kr֓vt7ig*$"D9S#WC=mQ^$b3+( +7`a8toi "Sֿs!@%HCpձ 6R ۠oNIב\6XQ5.? JkE R |y,+,j@/Fs lTYɉ-4"^f` cPWy[ n1 ۩f*oZ5|y|IH U,G֒1MB*Nz8P2S6|BӉ[h,cf%#~$jkKLچx 'O #-Ʈ@;ɑoO.k#Z&<aQŮݫJ"V? uO$>#xiyfU/ 3ߦ+wC^*&A]3ˬJ Đɳä^y>@\[܏S\NdfyS;oh)TpP5VM ^yKzAe(ȫݔ&.~\ԋ*Gv2uuPOMϦ:tA!阀R&[*荟ֳTPw`!ۛW/% ??y\nb"0:"-OV6/>%]GсRF"YciǍJQ7lkBwz|$774~Ođ$rNtƘplE(˳0̪V{ aB*4.#YD>dK# *mP/}M Qy=(?&H;tg)\jF4V8 TϣE٧,1X r6L5צ1adK̹w·J !HI!Lj BRѩ7\A!m5򌥶}geTVH渘L)V@.x,8+OuƤD "20k=F1NC!)X,̢z\/ܠ'r c( Tf cG?[Ng/2guvF6YAD9bDzo6+ *o%mʨ<¢|vJ 06 !gRs|f6 hZ:=!̙jꝡg)yA}#F[ *@Oٹk,کIY?y +{Fqtkހ1s_.ۃFAAQiۑNL% * {)'MGFvxH:ip?ԆВ$%4ЪJJg0*-_„G1h 0,9Eۖ_pyUa~0 F:k¶=WUd=daJQkumP+eDkC3dm@1RK~-tCF9ѷݲFU)v;"5r1U-C'ZRv]q