SQLite format 3@ .- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info AA $T uS]Slicing:threads=2elapsed=618.536cpu=1054.332gc=15.784factor=1.707zXZִF! 7]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/.rQNq94XiEuN۾9MQþVx넒}x'/Cs0(/9`!V AKL+ h'o(Fgˑ{]J9p۔akM%X7b43,|#iU77{UB+X(A#],@MWY>gW'cS}y=æ"wxfyb`|Q(K]edHjVtZ Qg6$%"!VU$TVr?aܭd  t+&Ǫ`B^G\1S`"^d]H 'z~$ޛwLK`GLKӜBp007d C@Rُ;ɢaIB&xWl#k}KRq1]f7o ,DY BYEm#+Gw e\59pk1B.   Slicing4h28eM\sWZwW4p?>%ͅ%hcҸ@ϋ9yls0x`0TShAT8~{Q$)N%piBa2}YIg2r/1L{yD@:ڼ>nL%tnJ@w&tEA~#6kZe@E+q _Mb{<5B(W;LD*CqKcN?H8kv 9i[aI;zsݚ^\M;:$)fjgq5Ft\uYZp@ZՓ$]#o#'CeTnkjaI`i Jg\js`C뢯y13QYJC2 NU ͊2mr眘n3 40ț˜|R2Nj~:Qab)ѳlM^hw"EcFPn3`۸OuVaI S9ˀ$ 6&@8R)!Bou`u5*RBMSuvw[Ɵv,ƕLj-3 A'_]vE/J̠rycWq~1x^;j'Pg`4 V)|Lh(/|?Mu`ZPfgUN$W+׬l+Pjd.wRZT] T/#[U~5".r`ܧ/?j)=P 3VKBskZm&f2񤻪r<Dp  0iE."LU׹U)M^m{^ 6T?"xZPĸ sH̦smM/5aRLü7훚KBCpm|kv뢤=O*}r.T鳍D{ 9{b9h>ckp^7;ǹZH*^KD/j9{mQT@Kcٔ)'7Lnd%?uq < @R8*0go= {C`B YۓŅ~:$L>lvkMtTE ل8-mdv&eBz f_oKk~?qYO,)i[g75I"Ao+Z%y<6xY57xCn5K@+Lˊ{L٢6ub{4rC&_p:lq*iY1ݡ=c")".̋&AIedLc, Z}Ԥ+jS8LӪ]M\b D;DTz3nR2́8n0(1#vտd7GWvu {&{yvUL NILҙôC9lp;72VVHT`.a`O$fAv 9JY66f0=a6$5-wH$E/Jw m%lBu`"b[G='/+jB:@nڶTo]+x931`:?\G)#Rk#3A*Cs4;SYC79RB R(q 1ZHG?wxy{R7/lo1{WR%` jH+{ㄐ)RIj]M?~iU\)^݅b[l eP IAmȋDXQ `&xvDlOɣS5.* 7~_3/N%}|ZTehRhqayޑPajm~I'!^O[7-)uK(n\xAT%RZ `o*"\W^J&C$i1жÊ ʿEot(֮ɑ!w_BZK"FPoZ*)}Us_qW*ty6"7ONĢjቡ r}ρJ>X8F{H?~X pQ'hǘzh@M2խpsG45$w&\ 靐g\oa@"| RO] 4HPrV7B]HB(G7C~tU}-RzSVgQxCZKT[xy={?|wh򍚹q#wwgIݮc!>{'hj7iM,'me"g*]ko|[g;é>_Cp)v#Ǵ?|5ުp4Sۖd Ts2y,aZod~!i2CJ@fëYOVȭ`3!dsqou9T "4?5} #zćCU!3_NC"1O 7&mfdch X$ƓɂK"^uv0zIQX2;m&X~0vHCـY{.1T%n[Nu&2"WlaFJLqC32ן[˶H]hӽ}(=e]_v;"qFxۂ Ԣd%: 0v:2 [((5eヅ&:f-7Gs~5t(c5@fM׷ a^imuZ*V\,{:\Р\S !3"L6E_#aj>W6Fç_Wểb/ŇxGiVp{>G5"AnM,RYGrx1qI GOy RC`)cIAx fnjL^^r}hn-&_ō)RPn:r6YVl , am'.0jW%/|jߖx,"׷O<?}y6u"sW|kfnq{+皤+=hbnP @%)2I3fj(r@ck\qmWO94"&$wQ#xrԖdpBC{EeXJ2N϶Ɛ4-"9VdV`3-\4e_>{rqѨhk4ؤTP#a 4vOJpe;@5)Ńncrq-ME>h[,] >,qx0*(E,M,xxO.8+ua$ @*ЮRXXrC_宙wUyl2)$&2 'MD#fV~`>fPk&$@A=).VVДht|#Қ=8 Wߵ0{| .Hk5 #F] b0+eRQټc]'jЂd/ƫ]S5XJ;jw/~iffRfwv]M+h"A$ 74.y {'W+NJZHU3?j~3CHIBfR&[E߮*3^0-EKh3imn,>sҫ!^ FMDŽ#xٯFUX4gP!k!nfuw3~ FK om< eRCLB'G4rat5 f) 㧸S$z=#FxٝSSlA.`WBWPO^ت6PHQZrנotxhr97!M}77N<W1~6ݽ:"*lTMBkX{d^3;%H'6zO/9mFˏuԯO}4% K@aF~Wj86|JO3Ϳj[D*v4](.Q%#}u_o^T@$XT _4${iJ9 n2;8`띐q2 7N >G۟$TZr_NM?jkW+oj*^"3_(v!|:p"\]4 vR&XNDB7s\uH2ivi=!F\t|RISWϳZ;l˫>c“EˇşB0'9A+6!!c8z;¼o5W"בj(SqyH_T|jkԳ$Uwv-?xhK;J.9J}|C&bh FI#J2gd\l9r#zd5 -"A~ #|aN } trLE_ۣ uT>j};e3n2?=AnbJXt}MޥI}R:E@w iȘK:F~*vkpMLBBBτld~AO%>{؉ii-h~y:@;DX\֘ ReEd ^.jQm R7 7 i]33|BH#VM9HpBt2Ͻ:l~Rnu2v!@ ^H8q ,s՗ZeX11/v Ms L3!kzOkm iBYLꪥe#bP/>988EZ<%c*H>G/|9@倗Z}{!H]l[F $wԾ]ue Ε0+y7 MpcA»c@w[Jrb>@H:ma̖uzz:$뤠eVYB7A`e!9OSݒ%IX߇|فAl{jLҜk̐1wQ1FΠ @:D؞=*(}UD}[i,#*z:R?w}'̿XG ]5 GSo7ߑOUjX96ob҈Rk ``r:NK{8]"]GԧGBleYjI8srCPfk;מzBz,r\JN29c .y΁]6N \Ӣv>gA#&fY >\ckݢf?"F*j57O!&V,,kHKQ{C4bK3h҇[~Za03kM|UYtpGɂ*^SkVѷ[>Tg $Ŀ`HK}vgtIu_izsb瘝ѿ=W[0A0d4D&ˠ=2bEl43GҁvLþ'Sx0^gO 0<;CJ:qrPss)0WhM~ud[ be' WwaK/ h ̔LyɿR.u"xu$PmMm7m^ۼF%B }UzkLN/A,!rIP'qxVqLxvfKi)q ~kP6#}E&]92m΍a42 b9LTmT08a'  qcڳ1Q4\0z5љ^ uIџڬ/@bcR?,+?F9By>ʺ)P7v3oG/wzBNx_ԌYKDZ`*4¼9]GnL |(K/p#p^eσWntXִ{j)n?rBŠOGj8ڤR4ҽay3 vAiE@qwcsǩ.]nҷs[꺥\o틜iz/ϓ`WU͋1)o7Y,m{"!r6a|Fe{ӛ>/8~o6+/~J38Ѷ3fRE` GC ֔%HMo͊ؕ(zM T[#8r1uBļO';,Eyyf\Jvg?Qm@)FyAkIxu gH`N]ݕl,( L)dG׫9Yi_1_(;J< rzCl)aEm(<>ʫGanS[<o]_1%ĽQFKnF |%CSI$ݗ֏Vs~EAT,i n#sd j3{ę@Gܢ'g {)>Ņaafw+ ꨼;@oXdd@&}h5a ⌓5Kzylt5G68;,No v{/v@q@~T?]BԶ qs|mǹ9|APB/վ߀&4SsRRx"Һ*: ڳ4#(.)wa?k{K44O# 86ah{Kkg$#5A-Pd >TzB ?Il^}c.; vz|\zݖqK͜flF)vQC@=MwySMj&`ZA ?d?ޒPH gvZ:7܋`/_((iE7iKXW:wͿ6䳮t|UńUÜ.'Lg~CCC͕l^ ~%oT#4 =|qE/ Eou )urzq{(M~}i@HҶjXIaE1,M6@{SRcO=ǔuhܰ]mvqGuRmp({Dz5!&WFo7ef*$1aӒ aㄊ8ͣRy)'ۜQL7-M*&9ØclB0܂;u @DϺV"?jN0V|k,"+:Τq\ǹmP) ]Î2 q/OߴEEi4WI\|̆b #[?( `hezʜ!2uI3%kN_A 'E{yu6cK$5C!kX5Ke*``kVa)=1N[V6}|pȡٱ0rX 6恒~d@SjFE4z`Y &#dÊTdqͅ%좡FGh+ד؊e~+ϒc l@.γnϜbw>JRբ:FIdkH?O:8tH3n2)3lVF[hRyy'AFX=5<=4;N)92#@8}P cAKT#L'Tܰxhj(\'0q+K[1 !EelN %A7!=t 3{R͋+NL4y {NZm_WdR) BĪW1 eiRztx Ekm~'˒g[K[J9'SUCM>GsL7/.IS<%U6C!9ZfƎð! Erq:Q-yYU'c6 9204` Tؾ.CEBg*qNKԢJ |dm[!넨>Fl2:tm©~rASX6to4=, _p8lE"Zֿ¼2~h!Ћ)v ͓ H3ci\LFY-GE47/2JN/ ,wQ=[mRe %> n!E(6k/R/0Sf,=#\8A÷L~=ue]:8L+oXoHMɆp]~Pu`Ά/uHw=MJj>,kHrrbi%Jƽ'^#ZFĻE8o |xr,ݗfiTbRmu]Q~ ES#K4/ eTw{B^GI2n 5 1Θpz[W9%uGC6*dث~:_ڊ;gO#{ UgmD@l@]XI] '3U{X`Mj8-J YKcrcD)(At9RaCxٚ-&T,Ւu&Pٕ㗃ն<:3,X6T-b cC;uc3#`[v8zfV+A@*%}x5s: ~)EI,œAIH* W{,./0yY{ٴ%后7ej:4b8D23 {_"S ,])/UΎ9x5a:8wT: "hgΌN9TRA? #Gv婿tophYI@sm`oF{ 緈m }-&mV˱Soc$ۻ Gð;gIcik%|:%L!B *|Z//4rÉ0P_#%يg0λG\Gڍ)xJܸ^Kq=ۡ{]vEbVIIb $I[@ ?zP>&ImFZΩFXk!x!BxG} Mg4$~՛A=TE])&H|U C R]6k$ QܹlP]?ߙ*x` {'ASAZY>˖!qq%?[e5" :w|ֶZ"_YsC/37y({) גW9Vc@ڏv="U!6.( t*7>5bV oeyDwg/rtʊuLF~>F/vBH=:M~='!5=wGN)E' X/z4udL;;єwrd2ߖ; 1KDW6o΅йFZV=Q5W61=%4C;ݥ7"8ގo NͱgYZ7zXZִF! ~Am]ŗXi%L+ cq~?+$ˀz} wzfn7#zF2ο#+'7//Ԁ_/ZT>H_ mH\ww d ~h j&AՒ(&z}D^4ϴe\:eDj 3ڙE[E$*`uD3g&\ʃ,5u!L;)ɯg䉵Ga(}jOFݖ#'v}[pAny{@ifǢgl6t\9q)DŽĝ(vb8Yk0>}?Bs@UՄn{ ^aTwBZLU2 މaf%닮ǒ晡|0,{Ay?m'9|4آع .zt?+%%*}Zx"ń_yp66%0XdAbA ":IAG6[(ݡ,Ml=׫_mr4t<ȭ21Փ7BK/n~IJn<M3c\.B*?Bsbãʬ6`Ё}=yfFW<.~ñcR 1"WǼ,nΚ`b~Oudĵw\a_?C# *U-@yQw- "`"_`"8I8ZGo&4ň% JE І\NUtS]X gfL+g.6(aҋOXc:Wۀ tʋbSkE5]|QRxr]؝+X]x lCH2땶8m>DX>D&(F3'w C2P?RppQ Mhܯqev[I*+mQ7b뱟WI;Q5PuhtQ`0v.a1Ȫ1\HosϣM"f#͏)s-ex-mk[6K/~qLؗnTS9"dH4_Ŗr6~ɀ)UM$n=gCb C!j%-fwhȈ97;q}k$}oK%/$߃ h.- ">S\r{J76<B#pE5u`dA-t; [4 rxh"Mj/7Asd{$G9}fRsy4e!@? ?J;\>~XO2c(yPjuvR$Fdޅ/d+QxA2[8k|j Y\҉P8gY/x&# tJN?Jvlp}ii>_ٌ;uQ`w {!rTzbWB(fhr "c7wtxH_Y'ef v~j5pB(hI5Lt~sѫ  (_Q ܆5%NgN)"Ջ\`\MxN)隕mŝ-G4c3Z{ -1x .ƻ-2i7h^0j<Doqtw4"`1?wpB;nx̖ΦQ0 G)qz-ޟIl'0Z[/V0U DK-}i@GnǾn *ѧ%(PJ͸so Ewhi Vg` X};swGO"J.92C~- .yY'%grk'і1|t\ }q =su`AZ ڀsO>1k!~zƭ+殾6_`Ҥ3յOOLЀ1L0_=XUH&2]85:dwc0z_egOe4Zt .uh6",2H?A ҳ!4 {Vv$flʷBs}FK78#;@PaKYMXk0qPfqrS /r1t Y|.ˬDh'\%iԃ 3ZS&yŲ0R2_M"C1u^h*"NfZ#b;eePp=c4A^Y6 G jRn7bbݕDvXU7ĮV\8~G&RJ o7? i`0pi;0**PݑDֿ\(EcX3ڐa ooOb{9C?a^T⬂*w4/YxJ ̬K3 N0sI՞<(UJvEDžd߿Vѿ-'-}|ٞΝ씅SotlX=x/#rȶ1bT4 jDiܢ9XO]"bt`ǛJ܉vѮJ p]_=k^> e*L@hKqi*WWLVYePj1N˫1"O#fA`Vwm_.͗xV8,ت޷K52 tH1ʱ1Hu_伇Z! j5"KsP;Zk"suz|`rr 5|[⬪1na_ >[R:M"9 ;H.tVYOC7]1M6/hPěv_ C|Y!V %`W^Q T\}у+nKg 0R7imV5+c} #un84QE˒Xs5T k$ed 2NՄu\ .:x2%t3տP&1}6>v$~=׵ 䃫 ARʷ De'# *LXc 9D{B"= ӧQI t,p1%7}8XRXh@Gl ҙPMk{/M4ڥ\*pS)"5!Xƍh P+2g௘y;;hf Iz,`DwqzŴ\c E#2lߙY۾jR;@,tzƤs_=}cS-z,A)XABR oY:j6=1x/eKn"bwIx񬻏xr&4ϲ`E>7bw;DNo1O_kusS91gQ+}4]F im4"HXD)|5-X4yщhiKX@#e& 0JoǦr? Tq/4ufp@Z7a@p;H,m\ll3Z G4AҦxw>B(<ʒ㊴栮&^Ž+t_4-,hIQ$erb\&IczD^!_^OR;D&g&ķK7wLf|[}@='S UKa {s=8P5)/~F"FQILOhwU`Ɵ=V+JVk%Htߧ+7=[۲\[hbEl(7CR>9zT?AUji楅hf}!v\Fr$퀌 6 9r;d ,^ LMI!Z6jqŅCr)xC) Ov puTI]ŒO#%ݲ AD08v9W)." !g3͑aD7XϟFdb;ڼ].8An0/Iӛi_ S/,T:)'ڦKgHdBOiE=>l0g6 >]cCٌYU i|}91*?VHbWSk%A0N5FAeqtC%y6wmڤ@BO+Τ.)^6!6){Q۩_{7`o~cs h$}"e~3{r}y:VV`Bg}5mcObbʕ`vF-S" @ddN\h;ӠƑАͫ WNT֙ hֺ֑3uml"`o֝YX#{`&}_l2yˆ{N180d:)VAV|wdů U{nWq+YL_ű/u[]׉ V1/r7Muuj5eE,;rOzNH#Xn'CH2YLb\ay٭1WG1) *}N^1;}CD :)jن&һۃҾ|*wNk;- FqNΫJO'oEy\>]̾> ϩ6&Y A90ih&y<+îۺ*B9S:=§ȁ$& Eˆ{l!i&WTߡ8$d EqyT lM MyPsOe@U|Qo`ŁG:T~Ts[v´;?ARwbSP,}MT+! 3,#h; B7P]4X7I6Isf)jXb9D5AG91=z](c g#-!sTZD>fDx^:D)q^esZ3'!-7WK.rn"SU&/(Iaå+d\ iXc^+rc*Pq\ߏuSW]ǵC|#EM PS'P[֜m9XV#*ⵖRnsE:jy!<DkV|>ii$S)W sݤqt[J>Sl=25awh_6JjJ['[;baG i/N,W b-Cy $~/t1b`yeLi!BL@4aV0t%Zk=$)Mb - X0n**w:kl u.eAI%A.W-a8CKGUm8U,bp{wwoL6V3A6Ut@=,˥ \[l_ J@]  @woR2߼8mZ}rs vHp#_QW(oxאVqGH619&(!(@3B7ƤPܰtA1cdzdA͌᪝(Uߗ=^n*tDY;κu_ܼ"NώIS<Yt"9X dFX2 f BB , J=8 ,bnъ-zaDЂGdWR}9 %-`AٽR\0f{ H1Sd)žO`mk%CEՎ;>']j9ԜXR-5 GbN74v}oH9nZ)oPnZPUWuL)]1F3#@L<-?\ xd2ΈsemOc*=0k>(c U'ge5\>*m/q&0\ c6CՊN%P7ᧅrIP =N8𛟄AOqM Ӟ򋗲.Ȯ[^2+զqKxL-e&ucOnc{??XH/攩|y褳!U J5)Ǟsu)";?#+0xLe"+Po.=~l[2pt$B/hWp_T]df\bT: w F'yY;H1(?oYs3]%7wWq 3F̳[n{hE3] f3{$LBrWhlh*V$iu]6;xX `)HIA-8 +#\S_ \o\W'DK|ʗ|„2-ʳzHCx'fS46%;9 ]d!g\7[)4 獑Wet˩FEF{F Ivs$ϊo'k:ɡ5T} 0uD.zTű<8$t%#] 1d(} ;&pxfVI:y zX4%3J0ɣ7|,del{U< %܊`%i+<,D3`r ~}#f+ 9 fqiHRk&y$¼7ƣ\!SIu>& _)p>u@+w$dV ^w")Ș#ܻaim,؝Ly&n vA\ou1-hr'A[}V{UkA\mm!o Ci!rM40i^tŚZ zZ CwQ好܈G605OblWvȱq;r܂C_ź+% W\G܎/+ϷEJ^KKKb!0#d']chV'` LY?c&]%l<-na1cdь,!H2E ƌ;?`[X%vl+#YX"PۚF|MgW/NZ DvAqiDN5%@➊Qm@hgl;`w` =\`(<bӠ `:bV(H ;6\_(E+Dn )Q)ؚLy{ ߋڔ ׳D 1x'M-cD&ȥmFLkv~$EHk$Q͑">F<5$3`r*$i>mL<3O-L)/Tԯ]"XY58\o:5DaoP/vge[8tG†oAޘ2(_Wg6IB엨g|<ahr,vfo}cA+0:(b*@fy1.sL2EplMb#Gg[)Y )t=?G~<E6"~ aX!S\mv`Dмa\H@&ISfefjMTfRmmPח.O(!.}CIҘ+rwٙ,#QE%T?CY+ 6itq9§wH0ߊܠn-τ)ݩhj@S肋lP]{{2>^8M3olI Iro33*r-!̜{}:pGS!>pP$\;CWອx2q[On36 MW>XoSrڽZ"|k>nWwr׏^< ], lNӒܫKd5dD&i>u$S'Cd> DI6Y+:avk NY .Tm+iT5FtCXZ]F~uucmWa(JaB;48~뢟Q>D} NbiYbXxvH=N(:+陛z&v 6Vpd;K{ʪ4v^|yrS[oBs)hp ۾ d;dLhi{Mڷs6hD23͵Pa }w<鸙e,K̴ $UKpx,sB6 lZt[/X:`q6/9L#NtJ@` -5_Vw,Ng:;L$qM7$a)BYЖ&g 1Z&?Mɾ=Xά~ɒ~qS"8F# OÖ׃$s3/AE8P@MophA-eܱv_VQ'*8\s>R.2(um ,gFUzMÙޭ)5ۺD.vv.É-=+r˜۰*Oj.KC=9@%_Լcf^߰L{Xh WpպS7,Ĩr۫HbG}!õ9rQ-1eat$~^V\\)CivzJ~cG}j[/hṉƯTg;E?-s¸s mqd)t'^@Ɓ4Wl* ^@tHroN)#kPF×~c>qQbDy~ <8ȶH( ͮUD/C"rm,I|92`pl _% ŀYjY뼘nd ei0w0ЮLXY ^\~KD DtgF#v>"?Xlyrk7$Q6\A!r %~c\b#^-X rLqL<w D _Õ+ioPD.8sN?ĀՠDH2DwLH?DEH@2w;2G#6 ҝAnDC筻\~1cN+՚/Nduppu{9AQM^ۿq~hrS<[OGg@jDZa9]*GhQV%9¥M0>wQylh:@m+y.!wrM# "} wcvqvGޢ<:ݏ0uP~ 7F(oi*Ju/Gv9R84y/omJPyNGVR?Ag;^b. 3p{[*Ů3B"LBgNxIDz >զu2ٶ6r-M[`r#a:eza qVDRQC;Ww,W<DϚQY,٤V;;_ES򡲡d|" [dSF!fؔN̼m;u/jG*{{L琦xur:{8`(Q÷Rp?4q%FĠ3l$=%%A R.M.:4&t2t n!Ճ]#<$Wd#4U32\Lxp™a\z䲠$O f^܎$>=FMZ1joq!"(7HԔZjB?Y)',k O>jxLHGF>Uce#\ɵ̃ҕiNj1˿rUE#( N{M:Nr ~Vw\ =rOVr"̴WN{*:1OrBq@#ݹVa;dU{\m5,%ɨVFF]w}& ]vYk 2P %׆9MdB3>s8̾=̓||:LPy˂6C g:n*+% AVC'tG<2o"0EP*9>zR@#BSBi%MgնKzrxt?^|;M8v_ރ|Gvw9~gyX~\)d$ Yl8 5`dըeT"#/gmW!U}ʿj ˠ7ޜ|EVPz5{jDz_omb[:!hgO=F~x8LL\ץE[2e"7r St[9d={2h~ ^M+n1[ReLR2bGG}}/@9XJHz{LI }tJr;{uH)~R7T*Ÿ]PYA 8RU{6rPY7SB#s x^ 7K qSϒ: IV9žWuHHd~fXu":0q j_Վ7P KÁ&rjna >YW5Z8Wl?T@^Bٚp%?_lK[z)G鏕E oo$NF)l3p面k9{}E'G.NT̳*4͒Q?AeZWxP"9p2g{ p"jBd5,BCK,LMdԗTך, %( L^KCGg1UbT֦|fMDWx'U`Z]}hAiV"]{8&,XhZ-ǻ 'n4CҴVi ~̿ jo,|ߴYq_N4VɄ8 vT}{U#]^S0]$`]T+Wԏ,6f(//VL]Y۳%-.؀]_nDIf%tY"w!o#l8bD-w;wJ5ɵj\䛤,t\c7"NHCf[^h3C4yԏ ܜ<^Nc,E+ܶmfE"Ћ=2W46xW|b\IC_yD8 o>ٶRbīGHG#/cz7 _ѷM&J;A <" ^Wլ0M\^>]}RjN G&ĺq9*éKp½U.cc T%~=74Td,)nO/\wd"]' [Ag.0a+!iEI(1b5#2Rc!;&Pz@, 5{BʄŃ`v -iai"WYlbyȏZP%]=0FT;&!RK>P !w/jhwb&Rh)7" b(8A$}/LV [D$73g(DcK] smsNZN5%$ĢxfH Up,{JW˞#|@Nps`Gs?D`=zcUgd_=1)Ý0nӄfJNAMj*Yplfӵ a|L1t*ܛ_B4bmc,_w !2$*gfΜZ;κ2A%8p썪K 4:m 7/$sJJPGPmr`h)sK Gr׷\@} ]a E\W22󙤼yH$HBr6ys$EDì6NzKσuvCdd 9Z6Z mybqXYlu^'cQ :ܹa c#q\,K^Y ja"[)d<YCxA~ #ڏ J>cNLc:6N LSs>tfCKոZ)td@]D4ɐ.;o~J[OfK{jԌیr4n'|;cX\=Aߊ^ޣfjKCBȷmRSfH0P܇WQ)zo ^(ViN{=Z ">9i8;y`2!ªw+nřU#PQrj `^QhӺ:+db.R?Lxy.ûSS\2O"jy9XY8E?ott0FVC{G2~ZAჁuR<=V( Pac M*{T5$IhU*`*@uFo"oiǟz}1L@|<|js/:9egXՃQ}ńt ,^W DkrȦ8鄂mmlz4(qV "$SC4VN`:jțW?jׁ£J3{ueokqxH^Ԩt*8 W1[Ѿ#+uգaQBQ[=;JQH9;1gMg̷|JǦ]OEj+ ~e&Pd >n̈*.78I%Z ;?}rOd|4Mp `d]6,֝w\,ħ}UkCtG J3MV/wdK&q^ֳffߒEAB] =d3An.'3n F;ъ(RY&Beaʑ@[6CHg]L{"h8ɑv?FT++kQlHLޔ/.  PyFs4Q+ۊE{DrR\@IK|"r5tA^/kd?;|HfPcum{inʉ7+BX9>t aP6.fXEb(1#< h q7TԆw?ݙqPµ߹X-T~xxǺ}g5!c;``'UV!Xs_b)6mƈZR焁k|]Gx2[ʶ.N;Vt6fJ`ۗe ܎pDX~Ǩ4$C,0I͓\uHE I iNݦ 8=T?M 䂁VA͍ۆ1ځUhth~U7d5UjAG.l`fB Ln&x&P!yf@f 2gJXad(N Uhq?QWєE`:OE9'1T-/9@"N`yw7`B'tך_κF*kS WB*F80I ltLf]<=?SŘD] ^3^/%S(uG'TdΥ'&PoG}*"&PM=&h%>e_9-omtfK$nj lO *>?F(ZFHe F8[;.en;V,†o/֯妓u7Jh_Jc 3oou_t6 2h)N }DIC**%Iq'pks=6N;_E#XiB-&=eHj ĥ(7=~",b3 *|:2{ 0I@h_{qNǐ/9ܗ N3j@ǧ8 KzDa>b(GMfࣟ*$Gp̜0Jt^ʭMvŰݖ1g58\p7`F ~CNqBվ+h|#cß5?Pa}.]X}aAO qpAk2%#b ZJ w\(]HkmvIs ?@tC[\1Nx)_[)0LOӥ0,̓!R"[/g-ɲ/錋NRQmؚ 4 igk|۲R^܊GmBU^@#D".6)a'G%֢eRwlN[~Dc$<{5kf%/j뫚;!D?x-\%̏-XKD+X &6XM^,ʠcZn E=egY!s4wE:dIIV2 q _8;K xRO=8]$ErFȯ +#SͿ 's q]7,.1ެBoeiT ;OEw:圲TQE,`XZeԺÁUNi#YsbuH%#$,I 1kMŶa486:b~LG6\]lgj4AP dqkOmPDOjQn֣DAMDLޒ-W8+34}f=BTnBcĤs4F&kpr'1HȄ0]HxQkU+[\ʟ~l (w0mh:v7?my yTuzfn&?{^1'upUN]:?*AymOlO6%`a^vRKFO1Li[DfbLpPcũeDm1 Ct-琟9p*Q5^X svc.+mrtpWHp!4_nrʟ#g|bƖ 4Tt^=#s԰ 򎎨#8)q!Lڢ4_=UGt6Z;*we|g.9!4;Z1bm3 U 7*UGLJt"0QƏŹU~̜ΰOO !WQfFYkveq]K*)U^?DΞY՚ƭy-~H-3"&V&ؾl4 HGD&K[.냸GAu~Y_: [OIt3yYh#n@1]-j[я+cWA@#Rg^' 򪂃-EБ#1sͽoܡg1˔g}֮|'& ^߆Ӱx)rPa(Cz(/:ӔRLw|;hM)t\jm; 麑a',J>eF7ظsl9I]boY<"s-pXbJ[0$I{T2RzcOQ/3H/k;w1`]FqIע D )3:A򨥹ˤG{KXrP^_Nt\AF >gڕ*o~Xk)(h5wFTb8HZ;2c*9 ` $üuE'uA+IV->-N{]xN#h䒍 76!908S9EYc+4 D_ܖxm'.},E^iHH. wB` Ys $l)DfT˽Qjޤ؜MA Y"9Dn>~io~K_3pe&a &G8I~6,Җ@c{9݀}"D!UpPg e(IZJTWӗh7іdOVӽ,+da# wP2қfs)L]iqϊi:ۯlߠN .}m)}X.9vV wDz^iJBfi+F~]4{x$VT3drb҈5pwGg^jN8(P0ו |m:WVae 2w{Ľ^Rf5Mˤ?"랎6YI]}薞L{iE#NSiNv5ƽY?">]8UԨhYbP8^y9цz2J#9.L}"ٜ&ْ7vf{+%6( "TdT0SJ?ҀfgY\ĨGa3^J-+53=@A)D)Kl8lbM'YKv8i_z0RpL\:[f(ӥ~gKkNmRV =y?y"X֔_qY%iޱQ> п|]^%h:9 :=!j3)bbccwm9!&LY:|;[͑3 C9]aC2Lӥ4>M̒VƊJqd4Uj-9\uYc"RZ>.hVak/yi̤oLTm5<5yIs5c: 'C)x5 U~tB3W3I1pdg*L\ qLbf7cDZA$KNSu28 L ]H]SO=%eijT/s;W R(ۨZ%J w~K|k"0W"Y1]e'}Y=(U[^ɢF7#'yɧI@b/Hs<Ȃm (K?(I蕦5Bc|Y>pwhnBY?3Kۓj?Zثn!Se,'}4e4[cڏ =!WvMLV.)(Hl| a($@a)) ڪXa)x zAi9O"><WiY-B|mxՈN*Ge_&xciW+ .r4Ӌv'~i-B],s{|'ZhV"U!CI6˻KZl*:!Ƣ UnBA`W`i!?)2˅636Q "YЉ2&a//Hg6詋T*zN RMLVl)SҞ>C۔Ti%DUC0).r=$+ +`gH7-HToLl'ܶ8 : mq`zz穅S|U$xa8 "4ʨ)\F9|a>sJhg / bHYrL{%u^̳*qCbe0{F#3|jÏ2_3@rg0esȿ}޴Q{vl|M{Se`*>yhp3QJ$_gq5h5={T_k k*7ދDOH !o7gD/f6gTZ6^a!9P{ dw?+׀7ȫv%,MkOl)}L9yV |PWM d POYn>//EawZ#:cX=2 i_8)N,JW#ExU -Jx 1yK Q/)j5@&`-O(ݹp(=za"\ǾG sI榬+@4ԡT2 =0}Jf)Mg4nch:˼ e7SmK0>KsC4Ǩy}Yl"!\f8)(,n]k*Ee`#=n PD :ze=;.L|%ر2 .#Ulc:|uajy7*kmhZ YzY\Ƅ2W%HyӸUVZ+Uy/ x0 1+%+Cʹ].W'5*5~tjЀg\{ZS-e,~m>xDž &tCZ|!Zx4+"Jk"ʅӝ$%Ձ,07|V=ucv!}P?nMp!pf.[Tl:!Mut&4,f. jvޕaR美v/څUSؑߖI|\;r#w^jW;C]r\w(͉D"g]]pj# pGEēD" 9\+'wV+e/J, \hMѿJ0xg?Ǘf =BKH0Q+d61}.`YTD7]?՚n eGT'|` 8lHkT.1UH<6m"z/L1ヨ1N%2SK0A\: lYѸKis.ݕf ؚl]-c,֍zٽ Ts 9 EmG\'ƜZKkY2eP/+'VݲV忖9g Vٴ +(W.Ͼ=jIʨg=?=)(i&eQēW$"^{cp3bd#P~H- ˥͕P34f}XaT[5?{ Dӿnܥz|bU+N'ۭ Jn>4BY<' K}K. }:[O-੭/TmAvCd^ x~Aۨ`'TFK5 - /ܝ,ԫmm,"Vq{r(A>x 8+`]l>\ = Gt._ A;UFv& !̔Aq."?s-dNC?L(pӭzc37}~qAf>qVYfԅ$F]­^{T7jx]3qw$]k\UC̊ȟH(KMr)n%y8=>!D9iu#ĝZXVLNqR6r8xNEN6Ph QȭNo{yMpt?uEF#`,FN='PZydֽxHq{hmÃq$oiM+- X@*um̔P`?e{K#x qjcRtpX*\Z?4`[ln{ =-ZgXs)YA5?sQ'7={I8!2Ii"H=7~T߂QN&^%rt1J2l#LԶ+6ӳy|hV%, 5;taVC+X3Z* ^|sW4H I^TpmD3! .uY:$/yhi؎C> _F5dI@5c~g2b.nZ3 -Jлb13TmKObq`1Qa ;]-&.۵EEyoHk҇(ٔQ>ȉ|`Tb4jiw%[ ꠆I Xm[1p|/qDo \ @^zf=ДgcKHЋ$_sSRV1>j۫TR$nW8lqAgUJnHn)TGp;xSQc(-b1᣶jKNk eZإmJ 'bȩ;M=3g[$ٓ/T~ZX%<?IRB|~/0ֽiЎ븞|xDt&Cu.q6VtZQ Mo|ħCkYUV$/ P(uIߑ=mxAzXܹ*(GcZ$WPPN"+ `EuV+Eu#4e=^xT Y|Um>6o /&QBh/0("[J1`"(H>MZ/)t e<8#R|VJ &%Kߚ3:0(ia:"7pi9vv"Ƶ\^DbdfjPJW^`^M8