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  T!T4 ]]]HOL-Proofs:threads=6elapsed=593.583cpu=1425.264gc=193.956factor=2.407zXZִF! gC]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcz@ݣAPpH{d0=C (.1P8oL.? lwU!I4&bL}$CDI珧$i`Uq2'eKTvl=ϟE-~J^u|9T]UYRI1$+VɞdeHSuw6cd8To?Ô`C2vT~nJ vA$) g~5!)W'3( bGAL'wcGZʠQ(4"m oiDs=O@In/Ah{tEʘ6sޞLBF\r$p 랞DM0/h0bӷO!Tkho!5qENZ<[2][ߏlxPsaZoGw?Yc3*0Sl.&bk2v\${pxՂɻ{=:!#]’nڬ^=D-4 g9H3a(C=-(`mh$wA^gs``·.7S4Z`J ACׇ,_%<)u &+w. @MhuФݨIƶH2>Aso^vBcMjBb^  ! HOL-ProofsPhv~Vb:I9=؀u]{$q?L^@7ieݦLƕ;T|ӻY|9;U2tb)8ѥTje$s6IaPwd*9PM -o3x@NTAL o j1>Noe[\06<-WbA/! /vz>a:S{gN.&Wb&Pv"/x H?ؔe #Xڙ'Zr!\% U}ݲ͒e.M\'Oi{,ZEBNdeG즊֎,jЧBe9 ip/3%Xɲv=iFn!? φsN7>֤j';WZ߱cYoV =fj#< xhV3U);7ퟰiO4-/ǝ A)'\~\imv IwK=#tf{g̤zӗL$[ \2xȅד`4,MK'Vl9;K˙f*c@vR7슙&Yܐ';`gu`$H~*r& &Z%NWJN8j'Y~:[z)E2ZH4^r߳O? !Y3JJwƯ+\)gҩLtS5 Xi :_aFVtҫM>L4HVIn{j,-,ޯì—>TmC1{kQZ"Џ3}xW'eJ1ナ`­E(ڼxZOd( (UQ}ǔ2zwK Mժwٌ~MӈL>Z58j)Ruey}v3֫o)oB(/2jBwsE3<˕ޕ'/ ^-2b0d1]0Fi#޸ɭ{RhU{\yk-?BEzci@",5 cauS?'^Nwc!+BQms'h'{U Kpț'Q{ 0m;}WIbEB)M(nР͇E>Dۀ4Ǝ 00Z }| &dZ6Z-͡`Zw!G-2Sw('j٫J䢛ElͭjA`Tp\ed/acU5;?Ir#q0-,TZxgrueV1|[|Kpty: jՙQ)s(ki;p-VXkb ӏ1WN |SVLl|ʩO O`++عϊ4;;\(PʄXs[0챀(|yYM,bToӀ5r k'űv5XNrnAtqgQI͈c}x^V]ȁscg*~vݽ8RVUZ(q)B0pQoghg2:,6Q";>pKX..Mti{oƐ3ơˏaġXuHhnd` *&ꬼ@٥&e%2vEI8J)$jMe[v݀b#PX&;g9GI9$0 ]Lgx=\>P y!P, Og_U<3ٺg2z;ϜL;hR5781˰]!Ègvt8@5y?vH Bby}#Rie/%3Igx-t|VBU;w91LR4,DiS8;SU)>1DnY 92"w|1ƚ48'q6oM\:zے!5tb[P沋̝'z::J & pb395?fjvȅe[<Kz!b8_N+6Sj?2&<$Pٷ 8n?Aj7J|-s3ń {> hzdh8/r.%Zq-E1'eI8#ZBDy d?Iw817%0k'{Vܢ>J c;ٮ-(\v1tWF r; ^/5z@*ͻz:Ҟ $,G(Nm_*sB3mÒVPWL*0/R(1MeC2U9_BbLo-Za3_YɇɏkhG,>^.} {m6,Uu]ip8<mT@!;?lk^d(W9~ 5ШҰ˪DLǁGKcjZ_tuqW;C 7s2 LBUƧu7nQc}niՐ BRe,Ǵu»;!8@Y_RF^&g+_0pS$"<g~7HEM5<ȇFI /zhr%@鎱fl Ad⌏|oo#LSP.*p QO\6= vpՎ!54ĤHGB ~~~ lk8aւO` O>ʻ)b:l|' &HIqL) œ;+5y!؜ zаoETQ7`ƸK\i#%VFxDk,+20ǑS[X]|v_w:p -ײu)e#G*!XJW*X)W f~ E$gM!;""fގ1܉o X CCQg_>-]T:ng3ټP;vB# =riCjLJ.-k0ĶM` kӃeWSeB}Ċ9KSQ0 K[pבI@YTʆ'Ć8%{ε*ULکrO黂v#aлxU7DZҜ@cmʷTbCRE K1L?x"3B"<OOPc х4?6\C ,0[jk2nog4EH*5goZka.ZҖIE_q#ȨXAuSix w/ -a_v B}2 j2|]½n9 nӲmԀ=Q ώP(Wm~B`. Ӹ#M͠J=4>V죋'CoUx[ꥸkecߴD9L9;eUӚqf~H'lMVo*{2߶>eSLCݙ#A:EC"Yq~H*/Y g2G':1_Hv /ӳMqT"|׷j v|/Tu#ݲ9$s8rū3i, ,l98,흼w?柀d n&B~)Wqt/qJ` ɑ9Y ƔT.}"jv#|SdKQ(_76KӺk)h@=Ӊ}94泰'_qPQ`mio'X0|x-1p1εka;z^XDe}<Љ <Ԋϧ6Zl⁉V @xʲl.q0ugYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!B/var htCmdD8C)ݧF){T64vfW?VetBq/5I$Ϸ8+ ^sVVʝ'o U?7/ӦKzQGlv?Ew5a O.K;?ݑ Xo ns0'éLtP1T%}")v5A|`D64#b\Onڷޭ 4Vz`i4m'k$m'},fAET|ǜp:%2A;GfHܥ ף@(F8l+JgAl])G7I3ЧO$5Es9e x--9WC~<ʖwqd0?$;|~%y"^V8n`\+"ՆAzCV)leJldcxV,0]\N^st.Z-ZZs;خl1a T,#x+jZd Ka8}!AR3=͏dy8FD{f՞$ZK6IU ~Sr {mӘrF[VN=Z2~d=ڻ@5ҫX{yA Q&qjgFJ7;/mzby~Go.oWC&O}NeJbfQnf:[{rھNvnFIO=c I xsw[r֯+iv]]v 3QfGLֺe'-je?|U+[}qV!mkGe! *xFg7016첧 vv3XHrA}j$DP!&_U 3''`]6{h)dު1ir 5NB9 d6b,:íz7 lt_HE!NW8 WN$ }}`J7%;wOFbҙj8wlE5!Y-yfF@F ˼(TA͗ 2veE$J%SħFc!.mW!JC1h}xɆANf0Ei ؘ΄ hZfy"cPb [Tqˍ;O i 䝰 8^4!I  fR!}JX mB7WzVCQK ʯFt-ryywb'ՙ#Sk~~?#36%qrPT9$s/h d Kz.qBgy+n y#*UJLG9ѣOAuoVy d}测.U[0lKbm|<Ȭ [nkv0dv@HsU[IeqҀ߀)%$Iݿ`| vxver6`99Z,¡FWI!t݂u!wK g2 ,f3b1Wh4LXXOcCO'2}Tj~Y5ҡIg@ޡv v٢>+ǬcyZbztRI2H$nBLDW (/ ]3<>=eA?͗(XP&ރ $l;x W ؅R8탴ͫi ғ:á Z`Xnyvdcow׊豌8S8@YM sxx |g6]gOn5^DD6eC_wM wH >J ~:e>v-]lGSdO+ٟIZ,jsjÈ9î* ##Ƞ@HGr:(♫f H %%ė8>5o1OpUˆܶ nO/˚>;R|||#z. )r2=@u*T^d5Xp"ā|D[X*܄`+F#,oH>ӫ:ċ!$\9{}FL<8q<jd,esHC2Km.3}`PuA?yycVDu{Yr%&D#̄ed]l]HY9d,Ho/ 萱fe]mvZ[mX8Px/Q:,p`šj>|kb5x++-*e քd d}iF7t[ {$PhtsTs)hjK [鏽Sz[=ZhfEǿJ-~dN9y$d.<ʋ.qy ceNjNl `X@wCLGj24~K3LbJ1ohx"?ǩ3]"<o hoM1 jql. ZcC/m_0X4r2ǀi%pdCϸtđLC+M4נ8LE 757[D~CfmVfi$i)"EѶmͅ7ubh40  N0z|4,Z0: s޵WJe\(D " PAK)dsHz [0@yZ 4]],^?BGtsIy?wf.Vv!7^9|QU##-xl:. vKW[\wf{2ӹ{APڼ8 Al}a}(VB;=6#45IQ MEe,b6w"W7_%3˻NykiM"xwpj<2\@V}FssN|ALḌ1(ڊ:IUO`ܲs65-_\|8%&>r7Ț[ŹNY4L]`o(y#{XOFi~(UDt! QMיW xZpx(kHz5SHV vzrin֛Ba uҲ mbF%~qFcX(1F*=2SFul1GREcd]`n]6 _;.'9oZ#4F îqj  Q>/hCh-4fld~v}szm2;UO{^cPYBFM9M> &LQ~|NwTwM;5)|6N6|/^BSRgXV>A=VD}) FVEr5+ϫ|"m?Gi>)b5,7?A|Aݧ9w" հُw\Fؘy׶I&yϒnS,=GR8_h<$#ZNtLV? Zw.DiʟcIqyӝYx>O ?^@$}d]D 'F (b}{% 9 VXv`וyF(7t#(oƳ(g)0BȂjM ?2 L!癬x Pa5ur`0b O"+25_* ݔ!ʘ.i+0,$Ax1qP( toC)D!+K%sUO+/•R M|Da߬=!r%I!{3vNؓ:HXK+~0E[fnU.6hɌ/ ػ mIe9+ԇ>!.{5y?Fy)]Ȅ$xq8uZT4n>'QڎMjXxutrܨq(}`0gZ}Z;l>w~Kcq@=Nw6]T)~3v}we& U.@)v~4Z9hF)chNzsi4|/[*"܂W+`PD} h7ip6K;I)"8xPFNphs,…!5׺g+v(iJ{KcPs!_Z$W$ YLS(NO~!0 1漪3ESͣr;[L!<ބ5aji*MUcLzwT[r=Lu4 |㳂8%H=2Op ˆq!̜J6 䫀o<5)f|1u'nȓSˮZ}_;_]-2M@&C&i>Zg_V7n$Z9RJLw&[[ͦz|h@;]g+ @')pІJL6L eҩka9`cP$ :e<.]+VCAKʁ2A΀yDܼbmyQ7\g8yMdkPM^| 70]nRk3=̊YQp:Ϲn-Ѓ(FS<&e_K=CM( BBuc/?YeȤ(\m-Km/{>[dBbs*3g ֡-)On0zEm@Ps,`#.Ne s-!U}1 /qAuUAIs-\Y,r{^->BuFX᨟pb@{ҪA+ohFL~}nF&sX^+Za3Oqch!׮"ߢ2Z12c[]ۖwr J MjeO)$#X< FS|*V\({vy)ӨvW ѶC 1zEYX-],>8B`sqA. Bo?O[*4'%1z@cѠ}jntBZ,eàPx?1znЕ"^P {mR[YR |j#Cm][7ĕ?ֹe{R[ΚImoUۋ*Q댴9b{tqIj{J#X0&JXqt[ݕ#T Po}?h~hQ Apѽi??> p^Ց9-Kd/Ljxe=ge?czPR$R#~&#;?G< =y,1={Wvvk<=B&E!!WEp#nbk338Z? ѣJvq^|jF;(N&WZp6v) %FXl$/vEnLNݲ}XyrzdrjL@ZN;Jq%1Jr6UJ4 +7`G Fs[  iG?;X%lIi * a^~5^cɏgꋯVO\1P@j"PJMT$}, cLl{;'jsjd|L'A eϐTl /k85="KPfSOez_IU+@-0ځEY-%Xm # DV"Aqˆm?}`77NǨ^Agplt|q 7`܎ JþBstsip3|Z΃8!L[<wCJ+0N'EM> 6O`C'l^Dhqqp:,⾮E~V&^r AcYq&KoT(9 |h24q!V`׆0⯣Bvh5W!7dQ#6LT62DMl{T(frT@(]'!fcf5@_,%iQVt47`Y3&J6抎!a. ?iGl\̰3*ěejˌIR + hĺN6 QNw3SWNu΁=|$`Urn!=P.1<'V&Wl#U $.!R&ufLE[LN*g/YaZ$b߲WWe:@rϒQD@EzcOQT-{( # :f&N*i%B  "=kR5*}H.OJFC7ZaD)ͩ{`Uj7d++$-Q%@zb?"ǂm}` je#<1*A(j1O7 {4QM(SJkDUпrGBb[^ &ۢu)wQ+yנ$pZB!O7 {ɂmiѰ>O:.|21qHO@g{1GG iq1wjf%hKm/wLFiHvyTJ9DYYS{ xIl5 ,I,̬\bdJYp*d!e 0,"%}A_Q. T%%U~=!Ake"I N0> _{kL!wmn*)mylJ#{l07)zaADiC;@V< '"[fiЧ᪑.\Ro2X+0bcELhd A5P)AZZ(r ?{MxZ)׍yh*3š]9!ƾ\!gguko(Ds1fw##L<^LJ;S{S+'1Ue_›~M)*SC{Yc+$}qq3La 1-1bǴ$aMyi\!ʫ6 V=kCͩ]ƚs5|6;uvPQUnLE #Q7j=77f$Ōp= jlRDYW9q p,NʍԘs3 %a:+("#@yM=$ƦȝeW\Pgj i2W~oԮh;3nB!\⪹K'ZI"@s,rج)}3MM3P\7gDqia(ir-rٯ DQ]l,"i(N苐\9Aߣ\ pceiM7츗VFiRM\v[8\縫,py̛0~86# \U3XDfd=w=PPy&Ql_KB"soΓvرF 3&y "E`5y`4~ ޷KmaBCB3̂MPTW:">7CAcXADH64k:zNbMhOd OeW rڀaKdlΧI|c3iK^Hɲ}|*rpi)mnfFCI fL}3>KCXƴ8L 3nK\PL3]Pl$PQcaJ 4tgͤgo/p`I|RFgJ({c7¼S݀nb|_}"CYEeΨqG;0.0D5֦֓o(V䄰|Līin˾=RJG+;Q9*N@ f)=n@r 9m;ݒs-WW}R݉Ba\dj4^,kZ5:z_KtSA3`Iߪ]$@_E5׻ok:O;iK:\+*^x $u/Ik҄b[Nr<\CMk\sm x6$-Ii58yrY+{$.ؔyEu*WvBCtsVRFsCPXttE,`*︒/7-b&FංWl nV.i# "hE7R I|I;wG} +Q/{2D:sh4 |I1ouБYhBMЋ2|.4"e =4, 朐Xh31q=J^nj <'?$a,iV%h1V65 Y'oĔ *I}+Pް cllC3+j!pjhv;S_HO$S?QUX UEZVxtz.40}9+ioE(X7vic h ؤr.K/F!X%z|k؆ Nz tup 3j^7pg\&eC%igҢ2"zjŊ}gh!~;{V:H-}㝎sڹ5ڐqاCƞTkhE P?8o}60f@\"(^t*5/gYcla-+KJJ7S g狢85=jK\u@"%d ÉuE$_&?uo~ Qٌ}uuqz#Dc߹;ʽZX:MSZ _Hs#4M}'rzK4 :%\; Wg_ lX&Qǥ~`jB$_. FQz `.[ؘ9{%FAkfݚ{;&7 <TL(4"̓:w%u0jJ>|a9*eg|,1aL:=U8p.({}{Ci7r}z^$||(LN5:l_+hPO3f kg"MTb"G??zkmLAdem wL@?#A ,〦ae |At*SRKhoy5rri/{~ôGb}^F>k$|%Ǟ+X! YBI/RUݗ[k:SK\l.r,M,01>bOGG6F7p7p26{=@**Ύ揱 Z^ F+: o.MA v x܄o+;-(46&p}q« EYN^9? \_g]\Kvɽ@r3&X>r!)XM0„z7oI@'f+D=B뺋fEUY[#  ۤn hġQ:LID+Ңp LIMs/s+˺K,e׼* wͶyh,pb9a~? MBƆj?])4<_vZҎ>N ^6oY 2/@zu{%啻5aCoNi(?aǻ= BpF3+-2MC_dChnqs57@tW7a. /omP"oxB|83kyaK̶Q|-`6 "w~[ ^IQꅏdˆc/U!cgn\V2Ǧ:Ř9,a ~;w*Goj/>%eb.@]DůlTu.vt|؁iO@K] ­,}ϙt8_Nz[8@ 4Rwb<8[yO#tu.݉_vǧe,QB觎J,0Ic4.?3mǝzDJxѪ'@h? .g6:R XYolVqVlÅ{/3EZ m'fe9bGȬGGVx :ŞQp_gwLAFǂtV̰11K1xZq/̞}D!7XdlT'\|CZ(5! REpMcV)O6% Kn}\n8 .rn,?ReT :-9pl [RhEsGma^U Ka]{> SSg 2]Qh)`bq @WbkN=9-yasoFdžf2i3b1-5 3.Z)sFwEJ0T<&7!YBZ7bʵ?P e::ZK 4"^ !9pܛV CÂ{CWM|i@WO5gpSkzem^_]4`"oDi? qX<0 ɦ+cx4%Hx9&]waS3\Jgт#76KnZmem-sSFZme}M݋?gjG4I.|_ttz7[4F0H?\ӶH^%- Fm= Y84ލ=УXi6p]map`R݊ċoʇeo)^QoE~+Bҕz:{KsrWUVccǒ\3Vp {qG{AԵކC|5P2JNޡ8qAxvaTI^3{G(Uo~CNA6IY)/3ƋN13ќ81Fr=Bևr<"FRLZ'}iV&I-ސ=M<.Nt,]Qs0ꓧ1tj| +_\0Xqnb:)]}Ǹ(2NN"͊Y{C{PtRKFܭ /bR}HshiRPw7,e3{ A(ekg޾BZ( +x ? 8DkD>5jpRr[~ҽ<#(ϋݵT$I" kh}aʽ/d5I[8SNк62aŵ,0i 2eZS|O\8%.Qj82D XInkX Яz7;MisV 5_G/O*]8 $-9$ $G>;ՓP=oty eP]-m EL|1HN۪@"ǔdYαi7&MW!bP}d{KaF奱SNn.#C{-x>yExM}f=&;" yE+RPP|d46 s|GFHhZC-"(ya@h^< 8$SAHU:;煺iVNJ3K˖æ9433+ͻqUx V [R"#OZLz^ST  8lpƁs'0_&`<̰V E Ã-k@ }UuFoFؤÕ 53^? >V?p&@hL&tD^sz*aOӔ\6f0ϼi<[5w% DTDDe?M-kO6I@|j|`6 M/RQgSa@z[-;xC⑑њ¤[J )q##FKE1 $V:>t7 KJP<}=ۚeɥK˨e Q-,J;9YH uhDZQNPU+UB$MQ \Jqݏ|ey"xa3 E$x(M.'p ,دjT0d##Տ%%~,uq7nL2Vh rmO1)G)POKoy{ 嬭!6}X" +1!DEL Ȗs߿g?lg@{ѕD MNr;NQepBRW,Z\U)FUtP|ҝYH5 SDvZ(3ޘH]گ%3;XE{-04OvMM3S="n}&$jcnB &ͩgy~@Z:2 9VV$:do&$lϴ94M%U$N1xT߫@#+ݫu*p0pV{]zď- @}A.0"{M!]K@&%Ӌu\Sq3I  G*_[r(Pj\Ϟ:/T+'e"~cIfFqBABn"R2`K!DrwΠo{(ˤsarS.yC$::yԌEVƬQjM5iN3RYIm+>:W"!B;:ŦYI* Ĭ[M7832m4Ռlp u妤 78@J'lݢ;JHNWW_w;#-JXB&1I|t^tAW X@c8 x#Q;?7w|i? v_<>@1I=_Q]K Z6=&0iل;^Bp&l͸>Y5G4DY9d6>ӛQ6~SqM>L*巀5EЛH"_jb56`2P^1ȑQ$W]L>2pYE3'i$/{J]>T{&W oђWV_џ-pŵp.s";'j[cXp65$ A D%!Ec7_߸4YLW! ^É-1Kl/9]DNvV3;k,T7qNx}Wf LɥZʟ6]$Ɉ'w5~Ѵ i3<0QPGh`K(3\{W xF~֊h^u9OZ:%(|Si t txwCMtaBl~JS+@ڌ(VPz9yѿSdΜBlܷ]ؤomr:gKp[jǂ҄cIASW=kK0h|?"dr p9lx%2ωzG j ST*-\Dtyp5K6$y(v/ԃT8sV`Yr)nP7N036g2:/F?`YBQ[aSGVCtvſ>IN}F,hb0I* 0Z9 %ų֓</ˤshy[ ׵d KnfkD0)oɏQg@̓uxLuC#RW2tLT9yP+0RBZF*%c%æC_hدk|u)`E 0M\I Zk295vUV:ѡҙ^v+?wPR6%Ͱ}(i'Z)VroQ>T'\.@T Km|y `=85h)D2#4Oy1H#2E]{%ox<5-2M]H@CgU)S# C p)|e7*d`q.+Ofm2{W<77:7ܖ%E,HFcUmaѫ=U8^}jzQ=Y-|7JYR[ju+1x@t|_}J˛ k`20z_L7d1@MlviH]fng1h8zٲrH|땐[ZoAsޱʯ֝u|0ұV8F"y  h(Z.J%%_(ee#?FB JEZ9 FN(Ez'O/DԱ )d y .Q=ړw9"%FbF^h* o͚/;f]0"5#)q8${1KD@HLu#xG,QV6Ks;oU*b=>mJ!LJ_Qȧ{| Ϳ} J©R OX[)t7Q9g~TvEIBM" ](hwe*Ԓi?Kw@ /(39/}Em-RZ Idr5~..'H|ӟ O6N~@~}/=+2ԙXnHnYIEVw")Hu'nm9xj=qeZ"sv{a[%H+y 2kLw𴴛6@(bAhxd^IqvA"+VMųKO^dw鯐4Iͳ|T:,5i8l-*TdfޯzBR6{0l:#*iSG F]NbZ]F_'O?l]-}|x'DH_U#n/tǃ3^k"<,>N6s)MUhw,'Zd N8At*vG`"phL-52i kM6]~3) +=n.{s1d" *h@}M bRWIt&!*@Jz PeDtd2H\[3b&vubX*vrLc!V MJڨ+/la/2XO!q+I $dHEo&3Yu3?H^{1;iVX=YS{ʋ#Ȧ/qtRݦVS,$Y+QOm=5mԧ Z_f$S$/X@ZӴ]fDDp F,̅'D'Byna4GI ouA[z9QjXXRa Rc ᐝq$h)xq7!Zlk/K9o#c1y6=/Xq[KRǚԼ [+K(^ 1/+(-[3fu3Q;_jf, sU i RKV4c WwM58y 龁V^#^tjCd\e9'U3uא]KM) DyKS;ƃz\^E2\K }bDG@^S薳<>Hi"XwjNC*t>e rwBl>o[>Vx9bx8Q4t9+h=QyoDwR4n:봢^i^Qb[ <=5d]7URQM ᛼J;mG1I7|.;&5W|+3}+K9 ͹Q_V\T䌣q)ОD#:[u"Ј;qPLh?ڴ ?l*{AIv]lySRբ-,F(]ނȷ`"w}r+eut=/iإ6[dI^C.s#VG"o [ҮYoRm,co{{cS5U6Q/̋Ǚ?1C:^<=`s|;.+nsRKh1 ,$<^%>h>1\aLJˠ/iEGKa=Js@"Ԑ7XU$դl7 oՇkY t3aƯrR1reNqy=kDol$ҥugN#^ O^VX驛n+!͛dDqDp'|~\A Iگ:M!93.x͑v%Fץ޽0=~f<֦Wga~DhV(T* g ";Lni-qE,qs`=6 'Bcni,b|\/cKG*'u" B*0e&V]y€ ?BIƮf^3>'tg>;f$#~g(Pwy#?~2ǰ_yWBЉ֛4;J3*K~ذHQQ* 0 ӣ,g\K]g֬+G}UL 34R4>- nG_{{91)Ɔ92Ɉٕ{3ϒ $= p~`CƱR{3,+&jT*MZ+pqo!  #j @P֐yh] & )TM?T#饙;_I)@i֓M[>E& ҪhjtR? +h+ 1v]3]NV9y#aCAbQ#p~.Őݤg*d#>V`EPM+fWo­$DguԜUfOzEoK6cNۊ71\F,1yYxk+tQq$_aʣ)Xmo'KߎLs5N\wnH",Rݎ#1mأ*vKJd!,:ey׵Č!ϳ{`>}.@{f$gZž7`k H((?kjOlM׫@h<9Vo>\Ng\FLx7xړTHk}>fa4*7,P󙷀?K p=*cPg}2O=XܞGguUqoO9xIyǤn{7ocy Ք K&2xjkWs垁`x6Hv~A;Xi9G"%oߥt¾ػ`w0$^tn _SP@ƢjP2K%QV` s~Xà 0q|q+zHAYY]3 ik6cUR}&()j&CiFF[SUNSnt2*o PĽ;Qm+._1a "!S\ 1]h8buJ;uN`;>rvG}!{Em[{Z҄/$JklQ5 Zi;:? AAdPxr:sm.= Fg%;>zJ:,/9j Ji_{̅ 72)RDl#_ysQePsm"Ll=3y9`~T)@Wޒ׆wrߜs] h:Ɨ$M ##FxC)vYd6lX{hJEI*UXy=r#B]vǒ>tQ䗷Ŀ˚GdӍ@F xDqn/]$zYYxva A]OQ̒bg{Z|7Y.7W'F)gZ ){cBX_.Q ZHt~ؒx[Rx *c5E#0K)xg 9AjqN/1oJNQHPY SdH- {W7l[^D'?NӓxR2iuהص|;0߿ W3^&Κ[tpi(3Gy> ZW.iUTɋm{Di+P!$`&7 50|ѵ۸L W-yۑ>V?<7OC:C Heπ=v32n"HKٿ xf4OlfI,SË:VcIYD0 ]^2mtP'E$q tYr:>2 AvBEhalY52ܚN>&H|FO>x=}d" =*RgcFryD>~{xNxcTP"4.ξ ot`X}~)R ^qa_F rms-np w|3K͇ v緃 2Wvo 6c04w PltߡT,1: Eب}8J&[K}a5.˒ MY!IяITӆKQ=ނI=Y 3:-t0O=eD?gin~̱s\  "{AS^E2C8EQCaJG xƵiR@x@Q5Ri=d7jי{OR:<#:}jR;[~@=ա|F:Rl)ٹ›"eqHtfT@6 Ƿ]HJ|zSڹC=DVzev;#}c2R@.C_,5Er>JggOGXƨ v' ˩eފ㮶퉸-oaKLJa x%؆B%jws<_$ݼqХ9z+Rx>Fc2% Dҋ#g$3+֎cjFPVQ^58 w `_۪m` G'qF7kIȲ*jnc#I7pر*(6E ~v|>ַma5`(4A® y\c Ѻjt' wOVY $>м]I|X'R7Rt$:ME5cA9=$Rd1|ֱ4y,$_WbZNǰH˫y ~JL{\zh <n;Rf8#u[*{ji?!l2W6ۋ2nocu֌?. 9 6RL* w ky IV&Lg3*uEgn09&2!y3/&Dp1JG𬰧bC|}QB|l81^~ !"[x/KOy  xAvMhXt6 -aNɁR.dٮSdLgjfސ`CץZ[pfh/?oX ffꚀJdYJ41"a;C6#96;Q .a?n^6V{$GeJ{cT4EkZA/'hF;J5֥ә)weQqHbMMIѼ|zROF1]i'RD}[>(% {b=i7D?DWi=#SM7 fld;ZFpW̑LD);yj&+gBlEf`N6܁ZzcY4f\ٔ;Au 6]l*zg}=-v葴T,/m,@U쁍5`#6zuѾl4VqI,~HJ,jV78vt`cy d|A]!QL}/`%j$n<(IlSfKKvZq?ϩ+tZ2PZGV!^6^/IzPLŒǮ㛸v_SWy:23h r83]189ӑ]%jk_"QkNn+SGɩgo1~@sXЇF:,zd%4wwgDPhv o' 1U;hp*L(7n3(˟_Q$; N77G!n~e[i 僴,(5%؄J:g»<:,:÷Xץ<(V%SQϴLӧM']4D h 5""ux|}5\dqF_7B:'4GbnǨ)$#2fְ2-I@N D IWVa)<k#8 v$o~Hփ4[/Nb~F8Lzx7LcH/PPtE@ wM-h] D }[ ^'af|B1C3:fsYSqOT`!eژܘH~xkK^Dž2ʉ=ۑ3"o~n'T F#q£;?`j<듫<ZU']t/ON&.bq>mwٕzjED7K+0Yq7z-NQMp5Bw sbf&cm@&"Jp@Zޖ]e\EjN ϖ}+Q@oZto 3!W,3/28%#mD7v 3=Q䷋v`>W(ӢaT1)LY_U𚈯,ENH:Gzv8γh0j B^, .)?X)lDKށI@[vH`D[/,ga $ב%FPD CXi=^IC" ږ>jux.|;4S_]ih/00@~Dcyl1?)|3oR/y@|o]Wq@` _bpcpS7} vy2Cb~U~kX_ V)Vp)"qgGnڲYaޜ+x0UXX',00ݽGJzlR.w~{ tcToUH2p&|Kտ,Qqh8!>ܐPB~! Uߗw.-[˜_Ps̜7J>oW[2WmXɩVZښp7I@V|S; JxfiNtmY'CIX^rwJu(O2iW܅=95gzQ`)9tQQq2C~ S,,$b$7eepdRF}^& GL?$8vv$&N&G 4☵\DDhL3gF4_68, i 5 ?Β})~sbY\mp,Ωֱ$ qu`uWb(86a/vp_zjzEv1{28/DFip&:}nV&O.jD*6k/¢8Ud!Wy|v9yrÿ^RNi>uȹY9AȒd%mԡ _1Xn̊T[<zbmsJ3ͮkoHIfYfn~eWYrP=2Z+la˖u/w]MT$k}.jGsKijJVa/} x܇Tjӵƀv.|'`N0Ā :`J 4m?Kn cw'UT rxv6nj=?2u ?6'~Dqoᖍu ^ 8O?]:@:Kxfbo!ULɂ츮*U$Z+@*e!ߧnb,̗Gm?px6pf\MTwIXh